Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
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.72 |
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 | 27931 |
Number of constraints which are clauses | 27931 |
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-1875595-1245168729.opb. 0.00/0.00 c Instance file HOME/instance-1875595-1245168729.opb 0.00/0.00 c File size is 664643 bytes. 0.01/0.08 c Highest Coefficient sum: 3 0.01/0.08 c ============================[ Problem Statistics ]============================= 0.01/0.08 c | | 0.01/0.08 c | Parsing time: 0.08 s | 0.01/0.08 c | Number Variables: 595 | 0.01/0.08 c | Number Clauses: 28526 | 0.01/0.08 c | Number Cardinality: 0 | 0.01/0.08 c | Number PB Constraints: 0 | 0.01/0.08 c core #1 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: -594 0.01/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #2 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: -593 0.01/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #3 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: -592 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #4 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: -591 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.14 c core #5 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -590 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #6 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: -589 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #7 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: -588 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #8 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -587 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #9 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -586 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #10 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -585 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #11 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -584 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #12 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -583 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #13 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -582 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #14 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -581 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #15 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -580 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #16 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: -579 0.29/0.30 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #17 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -578 0.29/0.32 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #18 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: -577 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #19 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -576 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #20 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -575 0.29/0.36 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #21 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -574 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #22 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -573 0.29/0.39 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #23 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -572 0.39/0.41 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #24 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -571 0.39/0.42 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #25 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -570 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #26 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -569 0.39/0.45 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #27 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -568 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #28 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -567 0.39/0.48 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #29 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -566 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #30 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -565 0.49/0.52 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #31 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -564 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #32 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -563 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #33 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -562 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #34 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -561 0.49/0.58 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #35 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -560 0.49/0.59 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #36 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -559 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #37 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -558 0.59/0.62 c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #38 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -557 0.59/0.64 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #39 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -556 0.59/0.65 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #40 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -555 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #41 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -554 0.59/0.68 c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #42 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -553 0.69/0.70 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #43 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -552 0.69/0.71 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #44 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -551 0.69/0.73 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #45 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -550 0.69/0.75 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #46 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -549 0.69/0.76 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #47 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -548 0.69/0.78 c Elapsed CPU time: 0.775882 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #48 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -547 0.69/0.79 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #49 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -546 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #50 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -545 0.79/0.82 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #51 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -544 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #52 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -543 0.79/0.86 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #53 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -542 0.79/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #54 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -541 0.79/0.89 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #55 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: -540 0.89/0.90 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.92 c core #56 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -539 0.89/0.92 c Elapsed CPU time: 0.91686 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #57 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -538 0.89/0.93 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #58 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -537 0.89/0.95 c Elapsed CPU time: 0.948855 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #59 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -536 0.89/0.97 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #60 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -535 0.89/0.98 c Elapsed CPU time: 0.98085 s Remaining CPU time: 1799.02 s 0.99/1.00 c core #61 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: -534 0.99/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 0.99/1.01 c core #62 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: -533 0.99/1.01 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 0.99/1.03 c core #63 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: -532 0.99/1.03 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 0.99/1.05 c core #64 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -531 0.99/1.05 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #65 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: -530 0.99/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 0.99/1.08 c core #66 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: -529 0.99/1.08 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #67 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -528 0.99/1.09 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #68 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: -527 1.09/1.11 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #69 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: -526 1.09/1.13 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #70 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -525 1.09/1.14 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.09/1.16 c core #71 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: -524 1.09/1.16 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #72 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: -523 1.09/1.17 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.09/1.19 c core #73 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: -522 1.09/1.19 c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #74 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -521 1.19/1.21 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #75 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -520 1.19/1.22 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #76 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -519 1.19/1.24 c Elapsed CPU time: 1.23681 s Remaining CPU time: 1798.76 s 1.19/1.26 c core #77 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: -518 1.19/1.26 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #78 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -517 1.19/1.27 c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #79 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -516 1.19/1.29 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.29/1.31 c core #80 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: -515 1.29/1.31 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #81 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -514 1.29/1.32 c Elapsed CPU time: 1.3188 s Remaining CPU time: 1798.68 s 1.29/1.34 c core #82 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -513 1.29/1.34 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #83 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -512 1.29/1.36 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #84 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -511 1.29/1.37 c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s 1.29/1.39 c core #85 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -510 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #86 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -509 1.39/1.41 c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s 1.39/1.42 c core #87 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -508 1.39/1.42 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.39/1.44 c core #88 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -507 1.39/1.44 c Elapsed CPU time: 1.43278 s Remaining CPU time: 1798.57 s 1.39/1.46 c core #89 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -506 1.39/1.46 c Elapsed CPU time: 1.44978 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #90 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -505 1.39/1.47 c Elapsed CPU time: 1.46578 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #91 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -504 1.39/1.49 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.49/1.51 c core #92 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -503 1.49/1.51 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.49/1.52 c core #93 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -502 1.49/1.52 c Elapsed CPU time: 1.51477 s Remaining CPU time: 1798.49 s 1.49/1.54 c core #94 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -501 1.49/1.54 c Elapsed CPU time: 1.53177 s Remaining CPU time: 1798.47 s 1.49/1.56 c core #95 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: -500 1.49/1.56 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #96 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: -499 1.49/1.57 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.59 c core #97 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -498 1.49/1.59 c Elapsed CPU time: 1.58076 s Remaining CPU time: 1798.42 s 1.59/1.61 c core #98 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: -497 1.59/1.61 c Elapsed CPU time: 1.59776 s Remaining CPU time: 1798.4 s 1.59/1.62 c core #99 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -496 1.59/1.62 c Elapsed CPU time: 1.61375 s Remaining CPU time: 1798.39 s 1.59/1.64 c core #100 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -495 1.59/1.64 c Elapsed CPU time: 1.63075 s Remaining CPU time: 1798.37 s 1.59/1.66 c core #101 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -494 1.59/1.66 c Elapsed CPU time: 1.64775 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #102 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -493 1.59/1.67 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.59/1.69 c core #103 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -492 1.59/1.69 c Elapsed CPU time: 1.68174 s Remaining CPU time: 1798.32 s 1.69/1.71 c core #104 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -491 1.69/1.71 c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #105 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -490 1.69/1.72 c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #106 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -489 1.69/1.74 c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s 1.69/1.76 c core #107 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -488 1.69/1.76 c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s 1.69/1.78 c core #108 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -487 1.69/1.78 c Elapsed CPU time: 1.76673 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #109 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -486 1.69/1.79 c Elapsed CPU time: 1.78473 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #110 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -485 1.79/1.81 c Elapsed CPU time: 1.80173 s Remaining CPU time: 1798.2 s 1.79/1.83 c core #111 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -484 1.79/1.83 c Elapsed CPU time: 1.81872 s Remaining CPU time: 1798.18 s 1.79/1.85 c core #112 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -483 1.79/1.85 c Elapsed CPU time: 1.83572 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #113 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -482 1.79/1.86 c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s 1.79/1.88 c core #114 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -481 1.79/1.88 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.89/1.90 c core #115 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -480 1.89/1.90 c Elapsed CPU time: 1.88771 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #116 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -479 1.89/1.91 c Elapsed CPU time: 1.90571 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #117 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -478 1.89/1.93 c Elapsed CPU time: 1.92271 s Remaining CPU time: 1798.08 s 1.89/1.95 c core #118 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -477 1.89/1.95 c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s 1.89/1.97 c core #119 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: -476 1.89/1.97 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #120 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -475 1.89/1.98 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #121 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -474 1.99/2.00 c Elapsed CPU time: 1.9927 s Remaining CPU time: 1798.01 s 1.99/2.02 c core #122 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -473 1.99/2.02 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.99/2.04 c core #123 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: -472 1.99/2.04 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.99/2.06 c core #124 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -471 1.99/2.06 c Elapsed CPU time: 2.04569 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #125 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -470 1.99/2.07 c Elapsed CPU time: 2.06369 s Remaining CPU time: 1797.94 s 1.99/2.09 c core #126 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: -469 1.99/2.09 c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s 2.10/2.11 c core #127 2.10/2.11 c Core size: 3 Core Weight: 1 Total Weight: -468 2.10/2.11 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.10/2.13 c core #128 2.10/2.13 c Core size: 3 Core Weight: 1 Total Weight: -467 2.10/2.13 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.10/2.15 c core #129 2.10/2.15 c Core size: 3 Core Weight: 1 Total Weight: -466 2.10/2.15 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.10/2.16 c core #130 2.10/2.16 c Core size: 3 Core Weight: 1 Total Weight: -465 2.10/2.16 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.10/2.18 c core #131 2.10/2.18 c Core size: 3 Core Weight: 1 Total Weight: -464 2.10/2.18 c Elapsed CPU time: 2.17167 s Remaining CPU time: 1797.83 s 2.10/2.20 c core #132 2.10/2.20 c Core size: 3 Core Weight: 1 Total Weight: -463 2.10/2.20 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.20/2.22 c core #133 2.20/2.22 c Core size: 3 Core Weight: 1 Total Weight: -462 2.20/2.22 c Elapsed CPU time: 2.20766 s Remaining CPU time: 1797.79 s 2.20/2.23 c core #134 2.20/2.23 c Core size: 3 Core Weight: 1 Total Weight: -461 2.20/2.23 c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s 2.20/2.25 c core #135 2.20/2.25 c Core size: 3 Core Weight: 1 Total Weight: -460 2.20/2.25 c Elapsed CPU time: 2.24366 s Remaining CPU time: 1797.76 s 2.20/2.27 c core #136 2.20/2.27 c Core size: 3 Core Weight: 1 Total Weight: -459 2.20/2.27 c Elapsed CPU time: 2.26166 s Remaining CPU time: 1797.74 s 2.20/2.29 c core #137 2.20/2.29 c Core size: 3 Core Weight: 1 Total Weight: -458 2.20/2.29 c Elapsed CPU time: 2.27965 s Remaining CPU time: 1797.72 s 2.29/2.31 c core #138 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -457 2.29/2.31 c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #139 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -456 2.29/2.32 c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #140 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -455 2.29/2.34 c Elapsed CPU time: 2.33365 s Remaining CPU time: 1797.67 s 2.29/2.36 c core #141 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -454 2.29/2.36 c Elapsed CPU time: 2.35164 s Remaining CPU time: 1797.65 s 2.29/2.38 c core #142 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -453 2.29/2.38 c Elapsed CPU time: 2.36964 s Remaining CPU time: 1797.63 s 2.39/2.40 c core #143 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: -452 2.39/2.40 c Elapsed CPU time: 2.38764 s Remaining CPU time: 1797.61 s 2.39/2.42 c core #144 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -451 2.39/2.42 c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #145 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: -450 2.39/2.43 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.39/2.45 c core #146 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -449 2.39/2.45 c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s 2.39/2.47 c core #147 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -448 2.39/2.47 c Elapsed CPU time: 2.46163 s Remaining CPU time: 1797.54 s 2.39/2.49 c core #148 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -447 2.39/2.49 c Elapsed CPU time: 2.47962 s Remaining CPU time: 1797.52 s 2.49/2.51 c core #149 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -446 2.49/2.51 c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s 2.49/2.53 c core #150 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -445 2.49/2.53 c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s 2.49/2.54 c core #151 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: -444 2.49/2.54 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.49/2.56 c core #152 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -443 2.49/2.56 c Elapsed CPU time: 2.55361 s Remaining CPU time: 1797.45 s 2.49/2.58 c core #153 2.49/2.58 c Core size: 3 Core Weight: 1 Total Weight: -442 2.49/2.58 c Elapsed CPU time: 2.57161 s Remaining CPU time: 1797.43 s 2.59/2.60 c core #154 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -441 2.59/2.60 c Elapsed CPU time: 2.59061 s Remaining CPU time: 1797.41 s 2.59/2.62 c core #155 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -440 2.59/2.62 c Elapsed CPU time: 2.6096 s Remaining CPU time: 1797.39 s 2.59/2.64 c core #156 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -439 2.59/2.64 c Elapsed CPU time: 2.6276 s Remaining CPU time: 1797.37 s 2.59/2.66 c core #157 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -438 2.59/2.66 c Elapsed CPU time: 2.6466 s Remaining CPU time: 1797.35 s 2.59/2.67 c core #158 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: -437 2.59/2.67 c Elapsed CPU time: 2.66559 s Remaining CPU time: 1797.33 s 2.59/2.69 c core #159 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -436 2.59/2.69 c Elapsed CPU time: 2.68359 s Remaining CPU time: 1797.32 s 2.69/2.71 c core #160 2.69/2.71 c Core size: 3 Core Weight: 1 Total Weight: -435 2.69/2.71 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.69/2.73 c core #161 2.69/2.73 c Core size: 3 Core Weight: 1 Total Weight: -434 2.69/2.73 c Elapsed CPU time: 2.72159 s Remaining CPU time: 1797.28 s 2.69/2.75 c core #162 2.69/2.75 c Core size: 3 Core Weight: 1 Total Weight: -433 2.69/2.75 c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s 2.69/2.77 c core #163 2.69/2.77 c Core size: 3 Core Weight: 1 Total Weight: -432 2.69/2.77 c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s 2.69/2.79 c core #164 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: -431 2.69/2.79 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.79/2.81 c core #165 2.79/2.81 c Core size: 3 Core Weight: 1 Total Weight: -430 2.79/2.81 c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s 2.79/2.83 c core #166 2.79/2.83 c Core size: 3 Core Weight: 1 Total Weight: -429 2.79/2.83 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.79/2.84 c core #167 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -428 2.79/2.84 c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s 2.79/2.86 c core #168 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: -427 2.79/2.86 c Elapsed CPU time: 2.85357 s Remaining CPU time: 1797.15 s 2.79/2.88 c core #169 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: -426 2.79/2.88 c Elapsed CPU time: 2.87256 s Remaining CPU time: 1797.13 s 2.89/2.90 c core #170 2.89/2.90 c Core size: 3 Core Weight: 1 Total Weight: -425 2.89/2.90 c Elapsed CPU time: 2.89256 s Remaining CPU time: 1797.11 s 2.89/2.92 c core #171 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: -424 2.89/2.92 c Elapsed CPU time: 2.91156 s Remaining CPU time: 1797.09 s 2.89/2.94 c core #172 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: -423 2.89/2.94 c Elapsed CPU time: 2.93055 s Remaining CPU time: 1797.07 s 2.89/2.96 c core #173 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: -422 2.89/2.96 c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s 2.89/2.98 c core #174 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: -421 2.89/2.98 c Elapsed CPU time: 2.96955 s Remaining CPU time: 1797.03 s 2.99/3.00 c core #175 2.99/3.00 c Core size: 3 Core Weight: 1 Total Weight: -420 2.99/3.00 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.99/3.02 c core #176 2.99/3.02 c Core size: 3 Core Weight: 1 Total Weight: -419 2.99/3.02 c Elapsed CPU time: 3.00754 s Remaining CPU time: 1796.99 s 2.99/3.04 c core #177 2.99/3.04 c Core size: 3 Core Weight: 1 Total Weight: -418 2.99/3.04 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 s 2.99/3.06 c core #178 2.99/3.06 c Core size: 3 Core Weight: 1 Total Weight: -417 2.99/3.06 c Elapsed CPU time: 3.04654 s Remaining CPU time: 1796.95 s 2.99/3.08 c core #179 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: -416 2.99/3.08 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 2.99/3.09 c core #180 2.99/3.09 c Core size: 3 Core Weight: 1 Total Weight: -415 2.99/3.09 c Elapsed CPU time: 3.08553 s Remaining CPU time: 1796.91 s 3.09/3.11 c core #181 3.09/3.11 c Core size: 3 Core Weight: 1 Total Weight: -414 3.09/3.11 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.09/3.13 c core #182 3.09/3.13 c Core size: 3 Core Weight: 1 Total Weight: -413 3.09/3.13 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.09/3.15 c core #183 3.09/3.15 c Core size: 3 Core Weight: 1 Total Weight: -412 3.09/3.15 c Elapsed CPU time: 3.14452 s Remaining CPU time: 1796.86 s 3.09/3.17 c core #184 3.09/3.17 c Core size: 3 Core Weight: 1 Total Weight: -411 3.09/3.17 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.09/3.19 c core #185 3.09/3.19 c Core size: 3 Core Weight: 1 Total Weight: -410 3.09/3.19 c Elapsed CPU time: 3.18352 s Remaining CPU time: 1796.82 s 3.20/3.21 c core #186 3.20/3.21 c Core size: 3 Core Weight: 1 Total Weight: -409 3.20/3.21 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.20/3.23 c core #187 3.20/3.23 c Core size: 3 Core Weight: 1 Total Weight: -408 3.20/3.23 c Elapsed CPU time: 3.22251 s Remaining CPU time: 1796.78 s 3.20/3.25 c core #188 3.20/3.25 c Core size: 3 Core Weight: 1 Total Weight: -407 3.20/3.25 c Elapsed CPU time: 3.24251 s Remaining CPU time: 1796.76 s 3.20/3.27 c core #189 3.20/3.27 c Core size: 3 Core Weight: 1 Total Weight: -406 3.20/3.27 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.20/3.29 c core #190 3.20/3.29 c Core size: 3 Core Weight: 1 Total Weight: -405 3.20/3.29 c Elapsed CPU time: 3.2825 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #191 3.29/3.31 c Core size: 3 Core Weight: 1 Total Weight: -404 3.29/3.31 c Elapsed CPU time: 3.3015 s Remaining CPU time: 1796.7 s 3.29/3.33 c core #192 3.29/3.33 c Core size: 3 Core Weight: 1 Total Weight: -403 3.29/3.33 c Elapsed CPU time: 3.32349 s Remaining CPU time: 1796.68 s 3.29/3.35 c core #193 3.29/3.35 c Core size: 3 Core Weight: 1 Total Weight: -402 3.29/3.35 c Elapsed CPU time: 3.34349 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #194 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -401 3.29/3.37 c Elapsed CPU time: 3.36349 s Remaining CPU time: 1796.64 s 3.29/3.39 c core #195 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -400 3.29/3.39 c Elapsed CPU time: 3.38348 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #196 3.39/3.41 c Core size: 3 Core Weight: 1 Total Weight: -399 3.39/3.41 c Elapsed CPU time: 3.40348 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #197 3.39/3.43 c Core size: 3 Core Weight: 1 Total Weight: -398 3.39/3.43 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #198 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: -397 3.39/3.45 c Elapsed CPU time: 3.44448 s Remaining CPU time: 1796.56 s 3.39/3.47 c core #199 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: -396 3.39/3.47 c Elapsed CPU time: 3.46447 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #200 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: -395 3.39/3.49 c Elapsed CPU time: 3.48447 s Remaining CPU time: 1796.52 s 3.49/3.52 c core #201 3.49/3.52 c Core size: 3 Core Weight: 1 Total Weight: -394 3.49/3.52 c Elapsed CPU time: 3.50447 s Remaining CPU time: 1796.5 s 3.49/3.54 c core #202 3.49/3.54 c Core size: 3 Core Weight: 1 Total Weight: -393 3.49/3.54 c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 s 3.49/3.56 c core #203 3.49/3.56 c Core size: 3 Core Weight: 1 Total Weight: -392 3.49/3.56 c Elapsed CPU time: 3.54546 s Remaining CPU time: 1796.45 s 3.49/3.58 c core #204 3.49/3.58 c Core size: 3 Core Weight: 1 Total Weight: -391 3.49/3.58 c Elapsed CPU time: 3.56646 s Remaining CPU time: 1796.43 s 3.49/3.60 c core #205 3.49/3.60 c Core size: 3 Core Weight: 1 Total Weight: -390 3.49/3.60 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.59/3.62 c core #206 3.59/3.62 c Core size: 3 Core Weight: 1 Total Weight: -389 3.59/3.62 c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s 3.59/3.64 c core #207 3.59/3.64 c Core size: 3 Core Weight: 1 Total Weight: -388 3.59/3.64 c Elapsed CPU time: 3.62745 s Remaining CPU time: 1796.37 s 3.59/3.66 c core #208 3.59/3.66 c Core size: 3 Core Weight: 1 Total Weight: -387 3.59/3.66 c Elapsed CPU time: 3.64845 s Remaining CPU time: 1796.35 s 3.59/3.68 c core #209 3.59/3.68 c Core size: 3 Core Weight: 1 Total Weight: -386 3.59/3.68 c Elapsed CPU time: 3.66844 s Remaining CPU time: 1796.33 s 3.69/3.70 c core #210 3.69/3.70 c Core size: 3 Core Weight: 1 Total Weight: -385 3.69/3.70 c Elapsed CPU time: 3.68944 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #211 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: -384 3.69/3.72 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.69/3.74 c core #212 3.69/3.74 c Core size: 3 Core Weight: 1 Total Weight: -383 3.69/3.74 c Elapsed CPU time: 3.73143 s Remaining CPU time: 1796.27 s 3.69/3.76 c core #213 3.69/3.76 c Core size: 3 Core Weight: 1 Total Weight: -382 3.69/3.76 c Elapsed CPU time: 3.75143 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #214 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: -381 3.69/3.78 c Elapsed CPU time: 3.77243 s Remaining CPU time: 1796.23 s 3.79/3.80 c core #215 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: -380 3.79/3.80 c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s 3.79/3.83 c core #216 3.79/3.83 c Core size: 3 Core Weight: 1 Total Weight: -379 3.79/3.83 c Elapsed CPU time: 3.81442 s Remaining CPU time: 1796.19 s 3.79/3.85 c core #217 3.79/3.85 c Core size: 3 Core Weight: 1 Total Weight: -378 3.79/3.85 c Elapsed CPU time: 3.83542 s Remaining CPU time: 1796.16 s 3.79/3.87 c core #218 3.79/3.87 c Core size: 3 Core Weight: 1 Total Weight: -377 3.79/3.87 c Elapsed CPU time: 3.85641 s Remaining CPU time: 1796.14 s 3.79/3.89 c core #219 3.79/3.89 c Core size: 3 Core Weight: 1 Total Weight: -376 3.79/3.89 c Elapsed CPU time: 3.87741 s Remaining CPU time: 1796.12 s 3.89/3.91 c core #220 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: -375 3.89/3.91 c Elapsed CPU time: 3.89841 s Remaining CPU time: 1796.1 s 3.89/3.93 c core #221 3.89/3.93 c Core size: 3 Core Weight: 1 Total Weight: -374 3.89/3.93 c Elapsed CPU time: 3.9194 s Remaining CPU time: 1796.08 s 3.89/3.95 c core #222 3.89/3.95 c Core size: 3 Core Weight: 1 Total Weight: -373 3.89/3.95 c Elapsed CPU time: 3.9414 s Remaining CPU time: 1796.06 s 3.89/3.97 c core #223 3.89/3.97 c Core size: 3 Core Weight: 1 Total Weight: -372 3.89/3.97 c Elapsed CPU time: 3.9614 s Remaining CPU time: 1796.04 s 3.89/3.99 c core #224 3.89/3.99 c Core size: 3 Core Weight: 1 Total Weight: -371 3.89/3.99 c Elapsed CPU time: 3.98339 s Remaining CPU time: 1796.02 s 3.99/4.01 c core #225 3.99/4.01 c Core size: 3 Core Weight: 1 Total Weight: -370 3.99/4.01 c Elapsed CPU time: 4.00439 s Remaining CPU time: 1796 s 3.99/4.04 c core #226 3.99/4.04 c Core size: 3 Core Weight: 1 Total Weight: -369 3.99/4.04 c Elapsed CPU time: 4.02639 s Remaining CPU time: 1795.97 s 3.99/4.06 c core #227 3.99/4.06 c Core size: 3 Core Weight: 1 Total Weight: -368 3.99/4.06 c Elapsed CPU time: 4.04738 s Remaining CPU time: 1795.95 s 3.99/4.08 c core #228 3.99/4.08 c Core size: 3 Core Weight: 1 Total Weight: -367 3.99/4.08 c Elapsed CPU time: 4.06938 s Remaining CPU time: 1795.93 s 4.09/4.10 c core #229 4.09/4.10 c Core size: 3 Core Weight: 1 Total Weight: -366 4.09/4.10 c Elapsed CPU time: 4.09138 s Remaining CPU time: 1795.91 s 4.09/4.12 c core #230 4.09/4.12 c Core size: 3 Core Weight: 1 Total Weight: -365 4.09/4.12 c Elapsed CPU time: 4.11237 s Remaining CPU time: 1795.89 s 4.09/4.15 c core #231 4.09/4.15 c Core size: 3 Core Weight: 1 Total Weight: -364 4.09/4.15 c Elapsed CPU time: 4.13437 s Remaining CPU time: 1795.87 s 4.09/4.17 c core #232 4.09/4.17 c Core size: 3 Core Weight: 1 Total Weight: -363 4.09/4.17 c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s 4.09/4.19 c core #233 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: -362 4.09/4.19 c Elapsed CPU time: 4.17836 s Remaining CPU time: 1795.82 s 4.19/4.21 c core #234 4.19/4.21 c Core size: 3 Core Weight: 1 Total Weight: -361 4.19/4.21 c Elapsed CPU time: 4.20036 s Remaining CPU time: 1795.8 s 4.19/4.23 c core #235 4.19/4.23 c Core size: 3 Core Weight: 1 Total Weight: -360 4.19/4.23 c Elapsed CPU time: 4.22236 s Remaining CPU time: 1795.78 s 4.19/4.26 c core #236 4.19/4.26 c Core size: 3 Core Weight: 1 Total Weight: -359 4.19/4.26 c Elapsed CPU time: 4.24435 s Remaining CPU time: 1795.76 s 4.19/4.28 c core #237 4.19/4.28 c Core size: 3 Core Weight: 1 Total Weight: -358 4.19/4.28 c Elapsed CPU time: 4.26835 s Remaining CPU time: 1795.73 s 4.29/4.30 c core #238 4.29/4.30 c Core size: 3 Core Weight: 1 Total Weight: -357 4.29/4.30 c Elapsed CPU time: 4.29035 s Remaining CPU time: 1795.71 s 4.29/4.32 c core #239 4.29/4.32 c Core size: 3 Core Weight: 1 Total Weight: -356 4.29/4.32 c Elapsed CPU time: 4.31434 s Remaining CPU time: 1795.69 s 4.29/4.35 c core #240 4.29/4.35 c Core size: 3 Core Weight: 1 Total Weight: -355 4.29/4.35 c Elapsed CPU time: 4.33734 s Remaining CPU time: 1795.66 s 4.29/4.37 c core #241 4.29/4.37 c Core size: 3 Core Weight: 1 Total Weight: -354 4.29/4.37 c Elapsed CPU time: 4.36034 s Remaining CPU time: 1795.64 s 4.29/4.39 c core #242 4.29/4.39 c Core size: 3 Core Weight: 1 Total Weight: -353 4.29/4.39 c Elapsed CPU time: 4.38333 s Remaining CPU time: 1795.62 s 4.39/4.42 c core #243 4.39/4.42 c Core size: 3 Core Weight: 1 Total Weight: -352 4.39/4.42 c Elapsed CPU time: 4.40533 s Remaining CPU time: 1795.59 s 4.39/4.44 c core #244 4.39/4.44 c Core size: 3 Core Weight: 1 Total Weight: -351 4.39/4.44 c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s 4.39/4.46 c core #245 4.39/4.46 c Core size: 3 Core Weight: 1 Total Weight: -350 4.39/4.46 c Elapsed CPU time: 4.45132 s Remaining CPU time: 1795.55 s 4.39/4.49 c core #246 4.39/4.49 c Core size: 3 Core Weight: 1 Total Weight: -349 4.39/4.49 c Elapsed CPU time: 4.47432 s Remaining CPU time: 1795.53 s 4.49/4.51 c core #247 4.49/4.51 c Core size: 3 Core Weight: 1 Total Weight: -348 4.49/4.51 c Elapsed CPU time: 4.49732 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #248 4.49/4.53 c Core size: 3 Core Weight: 1 Total Weight: -347 4.49/4.53 c Elapsed CPU time: 4.52131 s Remaining CPU time: 1795.48 s 4.49/4.55 c core #249 4.49/4.55 c Core size: 3 Core Weight: 1 Total Weight: -346 4.49/4.55 c Elapsed CPU time: 4.54431 s Remaining CPU time: 1795.46 s 4.49/4.58 c core #250 4.49/4.58 c Core size: 3 Core Weight: 1 Total Weight: -345 4.49/4.58 c Elapsed CPU time: 4.56731 s Remaining CPU time: 1795.43 s 4.59/4.60 c core #251 4.59/4.60 c Core size: 3 Core Weight: 1 Total Weight: -344 4.59/4.60 c Elapsed CPU time: 4.5903 s Remaining CPU time: 1795.41 s 4.59/4.62 c core #252 4.59/4.62 c Core size: 3 Core Weight: 1 Total Weight: -343 4.59/4.62 c Elapsed CPU time: 4.6133 s Remaining CPU time: 1795.39 s 4.59/4.65 c core #253 4.59/4.65 c Core size: 3 Core Weight: 1 Total Weight: -342 4.59/4.65 c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s 4.59/4.67 c core #254 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -341 4.59/4.67 c Elapsed CPU time: 4.66029 s Remaining CPU time: 1795.34 s 4.59/4.69 c core #255 4.59/4.69 c Core size: 3 Core Weight: 1 Total Weight: -340 4.59/4.69 c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s 4.69/4.72 c core #256 4.69/4.72 c Core size: 3 Core Weight: 1 Total Weight: -339 4.69/4.72 c Elapsed CPU time: 4.70728 s Remaining CPU time: 1795.29 s 4.69/4.74 c core #257 4.69/4.74 c Core size: 3 Core Weight: 1 Total Weight: -338 4.69/4.74 c Elapsed CPU time: 4.73128 s Remaining CPU time: 1795.27 s 4.69/4.77 c core #258 4.69/4.77 c Core size: 3 Core Weight: 1 Total Weight: -337 4.69/4.77 c Elapsed CPU time: 4.75428 s Remaining CPU time: 1795.25 s 4.69/4.79 c core #259 4.69/4.79 c Core size: 3 Core Weight: 1 Total Weight: -336 4.69/4.79 c Elapsed CPU time: 4.77827 s Remaining CPU time: 1795.22 s 4.79/4.81 c core #260 4.79/4.81 c Core size: 3 Core Weight: 1 Total Weight: -335 4.79/4.81 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 4.79/4.84 c core #261 4.79/4.84 c Core size: 3 Core Weight: 1 Total Weight: -334 4.79/4.84 c Elapsed CPU time: 4.82527 s Remaining CPU time: 1795.17 s 4.79/4.86 c core #262 4.79/4.86 c Core size: 3 Core Weight: 1 Total Weight: -333 4.79/4.86 c Elapsed CPU time: 4.84926 s Remaining CPU time: 1795.15 s 4.79/4.88 c core #263 4.79/4.88 c Core size: 3 Core Weight: 1 Total Weight: -332 4.79/4.88 c Elapsed CPU time: 4.87326 s Remaining CPU time: 1795.13 s 4.89/4.91 c core #264 4.89/4.91 c Core size: 3 Core Weight: 1 Total Weight: -331 4.89/4.91 c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s 4.89/4.93 c core #265 4.89/4.93 c Core size: 3 Core Weight: 1 Total Weight: -330 4.89/4.93 c Elapsed CPU time: 4.92025 s Remaining CPU time: 1795.08 s 4.89/4.96 c core #266 4.89/4.96 c Core size: 3 Core Weight: 1 Total Weight: -329 4.89/4.96 c Elapsed CPU time: 4.94425 s Remaining CPU time: 1795.06 s 4.89/4.98 c core #267 4.89/4.98 c Core size: 3 Core Weight: 1 Total Weight: -328 4.89/4.98 c Elapsed CPU time: 4.96824 s Remaining CPU time: 1795.03 s 4.99/5.00 c core #268 4.99/5.00 c Core size: 3 Core Weight: 1 Total Weight: -327 4.99/5.00 c Elapsed CPU time: 4.99224 s Remaining CPU time: 1795.01 s 4.99/5.03 c core #269 4.99/5.03 c Core size: 3 Core Weight: 1 Total Weight: -326 4.99/5.03 c Elapsed CPU time: 5.01624 s Remaining CPU time: 1794.98 s 4.99/5.05 c core #270 4.99/5.05 c Core size: 3 Core Weight: 1 Total Weight: -325 4.99/5.05 c Elapsed CPU time: 5.04123 s Remaining CPU time: 1794.96 s 4.99/5.08 c core #271 4.99/5.08 c Core size: 3 Core Weight: 1 Total Weight: -324 4.99/5.08 c Elapsed CPU time: 5.06523 s Remaining CPU time: 1794.93 s 5.09/5.10 c core #272 5.09/5.10 c Core size: 3 Core Weight: 1 Total Weight: -323 5.09/5.10 c Elapsed CPU time: 5.09023 s Remaining CPU time: 1794.91 s 5.09/5.13 c core #273 5.09/5.13 c Core size: 3 Core Weight: 1 Total Weight: -322 5.09/5.13 c Elapsed CPU time: 5.11422 s Remaining CPU time: 1794.89 s 5.09/5.15 c core #274 5.09/5.15 c Core size: 3 Core Weight: 1 Total Weight: -321 5.09/5.15 c Elapsed CPU time: 5.13922 s Remaining CPU time: 1794.86 s 5.09/5.17 c core #275 5.09/5.17 c Core size: 3 Core Weight: 1 Total Weight: -320 5.09/5.17 c Elapsed CPU time: 5.16322 s Remaining CPU time: 1794.84 s 5.19/5.20 c core #276 5.19/5.20 c Core size: 3 Core Weight: 1 Total Weight: -319 5.19/5.20 c Elapsed CPU time: 5.18821 s Remaining CPU time: 1794.81 s 5.19/5.22 c core #277 5.19/5.22 c Core size: 3 Core Weight: 1 Total Weight: -318 5.19/5.22 c Elapsed CPU time: 5.21221 s Remaining CPU time: 1794.79 s 5.19/5.25 c core #278 5.19/5.25 c Core size: 3 Core Weight: 1 Total Weight: -317 5.19/5.25 c Elapsed CPU time: 5.2362 s Remaining CPU time: 1794.76 s 5.19/5.27 c core #279 5.19/5.27 c Core size: 3 Core Weight: 1 Total Weight: -316 5.19/5.27 c Elapsed CPU time: 5.2612 s Remaining CPU time: 1794.74 s 5.19/5.30 c core #280 5.19/5.30 c Core size: 3 Core Weight: 1 Total Weight: -315 5.19/5.30 c Elapsed CPU time: 5.2852 s Remaining CPU time: 1794.71 s 5.29/5.32 c core #281 5.29/5.32 c Core size: 3 Core Weight: 1 Total Weight: -314 5.29/5.32 c Elapsed CPU time: 5.30919 s Remaining CPU time: 1794.69 s 5.29/5.35 c core #282 5.29/5.35 c Core size: 3 Core Weight: 1 Total Weight: -313 5.29/5.35 c Elapsed CPU time: 5.33419 s Remaining CPU time: 1794.67 s 5.29/5.37 c core #283 5.29/5.37 c Core size: 3 Core Weight: 1 Total Weight: -312 5.29/5.37 c Elapsed CPU time: 5.35919 s Remaining CPU time: 1794.64 s 5.29/5.40 c core #284 5.29/5.40 c Core size: 3 Core Weight: 1 Total Weight: -311 5.29/5.40 c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s 5.39/5.42 c core #285 5.39/5.42 c Core size: 3 Core Weight: 1 Total Weight: -310 5.39/5.42 c Elapsed CPU time: 5.40918 s Remaining CPU time: 1794.59 s 5.39/5.45 c core #286 5.39/5.45 c Core size: 3 Core Weight: 1 Total Weight: -309 5.39/5.45 c Elapsed CPU time: 5.43417 s Remaining CPU time: 1794.57 s 5.39/5.47 c core #287 5.39/5.47 c Core size: 3 Core Weight: 1 Total Weight: -308 5.39/5.47 c Elapsed CPU time: 5.46017 s Remaining CPU time: 1794.54 s 5.39/5.50 c core #288 5.39/5.50 c Core size: 3 Core Weight: 1 Total Weight: -307 5.39/5.50 c Elapsed CPU time: 5.48417 s Remaining CPU time: 1794.52 s 5.49/5.52 c core #289 5.49/5.52 c Core size: 3 Core Weight: 1 Total Weight: -306 5.49/5.52 c Elapsed CPU time: 5.50916 s Remaining CPU time: 1794.49 s 5.49/5.55 c core #290 5.49/5.55 c Core size: 3 Core Weight: 1 Total Weight: -305 5.49/5.55 c Elapsed CPU time: 5.53416 s Remaining CPU time: 1794.47 s 5.49/5.57 c core #291 5.49/5.57 c Core size: 3 Core Weight: 1 Total Weight: -304 5.49/5.57 c Elapsed CPU time: 5.55915 s Remaining CPU time: 1794.44 s 5.49/5.60 c core #292 5.49/5.60 c Core size: 3 Core Weight: 1 Total Weight: -303 5.49/5.60 c Elapsed CPU time: 5.58415 s Remaining CPU time: 1794.42 s 5.59/5.62 c core #293 5.59/5.62 c Core size: 3 Core Weight: 1 Total Weight: -302 5.59/5.62 c Elapsed CPU time: 5.60915 s Remaining CPU time: 1794.39 s 5.59/5.65 c core #294 5.59/5.65 c Core size: 3 Core Weight: 1 Total Weight: -301 5.59/5.65 c Elapsed CPU time: 5.63414 s Remaining CPU time: 1794.37 s 5.59/5.67 c core #295 5.59/5.67 c Core size: 3 Core Weight: 1 Total Weight: -300 5.59/5.67 c Elapsed CPU time: 5.66014 s Remaining CPU time: 1794.34 s 5.59/5.70 c core #296 5.59/5.70 c Core size: 3 Core Weight: 1 Total Weight: -299 5.59/5.70 c Elapsed CPU time: 5.68513 s Remaining CPU time: 1794.31 s 5.69/5.72 c core #297 5.69/5.72 c Core size: 7 Core Weight: 1 Total Weight: -298 5.69/5.72 c Elapsed CPU time: 5.71113 s Remaining CPU time: 1794.29 s 5.69/5.75 c core #298 5.69/5.75 c Core size: 10 Core Weight: 1 Total Weight: -297 5.69/5.75 c Elapsed CPU time: 5.73813 s Remaining CPU time: 1794.26 s 5.69/5.77 c ============================[ Search Statistics ]============================== 5.69/5.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.77 c =============================================================================== 5.69/5.77 c | 0 | 1196 28824 57659 | 9608 0 nan | 0.000 % | 5.69/5.78 c =============================================================================== 5.69/5.78 c core #299 5.69/5.78 c Core size: 13 Core Weight: 1 Total Weight: -296 5.69/5.78 c Elapsed CPU time: 5.76512 s Remaining CPU time: 1794.23 s 5.79/5.80 c ============================[ Search Statistics ]============================== 5.79/5.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.80 c =============================================================================== 5.79/5.80 c | 0 | 1202 28825 57671 | 9608 0 nan | 0.000 % | 5.79/5.80 c =============================================================================== 5.79/5.80 c core #300 5.79/5.80 c Core size: 13 Core Weight: 1 Total Weight: -295 5.79/5.80 c Elapsed CPU time: 5.79212 s Remaining CPU time: 1794.21 s 5.79/5.83 c ============================[ Search Statistics ]============================== 5.79/5.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.83 c =============================================================================== 5.79/5.83 c | 0 | 1208 28826 57683 | 9608 0 nan | 0.000 % | 5.79/5.83 c =============================================================================== 5.79/5.83 c core #301 5.79/5.83 c Core size: 10 Core Weight: 1 Total Weight: -294 5.79/5.83 c Elapsed CPU time: 5.81811 s Remaining CPU time: 1794.18 s 5.79/5.85 c ============================[ Search Statistics ]============================== 5.79/5.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.85 c =============================================================================== 5.79/5.85 c | 0 | 1212 28827 57691 | 9609 0 nan | 0.000 % | 5.79/5.85 c =============================================================================== 5.79/5.85 c core #302 5.79/5.85 c Core size: 13 Core Weight: 1 Total Weight: -293 5.79/5.85 c Elapsed CPU time: 5.84211 s Remaining CPU time: 1794.16 s 5.79/5.88 c ============================[ Search Statistics ]============================== 5.79/5.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.88 c =============================================================================== 5.79/5.88 c | 0 | 1218 28828 57703 | 9609 0 nan | 0.000 % | 5.79/5.88 c =============================================================================== 5.79/5.88 c core #303 5.79/5.88 c Core size: 13 Core Weight: 1 Total Weight: -292 5.79/5.88 c Elapsed CPU time: 5.87111 s Remaining CPU time: 1794.13 s 5.89/5.91 c ============================[ Search Statistics ]============================== 5.89/5.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.91 c =============================================================================== 5.89/5.91 c | 0 | 1224 28829 57715 | 9609 0 nan | 0.000 % | 5.89/5.91 c =============================================================================== 5.89/5.91 c core #304 5.89/5.91 c Core size: 13 Core Weight: 1 Total Weight: -291 5.89/5.91 c Elapsed CPU time: 5.8961 s Remaining CPU time: 1794.1 s 5.89/5.93 c ============================[ Search Statistics ]============================== 5.89/5.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.93 c =============================================================================== 5.89/5.93 c | 0 | 1230 28830 57727 | 9610 0 nan | 0.000 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c core #305 5.89/5.94 c Core size: 13 Core Weight: 1 Total Weight: -290 5.89/5.94 c Elapsed CPU time: 5.9231 s Remaining CPU time: 1794.08 s 5.89/5.96 c ============================[ Search Statistics ]============================== 5.89/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.96 c =============================================================================== 5.89/5.96 c | 0 | 1236 28831 57739 | 9610 0 nan | 0.000 % | 5.89/5.96 c =============================================================================== 5.89/5.96 c core #306 5.89/5.96 c Core size: 13 Core Weight: 1 Total Weight: -289 5.89/5.96 c Elapsed CPU time: 5.94909 s Remaining CPU time: 1794.05 s 5.89/5.99 c ============================[ Search Statistics ]============================== 5.89/5.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.99 c =============================================================================== 5.89/5.99 c | 0 | 1242 28832 57751 | 9610 0 nan | 0.000 % | 5.89/5.99 c =============================================================================== 5.89/5.99 c core #307 5.89/5.99 c Core size: 10 Core Weight: 1 Total Weight: -288 5.89/5.99 c Elapsed CPU time: 5.97509 s Remaining CPU time: 1794.02 s 5.99/6.01 c ============================[ Search Statistics ]============================== 5.99/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.01 c =============================================================================== 5.99/6.01 c | 0 | 1246 28833 57759 | 9611 0 nan | 0.000 % | 5.99/6.01 c =============================================================================== 5.99/6.01 c core #308 5.99/6.01 c Core size: 13 Core Weight: 1 Total Weight: -287 5.99/6.01 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 5.99/6.04 c ============================[ Search Statistics ]============================== 5.99/6.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.04 c =============================================================================== 5.99/6.04 c | 0 | 1252 28834 57771 | 9611 0 nan | 0.000 % | 5.99/6.04 c =============================================================================== 5.99/6.04 c core #309 5.99/6.04 c Core size: 27 Core Weight: 1 Total Weight: -286 5.99/6.04 c Elapsed CPU time: 6.02708 s Remaining CPU time: 1793.97 s 5.99/6.07 c ============================[ Search Statistics ]============================== 5.99/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.07 c =============================================================================== 5.99/6.07 c | 0 | 1264 28835 57795 | 9611 0 nan | 0.000 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c core #310 5.99/6.07 c Core size: 10 Core Weight: 1 Total Weight: -285 5.99/6.07 c Elapsed CPU time: 6.05508 s Remaining CPU time: 1793.94 s 5.99/6.09 c ============================[ Search Statistics ]============================== 5.99/6.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.09 c =============================================================================== 5.99/6.09 c | 0 | 1268 28836 57803 | 9612 0 nan | 0.000 % | 5.99/6.09 c =============================================================================== 5.99/6.09 c core #311 5.99/6.09 c Core size: 13 Core Weight: 1 Total Weight: -284 5.99/6.09 c Elapsed CPU time: 6.08108 s Remaining CPU time: 1793.92 s 6.09/6.12 c ============================[ Search Statistics ]============================== 6.09/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.12 c =============================================================================== 6.09/6.12 c | 0 | 1274 28837 57815 | 9612 0 nan | 0.000 % | 6.09/6.12 c =============================================================================== 6.09/6.12 c core #312 6.09/6.12 c Core size: 18 Core Weight: 1 Total Weight: -283 6.09/6.12 c Elapsed CPU time: 6.10707 s Remaining CPU time: 1793.89 s 6.09/6.15 c ============================[ Search Statistics ]============================== 6.09/6.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.15 c =============================================================================== 6.09/6.15 c | 0 | 1280 28838 57827 | 9612 0 nan | 0.000 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c core #313 6.09/6.15 c Core size: 13 Core Weight: 1 Total Weight: -282 6.09/6.15 c Elapsed CPU time: 6.13407 s Remaining CPU time: 1793.87 s 6.09/6.17 c ============================[ Search Statistics ]============================== 6.09/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.17 c =============================================================================== 6.09/6.17 c | 0 | 1286 28839 57839 | 9613 0 nan | 0.000 % | 6.09/6.17 c =============================================================================== 6.09/6.17 c core #314 6.09/6.17 c Core size: 13 Core Weight: 1 Total Weight: -281 6.09/6.17 c Elapsed CPU time: 6.16206 s Remaining CPU time: 1793.84 s 6.19/6.20 c ============================[ Search Statistics ]============================== 6.19/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.20 c =============================================================================== 6.19/6.20 c | 0 | 1292 28840 57851 | 9613 0 nan | 0.000 % | 6.19/6.20 c =============================================================================== 6.19/6.20 c core #315 6.19/6.20 c Core size: 37 Core Weight: 1 Total Weight: -280 6.19/6.20 c Elapsed CPU time: 6.18906 s Remaining CPU time: 1793.81 s 6.19/6.23 c ============================[ Search Statistics ]============================== 6.19/6.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.23 c =============================================================================== 6.19/6.23 c | 0 | 1302 28841 57871 | 9613 0 nan | 0.000 % | 6.19/6.23 c =============================================================================== 6.19/6.23 c core #316 6.19/6.23 c Core size: 13 Core Weight: 1 Total Weight: -279 6.19/6.23 c Elapsed CPU time: 6.21705 s Remaining CPU time: 1793.78 s 6.19/6.26 c ============================[ Search Statistics ]============================== 6.19/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.26 c =============================================================================== 6.19/6.26 c | 0 | 1308 28842 57883 | 9614 0 nan | 0.000 % | 6.19/6.26 c =============================================================================== 6.19/6.26 c core #317 6.19/6.26 c Core size: 13 Core Weight: 1 Total Weight: -278 6.19/6.26 c Elapsed CPU time: 6.24405 s Remaining CPU time: 1793.76 s 6.19/6.28 c ============================[ Search Statistics ]============================== 6.19/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.28 c =============================================================================== 6.19/6.28 c | 0 | 1314 28843 57895 | 9614 0 nan | 0.000 % | 6.19/6.28 c =============================================================================== 6.19/6.28 c core #318 6.19/6.28 c Core size: 13 Core Weight: 1 Total Weight: -277 6.19/6.28 c Elapsed CPU time: 6.27005 s Remaining CPU time: 1793.73 s 6.29/6.31 c ============================[ Search Statistics ]============================== 6.29/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.31 c =============================================================================== 6.29/6.31 c | 0 | 1320 28844 57907 | 9614 0 nan | 0.000 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c core #319 6.29/6.31 c Core size: 24 Core Weight: 1 Total Weight: -276 6.29/6.31 c Elapsed CPU time: 6.29504 s Remaining CPU time: 1793.7 s 6.29/6.34 c ============================[ Search Statistics ]============================== 6.29/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.34 c =============================================================================== 6.29/6.34 c | 0 | 1330 28845 57927 | 9615 0 nan | 0.000 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c core #320 6.29/6.34 c Core size: 13 Core Weight: 1 Total Weight: -275 6.29/6.34 c Elapsed CPU time: 6.32504 s Remaining CPU time: 1793.67 s 6.29/6.36 c ============================[ Search Statistics ]============================== 6.29/6.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.36 c =============================================================================== 6.29/6.36 c | 0 | 1336 28846 57939 | 9615 0 nan | 0.000 % | 6.29/6.37 c =============================================================================== 6.29/6.37 c core #321 6.29/6.37 c Core size: 10 Core Weight: 1 Total Weight: -274 6.29/6.37 c Elapsed CPU time: 6.35203 s Remaining CPU time: 1793.65 s 6.29/6.39 c ============================[ Search Statistics ]============================== 6.29/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.39 c =============================================================================== 6.29/6.39 c | 0 | 1340 28847 57947 | 9615 0 nan | 0.000 % | 6.29/6.39 c =============================================================================== 6.29/6.39 c core #322 6.29/6.39 c Core size: 13 Core Weight: 1 Total Weight: -273 6.29/6.39 c Elapsed CPU time: 6.37803 s Remaining CPU time: 1793.62 s 6.39/6.42 c ============================[ Search Statistics ]============================== 6.39/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.42 c =============================================================================== 6.39/6.42 c | 0 | 1346 28848 57959 | 9616 0 nan | 0.000 % | 6.39/6.42 c =============================================================================== 6.39/6.42 c core #323 6.39/6.42 c Core size: 13 Core Weight: 1 Total Weight: -272 6.39/6.42 c Elapsed CPU time: 6.40503 s Remaining CPU time: 1793.59 s 6.39/6.45 c ============================[ Search Statistics ]============================== 6.39/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.45 c =============================================================================== 6.39/6.45 c | 0 | 1352 28849 57971 | 9616 0 nan | 0.000 % | 6.39/6.45 c =============================================================================== 6.39/6.45 c core #324 6.39/6.45 c Core size: 10 Core Weight: 1 Total Weight: -271 6.39/6.45 c Elapsed CPU time: 6.43402 s Remaining CPU time: 1793.57 s 6.39/6.47 c ============================[ Search Statistics ]============================== 6.39/6.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.47 c =============================================================================== 6.39/6.47 c | 0 | 1356 28850 57979 | 9616 0 nan | 0.000 % | 6.39/6.48 c =============================================================================== 6.39/6.48 c core #325 6.39/6.48 c Core size: 10 Core Weight: 1 Total Weight: -270 6.39/6.48 c Elapsed CPU time: 6.46202 s Remaining CPU time: 1793.54 s 6.49/6.50 c ============================[ Search Statistics ]============================== 6.49/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.50 c =============================================================================== 6.49/6.50 c | 0 | 1360 28851 57987 | 9617 0 nan | 0.000 % | 6.49/6.51 c =============================================================================== 6.49/6.51 c core #326 6.49/6.51 c Core size: 13 Core Weight: 1 Total Weight: -269 6.49/6.51 c Elapsed CPU time: 6.49001 s Remaining CPU time: 1793.51 s 6.49/6.53 c ============================[ Search Statistics ]============================== 6.49/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.53 c =============================================================================== 6.49/6.53 c | 0 | 1366 28852 57999 | 9617 0 nan | 0.000 % | 6.49/6.53 c =============================================================================== 6.49/6.53 c core #327 6.49/6.53 c Core size: 30 Core Weight: 1 Total Weight: -268 6.49/6.53 c Elapsed CPU time: 6.51801 s Remaining CPU time: 1793.48 s 6.49/6.56 c ============================[ Search Statistics ]============================== 6.49/6.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.56 c =============================================================================== 6.49/6.56 c | 0 | 1374 28853 58015 | 9617 0 nan | 0.000 % | 6.49/6.56 c =============================================================================== 6.49/6.56 c core #328 6.49/6.56 c Core size: 13 Core Weight: 1 Total Weight: -267 6.49/6.56 c Elapsed CPU time: 6.546 s Remaining CPU time: 1793.45 s 6.49/6.59 c ============================[ Search Statistics ]============================== 6.49/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.59 c =============================================================================== 6.49/6.59 c | 0 | 1380 28854 58027 | 9618 0 nan | 0.000 % | 6.49/6.59 c =============================================================================== 6.49/6.59 c core #329 6.49/6.59 c Core size: 13 Core Weight: 1 Total Weight: -266 6.49/6.59 c Elapsed CPU time: 6.574 s Remaining CPU time: 1793.43 s 6.59/6.62 c ============================[ Search Statistics ]============================== 6.59/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.62 c =============================================================================== 6.59/6.62 c | 0 | 1386 28855 58039 | 9618 0 nan | 0.000 % | 6.59/6.62 c =============================================================================== 6.59/6.62 c core #330 6.59/6.62 c Core size: 10 Core Weight: 1 Total Weight: -265 6.59/6.62 c Elapsed CPU time: 6.603 s Remaining CPU time: 1793.4 s 6.59/6.64 c ============================[ Search Statistics ]============================== 6.59/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.64 c =============================================================================== 6.59/6.64 c | 0 | 1390 28856 58047 | 9618 0 nan | 0.000 % | 6.59/6.65 c =============================================================================== 6.59/6.65 c core #331 6.59/6.65 c Core size: 13 Core Weight: 1 Total Weight: -264 6.59/6.65 c Elapsed CPU time: 6.63099 s Remaining CPU time: 1793.37 s 6.59/6.67 c ============================[ Search Statistics ]============================== 6.59/6.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.67 c =============================================================================== 6.59/6.67 c | 0 | 1396 28857 58059 | 9619 0 nan | 0.000 % | 6.59/6.67 c =============================================================================== 6.59/6.67 c core #332 6.59/6.67 c Core size: 33 Core Weight: 1 Total Weight: -263 6.59/6.67 c Elapsed CPU time: 6.65799 s Remaining CPU time: 1793.34 s 6.69/6.70 c ============================[ Search Statistics ]============================== 6.69/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.70 c =============================================================================== 6.69/6.70 c | 0 | 1406 28858 58079 | 9619 0 nan | 0.000 % | 6.69/6.70 c =============================================================================== 6.69/6.70 c core #333 6.69/6.70 c Core size: 13 Core Weight: 1 Total Weight: -262 6.69/6.70 c Elapsed CPU time: 6.68698 s Remaining CPU time: 1793.31 s 6.69/6.73 c ============================[ Search Statistics ]============================== 6.69/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.73 c =============================================================================== 6.69/6.73 c | 0 | 1412 28859 58091 | 9619 0 nan | 0.000 % | 6.69/6.73 c =============================================================================== 6.69/6.73 c core #334 6.69/6.73 c Core size: 10 Core Weight: 1 Total Weight: -261 6.69/6.73 c Elapsed CPU time: 6.71498 s Remaining CPU time: 1793.29 s 6.69/6.76 c ============================[ Search Statistics ]============================== 6.69/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.76 c =============================================================================== 6.69/6.76 c | 0 | 1416 28860 58099 | 9620 0 nan | 0.000 % | 6.69/6.76 c =============================================================================== 6.69/6.76 c core #335 6.69/6.76 c Core size: 10 Core Weight: 1 Total Weight: -260 6.69/6.76 c Elapsed CPU time: 6.74397 s Remaining CPU time: 1793.26 s 6.69/6.79 c ============================[ Search Statistics ]============================== 6.69/6.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.79 c =============================================================================== 6.69/6.79 c | 0 | 1420 28861 58107 | 9620 0 nan | 0.000 % | 6.69/6.79 c =============================================================================== 6.69/6.79 c core #336 6.69/6.79 c Core size: 10 Core Weight: 1 Total Weight: -259 6.69/6.79 c Elapsed CPU time: 6.77297 s Remaining CPU time: 1793.23 s 6.78/6.82 c ============================[ Search Statistics ]============================== 6.78/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.78/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.78/6.82 c =============================================================================== 6.78/6.82 c | 0 | 1424 28862 58115 | 9620 0 nan | 0.000 % | 6.78/6.82 c =============================================================================== 6.78/6.82 c core #337 6.78/6.82 c Core size: 10 Core Weight: 1 Total Weight: -258 6.78/6.82 c Elapsed CPU time: 6.80197 s Remaining CPU time: 1793.2 s 6.78/6.84 c ============================[ Search Statistics ]============================== 6.78/6.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.78/6.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.78/6.84 c =============================================================================== 6.78/6.84 c | 0 | 1428 28863 58123 | 9621 0 nan | 0.000 % | 6.78/6.85 c =============================================================================== 6.78/6.85 c core #338 6.78/6.85 c Core size: 10 Core Weight: 1 Total Weight: -257 6.78/6.85 c Elapsed CPU time: 6.83096 s Remaining CPU time: 1793.17 s 6.78/6.87 c ============================[ Search Statistics ]============================== 6.78/6.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.78/6.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.78/6.87 c =============================================================================== 6.78/6.87 c | 0 | 1432 28864 58131 | 9621 0 nan | 0.000 % | 6.78/6.88 c =============================================================================== 6.78/6.88 c core #339 6.78/6.88 c Core size: 27 Core Weight: 1 Total Weight: -256 6.78/6.88 c Elapsed CPU time: 6.86096 s Remaining CPU time: 1793.14 s 6.88/6.90 c ============================[ Search Statistics ]============================== 6.88/6.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.90 c =============================================================================== 6.88/6.90 c | 0 | 1444 28865 58155 | 9621 0 nan | 0.000 % | 6.88/6.90 c =============================================================================== 6.88/6.90 c core #340 6.88/6.90 c Core size: 13 Core Weight: 1 Total Weight: -255 6.88/6.90 c Elapsed CPU time: 6.88895 s Remaining CPU time: 1793.11 s 6.88/6.93 c ============================[ Search Statistics ]============================== 6.88/6.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.93 c =============================================================================== 6.88/6.93 c | 0 | 1450 28866 58167 | 9622 0 nan | 0.000 % | 6.88/6.93 c =============================================================================== 6.88/6.93 c core #341 6.88/6.93 c Core size: 18 Core Weight: 1 Total Weight: -254 6.88/6.93 c Elapsed CPU time: 6.91895 s Remaining CPU time: 1793.08 s 6.88/6.96 c ============================[ Search Statistics ]============================== 6.88/6.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.96 c =============================================================================== 6.88/6.96 c | 0 | 1456 28867 58179 | 9622 0 nan | 0.000 % | 6.88/6.96 c =============================================================================== 6.88/6.96 c core #342 6.88/6.96 c Core size: 38 Core Weight: 1 Total Weight: -253 6.88/6.96 c Elapsed CPU time: 6.94894 s Remaining CPU time: 1793.05 s 6.88/6.99 c ============================[ Search Statistics ]============================== 6.88/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.99 c =============================================================================== 6.88/6.99 c | 0 | 1472 28868 58211 | 9622 0 nan | 0.000 % | 6.88/7.00 c =============================================================================== 6.88/7.00 c core #343 6.88/7.00 c Core size: 10 Core Weight: 1 Total Weight: -252 6.88/7.00 c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s 6.98/7.02 c ============================[ Search Statistics ]============================== 6.98/7.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.98/7.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.98/7.02 c =============================================================================== 6.98/7.02 c | 0 | 1476 28869 58219 | 9623 0 nan | 0.000 % | 6.98/7.02 c =============================================================================== 6.98/7.02 c core #344 6.98/7.02 c Core size: 18 Core Weight: 1 Total Weight: -251 6.98/7.02 c Elapsed CPU time: 7.00893 s Remaining CPU time: 1792.99 s 6.98/7.05 c ============================[ Search Statistics ]============================== 6.98/7.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.98/7.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.98/7.05 c =============================================================================== 6.98/7.05 c | 0 | 1482 28870 58231 | 9623 0 nan | 0.000 % | 6.98/7.06 c =============================================================================== 6.98/7.06 c core #345 6.98/7.06 c Core size: 13 Core Weight: 1 Total Weight: -250 6.98/7.06 c Elapsed CPU time: 7.03893 s Remaining CPU time: 1792.96 s 6.98/7.08 c ============================[ Search Statistics ]============================== 6.98/7.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.98/7.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.98/7.08 c =============================================================================== 6.98/7.08 c | 0 | 1488 28871 58243 | 9623 0 nan | 0.000 % | 6.98/7.08 c =============================================================================== 6.98/7.08 c core #346 6.98/7.08 c Core size: 10 Core Weight: 1 Total Weight: -249 6.98/7.08 c Elapsed CPU time: 7.06792 s Remaining CPU time: 1792.93 s 7.08/7.11 c ============================[ Search Statistics ]============================== 7.08/7.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.08/7.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.08/7.11 c =============================================================================== 7.08/7.11 c | 0 | 1492 28872 58251 | 9624 0 nan | 0.000 % | 7.08/7.11 c =============================================================================== 7.08/7.11 c core #347 7.08/7.11 c Core size: 10 Core Weight: 1 Total Weight: -248 7.08/7.11 c Elapsed CPU time: 7.09792 s Remaining CPU time: 1792.9 s 7.08/7.14 c ============================[ Search Statistics ]============================== 7.08/7.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.08/7.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.08/7.14 c =============================================================================== 7.08/7.14 c | 0 | 1496 28873 58259 | 9624 0 nan | 0.000 % | 7.08/7.14 c =============================================================================== 7.08/7.14 c core #348 7.08/7.14 c Core size: 13 Core Weight: 1 Total Weight: -247 7.08/7.14 c Elapsed CPU time: 7.12692 s Remaining CPU time: 1792.87 s 7.08/7.17 c ============================[ Search Statistics ]============================== 7.08/7.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.08/7.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.08/7.17 c =============================================================================== 7.08/7.17 c | 0 | 1502 28874 58271 | 9624 0 nan | 0.000 % | 7.08/7.17 c =============================================================================== 7.08/7.17 c core #349 7.08/7.17 c Core size: 13 Core Weight: 1 Total Weight: -246 7.08/7.17 c Elapsed CPU time: 7.15691 s Remaining CPU time: 1792.84 s 7.18/7.20 c ============================[ Search Statistics ]============================== 7.18/7.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.20 c =============================================================================== 7.18/7.20 c | 0 | 1508 28875 58283 | 9625 0 nan | 0.000 % | 7.18/7.20 c =============================================================================== 7.18/7.20 c core #350 7.18/7.20 c Core size: 10 Core Weight: 1 Total Weight: -245 7.18/7.20 c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s 7.18/7.23 c ============================[ Search Statistics ]============================== 7.18/7.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.23 c =============================================================================== 7.18/7.23 c | 0 | 1512 28876 58291 | 9625 0 nan | 0.000 % | 7.18/7.23 c =============================================================================== 7.18/7.23 c core #351 7.18/7.23 c Core size: 10 Core Weight: 1 Total Weight: -244 7.18/7.23 c Elapsed CPU time: 7.2139 s Remaining CPU time: 1792.79 s 7.18/7.26 c ============================[ Search Statistics ]============================== 7.18/7.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.26 c =============================================================================== 7.18/7.26 c | 0 | 1516 28877 58299 | 9625 0 nan | 0.000 % | 7.18/7.26 c =============================================================================== 7.18/7.26 c core #352 7.18/7.26 c Core size: 13 Core Weight: 1 Total Weight: -243 7.18/7.26 c Elapsed CPU time: 7.2449 s Remaining CPU time: 1792.76 s 7.18/7.29 c ============================[ Search Statistics ]============================== 7.18/7.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.29 c =============================================================================== 7.18/7.29 c | 0 | 1522 28878 58311 | 9626 0 nan | 0.000 % | 7.18/7.29 c =============================================================================== 7.18/7.29 c core #353 7.18/7.29 c Core size: 10 Core Weight: 1 Total Weight: -242 7.18/7.29 c Elapsed CPU time: 7.27489 s Remaining CPU time: 1792.73 s 7.28/7.32 c ============================[ Search Statistics ]============================== 7.28/7.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.32 c =============================================================================== 7.28/7.32 c | 0 | 1526 28879 58319 | 9626 0 nan | 0.000 % | 7.28/7.32 c =============================================================================== 7.28/7.32 c core #354 7.28/7.32 c Core size: 13 Core Weight: 1 Total Weight: -241 7.28/7.32 c Elapsed CPU time: 7.30489 s Remaining CPU time: 1792.7 s 7.28/7.35 c ============================[ Search Statistics ]============================== 7.28/7.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.35 c =============================================================================== 7.28/7.35 c | 0 | 1532 28880 58331 | 9626 0 nan | 0.000 % | 7.28/7.35 c =============================================================================== 7.28/7.35 c core #355 7.28/7.35 c Core size: 10 Core Weight: 1 Total Weight: -240 7.28/7.35 c Elapsed CPU time: 7.33488 s Remaining CPU time: 1792.67 s 7.28/7.38 c ============================[ Search Statistics ]============================== 7.28/7.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.38 c =============================================================================== 7.28/7.38 c | 0 | 1536 28881 58339 | 9627 0 nan | 0.000 % | 7.28/7.38 c =============================================================================== 7.28/7.38 c core #356 7.28/7.38 c Core size: 10 Core Weight: 1 Total Weight: -239 7.28/7.38 c Elapsed CPU time: 7.36388 s Remaining CPU time: 1792.64 s 7.39/7.41 c ============================[ Search Statistics ]============================== 7.39/7.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.41 c =============================================================================== 7.39/7.41 c | 0 | 1540 28882 58347 | 9627 0 nan | 0.000 % | 7.39/7.41 c =============================================================================== 7.39/7.41 c core #357 7.39/7.41 c Core size: 13 Core Weight: 1 Total Weight: -238 7.39/7.41 c Elapsed CPU time: 7.39387 s Remaining CPU time: 1792.61 s 7.39/7.44 c ============================[ Search Statistics ]============================== 7.39/7.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.44 c =============================================================================== 7.39/7.44 c | 0 | 1546 28883 58359 | 9627 0 nan | 0.000 % | 7.39/7.44 c =============================================================================== 7.39/7.44 c core #358 7.39/7.44 c Core size: 30 Core Weight: 1 Total Weight: -237 7.39/7.44 c Elapsed CPU time: 7.42487 s Remaining CPU time: 1792.58 s 7.39/7.47 c ============================[ Search Statistics ]============================== 7.39/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.47 c =============================================================================== 7.39/7.47 c | 0 | 1554 28884 58375 | 9628 0 nan | 0.000 % | 7.39/7.47 c =============================================================================== 7.39/7.47 c core #359 7.39/7.47 c Core size: 13 Core Weight: 1 Total Weight: -236 7.39/7.47 c Elapsed CPU time: 7.45587 s Remaining CPU time: 1792.54 s 7.49/7.50 c ============================[ Search Statistics ]============================== 7.49/7.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.50 c =============================================================================== 7.49/7.50 c | 0 | 1560 28885 58387 | 9628 0 nan | 0.000 % | 7.49/7.50 c =============================================================================== 7.49/7.50 c core #360 7.49/7.50 c Core size: 10 Core Weight: 1 Total Weight: -235 7.49/7.50 c Elapsed CPU time: 7.48586 s Remaining CPU time: 1792.51 s 7.49/7.53 c ============================[ Search Statistics ]============================== 7.49/7.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.53 c =============================================================================== 7.49/7.53 c | 0 | 1564 28886 58395 | 9628 0 nan | 0.000 % | 7.49/7.54 c =============================================================================== 7.49/7.54 c core #361 7.49/7.54 c Core size: 13 Core Weight: 1 Total Weight: -234 7.49/7.54 c Elapsed CPU time: 7.51686 s Remaining CPU time: 1792.48 s 7.49/7.56 c ============================[ Search Statistics ]============================== 7.49/7.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.56 c =============================================================================== 7.49/7.56 c | 0 | 1570 28887 58407 | 9629 0 nan | 0.000 % | 7.49/7.57 c =============================================================================== 7.49/7.57 c core #362 7.49/7.57 c Core size: 27 Core Weight: 1 Total Weight: -233 7.49/7.57 c Elapsed CPU time: 7.54685 s Remaining CPU time: 1792.45 s 7.49/7.59 c ============================[ Search Statistics ]============================== 7.49/7.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.59 c =============================================================================== 7.49/7.59 c | 0 | 1582 28888 58431 | 9629 0 nan | 0.000 % | 7.49/7.60 c =============================================================================== 7.49/7.60 c core #363 7.49/7.60 c Core size: 13 Core Weight: 1 Total Weight: -232 7.49/7.60 c Elapsed CPU time: 7.57985 s Remaining CPU time: 1792.42 s 7.60/7.63 c ============================[ Search Statistics ]============================== 7.60/7.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.60/7.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.60/7.63 c =============================================================================== 7.60/7.63 c | 0 | 1588 28889 58443 | 9629 0 nan | 0.000 % | 7.60/7.63 c =============================================================================== 7.60/7.63 c core #364 7.60/7.63 c Core size: 21 Core Weight: 1 Total Weight: -231 7.60/7.63 c Elapsed CPU time: 7.60984 s Remaining CPU time: 1792.39 s 7.60/7.66 c ============================[ Search Statistics ]============================== 7.60/7.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.60/7.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.60/7.66 c =============================================================================== 7.60/7.66 c | 0 | 1596 28890 58459 | 9630 0 nan | 0.000 % | 7.60/7.66 c =============================================================================== 7.60/7.66 c core #365 7.60/7.66 c Core size: 13 Core Weight: 1 Total Weight: -230 7.60/7.66 c Elapsed CPU time: 7.64184 s Remaining CPU time: 1792.36 s 7.60/7.69 c ============================[ Search Statistics ]============================== 7.60/7.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.60/7.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.60/7.69 c =============================================================================== 7.60/7.69 c | 0 | 1602 28891 58471 | 9630 0 nan | 0.000 % | 7.60/7.69 c =============================================================================== 7.60/7.69 c core #366 7.60/7.69 c Core size: 10 Core Weight: 1 Total Weight: -229 7.60/7.69 c Elapsed CPU time: 7.67183 s Remaining CPU time: 1792.33 s 7.69/7.72 c ============================[ Search Statistics ]============================== 7.69/7.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.72 c =============================================================================== 7.69/7.72 c | 0 | 1606 28892 58479 | 9630 0 nan | 0.000 % | 7.69/7.73 c =============================================================================== 7.69/7.73 c core #367 7.69/7.73 c Core size: 13 Core Weight: 1 Total Weight: -228 7.69/7.73 c Elapsed CPU time: 7.70483 s Remaining CPU time: 1792.3 s 7.69/7.76 c ============================[ Search Statistics ]============================== 7.69/7.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.76 c =============================================================================== 7.69/7.76 c | 0 | 1612 28893 58491 | 9631 0 nan | 0.000 % | 7.69/7.76 c =============================================================================== 7.69/7.76 c core #368 7.69/7.76 c Core size: 13 Core Weight: 1 Total Weight: -227 7.69/7.76 c Elapsed CPU time: 7.73682 s Remaining CPU time: 1792.26 s 7.69/7.79 c ============================[ Search Statistics ]============================== 7.69/7.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.79 c =============================================================================== 7.69/7.79 c | 0 | 1618 28894 58503 | 9631 0 nan | 0.000 % | 7.69/7.79 c =============================================================================== 7.69/7.79 c core #369 7.69/7.79 c Core size: 10 Core Weight: 1 Total Weight: -226 7.69/7.79 c Elapsed CPU time: 7.76782 s Remaining CPU time: 1792.23 s 7.79/7.82 c ============================[ Search Statistics ]============================== 7.79/7.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.82 c =============================================================================== 7.79/7.82 c | 0 | 1622 28895 58511 | 9631 0 nan | 0.000 % | 7.79/7.83 c =============================================================================== 7.79/7.83 c core #370 7.79/7.83 c Core size: 13 Core Weight: 1 Total Weight: -225 7.79/7.83 c Elapsed CPU time: 7.79981 s Remaining CPU time: 1792.2 s 7.79/7.85 c ============================[ Search Statistics ]============================== 7.79/7.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.85 c =============================================================================== 7.79/7.85 c | 0 | 1628 28896 58523 | 9632 0 nan | 0.000 % | 7.79/7.86 c =============================================================================== 7.79/7.86 c core #371 7.79/7.86 c Core size: 13 Core Weight: 1 Total Weight: -224 7.79/7.86 c Elapsed CPU time: 7.82981 s Remaining CPU time: 1792.17 s 7.79/7.88 c ============================[ Search Statistics ]============================== 7.79/7.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.88 c =============================================================================== 7.79/7.88 c | 0 | 1634 28897 58535 | 9632 0 nan | 0.000 % | 7.79/7.89 c =============================================================================== 7.79/7.89 c core #372 7.79/7.89 c Core size: 13 Core Weight: 1 Total Weight: -223 7.79/7.89 c Elapsed CPU time: 7.8608 s Remaining CPU time: 1792.14 s 7.88/7.92 c ============================[ Search Statistics ]============================== 7.88/7.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.92 c =============================================================================== 7.88/7.92 c | 0 | 1640 28898 58547 | 9632 0 nan | 0.000 % | 7.88/7.92 c =============================================================================== 7.88/7.92 c core #373 7.88/7.92 c Core size: 10 Core Weight: 1 Total Weight: -222 7.88/7.92 c Elapsed CPU time: 7.8948 s Remaining CPU time: 1792.11 s 7.88/7.95 c ============================[ Search Statistics ]============================== 7.88/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.95 c =============================================================================== 7.88/7.95 c | 0 | 1644 28899 58555 | 9633 0 nan | 0.000 % | 7.88/7.95 c =============================================================================== 7.88/7.95 c core #374 7.88/7.95 c Core size: 13 Core Weight: 1 Total Weight: -221 7.88/7.95 c Elapsed CPU time: 7.92679 s Remaining CPU time: 1792.07 s 7.88/7.98 c ============================[ Search Statistics ]============================== 7.88/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.98 c =============================================================================== 7.88/7.98 c | 0 | 1650 28900 58567 | 9633 0 nan | 0.000 % | 7.88/7.99 c =============================================================================== 7.88/7.99 c core #375 7.88/7.99 c Core size: 13 Core Weight: 1 Total Weight: -220 7.88/7.99 c Elapsed CPU time: 7.95779 s Remaining CPU time: 1792.04 s 7.98/8.01 c ============================[ Search Statistics ]============================== 7.98/8.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.01 c =============================================================================== 7.98/8.01 c | 0 | 1656 28901 58579 | 9633 0 nan | 0.000 % | 7.98/8.02 c =============================================================================== 7.98/8.02 c core #376 7.98/8.02 c Core size: 13 Core Weight: 1 Total Weight: -219 7.98/8.02 c Elapsed CPU time: 7.98879 s Remaining CPU time: 1792.01 s 7.98/8.04 c ============================[ Search Statistics ]============================== 7.98/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.04 c =============================================================================== 7.98/8.04 c | 0 | 1662 28902 58591 | 9634 0 nan | 0.000 % | 7.98/8.05 c =============================================================================== 7.98/8.05 c core #377 7.98/8.05 c Core size: 24 Core Weight: 1 Total Weight: -218 7.98/8.05 c Elapsed CPU time: 8.02078 s Remaining CPU time: 1791.98 s 7.98/8.08 c ============================[ Search Statistics ]============================== 7.98/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.08 c =============================================================================== 7.98/8.08 c | 0 | 1672 28903 58611 | 9634 0 nan | 0.000 % | 7.98/8.08 c =============================================================================== 7.98/8.08 c core #378 7.98/8.08 c Core size: 24 Core Weight: 1 Total Weight: -217 7.98/8.08 c Elapsed CPU time: 8.05377 s Remaining CPU time: 1791.95 s 8.08/8.11 c ============================[ Search Statistics ]============================== 8.08/8.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.11 c =============================================================================== 8.08/8.11 c | 0 | 1682 28904 58631 | 9634 0 nan | 0.000 % | 8.08/8.11 c =============================================================================== 8.08/8.11 c core #379 8.08/8.11 c Core size: 13 Core Weight: 1 Total Weight: -216 8.08/8.11 c Elapsed CPU time: 8.08677 s Remaining CPU time: 1791.91 s 8.08/8.14 c ============================[ Search Statistics ]============================== 8.08/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.14 c =============================================================================== 8.08/8.14 c | 0 | 1688 28905 58643 | 9635 0 nan | 0.000 % | 8.08/8.15 c =============================================================================== 8.08/8.15 c core #380 8.08/8.15 c Core size: 10 Core Weight: 1 Total Weight: -215 8.08/8.15 c Elapsed CPU time: 8.11777 s Remaining CPU time: 1791.88 s 8.08/8.17 c ============================[ Search Statistics ]============================== 8.08/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.17 c =============================================================================== 8.08/8.17 c | 0 | 1692 28906 58651 | 9635 0 nan | 0.000 % | 8.08/8.18 c =============================================================================== 8.08/8.18 c core #381 8.08/8.18 c Core size: 13 Core Weight: 1 Total Weight: -214 8.08/8.18 c Elapsed CPU time: 8.14776 s Remaining CPU time: 1791.85 s 8.18/8.21 c ============================[ Search Statistics ]============================== 8.18/8.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.21 c =============================================================================== 8.18/8.21 c | 0 | 1698 28907 58663 | 9635 0 nan | 0.000 % | 8.18/8.21 c =============================================================================== 8.18/8.21 c core #382 8.18/8.21 c Core size: 10 Core Weight: 1 Total Weight: -213 8.18/8.21 c Elapsed CPU time: 8.17976 s Remaining CPU time: 1791.82 s 8.18/8.24 c ============================[ Search Statistics ]============================== 8.18/8.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.24 c =============================================================================== 8.18/8.24 c | 0 | 1702 28908 58671 | 9636 0 nan | 0.000 % | 8.18/8.24 c =============================================================================== 8.18/8.24 c core #383 8.18/8.24 c Core size: 13 Core Weight: 1 Total Weight: -212 8.18/8.24 c Elapsed CPU time: 8.20975 s Remaining CPU time: 1791.79 s 8.18/8.27 c ============================[ Search Statistics ]============================== 8.18/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.27 c =============================================================================== 8.18/8.27 c | 0 | 1708 28909 58683 | 9636 0 nan | 0.000 % | 8.18/8.27 c =============================================================================== 8.18/8.27 c core #384 8.18/8.27 c Core size: 13 Core Weight: 1 Total Weight: -211 8.18/8.27 c Elapsed CPU time: 8.24075 s Remaining CPU time: 1791.76 s 8.28/8.30 c ============================[ Search Statistics ]============================== 8.28/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.30 c =============================================================================== 8.28/8.30 c | 0 | 1714 28910 58695 | 9636 0 nan | 0.000 % | 8.28/8.31 c =============================================================================== 8.28/8.31 c core #385 8.28/8.31 c Core size: 10 Core Weight: 1 Total Weight: -210 8.28/8.31 c Elapsed CPU time: 8.27474 s Remaining CPU time: 1791.73 s 8.28/8.33 c ============================[ Search Statistics ]============================== 8.28/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.33 c =============================================================================== 8.28/8.33 c | 0 | 1718 28911 58703 | 9637 0 nan | 0.000 % | 8.28/8.34 c =============================================================================== 8.28/8.34 c core #386 8.28/8.34 c Core size: 13 Core Weight: 1 Total Weight: -209 8.28/8.34 c Elapsed CPU time: 8.30474 s Remaining CPU time: 1791.7 s 8.28/8.37 c ============================[ Search Statistics ]============================== 8.28/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.37 c =============================================================================== 8.28/8.37 c | 0 | 1724 28912 58715 | 9637 0 nan | 0.000 % | 8.28/8.37 c =============================================================================== 8.28/8.37 c core #387 8.28/8.37 c Core size: 13 Core Weight: 1 Total Weight: -208 8.28/8.37 c Elapsed CPU time: 8.33573 s Remaining CPU time: 1791.66 s 8.28/8.40 c ============================[ Search Statistics ]============================== 8.28/8.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.40 c =============================================================================== 8.28/8.40 c | 0 | 1730 28913 58727 | 9637 0 nan | 0.000 % | 8.38/8.40 c =============================================================================== 8.38/8.40 c core #388 8.38/8.40 c Core size: 13 Core Weight: 1 Total Weight: -207 8.38/8.40 c Elapsed CPU time: 8.36673 s Remaining CPU time: 1791.63 s 8.38/8.43 c ============================[ Search Statistics ]============================== 8.38/8.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.43 c =============================================================================== 8.38/8.43 c | 0 | 1736 28914 58739 | 9638 0 nan | 0.000 % | 8.38/8.43 c =============================================================================== 8.38/8.43 c core #389 8.38/8.43 c Core size: 13 Core Weight: 1 Total Weight: -206 8.38/8.43 c Elapsed CPU time: 8.39772 s Remaining CPU time: 1791.6 s 8.38/8.46 c ============================[ Search Statistics ]============================== 8.38/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.46 c =============================================================================== 8.38/8.46 c | 0 | 1742 28915 58751 | 9638 0 nan | 0.000 % | 8.38/8.46 c =============================================================================== 8.38/8.46 c core #390 8.38/8.46 c Core size: 10 Core Weight: 1 Total Weight: -205 8.38/8.46 c Elapsed CPU time: 8.42872 s Remaining CPU time: 1791.57 s 8.38/8.49 c ============================[ Search Statistics ]============================== 8.38/8.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.49 c =============================================================================== 8.38/8.49 c | 0 | 1746 28916 58759 | 9638 0 nan | 0.000 % | 8.38/8.49 c =============================================================================== 8.38/8.49 c core #391 8.38/8.49 c Core size: 13 Core Weight: 1 Total Weight: -204 8.38/8.49 c Elapsed CPU time: 8.46071 s Remaining CPU time: 1791.54 s 8.48/8.52 c ============================[ Search Statistics ]============================== 8.48/8.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.52 c =============================================================================== 8.48/8.52 c | 0 | 1752 28917 58771 | 9639 0 nan | 0.000 % | 8.48/8.53 c =============================================================================== 8.48/8.53 c core #392 8.48/8.53 c Core size: 10 Core Weight: 1 Total Weight: -203 8.48/8.53 c Elapsed CPU time: 8.49171 s Remaining CPU time: 1791.51 s 8.48/8.55 c ============================[ Search Statistics ]============================== 8.48/8.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.55 c =============================================================================== 8.48/8.55 c | 0 | 1756 28918 58779 | 9639 0 nan | 0.000 % | 8.48/8.56 c =============================================================================== 8.48/8.56 c core #393 8.48/8.56 c Core size: 13 Core Weight: 1 Total Weight: -202 8.48/8.56 c Elapsed CPU time: 8.5237 s Remaining CPU time: 1791.48 s 8.48/8.59 c ============================[ Search Statistics ]============================== 8.48/8.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.59 c =============================================================================== 8.48/8.59 c | 0 | 1762 28919 58791 | 9639 0 nan | 0.000 % | 8.48/8.59 c =============================================================================== 8.48/8.59 c core #394 8.48/8.59 c Core size: 13 Core Weight: 1 Total Weight: -201 8.48/8.59 c Elapsed CPU time: 8.5567 s Remaining CPU time: 1791.44 s 8.58/8.62 c ============================[ Search Statistics ]============================== 8.58/8.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.62 c =============================================================================== 8.58/8.62 c | 0 | 1768 28920 58803 | 9640 0 nan | 0.000 % | 8.58/8.62 c =============================================================================== 8.58/8.62 c core #395 8.58/8.62 c Core size: 13 Core Weight: 1 Total Weight: -200 8.58/8.62 c Elapsed CPU time: 8.58769 s Remaining CPU time: 1791.41 s 8.58/8.65 c ============================[ Search Statistics ]============================== 8.58/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.65 c =============================================================================== 8.58/8.65 c | 0 | 1774 28921 58815 | 9640 0 nan | 0.000 % | 8.58/8.65 c =============================================================================== 8.58/8.65 c core #396 8.58/8.65 c Core size: 13 Core Weight: 1 Total Weight: -199 8.58/8.65 c Elapsed CPU time: 8.61969 s Remaining CPU time: 1791.38 s 8.58/8.68 c ============================[ Search Statistics ]============================== 8.58/8.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.68 c =============================================================================== 8.58/8.68 c | 0 | 1780 28922 58827 | 9640 0 nan | 0.000 % | 8.58/8.69 c =============================================================================== 8.58/8.69 c core #397 8.58/8.69 c Core size: 13 Core Weight: 1 Total Weight: -198 8.58/8.69 c Elapsed CPU time: 8.65168 s Remaining CPU time: 1791.35 s 8.68/8.72 c ============================[ Search Statistics ]============================== 8.68/8.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.68/8.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.68/8.72 c =============================================================================== 8.68/8.72 c | 0 | 1786 28923 58839 | 9641 0 nan | 0.000 % | 8.68/8.72 c =============================================================================== 8.68/8.72 c core #398 8.68/8.72 c Core size: 10 Core Weight: 1 Total Weight: -197 8.68/8.72 c Elapsed CPU time: 8.68468 s Remaining CPU time: 1791.32 s 8.68/8.75 c ============================[ Search Statistics ]============================== 8.68/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.68/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.68/8.75 c =============================================================================== 8.68/8.75 c | 0 | 1790 28924 58847 | 9641 0 nan | 0.000 % | 8.68/8.76 c =============================================================================== 8.68/8.76 c core #399 8.68/8.76 c Core size: 24 Core Weight: 1 Total Weight: -196 8.68/8.76 c Elapsed CPU time: 8.71867 s Remaining CPU time: 1791.28 s 8.68/8.79 c ============================[ Search Statistics ]============================== 8.68/8.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.68/8.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.68/8.79 c =============================================================================== 8.68/8.79 c | 0 | 1800 28925 58867 | 9641 0 nan | 0.000 % | 8.68/8.79 c =============================================================================== 8.68/8.79 c core #400 8.68/8.79 c Core size: 10 Core Weight: 1 Total Weight: -195 8.68/8.79 c Elapsed CPU time: 8.75067 s Remaining CPU time: 1791.25 s 8.78/8.82 c ============================[ Search Statistics ]============================== 8.78/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.82 c =============================================================================== 8.78/8.82 c | 0 | 1804 28926 58875 | 9642 0 nan | 0.000 % | 8.78/8.83 c =============================================================================== 8.78/8.83 c core #401 8.78/8.83 c Core size: 10 Core Weight: 1 Total Weight: -194 8.78/8.83 c Elapsed CPU time: 8.78766 s Remaining CPU time: 1791.21 s 8.78/8.86 c ============================[ Search Statistics ]============================== 8.78/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.86 c =============================================================================== 8.78/8.86 c | 0 | 1808 28927 58883 | 9642 0 nan | 0.000 % | 8.78/8.86 c =============================================================================== 8.78/8.86 c core #402 8.78/8.86 c Core size: 10 Core Weight: 1 Total Weight: -193 8.78/8.86 c Elapsed CPU time: 8.82166 s Remaining CPU time: 1791.18 s 8.78/8.89 c ============================[ Search Statistics ]============================== 8.78/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.89 c =============================================================================== 8.78/8.89 c | 0 | 1812 28928 58891 | 9642 0 nan | 0.000 % | 8.78/8.90 c =============================================================================== 8.78/8.90 c core #403 8.78/8.90 c Core size: 10 Core Weight: 1 Total Weight: -192 8.78/8.90 c Elapsed CPU time: 8.85765 s Remaining CPU time: 1791.14 s 8.87/8.93 c ============================[ Search Statistics ]============================== 8.87/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.93 c =============================================================================== 8.87/8.93 c | 0 | 1816 28929 58899 | 9643 0 nan | 0.000 % | 8.87/8.93 c =============================================================================== 8.87/8.93 c core #404 8.87/8.93 c Core size: 42 Core Weight: 1 Total Weight: -191 8.87/8.93 c Elapsed CPU time: 8.89065 s Remaining CPU time: 1791.11 s 8.87/8.96 c ============================[ Search Statistics ]============================== 8.87/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.96 c =============================================================================== 8.87/8.96 c | 0 | 1834 28930 58935 | 9643 0 nan | 0.000 % | 8.87/8.96 c =============================================================================== 8.87/8.96 c core #405 8.87/8.96 c Core size: 10 Core Weight: 1 Total Weight: -190 8.87/8.96 c Elapsed CPU time: 8.92364 s Remaining CPU time: 1791.08 s 8.87/8.99 c ============================[ Search Statistics ]============================== 8.87/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.99 c =============================================================================== 8.87/8.99 c | 0 | 1838 28931 58943 | 9643 0 nan | 0.000 % | 8.97/9.00 c =============================================================================== 8.97/9.00 c core #406 8.97/9.00 c Core size: 10 Core Weight: 1 Total Weight: -189 8.97/9.00 c Elapsed CPU time: 8.95864 s Remaining CPU time: 1791.04 s 8.97/9.03 c ============================[ Search Statistics ]============================== 8.97/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.97/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.97/9.03 c =============================================================================== 8.97/9.03 c | 0 | 1842 28932 58951 | 9644 0 nan | 0.000 % | 8.97/9.03 c =============================================================================== 8.97/9.03 c core #407 8.97/9.03 c Core size: 15 Core Weight: 1 Total Weight: -188 8.97/9.03 c Elapsed CPU time: 8.99363 s Remaining CPU time: 1791.01 s 8.97/9.06 c ============================[ Search Statistics ]============================== 8.97/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.97/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.97/9.06 c =============================================================================== 8.97/9.06 c | 0 | 1848 28933 58963 | 9644 0 nan | 0.000 % | 8.97/9.07 c =============================================================================== 8.97/9.07 c core #408 8.97/9.07 c Core size: 13 Core Weight: 1 Total Weight: -187 8.97/9.07 c Elapsed CPU time: 9.02563 s Remaining CPU time: 1790.97 s 9.07/9.10 c ============================[ Search Statistics ]============================== 9.07/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.07/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.07/9.10 c =============================================================================== 9.07/9.10 c | 0 | 1854 28934 58975 | 9644 0 nan | 0.000 % | 9.07/9.10 c =============================================================================== 9.07/9.10 c core #409 9.07/9.10 c Core size: 13 Core Weight: 1 Total Weight: -186 9.07/9.10 c Elapsed CPU time: 9.05962 s Remaining CPU time: 1790.94 s 9.07/9.13 c ============================[ Search Statistics ]============================== 9.07/9.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.07/9.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.07/9.14 c =============================================================================== 9.07/9.14 c | 0 | 1860 28935 58987 | 9645 0 nan | 0.000 % | 9.07/9.14 c =============================================================================== 9.07/9.14 c core #410 9.07/9.14 c Core size: 29 Core Weight: 1 Total Weight: -185 9.07/9.14 c Elapsed CPU time: 9.09462 s Remaining CPU time: 1790.91 s 9.07/9.17 c ============================[ Search Statistics ]============================== 9.07/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.07/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.07/9.17 c =============================================================================== 9.07/9.17 c | 0 | 1870 28936 59007 | 9645 0 nan | 0.000 % | 9.07/9.18 c =============================================================================== 9.07/9.18 c core #411 9.07/9.18 c Core size: 15 Core Weight: 1 Total Weight: -184 9.07/9.18 c Elapsed CPU time: 9.12961 s Remaining CPU time: 1790.87 s 9.17/9.21 c ============================[ Search Statistics ]============================== 9.17/9.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.21 c =============================================================================== 9.17/9.21 c | 0 | 1876 28937 59019 | 9645 0 nan | 0.000 % | 9.17/9.21 c =============================================================================== 9.17/9.21 c core #412 9.17/9.21 c Core size: 29 Core Weight: 1 Total Weight: -183 9.17/9.21 c Elapsed CPU time: 9.16561 s Remaining CPU time: 1790.83 s 9.17/9.24 c ============================[ Search Statistics ]============================== 9.17/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.24 c =============================================================================== 9.17/9.24 c | 0 | 1888 28938 59043 | 9646 0 nan | 0.000 % | 9.17/9.25 c =============================================================================== 9.17/9.25 c core #413 9.17/9.25 c Core size: 10 Core Weight: 1 Total Weight: -182 9.17/9.25 c Elapsed CPU time: 9.2006 s Remaining CPU time: 1790.8 s 9.17/9.28 c ============================[ Search Statistics ]============================== 9.17/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.28 c =============================================================================== 9.17/9.28 c | 0 | 1892 28939 59051 | 9646 0 nan | 0.000 % | 9.17/9.28 c =============================================================================== 9.17/9.28 c core #414 9.17/9.28 c Core size: 53 Core Weight: 1 Total Weight: -181 9.17/9.28 c Elapsed CPU time: 9.2376 s Remaining CPU time: 1790.76 s 9.27/9.31 c ============================[ Search Statistics ]============================== 9.27/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.31 c =============================================================================== 9.27/9.31 c | 0 | 1909 28940 59085 | 9646 0 nan | 0.000 % | 9.27/9.32 c =============================================================================== 9.27/9.32 c core #415 9.27/9.32 c Core size: 46 Core Weight: 1 Total Weight: -180 9.27/9.32 c Elapsed CPU time: 9.27359 s Remaining CPU time: 1790.73 s 9.27/9.35 c ============================[ Search Statistics ]============================== 9.27/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.35 c =============================================================================== 9.27/9.35 c | 0 | 1923 28941 59113 | 9647 0 nan | 0.000 % | 9.27/9.36 c =============================================================================== 9.27/9.36 c core #416 9.27/9.36 c Core size: 96 Core Weight: 1 Total Weight: -179 9.27/9.36 c Elapsed CPU time: 9.31158 s Remaining CPU time: 1790.69 s 9.27/9.39 c ============================[ Search Statistics ]============================== 9.27/9.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.39 c =============================================================================== 9.27/9.39 c | 0 | 1951 28942 59169 | 9647 0 nan | 0.000 % | 9.27/9.39 c =============================================================================== 9.27/9.39 c core #417 9.27/9.39 c Core size: 33 Core Weight: 1 Total Weight: -178 9.27/9.39 c Elapsed CPU time: 9.34558 s Remaining CPU time: 1790.65 s 9.36/9.42 c ============================[ Search Statistics ]============================== 9.36/9.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.42 c =============================================================================== 9.36/9.42 c | 0 | 1961 28943 59189 | 9647 0 nan | 0.000 % | 9.36/9.43 c =============================================================================== 9.36/9.43 c core #418 9.36/9.43 c Core size: 54 Core Weight: 1 Total Weight: -177 9.36/9.43 c Elapsed CPU time: 9.38057 s Remaining CPU time: 1790.62 s 9.36/9.46 c ============================[ Search Statistics ]============================== 9.36/9.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.46 c =============================================================================== 9.36/9.46 c | 0 | 1975 28944 59217 | 9648 0 nan | 0.000 % | 9.36/9.47 c =============================================================================== 9.36/9.47 c core #419 9.36/9.47 c Core size: 52 Core Weight: 1 Total Weight: -176 9.36/9.47 c Elapsed CPU time: 9.41757 s Remaining CPU time: 1790.58 s 9.46/9.50 c ============================[ Search Statistics ]============================== 9.46/9.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.46/9.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.46/9.50 c =============================================================================== 9.46/9.50 c | 0 | 1991 28945 59249 | 9648 0 nan | 0.000 % | 9.46/9.51 c | 102 | 1991 28945 59249 | 10613 102 9 | 0.000 % | 9.46/9.51 c =============================================================================== 9.46/9.51 c core #420 9.46/9.51 c Core size: 138 Core Weight: 1 Total Weight: -175 9.46/9.51 c Elapsed CPU time: 9.45956 s Remaining CPU time: 1790.54 s 9.46/9.54 c ============================[ Search Statistics ]============================== 9.46/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.46/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.46/9.54 c =============================================================================== 9.46/9.54 c | 0 | 2019 28946 59305 | 9648 0 nan | 0.000 % | 9.46/9.55 c | 100 | 2018 28946 59305 | 10613 100 7 | 0.050 % | 9.46/9.55 c =============================================================================== 9.46/9.55 c core #421 9.46/9.55 c Core size: 58 Core Weight: 1 Total Weight: -174 9.46/9.55 c Elapsed CPU time: 9.49756 s Remaining CPU time: 1790.5 s 9.46/9.58 c ============================[ Search Statistics ]============================== 9.46/9.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.46/9.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.46/9.58 c =============================================================================== 9.46/9.58 c | 0 | 2037 28947 59341 | 9649 0 nan | 0.000 % | 9.46/9.59 c | 100 | 2037 28947 59341 | 10613 100 12 | 0.000 % | 9.57/9.60 c | 251 | 2037 28947 59341 | 11675 251 14 | 0.049 % | 9.57/9.61 c =============================================================================== 9.57/9.61 c core #422 9.57/9.61 c Core size: 126 Core Weight: 1 Total Weight: -173 9.57/9.61 c Elapsed CPU time: 9.55255 s Remaining CPU time: 1790.45 s 9.57/9.64 c ============================[ Search Statistics ]============================== 9.57/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.64 c =============================================================================== 9.57/9.64 c | 0 | 2063 28948 59393 | 9649 0 nan | 0.000 % | 9.57/9.65 c =============================================================================== 9.57/9.65 c core #423 9.57/9.65 c Core size: 30 Core Weight: 1 Total Weight: -172 9.57/9.65 c Elapsed CPU time: 9.58854 s Remaining CPU time: 1790.41 s 9.57/9.68 c ============================[ Search Statistics ]============================== 9.57/9.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.68 c =============================================================================== 9.57/9.68 c | 0 | 2071 28949 59409 | 9649 0 nan | 0.000 % | 9.57/9.69 c | 101 | 2071 28949 59409 | 10614 101 13 | 0.000 % | 9.57/9.69 c =============================================================================== 9.57/9.69 c core #424 9.57/9.69 c Core size: 70 Core Weight: 1 Total Weight: -171 9.57/9.69 c Elapsed CPU time: 9.62954 s Remaining CPU time: 1790.37 s 9.66/9.72 c ============================[ Search Statistics ]============================== 9.66/9.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.66/9.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.66/9.72 c =============================================================================== 9.66/9.72 c | 0 | 2095 28950 59457 | 9650 0 nan | 0.000 % | 9.66/9.73 c =============================================================================== 9.66/9.73 c core #425 9.66/9.73 c Core size: 74 Core Weight: 1 Total Weight: -170 9.66/9.73 c Elapsed CPU time: 9.66853 s Remaining CPU time: 1790.33 s 9.66/9.76 c ============================[ Search Statistics ]============================== 9.66/9.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.66/9.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.66/9.76 c =============================================================================== 9.66/9.76 c | 0 | 2119 28951 59505 | 9650 0 nan | 0.000 % | 9.66/9.77 c | 100 | 2118 28951 59505 | 10615 100 12 | 0.047 % | 9.66/9.77 c =============================================================================== 9.66/9.77 c core #426 9.66/9.77 c Core size: 78 Core Weight: 1 Total Weight: -169 9.66/9.77 c Elapsed CPU time: 9.70852 s Remaining CPU time: 1790.29 s 9.76/9.80 c ============================[ Search Statistics ]============================== 9.76/9.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.76/9.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.76/9.80 c =============================================================================== 9.76/9.80 c | 0 | 2143 28952 59553 | 9650 0 nan | 0.000 % | 9.76/9.81 c =============================================================================== 9.76/9.81 c core #427 9.76/9.81 c Core size: 77 Core Weight: 1 Total Weight: -168 9.76/9.81 c Elapsed CPU time: 9.74952 s Remaining CPU time: 1790.25 s 9.76/9.84 c ============================[ Search Statistics ]============================== 9.76/9.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.76/9.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.76/9.84 c =============================================================================== 9.76/9.84 c | 0 | 2165 28953 59597 | 9651 0 nan | 0.000 % | 9.76/9.85 c | 101 | 2158 28953 59597 | 10616 101 7 | 7.991 % | 9.76/9.85 c =============================================================================== 9.76/9.85 c core #428 9.76/9.85 c Core size: 78 Core Weight: 1 Total Weight: -167 9.76/9.85 c Elapsed CPU time: 9.78751 s Remaining CPU time: 1790.21 s 9.76/9.88 c ============================[ Search Statistics ]============================== 9.76/9.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.76/9.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.76/9.88 c =============================================================================== 9.76/9.88 c | 0 | 2191 28954 59649 | 9651 0 nan | 0.000 % | 9.76/9.89 c =============================================================================== 9.76/9.89 c core #429 9.76/9.89 c Core size: 61 Core Weight: 1 Total Weight: -166 9.76/9.89 c Elapsed CPU time: 9.82651 s Remaining CPU time: 1790.17 s 9.86/9.92 c ============================[ Search Statistics ]============================== 9.86/9.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.86/9.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.86/9.92 c =============================================================================== 9.86/9.92 c | 0 | 2211 28955 59689 | 9651 0 nan | 0.000 % | 9.86/9.93 c | 100 | 2211 28955 59689 | 10616 100 10 | 0.000 % | 9.86/9.94 c | 250 | 2211 28955 59689 | 11678 250 11 | 0.000 % | 9.86/9.94 c =============================================================================== 9.86/9.94 c core #430 9.86/9.94 c Core size: 87 Core Weight: 1 Total Weight: -165 9.86/9.94 c Elapsed CPU time: 9.8735 s Remaining CPU time: 1790.13 s 9.86/9.97 c ============================[ Search Statistics ]============================== 9.86/9.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.86/9.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.86/9.97 c =============================================================================== 9.86/9.97 c | 0 | 2233 28956 59733 | 9652 0 nan | 0.000 % | 9.86/9.98 c | 100 | 2232 28956 59733 | 10617 100 10 | 0.045 % | 9.86/9.98 c =============================================================================== 9.86/9.98 c core #431 9.86/9.98 c Core size: 100 Core Weight: 1 Total Weight: -164 9.86/9.98 c Elapsed CPU time: 9.91449 s Remaining CPU time: 1790.09 s 9.96/10.01 c ============================[ Search Statistics ]============================== 9.96/10.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.96/10.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.96/10.01 c =============================================================================== 9.96/10.01 c | 0 | 2261 28957 59789 | 9652 0 nan | 0.000 % | 9.96/10.02 c | 100 | 2260 28957 59789 | 10617 100 17 | 0.044 % | 9.96/10.03 c | 250 | 2258 28957 59789 | 11679 250 14 | 0.133 % | 9.96/10.04 c | 476 | 2252 28957 59789 | 12847 476 16 | 0.442 % | 9.96/10.05 c =============================================================================== 9.96/10.05 c core #432 9.96/10.05 c Core size: 167 Core Weight: 1 Total Weight: -163 9.96/10.05 c Elapsed CPU time: 9.97648 s Remaining CPU time: 1790.02 s 9.96/10.08 c ============================[ Search Statistics ]============================== 9.96/10.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.96/10.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.96/10.08 c =============================================================================== 9.96/10.08 c | 0 | 2310 28958 59887 | 9652 0 nan | 0.000 % | 9.96/10.09 c | 101 | 2308 28958 59887 | 10617 101 11 | 0.087 % | 10.06/10.10 c =============================================================================== 10.06/10.10 c core #433 10.06/10.10 c Core size: 175 Core Weight: 1 Total Weight: -162 10.06/10.10 c Elapsed CPU time: 10.0285 s Remaining CPU time: 1789.97 s 10.06/10.13 c ============================[ Search Statistics ]============================== 10.06/10.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.06/10.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.06/10.13 c =============================================================================== 10.06/10.13 c | 0 | 2348 28959 59963 | 9653 0 nan | 0.000 % | 10.06/10.14 c | 100 | 2347 28959 59963 | 10618 100 8 | 0.043 % | 10.06/10.15 c | 253 | 2345 28959 59963 | 11680 253 10 | 0.131 % | 10.06/10.15 c =============================================================================== 10.06/10.15 c core #434 10.06/10.15 c Core size: 165 Core Weight: 1 Total Weight: -161 10.06/10.15 c Elapsed CPU time: 10.0735 s Remaining CPU time: 1789.93 s 10.06/10.18 c ============================[ Search Statistics ]============================== 10.06/10.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.06/10.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.06/10.18 c =============================================================================== 10.06/10.18 c | 0 | 2390 28960 60047 | 9653 0 nan | 0.000 % | 10.06/10.19 c | 103 | 2390 28960 60047 | 10618 103 11 | 0.000 % | 10.06/10.20 c =============================================================================== 10.06/10.20 c core #435 10.06/10.20 c Core size: 37 Core Weight: 1 Total Weight: -160 10.06/10.20 c Elapsed CPU time: 10.1185 s Remaining CPU time: 1789.88 s 10.15/10.23 c ============================[ Search Statistics ]============================== 10.15/10.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.15/10.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.15/10.23 c =============================================================================== 10.15/10.23 c | 0 | 2402 28961 60071 | 9653 0 nan | 0.000 % | 10.15/10.24 c | 100 | 2401 28961 60071 | 10619 100 7 | 0.042 % | 10.15/10.24 c =============================================================================== 10.15/10.24 c core #436 10.15/10.24 c Core size: 34 Core Weight: 1 Total Weight: -159 10.15/10.24 c Elapsed CPU time: 10.1575 s Remaining CPU time: 1789.84 s 10.15/10.27 c ============================[ Search Statistics ]============================== 10.15/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.15/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.15/10.27 c =============================================================================== 10.15/10.27 c | 0 | 2414 28962 60095 | 9654 0 nan | 0.000 % | 10.15/10.28 c | 101 | 2414 28962 60095 | 10619 101 18 | 0.000 % | 10.15/10.29 c | 251 | 2413 28962 60095 | 11681 251 17 | 0.041 % | 10.26/10.30 c | 476 | 2390 28962 60095 | 12849 476 17 | 4.308 % | 10.26/10.30 c =============================================================================== 10.26/10.30 c core #437 10.26/10.30 c Core size: 197 Core Weight: 1 Total Weight: -158 10.26/10.30 c Elapsed CPU time: 10.2174 s Remaining CPU time: 1789.78 s 10.26/10.33 c ============================[ Search Statistics ]============================== 10.26/10.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.26/10.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.26/10.33 c =============================================================================== 10.26/10.33 c | 0 | 2466 28963 60199 | 9654 0 nan | 0.000 % | 10.26/10.34 c | 101 | 2466 28963 60199 | 10619 101 13 | 0.000 % | 10.26/10.35 c | 251 | 2466 28963 60199 | 11681 251 11 | 0.000 % | 10.26/10.36 c | 477 | 2465 28963 60199 | 12849 477 12 | 0.041 % | 10.26/10.38 c =============================================================================== 10.26/10.39 c core #438 10.26/10.39 c Core size: 392 Core Weight: 1 Total Weight: -157 10.26/10.39 c Elapsed CPU time: 10.2974 s Remaining CPU time: 1789.7 s 10.36/10.42 c ============================[ Search Statistics ]============================== 10.36/10.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.36/10.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.36/10.42 c =============================================================================== 10.36/10.42 c | 0 | 2547 28964 60361 | 9654 0 nan | 0.000 % | 10.36/10.43 c | 101 | 2546 28964 60361 | 10620 101 12 | 0.039 % | 10.36/10.44 c =============================================================================== 10.36/10.44 c core #439 10.36/10.44 c Core size: 47 Core Weight: 1 Total Weight: -156 10.36/10.44 c Elapsed CPU time: 10.3454 s Remaining CPU time: 1789.65 s 10.36/10.47 c ============================[ Search Statistics ]============================== 10.36/10.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.36/10.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.36/10.47 c =============================================================================== 10.36/10.47 c | 0 | 2563 28965 60393 | 9655 0 nan | 0.000 % | 10.36/10.48 c | 100 | 2563 28965 60393 | 10620 100 23 | 0.000 % | 10.36/10.49 c | 251 | 2563 28965 60393 | 11682 251 26 | 0.000 % | 10.36/10.49 c =============================================================================== 10.36/10.49 c core #440 10.36/10.49 c Core size: 29 Core Weight: 1 Total Weight: -155 10.36/10.49 c Elapsed CPU time: 10.3944 s Remaining CPU time: 1789.61 s 10.45/10.53 c ============================[ Search Statistics ]============================== 10.45/10.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.45/10.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.45/10.53 c =============================================================================== 10.45/10.53 c | 0 | 2573 28966 60413 | 9655 0 nan | 0.000 % | 10.45/10.54 c =============================================================================== 10.45/10.54 c core #441 10.45/10.54 c Core size: 22 Core Weight: 1 Total Weight: -154 10.45/10.54 c Elapsed CPU time: 10.4344 s Remaining CPU time: 1789.57 s 10.45/10.57 c ============================[ Search Statistics ]============================== 10.45/10.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.45/10.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.45/10.57 c =============================================================================== 10.45/10.57 c | 0 | 2579 28967 60425 | 9655 0 nan | 0.000 % | 10.45/10.58 c | 100 | 2579 28967 60425 | 10621 100 27 | 0.000 % | 10.45/10.59 c | 250 | 2579 28967 60425 | 11683 250 26 | 0.000 % | 10.56/10.60 c | 475 | 2579 28967 60425 | 12851 475 28 | 0.000 % | 10.56/10.63 c | 812 | 2579 28967 60425 | 14136 812 30 | 0.000 % | 10.56/10.68 c | 1318 | 2576 28967 60425 | 15550 1317 43 | 0.116 % | 10.65/10.74 c | 2079 | 2555 28967 60425 | 17105 2061 47 | 4.963 % | 10.65/10.77 c =============================================================================== 10.65/10.77 c core #442 10.65/10.77 c Core size: 43 Core Weight: 1 Total Weight: -153 10.65/10.77 c Elapsed CPU time: 10.6604 s Remaining CPU time: 1789.34 s 10.75/10.81 c ============================[ Search Statistics ]============================== 10.75/10.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.75/10.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.75/10.81 c =============================================================================== 10.75/10.81 c | 0 | 2595 28968 60457 | 9656 0 nan | 0.000 % | 10.75/10.82 c | 100 | 2595 28968 60457 | 10621 100 12 | 0.000 % | 10.75/10.82 c | 252 | 2595 28968 60457 | 11683 252 13 | 0.000 % | 10.75/10.84 c | 477 | 2593 28968 60457 | 12852 477 14 | 0.077 % | 10.75/10.85 c | 814 | 2593 28968 60457 | 14137 814 14 | 0.077 % | 10.75/10.87 c =============================================================================== 10.75/10.88 c core #443 10.75/10.88 c Core size: 445 Core Weight: 1 Total Weight: -152 10.75/10.88 c Elapsed CPU time: 10.7644 s Remaining CPU time: 1789.24 s 10.86/10.91 c ============================[ Search Statistics ]============================== 10.86/10.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.86/10.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.86/10.91 c =============================================================================== 10.86/10.91 c | 0 | 2671 28969 60609 | 9656 0 nan | 0.000 % | 10.86/10.92 c =============================================================================== 10.86/10.92 c core #444 10.86/10.92 c Core size: 79 Core Weight: 1 Total Weight: -151 10.86/10.92 c Elapsed CPU time: 10.8044 s Remaining CPU time: 1789.2 s 10.86/10.96 c ============================[ Search Statistics ]============================== 10.86/10.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.86/10.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.86/10.96 c =============================================================================== 10.86/10.96 c | 0 | 2689 28970 60645 | 9656 0 nan | 0.000 % | 10.86/10.96 c =============================================================================== 10.86/10.96 c core #445 10.86/10.96 c Core size: 34 Core Weight: 1 Total Weight: -150 10.86/10.96 c Elapsed CPU time: 10.8464 s Remaining CPU time: 1789.15 s 10.86/11.00 c ============================[ Search Statistics ]============================== 10.86/11.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.86/11.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.86/11.00 c =============================================================================== 10.86/11.00 c | 0 | 2697 28971 60661 | 9657 0 nan | 0.000 % | 10.96/11.01 c | 101 | 2697 28971 60661 | 10622 101 8 | 0.000 % | 10.96/11.01 c | 251 | 2693 28971 60661 | 11684 251 10 | 0.148 % | 10.96/11.02 c | 478 | 2693 28971 60661 | 12853 478 14 | 0.148 % | 10.96/11.03 c =============================================================================== 10.96/11.03 c core #446 10.96/11.03 c Core size: 296 Core Weight: 1 Total Weight: -149 10.96/11.03 c Elapsed CPU time: 10.9133 s Remaining CPU time: 1789.09 s 10.96/11.07 c ============================[ Search Statistics ]============================== 10.96/11.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.96/11.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.96/11.07 c =============================================================================== 10.96/11.07 c | 0 | 2757 28972 60781 | 9657 0 nan | 0.000 % | 10.96/11.08 c | 101 | 2757 28972 60781 | 10623 101 28 | 0.000 % | 10.96/11.09 c | 251 | 2757 28972 60781 | 11685 251 17 | 0.000 % | 10.96/11.09 c =============================================================================== 10.96/11.09 c core #447 10.96/11.09 c Core size: 120 Core Weight: 1 Total Weight: -148 10.96/11.09 c Elapsed CPU time: 10.9683 s Remaining CPU time: 1789.03 s 11.06/11.12 c ============================[ Search Statistics ]============================== 11.06/11.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.06/11.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.06/11.12 c =============================================================================== 11.06/11.12 c | 0 | 2783 28973 60833 | 9657 0 nan | 0.000 % | 11.06/11.13 c | 105 | 2783 28973 60833 | 10623 105 13 | 0.000 % | 11.06/11.14 c | 260 | 2783 28973 60833 | 11685 260 20 | 0.000 % | 11.06/11.15 c | 485 | 2782 28973 60833 | 12854 485 18 | 0.036 % | 11.06/11.17 c | 827 | 2782 28973 60833 | 14139 827 23 | 0.036 % | 11.15/11.21 c | 1333 | 2781 28973 60833 | 15553 1330 28 | 0.072 % | 11.15/11.27 c | 2095 | 2781 28973 60833 | 17109 2092 26 | 0.072 % | 11.25/11.32 c =============================================================================== 11.25/11.34 c core #448 11.25/11.34 c Core size: 520 Core Weight: 1 Total Weight: -147 11.25/11.34 c Elapsed CPU time: 11.2023 s Remaining CPU time: 1788.8 s 11.25/11.38 c ============================[ Search Statistics ]============================== 11.25/11.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.25/11.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.25/11.38 c =============================================================================== 11.25/11.38 c | 0 | 2861 28974 60989 | 9658 0 nan | 0.000 % | 11.25/11.39 c | 100 | 2861 28974 60989 | 10623 100 11 | 0.000 % | 11.25/11.40 c | 251 | 2861 28974 60989 | 11686 251 11 | 0.000 % | 11.35/11.41 c | 477 | 2861 28974 60989 | 12854 477 12 | 0.000 % | 11.35/11.42 c | 815 | 2861 28974 60989 | 14140 815 14 | 0.000 % | 11.35/11.45 c | 1322 | 2861 28974 60989 | 15554 1322 17 | 0.000 % | 11.45/11.51 c | 2081 | 2861 28974 60989 | 17109 2081 20 | 0.000 % | 11.45/11.59 c =============================================================================== 11.55/11.61 c core #449 11.55/11.61 c Core size: 894 Core Weight: 1 Total Weight: -146 11.55/11.61 c Elapsed CPU time: 11.4653 s Remaining CPU time: 1788.53 s 11.55/11.64 c ============================[ Search Statistics ]============================== 11.55/11.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.55/11.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.55/11.64 c =============================================================================== 11.55/11.64 c | 0 | 2971 28975 61209 | 9658 0 nan | 0.000 % | 11.55/11.65 c | 100 | 2971 28975 61209 | 10624 100 8 | 0.000 % | 11.55/11.66 c | 250 | 2970 28975 61209 | 11686 250 11 | 0.034 % | 11.55/11.67 c | 476 | 2968 28975 61209 | 12855 476 13 | 0.101 % | 11.65/11.70 c | 813 | 2967 28975 61209 | 14140 802 22 | 0.135 % | 11.65/11.74 c | 1323 | 2957 28975 61209 | 15554 1312 26 | 0.471 % | 11.65/11.74 c =============================================================================== 11.65/11.75 c core #450 11.65/11.75 c Core size: 529 Core Weight: 1 Total Weight: -145 11.65/11.75 c Elapsed CPU time: 11.5952 s Remaining CPU time: 1788.4 s 11.65/11.78 c ============================[ Search Statistics ]============================== 11.65/11.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.65/11.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.65/11.78 c =============================================================================== 11.65/11.78 c | 0 | 3063 28976 61393 | 9658 0 nan | 0.000 % | 11.75/11.80 c | 101 | 3063 28976 61393 | 10624 101 14 | 0.000 % | 11.75/11.81 c | 251 | 3063 28976 61393 | 11686 251 16 | 0.000 % | 11.75/11.82 c | 476 | 3063 28976 61393 | 12855 476 19 | 0.000 % | 11.75/11.84 c | 813 | 3063 28976 61393 | 14141 813 23 | 0.000 % | 11.75/11.88 c | 1319 | 3063 28976 61393 | 15555 1319 32 | 0.000 % | 11.85/11.94 c | 2079 | 3061 28976 61393 | 17110 2075 34 | 0.065 % | 11.95/12.05 c | 3218 | 3059 28976 61393 | 18822 3188 36 | 0.131 % | 12.15/12.27 c | 4927 | 3059 28976 61393 | 20704 4897 37 | 0.131 % | 12.65/12.79 c =============================================================================== 12.75/12.86 c core #451 12.75/12.86 c Core size: 1217 Core Weight: 1 Total Weight: -144 12.75/12.86 c Elapsed CPU time: 12.6671 s Remaining CPU time: 1787.33 s 12.85/12.90 c ============================[ Search Statistics ]============================== 12.85/12.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.85/12.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.85/12.90 c =============================================================================== 12.85/12.90 c | 0 | 3178 28977 61623 | 9659 0 nan | 0.000 % | 12.85/12.92 c | 100 | 3178 28977 61623 | 10624 100 14 | 0.000 % | 12.85/12.92 c | 251 | 3178 28977 61623 | 11687 251 14 | 0.000 % | 12.85/12.94 c | 477 | 3177 28977 61623 | 12856 477 20 | 0.031 % | 12.85/12.96 c | 814 | 3177 28977 61623 | 14141 814 28 | 0.031 % | 12.95/13.00 c | 1321 | 3177 28977 61623 | 15555 1320 38 | 0.031 % | 12.95/13.07 c | 2080 | 3177 28977 61623 | 17111 2079 43 | 0.031 % | 13.05/13.19 c | 3220 | 3177 28977 61623 | 18822 3219 48 | 0.031 % | 13.25/13.39 c | 4930 | 3176 28977 61623 | 20704 4925 58 | 0.063 % | 13.74/13.89 c | 7495 | 3176 28977 61623 | 22775 7490 70 | 0.063 % | 14.85/14.98 c | 11339 | 3176 28977 61623 | 25052 11334 79 | 0.063 % | 16.85/16.94 c | 17106 | 3176 28977 61623 | 27558 17101 91 | 0.063 % | 23.54/23.62 c | 25755 | 3176 28977 61623 | 30314 25750 107 | 0.063 % | 30.04/30.16 c | 38729 | 3176 28977 61623 | 33345 21542 102 | 0.063 % | 44.14/44.24 c | 58193 | 3174 28977 61623 | 36680 21404 101 | 0.126 % | 64.74/64.81 c | 87385 | 3174 28977 61623 | 40348 27023 104 | 0.126 % | 108.42/108.56 c | 131174 | 3174 28977 61623 | 44382 18850 89 | 0.126 % | 176.51/176.66 c =============================================================================== 180.01/180.17 c core #452 180.01/180.17 c Core size: 1617 Core Weight: 1 Total Weight: -143 180.01/180.17 c Elapsed CPU time: 179.209 s Remaining CPU time: 1620.79 s 180.31/180.42 c ============================[ Search Statistics ]============================== 180.31/180.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.31/180.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.31/180.42 c =============================================================================== 180.31/180.42 c | 0 | 3310 28978 61887 | 9659 0 nan | 0.000 % | 180.31/180.46 c | 100 | 3310 28978 61887 | 10625 100 21 | 0.000 % | 180.31/180.47 c | 250 | 3310 28978 61887 | 11687 250 20 | 0.000 % | 180.31/180.49 c | 476 | 3310 28978 61887 | 12856 476 33 | 0.000 % | 180.40/180.51 c | 813 | 3310 28978 61887 | 14142 813 37 | 0.000 % | 180.40/180.56 c | 1319 | 3310 28978 61887 | 15556 1319 41 | 0.000 % | 180.50/180.64 c | 2078 | 3309 28978 61887 | 17112 2073 47 | 0.030 % | 180.60/180.80 c | 3217 | 3308 28978 61887 | 18823 3212 69 | 0.060 % | 181.00/181.14 c | 4926 | 3308 28978 61887 | 20705 4919 93 | 0.060 % | 181.70/181.85 c | 7488 | 3308 28978 61887 | 22776 7481 105 | 0.060 % | 182.79/182.92 c | 11334 | 3308 28978 61887 | 25053 11327 109 | 0.060 % | 185.19/185.38 c | 17102 | 3308 28978 61887 | 27559 17095 112 | 0.060 % | 190.10/190.27 c | 25752 | 3308 28978 61887 | 30315 25745 113 | 0.060 % | 199.10/199.22 c | 38726 | 3308 28978 61887 | 33346 20912 112 | 0.060 % | 224.19/224.30 c | 58187 | 3308 28978 61887 | 36681 21210 116 | 0.060 % | 256.58/256.71 c | 87380 | 3308 28978 61887 | 40349 28353 115 | 0.060 % | 298.77/299.00 c | 131169 | 3308 28978 61887 | 44384 20035 115 | 0.060 % | 358.56/358.72 c =============================================================================== 363.15/363.35 c core #453 363.15/363.35 c Core size: 1482 Core Weight: 1 Total Weight: -142 363.15/363.35 c Elapsed CPU time: 361.526 s Remaining CPU time: 1438.47 s 363.45/363.60 c ============================[ Search Statistics ]============================== 363.45/363.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 363.45/363.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 363.45/363.60 c =============================================================================== 363.45/363.60 c | 0 | 3434 28979 62135 | 9659 0 nan | 0.000 % | 363.45/363.64 c | 101 | 3434 28979 62135 | 10625 101 18 | 0.000 % | 363.45/363.66 c | 252 | 3434 28979 62135 | 11688 252 14 | 0.000 % | 363.45/363.68 c | 477 | 3433 28979 62135 | 12857 477 16 | 0.029 % | 363.55/363.70 c | 815 | 3432 28979 62135 | 14142 811 17 | 0.058 % | 363.55/363.74 c | 1321 | 3430 28979 62135 | 15556 1317 22 | 0.116 % | 363.65/363.82 c | 2082 | 3429 28979 62135 | 17112 2078 33 | 0.146 % | 363.75/363.98 c | 3222 | 3429 28979 62135 | 18823 3200 45 | 0.146 % | 364.15/364.31 c | 4930 | 3429 28979 62135 | 20706 4908 53 | 0.146 % | 364.75/364.94 c | 7492 | 3428 28979 62135 | 22776 7465 58 | 0.175 % | 365.95/366.17 c | 11336 | 3428 28979 62135 | 25054 11309 59 | 0.175 % | 367.25/367.45 c =============================================================================== 367.45/367.66 c core #454 367.45/367.66 c Core size: 1075 Core Weight: 1 Total Weight: -141 367.45/367.66 c Elapsed CPU time: 365.779 s Remaining CPU time: 1434.22 s 367.55/367.71 c ============================[ Search Statistics ]============================== 367.55/367.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.55/367.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.55/367.72 c =============================================================================== 367.55/367.72 c | 0 | 3544 28980 62355 | 9660 0 nan | 0.000 % | 367.55/367.73 c | 100 | 3544 28980 62355 | 10626 100 14 | 0.000 % | 367.55/367.74 c | 251 | 3544 28980 62355 | 11688 251 21 | 0.000 % | 367.55/367.76 c | 476 | 3544 28980 62355 | 12857 476 25 | 0.000 % | 367.55/367.78 c | 813 | 3544 28980 62355 | 14143 813 30 | 0.000 % | 367.64/367.82 c | 1323 | 3544 28980 62355 | 15557 1323 42 | 0.000 % | 367.75/367.90 c | 2083 | 3544 28980 62355 | 17113 2083 48 | 0.000 % | 367.84/368.01 c | 3225 | 3544 28980 62355 | 18824 3225 55 | 0.000 % | 368.05/368.24 c | 4934 | 3544 28980 62355 | 20707 4934 68 | 0.000 % | 368.55/368.78 c | 7496 | 3544 28980 62355 | 22777 7496 83 | 0.000 % | 369.65/369.83 c | 11341 | 3544 28980 62355 | 25055 11341 100 | 0.000 % | 372.35/372.50 c | 17107 | 3544 28980 62355 | 27561 17107 116 | 0.000 % | 378.85/379.08 c | 25756 | 3544 28980 62355 | 30317 25756 134 | 0.000 % | 393.55/393.78 c | 38731 | 3544 28980 62355 | 33348 20376 182 | 0.000 % | 401.34/401.56 c | 58199 | 3544 28980 62355 | 36683 18078 151 | 0.000 % | 421.04/421.28 c | 87396 | 3544 28980 62355 | 40352 23431 165 | 0.000 % | 448.33/448.50 c | 131187 | 3544 28980 62355 | 44387 39024 147 | 0.000 % | 514.11/514.31 c | 196872 | 3541 28980 62355 | 48826 42830 201 | 0.085 % | 660.97/661.24 c | 295398 | 3537 28980 62355 | 53708 36917 159 | 0.198 % | 848.62/848.97 c | 443188 | 3512 28980 62355 | 59079 23494 182 | 2.793 % | 1166.84/1167.26 c | 664872 | 3445 28980 62355 | 64987 22010 176 | 2.793 % | 1682.01/1682.59 c | 997398 | 3445 28980 62355 | 71486 58776 171 | 2.793 % |
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-1875595-1245168729/watcher-1875595-1245168729 -o /tmp/evaluation-result-1875595-1245168729/solver-1875595-1245168729 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875595-1245168729.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6115 /proc/meminfo: memFree=1857100/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=3188 CPUtime=0 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 184472367 3264512 196 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 797 197 129 292 0 339 0 [startup+0.0137871 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6115 /proc/meminfo: memFree=1857100/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=3320 CPUtime=0.01 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 258 0 0 0 1 0 0 0 18 0 1 0 184472367 3399680 242 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 830 242 146 292 0 372 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3320 [startup+0.101796 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6115 /proc/meminfo: memFree=1857100/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=4716 CPUtime=0.09 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 932 0 0 0 9 0 0 0 18 0 1 0 184472367 4829184 725 1992294400 134512640 135709839 4294956240 18446744073709551615 135166770 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1179 725 133 292 0 884 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4716 [startup+0.301818 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6115 /proc/meminfo: memFree=1857100/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=4996 CPUtime=0.29 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 1042 0 0 0 29 0 0 0 19 0 1 0 184472367 5115904 785 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1249 785 133 292 0 954 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4996 [startup+0.701864 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6115 /proc/meminfo: memFree=1857100/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=5028 CPUtime=0.69 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 1075 0 0 0 69 0 0 0 22 0 1 0 184472367 5148672 789 1992294400 134512640 135709839 4294956240 18446744073709551615 135165907 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1257 789 133 292 0 962 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5028 [startup+1.50195 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1854376/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=5172 CPUtime=1.49 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 1183 0 0 0 148 1 0 0 25 0 1 0 184472367 5296128 804 1992294400 134512640 135709839 4294956240 18446744073709551615 134517328 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1293 804 133 292 0 998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5172 [startup+3.10114 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1853992/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=5436 CPUtime=3.09 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 1280 0 0 0 308 1 0 0 25 0 1 0 184472367 5566464 901 1992294400 134512640 135709839 4294956240 18446744073709551615 134570613 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1359 901 133 292 0 1064 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5436 [startup+6.3015 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1852840/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=6716 CPUtime=6.29 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 1725 0 0 0 628 1 0 0 25 0 1 0 184472367 6877184 1257 1992294400 134512640 135709839 4294956240 18446744073709551615 134517472 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 1679 1257 135 292 0 1384 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6716 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1847272/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=12268 CPUtime=12.65 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 3364 0 0 0 1250 15 0 0 25 0 1 0 184472367 12562432 2615 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 3067 2615 136 292 0 2772 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 12268 [startup+25.5017 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1831656/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=27616 CPUtime=25.44 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 7191 0 0 0 2518 26 0 0 25 0 1 0 184472367 28278784 6442 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 6904 6442 136 292 0 6609 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 27616 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1805928/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=53524 CPUtime=51.03 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 13660 0 0 0 5064 39 0 0 25 0 1 0 184472367 54808576 12911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 13381 12911 136 292 0 13086 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 53524 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1769576/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=89400 CPUtime=102.23 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 22604 0 0 0 10160 63 0 0 25 0 1 0 184472367 91545600 21855 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 22350 21855 136 292 0 22055 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 89400 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1742504/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=117260 CPUtime=162.21 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 29513 0 0 0 16139 82 0 0 25 0 1 0 184472367 120074240 28764 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 29315 28764 136 292 0 29020 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 117260 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1726824/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=132008 CPUtime=222.19 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 33313 0 0 0 22113 106 0 0 25 0 1 0 184472367 135176192 32520 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 33002 32520 136 292 0 32707 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 132008 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1697128/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=162288 CPUtime=282.17 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 40871 0 0 0 28087 130 0 0 25 0 1 0 184472367 166182912 40078 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 40572 40078 136 292 0 40277 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 162288 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1651432/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=207448 CPUtime=342.16 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 52144 0 0 0 34057 159 0 0 25 0 1 0 184472367 212426752 51351 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 51862 51351 136 292 0 51567 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 207448 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1633064/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=226824 CPUtime=402.14 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 57050 0 0 0 40021 193 0 0 25 0 1 0 184472367 232267776 56257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 56706 56257 136 292 0 56411 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 226824 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1564840/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=293864 CPUtime=462.13 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 73789 0 0 0 45984 229 0 0 25 0 1 0 184472367 300916736 72996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 73466 72996 136 292 0 73171 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 293864 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1512872/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=345852 CPUtime=522.11 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 86784 0 0 0 51958 253 0 0 25 0 1 0 184472367 354152448 85991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 86463 85991 136 292 0 86168 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 345852 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1476200/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=382560 CPUtime=582.09 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 95912 0 0 0 57935 274 0 0 25 0 1 0 184472367 391741440 95119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 95640 95119 136 292 0 95345 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 382560 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1446952/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=411200 CPUtime=642.08 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 103078 0 0 0 63917 291 0 0 25 0 1 0 184472367 421068800 102285 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 102800 102285 136 292 0 102505 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 411200 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1262312/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=595896 CPUtime=882.01 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 149185 0 0 0 87814 387 0 0 25 0 1 0 184472367 610197504 148392 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 148974 148392 136 292 0 148679 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 595896 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1224104/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=634488 CPUtime=941.99 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 158788 0 0 0 93792 407 0 0 25 0 1 0 184472367 649715712 157995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 158622 157995 136 292 0 158327 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 634488 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1179752/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=678316 CPUtime=1001.99 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 169754 0 0 0 99770 429 0 0 25 0 1 0 184472367 694595584 168961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 169579 168961 136 292 0 169284 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 678316 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1139752/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=718484 CPUtime=1061.97 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 179772 0 0 0 105747 450 0 0 25 0 1 0 184472367 735727616 178979 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 179621 178979 136 292 0 179326 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 718484 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1101672/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=756432 CPUtime=1121.95 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 189233 0 0 0 111722 473 0 0 25 0 1 0 184472367 774586368 188440 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 189108 188440 136 292 0 188813 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 756432 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1067688/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=791416 CPUtime=1181.93 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 197969 0 0 0 117703 490 0 0 25 0 1 0 184472367 810409984 197176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 197854 197176 136 292 0 197559 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 791416 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=1020264/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=837908 CPUtime=1241.92 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 209552 0 0 0 123678 514 0 0 25 0 1 0 184472367 858017792 208759 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 209477 208759 136 292 0 209182 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 837908 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=978664/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=879208 CPUtime=1301.9 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 219851 0 0 0 129652 538 0 0 25 0 1 0 184472367 900308992 219058 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 219802 219058 136 292 0 219507 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 879208 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=947752/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=910916 CPUtime=1361.89 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 227742 0 0 0 135630 559 0 0 25 0 1 0 184472367 932777984 226949 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 227729 226949 136 292 0 227434 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 910916 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=911016/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=947048 CPUtime=1421.87 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 236745 0 0 0 141611 576 0 0 25 0 1 0 184472367 969777152 235952 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 236762 235952 136 292 0 236467 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 947048 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=885992/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=972184 CPUtime=1481.86 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 243013 0 0 0 147595 591 0 0 25 0 1 0 184472367 995516416 242220 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 243046 242220 136 292 0 242751 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 972184 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=861288/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=996664 CPUtime=1541.83 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 249141 0 0 0 153575 608 0 0 25 0 1 0 184472367 1020583936 248348 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 249166 248348 136 292 0 248871 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 996664 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=824872/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=1033440 CPUtime=1601.82 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 258299 0 0 0 159553 629 0 0 25 0 1 0 184472367 1058242560 257506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 258360 257506 136 292 0 258065 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1033440 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=786728/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=1071368 CPUtime=1661.81 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 267765 0 0 0 165534 647 0 0 25 0 1 0 184472367 1097080832 266972 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 267842 266972 136 292 0 267547 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1071368 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=743848/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=1114600 CPUtime=1721.79 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 278574 0 0 0 171511 668 0 0 25 0 1 0 184472367 1141350400 277781 1992294400 134512640 135709839 4294956240 18446744073709551615 134573867 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 278650 277781 136 292 0 278355 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1114600 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6116 /proc/meminfo: memFree=696488/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=1161660 CPUtime=1781.78 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 290323 0 0 0 177486 692 0 0 25 0 1 0 184472367 1189539840 289530 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 290415 289530 136 292 0 290120 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1161660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 3/66 6116 /proc/meminfo: memFree=677992/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=1179660 CPUtime=1800.08 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4194304 294840 0 0 0 179308 700 0 0 25 0 1 0 184472367 1207971840 294047 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 294915 294047 136 292 0 294620 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1179660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 3/66 6116 /proc/meminfo: memFree=677992/2055920 swapFree=4191900/4192956 [pid=6115] ppid=6113 vsize=0 CPUtime=1800.18 /proc/6115/stat : 6115 (wbo) R 6113 6115 5820 0 -1 4195332 294840 0 0 0 179308 710 0 0 25 0 1 0 184472367 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6115/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.27 CPU user time (s): 1793.08 CPU system time (s): 7.18991 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 1179660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.08 system time used= 7.18991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294840 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= 5 involuntary context switches= 3628 runsolver used 1.89571 second user time and 3.49647 second system time The end
Begin job on node32 at 2009-06-16 18:12:09 IDJOB=1875595 IDBENCH=2272 IDSOLVER=698 FILE ID=node32/1875595-1245168729 PBS_JOBID= 9363860 Free space on /tmp= 66340 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-3.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-1875595-1245168729/watcher-1875595-1245168729 -o /tmp/evaluation-result-1875595-1245168729/solver-1875595-1245168729 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875595-1245168729.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED=547487202 node32.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.234 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.234 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: 1857552 kB Buffers: 43968 kB Cached: 78580 kB SwapCached: 260 kB Active: 42936 kB Inactive: 93952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857552 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3032 kB Writeback: 0 kB Mapped: 23780 kB Slab: 47232 kB Committed_AS: 162340 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875595-1245168729.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-16 18:42:12