Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.17 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1795.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27856 |
Number of constraints which are clauses | 27856 |
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-1875740-1245168855.opb. 0.00/0.00 c Instance file HOME/instance-1875740-1245168855.opb 0.00/0.00 c File size is 664636 bytes. 0.00/0.07 c Highest Coefficient sum: 3 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 595 | 0.00/0.07 c | Number Clauses: 28451 | 0.00/0.07 c | Number Cardinality: 0 | 0.00/0.07 c | Number PB Constraints: 0 | 0.00/0.07 c core #1 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: -594 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.09 c core #2 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: -593 0.00/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #3 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: -592 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #4 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: -591 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.13 c core #5 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: -590 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #6 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -589 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #7 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: -588 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #8 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: -587 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #9 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -586 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.20 c core #10 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: -585 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #11 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -584 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #12 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -583 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #13 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -582 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #14 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -581 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #15 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -580 0.19/0.26 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #16 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -579 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #17 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -578 0.19/0.29 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #18 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -577 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #19 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -576 0.29/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #20 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: -575 0.29/0.33 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #21 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -574 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #22 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -573 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #23 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -572 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #24 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -571 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #25 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -570 0.39/0.40 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #26 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -569 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #27 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -568 0.39/0.43 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #28 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -567 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #29 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -566 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #30 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -565 0.39/0.47 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #31 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -564 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #32 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -563 0.49/0.50 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #33 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -562 0.49/0.52 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #34 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -561 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #35 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: -560 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #36 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -559 0.49/0.56 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #37 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -558 0.49/0.57 c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #38 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -557 0.49/0.59 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #39 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -556 0.59/0.60 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #40 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -555 0.59/0.62 c Elapsed CPU time: 0.615906 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #41 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -554 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #42 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -553 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #43 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -552 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #44 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -551 0.59/0.67 c Elapsed CPU time: 0.672897 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #45 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -550 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #46 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -549 0.69/0.70 c Elapsed CPU time: 0.702893 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #47 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -548 0.69/0.72 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #48 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -547 0.69/0.73 c Elapsed CPU time: 0.731888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #49 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -546 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #50 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -545 0.69/0.76 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #51 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -544 0.69/0.77 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #52 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -543 0.69/0.79 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #53 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -542 0.79/0.80 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #54 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -541 0.79/0.82 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #55 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -540 0.79/0.83 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #56 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -539 0.79/0.85 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #57 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -538 0.79/0.86 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #58 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -537 0.79/0.88 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #59 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -536 0.79/0.89 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #60 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -535 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #61 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -534 0.89/0.93 c Elapsed CPU time: 0.926859 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #62 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -533 0.89/0.94 c Elapsed CPU time: 0.942856 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #63 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -532 0.89/0.96 c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #64 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -531 0.89/0.97 c Elapsed CPU time: 0.971852 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #65 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -530 0.89/0.99 c Elapsed CPU time: 0.987849 s Remaining CPU time: 1799.01 s 1.00/1.00 c core #66 1.00/1.00 c Core size: 3 Core Weight: 1 Total Weight: -529 1.00/1.00 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 1.00/1.02 c core #67 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -528 1.00/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #68 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: -527 1.00/1.03 c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #69 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -526 1.00/1.05 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 1.00/1.07 c core #70 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -525 1.00/1.07 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #71 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: -524 1.00/1.08 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.00/1.10 c core #72 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: -523 1.00/1.10 c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #73 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: -522 1.10/1.11 c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s 1.10/1.13 c core #74 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: -521 1.10/1.13 c Elapsed CPU time: 1.12983 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #75 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: -520 1.10/1.14 c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s 1.10/1.16 c core #76 1.10/1.16 c Core size: 3 Core Weight: 1 Total Weight: -519 1.10/1.16 c Elapsed CPU time: 1.15982 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #77 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: -518 1.10/1.17 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.10/1.19 c core #78 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -517 1.10/1.19 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #79 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -516 1.19/1.21 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #80 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -515 1.19/1.22 c Elapsed CPU time: 1.22281 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #81 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -514 1.19/1.24 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #82 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -513 1.19/1.25 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #83 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -512 1.19/1.27 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #84 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: -511 1.19/1.28 c Elapsed CPU time: 1.2848 s Remaining CPU time: 1798.72 s 1.29/1.30 c core #85 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -510 1.29/1.30 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #86 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -509 1.29/1.32 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #87 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: -508 1.29/1.33 c Elapsed CPU time: 1.3328 s Remaining CPU time: 1798.67 s 1.29/1.35 c core #88 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: -507 1.29/1.35 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #89 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -506 1.29/1.36 c Elapsed CPU time: 1.36379 s Remaining CPU time: 1798.64 s 1.29/1.38 c core #90 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: -505 1.29/1.38 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #91 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -504 1.29/1.39 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #92 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -503 1.39/1.41 c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s 1.39/1.43 c core #93 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -502 1.39/1.43 c Elapsed CPU time: 1.42678 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #94 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -501 1.39/1.44 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.39/1.46 c core #95 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -500 1.39/1.46 c Elapsed CPU time: 1.45978 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #96 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -499 1.39/1.47 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #97 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -498 1.39/1.49 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.51 c core #98 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -497 1.49/1.51 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #99 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -496 1.49/1.52 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.49/1.54 c core #100 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -495 1.49/1.54 c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #101 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -494 1.49/1.55 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #102 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: -493 1.49/1.57 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.49/1.59 c core #103 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -492 1.49/1.59 c Elapsed CPU time: 1.58676 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #104 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: -491 1.59/1.60 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.59/1.62 c core #105 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -490 1.59/1.62 c Elapsed CPU time: 1.61875 s Remaining CPU time: 1798.38 s 1.59/1.64 c core #106 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -489 1.59/1.64 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #107 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -488 1.59/1.65 c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #108 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -487 1.59/1.67 c Elapsed CPU time: 1.66775 s Remaining CPU time: 1798.33 s 1.59/1.68 c core #109 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: -486 1.59/1.68 c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s 1.69/1.70 c core #110 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: -485 1.69/1.70 c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #111 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -484 1.69/1.71 c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s 1.69/1.73 c core #112 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: -483 1.69/1.73 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #113 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -482 1.69/1.75 c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s 1.69/1.76 c core #114 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -481 1.69/1.76 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #115 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -480 1.69/1.78 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.69/1.80 c core #116 1.69/1.80 c Core size: 3 Core Weight: 1 Total Weight: -479 1.69/1.80 c Elapsed CPU time: 1.79673 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #117 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -478 1.79/1.81 c Elapsed CPU time: 1.81272 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #118 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -477 1.79/1.83 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #119 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -476 1.79/1.85 c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s 1.79/1.86 c core #120 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -475 1.79/1.86 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #121 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -474 1.79/1.88 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #122 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -473 1.89/1.90 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.89/1.91 c core #123 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -472 1.89/1.91 c Elapsed CPU time: 1.91471 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #124 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -471 1.89/1.93 c Elapsed CPU time: 1.93171 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #125 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -470 1.89/1.95 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #126 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -469 1.89/1.96 c Elapsed CPU time: 1.9647 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #127 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -468 1.89/1.98 c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #128 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -467 1.99/2.00 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.01 c core #129 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -466 1.99/2.01 c Elapsed CPU time: 2.01569 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #130 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: -465 1.99/2.03 c Elapsed CPU time: 2.03269 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #131 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -464 1.99/2.05 c Elapsed CPU time: 2.04969 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #132 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -463 1.99/2.07 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 1.99/2.08 c core #133 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: -462 1.99/2.08 c Elapsed CPU time: 2.08268 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #134 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: -461 1.99/2.10 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.10/2.12 c core #135 2.10/2.12 c Core size: 3 Core Weight: 1 Total Weight: -460 2.10/2.12 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.10/2.13 c core #136 2.10/2.13 c Core size: 3 Core Weight: 1 Total Weight: -459 2.10/2.13 c Elapsed CPU time: 2.13368 s Remaining CPU time: 1797.87 s 2.10/2.15 c core #137 2.10/2.15 c Core size: 3 Core Weight: 1 Total Weight: -458 2.10/2.15 c Elapsed CPU time: 2.15067 s Remaining CPU time: 1797.85 s 2.10/2.17 c core #138 2.10/2.17 c Core size: 3 Core Weight: 1 Total Weight: -457 2.10/2.17 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.10/2.18 c core #139 2.10/2.18 c Core size: 3 Core Weight: 1 Total Weight: -456 2.10/2.18 c Elapsed CPU time: 2.18467 s Remaining CPU time: 1797.82 s 2.10/2.20 c core #140 2.10/2.20 c Core size: 3 Core Weight: 1 Total Weight: -455 2.10/2.20 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.20/2.22 c core #141 2.20/2.22 c Core size: 3 Core Weight: 1 Total Weight: -454 2.20/2.22 c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s 2.20/2.24 c core #142 2.20/2.24 c Core size: 3 Core Weight: 1 Total Weight: -453 2.20/2.24 c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s 2.20/2.25 c core #143 2.20/2.25 c Core size: 3 Core Weight: 1 Total Weight: -452 2.20/2.25 c Elapsed CPU time: 2.25266 s Remaining CPU time: 1797.75 s 2.20/2.27 c core #144 2.20/2.27 c Core size: 3 Core Weight: 1 Total Weight: -451 2.20/2.27 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.20/2.29 c core #145 2.20/2.29 c Core size: 3 Core Weight: 1 Total Weight: -450 2.20/2.29 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.29/2.30 c core #146 2.29/2.30 c Core size: 3 Core Weight: 1 Total Weight: -449 2.29/2.30 c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #147 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -448 2.29/2.32 c Elapsed CPU time: 2.32065 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #148 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -447 2.29/2.34 c Elapsed CPU time: 2.33864 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #149 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -446 2.29/2.36 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.29/2.37 c core #150 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: -445 2.29/2.37 c Elapsed CPU time: 2.37264 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #151 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: -444 2.29/2.39 c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #152 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: -443 2.39/2.41 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #153 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: -442 2.39/2.43 c Elapsed CPU time: 2.42563 s Remaining CPU time: 1797.57 s 2.39/2.45 c core #154 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -441 2.39/2.45 c Elapsed CPU time: 2.44363 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #155 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -440 2.39/2.46 c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #156 2.39/2.48 c Core size: 3 Core Weight: 1 Total Weight: -439 2.39/2.48 c Elapsed CPU time: 2.47762 s Remaining CPU time: 1797.52 s 2.49/2.50 c core #157 2.49/2.50 c Core size: 3 Core Weight: 1 Total Weight: -438 2.49/2.50 c Elapsed CPU time: 2.49362 s Remaining CPU time: 1797.51 s 2.49/2.52 c core #158 2.49/2.52 c Core size: 3 Core Weight: 1 Total Weight: -437 2.49/2.52 c Elapsed CPU time: 2.51062 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #159 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -436 2.49/2.53 c Elapsed CPU time: 2.52861 s Remaining CPU time: 1797.47 s 2.49/2.55 c core #160 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: -435 2.49/2.55 c Elapsed CPU time: 2.54561 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #161 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: -434 2.49/2.57 c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s 2.49/2.59 c core #162 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -433 2.49/2.59 c Elapsed CPU time: 2.58061 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #163 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -432 2.59/2.60 c Elapsed CPU time: 2.5986 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #164 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -431 2.59/2.62 c Elapsed CPU time: 2.6156 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #165 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -430 2.59/2.64 c Elapsed CPU time: 2.6326 s Remaining CPU time: 1797.37 s 2.59/2.66 c core #166 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -429 2.59/2.66 c Elapsed CPU time: 2.6506 s Remaining CPU time: 1797.35 s 2.59/2.68 c core #167 2.59/2.68 c Core size: 3 Core Weight: 1 Total Weight: -428 2.59/2.68 c Elapsed CPU time: 2.66859 s Remaining CPU time: 1797.33 s 2.59/2.69 c core #168 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: -427 2.59/2.69 c Elapsed CPU time: 2.68659 s Remaining CPU time: 1797.31 s 2.68/2.71 c core #169 2.68/2.71 c Core size: 3 Core Weight: 1 Total Weight: -426 2.68/2.71 c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s 2.68/2.73 c core #170 2.68/2.73 c Core size: 3 Core Weight: 1 Total Weight: -425 2.68/2.73 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.68/2.75 c core #171 2.68/2.75 c Core size: 3 Core Weight: 1 Total Weight: -424 2.68/2.75 c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s 2.68/2.77 c core #172 2.68/2.77 c Core size: 3 Core Weight: 1 Total Weight: -423 2.68/2.77 c Elapsed CPU time: 2.75858 s Remaining CPU time: 1797.24 s 2.68/2.78 c core #173 2.68/2.78 c Core size: 3 Core Weight: 1 Total Weight: -422 2.68/2.78 c Elapsed CPU time: 2.77658 s Remaining CPU time: 1797.22 s 2.78/2.80 c core #174 2.78/2.80 c Core size: 3 Core Weight: 1 Total Weight: -421 2.78/2.80 c Elapsed CPU time: 2.79458 s Remaining CPU time: 1797.21 s 2.78/2.82 c core #175 2.78/2.82 c Core size: 3 Core Weight: 1 Total Weight: -420 2.78/2.82 c Elapsed CPU time: 2.81257 s Remaining CPU time: 1797.19 s 2.78/2.84 c core #176 2.78/2.84 c Core size: 3 Core Weight: 1 Total Weight: -419 2.78/2.84 c Elapsed CPU time: 2.83057 s Remaining CPU time: 1797.17 s 2.78/2.86 c core #177 2.78/2.86 c Core size: 3 Core Weight: 1 Total Weight: -418 2.78/2.86 c Elapsed CPU time: 2.84857 s Remaining CPU time: 1797.15 s 2.78/2.88 c core #178 2.78/2.88 c Core size: 3 Core Weight: 1 Total Weight: -417 2.78/2.88 c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s 2.78/2.89 c core #179 2.78/2.89 c Core size: 3 Core Weight: 1 Total Weight: -416 2.78/2.89 c Elapsed CPU time: 2.88456 s Remaining CPU time: 1797.12 s 2.88/2.91 c core #180 2.88/2.91 c Core size: 3 Core Weight: 1 Total Weight: -415 2.88/2.91 c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s 2.88/2.93 c core #181 2.88/2.93 c Core size: 3 Core Weight: 1 Total Weight: -414 2.88/2.93 c Elapsed CPU time: 2.92156 s Remaining CPU time: 1797.08 s 2.88/2.95 c core #182 2.88/2.95 c Core size: 3 Core Weight: 1 Total Weight: -413 2.88/2.95 c Elapsed CPU time: 2.93955 s Remaining CPU time: 1797.06 s 2.88/2.97 c core #183 2.88/2.97 c Core size: 3 Core Weight: 1 Total Weight: -412 2.88/2.97 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.88/2.99 c core #184 2.88/2.99 c Core size: 3 Core Weight: 1 Total Weight: -411 2.88/2.99 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.98/3.00 c core #185 2.98/3.00 c Core size: 3 Core Weight: 1 Total Weight: -410 2.98/3.00 c Elapsed CPU time: 2.99554 s Remaining CPU time: 1797 s 2.98/3.02 c core #186 2.98/3.02 c Core size: 3 Core Weight: 1 Total Weight: -409 2.98/3.02 c Elapsed CPU time: 3.01354 s Remaining CPU time: 1796.99 s 2.98/3.04 c core #187 2.98/3.04 c Core size: 3 Core Weight: 1 Total Weight: -408 2.98/3.04 c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s 2.98/3.06 c core #188 2.98/3.06 c Core size: 3 Core Weight: 1 Total Weight: -407 2.98/3.06 c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 s 2.98/3.08 c core #189 2.98/3.08 c Core size: 3 Core Weight: 1 Total Weight: -406 2.98/3.08 c Elapsed CPU time: 3.06953 s Remaining CPU time: 1796.93 s 3.08/3.10 c core #190 3.08/3.10 c Core size: 3 Core Weight: 1 Total Weight: -405 3.08/3.10 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.08/3.12 c core #191 3.08/3.12 c Core size: 3 Core Weight: 1 Total Weight: -404 3.08/3.12 c Elapsed CPU time: 3.10753 s Remaining CPU time: 1796.89 s 3.08/3.14 c core #192 3.08/3.14 c Core size: 3 Core Weight: 1 Total Weight: -403 3.08/3.14 c Elapsed CPU time: 3.12652 s Remaining CPU time: 1796.87 s 3.08/3.15 c core #193 3.08/3.15 c Core size: 3 Core Weight: 1 Total Weight: -402 3.08/3.15 c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s 3.08/3.17 c core #194 3.08/3.17 c Core size: 3 Core Weight: 1 Total Weight: -401 3.08/3.17 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.08/3.19 c core #195 3.08/3.19 c Core size: 3 Core Weight: 1 Total Weight: -400 3.08/3.19 c Elapsed CPU time: 3.18352 s Remaining CPU time: 1796.82 s 3.19/3.21 c core #196 3.19/3.21 c Core size: 3 Core Weight: 1 Total Weight: -399 3.19/3.21 c Elapsed CPU time: 3.20251 s Remaining CPU time: 1796.8 s 3.19/3.23 c core #197 3.19/3.23 c Core size: 3 Core Weight: 1 Total Weight: -398 3.19/3.23 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.19/3.25 c core #198 3.19/3.25 c Core size: 3 Core Weight: 1 Total Weight: -397 3.19/3.25 c Elapsed CPU time: 3.24051 s Remaining CPU time: 1796.76 s 3.19/3.27 c core #199 3.19/3.27 c Core size: 3 Core Weight: 1 Total Weight: -396 3.19/3.27 c Elapsed CPU time: 3.2595 s Remaining CPU time: 1796.74 s 3.19/3.29 c core #200 3.19/3.29 c Core size: 3 Core Weight: 1 Total Weight: -395 3.19/3.29 c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #201 3.29/3.31 c Core size: 3 Core Weight: 1 Total Weight: -394 3.29/3.31 c Elapsed CPU time: 3.2985 s Remaining CPU time: 1796.7 s 3.29/3.33 c core #202 3.29/3.33 c Core size: 3 Core Weight: 1 Total Weight: -393 3.29/3.33 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.29/3.35 c core #203 3.29/3.35 c Core size: 3 Core Weight: 1 Total Weight: -392 3.29/3.35 c Elapsed CPU time: 3.33649 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #204 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -391 3.29/3.37 c Elapsed CPU time: 3.35749 s Remaining CPU time: 1796.64 s 3.29/3.39 c core #205 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -390 3.29/3.39 c Elapsed CPU time: 3.37649 s Remaining CPU time: 1796.62 s 3.38/3.41 c core #206 3.38/3.41 c Core size: 3 Core Weight: 1 Total Weight: -389 3.38/3.41 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.38/3.43 c core #207 3.38/3.43 c Core size: 3 Core Weight: 1 Total Weight: -388 3.38/3.43 c Elapsed CPU time: 3.41448 s Remaining CPU time: 1796.59 s 3.38/3.45 c core #208 3.38/3.45 c Core size: 3 Core Weight: 1 Total Weight: -387 3.38/3.45 c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s 3.38/3.47 c core #209 3.38/3.47 c Core size: 3 Core Weight: 1 Total Weight: -386 3.38/3.47 c Elapsed CPU time: 3.45347 s Remaining CPU time: 1796.55 s 3.38/3.48 c core #210 3.38/3.48 c Core size: 3 Core Weight: 1 Total Weight: -385 3.38/3.48 c Elapsed CPU time: 3.47247 s Remaining CPU time: 1796.53 s 3.48/3.50 c core #211 3.48/3.50 c Core size: 3 Core Weight: 1 Total Weight: -384 3.48/3.50 c Elapsed CPU time: 3.49147 s Remaining CPU time: 1796.51 s 3.48/3.52 c core #212 3.48/3.52 c Core size: 3 Core Weight: 1 Total Weight: -383 3.48/3.52 c Elapsed CPU time: 3.51247 s Remaining CPU time: 1796.49 s 3.48/3.54 c core #213 3.48/3.54 c Core size: 3 Core Weight: 1 Total Weight: -382 3.48/3.54 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.48/3.56 c core #214 3.48/3.56 c Core size: 3 Core Weight: 1 Total Weight: -381 3.48/3.57 c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 s 3.48/3.58 c core #215 3.48/3.58 c Core size: 3 Core Weight: 1 Total Weight: -380 3.48/3.58 c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s 3.58/3.60 c core #216 3.58/3.60 c Core size: 3 Core Weight: 1 Total Weight: -379 3.58/3.60 c Elapsed CPU time: 3.59045 s Remaining CPU time: 1796.41 s 3.58/3.62 c core #217 3.58/3.62 c Core size: 3 Core Weight: 1 Total Weight: -378 3.58/3.62 c Elapsed CPU time: 3.61045 s Remaining CPU time: 1796.39 s 3.58/3.64 c core #218 3.58/3.64 c Core size: 3 Core Weight: 1 Total Weight: -377 3.58/3.64 c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s 3.58/3.67 c core #219 3.58/3.67 c Core size: 3 Core Weight: 1 Total Weight: -376 3.58/3.67 c Elapsed CPU time: 3.65044 s Remaining CPU time: 1796.35 s 3.58/3.69 c core #220 3.58/3.69 c Core size: 3 Core Weight: 1 Total Weight: -375 3.58/3.69 c Elapsed CPU time: 3.67044 s Remaining CPU time: 1796.33 s 3.68/3.71 c core #221 3.68/3.71 c Core size: 3 Core Weight: 1 Total Weight: -374 3.68/3.71 c Elapsed CPU time: 3.69044 s Remaining CPU time: 1796.31 s 3.68/3.73 c core #222 3.68/3.73 c Core size: 3 Core Weight: 1 Total Weight: -373 3.68/3.73 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.68/3.75 c core #223 3.68/3.75 c Core size: 3 Core Weight: 1 Total Weight: -372 3.68/3.75 c Elapsed CPU time: 3.73043 s Remaining CPU time: 1796.27 s 3.68/3.77 c core #224 3.68/3.77 c Core size: 3 Core Weight: 1 Total Weight: -371 3.68/3.77 c Elapsed CPU time: 3.75143 s Remaining CPU time: 1796.25 s 3.68/3.79 c core #225 3.68/3.79 c Core size: 3 Core Weight: 1 Total Weight: -370 3.68/3.79 c Elapsed CPU time: 3.77143 s Remaining CPU time: 1796.23 s 3.78/3.81 c core #226 3.78/3.81 c Core size: 3 Core Weight: 1 Total Weight: -369 3.78/3.81 c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s 3.78/3.83 c core #227 3.78/3.83 c Core size: 3 Core Weight: 1 Total Weight: -368 3.78/3.83 c Elapsed CPU time: 3.81342 s Remaining CPU time: 1796.19 s 3.78/3.85 c core #228 3.78/3.85 c Core size: 3 Core Weight: 1 Total Weight: -367 3.78/3.85 c Elapsed CPU time: 3.83342 s Remaining CPU time: 1796.17 s 3.78/3.87 c core #229 3.78/3.87 c Core size: 3 Core Weight: 1 Total Weight: -366 3.78/3.87 c Elapsed CPU time: 3.85341 s Remaining CPU time: 1796.15 s 3.78/3.89 c core #230 3.78/3.89 c Core size: 3 Core Weight: 1 Total Weight: -365 3.78/3.89 c Elapsed CPU time: 3.87441 s Remaining CPU time: 1796.13 s 3.88/3.91 c core #231 3.88/3.91 c Core size: 3 Core Weight: 1 Total Weight: -364 3.88/3.91 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.88/3.93 c core #232 3.88/3.93 c Core size: 3 Core Weight: 1 Total Weight: -363 3.88/3.93 c Elapsed CPU time: 3.9164 s Remaining CPU time: 1796.08 s 3.88/3.95 c core #233 3.88/3.95 c Core size: 3 Core Weight: 1 Total Weight: -362 3.88/3.95 c Elapsed CPU time: 3.9364 s Remaining CPU time: 1796.06 s 3.88/3.97 c core #234 3.88/3.97 c Core size: 3 Core Weight: 1 Total Weight: -361 3.88/3.97 c Elapsed CPU time: 3.9574 s Remaining CPU time: 1796.04 s 3.88/4.00 c core #235 3.88/4.00 c Core size: 3 Core Weight: 1 Total Weight: -360 3.88/4.00 c Elapsed CPU time: 3.97839 s Remaining CPU time: 1796.02 s 3.98/4.02 c core #236 3.98/4.02 c Core size: 3 Core Weight: 1 Total Weight: -359 3.98/4.02 c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s 3.98/4.04 c core #237 3.98/4.04 c Core size: 3 Core Weight: 1 Total Weight: -358 3.98/4.04 c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s 3.98/4.06 c core #238 3.98/4.06 c Core size: 3 Core Weight: 1 Total Weight: -357 3.98/4.06 c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s 3.98/4.08 c core #239 3.98/4.08 c Core size: 3 Core Weight: 1 Total Weight: -356 3.98/4.08 c Elapsed CPU time: 4.06338 s Remaining CPU time: 1795.94 s 4.08/4.10 c core #240 4.08/4.10 c Core size: 3 Core Weight: 1 Total Weight: -355 4.08/4.10 c Elapsed CPU time: 4.08438 s Remaining CPU time: 1795.92 s 4.08/4.12 c core #241 4.08/4.12 c Core size: 3 Core Weight: 1 Total Weight: -354 4.08/4.12 c Elapsed CPU time: 4.10637 s Remaining CPU time: 1795.89 s 4.08/4.15 c core #242 4.08/4.15 c Core size: 3 Core Weight: 1 Total Weight: -353 4.08/4.15 c Elapsed CPU time: 4.12737 s Remaining CPU time: 1795.87 s 4.08/4.17 c core #243 4.08/4.17 c Core size: 3 Core Weight: 1 Total Weight: -352 4.08/4.17 c Elapsed CPU time: 4.14937 s Remaining CPU time: 1795.85 s 4.08/4.19 c core #244 4.08/4.19 c Core size: 3 Core Weight: 1 Total Weight: -351 4.08/4.19 c Elapsed CPU time: 4.17037 s Remaining CPU time: 1795.83 s 4.17/4.21 c core #245 4.17/4.21 c Core size: 3 Core Weight: 1 Total Weight: -350 4.17/4.21 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.17/4.23 c core #246 4.17/4.23 c Core size: 3 Core Weight: 1 Total Weight: -349 4.17/4.23 c Elapsed CPU time: 4.21336 s Remaining CPU time: 1795.79 s 4.17/4.25 c core #247 4.17/4.25 c Core size: 3 Core Weight: 1 Total Weight: -348 4.17/4.25 c Elapsed CPU time: 4.23536 s Remaining CPU time: 1795.76 s 4.17/4.28 c core #248 4.17/4.28 c Core size: 3 Core Weight: 1 Total Weight: -347 4.17/4.28 c Elapsed CPU time: 4.25635 s Remaining CPU time: 1795.74 s 4.17/4.30 c core #249 4.17/4.30 c Core size: 3 Core Weight: 1 Total Weight: -346 4.17/4.30 c Elapsed CPU time: 4.27835 s Remaining CPU time: 1795.72 s 4.28/4.32 c core #250 4.28/4.32 c Core size: 3 Core Weight: 1 Total Weight: -345 4.28/4.32 c Elapsed CPU time: 4.30035 s Remaining CPU time: 1795.7 s 4.28/4.34 c core #251 4.28/4.34 c Core size: 3 Core Weight: 1 Total Weight: -344 4.28/4.34 c Elapsed CPU time: 4.32234 s Remaining CPU time: 1795.68 s 4.28/4.36 c core #252 4.28/4.36 c Core size: 3 Core Weight: 1 Total Weight: -343 4.28/4.36 c Elapsed CPU time: 4.34334 s Remaining CPU time: 1795.66 s 4.28/4.38 c core #253 4.28/4.38 c Core size: 3 Core Weight: 1 Total Weight: -342 4.28/4.38 c Elapsed CPU time: 4.36534 s Remaining CPU time: 1795.63 s 4.38/4.41 c core #254 4.38/4.41 c Core size: 3 Core Weight: 1 Total Weight: -341 4.38/4.41 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.38/4.43 c core #255 4.38/4.43 c Core size: 3 Core Weight: 1 Total Weight: -340 4.38/4.43 c Elapsed CPU time: 4.40933 s Remaining CPU time: 1795.59 s 4.38/4.45 c core #256 4.38/4.45 c Core size: 3 Core Weight: 1 Total Weight: -339 4.38/4.45 c Elapsed CPU time: 4.43133 s Remaining CPU time: 1795.57 s 4.38/4.47 c core #257 4.38/4.47 c Core size: 3 Core Weight: 1 Total Weight: -338 4.38/4.47 c Elapsed CPU time: 4.45332 s Remaining CPU time: 1795.55 s 4.38/4.50 c core #258 4.38/4.50 c Core size: 3 Core Weight: 1 Total Weight: -337 4.38/4.50 c Elapsed CPU time: 4.47732 s Remaining CPU time: 1795.52 s 4.47/4.52 c core #259 4.47/4.52 c Core size: 3 Core Weight: 1 Total Weight: -336 4.47/4.52 c Elapsed CPU time: 4.49932 s Remaining CPU time: 1795.5 s 4.47/4.54 c core #260 4.47/4.54 c Core size: 3 Core Weight: 1 Total Weight: -335 4.47/4.54 c Elapsed CPU time: 4.52231 s Remaining CPU time: 1795.48 s 4.47/4.56 c core #261 4.47/4.56 c Core size: 3 Core Weight: 1 Total Weight: -334 4.47/4.56 c Elapsed CPU time: 4.54431 s Remaining CPU time: 1795.46 s 4.47/4.59 c core #262 4.47/4.59 c Core size: 3 Core Weight: 1 Total Weight: -333 4.47/4.59 c Elapsed CPU time: 4.5663 s Remaining CPU time: 1795.43 s 4.57/4.61 c core #263 4.57/4.61 c Core size: 3 Core Weight: 1 Total Weight: -332 4.57/4.61 c Elapsed CPU time: 4.5873 s Remaining CPU time: 1795.41 s 4.57/4.63 c core #264 4.57/4.63 c Core size: 3 Core Weight: 1 Total Weight: -331 4.57/4.63 c Elapsed CPU time: 4.6093 s Remaining CPU time: 1795.39 s 4.57/4.65 c core #265 4.57/4.65 c Core size: 3 Core Weight: 1 Total Weight: -330 4.57/4.65 c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s 4.57/4.68 c core #266 4.57/4.68 c Core size: 3 Core Weight: 1 Total Weight: -329 4.57/4.68 c Elapsed CPU time: 4.65329 s Remaining CPU time: 1795.35 s 4.67/4.70 c core #267 4.67/4.70 c Core size: 3 Core Weight: 1 Total Weight: -328 4.67/4.70 c Elapsed CPU time: 4.67629 s Remaining CPU time: 1795.32 s 4.67/4.72 c core #268 4.67/4.72 c Core size: 3 Core Weight: 1 Total Weight: -327 4.67/4.72 c Elapsed CPU time: 4.69928 s Remaining CPU time: 1795.3 s 4.67/4.74 c core #269 4.67/4.74 c Core size: 3 Core Weight: 1 Total Weight: -326 4.67/4.74 c Elapsed CPU time: 4.72228 s Remaining CPU time: 1795.28 s 4.67/4.77 c core #270 4.67/4.77 c Core size: 3 Core Weight: 1 Total Weight: -325 4.67/4.77 c Elapsed CPU time: 4.74528 s Remaining CPU time: 1795.25 s 4.67/4.79 c core #271 4.67/4.79 c Core size: 3 Core Weight: 1 Total Weight: -324 4.67/4.79 c Elapsed CPU time: 4.76727 s Remaining CPU time: 1795.23 s 4.77/4.81 c core #272 4.77/4.81 c Core size: 3 Core Weight: 1 Total Weight: -323 4.77/4.81 c Elapsed CPU time: 4.79027 s Remaining CPU time: 1795.21 s 4.77/4.84 c core #273 4.77/4.84 c Core size: 3 Core Weight: 1 Total Weight: -322 4.77/4.84 c Elapsed CPU time: 4.81327 s Remaining CPU time: 1795.19 s 4.77/4.86 c core #274 4.77/4.86 c Core size: 3 Core Weight: 1 Total Weight: -321 4.77/4.86 c Elapsed CPU time: 4.83626 s Remaining CPU time: 1795.16 s 4.77/4.88 c core #275 4.77/4.88 c Core size: 3 Core Weight: 1 Total Weight: -320 4.77/4.88 c Elapsed CPU time: 4.85926 s Remaining CPU time: 1795.14 s 4.87/4.91 c core #276 4.87/4.91 c Core size: 3 Core Weight: 1 Total Weight: -319 4.87/4.91 c Elapsed CPU time: 4.88226 s Remaining CPU time: 1795.12 s 4.87/4.93 c core #277 4.87/4.93 c Core size: 3 Core Weight: 1 Total Weight: -318 4.87/4.93 c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s 4.87/4.95 c core #278 4.87/4.95 c Core size: 3 Core Weight: 1 Total Weight: -317 4.87/4.95 c Elapsed CPU time: 4.92825 s Remaining CPU time: 1795.07 s 4.87/4.97 c core #279 4.87/4.97 c Core size: 3 Core Weight: 1 Total Weight: -316 4.87/4.97 c Elapsed CPU time: 4.95125 s Remaining CPU time: 1795.05 s 4.97/5.00 c core #280 4.97/5.00 c Core size: 3 Core Weight: 1 Total Weight: -315 4.97/5.00 c Elapsed CPU time: 4.97424 s Remaining CPU time: 1795.03 s 4.97/5.02 c core #281 4.97/5.02 c Core size: 3 Core Weight: 1 Total Weight: -314 4.97/5.02 c Elapsed CPU time: 4.99724 s Remaining CPU time: 1795 s 4.97/5.04 c core #282 4.97/5.04 c Core size: 3 Core Weight: 1 Total Weight: -313 4.97/5.04 c Elapsed CPU time: 5.02124 s Remaining CPU time: 1794.98 s 4.97/5.07 c core #283 4.97/5.07 c Core size: 3 Core Weight: 1 Total Weight: -312 4.97/5.07 c Elapsed CPU time: 5.04423 s Remaining CPU time: 1794.96 s 4.97/5.09 c core #284 4.97/5.09 c Core size: 3 Core Weight: 1 Total Weight: -311 4.97/5.09 c Elapsed CPU time: 5.06723 s Remaining CPU time: 1794.93 s 5.07/5.12 c core #285 5.07/5.12 c Core size: 3 Core Weight: 1 Total Weight: -310 5.07/5.12 c Elapsed CPU time: 5.09123 s Remaining CPU time: 1794.91 s 5.07/5.14 c core #286 5.07/5.14 c Core size: 3 Core Weight: 1 Total Weight: -309 5.07/5.14 c Elapsed CPU time: 5.11422 s Remaining CPU time: 1794.89 s 5.07/5.16 c core #287 5.07/5.16 c Core size: 3 Core Weight: 1 Total Weight: -308 5.07/5.16 c Elapsed CPU time: 5.13722 s Remaining CPU time: 1794.86 s 5.07/5.19 c core #288 5.07/5.19 c Core size: 3 Core Weight: 1 Total Weight: -307 5.07/5.19 c Elapsed CPU time: 5.16021 s Remaining CPU time: 1794.84 s 5.17/5.21 c core #289 5.17/5.21 c Core size: 3 Core Weight: 1 Total Weight: -306 5.17/5.21 c Elapsed CPU time: 5.18321 s Remaining CPU time: 1794.82 s 5.17/5.23 c core #290 5.17/5.23 c Core size: 3 Core Weight: 1 Total Weight: -305 5.17/5.23 c Elapsed CPU time: 5.20721 s Remaining CPU time: 1794.79 s 5.17/5.26 c core #291 5.17/5.26 c Core size: 3 Core Weight: 1 Total Weight: -304 5.17/5.26 c Elapsed CPU time: 5.2312 s Remaining CPU time: 1794.77 s 5.17/5.28 c core #292 5.17/5.28 c Core size: 3 Core Weight: 1 Total Weight: -303 5.17/5.28 c Elapsed CPU time: 5.2542 s Remaining CPU time: 1794.75 s 5.27/5.30 c core #293 5.27/5.30 c Core size: 3 Core Weight: 1 Total Weight: -302 5.27/5.30 c Elapsed CPU time: 5.2782 s Remaining CPU time: 1794.72 s 5.27/5.33 c core #294 5.27/5.33 c Core size: 3 Core Weight: 1 Total Weight: -301 5.27/5.33 c Elapsed CPU time: 5.30119 s Remaining CPU time: 1794.7 s 5.27/5.35 c core #295 5.27/5.35 c Core size: 3 Core Weight: 1 Total Weight: -300 5.27/5.35 c Elapsed CPU time: 5.32419 s Remaining CPU time: 1794.68 s 5.27/5.38 c core #296 5.27/5.38 c Core size: 3 Core Weight: 1 Total Weight: -299 5.27/5.38 c Elapsed CPU time: 5.34719 s Remaining CPU time: 1794.65 s 5.27/5.40 c core #297 5.27/5.40 c Core size: 11 Core Weight: 1 Total Weight: -298 5.27/5.40 c Elapsed CPU time: 5.37118 s Remaining CPU time: 1794.63 s 5.37/5.42 c core #298 5.37/5.42 c Core size: 10 Core Weight: 1 Total Weight: -297 5.37/5.42 c Elapsed CPU time: 5.39518 s Remaining CPU time: 1794.6 s 5.37/5.45 c ============================[ Search Statistics ]============================== 5.37/5.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.37/5.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.37/5.45 c =============================================================================== 5.37/5.45 c | 0 | 1198 28749 57513 | 9583 0 nan | 0.000 % | 5.37/5.45 c =============================================================================== 5.37/5.45 c core #299 5.37/5.45 c Core size: 13 Core Weight: 1 Total Weight: -296 5.37/5.45 c Elapsed CPU time: 5.42117 s Remaining CPU time: 1794.58 s 5.37/5.47 c ============================[ Search Statistics ]============================== 5.37/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.37/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.37/5.47 c =============================================================================== 5.37/5.47 c | 0 | 1204 28750 57525 | 9583 0 nan | 0.000 % | 5.37/5.47 c =============================================================================== 5.37/5.47 c core #300 5.37/5.47 c Core size: 13 Core Weight: 1 Total Weight: -295 5.37/5.47 c Elapsed CPU time: 5.44617 s Remaining CPU time: 1794.55 s 5.37/5.50 c ============================[ Search Statistics ]============================== 5.37/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.37/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.37/5.50 c =============================================================================== 5.37/5.50 c | 0 | 1210 28751 57537 | 9583 0 nan | 0.000 % | 5.37/5.50 c =============================================================================== 5.37/5.50 c core #301 5.37/5.50 c Core size: 13 Core Weight: 1 Total Weight: -294 5.37/5.50 c Elapsed CPU time: 5.47017 s Remaining CPU time: 1794.53 s 5.47/5.52 c ============================[ Search Statistics ]============================== 5.47/5.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.52 c =============================================================================== 5.47/5.52 c | 0 | 1216 28752 57549 | 9584 0 nan | 0.000 % | 5.47/5.52 c =============================================================================== 5.47/5.52 c core #302 5.47/5.52 c Core size: 13 Core Weight: 1 Total Weight: -293 5.47/5.52 c Elapsed CPU time: 5.49416 s Remaining CPU time: 1794.51 s 5.47/5.55 c ============================[ Search Statistics ]============================== 5.47/5.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.55 c =============================================================================== 5.47/5.55 c | 0 | 1222 28753 57561 | 9584 0 nan | 0.000 % | 5.47/5.55 c =============================================================================== 5.47/5.55 c core #303 5.47/5.55 c Core size: 10 Core Weight: 1 Total Weight: -292 5.47/5.55 c Elapsed CPU time: 5.51816 s Remaining CPU time: 1794.48 s 5.47/5.57 c ============================[ Search Statistics ]============================== 5.47/5.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.57 c =============================================================================== 5.47/5.57 c | 0 | 1226 28754 57569 | 9584 0 nan | 0.000 % | 5.47/5.57 c =============================================================================== 5.47/5.57 c core #304 5.47/5.57 c Core size: 17 Core Weight: 1 Total Weight: -291 5.47/5.57 c Elapsed CPU time: 5.54316 s Remaining CPU time: 1794.46 s 5.47/5.60 c ============================[ Search Statistics ]============================== 5.47/5.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.60 c =============================================================================== 5.47/5.60 c | 0 | 1233 28755 57583 | 9585 0 nan | 0.000 % | 5.56/5.60 c =============================================================================== 5.56/5.60 c core #305 5.56/5.60 c Core size: 10 Core Weight: 1 Total Weight: -290 5.56/5.60 c Elapsed CPU time: 5.56815 s Remaining CPU time: 1794.43 s 5.56/5.62 c ============================[ Search Statistics ]============================== 5.56/5.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.62 c =============================================================================== 5.56/5.62 c | 0 | 1237 28756 57591 | 9585 0 nan | 0.000 % | 5.56/5.62 c =============================================================================== 5.56/5.62 c core #306 5.56/5.62 c Core size: 10 Core Weight: 1 Total Weight: -289 5.56/5.62 c Elapsed CPU time: 5.59315 s Remaining CPU time: 1794.41 s 5.56/5.65 c ============================[ Search Statistics ]============================== 5.56/5.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.65 c =============================================================================== 5.56/5.65 c | 0 | 1241 28757 57599 | 9585 0 nan | 0.000 % | 5.56/5.65 c =============================================================================== 5.56/5.65 c core #307 5.56/5.65 c Core size: 10 Core Weight: 1 Total Weight: -288 5.56/5.65 c Elapsed CPU time: 5.61914 s Remaining CPU time: 1794.38 s 5.56/5.67 c ============================[ Search Statistics ]============================== 5.56/5.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.67 c =============================================================================== 5.56/5.67 c | 0 | 1245 28758 57607 | 9586 0 nan | 0.000 % | 5.56/5.67 c =============================================================================== 5.56/5.67 c core #308 5.56/5.67 c Core size: 13 Core Weight: 1 Total Weight: -287 5.56/5.67 c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s 5.66/5.70 c ============================[ Search Statistics ]============================== 5.66/5.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.66/5.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.66/5.70 c =============================================================================== 5.66/5.70 c | 0 | 1251 28759 57619 | 9586 0 nan | 0.000 % | 5.66/5.70 c =============================================================================== 5.66/5.70 c core #309 5.66/5.70 c Core size: 13 Core Weight: 1 Total Weight: -286 5.66/5.70 c Elapsed CPU time: 5.66714 s Remaining CPU time: 1794.33 s 5.66/5.72 c ============================[ Search Statistics ]============================== 5.66/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.66/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.66/5.72 c =============================================================================== 5.66/5.72 c | 0 | 1257 28760 57631 | 9586 0 nan | 0.000 % | 5.66/5.73 c =============================================================================== 5.66/5.73 c core #310 5.66/5.73 c Core size: 10 Core Weight: 1 Total Weight: -285 5.66/5.73 c Elapsed CPU time: 5.69313 s Remaining CPU time: 1794.31 s 5.66/5.75 c ============================[ Search Statistics ]============================== 5.66/5.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.66/5.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.66/5.75 c =============================================================================== 5.66/5.75 c | 0 | 1261 28761 57639 | 9587 0 nan | 0.000 % | 5.66/5.75 c =============================================================================== 5.66/5.75 c core #311 5.66/5.75 c Core size: 13 Core Weight: 1 Total Weight: -284 5.66/5.75 c Elapsed CPU time: 5.72013 s Remaining CPU time: 1794.28 s 5.66/5.78 c ============================[ Search Statistics ]============================== 5.66/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.66/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.66/5.78 c =============================================================================== 5.66/5.78 c | 0 | 1267 28762 57651 | 9587 0 nan | 0.000 % | 5.66/5.78 c =============================================================================== 5.66/5.78 c core #312 5.66/5.78 c Core size: 13 Core Weight: 1 Total Weight: -283 5.66/5.78 c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s 5.76/5.80 c ============================[ Search Statistics ]============================== 5.76/5.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.80 c =============================================================================== 5.76/5.80 c | 0 | 1273 28763 57663 | 9587 0 nan | 0.000 % | 5.76/5.80 c =============================================================================== 5.76/5.80 c core #313 5.76/5.80 c Core size: 10 Core Weight: 1 Total Weight: -282 5.76/5.80 c Elapsed CPU time: 5.77012 s Remaining CPU time: 1794.23 s 5.76/5.83 c ============================[ Search Statistics ]============================== 5.76/5.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.83 c =============================================================================== 5.76/5.83 c | 0 | 1277 28764 57671 | 9588 0 nan | 0.000 % | 5.76/5.83 c =============================================================================== 5.76/5.83 c core #314 5.76/5.83 c Core size: 13 Core Weight: 1 Total Weight: -281 5.76/5.83 c Elapsed CPU time: 5.79512 s Remaining CPU time: 1794.2 s 5.76/5.85 c ============================[ Search Statistics ]============================== 5.76/5.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.85 c =============================================================================== 5.76/5.85 c | 0 | 1283 28765 57683 | 9588 0 nan | 0.000 % | 5.76/5.86 c =============================================================================== 5.76/5.86 c core #315 5.76/5.86 c Core size: 13 Core Weight: 1 Total Weight: -280 5.76/5.86 c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s 5.76/5.88 c ============================[ Search Statistics ]============================== 5.76/5.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.88 c =============================================================================== 5.76/5.88 c | 0 | 1289 28766 57695 | 9588 0 nan | 0.000 % | 5.76/5.88 c =============================================================================== 5.76/5.88 c core #316 5.76/5.88 c Core size: 10 Core Weight: 1 Total Weight: -279 5.76/5.88 c Elapsed CPU time: 5.84611 s Remaining CPU time: 1794.15 s 5.86/5.90 c ============================[ Search Statistics ]============================== 5.86/5.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.90 c =============================================================================== 5.86/5.90 c | 0 | 1293 28767 57703 | 9589 0 nan | 0.000 % | 5.86/5.91 c =============================================================================== 5.86/5.91 c core #317 5.86/5.91 c Core size: 10 Core Weight: 1 Total Weight: -278 5.86/5.91 c Elapsed CPU time: 5.87011 s Remaining CPU time: 1794.13 s 5.86/5.93 c ============================[ Search Statistics ]============================== 5.86/5.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.93 c =============================================================================== 5.86/5.93 c | 0 | 1297 28768 57711 | 9589 0 nan | 0.000 % | 5.86/5.93 c =============================================================================== 5.86/5.93 c core #318 5.86/5.93 c Core size: 13 Core Weight: 1 Total Weight: -277 5.86/5.93 c Elapsed CPU time: 5.8931 s Remaining CPU time: 1794.11 s 5.86/5.95 c ============================[ Search Statistics ]============================== 5.86/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.95 c =============================================================================== 5.86/5.95 c | 0 | 1303 28769 57723 | 9589 0 nan | 0.000 % | 5.86/5.96 c =============================================================================== 5.86/5.96 c core #319 5.86/5.96 c Core size: 10 Core Weight: 1 Total Weight: -276 5.86/5.96 c Elapsed CPU time: 5.9191 s Remaining CPU time: 1794.08 s 5.86/5.98 c ============================[ Search Statistics ]============================== 5.86/5.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.98 c =============================================================================== 5.86/5.98 c | 0 | 1307 28770 57731 | 9590 0 nan | 0.000 % | 5.86/5.98 c =============================================================================== 5.86/5.98 c core #320 5.86/5.98 c Core size: 24 Core Weight: 1 Total Weight: -275 5.86/5.98 c Elapsed CPU time: 5.9461 s Remaining CPU time: 1794.05 s 5.96/6.01 c ============================[ Search Statistics ]============================== 5.96/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.01 c =============================================================================== 5.96/6.01 c | 0 | 1317 28771 57751 | 9590 0 nan | 0.000 % | 5.96/6.01 c =============================================================================== 5.96/6.01 c core #321 5.96/6.01 c Core size: 13 Core Weight: 1 Total Weight: -274 5.96/6.01 c Elapsed CPU time: 5.97409 s Remaining CPU time: 1794.03 s 5.96/6.04 c ============================[ Search Statistics ]============================== 5.96/6.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.04 c =============================================================================== 5.96/6.04 c | 0 | 1323 28772 57763 | 9590 0 nan | 0.000 % | 5.96/6.04 c =============================================================================== 5.96/6.04 c core #322 5.96/6.04 c Core size: 13 Core Weight: 1 Total Weight: -273 5.96/6.04 c Elapsed CPU time: 6.00109 s Remaining CPU time: 1794 s 5.96/6.06 c ============================[ Search Statistics ]============================== 5.96/6.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.06 c =============================================================================== 5.96/6.06 c | 0 | 1329 28773 57775 | 9591 0 nan | 0.000 % | 5.96/6.07 c =============================================================================== 5.96/6.07 c core #323 5.96/6.07 c Core size: 10 Core Weight: 1 Total Weight: -272 5.96/6.07 c Elapsed CPU time: 6.02708 s Remaining CPU time: 1793.97 s 5.96/6.09 c ============================[ Search Statistics ]============================== 5.96/6.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.09 c =============================================================================== 5.96/6.09 c | 0 | 1333 28774 57783 | 9591 0 nan | 0.000 % | 5.96/6.09 c =============================================================================== 5.96/6.09 c core #324 5.96/6.09 c Core size: 10 Core Weight: 1 Total Weight: -271 5.96/6.09 c Elapsed CPU time: 6.05308 s Remaining CPU time: 1793.95 s 6.06/6.12 c ============================[ Search Statistics ]============================== 6.06/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.06/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.06/6.12 c =============================================================================== 6.06/6.12 c | 0 | 1337 28775 57791 | 9591 0 nan | 0.000 % | 6.06/6.12 c =============================================================================== 6.06/6.12 c core #325 6.06/6.12 c Core size: 10 Core Weight: 1 Total Weight: -270 6.06/6.12 c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s 6.06/6.14 c ============================[ Search Statistics ]============================== 6.06/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.06/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.06/6.14 c =============================================================================== 6.06/6.14 c | 0 | 1341 28776 57799 | 9592 0 nan | 0.000 % | 6.06/6.15 c =============================================================================== 6.06/6.15 c core #326 6.06/6.15 c Core size: 13 Core Weight: 1 Total Weight: -269 6.06/6.15 c Elapsed CPU time: 6.10807 s Remaining CPU time: 1793.89 s 6.06/6.17 c ============================[ Search Statistics ]============================== 6.06/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.06/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.06/6.17 c =============================================================================== 6.06/6.17 c | 0 | 1347 28777 57811 | 9592 0 nan | 0.000 % | 6.06/6.17 c =============================================================================== 6.06/6.17 c core #327 6.06/6.17 c Core size: 10 Core Weight: 1 Total Weight: -268 6.06/6.17 c Elapsed CPU time: 6.13407 s Remaining CPU time: 1793.87 s 6.16/6.20 c ============================[ Search Statistics ]============================== 6.16/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.20 c =============================================================================== 6.16/6.20 c | 0 | 1351 28778 57819 | 9592 0 nan | 0.000 % | 6.16/6.20 c =============================================================================== 6.16/6.20 c core #328 6.16/6.20 c Core size: 10 Core Weight: 1 Total Weight: -267 6.16/6.20 c Elapsed CPU time: 6.16106 s Remaining CPU time: 1793.84 s 6.16/6.23 c ============================[ Search Statistics ]============================== 6.16/6.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.23 c =============================================================================== 6.16/6.23 c | 0 | 1355 28779 57827 | 9593 0 nan | 0.000 % | 6.16/6.23 c =============================================================================== 6.16/6.23 c core #329 6.16/6.23 c Core size: 30 Core Weight: 1 Total Weight: -266 6.16/6.23 c Elapsed CPU time: 6.18906 s Remaining CPU time: 1793.81 s 6.16/6.25 c ============================[ Search Statistics ]============================== 6.16/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.25 c =============================================================================== 6.16/6.25 c | 0 | 1363 28780 57843 | 9593 0 nan | 0.000 % | 6.16/6.26 c =============================================================================== 6.16/6.26 c core #330 6.16/6.26 c Core size: 13 Core Weight: 1 Total Weight: -265 6.16/6.26 c Elapsed CPU time: 6.21406 s Remaining CPU time: 1793.79 s 6.16/6.28 c ============================[ Search Statistics ]============================== 6.16/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.28 c =============================================================================== 6.16/6.28 c | 0 | 1369 28781 57855 | 9593 0 nan | 0.000 % | 6.16/6.28 c =============================================================================== 6.16/6.28 c core #331 6.16/6.28 c Core size: 13 Core Weight: 1 Total Weight: -264 6.16/6.28 c Elapsed CPU time: 6.24005 s Remaining CPU time: 1793.76 s 6.26/6.31 c ============================[ Search Statistics ]============================== 6.26/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.31 c =============================================================================== 6.26/6.31 c | 0 | 1375 28782 57867 | 9594 0 nan | 0.000 % | 6.26/6.31 c =============================================================================== 6.26/6.31 c core #332 6.26/6.31 c Core size: 13 Core Weight: 1 Total Weight: -263 6.26/6.31 c Elapsed CPU time: 6.26805 s Remaining CPU time: 1793.73 s 6.26/6.34 c ============================[ Search Statistics ]============================== 6.26/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.34 c =============================================================================== 6.26/6.34 c | 0 | 1381 28783 57879 | 9594 0 nan | 0.000 % | 6.26/6.34 c =============================================================================== 6.26/6.34 c core #333 6.26/6.34 c Core size: 10 Core Weight: 1 Total Weight: -262 6.26/6.34 c Elapsed CPU time: 6.29404 s Remaining CPU time: 1793.71 s 6.26/6.36 c ============================[ Search Statistics ]============================== 6.26/6.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.36 c =============================================================================== 6.26/6.36 c | 0 | 1385 28784 57887 | 9594 0 nan | 0.000 % | 6.26/6.37 c =============================================================================== 6.26/6.37 c core #334 6.26/6.37 c Core size: 13 Core Weight: 1 Total Weight: -261 6.26/6.37 c Elapsed CPU time: 6.31904 s Remaining CPU time: 1793.68 s 6.26/6.39 c ============================[ Search Statistics ]============================== 6.26/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.39 c =============================================================================== 6.26/6.39 c | 0 | 1391 28785 57899 | 9595 0 nan | 0.000 % | 6.26/6.39 c =============================================================================== 6.26/6.39 c core #335 6.26/6.39 c Core size: 13 Core Weight: 1 Total Weight: -260 6.26/6.39 c Elapsed CPU time: 6.34703 s Remaining CPU time: 1793.65 s 6.36/6.42 c ============================[ Search Statistics ]============================== 6.36/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.36/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.36/6.42 c =============================================================================== 6.36/6.42 c | 0 | 1397 28786 57911 | 9595 0 nan | 0.000 % | 6.36/6.42 c =============================================================================== 6.36/6.42 c core #336 6.36/6.42 c Core size: 27 Core Weight: 1 Total Weight: -259 6.36/6.42 c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s 6.36/6.45 c ============================[ Search Statistics ]============================== 6.36/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.36/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.36/6.45 c =============================================================================== 6.36/6.45 c | 0 | 1409 28787 57935 | 9595 0 nan | 0.000 % | 6.36/6.45 c =============================================================================== 6.36/6.45 c core #337 6.36/6.45 c Core size: 24 Core Weight: 1 Total Weight: -258 6.36/6.45 c Elapsed CPU time: 6.40403 s Remaining CPU time: 1793.6 s 6.36/6.48 c ============================[ Search Statistics ]============================== 6.36/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.36/6.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.36/6.48 c =============================================================================== 6.36/6.48 c | 0 | 1419 28788 57955 | 9596 0 nan | 0.000 % | 6.36/6.48 c =============================================================================== 6.36/6.48 c core #338 6.36/6.48 c Core size: 13 Core Weight: 1 Total Weight: -257 6.36/6.48 c Elapsed CPU time: 6.43402 s Remaining CPU time: 1793.57 s 6.46/6.51 c ============================[ Search Statistics ]============================== 6.46/6.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.46/6.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.46/6.51 c =============================================================================== 6.46/6.51 c | 0 | 1425 28789 57967 | 9596 0 nan | 0.000 % | 6.46/6.51 c =============================================================================== 6.46/6.51 c core #339 6.46/6.51 c Core size: 10 Core Weight: 1 Total Weight: -256 6.46/6.51 c Elapsed CPU time: 6.46302 s Remaining CPU time: 1793.54 s 6.46/6.53 c ============================[ Search Statistics ]============================== 6.46/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.46/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.46/6.53 c =============================================================================== 6.46/6.53 c | 0 | 1429 28790 57975 | 9596 0 nan | 0.000 % | 6.46/6.54 c =============================================================================== 6.46/6.54 c core #340 6.46/6.54 c Core size: 13 Core Weight: 1 Total Weight: -255 6.46/6.54 c Elapsed CPU time: 6.48901 s Remaining CPU time: 1793.51 s 6.46/6.56 c ============================[ Search Statistics ]============================== 6.46/6.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.46/6.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.46/6.56 c =============================================================================== 6.46/6.56 c | 0 | 1435 28791 57987 | 9597 0 nan | 0.000 % | 6.46/6.57 c =============================================================================== 6.46/6.57 c core #341 6.46/6.57 c Core size: 10 Core Weight: 1 Total Weight: -254 6.46/6.57 c Elapsed CPU time: 6.51601 s Remaining CPU time: 1793.48 s 6.46/6.59 c ============================[ Search Statistics ]============================== 6.46/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.46/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.46/6.59 c =============================================================================== 6.46/6.59 c | 0 | 1439 28792 57995 | 9597 0 nan | 0.000 % | 6.46/6.59 c =============================================================================== 6.46/6.59 c core #342 6.46/6.59 c Core size: 13 Core Weight: 1 Total Weight: -253 6.46/6.59 c Elapsed CPU time: 6.542 s Remaining CPU time: 1793.46 s 6.55/6.62 c ============================[ Search Statistics ]============================== 6.55/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.62 c =============================================================================== 6.55/6.62 c | 0 | 1445 28793 58007 | 9597 0 nan | 0.000 % | 6.55/6.62 c =============================================================================== 6.55/6.62 c core #343 6.55/6.62 c Core size: 13 Core Weight: 1 Total Weight: -252 6.55/6.62 c Elapsed CPU time: 6.569 s Remaining CPU time: 1793.43 s 6.55/6.65 c ============================[ Search Statistics ]============================== 6.55/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.65 c =============================================================================== 6.55/6.65 c | 0 | 1451 28794 58019 | 9598 0 nan | 0.000 % | 6.55/6.65 c =============================================================================== 6.55/6.65 c core #344 6.55/6.65 c Core size: 13 Core Weight: 1 Total Weight: -251 6.55/6.65 c Elapsed CPU time: 6.596 s Remaining CPU time: 1793.4 s 6.55/6.68 c ============================[ Search Statistics ]============================== 6.55/6.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.68 c =============================================================================== 6.55/6.68 c | 0 | 1457 28795 58031 | 9598 0 nan | 0.000 % | 6.55/6.68 c =============================================================================== 6.55/6.68 c core #345 6.55/6.68 c Core size: 13 Core Weight: 1 Total Weight: -250 6.55/6.68 c Elapsed CPU time: 6.62399 s Remaining CPU time: 1793.38 s 6.65/6.71 c ============================[ Search Statistics ]============================== 6.65/6.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.71 c =============================================================================== 6.65/6.71 c | 0 | 1463 28796 58043 | 9598 0 nan | 0.000 % | 6.65/6.71 c =============================================================================== 6.65/6.71 c core #346 6.65/6.71 c Core size: 10 Core Weight: 1 Total Weight: -249 6.65/6.71 c Elapsed CPU time: 6.65399 s Remaining CPU time: 1793.35 s 6.65/6.73 c ============================[ Search Statistics ]============================== 6.65/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.73 c =============================================================================== 6.65/6.73 c | 0 | 1467 28797 58051 | 9599 0 nan | 0.000 % | 6.65/6.74 c =============================================================================== 6.65/6.74 c core #347 6.65/6.74 c Core size: 10 Core Weight: 1 Total Weight: -248 6.65/6.74 c Elapsed CPU time: 6.68198 s Remaining CPU time: 1793.32 s 6.65/6.76 c ============================[ Search Statistics ]============================== 6.65/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.76 c =============================================================================== 6.65/6.76 c | 0 | 1471 28798 58059 | 9599 0 nan | 0.000 % | 6.65/6.77 c =============================================================================== 6.65/6.77 c core #348 6.65/6.77 c Core size: 13 Core Weight: 1 Total Weight: -247 6.65/6.77 c Elapsed CPU time: 6.71098 s Remaining CPU time: 1793.29 s 6.65/6.79 c ============================[ Search Statistics ]============================== 6.65/6.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.79 c =============================================================================== 6.65/6.79 c | 0 | 1477 28799 58071 | 9599 0 nan | 0.000 % | 6.65/6.79 c =============================================================================== 6.65/6.79 c core #349 6.65/6.79 c Core size: 13 Core Weight: 1 Total Weight: -246 6.65/6.79 c Elapsed CPU time: 6.73798 s Remaining CPU time: 1793.26 s 6.74/6.82 c ============================[ Search Statistics ]============================== 6.74/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.74/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.74/6.82 c =============================================================================== 6.74/6.82 c | 0 | 1483 28800 58083 | 9600 0 nan | 0.000 % | 6.74/6.82 c =============================================================================== 6.74/6.82 c core #350 6.74/6.82 c Core size: 13 Core Weight: 1 Total Weight: -245 6.74/6.82 c Elapsed CPU time: 6.76797 s Remaining CPU time: 1793.23 s 6.74/6.85 c ============================[ Search Statistics ]============================== 6.74/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.74/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.74/6.85 c =============================================================================== 6.74/6.85 c | 0 | 1489 28801 58095 | 9600 0 nan | 0.000 % | 6.74/6.86 c =============================================================================== 6.74/6.86 c core #351 6.74/6.86 c Core size: 13 Core Weight: 1 Total Weight: -244 6.74/6.86 c Elapsed CPU time: 6.79897 s Remaining CPU time: 1793.2 s 6.74/6.88 c ============================[ Search Statistics ]============================== 6.74/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.74/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.74/6.88 c =============================================================================== 6.74/6.88 c | 0 | 1495 28802 58107 | 9600 0 nan | 0.000 % | 6.74/6.88 c =============================================================================== 6.74/6.88 c core #352 6.74/6.88 c Core size: 13 Core Weight: 1 Total Weight: -243 6.74/6.88 c Elapsed CPU time: 6.82796 s Remaining CPU time: 1793.17 s 6.84/6.91 c ============================[ Search Statistics ]============================== 6.84/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.91 c =============================================================================== 6.84/6.91 c | 0 | 1501 28803 58119 | 9601 0 nan | 0.000 % | 6.84/6.91 c =============================================================================== 6.84/6.91 c core #353 6.84/6.91 c Core size: 10 Core Weight: 1 Total Weight: -242 6.84/6.91 c Elapsed CPU time: 6.85696 s Remaining CPU time: 1793.14 s 6.84/6.94 c ============================[ Search Statistics ]============================== 6.84/6.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.94 c =============================================================================== 6.84/6.94 c | 0 | 1505 28804 58127 | 9601 0 nan | 0.000 % | 6.84/6.94 c =============================================================================== 6.84/6.94 c core #354 6.84/6.94 c Core size: 27 Core Weight: 1 Total Weight: -241 6.84/6.94 c Elapsed CPU time: 6.88695 s Remaining CPU time: 1793.11 s 6.84/6.97 c ============================[ Search Statistics ]============================== 6.84/6.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.97 c =============================================================================== 6.84/6.97 c | 0 | 1517 28805 58151 | 9601 0 nan | 0.000 % | 6.84/6.98 c =============================================================================== 6.84/6.98 c core #355 6.84/6.98 c Core size: 24 Core Weight: 1 Total Weight: -240 6.84/6.98 c Elapsed CPU time: 6.91795 s Remaining CPU time: 1793.08 s 6.94/7.00 c ============================[ Search Statistics ]============================== 6.94/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.00 c =============================================================================== 6.94/7.00 c | 0 | 1527 28806 58171 | 9602 0 nan | 0.000 % | 6.94/7.01 c =============================================================================== 6.94/7.01 c core #356 6.94/7.01 c Core size: 27 Core Weight: 1 Total Weight: -239 6.94/7.01 c Elapsed CPU time: 6.94794 s Remaining CPU time: 1793.05 s 6.94/7.03 c ============================[ Search Statistics ]============================== 6.94/7.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.03 c =============================================================================== 6.94/7.03 c | 0 | 1539 28807 58195 | 9602 0 nan | 0.000 % | 6.94/7.04 c =============================================================================== 6.94/7.04 c core #357 6.94/7.04 c Core size: 18 Core Weight: 1 Total Weight: -238 6.94/7.04 c Elapsed CPU time: 6.97794 s Remaining CPU time: 1793.02 s 6.94/7.06 c ============================[ Search Statistics ]============================== 6.94/7.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.06 c =============================================================================== 6.94/7.06 c | 0 | 1545 28808 58207 | 9602 0 nan | 0.000 % | 6.94/7.07 c =============================================================================== 6.94/7.07 c core #358 6.94/7.07 c Core size: 10 Core Weight: 1 Total Weight: -237 6.94/7.07 c Elapsed CPU time: 7.00793 s Remaining CPU time: 1792.99 s 6.94/7.09 c ============================[ Search Statistics ]============================== 6.94/7.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.09 c =============================================================================== 6.94/7.09 c | 0 | 1549 28809 58215 | 9603 0 nan | 0.000 % | 6.94/7.10 c =============================================================================== 6.94/7.10 c core #359 6.94/7.10 c Core size: 37 Core Weight: 1 Total Weight: -236 6.94/7.10 c Elapsed CPU time: 7.03693 s Remaining CPU time: 1792.96 s 7.04/7.12 c ============================[ Search Statistics ]============================== 7.04/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.12 c =============================================================================== 7.04/7.12 c | 0 | 1561 28810 58239 | 9603 0 nan | 0.000 % | 7.04/7.13 c =============================================================================== 7.04/7.13 c core #360 7.04/7.13 c Core size: 13 Core Weight: 1 Total Weight: -235 7.04/7.13 c Elapsed CPU time: 7.06593 s Remaining CPU time: 1792.93 s 7.04/7.15 c ============================[ Search Statistics ]============================== 7.04/7.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.15 c =============================================================================== 7.04/7.15 c | 0 | 1567 28811 58251 | 9603 0 nan | 0.000 % | 7.04/7.16 c =============================================================================== 7.04/7.16 c core #361 7.04/7.16 c Core size: 13 Core Weight: 1 Total Weight: -234 7.04/7.16 c Elapsed CPU time: 7.09392 s Remaining CPU time: 1792.91 s 7.04/7.18 c ============================[ Search Statistics ]============================== 7.04/7.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.18 c =============================================================================== 7.04/7.18 c | 0 | 1573 28812 58263 | 9604 0 nan | 0.000 % | 7.04/7.19 c =============================================================================== 7.04/7.19 c core #362 7.04/7.19 c Core size: 13 Core Weight: 1 Total Weight: -233 7.04/7.19 c Elapsed CPU time: 7.12192 s Remaining CPU time: 1792.88 s 7.15/7.21 c ============================[ Search Statistics ]============================== 7.15/7.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.15/7.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.15/7.21 c =============================================================================== 7.15/7.21 c | 0 | 1579 28813 58275 | 9604 0 nan | 0.000 % | 7.15/7.21 c =============================================================================== 7.15/7.21 c core #363 7.15/7.21 c Core size: 13 Core Weight: 1 Total Weight: -232 7.15/7.21 c Elapsed CPU time: 7.14991 s Remaining CPU time: 1792.85 s 7.15/7.24 c ============================[ Search Statistics ]============================== 7.15/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.15/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.15/7.24 c =============================================================================== 7.15/7.24 c | 0 | 1585 28814 58287 | 9604 0 nan | 0.000 % | 7.15/7.24 c =============================================================================== 7.15/7.24 c core #364 7.15/7.24 c Core size: 10 Core Weight: 1 Total Weight: -231 7.15/7.24 c Elapsed CPU time: 7.17891 s Remaining CPU time: 1792.82 s 7.15/7.27 c ============================[ Search Statistics ]============================== 7.15/7.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.15/7.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.15/7.27 c =============================================================================== 7.15/7.27 c | 0 | 1589 28815 58295 | 9605 0 nan | 0.000 % | 7.15/7.27 c =============================================================================== 7.15/7.27 c core #365 7.15/7.27 c Core size: 10 Core Weight: 1 Total Weight: -230 7.15/7.27 c Elapsed CPU time: 7.2089 s Remaining CPU time: 1792.79 s 7.25/7.30 c ============================[ Search Statistics ]============================== 7.25/7.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.25/7.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.25/7.30 c =============================================================================== 7.25/7.30 c | 0 | 1593 28816 58303 | 9605 0 nan | 0.000 % | 7.25/7.30 c =============================================================================== 7.25/7.30 c core #366 7.25/7.30 c Core size: 10 Core Weight: 1 Total Weight: -229 7.25/7.30 c Elapsed CPU time: 7.2369 s Remaining CPU time: 1792.76 s 7.25/7.33 c ============================[ Search Statistics ]============================== 7.25/7.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.25/7.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.25/7.33 c =============================================================================== 7.25/7.33 c | 0 | 1597 28817 58311 | 9605 0 nan | 0.000 % | 7.25/7.33 c =============================================================================== 7.25/7.33 c core #367 7.25/7.33 c Core size: 33 Core Weight: 1 Total Weight: -228 7.25/7.33 c Elapsed CPU time: 7.2649 s Remaining CPU time: 1792.74 s 7.25/7.36 c ============================[ Search Statistics ]============================== 7.25/7.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.25/7.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.25/7.36 c =============================================================================== 7.25/7.36 c | 0 | 1607 28818 58331 | 9606 0 nan | 0.000 % | 7.25/7.36 c =============================================================================== 7.25/7.36 c core #368 7.25/7.36 c Core size: 13 Core Weight: 1 Total Weight: -227 7.25/7.36 c Elapsed CPU time: 7.29589 s Remaining CPU time: 1792.7 s 7.25/7.39 c ============================[ Search Statistics ]============================== 7.25/7.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.25/7.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.25/7.39 c =============================================================================== 7.25/7.39 c | 0 | 1613 28819 58343 | 9606 0 nan | 0.000 % | 7.25/7.40 c =============================================================================== 7.25/7.40 c core #369 7.25/7.40 c Core size: 13 Core Weight: 1 Total Weight: -226 7.25/7.40 c Elapsed CPU time: 7.32689 s Remaining CPU time: 1792.67 s 7.34/7.42 c ============================[ Search Statistics ]============================== 7.34/7.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.42 c =============================================================================== 7.34/7.42 c | 0 | 1619 28820 58355 | 9606 0 nan | 0.000 % | 7.34/7.43 c =============================================================================== 7.34/7.43 c core #370 7.34/7.43 c Core size: 13 Core Weight: 1 Total Weight: -225 7.34/7.43 c Elapsed CPU time: 7.35588 s Remaining CPU time: 1792.64 s 7.34/7.45 c ============================[ Search Statistics ]============================== 7.34/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.45 c =============================================================================== 7.34/7.46 c | 0 | 1625 28821 58367 | 9607 0 nan | 0.000 % | 7.34/7.46 c =============================================================================== 7.34/7.46 c core #371 7.34/7.46 c Core size: 13 Core Weight: 1 Total Weight: -224 7.34/7.46 c Elapsed CPU time: 7.38588 s Remaining CPU time: 1792.61 s 7.34/7.48 c ============================[ Search Statistics ]============================== 7.34/7.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.48 c =============================================================================== 7.34/7.48 c | 0 | 1631 28822 58379 | 9607 0 nan | 0.000 % | 7.34/7.49 c =============================================================================== 7.34/7.49 c core #372 7.34/7.49 c Core size: 10 Core Weight: 1 Total Weight: -223 7.34/7.49 c Elapsed CPU time: 7.41387 s Remaining CPU time: 1792.59 s 7.44/7.52 c ============================[ Search Statistics ]============================== 7.44/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.44/7.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.44/7.52 c =============================================================================== 7.44/7.52 c | 0 | 1635 28823 58387 | 9607 0 nan | 0.000 % | 7.44/7.52 c =============================================================================== 7.44/7.52 c core #373 7.44/7.52 c Core size: 13 Core Weight: 1 Total Weight: -222 7.44/7.52 c Elapsed CPU time: 7.44487 s Remaining CPU time: 1792.56 s 7.44/7.55 c ============================[ Search Statistics ]============================== 7.44/7.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.44/7.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.44/7.55 c =============================================================================== 7.44/7.55 c | 0 | 1641 28824 58399 | 9608 0 nan | 0.000 % | 7.44/7.55 c =============================================================================== 7.44/7.55 c core #374 7.44/7.55 c Core size: 13 Core Weight: 1 Total Weight: -221 7.44/7.55 c Elapsed CPU time: 7.47386 s Remaining CPU time: 1792.53 s 7.44/7.58 c ============================[ Search Statistics ]============================== 7.44/7.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.44/7.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.44/7.58 c =============================================================================== 7.44/7.58 c | 0 | 1647 28825 58411 | 9608 0 nan | 0.000 % | 7.44/7.58 c =============================================================================== 7.44/7.58 c core #375 7.44/7.58 c Core size: 13 Core Weight: 1 Total Weight: -220 7.44/7.58 c Elapsed CPU time: 7.50286 s Remaining CPU time: 1792.5 s 7.54/7.61 c ============================[ Search Statistics ]============================== 7.54/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.54/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.54/7.61 c =============================================================================== 7.54/7.61 c | 0 | 1653 28826 58423 | 9608 0 nan | 0.000 % | 7.54/7.61 c =============================================================================== 7.54/7.61 c core #376 7.54/7.61 c Core size: 13 Core Weight: 1 Total Weight: -219 7.54/7.61 c Elapsed CPU time: 7.53385 s Remaining CPU time: 1792.47 s 7.54/7.64 c ============================[ Search Statistics ]============================== 7.54/7.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.54/7.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.54/7.64 c =============================================================================== 7.54/7.64 c | 0 | 1659 28827 58435 | 9609 0 nan | 0.000 % | 7.54/7.64 c =============================================================================== 7.54/7.64 c core #377 7.54/7.64 c Core size: 13 Core Weight: 1 Total Weight: -218 7.54/7.64 c Elapsed CPU time: 7.56485 s Remaining CPU time: 1792.44 s 7.54/7.67 c ============================[ Search Statistics ]============================== 7.54/7.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.54/7.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.54/7.67 c =============================================================================== 7.54/7.67 c | 0 | 1665 28828 58447 | 9609 0 nan | 0.000 % | 7.54/7.67 c =============================================================================== 7.54/7.67 c core #378 7.54/7.67 c Core size: 13 Core Weight: 1 Total Weight: -217 7.54/7.67 c Elapsed CPU time: 7.59584 s Remaining CPU time: 1792.4 s 7.54/7.70 c ============================[ Search Statistics ]============================== 7.54/7.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.54/7.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.54/7.70 c =============================================================================== 7.54/7.70 c | 0 | 1671 28829 58459 | 9609 0 nan | 0.000 % | 7.64/7.70 c =============================================================================== 7.64/7.70 c core #379 7.64/7.70 c Core size: 10 Core Weight: 1 Total Weight: -216 7.64/7.70 c Elapsed CPU time: 7.62484 s Remaining CPU time: 1792.38 s 7.64/7.73 c ============================[ Search Statistics ]============================== 7.64/7.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.64/7.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.64/7.73 c =============================================================================== 7.64/7.73 c | 0 | 1675 28830 58467 | 9610 0 nan | 0.000 % | 7.64/7.73 c =============================================================================== 7.64/7.73 c core #380 7.64/7.73 c Core size: 27 Core Weight: 1 Total Weight: -215 7.64/7.73 c Elapsed CPU time: 7.65484 s Remaining CPU time: 1792.35 s 7.64/7.76 c ============================[ Search Statistics ]============================== 7.64/7.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.64/7.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.64/7.76 c =============================================================================== 7.64/7.76 c | 0 | 1687 28831 58491 | 9610 0 nan | 0.000 % | 7.64/7.77 c =============================================================================== 7.64/7.77 c core #381 7.64/7.77 c Core size: 13 Core Weight: 1 Total Weight: -214 7.64/7.77 c Elapsed CPU time: 7.68583 s Remaining CPU time: 1792.31 s 7.64/7.79 c ============================[ Search Statistics ]============================== 7.64/7.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.64/7.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.64/7.79 c =============================================================================== 7.64/7.79 c | 0 | 1693 28832 58503 | 9610 0 nan | 0.000 % | 7.73/7.80 c =============================================================================== 7.73/7.80 c core #382 7.73/7.80 c Core size: 13 Core Weight: 1 Total Weight: -213 7.73/7.80 c Elapsed CPU time: 7.71783 s Remaining CPU time: 1792.28 s 7.73/7.83 c ============================[ Search Statistics ]============================== 7.73/7.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.73/7.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.73/7.83 c =============================================================================== 7.73/7.83 c | 0 | 1699 28833 58515 | 9611 0 nan | 0.000 % | 7.73/7.83 c =============================================================================== 7.73/7.83 c core #383 7.73/7.83 c Core size: 13 Core Weight: 1 Total Weight: -212 7.73/7.83 c Elapsed CPU time: 7.74682 s Remaining CPU time: 1792.25 s 7.73/7.86 c ============================[ Search Statistics ]============================== 7.73/7.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.73/7.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.73/7.86 c =============================================================================== 7.73/7.86 c | 0 | 1705 28834 58527 | 9611 0 nan | 0.000 % | 7.73/7.86 c =============================================================================== 7.73/7.86 c core #384 7.73/7.86 c Core size: 13 Core Weight: 1 Total Weight: -211 7.73/7.86 c Elapsed CPU time: 7.77782 s Remaining CPU time: 1792.22 s 7.73/7.89 c ============================[ Search Statistics ]============================== 7.73/7.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.73/7.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.73/7.89 c =============================================================================== 7.73/7.89 c | 0 | 1711 28835 58539 | 9611 0 nan | 0.000 % | 7.73/7.89 c =============================================================================== 7.73/7.89 c core #385 7.73/7.89 c Core size: 13 Core Weight: 1 Total Weight: -210 7.73/7.89 c Elapsed CPU time: 7.80981 s Remaining CPU time: 1792.19 s 7.83/7.92 c ============================[ Search Statistics ]============================== 7.83/7.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.83/7.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.83/7.92 c =============================================================================== 7.83/7.92 c | 0 | 1717 28836 58551 | 9612 0 nan | 0.000 % | 7.83/7.92 c =============================================================================== 7.83/7.92 c core #386 7.83/7.92 c Core size: 13 Core Weight: 1 Total Weight: -209 7.83/7.92 c Elapsed CPU time: 7.83981 s Remaining CPU time: 1792.16 s 7.83/7.95 c ============================[ Search Statistics ]============================== 7.83/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.83/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.83/7.95 c =============================================================================== 7.83/7.95 c | 0 | 1723 28837 58563 | 9612 0 nan | 0.000 % | 7.83/7.96 c =============================================================================== 7.83/7.96 c core #387 7.83/7.96 c Core size: 13 Core Weight: 1 Total Weight: -208 7.83/7.96 c Elapsed CPU time: 7.8698 s Remaining CPU time: 1792.13 s 7.83/7.98 c ============================[ Search Statistics ]============================== 7.83/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.83/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.83/7.98 c =============================================================================== 7.83/7.98 c | 0 | 1729 28838 58575 | 9612 0 nan | 0.000 % | 7.83/7.99 c =============================================================================== 7.83/7.99 c core #388 7.83/7.99 c Core size: 27 Core Weight: 1 Total Weight: -207 7.83/7.99 c Elapsed CPU time: 7.9008 s Remaining CPU time: 1792.1 s 7.92/8.02 c ============================[ Search Statistics ]============================== 7.92/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.02 c =============================================================================== 7.92/8.02 c | 0 | 1741 28839 58599 | 9613 0 nan | 0.000 % | 7.92/8.02 c =============================================================================== 7.92/8.02 c core #389 7.92/8.02 c Core size: 10 Core Weight: 1 Total Weight: -206 7.92/8.02 c Elapsed CPU time: 7.93279 s Remaining CPU time: 1792.07 s 7.92/8.05 c ============================[ Search Statistics ]============================== 7.92/8.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.05 c =============================================================================== 7.92/8.05 c | 0 | 1745 28840 58607 | 9613 0 nan | 0.000 % | 7.92/8.05 c =============================================================================== 7.92/8.05 c core #390 7.92/8.05 c Core size: 13 Core Weight: 1 Total Weight: -205 7.92/8.05 c Elapsed CPU time: 7.96479 s Remaining CPU time: 1792.04 s 7.92/8.08 c ============================[ Search Statistics ]============================== 7.92/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.08 c =============================================================================== 7.92/8.08 c | 0 | 1751 28841 58619 | 9613 0 nan | 0.000 % | 7.92/8.08 c =============================================================================== 7.92/8.08 c core #391 7.92/8.08 c Core size: 13 Core Weight: 1 Total Weight: -204 7.92/8.08 c Elapsed CPU time: 7.99578 s Remaining CPU time: 1792 s 8.02/8.11 c ============================[ Search Statistics ]============================== 8.02/8.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.11 c =============================================================================== 8.02/8.11 c | 0 | 1757 28842 58631 | 9614 0 nan | 0.000 % | 8.02/8.12 c =============================================================================== 8.02/8.12 c core #392 8.02/8.12 c Core size: 27 Core Weight: 1 Total Weight: -203 8.02/8.12 c Elapsed CPU time: 8.02678 s Remaining CPU time: 1791.97 s 8.02/8.14 c ============================[ Search Statistics ]============================== 8.02/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.14 c =============================================================================== 8.02/8.14 c | 0 | 1769 28843 58655 | 9614 0 nan | 0.000 % | 8.02/8.15 c =============================================================================== 8.02/8.15 c core #393 8.02/8.15 c Core size: 13 Core Weight: 1 Total Weight: -202 8.02/8.15 c Elapsed CPU time: 8.05877 s Remaining CPU time: 1791.94 s 8.02/8.18 c ============================[ Search Statistics ]============================== 8.02/8.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.18 c =============================================================================== 8.02/8.18 c | 0 | 1775 28844 58667 | 9614 0 nan | 0.000 % | 8.02/8.18 c =============================================================================== 8.02/8.18 c core #394 8.02/8.18 c Core size: 13 Core Weight: 1 Total Weight: -201 8.02/8.18 c Elapsed CPU time: 8.08877 s Remaining CPU time: 1791.91 s 8.13/8.21 c ============================[ Search Statistics ]============================== 8.13/8.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.13/8.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.13/8.21 c =============================================================================== 8.13/8.21 c | 0 | 1781 28845 58679 | 9615 0 nan | 0.000 % | 8.13/8.21 c =============================================================================== 8.13/8.21 c core #395 8.13/8.21 c Core size: 13 Core Weight: 1 Total Weight: -200 8.13/8.21 c Elapsed CPU time: 8.11876 s Remaining CPU time: 1791.88 s 8.13/8.24 c ============================[ Search Statistics ]============================== 8.13/8.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.13/8.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.13/8.24 c =============================================================================== 8.13/8.24 c | 0 | 1787 28846 58691 | 9615 0 nan | 0.000 % | 8.13/8.24 c =============================================================================== 8.13/8.24 c core #396 8.13/8.24 c Core size: 50 Core Weight: 1 Total Weight: -199 8.13/8.24 c Elapsed CPU time: 8.15076 s Remaining CPU time: 1791.85 s 8.13/8.27 c ============================[ Search Statistics ]============================== 8.13/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.13/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.13/8.27 c =============================================================================== 8.13/8.27 c | 0 | 1807 28847 58731 | 9615 0 nan | 0.000 % | 8.13/8.28 c =============================================================================== 8.13/8.28 c core #397 8.13/8.28 c Core size: 13 Core Weight: 1 Total Weight: -198 8.13/8.28 c Elapsed CPU time: 8.18375 s Remaining CPU time: 1791.82 s 8.23/8.30 c ============================[ Search Statistics ]============================== 8.23/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.23/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.23/8.30 c =============================================================================== 8.23/8.30 c | 0 | 1813 28848 58743 | 9616 0 nan | 0.000 % | 8.23/8.31 c =============================================================================== 8.23/8.31 c core #398 8.23/8.31 c Core size: 13 Core Weight: 1 Total Weight: -197 8.23/8.31 c Elapsed CPU time: 8.21575 s Remaining CPU time: 1791.78 s 8.23/8.34 c ============================[ Search Statistics ]============================== 8.23/8.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.23/8.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.23/8.34 c =============================================================================== 8.23/8.34 c | 0 | 1819 28849 58755 | 9616 0 nan | 0.000 % | 8.23/8.34 c =============================================================================== 8.23/8.34 c core #399 8.23/8.34 c Core size: 13 Core Weight: 1 Total Weight: -196 8.23/8.34 c Elapsed CPU time: 8.24875 s Remaining CPU time: 1791.75 s 8.23/8.37 c ============================[ Search Statistics ]============================== 8.23/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.23/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.23/8.37 c =============================================================================== 8.23/8.37 c | 0 | 1825 28850 58767 | 9616 0 nan | 0.000 % | 8.23/8.37 c =============================================================================== 8.23/8.37 c core #400 8.23/8.37 c Core size: 10 Core Weight: 1 Total Weight: -195 8.23/8.37 c Elapsed CPU time: 8.27974 s Remaining CPU time: 1791.72 s 8.33/8.40 c ============================[ Search Statistics ]============================== 8.33/8.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.33/8.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.33/8.40 c =============================================================================== 8.33/8.40 c | 0 | 1829 28851 58775 | 9617 0 nan | 0.000 % | 8.33/8.41 c =============================================================================== 8.33/8.41 c core #401 8.33/8.41 c Core size: 21 Core Weight: 1 Total Weight: -194 8.33/8.41 c Elapsed CPU time: 8.31274 s Remaining CPU time: 1791.69 s 8.33/8.44 c ============================[ Search Statistics ]============================== 8.33/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.33/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.33/8.44 c =============================================================================== 8.33/8.44 c | 0 | 1839 28852 58795 | 9617 0 nan | 0.000 % | 8.33/8.44 c =============================================================================== 8.33/8.44 c core #402 8.33/8.44 c Core size: 10 Core Weight: 1 Total Weight: -193 8.33/8.44 c Elapsed CPU time: 8.34373 s Remaining CPU time: 1791.66 s 8.33/8.47 c ============================[ Search Statistics ]============================== 8.33/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.33/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.33/8.47 c =============================================================================== 8.33/8.47 c | 0 | 1843 28853 58803 | 9617 0 nan | 0.000 % | 8.33/8.47 c =============================================================================== 8.33/8.47 c core #403 8.33/8.47 c Core size: 10 Core Weight: 1 Total Weight: -192 8.33/8.47 c Elapsed CPU time: 8.37673 s Remaining CPU time: 1791.62 s 8.43/8.50 c ============================[ Search Statistics ]============================== 8.43/8.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.43/8.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.43/8.50 c =============================================================================== 8.43/8.50 c | 0 | 1847 28854 58811 | 9618 0 nan | 0.000 % | 8.43/8.51 c =============================================================================== 8.43/8.51 c core #404 8.43/8.51 c Core size: 20 Core Weight: 1 Total Weight: -191 8.43/8.51 c Elapsed CPU time: 8.40972 s Remaining CPU time: 1791.59 s 8.43/8.53 c ============================[ Search Statistics ]============================== 8.43/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.43/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.43/8.53 c =============================================================================== 8.43/8.53 c | 0 | 1855 28855 58827 | 9618 0 nan | 0.000 % | 8.43/8.54 c =============================================================================== 8.43/8.54 c core #405 8.43/8.54 c Core size: 44 Core Weight: 1 Total Weight: -190 8.43/8.54 c Elapsed CPU time: 8.44372 s Remaining CPU time: 1791.56 s 8.43/8.57 c ============================[ Search Statistics ]============================== 8.43/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.43/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.43/8.57 c =============================================================================== 8.43/8.57 c | 0 | 1869 28856 58855 | 9618 0 nan | 0.000 % | 8.43/8.57 c =============================================================================== 8.43/8.57 c core #406 8.43/8.57 c Core size: 24 Core Weight: 1 Total Weight: -189 8.43/8.57 c Elapsed CPU time: 8.47671 s Remaining CPU time: 1791.52 s 8.52/8.60 c ============================[ Search Statistics ]============================== 8.52/8.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.60 c =============================================================================== 8.52/8.60 c | 0 | 1879 28857 58875 | 9619 0 nan | 0.000 % | 8.52/8.61 c =============================================================================== 8.52/8.61 c core #407 8.52/8.61 c Core size: 59 Core Weight: 1 Total Weight: -188 8.52/8.61 c Elapsed CPU time: 8.50971 s Remaining CPU time: 1791.49 s 8.52/8.64 c ============================[ Search Statistics ]============================== 8.52/8.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.64 c =============================================================================== 8.52/8.64 c | 0 | 1897 28858 58911 | 9619 0 nan | 0.000 % | 8.52/8.64 c =============================================================================== 8.52/8.64 c core #408 8.52/8.64 c Core size: 36 Core Weight: 1 Total Weight: -187 8.52/8.64 c Elapsed CPU time: 8.5427 s Remaining CPU time: 1791.46 s 8.52/8.67 c ============================[ Search Statistics ]============================== 8.52/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.52/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.52/8.67 c =============================================================================== 8.52/8.67 c | 0 | 1911 28859 58939 | 9619 0 nan | 0.000 % | 8.52/8.68 c | 100 | 1911 28859 58939 | 10581 100 11 | 0.000 % | 8.52/8.68 c =============================================================================== 8.52/8.68 c core #409 8.52/8.68 c Core size: 83 Core Weight: 1 Total Weight: -186 8.52/8.68 c Elapsed CPU time: 8.58169 s Remaining CPU time: 1791.42 s 8.62/8.71 c ============================[ Search Statistics ]============================== 8.62/8.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.71 c =============================================================================== 8.62/8.71 c | 0 | 1931 28860 58979 | 9620 0 nan | 0.000 % | 8.62/8.72 c =============================================================================== 8.62/8.72 c core #410 8.62/8.72 c Core size: 33 Core Weight: 1 Total Weight: -185 8.62/8.72 c Elapsed CPU time: 8.61469 s Remaining CPU time: 1791.39 s 8.62/8.75 c ============================[ Search Statistics ]============================== 8.62/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.75 c =============================================================================== 8.62/8.75 c | 0 | 1941 28861 58999 | 9620 0 nan | 0.000 % | 8.62/8.75 c =============================================================================== 8.62/8.75 c core #411 8.62/8.75 c Core size: 41 Core Weight: 1 Total Weight: -184 8.62/8.75 c Elapsed CPU time: 8.65068 s Remaining CPU time: 1791.35 s 8.62/8.78 c ============================[ Search Statistics ]============================== 8.62/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.62/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.62/8.78 c =============================================================================== 8.62/8.78 c | 0 | 1955 28862 59027 | 9620 0 nan | 0.000 % | 8.62/8.79 c | 101 | 1955 28862 59027 | 10582 101 17 | 0.000 % | 8.62/8.79 c | 254 | 1953 28862 59027 | 11641 254 17 | 0.102 % | 8.72/8.80 c | 479 | 1953 28862 59027 | 12805 479 17 | 0.102 % | 8.72/8.82 c =============================================================================== 8.72/8.82 c core #412 8.72/8.82 c Core size: 138 Core Weight: 1 Total Weight: -183 8.72/8.82 c Elapsed CPU time: 8.71667 s Remaining CPU time: 1791.28 s 8.72/8.85 c ============================[ Search Statistics ]============================== 8.72/8.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.72/8.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.72/8.85 c =============================================================================== 8.72/8.85 c | 0 | 1987 28863 59091 | 9621 0 nan | 0.000 % | 8.72/8.86 c | 103 | 1986 28863 59091 | 10583 103 19 | 0.050 % | 8.72/8.86 c =============================================================================== 8.72/8.86 c core #413 8.72/8.86 c Core size: 30 Core Weight: 1 Total Weight: -182 8.72/8.86 c Elapsed CPU time: 8.75467 s Remaining CPU time: 1791.25 s 8.72/8.89 c ============================[ Search Statistics ]============================== 8.72/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.72/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.72/8.89 c =============================================================================== 8.72/8.89 c | 0 | 1995 28864 59107 | 9621 0 nan | 0.000 % | 8.72/8.89 c =============================================================================== 8.72/8.89 c core #414 8.72/8.89 c Core size: 73 Core Weight: 1 Total Weight: -181 8.72/8.89 c Elapsed CPU time: 8.78766 s Remaining CPU time: 1791.21 s 8.81/8.92 c ============================[ Search Statistics ]============================== 8.81/8.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.81/8.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.81/8.92 c =============================================================================== 8.81/8.92 c | 0 | 2015 28865 59147 | 9621 0 nan | 0.000 % | 8.81/8.93 c | 100 | 2015 28865 59147 | 10583 100 13 | 0.000 % | 8.81/8.94 c | 253 | 2015 28865 59147 | 11642 253 14 | 0.000 % | 8.81/8.94 c =============================================================================== 8.81/8.94 c core #415 8.81/8.94 c Core size: 100 Core Weight: 1 Total Weight: -180 8.81/8.94 c Elapsed CPU time: 8.83366 s Remaining CPU time: 1791.17 s 8.81/8.97 c ============================[ Search Statistics ]============================== 8.81/8.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.81/8.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.81/8.97 c =============================================================================== 8.81/8.97 c | 0 | 2039 28866 59195 | 9622 0 nan | 0.000 % | 8.81/8.98 c | 100 | 2039 28866 59195 | 10584 100 13 | 0.000 % | 8.81/8.99 c | 251 | 2037 28866 59195 | 11642 251 19 | 0.098 % | 8.91/9.00 c | 478 | 2025 28866 59195 | 12806 478 21 | 5.395 % | 8.91/9.00 c =============================================================================== 8.91/9.00 c core #416 8.91/9.00 c Core size: 254 Core Weight: 1 Total Weight: -179 8.91/9.00 c Elapsed CPU time: 8.89465 s Remaining CPU time: 1791.11 s 8.91/9.03 c ============================[ Search Statistics ]============================== 8.91/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.91/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.91/9.03 c =============================================================================== 8.91/9.03 c | 0 | 2109 28867 59335 | 9622 0 nan | 0.000 % | 8.91/9.04 c =============================================================================== 8.91/9.04 c core #417 8.91/9.04 c Core size: 91 Core Weight: 1 Total Weight: -178 8.91/9.04 c Elapsed CPU time: 8.93464 s Remaining CPU time: 1791.07 s 8.91/9.07 c ============================[ Search Statistics ]============================== 8.91/9.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.91/9.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.91/9.07 c =============================================================================== 8.91/9.07 c | 0 | 2139 28868 59395 | 9622 0 nan | 0.000 % | 8.91/9.08 c | 101 | 2139 28868 59395 | 10584 101 31 | 0.000 % | 8.91/9.08 c =============================================================================== 8.91/9.08 c core #418 8.91/9.08 c Core size: 52 Core Weight: 1 Total Weight: -177 8.91/9.08 c Elapsed CPU time: 8.97564 s Remaining CPU time: 1791.02 s 9.01/9.12 c ============================[ Search Statistics ]============================== 9.01/9.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.01/9.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.01/9.12 c =============================================================================== 9.01/9.12 c | 0 | 2157 28869 59431 | 9623 0 nan | 0.000 % | 9.01/9.12 c =============================================================================== 9.01/9.12 c core #419 9.01/9.12 c Core size: 35 Core Weight: 1 Total Weight: -176 9.01/9.12 c Elapsed CPU time: 9.01163 s Remaining CPU time: 1790.99 s 9.01/9.15 c ============================[ Search Statistics ]============================== 9.01/9.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.01/9.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.01/9.15 c =============================================================================== 9.01/9.15 c | 0 | 2167 28870 59451 | 9623 0 nan | 0.000 % | 9.01/9.16 c =============================================================================== 9.01/9.16 c core #420 9.01/9.16 c Core size: 50 Core Weight: 1 Total Weight: -175 9.01/9.16 c Elapsed CPU time: 9.04462 s Remaining CPU time: 1790.96 s 9.01/9.19 c ============================[ Search Statistics ]============================== 9.01/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.01/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.01/9.19 c =============================================================================== 9.01/9.19 c | 0 | 2183 28871 59483 | 9623 0 nan | 0.000 % | 9.01/9.19 c =============================================================================== 9.01/9.19 c core #421 9.01/9.19 c Core size: 54 Core Weight: 1 Total Weight: -174 9.01/9.19 c Elapsed CPU time: 9.08162 s Remaining CPU time: 1790.92 s 9.12/9.22 c ============================[ Search Statistics ]============================== 9.12/9.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.12/9.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.12/9.22 c =============================================================================== 9.12/9.22 c | 0 | 2197 28872 59511 | 9624 0 nan | 0.000 % | 9.12/9.23 c | 100 | 2197 28872 59511 | 10586 100 22 | 0.000 % | 9.12/9.24 c =============================================================================== 9.12/9.24 c core #422 9.12/9.24 c Core size: 38 Core Weight: 1 Total Weight: -173 9.12/9.24 c Elapsed CPU time: 9.12461 s Remaining CPU time: 1790.88 s 9.12/9.27 c ============================[ Search Statistics ]============================== 9.12/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.12/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.12/9.27 c =============================================================================== 9.12/9.27 c | 0 | 2209 28873 59535 | 9624 0 nan | 0.000 % | 9.12/9.28 c =============================================================================== 9.12/9.28 c core #423 9.12/9.28 c Core size: 112 Core Weight: 1 Total Weight: -172 9.12/9.28 c Elapsed CPU time: 9.16561 s Remaining CPU time: 1790.83 s 9.22/9.31 c ============================[ Search Statistics ]============================== 9.22/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.22/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.22/9.31 c =============================================================================== 9.22/9.31 c | 0 | 2239 28874 59595 | 9624 0 nan | 0.000 % | 9.22/9.32 c =============================================================================== 9.22/9.32 c core #424 9.22/9.32 c Core size: 65 Core Weight: 1 Total Weight: -171 9.22/9.32 c Elapsed CPU time: 9.2016 s Remaining CPU time: 1790.8 s 9.22/9.35 c ============================[ Search Statistics ]============================== 9.22/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.22/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.22/9.35 c =============================================================================== 9.22/9.35 c | 0 | 2259 28875 59635 | 9625 0 nan | 0.000 % | 9.22/9.36 c =============================================================================== 9.22/9.36 c core #425 9.22/9.36 c Core size: 55 Core Weight: 1 Total Weight: -170 9.22/9.36 c Elapsed CPU time: 9.2416 s Remaining CPU time: 1790.76 s 9.22/9.39 c ============================[ Search Statistics ]============================== 9.22/9.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.22/9.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.22/9.39 c =============================================================================== 9.22/9.39 c | 0 | 2279 28876 59675 | 9625 0 nan | 0.000 % | 9.31/9.40 c | 100 | 2279 28876 59675 | 10587 100 15 | 0.000 % | 9.31/9.40 c =============================================================================== 9.31/9.40 c core #426 9.31/9.40 c Core size: 94 Core Weight: 1 Total Weight: -169 9.31/9.40 c Elapsed CPU time: 9.28359 s Remaining CPU time: 1790.72 s 9.31/9.43 c ============================[ Search Statistics ]============================== 9.31/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.31/9.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.31/9.43 c =============================================================================== 9.31/9.43 c | 0 | 2311 28877 59739 | 9625 0 nan | 0.000 % | 9.31/9.44 c | 100 | 2311 28877 59739 | 10588 100 20 | 0.000 % | 9.31/9.45 c | 252 | 2311 28877 59739 | 11647 252 27 | 0.000 % | 9.31/9.47 c | 477 | 2311 28877 59739 | 12811 477 31 | 0.000 % | 9.31/9.48 c | 818 | 2309 28877 59739 | 14092 818 33 | 0.087 % | 9.41/9.53 c | 1324 | 2307 28877 59739 | 15502 1311 35 | 0.173 % | 9.52/9.61 c | 2085 | 2307 28877 59739 | 17052 2072 35 | 0.173 % | 9.61/9.77 c | 3225 | 2305 28877 59739 | 18757 3018 36 | 0.260 % | 9.91/10.08 c =============================================================================== 10.01/10.12 c core #427 10.01/10.12 c Core size: 226 Core Weight: 1 Total Weight: -168 10.01/10.12 c Elapsed CPU time: 9.97748 s Remaining CPU time: 1790.02 s 10.01/10.15 c ============================[ Search Statistics ]============================== 10.01/10.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.01/10.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.01/10.15 c =============================================================================== 10.01/10.15 c | 0 | 2359 28878 59835 | 9626 0 nan | 0.000 % | 10.01/10.16 c | 102 | 2359 28878 59835 | 10588 102 8 | 0.000 % | 10.01/10.17 c =============================================================================== 10.01/10.17 c core #428 10.01/10.17 c Core size: 180 Core Weight: 1 Total Weight: -167 10.01/10.17 c Elapsed CPU time: 10.0325 s Remaining CPU time: 1789.97 s 10.11/10.20 c ============================[ Search Statistics ]============================== 10.11/10.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.11/10.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.11/10.20 c =============================================================================== 10.11/10.20 c | 0 | 2399 28879 59915 | 9626 0 nan | 0.000 % | 10.11/10.21 c | 102 | 2399 28879 59915 | 10588 102 24 | 0.000 % | 10.11/10.22 c | 254 | 2399 28879 59915 | 11647 254 26 | 0.000 % | 10.11/10.23 c | 481 | 2398 28879 59915 | 12812 481 32 | 0.042 % | 10.11/10.25 c | 818 | 2398 28879 59915 | 14093 818 38 | 0.042 % | 10.11/10.28 c | 1327 | 2398 28879 59915 | 15503 1327 40 | 0.042 % | 10.20/10.34 c | 2088 | 2398 28879 59915 | 17053 2086 42 | 0.042 % | 10.31/10.46 c | 3227 | 2398 28879 59915 | 18759 3225 45 | 0.042 % | 10.61/10.75 c | 4935 | 2397 28879 59915 | 20634 4930 48 | 0.083 % | 11.11/11.26 c | 7497 | 2397 28879 59915 | 22698 7492 50 | 0.083 % | 11.50/11.69 c =============================================================================== 11.50/11.69 c core #429 11.50/11.69 c Core size: 37 Core Weight: 1 Total Weight: -166 11.50/11.69 c Elapsed CPU time: 11.5192 s Remaining CPU time: 1788.48 s 11.60/11.73 c ============================[ Search Statistics ]============================== 11.60/11.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.60/11.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.60/11.73 c =============================================================================== 11.60/11.73 c | 0 | 2411 28880 59939 | 9626 0 nan | 0.000 % | 11.60/11.74 c | 100 | 2411 28880 59939 | 10589 100 17 | 0.000 % | 11.60/11.74 c =============================================================================== 11.60/11.74 c core #430 11.60/11.74 c Core size: 100 Core Weight: 1 Total Weight: -165 11.60/11.74 c Elapsed CPU time: 11.5732 s Remaining CPU time: 1788.43 s 11.60/11.77 c ============================[ Search Statistics ]============================== 11.60/11.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.60/11.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.60/11.77 c =============================================================================== 11.60/11.77 c | 0 | 2441 28881 59999 | 9627 0 nan | 0.000 % | 11.60/11.78 c | 100 | 2441 28881 59999 | 10589 100 12 | 0.000 % | 11.60/11.79 c | 252 | 2440 28881 59999 | 11648 252 14 | 0.041 % | 11.60/11.79 c =============================================================================== 11.60/11.80 c core #431 11.60/11.80 c Core size: 155 Core Weight: 1 Total Weight: -164 11.60/11.80 c Elapsed CPU time: 11.6202 s Remaining CPU time: 1788.38 s 11.71/11.83 c ============================[ Search Statistics ]============================== 11.71/11.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.71/11.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.71/11.83 c =============================================================================== 11.71/11.83 c | 0 | 2483 28882 60083 | 9627 0 nan | 0.000 % | 11.71/11.84 c | 101 | 2483 28882 60083 | 10590 101 16 | 0.000 % | 11.71/11.85 c | 251 | 2483 28882 60083 | 11649 251 25 | 0.000 % | 11.71/11.86 c | 481 | 2483 28882 60083 | 12813 481 37 | 0.000 % | 11.71/11.88 c | 823 | 2483 28882 60083 | 14095 823 42 | 0.000 % | 11.80/11.93 c | 1329 | 2478 28882 60083 | 15504 1286 49 | 0.201 % | 11.80/11.99 c | 2088 | 2478 28882 60083 | 17055 2045 50 | 0.201 % | 11.91/12.09 c | 3227 | 2478 28882 60083 | 18760 3184 51 | 0.242 % | 12.01/12.17 c =============================================================================== 12.01/12.17 c core #432 12.01/12.17 c Core size: 117 Core Weight: 1 Total Weight: -163 12.01/12.17 c Elapsed CPU time: 11.9892 s Remaining CPU time: 1788.01 s 12.11/12.20 c ============================[ Search Statistics ]============================== 12.11/12.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.11/12.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.11/12.20 c =============================================================================== 12.11/12.20 c | 0 | 2519 28883 60155 | 9627 0 nan | 0.000 % | 12.11/12.21 c | 103 | 2519 28883 60155 | 10590 103 36 | 0.000 % | 12.11/12.22 c | 255 | 2519 28883 60155 | 11649 255 22 | 0.040 % | 12.11/12.22 c =============================================================================== 12.11/12.22 c core #433 12.11/12.22 c Core size: 50 Core Weight: 1 Total Weight: -162 12.11/12.22 c Elapsed CPU time: 12.0412 s Remaining CPU time: 1787.96 s 12.11/12.26 c ============================[ Search Statistics ]============================== 12.11/12.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.11/12.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.11/12.26 c =============================================================================== 12.11/12.26 c | 0 | 2537 28884 60191 | 9628 0 nan | 0.000 % | 12.11/12.27 c | 100 | 2536 28884 60191 | 10590 100 10 | 0.039 % | 12.11/12.27 c =============================================================================== 12.11/12.27 c core #434 12.11/12.27 c Core size: 76 Core Weight: 1 Total Weight: -161 12.11/12.27 c Elapsed CPU time: 12.0832 s Remaining CPU time: 1787.92 s 12.21/12.30 c ============================[ Search Statistics ]============================== 12.21/12.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.21/12.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.21/12.30 c =============================================================================== 12.21/12.30 c | 0 | 2559 28885 60235 | 9628 0 nan | 0.000 % | 12.21/12.31 c =============================================================================== 12.21/12.31 c core #435 12.21/12.31 c Core size: 47 Core Weight: 1 Total Weight: -160 12.21/12.31 c Elapsed CPU time: 12.1182 s Remaining CPU time: 1787.88 s 12.21/12.34 c ============================[ Search Statistics ]============================== 12.21/12.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.21/12.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.21/12.34 c =============================================================================== 12.21/12.34 c | 0 | 2571 28886 60259 | 9628 0 nan | 0.000 % | 12.21/12.35 c | 100 | 2571 28886 60259 | 10591 100 10 | 0.000 % | 12.21/12.36 c | 251 | 2571 28886 60259 | 11650 251 10 | 0.000 % | 12.21/12.37 c | 476 | 2571 28886 60259 | 12815 476 10 | 0.000 % | 12.21/12.39 c | 815 | 2486 28886 60259 | 14097 690 11 | 3.306 % | 12.21/12.39 c =============================================================================== 12.21/12.40 c core #436 12.21/12.40 c Core size: 505 Core Weight: 1 Total Weight: -159 12.21/12.40 c Elapsed CPU time: 12.2041 s Remaining CPU time: 1787.8 s 12.30/12.43 c ============================[ Search Statistics ]============================== 12.30/12.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.30/12.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.30/12.43 c =============================================================================== 12.30/12.43 c | 0 | 2643 28887 60403 | 9629 0 nan | 0.000 % | 12.30/12.44 c | 101 | 2643 28887 60403 | 10591 101 24 | 0.000 % | 12.30/12.45 c | 251 | 2643 28887 60403 | 11651 251 17 | 0.000 % | 12.30/12.45 c | 476 | 2643 28887 60403 | 12816 476 16 | 0.000 % | 12.30/12.46 c =============================================================================== 12.30/12.46 c core #437 12.30/12.46 c Core size: 179 Core Weight: 1 Total Weight: -158 12.30/12.46 c Elapsed CPU time: 12.2691 s Remaining CPU time: 1787.73 s 12.30/12.49 c ============================[ Search Statistics ]============================== 12.30/12.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.30/12.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.30/12.49 c =============================================================================== 12.30/12.49 c | 0 | 2695 28888 60507 | 9629 0 nan | 0.000 % | 12.40/12.51 c | 100 | 2691 28888 60507 | 10592 100 9 | 0.260 % | 12.40/12.51 c =============================================================================== 12.40/12.51 c core #438 12.40/12.51 c Core size: 79 Core Weight: 1 Total Weight: -157 12.40/12.51 c Elapsed CPU time: 12.3101 s Remaining CPU time: 1787.69 s 12.40/12.53 c ============================[ Search Statistics ]============================== 12.40/12.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.40/12.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.40/12.54 c =============================================================================== 12.40/12.54 c | 0 | 2713 28889 60543 | 9629 0 nan | 0.000 % | 12.40/12.54 c | 100 | 2713 28889 60543 | 10592 100 12 | 0.000 % | 12.40/12.55 c | 252 | 2713 28889 60543 | 11651 252 12 | 0.000 % | 12.40/12.56 c | 477 | 2713 28889 60543 | 12817 477 13 | 0.000 % | 12.40/12.58 c | 814 | 2609 28889 60543 | 14098 525 12 | 3.835 % | 12.40/12.59 c =============================================================================== 12.40/12.59 c core #439 12.40/12.59 c Core size: 409 Core Weight: 1 Total Weight: -156 12.40/12.59 c Elapsed CPU time: 12.3911 s Remaining CPU time: 1787.61 s 12.50/12.62 c ============================[ Search Statistics ]============================== 12.50/12.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.50/12.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.50/12.62 c =============================================================================== 12.50/12.62 c | 0 | 2787 28890 60691 | 9630 0 nan | 0.000 % | 12.50/12.63 c | 100 | 2787 28890 60691 | 10593 100 31 | 0.000 % | 12.50/12.64 c =============================================================================== 12.50/12.64 c core #440 12.50/12.64 c Core size: 37 Core Weight: 1 Total Weight: -155 12.50/12.64 c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s 12.50/12.67 c ============================[ Search Statistics ]============================== 12.50/12.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.50/12.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.50/12.67 c =============================================================================== 12.50/12.67 c | 0 | 2798 28891 60713 | 9630 0 nan | 0.000 % | 12.50/12.68 c | 101 | 2798 28891 60713 | 10593 101 17 | 0.000 % | 12.50/12.69 c | 251 | 2798 28891 60713 | 11652 251 17 | 0.000 % | 12.60/12.70 c | 477 | 2798 28891 60713 | 12817 477 18 | 0.000 % | 12.60/12.72 c | 815 | 2798 28891 60713 | 14099 815 18 | 0.000 % | 12.60/12.75 c | 1321 | 2798 28891 60713 | 15509 1321 20 | 0.000 % | 12.60/12.80 c | 2081 | 2798 28891 60713 | 17060 2081 21 | 0.000 % | 12.70/12.90 c | 3221 | 2798 28891 60713 | 18766 3221 22 | 0.000 % | 12.90/13.03 c =============================================================================== 12.90/13.07 c core #441 12.90/13.07 c Core size: 630 Core Weight: 1 Total Weight: -154 12.90/13.07 c Elapsed CPU time: 12.85 s Remaining CPU time: 1787.15 s 13.00/13.11 c ============================[ Search Statistics ]============================== 13.00/13.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.00/13.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.00/13.11 c =============================================================================== 13.00/13.11 c | 0 | 2872 28892 60861 | 9630 0 nan | 0.000 % | 13.00/13.12 c | 101 | 2871 28892 60861 | 10593 101 9 | 0.035 % | 13.00/13.13 c | 251 | 2795 28892 60861 | 11653 251 11 | 13.057 % | 13.00/13.13 c =============================================================================== 13.00/13.13 c core #442 13.00/13.13 c Core size: 232 Core Weight: 1 Total Weight: -153 13.00/13.13 c Elapsed CPU time: 12.913 s Remaining CPU time: 1787.09 s 13.00/13.16 c ============================[ Search Statistics ]============================== 13.00/13.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.00/13.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.00/13.16 c =============================================================================== 13.00/13.16 c | 0 | 2945 28893 61007 | 9631 0 nan | 0.000 % | 13.00/13.17 c | 100 | 2945 28893 61007 | 10594 100 12 | 0.000 % | 13.00/13.17 c | 250 | 2945 28893 61007 | 11653 250 13 | 0.000 % | 13.00/13.19 c | 475 | 2945 28893 61007 | 12818 475 19 | 0.000 % | 13.10/13.20 c | 813 | 2944 28893 61007 | 14100 810 19 | 0.034 % | 13.10/13.23 c =============================================================================== 13.10/13.24 c core #443 13.10/13.24 c Core size: 198 Core Weight: 1 Total Weight: -152 13.10/13.24 c Elapsed CPU time: 13.01 s Remaining CPU time: 1786.99 s 13.10/13.27 c ============================[ Search Statistics ]============================== 13.10/13.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.10/13.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.10/13.27 c =============================================================================== 13.10/13.27 c | 0 | 2985 28894 61087 | 9631 0 nan | 0.000 % | 13.10/13.28 c | 103 | 2985 28894 61087 | 10594 103 15 | 0.000 % | 13.10/13.29 c | 253 | 2985 28894 61087 | 11653 253 12 | 0.000 % | 13.19/13.30 c | 480 | 2985 28894 61087 | 12819 480 18 | 0.000 % | 13.19/13.32 c | 818 | 2985 28894 61087 | 14101 818 21 | 0.000 % | 13.19/13.35 c | 1326 | 2985 28894 61087 | 15511 1326 23 | 0.000 % | 13.30/13.40 c | 2085 | 2985 28894 61087 | 17062 2085 25 | 0.000 % | 13.40/13.51 c | 3224 | 2983 28894 61087 | 18768 3220 28 | 0.067 % | 13.60/13.73 c | 4932 | 2982 28894 61087 | 20645 4913 29 | 0.134 % | 13.60/13.78 c =============================================================================== 13.69/13.82 c core #444 13.69/13.82 c Core size: 1045 Core Weight: 1 Total Weight: -151 13.69/13.82 c Elapsed CPU time: 13.5709 s Remaining CPU time: 1786.43 s 13.69/13.85 c ============================[ Search Statistics ]============================== 13.69/13.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.85 c =============================================================================== 13.69/13.85 c | 0 | 3101 28895 61319 | 9631 0 nan | 0.000 % | 13.69/13.86 c | 100 | 3101 28895 61319 | 10594 100 24 | 0.000 % | 13.69/13.87 c | 250 | 3101 28895 61319 | 11654 250 19 | 0.000 % | 13.69/13.88 c | 475 | 3100 28895 61319 | 12819 475 17 | 0.032 % | 13.69/13.90 c | 813 | 3100 28895 61319 | 14101 813 21 | 0.032 % | 13.80/13.93 c | 1321 | 3100 28895 61319 | 15511 1318 22 | 0.032 % | 13.80/13.98 c | 2080 | 3100 28895 61319 | 17063 2077 23 | 0.032 % | 13.90/14.06 c | 3220 | 3100 28895 61319 | 18769 3217 27 | 0.032 % | 14.10/14.30 c | 4928 | 3100 28895 61319 | 20646 4925 32 | 0.032 % | 14.29/14.42 c =============================================================================== 14.29/14.47 c core #445 14.29/14.47 c Core size: 983 Core Weight: 1 Total Weight: -150 14.29/14.47 c Elapsed CPU time: 14.1998 s Remaining CPU time: 1785.8 s 14.39/14.51 c ============================[ Search Statistics ]============================== 14.39/14.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.39/14.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.39/14.51 c =============================================================================== 14.39/14.51 c | 0 | 3205 28896 61527 | 9632 0 nan | 0.000 % | 14.39/14.52 c | 101 | 3205 28896 61527 | 10595 101 13 | 0.000 % | 14.39/14.53 c | 255 | 3205 28896 61527 | 11654 255 16 | 0.000 % | 14.39/14.54 c | 483 | 3205 28896 61527 | 12820 483 17 | 0.000 % | 14.39/14.55 c | 820 | 3205 28896 61527 | 14102 820 21 | 0.000 % | 14.39/14.58 c | 1327 | 3205 28896 61527 | 15512 1327 22 | 0.000 % | 14.50/14.65 c | 2088 | 3205 28896 61527 | 17063 2088 28 | 0.000 % | 14.59/14.75 c | 3227 | 3205 28896 61527 | 18770 3227 32 | 0.000 % | 14.80/14.97 c | 4937 | 3205 28896 61527 | 20647 4937 33 | 0.000 % | 15.30/15.46 c | 7499 | 3205 28896 61527 | 22711 7499 37 | 0.000 % | 16.50/16.65 c | 11343 | 3083 28896 61527 | 24982 7612 35 | 3.807 % | 16.50/16.68 c =============================================================================== 16.69/16.82 c core #446 16.69/16.82 c Core size: 1005 Core Weight: 1 Total Weight: -149 16.69/16.82 c Elapsed CPU time: 16.5115 s Remaining CPU time: 1783.49 s 16.69/16.86 c ============================[ Search Statistics ]============================== 16.69/16.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.69/16.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.69/16.86 c =============================================================================== 16.69/16.86 c | 0 | 3301 28897 61719 | 9632 0 nan | 0.000 % | 16.69/16.88 c | 103 | 3301 28897 61719 | 10595 103 14 | 0.000 % | 16.69/16.88 c | 253 | 3301 28897 61719 | 11655 253 17 | 0.000 % | 16.69/16.89 c | 480 | 3301 28897 61719 | 12820 480 21 | 0.000 % | 16.79/16.92 c | 817 | 3301 28897 61719 | 14102 817 27 | 0.000 % | 16.79/16.95 c | 1323 | 3301 28897 61719 | 15512 1323 44 | 0.000 % | 16.90/17.00 c | 2082 | 3301 28897 61719 | 17064 2082 45 | 0.000 % | 16.99/17.10 c | 3224 | 3301 28897 61719 | 18770 3224 51 | 0.000 % | 17.10/17.26 c | 4935 | 3301 28897 61719 | 20647 4935 50 | 0.000 % | 17.50/17.64 c | 7497 | 3301 28897 61719 | 22712 7497 61 | 0.000 % | 18.10/18.23 c | 11341 | 3301 28897 61719 | 24983 11341 58 | 0.000 % | 19.29/19.46 c | 17111 | 3301 28897 61719 | 27482 17111 58 | 0.000 % | 22.69/22.82 c | 25763 | 3301 28897 61719 | 30230 25763 60 | 0.000 % | 29.88/30.05 c | 38739 | 3301 28897 61719 | 33253 21660 62 | 0.000 % | 43.08/43.22 c | 58202 | 3301 28897 61719 | 36578 21030 61 | 0.000 % | 59.08/59.26 c | 87396 | 3301 28897 61719 | 40236 28145 59 | 0.000 % | 77.46/77.60 c =============================================================================== 79.67/79.82 c core #447 79.67/79.82 c Core size: 1504 Core Weight: 1 Total Weight: -148 79.67/79.82 c Elapsed CPU time: 79.112 s Remaining CPU time: 1720.89 s 79.77/79.96 c ============================[ Search Statistics ]============================== 79.77/79.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.77/79.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.77/79.96 c =============================================================================== 79.77/79.96 c | 0 | 3427 28898 61971 | 9632 0 nan | 0.000 % | 79.77/79.99 c | 103 | 3427 28898 61971 | 10595 103 20 | 0.000 % | 79.86/80.00 c | 254 | 3427 28898 61971 | 11655 254 17 | 0.000 % | 79.86/80.01 c | 479 | 3427 28898 61971 | 12821 479 20 | 0.000 % | 79.86/80.03 c | 816 | 3427 28898 61971 | 14103 816 25 | 0.000 % | 79.86/80.07 c | 1322 | 3427 28898 61971 | 15513 1322 29 | 0.000 % | 79.97/80.14 c | 2082 | 3427 28898 61971 | 17064 2082 43 | 0.000 % | 80.07/80.27 c | 3221 | 3427 28898 61971 | 18771 3221 51 | 0.000 % | 80.37/80.51 c | 4930 | 3427 28898 61971 | 20648 4930 55 | 0.000 % | 80.87/81.08 c | 7495 | 3427 28898 61971 | 22713 7495 63 | 0.000 % | 81.76/81.98 c | 11339 | 3427 28898 61971 | 24984 11339 71 | 0.000 % | 84.07/84.26 c | 17105 | 3427 28898 61971 | 27483 17105 76 | 0.000 % | 90.96/91.19 c | 25759 | 3427 28898 61971 | 30231 25759 80 | 0.000 % | 102.26/102.48 c | 38733 | 3427 28898 61971 | 33254 21748 87 | 0.000 % | 122.55/122.74 c | 58195 | 3414 28898 61971 | 36580 22776 79 | 0.379 % | 141.75/141.92 c | 87387 | 3414 28898 61971 | 40238 28248 74 | 0.379 % | 177.73/177.92 c =============================================================================== 180.42/180.67 c core #448 180.42/180.67 c Core size: 1627 Core Weight: 1 Total Weight: -147 180.42/180.67 c Elapsed CPU time: 179.516 s Remaining CPU time: 1620.48 s 180.62/180.84 c ============================[ Search Statistics ]============================== 180.62/180.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.62/180.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.62/180.84 c =============================================================================== 180.62/180.84 c | 0 | 3564 28899 62245 | 9633 0 nan | 0.000 % | 180.62/180.87 c | 100 | 3564 28899 62245 | 10596 100 16 | 0.000 % | 180.62/180.88 c | 250 | 3564 28899 62245 | 11655 250 17 | 0.000 % | 180.62/180.89 c | 476 | 3564 28899 62245 | 12821 476 18 | 0.000 % | 180.72/180.91 c | 813 | 3564 28899 62245 | 14103 813 21 | 0.000 % | 180.72/180.95 c | 1320 | 3564 28899 62245 | 15514 1320 23 | 0.000 % | 180.83/181.00 c | 2080 | 3564 28899 62245 | 17065 2080 29 | 0.000 % | 180.92/181.11 c | 3219 | 3564 28899 62245 | 18771 3219 32 | 0.000 % | 181.12/181.32 c | 4932 | 3564 28899 62245 | 20649 4932 36 | 0.000 % | 181.52/181.75 c | 7494 | 3564 28899 62245 | 22714 7494 39 | 0.000 % | 182.62/182.85 c | 11338 | 3564 28899 62245 | 24985 11338 41 | 0.000 % | 184.63/184.83 c | 17105 | 3563 28899 62245 | 27484 17104 42 | 0.028 % | 189.52/189.76 c | 25754 | 3563 28899 62245 | 30232 25753 42 | 0.031 % | 190.72/190.96 c =============================================================================== 191.23/191.42 c core #449 191.23/191.42 c Core size: 901 Core Weight: 1 Total Weight: -146 191.23/191.42 c Elapsed CPU time: 190.178 s Remaining CPU time: 1609.82 s 191.23/191.49 c ============================[ Search Statistics ]============================== 191.23/191.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.23/191.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.23/191.50 c =============================================================================== 191.23/191.50 c | 0 | 3648 28900 62413 | 9633 0 nan | 0.000 % | 191.32/191.52 c | 101 | 3648 28900 62413 | 10596 101 23 | 0.000 % | 191.32/191.53 c | 251 | 3648 28900 62413 | 11656 251 24 | 0.000 % | 191.32/191.54 c | 477 | 3648 28900 62413 | 12821 477 30 | 0.000 % | 191.32/191.57 c | 814 | 3648 28900 62413 | 14104 814 35 | 0.000 % | 191.42/191.60 c | 1320 | 3648 28900 62413 | 15514 1320 39 | 0.000 % | 191.42/191.69 c | 2079 | 3648 28900 62413 | 17066 2079 53 | 0.000 % | 191.62/191.81 c | 3220 | 3648 28900 62413 | 18772 3220 56 | 0.000 % | 191.82/192.03 c | 4929 | 3648 28900 62413 | 20649 4929 57 | 0.000 % | 192.12/192.37 c | 7491 | 3648 28900 62413 | 22714 7491 58 | 0.000 % | 192.82/193.07 c | 11335 | 3648 28900 62413 | 24986 11335 68 | 0.000 % | 194.82/195.02 c | 17101 | 3648 28900 62413 | 27485 17101 79 | 0.000 % | 200.12/200.39 c | 25753 | 3648 28900 62413 | 30233 25753 86 | 0.000 % | 205.81/206.05 c | 38732 | 3648 28900 62413 | 33256 21953 93 | 0.000 % | 218.61/218.85 c | 58195 | 3648 28900 62413 | 36582 21120 97 | 0.000 % | 251.08/251.37 c | 87387 | 3648 28900 62413 | 40240 28510 116 | 0.000 % | 301.95/302.22 c | 131178 | 3648 28900 62413 | 44264 22866 97 | 0.000 % | 358.13/358.41 c | 196864 | 3648 28900 62413 | 48691 30490 81 | 0.000 % | 467.58/467.94 c =============================================================================== 472.58/472.90 c core #450 472.58/472.90 c Core size: 1895 Core Weight: 1 Total Weight: -145 472.58/472.90 c Elapsed CPU time: 470.455 s Remaining CPU time: 1329.54 s 472.87/473.25 c ============================[ Search Statistics ]============================== 472.87/473.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 472.87/473.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 472.87/473.25 c =============================================================================== 472.87/473.25 c | 0 | 3796 28901 62709 | 9633 0 nan | 0.000 % | 472.98/473.30 c | 100 | 3796 28901 62709 | 10597 100 31 | 0.000 % | 472.98/473.32 c | 250 | 3796 28901 62709 | 11656 250 22 | 0.000 % | 472.98/473.34 c | 476 | 3795 28901 62709 | 12822 476 25 | 0.026 % | 472.98/473.36 c | 816 | 3795 28901 62709 | 14104 816 29 | 0.027 % | 473.08/473.40 c | 1323 | 3795 28901 62709 | 15515 1321 44 | 0.026 % | 473.08/473.47 c | 2084 | 3795 28901 62709 | 17066 2082 50 | 0.026 % | 473.18/473.57 c | 3224 | 3793 28901 62709 | 18773 3218 51 | 0.079 % | 473.37/473.74 c | 4932 | 3793 28901 62709 | 20650 4926 49 | 0.079 % | 473.78/474.11 c | 7494 | 3790 28901 62709 | 22715 7485 66 | 0.158 % | 474.57/474.91 c | 11338 | 3784 28901 62709 | 24987 11315 68 | 0.316 % | 476.57/476.99 c | 17106 | 3784 28901 62709 | 27485 17083 83 | 0.316 % | 479.97/480.36 c | 25756 | 3784 28901 62709 | 30234 25730 90 | 0.316 % | 487.47/487.82 c | 38730 | 3783 28901 62709 | 33258 20836 96 | 0.342 % | 505.27/505.65 c | 58191 | 3782 28901 62709 | 36583 20115 95 | 0.369 % | 525.26/525.65 c | 87383 | 3781 28901 62709 | 40242 26230 76 | 0.395 % | 570.04/570.43 c | 131177 | 3781 28901 62709 | 44266 19070 75 | 0.395 % | 631.02/631.42 c | 196861 | 3781 28901 62709 | 48693 28382 72 | 0.396 % | 653.70/654.12 c =============================================================================== 658.19/658.66 c core #451 658.19/658.66 c Core size: 1484 Core Weight: 1 Total Weight: -144 658.19/658.66 c Elapsed CPU time: 655.417 s Remaining CPU time: 1144.58 s 658.49/658.93 c ============================[ Search Statistics ]============================== 658.49/658.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 658.49/658.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 658.49/658.93 c =============================================================================== 658.49/658.93 c | 0 | 3932 28902 62981 | 9634 0 nan | 0.000 % | 658.49/658.98 c | 101 | 3932 28902 62981 | 10597 101 45 | 0.000 % | 658.49/659.00 c | 252 | 3932 28902 62981 | 11657 252 34 | 0.000 % | 658.59/659.02 c | 478 | 3932 28902 62981 | 12822 478 32 | 0.000 % | 658.59/659.04 c | 815 | 3932 28902 62981 | 14105 815 44 | 0.000 % | 658.59/659.07 c | 1322 | 3932 28902 62981 | 15515 1322 43 | 0.000 % | 658.69/659.16 c | 2081 | 3932 28902 62981 | 17067 2081 51 | 0.000 % | 658.89/659.33 c | 3221 | 3932 28902 62981 | 18773 3221 79 | 0.000 % | 659.19/659.62 c | 4929 | 3932 28902 62981 | 20651 4929 95 | 0.000 % | 659.69/660.10 c | 7491 | 3932 28902 62981 | 22716 7491 98 | 0.000 % | 661.29/661.71 c | 11335 | 3932 28902 62981 | 24988 11335 118 | 0.000 % | 665.88/666.31 c | 17102 | 3932 28902 62981 | 27486 17102 134 | 0.000 % | 670.89/671.36 c | 25751 | 3932 28902 62981 | 30235 25751 147 | 0.000 % | 676.28/676.79 c | 38727 | 3932 28902 62981 | 33259 20663 138 | 0.000 % | 694.68/695.17 c | 58189 | 3932 28902 62981 | 36585 19774 163 | 0.000 % | 726.36/726.85 c | 87383 | 3932 28902 62981 | 40243 24777 144 | 0.000 % | 775.65/776.14 c | 131173 | 3932 28902 62981 | 44267 15565 141 | 0.000 % | 873.31/873.87 c | 196860 | 3932 28902 62981 | 48694 25139 150 | 0.000 % | 1052.44/1053.00 c | 295386 | 3932 28902 62981 | 53564 23631 159 | 0.000 % | 1231.89/1232.57 c | 443181 | 3932 28902 62981 | 58920 53347 158 | 0.000 % | 1558.39/1559.19 c | 664864 | 3932 28902 62981 | 64812 20931 146 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875740-1245168855/watcher-1875740-1245168855 -o /tmp/evaluation-result-1875740-1245168855/solver-1875740-1245168855 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875740-1245168855.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.92 0.98 0.98 3/64 31664 /proc/meminfo: memFree=1440240/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=3188 CPUtime=0 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 184481013 3264512 201 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 797 201 130 292 0 339 0 [startup+0.00953802 s] /proc/loadavg: 0.92 0.98 0.98 3/64 31664 /proc/meminfo: memFree=1440240/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=3320 CPUtime=0 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 239 0 0 0 0 0 0 0 18 0 1 0 184481013 3399680 223 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 830 223 139 292 0 372 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3320 [startup+0.101544 s] /proc/loadavg: 0.92 0.98 0.98 3/64 31664 /proc/meminfo: memFree=1440240/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=4940 CPUtime=0.09 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 184481013 5058560 753 1992294400 134512640 135709839 4294956240 18446744073709551615 134530478 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1235 753 133 292 0 940 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4940 [startup+0.301563 s] /proc/loadavg: 0.92 0.98 0.98 3/64 31664 /proc/meminfo: memFree=1440240/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=5096 CPUtime=0.29 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 1041 0 0 0 29 0 0 0 19 0 1 0 184481013 5218304 806 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1274 806 133 292 0 979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.701602 s] /proc/loadavg: 0.92 0.98 0.98 3/64 31664 /proc/meminfo: memFree=1440240/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=5096 CPUtime=0.69 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 1041 0 0 0 69 0 0 0 23 0 1 0 184481013 5218304 806 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1274 806 133 292 0 979 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5096 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1437416/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=5184 CPUtime=1.49 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 1080 0 0 0 149 0 0 0 25 0 1 0 184481013 5308416 830 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1296 830 133 292 0 1001 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5184 [startup+3.10184 s] /proc/loadavg: 0.92 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1437160/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=5448 CPUtime=3.08 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 1171 0 0 0 308 0 0 0 25 0 1 0 184481013 5578752 921 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1362 921 133 292 0 1067 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5448 [startup+6.30116 s] /proc/loadavg: 0.93 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1435880/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=7180 CPUtime=6.26 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 1724 0 0 0 625 1 0 0 25 0 1 0 184481013 7352320 1323 1992294400 134512640 135709839 4294956240 18446744073709551615 134605845 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 1795 1323 135 292 0 1500 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 7180 [startup+12.7028 s] /proc/loadavg: 0.93 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1428648/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=13580 CPUtime=12.6 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 3460 0 0 0 1249 11 0 0 25 0 1 0 184481013 13905920 2918 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 3395 2918 136 292 0 3100 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 13580 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1418728/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=23732 CPUtime=25.38 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 6025 0 0 0 2509 29 0 0 25 0 1 0 184481013 24301568 5483 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 5933 5483 136 292 0 5638 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 23732 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1399464/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=43452 CPUtime=50.98 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 10933 0 0 0 5055 43 0 0 25 0 1 0 184481013 44494848 10391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 10863 10391 136 292 0 10568 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 43452 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1373928/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=68164 CPUtime=102.16 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 17112 0 0 0 10148 68 0 0 25 0 1 0 184481013 69799936 16570 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 17041 16570 136 292 0 16746 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 68164 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1340968/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=101488 CPUtime=162.13 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 25419 0 0 0 16119 94 0 0 25 0 1 0 184481013 103923712 24877 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 25372 24877 136 292 0 25077 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 101488 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1328872/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=113008 CPUtime=222.1 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 28326 0 0 0 22083 127 0 0 25 0 1 0 184481013 115720192 27784 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 28252 27784 136 292 0 27957 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 113008 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1297640/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=144848 CPUtime=282.06 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 36292 0 0 0 28059 147 0 0 25 0 1 0 184481013 148324352 35750 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 36212 35750 136 292 0 35917 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 144848 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1255336/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=186652 CPUtime=342.04 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 46706 0 0 0 34029 175 0 0 25 0 1 0 184481013 191131648 46164 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31664/statm: 46663 46164 136 292 0 46368 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 186652 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1226728/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=215468 CPUtime=402.01 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 53881 0 0 0 40008 193 0 0 25 0 1 0 184481013 220639232 53339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 53867 53339 136 292 0 53572 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 215468 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1202408/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=239772 CPUtime=461.98 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 59924 0 0 0 45987 211 0 0 25 0 1 0 184481013 245526528 59382 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 59943 59382 136 292 0 59648 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 239772 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1191464/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=250168 CPUtime=521.96 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 62653 0 0 0 51960 236 0 0 25 0 1 0 184481013 256172032 62063 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 62542 62063 136 292 0 62247 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 250168 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1176744/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=265168 CPUtime=581.94 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 66400 0 0 0 57936 258 0 0 25 0 1 0 184481013 271532032 65810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 66292 65810 136 292 0 65997 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 265168 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1148712/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=292992 CPUtime=641.92 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 73328 0 0 0 63911 281 0 0 25 0 1 0 184481013 300023808 72738 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 73248 72738 136 292 0 72953 0 Current children cumulated CPU time (s) 641.92 Current children cumulated vsize (KiB) 292992 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1027176/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=414196 CPUtime=881.8 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 103627 0 0 0 87814 366 0 0 25 0 1 0 184481013 424136704 103037 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 103549 103037 136 292 0 103254 0 Current children cumulated CPU time (s) 881.8 Current children cumulated vsize (KiB) 414196 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=1001576/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=440340 CPUtime=941.79 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 110152 0 0 0 93799 380 0 0 25 0 1 0 184481013 450908160 109562 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 110085 109562 136 292 0 109790 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 440340 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=977384/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=464132 CPUtime=1001.76 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 116057 0 0 0 99784 392 0 0 25 0 1 0 184481013 475271168 115467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 116033 115467 136 292 0 115738 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 464132 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=934888/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=507004 CPUtime=1061.74 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 126766 0 0 0 105757 417 0 0 25 0 1 0 184481013 519172096 126176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 126751 126176 136 292 0 126456 0 Current children cumulated CPU time (s) 1061.74 Current children cumulated vsize (KiB) 507004 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=897128/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=544468 CPUtime=1121.72 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 136128 0 0 0 111738 434 0 0 25 0 1 0 184481013 557535232 135538 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 136117 135538 136 292 0 135822 0 Current children cumulated CPU time (s) 1121.72 Current children cumulated vsize (KiB) 544468 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=846248/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=595844 CPUtime=1181.7 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 148963 0 0 0 117707 463 0 0 25 0 1 0 184481013 610144256 148373 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 148961 148373 136 292 0 148666 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 595844 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=807848/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=633496 CPUtime=1241.69 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 158329 0 0 0 123682 487 0 0 25 0 1 0 184481013 648699904 157739 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 158374 157739 136 292 0 158079 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 633496 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=760552/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=680480 CPUtime=1301.66 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 170088 0 0 0 129653 513 0 0 25 0 1 0 184481013 696811520 169498 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 170120 169498 136 292 0 169825 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 680480 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=725352/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=716180 CPUtime=1361.65 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 179001 0 0 0 135633 532 0 0 25 0 1 0 184481013 733368320 178411 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 179045 178412 136 292 0 178750 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 716180 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=691560/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=749396 CPUtime=1421.64 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 187306 0 0 0 141615 549 0 0 25 0 1 0 184481013 767381504 186716 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 187349 186716 136 292 0 187054 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 749396 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=654824/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=786788 CPUtime=1481.61 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 196604 0 0 0 147590 571 0 0 25 0 1 0 184481013 805670912 196014 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 196697 196014 136 292 0 196402 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 786788 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=616808/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=824252 CPUtime=1541.59 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 205975 0 0 0 153569 590 0 0 25 0 1 0 184481013 844034048 205385 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 206063 205385 136 292 0 205768 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 824252 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=580008/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=861556 CPUtime=1601.57 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 215280 0 0 0 159547 610 0 0 25 0 1 0 184481013 882233344 214690 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 215389 214690 136 292 0 215094 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 861556 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=545384/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=895728 CPUtime=1661.56 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 223802 0 0 0 165527 629 0 0 25 0 1 0 184481013 917225472 223212 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 223932 223212 136 292 0 223637 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 895728 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=505832/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=935660 CPUtime=1721.54 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 233783 0 0 0 171499 655 0 0 25 0 1 0 184481013 958115840 233193 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 233915 233193 136 292 0 233620 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 935660 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=476392/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=964808 CPUtime=1781.52 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 241065 0 0 0 177482 670 0 0 25 0 1 0 184481013 987963392 240475 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 241202 240475 136 292 0 240907 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 964808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=460904/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=979876 CPUtime=1800.02 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4194304 244814 0 0 0 179323 679 0 0 25 0 1 0 184481013 1003393024 244224 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 244969 244224 136 292 0 244674 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 979876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.98 0.98 2/65 31665 /proc/meminfo: memFree=460904/2055920 swapFree=4182324/4192956 [pid=31664] ppid=31662 vsize=0 CPUtime=1800.12 /proc/31664/stat : 31664 (wbo) R 31662 31664 31469 0 -1 4195332 244814 0 0 0 179323 689 0 0 25 0 1 0 184481013 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/31664/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.94 CPU time (s): 1800.17 CPU user time (s): 1793.24 CPU system time (s): 6.92895 CPU usage (%): 99.9569 Max. virtual memory (cumulated for all children) (KiB): 979876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.24 system time used= 6.92895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 244814 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 9270 runsolver used 1.92571 second user time and 4.73328 second system time The end
Begin job on node60 at 2009-06-16 18:14:15 IDJOB=1875740 IDBENCH=2273 IDSOLVER=698 FILE ID=node60/1875740-1245168855 PBS_JOBID= 9363873 Free space on /tmp= 66432 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-1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875740-1245168855/watcher-1875740-1245168855 -o /tmp/evaluation-result-1875740-1245168855/solver-1875740-1245168855 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875740-1245168855.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED=1099908338 node60.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.231 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.231 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: 1440728 kB Buffers: 57748 kB Cached: 475228 kB SwapCached: 5992 kB Active: 297912 kB Inactive: 244520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1440728 kB SwapTotal: 4192956 kB SwapFree: 4182324 kB Dirty: 3028 kB Writeback: 0 kB Mapped: 14012 kB Slab: 58752 kB Committed_AS: 76768 kB PageTables: 1452 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-1875740-1245168855.opb Free space on /tmp at the end= 66432 MiB End job on node60 at 2009-06-16 18:44:18