Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.13 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1795.08 |
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 | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
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-1875716-1245165237.opb. 0.00/0.00 c Instance file HOME/instance-1875716-1245165237.opb 0.00/0.00 c File size is 987647 bytes. 0.10/0.12 c Highest Coefficient sum: 3 0.10/0.12 c ============================[ Problem Statistics ]============================= 0.10/0.12 c | | 0.10/0.12 c | Parsing time: 0.12 s | 0.10/0.12 c | Number Variables: 760 | 0.10/0.12 c | Number Clauses: 42074 | 0.10/0.12 c | Number Cardinality: 0 | 0.10/0.12 c | Number PB Constraints: 0 | 0.10/0.12 c core #1 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -759 0.10/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.10/0.14 c core #2 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -758 0.10/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.10/0.16 c core #3 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: -757 0.10/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.10/0.18 c core #4 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: -756 0.10/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.19/0.21 c core #5 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -755 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -754 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #7 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -753 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #8 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -752 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #9 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -751 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #10 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -750 0.29/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.34 c core #11 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -749 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #12 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -748 0.29/0.36 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #13 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -747 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #14 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -746 0.39/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #15 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -745 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #16 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -744 0.39/0.45 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.47 c core #17 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -743 0.39/0.47 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #18 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -742 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #19 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -741 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #20 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -740 0.49/0.53 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #21 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -739 0.49/0.56 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.58 c core #22 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -738 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #23 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -737 0.59/0.60 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #24 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -736 0.59/0.62 c Elapsed CPU time: 0.620905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #25 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -735 0.59/0.64 c Elapsed CPU time: 0.642902 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #26 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -734 0.59/0.67 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #27 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -733 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #28 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -732 0.69/0.71 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #29 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -731 0.69/0.73 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #30 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -730 0.69/0.76 c Elapsed CPU time: 0.755885 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #31 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -729 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.79/0.80 c core #32 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -728 0.79/0.80 c Elapsed CPU time: 0.800878 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #33 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -727 0.79/0.82 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.85 c core #34 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -726 0.79/0.85 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #35 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -725 0.79/0.87 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #36 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -724 0.79/0.89 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #37 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -723 0.89/0.91 c Elapsed CPU time: 0.911861 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #38 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -722 0.89/0.94 c Elapsed CPU time: 0.933858 s Remaining CPU time: 1799.07 s 0.89/0.96 c core #39 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -721 0.89/0.96 c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #40 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -720 0.89/0.98 c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s 0.99/1.00 c core #41 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: -719 0.99/1.00 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 0.99/1.03 c core #42 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: -718 0.99/1.03 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 0.99/1.05 c core #43 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -717 0.99/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 0.99/1.07 c core #44 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: -716 0.99/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.99/1.09 c core #45 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -715 0.99/1.09 c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s 1.09/1.12 c core #46 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: -714 1.09/1.12 c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s 1.09/1.14 c core #47 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -713 1.09/1.14 c Elapsed CPU time: 1.13583 s Remaining CPU time: 1798.86 s 1.09/1.16 c core #48 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: -712 1.09/1.16 c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #49 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: -711 1.09/1.18 c Elapsed CPU time: 1.18082 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #50 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -710 1.19/1.21 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #51 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -709 1.19/1.23 c Elapsed CPU time: 1.22481 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #52 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -708 1.19/1.25 c Elapsed CPU time: 1.24781 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #53 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -707 1.19/1.27 c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s 1.19/1.30 c core #54 1.19/1.30 c Core size: 3 Core Weight: 1 Total Weight: -706 1.19/1.30 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #55 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -705 1.29/1.32 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #56 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -704 1.29/1.34 c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s 1.29/1.36 c core #57 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -703 1.29/1.36 c Elapsed CPU time: 1.35979 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -702 1.29/1.39 c Elapsed CPU time: 1.38179 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #59 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -701 1.39/1.41 c Elapsed CPU time: 1.40479 s Remaining CPU time: 1798.6 s 1.39/1.43 c core #60 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -700 1.39/1.43 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.39/1.46 c core #61 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -699 1.39/1.46 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.39/1.48 c core #62 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -698 1.39/1.48 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.49/1.50 c core #63 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: -697 1.49/1.50 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.49/1.52 c core #64 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -696 1.49/1.52 c Elapsed CPU time: 1.51877 s Remaining CPU time: 1798.48 s 1.49/1.55 c core #65 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -695 1.49/1.55 c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s 1.49/1.57 c core #66 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: -694 1.49/1.57 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.59 c core #67 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -693 1.49/1.59 c Elapsed CPU time: 1.58676 s Remaining CPU time: 1798.41 s 1.59/1.62 c core #68 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -692 1.59/1.62 c Elapsed CPU time: 1.60976 s Remaining CPU time: 1798.39 s 1.59/1.64 c core #69 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -691 1.59/1.64 c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s 1.59/1.66 c core #70 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -690 1.59/1.66 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.59/1.68 c core #71 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: -689 1.59/1.68 c Elapsed CPU time: 1.67874 s Remaining CPU time: 1798.32 s 1.69/1.71 c core #72 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -688 1.69/1.71 c Elapsed CPU time: 1.70174 s Remaining CPU time: 1798.3 s 1.69/1.73 c core #73 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: -687 1.69/1.73 c Elapsed CPU time: 1.72574 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #74 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -686 1.69/1.75 c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s 1.69/1.78 c core #75 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -685 1.69/1.78 c Elapsed CPU time: 1.77173 s Remaining CPU time: 1798.23 s 1.79/1.80 c core #76 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: -684 1.79/1.80 c Elapsed CPU time: 1.79473 s Remaining CPU time: 1798.21 s 1.79/1.82 c core #77 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: -683 1.79/1.82 c Elapsed CPU time: 1.81872 s Remaining CPU time: 1798.18 s 1.79/1.85 c core #78 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -682 1.79/1.85 c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s 1.79/1.87 c core #79 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: -681 1.79/1.87 c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s 1.79/1.89 c core #80 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: -680 1.79/1.89 c Elapsed CPU time: 1.88871 s Remaining CPU time: 1798.11 s 1.89/1.92 c core #81 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: -679 1.89/1.92 c Elapsed CPU time: 1.91171 s Remaining CPU time: 1798.09 s 1.89/1.94 c core #82 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: -678 1.89/1.94 c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #83 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -677 1.89/1.96 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.89/1.99 c core #84 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -676 1.89/1.99 c Elapsed CPU time: 1.9827 s Remaining CPU time: 1798.02 s 1.99/2.01 c core #85 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -675 1.99/2.01 c Elapsed CPU time: 2.00569 s Remaining CPU time: 1797.99 s 1.99/2.04 c core #86 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: -674 1.99/2.04 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.99/2.06 c core #87 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -673 1.99/2.06 c Elapsed CPU time: 2.05269 s Remaining CPU time: 1797.95 s 1.99/2.08 c core #88 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: -672 1.99/2.08 c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s 2.09/2.11 c core #89 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: -671 2.09/2.11 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.09/2.13 c core #90 2.09/2.13 c Core size: 3 Core Weight: 1 Total Weight: -670 2.09/2.13 c Elapsed CPU time: 2.12368 s Remaining CPU time: 1797.88 s 2.09/2.15 c core #91 2.09/2.15 c Core size: 3 Core Weight: 1 Total Weight: -669 2.09/2.15 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.09/2.18 c core #92 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -668 2.09/2.18 c Elapsed CPU time: 2.17167 s Remaining CPU time: 1797.83 s 2.19/2.20 c core #93 2.19/2.20 c Core size: 3 Core Weight: 1 Total Weight: -667 2.19/2.20 c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s 2.19/2.23 c core #94 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -666 2.19/2.23 c Elapsed CPU time: 2.21966 s Remaining CPU time: 1797.78 s 2.19/2.25 c core #95 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -665 2.19/2.25 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.19/2.27 c core #96 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -664 2.19/2.27 c Elapsed CPU time: 2.26666 s Remaining CPU time: 1797.73 s 2.19/2.30 c core #97 2.19/2.30 c Core size: 3 Core Weight: 1 Total Weight: -663 2.19/2.30 c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s 2.29/2.32 c core #98 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -662 2.29/2.32 c Elapsed CPU time: 2.31465 s Remaining CPU time: 1797.69 s 2.29/2.34 c core #99 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -661 2.29/2.34 c Elapsed CPU time: 2.33864 s Remaining CPU time: 1797.66 s 2.29/2.37 c core #100 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: -660 2.29/2.37 c Elapsed CPU time: 2.36264 s Remaining CPU time: 1797.64 s 2.29/2.39 c core #101 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: -659 2.29/2.39 c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s 2.39/2.42 c core #102 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -658 2.39/2.42 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.39/2.44 c core #103 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -657 2.39/2.44 c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s 2.39/2.47 c core #104 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -656 2.39/2.47 c Elapsed CPU time: 2.45963 s Remaining CPU time: 1797.54 s 2.39/2.49 c core #105 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -655 2.39/2.49 c Elapsed CPU time: 2.48462 s Remaining CPU time: 1797.52 s 2.49/2.51 c core #106 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -654 2.49/2.51 c Elapsed CPU time: 2.50862 s Remaining CPU time: 1797.49 s 2.49/2.54 c core #107 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: -653 2.49/2.54 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.49/2.56 c core #108 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -652 2.49/2.56 c Elapsed CPU time: 2.55861 s Remaining CPU time: 1797.44 s 2.49/2.59 c core #109 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -651 2.49/2.59 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.59/2.61 c core #110 2.59/2.61 c Core size: 3 Core Weight: 1 Total Weight: -650 2.59/2.61 c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s 2.59/2.64 c core #111 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -649 2.59/2.64 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.59/2.67 c core #112 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: -648 2.59/2.67 c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s 2.59/2.69 c core #113 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -647 2.59/2.69 c Elapsed CPU time: 2.68659 s Remaining CPU time: 1797.31 s 2.69/2.72 c core #114 2.69/2.72 c Core size: 3 Core Weight: 1 Total Weight: -646 2.69/2.72 c Elapsed CPU time: 2.71159 s Remaining CPU time: 1797.29 s 2.69/2.74 c core #115 2.69/2.74 c Core size: 3 Core Weight: 1 Total Weight: -645 2.69/2.74 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.69/2.77 c core #116 2.69/2.77 c Core size: 3 Core Weight: 1 Total Weight: -644 2.69/2.77 c Elapsed CPU time: 2.76258 s Remaining CPU time: 1797.24 s 2.69/2.79 c core #117 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: -643 2.69/2.79 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.79/2.82 c core #118 2.79/2.82 c Core size: 3 Core Weight: 1 Total Weight: -642 2.79/2.82 c Elapsed CPU time: 2.81257 s Remaining CPU time: 1797.19 s 2.79/2.84 c core #119 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -641 2.79/2.84 c Elapsed CPU time: 2.83657 s Remaining CPU time: 1797.16 s 2.79/2.87 c core #120 2.79/2.87 c Core size: 3 Core Weight: 1 Total Weight: -640 2.79/2.87 c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 s 2.79/2.90 c core #121 2.79/2.90 c Core size: 3 Core Weight: 1 Total Weight: -639 2.79/2.90 c Elapsed CPU time: 2.89056 s Remaining CPU time: 1797.11 s 2.89/2.92 c core #122 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: -638 2.89/2.92 c Elapsed CPU time: 2.91556 s Remaining CPU time: 1797.08 s 2.89/2.95 c core #123 2.89/2.95 c Core size: 3 Core Weight: 1 Total Weight: -637 2.89/2.95 c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s 2.89/2.97 c core #124 2.89/2.97 c Core size: 3 Core Weight: 1 Total Weight: -636 2.89/2.97 c Elapsed CPU time: 2.96855 s Remaining CPU time: 1797.03 s 2.99/3.00 c core #125 2.99/3.00 c Core size: 3 Core Weight: 1 Total Weight: -635 2.99/3.00 c Elapsed CPU time: 2.99354 s Remaining CPU time: 1797.01 s 2.99/3.03 c core #126 2.99/3.03 c Core size: 3 Core Weight: 1 Total Weight: -634 2.99/3.03 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 2.99/3.05 c core #127 2.99/3.05 c Core size: 3 Core Weight: 1 Total Weight: -633 2.99/3.05 c Elapsed CPU time: 3.04754 s Remaining CPU time: 1796.95 s 2.99/3.08 c core #128 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: -632 2.99/3.08 c Elapsed CPU time: 3.07453 s Remaining CPU time: 1796.93 s 3.09/3.11 c core #129 3.09/3.11 c Core size: 3 Core Weight: 1 Total Weight: -631 3.09/3.11 c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s 3.09/3.13 c core #130 3.09/3.13 c Core size: 3 Core Weight: 1 Total Weight: -630 3.09/3.13 c Elapsed CPU time: 3.12852 s Remaining CPU time: 1796.87 s 3.09/3.16 c core #131 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: -629 3.09/3.16 c Elapsed CPU time: 3.15452 s Remaining CPU time: 1796.85 s 3.09/3.19 c core #132 3.09/3.19 c Core size: 3 Core Weight: 1 Total Weight: -628 3.09/3.19 c Elapsed CPU time: 3.18152 s Remaining CPU time: 1796.82 s 3.19/3.21 c core #133 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -627 3.19/3.21 c Elapsed CPU time: 3.20751 s Remaining CPU time: 1796.79 s 3.19/3.24 c core #134 3.19/3.24 c Core size: 3 Core Weight: 1 Total Weight: -626 3.19/3.24 c Elapsed CPU time: 3.23251 s Remaining CPU time: 1796.77 s 3.19/3.27 c core #135 3.19/3.27 c Core size: 3 Core Weight: 1 Total Weight: -625 3.19/3.27 c Elapsed CPU time: 3.2595 s Remaining CPU time: 1796.74 s 3.19/3.29 c core #136 3.19/3.29 c Core size: 3 Core Weight: 1 Total Weight: -624 3.19/3.29 c Elapsed CPU time: 3.2855 s Remaining CPU time: 1796.71 s 3.29/3.32 c core #137 3.29/3.32 c Core size: 3 Core Weight: 1 Total Weight: -623 3.29/3.32 c Elapsed CPU time: 3.3115 s Remaining CPU time: 1796.69 s 3.29/3.34 c core #138 3.29/3.34 c Core size: 3 Core Weight: 1 Total Weight: -622 3.29/3.34 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #139 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -621 3.29/3.37 c Elapsed CPU time: 3.36449 s Remaining CPU time: 1796.64 s 3.29/3.40 c core #140 3.29/3.40 c Core size: 3 Core Weight: 1 Total Weight: -620 3.29/3.40 c Elapsed CPU time: 3.39048 s Remaining CPU time: 1796.61 s 3.39/3.42 c core #141 3.39/3.42 c Core size: 3 Core Weight: 1 Total Weight: -619 3.39/3.42 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #142 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: -618 3.39/3.45 c Elapsed CPU time: 3.44348 s Remaining CPU time: 1796.56 s 3.39/3.48 c core #143 3.39/3.48 c Core size: 3 Core Weight: 1 Total Weight: -617 3.39/3.48 c Elapsed CPU time: 3.47047 s Remaining CPU time: 1796.53 s 3.49/3.50 c core #144 3.49/3.50 c Core size: 3 Core Weight: 1 Total Weight: -616 3.49/3.50 c Elapsed CPU time: 3.49747 s Remaining CPU time: 1796.5 s 3.49/3.53 c core #145 3.49/3.53 c Core size: 3 Core Weight: 1 Total Weight: -615 3.49/3.53 c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s 3.49/3.56 c core #146 3.49/3.56 c Core size: 3 Core Weight: 1 Total Weight: -614 3.49/3.56 c Elapsed CPU time: 3.54946 s Remaining CPU time: 1796.45 s 3.49/3.58 c core #147 3.49/3.58 c Core size: 3 Core Weight: 1 Total Weight: -613 3.49/3.58 c Elapsed CPU time: 3.57746 s Remaining CPU time: 1796.42 s 3.59/3.61 c core #148 3.59/3.61 c Core size: 3 Core Weight: 1 Total Weight: -612 3.59/3.61 c Elapsed CPU time: 3.60445 s Remaining CPU time: 1796.4 s 3.59/3.64 c core #149 3.59/3.64 c Core size: 3 Core Weight: 1 Total Weight: -611 3.59/3.64 c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s 3.59/3.66 c core #150 3.59/3.66 c Core size: 3 Core Weight: 1 Total Weight: -610 3.59/3.66 c Elapsed CPU time: 3.65744 s Remaining CPU time: 1796.34 s 3.59/3.69 c core #151 3.59/3.69 c Core size: 3 Core Weight: 1 Total Weight: -609 3.59/3.69 c Elapsed CPU time: 3.68644 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #152 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: -608 3.69/3.72 c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s 3.69/3.75 c core #153 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: -607 3.69/3.75 c Elapsed CPU time: 3.73943 s Remaining CPU time: 1796.26 s 3.69/3.77 c core #154 3.69/3.77 c Core size: 3 Core Weight: 1 Total Weight: -606 3.69/3.77 c Elapsed CPU time: 3.76643 s Remaining CPU time: 1796.23 s 3.79/3.80 c core #155 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: -605 3.79/3.80 c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s 3.79/3.83 c core #156 3.79/3.83 c Core size: 3 Core Weight: 1 Total Weight: -604 3.79/3.83 c Elapsed CPU time: 3.81942 s Remaining CPU time: 1796.18 s 3.79/3.85 c core #157 3.79/3.85 c Core size: 3 Core Weight: 1 Total Weight: -603 3.79/3.85 c Elapsed CPU time: 3.84641 s Remaining CPU time: 1796.15 s 3.79/3.88 c core #158 3.79/3.88 c Core size: 3 Core Weight: 1 Total Weight: -602 3.79/3.88 c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s 3.89/3.91 c core #159 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: -601 3.89/3.91 c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s 3.89/3.93 c core #160 3.89/3.93 c Core size: 3 Core Weight: 1 Total Weight: -600 3.89/3.93 c Elapsed CPU time: 3.9264 s Remaining CPU time: 1796.07 s 3.89/3.96 c core #161 3.89/3.96 c Core size: 3 Core Weight: 1 Total Weight: -599 3.89/3.96 c Elapsed CPU time: 3.9524 s Remaining CPU time: 1796.05 s 3.89/3.99 c core #162 3.89/3.99 c Core size: 3 Core Weight: 1 Total Weight: -598 3.89/3.99 c Elapsed CPU time: 3.98039 s Remaining CPU time: 1796.02 s 3.99/4.01 c core #163 3.99/4.01 c Core size: 3 Core Weight: 1 Total Weight: -597 3.99/4.01 c Elapsed CPU time: 4.00639 s Remaining CPU time: 1795.99 s 3.99/4.04 c core #164 3.99/4.04 c Core size: 3 Core Weight: 1 Total Weight: -596 3.99/4.04 c Elapsed CPU time: 4.03339 s Remaining CPU time: 1795.97 s 3.99/4.07 c core #165 3.99/4.07 c Core size: 3 Core Weight: 1 Total Weight: -595 3.99/4.07 c Elapsed CPU time: 4.06038 s Remaining CPU time: 1795.94 s 3.99/4.09 c core #166 3.99/4.09 c Core size: 3 Core Weight: 1 Total Weight: -594 3.99/4.09 c Elapsed CPU time: 4.08738 s Remaining CPU time: 1795.91 s 4.09/4.12 c core #167 4.09/4.12 c Core size: 3 Core Weight: 1 Total Weight: -593 4.09/4.12 c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s 4.09/4.15 c core #168 4.09/4.15 c Core size: 3 Core Weight: 1 Total Weight: -592 4.09/4.15 c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s 4.09/4.17 c core #169 4.09/4.17 c Core size: 3 Core Weight: 1 Total Weight: -591 4.09/4.17 c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s 4.19/4.20 c core #170 4.19/4.20 c Core size: 3 Core Weight: 1 Total Weight: -590 4.19/4.20 c Elapsed CPU time: 4.19336 s Remaining CPU time: 1795.81 s 4.19/4.23 c core #171 4.19/4.23 c Core size: 3 Core Weight: 1 Total Weight: -589 4.19/4.23 c Elapsed CPU time: 4.22036 s Remaining CPU time: 1795.78 s 4.19/4.26 c core #172 4.19/4.26 c Core size: 3 Core Weight: 1 Total Weight: -588 4.19/4.26 c Elapsed CPU time: 4.24735 s Remaining CPU time: 1795.75 s 4.19/4.28 c core #173 4.19/4.28 c Core size: 3 Core Weight: 1 Total Weight: -587 4.19/4.28 c Elapsed CPU time: 4.27435 s Remaining CPU time: 1795.73 s 4.30/4.31 c core #174 4.30/4.31 c Core size: 3 Core Weight: 1 Total Weight: -586 4.30/4.31 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.30/4.34 c core #175 4.30/4.34 c Core size: 3 Core Weight: 1 Total Weight: -585 4.30/4.34 c Elapsed CPU time: 4.32834 s Remaining CPU time: 1795.67 s 4.30/4.37 c core #176 4.30/4.37 c Core size: 3 Core Weight: 1 Total Weight: -584 4.30/4.37 c Elapsed CPU time: 4.35634 s Remaining CPU time: 1795.64 s 4.30/4.39 c core #177 4.30/4.39 c Core size: 3 Core Weight: 1 Total Weight: -583 4.30/4.39 c Elapsed CPU time: 4.38433 s Remaining CPU time: 1795.62 s 4.40/4.42 c core #178 4.40/4.42 c Core size: 3 Core Weight: 1 Total Weight: -582 4.40/4.42 c Elapsed CPU time: 4.41233 s Remaining CPU time: 1795.59 s 4.40/4.45 c core #179 4.40/4.45 c Core size: 3 Core Weight: 1 Total Weight: -581 4.40/4.45 c Elapsed CPU time: 4.44032 s Remaining CPU time: 1795.56 s 4.40/4.48 c core #180 4.40/4.48 c Core size: 3 Core Weight: 1 Total Weight: -580 4.40/4.48 c Elapsed CPU time: 4.46732 s Remaining CPU time: 1795.53 s 4.49/4.50 c core #181 4.49/4.50 c Core size: 3 Core Weight: 1 Total Weight: -579 4.49/4.50 c Elapsed CPU time: 4.49532 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #182 4.49/4.53 c Core size: 3 Core Weight: 1 Total Weight: -578 4.49/4.53 c Elapsed CPU time: 4.52331 s Remaining CPU time: 1795.48 s 4.49/4.56 c core #183 4.49/4.56 c Core size: 3 Core Weight: 1 Total Weight: -577 4.49/4.56 c Elapsed CPU time: 4.55031 s Remaining CPU time: 1795.45 s 4.49/4.59 c core #184 4.49/4.59 c Core size: 3 Core Weight: 1 Total Weight: -576 4.49/4.59 c Elapsed CPU time: 4.5783 s Remaining CPU time: 1795.42 s 4.59/4.61 c core #185 4.59/4.61 c Core size: 3 Core Weight: 1 Total Weight: -575 4.59/4.61 c Elapsed CPU time: 4.6063 s Remaining CPU time: 1795.39 s 4.59/4.64 c core #186 4.59/4.64 c Core size: 3 Core Weight: 1 Total Weight: -574 4.59/4.64 c Elapsed CPU time: 4.6333 s Remaining CPU time: 1795.37 s 4.59/4.67 c core #187 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -573 4.59/4.67 c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s 4.69/4.70 c core #188 4.69/4.70 c Core size: 3 Core Weight: 1 Total Weight: -572 4.69/4.70 c Elapsed CPU time: 4.68929 s Remaining CPU time: 1795.31 s 4.69/4.73 c core #189 4.69/4.73 c Core size: 3 Core Weight: 1 Total Weight: -571 4.69/4.73 c Elapsed CPU time: 4.71728 s Remaining CPU time: 1795.28 s 4.69/4.75 c core #190 4.69/4.75 c Core size: 3 Core Weight: 1 Total Weight: -570 4.69/4.75 c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s 4.69/4.78 c core #191 4.69/4.78 c Core size: 3 Core Weight: 1 Total Weight: -569 4.69/4.78 c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s 4.79/4.81 c core #192 4.79/4.81 c Core size: 3 Core Weight: 1 Total Weight: -568 4.79/4.81 c Elapsed CPU time: 4.79927 s Remaining CPU time: 1795.2 s 4.79/4.84 c core #193 4.79/4.84 c Core size: 3 Core Weight: 1 Total Weight: -567 4.79/4.84 c Elapsed CPU time: 4.82727 s Remaining CPU time: 1795.17 s 4.79/4.87 c core #194 4.79/4.87 c Core size: 3 Core Weight: 1 Total Weight: -566 4.79/4.87 c Elapsed CPU time: 4.85426 s Remaining CPU time: 1795.15 s 4.79/4.89 c core #195 4.79/4.89 c Core size: 3 Core Weight: 1 Total Weight: -565 4.79/4.89 c Elapsed CPU time: 4.88226 s Remaining CPU time: 1795.12 s 4.89/4.92 c core #196 4.89/4.92 c Core size: 3 Core Weight: 1 Total Weight: -564 4.89/4.92 c Elapsed CPU time: 4.91125 s Remaining CPU time: 1795.09 s 4.89/4.95 c core #197 4.89/4.95 c Core size: 3 Core Weight: 1 Total Weight: -563 4.89/4.95 c Elapsed CPU time: 4.93925 s Remaining CPU time: 1795.06 s 4.89/4.98 c core #198 4.89/4.98 c Core size: 3 Core Weight: 1 Total Weight: -562 4.89/4.98 c Elapsed CPU time: 4.96624 s Remaining CPU time: 1795.03 s 4.99/5.01 c core #199 4.99/5.01 c Core size: 3 Core Weight: 1 Total Weight: -561 4.99/5.01 c Elapsed CPU time: 4.99424 s Remaining CPU time: 1795.01 s 4.99/5.04 c core #200 4.99/5.04 c Core size: 3 Core Weight: 1 Total Weight: -560 4.99/5.04 c Elapsed CPU time: 5.02324 s Remaining CPU time: 1794.98 s 4.99/5.06 c core #201 4.99/5.06 c Core size: 3 Core Weight: 1 Total Weight: -559 4.99/5.06 c Elapsed CPU time: 5.05123 s Remaining CPU time: 1794.95 s 4.99/5.09 c core #202 4.99/5.09 c Core size: 3 Core Weight: 1 Total Weight: -558 4.99/5.09 c Elapsed CPU time: 5.07823 s Remaining CPU time: 1794.92 s 5.09/5.12 c core #203 5.09/5.12 c Core size: 3 Core Weight: 1 Total Weight: -557 5.09/5.12 c Elapsed CPU time: 5.10622 s Remaining CPU time: 1794.89 s 5.09/5.15 c core #204 5.09/5.15 c Core size: 3 Core Weight: 1 Total Weight: -556 5.09/5.15 c Elapsed CPU time: 5.13522 s Remaining CPU time: 1794.86 s 5.09/5.18 c core #205 5.09/5.18 c Core size: 3 Core Weight: 1 Total Weight: -555 5.09/5.18 c Elapsed CPU time: 5.16322 s Remaining CPU time: 1794.84 s 5.19/5.21 c core #206 5.19/5.21 c Core size: 3 Core Weight: 1 Total Weight: -554 5.19/5.21 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.19/5.24 c core #207 5.19/5.24 c Core size: 3 Core Weight: 1 Total Weight: -553 5.19/5.24 c Elapsed CPU time: 5.22121 s Remaining CPU time: 1794.78 s 5.19/5.26 c core #208 5.19/5.26 c Core size: 3 Core Weight: 1 Total Weight: -552 5.19/5.26 c Elapsed CPU time: 5.2502 s Remaining CPU time: 1794.75 s 5.19/5.29 c core #209 5.19/5.29 c Core size: 3 Core Weight: 1 Total Weight: -551 5.19/5.29 c Elapsed CPU time: 5.2782 s Remaining CPU time: 1794.72 s 5.29/5.32 c core #210 5.29/5.32 c Core size: 3 Core Weight: 1 Total Weight: -550 5.29/5.32 c Elapsed CPU time: 5.30719 s Remaining CPU time: 1794.69 s 5.29/5.35 c core #211 5.29/5.35 c Core size: 3 Core Weight: 1 Total Weight: -549 5.29/5.35 c Elapsed CPU time: 5.33519 s Remaining CPU time: 1794.66 s 5.29/5.38 c core #212 5.29/5.38 c Core size: 3 Core Weight: 1 Total Weight: -548 5.29/5.38 c Elapsed CPU time: 5.36318 s Remaining CPU time: 1794.64 s 5.39/5.41 c core #213 5.39/5.41 c Core size: 3 Core Weight: 1 Total Weight: -547 5.39/5.41 c Elapsed CPU time: 5.39218 s Remaining CPU time: 1794.61 s 5.39/5.44 c core #214 5.39/5.44 c Core size: 3 Core Weight: 1 Total Weight: -546 5.39/5.44 c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s 5.39/5.47 c core #215 5.39/5.47 c Core size: 3 Core Weight: 1 Total Weight: -545 5.39/5.47 c Elapsed CPU time: 5.45117 s Remaining CPU time: 1794.55 s 5.39/5.50 c core #216 5.39/5.50 c Core size: 3 Core Weight: 1 Total Weight: -544 5.39/5.50 c Elapsed CPU time: 5.48017 s Remaining CPU time: 1794.52 s 5.49/5.53 c core #217 5.49/5.53 c Core size: 3 Core Weight: 1 Total Weight: -543 5.49/5.53 c Elapsed CPU time: 5.50916 s Remaining CPU time: 1794.49 s 5.49/5.56 c core #218 5.49/5.56 c Core size: 3 Core Weight: 1 Total Weight: -542 5.49/5.56 c Elapsed CPU time: 5.53916 s Remaining CPU time: 1794.46 s 5.49/5.58 c core #219 5.49/5.58 c Core size: 3 Core Weight: 1 Total Weight: -541 5.49/5.58 c Elapsed CPU time: 5.56815 s Remaining CPU time: 1794.43 s 5.58/5.61 c core #220 5.58/5.61 c Core size: 3 Core Weight: 1 Total Weight: -540 5.58/5.61 c Elapsed CPU time: 5.59815 s Remaining CPU time: 1794.4 s 5.58/5.64 c core #221 5.58/5.64 c Core size: 3 Core Weight: 1 Total Weight: -539 5.58/5.64 c Elapsed CPU time: 5.62814 s Remaining CPU time: 1794.37 s 5.58/5.67 c core #222 5.58/5.67 c Core size: 3 Core Weight: 1 Total Weight: -538 5.58/5.67 c Elapsed CPU time: 5.65714 s Remaining CPU time: 1794.34 s 5.68/5.70 c core #223 5.68/5.70 c Core size: 3 Core Weight: 1 Total Weight: -537 5.68/5.70 c Elapsed CPU time: 5.68713 s Remaining CPU time: 1794.31 s 5.68/5.73 c core #224 5.68/5.73 c Core size: 3 Core Weight: 1 Total Weight: -536 5.68/5.73 c Elapsed CPU time: 5.71713 s Remaining CPU time: 1794.28 s 5.68/5.76 c core #225 5.68/5.76 c Core size: 3 Core Weight: 1 Total Weight: -535 5.68/5.76 c Elapsed CPU time: 5.74713 s Remaining CPU time: 1794.25 s 5.68/5.79 c core #226 5.68/5.79 c Core size: 3 Core Weight: 1 Total Weight: -534 5.68/5.79 c Elapsed CPU time: 5.77812 s Remaining CPU time: 1794.22 s 5.78/5.82 c core #227 5.78/5.82 c Core size: 3 Core Weight: 1 Total Weight: -533 5.78/5.82 c Elapsed CPU time: 5.80712 s Remaining CPU time: 1794.19 s 5.78/5.85 c core #228 5.78/5.85 c Core size: 3 Core Weight: 1 Total Weight: -532 5.78/5.85 c Elapsed CPU time: 5.83811 s Remaining CPU time: 1794.16 s 5.78/5.89 c core #229 5.78/5.89 c Core size: 3 Core Weight: 1 Total Weight: -531 5.78/5.89 c Elapsed CPU time: 5.86811 s Remaining CPU time: 1794.13 s 5.88/5.91 c core #230 5.88/5.91 c Core size: 3 Core Weight: 1 Total Weight: -530 5.88/5.91 c Elapsed CPU time: 5.8981 s Remaining CPU time: 1794.1 s 5.88/5.95 c core #231 5.88/5.95 c Core size: 3 Core Weight: 1 Total Weight: -529 5.88/5.95 c Elapsed CPU time: 5.9291 s Remaining CPU time: 1794.07 s 5.88/5.98 c core #232 5.88/5.98 c Core size: 3 Core Weight: 1 Total Weight: -528 5.88/5.98 c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s 5.99/6.01 c core #233 5.99/6.01 c Core size: 3 Core Weight: 1 Total Weight: -527 5.99/6.01 c Elapsed CPU time: 5.98809 s Remaining CPU time: 1794.01 s 5.99/6.04 c core #234 5.99/6.04 c Core size: 3 Core Weight: 1 Total Weight: -526 5.99/6.04 c Elapsed CPU time: 6.01809 s Remaining CPU time: 1793.98 s 5.99/6.07 c core #235 5.99/6.07 c Core size: 3 Core Weight: 1 Total Weight: -525 5.99/6.07 c Elapsed CPU time: 6.04808 s Remaining CPU time: 1793.95 s 6.09/6.10 c core #236 6.09/6.10 c Core size: 3 Core Weight: 1 Total Weight: -524 6.09/6.10 c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s 6.09/6.13 c core #237 6.09/6.13 c Core size: 3 Core Weight: 1 Total Weight: -523 6.09/6.13 c Elapsed CPU time: 6.10907 s Remaining CPU time: 1793.89 s 6.09/6.16 c core #238 6.09/6.16 c Core size: 3 Core Weight: 1 Total Weight: -522 6.09/6.16 c Elapsed CPU time: 6.14007 s Remaining CPU time: 1793.86 s 6.09/6.19 c core #239 6.09/6.19 c Core size: 3 Core Weight: 1 Total Weight: -521 6.09/6.19 c Elapsed CPU time: 6.17106 s Remaining CPU time: 1793.83 s 6.19/6.22 c core #240 6.19/6.22 c Core size: 3 Core Weight: 1 Total Weight: -520 6.19/6.22 c Elapsed CPU time: 6.20106 s Remaining CPU time: 1793.8 s 6.19/6.25 c core #241 6.19/6.25 c Core size: 3 Core Weight: 1 Total Weight: -519 6.19/6.25 c Elapsed CPU time: 6.23205 s Remaining CPU time: 1793.77 s 6.19/6.28 c core #242 6.19/6.28 c Core size: 3 Core Weight: 1 Total Weight: -518 6.19/6.28 c Elapsed CPU time: 6.26205 s Remaining CPU time: 1793.74 s 6.29/6.31 c core #243 6.29/6.31 c Core size: 3 Core Weight: 1 Total Weight: -517 6.29/6.31 c Elapsed CPU time: 6.29304 s Remaining CPU time: 1793.71 s 6.29/6.34 c core #244 6.29/6.34 c Core size: 3 Core Weight: 1 Total Weight: -516 6.29/6.34 c Elapsed CPU time: 6.32404 s Remaining CPU time: 1793.68 s 6.29/6.37 c core #245 6.29/6.37 c Core size: 3 Core Weight: 1 Total Weight: -515 6.29/6.37 c Elapsed CPU time: 6.35403 s Remaining CPU time: 1793.65 s 6.39/6.40 c core #246 6.39/6.40 c Core size: 3 Core Weight: 1 Total Weight: -514 6.39/6.40 c Elapsed CPU time: 6.38603 s Remaining CPU time: 1793.61 s 6.39/6.43 c core #247 6.39/6.43 c Core size: 3 Core Weight: 1 Total Weight: -513 6.39/6.43 c Elapsed CPU time: 6.41602 s Remaining CPU time: 1793.58 s 6.39/6.46 c core #248 6.39/6.46 c Core size: 3 Core Weight: 1 Total Weight: -512 6.39/6.46 c Elapsed CPU time: 6.44702 s Remaining CPU time: 1793.55 s 6.39/6.50 c core #249 6.39/6.50 c Core size: 3 Core Weight: 1 Total Weight: -511 6.39/6.50 c Elapsed CPU time: 6.47802 s Remaining CPU time: 1793.52 s 6.50/6.53 c core #250 6.50/6.53 c Core size: 3 Core Weight: 1 Total Weight: -510 6.50/6.53 c Elapsed CPU time: 6.50901 s Remaining CPU time: 1793.49 s 6.50/6.56 c core #251 6.50/6.56 c Core size: 3 Core Weight: 1 Total Weight: -509 6.50/6.56 c Elapsed CPU time: 6.54 s Remaining CPU time: 1793.46 s 6.50/6.59 c core #252 6.50/6.59 c Core size: 3 Core Weight: 1 Total Weight: -508 6.50/6.59 c Elapsed CPU time: 6.572 s Remaining CPU time: 1793.43 s 6.60/6.62 c core #253 6.60/6.62 c Core size: 3 Core Weight: 1 Total Weight: -507 6.60/6.62 c Elapsed CPU time: 6.603 s Remaining CPU time: 1793.4 s 6.60/6.65 c core #254 6.60/6.65 c Core size: 3 Core Weight: 1 Total Weight: -506 6.60/6.65 c Elapsed CPU time: 6.63399 s Remaining CPU time: 1793.37 s 6.60/6.68 c core #255 6.60/6.68 c Core size: 3 Core Weight: 1 Total Weight: -505 6.60/6.68 c Elapsed CPU time: 6.66499 s Remaining CPU time: 1793.34 s 6.69/6.71 c core #256 6.69/6.71 c Core size: 3 Core Weight: 1 Total Weight: -504 6.69/6.71 c Elapsed CPU time: 6.69598 s Remaining CPU time: 1793.3 s 6.69/6.75 c core #257 6.69/6.75 c Core size: 3 Core Weight: 1 Total Weight: -503 6.69/6.75 c Elapsed CPU time: 6.72798 s Remaining CPU time: 1793.27 s 6.69/6.78 c core #258 6.69/6.78 c Core size: 3 Core Weight: 1 Total Weight: -502 6.69/6.78 c Elapsed CPU time: 6.75897 s Remaining CPU time: 1793.24 s 6.79/6.81 c core #259 6.79/6.81 c Core size: 3 Core Weight: 1 Total Weight: -501 6.79/6.81 c Elapsed CPU time: 6.78997 s Remaining CPU time: 1793.21 s 6.79/6.84 c core #260 6.79/6.84 c Core size: 3 Core Weight: 1 Total Weight: -500 6.79/6.84 c Elapsed CPU time: 6.82196 s Remaining CPU time: 1793.18 s 6.79/6.87 c core #261 6.79/6.87 c Core size: 3 Core Weight: 1 Total Weight: -499 6.79/6.87 c Elapsed CPU time: 6.85296 s Remaining CPU time: 1793.15 s 6.89/6.90 c core #262 6.89/6.90 c Core size: 3 Core Weight: 1 Total Weight: -498 6.89/6.90 c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s 6.89/6.93 c core #263 6.89/6.93 c Core size: 3 Core Weight: 1 Total Weight: -497 6.89/6.93 c Elapsed CPU time: 6.91695 s Remaining CPU time: 1793.08 s 6.89/6.97 c core #264 6.89/6.97 c Core size: 3 Core Weight: 1 Total Weight: -496 6.89/6.97 c Elapsed CPU time: 6.94894 s Remaining CPU time: 1793.05 s 6.99/7.00 c core #265 6.99/7.00 c Core size: 3 Core Weight: 1 Total Weight: -495 6.99/7.00 c Elapsed CPU time: 6.98094 s Remaining CPU time: 1793.02 s 6.99/7.03 c core #266 6.99/7.03 c Core size: 3 Core Weight: 1 Total Weight: -494 6.99/7.03 c Elapsed CPU time: 7.01293 s Remaining CPU time: 1792.99 s 6.99/7.06 c core #267 6.99/7.06 c Core size: 3 Core Weight: 1 Total Weight: -493 6.99/7.06 c Elapsed CPU time: 7.04493 s Remaining CPU time: 1792.96 s 6.99/7.09 c core #268 6.99/7.09 c Core size: 3 Core Weight: 1 Total Weight: -492 6.99/7.09 c Elapsed CPU time: 7.07692 s Remaining CPU time: 1792.92 s 7.09/7.13 c core #269 7.09/7.13 c Core size: 3 Core Weight: 1 Total Weight: -491 7.09/7.13 c Elapsed CPU time: 7.10892 s Remaining CPU time: 1792.89 s 7.09/7.16 c core #270 7.09/7.16 c Core size: 3 Core Weight: 1 Total Weight: -490 7.09/7.16 c Elapsed CPU time: 7.14191 s Remaining CPU time: 1792.86 s 7.09/7.19 c core #271 7.09/7.19 c Core size: 3 Core Weight: 1 Total Weight: -489 7.09/7.19 c Elapsed CPU time: 7.17391 s Remaining CPU time: 1792.83 s 7.19/7.22 c core #272 7.19/7.22 c Core size: 3 Core Weight: 1 Total Weight: -488 7.19/7.22 c Elapsed CPU time: 7.2059 s Remaining CPU time: 1792.79 s 7.19/7.26 c core #273 7.19/7.26 c Core size: 3 Core Weight: 1 Total Weight: -487 7.19/7.26 c Elapsed CPU time: 7.2389 s Remaining CPU time: 1792.76 s 7.19/7.29 c core #274 7.19/7.29 c Core size: 3 Core Weight: 1 Total Weight: -486 7.19/7.29 c Elapsed CPU time: 7.27089 s Remaining CPU time: 1792.73 s 7.29/7.32 c core #275 7.29/7.32 c Core size: 3 Core Weight: 1 Total Weight: -485 7.29/7.32 c Elapsed CPU time: 7.30389 s Remaining CPU time: 1792.7 s 7.29/7.35 c core #276 7.29/7.35 c Core size: 3 Core Weight: 1 Total Weight: -484 7.29/7.35 c Elapsed CPU time: 7.33588 s Remaining CPU time: 1792.66 s 7.29/7.39 c core #277 7.29/7.39 c Core size: 3 Core Weight: 1 Total Weight: -483 7.29/7.39 c Elapsed CPU time: 7.36888 s Remaining CPU time: 1792.63 s 7.39/7.42 c core #278 7.39/7.42 c Core size: 3 Core Weight: 1 Total Weight: -482 7.39/7.42 c Elapsed CPU time: 7.40087 s Remaining CPU time: 1792.6 s 7.39/7.45 c core #279 7.39/7.45 c Core size: 3 Core Weight: 1 Total Weight: -481 7.39/7.45 c Elapsed CPU time: 7.43387 s Remaining CPU time: 1792.57 s 7.39/7.49 c core #280 7.39/7.49 c Core size: 3 Core Weight: 1 Total Weight: -480 7.39/7.49 c Elapsed CPU time: 7.46686 s Remaining CPU time: 1792.53 s 7.49/7.52 c core #281 7.49/7.52 c Core size: 3 Core Weight: 1 Total Weight: -479 7.49/7.52 c Elapsed CPU time: 7.49986 s Remaining CPU time: 1792.5 s 7.49/7.55 c core #282 7.49/7.55 c Core size: 3 Core Weight: 1 Total Weight: -478 7.49/7.55 c Elapsed CPU time: 7.53285 s Remaining CPU time: 1792.47 s 7.49/7.58 c core #283 7.49/7.58 c Core size: 3 Core Weight: 1 Total Weight: -477 7.49/7.58 c Elapsed CPU time: 7.56585 s Remaining CPU time: 1792.43 s 7.60/7.62 c core #284 7.60/7.62 c Core size: 3 Core Weight: 1 Total Weight: -476 7.60/7.62 c Elapsed CPU time: 7.59884 s Remaining CPU time: 1792.4 s 7.60/7.65 c core #285 7.60/7.65 c Core size: 3 Core Weight: 1 Total Weight: -475 7.60/7.65 c Elapsed CPU time: 7.63284 s Remaining CPU time: 1792.37 s 7.60/7.68 c core #286 7.60/7.68 c Core size: 3 Core Weight: 1 Total Weight: -474 7.60/7.68 c Elapsed CPU time: 7.66583 s Remaining CPU time: 1792.33 s 7.70/7.72 c core #287 7.70/7.72 c Core size: 3 Core Weight: 1 Total Weight: -473 7.70/7.72 c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s 7.70/7.75 c core #288 7.70/7.75 c Core size: 3 Core Weight: 1 Total Weight: -472 7.70/7.75 c Elapsed CPU time: 7.73282 s Remaining CPU time: 1792.27 s 7.70/7.78 c core #289 7.70/7.78 c Core size: 3 Core Weight: 1 Total Weight: -471 7.70/7.78 c Elapsed CPU time: 7.76582 s Remaining CPU time: 1792.23 s 7.79/7.82 c core #290 7.79/7.82 c Core size: 3 Core Weight: 1 Total Weight: -470 7.79/7.82 c Elapsed CPU time: 7.80181 s Remaining CPU time: 1792.2 s 7.79/7.85 c core #291 7.79/7.85 c Core size: 3 Core Weight: 1 Total Weight: -469 7.79/7.85 c Elapsed CPU time: 7.83581 s Remaining CPU time: 1792.16 s 7.79/7.89 c core #292 7.79/7.89 c Core size: 3 Core Weight: 1 Total Weight: -468 7.79/7.89 c Elapsed CPU time: 7.8688 s Remaining CPU time: 1792.13 s 7.89/7.92 c core #293 7.89/7.92 c Core size: 3 Core Weight: 1 Total Weight: -467 7.89/7.92 c Elapsed CPU time: 7.9028 s Remaining CPU time: 1792.1 s 7.89/7.96 c core #294 7.89/7.96 c Core size: 3 Core Weight: 1 Total Weight: -466 7.89/7.96 c Elapsed CPU time: 7.93679 s Remaining CPU time: 1792.06 s 7.89/7.99 c core #295 7.89/7.99 c Core size: 3 Core Weight: 1 Total Weight: -465 7.89/7.99 c Elapsed CPU time: 7.97079 s Remaining CPU time: 1792.03 s 7.99/8.02 c core #296 7.99/8.02 c Core size: 3 Core Weight: 1 Total Weight: -464 7.99/8.02 c Elapsed CPU time: 8.00478 s Remaining CPU time: 1792 s 7.99/8.06 c core #297 7.99/8.06 c Core size: 3 Core Weight: 1 Total Weight: -463 7.99/8.06 c Elapsed CPU time: 8.03778 s Remaining CPU time: 1791.96 s 7.99/8.09 c core #298 7.99/8.09 c Core size: 3 Core Weight: 1 Total Weight: -462 7.99/8.09 c Elapsed CPU time: 8.07277 s Remaining CPU time: 1791.93 s 8.09/8.13 c core #299 8.09/8.13 c Core size: 3 Core Weight: 1 Total Weight: -461 8.09/8.13 c Elapsed CPU time: 8.10677 s Remaining CPU time: 1791.89 s 8.09/8.16 c core #300 8.09/8.16 c Core size: 3 Core Weight: 1 Total Weight: -460 8.09/8.16 c Elapsed CPU time: 8.14176 s Remaining CPU time: 1791.86 s 8.09/8.19 c core #301 8.09/8.19 c Core size: 3 Core Weight: 1 Total Weight: -459 8.09/8.19 c Elapsed CPU time: 8.17576 s Remaining CPU time: 1791.82 s 8.19/8.23 c core #302 8.19/8.23 c Core size: 3 Core Weight: 1 Total Weight: -458 8.19/8.23 c Elapsed CPU time: 8.20975 s Remaining CPU time: 1791.79 s 8.19/8.26 c core #303 8.19/8.26 c Core size: 3 Core Weight: 1 Total Weight: -457 8.19/8.26 c Elapsed CPU time: 8.24375 s Remaining CPU time: 1791.76 s 8.29/8.30 c core #304 8.29/8.30 c Core size: 3 Core Weight: 1 Total Weight: -456 8.29/8.30 c Elapsed CPU time: 8.27874 s Remaining CPU time: 1791.72 s 8.29/8.33 c core #305 8.29/8.33 c Core size: 3 Core Weight: 1 Total Weight: -455 8.29/8.33 c Elapsed CPU time: 8.31574 s Remaining CPU time: 1791.68 s 8.29/8.37 c core #306 8.29/8.37 c Core size: 3 Core Weight: 1 Total Weight: -454 8.29/8.37 c Elapsed CPU time: 8.35073 s Remaining CPU time: 1791.65 s 8.39/8.40 c core #307 8.39/8.40 c Core size: 3 Core Weight: 1 Total Weight: -453 8.39/8.40 c Elapsed CPU time: 8.38573 s Remaining CPU time: 1791.61 s 8.39/8.44 c core #308 8.39/8.44 c Core size: 3 Core Weight: 1 Total Weight: -452 8.39/8.44 c Elapsed CPU time: 8.42072 s Remaining CPU time: 1791.58 s 8.39/8.47 c core #309 8.39/8.47 c Core size: 3 Core Weight: 1 Total Weight: -451 8.39/8.47 c Elapsed CPU time: 8.45571 s Remaining CPU time: 1791.54 s 8.49/8.51 c core #310 8.49/8.51 c Core size: 3 Core Weight: 1 Total Weight: -450 8.49/8.51 c Elapsed CPU time: 8.49171 s Remaining CPU time: 1791.51 s 8.49/8.55 c core #311 8.49/8.55 c Core size: 3 Core Weight: 1 Total Weight: -449 8.49/8.55 c Elapsed CPU time: 8.5267 s Remaining CPU time: 1791.47 s 8.49/8.58 c core #312 8.49/8.58 c Core size: 3 Core Weight: 1 Total Weight: -448 8.49/8.58 c Elapsed CPU time: 8.5607 s Remaining CPU time: 1791.44 s 8.59/8.62 c core #313 8.59/8.62 c Core size: 3 Core Weight: 1 Total Weight: -447 8.59/8.62 c Elapsed CPU time: 8.59769 s Remaining CPU time: 1791.4 s 8.59/8.65 c core #314 8.59/8.65 c Core size: 3 Core Weight: 1 Total Weight: -446 8.59/8.65 c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s 8.59/8.69 c core #315 8.59/8.69 c Core size: 3 Core Weight: 1 Total Weight: -445 8.59/8.69 c Elapsed CPU time: 8.66968 s Remaining CPU time: 1791.33 s 8.70/8.72 c core #316 8.70/8.72 c Core size: 3 Core Weight: 1 Total Weight: -444 8.70/8.72 c Elapsed CPU time: 8.70568 s Remaining CPU time: 1791.29 s 8.70/8.76 c core #317 8.70/8.76 c Core size: 3 Core Weight: 1 Total Weight: -443 8.70/8.76 c Elapsed CPU time: 8.74167 s Remaining CPU time: 1791.26 s 8.70/8.80 c core #318 8.70/8.80 c Core size: 3 Core Weight: 1 Total Weight: -442 8.70/8.80 c Elapsed CPU time: 8.77666 s Remaining CPU time: 1791.22 s 8.80/8.83 c core #319 8.80/8.83 c Core size: 3 Core Weight: 1 Total Weight: -441 8.80/8.83 c Elapsed CPU time: 8.81266 s Remaining CPU time: 1791.19 s 8.80/8.87 c core #320 8.80/8.87 c Core size: 3 Core Weight: 1 Total Weight: -440 8.80/8.87 c Elapsed CPU time: 8.84865 s Remaining CPU time: 1791.15 s 8.89/8.90 c core #321 8.89/8.90 c Core size: 3 Core Weight: 1 Total Weight: -439 8.89/8.90 c Elapsed CPU time: 8.88365 s Remaining CPU time: 1791.12 s 8.89/8.94 c core #322 8.89/8.94 c Core size: 3 Core Weight: 1 Total Weight: -438 8.89/8.94 c Elapsed CPU time: 8.92164 s Remaining CPU time: 1791.08 s 8.89/8.98 c core #323 8.89/8.98 c Core size: 3 Core Weight: 1 Total Weight: -437 8.89/8.98 c Elapsed CPU time: 8.95764 s Remaining CPU time: 1791.04 s 8.99/9.01 c core #324 8.99/9.01 c Core size: 3 Core Weight: 1 Total Weight: -436 8.99/9.01 c Elapsed CPU time: 8.99463 s Remaining CPU time: 1791.01 s 8.99/9.05 c core #325 8.99/9.05 c Core size: 3 Core Weight: 1 Total Weight: -435 8.99/9.05 c Elapsed CPU time: 9.03063 s Remaining CPU time: 1790.97 s 8.99/9.09 c core #326 8.99/9.09 c Core size: 3 Core Weight: 1 Total Weight: -434 8.99/9.09 c Elapsed CPU time: 9.06662 s Remaining CPU time: 1790.93 s 9.09/9.12 c core #327 9.09/9.12 c Core size: 3 Core Weight: 1 Total Weight: -433 9.09/9.12 c Elapsed CPU time: 9.10462 s Remaining CPU time: 1790.9 s 9.09/9.16 c core #328 9.09/9.16 c Core size: 3 Core Weight: 1 Total Weight: -432 9.09/9.16 c Elapsed CPU time: 9.14061 s Remaining CPU time: 1790.86 s 9.09/9.20 c core #329 9.09/9.20 c Core size: 3 Core Weight: 1 Total Weight: -431 9.09/9.20 c Elapsed CPU time: 9.1776 s Remaining CPU time: 1790.82 s 9.19/9.23 c core #330 9.19/9.23 c Core size: 3 Core Weight: 1 Total Weight: -430 9.19/9.23 c Elapsed CPU time: 9.2156 s Remaining CPU time: 1790.78 s 9.19/9.27 c core #331 9.19/9.27 c Core size: 3 Core Weight: 1 Total Weight: -429 9.19/9.27 c Elapsed CPU time: 9.25259 s Remaining CPU time: 1790.75 s 9.29/9.31 c core #332 9.29/9.31 c Core size: 3 Core Weight: 1 Total Weight: -428 9.29/9.31 c Elapsed CPU time: 9.28959 s Remaining CPU time: 1790.71 s 9.29/9.35 c core #333 9.29/9.35 c Core size: 3 Core Weight: 1 Total Weight: -427 9.29/9.35 c Elapsed CPU time: 9.32658 s Remaining CPU time: 1790.67 s 9.29/9.38 c core #334 9.29/9.38 c Core size: 3 Core Weight: 1 Total Weight: -426 9.29/9.38 c Elapsed CPU time: 9.36458 s Remaining CPU time: 1790.64 s 9.39/9.42 c core #335 9.39/9.42 c Core size: 3 Core Weight: 1 Total Weight: -425 9.39/9.42 c Elapsed CPU time: 9.40357 s Remaining CPU time: 1790.6 s 9.39/9.46 c core #336 9.39/9.46 c Core size: 3 Core Weight: 1 Total Weight: -424 9.39/9.46 c Elapsed CPU time: 9.44156 s Remaining CPU time: 1790.56 s 9.49/9.50 c core #337 9.49/9.50 c Core size: 3 Core Weight: 1 Total Weight: -423 9.49/9.50 c Elapsed CPU time: 9.47956 s Remaining CPU time: 1790.52 s 9.49/9.54 c core #338 9.49/9.54 c Core size: 3 Core Weight: 1 Total Weight: -422 9.49/9.54 c Elapsed CPU time: 9.51755 s Remaining CPU time: 1790.48 s 9.49/9.57 c core #339 9.49/9.57 c Core size: 3 Core Weight: 1 Total Weight: -421 9.49/9.57 c Elapsed CPU time: 9.55455 s Remaining CPU time: 1790.45 s 9.59/9.61 c core #340 9.59/9.61 c Core size: 3 Core Weight: 1 Total Weight: -420 9.59/9.61 c Elapsed CPU time: 9.59254 s Remaining CPU time: 1790.41 s 9.59/9.65 c core #341 9.59/9.65 c Core size: 3 Core Weight: 1 Total Weight: -419 9.59/9.65 c Elapsed CPU time: 9.63054 s Remaining CPU time: 1790.37 s 9.59/9.69 c core #342 9.59/9.69 c Core size: 3 Core Weight: 1 Total Weight: -418 9.59/9.69 c Elapsed CPU time: 9.66853 s Remaining CPU time: 1790.33 s 9.69/9.73 c core #343 9.69/9.73 c Core size: 3 Core Weight: 1 Total Weight: -417 9.69/9.73 c Elapsed CPU time: 9.70852 s Remaining CPU time: 1790.29 s 9.69/9.77 c core #344 9.69/9.77 c Core size: 3 Core Weight: 1 Total Weight: -416 9.69/9.77 c Elapsed CPU time: 9.74552 s Remaining CPU time: 1790.25 s 9.80/9.80 c core #345 9.80/9.80 c Core size: 3 Core Weight: 1 Total Weight: -415 9.80/9.80 c Elapsed CPU time: 9.78451 s Remaining CPU time: 1790.22 s 9.80/9.84 c core #346 9.80/9.84 c Core size: 3 Core Weight: 1 Total Weight: -414 9.80/9.84 c Elapsed CPU time: 9.82251 s Remaining CPU time: 1790.18 s 9.80/9.88 c core #347 9.80/9.88 c Core size: 3 Core Weight: 1 Total Weight: -413 9.80/9.88 c Elapsed CPU time: 9.8615 s Remaining CPU time: 1790.14 s 9.90/9.92 c core #348 9.90/9.92 c Core size: 3 Core Weight: 1 Total Weight: -412 9.90/9.92 c Elapsed CPU time: 9.89949 s Remaining CPU time: 1790.1 s 9.90/9.96 c core #349 9.90/9.96 c Core size: 3 Core Weight: 1 Total Weight: -411 9.90/9.96 c Elapsed CPU time: 9.93849 s Remaining CPU time: 1790.06 s 9.99/10.00 c core #350 9.99/10.00 c Core size: 3 Core Weight: 1 Total Weight: -410 9.99/10.00 c Elapsed CPU time: 9.97748 s Remaining CPU time: 1790.02 s 9.99/10.04 c core #351 9.99/10.04 c Core size: 3 Core Weight: 1 Total Weight: -409 9.99/10.04 c Elapsed CPU time: 10.0155 s Remaining CPU time: 1789.98 s 9.99/10.08 c core #352 9.99/10.08 c Core size: 3 Core Weight: 1 Total Weight: -408 9.99/10.08 c Elapsed CPU time: 10.0555 s Remaining CPU time: 1789.94 s 10.09/10.11 c core #353 10.09/10.11 c Core size: 3 Core Weight: 1 Total Weight: -407 10.09/10.11 c Elapsed CPU time: 10.0945 s Remaining CPU time: 1789.91 s 10.09/10.15 c core #354 10.09/10.15 c Core size: 3 Core Weight: 1 Total Weight: -406 10.09/10.15 c Elapsed CPU time: 10.1335 s Remaining CPU time: 1789.87 s 10.09/10.19 c core #355 10.09/10.19 c Core size: 3 Core Weight: 1 Total Weight: -405 10.09/10.19 c Elapsed CPU time: 10.1725 s Remaining CPU time: 1789.83 s 10.19/10.23 c core #356 10.19/10.23 c Core size: 3 Core Weight: 1 Total Weight: -404 10.19/10.23 c Elapsed CPU time: 10.2114 s Remaining CPU time: 1789.79 s 10.19/10.27 c core #357 10.19/10.27 c Core size: 3 Core Weight: 1 Total Weight: -403 10.19/10.27 c Elapsed CPU time: 10.2494 s Remaining CPU time: 1789.75 s 10.29/10.31 c core #358 10.29/10.31 c Core size: 3 Core Weight: 1 Total Weight: -402 10.29/10.31 c Elapsed CPU time: 10.2894 s Remaining CPU time: 1789.71 s 10.29/10.35 c core #359 10.29/10.35 c Core size: 3 Core Weight: 1 Total Weight: -401 10.29/10.35 c Elapsed CPU time: 10.3294 s Remaining CPU time: 1789.67 s 10.29/10.39 c core #360 10.29/10.39 c Core size: 3 Core Weight: 1 Total Weight: -400 10.29/10.39 c Elapsed CPU time: 10.3684 s Remaining CPU time: 1789.63 s 10.39/10.43 c core #361 10.39/10.43 c Core size: 3 Core Weight: 1 Total Weight: -399 10.39/10.43 c Elapsed CPU time: 10.4074 s Remaining CPU time: 1789.59 s 10.39/10.47 c core #362 10.39/10.47 c Core size: 3 Core Weight: 1 Total Weight: -398 10.39/10.47 c Elapsed CPU time: 10.4474 s Remaining CPU time: 1789.55 s 10.49/10.51 c core #363 10.49/10.51 c Core size: 3 Core Weight: 1 Total Weight: -397 10.49/10.51 c Elapsed CPU time: 10.4864 s Remaining CPU time: 1789.51 s 10.49/10.55 c core #364 10.49/10.55 c Core size: 3 Core Weight: 1 Total Weight: -396 10.49/10.55 c Elapsed CPU time: 10.5274 s Remaining CPU time: 1789.47 s 10.49/10.59 c core #365 10.49/10.59 c Core size: 3 Core Weight: 1 Total Weight: -395 10.49/10.59 c Elapsed CPU time: 10.5674 s Remaining CPU time: 1789.43 s 10.59/10.63 c core #366 10.59/10.63 c Core size: 3 Core Weight: 1 Total Weight: -394 10.59/10.63 c Elapsed CPU time: 10.6074 s Remaining CPU time: 1789.39 s 10.59/10.67 c core #367 10.59/10.67 c Core size: 3 Core Weight: 1 Total Weight: -393 10.59/10.67 c Elapsed CPU time: 10.6474 s Remaining CPU time: 1789.35 s 10.69/10.71 c core #368 10.69/10.71 c Core size: 3 Core Weight: 1 Total Weight: -392 10.69/10.71 c Elapsed CPU time: 10.6874 s Remaining CPU time: 1789.31 s 10.69/10.75 c core #369 10.69/10.75 c Core size: 3 Core Weight: 1 Total Weight: -391 10.69/10.75 c Elapsed CPU time: 10.7274 s Remaining CPU time: 1789.27 s 10.69/10.79 c core #370 10.69/10.79 c Core size: 3 Core Weight: 1 Total Weight: -390 10.69/10.79 c Elapsed CPU time: 10.7694 s Remaining CPU time: 1789.23 s 10.79/10.83 c core #371 10.79/10.83 c Core size: 3 Core Weight: 1 Total Weight: -389 10.79/10.83 c Elapsed CPU time: 10.8094 s Remaining CPU time: 1789.19 s 10.79/10.87 c core #372 10.79/10.87 c Core size: 3 Core Weight: 1 Total Weight: -388 10.79/10.87 c Elapsed CPU time: 10.8493 s Remaining CPU time: 1789.15 s 10.89/10.91 c core #373 10.89/10.91 c Core size: 3 Core Weight: 1 Total Weight: -387 10.89/10.91 c Elapsed CPU time: 10.8903 s Remaining CPU time: 1789.11 s 10.89/10.95 c core #374 10.89/10.95 c Core size: 3 Core Weight: 1 Total Weight: -386 10.89/10.95 c Elapsed CPU time: 10.9313 s Remaining CPU time: 1789.07 s 10.89/10.99 c core #375 10.89/10.99 c Core size: 3 Core Weight: 1 Total Weight: -385 10.89/10.99 c Elapsed CPU time: 10.9723 s Remaining CPU time: 1789.03 s 10.99/11.03 c core #376 10.99/11.03 c Core size: 3 Core Weight: 1 Total Weight: -384 10.99/11.03 c Elapsed CPU time: 11.0133 s Remaining CPU time: 1788.99 s 10.99/11.08 c core #377 10.99/11.08 c Core size: 3 Core Weight: 1 Total Weight: -383 10.99/11.08 c Elapsed CPU time: 11.0543 s Remaining CPU time: 1788.95 s 11.09/11.12 c core #378 11.09/11.12 c Core size: 3 Core Weight: 1 Total Weight: -382 11.09/11.12 c Elapsed CPU time: 11.0953 s Remaining CPU time: 1788.9 s 11.09/11.16 c core #379 11.09/11.16 c Core size: 3 Core Weight: 1 Total Weight: -381 11.09/11.16 c Elapsed CPU time: 11.1363 s Remaining CPU time: 1788.86 s 11.19/11.20 c core #380 11.19/11.20 c Core size: 3 Core Weight: 1 Total Weight: -380 11.19/11.20 c Elapsed CPU time: 11.1773 s Remaining CPU time: 1788.82 s 11.19/11.24 c ============================[ Search Statistics ]============================== 11.19/11.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.24 c =============================================================================== 11.19/11.24 c | 0 | 1520 42454 84908 | 14151 0 nan | 0.000 % | 11.19/11.24 c =============================================================================== 11.19/11.24 c core #381 11.19/11.24 c Core size: 13 Core Weight: 1 Total Weight: -379 11.19/11.24 c Elapsed CPU time: 11.2223 s Remaining CPU time: 1788.78 s 11.19/11.29 c ============================[ Search Statistics ]============================== 11.19/11.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.29 c =============================================================================== 11.19/11.29 c | 0 | 1526 42455 84920 | 14151 0 nan | 0.000 % | 11.19/11.29 c =============================================================================== 11.19/11.29 c core #382 11.19/11.29 c Core size: 10 Core Weight: 1 Total Weight: -378 11.19/11.29 c Elapsed CPU time: 11.2663 s Remaining CPU time: 1788.73 s 11.29/11.33 c ============================[ Search Statistics ]============================== 11.29/11.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.33 c =============================================================================== 11.29/11.33 c | 0 | 1530 42456 84928 | 14152 0 nan | 0.000 % | 11.29/11.33 c =============================================================================== 11.29/11.33 c core #383 11.29/11.33 c Core size: 10 Core Weight: 1 Total Weight: -377 11.29/11.33 c Elapsed CPU time: 11.3083 s Remaining CPU time: 1788.69 s 11.29/11.37 c ============================[ Search Statistics ]============================== 11.29/11.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.37 c =============================================================================== 11.29/11.37 c | 0 | 1534 42457 84936 | 14152 0 nan | 0.000 % | 11.29/11.37 c =============================================================================== 11.29/11.37 c core #384 11.29/11.37 c Core size: 10 Core Weight: 1 Total Weight: -376 11.29/11.37 c Elapsed CPU time: 11.3503 s Remaining CPU time: 1788.65 s 11.39/11.41 c ============================[ Search Statistics ]============================== 11.39/11.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.41 c =============================================================================== 11.39/11.41 c | 0 | 1538 42458 84944 | 14152 0 nan | 0.000 % | 11.39/11.41 c =============================================================================== 11.39/11.41 c core #385 11.39/11.41 c Core size: 13 Core Weight: 1 Total Weight: -375 11.39/11.41 c Elapsed CPU time: 11.3903 s Remaining CPU time: 1788.61 s 11.39/11.45 c ============================[ Search Statistics ]============================== 11.39/11.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.45 c =============================================================================== 11.39/11.45 c | 0 | 1544 42459 84956 | 14153 0 nan | 0.000 % | 11.39/11.45 c =============================================================================== 11.39/11.45 c core #386 11.39/11.45 c Core size: 10 Core Weight: 1 Total Weight: -374 11.39/11.45 c Elapsed CPU time: 11.4303 s Remaining CPU time: 1788.57 s 11.39/11.49 c ============================[ Search Statistics ]============================== 11.39/11.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.49 c =============================================================================== 11.39/11.49 c | 0 | 1548 42460 84964 | 14153 0 nan | 0.000 % | 11.39/11.50 c =============================================================================== 11.39/11.50 c core #387 11.39/11.50 c Core size: 13 Core Weight: 1 Total Weight: -373 11.39/11.50 c Elapsed CPU time: 11.4743 s Remaining CPU time: 1788.53 s 11.49/11.54 c ============================[ Search Statistics ]============================== 11.49/11.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.54 c =============================================================================== 11.49/11.54 c | 0 | 1554 42461 84976 | 14153 0 nan | 0.000 % | 11.49/11.54 c =============================================================================== 11.49/11.54 c core #388 11.49/11.54 c Core size: 13 Core Weight: 1 Total Weight: -372 11.49/11.54 c Elapsed CPU time: 11.5182 s Remaining CPU time: 1788.48 s 11.49/11.58 c ============================[ Search Statistics ]============================== 11.49/11.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.58 c =============================================================================== 11.49/11.58 c | 0 | 1560 42462 84988 | 14154 0 nan | 0.000 % | 11.49/11.58 c =============================================================================== 11.49/11.58 c core #389 11.49/11.58 c Core size: 10 Core Weight: 1 Total Weight: -371 11.49/11.58 c Elapsed CPU time: 11.5592 s Remaining CPU time: 1788.44 s 11.59/11.62 c ============================[ Search Statistics ]============================== 11.59/11.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.62 c =============================================================================== 11.59/11.62 c | 0 | 1564 42463 84996 | 14154 0 nan | 0.000 % | 11.59/11.63 c =============================================================================== 11.59/11.63 c core #390 11.59/11.63 c Core size: 13 Core Weight: 1 Total Weight: -370 11.59/11.63 c Elapsed CPU time: 11.6042 s Remaining CPU time: 1788.4 s 11.59/11.66 c ============================[ Search Statistics ]============================== 11.59/11.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.66 c =============================================================================== 11.59/11.66 c | 0 | 1570 42464 85008 | 14154 0 nan | 0.000 % | 11.59/11.67 c =============================================================================== 11.59/11.67 c core #391 11.59/11.67 c Core size: 13 Core Weight: 1 Total Weight: -369 11.59/11.67 c Elapsed CPU time: 11.6452 s Remaining CPU time: 1788.35 s 11.69/11.71 c ============================[ Search Statistics ]============================== 11.69/11.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.71 c =============================================================================== 11.69/11.71 c | 0 | 1576 42465 85020 | 14155 0 nan | 0.000 % | 11.69/11.71 c =============================================================================== 11.69/11.71 c core #392 11.69/11.71 c Core size: 10 Core Weight: 1 Total Weight: -368 11.69/11.71 c Elapsed CPU time: 11.6872 s Remaining CPU time: 1788.31 s 11.69/11.75 c ============================[ Search Statistics ]============================== 11.69/11.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.75 c =============================================================================== 11.69/11.75 c | 0 | 1580 42466 85028 | 14155 0 nan | 0.000 % | 11.69/11.75 c =============================================================================== 11.69/11.75 c core #393 11.69/11.75 c Core size: 13 Core Weight: 1 Total Weight: -367 11.69/11.75 c Elapsed CPU time: 11.7292 s Remaining CPU time: 1788.27 s 11.69/11.79 c ============================[ Search Statistics ]============================== 11.69/11.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.79 c =============================================================================== 11.69/11.79 c | 0 | 1586 42467 85040 | 14155 0 nan | 0.000 % | 11.69/11.80 c =============================================================================== 11.69/11.80 c core #394 11.69/11.80 c Core size: 10 Core Weight: 1 Total Weight: -366 11.69/11.80 c Elapsed CPU time: 11.7732 s Remaining CPU time: 1788.23 s 11.79/11.84 c ============================[ Search Statistics ]============================== 11.79/11.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.84 c =============================================================================== 11.79/11.84 c | 0 | 1590 42468 85048 | 14156 0 nan | 0.000 % | 11.79/11.84 c =============================================================================== 11.79/11.84 c core #395 11.79/11.84 c Core size: 13 Core Weight: 1 Total Weight: -365 11.79/11.84 c Elapsed CPU time: 11.8162 s Remaining CPU time: 1788.18 s 11.79/11.88 c ============================[ Search Statistics ]============================== 11.79/11.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.88 c =============================================================================== 11.79/11.88 c | 0 | 1596 42469 85060 | 14156 0 nan | 0.000 % | 11.79/11.88 c =============================================================================== 11.79/11.88 c core #396 11.79/11.88 c Core size: 13 Core Weight: 1 Total Weight: -364 11.79/11.88 c Elapsed CPU time: 11.8592 s Remaining CPU time: 1788.14 s 11.89/11.92 c ============================[ Search Statistics ]============================== 11.89/11.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.92 c =============================================================================== 11.89/11.92 c | 0 | 1602 42470 85072 | 14156 0 nan | 0.000 % | 11.89/11.93 c =============================================================================== 11.89/11.93 c core #397 11.89/11.93 c Core size: 10 Core Weight: 1 Total Weight: -363 11.89/11.93 c Elapsed CPU time: 11.9032 s Remaining CPU time: 1788.1 s 11.89/11.97 c ============================[ Search Statistics ]============================== 11.89/11.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.97 c =============================================================================== 11.89/11.97 c | 0 | 1606 42471 85080 | 14157 0 nan | 0.000 % | 11.89/11.97 c =============================================================================== 11.89/11.97 c core #398 11.89/11.97 c Core size: 13 Core Weight: 1 Total Weight: -362 11.89/11.97 c Elapsed CPU time: 11.9472 s Remaining CPU time: 1788.05 s 11.99/12.01 c ============================[ Search Statistics ]============================== 11.99/12.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.01 c =============================================================================== 11.99/12.01 c | 0 | 1612 42472 85092 | 14157 0 nan | 0.000 % | 11.99/12.02 c =============================================================================== 11.99/12.02 c core #399 11.99/12.02 c Core size: 10 Core Weight: 1 Total Weight: -361 11.99/12.02 c Elapsed CPU time: 11.9922 s Remaining CPU time: 1788.01 s 11.99/12.06 c ============================[ Search Statistics ]============================== 11.99/12.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.06 c =============================================================================== 11.99/12.06 c | 0 | 1616 42473 85100 | 14157 0 nan | 0.000 % | 11.99/12.06 c =============================================================================== 11.99/12.06 c core #400 11.99/12.06 c Core size: 13 Core Weight: 1 Total Weight: -360 11.99/12.06 c Elapsed CPU time: 12.0362 s Remaining CPU time: 1787.96 s 12.09/12.10 c ============================[ Search Statistics ]============================== 12.09/12.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.10 c =============================================================================== 12.09/12.10 c | 0 | 1622 42474 85112 | 14158 0 nan | 0.000 % | 12.09/12.11 c =============================================================================== 12.09/12.11 c core #401 12.09/12.11 c Core size: 18 Core Weight: 1 Total Weight: -359 12.09/12.11 c Elapsed CPU time: 12.0812 s Remaining CPU time: 1787.92 s 12.09/12.15 c ============================[ Search Statistics ]============================== 12.09/12.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.15 c =============================================================================== 12.09/12.15 c | 0 | 1628 42475 85124 | 14158 0 nan | 0.000 % | 12.09/12.15 c =============================================================================== 12.09/12.15 c core #402 12.09/12.15 c Core size: 18 Core Weight: 1 Total Weight: -358 12.09/12.15 c Elapsed CPU time: 12.1252 s Remaining CPU time: 1787.87 s 12.09/12.19 c ============================[ Search Statistics ]============================== 12.09/12.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.19 c =============================================================================== 12.09/12.19 c | 0 | 1634 42476 85136 | 14158 0 nan | 0.000 % | 12.09/12.19 c =============================================================================== 12.09/12.20 c core #403 12.09/12.20 c Core size: 10 Core Weight: 1 Total Weight: -357 12.09/12.20 c Elapsed CPU time: 12.1701 s Remaining CPU time: 1787.83 s 12.19/12.24 c ============================[ Search Statistics ]============================== 12.19/12.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.19/12.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.19/12.24 c =============================================================================== 12.19/12.24 c | 0 | 1638 42477 85144 | 14159 0 nan | 0.000 % | 12.19/12.24 c =============================================================================== 12.19/12.24 c core #404 12.19/12.24 c Core size: 13 Core Weight: 1 Total Weight: -356 12.19/12.24 c Elapsed CPU time: 12.2161 s Remaining CPU time: 1787.78 s 12.19/12.28 c ============================[ Search Statistics ]============================== 12.19/12.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.19/12.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.19/12.28 c =============================================================================== 12.19/12.28 c | 0 | 1644 42478 85156 | 14159 0 nan | 0.000 % | 12.19/12.29 c =============================================================================== 12.19/12.29 c core #405 12.19/12.29 c Core size: 13 Core Weight: 1 Total Weight: -355 12.19/12.29 c Elapsed CPU time: 12.2611 s Remaining CPU time: 1787.74 s 12.29/12.33 c ============================[ Search Statistics ]============================== 12.29/12.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.33 c =============================================================================== 12.29/12.33 c | 0 | 1650 42479 85168 | 14159 0 nan | 0.000 % | 12.29/12.33 c =============================================================================== 12.29/12.33 c core #406 12.29/12.33 c Core size: 13 Core Weight: 1 Total Weight: -354 12.29/12.33 c Elapsed CPU time: 12.3041 s Remaining CPU time: 1787.7 s 12.29/12.37 c ============================[ Search Statistics ]============================== 12.29/12.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.37 c =============================================================================== 12.29/12.37 c | 0 | 1656 42480 85180 | 14160 0 nan | 0.000 % | 12.29/12.37 c =============================================================================== 12.29/12.37 c core #407 12.29/12.37 c Core size: 30 Core Weight: 1 Total Weight: -353 12.29/12.37 c Elapsed CPU time: 12.3471 s Remaining CPU time: 1787.65 s 12.39/12.41 c ============================[ Search Statistics ]============================== 12.39/12.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.41 c =============================================================================== 12.39/12.41 c | 0 | 1664 42481 85196 | 14160 0 nan | 0.000 % | 12.39/12.42 c =============================================================================== 12.39/12.42 c core #408 12.39/12.42 c Core size: 10 Core Weight: 1 Total Weight: -352 12.39/12.42 c Elapsed CPU time: 12.3921 s Remaining CPU time: 1787.61 s 12.39/12.46 c ============================[ Search Statistics ]============================== 12.39/12.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.46 c =============================================================================== 12.39/12.46 c | 0 | 1668 42482 85204 | 14160 0 nan | 0.000 % | 12.39/12.46 c =============================================================================== 12.39/12.46 c core #409 12.39/12.46 c Core size: 30 Core Weight: 1 Total Weight: -351 12.39/12.46 c Elapsed CPU time: 12.4371 s Remaining CPU time: 1787.56 s 12.49/12.50 c ============================[ Search Statistics ]============================== 12.49/12.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.50 c =============================================================================== 12.49/12.50 c | 0 | 1676 42483 85220 | 14161 0 nan | 0.000 % | 12.49/12.51 c =============================================================================== 12.49/12.51 c core #410 12.49/12.51 c Core size: 18 Core Weight: 1 Total Weight: -350 12.49/12.51 c Elapsed CPU time: 12.4811 s Remaining CPU time: 1787.52 s 12.49/12.55 c ============================[ Search Statistics ]============================== 12.49/12.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.55 c =============================================================================== 12.49/12.55 c | 0 | 1682 42484 85232 | 14161 0 nan | 0.000 % | 12.49/12.55 c =============================================================================== 12.49/12.55 c core #411 12.49/12.55 c Core size: 13 Core Weight: 1 Total Weight: -349 12.49/12.55 c Elapsed CPU time: 12.5271 s Remaining CPU time: 1787.47 s 12.49/12.59 c ============================[ Search Statistics ]============================== 12.49/12.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.59 c =============================================================================== 12.49/12.59 c | 0 | 1688 42485 85244 | 14161 0 nan | 0.000 % | 12.59/12.60 c =============================================================================== 12.59/12.60 c core #412 12.59/12.60 c Core size: 26 Core Weight: 1 Total Weight: -348 12.59/12.60 c Elapsed CPU time: 12.5711 s Remaining CPU time: 1787.43 s 12.59/12.64 c ============================[ Search Statistics ]============================== 12.59/12.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.64 c =============================================================================== 12.59/12.64 c | 0 | 1696 42486 85260 | 14162 0 nan | 0.000 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c core #413 12.59/12.64 c Core size: 13 Core Weight: 1 Total Weight: -347 12.59/12.64 c Elapsed CPU time: 12.6171 s Remaining CPU time: 1787.38 s 12.59/12.69 c ============================[ Search Statistics ]============================== 12.59/12.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.69 c =============================================================================== 12.59/12.69 c | 0 | 1702 42487 85272 | 14162 0 nan | 0.000 % | 12.59/12.69 c =============================================================================== 12.59/12.69 c core #414 12.59/12.69 c Core size: 13 Core Weight: 1 Total Weight: -346 12.59/12.69 c Elapsed CPU time: 12.6631 s Remaining CPU time: 1787.34 s 12.69/12.73 c ============================[ Search Statistics ]============================== 12.69/12.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.73 c =============================================================================== 12.69/12.73 c | 0 | 1708 42488 85284 | 14162 0 nan | 0.000 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c core #415 12.69/12.74 c Core size: 13 Core Weight: 1 Total Weight: -345 12.69/12.74 c Elapsed CPU time: 12.7091 s Remaining CPU time: 1787.29 s 12.69/12.78 c ============================[ Search Statistics ]============================== 12.69/12.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.78 c =============================================================================== 12.69/12.78 c | 0 | 1714 42489 85296 | 14163 0 nan | 0.000 % | 12.69/12.78 c =============================================================================== 12.69/12.78 c core #416 12.69/12.78 c Core size: 10 Core Weight: 1 Total Weight: -344 12.69/12.78 c Elapsed CPU time: 12.7551 s Remaining CPU time: 1787.24 s 12.79/12.82 c ============================[ Search Statistics ]============================== 12.79/12.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.82 c =============================================================================== 12.79/12.82 c | 0 | 1718 42490 85304 | 14163 0 nan | 0.000 % | 12.79/12.83 c =============================================================================== 12.79/12.83 c core #417 12.79/12.83 c Core size: 10 Core Weight: 1 Total Weight: -343 12.79/12.83 c Elapsed CPU time: 12.7981 s Remaining CPU time: 1787.2 s 12.79/12.87 c ============================[ Search Statistics ]============================== 12.79/12.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.87 c =============================================================================== 12.79/12.87 c | 0 | 1722 42491 85312 | 14163 0 nan | 0.000 % | 12.79/12.87 c =============================================================================== 12.79/12.87 c core #418 12.79/12.87 c Core size: 30 Core Weight: 1 Total Weight: -342 12.79/12.87 c Elapsed CPU time: 12.845 s Remaining CPU time: 1787.15 s 12.89/12.91 c ============================[ Search Statistics ]============================== 12.89/12.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.91 c =============================================================================== 12.89/12.91 c | 0 | 1730 42492 85328 | 14164 0 nan | 0.000 % | 12.89/12.92 c =============================================================================== 12.89/12.92 c core #419 12.89/12.92 c Core size: 13 Core Weight: 1 Total Weight: -341 12.89/12.92 c Elapsed CPU time: 12.891 s Remaining CPU time: 1787.11 s 12.89/12.96 c ============================[ Search Statistics ]============================== 12.89/12.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.96 c =============================================================================== 12.89/12.96 c | 0 | 1736 42493 85340 | 14164 0 nan | 0.000 % | 12.89/12.96 c =============================================================================== 12.89/12.96 c core #420 12.89/12.96 c Core size: 10 Core Weight: 1 Total Weight: -340 12.89/12.96 c Elapsed CPU time: 12.935 s Remaining CPU time: 1787.06 s 12.99/13.01 c ============================[ Search Statistics ]============================== 12.99/13.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.01 c =============================================================================== 12.99/13.01 c | 0 | 1740 42494 85348 | 14164 0 nan | 0.000 % | 12.99/13.01 c =============================================================================== 12.99/13.01 c core #421 12.99/13.01 c Core size: 10 Core Weight: 1 Total Weight: -339 12.99/13.01 c Elapsed CPU time: 12.983 s Remaining CPU time: 1787.02 s 12.99/13.05 c ============================[ Search Statistics ]============================== 12.99/13.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.05 c =============================================================================== 12.99/13.05 c | 0 | 1744 42495 85356 | 14165 0 nan | 0.000 % | 12.99/13.06 c =============================================================================== 12.99/13.06 c core #422 12.99/13.06 c Core size: 18 Core Weight: 1 Total Weight: -338 12.99/13.06 c Elapsed CPU time: 13.03 s Remaining CPU time: 1786.97 s 12.99/13.10 c ============================[ Search Statistics ]============================== 12.99/13.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.10 c =============================================================================== 12.99/13.10 c | 0 | 1750 42496 85368 | 14165 0 nan | 0.000 % | 13.09/13.11 c =============================================================================== 13.09/13.11 c core #423 13.09/13.11 c Core size: 13 Core Weight: 1 Total Weight: -337 13.09/13.11 c Elapsed CPU time: 13.079 s Remaining CPU time: 1786.92 s 13.09/13.15 c ============================[ Search Statistics ]============================== 13.09/13.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.15 c =============================================================================== 13.09/13.15 c | 0 | 1756 42497 85380 | 14165 0 nan | 0.000 % | 13.09/13.15 c =============================================================================== 13.09/13.15 c core #424 13.09/13.15 c Core size: 18 Core Weight: 1 Total Weight: -336 13.09/13.15 c Elapsed CPU time: 13.124 s Remaining CPU time: 1786.88 s 13.09/13.20 c ============================[ Search Statistics ]============================== 13.09/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.20 c =============================================================================== 13.09/13.20 c | 0 | 1762 42498 85392 | 14166 0 nan | 0.000 % | 13.18/13.20 c =============================================================================== 13.18/13.20 c core #425 13.18/13.20 c Core size: 26 Core Weight: 1 Total Weight: -335 13.18/13.20 c Elapsed CPU time: 13.171 s Remaining CPU time: 1786.83 s 13.18/13.24 c ============================[ Search Statistics ]============================== 13.18/13.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.18/13.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.18/13.24 c =============================================================================== 13.18/13.24 c | 0 | 1770 42499 85408 | 14166 0 nan | 0.000 % | 13.18/13.25 c =============================================================================== 13.18/13.25 c core #426 13.18/13.25 c Core size: 13 Core Weight: 1 Total Weight: -334 13.18/13.25 c Elapsed CPU time: 13.218 s Remaining CPU time: 1786.78 s 13.18/13.29 c ============================[ Search Statistics ]============================== 13.18/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.18/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.18/13.29 c =============================================================================== 13.18/13.29 c | 0 | 1776 42500 85420 | 14166 0 nan | 0.000 % | 13.18/13.30 c =============================================================================== 13.18/13.30 c core #427 13.18/13.30 c Core size: 13 Core Weight: 1 Total Weight: -333 13.18/13.30 c Elapsed CPU time: 13.263 s Remaining CPU time: 1786.74 s 13.29/13.34 c ============================[ Search Statistics ]============================== 13.29/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.34 c =============================================================================== 13.29/13.34 c | 0 | 1782 42501 85432 | 14167 0 nan | 0.000 % | 13.29/13.34 c =============================================================================== 13.29/13.34 c core #428 13.29/13.34 c Core size: 13 Core Weight: 1 Total Weight: -332 13.29/13.34 c Elapsed CPU time: 13.311 s Remaining CPU time: 1786.69 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 | 1788 42502 85444 | 14167 0 nan | 0.000 % | 13.29/13.39 c =============================================================================== 13.29/13.39 c core #429 13.29/13.39 c Core size: 13 Core Weight: 1 Total Weight: -331 13.29/13.39 c Elapsed CPU time: 13.357 s Remaining CPU time: 1786.64 s 13.39/13.43 c ============================[ Search Statistics ]============================== 13.39/13.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.43 c =============================================================================== 13.39/13.43 c | 0 | 1794 42503 85456 | 14167 0 nan | 0.000 % | 13.39/13.44 c =============================================================================== 13.39/13.44 c core #430 13.39/13.44 c Core size: 10 Core Weight: 1 Total Weight: -330 13.39/13.44 c Elapsed CPU time: 13.404 s Remaining CPU time: 1786.6 s 13.39/13.48 c ============================[ Search Statistics ]============================== 13.39/13.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.48 c =============================================================================== 13.39/13.48 c | 0 | 1798 42504 85464 | 14168 0 nan | 0.000 % | 13.39/13.49 c =============================================================================== 13.39/13.49 c core #431 13.39/13.49 c Core size: 13 Core Weight: 1 Total Weight: -329 13.39/13.49 c Elapsed CPU time: 13.451 s Remaining CPU time: 1786.55 s 13.49/13.53 c ============================[ Search Statistics ]============================== 13.49/13.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.53 c =============================================================================== 13.49/13.53 c | 0 | 1804 42505 85476 | 14168 0 nan | 0.000 % | 13.49/13.53 c =============================================================================== 13.49/13.53 c core #432 13.49/13.53 c Core size: 10 Core Weight: 1 Total Weight: -328 13.49/13.53 c Elapsed CPU time: 13.4969 s Remaining CPU time: 1786.5 s 13.49/13.58 c ============================[ Search Statistics ]============================== 13.49/13.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.58 c =============================================================================== 13.49/13.58 c | 0 | 1808 42506 85484 | 14168 0 nan | 0.000 % | 13.49/13.58 c =============================================================================== 13.49/13.58 c core #433 13.49/13.58 c Core size: 10 Core Weight: 1 Total Weight: -327 13.49/13.58 c Elapsed CPU time: 13.5449 s Remaining CPU time: 1786.46 s 13.58/13.62 c ============================[ Search Statistics ]============================== 13.58/13.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.58/13.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.58/13.62 c =============================================================================== 13.58/13.62 c | 0 | 1812 42507 85492 | 14169 0 nan | 0.000 % | 13.58/13.63 c =============================================================================== 13.58/13.63 c core #434 13.58/13.63 c Core size: 10 Core Weight: 1 Total Weight: -326 13.58/13.63 c Elapsed CPU time: 13.5909 s Remaining CPU time: 1786.41 s 13.58/13.67 c ============================[ Search Statistics ]============================== 13.58/13.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.58/13.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.58/13.67 c =============================================================================== 13.58/13.67 c | 0 | 1816 42508 85500 | 14169 0 nan | 0.000 % | 13.58/13.68 c =============================================================================== 13.58/13.68 c core #435 13.58/13.68 c Core size: 10 Core Weight: 1 Total Weight: -325 13.58/13.68 c Elapsed CPU time: 13.6379 s Remaining CPU time: 1786.36 s 13.68/13.72 c ============================[ Search Statistics ]============================== 13.68/13.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.68/13.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.68/13.72 c =============================================================================== 13.68/13.72 c | 0 | 1820 42509 85508 | 14169 0 nan | 0.000 % | 13.68/13.73 c =============================================================================== 13.68/13.73 c core #436 13.68/13.73 c Core size: 13 Core Weight: 1 Total Weight: -324 13.68/13.73 c Elapsed CPU time: 13.6879 s Remaining CPU time: 1786.31 s 13.68/13.77 c ============================[ Search Statistics ]============================== 13.68/13.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.68/13.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.68/13.77 c =============================================================================== 13.68/13.77 c | 0 | 1826 42510 85520 | 14170 0 nan | 0.000 % | 13.68/13.77 c =============================================================================== 13.68/13.77 c core #437 13.68/13.77 c Core size: 18 Core Weight: 1 Total Weight: -323 13.68/13.77 c Elapsed CPU time: 13.7369 s Remaining CPU time: 1786.26 s 13.78/13.82 c ============================[ Search Statistics ]============================== 13.78/13.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.78/13.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.78/13.82 c =============================================================================== 13.78/13.82 c | 0 | 1832 42511 85532 | 14170 0 nan | 0.000 % | 13.78/13.82 c =============================================================================== 13.78/13.82 c core #438 13.78/13.82 c Core size: 13 Core Weight: 1 Total Weight: -322 13.78/13.82 c Elapsed CPU time: 13.7859 s Remaining CPU time: 1786.21 s 13.78/13.87 c ============================[ Search Statistics ]============================== 13.78/13.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.78/13.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.78/13.87 c =============================================================================== 13.78/13.87 c | 0 | 1838 42512 85544 | 14170 0 nan | 0.000 % | 13.78/13.87 c =============================================================================== 13.78/13.87 c core #439 13.78/13.87 c Core size: 13 Core Weight: 1 Total Weight: -321 13.78/13.87 c Elapsed CPU time: 13.8329 s Remaining CPU time: 1786.17 s 13.88/13.92 c ============================[ Search Statistics ]============================== 13.88/13.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.92 c =============================================================================== 13.88/13.92 c | 0 | 1844 42513 85556 | 14171 0 nan | 0.000 % | 13.88/13.92 c =============================================================================== 13.88/13.92 c core #440 13.88/13.92 c Core size: 10 Core Weight: 1 Total Weight: -320 13.88/13.92 c Elapsed CPU time: 13.8819 s Remaining CPU time: 1786.12 s 13.88/13.97 c ============================[ Search Statistics ]============================== 13.88/13.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.97 c =============================================================================== 13.88/13.97 c | 0 | 1848 42514 85564 | 14171 0 nan | 0.000 % | 13.88/13.97 c =============================================================================== 13.88/13.97 c core #441 13.88/13.97 c Core size: 10 Core Weight: 1 Total Weight: -319 13.88/13.97 c Elapsed CPU time: 13.9309 s Remaining CPU time: 1786.07 s 13.98/14.02 c ============================[ Search Statistics ]============================== 13.98/14.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.98/14.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.98/14.02 c =============================================================================== 13.98/14.02 c | 0 | 1852 42515 85572 | 14171 0 nan | 0.000 % | 13.98/14.02 c =============================================================================== 13.98/14.02 c core #442 13.98/14.02 c Core size: 30 Core Weight: 1 Total Weight: -318 13.98/14.02 c Elapsed CPU time: 13.9799 s Remaining CPU time: 1786.02 s 13.98/14.07 c ============================[ Search Statistics ]============================== 13.98/14.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.98/14.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.98/14.07 c =============================================================================== 13.98/14.07 c | 0 | 1860 42516 85588 | 14172 0 nan | 0.000 % | 13.98/14.07 c =============================================================================== 13.98/14.07 c core #443 13.98/14.07 c Core size: 13 Core Weight: 1 Total Weight: -317 13.98/14.07 c Elapsed CPU time: 14.0299 s Remaining CPU time: 1785.97 s 14.08/14.12 c ============================[ Search Statistics ]============================== 14.08/14.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.12 c =============================================================================== 14.08/14.12 c | 0 | 1866 42517 85600 | 14172 0 nan | 0.000 % | 14.08/14.12 c =============================================================================== 14.08/14.12 c core #444 14.08/14.12 c Core size: 13 Core Weight: 1 Total Weight: -316 14.08/14.12 c Elapsed CPU time: 14.0799 s Remaining CPU time: 1785.92 s 14.08/14.17 c ============================[ Search Statistics ]============================== 14.08/14.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.17 c =============================================================================== 14.08/14.17 c | 0 | 1872 42518 85612 | 14172 0 nan | 0.000 % | 14.08/14.17 c =============================================================================== 14.08/14.17 c core #445 14.08/14.17 c Core size: 10 Core Weight: 1 Total Weight: -315 14.08/14.17 c Elapsed CPU time: 14.1299 s Remaining CPU time: 1785.87 s 14.18/14.21 c ============================[ Search Statistics ]============================== 14.18/14.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.18/14.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.18/14.21 c =============================================================================== 14.18/14.21 c | 0 | 1876 42519 85620 | 14173 0 nan | 0.000 % | 14.18/14.22 c =============================================================================== 14.18/14.22 c core #446 14.18/14.22 c Core size: 10 Core Weight: 1 Total Weight: -314 14.18/14.22 c Elapsed CPU time: 14.1788 s Remaining CPU time: 1785.82 s 14.18/14.26 c ============================[ Search Statistics ]============================== 14.18/14.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.18/14.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.18/14.26 c =============================================================================== 14.18/14.26 c | 0 | 1880 42520 85628 | 14173 0 nan | 0.000 % | 14.18/14.27 c =============================================================================== 14.18/14.27 c core #447 14.18/14.27 c Core size: 13 Core Weight: 1 Total Weight: -313 14.18/14.27 c Elapsed CPU time: 14.2248 s Remaining CPU time: 1785.78 s 14.28/14.31 c ============================[ Search Statistics ]============================== 14.28/14.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.28/14.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.28/14.31 c =============================================================================== 14.28/14.31 c | 0 | 1886 42521 85640 | 14173 0 nan | 0.000 % | 14.28/14.31 c =============================================================================== 14.28/14.32 c core #448 14.28/14.32 c Core size: 30 Core Weight: 1 Total Weight: -312 14.28/14.32 c Elapsed CPU time: 14.2718 s Remaining CPU time: 1785.73 s 14.28/14.36 c ============================[ Search Statistics ]============================== 14.28/14.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.28/14.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.28/14.36 c =============================================================================== 14.28/14.36 c | 0 | 1894 42522 85656 | 14174 0 nan | 0.000 % | 14.28/14.37 c =============================================================================== 14.28/14.37 c core #449 14.28/14.37 c Core size: 13 Core Weight: 1 Total Weight: -311 14.28/14.37 c Elapsed CPU time: 14.3218 s Remaining CPU time: 1785.68 s 14.38/14.41 c ============================[ Search Statistics ]============================== 14.38/14.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.41 c =============================================================================== 14.38/14.41 c | 0 | 1900 42523 85668 | 14174 0 nan | 0.000 % | 14.38/14.42 c =============================================================================== 14.38/14.42 c core #450 14.38/14.42 c Core size: 13 Core Weight: 1 Total Weight: -310 14.38/14.42 c Elapsed CPU time: 14.3718 s Remaining CPU time: 1785.63 s 14.38/14.46 c ============================[ Search Statistics ]============================== 14.38/14.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.46 c =============================================================================== 14.38/14.46 c | 0 | 1906 42524 85680 | 14174 0 nan | 0.000 % | 14.38/14.47 c =============================================================================== 14.38/14.47 c core #451 14.38/14.47 c Core size: 10 Core Weight: 1 Total Weight: -309 14.38/14.47 c Elapsed CPU time: 14.4208 s Remaining CPU time: 1785.58 s 14.48/14.51 c ============================[ Search Statistics ]============================== 14.48/14.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.51 c =============================================================================== 14.48/14.51 c | 0 | 1910 42525 85688 | 14175 0 nan | 0.000 % | 14.48/14.51 c =============================================================================== 14.48/14.51 c core #452 14.48/14.51 c Core size: 13 Core Weight: 1 Total Weight: -308 14.48/14.51 c Elapsed CPU time: 14.4688 s Remaining CPU time: 1785.53 s 14.48/14.56 c ============================[ Search Statistics ]============================== 14.48/14.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.56 c =============================================================================== 14.48/14.56 c | 0 | 1916 42526 85700 | 14175 0 nan | 0.000 % | 14.48/14.56 c =============================================================================== 14.48/14.56 c core #453 14.48/14.56 c Core size: 10 Core Weight: 1 Total Weight: -307 14.48/14.56 c Elapsed CPU time: 14.5208 s Remaining CPU time: 1785.48 s 14.58/14.61 c ============================[ Search Statistics ]============================== 14.58/14.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.58/14.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.58/14.61 c =============================================================================== 14.58/14.61 c | 0 | 1920 42527 85708 | 14175 0 nan | 0.000 % | 14.58/14.62 c =============================================================================== 14.58/14.62 c core #454 14.58/14.62 c Core size: 30 Core Weight: 1 Total Weight: -306 14.58/14.62 c Elapsed CPU time: 14.5698 s Remaining CPU time: 1785.43 s 14.58/14.66 c ============================[ Search Statistics ]============================== 14.58/14.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.58/14.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.58/14.66 c =============================================================================== 14.58/14.66 c | 0 | 1928 42528 85724 | 14176 0 nan | 0.000 % | 14.58/14.67 c =============================================================================== 14.58/14.67 c core #455 14.58/14.67 c Core size: 13 Core Weight: 1 Total Weight: -305 14.58/14.67 c Elapsed CPU time: 14.6208 s Remaining CPU time: 1785.38 s 14.68/14.71 c ============================[ Search Statistics ]============================== 14.68/14.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.68/14.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.68/14.71 c =============================================================================== 14.68/14.71 c | 0 | 1934 42529 85736 | 14176 0 nan | 0.000 % | 14.68/14.72 c =============================================================================== 14.68/14.72 c core #456 14.68/14.72 c Core size: 13 Core Weight: 1 Total Weight: -304 14.68/14.72 c Elapsed CPU time: 14.6718 s Remaining CPU time: 1785.33 s 14.68/14.76 c ============================[ Search Statistics ]============================== 14.68/14.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.68/14.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.68/14.76 c =============================================================================== 14.68/14.76 c | 0 | 1940 42530 85748 | 14176 0 nan | 0.000 % | 14.68/14.77 c =============================================================================== 14.68/14.77 c core #457 14.68/14.77 c Core size: 10 Core Weight: 1 Total Weight: -303 14.68/14.77 c Elapsed CPU time: 14.7238 s Remaining CPU time: 1785.28 s 14.77/14.81 c ============================[ Search Statistics ]============================== 14.77/14.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.77/14.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.77/14.81 c =============================================================================== 14.77/14.81 c | 0 | 1944 42531 85756 | 14177 0 nan | 0.000 % | 14.77/14.82 c =============================================================================== 14.77/14.82 c core #458 14.77/14.82 c Core size: 10 Core Weight: 1 Total Weight: -302 14.77/14.82 c Elapsed CPU time: 14.7728 s Remaining CPU time: 1785.23 s 14.77/14.86 c ============================[ Search Statistics ]============================== 14.77/14.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.77/14.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.77/14.87 c =============================================================================== 14.77/14.87 c | 0 | 1948 42532 85764 | 14177 0 nan | 0.000 % | 14.77/14.87 c =============================================================================== 14.77/14.87 c core #459 14.77/14.87 c Core size: 10 Core Weight: 1 Total Weight: -301 14.77/14.87 c Elapsed CPU time: 14.8227 s Remaining CPU time: 1785.18 s 14.87/14.92 c ============================[ Search Statistics ]============================== 14.87/14.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.87/14.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.87/14.92 c =============================================================================== 14.87/14.92 c | 0 | 1952 42533 85772 | 14177 0 nan | 0.000 % | 14.87/14.92 c =============================================================================== 14.87/14.92 c core #460 14.87/14.92 c Core size: 30 Core Weight: 1 Total Weight: -300 14.87/14.92 c Elapsed CPU time: 14.8737 s Remaining CPU time: 1785.13 s 14.87/14.97 c ============================[ Search Statistics ]============================== 14.87/14.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.87/14.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.87/14.97 c =============================================================================== 14.87/14.97 c | 0 | 1960 42534 85788 | 14178 0 nan | 0.000 % | 14.87/14.97 c =============================================================================== 14.87/14.97 c core #461 14.87/14.97 c Core size: 13 Core Weight: 1 Total Weight: -299 14.87/14.97 c Elapsed CPU time: 14.9227 s Remaining CPU time: 1785.08 s 14.97/15.02 c ============================[ Search Statistics ]============================== 14.97/15.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.97/15.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.97/15.02 c =============================================================================== 14.97/15.02 c | 0 | 1966 42535 85800 | 14178 0 nan | 0.000 % | 14.97/15.02 c =============================================================================== 14.97/15.02 c core #462 14.97/15.02 c Core size: 13 Core Weight: 1 Total Weight: -298 14.97/15.02 c Elapsed CPU time: 14.9747 s Remaining CPU time: 1785.03 s 14.97/15.07 c ============================[ Search Statistics ]============================== 14.97/15.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.97/15.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.97/15.07 c =============================================================================== 14.97/15.07 c | 0 | 1972 42536 85812 | 14178 0 nan | 0.000 % | 14.97/15.08 c =============================================================================== 14.97/15.08 c core #463 14.97/15.08 c Core size: 13 Core Weight: 1 Total Weight: -297 14.97/15.08 c Elapsed CPU time: 15.0257 s Remaining CPU time: 1784.97 s 15.07/15.12 c ============================[ Search Statistics ]============================== 15.07/15.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.07/15.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.07/15.12 c =============================================================================== 15.07/15.12 c | 0 | 1978 42537 85824 | 14179 0 nan | 0.000 % | 15.07/15.13 c =============================================================================== 15.07/15.13 c core #464 15.07/15.13 c Core size: 10 Core Weight: 1 Total Weight: -296 15.07/15.13 c Elapsed CPU time: 15.0767 s Remaining CPU time: 1784.92 s 15.07/15.17 c ============================[ Search Statistics ]============================== 15.07/15.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.07/15.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.07/15.17 c =============================================================================== 15.07/15.17 c | 0 | 1982 42538 85832 | 14179 0 nan | 0.000 % | 15.07/15.18 c =============================================================================== 15.07/15.18 c core #465 15.07/15.18 c Core size: 33 Core Weight: 1 Total Weight: -295 15.07/15.18 c Elapsed CPU time: 15.1287 s Remaining CPU time: 1784.87 s 15.17/15.22 c ============================[ Search Statistics ]============================== 15.17/15.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.17/15.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.17/15.22 c =============================================================================== 15.17/15.22 c | 0 | 1992 42539 85852 | 14179 0 nan | 0.000 % | 15.17/15.23 c =============================================================================== 15.17/15.23 c core #466 15.17/15.23 c Core size: 10 Core Weight: 1 Total Weight: -294 15.17/15.23 c Elapsed CPU time: 15.1787 s Remaining CPU time: 1784.82 s 15.17/15.27 c ============================[ Search Statistics ]============================== 15.17/15.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.17/15.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.17/15.28 c =============================================================================== 15.17/15.28 c | 0 | 1996 42540 85860 | 14180 0 nan | 0.000 % | 15.17/15.28 c =============================================================================== 15.17/15.28 c core #467 15.17/15.28 c Core size: 21 Core Weight: 1 Total Weight: -293 15.17/15.28 c Elapsed CPU time: 15.2307 s Remaining CPU time: 1784.77 s 15.27/15.33 c ============================[ Search Statistics ]============================== 15.27/15.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.27/15.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.27/15.33 c =============================================================================== 15.27/15.33 c | 0 | 2004 42541 85876 | 14180 0 nan | 0.000 % | 15.27/15.33 c =============================================================================== 15.27/15.33 c core #468 15.27/15.33 c Core size: 13 Core Weight: 1 Total Weight: -292 15.27/15.33 c Elapsed CPU time: 15.2817 s Remaining CPU time: 1784.72 s 15.27/15.38 c ============================[ Search Statistics ]============================== 15.27/15.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.27/15.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.27/15.38 c =============================================================================== 15.27/15.38 c | 0 | 2010 42542 85888 | 14180 0 nan | 0.000 % | 15.27/15.38 c =============================================================================== 15.27/15.38 c core #469 15.27/15.38 c Core size: 13 Core Weight: 1 Total Weight: -291 15.27/15.38 c Elapsed CPU time: 15.3307 s Remaining CPU time: 1784.67 s 15.37/15.43 c ============================[ Search Statistics ]============================== 15.37/15.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.37/15.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.37/15.43 c =============================================================================== 15.37/15.43 c | 0 | 2016 42543 85900 | 14181 0 nan | 0.000 % | 15.37/15.43 c =============================================================================== 15.37/15.43 c core #470 15.37/15.43 c Core size: 10 Core Weight: 1 Total Weight: -290 15.37/15.43 c Elapsed CPU time: 15.3807 s Remaining CPU time: 1784.62 s 15.37/15.48 c ============================[ Search Statistics ]============================== 15.37/15.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.37/15.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.37/15.48 c =============================================================================== 15.37/15.48 c | 0 | 2020 42544 85908 | 14181 0 nan | 0.000 % | 15.37/15.49 c =============================================================================== 15.37/15.49 c core #471 15.37/15.49 c Core size: 10 Core Weight: 1 Total Weight: -289 15.37/15.49 c Elapsed CPU time: 15.4317 s Remaining CPU time: 1784.57 s 15.47/15.53 c ============================[ Search Statistics ]============================== 15.47/15.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.47/15.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.47/15.53 c =============================================================================== 15.47/15.53 c | 0 | 2024 42545 85916 | 14181 0 nan | 0.000 % | 15.47/15.54 c =============================================================================== 15.47/15.54 c core #472 15.47/15.54 c Core size: 13 Core Weight: 1 Total Weight: -288 15.47/15.54 c Elapsed CPU time: 15.4856 s Remaining CPU time: 1784.51 s 15.47/15.58 c ============================[ Search Statistics ]============================== 15.47/15.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.47/15.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.47/15.58 c =============================================================================== 15.47/15.58 c | 0 | 2030 42546 85928 | 14182 0 nan | 0.000 % | 15.47/15.59 c =============================================================================== 15.47/15.59 c core #473 15.47/15.59 c Core size: 30 Core Weight: 1 Total Weight: -287 15.47/15.59 c Elapsed CPU time: 15.5356 s Remaining CPU time: 1784.46 s 15.57/15.63 c ============================[ Search Statistics ]============================== 15.57/15.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.57/15.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.57/15.63 c =============================================================================== 15.57/15.63 c | 0 | 2038 42547 85944 | 14182 0 nan | 0.000 % | 15.57/15.64 c =============================================================================== 15.57/15.64 c core #474 15.57/15.64 c Core size: 10 Core Weight: 1 Total Weight: -286 15.57/15.64 c Elapsed CPU time: 15.5846 s Remaining CPU time: 1784.42 s 15.57/15.68 c ============================[ Search Statistics ]============================== 15.57/15.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.57/15.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.57/15.68 c =============================================================================== 15.57/15.68 c | 0 | 2042 42548 85952 | 14182 0 nan | 0.000 % | 15.57/15.69 c =============================================================================== 15.57/15.69 c core #475 15.57/15.69 c Core size: 13 Core Weight: 1 Total Weight: -285 15.57/15.69 c Elapsed CPU time: 15.6336 s Remaining CPU time: 1784.37 s 15.66/15.73 c ============================[ Search Statistics ]============================== 15.66/15.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.66/15.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.66/15.73 c =============================================================================== 15.66/15.73 c | 0 | 2048 42549 85964 | 14183 0 nan | 0.000 % | 15.66/15.74 c =============================================================================== 15.66/15.74 c core #476 15.66/15.74 c Core size: 10 Core Weight: 1 Total Weight: -284 15.66/15.74 c Elapsed CPU time: 15.6826 s Remaining CPU time: 1784.32 s 15.66/15.78 c ============================[ Search Statistics ]============================== 15.66/15.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.66/15.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.66/15.78 c =============================================================================== 15.66/15.78 c | 0 | 2052 42550 85972 | 14183 0 nan | 0.000 % | 15.66/15.79 c =============================================================================== 15.66/15.79 c core #477 15.66/15.79 c Core size: 13 Core Weight: 1 Total Weight: -283 15.66/15.79 c Elapsed CPU time: 15.7326 s Remaining CPU time: 1784.27 s 15.76/15.83 c ============================[ Search Statistics ]============================== 15.76/15.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.76/15.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.76/15.83 c =============================================================================== 15.76/15.83 c | 0 | 2058 42551 85984 | 14183 0 nan | 0.000 % | 15.76/15.84 c =============================================================================== 15.76/15.84 c core #478 15.76/15.84 c Core size: 10 Core Weight: 1 Total Weight: -282 15.76/15.84 c Elapsed CPU time: 15.7836 s Remaining CPU time: 1784.22 s 15.76/15.89 c ============================[ Search Statistics ]============================== 15.76/15.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.76/15.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.76/15.89 c =============================================================================== 15.76/15.89 c | 0 | 2062 42552 85992 | 14184 0 nan | 0.000 % | 15.76/15.89 c =============================================================================== 15.76/15.89 c core #479 15.76/15.89 c Core size: 30 Core Weight: 1 Total Weight: -281 15.76/15.89 c Elapsed CPU time: 15.8346 s Remaining CPU time: 1784.17 s 15.86/15.94 c ============================[ Search Statistics ]============================== 15.86/15.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.86/15.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.86/15.94 c =============================================================================== 15.86/15.94 c | 0 | 2070 42553 86008 | 14184 0 nan | 0.000 % | 15.86/15.94 c =============================================================================== 15.86/15.94 c core #480 15.86/15.94 c Core size: 13 Core Weight: 1 Total Weight: -280 15.86/15.94 c Elapsed CPU time: 15.8866 s Remaining CPU time: 1784.11 s 15.86/15.99 c ============================[ Search Statistics ]============================== 15.86/15.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.86/15.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.86/15.99 c =============================================================================== 15.86/15.99 c | 0 | 2076 42554 86020 | 14184 0 nan | 0.000 % | 15.86/16.00 c =============================================================================== 15.86/16.00 c core #481 15.86/16.00 c Core size: 10 Core Weight: 1 Total Weight: -279 15.86/16.00 c Elapsed CPU time: 15.9376 s Remaining CPU time: 1784.06 s 15.96/16.04 c ============================[ Search Statistics ]============================== 15.96/16.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.96/16.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.96/16.04 c =============================================================================== 15.96/16.04 c | 0 | 2080 42555 86028 | 14185 0 nan | 0.000 % | 15.96/16.05 c =============================================================================== 15.96/16.05 c core #482 15.96/16.05 c Core size: 10 Core Weight: 1 Total Weight: -278 15.96/16.05 c Elapsed CPU time: 15.9896 s Remaining CPU time: 1784.01 s 15.96/16.09 c ============================[ Search Statistics ]============================== 15.96/16.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.96/16.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.96/16.09 c =============================================================================== 15.96/16.09 c | 0 | 2084 42556 86036 | 14185 0 nan | 0.000 % | 16.06/16.10 c =============================================================================== 16.06/16.10 c core #483 16.06/16.10 c Core size: 10 Core Weight: 1 Total Weight: -277 16.06/16.10 c Elapsed CPU time: 16.0416 s Remaining CPU time: 1783.96 s 16.06/16.14 c ============================[ Search Statistics ]============================== 16.06/16.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.06/16.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.06/16.14 c =============================================================================== 16.06/16.14 c | 0 | 2088 42557 86044 | 14185 0 nan | 0.000 % | 16.06/16.15 c =============================================================================== 16.06/16.15 c core #484 16.06/16.15 c Core size: 10 Core Weight: 1 Total Weight: -276 16.06/16.15 c Elapsed CPU time: 16.0926 s Remaining CPU time: 1783.91 s 16.06/16.19 c ============================[ Search Statistics ]============================== 16.06/16.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.06/16.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.06/16.19 c =============================================================================== 16.06/16.19 c | 0 | 2092 42558 86052 | 14186 0 nan | 0.000 % | 16.16/16.20 c =============================================================================== 16.16/16.20 c core #485 16.16/16.20 c Core size: 27 Core Weight: 1 Total Weight: -275 16.16/16.20 c Elapsed CPU time: 16.1425 s Remaining CPU time: 1783.86 s 16.16/16.25 c ============================[ Search Statistics ]============================== 16.16/16.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.16/16.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.16/16.25 c =============================================================================== 16.16/16.25 c | 0 | 2104 42559 86076 | 14186 0 nan | 0.000 % | 16.16/16.25 c =============================================================================== 16.16/16.25 c core #486 16.16/16.25 c Core size: 13 Core Weight: 1 Total Weight: -274 16.16/16.25 c Elapsed CPU time: 16.1925 s Remaining CPU time: 1783.81 s 16.26/16.30 c ============================[ Search Statistics ]============================== 16.26/16.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.26/16.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.26/16.30 c =============================================================================== 16.26/16.30 c | 0 | 2110 42560 86088 | 14186 0 nan | 0.000 % | 16.26/16.30 c =============================================================================== 16.26/16.30 c core #487 16.26/16.30 c Core size: 13 Core Weight: 1 Total Weight: -273 16.26/16.30 c Elapsed CPU time: 16.2445 s Remaining CPU time: 1783.76 s 16.26/16.35 c ============================[ Search Statistics ]============================== 16.26/16.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.26/16.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.26/16.35 c =============================================================================== 16.26/16.35 c | 0 | 2116 42561 86100 | 14187 0 nan | 0.000 % | 16.26/16.35 c =============================================================================== 16.26/16.35 c core #488 16.26/16.35 c Core size: 13 Core Weight: 1 Total Weight: -272 16.26/16.35 c Elapsed CPU time: 16.2945 s Remaining CPU time: 1783.71 s 16.37/16.40 c ============================[ Search Statistics ]============================== 16.37/16.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.37/16.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.37/16.40 c =============================================================================== 16.37/16.40 c | 0 | 2122 42562 86112 | 14187 0 nan | 0.000 % | 16.37/16.41 c =============================================================================== 16.37/16.41 c core #489 16.37/16.41 c Core size: 10 Core Weight: 1 Total Weight: -271 16.37/16.41 c Elapsed CPU time: 16.3475 s Remaining CPU time: 1783.65 s 16.37/16.46 c ============================[ Search Statistics ]============================== 16.37/16.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.37/16.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.37/16.46 c =============================================================================== 16.37/16.46 c | 0 | 2126 42563 86120 | 14187 0 nan | 0.000 % | 16.37/16.46 c =============================================================================== 16.37/16.46 c core #490 16.37/16.46 c Core size: 13 Core Weight: 1 Total Weight: -270 16.37/16.46 c Elapsed CPU time: 16.4015 s Remaining CPU time: 1783.6 s 16.47/16.51 c ============================[ Search Statistics ]============================== 16.47/16.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.47/16.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.47/16.51 c =============================================================================== 16.47/16.51 c | 0 | 2132 42564 86132 | 14188 0 nan | 0.000 % | 16.47/16.51 c =============================================================================== 16.47/16.51 c core #491 16.47/16.51 c Core size: 13 Core Weight: 1 Total Weight: -269 16.47/16.51 c Elapsed CPU time: 16.4505 s Remaining CPU time: 1783.55 s 16.47/16.56 c ============================[ Search Statistics ]============================== 16.47/16.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.47/16.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.47/16.56 c =============================================================================== 16.47/16.56 c | 0 | 2138 42565 86144 | 14188 0 nan | 0.000 % | 16.47/16.56 c =============================================================================== 16.47/16.56 c core #492 16.47/16.56 c Core size: 13 Core Weight: 1 Total Weight: -268 16.47/16.56 c Elapsed CPU time: 16.5015 s Remaining CPU time: 1783.5 s 16.56/16.61 c ============================[ Search Statistics ]============================== 16.56/16.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.56/16.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.56/16.61 c =============================================================================== 16.56/16.61 c | 0 | 2144 42566 86156 | 14188 0 nan | 0.000 % | 16.56/16.61 c =============================================================================== 16.56/16.61 c core #493 16.56/16.61 c Core size: 10 Core Weight: 1 Total Weight: -267 16.56/16.61 c Elapsed CPU time: 16.5535 s Remaining CPU time: 1783.45 s 16.56/16.66 c ============================[ Search Statistics ]============================== 16.56/16.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.56/16.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.56/16.66 c =============================================================================== 16.56/16.66 c | 0 | 2148 42567 86164 | 14189 0 nan | 0.000 % | 16.56/16.67 c =============================================================================== 16.56/16.67 c core #494 16.56/16.67 c Core size: 13 Core Weight: 1 Total Weight: -266 16.56/16.67 c Elapsed CPU time: 16.6065 s Remaining CPU time: 1783.39 s 16.66/16.71 c ============================[ Search Statistics ]============================== 16.66/16.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.66/16.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.66/16.71 c =============================================================================== 16.66/16.71 c | 0 | 2154 42568 86176 | 14189 0 nan | 0.000 % | 16.66/16.72 c =============================================================================== 16.66/16.72 c core #495 16.66/16.72 c Core size: 24 Core Weight: 1 Total Weight: -265 16.66/16.72 c Elapsed CPU time: 16.6565 s Remaining CPU time: 1783.34 s 16.66/16.77 c ============================[ Search Statistics ]============================== 16.66/16.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.66/16.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.66/16.77 c =============================================================================== 16.66/16.77 c | 0 | 2164 42569 86196 | 14189 0 nan | 0.000 % | 16.66/16.77 c =============================================================================== 16.66/16.77 c core #496 16.66/16.77 c Core size: 13 Core Weight: 1 Total Weight: -264 16.66/16.77 c Elapsed CPU time: 16.7105 s Remaining CPU time: 1783.29 s 16.77/16.82 c ============================[ Search Statistics ]============================== 16.77/16.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.77/16.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.77/16.82 c =============================================================================== 16.77/16.82 c | 0 | 2170 42570 86208 | 14190 0 nan | 0.000 % | 16.77/16.83 c =============================================================================== 16.77/16.83 c core #497 16.77/16.83 c Core size: 13 Core Weight: 1 Total Weight: -263 16.77/16.83 c Elapsed CPU time: 16.7645 s Remaining CPU time: 1783.24 s 16.77/16.87 c ============================[ Search Statistics ]============================== 16.77/16.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.77/16.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.77/16.87 c =============================================================================== 16.77/16.87 c | 0 | 2176 42571 86220 | 14190 0 nan | 0.000 % | 16.77/16.88 c =============================================================================== 16.77/16.88 c core #498 16.77/16.88 c Core size: 18 Core Weight: 1 Total Weight: -262 16.77/16.88 c Elapsed CPU time: 16.8154 s Remaining CPU time: 1783.18 s 16.87/16.92 c ============================[ Search Statistics ]============================== 16.87/16.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.87/16.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.87/16.92 c =============================================================================== 16.87/16.92 c | 0 | 2182 42572 86232 | 14190 0 nan | 0.000 % | 16.87/16.93 c =============================================================================== 16.87/16.93 c core #499 16.87/16.93 c Core size: 13 Core Weight: 1 Total Weight: -261 16.87/16.93 c Elapsed CPU time: 16.8684 s Remaining CPU time: 1783.13 s 16.87/16.98 c ============================[ Search Statistics ]============================== 16.87/16.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.87/16.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.87/16.98 c =============================================================================== 16.87/16.98 c | 0 | 2188 42573 86244 | 14191 0 nan | 0.000 % | 16.87/16.98 c =============================================================================== 16.87/16.98 c core #500 16.87/16.98 c Core size: 13 Core Weight: 1 Total Weight: -260 16.87/16.98 c Elapsed CPU time: 16.9194 s Remaining CPU time: 1783.08 s 16.97/17.03 c ============================[ Search Statistics ]============================== 16.97/17.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.97/17.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.97/17.03 c =============================================================================== 16.97/17.03 c | 0 | 2194 42574 86256 | 14191 0 nan | 0.000 % | 16.97/17.04 c =============================================================================== 16.97/17.04 c core #501 16.97/17.04 c Core size: 38 Core Weight: 1 Total Weight: -259 16.97/17.04 c Elapsed CPU time: 16.9744 s Remaining CPU time: 1783.03 s 16.97/17.08 c ============================[ Search Statistics ]============================== 16.97/17.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.97/17.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.97/17.08 c =============================================================================== 16.97/17.08 c | 0 | 2210 42575 86288 | 14191 0 nan | 0.000 % | 16.97/17.09 c =============================================================================== 16.97/17.09 c core #502 16.97/17.09 c Core size: 17 Core Weight: 1 Total Weight: -258 16.97/17.09 c Elapsed CPU time: 17.0274 s Remaining CPU time: 1782.97 s 17.07/17.14 c ============================[ Search Statistics ]============================== 17.07/17.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.07/17.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.07/17.14 c =============================================================================== 17.07/17.14 c | 0 | 2218 42576 86304 | 14192 0 nan | 0.000 % | 17.07/17.14 c =============================================================================== 17.07/17.14 c core #503 17.07/17.14 c Core size: 13 Core Weight: 1 Total Weight: -257 17.07/17.14 c Elapsed CPU time: 17.0794 s Remaining CPU time: 1782.92 s 17.07/17.19 c ============================[ Search Statistics ]============================== 17.07/17.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.07/17.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.07/17.19 c =============================================================================== 17.07/17.19 c | 0 | 2224 42577 86316 | 14192 0 nan | 0.000 % | 17.07/17.19 c =============================================================================== 17.07/17.19 c core #504 17.07/17.19 c Core size: 27 Core Weight: 1 Total Weight: -256 17.07/17.19 c Elapsed CPU time: 17.1284 s Remaining CPU time: 1782.87 s 17.17/17.24 c ============================[ Search Statistics ]============================== 17.17/17.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.17/17.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.17/17.24 c =============================================================================== 17.17/17.24 c | 0 | 2236 42578 86340 | 14192 0 nan | 0.000 % | 17.17/17.25 c =============================================================================== 17.17/17.25 c core #505 17.17/17.25 c Core size: 10 Core Weight: 1 Total Weight: -255 17.17/17.25 c Elapsed CPU time: 17.1814 s Remaining CPU time: 1782.82 s 17.17/17.29 c ============================[ Search Statistics ]============================== 17.17/17.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.17/17.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.17/17.29 c =============================================================================== 17.17/17.29 c | 0 | 2240 42579 86348 | 14193 0 nan | 0.000 % | 17.27/17.30 c =============================================================================== 17.27/17.30 c core #506 17.27/17.30 c Core size: 13 Core Weight: 1 Total Weight: -254 17.27/17.30 c Elapsed CPU time: 17.2344 s Remaining CPU time: 1782.77 s 17.27/17.34 c ============================[ Search Statistics ]============================== 17.27/17.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.27/17.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.27/17.34 c =============================================================================== 17.27/17.34 c | 0 | 2246 42580 86360 | 14193 0 nan | 0.000 % | 17.27/17.35 c =============================================================================== 17.27/17.35 c core #507 17.27/17.35 c Core size: 10 Core Weight: 1 Total Weight: -253 17.27/17.35 c Elapsed CPU time: 17.2854 s Remaining CPU time: 1782.71 s 17.37/17.40 c ============================[ Search Statistics ]============================== 17.37/17.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.37/17.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.37/17.40 c =============================================================================== 17.37/17.40 c | 0 | 2250 42581 86368 | 14193 0 nan | 0.000 % | 17.37/17.40 c =============================================================================== 17.37/17.40 c core #508 17.37/17.40 c Core size: 30 Core Weight: 1 Total Weight: -252 17.37/17.40 c Elapsed CPU time: 17.3394 s Remaining CPU time: 1782.66 s 17.37/17.45 c ============================[ Search Statistics ]============================== 17.37/17.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.37/17.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.37/17.45 c =============================================================================== 17.37/17.45 c | 0 | 2258 42582 86384 | 14194 0 nan | 0.000 % | 17.37/17.46 c =============================================================================== 17.37/17.46 c core #509 17.37/17.46 c Core size: 10 Core Weight: 1 Total Weight: -251 17.37/17.46 c Elapsed CPU time: 17.3934 s Remaining CPU time: 1782.61 s 17.47/17.50 c ============================[ Search Statistics ]============================== 17.47/17.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.47/17.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.47/17.50 c =============================================================================== 17.47/17.50 c | 0 | 2262 42583 86392 | 14194 0 nan | 0.000 % | 17.47/17.51 c =============================================================================== 17.47/17.51 c core #510 17.47/17.51 c Core size: 10 Core Weight: 1 Total Weight: -250 17.47/17.51 c Elapsed CPU time: 17.4453 s Remaining CPU time: 1782.55 s 17.47/17.56 c ============================[ Search Statistics ]============================== 17.47/17.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.47/17.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.47/17.56 c =============================================================================== 17.47/17.56 c | 0 | 2266 42584 86400 | 14194 0 nan | 0.000 % | 17.47/17.56 c =============================================================================== 17.47/17.56 c core #511 17.47/17.56 c Core size: 30 Core Weight: 1 Total Weight: -249 17.47/17.56 c Elapsed CPU time: 17.4983 s Remaining CPU time: 1782.5 s 17.57/17.61 c ============================[ Search Statistics ]============================== 17.57/17.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.57/17.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.57/17.61 c =============================================================================== 17.57/17.61 c | 0 | 2274 42585 86416 | 14195 0 nan | 0.000 % | 17.57/17.62 c =============================================================================== 17.57/17.62 c core #512 17.57/17.62 c Core size: 10 Core Weight: 1 Total Weight: -248 17.57/17.62 c Elapsed CPU time: 17.5533 s Remaining CPU time: 1782.45 s 17.57/17.66 c ============================[ Search Statistics ]============================== 17.57/17.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.57/17.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.57/17.66 c =============================================================================== 17.57/17.66 c | 0 | 2278 42586 86424 | 14195 0 nan | 0.000 % | 17.57/17.67 c =============================================================================== 17.57/17.67 c core #513 17.57/17.67 c Core size: 13 Core Weight: 1 Total Weight: -247 17.57/17.67 c Elapsed CPU time: 17.6043 s Remaining CPU time: 1782.4 s 17.67/17.72 c ============================[ Search Statistics ]============================== 17.67/17.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.67/17.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.67/17.72 c =============================================================================== 17.67/17.72 c | 0 | 2284 42587 86436 | 14195 0 nan | 0.000 % | 17.67/17.72 c =============================================================================== 17.67/17.72 c core #514 17.67/17.72 c Core size: 13 Core Weight: 1 Total Weight: -246 17.67/17.72 c Elapsed CPU time: 17.6573 s Remaining CPU time: 1782.34 s 17.67/17.77 c ============================[ Search Statistics ]============================== 17.67/17.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.67/17.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.67/17.77 c =============================================================================== 17.67/17.77 c | 0 | 2290 42588 86448 | 14196 0 nan | 0.000 % | 17.67/17.78 c =============================================================================== 17.67/17.78 c core #515 17.67/17.78 c Core size: 10 Core Weight: 1 Total Weight: -245 17.67/17.78 c Elapsed CPU time: 17.7123 s Remaining CPU time: 1782.29 s 17.77/17.83 c ============================[ Search Statistics ]============================== 17.77/17.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.77/17.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.77/17.83 c =============================================================================== 17.77/17.83 c | 0 | 2294 42589 86456 | 14196 0 nan | 0.000 % | 17.77/17.83 c =============================================================================== 17.77/17.83 c core #516 17.77/17.83 c Core size: 52 Core Weight: 1 Total Weight: -244 17.77/17.83 c Elapsed CPU time: 17.7673 s Remaining CPU time: 1782.23 s 17.77/17.88 c ============================[ Search Statistics ]============================== 17.77/17.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.77/17.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.77/17.88 c =============================================================================== 17.77/17.88 c | 0 | 2316 42590 86500 | 14196 0 nan | 0.000 % | 17.77/17.89 c =============================================================================== 17.77/17.89 c core #517 17.77/17.89 c Core size: 13 Core Weight: 1 Total Weight: -243 17.77/17.89 c Elapsed CPU time: 17.8193 s Remaining CPU time: 1782.18 s 17.86/17.93 c ============================[ Search Statistics ]============================== 17.86/17.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.86/17.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.86/17.93 c =============================================================================== 17.86/17.93 c | 0 | 2322 42591 86512 | 14197 0 nan | 0.000 % | 17.86/17.94 c =============================================================================== 17.86/17.94 c core #518 17.86/17.94 c Core size: 31 Core Weight: 1 Total Weight: -242 17.86/17.94 c Elapsed CPU time: 17.8713 s Remaining CPU time: 1782.13 s 17.86/17.99 c ============================[ Search Statistics ]============================== 17.86/17.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.86/17.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.86/17.99 c =============================================================================== 17.86/17.99 c | 0 | 2336 42592 86540 | 14197 0 nan | 0.000 % | 17.86/17.99 c =============================================================================== 17.86/17.99 c core #519 17.86/17.99 c Core size: 24 Core Weight: 1 Total Weight: -241 17.86/17.99 c Elapsed CPU time: 17.9273 s Remaining CPU time: 1782.07 s 17.96/18.04 c ============================[ Search Statistics ]============================== 17.96/18.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.96/18.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.96/18.04 c =============================================================================== 17.96/18.04 c | 0 | 2346 42593 86560 | 14197 0 nan | 0.000 % | 17.96/18.05 c =============================================================================== 17.96/18.05 c core #520 17.96/18.05 c Core size: 10 Core Weight: 1 Total Weight: -240 17.96/18.05 c Elapsed CPU time: 17.9813 s Remaining CPU time: 1782.02 s 17.96/18.09 c ============================[ Search Statistics ]============================== 17.96/18.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.96/18.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.96/18.09 c =============================================================================== 17.96/18.09 c | 0 | 2350 42594 86568 | 14198 0 nan | 0.000 % | 18.06/18.10 c =============================================================================== 18.06/18.10 c core #521 18.06/18.10 c Core size: 13 Core Weight: 1 Total Weight: -239 18.06/18.10 c Elapsed CPU time: 18.0333 s Remaining CPU time: 1781.97 s 18.06/18.15 c ============================[ Search Statistics ]============================== 18.06/18.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.06/18.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.06/18.15 c =============================================================================== 18.06/18.15 c | 0 | 2356 42595 86580 | 14198 0 nan | 0.000 % | 18.06/18.15 c =============================================================================== 18.06/18.15 c core #522 18.06/18.15 c Core size: 24 Core Weight: 1 Total Weight: -238 18.06/18.15 c Elapsed CPU time: 18.0852 s Remaining CPU time: 1781.91 s 18.16/18.20 c ============================[ Search Statistics ]============================== 18.16/18.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.16/18.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.16/18.20 c =============================================================================== 18.16/18.20 c | 0 | 2366 42596 86600 | 14198 0 nan | 0.000 % | 18.16/18.21 c =============================================================================== 18.16/18.21 c core #523 18.16/18.21 c Core size: 13 Core Weight: 1 Total Weight: -237 18.16/18.21 c Elapsed CPU time: 18.1422 s Remaining CPU time: 1781.86 s 18.16/18.25 c ============================[ Search Statistics ]============================== 18.16/18.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.16/18.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.16/18.25 c =============================================================================== 18.16/18.25 c | 0 | 2372 42597 86612 | 14199 0 nan | 0.000 % | 18.16/18.26 c =============================================================================== 18.16/18.26 c core #524 18.16/18.26 c Core size: 13 Core Weight: 1 Total Weight: -236 18.16/18.26 c Elapsed CPU time: 18.1932 s Remaining CPU time: 1781.81 s 18.26/18.31 c ============================[ Search Statistics ]============================== 18.26/18.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.26/18.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.26/18.31 c =============================================================================== 18.26/18.31 c | 0 | 2378 42598 86624 | 14199 0 nan | 0.000 % | 18.26/18.32 c =============================================================================== 18.26/18.32 c core #525 18.26/18.32 c Core size: 13 Core Weight: 1 Total Weight: -235 18.26/18.32 c Elapsed CPU time: 18.2492 s Remaining CPU time: 1781.75 s 18.26/18.37 c ============================[ Search Statistics ]============================== 18.26/18.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.26/18.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.26/18.37 c =============================================================================== 18.26/18.37 c | 0 | 2384 42599 86636 | 14199 0 nan | 0.000 % | 18.26/18.37 c =============================================================================== 18.26/18.37 c core #526 18.26/18.37 c Core size: 10 Core Weight: 1 Total Weight: -234 18.26/18.37 c Elapsed CPU time: 18.3032 s Remaining CPU time: 1781.7 s 18.36/18.42 c ============================[ Search Statistics ]============================== 18.36/18.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.36/18.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.36/18.42 c =============================================================================== 18.36/18.42 c | 0 | 2388 42600 86644 | 14200 0 nan | 0.000 % | 18.36/18.43 c =============================================================================== 18.36/18.43 c core #527 18.36/18.43 c Core size: 10 Core Weight: 1 Total Weight: -233 18.36/18.43 c Elapsed CPU time: 18.3552 s Remaining CPU time: 1781.64 s 18.36/18.47 c ============================[ Search Statistics ]============================== 18.36/18.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.36/18.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.36/18.47 c =============================================================================== 18.36/18.47 c | 0 | 2392 42601 86652 | 14200 0 nan | 0.000 % | 18.36/18.48 c =============================================================================== 18.36/18.48 c core #528 18.36/18.48 c Core size: 13 Core Weight: 1 Total Weight: -232 18.36/18.48 c Elapsed CPU time: 18.4102 s Remaining CPU time: 1781.59 s 18.46/18.53 c ============================[ Search Statistics ]============================== 18.46/18.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.46/18.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.46/18.53 c =============================================================================== 18.46/18.53 c | 0 | 2398 42602 86664 | 14200 0 nan | 0.000 % | 18.46/18.53 c =============================================================================== 18.46/18.53 c core #529 18.46/18.53 c Core size: 13 Core Weight: 1 Total Weight: -231 18.46/18.53 c Elapsed CPU time: 18.4642 s Remaining CPU time: 1781.54 s 18.46/18.58 c ============================[ Search Statistics ]============================== 18.46/18.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.46/18.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.46/18.58 c =============================================================================== 18.46/18.58 c | 0 | 2404 42603 86676 | 14201 0 nan | 0.000 % | 18.46/18.59 c =============================================================================== 18.46/18.59 c core #530 18.46/18.59 c Core size: 13 Core Weight: 1 Total Weight: -230 18.46/18.59 c Elapsed CPU time: 18.5192 s Remaining CPU time: 1781.48 s 18.57/18.64 c ============================[ Search Statistics ]============================== 18.57/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.64 c =============================================================================== 18.57/18.64 c | 0 | 2410 42604 86688 | 14201 0 nan | 0.000 % | 18.57/18.64 c =============================================================================== 18.57/18.64 c core #531 18.57/18.64 c Core size: 10 Core Weight: 1 Total Weight: -229 18.57/18.64 c Elapsed CPU time: 18.5732 s Remaining CPU time: 1781.43 s 18.57/18.69 c ============================[ Search Statistics ]============================== 18.57/18.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.69 c =============================================================================== 18.57/18.69 c | 0 | 2414 42605 86696 | 14201 0 nan | 0.000 % | 18.57/18.70 c =============================================================================== 18.57/18.70 c core #532 18.57/18.70 c Core size: 13 Core Weight: 1 Total Weight: -228 18.57/18.70 c Elapsed CPU time: 18.6272 s Remaining CPU time: 1781.37 s 18.66/18.75 c ============================[ Search Statistics ]============================== 18.66/18.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.66/18.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.66/18.75 c =============================================================================== 18.66/18.75 c | 0 | 2420 42606 86708 | 14202 0 nan | 0.000 % | 18.66/18.75 c =============================================================================== 18.66/18.75 c core #533 18.66/18.75 c Core size: 10 Core Weight: 1 Total Weight: -227 18.66/18.75 c Elapsed CPU time: 18.6822 s Remaining CPU time: 1781.32 s 18.76/18.80 c ============================[ Search Statistics ]============================== 18.76/18.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.76/18.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.76/18.80 c =============================================================================== 18.76/18.80 c | 0 | 2424 42607 86716 | 14202 0 nan | 0.000 % | 18.76/18.81 c =============================================================================== 18.76/18.81 c core #534 18.76/18.81 c Core size: 13 Core Weight: 1 Total Weight: -226 18.76/18.81 c Elapsed CPU time: 18.7362 s Remaining CPU time: 1781.26 s 18.76/18.86 c ============================[ Search Statistics ]============================== 18.76/18.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.76/18.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.76/18.86 c =============================================================================== 18.76/18.86 c | 0 | 2430 42608 86728 | 14202 0 nan | 0.000 % | 18.76/18.86 c =============================================================================== 18.76/18.86 c core #535 18.76/18.86 c Core size: 10 Core Weight: 1 Total Weight: -225 18.76/18.86 c Elapsed CPU time: 18.7911 s Remaining CPU time: 1781.21 s 18.87/18.91 c ============================[ Search Statistics ]============================== 18.87/18.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.87/18.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.87/18.91 c =============================================================================== 18.87/18.91 c | 0 | 2434 42609 86736 | 14203 0 nan | 0.000 % | 18.87/18.92 c =============================================================================== 18.87/18.92 c core #536 18.87/18.92 c Core size: 36 Core Weight: 1 Total Weight: -224 18.87/18.92 c Elapsed CPU time: 18.8441 s Remaining CPU time: 1781.16 s 18.87/18.97 c ============================[ Search Statistics ]============================== 18.87/18.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.87/18.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.87/18.97 c =============================================================================== 18.87/18.97 c | 0 | 2448 42610 86764 | 14203 0 nan | 0.000 % | 18.87/18.97 c =============================================================================== 18.87/18.97 c core #537 18.87/18.97 c Core size: 13 Core Weight: 1 Total Weight: -223 18.87/18.97 c Elapsed CPU time: 18.9001 s Remaining CPU time: 1781.1 s 18.97/19.02 c ============================[ Search Statistics ]============================== 18.97/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.02 c =============================================================================== 18.97/19.02 c | 0 | 2454 42611 86776 | 14203 0 nan | 0.000 % | 18.97/19.03 c =============================================================================== 18.97/19.03 c core #538 18.97/19.03 c Core size: 40 Core Weight: 1 Total Weight: -222 18.97/19.03 c Elapsed CPU time: 18.9561 s Remaining CPU time: 1781.04 s 18.97/19.08 c ============================[ Search Statistics ]============================== 18.97/19.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.08 c =============================================================================== 18.97/19.08 c | 0 | 2468 42612 86804 | 14204 0 nan | 0.000 % | 18.97/19.09 c =============================================================================== 18.97/19.09 c core #539 18.97/19.09 c Core size: 21 Core Weight: 1 Total Weight: -221 18.97/19.09 c Elapsed CPU time: 19.0121 s Remaining CPU time: 1780.99 s 19.07/19.13 c ============================[ Search Statistics ]============================== 19.07/19.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.07/19.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.07/19.13 c =============================================================================== 19.07/19.13 c | 0 | 2476 42613 86820 | 14204 0 nan | 0.000 % | 19.07/19.14 c =============================================================================== 19.07/19.14 c core #540 19.07/19.14 c Core size: 18 Core Weight: 1 Total Weight: -220 19.07/19.14 c Elapsed CPU time: 19.0681 s Remaining CPU time: 1780.93 s 19.07/19.19 c ============================[ Search Statistics ]============================== 19.07/19.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.07/19.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.07/19.19 c =============================================================================== 19.07/19.19 c | 0 | 2482 42614 86832 | 14204 0 nan | 0.000 % | 19.17/19.20 c =============================================================================== 19.17/19.20 c core #541 19.17/19.20 c Core size: 30 Core Weight: 1 Total Weight: -219 19.17/19.20 c Elapsed CPU time: 19.1241 s Remaining CPU time: 1780.88 s 19.17/19.25 c ============================[ Search Statistics ]============================== 19.17/19.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.17/19.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.17/19.25 c =============================================================================== 19.17/19.25 c | 0 | 2490 42615 86848 | 14205 0 nan | 0.000 % | 19.17/19.26 c =============================================================================== 19.17/19.26 c core #542 19.17/19.26 c Core size: 10 Core Weight: 1 Total Weight: -218 19.17/19.26 c Elapsed CPU time: 19.1821 s Remaining CPU time: 1780.82 s 19.27/19.31 c ============================[ Search Statistics ]============================== 19.27/19.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.27/19.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.27/19.31 c =============================================================================== 19.27/19.31 c | 0 | 2494 42616 86856 | 14205 0 nan | 0.000 % | 19.27/19.31 c =============================================================================== 19.27/19.31 c core #543 19.27/19.31 c Core size: 10 Core Weight: 1 Total Weight: -217 19.27/19.31 c Elapsed CPU time: 19.2391 s Remaining CPU time: 1780.76 s 19.27/19.36 c ============================[ Search Statistics ]============================== 19.27/19.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.27/19.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.27/19.36 c =============================================================================== 19.27/19.36 c | 0 | 2498 42617 86864 | 14205 0 nan | 0.000 % | 19.27/19.37 c =============================================================================== 19.27/19.37 c core #544 19.27/19.37 c Core size: 89 Core Weight: 1 Total Weight: -216 19.27/19.37 c Elapsed CPU time: 19.2951 s Remaining CPU time: 1780.7 s 19.37/19.42 c ============================[ Search Statistics ]============================== 19.37/19.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.37/19.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.37/19.42 c =============================================================================== 19.37/19.42 c | 0 | 2528 42618 86924 | 14206 0 nan | 0.000 % | 19.37/19.43 c =============================================================================== 19.37/19.43 c core #545 19.37/19.43 c Core size: 30 Core Weight: 1 Total Weight: -215 19.37/19.43 c Elapsed CPU time: 19.3541 s Remaining CPU time: 1780.65 s 19.37/19.48 c ============================[ Search Statistics ]============================== 19.37/19.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.37/19.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.37/19.48 c =============================================================================== 19.37/19.48 c | 0 | 2536 42619 86940 | 14206 0 nan | 0.000 % | 19.37/19.48 c =============================================================================== 19.37/19.48 c core #546 19.37/19.48 c Core size: 67 Core Weight: 1 Total Weight: -214 19.37/19.48 c Elapsed CPU time: 19.409 s Remaining CPU time: 1780.59 s 19.47/19.53 c ============================[ Search Statistics ]============================== 19.47/19.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.53 c =============================================================================== 19.47/19.53 c | 0 | 2552 42620 86972 | 14206 0 nan | 0.000 % | 19.47/19.54 c =============================================================================== 19.47/19.54 c core #547 19.47/19.54 c Core size: 47 Core Weight: 1 Total Weight: -213 19.47/19.54 c Elapsed CPU time: 19.467 s Remaining CPU time: 1780.53 s 19.47/19.59 c ============================[ Search Statistics ]============================== 19.47/19.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.59 c =============================================================================== 19.47/19.59 c | 0 | 2566 42621 87000 | 14207 0 nan | 0.000 % | 19.57/19.60 c =============================================================================== 19.57/19.60 c core #548 19.57/19.60 c Core size: 78 Core Weight: 1 Total Weight: -212 19.57/19.60 c Elapsed CPU time: 19.526 s Remaining CPU time: 1780.47 s 19.57/19.65 c ============================[ Search Statistics ]============================== 19.57/19.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.57/19.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.57/19.65 c =============================================================================== 19.57/19.65 c | 0 | 2586 42622 87040 | 14207 0 nan | 0.000 % | 19.57/19.66 c | 100 | 2560 42622 87040 | 15628 100 7 | 12.645 % | 19.57/19.66 c =============================================================================== 19.57/19.66 c core #549 19.57/19.66 c Core size: 97 Core Weight: 1 Total Weight: -211 19.57/19.66 c Elapsed CPU time: 19.588 s Remaining CPU time: 1780.41 s 19.67/19.71 c ============================[ Search Statistics ]============================== 19.67/19.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.71 c =============================================================================== 19.67/19.71 c | 0 | 2620 42623 87108 | 14207 0 nan | 0.000 % | 19.67/19.72 c | 101 | 2616 42623 87108 | 15628 101 9 | 0.191 % | 19.67/19.72 c =============================================================================== 19.67/19.72 c core #550 19.67/19.72 c Core size: 88 Core Weight: 1 Total Weight: -210 19.67/19.72 c Elapsed CPU time: 19.649 s Remaining CPU time: 1780.35 s 19.67/19.77 c ============================[ Search Statistics ]============================== 19.67/19.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.77 c =============================================================================== 19.67/19.77 c | 0 | 2640 42624 87148 | 14208 0 nan | 0.000 % | 19.67/19.79 c | 100 | 2640 42624 87148 | 15628 100 15 | 0.000 % | 19.67/19.79 c | 252 | 2640 42624 87148 | 17191 252 14 | 0.000 % | 19.67/19.80 c =============================================================================== 19.77/19.80 c core #551 19.77/19.80 c Core size: 176 Core Weight: 1 Total Weight: -209 19.77/19.80 c Elapsed CPU time: 19.725 s Remaining CPU time: 1780.27 s 19.77/19.85 c ============================[ Search Statistics ]============================== 19.77/19.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.77/19.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.77/19.85 c =============================================================================== 19.77/19.85 c | 0 | 2682 42625 87232 | 14208 0 nan | 0.000 % | 19.77/19.86 c =============================================================================== 19.77/19.86 c core #552 19.77/19.86 c Core size: 96 Core Weight: 1 Total Weight: -208 19.77/19.86 c Elapsed CPU time: 19.786 s Remaining CPU time: 1780.21 s 19.86/19.91 c ============================[ Search Statistics ]============================== 19.86/19.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/19.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/19.91 c =============================================================================== 19.86/19.91 c | 0 | 2710 42626 87288 | 14208 0 nan | 0.000 % | 19.86/19.92 c =============================================================================== 19.86/19.92 c core #553 19.86/19.92 c Core size: 47 Core Weight: 1 Total Weight: -207 19.86/19.92 c Elapsed CPU time: 19.843 s Remaining CPU time: 1780.16 s 19.86/19.97 c ============================[ Search Statistics ]============================== 19.86/19.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/19.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/19.97 c =============================================================================== 19.86/19.97 c | 0 | 2726 42627 87320 | 14209 0 nan | 0.000 % | 19.86/19.98 c =============================================================================== 19.86/19.98 c core #554 19.86/19.98 c Core size: 22 Core Weight: 1 Total Weight: -206 19.86/19.98 c Elapsed CPU time: 19.9 s Remaining CPU time: 1780.1 s 19.96/20.03 c ============================[ Search Statistics ]============================== 19.96/20.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.96/20.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.96/20.03 c =============================================================================== 19.96/20.03 c | 0 | 2732 42628 87332 | 14209 0 nan | 0.000 % | 19.96/20.04 c =============================================================================== 19.96/20.04 c core #555 19.96/20.04 c Core size: 80 Core Weight: 1 Total Weight: -205 19.96/20.04 c Elapsed CPU time: 19.961 s Remaining CPU time: 1780.04 s 19.96/20.09 c ============================[ Search Statistics ]============================== 19.96/20.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.96/20.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.96/20.09 c =============================================================================== 19.96/20.09 c | 0 | 2754 42629 87376 | 14209 0 nan | 0.000 % | 20.06/20.10 c =============================================================================== 20.06/20.10 c core #556 20.06/20.10 c Core size: 38 Core Weight: 1 Total Weight: -204 20.06/20.10 c Elapsed CPU time: 20.02 s Remaining CPU time: 1779.98 s 20.06/20.15 c ============================[ Search Statistics ]============================== 20.06/20.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.06/20.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.06/20.15 c =============================================================================== 20.06/20.15 c | 0 | 2762 42630 87392 | 14210 0 nan | 0.000 % | 20.06/20.16 c =============================================================================== 20.06/20.16 c core #557 20.06/20.16 c Core size: 22 Core Weight: 1 Total Weight: -203 20.06/20.16 c Elapsed CPU time: 20.0779 s Remaining CPU time: 1779.92 s 20.17/20.21 c ============================[ Search Statistics ]============================== 20.17/20.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.17/20.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.17/20.21 c =============================================================================== 20.17/20.21 c | 0 | 2768 42631 87404 | 14210 0 nan | 0.000 % | 20.17/20.22 c | 102 | 2768 42631 87404 | 15631 102 17 | 0.000 % | 20.17/20.22 c =============================================================================== 20.17/20.22 c core #558 20.17/20.22 c Core size: 78 Core Weight: 1 Total Weight: -202 20.17/20.22 c Elapsed CPU time: 20.1389 s Remaining CPU time: 1779.86 s 20.17/20.27 c ============================[ Search Statistics ]============================== 20.17/20.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.17/20.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.17/20.27 c =============================================================================== 20.17/20.27 c | 0 | 2796 42632 87460 | 14210 0 nan | 0.000 % | 20.17/20.28 c | 100 | 2796 42632 87460 | 15631 100 13 | 0.000 % | 20.17/20.29 c =============================================================================== 20.17/20.29 c core #559 20.17/20.29 c Core size: 61 Core Weight: 1 Total Weight: -201 20.17/20.29 c Elapsed CPU time: 20.2009 s Remaining CPU time: 1779.8 s 20.27/20.33 c ============================[ Search Statistics ]============================== 20.27/20.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.27/20.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.27/20.33 c =============================================================================== 20.27/20.33 c | 0 | 2816 42633 87500 | 14211 0 nan | 0.000 % | 20.27/20.35 c =============================================================================== 20.27/20.35 c core #560 20.27/20.35 c Core size: 32 Core Weight: 1 Total Weight: -200 20.27/20.35 c Elapsed CPU time: 20.2619 s Remaining CPU time: 1779.74 s 20.27/20.40 c ============================[ Search Statistics ]============================== 20.27/20.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.27/20.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.27/20.40 c =============================================================================== 20.27/20.40 c | 0 | 2828 42634 87524 | 14211 0 nan | 0.000 % | 20.37/20.41 c | 100 | 2828 42634 87524 | 15632 100 12 | 0.000 % | 20.37/20.41 c =============================================================================== 20.37/20.41 c core #561 20.37/20.41 c Core size: 43 Core Weight: 1 Total Weight: -199 20.37/20.41 c Elapsed CPU time: 20.3239 s Remaining CPU time: 1779.68 s 20.37/20.46 c ============================[ Search Statistics ]============================== 20.37/20.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.37/20.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.37/20.46 c =============================================================================== 20.37/20.46 c | 0 | 2842 42635 87552 | 14211 0 nan | 0.000 % | 20.37/20.47 c | 102 | 2842 42635 87552 | 15632 102 12 | 0.000 % | 20.37/20.47 c =============================================================================== 20.37/20.47 c core #562 20.37/20.47 c Core size: 112 Core Weight: 1 Total Weight: -198 20.37/20.47 c Elapsed CPU time: 20.3889 s Remaining CPU time: 1779.61 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 | 2876 42636 87620 | 14212 0 nan | 0.000 % | 20.47/20.54 c | 101 | 2875 42636 87620 | 15633 101 10 | 0.035 % | 20.47/20.54 c =============================================================================== 20.47/20.54 c core #563 20.47/20.54 c Core size: 91 Core Weight: 1 Total Weight: -197 20.47/20.54 c Elapsed CPU time: 20.4509 s Remaining CPU time: 1779.55 s 20.47/20.59 c ============================[ Search Statistics ]============================== 20.47/20.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.47/20.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.47/20.59 c =============================================================================== 20.47/20.59 c | 0 | 2904 42637 87676 | 14212 0 nan | 0.000 % | 20.57/20.60 c =============================================================================== 20.57/20.60 c core #564 20.57/20.60 c Core size: 45 Core Weight: 1 Total Weight: -196 20.57/20.60 c Elapsed CPU time: 20.5119 s Remaining CPU time: 1779.49 s 20.57/20.65 c ============================[ Search Statistics ]============================== 20.57/20.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.57/20.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.57/20.65 c =============================================================================== 20.57/20.65 c | 0 | 2918 42638 87704 | 14212 0 nan | 0.000 % | 20.57/20.66 c | 103 | 2917 42638 87704 | 15633 103 11 | 0.036 % | 20.57/20.67 c | 254 | 2903 42638 87704 | 17197 254 13 | 3.838 % | 20.57/20.68 c =============================================================================== 20.57/20.68 c core #565 20.57/20.68 c Core size: 224 Core Weight: 1 Total Weight: -195 20.57/20.68 c Elapsed CPU time: 20.5899 s Remaining CPU time: 1779.41 s 20.66/20.73 c ============================[ Search Statistics ]============================== 20.66/20.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.66/20.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.66/20.73 c =============================================================================== 20.66/20.73 c | 0 | 2982 42639 87832 | 14213 0 nan | 0.000 % | 20.66/20.74 c | 101 | 2981 42639 87832 | 15634 101 13 | 0.034 % | 20.66/20.75 c | 251 | 2978 42639 87832 | 17197 251 19 | 0.134 % | 20.66/20.76 c | 479 | 2977 42639 87832 | 18917 479 25 | 0.168 % | 20.66/20.77 c =============================================================================== 20.66/20.77 c core #566 20.66/20.77 c Core size: 77 Core Weight: 1 Total Weight: -194 20.66/20.77 c Elapsed CPU time: 20.6839 s Remaining CPU time: 1779.32 s 20.76/20.82 c ============================[ Search Statistics ]============================== 20.76/20.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.76/20.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.76/20.82 c =============================================================================== 20.76/20.82 c | 0 | 3008 42640 87884 | 14213 0 nan | 0.000 % | 20.76/20.84 c | 101 | 3008 42640 87884 | 15634 101 15 | 0.000 % | 20.76/20.84 c | 253 | 3006 42640 87884 | 17198 253 19 | 0.067 % | 20.76/20.85 c | 481 | 3005 42640 87884 | 18917 481 18 | 0.133 % | 20.76/20.87 c | 818 | 2996 42640 87884 | 20809 818 19 | 3.890 % | 20.76/20.87 c =============================================================================== 20.76/20.88 c core #567 20.76/20.88 c Core size: 296 Core Weight: 1 Total Weight: -193 20.76/20.88 c Elapsed CPU time: 20.7838 s Remaining CPU time: 1779.22 s 20.87/20.93 c ============================[ Search Statistics ]============================== 20.87/20.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.87/20.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.87/20.93 c =============================================================================== 20.87/20.93 c | 0 | 3070 42641 88008 | 14213 0 nan | 0.000 % | 20.87/20.94 c | 103 | 3070 42641 88008 | 15635 103 11 | 0.000 % | 20.87/20.95 c | 253 | 3070 42641 88008 | 17198 253 10 | 0.000 % | 20.87/20.95 c =============================================================================== 20.87/20.95 c core #568 20.87/20.95 c Core size: 149 Core Weight: 1 Total Weight: -192 20.87/20.95 c Elapsed CPU time: 20.8548 s Remaining CPU time: 1779.15 s 20.97/21.00 c ============================[ Search Statistics ]============================== 20.97/21.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.97/21.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.97/21.00 c =============================================================================== 20.97/21.00 c | 0 | 3098 42642 88064 | 14214 0 nan | 0.000 % | 20.97/21.01 c | 100 | 3098 42642 88064 | 15635 100 16 | 0.000 % | 20.97/21.02 c | 252 | 3098 42642 88064 | 17198 252 12 | 0.000 % | 20.97/21.02 c =============================================================================== 20.97/21.02 c core #569 20.97/21.02 c Core size: 123 Core Weight: 1 Total Weight: -191 20.97/21.02 c Elapsed CPU time: 20.9268 s Remaining CPU time: 1779.07 s 20.97/21.07 c ============================[ Search Statistics ]============================== 20.97/21.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.97/21.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.97/21.07 c =============================================================================== 20.97/21.07 c | 0 | 3132 42643 88132 | 14214 0 nan | 0.000 % | 20.97/21.09 c | 102 | 3132 42643 88132 | 15635 102 16 | 0.000 % | 20.97/21.09 c | 252 | 3132 42643 88132 | 17199 252 13 | 0.000 % | 21.07/21.10 c | 477 | 3131 42643 88132 | 18919 477 18 | 0.032 % | 21.07/21.13 c | 818 | 3130 42643 88132 | 20811 818 23 | 0.064 % | 21.07/21.16 c | 1326 | 3127 42643 88132 | 22892 1318 24 | 0.161 % | 21.07/21.17 c =============================================================================== 21.07/21.17 c core #570 21.07/21.17 c Core size: 333 Core Weight: 1 Total Weight: -190 21.07/21.17 c Elapsed CPU time: 21.0738 s Remaining CPU time: 1778.93 s 21.16/21.22 c ============================[ Search Statistics ]============================== 21.16/21.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.16/21.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.16/21.22 c =============================================================================== 21.16/21.22 c | 0 | 3208 42644 88284 | 14214 0 nan | 0.000 % | 21.16/21.24 c | 100 | 3208 42644 88284 | 15636 100 10 | 0.000 % | 21.16/21.24 c | 250 | 3208 42644 88284 | 17199 250 13 | 0.000 % | 21.16/21.25 c | 480 | 3191 42644 88284 | 18919 480 14 | 6.858 % | 21.16/21.26 c =============================================================================== 21.16/21.27 c core #571 21.16/21.27 c Core size: 235 Core Weight: 1 Total Weight: -189 21.16/21.27 c Elapsed CPU time: 21.1678 s Remaining CPU time: 1778.83 s 21.26/21.32 c ============================[ Search Statistics ]============================== 21.26/21.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.26/21.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.26/21.32 c =============================================================================== 21.26/21.32 c | 0 | 3266 42645 88400 | 14215 0 nan | 0.000 % | 21.26/21.33 c | 101 | 3266 42645 88400 | 15636 101 11 | 0.000 % | 21.26/21.34 c | 253 | 3266 42645 88400 | 17200 253 11 | 0.000 % | 21.26/21.36 c | 479 | 3266 42645 88400 | 18920 479 19 | 0.000 % | 21.26/21.38 c | 817 | 3266 42645 88400 | 20812 817 21 | 0.000 % | 21.37/21.40 c =============================================================================== 21.37/21.41 c core #572 21.37/21.41 c Core size: 392 Core Weight: 1 Total Weight: -188 21.37/21.41 c Elapsed CPU time: 21.3048 s Remaining CPU time: 1778.7 s 21.37/21.46 c ============================[ Search Statistics ]============================== 21.37/21.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.37/21.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.37/21.46 c =============================================================================== 21.37/21.46 c | 0 | 3330 42646 88528 | 14215 0 nan | 0.000 % | 21.37/21.48 c | 100 | 3330 42646 88528 | 15636 100 17 | 0.000 % | 21.37/21.48 c | 251 | 3330 42646 88528 | 17200 251 19 | 0.000 % | 21.37/21.49 c | 478 | 3330 42646 88528 | 18920 478 18 | 0.000 % | 21.46/21.52 c | 820 | 3328 42646 88528 | 20812 820 17 | 0.060 % | 21.46/21.52 c =============================================================================== 21.46/21.52 c core #573 21.46/21.52 c Core size: 68 Core Weight: 1 Total Weight: -187 21.46/21.52 c Elapsed CPU time: 21.4117 s Remaining CPU time: 1778.59 s 21.46/21.57 c ============================[ Search Statistics ]============================== 21.46/21.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.46/21.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.46/21.57 c =============================================================================== 21.46/21.57 c | 0 | 3354 42647 88576 | 14215 0 nan | 0.000 % | 21.46/21.58 c | 100 | 3354 42647 88576 | 15637 100 12 | 0.000 % | 21.46/21.59 c | 250 | 3354 42647 88576 | 17200 250 14 | 0.000 % | 21.57/21.60 c | 476 | 3353 42647 88576 | 18921 476 14 | 0.030 % | 21.57/21.62 c | 815 | 3351 42647 88576 | 20813 815 17 | 0.089 % | 21.57/21.66 c | 1323 | 3348 42647 88576 | 22894 1317 19 | 0.180 % | 21.57/21.68 c =============================================================================== 21.57/21.69 c core #574 21.57/21.69 c Core size: 485 Core Weight: 1 Total Weight: -186 21.57/21.69 c Elapsed CPU time: 21.5687 s Remaining CPU time: 1778.43 s 21.66/21.74 c ============================[ Search Statistics ]============================== 21.66/21.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.66/21.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.66/21.74 c =============================================================================== 21.66/21.74 c | 0 | 3454 42648 88776 | 14216 0 nan | 0.000 % | 21.66/21.75 c | 100 | 3421 42648 88776 | 15637 100 13 | 6.746 % | 21.66/21.76 c =============================================================================== 21.66/21.76 c core #575 21.66/21.76 c Core size: 48 Core Weight: 1 Total Weight: -185 21.66/21.76 c Elapsed CPU time: 21.6357 s Remaining CPU time: 1778.36 s 21.76/21.81 c ============================[ Search Statistics ]============================== 21.76/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.76/21.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.76/21.81 c =============================================================================== 21.76/21.81 c | 0 | 3470 42649 88808 | 14216 0 nan | 0.000 % | 21.76/21.82 c | 100 | 3470 42649 88808 | 15637 100 15 | 0.000 % | 21.76/21.82 c | 250 | 3469 42649 88808 | 17201 250 15 | 0.029 % | 21.76/21.83 c =============================================================================== 21.76/21.83 c core #576 21.76/21.83 c Core size: 114 Core Weight: 1 Total Weight: -184 21.76/21.83 c Elapsed CPU time: 21.7067 s Remaining CPU time: 1778.29 s 21.76/21.88 c ============================[ Search Statistics ]============================== 21.76/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.76/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.76/21.88 c =============================================================================== 21.76/21.88 c | 0 | 3496 42650 88860 | 14216 0 nan | 0.000 % | 21.76/21.89 c | 102 | 3496 42650 88860 | 15638 102 15 | 0.000 % | 21.76/21.90 c | 252 | 3496 42650 88860 | 17202 252 12 | 0.000 % | 21.87/21.91 c =============================================================================== 21.87/21.91 c core #577 21.87/21.91 c Core size: 30 Core Weight: 1 Total Weight: -183 21.87/21.91 c Elapsed CPU time: 21.7877 s Remaining CPU time: 1778.21 s 21.87/21.96 c ============================[ Search Statistics ]============================== 21.87/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.87/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.87/21.96 c =============================================================================== 21.87/21.96 c | 0 | 3504 42651 88876 | 14217 0 nan | 0.000 % | 21.87/21.97 c | 100 | 3504 42651 88876 | 15638 100 12 | 0.000 % | 21.87/21.98 c =============================================================================== 21.87/21.98 c core #578 21.87/21.98 c Core size: 59 Core Weight: 1 Total Weight: -182 21.87/21.98 c Elapsed CPU time: 21.8567 s Remaining CPU time: 1778.14 s 21.96/22.03 c ============================[ Search Statistics ]============================== 21.96/22.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.96/22.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.96/22.03 c =============================================================================== 21.96/22.03 c | 0 | 3522 42652 88912 | 14217 0 nan | 0.000 % | 21.96/22.04 c | 101 | 3522 42652 88912 | 15639 101 13 | 0.000 % | 21.96/22.05 c | 251 | 3522 42652 88912 | 17202 251 14 | 0.000 % | 21.96/22.06 c | 477 | 3522 42652 88912 | 18923 477 19 | 0.000 % | 21.96/22.08 c | 814 | 3521 42652 88912 | 20815 814 21 | 0.028 % | 21.96/22.09 c =============================================================================== 21.96/22.09 c core #579 21.96/22.09 c Core size: 45 Core Weight: 1 Total Weight: -181 21.96/22.09 c Elapsed CPU time: 21.9607 s Remaining CPU time: 1778.04 s 22.06/22.14 c ============================[ Search Statistics ]============================== 22.06/22.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.06/22.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.06/22.14 c =============================================================================== 22.06/22.14 c | 0 | 3536 42653 88940 | 14217 0 nan | 0.000 % | 22.06/22.15 c | 100 | 3536 42653 88940 | 15639 100 15 | 0.000 % | 22.06/22.16 c | 251 | 3535 42653 88940 | 17203 251 11 | 0.028 % | 22.06/22.18 c | 476 | 3534 42653 88940 | 18923 476 11 | 0.057 % | 22.06/22.19 c =============================================================================== 22.06/22.19 c core #580 22.06/22.19 c Core size: 352 Core Weight: 1 Total Weight: -180 22.06/22.19 c Elapsed CPU time: 22.0596 s Remaining CPU time: 1777.94 s 22.16/22.24 c ============================[ Search Statistics ]============================== 22.16/22.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.16/22.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.16/22.24 c =============================================================================== 22.16/22.24 c | 0 | 3604 42654 89076 | 14218 0 nan | 0.000 % | 22.16/22.26 c | 100 | 3604 42654 89076 | 15639 100 16 | 0.000 % | 22.16/22.26 c | 250 | 3604 42654 89076 | 17203 250 15 | 0.000 % | 22.16/22.28 c | 475 | 3604 42654 89076 | 18924 475 19 | 0.000 % | 22.16/22.30 c | 815 | 3603 42654 89076 | 20816 815 19 | 0.028 % | 22.26/22.30 c =============================================================================== 22.26/22.31 c core #581 22.26/22.31 c Core size: 338 Core Weight: 1 Total Weight: -179 22.26/22.31 c Elapsed CPU time: 22.1716 s Remaining CPU time: 1777.83 s 22.26/22.36 c ============================[ Search Statistics ]============================== 22.26/22.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.26/22.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.26/22.36 c =============================================================================== 22.26/22.36 c | 0 | 3664 42655 89196 | 14218 0 nan | 0.000 % | 22.26/22.37 c | 100 | 3664 42655 89196 | 15640 100 10 | 0.000 % | 22.26/22.38 c =============================================================================== 22.26/22.38 c core #582 22.26/22.38 c Core size: 29 Core Weight: 1 Total Weight: -178 22.26/22.38 c Elapsed CPU time: 22.2386 s Remaining CPU time: 1777.76 s 22.36/22.43 c ============================[ Search Statistics ]============================== 22.36/22.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.36/22.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.36/22.43 c =============================================================================== 22.36/22.43 c | 0 | 3674 42656 89216 | 14218 0 nan | 0.000 % | 22.36/22.44 c | 100 | 3674 42656 89216 | 15640 100 10 | 0.000 % | 22.36/22.45 c =============================================================================== 22.36/22.45 c core #583 22.36/22.45 c Core size: 56 Core Weight: 1 Total Weight: -177 22.36/22.45 c Elapsed CPU time: 22.3086 s Remaining CPU time: 1777.69 s 22.46/22.50 c ============================[ Search Statistics ]============================== 22.46/22.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.46/22.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.46/22.50 c =============================================================================== 22.46/22.50 c | 0 | 3688 42657 89244 | 14219 0 nan | 0.000 % | 22.46/22.51 c | 102 | 3688 42657 89244 | 15640 102 14 | 0.000 % | 22.46/22.52 c | 253 | 3688 42657 89244 | 17204 253 26 | 0.000 % | 22.46/22.53 c =============================================================================== 22.46/22.53 c core #584 22.46/22.53 c Core size: 61 Core Weight: 1 Total Weight: -176 22.46/22.53 c Elapsed CPU time: 22.3846 s Remaining CPU time: 1777.62 s 22.46/22.58 c ============================[ Search Statistics ]============================== 22.46/22.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.46/22.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.46/22.58 c =============================================================================== 22.46/22.58 c | 0 | 3700 42658 89268 | 14219 0 nan | 0.000 % | 22.55/22.60 c | 100 | 3700 42658 89268 | 15641 100 19 | 0.000 % | 22.55/22.61 c | 252 | 3699 42658 89268 | 17205 252 15 | 0.027 % | 22.55/22.62 c | 477 | 3699 42658 89268 | 18925 477 19 | 0.027 % | 22.55/22.65 c | 815 | 3696 42658 89268 | 20818 815 28 | 0.108 % | 22.66/22.70 c | 1321 | 3686 42658 89268 | 22900 1315 40 | 0.378 % | 22.66/22.79 c | 2080 | 3685 42658 89268 | 25190 2054 43 | 0.405 % | 22.86/22.95 c | 3219 | 3684 42658 89268 | 27709 3193 45 | 0.432 % | 23.16/23.28 c | 4929 | 3684 42658 89268 | 30480 4901 47 | 0.432 % | 23.95/24.09 c | 7492 | 3684 42658 89268 | 33528 7464 52 | 0.432 % | 25.26/25.32 c =============================================================================== 25.36/25.47 c core #585 25.36/25.47 c Core size: 923 Core Weight: 1 Total Weight: -175 25.36/25.47 c Elapsed CPU time: 25.2842 s Remaining CPU time: 1774.72 s 25.46/25.53 c ============================[ Search Statistics ]============================== 25.46/25.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.46/25.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.46/25.53 c =============================================================================== 25.46/25.53 c | 0 | 3812 42659 89492 | 14219 0 nan | 0.000 % | 25.46/25.55 c | 101 | 3812 42659 89492 | 15641 101 35 | 0.000 % | 25.46/25.56 c =============================================================================== 25.46/25.56 c core #586 25.46/25.56 c Core size: 61 Core Weight: 1 Total Weight: -174 25.46/25.56 c Elapsed CPU time: 25.3701 s Remaining CPU time: 1774.63 s 25.55/25.60 c ============================[ Search Statistics ]============================== 25.55/25.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.55/25.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.55/25.60 c =============================================================================== 25.55/25.60 c | 0 | 3826 42660 89520 | 14220 0 nan | 0.000 % | 25.55/25.62 c | 100 | 3826 42660 89520 | 15642 100 17 | 0.000 % | 25.55/25.63 c | 254 | 3825 42660 89520 | 17206 254 14 | 0.026 % | 25.55/25.64 c | 479 | 3825 42660 89520 | 18926 479 15 | 0.026 % | 25.55/25.66 c | 818 | 3825 42660 89520 | 20819 818 17 | 0.026 % | 25.55/25.68 c =============================================================================== 25.55/25.69 c core #587 25.55/25.69 c Core size: 467 Core Weight: 1 Total Weight: -173 25.55/25.69 c Elapsed CPU time: 25.4901 s Remaining CPU time: 1774.51 s 25.65/25.75 c ============================[ Search Statistics ]============================== 25.65/25.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.65/25.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.65/25.75 c =============================================================================== 25.65/25.75 c | 0 | 3896 42661 89660 | 14220 0 nan | 0.000 % | 25.65/25.77 c | 100 | 3896 42661 89660 | 15642 100 16 | 0.000 % | 25.65/25.77 c | 250 | 3896 42661 89660 | 17206 250 19 | 0.000 % | 25.65/25.79 c | 476 | 3895 42661 89660 | 18927 476 21 | 0.026 % | 25.75/25.81 c | 816 | 3894 42661 89660 | 20819 816 22 | 0.051 % | 25.75/25.85 c | 1324 | 3885 42661 89660 | 22901 1318 25 | 0.282 % | 25.86/25.91 c | 2084 | 3869 42661 89660 | 25192 2078 28 | 0.693 % | 25.86/25.94 c =============================================================================== 25.86/25.96 c core #588 25.86/25.96 c Core size: 532 Core Weight: 1 Total Weight: -172 25.86/25.96 c Elapsed CPU time: 25.7511 s Remaining CPU time: 1774.25 s 25.95/26.01 c ============================[ Search Statistics ]============================== 25.95/26.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.95/26.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.95/26.01 c =============================================================================== 25.95/26.01 c | 0 | 3982 42662 89832 | 14220 0 nan | 0.000 % | 25.95/26.03 c | 102 | 3982 42662 89832 | 15642 102 13 | 0.000 % | 25.95/26.04 c | 254 | 3982 42662 89832 | 17207 254 15 | 0.000 % | 25.95/26.05 c | 479 | 3981 42662 89832 | 18927 479 15 | 0.025 % | 25.95/26.07 c | 817 | 3976 42662 89832 | 20820 817 20 | 0.151 % | 26.05/26.10 c | 1324 | 3975 42662 89832 | 22902 1311 24 | 0.176 % | 26.05/26.16 c | 2083 | 3971 42662 89832 | 25192 2070 30 | 0.276 % | 26.25/26.33 c | 3222 | 3966 42662 89832 | 27712 3186 47 | 0.402 % | 26.55/26.66 c | 4933 | 3963 42662 89832 | 30483 4891 57 | 0.477 % | 27.26/27.36 c | 7497 | 3960 42662 89832 | 33531 7449 66 | 0.552 % | 28.85/28.98 c | 11341 | 3960 42662 89832 | 36884 11293 73 | 0.552 % | 31.65/31.75 c | 17108 | 3960 42662 89832 | 40573 17052 78 | 0.552 % | 37.84/37.95 c | 25760 | 3960 42662 89832 | 44630 25704 79 | 0.552 % | 42.25/42.33 c =============================================================================== 42.65/42.78 c core #589 42.65/42.78 c Core size: 1142 Core Weight: 1 Total Weight: -171 42.65/42.78 c Elapsed CPU time: 42.4465 s Remaining CPU time: 1757.55 s 42.75/42.88 c ============================[ Search Statistics ]============================== 42.75/42.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.75/42.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.75/42.88 c =============================================================================== 42.75/42.88 c | 0 | 4116 42663 90100 | 14221 0 nan | 0.000 % | 42.75/42.90 c | 101 | 4116 42663 90100 | 15643 101 37 | 0.000 % | 42.85/42.91 c | 251 | 4116 42663 90100 | 17207 251 22 | 0.000 % | 42.85/42.92 c | 476 | 4115 42663 90100 | 18928 476 20 | 0.024 % | 42.85/42.95 c | 816 | 4115 42663 90100 | 20820 816 33 | 0.024 % | 42.85/42.98 c | 1322 | 4115 42663 90100 | 22903 1322 34 | 0.024 % | 42.95/43.06 c | 2082 | 4112 42663 90100 | 25193 2081 48 | 0.097 % | 43.15/43.22 c | 3223 | 4112 42663 90100 | 27712 3222 64 | 0.097 % | 43.15/43.23 c =============================================================================== 43.15/43.23 c core #590 43.15/43.23 c Core size: 56 Core Weight: 1 Total Weight: -170 43.15/43.23 c Elapsed CPU time: 42.8745 s Remaining CPU time: 1757.13 s 43.15/43.27 c ============================[ Search Statistics ]============================== 43.15/43.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.15/43.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.15/43.27 c =============================================================================== 43.15/43.27 c | 0 | 4130 42664 90128 | 14221 0 nan | 0.000 % | 43.15/43.28 c | 101 | 4130 42664 90128 | 15643 101 25 | 0.000 % | 43.15/43.29 c | 251 | 4130 42664 90128 | 17207 251 18 | 0.000 % | 43.24/43.30 c | 476 | 4130 42664 90128 | 18928 476 21 | 0.000 % | 43.24/43.33 c | 814 | 4129 42664 90128 | 20821 814 30 | 0.024 % | 43.24/43.37 c | 1320 | 4128 42664 90128 | 22903 1308 39 | 0.048 % | 43.34/43.45 c | 2079 | 4127 42664 90128 | 25193 2067 44 | 0.073 % | 43.44/43.58 c | 3219 | 4127 42664 90128 | 27713 3207 51 | 0.073 % | 43.84/43.91 c | 4928 | 4127 42664 90128 | 30484 4915 66 | 0.073 % | 44.44/44.52 c | 7493 | 4126 42664 90128 | 33533 7474 71 | 0.097 % | 45.64/45.76 c | 11337 | 4123 42664 90128 | 36886 11297 77 | 0.169 % | 48.54/48.68 c | 17104 | 4122 42664 90128 | 40575 17061 75 | 0.194 % | 49.74/49.87 c =============================================================================== 49.94/50.07 c core #591 49.94/50.07 c Core size: 768 Core Weight: 1 Total Weight: -169 49.94/50.07 c Elapsed CPU time: 49.6465 s Remaining CPU time: 1750.35 s 50.04/50.15 c ============================[ Search Statistics ]============================== 50.04/50.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.04/50.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.04/50.15 c =============================================================================== 50.04/50.15 c | 0 | 4216 42665 90300 | 14221 0 nan | 0.000 % | 50.04/50.17 c | 102 | 4216 42665 90300 | 15643 102 17 | 0.000 % | 50.04/50.18 c | 253 | 4216 42665 90300 | 17208 253 13 | 0.000 % | 50.04/50.19 c | 480 | 4216 42665 90300 | 18929 480 15 | 0.000 % | 50.14/50.21 c | 820 | 4212 42665 90300 | 20821 820 16 | 0.095 % | 50.14/50.25 c | 1328 | 4198 42665 90300 | 22904 1317 19 | 0.427 % | 50.14/50.26 c =============================================================================== 50.14/50.27 c core #592 50.14/50.27 c Core size: 544 Core Weight: 1 Total Weight: -168 50.14/50.27 c Elapsed CPU time: 49.8334 s Remaining CPU time: 1750.17 s 50.24/50.31 c ============================[ Search Statistics ]============================== 50.24/50.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.24/50.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.24/50.31 c =============================================================================== 50.24/50.31 c | 0 | 4310 42666 90488 | 14222 0 nan | 0.000 % | 50.24/50.32 c | 100 | 4310 42666 90488 | 15644 100 22 | 0.000 % | 50.24/50.33 c | 250 | 4310 42666 90488 | 17208 250 17 | 0.000 % | 50.24/50.35 c | 475 | 4310 42666 90488 | 18929 475 17 | 0.000 % | 50.24/50.37 c | 813 | 4310 42666 90488 | 20822 813 25 | 0.000 % | 50.33/50.41 c | 1319 | 4310 42666 90488 | 22904 1319 45 | 0.000 % | 50.33/50.48 c | 2078 | 4310 42666 90488 | 25195 2078 53 | 0.000 % | 50.54/50.69 c | 3219 | 4310 42666 90488 | 27714 3219 94 | 0.000 % | 51.03/51.12 c | 4930 | 4310 42666 90488 | 30486 4930 112 | 0.000 % | 51.54/51.66 c | 7493 | 4310 42666 90488 | 33534 7493 109 | 0.000 % | 52.83/52.98 c | 11337 | 4310 42666 90488 | 36888 11337 125 | 0.000 % | 55.13/55.27 c | 17105 | 4310 42666 90488 | 40577 17105 138 | 0.000 % | 61.33/61.40 c | 25755 | 4310 42666 90488 | 44634 25755 144 | 0.000 % | 78.73/78.85 c | 38734 | 4310 42666 90488 | 49098 38734 159 | 0.000 % | 118.42/118.56 c | 58195 | 4259 42666 90488 | 54008 23564 182 | 1.183 % | 140.50/140.65 c | 87392 | 4248 42666 90488 | 59408 52761 160 | 1.439 % | 146.30/146.44 c =============================================================================== 146.80/146.90 c core #593 146.80/146.90 c Core size: 2307 Core Weight: 1 Total Weight: -167 146.80/146.90 c Elapsed CPU time: 145.947 s Remaining CPU time: 1654.05 s 146.90/147.07 c ============================[ Search Statistics ]============================== 146.90/147.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 146.90/147.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 146.90/147.07 c =============================================================================== 146.90/147.07 c | 0 | 4488 42667 90844 | 14222 0 nan | 0.000 % | 147.00/147.10 c | 100 | 4488 42667 90844 | 15644 100 16 | 0.000 % | 147.00/147.11 c | 250 | 4488 42667 90844 | 17209 250 18 | 0.000 % | 147.00/147.13 c | 475 | 4488 42667 90844 | 18929 475 22 | 0.000 % | 147.00/147.15 c | 812 | 4488 42667 90844 | 20822 812 25 | 0.000 % | 147.10/147.20 c | 1319 | 4488 42667 90844 | 22905 1319 29 | 0.000 % | 147.10/147.27 c | 2078 | 4488 42667 90844 | 25195 2078 36 | 0.000 % | 147.30/147.41 c | 3217 | 4488 42667 90844 | 27715 3217 44 | 0.000 % | 147.50/147.68 c | 4925 | 4488 42667 90844 | 30486 4925 54 | 0.000 % | 148.00/148.13 c | 7488 | 4488 42667 90844 | 33535 7488 59 | 0.000 % | 148.90/149.08 c | 11332 | 4488 42667 90844 | 36889 11332 73 | 0.000 % | 151.60/151.74 c | 17101 | 4488 42667 90844 | 40577 17101 95 | 0.000 % | 157.50/157.64 c | 25751 | 4488 42667 90844 | 44635 25751 107 | 0.000 % | 171.00/171.17 c | 38728 | 4488 42667 90844 | 49099 38728 120 | 0.000 % | 193.69/193.84 c | 58195 | 4488 42667 90844 | 54009 23603 139 | 0.000 % | 232.38/232.54 c | 87387 | 4488 42667 90844 | 59410 52795 150 | 0.000 % | 290.76/290.96 c | 131178 | 4488 42667 90844 | 65351 52663 158 | 0.000 % | 395.33/395.50 c | 196866 | 4488 42667 90844 | 71886 19756 92 | 0.000 % | 575.57/575.84 c | 295393 | 4488 42667 90844 | 79074 64310 117 | 0.000 % | 856.89/857.21 c | 443183 | 4488 42667 90844 | 86982 26247 71 | 0.000 % | 1344.55/1345.06 c | 664866 | 4487 42667 90844 | 95680 45252 66 | 0.022 % | 1382.74/1383.20 c =============================================================================== 1400.44/1400.96 c core #594 1400.44/1400.96 c Core size: 2779 Core Weight: 1 Total Weight: -166 1400.44/1400.96 c Elapsed CPU time: 1396.56 s Remaining CPU time: 403.443 s 1401.24/1401.72 c ============================[ Search Statistics ]============================== 1401.24/1401.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1401.24/1401.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1401.24/1401.72 c =============================================================================== 1401.24/1401.72 c | 0 | 4668 42668 91204 | 14222 0 nan | 0.000 % | 1401.34/1401.86 c | 101 | 4668 42668 91204 | 15644 101 29 | 0.000 % | 1401.34/1401.87 c | 256 | 4668 42668 91204 | 17209 256 28 | 0.000 % | 1401.34/1401.89 c | 486 | 4668 42668 91204 | 18930 486 36 | 0.000 % | 1401.43/1401.91 c | 825 | 4668 42668 91204 | 20823 825 44 | 0.000 % | 1401.43/1401.95 c | 1331 | 4668 42668 91204 | 22905 1331 44 | 0.000 % | 1401.54/1402.02 c | 2090 | 4668 42668 91204 | 25196 2090 59 | 0.000 % | 1401.63/1402.14 c | 3229 | 4668 42668 91204 | 27715 3229 57 | 0.000 % | 1401.94/1402.44 c | 4938 | 4668 42668 91204 | 30487 4938 61 | 0.000 % | 1402.44/1402.97 c | 7501 | 4668 42668 91204 | 33536 7501 74 | 0.000 % | 1403.73/1404.28 c | 11346 | 4668 42668 91204 | 36889 11346 110 | 0.000 % | 1407.33/1407.84 c | 17116 | 4668 42668 91204 | 40578 17116 132 | 0.000 % | 1415.73/1416.24 c | 25766 | 4668 42668 91204 | 44636 25766 159 | 0.000 % | 1433.22/1433.70 c | 38740 | 4668 42668 91204 | 49100 38740 172 | 0.000 % | 1452.81/1453.38 c | 58201 | 4668 42668 91204 | 54010 22595 159 | 0.000 % | 1511.00/1511.52 c | 87395 | 4668 42668 91204 | 59411 51789 161 | 0.000 % | 1589.57/1590.18 c | 131184 | 4668 42668 91204 | 65352 51305 166 | 0.000 % | 1756.93/1757.57 c | 196869 | 4668 42668 91204 | 71888 22992 141 | 0.000 % |
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-1875716-1245165237/watcher-1875716-1245165237 -o /tmp/evaluation-result-1875716-1245165237/solver-1875716-1245165237 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875716-1245165237.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4153 /proc/meminfo: memFree=1857512/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=3504 CPUtime=0 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 184122999 3588096 201 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 876 202 128 292 0 339 0 [startup+0.0235789 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4153 /proc/meminfo: memFree=1857512/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=3776 CPUtime=0.02 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 312 0 0 0 2 0 0 0 18 0 1 0 184122999 3866624 296 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 944 305 165 292 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3776 [startup+0.102588 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4153 /proc/meminfo: memFree=1857512/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=4736 CPUtime=0.1 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 701 0 0 0 10 0 0 0 18 0 1 0 184122999 4849664 685 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1184 685 320 292 0 647 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4736 [startup+0.302609 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4153 /proc/meminfo: memFree=1857512/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=6408 CPUtime=0.29 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 1483 0 0 0 29 0 0 0 19 0 1 0 184122999 6561792 1109 1992294400 134512640 135709839 4294956240 18446744073709551615 134605125 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1602 1109 133 292 0 1307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6408 [startup+0.701654 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4153 /proc/meminfo: memFree=1857512/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=6408 CPUtime=0.69 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 1483 0 0 0 69 0 0 0 22 0 1 0 184122999 6561792 1109 1992294400 134512640 135709839 4294956240 18446744073709551615 135163564 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1602 1109 133 292 0 1307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6408 [startup+1.50174 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1853664/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=6408 CPUtime=1.49 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 1483 0 0 0 149 0 0 0 25 0 1 0 184122999 6561792 1109 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1602 1109 133 292 0 1307 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6408 [startup+3.10192 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1853280/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=6408 CPUtime=3.09 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 1535 0 0 0 309 0 0 0 25 0 1 0 184122999 6561792 1109 1992294400 134512640 135709839 4294956240 18446744073709551615 134529900 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1602 1109 133 292 0 1307 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6408 [startup+6.30127 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1852912/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=7056 CPUtime=6.29 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 1699 0 0 0 627 2 0 0 25 0 1 0 184122999 7225344 1273 1992294400 134512640 135709839 4294956240 18446744073709551615 134605128 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 1764 1273 133 292 0 1469 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7056 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1850808/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=9372 CPUtime=12.69 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 2309 0 0 0 1267 2 0 0 25 0 1 0 184122999 9596928 1835 1992294400 134512640 135709839 4294956240 18446744073709551615 135166068 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 2343 1835 135 292 0 2048 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9372 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1840696/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=20340 CPUtime=25.46 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 5400 0 0 0 2531 15 0 0 25 0 1 0 184122999 20828160 4619 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 5085 4620 136 292 0 4790 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 20340 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1823288/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=36408 CPUtime=51.03 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 9340 0 0 0 5063 40 0 0 25 0 1 0 184122999 37281792 8559 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 9102 8559 136 292 0 8807 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 36408 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1800312/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=59128 CPUtime=102.22 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 15089 0 0 0 10160 62 0 0 25 0 1 0 184122999 60547072 14308 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 14782 14308 136 292 0 14487 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 59128 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1759416/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=100088 CPUtime=162.2 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 25256 0 0 0 16122 98 0 0 25 0 1 0 184122999 102490112 24475 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 25022 24475 136 292 0 24727 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 100088 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1752312/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=107104 CPUtime=222.18 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 27067 0 0 0 22104 114 0 0 25 0 1 0 184122999 109674496 26286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 26776 26286 136 292 0 26481 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 107104 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1711800/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=147744 CPUtime=282.17 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 37204 0 0 0 28078 139 0 0 25 0 1 0 184122999 151289856 36423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 36936 36423 136 292 0 36641 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 147744 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1682680/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=176980 CPUtime=342.14 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 44454 0 0 0 34058 156 0 0 25 0 1 0 184122999 181227520 43673 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 44245 43673 136 292 0 43950 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 176980 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1655608/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=204228 CPUtime=402.13 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 51254 0 0 0 40039 174 0 0 25 0 1 0 184122999 209129472 50473 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 51057 50473 136 292 0 50762 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 204228 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1629880/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=229572 CPUtime=462.11 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 57570 0 0 0 46020 191 0 0 25 0 1 0 184122999 235081728 56789 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 57393 56789 136 292 0 57098 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 229572 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1609272/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=250432 CPUtime=522.09 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 62778 0 0 0 52005 204 0 0 25 0 1 0 184122999 256442368 61997 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 62608 61997 136 292 0 62313 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 250432 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1586168/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=273336 CPUtime=582.07 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 68467 0 0 0 57988 219 0 0 25 0 1 0 184122999 279896064 67686 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 68334 67686 136 292 0 68039 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 273336 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1561976/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=297284 CPUtime=642.06 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 74449 0 0 0 63967 239 0 0 25 0 1 0 184122999 304418816 73668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 74321 73668 136 292 0 74026 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 297284 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1512120/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=347288 CPUtime=822 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 86919 0 0 0 81924 276 0 0 25 0 1 0 184122999 355622912 86138 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 86822 86138 136 292 0 86527 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 347288 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1493496/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=365844 CPUtime=881.98 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 91559 0 0 0 87906 292 0 0 25 0 1 0 184122999 374624256 90778 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 91461 90778 136 292 0 91166 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 365844 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1481208/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=378240 CPUtime=941.97 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 94635 0 0 0 93895 302 0 0 25 0 1 0 184122999 387317760 93854 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 94560 93854 136 292 0 94265 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 378240 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1469816/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=389476 CPUtime=1001.96 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 97453 0 0 0 99883 313 0 0 25 0 1 0 184122999 398823424 96672 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 97369 96672 136 292 0 97074 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 389476 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1449784/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=409612 CPUtime=1061.94 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 102474 0 0 0 105869 325 0 0 25 0 1 0 184122999 419442688 101693 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 102403 101693 136 292 0 102108 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 409612 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1436920/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=422540 CPUtime=1121.92 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 105657 0 0 0 111857 335 0 0 25 0 1 0 184122999 432680960 104876 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 105635 104876 136 292 0 105340 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 422540 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1421432/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=438368 CPUtime=1181.9 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 109604 0 0 0 117843 347 0 0 25 0 1 0 184122999 448888832 108823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 109592 108823 136 292 0 109297 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 438368 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1402104/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=457148 CPUtime=1241.89 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 114314 0 0 0 123828 361 0 0 25 0 1 0 184122999 468119552 113533 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 114287 113533 136 292 0 113992 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 457148 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1391992/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=467212 CPUtime=1301.87 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 116811 0 0 0 129816 371 0 0 25 0 1 0 184122999 478425088 116030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 116803 116030 136 292 0 116508 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 467212 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1372536/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=486868 CPUtime=1361.85 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 121689 0 0 0 135797 388 0 0 25 0 1 0 184122999 498552832 120908 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 121717 120908 136 292 0 121422 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 486868 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1353848/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=505148 CPUtime=1421.83 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 126405 0 0 0 141774 409 0 0 25 0 1 0 184122999 517271552 125538 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 126287 125538 136 292 0 125992 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 505148 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1352824/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=505148 CPUtime=1481.81 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 126638 0 0 0 147758 423 0 0 25 0 1 0 184122999 517271552 125771 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 126287 125771 136 292 0 125992 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 505148 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1352760/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=505148 CPUtime=1541.79 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 126651 0 0 0 153746 433 0 0 25 0 1 0 184122999 517271552 125784 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 126287 125784 136 292 0 125992 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 505148 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1335736/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=522360 CPUtime=1601.77 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 130932 0 0 0 159732 445 0 0 25 0 1 0 184122999 534896640 130065 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 130590 130065 136 292 0 130295 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 522360 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1315896/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=542272 CPUtime=1661.76 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 135879 0 0 0 165717 459 0 0 25 0 1 0 184122999 555286528 135012 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 135568 135012 136 292 0 135273 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 542272 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1301880/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=556232 CPUtime=1721.74 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 139355 0 0 0 171704 470 0 0 25 0 1 0 184122999 569581568 138488 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 139058 138488 136 292 0 138763 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 556232 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1283576/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=574552 CPUtime=1781.72 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 143903 0 0 0 177689 483 0 0 25 0 1 0 184122999 588341248 143036 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 143638 143036 136 292 0 143343 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 574552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4154 /proc/meminfo: memFree=1278072/2055920 swapFree=4192812/4192956 [pid=4153] ppid=4151 vsize=579904 CPUtime=1800.02 /proc/4153/stat : 4153 (wbo) R 4151 4153 3914 0 -1 4194304 145254 0 0 0 179515 487 0 0 25 0 1 0 184122999 593821696 144387 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4153/statm: 144976 144387 136 292 0 144681 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 579904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.13 CPU user time (s): 1795.16 CPU system time (s): 4.97324 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 579904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.16 system time used= 4.97324 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145254 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= 4 involuntary context switches= 4333 runsolver used 1.38279 second user time and 3.72843 second system time The end
Begin job on node35 at 2009-06-16 17:13:57 IDJOB=1875716 IDBENCH=2243 IDSOLVER=698 FILE ID=node35/1875716-1245165237 PBS_JOBID= 9363827 Free space on /tmp= 66136 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-1.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-1875716-1245165237/watcher-1875716-1245165237 -o /tmp/evaluation-result-1875716-1245165237/solver-1875716-1245165237 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875716-1245165237.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=1431269517 node35.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.232 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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858056 kB Buffers: 39848 kB Cached: 83908 kB SwapCached: 140 kB Active: 57136 kB Inactive: 80716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858056 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3344 kB Writeback: 0 kB Mapped: 23744 kB Slab: 46016 kB Committed_AS: 170100 kB PageTables: 1404 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-1875716-1245165237.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-16 17:44:00