Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.21 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -34 |
Best CPU time to get the best result obtained on this benchmark | 1795.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
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-1875680-1245164433.opb. 0.00/0.00 c Instance file HOME/instance-1875680-1245164433.opb 0.00/0.00 c File size is 994325 bytes. 0.10/0.12 c Highest Coefficient sum: 3 0.10/0.12 c ============================[ Problem Statistics ]============================= 0.10/0.12 c | | 0.10/0.12 c | Parsing time: 0.12 s | 0.10/0.12 c | Number Variables: 760 | 0.10/0.12 c | Number Clauses: 42379 | 0.10/0.12 c | Number Cardinality: 0 | 0.10/0.12 c | Number PB Constraints: 0 | 0.10/0.12 c core #1 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -759 0.10/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.10/0.14 c core #2 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -758 0.10/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.10/0.16 c core #3 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: -757 0.10/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.10/0.18 c core #4 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: -756 0.10/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.19/0.21 c core #5 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -755 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 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.229965 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.251961 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.273958 s Remaining CPU time: 1799.73 s 0.19/0.30 c core #9 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: -751 0.19/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #10 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -750 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 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.340948 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.362944 s Remaining CPU time: 1799.64 s 0.29/0.39 c core #13 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -747 0.29/0.39 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #14 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -746 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #15 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -745 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 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.451931 s Remaining CPU time: 1799.55 s 0.39/0.48 c core #17 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -743 0.39/0.48 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.49/0.50 c core #18 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -742 0.49/0.50 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #19 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -741 0.49/0.52 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.49/0.54 c core #20 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: -740 0.49/0.54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 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.564914 s Remaining CPU time: 1799.44 s 0.49/0.59 c core #22 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -738 0.49/0.59 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #23 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -737 0.59/0.61 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #24 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -736 0.59/0.63 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #25 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -735 0.59/0.65 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.68 c core #26 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -734 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #27 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -733 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #28 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -732 0.69/0.72 c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s 0.69/0.75 c core #29 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -731 0.69/0.75 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.69/0.77 c core #30 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -730 0.69/0.77 c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #31 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -729 0.69/0.79 c Elapsed CPU time: 0.78888 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #32 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -728 0.79/0.81 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #33 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -727 0.79/0.84 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #34 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -726 0.79/0.86 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #35 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -725 0.79/0.88 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.89/0.90 c core #36 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: -724 0.89/0.90 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #37 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -723 0.89/0.93 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #38 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -722 0.89/0.95 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #39 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -721 0.89/0.97 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #40 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -720 0.89/0.99 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.99/1.02 c core #41 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: -719 0.99/1.02 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.04 c core #42 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: -718 0.99/1.04 c Elapsed CPU time: 1.03784 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #43 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: -717 0.99/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 0.99/1.09 c core #44 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -716 0.99/1.09 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 1.09/1.11 c core #45 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: -715 1.09/1.11 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #46 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: -714 1.09/1.13 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #47 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: -713 1.09/1.16 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.09/1.18 c core #48 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: -712 1.09/1.18 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.19/1.20 c core #49 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -711 1.19/1.20 c Elapsed CPU time: 1.19982 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #50 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -710 1.19/1.22 c Elapsed CPU time: 1.22281 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #51 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -709 1.19/1.25 c Elapsed CPU time: 1.24581 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #52 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -708 1.19/1.27 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #53 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -707 1.19/1.29 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #54 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -706 1.29/1.32 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #55 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -705 1.29/1.34 c Elapsed CPU time: 1.3378 s Remaining CPU time: 1798.66 s 1.29/1.36 c core #56 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -704 1.29/1.36 c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #57 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -703 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #58 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -702 1.39/1.41 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.39/1.43 c core #59 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -701 1.39/1.43 c Elapsed CPU time: 1.43078 s Remaining CPU time: 1798.57 s 1.39/1.46 c core #60 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -700 1.39/1.46 c Elapsed CPU time: 1.45378 s Remaining CPU time: 1798.55 s 1.39/1.48 c core #61 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -699 1.39/1.48 c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s 1.49/1.50 c core #62 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: -698 1.49/1.50 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.49/1.53 c core #63 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: -697 1.49/1.53 c Elapsed CPU time: 1.52377 s Remaining CPU time: 1798.48 s 1.49/1.55 c core #64 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -696 1.49/1.55 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #65 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: -695 1.49/1.57 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.49/1.60 c core #66 1.49/1.60 c Core size: 3 Core Weight: 1 Total Weight: -694 1.49/1.60 c Elapsed CPU time: 1.59476 s Remaining CPU time: 1798.41 s 1.59/1.62 c core #67 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -693 1.59/1.62 c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s 1.59/1.64 c core #68 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -692 1.59/1.64 c Elapsed CPU time: 1.64175 s Remaining CPU time: 1798.36 s 1.59/1.67 c core #69 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -691 1.59/1.67 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.59/1.69 c core #70 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -690 1.59/1.69 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #71 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -689 1.69/1.71 c Elapsed CPU time: 1.71174 s Remaining CPU time: 1798.29 s 1.69/1.74 c core #72 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -688 1.69/1.74 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #73 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -687 1.69/1.76 c Elapsed CPU time: 1.75973 s Remaining CPU time: 1798.24 s 1.69/1.79 c core #74 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -686 1.69/1.79 c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #75 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -685 1.79/1.81 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #76 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -684 1.79/1.83 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.79/1.86 c core #77 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -683 1.79/1.86 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.79/1.88 c core #78 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -682 1.79/1.88 c Elapsed CPU time: 1.87871 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #79 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -681 1.89/1.90 c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s 1.89/1.93 c core #80 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -680 1.89/1.93 c Elapsed CPU time: 1.92671 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #81 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -679 1.89/1.95 c Elapsed CPU time: 1.9507 s Remaining CPU time: 1798.05 s 1.89/1.98 c core #82 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -678 1.89/1.98 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.99/2.00 c core #83 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -677 1.99/2.00 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.02 c core #84 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -676 1.99/2.02 c Elapsed CPU time: 2.02269 s Remaining CPU time: 1797.98 s 1.99/2.05 c core #85 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -675 1.99/2.05 c Elapsed CPU time: 2.04669 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #86 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -674 1.99/2.07 c Elapsed CPU time: 2.07069 s Remaining CPU time: 1797.93 s 1.99/2.10 c core #87 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: -673 1.99/2.10 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.09/2.12 c core #88 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: -672 2.09/2.12 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #89 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -671 2.09/2.14 c Elapsed CPU time: 2.14267 s Remaining CPU time: 1797.86 s 2.09/2.17 c core #90 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: -670 2.09/2.17 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #91 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: -669 2.09/2.19 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 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.21566 s Remaining CPU time: 1797.78 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.23966 s Remaining CPU time: 1797.76 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.26365 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.28865 s Remaining CPU time: 1797.71 s 2.29/2.31 c core #96 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -664 2.29/2.31 c Elapsed CPU time: 2.31265 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.33764 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #98 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -662 2.29/2.36 c Elapsed CPU time: 2.36164 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.38664 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #100 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: -660 2.39/2.41 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.39/2.44 c core #101 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -659 2.39/2.44 c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #102 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -658 2.39/2.46 c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s 2.39/2.49 c core #103 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -657 2.39/2.49 c Elapsed CPU time: 2.48462 s Remaining CPU time: 1797.52 s 2.49/2.51 c core #104 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -656 2.49/2.51 c Elapsed CPU time: 2.50962 s Remaining CPU time: 1797.49 s 2.49/2.54 c core #105 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: -655 2.49/2.54 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.49/2.56 c core #106 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -654 2.49/2.56 c Elapsed CPU time: 2.55961 s Remaining CPU time: 1797.44 s 2.49/2.59 c core #107 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -653 2.49/2.59 c Elapsed CPU time: 2.58461 s Remaining CPU time: 1797.42 s 2.59/2.61 c core #108 2.59/2.61 c Core size: 3 Core Weight: 1 Total Weight: -652 2.59/2.61 c Elapsed CPU time: 2.6096 s Remaining CPU time: 1797.39 s 2.59/2.64 c core #109 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -651 2.59/2.64 c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s 2.59/2.66 c core #110 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -650 2.59/2.66 c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s 2.59/2.69 c core #111 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -649 2.59/2.69 c Elapsed CPU time: 2.68459 s Remaining CPU time: 1797.32 s 2.69/2.71 c core #112 2.69/2.71 c Core size: 3 Core Weight: 1 Total Weight: -648 2.69/2.71 c Elapsed CPU time: 2.70959 s Remaining CPU time: 1797.29 s 2.69/2.74 c core #113 2.69/2.74 c Core size: 3 Core Weight: 1 Total Weight: -647 2.69/2.74 c Elapsed CPU time: 2.73458 s Remaining CPU time: 1797.27 s 2.69/2.76 c core #114 2.69/2.76 c Core size: 3 Core Weight: 1 Total Weight: -646 2.69/2.76 c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s 2.69/2.79 c core #115 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: -645 2.69/2.79 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 2.79/2.81 c core #116 2.79/2.81 c Core size: 3 Core Weight: 1 Total Weight: -644 2.79/2.81 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 s 2.79/2.84 c core #117 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -643 2.79/2.84 c Elapsed CPU time: 2.83557 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #118 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: -642 2.79/2.86 c Elapsed CPU time: 2.86156 s Remaining CPU time: 1797.14 s 2.79/2.89 c core #119 2.79/2.89 c Core size: 3 Core Weight: 1 Total Weight: -641 2.79/2.89 c Elapsed CPU time: 2.88656 s Remaining CPU time: 1797.11 s 2.89/2.91 c core #120 2.89/2.91 c Core size: 3 Core Weight: 1 Total Weight: -640 2.89/2.91 c Elapsed CPU time: 2.91156 s Remaining CPU time: 1797.09 s 2.89/2.94 c core #121 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: -639 2.89/2.94 c Elapsed CPU time: 2.93755 s Remaining CPU time: 1797.06 s 2.89/2.97 c core #122 2.89/2.97 c Core size: 3 Core Weight: 1 Total Weight: -638 2.89/2.97 c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s 2.89/2.99 c core #123 2.89/2.99 c Core size: 3 Core Weight: 1 Total Weight: -637 2.89/2.99 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.99/3.02 c core #124 2.99/3.02 c Core size: 3 Core Weight: 1 Total Weight: -636 2.99/3.02 c Elapsed CPU time: 3.01454 s Remaining CPU time: 1796.99 s 2.99/3.04 c core #125 2.99/3.04 c Core size: 3 Core Weight: 1 Total Weight: -635 2.99/3.04 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 2.99/3.07 c core #126 2.99/3.07 c Core size: 3 Core Weight: 1 Total Weight: -634 2.99/3.07 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 2.99/3.09 c core #127 2.99/3.09 c Core size: 3 Core Weight: 1 Total Weight: -633 2.99/3.09 c Elapsed CPU time: 3.09253 s Remaining CPU time: 1796.91 s 3.09/3.12 c core #128 3.09/3.12 c Core size: 3 Core Weight: 1 Total Weight: -632 3.09/3.12 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.09/3.15 c core #129 3.09/3.15 c Core size: 3 Core Weight: 1 Total Weight: -631 3.09/3.15 c Elapsed CPU time: 3.14352 s Remaining CPU time: 1796.86 s 3.09/3.17 c core #130 3.09/3.17 c Core size: 3 Core Weight: 1 Total Weight: -630 3.09/3.17 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.19/3.20 c core #131 3.19/3.20 c Core size: 3 Core Weight: 1 Total Weight: -629 3.19/3.20 c Elapsed CPU time: 3.19551 s Remaining CPU time: 1796.8 s 3.19/3.22 c core #132 3.19/3.22 c Core size: 3 Core Weight: 1 Total Weight: -628 3.19/3.22 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.19/3.25 c core #133 3.19/3.25 c Core size: 3 Core Weight: 1 Total Weight: -627 3.19/3.25 c Elapsed CPU time: 3.24751 s Remaining CPU time: 1796.75 s 3.19/3.28 c core #134 3.19/3.28 c Core size: 3 Core Weight: 1 Total Weight: -626 3.19/3.28 c Elapsed CPU time: 3.2735 s Remaining CPU time: 1796.73 s 3.29/3.30 c core #135 3.29/3.30 c Core size: 3 Core Weight: 1 Total Weight: -625 3.29/3.30 c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s 3.29/3.33 c core #136 3.29/3.33 c Core size: 3 Core Weight: 1 Total Weight: -624 3.29/3.33 c Elapsed CPU time: 3.32549 s Remaining CPU time: 1796.67 s 3.29/3.35 c core #137 3.29/3.35 c Core size: 3 Core Weight: 1 Total Weight: -623 3.29/3.35 c Elapsed CPU time: 3.35149 s Remaining CPU time: 1796.65 s 3.29/3.38 c core #138 3.29/3.38 c Core size: 3 Core Weight: 1 Total Weight: -622 3.29/3.38 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #139 3.39/3.41 c Core size: 3 Core Weight: 1 Total Weight: -621 3.39/3.41 c Elapsed CPU time: 3.40448 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #140 3.39/3.43 c Core size: 3 Core Weight: 1 Total Weight: -620 3.39/3.43 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.39/3.46 c core #141 3.39/3.46 c Core size: 3 Core Weight: 1 Total Weight: -619 3.39/3.46 c Elapsed CPU time: 3.45647 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #142 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: -618 3.39/3.49 c Elapsed CPU time: 3.48247 s Remaining CPU time: 1796.52 s 3.49/3.51 c core #143 3.49/3.51 c Core size: 3 Core Weight: 1 Total Weight: -617 3.49/3.51 c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s 3.49/3.54 c core #144 3.49/3.54 c Core size: 3 Core Weight: 1 Total Weight: -616 3.49/3.54 c Elapsed CPU time: 3.53546 s Remaining CPU time: 1796.46 s 3.49/3.56 c core #145 3.49/3.56 c Core size: 3 Core Weight: 1 Total Weight: -615 3.49/3.56 c Elapsed CPU time: 3.56246 s Remaining CPU time: 1796.44 s 3.49/3.59 c core #146 3.49/3.59 c Core size: 3 Core Weight: 1 Total Weight: -614 3.49/3.59 c Elapsed CPU time: 3.58845 s Remaining CPU time: 1796.41 s 3.59/3.62 c core #147 3.59/3.62 c Core size: 3 Core Weight: 1 Total Weight: -613 3.59/3.62 c Elapsed CPU time: 3.61545 s Remaining CPU time: 1796.38 s 3.59/3.64 c core #148 3.59/3.64 c Core size: 3 Core Weight: 1 Total Weight: -612 3.59/3.64 c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s 3.59/3.67 c core #149 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: -611 3.59/3.67 c Elapsed CPU time: 3.66944 s Remaining CPU time: 1796.33 s 3.69/3.70 c core #150 3.69/3.70 c Core size: 3 Core Weight: 1 Total Weight: -610 3.69/3.70 c Elapsed CPU time: 3.69544 s Remaining CPU time: 1796.3 s 3.69/3.72 c core #151 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: -609 3.69/3.72 c Elapsed CPU time: 3.72243 s Remaining CPU time: 1796.28 s 3.69/3.75 c core #152 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: -608 3.69/3.75 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #153 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: -607 3.69/3.78 c Elapsed CPU time: 3.77643 s Remaining CPU time: 1796.22 s 3.79/3.81 c core #154 3.79/3.81 c Core size: 3 Core Weight: 1 Total Weight: -606 3.79/3.81 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 3.79/3.83 c core #155 3.79/3.83 c Core size: 3 Core Weight: 1 Total Weight: -605 3.79/3.83 c Elapsed CPU time: 3.83042 s Remaining CPU time: 1796.17 s 3.79/3.86 c core #156 3.79/3.86 c Core size: 3 Core Weight: 1 Total Weight: -604 3.79/3.86 c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s 3.79/3.89 c core #157 3.79/3.89 c Core size: 3 Core Weight: 1 Total Weight: -603 3.79/3.89 c Elapsed CPU time: 3.88541 s Remaining CPU time: 1796.11 s 3.89/3.91 c core #158 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: -602 3.89/3.91 c Elapsed CPU time: 3.91241 s Remaining CPU time: 1796.09 s 3.89/3.94 c core #159 3.89/3.94 c Core size: 3 Core Weight: 1 Total Weight: -601 3.89/3.94 c Elapsed CPU time: 3.9424 s Remaining CPU time: 1796.06 s 3.89/3.97 c core #160 3.89/3.97 c Core size: 3 Core Weight: 1 Total Weight: -600 3.89/3.97 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 3.99/4.00 c core #161 3.99/4.00 c Core size: 3 Core Weight: 1 Total Weight: -599 3.99/4.00 c Elapsed CPU time: 3.99739 s Remaining CPU time: 1796 s 3.99/4.03 c core #162 3.99/4.03 c Core size: 3 Core Weight: 1 Total Weight: -598 3.99/4.03 c Elapsed CPU time: 4.02439 s Remaining CPU time: 1795.98 s 3.99/4.05 c core #163 3.99/4.05 c Core size: 3 Core Weight: 1 Total Weight: -597 3.99/4.05 c Elapsed CPU time: 4.05238 s Remaining CPU time: 1795.95 s 3.99/4.08 c core #164 3.99/4.08 c Core size: 3 Core Weight: 1 Total Weight: -596 3.99/4.08 c Elapsed CPU time: 4.08038 s Remaining CPU time: 1795.92 s 4.09/4.11 c core #165 4.09/4.11 c Core size: 3 Core Weight: 1 Total Weight: -595 4.09/4.11 c Elapsed CPU time: 4.10738 s Remaining CPU time: 1795.89 s 4.09/4.14 c core #166 4.09/4.14 c Core size: 3 Core Weight: 1 Total Weight: -594 4.09/4.14 c Elapsed CPU time: 4.13537 s Remaining CPU time: 1795.86 s 4.09/4.17 c core #167 4.09/4.17 c Core size: 3 Core Weight: 1 Total Weight: -593 4.09/4.17 c Elapsed CPU time: 4.16337 s Remaining CPU time: 1795.84 s 4.09/4.19 c core #168 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: -592 4.09/4.19 c Elapsed CPU time: 4.19036 s Remaining CPU time: 1795.81 s 4.19/4.22 c core #169 4.19/4.22 c Core size: 3 Core Weight: 1 Total Weight: -591 4.19/4.22 c Elapsed CPU time: 4.21936 s Remaining CPU time: 1795.78 s 4.19/4.25 c core #170 4.19/4.25 c Core size: 3 Core Weight: 1 Total Weight: -590 4.19/4.25 c Elapsed CPU time: 4.24635 s Remaining CPU time: 1795.75 s 4.19/4.28 c core #171 4.19/4.28 c Core size: 3 Core Weight: 1 Total Weight: -589 4.19/4.28 c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s 4.29/4.31 c core #172 4.29/4.31 c Core size: 3 Core Weight: 1 Total Weight: -588 4.29/4.31 c Elapsed CPU time: 4.30434 s Remaining CPU time: 1795.7 s 4.29/4.33 c core #173 4.29/4.33 c Core size: 3 Core Weight: 1 Total Weight: -587 4.29/4.33 c Elapsed CPU time: 4.33234 s Remaining CPU time: 1795.67 s 4.29/4.36 c core #174 4.29/4.36 c Core size: 3 Core Weight: 1 Total Weight: -586 4.29/4.36 c Elapsed CPU time: 4.36034 s Remaining CPU time: 1795.64 s 4.29/4.39 c core #175 4.29/4.39 c Core size: 3 Core Weight: 1 Total Weight: -585 4.29/4.39 c Elapsed CPU time: 4.38833 s Remaining CPU time: 1795.61 s 4.39/4.42 c core #176 4.39/4.42 c Core size: 3 Core Weight: 1 Total Weight: -584 4.39/4.42 c Elapsed CPU time: 4.41733 s Remaining CPU time: 1795.58 s 4.39/4.45 c core #177 4.39/4.45 c Core size: 3 Core Weight: 1 Total Weight: -583 4.39/4.45 c Elapsed CPU time: 4.44632 s Remaining CPU time: 1795.55 s 4.39/4.48 c core #178 4.39/4.48 c Core size: 3 Core Weight: 1 Total Weight: -582 4.39/4.48 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.49/4.50 c core #179 4.49/4.50 c Core size: 3 Core Weight: 1 Total Weight: -581 4.49/4.50 c Elapsed CPU time: 4.50232 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #180 4.49/4.53 c Core size: 3 Core Weight: 1 Total Weight: -580 4.49/4.53 c Elapsed CPU time: 4.53131 s Remaining CPU time: 1795.47 s 4.49/4.56 c core #181 4.49/4.56 c Core size: 3 Core Weight: 1 Total Weight: -579 4.49/4.56 c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s 4.49/4.59 c core #182 4.49/4.59 c Core size: 3 Core Weight: 1 Total Weight: -578 4.49/4.59 c Elapsed CPU time: 4.5883 s Remaining CPU time: 1795.41 s 4.59/4.62 c core #183 4.59/4.62 c Core size: 3 Core Weight: 1 Total Weight: -577 4.59/4.62 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.59/4.65 c core #184 4.59/4.65 c Core size: 3 Core Weight: 1 Total Weight: -576 4.59/4.65 c Elapsed CPU time: 4.64629 s Remaining CPU time: 1795.35 s 4.59/4.68 c core #185 4.59/4.68 c Core size: 3 Core Weight: 1 Total Weight: -575 4.59/4.68 c Elapsed CPU time: 4.67529 s Remaining CPU time: 1795.32 s 4.69/4.71 c core #186 4.69/4.71 c Core size: 3 Core Weight: 1 Total Weight: -574 4.69/4.71 c Elapsed CPU time: 4.70428 s Remaining CPU time: 1795.3 s 4.69/4.74 c core #187 4.69/4.74 c Core size: 3 Core Weight: 1 Total Weight: -573 4.69/4.74 c Elapsed CPU time: 4.73228 s Remaining CPU time: 1795.27 s 4.69/4.76 c core #188 4.69/4.76 c Core size: 3 Core Weight: 1 Total Weight: -572 4.69/4.76 c Elapsed CPU time: 4.76128 s Remaining CPU time: 1795.24 s 4.69/4.79 c core #189 4.69/4.79 c Core size: 3 Core Weight: 1 Total Weight: -571 4.69/4.79 c Elapsed CPU time: 4.79027 s Remaining CPU time: 1795.21 s 4.79/4.82 c core #190 4.79/4.82 c Core size: 3 Core Weight: 1 Total Weight: -570 4.79/4.82 c Elapsed CPU time: 4.81927 s Remaining CPU time: 1795.18 s 4.79/4.85 c core #191 4.79/4.85 c Core size: 3 Core Weight: 1 Total Weight: -569 4.79/4.85 c Elapsed CPU time: 4.84826 s Remaining CPU time: 1795.15 s 4.79/4.88 c core #192 4.79/4.88 c Core size: 3 Core Weight: 1 Total Weight: -568 4.79/4.88 c Elapsed CPU time: 4.87826 s Remaining CPU time: 1795.12 s 4.89/4.91 c core #193 4.89/4.91 c Core size: 3 Core Weight: 1 Total Weight: -567 4.89/4.91 c Elapsed CPU time: 4.90725 s Remaining CPU time: 1795.09 s 4.89/4.94 c core #194 4.89/4.94 c Core size: 3 Core Weight: 1 Total Weight: -566 4.89/4.94 c Elapsed CPU time: 4.93625 s Remaining CPU time: 1795.06 s 4.89/4.97 c core #195 4.89/4.97 c Core size: 3 Core Weight: 1 Total Weight: -565 4.89/4.97 c Elapsed CPU time: 4.96724 s Remaining CPU time: 1795.03 s 4.99/5.00 c core #196 4.99/5.00 c Core size: 3 Core Weight: 1 Total Weight: -564 4.99/5.00 c Elapsed CPU time: 4.99624 s Remaining CPU time: 1795 s 4.99/5.03 c core #197 4.99/5.03 c Core size: 3 Core Weight: 1 Total Weight: -563 4.99/5.03 c Elapsed CPU time: 5.02623 s Remaining CPU time: 1794.97 s 4.99/5.06 c core #198 4.99/5.06 c Core size: 3 Core Weight: 1 Total Weight: -562 4.99/5.06 c Elapsed CPU time: 5.05423 s Remaining CPU time: 1794.95 s 4.99/5.09 c core #199 4.99/5.09 c Core size: 3 Core Weight: 1 Total Weight: -561 4.99/5.09 c Elapsed CPU time: 5.08423 s Remaining CPU time: 1794.92 s 5.09/5.12 c core #200 5.09/5.12 c Core size: 3 Core Weight: 1 Total Weight: -560 5.09/5.12 c Elapsed CPU time: 5.11322 s Remaining CPU time: 1794.89 s 5.09/5.15 c core #201 5.09/5.15 c Core size: 3 Core Weight: 1 Total Weight: -559 5.09/5.15 c Elapsed CPU time: 5.14322 s Remaining CPU time: 1794.86 s 5.09/5.18 c core #202 5.09/5.18 c Core size: 3 Core Weight: 1 Total Weight: -558 5.09/5.18 c Elapsed CPU time: 5.17321 s Remaining CPU time: 1794.83 s 5.19/5.21 c core #203 5.19/5.21 c Core size: 3 Core Weight: 1 Total Weight: -557 5.19/5.21 c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s 5.19/5.24 c core #204 5.19/5.24 c Core size: 3 Core Weight: 1 Total Weight: -556 5.19/5.24 c Elapsed CPU time: 5.2332 s Remaining CPU time: 1794.77 s 5.19/5.27 c core #205 5.19/5.27 c Core size: 3 Core Weight: 1 Total Weight: -555 5.19/5.27 c Elapsed CPU time: 5.2622 s Remaining CPU time: 1794.74 s 5.29/5.30 c core #206 5.29/5.30 c Core size: 3 Core Weight: 1 Total Weight: -554 5.29/5.30 c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s 5.29/5.33 c core #207 5.29/5.33 c Core size: 3 Core Weight: 1 Total Weight: -553 5.29/5.33 c Elapsed CPU time: 5.32219 s Remaining CPU time: 1794.68 s 5.29/5.36 c core #208 5.29/5.36 c Core size: 3 Core Weight: 1 Total Weight: -552 5.29/5.36 c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s 5.29/5.39 c core #209 5.29/5.39 c Core size: 3 Core Weight: 1 Total Weight: -551 5.29/5.39 c Elapsed CPU time: 5.38218 s Remaining CPU time: 1794.62 s 5.39/5.42 c core #210 5.39/5.42 c Core size: 3 Core Weight: 1 Total Weight: -550 5.39/5.42 c Elapsed CPU time: 5.41218 s Remaining CPU time: 1794.59 s 5.39/5.45 c core #211 5.39/5.45 c Core size: 3 Core Weight: 1 Total Weight: -549 5.39/5.45 c Elapsed CPU time: 5.44317 s Remaining CPU time: 1794.56 s 5.39/5.48 c core #212 5.39/5.48 c Core size: 3 Core Weight: 1 Total Weight: -548 5.39/5.48 c Elapsed CPU time: 5.47317 s Remaining CPU time: 1794.53 s 5.49/5.51 c core #213 5.49/5.51 c Core size: 3 Core Weight: 1 Total Weight: -547 5.49/5.51 c Elapsed CPU time: 5.50316 s Remaining CPU time: 1794.5 s 5.49/5.54 c core #214 5.49/5.54 c Core size: 3 Core Weight: 1 Total Weight: -546 5.49/5.54 c Elapsed CPU time: 5.53316 s Remaining CPU time: 1794.47 s 5.49/5.57 c core #215 5.49/5.57 c Core size: 3 Core Weight: 1 Total Weight: -545 5.49/5.57 c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s 5.49/5.60 c core #216 5.49/5.60 c Core size: 3 Core Weight: 1 Total Weight: -544 5.49/5.60 c Elapsed CPU time: 5.59415 s Remaining CPU time: 1794.41 s 5.59/5.63 c core #217 5.59/5.63 c Core size: 3 Core Weight: 1 Total Weight: -543 5.59/5.63 c Elapsed CPU time: 5.62415 s Remaining CPU time: 1794.38 s 5.59/5.66 c core #218 5.59/5.66 c Core size: 3 Core Weight: 1 Total Weight: -542 5.59/5.66 c Elapsed CPU time: 5.65514 s Remaining CPU time: 1794.34 s 5.59/5.69 c core #219 5.59/5.69 c Core size: 3 Core Weight: 1 Total Weight: -541 5.59/5.69 c Elapsed CPU time: 5.68513 s Remaining CPU time: 1794.31 s 5.69/5.72 c core #220 5.69/5.72 c Core size: 3 Core Weight: 1 Total Weight: -540 5.69/5.72 c Elapsed CPU time: 5.71613 s Remaining CPU time: 1794.28 s 5.69/5.75 c core #221 5.69/5.75 c Core size: 3 Core Weight: 1 Total Weight: -539 5.69/5.75 c Elapsed CPU time: 5.74713 s Remaining CPU time: 1794.25 s 5.69/5.78 c core #222 5.69/5.78 c Core size: 3 Core Weight: 1 Total Weight: -538 5.69/5.78 c Elapsed CPU time: 5.77712 s Remaining CPU time: 1794.22 s 5.79/5.81 c core #223 5.79/5.81 c Core size: 3 Core Weight: 1 Total Weight: -537 5.79/5.81 c Elapsed CPU time: 5.80812 s Remaining CPU time: 1794.19 s 5.79/5.85 c core #224 5.79/5.85 c Core size: 3 Core Weight: 1 Total Weight: -536 5.79/5.85 c Elapsed CPU time: 5.83811 s Remaining CPU time: 1794.16 s 5.79/5.88 c core #225 5.79/5.88 c Core size: 3 Core Weight: 1 Total Weight: -535 5.79/5.88 c Elapsed CPU time: 5.87011 s Remaining CPU time: 1794.13 s 5.88/5.91 c core #226 5.88/5.91 c Core size: 3 Core Weight: 1 Total Weight: -534 5.88/5.91 c Elapsed CPU time: 5.9011 s Remaining CPU time: 1794.1 s 5.88/5.94 c core #227 5.88/5.94 c Core size: 3 Core Weight: 1 Total Weight: -533 5.88/5.94 c Elapsed CPU time: 5.9321 s Remaining CPU time: 1794.07 s 5.88/5.97 c core #228 5.88/5.97 c Core size: 3 Core Weight: 1 Total Weight: -532 5.88/5.97 c Elapsed CPU time: 5.96309 s Remaining CPU time: 1794.04 s 5.98/6.00 c core #229 5.98/6.00 c Core size: 3 Core Weight: 1 Total Weight: -531 5.98/6.00 c Elapsed CPU time: 5.99409 s Remaining CPU time: 1794.01 s 5.98/6.03 c core #230 5.98/6.03 c Core size: 3 Core Weight: 1 Total Weight: -530 5.98/6.03 c Elapsed CPU time: 6.02508 s Remaining CPU time: 1793.97 s 5.98/6.06 c core #231 5.98/6.06 c Core size: 3 Core Weight: 1 Total Weight: -529 5.98/6.06 c Elapsed CPU time: 6.05608 s Remaining CPU time: 1793.94 s 5.98/6.09 c core #232 5.98/6.09 c Core size: 3 Core Weight: 1 Total Weight: -528 5.98/6.09 c Elapsed CPU time: 6.08707 s Remaining CPU time: 1793.91 s 6.08/6.13 c core #233 6.08/6.13 c Core size: 3 Core Weight: 1 Total Weight: -527 6.08/6.13 c Elapsed CPU time: 6.11907 s Remaining CPU time: 1793.88 s 6.08/6.16 c core #234 6.08/6.16 c Core size: 3 Core Weight: 1 Total Weight: -526 6.08/6.16 c Elapsed CPU time: 6.15006 s Remaining CPU time: 1793.85 s 6.08/6.19 c core #235 6.08/6.19 c Core size: 3 Core Weight: 1 Total Weight: -525 6.08/6.19 c Elapsed CPU time: 6.18206 s Remaining CPU time: 1793.82 s 6.18/6.22 c core #236 6.18/6.22 c Core size: 3 Core Weight: 1 Total Weight: -524 6.18/6.22 c Elapsed CPU time: 6.21305 s Remaining CPU time: 1793.79 s 6.18/6.25 c core #237 6.18/6.25 c Core size: 3 Core Weight: 1 Total Weight: -523 6.18/6.25 c Elapsed CPU time: 6.24505 s Remaining CPU time: 1793.75 s 6.18/6.28 c core #238 6.18/6.28 c Core size: 3 Core Weight: 1 Total Weight: -522 6.18/6.28 c Elapsed CPU time: 6.27604 s Remaining CPU time: 1793.72 s 6.28/6.31 c core #239 6.28/6.31 c Core size: 3 Core Weight: 1 Total Weight: -521 6.28/6.31 c Elapsed CPU time: 6.30804 s Remaining CPU time: 1793.69 s 6.28/6.35 c core #240 6.28/6.35 c Core size: 3 Core Weight: 1 Total Weight: -520 6.28/6.35 c Elapsed CPU time: 6.34004 s Remaining CPU time: 1793.66 s 6.28/6.38 c core #241 6.28/6.38 c Core size: 3 Core Weight: 1 Total Weight: -519 6.28/6.38 c Elapsed CPU time: 6.37203 s Remaining CPU time: 1793.63 s 6.38/6.41 c core #242 6.38/6.41 c Core size: 3 Core Weight: 1 Total Weight: -518 6.38/6.41 c Elapsed CPU time: 6.40303 s Remaining CPU time: 1793.6 s 6.38/6.44 c core #243 6.38/6.44 c Core size: 3 Core Weight: 1 Total Weight: -517 6.38/6.44 c Elapsed CPU time: 6.43502 s Remaining CPU time: 1793.56 s 6.38/6.47 c core #244 6.38/6.47 c Core size: 3 Core Weight: 1 Total Weight: -516 6.38/6.47 c Elapsed CPU time: 6.46802 s Remaining CPU time: 1793.53 s 6.48/6.51 c core #245 6.48/6.51 c Core size: 3 Core Weight: 1 Total Weight: -515 6.48/6.51 c Elapsed CPU time: 6.49901 s Remaining CPU time: 1793.5 s 6.48/6.54 c core #246 6.48/6.54 c Core size: 3 Core Weight: 1 Total Weight: -514 6.48/6.54 c Elapsed CPU time: 6.53101 s Remaining CPU time: 1793.47 s 6.48/6.57 c core #247 6.48/6.57 c Core size: 3 Core Weight: 1 Total Weight: -513 6.48/6.57 c Elapsed CPU time: 6.564 s Remaining CPU time: 1793.44 s 6.59/6.60 c core #248 6.59/6.60 c Core size: 3 Core Weight: 1 Total Weight: -512 6.59/6.60 c Elapsed CPU time: 6.596 s Remaining CPU time: 1793.4 s 6.59/6.64 c core #249 6.59/6.64 c Core size: 3 Core Weight: 1 Total Weight: -511 6.59/6.64 c Elapsed CPU time: 6.62799 s Remaining CPU time: 1793.37 s 6.59/6.67 c core #250 6.59/6.67 c Core size: 3 Core Weight: 1 Total Weight: -510 6.59/6.67 c Elapsed CPU time: 6.65999 s Remaining CPU time: 1793.34 s 6.59/6.70 c core #251 6.59/6.70 c Core size: 3 Core Weight: 1 Total Weight: -509 6.59/6.70 c Elapsed CPU time: 6.69198 s Remaining CPU time: 1793.31 s 6.69/6.73 c core #252 6.69/6.73 c Core size: 3 Core Weight: 1 Total Weight: -508 6.69/6.73 c Elapsed CPU time: 6.72498 s Remaining CPU time: 1793.28 s 6.69/6.76 c core #253 6.69/6.76 c Core size: 3 Core Weight: 1 Total Weight: -507 6.69/6.76 c Elapsed CPU time: 6.75697 s Remaining CPU time: 1793.24 s 6.78/6.80 c core #254 6.78/6.80 c Core size: 3 Core Weight: 1 Total Weight: -506 6.78/6.80 c Elapsed CPU time: 6.78997 s Remaining CPU time: 1793.21 s 6.78/6.83 c core #255 6.78/6.83 c Core size: 3 Core Weight: 1 Total Weight: -505 6.78/6.83 c Elapsed CPU time: 6.82096 s Remaining CPU time: 1793.18 s 6.78/6.86 c core #256 6.78/6.86 c Core size: 3 Core Weight: 1 Total Weight: -504 6.78/6.86 c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s 6.78/6.89 c core #257 6.78/6.89 c Core size: 3 Core Weight: 1 Total Weight: -503 6.78/6.89 c Elapsed CPU time: 6.88595 s Remaining CPU time: 1793.11 s 6.89/6.93 c core #258 6.89/6.93 c Core size: 3 Core Weight: 1 Total Weight: -502 6.89/6.93 c Elapsed CPU time: 6.91895 s Remaining CPU time: 1793.08 s 6.89/6.96 c core #259 6.89/6.96 c Core size: 3 Core Weight: 1 Total Weight: -501 6.89/6.96 c Elapsed CPU time: 6.95194 s Remaining CPU time: 1793.05 s 6.89/6.99 c core #260 6.89/6.99 c Core size: 3 Core Weight: 1 Total Weight: -500 6.89/6.99 c Elapsed CPU time: 6.98494 s Remaining CPU time: 1793.02 s 6.99/7.03 c core #261 6.99/7.03 c Core size: 3 Core Weight: 1 Total Weight: -499 6.99/7.03 c Elapsed CPU time: 7.01793 s Remaining CPU time: 1792.98 s 6.99/7.06 c core #262 6.99/7.06 c Core size: 3 Core Weight: 1 Total Weight: -498 6.99/7.06 c Elapsed CPU time: 7.05093 s Remaining CPU time: 1792.95 s 6.99/7.09 c core #263 6.99/7.09 c Core size: 3 Core Weight: 1 Total Weight: -497 6.99/7.09 c Elapsed CPU time: 7.08392 s Remaining CPU time: 1792.92 s 7.09/7.13 c core #264 7.09/7.13 c Core size: 3 Core Weight: 1 Total Weight: -496 7.09/7.13 c Elapsed CPU time: 7.11692 s Remaining CPU time: 1792.88 s 7.09/7.16 c core #265 7.09/7.16 c Core size: 3 Core Weight: 1 Total Weight: -495 7.09/7.16 c Elapsed CPU time: 7.14991 s Remaining CPU time: 1792.85 s 7.09/7.19 c core #266 7.09/7.19 c Core size: 3 Core Weight: 1 Total Weight: -494 7.09/7.19 c Elapsed CPU time: 7.18291 s Remaining CPU time: 1792.82 s 7.19/7.22 c core #267 7.19/7.22 c Core size: 3 Core Weight: 1 Total Weight: -493 7.19/7.22 c Elapsed CPU time: 7.2169 s Remaining CPU time: 1792.78 s 7.19/7.26 c core #268 7.19/7.26 c Core size: 3 Core Weight: 1 Total Weight: -492 7.19/7.26 c Elapsed CPU time: 7.2499 s Remaining CPU time: 1792.75 s 7.19/7.29 c core #269 7.19/7.29 c Core size: 3 Core Weight: 1 Total Weight: -491 7.19/7.29 c Elapsed CPU time: 7.28289 s Remaining CPU time: 1792.72 s 7.29/7.33 c core #270 7.29/7.33 c Core size: 3 Core Weight: 1 Total Weight: -490 7.29/7.33 c Elapsed CPU time: 7.31689 s Remaining CPU time: 1792.68 s 7.29/7.36 c core #271 7.29/7.36 c Core size: 3 Core Weight: 1 Total Weight: -489 7.29/7.36 c Elapsed CPU time: 7.35088 s Remaining CPU time: 1792.65 s 7.29/7.39 c core #272 7.29/7.39 c Core size: 3 Core Weight: 1 Total Weight: -488 7.29/7.39 c Elapsed CPU time: 7.38388 s Remaining CPU time: 1792.62 s 7.39/7.43 c core #273 7.39/7.43 c Core size: 3 Core Weight: 1 Total Weight: -487 7.39/7.43 c Elapsed CPU time: 7.41787 s Remaining CPU time: 1792.58 s 7.39/7.46 c core #274 7.39/7.46 c Core size: 3 Core Weight: 1 Total Weight: -486 7.39/7.46 c Elapsed CPU time: 7.45187 s Remaining CPU time: 1792.55 s 7.39/7.49 c core #275 7.39/7.49 c Core size: 3 Core Weight: 1 Total Weight: -485 7.39/7.49 c Elapsed CPU time: 7.48586 s Remaining CPU time: 1792.51 s 7.49/7.53 c core #276 7.49/7.53 c Core size: 3 Core Weight: 1 Total Weight: -484 7.49/7.53 c Elapsed CPU time: 7.51986 s Remaining CPU time: 1792.48 s 7.49/7.56 c core #277 7.49/7.56 c Core size: 3 Core Weight: 1 Total Weight: -483 7.49/7.56 c Elapsed CPU time: 7.55385 s Remaining CPU time: 1792.45 s 7.49/7.60 c core #278 7.49/7.60 c Core size: 3 Core Weight: 1 Total Weight: -482 7.49/7.60 c Elapsed CPU time: 7.58685 s Remaining CPU time: 1792.41 s 7.59/7.63 c core #279 7.59/7.63 c Core size: 3 Core Weight: 1 Total Weight: -481 7.59/7.63 c Elapsed CPU time: 7.62184 s Remaining CPU time: 1792.38 s 7.59/7.66 c core #280 7.59/7.66 c Core size: 3 Core Weight: 1 Total Weight: -480 7.59/7.66 c Elapsed CPU time: 7.65584 s Remaining CPU time: 1792.34 s 7.59/7.70 c core #281 7.59/7.70 c Core size: 3 Core Weight: 1 Total Weight: -479 7.59/7.70 c Elapsed CPU time: 7.69083 s Remaining CPU time: 1792.31 s 7.70/7.73 c core #282 7.70/7.73 c Core size: 3 Core Weight: 1 Total Weight: -478 7.70/7.73 c Elapsed CPU time: 7.72483 s Remaining CPU time: 1792.28 s 7.70/7.77 c core #283 7.70/7.77 c Core size: 3 Core Weight: 1 Total Weight: -477 7.70/7.77 c Elapsed CPU time: 7.75782 s Remaining CPU time: 1792.24 s 7.80/7.80 c core #284 7.80/7.80 c Core size: 3 Core Weight: 1 Total Weight: -476 7.80/7.80 c Elapsed CPU time: 7.79282 s Remaining CPU time: 1792.21 s 7.80/7.84 c core #285 7.80/7.84 c Core size: 3 Core Weight: 1 Total Weight: -475 7.80/7.84 c Elapsed CPU time: 7.82881 s Remaining CPU time: 1792.17 s 7.80/7.87 c core #286 7.80/7.87 c Core size: 3 Core Weight: 1 Total Weight: -474 7.80/7.87 c Elapsed CPU time: 7.8628 s Remaining CPU time: 1792.14 s 7.89/7.91 c core #287 7.89/7.91 c Core size: 3 Core Weight: 1 Total Weight: -473 7.89/7.91 c Elapsed CPU time: 7.8978 s Remaining CPU time: 1792.1 s 7.89/7.94 c core #288 7.89/7.94 c Core size: 3 Core Weight: 1 Total Weight: -472 7.89/7.94 c Elapsed CPU time: 7.93179 s Remaining CPU time: 1792.07 s 7.89/7.98 c core #289 7.89/7.98 c Core size: 3 Core Weight: 1 Total Weight: -471 7.89/7.98 c Elapsed CPU time: 7.96679 s Remaining CPU time: 1792.03 s 7.99/8.01 c core #290 7.99/8.01 c Core size: 3 Core Weight: 1 Total Weight: -470 7.99/8.01 c Elapsed CPU time: 8.00178 s Remaining CPU time: 1792 s 7.99/8.05 c core #291 7.99/8.05 c Core size: 3 Core Weight: 1 Total Weight: -469 7.99/8.05 c Elapsed CPU time: 8.03678 s Remaining CPU time: 1791.96 s 7.99/8.08 c core #292 7.99/8.08 c Core size: 3 Core Weight: 1 Total Weight: -468 7.99/8.08 c Elapsed CPU time: 8.07277 s Remaining CPU time: 1791.93 s 8.09/8.12 c core #293 8.09/8.12 c Core size: 3 Core Weight: 1 Total Weight: -467 8.09/8.12 c Elapsed CPU time: 8.10777 s Remaining CPU time: 1791.89 s 8.09/8.15 c core #294 8.09/8.15 c Core size: 3 Core Weight: 1 Total Weight: -466 8.09/8.15 c Elapsed CPU time: 8.14276 s Remaining CPU time: 1791.86 s 8.09/8.19 c core #295 8.09/8.19 c Core size: 3 Core Weight: 1 Total Weight: -465 8.09/8.19 c Elapsed CPU time: 8.17776 s Remaining CPU time: 1791.82 s 8.19/8.23 c core #296 8.19/8.23 c Core size: 3 Core Weight: 1 Total Weight: -464 8.19/8.23 c Elapsed CPU time: 8.21275 s Remaining CPU time: 1791.79 s 8.19/8.26 c core #297 8.19/8.26 c Core size: 3 Core Weight: 1 Total Weight: -463 8.19/8.26 c Elapsed CPU time: 8.24875 s Remaining CPU time: 1791.75 s 8.29/8.30 c core #298 8.29/8.30 c Core size: 3 Core Weight: 1 Total Weight: -462 8.29/8.30 c Elapsed CPU time: 8.28474 s Remaining CPU time: 1791.72 s 8.29/8.33 c core #299 8.29/8.33 c Core size: 3 Core Weight: 1 Total Weight: -461 8.29/8.33 c Elapsed CPU time: 8.32073 s Remaining CPU time: 1791.68 s 8.29/8.37 c core #300 8.29/8.37 c Core size: 3 Core Weight: 1 Total Weight: -460 8.29/8.37 c Elapsed CPU time: 8.35573 s Remaining CPU time: 1791.64 s 8.39/8.40 c core #301 8.39/8.40 c Core size: 3 Core Weight: 1 Total Weight: -459 8.39/8.40 c Elapsed CPU time: 8.39072 s Remaining CPU time: 1791.61 s 8.39/8.44 c core #302 8.39/8.44 c Core size: 3 Core Weight: 1 Total Weight: -458 8.39/8.44 c Elapsed CPU time: 8.42772 s Remaining CPU time: 1791.57 s 8.39/8.48 c core #303 8.39/8.48 c Core size: 3 Core Weight: 1 Total Weight: -457 8.39/8.48 c Elapsed CPU time: 8.46371 s Remaining CPU time: 1791.54 s 8.49/8.51 c core #304 8.49/8.51 c Core size: 3 Core Weight: 1 Total Weight: -456 8.49/8.51 c Elapsed CPU time: 8.49871 s Remaining CPU time: 1791.5 s 8.49/8.55 c core #305 8.49/8.55 c Core size: 3 Core Weight: 1 Total Weight: -455 8.49/8.55 c Elapsed CPU time: 8.5347 s Remaining CPU time: 1791.47 s 8.49/8.59 c core #306 8.49/8.59 c Core size: 3 Core Weight: 1 Total Weight: -454 8.49/8.59 c Elapsed CPU time: 8.5707 s Remaining CPU time: 1791.43 s 8.58/8.62 c core #307 8.58/8.62 c Core size: 3 Core Weight: 1 Total Weight: -453 8.58/8.62 c Elapsed CPU time: 8.60669 s Remaining CPU time: 1791.39 s 8.58/8.66 c core #308 8.58/8.66 c Core size: 3 Core Weight: 1 Total Weight: -452 8.58/8.66 c Elapsed CPU time: 8.64368 s Remaining CPU time: 1791.36 s 8.58/8.70 c core #309 8.58/8.70 c Core size: 3 Core Weight: 1 Total Weight: -451 8.58/8.70 c Elapsed CPU time: 8.67868 s Remaining CPU time: 1791.32 s 8.68/8.73 c core #310 8.68/8.73 c Core size: 3 Core Weight: 1 Total Weight: -450 8.68/8.73 c Elapsed CPU time: 8.71567 s Remaining CPU time: 1791.28 s 8.68/8.77 c core #311 8.68/8.77 c Core size: 3 Core Weight: 1 Total Weight: -449 8.68/8.77 c Elapsed CPU time: 8.75267 s Remaining CPU time: 1791.25 s 8.79/8.81 c core #312 8.79/8.81 c Core size: 3 Core Weight: 1 Total Weight: -448 8.79/8.81 c Elapsed CPU time: 8.78866 s Remaining CPU time: 1791.21 s 8.79/8.84 c core #313 8.79/8.84 c Core size: 3 Core Weight: 1 Total Weight: -447 8.79/8.84 c Elapsed CPU time: 8.82466 s Remaining CPU time: 1791.18 s 8.79/8.88 c core #314 8.79/8.88 c Core size: 3 Core Weight: 1 Total Weight: -446 8.79/8.88 c Elapsed CPU time: 8.86165 s Remaining CPU time: 1791.14 s 8.89/8.92 c core #315 8.89/8.92 c Core size: 3 Core Weight: 1 Total Weight: -445 8.89/8.92 c Elapsed CPU time: 8.89865 s Remaining CPU time: 1791.1 s 8.89/8.95 c core #316 8.89/8.95 c Core size: 3 Core Weight: 1 Total Weight: -444 8.89/8.95 c Elapsed CPU time: 8.93564 s Remaining CPU time: 1791.06 s 8.89/8.99 c core #317 8.89/8.99 c Core size: 3 Core Weight: 1 Total Weight: -443 8.89/8.99 c Elapsed CPU time: 8.97264 s Remaining CPU time: 1791.03 s 8.98/9.03 c core #318 8.98/9.03 c Core size: 3 Core Weight: 1 Total Weight: -442 8.98/9.03 c Elapsed CPU time: 9.00963 s Remaining CPU time: 1790.99 s 8.98/9.07 c core #319 8.98/9.07 c Core size: 3 Core Weight: 1 Total Weight: -441 8.98/9.07 c Elapsed CPU time: 9.04662 s Remaining CPU time: 1790.95 s 9.08/9.10 c core #320 9.08/9.10 c Core size: 3 Core Weight: 1 Total Weight: -440 9.08/9.10 c Elapsed CPU time: 9.08362 s Remaining CPU time: 1790.92 s 9.08/9.14 c core #321 9.08/9.14 c Core size: 3 Core Weight: 1 Total Weight: -439 9.08/9.14 c Elapsed CPU time: 9.12261 s Remaining CPU time: 1790.88 s 9.08/9.18 c core #322 9.08/9.18 c Core size: 3 Core Weight: 1 Total Weight: -438 9.08/9.18 c Elapsed CPU time: 9.15961 s Remaining CPU time: 1790.84 s 9.18/9.22 c core #323 9.18/9.22 c Core size: 3 Core Weight: 1 Total Weight: -437 9.18/9.22 c Elapsed CPU time: 9.1976 s Remaining CPU time: 1790.8 s 9.18/9.25 c core #324 9.18/9.25 c Core size: 3 Core Weight: 1 Total Weight: -436 9.18/9.26 c Elapsed CPU time: 9.23559 s Remaining CPU time: 1790.76 s 9.18/9.29 c core #325 9.18/9.29 c Core size: 3 Core Weight: 1 Total Weight: -435 9.18/9.29 c Elapsed CPU time: 9.27259 s Remaining CPU time: 1790.73 s 9.28/9.33 c core #326 9.28/9.33 c Core size: 3 Core Weight: 1 Total Weight: -434 9.28/9.33 c Elapsed CPU time: 9.31058 s Remaining CPU time: 1790.69 s 9.28/9.37 c core #327 9.28/9.37 c Core size: 3 Core Weight: 1 Total Weight: -433 9.28/9.37 c Elapsed CPU time: 9.34858 s Remaining CPU time: 1790.65 s 9.38/9.41 c core #328 9.38/9.41 c Core size: 3 Core Weight: 1 Total Weight: -432 9.38/9.41 c Elapsed CPU time: 9.38657 s Remaining CPU time: 1790.61 s 9.38/9.44 c core #329 9.38/9.44 c Core size: 3 Core Weight: 1 Total Weight: -431 9.38/9.44 c Elapsed CPU time: 9.42457 s Remaining CPU time: 1790.58 s 9.38/9.48 c core #330 9.38/9.48 c Core size: 3 Core Weight: 1 Total Weight: -430 9.38/9.48 c Elapsed CPU time: 9.46256 s Remaining CPU time: 1790.54 s 9.48/9.52 c core #331 9.48/9.52 c Core size: 3 Core Weight: 1 Total Weight: -429 9.48/9.52 c Elapsed CPU time: 9.50056 s Remaining CPU time: 1790.5 s 9.48/9.56 c core #332 9.48/9.56 c Core size: 3 Core Weight: 1 Total Weight: -428 9.48/9.56 c Elapsed CPU time: 9.53855 s Remaining CPU time: 1790.46 s 9.58/9.60 c core #333 9.58/9.60 c Core size: 3 Core Weight: 1 Total Weight: -427 9.58/9.60 c Elapsed CPU time: 9.57654 s Remaining CPU time: 1790.42 s 9.58/9.64 c core #334 9.58/9.64 c Core size: 3 Core Weight: 1 Total Weight: -426 9.58/9.64 c Elapsed CPU time: 9.61454 s Remaining CPU time: 1790.39 s 9.58/9.67 c core #335 9.58/9.67 c Core size: 3 Core Weight: 1 Total Weight: -425 9.58/9.67 c Elapsed CPU time: 9.65353 s Remaining CPU time: 1790.35 s 9.68/9.71 c core #336 9.68/9.71 c Core size: 3 Core Weight: 1 Total Weight: -424 9.68/9.71 c Elapsed CPU time: 9.69253 s Remaining CPU time: 1790.31 s 9.68/9.75 c core #337 9.68/9.75 c Core size: 3 Core Weight: 1 Total Weight: -423 9.68/9.75 c Elapsed CPU time: 9.73152 s Remaining CPU time: 1790.27 s 9.68/9.79 c core #338 9.68/9.79 c Core size: 3 Core Weight: 1 Total Weight: -422 9.68/9.79 c Elapsed CPU time: 9.77051 s Remaining CPU time: 1790.23 s 9.78/9.83 c core #339 9.78/9.83 c Core size: 3 Core Weight: 1 Total Weight: -421 9.78/9.83 c Elapsed CPU time: 9.80951 s Remaining CPU time: 1790.19 s 9.78/9.87 c core #340 9.78/9.87 c Core size: 3 Core Weight: 1 Total Weight: -420 9.78/9.87 c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s 9.88/9.91 c core #341 9.88/9.91 c Core size: 3 Core Weight: 1 Total Weight: -419 9.88/9.91 c Elapsed CPU time: 9.8875 s Remaining CPU time: 1790.11 s 9.88/9.95 c core #342 9.88/9.95 c Core size: 3 Core Weight: 1 Total Weight: -418 9.88/9.95 c Elapsed CPU time: 9.92649 s Remaining CPU time: 1790.07 s 9.88/9.99 c core #343 9.88/9.99 c Core size: 3 Core Weight: 1 Total Weight: -417 9.88/9.99 c Elapsed CPU time: 9.96548 s Remaining CPU time: 1790.03 s 9.98/10.03 c core #344 9.98/10.03 c Core size: 3 Core Weight: 1 Total Weight: -416 9.98/10.03 c Elapsed CPU time: 10.0045 s Remaining CPU time: 1790 s 9.98/10.07 c core #345 9.98/10.07 c Core size: 3 Core Weight: 1 Total Weight: -415 9.98/10.07 c Elapsed CPU time: 10.0445 s Remaining CPU time: 1789.96 s 10.08/10.11 c core #346 10.08/10.11 c Core size: 3 Core Weight: 1 Total Weight: -414 10.08/10.11 c Elapsed CPU time: 10.0835 s Remaining CPU time: 1789.92 s 10.08/10.15 c core #347 10.08/10.15 c Core size: 3 Core Weight: 1 Total Weight: -413 10.08/10.15 c Elapsed CPU time: 10.1235 s Remaining CPU time: 1789.88 s 10.08/10.19 c core #348 10.08/10.19 c Core size: 3 Core Weight: 1 Total Weight: -412 10.08/10.19 c Elapsed CPU time: 10.1635 s Remaining CPU time: 1789.84 s 10.18/10.22 c core #349 10.18/10.22 c Core size: 3 Core Weight: 1 Total Weight: -411 10.18/10.23 c Elapsed CPU time: 10.2024 s Remaining CPU time: 1789.8 s 10.18/10.26 c core #350 10.18/10.26 c Core size: 3 Core Weight: 1 Total Weight: -410 10.18/10.26 c Elapsed CPU time: 10.2414 s Remaining CPU time: 1789.76 s 10.28/10.30 c core #351 10.28/10.30 c Core size: 3 Core Weight: 1 Total Weight: -409 10.28/10.30 c Elapsed CPU time: 10.2804 s Remaining CPU time: 1789.72 s 10.28/10.34 c core #352 10.28/10.34 c Core size: 3 Core Weight: 1 Total Weight: -408 10.28/10.34 c Elapsed CPU time: 10.3194 s Remaining CPU time: 1789.68 s 10.28/10.38 c core #353 10.28/10.38 c Core size: 3 Core Weight: 1 Total Weight: -407 10.28/10.38 c Elapsed CPU time: 10.3604 s Remaining CPU time: 1789.64 s 10.38/10.42 c core #354 10.38/10.42 c Core size: 3 Core Weight: 1 Total Weight: -406 10.38/10.42 c Elapsed CPU time: 10.4004 s Remaining CPU time: 1789.6 s 10.38/10.46 c core #355 10.38/10.46 c Core size: 3 Core Weight: 1 Total Weight: -405 10.38/10.46 c Elapsed CPU time: 10.4404 s Remaining CPU time: 1789.56 s 10.48/10.50 c core #356 10.48/10.50 c Core size: 3 Core Weight: 1 Total Weight: -404 10.48/10.51 c Elapsed CPU time: 10.4804 s Remaining CPU time: 1789.52 s 10.48/10.55 c core #357 10.48/10.55 c Core size: 3 Core Weight: 1 Total Weight: -403 10.48/10.55 c Elapsed CPU time: 10.5204 s Remaining CPU time: 1789.48 s 10.48/10.59 c core #358 10.48/10.59 c Core size: 3 Core Weight: 1 Total Weight: -402 10.48/10.59 c Elapsed CPU time: 10.5604 s Remaining CPU time: 1789.44 s 10.58/10.63 c core #359 10.58/10.63 c Core size: 3 Core Weight: 1 Total Weight: -401 10.58/10.63 c Elapsed CPU time: 10.6004 s Remaining CPU time: 1789.4 s 10.58/10.67 c core #360 10.58/10.67 c Core size: 3 Core Weight: 1 Total Weight: -400 10.58/10.67 c Elapsed CPU time: 10.6414 s Remaining CPU time: 1789.36 s 10.68/10.71 c core #361 10.68/10.71 c Core size: 3 Core Weight: 1 Total Weight: -399 10.68/10.71 c Elapsed CPU time: 10.6814 s Remaining CPU time: 1789.32 s 10.68/10.75 c core #362 10.68/10.75 c Core size: 3 Core Weight: 1 Total Weight: -398 10.68/10.75 c Elapsed CPU time: 10.7214 s Remaining CPU time: 1789.28 s 10.68/10.79 c core #363 10.68/10.79 c Core size: 3 Core Weight: 1 Total Weight: -397 10.68/10.79 c Elapsed CPU time: 10.7614 s Remaining CPU time: 1789.24 s 10.77/10.83 c core #364 10.77/10.83 c Core size: 3 Core Weight: 1 Total Weight: -396 10.77/10.83 c Elapsed CPU time: 10.8024 s Remaining CPU time: 1789.2 s 10.77/10.87 c core #365 10.77/10.87 c Core size: 3 Core Weight: 1 Total Weight: -395 10.77/10.87 c Elapsed CPU time: 10.8434 s Remaining CPU time: 1789.16 s 10.87/10.91 c core #366 10.87/10.91 c Core size: 3 Core Weight: 1 Total Weight: -394 10.87/10.91 c Elapsed CPU time: 10.8843 s Remaining CPU time: 1789.12 s 10.87/10.95 c core #367 10.87/10.95 c Core size: 3 Core Weight: 1 Total Weight: -393 10.87/10.95 c Elapsed CPU time: 10.9253 s Remaining CPU time: 1789.07 s 10.87/11.00 c core #368 10.87/11.00 c Core size: 3 Core Weight: 1 Total Weight: -392 10.87/11.00 c Elapsed CPU time: 10.9663 s Remaining CPU time: 1789.03 s 10.98/11.04 c core #369 10.98/11.04 c Core size: 3 Core Weight: 1 Total Weight: -391 10.98/11.04 c Elapsed CPU time: 11.0073 s Remaining CPU time: 1788.99 s 10.98/11.08 c core #370 10.98/11.08 c Core size: 3 Core Weight: 1 Total Weight: -390 10.98/11.08 c Elapsed CPU time: 11.0493 s Remaining CPU time: 1788.95 s 11.08/11.12 c core #371 11.08/11.12 c Core size: 3 Core Weight: 1 Total Weight: -389 11.08/11.12 c Elapsed CPU time: 11.0903 s Remaining CPU time: 1788.91 s 11.08/11.16 c core #372 11.08/11.16 c Core size: 3 Core Weight: 1 Total Weight: -388 11.08/11.16 c Elapsed CPU time: 11.1323 s Remaining CPU time: 1788.87 s 11.17/11.20 c core #373 11.17/11.20 c Core size: 3 Core Weight: 1 Total Weight: -387 11.17/11.20 c Elapsed CPU time: 11.1733 s Remaining CPU time: 1788.83 s 11.17/11.24 c core #374 11.17/11.24 c Core size: 3 Core Weight: 1 Total Weight: -386 11.17/11.24 c Elapsed CPU time: 11.2153 s Remaining CPU time: 1788.78 s 11.17/11.29 c core #375 11.17/11.29 c Core size: 3 Core Weight: 1 Total Weight: -385 11.17/11.29 c Elapsed CPU time: 11.2573 s Remaining CPU time: 1788.74 s 11.27/11.33 c core #376 11.27/11.33 c Core size: 3 Core Weight: 1 Total Weight: -384 11.27/11.33 c Elapsed CPU time: 11.2993 s Remaining CPU time: 1788.7 s 11.27/11.37 c core #377 11.27/11.37 c Core size: 3 Core Weight: 1 Total Weight: -383 11.27/11.37 c Elapsed CPU time: 11.3403 s Remaining CPU time: 1788.66 s 11.37/11.41 c core #378 11.37/11.41 c Core size: 3 Core Weight: 1 Total Weight: -382 11.37/11.41 c Elapsed CPU time: 11.3823 s Remaining CPU time: 1788.62 s 11.37/11.45 c core #379 11.37/11.45 c Core size: 3 Core Weight: 1 Total Weight: -381 11.37/11.45 c Elapsed CPU time: 11.4243 s Remaining CPU time: 1788.58 s 11.47/11.50 c core #380 11.47/11.50 c Core size: 10 Core Weight: 1 Total Weight: -380 11.47/11.50 c Elapsed CPU time: 11.4673 s Remaining CPU time: 1788.53 s 11.47/11.54 c core #381 11.47/11.54 c Core size: 10 Core Weight: 1 Total Weight: -379 11.47/11.54 c Elapsed CPU time: 11.5092 s Remaining CPU time: 1788.49 s 11.47/11.58 c ============================[ Search Statistics ]============================== 11.47/11.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.47/11.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.47/11.58 c =============================================================================== 11.47/11.58 c | 0 | 1528 42760 85534 | 14253 0 nan | 0.000 % | 11.47/11.58 c =============================================================================== 11.47/11.58 c core #382 11.47/11.58 c Core size: 14 Core Weight: 1 Total Weight: -378 11.47/11.58 c Elapsed CPU time: 11.5542 s Remaining CPU time: 1788.45 s 11.57/11.62 c ============================[ Search Statistics ]============================== 11.57/11.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.57/11.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.57/11.62 c =============================================================================== 11.57/11.62 c | 0 | 1533 42761 85544 | 14253 0 nan | 0.000 % | 11.57/11.63 c =============================================================================== 11.57/11.63 c core #383 11.57/11.63 c Core size: 28 Core Weight: 1 Total Weight: -377 11.57/11.63 c Elapsed CPU time: 11.5982 s Remaining CPU time: 1788.4 s 11.57/11.67 c ============================[ Search Statistics ]============================== 11.57/11.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.57/11.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.57/11.67 c =============================================================================== 11.57/11.67 c | 0 | 1544 42762 85566 | 14254 0 nan | 0.000 % | 11.57/11.67 c =============================================================================== 11.57/11.67 c core #384 11.57/11.67 c Core size: 45 Core Weight: 1 Total Weight: -376 11.57/11.67 c Elapsed CPU time: 11.6422 s Remaining CPU time: 1788.36 s 11.67/11.71 c ============================[ Search Statistics ]============================== 11.67/11.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.67/11.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.67/11.71 c =============================================================================== 11.67/11.71 c | 0 | 1563 42763 85604 | 14254 0 nan | 0.000 % | 11.67/11.72 c =============================================================================== 11.67/11.72 c core #385 11.67/11.72 c Core size: 13 Core Weight: 1 Total Weight: -375 11.67/11.72 c Elapsed CPU time: 11.6872 s Remaining CPU time: 1788.31 s 11.67/11.76 c ============================[ Search Statistics ]============================== 11.67/11.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.67/11.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.67/11.76 c =============================================================================== 11.67/11.76 c | 0 | 1569 42764 85616 | 14254 0 nan | 0.000 % | 11.67/11.76 c =============================================================================== 11.67/11.76 c core #386 11.67/11.76 c Core size: 13 Core Weight: 1 Total Weight: -374 11.67/11.76 c Elapsed CPU time: 11.7292 s Remaining CPU time: 1788.27 s 11.77/11.80 c ============================[ Search Statistics ]============================== 11.77/11.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.77/11.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.77/11.80 c =============================================================================== 11.77/11.80 c | 0 | 1575 42765 85628 | 14255 0 nan | 0.000 % | 11.77/11.81 c =============================================================================== 11.77/11.81 c core #387 11.77/11.81 c Core size: 32 Core Weight: 1 Total Weight: -373 11.77/11.81 c Elapsed CPU time: 11.7732 s Remaining CPU time: 1788.23 s 11.77/11.85 c ============================[ Search Statistics ]============================== 11.77/11.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.77/11.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.77/11.85 c =============================================================================== 11.77/11.85 c | 0 | 1587 42766 85652 | 14255 0 nan | 0.000 % | 11.77/11.85 c =============================================================================== 11.77/11.85 c core #388 11.77/11.85 c Core size: 14 Core Weight: 1 Total Weight: -372 11.77/11.85 c Elapsed CPU time: 11.8182 s Remaining CPU time: 1788.18 s 11.77/11.89 c ============================[ Search Statistics ]============================== 11.77/11.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.77/11.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.77/11.89 c =============================================================================== 11.77/11.89 c | 0 | 1592 42767 85662 | 14255 0 nan | 0.000 % | 11.77/11.90 c =============================================================================== 11.87/11.90 c core #389 11.87/11.90 c Core size: 13 Core Weight: 1 Total Weight: -371 11.87/11.90 c Elapsed CPU time: 11.8632 s Remaining CPU time: 1788.14 s 11.87/11.94 c ============================[ Search Statistics ]============================== 11.87/11.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.87/11.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.87/11.94 c =============================================================================== 11.87/11.94 c | 0 | 1598 42768 85674 | 14256 0 nan | 0.000 % | 11.87/11.94 c =============================================================================== 11.87/11.94 c core #390 11.87/11.94 c Core size: 13 Core Weight: 1 Total Weight: -370 11.87/11.94 c Elapsed CPU time: 11.9052 s Remaining CPU time: 1788.09 s 11.87/11.98 c ============================[ Search Statistics ]============================== 11.87/11.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.87/11.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.87/11.98 c =============================================================================== 11.87/11.98 c | 0 | 1604 42769 85686 | 14256 0 nan | 0.000 % | 11.87/11.99 c =============================================================================== 11.87/11.99 c core #391 11.87/11.99 c Core size: 47 Core Weight: 1 Total Weight: -369 11.87/11.99 c Elapsed CPU time: 11.9482 s Remaining CPU time: 1788.05 s 11.97/12.03 c ============================[ Search Statistics ]============================== 11.97/12.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.97/12.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.97/12.03 c =============================================================================== 11.97/12.03 c | 0 | 1619 42770 85716 | 14256 0 nan | 0.000 % | 11.97/12.03 c =============================================================================== 11.97/12.03 c core #392 11.97/12.03 c Core size: 13 Core Weight: 1 Total Weight: -368 11.97/12.03 c Elapsed CPU time: 11.9932 s Remaining CPU time: 1788.01 s 11.97/12.07 c ============================[ Search Statistics ]============================== 11.97/12.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.97/12.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.97/12.07 c =============================================================================== 11.97/12.07 c | 0 | 1625 42771 85728 | 14257 0 nan | 0.000 % | 11.97/12.08 c =============================================================================== 11.97/12.08 c core #393 11.97/12.08 c Core size: 13 Core Weight: 1 Total Weight: -367 11.97/12.08 c Elapsed CPU time: 12.0382 s Remaining CPU time: 1787.96 s 12.08/12.12 c ============================[ Search Statistics ]============================== 12.08/12.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.08/12.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.08/12.12 c =============================================================================== 12.08/12.12 c | 0 | 1631 42772 85740 | 14257 0 nan | 0.000 % | 12.08/12.12 c =============================================================================== 12.08/12.12 c core #394 12.08/12.12 c Core size: 13 Core Weight: 1 Total Weight: -366 12.08/12.12 c Elapsed CPU time: 12.0832 s Remaining CPU time: 1787.92 s 12.08/12.16 c ============================[ Search Statistics ]============================== 12.08/12.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.08/12.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.08/12.16 c =============================================================================== 12.08/12.16 c | 0 | 1637 42773 85752 | 14257 0 nan | 0.000 % | 12.08/12.17 c =============================================================================== 12.08/12.17 c core #395 12.08/12.17 c Core size: 10 Core Weight: 1 Total Weight: -365 12.08/12.17 c Elapsed CPU time: 12.1272 s Remaining CPU time: 1787.87 s 12.18/12.20 c ============================[ Search Statistics ]============================== 12.18/12.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.21 c =============================================================================== 12.18/12.21 c | 0 | 1641 42774 85760 | 14258 0 nan | 0.000 % | 12.18/12.21 c =============================================================================== 12.18/12.21 c core #396 12.18/12.21 c Core size: 13 Core Weight: 1 Total Weight: -364 12.18/12.21 c Elapsed CPU time: 12.1701 s Remaining CPU time: 1787.83 s 12.18/12.25 c ============================[ Search Statistics ]============================== 12.18/12.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.25 c =============================================================================== 12.18/12.25 c | 0 | 1647 42775 85772 | 14258 0 nan | 0.000 % | 12.18/12.25 c =============================================================================== 12.18/12.25 c core #397 12.18/12.25 c Core size: 10 Core Weight: 1 Total Weight: -363 12.18/12.25 c Elapsed CPU time: 12.2141 s Remaining CPU time: 1787.79 s 12.18/12.30 c ============================[ Search Statistics ]============================== 12.27/12.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.27/12.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.27/12.30 c =============================================================================== 12.27/12.30 c | 0 | 1651 42776 85780 | 14258 0 nan | 0.000 % | 12.27/12.30 c =============================================================================== 12.27/12.30 c core #398 12.27/12.30 c Core size: 13 Core Weight: 1 Total Weight: -362 12.27/12.30 c Elapsed CPU time: 12.2611 s Remaining CPU time: 1787.74 s 12.27/12.34 c ============================[ Search Statistics ]============================== 12.27/12.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.27/12.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.27/12.34 c =============================================================================== 12.27/12.34 c | 0 | 1657 42777 85792 | 14259 0 nan | 0.000 % | 12.27/12.35 c =============================================================================== 12.27/12.35 c core #399 12.27/12.35 c Core size: 10 Core Weight: 1 Total Weight: -361 12.27/12.35 c Elapsed CPU time: 12.3071 s Remaining CPU time: 1787.69 s 12.27/12.39 c ============================[ Search Statistics ]============================== 12.27/12.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.27/12.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.27/12.39 c =============================================================================== 12.27/12.39 c | 0 | 1661 42778 85800 | 14259 0 nan | 0.000 % | 12.27/12.40 c =============================================================================== 12.27/12.40 c core #400 12.27/12.40 c Core size: 13 Core Weight: 1 Total Weight: -360 12.27/12.40 c Elapsed CPU time: 12.3541 s Remaining CPU time: 1787.65 s 12.37/12.43 c ============================[ Search Statistics ]============================== 12.37/12.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.37/12.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.37/12.43 c =============================================================================== 12.37/12.44 c | 0 | 1667 42779 85812 | 14259 0 nan | 0.000 % | 12.37/12.44 c =============================================================================== 12.37/12.44 c core #401 12.37/12.44 c Core size: 10 Core Weight: 1 Total Weight: -359 12.37/12.44 c Elapsed CPU time: 12.3971 s Remaining CPU time: 1787.6 s 12.37/12.48 c ============================[ Search Statistics ]============================== 12.37/12.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.37/12.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.37/12.48 c =============================================================================== 12.37/12.48 c | 0 | 1671 42780 85820 | 14260 0 nan | 0.000 % | 12.37/12.49 c =============================================================================== 12.37/12.49 c core #402 12.37/12.49 c Core size: 13 Core Weight: 1 Total Weight: -358 12.37/12.49 c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s 12.47/12.53 c ============================[ Search Statistics ]============================== 12.47/12.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.47/12.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.47/12.53 c =============================================================================== 12.47/12.53 c | 0 | 1677 42781 85832 | 14260 0 nan | 0.000 % | 12.47/12.53 c =============================================================================== 12.47/12.53 c core #403 12.47/12.53 c Core size: 21 Core Weight: 1 Total Weight: -357 12.47/12.53 c Elapsed CPU time: 12.4861 s Remaining CPU time: 1787.51 s 12.47/12.57 c ============================[ Search Statistics ]============================== 12.47/12.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.47/12.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.47/12.57 c =============================================================================== 12.47/12.57 c | 0 | 1685 42782 85848 | 14260 0 nan | 0.000 % | 12.47/12.57 c =============================================================================== 12.47/12.57 c core #404 12.47/12.57 c Core size: 13 Core Weight: 1 Total Weight: -356 12.47/12.57 c Elapsed CPU time: 12.5301 s Remaining CPU time: 1787.47 s 12.57/12.61 c ============================[ Search Statistics ]============================== 12.57/12.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.57/12.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.57/12.61 c =============================================================================== 12.57/12.61 c | 0 | 1691 42783 85860 | 14261 0 nan | 0.000 % | 12.57/12.62 c =============================================================================== 12.57/12.62 c core #405 12.57/12.62 c Core size: 13 Core Weight: 1 Total Weight: -355 12.57/12.62 c Elapsed CPU time: 12.5731 s Remaining CPU time: 1787.43 s 12.57/12.66 c ============================[ Search Statistics ]============================== 12.57/12.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.57/12.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.57/12.66 c =============================================================================== 12.57/12.66 c | 0 | 1697 42784 85872 | 14261 0 nan | 0.000 % | 12.57/12.66 c =============================================================================== 12.57/12.66 c core #406 12.57/12.66 c Core size: 13 Core Weight: 1 Total Weight: -354 12.57/12.66 c Elapsed CPU time: 12.6181 s Remaining CPU time: 1787.38 s 12.67/12.70 c ============================[ Search Statistics ]============================== 12.67/12.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.67/12.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.67/12.70 c =============================================================================== 12.67/12.70 c | 0 | 1703 42785 85884 | 14261 0 nan | 0.000 % | 12.67/12.71 c =============================================================================== 12.67/12.71 c core #407 12.67/12.71 c Core size: 10 Core Weight: 1 Total Weight: -353 12.67/12.71 c Elapsed CPU time: 12.6611 s Remaining CPU time: 1787.34 s 12.67/12.75 c ============================[ Search Statistics ]============================== 12.67/12.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.67/12.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.67/12.75 c =============================================================================== 12.67/12.75 c | 0 | 1707 42786 85892 | 14262 0 nan | 0.000 % | 12.67/12.75 c =============================================================================== 12.67/12.75 c core #408 12.67/12.75 c Core size: 13 Core Weight: 1 Total Weight: -352 12.67/12.75 c Elapsed CPU time: 12.7041 s Remaining CPU time: 1787.3 s 12.67/12.79 c ============================[ Search Statistics ]============================== 12.67/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.67/12.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.67/12.79 c =============================================================================== 12.67/12.79 c | 0 | 1713 42787 85904 | 14262 0 nan | 0.000 % | 12.67/12.80 c =============================================================================== 12.67/12.80 c core #409 12.67/12.80 c Core size: 18 Core Weight: 1 Total Weight: -351 12.67/12.80 c Elapsed CPU time: 12.7501 s Remaining CPU time: 1787.25 s 12.77/12.84 c ============================[ Search Statistics ]============================== 12.77/12.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.77/12.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.77/12.84 c =============================================================================== 12.77/12.84 c | 0 | 1719 42788 85916 | 14262 0 nan | 0.000 % | 12.77/12.84 c =============================================================================== 12.77/12.84 c core #410 12.77/12.84 c Core size: 26 Core Weight: 1 Total Weight: -350 12.77/12.84 c Elapsed CPU time: 12.7981 s Remaining CPU time: 1787.2 s 12.77/12.89 c ============================[ Search Statistics ]============================== 12.77/12.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.77/12.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.77/12.89 c =============================================================================== 12.77/12.89 c | 0 | 1727 42789 85932 | 14263 0 nan | 0.000 % | 12.77/12.89 c =============================================================================== 12.77/12.89 c core #411 12.77/12.89 c Core size: 34 Core Weight: 1 Total Weight: -349 12.77/12.89 c Elapsed CPU time: 12.846 s Remaining CPU time: 1787.15 s 12.87/12.94 c ============================[ Search Statistics ]============================== 12.87/12.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.87/12.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.87/12.94 c =============================================================================== 12.87/12.94 c | 0 | 1737 42790 85952 | 14263 0 nan | 0.000 % | 12.87/12.94 c =============================================================================== 12.87/12.94 c core #412 12.87/12.94 c Core size: 10 Core Weight: 1 Total Weight: -348 12.87/12.94 c Elapsed CPU time: 12.893 s Remaining CPU time: 1787.11 s 12.87/12.98 c ============================[ Search Statistics ]============================== 12.87/12.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.87/12.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.87/12.98 c =============================================================================== 12.87/12.98 c | 0 | 1741 42791 85960 | 14263 0 nan | 0.000 % | 12.87/12.99 c =============================================================================== 12.87/12.99 c core #413 12.87/12.99 c Core size: 13 Core Weight: 1 Total Weight: -347 12.87/12.99 c Elapsed CPU time: 12.941 s Remaining CPU time: 1787.06 s 12.97/13.03 c ============================[ Search Statistics ]============================== 12.97/13.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.97/13.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.97/13.03 c =============================================================================== 12.97/13.03 c | 0 | 1747 42792 85972 | 14264 0 nan | 0.000 % | 12.97/13.04 c =============================================================================== 12.97/13.04 c core #414 12.97/13.04 c Core size: 18 Core Weight: 1 Total Weight: -346 12.97/13.04 c Elapsed CPU time: 12.988 s Remaining CPU time: 1787.01 s 12.97/13.08 c ============================[ Search Statistics ]============================== 12.97/13.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.97/13.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.97/13.08 c =============================================================================== 12.97/13.08 c | 0 | 1753 42793 85984 | 14264 0 nan | 0.000 % | 12.97/13.08 c =============================================================================== 12.97/13.08 c core #415 12.97/13.08 c Core size: 26 Core Weight: 1 Total Weight: -345 12.97/13.08 c Elapsed CPU time: 13.035 s Remaining CPU time: 1786.96 s 13.06/13.13 c ============================[ Search Statistics ]============================== 13.06/13.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.06/13.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.06/13.13 c =============================================================================== 13.06/13.13 c | 0 | 1761 42794 86000 | 14264 0 nan | 0.000 % | 13.06/13.13 c =============================================================================== 13.06/13.13 c core #416 13.06/13.13 c Core size: 10 Core Weight: 1 Total Weight: -344 13.06/13.13 c Elapsed CPU time: 13.082 s Remaining CPU time: 1786.92 s 13.06/13.17 c ============================[ Search Statistics ]============================== 13.06/13.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.06/13.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.06/13.17 c =============================================================================== 13.06/13.17 c | 0 | 1765 42795 86008 | 14265 0 nan | 0.000 % | 13.06/13.18 c =============================================================================== 13.06/13.18 c core #417 13.06/13.18 c Core size: 13 Core Weight: 1 Total Weight: -343 13.06/13.18 c Elapsed CPU time: 13.129 s Remaining CPU time: 1786.87 s 13.17/13.22 c ============================[ Search Statistics ]============================== 13.17/13.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.17/13.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.17/13.22 c =============================================================================== 13.17/13.22 c | 0 | 1771 42796 86020 | 14265 0 nan | 0.000 % | 13.17/13.23 c =============================================================================== 13.17/13.23 c core #418 13.17/13.23 c Core size: 10 Core Weight: 1 Total Weight: -342 13.17/13.23 c Elapsed CPU time: 13.176 s Remaining CPU time: 1786.82 s 13.17/13.27 c ============================[ Search Statistics ]============================== 13.17/13.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.17/13.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.17/13.27 c =============================================================================== 13.17/13.27 c | 0 | 1775 42797 86028 | 14265 0 nan | 0.000 % | 13.17/13.27 c =============================================================================== 13.17/13.27 c core #419 13.17/13.27 c Core size: 18 Core Weight: 1 Total Weight: -341 13.17/13.27 c Elapsed CPU time: 13.224 s Remaining CPU time: 1786.78 s 13.26/13.32 c ============================[ Search Statistics ]============================== 13.26/13.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.26/13.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.26/13.32 c =============================================================================== 13.26/13.32 c | 0 | 1781 42798 86040 | 14266 0 nan | 0.000 % | 13.26/13.32 c =============================================================================== 13.26/13.32 c core #420 13.26/13.32 c Core size: 13 Core Weight: 1 Total Weight: -340 13.26/13.32 c Elapsed CPU time: 13.271 s Remaining CPU time: 1786.73 s 13.26/13.36 c ============================[ Search Statistics ]============================== 13.26/13.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.26/13.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.26/13.36 c =============================================================================== 13.26/13.36 c | 0 | 1787 42799 86052 | 14266 0 nan | 0.000 % | 13.26/13.37 c =============================================================================== 13.26/13.37 c core #421 13.26/13.37 c Core size: 26 Core Weight: 1 Total Weight: -339 13.26/13.37 c Elapsed CPU time: 13.315 s Remaining CPU time: 1786.69 s 13.36/13.41 c ============================[ Search Statistics ]============================== 13.36/13.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.36/13.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.36/13.41 c =============================================================================== 13.36/13.41 c | 0 | 1795 42800 86068 | 14266 0 nan | 0.000 % | 13.36/13.42 c =============================================================================== 13.36/13.42 c core #422 13.36/13.42 c Core size: 13 Core Weight: 1 Total Weight: -338 13.36/13.42 c Elapsed CPU time: 13.362 s Remaining CPU time: 1786.64 s 13.36/13.46 c ============================[ Search Statistics ]============================== 13.36/13.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.36/13.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.36/13.46 c =============================================================================== 13.36/13.46 c | 0 | 1801 42801 86080 | 14267 0 nan | 0.000 % | 13.36/13.46 c =============================================================================== 13.36/13.46 c core #423 13.36/13.46 c Core size: 13 Core Weight: 1 Total Weight: -337 13.36/13.46 c Elapsed CPU time: 13.41 s Remaining CPU time: 1786.59 s 13.45/13.51 c ============================[ Search Statistics ]============================== 13.45/13.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.45/13.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.45/13.51 c =============================================================================== 13.45/13.51 c | 0 | 1807 42802 86092 | 14267 0 nan | 0.000 % | 13.45/13.51 c =============================================================================== 13.45/13.51 c core #424 13.45/13.51 c Core size: 13 Core Weight: 1 Total Weight: -336 13.45/13.51 c Elapsed CPU time: 13.455 s Remaining CPU time: 1786.55 s 13.45/13.55 c ============================[ Search Statistics ]============================== 13.45/13.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.45/13.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.45/13.56 c =============================================================================== 13.45/13.56 c | 0 | 1813 42803 86104 | 14267 0 nan | 0.000 % | 13.45/13.56 c =============================================================================== 13.45/13.56 c core #425 13.45/13.56 c Core size: 13 Core Weight: 1 Total Weight: -335 13.45/13.56 c Elapsed CPU time: 13.5019 s Remaining CPU time: 1786.5 s 13.55/13.60 c ============================[ Search Statistics ]============================== 13.55/13.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.55/13.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.55/13.60 c =============================================================================== 13.55/13.60 c | 0 | 1819 42804 86116 | 14268 0 nan | 0.000 % | 13.55/13.61 c =============================================================================== 13.55/13.61 c core #426 13.55/13.61 c Core size: 10 Core Weight: 1 Total Weight: -334 13.55/13.61 c Elapsed CPU time: 13.5499 s Remaining CPU time: 1786.45 s 13.55/13.65 c ============================[ Search Statistics ]============================== 13.55/13.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.55/13.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.55/13.65 c =============================================================================== 13.55/13.65 c | 0 | 1823 42805 86124 | 14268 0 nan | 0.000 % | 13.55/13.66 c =============================================================================== 13.55/13.66 c core #427 13.55/13.66 c Core size: 10 Core Weight: 1 Total Weight: -333 13.55/13.66 c Elapsed CPU time: 13.5959 s Remaining CPU time: 1786.4 s 13.65/13.70 c ============================[ Search Statistics ]============================== 13.65/13.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.65/13.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.65/13.70 c =============================================================================== 13.65/13.70 c | 0 | 1827 42806 86132 | 14268 0 nan | 0.000 % | 13.65/13.70 c =============================================================================== 13.65/13.70 c core #428 13.65/13.70 c Core size: 13 Core Weight: 1 Total Weight: -332 13.65/13.70 c Elapsed CPU time: 13.6439 s Remaining CPU time: 1786.36 s 13.65/13.75 c ============================[ Search Statistics ]============================== 13.65/13.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.65/13.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.65/13.75 c =============================================================================== 13.65/13.75 c | 0 | 1833 42807 86144 | 14269 0 nan | 0.000 % | 13.65/13.75 c =============================================================================== 13.65/13.75 c core #429 13.65/13.75 c Core size: 13 Core Weight: 1 Total Weight: -331 13.65/13.75 c Elapsed CPU time: 13.6889 s Remaining CPU time: 1786.31 s 13.65/13.79 c ============================[ Search Statistics ]============================== 13.65/13.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.65/13.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.65/13.79 c =============================================================================== 13.65/13.79 c | 0 | 1839 42808 86156 | 14269 0 nan | 0.000 % | 13.75/13.80 c =============================================================================== 13.75/13.80 c core #430 13.75/13.80 c Core size: 10 Core Weight: 1 Total Weight: -330 13.75/13.80 c Elapsed CPU time: 13.7349 s Remaining CPU time: 1786.27 s 13.75/13.84 c ============================[ Search Statistics ]============================== 13.75/13.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.75/13.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.75/13.84 c =============================================================================== 13.75/13.84 c | 0 | 1843 42809 86164 | 14269 0 nan | 0.000 % | 13.75/13.85 c =============================================================================== 13.75/13.85 c core #431 13.75/13.85 c Core size: 10 Core Weight: 1 Total Weight: -329 13.75/13.85 c Elapsed CPU time: 13.7819 s Remaining CPU time: 1786.22 s 13.75/13.89 c ============================[ Search Statistics ]============================== 13.75/13.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.75/13.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.75/13.89 c =============================================================================== 13.75/13.89 c | 0 | 1847 42810 86172 | 14270 0 nan | 0.000 % | 13.75/13.89 c =============================================================================== 13.75/13.89 c core #432 13.75/13.89 c Core size: 13 Core Weight: 1 Total Weight: -328 13.75/13.89 c Elapsed CPU time: 13.8299 s Remaining CPU time: 1786.17 s 13.85/13.94 c ============================[ Search Statistics ]============================== 13.85/13.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.85/13.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.85/13.94 c =============================================================================== 13.85/13.94 c | 0 | 1853 42811 86184 | 14270 0 nan | 0.000 % | 13.85/13.94 c =============================================================================== 13.85/13.94 c core #433 13.85/13.94 c Core size: 18 Core Weight: 1 Total Weight: -327 13.85/13.94 c Elapsed CPU time: 13.8789 s Remaining CPU time: 1786.12 s 13.85/13.99 c ============================[ Search Statistics ]============================== 13.85/13.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.85/13.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.85/13.99 c =============================================================================== 13.85/13.99 c | 0 | 1859 42812 86196 | 14270 0 nan | 0.000 % | 13.85/13.99 c =============================================================================== 13.85/13.99 c core #434 13.85/13.99 c Core size: 13 Core Weight: 1 Total Weight: -326 13.85/13.99 c Elapsed CPU time: 13.9279 s Remaining CPU time: 1786.07 s 13.95/14.03 c ============================[ Search Statistics ]============================== 13.95/14.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.95/14.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.95/14.03 c =============================================================================== 13.95/14.03 c | 0 | 1865 42813 86208 | 14271 0 nan | 0.000 % | 13.95/14.04 c =============================================================================== 13.95/14.04 c core #435 13.95/14.04 c Core size: 13 Core Weight: 1 Total Weight: -325 13.95/14.04 c Elapsed CPU time: 13.9759 s Remaining CPU time: 1786.02 s 13.95/14.08 c ============================[ Search Statistics ]============================== 13.95/14.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.95/14.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.95/14.08 c =============================================================================== 13.95/14.08 c | 0 | 1871 42814 86220 | 14271 0 nan | 0.000 % | 13.95/14.09 c =============================================================================== 13.95/14.09 c core #436 13.95/14.09 c Core size: 10 Core Weight: 1 Total Weight: -324 13.95/14.09 c Elapsed CPU time: 14.0229 s Remaining CPU time: 1785.98 s 14.05/14.13 c ============================[ Search Statistics ]============================== 14.05/14.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.05/14.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.05/14.13 c =============================================================================== 14.05/14.13 c | 0 | 1875 42815 86228 | 14271 0 nan | 0.000 % | 14.05/14.14 c =============================================================================== 14.05/14.14 c core #437 14.05/14.14 c Core size: 13 Core Weight: 1 Total Weight: -323 14.05/14.14 c Elapsed CPU time: 14.0699 s Remaining CPU time: 1785.93 s 14.05/14.18 c ============================[ Search Statistics ]============================== 14.05/14.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.05/14.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.05/14.18 c =============================================================================== 14.05/14.18 c | 0 | 1881 42816 86240 | 14272 0 nan | 0.000 % | 14.05/14.18 c =============================================================================== 14.05/14.19 c core #438 14.05/14.19 c Core size: 13 Core Weight: 1 Total Weight: -322 14.05/14.19 c Elapsed CPU time: 14.1199 s Remaining CPU time: 1785.88 s 14.15/14.23 c ============================[ Search Statistics ]============================== 14.15/14.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.15/14.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.15/14.23 c =============================================================================== 14.15/14.23 c | 0 | 1887 42817 86252 | 14272 0 nan | 0.000 % | 14.15/14.23 c =============================================================================== 14.15/14.23 c core #439 14.15/14.23 c Core size: 10 Core Weight: 1 Total Weight: -321 14.15/14.23 c Elapsed CPU time: 14.1678 s Remaining CPU time: 1785.83 s 14.15/14.28 c ============================[ Search Statistics ]============================== 14.15/14.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.15/14.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.15/14.28 c =============================================================================== 14.15/14.28 c | 0 | 1891 42818 86260 | 14272 0 nan | 0.000 % | 14.15/14.28 c =============================================================================== 14.15/14.28 c core #440 14.15/14.28 c Core size: 13 Core Weight: 1 Total Weight: -320 14.15/14.28 c Elapsed CPU time: 14.2188 s Remaining CPU time: 1785.78 s 14.25/14.33 c ============================[ Search Statistics ]============================== 14.25/14.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.25/14.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.25/14.33 c =============================================================================== 14.25/14.33 c | 0 | 1897 42819 86272 | 14273 0 nan | 0.000 % | 14.25/14.33 c =============================================================================== 14.25/14.33 c core #441 14.25/14.33 c Core size: 18 Core Weight: 1 Total Weight: -319 14.25/14.33 c Elapsed CPU time: 14.2678 s Remaining CPU time: 1785.73 s 14.25/14.38 c ============================[ Search Statistics ]============================== 14.25/14.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.25/14.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.25/14.38 c =============================================================================== 14.25/14.38 c | 0 | 1903 42820 86284 | 14273 0 nan | 0.000 % | 14.25/14.38 c =============================================================================== 14.25/14.38 c core #442 14.25/14.38 c Core size: 10 Core Weight: 1 Total Weight: -318 14.25/14.38 c Elapsed CPU time: 14.3178 s Remaining CPU time: 1785.68 s 14.35/14.43 c ============================[ Search Statistics ]============================== 14.35/14.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.35/14.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.35/14.43 c =============================================================================== 14.35/14.43 c | 0 | 1907 42821 86292 | 14273 0 nan | 0.000 % | 14.35/14.43 c =============================================================================== 14.35/14.43 c core #443 14.35/14.43 c Core size: 10 Core Weight: 1 Total Weight: -317 14.35/14.43 c Elapsed CPU time: 14.3658 s Remaining CPU time: 1785.63 s 14.35/14.48 c ============================[ Search Statistics ]============================== 14.35/14.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.35/14.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.35/14.48 c =============================================================================== 14.35/14.48 c | 0 | 1911 42822 86300 | 14274 0 nan | 0.000 % | 14.35/14.48 c =============================================================================== 14.35/14.48 c core #444 14.35/14.48 c Core size: 30 Core Weight: 1 Total Weight: -316 14.35/14.48 c Elapsed CPU time: 14.4118 s Remaining CPU time: 1785.59 s 14.45/14.52 c ============================[ Search Statistics ]============================== 14.45/14.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.45/14.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.45/14.52 c =============================================================================== 14.45/14.52 c | 0 | 1919 42823 86316 | 14274 0 nan | 0.000 % | 14.45/14.53 c =============================================================================== 14.45/14.53 c core #445 14.45/14.53 c Core size: 13 Core Weight: 1 Total Weight: -315 14.45/14.53 c Elapsed CPU time: 14.4598 s Remaining CPU time: 1785.54 s 14.45/14.57 c ============================[ Search Statistics ]============================== 14.45/14.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.45/14.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.45/14.57 c =============================================================================== 14.45/14.57 c | 0 | 1925 42824 86328 | 14274 0 nan | 0.000 % | 14.45/14.58 c =============================================================================== 14.45/14.58 c core #446 14.45/14.58 c Core size: 10 Core Weight: 1 Total Weight: -314 14.45/14.58 c Elapsed CPU time: 14.5068 s Remaining CPU time: 1785.49 s 14.55/14.62 c ============================[ Search Statistics ]============================== 14.55/14.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.55/14.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.55/14.62 c =============================================================================== 14.55/14.62 c | 0 | 1929 42825 86336 | 14275 0 nan | 0.000 % | 14.55/14.63 c =============================================================================== 14.55/14.63 c core #447 14.55/14.63 c Core size: 13 Core Weight: 1 Total Weight: -313 14.55/14.63 c Elapsed CPU time: 14.5578 s Remaining CPU time: 1785.44 s 14.55/14.67 c ============================[ Search Statistics ]============================== 14.55/14.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.55/14.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.55/14.67 c =============================================================================== 14.55/14.67 c | 0 | 1935 42826 86348 | 14275 0 nan | 0.000 % | 14.55/14.68 c =============================================================================== 14.55/14.68 c core #448 14.55/14.68 c Core size: 13 Core Weight: 1 Total Weight: -312 14.55/14.68 c Elapsed CPU time: 14.6078 s Remaining CPU time: 1785.39 s 14.65/14.72 c ============================[ Search Statistics ]============================== 14.65/14.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.65/14.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.65/14.72 c =============================================================================== 14.65/14.72 c | 0 | 1941 42827 86360 | 14275 0 nan | 0.000 % | 14.65/14.73 c =============================================================================== 14.65/14.73 c core #449 14.65/14.73 c Core size: 10 Core Weight: 1 Total Weight: -311 14.65/14.73 c Elapsed CPU time: 14.6568 s Remaining CPU time: 1785.34 s 14.65/14.77 c ============================[ Search Statistics ]============================== 14.65/14.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.65/14.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.65/14.77 c =============================================================================== 14.65/14.77 c | 0 | 1945 42828 86368 | 14276 0 nan | 0.000 % | 14.65/14.78 c =============================================================================== 14.65/14.78 c core #450 14.65/14.78 c Core size: 10 Core Weight: 1 Total Weight: -310 14.65/14.78 c Elapsed CPU time: 14.7058 s Remaining CPU time: 1785.29 s 14.75/14.82 c ============================[ Search Statistics ]============================== 14.75/14.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.75/14.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.75/14.82 c =============================================================================== 14.75/14.82 c | 0 | 1949 42829 86376 | 14276 0 nan | 0.000 % | 14.75/14.83 c =============================================================================== 14.75/14.83 c core #451 14.75/14.83 c Core size: 30 Core Weight: 1 Total Weight: -309 14.75/14.83 c Elapsed CPU time: 14.7558 s Remaining CPU time: 1785.24 s 14.75/14.87 c ============================[ Search Statistics ]============================== 14.75/14.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.75/14.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.75/14.87 c =============================================================================== 14.75/14.87 c | 0 | 1957 42830 86392 | 14276 0 nan | 0.000 % | 14.75/14.88 c =============================================================================== 14.75/14.88 c core #452 14.75/14.88 c Core size: 13 Core Weight: 1 Total Weight: -308 14.75/14.88 c Elapsed CPU time: 14.8067 s Remaining CPU time: 1785.19 s 14.85/14.93 c ============================[ Search Statistics ]============================== 14.85/14.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.85/14.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.85/14.93 c =============================================================================== 14.85/14.93 c | 0 | 1963 42831 86404 | 14277 0 nan | 0.000 % | 14.85/14.93 c =============================================================================== 14.85/14.93 c core #453 14.85/14.93 c Core size: 10 Core Weight: 1 Total Weight: -307 14.85/14.93 c Elapsed CPU time: 14.8567 s Remaining CPU time: 1785.14 s 14.85/14.98 c ============================[ Search Statistics ]============================== 14.85/14.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.85/14.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.85/14.98 c =============================================================================== 14.85/14.98 c | 0 | 1967 42832 86412 | 14277 0 nan | 0.000 % | 14.85/14.98 c =============================================================================== 14.85/14.98 c core #454 14.85/14.98 c Core size: 27 Core Weight: 1 Total Weight: -306 14.85/14.98 c Elapsed CPU time: 14.9077 s Remaining CPU time: 1785.09 s 14.95/15.03 c ============================[ Search Statistics ]============================== 14.95/15.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.95/15.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.95/15.03 c =============================================================================== 14.95/15.03 c | 0 | 1979 42833 86436 | 14277 0 nan | 0.000 % | 14.95/15.03 c =============================================================================== 14.95/15.03 c core #455 14.95/15.03 c Core size: 13 Core Weight: 1 Total Weight: -305 14.95/15.03 c Elapsed CPU time: 14.9587 s Remaining CPU time: 1785.04 s 14.95/15.08 c ============================[ Search Statistics ]============================== 14.95/15.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.95/15.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.95/15.08 c =============================================================================== 14.95/15.08 c | 0 | 1985 42834 86448 | 14278 0 nan | 0.000 % | 14.95/15.08 c =============================================================================== 14.95/15.08 c core #456 14.95/15.08 c Core size: 13 Core Weight: 1 Total Weight: -304 14.95/15.08 c Elapsed CPU time: 15.0057 s Remaining CPU time: 1784.99 s 15.04/15.13 c ============================[ Search Statistics ]============================== 15.04/15.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.04/15.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.04/15.13 c =============================================================================== 15.04/15.13 c | 0 | 1991 42835 86460 | 14278 0 nan | 0.000 % | 15.04/15.13 c =============================================================================== 15.04/15.13 c core #457 15.04/15.13 c Core size: 13 Core Weight: 1 Total Weight: -303 15.04/15.13 c Elapsed CPU time: 15.0567 s Remaining CPU time: 1784.94 s 15.04/15.18 c ============================[ Search Statistics ]============================== 15.04/15.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.04/15.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.04/15.18 c =============================================================================== 15.04/15.18 c | 0 | 1997 42836 86472 | 14278 0 nan | 0.000 % | 15.04/15.19 c =============================================================================== 15.04/15.19 c core #458 15.04/15.19 c Core size: 13 Core Weight: 1 Total Weight: -302 15.04/15.19 c Elapsed CPU time: 15.1077 s Remaining CPU time: 1784.89 s 15.14/15.23 c ============================[ Search Statistics ]============================== 15.14/15.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.14/15.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.14/15.23 c =============================================================================== 15.14/15.23 c | 0 | 2003 42837 86484 | 14279 0 nan | 0.000 % | 15.14/15.24 c =============================================================================== 15.14/15.24 c core #459 15.14/15.24 c Core size: 10 Core Weight: 1 Total Weight: -301 15.14/15.24 c Elapsed CPU time: 15.1587 s Remaining CPU time: 1784.84 s 15.14/15.28 c ============================[ Search Statistics ]============================== 15.14/15.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.14/15.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.14/15.28 c =============================================================================== 15.14/15.28 c | 0 | 2007 42838 86492 | 14279 0 nan | 0.000 % | 15.14/15.29 c =============================================================================== 15.14/15.29 c core #460 15.14/15.29 c Core size: 27 Core Weight: 1 Total Weight: -300 15.14/15.29 c Elapsed CPU time: 15.2077 s Remaining CPU time: 1784.79 s 15.24/15.33 c ============================[ Search Statistics ]============================== 15.24/15.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.24/15.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.24/15.33 c =============================================================================== 15.24/15.33 c | 0 | 2019 42839 86516 | 14279 0 nan | 0.000 % | 15.24/15.34 c =============================================================================== 15.24/15.34 c core #461 15.24/15.34 c Core size: 13 Core Weight: 1 Total Weight: -299 15.24/15.34 c Elapsed CPU time: 15.2587 s Remaining CPU time: 1784.74 s 15.24/15.38 c ============================[ Search Statistics ]============================== 15.24/15.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.24/15.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.24/15.38 c =============================================================================== 15.24/15.38 c | 0 | 2025 42840 86528 | 14280 0 nan | 0.000 % | 15.24/15.39 c =============================================================================== 15.24/15.39 c core #462 15.24/15.39 c Core size: 13 Core Weight: 1 Total Weight: -298 15.24/15.39 c Elapsed CPU time: 15.3097 s Remaining CPU time: 1784.69 s 15.34/15.43 c ============================[ Search Statistics ]============================== 15.34/15.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.34/15.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.34/15.43 c =============================================================================== 15.34/15.43 c | 0 | 2031 42841 86540 | 14280 0 nan | 0.000 % | 15.34/15.44 c =============================================================================== 15.34/15.44 c core #463 15.34/15.44 c Core size: 10 Core Weight: 1 Total Weight: -297 15.34/15.44 c Elapsed CPU time: 15.3577 s Remaining CPU time: 1784.64 s 15.34/15.48 c ============================[ Search Statistics ]============================== 15.34/15.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.34/15.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.34/15.48 c =============================================================================== 15.34/15.48 c | 0 | 2035 42842 86548 | 14280 0 nan | 0.000 % | 15.34/15.49 c =============================================================================== 15.34/15.49 c core #464 15.34/15.49 c Core size: 10 Core Weight: 1 Total Weight: -296 15.34/15.49 c Elapsed CPU time: 15.4087 s Remaining CPU time: 1784.59 s 15.44/15.54 c ============================[ Search Statistics ]============================== 15.44/15.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.44/15.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.44/15.54 c =============================================================================== 15.44/15.54 c | 0 | 2039 42843 86556 | 14281 0 nan | 0.000 % | 15.44/15.54 c =============================================================================== 15.44/15.54 c core #465 15.44/15.54 c Core size: 13 Core Weight: 1 Total Weight: -295 15.44/15.54 c Elapsed CPU time: 15.4606 s Remaining CPU time: 1784.54 s 15.44/15.59 c ============================[ Search Statistics ]============================== 15.44/15.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.44/15.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.44/15.59 c =============================================================================== 15.44/15.59 c | 0 | 2045 42844 86568 | 14281 0 nan | 0.000 % | 15.44/15.59 c =============================================================================== 15.44/15.59 c core #466 15.44/15.59 c Core size: 13 Core Weight: 1 Total Weight: -294 15.44/15.59 c Elapsed CPU time: 15.5096 s Remaining CPU time: 1784.49 s 15.54/15.64 c ============================[ Search Statistics ]============================== 15.54/15.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.54/15.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.54/15.64 c =============================================================================== 15.54/15.64 c | 0 | 2051 42845 86580 | 14281 0 nan | 0.000 % | 15.54/15.65 c =============================================================================== 15.54/15.65 c core #467 15.54/15.65 c Core size: 30 Core Weight: 1 Total Weight: -293 15.54/15.65 c Elapsed CPU time: 15.5636 s Remaining CPU time: 1784.44 s 15.54/15.69 c ============================[ Search Statistics ]============================== 15.54/15.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.54/15.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.54/15.69 c =============================================================================== 15.54/15.69 c | 0 | 2059 42846 86596 | 14282 0 nan | 0.000 % | 15.64/15.70 c =============================================================================== 15.64/15.70 c core #468 15.64/15.70 c Core size: 13 Core Weight: 1 Total Weight: -292 15.64/15.70 c Elapsed CPU time: 15.6156 s Remaining CPU time: 1784.38 s 15.64/15.74 c ============================[ Search Statistics ]============================== 15.64/15.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.64/15.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.64/15.74 c =============================================================================== 15.64/15.74 c | 0 | 2065 42847 86608 | 14282 0 nan | 0.000 % | 15.64/15.75 c =============================================================================== 15.64/15.75 c core #469 15.64/15.75 c Core size: 13 Core Weight: 1 Total Weight: -291 15.64/15.75 c Elapsed CPU time: 15.6656 s Remaining CPU time: 1784.33 s 15.64/15.79 c ============================[ Search Statistics ]============================== 15.64/15.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.64/15.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.64/15.79 c =============================================================================== 15.64/15.79 c | 0 | 2071 42848 86620 | 14282 0 nan | 0.000 % | 15.74/15.80 c =============================================================================== 15.74/15.80 c core #470 15.74/15.80 c Core size: 10 Core Weight: 1 Total Weight: -290 15.74/15.80 c Elapsed CPU time: 15.7146 s Remaining CPU time: 1784.29 s 15.74/15.85 c ============================[ Search Statistics ]============================== 15.74/15.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.74/15.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.74/15.85 c =============================================================================== 15.74/15.85 c | 0 | 2075 42849 86628 | 14283 0 nan | 0.000 % | 15.74/15.85 c =============================================================================== 15.74/15.85 c core #471 15.74/15.85 c Core size: 13 Core Weight: 1 Total Weight: -289 15.74/15.85 c Elapsed CPU time: 15.7666 s Remaining CPU time: 1784.23 s 15.83/15.90 c ============================[ Search Statistics ]============================== 15.83/15.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.83/15.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.83/15.90 c =============================================================================== 15.83/15.90 c | 0 | 2081 42850 86640 | 14283 0 nan | 0.000 % | 15.83/15.90 c =============================================================================== 15.83/15.90 c core #472 15.83/15.90 c Core size: 13 Core Weight: 1 Total Weight: -288 15.83/15.90 c Elapsed CPU time: 15.8156 s Remaining CPU time: 1784.18 s 15.83/15.95 c ============================[ Search Statistics ]============================== 15.83/15.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.83/15.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.83/15.95 c =============================================================================== 15.83/15.95 c | 0 | 2087 42851 86652 | 14283 0 nan | 0.000 % | 15.83/15.95 c =============================================================================== 15.83/15.95 c core #473 15.83/15.95 c Core size: 10 Core Weight: 1 Total Weight: -287 15.83/15.95 c Elapsed CPU time: 15.8666 s Remaining CPU time: 1784.13 s 15.93/16.00 c ============================[ Search Statistics ]============================== 15.93/16.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.93/16.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.93/16.00 c =============================================================================== 15.93/16.00 c | 0 | 2091 42852 86660 | 14284 0 nan | 0.000 % | 15.93/16.00 c =============================================================================== 15.93/16.00 c core #474 15.93/16.00 c Core size: 10 Core Weight: 1 Total Weight: -286 15.93/16.00 c Elapsed CPU time: 15.9146 s Remaining CPU time: 1784.09 s 15.93/16.05 c ============================[ Search Statistics ]============================== 15.93/16.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.93/16.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.93/16.05 c =============================================================================== 15.93/16.05 c | 0 | 2095 42853 86668 | 14284 0 nan | 0.000 % | 15.93/16.06 c =============================================================================== 15.93/16.06 c core #475 15.93/16.06 c Core size: 24 Core Weight: 1 Total Weight: -285 15.93/16.06 c Elapsed CPU time: 15.9666 s Remaining CPU time: 1784.03 s 16.03/16.10 c ============================[ Search Statistics ]============================== 16.03/16.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.03/16.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.03/16.10 c =============================================================================== 16.03/16.10 c | 0 | 2105 42854 86688 | 14284 0 nan | 0.000 % | 16.03/16.11 c =============================================================================== 16.03/16.11 c core #476 16.03/16.11 c Core size: 10 Core Weight: 1 Total Weight: -284 16.03/16.11 c Elapsed CPU time: 16.0166 s Remaining CPU time: 1783.98 s 16.03/16.15 c ============================[ Search Statistics ]============================== 16.03/16.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.03/16.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.03/16.15 c =============================================================================== 16.03/16.15 c | 0 | 2109 42855 86696 | 14285 0 nan | 0.000 % | 16.03/16.16 c =============================================================================== 16.03/16.16 c core #477 16.03/16.16 c Core size: 13 Core Weight: 1 Total Weight: -283 16.03/16.16 c Elapsed CPU time: 16.0666 s Remaining CPU time: 1783.93 s 16.13/16.20 c ============================[ Search Statistics ]============================== 16.13/16.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.13/16.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.13/16.20 c =============================================================================== 16.13/16.20 c | 0 | 2115 42856 86708 | 14285 0 nan | 0.000 % | 16.13/16.21 c =============================================================================== 16.13/16.21 c core #478 16.13/16.21 c Core size: 13 Core Weight: 1 Total Weight: -282 16.13/16.21 c Elapsed CPU time: 16.1165 s Remaining CPU time: 1783.88 s 16.13/16.25 c ============================[ Search Statistics ]============================== 16.13/16.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.13/16.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.13/16.25 c =============================================================================== 16.13/16.25 c | 0 | 2121 42857 86720 | 14285 0 nan | 0.000 % | 16.13/16.26 c =============================================================================== 16.13/16.26 c core #479 16.13/16.26 c Core size: 13 Core Weight: 1 Total Weight: -281 16.13/16.26 c Elapsed CPU time: 16.1655 s Remaining CPU time: 1783.83 s 16.23/16.31 c ============================[ Search Statistics ]============================== 16.23/16.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.23/16.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.23/16.31 c =============================================================================== 16.23/16.31 c | 0 | 2127 42858 86732 | 14286 0 nan | 0.000 % | 16.23/16.31 c =============================================================================== 16.23/16.31 c core #480 16.23/16.31 c Core size: 24 Core Weight: 1 Total Weight: -280 16.23/16.31 c Elapsed CPU time: 16.2165 s Remaining CPU time: 1783.78 s 16.23/16.36 c ============================[ Search Statistics ]============================== 16.23/16.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.23/16.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.23/16.36 c =============================================================================== 16.23/16.36 c | 0 | 2137 42859 86752 | 14286 0 nan | 0.000 % | 16.23/16.36 c =============================================================================== 16.23/16.36 c core #481 16.23/16.36 c Core size: 13 Core Weight: 1 Total Weight: -279 16.23/16.36 c Elapsed CPU time: 16.2655 s Remaining CPU time: 1783.73 s 16.32/16.41 c ============================[ Search Statistics ]============================== 16.32/16.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.32/16.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.32/16.41 c =============================================================================== 16.32/16.41 c | 0 | 2143 42860 86764 | 14286 0 nan | 0.000 % | 16.32/16.41 c =============================================================================== 16.32/16.41 c core #482 16.32/16.41 c Core size: 13 Core Weight: 1 Total Weight: -278 16.32/16.41 c Elapsed CPU time: 16.3155 s Remaining CPU time: 1783.68 s 16.32/16.46 c ============================[ Search Statistics ]============================== 16.32/16.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.32/16.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.32/16.46 c =============================================================================== 16.32/16.46 c | 0 | 2149 42861 86776 | 14287 0 nan | 0.000 % | 16.32/16.46 c =============================================================================== 16.32/16.46 c core #483 16.32/16.46 c Core size: 10 Core Weight: 1 Total Weight: -277 16.32/16.46 c Elapsed CPU time: 16.3665 s Remaining CPU time: 1783.63 s 16.43/16.51 c ============================[ Search Statistics ]============================== 16.43/16.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.43/16.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.43/16.51 c =============================================================================== 16.43/16.51 c | 0 | 2153 42862 86784 | 14287 0 nan | 0.000 % | 16.43/16.52 c =============================================================================== 16.43/16.52 c core #484 16.43/16.52 c Core size: 13 Core Weight: 1 Total Weight: -276 16.43/16.52 c Elapsed CPU time: 16.4175 s Remaining CPU time: 1783.58 s 16.43/16.56 c ============================[ Search Statistics ]============================== 16.43/16.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.43/16.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.43/16.56 c =============================================================================== 16.43/16.56 c | 0 | 2159 42863 86796 | 14287 0 nan | 0.000 % | 16.43/16.57 c =============================================================================== 16.43/16.57 c core #485 16.43/16.57 c Core size: 24 Core Weight: 1 Total Weight: -275 16.43/16.57 c Elapsed CPU time: 16.4695 s Remaining CPU time: 1783.53 s 16.53/16.62 c ============================[ Search Statistics ]============================== 16.53/16.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.53/16.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.53/16.62 c =============================================================================== 16.53/16.62 c | 0 | 2169 42864 86816 | 14288 0 nan | 0.000 % | 16.53/16.62 c =============================================================================== 16.53/16.62 c core #486 16.53/16.62 c Core size: 13 Core Weight: 1 Total Weight: -274 16.53/16.62 c Elapsed CPU time: 16.5225 s Remaining CPU time: 1783.48 s 16.53/16.67 c ============================[ Search Statistics ]============================== 16.53/16.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.53/16.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.53/16.67 c =============================================================================== 16.53/16.67 c | 0 | 2175 42865 86828 | 14288 0 nan | 0.000 % | 16.53/16.67 c =============================================================================== 16.53/16.67 c core #487 16.53/16.67 c Core size: 13 Core Weight: 1 Total Weight: -273 16.53/16.67 c Elapsed CPU time: 16.5725 s Remaining CPU time: 1783.43 s 16.62/16.72 c ============================[ Search Statistics ]============================== 16.62/16.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.62/16.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.62/16.72 c =============================================================================== 16.62/16.72 c | 0 | 2181 42866 86840 | 14288 0 nan | 0.000 % | 16.62/16.72 c =============================================================================== 16.62/16.72 c core #488 16.62/16.72 c Core size: 10 Core Weight: 1 Total Weight: -272 16.62/16.73 c Elapsed CPU time: 16.6225 s Remaining CPU time: 1783.38 s 16.62/16.77 c ============================[ Search Statistics ]============================== 16.62/16.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.62/16.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.62/16.77 c =============================================================================== 16.62/16.77 c | 0 | 2185 42867 86848 | 14289 0 nan | 0.000 % | 16.62/16.78 c =============================================================================== 16.62/16.78 c core #489 16.62/16.78 c Core size: 13 Core Weight: 1 Total Weight: -271 16.62/16.78 c Elapsed CPU time: 16.6735 s Remaining CPU time: 1783.33 s 16.72/16.82 c ============================[ Search Statistics ]============================== 16.72/16.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.72/16.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.72/16.82 c =============================================================================== 16.72/16.82 c | 0 | 2191 42868 86860 | 14289 0 nan | 0.000 % | 16.72/16.83 c =============================================================================== 16.72/16.83 c core #490 16.72/16.83 c Core size: 13 Core Weight: 1 Total Weight: -270 16.72/16.83 c Elapsed CPU time: 16.7235 s Remaining CPU time: 1783.28 s 16.72/16.87 c ============================[ Search Statistics ]============================== 16.72/16.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.72/16.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.72/16.87 c =============================================================================== 16.72/16.87 c | 0 | 2197 42869 86872 | 14289 0 nan | 0.000 % | 16.72/16.88 c =============================================================================== 16.72/16.88 c core #491 16.72/16.88 c Core size: 13 Core Weight: 1 Total Weight: -269 16.72/16.88 c Elapsed CPU time: 16.7744 s Remaining CPU time: 1783.23 s 16.82/16.93 c ============================[ Search Statistics ]============================== 16.82/16.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.82/16.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.82/16.93 c =============================================================================== 16.82/16.93 c | 0 | 2203 42870 86884 | 14290 0 nan | 0.000 % | 16.82/16.93 c =============================================================================== 16.82/16.93 c core #492 16.82/16.93 c Core size: 13 Core Weight: 1 Total Weight: -268 16.82/16.93 c Elapsed CPU time: 16.8274 s Remaining CPU time: 1783.17 s 16.82/16.98 c ============================[ Search Statistics ]============================== 16.82/16.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.82/16.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.82/16.98 c =============================================================================== 16.82/16.98 c | 0 | 2209 42871 86896 | 14290 0 nan | 0.000 % | 16.82/16.98 c =============================================================================== 16.82/16.98 c core #493 16.82/16.98 c Core size: 10 Core Weight: 1 Total Weight: -267 16.82/16.98 c Elapsed CPU time: 16.8764 s Remaining CPU time: 1783.12 s 16.91/17.03 c ============================[ Search Statistics ]============================== 16.91/17.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.91/17.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.91/17.03 c =============================================================================== 16.91/17.03 c | 0 | 2213 42872 86904 | 14290 0 nan | 0.000 % | 16.91/17.03 c =============================================================================== 16.91/17.03 c core #494 16.91/17.03 c Core size: 13 Core Weight: 1 Total Weight: -266 16.91/17.03 c Elapsed CPU time: 16.9274 s Remaining CPU time: 1783.07 s 16.91/17.08 c ============================[ Search Statistics ]============================== 16.91/17.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.91/17.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.91/17.08 c =============================================================================== 16.91/17.08 c | 0 | 2219 42873 86916 | 14291 0 nan | 0.000 % | 16.91/17.09 c =============================================================================== 16.91/17.09 c core #495 16.91/17.09 c Core size: 13 Core Weight: 1 Total Weight: -265 16.91/17.09 c Elapsed CPU time: 16.9784 s Remaining CPU time: 1783.02 s 17.01/17.13 c ============================[ Search Statistics ]============================== 17.01/17.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.01/17.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.01/17.13 c =============================================================================== 17.01/17.13 c | 0 | 2225 42874 86928 | 14291 0 nan | 0.000 % | 17.01/17.14 c =============================================================================== 17.01/17.14 c core #496 17.01/17.14 c Core size: 13 Core Weight: 1 Total Weight: -264 17.01/17.14 c Elapsed CPU time: 17.0324 s Remaining CPU time: 1782.97 s 17.01/17.19 c ============================[ Search Statistics ]============================== 17.01/17.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.01/17.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.01/17.19 c =============================================================================== 17.01/17.19 c | 0 | 2231 42875 86940 | 14291 0 nan | 0.000 % | 17.01/17.19 c =============================================================================== 17.01/17.19 c core #497 17.01/17.19 c Core size: 13 Core Weight: 1 Total Weight: -263 17.01/17.19 c Elapsed CPU time: 17.0864 s Remaining CPU time: 1782.91 s 17.11/17.24 c ============================[ Search Statistics ]============================== 17.11/17.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.11/17.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.11/17.24 c =============================================================================== 17.11/17.24 c | 0 | 2237 42876 86952 | 14292 0 nan | 0.000 % | 17.11/17.24 c =============================================================================== 17.11/17.24 c core #498 17.11/17.24 c Core size: 10 Core Weight: 1 Total Weight: -262 17.11/17.24 c Elapsed CPU time: 17.1364 s Remaining CPU time: 1782.86 s 17.11/17.29 c ============================[ Search Statistics ]============================== 17.11/17.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.11/17.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.11/17.29 c =============================================================================== 17.11/17.29 c | 0 | 2241 42877 86960 | 14292 0 nan | 0.000 % | 17.11/17.30 c =============================================================================== 17.11/17.30 c core #499 17.11/17.30 c Core size: 13 Core Weight: 1 Total Weight: -261 17.11/17.30 c Elapsed CPU time: 17.1874 s Remaining CPU time: 1782.81 s 17.22/17.34 c ============================[ Search Statistics ]============================== 17.22/17.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.22/17.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.22/17.34 c =============================================================================== 17.22/17.34 c | 0 | 2247 42878 86972 | 14292 0 nan | 0.000 % | 17.22/17.35 c =============================================================================== 17.22/17.35 c core #500 17.22/17.35 c Core size: 10 Core Weight: 1 Total Weight: -260 17.22/17.35 c Elapsed CPU time: 17.2414 s Remaining CPU time: 1782.76 s 17.22/17.40 c ============================[ Search Statistics ]============================== 17.22/17.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.22/17.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.22/17.40 c =============================================================================== 17.22/17.40 c | 0 | 2251 42879 86980 | 14293 0 nan | 0.000 % | 17.32/17.40 c =============================================================================== 17.32/17.40 c core #501 17.32/17.40 c Core size: 13 Core Weight: 1 Total Weight: -259 17.32/17.40 c Elapsed CPU time: 17.2934 s Remaining CPU time: 1782.71 s 17.32/17.45 c ============================[ Search Statistics ]============================== 17.32/17.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.32/17.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.32/17.45 c =============================================================================== 17.32/17.45 c | 0 | 2257 42880 86992 | 14293 0 nan | 0.000 % | 17.32/17.46 c =============================================================================== 17.32/17.46 c core #502 17.32/17.46 c Core size: 10 Core Weight: 1 Total Weight: -258 17.32/17.46 c Elapsed CPU time: 17.3464 s Remaining CPU time: 1782.65 s 17.42/17.51 c ============================[ Search Statistics ]============================== 17.42/17.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.42/17.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.42/17.51 c =============================================================================== 17.42/17.51 c | 0 | 2261 42881 87000 | 14293 0 nan | 0.000 % | 17.42/17.51 c =============================================================================== 17.42/17.51 c core #503 17.42/17.51 c Core size: 10 Core Weight: 1 Total Weight: -257 17.42/17.51 c Elapsed CPU time: 17.4004 s Remaining CPU time: 1782.6 s 17.42/17.56 c ============================[ Search Statistics ]============================== 17.42/17.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.42/17.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.42/17.56 c =============================================================================== 17.42/17.56 c | 0 | 2265 42882 87008 | 14294 0 nan | 0.000 % | 17.42/17.57 c =============================================================================== 17.42/17.57 c core #504 17.42/17.57 c Core size: 10 Core Weight: 1 Total Weight: -256 17.42/17.57 c Elapsed CPU time: 17.4533 s Remaining CPU time: 1782.55 s 17.52/17.61 c ============================[ Search Statistics ]============================== 17.52/17.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.52/17.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.52/17.61 c =============================================================================== 17.52/17.61 c | 0 | 2269 42883 87016 | 14294 0 nan | 0.000 % | 17.52/17.62 c =============================================================================== 17.52/17.62 c core #505 17.52/17.62 c Core size: 27 Core Weight: 1 Total Weight: -255 17.52/17.62 c Elapsed CPU time: 17.5053 s Remaining CPU time: 1782.49 s 17.52/17.66 c ============================[ Search Statistics ]============================== 17.52/17.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.52/17.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.52/17.66 c =============================================================================== 17.52/17.66 c | 0 | 2281 42884 87040 | 14294 0 nan | 0.000 % | 17.52/17.67 c =============================================================================== 17.52/17.67 c core #506 17.52/17.67 c Core size: 10 Core Weight: 1 Total Weight: -254 17.52/17.67 c Elapsed CPU time: 17.5563 s Remaining CPU time: 1782.44 s 17.62/17.72 c ============================[ Search Statistics ]============================== 17.62/17.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.62/17.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.62/17.72 c =============================================================================== 17.62/17.72 c | 0 | 2285 42885 87048 | 14295 0 nan | 0.000 % | 17.62/17.72 c =============================================================================== 17.62/17.72 c core #507 17.62/17.72 c Core size: 13 Core Weight: 1 Total Weight: -253 17.62/17.72 c Elapsed CPU time: 17.6073 s Remaining CPU time: 1782.39 s 17.62/17.77 c ============================[ Search Statistics ]============================== 17.62/17.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.62/17.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.62/17.77 c =============================================================================== 17.62/17.77 c | 0 | 2291 42886 87060 | 14295 0 nan | 0.000 % | 17.62/17.77 c =============================================================================== 17.62/17.77 c core #508 17.62/17.77 c Core size: 10 Core Weight: 1 Total Weight: -252 17.62/17.77 c Elapsed CPU time: 17.6583 s Remaining CPU time: 1782.34 s 17.72/17.82 c ============================[ Search Statistics ]============================== 17.72/17.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.72/17.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.72/17.82 c =============================================================================== 17.72/17.82 c | 0 | 2295 42887 87068 | 14295 0 nan | 0.000 % | 17.72/17.83 c =============================================================================== 17.72/17.83 c core #509 17.72/17.83 c Core size: 13 Core Weight: 1 Total Weight: -251 17.72/17.83 c Elapsed CPU time: 17.7133 s Remaining CPU time: 1782.29 s 17.72/17.88 c ============================[ Search Statistics ]============================== 17.72/17.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.72/17.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.72/17.88 c =============================================================================== 17.72/17.88 c | 0 | 2301 42888 87080 | 14296 0 nan | 0.000 % | 17.72/17.88 c =============================================================================== 17.72/17.88 c core #510 17.72/17.88 c Core size: 10 Core Weight: 1 Total Weight: -250 17.72/17.88 c Elapsed CPU time: 17.7683 s Remaining CPU time: 1782.23 s 17.82/17.93 c ============================[ Search Statistics ]============================== 17.82/17.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.82/17.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.82/17.93 c =============================================================================== 17.82/17.93 c | 0 | 2305 42889 87088 | 14296 0 nan | 0.000 % | 17.82/17.94 c =============================================================================== 17.82/17.94 c core #511 17.82/17.94 c Core size: 13 Core Weight: 1 Total Weight: -249 17.82/17.94 c Elapsed CPU time: 17.8203 s Remaining CPU time: 1782.18 s 17.82/17.98 c ============================[ Search Statistics ]============================== 17.82/17.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.82/17.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.82/17.98 c =============================================================================== 17.82/17.98 c | 0 | 2311 42890 87100 | 14296 0 nan | 0.000 % | 17.82/17.99 c =============================================================================== 17.82/17.99 c core #512 17.82/17.99 c Core size: 10 Core Weight: 1 Total Weight: -248 17.82/17.99 c Elapsed CPU time: 17.8753 s Remaining CPU time: 1782.12 s 17.92/18.04 c ============================[ Search Statistics ]============================== 17.92/18.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.92/18.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.92/18.04 c =============================================================================== 17.92/18.04 c | 0 | 2315 42891 87108 | 14297 0 nan | 0.000 % | 17.92/18.04 c =============================================================================== 17.92/18.04 c core #513 17.92/18.04 c Core size: 30 Core Weight: 1 Total Weight: -247 17.92/18.04 c Elapsed CPU time: 17.9273 s Remaining CPU time: 1782.07 s 17.92/18.09 c ============================[ Search Statistics ]============================== 17.92/18.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.92/18.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.92/18.09 c =============================================================================== 17.92/18.09 c | 0 | 2323 42892 87124 | 14297 0 nan | 0.000 % | 18.02/18.10 c =============================================================================== 18.02/18.10 c core #514 18.02/18.10 c Core size: 13 Core Weight: 1 Total Weight: -246 18.02/18.10 c Elapsed CPU time: 17.9823 s Remaining CPU time: 1782.02 s 18.02/18.15 c ============================[ Search Statistics ]============================== 18.02/18.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.02/18.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.02/18.15 c =============================================================================== 18.02/18.15 c | 0 | 2329 42893 87136 | 14297 0 nan | 0.000 % | 18.02/18.15 c =============================================================================== 18.02/18.15 c core #515 18.02/18.15 c Core size: 28 Core Weight: 1 Total Weight: -245 18.02/18.15 c Elapsed CPU time: 18.0373 s Remaining CPU time: 1781.96 s 18.12/18.20 c ============================[ Search Statistics ]============================== 18.12/18.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.12/18.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.12/18.20 c =============================================================================== 18.12/18.20 c | 0 | 2341 42894 87160 | 14298 0 nan | 0.000 % | 18.12/18.21 c =============================================================================== 18.12/18.21 c core #516 18.12/18.21 c Core size: 10 Core Weight: 1 Total Weight: -244 18.12/18.21 c Elapsed CPU time: 18.0932 s Remaining CPU time: 1781.91 s 18.12/18.26 c ============================[ Search Statistics ]============================== 18.12/18.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.12/18.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.12/18.26 c =============================================================================== 18.12/18.26 c | 0 | 2345 42895 87168 | 14298 0 nan | 0.000 % | 18.12/18.26 c =============================================================================== 18.12/18.26 c core #517 18.12/18.26 c Core size: 66 Core Weight: 1 Total Weight: -243 18.12/18.26 c Elapsed CPU time: 18.1472 s Remaining CPU time: 1781.85 s 18.21/18.31 c ============================[ Search Statistics ]============================== 18.21/18.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.21/18.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.21/18.31 c =============================================================================== 18.21/18.31 c | 0 | 2373 42896 87224 | 14298 0 nan | 0.000 % | 18.21/18.32 c =============================================================================== 18.21/18.32 c core #518 18.21/18.32 c Core size: 13 Core Weight: 1 Total Weight: -242 18.21/18.32 c Elapsed CPU time: 18.2022 s Remaining CPU time: 1781.8 s 18.21/18.37 c ============================[ Search Statistics ]============================== 18.21/18.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.21/18.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.21/18.37 c =============================================================================== 18.21/18.37 c | 0 | 2379 42897 87236 | 14299 0 nan | 0.000 % | 18.21/18.37 c =============================================================================== 18.21/18.37 c core #519 18.21/18.37 c Core size: 13 Core Weight: 1 Total Weight: -241 18.21/18.37 c Elapsed CPU time: 18.2562 s Remaining CPU time: 1781.74 s 18.31/18.42 c ============================[ Search Statistics ]============================== 18.31/18.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.31/18.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.31/18.42 c =============================================================================== 18.31/18.42 c | 0 | 2385 42898 87248 | 14299 0 nan | 0.000 % | 18.31/18.43 c =============================================================================== 18.31/18.43 c core #520 18.31/18.43 c Core size: 13 Core Weight: 1 Total Weight: -240 18.31/18.43 c Elapsed CPU time: 18.3102 s Remaining CPU time: 1781.69 s 18.31/18.47 c ============================[ Search Statistics ]============================== 18.31/18.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.31/18.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.31/18.47 c =============================================================================== 18.31/18.47 c | 0 | 2391 42899 87260 | 14299 0 nan | 0.000 % | 18.31/18.48 c =============================================================================== 18.31/18.48 c core #521 18.31/18.48 c Core size: 10 Core Weight: 1 Total Weight: -239 18.31/18.48 c Elapsed CPU time: 18.3622 s Remaining CPU time: 1781.64 s 18.41/18.53 c ============================[ Search Statistics ]============================== 18.41/18.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.41/18.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.41/18.53 c =============================================================================== 18.41/18.53 c | 0 | 2395 42900 87268 | 14300 0 nan | 0.000 % | 18.41/18.53 c =============================================================================== 18.41/18.53 c core #522 18.41/18.53 c Core size: 29 Core Weight: 1 Total Weight: -238 18.41/18.53 c Elapsed CPU time: 18.4142 s Remaining CPU time: 1781.59 s 18.41/18.58 c ============================[ Search Statistics ]============================== 18.41/18.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.41/18.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.41/18.58 c =============================================================================== 18.41/18.58 c | 0 | 2407 42901 87292 | 14300 0 nan | 0.000 % | 18.41/18.59 c =============================================================================== 18.41/18.59 c core #523 18.41/18.59 c Core size: 13 Core Weight: 1 Total Weight: -237 18.41/18.59 c Elapsed CPU time: 18.4682 s Remaining CPU time: 1781.53 s 18.51/18.64 c ============================[ Search Statistics ]============================== 18.51/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.51/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.51/18.64 c =============================================================================== 18.51/18.64 c | 0 | 2413 42902 87304 | 14300 0 nan | 0.000 % | 18.51/18.65 c =============================================================================== 18.51/18.65 c core #524 18.51/18.65 c Core size: 10 Core Weight: 1 Total Weight: -236 18.51/18.65 c Elapsed CPU time: 18.5232 s Remaining CPU time: 1781.48 s 18.51/18.70 c ============================[ Search Statistics ]============================== 18.51/18.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.51/18.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.51/18.70 c =============================================================================== 18.51/18.70 c | 0 | 2417 42903 87312 | 14301 0 nan | 0.000 % | 18.61/18.70 c =============================================================================== 18.61/18.70 c core #525 18.61/18.70 c Core size: 10 Core Weight: 1 Total Weight: -235 18.61/18.70 c Elapsed CPU time: 18.5782 s Remaining CPU time: 1781.42 s 18.61/18.75 c ============================[ Search Statistics ]============================== 18.61/18.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.61/18.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.61/18.75 c =============================================================================== 18.61/18.75 c | 0 | 2421 42904 87320 | 14301 0 nan | 0.000 % | 18.61/18.76 c =============================================================================== 18.61/18.76 c core #526 18.61/18.76 c Core size: 13 Core Weight: 1 Total Weight: -234 18.61/18.76 c Elapsed CPU time: 18.6332 s Remaining CPU time: 1781.37 s 18.72/18.81 c ============================[ Search Statistics ]============================== 18.72/18.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.72/18.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.72/18.81 c =============================================================================== 18.72/18.81 c | 0 | 2427 42905 87332 | 14301 0 nan | 0.000 % | 18.72/18.82 c =============================================================================== 18.72/18.82 c core #527 18.72/18.82 c Core size: 17 Core Weight: 1 Total Weight: -233 18.72/18.82 c Elapsed CPU time: 18.6882 s Remaining CPU time: 1781.31 s 18.72/18.87 c ============================[ Search Statistics ]============================== 18.72/18.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.72/18.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.72/18.87 c =============================================================================== 18.72/18.87 c | 0 | 2435 42906 87348 | 14302 0 nan | 0.000 % | 18.72/18.87 c =============================================================================== 18.72/18.87 c core #528 18.72/18.87 c Core size: 10 Core Weight: 1 Total Weight: -232 18.72/18.87 c Elapsed CPU time: 18.7451 s Remaining CPU time: 1781.25 s 18.81/18.92 c ============================[ Search Statistics ]============================== 18.81/18.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.81/18.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.81/18.92 c =============================================================================== 18.81/18.92 c | 0 | 2439 42907 87356 | 14302 0 nan | 0.000 % | 18.81/18.93 c =============================================================================== 18.81/18.93 c core #529 18.81/18.93 c Core size: 13 Core Weight: 1 Total Weight: -231 18.81/18.93 c Elapsed CPU time: 18.7991 s Remaining CPU time: 1781.2 s 18.81/18.97 c ============================[ Search Statistics ]============================== 18.81/18.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.81/18.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.81/18.97 c =============================================================================== 18.81/18.97 c | 0 | 2445 42908 87368 | 14302 0 nan | 0.000 % | 18.81/18.98 c =============================================================================== 18.81/18.98 c core #530 18.81/18.98 c Core size: 33 Core Weight: 1 Total Weight: -230 18.81/18.98 c Elapsed CPU time: 18.8521 s Remaining CPU time: 1781.15 s 18.91/19.03 c ============================[ Search Statistics ]============================== 18.91/19.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.91/19.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.91/19.03 c =============================================================================== 18.91/19.03 c | 0 | 2455 42909 87388 | 14303 0 nan | 0.000 % | 18.91/19.04 c =============================================================================== 18.91/19.04 c core #531 18.91/19.04 c Core size: 30 Core Weight: 1 Total Weight: -229 18.91/19.04 c Elapsed CPU time: 18.9061 s Remaining CPU time: 1781.09 s 18.91/19.08 c ============================[ Search Statistics ]============================== 18.91/19.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.91/19.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.91/19.09 c =============================================================================== 18.91/19.09 c | 0 | 2463 42910 87404 | 14303 0 nan | 0.000 % | 18.91/19.09 c =============================================================================== 18.91/19.09 c core #532 18.91/19.09 c Core size: 37 Core Weight: 1 Total Weight: -228 18.91/19.09 c Elapsed CPU time: 18.9631 s Remaining CPU time: 1781.04 s 19.01/19.14 c ============================[ Search Statistics ]============================== 19.01/19.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.01/19.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.01/19.14 c =============================================================================== 19.01/19.14 c | 0 | 2477 42911 87432 | 14303 0 nan | 0.000 % | 19.01/19.15 c =============================================================================== 19.01/19.15 c core #533 19.01/19.15 c Core size: 30 Core Weight: 1 Total Weight: -227 19.01/19.15 c Elapsed CPU time: 19.0191 s Remaining CPU time: 1780.98 s 19.11/19.20 c ============================[ Search Statistics ]============================== 19.11/19.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.11/19.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.11/19.20 c =============================================================================== 19.11/19.20 c | 0 | 2489 42912 87456 | 14304 0 nan | 0.000 % | 19.11/19.21 c =============================================================================== 19.11/19.21 c core #534 19.11/19.21 c Core size: 65 Core Weight: 1 Total Weight: -226 19.11/19.21 c Elapsed CPU time: 19.0791 s Remaining CPU time: 1780.92 s 19.11/19.26 c ============================[ Search Statistics ]============================== 19.11/19.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.11/19.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.11/19.26 c =============================================================================== 19.11/19.26 c | 0 | 2505 42913 87488 | 14304 0 nan | 0.000 % | 19.11/19.27 c =============================================================================== 19.11/19.27 c core #535 19.11/19.27 c Core size: 82 Core Weight: 1 Total Weight: -225 19.11/19.27 c Elapsed CPU time: 19.1381 s Remaining CPU time: 1780.86 s 19.21/19.32 c ============================[ Search Statistics ]============================== 19.21/19.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.21/19.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.21/19.32 c =============================================================================== 19.21/19.32 c | 0 | 2523 42914 87524 | 14304 0 nan | 0.000 % | 19.21/19.33 c =============================================================================== 19.21/19.33 c core #536 19.21/19.33 c Core size: 67 Core Weight: 1 Total Weight: -224 19.21/19.33 c Elapsed CPU time: 19.1981 s Remaining CPU time: 1780.8 s 19.21/19.38 c ============================[ Search Statistics ]============================== 19.21/19.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.21/19.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.21/19.38 c =============================================================================== 19.21/19.38 c | 0 | 2541 42915 87560 | 14305 0 nan | 0.000 % | 19.21/19.39 c =============================================================================== 19.21/19.39 c core #537 19.21/19.39 c Core size: 35 Core Weight: 1 Total Weight: -223 19.21/19.39 c Elapsed CPU time: 19.2551 s Remaining CPU time: 1780.74 s 19.30/19.44 c ============================[ Search Statistics ]============================== 19.30/19.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.30/19.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.30/19.44 c =============================================================================== 19.30/19.44 c | 0 | 2551 42916 87580 | 14305 0 nan | 0.000 % | 19.30/19.45 c =============================================================================== 19.30/19.45 c core #538 19.30/19.45 c Core size: 39 Core Weight: 1 Total Weight: -222 19.30/19.45 c Elapsed CPU time: 19.3141 s Remaining CPU time: 1780.69 s 19.40/19.50 c ============================[ Search Statistics ]============================== 19.40/19.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.40/19.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.40/19.50 c =============================================================================== 19.40/19.50 c | 0 | 2565 42917 87608 | 14305 0 nan | 0.000 % | 19.40/19.51 c =============================================================================== 19.40/19.51 c core #539 19.40/19.51 c Core size: 76 Core Weight: 1 Total Weight: -221 19.40/19.51 c Elapsed CPU time: 19.3731 s Remaining CPU time: 1780.63 s 19.40/19.56 c ============================[ Search Statistics ]============================== 19.40/19.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.40/19.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.40/19.56 c =============================================================================== 19.40/19.56 c | 0 | 2585 42918 87648 | 14306 0 nan | 0.000 % | 19.40/19.58 c | 100 | 2582 42918 87648 | 15736 100 15 | 0.116 % | 19.40/19.58 c =============================================================================== 19.40/19.58 c core #540 19.40/19.58 c Core size: 60 Core Weight: 1 Total Weight: -220 19.40/19.58 c Elapsed CPU time: 19.433 s Remaining CPU time: 1780.57 s 19.50/19.62 c ============================[ Search Statistics ]============================== 19.50/19.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.50/19.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.50/19.63 c =============================================================================== 19.50/19.63 c | 0 | 2603 42919 87684 | 14306 0 nan | 0.000 % | 19.50/19.64 c | 101 | 2603 42919 87684 | 15736 101 17 | 0.000 % | 19.50/19.64 c | 252 | 2602 42919 87684 | 17310 252 21 | 0.038 % | 19.50/19.66 c | 478 | 2602 42919 87684 | 19041 478 24 | 0.038 % | 19.50/19.67 c | 822 | 2602 42919 87684 | 20945 822 25 | 0.038 % | 19.60/19.70 c | 1329 | 2602 42919 87684 | 23040 1329 24 | 0.038 % | 19.60/19.75 c =============================================================================== 19.60/19.77 c core #541 19.60/19.77 c Core size: 176 Core Weight: 1 Total Weight: -219 19.60/19.77 c Elapsed CPU time: 19.619 s Remaining CPU time: 1780.38 s 19.71/19.82 c ============================[ Search Statistics ]============================== 19.71/19.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.71/19.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.71/19.82 c =============================================================================== 19.71/19.82 c | 0 | 2631 42920 87740 | 14306 0 nan | 0.000 % | 19.71/19.83 c | 102 | 2630 42920 87740 | 15737 102 18 | 0.038 % | 19.71/19.84 c | 254 | 2629 42920 87740 | 17311 254 18 | 0.076 % | 19.71/19.84 c =============================================================================== 19.71/19.84 c core #542 19.71/19.84 c Core size: 78 Core Weight: 1 Total Weight: -218 19.71/19.84 c Elapsed CPU time: 19.69 s Remaining CPU time: 1780.31 s 19.71/19.88 c ============================[ Search Statistics ]============================== 19.71/19.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.71/19.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.71/19.88 c =============================================================================== 19.71/19.88 c | 0 | 2653 42921 87784 | 14307 0 nan | 0.000 % | 19.71/19.90 c | 102 | 2651 42921 87784 | 15737 102 9 | 0.075 % | 19.71/19.90 c =============================================================================== 19.71/19.90 c core #543 19.71/19.90 c Core size: 79 Core Weight: 1 Total Weight: -217 19.71/19.90 c Elapsed CPU time: 19.748 s Remaining CPU time: 1780.25 s 19.81/19.95 c ============================[ Search Statistics ]============================== 19.81/19.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.81/19.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.81/19.95 c =============================================================================== 19.81/19.95 c | 0 | 2681 42922 87840 | 14307 0 nan | 0.000 % | 19.81/19.96 c =============================================================================== 19.81/19.96 c core #544 19.81/19.96 c Core size: 103 Core Weight: 1 Total Weight: -216 19.81/19.96 c Elapsed CPU time: 19.812 s Remaining CPU time: 1780.19 s 19.90/20.01 c ============================[ Search Statistics ]============================== 19.90/20.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.90/20.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.90/20.01 c =============================================================================== 19.90/20.01 c | 0 | 2711 42923 87900 | 14307 0 nan | 0.000 % | 19.90/20.02 c | 101 | 2711 42923 87900 | 15738 101 11 | 0.000 % | 19.90/20.02 c =============================================================================== 19.90/20.02 c core #545 19.90/20.02 c Core size: 67 Core Weight: 1 Total Weight: -215 19.90/20.02 c Elapsed CPU time: 19.874 s Remaining CPU time: 1780.13 s 19.90/20.07 c ============================[ Search Statistics ]============================== 19.90/20.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.90/20.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.90/20.07 c =============================================================================== 19.90/20.07 c | 0 | 2731 42924 87940 | 14308 0 nan | 0.000 % | 19.90/20.09 c | 100 | 2729 42924 87940 | 15738 100 6 | 4.064 % | 19.90/20.09 c =============================================================================== 19.90/20.09 c core #546 19.90/20.09 c Core size: 127 Core Weight: 1 Total Weight: -214 19.90/20.09 c Elapsed CPU time: 19.935 s Remaining CPU time: 1780.07 s 20.00/20.14 c ============================[ Search Statistics ]============================== 20.00/20.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.00/20.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.00/20.14 c =============================================================================== 20.00/20.14 c | 0 | 2767 42925 88012 | 14308 0 nan | 0.000 % | 20.00/20.15 c | 102 | 2767 42925 88012 | 15739 102 25 | 0.000 % | 20.00/20.15 c =============================================================================== 20.00/20.15 c core #547 20.00/20.15 c Core size: 59 Core Weight: 1 Total Weight: -213 20.00/20.15 c Elapsed CPU time: 19.998 s Remaining CPU time: 1780 s 20.10/20.20 c ============================[ Search Statistics ]============================== 20.10/20.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.10/20.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.10/20.20 c =============================================================================== 20.10/20.20 c | 0 | 2785 42926 88048 | 14308 0 nan | 0.000 % | 20.10/20.21 c =============================================================================== 20.10/20.21 c core #548 20.10/20.21 c Core size: 45 Core Weight: 1 Total Weight: -212 20.10/20.21 c Elapsed CPU time: 20.0589 s Remaining CPU time: 1779.94 s 20.10/20.26 c ============================[ Search Statistics ]============================== 20.10/20.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.10/20.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.10/20.26 c =============================================================================== 20.10/20.26 c | 0 | 2801 42927 88080 | 14309 0 nan | 0.000 % | 20.10/20.28 c | 100 | 2800 42927 88080 | 15739 100 8 | 0.071 % | 20.10/20.28 c =============================================================================== 20.10/20.28 c core #549 20.10/20.28 c Core size: 198 Core Weight: 1 Total Weight: -211 20.10/20.28 c Elapsed CPU time: 20.1239 s Remaining CPU time: 1779.88 s 20.20/20.33 c ============================[ Search Statistics ]============================== 20.20/20.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.20/20.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.20/20.33 c =============================================================================== 20.20/20.33 c | 0 | 2859 42928 88196 | 14309 0 nan | 0.000 % | 20.20/20.35 c | 100 | 2859 42928 88196 | 15740 100 12 | 0.000 % | 20.20/20.35 c =============================================================================== 20.20/20.35 c core #550 20.20/20.35 c Core size: 24 Core Weight: 1 Total Weight: -210 20.20/20.35 c Elapsed CPU time: 20.1939 s Remaining CPU time: 1779.81 s 20.29/20.40 c ============================[ Search Statistics ]============================== 20.29/20.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.29/20.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.29/20.40 c =============================================================================== 20.29/20.40 c | 0 | 2867 42929 88212 | 14309 0 nan | 0.000 % | 20.29/20.41 c | 100 | 2867 42929 88212 | 15740 100 12 | 0.000 % | 20.29/20.42 c | 251 | 2865 42929 88212 | 17314 251 13 | 0.070 % | 20.29/20.42 c =============================================================================== 20.29/20.42 c core #551 20.29/20.42 c Core size: 144 Core Weight: 1 Total Weight: -209 20.29/20.42 c Elapsed CPU time: 20.2639 s Remaining CPU time: 1779.74 s 20.29/20.47 c ============================[ Search Statistics ]============================== 20.29/20.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.29/20.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.29/20.47 c =============================================================================== 20.29/20.47 c | 0 | 2903 42930 88284 | 14310 0 nan | 0.000 % | 20.29/20.49 c | 100 | 2903 42930 88284 | 15741 100 11 | 0.000 % | 20.29/20.49 c =============================================================================== 20.29/20.49 c core #552 20.29/20.49 c Core size: 32 Core Weight: 1 Total Weight: -208 20.29/20.49 c Elapsed CPU time: 20.3339 s Remaining CPU time: 1779.67 s 20.39/20.54 c ============================[ Search Statistics ]============================== 20.39/20.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.39/20.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.39/20.54 c =============================================================================== 20.39/20.54 c | 0 | 2913 42931 88304 | 14310 0 nan | 0.000 % | 20.39/20.55 c | 100 | 2913 42931 88304 | 15741 100 7 | 0.000 % | 20.39/20.55 c =============================================================================== 20.39/20.55 c core #553 20.39/20.55 c Core size: 75 Core Weight: 1 Total Weight: -207 20.39/20.55 c Elapsed CPU time: 20.3919 s Remaining CPU time: 1779.61 s 20.49/20.60 c ============================[ Search Statistics ]============================== 20.49/20.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.49/20.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.49/20.60 c =============================================================================== 20.49/20.60 c | 0 | 2929 42932 88336 | 14310 0 nan | 0.000 % | 20.49/20.62 c | 101 | 2928 42932 88336 | 15741 101 14 | 0.034 % | 20.49/20.62 c | 251 | 2928 42932 88336 | 17315 251 13 | 0.034 % | 20.49/20.63 c =============================================================================== 20.49/20.63 c core #554 20.49/20.63 c Core size: 108 Core Weight: 1 Total Weight: -206 20.49/20.63 c Elapsed CPU time: 20.4649 s Remaining CPU time: 1779.54 s 20.49/20.68 c ============================[ Search Statistics ]============================== 20.49/20.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.49/20.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.49/20.68 c =============================================================================== 20.49/20.68 c | 0 | 2947 42933 88372 | 14311 0 nan | 0.000 % | 20.49/20.69 c | 100 | 2947 42933 88372 | 15742 100 14 | 0.000 % | 20.60/20.70 c | 250 | 2947 42933 88372 | 17316 250 11 | 0.000 % | 20.60/20.70 c =============================================================================== 20.60/20.70 c core #555 20.60/20.70 c Core size: 140 Core Weight: 1 Total Weight: -205 20.60/20.70 c Elapsed CPU time: 20.5409 s Remaining CPU time: 1779.46 s 20.60/20.75 c ============================[ Search Statistics ]============================== 20.60/20.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.60/20.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.60/20.75 c =============================================================================== 20.60/20.75 c | 0 | 2981 42934 88440 | 14311 0 nan | 0.000 % | 20.60/20.77 c | 100 | 2979 42934 88440 | 15742 100 15 | 0.067 % | 20.60/20.77 c | 251 | 2979 42934 88440 | 17316 251 29 | 0.067 % | 20.60/20.78 c | 482 | 2979 42934 88440 | 19048 482 35 | 0.067 % | 20.70/20.81 c | 821 | 2979 42934 88440 | 20953 821 41 | 0.067 % | 20.70/20.83 c | 1330 | 2979 42934 88440 | 23048 1330 44 | 0.067 % | 20.80/20.91 c | 2090 | 2979 42934 88440 | 25353 2090 43 | 0.067 % | 20.80/20.95 c =============================================================================== 20.80/20.95 c core #556 20.80/20.95 c Core size: 126 Core Weight: 1 Total Weight: -204 20.80/20.95 c Elapsed CPU time: 20.7848 s Remaining CPU time: 1779.22 s 20.90/21.00 c ============================[ Search Statistics ]============================== 20.90/21.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.90/21.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.90/21.00 c =============================================================================== 20.90/21.01 c | 0 | 3021 42935 88520 | 14311 0 nan | 0.000 % | 20.90/21.02 c | 100 | 3020 42935 88520 | 15742 100 8 | 0.033 % | 20.90/21.02 c =============================================================================== 20.90/21.02 c core #557 20.90/21.02 c Core size: 87 Core Weight: 1 Total Weight: -203 20.90/21.02 c Elapsed CPU time: 20.8468 s Remaining CPU time: 1779.15 s 20.90/21.07 c ============================[ Search Statistics ]============================== 20.90/21.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.90/21.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.90/21.07 c =============================================================================== 20.90/21.07 c | 0 | 3047 42936 88572 | 14312 0 nan | 0.000 % | 20.90/21.08 c | 101 | 3046 42936 88572 | 15743 101 11 | 0.066 % | 20.90/21.09 c | 253 | 3043 42936 88572 | 17317 253 21 | 0.131 % | 21.00/21.10 c | 479 | 3043 42936 88572 | 19049 479 25 | 0.131 % | 21.00/21.11 c =============================================================================== 21.00/21.11 c core #558 21.00/21.11 c Core size: 256 Core Weight: 1 Total Weight: -202 21.00/21.11 c Elapsed CPU time: 20.9358 s Remaining CPU time: 1779.06 s 21.00/21.16 c ============================[ Search Statistics ]============================== 21.00/21.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.00/21.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.00/21.16 c =============================================================================== 21.00/21.16 c | 0 | 3103 42937 88684 | 14312 0 nan | 0.000 % | 21.00/21.18 c | 101 | 3102 42937 88684 | 15743 101 11 | 0.032 % | 21.00/21.18 c | 251 | 3102 42937 88684 | 17317 251 14 | 0.032 % | 21.00/21.19 c =============================================================================== 21.00/21.19 c core #559 21.00/21.19 c Core size: 151 Core Weight: 1 Total Weight: -201 21.00/21.19 c Elapsed CPU time: 21.0068 s Remaining CPU time: 1778.99 s 21.09/21.24 c ============================[ Search Statistics ]============================== 21.09/21.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.24 c =============================================================================== 21.09/21.24 c | 0 | 3143 42938 88764 | 14312 0 nan | 0.000 % | 21.09/21.25 c | 101 | 3143 42938 88764 | 15743 101 13 | 0.000 % | 21.09/21.26 c | 251 | 3142 42938 88764 | 17318 251 27 | 0.064 % | 21.09/21.26 c =============================================================================== 21.09/21.26 c core #560 21.09/21.26 c Core size: 38 Core Weight: 1 Total Weight: -200 21.09/21.26 c Elapsed CPU time: 21.0778 s Remaining CPU time: 1778.92 s 21.19/21.31 c ============================[ Search Statistics ]============================== 21.19/21.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.31 c =============================================================================== 21.19/21.31 c | 0 | 3157 42939 88792 | 14313 0 nan | 0.000 % | 21.19/21.32 c | 102 | 3156 42939 88792 | 15744 102 9 | 0.032 % | 21.19/21.33 c =============================================================================== 21.19/21.33 c core #561 21.19/21.33 c Core size: 142 Core Weight: 1 Total Weight: -199 21.19/21.33 c Elapsed CPU time: 21.1458 s Remaining CPU time: 1778.85 s 21.19/21.38 c ============================[ Search Statistics ]============================== 21.19/21.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.38 c =============================================================================== 21.19/21.38 c | 0 | 3195 42940 88868 | 14313 0 nan | 0.000 % | 21.19/21.39 c | 100 | 3193 42940 88868 | 15744 100 11 | 0.094 % | 21.19/21.40 c =============================================================================== 21.30/21.40 c core #562 21.30/21.40 c Core size: 111 Core Weight: 1 Total Weight: -198 21.30/21.40 c Elapsed CPU time: 21.2118 s Remaining CPU time: 1778.79 s 21.30/21.45 c ============================[ Search Statistics ]============================== 21.30/21.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.30/21.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.30/21.45 c =============================================================================== 21.30/21.45 c | 0 | 3219 42941 88916 | 14313 0 nan | 0.000 % | 21.30/21.46 c | 100 | 3219 42941 88916 | 15745 100 15 | 0.000 % | 21.30/21.47 c | 252 | 3219 42941 88916 | 17319 252 13 | 0.000 % | 21.30/21.48 c | 478 | 3219 42941 88916 | 19051 478 13 | 0.000 % | 21.39/21.50 c | 815 | 3219 42941 88916 | 20956 815 15 | 0.000 % | 21.39/21.51 c =============================================================================== 21.39/21.52 c core #563 21.39/21.52 c Core size: 466 Core Weight: 1 Total Weight: -197 21.39/21.52 c Elapsed CPU time: 21.3268 s Remaining CPU time: 1778.67 s 21.39/21.57 c ============================[ Search Statistics ]============================== 21.39/21.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.57 c =============================================================================== 21.39/21.57 c | 0 | 3297 42942 89072 | 14314 0 nan | 0.000 % | 21.39/21.58 c | 100 | 3297 42942 89072 | 15745 100 14 | 0.000 % | 21.39/21.58 c =============================================================================== 21.39/21.58 c core #564 21.39/21.58 c Core size: 40 Core Weight: 1 Total Weight: -196 21.39/21.58 c Elapsed CPU time: 21.3937 s Remaining CPU time: 1778.61 s 21.49/21.63 c ============================[ Search Statistics ]============================== 21.49/21.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.49/21.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.49/21.63 c =============================================================================== 21.49/21.63 c | 0 | 3311 42943 89100 | 14314 0 nan | 0.000 % | 21.49/21.65 c | 100 | 3311 42943 89100 | 15745 100 11 | 0.000 % | 21.49/21.65 c | 250 | 3311 42943 89100 | 17320 250 14 | 0.000 % | 21.49/21.66 c | 475 | 3311 42943 89100 | 19052 475 16 | 0.030 % | 21.49/21.66 c =============================================================================== 21.49/21.66 c core #565 21.49/21.66 c Core size: 36 Core Weight: 1 Total Weight: -195 21.49/21.66 c Elapsed CPU time: 21.4697 s Remaining CPU time: 1778.53 s 21.59/21.71 c ============================[ Search Statistics ]============================== 21.59/21.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.71 c =============================================================================== 21.59/21.71 c | 0 | 3323 42944 89124 | 14314 0 nan | 0.000 % | 21.59/21.73 c =============================================================================== 21.59/21.73 c core #566 21.59/21.73 c Core size: 44 Core Weight: 1 Total Weight: -194 21.59/21.73 c Elapsed CPU time: 21.5327 s Remaining CPU time: 1778.47 s 21.59/21.78 c ============================[ Search Statistics ]============================== 21.59/21.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.78 c =============================================================================== 21.59/21.78 c | 0 | 3337 42945 89152 | 14315 0 nan | 0.000 % | 21.59/21.79 c | 101 | 3337 42945 89152 | 15746 101 20 | 0.000 % | 21.70/21.80 c | 253 | 3337 42945 89152 | 17321 253 17 | 0.000 % | 21.70/21.81 c | 478 | 3337 42945 89152 | 19053 478 16 | 0.000 % | 21.70/21.83 c | 816 | 3337 42945 89152 | 20958 816 17 | 0.000 % | 21.70/21.85 c =============================================================================== 21.70/21.85 c core #567 21.70/21.85 c Core size: 226 Core Weight: 1 Total Weight: -193 21.70/21.85 c Elapsed CPU time: 21.6547 s Remaining CPU time: 1778.35 s 21.79/21.91 c ============================[ Search Statistics ]============================== 21.79/21.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.91 c =============================================================================== 21.79/21.91 c | 0 | 3383 42946 89244 | 14315 0 nan | 0.000 % | 21.79/21.92 c | 102 | 3382 42946 89244 | 15746 102 15 | 0.030 % | 21.79/21.93 c =============================================================================== 21.79/21.93 c core #568 21.79/21.93 c Core size: 185 Core Weight: 1 Total Weight: -192 21.79/21.93 c Elapsed CPU time: 21.7297 s Remaining CPU time: 1778.27 s 21.79/21.98 c ============================[ Search Statistics ]============================== 21.79/21.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.98 c =============================================================================== 21.79/21.98 c | 0 | 3423 42947 89324 | 14315 0 nan | 0.000 % | 21.79/21.99 c | 100 | 3423 42947 89324 | 15747 100 18 | 0.000 % | 21.79/22.00 c | 251 | 3423 42947 89324 | 17321 251 16 | 0.000 % | 21.89/22.01 c | 476 | 3390 42947 89324 | 19054 476 16 | 7.918 % | 21.89/22.01 c =============================================================================== 21.89/22.02 c core #569 21.89/22.02 c Core size: 246 Core Weight: 1 Total Weight: -191 21.89/22.02 c Elapsed CPU time: 21.8127 s Remaining CPU time: 1778.19 s 21.89/22.07 c ============================[ Search Statistics ]============================== 21.89/22.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/22.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/22.07 c =============================================================================== 21.89/22.07 c | 0 | 3483 42948 89444 | 14316 0 nan | 0.000 % | 21.89/22.08 c | 101 | 3483 42948 89444 | 15747 101 33 | 0.000 % | 21.89/22.09 c =============================================================================== 21.89/22.09 c core #570 21.89/22.09 c Core size: 57 Core Weight: 1 Total Weight: -190 21.89/22.09 c Elapsed CPU time: 21.8827 s Remaining CPU time: 1778.12 s 21.99/22.14 c ============================[ Search Statistics ]============================== 21.99/22.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.99/22.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.99/22.14 c =============================================================================== 21.99/22.14 c | 0 | 3501 42949 89480 | 14316 0 nan | 0.000 % | 21.99/22.15 c | 101 | 3501 42949 89480 | 15747 101 16 | 0.000 % | 21.99/22.16 c =============================================================================== 21.99/22.16 c core #571 21.99/22.16 c Core size: 60 Core Weight: 1 Total Weight: -189 21.99/22.16 c Elapsed CPU time: 21.9497 s Remaining CPU time: 1778.05 s 22.08/22.21 c ============================[ Search Statistics ]============================== 22.08/22.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.08/22.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.08/22.21 c =============================================================================== 22.08/22.21 c | 0 | 3519 42950 89516 | 14316 0 nan | 0.000 % | 22.08/22.22 c | 100 | 3519 42950 89516 | 15748 100 17 | 0.000 % | 22.08/22.23 c | 252 | 3518 42950 89516 | 17323 252 27 | 0.028 % | 22.08/22.24 c | 477 | 3517 42950 89516 | 19055 477 25 | 0.057 % | 22.08/22.27 c | 814 | 3514 42950 89516 | 20961 814 33 | 0.142 % | 22.19/22.31 c | 1320 | 3508 42950 89516 | 23057 1300 35 | 0.313 % | 22.19/22.35 c =============================================================================== 22.19/22.36 c core #572 22.19/22.36 c Core size: 328 Core Weight: 1 Total Weight: -188 22.19/22.36 c Elapsed CPU time: 22.1456 s Remaining CPU time: 1777.85 s 22.28/22.42 c ============================[ Search Statistics ]============================== 22.28/22.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.28/22.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.28/22.42 c =============================================================================== 22.28/22.42 c | 0 | 3571 42951 89620 | 14317 0 nan | 0.000 % | 22.28/22.43 c | 100 | 3571 42951 89620 | 15748 100 19 | 0.000 % | 22.28/22.44 c | 252 | 3571 42951 89620 | 17323 252 14 | 0.000 % | 22.28/22.45 c | 477 | 3569 42951 89620 | 19055 477 13 | 0.056 % | 22.28/22.46 c =============================================================================== 22.28/22.46 c core #573 22.28/22.46 c Core size: 253 Core Weight: 1 Total Weight: -187 22.28/22.46 c Elapsed CPU time: 22.2366 s Remaining CPU time: 1777.76 s 22.39/22.51 c ============================[ Search Statistics ]============================== 22.39/22.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.51 c =============================================================================== 22.39/22.51 c | 0 | 3627 42952 89732 | 14317 0 nan | 0.000 % | 22.39/22.52 c | 100 | 3627 42952 89732 | 15749 100 18 | 0.000 % | 22.39/22.53 c =============================================================================== 22.39/22.53 c core #574 22.39/22.53 c Core size: 62 Core Weight: 1 Total Weight: -186 22.39/22.53 c Elapsed CPU time: 22.3026 s Remaining CPU time: 1777.7 s 22.39/22.58 c ============================[ Search Statistics ]============================== 22.39/22.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.58 c =============================================================================== 22.39/22.58 c | 0 | 3641 42953 89760 | 14317 0 nan | 0.000 % | 22.39/22.59 c | 102 | 3638 42953 89760 | 15749 102 13 | 0.082 % | 22.48/22.60 c | 253 | 3617 42953 89760 | 17324 253 13 | 3.572 % | 22.48/22.60 c =============================================================================== 22.48/22.60 c core #575 22.48/22.60 c Core size: 111 Core Weight: 1 Total Weight: -185 22.48/22.60 c Elapsed CPU time: 22.3716 s Remaining CPU time: 1777.63 s 22.48/22.65 c ============================[ Search Statistics ]============================== 22.48/22.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.48/22.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.48/22.65 c =============================================================================== 22.48/22.65 c | 0 | 3678 42954 89834 | 14318 0 nan | 0.000 % | 22.48/22.67 c | 102 | 3678 42954 89834 | 15749 102 26 | 0.000 % | 22.48/22.67 c | 252 | 3678 42954 89834 | 17324 252 18 | 0.000 % | 22.48/22.68 c | 477 | 3678 42954 89834 | 19057 477 22 | 0.027 % | 22.59/22.70 c | 814 | 3676 42954 89834 | 20962 814 26 | 0.054 % | 22.59/22.74 c | 1321 | 3676 42954 89834 | 23059 1321 34 | 0.054 % | 22.69/22.81 c | 2080 | 3653 42954 89834 | 25365 2078 34 | 2.501 % | 22.69/22.81 c =============================================================================== 22.69/22.82 c core #576 22.69/22.82 c Core size: 429 Core Weight: 1 Total Weight: -184 22.69/22.82 c Elapsed CPU time: 22.5826 s Remaining CPU time: 1777.42 s 22.69/22.87 c ============================[ Search Statistics ]============================== 22.69/22.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.69/22.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.69/22.87 c =============================================================================== 22.69/22.87 c | 0 | 3770 42955 90018 | 14318 0 nan | 0.000 % | 22.69/22.89 c | 100 | 3770 42955 90018 | 15750 100 11 | 0.000 % | 22.69/22.89 c =============================================================================== 22.69/22.89 c core #577 22.69/22.89 c Core size: 54 Core Weight: 1 Total Weight: -183 22.69/22.89 c Elapsed CPU time: 22.6476 s Remaining CPU time: 1777.35 s 22.78/22.94 c ============================[ Search Statistics ]============================== 22.78/22.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.94 c =============================================================================== 22.78/22.94 c | 0 | 3782 42956 90042 | 14318 0 nan | 0.000 % | 22.78/22.95 c | 100 | 3782 42956 90042 | 15750 100 17 | 0.000 % | 22.78/22.96 c | 257 | 3782 42956 90042 | 17325 257 22 | 0.000 % | 22.78/22.97 c | 483 | 3782 42956 90042 | 19058 483 20 | 0.000 % | 22.78/22.98 c | 823 | 3782 42956 90042 | 20963 823 24 | 0.000 % | 22.88/23.02 c | 1330 | 3782 42956 90042 | 23060 1330 23 | 0.000 % | 22.88/23.07 c | 2090 | 3782 42956 90042 | 25366 2090 25 | 0.000 % | 22.99/23.16 c | 3229 | 3782 42956 90042 | 27903 3229 26 | 0.001 % | 22.99/23.19 c =============================================================================== 23.09/23.21 c core #578 23.09/23.21 c Core size: 359 Core Weight: 1 Total Weight: -182 23.09/23.21 c Elapsed CPU time: 22.9625 s Remaining CPU time: 1777.04 s 23.09/23.26 c ============================[ Search Statistics ]============================== 23.09/23.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.09/23.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.09/23.26 c =============================================================================== 23.09/23.26 c | 0 | 3828 42957 90134 | 14319 0 nan | 0.000 % | 23.09/23.28 c | 103 | 3828 42957 90134 | 15750 103 24 | 0.000 % | 23.09/23.29 c | 253 | 3828 42957 90134 | 17325 253 27 | 0.000 % | 23.18/23.30 c | 481 | 3828 42957 90134 | 19058 481 27 | 0.000 % | 23.18/23.32 c | 819 | 3828 42957 90134 | 20964 819 29 | 0.000 % | 23.18/23.35 c | 1326 | 3828 42957 90134 | 23060 1326 29 | 0.000 % | 23.18/23.39 c | 2086 | 3828 42957 90134 | 25366 2086 32 | 0.000 % | 23.28/23.48 c | 3225 | 3828 42957 90134 | 27903 3225 35 | 0.000 % | 23.48/23.66 c | 4935 | 3828 42957 90134 | 30694 4935 38 | 0.000 % | 23.78/23.93 c | 7497 | 3828 42957 90134 | 33763 7497 44 | 0.000 % | 24.38/24.52 c | 11343 | 3828 42957 90134 | 37139 11343 49 | 0.000 % | 25.88/26.07 c | 17109 | 3828 42957 90134 | 40853 17109 52 | 0.000 % | 28.88/29.06 c | 25758 | 3828 42957 90134 | 44939 25758 53 | 0.000 % | 32.88/33.08 c =============================================================================== 33.27/33.44 c core #579 33.27/33.44 c Core size: 1116 Core Weight: 1 Total Weight: -181 33.27/33.44 c Elapsed CPU time: 33.08 s Remaining CPU time: 1766.92 s 33.37/33.52 c ============================[ Search Statistics ]============================== 33.37/33.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.37/33.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.37/33.53 c =============================================================================== 33.37/33.53 c | 0 | 3944 42958 90366 | 14319 0 nan | 0.000 % | 33.37/33.55 c | 100 | 3944 42958 90366 | 15751 100 15 | 0.000 % | 33.37/33.55 c | 253 | 3944 42958 90366 | 17326 253 24 | 0.000 % | 33.37/33.57 c | 478 | 3944 42958 90366 | 19059 478 23 | 0.000 % | 33.37/33.58 c | 817 | 3944 42958 90366 | 20964 817 36 | 0.000 % | 33.47/33.62 c | 1323 | 3944 42958 90366 | 23061 1323 34 | 0.000 % | 33.47/33.68 c | 2082 | 3943 42958 90366 | 25367 2069 41 | 0.025 % | 33.57/33.78 c | 3222 | 3942 42958 90366 | 27904 3209 44 | 0.051 % | 33.77/33.96 c | 4930 | 3938 42958 90366 | 30694 4914 41 | 0.152 % | 33.87/34.07 c =============================================================================== 33.97/34.10 c core #580 33.97/34.10 c Core size: 687 Core Weight: 1 Total Weight: -180 33.97/34.10 c Elapsed CPU time: 33.7089 s Remaining CPU time: 1766.29 s 33.97/34.15 c ============================[ Search Statistics ]============================== 33.97/34.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.97/34.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.97/34.15 c =============================================================================== 33.97/34.15 c | 0 | 4048 42959 90574 | 14319 0 nan | 0.000 % | 33.97/34.17 c | 100 | 4048 42959 90574 | 15751 100 19 | 0.000 % | 33.97/34.18 c | 251 | 4048 42959 90574 | 17326 251 14 | 0.000 % | 33.97/34.19 c | 477 | 4048 42959 90574 | 19059 477 16 | 0.000 % | 34.07/34.21 c | 815 | 4048 42959 90574 | 20965 815 19 | 0.000 % | 34.07/34.25 c | 1321 | 4047 42959 90574 | 23061 1319 22 | 0.025 % | 34.17/34.34 c | 2080 | 4047 42959 90574 | 25368 2078 28 | 0.025 % | 34.27/34.47 c | 3224 | 4047 42959 90574 | 27904 3222 35 | 0.025 % | 34.57/34.74 c | 4934 | 4047 42959 90574 | 30695 4932 39 | 0.025 % | 35.17/35.33 c | 7504 | 4047 42959 90574 | 33765 7502 41 | 0.025 % | 35.56/35.73 c =============================================================================== 35.66/35.83 c core #581 35.66/35.83 c Core size: 1289 Core Weight: 1 Total Weight: -179 35.66/35.83 c Elapsed CPU time: 35.4086 s Remaining CPU time: 1764.59 s 35.66/35.89 c ============================[ Search Statistics ]============================== 35.66/35.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.66/35.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.66/35.89 c =============================================================================== 35.66/35.89 c | 0 | 4176 42960 90830 | 14320 0 nan | 0.000 % | 35.76/35.91 c | 100 | 4176 42960 90830 | 15752 100 20 | 0.000 % | 35.76/35.92 c | 250 | 4176 42960 90830 | 17327 250 14 | 0.000 % | 35.76/35.94 c | 475 | 4176 42960 90830 | 19059 475 20 | 0.000 % | 35.76/35.96 c | 813 | 4175 42960 90830 | 20965 811 24 | 0.024 % | 35.86/36.00 c | 1320 | 4174 42960 90830 | 23062 1318 23 | 0.048 % | 35.86/36.07 c | 2084 | 4165 42960 90830 | 25368 2072 25 | 0.263 % | 35.97/36.11 c =============================================================================== 35.97/36.12 c core #582 35.97/36.12 c Core size: 703 Core Weight: 1 Total Weight: -178 35.97/36.12 c Elapsed CPU time: 35.6866 s Remaining CPU time: 1764.31 s 35.97/36.16 c ============================[ Search Statistics ]============================== 35.97/36.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.97/36.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.97/36.16 c =============================================================================== 35.97/36.16 c | 0 | 4306 42961 91090 | 14320 0 nan | 0.000 % | 35.97/36.18 c | 100 | 4306 42961 91090 | 15752 100 28 | 0.000 % | 35.97/36.18 c | 251 | 4306 42961 91090 | 17327 251 33 | 0.000 % | 36.07/36.20 c | 476 | 4306 42961 91090 | 19060 476 31 | 0.000 % | 36.07/36.23 c | 813 | 4304 42961 91090 | 20966 813 33 | 0.046 % | 36.07/36.27 c | 1321 | 4303 42961 91090 | 23063 1321 40 | 0.070 % | 36.17/36.38 c | 2081 | 4303 42961 91090 | 25369 2075 62 | 0.070 % | 36.47/36.66 c | 3220 | 4303 42961 91090 | 27906 3214 96 | 0.070 % | 37.16/37.32 c | 4931 | 4303 42961 91090 | 30696 4925 118 | 0.070 % | 38.56/38.71 c | 7493 | 4303 42961 91090 | 33766 7487 132 | 0.070 % | 41.16/41.32 c | 11338 | 4303 42961 91090 | 37143 11332 142 | 0.070 % | 43.16/43.37 c | 17104 | 4303 42961 91090 | 40857 17098 134 | 0.070 % | 47.56/47.71 c | 25753 | 4299 42961 91090 | 44943 25746 124 | 0.163 % | 56.36/56.52 c | 38728 | 4299 42961 91090 | 49437 38721 124 | 0.163 % | 70.45/70.68 c | 58189 | 4299 42961 91090 | 54381 22198 102 | 0.163 % | 107.44/107.67 c | 87381 | 4299 42961 91090 | 59819 51387 109 | 0.163 % | 167.82/168.00 c | 131174 | 4299 42961 91090 | 65801 50424 102 | 0.163 % | 218.72/219.00 c =============================================================================== 222.52/222.72 c core #583 222.52/222.72 c Core size: 1399 Core Weight: 1 Total Weight: -177 222.52/222.72 c Elapsed CPU time: 221.525 s Remaining CPU time: 1578.47 s 222.71/222.97 c ============================[ Search Statistics ]============================== 222.71/222.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.71/222.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.71/222.97 c =============================================================================== 222.71/222.97 c | 0 | 4442 42962 91362 | 14320 0 nan | 0.000 % | 222.81/223.01 c | 103 | 4442 42962 91362 | 15752 103 18 | 0.000 % | 222.81/223.02 c =============================================================================== 222.81/223.02 c core #584 222.81/223.02 c Core size: 67 Core Weight: 1 Total Weight: -176 222.81/223.02 c Elapsed CPU time: 221.821 s Remaining CPU time: 1578.18 s 222.81/223.06 c ============================[ Search Statistics ]============================== 222.81/223.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.81/223.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.81/223.06 c =============================================================================== 222.81/223.06 c | 0 | 4457 42963 91392 | 14321 0 nan | 0.000 % | 222.81/223.07 c | 100 | 4457 42963 91392 | 15753 100 26 | 0.000 % | 222.81/223.08 c | 250 | 4457 42963 91392 | 17328 250 20 | 0.000 % | 222.91/223.10 c | 475 | 4457 42963 91392 | 19061 475 20 | 0.000 % | 222.91/223.12 c | 812 | 4457 42963 91392 | 20967 812 20 | 0.000 % | 222.91/223.16 c | 1318 | 4457 42963 91392 | 23064 1318 27 | 0.000 % | 223.01/223.23 c | 2079 | 4457 42963 91392 | 25370 2079 30 | 0.000 % | 223.12/223.35 c | 3218 | 4457 42963 91392 | 27907 3218 36 | 0.000 % | 223.31/223.55 c | 4927 | 4457 42963 91392 | 30698 4927 42 | 0.000 % | 223.81/224.01 c | 7490 | 4457 42963 91392 | 33768 7490 51 | 0.000 % | 224.81/225.01 c | 11334 | 4457 42963 91392 | 37144 11334 57 | 0.000 % | 227.11/227.32 c | 17101 | 4457 42963 91392 | 40859 17101 66 | 0.000 % | 231.51/231.72 c | 25752 | 4457 42963 91392 | 44945 25752 77 | 0.000 % | 241.01/241.23 c | 38726 | 4457 42963 91392 | 49439 38726 83 | 0.000 % | 263.80/264.02 c | 58187 | 4457 42963 91392 | 54383 23927 69 | 0.000 % | 268.90/269.16 c =============================================================================== 270.40/270.67 c core #585 270.40/270.67 c Core size: 1664 Core Weight: 1 Total Weight: -175 270.40/270.67 c Elapsed CPU time: 269.24 s Remaining CPU time: 1530.76 s 270.60/270.81 c ============================[ Search Statistics ]============================== 270.60/270.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 270.60/270.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 270.60/270.81 c =============================================================================== 270.60/270.81 c | 0 | 4601 42964 91680 | 14321 0 nan | 0.000 % | 270.60/270.85 c | 100 | 4601 42964 91680 | 15753 100 24 | 0.000 % | 270.60/270.86 c | 250 | 4601 42964 91680 | 17328 250 21 | 0.000 % | 270.60/270.87 c | 475 | 4601 42964 91680 | 19061 475 27 | 0.000 % | 270.60/270.89 c | 812 | 4601 42964 91680 | 20967 812 28 | 0.000 % | 270.70/270.93 c | 1318 | 4601 42964 91680 | 23064 1318 36 | 0.000 % | 270.80/271.01 c | 2077 | 4601 42964 91680 | 25371 2077 51 | 0.000 % | 270.90/271.15 c | 3216 | 4601 42964 91680 | 27908 3216 56 | 0.000 % | 271.19/271.44 c | 4926 | 4601 42964 91680 | 30699 4926 79 | 0.000 % | 271.70/271.97 c | 7490 | 4601 42964 91680 | 33768 7490 99 | 0.000 % | 272.60/272.90 c | 11336 | 4601 42964 91680 | 37145 11336 104 | 0.000 % | 274.79/275.01 c | 17102 | 4601 42964 91680 | 40860 17102 121 | 0.000 % | 279.60/279.88 c | 25751 | 4601 42964 91680 | 44946 25751 137 | 0.000 % | 290.09/290.37 c | 38727 | 4601 42964 91680 | 49441 38727 148 | 0.000 % | 310.68/310.90 c | 58188 | 4601 42964 91680 | 54385 22062 150 | 0.000 % | 347.18/347.44 c | 87380 | 4601 42964 91680 | 59823 51254 166 | 0.000 % | 400.76/401.06 c | 131171 | 4592 42964 91680 | 65806 50049 146 | 0.196 % | 498.44/498.74 c | 196856 | 4592 42964 91680 | 72386 64648 142 | 0.196 % | 663.88/664.29 c | 295384 | 4592 42964 91680 | 79625 53129 116 | 0.196 % | 761.46/761.86 c =============================================================================== 773.65/774.05 c core #586 773.65/774.05 c Core size: 2899 Core Weight: 1 Total Weight: -174 773.65/774.05 c Elapsed CPU time: 770.677 s Remaining CPU time: 1029.32 s 774.05/774.48 c ============================[ Search Statistics ]============================== 774.05/774.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 774.05/774.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 774.05/774.48 c =============================================================================== 774.05/774.48 c | 0 | 4791 42965 92060 | 14321 0 nan | 0.000 % | 774.15/774.56 c | 100 | 4791 42965 92060 | 15753 100 22 | 0.000 % | 774.15/774.58 c | 253 | 4791 42965 92060 | 17329 253 25 | 0.000 % | 774.25/774.60 c | 478 | 4791 42965 92060 | 19062 478 24 | 0.000 % | 774.25/774.62 c | 816 | 4791 42965 92060 | 20968 816 23 | 0.000 % | 774.25/774.66 c | 1323 | 4791 42965 92060 | 23065 1323 28 | 0.000 % | 774.35/774.73 c | 2083 | 4791 42965 92060 | 25371 2083 43 | 0.000 % | 774.46/774.87 c | 3222 | 4786 42965 92060 | 27908 3218 51 | 0.104 % | 774.85/775.20 c | 4930 | 4786 42965 92060 | 30699 4926 88 | 0.104 % | 775.35/775.72 c | 7495 | 4786 42965 92060 | 33769 7474 90 | 0.104 % | 776.35/776.73 c | 11342 | 4786 42965 92060 | 37146 11321 102 | 0.104 % | 778.65/779.01 c | 17111 | 4785 42965 92060 | 40861 17085 114 | 0.125 % | 784.06/784.42 c | 25761 | 4785 42965 92060 | 44947 25735 127 | 0.125 % | 793.65/794.09 c | 38735 | 4783 42965 92060 | 49442 38702 135 | 0.167 % | 816.54/816.91 c | 58196 | 4783 42965 92060 | 54386 22026 155 | 0.167 % | 868.43/868.82 c | 87390 | 4781 42965 92060 | 59825 51211 159 | 0.209 % | 936.40/936.81 c | 131179 | 4781 42965 92060 | 65807 49106 157 | 0.209 % | 1059.88/1060.34 c | 196865 | 4778 42965 92060 | 72388 64440 128 | 0.271 % | 1146.86/1147.37 c =============================================================================== 1154.35/1154.85 c core #587 1154.35/1154.85 c Core size: 2642 Core Weight: 1 Total Weight: -173 1154.35/1154.85 c Elapsed CPU time: 1150.17 s Remaining CPU time: 649.834 s 1154.75/1155.20 c ============================[ Search Statistics ]============================== 1154.75/1155.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1154.75/1155.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1154.75/1155.20 c =============================================================================== 1154.75/1155.20 c | 0 | 4968 42966 92414 | 14322 0 nan | 0.000 % | 1154.75/1155.25 c | 100 | 4968 42966 92414 | 15754 100 19 | 0.000 % | 1154.75/1155.26 c | 251 | 4968 42966 92414 | 17329 251 22 | 0.000 % | 1154.75/1155.29 c | 477 | 4968 42966 92414 | 19062 477 34 | 0.000 % | 1154.84/1155.34 c | 814 | 4968 42966 92414 | 20968 814 41 | 0.000 % | 1154.84/1155.38 c | 1322 | 4968 42966 92414 | 23065 1322 46 | 0.000 % | 1154.95/1155.47 c | 2082 | 4968 42966 92414 | 25372 2082 57 | 0.000 % | 1155.15/1155.60 c | 3221 | 4968 42966 92414 | 27909 3221 60 | 0.000 % | 1155.45/1155.93 c | 4929 | 4968 42966 92414 | 30700 4929 75 | 0.000 % | 1156.05/1156.51 c | 7498 | 4968 42966 92414 | 33770 7498 101 | 0.000 % | 1157.44/1157.96 c | 11342 | 4968 42966 92414 | 37147 11342 120 | 0.000 % | 1160.75/1161.26 c | 17109 | 4968 42966 92414 | 40862 17109 142 | 0.000 % | 1167.34/1167.83 c | 25758 | 4968 42966 92414 | 44948 25758 144 | 0.000 % | 1186.74/1187.24 c | 38732 | 4968 42966 92414 | 49443 38732 175 | 0.000 % | 1222.22/1222.73 c | 58193 | 4968 42966 92414 | 54387 22585 203 | 0.000 % | 1300.30/1300.83 c | 87387 | 4968 42966 92414 | 59826 51779 216 | 0.000 % | 1371.29/1371.88 c | 131177 | 4968 42966 92414 | 65809 50836 191 | 0.000 % | 1471.37/1471.92 c | 196861 | 4967 42966 92414 | 72390 63228 199 | 0.020 % | 1667.50/1668.10 c | 295388 | 4967 42966 92414 | 79629 48562 215 | 0.020 % |
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-1875680-1245164433/watcher-1875680-1245164433 -o /tmp/evaluation-result-1875680-1245164433/solver-1875680-1245164433 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875680-1245164433.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 414 /proc/meminfo: memFree=1854880/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=3508 CPUtime=0 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 184044322 3592192 201 1992294400 134512640 135709839 4294956240 18446744073709551615 134972068 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 877 201 128 292 0 339 0 [startup+0.104664 s] /proc/loadavg: 1.00 1.00 1.00 3/64 414 /proc/meminfo: memFree=1854880/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=4740 CPUtime=0.1 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 716 0 0 0 10 0 0 0 18 0 1 0 184044322 4853760 700 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1185 700 326 292 0 647 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4740 [startup+0.201672 s] /proc/loadavg: 1.00 1.00 1.00 3/64 414 /proc/meminfo: memFree=1854880/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6176 CPUtime=0.19 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1409 0 0 0 19 0 0 0 18 0 1 0 184044322 6324224 1034 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1544 1034 133 292 0 1249 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6176 [startup+0.301683 s] /proc/loadavg: 1.00 1.00 1.00 3/64 414 /proc/meminfo: memFree=1854880/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6180 CPUtime=0.29 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1498 0 0 0 29 0 0 0 19 0 1 0 184044322 6328320 1053 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1545 1053 133 292 0 1250 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6180 [startup+0.701724 s] /proc/loadavg: 1.00 1.00 1.00 3/64 414 /proc/meminfo: memFree=1854880/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6424 CPUtime=0.69 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1665 0 0 0 69 0 0 0 22 0 1 0 184044322 6578176 1115 1992294400 134512640 135709839 4294956240 18446744073709551615 134530268 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1606 1115 133 292 0 1311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6424 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 1.00 2/65 415 /proc/meminfo: memFree=1850904/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6588 CPUtime=1.49 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1705 0 0 0 149 0 0 0 25 0 1 0 184044322 6746112 1155 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1647 1155 133 292 0 1352 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6588 [startup+3.10197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 415 /proc/meminfo: memFree=1850712/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6276 CPUtime=3.09 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1725 0 0 0 309 0 0 0 25 0 1 0 184044322 6426624 1106 1992294400 134512640 135709839 4294956240 18446744073709551615 134517344 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1569 1106 133 292 0 1274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6276 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 415 /proc/meminfo: memFree=1850200/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=6936 CPUtime=6.28 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 1888 0 0 0 628 0 0 0 25 0 1 0 184044322 7102464 1269 1992294400 134512640 135709839 4294956240 18446744073709551615 134605472 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 1734 1269 133 292 0 1439 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6936 [startup+12.703 s] /proc/loadavg: 1.00 1.00 1.00 2/65 415 /proc/meminfo: memFree=1848088/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=9324 CPUtime=12.67 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 2515 0 0 0 1265 2 0 0 25 0 1 0 184044322 9547776 1842 1992294400 134512640 135709839 4294956240 18446744073709551615 135182842 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 2331 1842 135 292 0 2036 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 9324 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 415 /proc/meminfo: memFree=1836760/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=20332 CPUtime=25.37 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 5486 0 0 0 2520 17 0 0 25 0 1 0 184044322 20819968 4609 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 5083 4609 136 292 0 4788 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 20332 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1815384/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=41836 CPUtime=50.96 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 10867 0 0 0 5054 42 0 0 25 0 1 0 184044322 42840064 9990 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 10459 9990 136 292 0 10164 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 41836 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1777816/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=78952 CPUtime=102.15 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 20101 0 0 0 10151 64 0 0 25 0 1 0 184044322 80846848 19224 1992294400 134512640 135709839 4294956240 18446744073709551615 134573813 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 19738 19224 136 292 0 19443 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 78952 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1746648/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=110440 CPUtime=162.12 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 27931 0 0 0 16127 85 0 0 25 0 1 0 184044322 113090560 27054 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 27610 27054 136 292 0 27315 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 110440 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1716504/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=140556 CPUtime=222.12 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 35387 0 0 0 22110 102 0 0 25 0 1 0 184044322 143929344 34510 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 35139 34510 136 292 0 34844 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 140556 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1713688/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=142832 CPUtime=282.09 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 36132 0 0 0 28072 137 0 0 25 0 1 0 184044322 146259968 35190 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 35708 35190 136 292 0 35413 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 142832 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1682392/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=173972 CPUtime=342.07 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 43988 0 0 0 34046 161 0 0 25 0 1 0 184044322 178147328 43046 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 43493 43046 136 292 0 43198 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 173972 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1642008/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=214644 CPUtime=402.06 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 54119 0 0 0 40019 187 0 0 25 0 1 0 184044322 219795456 53178 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 53661 53179 136 292 0 53366 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 214644 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1600472/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=255888 CPUtime=462.05 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 64401 0 0 0 45990 215 0 0 25 0 1 0 184044322 262029312 63459 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 63972 63459 136 292 0 63677 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 255888 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1574744/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=282256 CPUtime=522.03 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 70933 0 0 0 51971 232 0 0 25 0 1 0 184044322 289030144 69991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 70564 69991 136 292 0 70269 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 282256 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1540504/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=315992 CPUtime=582 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 79343 0 0 0 57946 254 0 0 25 0 1 0 184044322 323575808 78401 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 78998 78401 136 292 0 78703 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 315992 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1512728/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=344076 CPUtime=641.99 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 86336 0 0 0 63928 271 0 0 25 0 1 0 184044322 352333824 85394 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 86019 85394 136 292 0 85724 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 344076 [startup+702.302 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1444760/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=410896 CPUtime=881.93 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 103184 0 0 0 87850 343 0 0 25 0 1 0 184044322 420757504 102242 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 102724 102242 136 292 0 102429 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 410896 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1420184/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=435860 CPUtime=941.9 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 109385 0 0 0 93831 359 0 0 25 0 1 0 184044322 446320640 108443 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 108965 108443 136 292 0 108670 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 435860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1398616/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=457256 CPUtime=1001.89 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 114687 0 0 0 99810 379 0 0 25 0 1 0 184044322 468230144 113745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 114314 113745 136 292 0 114019 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 457256 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1382296/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=473728 CPUtime=1061.87 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 118769 0 0 0 105794 393 0 0 25 0 1 0 184044322 485097472 117827 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 118432 117827 136 292 0 118137 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 473728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1349336/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=506656 CPUtime=1121.85 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 126974 0 0 0 111770 415 0 0 25 0 1 0 184044322 518815744 126032 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 126664 126032 136 292 0 126369 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 506656 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1329560/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=526088 CPUtime=1181.83 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 131897 0 0 0 117747 436 0 0 25 0 1 0 184044322 538714112 130955 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 131522 130955 136 292 0 131227 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 526088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1329432/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=526088 CPUtime=1241.82 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 131922 0 0 0 123736 446 0 0 25 0 1 0 184044322 538714112 130980 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 131522 130980 136 292 0 131227 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 526088 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1329176/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=526088 CPUtime=1301.8 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 131964 0 0 0 129728 452 0 0 25 0 1 0 184044322 538714112 131022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 131522 131022 136 292 0 131227 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 526088 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1298648/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=556700 CPUtime=1361.79 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 139611 0 0 0 135709 470 0 0 25 0 1 0 184044322 570060800 138669 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 139175 138669 136 292 0 138880 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 556700 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1257304/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=597828 CPUtime=1421.78 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 149880 0 0 0 141681 497 0 0 25 0 1 0 184044322 612175872 148938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 149457 148938 136 292 0 149162 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 597828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1232664/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=622796 CPUtime=1481.75 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 156067 0 0 0 147664 511 0 0 25 0 1 0 184044322 637743104 155125 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 155699 155125 136 292 0 155404 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 622796 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1193240/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=662064 CPUtime=1541.74 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 165850 0 0 0 153642 532 0 0 25 0 1 0 184044322 677953536 164908 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 165516 164908 136 292 0 165221 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 662064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1168984/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=686648 CPUtime=1601.72 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 171953 0 0 0 159624 548 0 0 25 0 1 0 184044322 703127552 171011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 171662 171011 136 292 0 171367 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 686648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1133720/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=721488 CPUtime=1661.7 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 180681 0 0 0 165605 565 0 0 25 0 1 0 184044322 738803712 179739 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 180372 179739 136 292 0 180077 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 721488 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 421 /proc/meminfo: memFree=1115864/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=739624 CPUtime=1721.69 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 185197 0 0 0 171595 574 0 0 25 0 1 0 184044322 757374976 184255 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 184906 184255 136 292 0 184611 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 739624 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 421 /proc/meminfo: memFree=1095832/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=759484 CPUtime=1781.67 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 190155 0 0 0 177581 586 0 0 25 0 1 0 184044322 777711616 189213 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 189871 189213 136 292 0 189576 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 759484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.03 1.01 1.00 2/65 421 /proc/meminfo: memFree=1082648/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=772552 CPUtime=1800.08 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4194304 193417 0 0 0 179416 592 0 0 25 0 1 0 184044322 791093248 192475 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 193138 192475 136 292 0 192843 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 772552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.03 1.01 1.00 2/65 421 /proc/meminfo: memFree=1082648/2055920 swapFree=4191896/4192956 [pid=414] ppid=412 vsize=0 CPUtime=1800.18 /proc/414/stat : 414 (wbo) R 412 414 32666 0 -1 4195332 193417 0 0 0 179416 602 0 0 25 0 1 0 184044322 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/414/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.83 CPU time (s): 1800.21 CPU user time (s): 1794.16 CPU system time (s): 6.04508 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 772552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 6.04508 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 193417 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5486 runsolver used 1.40479 second user time and 3.73543 second system time The end
Begin job on node2 at 2009-06-16 17:00:33 IDJOB=1875680 IDBENCH=2240 IDSOLVER=698 FILE ID=node2/1875680-1245164433 PBS_JOBID= 9363836 Free space on /tmp= 66448 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-5.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-1875680-1245164433/watcher-1875680-1245164433 -o /tmp/evaluation-result-1875680-1245164433/solver-1875680-1245164433 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875680-1245164433.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED=659726367 node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855360 kB Buffers: 37164 kB Cached: 92252 kB SwapCached: 260 kB Active: 44876 kB Inactive: 97872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855360 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 3352 kB Writeback: 0 kB Mapped: 21784 kB Slab: 43740 kB Committed_AS: 153656 kB PageTables: 1472 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-1875680-1245164433.opb Free space on /tmp at the end= 66448 MiB End job on node2 at 2009-06-16 17:30:36