Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.24 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | 4acf18ad1cd52676d2699a99f210ed0a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1795.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27842 |
Number of constraints which are clauses | 27842 |
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 | 595 |
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 | 595 |
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 | 595 |
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-1875737-1245168585.opb. 0.00/0.00 c Instance file HOME/instance-1875737-1245168585.opb 0.00/0.00 c File size is 663564 bytes. 0.00/0.07 c Highest Coefficient sum: 3 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 595 | 0.00/0.07 c | Number Clauses: 28437 | 0.00/0.07 c | Number Cardinality: 0 | 0.00/0.07 c | Number PB Constraints: 0 | 0.00/0.07 c core #1 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: -594 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.08/0.09 c core #2 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: -593 0.08/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #3 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: -592 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #4 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: -591 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.13 c core #5 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: -590 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #6 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -589 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #7 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: -588 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #8 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: -587 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #9 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -586 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #10 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -585 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #11 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -584 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #12 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -583 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #13 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -582 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #14 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -581 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #15 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -580 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #16 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -579 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #17 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -578 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #18 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -577 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #19 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -576 0.29/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #20 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -575 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #21 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -574 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #22 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -573 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #23 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -572 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #24 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -571 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #25 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -570 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #26 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -569 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #27 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -568 0.39/0.43 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #28 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -567 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #29 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -566 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #30 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -565 0.39/0.48 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #31 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -564 0.39/0.49 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #32 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -563 0.49/0.51 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #33 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -562 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #34 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -561 0.49/0.53 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #35 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -560 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #36 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -559 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #37 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -558 0.49/0.58 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #38 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -557 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #39 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -556 0.59/0.61 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #40 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -555 0.59/0.62 c Elapsed CPU time: 0.617906 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #41 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -554 0.59/0.63 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #42 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -553 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #43 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -552 0.59/0.66 c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #44 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -551 0.59/0.68 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #45 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -550 0.59/0.69 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #46 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -549 0.69/0.71 c Elapsed CPU time: 0.704892 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #47 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -548 0.69/0.72 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #48 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -547 0.69/0.74 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #49 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -546 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #50 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -545 0.69/0.76 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #51 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -544 0.69/0.78 c Elapsed CPU time: 0.775882 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #52 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -543 0.69/0.79 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #53 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -542 0.79/0.81 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #54 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -541 0.79/0.82 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #55 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -540 0.79/0.84 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #56 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -539 0.79/0.85 c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #57 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -538 0.79/0.87 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #58 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -537 0.79/0.88 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.79/0.90 c core #59 0.79/0.90 c Core size: 3 Core Weight: 1 Total Weight: -536 0.79/0.90 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #60 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -535 0.89/0.91 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #61 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -534 0.89/0.93 c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #62 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -533 0.89/0.94 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #63 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -532 0.89/0.96 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #64 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -531 0.89/0.97 c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #65 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -530 0.89/0.98 c Elapsed CPU time: 0.98085 s Remaining CPU time: 1799.02 s 0.89/1.00 c core #66 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: -529 0.89/1.00 c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s 0.99/1.01 c core #67 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: -528 0.99/1.01 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 0.99/1.03 c core #68 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: -527 0.99/1.03 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #69 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: -526 0.99/1.04 c Elapsed CPU time: 1.04084 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #70 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: -525 0.99/1.06 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #71 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: -524 0.99/1.07 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.09 c core #72 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -523 0.99/1.09 c Elapsed CPU time: 1.08583 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #73 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: -522 1.09/1.11 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.09/1.12 c core #74 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: -521 1.09/1.12 c Elapsed CPU time: 1.11583 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #75 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -520 1.09/1.14 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.09/1.15 c core #76 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: -519 1.09/1.15 c Elapsed CPU time: 1.14583 s Remaining CPU time: 1798.85 s 1.09/1.17 c core #77 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: -518 1.09/1.17 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #78 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: -517 1.09/1.18 c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s 1.09/1.20 c core #79 1.09/1.20 c Core size: 3 Core Weight: 1 Total Weight: -516 1.09/1.20 c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #80 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -515 1.19/1.21 c Elapsed CPU time: 1.20582 s Remaining CPU time: 1798.79 s 1.19/1.23 c core #81 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -514 1.19/1.23 c Elapsed CPU time: 1.22181 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #82 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -513 1.19/1.24 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.26 c core #83 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: -512 1.19/1.26 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #84 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -511 1.19/1.27 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #85 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -510 1.19/1.29 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #86 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: -509 1.29/1.31 c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #87 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -508 1.29/1.32 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #88 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -507 1.29/1.34 c Elapsed CPU time: 1.3308 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #89 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -506 1.29/1.36 c Elapsed CPU time: 1.34679 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #90 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -505 1.29/1.37 c Elapsed CPU time: 1.36279 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #91 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -504 1.29/1.39 c Elapsed CPU time: 1.37779 s Remaining CPU time: 1798.62 s 1.38/1.40 c core #92 1.38/1.40 c Core size: 3 Core Weight: 1 Total Weight: -503 1.38/1.40 c Elapsed CPU time: 1.39279 s Remaining CPU time: 1798.61 s 1.38/1.42 c core #93 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: -502 1.38/1.42 c Elapsed CPU time: 1.40878 s Remaining CPU time: 1798.59 s 1.38/1.43 c core #94 1.38/1.43 c Core size: 3 Core Weight: 1 Total Weight: -501 1.38/1.43 c Elapsed CPU time: 1.42578 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #95 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: -500 1.38/1.45 c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s 1.38/1.47 c core #96 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: -499 1.38/1.47 c Elapsed CPU time: 1.45578 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #97 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: -498 1.38/1.48 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.48/1.50 c core #98 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: -497 1.48/1.50 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #99 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: -496 1.48/1.51 c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s 1.48/1.53 c core #100 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: -495 1.48/1.53 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.48/1.55 c core #101 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: -494 1.48/1.55 c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #102 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: -493 1.48/1.56 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.48/1.58 c core #103 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: -492 1.48/1.58 c Elapsed CPU time: 1.56876 s Remaining CPU time: 1798.43 s 1.48/1.60 c core #104 1.48/1.60 c Core size: 3 Core Weight: 1 Total Weight: -491 1.48/1.60 c Elapsed CPU time: 1.58576 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #105 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: -490 1.58/1.61 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.58/1.63 c core #106 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: -489 1.58/1.63 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.58/1.65 c core #107 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: -488 1.58/1.65 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #108 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: -487 1.58/1.66 c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s 1.58/1.68 c core #109 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: -486 1.58/1.68 c Elapsed CPU time: 1.66775 s Remaining CPU time: 1798.33 s 1.68/1.70 c core #110 1.68/1.70 c Core size: 3 Core Weight: 1 Total Weight: -485 1.68/1.70 c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s 1.68/1.71 c core #111 1.68/1.71 c Core size: 3 Core Weight: 1 Total Weight: -484 1.68/1.71 c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s 1.68/1.73 c core #112 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: -483 1.68/1.73 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.68/1.75 c core #113 1.68/1.75 c Core size: 3 Core Weight: 1 Total Weight: -482 1.68/1.75 c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s 1.68/1.76 c core #114 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: -481 1.68/1.76 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.68/1.78 c core #115 1.68/1.78 c Core size: 3 Core Weight: 1 Total Weight: -480 1.68/1.78 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.68/1.80 c core #116 1.68/1.80 c Core size: 3 Core Weight: 1 Total Weight: -479 1.68/1.80 c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s 1.78/1.81 c core #117 1.78/1.81 c Core size: 3 Core Weight: 1 Total Weight: -478 1.78/1.81 c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s 1.78/1.83 c core #118 1.78/1.83 c Core size: 3 Core Weight: 1 Total Weight: -477 1.78/1.83 c Elapsed CPU time: 1.81372 s Remaining CPU time: 1798.19 s 1.78/1.85 c core #119 1.78/1.85 c Core size: 3 Core Weight: 1 Total Weight: -476 1.78/1.85 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.78/1.86 c core #120 1.78/1.86 c Core size: 3 Core Weight: 1 Total Weight: -475 1.78/1.86 c Elapsed CPU time: 1.84772 s Remaining CPU time: 1798.15 s 1.78/1.88 c core #121 1.78/1.88 c Core size: 3 Core Weight: 1 Total Weight: -474 1.78/1.88 c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s 1.87/1.90 c core #122 1.87/1.90 c Core size: 3 Core Weight: 1 Total Weight: -473 1.87/1.90 c Elapsed CPU time: 1.88171 s Remaining CPU time: 1798.12 s 1.87/1.92 c core #123 1.87/1.92 c Core size: 3 Core Weight: 1 Total Weight: -472 1.87/1.92 c Elapsed CPU time: 1.89771 s Remaining CPU time: 1798.1 s 1.87/1.93 c core #124 1.87/1.93 c Core size: 3 Core Weight: 1 Total Weight: -471 1.87/1.93 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.87/1.95 c core #125 1.87/1.95 c Core size: 3 Core Weight: 1 Total Weight: -470 1.87/1.95 c Elapsed CPU time: 1.93271 s Remaining CPU time: 1798.07 s 1.87/1.97 c core #126 1.87/1.97 c Core size: 3 Core Weight: 1 Total Weight: -469 1.87/1.97 c Elapsed CPU time: 1.9487 s Remaining CPU time: 1798.05 s 1.87/1.98 c core #127 1.87/1.98 c Core size: 3 Core Weight: 1 Total Weight: -468 1.87/1.98 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.97/2.00 c core #128 1.97/2.00 c Core size: 3 Core Weight: 1 Total Weight: -467 1.97/2.00 c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s 1.97/2.02 c core #129 1.97/2.02 c Core size: 3 Core Weight: 1 Total Weight: -466 1.97/2.02 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.97/2.03 c core #130 1.97/2.03 c Core size: 3 Core Weight: 1 Total Weight: -465 1.97/2.03 c Elapsed CPU time: 2.01569 s Remaining CPU time: 1797.98 s 1.97/2.05 c core #131 1.97/2.05 c Core size: 3 Core Weight: 1 Total Weight: -464 1.97/2.05 c Elapsed CPU time: 2.03269 s Remaining CPU time: 1797.97 s 1.97/2.07 c core #132 1.97/2.07 c Core size: 3 Core Weight: 1 Total Weight: -463 1.97/2.07 c Elapsed CPU time: 2.04969 s Remaining CPU time: 1797.95 s 1.97/2.08 c core #133 1.97/2.08 c Core size: 3 Core Weight: 1 Total Weight: -462 1.97/2.08 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 2.08/2.10 c core #134 2.08/2.10 c Core size: 3 Core Weight: 1 Total Weight: -461 2.08/2.10 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.08/2.12 c core #135 2.08/2.12 c Core size: 3 Core Weight: 1 Total Weight: -460 2.08/2.12 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.08/2.14 c core #136 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: -459 2.08/2.14 c Elapsed CPU time: 2.11768 s Remaining CPU time: 1797.88 s 2.08/2.15 c core #137 2.08/2.15 c Core size: 3 Core Weight: 1 Total Weight: -458 2.08/2.15 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.08/2.17 c core #138 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: -457 2.08/2.17 c Elapsed CPU time: 2.15267 s Remaining CPU time: 1797.85 s 2.08/2.19 c core #139 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: -456 2.08/2.19 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.18/2.21 c core #140 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: -455 2.18/2.21 c Elapsed CPU time: 2.18767 s Remaining CPU time: 1797.81 s 2.18/2.22 c core #141 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: -454 2.18/2.22 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #142 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: -453 2.18/2.24 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.18/2.26 c core #143 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: -452 2.18/2.26 c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s 2.18/2.28 c core #144 2.18/2.28 c Core size: 3 Core Weight: 1 Total Weight: -451 2.18/2.28 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.18/2.29 c core #145 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: -450 2.18/2.29 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.27/2.31 c core #146 2.27/2.31 c Core size: 3 Core Weight: 1 Total Weight: -449 2.27/2.31 c Elapsed CPU time: 2.29365 s Remaining CPU time: 1797.71 s 2.27/2.33 c core #147 2.27/2.33 c Core size: 3 Core Weight: 1 Total Weight: -448 2.27/2.33 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.27/2.35 c core #148 2.27/2.35 c Core size: 3 Core Weight: 1 Total Weight: -447 2.27/2.35 c Elapsed CPU time: 2.32765 s Remaining CPU time: 1797.67 s 2.27/2.36 c core #149 2.27/2.36 c Core size: 3 Core Weight: 1 Total Weight: -446 2.27/2.36 c Elapsed CPU time: 2.34464 s Remaining CPU time: 1797.66 s 2.27/2.38 c core #150 2.27/2.38 c Core size: 3 Core Weight: 1 Total Weight: -445 2.27/2.38 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.37/2.40 c core #151 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: -444 2.37/2.40 c Elapsed CPU time: 2.37964 s Remaining CPU time: 1797.62 s 2.37/2.42 c core #152 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: -443 2.37/2.42 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.37/2.43 c core #153 2.37/2.43 c Core size: 3 Core Weight: 1 Total Weight: -442 2.37/2.43 c Elapsed CPU time: 2.41463 s Remaining CPU time: 1797.59 s 2.37/2.45 c core #154 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: -441 2.37/2.45 c Elapsed CPU time: 2.43163 s Remaining CPU time: 1797.57 s 2.37/2.47 c core #155 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: -440 2.37/2.47 c Elapsed CPU time: 2.44863 s Remaining CPU time: 1797.55 s 2.37/2.49 c core #156 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: -439 2.37/2.49 c Elapsed CPU time: 2.46663 s Remaining CPU time: 1797.53 s 2.47/2.50 c core #157 2.47/2.50 c Core size: 3 Core Weight: 1 Total Weight: -438 2.47/2.50 c Elapsed CPU time: 2.48362 s Remaining CPU time: 1797.52 s 2.47/2.52 c core #158 2.47/2.52 c Core size: 3 Core Weight: 1 Total Weight: -437 2.47/2.52 c Elapsed CPU time: 2.50062 s Remaining CPU time: 1797.5 s 2.47/2.54 c core #159 2.47/2.54 c Core size: 3 Core Weight: 1 Total Weight: -436 2.47/2.54 c Elapsed CPU time: 2.51762 s Remaining CPU time: 1797.48 s 2.47/2.56 c core #160 2.47/2.56 c Core size: 3 Core Weight: 1 Total Weight: -435 2.47/2.56 c Elapsed CPU time: 2.53561 s Remaining CPU time: 1797.46 s 2.47/2.57 c core #161 2.47/2.57 c Core size: 3 Core Weight: 1 Total Weight: -434 2.47/2.57 c Elapsed CPU time: 2.55261 s Remaining CPU time: 1797.45 s 2.47/2.59 c core #162 2.47/2.59 c Core size: 3 Core Weight: 1 Total Weight: -433 2.47/2.59 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.57/2.61 c core #163 2.57/2.61 c Core size: 3 Core Weight: 1 Total Weight: -432 2.57/2.61 c Elapsed CPU time: 2.58661 s Remaining CPU time: 1797.41 s 2.57/2.63 c core #164 2.57/2.63 c Core size: 3 Core Weight: 1 Total Weight: -431 2.57/2.63 c Elapsed CPU time: 2.6036 s Remaining CPU time: 1797.4 s 2.57/2.65 c core #165 2.57/2.65 c Core size: 3 Core Weight: 1 Total Weight: -430 2.57/2.65 c Elapsed CPU time: 2.6216 s Remaining CPU time: 1797.38 s 2.57/2.66 c core #166 2.57/2.66 c Core size: 3 Core Weight: 1 Total Weight: -429 2.57/2.66 c Elapsed CPU time: 2.6386 s Remaining CPU time: 1797.36 s 2.57/2.68 c core #167 2.57/2.68 c Core size: 3 Core Weight: 1 Total Weight: -428 2.57/2.68 c Elapsed CPU time: 2.6566 s Remaining CPU time: 1797.34 s 2.67/2.70 c core #168 2.67/2.70 c Core size: 3 Core Weight: 1 Total Weight: -427 2.67/2.70 c Elapsed CPU time: 2.67459 s Remaining CPU time: 1797.33 s 2.67/2.72 c core #169 2.67/2.72 c Core size: 3 Core Weight: 1 Total Weight: -426 2.67/2.72 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.67/2.73 c core #170 2.67/2.73 c Core size: 3 Core Weight: 1 Total Weight: -425 2.67/2.73 c Elapsed CPU time: 2.70859 s Remaining CPU time: 1797.29 s 2.67/2.75 c core #171 2.67/2.75 c Core size: 3 Core Weight: 1 Total Weight: -424 2.67/2.75 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.67/2.77 c core #172 2.67/2.77 c Core size: 3 Core Weight: 1 Total Weight: -423 2.67/2.77 c Elapsed CPU time: 2.74458 s Remaining CPU time: 1797.26 s 2.67/2.79 c core #173 2.67/2.79 c Core size: 3 Core Weight: 1 Total Weight: -422 2.67/2.79 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.77/2.81 c core #174 2.77/2.81 c Core size: 3 Core Weight: 1 Total Weight: -421 2.77/2.81 c Elapsed CPU time: 2.78158 s Remaining CPU time: 1797.22 s 2.77/2.82 c core #175 2.77/2.82 c Core size: 3 Core Weight: 1 Total Weight: -420 2.77/2.82 c Elapsed CPU time: 2.79957 s Remaining CPU time: 1797.2 s 2.77/2.84 c core #176 2.77/2.84 c Core size: 3 Core Weight: 1 Total Weight: -419 2.77/2.84 c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s 2.77/2.86 c core #177 2.77/2.86 c Core size: 3 Core Weight: 1 Total Weight: -418 2.77/2.86 c Elapsed CPU time: 2.83557 s Remaining CPU time: 1797.16 s 2.77/2.88 c core #178 2.77/2.88 c Core size: 3 Core Weight: 1 Total Weight: -417 2.77/2.88 c Elapsed CPU time: 2.85357 s Remaining CPU time: 1797.15 s 2.87/2.90 c core #179 2.87/2.90 c Core size: 3 Core Weight: 1 Total Weight: -416 2.87/2.90 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.87/2.92 c core #180 2.87/2.92 c Core size: 3 Core Weight: 1 Total Weight: -415 2.87/2.92 c Elapsed CPU time: 2.88956 s Remaining CPU time: 1797.11 s 2.87/2.93 c core #181 2.87/2.93 c Core size: 3 Core Weight: 1 Total Weight: -414 2.87/2.93 c Elapsed CPU time: 2.90756 s Remaining CPU time: 1797.09 s 2.87/2.95 c core #182 2.87/2.95 c Core size: 3 Core Weight: 1 Total Weight: -413 2.87/2.95 c Elapsed CPU time: 2.92656 s Remaining CPU time: 1797.07 s 2.87/2.97 c core #183 2.87/2.97 c Core size: 3 Core Weight: 1 Total Weight: -412 2.87/2.97 c Elapsed CPU time: 2.94455 s Remaining CPU time: 1797.06 s 2.87/2.99 c core #184 2.87/2.99 c Core size: 3 Core Weight: 1 Total Weight: -411 2.87/2.99 c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s 2.97/3.01 c core #185 2.97/3.01 c Core size: 3 Core Weight: 1 Total Weight: -410 2.97/3.01 c Elapsed CPU time: 2.98155 s Remaining CPU time: 1797.02 s 2.97/3.03 c core #186 2.97/3.03 c Core size: 3 Core Weight: 1 Total Weight: -409 2.97/3.03 c Elapsed CPU time: 2.99954 s Remaining CPU time: 1797 s 2.97/3.04 c core #187 2.97/3.04 c Core size: 3 Core Weight: 1 Total Weight: -408 2.97/3.04 c Elapsed CPU time: 3.01854 s Remaining CPU time: 1796.98 s 2.97/3.06 c core #188 2.97/3.06 c Core size: 3 Core Weight: 1 Total Weight: -407 2.97/3.06 c Elapsed CPU time: 3.03654 s Remaining CPU time: 1796.96 s 2.97/3.08 c core #189 2.97/3.08 c Core size: 3 Core Weight: 1 Total Weight: -406 2.97/3.08 c Elapsed CPU time: 3.05553 s Remaining CPU time: 1796.94 s 3.07/3.10 c core #190 3.07/3.10 c Core size: 3 Core Weight: 1 Total Weight: -405 3.07/3.10 c Elapsed CPU time: 3.07553 s Remaining CPU time: 1796.92 s 3.07/3.12 c core #191 3.07/3.12 c Core size: 3 Core Weight: 1 Total Weight: -404 3.07/3.12 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.07/3.14 c core #192 3.07/3.14 c Core size: 3 Core Weight: 1 Total Weight: -403 3.07/3.14 c Elapsed CPU time: 3.11253 s Remaining CPU time: 1796.89 s 3.07/3.16 c core #193 3.07/3.16 c Core size: 3 Core Weight: 1 Total Weight: -402 3.07/3.16 c Elapsed CPU time: 3.13052 s Remaining CPU time: 1796.87 s 3.07/3.18 c core #194 3.07/3.18 c Core size: 3 Core Weight: 1 Total Weight: -401 3.07/3.18 c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s 3.07/3.20 c core #195 3.07/3.20 c Core size: 3 Core Weight: 1 Total Weight: -400 3.07/3.20 c Elapsed CPU time: 3.16852 s Remaining CPU time: 1796.83 s 3.17/3.21 c core #196 3.17/3.21 c Core size: 3 Core Weight: 1 Total Weight: -399 3.17/3.21 c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s 3.17/3.23 c core #197 3.17/3.23 c Core size: 3 Core Weight: 1 Total Weight: -398 3.17/3.23 c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s 3.17/3.25 c core #198 3.17/3.25 c Core size: 3 Core Weight: 1 Total Weight: -397 3.17/3.25 c Elapsed CPU time: 3.22551 s Remaining CPU time: 1796.77 s 3.17/3.27 c core #199 3.17/3.27 c Core size: 3 Core Weight: 1 Total Weight: -396 3.17/3.27 c Elapsed CPU time: 3.24451 s Remaining CPU time: 1796.76 s 3.17/3.29 c core #200 3.17/3.29 c Core size: 3 Core Weight: 1 Total Weight: -395 3.17/3.29 c Elapsed CPU time: 3.2635 s Remaining CPU time: 1796.74 s 3.27/3.31 c core #201 3.27/3.31 c Core size: 3 Core Weight: 1 Total Weight: -394 3.27/3.31 c Elapsed CPU time: 3.2815 s Remaining CPU time: 1796.72 s 3.27/3.33 c core #202 3.27/3.33 c Core size: 3 Core Weight: 1 Total Weight: -393 3.27/3.33 c Elapsed CPU time: 3.3005 s Remaining CPU time: 1796.7 s 3.27/3.35 c core #203 3.27/3.35 c Core size: 3 Core Weight: 1 Total Weight: -392 3.27/3.35 c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s 3.27/3.37 c core #204 3.27/3.37 c Core size: 3 Core Weight: 1 Total Weight: -391 3.27/3.37 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.27/3.39 c core #205 3.27/3.39 c Core size: 3 Core Weight: 1 Total Weight: -390 3.27/3.39 c Elapsed CPU time: 3.35749 s Remaining CPU time: 1796.64 s 3.36/3.41 c core #206 3.36/3.41 c Core size: 3 Core Weight: 1 Total Weight: -389 3.36/3.41 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.36/3.42 c core #207 3.36/3.42 c Core size: 3 Core Weight: 1 Total Weight: -388 3.36/3.42 c Elapsed CPU time: 3.39648 s Remaining CPU time: 1796.6 s 3.36/3.44 c core #208 3.36/3.44 c Core size: 3 Core Weight: 1 Total Weight: -387 3.36/3.44 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.36/3.46 c core #209 3.36/3.46 c Core size: 3 Core Weight: 1 Total Weight: -386 3.36/3.46 c Elapsed CPU time: 3.43548 s Remaining CPU time: 1796.56 s 3.36/3.48 c core #210 3.36/3.48 c Core size: 3 Core Weight: 1 Total Weight: -385 3.36/3.48 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 3.46/3.50 c core #211 3.46/3.50 c Core size: 3 Core Weight: 1 Total Weight: -384 3.46/3.50 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.46/3.52 c core #212 3.46/3.52 c Core size: 3 Core Weight: 1 Total Weight: -383 3.46/3.52 c Elapsed CPU time: 3.49247 s Remaining CPU time: 1796.51 s 3.46/3.54 c core #213 3.46/3.54 c Core size: 3 Core Weight: 1 Total Weight: -382 3.46/3.54 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s 3.46/3.56 c core #214 3.46/3.56 c Core size: 3 Core Weight: 1 Total Weight: -381 3.46/3.56 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.46/3.58 c core #215 3.46/3.58 c Core size: 3 Core Weight: 1 Total Weight: -380 3.46/3.58 c Elapsed CPU time: 3.55046 s Remaining CPU time: 1796.45 s 3.56/3.60 c core #216 3.56/3.60 c Core size: 3 Core Weight: 1 Total Weight: -379 3.56/3.60 c Elapsed CPU time: 3.57046 s Remaining CPU time: 1796.43 s 3.56/3.62 c core #217 3.56/3.62 c Core size: 3 Core Weight: 1 Total Weight: -378 3.56/3.62 c Elapsed CPU time: 3.58945 s Remaining CPU time: 1796.41 s 3.56/3.64 c core #218 3.56/3.64 c Core size: 3 Core Weight: 1 Total Weight: -377 3.56/3.64 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.56/3.66 c core #219 3.56/3.66 c Core size: 3 Core Weight: 1 Total Weight: -376 3.56/3.66 c Elapsed CPU time: 3.62945 s Remaining CPU time: 1796.37 s 3.56/3.68 c core #220 3.56/3.68 c Core size: 3 Core Weight: 1 Total Weight: -375 3.56/3.68 c Elapsed CPU time: 3.64845 s Remaining CPU time: 1796.35 s 3.66/3.70 c core #221 3.66/3.70 c Core size: 3 Core Weight: 1 Total Weight: -374 3.66/3.70 c Elapsed CPU time: 3.66844 s Remaining CPU time: 1796.33 s 3.66/3.72 c core #222 3.66/3.72 c Core size: 3 Core Weight: 1 Total Weight: -373 3.66/3.72 c Elapsed CPU time: 3.68844 s Remaining CPU time: 1796.31 s 3.66/3.74 c core #223 3.66/3.74 c Core size: 3 Core Weight: 1 Total Weight: -372 3.66/3.74 c Elapsed CPU time: 3.70844 s Remaining CPU time: 1796.29 s 3.66/3.76 c core #224 3.66/3.76 c Core size: 3 Core Weight: 1 Total Weight: -371 3.66/3.76 c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s 3.66/3.78 c core #225 3.66/3.78 c Core size: 3 Core Weight: 1 Total Weight: -370 3.66/3.78 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.77/3.80 c core #226 3.77/3.80 c Core size: 3 Core Weight: 1 Total Weight: -369 3.77/3.80 c Elapsed CPU time: 3.76743 s Remaining CPU time: 1796.23 s 3.77/3.82 c core #227 3.77/3.82 c Core size: 3 Core Weight: 1 Total Weight: -368 3.77/3.82 c Elapsed CPU time: 3.78842 s Remaining CPU time: 1796.21 s 3.77/3.84 c core #228 3.77/3.84 c Core size: 3 Core Weight: 1 Total Weight: -367 3.77/3.84 c Elapsed CPU time: 3.80842 s Remaining CPU time: 1796.19 s 3.77/3.86 c core #229 3.77/3.86 c Core size: 3 Core Weight: 1 Total Weight: -366 3.77/3.86 c Elapsed CPU time: 3.82842 s Remaining CPU time: 1796.17 s 3.77/3.88 c core #230 3.77/3.88 c Core size: 3 Core Weight: 1 Total Weight: -365 3.77/3.88 c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s 3.87/3.90 c core #231 3.87/3.90 c Core size: 3 Core Weight: 1 Total Weight: -364 3.87/3.90 c Elapsed CPU time: 3.86841 s Remaining CPU time: 1796.13 s 3.87/3.92 c core #232 3.87/3.92 c Core size: 3 Core Weight: 1 Total Weight: -363 3.87/3.92 c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s 3.87/3.94 c core #233 3.87/3.94 c Core size: 3 Core Weight: 1 Total Weight: -362 3.87/3.94 c Elapsed CPU time: 3.90941 s Remaining CPU time: 1796.09 s 3.87/3.96 c core #234 3.87/3.96 c Core size: 3 Core Weight: 1 Total Weight: -361 3.87/3.96 c Elapsed CPU time: 3.9294 s Remaining CPU time: 1796.07 s 3.87/3.98 c core #235 3.87/3.98 c Core size: 3 Core Weight: 1 Total Weight: -360 3.87/3.98 c Elapsed CPU time: 3.9514 s Remaining CPU time: 1796.05 s 3.97/4.00 c core #236 3.97/4.00 c Core size: 3 Core Weight: 1 Total Weight: -359 3.97/4.00 c Elapsed CPU time: 3.9714 s Remaining CPU time: 1796.03 s 3.97/4.03 c core #237 3.97/4.03 c Core size: 3 Core Weight: 1 Total Weight: -358 3.97/4.03 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 3.97/4.05 c core #238 3.97/4.05 c Core size: 3 Core Weight: 1 Total Weight: -357 3.97/4.05 c Elapsed CPU time: 4.01339 s Remaining CPU time: 1795.99 s 3.97/4.07 c core #239 3.97/4.07 c Core size: 3 Core Weight: 1 Total Weight: -356 3.97/4.07 c Elapsed CPU time: 4.03439 s Remaining CPU time: 1795.97 s 3.97/4.09 c core #240 3.97/4.09 c Core size: 3 Core Weight: 1 Total Weight: -355 3.97/4.09 c Elapsed CPU time: 4.05538 s Remaining CPU time: 1795.94 s 4.07/4.11 c core #241 4.07/4.11 c Core size: 3 Core Weight: 1 Total Weight: -354 4.07/4.11 c Elapsed CPU time: 4.07638 s Remaining CPU time: 1795.92 s 4.07/4.13 c core #242 4.07/4.13 c Core size: 3 Core Weight: 1 Total Weight: -353 4.07/4.13 c Elapsed CPU time: 4.09738 s Remaining CPU time: 1795.9 s 4.07/4.15 c core #243 4.07/4.15 c Core size: 3 Core Weight: 1 Total Weight: -352 4.07/4.15 c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s 4.07/4.17 c core #244 4.07/4.17 c Core size: 3 Core Weight: 1 Total Weight: -351 4.07/4.17 c Elapsed CPU time: 4.13837 s Remaining CPU time: 1795.86 s 4.07/4.19 c core #245 4.07/4.19 c Core size: 3 Core Weight: 1 Total Weight: -350 4.07/4.19 c Elapsed CPU time: 4.16037 s Remaining CPU time: 1795.84 s 4.17/4.22 c core #246 4.17/4.22 c Core size: 3 Core Weight: 1 Total Weight: -349 4.17/4.22 c Elapsed CPU time: 4.18136 s Remaining CPU time: 1795.82 s 4.17/4.24 c core #247 4.17/4.24 c Core size: 3 Core Weight: 1 Total Weight: -348 4.17/4.24 c Elapsed CPU time: 4.20336 s Remaining CPU time: 1795.8 s 4.17/4.26 c core #248 4.17/4.26 c Core size: 3 Core Weight: 1 Total Weight: -347 4.17/4.26 c Elapsed CPU time: 4.22536 s Remaining CPU time: 1795.77 s 4.17/4.28 c core #249 4.17/4.28 c Core size: 3 Core Weight: 1 Total Weight: -346 4.17/4.28 c Elapsed CPU time: 4.24635 s Remaining CPU time: 1795.75 s 4.27/4.30 c core #250 4.27/4.30 c Core size: 3 Core Weight: 1 Total Weight: -345 4.27/4.30 c Elapsed CPU time: 4.26835 s Remaining CPU time: 1795.73 s 4.27/4.32 c core #251 4.27/4.32 c Core size: 3 Core Weight: 1 Total Weight: -344 4.27/4.32 c Elapsed CPU time: 4.28935 s Remaining CPU time: 1795.71 s 4.27/4.35 c core #252 4.27/4.35 c Core size: 3 Core Weight: 1 Total Weight: -343 4.27/4.35 c Elapsed CPU time: 4.31034 s Remaining CPU time: 1795.69 s 4.27/4.37 c core #253 4.27/4.37 c Core size: 3 Core Weight: 1 Total Weight: -342 4.27/4.37 c Elapsed CPU time: 4.33234 s Remaining CPU time: 1795.67 s 4.27/4.39 c core #254 4.27/4.39 c Core size: 3 Core Weight: 1 Total Weight: -341 4.27/4.39 c Elapsed CPU time: 4.35434 s Remaining CPU time: 1795.65 s 4.37/4.41 c core #255 4.37/4.41 c Core size: 3 Core Weight: 1 Total Weight: -340 4.37/4.41 c Elapsed CPU time: 4.37434 s Remaining CPU time: 1795.63 s 4.37/4.43 c core #256 4.37/4.43 c Core size: 3 Core Weight: 1 Total Weight: -339 4.37/4.43 c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s 4.37/4.45 c core #257 4.37/4.45 c Core size: 3 Core Weight: 1 Total Weight: -338 4.37/4.45 c Elapsed CPU time: 4.41833 s Remaining CPU time: 1795.58 s 4.37/4.48 c core #258 4.37/4.48 c Core size: 3 Core Weight: 1 Total Weight: -337 4.37/4.48 c Elapsed CPU time: 4.44032 s Remaining CPU time: 1795.56 s 4.47/4.50 c core #259 4.47/4.50 c Core size: 3 Core Weight: 1 Total Weight: -336 4.47/4.50 c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s 4.47/4.52 c core #260 4.47/4.52 c Core size: 3 Core Weight: 1 Total Weight: -335 4.47/4.52 c Elapsed CPU time: 4.48432 s Remaining CPU time: 1795.52 s 4.47/4.54 c core #261 4.47/4.54 c Core size: 3 Core Weight: 1 Total Weight: -334 4.47/4.54 c Elapsed CPU time: 4.50631 s Remaining CPU time: 1795.49 s 4.47/4.57 c core #262 4.47/4.57 c Core size: 3 Core Weight: 1 Total Weight: -333 4.47/4.57 c Elapsed CPU time: 4.52931 s Remaining CPU time: 1795.47 s 4.47/4.59 c core #263 4.47/4.59 c Core size: 3 Core Weight: 1 Total Weight: -332 4.47/4.59 c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s 4.57/4.61 c core #264 4.57/4.61 c Core size: 3 Core Weight: 1 Total Weight: -331 4.57/4.61 c Elapsed CPU time: 4.5733 s Remaining CPU time: 1795.43 s 4.57/4.63 c core #265 4.57/4.63 c Core size: 3 Core Weight: 1 Total Weight: -330 4.57/4.63 c Elapsed CPU time: 4.5953 s Remaining CPU time: 1795.4 s 4.57/4.65 c core #266 4.57/4.65 c Core size: 3 Core Weight: 1 Total Weight: -329 4.57/4.65 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.57/4.68 c core #267 4.57/4.68 c Core size: 3 Core Weight: 1 Total Weight: -328 4.57/4.68 c Elapsed CPU time: 4.64029 s Remaining CPU time: 1795.36 s 4.66/4.70 c core #268 4.66/4.70 c Core size: 3 Core Weight: 1 Total Weight: -327 4.66/4.70 c Elapsed CPU time: 4.66329 s Remaining CPU time: 1795.34 s 4.66/4.72 c core #269 4.66/4.72 c Core size: 3 Core Weight: 1 Total Weight: -326 4.66/4.72 c Elapsed CPU time: 4.68529 s Remaining CPU time: 1795.31 s 4.66/4.75 c core #270 4.66/4.75 c Core size: 3 Core Weight: 1 Total Weight: -325 4.66/4.75 c Elapsed CPU time: 4.70728 s Remaining CPU time: 1795.29 s 4.66/4.77 c core #271 4.66/4.77 c Core size: 3 Core Weight: 1 Total Weight: -324 4.66/4.77 c Elapsed CPU time: 4.72928 s Remaining CPU time: 1795.27 s 4.66/4.79 c core #272 4.66/4.79 c Core size: 3 Core Weight: 1 Total Weight: -323 4.66/4.79 c Elapsed CPU time: 4.75228 s Remaining CPU time: 1795.25 s 4.76/4.81 c core #273 4.76/4.81 c Core size: 3 Core Weight: 1 Total Weight: -322 4.76/4.81 c Elapsed CPU time: 4.77427 s Remaining CPU time: 1795.23 s 4.76/4.84 c core #274 4.76/4.84 c Core size: 3 Core Weight: 1 Total Weight: -321 4.76/4.84 c Elapsed CPU time: 4.79527 s Remaining CPU time: 1795.2 s 4.76/4.86 c core #275 4.76/4.86 c Core size: 3 Core Weight: 1 Total Weight: -320 4.76/4.86 c Elapsed CPU time: 4.81927 s Remaining CPU time: 1795.18 s 4.76/4.89 c core #276 4.76/4.89 c Core size: 3 Core Weight: 1 Total Weight: -319 4.76/4.89 c Elapsed CPU time: 4.84226 s Remaining CPU time: 1795.16 s 4.86/4.91 c core #277 4.86/4.91 c Core size: 3 Core Weight: 1 Total Weight: -318 4.86/4.91 c Elapsed CPU time: 4.86526 s Remaining CPU time: 1795.13 s 4.86/4.93 c core #278 4.86/4.93 c Core size: 3 Core Weight: 1 Total Weight: -317 4.86/4.93 c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s 4.86/4.96 c core #279 4.86/4.96 c Core size: 3 Core Weight: 1 Total Weight: -316 4.86/4.96 c Elapsed CPU time: 4.91125 s Remaining CPU time: 1795.09 s 4.86/4.98 c core #280 4.86/4.98 c Core size: 3 Core Weight: 1 Total Weight: -315 4.86/4.98 c Elapsed CPU time: 4.93225 s Remaining CPU time: 1795.07 s 4.96/5.00 c core #281 4.96/5.00 c Core size: 3 Core Weight: 1 Total Weight: -314 4.96/5.00 c Elapsed CPU time: 4.95425 s Remaining CPU time: 1795.05 s 4.96/5.02 c core #282 4.96/5.02 c Core size: 3 Core Weight: 1 Total Weight: -313 4.96/5.02 c Elapsed CPU time: 4.97824 s Remaining CPU time: 1795.02 s 4.96/5.05 c core #283 4.96/5.05 c Core size: 3 Core Weight: 1 Total Weight: -312 4.96/5.05 c Elapsed CPU time: 5.00124 s Remaining CPU time: 1795 s 4.96/5.07 c core #284 4.96/5.07 c Core size: 3 Core Weight: 1 Total Weight: -311 4.96/5.07 c Elapsed CPU time: 5.02424 s Remaining CPU time: 1794.98 s 4.96/5.09 c core #285 4.96/5.09 c Core size: 3 Core Weight: 1 Total Weight: -310 4.96/5.09 c Elapsed CPU time: 5.04623 s Remaining CPU time: 1794.95 s 5.05/5.12 c core #286 5.05/5.12 c Core size: 3 Core Weight: 1 Total Weight: -309 5.05/5.12 c Elapsed CPU time: 5.07023 s Remaining CPU time: 1794.93 s 5.05/5.14 c core #287 5.05/5.14 c Core size: 3 Core Weight: 1 Total Weight: -308 5.05/5.14 c Elapsed CPU time: 5.09323 s Remaining CPU time: 1794.91 s 5.05/5.16 c core #288 5.05/5.16 c Core size: 3 Core Weight: 1 Total Weight: -307 5.05/5.16 c Elapsed CPU time: 5.11622 s Remaining CPU time: 1794.88 s 5.05/5.19 c core #289 5.05/5.19 c Core size: 3 Core Weight: 1 Total Weight: -306 5.05/5.19 c Elapsed CPU time: 5.13922 s Remaining CPU time: 1794.86 s 5.15/5.21 c core #290 5.15/5.21 c Core size: 3 Core Weight: 1 Total Weight: -305 5.15/5.21 c Elapsed CPU time: 5.16221 s Remaining CPU time: 1794.84 s 5.15/5.24 c core #291 5.15/5.24 c Core size: 3 Core Weight: 1 Total Weight: -304 5.15/5.24 c Elapsed CPU time: 5.18521 s Remaining CPU time: 1794.81 s 5.15/5.26 c core #292 5.15/5.26 c Core size: 3 Core Weight: 1 Total Weight: -303 5.15/5.26 c Elapsed CPU time: 5.20921 s Remaining CPU time: 1794.79 s 5.15/5.28 c core #293 5.15/5.28 c Core size: 3 Core Weight: 1 Total Weight: -302 5.15/5.28 c Elapsed CPU time: 5.2322 s Remaining CPU time: 1794.77 s 5.25/5.31 c core #294 5.25/5.31 c Core size: 3 Core Weight: 1 Total Weight: -301 5.25/5.31 c Elapsed CPU time: 5.2562 s Remaining CPU time: 1794.74 s 5.25/5.33 c core #295 5.25/5.33 c Core size: 3 Core Weight: 1 Total Weight: -300 5.25/5.33 c Elapsed CPU time: 5.2802 s Remaining CPU time: 1794.72 s 5.25/5.35 c core #296 5.25/5.35 c Core size: 3 Core Weight: 1 Total Weight: -299 5.25/5.35 c Elapsed CPU time: 5.30319 s Remaining CPU time: 1794.7 s 5.25/5.38 c core #297 5.25/5.38 c Core size: 10 Core Weight: 1 Total Weight: -298 5.25/5.38 c Elapsed CPU time: 5.32719 s Remaining CPU time: 1794.67 s 5.25/5.40 c core #298 5.25/5.40 c Core size: 6 Core Weight: 1 Total Weight: -297 5.36/5.40 c Elapsed CPU time: 5.35119 s Remaining CPU time: 1794.65 s 5.36/5.42 c core #299 5.36/5.42 c Core size: 10 Core Weight: 1 Total Weight: -296 5.36/5.42 c Elapsed CPU time: 5.37518 s Remaining CPU time: 1794.62 s 5.36/5.45 c ============================[ Search Statistics ]============================== 5.36/5.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.36/5.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.36/5.45 c =============================================================================== 5.36/5.45 c | 0 | 1200 28736 57489 | 9578 0 nan | 0.000 % | 5.36/5.45 c =============================================================================== 5.36/5.45 c core #300 5.36/5.45 c Core size: 13 Core Weight: 1 Total Weight: -295 5.36/5.45 c Elapsed CPU time: 5.39818 s Remaining CPU time: 1794.6 s 5.36/5.47 c ============================[ Search Statistics ]============================== 5.36/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.36/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.36/5.47 c =============================================================================== 5.36/5.47 c | 0 | 1206 28737 57501 | 9579 0 nan | 0.000 % | 5.36/5.48 c =============================================================================== 5.36/5.48 c core #301 5.36/5.48 c Core size: 13 Core Weight: 1 Total Weight: -294 5.36/5.48 c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s 5.36/5.50 c ============================[ Search Statistics ]============================== 5.36/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.36/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.36/5.50 c =============================================================================== 5.36/5.50 c | 0 | 1212 28738 57513 | 9579 0 nan | 0.000 % | 5.46/5.50 c =============================================================================== 5.46/5.50 c core #302 5.46/5.50 c Core size: 13 Core Weight: 1 Total Weight: -293 5.46/5.50 c Elapsed CPU time: 5.44617 s Remaining CPU time: 1794.55 s 5.46/5.52 c ============================[ Search Statistics ]============================== 5.46/5.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.46/5.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.46/5.52 c =============================================================================== 5.46/5.52 c | 0 | 1218 28739 57525 | 9579 0 nan | 0.000 % | 5.46/5.53 c =============================================================================== 5.46/5.53 c core #303 5.46/5.53 c Core size: 10 Core Weight: 1 Total Weight: -292 5.46/5.53 c Elapsed CPU time: 5.47217 s Remaining CPU time: 1794.53 s 5.46/5.55 c ============================[ Search Statistics ]============================== 5.46/5.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.46/5.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.46/5.55 c =============================================================================== 5.46/5.55 c | 0 | 1222 28740 57533 | 9580 0 nan | 0.000 % | 5.46/5.55 c =============================================================================== 5.46/5.55 c core #304 5.46/5.55 c Core size: 10 Core Weight: 1 Total Weight: -291 5.46/5.55 c Elapsed CPU time: 5.49816 s Remaining CPU time: 1794.5 s 5.46/5.58 c ============================[ Search Statistics ]============================== 5.46/5.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.46/5.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.46/5.58 c =============================================================================== 5.46/5.58 c | 0 | 1226 28741 57541 | 9580 0 nan | 0.000 % | 5.46/5.58 c =============================================================================== 5.46/5.58 c core #305 5.46/5.58 c Core size: 10 Core Weight: 1 Total Weight: -290 5.46/5.58 c Elapsed CPU time: 5.52416 s Remaining CPU time: 1794.48 s 5.56/5.60 c ============================[ Search Statistics ]============================== 5.56/5.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.60 c =============================================================================== 5.56/5.60 c | 0 | 1230 28742 57549 | 9580 0 nan | 0.000 % | 5.56/5.61 c =============================================================================== 5.56/5.61 c core #306 5.56/5.61 c Core size: 10 Core Weight: 1 Total Weight: -289 5.56/5.61 c Elapsed CPU time: 5.55016 s Remaining CPU time: 1794.45 s 5.56/5.63 c ============================[ Search Statistics ]============================== 5.56/5.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.63 c =============================================================================== 5.56/5.63 c | 0 | 1234 28743 57557 | 9581 0 nan | 0.000 % | 5.56/5.63 c =============================================================================== 5.56/5.63 c core #307 5.56/5.63 c Core size: 13 Core Weight: 1 Total Weight: -288 5.56/5.63 c Elapsed CPU time: 5.57415 s Remaining CPU time: 1794.43 s 5.56/5.65 c ============================[ Search Statistics ]============================== 5.56/5.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.65 c =============================================================================== 5.56/5.65 c | 0 | 1240 28744 57569 | 9581 0 nan | 0.000 % | 5.56/5.66 c =============================================================================== 5.56/5.66 c core #308 5.56/5.66 c Core size: 10 Core Weight: 1 Total Weight: -287 5.56/5.66 c Elapsed CPU time: 5.59815 s Remaining CPU time: 1794.4 s 5.56/5.68 c ============================[ Search Statistics ]============================== 5.56/5.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.68 c =============================================================================== 5.56/5.68 c | 0 | 1244 28745 57577 | 9581 0 nan | 0.000 % | 5.56/5.68 c =============================================================================== 5.56/5.68 c core #309 5.56/5.68 c Core size: 21 Core Weight: 1 Total Weight: -286 5.56/5.68 c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s 5.65/5.71 c ============================[ Search Statistics ]============================== 5.65/5.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.65/5.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.65/5.71 c =============================================================================== 5.65/5.71 c | 0 | 1252 28746 57593 | 9582 0 nan | 0.000 % | 5.65/5.71 c =============================================================================== 5.65/5.71 c core #310 5.65/5.71 c Core size: 10 Core Weight: 1 Total Weight: -285 5.65/5.71 c Elapsed CPU time: 5.64914 s Remaining CPU time: 1794.35 s 5.65/5.73 c ============================[ Search Statistics ]============================== 5.65/5.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.65/5.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.65/5.73 c =============================================================================== 5.65/5.73 c | 0 | 1256 28747 57601 | 9582 0 nan | 0.000 % | 5.65/5.74 c =============================================================================== 5.65/5.74 c core #311 5.65/5.74 c Core size: 13 Core Weight: 1 Total Weight: -284 5.65/5.74 c Elapsed CPU time: 5.67514 s Remaining CPU time: 1794.32 s 5.65/5.76 c ============================[ Search Statistics ]============================== 5.65/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.65/5.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.65/5.76 c =============================================================================== 5.65/5.76 c | 0 | 1262 28748 57613 | 9582 0 nan | 0.000 % | 5.65/5.76 c =============================================================================== 5.65/5.76 c core #312 5.65/5.76 c Core size: 10 Core Weight: 1 Total Weight: -283 5.65/5.76 c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s 5.65/5.79 c ============================[ Search Statistics ]============================== 5.65/5.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.65/5.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.65/5.79 c =============================================================================== 5.65/5.79 c | 0 | 1266 28749 57621 | 9583 0 nan | 0.000 % | 5.65/5.79 c =============================================================================== 5.65/5.79 c core #313 5.65/5.79 c Core size: 13 Core Weight: 1 Total Weight: -282 5.65/5.79 c Elapsed CPU time: 5.72913 s Remaining CPU time: 1794.27 s 5.75/5.81 c ============================[ Search Statistics ]============================== 5.75/5.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.75/5.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.75/5.81 c =============================================================================== 5.75/5.81 c | 0 | 1272 28750 57633 | 9583 0 nan | 0.000 % | 5.75/5.82 c =============================================================================== 5.75/5.82 c core #314 5.75/5.82 c Core size: 18 Core Weight: 1 Total Weight: -281 5.75/5.82 c Elapsed CPU time: 5.75512 s Remaining CPU time: 1794.24 s 5.75/5.84 c ============================[ Search Statistics ]============================== 5.75/5.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.75/5.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.75/5.84 c =============================================================================== 5.75/5.84 c | 0 | 1278 28751 57645 | 9583 0 nan | 0.000 % | 5.75/5.84 c =============================================================================== 5.75/5.84 c core #315 5.75/5.84 c Core size: 10 Core Weight: 1 Total Weight: -280 5.75/5.84 c Elapsed CPU time: 5.78212 s Remaining CPU time: 1794.22 s 5.75/5.87 c ============================[ Search Statistics ]============================== 5.75/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.75/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.75/5.87 c =============================================================================== 5.75/5.87 c | 0 | 1282 28752 57653 | 9584 0 nan | 0.000 % | 5.75/5.87 c =============================================================================== 5.75/5.87 c core #316 5.75/5.87 c Core size: 27 Core Weight: 1 Total Weight: -279 5.75/5.87 c Elapsed CPU time: 5.80912 s Remaining CPU time: 1794.19 s 5.75/5.89 c ============================[ Search Statistics ]============================== 5.75/5.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.75/5.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.75/5.89 c =============================================================================== 5.75/5.89 c | 0 | 1294 28753 57677 | 9584 0 nan | 0.000 % | 5.75/5.90 c =============================================================================== 5.75/5.90 c core #317 5.75/5.90 c Core size: 27 Core Weight: 1 Total Weight: -278 5.85/5.90 c Elapsed CPU time: 5.83611 s Remaining CPU time: 1794.16 s 5.85/5.92 c ============================[ Search Statistics ]============================== 5.85/5.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.85/5.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.85/5.92 c =============================================================================== 5.85/5.92 c | 0 | 1306 28754 57701 | 9584 0 nan | 0.000 % | 5.85/5.92 c =============================================================================== 5.85/5.92 c core #318 5.85/5.92 c Core size: 13 Core Weight: 1 Total Weight: -277 5.85/5.92 c Elapsed CPU time: 5.86411 s Remaining CPU time: 1794.14 s 5.85/5.95 c ============================[ Search Statistics ]============================== 5.85/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.85/5.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.85/5.95 c =============================================================================== 5.85/5.95 c | 0 | 1312 28755 57713 | 9585 0 nan | 0.000 % | 5.85/5.95 c =============================================================================== 5.85/5.95 c core #319 5.85/5.95 c Core size: 10 Core Weight: 1 Total Weight: -276 5.85/5.95 c Elapsed CPU time: 5.8921 s Remaining CPU time: 1794.11 s 5.85/5.98 c ============================[ Search Statistics ]============================== 5.85/5.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.85/5.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.85/5.98 c =============================================================================== 5.85/5.98 c | 0 | 1316 28756 57721 | 9585 0 nan | 0.000 % | 5.85/5.98 c =============================================================================== 5.85/5.98 c core #320 5.85/5.98 c Core size: 13 Core Weight: 1 Total Weight: -275 5.85/5.98 c Elapsed CPU time: 5.9181 s Remaining CPU time: 1794.08 s 5.95/6.00 c ============================[ Search Statistics ]============================== 5.95/6.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.95/6.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.95/6.00 c =============================================================================== 5.95/6.00 c | 0 | 1322 28757 57733 | 9585 0 nan | 0.000 % | 5.95/6.01 c =============================================================================== 5.95/6.01 c core #321 5.95/6.01 c Core size: 35 Core Weight: 1 Total Weight: -274 5.95/6.01 c Elapsed CPU time: 5.9441 s Remaining CPU time: 1794.06 s 5.95/6.03 c ============================[ Search Statistics ]============================== 5.95/6.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.95/6.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.95/6.03 c =============================================================================== 5.95/6.03 c | 0 | 1336 28758 57761 | 9586 0 nan | 0.000 % | 5.95/6.03 c =============================================================================== 5.95/6.03 c core #322 5.95/6.03 c Core size: 10 Core Weight: 1 Total Weight: -273 5.95/6.03 c Elapsed CPU time: 5.97109 s Remaining CPU time: 1794.03 s 5.95/6.06 c ============================[ Search Statistics ]============================== 5.95/6.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.95/6.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.95/6.06 c =============================================================================== 5.95/6.06 c | 0 | 1340 28759 57769 | 9586 0 nan | 0.000 % | 5.95/6.06 c =============================================================================== 5.95/6.06 c core #323 5.95/6.06 c Core size: 13 Core Weight: 1 Total Weight: -272 5.95/6.06 c Elapsed CPU time: 5.99809 s Remaining CPU time: 1794 s 5.95/6.09 c ============================[ Search Statistics ]============================== 5.95/6.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.95/6.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.95/6.09 c =============================================================================== 5.95/6.09 c | 0 | 1346 28760 57781 | 9586 0 nan | 0.000 % | 5.95/6.09 c =============================================================================== 5.95/6.09 c core #324 5.95/6.09 c Core size: 27 Core Weight: 1 Total Weight: -271 5.95/6.09 c Elapsed CPU time: 6.02508 s Remaining CPU time: 1793.97 s 6.05/6.11 c ============================[ Search Statistics ]============================== 6.05/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.11 c =============================================================================== 6.05/6.11 c | 0 | 1358 28761 57805 | 9587 0 nan | 0.000 % | 6.05/6.12 c =============================================================================== 6.05/6.12 c core #325 6.05/6.12 c Core size: 13 Core Weight: 1 Total Weight: -270 6.05/6.12 c Elapsed CPU time: 6.05108 s Remaining CPU time: 1793.95 s 6.05/6.14 c ============================[ Search Statistics ]============================== 6.05/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.14 c =============================================================================== 6.05/6.14 c | 0 | 1364 28762 57817 | 9587 0 nan | 0.000 % | 6.05/6.14 c =============================================================================== 6.05/6.14 c core #326 6.05/6.14 c Core size: 21 Core Weight: 1 Total Weight: -269 6.05/6.14 c Elapsed CPU time: 6.07808 s Remaining CPU time: 1793.92 s 6.05/6.17 c ============================[ Search Statistics ]============================== 6.05/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.17 c =============================================================================== 6.05/6.17 c | 0 | 1372 28763 57833 | 9587 0 nan | 0.000 % | 6.05/6.17 c =============================================================================== 6.05/6.17 c core #327 6.05/6.17 c Core size: 13 Core Weight: 1 Total Weight: -268 6.05/6.17 c Elapsed CPU time: 6.10507 s Remaining CPU time: 1793.89 s 6.05/6.20 c ============================[ Search Statistics ]============================== 6.05/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.20 c =============================================================================== 6.05/6.20 c | 0 | 1378 28764 57845 | 9588 0 nan | 0.000 % | 6.15/6.20 c =============================================================================== 6.15/6.20 c core #328 6.15/6.20 c Core size: 10 Core Weight: 1 Total Weight: -267 6.15/6.20 c Elapsed CPU time: 6.13207 s Remaining CPU time: 1793.87 s 6.15/6.22 c ============================[ Search Statistics ]============================== 6.15/6.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.15/6.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.15/6.22 c =============================================================================== 6.15/6.22 c | 0 | 1382 28765 57853 | 9588 0 nan | 0.000 % | 6.15/6.23 c =============================================================================== 6.15/6.23 c core #329 6.15/6.23 c Core size: 10 Core Weight: 1 Total Weight: -266 6.15/6.23 c Elapsed CPU time: 6.15906 s Remaining CPU time: 1793.84 s 6.15/6.25 c ============================[ Search Statistics ]============================== 6.15/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.15/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.15/6.25 c =============================================================================== 6.15/6.25 c | 0 | 1386 28766 57861 | 9588 0 nan | 0.000 % | 6.15/6.25 c =============================================================================== 6.15/6.25 c core #330 6.15/6.25 c Core size: 30 Core Weight: 1 Total Weight: -265 6.15/6.25 c Elapsed CPU time: 6.18806 s Remaining CPU time: 1793.81 s 6.15/6.28 c ============================[ Search Statistics ]============================== 6.15/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.15/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.15/6.28 c =============================================================================== 6.15/6.28 c | 0 | 1394 28767 57877 | 9589 0 nan | 0.000 % | 6.15/6.28 c =============================================================================== 6.15/6.28 c core #331 6.15/6.28 c Core size: 13 Core Weight: 1 Total Weight: -264 6.15/6.28 c Elapsed CPU time: 6.21505 s Remaining CPU time: 1793.78 s 6.24/6.31 c ============================[ Search Statistics ]============================== 6.24/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.24/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.24/6.31 c =============================================================================== 6.24/6.31 c | 0 | 1400 28768 57889 | 9589 0 nan | 0.000 % | 6.24/6.31 c =============================================================================== 6.24/6.31 c core #332 6.24/6.31 c Core size: 10 Core Weight: 1 Total Weight: -263 6.24/6.31 c Elapsed CPU time: 6.24205 s Remaining CPU time: 1793.76 s 6.24/6.34 c ============================[ Search Statistics ]============================== 6.24/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.24/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.24/6.34 c =============================================================================== 6.24/6.34 c | 0 | 1404 28769 57897 | 9589 0 nan | 0.000 % | 6.24/6.34 c =============================================================================== 6.24/6.34 c core #333 6.24/6.34 c Core size: 13 Core Weight: 1 Total Weight: -262 6.24/6.34 c Elapsed CPU time: 6.27105 s Remaining CPU time: 1793.73 s 6.24/6.37 c ============================[ Search Statistics ]============================== 6.24/6.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.24/6.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.24/6.37 c =============================================================================== 6.24/6.37 c | 0 | 1410 28770 57909 | 9590 0 nan | 0.000 % | 6.24/6.37 c =============================================================================== 6.24/6.37 c core #334 6.24/6.37 c Core size: 13 Core Weight: 1 Total Weight: -261 6.24/6.37 c Elapsed CPU time: 6.29804 s Remaining CPU time: 1793.7 s 6.24/6.39 c ============================[ Search Statistics ]============================== 6.24/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.24/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.24/6.39 c =============================================================================== 6.24/6.39 c | 0 | 1416 28771 57921 | 9590 0 nan | 0.000 % | 6.24/6.39 c =============================================================================== 6.24/6.39 c core #335 6.24/6.39 c Core size: 10 Core Weight: 1 Total Weight: -260 6.24/6.39 c Elapsed CPU time: 6.32404 s Remaining CPU time: 1793.68 s 6.34/6.42 c ============================[ Search Statistics ]============================== 6.34/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.34/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.34/6.42 c =============================================================================== 6.34/6.42 c | 0 | 1420 28772 57929 | 9590 0 nan | 0.000 % | 6.34/6.42 c =============================================================================== 6.34/6.42 c core #336 6.34/6.42 c Core size: 10 Core Weight: 1 Total Weight: -259 6.34/6.42 c Elapsed CPU time: 6.34903 s Remaining CPU time: 1793.65 s 6.34/6.45 c ============================[ Search Statistics ]============================== 6.34/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.34/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.34/6.45 c =============================================================================== 6.34/6.45 c | 0 | 1424 28773 57937 | 9591 0 nan | 0.000 % | 6.34/6.45 c =============================================================================== 6.34/6.45 c core #337 6.34/6.45 c Core size: 10 Core Weight: 1 Total Weight: -258 6.34/6.45 c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s 6.34/6.47 c ============================[ Search Statistics ]============================== 6.34/6.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.34/6.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.34/6.47 c =============================================================================== 6.34/6.47 c | 0 | 1428 28774 57945 | 9591 0 nan | 0.000 % | 6.34/6.48 c =============================================================================== 6.34/6.48 c core #338 6.34/6.48 c Core size: 24 Core Weight: 1 Total Weight: -257 6.34/6.48 c Elapsed CPU time: 6.40403 s Remaining CPU time: 1793.6 s 6.44/6.50 c ============================[ Search Statistics ]============================== 6.44/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.44/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.44/6.50 c =============================================================================== 6.44/6.50 c | 0 | 1438 28775 57965 | 9591 0 nan | 0.000 % | 6.44/6.51 c =============================================================================== 6.44/6.51 c core #339 6.44/6.51 c Core size: 13 Core Weight: 1 Total Weight: -256 6.44/6.51 c Elapsed CPU time: 6.43302 s Remaining CPU time: 1793.57 s 6.44/6.53 c ============================[ Search Statistics ]============================== 6.44/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.44/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.44/6.53 c =============================================================================== 6.44/6.53 c | 0 | 1444 28776 57977 | 9592 0 nan | 0.000 % | 6.44/6.53 c =============================================================================== 6.44/6.53 c core #340 6.44/6.53 c Core size: 10 Core Weight: 1 Total Weight: -255 6.44/6.53 c Elapsed CPU time: 6.46002 s Remaining CPU time: 1793.54 s 6.44/6.56 c ============================[ Search Statistics ]============================== 6.44/6.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.44/6.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.44/6.56 c =============================================================================== 6.44/6.56 c | 0 | 1448 28777 57985 | 9592 0 nan | 0.000 % | 6.44/6.56 c =============================================================================== 6.44/6.56 c core #341 6.44/6.56 c Core size: 10 Core Weight: 1 Total Weight: -254 6.44/6.56 c Elapsed CPU time: 6.48801 s Remaining CPU time: 1793.51 s 6.44/6.59 c ============================[ Search Statistics ]============================== 6.44/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.44/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.44/6.59 c =============================================================================== 6.44/6.59 c | 0 | 1452 28778 57993 | 9592 0 nan | 0.000 % | 6.44/6.59 c =============================================================================== 6.44/6.59 c core #342 6.44/6.59 c Core size: 10 Core Weight: 1 Total Weight: -253 6.44/6.59 c Elapsed CPU time: 6.51501 s Remaining CPU time: 1793.48 s 6.54/6.62 c ============================[ Search Statistics ]============================== 6.54/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.54/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.54/6.62 c =============================================================================== 6.54/6.62 c | 0 | 1456 28779 58001 | 9593 0 nan | 0.000 % | 6.54/6.62 c =============================================================================== 6.54/6.62 c core #343 6.54/6.62 c Core size: 13 Core Weight: 1 Total Weight: -252 6.54/6.62 c Elapsed CPU time: 6.545 s Remaining CPU time: 1793.45 s 6.54/6.65 c ============================[ Search Statistics ]============================== 6.54/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.54/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.54/6.65 c =============================================================================== 6.54/6.65 c | 0 | 1462 28780 58013 | 9593 0 nan | 0.000 % | 6.54/6.65 c =============================================================================== 6.54/6.65 c core #344 6.54/6.65 c Core size: 30 Core Weight: 1 Total Weight: -251 6.54/6.65 c Elapsed CPU time: 6.575 s Remaining CPU time: 1793.42 s 6.54/6.67 c ============================[ Search Statistics ]============================== 6.54/6.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.54/6.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.54/6.68 c =============================================================================== 6.54/6.68 c | 0 | 1470 28781 58029 | 9593 0 nan | 0.000 % | 6.54/6.68 c =============================================================================== 6.54/6.68 c core #345 6.54/6.68 c Core size: 13 Core Weight: 1 Total Weight: -250 6.54/6.68 c Elapsed CPU time: 6.603 s Remaining CPU time: 1793.4 s 6.64/6.70 c ============================[ Search Statistics ]============================== 6.64/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.64/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.64/6.70 c =============================================================================== 6.64/6.70 c | 0 | 1476 28782 58041 | 9594 0 nan | 0.000 % | 6.64/6.71 c =============================================================================== 6.64/6.71 c core #346 6.64/6.71 c Core size: 13 Core Weight: 1 Total Weight: -249 6.64/6.71 c Elapsed CPU time: 6.63199 s Remaining CPU time: 1793.37 s 6.64/6.73 c ============================[ Search Statistics ]============================== 6.64/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.64/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.64/6.73 c =============================================================================== 6.64/6.73 c | 0 | 1482 28783 58053 | 9594 0 nan | 0.000 % | 6.64/6.73 c =============================================================================== 6.64/6.73 c core #347 6.64/6.73 c Core size: 10 Core Weight: 1 Total Weight: -248 6.64/6.73 c Elapsed CPU time: 6.65799 s Remaining CPU time: 1793.34 s 6.64/6.76 c ============================[ Search Statistics ]============================== 6.64/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.64/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.64/6.76 c =============================================================================== 6.64/6.76 c | 0 | 1486 28784 58061 | 9594 0 nan | 0.000 % | 6.64/6.76 c =============================================================================== 6.64/6.76 c core #348 6.64/6.76 c Core size: 27 Core Weight: 1 Total Weight: -247 6.64/6.76 c Elapsed CPU time: 6.68598 s Remaining CPU time: 1793.31 s 6.64/6.79 c ============================[ Search Statistics ]============================== 6.64/6.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.64/6.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.64/6.79 c =============================================================================== 6.64/6.79 c | 0 | 1498 28785 58085 | 9595 0 nan | 0.000 % | 6.64/6.79 c =============================================================================== 6.64/6.79 c core #349 6.64/6.79 c Core size: 13 Core Weight: 1 Total Weight: -246 6.64/6.79 c Elapsed CPU time: 6.71398 s Remaining CPU time: 1793.29 s 6.73/6.82 c ============================[ Search Statistics ]============================== 6.73/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.73/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.73/6.82 c =============================================================================== 6.73/6.82 c | 0 | 1504 28786 58097 | 9595 0 nan | 0.000 % | 6.73/6.82 c =============================================================================== 6.73/6.82 c core #350 6.73/6.82 c Core size: 10 Core Weight: 1 Total Weight: -245 6.73/6.82 c Elapsed CPU time: 6.74297 s Remaining CPU time: 1793.26 s 6.73/6.85 c ============================[ Search Statistics ]============================== 6.73/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.73/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.73/6.85 c =============================================================================== 6.73/6.85 c | 0 | 1508 28787 58105 | 9595 0 nan | 0.000 % | 6.73/6.85 c =============================================================================== 6.73/6.85 c core #351 6.73/6.85 c Core size: 10 Core Weight: 1 Total Weight: -244 6.73/6.85 c Elapsed CPU time: 6.77397 s Remaining CPU time: 1793.23 s 6.73/6.88 c ============================[ Search Statistics ]============================== 6.73/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.73/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.73/6.88 c =============================================================================== 6.73/6.88 c | 0 | 1512 28788 58113 | 9596 0 nan | 0.000 % | 6.73/6.88 c =============================================================================== 6.73/6.88 c core #352 6.73/6.88 c Core size: 13 Core Weight: 1 Total Weight: -243 6.73/6.88 c Elapsed CPU time: 6.80396 s Remaining CPU time: 1793.2 s 6.83/6.91 c ============================[ Search Statistics ]============================== 6.83/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.83/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.83/6.91 c =============================================================================== 6.83/6.91 c | 0 | 1518 28789 58125 | 9596 0 nan | 0.000 % | 6.83/6.91 c =============================================================================== 6.83/6.91 c core #353 6.83/6.91 c Core size: 10 Core Weight: 1 Total Weight: -242 6.83/6.91 c Elapsed CPU time: 6.83296 s Remaining CPU time: 1793.17 s 6.83/6.94 c ============================[ Search Statistics ]============================== 6.83/6.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.83/6.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.83/6.94 c =============================================================================== 6.83/6.94 c | 0 | 1522 28790 58133 | 9596 0 nan | 0.000 % | 6.83/6.94 c =============================================================================== 6.83/6.94 c core #354 6.83/6.94 c Core size: 29 Core Weight: 1 Total Weight: -241 6.83/6.94 c Elapsed CPU time: 6.86296 s Remaining CPU time: 1793.14 s 6.83/6.97 c ============================[ Search Statistics ]============================== 6.83/6.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.83/6.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.83/6.97 c =============================================================================== 6.83/6.97 c | 0 | 1532 28791 58153 | 9597 0 nan | 0.000 % | 6.83/6.97 c =============================================================================== 6.83/6.97 c core #355 6.83/6.97 c Core size: 13 Core Weight: 1 Total Weight: -240 6.83/6.97 c Elapsed CPU time: 6.89495 s Remaining CPU time: 1793.11 s 6.93/7.00 c ============================[ Search Statistics ]============================== 6.93/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.93/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.93/7.00 c =============================================================================== 6.93/7.00 c | 0 | 1538 28792 58165 | 9597 0 nan | 0.000 % | 6.93/7.00 c =============================================================================== 6.93/7.00 c core #356 6.93/7.00 c Core size: 10 Core Weight: 1 Total Weight: -239 6.93/7.00 c Elapsed CPU time: 6.92495 s Remaining CPU time: 1793.08 s 6.93/7.03 c ============================[ Search Statistics ]============================== 6.93/7.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.93/7.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.93/7.03 c =============================================================================== 6.93/7.03 c | 0 | 1542 28793 58173 | 9597 0 nan | 0.000 % | 6.93/7.03 c =============================================================================== 6.93/7.03 c core #357 6.93/7.03 c Core size: 10 Core Weight: 1 Total Weight: -238 6.93/7.03 c Elapsed CPU time: 6.95594 s Remaining CPU time: 1793.04 s 6.93/7.06 c ============================[ Search Statistics ]============================== 6.93/7.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.93/7.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.93/7.06 c =============================================================================== 6.93/7.06 c | 0 | 1546 28794 58181 | 9598 0 nan | 0.000 % | 6.93/7.06 c =============================================================================== 6.93/7.06 c core #358 6.93/7.06 c Core size: 13 Core Weight: 1 Total Weight: -237 6.93/7.06 c Elapsed CPU time: 6.98594 s Remaining CPU time: 1793.01 s 6.93/7.09 c ============================[ Search Statistics ]============================== 6.93/7.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.93/7.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.93/7.09 c =============================================================================== 6.93/7.09 c | 0 | 1552 28795 58193 | 9598 0 nan | 0.000 % | 6.93/7.10 c =============================================================================== 6.93/7.10 c core #359 6.93/7.10 c Core size: 24 Core Weight: 1 Total Weight: -236 6.93/7.10 c Elapsed CPU time: 7.01793 s Remaining CPU time: 1792.98 s 7.03/7.12 c ============================[ Search Statistics ]============================== 7.03/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.03/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.03/7.12 c =============================================================================== 7.03/7.12 c | 0 | 1562 28796 58213 | 9598 0 nan | 0.000 % | 7.03/7.13 c =============================================================================== 7.03/7.13 c core #360 7.03/7.13 c Core size: 13 Core Weight: 1 Total Weight: -235 7.03/7.13 c Elapsed CPU time: 7.04893 s Remaining CPU time: 1792.95 s 7.03/7.16 c ============================[ Search Statistics ]============================== 7.03/7.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.03/7.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.03/7.16 c =============================================================================== 7.03/7.16 c | 0 | 1568 28797 58225 | 9599 0 nan | 0.000 % | 7.03/7.16 c =============================================================================== 7.03/7.16 c core #361 7.03/7.16 c Core size: 13 Core Weight: 1 Total Weight: -234 7.03/7.16 c Elapsed CPU time: 7.08092 s Remaining CPU time: 1792.92 s 7.03/7.19 c ============================[ Search Statistics ]============================== 7.03/7.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.03/7.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.03/7.19 c =============================================================================== 7.03/7.19 c | 0 | 1574 28798 58237 | 9599 0 nan | 0.000 % | 7.03/7.19 c =============================================================================== 7.03/7.19 c core #362 7.03/7.19 c Core size: 13 Core Weight: 1 Total Weight: -233 7.03/7.19 c Elapsed CPU time: 7.11092 s Remaining CPU time: 1792.89 s 7.13/7.22 c ============================[ Search Statistics ]============================== 7.13/7.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.13/7.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.13/7.22 c =============================================================================== 7.13/7.22 c | 0 | 1580 28799 58249 | 9599 0 nan | 0.000 % | 7.13/7.22 c =============================================================================== 7.13/7.22 c core #363 7.13/7.22 c Core size: 13 Core Weight: 1 Total Weight: -232 7.13/7.22 c Elapsed CPU time: 7.14191 s Remaining CPU time: 1792.86 s 7.13/7.25 c ============================[ Search Statistics ]============================== 7.13/7.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.13/7.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.13/7.25 c =============================================================================== 7.13/7.25 c | 0 | 1586 28800 58261 | 9600 0 nan | 0.000 % | 7.13/7.25 c =============================================================================== 7.13/7.25 c core #364 7.13/7.25 c Core size: 30 Core Weight: 1 Total Weight: -231 7.13/7.25 c Elapsed CPU time: 7.17391 s Remaining CPU time: 1792.83 s 7.13/7.28 c ============================[ Search Statistics ]============================== 7.13/7.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.13/7.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.13/7.28 c =============================================================================== 7.13/7.28 c | 0 | 1594 28801 58277 | 9600 0 nan | 0.000 % | 7.13/7.28 c =============================================================================== 7.13/7.28 c core #365 7.13/7.28 c Core size: 13 Core Weight: 1 Total Weight: -230 7.13/7.28 c Elapsed CPU time: 7.2059 s Remaining CPU time: 1792.79 s 7.23/7.31 c ============================[ Search Statistics ]============================== 7.23/7.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.23/7.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.23/7.31 c =============================================================================== 7.23/7.31 c | 0 | 1600 28802 58289 | 9600 0 nan | 0.000 % | 7.23/7.32 c =============================================================================== 7.23/7.32 c core #366 7.23/7.32 c Core size: 13 Core Weight: 1 Total Weight: -229 7.23/7.32 c Elapsed CPU time: 7.2379 s Remaining CPU time: 1792.76 s 7.23/7.34 c ============================[ Search Statistics ]============================== 7.23/7.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.23/7.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.23/7.34 c =============================================================================== 7.23/7.34 c | 0 | 1606 28803 58301 | 9601 0 nan | 0.000 % | 7.23/7.35 c =============================================================================== 7.23/7.35 c core #367 7.23/7.35 c Core size: 13 Core Weight: 1 Total Weight: -228 7.23/7.35 c Elapsed CPU time: 7.2679 s Remaining CPU time: 1792.73 s 7.23/7.37 c ============================[ Search Statistics ]============================== 7.23/7.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.23/7.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.23/7.37 c =============================================================================== 7.23/7.37 c | 0 | 1612 28804 58313 | 9601 0 nan | 0.000 % | 7.23/7.38 c =============================================================================== 7.23/7.38 c core #368 7.23/7.38 c Core size: 10 Core Weight: 1 Total Weight: -227 7.23/7.38 c Elapsed CPU time: 7.29889 s Remaining CPU time: 1792.7 s 7.33/7.41 c ============================[ Search Statistics ]============================== 7.33/7.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.33/7.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.33/7.41 c =============================================================================== 7.33/7.41 c | 0 | 1616 28805 58321 | 9601 0 nan | 0.000 % | 7.33/7.41 c =============================================================================== 7.33/7.41 c core #369 7.33/7.41 c Core size: 13 Core Weight: 1 Total Weight: -226 7.33/7.41 c Elapsed CPU time: 7.33089 s Remaining CPU time: 1792.67 s 7.33/7.44 c ============================[ Search Statistics ]============================== 7.33/7.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.33/7.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.33/7.44 c =============================================================================== 7.33/7.44 c | 0 | 1622 28806 58333 | 9602 0 nan | 0.000 % | 7.33/7.44 c =============================================================================== 7.33/7.44 c core #370 7.33/7.44 c Core size: 13 Core Weight: 1 Total Weight: -225 7.33/7.44 c Elapsed CPU time: 7.36188 s Remaining CPU time: 1792.64 s 7.33/7.47 c ============================[ Search Statistics ]============================== 7.33/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.33/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.33/7.47 c =============================================================================== 7.33/7.47 c | 0 | 1628 28807 58345 | 9602 0 nan | 0.000 % | 7.33/7.47 c =============================================================================== 7.33/7.47 c core #371 7.33/7.47 c Core size: 13 Core Weight: 1 Total Weight: -224 7.33/7.47 c Elapsed CPU time: 7.39387 s Remaining CPU time: 1792.61 s 7.43/7.50 c ============================[ Search Statistics ]============================== 7.43/7.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.50 c =============================================================================== 7.43/7.50 c | 0 | 1634 28808 58357 | 9602 0 nan | 0.000 % | 7.43/7.50 c =============================================================================== 7.43/7.50 c core #372 7.43/7.50 c Core size: 13 Core Weight: 1 Total Weight: -223 7.43/7.50 c Elapsed CPU time: 7.42587 s Remaining CPU time: 1792.57 s 7.43/7.53 c ============================[ Search Statistics ]============================== 7.43/7.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.53 c =============================================================================== 7.43/7.53 c | 0 | 1640 28809 58369 | 9603 0 nan | 0.000 % | 7.43/7.54 c =============================================================================== 7.43/7.54 c core #373 7.43/7.54 c Core size: 13 Core Weight: 1 Total Weight: -222 7.43/7.54 c Elapsed CPU time: 7.45787 s Remaining CPU time: 1792.54 s 7.43/7.57 c ============================[ Search Statistics ]============================== 7.43/7.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.57 c =============================================================================== 7.43/7.57 c | 0 | 1646 28810 58381 | 9603 0 nan | 0.000 % | 7.43/7.57 c =============================================================================== 7.43/7.57 c core #374 7.43/7.57 c Core size: 13 Core Weight: 1 Total Weight: -221 7.43/7.57 c Elapsed CPU time: 7.49186 s Remaining CPU time: 1792.51 s 7.53/7.60 c ============================[ Search Statistics ]============================== 7.53/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.61 c =============================================================================== 7.53/7.61 c | 0 | 1652 28811 58393 | 9603 0 nan | 0.000 % | 7.53/7.61 c =============================================================================== 7.53/7.61 c core #375 7.53/7.61 c Core size: 13 Core Weight: 1 Total Weight: -220 7.53/7.61 c Elapsed CPU time: 7.52585 s Remaining CPU time: 1792.47 s 7.53/7.63 c ============================[ Search Statistics ]============================== 7.53/7.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.64 c =============================================================================== 7.53/7.64 c | 0 | 1658 28812 58405 | 9604 0 nan | 0.000 % | 7.53/7.64 c =============================================================================== 7.53/7.64 c core #376 7.53/7.64 c Core size: 13 Core Weight: 1 Total Weight: -219 7.53/7.64 c Elapsed CPU time: 7.55585 s Remaining CPU time: 1792.44 s 7.53/7.67 c ============================[ Search Statistics ]============================== 7.53/7.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.67 c =============================================================================== 7.53/7.67 c | 0 | 1664 28813 58417 | 9604 0 nan | 0.000 % | 7.53/7.67 c =============================================================================== 7.53/7.67 c core #377 7.53/7.67 c Core size: 13 Core Weight: 1 Total Weight: -218 7.53/7.67 c Elapsed CPU time: 7.58785 s Remaining CPU time: 1792.41 s 7.53/7.70 c ============================[ Search Statistics ]============================== 7.53/7.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.70 c =============================================================================== 7.53/7.70 c | 0 | 1670 28814 58429 | 9604 0 nan | 0.000 % | 7.53/7.70 c =============================================================================== 7.53/7.70 c core #378 7.53/7.70 c Core size: 13 Core Weight: 1 Total Weight: -217 7.53/7.70 c Elapsed CPU time: 7.61584 s Remaining CPU time: 1792.38 s 7.63/7.73 c ============================[ Search Statistics ]============================== 7.63/7.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.73 c =============================================================================== 7.63/7.73 c | 0 | 1676 28815 58441 | 9605 0 nan | 0.000 % | 7.63/7.73 c =============================================================================== 7.63/7.73 c core #379 7.63/7.73 c Core size: 13 Core Weight: 1 Total Weight: -216 7.63/7.73 c Elapsed CPU time: 7.64584 s Remaining CPU time: 1792.35 s 7.63/7.76 c ============================[ Search Statistics ]============================== 7.63/7.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.76 c =============================================================================== 7.63/7.76 c | 0 | 1682 28816 58453 | 9605 0 nan | 0.000 % | 7.63/7.76 c =============================================================================== 7.63/7.76 c core #380 7.63/7.76 c Core size: 13 Core Weight: 1 Total Weight: -215 7.63/7.76 c Elapsed CPU time: 7.67783 s Remaining CPU time: 1792.32 s 7.63/7.80 c ============================[ Search Statistics ]============================== 7.63/7.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.80 c =============================================================================== 7.63/7.80 c | 0 | 1688 28817 58465 | 9605 0 nan | 0.000 % | 7.72/7.80 c =============================================================================== 7.72/7.80 c core #381 7.72/7.80 c Core size: 13 Core Weight: 1 Total Weight: -214 7.72/7.80 c Elapsed CPU time: 7.71183 s Remaining CPU time: 1792.29 s 7.72/7.83 c ============================[ Search Statistics ]============================== 7.72/7.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.83 c =============================================================================== 7.72/7.83 c | 0 | 1694 28818 58477 | 9606 0 nan | 0.000 % | 7.72/7.83 c =============================================================================== 7.72/7.83 c core #382 7.72/7.83 c Core size: 10 Core Weight: 1 Total Weight: -213 7.72/7.83 c Elapsed CPU time: 7.74282 s Remaining CPU time: 1792.26 s 7.72/7.86 c ============================[ Search Statistics ]============================== 7.72/7.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.86 c =============================================================================== 7.72/7.86 c | 0 | 1698 28819 58485 | 9606 0 nan | 0.000 % | 7.72/7.86 c =============================================================================== 7.72/7.86 c core #383 7.72/7.86 c Core size: 13 Core Weight: 1 Total Weight: -212 7.72/7.86 c Elapsed CPU time: 7.77582 s Remaining CPU time: 1792.22 s 7.72/7.89 c ============================[ Search Statistics ]============================== 7.72/7.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.89 c =============================================================================== 7.72/7.89 c | 0 | 1704 28820 58497 | 9606 0 nan | 0.000 % | 7.72/7.90 c =============================================================================== 7.72/7.90 c core #384 7.72/7.90 c Core size: 10 Core Weight: 1 Total Weight: -211 7.72/7.90 c Elapsed CPU time: 7.80681 s Remaining CPU time: 1792.19 s 7.82/7.92 c ============================[ Search Statistics ]============================== 7.82/7.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.92 c =============================================================================== 7.82/7.92 c | 0 | 1708 28821 58505 | 9607 0 nan | 0.000 % | 7.82/7.93 c =============================================================================== 7.82/7.93 c core #385 7.82/7.93 c Core size: 10 Core Weight: 1 Total Weight: -210 7.82/7.93 c Elapsed CPU time: 7.83981 s Remaining CPU time: 1792.16 s 7.82/7.96 c ============================[ Search Statistics ]============================== 7.82/7.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.96 c =============================================================================== 7.82/7.96 c | 0 | 1712 28822 58513 | 9607 0 nan | 0.000 % | 7.82/7.96 c =============================================================================== 7.82/7.96 c core #386 7.82/7.96 c Core size: 27 Core Weight: 1 Total Weight: -209 7.82/7.96 c Elapsed CPU time: 7.8718 s Remaining CPU time: 1792.13 s 7.82/7.99 c ============================[ Search Statistics ]============================== 7.82/7.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.99 c =============================================================================== 7.82/7.99 c | 0 | 1724 28823 58537 | 9607 0 nan | 0.000 % | 7.82/7.99 c =============================================================================== 7.82/7.99 c core #387 7.82/7.99 c Core size: 13 Core Weight: 1 Total Weight: -208 7.82/7.99 c Elapsed CPU time: 7.9038 s Remaining CPU time: 1792.1 s 7.92/8.02 c ============================[ Search Statistics ]============================== 7.92/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.02 c =============================================================================== 7.92/8.02 c | 0 | 1730 28824 58549 | 9608 0 nan | 0.000 % | 7.92/8.02 c =============================================================================== 7.92/8.02 c core #388 7.92/8.02 c Core size: 13 Core Weight: 1 Total Weight: -207 7.92/8.02 c Elapsed CPU time: 7.93379 s Remaining CPU time: 1792.07 s 7.92/8.05 c ============================[ Search Statistics ]============================== 7.92/8.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.05 c =============================================================================== 7.92/8.05 c | 0 | 1736 28825 58561 | 9608 0 nan | 0.000 % | 7.92/8.06 c =============================================================================== 7.92/8.06 c core #389 7.92/8.06 c Core size: 13 Core Weight: 1 Total Weight: -206 7.92/8.06 c Elapsed CPU time: 7.96479 s Remaining CPU time: 1792.04 s 7.92/8.08 c ============================[ Search Statistics ]============================== 7.92/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.08 c =============================================================================== 7.92/8.08 c | 0 | 1742 28826 58573 | 9608 0 nan | 0.000 % | 7.92/8.09 c =============================================================================== 7.92/8.09 c core #390 7.92/8.09 c Core size: 13 Core Weight: 1 Total Weight: -205 7.92/8.09 c Elapsed CPU time: 7.99478 s Remaining CPU time: 1792.01 s 8.02/8.12 c ============================[ Search Statistics ]============================== 8.02/8.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.12 c =============================================================================== 8.02/8.12 c | 0 | 1748 28827 58585 | 9609 0 nan | 0.000 % | 8.02/8.12 c =============================================================================== 8.02/8.12 c core #391 8.02/8.12 c Core size: 13 Core Weight: 1 Total Weight: -204 8.02/8.12 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 8.02/8.15 c ============================[ Search Statistics ]============================== 8.02/8.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.15 c =============================================================================== 8.02/8.15 c | 0 | 1754 28828 58597 | 9609 0 nan | 0.000 % | 8.02/8.15 c =============================================================================== 8.02/8.15 c core #392 8.02/8.15 c Core size: 10 Core Weight: 1 Total Weight: -203 8.02/8.15 c Elapsed CPU time: 8.05877 s Remaining CPU time: 1791.94 s 8.02/8.18 c ============================[ Search Statistics ]============================== 8.02/8.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.18 c =============================================================================== 8.02/8.18 c | 0 | 1758 28829 58605 | 9609 0 nan | 0.000 % | 8.02/8.19 c =============================================================================== 8.02/8.19 c core #393 8.02/8.19 c Core size: 13 Core Weight: 1 Total Weight: -202 8.02/8.19 c Elapsed CPU time: 8.09177 s Remaining CPU time: 1791.91 s 8.12/8.22 c ============================[ Search Statistics ]============================== 8.12/8.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.12/8.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.12/8.22 c =============================================================================== 8.12/8.22 c | 0 | 1764 28830 58617 | 9610 0 nan | 0.000 % | 8.12/8.22 c =============================================================================== 8.12/8.22 c core #394 8.12/8.22 c Core size: 13 Core Weight: 1 Total Weight: -201 8.12/8.22 c Elapsed CPU time: 8.12476 s Remaining CPU time: 1791.88 s 8.12/8.25 c ============================[ Search Statistics ]============================== 8.12/8.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.12/8.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.12/8.25 c =============================================================================== 8.12/8.25 c | 0 | 1770 28831 58629 | 9610 0 nan | 0.000 % | 8.12/8.25 c =============================================================================== 8.12/8.25 c core #395 8.12/8.25 c Core size: 13 Core Weight: 1 Total Weight: -200 8.12/8.25 c Elapsed CPU time: 8.15476 s Remaining CPU time: 1791.85 s 8.12/8.28 c ============================[ Search Statistics ]============================== 8.12/8.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.12/8.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.12/8.28 c =============================================================================== 8.12/8.28 c | 0 | 1776 28832 58641 | 9610 0 nan | 0.000 % | 8.12/8.28 c =============================================================================== 8.12/8.28 c core #396 8.12/8.28 c Core size: 10 Core Weight: 1 Total Weight: -199 8.12/8.28 c Elapsed CPU time: 8.18775 s Remaining CPU time: 1791.81 s 8.22/8.31 c ============================[ Search Statistics ]============================== 8.22/8.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.31 c =============================================================================== 8.22/8.31 c | 0 | 1780 28833 58649 | 9611 0 nan | 0.000 % | 8.22/8.32 c =============================================================================== 8.22/8.32 c core #397 8.22/8.32 c Core size: 17 Core Weight: 1 Total Weight: -198 8.22/8.32 c Elapsed CPU time: 8.21975 s Remaining CPU time: 1791.78 s 8.22/8.35 c ============================[ Search Statistics ]============================== 8.22/8.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.35 c =============================================================================== 8.22/8.35 c | 0 | 1788 28834 58665 | 9611 0 nan | 0.000 % | 8.22/8.35 c =============================================================================== 8.22/8.35 c core #398 8.22/8.35 c Core size: 10 Core Weight: 1 Total Weight: -197 8.22/8.35 c Elapsed CPU time: 8.25474 s Remaining CPU time: 1791.75 s 8.22/8.38 c ============================[ Search Statistics ]============================== 8.22/8.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.38 c =============================================================================== 8.22/8.38 c | 0 | 1792 28835 58673 | 9611 0 nan | 0.000 % | 8.22/8.38 c =============================================================================== 8.22/8.38 c core #399 8.22/8.38 c Core size: 13 Core Weight: 1 Total Weight: -196 8.22/8.38 c Elapsed CPU time: 8.28774 s Remaining CPU time: 1791.71 s 8.32/8.41 c ============================[ Search Statistics ]============================== 8.32/8.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.41 c =============================================================================== 8.32/8.41 c | 0 | 1798 28836 58685 | 9612 0 nan | 0.000 % | 8.32/8.42 c =============================================================================== 8.32/8.42 c core #400 8.32/8.42 c Core size: 24 Core Weight: 1 Total Weight: -195 8.32/8.42 c Elapsed CPU time: 8.32073 s Remaining CPU time: 1791.68 s 8.32/8.44 c ============================[ Search Statistics ]============================== 8.32/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.44 c =============================================================================== 8.32/8.44 c | 0 | 1808 28837 58705 | 9612 0 nan | 0.000 % | 8.32/8.45 c =============================================================================== 8.32/8.45 c core #401 8.32/8.45 c Core size: 13 Core Weight: 1 Total Weight: -194 8.32/8.45 c Elapsed CPU time: 8.35173 s Remaining CPU time: 1791.65 s 8.32/8.48 c ============================[ Search Statistics ]============================== 8.32/8.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.48 c =============================================================================== 8.32/8.48 c | 0 | 1814 28838 58717 | 9612 0 nan | 0.000 % | 8.32/8.48 c =============================================================================== 8.32/8.48 c core #402 8.32/8.48 c Core size: 13 Core Weight: 1 Total Weight: -193 8.32/8.48 c Elapsed CPU time: 8.38472 s Remaining CPU time: 1791.62 s 8.42/8.51 c ============================[ Search Statistics ]============================== 8.42/8.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.42/8.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.42/8.51 c =============================================================================== 8.42/8.51 c | 0 | 1820 28839 58729 | 9613 0 nan | 0.000 % | 8.42/8.52 c =============================================================================== 8.42/8.52 c core #403 8.42/8.52 c Core size: 10 Core Weight: 1 Total Weight: -192 8.42/8.52 c Elapsed CPU time: 8.41572 s Remaining CPU time: 1791.58 s 8.42/8.55 c ============================[ Search Statistics ]============================== 8.42/8.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.42/8.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.42/8.55 c =============================================================================== 8.42/8.55 c | 0 | 1824 28840 58737 | 9613 0 nan | 0.000 % | 8.42/8.55 c =============================================================================== 8.42/8.55 c core #404 8.42/8.55 c Core size: 21 Core Weight: 1 Total Weight: -191 8.42/8.55 c Elapsed CPU time: 8.44871 s Remaining CPU time: 1791.55 s 8.42/8.58 c ============================[ Search Statistics ]============================== 8.42/8.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.42/8.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.42/8.58 c =============================================================================== 8.42/8.58 c | 0 | 1834 28841 58757 | 9613 0 nan | 0.000 % | 8.42/8.58 c =============================================================================== 8.42/8.58 c core #405 8.42/8.58 c Core size: 10 Core Weight: 1 Total Weight: -190 8.42/8.58 c Elapsed CPU time: 8.47971 s Remaining CPU time: 1791.52 s 8.52/8.61 c ============================[ Search Statistics ]============================== 8.52/8.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.61 c =============================================================================== 8.52/8.61 c | 0 | 1838 28842 58765 | 9614 0 nan | 0.000 % | 8.52/8.62 c =============================================================================== 8.52/8.62 c core #406 8.52/8.62 c Core size: 10 Core Weight: 1 Total Weight: -189 8.52/8.62 c Elapsed CPU time: 8.51171 s Remaining CPU time: 1791.49 s 8.52/8.64 c ============================[ Search Statistics ]============================== 8.52/8.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.65 c =============================================================================== 8.52/8.65 c | 0 | 1842 28843 58773 | 9614 0 nan | 0.000 % | 8.52/8.65 c =============================================================================== 8.52/8.65 c core #407 8.52/8.65 c Core size: 17 Core Weight: 1 Total Weight: -188 8.52/8.65 c Elapsed CPU time: 8.5457 s Remaining CPU time: 1791.45 s 8.52/8.68 c ============================[ Search Statistics ]============================== 8.52/8.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.68 c =============================================================================== 8.52/8.68 c | 0 | 1850 28844 58789 | 9614 0 nan | 0.000 % | 8.52/8.68 c =============================================================================== 8.52/8.68 c core #408 8.52/8.68 c Core size: 10 Core Weight: 1 Total Weight: -187 8.52/8.68 c Elapsed CPU time: 8.57969 s Remaining CPU time: 1791.42 s 8.62/8.71 c ============================[ Search Statistics ]============================== 8.62/8.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.71 c =============================================================================== 8.62/8.71 c | 0 | 1854 28845 58797 | 9615 0 nan | 0.000 % | 8.62/8.72 c =============================================================================== 8.62/8.72 c core #409 8.62/8.72 c Core size: 10 Core Weight: 1 Total Weight: -186 8.62/8.72 c Elapsed CPU time: 8.61169 s Remaining CPU time: 1791.39 s 8.62/8.75 c ============================[ Search Statistics ]============================== 8.62/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.75 c =============================================================================== 8.62/8.75 c | 0 | 1858 28846 58805 | 9615 0 nan | 0.000 % | 8.62/8.75 c =============================================================================== 8.62/8.75 c core #410 8.62/8.75 c Core size: 10 Core Weight: 1 Total Weight: -185 8.62/8.75 c Elapsed CPU time: 8.64468 s Remaining CPU time: 1791.36 s 8.62/8.78 c ============================[ Search Statistics ]============================== 8.62/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.78 c =============================================================================== 8.62/8.78 c | 0 | 1862 28847 58813 | 9615 0 nan | 0.000 % | 8.62/8.79 c =============================================================================== 8.62/8.79 c core #411 8.62/8.79 c Core size: 30 Core Weight: 1 Total Weight: -184 8.62/8.79 c Elapsed CPU time: 8.67868 s Remaining CPU time: 1791.32 s 8.72/8.82 c ============================[ Search Statistics ]============================== 8.72/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.72/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.72/8.82 c =============================================================================== 8.72/8.82 c | 0 | 1870 28848 58829 | 9616 0 nan | 0.000 % | 8.72/8.82 c =============================================================================== 8.72/8.82 c core #412 8.72/8.82 c Core size: 39 Core Weight: 1 Total Weight: -183 8.72/8.82 c Elapsed CPU time: 8.71368 s Remaining CPU time: 1791.29 s 8.72/8.85 c ============================[ Search Statistics ]============================== 8.72/8.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.72/8.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.72/8.85 c =============================================================================== 8.72/8.85 c | 0 | 1881 28849 58851 | 9616 0 nan | 0.000 % | 8.72/8.86 c =============================================================================== 8.72/8.86 c core #413 8.72/8.86 c Core size: 20 Core Weight: 1 Total Weight: -182 8.72/8.86 c Elapsed CPU time: 8.74767 s Remaining CPU time: 1791.25 s 8.72/8.89 c ============================[ Search Statistics ]============================== 8.72/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.72/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.72/8.89 c =============================================================================== 8.72/8.89 c | 0 | 1890 28850 58869 | 9616 0 nan | 0.000 % | 8.72/8.89 c =============================================================================== 8.72/8.89 c core #414 8.72/8.89 c Core size: 62 Core Weight: 1 Total Weight: -181 8.72/8.89 c Elapsed CPU time: 8.78166 s Remaining CPU time: 1791.22 s 8.81/8.92 c ============================[ Search Statistics ]============================== 8.81/8.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.81/8.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.81/8.92 c =============================================================================== 8.81/8.92 c | 0 | 1911 28851 58911 | 9617 0 nan | 0.000 % | 8.81/8.93 c =============================================================================== 8.81/8.93 c core #415 8.81/8.93 c Core size: 30 Core Weight: 1 Total Weight: -180 8.81/8.93 c Elapsed CPU time: 8.81566 s Remaining CPU time: 1791.18 s 8.81/8.96 c ============================[ Search Statistics ]============================== 8.81/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.81/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.81/8.96 c =============================================================================== 8.81/8.96 c | 0 | 1919 28852 58927 | 9617 0 nan | 0.000 % | 8.81/8.96 c =============================================================================== 8.81/8.96 c core #416 8.81/8.96 c Core size: 49 Core Weight: 1 Total Weight: -179 8.81/8.96 c Elapsed CPU time: 8.84965 s Remaining CPU time: 1791.15 s 8.81/8.99 c ============================[ Search Statistics ]============================== 8.81/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.81/8.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.81/8.99 c =============================================================================== 8.81/8.99 c | 0 | 1934 28853 58957 | 9617 0 nan | 0.000 % | 8.91/9.00 c =============================================================================== 8.91/9.00 c core #417 8.91/9.00 c Core size: 39 Core Weight: 1 Total Weight: -178 8.91/9.00 c Elapsed CPU time: 8.88365 s Remaining CPU time: 1791.12 s 8.91/9.03 c ============================[ Search Statistics ]============================== 8.91/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.91/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.91/9.03 c =============================================================================== 8.91/9.03 c | 0 | 1946 28854 58981 | 9618 0 nan | 0.000 % | 8.91/9.04 c | 102 | 1946 28854 58981 | 10579 102 10 | 0.000 % | 8.91/9.04 c =============================================================================== 8.91/9.05 c core #418 8.91/9.05 c Core size: 160 Core Weight: 1 Total Weight: -177 8.91/9.05 c Elapsed CPU time: 8.92964 s Remaining CPU time: 1791.07 s 8.91/9.08 c ============================[ Search Statistics ]============================== 8.91/9.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.91/9.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.91/9.08 c =============================================================================== 8.91/9.08 c | 0 | 1986 28855 59061 | 9618 0 nan | 0.000 % | 8.91/9.08 c | 105 | 1965 28855 59061 | 10580 105 10 | 9.618 % | 8.91/9.09 c =============================================================================== 8.91/9.09 c core #419 8.91/9.09 c Core size: 59 Core Weight: 1 Total Weight: -176 8.91/9.09 c Elapsed CPU time: 8.96864 s Remaining CPU time: 1791.03 s 9.00/9.12 c ============================[ Search Statistics ]============================== 9.00/9.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.12 c =============================================================================== 9.00/9.12 c | 0 | 2006 28856 59101 | 9618 0 nan | 0.000 % | 9.00/9.12 c =============================================================================== 9.00/9.12 c core #420 9.00/9.12 c Core size: 67 Core Weight: 1 Total Weight: -175 9.00/9.12 c Elapsed CPU time: 9.00463 s Remaining CPU time: 1791 s 9.00/9.15 c ============================[ Search Statistics ]============================== 9.00/9.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.15 c =============================================================================== 9.00/9.15 c | 0 | 2029 28857 59147 | 9619 0 nan | 0.000 % | 9.00/9.16 c | 101 | 2028 28857 59147 | 10580 101 17 | 0.099 % | 9.00/9.17 c | 253 | 2027 28857 59147 | 11638 253 19 | 0.099 % | 9.00/9.17 c =============================================================================== 9.00/9.17 c core #421 9.00/9.17 c Core size: 73 Core Weight: 1 Total Weight: -174 9.00/9.17 c Elapsed CPU time: 9.05362 s Remaining CPU time: 1790.95 s 9.11/9.20 c ============================[ Search Statistics ]============================== 9.11/9.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.11/9.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.11/9.20 c =============================================================================== 9.11/9.20 c | 0 | 2055 28858 59199 | 9619 0 nan | 0.000 % | 9.11/9.21 c | 102 | 2055 28858 59199 | 10581 102 16 | 0.000 % | 9.11/9.22 c | 253 | 2051 28858 59199 | 11639 253 15 | 0.195 % | 9.11/9.23 c =============================================================================== 9.11/9.23 c core #422 9.11/9.23 c Core size: 44 Core Weight: 1 Total Weight: -173 9.11/9.23 c Elapsed CPU time: 9.10362 s Remaining CPU time: 1790.9 s 9.11/9.26 c ============================[ Search Statistics ]============================== 9.11/9.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.11/9.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.11/9.26 c =============================================================================== 9.11/9.26 c | 0 | 2071 28859 59231 | 9619 0 nan | 0.000 % | 9.11/9.27 c | 100 | 2071 28859 59231 | 10581 100 15 | 0.000 % | 9.11/9.27 c | 250 | 2067 28859 59231 | 11639 250 13 | 0.193 % | 9.11/9.27 c =============================================================================== 9.11/9.27 c core #423 9.11/9.27 c Core size: 68 Core Weight: 1 Total Weight: -172 9.11/9.27 c Elapsed CPU time: 9.15061 s Remaining CPU time: 1790.85 s 9.21/9.30 c ============================[ Search Statistics ]============================== 9.21/9.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.21/9.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.21/9.30 c =============================================================================== 9.21/9.30 c | 0 | 2095 28860 59279 | 9620 0 nan | 0.000 % | 9.21/9.31 c | 100 | 2095 28860 59279 | 10582 100 7 | 0.000 % | 9.21/9.32 c =============================================================================== 9.21/9.32 c core #424 9.21/9.32 c Core size: 119 Core Weight: 1 Total Weight: -171 9.21/9.32 c Elapsed CPU time: 9.1916 s Remaining CPU time: 1790.81 s 9.21/9.35 c ============================[ Search Statistics ]============================== 9.21/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.21/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.21/9.35 c =============================================================================== 9.21/9.35 c | 0 | 2127 28861 59343 | 9620 0 nan | 0.000 % | 9.21/9.36 c =============================================================================== 9.21/9.36 c core #425 9.21/9.36 c Core size: 33 Core Weight: 1 Total Weight: -170 9.21/9.36 c Elapsed CPU time: 9.2306 s Remaining CPU time: 1790.77 s 9.21/9.38 c ============================[ Search Statistics ]============================== 9.21/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.21/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.21/9.38 c =============================================================================== 9.21/9.38 c | 0 | 2137 28862 59363 | 9620 0 nan | 0.000 % | 9.21/9.39 c | 101 | 2137 28862 59363 | 10582 101 18 | 0.000 % | 9.21/9.40 c =============================================================================== 9.21/9.40 c core #426 9.21/9.40 c Core size: 58 Core Weight: 1 Total Weight: -169 9.21/9.40 c Elapsed CPU time: 9.27159 s Remaining CPU time: 1790.73 s 9.31/9.43 c ============================[ Search Statistics ]============================== 9.31/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.31/9.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.31/9.43 c =============================================================================== 9.31/9.43 c | 0 | 2159 28863 59407 | 9621 0 nan | 0.000 % | 9.31/9.44 c =============================================================================== 9.31/9.44 c core #427 9.31/9.44 c Core size: 74 Core Weight: 1 Total Weight: -168 9.31/9.44 c Elapsed CPU time: 9.30858 s Remaining CPU time: 1790.69 s 9.31/9.46 c ============================[ Search Statistics ]============================== 9.31/9.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.31/9.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.31/9.46 c =============================================================================== 9.31/9.47 c | 0 | 2185 28864 59459 | 9621 0 nan | 0.000 % | 9.31/9.47 c | 100 | 2185 28864 59459 | 10583 100 14 | 0.000 % | 9.31/9.48 c =============================================================================== 9.31/9.48 c core #428 9.31/9.48 c Core size: 57 Core Weight: 1 Total Weight: -167 9.31/9.48 c Elapsed CPU time: 9.34958 s Remaining CPU time: 1790.65 s 9.40/9.51 c ============================[ Search Statistics ]============================== 9.40/9.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.40/9.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.40/9.51 c =============================================================================== 9.40/9.51 c | 0 | 2205 28865 59499 | 9621 0 nan | 0.000 % | 9.40/9.52 c | 100 | 2204 28865 59499 | 10583 100 11 | 0.045 % | 9.40/9.52 c =============================================================================== 9.40/9.52 c core #429 9.40/9.52 c Core size: 91 Core Weight: 1 Total Weight: -166 9.40/9.52 c Elapsed CPU time: 9.39357 s Remaining CPU time: 1790.61 s 9.40/9.55 c ============================[ Search Statistics ]============================== 9.40/9.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.40/9.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.40/9.55 c =============================================================================== 9.40/9.55 c | 0 | 2227 28866 59543 | 9622 0 nan | 0.000 % | 9.40/9.56 c | 100 | 2227 28866 59543 | 10584 100 8 | 0.000 % | 9.40/9.57 c =============================================================================== 9.40/9.57 c core #430 9.40/9.57 c Core size: 150 Core Weight: 1 Total Weight: -165 9.40/9.57 c Elapsed CPU time: 9.43557 s Remaining CPU time: 1790.56 s 9.50/9.60 c ============================[ Search Statistics ]============================== 9.50/9.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.50/9.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.50/9.60 c =============================================================================== 9.50/9.60 c | 0 | 2268 28867 59625 | 9622 0 nan | 0.000 % | 9.50/9.61 c =============================================================================== 9.50/9.61 c core #431 9.50/9.61 c Core size: 36 Core Weight: 1 Total Weight: -164 9.50/9.61 c Elapsed CPU time: 9.47156 s Remaining CPU time: 1790.53 s 9.50/9.64 c ============================[ Search Statistics ]============================== 9.50/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.50/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.50/9.64 c =============================================================================== 9.50/9.64 c | 0 | 2280 28868 59649 | 9622 0 nan | 0.000 % | 9.50/9.65 c | 101 | 2277 28868 59649 | 10584 101 10 | 0.132 % | 9.50/9.65 c | 251 | 2277 28868 59649 | 11643 251 15 | 0.132 % | 9.50/9.67 c | 476 | 2277 28868 59649 | 12807 476 20 | 0.132 % | 9.50/9.69 c | 816 | 2276 28868 59649 | 14088 816 22 | 0.175 % | 9.60/9.72 c | 1322 | 2271 28868 59649 | 15497 1316 23 | 0.614 % | 9.60/9.74 c =============================================================================== 9.60/9.74 c core #432 9.60/9.74 c Core size: 331 Core Weight: 1 Total Weight: -163 9.60/9.74 c Elapsed CPU time: 9.60354 s Remaining CPU time: 1790.4 s 9.60/9.78 c ============================[ Search Statistics ]============================== 9.60/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.60/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.60/9.78 c =============================================================================== 9.60/9.78 c | 0 | 2344 28869 59777 | 9623 0 nan | 0.000 % | 9.60/9.79 c | 100 | 2344 28869 59777 | 10585 100 11 | 0.000 % | 9.60/9.79 c | 250 | 2340 28869 59777 | 11643 250 11 | 0.171 % | 9.60/9.80 c =============================================================================== 9.60/9.80 c core #433 9.60/9.80 c Core size: 223 Core Weight: 1 Total Weight: -162 9.60/9.80 c Elapsed CPU time: 9.65653 s Remaining CPU time: 1790.34 s 9.70/9.83 c ============================[ Search Statistics ]============================== 9.70/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.70/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.70/9.83 c =============================================================================== 9.70/9.83 c | 0 | 2396 28870 59881 | 9623 0 nan | 0.000 % | 9.70/9.84 c | 100 | 2395 28870 59881 | 10585 100 7 | 0.083 % | 9.70/9.84 c =============================================================================== 9.70/9.84 c core #434 9.70/9.84 c Core size: 146 Core Weight: 1 Total Weight: -161 9.70/9.84 c Elapsed CPU time: 9.70053 s Remaining CPU time: 1790.3 s 9.70/9.88 c ============================[ Search Statistics ]============================== 9.70/9.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.70/9.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.70/9.88 c =============================================================================== 9.70/9.88 c | 0 | 2436 28871 59961 | 9623 0 nan | 0.000 % | 9.70/9.89 c | 100 | 2436 28871 59961 | 10586 100 15 | 0.000 % | 9.70/9.89 c | 250 | 2435 28871 59961 | 11644 250 15 | 0.041 % | 9.80/9.90 c | 476 | 2435 28871 59961 | 12809 476 21 | 0.041 % | 9.80/9.92 c | 817 | 2435 28871 59961 | 14090 817 22 | 0.041 % | 9.80/9.95 c | 1324 | 2433 28871 59961 | 15499 1323 26 | 0.246 % | 9.91/10.02 c | 2086 | 2426 28871 59961 | 17048 2085 30 | 0.452 % | 9.91/10.05 c =============================================================================== 9.91/10.06 c core #435 9.91/10.06 c Core size: 594 Core Weight: 1 Total Weight: -160 9.91/10.06 c Elapsed CPU time: 9.91349 s Remaining CPU time: 1790.09 s 9.91/10.09 c ============================[ Search Statistics ]============================== 9.91/10.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.91/10.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.91/10.09 c =============================================================================== 9.91/10.09 c | 0 | 2522 28872 60133 | 9624 0 nan | 0.000 % | 10.00/10.11 c | 100 | 2522 28872 60133 | 10586 100 26 | 0.000 % | 10.00/10.11 c | 252 | 2521 28872 60133 | 11645 252 19 | 0.040 % | 10.00/10.12 c | 479 | 2521 28872 60133 | 12809 479 18 | 0.040 % | 10.00/10.14 c | 817 | 2521 28872 60133 | 14090 817 24 | 0.040 % | 10.00/10.18 c | 1324 | 2519 28872 60133 | 15499 1323 28 | 0.119 % | 10.11/10.21 c =============================================================================== 10.11/10.21 c core #436 10.11/10.21 c Core size: 65 Core Weight: 1 Total Weight: -159 10.11/10.21 c Elapsed CPU time: 10.0495 s Remaining CPU time: 1789.95 s 10.11/10.24 c ============================[ Search Statistics ]============================== 10.11/10.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.11/10.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.11/10.24 c =============================================================================== 10.11/10.24 c | 0 | 2542 28873 60173 | 9624 0 nan | 0.000 % | 10.11/10.25 c | 100 | 2542 28873 60173 | 10586 100 13 | 0.000 % | 10.11/10.26 c | 250 | 2542 28873 60173 | 11645 250 12 | 0.118 % | 10.11/10.26 c =============================================================================== 10.11/10.26 c core #437 10.11/10.26 c Core size: 194 Core Weight: 1 Total Weight: -158 10.11/10.26 c Elapsed CPU time: 10.1065 s Remaining CPU time: 1789.89 s 10.20/10.30 c ============================[ Search Statistics ]============================== 10.20/10.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.20/10.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.20/10.30 c =============================================================================== 10.20/10.30 c | 0 | 2603 28874 60295 | 9624 0 nan | 0.000 % | 10.20/10.31 c | 100 | 2603 28874 60295 | 10587 100 19 | 0.000 % | 10.20/10.31 c | 250 | 2603 28874 60295 | 11645 250 18 | 0.000 % | 10.20/10.33 c | 479 | 2603 28874 60295 | 12810 479 22 | 0.000 % | 10.20/10.34 c | 817 | 2601 28874 60295 | 14091 817 28 | 0.077 % | 10.20/10.37 c | 1323 | 2591 28874 60295 | 15500 1319 30 | 0.461 % | 10.30/10.42 c =============================================================================== 10.30/10.43 c core #438 10.30/10.43 c Core size: 385 Core Weight: 1 Total Weight: -157 10.30/10.43 c Elapsed CPU time: 10.2644 s Remaining CPU time: 1789.74 s 10.30/10.46 c ============================[ Search Statistics ]============================== 10.30/10.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.30/10.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.30/10.46 c =============================================================================== 10.30/10.46 c | 0 | 2681 28875 60451 | 9625 0 nan | 0.000 % | 10.30/10.47 c | 100 | 2681 28875 60451 | 10587 100 23 | 0.000 % | 10.30/10.48 c | 251 | 2680 28875 60451 | 11646 251 24 | 0.037 % | 10.30/10.49 c | 478 | 2680 28875 60451 | 12810 478 35 | 0.037 % | 10.40/10.51 c | 815 | 2680 28875 60451 | 14091 815 39 | 0.037 % | 10.40/10.55 c | 1323 | 2679 28875 60451 | 15501 1320 44 | 0.075 % | 10.50/10.63 c | 2082 | 2678 28875 60451 | 17051 2079 52 | 0.112 % | 10.60/10.76 c | 3223 | 2677 28875 60451 | 18756 3217 62 | 0.149 % | 10.70/10.84 c =============================================================================== 10.70/10.84 c core #439 10.70/10.84 c Core size: 56 Core Weight: 1 Total Weight: -156 10.70/10.84 c Elapsed CPU time: 10.6644 s Remaining CPU time: 1789.34 s 10.70/10.88 c ============================[ Search Statistics ]============================== 10.70/10.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.70/10.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.70/10.88 c =============================================================================== 10.70/10.88 c | 0 | 2701 28876 60491 | 9625 0 nan | 0.000 % | 10.70/10.89 c | 100 | 2701 28876 60491 | 10587 100 28 | 0.000 % | 10.70/10.89 c | 250 | 2701 28876 60491 | 11646 250 20 | 0.000 % | 10.81/10.90 c | 480 | 2700 28876 60491 | 12811 480 18 | 0.037 % | 10.81/10.92 c | 819 | 2700 28876 60491 | 14092 819 19 | 0.037 % | 10.81/10.95 c | 1327 | 2700 28876 60491 | 15501 1325 22 | 0.037 % | 10.91/11.00 c | 2086 | 2697 28876 60491 | 17051 2084 23 | 0.148 % | 10.91/11.08 c =============================================================================== 11.00/11.10 c core #440 11.00/11.10 c Core size: 504 Core Weight: 1 Total Weight: -155 11.00/11.10 c Elapsed CPU time: 10.9143 s Remaining CPU time: 1789.09 s 11.00/11.14 c ============================[ Search Statistics ]============================== 11.00/11.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.00/11.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.00/11.14 c =============================================================================== 11.00/11.14 c | 0 | 2786 28877 60661 | 9625 0 nan | 0.000 % | 11.00/11.15 c | 100 | 2785 28877 60661 | 10588 100 16 | 0.036 % | 11.00/11.16 c =============================================================================== 11.00/11.16 c core #441 11.00/11.16 c Core size: 112 Core Weight: 1 Total Weight: -154 11.00/11.16 c Elapsed CPU time: 10.9653 s Remaining CPU time: 1789.03 s 11.00/11.19 c ============================[ Search Statistics ]============================== 11.00/11.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.00/11.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.00/11.19 c =============================================================================== 11.00/11.19 c | 0 | 2824 28878 60737 | 9626 0 nan | 0.000 % | 11.10/11.20 c | 101 | 2824 28878 60737 | 10588 101 12 | 0.000 % | 11.10/11.21 c | 251 | 2824 28878 60737 | 11647 251 12 | 0.000 % | 11.10/11.22 c =============================================================================== 11.10/11.22 c core #442 11.10/11.22 c Core size: 235 Core Weight: 1 Total Weight: -153 11.10/11.22 c Elapsed CPU time: 11.0263 s Remaining CPU time: 1788.97 s 11.10/11.25 c ============================[ Search Statistics ]============================== 11.10/11.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.10/11.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.10/11.25 c =============================================================================== 11.10/11.25 c | 0 | 2864 28879 60817 | 9626 0 nan | 0.000 % | 11.10/11.27 c | 100 | 2864 28879 60817 | 10588 100 20 | 0.000 % | 11.10/11.27 c | 251 | 2863 28879 60817 | 11647 251 16 | 0.035 % | 11.10/11.29 c | 477 | 2862 28879 60817 | 12812 477 16 | 0.105 % | 11.20/11.31 c | 814 | 2847 28879 60817 | 14093 805 18 | 3.003 % | 11.20/11.31 c =============================================================================== 11.20/11.32 c core #443 11.20/11.32 c Core size: 352 Core Weight: 1 Total Weight: -152 11.20/11.32 c Elapsed CPU time: 11.1183 s Remaining CPU time: 1788.88 s 11.20/11.35 c ============================[ Search Statistics ]============================== 11.20/11.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.20/11.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.20/11.35 c =============================================================================== 11.20/11.35 c | 0 | 2936 28880 60961 | 9626 0 nan | 0.000 % | 11.20/11.36 c | 101 | 2936 28880 60961 | 10589 101 12 | 0.000 % | 11.20/11.37 c | 251 | 2936 28880 60961 | 11648 251 14 | 0.000 % | 11.20/11.38 c | 476 | 2936 28880 60961 | 12813 476 15 | 0.000 % | 11.20/11.39 c | 817 | 2936 28880 60961 | 14094 817 19 | 0.000 % | 11.30/11.43 c | 1325 | 2936 28880 60961 | 15503 1325 23 | 0.000 % | 11.30/11.48 c | 2089 | 2936 28880 60961 | 17054 2089 22 | 0.000 % | 11.39/11.59 c | 3228 | 2936 28880 60961 | 18759 3228 22 | 0.000 % | 11.49/11.68 c =============================================================================== 11.60/11.71 c core #444 11.60/11.71 c Core size: 709 Core Weight: 1 Total Weight: -151 11.60/11.71 c Elapsed CPU time: 11.4963 s Remaining CPU time: 1788.5 s 11.60/11.75 c ============================[ Search Statistics ]============================== 11.60/11.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.60/11.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.60/11.75 c =============================================================================== 11.60/11.75 c | 0 | 3016 28881 61121 | 9627 0 nan | 0.000 % | 11.60/11.76 c | 100 | 3016 28881 61121 | 10589 100 14 | 0.000 % | 11.60/11.77 c | 250 | 3016 28881 61121 | 11648 250 19 | 0.000 % | 11.60/11.78 c | 475 | 3015 28881 61121 | 12813 475 20 | 0.033 % | 11.70/11.80 c | 812 | 3015 28881 61121 | 14094 812 23 | 0.033 % | 11.70/11.83 c | 1318 | 3015 28881 61121 | 15504 1316 26 | 0.033 % | 11.70/11.89 c | 2077 | 3015 28881 61121 | 17054 2075 28 | 0.033 % | 11.90/12.00 c | 3217 | 3014 28881 61121 | 18760 3201 30 | 0.066 % | 11.90/12.04 c =============================================================================== 11.90/12.06 c core #445 11.90/12.06 c Core size: 590 Core Weight: 1 Total Weight: -150 11.90/12.06 c Elapsed CPU time: 11.8422 s Remaining CPU time: 1788.16 s 11.90/12.10 c ============================[ Search Statistics ]============================== 11.90/12.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.90/12.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.90/12.10 c =============================================================================== 11.90/12.10 c | 0 | 3100 28882 61289 | 9627 0 nan | 0.000 % | 12.00/12.11 c | 102 | 3100 28882 61289 | 10590 102 24 | 0.000 % | 12.00/12.12 c | 252 | 3099 28882 61289 | 11649 252 20 | 0.032 % | 12.00/12.13 c | 478 | 3095 28882 61289 | 12813 478 28 | 0.161 % | 12.00/12.15 c =============================================================================== 12.00/12.15 c core #446 12.00/12.15 c Core size: 114 Core Weight: 1 Total Weight: -149 12.00/12.15 c Elapsed CPU time: 11.9152 s Remaining CPU time: 1788.08 s 12.00/12.18 c ============================[ Search Statistics ]============================== 12.00/12.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.00/12.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.00/12.18 c =============================================================================== 12.00/12.18 c | 0 | 3130 28883 61349 | 9627 0 nan | 0.000 % | 12.00/12.20 c | 101 | 3130 28883 61349 | 10590 101 21 | 0.000 % | 12.10/12.20 c | 251 | 3130 28883 61349 | 11649 251 18 | 0.000 % | 12.10/12.21 c | 478 | 3130 28883 61349 | 12814 478 18 | 0.000 % | 12.10/12.23 c | 815 | 3130 28883 61349 | 14095 815 23 | 0.000 % | 12.10/12.29 c | 1321 | 3130 28883 61349 | 15505 1321 46 | 0.000 % | 12.19/12.38 c | 2080 | 3130 28883 61349 | 17055 2080 69 | 0.000 % | 12.39/12.57 c | 3224 | 3130 28883 61349 | 18761 3224 86 | 0.000 % | 12.90/13.00 c | 4932 | 3130 28883 61349 | 20637 4932 97 | 0.000 % | 13.49/13.60 c | 7494 | 3130 28883 61349 | 22701 7494 95 | 0.000 % | 14.29/14.44 c | 11339 | 3130 28883 61349 | 24971 11339 89 | 0.000 % | 15.99/16.14 c | 17108 | 3130 28883 61349 | 27468 17108 83 | 0.000 % | 20.49/20.65 c | 25758 | 3130 28883 61349 | 30215 25758 79 | 0.000 % | 29.59/29.78 c | 38732 | 3130 28883 61349 | 33237 21574 77 | 0.000 % | 41.48/41.69 c | 58200 | 3130 28883 61349 | 36561 21370 65 | 0.000 % | 47.47/47.65 c =============================================================================== 47.88/48.02 c core #447 47.88/48.02 c Core size: 997 Core Weight: 1 Total Weight: -148 47.88/48.02 c Elapsed CPU time: 47.5198 s Remaining CPU time: 1752.48 s 47.98/48.13 c ============================[ Search Statistics ]============================== 47.98/48.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.98/48.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.98/48.13 c =============================================================================== 47.98/48.13 c | 0 | 3239 28884 61567 | 9628 0 nan | 0.000 % | 47.98/48.15 c | 100 | 3239 28884 61567 | 10590 100 13 | 0.000 % | 47.98/48.16 c | 250 | 3215 28884 61567 | 11649 250 13 | 2.316 % | 47.98/48.17 c | 475 | 3215 28884 61567 | 12814 475 21 | 2.316 % | 47.98/48.19 c | 814 | 3162 28884 61567 | 14096 788 23 | 2.377 % | 48.08/48.22 c | 1321 | 3162 28884 61567 | 15505 1295 27 | 2.377 % | 48.08/48.28 c | 2081 | 3160 28884 61567 | 17056 2050 34 | 2.439 % | 48.28/48.42 c | 3220 | 3159 28884 61567 | 18762 3187 41 | 2.470 % | 48.58/48.70 c | 4928 | 3157 28884 61567 | 20638 4895 49 | 2.532 % | 49.07/49.25 c | 7495 | 3157 28884 61567 | 22702 7445 55 | 2.532 % | 49.48/49.60 c =============================================================================== 49.58/49.70 c core #448 49.58/49.70 c Core size: 817 Core Weight: 1 Total Weight: -147 49.58/49.70 c Elapsed CPU time: 49.1665 s Remaining CPU time: 1750.83 s 49.58/49.74 c ============================[ Search Statistics ]============================== 49.58/49.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.58/49.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.58/49.74 c =============================================================================== 49.58/49.74 c | 0 | 3349 28885 61787 | 9628 0 nan | 0.000 % | 49.58/49.76 c | 101 | 3349 28885 61787 | 10591 101 37 | 0.000 % | 49.58/49.77 c | 252 | 3349 28885 61787 | 11650 252 29 | 0.000 % | 49.58/49.78 c | 479 | 3349 28885 61787 | 12815 479 30 | 0.000 % | 49.68/49.80 c | 816 | 3349 28885 61787 | 14096 816 32 | 0.000 % | 49.68/49.84 c | 1322 | 3349 28885 61787 | 15506 1322 41 | 0.000 % | 49.68/49.89 c | 2083 | 3349 28885 61787 | 17057 2083 40 | 0.000 % | 49.77/49.99 c | 3225 | 3349 28885 61787 | 18762 3225 50 | 0.000 % | 50.08/50.21 c | 4934 | 3349 28885 61787 | 20639 4934 56 | 0.000 % | 50.48/50.61 c | 7497 | 3349 28885 61787 | 22703 7497 75 | 0.000 % | 51.27/51.49 c | 11341 | 3349 28885 61787 | 24973 11341 84 | 0.000 % | 53.07/53.24 c | 17107 | 3349 28885 61787 | 27470 17107 95 | 0.000 % | 56.17/56.37 c | 25757 | 3349 28885 61787 | 30217 25757 96 | 0.000 % | 62.77/62.96 c | 38731 | 3349 28885 61787 | 33239 20926 104 | 0.000 % | 77.46/77.64 c | 58193 | 3349 28885 61787 | 36563 20291 111 | 0.000 % | 108.45/108.69 c | 87385 | 3349 28885 61787 | 40219 28093 115 | 0.000 % | 142.44/142.68 c | 131178 | 3348 28885 61787 | 44241 18829 91 | 0.030 % | 210.20/210.43 c | 196862 | 3348 28885 61787 | 48666 25959 101 | 0.030 % | 289.27/289.59 c =============================================================================== 295.77/296.06 c core #449 295.77/296.06 c Core size: 2398 Core Weight: 1 Total Weight: -146 295.77/296.06 c Elapsed CPU time: 294.363 s Remaining CPU time: 1505.64 s 296.06/296.39 c ============================[ Search Statistics ]============================== 296.06/296.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 296.06/296.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 296.06/296.39 c =============================================================================== 296.06/296.39 c | 0 | 3519 28886 62127 | 9628 0 nan | 0.000 % | 296.16/296.45 c | 100 | 3519 28886 62127 | 10591 100 18 | 0.000 % | 296.16/296.46 c | 251 | 3519 28886 62127 | 11650 251 15 | 0.000 % | 296.16/296.48 c | 477 | 3519 28886 62127 | 12815 477 21 | 0.000 % | 296.26/296.51 c | 820 | 3519 28886 62127 | 14097 820 21 | 0.000 % | 296.26/296.54 c | 1327 | 3519 28886 62127 | 15507 1327 34 | 0.000 % | 296.36/296.61 c | 2086 | 3519 28886 62127 | 17057 2086 38 | 0.000 % | 296.46/296.72 c | 3227 | 3518 28886 62127 | 18763 3221 50 | 0.028 % | 296.66/297.00 c | 4935 | 3518 28886 62127 | 20639 4929 60 | 0.028 % | 297.26/297.57 c | 7497 | 3516 28886 62127 | 22703 7484 73 | 0.085 % | 298.46/298.71 c | 11342 | 3516 28886 62127 | 24974 11329 89 | 0.085 % | 302.27/302.53 c | 17109 | 3516 28886 62127 | 27471 17091 98 | 0.085 % | 308.06/308.34 c | 25759 | 3513 28886 62127 | 30218 25731 100 | 0.171 % | 319.76/320.05 c | 38736 | 3513 28886 62127 | 33240 22041 105 | 0.171 % | 332.05/332.35 c | 58203 | 3513 28886 62127 | 36564 21964 102 | 0.171 % | 359.24/359.57 c | 87403 | 3511 28886 62127 | 40221 29816 117 | 0.227 % | 418.12/418.41 c | 131192 | 3509 28886 62127 | 44243 22027 107 | 0.284 % | 482.18/482.57 c | 196880 | 3509 28886 62127 | 48667 29072 115 | 0.284 % | 595.24/595.65 c | 295406 | 3507 28886 62127 | 53534 29970 100 | 0.342 % | 598.74/599.15 c =============================================================================== 609.43/609.81 c core #450 609.43/609.81 c Core size: 2096 Core Weight: 1 Total Weight: -145 609.43/609.81 c Elapsed CPU time: 606.746 s Remaining CPU time: 1193.25 s 609.73/610.19 c ============================[ Search Statistics ]============================== 609.73/610.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 609.73/610.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 609.73/610.19 c =============================================================================== 609.73/610.19 c | 0 | 3683 28887 62455 | 9629 0 nan | 0.000 % | 609.83/610.25 c | 100 | 3683 28887 62455 | 10591 100 19 | 0.000 % | 609.83/610.27 c | 251 | 3683 28887 62455 | 11651 251 17 | 0.000 % | 609.83/610.28 c =============================================================================== 609.83/610.28 c core #451 609.83/610.28 c Core size: 56 Core Weight: 1 Total Weight: -144 609.83/610.28 c Elapsed CPU time: 607.214 s Remaining CPU time: 1192.79 s 609.93/610.31 c ============================[ Search Statistics ]============================== 609.93/610.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 609.93/610.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 609.93/610.31 c =============================================================================== 609.93/610.31 c | 0 | 3695 28888 62479 | 9629 0 nan | 0.000 % | 609.93/610.32 c | 100 | 3695 28888 62479 | 10592 100 23 | 0.000 % | 609.93/610.33 c | 251 | 3695 28888 62479 | 11651 251 29 | 0.000 % | 609.93/610.34 c | 479 | 3695 28888 62479 | 12816 479 25 | 0.000 % | 609.93/610.36 c | 816 | 3695 28888 62479 | 14098 816 31 | 0.000 % | 609.93/610.40 c | 1323 | 3695 28888 62479 | 15508 1323 33 | 0.000 % | 610.03/610.46 c | 2082 | 3695 28888 62479 | 17058 2082 44 | 0.000 % | 610.13/610.58 c | 3221 | 3695 28888 62479 | 18764 3221 56 | 0.000 % | 610.42/610.89 c | 4930 | 3695 28888 62479 | 20641 4930 81 | 0.000 % | 611.02/611.42 c | 7492 | 3695 28888 62479 | 22705 7492 91 | 0.000 % | 612.12/612.53 c | 11337 | 3695 28888 62479 | 24976 11337 98 | 0.000 % | 614.02/614.49 c | 17105 | 3695 28888 62479 | 27473 17105 113 | 0.000 % | 618.22/618.65 c | 25755 | 3695 28888 62479 | 30220 25755 123 | 0.000 % | 629.31/629.78 c | 38730 | 3695 28888 62479 | 33243 20933 156 | 0.000 % | 644.31/644.79 c | 58194 | 3695 28888 62479 | 36567 20483 140 | 0.000 % | 671.70/672.15 c | 87386 | 3695 28888 62479 | 40224 26046 148 | 0.000 % | 728.77/729.25 c | 131180 | 3695 28888 62479 | 44246 15671 160 | 0.000 % | 797.55/798.01 c | 196867 | 3695 28888 62479 | 48671 21709 150 | 0.000 % | 895.40/895.93 c | 295395 | 3695 28888 62479 | 53538 17265 129 | 0.000 % | 1099.51/1100.11 c | 443185 | 3695 28888 62479 | 58892 53366 155 | 0.000 % | 1474.63/1475.41 c | 664868 | 3695 28888 62479 | 64781 21171 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-1875737-1245168585/watcher-1875737-1245168585 -o /tmp/evaluation-result-1875737-1245168585/solver-1875737-1245168585 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875737-1245168585.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8241 /proc/meminfo: memFree=1920216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=3188 CPUtime=0 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 184459149 3264512 201 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 797 201 130 292 0 339 0 [startup+0.084615 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8241 /proc/meminfo: memFree=1920216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=4448 CPUtime=0.08 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 822 0 0 0 8 0 0 0 18 0 1 0 184459149 4554752 643 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1112 644 133 292 0 817 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4448 [startup+0.101617 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8241 /proc/meminfo: memFree=1920216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=4940 CPUtime=0.09 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 184459149 5058560 753 1992294400 134512640 135709839 4294956240 18446744073709551615 135166000 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1235 753 133 292 0 940 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4940 [startup+0.301654 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8241 /proc/meminfo: memFree=1920216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=5096 CPUtime=0.29 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 1040 0 0 0 29 0 0 0 19 0 1 0 184459149 5218304 805 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1274 805 133 292 0 979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.701725 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8241 /proc/meminfo: memFree=1920216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=5088 CPUtime=0.69 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 1118 0 0 0 69 0 0 0 23 0 1 0 184459149 5210112 810 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1272 810 133 292 0 977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5088 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1917328/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=5140 CPUtime=1.48 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 1160 0 0 0 148 0 0 0 25 0 1 0 184459149 5263360 818 1992294400 134512640 135709839 4294956240 18446744073709551615 135164462 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1285 818 133 292 0 990 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5140 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1917200/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=5404 CPUtime=3.07 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 1256 0 0 0 307 0 0 0 25 0 1 0 184459149 5533696 914 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1351 914 133 292 0 1056 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 5404 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1915864/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=6976 CPUtime=6.24 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 1669 0 0 0 622 2 0 0 25 0 1 0 184459149 7143424 1307 1992294400 134512640 135709839 4294956240 18446744073709551615 135171126 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 1744 1307 135 292 0 1449 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 6976 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1909992/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=12132 CPUtime=12.6 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 3048 0 0 0 1245 15 0 0 25 0 1 0 184459149 12423168 2582 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 3033 2582 136 292 0 2738 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 12132 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1896104/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=26508 CPUtime=25.38 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 6620 0 0 0 2514 24 0 0 25 0 1 0 184459149 27144192 6154 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 6627 6154 136 292 0 6332 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 26508 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1875624/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=46852 CPUtime=50.98 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 11672 0 0 0 5054 44 0 0 25 0 1 0 184459149 47976448 11206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 11713 11206 136 292 0 11418 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 46852 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1843880/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=78312 CPUtime=102.16 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 19576 0 0 0 10144 72 0 0 25 0 1 0 184459149 80191488 19110 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 19578 19110 136 292 0 19283 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 78312 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1798568/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=123848 CPUtime=162.12 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 30924 0 0 0 16114 98 0 0 25 0 1 0 184459149 126820352 30458 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 30962 30458 136 292 0 30667 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 123848 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1761128/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=161240 CPUtime=222.09 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 40205 0 0 0 22089 120 0 0 25 0 1 0 184459149 165109760 39739 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 40310 39739 136 292 0 40015 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 161240 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1727912/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=194976 CPUtime=282.07 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 48634 0 0 0 28063 144 0 0 25 0 1 0 184459149 199655424 48168 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 48744 48168 136 292 0 48449 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 194976 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1713064/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=208800 CPUtime=342.04 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 52247 0 0 0 34035 169 0 0 25 0 1 0 184459149 213811200 51733 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 52200 51733 136 292 0 51905 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 208800 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1687144/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=234896 CPUtime=402.02 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 58773 0 0 0 40013 189 0 0 25 0 1 0 184459149 240533504 58259 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 58724 58259 136 292 0 58429 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 234896 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1657704/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=264516 CPUtime=461.99 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 66102 0 0 0 45988 211 0 0 25 0 1 0 184459149 270864384 65588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 66129 65588 136 292 0 65834 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 264516 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1618088/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=304436 CPUtime=521.96 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 76073 0 0 0 51960 236 0 0 25 0 1 0 184459149 311742464 75559 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 76109 75559 136 292 0 75814 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 304436 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1581032/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=340900 CPUtime=581.94 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 85174 0 0 0 57936 258 0 0 25 0 1 0 184459149 349081600 84660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 85225 84660 136 292 0 84930 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 340900 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1554664/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=366568 CPUtime=641.92 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 91690 0 0 0 63904 288 0 0 25 0 1 0 184459149 375365632 91176 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 91642 91176 136 292 0 91347 0 Current children cumulated CPU time (s) 641.92 Current children cumulated vsize (KiB) 366568 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1414376/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=506844 CPUtime=881.81 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 126722 0 0 0 87795 386 0 0 25 0 1 0 184459149 519008256 126208 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 126711 126208 136 292 0 126416 0 Current children cumulated CPU time (s) 881.81 Current children cumulated vsize (KiB) 506844 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1370216/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=551188 CPUtime=941.78 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 137775 0 0 0 93764 414 0 0 25 0 1 0 184459149 564416512 137261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 137797 137261 136 292 0 137502 0 Current children cumulated CPU time (s) 941.78 Current children cumulated vsize (KiB) 551188 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1326952/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=594164 CPUtime=1001.76 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 148493 0 0 0 99739 437 0 0 25 0 1 0 184459149 608423936 147979 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 148541 147979 136 292 0 148246 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 594164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1293672/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=627876 CPUtime=1061.73 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 156935 0 0 0 105716 457 0 0 25 0 1 0 184459149 642945024 156421 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 156969 156421 136 292 0 156674 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 627876 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1258856/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=662048 CPUtime=1121.7 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 165460 0 0 0 111695 475 0 0 25 0 1 0 184459149 677937152 164946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 165512 164946 136 292 0 165217 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 662048 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1229544/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=691736 CPUtime=1181.68 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 172870 0 0 0 117677 491 0 0 25 0 1 0 184459149 708337664 172356 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 172934 172356 136 292 0 172639 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 691736 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1196904/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=723844 CPUtime=1241.65 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 180868 0 0 0 123656 509 0 0 25 0 1 0 184459149 741216256 180354 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 180961 180354 136 292 0 180666 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 723844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1162664/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=757876 CPUtime=1301.63 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 189383 0 0 0 129635 528 0 0 25 0 1 0 184459149 776065024 188869 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 189469 188869 136 292 0 189174 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 757876 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1129256/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=791488 CPUtime=1361.6 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 197772 0 0 0 135611 549 0 0 25 0 1 0 184459149 810483712 197258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 197872 197258 136 292 0 197577 0 Current children cumulated CPU time (s) 1361.6 Current children cumulated vsize (KiB) 791488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1097384/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=823108 CPUtime=1421.56 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 205652 0 0 0 141589 567 0 0 25 0 1 0 184459149 842862592 205138 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 205777 205138 136 292 0 205482 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 823108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1058664/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=862420 CPUtime=1481.52 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 215480 0 0 0 147564 588 0 0 25 0 1 0 184459149 883118080 214966 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 215605 214966 136 292 0 215310 0 Current children cumulated CPU time (s) 1481.52 Current children cumulated vsize (KiB) 862420 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=1012392/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=908120 CPUtime=1541.5 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 226868 0 0 0 153539 611 0 0 25 0 1 0 184459149 929914880 226354 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 227030 226354 136 292 0 226735 0 Current children cumulated CPU time (s) 1541.5 Current children cumulated vsize (KiB) 908120 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=976424/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=944356 CPUtime=1601.46 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 235882 0 0 0 159517 629 0 0 25 0 1 0 184459149 967020544 235368 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 236089 235368 136 292 0 235794 0 Current children cumulated CPU time (s) 1601.46 Current children cumulated vsize (KiB) 944356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=944488/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=976048 CPUtime=1661.44 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 243806 0 0 0 165497 647 0 0 25 0 1 0 184459149 999473152 243292 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 244012 243292 136 292 0 243717 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 976048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=911848/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=1009172 CPUtime=1721.41 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 252066 0 0 0 171474 667 0 0 25 0 1 0 184459149 1033392128 251552 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 252293 251552 136 292 0 251998 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 1009172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=872232/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=1048204 CPUtime=1781.39 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 261810 0 0 0 177449 690 0 0 25 0 1 0 184459149 1073360896 261296 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 262051 261296 136 292 0 261756 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (KiB) 1048204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=858344/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=1061956 CPUtime=1800.08 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4194304 265238 0 0 0 179311 697 0 0 25 0 1 0 184459149 1087442944 264724 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 265489 264724 136 292 0 265194 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1061956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8242 /proc/meminfo: memFree=858344/2055920 swapFree=4180860/4192956 [pid=8241] ppid=8239 vsize=0 CPUtime=1800.18 /proc/8241/stat : 8241 (wbo) R 8239 8241 8198 0 -1 4195332 265238 0 0 0 179311 707 0 0 25 0 1 0 184459149 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8241/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.24 CPU user time (s): 1793.12 CPU system time (s): 7.12692 CPU usage (%): 99.9494 Max. virtual memory (cumulated for all children) (KiB): 1061956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.12 system time used= 7.12692 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265238 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 9749 runsolver used 1.80972 second user time and 4.85126 second system time The end
Begin job on node12 at 2009-06-16 18:09:45 IDJOB=1875737 IDBENCH=2270 IDSOLVER=698 FILE ID=node12/1875737-1245168585 PBS_JOBID= 9363884 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875737-1245168585/watcher-1875737-1245168585 -o /tmp/evaluation-result-1875737-1245168585/solver-1875737-1245168585 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875737-1245168585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a RANDOM SEED=2060178561 node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1920704 kB Buffers: 27504 kB Cached: 58916 kB SwapCached: 6264 kB Active: 50516 kB Inactive: 44160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1920704 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 3096 kB Writeback: 0 kB Mapped: 13356 kB Slab: 26552 kB Committed_AS: 171560 kB PageTables: 1380 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-1875737-1245168585.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-16 18:39:48