Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 410.531 | 410.878 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb |
MD5SUM | 33f66c46bd2eace76f5fa6a5916a23ec |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -66 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -81 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75484 |
Sum of products size (including duplicates) | 150968 |
Number of different products | 37742 |
Sum of products size | 75484 |
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-1875374-1245203707.opb. 0.00/0.00 c Instance file HOME/instance-1875374-1245203707.opb 0.00/0.00 c File size is 3317910 bytes. 0.50/0.51 c Highest Coefficient sum: 107 0.50/0.51 c ============================[ Problem Statistics ]============================= 0.50/0.51 c | | 0.50/0.51 c | Parsing time: 0.49 s | 0.50/0.51 c | Number Variables: 38742 | 0.50/0.51 c | Number Clauses: 38742 | 0.50/0.51 c | Number Cardinality: 2000 | 0.50/0.51 c | Number PB Constraints: 37742 | 0.50/0.51 c core #1 0.50/0.51 c Core size: 4 Core Weight: 1 Total Weight: -999 0.50/0.51 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.59/0.63 c core #2 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -998 0.59/0.63 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.69/0.75 c core #3 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -997 0.69/0.75 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.80/0.87 c core #4 0.80/0.87 c Core size: 4 Core Weight: 1 Total Weight: -996 0.80/0.87 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.89/1.00 c core #5 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: -995 0.89/1.00 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 1.09/1.13 c core #6 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: -994 1.09/1.13 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 1.19/1.27 c core #7 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -993 1.19/1.27 c Elapsed CPU time: 1.21081 s Remaining CPU time: 1798.79 s 1.39/1.41 c core #8 1.39/1.41 c Core size: 4 Core Weight: 1 Total Weight: -992 1.39/1.41 c Elapsed CPU time: 1.34879 s Remaining CPU time: 1798.65 s 1.49/1.55 c core #9 1.49/1.55 c Core size: 4 Core Weight: 1 Total Weight: -991 1.49/1.55 c Elapsed CPU time: 1.48377 s Remaining CPU time: 1798.52 s 1.59/1.70 c core #10 1.59/1.70 c Core size: 4 Core Weight: 1 Total Weight: -990 1.59/1.70 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.78/1.84 c core #11 1.78/1.84 c Core size: 4 Core Weight: 1 Total Weight: -989 1.78/1.84 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 s 1.89/1.98 c core #12 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -988 1.89/1.98 c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s 2.10/2.12 c core #13 2.10/2.12 c Core size: 4 Core Weight: 1 Total Weight: -987 2.10/2.12 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 2.19/2.26 c core #14 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -986 2.19/2.26 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.39/2.41 c core #15 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -985 2.39/2.41 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.49/2.55 c core #16 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -984 2.49/2.55 c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s 2.59/2.69 c core #17 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -983 2.59/2.69 c Elapsed CPU time: 2.58061 s Remaining CPU time: 1797.42 s 2.79/2.83 c core #18 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -982 2.79/2.83 c Elapsed CPU time: 2.71459 s Remaining CPU time: 1797.29 s 2.89/2.98 c core #19 2.89/2.98 c Core size: 4 Core Weight: 1 Total Weight: -981 2.89/2.98 c Elapsed CPU time: 2.85457 s Remaining CPU time: 1797.15 s 3.09/3.12 c core #20 3.09/3.12 c Core size: 4 Core Weight: 1 Total Weight: -980 3.09/3.12 c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s 3.20/3.26 c core #21 3.20/3.26 c Core size: 4 Core Weight: 1 Total Weight: -979 3.20/3.26 c Elapsed CPU time: 3.13052 s Remaining CPU time: 1796.87 s 3.39/3.41 c core #22 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -978 3.39/3.41 c Elapsed CPU time: 3.2695 s Remaining CPU time: 1796.73 s 3.49/3.55 c core #23 3.49/3.55 c Core size: 4 Core Weight: 1 Total Weight: -977 3.49/3.55 c Elapsed CPU time: 3.40548 s Remaining CPU time: 1796.59 s 3.59/3.69 c core #24 3.59/3.69 c Core size: 4 Core Weight: 1 Total Weight: -976 3.59/3.69 c Elapsed CPU time: 3.53646 s Remaining CPU time: 1796.46 s 3.79/3.83 c core #25 3.79/3.83 c Core size: 4 Core Weight: 1 Total Weight: -975 3.79/3.83 c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s 3.89/3.97 c core #26 3.89/3.97 c Core size: 4 Core Weight: 1 Total Weight: -974 3.89/3.97 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 4.08/4.11 c core #27 4.08/4.11 c Core size: 4 Core Weight: 1 Total Weight: -973 4.08/4.11 c Elapsed CPU time: 3.9434 s Remaining CPU time: 1796.06 s 4.18/4.26 c core #28 4.18/4.26 c Core size: 4 Core Weight: 1 Total Weight: -972 4.18/4.26 c Elapsed CPU time: 4.08038 s Remaining CPU time: 1795.92 s 4.39/4.40 c core #29 4.39/4.40 c Core size: 4 Core Weight: 1 Total Weight: -971 4.39/4.40 c Elapsed CPU time: 4.21936 s Remaining CPU time: 1795.78 s 4.49/4.55 c core #30 4.49/4.55 c Core size: 4 Core Weight: 1 Total Weight: -970 4.49/4.55 c Elapsed CPU time: 4.36134 s Remaining CPU time: 1795.64 s 4.58/4.69 c core #31 4.58/4.69 c Core size: 4 Core Weight: 1 Total Weight: -969 4.58/4.69 c Elapsed CPU time: 4.50031 s Remaining CPU time: 1795.5 s 4.79/4.84 c core #32 4.79/4.84 c Core size: 4 Core Weight: 1 Total Weight: -968 4.79/4.84 c Elapsed CPU time: 4.63929 s Remaining CPU time: 1795.36 s 4.89/4.98 c core #33 4.89/4.98 c Core size: 4 Core Weight: 1 Total Weight: -967 4.89/4.98 c Elapsed CPU time: 4.78227 s Remaining CPU time: 1795.22 s 5.09/5.12 c core #34 5.09/5.12 c Core size: 4 Core Weight: 1 Total Weight: -966 5.09/5.12 c Elapsed CPU time: 4.91925 s Remaining CPU time: 1795.08 s 5.18/5.27 c core #35 5.18/5.27 c Core size: 4 Core Weight: 1 Total Weight: -965 5.18/5.27 c Elapsed CPU time: 5.05523 s Remaining CPU time: 1794.94 s 5.39/5.41 c core #36 5.39/5.41 c Core size: 4 Core Weight: 1 Total Weight: -964 5.39/5.41 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.49/5.55 c core #37 5.49/5.55 c Core size: 4 Core Weight: 1 Total Weight: -963 5.49/5.55 c Elapsed CPU time: 5.33119 s Remaining CPU time: 1794.67 s 5.58/5.70 c core #38 5.58/5.70 c Core size: 4 Core Weight: 1 Total Weight: -962 5.58/5.70 c Elapsed CPU time: 5.47217 s Remaining CPU time: 1794.53 s 5.78/5.84 c core #39 5.78/5.84 c Core size: 4 Core Weight: 1 Total Weight: -961 5.78/5.84 c Elapsed CPU time: 5.61115 s Remaining CPU time: 1794.39 s 5.89/5.98 c core #40 5.89/5.98 c Core size: 4 Core Weight: 1 Total Weight: -960 5.89/5.98 c Elapsed CPU time: 5.74713 s Remaining CPU time: 1794.25 s 6.08/6.13 c core #41 6.08/6.13 c Core size: 4 Core Weight: 1 Total Weight: -959 6.08/6.13 c Elapsed CPU time: 5.8891 s Remaining CPU time: 1794.11 s 6.18/6.27 c core #42 6.18/6.27 c Core size: 4 Core Weight: 1 Total Weight: -958 6.18/6.27 c Elapsed CPU time: 6.02808 s Remaining CPU time: 1793.97 s 6.38/6.42 c core #43 6.38/6.42 c Core size: 4 Core Weight: 1 Total Weight: -957 6.38/6.42 c Elapsed CPU time: 6.16406 s Remaining CPU time: 1793.84 s 6.49/6.56 c core #44 6.49/6.56 c Core size: 4 Core Weight: 1 Total Weight: -956 6.49/6.56 c Elapsed CPU time: 6.29904 s Remaining CPU time: 1793.7 s 6.69/6.70 c core #45 6.69/6.70 c Core size: 4 Core Weight: 1 Total Weight: -955 6.69/6.70 c Elapsed CPU time: 6.43802 s Remaining CPU time: 1793.56 s 6.78/6.84 c core #46 6.78/6.84 c Core size: 4 Core Weight: 1 Total Weight: -954 6.78/6.84 c Elapsed CPU time: 6.573 s Remaining CPU time: 1793.43 s 6.89/6.98 c core #47 6.89/6.98 c Core size: 4 Core Weight: 1 Total Weight: -953 6.89/6.98 c Elapsed CPU time: 6.70598 s Remaining CPU time: 1793.29 s 7.08/7.13 c core #48 7.08/7.13 c Core size: 4 Core Weight: 1 Total Weight: -952 7.08/7.13 c Elapsed CPU time: 6.84396 s Remaining CPU time: 1793.16 s 7.18/7.27 c core #49 7.18/7.27 c Core size: 4 Core Weight: 1 Total Weight: -951 7.18/7.27 c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s 7.38/7.41 c core #50 7.38/7.41 c Core size: 4 Core Weight: 1 Total Weight: -950 7.38/7.41 c Elapsed CPU time: 7.11792 s Remaining CPU time: 1792.88 s 7.49/7.55 c core #51 7.49/7.55 c Core size: 4 Core Weight: 1 Total Weight: -949 7.49/7.55 c Elapsed CPU time: 7.2569 s Remaining CPU time: 1792.74 s 7.59/7.69 c core #52 7.59/7.69 c Core size: 4 Core Weight: 1 Total Weight: -948 7.59/7.69 c Elapsed CPU time: 7.39387 s Remaining CPU time: 1792.61 s 7.78/7.84 c core #53 7.78/7.84 c Core size: 4 Core Weight: 1 Total Weight: -947 7.78/7.84 c Elapsed CPU time: 7.53185 s Remaining CPU time: 1792.47 s 7.88/7.98 c core #54 7.88/7.98 c Core size: 4 Core Weight: 1 Total Weight: -946 7.88/7.98 c Elapsed CPU time: 7.67283 s Remaining CPU time: 1792.33 s 8.08/8.13 c core #55 8.08/8.13 c Core size: 4 Core Weight: 1 Total Weight: -945 8.08/8.13 c Elapsed CPU time: 7.81581 s Remaining CPU time: 1792.18 s 8.18/8.27 c core #56 8.18/8.27 c Core size: 4 Core Weight: 1 Total Weight: -944 8.18/8.27 c Elapsed CPU time: 7.95279 s Remaining CPU time: 1792.05 s 8.38/8.41 c core #57 8.38/8.41 c Core size: 4 Core Weight: 1 Total Weight: -943 8.38/8.41 c Elapsed CPU time: 8.09277 s Remaining CPU time: 1791.91 s 8.48/8.56 c core #58 8.48/8.56 c Core size: 4 Core Weight: 1 Total Weight: -942 8.48/8.56 c Elapsed CPU time: 8.22975 s Remaining CPU time: 1791.77 s 8.58/8.70 c core #59 8.58/8.70 c Core size: 4 Core Weight: 1 Total Weight: -941 8.58/8.70 c Elapsed CPU time: 8.36873 s Remaining CPU time: 1791.63 s 8.78/8.84 c core #60 8.78/8.84 c Core size: 4 Core Weight: 1 Total Weight: -940 8.78/8.84 c Elapsed CPU time: 8.50871 s Remaining CPU time: 1791.49 s 8.88/8.99 c core #61 8.88/8.99 c Core size: 4 Core Weight: 1 Total Weight: -939 8.88/8.99 c Elapsed CPU time: 8.64869 s Remaining CPU time: 1791.35 s 9.08/9.13 c core #62 9.08/9.13 c Core size: 4 Core Weight: 1 Total Weight: -938 9.08/9.13 c Elapsed CPU time: 8.78866 s Remaining CPU time: 1791.21 s 9.18/9.27 c core #63 9.18/9.27 c Core size: 4 Core Weight: 1 Total Weight: -937 9.18/9.27 c Elapsed CPU time: 8.92664 s Remaining CPU time: 1791.07 s 9.38/9.42 c core #64 9.38/9.42 c Core size: 4 Core Weight: 1 Total Weight: -936 9.38/9.42 c Elapsed CPU time: 9.06462 s Remaining CPU time: 1790.94 s 9.48/9.56 c core #65 9.48/9.56 c Core size: 4 Core Weight: 1 Total Weight: -935 9.48/9.56 c Elapsed CPU time: 9.2036 s Remaining CPU time: 1790.8 s 9.68/9.71 c core #66 9.68/9.71 c Core size: 4 Core Weight: 1 Total Weight: -934 9.68/9.71 c Elapsed CPU time: 9.34658 s Remaining CPU time: 1790.65 s 9.79/9.86 c core #67 9.79/9.86 c Core size: 4 Core Weight: 1 Total Weight: -933 9.79/9.86 c Elapsed CPU time: 9.48756 s Remaining CPU time: 1790.51 s 9.97/10.00 c core #68 9.97/10.00 c Core size: 4 Core Weight: 1 Total Weight: -932 9.97/10.00 c Elapsed CPU time: 9.62254 s Remaining CPU time: 1790.38 s 10.08/10.14 c core #69 10.08/10.14 c Core size: 4 Core Weight: 1 Total Weight: -931 10.08/10.14 c Elapsed CPU time: 9.76451 s Remaining CPU time: 1790.24 s 10.18/10.29 c core #70 10.18/10.29 c Core size: 4 Core Weight: 1 Total Weight: -930 10.18/10.29 c Elapsed CPU time: 9.89949 s Remaining CPU time: 1790.1 s 10.38/10.43 c core #71 10.38/10.43 c Core size: 4 Core Weight: 1 Total Weight: -929 10.38/10.43 c Elapsed CPU time: 10.0335 s Remaining CPU time: 1789.97 s 10.48/10.57 c core #72 10.48/10.57 c Core size: 4 Core Weight: 1 Total Weight: -928 10.48/10.57 c Elapsed CPU time: 10.1695 s Remaining CPU time: 1789.83 s 10.67/10.72 c core #73 10.67/10.72 c Core size: 4 Core Weight: 1 Total Weight: -927 10.67/10.72 c Elapsed CPU time: 10.3074 s Remaining CPU time: 1789.69 s 10.78/10.86 c core #74 10.78/10.86 c Core size: 4 Core Weight: 1 Total Weight: -926 10.78/10.86 c Elapsed CPU time: 10.4434 s Remaining CPU time: 1789.56 s 10.98/11.00 c core #75 10.98/11.00 c Core size: 4 Core Weight: 1 Total Weight: -925 10.98/11.00 c Elapsed CPU time: 10.5804 s Remaining CPU time: 1789.42 s 11.08/11.15 c core #76 11.08/11.15 c Core size: 4 Core Weight: 1 Total Weight: -924 11.08/11.15 c Elapsed CPU time: 10.7194 s Remaining CPU time: 1789.28 s 11.18/11.29 c core #77 11.18/11.29 c Core size: 4 Core Weight: 1 Total Weight: -923 11.18/11.29 c Elapsed CPU time: 10.8603 s Remaining CPU time: 1789.14 s 11.38/11.44 c core #78 11.38/11.44 c Core size: 4 Core Weight: 1 Total Weight: -922 11.38/11.44 c Elapsed CPU time: 10.9983 s Remaining CPU time: 1789 s 11.47/11.58 c core #79 11.47/11.58 c Core size: 4 Core Weight: 1 Total Weight: -921 11.47/11.58 c Elapsed CPU time: 11.1373 s Remaining CPU time: 1788.86 s 11.68/11.72 c core #80 11.68/11.72 c Core size: 4 Core Weight: 1 Total Weight: -920 11.68/11.72 c Elapsed CPU time: 11.2753 s Remaining CPU time: 1788.72 s 11.78/11.86 c core #81 11.78/11.86 c Core size: 4 Core Weight: 1 Total Weight: -919 11.78/11.86 c Elapsed CPU time: 11.4123 s Remaining CPU time: 1788.59 s 11.98/12.01 c core #82 11.98/12.01 c Core size: 4 Core Weight: 1 Total Weight: -918 11.98/12.01 c Elapsed CPU time: 11.5532 s Remaining CPU time: 1788.45 s 12.08/12.15 c core #83 12.08/12.15 c Core size: 4 Core Weight: 1 Total Weight: -917 12.08/12.15 c Elapsed CPU time: 11.6892 s Remaining CPU time: 1788.31 s 12.18/12.29 c core #84 12.18/12.29 c Core size: 4 Core Weight: 1 Total Weight: -916 12.18/12.29 c Elapsed CPU time: 11.8282 s Remaining CPU time: 1788.17 s 12.38/12.44 c core #85 12.38/12.44 c Core size: 4 Core Weight: 1 Total Weight: -915 12.38/12.44 c Elapsed CPU time: 11.9712 s Remaining CPU time: 1788.03 s 12.48/12.58 c core #86 12.48/12.58 c Core size: 4 Core Weight: 1 Total Weight: -914 12.48/12.58 c Elapsed CPU time: 12.1062 s Remaining CPU time: 1787.89 s 12.68/12.73 c core #87 12.68/12.73 c Core size: 4 Core Weight: 1 Total Weight: -913 12.68/12.73 c Elapsed CPU time: 12.2421 s Remaining CPU time: 1787.76 s 12.77/12.87 c core #88 12.77/12.87 c Core size: 4 Core Weight: 1 Total Weight: -912 12.77/12.87 c Elapsed CPU time: 12.3841 s Remaining CPU time: 1787.62 s 12.98/13.02 c core #89 12.98/13.02 c Core size: 4 Core Weight: 1 Total Weight: -911 12.98/13.02 c Elapsed CPU time: 12.5251 s Remaining CPU time: 1787.47 s 13.08/13.16 c core #90 13.08/13.16 c Core size: 4 Core Weight: 1 Total Weight: -910 13.08/13.16 c Elapsed CPU time: 12.6651 s Remaining CPU time: 1787.33 s 13.28/13.31 c core #91 13.28/13.31 c Core size: 4 Core Weight: 1 Total Weight: -909 13.28/13.31 c Elapsed CPU time: 12.8061 s Remaining CPU time: 1787.19 s 13.38/13.46 c core #92 13.38/13.46 c Core size: 4 Core Weight: 1 Total Weight: -908 13.38/13.46 c Elapsed CPU time: 12.95 s Remaining CPU time: 1787.05 s 13.58/13.60 c core #93 13.58/13.60 c Core size: 4 Core Weight: 1 Total Weight: -907 13.58/13.60 c Elapsed CPU time: 13.088 s Remaining CPU time: 1786.91 s 13.68/13.75 c core #94 13.68/13.75 c Core size: 4 Core Weight: 1 Total Weight: -906 13.68/13.75 c Elapsed CPU time: 13.229 s Remaining CPU time: 1786.77 s 13.77/13.89 c core #95 13.77/13.89 c Core size: 4 Core Weight: 1 Total Weight: -905 13.77/13.89 c Elapsed CPU time: 13.371 s Remaining CPU time: 1786.63 s 13.98/14.04 c core #96 13.98/14.04 c Core size: 4 Core Weight: 1 Total Weight: -904 13.98/14.04 c Elapsed CPU time: 13.5089 s Remaining CPU time: 1786.49 s 14.07/14.18 c core #97 14.07/14.18 c Core size: 4 Core Weight: 1 Total Weight: -903 14.07/14.18 c Elapsed CPU time: 13.6509 s Remaining CPU time: 1786.35 s 14.28/14.32 c core #98 14.28/14.32 c Core size: 4 Core Weight: 1 Total Weight: -902 14.28/14.32 c Elapsed CPU time: 13.7939 s Remaining CPU time: 1786.21 s 14.38/14.47 c core #99 14.38/14.47 c Core size: 4 Core Weight: 1 Total Weight: -901 14.38/14.47 c Elapsed CPU time: 13.9339 s Remaining CPU time: 1786.07 s 14.58/14.62 c core #100 14.58/14.62 c Core size: 4 Core Weight: 1 Total Weight: -900 14.58/14.62 c Elapsed CPU time: 14.0769 s Remaining CPU time: 1785.92 s 14.67/14.77 c core #101 14.67/14.77 c Core size: 4 Core Weight: 1 Total Weight: -899 14.67/14.77 c Elapsed CPU time: 14.2168 s Remaining CPU time: 1785.78 s 14.88/14.91 c core #102 14.88/14.91 c Core size: 4 Core Weight: 1 Total Weight: -898 14.88/14.91 c Elapsed CPU time: 14.3588 s Remaining CPU time: 1785.64 s 14.98/15.05 c core #103 14.98/15.05 c Core size: 4 Core Weight: 1 Total Weight: -897 14.98/15.05 c Elapsed CPU time: 14.4988 s Remaining CPU time: 1785.5 s 15.18/15.20 c core #104 15.18/15.20 c Core size: 4 Core Weight: 1 Total Weight: -896 15.18/15.20 c Elapsed CPU time: 14.6328 s Remaining CPU time: 1785.37 s 15.28/15.34 c core #105 15.28/15.34 c Core size: 4 Core Weight: 1 Total Weight: -895 15.28/15.34 c Elapsed CPU time: 14.7738 s Remaining CPU time: 1785.23 s 15.38/15.49 c core #106 15.38/15.49 c Core size: 4 Core Weight: 1 Total Weight: -894 15.38/15.49 c Elapsed CPU time: 14.9137 s Remaining CPU time: 1785.09 s 15.57/15.64 c core #107 15.57/15.64 c Core size: 4 Core Weight: 1 Total Weight: -893 15.57/15.64 c Elapsed CPU time: 15.0537 s Remaining CPU time: 1784.95 s 15.68/15.78 c core #108 15.68/15.78 c Core size: 4 Core Weight: 1 Total Weight: -892 15.68/15.78 c Elapsed CPU time: 15.1927 s Remaining CPU time: 1784.81 s 15.88/15.93 c core #109 15.88/15.93 c Core size: 4 Core Weight: 1 Total Weight: -891 15.88/15.93 c Elapsed CPU time: 15.3317 s Remaining CPU time: 1784.67 s 15.97/16.08 c core #110 15.97/16.08 c Core size: 4 Core Weight: 1 Total Weight: -890 15.97/16.08 c Elapsed CPU time: 15.4726 s Remaining CPU time: 1784.53 s 16.17/16.22 c core #111 16.17/16.22 c Core size: 4 Core Weight: 1 Total Weight: -889 16.17/16.22 c Elapsed CPU time: 15.6136 s Remaining CPU time: 1784.39 s 16.28/16.37 c core #112 16.28/16.37 c Core size: 4 Core Weight: 1 Total Weight: -888 16.28/16.37 c Elapsed CPU time: 15.7496 s Remaining CPU time: 1784.25 s 16.48/16.52 c core #113 16.48/16.52 c Core size: 4 Core Weight: 1 Total Weight: -887 16.48/16.52 c Elapsed CPU time: 15.8896 s Remaining CPU time: 1784.11 s 16.57/16.66 c core #114 16.57/16.66 c Core size: 4 Core Weight: 1 Total Weight: -886 16.57/16.66 c Elapsed CPU time: 16.0306 s Remaining CPU time: 1783.97 s 16.77/16.81 c core #115 16.77/16.81 c Core size: 4 Core Weight: 1 Total Weight: -885 16.77/16.81 c Elapsed CPU time: 16.1715 s Remaining CPU time: 1783.83 s 16.87/16.96 c core #116 16.87/16.96 c Core size: 4 Core Weight: 1 Total Weight: -884 16.87/16.96 c Elapsed CPU time: 16.3195 s Remaining CPU time: 1783.68 s 17.08/17.11 c core #117 17.08/17.11 c Core size: 4 Core Weight: 1 Total Weight: -883 17.08/17.11 c Elapsed CPU time: 16.4615 s Remaining CPU time: 1783.54 s 17.17/17.25 c core #118 17.17/17.25 c Core size: 4 Core Weight: 1 Total Weight: -882 17.17/17.25 c Elapsed CPU time: 16.6055 s Remaining CPU time: 1783.39 s 17.38/17.40 c core #119 17.38/17.40 c Core size: 4 Core Weight: 1 Total Weight: -881 17.38/17.40 c Elapsed CPU time: 16.7445 s Remaining CPU time: 1783.26 s 17.48/17.54 c core #120 17.48/17.54 c Core size: 4 Core Weight: 1 Total Weight: -880 17.48/17.54 c Elapsed CPU time: 16.8844 s Remaining CPU time: 1783.12 s 17.57/17.69 c core #121 17.57/17.69 c Core size: 4 Core Weight: 1 Total Weight: -879 17.57/17.69 c Elapsed CPU time: 17.0244 s Remaining CPU time: 1782.98 s 17.78/17.83 c core #122 17.78/17.83 c Core size: 4 Core Weight: 1 Total Weight: -878 17.78/17.83 c Elapsed CPU time: 17.1674 s Remaining CPU time: 1782.83 s 17.87/17.98 c core #123 17.87/17.98 c Core size: 4 Core Weight: 1 Total Weight: -877 17.87/17.98 c Elapsed CPU time: 17.3104 s Remaining CPU time: 1782.69 s 18.08/18.13 c core #124 18.08/18.13 c Core size: 4 Core Weight: 1 Total Weight: -876 18.08/18.13 c Elapsed CPU time: 17.4523 s Remaining CPU time: 1782.55 s 18.17/18.28 c core #125 18.17/18.28 c Core size: 4 Core Weight: 1 Total Weight: -875 18.17/18.28 c Elapsed CPU time: 17.5983 s Remaining CPU time: 1782.4 s 18.38/18.43 c core #126 18.38/18.43 c Core size: 4 Core Weight: 1 Total Weight: -874 18.38/18.43 c Elapsed CPU time: 17.7413 s Remaining CPU time: 1782.26 s 18.47/18.57 c core #127 18.47/18.57 c Core size: 4 Core Weight: 1 Total Weight: -873 18.47/18.57 c Elapsed CPU time: 17.8803 s Remaining CPU time: 1782.12 s 18.67/18.72 c core #128 18.67/18.72 c Core size: 4 Core Weight: 1 Total Weight: -872 18.67/18.72 c Elapsed CPU time: 18.0183 s Remaining CPU time: 1781.98 s 18.78/18.87 c core #129 18.78/18.87 c Core size: 4 Core Weight: 1 Total Weight: -871 18.78/18.87 c Elapsed CPU time: 18.1592 s Remaining CPU time: 1781.84 s 18.97/19.01 c core #130 18.97/19.01 c Core size: 4 Core Weight: 1 Total Weight: -870 18.97/19.01 c Elapsed CPU time: 18.3012 s Remaining CPU time: 1781.7 s 19.08/19.16 c core #131 19.08/19.16 c Core size: 4 Core Weight: 1 Total Weight: -869 19.08/19.17 c Elapsed CPU time: 18.4492 s Remaining CPU time: 1781.55 s 19.27/19.31 c core #132 19.27/19.31 c Core size: 4 Core Weight: 1 Total Weight: -868 19.27/19.31 c Elapsed CPU time: 18.5932 s Remaining CPU time: 1781.41 s 19.37/19.46 c core #133 19.37/19.46 c Core size: 4 Core Weight: 1 Total Weight: -867 19.37/19.46 c Elapsed CPU time: 18.7342 s Remaining CPU time: 1781.27 s 19.57/19.61 c core #134 19.57/19.61 c Core size: 4 Core Weight: 1 Total Weight: -866 19.57/19.61 c Elapsed CPU time: 18.8761 s Remaining CPU time: 1781.12 s 19.67/19.75 c core #135 19.67/19.75 c Core size: 4 Core Weight: 1 Total Weight: -865 19.67/19.75 c Elapsed CPU time: 19.0181 s Remaining CPU time: 1780.98 s 19.87/19.90 c core #136 19.87/19.90 c Core size: 4 Core Weight: 1 Total Weight: -864 19.87/19.90 c Elapsed CPU time: 19.1641 s Remaining CPU time: 1780.84 s 19.97/20.05 c core #137 19.97/20.05 c Core size: 4 Core Weight: 1 Total Weight: -863 19.97/20.05 c Elapsed CPU time: 19.3071 s Remaining CPU time: 1780.69 s 20.07/20.19 c core #138 20.07/20.19 c Core size: 4 Core Weight: 1 Total Weight: -862 20.07/20.19 c Elapsed CPU time: 19.445 s Remaining CPU time: 1780.55 s 20.27/20.34 c core #139 20.27/20.34 c Core size: 4 Core Weight: 1 Total Weight: -861 20.27/20.34 c Elapsed CPU time: 19.583 s Remaining CPU time: 1780.42 s 20.38/20.48 c core #140 20.38/20.48 c Core size: 4 Core Weight: 1 Total Weight: -860 20.38/20.48 c Elapsed CPU time: 19.724 s Remaining CPU time: 1780.28 s 20.57/20.63 c core #141 20.57/20.63 c Core size: 4 Core Weight: 1 Total Weight: -859 20.57/20.63 c Elapsed CPU time: 19.869 s Remaining CPU time: 1780.13 s 20.68/20.77 c core #142 20.68/20.77 c Core size: 4 Core Weight: 1 Total Weight: -858 20.68/20.77 c Elapsed CPU time: 20.007 s Remaining CPU time: 1779.99 s 20.87/20.92 c core #143 20.87/20.92 c Core size: 4 Core Weight: 1 Total Weight: -857 20.87/20.92 c Elapsed CPU time: 20.1459 s Remaining CPU time: 1779.85 s 20.98/21.07 c core #144 20.98/21.07 c Core size: 4 Core Weight: 1 Total Weight: -856 20.98/21.07 c Elapsed CPU time: 20.2889 s Remaining CPU time: 1779.71 s 21.17/21.21 c core #145 21.17/21.21 c Core size: 4 Core Weight: 1 Total Weight: -855 21.17/21.21 c Elapsed CPU time: 20.4299 s Remaining CPU time: 1779.57 s 21.27/21.36 c core #146 21.27/21.36 c Core size: 4 Core Weight: 1 Total Weight: -854 21.27/21.36 c Elapsed CPU time: 20.5719 s Remaining CPU time: 1779.43 s 21.47/21.50 c core #147 21.47/21.50 c Core size: 4 Core Weight: 1 Total Weight: -853 21.47/21.50 c Elapsed CPU time: 20.7109 s Remaining CPU time: 1779.29 s 21.57/21.65 c core #148 21.57/21.65 c Core size: 4 Core Weight: 1 Total Weight: -852 21.57/21.65 c Elapsed CPU time: 20.8488 s Remaining CPU time: 1779.15 s 21.67/21.79 c core #149 21.67/21.79 c Core size: 4 Core Weight: 1 Total Weight: -851 21.67/21.79 c Elapsed CPU time: 20.9888 s Remaining CPU time: 1779.01 s 21.87/21.94 c core #150 21.87/21.94 c Core size: 4 Core Weight: 1 Total Weight: -850 21.87/21.94 c Elapsed CPU time: 21.1318 s Remaining CPU time: 1778.87 s 21.97/22.08 c core #151 21.97/22.08 c Core size: 4 Core Weight: 1 Total Weight: -849 21.97/22.08 c Elapsed CPU time: 21.2748 s Remaining CPU time: 1778.73 s 22.17/22.23 c core #152 22.17/22.23 c Core size: 4 Core Weight: 1 Total Weight: -848 22.17/22.23 c Elapsed CPU time: 21.4177 s Remaining CPU time: 1778.58 s 22.27/22.38 c core #153 22.27/22.38 c Core size: 4 Core Weight: 1 Total Weight: -847 22.27/22.38 c Elapsed CPU time: 21.5607 s Remaining CPU time: 1778.44 s 22.47/22.52 c core #154 22.47/22.52 c Core size: 4 Core Weight: 1 Total Weight: -846 22.47/22.52 c Elapsed CPU time: 21.7007 s Remaining CPU time: 1778.3 s 22.56/22.67 c core #155 22.56/22.67 c Core size: 4 Core Weight: 1 Total Weight: -845 22.56/22.67 c Elapsed CPU time: 21.8397 s Remaining CPU time: 1778.16 s 22.76/22.82 c core #156 22.76/22.82 c Core size: 4 Core Weight: 1 Total Weight: -844 22.76/22.82 c Elapsed CPU time: 21.9797 s Remaining CPU time: 1778.02 s 22.87/22.97 c core #157 22.87/22.97 c Core size: 4 Core Weight: 1 Total Weight: -843 22.87/22.97 c Elapsed CPU time: 22.1236 s Remaining CPU time: 1777.88 s 23.07/23.11 c core #158 23.07/23.11 c Core size: 4 Core Weight: 1 Total Weight: -842 23.07/23.11 c Elapsed CPU time: 22.2636 s Remaining CPU time: 1777.74 s 23.17/23.26 c core #159 23.17/23.26 c Core size: 4 Core Weight: 1 Total Weight: -841 23.17/23.26 c Elapsed CPU time: 22.4036 s Remaining CPU time: 1777.6 s 23.37/23.41 c core #160 23.37/23.41 c Core size: 4 Core Weight: 1 Total Weight: -840 23.37/23.41 c Elapsed CPU time: 22.5406 s Remaining CPU time: 1777.46 s 23.46/23.56 c core #161 23.46/23.56 c Core size: 4 Core Weight: 1 Total Weight: -839 23.46/23.56 c Elapsed CPU time: 22.6876 s Remaining CPU time: 1777.31 s 23.67/23.71 c core #162 23.67/23.71 c Core size: 4 Core Weight: 1 Total Weight: -838 23.67/23.71 c Elapsed CPU time: 22.8345 s Remaining CPU time: 1777.17 s 23.77/23.85 c core #163 23.77/23.85 c Core size: 4 Core Weight: 1 Total Weight: -837 23.77/23.85 c Elapsed CPU time: 22.9785 s Remaining CPU time: 1777.02 s 23.97/24.00 c core #164 23.97/24.00 c Core size: 4 Core Weight: 1 Total Weight: -836 23.97/24.00 c Elapsed CPU time: 23.1205 s Remaining CPU time: 1776.88 s 24.07/24.15 c core #165 24.07/24.15 c Core size: 4 Core Weight: 1 Total Weight: -835 24.07/24.15 c Elapsed CPU time: 23.2645 s Remaining CPU time: 1776.74 s 24.27/24.30 c core #166 24.27/24.30 c Core size: 4 Core Weight: 1 Total Weight: -834 24.27/24.30 c Elapsed CPU time: 23.4054 s Remaining CPU time: 1776.59 s 24.37/24.45 c core #167 24.37/24.45 c Core size: 4 Core Weight: 1 Total Weight: -833 24.37/24.45 c Elapsed CPU time: 23.5504 s Remaining CPU time: 1776.45 s 24.46/24.60 c core #168 24.46/24.60 c Core size: 4 Core Weight: 1 Total Weight: -832 24.46/24.60 c Elapsed CPU time: 23.6914 s Remaining CPU time: 1776.31 s 24.66/24.74 c core #169 24.66/24.74 c Core size: 4 Core Weight: 1 Total Weight: -831 24.66/24.74 c Elapsed CPU time: 23.8334 s Remaining CPU time: 1776.17 s 24.77/24.89 c core #170 24.77/24.89 c Core size: 4 Core Weight: 1 Total Weight: -830 24.77/24.89 c Elapsed CPU time: 23.9754 s Remaining CPU time: 1776.02 s 24.97/25.04 c core #171 24.97/25.04 c Core size: 4 Core Weight: 1 Total Weight: -829 24.97/25.04 c Elapsed CPU time: 24.1203 s Remaining CPU time: 1775.88 s 25.06/25.18 c core #172 25.06/25.18 c Core size: 4 Core Weight: 1 Total Weight: -828 25.06/25.18 c Elapsed CPU time: 24.2633 s Remaining CPU time: 1775.74 s 25.27/25.33 c core #173 25.27/25.33 c Core size: 4 Core Weight: 1 Total Weight: -827 25.27/25.33 c Elapsed CPU time: 24.4063 s Remaining CPU time: 1775.59 s 25.36/25.48 c core #174 25.36/25.48 c Core size: 4 Core Weight: 1 Total Weight: -826 25.36/25.48 c Elapsed CPU time: 24.5493 s Remaining CPU time: 1775.45 s 25.57/25.63 c core #175 25.57/25.63 c Core size: 4 Core Weight: 1 Total Weight: -825 25.57/25.63 c Elapsed CPU time: 24.6922 s Remaining CPU time: 1775.31 s 25.66/25.78 c core #176 25.66/25.78 c Core size: 4 Core Weight: 1 Total Weight: -824 25.66/25.78 c Elapsed CPU time: 24.8382 s Remaining CPU time: 1775.16 s 25.86/25.92 c core #177 25.86/25.92 c Core size: 4 Core Weight: 1 Total Weight: -823 25.86/25.92 c Elapsed CPU time: 24.9812 s Remaining CPU time: 1775.02 s 25.97/26.07 c core #178 25.97/26.07 c Core size: 4 Core Weight: 1 Total Weight: -822 25.97/26.07 c Elapsed CPU time: 25.1212 s Remaining CPU time: 1774.88 s 26.17/26.22 c core #179 26.17/26.22 c Core size: 4 Core Weight: 1 Total Weight: -821 26.17/26.22 c Elapsed CPU time: 25.2592 s Remaining CPU time: 1774.74 s 26.26/26.36 c core #180 26.26/26.36 c Core size: 4 Core Weight: 1 Total Weight: -820 26.26/26.36 c Elapsed CPU time: 25.3981 s Remaining CPU time: 1774.6 s 26.46/26.51 c core #181 26.46/26.51 c Core size: 4 Core Weight: 1 Total Weight: -819 26.46/26.51 c Elapsed CPU time: 25.5371 s Remaining CPU time: 1774.46 s 26.56/26.66 c core #182 26.56/26.66 c Core size: 4 Core Weight: 1 Total Weight: -818 26.56/26.66 c Elapsed CPU time: 25.6841 s Remaining CPU time: 1774.32 s 26.76/26.81 c core #183 26.76/26.81 c Core size: 4 Core Weight: 1 Total Weight: -817 26.76/26.81 c Elapsed CPU time: 25.8281 s Remaining CPU time: 1774.17 s 26.86/26.96 c core #184 26.86/26.96 c Core size: 4 Core Weight: 1 Total Weight: -816 26.86/26.96 c Elapsed CPU time: 25.9761 s Remaining CPU time: 1774.02 s 27.06/27.11 c core #185 27.06/27.11 c Core size: 4 Core Weight: 1 Total Weight: -815 27.06/27.11 c Elapsed CPU time: 26.118 s Remaining CPU time: 1773.88 s 27.16/27.26 c core #186 27.16/27.26 c Core size: 4 Core Weight: 1 Total Weight: -814 27.16/27.26 c Elapsed CPU time: 26.26 s Remaining CPU time: 1773.74 s 27.36/27.41 c core #187 27.36/27.41 c Core size: 4 Core Weight: 1 Total Weight: -813 27.36/27.41 c Elapsed CPU time: 26.403 s Remaining CPU time: 1773.6 s 27.46/27.55 c core #188 27.46/27.55 c Core size: 4 Core Weight: 1 Total Weight: -812 27.46/27.55 c Elapsed CPU time: 26.546 s Remaining CPU time: 1773.45 s 27.66/27.70 c core #189 27.66/27.70 c Core size: 4 Core Weight: 1 Total Weight: -811 27.66/27.70 c Elapsed CPU time: 26.6909 s Remaining CPU time: 1773.31 s 27.76/27.85 c core #190 27.76/27.85 c Core size: 4 Core Weight: 1 Total Weight: -810 27.76/27.85 c Elapsed CPU time: 26.8349 s Remaining CPU time: 1773.17 s 27.85/27.99 c core #191 27.85/27.99 c Core size: 4 Core Weight: 1 Total Weight: -809 27.85/27.99 c Elapsed CPU time: 26.9719 s Remaining CPU time: 1773.03 s 28.06/28.14 c core #192 28.06/28.14 c Core size: 4 Core Weight: 1 Total Weight: -808 28.06/28.14 c Elapsed CPU time: 27.1119 s Remaining CPU time: 1772.89 s 28.16/28.29 c core #193 28.16/28.29 c Core size: 4 Core Weight: 1 Total Weight: -807 28.16/28.29 c Elapsed CPU time: 27.2559 s Remaining CPU time: 1772.74 s 28.35/28.45 c core #194 28.35/28.45 c Core size: 4 Core Weight: 1 Total Weight: -806 28.35/28.45 c Elapsed CPU time: 27.4048 s Remaining CPU time: 1772.6 s 28.56/28.61 c core #195 28.56/28.61 c Core size: 4 Core Weight: 1 Total Weight: -805 28.56/28.61 c Elapsed CPU time: 27.5538 s Remaining CPU time: 1772.45 s 28.66/28.76 c core #196 28.66/28.76 c Core size: 4 Core Weight: 1 Total Weight: -804 28.66/28.76 c Elapsed CPU time: 27.7038 s Remaining CPU time: 1772.3 s 28.85/28.92 c core #197 28.85/28.92 c Core size: 4 Core Weight: 1 Total Weight: -803 28.85/28.92 c Elapsed CPU time: 27.8568 s Remaining CPU time: 1772.14 s 28.95/29.07 c core #198 28.95/29.07 c Core size: 4 Core Weight: 1 Total Weight: -802 28.95/29.07 c Elapsed CPU time: 28.0077 s Remaining CPU time: 1771.99 s 29.16/29.23 c core #199 29.16/29.23 c Core size: 4 Core Weight: 1 Total Weight: -801 29.16/29.23 c Elapsed CPU time: 28.1637 s Remaining CPU time: 1771.84 s 29.25/29.39 c core #200 29.25/29.39 c Core size: 4 Core Weight: 1 Total Weight: -800 29.25/29.39 c Elapsed CPU time: 28.3167 s Remaining CPU time: 1771.68 s 29.45/29.54 c core #201 29.45/29.54 c Core size: 4 Core Weight: 1 Total Weight: -799 29.45/29.54 c Elapsed CPU time: 28.4707 s Remaining CPU time: 1771.53 s 29.56/29.70 c core #202 29.56/29.70 c Core size: 4 Core Weight: 1 Total Weight: -798 29.56/29.70 c Elapsed CPU time: 28.6146 s Remaining CPU time: 1771.39 s 29.75/29.85 c core #203 29.75/29.85 c Core size: 4 Core Weight: 1 Total Weight: -797 29.75/29.85 c Elapsed CPU time: 28.7586 s Remaining CPU time: 1771.24 s 29.85/29.99 c core #204 29.85/29.99 c Core size: 4 Core Weight: 1 Total Weight: -796 29.85/29.99 c Elapsed CPU time: 28.9006 s Remaining CPU time: 1771.1 s 30.05/30.14 c core #205 30.05/30.14 c Core size: 4 Core Weight: 1 Total Weight: -795 30.05/30.14 c Elapsed CPU time: 29.0436 s Remaining CPU time: 1770.96 s 30.15/30.29 c core #206 30.15/30.29 c Core size: 4 Core Weight: 1 Total Weight: -794 30.15/30.29 c Elapsed CPU time: 29.1856 s Remaining CPU time: 1770.81 s 30.35/30.43 c core #207 30.35/30.43 c Core size: 4 Core Weight: 1 Total Weight: -793 30.35/30.43 c Elapsed CPU time: 29.3255 s Remaining CPU time: 1770.67 s 30.45/30.58 c core #208 30.45/30.58 c Core size: 4 Core Weight: 1 Total Weight: -792 30.45/30.58 c Elapsed CPU time: 29.4685 s Remaining CPU time: 1770.53 s 30.65/30.73 c core #209 30.65/30.73 c Core size: 4 Core Weight: 1 Total Weight: -791 30.65/30.73 c Elapsed CPU time: 29.6085 s Remaining CPU time: 1770.39 s 30.75/30.88 c core #210 30.75/30.88 c Core size: 4 Core Weight: 1 Total Weight: -790 30.75/30.88 c Elapsed CPU time: 29.7545 s Remaining CPU time: 1770.25 s 30.95/31.03 c core #211 30.95/31.03 c Core size: 4 Core Weight: 1 Total Weight: -789 30.95/31.03 c Elapsed CPU time: 29.8975 s Remaining CPU time: 1770.1 s 31.05/31.17 c core #212 31.05/31.17 c Core size: 4 Core Weight: 1 Total Weight: -788 31.05/31.17 c Elapsed CPU time: 30.0364 s Remaining CPU time: 1769.96 s 31.25/31.32 c core #213 31.25/31.32 c Core size: 4 Core Weight: 1 Total Weight: -787 31.25/31.32 c Elapsed CPU time: 30.1764 s Remaining CPU time: 1769.82 s 31.35/31.47 c core #214 31.35/31.47 c Core size: 4 Core Weight: 1 Total Weight: -786 31.35/31.47 c Elapsed CPU time: 30.3184 s Remaining CPU time: 1769.68 s 31.55/31.61 c core #215 31.55/31.61 c Core size: 4 Core Weight: 1 Total Weight: -785 31.55/31.61 c Elapsed CPU time: 30.4594 s Remaining CPU time: 1769.54 s 31.65/31.76 c core #216 31.65/31.76 c Core size: 4 Core Weight: 1 Total Weight: -784 31.65/31.76 c Elapsed CPU time: 30.6033 s Remaining CPU time: 1769.4 s 31.85/31.91 c core #217 31.85/31.91 c Core size: 4 Core Weight: 1 Total Weight: -783 31.85/31.91 c Elapsed CPU time: 30.7473 s Remaining CPU time: 1769.25 s 31.95/32.06 c core #218 31.95/32.06 c Core size: 4 Core Weight: 1 Total Weight: -782 31.95/32.06 c Elapsed CPU time: 30.8933 s Remaining CPU time: 1769.11 s 32.15/32.21 c core #219 32.15/32.21 c Core size: 4 Core Weight: 1 Total Weight: -781 32.15/32.21 c Elapsed CPU time: 31.0363 s Remaining CPU time: 1768.96 s 32.24/32.36 c core #220 32.24/32.36 c Core size: 4 Core Weight: 1 Total Weight: -780 32.24/32.36 c Elapsed CPU time: 31.1783 s Remaining CPU time: 1768.82 s 32.45/32.50 c core #221 32.45/32.50 c Core size: 4 Core Weight: 1 Total Weight: -779 32.45/32.50 c Elapsed CPU time: 31.3162 s Remaining CPU time: 1768.68 s 32.54/32.65 c core #222 32.54/32.65 c Core size: 4 Core Weight: 1 Total Weight: -778 32.54/32.65 c Elapsed CPU time: 31.4552 s Remaining CPU time: 1768.54 s 32.74/32.80 c core #223 32.74/32.80 c Core size: 4 Core Weight: 1 Total Weight: -777 32.74/32.80 c Elapsed CPU time: 31.5992 s Remaining CPU time: 1768.4 s 32.85/32.94 c core #224 32.85/32.94 c Core size: 4 Core Weight: 1 Total Weight: -776 32.85/32.94 c Elapsed CPU time: 31.7392 s Remaining CPU time: 1768.26 s 32.95/33.09 c core #225 32.95/33.09 c Core size: 4 Core Weight: 1 Total Weight: -775 32.95/33.09 c Elapsed CPU time: 31.8802 s Remaining CPU time: 1768.12 s 33.15/33.23 c core #226 33.15/33.23 c Core size: 4 Core Weight: 1 Total Weight: -774 33.15/33.23 c Elapsed CPU time: 32.0201 s Remaining CPU time: 1767.98 s 33.24/33.38 c core #227 33.24/33.38 c Core size: 4 Core Weight: 1 Total Weight: -773 33.24/33.38 c Elapsed CPU time: 32.1651 s Remaining CPU time: 1767.83 s 33.45/33.53 c core #228 33.45/33.53 c Core size: 4 Core Weight: 1 Total Weight: -772 33.45/33.53 c Elapsed CPU time: 32.3041 s Remaining CPU time: 1767.7 s 33.54/33.68 c core #229 33.54/33.68 c Core size: 4 Core Weight: 1 Total Weight: -771 33.54/33.68 c Elapsed CPU time: 32.4471 s Remaining CPU time: 1767.55 s 33.75/33.83 c core #230 33.75/33.83 c Core size: 4 Core Weight: 1 Total Weight: -770 33.75/33.83 c Elapsed CPU time: 32.595 s Remaining CPU time: 1767.4 s 33.85/33.98 c core #231 33.85/33.98 c Core size: 4 Core Weight: 1 Total Weight: -769 33.85/33.98 c Elapsed CPU time: 32.74 s Remaining CPU time: 1767.26 s 34.04/34.12 c core #232 34.04/34.12 c Core size: 4 Core Weight: 1 Total Weight: -768 34.04/34.12 c Elapsed CPU time: 32.883 s Remaining CPU time: 1767.12 s 34.15/34.27 c core #233 34.15/34.27 c Core size: 4 Core Weight: 1 Total Weight: -767 34.15/34.27 c Elapsed CPU time: 33.023 s Remaining CPU time: 1766.98 s 34.34/34.42 c core #234 34.34/34.42 c Core size: 4 Core Weight: 1 Total Weight: -766 34.34/34.42 c Elapsed CPU time: 33.165 s Remaining CPU time: 1766.84 s 34.45/34.56 c core #235 34.45/34.56 c Core size: 4 Core Weight: 1 Total Weight: -765 34.45/34.56 c Elapsed CPU time: 33.3099 s Remaining CPU time: 1766.69 s 34.65/34.71 c core #236 34.65/34.71 c Core size: 4 Core Weight: 1 Total Weight: -764 34.65/34.71 c Elapsed CPU time: 33.4479 s Remaining CPU time: 1766.55 s 34.74/34.86 c core #237 34.74/34.86 c Core size: 4 Core Weight: 1 Total Weight: -763 34.74/34.86 c Elapsed CPU time: 33.5929 s Remaining CPU time: 1766.41 s 34.95/35.01 c core #238 34.95/35.01 c Core size: 4 Core Weight: 1 Total Weight: -762 34.95/35.01 c Elapsed CPU time: 33.7329 s Remaining CPU time: 1766.27 s 35.05/35.16 c core #239 35.05/35.16 c Core size: 4 Core Weight: 1 Total Weight: -761 35.05/35.16 c Elapsed CPU time: 33.8778 s Remaining CPU time: 1766.12 s 35.25/35.31 c core #240 35.25/35.31 c Core size: 4 Core Weight: 1 Total Weight: -760 35.25/35.31 c Elapsed CPU time: 34.0218 s Remaining CPU time: 1765.98 s 35.34/35.46 c core #241 35.34/35.46 c Core size: 4 Core Weight: 1 Total Weight: -759 35.34/35.46 c Elapsed CPU time: 34.1698 s Remaining CPU time: 1765.83 s 35.54/35.61 c core #242 35.54/35.61 c Core size: 4 Core Weight: 1 Total Weight: -758 35.54/35.61 c Elapsed CPU time: 34.3128 s Remaining CPU time: 1765.69 s 35.64/35.76 c core #243 35.64/35.76 c Core size: 4 Core Weight: 1 Total Weight: -757 35.64/35.76 c Elapsed CPU time: 34.4588 s Remaining CPU time: 1765.54 s 35.85/35.91 c core #244 35.85/35.91 c Core size: 4 Core Weight: 1 Total Weight: -756 35.85/35.91 c Elapsed CPU time: 34.6047 s Remaining CPU time: 1765.4 s 35.94/36.06 c core #245 35.94/36.06 c Core size: 4 Core Weight: 1 Total Weight: -755 35.94/36.06 c Elapsed CPU time: 34.7487 s Remaining CPU time: 1765.25 s 36.14/36.21 c core #246 36.14/36.21 c Core size: 4 Core Weight: 1 Total Weight: -754 36.14/36.21 c Elapsed CPU time: 34.8937 s Remaining CPU time: 1765.11 s 36.25/36.35 c core #247 36.25/36.35 c Core size: 4 Core Weight: 1 Total Weight: -753 36.25/36.35 c Elapsed CPU time: 35.0357 s Remaining CPU time: 1764.96 s 36.44/36.50 c core #248 36.44/36.50 c Core size: 4 Core Weight: 1 Total Weight: -752 36.44/36.50 c Elapsed CPU time: 35.1777 s Remaining CPU time: 1764.82 s 36.54/36.65 c core #249 36.54/36.65 c Core size: 4 Core Weight: 1 Total Weight: -751 36.54/36.65 c Elapsed CPU time: 35.3216 s Remaining CPU time: 1764.68 s 36.74/36.80 c core #250 36.74/36.80 c Core size: 4 Core Weight: 1 Total Weight: -750 36.74/36.80 c Elapsed CPU time: 35.4616 s Remaining CPU time: 1764.54 s 36.84/36.95 c core #251 36.84/36.95 c Core size: 4 Core Weight: 1 Total Weight: -749 36.84/36.95 c Elapsed CPU time: 35.6056 s Remaining CPU time: 1764.39 s 36.94/37.09 c core #252 36.94/37.09 c Core size: 4 Core Weight: 1 Total Weight: -748 36.94/37.09 c Elapsed CPU time: 35.7466 s Remaining CPU time: 1764.25 s 37.14/37.24 c core #253 37.14/37.24 c Core size: 4 Core Weight: 1 Total Weight: -747 37.14/37.24 c Elapsed CPU time: 35.8915 s Remaining CPU time: 1764.11 s 37.35/37.40 c core #254 37.35/37.40 c Core size: 4 Core Weight: 1 Total Weight: -746 37.35/37.40 c Elapsed CPU time: 36.0405 s Remaining CPU time: 1763.96 s 37.44/37.56 c core #255 37.44/37.56 c Core size: 4 Core Weight: 1 Total Weight: -745 37.44/37.56 c Elapsed CPU time: 36.1925 s Remaining CPU time: 1763.81 s 37.64/37.72 c core #256 37.64/37.72 c Core size: 4 Core Weight: 1 Total Weight: -744 37.64/37.72 c Elapsed CPU time: 36.3435 s Remaining CPU time: 1763.66 s 37.74/37.88 c core #257 37.74/37.88 c Core size: 4 Core Weight: 1 Total Weight: -743 37.74/37.88 c Elapsed CPU time: 36.4955 s Remaining CPU time: 1763.5 s 37.94/38.03 c core #258 37.94/38.03 c Core size: 4 Core Weight: 1 Total Weight: -742 37.94/38.03 c Elapsed CPU time: 36.6454 s Remaining CPU time: 1763.35 s 38.04/38.19 c core #259 38.04/38.19 c Core size: 4 Core Weight: 1 Total Weight: -741 38.04/38.19 c Elapsed CPU time: 36.7954 s Remaining CPU time: 1763.2 s 38.24/38.35 c core #260 38.24/38.35 c Core size: 4 Core Weight: 1 Total Weight: -740 38.24/38.35 c Elapsed CPU time: 36.9494 s Remaining CPU time: 1763.05 s 38.44/38.51 c core #261 38.44/38.51 c Core size: 4 Core Weight: 1 Total Weight: -739 38.44/38.51 c Elapsed CPU time: 37.1014 s Remaining CPU time: 1762.9 s 38.53/38.66 c core #262 38.53/38.66 c Core size: 4 Core Weight: 1 Total Weight: -738 38.53/38.66 c Elapsed CPU time: 37.2453 s Remaining CPU time: 1762.75 s 38.73/38.81 c core #263 38.73/38.81 c Core size: 4 Core Weight: 1 Total Weight: -737 38.73/38.81 c Elapsed CPU time: 37.3873 s Remaining CPU time: 1762.61 s 38.84/38.96 c core #264 38.84/38.96 c Core size: 4 Core Weight: 1 Total Weight: -736 38.84/38.96 c Elapsed CPU time: 37.5313 s Remaining CPU time: 1762.47 s 39.04/39.11 c core #265 39.04/39.11 c Core size: 4 Core Weight: 1 Total Weight: -735 39.04/39.11 c Elapsed CPU time: 37.6743 s Remaining CPU time: 1762.33 s 39.14/39.26 c core #266 39.14/39.26 c Core size: 4 Core Weight: 1 Total Weight: -734 39.14/39.26 c Elapsed CPU time: 37.8173 s Remaining CPU time: 1762.18 s 39.34/39.41 c core #267 39.34/39.41 c Core size: 4 Core Weight: 1 Total Weight: -733 39.34/39.41 c Elapsed CPU time: 37.9622 s Remaining CPU time: 1762.04 s 39.44/39.56 c core #268 39.44/39.56 c Core size: 4 Core Weight: 1 Total Weight: -732 39.44/39.56 c Elapsed CPU time: 38.1112 s Remaining CPU time: 1761.89 s 39.64/39.72 c core #269 39.64/39.72 c Core size: 4 Core Weight: 1 Total Weight: -731 39.64/39.72 c Elapsed CPU time: 38.2672 s Remaining CPU time: 1761.73 s 39.73/39.87 c core #270 39.73/39.87 c Core size: 4 Core Weight: 1 Total Weight: -730 39.73/39.87 c Elapsed CPU time: 38.4162 s Remaining CPU time: 1761.58 s 39.93/40.02 c core #271 39.93/40.02 c Core size: 4 Core Weight: 1 Total Weight: -729 39.93/40.02 c Elapsed CPU time: 38.5621 s Remaining CPU time: 1761.44 s 40.04/40.18 c core #272 40.04/40.18 c Core size: 4 Core Weight: 1 Total Weight: -728 40.04/40.18 c Elapsed CPU time: 38.7061 s Remaining CPU time: 1761.29 s 40.24/40.32 c core #273 40.24/40.32 c Core size: 4 Core Weight: 1 Total Weight: -727 40.24/40.32 c Elapsed CPU time: 38.8471 s Remaining CPU time: 1761.15 s 40.33/40.47 c core #274 40.33/40.47 c Core size: 4 Core Weight: 1 Total Weight: -726 40.33/40.47 c Elapsed CPU time: 38.9901 s Remaining CPU time: 1761.01 s 40.54/40.63 c core #275 40.54/40.63 c Core size: 4 Core Weight: 1 Total Weight: -725 40.54/40.63 c Elapsed CPU time: 39.1341 s Remaining CPU time: 1760.87 s 40.63/40.78 c core #276 40.63/40.78 c Core size: 4 Core Weight: 1 Total Weight: -724 40.63/40.78 c Elapsed CPU time: 39.283 s Remaining CPU time: 1760.72 s 40.84/40.93 c core #277 40.84/40.93 c Core size: 4 Core Weight: 1 Total Weight: -723 40.84/40.93 c Elapsed CPU time: 39.434 s Remaining CPU time: 1760.57 s 40.93/41.08 c core #278 40.93/41.08 c Core size: 4 Core Weight: 1 Total Weight: -722 40.93/41.08 c Elapsed CPU time: 39.579 s Remaining CPU time: 1760.42 s 41.14/41.24 c core #279 41.14/41.24 c Core size: 4 Core Weight: 1 Total Weight: -721 41.14/41.24 c Elapsed CPU time: 39.731 s Remaining CPU time: 1760.27 s 41.23/41.39 c core #280 41.23/41.39 c Core size: 4 Core Weight: 1 Total Weight: -720 41.23/41.39 c Elapsed CPU time: 39.8749 s Remaining CPU time: 1760.13 s 41.43/41.54 c core #281 41.43/41.54 c Core size: 4 Core Weight: 1 Total Weight: -719 41.43/41.54 c Elapsed CPU time: 40.0199 s Remaining CPU time: 1759.98 s 41.53/41.69 c core #282 41.53/41.69 c Core size: 4 Core Weight: 1 Total Weight: -718 41.53/41.69 c Elapsed CPU time: 40.1699 s Remaining CPU time: 1759.83 s 41.74/41.84 c core #283 41.74/41.84 c Core size: 4 Core Weight: 1 Total Weight: -717 41.74/41.84 c Elapsed CPU time: 40.3149 s Remaining CPU time: 1759.69 s 41.83/41.99 c core #284 41.83/41.99 c Core size: 4 Core Weight: 1 Total Weight: -716 41.83/41.99 c Elapsed CPU time: 40.4568 s Remaining CPU time: 1759.54 s 42.03/42.15 c core #285 42.03/42.15 c Core size: 4 Core Weight: 1 Total Weight: -715 42.03/42.15 c Elapsed CPU time: 40.6028 s Remaining CPU time: 1759.4 s 42.23/42.30 c core #286 42.23/42.30 c Core size: 4 Core Weight: 1 Total Weight: -714 42.23/42.30 c Elapsed CPU time: 40.7478 s Remaining CPU time: 1759.25 s 42.33/42.45 c core #287 42.33/42.45 c Core size: 4 Core Weight: 1 Total Weight: -713 42.33/42.45 c Elapsed CPU time: 40.8928 s Remaining CPU time: 1759.11 s 42.53/42.60 c core #288 42.53/42.60 c Core size: 4 Core Weight: 1 Total Weight: -712 42.53/42.60 c Elapsed CPU time: 41.0378 s Remaining CPU time: 1758.96 s 42.63/42.75 c core #289 42.63/42.75 c Core size: 4 Core Weight: 1 Total Weight: -711 42.63/42.75 c Elapsed CPU time: 41.1857 s Remaining CPU time: 1758.81 s 42.83/42.90 c core #290 42.83/42.90 c Core size: 4 Core Weight: 1 Total Weight: -710 42.83/42.90 c Elapsed CPU time: 41.3327 s Remaining CPU time: 1758.67 s 42.93/43.05 c core #291 42.93/43.05 c Core size: 4 Core Weight: 1 Total Weight: -709 42.93/43.05 c Elapsed CPU time: 41.4777 s Remaining CPU time: 1758.52 s 43.12/43.21 c core #292 43.12/43.21 c Core size: 4 Core Weight: 1 Total Weight: -708 43.12/43.21 c Elapsed CPU time: 41.6267 s Remaining CPU time: 1758.37 s 43.23/43.35 c core #293 43.23/43.35 c Core size: 4 Core Weight: 1 Total Weight: -707 43.23/43.35 c Elapsed CPU time: 41.7726 s Remaining CPU time: 1758.23 s 43.43/43.51 c core #294 43.43/43.51 c Core size: 4 Core Weight: 1 Total Weight: -706 43.43/43.51 c Elapsed CPU time: 41.9196 s Remaining CPU time: 1758.08 s 43.52/43.66 c core #295 43.52/43.66 c Core size: 4 Core Weight: 1 Total Weight: -705 43.52/43.66 c Elapsed CPU time: 42.0696 s Remaining CPU time: 1757.93 s 43.72/43.81 c core #296 43.72/43.81 c Core size: 4 Core Weight: 1 Total Weight: -704 43.72/43.81 c Elapsed CPU time: 42.2136 s Remaining CPU time: 1757.79 s 43.83/43.97 c core #297 43.83/43.97 c Core size: 4 Core Weight: 1 Total Weight: -703 43.83/43.97 c Elapsed CPU time: 42.3566 s Remaining CPU time: 1757.64 s 44.03/44.12 c core #298 44.03/44.12 c Core size: 4 Core Weight: 1 Total Weight: -702 44.03/44.12 c Elapsed CPU time: 42.5055 s Remaining CPU time: 1757.49 s 44.12/44.27 c core #299 44.12/44.27 c Core size: 4 Core Weight: 1 Total Weight: -701 44.12/44.27 c Elapsed CPU time: 42.6545 s Remaining CPU time: 1757.35 s 44.32/44.42 c core #300 44.32/44.42 c Core size: 4 Core Weight: 1 Total Weight: -700 44.32/44.42 c Elapsed CPU time: 42.8005 s Remaining CPU time: 1757.2 s 44.42/44.58 c core #301 44.42/44.58 c Core size: 4 Core Weight: 1 Total Weight: -699 44.42/44.58 c Elapsed CPU time: 42.9525 s Remaining CPU time: 1757.05 s 44.62/44.73 c core #302 44.62/44.73 c Core size: 4 Core Weight: 1 Total Weight: -698 44.62/44.73 c Elapsed CPU time: 43.0974 s Remaining CPU time: 1756.9 s 44.72/44.88 c core #303 44.72/44.88 c Core size: 4 Core Weight: 1 Total Weight: -697 44.72/44.88 c Elapsed CPU time: 43.2444 s Remaining CPU time: 1756.76 s 44.93/45.03 c core #304 44.93/45.03 c Core size: 4 Core Weight: 1 Total Weight: -696 44.93/45.03 c Elapsed CPU time: 43.3874 s Remaining CPU time: 1756.61 s 45.02/45.18 c core #305 45.02/45.18 c Core size: 4 Core Weight: 1 Total Weight: -695 45.02/45.18 c Elapsed CPU time: 43.5304 s Remaining CPU time: 1756.47 s 45.22/45.33 c core #306 45.22/45.33 c Core size: 4 Core Weight: 1 Total Weight: -694 45.22/45.33 c Elapsed CPU time: 43.6724 s Remaining CPU time: 1756.33 s 45.32/45.48 c core #307 45.32/45.48 c Core size: 4 Core Weight: 1 Total Weight: -693 45.32/45.48 c Elapsed CPU time: 43.8193 s Remaining CPU time: 1756.18 s 45.52/45.63 c core #308 45.52/45.63 c Core size: 4 Core Weight: 1 Total Weight: -692 45.52/45.63 c Elapsed CPU time: 43.9663 s Remaining CPU time: 1756.03 s 45.62/45.79 c core #309 45.62/45.79 c Core size: 4 Core Weight: 1 Total Weight: -691 45.62/45.79 c Elapsed CPU time: 44.1133 s Remaining CPU time: 1755.89 s 45.82/45.94 c core #310 45.82/45.94 c Core size: 4 Core Weight: 1 Total Weight: -690 45.82/45.94 c Elapsed CPU time: 44.2623 s Remaining CPU time: 1755.74 s 45.92/46.09 c core #311 45.92/46.09 c Core size: 4 Core Weight: 1 Total Weight: -689 45.92/46.09 c Elapsed CPU time: 44.4122 s Remaining CPU time: 1755.59 s 46.12/46.24 c core #312 46.12/46.24 c Core size: 4 Core Weight: 1 Total Weight: -688 46.12/46.24 c Elapsed CPU time: 44.5572 s Remaining CPU time: 1755.44 s 46.22/46.39 c core #313 46.22/46.39 c Core size: 4 Core Weight: 1 Total Weight: -687 46.22/46.39 c Elapsed CPU time: 44.7042 s Remaining CPU time: 1755.3 s 46.42/46.55 c core #314 46.42/46.55 c Core size: 4 Core Weight: 1 Total Weight: -686 46.42/46.55 c Elapsed CPU time: 44.8512 s Remaining CPU time: 1755.15 s 46.62/46.70 c core #315 46.62/46.70 c Core size: 4 Core Weight: 1 Total Weight: -685 46.62/46.70 c Elapsed CPU time: 45.0002 s Remaining CPU time: 1755 s 46.72/46.86 c core #316 46.72/46.86 c Core size: 4 Core Weight: 1 Total Weight: -684 46.72/46.86 c Elapsed CPU time: 45.1481 s Remaining CPU time: 1754.85 s 46.92/47.01 c core #317 46.92/47.01 c Core size: 4 Core Weight: 1 Total Weight: -683 46.92/47.01 c Elapsed CPU time: 45.2971 s Remaining CPU time: 1754.7 s 47.02/47.16 c core #318 47.02/47.16 c Core size: 4 Core Weight: 1 Total Weight: -682 47.02/47.16 c Elapsed CPU time: 45.4471 s Remaining CPU time: 1754.55 s 47.23/47.31 c core #319 47.23/47.31 c Core size: 4 Core Weight: 1 Total Weight: -681 47.23/47.31 c Elapsed CPU time: 45.5921 s Remaining CPU time: 1754.41 s 47.32/47.47 c core #320 47.32/47.47 c Core size: 4 Core Weight: 1 Total Weight: -680 47.32/47.47 c Elapsed CPU time: 45.743 s Remaining CPU time: 1754.26 s 47.52/47.62 c core #321 47.52/47.62 c Core size: 4 Core Weight: 1 Total Weight: -679 47.52/47.62 c Elapsed CPU time: 45.892 s Remaining CPU time: 1754.11 s 47.62/47.78 c core #322 47.62/47.78 c Core size: 4 Core Weight: 1 Total Weight: -678 47.62/47.78 c Elapsed CPU time: 46.04 s Remaining CPU time: 1753.96 s 47.82/47.93 c core #323 47.82/47.93 c Core size: 4 Core Weight: 1 Total Weight: -677 47.82/47.93 c Elapsed CPU time: 46.187 s Remaining CPU time: 1753.81 s 47.92/48.08 c core #324 47.92/48.08 c Core size: 4 Core Weight: 1 Total Weight: -676 47.92/48.08 c Elapsed CPU time: 46.336 s Remaining CPU time: 1753.66 s 48.12/48.23 c core #325 48.12/48.23 c Core size: 4 Core Weight: 1 Total Weight: -675 48.12/48.23 c Elapsed CPU time: 46.4819 s Remaining CPU time: 1753.52 s 48.22/48.39 c core #326 48.22/48.39 c Core size: 4 Core Weight: 1 Total Weight: -674 48.22/48.39 c Elapsed CPU time: 46.6299 s Remaining CPU time: 1753.37 s 48.42/48.54 c core #327 48.42/48.54 c Core size: 4 Core Weight: 1 Total Weight: -673 48.42/48.54 c Elapsed CPU time: 46.7769 s Remaining CPU time: 1753.22 s 48.52/48.69 c core #328 48.52/48.69 c Core size: 4 Core Weight: 1 Total Weight: -672 48.52/48.69 c Elapsed CPU time: 46.9269 s Remaining CPU time: 1753.07 s 48.72/48.85 c core #329 48.72/48.85 c Core size: 4 Core Weight: 1 Total Weight: -671 48.72/48.85 c Elapsed CPU time: 47.0738 s Remaining CPU time: 1752.93 s 48.91/49.00 c core #330 48.91/49.00 c Core size: 4 Core Weight: 1 Total Weight: -670 48.91/49.00 c Elapsed CPU time: 47.2228 s Remaining CPU time: 1752.78 s 49.02/49.15 c core #331 49.02/49.15 c Core size: 4 Core Weight: 1 Total Weight: -669 49.02/49.15 c Elapsed CPU time: 47.3708 s Remaining CPU time: 1752.63 s 49.22/49.31 c core #332 49.22/49.31 c Core size: 4 Core Weight: 1 Total Weight: -668 49.22/49.31 c Elapsed CPU time: 47.5228 s Remaining CPU time: 1752.48 s 49.32/49.46 c core #333 49.32/49.46 c Core size: 4 Core Weight: 1 Total Weight: -667 49.32/49.46 c Elapsed CPU time: 47.6718 s Remaining CPU time: 1752.33 s 49.52/49.62 c core #334 49.52/49.62 c Core size: 4 Core Weight: 1 Total Weight: -666 49.52/49.62 c Elapsed CPU time: 47.8197 s Remaining CPU time: 1752.18 s 49.61/49.77 c core #335 49.61/49.77 c Core size: 4 Core Weight: 1 Total Weight: -665 49.61/49.77 c Elapsed CPU time: 47.9677 s Remaining CPU time: 1752.03 s 49.82/49.92 c core #336 49.82/49.92 c Core size: 4 Core Weight: 1 Total Weight: -664 49.82/49.92 c Elapsed CPU time: 48.1137 s Remaining CPU time: 1751.89 s 49.91/50.07 c core #337 49.91/50.07 c Core size: 4 Core Weight: 1 Total Weight: -663 49.91/50.07 c Elapsed CPU time: 48.2607 s Remaining CPU time: 1751.74 s 50.12/50.22 c core #338 50.12/50.22 c Core size: 4 Core Weight: 1 Total Weight: -662 50.12/50.22 c Elapsed CPU time: 48.4086 s Remaining CPU time: 1751.59 s 50.21/50.38 c core #339 50.21/50.38 c Core size: 4 Core Weight: 1 Total Weight: -661 50.21/50.38 c Elapsed CPU time: 48.5546 s Remaining CPU time: 1751.45 s 50.42/50.53 c core #340 50.42/50.53 c Core size: 4 Core Weight: 1 Total Weight: -660 50.42/50.53 c Elapsed CPU time: 48.7006 s Remaining CPU time: 1751.3 s 50.52/50.68 c core #341 50.52/50.68 c Core size: 4 Core Weight: 1 Total Weight: -659 50.52/50.68 c Elapsed CPU time: 48.8496 s Remaining CPU time: 1751.15 s 50.71/50.84 c core #342 50.71/50.84 c Core size: 4 Core Weight: 1 Total Weight: -658 50.71/50.84 c Elapsed CPU time: 49.0005 s Remaining CPU time: 1751 s 50.81/50.99 c core #343 50.81/50.99 c Core size: 4 Core Weight: 1 Total Weight: -657 50.81/50.99 c Elapsed CPU time: 49.1525 s Remaining CPU time: 1750.85 s 51.02/51.15 c core #344 51.02/51.15 c Core size: 4 Core Weight: 1 Total Weight: -656 51.02/51.15 c Elapsed CPU time: 49.3055 s Remaining CPU time: 1750.69 s 51.21/51.30 c core #345 51.21/51.30 c Core size: 4 Core Weight: 1 Total Weight: -655 51.21/51.30 c Elapsed CPU time: 49.4525 s Remaining CPU time: 1750.55 s 51.32/51.46 c core #346 51.32/51.46 c Core size: 4 Core Weight: 1 Total Weight: -654 51.32/51.46 c Elapsed CPU time: 49.6015 s Remaining CPU time: 1750.4 s 51.52/51.61 c core #347 51.52/51.61 c Core size: 4 Core Weight: 1 Total Weight: -653 51.52/51.61 c Elapsed CPU time: 49.7524 s Remaining CPU time: 1750.25 s 51.62/51.77 c core #348 51.62/51.77 c Core size: 4 Core Weight: 1 Total Weight: -652 51.62/51.77 c Elapsed CPU time: 49.9024 s Remaining CPU time: 1750.1 s 51.81/51.92 c core #349 51.81/51.92 c Core size: 4 Core Weight: 1 Total Weight: -651 51.81/51.92 c Elapsed CPU time: 50.0454 s Remaining CPU time: 1749.95 s 51.91/52.08 c core #350 51.91/52.08 c Core size: 4 Core Weight: 1 Total Weight: -650 51.91/52.08 c Elapsed CPU time: 50.1944 s Remaining CPU time: 1749.81 s 52.12/52.23 c core #351 52.12/52.23 c Core size: 4 Core Weight: 1 Total Weight: -649 52.12/52.23 c Elapsed CPU time: 50.3463 s Remaining CPU time: 1749.65 s 52.22/52.39 c core #352 52.22/52.39 c Core size: 4 Core Weight: 1 Total Weight: -648 52.22/52.39 c Elapsed CPU time: 50.4983 s Remaining CPU time: 1749.5 s 52.42/52.54 c core #353 52.42/52.54 c Core size: 4 Core Weight: 1 Total Weight: -647 52.42/52.54 c Elapsed CPU time: 50.6433 s Remaining CPU time: 1749.36 s 52.51/52.70 c core #354 52.51/52.70 c Core size: 4 Core Weight: 1 Total Weight: -646 52.51/52.70 c Elapsed CPU time: 50.7963 s Remaining CPU time: 1749.2 s 52.71/52.85 c core #355 52.71/52.85 c Core size: 4 Core Weight: 1 Total Weight: -645 52.71/52.85 c Elapsed CPU time: 50.9453 s Remaining CPU time: 1749.05 s 52.92/53.00 c core #356 52.92/53.00 c Core size: 4 Core Weight: 1 Total Weight: -644 52.92/53.00 c Elapsed CPU time: 51.0962 s Remaining CPU time: 1748.9 s 53.01/53.16 c core #357 53.01/53.16 c Core size: 4 Core Weight: 1 Total Weight: -643 53.01/53.16 c Elapsed CPU time: 51.2422 s Remaining CPU time: 1748.76 s 53.21/53.31 c core #358 53.21/53.31 c Core size: 4 Core Weight: 1 Total Weight: -642 53.21/53.31 c Elapsed CPU time: 51.3892 s Remaining CPU time: 1748.61 s 53.32/53.47 c core #359 53.32/53.47 c Core size: 4 Core Weight: 1 Total Weight: -641 53.32/53.47 c Elapsed CPU time: 51.5362 s Remaining CPU time: 1748.46 s 53.52/53.62 c core #360 53.52/53.62 c Core size: 4 Core Weight: 1 Total Weight: -640 53.52/53.62 c Elapsed CPU time: 51.6811 s Remaining CPU time: 1748.32 s 53.61/53.77 c core #361 53.61/53.77 c Core size: 4 Core Weight: 1 Total Weight: -639 53.61/53.77 c Elapsed CPU time: 51.8331 s Remaining CPU time: 1748.17 s 53.82/53.93 c core #362 53.82/53.93 c Core size: 4 Core Weight: 1 Total Weight: -638 53.82/53.93 c Elapsed CPU time: 51.9811 s Remaining CPU time: 1748.02 s 53.91/54.08 c core #363 53.91/54.08 c Core size: 4 Core Weight: 1 Total Weight: -637 53.91/54.08 c Elapsed CPU time: 52.1301 s Remaining CPU time: 1747.87 s 54.11/54.24 c core #364 54.11/54.24 c Core size: 4 Core Weight: 1 Total Weight: -636 54.11/54.24 c Elapsed CPU time: 52.2831 s Remaining CPU time: 1747.72 s 54.21/54.40 c core #365 54.21/54.40 c Core size: 4 Core Weight: 1 Total Weight: -635 54.21/54.40 c Elapsed CPU time: 52.432 s Remaining CPU time: 1747.57 s 54.41/54.55 c core #366 54.41/54.55 c Core size: 4 Core Weight: 1 Total Weight: -634 54.41/54.55 c Elapsed CPU time: 52.581 s Remaining CPU time: 1747.42 s 54.61/54.71 c core #367 54.61/54.71 c Core size: 4 Core Weight: 1 Total Weight: -633 54.61/54.71 c Elapsed CPU time: 52.732 s Remaining CPU time: 1747.27 s 54.71/54.86 c core #368 54.71/54.86 c Core size: 4 Core Weight: 1 Total Weight: -632 54.71/54.86 c Elapsed CPU time: 52.881 s Remaining CPU time: 1747.12 s 54.91/55.01 c core #369 54.91/55.01 c Core size: 4 Core Weight: 1 Total Weight: -631 54.91/55.01 c Elapsed CPU time: 53.0309 s Remaining CPU time: 1746.97 s 55.01/55.17 c core #370 55.01/55.17 c Core size: 4 Core Weight: 1 Total Weight: -630 55.01/55.17 c Elapsed CPU time: 53.1819 s Remaining CPU time: 1746.82 s 55.21/55.32 c core #371 55.21/55.32 c Core size: 4 Core Weight: 1 Total Weight: -629 55.21/55.32 c Elapsed CPU time: 53.3309 s Remaining CPU time: 1746.67 s 55.31/55.48 c core #372 55.31/55.48 c Core size: 4 Core Weight: 1 Total Weight: -628 55.31/55.48 c Elapsed CPU time: 53.4809 s Remaining CPU time: 1746.52 s 55.51/55.63 c core #373 55.51/55.63 c Core size: 4 Core Weight: 1 Total Weight: -627 55.51/55.63 c Elapsed CPU time: 53.6288 s Remaining CPU time: 1746.37 s 55.60/55.79 c core #374 55.60/55.79 c Core size: 4 Core Weight: 1 Total Weight: -626 55.60/55.79 c Elapsed CPU time: 53.7798 s Remaining CPU time: 1746.22 s 55.81/55.94 c core #375 55.81/55.94 c Core size: 4 Core Weight: 1 Total Weight: -625 55.81/55.94 c Elapsed CPU time: 53.9278 s Remaining CPU time: 1746.07 s 55.91/56.10 c core #376 55.91/56.10 c Core size: 4 Core Weight: 1 Total Weight: -624 55.91/56.10 c Elapsed CPU time: 54.0778 s Remaining CPU time: 1745.92 s 56.11/56.25 c core #377 56.11/56.25 c Core size: 4 Core Weight: 1 Total Weight: -623 56.11/56.25 c Elapsed CPU time: 54.2278 s Remaining CPU time: 1745.77 s 56.30/56.41 c core #378 56.30/56.41 c Core size: 4 Core Weight: 1 Total Weight: -622 56.30/56.41 c Elapsed CPU time: 54.3777 s Remaining CPU time: 1745.62 s 56.41/56.56 c core #379 56.41/56.56 c Core size: 4 Core Weight: 1 Total Weight: -621 56.41/56.56 c Elapsed CPU time: 54.5277 s Remaining CPU time: 1745.47 s 56.61/56.72 c core #380 56.61/56.72 c Core size: 4 Core Weight: 1 Total Weight: -620 56.61/56.72 c Elapsed CPU time: 54.6777 s Remaining CPU time: 1745.32 s 56.71/56.87 c core #381 56.71/56.87 c Core size: 4 Core Weight: 1 Total Weight: -619 56.71/56.87 c Elapsed CPU time: 54.8277 s Remaining CPU time: 1745.17 s 56.90/57.03 c core #382 56.90/57.03 c Core size: 4 Core Weight: 1 Total Weight: -618 56.90/57.03 c Elapsed CPU time: 54.9806 s Remaining CPU time: 1745.02 s 57.01/57.19 c core #383 57.01/57.19 c Core size: 4 Core Weight: 1 Total Weight: -617 57.01/57.19 c Elapsed CPU time: 55.1306 s Remaining CPU time: 1744.87 s 57.20/57.34 c core #384 57.20/57.34 c Core size: 4 Core Weight: 1 Total Weight: -616 57.20/57.34 c Elapsed CPU time: 55.2796 s Remaining CPU time: 1744.72 s 57.31/57.50 c core #385 57.31/57.50 c Core size: 4 Core Weight: 1 Total Weight: -615 57.31/57.50 c Elapsed CPU time: 55.4276 s Remaining CPU time: 1744.57 s 57.51/57.65 c core #386 57.51/57.65 c Core size: 4 Core Weight: 1 Total Weight: -614 57.51/57.65 c Elapsed CPU time: 55.5766 s Remaining CPU time: 1744.42 s 57.70/57.81 c core #387 57.70/57.81 c Core size: 4 Core Weight: 1 Total Weight: -613 57.70/57.81 c Elapsed CPU time: 55.7285 s Remaining CPU time: 1744.27 s 57.81/57.96 c core #388 57.81/57.96 c Core size: 4 Core Weight: 1 Total Weight: -612 57.81/57.96 c Elapsed CPU time: 55.8775 s Remaining CPU time: 1744.12 s 58.01/58.12 c core #389 58.01/58.12 c Core size: 4 Core Weight: 1 Total Weight: -611 58.01/58.12 c Elapsed CPU time: 56.0265 s Remaining CPU time: 1743.97 s 58.11/58.28 c core #390 58.11/58.28 c Core size: 4 Core Weight: 1 Total Weight: -610 58.11/58.28 c Elapsed CPU time: 56.1815 s Remaining CPU time: 1743.82 s 58.30/58.44 c core #391 58.30/58.44 c Core size: 4 Core Weight: 1 Total Weight: -609 58.30/58.44 c Elapsed CPU time: 56.3334 s Remaining CPU time: 1743.67 s 58.41/58.59 c core #392 58.41/58.59 c Core size: 4 Core Weight: 1 Total Weight: -608 58.41/58.59 c Elapsed CPU time: 56.4794 s Remaining CPU time: 1743.52 s 58.61/58.75 c core #393 58.61/58.75 c Core size: 4 Core Weight: 1 Total Weight: -607 58.61/58.75 c Elapsed CPU time: 56.6344 s Remaining CPU time: 1743.37 s 58.80/58.91 c core #394 58.80/58.91 c Core size: 4 Core Weight: 1 Total Weight: -606 58.80/58.91 c Elapsed CPU time: 56.7874 s Remaining CPU time: 1743.21 s 58.91/59.07 c core #395 58.91/59.07 c Core size: 4 Core Weight: 1 Total Weight: -605 58.91/59.07 c Elapsed CPU time: 56.9413 s Remaining CPU time: 1743.06 s 59.10/59.22 c core #396 59.10/59.22 c Core size: 4 Core Weight: 1 Total Weight: -604 59.10/59.22 c Elapsed CPU time: 57.0933 s Remaining CPU time: 1742.91 s 59.21/59.38 c core #397 59.21/59.38 c Core size: 4 Core Weight: 1 Total Weight: -603 59.21/59.38 c Elapsed CPU time: 57.2433 s Remaining CPU time: 1742.76 s 59.40/59.54 c core #398 59.40/59.54 c Core size: 4 Core Weight: 1 Total Weight: -602 59.40/59.54 c Elapsed CPU time: 57.3973 s Remaining CPU time: 1742.6 s 59.60/59.70 c core #399 59.60/59.70 c Core size: 4 Core Weight: 1 Total Weight: -601 59.60/59.70 c Elapsed CPU time: 57.5483 s Remaining CPU time: 1742.45 s 59.71/59.86 c core #400 59.71/59.86 c Core size: 4 Core Weight: 1 Total Weight: -600 59.71/59.86 c Elapsed CPU time: 57.6982 s Remaining CPU time: 1742.3 s 59.90/60.01 c core #401 59.90/60.01 c Core size: 4 Core Weight: 1 Total Weight: -599 59.90/60.01 c Elapsed CPU time: 57.8512 s Remaining CPU time: 1742.15 s 60.01/60.17 c core #402 60.01/60.17 c Core size: 4 Core Weight: 1 Total Weight: -598 60.01/60.17 c Elapsed CPU time: 57.9982 s Remaining CPU time: 1742 s 60.20/60.33 c core #403 60.20/60.33 c Core size: 4 Core Weight: 1 Total Weight: -597 60.20/60.33 c Elapsed CPU time: 58.1492 s Remaining CPU time: 1741.85 s 60.31/60.49 c core #404 60.31/60.49 c Core size: 4 Core Weight: 1 Total Weight: -596 60.31/60.49 c Elapsed CPU time: 58.3071 s Remaining CPU time: 1741.69 s 60.50/60.65 c core #405 60.50/60.65 c Core size: 4 Core Weight: 1 Total Weight: -595 60.50/60.65 c Elapsed CPU time: 58.4571 s Remaining CPU time: 1741.54 s 60.70/60.80 c core #406 60.70/60.80 c Core size: 4 Core Weight: 1 Total Weight: -594 60.70/60.80 c Elapsed CPU time: 58.6111 s Remaining CPU time: 1741.39 s 60.80/60.96 c core #407 60.80/60.96 c Core size: 4 Core Weight: 1 Total Weight: -593 60.80/60.96 c Elapsed CPU time: 58.7641 s Remaining CPU time: 1741.24 s 61.00/61.12 c core #408 61.00/61.12 c Core size: 4 Core Weight: 1 Total Weight: -592 61.00/61.12 c Elapsed CPU time: 58.919 s Remaining CPU time: 1741.08 s 61.10/61.27 c core #409 61.10/61.27 c Core size: 4 Core Weight: 1 Total Weight: -591 61.10/61.27 c Elapsed CPU time: 59.069 s Remaining CPU time: 1740.93 s 61.30/61.43 c core #410 61.30/61.43 c Core size: 4 Core Weight: 1 Total Weight: -590 61.30/61.43 c Elapsed CPU time: 59.218 s Remaining CPU time: 1740.78 s 61.40/61.58 c core #411 61.40/61.58 c Core size: 4 Core Weight: 1 Total Weight: -589 61.40/61.59 c Elapsed CPU time: 59.369 s Remaining CPU time: 1740.63 s 61.60/61.74 c core #412 61.60/61.74 c Core size: 4 Core Weight: 1 Total Weight: -588 61.60/61.74 c Elapsed CPU time: 59.523 s Remaining CPU time: 1740.48 s 61.80/61.90 c core #413 61.80/61.90 c Core size: 4 Core Weight: 1 Total Weight: -587 61.80/61.90 c Elapsed CPU time: 59.6769 s Remaining CPU time: 1740.32 s 61.90/62.06 c core #414 61.90/62.06 c Core size: 4 Core Weight: 1 Total Weight: -586 61.90/62.06 c Elapsed CPU time: 59.8319 s Remaining CPU time: 1740.17 s 62.10/62.22 c core #415 62.10/62.22 c Core size: 4 Core Weight: 1 Total Weight: -585 62.10/62.22 c Elapsed CPU time: 59.9879 s Remaining CPU time: 1740.01 s 62.20/62.38 c core #416 62.20/62.38 c Core size: 4 Core Weight: 1 Total Weight: -584 62.20/62.38 c Elapsed CPU time: 60.1469 s Remaining CPU time: 1739.85 s 62.40/62.54 c core #417 62.40/62.54 c Core size: 4 Core Weight: 1 Total Weight: -583 62.40/62.54 c Elapsed CPU time: 60.2978 s Remaining CPU time: 1739.7 s 62.50/62.70 c core #418 62.50/62.70 c Core size: 4 Core Weight: 1 Total Weight: -582 62.50/62.70 c Elapsed CPU time: 60.4518 s Remaining CPU time: 1739.55 s 62.70/62.85 c core #419 62.70/62.85 c Core size: 4 Core Weight: 1 Total Weight: -581 62.70/62.85 c Elapsed CPU time: 60.6048 s Remaining CPU time: 1739.4 s 62.90/63.01 c core #420 62.90/63.01 c Core size: 4 Core Weight: 1 Total Weight: -580 62.90/63.01 c Elapsed CPU time: 60.7568 s Remaining CPU time: 1739.24 s 62.99/63.17 c core #421 62.99/63.17 c Core size: 4 Core Weight: 1 Total Weight: -579 62.99/63.17 c Elapsed CPU time: 60.9097 s Remaining CPU time: 1739.09 s 63.20/63.33 c core #422 63.20/63.33 c Core size: 4 Core Weight: 1 Total Weight: -578 63.20/63.33 c Elapsed CPU time: 61.0647 s Remaining CPU time: 1738.94 s 63.30/63.49 c core #423 63.30/63.49 c Core size: 4 Core Weight: 1 Total Weight: -577 63.30/63.49 c Elapsed CPU time: 61.2187 s Remaining CPU time: 1738.78 s 63.50/63.65 c core #424 63.50/63.65 c Core size: 4 Core Weight: 1 Total Weight: -576 63.50/63.65 c Elapsed CPU time: 61.3757 s Remaining CPU time: 1738.62 s 63.70/63.81 c core #425 63.70/63.81 c Core size: 4 Core Weight: 1 Total Weight: -575 63.70/63.81 c Elapsed CPU time: 61.5296 s Remaining CPU time: 1738.47 s 63.80/63.97 c core #426 63.80/63.97 c Core size: 4 Core Weight: 1 Total Weight: -574 63.80/63.97 c Elapsed CPU time: 61.6846 s Remaining CPU time: 1738.32 s 64.00/64.13 c core #427 64.00/64.13 c Core size: 4 Core Weight: 1 Total Weight: -573 64.00/64.13 c Elapsed CPU time: 61.8346 s Remaining CPU time: 1738.17 s 64.09/64.29 c core #428 64.09/64.29 c Core size: 4 Core Weight: 1 Total Weight: -572 64.09/64.29 c Elapsed CPU time: 61.9856 s Remaining CPU time: 1738.01 s 64.30/64.44 c core #429 64.30/64.44 c Core size: 4 Core Weight: 1 Total Weight: -571 64.30/64.44 c Elapsed CPU time: 62.1396 s Remaining CPU time: 1737.86 s 64.49/64.60 c core #430 64.49/64.60 c Core size: 4 Core Weight: 1 Total Weight: -570 64.49/64.60 c Elapsed CPU time: 62.2955 s Remaining CPU time: 1737.7 s 64.60/64.76 c core #431 64.60/64.76 c Core size: 4 Core Weight: 1 Total Weight: -569 64.60/64.76 c Elapsed CPU time: 62.4505 s Remaining CPU time: 1737.55 s 64.80/64.92 c core #432 64.80/64.92 c Core size: 4 Core Weight: 1 Total Weight: -568 64.80/64.92 c Elapsed CPU time: 62.6015 s Remaining CPU time: 1737.4 s 64.89/65.08 c core #433 64.89/65.08 c Core size: 4 Core Weight: 1 Total Weight: -567 64.89/65.08 c Elapsed CPU time: 62.7525 s Remaining CPU time: 1737.25 s 65.09/65.23 c core #434 65.09/65.23 c Core size: 4 Core Weight: 1 Total Weight: -566 65.09/65.23 c Elapsed CPU time: 62.9064 s Remaining CPU time: 1737.09 s 65.19/65.39 c core #435 65.19/65.39 c Core size: 4 Core Weight: 1 Total Weight: -565 65.19/65.39 c Elapsed CPU time: 63.0624 s Remaining CPU time: 1736.94 s 65.40/65.55 c core #436 65.40/65.55 c Core size: 4 Core Weight: 1 Total Weight: -564 65.40/65.55 c Elapsed CPU time: 63.2144 s Remaining CPU time: 1736.79 s 65.60/65.71 c core #437 65.60/65.71 c Core size: 4 Core Weight: 1 Total Weight: -563 65.60/65.71 c Elapsed CPU time: 63.3664 s Remaining CPU time: 1736.63 s 65.69/65.87 c core #438 65.69/65.87 c Core size: 4 Core Weight: 1 Total Weight: -562 65.69/65.87 c Elapsed CPU time: 63.5243 s Remaining CPU time: 1736.48 s 65.90/66.03 c core #439 65.90/66.03 c Core size: 4 Core Weight: 1 Total Weight: -561 65.90/66.03 c Elapsed CPU time: 63.6773 s Remaining CPU time: 1736.32 s 65.99/66.19 c core #440 65.99/66.19 c Core size: 4 Core Weight: 1 Total Weight: -560 65.99/66.20 c Elapsed CPU time: 63.8363 s Remaining CPU time: 1736.16 s 66.19/66.36 c core #441 66.19/66.36 c Core size: 4 Core Weight: 1 Total Weight: -559 66.19/66.36 c Elapsed CPU time: 63.9933 s Remaining CPU time: 1736.01 s 66.39/66.52 c core #442 66.39/66.52 c Core size: 4 Core Weight: 1 Total Weight: -558 66.39/66.52 c Elapsed CPU time: 64.1472 s Remaining CPU time: 1735.85 s 66.50/66.68 c core #443 66.50/66.68 c Core size: 4 Core Weight: 1 Total Weight: -557 66.50/66.68 c Elapsed CPU time: 64.3012 s Remaining CPU time: 1735.7 s 66.69/66.84 c core #444 66.69/66.84 c Core size: 4 Core Weight: 1 Total Weight: -556 66.69/66.84 c Elapsed CPU time: 64.4592 s Remaining CPU time: 1735.54 s 66.89/67.00 c core #445 66.89/67.00 c Core size: 4 Core Weight: 1 Total Weight: -555 66.89/67.00 c Elapsed CPU time: 64.6212 s Remaining CPU time: 1735.38 s 67.00/67.16 c core #446 67.00/67.16 c Core size: 4 Core Weight: 1 Total Weight: -554 67.00/67.16 c Elapsed CPU time: 64.7732 s Remaining CPU time: 1735.23 s 67.19/67.32 c core #447 67.19/67.32 c Core size: 4 Core Weight: 1 Total Weight: -553 67.19/67.32 c Elapsed CPU time: 64.9271 s Remaining CPU time: 1735.07 s 67.29/67.48 c core #448 67.29/67.48 c Core size: 4 Core Weight: 1 Total Weight: -552 67.29/67.48 c Elapsed CPU time: 65.0781 s Remaining CPU time: 1734.92 s 67.49/67.64 c core #449 67.49/67.64 c Core size: 4 Core Weight: 1 Total Weight: -551 67.49/67.64 c Elapsed CPU time: 65.2301 s Remaining CPU time: 1734.77 s 67.69/67.80 c core #450 67.69/67.80 c Core size: 4 Core Weight: 1 Total Weight: -550 67.69/67.80 c Elapsed CPU time: 65.3841 s Remaining CPU time: 1734.62 s 67.79/67.96 c core #451 67.79/67.96 c Core size: 4 Core Weight: 1 Total Weight: -549 67.79/67.96 c Elapsed CPU time: 65.539 s Remaining CPU time: 1734.46 s 68.00/68.12 c core #452 68.00/68.12 c Core size: 4 Core Weight: 1 Total Weight: -548 68.00/68.12 c Elapsed CPU time: 65.694 s Remaining CPU time: 1734.31 s 68.09/68.29 c core #453 68.09/68.29 c Core size: 4 Core Weight: 1 Total Weight: -547 68.09/68.29 c Elapsed CPU time: 65.854 s Remaining CPU time: 1734.15 s 68.29/68.45 c core #454 68.29/68.45 c Core size: 4 Core Weight: 1 Total Weight: -546 68.29/68.45 c Elapsed CPU time: 66.011 s Remaining CPU time: 1733.99 s 68.49/68.61 c core #455 68.49/68.61 c Core size: 4 Core Weight: 1 Total Weight: -545 68.49/68.61 c Elapsed CPU time: 66.1699 s Remaining CPU time: 1733.83 s 68.59/68.77 c core #456 68.59/68.77 c Core size: 4 Core Weight: 1 Total Weight: -544 68.59/68.77 c Elapsed CPU time: 66.3269 s Remaining CPU time: 1733.67 s 68.79/68.93 c core #457 68.79/68.93 c Core size: 4 Core Weight: 1 Total Weight: -543 68.79/68.93 c Elapsed CPU time: 66.4779 s Remaining CPU time: 1733.52 s 68.89/69.09 c core #458 68.89/69.09 c Core size: 4 Core Weight: 1 Total Weight: -542 68.89/69.09 c Elapsed CPU time: 66.6359 s Remaining CPU time: 1733.36 s 69.09/69.26 c core #459 69.09/69.26 c Core size: 4 Core Weight: 1 Total Weight: -541 69.09/69.26 c Elapsed CPU time: 66.7958 s Remaining CPU time: 1733.2 s 69.29/69.42 c core #460 69.29/69.42 c Core size: 4 Core Weight: 1 Total Weight: -540 69.29/69.42 c Elapsed CPU time: 66.9518 s Remaining CPU time: 1733.05 s 69.39/69.58 c core #461 69.39/69.58 c Core size: 4 Core Weight: 1 Total Weight: -539 69.39/69.58 c Elapsed CPU time: 67.1058 s Remaining CPU time: 1732.89 s 69.59/69.74 c core #462 69.59/69.74 c Core size: 4 Core Weight: 1 Total Weight: -538 69.59/69.74 c Elapsed CPU time: 67.2608 s Remaining CPU time: 1732.74 s 69.78/69.90 c core #463 69.78/69.90 c Core size: 4 Core Weight: 1 Total Weight: -537 69.78/69.91 c Elapsed CPU time: 67.4177 s Remaining CPU time: 1732.58 s 69.89/70.07 c core #464 69.89/70.07 c Core size: 4 Core Weight: 1 Total Weight: -536 69.89/70.07 c Elapsed CPU time: 67.5717 s Remaining CPU time: 1732.43 s 70.08/70.23 c core #465 70.08/70.23 c Core size: 4 Core Weight: 1 Total Weight: -535 70.08/70.23 c Elapsed CPU time: 67.7287 s Remaining CPU time: 1732.27 s 70.19/70.39 c core #466 70.19/70.39 c Core size: 4 Core Weight: 1 Total Weight: -534 70.19/70.39 c Elapsed CPU time: 67.8877 s Remaining CPU time: 1732.11 s 70.39/70.55 c core #467 70.39/70.55 c Core size: 4 Core Weight: 1 Total Weight: -533 70.39/70.55 c Elapsed CPU time: 68.0427 s Remaining CPU time: 1731.96 s 70.59/70.71 c core #468 70.59/70.71 c Core size: 4 Core Weight: 1 Total Weight: -532 70.59/70.71 c Elapsed CPU time: 68.2006 s Remaining CPU time: 1731.8 s 70.69/70.88 c core #469 70.69/70.88 c Core size: 4 Core Weight: 1 Total Weight: -531 70.69/70.88 c Elapsed CPU time: 68.3596 s Remaining CPU time: 1731.64 s 70.89/71.04 c core #470 70.89/71.04 c Core size: 4 Core Weight: 1 Total Weight: -530 70.89/71.04 c Elapsed CPU time: 68.5156 s Remaining CPU time: 1731.48 s 71.08/71.20 c core #471 71.08/71.20 c Core size: 4 Core Weight: 1 Total Weight: -529 71.08/71.20 c Elapsed CPU time: 68.6706 s Remaining CPU time: 1731.33 s 71.19/71.37 c core #472 71.19/71.37 c Core size: 4 Core Weight: 1 Total Weight: -528 71.19/71.37 c Elapsed CPU time: 68.8295 s Remaining CPU time: 1731.17 s 71.39/71.53 c core #473 71.39/71.53 c Core size: 4 Core Weight: 1 Total Weight: -527 71.39/71.53 c Elapsed CPU time: 68.9855 s Remaining CPU time: 1731.01 s 71.49/71.69 c core #474 71.49/71.69 c Core size: 4 Core Weight: 1 Total Weight: -526 71.49/71.69 c Elapsed CPU time: 69.1445 s Remaining CPU time: 1730.86 s 71.69/71.85 c core #475 71.69/71.85 c Core size: 4 Core Weight: 1 Total Weight: -525 71.69/71.85 c Elapsed CPU time: 69.2995 s Remaining CPU time: 1730.7 s 71.89/72.02 c core #476 71.89/72.02 c Core size: 4 Core Weight: 1 Total Weight: -524 71.89/72.02 c Elapsed CPU time: 69.4594 s Remaining CPU time: 1730.54 s 71.99/72.18 c core #477 71.99/72.18 c Core size: 4 Core Weight: 1 Total Weight: -523 71.99/72.18 c Elapsed CPU time: 69.6144 s Remaining CPU time: 1730.39 s 72.19/72.35 c core #478 72.19/72.35 c Core size: 4 Core Weight: 1 Total Weight: -522 72.19/72.35 c Elapsed CPU time: 69.7724 s Remaining CPU time: 1730.23 s 72.39/72.51 c core #479 72.39/72.51 c Core size: 4 Core Weight: 1 Total Weight: -521 72.39/72.51 c Elapsed CPU time: 69.9314 s Remaining CPU time: 1730.07 s 72.49/72.67 c core #480 72.49/72.67 c Core size: 4 Core Weight: 1 Total Weight: -520 72.49/72.67 c Elapsed CPU time: 70.0913 s Remaining CPU time: 1729.91 s 72.69/72.84 c core #481 72.69/72.84 c Core size: 4 Core Weight: 1 Total Weight: -519 72.69/72.84 c Elapsed CPU time: 70.2523 s Remaining CPU time: 1729.75 s 72.88/73.00 c core #482 72.88/73.00 c Core size: 4 Core Weight: 1 Total Weight: -518 72.88/73.00 c Elapsed CPU time: 70.4133 s Remaining CPU time: 1729.59 s 72.99/73.16 c core #483 72.99/73.16 c Core size: 4 Core Weight: 1 Total Weight: -517 72.99/73.16 c Elapsed CPU time: 70.5693 s Remaining CPU time: 1729.43 s 73.18/73.33 c core #484 73.18/73.33 c Core size: 4 Core Weight: 1 Total Weight: -516 73.18/73.33 c Elapsed CPU time: 70.7252 s Remaining CPU time: 1729.27 s 73.29/73.49 c core #485 73.29/73.49 c Core size: 4 Core Weight: 1 Total Weight: -515 73.29/73.49 c Elapsed CPU time: 70.8882 s Remaining CPU time: 1729.11 s 73.49/73.66 c core #486 73.49/73.66 c Core size: 4 Core Weight: 1 Total Weight: -514 73.49/73.66 c Elapsed CPU time: 71.0452 s Remaining CPU time: 1728.95 s 73.68/73.82 c core #487 73.68/73.82 c Core size: 4 Core Weight: 1 Total Weight: -513 73.68/73.82 c Elapsed CPU time: 71.2022 s Remaining CPU time: 1728.8 s 73.78/73.98 c core #488 73.78/73.98 c Core size: 4 Core Weight: 1 Total Weight: -512 73.78/73.98 c Elapsed CPU time: 71.3602 s Remaining CPU time: 1728.64 s 73.99/74.15 c core #489 73.99/74.15 c Core size: 4 Core Weight: 1 Total Weight: -511 73.99/74.15 c Elapsed CPU time: 71.5181 s Remaining CPU time: 1728.48 s 74.18/74.31 c core #490 74.18/74.31 c Core size: 4 Core Weight: 1 Total Weight: -510 74.18/74.31 c Elapsed CPU time: 71.6791 s Remaining CPU time: 1728.32 s 74.28/74.47 c core #491 74.28/74.47 c Core size: 4 Core Weight: 1 Total Weight: -509 74.28/74.47 c Elapsed CPU time: 71.8381 s Remaining CPU time: 1728.16 s 74.49/74.64 c core #492 74.49/74.64 c Core size: 4 Core Weight: 1 Total Weight: -508 74.49/74.64 c Elapsed CPU time: 71.9931 s Remaining CPU time: 1728.01 s 74.69/74.80 c core #493 74.69/74.80 c Core size: 4 Core Weight: 1 Total Weight: -507 74.69/74.80 c Elapsed CPU time: 72.157 s Remaining CPU time: 1727.84 s 74.78/74.97 c core #494 74.78/74.97 c Core size: 4 Core Weight: 1 Total Weight: -506 74.78/74.97 c Elapsed CPU time: 72.323 s Remaining CPU time: 1727.68 s 74.99/75.14 c core #495 74.99/75.14 c Core size: 4 Core Weight: 1 Total Weight: -505 74.99/75.14 c Elapsed CPU time: 72.482 s Remaining CPU time: 1727.52 s 75.18/75.31 c core #496 75.18/75.31 c Core size: 9 Core Weight: 1 Total Weight: -504 75.18/75.31 c Elapsed CPU time: 72.644 s Remaining CPU time: 1727.36 s 75.29/75.47 c core #497 75.29/75.47 c Core size: 8 Core Weight: 1 Total Weight: -503 75.29/75.47 c Elapsed CPU time: 72.8009 s Remaining CPU time: 1727.2 s 75.48/75.64 c core #498 75.48/75.64 c Core size: 9 Core Weight: 1 Total Weight: -502 75.48/75.64 c Elapsed CPU time: 72.9659 s Remaining CPU time: 1727.03 s 75.59/75.80 c core #499 75.59/75.80 c Core size: 9 Core Weight: 1 Total Weight: -501 75.59/75.80 c Elapsed CPU time: 73.1239 s Remaining CPU time: 1726.88 s 75.79/75.97 c core #500 75.79/75.97 c Core size: 14 Core Weight: 1 Total Weight: -500 75.79/75.97 c Elapsed CPU time: 73.2859 s Remaining CPU time: 1726.71 s 75.99/76.14 c core #501 75.99/76.14 c Core size: 28 Core Weight: 1 Total Weight: -499 75.99/76.14 c Elapsed CPU time: 73.4528 s Remaining CPU time: 1726.55 s 76.08/76.29 c ============================[ Search Statistics ]============================== 76.08/76.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.08/76.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.08/76.29 c =============================================================================== 76.08/76.29 c | 0 | 2022 78985 191034 | 26328 0 nan | 0.000 % | 76.18/76.31 c =============================================================================== 76.18/76.31 c core #502 76.18/76.31 c Core size: 15 Core Weight: 1 Total Weight: -498 76.18/76.31 c Elapsed CPU time: 73.6128 s Remaining CPU time: 1726.39 s 76.29/76.46 c ============================[ Search Statistics ]============================== 76.29/76.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.29/76.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.29/76.46 c =============================================================================== 76.29/76.46 c | 0 | 2028 78986 191046 | 26328 0 nan | 0.000 % | 76.29/76.47 c =============================================================================== 76.29/76.47 c core #503 76.29/76.47 c Core size: 17 Core Weight: 1 Total Weight: -497 76.29/76.47 c Elapsed CPU time: 73.7808 s Remaining CPU time: 1726.22 s 76.48/76.63 c ============================[ Search Statistics ]============================== 76.48/76.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.48/76.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.48/76.63 c =============================================================================== 76.48/76.63 c | 0 | 2034 78987 191058 | 26329 0 nan | 0.000 % | 76.48/76.64 c =============================================================================== 76.48/76.64 c core #504 76.48/76.64 c Core size: 17 Core Weight: 1 Total Weight: -496 76.48/76.64 c Elapsed CPU time: 73.9428 s Remaining CPU time: 1726.06 s 76.68/76.80 c ============================[ Search Statistics ]============================== 76.68/76.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.68/76.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.68/76.80 c =============================================================================== 76.68/76.80 c | 0 | 2040 78988 191070 | 26329 0 nan | 0.000 % | 76.68/76.81 c =============================================================================== 76.68/76.81 c core #505 76.68/76.81 c Core size: 16 Core Weight: 1 Total Weight: -495 76.68/76.81 c Elapsed CPU time: 74.1087 s Remaining CPU time: 1725.89 s 76.79/76.97 c ============================[ Search Statistics ]============================== 76.79/76.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.79/76.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.79/76.97 c =============================================================================== 76.79/76.97 c | 0 | 2046 78989 191082 | 26329 0 nan | 0.000 % | 76.79/76.98 c =============================================================================== 76.79/76.98 c core #506 76.79/76.98 c Core size: 17 Core Weight: 1 Total Weight: -494 76.79/76.98 c Elapsed CPU time: 74.2677 s Remaining CPU time: 1725.73 s 76.97/77.14 c ============================[ Search Statistics ]============================== 76.97/77.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.97/77.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.97/77.14 c =============================================================================== 76.97/77.14 c | 0 | 2052 78990 191094 | 26330 0 nan | 0.000 % | 76.97/77.15 c =============================================================================== 76.97/77.15 c core #507 76.97/77.15 c Core size: 16 Core Weight: 1 Total Weight: -493 76.97/77.15 c Elapsed CPU time: 74.4277 s Remaining CPU time: 1725.57 s 77.17/77.30 c ============================[ Search Statistics ]============================== 77.17/77.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.17/77.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.17/77.30 c =============================================================================== 77.17/77.30 c | 0 | 2058 78991 191106 | 26330 0 nan | 0.000 % | 77.17/77.32 c =============================================================================== 77.17/77.32 c core #508 77.17/77.32 c Core size: 17 Core Weight: 1 Total Weight: -492 77.17/77.32 c Elapsed CPU time: 74.5887 s Remaining CPU time: 1725.41 s 77.28/77.47 c ============================[ Search Statistics ]============================== 77.28/77.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.28/77.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.28/77.47 c =============================================================================== 77.28/77.47 c | 0 | 2064 78992 191118 | 26330 0 nan | 0.000 % | 77.28/77.49 c =============================================================================== 77.28/77.49 c core #509 77.28/77.49 c Core size: 16 Core Weight: 1 Total Weight: -491 77.28/77.49 c Elapsed CPU time: 74.7566 s Remaining CPU time: 1725.24 s 77.48/77.64 c ============================[ Search Statistics ]============================== 77.48/77.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.48/77.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.48/77.64 c =============================================================================== 77.48/77.64 c | 0 | 2070 78993 191130 | 26331 0 nan | 0.000 % | 77.48/77.65 c =============================================================================== 77.48/77.66 c core #510 77.48/77.66 c Core size: 15 Core Weight: 1 Total Weight: -490 77.48/77.66 c Elapsed CPU time: 74.9226 s Remaining CPU time: 1725.08 s 77.68/77.81 c ============================[ Search Statistics ]============================== 77.68/77.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.68/77.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.68/77.81 c =============================================================================== 77.68/77.81 c | 0 | 2076 78994 191142 | 26331 0 nan | 0.000 % | 77.68/77.82 c =============================================================================== 77.68/77.82 c core #511 77.68/77.82 c Core size: 17 Core Weight: 1 Total Weight: -489 77.68/77.82 c Elapsed CPU time: 75.0816 s Remaining CPU time: 1724.92 s 77.78/77.98 c ============================[ Search Statistics ]============================== 77.78/77.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.78/77.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.78/77.98 c =============================================================================== 77.78/77.98 c | 0 | 2082 78995 191154 | 26331 0 nan | 0.000 % | 77.78/77.99 c =============================================================================== 77.78/77.99 c core #512 77.78/77.99 c Core size: 16 Core Weight: 1 Total Weight: -488 77.78/77.99 c Elapsed CPU time: 75.2436 s Remaining CPU time: 1724.76 s 77.99/78.14 c ============================[ Search Statistics ]============================== 77.99/78.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.99/78.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.99/78.14 c =============================================================================== 77.99/78.14 c | 0 | 2088 78996 191166 | 26332 0 nan | 0.000 % | 77.99/78.16 c =============================================================================== 77.99/78.16 c core #513 77.99/78.16 c Core size: 17 Core Weight: 1 Total Weight: -487 77.99/78.16 c Elapsed CPU time: 75.4045 s Remaining CPU time: 1724.6 s 78.17/78.31 c ============================[ Search Statistics ]============================== 78.17/78.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.17/78.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.17/78.31 c =============================================================================== 78.17/78.31 c | 0 | 2094 78997 191178 | 26332 0 nan | 0.000 % | 78.17/78.32 c =============================================================================== 78.17/78.33 c core #514 78.17/78.33 c Core size: 22 Core Weight: 1 Total Weight: -486 78.17/78.33 c Elapsed CPU time: 75.5675 s Remaining CPU time: 1724.43 s 78.27/78.49 c ============================[ Search Statistics ]============================== 78.27/78.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.27/78.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.27/78.49 c =============================================================================== 78.27/78.49 c | 0 | 2102 78998 191194 | 26332 0 nan | 0.000 % | 78.37/78.50 c =============================================================================== 78.37/78.50 c core #515 78.37/78.50 c Core size: 16 Core Weight: 1 Total Weight: -485 78.37/78.50 c Elapsed CPU time: 75.7385 s Remaining CPU time: 1724.26 s 78.48/78.66 c ============================[ Search Statistics ]============================== 78.48/78.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.48/78.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.48/78.66 c =============================================================================== 78.48/78.66 c | 0 | 2108 78999 191206 | 26333 0 nan | 0.000 % | 78.48/78.67 c =============================================================================== 78.48/78.67 c core #516 78.48/78.67 c Core size: 15 Core Weight: 1 Total Weight: -484 78.48/78.67 c Elapsed CPU time: 75.9035 s Remaining CPU time: 1724.1 s 78.68/78.82 c ============================[ Search Statistics ]============================== 78.68/78.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.68/78.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.68/78.82 c =============================================================================== 78.68/78.82 c | 0 | 2114 79000 191218 | 26333 0 nan | 0.000 % | 78.68/78.84 c =============================================================================== 78.68/78.84 c core #517 78.68/78.84 c Core size: 17 Core Weight: 1 Total Weight: -483 78.68/78.84 c Elapsed CPU time: 76.0624 s Remaining CPU time: 1723.94 s 78.77/78.99 c ============================[ Search Statistics ]============================== 78.77/78.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.77/78.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.77/78.99 c =============================================================================== 78.77/78.99 c | 0 | 2120 79001 191230 | 26333 0 nan | 0.000 % | 78.88/79.00 c =============================================================================== 78.88/79.00 c core #518 78.88/79.00 c Core size: 16 Core Weight: 1 Total Weight: -482 78.88/79.00 c Elapsed CPU time: 76.2164 s Remaining CPU time: 1723.78 s 78.98/79.15 c ============================[ Search Statistics ]============================== 78.98/79.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.98/79.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.98/79.15 c =============================================================================== 78.98/79.15 c | 0 | 2126 79002 191242 | 26334 0 nan | 0.000 % | 78.98/79.16 c =============================================================================== 78.98/79.17 c core #519 78.98/79.17 c Core size: 15 Core Weight: 1 Total Weight: -481 78.98/79.17 c Elapsed CPU time: 76.3764 s Remaining CPU time: 1723.62 s 79.17/79.33 c ============================[ Search Statistics ]============================== 79.17/79.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.17/79.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.17/79.33 c =============================================================================== 79.17/79.33 c | 0 | 2132 79003 191254 | 26334 0 nan | 0.000 % | 79.17/79.34 c =============================================================================== 79.17/79.34 c core #520 79.17/79.34 c Core size: 15 Core Weight: 1 Total Weight: -480 79.17/79.34 c Elapsed CPU time: 76.5464 s Remaining CPU time: 1723.45 s 79.38/79.50 c ============================[ Search Statistics ]============================== 79.38/79.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.38/79.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.38/79.50 c =============================================================================== 79.38/79.50 c | 0 | 2138 79004 191266 | 26334 0 nan | 0.000 % | 79.38/79.51 c =============================================================================== 79.38/79.51 c core #521 79.38/79.51 c Core size: 17 Core Weight: 1 Total Weight: -479 79.38/79.51 c Elapsed CPU time: 76.7183 s Remaining CPU time: 1723.28 s 79.47/79.67 c ============================[ Search Statistics ]============================== 79.47/79.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.47/79.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.47/79.67 c =============================================================================== 79.47/79.67 c | 0 | 2144 79005 191278 | 26335 0 nan | 0.000 % | 79.47/79.69 c =============================================================================== 79.47/79.69 c core #522 79.47/79.69 c Core size: 15 Core Weight: 1 Total Weight: -478 79.47/79.69 c Elapsed CPU time: 76.8843 s Remaining CPU time: 1723.12 s 79.68/79.85 c ============================[ Search Statistics ]============================== 79.68/79.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.68/79.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.68/79.85 c =============================================================================== 79.68/79.85 c | 0 | 2150 79006 191290 | 26335 0 nan | 0.000 % | 79.68/79.86 c =============================================================================== 79.68/79.86 c core #523 79.68/79.86 c Core size: 17 Core Weight: 1 Total Weight: -477 79.68/79.86 c Elapsed CPU time: 77.0523 s Remaining CPU time: 1722.95 s 79.87/80.02 c ============================[ Search Statistics ]============================== 79.87/80.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.87/80.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.87/80.02 c =============================================================================== 79.87/80.02 c | 0 | 2156 79007 191302 | 26335 0 nan | 0.000 % | 79.87/80.03 c =============================================================================== 79.87/80.03 c core #524 79.87/80.03 c Core size: 16 Core Weight: 1 Total Weight: -476 79.87/80.03 c Elapsed CPU time: 77.2223 s Remaining CPU time: 1722.78 s 79.97/80.19 c ============================[ Search Statistics ]============================== 79.97/80.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.97/80.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.97/80.19 c =============================================================================== 79.97/80.19 c | 0 | 2162 79008 191314 | 26336 0 nan | 0.000 % | 80.08/80.21 c =============================================================================== 80.08/80.21 c core #525 80.08/80.21 c Core size: 15 Core Weight: 1 Total Weight: -475 80.08/80.21 c Elapsed CPU time: 77.3902 s Remaining CPU time: 1722.61 s 80.18/80.36 c ============================[ Search Statistics ]============================== 80.18/80.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.18/80.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.18/80.36 c =============================================================================== 80.18/80.36 c | 0 | 2168 79009 191326 | 26336 0 nan | 0.000 % | 80.18/80.37 c =============================================================================== 80.18/80.37 c core #526 80.18/80.37 c Core size: 16 Core Weight: 1 Total Weight: -474 80.18/80.37 c Elapsed CPU time: 77.5512 s Remaining CPU time: 1722.45 s 80.37/80.53 c ============================[ Search Statistics ]============================== 80.37/80.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.37/80.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.37/80.53 c =============================================================================== 80.37/80.53 c | 0 | 2174 79010 191338 | 26336 0 nan | 0.000 % | 80.37/80.54 c =============================================================================== 80.37/80.54 c core #527 80.37/80.54 c Core size: 16 Core Weight: 1 Total Weight: -473 80.37/80.54 c Elapsed CPU time: 77.7132 s Remaining CPU time: 1722.29 s 80.47/80.69 c ============================[ Search Statistics ]============================== 80.47/80.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.47/80.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.47/80.69 c =============================================================================== 80.47/80.69 c | 0 | 2180 79011 191350 | 26337 0 nan | 0.000 % | 80.57/80.70 c =============================================================================== 80.57/80.70 c core #528 80.57/80.70 c Core size: 15 Core Weight: 1 Total Weight: -472 80.57/80.70 c Elapsed CPU time: 77.8712 s Remaining CPU time: 1722.13 s 80.67/80.85 c ============================[ Search Statistics ]============================== 80.67/80.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.67/80.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.67/80.85 c =============================================================================== 80.67/80.85 c | 0 | 2186 79012 191362 | 26337 0 nan | 0.000 % | 80.67/80.87 c =============================================================================== 80.67/80.87 c core #529 80.67/80.87 c Core size: 22 Core Weight: 1 Total Weight: -471 80.67/80.87 c Elapsed CPU time: 78.0311 s Remaining CPU time: 1721.97 s 80.87/81.02 c ============================[ Search Statistics ]============================== 80.87/81.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.87/81.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.87/81.02 c =============================================================================== 80.87/81.02 c | 0 | 2194 79013 191378 | 26337 0 nan | 0.000 % | 80.87/81.04 c =============================================================================== 80.87/81.04 c core #530 80.87/81.04 c Core size: 15 Core Weight: 1 Total Weight: -470 80.87/81.04 c Elapsed CPU time: 78.1921 s Remaining CPU time: 1721.81 s 80.97/81.19 c ============================[ Search Statistics ]============================== 80.97/81.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.97/81.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.97/81.19 c =============================================================================== 80.97/81.19 c | 0 | 2200 79014 191390 | 26338 0 nan | 0.000 % | 81.06/81.20 c =============================================================================== 81.06/81.20 c core #531 81.06/81.20 c Core size: 16 Core Weight: 1 Total Weight: -469 81.06/81.20 c Elapsed CPU time: 78.3531 s Remaining CPU time: 1721.65 s 81.17/81.35 c ============================[ Search Statistics ]============================== 81.17/81.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.17/81.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.17/81.35 c =============================================================================== 81.17/81.35 c | 0 | 2206 79015 191402 | 26338 0 nan | 0.000 % | 81.17/81.37 c =============================================================================== 81.17/81.37 c core #532 81.17/81.37 c Core size: 17 Core Weight: 1 Total Weight: -468 81.17/81.37 c Elapsed CPU time: 78.5111 s Remaining CPU time: 1721.49 s 81.36/81.52 c ============================[ Search Statistics ]============================== 81.36/81.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.36/81.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.36/81.52 c =============================================================================== 81.36/81.52 c | 0 | 2212 79016 191414 | 26338 0 nan | 0.000 % | 81.36/81.53 c =============================================================================== 81.36/81.53 c core #533 81.36/81.53 c Core size: 15 Core Weight: 1 Total Weight: -467 81.36/81.53 c Elapsed CPU time: 78.671 s Remaining CPU time: 1721.33 s 81.46/81.68 c ============================[ Search Statistics ]============================== 81.46/81.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.46/81.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.46/81.68 c =============================================================================== 81.46/81.68 c | 0 | 2218 79017 191426 | 26339 0 nan | 0.000 % | 81.46/81.69 c =============================================================================== 81.46/81.70 c core #534 81.46/81.70 c Core size: 16 Core Weight: 1 Total Weight: -466 81.46/81.70 c Elapsed CPU time: 78.833 s Remaining CPU time: 1721.17 s 81.66/81.85 c ============================[ Search Statistics ]============================== 81.66/81.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.66/81.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.66/81.85 c =============================================================================== 81.66/81.85 c | 0 | 2224 79018 191438 | 26339 0 nan | 0.000 % | 81.66/81.86 c =============================================================================== 81.66/81.86 c core #535 81.66/81.86 c Core size: 15 Core Weight: 1 Total Weight: -465 81.66/81.86 c Elapsed CPU time: 78.992 s Remaining CPU time: 1721.01 s 81.87/82.02 c ============================[ Search Statistics ]============================== 81.87/82.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.87/82.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.87/82.02 c =============================================================================== 81.87/82.02 c | 0 | 2230 79019 191450 | 26339 0 nan | 0.000 % | 81.87/82.03 c =============================================================================== 81.87/82.03 c core #536 81.87/82.03 c Core size: 21 Core Weight: 1 Total Weight: -464 81.87/82.03 c Elapsed CPU time: 79.153 s Remaining CPU time: 1720.85 s 81.96/82.18 c ============================[ Search Statistics ]============================== 81.96/82.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.96/82.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.96/82.18 c =============================================================================== 81.96/82.18 c | 0 | 2238 79020 191466 | 26340 0 nan | 0.000 % | 81.96/82.19 c =============================================================================== 81.96/82.19 c core #537 81.96/82.19 c Core size: 16 Core Weight: 1 Total Weight: -463 81.96/82.19 c Elapsed CPU time: 79.3109 s Remaining CPU time: 1720.69 s 82.17/82.35 c ============================[ Search Statistics ]============================== 82.17/82.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.17/82.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.17/82.35 c =============================================================================== 82.17/82.35 c | 0 | 2244 79021 191478 | 26340 0 nan | 0.000 % | 82.17/82.36 c =============================================================================== 82.17/82.36 c core #538 82.17/82.36 c Core size: 17 Core Weight: 1 Total Weight: -462 82.17/82.36 c Elapsed CPU time: 79.4719 s Remaining CPU time: 1720.53 s 82.36/82.52 c ============================[ Search Statistics ]============================== 82.36/82.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.36/82.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.36/82.52 c =============================================================================== 82.36/82.52 c | 0 | 2250 79022 191490 | 26340 0 nan | 0.000 % | 82.36/82.53 c =============================================================================== 82.36/82.53 c core #539 82.36/82.53 c Core size: 15 Core Weight: 1 Total Weight: -461 82.36/82.53 c Elapsed CPU time: 79.6329 s Remaining CPU time: 1720.37 s 82.46/82.68 c ============================[ Search Statistics ]============================== 82.46/82.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.46/82.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.46/82.68 c =============================================================================== 82.46/82.68 c | 0 | 2256 79023 191502 | 26341 0 nan | 0.000 % | 82.46/82.69 c =============================================================================== 82.46/82.70 c core #540 82.46/82.70 c Core size: 15 Core Weight: 1 Total Weight: -460 82.56/82.70 c Elapsed CPU time: 79.7919 s Remaining CPU time: 1720.21 s 82.65/82.85 c ============================[ Search Statistics ]============================== 82.65/82.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.65/82.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.65/82.85 c =============================================================================== 82.65/82.85 c | 0 | 2262 79024 191514 | 26341 0 nan | 0.000 % | 82.65/82.86 c =============================================================================== 82.65/82.86 c core #541 82.65/82.86 c Core size: 16 Core Weight: 1 Total Weight: -459 82.65/82.86 c Elapsed CPU time: 79.9518 s Remaining CPU time: 1720.05 s 82.86/83.02 c ============================[ Search Statistics ]============================== 82.86/83.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.86/83.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.86/83.02 c =============================================================================== 82.86/83.02 c | 0 | 2268 79025 191526 | 26341 0 nan | 0.000 % | 82.86/83.03 c =============================================================================== 82.86/83.03 c core #542 82.86/83.03 c Core size: 15 Core Weight: 1 Total Weight: -458 82.86/83.03 c Elapsed CPU time: 80.1118 s Remaining CPU time: 1719.89 s 82.95/83.18 c ============================[ Search Statistics ]============================== 82.95/83.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.95/83.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.95/83.18 c =============================================================================== 82.95/83.18 c | 0 | 2274 79026 191538 | 26342 0 nan | 0.000 % | 83.05/83.20 c =============================================================================== 83.05/83.20 c core #543 83.05/83.20 c Core size: 16 Core Weight: 1 Total Weight: -457 83.05/83.20 c Elapsed CPU time: 80.2768 s Remaining CPU time: 1719.72 s 83.16/83.35 c ============================[ Search Statistics ]============================== 83.16/83.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.16/83.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.16/83.35 c =============================================================================== 83.16/83.35 c | 0 | 2280 79027 191550 | 26342 0 nan | 0.000 % | 83.16/83.36 c =============================================================================== 83.16/83.36 c core #544 83.16/83.36 c Core size: 21 Core Weight: 1 Total Weight: -456 83.16/83.36 c Elapsed CPU time: 80.4338 s Remaining CPU time: 1719.57 s 83.36/83.51 c ============================[ Search Statistics ]============================== 83.36/83.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.36/83.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.36/83.51 c =============================================================================== 83.36/83.51 c | 0 | 2288 79028 191566 | 26342 0 nan | 0.000 % | 83.36/83.53 c =============================================================================== 83.36/83.53 c core #545 83.36/83.53 c Core size: 16 Core Weight: 1 Total Weight: -455 83.36/83.53 c Elapsed CPU time: 80.5967 s Remaining CPU time: 1719.4 s 83.46/83.68 c ============================[ Search Statistics ]============================== 83.46/83.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.46/83.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.46/83.68 c =============================================================================== 83.46/83.68 c | 0 | 2294 79029 191578 | 26343 0 nan | 0.000 % | 83.46/83.69 c =============================================================================== 83.46/83.69 c core #546 83.46/83.69 c Core size: 21 Core Weight: 1 Total Weight: -454 83.46/83.69 c Elapsed CPU time: 80.7597 s Remaining CPU time: 1719.24 s 83.66/83.85 c ============================[ Search Statistics ]============================== 83.66/83.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.66/83.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.66/83.85 c =============================================================================== 83.66/83.85 c | 0 | 2302 79030 191594 | 26343 0 nan | 0.000 % | 83.66/83.86 c =============================================================================== 83.66/83.86 c core #547 83.66/83.86 c Core size: 17 Core Weight: 1 Total Weight: -453 83.66/83.86 c Elapsed CPU time: 80.9197 s Remaining CPU time: 1719.08 s 83.85/84.01 c ============================[ Search Statistics ]============================== 83.85/84.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.85/84.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.85/84.01 c =============================================================================== 83.85/84.01 c | 0 | 2308 79031 191606 | 26343 0 nan | 0.000 % | 83.85/84.02 c =============================================================================== 83.85/84.02 c core #548 83.85/84.02 c Core size: 16 Core Weight: 1 Total Weight: -452 83.85/84.02 c Elapsed CPU time: 81.0797 s Remaining CPU time: 1718.92 s 83.96/84.18 c ============================[ Search Statistics ]============================== 83.96/84.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.96/84.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.96/84.18 c =============================================================================== 83.96/84.18 c | 0 | 2314 79032 191618 | 26344 0 nan | 0.000 % | 83.96/84.19 c =============================================================================== 83.96/84.19 c core #549 83.96/84.19 c Core size: 21 Core Weight: 1 Total Weight: -451 83.96/84.19 c Elapsed CPU time: 81.2386 s Remaining CPU time: 1718.76 s 84.15/84.34 c ============================[ Search Statistics ]============================== 84.15/84.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.15/84.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.15/84.34 c =============================================================================== 84.15/84.34 c | 0 | 2322 79033 191634 | 26344 0 nan | 0.000 % | 84.15/84.36 c =============================================================================== 84.15/84.36 c core #550 84.15/84.36 c Core size: 27 Core Weight: 1 Total Weight: -450 84.15/84.36 c Elapsed CPU time: 81.3966 s Remaining CPU time: 1718.6 s 84.35/84.52 c ============================[ Search Statistics ]============================== 84.35/84.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.35/84.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.35/84.52 c =============================================================================== 84.35/84.52 c | 0 | 2332 79034 191654 | 26344 0 nan | 0.000 % | 84.35/84.53 c =============================================================================== 84.35/84.53 c core #551 84.35/84.53 c Core size: 27 Core Weight: 1 Total Weight: -449 84.35/84.53 c Elapsed CPU time: 81.5666 s Remaining CPU time: 1718.43 s 84.46/84.69 c ============================[ Search Statistics ]============================== 84.46/84.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.46/84.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.46/84.69 c =============================================================================== 84.46/84.69 c | 0 | 2342 79035 191674 | 26345 0 nan | 0.000 % | 84.46/84.70 c =============================================================================== 84.56/84.70 c core #552 84.56/84.70 c Core size: 17 Core Weight: 1 Total Weight: -448 84.56/84.70 c Elapsed CPU time: 81.7316 s Remaining CPU time: 1718.27 s 84.65/84.85 c ============================[ Search Statistics ]============================== 84.65/84.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.65/84.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.65/84.86 c =============================================================================== 84.65/84.86 c | 0 | 2348 79036 191686 | 26345 0 nan | 0.000 % | 84.65/84.87 c =============================================================================== 84.65/84.87 c core #553 84.65/84.87 c Core size: 21 Core Weight: 1 Total Weight: -447 84.65/84.87 c Elapsed CPU time: 81.8915 s Remaining CPU time: 1718.11 s 84.85/85.02 c ============================[ Search Statistics ]============================== 84.85/85.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.85/85.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.85/85.02 c =============================================================================== 84.85/85.02 c | 0 | 2356 79037 191702 | 26345 0 nan | 0.000 % | 84.85/85.03 c =============================================================================== 84.85/85.03 c core #554 84.85/85.03 c Core size: 16 Core Weight: 1 Total Weight: -446 84.85/85.03 c Elapsed CPU time: 82.0515 s Remaining CPU time: 1717.95 s 84.95/85.19 c ============================[ Search Statistics ]============================== 84.95/85.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.95/85.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.95/85.19 c =============================================================================== 84.95/85.19 c | 0 | 2362 79038 191714 | 26346 0 nan | 0.000 % | 85.04/85.20 c =============================================================================== 85.04/85.20 c core #555 85.04/85.20 c Core size: 43 Core Weight: 1 Total Weight: -445 85.04/85.20 c Elapsed CPU time: 82.2105 s Remaining CPU time: 1717.79 s 85.15/85.35 c ============================[ Search Statistics ]============================== 85.15/85.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.15/85.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.15/85.35 c =============================================================================== 85.15/85.35 c | 0 | 2378 79039 191746 | 26346 0 nan | 0.000 % | 85.15/85.36 c =============================================================================== 85.15/85.36 c core #556 85.15/85.36 c Core size: 21 Core Weight: 1 Total Weight: -444 85.15/85.36 c Elapsed CPU time: 82.3715 s Remaining CPU time: 1717.63 s 85.34/85.52 c ============================[ Search Statistics ]============================== 85.34/85.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.34/85.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.34/85.52 c =============================================================================== 85.34/85.52 c | 0 | 2386 79040 191762 | 26346 0 nan | 0.000 % | 85.34/85.53 c =============================================================================== 85.34/85.53 c core #557 85.34/85.53 c Core size: 27 Core Weight: 1 Total Weight: -443 85.34/85.53 c Elapsed CPU time: 82.5305 s Remaining CPU time: 1717.47 s 85.45/85.68 c ============================[ Search Statistics ]============================== 85.45/85.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.45/85.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.45/85.68 c =============================================================================== 85.45/85.68 c | 0 | 2396 79041 191782 | 26347 0 nan | 0.000 % | 85.45/85.70 c =============================================================================== 85.45/85.70 c core #558 85.45/85.70 c Core size: 17 Core Weight: 1 Total Weight: -442 85.45/85.70 c Elapsed CPU time: 82.6944 s Remaining CPU time: 1717.31 s 85.65/85.85 c ============================[ Search Statistics ]============================== 85.65/85.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.65/85.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.65/85.85 c =============================================================================== 85.65/85.85 c | 0 | 2402 79042 191794 | 26347 0 nan | 0.000 % | 85.65/85.86 c =============================================================================== 85.65/85.86 c core #559 85.65/85.86 c Core size: 16 Core Weight: 1 Total Weight: -441 85.65/85.86 c Elapsed CPU time: 82.8544 s Remaining CPU time: 1717.15 s 85.84/86.01 c ============================[ Search Statistics ]============================== 85.84/86.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.84/86.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.84/86.01 c =============================================================================== 85.84/86.01 c | 0 | 2408 79043 191806 | 26347 0 nan | 0.000 % | 85.84/86.03 c =============================================================================== 85.84/86.03 c core #560 85.84/86.03 c Core size: 27 Core Weight: 1 Total Weight: -440 85.84/86.03 c Elapsed CPU time: 83.0134 s Remaining CPU time: 1716.99 s 85.95/86.18 c ============================[ Search Statistics ]============================== 85.95/86.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.95/86.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.95/86.18 c =============================================================================== 85.95/86.18 c | 0 | 2418 79044 191826 | 26348 0 nan | 0.000 % | 85.95/86.19 c =============================================================================== 85.95/86.19 c core #561 85.95/86.19 c Core size: 22 Core Weight: 1 Total Weight: -439 85.95/86.19 c Elapsed CPU time: 83.1744 s Remaining CPU time: 1716.83 s 86.14/86.34 c ============================[ Search Statistics ]============================== 86.14/86.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.14/86.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.14/86.34 c =============================================================================== 86.14/86.34 c | 0 | 2426 79045 191842 | 26348 0 nan | 0.000 % | 86.14/86.35 c =============================================================================== 86.14/86.35 c core #562 86.14/86.35 c Core size: 21 Core Weight: 1 Total Weight: -438 86.14/86.35 c Elapsed CPU time: 83.3323 s Remaining CPU time: 1716.67 s 86.35/86.51 c ============================[ Search Statistics ]============================== 86.35/86.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.35/86.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.35/86.51 c =============================================================================== 86.35/86.51 c | 0 | 2434 79046 191858 | 26348 0 nan | 0.000 % | 86.35/86.52 c =============================================================================== 86.35/86.52 c core #563 86.35/86.52 c Core size: 16 Core Weight: 1 Total Weight: -437 86.35/86.52 c Elapsed CPU time: 83.4923 s Remaining CPU time: 1716.51 s 86.44/86.67 c ============================[ Search Statistics ]============================== 86.44/86.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.44/86.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.44/86.67 c =============================================================================== 86.44/86.67 c | 0 | 2440 79047 191870 | 26349 0 nan | 0.000 % | 86.44/86.68 c =============================================================================== 86.44/86.69 c core #564 86.44/86.69 c Core size: 17 Core Weight: 1 Total Weight: -436 86.44/86.69 c Elapsed CPU time: 83.6493 s Remaining CPU time: 1716.35 s 86.65/86.84 c ============================[ Search Statistics ]============================== 86.65/86.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.65/86.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.65/86.84 c =============================================================================== 86.65/86.84 c | 0 | 2446 79048 191882 | 26349 0 nan | 0.000 % | 86.65/86.85 c =============================================================================== 86.65/86.85 c core #565 86.65/86.85 c Core size: 27 Core Weight: 1 Total Weight: -435 86.65/86.85 c Elapsed CPU time: 83.8083 s Remaining CPU time: 1716.19 s 86.84/87.00 c ============================[ Search Statistics ]============================== 86.84/87.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.84/87.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.84/87.00 c =============================================================================== 86.84/87.00 c | 0 | 2456 79049 191902 | 26349 0 nan | 0.000 % | 86.84/87.01 c =============================================================================== 86.84/87.02 c core #566 86.84/87.02 c Core size: 21 Core Weight: 1 Total Weight: -434 86.84/87.02 c Elapsed CPU time: 83.9672 s Remaining CPU time: 1716.03 s 86.94/87.17 c ============================[ Search Statistics ]============================== 86.94/87.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.94/87.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.94/87.17 c =============================================================================== 86.94/87.17 c | 0 | 2464 79050 191918 | 26350 0 nan | 0.000 % | 86.94/87.18 c =============================================================================== 86.94/87.18 c core #567 86.94/87.18 c Core size: 21 Core Weight: 1 Total Weight: -433 86.94/87.18 c Elapsed CPU time: 84.1232 s Remaining CPU time: 1715.88 s 87.14/87.34 c ============================[ Search Statistics ]============================== 87.14/87.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.14/87.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.14/87.34 c =============================================================================== 87.14/87.34 c | 0 | 2472 79051 191934 | 26350 0 nan | 0.000 % | 87.14/87.35 c =============================================================================== 87.14/87.35 c core #568 87.14/87.35 c Core size: 15 Core Weight: 1 Total Weight: -432 87.14/87.35 c Elapsed CPU time: 84.2872 s Remaining CPU time: 1715.71 s 87.34/87.50 c ============================[ Search Statistics ]============================== 87.34/87.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.34/87.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.34/87.50 c =============================================================================== 87.34/87.50 c | 0 | 2478 79052 191946 | 26350 0 nan | 0.000 % | 87.34/87.51 c =============================================================================== 87.34/87.51 c core #569 87.34/87.51 c Core size: 21 Core Weight: 1 Total Weight: -431 87.34/87.51 c Elapsed CPU time: 84.4462 s Remaining CPU time: 1715.55 s 87.44/87.67 c ============================[ Search Statistics ]============================== 87.44/87.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.44/87.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.44/87.67 c =============================================================================== 87.44/87.67 c | 0 | 2486 79053 191962 | 26351 0 nan | 0.000 % | 87.44/87.68 c =============================================================================== 87.44/87.68 c core #570 87.44/87.68 c Core size: 15 Core Weight: 1 Total Weight: -430 87.44/87.68 c Elapsed CPU time: 84.6071 s Remaining CPU time: 1715.39 s 87.64/87.83 c ============================[ Search Statistics ]============================== 87.64/87.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.64/87.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.64/87.83 c =============================================================================== 87.64/87.83 c | 0 | 2492 79054 191974 | 26351 0 nan | 0.000 % | 87.64/87.85 c =============================================================================== 87.64/87.85 c core #571 87.64/87.85 c Core size: 16 Core Weight: 1 Total Weight: -429 87.64/87.85 c Elapsed CPU time: 84.7651 s Remaining CPU time: 1715.23 s 87.84/88.00 c ============================[ Search Statistics ]============================== 87.84/88.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.84/88.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.84/88.00 c =============================================================================== 87.84/88.00 c | 0 | 2498 79055 191986 | 26351 0 nan | 0.000 % | 87.84/88.01 c =============================================================================== 87.84/88.02 c core #572 87.84/88.02 c Core size: 21 Core Weight: 1 Total Weight: -428 87.84/88.02 c Elapsed CPU time: 84.9291 s Remaining CPU time: 1715.07 s 87.94/88.17 c ============================[ Search Statistics ]============================== 87.94/88.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.94/88.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.94/88.17 c =============================================================================== 87.94/88.17 c | 0 | 2506 79056 192002 | 26352 0 nan | 0.000 % | 87.94/88.18 c =============================================================================== 87.94/88.18 c core #573 87.94/88.18 c Core size: 15 Core Weight: 1 Total Weight: -427 87.94/88.18 c Elapsed CPU time: 85.0891 s Remaining CPU time: 1714.91 s 88.13/88.34 c ============================[ Search Statistics ]============================== 88.13/88.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.13/88.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.13/88.34 c =============================================================================== 88.13/88.34 c | 0 | 2512 79057 192014 | 26352 0 nan | 0.000 % | 88.13/88.35 c =============================================================================== 88.13/88.35 c core #574 88.13/88.35 c Core size: 22 Core Weight: 1 Total Weight: -426 88.13/88.35 c Elapsed CPU time: 85.253 s Remaining CPU time: 1714.75 s 88.34/88.51 c ============================[ Search Statistics ]============================== 88.34/88.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.34/88.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.34/88.51 c =============================================================================== 88.34/88.51 c | 0 | 2520 79058 192030 | 26352 0 nan | 0.000 % | 88.34/88.52 c =============================================================================== 88.34/88.52 c core #575 88.34/88.52 c Core size: 15 Core Weight: 1 Total Weight: -425 88.34/88.52 c Elapsed CPU time: 85.412 s Remaining CPU time: 1714.59 s 88.43/88.67 c ============================[ Search Statistics ]============================== 88.43/88.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.43/88.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.43/88.67 c =============================================================================== 88.43/88.67 c | 0 | 2526 79059 192042 | 26353 0 nan | 0.000 % | 88.43/88.68 c =============================================================================== 88.43/88.69 c core #576 88.43/88.69 c Core size: 15 Core Weight: 1 Total Weight: -424 88.43/88.69 c Elapsed CPU time: 85.573 s Remaining CPU time: 1714.43 s 88.63/88.84 c ============================[ Search Statistics ]============================== 88.63/88.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.63/88.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.63/88.84 c =============================================================================== 88.63/88.84 c | 0 | 2532 79060 192054 | 26353 0 nan | 0.000 % | 88.63/88.85 c =============================================================================== 88.63/88.85 c core #577 88.63/88.85 c Core size: 21 Core Weight: 1 Total Weight: -423 88.63/88.85 c Elapsed CPU time: 85.733 s Remaining CPU time: 1714.27 s 88.84/89.00 c ============================[ Search Statistics ]============================== 88.84/89.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.84/89.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.84/89.00 c =============================================================================== 88.84/89.00 c | 0 | 2540 79061 192070 | 26353 0 nan | 0.000 % | 88.84/89.02 c =============================================================================== 88.84/89.02 c core #578 88.84/89.02 c Core size: 15 Core Weight: 1 Total Weight: -422 88.84/89.02 c Elapsed CPU time: 85.8909 s Remaining CPU time: 1714.11 s 88.94/89.18 c ============================[ Search Statistics ]============================== 88.94/89.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.94/89.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.94/89.18 c =============================================================================== 88.94/89.18 c | 0 | 2546 79062 192082 | 26354 0 nan | 0.000 % | 88.94/89.19 c =============================================================================== 88.94/89.19 c core #579 88.94/89.19 c Core size: 15 Core Weight: 1 Total Weight: -421 88.94/89.19 c Elapsed CPU time: 86.0599 s Remaining CPU time: 1713.94 s 89.14/89.35 c ============================[ Search Statistics ]============================== 89.14/89.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.14/89.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.14/89.35 c =============================================================================== 89.14/89.35 c | 0 | 2552 79063 192094 | 26354 0 nan | 0.000 % | 89.14/89.36 c =============================================================================== 89.14/89.36 c core #580 89.14/89.36 c Core size: 16 Core Weight: 1 Total Weight: -420 89.14/89.36 c Elapsed CPU time: 86.2279 s Remaining CPU time: 1713.77 s 89.33/89.53 c ============================[ Search Statistics ]============================== 89.33/89.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.33/89.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.33/89.53 c =============================================================================== 89.33/89.53 c | 0 | 2558 79064 192106 | 26354 0 nan | 0.000 % | 89.33/89.54 c =============================================================================== 89.33/89.54 c core #581 89.33/89.54 c Core size: 15 Core Weight: 1 Total Weight: -419 89.33/89.54 c Elapsed CPU time: 86.3959 s Remaining CPU time: 1713.6 s 89.53/89.70 c ============================[ Search Statistics ]============================== 89.53/89.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.53/89.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.53/89.70 c =============================================================================== 89.53/89.70 c | 0 | 2564 79065 192118 | 26355 0 nan | 0.000 % | 89.53/89.71 c =============================================================================== 89.53/89.71 c core #582 89.53/89.71 c Core size: 21 Core Weight: 1 Total Weight: -418 89.53/89.71 c Elapsed CPU time: 86.5618 s Remaining CPU time: 1713.44 s 89.64/89.88 c ============================[ Search Statistics ]============================== 89.64/89.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.64/89.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.64/89.88 c =============================================================================== 89.64/89.88 c | 0 | 2572 79066 192134 | 26355 0 nan | 0.000 % | 89.64/89.89 c =============================================================================== 89.64/89.89 c core #583 89.64/89.89 c Core size: 21 Core Weight: 1 Total Weight: -417 89.64/89.89 c Elapsed CPU time: 86.7288 s Remaining CPU time: 1713.27 s 89.84/90.05 c ============================[ Search Statistics ]============================== 89.84/90.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.84/90.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.84/90.05 c =============================================================================== 89.84/90.05 c | 0 | 2580 79067 192150 | 26355 0 nan | 0.000 % | 89.84/90.06 c =============================================================================== 89.84/90.06 c core #584 89.84/90.06 c Core size: 17 Core Weight: 1 Total Weight: -416 89.84/90.06 c Elapsed CPU time: 86.8978 s Remaining CPU time: 1713.1 s 90.03/90.23 c ============================[ Search Statistics ]============================== 90.03/90.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.03/90.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.03/90.23 c =============================================================================== 90.03/90.23 c | 0 | 2586 79068 192162 | 26356 0 nan | 0.000 % | 90.03/90.24 c =============================================================================== 90.03/90.24 c core #585 90.03/90.24 c Core size: 27 Core Weight: 1 Total Weight: -415 90.03/90.24 c Elapsed CPU time: 87.0658 s Remaining CPU time: 1712.93 s 90.23/90.40 c ============================[ Search Statistics ]============================== 90.23/90.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.23/90.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.23/90.40 c =============================================================================== 90.23/90.40 c | 0 | 2596 79069 192182 | 26356 0 nan | 0.000 % | 90.23/90.41 c =============================================================================== 90.23/90.41 c core #586 90.23/90.41 c Core size: 15 Core Weight: 1 Total Weight: -414 90.23/90.41 c Elapsed CPU time: 87.2317 s Remaining CPU time: 1712.77 s 90.33/90.57 c ============================[ Search Statistics ]============================== 90.33/90.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.33/90.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.33/90.57 c =============================================================================== 90.33/90.57 c | 0 | 2602 79070 192194 | 26356 0 nan | 0.000 % | 90.33/90.59 c =============================================================================== 90.33/90.59 c core #587 90.33/90.59 c Core size: 20 Core Weight: 1 Total Weight: -413 90.33/90.59 c Elapsed CPU time: 87.3997 s Remaining CPU time: 1712.6 s 90.53/90.75 c ============================[ Search Statistics ]============================== 90.53/90.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.53/90.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.53/90.75 c =============================================================================== 90.53/90.75 c | 0 | 2610 79071 192210 | 26357 0 nan | 0.000 % | 90.53/90.76 c =============================================================================== 90.53/90.76 c core #588 90.53/90.76 c Core size: 17 Core Weight: 1 Total Weight: -412 90.53/90.76 c Elapsed CPU time: 87.5697 s Remaining CPU time: 1712.43 s 90.73/90.93 c ============================[ Search Statistics ]============================== 90.73/90.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.73/90.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.73/90.93 c =============================================================================== 90.73/90.93 c | 0 | 2616 79072 192222 | 26357 0 nan | 0.000 % | 90.73/90.94 c =============================================================================== 90.73/90.94 c core #589 90.73/90.94 c Core size: 27 Core Weight: 1 Total Weight: -411 90.73/90.94 c Elapsed CPU time: 87.7417 s Remaining CPU time: 1712.26 s 90.93/91.10 c ============================[ Search Statistics ]============================== 90.93/91.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.93/91.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.93/91.10 c =============================================================================== 90.93/91.10 c | 0 | 2626 79073 192242 | 26357 0 nan | 0.000 % | 90.93/91.11 c =============================================================================== 90.93/91.11 c core #590 90.93/91.11 c Core size: 15 Core Weight: 1 Total Weight: -410 90.93/91.11 c Elapsed CPU time: 87.9136 s Remaining CPU time: 1712.09 s 91.03/91.28 c ============================[ Search Statistics ]============================== 91.03/91.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.03/91.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.03/91.28 c =============================================================================== 91.03/91.28 c | 0 | 2632 79074 192254 | 26358 0 nan | 0.000 % | 91.03/91.29 c =============================================================================== 91.03/91.29 c core #591 91.03/91.29 c Core size: 22 Core Weight: 1 Total Weight: -409 91.03/91.29 c Elapsed CPU time: 88.0786 s Remaining CPU time: 1711.92 s 91.23/91.44 c ============================[ Search Statistics ]============================== 91.23/91.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.23/91.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.23/91.44 c =============================================================================== 91.23/91.44 c | 0 | 2640 79075 192270 | 26358 0 nan | 0.000 % | 91.23/91.45 c =============================================================================== 91.23/91.45 c core #592 91.23/91.45 c Core size: 27 Core Weight: 1 Total Weight: -408 91.23/91.45 c Elapsed CPU time: 88.2396 s Remaining CPU time: 1711.76 s 91.42/91.61 c ============================[ Search Statistics ]============================== 91.42/91.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.42/91.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.42/91.61 c =============================================================================== 91.42/91.61 c | 0 | 2650 79076 192290 | 26358 0 nan | 0.000 % | 91.42/91.62 c =============================================================================== 91.42/91.62 c core #593 91.42/91.62 c Core size: 15 Core Weight: 1 Total Weight: -407 91.42/91.62 c Elapsed CPU time: 88.3976 s Remaining CPU time: 1711.6 s 91.53/91.77 c ============================[ Search Statistics ]============================== 91.53/91.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.53/91.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.53/91.77 c =============================================================================== 91.53/91.77 c | 0 | 2656 79077 192302 | 26359 0 nan | 0.000 % | 91.53/91.78 c =============================================================================== 91.53/91.78 c core #594 91.53/91.78 c Core size: 22 Core Weight: 1 Total Weight: -406 91.53/91.78 c Elapsed CPU time: 88.5585 s Remaining CPU time: 1711.44 s 91.72/91.94 c ============================[ Search Statistics ]============================== 91.72/91.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.72/91.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.72/91.94 c =============================================================================== 91.72/91.94 c | 0 | 2664 79078 192318 | 26359 0 nan | 0.000 % | 91.72/91.95 c =============================================================================== 91.72/91.95 c core #595 91.72/91.95 c Core size: 21 Core Weight: 1 Total Weight: -405 91.72/91.95 c Elapsed CPU time: 88.7195 s Remaining CPU time: 1711.28 s 91.93/92.10 c ============================[ Search Statistics ]============================== 91.93/92.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.93/92.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.93/92.10 c =============================================================================== 91.93/92.10 c | 0 | 2672 79079 192334 | 26359 0 nan | 0.000 % | 91.93/92.12 c =============================================================================== 91.93/92.12 c core #596 91.93/92.12 c Core size: 21 Core Weight: 1 Total Weight: -404 91.93/92.12 c Elapsed CPU time: 88.8805 s Remaining CPU time: 1711.12 s 92.02/92.27 c ============================[ Search Statistics ]============================== 92.02/92.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.02/92.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.02/92.27 c =============================================================================== 92.02/92.27 c | 0 | 2680 79080 192350 | 26360 0 nan | 0.000 % | 92.02/92.28 c =============================================================================== 92.02/92.28 c core #597 92.02/92.28 c Core size: 22 Core Weight: 1 Total Weight: -403 92.02/92.28 c Elapsed CPU time: 89.0395 s Remaining CPU time: 1710.96 s 92.23/92.44 c ============================[ Search Statistics ]============================== 92.23/92.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.23/92.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.23/92.44 c =============================================================================== 92.23/92.44 c | 0 | 2688 79081 192366 | 26360 0 nan | 0.000 % | 92.23/92.45 c =============================================================================== 92.23/92.45 c core #598 92.23/92.45 c Core size: 20 Core Weight: 1 Total Weight: -402 92.23/92.45 c Elapsed CPU time: 89.1974 s Remaining CPU time: 1710.8 s 92.43/92.60 c ============================[ Search Statistics ]============================== 92.43/92.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.43/92.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.43/92.60 c =============================================================================== 92.43/92.60 c | 0 | 2696 79082 192382 | 26360 0 nan | 0.000 % | 92.43/92.61 c =============================================================================== 92.43/92.61 c core #599 92.43/92.61 c Core size: 22 Core Weight: 1 Total Weight: -401 92.43/92.61 c Elapsed CPU time: 89.3534 s Remaining CPU time: 1710.65 s 92.52/92.76 c ============================[ Search Statistics ]============================== 92.52/92.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.52/92.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.52/92.76 c =============================================================================== 92.52/92.76 c | 0 | 2704 79083 192398 | 26361 0 nan | 0.000 % | 92.52/92.78 c =============================================================================== 92.52/92.78 c core #600 92.52/92.78 c Core size: 16 Core Weight: 1 Total Weight: -400 92.52/92.78 c Elapsed CPU time: 89.5134 s Remaining CPU time: 1710.49 s 92.72/92.93 c ============================[ Search Statistics ]============================== 92.72/92.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.72/92.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.72/92.93 c =============================================================================== 92.72/92.93 c | 0 | 2710 79084 192410 | 26361 0 nan | 0.000 % | 92.72/92.94 c =============================================================================== 92.72/92.94 c core #601 92.72/92.94 c Core size: 25 Core Weight: 1 Total Weight: -399 92.72/92.94 c Elapsed CPU time: 89.6704 s Remaining CPU time: 1710.33 s 92.82/93.10 c ============================[ Search Statistics ]============================== 92.82/93.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.82/93.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.82/93.10 c =============================================================================== 92.82/93.10 c | 0 | 2720 79085 192430 | 26361 0 nan | 0.000 % | 92.92/93.11 c =============================================================================== 92.92/93.11 c core #602 92.92/93.11 c Core size: 17 Core Weight: 1 Total Weight: -398 92.92/93.11 c Elapsed CPU time: 89.8323 s Remaining CPU time: 1710.17 s 93.02/93.26 c ============================[ Search Statistics ]============================== 93.02/93.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.02/93.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.02/93.26 c =============================================================================== 93.02/93.26 c | 0 | 2726 79086 192442 | 26362 0 nan | 0.000 % | 93.02/93.27 c =============================================================================== 93.02/93.27 c core #603 93.02/93.27 c Core size: 22 Core Weight: 1 Total Weight: -397 93.02/93.27 c Elapsed CPU time: 89.9923 s Remaining CPU time: 1710.01 s 93.22/93.43 c ============================[ Search Statistics ]============================== 93.22/93.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.22/93.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.22/93.43 c =============================================================================== 93.22/93.43 c | 0 | 2734 79087 192458 | 26362 0 nan | 0.000 % | 93.22/93.44 c =============================================================================== 93.22/93.44 c core #604 93.22/93.44 c Core size: 27 Core Weight: 1 Total Weight: -396 93.22/93.44 c Elapsed CPU time: 90.1513 s Remaining CPU time: 1709.85 s 93.32/93.59 c ============================[ Search Statistics ]============================== 93.32/93.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.32/93.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.32/93.59 c =============================================================================== 93.32/93.59 c | 0 | 2744 79088 192478 | 26362 0 nan | 0.000 % | 93.42/93.61 c =============================================================================== 93.42/93.61 c core #605 93.42/93.61 c Core size: 27 Core Weight: 1 Total Weight: -395 93.42/93.61 c Elapsed CPU time: 90.3123 s Remaining CPU time: 1709.69 s 93.52/93.76 c ============================[ Search Statistics ]============================== 93.52/93.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.52/93.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.52/93.76 c =============================================================================== 93.52/93.76 c | 0 | 2754 79089 192498 | 26363 0 nan | 0.000 % | 93.52/93.77 c =============================================================================== 93.52/93.77 c core #606 93.52/93.77 c Core size: 27 Core Weight: 1 Total Weight: -394 93.52/93.77 c Elapsed CPU time: 90.4732 s Remaining CPU time: 1709.53 s 93.72/93.93 c ============================[ Search Statistics ]============================== 93.72/93.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.72/93.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.72/93.93 c =============================================================================== 93.72/93.93 c | 0 | 2764 79090 192518 | 26363 0 nan | 0.000 % | 93.72/93.94 c =============================================================================== 93.72/93.94 c core #607 93.72/93.94 c Core size: 22 Core Weight: 1 Total Weight: -393 93.72/93.94 c Elapsed CPU time: 90.6362 s Remaining CPU time: 1709.36 s 93.82/94.09 c ============================[ Search Statistics ]============================== 93.82/94.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.82/94.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.82/94.09 c =============================================================================== 93.82/94.09 c | 0 | 2772 79091 192534 | 26363 0 nan | 0.000 % | 93.92/94.10 c =============================================================================== 93.92/94.10 c core #608 93.92/94.10 c Core size: 27 Core Weight: 1 Total Weight: -392 93.92/94.10 c Elapsed CPU time: 90.7982 s Remaining CPU time: 1709.2 s 94.02/94.26 c ============================[ Search Statistics ]============================== 94.02/94.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.02/94.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.02/94.26 c =============================================================================== 94.02/94.26 c | 0 | 2782 79092 192554 | 26364 0 nan | 0.000 % | 94.02/94.27 c =============================================================================== 94.02/94.27 c core #609 94.02/94.27 c Core size: 26 Core Weight: 1 Total Weight: -391 94.02/94.27 c Elapsed CPU time: 90.9612 s Remaining CPU time: 1709.04 s 94.22/94.42 c ============================[ Search Statistics ]============================== 94.22/94.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.22/94.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.22/94.42 c =============================================================================== 94.22/94.42 c | 0 | 2792 79093 192574 | 26364 0 nan | 0.000 % | 94.22/94.43 c =============================================================================== 94.22/94.43 c core #610 94.22/94.43 c Core size: 22 Core Weight: 1 Total Weight: -390 94.22/94.43 c Elapsed CPU time: 91.1201 s Remaining CPU time: 1708.88 s 94.32/94.58 c ============================[ Search Statistics ]============================== 94.32/94.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.32/94.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.32/94.58 c =============================================================================== 94.32/94.58 c | 0 | 2800 79094 192590 | 26364 0 nan | 0.000 % | 94.32/94.60 c =============================================================================== 94.32/94.60 c core #611 94.32/94.60 c Core size: 27 Core Weight: 1 Total Weight: -389 94.32/94.60 c Elapsed CPU time: 91.2771 s Remaining CPU time: 1708.72 s 94.52/94.75 c ============================[ Search Statistics ]============================== 94.52/94.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.52/94.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.52/94.75 c =============================================================================== 94.52/94.75 c | 0 | 2810 79095 192610 | 26365 0 nan | 0.000 % | 94.52/94.76 c =============================================================================== 94.52/94.76 c core #612 94.52/94.76 c Core size: 27 Core Weight: 1 Total Weight: -388 94.52/94.76 c Elapsed CPU time: 91.4361 s Remaining CPU time: 1708.56 s 94.71/94.92 c ============================[ Search Statistics ]============================== 94.71/94.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.71/94.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.71/94.92 c =============================================================================== 94.71/94.92 c | 0 | 2820 79096 192630 | 26365 0 nan | 0.000 % | 94.71/94.93 c =============================================================================== 94.71/94.93 c core #613 94.71/94.93 c Core size: 27 Core Weight: 1 Total Weight: -387 94.71/94.93 c Elapsed CPU time: 91.6001 s Remaining CPU time: 1708.4 s 94.82/95.09 c ============================[ Search Statistics ]============================== 94.82/95.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.82/95.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.82/95.09 c =============================================================================== 94.82/95.09 c | 0 | 2830 79097 192650 | 26365 0 nan | 0.000 % | 94.92/95.10 c =============================================================================== 94.92/95.10 c core #614 94.92/95.10 c Core size: 20 Core Weight: 1 Total Weight: -386 94.92/95.10 c Elapsed CPU time: 91.763 s Remaining CPU time: 1708.24 s 95.01/95.25 c ============================[ Search Statistics ]============================== 95.01/95.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.01/95.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.01/95.25 c =============================================================================== 95.01/95.25 c | 0 | 2838 79098 192666 | 26366 0 nan | 0.000 % | 95.01/95.26 c =============================================================================== 95.01/95.26 c core #615 95.01/95.26 c Core size: 25 Core Weight: 1 Total Weight: -385 95.01/95.26 c Elapsed CPU time: 91.925 s Remaining CPU time: 1708.07 s 95.21/95.42 c ============================[ Search Statistics ]============================== 95.21/95.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.21/95.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.21/95.42 c =============================================================================== 95.21/95.42 c | 0 | 2848 79099 192686 | 26366 0 nan | 0.000 % | 95.21/95.43 c =============================================================================== 95.21/95.43 c core #616 95.21/95.43 c Core size: 27 Core Weight: 1 Total Weight: -384 95.21/95.43 c Elapsed CPU time: 92.091 s Remaining CPU time: 1707.91 s 95.32/95.59 c ============================[ Search Statistics ]============================== 95.32/95.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.32/95.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.32/95.59 c =============================================================================== 95.32/95.59 c | 0 | 2858 79100 192706 | 26366 0 nan | 0.000 % | 95.32/95.60 c =============================================================================== 95.32/95.60 c core #617 95.32/95.60 c Core size: 32 Core Weight: 1 Total Weight: -383 95.32/95.60 c Elapsed CPU time: 92.252 s Remaining CPU time: 1707.75 s 95.52/95.76 c ============================[ Search Statistics ]============================== 95.52/95.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.52/95.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.52/95.76 c =============================================================================== 95.52/95.76 c | 0 | 2870 79101 192730 | 26367 0 nan | 0.000 % | 95.52/95.77 c =============================================================================== 95.52/95.77 c core #618 95.52/95.77 c Core size: 26 Core Weight: 1 Total Weight: -382 95.52/95.77 c Elapsed CPU time: 92.418 s Remaining CPU time: 1707.58 s 95.71/95.93 c ============================[ Search Statistics ]============================== 95.71/95.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.71/95.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.71/95.93 c =============================================================================== 95.71/95.93 c | 0 | 2880 79102 192750 | 26367 0 nan | 0.000 % | 95.71/95.94 c =============================================================================== 95.71/95.94 c core #619 95.71/95.94 c Core size: 27 Core Weight: 1 Total Weight: -381 95.71/95.94 c Elapsed CPU time: 92.5799 s Remaining CPU time: 1707.42 s 95.81/96.09 c ============================[ Search Statistics ]============================== 95.81/96.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.81/96.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.81/96.09 c =============================================================================== 95.81/96.09 c | 0 | 2890 79103 192770 | 26367 0 nan | 0.000 % | 95.91/96.11 c =============================================================================== 95.91/96.11 c core #620 95.91/96.11 c Core size: 37 Core Weight: 1 Total Weight: -380 95.91/96.11 c Elapsed CPU time: 92.7379 s Remaining CPU time: 1707.26 s 96.01/96.26 c ============================[ Search Statistics ]============================== 96.01/96.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.01/96.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.01/96.26 c =============================================================================== 96.01/96.26 c | 0 | 2904 79104 192798 | 26368 0 nan | 0.000 % | 96.01/96.27 c =============================================================================== 96.01/96.27 c core #621 96.01/96.27 c Core size: 29 Core Weight: 1 Total Weight: -379 96.01/96.27 c Elapsed CPU time: 92.8989 s Remaining CPU time: 1707.1 s 96.21/96.43 c ============================[ Search Statistics ]============================== 96.21/96.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.21/96.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.21/96.43 c =============================================================================== 96.21/96.43 c | 0 | 2915 79105 192820 | 26368 0 nan | 0.000 % | 96.21/96.44 c =============================================================================== 96.21/96.44 c core #622 96.21/96.44 c Core size: 22 Core Weight: 1 Total Weight: -378 96.21/96.44 c Elapsed CPU time: 93.0619 s Remaining CPU time: 1706.94 s 96.40/96.60 c ============================[ Search Statistics ]============================== 96.40/96.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.40/96.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.40/96.60 c =============================================================================== 96.40/96.60 c | 0 | 2923 79106 192836 | 26368 0 nan | 0.000 % | 96.40/96.61 c =============================================================================== 96.40/96.61 c core #623 96.40/96.61 c Core size: 31 Core Weight: 1 Total Weight: -377 96.40/96.61 c Elapsed CPU time: 93.2238 s Remaining CPU time: 1706.78 s 96.51/96.77 c ============================[ Search Statistics ]============================== 96.51/96.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.51/96.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.51/96.77 c =============================================================================== 96.51/96.77 c | 0 | 2935 79107 192860 | 26369 0 nan | 0.000 % | 96.51/96.78 c =============================================================================== 96.51/96.78 c core #624 96.51/96.78 c Core size: 35 Core Weight: 1 Total Weight: -376 96.51/96.78 c Elapsed CPU time: 93.3858 s Remaining CPU time: 1706.61 s 96.71/96.94 c ============================[ Search Statistics ]============================== 96.71/96.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.71/96.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.71/96.94 c =============================================================================== 96.71/96.94 c | 0 | 2949 79108 192888 | 26369 0 nan | 0.000 % | 96.71/96.95 c =============================================================================== 96.71/96.95 c core #625 96.71/96.95 c Core size: 35 Core Weight: 1 Total Weight: -375 96.71/96.95 c Elapsed CPU time: 93.5488 s Remaining CPU time: 1706.45 s 96.90/97.10 c ============================[ Search Statistics ]============================== 96.90/97.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.90/97.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.90/97.10 c =============================================================================== 96.90/97.10 c | 0 | 2963 79109 192916 | 26369 0 nan | 0.000 % | 96.90/97.12 c =============================================================================== 96.90/97.12 c core #626 96.90/97.12 c Core size: 37 Core Weight: 1 Total Weight: -374 96.90/97.12 c Elapsed CPU time: 93.7088 s Remaining CPU time: 1706.29 s 97.01/97.27 c ============================[ Search Statistics ]============================== 97.01/97.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.01/97.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.01/97.27 c =============================================================================== 97.01/97.27 c | 0 | 2976 79110 192942 | 26370 0 nan | 0.000 % | 97.01/97.28 c =============================================================================== 97.01/97.28 c core #627 97.01/97.28 c Core size: 82 Core Weight: 1 Total Weight: -373 97.01/97.28 c Elapsed CPU time: 93.8737 s Remaining CPU time: 1706.13 s 97.21/97.45 c ============================[ Search Statistics ]============================== 97.21/97.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.21/97.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.21/97.45 c =============================================================================== 97.21/97.45 c | 0 | 3006 79111 193002 | 26370 0 nan | 0.000 % | 97.21/97.47 c =============================================================================== 97.21/97.47 c core #628 97.21/97.47 c Core size: 178 Core Weight: 1 Total Weight: -372 97.21/97.47 c Elapsed CPU time: 94.0507 s Remaining CPU time: 1705.95 s 97.40/97.63 c ============================[ Search Statistics ]============================== 97.40/97.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.40/97.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.40/97.63 c =============================================================================== 97.40/97.63 c | 0 | 3060 79112 193110 | 26370 0 nan | 0.000 % | 97.40/97.65 c | 101 | 3060 79112 193110 | 29007 101 23 | 92.500 % | 97.40/97.66 c | 253 | 3060 79112 193110 | 31908 253 28 | 92.500 % | 97.40/97.68 c =============================================================================== 97.40/97.68 c core #629 97.40/97.68 c Core size: 231 Core Weight: 1 Total Weight: -371 97.40/97.68 c Elapsed CPU time: 94.2607 s Remaining CPU time: 1705.74 s 97.61/97.83 c ============================[ Search Statistics ]============================== 97.61/97.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.61/97.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.61/97.83 c =============================================================================== 97.61/97.83 c | 0 | 3124 79113 193238 | 26371 0 nan | 0.000 % | 97.61/97.85 c =============================================================================== 97.61/97.85 c core #630 97.61/97.85 c Core size: 136 Core Weight: 1 Total Weight: -370 97.61/97.85 c Elapsed CPU time: 94.4276 s Remaining CPU time: 1705.57 s 97.80/98.01 c ============================[ Search Statistics ]============================== 97.80/98.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.80/98.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.80/98.01 c =============================================================================== 97.80/98.01 c | 0 | 3166 79114 193322 | 26371 0 nan | 0.000 % | 97.80/98.03 c | 100 | 3166 79114 193322 | 29008 100 68 | 92.261 % | 97.80/98.04 c | 250 | 3166 79114 193322 | 31909 250 62 | 92.261 % | 97.80/98.07 c | 481 | 3166 79114 193322 | 35100 481 70 | 92.261 % | 97.90/98.12 c | 823 | 3166 79114 193322 | 38610 823 84 | 92.261 % | 98.01/98.21 c | 1331 | 3166 79114 193322 | 42471 1331 85 | 92.261 % | 98.11/98.35 c | 2092 | 3166 79114 193322 | 46718 2092 100 | 92.261 % | 98.40/98.62 c | 3231 | 3165 79114 193322 | 51390 3227 113 | 92.263 % | 98.40/98.69 c =============================================================================== 98.50/98.72 c core #631 98.50/98.72 c Core size: 543 Core Weight: 1 Total Weight: -369 98.50/98.72 c Elapsed CPU time: 95.2855 s Remaining CPU time: 1704.71 s 98.61/98.89 c ============================[ Search Statistics ]============================== 98.61/98.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.61/98.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.61/98.89 c =============================================================================== 98.61/98.89 c | 0 | 3282 79115 193554 | 26371 0 nan | 0.000 % | 98.71/98.92 c | 101 | 3282 79115 193554 | 29008 101 86 | 92.000 % | 98.71/98.94 c | 252 | 3282 79115 193554 | 31909 252 96 | 92.000 % | 98.71/98.96 c | 477 | 3282 79115 193554 | 35100 477 64 | 92.000 % | 98.71/98.96 c =============================================================================== 98.71/98.96 c core #632 98.71/98.96 c Core size: 165 Core Weight: 1 Total Weight: -368 98.71/98.96 c Elapsed CPU time: 95.5085 s Remaining CPU time: 1704.49 s 98.90/99.11 c ============================[ Search Statistics ]============================== 98.90/99.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.90/99.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.90/99.11 c =============================================================================== 98.90/99.11 c | 0 | 3327 79116 193644 | 26372 0 nan | 0.000 % | 98.90/99.13 c | 101 | 3327 79116 193644 | 29009 101 18 | 91.899 % | 98.90/99.15 c | 253 | 3327 79116 193644 | 31910 253 30 | 91.899 % | 98.90/99.16 c | 480 | 3327 79116 193644 | 35101 480 34 | 91.899 % | 99.00/99.20 c | 817 | 3327 79116 193644 | 38611 817 36 | 91.899 % | 99.00/99.23 c =============================================================================== 99.00/99.24 c core #633 99.00/99.24 c Core size: 312 Core Weight: 1 Total Weight: -367 99.00/99.24 c Elapsed CPU time: 95.7784 s Remaining CPU time: 1704.22 s 99.20/99.40 c ============================[ Search Statistics ]============================== 99.20/99.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.20/99.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.20/99.40 c =============================================================================== 99.20/99.40 c | 0 | 3399 79117 193788 | 26372 0 nan | 0.000 % | 99.20/99.42 c | 103 | 3399 79117 193788 | 29009 103 45 | 91.738 % | 99.20/99.44 c | 253 | 3399 79117 193788 | 31910 253 41 | 91.738 % | 99.20/99.45 c | 480 | 3399 79117 193788 | 35101 480 38 | 91.738 % | 99.20/99.48 c | 817 | 3399 79117 193788 | 38611 817 46 | 91.738 % | 99.30/99.53 c | 1324 | 3172 79117 193788 | 42472 1097 46 | 92.443 % | 99.30/99.57 c =============================================================================== 99.30/99.57 c core #634 99.30/99.57 c Core size: 285 Core Weight: 1 Total Weight: -366 99.30/99.57 c Elapsed CPU time: 96.1044 s Remaining CPU time: 1703.9 s 99.50/99.73 c ============================[ Search Statistics ]============================== 99.50/99.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.50/99.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.50/99.73 c =============================================================================== 99.50/99.73 c | 0 | 3481 79118 193952 | 26372 0 nan | 0.000 % | 99.50/99.76 c | 102 | 3481 79118 193952 | 29009 102 83 | 91.556 % | 99.50/99.77 c =============================================================================== 99.50/99.77 c core #635 99.50/99.77 c Core size: 121 Core Weight: 1 Total Weight: -365 99.50/99.77 c Elapsed CPU time: 96.3004 s Remaining CPU time: 1703.7 s 99.70/99.93 c ============================[ Search Statistics ]============================== 99.70/99.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.70/99.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.70/99.93 c =============================================================================== 99.70/99.93 c | 0 | 3517 79119 194024 | 26373 0 nan | 0.000 % | 99.70/99.96 c | 101 | 3517 79119 194024 | 29010 101 39 | 91.476 % | 99.70/99.97 c | 251 | 3517 79119 194024 | 31911 251 31 | 91.476 % | 99.70/99.98 c | 477 | 3517 79119 194024 | 35102 477 31 | 91.476 % | 99.80/100.00 c =============================================================================== 99.80/100.01 c core #636 99.80/100.01 c Core size: 299 Core Weight: 1 Total Weight: -364 99.80/100.01 c Elapsed CPU time: 96.5253 s Remaining CPU time: 1703.47 s 99.90/100.17 c ============================[ Search Statistics ]============================== 99.90/100.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.90/100.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.90/100.17 c =============================================================================== 99.90/100.17 c | 0 | 3581 79120 194152 | 26373 0 nan | 0.000 % | 99.90/100.19 c | 100 | 3581 79120 194152 | 29010 100 13 | 91.334 % | 100.00/100.20 c | 251 | 3581 79120 194152 | 31911 251 13 | 91.334 % | 100.00/100.21 c =============================================================================== 100.00/100.21 c core #637 100.00/100.21 c Core size: 291 Core Weight: 1 Total Weight: -363 100.00/100.21 c Elapsed CPU time: 96.7253 s Remaining CPU time: 1703.27 s 100.10/100.37 c ============================[ Search Statistics ]============================== 100.10/100.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.10/100.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.10/100.37 c =============================================================================== 100.10/100.37 c | 0 | 3649 79121 194288 | 26373 0 nan | 0.000 % | 100.20/100.40 c | 100 | 3649 79121 194288 | 29011 100 64 | 91.184 % | 100.20/100.41 c | 250 | 3620 79121 194288 | 31912 250 39 | 92.494 % | 100.20/100.41 c =============================================================================== 100.20/100.41 c core #638 100.20/100.41 c Core size: 193 Core Weight: 1 Total Weight: -362 100.20/100.41 c Elapsed CPU time: 96.9133 s Remaining CPU time: 1703.09 s 100.30/100.57 c ============================[ Search Statistics ]============================== 100.30/100.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.30/100.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.30/100.57 c =============================================================================== 100.30/100.57 c | 0 | 3702 79122 194394 | 26374 0 nan | 0.000 % | 100.30/100.59 c | 100 | 3702 79122 194394 | 29011 100 22 | 91.067 % | 100.40/100.60 c | 253 | 3702 79122 194394 | 31912 253 35 | 91.067 % | 100.40/100.62 c | 479 | 3699 79122 194394 | 35103 479 37 | 91.075 % | 100.40/100.62 c =============================================================================== 100.40/100.62 c core #639 100.40/100.62 c Core size: 279 Core Weight: 1 Total Weight: -361 100.40/100.62 c Elapsed CPU time: 97.1162 s Remaining CPU time: 1702.88 s 100.50/100.78 c ============================[ Search Statistics ]============================== 100.50/100.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.50/100.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.50/100.78 c =============================================================================== 100.50/100.78 c | 0 | 3761 79123 194512 | 26374 0 nan | 0.000 % | 100.60/100.80 c | 100 | 3761 79123 194512 | 29011 100 20 | 90.938 % | 100.60/100.81 c | 250 | 3761 79123 194512 | 31912 250 25 | 90.938 % | 100.60/100.83 c | 477 | 3761 79123 194512 | 35104 477 37 | 90.938 % | 100.60/100.87 c | 815 | 3761 79123 194512 | 38614 815 53 | 90.938 % | 100.70/100.93 c | 1321 | 3761 79123 194512 | 42476 1321 71 | 90.938 % | 100.80/101.02 c | 2081 | 3760 79123 194512 | 46723 2070 69 | 90.940 % | 100.80/101.06 c =============================================================================== 100.80/101.06 c core #640 100.80/101.06 c Core size: 380 Core Weight: 1 Total Weight: -360 100.80/101.06 c Elapsed CPU time: 97.5432 s Remaining CPU time: 1702.46 s 101.00/101.22 c ============================[ Search Statistics ]============================== 101.00/101.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.00/101.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.00/101.22 c =============================================================================== 101.00/101.22 c | 0 | 3845 79124 194680 | 26374 0 nan | 0.000 % | 101.00/101.25 c | 100 | 3845 79124 194680 | 29012 100 25 | 90.754 % | 101.00/101.26 c | 252 | 3845 79124 194680 | 31913 252 25 | 90.754 % | 101.00/101.27 c | 477 | 3845 79124 194680 | 35104 477 29 | 90.754 % | 101.09/101.30 c =============================================================================== 101.09/101.31 c core #641 101.09/101.31 c Core size: 382 Core Weight: 1 Total Weight: -359 101.09/101.31 c Elapsed CPU time: 97.7761 s Remaining CPU time: 1702.22 s 101.20/101.47 c ============================[ Search Statistics ]============================== 101.20/101.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.20/101.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.20/101.47 c =============================================================================== 101.20/101.47 c | 0 | 3919 79125 194828 | 26375 0 nan | 0.000 % | 101.20/101.49 c | 101 | 3919 79125 194828 | 29012 101 19 | 90.593 % | 101.30/101.50 c | 251 | 3919 79125 194828 | 31913 251 14 | 90.593 % | 101.30/101.51 c | 476 | 3919 79125 194828 | 35105 476 20 | 90.593 % | 101.30/101.55 c =============================================================================== 101.30/101.55 c core #642 101.30/101.55 c Core size: 475 Core Weight: 1 Total Weight: -358 101.30/101.55 c Elapsed CPU time: 98.0131 s Remaining CPU time: 1701.99 s 101.50/101.71 c ============================[ Search Statistics ]============================== 101.50/101.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.50/101.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.50/101.71 c =============================================================================== 101.50/101.71 c | 0 | 4020 79126 195030 | 26375 0 nan | 0.000 % | 101.50/101.74 c | 100 | 4020 79126 195030 | 29012 100 28 | 90.374 % | 101.50/101.75 c | 250 | 4020 79126 195030 | 31914 250 26 | 90.374 % | 101.50/101.77 c | 476 | 4020 79126 195030 | 35105 476 40 | 90.374 % | 101.60/101.80 c =============================================================================== 101.60/101.81 c core #643 101.60/101.81 c Core size: 452 Core Weight: 1 Total Weight: -357 101.60/101.81 c Elapsed CPU time: 98.2601 s Remaining CPU time: 1701.74 s 101.69/101.96 c ============================[ Search Statistics ]============================== 101.69/101.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.69/101.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.69/101.97 c =============================================================================== 101.69/101.97 c | 0 | 4104 79127 195198 | 26375 0 nan | 0.000 % | 101.69/101.99 c | 102 | 4104 79127 195198 | 29013 102 143 | 90.193 % | 101.80/102.00 c | 254 | 4104 79127 195198 | 31914 254 71 | 90.193 % | 101.80/102.02 c | 479 | 4104 79127 195198 | 35106 479 52 | 90.193 % | 101.80/102.06 c | 818 | 4104 79127 195198 | 38616 818 56 | 90.193 % | 101.90/102.11 c | 1324 | 4104 79127 195198 | 42478 1324 64 | 90.193 % | 101.90/102.19 c | 2083 | 4104 79127 195198 | 46726 2083 67 | 90.193 % | 102.10/102.33 c | 3223 | 4104 79127 195198 | 51398 3223 76 | 90.193 % | 102.29/102.56 c | 4932 | 4103 79127 195198 | 56538 4928 78 | 90.195 % | 102.80/103.03 c | 7494 | 4094 79127 195198 | 62192 7490 96 | 90.217 % | 103.00/103.27 c =============================================================================== 103.10/103.31 c core #644 103.10/103.31 c Core size: 706 Core Weight: 1 Total Weight: -356 103.10/103.31 c Elapsed CPU time: 99.7418 s Remaining CPU time: 1700.26 s 103.20/103.48 c ============================[ Search Statistics ]============================== 103.20/103.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.20/103.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.20/103.48 c =============================================================================== 103.20/103.48 c | 0 | 4240 79128 195470 | 26376 0 nan | 0.000 % | 103.29/103.51 c | 102 | 4240 79128 195470 | 29013 102 21 | 89.900 % | 103.29/103.52 c | 253 | 4240 79128 195470 | 31914 253 18 | 89.900 % | 103.29/103.53 c | 479 | 4240 79128 195470 | 35106 479 18 | 89.900 % | 103.29/103.55 c | 816 | 4240 79128 195470 | 38617 816 23 | 89.900 % | 103.29/103.59 c | 1322 | 4240 79128 195470 | 42478 1322 29 | 89.900 % | 103.39/103.65 c =============================================================================== 103.39/103.66 c core #645 103.39/103.66 c Core size: 472 Core Weight: 1 Total Weight: -355 103.39/103.66 c Elapsed CPU time: 100.08 s Remaining CPU time: 1699.92 s 103.59/103.82 c ============================[ Search Statistics ]============================== 103.59/103.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.59/103.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.59/103.82 c =============================================================================== 103.59/103.82 c | 0 | 4328 79129 195646 | 26376 0 nan | 0.000 % | 103.59/103.84 c | 103 | 4328 79129 195646 | 29013 103 23 | 89.712 % | 103.59/103.85 c | 253 | 4328 79129 195646 | 31915 253 15 | 89.712 % | 103.59/103.87 c | 478 | 4328 79129 195646 | 35106 478 23 | 89.712 % | 103.59/103.89 c | 815 | 4328 79129 195646 | 38617 815 31 | 89.712 % | 103.69/103.94 c | 1321 | 4328 79129 195646 | 42479 1321 36 | 89.712 % | 103.79/104.03 c | 2082 | 4327 79129 195646 | 46727 2080 47 | 89.715 % | 103.90/104.18 c =============================================================================== 103.99/104.21 c core #646 103.99/104.21 c Core size: 730 Core Weight: 1 Total Weight: -354 103.99/104.21 c Elapsed CPU time: 100.624 s Remaining CPU time: 1699.38 s 104.09/104.37 c ============================[ Search Statistics ]============================== 104.09/104.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.09/104.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.09/104.37 c =============================================================================== 104.09/104.37 c | 0 | 4444 79130 195878 | 26376 0 nan | 0.000 % | 104.09/104.40 c | 100 | 4444 79130 195878 | 29014 100 37 | 89.466 % | 104.19/104.41 c | 251 | 4444 79130 195878 | 31915 251 27 | 89.466 % | 104.19/104.42 c | 482 | 4444 79130 195878 | 35107 482 22 | 89.466 % | 104.19/104.45 c | 819 | 4444 79130 195878 | 38618 819 24 | 89.466 % | 104.19/104.49 c | 1325 | 4444 79130 195878 | 42479 1325 25 | 89.466 % | 104.29/104.58 c | 2087 | 4443 79130 195878 | 46727 2072 36 | 89.468 % | 104.49/104.74 c =============================================================================== 104.49/104.76 c core #647 104.49/104.76 c Core size: 611 Core Weight: 1 Total Weight: -353 104.49/104.76 c Elapsed CPU time: 101.161 s Remaining CPU time: 1698.84 s 104.69/104.92 c ============================[ Search Statistics ]============================== 104.69/104.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.69/104.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.69/104.92 c =============================================================================== 104.69/104.92 c | 0 | 4546 79131 196082 | 26377 0 nan | 0.000 % | 104.69/104.95 c | 100 | 4546 79131 196082 | 29014 100 21 | 89.250 % | 104.69/104.96 c | 250 | 4546 79131 196082 | 31916 250 19 | 89.250 % | 104.69/104.97 c | 476 | 4546 79131 196082 | 35107 476 20 | 89.250 % | 104.69/105.00 c | 817 | 4546 79131 196082 | 38618 817 25 | 89.250 % | 104.79/105.04 c | 1325 | 4546 79131 196082 | 42480 1325 31 | 89.250 % | 104.89/105.14 c =============================================================================== 104.89/105.16 c core #648 104.89/105.16 c Core size: 668 Core Weight: 1 Total Weight: -352 104.89/105.16 c Elapsed CPU time: 101.543 s Remaining CPU time: 1698.46 s 105.09/105.32 c ============================[ Search Statistics ]============================== 105.09/105.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.09/105.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.09/105.32 c =============================================================================== 105.09/105.32 c | 0 | 4654 79132 196298 | 26377 0 nan | 0.000 % | 105.09/105.35 c | 103 | 4654 79132 196298 | 29015 103 75 | 89.023 % | 105.09/105.36 c | 253 | 4654 79132 196298 | 31916 253 38 | 89.023 % | 105.09/105.37 c | 480 | 4654 79132 196298 | 35108 480 32 | 89.023 % | 105.19/105.40 c | 819 | 4654 79132 196298 | 38619 819 32 | 89.023 % | 105.19/105.45 c | 1325 | 4654 79132 196298 | 42480 1325 37 | 89.023 % | 105.29/105.54 c | 2084 | 4654 79132 196298 | 46729 2084 48 | 89.023 % | 105.48/105.73 c | 3223 | 4654 79132 196298 | 51401 3223 67 | 89.023 % | 105.79/106.02 c =============================================================================== 105.79/106.06 c core #649 105.79/106.06 c Core size: 761 Core Weight: 1 Total Weight: -351 105.79/106.06 c Elapsed CPU time: 102.426 s Remaining CPU time: 1697.57 s 105.99/106.23 c ============================[ Search Statistics ]============================== 105.99/106.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.99/106.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.99/106.23 c =============================================================================== 105.99/106.23 c | 0 | 4766 79133 196522 | 26377 0 nan | 0.000 % | 105.99/106.26 c | 100 | 4766 79133 196522 | 29015 100 33 | 88.788 % | 105.99/106.27 c | 251 | 4766 79133 196522 | 31916 251 21 | 88.788 % | 105.99/106.28 c | 477 | 4766 79133 196522 | 35108 477 22 | 88.788 % | 106.09/106.31 c | 814 | 4766 79133 196522 | 38619 814 30 | 88.788 % | 106.09/106.36 c | 1324 | 4766 79133 196522 | 42481 1324 45 | 88.788 % | 106.19/106.46 c | 2084 | 4766 79133 196522 | 46729 2084 60 | 88.788 % | 106.39/106.65 c | 3224 | 4766 79133 196522 | 51402 3224 85 | 88.788 % | 106.69/106.97 c | 4932 | 4766 79133 196522 | 56542 4932 92 | 88.788 % | 107.29/107.56 c | 7494 | 4766 79133 196522 | 62197 7494 102 | 88.788 % | 108.48/108.79 c | 11340 | 4766 79133 196522 | 68416 11340 100 | 88.788 % | 111.68/111.97 c | 17109 | 4766 79133 196522 | 75258 17109 110 | 88.788 % | 120.38/120.60 c | 25758 | 4766 79133 196522 | 82784 25758 148 | 88.788 % | 136.97/137.24 c | 38732 | 4766 79133 196522 | 91062 38732 171 | 88.788 % | 180.85/181.18 c | 58195 | 4687 79133 196522 | 100169 33308 163 | 88.974 % | 185.15/185.47 c =============================================================================== 186.55/186.89 c core #650 186.55/186.89 c Core size: 1202 Core Weight: 1 Total Weight: -350 186.55/186.89 c Elapsed CPU time: 182.926 s Remaining CPU time: 1617.07 s 186.85/187.11 c ============================[ Search Statistics ]============================== 186.85/187.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/187.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/187.11 c =============================================================================== 186.85/187.11 c | 0 | 4908 79134 196806 | 26378 0 nan | 0.000 % | 186.85/187.15 c | 102 | 4908 79134 196806 | 29015 102 35 | 88.492 % | 186.85/187.16 c | 253 | 4908 79134 196806 | 31917 253 24 | 88.492 % | 186.85/187.18 c | 481 | 4908 79134 196806 | 35109 481 31 | 88.492 % | 186.95/187.21 c | 818 | 4908 79134 196806 | 38620 818 26 | 88.492 % | 186.95/187.24 c | 1325 | 4908 79134 196806 | 42482 1325 24 | 88.492 % | 187.05/187.33 c | 2085 | 4908 79134 196806 | 46730 2085 35 | 88.492 % | 187.24/187.52 c | 3224 | 4908 79134 196806 | 51403 3224 58 | 88.492 % | 187.65/187.95 c | 4934 | 4908 79134 196806 | 56543 4934 109 | 88.492 % | 188.45/188.73 c | 7496 | 4908 79134 196806 | 62197 7496 113 | 88.492 % | 190.74/191.04 c | 11340 | 4906 79134 196806 | 68417 11277 179 | 88.497 % | 195.84/196.18 c =============================================================================== 196.14/196.45 c core #651 196.14/196.45 c Core size: 869 Core Weight: 1 Total Weight: -349 196.14/196.45 c Elapsed CPU time: 192.426 s Remaining CPU time: 1607.57 s 196.35/196.63 c ============================[ Search Statistics ]============================== 196.35/196.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.35/196.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.35/196.63 c =============================================================================== 196.35/196.63 c | 0 | 5025 79135 197040 | 26378 0 nan | 0.000 % | 196.35/196.67 c | 103 | 5025 79135 197040 | 29016 103 24 | 88.250 % | 196.35/196.68 c | 253 | 5025 79135 197040 | 31917 253 18 | 88.250 % | 196.35/196.69 c | 478 | 5025 79135 197040 | 35109 478 17 | 88.250 % | 196.44/196.72 c | 817 | 5025 79135 197040 | 38620 817 23 | 88.250 % | 196.44/196.75 c | 1323 | 5025 79135 197040 | 42482 1323 20 | 88.250 % | 196.55/196.82 c | 2082 | 5025 79135 197040 | 46730 2082 28 | 88.250 % | 196.65/196.97 c | 3222 | 5025 79135 197040 | 51403 3222 40 | 88.250 % | 197.04/197.35 c | 4931 | 5025 79135 197040 | 56544 4931 66 | 88.250 % | 197.84/198.17 c | 7494 | 5025 79135 197040 | 62198 7494 120 | 88.250 % | 199.84/200.11 c | 11338 | 5025 79135 197040 | 68418 11338 158 | 88.250 % | 205.14/205.44 c | 17104 | 5025 79135 197040 | 75260 17104 265 | 88.250 % | 218.63/218.97 c | 25757 | 5025 79135 197040 | 82786 25757 339 | 88.250 % | 237.13/237.47 c | 38733 | 4961 79135 197040 | 91065 18684 90 | 88.400 % | 237.43/237.71 c =============================================================================== 238.33/238.65 c core #652 238.33/238.65 c Core size: 1597 Core Weight: 1 Total Weight: -348 238.33/238.65 c Elapsed CPU time: 234.478 s Remaining CPU time: 1565.52 s 238.53/238.87 c ============================[ Search Statistics ]============================== 238.53/238.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.53/238.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.53/238.87 c =============================================================================== 238.53/238.87 c | 0 | 5189 79136 197368 | 26378 0 nan | 0.000 % | 238.62/238.91 c | 101 | 5189 79136 197368 | 29016 101 20 | 87.913 % | 238.62/238.92 c | 252 | 5189 79136 197368 | 31918 252 18 | 87.913 % | 238.62/238.94 c | 477 | 5189 79136 197368 | 35110 477 21 | 87.913 % | 238.62/238.97 c | 814 | 5189 79136 197368 | 38621 814 29 | 87.913 % | 238.72/239.02 c | 1321 | 5189 79136 197368 | 42483 1321 39 | 87.913 % | 238.82/239.11 c | 2081 | 5189 79136 197368 | 46731 2081 50 | 87.913 % | 238.92/239.25 c | 3221 | 5189 79136 197368 | 51404 3221 59 | 87.913 % | 239.33/239.64 c | 4929 | 5189 79136 197368 | 56545 4929 88 | 87.913 % | 240.22/240.53 c | 7493 | 5189 79136 197368 | 62199 7493 110 | 87.913 % | 241.63/241.93 c | 11339 | 5189 79136 197368 | 68419 11339 121 | 87.913 % | 244.42/244.72 c | 17106 | 5189 79136 197368 | 75261 17106 123 | 87.913 % | 251.82/252.10 c | 25759 | 5189 79136 197368 | 82787 25759 121 | 87.913 % | 268.11/268.45 c | 38733 | 5189 79136 197368 | 91066 38733 180 | 87.913 % | 319.79/320.17 c | 58194 | 5189 79136 197368 | 100172 58194 221 | 87.913 % |
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-1875374-1245203707/watcher-1875374-1245203707 -o /tmp/evaluation-result-1875374-1245203707/solver-1875374-1245203707 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875374-1245203707.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8629 /proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=6048 CPUtime=0 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 187967746 6193152 268 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 1512 269 126 292 0 406 0 [startup+0.077396 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8629 /proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=11776 CPUtime=0.06 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 1664 0 0 0 6 0 0 0 18 0 1 0 187967746 12058624 1648 1992294400 134512640 135709839 4294956240 18446744073709551615 134546029 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 2944 1651 207 292 0 1838 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11776 [startup+0.101398 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8629 /proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=13152 CPUtime=0.1 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 1945 0 0 0 9 1 0 0 18 0 1 0 187967746 13467648 1896 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 3288 1896 234 292 0 2182 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13152 [startup+0.30142 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8629 /proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=16088 CPUtime=0.29 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 3129 0 0 0 28 1 0 0 19 0 1 0 187967746 16474112 3080 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 4022 3080 558 292 0 2916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16088 [startup+0.701464 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8629 /proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=28844 CPUtime=0.69 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 8140 0 0 0 66 3 0 0 23 0 1 0 187967746 29536256 6454 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 7211 6454 134 292 0 6916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28844 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=1826416/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=43744 CPUtime=1.49 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 14901 0 0 0 143 6 0 0 25 0 1 0 187967746 44793856 10198 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 10936 10198 134 292 0 10641 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43744 [startup+3.10273 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=1804464/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=73056 CPUtime=3.09 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 27777 0 0 0 297 12 0 0 25 0 1 0 187967746 74809344 17546 1992294400 134512640 135709839 4294956240 18446744073709551615 135182842 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 18264 17546 134 292 0 17969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 73056 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=1746608/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=128372 CPUtime=6.28 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 53918 0 0 0 604 24 0 0 25 0 1 0 187967746 131452928 31407 1992294400 134512640 135709839 4294956240 18446744073709551615 135166063 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 32093 31407 134 292 0 31798 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 128372 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=1630968/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=241072 CPUtime=12.68 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 104822 0 0 0 1221 47 0 0 25 0 1 0 187967746 246857728 59559 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 60268 59560 134 292 0 59973 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 241072 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=1405112/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=459512 CPUtime=25.47 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 206698 0 0 0 2456 91 0 0 25 0 1 0 187967746 470540288 114214 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 114878 114216 134 292 0 114583 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 459512 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=980984/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=886584 CPUtime=51.02 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 409129 0 0 0 4925 177 0 0 25 0 1 0 187967746 907862016 220937 1992294400 134512640 135709839 4294956240 18446744073709551615 135165901 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 221646 220937 134 292 0 221351 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 886584 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=206392/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1649888 CPUtime=102.1 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 770453 0 0 0 9874 336 0 0 25 0 1 0 187967746 1689485312 411874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 412472 411874 136 292 0 412177 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 1649888 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=142968/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1714156 CPUtime=162.06 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 789657 0 0 0 15841 365 0 0 25 0 1 0 187967746 1755295744 427902 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 428539 427902 136 292 0 428244 0 Current children cumulated CPU time (s) 162.06 Current children cumulated vsize (KiB) 1714156 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=111160/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1744824 CPUtime=222.03 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 798421 0 0 0 21817 386 0 0 25 0 1 0 187967746 1786699776 435666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 436206 435666 136 292 0 435911 0 Current children cumulated CPU time (s) 222.03 Current children cumulated vsize (KiB) 1744824 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=68600/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1787980 CPUtime=282.01 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 809138 0 0 0 27793 408 0 0 25 0 1 0 187967746 1830891520 446383 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 446995 446383 136 292 0 446700 0 Current children cumulated CPU time (s) 282.01 Current children cumulated vsize (KiB) 1787980 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8630 /proc/meminfo: memFree=41080/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1815200 CPUtime=341.98 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 815924 0 0 0 33779 419 0 0 25 0 1 0 187967746 1858764800 453169 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 453800 453169 136 292 0 453505 0 Current children cumulated CPU time (s) 341.98 Current children cumulated vsize (KiB) 1815200 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8636 /proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1840548 CPUtime=401.95 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 822230 0 0 0 39766 429 0 0 25 0 1 0 187967746 1884721152 459475 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 460137 459475 136 292 0 459842 0 Current children cumulated CPU time (s) 401.95 Current children cumulated vsize (KiB) 1840548 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+410.602 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8636 /proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=1843236 CPUtime=410.25 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 822910 0 0 0 40595 430 0 0 25 0 1 0 187967746 1887473664 460155 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 460809 460155 136 292 0 460514 0 Current children cumulated CPU time (s) 410.25 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+410.802 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8636 /proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956 [pid=8629] ppid=8627 vsize=0 CPUtime=410.45 /proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4195332 822910 0 0 0 40595 450 0 0 25 0 1 0 187967746 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8629/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 410.45 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 410.878 CPU time (s): 410.531 CPU user time (s): 405.953 CPU system time (s): 4.5773 CPU usage (%): 99.9156 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 405.953 system time used= 4.5773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 822910 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5393 runsolver used 0.52192 second user time and 1.13883 second system time The end
Begin job on node42 at 2009-06-17 03:55:07 IDJOB=1875374 IDBENCH=48214 IDSOLVER=698 FILE ID=node42/1875374-1245203707 PBS_JOBID= 9368317 Free space on /tmp= 66144 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.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-1875374-1245203707/watcher-1875374-1245203707 -o /tmp/evaluation-result-1875374-1245203707/solver-1875374-1245203707 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875374-1245203707.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec RANDOM SEED=69769434 node42.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.214 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1859864 kB Buffers: 45736 kB Cached: 78636 kB SwapCached: 0 kB Active: 10216 kB Inactive: 128108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859864 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3328 kB Writeback: 0 kB Mapped: 23760 kB Slab: 43712 kB Committed_AS: 178652 kB PageTables: 1396 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-1875374-1245203707.opb Free space on /tmp at the end= 66140 MiB End job on node42 at 2009-06-17 04:02:02