Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
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 | 1794.8 |
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 | 41605 |
Number of constraints which are clauses | 41605 |
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-1875647-1245165268.opb. 0.00/0.00 c Instance file HOME/instance-1875647-1245165268.opb 0.00/0.00 c File size is 993315 bytes. 0.09/0.11 c Highest Coefficient sum: 3 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 760 | 0.09/0.11 c | Number Clauses: 42365 | 0.09/0.11 c | Number Cardinality: 0 | 0.09/0.11 c | Number PB Constraints: 0 | 0.09/0.11 c core #1 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: -759 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.13 c core #2 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: -758 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.15 c core #3 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: -757 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #4 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: -756 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.19 c core #5 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: -755 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.19/0.22 c core #6 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -754 0.19/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.24 c core #7 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -753 0.19/0.24 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.26 c core #8 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -752 0.19/0.26 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.28 c core #9 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -751 0.19/0.28 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.30/0.30 c core #10 0.30/0.30 c Core size: 3 Core Weight: 1 Total Weight: -750 0.30/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.30/0.32 c core #11 0.30/0.32 c Core size: 3 Core Weight: 1 Total Weight: -749 0.30/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.30/0.34 c core #12 0.30/0.34 c Core size: 3 Core Weight: 1 Total Weight: -748 0.30/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.30/0.36 c core #13 0.30/0.36 c Core size: 3 Core Weight: 1 Total Weight: -747 0.30/0.36 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.30/0.38 c core #14 0.30/0.38 c Core size: 3 Core Weight: 1 Total Weight: -746 0.30/0.38 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.40/0.40 c core #15 0.40/0.40 c Core size: 3 Core Weight: 1 Total Weight: -745 0.40/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.40/0.42 c core #16 0.40/0.42 c Core size: 3 Core Weight: 1 Total Weight: -744 0.40/0.42 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.40/0.44 c core #17 0.40/0.44 c Core size: 3 Core Weight: 1 Total Weight: -743 0.40/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.40/0.46 c core #18 0.40/0.46 c Core size: 3 Core Weight: 1 Total Weight: -742 0.40/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.40/0.48 c core #19 0.40/0.48 c Core size: 3 Core Weight: 1 Total Weight: -741 0.40/0.48 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.50/0.51 c core #20 0.50/0.51 c Core size: 3 Core Weight: 1 Total Weight: -740 0.50/0.51 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.50/0.53 c core #21 0.50/0.53 c Core size: 3 Core Weight: 1 Total Weight: -739 0.50/0.53 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.50/0.55 c core #22 0.50/0.55 c Core size: 3 Core Weight: 1 Total Weight: -738 0.50/0.55 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.50/0.57 c core #23 0.50/0.57 c Core size: 3 Core Weight: 1 Total Weight: -737 0.50/0.57 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.50/0.59 c core #24 0.50/0.59 c Core size: 3 Core Weight: 1 Total Weight: -736 0.50/0.59 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.59/0.61 c core #25 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -735 0.59/0.61 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.63 c core #26 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -734 0.59/0.63 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.66 c core #27 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -733 0.59/0.66 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 0.59/0.68 c core #28 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -732 0.59/0.68 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.69/0.70 c core #29 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -731 0.69/0.70 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.69/0.72 c core #30 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -730 0.69/0.72 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #31 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -729 0.69/0.74 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #32 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -728 0.69/0.76 c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s 0.69/0.78 c core #33 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -727 0.69/0.78 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.79/0.80 c core #34 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -726 0.79/0.80 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #35 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -725 0.79/0.82 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #36 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -724 0.79/0.84 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #37 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -723 0.79/0.86 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #38 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -722 0.79/0.89 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #39 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -721 0.89/0.91 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #40 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -720 0.89/0.93 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #41 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -719 0.89/0.95 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #42 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -718 0.89/0.97 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.99 c core #43 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -717 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 1.00/1.01 c core #44 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: -716 1.00/1.01 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.04 c core #45 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -715 1.00/1.04 c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #46 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: -714 1.00/1.06 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 1.00/1.08 c core #47 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: -713 1.00/1.08 c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s 1.00/1.10 c core #48 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: -712 1.00/1.10 c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s 1.10/1.12 c core #49 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: -711 1.10/1.12 c Elapsed CPU time: 1.11183 s Remaining CPU time: 1798.89 s 1.10/1.14 c core #50 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: -710 1.10/1.14 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.10/1.16 c core #51 1.10/1.16 c Core size: 3 Core Weight: 1 Total Weight: -709 1.10/1.16 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.10/1.19 c core #52 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -708 1.10/1.19 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #53 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -707 1.19/1.21 c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #54 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -706 1.19/1.23 c Elapsed CPU time: 1.22181 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #55 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -705 1.19/1.25 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #56 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -704 1.19/1.27 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.29/1.30 c core #57 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -703 1.29/1.30 c Elapsed CPU time: 1.2878 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #58 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -702 1.29/1.32 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #59 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -701 1.29/1.34 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #60 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -700 1.29/1.36 c Elapsed CPU time: 1.35479 s Remaining CPU time: 1798.65 s 1.29/1.39 c core #61 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -699 1.29/1.39 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #62 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -698 1.39/1.41 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.39/1.43 c core #63 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -697 1.39/1.43 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.39/1.45 c core #64 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: -696 1.39/1.45 c Elapsed CPU time: 1.44478 s Remaining CPU time: 1798.56 s 1.39/1.48 c core #65 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -695 1.39/1.48 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.49/1.50 c core #66 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: -694 1.49/1.50 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 1.49/1.52 c core #67 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -693 1.49/1.52 c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s 1.49/1.54 c core #68 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -692 1.49/1.54 c Elapsed CPU time: 1.53177 s Remaining CPU time: 1798.47 s 1.49/1.56 c core #69 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: -691 1.49/1.56 c Elapsed CPU time: 1.55376 s Remaining CPU time: 1798.45 s 1.49/1.59 c core #70 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -690 1.49/1.59 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.59/1.61 c core #71 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: -689 1.59/1.61 c Elapsed CPU time: 1.59876 s Remaining CPU time: 1798.4 s 1.59/1.63 c core #72 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: -688 1.59/1.63 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.59/1.65 c core #73 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -687 1.59/1.65 c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s 1.59/1.68 c core #74 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: -686 1.59/1.68 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.69/1.70 c core #75 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: -685 1.69/1.70 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.69/1.72 c core #76 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -684 1.69/1.72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.69/1.75 c core #77 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -683 1.69/1.75 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.69/1.77 c core #78 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: -682 1.69/1.77 c Elapsed CPU time: 1.75773 s Remaining CPU time: 1798.24 s 1.69/1.79 c core #79 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -681 1.69/1.79 c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #80 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -680 1.79/1.81 c Elapsed CPU time: 1.80373 s Remaining CPU time: 1798.2 s 1.79/1.84 c core #81 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: -679 1.79/1.84 c Elapsed CPU time: 1.82672 s Remaining CPU time: 1798.17 s 1.79/1.86 c core #82 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -678 1.79/1.86 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.79/1.88 c core #83 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -677 1.79/1.88 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.89/1.90 c core #84 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -676 1.89/1.90 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.89/1.93 c core #85 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -675 1.89/1.93 c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s 1.89/1.95 c core #86 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -674 1.89/1.95 c Elapsed CPU time: 1.9417 s Remaining CPU time: 1798.06 s 1.89/1.97 c core #87 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: -673 1.89/1.97 c Elapsed CPU time: 1.9637 s Remaining CPU time: 1798.04 s 1.99/2.00 c core #88 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -672 1.99/2.00 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.99/2.02 c core #89 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -671 1.99/2.02 c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s 1.99/2.05 c core #90 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -670 1.99/2.05 c Elapsed CPU time: 2.03669 s Remaining CPU time: 1797.96 s 1.99/2.07 c core #91 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -669 1.99/2.07 c Elapsed CPU time: 2.05969 s Remaining CPU time: 1797.94 s 1.99/2.09 c core #92 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: -668 1.99/2.09 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.10/2.12 c core #93 2.10/2.12 c Core size: 3 Core Weight: 1 Total Weight: -667 2.10/2.12 c Elapsed CPU time: 2.10668 s Remaining CPU time: 1797.89 s 2.10/2.14 c core #94 2.10/2.14 c Core size: 3 Core Weight: 1 Total Weight: -666 2.10/2.14 c Elapsed CPU time: 2.13068 s Remaining CPU time: 1797.87 s 2.10/2.16 c core #95 2.10/2.16 c Core size: 3 Core Weight: 1 Total Weight: -665 2.10/2.16 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.10/2.19 c core #96 2.10/2.19 c Core size: 3 Core Weight: 1 Total Weight: -664 2.10/2.19 c Elapsed CPU time: 2.17767 s Remaining CPU time: 1797.82 s 2.19/2.21 c core #97 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -663 2.19/2.21 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.19/2.23 c core #98 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -662 2.19/2.23 c Elapsed CPU time: 2.22366 s Remaining CPU time: 1797.78 s 2.19/2.26 c core #99 2.19/2.26 c Core size: 3 Core Weight: 1 Total Weight: -661 2.19/2.26 c Elapsed CPU time: 2.24666 s Remaining CPU time: 1797.75 s 2.19/2.28 c core #100 2.19/2.28 c Core size: 3 Core Weight: 1 Total Weight: -660 2.19/2.28 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.29/2.31 c core #101 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -659 2.29/2.31 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.29/2.33 c core #102 2.29/2.33 c Core size: 3 Core Weight: 1 Total Weight: -658 2.29/2.33 c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s 2.29/2.35 c core #103 2.29/2.35 c Core size: 3 Core Weight: 1 Total Weight: -657 2.29/2.35 c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s 2.29/2.38 c core #104 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -656 2.29/2.38 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.39/2.40 c core #105 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: -655 2.39/2.40 c Elapsed CPU time: 2.38864 s Remaining CPU time: 1797.61 s 2.39/2.42 c core #106 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -654 2.39/2.42 c Elapsed CPU time: 2.41263 s Remaining CPU time: 1797.59 s 2.39/2.45 c core #107 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -653 2.39/2.45 c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s 2.39/2.47 c core #108 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -652 2.39/2.47 c Elapsed CPU time: 2.45863 s Remaining CPU time: 1797.54 s 2.39/2.49 c core #109 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -651 2.39/2.49 c Elapsed CPU time: 2.48362 s Remaining CPU time: 1797.52 s 2.49/2.52 c core #110 2.49/2.52 c Core size: 3 Core Weight: 1 Total Weight: -650 2.49/2.52 c Elapsed CPU time: 2.50862 s Remaining CPU time: 1797.49 s 2.49/2.54 c core #111 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: -649 2.49/2.54 c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s 2.49/2.57 c core #112 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: -648 2.49/2.57 c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s 2.49/2.59 c core #113 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -647 2.49/2.59 c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s 2.59/2.62 c core #114 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -646 2.59/2.62 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.59/2.64 c core #115 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -645 2.59/2.64 c Elapsed CPU time: 2.6316 s Remaining CPU time: 1797.37 s 2.59/2.67 c core #116 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: -644 2.59/2.67 c Elapsed CPU time: 2.6546 s Remaining CPU time: 1797.35 s 2.59/2.69 c core #117 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -643 2.59/2.69 c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s 2.69/2.72 c core #118 2.69/2.72 c Core size: 3 Core Weight: 1 Total Weight: -642 2.69/2.72 c Elapsed CPU time: 2.70559 s Remaining CPU time: 1797.29 s 2.69/2.74 c core #119 2.69/2.74 c Core size: 3 Core Weight: 1 Total Weight: -641 2.69/2.74 c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s 2.69/2.77 c core #120 2.69/2.77 c Core size: 3 Core Weight: 1 Total Weight: -640 2.69/2.77 c Elapsed CPU time: 2.75458 s Remaining CPU time: 1797.25 s 2.69/2.79 c core #121 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: -639 2.69/2.79 c Elapsed CPU time: 2.77758 s Remaining CPU time: 1797.22 s 2.79/2.81 c core #122 2.79/2.81 c Core size: 3 Core Weight: 1 Total Weight: -638 2.79/2.81 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.79/2.84 c core #123 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -637 2.79/2.84 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.79/2.86 c core #124 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: -636 2.79/2.86 c Elapsed CPU time: 2.85257 s Remaining CPU time: 1797.15 s 2.79/2.89 c core #125 2.79/2.89 c Core size: 3 Core Weight: 1 Total Weight: -635 2.79/2.89 c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s 2.89/2.91 c core #126 2.89/2.91 c Core size: 3 Core Weight: 1 Total Weight: -634 2.89/2.91 c Elapsed CPU time: 2.90156 s Remaining CPU time: 1797.1 s 2.89/2.94 c core #127 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: -633 2.89/2.94 c Elapsed CPU time: 2.92656 s Remaining CPU time: 1797.07 s 2.89/2.96 c core #128 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: -632 2.89/2.96 c Elapsed CPU time: 2.95055 s Remaining CPU time: 1797.05 s 2.89/2.99 c core #129 2.89/2.99 c Core size: 3 Core Weight: 1 Total Weight: -631 2.89/2.99 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.01 c core #130 2.99/3.01 c Core size: 3 Core Weight: 1 Total Weight: -630 2.99/3.01 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.99/3.04 c core #131 2.99/3.04 c Core size: 3 Core Weight: 1 Total Weight: -629 2.99/3.04 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 s 2.99/3.06 c core #132 2.99/3.06 c Core size: 3 Core Weight: 1 Total Weight: -628 2.99/3.06 c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 s 2.99/3.09 c core #133 2.99/3.09 c Core size: 3 Core Weight: 1 Total Weight: -627 2.99/3.09 c Elapsed CPU time: 3.07453 s Remaining CPU time: 1796.93 s 3.09/3.11 c core #134 3.09/3.11 c Core size: 3 Core Weight: 1 Total Weight: -626 3.09/3.11 c Elapsed CPU time: 3.10053 s Remaining CPU time: 1796.9 s 3.09/3.14 c core #135 3.09/3.14 c Core size: 3 Core Weight: 1 Total Weight: -625 3.09/3.14 c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s 3.09/3.16 c core #136 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: -624 3.09/3.16 c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s 3.09/3.19 c core #137 3.09/3.19 c Core size: 3 Core Weight: 1 Total Weight: -623 3.09/3.19 c Elapsed CPU time: 3.17552 s Remaining CPU time: 1796.82 s 3.19/3.21 c core #138 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -622 3.19/3.21 c Elapsed CPU time: 3.20051 s Remaining CPU time: 1796.8 s 3.19/3.24 c core #139 3.19/3.24 c Core size: 3 Core Weight: 1 Total Weight: -621 3.19/3.24 c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s 3.19/3.26 c core #140 3.19/3.26 c Core size: 3 Core Weight: 1 Total Weight: -620 3.19/3.26 c Elapsed CPU time: 3.2505 s Remaining CPU time: 1796.75 s 3.19/3.29 c core #141 3.19/3.29 c Core size: 3 Core Weight: 1 Total Weight: -619 3.19/3.29 c Elapsed CPU time: 3.2755 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #142 3.29/3.31 c Core size: 3 Core Weight: 1 Total Weight: -618 3.29/3.31 c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s 3.29/3.34 c core #143 3.29/3.34 c Core size: 3 Core Weight: 1 Total Weight: -617 3.29/3.34 c Elapsed CPU time: 3.32749 s Remaining CPU time: 1796.67 s 3.29/3.36 c core #144 3.29/3.36 c Core size: 3 Core Weight: 1 Total Weight: -616 3.29/3.36 c Elapsed CPU time: 3.35249 s Remaining CPU time: 1796.65 s 3.29/3.39 c core #145 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -615 3.29/3.39 c Elapsed CPU time: 3.37849 s Remaining CPU time: 1796.62 s 3.39/3.42 c core #146 3.39/3.42 c Core size: 3 Core Weight: 1 Total Weight: -614 3.39/3.42 c Elapsed CPU time: 3.40448 s Remaining CPU time: 1796.6 s 3.39/3.44 c core #147 3.39/3.44 c Core size: 3 Core Weight: 1 Total Weight: -613 3.39/3.44 c Elapsed CPU time: 3.42948 s Remaining CPU time: 1796.57 s 3.39/3.47 c core #148 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: -612 3.39/3.47 c Elapsed CPU time: 3.45347 s Remaining CPU time: 1796.55 s 3.39/3.49 c core #149 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: -611 3.39/3.49 c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s 3.49/3.52 c core #150 3.49/3.52 c Core size: 3 Core Weight: 1 Total Weight: -610 3.49/3.52 c Elapsed CPU time: 3.50447 s Remaining CPU time: 1796.5 s 3.49/3.54 c core #151 3.49/3.54 c Core size: 3 Core Weight: 1 Total Weight: -609 3.49/3.54 c Elapsed CPU time: 3.53046 s Remaining CPU time: 1796.47 s 3.49/3.57 c core #152 3.49/3.57 c Core size: 3 Core Weight: 1 Total Weight: -608 3.49/3.57 c Elapsed CPU time: 3.55646 s Remaining CPU time: 1796.44 s 3.49/3.60 c core #153 3.49/3.60 c Core size: 3 Core Weight: 1 Total Weight: -607 3.49/3.60 c Elapsed CPU time: 3.58345 s Remaining CPU time: 1796.42 s 3.59/3.62 c core #154 3.59/3.62 c Core size: 3 Core Weight: 1 Total Weight: -606 3.59/3.62 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.59/3.65 c core #155 3.59/3.65 c Core size: 3 Core Weight: 1 Total Weight: -605 3.59/3.65 c Elapsed CPU time: 3.63445 s Remaining CPU time: 1796.37 s 3.59/3.67 c core #156 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: -604 3.59/3.67 c Elapsed CPU time: 3.65944 s Remaining CPU time: 1796.34 s 3.69/3.70 c core #157 3.69/3.70 c Core size: 3 Core Weight: 1 Total Weight: -603 3.69/3.70 c Elapsed CPU time: 3.68444 s Remaining CPU time: 1796.32 s 3.69/3.72 c core #158 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: -602 3.69/3.72 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.69/3.75 c core #159 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: -601 3.69/3.75 c Elapsed CPU time: 3.73543 s Remaining CPU time: 1796.26 s 3.69/3.77 c core #160 3.69/3.77 c Core size: 3 Core Weight: 1 Total Weight: -600 3.69/3.77 c Elapsed CPU time: 3.76143 s Remaining CPU time: 1796.24 s 3.79/3.80 c core #161 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: -599 3.79/3.80 c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s 3.79/3.82 c core #162 3.79/3.82 c Core size: 3 Core Weight: 1 Total Weight: -598 3.79/3.82 c Elapsed CPU time: 3.81242 s Remaining CPU time: 1796.19 s 3.79/3.85 c core #163 3.79/3.85 c Core size: 3 Core Weight: 1 Total Weight: -597 3.79/3.85 c Elapsed CPU time: 3.83842 s Remaining CPU time: 1796.16 s 3.79/3.88 c core #164 3.79/3.88 c Core size: 3 Core Weight: 1 Total Weight: -596 3.79/3.88 c Elapsed CPU time: 3.86341 s Remaining CPU time: 1796.14 s 3.89/3.90 c core #165 3.89/3.90 c Core size: 3 Core Weight: 1 Total Weight: -595 3.89/3.90 c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s 3.89/3.93 c core #166 3.89/3.93 c Core size: 3 Core Weight: 1 Total Weight: -594 3.89/3.93 c Elapsed CPU time: 3.9144 s Remaining CPU time: 1796.09 s 3.89/3.95 c core #167 3.89/3.95 c Core size: 3 Core Weight: 1 Total Weight: -593 3.89/3.95 c Elapsed CPU time: 3.9414 s Remaining CPU time: 1796.06 s 3.89/3.98 c core #168 3.89/3.98 c Core size: 3 Core Weight: 1 Total Weight: -592 3.89/3.98 c Elapsed CPU time: 3.9664 s Remaining CPU time: 1796.03 s 3.99/4.01 c core #169 3.99/4.01 c Core size: 3 Core Weight: 1 Total Weight: -591 3.99/4.01 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 3.99/4.03 c core #170 3.99/4.03 c Core size: 3 Core Weight: 1 Total Weight: -590 3.99/4.03 c Elapsed CPU time: 4.01839 s Remaining CPU time: 1795.98 s 3.99/4.06 c core #171 3.99/4.06 c Core size: 3 Core Weight: 1 Total Weight: -589 3.99/4.06 c Elapsed CPU time: 4.04439 s Remaining CPU time: 1795.96 s 3.99/4.08 c core #172 3.99/4.08 c Core size: 3 Core Weight: 1 Total Weight: -588 3.99/4.08 c Elapsed CPU time: 4.07038 s Remaining CPU time: 1795.93 s 4.09/4.11 c core #173 4.09/4.11 c Core size: 3 Core Weight: 1 Total Weight: -587 4.09/4.11 c Elapsed CPU time: 4.09638 s Remaining CPU time: 1795.9 s 4.09/4.14 c core #174 4.09/4.14 c Core size: 3 Core Weight: 1 Total Weight: -586 4.09/4.14 c Elapsed CPU time: 4.12237 s Remaining CPU time: 1795.88 s 4.09/4.16 c core #175 4.09/4.16 c Core size: 3 Core Weight: 1 Total Weight: -585 4.09/4.16 c Elapsed CPU time: 4.14837 s Remaining CPU time: 1795.85 s 4.09/4.19 c core #176 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: -584 4.09/4.19 c Elapsed CPU time: 4.17436 s Remaining CPU time: 1795.83 s 4.19/4.21 c core #177 4.19/4.21 c Core size: 3 Core Weight: 1 Total Weight: -583 4.19/4.21 c Elapsed CPU time: 4.19936 s Remaining CPU time: 1795.8 s 4.19/4.24 c core #178 4.19/4.24 c Core size: 3 Core Weight: 1 Total Weight: -582 4.19/4.24 c Elapsed CPU time: 4.22736 s Remaining CPU time: 1795.77 s 4.19/4.27 c core #179 4.19/4.27 c Core size: 3 Core Weight: 1 Total Weight: -581 4.19/4.27 c Elapsed CPU time: 4.25335 s Remaining CPU time: 1795.75 s 4.19/4.29 c core #180 4.19/4.29 c Core size: 3 Core Weight: 1 Total Weight: -580 4.19/4.29 c Elapsed CPU time: 4.28035 s Remaining CPU time: 1795.72 s 4.29/4.32 c core #181 4.29/4.32 c Core size: 3 Core Weight: 1 Total Weight: -579 4.29/4.32 c Elapsed CPU time: 4.30635 s Remaining CPU time: 1795.69 s 4.29/4.35 c core #182 4.29/4.35 c Core size: 3 Core Weight: 1 Total Weight: -578 4.29/4.35 c Elapsed CPU time: 4.33334 s Remaining CPU time: 1795.67 s 4.29/4.37 c core #183 4.29/4.37 c Core size: 3 Core Weight: 1 Total Weight: -577 4.29/4.37 c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s 4.39/4.40 c core #184 4.39/4.40 c Core size: 3 Core Weight: 1 Total Weight: -576 4.39/4.40 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.39/4.43 c core #185 4.39/4.43 c Core size: 3 Core Weight: 1 Total Weight: -575 4.39/4.43 c Elapsed CPU time: 4.41433 s Remaining CPU time: 1795.59 s 4.39/4.46 c core #186 4.39/4.46 c Core size: 3 Core Weight: 1 Total Weight: -574 4.39/4.46 c Elapsed CPU time: 4.44032 s Remaining CPU time: 1795.56 s 4.39/4.48 c core #187 4.39/4.48 c Core size: 3 Core Weight: 1 Total Weight: -573 4.39/4.48 c Elapsed CPU time: 4.46732 s Remaining CPU time: 1795.53 s 4.49/4.51 c core #188 4.49/4.51 c Core size: 3 Core Weight: 1 Total Weight: -572 4.49/4.51 c Elapsed CPU time: 4.49532 s Remaining CPU time: 1795.5 s 4.49/4.54 c core #189 4.49/4.54 c Core size: 3 Core Weight: 1 Total Weight: -571 4.49/4.54 c Elapsed CPU time: 4.52231 s Remaining CPU time: 1795.48 s 4.49/4.57 c core #190 4.49/4.57 c Core size: 3 Core Weight: 1 Total Weight: -570 4.49/4.57 c Elapsed CPU time: 4.54931 s Remaining CPU time: 1795.45 s 4.49/4.59 c core #191 4.49/4.59 c Core size: 3 Core Weight: 1 Total Weight: -569 4.49/4.59 c Elapsed CPU time: 4.5763 s Remaining CPU time: 1795.42 s 4.59/4.62 c core #192 4.59/4.62 c Core size: 3 Core Weight: 1 Total Weight: -568 4.59/4.62 c Elapsed CPU time: 4.6033 s Remaining CPU time: 1795.4 s 4.59/4.65 c core #193 4.59/4.65 c Core size: 3 Core Weight: 1 Total Weight: -567 4.59/4.65 c Elapsed CPU time: 4.6303 s Remaining CPU time: 1795.37 s 4.59/4.67 c core #194 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -566 4.59/4.67 c Elapsed CPU time: 4.65629 s Remaining CPU time: 1795.34 s 4.69/4.70 c core #195 4.69/4.70 c Core size: 3 Core Weight: 1 Total Weight: -565 4.69/4.70 c Elapsed CPU time: 4.68329 s Remaining CPU time: 1795.32 s 4.69/4.73 c core #196 4.69/4.73 c Core size: 3 Core Weight: 1 Total Weight: -564 4.69/4.73 c Elapsed CPU time: 4.71228 s Remaining CPU time: 1795.29 s 4.69/4.76 c core #197 4.69/4.76 c Core size: 3 Core Weight: 1 Total Weight: -563 4.69/4.76 c Elapsed CPU time: 4.73928 s Remaining CPU time: 1795.26 s 4.69/4.79 c core #198 4.69/4.79 c Core size: 3 Core Weight: 1 Total Weight: -562 4.69/4.79 c Elapsed CPU time: 4.76727 s Remaining CPU time: 1795.23 s 4.78/4.81 c core #199 4.78/4.81 c Core size: 3 Core Weight: 1 Total Weight: -561 4.78/4.81 c Elapsed CPU time: 4.79427 s Remaining CPU time: 1795.21 s 4.78/4.84 c core #200 4.78/4.84 c Core size: 3 Core Weight: 1 Total Weight: -560 4.78/4.84 c Elapsed CPU time: 4.82227 s Remaining CPU time: 1795.18 s 4.78/4.87 c core #201 4.78/4.87 c Core size: 3 Core Weight: 1 Total Weight: -559 4.78/4.87 c Elapsed CPU time: 4.84926 s Remaining CPU time: 1795.15 s 4.78/4.89 c core #202 4.78/4.89 c Core size: 3 Core Weight: 1 Total Weight: -558 4.78/4.89 c Elapsed CPU time: 4.87626 s Remaining CPU time: 1795.12 s 4.88/4.92 c core #203 4.88/4.92 c Core size: 3 Core Weight: 1 Total Weight: -557 4.88/4.92 c Elapsed CPU time: 4.90325 s Remaining CPU time: 1795.1 s 4.88/4.95 c core #204 4.88/4.95 c Core size: 3 Core Weight: 1 Total Weight: -556 4.88/4.95 c Elapsed CPU time: 4.93125 s Remaining CPU time: 1795.07 s 4.88/4.98 c core #205 4.88/4.98 c Core size: 3 Core Weight: 1 Total Weight: -555 4.88/4.98 c Elapsed CPU time: 4.95925 s Remaining CPU time: 1795.04 s 4.98/5.01 c core #206 4.98/5.01 c Core size: 3 Core Weight: 1 Total Weight: -554 4.98/5.01 c Elapsed CPU time: 4.98724 s Remaining CPU time: 1795.01 s 4.98/5.03 c core #207 4.98/5.03 c Core size: 3 Core Weight: 1 Total Weight: -553 4.98/5.03 c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s 4.98/5.06 c core #208 4.98/5.06 c Core size: 3 Core Weight: 1 Total Weight: -552 4.98/5.06 c Elapsed CPU time: 5.04323 s Remaining CPU time: 1794.96 s 4.98/5.09 c core #209 4.98/5.09 c Core size: 3 Core Weight: 1 Total Weight: -551 4.98/5.09 c Elapsed CPU time: 5.07023 s Remaining CPU time: 1794.93 s 5.08/5.12 c core #210 5.08/5.12 c Core size: 3 Core Weight: 1 Total Weight: -550 5.08/5.12 c Elapsed CPU time: 5.09822 s Remaining CPU time: 1794.9 s 5.08/5.15 c core #211 5.08/5.15 c Core size: 3 Core Weight: 1 Total Weight: -549 5.08/5.15 c Elapsed CPU time: 5.12722 s Remaining CPU time: 1794.87 s 5.08/5.17 c core #212 5.08/5.17 c Core size: 3 Core Weight: 1 Total Weight: -548 5.08/5.17 c Elapsed CPU time: 5.15522 s Remaining CPU time: 1794.84 s 5.18/5.20 c core #213 5.18/5.20 c Core size: 3 Core Weight: 1 Total Weight: -547 5.18/5.20 c Elapsed CPU time: 5.18321 s Remaining CPU time: 1794.82 s 5.18/5.23 c core #214 5.18/5.23 c Core size: 3 Core Weight: 1 Total Weight: -546 5.18/5.23 c Elapsed CPU time: 5.21121 s Remaining CPU time: 1794.79 s 5.18/5.26 c core #215 5.18/5.26 c Core size: 3 Core Weight: 1 Total Weight: -545 5.18/5.26 c Elapsed CPU time: 5.2392 s Remaining CPU time: 1794.76 s 5.18/5.29 c core #216 5.18/5.29 c Core size: 3 Core Weight: 1 Total Weight: -544 5.18/5.29 c Elapsed CPU time: 5.2682 s Remaining CPU time: 1794.73 s 5.28/5.32 c core #217 5.28/5.32 c Core size: 3 Core Weight: 1 Total Weight: -543 5.28/5.32 c Elapsed CPU time: 5.29619 s Remaining CPU time: 1794.7 s 5.28/5.34 c core #218 5.28/5.34 c Core size: 3 Core Weight: 1 Total Weight: -542 5.28/5.34 c Elapsed CPU time: 5.32519 s Remaining CPU time: 1794.67 s 5.28/5.37 c core #219 5.28/5.37 c Core size: 3 Core Weight: 1 Total Weight: -541 5.28/5.37 c Elapsed CPU time: 5.35319 s Remaining CPU time: 1794.65 s 5.39/5.40 c core #220 5.39/5.40 c Core size: 3 Core Weight: 1 Total Weight: -540 5.39/5.40 c Elapsed CPU time: 5.38218 s Remaining CPU time: 1794.62 s 5.39/5.43 c core #221 5.39/5.43 c Core size: 3 Core Weight: 1 Total Weight: -539 5.39/5.43 c Elapsed CPU time: 5.41118 s Remaining CPU time: 1794.59 s 5.39/5.46 c core #222 5.39/5.46 c Core size: 3 Core Weight: 1 Total Weight: -538 5.39/5.46 c Elapsed CPU time: 5.44017 s Remaining CPU time: 1794.56 s 5.39/5.49 c core #223 5.39/5.49 c Core size: 3 Core Weight: 1 Total Weight: -537 5.39/5.49 c Elapsed CPU time: 5.46917 s Remaining CPU time: 1794.53 s 5.49/5.52 c core #224 5.49/5.52 c Core size: 3 Core Weight: 1 Total Weight: -536 5.49/5.52 c Elapsed CPU time: 5.49816 s Remaining CPU time: 1794.5 s 5.49/5.55 c core #225 5.49/5.55 c Core size: 3 Core Weight: 1 Total Weight: -535 5.49/5.55 c Elapsed CPU time: 5.52716 s Remaining CPU time: 1794.47 s 5.49/5.58 c core #226 5.49/5.58 c Core size: 3 Core Weight: 1 Total Weight: -534 5.49/5.58 c Elapsed CPU time: 5.55715 s Remaining CPU time: 1794.44 s 5.58/5.60 c core #227 5.58/5.60 c Core size: 3 Core Weight: 1 Total Weight: -533 5.58/5.60 c Elapsed CPU time: 5.58615 s Remaining CPU time: 1794.41 s 5.58/5.63 c core #228 5.58/5.63 c Core size: 3 Core Weight: 1 Total Weight: -532 5.58/5.63 c Elapsed CPU time: 5.61515 s Remaining CPU time: 1794.38 s 5.58/5.66 c core #229 5.58/5.66 c Core size: 3 Core Weight: 1 Total Weight: -531 5.58/5.66 c Elapsed CPU time: 5.64514 s Remaining CPU time: 1794.35 s 5.58/5.69 c core #230 5.58/5.69 c Core size: 3 Core Weight: 1 Total Weight: -530 5.58/5.69 c Elapsed CPU time: 5.67414 s Remaining CPU time: 1794.33 s 5.68/5.72 c core #231 5.68/5.72 c Core size: 3 Core Weight: 1 Total Weight: -529 5.68/5.72 c Elapsed CPU time: 5.70313 s Remaining CPU time: 1794.3 s 5.68/5.75 c core #232 5.68/5.75 c Core size: 3 Core Weight: 1 Total Weight: -528 5.68/5.75 c Elapsed CPU time: 5.73313 s Remaining CPU time: 1794.27 s 5.68/5.78 c core #233 5.68/5.78 c Core size: 3 Core Weight: 1 Total Weight: -527 5.68/5.78 c Elapsed CPU time: 5.76312 s Remaining CPU time: 1794.24 s 5.78/5.81 c core #234 5.78/5.81 c Core size: 3 Core Weight: 1 Total Weight: -526 5.78/5.81 c Elapsed CPU time: 5.79312 s Remaining CPU time: 1794.21 s 5.78/5.84 c core #235 5.78/5.84 c Core size: 3 Core Weight: 1 Total Weight: -525 5.78/5.84 c Elapsed CPU time: 5.82311 s Remaining CPU time: 1794.18 s 5.78/5.87 c core #236 5.78/5.87 c Core size: 3 Core Weight: 1 Total Weight: -524 5.78/5.87 c Elapsed CPU time: 5.85311 s Remaining CPU time: 1794.15 s 5.88/5.90 c core #237 5.88/5.90 c Core size: 3 Core Weight: 1 Total Weight: -523 5.88/5.90 c Elapsed CPU time: 5.88211 s Remaining CPU time: 1794.12 s 5.88/5.93 c core #238 5.88/5.93 c Core size: 3 Core Weight: 1 Total Weight: -522 5.88/5.93 c Elapsed CPU time: 5.9131 s Remaining CPU time: 1794.09 s 5.88/5.96 c core #239 5.88/5.96 c Core size: 3 Core Weight: 1 Total Weight: -521 5.88/5.96 c Elapsed CPU time: 5.9431 s Remaining CPU time: 1794.06 s 5.88/5.99 c core #240 5.88/5.99 c Core size: 3 Core Weight: 1 Total Weight: -520 5.88/5.99 c Elapsed CPU time: 5.97309 s Remaining CPU time: 1794.03 s 5.98/6.02 c core #241 5.98/6.02 c Core size: 3 Core Weight: 1 Total Weight: -519 5.98/6.02 c Elapsed CPU time: 6.00309 s Remaining CPU time: 1794 s 5.98/6.05 c core #242 5.98/6.05 c Core size: 3 Core Weight: 1 Total Weight: -518 5.98/6.05 c Elapsed CPU time: 6.03308 s Remaining CPU time: 1793.97 s 5.98/6.08 c core #243 5.98/6.08 c Core size: 3 Core Weight: 1 Total Weight: -517 5.98/6.08 c Elapsed CPU time: 6.06408 s Remaining CPU time: 1793.94 s 6.08/6.11 c core #244 6.08/6.11 c Core size: 3 Core Weight: 1 Total Weight: -516 6.08/6.11 c Elapsed CPU time: 6.09407 s Remaining CPU time: 1793.91 s 6.08/6.14 c core #245 6.08/6.14 c Core size: 3 Core Weight: 1 Total Weight: -515 6.08/6.14 c Elapsed CPU time: 6.12407 s Remaining CPU time: 1793.88 s 6.08/6.17 c core #246 6.08/6.17 c Core size: 3 Core Weight: 1 Total Weight: -514 6.08/6.17 c Elapsed CPU time: 6.15506 s Remaining CPU time: 1793.84 s 6.18/6.20 c core #247 6.18/6.20 c Core size: 3 Core Weight: 1 Total Weight: -513 6.18/6.20 c Elapsed CPU time: 6.18506 s Remaining CPU time: 1793.81 s 6.18/6.24 c core #248 6.18/6.24 c Core size: 3 Core Weight: 1 Total Weight: -512 6.18/6.24 c Elapsed CPU time: 6.21605 s Remaining CPU time: 1793.78 s 6.18/6.27 c core #249 6.18/6.27 c Core size: 3 Core Weight: 1 Total Weight: -511 6.18/6.27 c Elapsed CPU time: 6.24705 s Remaining CPU time: 1793.75 s 6.28/6.30 c core #250 6.28/6.30 c Core size: 3 Core Weight: 1 Total Weight: -510 6.28/6.30 c Elapsed CPU time: 6.27804 s Remaining CPU time: 1793.72 s 6.28/6.33 c core #251 6.28/6.33 c Core size: 3 Core Weight: 1 Total Weight: -509 6.28/6.33 c Elapsed CPU time: 6.30804 s Remaining CPU time: 1793.69 s 6.28/6.36 c core #252 6.28/6.36 c Core size: 3 Core Weight: 1 Total Weight: -508 6.28/6.36 c Elapsed CPU time: 6.33904 s Remaining CPU time: 1793.66 s 6.28/6.39 c core #253 6.28/6.39 c Core size: 3 Core Weight: 1 Total Weight: -507 6.28/6.39 c Elapsed CPU time: 6.37103 s Remaining CPU time: 1793.63 s 6.38/6.42 c core #254 6.38/6.42 c Core size: 3 Core Weight: 1 Total Weight: -506 6.38/6.42 c Elapsed CPU time: 6.40203 s Remaining CPU time: 1793.6 s 6.38/6.45 c core #255 6.38/6.45 c Core size: 3 Core Weight: 1 Total Weight: -505 6.38/6.45 c Elapsed CPU time: 6.43302 s Remaining CPU time: 1793.57 s 6.38/6.48 c core #256 6.38/6.48 c Core size: 3 Core Weight: 1 Total Weight: -504 6.38/6.48 c Elapsed CPU time: 6.46402 s Remaining CPU time: 1793.54 s 6.49/6.52 c core #257 6.49/6.52 c Core size: 3 Core Weight: 1 Total Weight: -503 6.49/6.52 c Elapsed CPU time: 6.49601 s Remaining CPU time: 1793.5 s 6.49/6.55 c core #258 6.49/6.55 c Core size: 3 Core Weight: 1 Total Weight: -502 6.49/6.55 c Elapsed CPU time: 6.52701 s Remaining CPU time: 1793.47 s 6.49/6.58 c core #259 6.49/6.58 c Core size: 3 Core Weight: 1 Total Weight: -501 6.49/6.58 c Elapsed CPU time: 6.558 s Remaining CPU time: 1793.44 s 6.59/6.61 c core #260 6.59/6.61 c Core size: 3 Core Weight: 1 Total Weight: -500 6.59/6.61 c Elapsed CPU time: 6.59 s Remaining CPU time: 1793.41 s 6.59/6.64 c core #261 6.59/6.64 c Core size: 3 Core Weight: 1 Total Weight: -499 6.59/6.64 c Elapsed CPU time: 6.62099 s Remaining CPU time: 1793.38 s 6.59/6.67 c core #262 6.59/6.67 c Core size: 3 Core Weight: 1 Total Weight: -498 6.59/6.67 c Elapsed CPU time: 6.65299 s Remaining CPU time: 1793.35 s 6.68/6.70 c core #263 6.68/6.70 c Core size: 3 Core Weight: 1 Total Weight: -497 6.68/6.70 c Elapsed CPU time: 6.68398 s Remaining CPU time: 1793.32 s 6.68/6.74 c core #264 6.68/6.74 c Core size: 3 Core Weight: 1 Total Weight: -496 6.68/6.74 c Elapsed CPU time: 6.71598 s Remaining CPU time: 1793.28 s 6.68/6.77 c core #265 6.68/6.77 c Core size: 3 Core Weight: 1 Total Weight: -495 6.68/6.77 c Elapsed CPU time: 6.74697 s Remaining CPU time: 1793.25 s 6.78/6.80 c core #266 6.78/6.80 c Core size: 3 Core Weight: 1 Total Weight: -494 6.78/6.80 c Elapsed CPU time: 6.77897 s Remaining CPU time: 1793.22 s 6.78/6.83 c core #267 6.78/6.83 c Core size: 3 Core Weight: 1 Total Weight: -493 6.78/6.83 c Elapsed CPU time: 6.81096 s Remaining CPU time: 1793.19 s 6.78/6.86 c core #268 6.78/6.86 c Core size: 3 Core Weight: 1 Total Weight: -492 6.78/6.86 c Elapsed CPU time: 6.84296 s Remaining CPU time: 1793.16 s 6.78/6.90 c core #269 6.78/6.90 c Core size: 3 Core Weight: 1 Total Weight: -491 6.78/6.90 c Elapsed CPU time: 6.87495 s Remaining CPU time: 1793.13 s 6.88/6.93 c core #270 6.88/6.93 c Core size: 3 Core Weight: 1 Total Weight: -490 6.88/6.93 c Elapsed CPU time: 6.90695 s Remaining CPU time: 1793.09 s 6.88/6.96 c core #271 6.88/6.96 c Core size: 3 Core Weight: 1 Total Weight: -489 6.88/6.96 c Elapsed CPU time: 6.93994 s Remaining CPU time: 1793.06 s 6.88/6.99 c core #272 6.88/6.99 c Core size: 3 Core Weight: 1 Total Weight: -488 6.88/6.99 c Elapsed CPU time: 6.97194 s Remaining CPU time: 1793.03 s 6.98/7.02 c core #273 6.98/7.02 c Core size: 3 Core Weight: 1 Total Weight: -487 6.98/7.02 c Elapsed CPU time: 7.00394 s Remaining CPU time: 1793 s 6.98/7.06 c core #274 6.98/7.06 c Core size: 3 Core Weight: 1 Total Weight: -486 6.98/7.06 c Elapsed CPU time: 7.03693 s Remaining CPU time: 1792.96 s 6.98/7.09 c core #275 6.98/7.09 c Core size: 3 Core Weight: 1 Total Weight: -485 6.98/7.09 c Elapsed CPU time: 7.06893 s Remaining CPU time: 1792.93 s 7.08/7.12 c core #276 7.08/7.12 c Core size: 3 Core Weight: 1 Total Weight: -484 7.08/7.12 c Elapsed CPU time: 7.10192 s Remaining CPU time: 1792.9 s 7.08/7.15 c core #277 7.08/7.15 c Core size: 3 Core Weight: 1 Total Weight: -483 7.08/7.15 c Elapsed CPU time: 7.13392 s Remaining CPU time: 1792.87 s 7.08/7.19 c core #278 7.08/7.19 c Core size: 3 Core Weight: 1 Total Weight: -482 7.08/7.19 c Elapsed CPU time: 7.16691 s Remaining CPU time: 1792.83 s 7.18/7.22 c core #279 7.18/7.22 c Core size: 3 Core Weight: 1 Total Weight: -481 7.18/7.22 c Elapsed CPU time: 7.19791 s Remaining CPU time: 1792.8 s 7.18/7.25 c core #280 7.18/7.25 c Core size: 3 Core Weight: 1 Total Weight: -480 7.18/7.25 c Elapsed CPU time: 7.2299 s Remaining CPU time: 1792.77 s 7.18/7.28 c core #281 7.18/7.28 c Core size: 3 Core Weight: 1 Total Weight: -479 7.18/7.28 c Elapsed CPU time: 7.2629 s Remaining CPU time: 1792.74 s 7.29/7.32 c core #282 7.29/7.32 c Core size: 3 Core Weight: 1 Total Weight: -478 7.29/7.32 c Elapsed CPU time: 7.29589 s Remaining CPU time: 1792.7 s 7.29/7.35 c core #283 7.29/7.35 c Core size: 3 Core Weight: 1 Total Weight: -477 7.29/7.35 c Elapsed CPU time: 7.32888 s Remaining CPU time: 1792.67 s 7.29/7.38 c core #284 7.29/7.38 c Core size: 3 Core Weight: 1 Total Weight: -476 7.29/7.38 c Elapsed CPU time: 7.36188 s Remaining CPU time: 1792.64 s 7.39/7.42 c core #285 7.39/7.42 c Core size: 3 Core Weight: 1 Total Weight: -475 7.39/7.42 c Elapsed CPU time: 7.39588 s Remaining CPU time: 1792.6 s 7.39/7.45 c core #286 7.39/7.45 c Core size: 3 Core Weight: 1 Total Weight: -474 7.39/7.45 c Elapsed CPU time: 7.42887 s Remaining CPU time: 1792.57 s 7.39/7.48 c core #287 7.39/7.48 c Core size: 3 Core Weight: 1 Total Weight: -473 7.39/7.48 c Elapsed CPU time: 7.46187 s Remaining CPU time: 1792.54 s 7.49/7.52 c core #288 7.49/7.52 c Core size: 3 Core Weight: 1 Total Weight: -472 7.49/7.52 c Elapsed CPU time: 7.49586 s Remaining CPU time: 1792.5 s 7.49/7.55 c core #289 7.49/7.55 c Core size: 3 Core Weight: 1 Total Weight: -471 7.49/7.55 c Elapsed CPU time: 7.52886 s Remaining CPU time: 1792.47 s 7.49/7.58 c core #290 7.49/7.58 c Core size: 3 Core Weight: 1 Total Weight: -470 7.49/7.58 c Elapsed CPU time: 7.56285 s Remaining CPU time: 1792.44 s 7.59/7.62 c core #291 7.59/7.62 c Core size: 3 Core Weight: 1 Total Weight: -469 7.59/7.62 c Elapsed CPU time: 7.59584 s Remaining CPU time: 1792.4 s 7.59/7.65 c core #292 7.59/7.65 c Core size: 3 Core Weight: 1 Total Weight: -468 7.59/7.65 c Elapsed CPU time: 7.62984 s Remaining CPU time: 1792.37 s 7.59/7.69 c core #293 7.59/7.69 c Core size: 3 Core Weight: 1 Total Weight: -467 7.59/7.69 c Elapsed CPU time: 7.66284 s Remaining CPU time: 1792.34 s 7.69/7.72 c core #294 7.69/7.72 c Core size: 3 Core Weight: 1 Total Weight: -466 7.69/7.72 c Elapsed CPU time: 7.69683 s Remaining CPU time: 1792.3 s 7.69/7.75 c core #295 7.69/7.75 c Core size: 3 Core Weight: 1 Total Weight: -465 7.69/7.75 c Elapsed CPU time: 7.73082 s Remaining CPU time: 1792.27 s 7.69/7.79 c core #296 7.69/7.79 c Core size: 3 Core Weight: 1 Total Weight: -464 7.69/7.79 c Elapsed CPU time: 7.76482 s Remaining CPU time: 1792.24 s 7.79/7.82 c core #297 7.79/7.82 c Core size: 3 Core Weight: 1 Total Weight: -463 7.79/7.82 c Elapsed CPU time: 7.79881 s Remaining CPU time: 1792.2 s 7.79/7.85 c core #298 7.79/7.85 c Core size: 3 Core Weight: 1 Total Weight: -462 7.79/7.85 c Elapsed CPU time: 7.83281 s Remaining CPU time: 1792.17 s 7.79/7.89 c core #299 7.79/7.89 c Core size: 3 Core Weight: 1 Total Weight: -461 7.79/7.89 c Elapsed CPU time: 7.8668 s Remaining CPU time: 1792.13 s 7.89/7.92 c core #300 7.89/7.92 c Core size: 3 Core Weight: 1 Total Weight: -460 7.89/7.92 c Elapsed CPU time: 7.9008 s Remaining CPU time: 1792.1 s 7.89/7.96 c core #301 7.89/7.96 c Core size: 3 Core Weight: 1 Total Weight: -459 7.89/7.96 c Elapsed CPU time: 7.93479 s Remaining CPU time: 1792.07 s 7.89/7.99 c core #302 7.89/7.99 c Core size: 3 Core Weight: 1 Total Weight: -458 7.89/7.99 c Elapsed CPU time: 7.96879 s Remaining CPU time: 1792.03 s 7.99/8.03 c core #303 7.99/8.03 c Core size: 3 Core Weight: 1 Total Weight: -457 7.99/8.03 c Elapsed CPU time: 8.00278 s Remaining CPU time: 1792 s 7.99/8.06 c core #304 7.99/8.06 c Core size: 3 Core Weight: 1 Total Weight: -456 7.99/8.06 c Elapsed CPU time: 8.03778 s Remaining CPU time: 1791.96 s 7.99/8.09 c core #305 7.99/8.09 c Core size: 3 Core Weight: 1 Total Weight: -455 7.99/8.09 c Elapsed CPU time: 8.07177 s Remaining CPU time: 1791.93 s 8.09/8.13 c core #306 8.09/8.13 c Core size: 3 Core Weight: 1 Total Weight: -454 8.09/8.13 c Elapsed CPU time: 8.10677 s Remaining CPU time: 1791.89 s 8.09/8.16 c core #307 8.09/8.16 c Core size: 3 Core Weight: 1 Total Weight: -453 8.09/8.16 c Elapsed CPU time: 8.14076 s Remaining CPU time: 1791.86 s 8.19/8.20 c core #308 8.19/8.20 c Core size: 3 Core Weight: 1 Total Weight: -452 8.19/8.20 c Elapsed CPU time: 8.17576 s Remaining CPU time: 1791.82 s 8.19/8.23 c core #309 8.19/8.23 c Core size: 3 Core Weight: 1 Total Weight: -451 8.19/8.23 c Elapsed CPU time: 8.21075 s Remaining CPU time: 1791.79 s 8.19/8.27 c core #310 8.19/8.27 c Core size: 3 Core Weight: 1 Total Weight: -450 8.19/8.27 c Elapsed CPU time: 8.24575 s Remaining CPU time: 1791.75 s 8.29/8.30 c core #311 8.29/8.30 c Core size: 3 Core Weight: 1 Total Weight: -449 8.29/8.30 c Elapsed CPU time: 8.27974 s Remaining CPU time: 1791.72 s 8.29/8.34 c core #312 8.29/8.34 c Core size: 3 Core Weight: 1 Total Weight: -448 8.29/8.34 c Elapsed CPU time: 8.31474 s Remaining CPU time: 1791.69 s 8.29/8.37 c core #313 8.29/8.37 c Core size: 3 Core Weight: 1 Total Weight: -447 8.29/8.37 c Elapsed CPU time: 8.34973 s Remaining CPU time: 1791.65 s 8.39/8.41 c core #314 8.39/8.41 c Core size: 3 Core Weight: 1 Total Weight: -446 8.39/8.41 c Elapsed CPU time: 8.38472 s Remaining CPU time: 1791.62 s 8.39/8.44 c core #315 8.39/8.44 c Core size: 3 Core Weight: 1 Total Weight: -445 8.39/8.44 c Elapsed CPU time: 8.41972 s Remaining CPU time: 1791.58 s 8.39/8.48 c core #316 8.39/8.48 c Core size: 3 Core Weight: 1 Total Weight: -444 8.39/8.48 c Elapsed CPU time: 8.45571 s Remaining CPU time: 1791.54 s 8.49/8.51 c core #317 8.49/8.51 c Core size: 3 Core Weight: 1 Total Weight: -443 8.49/8.51 c Elapsed CPU time: 8.48871 s Remaining CPU time: 1791.51 s 8.49/8.55 c core #318 8.49/8.55 c Core size: 3 Core Weight: 1 Total Weight: -442 8.49/8.55 c Elapsed CPU time: 8.5237 s Remaining CPU time: 1791.48 s 8.49/8.58 c core #319 8.49/8.58 c Core size: 3 Core Weight: 1 Total Weight: -441 8.49/8.58 c Elapsed CPU time: 8.5587 s Remaining CPU time: 1791.44 s 8.59/8.62 c core #320 8.59/8.62 c Core size: 3 Core Weight: 1 Total Weight: -440 8.59/8.62 c Elapsed CPU time: 8.59469 s Remaining CPU time: 1791.41 s 8.59/8.65 c core #321 8.59/8.65 c Core size: 3 Core Weight: 1 Total Weight: -439 8.59/8.65 c Elapsed CPU time: 8.62969 s Remaining CPU time: 1791.37 s 8.59/8.69 c core #322 8.59/8.69 c Core size: 3 Core Weight: 1 Total Weight: -438 8.59/8.69 c Elapsed CPU time: 8.66568 s Remaining CPU time: 1791.33 s 8.69/8.72 c core #323 8.69/8.72 c Core size: 3 Core Weight: 1 Total Weight: -437 8.69/8.72 c Elapsed CPU time: 8.70168 s Remaining CPU time: 1791.3 s 8.69/8.76 c core #324 8.69/8.76 c Core size: 3 Core Weight: 1 Total Weight: -436 8.69/8.76 c Elapsed CPU time: 8.73767 s Remaining CPU time: 1791.26 s 8.69/8.80 c core #325 8.69/8.80 c Core size: 3 Core Weight: 1 Total Weight: -435 8.69/8.80 c Elapsed CPU time: 8.77367 s Remaining CPU time: 1791.23 s 8.79/8.83 c core #326 8.79/8.83 c Core size: 3 Core Weight: 1 Total Weight: -434 8.79/8.83 c Elapsed CPU time: 8.81066 s Remaining CPU time: 1791.19 s 8.79/8.87 c core #327 8.79/8.87 c Core size: 3 Core Weight: 1 Total Weight: -433 8.79/8.87 c Elapsed CPU time: 8.84666 s Remaining CPU time: 1791.15 s 8.89/8.90 c core #328 8.89/8.90 c Core size: 3 Core Weight: 1 Total Weight: -432 8.89/8.90 c Elapsed CPU time: 8.88265 s Remaining CPU time: 1791.12 s 8.89/8.94 c core #329 8.89/8.94 c Core size: 3 Core Weight: 1 Total Weight: -431 8.89/8.94 c Elapsed CPU time: 8.91864 s Remaining CPU time: 1791.08 s 8.89/8.98 c core #330 8.89/8.98 c Core size: 3 Core Weight: 1 Total Weight: -430 8.89/8.98 c Elapsed CPU time: 8.95464 s Remaining CPU time: 1791.05 s 8.99/9.01 c core #331 8.99/9.01 c Core size: 3 Core Weight: 1 Total Weight: -429 8.99/9.01 c Elapsed CPU time: 8.99163 s Remaining CPU time: 1791.01 s 8.99/9.05 c core #332 8.99/9.05 c Core size: 3 Core Weight: 1 Total Weight: -428 8.99/9.05 c Elapsed CPU time: 9.02763 s Remaining CPU time: 1790.97 s 8.99/9.09 c core #333 8.99/9.09 c Core size: 3 Core Weight: 1 Total Weight: -427 8.99/9.09 c Elapsed CPU time: 9.06362 s Remaining CPU time: 1790.94 s 9.09/9.12 c core #334 9.09/9.12 c Core size: 3 Core Weight: 1 Total Weight: -426 9.09/9.12 c Elapsed CPU time: 9.10062 s Remaining CPU time: 1790.9 s 9.09/9.16 c core #335 9.09/9.16 c Core size: 3 Core Weight: 1 Total Weight: -425 9.09/9.16 c Elapsed CPU time: 9.13661 s Remaining CPU time: 1790.86 s 9.09/9.20 c core #336 9.09/9.20 c Core size: 3 Core Weight: 1 Total Weight: -424 9.09/9.20 c Elapsed CPU time: 9.17261 s Remaining CPU time: 1790.83 s 9.19/9.23 c core #337 9.19/9.23 c Core size: 3 Core Weight: 1 Total Weight: -423 9.19/9.23 c Elapsed CPU time: 9.2086 s Remaining CPU time: 1790.79 s 9.19/9.27 c core #338 9.19/9.27 c Core size: 3 Core Weight: 1 Total Weight: -422 9.19/9.27 c Elapsed CPU time: 9.24659 s Remaining CPU time: 1790.75 s 9.29/9.31 c core #339 9.29/9.31 c Core size: 3 Core Weight: 1 Total Weight: -421 9.29/9.31 c Elapsed CPU time: 9.28259 s Remaining CPU time: 1790.72 s 9.29/9.34 c core #340 9.29/9.34 c Core size: 3 Core Weight: 1 Total Weight: -420 9.29/9.34 c Elapsed CPU time: 9.31958 s Remaining CPU time: 1790.68 s 9.29/9.38 c core #341 9.29/9.38 c Core size: 3 Core Weight: 1 Total Weight: -419 9.29/9.38 c Elapsed CPU time: 9.35658 s Remaining CPU time: 1790.64 s 9.39/9.42 c core #342 9.39/9.42 c Core size: 3 Core Weight: 1 Total Weight: -418 9.39/9.42 c Elapsed CPU time: 9.39357 s Remaining CPU time: 1790.61 s 9.39/9.45 c core #343 9.39/9.45 c Core size: 3 Core Weight: 1 Total Weight: -417 9.39/9.45 c Elapsed CPU time: 9.43157 s Remaining CPU time: 1790.57 s 9.39/9.49 c core #344 9.39/9.49 c Core size: 3 Core Weight: 1 Total Weight: -416 9.39/9.49 c Elapsed CPU time: 9.46756 s Remaining CPU time: 1790.53 s 9.49/9.53 c core #345 9.49/9.53 c Core size: 3 Core Weight: 1 Total Weight: -415 9.49/9.53 c Elapsed CPU time: 9.50555 s Remaining CPU time: 1790.49 s 9.49/9.56 c core #346 9.49/9.56 c Core size: 3 Core Weight: 1 Total Weight: -414 9.49/9.56 c Elapsed CPU time: 9.54155 s Remaining CPU time: 1790.46 s 9.59/9.60 c core #347 9.59/9.60 c Core size: 3 Core Weight: 1 Total Weight: -413 9.59/9.60 c Elapsed CPU time: 9.57854 s Remaining CPU time: 1790.42 s 9.59/9.64 c core #348 9.59/9.64 c Core size: 3 Core Weight: 1 Total Weight: -412 9.59/9.64 c Elapsed CPU time: 9.61654 s Remaining CPU time: 1790.38 s 9.59/9.68 c core #349 9.59/9.68 c Core size: 3 Core Weight: 1 Total Weight: -411 9.59/9.68 c Elapsed CPU time: 9.65353 s Remaining CPU time: 1790.35 s 9.69/9.71 c core #350 9.69/9.71 c Core size: 3 Core Weight: 1 Total Weight: -410 9.69/9.71 c Elapsed CPU time: 9.69053 s Remaining CPU time: 1790.31 s 9.69/9.75 c core #351 9.69/9.75 c Core size: 3 Core Weight: 1 Total Weight: -409 9.69/9.75 c Elapsed CPU time: 9.72852 s Remaining CPU time: 1790.27 s 9.69/9.79 c core #352 9.69/9.79 c Core size: 3 Core Weight: 1 Total Weight: -408 9.69/9.79 c Elapsed CPU time: 9.76652 s Remaining CPU time: 1790.23 s 9.79/9.83 c core #353 9.79/9.83 c Core size: 3 Core Weight: 1 Total Weight: -407 9.79/9.83 c Elapsed CPU time: 9.80451 s Remaining CPU time: 1790.2 s 9.79/9.87 c core #354 9.79/9.87 c Core size: 3 Core Weight: 1 Total Weight: -406 9.79/9.87 c Elapsed CPU time: 9.8415 s Remaining CPU time: 1790.16 s 9.89/9.90 c core #355 9.89/9.90 c Core size: 3 Core Weight: 1 Total Weight: -405 9.89/9.90 c Elapsed CPU time: 9.8785 s Remaining CPU time: 1790.12 s 9.89/9.94 c core #356 9.89/9.94 c Core size: 3 Core Weight: 1 Total Weight: -404 9.89/9.94 c Elapsed CPU time: 9.91649 s Remaining CPU time: 1790.08 s 9.89/9.98 c core #357 9.89/9.98 c Core size: 3 Core Weight: 1 Total Weight: -403 9.89/9.98 c Elapsed CPU time: 9.95449 s Remaining CPU time: 1790.05 s 9.99/10.02 c core #358 9.99/10.02 c Core size: 3 Core Weight: 1 Total Weight: -402 9.99/10.02 c Elapsed CPU time: 9.99248 s Remaining CPU time: 1790.01 s 9.99/10.05 c core #359 9.99/10.05 c Core size: 3 Core Weight: 1 Total Weight: -401 9.99/10.05 c Elapsed CPU time: 10.0305 s Remaining CPU time: 1789.97 s 9.99/10.09 c core #360 9.99/10.09 c Core size: 3 Core Weight: 1 Total Weight: -400 9.99/10.09 c Elapsed CPU time: 10.0685 s Remaining CPU time: 1789.93 s 10.09/10.13 c core #361 10.09/10.13 c Core size: 3 Core Weight: 1 Total Weight: -399 10.09/10.13 c Elapsed CPU time: 10.1055 s Remaining CPU time: 1789.89 s 10.09/10.17 c core #362 10.09/10.17 c Core size: 3 Core Weight: 1 Total Weight: -398 10.09/10.17 c Elapsed CPU time: 10.1445 s Remaining CPU time: 1789.86 s 10.19/10.21 c core #363 10.19/10.21 c Core size: 3 Core Weight: 1 Total Weight: -397 10.19/10.21 c Elapsed CPU time: 10.1825 s Remaining CPU time: 1789.82 s 10.19/10.25 c core #364 10.19/10.25 c Core size: 3 Core Weight: 1 Total Weight: -396 10.19/10.25 c Elapsed CPU time: 10.2204 s Remaining CPU time: 1789.78 s 10.19/10.28 c core #365 10.19/10.28 c Core size: 3 Core Weight: 1 Total Weight: -395 10.19/10.28 c Elapsed CPU time: 10.2594 s Remaining CPU time: 1789.74 s 10.29/10.32 c core #366 10.29/10.32 c Core size: 3 Core Weight: 1 Total Weight: -394 10.29/10.32 c Elapsed CPU time: 10.2974 s Remaining CPU time: 1789.7 s 10.29/10.36 c core #367 10.29/10.36 c Core size: 3 Core Weight: 1 Total Weight: -393 10.29/10.36 c Elapsed CPU time: 10.3364 s Remaining CPU time: 1789.66 s 10.39/10.40 c core #368 10.39/10.40 c Core size: 3 Core Weight: 1 Total Weight: -392 10.39/10.40 c Elapsed CPU time: 10.3754 s Remaining CPU time: 1789.62 s 10.39/10.44 c core #369 10.39/10.44 c Core size: 3 Core Weight: 1 Total Weight: -391 10.39/10.44 c Elapsed CPU time: 10.4144 s Remaining CPU time: 1789.59 s 10.39/10.48 c core #370 10.39/10.48 c Core size: 3 Core Weight: 1 Total Weight: -390 10.39/10.48 c Elapsed CPU time: 10.4534 s Remaining CPU time: 1789.55 s 10.49/10.52 c core #371 10.49/10.52 c Core size: 3 Core Weight: 1 Total Weight: -389 10.49/10.52 c Elapsed CPU time: 10.4924 s Remaining CPU time: 1789.51 s 10.49/10.56 c core #372 10.49/10.56 c Core size: 3 Core Weight: 1 Total Weight: -388 10.49/10.56 c Elapsed CPU time: 10.5304 s Remaining CPU time: 1789.47 s 10.49/10.60 c core #373 10.49/10.60 c Core size: 3 Core Weight: 1 Total Weight: -387 10.49/10.60 c Elapsed CPU time: 10.5694 s Remaining CPU time: 1789.43 s 10.59/10.63 c core #374 10.59/10.63 c Core size: 3 Core Weight: 1 Total Weight: -386 10.59/10.63 c Elapsed CPU time: 10.6084 s Remaining CPU time: 1789.39 s 10.59/10.67 c core #375 10.59/10.67 c Core size: 3 Core Weight: 1 Total Weight: -385 10.59/10.67 c Elapsed CPU time: 10.6484 s Remaining CPU time: 1789.35 s 10.69/10.71 c core #376 10.69/10.71 c Core size: 3 Core Weight: 1 Total Weight: -384 10.69/10.71 c Elapsed CPU time: 10.6874 s Remaining CPU time: 1789.31 s 10.69/10.75 c core #377 10.69/10.75 c Core size: 3 Core Weight: 1 Total Weight: -383 10.69/10.75 c Elapsed CPU time: 10.7274 s Remaining CPU time: 1789.27 s 10.69/10.79 c core #378 10.69/10.79 c Core size: 3 Core Weight: 1 Total Weight: -382 10.69/10.79 c Elapsed CPU time: 10.7664 s Remaining CPU time: 1789.23 s 10.79/10.83 c core #379 10.79/10.83 c Core size: 3 Core Weight: 1 Total Weight: -381 10.79/10.83 c Elapsed CPU time: 10.8064 s Remaining CPU time: 1789.19 s 10.79/10.87 c core #380 10.79/10.87 c Core size: 10 Core Weight: 1 Total Weight: -380 10.79/10.87 c Elapsed CPU time: 10.8464 s Remaining CPU time: 1789.15 s 10.89/10.91 c core #381 10.89/10.91 c Core size: 10 Core Weight: 1 Total Weight: -379 10.89/10.91 c Elapsed CPU time: 10.8863 s Remaining CPU time: 1789.11 s 10.89/10.95 c ============================[ Search Statistics ]============================== 10.89/10.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.95 c =============================================================================== 10.89/10.95 c | 0 | 1528 42746 85506 | 14248 0 nan | 0.000 % | 10.89/10.96 c =============================================================================== 10.89/10.96 c core #382 10.89/10.96 c Core size: 13 Core Weight: 1 Total Weight: -378 10.89/10.96 c Elapsed CPU time: 10.9273 s Remaining CPU time: 1789.07 s 10.89/10.99 c ============================[ Search Statistics ]============================== 10.89/10.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.99 c =============================================================================== 10.89/10.99 c | 0 | 1534 42747 85518 | 14249 0 nan | 0.000 % | 10.89/11.00 c =============================================================================== 10.89/11.00 c core #383 10.89/11.00 c Core size: 13 Core Weight: 1 Total Weight: -377 10.89/11.00 c Elapsed CPU time: 10.9683 s Remaining CPU time: 1789.03 s 10.99/11.03 c ============================[ Search Statistics ]============================== 10.99/11.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.03 c =============================================================================== 10.99/11.03 c | 0 | 1540 42748 85530 | 14249 0 nan | 0.000 % | 10.99/11.04 c =============================================================================== 10.99/11.04 c core #384 10.99/11.04 c Core size: 13 Core Weight: 1 Total Weight: -376 10.99/11.04 c Elapsed CPU time: 11.0073 s Remaining CPU time: 1788.99 s 10.99/11.07 c ============================[ Search Statistics ]============================== 10.99/11.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.07 c =============================================================================== 10.99/11.07 c | 0 | 1546 42749 85542 | 14249 0 nan | 0.000 % | 10.99/11.08 c =============================================================================== 10.99/11.08 c core #385 10.99/11.08 c Core size: 13 Core Weight: 1 Total Weight: -375 10.99/11.08 c Elapsed CPU time: 11.0463 s Remaining CPU time: 1788.95 s 11.08/11.11 c ============================[ Search Statistics ]============================== 11.08/11.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.11 c =============================================================================== 11.08/11.11 c | 0 | 1552 42750 85554 | 14250 0 nan | 0.000 % | 11.08/11.12 c =============================================================================== 11.08/11.12 c core #386 11.08/11.12 c Core size: 17 Core Weight: 1 Total Weight: -374 11.08/11.12 c Elapsed CPU time: 11.0883 s Remaining CPU time: 1788.91 s 11.08/11.16 c ============================[ Search Statistics ]============================== 11.08/11.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.16 c =============================================================================== 11.08/11.16 c | 0 | 1559 42751 85568 | 14250 0 nan | 0.000 % | 11.08/11.16 c =============================================================================== 11.08/11.16 c core #387 11.08/11.16 c Core size: 10 Core Weight: 1 Total Weight: -373 11.08/11.16 c Elapsed CPU time: 11.1293 s Remaining CPU time: 1788.87 s 11.18/11.20 c ============================[ Search Statistics ]============================== 11.18/11.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.20 c =============================================================================== 11.18/11.20 c | 0 | 1563 42752 85576 | 14250 0 nan | 0.000 % | 11.18/11.20 c =============================================================================== 11.18/11.20 c core #388 11.18/11.20 c Core size: 10 Core Weight: 1 Total Weight: -372 11.18/11.20 c Elapsed CPU time: 11.1713 s Remaining CPU time: 1788.83 s 11.18/11.24 c ============================[ Search Statistics ]============================== 11.18/11.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.24 c =============================================================================== 11.18/11.24 c | 0 | 1567 42753 85584 | 14251 0 nan | 0.000 % | 11.18/11.24 c =============================================================================== 11.18/11.24 c core #389 11.18/11.24 c Core size: 13 Core Weight: 1 Total Weight: -371 11.18/11.24 c Elapsed CPU time: 11.2103 s Remaining CPU time: 1788.79 s 11.18/11.28 c ============================[ Search Statistics ]============================== 11.18/11.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.28 c =============================================================================== 11.18/11.28 c | 0 | 1573 42754 85596 | 14251 0 nan | 0.000 % | 11.18/11.28 c =============================================================================== 11.18/11.28 c core #390 11.18/11.28 c Core size: 13 Core Weight: 1 Total Weight: -370 11.18/11.28 c Elapsed CPU time: 11.2493 s Remaining CPU time: 1788.75 s 11.28/11.32 c ============================[ Search Statistics ]============================== 11.28/11.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.32 c =============================================================================== 11.28/11.32 c | 0 | 1579 42755 85608 | 14251 0 nan | 0.000 % | 11.28/11.32 c =============================================================================== 11.28/11.32 c core #391 11.28/11.32 c Core size: 13 Core Weight: 1 Total Weight: -369 11.28/11.32 c Elapsed CPU time: 11.2893 s Remaining CPU time: 1788.71 s 11.28/11.36 c ============================[ Search Statistics ]============================== 11.28/11.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.36 c =============================================================================== 11.28/11.36 c | 0 | 1585 42756 85620 | 14252 0 nan | 0.000 % | 11.28/11.36 c =============================================================================== 11.28/11.36 c core #392 11.28/11.36 c Core size: 13 Core Weight: 1 Total Weight: -368 11.28/11.36 c Elapsed CPU time: 11.3293 s Remaining CPU time: 1788.67 s 11.38/11.40 c ============================[ Search Statistics ]============================== 11.38/11.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.40 c =============================================================================== 11.38/11.40 c | 0 | 1591 42757 85632 | 14252 0 nan | 0.000 % | 11.38/11.40 c =============================================================================== 11.38/11.40 c core #393 11.38/11.40 c Core size: 13 Core Weight: 1 Total Weight: -367 11.38/11.40 c Elapsed CPU time: 11.3693 s Remaining CPU time: 1788.63 s 11.38/11.44 c ============================[ Search Statistics ]============================== 11.38/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.44 c =============================================================================== 11.38/11.44 c | 0 | 1597 42758 85644 | 14252 0 nan | 0.000 % | 11.38/11.44 c =============================================================================== 11.38/11.44 c core #394 11.38/11.44 c Core size: 13 Core Weight: 1 Total Weight: -366 11.38/11.44 c Elapsed CPU time: 11.4103 s Remaining CPU time: 1788.59 s 11.38/11.48 c ============================[ Search Statistics ]============================== 11.38/11.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.48 c =============================================================================== 11.38/11.48 c | 0 | 1603 42759 85656 | 14253 0 nan | 0.000 % | 11.38/11.48 c =============================================================================== 11.38/11.48 c core #395 11.38/11.48 c Core size: 10 Core Weight: 1 Total Weight: -365 11.38/11.48 c Elapsed CPU time: 11.4523 s Remaining CPU time: 1788.55 s 11.48/11.52 c ============================[ Search Statistics ]============================== 11.48/11.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.48/11.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.48/11.52 c =============================================================================== 11.48/11.52 c | 0 | 1607 42760 85664 | 14253 0 nan | 0.000 % | 11.48/11.52 c =============================================================================== 11.48/11.52 c core #396 11.48/11.52 c Core size: 10 Core Weight: 1 Total Weight: -364 11.48/11.52 c Elapsed CPU time: 11.4933 s Remaining CPU time: 1788.51 s 11.48/11.56 c ============================[ Search Statistics ]============================== 11.48/11.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.48/11.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.48/11.56 c =============================================================================== 11.48/11.56 c | 0 | 1611 42761 85672 | 14253 0 nan | 0.000 % | 11.48/11.57 c =============================================================================== 11.48/11.57 c core #397 11.48/11.57 c Core size: 10 Core Weight: 1 Total Weight: -363 11.48/11.57 c Elapsed CPU time: 11.5342 s Remaining CPU time: 1788.47 s 11.58/11.60 c ============================[ Search Statistics ]============================== 11.58/11.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.58/11.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.58/11.60 c =============================================================================== 11.58/11.60 c | 0 | 1615 42762 85680 | 14254 0 nan | 0.000 % | 11.58/11.61 c =============================================================================== 11.58/11.61 c core #398 11.58/11.61 c Core size: 13 Core Weight: 1 Total Weight: -362 11.58/11.61 c Elapsed CPU time: 11.5772 s Remaining CPU time: 1788.42 s 11.58/11.65 c ============================[ Search Statistics ]============================== 11.58/11.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.58/11.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.58/11.65 c =============================================================================== 11.58/11.65 c | 0 | 1621 42763 85692 | 14254 0 nan | 0.000 % | 11.58/11.65 c =============================================================================== 11.58/11.65 c core #399 11.58/11.65 c Core size: 13 Core Weight: 1 Total Weight: -361 11.58/11.65 c Elapsed CPU time: 11.6192 s Remaining CPU time: 1788.38 s 11.58/11.69 c ============================[ Search Statistics ]============================== 11.58/11.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.58/11.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.58/11.69 c =============================================================================== 11.58/11.69 c | 0 | 1627 42764 85704 | 14254 0 nan | 0.000 % | 11.58/11.70 c =============================================================================== 11.58/11.70 c core #400 11.58/11.70 c Core size: 10 Core Weight: 1 Total Weight: -360 11.58/11.70 c Elapsed CPU time: 11.6622 s Remaining CPU time: 1788.34 s 11.69/11.73 c ============================[ Search Statistics ]============================== 11.69/11.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.73 c =============================================================================== 11.69/11.73 c | 0 | 1631 42765 85712 | 14255 0 nan | 0.000 % | 11.69/11.74 c =============================================================================== 11.69/11.74 c core #401 11.69/11.74 c Core size: 10 Core Weight: 1 Total Weight: -359 11.69/11.74 c Elapsed CPU time: 11.7022 s Remaining CPU time: 1788.3 s 11.69/11.78 c ============================[ Search Statistics ]============================== 11.69/11.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.78 c =============================================================================== 11.69/11.78 c | 0 | 1635 42766 85720 | 14255 0 nan | 0.000 % | 11.69/11.78 c =============================================================================== 11.69/11.78 c core #402 11.69/11.78 c Core size: 13 Core Weight: 1 Total Weight: -358 11.69/11.78 c Elapsed CPU time: 11.7452 s Remaining CPU time: 1788.25 s 11.79/11.82 c ============================[ Search Statistics ]============================== 11.79/11.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.82 c =============================================================================== 11.79/11.82 c | 0 | 1641 42767 85732 | 14255 0 nan | 0.000 % | 11.79/11.82 c =============================================================================== 11.79/11.82 c core #403 11.79/11.82 c Core size: 13 Core Weight: 1 Total Weight: -357 11.79/11.82 c Elapsed CPU time: 11.7862 s Remaining CPU time: 1788.21 s 11.79/11.86 c ============================[ Search Statistics ]============================== 11.79/11.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.86 c =============================================================================== 11.79/11.86 c | 0 | 1647 42768 85744 | 14256 0 nan | 0.000 % | 11.79/11.86 c =============================================================================== 11.79/11.86 c core #404 11.79/11.86 c Core size: 27 Core Weight: 1 Total Weight: -356 11.79/11.86 c Elapsed CPU time: 11.8282 s Remaining CPU time: 1788.17 s 11.89/11.90 c ============================[ Search Statistics ]============================== 11.89/11.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.90 c =============================================================================== 11.89/11.90 c | 0 | 1659 42769 85768 | 14256 0 nan | 0.000 % | 11.89/11.91 c =============================================================================== 11.89/11.91 c core #405 11.89/11.91 c Core size: 13 Core Weight: 1 Total Weight: -355 11.89/11.91 c Elapsed CPU time: 11.8712 s Remaining CPU time: 1788.13 s 11.89/11.94 c ============================[ Search Statistics ]============================== 11.89/11.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.94 c =============================================================================== 11.89/11.94 c | 0 | 1665 42770 85780 | 14256 0 nan | 0.000 % | 11.89/11.95 c =============================================================================== 11.89/11.95 c core #406 11.89/11.95 c Core size: 13 Core Weight: 1 Total Weight: -354 11.89/11.95 c Elapsed CPU time: 11.9122 s Remaining CPU time: 1788.09 s 11.89/11.99 c ============================[ Search Statistics ]============================== 11.89/11.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.99 c =============================================================================== 11.89/11.99 c | 0 | 1671 42771 85792 | 14257 0 nan | 0.000 % | 11.89/11.99 c =============================================================================== 11.89/11.99 c core #407 11.89/11.99 c Core size: 10 Core Weight: 1 Total Weight: -353 11.89/11.99 c Elapsed CPU time: 11.9532 s Remaining CPU time: 1788.05 s 11.99/12.03 c ============================[ Search Statistics ]============================== 11.99/12.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.03 c =============================================================================== 11.99/12.03 c | 0 | 1675 42772 85800 | 14257 0 nan | 0.000 % | 11.99/12.03 c =============================================================================== 11.99/12.03 c core #408 11.99/12.03 c Core size: 30 Core Weight: 1 Total Weight: -352 11.99/12.03 c Elapsed CPU time: 11.9952 s Remaining CPU time: 1788 s 11.99/12.07 c ============================[ Search Statistics ]============================== 11.99/12.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.07 c =============================================================================== 11.99/12.07 c | 0 | 1683 42773 85816 | 14257 0 nan | 0.000 % | 11.99/12.08 c =============================================================================== 11.99/12.08 c core #409 11.99/12.08 c Core size: 13 Core Weight: 1 Total Weight: -351 11.99/12.08 c Elapsed CPU time: 12.0392 s Remaining CPU time: 1787.96 s 12.09/12.12 c ============================[ Search Statistics ]============================== 12.09/12.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.12 c =============================================================================== 12.09/12.12 c | 0 | 1689 42774 85828 | 14258 0 nan | 0.000 % | 12.09/12.12 c =============================================================================== 12.09/12.12 c core #410 12.09/12.12 c Core size: 13 Core Weight: 1 Total Weight: -350 12.09/12.12 c Elapsed CPU time: 12.0812 s Remaining CPU time: 1787.92 s 12.09/12.16 c ============================[ Search Statistics ]============================== 12.09/12.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.16 c =============================================================================== 12.09/12.16 c | 0 | 1695 42775 85840 | 14258 0 nan | 0.000 % | 12.09/12.16 c =============================================================================== 12.09/12.16 c core #411 12.09/12.16 c Core size: 13 Core Weight: 1 Total Weight: -349 12.09/12.16 c Elapsed CPU time: 12.1232 s Remaining CPU time: 1787.88 s 12.18/12.20 c ============================[ Search Statistics ]============================== 12.18/12.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.20 c =============================================================================== 12.18/12.20 c | 0 | 1701 42776 85852 | 14258 0 nan | 0.000 % | 12.18/12.21 c =============================================================================== 12.18/12.21 c core #412 12.18/12.21 c Core size: 10 Core Weight: 1 Total Weight: -348 12.18/12.21 c Elapsed CPU time: 12.1682 s Remaining CPU time: 1787.83 s 12.18/12.25 c ============================[ Search Statistics ]============================== 12.18/12.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.25 c =============================================================================== 12.18/12.25 c | 0 | 1705 42777 85860 | 14259 0 nan | 0.000 % | 12.18/12.25 c =============================================================================== 12.18/12.25 c core #413 12.18/12.25 c Core size: 10 Core Weight: 1 Total Weight: -347 12.18/12.25 c Elapsed CPU time: 12.2111 s Remaining CPU time: 1787.79 s 12.18/12.29 c ============================[ Search Statistics ]============================== 12.18/12.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.29 c =============================================================================== 12.18/12.29 c | 0 | 1709 42778 85868 | 14259 0 nan | 0.000 % | 12.18/12.29 c =============================================================================== 12.18/12.29 c core #414 12.18/12.29 c Core size: 10 Core Weight: 1 Total Weight: -346 12.18/12.29 c Elapsed CPU time: 12.2551 s Remaining CPU time: 1787.74 s 12.28/12.34 c ============================[ Search Statistics ]============================== 12.28/12.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.28/12.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.28/12.34 c =============================================================================== 12.28/12.34 c | 0 | 1713 42779 85876 | 14259 0 nan | 0.000 % | 12.28/12.34 c =============================================================================== 12.28/12.34 c core #415 12.28/12.34 c Core size: 13 Core Weight: 1 Total Weight: -345 12.28/12.34 c Elapsed CPU time: 12.3001 s Remaining CPU time: 1787.7 s 12.28/12.38 c ============================[ Search Statistics ]============================== 12.28/12.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.28/12.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.28/12.38 c =============================================================================== 12.28/12.38 c | 0 | 1719 42780 85888 | 14260 0 nan | 0.000 % | 12.28/12.38 c =============================================================================== 12.28/12.38 c core #416 12.28/12.38 c Core size: 13 Core Weight: 1 Total Weight: -344 12.28/12.38 c Elapsed CPU time: 12.3431 s Remaining CPU time: 1787.66 s 12.38/12.42 c ============================[ Search Statistics ]============================== 12.38/12.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.38/12.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.38/12.42 c =============================================================================== 12.38/12.42 c | 0 | 1725 42781 85900 | 14260 0 nan | 0.000 % | 12.38/12.43 c =============================================================================== 12.38/12.43 c core #417 12.38/12.43 c Core size: 21 Core Weight: 1 Total Weight: -343 12.38/12.43 c Elapsed CPU time: 12.3861 s Remaining CPU time: 1787.61 s 12.38/12.47 c ============================[ Search Statistics ]============================== 12.38/12.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.38/12.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.38/12.47 c =============================================================================== 12.38/12.47 c | 0 | 1733 42782 85916 | 14260 0 nan | 0.000 % | 12.38/12.47 c =============================================================================== 12.38/12.47 c core #418 12.38/12.47 c Core size: 13 Core Weight: 1 Total Weight: -342 12.38/12.47 c Elapsed CPU time: 12.4311 s Remaining CPU time: 1787.57 s 12.48/12.51 c ============================[ Search Statistics ]============================== 12.48/12.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.48/12.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.48/12.51 c =============================================================================== 12.48/12.51 c | 0 | 1739 42783 85928 | 14261 0 nan | 0.000 % | 12.48/12.52 c =============================================================================== 12.48/12.52 c core #419 12.48/12.52 c Core size: 10 Core Weight: 1 Total Weight: -341 12.48/12.52 c Elapsed CPU time: 12.4741 s Remaining CPU time: 1787.53 s 12.48/12.56 c ============================[ Search Statistics ]============================== 12.48/12.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.48/12.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.48/12.56 c =============================================================================== 12.48/12.56 c | 0 | 1743 42784 85936 | 14261 0 nan | 0.000 % | 12.48/12.56 c =============================================================================== 12.48/12.56 c core #420 12.48/12.56 c Core size: 10 Core Weight: 1 Total Weight: -340 12.48/12.56 c Elapsed CPU time: 12.5191 s Remaining CPU time: 1787.48 s 12.58/12.60 c ============================[ Search Statistics ]============================== 12.58/12.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.58/12.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.58/12.60 c =============================================================================== 12.58/12.60 c | 0 | 1747 42785 85944 | 14261 0 nan | 0.000 % | 12.58/12.61 c =============================================================================== 12.58/12.61 c core #421 12.58/12.61 c Core size: 21 Core Weight: 1 Total Weight: -339 12.58/12.61 c Elapsed CPU time: 12.5671 s Remaining CPU time: 1787.43 s 12.58/12.65 c ============================[ Search Statistics ]============================== 12.58/12.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.58/12.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.58/12.65 c =============================================================================== 12.58/12.65 c | 0 | 1755 42786 85960 | 14262 0 nan | 0.000 % | 12.58/12.65 c =============================================================================== 12.58/12.66 c core #422 12.58/12.66 c Core size: 26 Core Weight: 1 Total Weight: -338 12.58/12.66 c Elapsed CPU time: 12.6131 s Remaining CPU time: 1787.39 s 12.58/12.70 c ============================[ Search Statistics ]============================== 12.58/12.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.58/12.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.58/12.70 c =============================================================================== 12.58/12.70 c | 0 | 1763 42787 85976 | 14262 0 nan | 0.000 % | 12.68/12.70 c =============================================================================== 12.68/12.70 c core #423 12.68/12.70 c Core size: 13 Core Weight: 1 Total Weight: -337 12.68/12.70 c Elapsed CPU time: 12.6581 s Remaining CPU time: 1787.34 s 12.68/12.74 c ============================[ Search Statistics ]============================== 12.68/12.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.68/12.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.68/12.74 c =============================================================================== 12.68/12.74 c | 0 | 1769 42788 85988 | 14262 0 nan | 0.000 % | 12.68/12.75 c =============================================================================== 12.68/12.75 c core #424 12.68/12.75 c Core size: 10 Core Weight: 1 Total Weight: -336 12.68/12.75 c Elapsed CPU time: 12.7041 s Remaining CPU time: 1787.3 s 12.68/12.79 c ============================[ Search Statistics ]============================== 12.68/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.68/12.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.68/12.79 c =============================================================================== 12.68/12.79 c | 0 | 1773 42789 85996 | 14263 0 nan | 0.000 % | 12.68/12.79 c =============================================================================== 12.68/12.79 c core #425 12.68/12.79 c Core size: 10 Core Weight: 1 Total Weight: -335 12.68/12.79 c Elapsed CPU time: 12.7491 s Remaining CPU time: 1787.25 s 12.78/12.83 c ============================[ Search Statistics ]============================== 12.78/12.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.78/12.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.78/12.83 c =============================================================================== 12.78/12.83 c | 0 | 1777 42790 86004 | 14263 0 nan | 0.000 % | 12.78/12.83 c =============================================================================== 12.78/12.83 c core #426 12.78/12.83 c Core size: 13 Core Weight: 1 Total Weight: -334 12.78/12.83 c Elapsed CPU time: 12.7931 s Remaining CPU time: 1787.21 s 12.78/12.88 c ============================[ Search Statistics ]============================== 12.78/12.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.78/12.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.78/12.88 c =============================================================================== 12.78/12.88 c | 0 | 1783 42791 86016 | 14263 0 nan | 0.000 % | 12.78/12.88 c =============================================================================== 12.78/12.88 c core #427 12.78/12.88 c Core size: 13 Core Weight: 1 Total Weight: -333 12.78/12.88 c Elapsed CPU time: 12.838 s Remaining CPU time: 1787.16 s 12.88/12.92 c ============================[ Search Statistics ]============================== 12.88/12.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.88/12.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.88/12.92 c =============================================================================== 12.88/12.92 c | 0 | 1789 42792 86028 | 14264 0 nan | 0.000 % | 12.88/12.92 c =============================================================================== 12.88/12.92 c core #428 12.88/12.92 c Core size: 13 Core Weight: 1 Total Weight: -332 12.88/12.92 c Elapsed CPU time: 12.882 s Remaining CPU time: 1787.12 s 12.88/12.97 c ============================[ Search Statistics ]============================== 12.88/12.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.88/12.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.88/12.97 c =============================================================================== 12.88/12.97 c | 0 | 1795 42793 86040 | 14264 0 nan | 0.000 % | 12.88/12.97 c =============================================================================== 12.88/12.97 c core #429 12.88/12.97 c Core size: 27 Core Weight: 1 Total Weight: -331 12.88/12.97 c Elapsed CPU time: 12.928 s Remaining CPU time: 1787.07 s 12.98/13.01 c ============================[ Search Statistics ]============================== 12.98/13.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.98/13.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.98/13.01 c =============================================================================== 12.98/13.01 c | 0 | 1807 42794 86064 | 14264 0 nan | 0.000 % | 12.98/13.02 c =============================================================================== 12.98/13.02 c core #430 12.98/13.02 c Core size: 18 Core Weight: 1 Total Weight: -330 12.98/13.02 c Elapsed CPU time: 12.973 s Remaining CPU time: 1787.03 s 12.98/13.06 c ============================[ Search Statistics ]============================== 12.98/13.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.98/13.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.98/13.06 c =============================================================================== 12.98/13.06 c | 0 | 1813 42795 86076 | 14265 0 nan | 0.000 % | 12.98/13.06 c =============================================================================== 12.98/13.06 c core #431 12.98/13.06 c Core size: 10 Core Weight: 1 Total Weight: -329 12.98/13.06 c Elapsed CPU time: 13.017 s Remaining CPU time: 1786.98 s 13.08/13.10 c ============================[ Search Statistics ]============================== 13.08/13.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.08/13.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.08/13.10 c =============================================================================== 13.08/13.10 c | 0 | 1817 42796 86084 | 14265 0 nan | 0.000 % | 13.08/13.11 c =============================================================================== 13.08/13.11 c core #432 13.08/13.11 c Core size: 18 Core Weight: 1 Total Weight: -328 13.08/13.11 c Elapsed CPU time: 13.063 s Remaining CPU time: 1786.94 s 13.08/13.15 c ============================[ Search Statistics ]============================== 13.08/13.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.08/13.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.08/13.15 c =============================================================================== 13.08/13.15 c | 0 | 1823 42797 86096 | 14265 0 nan | 0.000 % | 13.08/13.15 c =============================================================================== 13.08/13.15 c core #433 13.08/13.15 c Core size: 26 Core Weight: 1 Total Weight: -327 13.08/13.15 c Elapsed CPU time: 13.109 s Remaining CPU time: 1786.89 s 13.08/13.19 c ============================[ Search Statistics ]============================== 13.08/13.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.08/13.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.08/13.19 c =============================================================================== 13.08/13.19 c | 0 | 1831 42798 86112 | 14266 0 nan | 0.000 % | 13.08/13.20 c =============================================================================== 13.08/13.20 c core #434 13.08/13.20 c Core size: 13 Core Weight: 1 Total Weight: -326 13.08/13.20 c Elapsed CPU time: 13.155 s Remaining CPU time: 1786.85 s 13.19/13.24 c ============================[ Search Statistics ]============================== 13.19/13.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.24 c =============================================================================== 13.19/13.24 c | 0 | 1837 42799 86124 | 14266 0 nan | 0.000 % | 13.19/13.25 c =============================================================================== 13.19/13.25 c core #435 13.19/13.25 c Core size: 13 Core Weight: 1 Total Weight: -325 13.19/13.25 c Elapsed CPU time: 13.201 s Remaining CPU time: 1786.8 s 13.19/13.29 c ============================[ Search Statistics ]============================== 13.19/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.29 c =============================================================================== 13.19/13.29 c | 0 | 1843 42800 86136 | 14266 0 nan | 0.000 % | 13.19/13.29 c =============================================================================== 13.19/13.29 c core #436 13.19/13.29 c Core size: 13 Core Weight: 1 Total Weight: -324 13.19/13.29 c Elapsed CPU time: 13.247 s Remaining CPU time: 1786.75 s 13.29/13.33 c ============================[ Search Statistics ]============================== 13.29/13.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.33 c =============================================================================== 13.29/13.33 c | 0 | 1849 42801 86148 | 14267 0 nan | 0.000 % | 13.29/13.34 c =============================================================================== 13.29/13.34 c core #437 13.29/13.34 c Core size: 10 Core Weight: 1 Total Weight: -323 13.29/13.34 c Elapsed CPU time: 13.292 s Remaining CPU time: 1786.71 s 13.29/13.38 c ============================[ Search Statistics ]============================== 13.29/13.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.38 c =============================================================================== 13.29/13.38 c | 0 | 1853 42802 86156 | 14267 0 nan | 0.000 % | 13.29/13.38 c =============================================================================== 13.29/13.38 c core #438 13.29/13.38 c Core size: 10 Core Weight: 1 Total Weight: -322 13.29/13.38 c Elapsed CPU time: 13.336 s Remaining CPU time: 1786.66 s 13.39/13.42 c ============================[ Search Statistics ]============================== 13.39/13.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.42 c =============================================================================== 13.39/13.42 c | 0 | 1857 42803 86164 | 14267 0 nan | 0.000 % | 13.39/13.43 c =============================================================================== 13.39/13.43 c core #439 13.39/13.43 c Core size: 30 Core Weight: 1 Total Weight: -321 13.39/13.43 c Elapsed CPU time: 13.383 s Remaining CPU time: 1786.62 s 13.39/13.47 c ============================[ Search Statistics ]============================== 13.39/13.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.47 c =============================================================================== 13.39/13.47 c | 0 | 1865 42804 86180 | 14268 0 nan | 0.000 % | 13.39/13.47 c =============================================================================== 13.39/13.47 c core #440 13.39/13.47 c Core size: 13 Core Weight: 1 Total Weight: -320 13.39/13.47 c Elapsed CPU time: 13.43 s Remaining CPU time: 1786.57 s 13.49/13.52 c ============================[ Search Statistics ]============================== 13.49/13.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.52 c =============================================================================== 13.49/13.52 c | 0 | 1871 42805 86192 | 14268 0 nan | 0.000 % | 13.49/13.52 c =============================================================================== 13.49/13.52 c core #441 13.49/13.52 c Core size: 13 Core Weight: 1 Total Weight: -319 13.49/13.52 c Elapsed CPU time: 13.477 s Remaining CPU time: 1786.52 s 13.49/13.56 c ============================[ Search Statistics ]============================== 13.49/13.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.56 c =============================================================================== 13.49/13.56 c | 0 | 1877 42806 86204 | 14268 0 nan | 0.000 % | 13.49/13.57 c =============================================================================== 13.49/13.57 c core #442 13.49/13.57 c Core size: 10 Core Weight: 1 Total Weight: -318 13.49/13.57 c Elapsed CPU time: 13.5229 s Remaining CPU time: 1786.48 s 13.59/13.61 c ============================[ Search Statistics ]============================== 13.59/13.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.59/13.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.59/13.61 c =============================================================================== 13.59/13.61 c | 0 | 1881 42807 86212 | 14269 0 nan | 0.000 % | 13.59/13.61 c =============================================================================== 13.59/13.61 c core #443 13.59/13.61 c Core size: 33 Core Weight: 1 Total Weight: -317 13.59/13.61 c Elapsed CPU time: 13.5669 s Remaining CPU time: 1786.43 s 13.59/13.66 c ============================[ Search Statistics ]============================== 13.59/13.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.59/13.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.59/13.66 c =============================================================================== 13.59/13.66 c | 0 | 1891 42808 86232 | 14269 0 nan | 0.000 % | 13.59/13.66 c =============================================================================== 13.59/13.66 c core #444 13.59/13.66 c Core size: 13 Core Weight: 1 Total Weight: -316 13.59/13.66 c Elapsed CPU time: 13.6159 s Remaining CPU time: 1786.38 s 13.69/13.71 c ============================[ Search Statistics ]============================== 13.69/13.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.71 c =============================================================================== 13.69/13.71 c | 0 | 1897 42809 86244 | 14269 0 nan | 0.000 % | 13.69/13.71 c =============================================================================== 13.69/13.71 c core #445 13.69/13.71 c Core size: 10 Core Weight: 1 Total Weight: -315 13.69/13.71 c Elapsed CPU time: 13.6659 s Remaining CPU time: 1786.33 s 13.69/13.75 c ============================[ Search Statistics ]============================== 13.69/13.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.75 c =============================================================================== 13.69/13.75 c | 0 | 1901 42810 86252 | 14270 0 nan | 0.000 % | 13.69/13.76 c =============================================================================== 13.69/13.76 c core #446 13.69/13.76 c Core size: 13 Core Weight: 1 Total Weight: -314 13.69/13.76 c Elapsed CPU time: 13.7119 s Remaining CPU time: 1786.29 s 13.79/13.80 c ============================[ Search Statistics ]============================== 13.79/13.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.80 c =============================================================================== 13.79/13.80 c | 0 | 1907 42811 86264 | 14270 0 nan | 0.000 % | 13.79/13.81 c =============================================================================== 13.79/13.81 c core #447 13.79/13.81 c Core size: 10 Core Weight: 1 Total Weight: -313 13.79/13.81 c Elapsed CPU time: 13.7599 s Remaining CPU time: 1786.24 s 13.79/13.85 c ============================[ Search Statistics ]============================== 13.79/13.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.85 c =============================================================================== 13.79/13.85 c | 0 | 1911 42812 86272 | 14270 0 nan | 0.000 % | 13.79/13.85 c =============================================================================== 13.79/13.85 c core #448 13.79/13.85 c Core size: 13 Core Weight: 1 Total Weight: -312 13.79/13.85 c Elapsed CPU time: 13.8039 s Remaining CPU time: 1786.2 s 13.79/13.89 c ============================[ Search Statistics ]============================== 13.79/13.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.89 c =============================================================================== 13.79/13.89 c | 0 | 1917 42813 86284 | 14271 0 nan | 0.000 % | 13.88/13.90 c =============================================================================== 13.88/13.90 c core #449 13.88/13.90 c Core size: 24 Core Weight: 1 Total Weight: -311 13.88/13.90 c Elapsed CPU time: 13.8519 s Remaining CPU time: 1786.15 s 13.88/13.94 c ============================[ Search Statistics ]============================== 13.88/13.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.94 c =============================================================================== 13.88/13.94 c | 0 | 1927 42814 86304 | 14271 0 nan | 0.000 % | 13.88/13.95 c =============================================================================== 13.88/13.95 c core #450 13.88/13.95 c Core size: 13 Core Weight: 1 Total Weight: -310 13.88/13.95 c Elapsed CPU time: 13.8989 s Remaining CPU time: 1786.1 s 13.88/13.99 c ============================[ Search Statistics ]============================== 13.88/13.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.99 c =============================================================================== 13.88/13.99 c | 0 | 1933 42815 86316 | 14271 0 nan | 0.000 % | 13.88/14.00 c =============================================================================== 13.88/14.00 c core #451 13.88/14.00 c Core size: 13 Core Weight: 1 Total Weight: -309 13.88/14.00 c Elapsed CPU time: 13.9469 s Remaining CPU time: 1786.05 s 13.98/14.04 c ============================[ Search Statistics ]============================== 13.98/14.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.98/14.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.98/14.04 c =============================================================================== 13.98/14.04 c | 0 | 1939 42816 86328 | 14272 0 nan | 0.000 % | 13.98/14.04 c =============================================================================== 13.98/14.04 c core #452 13.98/14.04 c Core size: 10 Core Weight: 1 Total Weight: -308 13.98/14.04 c Elapsed CPU time: 13.9949 s Remaining CPU time: 1786.01 s 13.98/14.09 c ============================[ Search Statistics ]============================== 13.98/14.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.98/14.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.98/14.09 c =============================================================================== 13.98/14.09 c | 0 | 1943 42817 86336 | 14272 0 nan | 0.000 % | 13.98/14.09 c =============================================================================== 13.98/14.09 c core #453 13.98/14.09 c Core size: 30 Core Weight: 1 Total Weight: -307 13.98/14.09 c Elapsed CPU time: 14.0429 s Remaining CPU time: 1785.96 s 14.08/14.13 c ============================[ Search Statistics ]============================== 14.08/14.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.13 c =============================================================================== 14.08/14.13 c | 0 | 1951 42818 86352 | 14272 0 nan | 0.000 % | 14.08/14.14 c =============================================================================== 14.08/14.14 c core #454 14.08/14.14 c Core size: 13 Core Weight: 1 Total Weight: -306 14.08/14.14 c Elapsed CPU time: 14.0909 s Remaining CPU time: 1785.91 s 14.08/14.18 c ============================[ Search Statistics ]============================== 14.08/14.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.18 c =============================================================================== 14.08/14.18 c | 0 | 1957 42819 86364 | 14273 0 nan | 0.000 % | 14.08/14.19 c =============================================================================== 14.08/14.19 c core #455 14.08/14.19 c Core size: 13 Core Weight: 1 Total Weight: -305 14.08/14.19 c Elapsed CPU time: 14.1398 s Remaining CPU time: 1785.86 s 14.19/14.23 c ============================[ Search Statistics ]============================== 14.19/14.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.23 c =============================================================================== 14.19/14.23 c | 0 | 1963 42820 86376 | 14273 0 nan | 0.000 % | 14.19/14.23 c =============================================================================== 14.19/14.23 c core #456 14.19/14.23 c Core size: 10 Core Weight: 1 Total Weight: -304 14.19/14.23 c Elapsed CPU time: 14.1868 s Remaining CPU time: 1785.81 s 14.19/14.28 c ============================[ Search Statistics ]============================== 14.19/14.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.28 c =============================================================================== 14.19/14.28 c | 0 | 1967 42821 86384 | 14273 0 nan | 0.000 % | 14.19/14.28 c =============================================================================== 14.19/14.28 c core #457 14.19/14.28 c Core size: 13 Core Weight: 1 Total Weight: -303 14.19/14.28 c Elapsed CPU time: 14.2328 s Remaining CPU time: 1785.77 s 14.29/14.33 c ============================[ Search Statistics ]============================== 14.29/14.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.29/14.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.29/14.33 c =============================================================================== 14.29/14.33 c | 0 | 1973 42822 86396 | 14274 0 nan | 0.000 % | 14.29/14.33 c =============================================================================== 14.29/14.33 c core #458 14.29/14.33 c Core size: 10 Core Weight: 1 Total Weight: -302 14.29/14.33 c Elapsed CPU time: 14.2828 s Remaining CPU time: 1785.72 s 14.29/14.38 c ============================[ Search Statistics ]============================== 14.29/14.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.29/14.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.29/14.38 c =============================================================================== 14.29/14.38 c | 0 | 1977 42823 86404 | 14274 0 nan | 0.000 % | 14.29/14.38 c =============================================================================== 14.29/14.38 c core #459 14.29/14.38 c Core size: 13 Core Weight: 1 Total Weight: -301 14.29/14.38 c Elapsed CPU time: 14.3318 s Remaining CPU time: 1785.67 s 14.38/14.43 c ============================[ Search Statistics ]============================== 14.38/14.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.43 c =============================================================================== 14.38/14.43 c | 0 | 1983 42824 86416 | 14274 0 nan | 0.000 % | 14.38/14.43 c =============================================================================== 14.38/14.43 c core #460 14.38/14.43 c Core size: 18 Core Weight: 1 Total Weight: -300 14.38/14.43 c Elapsed CPU time: 14.3828 s Remaining CPU time: 1785.62 s 14.38/14.48 c ============================[ Search Statistics ]============================== 14.38/14.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.48 c =============================================================================== 14.38/14.48 c | 0 | 1989 42825 86428 | 14275 0 nan | 0.000 % | 14.38/14.48 c =============================================================================== 14.38/14.48 c core #461 14.38/14.48 c Core size: 10 Core Weight: 1 Total Weight: -299 14.38/14.48 c Elapsed CPU time: 14.4308 s Remaining CPU time: 1785.57 s 14.48/14.53 c ============================[ Search Statistics ]============================== 14.48/14.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.53 c =============================================================================== 14.48/14.53 c | 0 | 1993 42826 86436 | 14275 0 nan | 0.000 % | 14.48/14.53 c =============================================================================== 14.48/14.53 c core #462 14.48/14.53 c Core size: 13 Core Weight: 1 Total Weight: -298 14.48/14.53 c Elapsed CPU time: 14.4798 s Remaining CPU time: 1785.52 s 14.48/14.58 c ============================[ Search Statistics ]============================== 14.48/14.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.58 c =============================================================================== 14.48/14.58 c | 0 | 1999 42827 86448 | 14275 0 nan | 0.000 % | 14.48/14.58 c =============================================================================== 14.48/14.58 c core #463 14.48/14.58 c Core size: 26 Core Weight: 1 Total Weight: -297 14.48/14.58 c Elapsed CPU time: 14.5298 s Remaining CPU time: 1785.47 s 14.58/14.62 c ============================[ Search Statistics ]============================== 14.58/14.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.58/14.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.58/14.63 c =============================================================================== 14.58/14.63 c | 0 | 2007 42828 86464 | 14276 0 nan | 0.000 % | 14.58/14.63 c =============================================================================== 14.58/14.63 c core #464 14.58/14.63 c Core size: 13 Core Weight: 1 Total Weight: -296 14.58/14.63 c Elapsed CPU time: 14.5788 s Remaining CPU time: 1785.42 s 14.58/14.67 c ============================[ Search Statistics ]============================== 14.58/14.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.58/14.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.58/14.67 c =============================================================================== 14.58/14.67 c | 0 | 2013 42829 86476 | 14276 0 nan | 0.000 % | 14.58/14.68 c =============================================================================== 14.58/14.68 c core #465 14.58/14.68 c Core size: 21 Core Weight: 1 Total Weight: -295 14.58/14.68 c Elapsed CPU time: 14.6278 s Remaining CPU time: 1785.37 s 14.68/14.72 c ============================[ Search Statistics ]============================== 14.68/14.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.68/14.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.68/14.72 c =============================================================================== 14.68/14.72 c | 0 | 2021 42830 86492 | 14276 0 nan | 0.000 % | 14.68/14.73 c =============================================================================== 14.68/14.73 c core #466 14.68/14.73 c Core size: 10 Core Weight: 1 Total Weight: -294 14.68/14.73 c Elapsed CPU time: 14.6778 s Remaining CPU time: 1785.32 s 14.68/14.77 c ============================[ Search Statistics ]============================== 14.68/14.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.68/14.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.68/14.77 c =============================================================================== 14.68/14.77 c | 0 | 2025 42831 86500 | 14277 0 nan | 0.000 % | 14.68/14.78 c =============================================================================== 14.68/14.78 c core #467 14.68/14.78 c Core size: 13 Core Weight: 1 Total Weight: -293 14.68/14.78 c Elapsed CPU time: 14.7278 s Remaining CPU time: 1785.27 s 14.78/14.82 c ============================[ Search Statistics ]============================== 14.78/14.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.78/14.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.78/14.82 c =============================================================================== 14.78/14.82 c | 0 | 2031 42832 86512 | 14277 0 nan | 0.000 % | 14.78/14.83 c =============================================================================== 14.78/14.83 c core #468 14.78/14.83 c Core size: 24 Core Weight: 1 Total Weight: -292 14.78/14.83 c Elapsed CPU time: 14.7788 s Remaining CPU time: 1785.22 s 14.78/14.87 c ============================[ Search Statistics ]============================== 14.78/14.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.78/14.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.78/14.87 c =============================================================================== 14.78/14.87 c | 0 | 2041 42833 86532 | 14277 0 nan | 0.000 % | 14.78/14.88 c =============================================================================== 14.78/14.88 c core #469 14.78/14.88 c Core size: 13 Core Weight: 1 Total Weight: -291 14.78/14.88 c Elapsed CPU time: 14.8287 s Remaining CPU time: 1785.17 s 14.88/14.92 c ============================[ Search Statistics ]============================== 14.88/14.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.88/14.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.88/14.92 c =============================================================================== 14.88/14.92 c | 0 | 2047 42834 86544 | 14278 0 nan | 0.000 % | 14.88/14.93 c =============================================================================== 14.88/14.93 c core #470 14.88/14.93 c Core size: 10 Core Weight: 1 Total Weight: -290 14.88/14.93 c Elapsed CPU time: 14.8777 s Remaining CPU time: 1785.12 s 14.88/14.97 c ============================[ Search Statistics ]============================== 14.88/14.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.88/14.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.88/14.97 c =============================================================================== 14.88/14.97 c | 0 | 2051 42835 86552 | 14278 0 nan | 0.000 % | 14.88/14.98 c =============================================================================== 14.88/14.98 c core #471 14.88/14.98 c Core size: 10 Core Weight: 1 Total Weight: -289 14.88/14.98 c Elapsed CPU time: 14.9267 s Remaining CPU time: 1785.07 s 14.98/15.02 c ============================[ Search Statistics ]============================== 14.98/15.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.98/15.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.98/15.02 c =============================================================================== 14.98/15.02 c | 0 | 2055 42836 86560 | 14278 0 nan | 0.000 % | 14.98/15.03 c =============================================================================== 14.98/15.03 c core #472 14.98/15.03 c Core size: 13 Core Weight: 1 Total Weight: -288 14.98/15.03 c Elapsed CPU time: 14.9737 s Remaining CPU time: 1785.03 s 14.98/15.07 c ============================[ Search Statistics ]============================== 14.98/15.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.98/15.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.98/15.07 c =============================================================================== 14.98/15.07 c | 0 | 2061 42837 86572 | 14279 0 nan | 0.000 % | 14.98/15.07 c =============================================================================== 14.98/15.07 c core #473 14.98/15.07 c Core size: 10 Core Weight: 1 Total Weight: -287 14.98/15.07 c Elapsed CPU time: 15.0227 s Remaining CPU time: 1784.98 s 15.08/15.12 c ============================[ Search Statistics ]============================== 15.08/15.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.08/15.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.08/15.12 c =============================================================================== 15.08/15.12 c | 0 | 2065 42838 86580 | 14279 0 nan | 0.000 % | 15.08/15.12 c =============================================================================== 15.08/15.12 c core #474 15.08/15.12 c Core size: 27 Core Weight: 1 Total Weight: -286 15.08/15.12 c Elapsed CPU time: 15.0727 s Remaining CPU time: 1784.93 s 15.08/15.17 c ============================[ Search Statistics ]============================== 15.08/15.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.08/15.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.08/15.17 c =============================================================================== 15.08/15.17 c | 0 | 2077 42839 86604 | 14279 0 nan | 0.000 % | 15.08/15.17 c =============================================================================== 15.08/15.17 c core #475 15.08/15.17 c Core size: 10 Core Weight: 1 Total Weight: -285 15.08/15.17 c Elapsed CPU time: 15.1217 s Remaining CPU time: 1784.88 s 15.18/15.22 c ============================[ Search Statistics ]============================== 15.18/15.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.18/15.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.18/15.22 c =============================================================================== 15.18/15.22 c | 0 | 2081 42840 86612 | 14280 0 nan | 0.000 % | 15.18/15.22 c =============================================================================== 15.18/15.22 c core #476 15.18/15.22 c Core size: 13 Core Weight: 1 Total Weight: -284 15.18/15.22 c Elapsed CPU time: 15.1687 s Remaining CPU time: 1784.83 s 15.18/15.26 c ============================[ Search Statistics ]============================== 15.18/15.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.18/15.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.18/15.26 c =============================================================================== 15.18/15.26 c | 0 | 2087 42841 86624 | 14280 0 nan | 0.000 % | 15.18/15.27 c =============================================================================== 15.18/15.27 c core #477 15.18/15.27 c Core size: 13 Core Weight: 1 Total Weight: -283 15.18/15.27 c Elapsed CPU time: 15.2187 s Remaining CPU time: 1784.78 s 15.28/15.31 c ============================[ Search Statistics ]============================== 15.28/15.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.28/15.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.28/15.31 c =============================================================================== 15.28/15.31 c | 0 | 2093 42842 86636 | 14280 0 nan | 0.000 % | 15.28/15.32 c =============================================================================== 15.28/15.32 c core #478 15.28/15.32 c Core size: 13 Core Weight: 1 Total Weight: -282 15.28/15.32 c Elapsed CPU time: 15.2647 s Remaining CPU time: 1784.74 s 15.28/15.36 c ============================[ Search Statistics ]============================== 15.28/15.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.28/15.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.28/15.36 c =============================================================================== 15.28/15.36 c | 0 | 2099 42843 86648 | 14281 0 nan | 0.000 % | 15.28/15.36 c =============================================================================== 15.28/15.36 c core #479 15.28/15.36 c Core size: 13 Core Weight: 1 Total Weight: -281 15.28/15.36 c Elapsed CPU time: 15.3117 s Remaining CPU time: 1784.69 s 15.39/15.41 c ============================[ Search Statistics ]============================== 15.39/15.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.39/15.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.39/15.41 c =============================================================================== 15.39/15.41 c | 0 | 2105 42844 86660 | 14281 0 nan | 0.000 % | 15.39/15.41 c =============================================================================== 15.39/15.41 c core #480 15.39/15.41 c Core size: 10 Core Weight: 1 Total Weight: -280 15.39/15.41 c Elapsed CPU time: 15.3577 s Remaining CPU time: 1784.64 s 15.39/15.46 c ============================[ Search Statistics ]============================== 15.39/15.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.39/15.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.39/15.46 c =============================================================================== 15.39/15.46 c | 0 | 2109 42845 86668 | 14281 0 nan | 0.000 % | 15.39/15.46 c =============================================================================== 15.39/15.46 c core #481 15.39/15.46 c Core size: 13 Core Weight: 1 Total Weight: -279 15.39/15.46 c Elapsed CPU time: 15.4097 s Remaining CPU time: 1784.59 s 15.49/15.51 c ============================[ Search Statistics ]============================== 15.49/15.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.51 c =============================================================================== 15.49/15.51 c | 0 | 2115 42846 86680 | 14282 0 nan | 0.000 % | 15.49/15.51 c =============================================================================== 15.49/15.51 c core #482 15.49/15.51 c Core size: 27 Core Weight: 1 Total Weight: -278 15.49/15.51 c Elapsed CPU time: 15.4576 s Remaining CPU time: 1784.54 s 15.49/15.56 c ============================[ Search Statistics ]============================== 15.49/15.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.56 c =============================================================================== 15.49/15.56 c | 0 | 2127 42847 86704 | 14282 0 nan | 0.000 % | 15.49/15.56 c =============================================================================== 15.49/15.56 c core #483 15.49/15.56 c Core size: 24 Core Weight: 1 Total Weight: -277 15.49/15.56 c Elapsed CPU time: 15.5086 s Remaining CPU time: 1784.49 s 15.59/15.61 c ============================[ Search Statistics ]============================== 15.59/15.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.61 c =============================================================================== 15.59/15.61 c | 0 | 2137 42848 86724 | 14282 0 nan | 0.000 % | 15.59/15.61 c =============================================================================== 15.59/15.61 c core #484 15.59/15.61 c Core size: 13 Core Weight: 1 Total Weight: -276 15.59/15.61 c Elapsed CPU time: 15.5596 s Remaining CPU time: 1784.44 s 15.59/15.66 c ============================[ Search Statistics ]============================== 15.59/15.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.59/15.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.59/15.66 c =============================================================================== 15.59/15.66 c | 0 | 2143 42849 86736 | 14283 0 nan | 0.000 % | 15.59/15.66 c =============================================================================== 15.59/15.67 c core #485 15.59/15.67 c Core size: 10 Core Weight: 1 Total Weight: -275 15.59/15.67 c Elapsed CPU time: 15.6106 s Remaining CPU time: 1784.39 s 15.69/15.71 c ============================[ Search Statistics ]============================== 15.69/15.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.71 c =============================================================================== 15.69/15.71 c | 0 | 2147 42850 86744 | 14283 0 nan | 0.000 % | 15.69/15.72 c =============================================================================== 15.69/15.72 c core #486 15.69/15.72 c Core size: 13 Core Weight: 1 Total Weight: -274 15.69/15.72 c Elapsed CPU time: 15.6616 s Remaining CPU time: 1784.34 s 15.69/15.76 c ============================[ Search Statistics ]============================== 15.69/15.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.76 c =============================================================================== 15.69/15.76 c | 0 | 2153 42851 86756 | 14283 0 nan | 0.000 % | 15.69/15.77 c =============================================================================== 15.69/15.77 c core #487 15.69/15.77 c Core size: 10 Core Weight: 1 Total Weight: -273 15.69/15.77 c Elapsed CPU time: 15.7116 s Remaining CPU time: 1784.29 s 15.79/15.81 c ============================[ Search Statistics ]============================== 15.79/15.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.81 c =============================================================================== 15.79/15.81 c | 0 | 2157 42852 86764 | 14284 0 nan | 0.000 % | 15.79/15.81 c =============================================================================== 15.79/15.81 c core #488 15.79/15.81 c Core size: 30 Core Weight: 1 Total Weight: -272 15.79/15.81 c Elapsed CPU time: 15.7596 s Remaining CPU time: 1784.24 s 15.79/15.86 c ============================[ Search Statistics ]============================== 15.79/15.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.86 c =============================================================================== 15.79/15.86 c | 0 | 2165 42853 86780 | 14284 0 nan | 0.000 % | 15.79/15.87 c =============================================================================== 15.79/15.87 c core #489 15.79/15.87 c Core size: 46 Core Weight: 1 Total Weight: -271 15.79/15.87 c Elapsed CPU time: 15.8116 s Remaining CPU time: 1784.19 s 15.89/15.91 c ============================[ Search Statistics ]============================== 15.89/15.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.91 c =============================================================================== 15.89/15.91 c | 0 | 2183 42854 86816 | 14284 0 nan | 0.000 % | 15.89/15.92 c =============================================================================== 15.89/15.92 c core #490 15.89/15.92 c Core size: 13 Core Weight: 1 Total Weight: -270 15.89/15.92 c Elapsed CPU time: 15.8626 s Remaining CPU time: 1784.14 s 15.89/15.96 c ============================[ Search Statistics ]============================== 15.89/15.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.96 c =============================================================================== 15.89/15.96 c | 0 | 2189 42855 86828 | 14285 0 nan | 0.000 % | 15.89/15.97 c =============================================================================== 15.89/15.97 c core #491 15.89/15.97 c Core size: 13 Core Weight: 1 Total Weight: -269 15.89/15.97 c Elapsed CPU time: 15.9126 s Remaining CPU time: 1784.09 s 15.99/16.01 c ============================[ Search Statistics ]============================== 15.99/16.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.99/16.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.99/16.01 c =============================================================================== 15.99/16.01 c | 0 | 2195 42856 86840 | 14285 0 nan | 0.000 % | 15.99/16.02 c =============================================================================== 15.99/16.02 c core #492 15.99/16.02 c Core size: 13 Core Weight: 1 Total Weight: -268 15.99/16.02 c Elapsed CPU time: 15.9636 s Remaining CPU time: 1784.04 s 15.99/16.06 c ============================[ Search Statistics ]============================== 15.99/16.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.99/16.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.99/16.06 c =============================================================================== 15.99/16.06 c | 0 | 2201 42857 86852 | 14285 0 nan | 0.000 % | 15.99/16.07 c =============================================================================== 15.99/16.07 c core #493 15.99/16.07 c Core size: 13 Core Weight: 1 Total Weight: -267 15.99/16.07 c Elapsed CPU time: 16.0136 s Remaining CPU time: 1783.99 s 16.09/16.11 c ============================[ Search Statistics ]============================== 16.09/16.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.09/16.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.09/16.11 c =============================================================================== 16.09/16.11 c | 0 | 2207 42858 86864 | 14286 0 nan | 0.000 % | 16.09/16.12 c =============================================================================== 16.09/16.12 c core #494 16.09/16.12 c Core size: 10 Core Weight: 1 Total Weight: -266 16.09/16.12 c Elapsed CPU time: 16.0646 s Remaining CPU time: 1783.94 s 16.09/16.16 c ============================[ Search Statistics ]============================== 16.09/16.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.09/16.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.09/16.16 c =============================================================================== 16.09/16.16 c | 0 | 2211 42859 86872 | 14286 0 nan | 0.000 % | 16.09/16.17 c =============================================================================== 16.09/16.17 c core #495 16.09/16.17 c Core size: 13 Core Weight: 1 Total Weight: -265 16.09/16.17 c Elapsed CPU time: 16.1116 s Remaining CPU time: 1783.89 s 16.18/16.21 c ============================[ Search Statistics ]============================== 16.18/16.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.18/16.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.18/16.21 c =============================================================================== 16.18/16.21 c | 0 | 2217 42860 86884 | 14286 0 nan | 0.000 % | 16.18/16.22 c =============================================================================== 16.18/16.22 c core #496 16.18/16.22 c Core size: 13 Core Weight: 1 Total Weight: -264 16.18/16.22 c Elapsed CPU time: 16.1605 s Remaining CPU time: 1783.84 s 16.18/16.26 c ============================[ Search Statistics ]============================== 16.18/16.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.18/16.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.18/16.26 c =============================================================================== 16.18/16.26 c | 0 | 2223 42861 86896 | 14287 0 nan | 0.000 % | 16.18/16.27 c =============================================================================== 16.18/16.27 c core #497 16.18/16.27 c Core size: 13 Core Weight: 1 Total Weight: -263 16.18/16.27 c Elapsed CPU time: 16.2115 s Remaining CPU time: 1783.79 s 16.28/16.31 c ============================[ Search Statistics ]============================== 16.28/16.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.28/16.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.28/16.31 c =============================================================================== 16.28/16.31 c | 0 | 2229 42862 86908 | 14287 0 nan | 0.000 % | 16.28/16.32 c =============================================================================== 16.28/16.32 c core #498 16.28/16.32 c Core size: 13 Core Weight: 1 Total Weight: -262 16.28/16.32 c Elapsed CPU time: 16.2615 s Remaining CPU time: 1783.74 s 16.28/16.36 c ============================[ Search Statistics ]============================== 16.28/16.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.28/16.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.28/16.36 c =============================================================================== 16.28/16.36 c | 0 | 2235 42863 86920 | 14287 0 nan | 0.000 % | 16.28/16.37 c =============================================================================== 16.28/16.37 c core #499 16.28/16.37 c Core size: 13 Core Weight: 1 Total Weight: -261 16.28/16.37 c Elapsed CPU time: 16.3105 s Remaining CPU time: 1783.69 s 16.39/16.41 c ============================[ Search Statistics ]============================== 16.39/16.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.39/16.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.39/16.41 c =============================================================================== 16.39/16.41 c | 0 | 2241 42864 86932 | 14288 0 nan | 0.000 % | 16.39/16.42 c =============================================================================== 16.39/16.42 c core #500 16.39/16.42 c Core size: 10 Core Weight: 1 Total Weight: -260 16.39/16.42 c Elapsed CPU time: 16.3585 s Remaining CPU time: 1783.64 s 16.39/16.46 c ============================[ Search Statistics ]============================== 16.39/16.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.39/16.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.39/16.46 c =============================================================================== 16.39/16.46 c | 0 | 2245 42865 86940 | 14288 0 nan | 0.000 % | 16.39/16.47 c =============================================================================== 16.39/16.47 c core #501 16.39/16.47 c Core size: 13 Core Weight: 1 Total Weight: -259 16.39/16.47 c Elapsed CPU time: 16.4075 s Remaining CPU time: 1783.59 s 16.49/16.51 c ============================[ Search Statistics ]============================== 16.49/16.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.49/16.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.49/16.51 c =============================================================================== 16.49/16.51 c | 0 | 2251 42866 86952 | 14288 0 nan | 0.000 % | 16.49/16.52 c =============================================================================== 16.49/16.52 c core #502 16.49/16.52 c Core size: 10 Core Weight: 1 Total Weight: -258 16.49/16.52 c Elapsed CPU time: 16.4575 s Remaining CPU time: 1783.54 s 16.49/16.56 c ============================[ Search Statistics ]============================== 16.49/16.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.49/16.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.49/16.56 c =============================================================================== 16.49/16.56 c | 0 | 2255 42867 86960 | 14289 0 nan | 0.000 % | 16.49/16.56 c =============================================================================== 16.49/16.56 c core #503 16.49/16.56 c Core size: 10 Core Weight: 1 Total Weight: -257 16.49/16.56 c Elapsed CPU time: 16.5065 s Remaining CPU time: 1783.49 s 16.58/16.61 c ============================[ Search Statistics ]============================== 16.58/16.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.61 c =============================================================================== 16.58/16.61 c | 0 | 2259 42868 86968 | 14289 0 nan | 0.000 % | 16.58/16.62 c =============================================================================== 16.58/16.62 c core #504 16.58/16.62 c Core size: 10 Core Weight: 1 Total Weight: -256 16.58/16.62 c Elapsed CPU time: 16.5575 s Remaining CPU time: 1783.44 s 16.58/16.66 c ============================[ Search Statistics ]============================== 16.58/16.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.66 c =============================================================================== 16.58/16.66 c | 0 | 2263 42869 86976 | 14289 0 nan | 0.000 % | 16.58/16.67 c =============================================================================== 16.58/16.67 c core #505 16.58/16.67 c Core size: 13 Core Weight: 1 Total Weight: -255 16.58/16.67 c Elapsed CPU time: 16.6075 s Remaining CPU time: 1783.39 s 16.68/16.71 c ============================[ Search Statistics ]============================== 16.68/16.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.71 c =============================================================================== 16.68/16.71 c | 0 | 2269 42870 86988 | 14290 0 nan | 0.000 % | 16.68/16.72 c =============================================================================== 16.68/16.72 c core #506 16.68/16.72 c Core size: 13 Core Weight: 1 Total Weight: -254 16.68/16.72 c Elapsed CPU time: 16.6585 s Remaining CPU time: 1783.34 s 16.68/16.76 c ============================[ Search Statistics ]============================== 16.68/16.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.76 c =============================================================================== 16.68/16.76 c | 0 | 2275 42871 87000 | 14290 0 nan | 0.000 % | 16.68/16.77 c =============================================================================== 16.68/16.77 c core #507 16.68/16.77 c Core size: 10 Core Weight: 1 Total Weight: -253 16.68/16.77 c Elapsed CPU time: 16.7085 s Remaining CPU time: 1783.29 s 16.78/16.81 c ============================[ Search Statistics ]============================== 16.78/16.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.81 c =============================================================================== 16.78/16.81 c | 0 | 2279 42872 87008 | 14290 0 nan | 0.000 % | 16.78/16.82 c =============================================================================== 16.78/16.82 c core #508 16.78/16.82 c Core size: 10 Core Weight: 1 Total Weight: -252 16.78/16.82 c Elapsed CPU time: 16.7585 s Remaining CPU time: 1783.24 s 16.78/16.86 c ============================[ Search Statistics ]============================== 16.78/16.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.86 c =============================================================================== 16.78/16.86 c | 0 | 2283 42873 87016 | 14291 0 nan | 0.000 % | 16.78/16.87 c =============================================================================== 16.78/16.87 c core #509 16.78/16.87 c Core size: 10 Core Weight: 1 Total Weight: -251 16.78/16.87 c Elapsed CPU time: 16.8084 s Remaining CPU time: 1783.19 s 16.88/16.91 c ============================[ Search Statistics ]============================== 16.88/16.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.88/16.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.88/16.91 c =============================================================================== 16.88/16.91 c | 0 | 2287 42874 87024 | 14291 0 nan | 0.000 % | 16.88/16.92 c =============================================================================== 16.88/16.92 c core #510 16.88/16.92 c Core size: 21 Core Weight: 1 Total Weight: -250 16.88/16.92 c Elapsed CPU time: 16.8594 s Remaining CPU time: 1783.14 s 16.88/16.96 c ============================[ Search Statistics ]============================== 16.88/16.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.88/16.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.88/16.96 c =============================================================================== 16.88/16.96 c | 0 | 2297 42875 87044 | 14291 0 nan | 0.000 % | 16.88/16.97 c =============================================================================== 16.88/16.97 c core #511 16.88/16.97 c Core size: 10 Core Weight: 1 Total Weight: -249 16.88/16.97 c Elapsed CPU time: 16.9114 s Remaining CPU time: 1783.09 s 16.98/17.02 c ============================[ Search Statistics ]============================== 16.98/17.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.98/17.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.98/17.02 c =============================================================================== 16.98/17.02 c | 0 | 2301 42876 87052 | 14292 0 nan | 0.000 % | 16.98/17.02 c =============================================================================== 16.98/17.02 c core #512 16.98/17.02 c Core size: 10 Core Weight: 1 Total Weight: -248 16.98/17.02 c Elapsed CPU time: 16.9634 s Remaining CPU time: 1783.04 s 16.98/17.07 c ============================[ Search Statistics ]============================== 16.98/17.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.98/17.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.98/17.07 c =============================================================================== 16.98/17.07 c | 0 | 2305 42877 87060 | 14292 0 nan | 0.000 % | 16.98/17.07 c =============================================================================== 16.98/17.07 c core #513 16.98/17.07 c Core size: 10 Core Weight: 1 Total Weight: -247 16.98/17.07 c Elapsed CPU time: 17.0134 s Remaining CPU time: 1782.99 s 17.08/17.12 c ============================[ Search Statistics ]============================== 17.08/17.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.08/17.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.08/17.12 c =============================================================================== 17.08/17.12 c | 0 | 2309 42878 87068 | 14292 0 nan | 0.000 % | 17.08/17.13 c =============================================================================== 17.08/17.13 c core #514 17.08/17.13 c Core size: 10 Core Weight: 1 Total Weight: -246 17.08/17.13 c Elapsed CPU time: 17.0654 s Remaining CPU time: 1782.93 s 17.08/17.17 c ============================[ Search Statistics ]============================== 17.08/17.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.08/17.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.08/17.17 c =============================================================================== 17.08/17.17 c | 0 | 2313 42879 87076 | 14293 0 nan | 0.000 % | 17.08/17.18 c =============================================================================== 17.08/17.18 c core #515 17.08/17.18 c Core size: 13 Core Weight: 1 Total Weight: -245 17.08/17.18 c Elapsed CPU time: 17.1164 s Remaining CPU time: 1782.88 s 17.18/17.22 c ============================[ Search Statistics ]============================== 17.18/17.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.18/17.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.18/17.22 c =============================================================================== 17.18/17.22 c | 0 | 2319 42880 87088 | 14293 0 nan | 0.000 % | 17.18/17.23 c =============================================================================== 17.18/17.23 c core #516 17.18/17.23 c Core size: 10 Core Weight: 1 Total Weight: -244 17.18/17.23 c Elapsed CPU time: 17.1664 s Remaining CPU time: 1782.83 s 17.18/17.27 c ============================[ Search Statistics ]============================== 17.18/17.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.18/17.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.18/17.27 c =============================================================================== 17.18/17.27 c | 0 | 2323 42881 87096 | 14293 0 nan | 0.000 % | 17.18/17.28 c =============================================================================== 17.18/17.28 c core #517 17.18/17.28 c Core size: 10 Core Weight: 1 Total Weight: -243 17.18/17.28 c Elapsed CPU time: 17.2194 s Remaining CPU time: 1782.78 s 17.28/17.32 c ============================[ Search Statistics ]============================== 17.28/17.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.28/17.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.28/17.32 c =============================================================================== 17.28/17.32 c | 0 | 2327 42882 87104 | 14294 0 nan | 0.000 % | 17.28/17.33 c =============================================================================== 17.28/17.33 c core #518 17.28/17.33 c Core size: 18 Core Weight: 1 Total Weight: -242 17.28/17.33 c Elapsed CPU time: 17.2714 s Remaining CPU time: 1782.73 s 17.28/17.38 c ============================[ Search Statistics ]============================== 17.28/17.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.28/17.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.28/17.38 c =============================================================================== 17.28/17.38 c | 0 | 2333 42883 87116 | 14294 0 nan | 0.000 % | 17.28/17.38 c =============================================================================== 17.28/17.38 c core #519 17.28/17.38 c Core size: 22 Core Weight: 1 Total Weight: -241 17.28/17.38 c Elapsed CPU time: 17.3224 s Remaining CPU time: 1782.68 s 17.38/17.43 c ============================[ Search Statistics ]============================== 17.38/17.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.38/17.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.38/17.43 c =============================================================================== 17.38/17.43 c | 0 | 2341 42884 87132 | 14294 0 nan | 0.000 % | 17.38/17.44 c =============================================================================== 17.38/17.44 c core #520 17.38/17.44 c Core size: 33 Core Weight: 1 Total Weight: -240 17.38/17.44 c Elapsed CPU time: 17.3774 s Remaining CPU time: 1782.62 s 17.38/17.48 c ============================[ Search Statistics ]============================== 17.38/17.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.38/17.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.38/17.48 c =============================================================================== 17.38/17.48 c | 0 | 2353 42885 87156 | 14295 0 nan | 0.000 % | 17.38/17.49 c =============================================================================== 17.38/17.49 c core #521 17.38/17.49 c Core size: 10 Core Weight: 1 Total Weight: -239 17.38/17.49 c Elapsed CPU time: 17.4284 s Remaining CPU time: 1782.57 s 17.48/17.54 c ============================[ Search Statistics ]============================== 17.48/17.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.48/17.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.48/17.54 c =============================================================================== 17.48/17.54 c | 0 | 2357 42886 87164 | 14295 0 nan | 0.000 % | 17.48/17.54 c =============================================================================== 17.48/17.54 c core #522 17.48/17.54 c Core size: 55 Core Weight: 1 Total Weight: -238 17.48/17.54 c Elapsed CPU time: 17.4823 s Remaining CPU time: 1782.52 s 17.48/17.59 c ============================[ Search Statistics ]============================== 17.48/17.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.48/17.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.48/17.59 c =============================================================================== 17.48/17.59 c | 0 | 2373 42887 87196 | 14295 0 nan | 0.000 % | 17.48/17.60 c =============================================================================== 17.48/17.60 c core #523 17.48/17.60 c Core size: 13 Core Weight: 1 Total Weight: -237 17.48/17.60 c Elapsed CPU time: 17.5333 s Remaining CPU time: 1782.47 s 17.58/17.64 c ============================[ Search Statistics ]============================== 17.58/17.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.58/17.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.58/17.64 c =============================================================================== 17.58/17.64 c | 0 | 2379 42888 87208 | 14296 0 nan | 0.000 % | 17.58/17.65 c =============================================================================== 17.58/17.65 c core #524 17.58/17.65 c Core size: 10 Core Weight: 1 Total Weight: -236 17.58/17.65 c Elapsed CPU time: 17.5863 s Remaining CPU time: 1782.41 s 17.58/17.69 c ============================[ Search Statistics ]============================== 17.58/17.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.58/17.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.58/17.69 c =============================================================================== 17.58/17.69 c | 0 | 2383 42889 87216 | 14296 0 nan | 0.000 % | 17.68/17.70 c =============================================================================== 17.68/17.70 c core #525 17.68/17.70 c Core size: 10 Core Weight: 1 Total Weight: -235 17.68/17.70 c Elapsed CPU time: 17.6373 s Remaining CPU time: 1782.36 s 17.68/17.75 c ============================[ Search Statistics ]============================== 17.68/17.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.75 c =============================================================================== 17.68/17.75 c | 0 | 2387 42890 87224 | 14296 0 nan | 0.000 % | 17.68/17.75 c =============================================================================== 17.68/17.75 c core #526 17.68/17.75 c Core size: 30 Core Weight: 1 Total Weight: -234 17.68/17.75 c Elapsed CPU time: 17.6893 s Remaining CPU time: 1782.31 s 17.78/17.80 c ============================[ Search Statistics ]============================== 17.78/17.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.80 c =============================================================================== 17.78/17.80 c | 0 | 2395 42891 87240 | 14297 0 nan | 0.000 % | 17.78/17.81 c =============================================================================== 17.78/17.81 c core #527 17.78/17.81 c Core size: 40 Core Weight: 1 Total Weight: -233 17.78/17.81 c Elapsed CPU time: 17.7433 s Remaining CPU time: 1782.26 s 17.78/17.85 c ============================[ Search Statistics ]============================== 17.78/17.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.85 c =============================================================================== 17.78/17.85 c | 0 | 2413 42892 87276 | 14297 0 nan | 0.000 % | 17.78/17.86 c =============================================================================== 17.78/17.86 c core #528 17.78/17.86 c Core size: 13 Core Weight: 1 Total Weight: -232 17.78/17.86 c Elapsed CPU time: 17.7963 s Remaining CPU time: 1782.2 s 17.88/17.90 c ============================[ Search Statistics ]============================== 17.88/17.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.88/17.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.88/17.90 c =============================================================================== 17.88/17.90 c | 0 | 2419 42893 87288 | 14297 0 nan | 0.000 % | 17.88/17.91 c =============================================================================== 17.88/17.91 c core #529 17.88/17.91 c Core size: 13 Core Weight: 1 Total Weight: -231 17.88/17.91 c Elapsed CPU time: 17.8473 s Remaining CPU time: 1782.15 s 17.88/17.96 c ============================[ Search Statistics ]============================== 17.88/17.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.88/17.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.88/17.96 c =============================================================================== 17.88/17.96 c | 0 | 2425 42894 87300 | 14298 0 nan | 0.000 % | 17.88/17.97 c =============================================================================== 17.88/17.97 c core #530 17.88/17.97 c Core size: 10 Core Weight: 1 Total Weight: -230 17.88/17.97 c Elapsed CPU time: 17.9013 s Remaining CPU time: 1782.1 s 17.98/18.01 c ============================[ Search Statistics ]============================== 17.98/18.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.98/18.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.98/18.01 c =============================================================================== 17.98/18.01 c | 0 | 2429 42895 87308 | 14298 0 nan | 0.000 % | 17.98/18.02 c =============================================================================== 17.98/18.02 c core #531 17.98/18.02 c Core size: 13 Core Weight: 1 Total Weight: -229 17.98/18.02 c Elapsed CPU time: 17.9513 s Remaining CPU time: 1782.05 s 17.98/18.06 c ============================[ Search Statistics ]============================== 17.98/18.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.98/18.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.98/18.06 c =============================================================================== 17.98/18.06 c | 0 | 2435 42896 87320 | 14298 0 nan | 0.000 % | 17.98/18.07 c =============================================================================== 17.98/18.07 c core #532 17.98/18.07 c Core size: 13 Core Weight: 1 Total Weight: -228 17.98/18.07 c Elapsed CPU time: 18.0043 s Remaining CPU time: 1782 s 18.08/18.12 c ============================[ Search Statistics ]============================== 18.08/18.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.12 c =============================================================================== 18.08/18.12 c | 0 | 2441 42897 87332 | 14299 0 nan | 0.000 % | 18.08/18.12 c =============================================================================== 18.08/18.12 c core #533 18.08/18.12 c Core size: 32 Core Weight: 1 Total Weight: -227 18.08/18.12 c Elapsed CPU time: 18.0583 s Remaining CPU time: 1781.94 s 18.08/18.17 c ============================[ Search Statistics ]============================== 18.08/18.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.17 c =============================================================================== 18.08/18.17 c | 0 | 2453 42898 87356 | 14299 0 nan | 0.000 % | 18.08/18.18 c =============================================================================== 18.08/18.18 c core #534 18.08/18.18 c Core size: 22 Core Weight: 1 Total Weight: -226 18.08/18.18 c Elapsed CPU time: 18.1112 s Remaining CPU time: 1781.89 s 18.18/18.22 c ============================[ Search Statistics ]============================== 18.18/18.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.18/18.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.18/18.22 c =============================================================================== 18.18/18.22 c | 0 | 2461 42899 87372 | 14299 0 nan | 0.000 % | 18.18/18.23 c =============================================================================== 18.18/18.23 c core #535 18.18/18.23 c Core size: 57 Core Weight: 1 Total Weight: -225 18.18/18.23 c Elapsed CPU time: 18.1612 s Remaining CPU time: 1781.84 s 18.18/18.28 c ============================[ Search Statistics ]============================== 18.18/18.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.18/18.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.18/18.28 c =============================================================================== 18.18/18.28 c | 0 | 2477 42900 87404 | 14300 0 nan | 0.000 % | 18.18/18.29 c | 102 | 2477 42900 87404 | 15730 102 10 | 0.000 % | 18.18/18.29 c =============================================================================== 18.18/18.29 c core #536 18.18/18.29 c Core size: 77 Core Weight: 1 Total Weight: -224 18.18/18.29 c Elapsed CPU time: 18.2212 s Remaining CPU time: 1781.78 s 18.28/18.34 c ============================[ Search Statistics ]============================== 18.28/18.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.28/18.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.28/18.34 c =============================================================================== 18.28/18.34 c | 0 | 2491 42901 87432 | 14300 0 nan | 0.000 % | 18.28/18.34 c =============================================================================== 18.28/18.34 c core #537 18.28/18.34 c Core size: 18 Core Weight: 1 Total Weight: -223 18.28/18.34 c Elapsed CPU time: 18.2752 s Remaining CPU time: 1781.72 s 18.28/18.39 c ============================[ Search Statistics ]============================== 18.28/18.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.28/18.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.28/18.39 c =============================================================================== 18.28/18.39 c | 0 | 2497 42902 87444 | 14300 0 nan | 0.000 % | 18.38/18.40 c | 102 | 2497 42902 87444 | 15730 102 19 | 0.000 % | 18.38/18.40 c | 252 | 2495 42902 87444 | 17303 252 19 | 0.080 % | 18.38/18.41 c =============================================================================== 18.38/18.42 c core #538 18.38/18.42 c Core size: 151 Core Weight: 1 Total Weight: -222 18.38/18.42 c Elapsed CPU time: 18.3482 s Remaining CPU time: 1781.65 s 18.38/18.46 c ============================[ Search Statistics ]============================== 18.38/18.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.38/18.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.38/18.46 c =============================================================================== 18.38/18.46 c | 0 | 2527 42903 87504 | 14301 0 nan | 0.000 % | 18.38/18.47 c =============================================================================== 18.38/18.47 c core #539 18.38/18.47 c Core size: 22 Core Weight: 1 Total Weight: -221 18.38/18.47 c Elapsed CPU time: 18.3992 s Remaining CPU time: 1781.6 s 18.48/18.52 c ============================[ Search Statistics ]============================== 18.48/18.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.52 c =============================================================================== 18.48/18.52 c | 0 | 2533 42904 87516 | 14301 0 nan | 0.000 % | 18.48/18.53 c | 100 | 2533 42904 87516 | 15731 100 21 | 0.000 % | 18.48/18.53 c =============================================================================== 18.48/18.53 c core #540 18.48/18.53 c Core size: 61 Core Weight: 1 Total Weight: -220 18.48/18.53 c Elapsed CPU time: 18.4592 s Remaining CPU time: 1781.54 s 18.48/18.58 c ============================[ Search Statistics ]============================== 18.48/18.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.58 c =============================================================================== 18.48/18.58 c | 0 | 2553 42905 87556 | 14301 0 nan | 0.000 % | 18.48/18.59 c | 100 | 2553 42905 87556 | 15731 100 21 | 0.000 % | 18.48/18.59 c =============================================================================== 18.48/18.59 c core #541 18.48/18.59 c Core size: 23 Core Weight: 1 Total Weight: -219 18.48/18.59 c Elapsed CPU time: 18.5212 s Remaining CPU time: 1781.48 s 18.58/18.64 c ============================[ Search Statistics ]============================== 18.58/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.58/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.58/18.64 c =============================================================================== 18.58/18.64 c | 0 | 2562 42906 87574 | 14302 0 nan | 0.000 % | 18.58/18.65 c | 100 | 2562 42906 87574 | 15732 100 21 | 0.000 % | 18.58/18.65 c =============================================================================== 18.58/18.65 c core #542 18.58/18.65 c Core size: 58 Core Weight: 1 Total Weight: -218 18.58/18.65 c Elapsed CPU time: 18.5792 s Remaining CPU time: 1781.42 s 18.58/18.70 c ============================[ Search Statistics ]============================== 18.58/18.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.58/18.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.58/18.70 c =============================================================================== 18.58/18.70 c | 0 | 2576 42907 87602 | 14302 0 nan | 0.000 % | 18.68/18.70 c =============================================================================== 18.68/18.70 c core #543 18.68/18.70 c Core size: 30 Core Weight: 1 Total Weight: -217 18.68/18.70 c Elapsed CPU time: 18.6312 s Remaining CPU time: 1781.37 s 18.68/18.75 c ============================[ Search Statistics ]============================== 18.68/18.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.68/18.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.68/18.75 c =============================================================================== 18.68/18.75 c | 0 | 2584 42908 87618 | 14302 0 nan | 0.000 % | 18.68/18.76 c =============================================================================== 18.68/18.76 c core #544 18.68/18.76 c Core size: 33 Core Weight: 1 Total Weight: -216 18.68/18.76 c Elapsed CPU time: 18.6862 s Remaining CPU time: 1781.31 s 18.78/18.81 c ============================[ Search Statistics ]============================== 18.78/18.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.78/18.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.78/18.81 c =============================================================================== 18.78/18.81 c | 0 | 2594 42909 87638 | 14303 0 nan | 0.000 % | 18.78/18.82 c =============================================================================== 18.78/18.82 c core #545 18.78/18.82 c Core size: 54 Core Weight: 1 Total Weight: -215 18.78/18.82 c Elapsed CPU time: 18.7421 s Remaining CPU time: 1781.26 s 18.78/18.86 c ============================[ Search Statistics ]============================== 18.78/18.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.78/18.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.78/18.86 c =============================================================================== 18.78/18.86 c | 0 | 2606 42910 87662 | 14303 0 nan | 0.000 % | 18.78/18.87 c =============================================================================== 18.78/18.87 c core #546 18.78/18.87 c Core size: 58 Core Weight: 1 Total Weight: -214 18.78/18.87 c Elapsed CPU time: 18.7981 s Remaining CPU time: 1781.2 s 18.88/18.92 c ============================[ Search Statistics ]============================== 18.88/18.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.88/18.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.88/18.92 c =============================================================================== 18.88/18.92 c | 0 | 2618 42911 87686 | 14303 0 nan | 0.000 % | 18.88/18.93 c =============================================================================== 18.88/18.93 c core #547 18.88/18.93 c Core size: 33 Core Weight: 1 Total Weight: -213 18.88/18.93 c Elapsed CPU time: 18.8541 s Remaining CPU time: 1781.15 s 18.88/18.97 c ============================[ Search Statistics ]============================== 18.88/18.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.88/18.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.88/18.97 c =============================================================================== 18.88/18.97 c | 0 | 2630 42912 87710 | 14304 0 nan | 0.000 % | 18.88/18.98 c =============================================================================== 18.88/18.98 c core #548 18.88/18.98 c Core size: 22 Core Weight: 1 Total Weight: -212 18.88/18.98 c Elapsed CPU time: 18.9061 s Remaining CPU time: 1781.09 s 18.98/19.03 c ============================[ Search Statistics ]============================== 18.98/19.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.98/19.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.98/19.03 c =============================================================================== 18.98/19.03 c | 0 | 2636 42913 87722 | 14304 0 nan | 0.000 % | 18.98/19.04 c =============================================================================== 18.98/19.04 c core #549 18.98/19.04 c Core size: 62 Core Weight: 1 Total Weight: -211 18.98/19.04 c Elapsed CPU time: 18.9611 s Remaining CPU time: 1781.04 s 18.98/19.09 c ============================[ Search Statistics ]============================== 18.98/19.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.98/19.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.98/19.09 c =============================================================================== 18.98/19.09 c | 0 | 2652 42914 87754 | 14304 0 nan | 0.000 % | 18.98/19.10 c | 103 | 2652 42914 87754 | 15735 103 9 | 0.000 % | 19.08/19.10 c =============================================================================== 19.08/19.10 c core #550 19.08/19.10 c Core size: 124 Core Weight: 1 Total Weight: -210 19.08/19.10 c Elapsed CPU time: 19.0211 s Remaining CPU time: 1780.98 s 19.08/19.15 c ============================[ Search Statistics ]============================== 19.08/19.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.15 c =============================================================================== 19.08/19.15 c | 0 | 2680 42915 87810 | 14305 0 nan | 0.000 % | 19.08/19.16 c =============================================================================== 19.08/19.16 c core #551 19.08/19.16 c Core size: 54 Core Weight: 1 Total Weight: -209 19.08/19.16 c Elapsed CPU time: 19.0801 s Remaining CPU time: 1780.92 s 19.18/19.21 c ============================[ Search Statistics ]============================== 19.18/19.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.18/19.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.18/19.21 c =============================================================================== 19.18/19.21 c | 0 | 2698 42916 87846 | 14305 0 nan | 0.000 % | 19.18/19.22 c =============================================================================== 19.18/19.22 c core #552 19.18/19.22 c Core size: 42 Core Weight: 1 Total Weight: -208 19.18/19.22 c Elapsed CPU time: 19.1361 s Remaining CPU time: 1780.86 s 19.18/19.26 c ============================[ Search Statistics ]============================== 19.18/19.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.18/19.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.18/19.26 c =============================================================================== 19.18/19.26 c | 0 | 2712 42917 87874 | 14305 0 nan | 0.000 % | 19.18/19.27 c =============================================================================== 19.18/19.27 c core #553 19.18/19.27 c Core size: 30 Core Weight: 1 Total Weight: -207 19.18/19.27 c Elapsed CPU time: 19.1931 s Remaining CPU time: 1780.81 s 19.28/19.32 c ============================[ Search Statistics ]============================== 19.28/19.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.28/19.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.28/19.32 c =============================================================================== 19.28/19.32 c | 0 | 2720 42918 87890 | 14306 0 nan | 0.000 % | 19.28/19.33 c | 100 | 2720 42918 87890 | 15736 100 10 | 0.000 % | 19.28/19.33 c =============================================================================== 19.28/19.33 c core #554 19.28/19.33 c Core size: 74 Core Weight: 1 Total Weight: -206 19.28/19.33 c Elapsed CPU time: 19.2551 s Remaining CPU time: 1780.74 s 19.28/19.38 c ============================[ Search Statistics ]============================== 19.28/19.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.28/19.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.28/19.38 c =============================================================================== 19.28/19.38 c | 0 | 2732 42919 87914 | 14306 0 nan | 0.000 % | 19.28/19.39 c | 101 | 2732 42919 87914 | 15736 101 14 | 0.000 % | 19.38/19.40 c | 251 | 2731 42919 87914 | 17310 251 16 | 0.037 % | 19.38/19.41 c | 481 | 2731 42919 87914 | 19041 481 19 | 0.037 % | 19.38/19.43 c | 820 | 2730 42919 87914 | 20945 820 20 | 0.073 % | 19.38/19.46 c | 1326 | 2628 42919 87914 | 23040 460 15 | 3.807 % | 19.38/19.47 c =============================================================================== 19.38/19.48 c core #555 19.38/19.48 c Core size: 111 Core Weight: 1 Total Weight: -205 19.38/19.48 c Elapsed CPU time: 19.3941 s Remaining CPU time: 1780.61 s 19.48/19.52 c ============================[ Search Statistics ]============================== 19.48/19.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.48/19.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.48/19.52 c =============================================================================== 19.48/19.52 c | 0 | 2756 42920 87962 | 14306 0 nan | 0.000 % | 19.48/19.53 c | 101 | 2756 42920 87962 | 15737 101 23 | 0.000 % | 19.48/19.53 c =============================================================================== 19.48/19.53 c core #556 19.48/19.53 c Core size: 41 Core Weight: 1 Total Weight: -204 19.48/19.53 c Elapsed CPU time: 19.453 s Remaining CPU time: 1780.55 s 19.48/19.58 c ============================[ Search Statistics ]============================== 19.48/19.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.48/19.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.48/19.58 c =============================================================================== 19.48/19.58 c | 0 | 2768 42921 87986 | 14307 0 nan | 0.000 % | 19.48/19.59 c =============================================================================== 19.48/19.59 c core #557 19.48/19.59 c Core size: 48 Core Weight: 1 Total Weight: -203 19.48/19.59 c Elapsed CPU time: 19.508 s Remaining CPU time: 1780.49 s 19.58/19.64 c ============================[ Search Statistics ]============================== 19.58/19.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.58/19.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.58/19.64 c =============================================================================== 19.58/19.64 c | 0 | 2781 42922 88012 | 14307 0 nan | 0.000 % | 19.58/19.65 c | 102 | 2773 42922 88012 | 15738 102 8 | 0.971 % | 19.58/19.65 c =============================================================================== 19.58/19.65 c core #558 19.58/19.65 c Core size: 78 Core Weight: 1 Total Weight: -202 19.58/19.65 c Elapsed CPU time: 19.566 s Remaining CPU time: 1780.43 s 19.58/19.70 c ============================[ Search Statistics ]============================== 19.58/19.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.58/19.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.58/19.70 c =============================================================================== 19.58/19.70 c | 0 | 2797 42923 88044 | 14307 0 nan | 0.000 % | 19.68/19.71 c =============================================================================== 19.68/19.71 c core #559 19.68/19.71 c Core size: 79 Core Weight: 1 Total Weight: -201 19.68/19.71 c Elapsed CPU time: 19.622 s Remaining CPU time: 1780.38 s 19.68/19.75 c ============================[ Search Statistics ]============================== 19.68/19.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.68/19.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.68/19.75 c =============================================================================== 19.68/19.75 c | 0 | 2821 42924 88092 | 14308 0 nan | 0.000 % | 19.68/19.76 c =============================================================================== 19.68/19.76 c core #560 19.68/19.76 c Core size: 22 Core Weight: 1 Total Weight: -200 19.68/19.76 c Elapsed CPU time: 19.679 s Remaining CPU time: 1780.32 s 19.78/19.81 c ============================[ Search Statistics ]============================== 19.78/19.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.78/19.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.78/19.81 c =============================================================================== 19.78/19.81 c | 0 | 2827 42925 88104 | 14308 0 nan | 0.000 % | 19.78/19.82 c =============================================================================== 19.78/19.82 c core #561 19.78/19.82 c Core size: 77 Core Weight: 1 Total Weight: -199 19.78/19.82 c Elapsed CPU time: 19.736 s Remaining CPU time: 1780.26 s 19.78/19.87 c ============================[ Search Statistics ]============================== 19.78/19.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.78/19.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.78/19.87 c =============================================================================== 19.78/19.87 c | 0 | 2851 42926 88152 | 14308 0 nan | 0.000 % | 19.78/19.88 c | 102 | 2851 42926 88152 | 15739 102 14 | 0.000 % | 19.78/19.89 c =============================================================================== 19.78/19.89 c core #562 19.78/19.89 c Core size: 119 Core Weight: 1 Total Weight: -198 19.78/19.89 c Elapsed CPU time: 19.801 s Remaining CPU time: 1780.2 s 19.88/19.93 c ============================[ Search Statistics ]============================== 19.88/19.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.88/19.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.88/19.93 c =============================================================================== 19.88/19.93 c | 0 | 2889 42927 88228 | 14309 0 nan | 0.000 % | 19.88/19.94 c | 101 | 2889 42927 88228 | 15739 101 12 | 0.000 % | 19.88/19.95 c | 251 | 2889 42927 88228 | 17313 251 12 | 0.588 % | 19.88/19.95 c =============================================================================== 19.88/19.95 c core #563 19.88/19.95 c Core size: 101 Core Weight: 1 Total Weight: -197 19.88/19.95 c Elapsed CPU time: 19.864 s Remaining CPU time: 1780.14 s 19.98/20.00 c ============================[ Search Statistics ]============================== 19.98/20.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.98/20.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.98/20.00 c =============================================================================== 19.98/20.00 c | 0 | 2905 42928 88260 | 14309 0 nan | 0.000 % | 19.98/20.01 c =============================================================================== 19.98/20.01 c core #564 19.98/20.01 c Core size: 69 Core Weight: 1 Total Weight: -196 19.98/20.01 c Elapsed CPU time: 19.923 s Remaining CPU time: 1780.08 s 19.98/20.06 c ============================[ Search Statistics ]============================== 19.98/20.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.98/20.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.98/20.06 c =============================================================================== 19.98/20.06 c | 0 | 2923 42929 88296 | 14309 0 nan | 0.000 % | 19.98/20.07 c | 100 | 2923 42929 88296 | 15740 100 7 | 0.000 % | 19.98/20.07 c =============================================================================== 19.98/20.07 c core #565 19.98/20.07 c Core size: 146 Core Weight: 1 Total Weight: -195 19.98/20.07 c Elapsed CPU time: 19.984 s Remaining CPU time: 1780.02 s 20.08/20.12 c ============================[ Search Statistics ]============================== 20.08/20.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.12 c =============================================================================== 20.08/20.12 c | 0 | 2955 42930 88360 | 14310 0 nan | 0.000 % | 20.08/20.13 c | 101 | 2954 42930 88360 | 15741 101 12 | 0.034 % | 20.08/20.13 c =============================================================================== 20.08/20.13 c core #566 20.08/20.13 c Core size: 59 Core Weight: 1 Total Weight: -194 20.08/20.13 c Elapsed CPU time: 20.043 s Remaining CPU time: 1779.96 s 20.08/20.18 c ============================[ Search Statistics ]============================== 20.08/20.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.18 c =============================================================================== 20.08/20.18 c | 0 | 2977 42931 88404 | 14310 0 nan | 0.000 % | 20.08/20.19 c | 102 | 2977 42931 88404 | 15741 102 14 | 0.000 % | 20.18/20.20 c =============================================================================== 20.18/20.20 c core #567 20.18/20.20 c Core size: 37 Core Weight: 1 Total Weight: -193 20.18/20.20 c Elapsed CPU time: 20.1069 s Remaining CPU time: 1779.89 s 20.18/20.25 c ============================[ Search Statistics ]============================== 20.18/20.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.25 c =============================================================================== 20.18/20.25 c | 0 | 2989 42932 88428 | 14310 0 nan | 0.000 % | 20.18/20.26 c | 101 | 2989 42932 88428 | 15741 101 13 | 0.000 % | 20.18/20.27 c | 253 | 2989 42932 88428 | 17315 253 10 | 0.000 % | 20.18/20.27 c =============================================================================== 20.18/20.27 c core #568 20.18/20.27 c Core size: 178 Core Weight: 1 Total Weight: -192 20.18/20.27 c Elapsed CPU time: 20.1779 s Remaining CPU time: 1779.82 s 20.28/20.32 c ============================[ Search Statistics ]============================== 20.28/20.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.32 c =============================================================================== 20.28/20.32 c | 0 | 3033 42933 88516 | 14311 0 nan | 0.000 % | 20.28/20.33 c | 102 | 3033 42933 88516 | 15742 102 14 | 0.000 % | 20.28/20.33 c | 253 | 3028 42933 88516 | 17316 253 12 | 0.165 % | 20.28/20.34 c | 479 | 3023 42933 88516 | 19047 479 14 | 0.363 % | 20.28/20.34 c =============================================================================== 20.28/20.34 c core #569 20.28/20.34 c Core size: 55 Core Weight: 1 Total Weight: -191 20.28/20.34 c Elapsed CPU time: 20.2479 s Remaining CPU time: 1779.75 s 20.28/20.39 c ============================[ Search Statistics ]============================== 20.28/20.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.39 c =============================================================================== 20.28/20.39 c | 0 | 3051 42934 88552 | 14311 0 nan | 0.000 % | 20.38/20.41 c | 101 | 3051 42934 88552 | 15742 101 13 | 0.000 % | 20.38/20.41 c =============================================================================== 20.38/20.41 c core #570 20.38/20.41 c Core size: 89 Core Weight: 1 Total Weight: -190 20.38/20.41 c Elapsed CPU time: 20.3119 s Remaining CPU time: 1779.69 s 20.38/20.45 c ============================[ Search Statistics ]============================== 20.38/20.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.38/20.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.38/20.45 c =============================================================================== 20.38/20.45 c | 0 | 3075 42935 88600 | 14311 0 nan | 0.000 % | 20.38/20.47 c =============================================================================== 20.38/20.47 c core #571 20.38/20.47 c Core size: 88 Core Weight: 1 Total Weight: -189 20.38/20.47 c Elapsed CPU time: 20.3679 s Remaining CPU time: 1779.63 s 20.47/20.52 c ============================[ Search Statistics ]============================== 20.47/20.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.47/20.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.47/20.52 c =============================================================================== 20.47/20.52 c | 0 | 3105 42936 88660 | 14312 0 nan | 0.000 % | 20.47/20.53 c | 104 | 3105 42936 88660 | 15743 104 13 | 0.000 % | 20.47/20.54 c | 256 | 3105 42936 88660 | 17317 256 12 | 0.000 % | 20.47/20.54 c | 481 | 3105 42936 88660 | 19049 481 17 | 0.000 % | 20.47/20.56 c | 818 | 3101 42936 88660 | 20954 818 17 | 0.129 % | 20.47/20.56 c =============================================================================== 20.47/20.57 c core #572 20.47/20.57 c Core size: 283 Core Weight: 1 Total Weight: -188 20.47/20.57 c Elapsed CPU time: 20.4679 s Remaining CPU time: 1779.53 s 20.58/20.62 c ============================[ Search Statistics ]============================== 20.58/20.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.62 c =============================================================================== 20.58/20.62 c | 0 | 3175 42937 88800 | 14312 0 nan | 0.000 % | 20.58/20.63 c | 100 | 3175 42937 88800 | 15743 100 14 | 0.000 % | 20.58/20.63 c | 251 | 3175 42937 88800 | 17317 251 24 | 0.000 % | 20.58/20.64 c | 477 | 3175 42937 88800 | 19049 477 25 | 0.000 % | 20.58/20.66 c | 814 | 3175 42937 88800 | 20954 814 26 | 0.000 % | 20.58/20.69 c | 1320 | 3175 42937 88800 | 23050 1320 26 | 0.000 % | 20.68/20.75 c | 2079 | 3174 42937 88800 | 25355 2077 27 | 0.032 % | 20.79/20.90 c | 3219 | 3174 42937 88800 | 27890 3217 28 | 0.032 % | 21.08/21.16 c | 4930 | 3174 42937 88800 | 30679 4928 28 | 0.032 % | 21.38/21.43 c =============================================================================== 21.48/21.50 c core #573 21.48/21.50 c Core size: 194 Core Weight: 1 Total Weight: -187 21.48/21.50 c Elapsed CPU time: 21.3867 s Remaining CPU time: 1778.61 s 21.48/21.56 c ============================[ Search Statistics ]============================== 21.48/21.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.56 c =============================================================================== 21.48/21.56 c | 0 | 3207 42938 88864 | 14312 0 nan | 0.000 % | 21.48/21.57 c | 100 | 3207 42938 88864 | 15743 100 9 | 0.000 % | 21.48/21.58 c =============================================================================== 21.48/21.58 c core #574 21.48/21.58 c Core size: 87 Core Weight: 1 Total Weight: -186 21.48/21.58 c Elapsed CPU time: 21.4597 s Remaining CPU time: 1778.54 s 21.58/21.62 c ============================[ Search Statistics ]============================== 21.58/21.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.58/21.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.58/21.62 c =============================================================================== 21.58/21.62 c | 0 | 3233 42939 88916 | 14313 0 nan | 0.000 % | 21.58/21.63 c | 100 | 3233 42939 88916 | 15744 100 12 | 0.000 % | 21.58/21.64 c | 253 | 3231 42939 88916 | 17318 253 16 | 0.062 % | 21.58/21.66 c | 478 | 3221 42939 88916 | 19050 478 16 | 0.371 % | 21.58/21.67 c =============================================================================== 21.58/21.67 c core #575 21.58/21.67 c Core size: 363 Core Weight: 1 Total Weight: -185 21.58/21.67 c Elapsed CPU time: 21.5537 s Remaining CPU time: 1778.45 s 21.68/21.72 c ============================[ Search Statistics ]============================== 21.68/21.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.68/21.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.68/21.72 c =============================================================================== 21.68/21.72 c | 0 | 3309 42940 89068 | 14313 0 nan | 0.000 % | 21.68/21.74 c | 102 | 3309 42940 89068 | 15744 102 14 | 0.000 % | 21.68/21.75 c | 254 | 3261 42940 89068 | 17319 254 19 | 8.341 % | 21.68/21.76 c =============================================================================== 21.68/21.76 c core #576 21.68/21.76 c Core size: 226 Core Weight: 1 Total Weight: -184 21.68/21.76 c Elapsed CPU time: 21.6387 s Remaining CPU time: 1778.36 s 21.78/21.81 c ============================[ Search Statistics ]============================== 21.78/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.81 c =============================================================================== 21.78/21.81 c | 0 | 3379 42941 89208 | 14313 0 nan | 0.000 % | 21.78/21.82 c | 101 | 3379 42941 89208 | 15745 101 23 | 0.000 % | 21.78/21.82 c | 254 | 3379 42941 89208 | 17319 254 30 | 0.000 % | 21.78/21.83 c =============================================================================== 21.78/21.83 c core #577 21.78/21.83 c Core size: 30 Core Weight: 1 Total Weight: -183 21.78/21.83 c Elapsed CPU time: 21.7047 s Remaining CPU time: 1778.3 s 21.78/21.88 c ============================[ Search Statistics ]============================== 21.78/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.88 c =============================================================================== 21.78/21.88 c | 0 | 3387 42942 89224 | 14314 0 nan | 0.000 % | 21.78/21.89 c | 100 | 3387 42942 89224 | 15745 100 30 | 0.000 % | 21.78/21.89 c =============================================================================== 21.78/21.89 c core #578 21.78/21.89 c Core size: 40 Core Weight: 1 Total Weight: -182 21.78/21.89 c Elapsed CPU time: 21.7687 s Remaining CPU time: 1778.23 s 21.88/21.94 c ============================[ Search Statistics ]============================== 21.88/21.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.88/21.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.88/21.94 c =============================================================================== 21.88/21.94 c | 0 | 3399 42943 89248 | 14314 0 nan | 0.000 % | 21.88/21.95 c | 100 | 3399 42943 89248 | 15745 100 10 | 0.000 % | 21.88/21.95 c =============================================================================== 21.88/21.96 c core #579 21.88/21.96 c Core size: 122 Core Weight: 1 Total Weight: -181 21.88/21.96 c Elapsed CPU time: 21.8297 s Remaining CPU time: 1778.17 s 21.98/22.01 c ============================[ Search Statistics ]============================== 21.98/22.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.98/22.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.98/22.01 c =============================================================================== 21.98/22.01 c | 0 | 3423 42944 89296 | 14314 0 nan | 0.000 % | 21.98/22.02 c | 100 | 3423 42944 89296 | 15746 100 19 | 0.000 % | 21.98/22.03 c | 250 | 3423 42944 89296 | 17320 250 22 | 0.000 % | 21.98/22.04 c | 476 | 3423 42944 89296 | 19052 476 29 | 0.000 % | 21.98/22.05 c | 813 | 3423 42944 89296 | 20958 813 32 | 0.000 % | 21.98/22.09 c | 1322 | 3423 42944 89296 | 23053 1322 36 | 0.000 % | 22.08/22.16 c | 2081 | 3423 42944 89296 | 25359 2081 40 | 0.000 % | 22.18/22.26 c | 3221 | 3423 42944 89296 | 27895 3221 40 | 0.000 % | 22.47/22.54 c | 4929 | 3422 42944 89296 | 30684 4596 40 | 0.029 % | 22.98/23.01 c | 7491 | 3422 42944 89296 | 33753 7158 39 | 0.029 % | 23.28/23.35 c =============================================================================== 23.37/23.43 c core #580 23.37/23.43 c Core size: 328 Core Weight: 1 Total Weight: -180 23.37/23.43 c Elapsed CPU time: 23.2855 s Remaining CPU time: 1776.71 s 23.37/23.49 c ============================[ Search Statistics ]============================== 23.37/23.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.37/23.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.37/23.49 c =============================================================================== 23.37/23.49 c | 0 | 3481 42945 89412 | 14315 0 nan | 0.000 % | 23.47/23.51 c | 101 | 3481 42945 89412 | 15746 101 34 | 0.000 % | 23.47/23.51 c | 252 | 3481 42945 89412 | 17321 252 33 | 0.000 % | 23.47/23.52 c | 477 | 3481 42945 89412 | 19053 477 30 | 0.000 % | 23.47/23.54 c | 814 | 3481 42945 89412 | 20958 814 37 | 0.000 % | 23.47/23.57 c | 1320 | 3481 42945 89412 | 23054 1320 43 | 0.000 % | 23.47/23.60 c =============================================================================== 23.58/23.60 c core #581 23.58/23.60 c Core size: 65 Core Weight: 1 Total Weight: -179 23.58/23.60 c Elapsed CPU time: 23.4424 s Remaining CPU time: 1776.56 s 23.58/23.64 c ============================[ Search Statistics ]============================== 23.58/23.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.58/23.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.58/23.64 c =============================================================================== 23.58/23.64 c | 0 | 3505 42946 89460 | 14315 0 nan | 0.000 % | 23.58/23.66 c | 101 | 3503 42946 89460 | 15746 101 7 | 0.057 % | 23.58/23.66 c =============================================================================== 23.58/23.66 c core #582 23.58/23.66 c Core size: 167 Core Weight: 1 Total Weight: -178 23.58/23.66 c Elapsed CPU time: 23.5044 s Remaining CPU time: 1776.5 s 23.68/23.71 c ============================[ Search Statistics ]============================== 23.68/23.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.68/23.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.68/23.71 c =============================================================================== 23.68/23.71 c | 0 | 3549 42947 89548 | 14315 0 nan | 0.000 % | 23.68/23.73 c | 102 | 3549 42947 89548 | 15747 102 21 | 0.000 % | 23.68/23.73 c =============================================================================== 23.68/23.73 c core #583 23.68/23.73 c Core size: 62 Core Weight: 1 Total Weight: -177 23.68/23.73 c Elapsed CPU time: 23.5714 s Remaining CPU time: 1776.43 s 23.68/23.78 c ============================[ Search Statistics ]============================== 23.68/23.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.68/23.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.68/23.78 c =============================================================================== 23.68/23.78 c | 0 | 3564 42948 89578 | 14316 0 nan | 0.000 % | 23.68/23.79 c | 100 | 3564 42948 89578 | 15747 100 10 | 0.000 % | 23.77/23.80 c | 250 | 3564 42948 89578 | 17322 250 13 | 0.000 % | 23.77/23.81 c | 475 | 3560 42948 89578 | 19054 475 13 | 0.112 % | 23.77/23.81 c =============================================================================== 23.77/23.81 c core #584 23.77/23.81 c Core size: 236 Core Weight: 1 Total Weight: -176 23.77/23.81 c Elapsed CPU time: 23.6524 s Remaining CPU time: 1776.35 s 23.77/23.86 c ============================[ Search Statistics ]============================== 23.77/23.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.77/23.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.77/23.86 c =============================================================================== 23.77/23.86 c | 0 | 3612 42949 89674 | 14316 0 nan | 0.000 % | 23.77/23.88 c | 102 | 3612 42949 89674 | 15747 102 12 | 0.000 % | 23.77/23.88 c | 252 | 3612 42949 89674 | 17322 252 12 | 0.000 % | 23.77/23.89 c | 478 | 3611 42949 89674 | 19055 478 11 | 0.028 % | 23.88/23.91 c =============================================================================== 23.88/23.91 c core #585 23.88/23.91 c Core size: 284 Core Weight: 1 Total Weight: -175 23.88/23.91 c Elapsed CPU time: 23.7444 s Remaining CPU time: 1776.26 s 23.88/23.96 c ============================[ Search Statistics ]============================== 23.88/23.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.88/23.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.88/23.96 c =============================================================================== 23.88/23.96 c | 0 | 3680 42950 89810 | 14316 0 nan | 0.000 % | 23.88/23.97 c | 101 | 3680 42950 89810 | 15748 101 10 | 0.000 % | 23.88/23.98 c | 251 | 3680 42950 89810 | 17323 251 17 | 0.000 % | 23.88/23.99 c | 478 | 3679 42950 89810 | 19055 478 18 | 0.027 % | 23.98/24.01 c | 815 | 3679 42950 89810 | 20961 815 21 | 0.027 % | 23.98/24.05 c | 1322 | 3678 42950 89810 | 23057 1321 26 | 0.054 % | 23.98/24.09 c =============================================================================== 23.98/24.09 c core #586 23.98/24.09 c Core size: 402 Core Weight: 1 Total Weight: -174 23.98/24.09 c Elapsed CPU time: 23.9204 s Remaining CPU time: 1776.08 s 24.08/24.14 c ============================[ Search Statistics ]============================== 24.08/24.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.08/24.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.08/24.14 c =============================================================================== 24.08/24.14 c | 0 | 3760 42951 89970 | 14317 0 nan | 0.000 % | 24.08/24.16 c | 100 | 3760 42951 89970 | 15748 100 13 | 0.000 % | 24.08/24.17 c | 252 | 3760 42951 89970 | 17323 252 15 | 0.000 % | 24.08/24.18 c | 477 | 3759 42951 89970 | 19055 477 15 | 0.027 % | 24.18/24.20 c | 816 | 3759 42951 89970 | 20961 816 20 | 0.027 % | 24.18/24.24 c | 1324 | 3750 42951 89970 | 23057 1322 25 | 0.266 % | 24.27/24.30 c =============================================================================== 24.27/24.31 c core #587 24.27/24.31 c Core size: 593 Core Weight: 1 Total Weight: -173 24.27/24.31 c Elapsed CPU time: 24.1353 s Remaining CPU time: 1775.86 s 24.27/24.36 c ============================[ Search Statistics ]============================== 24.27/24.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.27/24.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.27/24.36 c =============================================================================== 24.27/24.36 c | 0 | 3878 42952 90206 | 14317 0 nan | 0.000 % | 24.27/24.38 c | 100 | 3877 42952 90206 | 15749 100 13 | 0.026 % | 24.27/24.39 c | 250 | 3877 42952 90206 | 17323 250 16 | 0.026 % | 24.38/24.40 c | 477 | 3877 42952 90206 | 19056 477 18 | 0.026 % | 24.38/24.42 c | 815 | 3876 42952 90206 | 20962 815 28 | 0.052 % | 24.38/24.45 c | 1321 | 3876 42952 90206 | 23058 1321 26 | 0.052 % | 24.48/24.50 c =============================================================================== 24.48/24.51 c core #588 24.48/24.51 c Core size: 430 Core Weight: 1 Total Weight: -172 24.48/24.51 c Elapsed CPU time: 24.3163 s Remaining CPU time: 1775.68 s 24.48/24.56 c ============================[ Search Statistics ]============================== 24.48/24.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.48/24.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.48/24.56 c =============================================================================== 24.48/24.56 c | 0 | 3948 42953 90346 | 14317 0 nan | 0.000 % | 24.48/24.58 c | 102 | 3948 42953 90346 | 15749 102 21 | 0.000 % | 24.48/24.59 c | 254 | 3946 42953 90346 | 17324 254 19 | 0.051 % | 24.58/24.60 c | 480 | 3946 42953 90346 | 19056 480 21 | 0.051 % | 24.58/24.62 c | 817 | 3946 42953 90346 | 20962 817 29 | 0.051 % | 24.58/24.66 c | 1324 | 3946 42953 90346 | 23058 1322 42 | 0.051 % | 24.68/24.74 c | 2086 | 3946 42953 90346 | 25364 2084 48 | 0.051 % | 24.78/24.90 c | 3225 | 3945 42953 90346 | 27901 3220 52 | 0.076 % | 25.07/25.16 c | 4934 | 3944 42953 90346 | 30691 4927 53 | 0.101 % | 25.58/25.66 c | 7496 | 3944 42953 90346 | 33760 7489 53 | 0.101 % | 26.68/26.75 c | 11342 | 3944 42953 90346 | 37136 11335 54 | 0.101 % | 27.27/27.36 c =============================================================================== 27.48/27.53 c core #589 27.48/27.53 c Core size: 736 Core Weight: 1 Total Weight: -171 27.48/27.53 c Elapsed CPU time: 27.3108 s Remaining CPU time: 1772.69 s 27.58/27.60 c ============================[ Search Statistics ]============================== 27.58/27.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.58/27.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.58/27.60 c =============================================================================== 27.58/27.60 c | 0 | 4054 42954 90558 | 14318 0 nan | 0.000 % | 27.58/27.62 c | 100 | 4054 42954 90558 | 15749 100 16 | 0.000 % | 27.58/27.63 c | 250 | 4054 42954 90558 | 17324 250 13 | 0.000 % | 27.58/27.64 c =============================================================================== 27.58/27.64 c core #590 27.58/27.64 c Core size: 298 Core Weight: 1 Total Weight: -170 27.58/27.64 c Elapsed CPU time: 27.4168 s Remaining CPU time: 1772.58 s 27.58/27.68 c ============================[ Search Statistics ]============================== 27.58/27.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.58/27.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.58/27.68 c =============================================================================== 27.58/27.68 c | 0 | 4112 42955 90674 | 14318 0 nan | 0.000 % | 27.58/27.69 c | 100 | 4112 42955 90674 | 15750 100 18 | 0.000 % | 27.68/27.70 c | 250 | 4111 42955 90674 | 17325 250 17 | 0.024 % | 27.68/27.71 c | 477 | 4111 42955 90674 | 19057 477 19 | 0.024 % | 27.68/27.72 c | 814 | 4111 42955 90674 | 20963 814 19 | 0.024 % | 27.68/27.75 c | 1320 | 4111 42955 90674 | 23059 1320 23 | 0.024 % | 27.77/27.81 c | 2079 | 4099 42955 90674 | 25365 2078 24 | 0.316 % | 27.88/27.92 c | 3219 | 4085 42955 90674 | 27902 3099 28 | 0.657 % | 27.88/27.93 c =============================================================================== 27.88/27.93 c core #591 27.88/27.93 c Core size: 56 Core Weight: 1 Total Weight: -169 27.88/27.93 c Elapsed CPU time: 27.6978 s Remaining CPU time: 1772.3 s 27.88/27.99 c ============================[ Search Statistics ]============================== 27.88/27.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.88/27.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.88/27.99 c =============================================================================== 27.88/27.99 c | 0 | 4122 42956 90694 | 14318 0 nan | 0.000 % | 27.98/28.01 c | 100 | 4122 42956 90694 | 15750 100 11 | 0.000 % | 27.98/28.02 c | 255 | 4122 42956 90694 | 17325 255 17 | 0.000 % | 27.98/28.03 c | 480 | 4122 42956 90694 | 19058 480 20 | 0.000 % | 27.98/28.05 c | 822 | 4122 42956 90694 | 20963 822 21 | 0.024 % | 27.98/28.09 c | 1330 | 4121 42956 90694 | 23060 1329 25 | 0.024 % | 28.08/28.16 c | 2091 | 4120 42956 90694 | 25366 2089 27 | 0.049 % | 28.18/28.21 c =============================================================================== 28.18/28.22 c core #592 28.18/28.22 c Core size: 445 Core Weight: 1 Total Weight: -168 28.18/28.22 c Elapsed CPU time: 27.9687 s Remaining CPU time: 1772.03 s 28.18/28.27 c ============================[ Search Statistics ]============================== 28.18/28.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.18/28.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.18/28.27 c =============================================================================== 28.18/28.27 c | 0 | 4194 42957 90838 | 14319 0 nan | 0.000 % | 28.18/28.28 c | 100 | 4194 42957 90838 | 15750 100 16 | 0.000 % | 28.18/28.29 c | 253 | 4194 42957 90838 | 17325 253 26 | 0.000 % | 28.28/28.30 c | 478 | 4194 42957 90838 | 19058 478 30 | 0.000 % | 28.28/28.33 c | 816 | 4194 42957 90838 | 20964 816 31 | 0.000 % | 28.28/28.37 c | 1322 | 4194 42957 90838 | 23060 1322 40 | 0.000 % | 28.37/28.45 c | 2081 | 4194 42957 90838 | 25366 2081 57 | 0.000 % | 28.58/28.61 c | 3223 | 4194 42957 90838 | 27903 3223 91 | 0.000 % | 28.97/29.04 c | 4933 | 4194 42957 90838 | 30694 4933 116 | 0.000 % | 29.77/29.87 c | 7497 | 4194 42957 90838 | 33763 7497 127 | 0.000 % | 31.88/31.95 c | 11341 | 4194 42957 90838 | 37139 11341 146 | 0.000 % | 37.47/37.56 c | 17107 | 4194 42957 90838 | 40853 17107 160 | 0.000 % | 44.17/44.27 c | 25756 | 4194 42957 90838 | 44939 25756 160 | 0.000 % | 58.57/58.63 c | 38731 | 4194 42957 90838 | 49433 38731 160 | 0.000 % | 86.45/86.50 c | 58193 | 4194 42957 90838 | 54376 23116 161 | 0.000 % | 143.52/143.62 c | 87386 | 4194 42957 90838 | 59814 52309 165 | 0.000 % | 214.29/214.46 c | 131175 | 4194 42957 90838 | 65795 51072 148 | 0.000 % | 321.34/321.57 c | 196860 | 4194 42957 90838 | 72374 64365 128 | 0.000 % | 513.33/513.63 c | 295390 | 4194 42957 90838 | 79612 52160 120 | 0.000 % | 851.95/852.50 c | 443180 | 4194 42957 90838 | 87573 74206 121 | 0.000 % | 1024.97/1025.52 c =============================================================================== 1040.06/1040.69 c core #593 1040.06/1040.69 c Core size: 2266 Core Weight: 1 Total Weight: -167 1040.06/1040.69 c Elapsed CPU time: 1037.34 s Remaining CPU time: 762.663 s 1040.75/1041.33 c ============================[ Search Statistics ]============================== 1040.75/1041.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1040.75/1041.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1040.75/1041.33 c =============================================================================== 1040.75/1041.33 c | 0 | 4364 42958 91178 | 14319 0 nan | 0.000 % | 1040.86/1041.42 c | 101 | 4364 42958 91178 | 15751 101 30 | 0.000 % | 1040.86/1041.44 c | 251 | 4364 42958 91178 | 17326 251 19 | 0.000 % | 1040.86/1041.46 c | 476 | 4364 42958 91178 | 19059 476 24 | 0.000 % | 1040.86/1041.49 c | 813 | 4363 42958 91178 | 20964 813 33 | 0.023 % | 1040.95/1041.53 c | 1319 | 4362 42958 91178 | 23061 1318 41 | 0.046 % | 1041.06/1041.60 c =============================================================================== 1041.06/1041.60 c core #594 1041.06/1041.60 c Core size: 261 Core Weight: 1 Total Weight: -166 1041.06/1041.60 c Elapsed CPU time: 1038.24 s Remaining CPU time: 761.764 s 1041.06/1041.64 c ============================[ Search Statistics ]============================== 1041.06/1041.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1041.06/1041.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1041.06/1041.64 c =============================================================================== 1041.06/1041.64 c | 0 | 4424 42959 91298 | 14319 0 nan | 0.000 % | 1041.06/1041.65 c | 102 | 4424 42959 91298 | 15751 102 17 | 0.000 % | 1041.06/1041.66 c | 252 | 4424 42959 91298 | 17326 252 19 | 0.000 % | 1041.06/1041.68 c | 478 | 4424 42959 91298 | 19059 478 19 | 0.000 % | 1041.16/1041.71 c | 815 | 4424 42959 91298 | 20965 815 34 | 0.000 % | 1041.16/1041.77 c | 1322 | 4424 42959 91298 | 23061 1322 57 | 0.000 % | 1041.25/1041.87 c | 2081 | 4424 42959 91298 | 25368 2081 58 | 0.000 % | 1041.45/1042.03 c | 3225 | 4424 42959 91298 | 27904 3225 70 | 0.000 % | 1041.75/1042.34 c | 4937 | 4424 42959 91298 | 30695 4937 74 | 0.000 % | 1042.16/1042.74 c | 7500 | 4423 42959 91298 | 33765 7487 68 | 0.023 % | 1042.95/1043.55 c | 11344 | 4423 42959 91298 | 37141 11331 62 | 0.023 % | 1044.86/1045.41 c | 17110 | 4324 42959 91298 | 40855 12027 54 | 2.260 % | 1044.86/1045.42 c =============================================================================== 1045.05/1045.63 c core #595 1045.05/1045.63 c Core size: 1260 Core Weight: 1 Total Weight: -165 1045.05/1045.63 c Elapsed CPU time: 1042.2 s Remaining CPU time: 757.796 s 1045.15/1045.72 c ============================[ Search Statistics ]============================== 1045.15/1045.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1045.15/1045.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1045.15/1045.72 c =============================================================================== 1045.15/1045.72 c | 0 | 4555 42960 91560 | 14320 0 nan | 0.000 % | 1045.15/1045.75 c | 100 | 4555 42960 91560 | 15752 100 21 | 0.000 % | 1045.15/1045.76 c | 251 | 4555 42960 91560 | 17327 251 36 | 0.000 % | 1045.15/1045.78 c | 478 | 4555 42960 91560 | 19059 478 39 | 0.000 % | 1045.25/1045.80 c | 817 | 4555 42960 91560 | 20965 817 39 | 0.000 % | 1045.25/1045.84 c | 1323 | 4555 42960 91560 | 23062 1323 41 | 0.000 % | 1045.35/1045.91 c | 2082 | 4555 42960 91560 | 25368 2082 53 | 0.000 % | 1045.46/1046.02 c | 3224 | 4555 42960 91560 | 27905 3224 53 | 0.000 % | 1045.65/1046.23 c | 4933 | 4555 42960 91560 | 30696 4933 57 | 0.000 % | 1045.96/1046.56 c | 7497 | 4555 42960 91560 | 33765 7497 71 | 0.000 % | 1046.85/1047.42 c | 11341 | 4555 42960 91560 | 37142 11341 84 | 0.000 % | 1048.35/1048.98 c | 17110 | 4555 42960 91560 | 40856 17110 99 | 0.000 % | 1052.15/1052.74 c | 25761 | 4555 42960 91560 | 44942 25761 110 | 0.000 % | 1060.13/1060.70 c | 38737 | 4555 42960 91560 | 49436 38737 120 | 0.000 % | 1076.12/1076.72 c | 58198 | 4555 42960 91560 | 54380 21603 148 | 0.000 % | 1111.19/1111.83 c | 87391 | 4555 42960 91560 | 59818 50796 148 | 0.000 % | 1155.05/1155.79 c | 131182 | 4555 42960 91560 | 65800 49069 133 | 0.000 % | 1251.40/1252.12 c | 196866 | 4555 42960 91560 | 72380 64972 150 | 0.000 % | 1374.63/1375.48 c | 295393 | 4538 42960 91560 | 79618 48962 155 | 0.373 % | 1643.28/1644.30 c | 443182 | 4523 42960 91560 | 87579 69289 174 | 0.703 % |
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-1875647-1245165268/watcher-1875647-1245165268 -o /tmp/evaluation-result-1875647-1245165268/solver-1875647-1245165268 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875647-1245165268.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 0.92 3/65 18670 /proc/meminfo: memFree=223000/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=3508 CPUtime=0 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 221 0 0 0 0 0 0 0 19 0 1 0 184125501 3592192 205 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 877 205 129 292 0 339 0 [startup+0.0488699 s] /proc/loadavg: 1.00 1.00 0.92 3/65 18670 /proc/meminfo: memFree=223000/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=4180 CPUtime=0.04 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 458 0 0 0 4 0 0 0 19 0 1 0 184125501 4280320 442 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1045 442 223 292 0 507 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4180 [startup+0.101879 s] /proc/loadavg: 1.00 1.00 0.92 3/65 18670 /proc/meminfo: memFree=223000/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=4872 CPUtime=0.09 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 737 0 0 0 9 0 0 0 19 0 1 0 184125501 4988928 721 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1218 721 334 292 0 680 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4872 [startup+0.301918 s] /proc/loadavg: 1.00 1.00 0.92 3/65 18670 /proc/meminfo: memFree=223000/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=6420 CPUtime=0.3 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 1540 0 0 0 29 1 0 0 21 0 1 0 184125501 6574080 1096 1992294400 134512640 135709839 4294956240 18446744073709551615 134585532 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1605 1096 133 292 0 1310 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 6420 [startup+0.701997 s] /proc/loadavg: 1.00 1.00 0.92 3/65 18670 /proc/meminfo: memFree=223000/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=6464 CPUtime=0.69 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 1595 0 0 0 68 1 0 0 25 0 1 0 184125501 6619136 1107 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1616 1107 133 292 0 1321 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6464 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 0.92 2/66 18671 /proc/meminfo: memFree=219216/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=6464 CPUtime=1.49 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 1595 0 0 0 148 1 0 0 25 0 1 0 184125501 6619136 1107 1992294400 134512640 135709839 4294956240 18446744073709551615 135162147 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1616 1107 133 292 0 1321 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6464 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 0.92 2/66 18671 /proc/meminfo: memFree=219024/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=6464 CPUtime=3.09 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 1595 0 0 0 308 1 0 0 25 0 1 0 184125501 6619136 1107 1992294400 134512640 135709839 4294956240 18446744073709551615 134605372 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1616 1107 133 292 0 1321 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6464 [startup+6.30109 s] /proc/loadavg: 1.00 1.00 0.92 2/66 18671 /proc/meminfo: memFree=218448/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=7176 CPUtime=6.28 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 1779 0 0 0 627 1 0 0 25 0 1 0 184125501 7348224 1291 1992294400 134512640 135709839 4294956240 18446744073709551615 135162136 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 1794 1291 133 292 0 1499 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7176 [startup+12.7014 s] /proc/loadavg: 1.15 1.03 0.93 2/66 18671 /proc/meminfo: memFree=216080/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=9372 CPUtime=12.68 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 2485 0 0 0 1265 3 0 0 25 0 1 0 184125501 9596928 1858 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 2343 1858 135 292 0 2048 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9372 [startup+25.5019 s] /proc/loadavg: 1.12 1.03 0.93 2/66 18671 /proc/meminfo: memFree=205776/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=19476 CPUtime=25.48 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 6161 0 0 0 2529 19 0 0 25 0 1 0 184125501 19943424 4367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 4869 4367 136 292 0 4574 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19476 [startup+51.1019 s] /proc/loadavg: 1.08 1.03 0.93 2/66 18671 /proc/meminfo: memFree=182352/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=43216 CPUtime=51.07 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 12138 0 0 0 5070 37 0 0 25 0 1 0 184125501 44253184 10344 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 10804 10344 136 292 0 10509 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43216 [startup+102.306 s] /proc/loadavg: 1.03 1.02 0.93 2/66 18671 /proc/meminfo: memFree=150352/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=74736 CPUtime=102.25 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 19999 0 0 0 10172 53 0 0 25 0 1 0 184125501 76529664 18205 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 18684 18205 136 292 0 18389 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 74736 [startup+162.302 s] /proc/loadavg: 1.01 1.02 0.93 2/66 18671 /proc/meminfo: memFree=127888/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=97284 CPUtime=162.21 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 25630 0 0 0 16154 67 0 0 25 0 1 0 184125501 99618816 23836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 24321 23836 136 292 0 24026 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 97284 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.93 2/66 18671 /proc/meminfo: memFree=90192/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=134976 CPUtime=222.18 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 35004 0 0 0 22130 88 0 0 25 0 1 0 184125501 138215424 33210 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 33744 33210 136 292 0 33449 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 134976 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=57744/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=167652 CPUtime=282.16 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 43139 0 0 0 28108 108 0 0 25 0 1 0 184125501 171675648 41345 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 41913 41345 136 292 0 41618 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 167652 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=40976/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=184272 CPUtime=342.12 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 47283 0 0 0 34092 120 0 0 25 0 1 0 184125501 188694528 45489 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 46068 45489 136 292 0 45773 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 184272 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16080/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=210912 CPUtime=402.1 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 53911 0 0 0 40074 136 0 0 25 0 1 0 184125501 215973888 52117 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 52728 52117 136 292 0 52433 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 210912 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=14928/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=233716 CPUtime=462.05 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 59614 0 0 0 46056 149 0 0 25 0 1 0 184125501 239325184 57820 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 58429 57820 136 292 0 58134 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 233716 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=256860 CPUtime=522.02 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 65374 0 0 0 52038 164 0 0 25 0 1 0 184125501 263024640 63580 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 64215 63580 136 292 0 63920 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 256860 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15888/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=275084 CPUtime=581.99 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 69916 0 0 0 58025 174 0 0 25 0 1 0 184125501 281686016 68122 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 68771 68122 136 292 0 68476 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 275084 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15056/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=305540 CPUtime=641.97 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 77525 0 0 0 64006 191 0 0 25 0 1 0 184125501 312872960 75731 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 76385 75731 136 292 0 76090 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 305540 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=372908 CPUtime=881.84 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 94296 0 0 0 87947 237 0 0 25 0 1 0 184125501 381857792 92502 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 93227 92502 136 292 0 92932 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 372908 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=14928/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=404648 CPUtime=941.81 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 102211 0 0 0 93923 258 0 0 25 0 1 0 184125501 414359552 100417 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 101162 100417 136 292 0 100867 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 404648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=14992/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=419936 CPUtime=1001.77 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 106027 0 0 0 99908 269 0 0 25 0 1 0 184125501 430014464 104233 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 104984 104233 136 292 0 104689 0 Current children cumulated CPU time (s) 1001.77 Current children cumulated vsize (KiB) 419936 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=14992/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=446404 CPUtime=1061.72 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 112712 0 0 0 105870 302 0 0 25 0 1 0 184125501 457117696 110832 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 111601 110832 136 292 0 111306 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 446404 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=446404 CPUtime=1121.69 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 112979 0 0 0 111850 319 0 0 25 0 1 0 184125501 457117696 111099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 111601 111099 136 292 0 111306 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 446404 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16336/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=460052 CPUtime=1181.65 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 116410 0 0 0 117826 339 0 0 25 0 1 0 184125501 471093248 114530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 115013 114530 136 292 0 114718 0 Current children cumulated CPU time (s) 1181.65 Current children cumulated vsize (KiB) 460052 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16144/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=487680 CPUtime=1241.61 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 123268 0 0 0 123803 358 0 0 25 0 1 0 184125501 499384320 121388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 121920 121388 136 292 0 121625 0 Current children cumulated CPU time (s) 1241.61 Current children cumulated vsize (KiB) 487680 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=514432 CPUtime=1301.58 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 129928 0 0 0 129777 381 0 0 25 0 1 0 184125501 526778368 128048 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 128608 128048 136 292 0 128313 0 Current children cumulated CPU time (s) 1301.58 Current children cumulated vsize (KiB) 514432 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16336/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=541796 CPUtime=1361.54 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 136744 0 0 0 135755 399 0 0 25 0 1 0 184125501 554799104 134864 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 135449 134864 136 292 0 135154 0 Current children cumulated CPU time (s) 1361.54 Current children cumulated vsize (KiB) 541796 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15248/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=562768 CPUtime=1421.5 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 141971 0 0 0 141734 416 0 0 25 0 1 0 184125501 576274432 140091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 140692 140091 136 292 0 140397 0 Current children cumulated CPU time (s) 1421.5 Current children cumulated vsize (KiB) 562768 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15056/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=590900 CPUtime=1481.47 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 149001 0 0 0 147713 434 0 0 25 0 1 0 184125501 605081600 147121 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 147725 147121 136 292 0 147430 0 Current children cumulated CPU time (s) 1481.47 Current children cumulated vsize (KiB) 590900 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15952/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=617736 CPUtime=1541.45 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 155700 0 0 0 153693 452 0 0 25 0 1 0 184125501 632561664 153820 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 154434 153820 136 292 0 154139 0 Current children cumulated CPU time (s) 1541.45 Current children cumulated vsize (KiB) 617736 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15888/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=653432 CPUtime=1601.41 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 164619 0 0 0 159671 470 0 0 25 0 1 0 184125501 669114368 162739 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 163358 162739 136 292 0 163063 0 Current children cumulated CPU time (s) 1601.41 Current children cumulated vsize (KiB) 653432 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15888/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=676372 CPUtime=1661.37 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 170332 0 0 0 165653 484 0 0 25 0 1 0 184125501 692604928 168452 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 169093 168452 136 292 0 168798 0 Current children cumulated CPU time (s) 1661.37 Current children cumulated vsize (KiB) 676372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=15568/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=703264 CPUtime=1721.34 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 177067 0 0 0 171634 500 0 0 25 0 1 0 184125501 720142336 175187 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 175816 175187 136 292 0 175521 0 Current children cumulated CPU time (s) 1721.34 Current children cumulated vsize (KiB) 703264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16080/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=738124 CPUtime=1781.3 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 185737 0 0 0 177612 518 0 0 25 0 1 0 184125501 755838976 183857 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 184531 183857 136 292 0 184236 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (KiB) 738124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=745380 CPUtime=1800.1 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4194304 187552 0 0 0 179488 522 0 0 25 0 1 0 184125501 763269120 185672 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 186345 185672 136 292 0 186050 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 745380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.21 s] /proc/loadavg: 1.00 1.00 0.93 2/66 18671 /proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956 [pid=18670] ppid=18668 vsize=0 CPUtime=1800.2 /proc/18670/stat : 18670 (wbo) R 18668 18670 18475 0 -1 4195332 187552 0 0 0 179488 532 0 0 25 0 1 0 184125501 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/18670/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.23 CPU user time (s): 1794.88 CPU system time (s): 5.34319 CPU usage (%): 99.9446 Max. virtual memory (cumulated for all children) (KiB): 745380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.88 system time used= 5.34319 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187552 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= 6037 runsolver used 2.12568 second user time and 4.17136 second system time The end
Begin job on node77 at 2009-06-16 17:14:28 IDJOB=1875647 IDBENCH=2244 IDSOLVER=698 FILE ID=node77/1875647-1245165268 PBS_JOBID= 9363869 Free space on /tmp= 66316 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-4.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875647-1245165268/watcher-1875647-1245165268 -o /tmp/evaluation-result-1875647-1245165268/solver-1875647-1245165268 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875647-1245165268.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED=1099908338 node77.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.263 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 223544 kB Buffers: 41032 kB Cached: 1693376 kB SwapCached: 0 kB Active: 1004264 kB Inactive: 743472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 223544 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3344 kB Writeback: 0 kB Mapped: 23064 kB Slab: 70612 kB Committed_AS: 111684 kB PageTables: 1376 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-1875647-1245165268.opb Free space on /tmp at the end= 66316 MiB End job on node77 at 2009-06-16 17:44:31