Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.2 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | c9380923d34e254cfa512f89027f1d42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1795.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41095 |
Number of constraints which are clauses | 41095 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
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 | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875780-1245164691.opb. 0.00/0.00 c Instance file HOME/instance-1875780-1245164691.opb 0.00/0.00 c File size is 980618 bytes. 0.09/0.12 c Highest Coefficient sum: 3 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 760 | 0.09/0.12 c | Number Clauses: 41855 | 0.09/0.12 c | Number Cardinality: 0 | 0.09/0.12 c | Number PB Constraints: 0 | 0.09/0.12 c core #1 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: -759 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.14 c core #2 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -758 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.16 c core #3 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: -757 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -756 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #5 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -755 0.19/0.20 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -754 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #7 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -753 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #8 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -752 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #9 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -751 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #10 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -750 0.29/0.31 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.34 c core #11 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -749 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #12 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -748 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #13 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -747 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #14 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -746 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #15 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -745 0.39/0.42 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #16 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -744 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #17 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -743 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #18 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -742 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #19 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -741 0.49/0.51 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #20 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -740 0.49/0.53 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #21 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -739 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #22 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -738 0.49/0.58 c Elapsed CPU time: 0.578911 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #23 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -737 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #24 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -736 0.59/0.62 c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #25 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -735 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #26 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -734 0.59/0.67 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #27 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -733 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #28 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -732 0.69/0.71 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #29 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -731 0.69/0.73 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #30 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -730 0.69/0.76 c Elapsed CPU time: 0.755885 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #31 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -729 0.69/0.78 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.79/0.80 c core #32 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -728 0.79/0.80 c Elapsed CPU time: 0.800878 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #33 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -727 0.79/0.82 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #34 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -726 0.79/0.84 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #35 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -725 0.79/0.86 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #36 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -724 0.79/0.89 c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #37 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -723 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #38 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -722 0.89/0.93 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #39 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -721 0.89/0.95 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #40 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -720 0.89/0.98 c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s 0.89/1.00 c core #41 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: -719 0.89/1.00 c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s 1.00/1.02 c core #42 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -718 1.00/1.02 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 1.00/1.04 c core #43 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -717 1.00/1.04 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 1.00/1.07 c core #44 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -716 1.00/1.07 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 1.00/1.09 c core #45 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: -715 1.00/1.09 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #46 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: -714 1.09/1.11 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.09/1.14 c core #47 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -713 1.09/1.14 c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #48 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: -712 1.09/1.16 c Elapsed CPU time: 1.15682 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #49 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: -711 1.09/1.18 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.19/1.20 c core #50 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -710 1.19/1.20 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #51 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -709 1.19/1.23 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #52 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -708 1.19/1.25 c Elapsed CPU time: 1.24681 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #53 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -707 1.19/1.27 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.29/1.30 c core #54 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -706 1.29/1.30 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #55 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -705 1.29/1.32 c Elapsed CPU time: 1.3158 s Remaining CPU time: 1798.68 s 1.29/1.34 c core #56 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -704 1.29/1.34 c Elapsed CPU time: 1.3388 s Remaining CPU time: 1798.66 s 1.29/1.37 c core #57 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -703 1.29/1.37 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -702 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #59 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -701 1.39/1.41 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.39/1.44 c core #60 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -700 1.39/1.44 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.39/1.46 c core #61 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -699 1.39/1.46 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.39/1.48 c core #62 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -698 1.39/1.48 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.48/1.51 c core #63 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: -697 1.48/1.51 c Elapsed CPU time: 1.49777 s Remaining CPU time: 1798.5 s 1.48/1.53 c core #64 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: -696 1.48/1.53 c Elapsed CPU time: 1.52077 s Remaining CPU time: 1798.48 s 1.48/1.55 c core #65 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: -695 1.48/1.55 c Elapsed CPU time: 1.54377 s Remaining CPU time: 1798.46 s 1.48/1.58 c core #66 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: -694 1.48/1.58 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.58/1.60 c core #67 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: -693 1.58/1.60 c Elapsed CPU time: 1.58976 s Remaining CPU time: 1798.41 s 1.58/1.62 c core #68 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: -692 1.58/1.62 c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s 1.58/1.65 c core #69 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: -691 1.58/1.65 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.58/1.67 c core #70 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: -690 1.58/1.67 c Elapsed CPU time: 1.66075 s Remaining CPU time: 1798.34 s 1.58/1.69 c core #71 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: -689 1.58/1.69 c Elapsed CPU time: 1.68474 s Remaining CPU time: 1798.32 s 1.68/1.72 c core #72 1.68/1.72 c Core size: 3 Core Weight: 1 Total Weight: -688 1.68/1.72 c Elapsed CPU time: 1.71074 s Remaining CPU time: 1798.29 s 1.68/1.74 c core #73 1.68/1.74 c Core size: 3 Core Weight: 1 Total Weight: -687 1.68/1.74 c Elapsed CPU time: 1.73374 s Remaining CPU time: 1798.27 s 1.68/1.77 c core #74 1.68/1.77 c Core size: 3 Core Weight: 1 Total Weight: -686 1.68/1.77 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 s 1.68/1.79 c core #75 1.68/1.79 c Core size: 3 Core Weight: 1 Total Weight: -685 1.68/1.79 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.78/1.82 c core #76 1.78/1.82 c Core size: 3 Core Weight: 1 Total Weight: -684 1.78/1.82 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.78/1.84 c core #77 1.78/1.84 c Core size: 3 Core Weight: 1 Total Weight: -683 1.78/1.84 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.78/1.87 c core #78 1.78/1.87 c Core size: 3 Core Weight: 1 Total Weight: -682 1.78/1.87 c Elapsed CPU time: 1.85572 s Remaining CPU time: 1798.14 s 1.78/1.89 c core #79 1.78/1.89 c Core size: 3 Core Weight: 1 Total Weight: -681 1.78/1.89 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.88/1.92 c core #80 1.88/1.92 c Core size: 3 Core Weight: 1 Total Weight: -680 1.88/1.92 c Elapsed CPU time: 1.90571 s Remaining CPU time: 1798.09 s 1.88/1.94 c core #81 1.88/1.94 c Core size: 3 Core Weight: 1 Total Weight: -679 1.88/1.94 c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s 1.88/1.96 c core #82 1.88/1.96 c Core size: 3 Core Weight: 1 Total Weight: -678 1.88/1.96 c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s 1.88/1.99 c core #83 1.88/1.99 c Core size: 3 Core Weight: 1 Total Weight: -677 1.88/1.99 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.98/2.02 c core #84 1.98/2.02 c Core size: 3 Core Weight: 1 Total Weight: -676 1.98/2.02 c Elapsed CPU time: 2.0037 s Remaining CPU time: 1798 s 1.98/2.04 c core #85 1.98/2.04 c Core size: 3 Core Weight: 1 Total Weight: -675 1.98/2.04 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.98/2.07 c core #86 1.98/2.07 c Core size: 3 Core Weight: 1 Total Weight: -674 1.98/2.07 c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s 1.98/2.09 c core #87 1.98/2.09 c Core size: 3 Core Weight: 1 Total Weight: -673 1.98/2.09 c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s 2.08/2.12 c core #88 2.08/2.12 c Core size: 3 Core Weight: 1 Total Weight: -672 2.08/2.12 c Elapsed CPU time: 2.10368 s Remaining CPU time: 1797.9 s 2.08/2.14 c core #89 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: -671 2.08/2.14 c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s 2.08/2.17 c core #90 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: -670 2.08/2.17 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.08/2.19 c core #91 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: -669 2.08/2.19 c Elapsed CPU time: 2.17967 s Remaining CPU time: 1797.82 s 2.19/2.22 c core #92 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: -668 2.19/2.22 c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s 2.19/2.24 c core #93 2.19/2.24 c Core size: 3 Core Weight: 1 Total Weight: -667 2.19/2.24 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.19/2.27 c core #94 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -666 2.19/2.27 c Elapsed CPU time: 2.25666 s Remaining CPU time: 1797.74 s 2.19/2.29 c core #95 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -665 2.19/2.29 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.29/2.32 c core #96 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -664 2.29/2.32 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.29/2.34 c core #97 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -663 2.29/2.34 c Elapsed CPU time: 2.33164 s Remaining CPU time: 1797.67 s 2.29/2.37 c core #98 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: -662 2.29/2.37 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.29/2.39 c core #99 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: -661 2.29/2.39 c Elapsed CPU time: 2.37964 s Remaining CPU time: 1797.62 s 2.39/2.42 c core #100 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -660 2.39/2.42 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.39/2.45 c core #101 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -659 2.39/2.45 c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s 2.39/2.47 c core #102 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -658 2.39/2.47 c Elapsed CPU time: 2.45563 s Remaining CPU time: 1797.54 s 2.39/2.50 c core #103 2.39/2.50 c Core size: 3 Core Weight: 1 Total Weight: -657 2.39/2.50 c Elapsed CPU time: 2.47962 s Remaining CPU time: 1797.52 s 2.48/2.52 c core #104 2.48/2.52 c Core size: 3 Core Weight: 1 Total Weight: -656 2.48/2.52 c Elapsed CPU time: 2.50562 s Remaining CPU time: 1797.49 s 2.48/2.55 c core #105 2.48/2.55 c Core size: 3 Core Weight: 1 Total Weight: -655 2.48/2.55 c Elapsed CPU time: 2.53161 s Remaining CPU time: 1797.47 s 2.48/2.57 c core #106 2.48/2.57 c Core size: 3 Core Weight: 1 Total Weight: -654 2.48/2.57 c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s 2.58/2.60 c core #107 2.58/2.60 c Core size: 3 Core Weight: 1 Total Weight: -653 2.58/2.60 c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s 2.58/2.62 c core #108 2.58/2.62 c Core size: 3 Core Weight: 1 Total Weight: -652 2.58/2.62 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.58/2.65 c core #109 2.58/2.65 c Core size: 3 Core Weight: 1 Total Weight: -651 2.58/2.65 c Elapsed CPU time: 2.6316 s Remaining CPU time: 1797.37 s 2.58/2.67 c core #110 2.58/2.67 c Core size: 3 Core Weight: 1 Total Weight: -650 2.58/2.67 c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s 2.68/2.70 c core #111 2.68/2.70 c Core size: 3 Core Weight: 1 Total Weight: -649 2.68/2.70 c Elapsed CPU time: 2.68359 s Remaining CPU time: 1797.32 s 2.68/2.73 c core #112 2.68/2.73 c Core size: 3 Core Weight: 1 Total Weight: -648 2.68/2.73 c Elapsed CPU time: 2.71059 s Remaining CPU time: 1797.29 s 2.68/2.75 c core #113 2.68/2.75 c Core size: 3 Core Weight: 1 Total Weight: -647 2.68/2.75 c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s 2.68/2.78 c core #114 2.68/2.78 c Core size: 3 Core Weight: 1 Total Weight: -646 2.68/2.78 c Elapsed CPU time: 2.76058 s Remaining CPU time: 1797.24 s 2.78/2.80 c core #115 2.78/2.80 c Core size: 3 Core Weight: 1 Total Weight: -645 2.78/2.80 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.78/2.83 c core #116 2.78/2.83 c Core size: 3 Core Weight: 1 Total Weight: -644 2.78/2.83 c Elapsed CPU time: 2.81457 s Remaining CPU time: 1797.19 s 2.78/2.86 c core #117 2.78/2.86 c Core size: 3 Core Weight: 1 Total Weight: -643 2.78/2.86 c Elapsed CPU time: 2.84257 s Remaining CPU time: 1797.16 s 2.78/2.88 c core #118 2.78/2.88 c Core size: 3 Core Weight: 1 Total Weight: -642 2.78/2.88 c Elapsed CPU time: 2.86856 s Remaining CPU time: 1797.13 s 2.88/2.91 c core #119 2.88/2.91 c Core size: 3 Core Weight: 1 Total Weight: -641 2.88/2.91 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.88/2.94 c core #120 2.88/2.94 c Core size: 3 Core Weight: 1 Total Weight: -640 2.88/2.94 c Elapsed CPU time: 2.92256 s Remaining CPU time: 1797.08 s 2.88/2.96 c core #121 2.88/2.96 c Core size: 3 Core Weight: 1 Total Weight: -639 2.88/2.96 c Elapsed CPU time: 2.94855 s Remaining CPU time: 1797.05 s 2.88/2.99 c core #122 2.88/2.99 c Core size: 3 Core Weight: 1 Total Weight: -638 2.88/2.99 c Elapsed CPU time: 2.97555 s Remaining CPU time: 1797.02 s 2.98/3.02 c core #123 2.98/3.02 c Core size: 3 Core Weight: 1 Total Weight: -637 2.98/3.02 c Elapsed CPU time: 3.00354 s Remaining CPU time: 1797 s 2.98/3.05 c core #124 2.98/3.05 c Core size: 3 Core Weight: 1 Total Weight: -636 2.98/3.05 c Elapsed CPU time: 3.03054 s Remaining CPU time: 1796.97 s 2.98/3.07 c core #125 2.98/3.07 c Core size: 3 Core Weight: 1 Total Weight: -635 2.98/3.07 c Elapsed CPU time: 3.05654 s Remaining CPU time: 1796.94 s 3.08/3.10 c core #126 3.08/3.10 c Core size: 3 Core Weight: 1 Total Weight: -634 3.08/3.10 c Elapsed CPU time: 3.08253 s Remaining CPU time: 1796.92 s 3.08/3.13 c core #127 3.08/3.13 c Core size: 3 Core Weight: 1 Total Weight: -633 3.08/3.13 c Elapsed CPU time: 3.10953 s Remaining CPU time: 1796.89 s 3.08/3.15 c core #128 3.08/3.15 c Core size: 3 Core Weight: 1 Total Weight: -632 3.08/3.15 c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s 3.08/3.18 c core #129 3.08/3.18 c Core size: 3 Core Weight: 1 Total Weight: -631 3.08/3.18 c Elapsed CPU time: 3.16152 s Remaining CPU time: 1796.84 s 3.19/3.21 c core #130 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -630 3.19/3.21 c Elapsed CPU time: 3.18851 s Remaining CPU time: 1796.81 s 3.19/3.24 c core #131 3.19/3.24 c Core size: 3 Core Weight: 1 Total Weight: -629 3.19/3.24 c Elapsed CPU time: 3.21651 s Remaining CPU time: 1796.78 s 3.19/3.26 c core #132 3.19/3.26 c Core size: 3 Core Weight: 1 Total Weight: -628 3.19/3.26 c Elapsed CPU time: 3.24451 s Remaining CPU time: 1796.76 s 3.19/3.29 c core #133 3.19/3.29 c Core size: 3 Core Weight: 1 Total Weight: -627 3.19/3.29 c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s 3.29/3.32 c core #134 3.29/3.32 c Core size: 3 Core Weight: 1 Total Weight: -626 3.29/3.32 c Elapsed CPU time: 3.2975 s Remaining CPU time: 1796.7 s 3.29/3.34 c core #135 3.29/3.34 c Core size: 3 Core Weight: 1 Total Weight: -625 3.29/3.34 c Elapsed CPU time: 3.32549 s Remaining CPU time: 1796.67 s 3.29/3.37 c core #136 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -624 3.29/3.37 c Elapsed CPU time: 3.35149 s Remaining CPU time: 1796.65 s 3.38/3.40 c core #137 3.38/3.40 c Core size: 3 Core Weight: 1 Total Weight: -623 3.38/3.40 c Elapsed CPU time: 3.37649 s Remaining CPU time: 1796.62 s 3.38/3.42 c core #138 3.38/3.42 c Core size: 3 Core Weight: 1 Total Weight: -622 3.38/3.42 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.38/3.45 c core #139 3.38/3.45 c Core size: 3 Core Weight: 1 Total Weight: -621 3.38/3.45 c Elapsed CPU time: 3.42848 s Remaining CPU time: 1796.57 s 3.38/3.48 c core #140 3.38/3.48 c Core size: 3 Core Weight: 1 Total Weight: -620 3.38/3.48 c Elapsed CPU time: 3.45647 s Remaining CPU time: 1796.54 s 3.48/3.51 c core #141 3.48/3.51 c Core size: 3 Core Weight: 1 Total Weight: -619 3.48/3.51 c Elapsed CPU time: 3.48447 s Remaining CPU time: 1796.52 s 3.48/3.53 c core #142 3.48/3.53 c Core size: 3 Core Weight: 1 Total Weight: -618 3.48/3.53 c Elapsed CPU time: 3.51047 s Remaining CPU time: 1796.49 s 3.48/3.56 c core #143 3.48/3.56 c Core size: 3 Core Weight: 1 Total Weight: -617 3.48/3.56 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.48/3.59 c core #144 3.48/3.59 c Core size: 3 Core Weight: 1 Total Weight: -616 3.48/3.59 c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s 3.58/3.61 c core #145 3.58/3.61 c Core size: 3 Core Weight: 1 Total Weight: -615 3.58/3.61 c Elapsed CPU time: 3.59145 s Remaining CPU time: 1796.41 s 3.58/3.64 c core #146 3.58/3.64 c Core size: 3 Core Weight: 1 Total Weight: -614 3.58/3.64 c Elapsed CPU time: 3.61945 s Remaining CPU time: 1796.38 s 3.58/3.67 c core #147 3.58/3.67 c Core size: 3 Core Weight: 1 Total Weight: -613 3.58/3.67 c Elapsed CPU time: 3.64745 s Remaining CPU time: 1796.35 s 3.68/3.70 c core #148 3.68/3.70 c Core size: 3 Core Weight: 1 Total Weight: -612 3.68/3.70 c Elapsed CPU time: 3.67544 s Remaining CPU time: 1796.32 s 3.68/3.73 c core #149 3.68/3.73 c Core size: 3 Core Weight: 1 Total Weight: -611 3.68/3.73 c Elapsed CPU time: 3.70244 s Remaining CPU time: 1796.3 s 3.68/3.76 c core #150 3.68/3.76 c Core size: 3 Core Weight: 1 Total Weight: -610 3.68/3.76 c Elapsed CPU time: 3.73043 s Remaining CPU time: 1796.27 s 3.68/3.78 c core #151 3.68/3.78 c Core size: 3 Core Weight: 1 Total Weight: -609 3.68/3.78 c Elapsed CPU time: 3.75943 s Remaining CPU time: 1796.24 s 3.78/3.81 c core #152 3.78/3.81 c Core size: 3 Core Weight: 1 Total Weight: -608 3.78/3.81 c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s 3.78/3.84 c core #153 3.78/3.84 c Core size: 3 Core Weight: 1 Total Weight: -607 3.78/3.84 c Elapsed CPU time: 3.81542 s Remaining CPU time: 1796.18 s 3.78/3.87 c core #154 3.78/3.87 c Core size: 3 Core Weight: 1 Total Weight: -606 3.78/3.87 c Elapsed CPU time: 3.84442 s Remaining CPU time: 1796.16 s 3.88/3.90 c core #155 3.88/3.90 c Core size: 3 Core Weight: 1 Total Weight: -605 3.88/3.90 c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s 3.88/3.93 c core #156 3.88/3.93 c Core size: 3 Core Weight: 1 Total Weight: -604 3.88/3.93 c Elapsed CPU time: 3.90041 s Remaining CPU time: 1796.1 s 3.88/3.95 c core #157 3.88/3.95 c Core size: 3 Core Weight: 1 Total Weight: -603 3.88/3.95 c Elapsed CPU time: 3.9274 s Remaining CPU time: 1796.07 s 3.88/3.98 c core #158 3.88/3.98 c Core size: 3 Core Weight: 1 Total Weight: -602 3.88/3.98 c Elapsed CPU time: 3.9554 s Remaining CPU time: 1796.04 s 3.98/4.01 c core #159 3.98/4.01 c Core size: 3 Core Weight: 1 Total Weight: -601 3.98/4.01 c Elapsed CPU time: 3.98139 s Remaining CPU time: 1796.02 s 3.98/4.03 c core #160 3.98/4.03 c Core size: 3 Core Weight: 1 Total Weight: -600 3.98/4.03 c Elapsed CPU time: 4.00739 s Remaining CPU time: 1795.99 s 3.98/4.06 c core #161 3.98/4.06 c Core size: 3 Core Weight: 1 Total Weight: -599 3.98/4.06 c Elapsed CPU time: 4.03339 s Remaining CPU time: 1795.97 s 3.98/4.09 c core #162 3.98/4.09 c Core size: 3 Core Weight: 1 Total Weight: -598 3.98/4.09 c Elapsed CPU time: 4.05938 s Remaining CPU time: 1795.94 s 4.07/4.11 c core #163 4.07/4.11 c Core size: 3 Core Weight: 1 Total Weight: -597 4.07/4.11 c Elapsed CPU time: 4.08538 s Remaining CPU time: 1795.91 s 4.07/4.14 c core #164 4.07/4.14 c Core size: 3 Core Weight: 1 Total Weight: -596 4.07/4.14 c Elapsed CPU time: 4.11137 s Remaining CPU time: 1795.89 s 4.07/4.17 c core #165 4.07/4.17 c Core size: 3 Core Weight: 1 Total Weight: -595 4.07/4.17 c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s 4.07/4.20 c core #166 4.07/4.20 c Core size: 3 Core Weight: 1 Total Weight: -594 4.07/4.20 c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s 4.17/4.22 c core #167 4.17/4.22 c Core size: 3 Core Weight: 1 Total Weight: -593 4.17/4.22 c Elapsed CPU time: 4.19336 s Remaining CPU time: 1795.81 s 4.17/4.25 c core #168 4.17/4.25 c Core size: 3 Core Weight: 1 Total Weight: -592 4.17/4.25 c Elapsed CPU time: 4.22136 s Remaining CPU time: 1795.78 s 4.17/4.28 c core #169 4.17/4.28 c Core size: 3 Core Weight: 1 Total Weight: -591 4.17/4.28 c Elapsed CPU time: 4.24835 s Remaining CPU time: 1795.75 s 4.28/4.31 c core #170 4.28/4.31 c Core size: 3 Core Weight: 1 Total Weight: -590 4.28/4.31 c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s 4.28/4.33 c core #171 4.28/4.33 c Core size: 3 Core Weight: 1 Total Weight: -589 4.28/4.33 c Elapsed CPU time: 4.30434 s Remaining CPU time: 1795.7 s 4.28/4.36 c core #172 4.28/4.36 c Core size: 3 Core Weight: 1 Total Weight: -588 4.28/4.36 c Elapsed CPU time: 4.33134 s Remaining CPU time: 1795.67 s 4.28/4.39 c core #173 4.28/4.39 c Core size: 3 Core Weight: 1 Total Weight: -587 4.28/4.39 c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s 4.38/4.42 c core #174 4.38/4.42 c Core size: 3 Core Weight: 1 Total Weight: -586 4.38/4.42 c Elapsed CPU time: 4.38633 s Remaining CPU time: 1795.61 s 4.38/4.44 c core #175 4.38/4.44 c Core size: 3 Core Weight: 1 Total Weight: -585 4.38/4.44 c Elapsed CPU time: 4.41433 s Remaining CPU time: 1795.59 s 4.38/4.47 c core #176 4.38/4.47 c Core size: 3 Core Weight: 1 Total Weight: -584 4.38/4.47 c Elapsed CPU time: 4.44232 s Remaining CPU time: 1795.56 s 4.47/4.50 c core #177 4.47/4.50 c Core size: 3 Core Weight: 1 Total Weight: -583 4.47/4.50 c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s 4.47/4.53 c core #178 4.47/4.53 c Core size: 3 Core Weight: 1 Total Weight: -582 4.47/4.53 c Elapsed CPU time: 4.49632 s Remaining CPU time: 1795.5 s 4.47/4.55 c core #179 4.47/4.55 c Core size: 3 Core Weight: 1 Total Weight: -581 4.47/4.55 c Elapsed CPU time: 4.52331 s Remaining CPU time: 1795.48 s 4.47/4.58 c core #180 4.47/4.58 c Core size: 3 Core Weight: 1 Total Weight: -580 4.47/4.58 c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s 4.57/4.61 c core #181 4.57/4.61 c Core size: 3 Core Weight: 1 Total Weight: -579 4.57/4.61 c Elapsed CPU time: 4.5783 s Remaining CPU time: 1795.42 s 4.57/4.64 c core #182 4.57/4.64 c Core size: 3 Core Weight: 1 Total Weight: -578 4.57/4.64 c Elapsed CPU time: 4.6063 s Remaining CPU time: 1795.39 s 4.57/4.67 c core #183 4.57/4.67 c Core size: 3 Core Weight: 1 Total Weight: -577 4.57/4.67 c Elapsed CPU time: 4.63429 s Remaining CPU time: 1795.37 s 4.57/4.69 c core #184 4.57/4.69 c Core size: 3 Core Weight: 1 Total Weight: -576 4.57/4.69 c Elapsed CPU time: 4.66229 s Remaining CPU time: 1795.34 s 4.67/4.72 c core #185 4.67/4.72 c Core size: 3 Core Weight: 1 Total Weight: -575 4.67/4.72 c Elapsed CPU time: 4.69029 s Remaining CPU time: 1795.31 s 4.67/4.75 c core #186 4.67/4.75 c Core size: 3 Core Weight: 1 Total Weight: -574 4.67/4.75 c Elapsed CPU time: 4.71828 s Remaining CPU time: 1795.28 s 4.67/4.78 c core #187 4.67/4.78 c Core size: 3 Core Weight: 1 Total Weight: -573 4.67/4.78 c Elapsed CPU time: 4.74628 s Remaining CPU time: 1795.25 s 4.77/4.81 c core #188 4.77/4.81 c Core size: 3 Core Weight: 1 Total Weight: -572 4.77/4.81 c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s 4.77/4.83 c core #189 4.77/4.83 c Core size: 3 Core Weight: 1 Total Weight: -571 4.77/4.83 c Elapsed CPU time: 4.80227 s Remaining CPU time: 1795.2 s 4.77/4.86 c core #190 4.77/4.86 c Core size: 3 Core Weight: 1 Total Weight: -570 4.77/4.86 c Elapsed CPU time: 4.83026 s Remaining CPU time: 1795.17 s 4.77/4.89 c core #191 4.77/4.89 c Core size: 3 Core Weight: 1 Total Weight: -569 4.77/4.89 c Elapsed CPU time: 4.85926 s Remaining CPU time: 1795.14 s 4.87/4.92 c core #192 4.87/4.92 c Core size: 3 Core Weight: 1 Total Weight: -568 4.87/4.92 c Elapsed CPU time: 4.88726 s Remaining CPU time: 1795.11 s 4.87/4.95 c core #193 4.87/4.95 c Core size: 3 Core Weight: 1 Total Weight: -567 4.87/4.95 c Elapsed CPU time: 4.91625 s Remaining CPU time: 1795.08 s 4.87/4.98 c core #194 4.87/4.98 c Core size: 3 Core Weight: 1 Total Weight: -566 4.87/4.98 c Elapsed CPU time: 4.94425 s Remaining CPU time: 1795.06 s 4.97/5.01 c core #195 4.97/5.01 c Core size: 3 Core Weight: 1 Total Weight: -565 4.97/5.01 c Elapsed CPU time: 4.97224 s Remaining CPU time: 1795.03 s 4.97/5.03 c core #196 4.97/5.03 c Core size: 3 Core Weight: 1 Total Weight: -564 4.97/5.03 c Elapsed CPU time: 5.00124 s Remaining CPU time: 1795 s 4.97/5.06 c core #197 4.97/5.06 c Core size: 3 Core Weight: 1 Total Weight: -563 4.97/5.06 c Elapsed CPU time: 5.03024 s Remaining CPU time: 1794.97 s 4.97/5.09 c core #198 4.97/5.09 c Core size: 3 Core Weight: 1 Total Weight: -562 4.97/5.09 c Elapsed CPU time: 5.05823 s Remaining CPU time: 1794.94 s 5.07/5.12 c core #199 5.07/5.12 c Core size: 3 Core Weight: 1 Total Weight: -561 5.07/5.12 c Elapsed CPU time: 5.08723 s Remaining CPU time: 1794.91 s 5.07/5.15 c core #200 5.07/5.15 c Core size: 3 Core Weight: 1 Total Weight: -560 5.07/5.15 c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s 5.07/5.18 c core #201 5.07/5.18 c Core size: 3 Core Weight: 1 Total Weight: -559 5.07/5.18 c Elapsed CPU time: 5.14422 s Remaining CPU time: 1794.86 s 5.17/5.21 c core #202 5.17/5.21 c Core size: 3 Core Weight: 1 Total Weight: -558 5.17/5.21 c Elapsed CPU time: 5.17221 s Remaining CPU time: 1794.83 s 5.17/5.24 c core #203 5.17/5.24 c Core size: 3 Core Weight: 1 Total Weight: -557 5.17/5.24 c Elapsed CPU time: 5.20121 s Remaining CPU time: 1794.8 s 5.17/5.26 c core #204 5.17/5.26 c Core size: 3 Core Weight: 1 Total Weight: -556 5.17/5.26 c Elapsed CPU time: 5.2302 s Remaining CPU time: 1794.77 s 5.17/5.29 c core #205 5.17/5.29 c Core size: 3 Core Weight: 1 Total Weight: -555 5.17/5.29 c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s 5.27/5.32 c core #206 5.27/5.32 c Core size: 3 Core Weight: 1 Total Weight: -554 5.27/5.32 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.27/5.35 c core #207 5.27/5.35 c Core size: 3 Core Weight: 1 Total Weight: -553 5.27/5.35 c Elapsed CPU time: 5.31619 s Remaining CPU time: 1794.68 s 5.27/5.38 c core #208 5.27/5.38 c Core size: 3 Core Weight: 1 Total Weight: -552 5.27/5.38 c Elapsed CPU time: 5.34419 s Remaining CPU time: 1794.66 s 5.37/5.41 c core #209 5.37/5.41 c Core size: 3 Core Weight: 1 Total Weight: -551 5.37/5.41 c Elapsed CPU time: 5.37318 s Remaining CPU time: 1794.63 s 5.37/5.44 c core #210 5.37/5.44 c Core size: 3 Core Weight: 1 Total Weight: -550 5.37/5.44 c Elapsed CPU time: 5.40218 s Remaining CPU time: 1794.6 s 5.37/5.47 c core #211 5.37/5.47 c Core size: 3 Core Weight: 1 Total Weight: -549 5.37/5.47 c Elapsed CPU time: 5.43117 s Remaining CPU time: 1794.57 s 5.37/5.50 c core #212 5.37/5.50 c Core size: 3 Core Weight: 1 Total Weight: -548 5.37/5.50 c Elapsed CPU time: 5.46017 s Remaining CPU time: 1794.54 s 5.47/5.53 c core #213 5.47/5.53 c Core size: 3 Core Weight: 1 Total Weight: -547 5.47/5.53 c Elapsed CPU time: 5.49017 s Remaining CPU time: 1794.51 s 5.47/5.56 c core #214 5.47/5.56 c Core size: 3 Core Weight: 1 Total Weight: -546 5.47/5.56 c Elapsed CPU time: 5.51916 s Remaining CPU time: 1794.48 s 5.47/5.58 c core #215 5.47/5.58 c Core size: 3 Core Weight: 1 Total Weight: -545 5.47/5.58 c Elapsed CPU time: 5.54816 s Remaining CPU time: 1794.45 s 5.57/5.61 c core #216 5.57/5.61 c Core size: 3 Core Weight: 1 Total Weight: -544 5.57/5.61 c Elapsed CPU time: 5.57815 s Remaining CPU time: 1794.42 s 5.57/5.64 c core #217 5.57/5.64 c Core size: 3 Core Weight: 1 Total Weight: -543 5.57/5.64 c Elapsed CPU time: 5.60715 s Remaining CPU time: 1794.39 s 5.57/5.67 c core #218 5.57/5.67 c Core size: 3 Core Weight: 1 Total Weight: -542 5.57/5.67 c Elapsed CPU time: 5.63614 s Remaining CPU time: 1794.36 s 5.66/5.70 c core #219 5.66/5.70 c Core size: 3 Core Weight: 1 Total Weight: -541 5.66/5.70 c Elapsed CPU time: 5.66514 s Remaining CPU time: 1794.33 s 5.66/5.73 c core #220 5.66/5.73 c Core size: 3 Core Weight: 1 Total Weight: -540 5.66/5.73 c Elapsed CPU time: 5.69413 s Remaining CPU time: 1794.31 s 5.66/5.76 c core #221 5.66/5.76 c Core size: 3 Core Weight: 1 Total Weight: -539 5.66/5.76 c Elapsed CPU time: 5.72313 s Remaining CPU time: 1794.28 s 5.66/5.79 c core #222 5.66/5.79 c Core size: 3 Core Weight: 1 Total Weight: -538 5.66/5.79 c Elapsed CPU time: 5.75312 s Remaining CPU time: 1794.25 s 5.76/5.82 c core #223 5.76/5.82 c Core size: 3 Core Weight: 1 Total Weight: -537 5.76/5.82 c Elapsed CPU time: 5.78312 s Remaining CPU time: 1794.22 s 5.76/5.85 c core #224 5.76/5.85 c Core size: 3 Core Weight: 1 Total Weight: -536 5.76/5.85 c Elapsed CPU time: 5.81212 s Remaining CPU time: 1794.19 s 5.76/5.88 c core #225 5.76/5.88 c Core size: 3 Core Weight: 1 Total Weight: -535 5.76/5.88 c Elapsed CPU time: 5.84311 s Remaining CPU time: 1794.16 s 5.86/5.91 c core #226 5.86/5.91 c Core size: 3 Core Weight: 1 Total Weight: -534 5.86/5.91 c Elapsed CPU time: 5.87211 s Remaining CPU time: 1794.13 s 5.86/5.94 c core #227 5.86/5.94 c Core size: 3 Core Weight: 1 Total Weight: -533 5.86/5.94 c Elapsed CPU time: 5.9021 s Remaining CPU time: 1794.1 s 5.86/5.97 c core #228 5.86/5.97 c Core size: 3 Core Weight: 1 Total Weight: -532 5.86/5.97 c Elapsed CPU time: 5.9321 s Remaining CPU time: 1794.07 s 5.96/6.00 c core #229 5.96/6.00 c Core size: 3 Core Weight: 1 Total Weight: -531 5.96/6.00 c Elapsed CPU time: 5.96209 s Remaining CPU time: 1794.04 s 5.96/6.03 c core #230 5.96/6.03 c Core size: 3 Core Weight: 1 Total Weight: -530 5.96/6.03 c Elapsed CPU time: 5.99309 s Remaining CPU time: 1794.01 s 5.96/6.06 c core #231 5.96/6.06 c Core size: 3 Core Weight: 1 Total Weight: -529 5.96/6.06 c Elapsed CPU time: 6.02308 s Remaining CPU time: 1793.98 s 5.96/6.09 c core #232 5.96/6.09 c Core size: 3 Core Weight: 1 Total Weight: -528 5.96/6.09 c Elapsed CPU time: 6.05308 s Remaining CPU time: 1793.95 s 6.06/6.12 c core #233 6.06/6.12 c Core size: 3 Core Weight: 1 Total Weight: -527 6.06/6.12 c Elapsed CPU time: 6.08308 s Remaining CPU time: 1793.92 s 6.06/6.16 c core #234 6.06/6.16 c Core size: 3 Core Weight: 1 Total Weight: -526 6.06/6.16 c Elapsed CPU time: 6.11307 s Remaining CPU time: 1793.89 s 6.06/6.19 c core #235 6.06/6.19 c Core size: 3 Core Weight: 1 Total Weight: -525 6.06/6.19 c Elapsed CPU time: 6.14307 s Remaining CPU time: 1793.86 s 6.16/6.22 c core #236 6.16/6.22 c Core size: 3 Core Weight: 1 Total Weight: -524 6.16/6.22 c Elapsed CPU time: 6.17406 s Remaining CPU time: 1793.83 s 6.16/6.25 c core #237 6.16/6.25 c Core size: 3 Core Weight: 1 Total Weight: -523 6.16/6.25 c Elapsed CPU time: 6.20406 s Remaining CPU time: 1793.8 s 6.16/6.28 c core #238 6.16/6.28 c Core size: 3 Core Weight: 1 Total Weight: -522 6.16/6.28 c Elapsed CPU time: 6.23405 s Remaining CPU time: 1793.77 s 6.26/6.31 c core #239 6.26/6.31 c Core size: 3 Core Weight: 1 Total Weight: -521 6.26/6.31 c Elapsed CPU time: 6.26505 s Remaining CPU time: 1793.73 s 6.26/6.34 c core #240 6.26/6.34 c Core size: 3 Core Weight: 1 Total Weight: -520 6.26/6.34 c Elapsed CPU time: 6.29504 s Remaining CPU time: 1793.7 s 6.26/6.37 c core #241 6.26/6.37 c Core size: 3 Core Weight: 1 Total Weight: -519 6.26/6.37 c Elapsed CPU time: 6.32604 s Remaining CPU time: 1793.67 s 6.36/6.40 c core #242 6.36/6.40 c Core size: 3 Core Weight: 1 Total Weight: -518 6.36/6.40 c Elapsed CPU time: 6.35703 s Remaining CPU time: 1793.64 s 6.36/6.43 c core #243 6.36/6.43 c Core size: 3 Core Weight: 1 Total Weight: -517 6.36/6.43 c Elapsed CPU time: 6.38703 s Remaining CPU time: 1793.61 s 6.36/6.46 c core #244 6.36/6.46 c Core size: 3 Core Weight: 1 Total Weight: -516 6.36/6.46 c Elapsed CPU time: 6.41802 s Remaining CPU time: 1793.58 s 6.36/6.49 c core #245 6.36/6.49 c Core size: 3 Core Weight: 1 Total Weight: -515 6.36/6.49 c Elapsed CPU time: 6.45002 s Remaining CPU time: 1793.55 s 6.46/6.52 c core #246 6.46/6.52 c Core size: 3 Core Weight: 1 Total Weight: -514 6.46/6.52 c Elapsed CPU time: 6.48001 s Remaining CPU time: 1793.52 s 6.46/6.56 c core #247 6.46/6.56 c Core size: 3 Core Weight: 1 Total Weight: -513 6.46/6.56 c Elapsed CPU time: 6.51101 s Remaining CPU time: 1793.49 s 6.46/6.59 c core #248 6.46/6.59 c Core size: 3 Core Weight: 1 Total Weight: -512 6.46/6.59 c Elapsed CPU time: 6.543 s Remaining CPU time: 1793.46 s 6.56/6.62 c core #249 6.56/6.62 c Core size: 3 Core Weight: 1 Total Weight: -511 6.56/6.62 c Elapsed CPU time: 6.574 s Remaining CPU time: 1793.43 s 6.56/6.65 c core #250 6.56/6.65 c Core size: 3 Core Weight: 1 Total Weight: -510 6.56/6.65 c Elapsed CPU time: 6.60499 s Remaining CPU time: 1793.4 s 6.56/6.68 c core #251 6.56/6.68 c Core size: 3 Core Weight: 1 Total Weight: -509 6.56/6.68 c Elapsed CPU time: 6.63599 s Remaining CPU time: 1793.36 s 6.66/6.71 c core #252 6.66/6.71 c Core size: 3 Core Weight: 1 Total Weight: -508 6.66/6.71 c Elapsed CPU time: 6.66699 s Remaining CPU time: 1793.33 s 6.66/6.74 c core #253 6.66/6.74 c Core size: 3 Core Weight: 1 Total Weight: -507 6.66/6.74 c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s 6.66/6.77 c core #254 6.66/6.77 c Core size: 3 Core Weight: 1 Total Weight: -506 6.66/6.77 c Elapsed CPU time: 6.72898 s Remaining CPU time: 1793.27 s 6.76/6.81 c core #255 6.76/6.81 c Core size: 3 Core Weight: 1 Total Weight: -505 6.76/6.81 c Elapsed CPU time: 6.75997 s Remaining CPU time: 1793.24 s 6.76/6.84 c core #256 6.76/6.84 c Core size: 3 Core Weight: 1 Total Weight: -504 6.76/6.84 c Elapsed CPU time: 6.79097 s Remaining CPU time: 1793.21 s 6.76/6.87 c core #257 6.76/6.87 c Core size: 3 Core Weight: 1 Total Weight: -503 6.76/6.87 c Elapsed CPU time: 6.82196 s Remaining CPU time: 1793.18 s 6.85/6.90 c core #258 6.85/6.90 c Core size: 3 Core Weight: 1 Total Weight: -502 6.85/6.90 c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s 6.85/6.93 c core #259 6.85/6.93 c Core size: 3 Core Weight: 1 Total Weight: -501 6.85/6.93 c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s 6.85/6.96 c core #260 6.85/6.96 c Core size: 3 Core Weight: 1 Total Weight: -500 6.85/6.96 c Elapsed CPU time: 6.91595 s Remaining CPU time: 1793.08 s 6.85/7.00 c core #261 6.85/7.00 c Core size: 3 Core Weight: 1 Total Weight: -499 6.85/7.00 c Elapsed CPU time: 6.94694 s Remaining CPU time: 1793.05 s 6.95/7.03 c core #262 6.95/7.03 c Core size: 3 Core Weight: 1 Total Weight: -498 6.95/7.03 c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s 6.95/7.06 c core #263 6.95/7.06 c Core size: 3 Core Weight: 1 Total Weight: -497 6.95/7.06 c Elapsed CPU time: 7.01093 s Remaining CPU time: 1792.99 s 6.95/7.09 c core #264 6.95/7.09 c Core size: 3 Core Weight: 1 Total Weight: -496 6.95/7.09 c Elapsed CPU time: 7.04393 s Remaining CPU time: 1792.96 s 7.05/7.12 c core #265 7.05/7.12 c Core size: 3 Core Weight: 1 Total Weight: -495 7.05/7.12 c Elapsed CPU time: 7.07492 s Remaining CPU time: 1792.93 s 7.05/7.16 c core #266 7.05/7.16 c Core size: 3 Core Weight: 1 Total Weight: -494 7.05/7.16 c Elapsed CPU time: 7.10692 s Remaining CPU time: 1792.89 s 7.05/7.19 c core #267 7.05/7.19 c Core size: 3 Core Weight: 1 Total Weight: -493 7.05/7.19 c Elapsed CPU time: 7.13891 s Remaining CPU time: 1792.86 s 7.15/7.22 c core #268 7.15/7.22 c Core size: 3 Core Weight: 1 Total Weight: -492 7.15/7.22 c Elapsed CPU time: 7.17091 s Remaining CPU time: 1792.83 s 7.15/7.25 c core #269 7.15/7.25 c Core size: 3 Core Weight: 1 Total Weight: -491 7.15/7.25 c Elapsed CPU time: 7.2029 s Remaining CPU time: 1792.8 s 7.15/7.29 c core #270 7.15/7.29 c Core size: 3 Core Weight: 1 Total Weight: -490 7.15/7.29 c Elapsed CPU time: 7.2359 s Remaining CPU time: 1792.76 s 7.25/7.32 c core #271 7.25/7.32 c Core size: 3 Core Weight: 1 Total Weight: -489 7.25/7.32 c Elapsed CPU time: 7.2679 s Remaining CPU time: 1792.73 s 7.25/7.35 c core #272 7.25/7.35 c Core size: 3 Core Weight: 1 Total Weight: -488 7.25/7.35 c Elapsed CPU time: 7.30089 s Remaining CPU time: 1792.7 s 7.25/7.38 c core #273 7.25/7.38 c Core size: 3 Core Weight: 1 Total Weight: -487 7.25/7.38 c Elapsed CPU time: 7.33389 s Remaining CPU time: 1792.67 s 7.35/7.42 c core #274 7.35/7.42 c Core size: 3 Core Weight: 1 Total Weight: -486 7.35/7.42 c Elapsed CPU time: 7.36688 s Remaining CPU time: 1792.63 s 7.35/7.45 c core #275 7.35/7.45 c Core size: 3 Core Weight: 1 Total Weight: -485 7.35/7.45 c Elapsed CPU time: 7.39987 s Remaining CPU time: 1792.6 s 7.35/7.48 c core #276 7.35/7.48 c Core size: 3 Core Weight: 1 Total Weight: -484 7.35/7.48 c Elapsed CPU time: 7.43187 s Remaining CPU time: 1792.57 s 7.45/7.51 c core #277 7.45/7.51 c Core size: 3 Core Weight: 1 Total Weight: -483 7.45/7.51 c Elapsed CPU time: 7.46387 s Remaining CPU time: 1792.54 s 7.45/7.55 c core #278 7.45/7.55 c Core size: 3 Core Weight: 1 Total Weight: -482 7.45/7.55 c Elapsed CPU time: 7.49686 s Remaining CPU time: 1792.5 s 7.45/7.58 c core #279 7.45/7.58 c Core size: 3 Core Weight: 1 Total Weight: -481 7.45/7.58 c Elapsed CPU time: 7.52985 s Remaining CPU time: 1792.47 s 7.55/7.61 c core #280 7.55/7.61 c Core size: 3 Core Weight: 1 Total Weight: -480 7.55/7.61 c Elapsed CPU time: 7.56285 s Remaining CPU time: 1792.44 s 7.55/7.65 c core #281 7.55/7.65 c Core size: 3 Core Weight: 1 Total Weight: -479 7.55/7.65 c Elapsed CPU time: 7.59584 s Remaining CPU time: 1792.4 s 7.55/7.68 c core #282 7.55/7.68 c Core size: 3 Core Weight: 1 Total Weight: -478 7.55/7.68 c Elapsed CPU time: 7.62884 s Remaining CPU time: 1792.37 s 7.65/7.71 c core #283 7.65/7.71 c Core size: 3 Core Weight: 1 Total Weight: -477 7.65/7.71 c Elapsed CPU time: 7.66183 s Remaining CPU time: 1792.34 s 7.65/7.75 c core #284 7.65/7.75 c Core size: 3 Core Weight: 1 Total Weight: -476 7.65/7.75 c Elapsed CPU time: 7.69483 s Remaining CPU time: 1792.31 s 7.65/7.78 c core #285 7.65/7.78 c Core size: 3 Core Weight: 1 Total Weight: -475 7.65/7.78 c Elapsed CPU time: 7.72783 s Remaining CPU time: 1792.27 s 7.75/7.81 c core #286 7.75/7.81 c Core size: 3 Core Weight: 1 Total Weight: -474 7.75/7.81 c Elapsed CPU time: 7.76182 s Remaining CPU time: 1792.24 s 7.75/7.85 c core #287 7.75/7.85 c Core size: 3 Core Weight: 1 Total Weight: -473 7.75/7.85 c Elapsed CPU time: 7.79581 s Remaining CPU time: 1792.2 s 7.75/7.88 c core #288 7.75/7.88 c Core size: 3 Core Weight: 1 Total Weight: -472 7.75/7.88 c Elapsed CPU time: 7.82881 s Remaining CPU time: 1792.17 s 7.85/7.91 c core #289 7.85/7.91 c Core size: 3 Core Weight: 1 Total Weight: -471 7.85/7.92 c Elapsed CPU time: 7.8618 s Remaining CPU time: 1792.14 s 7.85/7.95 c core #290 7.85/7.95 c Core size: 3 Core Weight: 1 Total Weight: -470 7.85/7.95 c Elapsed CPU time: 7.8958 s Remaining CPU time: 1792.1 s 7.85/7.98 c core #291 7.85/7.98 c Core size: 3 Core Weight: 1 Total Weight: -469 7.85/7.98 c Elapsed CPU time: 7.92979 s Remaining CPU time: 1792.07 s 7.95/8.02 c core #292 7.95/8.02 c Core size: 3 Core Weight: 1 Total Weight: -468 7.95/8.02 c Elapsed CPU time: 7.96379 s Remaining CPU time: 1792.04 s 7.95/8.05 c core #293 7.95/8.05 c Core size: 3 Core Weight: 1 Total Weight: -467 7.95/8.05 c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s 7.95/8.09 c core #294 7.95/8.09 c Core size: 3 Core Weight: 1 Total Weight: -466 7.95/8.09 c Elapsed CPU time: 8.03178 s Remaining CPU time: 1791.97 s 8.05/8.12 c core #295 8.05/8.12 c Core size: 3 Core Weight: 1 Total Weight: -465 8.05/8.12 c Elapsed CPU time: 8.06577 s Remaining CPU time: 1791.93 s 8.05/8.15 c core #296 8.05/8.15 c Core size: 3 Core Weight: 1 Total Weight: -464 8.05/8.15 c Elapsed CPU time: 8.09977 s Remaining CPU time: 1791.9 s 8.05/8.19 c core #297 8.05/8.19 c Core size: 3 Core Weight: 1 Total Weight: -463 8.05/8.19 c Elapsed CPU time: 8.13376 s Remaining CPU time: 1791.87 s 8.15/8.22 c core #298 8.15/8.22 c Core size: 3 Core Weight: 1 Total Weight: -462 8.15/8.22 c Elapsed CPU time: 8.16776 s Remaining CPU time: 1791.83 s 8.15/8.26 c core #299 8.15/8.26 c Core size: 3 Core Weight: 1 Total Weight: -461 8.15/8.26 c Elapsed CPU time: 8.20275 s Remaining CPU time: 1791.8 s 8.15/8.29 c core #300 8.15/8.29 c Core size: 3 Core Weight: 1 Total Weight: -460 8.15/8.29 c Elapsed CPU time: 8.23775 s Remaining CPU time: 1791.76 s 8.25/8.33 c core #301 8.25/8.33 c Core size: 3 Core Weight: 1 Total Weight: -459 8.25/8.33 c Elapsed CPU time: 8.27174 s Remaining CPU time: 1791.73 s 8.25/8.36 c core #302 8.25/8.36 c Core size: 3 Core Weight: 1 Total Weight: -458 8.25/8.36 c Elapsed CPU time: 8.30574 s Remaining CPU time: 1791.69 s 8.25/8.40 c core #303 8.25/8.40 c Core size: 3 Core Weight: 1 Total Weight: -457 8.25/8.40 c Elapsed CPU time: 8.34073 s Remaining CPU time: 1791.66 s 8.35/8.43 c core #304 8.35/8.43 c Core size: 3 Core Weight: 1 Total Weight: -456 8.35/8.43 c Elapsed CPU time: 8.37573 s Remaining CPU time: 1791.62 s 8.35/8.47 c core #305 8.35/8.47 c Core size: 3 Core Weight: 1 Total Weight: -455 8.35/8.47 c Elapsed CPU time: 8.41072 s Remaining CPU time: 1791.59 s 8.44/8.50 c core #306 8.44/8.50 c Core size: 3 Core Weight: 1 Total Weight: -454 8.44/8.50 c Elapsed CPU time: 8.44572 s Remaining CPU time: 1791.55 s 8.44/8.54 c core #307 8.44/8.54 c Core size: 3 Core Weight: 1 Total Weight: -453 8.44/8.54 c Elapsed CPU time: 8.48071 s Remaining CPU time: 1791.52 s 8.44/8.57 c core #308 8.44/8.57 c Core size: 3 Core Weight: 1 Total Weight: -452 8.44/8.57 c Elapsed CPU time: 8.5167 s Remaining CPU time: 1791.48 s 8.54/8.61 c core #309 8.54/8.61 c Core size: 3 Core Weight: 1 Total Weight: -451 8.54/8.61 c Elapsed CPU time: 8.5517 s Remaining CPU time: 1791.45 s 8.54/8.64 c core #310 8.54/8.64 c Core size: 3 Core Weight: 1 Total Weight: -450 8.54/8.64 c Elapsed CPU time: 8.58669 s Remaining CPU time: 1791.41 s 8.54/8.68 c core #311 8.54/8.68 c Core size: 3 Core Weight: 1 Total Weight: -449 8.54/8.68 c Elapsed CPU time: 8.62269 s Remaining CPU time: 1791.38 s 8.65/8.72 c core #312 8.65/8.72 c Core size: 3 Core Weight: 1 Total Weight: -448 8.65/8.72 c Elapsed CPU time: 8.65868 s Remaining CPU time: 1791.34 s 8.65/8.75 c core #313 8.65/8.75 c Core size: 3 Core Weight: 1 Total Weight: -447 8.65/8.75 c Elapsed CPU time: 8.69368 s Remaining CPU time: 1791.31 s 8.65/8.79 c core #314 8.65/8.79 c Core size: 3 Core Weight: 1 Total Weight: -446 8.65/8.79 c Elapsed CPU time: 8.72867 s Remaining CPU time: 1791.27 s 8.74/8.82 c core #315 8.74/8.82 c Core size: 3 Core Weight: 1 Total Weight: -445 8.74/8.82 c Elapsed CPU time: 8.76367 s Remaining CPU time: 1791.24 s 8.74/8.86 c core #316 8.74/8.86 c Core size: 3 Core Weight: 1 Total Weight: -444 8.74/8.86 c Elapsed CPU time: 8.79966 s Remaining CPU time: 1791.2 s 8.84/8.90 c core #317 8.84/8.90 c Core size: 3 Core Weight: 1 Total Weight: -443 8.84/8.90 c Elapsed CPU time: 8.83566 s Remaining CPU time: 1791.16 s 8.84/8.93 c core #318 8.84/8.93 c Core size: 3 Core Weight: 1 Total Weight: -442 8.84/8.93 c Elapsed CPU time: 8.87165 s Remaining CPU time: 1791.13 s 8.84/8.97 c core #319 8.84/8.97 c Core size: 3 Core Weight: 1 Total Weight: -441 8.84/8.97 c Elapsed CPU time: 8.90765 s Remaining CPU time: 1791.09 s 8.94/9.01 c core #320 8.94/9.01 c Core size: 3 Core Weight: 1 Total Weight: -440 8.94/9.01 c Elapsed CPU time: 8.94364 s Remaining CPU time: 1791.06 s 8.94/9.04 c core #321 8.94/9.04 c Core size: 3 Core Weight: 1 Total Weight: -439 8.94/9.04 c Elapsed CPU time: 8.97864 s Remaining CPU time: 1791.02 s 8.94/9.08 c core #322 8.94/9.08 c Core size: 3 Core Weight: 1 Total Weight: -438 8.94/9.08 c Elapsed CPU time: 9.01463 s Remaining CPU time: 1790.99 s 9.05/9.12 c core #323 9.05/9.12 c Core size: 3 Core Weight: 1 Total Weight: -437 9.05/9.12 c Elapsed CPU time: 9.05162 s Remaining CPU time: 1790.95 s 9.05/9.15 c core #324 9.05/9.15 c Core size: 3 Core Weight: 1 Total Weight: -436 9.05/9.15 c Elapsed CPU time: 9.08762 s Remaining CPU time: 1790.91 s 9.05/9.19 c core #325 9.05/9.19 c Core size: 3 Core Weight: 1 Total Weight: -435 9.05/9.19 c Elapsed CPU time: 9.12461 s Remaining CPU time: 1790.88 s 9.15/9.23 c core #326 9.15/9.23 c Core size: 3 Core Weight: 1 Total Weight: -434 9.15/9.23 c Elapsed CPU time: 9.16161 s Remaining CPU time: 1790.84 s 9.15/9.26 c core #327 9.15/9.26 c Core size: 3 Core Weight: 1 Total Weight: -433 9.15/9.26 c Elapsed CPU time: 9.1986 s Remaining CPU time: 1790.8 s 9.25/9.30 c core #328 9.25/9.30 c Core size: 3 Core Weight: 1 Total Weight: -432 9.25/9.30 c Elapsed CPU time: 9.23559 s Remaining CPU time: 1790.76 s 9.25/9.34 c core #329 9.25/9.34 c Core size: 3 Core Weight: 1 Total Weight: -431 9.25/9.34 c Elapsed CPU time: 9.27259 s Remaining CPU time: 1790.73 s 9.25/9.38 c core #330 9.25/9.38 c Core size: 3 Core Weight: 1 Total Weight: -430 9.25/9.38 c Elapsed CPU time: 9.30958 s Remaining CPU time: 1790.69 s 9.35/9.41 c core #331 9.35/9.41 c Core size: 3 Core Weight: 1 Total Weight: -429 9.35/9.41 c Elapsed CPU time: 9.34758 s Remaining CPU time: 1790.65 s 9.35/9.45 c core #332 9.35/9.45 c Core size: 3 Core Weight: 1 Total Weight: -428 9.35/9.45 c Elapsed CPU time: 9.38457 s Remaining CPU time: 1790.62 s 9.35/9.49 c core #333 9.35/9.49 c Core size: 3 Core Weight: 1 Total Weight: -427 9.35/9.49 c Elapsed CPU time: 9.42357 s Remaining CPU time: 1790.58 s 9.45/9.53 c core #334 9.45/9.53 c Core size: 3 Core Weight: 1 Total Weight: -426 9.45/9.53 c Elapsed CPU time: 9.45956 s Remaining CPU time: 1790.54 s 9.45/9.56 c core #335 9.45/9.56 c Core size: 3 Core Weight: 1 Total Weight: -425 9.45/9.56 c Elapsed CPU time: 9.49656 s Remaining CPU time: 1790.5 s 9.54/9.60 c core #336 9.54/9.60 c Core size: 3 Core Weight: 1 Total Weight: -424 9.54/9.60 c Elapsed CPU time: 9.53555 s Remaining CPU time: 1790.46 s 9.54/9.64 c core #337 9.54/9.64 c Core size: 3 Core Weight: 1 Total Weight: -423 9.54/9.64 c Elapsed CPU time: 9.57354 s Remaining CPU time: 1790.43 s 9.54/9.68 c core #338 9.54/9.68 c Core size: 3 Core Weight: 1 Total Weight: -422 9.54/9.68 c Elapsed CPU time: 9.61054 s Remaining CPU time: 1790.39 s 9.64/9.71 c core #339 9.64/9.71 c Core size: 3 Core Weight: 1 Total Weight: -421 9.64/9.72 c Elapsed CPU time: 9.64753 s Remaining CPU time: 1790.35 s 9.64/9.75 c core #340 9.64/9.75 c Core size: 3 Core Weight: 1 Total Weight: -420 9.64/9.75 c Elapsed CPU time: 9.68553 s Remaining CPU time: 1790.31 s 9.64/9.79 c core #341 9.64/9.79 c Core size: 3 Core Weight: 1 Total Weight: -419 9.64/9.79 c Elapsed CPU time: 9.72352 s Remaining CPU time: 1790.28 s 9.75/9.83 c core #342 9.75/9.83 c Core size: 3 Core Weight: 1 Total Weight: -418 9.75/9.83 c Elapsed CPU time: 9.76052 s Remaining CPU time: 1790.24 s 9.75/9.87 c core #343 9.75/9.87 c Core size: 3 Core Weight: 1 Total Weight: -417 9.75/9.87 c Elapsed CPU time: 9.79751 s Remaining CPU time: 1790.2 s 9.85/9.90 c core #344 9.85/9.90 c Core size: 3 Core Weight: 1 Total Weight: -416 9.85/9.90 c Elapsed CPU time: 9.8355 s Remaining CPU time: 1790.16 s 9.85/9.94 c core #345 9.85/9.94 c Core size: 3 Core Weight: 1 Total Weight: -415 9.85/9.94 c Elapsed CPU time: 9.8735 s Remaining CPU time: 1790.13 s 9.85/9.98 c core #346 9.85/9.98 c Core size: 3 Core Weight: 1 Total Weight: -414 9.85/9.98 c Elapsed CPU time: 9.91149 s Remaining CPU time: 1790.09 s 9.94/10.02 c core #347 9.94/10.02 c Core size: 3 Core Weight: 1 Total Weight: -413 9.94/10.02 c Elapsed CPU time: 9.94849 s Remaining CPU time: 1790.05 s 9.94/10.06 c core #348 9.94/10.06 c Core size: 3 Core Weight: 1 Total Weight: -412 9.94/10.06 c Elapsed CPU time: 9.98648 s Remaining CPU time: 1790.01 s 9.94/10.09 c core #349 9.94/10.09 c Core size: 3 Core Weight: 1 Total Weight: -411 9.94/10.09 c Elapsed CPU time: 10.0245 s Remaining CPU time: 1789.98 s 10.04/10.13 c core #350 10.04/10.13 c Core size: 3 Core Weight: 1 Total Weight: -410 10.04/10.13 c Elapsed CPU time: 10.0625 s Remaining CPU time: 1789.94 s 10.04/10.17 c core #351 10.04/10.17 c Core size: 3 Core Weight: 1 Total Weight: -409 10.04/10.17 c Elapsed CPU time: 10.1015 s Remaining CPU time: 1789.9 s 10.14/10.21 c core #352 10.14/10.21 c Core size: 3 Core Weight: 1 Total Weight: -408 10.14/10.21 c Elapsed CPU time: 10.1395 s Remaining CPU time: 1789.86 s 10.14/10.25 c core #353 10.14/10.25 c Core size: 3 Core Weight: 1 Total Weight: -407 10.14/10.25 c Elapsed CPU time: 10.1785 s Remaining CPU time: 1789.82 s 10.14/10.29 c core #354 10.14/10.29 c Core size: 3 Core Weight: 1 Total Weight: -406 10.14/10.29 c Elapsed CPU time: 10.2164 s Remaining CPU time: 1789.78 s 10.24/10.32 c core #355 10.24/10.32 c Core size: 3 Core Weight: 1 Total Weight: -405 10.24/10.32 c Elapsed CPU time: 10.2554 s Remaining CPU time: 1789.74 s 10.24/10.36 c core #356 10.24/10.36 c Core size: 3 Core Weight: 1 Total Weight: -404 10.24/10.36 c Elapsed CPU time: 10.2944 s Remaining CPU time: 1789.71 s 10.34/10.40 c core #357 10.34/10.40 c Core size: 3 Core Weight: 1 Total Weight: -403 10.34/10.40 c Elapsed CPU time: 10.3334 s Remaining CPU time: 1789.67 s 10.34/10.44 c core #358 10.34/10.44 c Core size: 3 Core Weight: 1 Total Weight: -402 10.34/10.44 c Elapsed CPU time: 10.3714 s Remaining CPU time: 1789.63 s 10.34/10.48 c core #359 10.34/10.48 c Core size: 3 Core Weight: 1 Total Weight: -401 10.34/10.48 c Elapsed CPU time: 10.4104 s Remaining CPU time: 1789.59 s 10.44/10.52 c core #360 10.44/10.52 c Core size: 3 Core Weight: 1 Total Weight: -400 10.44/10.52 c Elapsed CPU time: 10.4484 s Remaining CPU time: 1789.55 s 10.44/10.56 c core #361 10.44/10.56 c Core size: 3 Core Weight: 1 Total Weight: -399 10.44/10.56 c Elapsed CPU time: 10.4874 s Remaining CPU time: 1789.51 s 10.54/10.60 c core #362 10.54/10.60 c Core size: 3 Core Weight: 1 Total Weight: -398 10.54/10.60 c Elapsed CPU time: 10.5264 s Remaining CPU time: 1789.47 s 10.54/10.64 c core #363 10.54/10.64 c Core size: 3 Core Weight: 1 Total Weight: -397 10.54/10.64 c Elapsed CPU time: 10.5644 s Remaining CPU time: 1789.44 s 10.54/10.68 c core #364 10.54/10.68 c Core size: 3 Core Weight: 1 Total Weight: -396 10.54/10.68 c Elapsed CPU time: 10.6034 s Remaining CPU time: 1789.4 s 10.64/10.71 c core #365 10.64/10.71 c Core size: 3 Core Weight: 1 Total Weight: -395 10.64/10.72 c Elapsed CPU time: 10.6424 s Remaining CPU time: 1789.36 s 10.64/10.75 c core #366 10.64/10.75 c Core size: 3 Core Weight: 1 Total Weight: -394 10.64/10.75 c Elapsed CPU time: 10.6814 s Remaining CPU time: 1789.32 s 10.64/10.79 c core #367 10.64/10.79 c Core size: 3 Core Weight: 1 Total Weight: -393 10.64/10.79 c Elapsed CPU time: 10.7204 s Remaining CPU time: 1789.28 s 10.74/10.83 c core #368 10.74/10.83 c Core size: 3 Core Weight: 1 Total Weight: -392 10.74/10.83 c Elapsed CPU time: 10.7594 s Remaining CPU time: 1789.24 s 10.74/10.87 c core #369 10.74/10.87 c Core size: 3 Core Weight: 1 Total Weight: -391 10.74/10.87 c Elapsed CPU time: 10.7984 s Remaining CPU time: 1789.2 s 10.84/10.91 c core #370 10.84/10.91 c Core size: 3 Core Weight: 1 Total Weight: -390 10.84/10.91 c Elapsed CPU time: 10.8384 s Remaining CPU time: 1789.16 s 10.84/10.95 c core #371 10.84/10.95 c Core size: 3 Core Weight: 1 Total Weight: -389 10.84/10.95 c Elapsed CPU time: 10.8773 s Remaining CPU time: 1789.12 s 10.84/10.99 c core #372 10.84/10.99 c Core size: 3 Core Weight: 1 Total Weight: -388 10.84/10.99 c Elapsed CPU time: 10.9173 s Remaining CPU time: 1789.08 s 10.94/11.03 c core #373 10.94/11.03 c Core size: 3 Core Weight: 1 Total Weight: -387 10.94/11.03 c Elapsed CPU time: 10.9573 s Remaining CPU time: 1789.04 s 10.94/11.07 c core #374 10.94/11.07 c Core size: 3 Core Weight: 1 Total Weight: -386 10.94/11.07 c Elapsed CPU time: 10.9973 s Remaining CPU time: 1789 s 11.04/11.11 c core #375 11.04/11.11 c Core size: 3 Core Weight: 1 Total Weight: -385 11.04/11.11 c Elapsed CPU time: 11.0363 s Remaining CPU time: 1788.96 s 11.04/11.15 c core #376 11.04/11.15 c Core size: 3 Core Weight: 1 Total Weight: -384 11.04/11.15 c Elapsed CPU time: 11.0753 s Remaining CPU time: 1788.92 s 11.04/11.19 c core #377 11.04/11.19 c Core size: 3 Core Weight: 1 Total Weight: -383 11.04/11.19 c Elapsed CPU time: 11.1143 s Remaining CPU time: 1788.89 s 11.14/11.23 c core #378 11.14/11.23 c Core size: 3 Core Weight: 1 Total Weight: -382 11.14/11.23 c Elapsed CPU time: 11.1543 s Remaining CPU time: 1788.85 s 11.14/11.27 c core #379 11.14/11.27 c Core size: 3 Core Weight: 1 Total Weight: -381 11.14/11.27 c Elapsed CPU time: 11.1943 s Remaining CPU time: 1788.81 s 11.23/11.31 c core #380 11.23/11.31 c Core size: 6 Core Weight: 1 Total Weight: -380 11.23/11.31 c Elapsed CPU time: 11.2343 s Remaining CPU time: 1788.77 s 11.23/11.35 c core #381 11.23/11.35 c Core size: 14 Core Weight: 1 Total Weight: -379 11.23/11.35 c Elapsed CPU time: 11.2743 s Remaining CPU time: 1788.73 s 11.23/11.39 c ============================[ Search Statistics ]============================== 11.23/11.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.23/11.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.23/11.39 c =============================================================================== 11.23/11.39 c | 0 | 1528 42236 84486 | 14078 0 nan | 0.000 % | 11.23/11.40 c =============================================================================== 11.23/11.40 c core #382 11.23/11.40 c Core size: 10 Core Weight: 1 Total Weight: -378 11.23/11.40 c Elapsed CPU time: 11.3173 s Remaining CPU time: 1788.68 s 11.33/11.44 c ============================[ Search Statistics ]============================== 11.33/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.33/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.33/11.44 c =============================================================================== 11.33/11.44 c | 0 | 1532 42237 84494 | 14079 0 nan | 0.000 % | 11.33/11.44 c =============================================================================== 11.33/11.44 c core #383 11.33/11.44 c Core size: 17 Core Weight: 1 Total Weight: -377 11.33/11.44 c Elapsed CPU time: 11.3603 s Remaining CPU time: 1788.64 s 11.33/11.48 c ============================[ Search Statistics ]============================== 11.33/11.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.33/11.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.33/11.48 c =============================================================================== 11.33/11.48 c | 0 | 1539 42238 84508 | 14079 0 nan | 0.000 % | 11.33/11.48 c =============================================================================== 11.33/11.48 c core #384 11.33/11.48 c Core size: 10 Core Weight: 1 Total Weight: -376 11.33/11.48 c Elapsed CPU time: 11.4033 s Remaining CPU time: 1788.6 s 11.43/11.52 c ============================[ Search Statistics ]============================== 11.43/11.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.43/11.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.43/11.52 c =============================================================================== 11.43/11.52 c | 0 | 1543 42239 84516 | 14079 0 nan | 0.000 % | 11.43/11.52 c =============================================================================== 11.43/11.52 c core #385 11.43/11.52 c Core size: 31 Core Weight: 1 Total Weight: -375 11.43/11.52 c Elapsed CPU time: 11.4443 s Remaining CPU time: 1788.56 s 11.43/11.56 c ============================[ Search Statistics ]============================== 11.43/11.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.43/11.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.43/11.56 c =============================================================================== 11.43/11.56 c | 0 | 1556 42240 84542 | 14080 0 nan | 0.000 % | 11.43/11.56 c =============================================================================== 11.43/11.56 c core #386 11.43/11.56 c Core size: 17 Core Weight: 1 Total Weight: -374 11.43/11.56 c Elapsed CPU time: 11.4833 s Remaining CPU time: 1788.52 s 11.53/11.60 c ============================[ Search Statistics ]============================== 11.53/11.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.53/11.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.53/11.60 c =============================================================================== 11.53/11.60 c | 0 | 1563 42241 84556 | 14080 0 nan | 0.000 % | 11.53/11.60 c =============================================================================== 11.53/11.60 c core #387 11.53/11.60 c Core size: 13 Core Weight: 1 Total Weight: -373 11.53/11.60 c Elapsed CPU time: 11.5232 s Remaining CPU time: 1788.48 s 11.53/11.64 c ============================[ Search Statistics ]============================== 11.53/11.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.53/11.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.53/11.64 c =============================================================================== 11.53/11.64 c | 0 | 1569 42242 84568 | 14080 0 nan | 0.000 % | 11.53/11.64 c =============================================================================== 11.53/11.64 c core #388 11.53/11.64 c Core size: 13 Core Weight: 1 Total Weight: -372 11.53/11.64 c Elapsed CPU time: 11.5622 s Remaining CPU time: 1788.44 s 11.53/11.68 c ============================[ Search Statistics ]============================== 11.53/11.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.53/11.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.53/11.68 c =============================================================================== 11.53/11.68 c | 0 | 1575 42243 84580 | 14081 0 nan | 0.000 % | 11.53/11.69 c =============================================================================== 11.53/11.69 c core #389 11.53/11.69 c Core size: 13 Core Weight: 1 Total Weight: -371 11.53/11.69 c Elapsed CPU time: 11.6032 s Remaining CPU time: 1788.4 s 11.63/11.72 c ============================[ Search Statistics ]============================== 11.63/11.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.63/11.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.63/11.72 c =============================================================================== 11.63/11.72 c | 0 | 1581 42244 84592 | 14081 0 nan | 0.000 % | 11.63/11.72 c =============================================================================== 11.63/11.73 c core #390 11.63/11.73 c Core size: 10 Core Weight: 1 Total Weight: -370 11.63/11.73 c Elapsed CPU time: 11.6432 s Remaining CPU time: 1788.36 s 11.63/11.76 c ============================[ Search Statistics ]============================== 11.63/11.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.63/11.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.63/11.76 c =============================================================================== 11.63/11.76 c | 0 | 1585 42245 84600 | 14081 0 nan | 0.000 % | 11.63/11.76 c =============================================================================== 11.63/11.76 c core #391 11.63/11.76 c Core size: 13 Core Weight: 1 Total Weight: -369 11.63/11.76 c Elapsed CPU time: 11.6822 s Remaining CPU time: 1788.32 s 11.73/11.80 c ============================[ Search Statistics ]============================== 11.73/11.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.73/11.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.73/11.80 c =============================================================================== 11.73/11.80 c | 0 | 1591 42246 84612 | 14082 0 nan | 0.000 % | 11.73/11.81 c =============================================================================== 11.73/11.81 c core #392 11.73/11.81 c Core size: 31 Core Weight: 1 Total Weight: -368 11.73/11.81 c Elapsed CPU time: 11.7232 s Remaining CPU time: 1788.28 s 11.73/11.84 c ============================[ Search Statistics ]============================== 11.73/11.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.73/11.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.73/11.84 c =============================================================================== 11.73/11.84 c | 0 | 1604 42247 84638 | 14082 0 nan | 0.000 % | 11.73/11.84 c =============================================================================== 11.73/11.84 c core #393 11.73/11.84 c Core size: 27 Core Weight: 1 Total Weight: -367 11.73/11.84 c Elapsed CPU time: 11.7612 s Remaining CPU time: 1788.24 s 11.73/11.88 c ============================[ Search Statistics ]============================== 11.73/11.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.73/11.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.73/11.88 c =============================================================================== 11.73/11.88 c | 0 | 1616 42248 84662 | 14082 0 nan | 0.000 % | 11.73/11.89 c =============================================================================== 11.73/11.89 c core #394 11.73/11.89 c Core size: 10 Core Weight: 1 Total Weight: -366 11.73/11.89 c Elapsed CPU time: 11.8032 s Remaining CPU time: 1788.2 s 11.83/11.92 c ============================[ Search Statistics ]============================== 11.83/11.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.83/11.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.83/11.92 c =============================================================================== 11.83/11.92 c | 0 | 1620 42249 84670 | 14083 0 nan | 0.000 % | 11.83/11.93 c =============================================================================== 11.83/11.93 c core #395 11.83/11.93 c Core size: 18 Core Weight: 1 Total Weight: -365 11.83/11.93 c Elapsed CPU time: 11.8412 s Remaining CPU time: 1788.16 s 11.83/11.96 c ============================[ Search Statistics ]============================== 11.83/11.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.83/11.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.83/11.96 c =============================================================================== 11.83/11.96 c | 0 | 1626 42250 84682 | 14083 0 nan | 0.000 % | 11.83/11.97 c =============================================================================== 11.83/11.97 c core #396 11.83/11.97 c Core size: 13 Core Weight: 1 Total Weight: -364 11.83/11.97 c Elapsed CPU time: 11.8832 s Remaining CPU time: 1788.12 s 11.93/12.01 c ============================[ Search Statistics ]============================== 11.93/12.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.93/12.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.93/12.01 c =============================================================================== 11.93/12.01 c | 0 | 1632 42251 84694 | 14083 0 nan | 0.000 % | 11.93/12.01 c =============================================================================== 11.93/12.01 c core #397 11.93/12.01 c Core size: 13 Core Weight: 1 Total Weight: -363 11.93/12.01 c Elapsed CPU time: 11.9242 s Remaining CPU time: 1788.08 s 11.93/12.05 c ============================[ Search Statistics ]============================== 11.93/12.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.93/12.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.93/12.05 c =============================================================================== 11.93/12.05 c | 0 | 1638 42252 84706 | 14084 0 nan | 0.000 % | 11.93/12.06 c =============================================================================== 11.93/12.06 c core #398 11.93/12.06 c Core size: 24 Core Weight: 1 Total Weight: -362 11.93/12.06 c Elapsed CPU time: 11.9662 s Remaining CPU time: 1788.03 s 11.93/12.10 c ============================[ Search Statistics ]============================== 11.93/12.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.93/12.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.93/12.10 c =============================================================================== 11.93/12.10 c | 0 | 1648 42253 84726 | 14084 0 nan | 0.000 % | 11.93/12.10 c =============================================================================== 11.93/12.10 c core #399 11.93/12.10 c Core size: 10 Core Weight: 1 Total Weight: -361 11.93/12.10 c Elapsed CPU time: 12.0112 s Remaining CPU time: 1787.99 s 12.03/12.14 c ============================[ Search Statistics ]============================== 12.03/12.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.03/12.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.03/12.14 c =============================================================================== 12.03/12.14 c | 0 | 1652 42254 84734 | 14084 0 nan | 0.000 % | 12.03/12.14 c =============================================================================== 12.03/12.14 c core #400 12.03/12.14 c Core size: 13 Core Weight: 1 Total Weight: -360 12.03/12.14 c Elapsed CPU time: 12.0552 s Remaining CPU time: 1787.94 s 12.03/12.18 c ============================[ Search Statistics ]============================== 12.03/12.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.03/12.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.03/12.18 c =============================================================================== 12.03/12.18 c | 0 | 1658 42255 84746 | 14085 0 nan | 0.000 % | 12.03/12.19 c =============================================================================== 12.03/12.19 c core #401 12.03/12.19 c Core size: 13 Core Weight: 1 Total Weight: -359 12.03/12.19 c Elapsed CPU time: 12.0972 s Remaining CPU time: 1787.9 s 12.12/12.22 c ============================[ Search Statistics ]============================== 12.12/12.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.12/12.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.12/12.22 c =============================================================================== 12.12/12.22 c | 0 | 1664 42256 84758 | 14085 0 nan | 0.000 % | 12.12/12.23 c =============================================================================== 12.12/12.23 c core #402 12.12/12.23 c Core size: 10 Core Weight: 1 Total Weight: -358 12.12/12.23 c Elapsed CPU time: 12.1372 s Remaining CPU time: 1787.86 s 12.12/12.27 c ============================[ Search Statistics ]============================== 12.12/12.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.12/12.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.12/12.27 c =============================================================================== 12.12/12.27 c | 0 | 1668 42257 84766 | 14085 0 nan | 0.000 % | 12.12/12.27 c =============================================================================== 12.12/12.27 c core #403 12.12/12.27 c Core size: 10 Core Weight: 1 Total Weight: -357 12.12/12.27 c Elapsed CPU time: 12.1771 s Remaining CPU time: 1787.82 s 12.22/12.31 c ============================[ Search Statistics ]============================== 12.22/12.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.22/12.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.22/12.31 c =============================================================================== 12.22/12.31 c | 0 | 1672 42258 84774 | 14086 0 nan | 0.000 % | 12.22/12.31 c =============================================================================== 12.22/12.31 c core #404 12.22/12.31 c Core size: 10 Core Weight: 1 Total Weight: -356 12.22/12.31 c Elapsed CPU time: 12.2221 s Remaining CPU time: 1787.78 s 12.22/12.35 c ============================[ Search Statistics ]============================== 12.22/12.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.22/12.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.22/12.35 c =============================================================================== 12.22/12.35 c | 0 | 1676 42259 84782 | 14086 0 nan | 0.000 % | 12.22/12.36 c =============================================================================== 12.22/12.36 c core #405 12.22/12.36 c Core size: 30 Core Weight: 1 Total Weight: -355 12.22/12.36 c Elapsed CPU time: 12.2641 s Remaining CPU time: 1787.74 s 12.32/12.40 c ============================[ Search Statistics ]============================== 12.32/12.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.32/12.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.32/12.40 c =============================================================================== 12.32/12.40 c | 0 | 1684 42260 84798 | 14086 0 nan | 0.000 % | 12.32/12.40 c =============================================================================== 12.32/12.40 c core #406 12.32/12.40 c Core size: 10 Core Weight: 1 Total Weight: -354 12.32/12.40 c Elapsed CPU time: 12.3081 s Remaining CPU time: 1787.69 s 12.32/12.44 c ============================[ Search Statistics ]============================== 12.32/12.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.32/12.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.32/12.44 c =============================================================================== 12.32/12.44 c | 0 | 1688 42261 84806 | 14087 0 nan | 0.000 % | 12.32/12.45 c =============================================================================== 12.32/12.45 c core #407 12.32/12.45 c Core size: 18 Core Weight: 1 Total Weight: -353 12.32/12.45 c Elapsed CPU time: 12.3511 s Remaining CPU time: 1787.65 s 12.32/12.49 c ============================[ Search Statistics ]============================== 12.32/12.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.32/12.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.32/12.49 c =============================================================================== 12.32/12.49 c | 0 | 1694 42262 84818 | 14087 0 nan | 0.000 % | 12.32/12.49 c =============================================================================== 12.32/12.49 c core #408 12.32/12.49 c Core size: 26 Core Weight: 1 Total Weight: -352 12.32/12.49 c Elapsed CPU time: 12.3961 s Remaining CPU time: 1787.6 s 12.42/12.53 c ============================[ Search Statistics ]============================== 12.42/12.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.42/12.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.42/12.53 c =============================================================================== 12.42/12.53 c | 0 | 1702 42263 84834 | 14087 0 nan | 0.000 % | 12.42/12.54 c =============================================================================== 12.42/12.54 c core #409 12.42/12.54 c Core size: 10 Core Weight: 1 Total Weight: -351 12.42/12.54 c Elapsed CPU time: 12.4411 s Remaining CPU time: 1787.56 s 12.42/12.58 c ============================[ Search Statistics ]============================== 12.42/12.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.42/12.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.42/12.58 c =============================================================================== 12.42/12.58 c | 0 | 1706 42264 84842 | 14088 0 nan | 0.000 % | 12.42/12.58 c =============================================================================== 12.42/12.58 c core #410 12.42/12.58 c Core size: 13 Core Weight: 1 Total Weight: -350 12.42/12.58 c Elapsed CPU time: 12.4851 s Remaining CPU time: 1787.51 s 12.52/12.62 c ============================[ Search Statistics ]============================== 12.52/12.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.52/12.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.52/12.62 c =============================================================================== 12.52/12.62 c | 0 | 1712 42265 84854 | 14088 0 nan | 0.000 % | 12.52/12.63 c =============================================================================== 12.52/12.63 c core #411 12.52/12.63 c Core size: 13 Core Weight: 1 Total Weight: -349 12.52/12.63 c Elapsed CPU time: 12.5291 s Remaining CPU time: 1787.47 s 12.52/12.66 c ============================[ Search Statistics ]============================== 12.52/12.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.52/12.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.52/12.66 c =============================================================================== 12.52/12.66 c | 0 | 1718 42266 84866 | 14088 0 nan | 0.000 % | 12.52/12.67 c =============================================================================== 12.52/12.67 c core #412 12.52/12.67 c Core size: 10 Core Weight: 1 Total Weight: -348 12.52/12.67 c Elapsed CPU time: 12.5711 s Remaining CPU time: 1787.43 s 12.61/12.71 c ============================[ Search Statistics ]============================== 12.61/12.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.61/12.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.61/12.71 c =============================================================================== 12.61/12.71 c | 0 | 1722 42267 84874 | 14089 0 nan | 0.000 % | 12.61/12.71 c =============================================================================== 12.61/12.71 c core #413 12.61/12.71 c Core size: 18 Core Weight: 1 Total Weight: -347 12.61/12.71 c Elapsed CPU time: 12.6141 s Remaining CPU time: 1787.39 s 12.61/12.75 c ============================[ Search Statistics ]============================== 12.61/12.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.61/12.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.61/12.75 c =============================================================================== 12.61/12.75 c | 0 | 1728 42268 84886 | 14089 0 nan | 0.000 % | 12.61/12.76 c =============================================================================== 12.61/12.76 c core #414 12.61/12.76 c Core size: 13 Core Weight: 1 Total Weight: -346 12.61/12.76 c Elapsed CPU time: 12.6581 s Remaining CPU time: 1787.34 s 12.61/12.79 c ============================[ Search Statistics ]============================== 12.61/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.61/12.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.61/12.79 c =============================================================================== 12.61/12.79 c | 0 | 1734 42269 84898 | 14089 0 nan | 0.000 % | 12.71/12.80 c =============================================================================== 12.71/12.80 c core #415 12.71/12.80 c Core size: 13 Core Weight: 1 Total Weight: -345 12.71/12.80 c Elapsed CPU time: 12.7021 s Remaining CPU time: 1787.3 s 12.71/12.84 c ============================[ Search Statistics ]============================== 12.71/12.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.71/12.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.71/12.84 c =============================================================================== 12.71/12.84 c | 0 | 1740 42270 84910 | 14090 0 nan | 0.000 % | 12.71/12.84 c =============================================================================== 12.71/12.84 c core #416 12.71/12.84 c Core size: 10 Core Weight: 1 Total Weight: -344 12.71/12.85 c Elapsed CPU time: 12.7471 s Remaining CPU time: 1787.25 s 12.71/12.88 c ============================[ Search Statistics ]============================== 12.71/12.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.71/12.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.71/12.88 c =============================================================================== 12.71/12.88 c | 0 | 1744 42271 84918 | 14090 0 nan | 0.000 % | 12.71/12.89 c =============================================================================== 12.71/12.89 c core #417 12.71/12.89 c Core size: 10 Core Weight: 1 Total Weight: -343 12.71/12.89 c Elapsed CPU time: 12.7901 s Remaining CPU time: 1787.21 s 12.81/12.93 c ============================[ Search Statistics ]============================== 12.81/12.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.81/12.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.81/12.93 c =============================================================================== 12.81/12.93 c | 0 | 1748 42272 84926 | 14090 0 nan | 0.000 % | 12.81/12.93 c =============================================================================== 12.81/12.93 c core #418 12.81/12.93 c Core size: 13 Core Weight: 1 Total Weight: -342 12.81/12.93 c Elapsed CPU time: 12.833 s Remaining CPU time: 1787.17 s 12.81/12.97 c ============================[ Search Statistics ]============================== 12.81/12.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.81/12.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.81/12.97 c =============================================================================== 12.81/12.97 c | 0 | 1754 42273 84938 | 14091 0 nan | 0.000 % | 12.81/12.98 c =============================================================================== 12.81/12.98 c core #419 12.81/12.98 c Core size: 10 Core Weight: 1 Total Weight: -341 12.81/12.98 c Elapsed CPU time: 12.879 s Remaining CPU time: 1787.12 s 12.92/13.02 c ============================[ Search Statistics ]============================== 12.92/13.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.92/13.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.92/13.02 c =============================================================================== 12.92/13.02 c | 0 | 1758 42274 84946 | 14091 0 nan | 0.000 % | 12.92/13.03 c =============================================================================== 12.92/13.03 c core #420 12.92/13.03 c Core size: 21 Core Weight: 1 Total Weight: -340 12.92/13.03 c Elapsed CPU time: 12.924 s Remaining CPU time: 1787.08 s 12.92/13.07 c ============================[ Search Statistics ]============================== 12.92/13.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.92/13.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.92/13.07 c =============================================================================== 12.92/13.07 c | 0 | 1766 42275 84962 | 14091 0 nan | 0.000 % | 12.92/13.07 c =============================================================================== 12.92/13.07 c core #421 12.92/13.07 c Core size: 13 Core Weight: 1 Total Weight: -339 12.92/13.07 c Elapsed CPU time: 12.97 s Remaining CPU time: 1787.03 s 13.02/13.11 c ============================[ Search Statistics ]============================== 13.02/13.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.02/13.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.02/13.11 c =============================================================================== 13.02/13.11 c | 0 | 1772 42276 84974 | 14092 0 nan | 0.000 % | 13.02/13.12 c =============================================================================== 13.02/13.12 c core #422 13.02/13.12 c Core size: 13 Core Weight: 1 Total Weight: -338 13.02/13.12 c Elapsed CPU time: 13.013 s Remaining CPU time: 1786.99 s 13.02/13.16 c ============================[ Search Statistics ]============================== 13.02/13.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.02/13.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.02/13.16 c =============================================================================== 13.02/13.16 c | 0 | 1778 42277 84986 | 14092 0 nan | 0.000 % | 13.02/13.16 c =============================================================================== 13.02/13.16 c core #423 13.02/13.16 c Core size: 10 Core Weight: 1 Total Weight: -337 13.02/13.16 c Elapsed CPU time: 13.057 s Remaining CPU time: 1786.94 s 13.12/13.20 c ============================[ Search Statistics ]============================== 13.12/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.12/13.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.12/13.20 c =============================================================================== 13.12/13.20 c | 0 | 1782 42278 84994 | 14092 0 nan | 0.000 % | 13.12/13.21 c =============================================================================== 13.12/13.21 c core #424 13.12/13.21 c Core size: 31 Core Weight: 1 Total Weight: -336 13.12/13.21 c Elapsed CPU time: 13.103 s Remaining CPU time: 1786.9 s 13.12/13.25 c ============================[ Search Statistics ]============================== 13.12/13.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.12/13.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.12/13.25 c =============================================================================== 13.12/13.25 c | 0 | 1792 42279 85014 | 14093 0 nan | 0.000 % | 13.12/13.25 c =============================================================================== 13.12/13.25 c core #425 13.12/13.25 c Core size: 10 Core Weight: 1 Total Weight: -335 13.12/13.25 c Elapsed CPU time: 13.149 s Remaining CPU time: 1786.85 s 13.12/13.30 c ============================[ Search Statistics ]============================== 13.12/13.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.12/13.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.12/13.30 c =============================================================================== 13.12/13.30 c | 0 | 1796 42280 85022 | 14093 0 nan | 0.000 % | 13.21/13.30 c =============================================================================== 13.21/13.30 c core #426 13.21/13.30 c Core size: 18 Core Weight: 1 Total Weight: -334 13.21/13.30 c Elapsed CPU time: 13.194 s Remaining CPU time: 1786.81 s 13.21/13.34 c ============================[ Search Statistics ]============================== 13.21/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.21/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.21/13.34 c =============================================================================== 13.21/13.34 c | 0 | 1802 42281 85034 | 14093 0 nan | 0.000 % | 13.21/13.35 c =============================================================================== 13.21/13.35 c core #427 13.21/13.35 c Core size: 13 Core Weight: 1 Total Weight: -333 13.21/13.35 c Elapsed CPU time: 13.237 s Remaining CPU time: 1786.76 s 13.21/13.39 c ============================[ Search Statistics ]============================== 13.21/13.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.21/13.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.21/13.39 c =============================================================================== 13.21/13.39 c | 0 | 1808 42282 85046 | 14094 0 nan | 0.000 % | 13.21/13.39 c =============================================================================== 13.21/13.39 c core #428 13.21/13.39 c Core size: 13 Core Weight: 1 Total Weight: -332 13.21/13.39 c Elapsed CPU time: 13.284 s Remaining CPU time: 1786.72 s 13.31/13.43 c ============================[ Search Statistics ]============================== 13.31/13.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.31/13.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.31/13.43 c =============================================================================== 13.31/13.43 c | 0 | 1814 42283 85058 | 14094 0 nan | 0.000 % | 13.31/13.44 c =============================================================================== 13.31/13.44 c core #429 13.31/13.44 c Core size: 10 Core Weight: 1 Total Weight: -331 13.31/13.44 c Elapsed CPU time: 13.33 s Remaining CPU time: 1786.67 s 13.31/13.48 c ============================[ Search Statistics ]============================== 13.31/13.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.31/13.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.31/13.48 c =============================================================================== 13.31/13.48 c | 0 | 1818 42284 85066 | 14094 0 nan | 0.000 % | 13.31/13.48 c =============================================================================== 13.31/13.48 c core #430 13.31/13.48 c Core size: 13 Core Weight: 1 Total Weight: -330 13.31/13.48 c Elapsed CPU time: 13.375 s Remaining CPU time: 1786.63 s 13.41/13.52 c ============================[ Search Statistics ]============================== 13.41/13.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.41/13.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.41/13.53 c =============================================================================== 13.41/13.53 c | 0 | 1824 42285 85078 | 14095 0 nan | 0.000 % | 13.41/13.53 c =============================================================================== 13.41/13.53 c core #431 13.41/13.53 c Core size: 36 Core Weight: 1 Total Weight: -329 13.41/13.53 c Elapsed CPU time: 13.42 s Remaining CPU time: 1786.58 s 13.41/13.57 c ============================[ Search Statistics ]============================== 13.41/13.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.41/13.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.41/13.57 c =============================================================================== 13.41/13.57 c | 0 | 1836 42286 85102 | 14095 0 nan | 0.000 % | 13.41/13.58 c =============================================================================== 13.41/13.58 c core #432 13.41/13.58 c Core size: 10 Core Weight: 1 Total Weight: -328 13.41/13.58 c Elapsed CPU time: 13.467 s Remaining CPU time: 1786.53 s 13.51/13.62 c ============================[ Search Statistics ]============================== 13.51/13.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.51/13.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.51/13.62 c =============================================================================== 13.51/13.62 c | 0 | 1840 42287 85110 | 14095 0 nan | 0.000 % | 13.51/13.62 c =============================================================================== 13.51/13.62 c core #433 13.51/13.62 c Core size: 10 Core Weight: 1 Total Weight: -327 13.51/13.62 c Elapsed CPU time: 13.5119 s Remaining CPU time: 1786.49 s 13.51/13.66 c ============================[ Search Statistics ]============================== 13.51/13.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.51/13.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.51/13.66 c =============================================================================== 13.51/13.66 c | 0 | 1844 42288 85118 | 14096 0 nan | 0.000 % | 13.51/13.67 c =============================================================================== 13.51/13.67 c core #434 13.51/13.67 c Core size: 24 Core Weight: 1 Total Weight: -326 13.51/13.67 c Elapsed CPU time: 13.5579 s Remaining CPU time: 1786.44 s 13.61/13.71 c ============================[ Search Statistics ]============================== 13.61/13.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.61/13.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.61/13.71 c =============================================================================== 13.61/13.71 c | 0 | 1854 42289 85138 | 14096 0 nan | 0.000 % | 13.61/13.72 c =============================================================================== 13.61/13.72 c core #435 13.61/13.72 c Core size: 13 Core Weight: 1 Total Weight: -325 13.61/13.72 c Elapsed CPU time: 13.6049 s Remaining CPU time: 1786.4 s 13.61/13.76 c ============================[ Search Statistics ]============================== 13.61/13.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.61/13.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.61/13.76 c =============================================================================== 13.61/13.76 c | 0 | 1860 42290 85150 | 14096 0 nan | 0.000 % | 13.61/13.76 c =============================================================================== 13.61/13.76 c core #436 13.61/13.76 c Core size: 13 Core Weight: 1 Total Weight: -324 13.61/13.76 c Elapsed CPU time: 13.6499 s Remaining CPU time: 1786.35 s 13.71/13.80 c ============================[ Search Statistics ]============================== 13.71/13.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.71/13.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.71/13.80 c =============================================================================== 13.71/13.80 c | 0 | 1866 42291 85162 | 14097 0 nan | 0.000 % | 13.71/13.81 c =============================================================================== 13.71/13.81 c core #437 13.71/13.81 c Core size: 24 Core Weight: 1 Total Weight: -323 13.71/13.81 c Elapsed CPU time: 13.6959 s Remaining CPU time: 1786.3 s 13.71/13.85 c ============================[ Search Statistics ]============================== 13.71/13.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.71/13.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.71/13.85 c =============================================================================== 13.71/13.85 c | 0 | 1876 42292 85182 | 14097 0 nan | 0.000 % | 13.71/13.86 c =============================================================================== 13.71/13.86 c core #438 13.71/13.86 c Core size: 10 Core Weight: 1 Total Weight: -322 13.71/13.86 c Elapsed CPU time: 13.7419 s Remaining CPU time: 1786.26 s 13.80/13.90 c ============================[ Search Statistics ]============================== 13.80/13.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.80/13.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.80/13.90 c =============================================================================== 13.80/13.90 c | 0 | 1880 42293 85190 | 14097 0 nan | 0.000 % | 13.80/13.91 c =============================================================================== 13.80/13.91 c core #439 13.80/13.91 c Core size: 10 Core Weight: 1 Total Weight: -321 13.80/13.91 c Elapsed CPU time: 13.7889 s Remaining CPU time: 1786.21 s 13.80/13.95 c ============================[ Search Statistics ]============================== 13.80/13.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.80/13.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.80/13.95 c =============================================================================== 13.80/13.95 c | 0 | 1884 42294 85198 | 14098 0 nan | 0.000 % | 13.80/13.95 c =============================================================================== 13.80/13.95 c core #440 13.80/13.95 c Core size: 30 Core Weight: 1 Total Weight: -320 13.80/13.95 c Elapsed CPU time: 13.8339 s Remaining CPU time: 1786.17 s 13.80/14.00 c ============================[ Search Statistics ]============================== 13.80/14.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.80/14.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.80/14.00 c =============================================================================== 13.80/14.00 c | 0 | 1892 42295 85214 | 14098 0 nan | 0.000 % | 13.90/14.00 c =============================================================================== 13.90/14.00 c core #441 13.90/14.00 c Core size: 13 Core Weight: 1 Total Weight: -319 13.90/14.00 c Elapsed CPU time: 13.8819 s Remaining CPU time: 1786.12 s 13.90/14.04 c ============================[ Search Statistics ]============================== 13.90/14.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.90/14.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.90/14.04 c =============================================================================== 13.90/14.04 c | 0 | 1898 42296 85226 | 14098 0 nan | 0.000 % | 13.90/14.05 c =============================================================================== 13.90/14.05 c core #442 13.90/14.05 c Core size: 13 Core Weight: 1 Total Weight: -318 13.90/14.05 c Elapsed CPU time: 13.9299 s Remaining CPU time: 1786.07 s 13.90/14.09 c ============================[ Search Statistics ]============================== 13.90/14.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.90/14.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.90/14.09 c =============================================================================== 13.90/14.09 c | 0 | 1904 42297 85238 | 14099 0 nan | 0.000 % | 14.00/14.10 c =============================================================================== 14.00/14.10 c core #443 14.00/14.10 c Core size: 13 Core Weight: 1 Total Weight: -317 14.00/14.10 c Elapsed CPU time: 13.9779 s Remaining CPU time: 1786.02 s 14.00/14.14 c ============================[ Search Statistics ]============================== 14.00/14.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.00/14.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.00/14.14 c =============================================================================== 14.00/14.14 c | 0 | 1910 42298 85250 | 14099 0 nan | 0.000 % | 14.00/14.14 c =============================================================================== 14.00/14.14 c core #444 14.00/14.14 c Core size: 21 Core Weight: 1 Total Weight: -316 14.00/14.14 c Elapsed CPU time: 14.0239 s Remaining CPU time: 1785.98 s 14.00/14.18 c ============================[ Search Statistics ]============================== 14.00/14.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.00/14.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.00/14.19 c =============================================================================== 14.00/14.19 c | 0 | 1918 42299 85266 | 14099 0 nan | 0.000 % | 14.00/14.19 c =============================================================================== 14.00/14.19 c core #445 14.00/14.19 c Core size: 26 Core Weight: 1 Total Weight: -315 14.00/14.19 c Elapsed CPU time: 14.0699 s Remaining CPU time: 1785.93 s 14.10/14.23 c ============================[ Search Statistics ]============================== 14.10/14.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.10/14.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.10/14.23 c =============================================================================== 14.10/14.23 c | 0 | 1926 42300 85282 | 14100 0 nan | 0.000 % | 14.10/14.24 c =============================================================================== 14.10/14.24 c core #446 14.10/14.24 c Core size: 10 Core Weight: 1 Total Weight: -314 14.10/14.24 c Elapsed CPU time: 14.1189 s Remaining CPU time: 1785.88 s 14.10/14.28 c ============================[ Search Statistics ]============================== 14.10/14.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.10/14.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.10/14.28 c =============================================================================== 14.10/14.28 c | 0 | 1930 42301 85290 | 14100 0 nan | 0.000 % | 14.10/14.29 c =============================================================================== 14.10/14.29 c core #447 14.10/14.29 c Core size: 13 Core Weight: 1 Total Weight: -313 14.10/14.29 c Elapsed CPU time: 14.1688 s Remaining CPU time: 1785.83 s 14.20/14.33 c ============================[ Search Statistics ]============================== 14.20/14.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.20/14.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.20/14.33 c =============================================================================== 14.20/14.33 c | 0 | 1936 42302 85302 | 14100 0 nan | 0.000 % | 14.20/14.34 c =============================================================================== 14.20/14.34 c core #448 14.20/14.34 c Core size: 10 Core Weight: 1 Total Weight: -312 14.20/14.34 c Elapsed CPU time: 14.2188 s Remaining CPU time: 1785.78 s 14.20/14.38 c ============================[ Search Statistics ]============================== 14.20/14.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.20/14.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.20/14.38 c =============================================================================== 14.20/14.38 c | 0 | 1940 42303 85310 | 14101 0 nan | 0.000 % | 14.20/14.39 c =============================================================================== 14.20/14.39 c core #449 14.20/14.39 c Core size: 18 Core Weight: 1 Total Weight: -311 14.20/14.39 c Elapsed CPU time: 14.2648 s Remaining CPU time: 1785.74 s 14.30/14.43 c ============================[ Search Statistics ]============================== 14.30/14.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.30/14.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.30/14.43 c =============================================================================== 14.30/14.43 c | 0 | 1946 42304 85322 | 14101 0 nan | 0.000 % | 14.30/14.44 c =============================================================================== 14.30/14.44 c core #450 14.30/14.44 c Core size: 13 Core Weight: 1 Total Weight: -310 14.30/14.44 c Elapsed CPU time: 14.3138 s Remaining CPU time: 1785.69 s 14.30/14.48 c ============================[ Search Statistics ]============================== 14.30/14.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.30/14.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.30/14.48 c =============================================================================== 14.30/14.48 c | 0 | 1952 42305 85334 | 14101 0 nan | 0.000 % | 14.30/14.48 c =============================================================================== 14.30/14.48 c core #451 14.30/14.48 c Core size: 13 Core Weight: 1 Total Weight: -309 14.30/14.48 c Elapsed CPU time: 14.3618 s Remaining CPU time: 1785.64 s 14.40/14.52 c ============================[ Search Statistics ]============================== 14.40/14.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.40/14.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.40/14.53 c =============================================================================== 14.40/14.53 c | 0 | 1958 42306 85346 | 14102 0 nan | 0.000 % | 14.40/14.53 c =============================================================================== 14.40/14.53 c core #452 14.40/14.53 c Core size: 13 Core Weight: 1 Total Weight: -308 14.40/14.53 c Elapsed CPU time: 14.4078 s Remaining CPU time: 1785.59 s 14.40/14.57 c ============================[ Search Statistics ]============================== 14.40/14.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.40/14.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.40/14.57 c =============================================================================== 14.40/14.58 c | 0 | 1964 42307 85358 | 14102 0 nan | 0.000 % | 14.40/14.58 c =============================================================================== 14.40/14.58 c core #453 14.40/14.58 c Core size: 13 Core Weight: 1 Total Weight: -307 14.40/14.58 c Elapsed CPU time: 14.4578 s Remaining CPU time: 1785.54 s 14.50/14.62 c ============================[ Search Statistics ]============================== 14.50/14.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.50/14.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.50/14.62 c =============================================================================== 14.50/14.62 c | 0 | 1970 42308 85370 | 14102 0 nan | 0.000 % | 14.50/14.63 c =============================================================================== 14.50/14.63 c core #454 14.50/14.63 c Core size: 10 Core Weight: 1 Total Weight: -306 14.50/14.63 c Elapsed CPU time: 14.5048 s Remaining CPU time: 1785.5 s 14.50/14.67 c ============================[ Search Statistics ]============================== 14.50/14.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.50/14.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.50/14.67 c =============================================================================== 14.50/14.67 c | 0 | 1974 42309 85378 | 14103 0 nan | 0.000 % | 14.50/14.68 c =============================================================================== 14.50/14.68 c core #455 14.50/14.68 c Core size: 13 Core Weight: 1 Total Weight: -305 14.50/14.68 c Elapsed CPU time: 14.5538 s Remaining CPU time: 1785.45 s 14.60/14.72 c ============================[ Search Statistics ]============================== 14.60/14.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.60/14.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.60/14.72 c =============================================================================== 14.60/14.72 c | 0 | 1980 42310 85390 | 14103 0 nan | 0.000 % | 14.60/14.73 c =============================================================================== 14.60/14.73 c core #456 14.60/14.73 c Core size: 30 Core Weight: 1 Total Weight: -304 14.60/14.73 c Elapsed CPU time: 14.6028 s Remaining CPU time: 1785.4 s 14.60/14.77 c ============================[ Search Statistics ]============================== 14.60/14.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.60/14.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.60/14.77 c =============================================================================== 14.60/14.77 c | 0 | 1988 42311 85406 | 14103 0 nan | 0.000 % | 14.60/14.77 c =============================================================================== 14.60/14.77 c core #457 14.60/14.77 c Core size: 13 Core Weight: 1 Total Weight: -303 14.60/14.77 c Elapsed CPU time: 14.6508 s Remaining CPU time: 1785.35 s 14.70/14.82 c ============================[ Search Statistics ]============================== 14.70/14.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.70/14.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.70/14.82 c =============================================================================== 14.70/14.82 c | 0 | 1994 42312 85418 | 14104 0 nan | 0.000 % | 14.70/14.82 c =============================================================================== 14.70/14.82 c core #458 14.70/14.82 c Core size: 13 Core Weight: 1 Total Weight: -302 14.70/14.82 c Elapsed CPU time: 14.6998 s Remaining CPU time: 1785.3 s 14.70/14.87 c ============================[ Search Statistics ]============================== 14.70/14.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.70/14.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.70/14.87 c =============================================================================== 14.70/14.87 c | 0 | 2000 42313 85430 | 14104 0 nan | 0.000 % | 14.70/14.87 c =============================================================================== 14.70/14.87 c core #459 14.70/14.87 c Core size: 13 Core Weight: 1 Total Weight: -301 14.70/14.87 c Elapsed CPU time: 14.7498 s Remaining CPU time: 1785.25 s 14.81/14.92 c ============================[ Search Statistics ]============================== 14.81/14.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.81/14.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.81/14.92 c =============================================================================== 14.81/14.92 c | 0 | 2006 42314 85442 | 14104 0 nan | 0.000 % | 14.81/14.92 c =============================================================================== 14.81/14.92 c core #460 14.81/14.92 c Core size: 10 Core Weight: 1 Total Weight: -300 14.81/14.92 c Elapsed CPU time: 14.7988 s Remaining CPU time: 1785.2 s 14.81/14.97 c ============================[ Search Statistics ]============================== 14.81/14.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.81/14.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.81/14.97 c =============================================================================== 14.81/14.97 c | 0 | 2010 42315 85450 | 14105 0 nan | 0.000 % | 14.81/14.97 c =============================================================================== 14.81/14.97 c core #461 14.81/14.97 c Core size: 10 Core Weight: 1 Total Weight: -299 14.81/14.97 c Elapsed CPU time: 14.8477 s Remaining CPU time: 1785.15 s 14.90/15.02 c ============================[ Search Statistics ]============================== 14.90/15.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.90/15.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.90/15.02 c =============================================================================== 14.90/15.02 c | 0 | 2014 42316 85458 | 14105 0 nan | 0.000 % | 14.90/15.03 c =============================================================================== 14.90/15.03 c core #462 14.90/15.03 c Core size: 30 Core Weight: 1 Total Weight: -298 14.90/15.03 c Elapsed CPU time: 14.8977 s Remaining CPU time: 1785.1 s 14.90/15.07 c ============================[ Search Statistics ]============================== 14.90/15.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.90/15.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.90/15.07 c =============================================================================== 14.90/15.07 c | 0 | 2022 42317 85474 | 14105 0 nan | 0.000 % | 14.90/15.07 c =============================================================================== 14.90/15.08 c core #463 14.90/15.08 c Core size: 13 Core Weight: 1 Total Weight: -297 14.90/15.08 c Elapsed CPU time: 14.9457 s Remaining CPU time: 1785.05 s 15.00/15.12 c ============================[ Search Statistics ]============================== 15.00/15.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.00/15.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.00/15.12 c =============================================================================== 15.00/15.12 c | 0 | 2028 42318 85486 | 14106 0 nan | 0.000 % | 15.00/15.13 c =============================================================================== 15.00/15.13 c core #464 15.00/15.13 c Core size: 13 Core Weight: 1 Total Weight: -296 15.00/15.13 c Elapsed CPU time: 14.9957 s Remaining CPU time: 1785 s 15.00/15.17 c ============================[ Search Statistics ]============================== 15.00/15.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.00/15.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.00/15.17 c =============================================================================== 15.00/15.17 c | 0 | 2034 42319 85498 | 14106 0 nan | 0.000 % | 15.00/15.17 c =============================================================================== 15.00/15.17 c core #465 15.00/15.17 c Core size: 10 Core Weight: 1 Total Weight: -295 15.00/15.17 c Elapsed CPU time: 15.0427 s Remaining CPU time: 1784.96 s 15.10/15.22 c ============================[ Search Statistics ]============================== 15.10/15.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.10/15.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.10/15.22 c =============================================================================== 15.10/15.22 c | 0 | 2038 42320 85506 | 14106 0 nan | 0.000 % | 15.10/15.22 c =============================================================================== 15.10/15.22 c core #466 15.10/15.22 c Core size: 13 Core Weight: 1 Total Weight: -294 15.10/15.22 c Elapsed CPU time: 15.0897 s Remaining CPU time: 1784.91 s 15.10/15.27 c ============================[ Search Statistics ]============================== 15.10/15.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.10/15.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.10/15.27 c =============================================================================== 15.10/15.27 c | 0 | 2044 42321 85518 | 14107 0 nan | 0.000 % | 15.10/15.27 c =============================================================================== 15.10/15.27 c core #467 15.10/15.27 c Core size: 10 Core Weight: 1 Total Weight: -293 15.10/15.27 c Elapsed CPU time: 15.1397 s Remaining CPU time: 1784.86 s 15.20/15.32 c ============================[ Search Statistics ]============================== 15.20/15.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.20/15.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.20/15.32 c =============================================================================== 15.20/15.32 c | 0 | 2048 42322 85526 | 14107 0 nan | 0.000 % | 15.20/15.32 c =============================================================================== 15.20/15.32 c core #468 15.20/15.32 c Core size: 10 Core Weight: 1 Total Weight: -292 15.20/15.32 c Elapsed CPU time: 15.1887 s Remaining CPU time: 1784.81 s 15.20/15.37 c ============================[ Search Statistics ]============================== 15.20/15.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.20/15.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.20/15.37 c =============================================================================== 15.20/15.37 c | 0 | 2052 42323 85534 | 14107 0 nan | 0.000 % | 15.20/15.37 c =============================================================================== 15.20/15.37 c core #469 15.20/15.37 c Core size: 13 Core Weight: 1 Total Weight: -291 15.20/15.37 c Elapsed CPU time: 15.2377 s Remaining CPU time: 1784.76 s 15.30/15.42 c ============================[ Search Statistics ]============================== 15.30/15.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.30/15.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.30/15.42 c =============================================================================== 15.30/15.42 c | 0 | 2058 42324 85546 | 14108 0 nan | 0.000 % | 15.30/15.42 c =============================================================================== 15.30/15.42 c core #470 15.30/15.42 c Core size: 13 Core Weight: 1 Total Weight: -290 15.30/15.42 c Elapsed CPU time: 15.2877 s Remaining CPU time: 1784.71 s 15.30/15.47 c ============================[ Search Statistics ]============================== 15.30/15.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.30/15.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.30/15.47 c =============================================================================== 15.30/15.47 c | 0 | 2064 42325 85558 | 14108 0 nan | 0.000 % | 15.30/15.47 c =============================================================================== 15.30/15.47 c core #471 15.30/15.47 c Core size: 27 Core Weight: 1 Total Weight: -289 15.30/15.47 c Elapsed CPU time: 15.3387 s Remaining CPU time: 1784.66 s 15.40/15.52 c ============================[ Search Statistics ]============================== 15.40/15.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.40/15.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.40/15.52 c =============================================================================== 15.40/15.52 c | 0 | 2076 42326 85582 | 14108 0 nan | 0.000 % | 15.40/15.52 c =============================================================================== 15.40/15.52 c core #472 15.40/15.52 c Core size: 10 Core Weight: 1 Total Weight: -288 15.40/15.52 c Elapsed CPU time: 15.3887 s Remaining CPU time: 1784.61 s 15.40/15.57 c ============================[ Search Statistics ]============================== 15.40/15.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.40/15.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.40/15.57 c =============================================================================== 15.40/15.57 c | 0 | 2080 42327 85590 | 14109 0 nan | 0.000 % | 15.40/15.58 c =============================================================================== 15.40/15.58 c core #473 15.40/15.58 c Core size: 10 Core Weight: 1 Total Weight: -287 15.40/15.58 c Elapsed CPU time: 15.4397 s Remaining CPU time: 1784.56 s 15.50/15.62 c ============================[ Search Statistics ]============================== 15.50/15.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.50/15.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.50/15.62 c =============================================================================== 15.50/15.62 c | 0 | 2084 42328 85598 | 14109 0 nan | 0.000 % | 15.50/15.62 c =============================================================================== 15.50/15.62 c core #474 15.50/15.62 c Core size: 10 Core Weight: 1 Total Weight: -286 15.50/15.62 c Elapsed CPU time: 15.4876 s Remaining CPU time: 1784.51 s 15.50/15.67 c ============================[ Search Statistics ]============================== 15.50/15.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.50/15.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.50/15.67 c =============================================================================== 15.50/15.67 c | 0 | 2088 42329 85606 | 14109 0 nan | 0.000 % | 15.50/15.67 c =============================================================================== 15.50/15.68 c core #475 15.50/15.68 c Core size: 18 Core Weight: 1 Total Weight: -285 15.50/15.68 c Elapsed CPU time: 15.5366 s Remaining CPU time: 1784.46 s 15.59/15.72 c ============================[ Search Statistics ]============================== 15.59/15.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.72 c =============================================================================== 15.59/15.72 c | 0 | 2094 42330 85618 | 14110 0 nan | 0.000 % | 15.59/15.73 c =============================================================================== 15.59/15.73 c core #476 15.59/15.73 c Core size: 13 Core Weight: 1 Total Weight: -284 15.59/15.73 c Elapsed CPU time: 15.5886 s Remaining CPU time: 1784.41 s 15.59/15.77 c ============================[ Search Statistics ]============================== 15.59/15.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.77 c =============================================================================== 15.59/15.77 c | 0 | 2100 42331 85630 | 14110 0 nan | 0.000 % | 15.59/15.78 c =============================================================================== 15.59/15.78 c core #477 15.59/15.78 c Core size: 13 Core Weight: 1 Total Weight: -283 15.59/15.78 c Elapsed CPU time: 15.6376 s Remaining CPU time: 1784.36 s 15.69/15.82 c ============================[ Search Statistics ]============================== 15.69/15.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.82 c =============================================================================== 15.69/15.82 c | 0 | 2106 42332 85642 | 14110 0 nan | 0.000 % | 15.69/15.83 c =============================================================================== 15.69/15.83 c core #478 15.69/15.83 c Core size: 27 Core Weight: 1 Total Weight: -282 15.69/15.83 c Elapsed CPU time: 15.6856 s Remaining CPU time: 1784.31 s 15.69/15.87 c ============================[ Search Statistics ]============================== 15.69/15.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.87 c =============================================================================== 15.69/15.87 c | 0 | 2118 42333 85666 | 14111 0 nan | 0.000 % | 15.69/15.88 c =============================================================================== 15.69/15.88 c core #479 15.69/15.88 c Core size: 18 Core Weight: 1 Total Weight: -281 15.69/15.88 c Elapsed CPU time: 15.7366 s Remaining CPU time: 1784.26 s 15.79/15.92 c ============================[ Search Statistics ]============================== 15.79/15.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.92 c =============================================================================== 15.79/15.92 c | 0 | 2124 42334 85678 | 14111 0 nan | 0.000 % | 15.79/15.93 c =============================================================================== 15.79/15.93 c core #480 15.79/15.93 c Core size: 42 Core Weight: 1 Total Weight: -280 15.79/15.93 c Elapsed CPU time: 15.7886 s Remaining CPU time: 1784.21 s 15.79/15.98 c ============================[ Search Statistics ]============================== 15.79/15.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.98 c =============================================================================== 15.79/15.98 c | 0 | 2134 42335 85698 | 14111 0 nan | 0.000 % | 15.79/15.98 c =============================================================================== 15.79/15.98 c core #481 15.79/15.98 c Core size: 10 Core Weight: 1 Total Weight: -279 15.79/15.98 c Elapsed CPU time: 15.8396 s Remaining CPU time: 1784.16 s 15.89/16.03 c ============================[ Search Statistics ]============================== 15.89/16.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/16.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/16.03 c =============================================================================== 15.89/16.03 c | 0 | 2138 42336 85706 | 14112 0 nan | 0.000 % | 15.89/16.04 c =============================================================================== 15.89/16.04 c core #482 15.89/16.04 c Core size: 10 Core Weight: 1 Total Weight: -278 15.89/16.04 c Elapsed CPU time: 15.8916 s Remaining CPU time: 1784.11 s 15.89/16.08 c ============================[ Search Statistics ]============================== 15.89/16.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/16.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/16.08 c =============================================================================== 15.89/16.08 c | 0 | 2142 42337 85714 | 14112 0 nan | 0.000 % | 15.89/16.09 c =============================================================================== 15.89/16.09 c core #483 15.89/16.09 c Core size: 13 Core Weight: 1 Total Weight: -277 15.89/16.09 c Elapsed CPU time: 15.9426 s Remaining CPU time: 1784.06 s 15.99/16.13 c ============================[ Search Statistics ]============================== 15.99/16.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.99/16.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.99/16.13 c =============================================================================== 15.99/16.13 c | 0 | 2148 42338 85726 | 14112 0 nan | 0.000 % | 15.99/16.14 c =============================================================================== 15.99/16.14 c core #484 15.99/16.14 c Core size: 13 Core Weight: 1 Total Weight: -276 15.99/16.14 c Elapsed CPU time: 15.9946 s Remaining CPU time: 1784.01 s 15.99/16.18 c ============================[ Search Statistics ]============================== 15.99/16.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.99/16.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.99/16.18 c =============================================================================== 15.99/16.18 c | 0 | 2154 42339 85738 | 14113 0 nan | 0.000 % | 15.99/16.19 c =============================================================================== 15.99/16.19 c core #485 15.99/16.19 c Core size: 13 Core Weight: 1 Total Weight: -275 15.99/16.19 c Elapsed CPU time: 16.0446 s Remaining CPU time: 1783.96 s 16.09/16.23 c ============================[ Search Statistics ]============================== 16.09/16.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.09/16.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.09/16.23 c =============================================================================== 16.09/16.23 c | 0 | 2160 42340 85750 | 14113 0 nan | 0.000 % | 16.09/16.24 c =============================================================================== 16.09/16.24 c core #486 16.09/16.24 c Core size: 13 Core Weight: 1 Total Weight: -274 16.09/16.24 c Elapsed CPU time: 16.0946 s Remaining CPU time: 1783.91 s 16.09/16.28 c ============================[ Search Statistics ]============================== 16.09/16.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.09/16.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.09/16.28 c =============================================================================== 16.09/16.28 c | 0 | 2166 42341 85762 | 14113 0 nan | 0.000 % | 16.09/16.29 c =============================================================================== 16.09/16.29 c core #487 16.09/16.29 c Core size: 13 Core Weight: 1 Total Weight: -273 16.09/16.29 c Elapsed CPU time: 16.1445 s Remaining CPU time: 1783.86 s 16.19/16.34 c ============================[ Search Statistics ]============================== 16.19/16.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.19/16.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.19/16.34 c =============================================================================== 16.19/16.34 c | 0 | 2172 42342 85774 | 14114 0 nan | 0.000 % | 16.19/16.34 c =============================================================================== 16.19/16.34 c core #488 16.19/16.34 c Core size: 13 Core Weight: 1 Total Weight: -272 16.19/16.34 c Elapsed CPU time: 16.1955 s Remaining CPU time: 1783.8 s 16.19/16.39 c ============================[ Search Statistics ]============================== 16.19/16.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.19/16.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.19/16.39 c =============================================================================== 16.19/16.39 c | 0 | 2178 42343 85786 | 14114 0 nan | 0.000 % | 16.19/16.39 c =============================================================================== 16.19/16.39 c core #489 16.19/16.39 c Core size: 13 Core Weight: 1 Total Weight: -271 16.19/16.39 c Elapsed CPU time: 16.2445 s Remaining CPU time: 1783.76 s 16.29/16.44 c ============================[ Search Statistics ]============================== 16.29/16.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.29/16.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.29/16.44 c =============================================================================== 16.29/16.44 c | 0 | 2184 42344 85798 | 14114 0 nan | 0.000 % | 16.29/16.44 c =============================================================================== 16.29/16.44 c core #490 16.29/16.44 c Core size: 13 Core Weight: 1 Total Weight: -270 16.29/16.44 c Elapsed CPU time: 16.2965 s Remaining CPU time: 1783.7 s 16.29/16.49 c ============================[ Search Statistics ]============================== 16.29/16.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.29/16.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.29/16.49 c =============================================================================== 16.29/16.49 c | 0 | 2190 42345 85810 | 14115 0 nan | 0.000 % | 16.29/16.49 c =============================================================================== 16.29/16.49 c core #491 16.29/16.49 c Core size: 10 Core Weight: 1 Total Weight: -269 16.29/16.49 c Elapsed CPU time: 16.3445 s Remaining CPU time: 1783.66 s 16.38/16.54 c ============================[ Search Statistics ]============================== 16.38/16.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.38/16.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.38/16.54 c =============================================================================== 16.38/16.54 c | 0 | 2194 42346 85818 | 14115 0 nan | 0.000 % | 16.38/16.55 c =============================================================================== 16.38/16.55 c core #492 16.38/16.55 c Core size: 13 Core Weight: 1 Total Weight: -268 16.38/16.55 c Elapsed CPU time: 16.3965 s Remaining CPU time: 1783.6 s 16.38/16.59 c ============================[ Search Statistics ]============================== 16.38/16.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.38/16.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.38/16.59 c =============================================================================== 16.38/16.59 c | 0 | 2200 42347 85830 | 14115 0 nan | 0.000 % | 16.38/16.60 c =============================================================================== 16.38/16.60 c core #493 16.38/16.60 c Core size: 27 Core Weight: 1 Total Weight: -267 16.38/16.60 c Elapsed CPU time: 16.4465 s Remaining CPU time: 1783.55 s 16.48/16.64 c ============================[ Search Statistics ]============================== 16.48/16.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.48/16.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.48/16.64 c =============================================================================== 16.48/16.64 c | 0 | 2212 42348 85854 | 14116 0 nan | 0.000 % | 16.48/16.65 c =============================================================================== 16.48/16.65 c core #494 16.48/16.65 c Core size: 13 Core Weight: 1 Total Weight: -266 16.48/16.65 c Elapsed CPU time: 16.4985 s Remaining CPU time: 1783.5 s 16.48/16.70 c ============================[ Search Statistics ]============================== 16.48/16.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.48/16.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.48/16.70 c =============================================================================== 16.48/16.70 c | 0 | 2218 42349 85866 | 14116 0 nan | 0.000 % | 16.58/16.70 c =============================================================================== 16.58/16.70 c core #495 16.58/16.70 c Core size: 10 Core Weight: 1 Total Weight: -265 16.58/16.70 c Elapsed CPU time: 16.5505 s Remaining CPU time: 1783.45 s 16.58/16.75 c ============================[ Search Statistics ]============================== 16.58/16.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.75 c =============================================================================== 16.58/16.75 c | 0 | 2222 42350 85874 | 14116 0 nan | 0.000 % | 16.58/16.75 c =============================================================================== 16.58/16.76 c core #496 16.58/16.76 c Core size: 13 Core Weight: 1 Total Weight: -264 16.58/16.76 c Elapsed CPU time: 16.6025 s Remaining CPU time: 1783.4 s 16.68/16.80 c ============================[ Search Statistics ]============================== 16.68/16.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.80 c =============================================================================== 16.68/16.80 c | 0 | 2228 42351 85886 | 14117 0 nan | 0.000 % | 16.68/16.81 c =============================================================================== 16.68/16.81 c core #497 16.68/16.81 c Core size: 13 Core Weight: 1 Total Weight: -263 16.68/16.81 c Elapsed CPU time: 16.6555 s Remaining CPU time: 1783.34 s 16.68/16.85 c ============================[ Search Statistics ]============================== 16.68/16.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.86 c =============================================================================== 16.68/16.86 c | 0 | 2234 42352 85898 | 14117 0 nan | 0.000 % | 16.68/16.86 c =============================================================================== 16.68/16.86 c core #498 16.68/16.86 c Core size: 10 Core Weight: 1 Total Weight: -262 16.68/16.86 c Elapsed CPU time: 16.7095 s Remaining CPU time: 1783.29 s 16.78/16.91 c ============================[ Search Statistics ]============================== 16.78/16.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.91 c =============================================================================== 16.78/16.91 c | 0 | 2238 42353 85906 | 14117 0 nan | 0.000 % | 16.78/16.91 c =============================================================================== 16.78/16.91 c core #499 16.78/16.91 c Core size: 24 Core Weight: 1 Total Weight: -261 16.78/16.91 c Elapsed CPU time: 16.7595 s Remaining CPU time: 1783.24 s 16.78/16.96 c ============================[ Search Statistics ]============================== 16.78/16.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.96 c =============================================================================== 16.78/16.96 c | 0 | 2248 42354 85926 | 14118 0 nan | 0.000 % | 16.78/16.97 c =============================================================================== 16.78/16.97 c core #500 16.78/16.97 c Core size: 10 Core Weight: 1 Total Weight: -260 16.78/16.97 c Elapsed CPU time: 16.8124 s Remaining CPU time: 1783.19 s 16.88/17.01 c ============================[ Search Statistics ]============================== 16.88/17.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.88/17.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.88/17.01 c =============================================================================== 16.88/17.01 c | 0 | 2252 42355 85934 | 14118 0 nan | 0.000 % | 16.88/17.02 c =============================================================================== 16.88/17.02 c core #501 16.88/17.02 c Core size: 13 Core Weight: 1 Total Weight: -259 16.88/17.02 c Elapsed CPU time: 16.8644 s Remaining CPU time: 1783.14 s 16.88/17.06 c ============================[ Search Statistics ]============================== 16.88/17.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.88/17.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.88/17.06 c =============================================================================== 16.88/17.06 c | 0 | 2258 42356 85946 | 14118 0 nan | 0.000 % | 16.88/17.07 c =============================================================================== 16.88/17.07 c core #502 16.88/17.07 c Core size: 10 Core Weight: 1 Total Weight: -258 16.88/17.07 c Elapsed CPU time: 16.9154 s Remaining CPU time: 1783.08 s 16.98/17.12 c ============================[ Search Statistics ]============================== 16.98/17.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.98/17.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.98/17.12 c =============================================================================== 16.98/17.12 c | 0 | 2262 42357 85954 | 14119 0 nan | 0.000 % | 16.98/17.12 c =============================================================================== 16.98/17.12 c core #503 16.98/17.12 c Core size: 53 Core Weight: 1 Total Weight: -257 16.98/17.12 c Elapsed CPU time: 16.9654 s Remaining CPU time: 1783.03 s 16.98/17.17 c ============================[ Search Statistics ]============================== 16.98/17.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.98/17.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.98/17.17 c =============================================================================== 16.98/17.17 c | 0 | 2282 42358 85994 | 14119 0 nan | 0.000 % | 16.98/17.18 c =============================================================================== 16.98/17.18 c core #504 16.98/17.18 c Core size: 13 Core Weight: 1 Total Weight: -256 16.98/17.18 c Elapsed CPU time: 17.0184 s Remaining CPU time: 1782.98 s 17.07/17.22 c ============================[ Search Statistics ]============================== 17.07/17.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.07/17.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.07/17.22 c =============================================================================== 17.07/17.22 c | 0 | 2288 42359 86006 | 14119 0 nan | 0.000 % | 17.07/17.23 c =============================================================================== 17.07/17.23 c core #505 17.07/17.23 c Core size: 13 Core Weight: 1 Total Weight: -255 17.07/17.23 c Elapsed CPU time: 17.0694 s Remaining CPU time: 1782.93 s 17.07/17.28 c ============================[ Search Statistics ]============================== 17.07/17.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.07/17.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.07/17.28 c =============================================================================== 17.07/17.28 c | 0 | 2294 42360 86018 | 14120 0 nan | 0.000 % | 17.07/17.28 c =============================================================================== 17.07/17.28 c core #506 17.07/17.28 c Core size: 10 Core Weight: 1 Total Weight: -254 17.07/17.28 c Elapsed CPU time: 17.1254 s Remaining CPU time: 1782.87 s 17.17/17.33 c ============================[ Search Statistics ]============================== 17.17/17.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.17/17.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.17/17.33 c =============================================================================== 17.17/17.33 c | 0 | 2298 42361 86026 | 14120 0 nan | 0.000 % | 17.17/17.33 c =============================================================================== 17.17/17.33 c core #507 17.17/17.33 c Core size: 10 Core Weight: 1 Total Weight: -253 17.17/17.33 c Elapsed CPU time: 17.1764 s Remaining CPU time: 1782.82 s 17.17/17.38 c ============================[ Search Statistics ]============================== 17.17/17.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.17/17.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.17/17.38 c =============================================================================== 17.17/17.38 c | 0 | 2302 42362 86034 | 14120 0 nan | 0.000 % | 17.17/17.39 c =============================================================================== 17.17/17.39 c core #508 17.17/17.39 c Core size: 13 Core Weight: 1 Total Weight: -252 17.17/17.39 c Elapsed CPU time: 17.2294 s Remaining CPU time: 1782.77 s 17.27/17.44 c ============================[ Search Statistics ]============================== 17.27/17.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.27/17.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.27/17.44 c =============================================================================== 17.27/17.44 c | 0 | 2308 42363 86046 | 14121 0 nan | 0.000 % | 17.27/17.44 c =============================================================================== 17.27/17.44 c core #509 17.27/17.44 c Core size: 13 Core Weight: 1 Total Weight: -251 17.27/17.44 c Elapsed CPU time: 17.2824 s Remaining CPU time: 1782.72 s 17.27/17.49 c ============================[ Search Statistics ]============================== 17.27/17.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.27/17.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.27/17.49 c =============================================================================== 17.27/17.49 c | 0 | 2314 42364 86058 | 14121 0 nan | 0.000 % | 17.27/17.50 c =============================================================================== 17.27/17.50 c core #510 17.27/17.50 c Core size: 13 Core Weight: 1 Total Weight: -250 17.27/17.50 c Elapsed CPU time: 17.3364 s Remaining CPU time: 1782.66 s 17.37/17.54 c ============================[ Search Statistics ]============================== 17.37/17.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.37/17.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.37/17.55 c =============================================================================== 17.37/17.55 c | 0 | 2320 42365 86070 | 14121 0 nan | 0.000 % | 17.37/17.55 c =============================================================================== 17.37/17.55 c core #511 17.37/17.55 c Core size: 10 Core Weight: 1 Total Weight: -249 17.37/17.55 c Elapsed CPU time: 17.3914 s Remaining CPU time: 1782.61 s 17.37/17.60 c ============================[ Search Statistics ]============================== 17.37/17.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.37/17.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.37/17.60 c =============================================================================== 17.37/17.60 c | 0 | 2324 42366 86078 | 14122 0 nan | 0.000 % | 17.47/17.61 c =============================================================================== 17.47/17.61 c core #512 17.47/17.61 c Core size: 13 Core Weight: 1 Total Weight: -248 17.47/17.61 c Elapsed CPU time: 17.4443 s Remaining CPU time: 1782.56 s 17.47/17.65 c ============================[ Search Statistics ]============================== 17.47/17.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.47/17.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.47/17.65 c =============================================================================== 17.47/17.65 c | 0 | 2330 42367 86090 | 14122 0 nan | 0.000 % | 17.47/17.66 c =============================================================================== 17.47/17.66 c core #513 17.47/17.66 c Core size: 13 Core Weight: 1 Total Weight: -247 17.47/17.66 c Elapsed CPU time: 17.4953 s Remaining CPU time: 1782.5 s 17.57/17.70 c ============================[ Search Statistics ]============================== 17.57/17.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.57/17.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.57/17.70 c =============================================================================== 17.57/17.70 c | 0 | 2336 42368 86102 | 14122 0 nan | 0.000 % | 17.57/17.71 c =============================================================================== 17.57/17.71 c core #514 17.57/17.71 c Core size: 30 Core Weight: 1 Total Weight: -246 17.57/17.71 c Elapsed CPU time: 17.5453 s Remaining CPU time: 1782.45 s 17.57/17.76 c ============================[ Search Statistics ]============================== 17.57/17.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.57/17.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.57/17.76 c =============================================================================== 17.57/17.76 c | 0 | 2344 42369 86118 | 14123 0 nan | 0.000 % | 17.57/17.76 c =============================================================================== 17.57/17.76 c core #515 17.57/17.76 c Core size: 10 Core Weight: 1 Total Weight: -245 17.57/17.76 c Elapsed CPU time: 17.5993 s Remaining CPU time: 1782.4 s 17.68/17.81 c ============================[ Search Statistics ]============================== 17.68/17.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.81 c =============================================================================== 17.68/17.81 c | 0 | 2348 42370 86126 | 14123 0 nan | 0.000 % | 17.68/17.82 c =============================================================================== 17.68/17.82 c core #516 17.68/17.82 c Core size: 13 Core Weight: 1 Total Weight: -244 17.68/17.82 c Elapsed CPU time: 17.6533 s Remaining CPU time: 1782.35 s 17.68/17.87 c ============================[ Search Statistics ]============================== 17.68/17.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.87 c =============================================================================== 17.68/17.87 c | 0 | 2354 42371 86138 | 14123 0 nan | 0.000 % | 17.68/17.87 c =============================================================================== 17.68/17.87 c core #517 17.68/17.87 c Core size: 10 Core Weight: 1 Total Weight: -243 17.68/17.87 c Elapsed CPU time: 17.7063 s Remaining CPU time: 1782.29 s 17.78/17.92 c ============================[ Search Statistics ]============================== 17.78/17.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.92 c =============================================================================== 17.78/17.92 c | 0 | 2358 42372 86146 | 14124 0 nan | 0.000 % | 17.78/17.92 c =============================================================================== 17.78/17.92 c core #518 17.78/17.92 c Core size: 10 Core Weight: 1 Total Weight: -242 17.78/17.92 c Elapsed CPU time: 17.7573 s Remaining CPU time: 1782.24 s 17.78/17.97 c ============================[ Search Statistics ]============================== 17.78/17.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.97 c =============================================================================== 17.78/17.97 c | 0 | 2362 42373 86154 | 14124 0 nan | 0.000 % | 17.78/17.98 c =============================================================================== 17.78/17.98 c core #519 17.78/17.98 c Core size: 32 Core Weight: 1 Total Weight: -241 17.78/17.98 c Elapsed CPU time: 17.8123 s Remaining CPU time: 1782.19 s 17.87/18.03 c ============================[ Search Statistics ]============================== 17.87/18.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.87/18.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.87/18.03 c =============================================================================== 17.87/18.03 c | 0 | 2376 42374 86182 | 14124 0 nan | 0.000 % | 17.87/18.03 c =============================================================================== 17.87/18.03 c core #520 17.87/18.03 c Core size: 14 Core Weight: 1 Total Weight: -240 17.87/18.03 c Elapsed CPU time: 17.8673 s Remaining CPU time: 1782.13 s 17.87/18.08 c ============================[ Search Statistics ]============================== 17.87/18.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.87/18.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.87/18.08 c =============================================================================== 17.87/18.08 c | 0 | 2382 42375 86194 | 14125 0 nan | 0.000 % | 17.87/18.09 c =============================================================================== 17.87/18.09 c core #521 17.87/18.09 c Core size: 10 Core Weight: 1 Total Weight: -239 17.87/18.09 c Elapsed CPU time: 17.9193 s Remaining CPU time: 1782.08 s 17.97/18.14 c ============================[ Search Statistics ]============================== 17.97/18.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.97/18.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.97/18.14 c =============================================================================== 17.97/18.14 c | 0 | 2386 42376 86202 | 14125 0 nan | 0.000 % | 17.97/18.14 c =============================================================================== 17.97/18.14 c core #522 17.97/18.14 c Core size: 10 Core Weight: 1 Total Weight: -238 17.97/18.14 c Elapsed CPU time: 17.9743 s Remaining CPU time: 1782.03 s 17.97/18.19 c ============================[ Search Statistics ]============================== 17.97/18.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.97/18.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.97/18.19 c =============================================================================== 17.97/18.19 c | 0 | 2390 42377 86210 | 14125 0 nan | 0.000 % | 18.07/18.20 c =============================================================================== 18.07/18.20 c core #523 18.07/18.20 c Core size: 10 Core Weight: 1 Total Weight: -237 18.07/18.20 c Elapsed CPU time: 18.0273 s Remaining CPU time: 1781.97 s 18.07/18.24 c ============================[ Search Statistics ]============================== 18.07/18.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.07/18.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.07/18.24 c =============================================================================== 18.07/18.24 c | 0 | 2394 42378 86218 | 14126 0 nan | 0.000 % | 18.07/18.25 c =============================================================================== 18.07/18.25 c core #524 18.07/18.25 c Core size: 10 Core Weight: 1 Total Weight: -236 18.07/18.25 c Elapsed CPU time: 18.0813 s Remaining CPU time: 1781.92 s 18.17/18.30 c ============================[ Search Statistics ]============================== 18.17/18.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.17/18.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.17/18.30 c =============================================================================== 18.17/18.30 c | 0 | 2398 42379 86226 | 14126 0 nan | 0.000 % | 18.17/18.31 c =============================================================================== 18.17/18.31 c core #525 18.17/18.31 c Core size: 10 Core Weight: 1 Total Weight: -235 18.17/18.31 c Elapsed CPU time: 18.1352 s Remaining CPU time: 1781.86 s 18.17/18.35 c ============================[ Search Statistics ]============================== 18.17/18.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.17/18.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.17/18.35 c =============================================================================== 18.17/18.35 c | 0 | 2402 42380 86234 | 14126 0 nan | 0.000 % | 18.17/18.36 c =============================================================================== 18.17/18.36 c core #526 18.17/18.36 c Core size: 10 Core Weight: 1 Total Weight: -234 18.17/18.36 c Elapsed CPU time: 18.1882 s Remaining CPU time: 1781.81 s 18.27/18.40 c ============================[ Search Statistics ]============================== 18.27/18.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.27/18.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.27/18.40 c =============================================================================== 18.27/18.40 c | 0 | 2406 42381 86242 | 14127 0 nan | 0.000 % | 18.27/18.41 c =============================================================================== 18.27/18.41 c core #527 18.27/18.41 c Core size: 33 Core Weight: 1 Total Weight: -233 18.27/18.41 c Elapsed CPU time: 18.2392 s Remaining CPU time: 1781.76 s 18.27/18.46 c ============================[ Search Statistics ]============================== 18.27/18.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.27/18.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.27/18.46 c =============================================================================== 18.27/18.46 c | 0 | 2420 42382 86270 | 14127 0 nan | 0.000 % | 18.27/18.47 c =============================================================================== 18.27/18.47 c core #528 18.27/18.47 c Core size: 13 Core Weight: 1 Total Weight: -232 18.27/18.47 c Elapsed CPU time: 18.2932 s Remaining CPU time: 1781.71 s 18.37/18.51 c ============================[ Search Statistics ]============================== 18.37/18.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.37/18.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.37/18.51 c =============================================================================== 18.37/18.51 c | 0 | 2426 42383 86282 | 14127 0 nan | 0.000 % | 18.37/18.52 c =============================================================================== 18.37/18.52 c core #529 18.37/18.52 c Core size: 27 Core Weight: 1 Total Weight: -231 18.37/18.52 c Elapsed CPU time: 18.3482 s Remaining CPU time: 1781.65 s 18.37/18.57 c ============================[ Search Statistics ]============================== 18.37/18.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.37/18.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.37/18.57 c =============================================================================== 18.37/18.57 c | 0 | 2438 42384 86306 | 14128 0 nan | 0.000 % | 18.37/18.58 c =============================================================================== 18.37/18.58 c core #530 18.37/18.58 c Core size: 14 Core Weight: 1 Total Weight: -230 18.37/18.58 c Elapsed CPU time: 18.4032 s Remaining CPU time: 1781.6 s 18.47/18.62 c ============================[ Search Statistics ]============================== 18.47/18.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.47/18.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.47/18.62 c =============================================================================== 18.47/18.62 c | 0 | 2444 42385 86318 | 14128 0 nan | 0.000 % | 18.47/18.63 c =============================================================================== 18.47/18.63 c core #531 18.47/18.63 c Core size: 40 Core Weight: 1 Total Weight: -229 18.47/18.63 c Elapsed CPU time: 18.4572 s Remaining CPU time: 1781.54 s 18.47/18.68 c ============================[ Search Statistics ]============================== 18.47/18.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.47/18.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.47/18.68 c =============================================================================== 18.47/18.68 c | 0 | 2460 42386 86350 | 14128 0 nan | 0.000 % | 18.47/18.69 c =============================================================================== 18.47/18.69 c core #532 18.47/18.69 c Core size: 10 Core Weight: 1 Total Weight: -228 18.47/18.69 c Elapsed CPU time: 18.5132 s Remaining CPU time: 1781.49 s 18.57/18.73 c ============================[ Search Statistics ]============================== 18.57/18.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.73 c =============================================================================== 18.57/18.73 c | 0 | 2464 42387 86358 | 14129 0 nan | 0.000 % | 18.57/18.74 c =============================================================================== 18.57/18.74 c core #533 18.57/18.74 c Core size: 31 Core Weight: 1 Total Weight: -227 18.57/18.74 c Elapsed CPU time: 18.5642 s Remaining CPU time: 1781.44 s 18.57/18.79 c ============================[ Search Statistics ]============================== 18.57/18.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.79 c =============================================================================== 18.57/18.79 c | 0 | 2474 42388 86378 | 14129 0 nan | 0.000 % | 18.66/18.80 c =============================================================================== 18.66/18.80 c core #534 18.66/18.80 c Core size: 28 Core Weight: 1 Total Weight: -226 18.66/18.80 c Elapsed CPU time: 18.6192 s Remaining CPU time: 1781.38 s 18.66/18.85 c ============================[ Search Statistics ]============================== 18.66/18.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.66/18.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.66/18.85 c =============================================================================== 18.66/18.85 c | 0 | 2486 42389 86402 | 14129 0 nan | 0.000 % | 18.66/18.85 c =============================================================================== 18.66/18.85 c core #535 18.66/18.85 c Core size: 31 Core Weight: 1 Total Weight: -225 18.66/18.85 c Elapsed CPU time: 18.6742 s Remaining CPU time: 1781.33 s 18.76/18.90 c ============================[ Search Statistics ]============================== 18.76/18.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.76/18.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.76/18.90 c =============================================================================== 18.76/18.90 c | 0 | 2498 42390 86426 | 14130 0 nan | 0.000 % | 18.76/18.91 c =============================================================================== 18.76/18.91 c core #536 18.76/18.91 c Core size: 31 Core Weight: 1 Total Weight: -224 18.76/18.91 c Elapsed CPU time: 18.7292 s Remaining CPU time: 1781.27 s 18.76/18.96 c ============================[ Search Statistics ]============================== 18.76/18.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.76/18.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.76/18.96 c =============================================================================== 18.76/18.96 c | 0 | 2510 42391 86450 | 14130 0 nan | 0.000 % | 18.76/18.97 c =============================================================================== 18.76/18.97 c core #537 18.76/18.97 c Core size: 67 Core Weight: 1 Total Weight: -223 18.76/18.97 c Elapsed CPU time: 18.7821 s Remaining CPU time: 1781.22 s 18.87/19.01 c ============================[ Search Statistics ]============================== 18.87/19.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.87/19.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.87/19.01 c =============================================================================== 18.87/19.01 c | 0 | 2526 42392 86482 | 14130 0 nan | 0.000 % | 18.87/19.02 c =============================================================================== 18.87/19.02 c core #538 18.87/19.02 c Core size: 30 Core Weight: 1 Total Weight: -222 18.87/19.02 c Elapsed CPU time: 18.8371 s Remaining CPU time: 1781.16 s 18.87/19.07 c ============================[ Search Statistics ]============================== 18.87/19.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.87/19.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.87/19.07 c =============================================================================== 18.87/19.07 c | 0 | 2534 42393 86498 | 14131 0 nan | 0.000 % | 18.87/19.08 c | 101 | 2534 42393 86498 | 15544 101 11 | 0.000 % | 18.87/19.08 c =============================================================================== 18.87/19.08 c core #539 18.87/19.08 c Core size: 75 Core Weight: 1 Total Weight: -221 18.87/19.08 c Elapsed CPU time: 18.8981 s Remaining CPU time: 1781.1 s 18.97/19.13 c ============================[ Search Statistics ]============================== 18.97/19.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.13 c =============================================================================== 18.97/19.13 c | 0 | 2550 42394 86530 | 14131 0 nan | 0.000 % | 18.97/19.14 c =============================================================================== 18.97/19.14 c core #540 18.97/19.14 c Core size: 50 Core Weight: 1 Total Weight: -220 18.97/19.14 c Elapsed CPU time: 18.9571 s Remaining CPU time: 1781.04 s 18.97/19.19 c ============================[ Search Statistics ]============================== 18.97/19.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.19 c =============================================================================== 18.97/19.19 c | 0 | 2568 42395 86566 | 14131 0 nan | 0.000 % | 19.06/19.20 c =============================================================================== 19.06/19.20 c core #541 19.06/19.20 c Core size: 46 Core Weight: 1 Total Weight: -219 19.06/19.20 c Elapsed CPU time: 19.0111 s Remaining CPU time: 1780.99 s 19.06/19.25 c ============================[ Search Statistics ]============================== 19.06/19.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.06/19.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.06/19.25 c =============================================================================== 19.06/19.25 c | 0 | 2584 42396 86598 | 14132 0 nan | 0.000 % | 19.06/19.26 c | 102 | 2583 42396 86598 | 15545 102 17 | 0.039 % | 19.06/19.27 c | 254 | 2583 42396 86598 | 17099 254 20 | 0.039 % | 19.06/19.28 c | 480 | 2583 42396 86598 | 18809 480 22 | 0.039 % | 19.06/19.30 c | 820 | 2583 42396 86598 | 20690 820 23 | 0.039 % | 19.16/19.34 c | 1326 | 2583 42396 86598 | 22759 1326 24 | 0.039 % | 19.26/19.41 c | 2086 | 2583 42396 86598 | 25035 2086 25 | 0.039 % | 19.37/19.54 c | 3230 | 2574 42396 86598 | 27539 3227 25 | 0.387 % | 19.37/19.55 c =============================================================================== 19.37/19.58 c core #542 19.37/19.58 c Core size: 160 Core Weight: 1 Total Weight: -218 19.37/19.58 c Elapsed CPU time: 19.3861 s Remaining CPU time: 1780.61 s 19.47/19.63 c ============================[ Search Statistics ]============================== 19.47/19.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.63 c =============================================================================== 19.47/19.63 c | 0 | 2616 42397 86662 | 14132 0 nan | 0.000 % | 19.47/19.65 c | 102 | 2616 42397 86662 | 15545 102 20 | 0.000 % | 19.47/19.65 c =============================================================================== 19.47/19.65 c core #543 19.47/19.65 c Core size: 35 Core Weight: 1 Total Weight: -217 19.47/19.65 c Elapsed CPU time: 19.451 s Remaining CPU time: 1780.55 s 19.47/19.70 c ============================[ Search Statistics ]============================== 19.47/19.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.70 c =============================================================================== 19.47/19.70 c | 0 | 2628 42398 86686 | 14132 0 nan | 0.000 % | 19.57/19.70 c =============================================================================== 19.57/19.70 c core #544 19.57/19.70 c Core size: 44 Core Weight: 1 Total Weight: -216 19.57/19.70 c Elapsed CPU time: 19.505 s Remaining CPU time: 1780.49 s 19.57/19.75 c ============================[ Search Statistics ]============================== 19.57/19.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.57/19.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.57/19.75 c =============================================================================== 19.57/19.75 c | 0 | 2642 42399 86714 | 14133 0 nan | 0.000 % | 19.57/19.76 c =============================================================================== 19.57/19.76 c core #545 19.57/19.76 c Core size: 67 Core Weight: 1 Total Weight: -215 19.57/19.76 c Elapsed CPU time: 19.566 s Remaining CPU time: 1780.43 s 19.67/19.81 c ============================[ Search Statistics ]============================== 19.67/19.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.81 c =============================================================================== 19.67/19.81 c | 0 | 2660 42400 86750 | 14133 0 nan | 0.000 % | 19.67/19.82 c =============================================================================== 19.67/19.82 c core #546 19.67/19.82 c Core size: 30 Core Weight: 1 Total Weight: -214 19.67/19.82 c Elapsed CPU time: 19.619 s Remaining CPU time: 1780.38 s 19.67/19.87 c ============================[ Search Statistics ]============================== 19.67/19.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.87 c =============================================================================== 19.67/19.87 c | 0 | 2668 42401 86766 | 14133 0 nan | 0.000 % | 19.67/19.88 c | 100 | 2668 42401 86766 | 15547 100 20 | 0.000 % | 19.67/19.88 c | 250 | 2667 42401 86766 | 17101 250 22 | 0.037 % | 19.67/19.89 c | 478 | 2667 42401 86766 | 18811 478 27 | 0.037 % | 19.76/19.91 c | 818 | 2667 42401 86766 | 20693 818 31 | 0.037 % | 19.76/19.95 c | 1325 | 2666 42401 86766 | 22762 1325 31 | 0.075 % | 19.86/20.02 c | 2088 | 2653 42401 86766 | 25038 2088 31 | 0.562 % | 19.86/20.03 c =============================================================================== 19.86/20.04 c core #547 19.86/20.04 c Core size: 132 Core Weight: 1 Total Weight: -213 19.86/20.04 c Elapsed CPU time: 19.842 s Remaining CPU time: 1780.16 s 19.86/20.09 c ============================[ Search Statistics ]============================== 19.86/20.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/20.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/20.09 c =============================================================================== 19.86/20.09 c | 0 | 2694 42402 86818 | 14134 0 nan | 0.000 % | 19.96/20.10 c | 102 | 2694 42402 86818 | 15547 102 19 | 0.000 % | 19.96/20.11 c | 255 | 2690 42402 86818 | 17102 255 19 | 0.148 % | 19.96/20.12 c | 480 | 2681 42402 86818 | 18812 480 28 | 0.483 % | 19.96/20.14 c | 817 | 2675 42402 86818 | 20693 817 32 | 0.705 % | 19.96/20.17 c | 1326 | 2675 42402 86818 | 22762 1326 34 | 0.705 % | 20.05/20.23 c =============================================================================== 20.05/20.24 c core #548 20.05/20.24 c Core size: 192 Core Weight: 1 Total Weight: -212 20.05/20.24 c Elapsed CPU time: 20.03 s Remaining CPU time: 1779.97 s 20.05/20.29 c ============================[ Search Statistics ]============================== 20.05/20.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.05/20.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.05/20.29 c =============================================================================== 20.05/20.29 c | 0 | 2750 42403 86930 | 14134 0 nan | 0.000 % | 20.15/20.30 c =============================================================================== 20.15/20.30 c core #549 20.15/20.30 c Core size: 39 Core Weight: 1 Total Weight: -211 20.15/20.30 c Elapsed CPU time: 20.0889 s Remaining CPU time: 1779.91 s 20.15/20.35 c ============================[ Search Statistics ]============================== 20.15/20.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.15/20.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.15/20.35 c =============================================================================== 20.15/20.35 c | 0 | 2762 42404 86954 | 14134 0 nan | 0.000 % | 20.15/20.36 c =============================================================================== 20.15/20.36 c core #550 20.15/20.36 c Core size: 66 Core Weight: 1 Total Weight: -210 20.15/20.36 c Elapsed CPU time: 20.1489 s Remaining CPU time: 1779.85 s 20.25/20.41 c ============================[ Search Statistics ]============================== 20.25/20.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.25/20.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.25/20.41 c =============================================================================== 20.25/20.41 c | 0 | 2784 42405 86998 | 14135 0 nan | 0.000 % | 20.25/20.42 c =============================================================================== 20.25/20.42 c core #551 20.25/20.42 c Core size: 39 Core Weight: 1 Total Weight: -209 20.25/20.42 c Elapsed CPU time: 20.2119 s Remaining CPU time: 1779.79 s 20.25/20.47 c ============================[ Search Statistics ]============================== 20.25/20.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.25/20.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.25/20.47 c =============================================================================== 20.25/20.47 c | 0 | 2798 42406 87026 | 14135 0 nan | 0.000 % | 20.25/20.48 c | 100 | 2798 42406 87026 | 15548 100 36 | 0.000 % | 20.25/20.49 c | 252 | 2798 42406 87026 | 17103 252 31 | 0.000 % | 20.36/20.50 c | 477 | 2797 42406 87026 | 18814 477 35 | 0.036 % | 20.36/20.50 c =============================================================================== 20.36/20.50 c core #552 20.36/20.50 c Core size: 36 Core Weight: 1 Total Weight: -208 20.36/20.50 c Elapsed CPU time: 20.2909 s Remaining CPU time: 1779.71 s 20.36/20.55 c ============================[ Search Statistics ]============================== 20.36/20.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.36/20.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.36/20.55 c =============================================================================== 20.36/20.55 c | 0 | 2810 42407 87050 | 14135 0 nan | 0.000 % | 20.36/20.57 c | 100 | 2810 42407 87050 | 15549 100 33 | 0.000 % | 20.36/20.58 c | 250 | 2809 42407 87050 | 17104 250 26 | 0.036 % | 20.36/20.59 c | 476 | 2809 42407 87050 | 18814 476 33 | 0.036 % | 20.46/20.60 c | 813 | 2809 42407 87050 | 20696 813 38 | 0.036 % | 20.46/20.65 c | 1320 | 2788 42407 87050 | 22765 1320 43 | 0.783 % | 20.56/20.74 c | 2079 | 2786 42407 87050 | 25042 1992 50 | 0.854 % | 20.66/20.87 c | 3219 | 2785 42407 87050 | 27546 3132 52 | 0.890 % | 20.96/21.15 c | 4927 | 2785 42407 87050 | 30301 4840 56 | 0.925 % | 21.55/21.75 c | 7489 | 2784 42407 87050 | 33331 7380 59 | 0.925 % | 22.75/22.99 c | 11333 | 2783 42407 87050 | 36664 11224 60 | 0.961 % | 23.86/24.07 c =============================================================================== 24.06/24.28 c core #553 24.06/24.28 c Core size: 355 Core Weight: 1 Total Weight: -207 24.06/24.28 c Elapsed CPU time: 24.0363 s Remaining CPU time: 1775.96 s 24.15/24.35 c ============================[ Search Statistics ]============================== 24.15/24.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.15/24.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.15/24.35 c =============================================================================== 24.15/24.35 c | 0 | 2884 42408 87198 | 14136 0 nan | 0.000 % | 24.15/24.37 c | 101 | 2884 42408 87198 | 15549 101 9 | 0.000 % | 24.15/24.38 c | 253 | 2883 42408 87198 | 17104 253 12 | 0.035 % | 24.15/24.39 c | 478 | 2883 42408 87198 | 18815 478 14 | 0.035 % | 24.15/24.40 c =============================================================================== 24.25/24.40 c core #554 24.25/24.40 c Core size: 184 Core Weight: 1 Total Weight: -206 24.25/24.40 c Elapsed CPU time: 24.1493 s Remaining CPU time: 1775.85 s 24.25/24.44 c ============================[ Search Statistics ]============================== 24.25/24.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.25/24.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.25/24.44 c =============================================================================== 24.25/24.44 c | 0 | 2922 42409 87274 | 14136 0 nan | 0.000 % | 24.25/24.45 c | 101 | 2922 42409 87274 | 15549 101 11 | 0.000 % | 24.25/24.45 c | 253 | 2922 42409 87274 | 17104 253 10 | 0.000 % | 24.25/24.45 c =============================================================================== 24.25/24.46 c core #555 24.25/24.46 c Core size: 110 Core Weight: 1 Total Weight: -205 24.25/24.46 c Elapsed CPU time: 24.2023 s Remaining CPU time: 1775.8 s 24.36/24.51 c ============================[ Search Statistics ]============================== 24.36/24.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.36/24.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.36/24.51 c =============================================================================== 24.36/24.51 c | 0 | 2948 42410 87326 | 14136 0 nan | 0.000 % | 24.36/24.52 c | 100 | 2948 42410 87326 | 15550 100 28 | 0.000 % | 24.36/24.53 c =============================================================================== 24.36/24.53 c core #556 24.36/24.53 c Core size: 130 Core Weight: 1 Total Weight: -204 24.36/24.53 c Elapsed CPU time: 24.2743 s Remaining CPU time: 1775.73 s 24.36/24.58 c ============================[ Search Statistics ]============================== 24.36/24.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.36/24.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.36/24.58 c =============================================================================== 24.36/24.58 c | 0 | 2992 42411 87414 | 14137 0 nan | 0.000 % | 24.36/24.59 c | 102 | 2992 42411 87414 | 15550 102 17 | 0.000 % | 24.45/24.60 c =============================================================================== 24.45/24.60 c core #557 24.45/24.60 c Core size: 21 Core Weight: 1 Total Weight: -203 24.45/24.60 c Elapsed CPU time: 24.3383 s Remaining CPU time: 1775.66 s 24.45/24.65 c ============================[ Search Statistics ]============================== 24.45/24.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.45/24.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.45/24.65 c =============================================================================== 24.45/24.65 c | 0 | 3000 42412 87430 | 14137 0 nan | 0.000 % | 24.45/24.67 c =============================================================================== 24.45/24.67 c core #558 24.45/24.67 c Core size: 96 Core Weight: 1 Total Weight: -202 24.45/24.67 c Elapsed CPU time: 24.4033 s Remaining CPU time: 1775.6 s 24.55/24.72 c ============================[ Search Statistics ]============================== 24.55/24.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.55/24.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.55/24.72 c =============================================================================== 24.55/24.72 c | 0 | 3032 42413 87494 | 14137 0 nan | 0.000 % | 24.55/24.73 c =============================================================================== 24.55/24.73 c core #559 24.55/24.73 c Core size: 52 Core Weight: 1 Total Weight: -201 24.55/24.73 c Elapsed CPU time: 24.4643 s Remaining CPU time: 1775.54 s 24.55/24.78 c ============================[ Search Statistics ]============================== 24.55/24.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.55/24.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.55/24.78 c =============================================================================== 24.55/24.78 c | 0 | 3050 42414 87530 | 14138 0 nan | 0.000 % | 24.65/24.80 c | 101 | 3050 42414 87530 | 15551 101 11 | 0.000 % | 24.65/24.80 c | 253 | 3050 42414 87530 | 17106 253 16 | 0.000 % | 24.65/24.81 c | 479 | 3050 42414 87530 | 18817 479 21 | 0.000 % | 24.65/24.83 c | 818 | 3047 42414 87530 | 20699 818 23 | 0.131 % | 24.65/24.87 c | 1328 | 3045 42414 87530 | 22769 1328 25 | 0.164 % | 24.75/24.94 c =============================================================================== 24.75/24.96 c core #560 24.75/24.96 c Core size: 229 Core Weight: 1 Total Weight: -200 24.75/24.96 c Elapsed CPU time: 24.6832 s Remaining CPU time: 1775.32 s 24.85/25.01 c ============================[ Search Statistics ]============================== 24.85/25.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.85/25.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.85/25.01 c =============================================================================== 24.85/25.01 c | 0 | 3094 42415 87618 | 14138 0 nan | 0.000 % | 24.85/25.02 c | 100 | 3094 42415 87618 | 15552 100 30 | 0.000 % | 24.85/25.03 c | 251 | 3093 42415 87618 | 17107 251 23 | 0.032 % | 24.85/25.03 c =============================================================================== 24.85/25.03 c core #561 24.85/25.03 c Core size: 119 Core Weight: 1 Total Weight: -199 24.85/25.03 c Elapsed CPU time: 24.7572 s Remaining CPU time: 1775.24 s 24.85/25.09 c ============================[ Search Statistics ]============================== 24.85/25.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.85/25.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.85/25.09 c =============================================================================== 24.85/25.09 c | 0 | 3128 42416 87686 | 14138 0 nan | 0.000 % | 24.95/25.10 c =============================================================================== 24.95/25.10 c core #562 24.95/25.10 c Core size: 83 Core Weight: 1 Total Weight: -198 24.95/25.10 c Elapsed CPU time: 24.8242 s Remaining CPU time: 1775.18 s 24.95/25.15 c ============================[ Search Statistics ]============================== 24.95/25.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.95/25.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.95/25.15 c =============================================================================== 24.95/25.15 c | 0 | 3154 42417 87738 | 14139 0 nan | 0.000 % | 24.95/25.16 c | 100 | 3154 42417 87738 | 15552 100 11 | 0.000 % | 24.95/25.17 c =============================================================================== 24.95/25.17 c core #563 24.95/25.17 c Core size: 137 Core Weight: 1 Total Weight: -197 24.95/25.17 c Elapsed CPU time: 24.8932 s Remaining CPU time: 1775.11 s 25.05/25.22 c ============================[ Search Statistics ]============================== 25.05/25.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.05/25.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.05/25.22 c =============================================================================== 25.05/25.23 c | 0 | 3196 42418 87822 | 14139 0 nan | 0.000 % | 25.05/25.24 c | 100 | 3196 42418 87822 | 15553 100 17 | 0.000 % | 25.05/25.25 c | 251 | 3194 42418 87822 | 17108 251 20 | 0.063 % | 25.05/25.26 c | 478 | 3165 42418 87822 | 18819 478 23 | 9.512 % | 25.05/25.28 c | 816 | 3165 42418 87822 | 20701 816 26 | 9.512 % | 25.05/25.28 c =============================================================================== 25.05/25.29 c core #564 25.05/25.29 c Core size: 112 Core Weight: 1 Total Weight: -196 25.05/25.29 c Elapsed CPU time: 25.0012 s Remaining CPU time: 1775 s 25.15/25.34 c ============================[ Search Statistics ]============================== 25.15/25.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.15/25.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.15/25.34 c =============================================================================== 25.15/25.34 c | 0 | 3232 42419 87894 | 14139 0 nan | 0.000 % | 25.15/25.35 c | 104 | 3232 42419 87894 | 15553 104 8 | 0.000 % | 25.15/25.36 c =============================================================================== 25.15/25.36 c core #565 25.15/25.36 c Core size: 67 Core Weight: 1 Total Weight: -195 25.15/25.36 c Elapsed CPU time: 25.0692 s Remaining CPU time: 1774.93 s 25.24/25.41 c ============================[ Search Statistics ]============================== 25.24/25.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.24/25.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.24/25.41 c =============================================================================== 25.24/25.41 c | 0 | 3254 42420 87938 | 14140 0 nan | 0.000 % | 25.24/25.42 c | 100 | 3252 42420 87938 | 15554 100 16 | 0.061 % | 25.24/25.43 c =============================================================================== 25.24/25.43 c core #566 25.24/25.43 c Core size: 29 Core Weight: 1 Total Weight: -194 25.24/25.43 c Elapsed CPU time: 25.1382 s Remaining CPU time: 1774.86 s 25.24/25.48 c ============================[ Search Statistics ]============================== 25.24/25.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.24/25.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.24/25.48 c =============================================================================== 25.24/25.48 c | 0 | 3264 42421 87958 | 14140 0 nan | 0.000 % | 25.24/25.49 c | 100 | 3264 42421 87958 | 15554 100 12 | 0.000 % | 25.35/25.50 c | 251 | 3264 42421 87958 | 17109 251 12 | 0.031 % | 25.35/25.51 c =============================================================================== 25.35/25.51 c core #567 25.35/25.51 c Core size: 207 Core Weight: 1 Total Weight: -193 25.35/25.51 c Elapsed CPU time: 25.2182 s Remaining CPU time: 1774.78 s 25.35/25.56 c ============================[ Search Statistics ]============================== 25.35/25.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.35/25.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.35/25.56 c =============================================================================== 25.35/25.56 c | 0 | 3312 42422 88054 | 14140 0 nan | 0.000 % | 25.35/25.58 c | 101 | 3311 42422 88054 | 15554 101 22 | 0.030 % | 25.35/25.58 c =============================================================================== 25.35/25.58 c core #568 25.35/25.58 c Core size: 102 Core Weight: 1 Total Weight: -192 25.35/25.58 c Elapsed CPU time: 25.2892 s Remaining CPU time: 1774.71 s 25.45/25.63 c ============================[ Search Statistics ]============================== 25.45/25.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.45/25.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.45/25.63 c =============================================================================== 25.45/25.63 c | 0 | 3344 42423 88118 | 14141 0 nan | 0.000 % | 25.45/25.65 c | 100 | 3344 42423 88118 | 15555 100 15 | 0.000 % | 25.45/25.66 c | 250 | 3344 42423 88118 | 17110 250 12 | 0.000 % | 25.45/25.67 c | 480 | 3337 42423 88118 | 18821 480 10 | 0.209 % | 25.45/25.67 c =============================================================================== 25.45/25.67 c core #569 25.45/25.67 c Core size: 319 Core Weight: 1 Total Weight: -191 25.45/25.67 c Elapsed CPU time: 25.3741 s Remaining CPU time: 1774.63 s 25.54/25.73 c ============================[ Search Statistics ]============================== 25.54/25.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.54/25.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.54/25.73 c =============================================================================== 25.54/25.73 c | 0 | 3420 42424 88270 | 14141 0 nan | 0.000 % | 25.54/25.74 c | 103 | 3420 42424 88270 | 15555 103 18 | 0.000 % | 25.54/25.75 c | 253 | 3420 42424 88270 | 17111 253 28 | 0.000 % | 25.54/25.76 c | 478 | 3420 42424 88270 | 18822 478 25 | 0.000 % | 25.54/25.78 c | 816 | 3420 42424 88270 | 20704 816 32 | 0.000 % | 25.65/25.83 c | 1322 | 3420 42424 88270 | 22774 1322 46 | 0.000 % | 25.65/25.89 c | 2086 | 3420 42424 88270 | 25052 2086 47 | 0.000 % | 25.74/25.97 c | 3228 | 3420 42424 88270 | 27557 3228 47 | 0.000 % | 25.95/26.17 c | 4936 | 3415 42424 88270 | 30313 4929 42 | 0.147 % | 25.95/26.18 c =============================================================================== 25.95/26.20 c core #570 25.95/26.20 c Core size: 608 Core Weight: 1 Total Weight: -190 25.95/26.20 c Elapsed CPU time: 25.8821 s Remaining CPU time: 1774.12 s 26.05/26.25 c ============================[ Search Statistics ]============================== 26.05/26.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.05/26.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.05/26.25 c =============================================================================== 26.05/26.25 c | 0 | 3514 42425 88458 | 14141 0 nan | 0.000 % | 26.05/26.27 c =============================================================================== 26.05/26.27 c core #571 26.05/26.27 c Core size: 46 Core Weight: 1 Total Weight: -189 26.05/26.27 c Elapsed CPU time: 25.9511 s Remaining CPU time: 1774.05 s 26.15/26.31 c ============================[ Search Statistics ]============================== 26.15/26.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.15/26.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.15/26.31 c =============================================================================== 26.15/26.31 c | 0 | 3528 42426 88486 | 14142 0 nan | 0.000 % | 26.15/26.33 c | 103 | 3528 42426 88486 | 15556 103 16 | 0.000 % | 26.15/26.34 c | 254 | 3526 42426 88486 | 17111 254 13 | 0.057 % | 26.15/26.35 c =============================================================================== 26.15/26.35 c core #572 26.15/26.35 c Core size: 172 Core Weight: 1 Total Weight: -188 26.15/26.35 c Elapsed CPU time: 26.027 s Remaining CPU time: 1773.97 s 26.15/26.40 c ============================[ Search Statistics ]============================== 26.15/26.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.15/26.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.15/26.40 c =============================================================================== 26.15/26.40 c | 0 | 3569 42427 88568 | 14142 0 nan | 0.000 % | 26.25/26.41 c | 101 | 3569 42427 88568 | 15556 101 43 | 0.000 % | 26.25/26.42 c | 251 | 3569 42427 88568 | 17112 251 28 | 0.000 % | 26.25/26.43 c | 476 | 3569 42427 88568 | 18823 476 34 | 0.000 % | 26.25/26.45 c | 813 | 3568 42427 88568 | 20705 813 27 | 0.028 % | 26.25/26.49 c | 1319 | 3568 42427 88568 | 22776 1319 26 | 0.028 % | 26.35/26.54 c =============================================================================== 26.35/26.55 c core #573 26.35/26.55 c Core size: 475 Core Weight: 1 Total Weight: -187 26.35/26.55 c Elapsed CPU time: 26.224 s Remaining CPU time: 1773.78 s 26.45/26.61 c ============================[ Search Statistics ]============================== 26.45/26.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.45/26.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.45/26.61 c =============================================================================== 26.45/26.61 c | 0 | 3642 42428 88714 | 14142 0 nan | 0.000 % | 26.45/26.62 c | 105 | 3642 42428 88714 | 15556 105 12 | 0.000 % | 26.45/26.63 c | 258 | 3642 42428 88714 | 17112 258 15 | 0.000 % | 26.45/26.64 c | 483 | 3641 42428 88714 | 18823 483 15 | 0.027 % | 26.45/26.65 c | 824 | 3640 42428 88714 | 20706 824 15 | 0.055 % | 26.45/26.70 c | 1330 | 3635 42428 88714 | 22776 1321 20 | 0.192 % | 26.55/26.78 c | 2092 | 3634 42428 88714 | 25054 2079 22 | 0.220 % | 26.64/26.82 c =============================================================================== 26.64/26.85 c core #574 26.64/26.85 c Core size: 564 Core Weight: 1 Total Weight: -186 26.64/26.85 c Elapsed CPU time: 26.507 s Remaining CPU time: 1773.49 s 26.74/26.90 c ============================[ Search Statistics ]============================== 26.74/26.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.74/26.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.74/26.90 c =============================================================================== 26.74/26.90 c | 0 | 3719 42429 88868 | 14143 0 nan | 0.000 % | 26.74/26.91 c | 100 | 3719 42429 88868 | 15557 100 14 | 0.000 % | 26.74/26.92 c | 253 | 3719 42429 88868 | 17113 253 16 | 0.000 % | 26.74/26.93 c | 478 | 3719 42429 88868 | 18824 478 18 | 0.000 % | 26.74/26.96 c | 818 | 3719 42429 88868 | 20706 818 20 | 0.000 % | 26.84/27.01 c | 1324 | 3719 42429 88868 | 22777 1324 28 | 0.000 % | 26.84/27.09 c | 2084 | 3719 42429 88868 | 25055 2084 37 | 0.000 % | 27.04/27.26 c | 3223 | 3719 42429 88868 | 27560 3223 44 | 0.000 % | 27.44/27.63 c | 4932 | 3719 42429 88868 | 30316 4932 48 | 0.000 % | 28.14/28.30 c | 7495 | 3719 42429 88868 | 33348 7495 51 | 0.000 % | 28.64/28.87 c =============================================================================== 28.74/28.98 c core #575 28.74/28.98 c Core size: 1037 Core Weight: 1 Total Weight: -185 28.74/28.98 c Elapsed CPU time: 28.6096 s Remaining CPU time: 1771.39 s 28.84/29.05 c ============================[ Search Statistics ]============================== 28.84/29.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.84/29.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.84/29.05 c =============================================================================== 28.84/29.05 c | 0 | 3821 42430 89072 | 14143 0 nan | 0.000 % | 28.84/29.06 c | 100 | 3821 42430 89072 | 15557 100 23 | 0.000 % | 28.84/29.07 c | 253 | 3821 42430 89072 | 17113 253 17 | 0.000 % | 28.84/29.08 c =============================================================================== 28.84/29.08 c core #576 28.84/29.08 c Core size: 69 Core Weight: 1 Total Weight: -184 28.84/29.08 c Elapsed CPU time: 28.7036 s Remaining CPU time: 1771.3 s 28.94/29.12 c ============================[ Search Statistics ]============================== 28.94/29.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.94/29.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.94/29.12 c =============================================================================== 28.94/29.12 c | 0 | 3835 42431 89100 | 14143 0 nan | 0.000 % | 28.94/29.13 c | 102 | 3835 42431 89100 | 15558 102 15 | 0.000 % | 28.94/29.14 c | 252 | 3835 42431 89100 | 17113 252 21 | 0.000 % | 28.94/29.16 c | 477 | 3835 42431 89100 | 18825 477 20 | 0.000 % | 28.94/29.18 c | 815 | 3835 42431 89100 | 20707 815 26 | 0.000 % | 29.04/29.23 c | 1322 | 3835 42431 89100 | 22778 1322 31 | 0.000 % | 29.14/29.32 c | 2081 | 3835 42431 89100 | 25056 2081 44 | 0.000 % | 29.24/29.45 c | 3222 | 3835 42431 89100 | 27562 3222 50 | 0.000 % | 29.44/29.64 c | 4930 | 3834 42431 89100 | 30318 4926 51 | 0.026 % | 29.94/30.13 c | 7494 | 3832 42431 89100 | 33350 7490 54 | 0.078 % | 30.64/30.87 c | 11340 | 3831 42431 89100 | 36685 11325 53 | 0.104 % | 32.44/32.64 c =============================================================================== 32.63/32.80 c core #577 32.63/32.80 c Core size: 1057 Core Weight: 1 Total Weight: -183 32.63/32.80 c Elapsed CPU time: 32.3721 s Remaining CPU time: 1767.63 s 32.63/32.88 c ============================[ Search Statistics ]============================== 32.63/32.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.63/32.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.63/32.88 c =============================================================================== 32.63/32.88 c | 0 | 3947 42432 89324 | 14144 0 nan | 0.000 % | 32.63/32.90 c | 101 | 3947 42432 89324 | 15558 101 18 | 0.000 % | 32.74/32.91 c | 252 | 3947 42432 89324 | 17114 252 15 | 0.000 % | 32.74/32.92 c | 478 | 3947 42432 89324 | 18825 478 17 | 0.000 % | 32.74/32.94 c | 815 | 3947 42432 89324 | 20708 815 24 | 0.000 % | 32.74/32.98 c | 1321 | 3927 42432 89324 | 22779 1318 33 | 3.268 % | 32.84/33.06 c | 2080 | 3815 42432 89324 | 25056 2014 40 | 3.344 % | 32.94/33.18 c | 3221 | 3812 42432 89324 | 27562 3155 44 | 3.420 % | 33.24/33.44 c | 4932 | 3809 42432 89324 | 30318 4857 51 | 3.496 % | 33.94/34.19 c | 7496 | 3807 42432 89324 | 33350 7411 61 | 3.547 % | 35.13/35.39 c | 11343 | 3807 42432 89324 | 36685 11252 62 | 3.547 % | 35.74/35.97 c =============================================================================== 35.94/36.14 c core #578 35.94/36.14 c Core size: 1171 Core Weight: 1 Total Weight: -182 35.94/36.14 c Elapsed CPU time: 35.6636 s Remaining CPU time: 1764.34 s 35.94/36.20 c ============================[ Search Statistics ]============================== 35.94/36.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.94/36.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.94/36.20 c =============================================================================== 35.94/36.20 c | 0 | 4083 42433 89596 | 14144 0 nan | 0.000 % | 36.04/36.21 c | 101 | 4083 42433 89596 | 15558 101 19 | 0.000 % | 36.04/36.22 c | 254 | 4083 42433 89596 | 17114 254 15 | 0.000 % | 36.04/36.24 c | 479 | 4083 42433 89596 | 18826 479 16 | 0.000 % | 36.04/36.25 c | 818 | 4083 42433 89596 | 20708 818 21 | 0.000 % | 36.04/36.29 c | 1324 | 4083 42433 89596 | 22779 1324 27 | 0.000 % | 36.14/36.37 c | 2083 | 4083 42433 89596 | 25057 2083 36 | 0.000 % | 36.34/36.51 c | 3223 | 4083 42433 89596 | 27563 3223 45 | 0.000 % | 36.53/36.80 c | 4932 | 4083 42433 89596 | 30319 4932 53 | 0.000 % | 37.14/37.37 c | 7497 | 4083 42433 89596 | 33351 7497 56 | 0.000 % | 38.23/38.45 c | 11341 | 4083 42433 89596 | 36686 11341 58 | 0.000 % | 40.44/40.65 c | 17107 | 4083 42433 89596 | 40355 17107 58 | 0.000 % | 44.34/44.53 c | 25756 | 4083 42433 89596 | 44390 25756 58 | 0.000 % | 56.23/56.41 c | 38732 | 4083 42433 89596 | 48830 38732 57 | 0.000 % | 60.23/60.47 c =============================================================================== 60.92/61.13 c core #579 60.92/61.13 c Core size: 1543 Core Weight: 1 Total Weight: -181 60.92/61.13 c Elapsed CPU time: 60.4878 s Remaining CPU time: 1739.51 s 61.03/61.24 c ============================[ Search Statistics ]============================== 61.03/61.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.03/61.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.03/61.24 c =============================================================================== 61.03/61.24 c | 0 | 4209 42434 89848 | 14144 0 nan | 0.000 % | 61.03/61.27 c | 100 | 4209 42434 89848 | 15559 100 16 | 0.000 % | 61.03/61.28 c | 250 | 4209 42434 89848 | 17115 250 15 | 0.000 % | 61.03/61.29 c | 475 | 4209 42434 89848 | 18826 475 17 | 0.000 % | 61.13/61.32 c | 813 | 4209 42434 89848 | 20709 813 22 | 0.000 % | 61.13/61.36 c | 1322 | 4206 42434 89848 | 22780 1320 28 | 0.071 % | 61.22/61.44 c | 2081 | 4202 42434 89848 | 25058 2071 40 | 0.166 % | 61.33/61.60 c | 3220 | 4201 42434 89848 | 27563 3210 60 | 0.190 % | 61.63/61.86 c | 4928 | 4201 42434 89848 | 30320 4914 66 | 0.190 % | 62.13/62.32 c | 7490 | 4201 42434 89848 | 33352 7476 66 | 0.190 % | 63.12/63.34 c | 11334 | 4201 42434 89848 | 36687 11320 71 | 0.190 % | 65.33/65.51 c | 17102 | 4200 42434 89848 | 40356 17087 71 | 0.214 % | 70.22/70.41 c | 25752 | 4198 42434 89848 | 44392 25735 76 | 0.261 % | 82.02/82.27 c | 38727 | 4198 42434 89848 | 48831 38710 80 | 0.261 % | 103.02/103.21 c | 58192 | 4198 42434 89848 | 53714 24196 84 | 0.261 % | 130.70/130.94 c | 87386 | 4198 42434 89848 | 59085 53390 91 | 0.261 % | 162.40/162.70 c =============================================================================== 165.59/165.87 c core #580 165.59/165.87 c Core size: 1265 Core Weight: 1 Total Weight: -180 165.59/165.87 c Elapsed CPU time: 164.749 s Remaining CPU time: 1635.25 s 165.80/166.04 c ============================[ Search Statistics ]============================== 165.80/166.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 165.80/166.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 165.80/166.04 c =============================================================================== 165.80/166.04 c | 0 | 4337 42435 90104 | 14145 0 nan | 0.000 % | 165.80/166.08 c | 100 | 4337 42435 90104 | 15559 100 18 | 0.000 % | 165.80/166.09 c | 251 | 4337 42435 90104 | 17115 251 21 | 0.000 % | 165.89/166.11 c | 476 | 4337 42435 90104 | 18826 476 20 | 0.000 % | 165.89/166.13 c | 816 | 4335 42435 90104 | 20709 816 34 | 0.046 % | 165.89/166.19 c | 1322 | 4335 42435 90104 | 22780 1320 52 | 0.046 % | 165.99/166.28 c | 2081 | 4327 42435 90104 | 25058 2058 62 | 0.231 % | 166.19/166.43 c | 3230 | 4326 42435 90104 | 27564 3207 67 | 0.254 % | 166.49/166.75 c | 4945 | 4326 42435 90104 | 30321 4922 76 | 0.254 % | 167.49/167.75 c | 7514 | 4326 42435 90104 | 33353 7488 83 | 0.254 % | 169.59/169.89 c | 11361 | 4326 42435 90104 | 36688 11335 88 | 0.254 % | 171.89/172.13 c | 17128 | 4326 42435 90104 | 40357 17102 85 | 0.254 % | 177.19/177.48 c | 25778 | 4326 42435 90104 | 44393 25752 85 | 0.254 % | 191.18/191.42 c | 38755 | 4326 42435 90104 | 48832 38729 88 | 0.254 % | 215.17/215.49 c | 58217 | 4283 42435 90104 | 53715 24005 83 | 3.090 % | 215.47/215.79 c =============================================================================== 216.77/217.04 c core #581 216.77/217.04 c Core size: 1837 Core Weight: 1 Total Weight: -179 216.77/217.04 c Elapsed CPU time: 215.716 s Remaining CPU time: 1584.28 s 216.88/217.17 c ============================[ Search Statistics ]============================== 216.88/217.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.88/217.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.88/217.17 c =============================================================================== 216.88/217.17 c | 0 | 4487 42436 90404 | 14145 0 nan | 0.000 % | 216.97/217.20 c | 101 | 4487 42436 90404 | 15559 101 23 | 0.000 % | 216.97/217.21 c | 251 | 4487 42436 90404 | 17115 251 20 | 0.000 % | 216.97/217.23 c | 476 | 4487 42436 90404 | 18827 476 25 | 0.000 % | 216.97/217.26 c | 814 | 4487 42436 90404 | 20710 814 30 | 0.000 % | 217.07/217.31 c | 1320 | 4354 42436 90404 | 22781 1266 41 | 2.964 % | 217.17/217.41 c | 2081 | 4353 42436 90404 | 25059 2026 69 | 2.986 % | 217.37/217.67 c | 3224 | 4353 42436 90404 | 27565 3169 96 | 2.986 % | 217.77/218.09 c | 4932 | 4351 42436 90404 | 30321 4876 111 | 3.031 % | 218.68/218.99 c | 7495 | 4351 42436 90404 | 33353 7439 126 | 3.031 % | 219.68/219.91 c | 11344 | 4351 42436 90404 | 36689 11287 125 | 3.031 % | 221.27/221.55 c | 17110 | 4351 42436 90404 | 40358 17053 120 | 3.031 % | 224.97/225.20 c | 25760 | 4351 42436 90404 | 44394 25703 114 | 3.031 % | 233.97/234.29 c | 38736 | 4351 42436 90404 | 48833 38679 114 | 3.031 % | 254.66/254.97 c | 58197 | 4351 42436 90404 | 53716 22854 122 | 3.031 % | 288.85/289.14 c | 87391 | 4351 42436 90404 | 59088 52048 136 | 3.031 % | 353.83/354.18 c | 131181 | 4351 42436 90404 | 64997 52853 135 | 3.031 % | 447.20/447.55 c | 196866 | 4351 42436 90404 | 71497 21654 107 | 3.031 % | 563.36/563.79 c | 295392 | 4351 42436 90404 | 78646 63340 130 | 3.031 % | 835.47/835.99 c | 443181 | 4351 42436 90404 | 86511 21704 135 | 3.031 % | 1230.05/1230.69 c | 664864 | 4351 42436 90404 | 95162 36953 133 | 3.031 % |
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-1875780-1245164691/watcher-1875780-1245164691 -o /tmp/evaluation-result-1875780-1245164691/solver-1875780-1245164691 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875780-1245164691.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.95 3/64 2846 /proc/meminfo: memFree=1931440/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=3496 CPUtime=0 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 798586 3579904 201 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 874 201 128 292 0 339 0 [startup+0.0298579 s] /proc/loadavg: 0.92 0.98 0.95 3/64 2846 /proc/meminfo: memFree=1931440/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=3900 CPUtime=0.02 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 343 0 0 0 2 0 0 0 18 0 1 0 798586 3993600 327 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 975 327 177 292 0 440 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3900 [startup+0.101867 s] /proc/loadavg: 0.92 0.98 0.95 3/64 2846 /proc/meminfo: memFree=1931440/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=4728 CPUtime=0.09 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 701 0 0 0 9 0 0 0 18 0 1 0 798586 4841472 685 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1182 685 320 292 0 647 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4728 [startup+0.301893 s] /proc/loadavg: 0.92 0.98 0.95 3/64 2846 /proc/meminfo: memFree=1931440/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=6400 CPUtime=0.29 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 1476 0 0 0 29 0 0 0 19 0 1 0 798586 6553600 1106 1992294400 134512640 135709839 4294956240 18446744073709551615 134529960 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1600 1106 133 292 0 1305 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6400 [startup+0.701947 s] /proc/loadavg: 0.92 0.98 0.95 3/64 2846 /proc/meminfo: memFree=1931440/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=6400 CPUtime=0.69 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 1477 0 0 0 69 0 0 0 22 0 1 0 798586 6553600 1107 1992294400 134512640 135709839 4294956240 18446744073709551615 134605237 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1600 1107 133 292 0 1305 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6400 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1927400/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=6596 CPUtime=1.48 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 1726 0 0 0 148 0 0 0 25 0 1 0 798586 6754304 1137 1992294400 134512640 135709839 4294956240 18446744073709551615 134605137 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1649 1137 133 292 0 1354 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6596 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1927272/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=6596 CPUtime=3.08 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 1934 0 0 0 307 1 0 0 25 0 1 0 798586 6754304 1137 1992294400 134512640 135709839 4294956240 18446744073709551615 135182905 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1649 1137 133 292 0 1354 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6596 [startup+6.30171 s] /proc/loadavg: 0.93 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1926896/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=7064 CPUtime=6.26 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 2090 0 0 0 625 1 0 0 25 0 1 0 798586 7233536 1293 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 1766 1293 133 292 0 1471 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 7064 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1924848/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=9272 CPUtime=12.61 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 2606 0 0 0 1259 2 0 0 25 0 1 0 798586 9494528 1809 1992294400 134512640 135709839 4294956240 18446744073709551615 135166124 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 2318 1809 135 292 0 2023 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 9272 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1912048/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=21372 CPUtime=25.35 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 6176 0 0 0 2520 15 0 0 25 0 1 0 798586 21884928 4847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 5343 4847 136 292 0 5048 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 21372 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1900784/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=32772 CPUtime=50.93 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 9060 0 0 0 5048 45 0 0 25 0 1 0 798586 33558528 7731 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 8193 7731 136 292 0 7898 0 Current children cumulated CPU time (s) 50.93 Current children cumulated vsize (KiB) 32772 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1878960/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=54536 CPUtime=102.12 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 14459 0 0 0 10144 68 0 0 25 0 1 0 798586 55844864 13130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 13634 13130 136 292 0 13339 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 54536 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 2847 /proc/meminfo: memFree=1844464/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=89364 CPUtime=162.1 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 23137 0 0 0 16118 92 0 0 25 0 1 0 798586 91508736 21808 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 22341 21808 136 292 0 22046 0 Current children cumulated CPU time (s) 162.1 Current children cumulated vsize (KiB) 89364 [startup+222.302 s] /proc/loadavg: 1.07 1.01 0.96 2/65 2847 /proc/meminfo: memFree=1832496/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=100808 CPUtime=222.07 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 25986 0 0 0 22090 117 0 0 25 0 1 0 798586 103227392 24657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 25202 24657 136 292 0 24907 0 Current children cumulated CPU time (s) 222.07 Current children cumulated vsize (KiB) 100808 [startup+282.302 s] /proc/loadavg: 1.02 1.01 0.96 2/65 2847 /proc/meminfo: memFree=1798448/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=135460 CPUtime=282.05 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 34664 0 0 0 28061 144 0 0 25 0 1 0 798586 138711040 33335 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 33865 33335 136 292 0 33570 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 135460 [startup+342.301 s] /proc/loadavg: 1.01 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1762616/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=170720 CPUtime=342.03 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 43453 0 0 0 34038 165 0 0 25 0 1 0 798586 174817280 42124 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 42680 42124 136 292 0 42385 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 170720 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1733560/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=200556 CPUtime=402.01 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 50850 0 0 0 40018 183 0 0 25 0 1 0 798586 205369344 49521 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 50139 49521 136 292 0 49844 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 200556 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1694904/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=238572 CPUtime=461.99 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 60345 0 0 0 45992 207 0 0 25 0 1 0 798586 244297728 59016 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 59643 59016 136 292 0 59348 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 238572 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1653624/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=280284 CPUtime=521.97 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 70750 0 0 0 51968 229 0 0 25 0 1 0 798586 287010816 69421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 70071 69421 136 292 0 69776 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 280284 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1625144/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=308320 CPUtime=581.96 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 77711 0 0 0 57951 245 0 0 25 0 1 0 798586 315719680 76382 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 77080 76382 136 292 0 76785 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 308320 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1597304/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=335984 CPUtime=641.94 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 84628 0 0 0 63934 260 0 0 25 0 1 0 798586 344047616 83299 1992294400 134512640 135709839 4294956240 18446744073709551615 134574167 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 83996 83299 136 292 0 83701 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 335984 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1477048/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=456248 CPUtime=881.86 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 114617 0 0 0 87851 335 0 0 25 0 1 0 798586 467197952 113288 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 114062 113288 136 292 0 113767 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 456248 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1460088/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=473308 CPUtime=941.84 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 118869 0 0 0 93837 347 0 0 25 0 1 0 798586 484667392 117540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 118327 117540 136 292 0 118032 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 473308 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1430456/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=502836 CPUtime=1001.82 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 126258 0 0 0 99815 367 0 0 25 0 1 0 798586 514904064 124929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 125709 124929 136 292 0 125414 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 502836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1405624/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=528028 CPUtime=1061.8 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 132477 0 0 0 105796 384 0 0 25 0 1 0 798586 540700672 131148 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 132007 131148 136 292 0 131712 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 528028 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1379960/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=553596 CPUtime=1121.79 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 138865 0 0 0 111778 401 0 0 25 0 1 0 798586 566882304 137536 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 138399 137536 136 292 0 138104 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 553596 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1351928/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=581704 CPUtime=1181.76 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 145860 0 0 0 117758 418 0 0 25 0 1 0 798586 595664896 144531 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 145426 144531 136 292 0 145131 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 581704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1320248/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=613068 CPUtime=1241.74 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 153693 0 0 0 123737 437 0 0 25 0 1 0 798586 627781632 152364 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 153267 152364 136 292 0 152972 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 613068 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1294840/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=638296 CPUtime=1301.73 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 159985 0 0 0 129720 453 0 0 25 0 1 0 798586 653615104 158656 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 159574 158656 136 292 0 159279 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 638296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1275448/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=658500 CPUtime=1361.71 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 164978 0 0 0 135706 465 0 0 25 0 1 0 798586 674304000 163649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573890 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 164625 163649 136 292 0 164330 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 658500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1248568/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=684684 CPUtime=1421.69 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 171512 0 0 0 141688 481 0 0 25 0 1 0 798586 701116416 170183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 171171 170183 136 292 0 170876 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 684684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1228664/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=704748 CPUtime=1481.67 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 176516 0 0 0 147675 492 0 0 25 0 1 0 798586 721661952 175187 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 176187 175187 136 292 0 175892 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 704748 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1212472/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=720840 CPUtime=1541.65 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 180533 0 0 0 153663 502 0 0 25 0 1 0 798586 738140160 179204 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 180210 179204 136 292 0 179915 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 720840 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1183480/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=750072 CPUtime=1601.63 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 187835 0 0 0 159642 521 0 0 25 0 1 0 798586 768073728 186506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 187518 186506 136 292 0 187223 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 750072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1164088/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=769188 CPUtime=1661.61 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 192597 0 0 0 165628 533 0 0 25 0 1 0 798586 787648512 191268 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 192297 191268 136 292 0 192002 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 769188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1147960/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=785388 CPUtime=1721.59 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 196632 0 0 0 171614 545 0 0 25 0 1 0 798586 804237312 195303 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 196347 195303 136 292 0 196052 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 785388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1118136/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=815144 CPUtime=1781.57 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 204051 0 0 0 177594 563 0 0 25 0 1 0 798586 834707456 202722 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 203786 202722 136 292 0 203491 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 815144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1108792/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=824192 CPUtime=1800.06 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4194304 206332 0 0 0 179437 569 0 0 25 0 1 0 798586 843972608 205003 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 206048 205003 136 292 0 205753 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 824192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 0.96 2/65 2847 /proc/meminfo: memFree=1108792/2055920 swapFree=4192956/4192956 [pid=2846] ppid=2844 vsize=0 CPUtime=1800.16 /proc/2846/stat : 2846 (wbo) R 2844 2846 2526 0 -1 4195332 206332 0 0 0 179437 579 0 0 25 0 1 0 798586 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2846/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.93 CPU time (s): 1800.2 CPU user time (s): 1794.38 CPU system time (s): 5.82311 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 824192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.38 system time used= 5.82311 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206332 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= 3 involuntary context switches= 7233 runsolver used 1.47677 second user time and 3.66044 second system time The end
Begin job on node30 at 2009-06-16 17:04:51 IDJOB=1875780 IDBENCH=2241 IDSOLVER=698 FILE ID=node30/1875780-1245164691 PBS_JOBID= 9363829 Free space on /tmp= 66220 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.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-1875780-1245164691/watcher-1875780-1245164691 -o /tmp/evaluation-result-1875780-1245164691/solver-1875780-1245164691 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875780-1245164691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42 RANDOM SEED=520442747 node30.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.273 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.273 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: 1931920 kB Buffers: 15588 kB Cached: 67032 kB SwapCached: 0 kB Active: 66744 kB Inactive: 28672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1931920 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3336 kB Writeback: 0 kB Mapped: 22616 kB Slab: 14612 kB Committed_AS: 53456 kB PageTables: 1360 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-1875780-1245164691.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 17:34:54