Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.25 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
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.47 |
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 | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
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-1875601-1245168910.opb. 0.00/0.00 c Instance file HOME/instance-1875601-1245168910.opb 0.00/0.00 c File size is 662246 bytes. 0.07/0.08 c Highest Coefficient sum: 3 0.07/0.08 c ============================[ Problem Statistics ]============================= 0.07/0.08 c | | 0.07/0.08 c | Parsing time: 0.08 s | 0.07/0.08 c | Number Variables: 595 | 0.07/0.08 c | Number Clauses: 28442 | 0.07/0.08 c | Number Cardinality: 0 | 0.07/0.08 c | Number PB Constraints: 0 | 0.07/0.08 c core #1 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: -594 0.07/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #2 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: -593 0.07/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.105983 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.120981 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.135979 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.09/0.20 c core #9 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: -586 0.09/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.210967 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.225965 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.271958 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.286956 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.301954 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.316951 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.333949 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.349946 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.364944 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.379942 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.394939 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.409937 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.424935 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.45493 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.470928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #28 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -567 0.39/0.49 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 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.501923 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.517921 s Remaining CPU time: 1799.48 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.534918 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.549916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #33 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -562 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 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.580911 s Remaining CPU time: 1799.42 s 0.49/0.60 c core #35 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: -560 0.49/0.60 c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 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.612906 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #37 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -558 0.59/0.63 c Elapsed CPU time: 0.628904 s Remaining CPU time: 1799.37 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.643902 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #39 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -556 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 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.674897 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #41 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -554 0.59/0.69 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #42 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -553 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #43 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -552 0.69/0.72 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #44 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -551 0.69/0.74 c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 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.754885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #46 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -549 0.69/0.77 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #47 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -548 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #48 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -547 0.79/0.80 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #49 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -546 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #50 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -545 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #51 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -544 0.79/0.85 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #52 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -543 0.79/0.87 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #53 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -542 0.79/0.89 c Elapsed CPU time: 0.887865 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #54 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: -541 0.89/0.90 c Elapsed CPU time: 0.903862 s Remaining CPU time: 1799.1 s 0.89/0.92 c core #55 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -540 0.89/0.92 c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #56 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -539 0.89/0.94 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #57 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -538 0.89/0.95 c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #58 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -537 0.89/0.97 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #59 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -536 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 1.00/1.00 c core #60 1.00/1.00 c Core size: 3 Core Weight: 1 Total Weight: -535 1.00/1.00 c Elapsed CPU time: 1.00285 s Remaining CPU time: 1799 s 1.00/1.02 c core #61 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -534 1.00/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 1.00/1.04 c core #62 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -533 1.00/1.04 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #63 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -532 1.00/1.05 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 1.00/1.07 c core #64 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -531 1.00/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #65 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: -530 1.00/1.08 c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s 1.00/1.10 c core #66 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: -529 1.00/1.10 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.10/1.12 c core #67 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: -528 1.10/1.12 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #68 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: -527 1.10/1.13 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.10/1.15 c core #69 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: -526 1.10/1.15 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.10/1.17 c core #70 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: -525 1.10/1.17 c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s 1.10/1.19 c core #71 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -524 1.10/1.19 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #72 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -523 1.19/1.20 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #73 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -522 1.19/1.22 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #74 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -521 1.19/1.24 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #75 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -520 1.19/1.25 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #76 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -519 1.19/1.27 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #77 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -518 1.19/1.29 c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #78 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -517 1.29/1.30 c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #79 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -516 1.29/1.32 c Elapsed CPU time: 1.3198 s Remaining CPU time: 1798.68 s 1.29/1.34 c core #80 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -515 1.29/1.34 c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #81 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: -514 1.29/1.35 c Elapsed CPU time: 1.35379 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #82 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -513 1.29/1.37 c Elapsed CPU time: 1.37079 s Remaining CPU time: 1798.63 s 1.29/1.39 c core #83 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -512 1.29/1.39 c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #84 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: -511 1.39/1.40 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.39/1.42 c core #85 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -510 1.39/1.42 c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s 1.39/1.44 c core #86 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -509 1.39/1.44 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #87 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: -508 1.39/1.45 c Elapsed CPU time: 1.45378 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #88 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -507 1.39/1.47 c Elapsed CPU time: 1.47078 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #89 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -506 1.39/1.49 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.49/1.51 c core #90 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -505 1.49/1.51 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #91 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -504 1.49/1.52 c Elapsed CPU time: 1.52377 s Remaining CPU time: 1798.48 s 1.49/1.54 c core #92 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -503 1.49/1.54 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.49/1.56 c core #93 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: -502 1.49/1.56 c Elapsed CPU time: 1.55876 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #94 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: -501 1.49/1.58 c Elapsed CPU time: 1.57676 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #95 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -500 1.49/1.59 c Elapsed CPU time: 1.59276 s Remaining CPU time: 1798.41 s 1.59/1.61 c core #96 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: -499 1.59/1.61 c Elapsed CPU time: 1.60875 s Remaining CPU time: 1798.39 s 1.59/1.63 c core #97 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: -498 1.59/1.63 c Elapsed CPU time: 1.62675 s Remaining CPU time: 1798.37 s 1.59/1.64 c core #98 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -497 1.59/1.64 c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s 1.59/1.66 c core #99 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -496 1.59/1.66 c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s 1.59/1.68 c core #100 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: -495 1.59/1.68 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #101 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -494 1.59/1.69 c Elapsed CPU time: 1.69274 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #102 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -493 1.69/1.71 c Elapsed CPU time: 1.70974 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #103 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: -492 1.69/1.73 c Elapsed CPU time: 1.72674 s Remaining CPU time: 1798.27 s 1.69/1.74 c core #104 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -491 1.69/1.74 c Elapsed CPU time: 1.74373 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #105 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -490 1.69/1.76 c Elapsed CPU time: 1.76073 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #106 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -489 1.69/1.78 c Elapsed CPU time: 1.77773 s Remaining CPU time: 1798.22 s 1.79/1.80 c core #107 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: -488 1.79/1.80 c Elapsed CPU time: 1.79473 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #108 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -487 1.79/1.81 c Elapsed CPU time: 1.81272 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #109 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -486 1.79/1.83 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #110 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -485 1.79/1.85 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #111 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: -484 1.79/1.87 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #112 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: -483 1.79/1.89 c Elapsed CPU time: 1.88371 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #113 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -482 1.89/1.90 c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #114 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: -481 1.89/1.92 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #115 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: -480 1.89/1.94 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #116 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -479 1.89/1.96 c Elapsed CPU time: 1.9557 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #117 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -478 1.89/1.98 c Elapsed CPU time: 1.9737 s Remaining CPU time: 1798.03 s 1.89/1.99 c core #118 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -477 1.89/1.99 c Elapsed CPU time: 1.9917 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #119 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -476 1.99/2.01 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.99/2.03 c core #120 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: -475 1.99/2.03 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #121 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -474 1.99/2.05 c Elapsed CPU time: 2.04569 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #122 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -473 1.99/2.07 c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #123 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: -472 1.99/2.08 c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s 2.09/2.10 c core #124 2.09/2.10 c Core size: 3 Core Weight: 1 Total Weight: -471 2.09/2.10 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.09/2.12 c core #125 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: -470 2.09/2.12 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #126 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -469 2.09/2.14 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.09/2.16 c core #127 2.09/2.16 c Core size: 3 Core Weight: 1 Total Weight: -468 2.09/2.16 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.09/2.18 c core #128 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -467 2.09/2.18 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #129 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: -466 2.09/2.19 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s 2.19/2.21 c core #130 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -465 2.19/2.21 c Elapsed CPU time: 2.20966 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #131 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -464 2.19/2.23 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #132 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -463 2.19/2.25 c Elapsed CPU time: 2.24766 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #133 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -462 2.19/2.27 c Elapsed CPU time: 2.26565 s Remaining CPU time: 1797.73 s 2.19/2.29 c core #134 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -461 2.19/2.29 c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s 2.29/2.30 c core #135 2.29/2.30 c Core size: 3 Core Weight: 1 Total Weight: -460 2.29/2.30 c Elapsed CPU time: 2.30165 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #136 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -459 2.29/2.32 c Elapsed CPU time: 2.32065 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #137 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -458 2.29/2.34 c Elapsed CPU time: 2.33964 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #138 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -457 2.29/2.36 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #139 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -456 2.29/2.38 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.39/2.40 c core #140 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: -455 2.39/2.40 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.39/2.42 c core #141 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -454 2.39/2.42 c Elapsed CPU time: 2.41363 s Remaining CPU time: 1797.59 s 2.39/2.44 c core #142 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -453 2.39/2.44 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.39/2.45 c core #143 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -452 2.39/2.45 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #144 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -451 2.39/2.47 c Elapsed CPU time: 2.46962 s Remaining CPU time: 1797.53 s 2.39/2.49 c core #145 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -450 2.39/2.49 c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #146 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -449 2.49/2.51 c Elapsed CPU time: 2.50662 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #147 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -448 2.49/2.53 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.49/2.55 c core #148 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: -447 2.49/2.55 c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s 2.49/2.56 c core #149 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -446 2.49/2.56 c Elapsed CPU time: 2.56061 s Remaining CPU time: 1797.44 s 2.49/2.58 c core #150 2.49/2.58 c Core size: 3 Core Weight: 1 Total Weight: -445 2.49/2.58 c Elapsed CPU time: 2.57961 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #151 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -444 2.59/2.60 c Elapsed CPU time: 2.59761 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #152 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -443 2.59/2.62 c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #153 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -442 2.59/2.64 c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s 2.59/2.66 c core #154 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -441 2.59/2.66 c Elapsed CPU time: 2.6546 s Remaining CPU time: 1797.35 s 2.59/2.68 c core #155 2.59/2.68 c Core size: 3 Core Weight: 1 Total Weight: -440 2.59/2.68 c Elapsed CPU time: 2.67359 s Remaining CPU time: 1797.33 s 2.59/2.69 c core #156 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -439 2.59/2.69 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.69/2.71 c core #157 2.69/2.71 c Core size: 3 Core Weight: 1 Total Weight: -438 2.69/2.71 c Elapsed CPU time: 2.70959 s Remaining CPU time: 1797.29 s 2.69/2.73 c core #158 2.69/2.73 c Core size: 3 Core Weight: 1 Total Weight: -437 2.69/2.73 c Elapsed CPU time: 2.72858 s Remaining CPU time: 1797.27 s 2.69/2.75 c core #159 2.69/2.75 c Core size: 3 Core Weight: 1 Total Weight: -436 2.69/2.75 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.69/2.77 c core #160 2.69/2.77 c Core size: 3 Core Weight: 1 Total Weight: -435 2.69/2.77 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.69/2.79 c core #161 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: -434 2.69/2.79 c Elapsed CPU time: 2.78358 s Remaining CPU time: 1797.22 s 2.79/2.81 c core #162 2.79/2.81 c Core size: 3 Core Weight: 1 Total Weight: -433 2.79/2.81 c Elapsed CPU time: 2.80157 s Remaining CPU time: 1797.2 s 2.79/2.82 c core #163 2.79/2.82 c Core size: 3 Core Weight: 1 Total Weight: -432 2.79/2.82 c Elapsed CPU time: 2.82057 s Remaining CPU time: 1797.18 s 2.79/2.84 c core #164 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -431 2.79/2.84 c Elapsed CPU time: 2.83957 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #165 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: -430 2.79/2.86 c Elapsed CPU time: 2.85757 s Remaining CPU time: 1797.14 s 2.79/2.88 c core #166 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: -429 2.79/2.88 c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s 2.89/2.90 c core #167 2.89/2.90 c Core size: 3 Core Weight: 1 Total Weight: -428 2.89/2.90 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.89/2.92 c core #168 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: -427 2.89/2.92 c Elapsed CPU time: 2.91456 s Remaining CPU time: 1797.09 s 2.89/2.94 c core #169 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: -426 2.89/2.94 c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s 2.89/2.96 c core #170 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: -425 2.89/2.96 c Elapsed CPU time: 2.95255 s Remaining CPU time: 1797.05 s 2.89/2.98 c core #171 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: -424 2.89/2.98 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 2.89/2.99 c core #172 2.89/2.99 c Core size: 3 Core Weight: 1 Total Weight: -423 2.89/2.99 c Elapsed CPU time: 2.99055 s Remaining CPU time: 1797.01 s 2.99/3.01 c core #173 2.99/3.01 c Core size: 3 Core Weight: 1 Total Weight: -422 2.99/3.01 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 2.99/3.03 c core #174 2.99/3.03 c Core size: 3 Core Weight: 1 Total Weight: -421 2.99/3.03 c Elapsed CPU time: 3.02754 s Remaining CPU time: 1796.97 s 2.99/3.05 c core #175 2.99/3.05 c Core size: 3 Core Weight: 1 Total Weight: -420 2.99/3.05 c Elapsed CPU time: 3.04654 s Remaining CPU time: 1796.95 s 2.99/3.07 c core #176 2.99/3.07 c Core size: 3 Core Weight: 1 Total Weight: -419 2.99/3.07 c Elapsed CPU time: 3.06553 s Remaining CPU time: 1796.93 s 2.99/3.09 c core #177 2.99/3.09 c Core size: 3 Core Weight: 1 Total Weight: -418 2.99/3.09 c Elapsed CPU time: 3.08453 s Remaining CPU time: 1796.92 s 3.09/3.11 c core #178 3.09/3.11 c Core size: 3 Core Weight: 1 Total Weight: -417 3.09/3.11 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.09/3.13 c core #179 3.09/3.13 c Core size: 3 Core Weight: 1 Total Weight: -416 3.09/3.13 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.09/3.15 c core #180 3.09/3.15 c Core size: 3 Core Weight: 1 Total Weight: -415 3.09/3.15 c Elapsed CPU time: 3.14352 s Remaining CPU time: 1796.86 s 3.09/3.17 c core #181 3.09/3.17 c Core size: 3 Core Weight: 1 Total Weight: -414 3.09/3.17 c Elapsed CPU time: 3.16252 s Remaining CPU time: 1796.84 s 3.09/3.19 c core #182 3.09/3.19 c Core size: 3 Core Weight: 1 Total Weight: -413 3.09/3.19 c Elapsed CPU time: 3.18252 s Remaining CPU time: 1796.82 s 3.19/3.21 c core #183 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -412 3.19/3.21 c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s 3.19/3.23 c core #184 3.19/3.23 c Core size: 3 Core Weight: 1 Total Weight: -411 3.19/3.23 c Elapsed CPU time: 3.22251 s Remaining CPU time: 1796.78 s 3.19/3.25 c core #185 3.19/3.25 c Core size: 3 Core Weight: 1 Total Weight: -410 3.19/3.25 c Elapsed CPU time: 3.24151 s Remaining CPU time: 1796.76 s 3.19/3.27 c core #186 3.19/3.27 c Core size: 3 Core Weight: 1 Total Weight: -409 3.19/3.27 c Elapsed CPU time: 3.2615 s Remaining CPU time: 1796.74 s 3.19/3.29 c core #187 3.19/3.29 c Core size: 3 Core Weight: 1 Total Weight: -408 3.19/3.29 c Elapsed CPU time: 3.2815 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #188 3.29/3.31 c Core size: 3 Core Weight: 1 Total Weight: -407 3.29/3.31 c Elapsed CPU time: 3.3005 s Remaining CPU time: 1796.7 s 3.29/3.33 c core #189 3.29/3.33 c Core size: 3 Core Weight: 1 Total Weight: -406 3.29/3.33 c Elapsed CPU time: 3.3205 s Remaining CPU time: 1796.68 s 3.29/3.35 c core #190 3.29/3.35 c Core size: 3 Core Weight: 1 Total Weight: -405 3.29/3.35 c Elapsed CPU time: 3.34149 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #191 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -404 3.29/3.37 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.29/3.39 c core #192 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -403 3.29/3.39 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #193 3.39/3.41 c Core size: 3 Core Weight: 1 Total Weight: -402 3.39/3.41 c Elapsed CPU time: 3.40048 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #194 3.39/3.43 c Core size: 3 Core Weight: 1 Total Weight: -401 3.39/3.43 c Elapsed CPU time: 3.42048 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #195 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: -400 3.39/3.45 c Elapsed CPU time: 3.44148 s Remaining CPU time: 1796.56 s 3.39/3.47 c core #196 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: -399 3.39/3.47 c Elapsed CPU time: 3.46347 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #197 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: -398 3.39/3.49 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.49/3.51 c core #198 3.49/3.51 c Core size: 3 Core Weight: 1 Total Weight: -397 3.49/3.51 c Elapsed CPU time: 3.50347 s Remaining CPU time: 1796.5 s 3.49/3.53 c core #199 3.49/3.53 c Core size: 3 Core Weight: 1 Total Weight: -396 3.49/3.53 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 3.49/3.55 c core #200 3.49/3.55 c Core size: 3 Core Weight: 1 Total Weight: -395 3.49/3.55 c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 s 3.49/3.57 c core #201 3.49/3.57 c Core size: 3 Core Weight: 1 Total Weight: -394 3.49/3.57 c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s 3.49/3.59 c core #202 3.49/3.59 c Core size: 3 Core Weight: 1 Total Weight: -393 3.49/3.59 c Elapsed CPU time: 3.58446 s Remaining CPU time: 1796.42 s 3.59/3.61 c core #203 3.59/3.61 c Core size: 3 Core Weight: 1 Total Weight: -392 3.59/3.61 c Elapsed CPU time: 3.60545 s Remaining CPU time: 1796.39 s 3.59/3.63 c core #204 3.59/3.63 c Core size: 3 Core Weight: 1 Total Weight: -391 3.59/3.63 c Elapsed CPU time: 3.62545 s Remaining CPU time: 1796.37 s 3.59/3.65 c core #205 3.59/3.65 c Core size: 3 Core Weight: 1 Total Weight: -390 3.59/3.65 c Elapsed CPU time: 3.64644 s Remaining CPU time: 1796.35 s 3.59/3.67 c core #206 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: -389 3.59/3.67 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.59/3.69 c core #207 3.59/3.69 c Core size: 3 Core Weight: 1 Total Weight: -388 3.59/3.69 c Elapsed CPU time: 3.68744 s Remaining CPU time: 1796.31 s 3.69/3.71 c core #208 3.69/3.71 c Core size: 3 Core Weight: 1 Total Weight: -387 3.69/3.71 c Elapsed CPU time: 3.70744 s Remaining CPU time: 1796.29 s 3.69/3.73 c core #209 3.69/3.73 c Core size: 3 Core Weight: 1 Total Weight: -386 3.69/3.73 c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s 3.69/3.75 c core #210 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: -385 3.69/3.75 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #211 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: -384 3.69/3.78 c Elapsed CPU time: 3.76943 s Remaining CPU time: 1796.23 s 3.69/3.80 c core #212 3.69/3.80 c Core size: 3 Core Weight: 1 Total Weight: -383 3.69/3.80 c Elapsed CPU time: 3.79042 s Remaining CPU time: 1796.21 s 3.79/3.82 c core #213 3.79/3.82 c Core size: 3 Core Weight: 1 Total Weight: -382 3.79/3.82 c Elapsed CPU time: 3.81042 s Remaining CPU time: 1796.19 s 3.79/3.84 c core #214 3.79/3.84 c Core size: 3 Core Weight: 1 Total Weight: -381 3.79/3.84 c Elapsed CPU time: 3.83142 s Remaining CPU time: 1796.17 s 3.79/3.86 c core #215 3.79/3.86 c Core size: 3 Core Weight: 1 Total Weight: -380 3.79/3.86 c Elapsed CPU time: 3.85241 s Remaining CPU time: 1796.15 s 3.79/3.88 c core #216 3.79/3.88 c Core size: 3 Core Weight: 1 Total Weight: -379 3.79/3.88 c Elapsed CPU time: 3.87341 s Remaining CPU time: 1796.13 s 3.89/3.90 c core #217 3.89/3.90 c Core size: 3 Core Weight: 1 Total Weight: -378 3.89/3.90 c Elapsed CPU time: 3.89441 s Remaining CPU time: 1796.11 s 3.89/3.92 c core #218 3.89/3.92 c Core size: 3 Core Weight: 1 Total Weight: -377 3.89/3.92 c Elapsed CPU time: 3.9154 s Remaining CPU time: 1796.08 s 3.89/3.94 c core #219 3.89/3.94 c Core size: 3 Core Weight: 1 Total Weight: -376 3.89/3.94 c Elapsed CPU time: 3.9364 s Remaining CPU time: 1796.06 s 3.89/3.96 c core #220 3.89/3.96 c Core size: 3 Core Weight: 1 Total Weight: -375 3.89/3.96 c Elapsed CPU time: 3.9574 s Remaining CPU time: 1796.04 s 3.89/3.98 c core #221 3.89/3.98 c Core size: 3 Core Weight: 1 Total Weight: -374 3.89/3.98 c Elapsed CPU time: 3.9774 s Remaining CPU time: 1796.02 s 3.99/4.01 c core #222 3.99/4.01 c Core size: 3 Core Weight: 1 Total Weight: -373 3.99/4.01 c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s 3.99/4.03 c core #223 3.99/4.03 c Core size: 3 Core Weight: 1 Total Weight: -372 3.99/4.03 c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s 3.99/4.05 c core #224 3.99/4.05 c Core size: 3 Core Weight: 1 Total Weight: -371 3.99/4.05 c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s 3.99/4.07 c core #225 3.99/4.07 c Core size: 3 Core Weight: 1 Total Weight: -370 3.99/4.07 c Elapsed CPU time: 4.06438 s Remaining CPU time: 1795.94 s 3.99/4.09 c core #226 3.99/4.09 c Core size: 3 Core Weight: 1 Total Weight: -369 3.99/4.09 c Elapsed CPU time: 4.08538 s Remaining CPU time: 1795.91 s 4.09/4.11 c core #227 4.09/4.11 c Core size: 3 Core Weight: 1 Total Weight: -368 4.09/4.11 c Elapsed CPU time: 4.10637 s Remaining CPU time: 1795.89 s 4.09/4.14 c core #228 4.09/4.14 c Core size: 3 Core Weight: 1 Total Weight: -367 4.09/4.14 c Elapsed CPU time: 4.12837 s Remaining CPU time: 1795.87 s 4.09/4.16 c core #229 4.09/4.16 c Core size: 3 Core Weight: 1 Total Weight: -366 4.09/4.16 c Elapsed CPU time: 4.14937 s Remaining CPU time: 1795.85 s 4.09/4.18 c core #230 4.09/4.18 c Core size: 3 Core Weight: 1 Total Weight: -365 4.09/4.18 c Elapsed CPU time: 4.17136 s Remaining CPU time: 1795.83 s 4.19/4.20 c core #231 4.19/4.20 c Core size: 3 Core Weight: 1 Total Weight: -364 4.19/4.20 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.19/4.22 c core #232 4.19/4.22 c Core size: 3 Core Weight: 1 Total Weight: -363 4.19/4.22 c Elapsed CPU time: 4.21436 s Remaining CPU time: 1795.79 s 4.19/4.24 c core #233 4.19/4.24 c Core size: 3 Core Weight: 1 Total Weight: -362 4.19/4.24 c Elapsed CPU time: 4.23635 s Remaining CPU time: 1795.76 s 4.19/4.27 c core #234 4.19/4.27 c Core size: 3 Core Weight: 1 Total Weight: -361 4.19/4.27 c Elapsed CPU time: 4.25835 s Remaining CPU time: 1795.74 s 4.19/4.29 c core #235 4.19/4.29 c Core size: 3 Core Weight: 1 Total Weight: -360 4.19/4.29 c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s 4.30/4.31 c core #236 4.30/4.31 c Core size: 3 Core Weight: 1 Total Weight: -359 4.30/4.31 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.30/4.33 c core #237 4.30/4.33 c Core size: 3 Core Weight: 1 Total Weight: -358 4.30/4.33 c Elapsed CPU time: 4.32334 s Remaining CPU time: 1795.68 s 4.30/4.35 c core #238 4.30/4.35 c Core size: 3 Core Weight: 1 Total Weight: -357 4.30/4.35 c Elapsed CPU time: 4.34534 s Remaining CPU time: 1795.65 s 4.30/4.38 c core #239 4.30/4.38 c Core size: 3 Core Weight: 1 Total Weight: -356 4.30/4.38 c Elapsed CPU time: 4.36734 s Remaining CPU time: 1795.63 s 4.30/4.40 c core #240 4.30/4.40 c Core size: 3 Core Weight: 1 Total Weight: -355 4.30/4.40 c Elapsed CPU time: 4.39033 s Remaining CPU time: 1795.61 s 4.40/4.42 c core #241 4.40/4.42 c Core size: 3 Core Weight: 1 Total Weight: -354 4.40/4.42 c Elapsed CPU time: 4.41233 s Remaining CPU time: 1795.59 s 4.40/4.44 c core #242 4.40/4.44 c Core size: 3 Core Weight: 1 Total Weight: -353 4.40/4.44 c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s 4.40/4.46 c core #243 4.40/4.46 c Core size: 3 Core Weight: 1 Total Weight: -352 4.40/4.46 c Elapsed CPU time: 4.45632 s Remaining CPU time: 1795.54 s 4.40/4.49 c core #244 4.40/4.49 c Core size: 3 Core Weight: 1 Total Weight: -351 4.40/4.49 c Elapsed CPU time: 4.47932 s Remaining CPU time: 1795.52 s 4.49/4.51 c core #245 4.49/4.51 c Core size: 3 Core Weight: 1 Total Weight: -350 4.49/4.51 c Elapsed CPU time: 4.50131 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #246 4.49/4.53 c Core size: 3 Core Weight: 1 Total Weight: -349 4.49/4.53 c Elapsed CPU time: 4.52431 s Remaining CPU time: 1795.48 s 4.49/4.55 c core #247 4.49/4.55 c Core size: 3 Core Weight: 1 Total Weight: -348 4.49/4.55 c Elapsed CPU time: 4.54631 s Remaining CPU time: 1795.45 s 4.49/4.58 c core #248 4.49/4.58 c Core size: 3 Core Weight: 1 Total Weight: -347 4.49/4.58 c Elapsed CPU time: 4.5693 s Remaining CPU time: 1795.43 s 4.59/4.60 c core #249 4.59/4.60 c Core size: 3 Core Weight: 1 Total Weight: -346 4.59/4.60 c Elapsed CPU time: 4.5913 s Remaining CPU time: 1795.41 s 4.59/4.62 c core #250 4.59/4.62 c Core size: 3 Core Weight: 1 Total Weight: -345 4.59/4.62 c Elapsed CPU time: 4.6153 s Remaining CPU time: 1795.38 s 4.59/4.64 c core #251 4.59/4.64 c Core size: 3 Core Weight: 1 Total Weight: -344 4.59/4.64 c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s 4.59/4.67 c core #252 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -343 4.59/4.67 c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s 4.59/4.69 c core #253 4.59/4.69 c Core size: 3 Core Weight: 1 Total Weight: -342 4.59/4.69 c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s 4.69/4.72 c core #254 4.69/4.72 c Core size: 3 Core Weight: 1 Total Weight: -341 4.69/4.72 c Elapsed CPU time: 4.70828 s Remaining CPU time: 1795.29 s 4.69/4.74 c core #255 4.69/4.74 c Core size: 3 Core Weight: 1 Total Weight: -340 4.69/4.74 c Elapsed CPU time: 4.73028 s Remaining CPU time: 1795.27 s 4.69/4.76 c core #256 4.69/4.76 c Core size: 3 Core Weight: 1 Total Weight: -339 4.69/4.76 c Elapsed CPU time: 4.75228 s Remaining CPU time: 1795.25 s 4.69/4.78 c core #257 4.69/4.78 c Core size: 3 Core Weight: 1 Total Weight: -338 4.69/4.78 c Elapsed CPU time: 4.77527 s Remaining CPU time: 1795.22 s 4.79/4.81 c core #258 4.79/4.81 c Core size: 3 Core Weight: 1 Total Weight: -337 4.79/4.81 c Elapsed CPU time: 4.79927 s Remaining CPU time: 1795.2 s 4.79/4.83 c core #259 4.79/4.83 c Core size: 3 Core Weight: 1 Total Weight: -336 4.79/4.83 c Elapsed CPU time: 4.82327 s Remaining CPU time: 1795.18 s 4.79/4.86 c core #260 4.79/4.86 c Core size: 3 Core Weight: 1 Total Weight: -335 4.79/4.86 c Elapsed CPU time: 4.84926 s Remaining CPU time: 1795.15 s 4.79/4.88 c core #261 4.79/4.88 c Core size: 3 Core Weight: 1 Total Weight: -334 4.79/4.88 c Elapsed CPU time: 4.87226 s Remaining CPU time: 1795.13 s 4.89/4.91 c core #262 4.89/4.91 c Core size: 3 Core Weight: 1 Total Weight: -333 4.89/4.91 c Elapsed CPU time: 4.89525 s Remaining CPU time: 1795.1 s 4.89/4.93 c core #263 4.89/4.93 c Core size: 3 Core Weight: 1 Total Weight: -332 4.89/4.93 c Elapsed CPU time: 4.91925 s Remaining CPU time: 1795.08 s 4.89/4.95 c core #264 4.89/4.95 c Core size: 3 Core Weight: 1 Total Weight: -331 4.89/4.95 c Elapsed CPU time: 4.94225 s Remaining CPU time: 1795.06 s 4.89/4.98 c core #265 4.89/4.98 c Core size: 3 Core Weight: 1 Total Weight: -330 4.89/4.98 c Elapsed CPU time: 4.96724 s Remaining CPU time: 1795.03 s 4.99/5.00 c core #266 4.99/5.00 c Core size: 3 Core Weight: 1 Total Weight: -329 4.99/5.00 c Elapsed CPU time: 4.99124 s Remaining CPU time: 1795.01 s 4.99/5.03 c core #267 4.99/5.03 c Core size: 3 Core Weight: 1 Total Weight: -328 4.99/5.03 c Elapsed CPU time: 5.01624 s Remaining CPU time: 1794.98 s 4.99/5.05 c core #268 4.99/5.05 c Core size: 3 Core Weight: 1 Total Weight: -327 4.99/5.05 c Elapsed CPU time: 5.03923 s Remaining CPU time: 1794.96 s 4.99/5.07 c core #269 4.99/5.07 c Core size: 3 Core Weight: 1 Total Weight: -326 4.99/5.07 c Elapsed CPU time: 5.06323 s Remaining CPU time: 1794.94 s 4.99/5.10 c core #270 4.99/5.10 c Core size: 3 Core Weight: 1 Total Weight: -325 4.99/5.10 c Elapsed CPU time: 5.08723 s Remaining CPU time: 1794.91 s 5.09/5.12 c core #271 5.09/5.12 c Core size: 3 Core Weight: 1 Total Weight: -324 5.09/5.12 c Elapsed CPU time: 5.11022 s Remaining CPU time: 1794.89 s 5.09/5.14 c core #272 5.09/5.14 c Core size: 3 Core Weight: 1 Total Weight: -323 5.09/5.14 c Elapsed CPU time: 5.13422 s Remaining CPU time: 1794.87 s 5.09/5.17 c core #273 5.09/5.17 c Core size: 3 Core Weight: 1 Total Weight: -322 5.09/5.17 c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s 5.09/5.19 c core #274 5.09/5.19 c Core size: 3 Core Weight: 1 Total Weight: -321 5.09/5.19 c Elapsed CPU time: 5.18221 s Remaining CPU time: 1794.82 s 5.19/5.22 c core #275 5.19/5.22 c Core size: 3 Core Weight: 1 Total Weight: -320 5.19/5.22 c Elapsed CPU time: 5.20621 s Remaining CPU time: 1794.79 s 5.19/5.24 c core #276 5.19/5.24 c Core size: 3 Core Weight: 1 Total Weight: -319 5.19/5.24 c Elapsed CPU time: 5.22921 s Remaining CPU time: 1794.77 s 5.19/5.26 c core #277 5.19/5.26 c Core size: 3 Core Weight: 1 Total Weight: -318 5.19/5.26 c Elapsed CPU time: 5.2542 s Remaining CPU time: 1794.75 s 5.19/5.29 c core #278 5.19/5.29 c Core size: 3 Core Weight: 1 Total Weight: -317 5.19/5.29 c Elapsed CPU time: 5.2782 s Remaining CPU time: 1794.72 s 5.29/5.31 c core #279 5.29/5.31 c Core size: 3 Core Weight: 1 Total Weight: -316 5.29/5.31 c Elapsed CPU time: 5.30219 s Remaining CPU time: 1794.7 s 5.29/5.34 c core #280 5.29/5.34 c Core size: 3 Core Weight: 1 Total Weight: -315 5.29/5.34 c Elapsed CPU time: 5.32719 s Remaining CPU time: 1794.67 s 5.29/5.36 c core #281 5.29/5.36 c Core size: 3 Core Weight: 1 Total Weight: -314 5.29/5.36 c Elapsed CPU time: 5.35119 s Remaining CPU time: 1794.65 s 5.29/5.39 c core #282 5.29/5.39 c Core size: 3 Core Weight: 1 Total Weight: -313 5.29/5.39 c Elapsed CPU time: 5.37618 s Remaining CPU time: 1794.62 s 5.40/5.41 c core #283 5.40/5.41 c Core size: 3 Core Weight: 1 Total Weight: -312 5.40/5.41 c Elapsed CPU time: 5.40118 s Remaining CPU time: 1794.6 s 5.40/5.43 c core #284 5.40/5.43 c Core size: 3 Core Weight: 1 Total Weight: -311 5.40/5.43 c Elapsed CPU time: 5.42518 s Remaining CPU time: 1794.57 s 5.40/5.46 c core #285 5.40/5.46 c Core size: 3 Core Weight: 1 Total Weight: -310 5.40/5.46 c Elapsed CPU time: 5.45017 s Remaining CPU time: 1794.55 s 5.40/5.48 c core #286 5.40/5.48 c Core size: 3 Core Weight: 1 Total Weight: -309 5.40/5.48 c Elapsed CPU time: 5.47417 s Remaining CPU time: 1794.53 s 5.50/5.51 c core #287 5.50/5.51 c Core size: 3 Core Weight: 1 Total Weight: -308 5.50/5.51 c Elapsed CPU time: 5.49916 s Remaining CPU time: 1794.5 s 5.50/5.53 c core #288 5.50/5.53 c Core size: 3 Core Weight: 1 Total Weight: -307 5.50/5.53 c Elapsed CPU time: 5.52316 s Remaining CPU time: 1794.48 s 5.50/5.56 c core #289 5.50/5.56 c Core size: 3 Core Weight: 1 Total Weight: -306 5.50/5.56 c Elapsed CPU time: 5.54816 s Remaining CPU time: 1794.45 s 5.50/5.58 c core #290 5.50/5.58 c Core size: 3 Core Weight: 1 Total Weight: -305 5.50/5.58 c Elapsed CPU time: 5.57215 s Remaining CPU time: 1794.43 s 5.59/5.61 c core #291 5.59/5.61 c Core size: 3 Core Weight: 1 Total Weight: -304 5.59/5.61 c Elapsed CPU time: 5.59715 s Remaining CPU time: 1794.4 s 5.59/5.63 c core #292 5.59/5.63 c Core size: 3 Core Weight: 1 Total Weight: -303 5.59/5.63 c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s 5.59/5.66 c core #293 5.59/5.66 c Core size: 3 Core Weight: 1 Total Weight: -302 5.59/5.66 c Elapsed CPU time: 5.64714 s Remaining CPU time: 1794.35 s 5.59/5.68 c core #294 5.59/5.68 c Core size: 3 Core Weight: 1 Total Weight: -301 5.59/5.68 c Elapsed CPU time: 5.67214 s Remaining CPU time: 1794.33 s 5.69/5.71 c core #295 5.69/5.71 c Core size: 3 Core Weight: 1 Total Weight: -300 5.69/5.71 c Elapsed CPU time: 5.69613 s Remaining CPU time: 1794.3 s 5.69/5.73 c core #296 5.69/5.73 c Core size: 3 Core Weight: 1 Total Weight: -299 5.69/5.73 c Elapsed CPU time: 5.72313 s Remaining CPU time: 1794.28 s 5.69/5.76 c core #297 5.69/5.76 c Core size: 10 Core Weight: 1 Total Weight: -298 5.69/5.76 c Elapsed CPU time: 5.74813 s Remaining CPU time: 1794.25 s 5.69/5.78 c core #298 5.69/5.78 c Core size: 14 Core Weight: 1 Total Weight: -297 5.69/5.78 c Elapsed CPU time: 5.77312 s Remaining CPU time: 1794.23 s 5.79/5.81 c core #299 5.79/5.81 c Core size: 10 Core Weight: 1 Total Weight: -296 5.79/5.81 c Elapsed CPU time: 5.79912 s Remaining CPU time: 1794.2 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 | 1204 28741 57507 | 9580 0 nan | 0.000 % | 5.79/5.84 c =============================================================================== 5.79/5.84 c core #300 5.79/5.84 c Core size: 17 Core Weight: 1 Total Weight: -295 5.79/5.84 c Elapsed CPU time: 5.82511 s Remaining CPU time: 1794.17 s 5.79/5.86 c ============================[ Search Statistics ]============================== 5.79/5.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.86 c =============================================================================== 5.79/5.86 c | 0 | 1211 28742 57521 | 9580 0 nan | 0.000 % | 5.79/5.86 c =============================================================================== 5.79/5.86 c core #301 5.79/5.86 c Core size: 10 Core Weight: 1 Total Weight: -294 5.79/5.86 c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 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 | 1215 28743 57529 | 9581 0 nan | 0.000 % | 5.79/5.89 c =============================================================================== 5.79/5.89 c core #302 5.79/5.89 c Core size: 10 Core Weight: 1 Total Weight: -293 5.79/5.89 c Elapsed CPU time: 5.87511 s Remaining CPU time: 1794.12 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 | 1219 28744 57537 | 9581 0 nan | 0.000 % | 5.89/5.91 c =============================================================================== 5.89/5.91 c core #303 5.89/5.91 c Core size: 13 Core Weight: 1 Total Weight: -292 5.89/5.91 c Elapsed CPU time: 5.9011 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 | 1225 28745 57549 | 9581 0 nan | 0.000 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c core #304 5.89/5.94 c Core size: 13 Core Weight: 1 Total Weight: -291 5.89/5.94 c Elapsed CPU time: 5.9261 s Remaining CPU time: 1794.07 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 | 1231 28746 57561 | 9582 0 nan | 0.000 % | 5.89/5.96 c =============================================================================== 5.89/5.96 c core #305 5.89/5.96 c Core size: 10 Core Weight: 1 Total Weight: -290 5.89/5.96 c Elapsed CPU time: 5.9511 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 | 1235 28747 57569 | 9582 0 nan | 0.000 % | 5.89/5.99 c =============================================================================== 5.89/5.99 c core #306 5.89/5.99 c Core size: 10 Core Weight: 1 Total Weight: -289 5.89/5.99 c Elapsed CPU time: 5.97909 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 | 1239 28748 57577 | 9582 0 nan | 0.000 % | 5.99/6.02 c =============================================================================== 5.99/6.02 c core #307 5.99/6.02 c Core size: 13 Core Weight: 1 Total Weight: -288 5.99/6.02 c Elapsed CPU time: 6.00309 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 | 1245 28749 57589 | 9583 0 nan | 0.000 % | 5.99/6.04 c =============================================================================== 5.99/6.04 c core #308 5.99/6.04 c Core size: 10 Core Weight: 1 Total Weight: -287 5.99/6.04 c Elapsed CPU time: 6.02908 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 | 1249 28750 57597 | 9583 0 nan | 0.000 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c core #309 5.99/6.07 c Core size: 10 Core Weight: 1 Total Weight: -286 5.99/6.07 c Elapsed CPU time: 6.05608 s Remaining CPU time: 1793.94 s 5.99/6.10 c ============================[ Search Statistics ]============================== 5.99/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.10 c =============================================================================== 5.99/6.10 c | 0 | 1253 28751 57605 | 9583 0 nan | 0.000 % | 6.09/6.10 c =============================================================================== 6.09/6.10 c core #310 6.09/6.10 c Core size: 13 Core Weight: 1 Total Weight: -285 6.09/6.10 c Elapsed CPU time: 6.08308 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 | 1259 28752 57617 | 9584 0 nan | 0.000 % | 6.09/6.12 c =============================================================================== 6.09/6.12 c core #311 6.09/6.12 c Core size: 13 Core Weight: 1 Total Weight: -284 6.09/6.12 c Elapsed CPU time: 6.11007 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 | 1265 28753 57629 | 9584 0 nan | 0.000 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c core #312 6.09/6.15 c Core size: 13 Core Weight: 1 Total Weight: -283 6.09/6.15 c Elapsed CPU time: 6.13907 s Remaining CPU time: 1793.86 s 6.09/6.18 c ============================[ Search Statistics ]============================== 6.09/6.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.18 c =============================================================================== 6.09/6.18 c | 0 | 1271 28754 57641 | 9584 0 nan | 0.000 % | 6.09/6.18 c =============================================================================== 6.09/6.18 c core #313 6.09/6.18 c Core size: 10 Core Weight: 1 Total Weight: -282 6.09/6.18 c Elapsed CPU time: 6.16406 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 | 1275 28755 57649 | 9585 0 nan | 0.000 % | 6.19/6.21 c =============================================================================== 6.19/6.21 c core #314 6.19/6.21 c Core size: 13 Core Weight: 1 Total Weight: -281 6.19/6.21 c Elapsed CPU time: 6.19106 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 | 1281 28756 57661 | 9585 0 nan | 0.000 % | 6.19/6.23 c =============================================================================== 6.19/6.23 c core #315 6.19/6.23 c Core size: 13 Core Weight: 1 Total Weight: -280 6.19/6.23 c Elapsed CPU time: 6.21905 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 | 1287 28757 57673 | 9585 0 nan | 0.000 % | 6.19/6.26 c =============================================================================== 6.19/6.26 c core #316 6.19/6.26 c Core size: 10 Core Weight: 1 Total Weight: -279 6.19/6.26 c Elapsed CPU time: 6.24705 s Remaining CPU time: 1793.75 s 6.19/6.29 c ============================[ Search Statistics ]============================== 6.19/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.29 c =============================================================================== 6.19/6.29 c | 0 | 1291 28758 57681 | 9586 0 nan | 0.000 % | 6.19/6.29 c =============================================================================== 6.19/6.29 c core #317 6.19/6.29 c Core size: 10 Core Weight: 1 Total Weight: -278 6.19/6.29 c Elapsed CPU time: 6.27305 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 | 1295 28759 57689 | 9586 0 nan | 0.000 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c core #318 6.29/6.31 c Core size: 10 Core Weight: 1 Total Weight: -277 6.29/6.31 c Elapsed CPU time: 6.30004 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 | 1299 28760 57697 | 9586 0 nan | 0.000 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c core #319 6.29/6.34 c Core size: 13 Core Weight: 1 Total Weight: -276 6.29/6.34 c Elapsed CPU time: 6.32604 s Remaining CPU time: 1793.67 s 6.29/6.37 c ============================[ Search Statistics ]============================== 6.29/6.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.37 c =============================================================================== 6.29/6.37 c | 0 | 1305 28761 57709 | 9587 0 nan | 0.000 % | 6.29/6.37 c =============================================================================== 6.29/6.37 c core #320 6.29/6.37 c Core size: 10 Core Weight: 1 Total Weight: -275 6.29/6.37 c Elapsed CPU time: 6.35603 s Remaining CPU time: 1793.64 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 | 1309 28762 57717 | 9587 0 nan | 0.000 % | 6.39/6.40 c =============================================================================== 6.39/6.40 c core #321 6.39/6.40 c Core size: 10 Core Weight: 1 Total Weight: -274 6.39/6.40 c Elapsed CPU time: 6.38203 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 | 1313 28763 57725 | 9587 0 nan | 0.000 % | 6.39/6.42 c =============================================================================== 6.39/6.42 c core #322 6.39/6.42 c Core size: 13 Core Weight: 1 Total Weight: -273 6.39/6.42 c Elapsed CPU time: 6.40902 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 | 1319 28764 57737 | 9588 0 nan | 0.000 % | 6.39/6.45 c =============================================================================== 6.39/6.45 c core #323 6.39/6.45 c Core size: 13 Core Weight: 1 Total Weight: -272 6.39/6.45 c Elapsed CPU time: 6.43702 s Remaining CPU time: 1793.56 s 6.39/6.48 c ============================[ Search Statistics ]============================== 6.39/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.48 c =============================================================================== 6.39/6.48 c | 0 | 1325 28765 57749 | 9588 0 nan | 0.000 % | 6.39/6.48 c =============================================================================== 6.39/6.48 c core #324 6.39/6.48 c Core size: 13 Core Weight: 1 Total Weight: -271 6.39/6.48 c Elapsed CPU time: 6.46502 s Remaining CPU time: 1793.53 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 | 1331 28766 57761 | 9588 0 nan | 0.000 % | 6.49/6.51 c =============================================================================== 6.49/6.51 c core #325 6.49/6.51 c Core size: 13 Core Weight: 1 Total Weight: -270 6.49/6.51 c Elapsed CPU time: 6.49201 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 | 1337 28767 57773 | 9589 0 nan | 0.000 % | 6.49/6.54 c =============================================================================== 6.49/6.54 c core #326 6.49/6.54 c Core size: 10 Core Weight: 1 Total Weight: -269 6.49/6.54 c Elapsed CPU time: 6.51901 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 | 1341 28768 57781 | 9589 0 nan | 0.000 % | 6.49/6.56 c =============================================================================== 6.49/6.56 c core #327 6.49/6.56 c Core size: 20 Core Weight: 1 Total Weight: -268 6.49/6.56 c Elapsed CPU time: 6.547 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 | 1350 28769 57799 | 9589 0 nan | 0.000 % | 6.49/6.59 c =============================================================================== 6.49/6.59 c core #328 6.49/6.59 c Core size: 10 Core Weight: 1 Total Weight: -267 6.49/6.59 c Elapsed CPU time: 6.574 s Remaining CPU time: 1793.43 s 6.60/6.62 c ============================[ Search Statistics ]============================== 6.60/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.62 c =============================================================================== 6.60/6.62 c | 0 | 1354 28770 57807 | 9590 0 nan | 0.000 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c core #329 6.60/6.62 c Core size: 13 Core Weight: 1 Total Weight: -266 6.60/6.62 c Elapsed CPU time: 6.602 s Remaining CPU time: 1793.4 s 6.60/6.65 c ============================[ Search Statistics ]============================== 6.60/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.65 c =============================================================================== 6.60/6.65 c | 0 | 1360 28771 57819 | 9590 0 nan | 0.000 % | 6.60/6.65 c =============================================================================== 6.60/6.65 c core #330 6.60/6.65 c Core size: 10 Core Weight: 1 Total Weight: -265 6.60/6.65 c Elapsed CPU time: 6.63099 s Remaining CPU time: 1793.37 s 6.60/6.68 c ============================[ Search Statistics ]============================== 6.60/6.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.68 c =============================================================================== 6.60/6.68 c | 0 | 1364 28772 57827 | 9590 0 nan | 0.000 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c core #331 6.60/6.68 c Core size: 10 Core Weight: 1 Total Weight: -264 6.60/6.68 c Elapsed CPU time: 6.65999 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 | 1368 28773 57835 | 9591 0 nan | 0.000 % | 6.69/6.71 c =============================================================================== 6.69/6.71 c core #332 6.69/6.71 c Core size: 10 Core Weight: 1 Total Weight: -263 6.69/6.71 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 | 1372 28774 57843 | 9591 0 nan | 0.000 % | 6.69/6.74 c =============================================================================== 6.69/6.74 c core #333 6.69/6.74 c Core size: 27 Core Weight: 1 Total Weight: -262 6.69/6.74 c Elapsed CPU time: 6.71598 s Remaining CPU time: 1793.28 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 | 1384 28775 57867 | 9591 0 nan | 0.000 % | 6.69/6.76 c =============================================================================== 6.69/6.76 c core #334 6.69/6.76 c Core size: 18 Core Weight: 1 Total Weight: -261 6.69/6.76 c Elapsed CPU time: 6.74497 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 | 1390 28776 57879 | 9592 0 nan | 0.000 % | 6.69/6.79 c =============================================================================== 6.69/6.79 c core #335 6.69/6.79 c Core size: 13 Core Weight: 1 Total Weight: -260 6.69/6.79 c Elapsed CPU time: 6.77497 s Remaining CPU time: 1793.23 s 6.79/6.82 c ============================[ Search Statistics ]============================== 6.79/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.82 c =============================================================================== 6.79/6.82 c | 0 | 1396 28777 57891 | 9592 0 nan | 0.000 % | 6.79/6.82 c =============================================================================== 6.79/6.82 c core #336 6.79/6.82 c Core size: 13 Core Weight: 1 Total Weight: -259 6.79/6.82 c Elapsed CPU time: 6.80297 s Remaining CPU time: 1793.2 s 6.79/6.85 c ============================[ Search Statistics ]============================== 6.79/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.85 c =============================================================================== 6.79/6.85 c | 0 | 1402 28778 57903 | 9592 0 nan | 0.000 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c core #337 6.79/6.85 c Core size: 13 Core Weight: 1 Total Weight: -258 6.79/6.85 c Elapsed CPU time: 6.82896 s Remaining CPU time: 1793.17 s 6.79/6.87 c ============================[ Search Statistics ]============================== 6.79/6.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.87 c =============================================================================== 6.79/6.87 c | 0 | 1408 28779 57915 | 9593 0 nan | 0.000 % | 6.79/6.88 c =============================================================================== 6.79/6.88 c core #338 6.79/6.88 c Core size: 13 Core Weight: 1 Total Weight: -257 6.79/6.88 c Elapsed CPU time: 6.85696 s Remaining CPU time: 1793.14 s 6.89/6.90 c ============================[ Search Statistics ]============================== 6.89/6.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.90 c =============================================================================== 6.89/6.90 c | 0 | 1414 28780 57927 | 9593 0 nan | 0.000 % | 6.89/6.91 c =============================================================================== 6.89/6.91 c core #339 6.89/6.91 c Core size: 10 Core Weight: 1 Total Weight: -256 6.89/6.91 c Elapsed CPU time: 6.88695 s Remaining CPU time: 1793.11 s 6.89/6.93 c ============================[ Search Statistics ]============================== 6.89/6.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.93 c =============================================================================== 6.89/6.93 c | 0 | 1418 28781 57935 | 9593 0 nan | 0.000 % | 6.89/6.94 c =============================================================================== 6.89/6.94 c core #340 6.89/6.94 c Core size: 30 Core Weight: 1 Total Weight: -255 6.89/6.94 c Elapsed CPU time: 6.91495 s Remaining CPU time: 1793.09 s 6.89/6.96 c ============================[ Search Statistics ]============================== 6.89/6.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.96 c =============================================================================== 6.89/6.96 c | 0 | 1426 28782 57951 | 9594 0 nan | 0.000 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c core #341 6.89/6.96 c Core size: 10 Core Weight: 1 Total Weight: -254 6.89/6.96 c Elapsed CPU time: 6.94394 s Remaining CPU time: 1793.06 s 6.89/6.99 c ============================[ Search Statistics ]============================== 6.89/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.99 c =============================================================================== 6.89/6.99 c | 0 | 1430 28783 57959 | 9594 0 nan | 0.000 % | 6.89/6.99 c =============================================================================== 6.89/6.99 c core #342 6.89/6.99 c Core size: 18 Core Weight: 1 Total Weight: -253 6.89/6.99 c Elapsed CPU time: 6.97294 s Remaining CPU time: 1793.03 s 6.99/7.02 c ============================[ Search Statistics ]============================== 6.99/7.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.02 c =============================================================================== 6.99/7.02 c | 0 | 1436 28784 57971 | 9594 0 nan | 0.000 % | 6.99/7.03 c =============================================================================== 6.99/7.03 c core #343 6.99/7.03 c Core size: 26 Core Weight: 1 Total Weight: -252 6.99/7.03 c Elapsed CPU time: 7.00394 s Remaining CPU time: 1793 s 6.99/7.05 c ============================[ Search Statistics ]============================== 6.99/7.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.05 c =============================================================================== 6.99/7.05 c | 0 | 1444 28785 57987 | 9595 0 nan | 0.000 % | 6.99/7.05 c =============================================================================== 6.99/7.05 c core #344 6.99/7.05 c Core size: 10 Core Weight: 1 Total Weight: -251 6.99/7.05 c Elapsed CPU time: 7.03393 s Remaining CPU time: 1792.97 s 6.99/7.08 c ============================[ Search Statistics ]============================== 6.99/7.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.08 c =============================================================================== 6.99/7.08 c | 0 | 1448 28786 57995 | 9595 0 nan | 0.000 % | 6.99/7.08 c =============================================================================== 6.99/7.08 c core #345 6.99/7.08 c Core size: 18 Core Weight: 1 Total Weight: -250 6.99/7.08 c Elapsed CPU time: 7.06393 s Remaining CPU time: 1792.94 s 7.09/7.11 c ============================[ Search Statistics ]============================== 7.09/7.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.11 c =============================================================================== 7.09/7.11 c | 0 | 1454 28787 58007 | 9595 0 nan | 0.000 % | 7.09/7.11 c =============================================================================== 7.09/7.11 c core #346 7.09/7.11 c Core size: 13 Core Weight: 1 Total Weight: -249 7.09/7.11 c Elapsed CPU time: 7.09292 s Remaining CPU time: 1792.91 s 7.09/7.14 c ============================[ Search Statistics ]============================== 7.09/7.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.14 c =============================================================================== 7.09/7.14 c | 0 | 1460 28788 58019 | 9596 0 nan | 0.000 % | 7.09/7.14 c =============================================================================== 7.09/7.14 c core #347 7.09/7.14 c Core size: 13 Core Weight: 1 Total Weight: -248 7.09/7.14 c Elapsed CPU time: 7.12392 s Remaining CPU time: 1792.88 s 7.09/7.17 c ============================[ Search Statistics ]============================== 7.09/7.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.17 c =============================================================================== 7.09/7.17 c | 0 | 1466 28789 58031 | 9596 0 nan | 0.000 % | 7.09/7.17 c =============================================================================== 7.09/7.17 c core #348 7.09/7.17 c Core size: 13 Core Weight: 1 Total Weight: -247 7.09/7.17 c Elapsed CPU time: 7.15391 s Remaining CPU time: 1792.85 s 7.19/7.20 c ============================[ Search Statistics ]============================== 7.19/7.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.20 c =============================================================================== 7.19/7.20 c | 0 | 1472 28790 58043 | 9596 0 nan | 0.000 % | 7.19/7.21 c =============================================================================== 7.19/7.21 c core #349 7.19/7.21 c Core size: 10 Core Weight: 1 Total Weight: -246 7.19/7.21 c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s 7.19/7.23 c ============================[ Search Statistics ]============================== 7.19/7.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.23 c =============================================================================== 7.19/7.23 c | 0 | 1476 28791 58051 | 9597 0 nan | 0.000 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c core #350 7.19/7.24 c Core size: 13 Core Weight: 1 Total Weight: -245 7.19/7.24 c Elapsed CPU time: 7.2139 s Remaining CPU time: 1792.79 s 7.19/7.26 c ============================[ Search Statistics ]============================== 7.19/7.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.26 c =============================================================================== 7.19/7.26 c | 0 | 1482 28792 58063 | 9597 0 nan | 0.000 % | 7.19/7.26 c =============================================================================== 7.19/7.26 c core #351 7.19/7.26 c Core size: 10 Core Weight: 1 Total Weight: -244 7.19/7.26 c Elapsed CPU time: 7.2429 s Remaining CPU time: 1792.76 s 7.19/7.29 c ============================[ Search Statistics ]============================== 7.19/7.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.29 c =============================================================================== 7.19/7.29 c | 0 | 1486 28793 58071 | 9597 0 nan | 0.000 % | 7.19/7.30 c =============================================================================== 7.19/7.30 c core #352 7.19/7.30 c Core size: 30 Core Weight: 1 Total Weight: -243 7.19/7.30 c Elapsed CPU time: 7.27289 s Remaining CPU time: 1792.73 s 7.29/7.32 c ============================[ Search Statistics ]============================== 7.29/7.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.32 c =============================================================================== 7.29/7.32 c | 0 | 1494 28794 58087 | 9598 0 nan | 0.000 % | 7.29/7.32 c =============================================================================== 7.29/7.32 c core #353 7.29/7.32 c Core size: 13 Core Weight: 1 Total Weight: -242 7.29/7.32 c Elapsed CPU time: 7.30289 s Remaining CPU time: 1792.7 s 7.29/7.35 c ============================[ Search Statistics ]============================== 7.29/7.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.35 c =============================================================================== 7.29/7.35 c | 0 | 1500 28795 58099 | 9598 0 nan | 0.000 % | 7.29/7.36 c =============================================================================== 7.29/7.36 c core #354 7.29/7.36 c Core size: 13 Core Weight: 1 Total Weight: -241 7.29/7.36 c Elapsed CPU time: 7.33389 s Remaining CPU time: 1792.67 s 7.29/7.38 c ============================[ Search Statistics ]============================== 7.29/7.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.38 c =============================================================================== 7.29/7.38 c | 0 | 1506 28796 58111 | 9598 0 nan | 0.000 % | 7.29/7.39 c =============================================================================== 7.29/7.39 c core #355 7.29/7.39 c Core size: 10 Core Weight: 1 Total Weight: -240 7.29/7.39 c Elapsed CPU time: 7.36488 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 | 1510 28797 58119 | 9599 0 nan | 0.000 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c core #356 7.39/7.42 c Core size: 24 Core Weight: 1 Total Weight: -239 7.39/7.42 c Elapsed CPU time: 7.39487 s Remaining CPU time: 1792.61 s 7.39/7.45 c ============================[ Search Statistics ]============================== 7.39/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.45 c =============================================================================== 7.39/7.45 c | 0 | 1520 28798 58139 | 9599 0 nan | 0.000 % | 7.39/7.45 c =============================================================================== 7.39/7.45 c core #357 7.39/7.45 c Core size: 13 Core Weight: 1 Total Weight: -238 7.39/7.45 c Elapsed CPU time: 7.42687 s Remaining CPU time: 1792.57 s 7.39/7.48 c ============================[ Search Statistics ]============================== 7.39/7.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.48 c =============================================================================== 7.39/7.48 c | 0 | 1526 28799 58151 | 9599 0 nan | 0.000 % | 7.39/7.48 c =============================================================================== 7.39/7.48 c core #358 7.39/7.48 c Core size: 13 Core Weight: 1 Total Weight: -237 7.39/7.48 c Elapsed CPU time: 7.45687 s Remaining CPU time: 1792.54 s 7.49/7.51 c ============================[ Search Statistics ]============================== 7.49/7.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.51 c =============================================================================== 7.49/7.51 c | 0 | 1532 28800 58163 | 9600 0 nan | 0.000 % | 7.49/7.51 c =============================================================================== 7.49/7.51 c core #359 7.49/7.51 c Core size: 13 Core Weight: 1 Total Weight: -236 7.49/7.51 c Elapsed CPU time: 7.48786 s Remaining CPU time: 1792.51 s 7.49/7.54 c ============================[ Search Statistics ]============================== 7.49/7.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.54 c =============================================================================== 7.49/7.54 c | 0 | 1538 28801 58175 | 9600 0 nan | 0.000 % | 7.49/7.54 c =============================================================================== 7.49/7.54 c core #360 7.49/7.54 c Core size: 13 Core Weight: 1 Total Weight: -235 7.49/7.54 c Elapsed CPU time: 7.51786 s Remaining CPU time: 1792.48 s 7.49/7.57 c ============================[ Search Statistics ]============================== 7.49/7.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.57 c =============================================================================== 7.49/7.57 c | 0 | 1544 28802 58187 | 9600 0 nan | 0.000 % | 7.49/7.57 c =============================================================================== 7.49/7.57 c core #361 7.49/7.57 c Core size: 13 Core Weight: 1 Total Weight: -234 7.49/7.57 c Elapsed CPU time: 7.54885 s Remaining CPU time: 1792.45 s 7.59/7.60 c ============================[ Search Statistics ]============================== 7.59/7.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.60 c =============================================================================== 7.59/7.60 c | 0 | 1550 28803 58199 | 9601 0 nan | 0.000 % | 7.59/7.60 c =============================================================================== 7.59/7.61 c core #362 7.59/7.61 c Core size: 13 Core Weight: 1 Total Weight: -233 7.59/7.61 c Elapsed CPU time: 7.57985 s Remaining CPU time: 1792.42 s 7.59/7.63 c ============================[ Search Statistics ]============================== 7.59/7.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.63 c =============================================================================== 7.59/7.63 c | 0 | 1556 28804 58211 | 9601 0 nan | 0.000 % | 7.59/7.63 c =============================================================================== 7.59/7.63 c core #363 7.59/7.63 c Core size: 13 Core Weight: 1 Total Weight: -232 7.59/7.63 c Elapsed CPU time: 7.60884 s Remaining CPU time: 1792.39 s 7.59/7.66 c ============================[ Search Statistics ]============================== 7.59/7.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.66 c =============================================================================== 7.59/7.66 c | 0 | 1562 28805 58223 | 9601 0 nan | 0.000 % | 7.59/7.67 c =============================================================================== 7.59/7.67 c core #364 7.59/7.67 c Core size: 10 Core Weight: 1 Total Weight: -231 7.59/7.67 c Elapsed CPU time: 7.63984 s Remaining CPU time: 1792.36 s 7.59/7.69 c ============================[ Search Statistics ]============================== 7.59/7.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.69 c =============================================================================== 7.59/7.69 c | 0 | 1566 28806 58231 | 9602 0 nan | 0.000 % | 7.59/7.70 c =============================================================================== 7.59/7.70 c core #365 7.59/7.70 c Core size: 10 Core Weight: 1 Total Weight: -230 7.59/7.70 c Elapsed CPU time: 7.67083 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 | 1570 28807 58239 | 9602 0 nan | 0.000 % | 7.69/7.73 c =============================================================================== 7.69/7.73 c core #366 7.69/7.73 c Core size: 30 Core Weight: 1 Total Weight: -229 7.69/7.73 c Elapsed CPU time: 7.69983 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 | 1578 28808 58255 | 9602 0 nan | 0.000 % | 7.69/7.76 c =============================================================================== 7.69/7.76 c core #367 7.69/7.76 c Core size: 13 Core Weight: 1 Total Weight: -228 7.69/7.76 c Elapsed CPU time: 7.73182 s Remaining CPU time: 1792.27 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 | 1584 28809 58267 | 9603 0 nan | 0.000 % | 7.69/7.79 c =============================================================================== 7.69/7.79 c core #368 7.69/7.79 c Core size: 13 Core Weight: 1 Total Weight: -227 7.69/7.79 c Elapsed CPU time: 7.76382 s Remaining CPU time: 1792.24 s 7.78/7.82 c ============================[ Search Statistics ]============================== 7.78/7.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.82 c =============================================================================== 7.78/7.82 c | 0 | 1590 28810 58279 | 9603 0 nan | 0.000 % | 7.78/7.82 c =============================================================================== 7.78/7.82 c core #369 7.78/7.82 c Core size: 10 Core Weight: 1 Total Weight: -226 7.78/7.82 c Elapsed CPU time: 7.79581 s Remaining CPU time: 1792.2 s 7.78/7.85 c ============================[ Search Statistics ]============================== 7.78/7.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.85 c =============================================================================== 7.78/7.85 c | 0 | 1594 28811 58287 | 9603 0 nan | 0.000 % | 7.78/7.86 c =============================================================================== 7.78/7.86 c core #370 7.78/7.86 c Core size: 13 Core Weight: 1 Total Weight: -225 7.78/7.86 c Elapsed CPU time: 7.82781 s Remaining CPU time: 1792.17 s 7.78/7.88 c ============================[ Search Statistics ]============================== 7.78/7.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.88 c =============================================================================== 7.78/7.88 c | 0 | 1600 28812 58299 | 9604 0 nan | 0.000 % | 7.78/7.89 c =============================================================================== 7.78/7.89 c core #371 7.78/7.89 c Core size: 13 Core Weight: 1 Total Weight: -224 7.78/7.89 c Elapsed CPU time: 7.85881 s Remaining CPU time: 1792.14 s 7.89/7.91 c ============================[ Search Statistics ]============================== 7.89/7.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.91 c =============================================================================== 7.89/7.91 c | 0 | 1606 28813 58311 | 9604 0 nan | 0.000 % | 7.89/7.92 c =============================================================================== 7.89/7.92 c core #372 7.89/7.92 c Core size: 13 Core Weight: 1 Total Weight: -223 7.89/7.92 c Elapsed CPU time: 7.8878 s Remaining CPU time: 1792.11 s 7.89/7.95 c ============================[ Search Statistics ]============================== 7.89/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.95 c =============================================================================== 7.89/7.95 c | 0 | 1612 28814 58323 | 9604 0 nan | 0.000 % | 7.89/7.95 c =============================================================================== 7.89/7.95 c core #373 7.89/7.95 c Core size: 13 Core Weight: 1 Total Weight: -222 7.89/7.95 c Elapsed CPU time: 7.9178 s Remaining CPU time: 1792.08 s 7.89/7.98 c ============================[ Search Statistics ]============================== 7.89/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.98 c =============================================================================== 7.89/7.98 c | 0 | 1618 28815 58335 | 9605 0 nan | 0.000 % | 7.89/7.98 c =============================================================================== 7.89/7.98 c core #374 7.89/7.98 c Core size: 10 Core Weight: 1 Total Weight: -221 7.89/7.98 c Elapsed CPU time: 7.94979 s Remaining CPU time: 1792.05 s 7.99/8.01 c ============================[ Search Statistics ]============================== 7.99/8.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.01 c =============================================================================== 7.99/8.01 c | 0 | 1622 28816 58343 | 9605 0 nan | 0.000 % | 7.99/8.01 c =============================================================================== 7.99/8.01 c core #375 7.99/8.01 c Core size: 13 Core Weight: 1 Total Weight: -220 7.99/8.01 c Elapsed CPU time: 7.98179 s Remaining CPU time: 1792.02 s 7.99/8.04 c ============================[ Search Statistics ]============================== 7.99/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.04 c =============================================================================== 7.99/8.04 c | 0 | 1628 28817 58355 | 9605 0 nan | 0.000 % | 7.99/8.04 c =============================================================================== 7.99/8.04 c core #376 7.99/8.04 c Core size: 13 Core Weight: 1 Total Weight: -219 7.99/8.04 c Elapsed CPU time: 8.01378 s Remaining CPU time: 1791.99 s 7.99/8.07 c ============================[ Search Statistics ]============================== 7.99/8.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.07 c =============================================================================== 7.99/8.07 c | 0 | 1634 28818 58367 | 9606 0 nan | 0.000 % | 7.99/8.08 c =============================================================================== 7.99/8.08 c core #377 7.99/8.08 c Core size: 13 Core Weight: 1 Total Weight: -218 7.99/8.08 c Elapsed CPU time: 8.04478 s Remaining CPU time: 1791.96 s 8.09/8.11 c ============================[ Search Statistics ]============================== 8.09/8.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.11 c =============================================================================== 8.09/8.11 c | 0 | 1640 28819 58379 | 9606 0 nan | 0.000 % | 8.09/8.11 c =============================================================================== 8.09/8.11 c core #378 8.09/8.11 c Core size: 13 Core Weight: 1 Total Weight: -217 8.09/8.11 c Elapsed CPU time: 8.07777 s Remaining CPU time: 1791.92 s 8.09/8.14 c ============================[ Search Statistics ]============================== 8.09/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.14 c =============================================================================== 8.09/8.14 c | 0 | 1646 28820 58391 | 9606 0 nan | 0.000 % | 8.09/8.14 c =============================================================================== 8.09/8.14 c core #379 8.09/8.14 c Core size: 10 Core Weight: 1 Total Weight: -216 8.09/8.14 c Elapsed CPU time: 8.10877 s Remaining CPU time: 1791.89 s 8.09/8.17 c ============================[ Search Statistics ]============================== 8.09/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.17 c =============================================================================== 8.09/8.17 c | 0 | 1650 28821 58399 | 9607 0 nan | 0.000 % | 8.09/8.17 c =============================================================================== 8.09/8.17 c core #380 8.09/8.17 c Core size: 13 Core Weight: 1 Total Weight: -215 8.09/8.17 c Elapsed CPU time: 8.14176 s Remaining CPU time: 1791.86 s 8.19/8.20 c ============================[ Search Statistics ]============================== 8.19/8.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.20 c =============================================================================== 8.19/8.20 c | 0 | 1656 28822 58411 | 9607 0 nan | 0.000 % | 8.19/8.21 c =============================================================================== 8.19/8.21 c core #381 8.19/8.21 c Core size: 13 Core Weight: 1 Total Weight: -214 8.19/8.21 c Elapsed CPU time: 8.17376 s Remaining CPU time: 1791.83 s 8.19/8.23 c ============================[ Search Statistics ]============================== 8.19/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.23 c =============================================================================== 8.19/8.23 c | 0 | 1662 28823 58423 | 9607 0 nan | 0.000 % | 8.19/8.24 c =============================================================================== 8.19/8.24 c core #382 8.19/8.24 c Core size: 13 Core Weight: 1 Total Weight: -213 8.19/8.24 c Elapsed CPU time: 8.20575 s Remaining CPU time: 1791.79 s 8.19/8.27 c ============================[ Search Statistics ]============================== 8.19/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.27 c =============================================================================== 8.19/8.27 c | 0 | 1668 28824 58435 | 9608 0 nan | 0.000 % | 8.19/8.27 c =============================================================================== 8.19/8.27 c core #383 8.19/8.27 c Core size: 13 Core Weight: 1 Total Weight: -212 8.19/8.27 c Elapsed CPU time: 8.23675 s Remaining CPU time: 1791.76 s 8.29/8.30 c ============================[ Search Statistics ]============================== 8.29/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.30 c =============================================================================== 8.29/8.30 c | 0 | 1674 28825 58447 | 9608 0 nan | 0.000 % | 8.29/8.30 c =============================================================================== 8.29/8.30 c core #384 8.29/8.30 c Core size: 13 Core Weight: 1 Total Weight: -211 8.29/8.30 c Elapsed CPU time: 8.26874 s Remaining CPU time: 1791.73 s 8.29/8.33 c ============================[ Search Statistics ]============================== 8.29/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.33 c =============================================================================== 8.29/8.33 c | 0 | 1680 28826 58459 | 9608 0 nan | 0.000 % | 8.29/8.33 c =============================================================================== 8.29/8.33 c core #385 8.29/8.33 c Core size: 13 Core Weight: 1 Total Weight: -210 8.29/8.33 c Elapsed CPU time: 8.29974 s Remaining CPU time: 1791.7 s 8.29/8.36 c ============================[ Search Statistics ]============================== 8.29/8.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.36 c =============================================================================== 8.29/8.36 c | 0 | 1686 28827 58471 | 9609 0 nan | 0.000 % | 8.29/8.36 c =============================================================================== 8.29/8.36 c core #386 8.29/8.36 c Core size: 13 Core Weight: 1 Total Weight: -209 8.29/8.36 c Elapsed CPU time: 8.33173 s Remaining CPU time: 1791.67 s 8.29/8.39 c ============================[ Search Statistics ]============================== 8.29/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.39 c =============================================================================== 8.29/8.39 c | 0 | 1692 28828 58483 | 9609 0 nan | 0.000 % | 8.39/8.40 c =============================================================================== 8.39/8.40 c core #387 8.39/8.40 c Core size: 13 Core Weight: 1 Total Weight: -208 8.39/8.40 c Elapsed CPU time: 8.36573 s Remaining CPU time: 1791.63 s 8.39/8.43 c ============================[ Search Statistics ]============================== 8.39/8.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.43 c =============================================================================== 8.39/8.43 c | 0 | 1698 28829 58495 | 9609 0 nan | 0.000 % | 8.39/8.43 c =============================================================================== 8.39/8.43 c core #388 8.39/8.43 c Core size: 13 Core Weight: 1 Total Weight: -207 8.39/8.43 c Elapsed CPU time: 8.39772 s Remaining CPU time: 1791.6 s 8.39/8.46 c ============================[ Search Statistics ]============================== 8.39/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.46 c =============================================================================== 8.39/8.46 c | 0 | 1704 28830 58507 | 9610 0 nan | 0.000 % | 8.39/8.46 c =============================================================================== 8.39/8.46 c core #389 8.39/8.46 c Core size: 10 Core Weight: 1 Total Weight: -206 8.39/8.46 c Elapsed CPU time: 8.43072 s Remaining CPU time: 1791.57 s 8.39/8.49 c ============================[ Search Statistics ]============================== 8.39/8.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.49 c =============================================================================== 8.39/8.49 c | 0 | 1708 28831 58515 | 9610 0 nan | 0.000 % | 8.39/8.49 c =============================================================================== 8.39/8.49 c core #390 8.39/8.49 c Core size: 13 Core Weight: 1 Total Weight: -205 8.39/8.49 c Elapsed CPU time: 8.46171 s Remaining CPU time: 1791.54 s 8.49/8.52 c ============================[ Search Statistics ]============================== 8.49/8.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.52 c =============================================================================== 8.49/8.52 c | 0 | 1714 28832 58527 | 9610 0 nan | 0.000 % | 8.49/8.53 c =============================================================================== 8.49/8.53 c core #391 8.49/8.53 c Core size: 13 Core Weight: 1 Total Weight: -204 8.49/8.53 c Elapsed CPU time: 8.49471 s Remaining CPU time: 1791.51 s 8.49/8.56 c ============================[ Search Statistics ]============================== 8.49/8.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.56 c =============================================================================== 8.49/8.56 c | 0 | 1720 28833 58539 | 9611 0 nan | 0.000 % | 8.49/8.56 c =============================================================================== 8.49/8.56 c core #392 8.49/8.56 c Core size: 13 Core Weight: 1 Total Weight: -203 8.49/8.56 c Elapsed CPU time: 8.5297 s Remaining CPU time: 1791.47 s 8.49/8.59 c ============================[ Search Statistics ]============================== 8.49/8.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.59 c =============================================================================== 8.49/8.59 c | 0 | 1726 28834 58551 | 9611 0 nan | 0.000 % | 8.49/8.60 c =============================================================================== 8.49/8.60 c core #393 8.49/8.60 c Core size: 10 Core Weight: 1 Total Weight: -202 8.49/8.60 c Elapsed CPU time: 8.5637 s Remaining CPU time: 1791.44 s 8.59/8.62 c ============================[ Search Statistics ]============================== 8.59/8.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.62 c =============================================================================== 8.59/8.62 c | 0 | 1730 28835 58559 | 9611 0 nan | 0.000 % | 8.59/8.63 c =============================================================================== 8.59/8.63 c core #394 8.59/8.63 c Core size: 13 Core Weight: 1 Total Weight: -201 8.59/8.63 c Elapsed CPU time: 8.59569 s Remaining CPU time: 1791.4 s 8.59/8.66 c ============================[ Search Statistics ]============================== 8.59/8.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.66 c =============================================================================== 8.59/8.66 c | 0 | 1736 28836 58571 | 9612 0 nan | 0.000 % | 8.59/8.66 c =============================================================================== 8.59/8.66 c core #395 8.59/8.66 c Core size: 13 Core Weight: 1 Total Weight: -200 8.59/8.66 c Elapsed CPU time: 8.62769 s Remaining CPU time: 1791.37 s 8.59/8.69 c ============================[ Search Statistics ]============================== 8.59/8.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.69 c =============================================================================== 8.59/8.69 c | 0 | 1742 28837 58583 | 9612 0 nan | 0.000 % | 8.59/8.69 c =============================================================================== 8.59/8.69 c core #396 8.59/8.69 c Core size: 35 Core Weight: 1 Total Weight: -199 8.59/8.69 c Elapsed CPU time: 8.66068 s Remaining CPU time: 1791.34 s 8.69/8.72 c ============================[ Search Statistics ]============================== 8.69/8.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.72 c =============================================================================== 8.69/8.72 c | 0 | 1758 28838 58615 | 9612 0 nan | 0.000 % | 8.69/8.73 c =============================================================================== 8.69/8.73 c core #397 8.69/8.73 c Core size: 17 Core Weight: 1 Total Weight: -198 8.69/8.73 c Elapsed CPU time: 8.69468 s Remaining CPU time: 1791.31 s 8.69/8.76 c ============================[ Search Statistics ]============================== 8.69/8.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.76 c =============================================================================== 8.69/8.76 c | 0 | 1766 28839 58631 | 9613 0 nan | 0.000 % | 8.69/8.76 c =============================================================================== 8.69/8.76 c core #398 8.69/8.76 c Core size: 13 Core Weight: 1 Total Weight: -197 8.69/8.76 c Elapsed CPU time: 8.72667 s Remaining CPU time: 1791.27 s 8.69/8.79 c ============================[ Search Statistics ]============================== 8.69/8.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.79 c =============================================================================== 8.69/8.79 c | 0 | 1772 28840 58643 | 9613 0 nan | 0.000 % | 8.69/8.79 c =============================================================================== 8.69/8.79 c core #399 8.69/8.79 c Core size: 21 Core Weight: 1 Total Weight: -196 8.69/8.79 c Elapsed CPU time: 8.76067 s Remaining CPU time: 1791.24 s 8.79/8.82 c ============================[ Search Statistics ]============================== 8.79/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.82 c =============================================================================== 8.79/8.82 c | 0 | 1780 28841 58659 | 9613 0 nan | 0.000 % | 8.79/8.83 c =============================================================================== 8.79/8.83 c core #400 8.79/8.83 c Core size: 18 Core Weight: 1 Total Weight: -195 8.79/8.83 c Elapsed CPU time: 8.79566 s Remaining CPU time: 1791.2 s 8.79/8.86 c ============================[ Search Statistics ]============================== 8.79/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.86 c =============================================================================== 8.79/8.86 c | 0 | 1786 28842 58671 | 9614 0 nan | 0.000 % | 8.79/8.86 c =============================================================================== 8.79/8.86 c core #401 8.79/8.86 c Core size: 46 Core Weight: 1 Total Weight: -194 8.79/8.86 c Elapsed CPU time: 8.82966 s Remaining CPU time: 1791.17 s 8.79/8.89 c ============================[ Search Statistics ]============================== 8.79/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.89 c =============================================================================== 8.79/8.89 c | 0 | 1806 28843 58711 | 9614 0 nan | 0.000 % | 8.79/8.90 c =============================================================================== 8.79/8.90 c core #402 8.79/8.90 c Core size: 13 Core Weight: 1 Total Weight: -193 8.79/8.90 c Elapsed CPU time: 8.86265 s Remaining CPU time: 1791.14 s 8.89/8.93 c ============================[ Search Statistics ]============================== 8.89/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.93 c =============================================================================== 8.89/8.93 c | 0 | 1812 28844 58723 | 9614 0 nan | 0.000 % | 8.89/8.93 c =============================================================================== 8.89/8.93 c core #403 8.89/8.93 c Core size: 10 Core Weight: 1 Total Weight: -192 8.89/8.93 c Elapsed CPU time: 8.89765 s Remaining CPU time: 1791.1 s 8.89/8.96 c ============================[ Search Statistics ]============================== 8.89/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.96 c =============================================================================== 8.89/8.96 c | 0 | 1816 28845 58731 | 9615 0 nan | 0.000 % | 8.89/8.96 c =============================================================================== 8.89/8.96 c core #404 8.89/8.96 c Core size: 10 Core Weight: 1 Total Weight: -191 8.89/8.96 c Elapsed CPU time: 8.92964 s Remaining CPU time: 1791.07 s 8.89/8.99 c ============================[ Search Statistics ]============================== 8.89/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.99 c =============================================================================== 8.89/8.99 c | 0 | 1820 28846 58739 | 9615 0 nan | 0.000 % | 8.99/9.00 c =============================================================================== 8.99/9.00 c core #405 8.99/9.00 c Core size: 10 Core Weight: 1 Total Weight: -190 8.99/9.00 c Elapsed CPU time: 8.96464 s Remaining CPU time: 1791.04 s 8.99/9.03 c ============================[ Search Statistics ]============================== 8.99/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.03 c =============================================================================== 8.99/9.03 c | 0 | 1824 28847 58747 | 9615 0 nan | 0.000 % | 8.99/9.03 c =============================================================================== 8.99/9.03 c core #406 8.99/9.03 c Core size: 10 Core Weight: 1 Total Weight: -189 8.99/9.03 c Elapsed CPU time: 8.99963 s Remaining CPU time: 1791 s 8.99/9.06 c ============================[ Search Statistics ]============================== 8.99/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.06 c =============================================================================== 8.99/9.06 c | 0 | 1828 28848 58755 | 9616 0 nan | 0.000 % | 8.99/9.07 c =============================================================================== 8.99/9.07 c core #407 8.99/9.07 c Core size: 13 Core Weight: 1 Total Weight: -188 8.99/9.07 c Elapsed CPU time: 9.03263 s Remaining CPU time: 1790.97 s 8.99/9.10 c ============================[ Search Statistics ]============================== 8.99/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.10 c =============================================================================== 8.99/9.10 c | 0 | 1834 28849 58767 | 9616 0 nan | 0.000 % | 9.09/9.10 c =============================================================================== 9.09/9.10 c core #408 9.09/9.10 c Core size: 18 Core Weight: 1 Total Weight: -187 9.09/9.10 c Elapsed CPU time: 9.06762 s Remaining CPU time: 1790.93 s 9.09/9.13 c ============================[ Search Statistics ]============================== 9.09/9.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.13 c =============================================================================== 9.09/9.13 c | 0 | 1840 28850 58779 | 9616 0 nan | 0.000 % | 9.09/9.14 c =============================================================================== 9.09/9.14 c core #409 9.09/9.14 c Core size: 33 Core Weight: 1 Total Weight: -186 9.09/9.14 c Elapsed CPU time: 9.10162 s Remaining CPU time: 1790.9 s 9.09/9.17 c ============================[ Search Statistics ]============================== 9.09/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.17 c =============================================================================== 9.09/9.17 c | 0 | 1850 28851 58799 | 9617 0 nan | 0.000 % | 9.09/9.17 c =============================================================================== 9.09/9.17 c core #410 9.09/9.17 c Core size: 26 Core Weight: 1 Total Weight: -185 9.09/9.17 c Elapsed CPU time: 9.13761 s Remaining CPU time: 1790.86 s 9.19/9.20 c ============================[ Search Statistics ]============================== 9.19/9.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.20 c =============================================================================== 9.19/9.20 c | 0 | 1858 28852 58815 | 9617 0 nan | 0.000 % | 9.19/9.20 c =============================================================================== 9.19/9.21 c core #411 9.19/9.21 c Core size: 30 Core Weight: 1 Total Weight: -184 9.19/9.21 c Elapsed CPU time: 9.1716 s Remaining CPU time: 1790.83 s 9.19/9.23 c ============================[ Search Statistics ]============================== 9.19/9.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.23 c =============================================================================== 9.19/9.23 c | 0 | 1866 28853 58831 | 9617 0 nan | 0.000 % | 9.19/9.24 c =============================================================================== 9.19/9.24 c core #412 9.19/9.24 c Core size: 13 Core Weight: 1 Total Weight: -183 9.19/9.24 c Elapsed CPU time: 9.2056 s Remaining CPU time: 1790.79 s 9.19/9.27 c ============================[ Search Statistics ]============================== 9.19/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.27 c =============================================================================== 9.19/9.27 c | 0 | 1872 28854 58843 | 9618 0 nan | 0.000 % | 9.19/9.28 c =============================================================================== 9.19/9.28 c core #413 9.19/9.28 c Core size: 10 Core Weight: 1 Total Weight: -182 9.19/9.28 c Elapsed CPU time: 9.24259 s Remaining CPU time: 1790.76 s 9.29/9.31 c ============================[ Search Statistics ]============================== 9.29/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.31 c =============================================================================== 9.29/9.31 c | 0 | 1876 28855 58851 | 9618 0 nan | 0.000 % | 9.29/9.31 c =============================================================================== 9.29/9.31 c core #414 9.29/9.31 c Core size: 30 Core Weight: 1 Total Weight: -181 9.29/9.31 c Elapsed CPU time: 9.27759 s Remaining CPU time: 1790.72 s 9.29/9.34 c ============================[ Search Statistics ]============================== 9.29/9.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.34 c =============================================================================== 9.29/9.34 c | 0 | 1884 28856 58867 | 9618 0 nan | 0.000 % | 9.29/9.35 c =============================================================================== 9.29/9.35 c core #415 9.29/9.35 c Core size: 19 Core Weight: 1 Total Weight: -180 9.29/9.35 c Elapsed CPU time: 9.31458 s Remaining CPU time: 1790.69 s 9.29/9.38 c ============================[ Search Statistics ]============================== 9.29/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.38 c =============================================================================== 9.29/9.38 c | 0 | 1892 28857 58883 | 9619 0 nan | 0.000 % | 9.29/9.39 c =============================================================================== 9.29/9.39 c core #416 9.29/9.39 c Core size: 51 Core Weight: 1 Total Weight: -179 9.29/9.39 c Elapsed CPU time: 9.35258 s Remaining CPU time: 1790.65 s 9.39/9.42 c ============================[ Search Statistics ]============================== 9.39/9.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.42 c =============================================================================== 9.39/9.42 c | 0 | 1906 28858 58911 | 9619 0 nan | 0.000 % | 9.39/9.42 c =============================================================================== 9.39/9.42 c core #417 9.39/9.42 c Core size: 22 Core Weight: 1 Total Weight: -178 9.39/9.42 c Elapsed CPU time: 9.38657 s Remaining CPU time: 1790.61 s 9.39/9.45 c ============================[ Search Statistics ]============================== 9.39/9.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.45 c =============================================================================== 9.39/9.45 c | 0 | 1912 28859 58923 | 9619 0 nan | 0.000 % | 9.39/9.46 c =============================================================================== 9.39/9.46 c core #418 9.39/9.46 c Core size: 10 Core Weight: 1 Total Weight: -177 9.39/9.46 c Elapsed CPU time: 9.42157 s Remaining CPU time: 1790.58 s 9.39/9.49 c ============================[ Search Statistics ]============================== 9.39/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.49 c =============================================================================== 9.39/9.49 c | 0 | 1916 28860 58931 | 9620 0 nan | 0.000 % | 9.39/9.49 c =============================================================================== 9.39/9.49 c core #419 9.39/9.49 c Core size: 55 Core Weight: 1 Total Weight: -176 9.39/9.49 c Elapsed CPU time: 9.45756 s Remaining CPU time: 1790.54 s 9.49/9.52 c ============================[ Search Statistics ]============================== 9.49/9.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.52 c =============================================================================== 9.49/9.52 c | 0 | 1930 28861 58959 | 9620 0 nan | 0.000 % | 9.49/9.53 c =============================================================================== 9.49/9.53 c core #420 9.49/9.53 c Core size: 38 Core Weight: 1 Total Weight: -175 9.49/9.53 c Elapsed CPU time: 9.49456 s Remaining CPU time: 1790.51 s 9.49/9.56 c ============================[ Search Statistics ]============================== 9.49/9.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.56 c =============================================================================== 9.49/9.56 c | 0 | 1938 28862 58975 | 9620 0 nan | 0.000 % | 9.49/9.57 c =============================================================================== 9.49/9.57 c core #421 9.49/9.57 c Core size: 19 Core Weight: 1 Total Weight: -174 9.49/9.57 c Elapsed CPU time: 9.53155 s Remaining CPU time: 1790.47 s 9.59/9.60 c ============================[ Search Statistics ]============================== 9.59/9.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.60 c =============================================================================== 9.59/9.60 c | 0 | 1945 28863 58989 | 9621 0 nan | 0.000 % | 9.59/9.61 c | 104 | 1945 28863 58989 | 10583 104 8 | 0.000 % | 9.59/9.61 c =============================================================================== 9.59/9.61 c core #422 9.59/9.61 c Core size: 133 Core Weight: 1 Total Weight: -173 9.59/9.61 c Elapsed CPU time: 9.57354 s Remaining CPU time: 1790.43 s 9.59/9.64 c ============================[ Search Statistics ]============================== 9.59/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.64 c =============================================================================== 9.59/9.64 c | 0 | 1967 28864 59033 | 9621 0 nan | 0.000 % | 9.59/9.65 c =============================================================================== 9.59/9.65 c core #423 9.59/9.65 c Core size: 39 Core Weight: 1 Total Weight: -172 9.59/9.65 c Elapsed CPU time: 9.60954 s Remaining CPU time: 1790.39 s 9.59/9.68 c ============================[ Search Statistics ]============================== 9.59/9.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.68 c =============================================================================== 9.59/9.68 c | 0 | 1978 28865 59055 | 9621 0 nan | 0.000 % | 9.59/9.68 c =============================================================================== 9.59/9.68 c core #424 9.59/9.68 c Core size: 23 Core Weight: 1 Total Weight: -171 9.59/9.68 c Elapsed CPU time: 9.64553 s Remaining CPU time: 1790.35 s 9.68/9.71 c ============================[ Search Statistics ]============================== 9.68/9.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.71 c =============================================================================== 9.68/9.71 c | 0 | 1984 28866 59067 | 9622 0 nan | 0.000 % | 9.68/9.72 c =============================================================================== 9.68/9.72 c core #425 9.68/9.72 c Core size: 62 Core Weight: 1 Total Weight: -170 9.68/9.72 c Elapsed CPU time: 9.68353 s Remaining CPU time: 1790.32 s 9.68/9.75 c ============================[ Search Statistics ]============================== 9.68/9.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.75 c =============================================================================== 9.68/9.75 c | 0 | 1999 28867 59097 | 9622 0 nan | 0.000 % | 9.68/9.76 c =============================================================================== 9.68/9.76 c core #426 9.68/9.76 c Core size: 65 Core Weight: 1 Total Weight: -169 9.68/9.76 c Elapsed CPU time: 9.72252 s Remaining CPU time: 1790.28 s 9.68/9.79 c ============================[ Search Statistics ]============================== 9.68/9.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.79 c =============================================================================== 9.68/9.79 c | 0 | 2023 28868 59145 | 9622 0 nan | 0.000 % | 9.68/9.80 c =============================================================================== 9.68/9.80 c core #427 9.68/9.80 c Core size: 53 Core Weight: 1 Total Weight: -168 9.68/9.80 c Elapsed CPU time: 9.76052 s Remaining CPU time: 1790.24 s 9.80/9.83 c ============================[ Search Statistics ]============================== 9.80/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.80/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.80/9.83 c =============================================================================== 9.80/9.83 c | 0 | 2041 28869 59181 | 9623 0 nan | 0.000 % | 9.80/9.84 c | 101 | 2040 28869 59181 | 10585 101 7 | 0.049 % | 9.80/9.84 c =============================================================================== 9.80/9.84 c core #428 9.80/9.84 c Core size: 183 Core Weight: 1 Total Weight: -167 9.80/9.84 c Elapsed CPU time: 9.80351 s Remaining CPU time: 1790.2 s 9.80/9.88 c ============================[ Search Statistics ]============================== 9.80/9.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.80/9.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.80/9.88 c =============================================================================== 9.80/9.88 c | 0 | 2077 28870 59253 | 9623 0 nan | 0.000 % | 9.80/9.88 c =============================================================================== 9.80/9.88 c core #429 9.80/9.88 c Core size: 44 Core Weight: 1 Total Weight: -166 9.80/9.88 c Elapsed CPU time: 9.8425 s Remaining CPU time: 1790.16 s 9.90/9.91 c ============================[ Search Statistics ]============================== 9.90/9.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.90/9.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.90/9.91 c =============================================================================== 9.90/9.91 c | 0 | 2089 28871 59277 | 9623 0 nan | 0.000 % | 9.90/9.92 c | 101 | 2085 28871 59277 | 10586 101 9 | 0.192 % | 9.90/9.93 c =============================================================================== 9.90/9.93 c core #430 9.90/9.93 c Core size: 166 Core Weight: 1 Total Weight: -165 9.90/9.93 c Elapsed CPU time: 9.8875 s Remaining CPU time: 1790.11 s 9.90/9.96 c ============================[ Search Statistics ]============================== 9.90/9.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.90/9.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.90/9.96 c =============================================================================== 9.90/9.96 c | 0 | 2137 28872 59373 | 9624 0 nan | 0.000 % | 9.90/9.97 c | 100 | 2135 28872 59373 | 10586 100 10 | 0.094 % | 9.90/9.97 c =============================================================================== 9.90/9.97 c core #431 9.90/9.97 c Core size: 35 Core Weight: 1 Total Weight: -164 9.90/9.97 c Elapsed CPU time: 9.93349 s Remaining CPU time: 1790.07 s 9.99/10.01 c ============================[ Search Statistics ]============================== 9.99/10.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.01 c =============================================================================== 9.99/10.01 c | 0 | 2149 28873 59397 | 9624 0 nan | 0.000 % | 9.99/10.01 c =============================================================================== 9.99/10.01 c core #432 9.99/10.01 c Core size: 72 Core Weight: 1 Total Weight: -163 9.99/10.01 c Elapsed CPU time: 9.97248 s Remaining CPU time: 1790.03 s 9.99/10.05 c ============================[ Search Statistics ]============================== 9.99/10.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.05 c =============================================================================== 9.99/10.05 c | 0 | 2171 28874 59441 | 9624 0 nan | 0.000 % | 9.99/10.06 c | 100 | 2171 28874 59441 | 10587 100 15 | 0.000 % | 9.99/10.06 c | 251 | 2147 28874 59441 | 11645 251 13 | 16.122 % | 9.99/10.06 c =============================================================================== 9.99/10.06 c core #433 9.99/10.06 c Core size: 139 Core Weight: 1 Total Weight: -162 9.99/10.06 c Elapsed CPU time: 10.0205 s Remaining CPU time: 1789.98 s 10.09/10.10 c ============================[ Search Statistics ]============================== 10.09/10.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.10 c =============================================================================== 10.09/10.10 c | 0 | 2209 28875 59517 | 9625 0 nan | 0.000 % | 10.09/10.11 c | 100 | 2208 28875 59517 | 10587 100 10 | 0.045 % | 10.09/10.11 c | 250 | 2208 28875 59517 | 11646 250 11 | 0.047 % | 10.09/10.12 c =============================================================================== 10.09/10.12 c core #434 10.09/10.12 c Core size: 196 Core Weight: 1 Total Weight: -161 10.09/10.12 c Elapsed CPU time: 10.0695 s Remaining CPU time: 1789.93 s 10.09/10.15 c ============================[ Search Statistics ]============================== 10.09/10.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.15 c =============================================================================== 10.09/10.15 c | 0 | 2261 28876 59621 | 9625 0 nan | 0.000 % | 10.09/10.16 c =============================================================================== 10.09/10.16 c core #435 10.09/10.16 c Core size: 59 Core Weight: 1 Total Weight: -160 10.09/10.16 c Elapsed CPU time: 10.1105 s Remaining CPU time: 1789.89 s 10.09/10.19 c ============================[ Search Statistics ]============================== 10.09/10.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.19 c =============================================================================== 10.09/10.19 c | 0 | 2281 28877 59661 | 9625 0 nan | 0.000 % | 10.19/10.20 c | 100 | 2276 28877 59661 | 10588 100 7 | 4.299 % | 10.19/10.20 c =============================================================================== 10.19/10.20 c core #436 10.19/10.20 c Core size: 82 Core Weight: 1 Total Weight: -159 10.19/10.20 c Elapsed CPU time: 10.1505 s Remaining CPU time: 1789.85 s 10.19/10.24 c ============================[ Search Statistics ]============================== 10.19/10.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.24 c =============================================================================== 10.19/10.24 c | 0 | 2302 28878 59703 | 9626 0 nan | 0.000 % | 10.19/10.25 c | 100 | 2300 28878 59703 | 10588 100 8 | 0.130 % | 10.19/10.25 c =============================================================================== 10.19/10.25 c core #437 10.19/10.25 c Core size: 79 Core Weight: 1 Total Weight: -158 10.19/10.25 c Elapsed CPU time: 10.1954 s Remaining CPU time: 1789.8 s 10.19/10.28 c ============================[ Search Statistics ]============================== 10.19/10.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.28 c =============================================================================== 10.19/10.28 c | 0 | 2329 28879 59757 | 9626 0 nan | 0.000 % | 10.19/10.29 c | 102 | 2327 28879 59757 | 10588 102 10 | 0.086 % | 10.19/10.29 c =============================================================================== 10.19/10.29 c core #438 10.19/10.29 c Core size: 130 Core Weight: 1 Total Weight: -157 10.19/10.29 c Elapsed CPU time: 10.2374 s Remaining CPU time: 1789.76 s 10.29/10.32 c ============================[ Search Statistics ]============================== 10.29/10.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.33 c =============================================================================== 10.29/10.33 c | 0 | 2349 28880 59797 | 9626 0 nan | 0.000 % | 10.29/10.34 c | 100 | 2349 28880 59797 | 10589 100 8 | 0.000 % | 10.29/10.34 c =============================================================================== 10.29/10.34 c core #439 10.29/10.34 c Core size: 63 Core Weight: 1 Total Weight: -156 10.29/10.34 c Elapsed CPU time: 10.2834 s Remaining CPU time: 1789.72 s 10.29/10.37 c ============================[ Search Statistics ]============================== 10.29/10.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.37 c =============================================================================== 10.29/10.37 c | 0 | 2369 28881 59837 | 9627 0 nan | 0.000 % | 10.29/10.38 c | 101 | 2368 28881 59837 | 10589 101 8 | 0.042 % | 10.29/10.39 c | 255 | 2362 28881 59837 | 11648 255 10 | 4.939 % | 10.29/10.39 c =============================================================================== 10.29/10.40 c core #440 10.29/10.40 c Core size: 207 Core Weight: 1 Total Weight: -155 10.29/10.40 c Elapsed CPU time: 10.3384 s Remaining CPU time: 1789.66 s 10.38/10.43 c ============================[ Search Statistics ]============================== 10.38/10.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.43 c =============================================================================== 10.38/10.43 c | 0 | 2419 28882 59937 | 9627 0 nan | 0.000 % | 10.38/10.44 c | 101 | 2384 28882 59937 | 10590 101 12 | 8.185 % | 10.38/10.44 c | 253 | 2382 28882 59937 | 11649 253 14 | 8.227 % | 10.38/10.45 c =============================================================================== 10.38/10.45 c core #441 10.38/10.45 c Core size: 133 Core Weight: 1 Total Weight: -154 10.38/10.45 c Elapsed CPU time: 10.3924 s Remaining CPU time: 1789.61 s 10.38/10.48 c ============================[ Search Statistics ]============================== 10.38/10.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.48 c =============================================================================== 10.38/10.48 c | 0 | 2457 28883 60013 | 9627 0 nan | 0.000 % | 10.38/10.49 c | 101 | 2457 28883 60013 | 10590 101 18 | 0.000 % | 10.48/10.50 c | 252 | 2450 28883 60013 | 11649 252 15 | 0.285 % | 10.48/10.51 c | 478 | 2444 28883 60013 | 12814 478 19 | 0.529 % | 10.48/10.54 c | 815 | 2444 28883 60013 | 14095 815 23 | 0.529 % | 10.48/10.57 c =============================================================================== 10.48/10.57 c core #442 10.48/10.57 c Core size: 168 Core Weight: 1 Total Weight: -153 10.48/10.57 c Elapsed CPU time: 10.5104 s Remaining CPU time: 1789.49 s 10.59/10.61 c ============================[ Search Statistics ]============================== 10.59/10.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.61 c =============================================================================== 10.59/10.61 c | 0 | 2504 28884 60107 | 9628 0 nan | 0.000 % | 10.59/10.62 c | 100 | 2502 28884 60107 | 10590 100 8 | 0.080 % | 10.59/10.62 c =============================================================================== 10.59/10.62 c core #443 10.59/10.62 c Core size: 61 Core Weight: 1 Total Weight: -152 10.59/10.62 c Elapsed CPU time: 10.5544 s Remaining CPU time: 1789.45 s 10.59/10.65 c ============================[ Search Statistics ]============================== 10.59/10.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.65 c =============================================================================== 10.59/10.65 c | 0 | 2522 28885 60143 | 9628 0 nan | 0.000 % | 10.59/10.66 c | 105 | 2522 28885 60143 | 10591 105 11 | 0.000 % | 10.59/10.67 c | 258 | 2521 28885 60143 | 11650 258 10 | 0.079 % | 10.59/10.68 c | 483 | 2518 28885 60143 | 12815 483 11 | 0.159 % | 10.59/10.68 c =============================================================================== 10.59/10.68 c core #444 10.59/10.68 c Core size: 211 Core Weight: 1 Total Weight: -151 10.59/10.68 c Elapsed CPU time: 10.6164 s Remaining CPU time: 1789.38 s 10.68/10.72 c ============================[ Search Statistics ]============================== 10.68/10.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.72 c =============================================================================== 10.68/10.72 c | 0 | 2570 28886 60239 | 9628 0 nan | 0.000 % | 10.68/10.73 c | 100 | 2570 28886 60239 | 10591 100 8 | 0.000 % | 10.68/10.73 c =============================================================================== 10.68/10.73 c core #445 10.68/10.73 c Core size: 145 Core Weight: 1 Total Weight: -150 10.68/10.73 c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s 10.68/10.77 c ============================[ Search Statistics ]============================== 10.68/10.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.77 c =============================================================================== 10.68/10.77 c | 0 | 2606 28887 60311 | 9629 0 nan | 0.000 % | 10.68/10.78 c | 100 | 2606 28887 60311 | 10591 100 19 | 0.000 % | 10.68/10.78 c | 250 | 2606 28887 60311 | 11651 250 16 | 0.000 % | 10.68/10.79 c | 476 | 2602 28887 60311 | 12816 476 20 | 0.156 % | 10.78/10.81 c | 813 | 2585 28887 60311 | 14097 813 24 | 7.253 % | 10.78/10.83 c =============================================================================== 10.78/10.83 c core #446 10.78/10.83 c Core size: 98 Core Weight: 1 Total Weight: -149 10.78/10.83 c Elapsed CPU time: 10.7554 s Remaining CPU time: 1789.24 s 10.78/10.86 c ============================[ Search Statistics ]============================== 10.78/10.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.78/10.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.78/10.86 c =============================================================================== 10.78/10.86 c | 0 | 2630 28888 60359 | 9629 0 nan | 0.000 % | 10.78/10.88 c | 101 | 2628 28888 60359 | 10592 101 9 | 0.076 % | 10.78/10.88 c | 251 | 2627 28888 60359 | 11651 251 11 | 0.114 % | 10.78/10.88 c =============================================================================== 10.78/10.89 c core #447 10.78/10.89 c Core size: 242 Core Weight: 1 Total Weight: -148 10.78/10.89 c Elapsed CPU time: 10.8104 s Remaining CPU time: 1789.19 s 10.89/10.92 c ============================[ Search Statistics ]============================== 10.89/10.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.92 c =============================================================================== 10.89/10.92 c | 0 | 2684 28889 60467 | 9629 0 nan | 0.000 % | 10.89/10.93 c | 100 | 2684 28889 60467 | 10592 100 14 | 0.000 % | 10.89/10.94 c | 251 | 2684 28889 60467 | 11651 251 12 | 0.000 % | 10.89/10.95 c | 476 | 2684 28889 60467 | 12817 476 14 | 0.000 % | 10.89/10.97 c | 813 | 2684 28889 60467 | 14098 813 15 | 0.000 % | 10.89/10.98 c =============================================================================== 10.89/10.98 c core #448 10.89/10.98 c Core size: 305 Core Weight: 1 Total Weight: -147 10.89/10.98 c Elapsed CPU time: 10.9073 s Remaining CPU time: 1789.09 s 10.99/11.02 c ============================[ Search Statistics ]============================== 10.99/11.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.02 c =============================================================================== 10.99/11.02 c | 0 | 2746 28890 60591 | 9630 0 nan | 0.000 % | 10.99/11.03 c | 102 | 2746 28890 60591 | 10593 102 16 | 0.000 % | 10.99/11.04 c | 254 | 2706 28890 60591 | 11652 254 11 | 9.286 % | 10.99/11.04 c =============================================================================== 10.99/11.04 c core #449 10.99/11.04 c Core size: 167 Core Weight: 1 Total Weight: -146 10.99/11.04 c Elapsed CPU time: 10.9663 s Remaining CPU time: 1789.03 s 10.99/11.08 c ============================[ Search Statistics ]============================== 10.99/11.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.08 c =============================================================================== 10.99/11.08 c | 0 | 2800 28891 60699 | 9630 0 nan | 0.000 % | 10.99/11.09 c | 104 | 2800 28891 60699 | 10593 104 14 | 0.000 % | 10.99/11.09 c | 257 | 2800 28891 60699 | 11652 257 17 | 0.000 % | 11.08/11.10 c =============================================================================== 11.08/11.10 c core #450 11.08/11.10 c Core size: 98 Core Weight: 1 Total Weight: -145 11.08/11.10 c Elapsed CPU time: 11.0183 s Remaining CPU time: 1788.98 s 11.08/11.14 c ============================[ Search Statistics ]============================== 11.08/11.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.14 c =============================================================================== 11.08/11.14 c | 0 | 2824 28892 60747 | 9630 0 nan | 0.000 % | 11.08/11.15 c | 101 | 2824 28892 60747 | 10593 101 14 | 0.000 % | 11.08/11.16 c | 251 | 2824 28892 60747 | 11653 251 14 | 0.000 % | 11.08/11.17 c | 477 | 2824 28892 60747 | 12818 477 20 | 0.000 % | 11.08/11.19 c | 815 | 2822 28892 60747 | 14100 813 23 | 0.071 % | 11.18/11.23 c | 1322 | 2814 28892 60747 | 15510 1320 29 | 0.354 % | 11.28/11.30 c | 2083 | 2795 28892 60747 | 17061 2028 31 | 1.027 % | 11.28/11.33 c =============================================================================== 11.28/11.34 c core #451 11.28/11.34 c Core size: 380 Core Weight: 1 Total Weight: -144 11.28/11.34 c Elapsed CPU time: 11.2523 s Remaining CPU time: 1788.75 s 11.28/11.38 c ============================[ Search Statistics ]============================== 11.28/11.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.38 c =============================================================================== 11.28/11.38 c | 0 | 2898 28893 60895 | 9631 0 nan | 0.000 % | 11.28/11.38 c =============================================================================== 11.28/11.38 c core #452 11.28/11.38 c Core size: 30 Core Weight: 1 Total Weight: -143 11.28/11.38 c Elapsed CPU time: 11.2893 s Remaining CPU time: 1788.71 s 11.38/11.42 c ============================[ Search Statistics ]============================== 11.38/11.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.42 c =============================================================================== 11.38/11.42 c | 0 | 2906 28894 60911 | 9631 0 nan | 0.000 % | 11.38/11.43 c | 100 | 2906 28894 60911 | 10594 100 10 | 0.000 % | 11.38/11.44 c | 250 | 2906 28894 60911 | 11653 250 14 | 0.000 % | 11.38/11.45 c | 475 | 2906 28894 60911 | 12819 475 21 | 0.000 % | 11.38/11.47 c | 817 | 2904 28894 60911 | 14101 815 21 | 0.069 % | 11.48/11.50 c =============================================================================== 11.48/11.51 c core #453 11.48/11.51 c Core size: 380 Core Weight: 1 Total Weight: -142 11.48/11.51 c Elapsed CPU time: 11.4113 s Remaining CPU time: 1788.59 s 11.48/11.54 c ============================[ Search Statistics ]============================== 11.48/11.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.48/11.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.48/11.54 c =============================================================================== 11.48/11.54 c | 0 | 2970 28895 61039 | 9631 0 nan | 0.000 % | 11.48/11.55 c | 100 | 2970 28895 61039 | 10594 100 12 | 0.000 % | 11.48/11.56 c | 250 | 2970 28895 61039 | 11654 250 19 | 0.000 % | 11.48/11.58 c | 475 | 2970 28895 61039 | 12819 475 19 | 0.000 % | 11.48/11.60 c | 817 | 2970 28895 61039 | 14101 817 28 | 0.000 % | 11.58/11.63 c | 1324 | 2970 28895 61039 | 15511 1324 32 | 0.000 % | 11.68/11.71 c | 2087 | 2970 28895 61039 | 17063 2087 39 | 0.000 % | 11.78/11.86 c | 3227 | 2969 28895 61039 | 18769 3222 42 | 0.034 % | 11.88/11.98 c =============================================================================== 11.98/12.01 c core #454 11.98/12.01 c Core size: 660 Core Weight: 1 Total Weight: -141 11.98/12.01 c Elapsed CPU time: 11.9022 s Remaining CPU time: 1788.1 s 11.98/12.05 c ============================[ Search Statistics ]============================== 11.98/12.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.98/12.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.98/12.05 c =============================================================================== 11.98/12.05 c | 0 | 3057 28896 61213 | 9632 0 nan | 0.000 % | 11.98/12.06 c | 100 | 3057 28896 61213 | 10595 100 13 | 0.000 % | 11.98/12.06 c =============================================================================== 11.98/12.06 c core #455 11.98/12.06 c Core size: 59 Core Weight: 1 Total Weight: -140 11.98/12.06 c Elapsed CPU time: 11.9532 s Remaining CPU time: 1788.05 s 11.98/12.09 c ============================[ Search Statistics ]============================== 11.98/12.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.98/12.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.98/12.09 c =============================================================================== 11.98/12.09 c | 0 | 3073 28897 61245 | 9632 0 nan | 0.000 % | 12.08/12.10 c | 102 | 3073 28897 61245 | 10595 102 20 | 0.000 % | 12.08/12.11 c =============================================================================== 12.08/12.11 c core #456 12.08/12.11 c Core size: 42 Core Weight: 1 Total Weight: -139 12.08/12.11 c Elapsed CPU time: 11.9962 s Remaining CPU time: 1788 s 12.08/12.14 c ============================[ Search Statistics ]============================== 12.08/12.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.08/12.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.08/12.15 c =============================================================================== 12.08/12.15 c | 0 | 3083 28898 61265 | 9632 0 nan | 0.000 % | 12.08/12.16 c | 100 | 3083 28898 61265 | 10595 100 17 | 0.000 % | 12.08/12.17 c | 251 | 3083 28898 61265 | 11655 251 21 | 0.000 % | 12.08/12.18 c | 478 | 3083 28898 61265 | 12821 478 25 | 0.000 % | 12.18/12.20 c | 817 | 3083 28898 61265 | 14103 817 36 | 0.000 % | 12.18/12.25 c | 1323 | 3083 28898 61265 | 15513 1323 45 | 0.000 % | 12.27/12.35 c | 2083 | 3082 28898 61265 | 17064 2082 52 | 0.032 % | 12.48/12.51 c | 3223 | 3080 28898 61265 | 18771 3222 51 | 0.097 % | 12.78/12.83 c | 4932 | 3076 28898 61265 | 20648 4921 53 | 0.227 % | 13.27/13.35 c | 7494 | 3076 28898 61265 | 22713 7483 54 | 0.227 % | 14.47/14.53 c | 11341 | 3067 28898 61265 | 24984 11317 54 | 0.519 % | 17.48/17.54 c =============================================================================== 17.67/17.76 c core #457 17.67/17.76 c Core size: 795 Core Weight: 1 Total Weight: -138 17.67/17.76 c Elapsed CPU time: 17.6033 s Remaining CPU time: 1782.4 s 17.78/17.82 c ============================[ Search Statistics ]============================== 17.78/17.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.82 c =============================================================================== 17.78/17.82 c | 0 | 3177 28899 61453 | 9633 0 nan | 0.000 % | 17.78/17.84 c | 100 | 3177 28899 61453 | 10596 100 23 | 0.000 % | 17.78/17.84 c | 250 | 3177 28899 61453 | 11655 250 25 | 0.000 % | 17.78/17.85 c | 476 | 3177 28899 61453 | 12821 476 24 | 0.000 % | 17.78/17.87 c | 813 | 3177 28899 61453 | 14103 813 29 | 0.000 % | 17.87/17.92 c | 1319 | 3177 28899 61453 | 15514 1319 36 | 0.000 % | 17.98/18.00 c | 2081 | 3177 28899 61453 | 17065 2081 45 | 0.000 % | 18.08/18.15 c | 3221 | 3177 28899 61453 | 18771 3221 44 | 0.000 % | 18.37/18.44 c | 4929 | 3177 28899 61453 | 20649 4929 46 | 0.000 % | 18.97/19.02 c | 7492 | 3177 28899 61453 | 22714 7492 48 | 0.000 % | 20.18/20.24 c | 11337 | 3176 28899 61453 | 24985 10990 49 | 0.031 % | 23.67/23.78 c | 17106 | 3176 28899 61453 | 27484 16759 52 | 0.031 % | 24.47/24.54 c =============================================================================== 24.77/24.82 c core #458 24.77/24.82 c Core size: 973 Core Weight: 1 Total Weight: -137 24.77/24.82 c Elapsed CPU time: 24.6063 s Remaining CPU time: 1775.39 s 24.77/24.87 c ============================[ Search Statistics ]============================== 24.77/24.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.77/24.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.77/24.87 c =============================================================================== 24.77/24.87 c | 0 | 3277 28900 61653 | 9633 0 nan | 0.000 % | 24.77/24.88 c | 101 | 3277 28900 61653 | 10596 101 12 | 0.000 % | 24.77/24.89 c | 251 | 3277 28900 61653 | 11656 251 12 | 0.000 % | 24.88/24.90 c | 476 | 3277 28900 61653 | 12821 476 18 | 0.000 % | 24.88/24.92 c | 813 | 3277 28900 61653 | 14104 813 25 | 0.000 % | 24.88/24.97 c | 1322 | 3277 28900 61653 | 15514 1322 41 | 0.000 % | 24.97/25.04 c | 2081 | 3277 28900 61653 | 17066 2081 42 | 0.000 % | 25.07/25.15 c | 3222 | 3277 28900 61653 | 18772 3222 45 | 0.000 % | 25.37/25.47 c | 4930 | 3277 28900 61653 | 20649 4930 53 | 0.000 % | 25.88/25.92 c =============================================================================== 25.98/26.00 c core #459 25.98/26.00 c Core size: 1007 Core Weight: 1 Total Weight: -136 25.98/26.00 c Elapsed CPU time: 25.7671 s Remaining CPU time: 1774.23 s 25.98/26.04 c ============================[ Search Statistics ]============================== 25.98/26.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.98/26.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.98/26.04 c =============================================================================== 25.98/26.04 c | 0 | 3391 28901 61881 | 9633 0 nan | 0.000 % | 25.98/26.05 c | 100 | 3391 28901 61881 | 10597 100 18 | 0.000 % | 25.98/26.06 c | 250 | 3391 28901 61881 | 11656 250 16 | 0.000 % | 25.98/26.08 c | 477 | 3391 28901 61881 | 12822 477 24 | 0.000 % | 26.07/26.11 c | 814 | 3391 28901 61881 | 14104 814 27 | 0.000 % | 26.07/26.15 c | 1320 | 3391 28901 61881 | 15515 1320 39 | 0.000 % | 26.17/26.21 c | 2081 | 3391 28901 61881 | 17066 2081 46 | 0.000 % | 26.28/26.36 c | 3224 | 3391 28901 61881 | 18773 3224 61 | 0.000 % | 26.57/26.69 c | 4932 | 3389 28901 61881 | 20650 4930 71 | 0.059 % | 27.27/27.31 c | 7495 | 3387 28901 61881 | 22715 7481 79 | 0.118 % | 28.37/28.45 c | 11342 | 3387 28901 61881 | 24987 11328 85 | 0.118 % | 31.36/31.49 c | 17108 | 3387 28901 61881 | 27485 17094 89 | 0.118 % | 37.06/37.17 c | 25757 | 3387 28901 61881 | 30234 25743 92 | 0.118 % | 44.16/44.22 c | 38733 | 3387 28901 61881 | 33258 21604 89 | 0.118 % | 58.36/58.45 c | 58195 | 3387 28901 61881 | 36583 20965 88 | 0.118 % | 86.16/86.21 c | 87388 | 3385 28901 61881 | 40242 27521 83 | 0.177 % | 134.34/134.49 c | 131179 | 3385 28901 61881 | 44266 20092 83 | 0.177 % | 211.92/212.05 c | 196867 | 3384 28901 61881 | 48693 28292 91 | 0.206 % | 343.08/343.21 c | 295396 | 3384 28901 61881 | 53562 29022 88 | 0.206 % | 435.66/435.84 c =============================================================================== 446.26/446.42 c core #460 446.26/446.42 c Core size: 2055 Core Weight: 1 Total Weight: -135 446.26/446.42 c Elapsed CPU time: 444.582 s Remaining CPU time: 1355.42 s 446.66/446.84 c ============================[ Search Statistics ]============================== 446.66/446.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 446.66/446.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 446.66/446.84 c =============================================================================== 446.66/446.84 c | 0 | 3541 28902 62181 | 9634 0 nan | 0.000 % | 446.76/446.92 c | 103 | 3541 28902 62181 | 10597 103 21 | 0.000 % | 446.76/446.93 c | 253 | 3540 28902 62181 | 11657 253 25 | 0.028 % | 446.76/446.95 c | 478 | 3540 28902 62181 | 12822 478 33 | 0.028 % | 446.76/446.98 c | 815 | 3539 28902 62181 | 14105 812 41 | 0.056 % | 446.85/447.04 c | 1322 | 3539 28902 62181 | 15515 1319 62 | 0.056 % | 446.96/447.11 c | 2082 | 3535 28902 62181 | 17067 2072 63 | 0.169 % | 447.05/447.26 c | 3221 | 3535 28902 62181 | 18773 3211 65 | 0.169 % | 447.46/447.64 c | 4931 | 3535 28902 62181 | 20651 4920 76 | 0.169 % | 448.15/448.31 c | 7496 | 3535 28902 62181 | 22716 7485 82 | 0.169 % | 449.35/449.57 c | 11341 | 3535 28902 62181 | 24988 11330 86 | 0.169 % | 451.65/451.88 c | 17108 | 3535 28902 62181 | 27486 17097 91 | 0.169 % | 458.15/458.33 c | 25760 | 3535 28902 62181 | 30235 25749 100 | 0.169 % | 463.96/464.12 c | 38735 | 3535 28902 62181 | 33259 22238 94 | 0.169 % | 475.55/475.70 c | 58196 | 3535 28902 62181 | 36585 22261 88 | 0.170 % | 484.35/484.50 c =============================================================================== 485.45/485.64 c core #461 485.45/485.64 c Core size: 1262 Core Weight: 1 Total Weight: -134 485.45/485.64 c Elapsed CPU time: 483.579 s Remaining CPU time: 1316.42 s 485.55/485.77 c ============================[ Search Statistics ]============================== 485.55/485.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 485.55/485.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 485.55/485.77 c =============================================================================== 485.55/485.77 c | 0 | 3665 28903 62429 | 9634 0 nan | 0.000 % | 485.65/485.81 c | 101 | 3665 28903 62429 | 10597 101 31 | 0.000 % | 485.65/485.82 c | 251 | 3665 28903 62429 | 11657 251 24 | 0.000 % | 485.65/485.84 c | 476 | 3665 28903 62429 | 12823 476 28 | 0.000 % | 485.65/485.86 c | 815 | 3665 28903 62429 | 14105 815 33 | 0.000 % | 485.75/485.91 c | 1321 | 3665 28903 62429 | 15516 1321 43 | 0.000 % | 485.84/486.02 c | 2080 | 3665 28903 62429 | 17067 2080 55 | 0.000 % | 485.94/486.15 c | 3219 | 3665 28903 62429 | 18774 3219 62 | 0.000 % | 486.24/486.48 c | 4931 | 3663 28903 62429 | 20652 4930 76 | 0.055 % | 486.95/487.18 c | 7498 | 3663 28903 62429 | 22717 7497 94 | 0.055 % | 489.04/489.21 c | 11342 | 3663 28903 62429 | 24988 11338 114 | 0.055 % | 492.14/492.34 c | 17108 | 3663 28903 62429 | 27487 17104 120 | 0.055 % | 500.14/500.33 c | 25757 | 3663 28903 62429 | 30236 25753 125 | 0.055 % | 514.03/514.29 c | 38732 | 3663 28903 62429 | 33260 21935 129 | 0.055 % | 530.23/530.44 c | 58193 | 3663 28903 62429 | 36586 21241 116 | 0.055 % | 556.82/557.06 c | 87385 | 3663 28903 62429 | 40245 27151 127 | 0.055 % | 595.92/596.13 c | 131175 | 3663 28903 62429 | 44269 17212 131 | 0.055 % | 675.99/676.28 c | 196860 | 3663 28903 62429 | 48696 22928 137 | 0.055 % | 843.05/843.33 c | 295388 | 3662 28903 62429 | 53566 20485 132 | 0.082 % | 1004.01/1004.38 c =============================================================================== 1013.20/1013.56 c core #462 1013.20/1013.56 c Core size: 2814 Core Weight: 1 Total Weight: -133 1013.20/1013.56 c Elapsed CPU time: 1009.51 s Remaining CPU time: 790.492 s 1013.70/1014.07 c ============================[ Search Statistics ]============================== 1013.70/1014.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1013.70/1014.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1013.70/1014.07 c =============================================================================== 1013.70/1014.07 c | 0 | 3847 28904 62793 | 9634 0 nan | 0.000 % | 1013.80/1014.15 c | 100 | 3847 28904 62793 | 10598 100 21 | 0.000 % | 1013.80/1014.19 c | 251 | 3847 28904 62793 | 11657 251 35 | 0.000 % | 1013.91/1014.21 c | 477 | 3847 28904 62793 | 12823 477 34 | 0.000 % | 1013.91/1014.24 c | 815 | 3847 28904 62793 | 14106 815 42 | 0.000 % | 1014.01/1014.30 c | 1321 | 3846 28904 62793 | 15516 1320 52 | 0.026 % | 1014.01/1014.38 c | 2080 | 3846 28904 62793 | 17068 2079 57 | 0.026 % | 1014.20/1014.55 c | 3221 | 3829 28904 62793 | 18775 3217 72 | 0.572 % | 1014.50/1014.87 c | 4929 | 3825 28904 62793 | 20652 4925 92 | 0.572 % | 1015.10/1015.46 c | 7494 | 3825 28904 62793 | 22718 7422 107 | 0.572 % | 1016.30/1016.62 c | 11338 | 3825 28904 62793 | 24989 11266 123 | 0.572 % | 1018.80/1019.15 c | 17107 | 3825 28904 62793 | 27488 17035 123 | 0.572 % | 1025.00/1025.38 c | 25760 | 3825 28904 62793 | 30237 25688 132 | 0.572 % | 1034.80/1035.19 c | 38734 | 3825 28904 62793 | 33261 21404 139 | 0.572 % | 1055.79/1056.19 c | 58199 | 3825 28904 62793 | 36587 20587 153 | 0.572 % | 1099.47/1099.86 c | 87391 | 3825 28904 62793 | 40246 26956 163 | 0.572 % | 1171.75/1172.10 c | 131180 | 3825 28904 62793 | 44271 20066 135 | 0.572 % | 1239.44/1239.83 c | 196864 | 3825 28904 62793 | 48698 22892 144 | 0.572 % | 1335.42/1335.83 c | 295391 | 3816 28904 62793 | 53567 17083 140 | 0.806 % | 1491.77/1492.20 c | 443180 | 3816 28904 62793 | 58924 49732 140 | 0.806 % |
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-1875601-1245168910/watcher-1875601-1245168910 -o /tmp/evaluation-result-1875601-1245168910/solver-1875601-1245168910 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875601-1245168910.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.85 0.97 0.98 3/64 12351 /proc/meminfo: memFree=1687432/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=3184 CPUtime=0 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 69599803 3260416 197 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 796 197 129 292 0 339 0 [startup+0.0795809 s] /proc/loadavg: 0.85 0.97 0.98 3/64 12351 /proc/meminfo: memFree=1687432/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=4272 CPUtime=0.07 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 618 0 0 0 7 0 0 0 18 0 1 0 69599803 4374528 602 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1068 602 280 292 0 611 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4272 [startup+0.102582 s] /proc/loadavg: 0.85 0.97 0.98 3/64 12351 /proc/meminfo: memFree=1687432/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=4712 CPUtime=0.09 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 931 0 0 0 9 0 0 0 18 0 1 0 69599803 4825088 725 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1178 725 133 292 0 883 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4712 [startup+0.3026 s] /proc/loadavg: 0.85 0.97 0.98 3/64 12351 /proc/meminfo: memFree=1687432/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=5096 CPUtime=0.29 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 1041 0 0 0 29 0 0 0 19 0 1 0 69599803 5218304 807 1992294400 134512640 135709839 4294956240 18446744073709551615 135166770 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1274 807 133 292 0 979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.702635 s] /proc/loadavg: 0.85 0.97 0.98 3/64 12351 /proc/meminfo: memFree=1687432/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=5012 CPUtime=0.69 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 1137 0 0 0 69 0 0 0 22 0 1 0 69599803 5132288 800 1992294400 134512640 135709839 4294956240 18446744073709551615 134530633 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1253 800 133 292 0 958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5012 [startup+1.50171 s] /proc/loadavg: 0.85 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1684736/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=5012 CPUtime=1.49 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 1139 0 0 0 149 0 0 0 25 0 1 0 69599803 5132288 802 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1253 802 133 292 0 958 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5012 [startup+3.10185 s] /proc/loadavg: 0.86 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1684352/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=5416 CPUtime=3.09 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 1223 0 0 0 309 0 0 0 22 0 1 0 69599803 5545984 886 1992294400 134512640 135709839 4294956240 18446744073709551615 134605359 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1354 886 133 292 0 1059 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5416 [startup+6.30113 s] /proc/loadavg: 0.86 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1683272/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=6880 CPUtime=6.29 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 1659 0 0 0 628 1 0 0 25 0 1 0 69599803 7045120 1252 1992294400 134512640 135709839 4294956240 18446744073709551615 134530507 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 1720 1252 135 292 0 1425 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6880 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1677512/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=12624 CPUtime=12.68 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 3163 0 0 0 1257 11 0 0 25 0 1 0 69599803 12926976 2680 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 3156 2680 136 292 0 2861 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12624 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1669512/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=19848 CPUtime=25.47 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 4963 0 0 0 2526 21 0 0 25 0 1 0 69599803 20324352 4480 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 4962 4480 136 292 0 4667 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 19848 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1646920/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=42664 CPUtime=51.06 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 10692 0 0 0 5068 38 0 0 25 0 1 0 69599803 43687936 10209 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 10666 10209 136 292 0 10371 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 42664 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1617096/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=72084 CPUtime=102.25 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 18031 0 0 0 10166 59 0 0 25 0 1 0 69599803 73814016 17548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 18021 17548 136 292 0 17726 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 72084 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1584776/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=104704 CPUtime=162.23 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 26119 0 0 0 16142 81 0 0 25 0 1 0 69599803 107216896 25636 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 26176 25636 136 292 0 25881 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 104704 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1553032/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=136320 CPUtime=222.21 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 34011 0 0 0 22117 104 0 0 25 0 1 0 69599803 139591680 33528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 34080 33528 136 292 0 33785 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 136320 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1525832/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=163896 CPUtime=282.2 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 40845 0 0 0 28099 121 0 0 25 0 1 0 69599803 167829504 40362 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 40974 40362 136 292 0 40679 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 163896 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1498056/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=191444 CPUtime=342.18 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 47749 0 0 0 34078 140 0 0 25 0 1 0 69599803 196038656 47266 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 47861 47266 136 292 0 47566 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 191444 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1476680/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=213208 CPUtime=402.16 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 53167 0 0 0 40059 157 0 0 25 0 1 0 69599803 218324992 52684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 53302 52684 136 292 0 53007 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 213208 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1449992/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=239212 CPUtime=462.15 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 59691 0 0 0 46034 181 0 0 25 0 1 0 69599803 244953088 59155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 59803 59155 136 292 0 59508 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 239212 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1449288/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=239212 CPUtime=522.14 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 59886 0 0 0 52005 209 0 0 25 0 1 0 69599803 244953088 59350 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 59803 59350 136 292 0 59508 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 239212 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1413256/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=275384 CPUtime=582.11 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 68934 0 0 0 57974 237 0 0 25 0 1 0 69599803 281993216 68398 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 68846 68398 136 292 0 68551 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 275384 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1379016/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=309560 CPUtime=642.1 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 77401 0 0 0 63947 263 0 0 25 0 1 0 69599803 316989440 76865 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 77390 76865 136 292 0 77095 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 309560 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1267720/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=421220 CPUtime=882.04 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 105223 0 0 0 87870 334 0 0 25 0 1 0 69599803 431329280 104687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 105305 104687 136 292 0 105010 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 421220 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1239496/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=449632 CPUtime=942.02 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 112305 0 0 0 93850 352 0 0 25 0 1 0 69599803 460423168 111769 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 112408 111769 136 292 0 112113 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 449632 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1205832/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=483200 CPUtime=1002.01 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 120681 0 0 0 99827 374 0 0 25 0 1 0 69599803 494796800 120145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 120800 120145 136 292 0 120505 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 483200 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1191816/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=496592 CPUtime=1061.99 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 124229 0 0 0 105803 396 0 0 25 0 1 0 69599803 508510208 123693 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 124148 123693 136 292 0 123853 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 496592 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1170952/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=517104 CPUtime=1121.97 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 129335 0 0 0 111787 410 0 0 25 0 1 0 69599803 529514496 128799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 129276 128799 136 292 0 128981 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 517104 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1141896/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=546784 CPUtime=1181.95 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 136751 0 0 0 117763 432 0 0 25 0 1 0 69599803 559906816 136215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 136696 136215 136 292 0 136401 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 546784 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1103112/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=585656 CPUtime=1241.94 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 146408 0 0 0 123736 458 0 0 25 0 1 0 69599803 599711744 145872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 146414 145872 136 292 0 146119 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 585656 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1073416/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=614512 CPUtime=1301.93 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 153630 0 0 0 129714 479 0 0 25 0 1 0 69599803 629260288 153094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 153628 153094 136 292 0 153333 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 614512 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=1035208/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=652836 CPUtime=1361.91 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 163198 0 0 0 135684 507 0 0 25 0 1 0 69599803 668504064 162662 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 163209 162662 136 292 0 162914 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 652836 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=990408/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=697504 CPUtime=1421.9 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 174317 0 0 0 141660 530 0 0 25 0 1 0 69599803 714244096 173781 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 174376 173781 136 292 0 174081 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 697504 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=938632/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=749836 CPUtime=1481.87 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 187372 0 0 0 147632 555 0 0 25 0 1 0 69599803 767832064 186836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 187459 186836 136 292 0 187164 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 749836 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=898248/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=789644 CPUtime=1541.86 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 197307 0 0 0 153606 580 0 0 25 0 1 0 69599803 808595456 196771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 197411 196771 136 292 0 197116 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 789644 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=860360/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=827860 CPUtime=1601.85 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 206845 0 0 0 159581 604 0 0 25 0 1 0 69599803 847728640 206309 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 206965 206309 136 292 0 206670 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 827860 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=823176/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=864780 CPUtime=1661.83 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 216042 0 0 0 165559 624 0 0 25 0 1 0 69599803 885534720 215506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 216195 215506 136 292 0 215900 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 864780 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=789832/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=898728 CPUtime=1721.81 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 224470 0 0 0 171539 642 0 0 25 0 1 0 69599803 920297472 223934 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 224682 223934 136 292 0 224387 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 898728 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=756104/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=932144 CPUtime=1781.8 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 232822 0 0 0 177519 661 0 0 25 0 1 0 69599803 954515456 232286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 233036 232286 136 292 0 232741 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 932144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12352 /proc/meminfo: memFree=744392/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=943628 CPUtime=1800.09 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4194304 235675 0 0 0 179344 665 0 0 25 0 1 0 69599803 966275072 235139 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 235907 235139 136 292 0 235612 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 943628 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.97 0.98 2/65 12352 /proc/meminfo: memFree=744392/2055920 swapFree=4192956/4192956 [pid=12351] ppid=12349 vsize=0 CPUtime=1800.19 /proc/12351/stat : 12351 (wbo) R 12349 12351 12308 0 -1 4195332 235675 0 0 0 179344 675 0 0 25 0 1 0 69599803 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/12351/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.25 CPU user time (s): 1793.45 CPU system time (s): 6.79997 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 943628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.45 system time used= 6.79997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 235675 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= 8 involuntary context switches= 4152 runsolver used 1.53177 second user time and 3.50547 second system time The end
Begin job on node41 at 2009-06-16 18:15:10 IDJOB=1875601 IDBENCH=2274 IDSOLVER=698 FILE ID=node41/1875601-1245168910 PBS_JOBID= 9363885 Free space on /tmp= 65960 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-2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875601-1245168910/watcher-1875601-1245168910 -o /tmp/evaluation-result-1875601-1245168910/solver-1875601-1245168910 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875601-1245168910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED=931890918 node41.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.216 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.216 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: 1687912 kB Buffers: 46520 kB Cached: 241800 kB SwapCached: 0 kB Active: 148692 kB Inactive: 152408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1687912 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3172 kB Writeback: 0 kB Mapped: 22572 kB Slab: 52932 kB Committed_AS: 52568 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875601-1245168910.opb Free space on /tmp at the end= 65960 MiB End job on node41 at 2009-06-16 18:45:13