Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.21 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1795.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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-1875715-1245164994.opb. 0.00/0.00 c Instance file HOME/instance-1875715-1245164994.opb 0.00/0.00 c File size is 986607 bytes. 0.09/0.12 c Highest Coefficient sum: 3 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 760 | 0.09/0.12 c | Number Clauses: 42023 | 0.09/0.12 c | Number Cardinality: 0 | 0.09/0.12 c | Number PB Constraints: 0 | 0.09/0.12 c core #1 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: -759 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.14 c core #2 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -758 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.16 c core #3 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: -757 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -756 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 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.202969 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -754 0.19/0.23 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 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.246962 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.268959 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #9 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -751 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 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.313952 s Remaining CPU time: 1799.69 s 0.29/0.34 c core #11 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -749 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 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.356945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #13 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -747 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #14 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -746 0.39/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 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.422935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #16 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -744 0.39/0.45 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #17 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -743 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #18 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -742 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.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.512922 s Remaining CPU time: 1799.49 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.534918 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #21 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -739 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #22 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -738 0.49/0.58 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #23 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -737 0.59/0.60 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 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.623905 s Remaining CPU time: 1799.38 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.645901 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #26 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -734 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #27 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -733 0.59/0.69 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 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.712891 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #29 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -731 0.69/0.74 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #30 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -730 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #31 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -729 0.69/0.78 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 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.802877 s Remaining CPU time: 1799.2 s 0.79/0.83 c core #33 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -727 0.79/0.83 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.85 c core #34 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -726 0.79/0.85 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #35 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -725 0.79/0.87 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #36 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -724 0.79/0.89 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #37 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -723 0.89/0.92 c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #38 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -722 0.89/0.94 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #39 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -721 0.89/0.96 c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #40 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -720 0.89/0.98 c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s 0.99/1.01 c core #41 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: -719 0.99/1.01 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.03 c core #42 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: -718 0.99/1.03 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 0.99/1.05 c core #43 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -717 0.99/1.05 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 0.99/1.07 c core #44 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: -716 0.99/1.07 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 0.99/1.10 c core #45 0.99/1.10 c Core size: 3 Core Weight: 1 Total Weight: -715 0.99/1.10 c Elapsed CPU time: 1.09383 s Remaining CPU time: 1798.91 s 1.09/1.12 c core #46 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: -714 1.09/1.12 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #47 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -713 1.09/1.14 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.09/1.16 c core #48 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: -712 1.09/1.16 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.09/1.19 c core #49 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: -711 1.09/1.19 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #50 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -710 1.19/1.21 c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s 1.19/1.23 c core #51 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -709 1.19/1.23 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #52 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: -708 1.19/1.26 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.28 c core #53 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: -707 1.19/1.28 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.29/1.30 c core #54 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -706 1.29/1.30 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #55 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -705 1.29/1.32 c Elapsed CPU time: 1.3198 s Remaining CPU time: 1798.68 s 1.29/1.35 c core #56 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: -704 1.29/1.35 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.29/1.37 c core #57 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -703 1.29/1.37 c Elapsed CPU time: 1.36579 s Remaining CPU time: 1798.63 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -702 1.29/1.39 c Elapsed CPU time: 1.38879 s Remaining CPU time: 1798.61 s 1.39/1.42 c core #59 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -701 1.39/1.42 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.39/1.44 c core #60 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -700 1.39/1.44 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.39/1.46 c core #61 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -699 1.39/1.46 c Elapsed CPU time: 1.45878 s Remaining CPU time: 1798.54 s 1.39/1.49 c core #62 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -698 1.39/1.49 c Elapsed CPU time: 1.48177 s Remaining CPU time: 1798.52 s 1.49/1.51 c core #63 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -697 1.49/1.51 c Elapsed CPU time: 1.50477 s Remaining CPU time: 1798.5 s 1.49/1.53 c core #64 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: -696 1.49/1.53 c Elapsed CPU time: 1.52777 s Remaining CPU time: 1798.47 s 1.49/1.55 c core #65 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -695 1.49/1.55 c Elapsed CPU time: 1.55076 s Remaining CPU time: 1798.45 s 1.49/1.58 c core #66 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: -694 1.49/1.58 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.59/1.60 c core #67 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: -693 1.59/1.60 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.59/1.62 c core #68 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -692 1.59/1.62 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.59/1.65 c core #69 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -691 1.59/1.65 c Elapsed CPU time: 1.64375 s Remaining CPU time: 1798.36 s 1.59/1.67 c core #70 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -690 1.59/1.67 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.59/1.69 c core #71 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -689 1.59/1.69 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.69/1.72 c core #72 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -688 1.69/1.72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.69/1.74 c core #73 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -687 1.69/1.74 c Elapsed CPU time: 1.73673 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #74 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -686 1.69/1.76 c Elapsed CPU time: 1.75973 s Remaining CPU time: 1798.24 s 1.69/1.79 c core #75 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -685 1.69/1.79 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #76 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -684 1.79/1.81 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #77 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -683 1.79/1.83 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.86 c core #78 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -682 1.79/1.86 c Elapsed CPU time: 1.85272 s Remaining CPU time: 1798.15 s 1.79/1.88 c core #79 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -681 1.79/1.88 c Elapsed CPU time: 1.87671 s Remaining CPU time: 1798.12 s 1.89/1.91 c core #80 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -680 1.89/1.91 c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s 1.89/1.93 c core #81 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -679 1.89/1.93 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s 1.89/1.95 c core #82 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -678 1.89/1.95 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.89/1.98 c core #83 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -677 1.89/1.98 c Elapsed CPU time: 1.9707 s Remaining CPU time: 1798.03 s 1.99/2.00 c core #84 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -676 1.99/2.00 c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s 1.99/2.02 c core #85 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -675 1.99/2.02 c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s 1.99/2.05 c core #86 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -674 1.99/2.05 c Elapsed CPU time: 2.04269 s Remaining CPU time: 1797.96 s 1.99/2.07 c core #87 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -673 1.99/2.07 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 1.99/2.10 c core #88 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: -672 1.99/2.10 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.09/2.12 c core #89 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: -671 2.09/2.12 c Elapsed CPU time: 2.11368 s Remaining CPU time: 1797.89 s 2.09/2.14 c core #90 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -670 2.09/2.14 c Elapsed CPU time: 2.13767 s Remaining CPU time: 1797.86 s 2.09/2.17 c core #91 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: -669 2.09/2.17 c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s 2.09/2.19 c core #92 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: -668 2.09/2.19 c Elapsed CPU time: 2.18567 s Remaining CPU time: 1797.81 s 2.19/2.21 c core #93 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -667 2.19/2.21 c Elapsed CPU time: 2.20966 s Remaining CPU time: 1797.79 s 2.19/2.24 c core #94 2.19/2.24 c Core size: 3 Core Weight: 1 Total Weight: -666 2.19/2.24 c Elapsed CPU time: 2.23366 s Remaining CPU time: 1797.77 s 2.19/2.26 c core #95 2.19/2.26 c Core size: 3 Core Weight: 1 Total Weight: -665 2.19/2.26 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.19/2.29 c core #96 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -664 2.19/2.29 c Elapsed CPU time: 2.28165 s Remaining CPU time: 1797.72 s 2.29/2.31 c core #97 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -663 2.29/2.31 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.29/2.34 c core #98 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -662 2.29/2.34 c Elapsed CPU time: 2.33065 s Remaining CPU time: 1797.67 s 2.29/2.36 c core #99 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -661 2.29/2.36 c Elapsed CPU time: 2.35464 s Remaining CPU time: 1797.65 s 2.29/2.38 c core #100 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -660 2.29/2.38 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.39/2.41 c core #101 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: -659 2.39/2.41 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.39/2.43 c core #102 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: -658 2.39/2.43 c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s 2.39/2.46 c core #103 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -657 2.39/2.46 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.39/2.48 c core #104 2.39/2.48 c Core size: 3 Core Weight: 1 Total Weight: -656 2.39/2.48 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.49/2.51 c core #105 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -655 2.49/2.51 c Elapsed CPU time: 2.50062 s Remaining CPU time: 1797.5 s 2.49/2.53 c core #106 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -654 2.49/2.53 c Elapsed CPU time: 2.52562 s Remaining CPU time: 1797.47 s 2.49/2.56 c core #107 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -653 2.49/2.56 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.49/2.58 c core #108 2.49/2.58 c Core size: 3 Core Weight: 1 Total Weight: -652 2.49/2.58 c Elapsed CPU time: 2.57461 s Remaining CPU time: 1797.43 s 2.59/2.60 c core #109 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -651 2.59/2.60 c Elapsed CPU time: 2.5986 s Remaining CPU time: 1797.4 s 2.59/2.63 c core #110 2.59/2.63 c Core size: 3 Core Weight: 1 Total Weight: -650 2.59/2.63 c Elapsed CPU time: 2.6236 s Remaining CPU time: 1797.38 s 2.59/2.65 c core #111 2.59/2.65 c Core size: 3 Core Weight: 1 Total Weight: -649 2.59/2.65 c Elapsed CPU time: 2.6486 s Remaining CPU time: 1797.35 s 2.59/2.68 c core #112 2.59/2.68 c Core size: 3 Core Weight: 1 Total Weight: -648 2.59/2.68 c Elapsed CPU time: 2.67259 s Remaining CPU time: 1797.33 s 2.69/2.70 c core #113 2.69/2.70 c Core size: 3 Core Weight: 1 Total Weight: -647 2.69/2.70 c Elapsed CPU time: 2.69759 s Remaining CPU time: 1797.3 s 2.69/2.73 c core #114 2.69/2.73 c Core size: 3 Core Weight: 1 Total Weight: -646 2.69/2.73 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.69/2.75 c core #115 2.69/2.75 c Core size: 3 Core Weight: 1 Total Weight: -645 2.69/2.75 c Elapsed CPU time: 2.74758 s Remaining CPU time: 1797.25 s 2.69/2.78 c core #116 2.69/2.78 c Core size: 3 Core Weight: 1 Total Weight: -644 2.69/2.78 c Elapsed CPU time: 2.77258 s Remaining CPU time: 1797.23 s 2.79/2.80 c core #117 2.79/2.80 c Core size: 3 Core Weight: 1 Total Weight: -643 2.79/2.80 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.79/2.83 c core #118 2.79/2.83 c Core size: 3 Core Weight: 1 Total Weight: -642 2.79/2.83 c Elapsed CPU time: 2.82157 s Remaining CPU time: 1797.18 s 2.79/2.85 c core #119 2.79/2.85 c Core size: 3 Core Weight: 1 Total Weight: -641 2.79/2.85 c Elapsed CPU time: 2.84657 s Remaining CPU time: 1797.15 s 2.79/2.88 c core #120 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: -640 2.79/2.88 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.89/2.90 c core #121 2.89/2.90 c Core size: 3 Core Weight: 1 Total Weight: -639 2.89/2.90 c Elapsed CPU time: 2.89656 s Remaining CPU time: 1797.1 s 2.89/2.93 c core #122 2.89/2.93 c Core size: 3 Core Weight: 1 Total Weight: -638 2.89/2.93 c Elapsed CPU time: 2.92156 s Remaining CPU time: 1797.08 s 2.89/2.95 c core #123 2.89/2.95 c Core size: 3 Core Weight: 1 Total Weight: -637 2.89/2.95 c Elapsed CPU time: 2.94755 s Remaining CPU time: 1797.05 s 2.89/2.98 c core #124 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: -636 2.89/2.98 c Elapsed CPU time: 2.97255 s Remaining CPU time: 1797.03 s 2.99/3.00 c core #125 2.99/3.00 c Core size: 3 Core Weight: 1 Total Weight: -635 2.99/3.00 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 2.99/3.03 c core #126 2.99/3.03 c Core size: 3 Core Weight: 1 Total Weight: -634 2.99/3.03 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 2.99/3.05 c core #127 2.99/3.05 c Core size: 3 Core Weight: 1 Total Weight: -633 2.99/3.05 c Elapsed CPU time: 3.04854 s Remaining CPU time: 1796.95 s 2.99/3.08 c core #128 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: -632 2.99/3.08 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.09/3.10 c core #129 3.09/3.10 c Core size: 3 Core Weight: 1 Total Weight: -631 3.09/3.10 c Elapsed CPU time: 3.09953 s Remaining CPU time: 1796.9 s 3.09/3.13 c core #130 3.09/3.13 c Core size: 3 Core Weight: 1 Total Weight: -630 3.09/3.13 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.09/3.16 c core #131 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: -629 3.09/3.16 c Elapsed CPU time: 3.15052 s Remaining CPU time: 1796.85 s 3.09/3.18 c core #132 3.09/3.18 c Core size: 3 Core Weight: 1 Total Weight: -628 3.09/3.18 c Elapsed CPU time: 3.17552 s Remaining CPU time: 1796.82 s 3.19/3.21 c core #133 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -627 3.19/3.21 c Elapsed CPU time: 3.20051 s Remaining CPU time: 1796.8 s 3.19/3.23 c core #134 3.19/3.23 c Core size: 3 Core Weight: 1 Total Weight: -626 3.19/3.23 c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s 3.19/3.26 c core #135 3.19/3.26 c Core size: 3 Core Weight: 1 Total Weight: -625 3.19/3.26 c Elapsed CPU time: 3.2515 s Remaining CPU time: 1796.75 s 3.19/3.28 c core #136 3.19/3.28 c Core size: 3 Core Weight: 1 Total Weight: -624 3.19/3.28 c Elapsed CPU time: 3.2775 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #137 3.29/3.31 c Core size: 3 Core Weight: 1 Total Weight: -623 3.29/3.31 c Elapsed CPU time: 3.3035 s Remaining CPU time: 1796.7 s 3.29/3.34 c core #138 3.29/3.34 c Core size: 3 Core Weight: 1 Total Weight: -622 3.29/3.34 c Elapsed CPU time: 3.32949 s Remaining CPU time: 1796.67 s 3.29/3.36 c core #139 3.29/3.36 c Core size: 3 Core Weight: 1 Total Weight: -621 3.29/3.36 c Elapsed CPU time: 3.35549 s Remaining CPU time: 1796.64 s 3.29/3.39 c core #140 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -620 3.29/3.39 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.38/3.41 c core #141 3.38/3.41 c Core size: 3 Core Weight: 1 Total Weight: -619 3.38/3.41 c Elapsed CPU time: 3.40648 s Remaining CPU time: 1796.59 s 3.38/3.44 c core #142 3.38/3.44 c Core size: 3 Core Weight: 1 Total Weight: -618 3.38/3.44 c Elapsed CPU time: 3.43248 s Remaining CPU time: 1796.57 s 3.38/3.47 c core #143 3.38/3.47 c Core size: 3 Core Weight: 1 Total Weight: -617 3.38/3.47 c Elapsed CPU time: 3.45847 s Remaining CPU time: 1796.54 s 3.38/3.49 c core #144 3.38/3.49 c Core size: 3 Core Weight: 1 Total Weight: -616 3.38/3.49 c Elapsed CPU time: 3.48447 s Remaining CPU time: 1796.52 s 3.48/3.52 c core #145 3.48/3.52 c Core size: 3 Core Weight: 1 Total Weight: -615 3.48/3.52 c Elapsed CPU time: 3.51047 s Remaining CPU time: 1796.49 s 3.48/3.54 c core #146 3.48/3.54 c Core size: 3 Core Weight: 1 Total Weight: -614 3.48/3.54 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.48/3.57 c core #147 3.48/3.57 c Core size: 3 Core Weight: 1 Total Weight: -613 3.48/3.57 c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s 3.58/3.60 c core #148 3.58/3.60 c Core size: 3 Core Weight: 1 Total Weight: -612 3.58/3.60 c Elapsed CPU time: 3.58945 s Remaining CPU time: 1796.41 s 3.58/3.62 c core #149 3.58/3.62 c Core size: 3 Core Weight: 1 Total Weight: -611 3.58/3.62 c Elapsed CPU time: 3.61645 s Remaining CPU time: 1796.38 s 3.58/3.65 c core #150 3.58/3.65 c Core size: 3 Core Weight: 1 Total Weight: -610 3.58/3.65 c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s 3.58/3.68 c core #151 3.58/3.68 c Core size: 3 Core Weight: 1 Total Weight: -609 3.58/3.68 c Elapsed CPU time: 3.66944 s Remaining CPU time: 1796.33 s 3.68/3.70 c core #152 3.68/3.70 c Core size: 3 Core Weight: 1 Total Weight: -608 3.68/3.70 c Elapsed CPU time: 3.69644 s Remaining CPU time: 1796.3 s 3.68/3.73 c core #153 3.68/3.73 c Core size: 3 Core Weight: 1 Total Weight: -607 3.68/3.73 c Elapsed CPU time: 3.72243 s Remaining CPU time: 1796.28 s 3.68/3.76 c core #154 3.68/3.76 c Core size: 3 Core Weight: 1 Total Weight: -606 3.68/3.76 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.68/3.78 c core #155 3.68/3.78 c Core size: 3 Core Weight: 1 Total Weight: -605 3.68/3.78 c Elapsed CPU time: 3.77643 s Remaining CPU time: 1796.22 s 3.78/3.81 c core #156 3.78/3.81 c Core size: 3 Core Weight: 1 Total Weight: -604 3.78/3.81 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 3.78/3.84 c core #157 3.78/3.84 c Core size: 3 Core Weight: 1 Total Weight: -603 3.78/3.84 c Elapsed CPU time: 3.82942 s Remaining CPU time: 1796.17 s 3.78/3.86 c core #158 3.78/3.86 c Core size: 3 Core Weight: 1 Total Weight: -602 3.78/3.86 c Elapsed CPU time: 3.85641 s Remaining CPU time: 1796.14 s 3.78/3.89 c core #159 3.78/3.89 c Core size: 3 Core Weight: 1 Total Weight: -601 3.78/3.89 c Elapsed CPU time: 3.88341 s Remaining CPU time: 1796.12 s 3.88/3.92 c core #160 3.88/3.92 c Core size: 3 Core Weight: 1 Total Weight: -600 3.88/3.92 c Elapsed CPU time: 3.9104 s Remaining CPU time: 1796.09 s 3.88/3.94 c core #161 3.88/3.94 c Core size: 3 Core Weight: 1 Total Weight: -599 3.88/3.94 c Elapsed CPU time: 3.9374 s Remaining CPU time: 1796.06 s 3.88/3.97 c core #162 3.88/3.97 c Core size: 3 Core Weight: 1 Total Weight: -598 3.88/3.97 c Elapsed CPU time: 3.9644 s Remaining CPU time: 1796.04 s 3.98/4.00 c core #163 3.98/4.00 c Core size: 3 Core Weight: 1 Total Weight: -597 3.98/4.00 c Elapsed CPU time: 3.99139 s Remaining CPU time: 1796.01 s 3.98/4.03 c core #164 3.98/4.03 c Core size: 3 Core Weight: 1 Total Weight: -596 3.98/4.03 c Elapsed CPU time: 4.01939 s Remaining CPU time: 1795.98 s 3.98/4.05 c core #165 3.98/4.05 c Core size: 3 Core Weight: 1 Total Weight: -595 3.98/4.05 c Elapsed CPU time: 4.04638 s Remaining CPU time: 1795.95 s 3.98/4.08 c core #166 3.98/4.08 c Core size: 3 Core Weight: 1 Total Weight: -594 3.98/4.08 c Elapsed CPU time: 4.07338 s Remaining CPU time: 1795.93 s 4.08/4.11 c core #167 4.08/4.11 c Core size: 3 Core Weight: 1 Total Weight: -593 4.08/4.11 c Elapsed CPU time: 4.10138 s Remaining CPU time: 1795.9 s 4.08/4.14 c core #168 4.08/4.14 c Core size: 3 Core Weight: 1 Total Weight: -592 4.08/4.14 c Elapsed CPU time: 4.12837 s Remaining CPU time: 1795.87 s 4.08/4.16 c core #169 4.08/4.16 c Core size: 3 Core Weight: 1 Total Weight: -591 4.08/4.16 c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s 4.08/4.19 c core #170 4.08/4.19 c Core size: 3 Core Weight: 1 Total Weight: -590 4.08/4.19 c Elapsed CPU time: 4.18336 s Remaining CPU time: 1795.82 s 4.18/4.22 c core #171 4.18/4.22 c Core size: 3 Core Weight: 1 Total Weight: -589 4.18/4.22 c Elapsed CPU time: 4.21136 s Remaining CPU time: 1795.79 s 4.18/4.25 c core #172 4.18/4.25 c Core size: 3 Core Weight: 1 Total Weight: -588 4.18/4.25 c Elapsed CPU time: 4.23836 s Remaining CPU time: 1795.76 s 4.18/4.27 c core #173 4.18/4.27 c Core size: 3 Core Weight: 1 Total Weight: -587 4.18/4.27 c Elapsed CPU time: 4.26635 s Remaining CPU time: 1795.73 s 4.18/4.30 c core #174 4.18/4.30 c Core size: 3 Core Weight: 1 Total Weight: -586 4.29/4.30 c Elapsed CPU time: 4.29335 s Remaining CPU time: 1795.71 s 4.29/4.33 c core #175 4.29/4.33 c Core size: 3 Core Weight: 1 Total Weight: -585 4.29/4.33 c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s 4.29/4.36 c core #176 4.29/4.36 c Core size: 3 Core Weight: 1 Total Weight: -584 4.29/4.36 c Elapsed CPU time: 4.35034 s Remaining CPU time: 1795.65 s 4.29/4.39 c core #177 4.29/4.39 c Core size: 3 Core Weight: 1 Total Weight: -583 4.29/4.39 c Elapsed CPU time: 4.37833 s Remaining CPU time: 1795.62 s 4.39/4.41 c core #178 4.39/4.41 c Core size: 3 Core Weight: 1 Total Weight: -582 4.39/4.41 c Elapsed CPU time: 4.40633 s Remaining CPU time: 1795.59 s 4.39/4.44 c core #179 4.39/4.44 c Core size: 3 Core Weight: 1 Total Weight: -581 4.39/4.44 c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s 4.39/4.47 c core #180 4.39/4.47 c Core size: 3 Core Weight: 1 Total Weight: -580 4.39/4.47 c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s 4.48/4.50 c core #181 4.48/4.50 c Core size: 3 Core Weight: 1 Total Weight: -579 4.48/4.50 c Elapsed CPU time: 4.49032 s Remaining CPU time: 1795.51 s 4.48/4.53 c core #182 4.48/4.53 c Core size: 3 Core Weight: 1 Total Weight: -578 4.48/4.53 c Elapsed CPU time: 4.51731 s Remaining CPU time: 1795.48 s 4.48/4.55 c core #183 4.48/4.55 c Core size: 3 Core Weight: 1 Total Weight: -577 4.48/4.55 c Elapsed CPU time: 4.54531 s Remaining CPU time: 1795.45 s 4.48/4.58 c core #184 4.48/4.58 c Core size: 3 Core Weight: 1 Total Weight: -576 4.48/4.58 c Elapsed CPU time: 4.5733 s Remaining CPU time: 1795.43 s 4.59/4.61 c core #185 4.59/4.61 c Core size: 3 Core Weight: 1 Total Weight: -575 4.59/4.61 c Elapsed CPU time: 4.6013 s Remaining CPU time: 1795.4 s 4.59/4.64 c core #186 4.59/4.64 c Core size: 3 Core Weight: 1 Total Weight: -574 4.59/4.64 c Elapsed CPU time: 4.6303 s Remaining CPU time: 1795.37 s 4.59/4.67 c core #187 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -573 4.59/4.67 c Elapsed CPU time: 4.65829 s Remaining CPU time: 1795.34 s 4.59/4.70 c core #188 4.59/4.70 c Core size: 3 Core Weight: 1 Total Weight: -572 4.59/4.70 c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s 4.69/4.72 c core #189 4.69/4.72 c Core size: 3 Core Weight: 1 Total Weight: -571 4.69/4.72 c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s 4.69/4.75 c core #190 4.69/4.75 c Core size: 3 Core Weight: 1 Total Weight: -570 4.69/4.75 c Elapsed CPU time: 4.74428 s Remaining CPU time: 1795.26 s 4.69/4.78 c core #191 4.69/4.78 c Core size: 3 Core Weight: 1 Total Weight: -569 4.69/4.78 c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s 4.79/4.81 c core #192 4.79/4.81 c Core size: 3 Core Weight: 1 Total Weight: -568 4.79/4.81 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 4.79/4.84 c core #193 4.79/4.84 c Core size: 3 Core Weight: 1 Total Weight: -567 4.79/4.84 c Elapsed CPU time: 4.83026 s Remaining CPU time: 1795.17 s 4.79/4.87 c core #194 4.79/4.87 c Core size: 3 Core Weight: 1 Total Weight: -566 4.79/4.87 c Elapsed CPU time: 4.85926 s Remaining CPU time: 1795.14 s 4.89/4.90 c core #195 4.89/4.90 c Core size: 3 Core Weight: 1 Total Weight: -565 4.89/4.90 c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s 4.89/4.93 c core #196 4.89/4.93 c Core size: 3 Core Weight: 1 Total Weight: -564 4.89/4.93 c Elapsed CPU time: 4.91725 s Remaining CPU time: 1795.08 s 4.89/4.96 c core #197 4.89/4.96 c Core size: 3 Core Weight: 1 Total Weight: -563 4.89/4.96 c Elapsed CPU time: 4.94625 s Remaining CPU time: 1795.05 s 4.89/4.98 c core #198 4.89/4.98 c Core size: 3 Core Weight: 1 Total Weight: -562 4.89/4.98 c Elapsed CPU time: 4.97424 s Remaining CPU time: 1795.03 s 4.99/5.01 c core #199 4.99/5.01 c Core size: 3 Core Weight: 1 Total Weight: -561 4.99/5.01 c Elapsed CPU time: 5.00324 s Remaining CPU time: 1795 s 4.99/5.04 c core #200 4.99/5.04 c Core size: 3 Core Weight: 1 Total Weight: -560 4.99/5.04 c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s 4.99/5.07 c core #201 4.99/5.07 c Core size: 3 Core Weight: 1 Total Weight: -559 4.99/5.07 c Elapsed CPU time: 5.06123 s Remaining CPU time: 1794.94 s 5.09/5.10 c core #202 5.09/5.10 c Core size: 3 Core Weight: 1 Total Weight: -558 5.09/5.10 c Elapsed CPU time: 5.09123 s Remaining CPU time: 1794.91 s 5.09/5.13 c core #203 5.09/5.13 c Core size: 3 Core Weight: 1 Total Weight: -557 5.09/5.13 c Elapsed CPU time: 5.12022 s Remaining CPU time: 1794.88 s 5.09/5.16 c core #204 5.09/5.16 c Core size: 3 Core Weight: 1 Total Weight: -556 5.09/5.16 c Elapsed CPU time: 5.14922 s Remaining CPU time: 1794.85 s 5.09/5.19 c core #205 5.09/5.19 c Core size: 3 Core Weight: 1 Total Weight: -555 5.09/5.19 c Elapsed CPU time: 5.17921 s Remaining CPU time: 1794.82 s 5.19/5.22 c core #206 5.19/5.22 c Core size: 3 Core Weight: 1 Total Weight: -554 5.19/5.22 c Elapsed CPU time: 5.20821 s Remaining CPU time: 1794.79 s 5.19/5.25 c core #207 5.19/5.25 c Core size: 3 Core Weight: 1 Total Weight: -553 5.19/5.25 c Elapsed CPU time: 5.2372 s Remaining CPU time: 1794.76 s 5.19/5.28 c core #208 5.19/5.28 c Core size: 3 Core Weight: 1 Total Weight: -552 5.19/5.28 c Elapsed CPU time: 5.2662 s Remaining CPU time: 1794.73 s 5.29/5.31 c core #209 5.29/5.31 c Core size: 3 Core Weight: 1 Total Weight: -551 5.29/5.31 c Elapsed CPU time: 5.29719 s Remaining CPU time: 1794.7 s 5.29/5.34 c core #210 5.29/5.34 c Core size: 3 Core Weight: 1 Total Weight: -550 5.29/5.34 c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s 5.29/5.37 c core #211 5.29/5.37 c Core size: 3 Core Weight: 1 Total Weight: -549 5.29/5.37 c Elapsed CPU time: 5.35518 s Remaining CPU time: 1794.64 s 5.29/5.40 c core #212 5.29/5.40 c Core size: 3 Core Weight: 1 Total Weight: -548 5.29/5.40 c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s 5.39/5.43 c core #213 5.39/5.43 c Core size: 3 Core Weight: 1 Total Weight: -547 5.39/5.43 c Elapsed CPU time: 5.41418 s Remaining CPU time: 1794.59 s 5.39/5.46 c core #214 5.39/5.46 c Core size: 3 Core Weight: 1 Total Weight: -546 5.39/5.46 c Elapsed CPU time: 5.44417 s Remaining CPU time: 1794.56 s 5.39/5.49 c core #215 5.39/5.49 c Core size: 3 Core Weight: 1 Total Weight: -545 5.39/5.49 c Elapsed CPU time: 5.47417 s Remaining CPU time: 1794.53 s 5.49/5.52 c core #216 5.49/5.52 c Core size: 3 Core Weight: 1 Total Weight: -544 5.49/5.52 c Elapsed CPU time: 5.50416 s Remaining CPU time: 1794.5 s 5.49/5.55 c core #217 5.49/5.55 c Core size: 3 Core Weight: 1 Total Weight: -543 5.49/5.55 c Elapsed CPU time: 5.53416 s Remaining CPU time: 1794.47 s 5.49/5.58 c core #218 5.49/5.58 c Core size: 3 Core Weight: 1 Total Weight: -542 5.49/5.58 c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s 5.59/5.61 c core #219 5.59/5.61 c Core size: 3 Core Weight: 1 Total Weight: -541 5.59/5.61 c Elapsed CPU time: 5.59315 s Remaining CPU time: 1794.41 s 5.59/5.64 c core #220 5.59/5.64 c Core size: 3 Core Weight: 1 Total Weight: -540 5.59/5.64 c Elapsed CPU time: 5.62315 s Remaining CPU time: 1794.38 s 5.59/5.67 c core #221 5.59/5.67 c Core size: 3 Core Weight: 1 Total Weight: -539 5.59/5.67 c Elapsed CPU time: 5.65314 s Remaining CPU time: 1794.35 s 5.69/5.70 c core #222 5.69/5.70 c Core size: 3 Core Weight: 1 Total Weight: -538 5.69/5.70 c Elapsed CPU time: 5.68314 s Remaining CPU time: 1794.32 s 5.69/5.73 c core #223 5.69/5.73 c Core size: 3 Core Weight: 1 Total Weight: -537 5.69/5.73 c Elapsed CPU time: 5.71313 s Remaining CPU time: 1794.29 s 5.69/5.76 c core #224 5.69/5.76 c Core size: 3 Core Weight: 1 Total Weight: -536 5.69/5.76 c Elapsed CPU time: 5.74413 s Remaining CPU time: 1794.26 s 5.69/5.79 c core #225 5.69/5.79 c Core size: 3 Core Weight: 1 Total Weight: -535 5.69/5.79 c Elapsed CPU time: 5.77412 s Remaining CPU time: 1794.23 s 5.79/5.82 c core #226 5.79/5.82 c Core size: 3 Core Weight: 1 Total Weight: -534 5.79/5.82 c Elapsed CPU time: 5.80512 s Remaining CPU time: 1794.19 s 5.79/5.85 c core #227 5.79/5.85 c Core size: 3 Core Weight: 1 Total Weight: -533 5.79/5.85 c Elapsed CPU time: 5.83511 s Remaining CPU time: 1794.16 s 5.79/5.88 c core #228 5.79/5.88 c Core size: 3 Core Weight: 1 Total Weight: -532 5.79/5.88 c Elapsed CPU time: 5.86611 s Remaining CPU time: 1794.13 s 5.89/5.91 c core #229 5.89/5.91 c Core size: 3 Core Weight: 1 Total Weight: -531 5.89/5.91 c Elapsed CPU time: 5.8971 s Remaining CPU time: 1794.1 s 5.89/5.94 c core #230 5.89/5.94 c Core size: 3 Core Weight: 1 Total Weight: -530 5.89/5.94 c Elapsed CPU time: 5.9291 s Remaining CPU time: 1794.07 s 5.89/5.97 c core #231 5.89/5.97 c Core size: 3 Core Weight: 1 Total Weight: -529 5.89/5.97 c Elapsed CPU time: 5.95909 s Remaining CPU time: 1794.04 s 5.99/6.00 c core #232 5.99/6.00 c Core size: 3 Core Weight: 1 Total Weight: -528 5.99/6.00 c Elapsed CPU time: 5.98909 s Remaining CPU time: 1794.01 s 5.99/6.04 c core #233 5.99/6.04 c Core size: 3 Core Weight: 1 Total Weight: -527 5.99/6.04 c Elapsed CPU time: 6.02008 s Remaining CPU time: 1793.98 s 5.99/6.07 c core #234 5.99/6.07 c Core size: 3 Core Weight: 1 Total Weight: -526 5.99/6.07 c Elapsed CPU time: 6.05108 s Remaining CPU time: 1793.95 s 6.09/6.10 c core #235 6.09/6.10 c Core size: 3 Core Weight: 1 Total Weight: -525 6.09/6.10 c Elapsed CPU time: 6.08308 s Remaining CPU time: 1793.92 s 6.09/6.13 c core #236 6.09/6.13 c Core size: 3 Core Weight: 1 Total Weight: -524 6.09/6.13 c Elapsed CPU time: 6.11407 s Remaining CPU time: 1793.89 s 6.09/6.16 c core #237 6.09/6.16 c Core size: 3 Core Weight: 1 Total Weight: -523 6.09/6.16 c Elapsed CPU time: 6.14506 s Remaining CPU time: 1793.85 s 6.09/6.19 c core #238 6.09/6.19 c Core size: 3 Core Weight: 1 Total Weight: -522 6.09/6.19 c Elapsed CPU time: 6.17606 s Remaining CPU time: 1793.82 s 6.19/6.22 c core #239 6.19/6.22 c Core size: 3 Core Weight: 1 Total Weight: -521 6.19/6.22 c Elapsed CPU time: 6.20806 s Remaining CPU time: 1793.79 s 6.19/6.25 c core #240 6.19/6.25 c Core size: 3 Core Weight: 1 Total Weight: -520 6.19/6.25 c Elapsed CPU time: 6.23905 s Remaining CPU time: 1793.76 s 6.19/6.29 c core #241 6.19/6.29 c Core size: 3 Core Weight: 1 Total Weight: -519 6.19/6.29 c Elapsed CPU time: 6.27105 s Remaining CPU time: 1793.73 s 6.29/6.32 c core #242 6.29/6.32 c Core size: 3 Core Weight: 1 Total Weight: -518 6.29/6.32 c Elapsed CPU time: 6.30304 s Remaining CPU time: 1793.7 s 6.29/6.35 c core #243 6.29/6.35 c Core size: 3 Core Weight: 1 Total Weight: -517 6.29/6.35 c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s 6.29/6.38 c core #244 6.29/6.38 c Core size: 3 Core Weight: 1 Total Weight: -516 6.29/6.38 c Elapsed CPU time: 6.36603 s Remaining CPU time: 1793.63 s 6.39/6.41 c core #245 6.39/6.41 c Core size: 3 Core Weight: 1 Total Weight: -515 6.39/6.41 c Elapsed CPU time: 6.39803 s Remaining CPU time: 1793.6 s 6.39/6.45 c core #246 6.39/6.45 c Core size: 3 Core Weight: 1 Total Weight: -514 6.39/6.45 c Elapsed CPU time: 6.43002 s Remaining CPU time: 1793.57 s 6.39/6.48 c core #247 6.39/6.48 c Core size: 3 Core Weight: 1 Total Weight: -513 6.39/6.48 c Elapsed CPU time: 6.46202 s Remaining CPU time: 1793.54 s 6.49/6.51 c core #248 6.49/6.51 c Core size: 3 Core Weight: 1 Total Weight: -512 6.49/6.51 c Elapsed CPU time: 6.49401 s Remaining CPU time: 1793.51 s 6.49/6.54 c core #249 6.49/6.54 c Core size: 3 Core Weight: 1 Total Weight: -511 6.49/6.54 c Elapsed CPU time: 6.52601 s Remaining CPU time: 1793.47 s 6.49/6.57 c core #250 6.49/6.57 c Core size: 3 Core Weight: 1 Total Weight: -510 6.49/6.57 c Elapsed CPU time: 6.558 s Remaining CPU time: 1793.44 s 6.59/6.61 c core #251 6.59/6.61 c Core size: 3 Core Weight: 1 Total Weight: -509 6.59/6.61 c Elapsed CPU time: 6.591 s Remaining CPU time: 1793.41 s 6.59/6.64 c core #252 6.59/6.64 c Core size: 3 Core Weight: 1 Total Weight: -508 6.59/6.64 c Elapsed CPU time: 6.62299 s Remaining CPU time: 1793.38 s 6.59/6.67 c core #253 6.59/6.67 c Core size: 3 Core Weight: 1 Total Weight: -507 6.59/6.67 c Elapsed CPU time: 6.65499 s Remaining CPU time: 1793.35 s 6.69/6.70 c core #254 6.69/6.70 c Core size: 3 Core Weight: 1 Total Weight: -506 6.69/6.70 c Elapsed CPU time: 6.68698 s Remaining CPU time: 1793.31 s 6.69/6.74 c core #255 6.69/6.74 c Core size: 3 Core Weight: 1 Total Weight: -505 6.69/6.74 c Elapsed CPU time: 6.71898 s Remaining CPU time: 1793.28 s 6.69/6.77 c core #256 6.69/6.77 c Core size: 3 Core Weight: 1 Total Weight: -504 6.69/6.77 c Elapsed CPU time: 6.75097 s Remaining CPU time: 1793.25 s 6.78/6.80 c core #257 6.78/6.80 c Core size: 3 Core Weight: 1 Total Weight: -503 6.78/6.80 c Elapsed CPU time: 6.78397 s Remaining CPU time: 1793.22 s 6.78/6.83 c core #258 6.78/6.83 c Core size: 3 Core Weight: 1 Total Weight: -502 6.78/6.83 c Elapsed CPU time: 6.81596 s Remaining CPU time: 1793.18 s 6.78/6.87 c core #259 6.78/6.87 c Core size: 3 Core Weight: 1 Total Weight: -501 6.78/6.87 c Elapsed CPU time: 6.84896 s Remaining CPU time: 1793.15 s 6.88/6.90 c core #260 6.88/6.90 c Core size: 3 Core Weight: 1 Total Weight: -500 6.88/6.90 c Elapsed CPU time: 6.88195 s Remaining CPU time: 1793.12 s 6.88/6.93 c core #261 6.88/6.93 c Core size: 3 Core Weight: 1 Total Weight: -499 6.88/6.93 c Elapsed CPU time: 6.91495 s Remaining CPU time: 1793.09 s 6.88/6.96 c core #262 6.88/6.96 c Core size: 3 Core Weight: 1 Total Weight: -498 6.88/6.96 c Elapsed CPU time: 6.94694 s Remaining CPU time: 1793.05 s 6.98/7.00 c core #263 6.98/7.00 c Core size: 3 Core Weight: 1 Total Weight: -497 6.98/7.00 c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s 6.98/7.03 c core #264 6.98/7.03 c Core size: 3 Core Weight: 1 Total Weight: -496 6.98/7.03 c Elapsed CPU time: 7.01093 s Remaining CPU time: 1792.99 s 6.98/7.06 c core #265 6.98/7.06 c Core size: 3 Core Weight: 1 Total Weight: -495 6.98/7.06 c Elapsed CPU time: 7.04393 s Remaining CPU time: 1792.96 s 6.98/7.10 c core #266 6.98/7.10 c Core size: 3 Core Weight: 1 Total Weight: -494 6.98/7.10 c Elapsed CPU time: 7.07692 s Remaining CPU time: 1792.92 s 7.08/7.13 c core #267 7.08/7.13 c Core size: 3 Core Weight: 1 Total Weight: -493 7.08/7.13 c Elapsed CPU time: 7.10992 s Remaining CPU time: 1792.89 s 7.08/7.16 c core #268 7.08/7.16 c Core size: 3 Core Weight: 1 Total Weight: -492 7.08/7.16 c Elapsed CPU time: 7.14291 s Remaining CPU time: 1792.86 s 7.18/7.20 c core #269 7.18/7.20 c Core size: 3 Core Weight: 1 Total Weight: -491 7.18/7.20 c Elapsed CPU time: 7.17591 s Remaining CPU time: 1792.82 s 7.18/7.23 c core #270 7.18/7.23 c Core size: 3 Core Weight: 1 Total Weight: -490 7.18/7.23 c Elapsed CPU time: 7.2099 s Remaining CPU time: 1792.79 s 7.18/7.26 c core #271 7.18/7.26 c Core size: 3 Core Weight: 1 Total Weight: -489 7.18/7.26 c Elapsed CPU time: 7.2429 s Remaining CPU time: 1792.76 s 7.28/7.30 c core #272 7.28/7.30 c Core size: 3 Core Weight: 1 Total Weight: -488 7.28/7.30 c Elapsed CPU time: 7.27589 s Remaining CPU time: 1792.72 s 7.28/7.33 c core #273 7.28/7.33 c Core size: 3 Core Weight: 1 Total Weight: -487 7.28/7.33 c Elapsed CPU time: 7.30989 s Remaining CPU time: 1792.69 s 7.28/7.37 c core #274 7.28/7.37 c Core size: 3 Core Weight: 1 Total Weight: -486 7.28/7.37 c Elapsed CPU time: 7.34288 s Remaining CPU time: 1792.66 s 7.38/7.40 c core #275 7.38/7.40 c Core size: 3 Core Weight: 1 Total Weight: -485 7.38/7.40 c Elapsed CPU time: 7.37588 s Remaining CPU time: 1792.62 s 7.38/7.43 c core #276 7.38/7.43 c Core size: 3 Core Weight: 1 Total Weight: -484 7.38/7.43 c Elapsed CPU time: 7.40887 s Remaining CPU time: 1792.59 s 7.38/7.47 c core #277 7.38/7.47 c Core size: 3 Core Weight: 1 Total Weight: -483 7.38/7.47 c Elapsed CPU time: 7.44287 s Remaining CPU time: 1792.56 s 7.48/7.50 c core #278 7.48/7.50 c Core size: 3 Core Weight: 1 Total Weight: -482 7.48/7.50 c Elapsed CPU time: 7.47686 s Remaining CPU time: 1792.52 s 7.48/7.54 c core #279 7.48/7.54 c Core size: 3 Core Weight: 1 Total Weight: -481 7.48/7.54 c Elapsed CPU time: 7.51086 s Remaining CPU time: 1792.49 s 7.48/7.57 c core #280 7.48/7.57 c Core size: 3 Core Weight: 1 Total Weight: -480 7.48/7.57 c Elapsed CPU time: 7.54385 s Remaining CPU time: 1792.46 s 7.58/7.60 c core #281 7.58/7.60 c Core size: 3 Core Weight: 1 Total Weight: -479 7.58/7.60 c Elapsed CPU time: 7.57785 s Remaining CPU time: 1792.42 s 7.58/7.64 c core #282 7.58/7.64 c Core size: 3 Core Weight: 1 Total Weight: -478 7.58/7.64 c Elapsed CPU time: 7.61184 s Remaining CPU time: 1792.39 s 7.58/7.67 c core #283 7.58/7.67 c Core size: 3 Core Weight: 1 Total Weight: -477 7.58/7.67 c Elapsed CPU time: 7.64584 s Remaining CPU time: 1792.35 s 7.68/7.71 c core #284 7.68/7.71 c Core size: 3 Core Weight: 1 Total Weight: -476 7.68/7.71 c Elapsed CPU time: 7.67983 s Remaining CPU time: 1792.32 s 7.68/7.74 c core #285 7.68/7.74 c Core size: 3 Core Weight: 1 Total Weight: -475 7.68/7.74 c Elapsed CPU time: 7.71383 s Remaining CPU time: 1792.29 s 7.68/7.78 c core #286 7.68/7.78 c Core size: 3 Core Weight: 1 Total Weight: -474 7.68/7.78 c Elapsed CPU time: 7.74882 s Remaining CPU time: 1792.25 s 7.77/7.81 c core #287 7.77/7.81 c Core size: 3 Core Weight: 1 Total Weight: -473 7.77/7.81 c Elapsed CPU time: 7.78282 s Remaining CPU time: 1792.22 s 7.77/7.85 c core #288 7.77/7.85 c Core size: 3 Core Weight: 1 Total Weight: -472 7.77/7.85 c Elapsed CPU time: 7.81681 s Remaining CPU time: 1792.18 s 7.77/7.88 c core #289 7.77/7.88 c Core size: 3 Core Weight: 1 Total Weight: -471 7.77/7.88 c Elapsed CPU time: 7.85181 s Remaining CPU time: 1792.15 s 7.87/7.91 c core #290 7.87/7.91 c Core size: 3 Core Weight: 1 Total Weight: -470 7.87/7.91 c Elapsed CPU time: 7.8868 s Remaining CPU time: 1792.11 s 7.87/7.95 c core #291 7.87/7.95 c Core size: 3 Core Weight: 1 Total Weight: -469 7.87/7.95 c Elapsed CPU time: 7.9218 s Remaining CPU time: 1792.08 s 7.87/7.99 c core #292 7.87/7.99 c Core size: 3 Core Weight: 1 Total Weight: -468 7.87/7.99 c Elapsed CPU time: 7.95579 s Remaining CPU time: 1792.04 s 7.97/8.02 c core #293 7.97/8.02 c Core size: 3 Core Weight: 1 Total Weight: -467 7.97/8.02 c Elapsed CPU time: 7.99078 s Remaining CPU time: 1792.01 s 7.97/8.06 c core #294 7.97/8.06 c Core size: 3 Core Weight: 1 Total Weight: -466 7.97/8.06 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 7.97/8.09 c core #295 7.97/8.09 c Core size: 3 Core Weight: 1 Total Weight: -465 7.97/8.09 c Elapsed CPU time: 8.06077 s Remaining CPU time: 1791.94 s 8.07/8.13 c core #296 8.07/8.13 c Core size: 3 Core Weight: 1 Total Weight: -464 8.07/8.13 c Elapsed CPU time: 8.09577 s Remaining CPU time: 1791.9 s 8.07/8.16 c core #297 8.07/8.16 c Core size: 3 Core Weight: 1 Total Weight: -463 8.07/8.16 c Elapsed CPU time: 8.13076 s Remaining CPU time: 1791.87 s 8.17/8.20 c core #298 8.17/8.20 c Core size: 3 Core Weight: 1 Total Weight: -462 8.17/8.20 c Elapsed CPU time: 8.16676 s Remaining CPU time: 1791.83 s 8.17/8.23 c core #299 8.17/8.23 c Core size: 3 Core Weight: 1 Total Weight: -461 8.17/8.23 c Elapsed CPU time: 8.20275 s Remaining CPU time: 1791.8 s 8.17/8.27 c core #300 8.17/8.27 c Core size: 3 Core Weight: 1 Total Weight: -460 8.17/8.27 c Elapsed CPU time: 8.23875 s Remaining CPU time: 1791.76 s 8.27/8.31 c core #301 8.27/8.31 c Core size: 3 Core Weight: 1 Total Weight: -459 8.27/8.31 c Elapsed CPU time: 8.27574 s Remaining CPU time: 1791.72 s 8.27/8.34 c core #302 8.27/8.34 c Core size: 3 Core Weight: 1 Total Weight: -458 8.27/8.34 c Elapsed CPU time: 8.31074 s Remaining CPU time: 1791.69 s 8.27/8.38 c core #303 8.27/8.38 c Core size: 3 Core Weight: 1 Total Weight: -457 8.27/8.38 c Elapsed CPU time: 8.34473 s Remaining CPU time: 1791.66 s 8.37/8.41 c core #304 8.37/8.41 c Core size: 3 Core Weight: 1 Total Weight: -456 8.37/8.41 c Elapsed CPU time: 8.38072 s Remaining CPU time: 1791.62 s 8.37/8.45 c core #305 8.37/8.45 c Core size: 3 Core Weight: 1 Total Weight: -455 8.37/8.45 c Elapsed CPU time: 8.41672 s Remaining CPU time: 1791.58 s 8.37/8.49 c core #306 8.37/8.49 c Core size: 3 Core Weight: 1 Total Weight: -454 8.37/8.49 c Elapsed CPU time: 8.45271 s Remaining CPU time: 1791.55 s 8.47/8.52 c core #307 8.47/8.52 c Core size: 3 Core Weight: 1 Total Weight: -453 8.47/8.52 c Elapsed CPU time: 8.48871 s Remaining CPU time: 1791.51 s 8.47/8.56 c core #308 8.47/8.56 c Core size: 3 Core Weight: 1 Total Weight: -452 8.47/8.56 c Elapsed CPU time: 8.5247 s Remaining CPU time: 1791.48 s 8.47/8.59 c core #309 8.47/8.59 c Core size: 3 Core Weight: 1 Total Weight: -451 8.47/8.59 c Elapsed CPU time: 8.5607 s Remaining CPU time: 1791.44 s 8.57/8.63 c core #310 8.57/8.63 c Core size: 3 Core Weight: 1 Total Weight: -450 8.57/8.63 c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s 8.57/8.67 c core #311 8.57/8.67 c Core size: 3 Core Weight: 1 Total Weight: -449 8.57/8.67 c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s 8.67/8.70 c core #312 8.67/8.70 c Core size: 3 Core Weight: 1 Total Weight: -448 8.67/8.70 c Elapsed CPU time: 8.66868 s Remaining CPU time: 1791.33 s 8.67/8.74 c core #313 8.67/8.74 c Core size: 3 Core Weight: 1 Total Weight: -447 8.67/8.74 c Elapsed CPU time: 8.70468 s Remaining CPU time: 1791.3 s 8.67/8.78 c core #314 8.67/8.78 c Core size: 3 Core Weight: 1 Total Weight: -446 8.67/8.78 c Elapsed CPU time: 8.74067 s Remaining CPU time: 1791.26 s 8.77/8.81 c core #315 8.77/8.81 c Core size: 3 Core Weight: 1 Total Weight: -445 8.77/8.81 c Elapsed CPU time: 8.77666 s Remaining CPU time: 1791.22 s 8.77/8.85 c core #316 8.77/8.85 c Core size: 3 Core Weight: 1 Total Weight: -444 8.77/8.85 c Elapsed CPU time: 8.81366 s Remaining CPU time: 1791.19 s 8.77/8.89 c core #317 8.77/8.89 c Core size: 3 Core Weight: 1 Total Weight: -443 8.77/8.89 c Elapsed CPU time: 8.85065 s Remaining CPU time: 1791.15 s 8.86/8.92 c core #318 8.86/8.92 c Core size: 3 Core Weight: 1 Total Weight: -442 8.86/8.92 c Elapsed CPU time: 8.88765 s Remaining CPU time: 1791.11 s 8.86/8.96 c core #319 8.86/8.96 c Core size: 3 Core Weight: 1 Total Weight: -441 8.86/8.96 c Elapsed CPU time: 8.92364 s Remaining CPU time: 1791.08 s 8.96/9.00 c core #320 8.96/9.00 c Core size: 3 Core Weight: 1 Total Weight: -440 8.96/9.00 c Elapsed CPU time: 8.96064 s Remaining CPU time: 1791.04 s 8.96/9.03 c core #321 8.96/9.03 c Core size: 3 Core Weight: 1 Total Weight: -439 8.96/9.03 c Elapsed CPU time: 8.99763 s Remaining CPU time: 1791 s 8.96/9.07 c core #322 8.96/9.07 c Core size: 3 Core Weight: 1 Total Weight: -438 8.96/9.07 c Elapsed CPU time: 9.03463 s Remaining CPU time: 1790.97 s 9.06/9.11 c core #323 9.06/9.11 c Core size: 3 Core Weight: 1 Total Weight: -437 9.06/9.11 c Elapsed CPU time: 9.07162 s Remaining CPU time: 1790.93 s 9.06/9.15 c core #324 9.06/9.15 c Core size: 3 Core Weight: 1 Total Weight: -436 9.06/9.15 c Elapsed CPU time: 9.10862 s Remaining CPU time: 1790.89 s 9.06/9.18 c core #325 9.06/9.18 c Core size: 3 Core Weight: 1 Total Weight: -435 9.06/9.18 c Elapsed CPU time: 9.14661 s Remaining CPU time: 1790.85 s 9.16/9.22 c core #326 9.16/9.22 c Core size: 3 Core Weight: 1 Total Weight: -434 9.16/9.22 c Elapsed CPU time: 9.1836 s Remaining CPU time: 1790.82 s 9.16/9.26 c core #327 9.16/9.26 c Core size: 3 Core Weight: 1 Total Weight: -433 9.16/9.26 c Elapsed CPU time: 9.2206 s Remaining CPU time: 1790.78 s 9.16/9.30 c core #328 9.16/9.30 c Core size: 3 Core Weight: 1 Total Weight: -432 9.16/9.30 c Elapsed CPU time: 9.25759 s Remaining CPU time: 1790.74 s 9.26/9.33 c core #329 9.26/9.33 c Core size: 3 Core Weight: 1 Total Weight: -431 9.26/9.33 c Elapsed CPU time: 9.29459 s Remaining CPU time: 1790.71 s 9.26/9.37 c core #330 9.26/9.37 c Core size: 3 Core Weight: 1 Total Weight: -430 9.26/9.37 c Elapsed CPU time: 9.33158 s Remaining CPU time: 1790.67 s 9.36/9.41 c core #331 9.36/9.41 c Core size: 3 Core Weight: 1 Total Weight: -429 9.36/9.41 c Elapsed CPU time: 9.36857 s Remaining CPU time: 1790.63 s 9.36/9.45 c core #332 9.36/9.45 c Core size: 3 Core Weight: 1 Total Weight: -428 9.36/9.45 c Elapsed CPU time: 9.40557 s Remaining CPU time: 1790.59 s 9.36/9.48 c core #333 9.36/9.48 c Core size: 3 Core Weight: 1 Total Weight: -427 9.36/9.48 c Elapsed CPU time: 9.44256 s Remaining CPU time: 1790.56 s 9.46/9.52 c core #334 9.46/9.52 c Core size: 3 Core Weight: 1 Total Weight: -426 9.46/9.52 c Elapsed CPU time: 9.47956 s Remaining CPU time: 1790.52 s 9.46/9.56 c core #335 9.46/9.56 c Core size: 3 Core Weight: 1 Total Weight: -425 9.46/9.56 c Elapsed CPU time: 9.51755 s Remaining CPU time: 1790.48 s 9.46/9.60 c core #336 9.46/9.60 c Core size: 3 Core Weight: 1 Total Weight: -424 9.46/9.60 c Elapsed CPU time: 9.55555 s Remaining CPU time: 1790.44 s 9.56/9.63 c core #337 9.56/9.63 c Core size: 3 Core Weight: 1 Total Weight: -423 9.56/9.63 c Elapsed CPU time: 9.59254 s Remaining CPU time: 1790.41 s 9.56/9.67 c core #338 9.56/9.67 c Core size: 3 Core Weight: 1 Total Weight: -422 9.56/9.67 c Elapsed CPU time: 9.63054 s Remaining CPU time: 1790.37 s 9.66/9.71 c core #339 9.66/9.71 c Core size: 3 Core Weight: 1 Total Weight: -421 9.66/9.71 c Elapsed CPU time: 9.66853 s Remaining CPU time: 1790.33 s 9.66/9.75 c core #340 9.66/9.75 c Core size: 3 Core Weight: 1 Total Weight: -420 9.66/9.75 c Elapsed CPU time: 9.70552 s Remaining CPU time: 1790.29 s 9.66/9.78 c core #341 9.66/9.78 c Core size: 3 Core Weight: 1 Total Weight: -419 9.66/9.78 c Elapsed CPU time: 9.74252 s Remaining CPU time: 1790.26 s 9.76/9.82 c core #342 9.76/9.82 c Core size: 3 Core Weight: 1 Total Weight: -418 9.76/9.82 c Elapsed CPU time: 9.77951 s Remaining CPU time: 1790.22 s 9.76/9.86 c core #343 9.76/9.86 c Core size: 3 Core Weight: 1 Total Weight: -417 9.76/9.86 c Elapsed CPU time: 9.81751 s Remaining CPU time: 1790.18 s 9.76/9.90 c core #344 9.76/9.90 c Core size: 3 Core Weight: 1 Total Weight: -416 9.76/9.90 c Elapsed CPU time: 9.8555 s Remaining CPU time: 1790.14 s 9.86/9.94 c core #345 9.86/9.94 c Core size: 3 Core Weight: 1 Total Weight: -415 9.86/9.94 c Elapsed CPU time: 9.8925 s Remaining CPU time: 1790.11 s 9.86/9.98 c core #346 9.86/9.98 c Core size: 3 Core Weight: 1 Total Weight: -414 9.86/9.98 c Elapsed CPU time: 9.92949 s Remaining CPU time: 1790.07 s 9.96/10.01 c core #347 9.96/10.01 c Core size: 3 Core Weight: 1 Total Weight: -413 9.96/10.01 c Elapsed CPU time: 9.96748 s Remaining CPU time: 1790.03 s 9.96/10.05 c core #348 9.96/10.05 c Core size: 3 Core Weight: 1 Total Weight: -412 9.96/10.05 c Elapsed CPU time: 10.0055 s Remaining CPU time: 1789.99 s 9.96/10.09 c core #349 9.96/10.09 c Core size: 3 Core Weight: 1 Total Weight: -411 9.96/10.09 c Elapsed CPU time: 10.0435 s Remaining CPU time: 1789.96 s 10.05/10.13 c core #350 10.05/10.13 c Core size: 3 Core Weight: 1 Total Weight: -410 10.05/10.13 c Elapsed CPU time: 10.0815 s Remaining CPU time: 1789.92 s 10.05/10.17 c core #351 10.05/10.17 c Core size: 3 Core Weight: 1 Total Weight: -409 10.05/10.17 c Elapsed CPU time: 10.1205 s Remaining CPU time: 1789.88 s 10.16/10.21 c core #352 10.16/10.21 c Core size: 3 Core Weight: 1 Total Weight: -408 10.16/10.21 c Elapsed CPU time: 10.1595 s Remaining CPU time: 1789.84 s 10.16/10.24 c core #353 10.16/10.24 c Core size: 3 Core Weight: 1 Total Weight: -407 10.16/10.24 c Elapsed CPU time: 10.1974 s Remaining CPU time: 1789.8 s 10.16/10.28 c core #354 10.16/10.28 c Core size: 3 Core Weight: 1 Total Weight: -406 10.16/10.28 c Elapsed CPU time: 10.2364 s Remaining CPU time: 1789.76 s 10.26/10.32 c core #355 10.26/10.32 c Core size: 3 Core Weight: 1 Total Weight: -405 10.26/10.32 c Elapsed CPU time: 10.2754 s Remaining CPU time: 1789.72 s 10.26/10.36 c core #356 10.26/10.36 c Core size: 3 Core Weight: 1 Total Weight: -404 10.26/10.36 c Elapsed CPU time: 10.3144 s Remaining CPU time: 1789.69 s 10.36/10.40 c core #357 10.36/10.40 c Core size: 3 Core Weight: 1 Total Weight: -403 10.36/10.40 c Elapsed CPU time: 10.3534 s Remaining CPU time: 1789.65 s 10.36/10.44 c core #358 10.36/10.44 c Core size: 3 Core Weight: 1 Total Weight: -402 10.36/10.44 c Elapsed CPU time: 10.3924 s Remaining CPU time: 1789.61 s 10.36/10.48 c core #359 10.36/10.48 c Core size: 3 Core Weight: 1 Total Weight: -401 10.36/10.48 c Elapsed CPU time: 10.4314 s Remaining CPU time: 1789.57 s 10.45/10.52 c core #360 10.45/10.52 c Core size: 3 Core Weight: 1 Total Weight: -400 10.45/10.52 c Elapsed CPU time: 10.4704 s Remaining CPU time: 1789.53 s 10.45/10.56 c core #361 10.45/10.56 c Core size: 3 Core Weight: 1 Total Weight: -399 10.45/10.56 c Elapsed CPU time: 10.5094 s Remaining CPU time: 1789.49 s 10.45/10.60 c core #362 10.45/10.60 c Core size: 3 Core Weight: 1 Total Weight: -398 10.45/10.60 c Elapsed CPU time: 10.5484 s Remaining CPU time: 1789.45 s 10.55/10.64 c core #363 10.55/10.64 c Core size: 3 Core Weight: 1 Total Weight: -397 10.55/10.64 c Elapsed CPU time: 10.5874 s Remaining CPU time: 1789.41 s 10.55/10.68 c core #364 10.55/10.68 c Core size: 3 Core Weight: 1 Total Weight: -396 10.55/10.68 c Elapsed CPU time: 10.6264 s Remaining CPU time: 1789.37 s 10.65/10.72 c core #365 10.65/10.72 c Core size: 3 Core Weight: 1 Total Weight: -395 10.65/10.72 c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s 10.65/10.75 c core #366 10.65/10.75 c Core size: 3 Core Weight: 1 Total Weight: -394 10.65/10.75 c Elapsed CPU time: 10.7054 s Remaining CPU time: 1789.29 s 10.65/10.79 c core #367 10.65/10.79 c Core size: 3 Core Weight: 1 Total Weight: -393 10.65/10.79 c Elapsed CPU time: 10.7444 s Remaining CPU time: 1789.26 s 10.75/10.83 c core #368 10.75/10.83 c Core size: 3 Core Weight: 1 Total Weight: -392 10.75/10.83 c Elapsed CPU time: 10.7844 s Remaining CPU time: 1789.22 s 10.75/10.87 c core #369 10.75/10.87 c Core size: 3 Core Weight: 1 Total Weight: -391 10.75/10.87 c Elapsed CPU time: 10.8244 s Remaining CPU time: 1789.18 s 10.86/10.91 c core #370 10.86/10.91 c Core size: 3 Core Weight: 1 Total Weight: -390 10.86/10.91 c Elapsed CPU time: 10.8643 s Remaining CPU time: 1789.14 s 10.86/10.95 c core #371 10.86/10.95 c Core size: 3 Core Weight: 1 Total Weight: -389 10.86/10.95 c Elapsed CPU time: 10.9043 s Remaining CPU time: 1789.1 s 10.86/10.99 c core #372 10.86/10.99 c Core size: 3 Core Weight: 1 Total Weight: -388 10.86/10.99 c Elapsed CPU time: 10.9443 s Remaining CPU time: 1789.06 s 10.96/11.03 c core #373 10.96/11.03 c Core size: 3 Core Weight: 1 Total Weight: -387 10.96/11.03 c Elapsed CPU time: 10.9843 s Remaining CPU time: 1789.02 s 10.96/11.07 c core #374 10.96/11.07 c Core size: 3 Core Weight: 1 Total Weight: -386 10.96/11.07 c Elapsed CPU time: 11.0243 s Remaining CPU time: 1788.98 s 11.05/11.12 c core #375 11.05/11.12 c Core size: 3 Core Weight: 1 Total Weight: -385 11.05/11.12 c Elapsed CPU time: 11.0653 s Remaining CPU time: 1788.93 s 11.05/11.16 c core #376 11.05/11.16 c Core size: 3 Core Weight: 1 Total Weight: -384 11.05/11.16 c Elapsed CPU time: 11.1053 s Remaining CPU time: 1788.89 s 11.05/11.20 c core #377 11.05/11.20 c Core size: 3 Core Weight: 1 Total Weight: -383 11.05/11.20 c Elapsed CPU time: 11.1463 s Remaining CPU time: 1788.85 s 11.15/11.24 c core #378 11.15/11.24 c Core size: 3 Core Weight: 1 Total Weight: -382 11.15/11.24 c Elapsed CPU time: 11.1863 s Remaining CPU time: 1788.81 s 11.15/11.28 c core #379 11.15/11.28 c Core size: 3 Core Weight: 1 Total Weight: -381 11.15/11.28 c Elapsed CPU time: 11.2273 s Remaining CPU time: 1788.77 s 11.25/11.32 c core #380 11.25/11.32 c Core size: 10 Core Weight: 1 Total Weight: -380 11.25/11.32 c Elapsed CPU time: 11.2673 s Remaining CPU time: 1788.73 s 11.25/11.36 c core #381 11.25/11.36 c Core size: 6 Core Weight: 1 Total Weight: -379 11.25/11.36 c Elapsed CPU time: 11.3073 s Remaining CPU time: 1788.69 s 11.35/11.40 c ============================[ Search Statistics ]============================== 11.35/11.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.35/11.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.35/11.40 c =============================================================================== 11.35/11.40 c | 0 | 1526 42404 84818 | 14134 0 nan | 0.000 % | 11.35/11.40 c =============================================================================== 11.35/11.40 c core #382 11.35/11.40 c Core size: 10 Core Weight: 1 Total Weight: -378 11.35/11.40 c Elapsed CPU time: 11.3513 s Remaining CPU time: 1788.65 s 11.35/11.44 c ============================[ Search Statistics ]============================== 11.35/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.35/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.35/11.44 c =============================================================================== 11.35/11.44 c | 0 | 1530 42405 84826 | 14135 0 nan | 0.000 % | 11.35/11.45 c =============================================================================== 11.35/11.45 c core #383 11.35/11.45 c Core size: 10 Core Weight: 1 Total Weight: -377 11.35/11.45 c Elapsed CPU time: 11.3953 s Remaining CPU time: 1788.6 s 11.35/11.49 c ============================[ Search Statistics ]============================== 11.35/11.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.35/11.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.35/11.49 c =============================================================================== 11.35/11.49 c | 0 | 1534 42406 84834 | 14135 0 nan | 0.000 % | 11.35/11.49 c =============================================================================== 11.35/11.49 c core #384 11.35/11.49 c Core size: 10 Core Weight: 1 Total Weight: -376 11.35/11.49 c Elapsed CPU time: 11.4373 s Remaining CPU time: 1788.56 s 11.45/11.53 c ============================[ Search Statistics ]============================== 11.45/11.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.45/11.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.45/11.53 c =============================================================================== 11.45/11.53 c | 0 | 1538 42407 84842 | 14135 0 nan | 0.000 % | 11.45/11.53 c =============================================================================== 11.45/11.53 c core #385 11.45/11.53 c Core size: 10 Core Weight: 1 Total Weight: -375 11.45/11.53 c Elapsed CPU time: 11.4783 s Remaining CPU time: 1788.52 s 11.45/11.57 c ============================[ Search Statistics ]============================== 11.45/11.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.45/11.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.45/11.57 c =============================================================================== 11.45/11.57 c | 0 | 1542 42408 84850 | 14136 0 nan | 0.000 % | 11.45/11.57 c =============================================================================== 11.45/11.57 c core #386 11.45/11.57 c Core size: 13 Core Weight: 1 Total Weight: -374 11.45/11.57 c Elapsed CPU time: 11.5182 s Remaining CPU time: 1788.48 s 11.55/11.61 c ============================[ Search Statistics ]============================== 11.55/11.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.55/11.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.55/11.61 c =============================================================================== 11.55/11.61 c | 0 | 1548 42409 84862 | 14136 0 nan | 0.000 % | 11.55/11.61 c =============================================================================== 11.55/11.61 c core #387 11.55/11.61 c Core size: 13 Core Weight: 1 Total Weight: -373 11.55/11.61 c Elapsed CPU time: 11.5582 s Remaining CPU time: 1788.44 s 11.55/11.65 c ============================[ Search Statistics ]============================== 11.55/11.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.55/11.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.55/11.65 c =============================================================================== 11.55/11.65 c | 0 | 1554 42410 84874 | 14136 0 nan | 0.000 % | 11.55/11.65 c =============================================================================== 11.55/11.65 c core #388 11.55/11.65 c Core size: 10 Core Weight: 1 Total Weight: -372 11.55/11.65 c Elapsed CPU time: 11.5982 s Remaining CPU time: 1788.4 s 11.55/11.69 c ============================[ Search Statistics ]============================== 11.55/11.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.55/11.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.55/11.69 c =============================================================================== 11.55/11.69 c | 0 | 1558 42411 84882 | 14137 0 nan | 0.000 % | 11.55/11.70 c =============================================================================== 11.55/11.70 c core #389 11.55/11.70 c Core size: 13 Core Weight: 1 Total Weight: -371 11.55/11.70 c Elapsed CPU time: 11.6402 s Remaining CPU time: 1788.36 s 11.66/11.74 c ============================[ Search Statistics ]============================== 11.66/11.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.66/11.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.66/11.74 c =============================================================================== 11.66/11.74 c | 0 | 1564 42412 84894 | 14137 0 nan | 0.000 % | 11.66/11.74 c =============================================================================== 11.66/11.74 c core #390 11.66/11.74 c Core size: 13 Core Weight: 1 Total Weight: -370 11.66/11.74 c Elapsed CPU time: 11.6842 s Remaining CPU time: 1788.32 s 11.66/11.78 c ============================[ Search Statistics ]============================== 11.66/11.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.66/11.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.66/11.78 c =============================================================================== 11.66/11.78 c | 0 | 1570 42413 84906 | 14137 0 nan | 0.000 % | 11.66/11.78 c =============================================================================== 11.66/11.78 c core #391 11.66/11.78 c Core size: 13 Core Weight: 1 Total Weight: -369 11.66/11.78 c Elapsed CPU time: 11.7272 s Remaining CPU time: 1788.27 s 11.75/11.82 c ============================[ Search Statistics ]============================== 11.75/11.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.75/11.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.75/11.82 c =============================================================================== 11.75/11.82 c | 0 | 1576 42414 84918 | 14138 0 nan | 0.000 % | 11.75/11.83 c =============================================================================== 11.75/11.83 c core #392 11.75/11.83 c Core size: 13 Core Weight: 1 Total Weight: -368 11.75/11.83 c Elapsed CPU time: 11.7682 s Remaining CPU time: 1788.23 s 11.75/11.87 c ============================[ Search Statistics ]============================== 11.75/11.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.75/11.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.75/11.87 c =============================================================================== 11.75/11.87 c | 0 | 1582 42415 84930 | 14138 0 nan | 0.000 % | 11.75/11.87 c =============================================================================== 11.75/11.87 c core #393 11.75/11.87 c Core size: 13 Core Weight: 1 Total Weight: -367 11.75/11.87 c Elapsed CPU time: 11.8132 s Remaining CPU time: 1788.19 s 11.85/11.91 c ============================[ Search Statistics ]============================== 11.85/11.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.85/11.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.85/11.91 c =============================================================================== 11.85/11.91 c | 0 | 1588 42416 84942 | 14138 0 nan | 0.000 % | 11.85/11.91 c =============================================================================== 11.85/11.91 c core #394 11.85/11.91 c Core size: 13 Core Weight: 1 Total Weight: -366 11.85/11.91 c Elapsed CPU time: 11.8532 s Remaining CPU time: 1788.15 s 11.85/11.95 c ============================[ Search Statistics ]============================== 11.85/11.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.85/11.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.85/11.95 c =============================================================================== 11.85/11.95 c | 0 | 1594 42417 84954 | 14139 0 nan | 0.000 % | 11.85/11.96 c =============================================================================== 11.85/11.96 c core #395 11.85/11.96 c Core size: 13 Core Weight: 1 Total Weight: -365 11.85/11.96 c Elapsed CPU time: 11.8972 s Remaining CPU time: 1788.1 s 11.85/11.99 c ============================[ Search Statistics ]============================== 11.85/11.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.85/11.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.85/11.99 c =============================================================================== 11.85/11.99 c | 0 | 1600 42418 84966 | 14139 0 nan | 0.000 % | 11.85/12.00 c =============================================================================== 11.85/12.00 c core #396 11.85/12.00 c Core size: 13 Core Weight: 1 Total Weight: -364 11.85/12.00 c Elapsed CPU time: 11.9392 s Remaining CPU time: 1788.06 s 11.96/12.04 c ============================[ Search Statistics ]============================== 11.96/12.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.96/12.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.96/12.04 c =============================================================================== 11.96/12.04 c | 0 | 1606 42419 84978 | 14139 0 nan | 0.000 % | 11.96/12.04 c =============================================================================== 11.96/12.04 c core #397 11.96/12.04 c Core size: 13 Core Weight: 1 Total Weight: -363 11.96/12.04 c Elapsed CPU time: 11.9792 s Remaining CPU time: 1788.02 s 11.96/12.08 c ============================[ Search Statistics ]============================== 11.96/12.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.96/12.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.96/12.08 c =============================================================================== 11.96/12.08 c | 0 | 1612 42420 84990 | 14140 0 nan | 0.000 % | 11.96/12.08 c =============================================================================== 11.96/12.08 c core #398 11.96/12.08 c Core size: 13 Core Weight: 1 Total Weight: -362 11.96/12.08 c Elapsed CPU time: 12.0192 s Remaining CPU time: 1787.98 s 12.05/12.12 c ============================[ Search Statistics ]============================== 12.05/12.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.05/12.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.05/12.12 c =============================================================================== 12.05/12.12 c | 0 | 1618 42421 85002 | 14140 0 nan | 0.000 % | 12.05/12.12 c =============================================================================== 12.05/12.12 c core #399 12.05/12.12 c Core size: 13 Core Weight: 1 Total Weight: -361 12.05/12.12 c Elapsed CPU time: 12.0602 s Remaining CPU time: 1787.94 s 12.05/12.16 c ============================[ Search Statistics ]============================== 12.05/12.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.05/12.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.05/12.16 c =============================================================================== 12.05/12.16 c | 0 | 1624 42422 85014 | 14140 0 nan | 0.000 % | 12.05/12.16 c =============================================================================== 12.05/12.16 c core #400 12.05/12.16 c Core size: 13 Core Weight: 1 Total Weight: -360 12.05/12.16 c Elapsed CPU time: 12.1022 s Remaining CPU time: 1787.9 s 12.15/12.20 c ============================[ Search Statistics ]============================== 12.15/12.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.15/12.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.15/12.20 c =============================================================================== 12.15/12.20 c | 0 | 1630 42423 85026 | 14141 0 nan | 0.000 % | 12.15/12.20 c =============================================================================== 12.15/12.21 c core #401 12.15/12.21 c Core size: 10 Core Weight: 1 Total Weight: -359 12.15/12.21 c Elapsed CPU time: 12.1432 s Remaining CPU time: 1787.86 s 12.15/12.24 c ============================[ Search Statistics ]============================== 12.15/12.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.15/12.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.15/12.24 c =============================================================================== 12.15/12.24 c | 0 | 1634 42424 85034 | 14141 0 nan | 0.000 % | 12.15/12.25 c =============================================================================== 12.15/12.25 c core #402 12.15/12.25 c Core size: 21 Core Weight: 1 Total Weight: -358 12.15/12.25 c Elapsed CPU time: 12.1831 s Remaining CPU time: 1787.82 s 12.15/12.28 c ============================[ Search Statistics ]============================== 12.15/12.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.15/12.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.15/12.28 c =============================================================================== 12.15/12.28 c | 0 | 1642 42425 85050 | 14141 0 nan | 0.000 % | 12.15/12.29 c =============================================================================== 12.15/12.29 c core #403 12.15/12.29 c Core size: 10 Core Weight: 1 Total Weight: -357 12.15/12.29 c Elapsed CPU time: 12.2251 s Remaining CPU time: 1787.77 s 12.25/12.33 c ============================[ Search Statistics ]============================== 12.25/12.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.25/12.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.25/12.33 c =============================================================================== 12.25/12.33 c | 0 | 1646 42426 85058 | 14142 0 nan | 0.000 % | 12.25/12.33 c =============================================================================== 12.25/12.33 c core #404 12.25/12.33 c Core size: 10 Core Weight: 1 Total Weight: -356 12.25/12.33 c Elapsed CPU time: 12.2681 s Remaining CPU time: 1787.73 s 12.25/12.37 c ============================[ Search Statistics ]============================== 12.25/12.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.25/12.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.25/12.37 c =============================================================================== 12.25/12.37 c | 0 | 1650 42427 85066 | 14142 0 nan | 0.000 % | 12.25/12.37 c =============================================================================== 12.25/12.37 c core #405 12.25/12.37 c Core size: 13 Core Weight: 1 Total Weight: -355 12.25/12.37 c Elapsed CPU time: 12.3081 s Remaining CPU time: 1787.69 s 12.35/12.41 c ============================[ Search Statistics ]============================== 12.35/12.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.35/12.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.35/12.41 c =============================================================================== 12.35/12.41 c | 0 | 1656 42428 85078 | 14142 0 nan | 0.000 % | 12.35/12.41 c =============================================================================== 12.35/12.41 c core #406 12.35/12.41 c Core size: 36 Core Weight: 1 Total Weight: -354 12.35/12.41 c Elapsed CPU time: 12.3501 s Remaining CPU time: 1787.65 s 12.35/12.45 c ============================[ Search Statistics ]============================== 12.35/12.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.35/12.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.35/12.45 c =============================================================================== 12.35/12.45 c | 0 | 1668 42429 85102 | 14143 0 nan | 0.000 % | 12.35/12.45 c =============================================================================== 12.35/12.45 c core #407 12.35/12.45 c Core size: 10 Core Weight: 1 Total Weight: -353 12.35/12.45 c Elapsed CPU time: 12.3921 s Remaining CPU time: 1787.61 s 12.35/12.49 c ============================[ Search Statistics ]============================== 12.35/12.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.35/12.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.35/12.49 c =============================================================================== 12.35/12.49 c | 0 | 1672 42430 85110 | 14143 0 nan | 0.000 % | 12.35/12.50 c =============================================================================== 12.35/12.50 c core #408 12.35/12.50 c Core size: 10 Core Weight: 1 Total Weight: -352 12.35/12.50 c Elapsed CPU time: 12.4331 s Remaining CPU time: 1787.57 s 12.45/12.53 c ============================[ Search Statistics ]============================== 12.45/12.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.45/12.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.45/12.53 c =============================================================================== 12.45/12.53 c | 0 | 1676 42431 85118 | 14143 0 nan | 0.000 % | 12.45/12.54 c =============================================================================== 12.45/12.54 c core #409 12.45/12.54 c Core size: 10 Core Weight: 1 Total Weight: -351 12.45/12.54 c Elapsed CPU time: 12.4741 s Remaining CPU time: 1787.53 s 12.45/12.58 c ============================[ Search Statistics ]============================== 12.45/12.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.45/12.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.45/12.58 c =============================================================================== 12.45/12.58 c | 0 | 1680 42432 85126 | 14144 0 nan | 0.000 % | 12.45/12.58 c =============================================================================== 12.45/12.58 c core #410 12.45/12.58 c Core size: 10 Core Weight: 1 Total Weight: -350 12.45/12.58 c Elapsed CPU time: 12.5191 s Remaining CPU time: 1787.48 s 12.55/12.62 c ============================[ Search Statistics ]============================== 12.55/12.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.55/12.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.55/12.62 c =============================================================================== 12.55/12.62 c | 0 | 1684 42433 85134 | 14144 0 nan | 0.000 % | 12.55/12.62 c =============================================================================== 12.55/12.62 c core #411 12.55/12.62 c Core size: 41 Core Weight: 1 Total Weight: -349 12.55/12.62 c Elapsed CPU time: 12.5611 s Remaining CPU time: 1787.44 s 12.55/12.67 c ============================[ Search Statistics ]============================== 12.55/12.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.55/12.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.55/12.67 c =============================================================================== 12.55/12.67 c | 0 | 1696 42434 85158 | 14144 0 nan | 0.000 % | 12.55/12.67 c =============================================================================== 12.55/12.67 c core #412 12.55/12.67 c Core size: 13 Core Weight: 1 Total Weight: -348 12.55/12.67 c Elapsed CPU time: 12.6061 s Remaining CPU time: 1787.39 s 12.65/12.71 c ============================[ Search Statistics ]============================== 12.65/12.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.65/12.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.65/12.71 c =============================================================================== 12.65/12.71 c | 0 | 1702 42435 85170 | 14145 0 nan | 0.000 % | 12.65/12.71 c =============================================================================== 12.65/12.71 c core #413 12.65/12.71 c Core size: 13 Core Weight: 1 Total Weight: -347 12.65/12.71 c Elapsed CPU time: 12.6461 s Remaining CPU time: 1787.35 s 12.65/12.75 c ============================[ Search Statistics ]============================== 12.65/12.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.65/12.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.65/12.75 c =============================================================================== 12.65/12.75 c | 0 | 1708 42436 85182 | 14145 0 nan | 0.000 % | 12.65/12.76 c =============================================================================== 12.65/12.76 c core #414 12.65/12.76 c Core size: 10 Core Weight: 1 Total Weight: -346 12.65/12.76 c Elapsed CPU time: 12.6911 s Remaining CPU time: 1787.31 s 12.65/12.80 c ============================[ Search Statistics ]============================== 12.65/12.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.65/12.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.65/12.80 c =============================================================================== 12.65/12.80 c | 0 | 1712 42437 85190 | 14145 0 nan | 0.000 % | 12.75/12.80 c =============================================================================== 12.75/12.80 c core #415 12.75/12.80 c Core size: 18 Core Weight: 1 Total Weight: -345 12.75/12.80 c Elapsed CPU time: 12.7351 s Remaining CPU time: 1787.26 s 12.75/12.84 c ============================[ Search Statistics ]============================== 12.75/12.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.75/12.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.75/12.84 c =============================================================================== 12.75/12.84 c | 0 | 1718 42438 85202 | 14146 0 nan | 0.000 % | 12.75/12.84 c =============================================================================== 12.75/12.84 c core #416 12.75/12.84 c Core size: 13 Core Weight: 1 Total Weight: -344 12.75/12.84 c Elapsed CPU time: 12.7771 s Remaining CPU time: 1787.22 s 12.75/12.88 c ============================[ Search Statistics ]============================== 12.75/12.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.75/12.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.75/12.88 c =============================================================================== 12.75/12.88 c | 0 | 1724 42439 85214 | 14146 0 nan | 0.000 % | 12.75/12.89 c =============================================================================== 12.75/12.89 c core #417 12.75/12.89 c Core size: 26 Core Weight: 1 Total Weight: -343 12.75/12.89 c Elapsed CPU time: 12.8201 s Remaining CPU time: 1787.18 s 12.85/12.93 c ============================[ Search Statistics ]============================== 12.85/12.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.85/12.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.85/12.93 c =============================================================================== 12.85/12.93 c | 0 | 1732 42440 85230 | 14146 0 nan | 0.000 % | 12.85/12.93 c =============================================================================== 12.85/12.93 c core #418 12.85/12.93 c Core size: 10 Core Weight: 1 Total Weight: -342 12.85/12.93 c Elapsed CPU time: 12.864 s Remaining CPU time: 1787.14 s 12.85/12.97 c ============================[ Search Statistics ]============================== 12.85/12.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.85/12.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.85/12.97 c =============================================================================== 12.85/12.97 c | 0 | 1736 42441 85238 | 14147 0 nan | 0.000 % | 12.85/12.97 c =============================================================================== 12.85/12.97 c core #419 12.85/12.97 c Core size: 13 Core Weight: 1 Total Weight: -341 12.85/12.97 c Elapsed CPU time: 12.908 s Remaining CPU time: 1787.09 s 12.95/13.01 c ============================[ Search Statistics ]============================== 12.95/13.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.95/13.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.95/13.01 c =============================================================================== 12.95/13.01 c | 0 | 1742 42442 85250 | 14147 0 nan | 0.000 % | 12.95/13.02 c =============================================================================== 12.95/13.02 c core #420 12.95/13.02 c Core size: 13 Core Weight: 1 Total Weight: -340 12.95/13.02 c Elapsed CPU time: 12.95 s Remaining CPU time: 1787.05 s 12.95/13.06 c ============================[ Search Statistics ]============================== 12.95/13.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.95/13.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.95/13.06 c =============================================================================== 12.95/13.06 c | 0 | 1748 42443 85262 | 14147 0 nan | 0.000 % | 12.95/13.06 c =============================================================================== 12.95/13.06 c core #421 12.95/13.06 c Core size: 10 Core Weight: 1 Total Weight: -339 12.95/13.06 c Elapsed CPU time: 12.995 s Remaining CPU time: 1787 s 13.05/13.11 c ============================[ Search Statistics ]============================== 13.05/13.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.05/13.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.05/13.11 c =============================================================================== 13.05/13.11 c | 0 | 1752 42444 85270 | 14148 0 nan | 0.000 % | 13.05/13.11 c =============================================================================== 13.05/13.11 c core #422 13.05/13.11 c Core size: 13 Core Weight: 1 Total Weight: -338 13.05/13.11 c Elapsed CPU time: 13.042 s Remaining CPU time: 1786.96 s 13.05/13.15 c ============================[ Search Statistics ]============================== 13.05/13.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.05/13.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.05/13.15 c =============================================================================== 13.05/13.15 c | 0 | 1758 42445 85282 | 14148 0 nan | 0.000 % | 13.05/13.16 c =============================================================================== 13.05/13.16 c core #423 13.05/13.16 c Core size: 10 Core Weight: 1 Total Weight: -337 13.05/13.16 c Elapsed CPU time: 13.088 s Remaining CPU time: 1786.91 s 13.05/13.20 c ============================[ Search Statistics ]============================== 13.15/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.15/13.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.15/13.20 c =============================================================================== 13.15/13.20 c | 0 | 1762 42446 85290 | 14148 0 nan | 0.000 % | 13.15/13.20 c =============================================================================== 13.15/13.20 c core #424 13.15/13.20 c Core size: 10 Core Weight: 1 Total Weight: -336 13.15/13.20 c Elapsed CPU time: 13.134 s Remaining CPU time: 1786.87 s 13.15/13.25 c ============================[ Search Statistics ]============================== 13.15/13.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.15/13.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.15/13.25 c =============================================================================== 13.15/13.25 c | 0 | 1766 42447 85298 | 14149 0 nan | 0.000 % | 13.15/13.25 c =============================================================================== 13.15/13.25 c core #425 13.15/13.25 c Core size: 10 Core Weight: 1 Total Weight: -335 13.15/13.25 c Elapsed CPU time: 13.182 s Remaining CPU time: 1786.82 s 13.15/13.29 c ============================[ Search Statistics ]============================== 13.15/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.15/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.15/13.29 c =============================================================================== 13.15/13.29 c | 0 | 1770 42448 85306 | 14149 0 nan | 0.000 % | 13.24/13.30 c =============================================================================== 13.24/13.30 c core #426 13.24/13.30 c Core size: 10 Core Weight: 1 Total Weight: -334 13.24/13.30 c Elapsed CPU time: 13.226 s Remaining CPU time: 1786.77 s 13.24/13.34 c ============================[ Search Statistics ]============================== 13.24/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.24/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.24/13.34 c =============================================================================== 13.24/13.34 c | 0 | 1774 42449 85314 | 14149 0 nan | 0.000 % | 13.24/13.35 c =============================================================================== 13.24/13.35 c core #427 13.24/13.35 c Core size: 10 Core Weight: 1 Total Weight: -333 13.24/13.35 c Elapsed CPU time: 13.272 s Remaining CPU time: 1786.73 s 13.24/13.39 c ============================[ Search Statistics ]============================== 13.24/13.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.24/13.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.24/13.39 c =============================================================================== 13.24/13.39 c | 0 | 1778 42450 85322 | 14150 0 nan | 0.000 % | 13.24/13.39 c =============================================================================== 13.24/13.39 c core #428 13.24/13.39 c Core size: 24 Core Weight: 1 Total Weight: -332 13.24/13.39 c Elapsed CPU time: 13.318 s Remaining CPU time: 1786.68 s 13.34/13.44 c ============================[ Search Statistics ]============================== 13.34/13.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.34/13.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.34/13.44 c =============================================================================== 13.34/13.44 c | 0 | 1788 42451 85342 | 14150 0 nan | 0.000 % | 13.34/13.44 c =============================================================================== 13.34/13.44 c core #429 13.34/13.44 c Core size: 18 Core Weight: 1 Total Weight: -331 13.34/13.44 c Elapsed CPU time: 13.367 s Remaining CPU time: 1786.63 s 13.34/13.48 c ============================[ Search Statistics ]============================== 13.34/13.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.34/13.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.34/13.48 c =============================================================================== 13.34/13.48 c | 0 | 1794 42452 85354 | 14150 0 nan | 0.000 % | 13.34/13.49 c =============================================================================== 13.34/13.49 c core #430 13.34/13.49 c Core size: 13 Core Weight: 1 Total Weight: -330 13.34/13.49 c Elapsed CPU time: 13.416 s Remaining CPU time: 1786.58 s 13.44/13.53 c ============================[ Search Statistics ]============================== 13.44/13.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.44/13.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.44/13.53 c =============================================================================== 13.44/13.53 c | 0 | 1800 42453 85366 | 14151 0 nan | 0.000 % | 13.44/13.54 c =============================================================================== 13.44/13.54 c core #431 13.44/13.54 c Core size: 13 Core Weight: 1 Total Weight: -329 13.44/13.54 c Elapsed CPU time: 13.462 s Remaining CPU time: 1786.54 s 13.44/13.58 c ============================[ Search Statistics ]============================== 13.44/13.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.44/13.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.44/13.58 c =============================================================================== 13.44/13.58 c | 0 | 1806 42454 85378 | 14151 0 nan | 0.000 % | 13.44/13.58 c =============================================================================== 13.44/13.58 c core #432 13.44/13.58 c Core size: 10 Core Weight: 1 Total Weight: -328 13.44/13.58 c Elapsed CPU time: 13.5089 s Remaining CPU time: 1786.49 s 13.54/13.63 c ============================[ Search Statistics ]============================== 13.54/13.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.54/13.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.54/13.63 c =============================================================================== 13.54/13.63 c | 0 | 1810 42455 85386 | 14151 0 nan | 0.000 % | 13.54/13.63 c =============================================================================== 13.54/13.63 c core #433 13.54/13.63 c Core size: 13 Core Weight: 1 Total Weight: -327 13.54/13.63 c Elapsed CPU time: 13.5569 s Remaining CPU time: 1786.44 s 13.54/13.67 c ============================[ Search Statistics ]============================== 13.54/13.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.54/13.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.54/13.67 c =============================================================================== 13.54/13.67 c | 0 | 1816 42456 85398 | 14152 0 nan | 0.000 % | 13.54/13.68 c =============================================================================== 13.54/13.68 c core #434 13.54/13.68 c Core size: 13 Core Weight: 1 Total Weight: -326 13.54/13.68 c Elapsed CPU time: 13.6019 s Remaining CPU time: 1786.4 s 13.64/13.72 c ============================[ Search Statistics ]============================== 13.64/13.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.64/13.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.64/13.72 c =============================================================================== 13.64/13.72 c | 0 | 1822 42457 85410 | 14152 0 nan | 0.000 % | 13.64/13.72 c =============================================================================== 13.64/13.72 c core #435 13.64/13.72 c Core size: 13 Core Weight: 1 Total Weight: -325 13.64/13.72 c Elapsed CPU time: 13.6479 s Remaining CPU time: 1786.35 s 13.64/13.77 c ============================[ Search Statistics ]============================== 13.64/13.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.64/13.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.64/13.77 c =============================================================================== 13.64/13.77 c | 0 | 1828 42458 85422 | 14152 0 nan | 0.000 % | 13.64/13.77 c =============================================================================== 13.64/13.77 c core #436 13.64/13.77 c Core size: 10 Core Weight: 1 Total Weight: -324 13.64/13.77 c Elapsed CPU time: 13.6949 s Remaining CPU time: 1786.31 s 13.73/13.81 c ============================[ Search Statistics ]============================== 13.73/13.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.73/13.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.73/13.81 c =============================================================================== 13.73/13.81 c | 0 | 1832 42459 85430 | 14153 0 nan | 0.000 % | 13.73/13.82 c =============================================================================== 13.73/13.82 c core #437 13.73/13.82 c Core size: 13 Core Weight: 1 Total Weight: -323 13.73/13.82 c Elapsed CPU time: 13.7409 s Remaining CPU time: 1786.26 s 13.73/13.86 c ============================[ Search Statistics ]============================== 13.73/13.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.73/13.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.73/13.86 c =============================================================================== 13.73/13.86 c | 0 | 1838 42460 85442 | 14153 0 nan | 0.000 % | 13.73/13.87 c =============================================================================== 13.73/13.87 c core #438 13.73/13.87 c Core size: 10 Core Weight: 1 Total Weight: -322 13.73/13.87 c Elapsed CPU time: 13.7879 s Remaining CPU time: 1786.21 s 13.83/13.91 c ============================[ Search Statistics ]============================== 13.83/13.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.83/13.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.83/13.91 c =============================================================================== 13.83/13.91 c | 0 | 1842 42461 85450 | 14153 0 nan | 0.000 % | 13.83/13.91 c =============================================================================== 13.83/13.91 c core #439 13.83/13.91 c Core size: 13 Core Weight: 1 Total Weight: -321 13.83/13.91 c Elapsed CPU time: 13.8359 s Remaining CPU time: 1786.16 s 13.83/13.95 c ============================[ Search Statistics ]============================== 13.83/13.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.83/13.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.83/13.95 c =============================================================================== 13.83/13.95 c | 0 | 1848 42462 85462 | 14154 0 nan | 0.000 % | 13.83/13.96 c =============================================================================== 13.83/13.96 c core #440 13.83/13.96 c Core size: 13 Core Weight: 1 Total Weight: -320 13.83/13.96 c Elapsed CPU time: 13.8819 s Remaining CPU time: 1786.12 s 13.93/14.00 c ============================[ Search Statistics ]============================== 13.93/14.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.93/14.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.93/14.00 c =============================================================================== 13.93/14.00 c | 0 | 1854 42463 85474 | 14154 0 nan | 0.000 % | 13.93/14.01 c =============================================================================== 13.93/14.01 c core #441 13.93/14.01 c Core size: 13 Core Weight: 1 Total Weight: -319 13.93/14.01 c Elapsed CPU time: 13.9299 s Remaining CPU time: 1786.07 s 13.93/14.05 c ============================[ Search Statistics ]============================== 13.93/14.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.93/14.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.93/14.05 c =============================================================================== 13.93/14.05 c | 0 | 1860 42464 85486 | 14154 0 nan | 0.000 % | 13.93/14.06 c =============================================================================== 13.93/14.06 c core #442 13.93/14.06 c Core size: 13 Core Weight: 1 Total Weight: -318 13.93/14.06 c Elapsed CPU time: 13.9789 s Remaining CPU time: 1786.02 s 14.03/14.10 c ============================[ Search Statistics ]============================== 14.03/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.03/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.03/14.10 c =============================================================================== 14.03/14.10 c | 0 | 1866 42465 85498 | 14155 0 nan | 0.000 % | 14.03/14.11 c =============================================================================== 14.03/14.11 c core #443 14.03/14.11 c Core size: 27 Core Weight: 1 Total Weight: -317 14.03/14.11 c Elapsed CPU time: 14.0279 s Remaining CPU time: 1785.97 s 14.03/14.15 c ============================[ Search Statistics ]============================== 14.03/14.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.03/14.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.03/14.15 c =============================================================================== 14.03/14.15 c | 0 | 1878 42466 85522 | 14155 0 nan | 0.000 % | 14.03/14.16 c =============================================================================== 14.03/14.16 c core #444 14.03/14.16 c Core size: 10 Core Weight: 1 Total Weight: -316 14.03/14.16 c Elapsed CPU time: 14.0749 s Remaining CPU time: 1785.93 s 14.03/14.20 c ============================[ Search Statistics ]============================== 14.03/14.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.03/14.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.03/14.20 c =============================================================================== 14.03/14.20 c | 0 | 1882 42467 85530 | 14155 0 nan | 0.000 % | 14.13/14.20 c =============================================================================== 14.13/14.20 c core #445 14.13/14.20 c Core size: 13 Core Weight: 1 Total Weight: -315 14.13/14.20 c Elapsed CPU time: 14.1209 s Remaining CPU time: 1785.88 s 14.13/14.25 c ============================[ Search Statistics ]============================== 14.13/14.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.13/14.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.13/14.25 c =============================================================================== 14.13/14.25 c | 0 | 1888 42468 85542 | 14156 0 nan | 0.000 % | 14.13/14.25 c =============================================================================== 14.13/14.25 c core #446 14.13/14.25 c Core size: 10 Core Weight: 1 Total Weight: -314 14.13/14.25 c Elapsed CPU time: 14.1678 s Remaining CPU time: 1785.83 s 14.13/14.29 c ============================[ Search Statistics ]============================== 14.13/14.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.13/14.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.13/14.29 c =============================================================================== 14.13/14.29 c | 0 | 1892 42469 85550 | 14156 0 nan | 0.000 % | 14.13/14.30 c =============================================================================== 14.13/14.30 c core #447 14.13/14.30 c Core size: 13 Core Weight: 1 Total Weight: -313 14.13/14.30 c Elapsed CPU time: 14.2158 s Remaining CPU time: 1785.78 s 14.23/14.34 c ============================[ Search Statistics ]============================== 14.23/14.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.23/14.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.23/14.34 c =============================================================================== 14.23/14.34 c | 0 | 1898 42470 85562 | 14156 0 nan | 0.000 % | 14.23/14.35 c =============================================================================== 14.23/14.35 c core #448 14.23/14.35 c Core size: 18 Core Weight: 1 Total Weight: -312 14.23/14.35 c Elapsed CPU time: 14.2628 s Remaining CPU time: 1785.74 s 14.23/14.39 c ============================[ Search Statistics ]============================== 14.23/14.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.23/14.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.23/14.39 c =============================================================================== 14.23/14.39 c | 0 | 1904 42471 85574 | 14157 0 nan | 0.000 % | 14.33/14.40 c =============================================================================== 14.33/14.40 c core #449 14.33/14.40 c Core size: 13 Core Weight: 1 Total Weight: -311 14.33/14.40 c Elapsed CPU time: 14.3118 s Remaining CPU time: 1785.69 s 14.33/14.44 c ============================[ Search Statistics ]============================== 14.33/14.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.33/14.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.33/14.44 c =============================================================================== 14.33/14.44 c | 0 | 1910 42472 85586 | 14157 0 nan | 0.000 % | 14.33/14.45 c =============================================================================== 14.33/14.45 c core #450 14.33/14.45 c Core size: 10 Core Weight: 1 Total Weight: -310 14.33/14.45 c Elapsed CPU time: 14.3598 s Remaining CPU time: 1785.64 s 14.33/14.49 c ============================[ Search Statistics ]============================== 14.33/14.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.33/14.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.33/14.49 c =============================================================================== 14.33/14.49 c | 0 | 1914 42473 85594 | 14157 0 nan | 0.000 % | 14.33/14.49 c =============================================================================== 14.33/14.49 c core #451 14.33/14.49 c Core size: 13 Core Weight: 1 Total Weight: -309 14.33/14.49 c Elapsed CPU time: 14.4058 s Remaining CPU time: 1785.59 s 14.43/14.54 c ============================[ Search Statistics ]============================== 14.43/14.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.43/14.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.43/14.54 c =============================================================================== 14.43/14.54 c | 0 | 1920 42474 85606 | 14158 0 nan | 0.000 % | 14.43/14.54 c =============================================================================== 14.43/14.54 c core #452 14.43/14.54 c Core size: 27 Core Weight: 1 Total Weight: -308 14.43/14.54 c Elapsed CPU time: 14.4548 s Remaining CPU time: 1785.55 s 14.43/14.59 c ============================[ Search Statistics ]============================== 14.43/14.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.43/14.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.43/14.59 c =============================================================================== 14.43/14.59 c | 0 | 1932 42475 85630 | 14158 0 nan | 0.000 % | 14.43/14.59 c =============================================================================== 14.43/14.59 c core #453 14.43/14.59 c Core size: 13 Core Weight: 1 Total Weight: -307 14.43/14.59 c Elapsed CPU time: 14.5038 s Remaining CPU time: 1785.5 s 14.53/14.64 c ============================[ Search Statistics ]============================== 14.53/14.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.53/14.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.53/14.64 c =============================================================================== 14.53/14.64 c | 0 | 1938 42476 85642 | 14158 0 nan | 0.000 % | 14.53/14.64 c =============================================================================== 14.53/14.64 c core #454 14.53/14.64 c Core size: 10 Core Weight: 1 Total Weight: -306 14.53/14.64 c Elapsed CPU time: 14.5508 s Remaining CPU time: 1785.45 s 14.53/14.69 c ============================[ Search Statistics ]============================== 14.53/14.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.53/14.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.53/14.69 c =============================================================================== 14.53/14.69 c | 0 | 1942 42477 85650 | 14159 0 nan | 0.000 % | 14.53/14.69 c =============================================================================== 14.53/14.69 c core #455 14.53/14.69 c Core size: 13 Core Weight: 1 Total Weight: -305 14.53/14.69 c Elapsed CPU time: 14.6008 s Remaining CPU time: 1785.4 s 14.63/14.74 c ============================[ Search Statistics ]============================== 14.63/14.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.63/14.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.63/14.74 c =============================================================================== 14.63/14.74 c | 0 | 1948 42478 85662 | 14159 0 nan | 0.000 % | 14.63/14.74 c =============================================================================== 14.63/14.74 c core #456 14.63/14.74 c Core size: 30 Core Weight: 1 Total Weight: -304 14.63/14.74 c Elapsed CPU time: 14.6498 s Remaining CPU time: 1785.35 s 14.63/14.79 c ============================[ Search Statistics ]============================== 14.63/14.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.63/14.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.63/14.79 c =============================================================================== 14.63/14.79 c | 0 | 1956 42479 85678 | 14159 0 nan | 0.000 % | 14.63/14.79 c =============================================================================== 14.63/14.79 c core #457 14.63/14.79 c Core size: 13 Core Weight: 1 Total Weight: -303 14.63/14.79 c Elapsed CPU time: 14.6998 s Remaining CPU time: 1785.3 s 14.73/14.84 c ============================[ Search Statistics ]============================== 14.73/14.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.73/14.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.73/14.84 c =============================================================================== 14.73/14.84 c | 0 | 1962 42480 85690 | 14160 0 nan | 0.000 % | 14.73/14.84 c =============================================================================== 14.73/14.84 c core #458 14.73/14.84 c Core size: 13 Core Weight: 1 Total Weight: -302 14.73/14.84 c Elapsed CPU time: 14.7488 s Remaining CPU time: 1785.25 s 14.73/14.89 c ============================[ Search Statistics ]============================== 14.73/14.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.73/14.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.73/14.89 c =============================================================================== 14.73/14.89 c | 0 | 1968 42481 85702 | 14160 0 nan | 0.000 % | 14.73/14.89 c =============================================================================== 14.73/14.89 c core #459 14.73/14.89 c Core size: 13 Core Weight: 1 Total Weight: -301 14.73/14.89 c Elapsed CPU time: 14.7978 s Remaining CPU time: 1785.2 s 14.83/14.94 c ============================[ Search Statistics ]============================== 14.83/14.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.83/14.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.83/14.94 c =============================================================================== 14.83/14.94 c | 0 | 1974 42482 85714 | 14160 0 nan | 0.000 % | 14.83/14.94 c =============================================================================== 14.83/14.94 c core #460 14.83/14.94 c Core size: 10 Core Weight: 1 Total Weight: -300 14.83/14.94 c Elapsed CPU time: 14.8477 s Remaining CPU time: 1785.15 s 14.83/14.99 c ============================[ Search Statistics ]============================== 14.83/14.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.83/14.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.83/14.99 c =============================================================================== 14.83/14.99 c | 0 | 1978 42483 85722 | 14161 0 nan | 0.000 % | 14.83/14.99 c =============================================================================== 14.83/14.99 c core #461 14.83/14.99 c Core size: 25 Core Weight: 1 Total Weight: -299 14.83/14.99 c Elapsed CPU time: 14.8977 s Remaining CPU time: 1785.1 s 14.92/15.04 c ============================[ Search Statistics ]============================== 14.92/15.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.92/15.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.92/15.04 c =============================================================================== 14.92/15.04 c | 0 | 1986 42484 85738 | 14161 0 nan | 0.000 % | 14.92/15.05 c =============================================================================== 14.92/15.05 c core #462 14.92/15.05 c Core size: 13 Core Weight: 1 Total Weight: -298 14.92/15.05 c Elapsed CPU time: 14.9477 s Remaining CPU time: 1785.05 s 14.92/15.09 c ============================[ Search Statistics ]============================== 14.92/15.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.92/15.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.92/15.09 c =============================================================================== 14.92/15.09 c | 0 | 1992 42485 85750 | 14161 0 nan | 0.000 % | 15.02/15.10 c =============================================================================== 15.02/15.10 c core #463 15.02/15.10 c Core size: 13 Core Weight: 1 Total Weight: -297 15.02/15.10 c Elapsed CPU time: 14.9987 s Remaining CPU time: 1785 s 15.02/15.14 c ============================[ Search Statistics ]============================== 15.02/15.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.02/15.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.02/15.14 c =============================================================================== 15.02/15.14 c | 0 | 1998 42486 85762 | 14162 0 nan | 0.000 % | 15.02/15.15 c =============================================================================== 15.02/15.15 c core #464 15.02/15.15 c Core size: 13 Core Weight: 1 Total Weight: -296 15.02/15.15 c Elapsed CPU time: 15.0487 s Remaining CPU time: 1784.95 s 15.02/15.19 c ============================[ Search Statistics ]============================== 15.02/15.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.02/15.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.02/15.19 c =============================================================================== 15.02/15.19 c | 0 | 2004 42487 85774 | 14162 0 nan | 0.000 % | 15.12/15.20 c =============================================================================== 15.12/15.20 c core #465 15.12/15.20 c Core size: 13 Core Weight: 1 Total Weight: -295 15.12/15.20 c Elapsed CPU time: 15.0987 s Remaining CPU time: 1784.9 s 15.12/15.24 c ============================[ Search Statistics ]============================== 15.12/15.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.12/15.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.12/15.24 c =============================================================================== 15.12/15.24 c | 0 | 2010 42488 85786 | 14162 0 nan | 0.000 % | 15.12/15.25 c =============================================================================== 15.12/15.25 c core #466 15.12/15.25 c Core size: 10 Core Weight: 1 Total Weight: -294 15.12/15.25 c Elapsed CPU time: 15.1487 s Remaining CPU time: 1784.85 s 15.12/15.29 c ============================[ Search Statistics ]============================== 15.12/15.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.12/15.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.12/15.29 c =============================================================================== 15.12/15.29 c | 0 | 2014 42489 85794 | 14163 0 nan | 0.000 % | 15.12/15.30 c =============================================================================== 15.12/15.30 c core #467 15.12/15.30 c Core size: 13 Core Weight: 1 Total Weight: -293 15.12/15.30 c Elapsed CPU time: 15.1977 s Remaining CPU time: 1784.8 s 15.22/15.35 c ============================[ Search Statistics ]============================== 15.22/15.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.22/15.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.22/15.35 c =============================================================================== 15.22/15.35 c | 0 | 2020 42490 85806 | 14163 0 nan | 0.000 % | 15.22/15.35 c =============================================================================== 15.22/15.35 c core #468 15.22/15.35 c Core size: 13 Core Weight: 1 Total Weight: -292 15.22/15.35 c Elapsed CPU time: 15.2477 s Remaining CPU time: 1784.75 s 15.22/15.40 c ============================[ Search Statistics ]============================== 15.22/15.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.22/15.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.22/15.40 c =============================================================================== 15.22/15.40 c | 0 | 2026 42491 85818 | 14163 0 nan | 0.000 % | 15.33/15.40 c =============================================================================== 15.33/15.40 c core #469 15.33/15.40 c Core size: 13 Core Weight: 1 Total Weight: -291 15.33/15.40 c Elapsed CPU time: 15.2997 s Remaining CPU time: 1784.7 s 15.33/15.45 c ============================[ Search Statistics ]============================== 15.33/15.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.33/15.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.33/15.45 c =============================================================================== 15.33/15.45 c | 0 | 2032 42492 85830 | 14164 0 nan | 0.000 % | 15.33/15.45 c =============================================================================== 15.33/15.45 c core #470 15.33/15.45 c Core size: 13 Core Weight: 1 Total Weight: -290 15.33/15.45 c Elapsed CPU time: 15.3467 s Remaining CPU time: 1784.65 s 15.33/15.49 c ============================[ Search Statistics ]============================== 15.33/15.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.33/15.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.33/15.49 c =============================================================================== 15.33/15.49 c | 0 | 2038 42493 85842 | 14164 0 nan | 0.000 % | 15.43/15.50 c =============================================================================== 15.43/15.50 c core #471 15.43/15.50 c Core size: 13 Core Weight: 1 Total Weight: -289 15.43/15.50 c Elapsed CPU time: 15.3947 s Remaining CPU time: 1784.61 s 15.43/15.54 c ============================[ Search Statistics ]============================== 15.43/15.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.43/15.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.43/15.54 c =============================================================================== 15.43/15.54 c | 0 | 2044 42494 85854 | 14164 0 nan | 0.000 % | 15.43/15.55 c =============================================================================== 15.43/15.55 c core #472 15.43/15.55 c Core size: 10 Core Weight: 1 Total Weight: -288 15.43/15.55 c Elapsed CPU time: 15.4407 s Remaining CPU time: 1784.56 s 15.43/15.59 c ============================[ Search Statistics ]============================== 15.43/15.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.43/15.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.43/15.59 c =============================================================================== 15.43/15.59 c | 0 | 2048 42495 85862 | 14165 0 nan | 0.000 % | 15.43/15.60 c =============================================================================== 15.43/15.60 c core #473 15.43/15.60 c Core size: 10 Core Weight: 1 Total Weight: -287 15.43/15.60 c Elapsed CPU time: 15.4906 s Remaining CPU time: 1784.51 s 15.53/15.64 c ============================[ Search Statistics ]============================== 15.53/15.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.53/15.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.53/15.64 c =============================================================================== 15.53/15.64 c | 0 | 2052 42496 85870 | 14165 0 nan | 0.000 % | 15.53/15.64 c =============================================================================== 15.53/15.64 c core #474 15.53/15.64 c Core size: 13 Core Weight: 1 Total Weight: -286 15.53/15.64 c Elapsed CPU time: 15.5366 s Remaining CPU time: 1784.46 s 15.53/15.69 c ============================[ Search Statistics ]============================== 15.53/15.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.53/15.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.53/15.69 c =============================================================================== 15.53/15.69 c | 0 | 2058 42497 85882 | 14165 0 nan | 0.000 % | 15.53/15.69 c =============================================================================== 15.53/15.69 c core #475 15.53/15.69 c Core size: 13 Core Weight: 1 Total Weight: -285 15.53/15.69 c Elapsed CPU time: 15.5856 s Remaining CPU time: 1784.41 s 15.63/15.74 c ============================[ Search Statistics ]============================== 15.63/15.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.63/15.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.63/15.74 c =============================================================================== 15.63/15.74 c | 0 | 2064 42498 85894 | 14166 0 nan | 0.000 % | 15.63/15.74 c =============================================================================== 15.63/15.74 c core #476 15.63/15.74 c Core size: 13 Core Weight: 1 Total Weight: -284 15.63/15.74 c Elapsed CPU time: 15.6346 s Remaining CPU time: 1784.37 s 15.63/15.79 c ============================[ Search Statistics ]============================== 15.63/15.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.63/15.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.63/15.79 c =============================================================================== 15.63/15.79 c | 0 | 2070 42499 85906 | 14166 0 nan | 0.000 % | 15.63/15.80 c =============================================================================== 15.63/15.80 c core #477 15.63/15.80 c Core size: 30 Core Weight: 1 Total Weight: -283 15.63/15.80 c Elapsed CPU time: 15.6896 s Remaining CPU time: 1784.31 s 15.73/15.84 c ============================[ Search Statistics ]============================== 15.73/15.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.73/15.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.73/15.84 c =============================================================================== 15.73/15.84 c | 0 | 2078 42500 85922 | 14166 0 nan | 0.000 % | 15.73/15.85 c =============================================================================== 15.73/15.85 c core #478 15.73/15.85 c Core size: 13 Core Weight: 1 Total Weight: -282 15.73/15.85 c Elapsed CPU time: 15.7396 s Remaining CPU time: 1784.26 s 15.73/15.89 c ============================[ Search Statistics ]============================== 15.73/15.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.73/15.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.73/15.89 c =============================================================================== 15.73/15.89 c | 0 | 2084 42501 85934 | 14167 0 nan | 0.000 % | 15.73/15.90 c =============================================================================== 15.73/15.90 c core #479 15.73/15.90 c Core size: 13 Core Weight: 1 Total Weight: -281 15.73/15.90 c Elapsed CPU time: 15.7896 s Remaining CPU time: 1784.21 s 15.83/15.94 c ============================[ Search Statistics ]============================== 15.83/15.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.83/15.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.83/15.94 c =============================================================================== 15.83/15.94 c | 0 | 2090 42502 85946 | 14167 0 nan | 0.000 % | 15.83/15.94 c =============================================================================== 15.83/15.94 c core #480 15.83/15.94 c Core size: 10 Core Weight: 1 Total Weight: -280 15.83/15.94 c Elapsed CPU time: 15.8366 s Remaining CPU time: 1784.16 s 15.83/15.99 c ============================[ Search Statistics ]============================== 15.83/15.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.83/15.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.83/15.99 c =============================================================================== 15.83/15.99 c | 0 | 2094 42503 85954 | 14167 0 nan | 0.000 % | 15.83/15.99 c =============================================================================== 15.83/15.99 c core #481 15.83/15.99 c Core size: 10 Core Weight: 1 Total Weight: -279 15.83/15.99 c Elapsed CPU time: 15.8856 s Remaining CPU time: 1784.11 s 15.92/16.04 c ============================[ Search Statistics ]============================== 15.92/16.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.92/16.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.92/16.04 c =============================================================================== 15.92/16.04 c | 0 | 2098 42504 85962 | 14168 0 nan | 0.000 % | 15.92/16.04 c =============================================================================== 15.92/16.04 c core #482 15.92/16.04 c Core size: 13 Core Weight: 1 Total Weight: -278 15.92/16.04 c Elapsed CPU time: 15.9346 s Remaining CPU time: 1784.07 s 15.92/16.09 c ============================[ Search Statistics ]============================== 15.92/16.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.92/16.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.92/16.09 c =============================================================================== 15.92/16.09 c | 0 | 2104 42505 85974 | 14168 0 nan | 0.000 % | 15.92/16.09 c =============================================================================== 15.92/16.09 c core #483 15.92/16.09 c Core size: 13 Core Weight: 1 Total Weight: -277 15.92/16.09 c Elapsed CPU time: 15.9846 s Remaining CPU time: 1784.02 s 16.02/16.14 c ============================[ Search Statistics ]============================== 16.02/16.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.02/16.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.02/16.14 c =============================================================================== 16.02/16.14 c | 0 | 2110 42506 85986 | 14168 0 nan | 0.000 % | 16.02/16.14 c =============================================================================== 16.02/16.14 c core #484 16.02/16.14 c Core size: 10 Core Weight: 1 Total Weight: -276 16.02/16.14 c Elapsed CPU time: 16.0346 s Remaining CPU time: 1783.97 s 16.02/16.19 c ============================[ Search Statistics ]============================== 16.02/16.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.02/16.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.02/16.19 c =============================================================================== 16.02/16.19 c | 0 | 2114 42507 85994 | 14169 0 nan | 0.000 % | 16.02/16.19 c =============================================================================== 16.02/16.19 c core #485 16.02/16.19 c Core size: 13 Core Weight: 1 Total Weight: -275 16.02/16.19 c Elapsed CPU time: 16.0836 s Remaining CPU time: 1783.92 s 16.12/16.23 c ============================[ Search Statistics ]============================== 16.12/16.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.12/16.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.12/16.23 c =============================================================================== 16.12/16.23 c | 0 | 2120 42508 86006 | 14169 0 nan | 0.000 % | 16.12/16.24 c =============================================================================== 16.12/16.24 c core #486 16.12/16.24 c Core size: 18 Core Weight: 1 Total Weight: -274 16.12/16.24 c Elapsed CPU time: 16.1315 s Remaining CPU time: 1783.87 s 16.12/16.28 c ============================[ Search Statistics ]============================== 16.12/16.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.12/16.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.12/16.28 c =============================================================================== 16.12/16.28 c | 0 | 2126 42509 86018 | 14169 0 nan | 0.000 % | 16.12/16.29 c =============================================================================== 16.12/16.29 c core #487 16.12/16.29 c Core size: 13 Core Weight: 1 Total Weight: -273 16.12/16.29 c Elapsed CPU time: 16.1805 s Remaining CPU time: 1783.82 s 16.22/16.33 c ============================[ Search Statistics ]============================== 16.22/16.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.22/16.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.22/16.33 c =============================================================================== 16.22/16.33 c | 0 | 2132 42510 86030 | 14170 0 nan | 0.000 % | 16.22/16.34 c =============================================================================== 16.22/16.34 c core #488 16.22/16.34 c Core size: 24 Core Weight: 1 Total Weight: -272 16.22/16.34 c Elapsed CPU time: 16.2315 s Remaining CPU time: 1783.77 s 16.22/16.38 c ============================[ Search Statistics ]============================== 16.22/16.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.22/16.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.22/16.38 c =============================================================================== 16.22/16.38 c | 0 | 2142 42511 86050 | 14170 0 nan | 0.000 % | 16.22/16.39 c =============================================================================== 16.22/16.39 c core #489 16.22/16.39 c Core size: 10 Core Weight: 1 Total Weight: -271 16.22/16.39 c Elapsed CPU time: 16.2805 s Remaining CPU time: 1783.72 s 16.32/16.44 c ============================[ Search Statistics ]============================== 16.32/16.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.32/16.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.32/16.44 c =============================================================================== 16.32/16.44 c | 0 | 2146 42512 86058 | 14170 0 nan | 0.000 % | 16.32/16.45 c =============================================================================== 16.32/16.45 c core #490 16.32/16.45 c Core size: 10 Core Weight: 1 Total Weight: -270 16.32/16.45 c Elapsed CPU time: 16.3315 s Remaining CPU time: 1783.67 s 16.32/16.49 c ============================[ Search Statistics ]============================== 16.32/16.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.32/16.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.32/16.49 c =============================================================================== 16.32/16.49 c | 0 | 2150 42513 86066 | 14171 0 nan | 0.000 % | 16.32/16.50 c =============================================================================== 16.32/16.50 c core #491 16.32/16.50 c Core size: 13 Core Weight: 1 Total Weight: -269 16.32/16.50 c Elapsed CPU time: 16.3845 s Remaining CPU time: 1783.62 s 16.42/16.54 c ============================[ Search Statistics ]============================== 16.42/16.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.42/16.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.42/16.54 c =============================================================================== 16.42/16.54 c | 0 | 2156 42514 86078 | 14171 0 nan | 0.000 % | 16.42/16.55 c =============================================================================== 16.42/16.55 c core #492 16.42/16.55 c Core size: 10 Core Weight: 1 Total Weight: -268 16.42/16.55 c Elapsed CPU time: 16.4335 s Remaining CPU time: 1783.57 s 16.42/16.59 c ============================[ Search Statistics ]============================== 16.42/16.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.42/16.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.42/16.60 c =============================================================================== 16.42/16.60 c | 0 | 2160 42515 86086 | 14171 0 nan | 0.000 % | 16.52/16.60 c =============================================================================== 16.52/16.60 c core #493 16.52/16.60 c Core size: 27 Core Weight: 1 Total Weight: -267 16.52/16.60 c Elapsed CPU time: 16.4855 s Remaining CPU time: 1783.51 s 16.52/16.65 c ============================[ Search Statistics ]============================== 16.52/16.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.52/16.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.52/16.65 c =============================================================================== 16.52/16.65 c | 0 | 2172 42516 86110 | 14172 0 nan | 0.000 % | 16.52/16.65 c =============================================================================== 16.52/16.65 c core #494 16.52/16.65 c Core size: 10 Core Weight: 1 Total Weight: -266 16.52/16.65 c Elapsed CPU time: 16.5375 s Remaining CPU time: 1783.46 s 16.61/16.70 c ============================[ Search Statistics ]============================== 16.61/16.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.61/16.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.61/16.70 c =============================================================================== 16.61/16.70 c | 0 | 2176 42517 86118 | 14172 0 nan | 0.000 % | 16.61/16.71 c =============================================================================== 16.61/16.71 c core #495 16.61/16.71 c Core size: 10 Core Weight: 1 Total Weight: -265 16.61/16.71 c Elapsed CPU time: 16.5885 s Remaining CPU time: 1783.41 s 16.61/16.75 c ============================[ Search Statistics ]============================== 16.61/16.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.61/16.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.61/16.75 c =============================================================================== 16.61/16.75 c | 0 | 2180 42518 86126 | 14172 0 nan | 0.000 % | 16.61/16.76 c =============================================================================== 16.61/16.76 c core #496 16.61/16.76 c Core size: 13 Core Weight: 1 Total Weight: -264 16.61/16.76 c Elapsed CPU time: 16.6395 s Remaining CPU time: 1783.36 s 16.71/16.80 c ============================[ Search Statistics ]============================== 16.71/16.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.71/16.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.71/16.80 c =============================================================================== 16.71/16.80 c | 0 | 2186 42519 86138 | 14173 0 nan | 0.000 % | 16.71/16.81 c =============================================================================== 16.71/16.81 c core #497 16.71/16.81 c Core size: 10 Core Weight: 1 Total Weight: -263 16.71/16.81 c Elapsed CPU time: 16.6895 s Remaining CPU time: 1783.31 s 16.71/16.85 c ============================[ Search Statistics ]============================== 16.71/16.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.71/16.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.71/16.85 c =============================================================================== 16.71/16.85 c | 0 | 2190 42520 86146 | 14173 0 nan | 0.000 % | 16.71/16.86 c =============================================================================== 16.71/16.86 c core #498 16.71/16.86 c Core size: 24 Core Weight: 1 Total Weight: -262 16.71/16.86 c Elapsed CPU time: 16.7385 s Remaining CPU time: 1783.26 s 16.81/16.91 c ============================[ Search Statistics ]============================== 16.81/16.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.81/16.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.81/16.91 c =============================================================================== 16.81/16.91 c | 0 | 2200 42521 86166 | 14173 0 nan | 0.000 % | 16.81/16.91 c =============================================================================== 16.81/16.91 c core #499 16.81/16.91 c Core size: 39 Core Weight: 1 Total Weight: -261 16.81/16.91 c Elapsed CPU time: 16.7924 s Remaining CPU time: 1783.21 s 16.81/16.96 c ============================[ Search Statistics ]============================== 16.81/16.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.81/16.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.81/16.96 c =============================================================================== 16.81/16.96 c | 0 | 2216 42522 86198 | 14174 0 nan | 0.000 % | 16.81/16.97 c =============================================================================== 16.81/16.97 c core #500 16.81/16.97 c Core size: 13 Core Weight: 1 Total Weight: -260 16.81/16.97 c Elapsed CPU time: 16.8454 s Remaining CPU time: 1783.15 s 16.91/17.01 c ============================[ Search Statistics ]============================== 16.91/17.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.91/17.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.91/17.01 c =============================================================================== 16.91/17.01 c | 0 | 2222 42523 86210 | 14174 0 nan | 0.000 % | 16.91/17.02 c =============================================================================== 16.91/17.02 c core #501 16.91/17.02 c Core size: 10 Core Weight: 1 Total Weight: -259 16.91/17.02 c Elapsed CPU time: 16.8984 s Remaining CPU time: 1783.1 s 16.91/17.07 c ============================[ Search Statistics ]============================== 16.91/17.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.91/17.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.91/17.07 c =============================================================================== 16.91/17.07 c | 0 | 2226 42524 86218 | 14174 0 nan | 0.000 % | 16.91/17.07 c =============================================================================== 16.91/17.07 c core #502 16.91/17.07 c Core size: 32 Core Weight: 1 Total Weight: -258 16.91/17.07 c Elapsed CPU time: 16.9504 s Remaining CPU time: 1783.05 s 17.01/17.12 c ============================[ Search Statistics ]============================== 17.01/17.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.01/17.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.01/17.12 c =============================================================================== 17.01/17.12 c | 0 | 2240 42525 86246 | 14175 0 nan | 0.000 % | 17.01/17.13 c =============================================================================== 17.01/17.13 c core #503 17.01/17.13 c Core size: 10 Core Weight: 1 Total Weight: -257 17.01/17.13 c Elapsed CPU time: 17.0034 s Remaining CPU time: 1783 s 17.01/17.17 c ============================[ Search Statistics ]============================== 17.01/17.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.01/17.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.01/17.17 c =============================================================================== 17.01/17.17 c | 0 | 2244 42526 86254 | 14175 0 nan | 0.000 % | 17.01/17.18 c =============================================================================== 17.01/17.18 c core #504 17.01/17.18 c Core size: 13 Core Weight: 1 Total Weight: -256 17.01/17.18 c Elapsed CPU time: 17.0554 s Remaining CPU time: 1782.94 s 17.11/17.23 c ============================[ Search Statistics ]============================== 17.11/17.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.11/17.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.11/17.23 c =============================================================================== 17.11/17.23 c | 0 | 2250 42527 86266 | 14175 0 nan | 0.000 % | 17.11/17.23 c =============================================================================== 17.11/17.23 c core #505 17.11/17.23 c Core size: 13 Core Weight: 1 Total Weight: -255 17.11/17.23 c Elapsed CPU time: 17.1074 s Remaining CPU time: 1782.89 s 17.11/17.28 c ============================[ Search Statistics ]============================== 17.11/17.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.11/17.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.11/17.28 c =============================================================================== 17.11/17.28 c | 0 | 2256 42528 86278 | 14176 0 nan | 0.000 % | 17.11/17.29 c =============================================================================== 17.11/17.29 c core #506 17.11/17.29 c Core size: 10 Core Weight: 1 Total Weight: -254 17.11/17.29 c Elapsed CPU time: 17.1604 s Remaining CPU time: 1782.84 s 17.21/17.34 c ============================[ Search Statistics ]============================== 17.21/17.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.21/17.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.21/17.34 c =============================================================================== 17.21/17.34 c | 0 | 2260 42529 86286 | 14176 0 nan | 0.000 % | 17.21/17.34 c =============================================================================== 17.21/17.34 c core #507 17.21/17.34 c Core size: 10 Core Weight: 1 Total Weight: -253 17.21/17.34 c Elapsed CPU time: 17.2144 s Remaining CPU time: 1782.79 s 17.21/17.39 c ============================[ Search Statistics ]============================== 17.21/17.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.21/17.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.21/17.39 c =============================================================================== 17.21/17.39 c | 0 | 2264 42530 86294 | 14176 0 nan | 0.000 % | 17.21/17.39 c =============================================================================== 17.21/17.39 c core #508 17.21/17.39 c Core size: 10 Core Weight: 1 Total Weight: -252 17.21/17.39 c Elapsed CPU time: 17.2654 s Remaining CPU time: 1782.73 s 17.31/17.44 c ============================[ Search Statistics ]============================== 17.31/17.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.31/17.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.31/17.44 c =============================================================================== 17.31/17.44 c | 0 | 2268 42531 86302 | 14177 0 nan | 0.000 % | 17.31/17.45 c =============================================================================== 17.31/17.45 c core #509 17.31/17.45 c Core size: 10 Core Weight: 1 Total Weight: -251 17.31/17.45 c Elapsed CPU time: 17.3184 s Remaining CPU time: 1782.68 s 17.31/17.50 c ============================[ Search Statistics ]============================== 17.31/17.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.31/17.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.31/17.50 c =============================================================================== 17.31/17.50 c | 0 | 2272 42532 86310 | 14177 0 nan | 0.000 % | 17.41/17.50 c =============================================================================== 17.41/17.50 c core #510 17.41/17.50 c Core size: 13 Core Weight: 1 Total Weight: -250 17.41/17.50 c Elapsed CPU time: 17.3724 s Remaining CPU time: 1782.63 s 17.41/17.55 c ============================[ Search Statistics ]============================== 17.41/17.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.41/17.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.41/17.55 c =============================================================================== 17.41/17.55 c | 0 | 2278 42533 86322 | 14177 0 nan | 0.000 % | 17.41/17.56 c =============================================================================== 17.41/17.56 c core #511 17.41/17.56 c Core size: 10 Core Weight: 1 Total Weight: -249 17.41/17.56 c Elapsed CPU time: 17.4263 s Remaining CPU time: 1782.57 s 17.51/17.60 c ============================[ Search Statistics ]============================== 17.51/17.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.51/17.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.51/17.60 c =============================================================================== 17.51/17.60 c | 0 | 2282 42534 86330 | 14178 0 nan | 0.000 % | 17.51/17.61 c =============================================================================== 17.51/17.61 c core #512 17.51/17.61 c Core size: 30 Core Weight: 1 Total Weight: -248 17.51/17.61 c Elapsed CPU time: 17.4773 s Remaining CPU time: 1782.52 s 17.51/17.66 c ============================[ Search Statistics ]============================== 17.51/17.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.51/17.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.51/17.66 c =============================================================================== 17.51/17.66 c | 0 | 2290 42535 86346 | 14178 0 nan | 0.000 % | 17.51/17.67 c =============================================================================== 17.51/17.67 c core #513 17.51/17.67 c Core size: 52 Core Weight: 1 Total Weight: -247 17.51/17.67 c Elapsed CPU time: 17.5313 s Remaining CPU time: 1782.47 s 17.61/17.71 c ============================[ Search Statistics ]============================== 17.61/17.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.61/17.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.61/17.71 c =============================================================================== 17.61/17.71 c | 0 | 2312 42536 86390 | 14178 0 nan | 0.000 % | 17.61/17.72 c =============================================================================== 17.61/17.72 c core #514 17.61/17.72 c Core size: 10 Core Weight: 1 Total Weight: -246 17.61/17.72 c Elapsed CPU time: 17.5863 s Remaining CPU time: 1782.41 s 17.61/17.77 c ============================[ Search Statistics ]============================== 17.61/17.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.61/17.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.61/17.77 c =============================================================================== 17.61/17.77 c | 0 | 2316 42537 86398 | 14179 0 nan | 0.000 % | 17.61/17.77 c =============================================================================== 17.61/17.77 c core #515 17.61/17.77 c Core size: 13 Core Weight: 1 Total Weight: -245 17.61/17.77 c Elapsed CPU time: 17.6383 s Remaining CPU time: 1782.36 s 17.71/17.82 c ============================[ Search Statistics ]============================== 17.71/17.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.71/17.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.71/17.82 c =============================================================================== 17.71/17.82 c | 0 | 2322 42538 86410 | 14179 0 nan | 0.000 % | 17.71/17.83 c =============================================================================== 17.71/17.83 c core #516 17.71/17.83 c Core size: 18 Core Weight: 1 Total Weight: -244 17.71/17.83 c Elapsed CPU time: 17.6923 s Remaining CPU time: 1782.31 s 17.71/17.88 c ============================[ Search Statistics ]============================== 17.71/17.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.71/17.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.71/17.88 c =============================================================================== 17.71/17.88 c | 0 | 2328 42539 86422 | 14179 0 nan | 0.000 % | 17.71/17.88 c =============================================================================== 17.71/17.88 c core #517 17.71/17.88 c Core size: 38 Core Weight: 1 Total Weight: -243 17.71/17.88 c Elapsed CPU time: 17.7463 s Remaining CPU time: 1782.25 s 17.81/17.93 c ============================[ Search Statistics ]============================== 17.81/17.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.81/17.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.81/17.93 c =============================================================================== 17.81/17.93 c | 0 | 2342 42540 86450 | 14180 0 nan | 0.000 % | 17.81/17.94 c =============================================================================== 17.81/17.94 c core #518 17.81/17.94 c Core size: 21 Core Weight: 1 Total Weight: -242 17.81/17.94 c Elapsed CPU time: 17.8023 s Remaining CPU time: 1782.2 s 17.81/17.99 c ============================[ Search Statistics ]============================== 17.81/17.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.81/17.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.81/17.99 c =============================================================================== 17.81/17.99 c | 0 | 2352 42541 86470 | 14180 0 nan | 0.000 % | 17.81/17.99 c =============================================================================== 17.81/17.99 c core #519 17.81/17.99 c Core size: 31 Core Weight: 1 Total Weight: -241 17.81/17.99 c Elapsed CPU time: 17.8553 s Remaining CPU time: 1782.14 s 17.90/18.04 c ============================[ Search Statistics ]============================== 17.90/18.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.90/18.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.90/18.04 c =============================================================================== 17.90/18.04 c | 0 | 2366 42542 86498 | 14180 0 nan | 0.000 % | 17.90/18.05 c =============================================================================== 17.90/18.05 c core #520 17.90/18.05 c Core size: 10 Core Weight: 1 Total Weight: -240 17.90/18.05 c Elapsed CPU time: 17.9063 s Remaining CPU time: 1782.09 s 17.90/18.09 c ============================[ Search Statistics ]============================== 17.90/18.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.90/18.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.90/18.09 c =============================================================================== 17.90/18.09 c | 0 | 2370 42543 86506 | 14181 0 nan | 0.000 % | 18.00/18.10 c =============================================================================== 18.00/18.10 c core #521 18.00/18.10 c Core size: 10 Core Weight: 1 Total Weight: -239 18.00/18.10 c Elapsed CPU time: 17.9613 s Remaining CPU time: 1782.04 s 18.00/18.15 c ============================[ Search Statistics ]============================== 18.00/18.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.00/18.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.00/18.15 c =============================================================================== 18.00/18.15 c | 0 | 2374 42544 86514 | 14181 0 nan | 0.000 % | 18.00/18.16 c =============================================================================== 18.00/18.16 c core #522 18.00/18.16 c Core size: 28 Core Weight: 1 Total Weight: -238 18.00/18.16 c Elapsed CPU time: 18.0143 s Remaining CPU time: 1781.99 s 18.10/18.20 c ============================[ Search Statistics ]============================== 18.10/18.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.10/18.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.10/18.20 c =============================================================================== 18.10/18.20 c | 0 | 2384 42545 86534 | 14181 0 nan | 0.000 % | 18.10/18.21 c =============================================================================== 18.10/18.21 c core #523 18.10/18.21 c Core size: 17 Core Weight: 1 Total Weight: -237 18.10/18.21 c Elapsed CPU time: 18.0673 s Remaining CPU time: 1781.93 s 18.10/18.26 c ============================[ Search Statistics ]============================== 18.10/18.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.10/18.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.10/18.26 c =============================================================================== 18.10/18.26 c | 0 | 2392 42546 86550 | 14182 0 nan | 0.000 % | 18.10/18.27 c =============================================================================== 18.10/18.27 c core #524 18.10/18.27 c Core size: 10 Core Weight: 1 Total Weight: -236 18.10/18.27 c Elapsed CPU time: 18.1242 s Remaining CPU time: 1781.88 s 18.20/18.32 c ============================[ Search Statistics ]============================== 18.20/18.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.20/18.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.20/18.32 c =============================================================================== 18.20/18.32 c | 0 | 2396 42547 86558 | 14182 0 nan | 0.000 % | 18.20/18.32 c =============================================================================== 18.20/18.32 c core #525 18.20/18.32 c Core size: 10 Core Weight: 1 Total Weight: -235 18.20/18.32 c Elapsed CPU time: 18.1762 s Remaining CPU time: 1781.82 s 18.20/18.37 c ============================[ Search Statistics ]============================== 18.20/18.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.20/18.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.20/18.37 c =============================================================================== 18.20/18.37 c | 0 | 2400 42548 86566 | 14182 0 nan | 0.000 % | 18.20/18.38 c =============================================================================== 18.20/18.38 c core #526 18.20/18.38 c Core size: 10 Core Weight: 1 Total Weight: -234 18.20/18.38 c Elapsed CPU time: 18.2322 s Remaining CPU time: 1781.77 s 18.30/18.42 c ============================[ Search Statistics ]============================== 18.30/18.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.30/18.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.30/18.43 c =============================================================================== 18.30/18.43 c | 0 | 2404 42549 86574 | 14183 0 nan | 0.000 % | 18.30/18.43 c =============================================================================== 18.30/18.43 c core #527 18.30/18.43 c Core size: 10 Core Weight: 1 Total Weight: -233 18.30/18.43 c Elapsed CPU time: 18.2852 s Remaining CPU time: 1781.71 s 18.30/18.48 c ============================[ Search Statistics ]============================== 18.30/18.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.30/18.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.30/18.48 c =============================================================================== 18.30/18.48 c | 0 | 2408 42550 86582 | 14183 0 nan | 0.000 % | 18.30/18.49 c =============================================================================== 18.30/18.49 c core #528 18.30/18.49 c Core size: 18 Core Weight: 1 Total Weight: -232 18.30/18.49 c Elapsed CPU time: 18.3372 s Remaining CPU time: 1781.66 s 18.40/18.53 c ============================[ Search Statistics ]============================== 18.40/18.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.40/18.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.40/18.53 c =============================================================================== 18.40/18.53 c | 0 | 2414 42551 86594 | 14183 0 nan | 0.000 % | 18.40/18.54 c =============================================================================== 18.40/18.54 c core #529 18.40/18.54 c Core size: 10 Core Weight: 1 Total Weight: -231 18.40/18.54 c Elapsed CPU time: 18.3912 s Remaining CPU time: 1781.61 s 18.40/18.59 c ============================[ Search Statistics ]============================== 18.40/18.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.40/18.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.40/18.59 c =============================================================================== 18.40/18.59 c | 0 | 2418 42552 86602 | 14184 0 nan | 0.000 % | 18.40/18.60 c =============================================================================== 18.40/18.60 c core #530 18.40/18.60 c Core size: 44 Core Weight: 1 Total Weight: -230 18.40/18.60 c Elapsed CPU time: 18.4452 s Remaining CPU time: 1781.55 s 18.50/18.64 c ============================[ Search Statistics ]============================== 18.50/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.50/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.50/18.64 c =============================================================================== 18.50/18.64 c | 0 | 2432 42553 86630 | 14184 0 nan | 0.000 % | 18.50/18.65 c =============================================================================== 18.50/18.65 c core #531 18.50/18.65 c Core size: 50 Core Weight: 1 Total Weight: -229 18.50/18.65 c Elapsed CPU time: 18.5002 s Remaining CPU time: 1781.5 s 18.50/18.70 c ============================[ Search Statistics ]============================== 18.50/18.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.50/18.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.50/18.70 c =============================================================================== 18.50/18.70 c | 0 | 2449 42554 86664 | 14184 0 nan | 0.000 % | 18.60/18.71 c =============================================================================== 18.60/18.71 c core #532 18.60/18.71 c Core size: 29 Core Weight: 1 Total Weight: -228 18.60/18.71 c Elapsed CPU time: 18.5572 s Remaining CPU time: 1781.44 s 18.60/18.76 c ============================[ Search Statistics ]============================== 18.60/18.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.60/18.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.60/18.76 c =============================================================================== 18.60/18.76 c | 0 | 2459 42555 86684 | 14185 0 nan | 0.000 % | 18.60/18.76 c =============================================================================== 18.60/18.76 c core #533 18.60/18.76 c Core size: 18 Core Weight: 1 Total Weight: -227 18.60/18.76 c Elapsed CPU time: 18.6122 s Remaining CPU time: 1781.39 s 18.70/18.81 c ============================[ Search Statistics ]============================== 18.70/18.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.70/18.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.70/18.81 c =============================================================================== 18.70/18.81 c | 0 | 2465 42556 86696 | 14185 0 nan | 0.000 % | 18.70/18.82 c =============================================================================== 18.70/18.82 c core #534 18.70/18.82 c Core size: 30 Core Weight: 1 Total Weight: -226 18.70/18.82 c Elapsed CPU time: 18.6672 s Remaining CPU time: 1781.33 s 18.70/18.87 c ============================[ Search Statistics ]============================== 18.70/18.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.70/18.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.70/18.87 c =============================================================================== 18.70/18.87 c | 0 | 2473 42557 86712 | 14185 0 nan | 0.000 % | 18.70/18.88 c =============================================================================== 18.70/18.88 c core #535 18.70/18.88 c Core size: 25 Core Weight: 1 Total Weight: -225 18.70/18.88 c Elapsed CPU time: 18.7212 s Remaining CPU time: 1781.28 s 18.80/18.92 c ============================[ Search Statistics ]============================== 18.80/18.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.80/18.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.80/18.92 c =============================================================================== 18.80/18.92 c | 0 | 2481 42558 86728 | 14186 0 nan | 0.000 % | 18.80/18.93 c =============================================================================== 18.80/18.93 c core #536 18.80/18.93 c Core size: 62 Core Weight: 1 Total Weight: -224 18.80/18.93 c Elapsed CPU time: 18.7771 s Remaining CPU time: 1781.22 s 18.80/18.98 c ============================[ Search Statistics ]============================== 18.80/18.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.80/18.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.80/18.98 c =============================================================================== 18.80/18.98 c | 0 | 2499 42559 86764 | 14186 0 nan | 0.000 % | 18.80/18.99 c | 103 | 2493 42559 86764 | 15604 103 8 | 0.240 % | 18.80/18.99 c =============================================================================== 18.80/18.99 c core #537 18.80/18.99 c Core size: 94 Core Weight: 1 Total Weight: -223 18.80/18.99 c Elapsed CPU time: 18.8351 s Remaining CPU time: 1781.16 s 18.89/19.04 c ============================[ Search Statistics ]============================== 18.89/19.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.89/19.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.89/19.04 c =============================================================================== 18.89/19.04 c | 0 | 2521 42560 86808 | 14186 0 nan | 0.000 % | 18.89/19.05 c =============================================================================== 18.89/19.05 c core #538 18.89/19.05 c Core size: 31 Core Weight: 1 Total Weight: -222 18.89/19.05 c Elapsed CPU time: 18.8901 s Remaining CPU time: 1781.11 s 18.89/19.10 c ============================[ Search Statistics ]============================== 18.89/19.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.89/19.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.89/19.10 c =============================================================================== 18.89/19.10 c | 0 | 2529 42561 86824 | 14187 0 nan | 0.000 % | 18.99/19.10 c =============================================================================== 18.99/19.10 c core #539 18.99/19.10 c Core size: 47 Core Weight: 1 Total Weight: -221 18.99/19.10 c Elapsed CPU time: 18.9451 s Remaining CPU time: 1781.05 s 18.99/19.15 c ============================[ Search Statistics ]============================== 18.99/19.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.99/19.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.99/19.15 c =============================================================================== 18.99/19.15 c | 0 | 2544 42562 86854 | 14187 0 nan | 0.000 % | 18.99/19.16 c =============================================================================== 18.99/19.16 c core #540 18.99/19.16 c Core size: 30 Core Weight: 1 Total Weight: -220 18.99/19.16 c Elapsed CPU time: 19.0011 s Remaining CPU time: 1781 s 19.09/19.21 c ============================[ Search Statistics ]============================== 19.09/19.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.09/19.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.09/19.21 c =============================================================================== 19.09/19.21 c | 0 | 2552 42563 86870 | 14187 0 nan | 0.000 % | 19.09/19.22 c =============================================================================== 19.09/19.22 c core #541 19.09/19.22 c Core size: 25 Core Weight: 1 Total Weight: -219 19.09/19.22 c Elapsed CPU time: 19.0581 s Remaining CPU time: 1780.94 s 19.09/19.27 c ============================[ Search Statistics ]============================== 19.09/19.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.09/19.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.09/19.27 c =============================================================================== 19.09/19.27 c | 0 | 2560 42564 86886 | 14188 0 nan | 0.000 % | 19.09/19.28 c =============================================================================== 19.09/19.28 c core #542 19.09/19.28 c Core size: 35 Core Weight: 1 Total Weight: -218 19.09/19.28 c Elapsed CPU time: 19.1161 s Remaining CPU time: 1780.88 s 19.19/19.33 c ============================[ Search Statistics ]============================== 19.19/19.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.19/19.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.19/19.33 c =============================================================================== 19.19/19.33 c | 0 | 2570 42565 86906 | 14188 0 nan | 0.000 % | 19.19/19.34 c | 101 | 2570 42565 86906 | 15607 101 13 | 0.000 % | 19.19/19.34 c =============================================================================== 19.19/19.34 c core #543 19.19/19.34 c Core size: 98 Core Weight: 1 Total Weight: -217 19.19/19.34 c Elapsed CPU time: 19.1791 s Remaining CPU time: 1780.82 s 19.19/19.39 c ============================[ Search Statistics ]============================== 19.19/19.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.19/19.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.19/19.39 c =============================================================================== 19.19/19.39 c | 0 | 2598 42566 86962 | 14188 0 nan | 0.000 % | 19.29/19.41 c | 100 | 2598 42566 86962 | 15607 100 13 | 0.000 % | 19.29/19.41 c | 250 | 2598 42566 86962 | 17168 250 15 | 0.000 % | 19.29/19.42 c | 478 | 2598 42566 86962 | 18885 478 18 | 0.000 % | 19.29/19.43 c =============================================================================== 19.29/19.43 c core #544 19.29/19.43 c Core size: 201 Core Weight: 1 Total Weight: -216 19.29/19.43 c Elapsed CPU time: 19.2631 s Remaining CPU time: 1780.74 s 19.29/19.48 c ============================[ Search Statistics ]============================== 19.29/19.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.29/19.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.29/19.48 c =============================================================================== 19.29/19.48 c | 0 | 2636 42567 87038 | 14189 0 nan | 0.000 % | 19.29/19.49 c =============================================================================== 19.29/19.49 c core #545 19.29/19.49 c Core size: 78 Core Weight: 1 Total Weight: -215 19.29/19.49 c Elapsed CPU time: 19.3241 s Remaining CPU time: 1780.68 s 19.39/19.54 c ============================[ Search Statistics ]============================== 19.39/19.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.39/19.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.39/19.54 c =============================================================================== 19.39/19.54 c | 0 | 2664 42568 87094 | 14189 0 nan | 0.000 % | 19.39/19.55 c =============================================================================== 19.39/19.55 c core #546 19.39/19.55 c Core size: 45 Core Weight: 1 Total Weight: -214 19.39/19.55 c Elapsed CPU time: 19.3841 s Remaining CPU time: 1780.62 s 19.49/19.60 c ============================[ Search Statistics ]============================== 19.49/19.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.49/19.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.49/19.60 c =============================================================================== 19.49/19.60 c | 0 | 2678 42569 87122 | 14189 0 nan | 0.000 % | 19.49/19.61 c =============================================================================== 19.49/19.61 c core #547 19.49/19.61 c Core size: 73 Core Weight: 1 Total Weight: -213 19.49/19.61 c Elapsed CPU time: 19.441 s Remaining CPU time: 1780.56 s 19.49/19.66 c ============================[ Search Statistics ]============================== 19.49/19.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.49/19.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.49/19.66 c =============================================================================== 19.49/19.66 c | 0 | 2702 42570 87170 | 14190 0 nan | 0.000 % | 19.49/19.67 c | 100 | 2700 42570 87170 | 15609 100 11 | 0.074 % | 19.49/19.68 c =============================================================================== 19.49/19.68 c core #548 19.49/19.68 c Core size: 78 Core Weight: 1 Total Weight: -212 19.49/19.68 c Elapsed CPU time: 19.504 s Remaining CPU time: 1780.5 s 19.59/19.73 c ============================[ Search Statistics ]============================== 19.59/19.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.73 c =============================================================================== 19.59/19.73 c | 0 | 2726 42571 87218 | 14190 0 nan | 0.000 % | 19.59/19.74 c | 101 | 2726 42571 87218 | 15609 101 9 | 0.000 % | 19.59/19.74 c =============================================================================== 19.59/19.74 c core #549 19.59/19.74 c Core size: 71 Core Weight: 1 Total Weight: -211 19.59/19.74 c Elapsed CPU time: 19.568 s Remaining CPU time: 1780.43 s 19.59/19.79 c ============================[ Search Statistics ]============================== 19.59/19.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.79 c =============================================================================== 19.59/19.79 c | 0 | 2749 42572 87264 | 14190 0 nan | 0.000 % | 19.59/19.80 c =============================================================================== 19.59/19.80 c core #550 19.59/19.80 c Core size: 53 Core Weight: 1 Total Weight: -210 19.59/19.80 c Elapsed CPU time: 19.624 s Remaining CPU time: 1780.38 s 19.69/19.85 c ============================[ Search Statistics ]============================== 19.69/19.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.85 c =============================================================================== 19.69/19.85 c | 0 | 2765 42573 87296 | 14191 0 nan | 0.000 % | 19.69/19.86 c | 100 | 2765 42573 87296 | 15610 100 14 | 0.000 % | 19.69/19.86 c =============================================================================== 19.69/19.86 c core #551 19.69/19.86 c Core size: 43 Core Weight: 1 Total Weight: -209 19.69/19.86 c Elapsed CPU time: 19.686 s Remaining CPU time: 1780.31 s 19.79/19.91 c ============================[ Search Statistics ]============================== 19.79/19.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.91 c =============================================================================== 19.79/19.91 c | 0 | 2781 42574 87328 | 14191 0 nan | 0.000 % | 19.79/19.92 c | 100 | 2780 42574 87328 | 15610 100 10 | 0.036 % | 19.79/19.93 c | 253 | 2775 42574 87328 | 17171 253 11 | 0.216 % | 19.79/19.93 c =============================================================================== 19.79/19.93 c core #552 19.79/19.93 c Core size: 153 Core Weight: 1 Total Weight: -208 19.79/19.93 c Elapsed CPU time: 19.758 s Remaining CPU time: 1780.24 s 19.79/19.98 c ============================[ Search Statistics ]============================== 19.79/19.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.98 c =============================================================================== 19.79/19.98 c | 0 | 2820 42575 87406 | 14191 0 nan | 0.000 % | 19.79/20.00 c =============================================================================== 19.79/20.00 c core #553 19.79/20.00 c Core size: 42 Core Weight: 1 Total Weight: -207 19.79/20.00 c Elapsed CPU time: 19.818 s Remaining CPU time: 1780.18 s 19.88/20.04 c ============================[ Search Statistics ]============================== 19.88/20.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.88/20.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.88/20.04 c =============================================================================== 19.88/20.04 c | 0 | 2834 42576 87434 | 14192 0 nan | 0.000 % | 19.88/20.06 c | 100 | 2834 42576 87434 | 15611 100 11 | 0.000 % | 19.88/20.06 c | 252 | 2833 42576 87434 | 17172 252 16 | 0.035 % | 19.88/20.07 c | 477 | 2833 42576 87434 | 18889 477 20 | 0.035 % | 19.88/20.09 c | 814 | 2828 42576 87434 | 20778 814 21 | 0.212 % | 19.98/20.13 c | 1321 | 2820 42576 87434 | 22856 1288 22 | 0.494 % | 19.98/20.15 c =============================================================================== 19.98/20.16 c core #554 19.98/20.16 c Core size: 289 Core Weight: 1 Total Weight: -206 19.98/20.16 c Elapsed CPU time: 19.979 s Remaining CPU time: 1780.02 s 20.08/20.21 c ============================[ Search Statistics ]============================== 20.08/20.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.21 c =============================================================================== 20.08/20.21 c | 0 | 2891 42577 87548 | 14192 0 nan | 0.000 % | 20.08/20.23 c | 100 | 2891 42577 87548 | 15611 100 13 | 0.000 % | 20.08/20.23 c | 252 | 2891 42577 87548 | 17172 252 14 | 0.000 % | 20.08/20.24 c =============================================================================== 20.08/20.24 c core #555 20.08/20.24 c Core size: 185 Core Weight: 1 Total Weight: -205 20.08/20.24 c Elapsed CPU time: 20.0609 s Remaining CPU time: 1779.94 s 20.08/20.29 c ============================[ Search Statistics ]============================== 20.08/20.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.29 c =============================================================================== 20.08/20.29 c | 0 | 2926 42578 87618 | 14192 0 nan | 0.000 % | 20.18/20.30 c | 100 | 2926 42578 87618 | 15611 100 16 | 0.000 % | 20.18/20.31 c | 252 | 2908 42578 87618 | 17173 252 15 | 0.615 % | 20.18/20.31 c =============================================================================== 20.18/20.31 c core #556 20.18/20.31 c Core size: 159 Core Weight: 1 Total Weight: -204 20.18/20.31 c Elapsed CPU time: 20.1279 s Remaining CPU time: 1779.87 s 20.18/20.37 c ============================[ Search Statistics ]============================== 20.18/20.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.37 c =============================================================================== 20.18/20.37 c | 0 | 2966 42579 87698 | 14193 0 nan | 0.000 % | 20.18/20.38 c =============================================================================== 20.18/20.38 c core #557 20.18/20.38 c Core size: 69 Core Weight: 1 Total Weight: -203 20.18/20.38 c Elapsed CPU time: 20.1929 s Remaining CPU time: 1779.81 s 20.28/20.43 c ============================[ Search Statistics ]============================== 20.28/20.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.43 c =============================================================================== 20.28/20.43 c | 0 | 2984 42580 87734 | 14193 0 nan | 0.000 % | 20.28/20.44 c | 103 | 2984 42580 87734 | 15612 103 10 | 0.000 % | 20.28/20.44 c =============================================================================== 20.28/20.45 c core #558 20.28/20.45 c Core size: 37 Core Weight: 1 Total Weight: -202 20.28/20.45 c Elapsed CPU time: 20.2569 s Remaining CPU time: 1779.74 s 20.28/20.50 c ============================[ Search Statistics ]============================== 20.28/20.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.50 c =============================================================================== 20.28/20.50 c | 0 | 2996 42581 87758 | 14193 0 nan | 0.000 % | 20.38/20.51 c | 100 | 2995 42581 87758 | 15613 100 10 | 2.971 % | 20.38/20.51 c =============================================================================== 20.38/20.51 c core #559 20.38/20.51 c Core size: 90 Core Weight: 1 Total Weight: -201 20.38/20.51 c Elapsed CPU time: 20.3229 s Remaining CPU time: 1779.68 s 20.38/20.56 c ============================[ Search Statistics ]============================== 20.38/20.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.38/20.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.38/20.56 c =============================================================================== 20.38/20.56 c | 0 | 3024 42582 87814 | 14194 0 nan | 0.000 % | 20.38/20.57 c | 103 | 3022 42582 87814 | 15613 103 10 | 0.066 % | 20.38/20.57 c =============================================================================== 20.38/20.58 c core #560 20.38/20.58 c Core size: 153 Core Weight: 1 Total Weight: -200 20.38/20.58 c Elapsed CPU time: 20.3839 s Remaining CPU time: 1779.62 s 20.48/20.63 c ============================[ Search Statistics ]============================== 20.48/20.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.48/20.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.48/20.63 c =============================================================================== 20.48/20.63 c | 0 | 3064 42583 87894 | 14194 0 nan | 0.000 % | 20.48/20.64 c | 100 | 3064 42583 87894 | 15613 100 19 | 0.000 % | 20.48/20.65 c | 253 | 3061 42583 87894 | 17175 253 13 | 0.098 % | 20.48/20.66 c =============================================================================== 20.48/20.66 c core #561 20.48/20.66 c Core size: 55 Core Weight: 1 Total Weight: -199 20.48/20.66 c Elapsed CPU time: 20.4619 s Remaining CPU time: 1779.54 s 20.58/20.70 c ============================[ Search Statistics ]============================== 20.58/20.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.71 c =============================================================================== 20.58/20.71 c | 0 | 3084 42584 87934 | 14194 0 nan | 0.000 % | 20.58/20.72 c | 100 | 3082 42584 87934 | 15614 100 10 | 0.065 % | 20.58/20.72 c =============================================================================== 20.58/20.72 c core #562 20.58/20.72 c Core size: 73 Core Weight: 1 Total Weight: -198 20.58/20.72 c Elapsed CPU time: 20.5269 s Remaining CPU time: 1779.47 s 20.58/20.77 c ============================[ Search Statistics ]============================== 20.58/20.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.78 c =============================================================================== 20.58/20.78 c | 0 | 3102 42585 87970 | 14195 0 nan | 0.000 % | 20.58/20.79 c | 100 | 3100 42585 87970 | 15614 100 7 | 0.064 % | 20.58/20.79 c =============================================================================== 20.58/20.79 c core #563 20.58/20.79 c Core size: 125 Core Weight: 1 Total Weight: -197 20.58/20.79 c Elapsed CPU time: 20.5969 s Remaining CPU time: 1779.4 s 20.69/20.84 c ============================[ Search Statistics ]============================== 20.69/20.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.84 c =============================================================================== 20.69/20.84 c | 0 | 3136 42586 88038 | 14195 0 nan | 0.000 % | 20.69/20.86 c | 100 | 3107 42586 88038 | 15614 100 8 | 8.833 % | 20.69/20.86 c =============================================================================== 20.69/20.86 c core #564 20.69/20.86 c Core size: 95 Core Weight: 1 Total Weight: -196 20.69/20.86 c Elapsed CPU time: 20.6599 s Remaining CPU time: 1779.34 s 20.79/20.91 c ============================[ Search Statistics ]============================== 20.79/20.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.79/20.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.79/20.91 c =============================================================================== 20.79/20.91 c | 0 | 3170 42587 88106 | 14195 0 nan | 0.000 % | 20.79/20.92 c | 100 | 3167 42587 88106 | 15615 100 13 | 0.095 % | 20.79/20.93 c =============================================================================== 20.79/20.93 c core #565 20.79/20.93 c Core size: 103 Core Weight: 1 Total Weight: -195 20.79/20.93 c Elapsed CPU time: 20.7268 s Remaining CPU time: 1779.27 s 20.79/20.98 c ============================[ Search Statistics ]============================== 20.79/20.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.79/20.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.79/20.98 c =============================================================================== 20.79/20.98 c | 0 | 3200 42588 88166 | 14196 0 nan | 0.000 % | 20.79/20.99 c | 102 | 3200 42588 88166 | 15615 102 11 | 0.000 % | 20.88/21.00 c | 252 | 3199 42588 88166 | 17177 252 12 | 0.031 % | 20.88/21.01 c | 477 | 3191 42588 88166 | 18894 477 13 | 16.500 % | 20.88/21.01 c =============================================================================== 20.88/21.01 c core #566 20.88/21.01 c Core size: 249 Core Weight: 1 Total Weight: -194 20.88/21.01 c Elapsed CPU time: 20.8098 s Remaining CPU time: 1779.19 s 20.88/21.07 c ============================[ Search Statistics ]============================== 20.88/21.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.88/21.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.88/21.07 c =============================================================================== 20.88/21.07 c | 0 | 3265 42589 88296 | 14196 0 nan | 0.000 % | 20.88/21.08 c =============================================================================== 20.88/21.08 c core #567 20.88/21.08 c Core size: 30 Core Weight: 1 Total Weight: -193 20.88/21.08 c Elapsed CPU time: 20.8748 s Remaining CPU time: 1779.13 s 20.97/21.13 c ============================[ Search Statistics ]============================== 20.97/21.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.97/21.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.97/21.13 c =============================================================================== 20.97/21.13 c | 0 | 3273 42590 88312 | 14196 0 nan | 0.000 % | 20.97/21.14 c | 100 | 3268 42590 88312 | 15616 100 7 | 0.153 % | 20.97/21.15 c =============================================================================== 20.97/21.15 c core #568 20.97/21.15 c Core size: 82 Core Weight: 1 Total Weight: -192 20.97/21.15 c Elapsed CPU time: 20.9418 s Remaining CPU time: 1779.06 s 21.07/21.20 c ============================[ Search Statistics ]============================== 21.07/21.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.07/21.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.07/21.20 c =============================================================================== 21.07/21.20 c | 0 | 3297 42591 88360 | 14197 0 nan | 0.000 % | 21.07/21.22 c | 100 | 3297 42591 88360 | 15616 100 18 | 0.000 % | 21.07/21.22 c | 252 | 3297 42591 88360 | 17178 252 21 | 0.000 % | 21.07/21.23 c | 478 | 3297 42591 88360 | 18896 478 21 | 0.000 % | 21.07/21.25 c | 815 | 3297 42591 88360 | 20785 815 26 | 0.000 % | 21.07/21.29 c | 1324 | 3294 42591 88360 | 22864 1318 30 | 0.091 % | 21.17/21.36 c | 2084 | 3275 42591 88360 | 25150 2078 35 | 3.336 % | 21.27/21.47 c | 3225 | 3252 42591 88360 | 27665 3219 39 | 9.312 % | 21.37/21.55 c =============================================================================== 21.37/21.58 c core #569 21.37/21.58 c Core size: 553 Core Weight: 1 Total Weight: -191 21.37/21.58 c Elapsed CPU time: 21.3568 s Remaining CPU time: 1778.64 s 21.48/21.64 c ============================[ Search Statistics ]============================== 21.48/21.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.64 c =============================================================================== 21.48/21.64 c | 0 | 3408 42592 88582 | 14197 0 nan | 0.000 % | 21.48/21.65 c | 102 | 3408 42592 88582 | 15617 102 11 | 0.000 % | 21.48/21.65 c =============================================================================== 21.48/21.65 c core #570 21.48/21.65 c Core size: 81 Core Weight: 1 Total Weight: -190 21.48/21.65 c Elapsed CPU time: 21.4257 s Remaining CPU time: 1778.57 s 21.57/21.70 c ============================[ Search Statistics ]============================== 21.57/21.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.57/21.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.57/21.70 c =============================================================================== 21.57/21.70 c | 0 | 3434 42593 88634 | 14197 0 nan | 0.000 % | 21.57/21.72 c | 100 | 3434 42593 88634 | 15617 100 14 | 0.000 % | 21.57/21.73 c | 251 | 3434 42593 88634 | 17179 251 11 | 0.000 % | 21.57/21.74 c | 479 | 3434 42593 88634 | 18897 479 13 | 0.000 % | 21.57/21.75 c =============================================================================== 21.57/21.76 c core #571 21.57/21.76 c Core size: 410 Core Weight: 1 Total Weight: -189 21.57/21.76 c Elapsed CPU time: 21.5277 s Remaining CPU time: 1778.47 s 21.67/21.81 c ============================[ Search Statistics ]============================== 21.67/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.67/21.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.67/21.81 c =============================================================================== 21.67/21.81 c | 0 | 3504 42594 88774 | 14198 0 nan | 0.000 % | 21.67/21.83 c | 103 | 3503 42594 88774 | 15617 103 12 | 0.029 % | 21.67/21.84 c | 256 | 3474 42594 88774 | 17179 256 16 | 9.332 % | 21.67/21.84 c =============================================================================== 21.67/21.85 c core #572 21.67/21.85 c Core size: 147 Core Weight: 1 Total Weight: -188 21.67/21.85 c Elapsed CPU time: 21.6127 s Remaining CPU time: 1778.39 s 21.67/21.90 c ============================[ Search Statistics ]============================== 21.67/21.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.67/21.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.67/21.90 c =============================================================================== 21.67/21.90 c | 0 | 3550 42595 88866 | 14198 0 nan | 0.000 % | 21.78/21.91 c | 100 | 3550 42595 88866 | 15618 100 15 | 0.000 % | 21.78/21.92 c | 250 | 3548 42595 88866 | 17179 250 14 | 0.056 % | 21.78/21.93 c =============================================================================== 21.78/21.93 c core #573 21.78/21.93 c Core size: 271 Core Weight: 1 Total Weight: -187 21.78/21.93 c Elapsed CPU time: 21.6957 s Remaining CPU time: 1778.3 s 21.78/21.98 c ============================[ Search Statistics ]============================== 21.78/21.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.98 c =============================================================================== 21.78/21.98 c | 0 | 3618 42596 89002 | 14198 0 nan | 0.000 % | 21.78/22.00 c | 100 | 3618 42596 89002 | 15618 100 9 | 0.000 % | 21.88/22.01 c | 252 | 3618 42596 89002 | 17180 252 15 | 0.000 % | 21.88/22.03 c | 482 | 3613 42596 89002 | 18898 482 17 | 0.166 % | 21.88/22.05 c | 823 | 3611 42596 89002 | 20788 812 20 | 0.193 % | 21.97/22.10 c | 1330 | 3610 42596 89002 | 22867 1319 23 | 0.221 % | 21.97/22.19 c | 2089 | 3610 42596 89002 | 25153 2076 25 | 0.223 % | 21.97/22.19 c =============================================================================== 22.07/22.21 c core #574 22.07/22.21 c Core size: 369 Core Weight: 1 Total Weight: -186 22.07/22.21 c Elapsed CPU time: 21.9697 s Remaining CPU time: 1778.03 s 22.07/22.26 c ============================[ Search Statistics ]============================== 22.07/22.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.07/22.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.07/22.26 c =============================================================================== 22.07/22.26 c | 0 | 3674 42597 89114 | 14199 0 nan | 0.000 % | 22.07/22.28 c | 100 | 3674 42597 89114 | 15618 100 10 | 0.000 % | 22.07/22.29 c | 251 | 3674 42597 89114 | 17180 251 14 | 0.000 % | 22.18/22.30 c | 476 | 3674 42597 89114 | 18898 476 20 | 0.000 % | 22.18/22.32 c =============================================================================== 22.18/22.32 c core #575 22.18/22.32 c Core size: 392 Core Weight: 1 Total Weight: -185 22.18/22.32 c Elapsed CPU time: 22.0766 s Remaining CPU time: 1777.92 s 22.18/22.37 c ============================[ Search Statistics ]============================== 22.18/22.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.18/22.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.18/22.37 c =============================================================================== 22.18/22.37 c | 0 | 3728 42598 89222 | 14199 0 nan | 0.000 % | 22.18/22.39 c | 101 | 3728 42598 89222 | 15619 101 15 | 0.000 % | 22.28/22.40 c | 251 | 3728 42598 89222 | 17181 251 13 | 0.000 % | 22.28/22.41 c | 477 | 3728 42598 89222 | 18899 477 15 | 0.000 % | 22.28/22.43 c | 815 | 3728 42598 89222 | 20789 815 18 | 0.000 % | 22.28/22.47 c | 1321 | 3728 42598 89222 | 22868 1321 28 | 0.000 % | 22.37/22.54 c | 2080 | 3726 42598 89222 | 25154 2079 34 | 0.054 % | 22.48/22.67 c | 3220 | 3724 42598 89222 | 27670 3219 37 | 0.107 % | 22.77/22.92 c | 4928 | 3723 42598 89222 | 30437 4921 40 | 0.134 % | 23.28/23.43 c | 7490 | 3723 42598 89222 | 33481 7470 42 | 0.134 % | 24.47/24.62 c | 11335 | 3723 42598 89222 | 36829 11315 43 | 0.134 % | 24.97/25.14 c =============================================================================== 25.07/25.29 c core #576 25.07/25.29 c Core size: 1374 Core Weight: 1 Total Weight: -184 25.07/25.29 c Elapsed CPU time: 25.0132 s Remaining CPU time: 1774.99 s 25.17/25.37 c ============================[ Search Statistics ]============================== 25.17/25.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.17/25.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.17/25.37 c =============================================================================== 25.17/25.37 c | 0 | 3851 42599 89468 | 14199 0 nan | 0.000 % | 25.17/25.39 c | 100 | 3851 42599 89468 | 15619 100 14 | 0.000 % | 25.17/25.40 c | 250 | 3848 42599 89468 | 17181 250 13 | 0.078 % | 25.27/25.41 c | 477 | 3824 42599 89468 | 18899 477 14 | 2.467 % | 25.27/25.41 c =============================================================================== 25.27/25.41 c core #577 25.27/25.41 c Core size: 204 Core Weight: 1 Total Weight: -183 25.27/25.41 c Elapsed CPU time: 25.1222 s Remaining CPU time: 1774.88 s 25.27/25.45 c ============================[ Search Statistics ]============================== 25.27/25.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.27/25.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.27/25.45 c =============================================================================== 25.27/25.45 c | 0 | 3909 42600 89584 | 14200 0 nan | 0.000 % | 25.27/25.47 c | 102 | 3909 42600 89584 | 15620 102 27 | 0.000 % | 25.27/25.48 c | 252 | 3909 42600 89584 | 17182 252 24 | 0.000 % | 25.37/25.50 c | 477 | 3909 42600 89584 | 18900 477 27 | 0.000 % | 25.37/25.52 c | 814 | 3909 42600 89584 | 20790 814 27 | 0.000 % | 25.37/25.56 c | 1322 | 3909 42600 89584 | 22869 1322 33 | 0.000 % | 25.47/25.64 c | 2081 | 3909 42600 89584 | 25156 2081 37 | 0.000 % | 25.57/25.77 c | 3220 | 3909 42600 89584 | 27671 3220 43 | 0.000 % | 25.76/25.99 c | 4929 | 3909 42600 89584 | 30438 4929 46 | 0.000 % | 26.17/26.38 c | 7491 | 3909 42600 89584 | 33482 7491 47 | 0.000 % | 27.17/27.40 c | 11339 | 3907 42600 89584 | 36831 11282 51 | 0.051 % | 27.27/27.43 c =============================================================================== 27.37/27.54 c core #578 27.37/27.54 c Core size: 1167 Core Weight: 1 Total Weight: -182 27.37/27.54 c Elapsed CPU time: 27.2069 s Remaining CPU time: 1772.79 s 27.47/27.61 c ============================[ Search Statistics ]============================== 27.47/27.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.47/27.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.47/27.61 c =============================================================================== 27.47/27.61 c | 0 | 4026 42601 89818 | 14200 0 nan | 0.000 % | 27.47/27.63 c | 101 | 4026 42601 89818 | 15620 101 18 | 0.000 % | 27.47/27.64 c | 251 | 4026 42601 89818 | 17182 251 18 | 0.000 % | 27.47/27.65 c | 476 | 4026 42601 89818 | 18900 476 21 | 0.000 % | 27.47/27.68 c | 815 | 4026 42601 89818 | 20790 815 32 | 0.000 % | 27.56/27.73 c | 1322 | 4025 42601 89818 | 22869 1319 35 | 0.025 % | 27.66/27.80 c | 2082 | 4025 42601 89818 | 25156 2079 38 | 0.025 % | 27.76/27.91 c | 3222 | 4025 42601 89818 | 27672 3219 40 | 0.025 % | 27.96/28.18 c | 4930 | 4025 42601 89818 | 30439 4927 42 | 0.025 % | 28.56/28.70 c | 7495 | 4025 42601 89818 | 33483 7492 45 | 0.025 % | 29.86/30.01 c | 11342 | 4025 42601 89818 | 36832 11339 47 | 0.025 % | 30.27/30.48 c =============================================================================== 30.47/30.63 c core #579 30.47/30.63 c Core size: 1251 Core Weight: 1 Total Weight: -181 30.47/30.63 c Elapsed CPU time: 30.2454 s Remaining CPU time: 1769.75 s 30.47/30.69 c ============================[ Search Statistics ]============================== 30.47/30.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.47/30.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.47/30.69 c =============================================================================== 30.47/30.69 c | 0 | 4152 42602 90070 | 14200 0 nan | 0.000 % | 30.57/30.70 c | 100 | 4152 42602 90070 | 15620 100 18 | 0.000 % | 30.57/30.71 c | 251 | 4152 42602 90070 | 17182 251 17 | 0.000 % | 30.57/30.73 c | 477 | 4152 42602 90070 | 18901 477 19 | 0.000 % | 30.57/30.75 c | 814 | 4152 42602 90070 | 20791 814 21 | 0.000 % | 30.57/30.80 c | 1322 | 4152 42602 90070 | 22870 1322 28 | 0.000 % | 30.66/30.88 c | 2082 | 4148 42602 90070 | 25157 2080 34 | 0.096 % | 30.87/31.02 c | 3222 | 4147 42602 90070 | 27673 3209 39 | 0.120 % | 31.06/31.28 c | 4933 | 4147 42602 90070 | 30440 4919 45 | 0.120 % | 31.67/31.81 c | 7496 | 4147 42602 90070 | 33484 7482 50 | 0.120 % | 33.16/33.39 c | 11340 | 4147 42602 90070 | 36832 11326 59 | 0.120 % | 36.26/36.44 c | 17107 | 4147 42602 90070 | 40516 17093 64 | 0.120 % | 41.46/41.61 c | 25757 | 4147 42602 90070 | 44567 25743 67 | 0.120 % | 57.85/58.01 c | 38733 | 4143 42602 90070 | 49024 38711 67 | 0.217 % | 70.15/70.39 c =============================================================================== 70.95/71.12 c core #580 70.95/71.12 c Core size: 1487 Core Weight: 1 Total Weight: -180 70.95/71.12 c Elapsed CPU time: 70.5323 s Remaining CPU time: 1729.47 s 71.05/71.23 c ============================[ Search Statistics ]============================== 71.05/71.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.05/71.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.05/71.23 c =============================================================================== 71.05/71.23 c | 0 | 4284 42603 90334 | 14201 0 nan | 0.000 % | 71.05/71.26 c | 100 | 4284 42603 90334 | 15621 100 27 | 0.000 % | 71.05/71.26 c | 252 | 4284 42603 90334 | 17183 252 26 | 0.000 % | 71.05/71.28 c | 480 | 4284 42603 90334 | 18901 480 27 | 0.000 % | 71.05/71.30 c | 817 | 4284 42603 90334 | 20791 817 27 | 0.000 % | 71.15/71.33 c | 1323 | 4284 42603 90334 | 22870 1323 28 | 0.000 % | 71.15/71.39 c | 2083 | 4283 42603 90334 | 25157 2080 33 | 0.023 % | 71.25/71.48 c | 3223 | 4283 42603 90334 | 27673 3220 35 | 0.023 % | 71.45/71.67 c | 4933 | 4280 42603 90334 | 30441 4923 36 | 0.093 % | 71.95/72.14 c | 7501 | 4280 42603 90334 | 33485 7491 45 | 0.093 % | 72.45/72.64 c | 11347 | 4280 42603 90334 | 36833 11337 52 | 0.093 % | 73.45/73.67 c | 17115 | 4159 42603 90334 | 40517 15593 53 | 2.918 % | 73.65/73.88 c =============================================================================== 73.85/74.00 c core #581 73.85/74.00 c Core size: 806 Core Weight: 1 Total Weight: -179 73.85/74.00 c Elapsed CPU time: 73.3588 s Remaining CPU time: 1726.64 s 73.85/74.07 c ============================[ Search Statistics ]============================== 73.85/74.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.85/74.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.85/74.07 c =============================================================================== 73.85/74.07 c | 0 | 4414 42604 90594 | 14201 0 nan | 0.000 % | 73.85/74.08 c | 100 | 4414 42604 90594 | 15621 100 17 | 0.000 % | 73.85/74.09 c | 250 | 4414 42604 90594 | 17183 250 24 | 0.000 % | 73.94/74.11 c | 477 | 4414 42604 90594 | 18901 477 28 | 0.000 % | 73.94/74.13 c | 814 | 4414 42604 90594 | 20792 814 33 | 0.000 % | 73.94/74.16 c | 1320 | 4414 42604 90594 | 22871 1320 32 | 0.000 % | 74.04/74.21 c | 2079 | 4414 42604 90594 | 25158 2079 37 | 0.000 % | 74.14/74.30 c | 3218 | 4414 42604 90594 | 27674 3218 41 | 0.000 % | 74.34/74.51 c | 4929 | 4414 42604 90594 | 30441 4929 51 | 0.000 % | 74.85/75.06 c | 7492 | 4414 42604 90594 | 33486 7492 62 | 0.000 % | 75.54/75.78 c | 11337 | 4414 42604 90594 | 36834 11337 81 | 0.000 % | 77.24/77.43 c | 17103 | 4413 42604 90594 | 40518 17056 83 | 0.023 % | 80.74/80.91 c | 25755 | 4411 42604 90594 | 44569 25708 93 | 0.068 % | 90.04/90.23 c | 38730 | 4411 42604 90594 | 49026 38683 104 | 0.068 % | 100.13/100.39 c | 58193 | 4411 42604 90594 | 53929 23030 98 | 0.068 % | 133.03/133.25 c | 87385 | 4411 42604 90594 | 59322 52222 106 | 0.068 % | 177.11/177.33 c | 131181 | 4410 42604 90594 | 65254 52564 92 | 0.091 % | 259.29/259.53 c | 196865 | 4409 42604 90594 | 71780 18903 80 | 0.113 % | 361.75/362.04 c | 295392 | 4409 42604 90594 | 78958 63066 88 | 0.113 % | 426.23/426.53 c =============================================================================== 434.02/434.31 c core #582 434.02/434.31 c Core size: 2110 Core Weight: 1 Total Weight: -178 434.02/434.31 c Elapsed CPU time: 432.071 s Remaining CPU time: 1367.93 s 434.43/434.73 c ============================[ Search Statistics ]============================== 434.43/434.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 434.43/434.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 434.43/434.73 c =============================================================================== 434.43/434.73 c | 0 | 4570 42605 90906 | 14201 0 nan | 0.000 % | 434.52/434.80 c | 102 | 4570 42605 90906 | 15621 102 15 | 0.000 % | 434.52/434.81 c | 252 | 4570 42605 90906 | 17184 252 17 | 0.000 % | 434.52/434.83 c | 477 | 4570 42605 90906 | 18902 477 24 | 0.000 % | 434.52/434.86 c | 814 | 4570 42605 90906 | 20792 814 29 | 0.000 % | 434.63/434.90 c | 1320 | 4570 42605 90906 | 22871 1320 34 | 0.000 % | 434.63/434.97 c | 2079 | 4570 42605 90906 | 25159 2079 46 | 0.000 % | 434.73/435.09 c | 3219 | 4570 42605 90906 | 27675 3219 51 | 0.000 % | 435.02/435.30 c | 4927 | 4570 42605 90906 | 30442 4927 54 | 0.000 % | 435.52/435.80 c | 7491 | 4570 42605 90906 | 33486 7491 68 | 0.000 % | 436.42/436.72 c | 11335 | 4570 42605 90906 | 36835 11335 72 | 0.000 % | 438.72/439.03 c | 17101 | 4570 42605 90906 | 40519 17101 75 | 0.000 % | 444.12/444.45 c | 25753 | 4570 42605 90906 | 44570 25753 83 | 0.000 % | 457.42/457.72 c | 38728 | 4570 42605 90906 | 49028 38728 88 | 0.000 % | 478.01/478.35 c | 58189 | 4570 42605 90906 | 53930 23959 90 | 0.000 % | 522.40/522.72 c | 87385 | 4570 42605 90906 | 59323 53155 109 | 0.000 % | 595.27/595.64 c | 131189 | 4570 42605 90906 | 65256 53438 111 | 0.000 % | 683.75/684.11 c =============================================================================== 691.14/691.55 c core #583 691.14/691.55 c Core size: 2234 Core Weight: 1 Total Weight: -177 691.14/691.55 c Elapsed CPU time: 688.491 s Remaining CPU time: 1111.51 s 691.45/691.84 c ============================[ Search Statistics ]============================== 691.45/691.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 691.45/691.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 691.45/691.84 c =============================================================================== 691.45/691.84 c | 0 | 4736 42606 91238 | 14202 0 nan | 0.000 % | 691.45/691.88 c | 102 | 4736 42606 91238 | 15622 102 22 | 0.000 % | 691.45/691.90 c | 252 | 4736 42606 91238 | 17184 252 23 | 0.000 % | 691.54/691.92 c | 478 | 4736 42606 91238 | 18902 478 25 | 0.000 % | 691.54/691.97 c | 816 | 4736 42606 91238 | 20793 816 35 | 0.000 % | 691.64/692.02 c | 1322 | 4736 42606 91238 | 22872 1322 46 | 0.000 % | 691.74/692.13 c | 2081 | 4736 42606 91238 | 25159 2081 63 | 0.000 % | 691.94/692.34 c | 3220 | 4736 42606 91238 | 27675 3220 76 | 0.000 % | 692.34/692.79 c | 4930 | 4736 42606 91238 | 30443 4930 85 | 0.000 % | 693.24/693.67 c | 7492 | 4736 42606 91238 | 33487 7492 93 | 0.000 % | 694.34/694.72 c | 11336 | 4736 42606 91238 | 36836 11336 94 | 0.000 % | 696.84/697.20 c | 17103 | 4736 42606 91238 | 40519 17103 96 | 0.000 % | 702.64/703.02 c | 25752 | 4736 42606 91238 | 44571 25752 100 | 0.000 % | 716.73/717.15 c | 38726 | 4736 42606 91238 | 49029 38726 109 | 0.000 % | 738.53/738.96 c | 58187 | 4736 42606 91238 | 53932 22665 102 | 0.000 % | 772.42/772.89 c | 87380 | 4734 42606 91238 | 59325 51855 105 | 0.042 % | 825.10/825.54 c | 131170 | 4734 42606 91238 | 65257 51148 100 | 0.042 % | 932.86/933.37 c | 196854 | 4727 42606 91238 | 71783 16859 110 | 0.190 % | 1087.31/1087.84 c | 295381 | 4727 42606 91238 | 78961 59239 130 | 0.190 % | 1118.80/1119.31 c =============================================================================== 1128.11/1128.62 c core #584 1128.11/1128.62 c Core size: 2704 Core Weight: 1 Total Weight: -176 1128.11/1128.62 c Elapsed CPU time: 1123.93 s Remaining CPU time: 676.069 s 1128.50/1129.06 c ============================[ Search Statistics ]============================== 1128.50/1129.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1128.50/1129.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1128.50/1129.06 c =============================================================================== 1128.50/1129.06 c | 0 | 4913 42607 91592 | 14202 0 nan | 0.000 % | 1128.60/1129.13 c | 100 | 4913 42607 91592 | 15622 100 51 | 0.000 % | 1128.60/1129.14 c | 250 | 4913 42607 91592 | 17184 250 37 | 0.000 % | 1128.60/1129.16 c | 475 | 4913 42607 91592 | 18903 475 35 | 0.000 % | 1128.69/1129.20 c | 812 | 4913 42607 91592 | 20793 812 54 | 0.000 % | 1128.69/1129.24 c | 1318 | 4913 42607 91592 | 22872 1318 54 | 0.000 % | 1128.80/1129.30 c | 2081 | 4913 42607 91592 | 25160 2081 56 | 0.000 % | 1128.90/1129.47 c | 3220 | 4913 42607 91592 | 27676 3220 75 | 0.000 % | 1129.21/1129.75 c | 4930 | 4913 42607 91592 | 30443 4930 94 | 0.000 % | 1129.70/1130.28 c | 7492 | 4913 42607 91592 | 33488 7492 98 | 0.000 % | 1130.70/1131.24 c | 11338 | 4913 42607 91592 | 36837 11338 111 | 0.000 % | 1132.89/1133.42 c | 17105 | 4913 42607 91592 | 40520 17105 128 | 0.000 % | 1138.70/1139.26 c | 25757 | 4913 42607 91592 | 44573 25757 156 | 0.000 % | 1157.39/1157.92 c | 38734 | 4913 42607 91592 | 49030 38734 182 | 0.000 % | 1178.28/1178.85 c | 58197 | 4913 42607 91592 | 53933 23734 210 | 0.000 % | 1232.86/1233.46 c | 87394 | 4913 42607 91592 | 59326 52931 220 | 0.000 % | 1300.24/1300.82 c | 131183 | 4913 42607 91592 | 65259 53336 218 | 0.000 % | 1447.19/1447.87 c | 196868 | 4913 42607 91592 | 71785 17484 225 | 0.000 % | 1589.15/1589.80 c | 295395 | 4912 42607 91592 | 78963 58110 160 | 0.020 % | 1781.29/1782.03 c =============================================================================== 1785.79/1786.52 c core #585 1785.79/1786.52 c Core size: 2011 Core Weight: 1 Total Weight: -175 1785.79/1786.52 c Elapsed CPU time: 1779.48 s Remaining CPU time: 20.5245 s 1786.28/1787.06 c ============================[ Search Statistics ]============================== 1786.28/1787.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1786.28/1787.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1786.28/1787.06 c =============================================================================== 1786.28/1787.06 c | 0 | 5066 42608 91898 | 14202 0 nan | 0.000 % | 1786.38/1787.14 c | 100 | 5066 42608 91898 | 15622 100 14 | 0.000 % | 1786.38/1787.17 c | 251 | 5065 42608 91898 | 17185 251 20 | 0.020 % | 1786.38/1787.19 c | 476 | 5065 42608 91898 | 18903 476 24 | 0.020 % | 1786.49/1787.23 c | 813 | 5065 42608 91898 | 20794 813 37 | 0.020 % | 1786.49/1787.26 c | 1319 | 5064 42608 91898 | 22873 1318 40 | 0.039 % | 1786.58/1787.36 c | 2078 | 5059 42608 91898 | 25160 2068 48 | 0.138 % | 1786.78/1787.52 c | 3217 | 5057 42608 91898 | 27676 3191 50 | 0.178 % | 1786.98/1787.76 c | 4925 | 5057 42608 91898 | 30444 4899 66 | 0.178 % | 1787.58/1788.38 c | 7488 | 5055 42608 91898 | 33489 7461 96 | 0.217 % | 1788.38/1789.13 c | 11332 | 5054 42608 91898 | 36838 11295 96 | 0.237 % | 1790.08/1790.81 c | 17098 | 5054 42608 91898 | 40521 17061 116 | 0.237 % | 1794.88/1795.67 c | 25748 | 5054 42608 91898 | 44574 25711 135 | 0.237 % |
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-1875715-1245164994/watcher-1875715-1245164994 -o /tmp/evaluation-result-1875715-1245164994/solver-1875715-1245164994 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875715-1245164994.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 32743 /proc/meminfo: memFree=1855388/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=3500 CPUtime=0 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 184096657 3584000 201 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 875 201 128 292 0 339 0 [startup+0.07483 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32743 /proc/meminfo: memFree=1855388/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=4436 CPUtime=0.07 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 570 0 0 0 7 0 0 0 18 0 1 0 184096657 4542464 554 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1109 554 267 292 0 573 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4436 [startup+0.102834 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32743 /proc/meminfo: memFree=1855388/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=4732 CPUtime=0.09 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 706 0 0 0 9 0 0 0 18 0 1 0 184096657 4845568 690 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1183 692 323 292 0 647 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4732 [startup+0.302869 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32743 /proc/meminfo: memFree=1855388/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=6404 CPUtime=0.29 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 1481 0 0 0 29 0 0 0 19 0 1 0 184096657 6557696 1108 1992294400 134512640 135709839 4294956240 18446744073709551615 135163543 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1601 1108 133 292 0 1306 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6404 [startup+0.701936 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32743 /proc/meminfo: memFree=1855388/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=6324 CPUtime=0.69 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 1543 0 0 0 69 0 0 0 22 0 1 0 184096657 6475776 1108 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1581 1108 133 292 0 1286 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6324 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1851476/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=6324 CPUtime=1.49 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 1544 0 0 0 149 0 0 0 25 0 1 0 184096657 6475776 1109 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1581 1109 133 292 0 1286 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6324 [startup+3.10134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1851348/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=6324 CPUtime=3.09 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 1554 0 0 0 309 0 0 0 25 0 1 0 184096657 6475776 1119 1992294400 134512640 135709839 4294956240 18446744073709551615 134517463 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1581 1119 133 292 0 1286 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6324 [startup+6.30189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1850644/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=6984 CPUtime=6.29 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 1736 0 0 0 628 1 0 0 25 0 1 0 184096657 7151616 1301 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 1746 1301 133 292 0 1451 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6984 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1848604/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=9424 CPUtime=12.65 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 2284 0 0 0 1263 2 0 0 25 0 1 0 184096657 9650176 1849 1992294400 134512640 135709839 4294956240 18446744073709551615 135167892 0 0 4096 3 0 0 0 17 0 0 0 /proc/32743/statm: 2356 1849 135 292 0 2061 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 9424 [startup+25.5022 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1838812/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=20772 CPUtime=25.37 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 5423 0 0 0 2520 17 0 0 25 0 1 0 184096657 21270528 4689 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 5193 4689 136 292 0 4898 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 20772 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1824860/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=32644 CPUtime=50.96 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 8399 0 0 0 5056 40 0 0 25 0 1 0 184096657 33427456 7665 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 8161 7665 136 292 0 7866 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 32644 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1803036/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=54336 CPUtime=102.14 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 13823 0 0 0 10141 73 0 0 25 0 1 0 184096657 55640064 13089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 13584 13089 136 292 0 13289 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 54336 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1766812/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=90780 CPUtime=162.11 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 22940 0 0 0 16113 98 0 0 25 0 1 0 184096657 92958720 22206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 22695 22206 136 292 0 22400 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 90780 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1733724/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=123608 CPUtime=222.09 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 31091 0 0 0 22088 121 0 0 25 0 1 0 184096657 126574592 30357 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 30902 30357 136 292 0 30607 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 123608 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1701148/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=156540 CPUtime=282.07 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 39303 0 0 0 28063 144 0 0 25 0 1 0 184096657 160296960 38569 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 39135 38569 136 292 0 38840 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 156540 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1668380/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=188960 CPUtime=342.06 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 47400 0 0 0 34038 168 0 0 25 0 1 0 184096657 193495040 46666 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 47240 46666 136 292 0 46945 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 188960 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1644316/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=213476 CPUtime=402.04 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 53486 0 0 0 40017 187 0 0 25 0 1 0 184096657 218599424 52752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 53369 52752 136 292 0 53074 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 213476 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1621148/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=236068 CPUtime=462.01 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 59183 0 0 0 45987 214 0 0 25 0 1 0 184096657 241733632 58371 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 59017 58371 136 292 0 58722 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 236068 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1620764/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=236068 CPUtime=521.99 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 59310 0 0 0 51971 228 0 0 25 0 1 0 184096657 241733632 58498 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 59017 58498 136 292 0 58722 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 236068 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1604508/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=252536 CPUtime=581.98 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 63427 0 0 0 57952 246 0 0 25 0 1 0 184096657 258596864 62615 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 63134 62615 136 292 0 62839 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 252536 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1587164/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=269748 CPUtime=641.96 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 67677 0 0 0 63937 259 0 0 25 0 1 0 184096657 276221952 66865 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 67437 66865 136 292 0 67142 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 269748 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1508700/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=347944 CPUtime=881.88 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 87236 0 0 0 87844 344 0 0 25 0 1 0 184096657 356294656 86424 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 86986 86424 136 292 0 86691 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 347944 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1483548/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=373600 CPUtime=941.86 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 93612 0 0 0 93823 363 0 0 25 0 1 0 184096657 382566400 92800 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 93400 92800 136 292 0 93105 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 373600 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1460252/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=396604 CPUtime=1001.84 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 99346 0 0 0 99808 376 0 0 25 0 1 0 184096657 406122496 98534 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 99151 98534 136 292 0 98856 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 396604 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1428380/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=428976 CPUtime=1061.82 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 107415 0 0 0 105786 396 0 0 25 0 1 0 184096657 439271424 106603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 107244 106603 136 292 0 106949 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 428976 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1394524/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=462756 CPUtime=1121.8 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 115836 0 0 0 111761 419 0 0 25 0 1 0 184096657 473862144 115024 1992294400 134512640 135709839 4294956240 18446744073709551615 134516598 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 115689 115024 136 292 0 115394 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 462756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1388700/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=467448 CPUtime=1181.78 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 117145 0 0 0 117735 443 0 0 25 0 1 0 184096657 478666752 116333 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 116862 116333 136 292 0 116567 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 467448 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1388636/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=467448 CPUtime=1241.75 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 117153 0 0 0 123721 454 0 0 25 0 1 0 184096657 478666752 116341 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 116862 116341 136 292 0 116567 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 467448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1360220/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=495736 CPUtime=1301.74 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 124234 0 0 0 129698 476 0 0 25 0 1 0 184096657 507633664 123422 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 123934 123422 136 292 0 123639 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 495736 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1319964/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=536556 CPUtime=1361.72 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 134400 0 0 0 135673 499 0 0 25 0 1 0 184096657 549433344 133588 1992294400 134512640 135709839 4294956240 18446744073709551615 134579092 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 134139 133588 136 292 0 133844 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 536556 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1299164/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=556780 CPUtime=1421.71 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 139464 0 0 0 141660 511 0 0 25 0 1 0 184096657 570142720 138652 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 139195 138652 136 292 0 138900 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 556780 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1264284/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=591944 CPUtime=1481.68 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 148220 0 0 0 147641 527 0 0 25 0 1 0 184096657 606150656 147408 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 147986 147408 136 292 0 147691 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 591944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1234204/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=621828 CPUtime=1541.66 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 155686 0 0 0 153624 542 0 0 25 0 1 0 184096657 636751872 154874 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 155457 154874 136 292 0 155162 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 621828 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1188252/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=667980 CPUtime=1601.64 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 167217 0 0 0 159593 571 0 0 25 0 1 0 184096657 684011520 166405 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 166995 166405 136 292 0 166700 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 667980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1151644/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=704476 CPUtime=1661.62 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 176307 0 0 0 165566 596 0 0 25 0 1 0 184096657 721383424 175495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 176119 175495 136 292 0 175824 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 704476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1119900/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=736824 CPUtime=1721.61 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 184324 0 0 0 171544 617 0 0 25 0 1 0 184096657 754507776 183512 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 184206 183512 136 292 0 183911 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 736824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1096796/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=760052 CPUtime=1781.59 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 190108 0 0 0 177526 633 0 0 25 0 1 0 184096657 778293248 189296 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 190013 189296 136 292 0 189718 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 760052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1090012/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=766068 CPUtime=1800.08 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4194304 191622 0 0 0 179361 647 0 0 25 0 1 0 184096657 784453632 190810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/statm: 191517 190810 136 292 0 191222 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 766068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32744 /proc/meminfo: memFree=1090012/2055920 swapFree=4181368/4192956 [pid=32743] ppid=32741 vsize=0 CPUtime=1800.18 /proc/32743/stat : 32743 (wbo) R 32741 32743 32547 0 -1 4195332 191622 0 0 0 179361 657 0 0 25 0 1 0 184096657 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32743/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.93 CPU time (s): 1800.21 CPU user time (s): 1793.62 CPU system time (s): 6.596 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 766068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.62 system time used= 6.596 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 191622 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= 5543 runsolver used 1.16882 second user time and 4.03039 second system time The end
Begin job on node43 at 2009-06-16 17:09:55 IDJOB=1875715 IDBENCH=2242 IDSOLVER=698 FILE ID=node43/1875715-1245164994 PBS_JOBID= 9363835 Free space on /tmp= 66192 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-2.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-1875715-1245164994/watcher-1875715-1245164994 -o /tmp/evaluation-result-1875715-1245164994/solver-1875715-1245164994 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875715-1245164994.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED=628700733 node43.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.281 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.281 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: 1855804 kB Buffers: 41324 kB Cached: 97892 kB SwapCached: 5352 kB Active: 37900 kB Inactive: 109224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855804 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3336 kB Writeback: 0 kB Mapped: 13588 kB Slab: 38880 kB Committed_AS: 171456 kB PageTables: 1448 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-1875715-1245164994.opb Free space on /tmp at the end= 66188 MiB End job on node43 at 2009-06-16 17:39:57