Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.18 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
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.64 |
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 | 28143 |
Number of constraints which are clauses | 28143 |
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-1875773-1245168651.opb. 0.00/0.00 c Instance file HOME/instance-1875773-1245168651.opb 0.00/0.00 c File size is 669646 bytes. 0.05/0.08 c Highest Coefficient sum: 3 0.05/0.08 c ============================[ Problem Statistics ]============================= 0.05/0.08 c | | 0.05/0.08 c | Parsing time: 0.08 s | 0.05/0.08 c | Number Variables: 595 | 0.05/0.08 c | Number Clauses: 28738 | 0.05/0.08 c | Number Cardinality: 0 | 0.05/0.08 c | Number PB Constraints: 0 | 0.05/0.08 c core #1 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: -594 0.05/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.05/0.09 c core #2 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: -593 0.05/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.10/0.11 c core #3 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: -592 0.10/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #4 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -591 0.10/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #5 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -590 0.10/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.10/0.15 c core #6 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: -589 0.10/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.10/0.17 c core #7 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: -588 0.10/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #8 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: -587 0.10/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #9 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -586 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #10 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -585 0.19/0.21 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #11 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -584 0.19/0.23 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #12 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -583 0.19/0.24 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #13 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -582 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #14 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -581 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #15 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -580 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #16 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -579 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #17 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -578 0.29/0.32 c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #18 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -577 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #19 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -576 0.29/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #20 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: -575 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #21 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -574 0.29/0.38 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.29/0.40 c core #22 0.29/0.40 c Core size: 3 Core Weight: 1 Total Weight: -573 0.29/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #23 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -572 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #24 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -571 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #25 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -570 0.39/0.44 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #26 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -569 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #27 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -568 0.39/0.47 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #28 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -567 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #29 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -566 0.49/0.50 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #30 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -565 0.49/0.52 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #31 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -564 0.49/0.53 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #32 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -563 0.49/0.55 c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #33 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -562 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #34 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -561 0.49/0.58 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.49/0.60 c core #35 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: -560 0.49/0.60 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #36 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -559 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #37 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -558 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #38 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -557 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #39 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -556 0.59/0.66 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #40 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -555 0.59/0.67 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #41 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -554 0.59/0.69 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #42 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -553 0.69/0.71 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #43 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -552 0.69/0.72 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #44 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -551 0.69/0.74 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #45 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -550 0.69/0.75 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #46 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -549 0.69/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #47 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -548 0.69/0.78 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #48 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -547 0.79/0.80 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #49 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -546 0.79/0.81 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #50 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -545 0.79/0.83 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #51 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -544 0.79/0.85 c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #52 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -543 0.79/0.86 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #53 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -542 0.79/0.88 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #54 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -541 0.79/0.89 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #55 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -540 0.89/0.91 c Elapsed CPU time: 0.911861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #56 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -539 0.89/0.93 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #57 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -538 0.89/0.94 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #58 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -537 0.89/0.96 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #59 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -536 0.89/0.97 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #60 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -535 0.89/0.99 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 1.00/1.01 c core #61 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: -534 1.00/1.01 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #62 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -533 1.00/1.02 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 1.00/1.04 c core #63 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -532 1.00/1.04 c Elapsed CPU time: 1.03984 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #64 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -531 1.00/1.05 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #65 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -530 1.00/1.07 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.00/1.09 c core #66 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: -529 1.00/1.09 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.10/1.10 c core #67 1.10/1.10 c Core size: 3 Core Weight: 1 Total Weight: -528 1.10/1.10 c Elapsed CPU time: 1.10483 s Remaining CPU time: 1798.9 s 1.10/1.12 c core #68 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: -527 1.10/1.12 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.10/1.14 c core #69 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: -526 1.10/1.14 c Elapsed CPU time: 1.13783 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #70 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: -525 1.10/1.15 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.10/1.17 c core #71 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: -524 1.10/1.17 c Elapsed CPU time: 1.16982 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #72 1.10/1.18 c Core size: 3 Core Weight: 1 Total Weight: -523 1.10/1.18 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #73 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -522 1.19/1.20 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #74 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -521 1.19/1.22 c Elapsed CPU time: 1.21881 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #75 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -520 1.19/1.23 c Elapsed CPU time: 1.23481 s Remaining CPU time: 1798.77 s 1.19/1.25 c core #76 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -519 1.19/1.25 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #77 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -518 1.19/1.27 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #78 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: -517 1.19/1.28 c Elapsed CPU time: 1.2848 s Remaining CPU time: 1798.72 s 1.29/1.30 c core #79 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -516 1.29/1.30 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #80 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -515 1.29/1.32 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #81 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: -514 1.29/1.33 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.29/1.35 c core #82 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: -513 1.29/1.35 c Elapsed CPU time: 1.35079 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #83 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -512 1.29/1.37 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #84 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: -511 1.29/1.38 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.40 c core #85 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: -510 1.39/1.40 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.39/1.42 c core #86 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -509 1.39/1.42 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #87 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -508 1.39/1.43 c Elapsed CPU time: 1.43478 s Remaining CPU time: 1798.57 s 1.39/1.45 c core #88 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: -507 1.39/1.45 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #89 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -506 1.39/1.47 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #90 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -505 1.39/1.48 c Elapsed CPU time: 1.48477 s Remaining CPU time: 1798.52 s 1.49/1.50 c core #91 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: -504 1.49/1.50 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.49/1.52 c core #92 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -503 1.49/1.52 c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #93 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: -502 1.49/1.53 c Elapsed CPU time: 1.53477 s Remaining CPU time: 1798.47 s 1.49/1.55 c core #94 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -501 1.49/1.55 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #95 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: -500 1.49/1.57 c Elapsed CPU time: 1.56876 s Remaining CPU time: 1798.43 s 1.49/1.58 c core #96 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: -499 1.49/1.58 c Elapsed CPU time: 1.58576 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #97 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: -498 1.59/1.60 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.59/1.62 c core #98 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -497 1.59/1.62 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #99 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: -496 1.59/1.63 c Elapsed CPU time: 1.63675 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #100 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -495 1.59/1.65 c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #101 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -494 1.59/1.67 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.59/1.69 c core #102 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -493 1.59/1.69 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #103 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: -492 1.69/1.70 c Elapsed CPU time: 1.70474 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #104 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -491 1.69/1.72 c Elapsed CPU time: 1.72174 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #105 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -490 1.69/1.74 c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #106 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -489 1.69/1.75 c Elapsed CPU time: 1.75573 s Remaining CPU time: 1798.24 s 1.69/1.77 c core #107 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: -488 1.69/1.77 c Elapsed CPU time: 1.77273 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #108 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -487 1.69/1.79 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #109 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -486 1.79/1.81 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.82 c core #110 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: -485 1.79/1.82 c Elapsed CPU time: 1.82272 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #111 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: -484 1.79/1.84 c Elapsed CPU time: 1.83972 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #112 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -483 1.79/1.86 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #113 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -482 1.79/1.88 c Elapsed CPU time: 1.87472 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #114 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: -481 1.79/1.89 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #115 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -480 1.89/1.91 c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #116 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -479 1.89/1.93 c Elapsed CPU time: 1.92771 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #117 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -478 1.89/1.95 c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #118 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -477 1.89/1.96 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #119 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -476 1.89/1.98 c Elapsed CPU time: 1.9807 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #120 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -475 1.99/2.00 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.02 c core #121 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -474 1.99/2.02 c Elapsed CPU time: 2.01669 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #122 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: -473 1.99/2.04 c Elapsed CPU time: 2.03369 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #123 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -472 1.99/2.05 c Elapsed CPU time: 2.05169 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #124 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -471 1.99/2.07 c Elapsed CPU time: 2.06968 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #125 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: -470 1.99/2.09 c Elapsed CPU time: 2.08768 s Remaining CPU time: 1797.91 s 2.09/2.11 c core #126 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: -469 2.09/2.11 c Elapsed CPU time: 2.10568 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #127 2.09/2.13 c Core size: 3 Core Weight: 1 Total Weight: -468 2.09/2.13 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #128 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -467 2.09/2.14 c Elapsed CPU time: 2.14267 s Remaining CPU time: 1797.86 s 2.09/2.16 c core #129 2.09/2.16 c Core size: 3 Core Weight: 1 Total Weight: -466 2.09/2.16 c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s 2.09/2.18 c core #130 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -465 2.09/2.18 c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s 2.09/2.20 c core #131 2.09/2.20 c Core size: 3 Core Weight: 1 Total Weight: -464 2.09/2.20 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.19/2.22 c core #132 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: -463 2.19/2.22 c Elapsed CPU time: 2.21466 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #133 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -462 2.19/2.23 c Elapsed CPU time: 2.23366 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #134 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -461 2.19/2.25 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #135 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -460 2.19/2.27 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.19/2.29 c core #136 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -459 2.19/2.29 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.29/2.31 c core #137 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -458 2.29/2.31 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #138 2.29/2.33 c Core size: 3 Core Weight: 1 Total Weight: -457 2.29/2.33 c Elapsed CPU time: 2.32465 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #139 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -456 2.29/2.34 c Elapsed CPU time: 2.34364 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #140 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -455 2.29/2.36 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #141 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -454 2.29/2.38 c Elapsed CPU time: 2.38064 s Remaining CPU time: 1797.62 s 2.39/2.40 c core #142 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: -453 2.39/2.40 c Elapsed CPU time: 2.39864 s Remaining CPU time: 1797.6 s 2.39/2.42 c core #143 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -452 2.39/2.42 c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #144 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -451 2.39/2.44 c Elapsed CPU time: 2.43463 s Remaining CPU time: 1797.57 s 2.39/2.46 c core #145 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -450 2.39/2.46 c Elapsed CPU time: 2.45363 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #146 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -449 2.39/2.47 c Elapsed CPU time: 2.47162 s Remaining CPU time: 1797.53 s 2.39/2.49 c core #147 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -448 2.39/2.49 c Elapsed CPU time: 2.49062 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #148 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -447 2.49/2.51 c Elapsed CPU time: 2.50862 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #149 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -446 2.49/2.53 c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s 2.49/2.55 c core #150 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: -445 2.49/2.55 c Elapsed CPU time: 2.54661 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #151 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: -444 2.49/2.57 c Elapsed CPU time: 2.56461 s Remaining CPU time: 1797.44 s 2.49/2.59 c core #152 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -443 2.49/2.59 c Elapsed CPU time: 2.58361 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #153 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -442 2.59/2.60 c Elapsed CPU time: 2.6026 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #154 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -441 2.59/2.62 c Elapsed CPU time: 2.6216 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #155 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -440 2.59/2.64 c Elapsed CPU time: 2.6406 s Remaining CPU time: 1797.36 s 2.59/2.66 c core #156 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -439 2.59/2.66 c Elapsed CPU time: 2.6586 s Remaining CPU time: 1797.34 s 2.59/2.68 c core #157 2.59/2.68 c Core size: 3 Core Weight: 1 Total Weight: -438 2.59/2.68 c Elapsed CPU time: 2.67759 s Remaining CPU time: 1797.32 s 2.69/2.70 c core #158 2.69/2.70 c Core size: 3 Core Weight: 1 Total Weight: -437 2.69/2.70 c Elapsed CPU time: 2.69659 s Remaining CPU time: 1797.3 s 2.69/2.72 c core #159 2.69/2.72 c Core size: 3 Core Weight: 1 Total Weight: -436 2.69/2.72 c Elapsed CPU time: 2.71659 s Remaining CPU time: 1797.28 s 2.69/2.74 c core #160 2.69/2.74 c Core size: 3 Core Weight: 1 Total Weight: -435 2.69/2.74 c Elapsed CPU time: 2.73458 s Remaining CPU time: 1797.27 s 2.69/2.76 c core #161 2.69/2.76 c Core size: 3 Core Weight: 1 Total Weight: -434 2.69/2.76 c Elapsed CPU time: 2.75758 s Remaining CPU time: 1797.24 s 2.69/2.78 c core #162 2.69/2.78 c Core size: 3 Core Weight: 1 Total Weight: -433 2.69/2.78 c Elapsed CPU time: 2.77758 s Remaining CPU time: 1797.22 s 2.79/2.80 c core #163 2.79/2.80 c Core size: 3 Core Weight: 1 Total Weight: -432 2.79/2.80 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.79/2.82 c core #164 2.79/2.82 c Core size: 3 Core Weight: 1 Total Weight: -431 2.79/2.82 c Elapsed CPU time: 2.81457 s Remaining CPU time: 1797.19 s 2.79/2.84 c core #165 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: -430 2.79/2.84 c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #166 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: -429 2.79/2.86 c Elapsed CPU time: 2.85757 s Remaining CPU time: 1797.14 s 2.79/2.88 c core #167 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: -428 2.79/2.88 c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s 2.89/2.90 c core #168 2.89/2.90 c Core size: 3 Core Weight: 1 Total Weight: -427 2.89/2.90 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.89/2.92 c core #169 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: -426 2.89/2.92 c Elapsed CPU time: 2.91956 s Remaining CPU time: 1797.08 s 2.89/2.94 c core #170 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: -425 2.89/2.94 c Elapsed CPU time: 2.93955 s Remaining CPU time: 1797.06 s 2.89/2.96 c core #171 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: -424 2.89/2.96 c Elapsed CPU time: 2.95855 s Remaining CPU time: 1797.04 s 2.89/2.98 c core #172 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: -423 2.89/2.98 c Elapsed CPU time: 2.97855 s Remaining CPU time: 1797.02 s 2.99/3.01 c core #173 2.99/3.01 c Core size: 3 Core Weight: 1 Total Weight: -422 2.99/3.01 c Elapsed CPU time: 3.00054 s Remaining CPU time: 1797 s 2.99/3.03 c core #174 2.99/3.03 c Core size: 3 Core Weight: 1 Total Weight: -421 2.99/3.03 c Elapsed CPU time: 3.02154 s Remaining CPU time: 1796.98 s 2.99/3.05 c core #175 2.99/3.05 c Core size: 3 Core Weight: 1 Total Weight: -420 2.99/3.05 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 2.99/3.06 c core #176 2.99/3.06 c Core size: 3 Core Weight: 1 Total Weight: -419 2.99/3.06 c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s 2.99/3.08 c core #177 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: -418 2.99/3.08 c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s 3.09/3.10 c core #178 3.09/3.10 c Core size: 3 Core Weight: 1 Total Weight: -417 3.09/3.10 c Elapsed CPU time: 3.09953 s Remaining CPU time: 1796.9 s 3.09/3.12 c core #179 3.09/3.12 c Core size: 3 Core Weight: 1 Total Weight: -416 3.09/3.12 c Elapsed CPU time: 3.11952 s Remaining CPU time: 1796.88 s 3.09/3.14 c core #180 3.09/3.14 c Core size: 3 Core Weight: 1 Total Weight: -415 3.09/3.14 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.09/3.16 c core #181 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: -414 3.09/3.16 c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s 3.09/3.18 c core #182 3.09/3.18 c Core size: 3 Core Weight: 1 Total Weight: -413 3.09/3.18 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.19/3.20 c core #183 3.19/3.20 c Core size: 3 Core Weight: 1 Total Weight: -412 3.19/3.20 c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s 3.19/3.22 c core #184 3.19/3.22 c Core size: 3 Core Weight: 1 Total Weight: -411 3.19/3.22 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.19/3.24 c core #185 3.19/3.24 c Core size: 3 Core Weight: 1 Total Weight: -410 3.19/3.24 c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s 3.19/3.26 c core #186 3.19/3.26 c Core size: 3 Core Weight: 1 Total Weight: -409 3.19/3.26 c Elapsed CPU time: 3.2595 s Remaining CPU time: 1796.74 s 3.19/3.28 c core #187 3.19/3.28 c Core size: 3 Core Weight: 1 Total Weight: -408 3.19/3.28 c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s 3.29/3.30 c core #188 3.29/3.30 c Core size: 3 Core Weight: 1 Total Weight: -407 3.29/3.30 c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s 3.29/3.32 c core #189 3.29/3.32 c Core size: 3 Core Weight: 1 Total Weight: -406 3.29/3.32 c Elapsed CPU time: 3.3205 s Remaining CPU time: 1796.68 s 3.29/3.35 c core #190 3.29/3.35 c Core size: 3 Core Weight: 1 Total Weight: -405 3.29/3.35 c Elapsed CPU time: 3.34049 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #191 3.29/3.37 c Core size: 3 Core Weight: 1 Total Weight: -404 3.29/3.37 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.29/3.39 c core #192 3.29/3.39 c Core size: 3 Core Weight: 1 Total Weight: -403 3.29/3.39 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #193 3.39/3.41 c Core size: 3 Core Weight: 1 Total Weight: -402 3.39/3.41 c Elapsed CPU time: 3.40148 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #194 3.39/3.43 c Core size: 3 Core Weight: 1 Total Weight: -401 3.39/3.43 c Elapsed CPU time: 3.42248 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #195 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: -400 3.39/3.45 c Elapsed CPU time: 3.44148 s Remaining CPU time: 1796.56 s 3.39/3.47 c core #196 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: -399 3.39/3.47 c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #197 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: -398 3.39/3.49 c Elapsed CPU time: 3.48247 s Remaining CPU time: 1796.52 s 3.49/3.51 c core #198 3.49/3.51 c Core size: 3 Core Weight: 1 Total Weight: -397 3.49/3.51 c Elapsed CPU time: 3.50347 s Remaining CPU time: 1796.5 s 3.49/3.53 c core #199 3.49/3.53 c Core size: 3 Core Weight: 1 Total Weight: -396 3.49/3.53 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 3.49/3.55 c core #200 3.49/3.55 c Core size: 3 Core Weight: 1 Total Weight: -395 3.49/3.55 c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s 3.49/3.57 c core #201 3.49/3.57 c Core size: 3 Core Weight: 1 Total Weight: -394 3.49/3.57 c Elapsed CPU time: 3.56546 s Remaining CPU time: 1796.43 s 3.49/3.59 c core #202 3.49/3.59 c Core size: 3 Core Weight: 1 Total Weight: -393 3.49/3.59 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.59/3.61 c core #203 3.59/3.61 c Core size: 3 Core Weight: 1 Total Weight: -392 3.59/3.61 c Elapsed CPU time: 3.60645 s Remaining CPU time: 1796.39 s 3.59/3.63 c core #204 3.59/3.63 c Core size: 3 Core Weight: 1 Total Weight: -391 3.59/3.63 c Elapsed CPU time: 3.62745 s Remaining CPU time: 1796.37 s 3.59/3.65 c core #205 3.59/3.65 c Core size: 3 Core Weight: 1 Total Weight: -390 3.59/3.65 c Elapsed CPU time: 3.64845 s Remaining CPU time: 1796.35 s 3.59/3.67 c core #206 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: -389 3.59/3.67 c Elapsed CPU time: 3.66944 s Remaining CPU time: 1796.33 s 3.59/3.70 c core #207 3.59/3.70 c Core size: 3 Core Weight: 1 Total Weight: -388 3.59/3.70 c Elapsed CPU time: 3.69044 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #208 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: -387 3.69/3.72 c Elapsed CPU time: 3.71143 s Remaining CPU time: 1796.29 s 3.69/3.74 c core #209 3.69/3.74 c Core size: 3 Core Weight: 1 Total Weight: -386 3.69/3.74 c Elapsed CPU time: 3.73243 s Remaining CPU time: 1796.27 s 3.69/3.76 c core #210 3.69/3.76 c Core size: 3 Core Weight: 1 Total Weight: -385 3.69/3.76 c Elapsed CPU time: 3.75343 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #211 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: -384 3.69/3.78 c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s 3.79/3.80 c core #212 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: -383 3.79/3.80 c Elapsed CPU time: 3.79642 s Remaining CPU time: 1796.2 s 3.79/3.82 c core #213 3.79/3.82 c Core size: 3 Core Weight: 1 Total Weight: -382 3.79/3.82 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.79/3.84 c core #214 3.79/3.84 c Core size: 3 Core Weight: 1 Total Weight: -381 3.79/3.84 c Elapsed CPU time: 3.83842 s Remaining CPU time: 1796.16 s 3.79/3.87 c core #215 3.79/3.87 c Core size: 3 Core Weight: 1 Total Weight: -380 3.79/3.87 c Elapsed CPU time: 3.85941 s Remaining CPU time: 1796.14 s 3.79/3.89 c core #216 3.79/3.89 c Core size: 3 Core Weight: 1 Total Weight: -379 3.79/3.89 c Elapsed CPU time: 3.88141 s Remaining CPU time: 1796.12 s 3.89/3.91 c core #217 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: -378 3.89/3.91 c Elapsed CPU time: 3.90241 s Remaining CPU time: 1796.1 s 3.89/3.93 c core #218 3.89/3.93 c Core size: 3 Core Weight: 1 Total Weight: -377 3.89/3.93 c Elapsed CPU time: 3.9244 s Remaining CPU time: 1796.08 s 3.89/3.95 c core #219 3.89/3.95 c Core size: 3 Core Weight: 1 Total Weight: -376 3.89/3.95 c Elapsed CPU time: 3.9464 s Remaining CPU time: 1796.05 s 3.89/3.97 c core #220 3.89/3.97 c Core size: 3 Core Weight: 1 Total Weight: -375 3.89/3.97 c Elapsed CPU time: 3.9674 s Remaining CPU time: 1796.03 s 3.89/3.99 c core #221 3.89/3.99 c Core size: 3 Core Weight: 1 Total Weight: -374 3.89/3.99 c Elapsed CPU time: 3.98939 s Remaining CPU time: 1796.01 s 3.99/4.02 c core #222 3.99/4.02 c Core size: 3 Core Weight: 1 Total Weight: -373 3.99/4.02 c Elapsed CPU time: 4.01139 s Remaining CPU time: 1795.99 s 3.99/4.04 c core #223 3.99/4.04 c Core size: 3 Core Weight: 1 Total Weight: -372 3.99/4.04 c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s 3.99/4.06 c core #224 3.99/4.06 c Core size: 3 Core Weight: 1 Total Weight: -371 3.99/4.06 c Elapsed CPU time: 4.05438 s Remaining CPU time: 1795.95 s 3.99/4.08 c core #225 3.99/4.08 c Core size: 3 Core Weight: 1 Total Weight: -370 3.99/4.08 c Elapsed CPU time: 4.07638 s Remaining CPU time: 1795.92 s 4.09/4.10 c core #226 4.09/4.10 c Core size: 3 Core Weight: 1 Total Weight: -369 4.09/4.10 c Elapsed CPU time: 4.09838 s Remaining CPU time: 1795.9 s 4.09/4.13 c core #227 4.09/4.13 c Core size: 3 Core Weight: 1 Total Weight: -368 4.09/4.13 c Elapsed CPU time: 4.12037 s Remaining CPU time: 1795.88 s 4.09/4.15 c core #228 4.09/4.15 c Core size: 3 Core Weight: 1 Total Weight: -367 4.09/4.15 c Elapsed CPU time: 4.14237 s Remaining CPU time: 1795.86 s 4.09/4.17 c core #229 4.09/4.17 c Core size: 3 Core Weight: 1 Total Weight: -366 4.09/4.17 c Elapsed CPU time: 4.16437 s Remaining CPU time: 1795.84 s 4.09/4.19 c core #230 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: -365 4.09/4.19 c Elapsed CPU time: 4.18636 s Remaining CPU time: 1795.81 s 4.19/4.21 c core #231 4.19/4.21 c Core size: 3 Core Weight: 1 Total Weight: -364 4.19/4.21 c Elapsed CPU time: 4.20836 s Remaining CPU time: 1795.79 s 4.19/4.24 c core #232 4.19/4.24 c Core size: 3 Core Weight: 1 Total Weight: -363 4.19/4.24 c Elapsed CPU time: 4.23036 s Remaining CPU time: 1795.77 s 4.19/4.26 c core #233 4.19/4.26 c Core size: 3 Core Weight: 1 Total Weight: -362 4.19/4.26 c Elapsed CPU time: 4.25235 s Remaining CPU time: 1795.75 s 4.19/4.28 c core #234 4.19/4.28 c Core size: 3 Core Weight: 1 Total Weight: -361 4.19/4.28 c Elapsed CPU time: 4.27535 s Remaining CPU time: 1795.72 s 4.29/4.30 c core #235 4.29/4.30 c Core size: 3 Core Weight: 1 Total Weight: -360 4.29/4.30 c Elapsed CPU time: 4.29735 s Remaining CPU time: 1795.7 s 4.29/4.33 c core #236 4.29/4.33 c Core size: 3 Core Weight: 1 Total Weight: -359 4.29/4.33 c Elapsed CPU time: 4.31934 s Remaining CPU time: 1795.68 s 4.29/4.35 c core #237 4.29/4.35 c Core size: 3 Core Weight: 1 Total Weight: -358 4.29/4.35 c Elapsed CPU time: 4.34234 s Remaining CPU time: 1795.66 s 4.29/4.37 c core #238 4.29/4.37 c Core size: 3 Core Weight: 1 Total Weight: -357 4.29/4.37 c Elapsed CPU time: 4.36534 s Remaining CPU time: 1795.63 s 4.29/4.39 c core #239 4.29/4.39 c Core size: 3 Core Weight: 1 Total Weight: -356 4.29/4.39 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.39/4.42 c core #240 4.39/4.42 c Core size: 3 Core Weight: 1 Total Weight: -355 4.39/4.42 c Elapsed CPU time: 4.41133 s Remaining CPU time: 1795.59 s 4.39/4.44 c core #241 4.39/4.44 c Core size: 3 Core Weight: 1 Total Weight: -354 4.39/4.44 c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s 4.39/4.46 c core #242 4.39/4.46 c Core size: 3 Core Weight: 1 Total Weight: -353 4.39/4.46 c Elapsed CPU time: 4.45632 s Remaining CPU time: 1795.54 s 4.39/4.48 c core #243 4.39/4.48 c Core size: 3 Core Weight: 1 Total Weight: -352 4.39/4.48 c Elapsed CPU time: 4.47932 s Remaining CPU time: 1795.52 s 4.49/4.51 c core #244 4.49/4.51 c Core size: 3 Core Weight: 1 Total Weight: -351 4.49/4.51 c Elapsed CPU time: 4.50232 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #245 4.49/4.53 c Core size: 3 Core Weight: 1 Total Weight: -350 4.49/4.53 c Elapsed CPU time: 4.52531 s Remaining CPU time: 1795.47 s 4.49/4.55 c core #246 4.49/4.55 c Core size: 3 Core Weight: 1 Total Weight: -349 4.49/4.55 c Elapsed CPU time: 4.54831 s Remaining CPU time: 1795.45 s 4.49/4.58 c core #247 4.49/4.58 c Core size: 3 Core Weight: 1 Total Weight: -348 4.49/4.58 c Elapsed CPU time: 4.57031 s Remaining CPU time: 1795.43 s 4.59/4.60 c core #248 4.59/4.60 c Core size: 3 Core Weight: 1 Total Weight: -347 4.59/4.60 c Elapsed CPU time: 4.5933 s Remaining CPU time: 1795.41 s 4.59/4.62 c core #249 4.59/4.62 c Core size: 3 Core Weight: 1 Total Weight: -346 4.59/4.62 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.59/4.65 c core #250 4.59/4.65 c Core size: 3 Core Weight: 1 Total Weight: -345 4.59/4.65 c Elapsed CPU time: 4.64029 s Remaining CPU time: 1795.36 s 4.59/4.67 c core #251 4.59/4.67 c Core size: 3 Core Weight: 1 Total Weight: -344 4.59/4.67 c Elapsed CPU time: 4.66329 s Remaining CPU time: 1795.34 s 4.59/4.69 c core #252 4.59/4.69 c Core size: 3 Core Weight: 1 Total Weight: -343 4.59/4.69 c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s 4.69/4.72 c core #253 4.69/4.72 c Core size: 3 Core Weight: 1 Total Weight: -342 4.69/4.72 c Elapsed CPU time: 4.71028 s Remaining CPU time: 1795.29 s 4.69/4.74 c core #254 4.69/4.74 c Core size: 3 Core Weight: 1 Total Weight: -341 4.69/4.74 c Elapsed CPU time: 4.73328 s Remaining CPU time: 1795.27 s 4.69/4.76 c core #255 4.69/4.76 c Core size: 3 Core Weight: 1 Total Weight: -340 4.69/4.76 c Elapsed CPU time: 4.75728 s Remaining CPU time: 1795.24 s 4.69/4.79 c core #256 4.69/4.79 c Core size: 3 Core Weight: 1 Total Weight: -339 4.69/4.79 c Elapsed CPU time: 4.78027 s Remaining CPU time: 1795.22 s 4.79/4.81 c core #257 4.79/4.81 c Core size: 3 Core Weight: 1 Total Weight: -338 4.79/4.81 c Elapsed CPU time: 4.80427 s Remaining CPU time: 1795.2 s 4.79/4.83 c core #258 4.79/4.83 c Core size: 3 Core Weight: 1 Total Weight: -337 4.79/4.83 c Elapsed CPU time: 4.82827 s Remaining CPU time: 1795.17 s 4.79/4.86 c core #259 4.79/4.86 c Core size: 3 Core Weight: 1 Total Weight: -336 4.79/4.86 c Elapsed CPU time: 4.85126 s Remaining CPU time: 1795.15 s 4.79/4.88 c core #260 4.79/4.88 c Core size: 3 Core Weight: 1 Total Weight: -335 4.79/4.88 c Elapsed CPU time: 4.87626 s Remaining CPU time: 1795.12 s 4.89/4.91 c core #261 4.89/4.91 c Core size: 3 Core Weight: 1 Total Weight: -334 4.89/4.91 c Elapsed CPU time: 4.89926 s Remaining CPU time: 1795.1 s 4.89/4.93 c core #262 4.89/4.93 c Core size: 3 Core Weight: 1 Total Weight: -333 4.89/4.93 c Elapsed CPU time: 4.92325 s Remaining CPU time: 1795.08 s 4.89/4.95 c core #263 4.89/4.95 c Core size: 3 Core Weight: 1 Total Weight: -332 4.89/4.95 c Elapsed CPU time: 4.94725 s Remaining CPU time: 1795.05 s 4.89/4.98 c core #264 4.89/4.98 c Core size: 3 Core Weight: 1 Total Weight: -331 4.89/4.98 c Elapsed CPU time: 4.97124 s Remaining CPU time: 1795.03 s 4.99/5.00 c core #265 4.99/5.00 c Core size: 3 Core Weight: 1 Total Weight: -330 4.99/5.00 c Elapsed CPU time: 4.99524 s Remaining CPU time: 1795 s 4.99/5.03 c core #266 4.99/5.03 c Core size: 3 Core Weight: 1 Total Weight: -329 4.99/5.03 c Elapsed CPU time: 5.02024 s Remaining CPU time: 1794.98 s 4.99/5.05 c core #267 4.99/5.05 c Core size: 3 Core Weight: 1 Total Weight: -328 4.99/5.05 c Elapsed CPU time: 5.04423 s Remaining CPU time: 1794.96 s 4.99/5.07 c core #268 4.99/5.07 c Core size: 3 Core Weight: 1 Total Weight: -327 4.99/5.07 c Elapsed CPU time: 5.06823 s Remaining CPU time: 1794.93 s 5.09/5.10 c core #269 5.09/5.10 c Core size: 3 Core Weight: 1 Total Weight: -326 5.09/5.10 c Elapsed CPU time: 5.09223 s Remaining CPU time: 1794.91 s 5.09/5.12 c core #270 5.09/5.12 c Core size: 3 Core Weight: 1 Total Weight: -325 5.09/5.12 c Elapsed CPU time: 5.11722 s Remaining CPU time: 1794.88 s 5.09/5.15 c core #271 5.09/5.15 c Core size: 3 Core Weight: 1 Total Weight: -324 5.09/5.15 c Elapsed CPU time: 5.14122 s Remaining CPU time: 1794.86 s 5.09/5.17 c core #272 5.09/5.17 c Core size: 3 Core Weight: 1 Total Weight: -323 5.09/5.17 c Elapsed CPU time: 5.16521 s Remaining CPU time: 1794.83 s 5.09/5.20 c core #273 5.09/5.20 c Core size: 3 Core Weight: 1 Total Weight: -322 5.09/5.20 c Elapsed CPU time: 5.18921 s Remaining CPU time: 1794.81 s 5.19/5.22 c core #274 5.19/5.22 c Core size: 3 Core Weight: 1 Total Weight: -321 5.19/5.22 c Elapsed CPU time: 5.21421 s Remaining CPU time: 1794.79 s 5.19/5.25 c core #275 5.19/5.25 c Core size: 3 Core Weight: 1 Total Weight: -320 5.19/5.25 c Elapsed CPU time: 5.2392 s Remaining CPU time: 1794.76 s 5.19/5.27 c core #276 5.19/5.27 c Core size: 3 Core Weight: 1 Total Weight: -319 5.19/5.27 c Elapsed CPU time: 5.2642 s Remaining CPU time: 1794.74 s 5.19/5.30 c core #277 5.19/5.30 c Core size: 3 Core Weight: 1 Total Weight: -318 5.19/5.30 c Elapsed CPU time: 5.29019 s Remaining CPU time: 1794.71 s 5.29/5.32 c core #278 5.29/5.32 c Core size: 3 Core Weight: 1 Total Weight: -317 5.29/5.32 c Elapsed CPU time: 5.31519 s Remaining CPU time: 1794.68 s 5.29/5.35 c core #279 5.29/5.35 c Core size: 3 Core Weight: 1 Total Weight: -316 5.29/5.35 c Elapsed CPU time: 5.34019 s Remaining CPU time: 1794.66 s 5.29/5.37 c core #280 5.29/5.37 c Core size: 3 Core Weight: 1 Total Weight: -315 5.29/5.37 c Elapsed CPU time: 5.36518 s Remaining CPU time: 1794.63 s 5.29/5.40 c core #281 5.29/5.40 c Core size: 3 Core Weight: 1 Total Weight: -314 5.29/5.40 c Elapsed CPU time: 5.39018 s Remaining CPU time: 1794.61 s 5.39/5.42 c core #282 5.39/5.42 c Core size: 3 Core Weight: 1 Total Weight: -313 5.39/5.42 c Elapsed CPU time: 5.41518 s Remaining CPU time: 1794.58 s 5.39/5.45 c core #283 5.39/5.45 c Core size: 3 Core Weight: 1 Total Weight: -312 5.39/5.45 c Elapsed CPU time: 5.44017 s Remaining CPU time: 1794.56 s 5.39/5.47 c core #284 5.39/5.47 c Core size: 3 Core Weight: 1 Total Weight: -311 5.39/5.47 c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s 5.39/5.50 c core #285 5.39/5.50 c Core size: 3 Core Weight: 1 Total Weight: -310 5.39/5.50 c Elapsed CPU time: 5.49116 s Remaining CPU time: 1794.51 s 5.49/5.52 c core #286 5.49/5.52 c Core size: 3 Core Weight: 1 Total Weight: -309 5.49/5.52 c Elapsed CPU time: 5.51616 s Remaining CPU time: 1794.48 s 5.49/5.55 c core #287 5.49/5.55 c Core size: 3 Core Weight: 1 Total Weight: -308 5.49/5.55 c Elapsed CPU time: 5.54116 s Remaining CPU time: 1794.46 s 5.49/5.57 c core #288 5.49/5.57 c Core size: 3 Core Weight: 1 Total Weight: -307 5.49/5.57 c Elapsed CPU time: 5.56615 s Remaining CPU time: 1794.43 s 5.58/5.60 c core #289 5.58/5.60 c Core size: 3 Core Weight: 1 Total Weight: -306 5.58/5.60 c Elapsed CPU time: 5.59215 s Remaining CPU time: 1794.41 s 5.58/5.62 c core #290 5.58/5.62 c Core size: 3 Core Weight: 1 Total Weight: -305 5.58/5.62 c Elapsed CPU time: 5.61715 s Remaining CPU time: 1794.38 s 5.58/5.65 c core #291 5.58/5.65 c Core size: 3 Core Weight: 1 Total Weight: -304 5.58/5.65 c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s 5.58/5.68 c core #292 5.58/5.68 c Core size: 3 Core Weight: 1 Total Weight: -303 5.58/5.68 c Elapsed CPU time: 5.66914 s Remaining CPU time: 1794.33 s 5.68/5.70 c core #293 5.68/5.70 c Core size: 3 Core Weight: 1 Total Weight: -302 5.68/5.70 c Elapsed CPU time: 5.69413 s Remaining CPU time: 1794.31 s 5.68/5.73 c core #294 5.68/5.73 c Core size: 3 Core Weight: 1 Total Weight: -301 5.68/5.73 c Elapsed CPU time: 5.72013 s Remaining CPU time: 1794.28 s 5.68/5.75 c core #295 5.68/5.75 c Core size: 3 Core Weight: 1 Total Weight: -300 5.68/5.75 c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s 5.68/5.78 c core #296 5.68/5.78 c Core size: 3 Core Weight: 1 Total Weight: -299 5.68/5.78 c Elapsed CPU time: 5.77212 s Remaining CPU time: 1794.23 s 5.78/5.80 c core #297 5.78/5.80 c Core size: 3 Core Weight: 1 Total Weight: -298 5.78/5.80 c Elapsed CPU time: 5.79812 s Remaining CPU time: 1794.2 s 5.78/5.83 c core #298 5.78/5.83 c Core size: 10 Core Weight: 1 Total Weight: -297 5.78/5.83 c Elapsed CPU time: 5.82511 s Remaining CPU time: 1794.17 s 5.78/5.86 c ============================[ Search Statistics ]============================== 5.78/5.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.78/5.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.78/5.86 c =============================================================================== 5.78/5.86 c | 0 | 1194 29036 58079 | 9678 0 nan | 0.000 % | 5.78/5.86 c =============================================================================== 5.78/5.86 c core #299 5.78/5.86 c Core size: 13 Core Weight: 1 Total Weight: -296 5.78/5.86 c Elapsed CPU time: 5.85211 s Remaining CPU time: 1794.15 s 5.78/5.88 c ============================[ Search Statistics ]============================== 5.78/5.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.78/5.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.78/5.88 c =============================================================================== 5.78/5.88 c | 0 | 1200 29037 58091 | 9679 0 nan | 0.000 % | 5.78/5.89 c =============================================================================== 5.78/5.89 c core #300 5.78/5.89 c Core size: 17 Core Weight: 1 Total Weight: -295 5.78/5.89 c Elapsed CPU time: 5.87811 s Remaining CPU time: 1794.12 s 5.88/5.91 c ============================[ Search Statistics ]============================== 5.88/5.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.91 c =============================================================================== 5.88/5.91 c | 0 | 1207 29038 58105 | 9679 0 nan | 0.000 % | 5.88/5.91 c =============================================================================== 5.88/5.91 c core #301 5.88/5.91 c Core size: 10 Core Weight: 1 Total Weight: -294 5.88/5.91 c Elapsed CPU time: 5.9051 s Remaining CPU time: 1794.09 s 5.88/5.94 c ============================[ Search Statistics ]============================== 5.88/5.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.94 c =============================================================================== 5.88/5.94 c | 0 | 1211 29039 58113 | 9679 0 nan | 0.000 % | 5.88/5.94 c =============================================================================== 5.88/5.94 c core #302 5.88/5.94 c Core size: 10 Core Weight: 1 Total Weight: -293 5.88/5.94 c Elapsed CPU time: 5.9311 s Remaining CPU time: 1794.07 s 5.88/5.96 c ============================[ Search Statistics ]============================== 5.88/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.96 c =============================================================================== 5.88/5.96 c | 0 | 1215 29040 58121 | 9680 0 nan | 0.000 % | 5.88/5.97 c =============================================================================== 5.88/5.97 c core #303 5.88/5.97 c Core size: 13 Core Weight: 1 Total Weight: -292 5.88/5.97 c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s 5.88/5.99 c ============================[ Search Statistics ]============================== 5.88/5.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.99 c =============================================================================== 5.88/5.99 c | 0 | 1221 29041 58133 | 9680 0 nan | 0.000 % | 5.88/5.99 c =============================================================================== 5.88/5.99 c core #304 5.88/5.99 c Core size: 10 Core Weight: 1 Total Weight: -291 5.88/5.99 c Elapsed CPU time: 5.98609 s Remaining CPU time: 1794.01 s 5.98/6.02 c ============================[ Search Statistics ]============================== 5.98/6.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.02 c =============================================================================== 5.98/6.02 c | 0 | 1225 29042 58141 | 9680 0 nan | 0.000 % | 5.98/6.02 c =============================================================================== 5.98/6.02 c core #305 5.98/6.02 c Core size: 13 Core Weight: 1 Total Weight: -290 5.98/6.02 c Elapsed CPU time: 6.01309 s Remaining CPU time: 1793.99 s 5.98/6.05 c ============================[ Search Statistics ]============================== 5.98/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.05 c =============================================================================== 5.98/6.05 c | 0 | 1231 29043 58153 | 9681 0 nan | 0.000 % | 5.98/6.05 c =============================================================================== 5.98/6.05 c core #306 5.98/6.05 c Core size: 10 Core Weight: 1 Total Weight: -289 5.98/6.05 c Elapsed CPU time: 6.04008 s Remaining CPU time: 1793.96 s 5.98/6.07 c ============================[ Search Statistics ]============================== 5.98/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.07 c =============================================================================== 5.98/6.07 c | 0 | 1235 29044 58161 | 9681 0 nan | 0.000 % | 5.98/6.07 c =============================================================================== 5.98/6.08 c core #307 5.98/6.08 c Core size: 10 Core Weight: 1 Total Weight: -288 5.98/6.08 c Elapsed CPU time: 6.06808 s Remaining CPU time: 1793.93 s 6.08/6.10 c ============================[ Search Statistics ]============================== 6.08/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.10 c =============================================================================== 6.08/6.10 c | 0 | 1239 29045 58169 | 9681 0 nan | 0.000 % | 6.08/6.10 c =============================================================================== 6.08/6.10 c core #308 6.08/6.10 c Core size: 13 Core Weight: 1 Total Weight: -287 6.08/6.10 c Elapsed CPU time: 6.09607 s Remaining CPU time: 1793.9 s 6.08/6.13 c ============================[ Search Statistics ]============================== 6.08/6.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.13 c =============================================================================== 6.08/6.13 c | 0 | 1245 29046 58181 | 9682 0 nan | 0.000 % | 6.08/6.13 c =============================================================================== 6.08/6.13 c core #309 6.08/6.13 c Core size: 13 Core Weight: 1 Total Weight: -286 6.08/6.13 c Elapsed CPU time: 6.12307 s Remaining CPU time: 1793.88 s 6.08/6.16 c ============================[ Search Statistics ]============================== 6.08/6.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.16 c =============================================================================== 6.08/6.16 c | 0 | 1251 29047 58193 | 9682 0 nan | 0.000 % | 6.08/6.16 c =============================================================================== 6.08/6.16 c core #310 6.08/6.16 c Core size: 10 Core Weight: 1 Total Weight: -285 6.08/6.16 c Elapsed CPU time: 6.14907 s Remaining CPU time: 1793.85 s 6.08/6.18 c ============================[ Search Statistics ]============================== 6.08/6.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.18 c =============================================================================== 6.08/6.18 c | 0 | 1255 29048 58201 | 9682 0 nan | 0.000 % | 6.08/6.19 c =============================================================================== 6.08/6.19 c core #311 6.08/6.19 c Core size: 13 Core Weight: 1 Total Weight: -284 6.08/6.19 c Elapsed CPU time: 6.17806 s Remaining CPU time: 1793.82 s 6.18/6.21 c ============================[ Search Statistics ]============================== 6.18/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.21 c =============================================================================== 6.18/6.21 c | 0 | 1261 29049 58213 | 9683 0 nan | 0.000 % | 6.18/6.21 c =============================================================================== 6.18/6.21 c core #312 6.18/6.21 c Core size: 18 Core Weight: 1 Total Weight: -283 6.18/6.21 c Elapsed CPU time: 6.20406 s Remaining CPU time: 1793.8 s 6.18/6.24 c ============================[ Search Statistics ]============================== 6.18/6.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.24 c =============================================================================== 6.18/6.24 c | 0 | 1267 29050 58225 | 9683 0 nan | 0.000 % | 6.18/6.24 c =============================================================================== 6.18/6.24 c core #313 6.18/6.24 c Core size: 24 Core Weight: 1 Total Weight: -282 6.18/6.24 c Elapsed CPU time: 6.23305 s Remaining CPU time: 1793.77 s 6.18/6.27 c ============================[ Search Statistics ]============================== 6.18/6.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.27 c =============================================================================== 6.18/6.27 c | 0 | 1277 29051 58245 | 9683 0 nan | 0.000 % | 6.18/6.27 c =============================================================================== 6.18/6.27 c core #314 6.18/6.27 c Core size: 10 Core Weight: 1 Total Weight: -281 6.18/6.27 c Elapsed CPU time: 6.26205 s Remaining CPU time: 1793.74 s 6.18/6.30 c ============================[ Search Statistics ]============================== 6.18/6.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.30 c =============================================================================== 6.18/6.30 c | 0 | 1281 29052 58253 | 9684 0 nan | 0.000 % | 6.28/6.30 c =============================================================================== 6.28/6.30 c core #315 6.28/6.30 c Core size: 10 Core Weight: 1 Total Weight: -280 6.28/6.30 c Elapsed CPU time: 6.29004 s Remaining CPU time: 1793.71 s 6.28/6.32 c ============================[ Search Statistics ]============================== 6.28/6.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.28/6.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.28/6.32 c =============================================================================== 6.28/6.32 c | 0 | 1285 29053 58261 | 9684 0 nan | 0.000 % | 6.28/6.33 c =============================================================================== 6.28/6.33 c core #316 6.28/6.33 c Core size: 13 Core Weight: 1 Total Weight: -279 6.28/6.33 c Elapsed CPU time: 6.31804 s Remaining CPU time: 1793.68 s 6.28/6.35 c ============================[ Search Statistics ]============================== 6.28/6.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.28/6.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.28/6.35 c =============================================================================== 6.28/6.35 c | 0 | 1291 29054 58273 | 9684 0 nan | 0.000 % | 6.28/6.35 c =============================================================================== 6.28/6.35 c core #317 6.28/6.35 c Core size: 13 Core Weight: 1 Total Weight: -278 6.28/6.35 c Elapsed CPU time: 6.34603 s Remaining CPU time: 1793.65 s 6.28/6.38 c ============================[ Search Statistics ]============================== 6.28/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.28/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.28/6.38 c =============================================================================== 6.28/6.38 c | 0 | 1297 29055 58285 | 9685 0 nan | 0.000 % | 6.28/6.38 c =============================================================================== 6.28/6.38 c core #318 6.28/6.38 c Core size: 13 Core Weight: 1 Total Weight: -277 6.28/6.38 c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s 6.38/6.41 c ============================[ Search Statistics ]============================== 6.38/6.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.41 c =============================================================================== 6.38/6.41 c | 0 | 1303 29056 58297 | 9685 0 nan | 0.000 % | 6.38/6.41 c =============================================================================== 6.38/6.41 c core #319 6.38/6.41 c Core size: 13 Core Weight: 1 Total Weight: -276 6.38/6.41 c Elapsed CPU time: 6.40303 s Remaining CPU time: 1793.6 s 6.38/6.44 c ============================[ Search Statistics ]============================== 6.38/6.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.44 c =============================================================================== 6.38/6.44 c | 0 | 1309 29057 58309 | 9685 0 nan | 0.000 % | 6.38/6.44 c =============================================================================== 6.38/6.44 c core #320 6.38/6.44 c Core size: 13 Core Weight: 1 Total Weight: -275 6.38/6.44 c Elapsed CPU time: 6.43102 s Remaining CPU time: 1793.57 s 6.38/6.47 c ============================[ Search Statistics ]============================== 6.38/6.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.47 c =============================================================================== 6.38/6.47 c | 0 | 1315 29058 58321 | 9686 0 nan | 0.000 % | 6.38/6.47 c =============================================================================== 6.38/6.47 c core #321 6.38/6.47 c Core size: 13 Core Weight: 1 Total Weight: -274 6.38/6.47 c Elapsed CPU time: 6.46002 s Remaining CPU time: 1793.54 s 6.38/6.50 c ============================[ Search Statistics ]============================== 6.38/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.50 c =============================================================================== 6.38/6.50 c | 0 | 1321 29059 58333 | 9686 0 nan | 0.000 % | 6.50/6.50 c =============================================================================== 6.50/6.50 c core #322 6.50/6.50 c Core size: 10 Core Weight: 1 Total Weight: -273 6.50/6.50 c Elapsed CPU time: 6.48801 s Remaining CPU time: 1793.51 s 6.50/6.52 c ============================[ Search Statistics ]============================== 6.50/6.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.52 c =============================================================================== 6.50/6.52 c | 0 | 1325 29060 58341 | 9686 0 nan | 0.000 % | 6.50/6.53 c =============================================================================== 6.50/6.53 c core #323 6.50/6.53 c Core size: 31 Core Weight: 1 Total Weight: -272 6.50/6.53 c Elapsed CPU time: 6.51401 s Remaining CPU time: 1793.49 s 6.50/6.55 c ============================[ Search Statistics ]============================== 6.50/6.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.55 c =============================================================================== 6.50/6.55 c | 0 | 1335 29061 58361 | 9687 0 nan | 0.000 % | 6.50/6.55 c =============================================================================== 6.50/6.55 c core #324 6.50/6.55 c Core size: 10 Core Weight: 1 Total Weight: -271 6.50/6.55 c Elapsed CPU time: 6.54101 s Remaining CPU time: 1793.46 s 6.50/6.58 c ============================[ Search Statistics ]============================== 6.50/6.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.58 c =============================================================================== 6.50/6.58 c | 0 | 1339 29062 58369 | 9687 0 nan | 0.000 % | 6.50/6.58 c =============================================================================== 6.50/6.58 c core #325 6.50/6.58 c Core size: 13 Core Weight: 1 Total Weight: -270 6.50/6.58 c Elapsed CPU time: 6.571 s Remaining CPU time: 1793.43 s 6.59/6.61 c ============================[ Search Statistics ]============================== 6.59/6.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.61 c =============================================================================== 6.59/6.61 c | 0 | 1345 29063 58381 | 9687 0 nan | 0.000 % | 6.59/6.61 c =============================================================================== 6.59/6.61 c core #326 6.59/6.61 c Core size: 13 Core Weight: 1 Total Weight: -269 6.59/6.61 c Elapsed CPU time: 6.601 s Remaining CPU time: 1793.4 s 6.59/6.64 c ============================[ Search Statistics ]============================== 6.59/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.64 c =============================================================================== 6.59/6.64 c | 0 | 1351 29064 58393 | 9688 0 nan | 0.000 % | 6.59/6.64 c =============================================================================== 6.59/6.64 c core #327 6.59/6.64 c Core size: 13 Core Weight: 1 Total Weight: -268 6.59/6.64 c Elapsed CPU time: 6.63099 s Remaining CPU time: 1793.37 s 6.59/6.67 c ============================[ Search Statistics ]============================== 6.59/6.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.67 c =============================================================================== 6.59/6.67 c | 0 | 1357 29065 58405 | 9688 0 nan | 0.000 % | 6.59/6.67 c =============================================================================== 6.59/6.67 c core #328 6.59/6.67 c Core size: 36 Core Weight: 1 Total Weight: -267 6.59/6.67 c Elapsed CPU time: 6.66099 s Remaining CPU time: 1793.34 s 6.69/6.70 c ============================[ Search Statistics ]============================== 6.69/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.70 c =============================================================================== 6.69/6.70 c | 0 | 1369 29066 58429 | 9688 0 nan | 0.000 % | 6.69/6.70 c =============================================================================== 6.69/6.70 c core #329 6.69/6.70 c Core size: 10 Core Weight: 1 Total Weight: -266 6.69/6.70 c Elapsed CPU time: 6.68998 s Remaining CPU time: 1793.31 s 6.69/6.73 c ============================[ Search Statistics ]============================== 6.69/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.73 c =============================================================================== 6.69/6.73 c | 0 | 1373 29067 58437 | 9689 0 nan | 0.000 % | 6.69/6.73 c =============================================================================== 6.69/6.73 c core #330 6.69/6.73 c Core size: 10 Core Weight: 1 Total Weight: -265 6.69/6.73 c Elapsed CPU time: 6.71798 s Remaining CPU time: 1793.28 s 6.69/6.76 c ============================[ Search Statistics ]============================== 6.69/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.76 c =============================================================================== 6.69/6.76 c | 0 | 1377 29068 58445 | 9689 0 nan | 0.000 % | 6.69/6.76 c =============================================================================== 6.69/6.76 c core #331 6.69/6.76 c Core size: 10 Core Weight: 1 Total Weight: -264 6.69/6.76 c Elapsed CPU time: 6.74797 s Remaining CPU time: 1793.25 s 6.69/6.79 c ============================[ Search Statistics ]============================== 6.69/6.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.79 c =============================================================================== 6.69/6.79 c | 0 | 1381 29069 58453 | 9689 0 nan | 0.000 % | 6.69/6.79 c =============================================================================== 6.69/6.79 c core #332 6.69/6.79 c Core size: 10 Core Weight: 1 Total Weight: -263 6.69/6.79 c Elapsed CPU time: 6.77597 s Remaining CPU time: 1793.22 s 6.79/6.82 c ============================[ Search Statistics ]============================== 6.79/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.82 c =============================================================================== 6.79/6.82 c | 0 | 1385 29070 58461 | 9690 0 nan | 0.000 % | 6.79/6.82 c =============================================================================== 6.79/6.82 c core #333 6.79/6.82 c Core size: 10 Core Weight: 1 Total Weight: -262 6.79/6.82 c Elapsed CPU time: 6.80597 s Remaining CPU time: 1793.19 s 6.79/6.85 c ============================[ Search Statistics ]============================== 6.79/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.85 c =============================================================================== 6.79/6.85 c | 0 | 1389 29071 58469 | 9690 0 nan | 0.000 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c core #334 6.79/6.85 c Core size: 13 Core Weight: 1 Total Weight: -261 6.79/6.85 c Elapsed CPU time: 6.83496 s Remaining CPU time: 1793.17 s 6.79/6.88 c ============================[ Search Statistics ]============================== 6.79/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.88 c =============================================================================== 6.79/6.88 c | 0 | 1395 29072 58481 | 9690 0 nan | 0.000 % | 6.79/6.88 c =============================================================================== 6.79/6.88 c core #335 6.79/6.88 c Core size: 13 Core Weight: 1 Total Weight: -260 6.79/6.88 c Elapsed CPU time: 6.86496 s Remaining CPU time: 1793.14 s 6.89/6.91 c ============================[ Search Statistics ]============================== 6.89/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.91 c =============================================================================== 6.89/6.91 c | 0 | 1401 29073 58493 | 9691 0 nan | 0.000 % | 6.89/6.91 c =============================================================================== 6.89/6.91 c core #336 6.89/6.91 c Core size: 13 Core Weight: 1 Total Weight: -259 6.89/6.91 c Elapsed CPU time: 6.89695 s Remaining CPU time: 1793.1 s 6.89/6.94 c ============================[ Search Statistics ]============================== 6.89/6.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.94 c =============================================================================== 6.89/6.94 c | 0 | 1407 29074 58505 | 9691 0 nan | 0.000 % | 6.89/6.94 c =============================================================================== 6.89/6.94 c core #337 6.89/6.94 c Core size: 13 Core Weight: 1 Total Weight: -258 6.89/6.94 c Elapsed CPU time: 6.92495 s Remaining CPU time: 1793.08 s 6.89/6.97 c ============================[ Search Statistics ]============================== 6.89/6.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.97 c =============================================================================== 6.89/6.97 c | 0 | 1413 29075 58517 | 9691 0 nan | 0.000 % | 6.89/6.97 c =============================================================================== 6.89/6.97 c core #338 6.89/6.97 c Core size: 13 Core Weight: 1 Total Weight: -257 6.89/6.97 c Elapsed CPU time: 6.95494 s Remaining CPU time: 1793.05 s 6.99/7.00 c ============================[ Search Statistics ]============================== 6.99/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.00 c =============================================================================== 6.99/7.00 c | 0 | 1419 29076 58529 | 9692 0 nan | 0.000 % | 6.99/7.00 c =============================================================================== 6.99/7.00 c core #339 6.99/7.00 c Core size: 13 Core Weight: 1 Total Weight: -256 6.99/7.00 c Elapsed CPU time: 6.98594 s Remaining CPU time: 1793.01 s 6.99/7.03 c ============================[ Search Statistics ]============================== 6.99/7.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.03 c =============================================================================== 6.99/7.03 c | 0 | 1425 29077 58541 | 9692 0 nan | 0.000 % | 6.99/7.03 c =============================================================================== 6.99/7.03 c core #340 6.99/7.03 c Core size: 13 Core Weight: 1 Total Weight: -255 6.99/7.03 c Elapsed CPU time: 7.01593 s Remaining CPU time: 1792.98 s 6.99/7.06 c ============================[ Search Statistics ]============================== 6.99/7.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.06 c =============================================================================== 6.99/7.06 c | 0 | 1431 29078 58553 | 9692 0 nan | 0.000 % | 6.99/7.06 c =============================================================================== 6.99/7.06 c core #341 6.99/7.06 c Core size: 18 Core Weight: 1 Total Weight: -254 6.99/7.06 c Elapsed CPU time: 7.04393 s Remaining CPU time: 1792.96 s 6.99/7.09 c ============================[ Search Statistics ]============================== 6.99/7.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.09 c =============================================================================== 6.99/7.09 c | 0 | 1437 29079 58565 | 9693 0 nan | 0.000 % | 6.99/7.09 c =============================================================================== 6.99/7.09 c core #342 6.99/7.09 c Core size: 13 Core Weight: 1 Total Weight: -253 6.99/7.09 c Elapsed CPU time: 7.07392 s Remaining CPU time: 1792.93 s 7.09/7.12 c ============================[ Search Statistics ]============================== 7.09/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.12 c =============================================================================== 7.09/7.12 c | 0 | 1443 29080 58577 | 9693 0 nan | 0.000 % | 7.09/7.12 c =============================================================================== 7.09/7.12 c core #343 7.09/7.12 c Core size: 10 Core Weight: 1 Total Weight: -252 7.09/7.12 c Elapsed CPU time: 7.10492 s Remaining CPU time: 1792.9 s 7.09/7.15 c ============================[ Search Statistics ]============================== 7.09/7.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.15 c =============================================================================== 7.09/7.15 c | 0 | 1447 29081 58585 | 9693 0 nan | 0.000 % | 7.09/7.15 c =============================================================================== 7.09/7.15 c core #344 7.09/7.15 c Core size: 24 Core Weight: 1 Total Weight: -251 7.09/7.15 c Elapsed CPU time: 7.13392 s Remaining CPU time: 1792.87 s 7.09/7.18 c ============================[ Search Statistics ]============================== 7.09/7.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.18 c =============================================================================== 7.09/7.18 c | 0 | 1457 29082 58605 | 9694 0 nan | 0.000 % | 7.09/7.18 c =============================================================================== 7.09/7.18 c core #345 7.09/7.18 c Core size: 10 Core Weight: 1 Total Weight: -250 7.09/7.18 c Elapsed CPU time: 7.16391 s Remaining CPU time: 1792.84 s 7.18/7.21 c ============================[ Search Statistics ]============================== 7.18/7.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.21 c =============================================================================== 7.18/7.21 c | 0 | 1461 29083 58613 | 9694 0 nan | 0.000 % | 7.18/7.21 c =============================================================================== 7.18/7.21 c core #346 7.18/7.21 c Core size: 10 Core Weight: 1 Total Weight: -249 7.18/7.21 c Elapsed CPU time: 7.19591 s Remaining CPU time: 1792.8 s 7.18/7.24 c ============================[ Search Statistics ]============================== 7.18/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.24 c =============================================================================== 7.18/7.24 c | 0 | 1465 29084 58621 | 9694 0 nan | 0.000 % | 7.18/7.24 c =============================================================================== 7.18/7.24 c core #347 7.18/7.24 c Core size: 10 Core Weight: 1 Total Weight: -248 7.18/7.24 c Elapsed CPU time: 7.2269 s Remaining CPU time: 1792.77 s 7.18/7.27 c ============================[ Search Statistics ]============================== 7.18/7.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.27 c =============================================================================== 7.18/7.27 c | 0 | 1469 29085 58629 | 9695 0 nan | 0.000 % | 7.18/7.27 c =============================================================================== 7.18/7.27 c core #348 7.18/7.27 c Core size: 10 Core Weight: 1 Total Weight: -247 7.18/7.27 c Elapsed CPU time: 7.2559 s Remaining CPU time: 1792.74 s 7.28/7.30 c ============================[ Search Statistics ]============================== 7.28/7.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.30 c =============================================================================== 7.28/7.30 c | 0 | 1473 29086 58637 | 9695 0 nan | 0.000 % | 7.28/7.30 c =============================================================================== 7.28/7.30 c core #349 7.28/7.30 c Core size: 18 Core Weight: 1 Total Weight: -246 7.28/7.30 c Elapsed CPU time: 7.28789 s Remaining CPU time: 1792.71 s 7.28/7.33 c ============================[ Search Statistics ]============================== 7.28/7.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.33 c =============================================================================== 7.28/7.33 c | 0 | 1479 29087 58649 | 9695 0 nan | 0.000 % | 7.28/7.34 c =============================================================================== 7.28/7.34 c core #350 7.28/7.34 c Core size: 10 Core Weight: 1 Total Weight: -245 7.28/7.34 c Elapsed CPU time: 7.31989 s Remaining CPU time: 1792.68 s 7.28/7.36 c ============================[ Search Statistics ]============================== 7.28/7.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.36 c =============================================================================== 7.28/7.36 c | 0 | 1483 29088 58657 | 9696 0 nan | 0.000 % | 7.28/7.37 c =============================================================================== 7.28/7.37 c core #351 7.28/7.37 c Core size: 13 Core Weight: 1 Total Weight: -244 7.28/7.37 c Elapsed CPU time: 7.35088 s Remaining CPU time: 1792.65 s 7.28/7.39 c ============================[ Search Statistics ]============================== 7.28/7.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.39 c =============================================================================== 7.28/7.39 c | 0 | 1489 29089 58669 | 9696 0 nan | 0.000 % | 7.38/7.40 c =============================================================================== 7.38/7.40 c core #352 7.38/7.40 c Core size: 13 Core Weight: 1 Total Weight: -243 7.38/7.40 c Elapsed CPU time: 7.37988 s Remaining CPU time: 1792.62 s 7.38/7.43 c ============================[ Search Statistics ]============================== 7.38/7.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.38/7.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.38/7.43 c =============================================================================== 7.38/7.43 c | 0 | 1495 29090 58681 | 9696 0 nan | 0.000 % | 7.38/7.43 c =============================================================================== 7.38/7.43 c core #353 7.38/7.43 c Core size: 13 Core Weight: 1 Total Weight: -242 7.38/7.43 c Elapsed CPU time: 7.41187 s Remaining CPU time: 1792.59 s 7.38/7.46 c ============================[ Search Statistics ]============================== 7.38/7.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.38/7.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.38/7.46 c =============================================================================== 7.38/7.46 c | 0 | 1501 29091 58693 | 9697 0 nan | 0.000 % | 7.38/7.46 c =============================================================================== 7.38/7.46 c core #354 7.38/7.46 c Core size: 13 Core Weight: 1 Total Weight: -241 7.38/7.46 c Elapsed CPU time: 7.44287 s Remaining CPU time: 1792.56 s 7.38/7.49 c ============================[ Search Statistics ]============================== 7.38/7.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.38/7.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.38/7.49 c =============================================================================== 7.38/7.49 c | 0 | 1507 29092 58705 | 9697 0 nan | 0.000 % | 7.38/7.49 c =============================================================================== 7.38/7.49 c core #355 7.38/7.49 c Core size: 13 Core Weight: 1 Total Weight: -240 7.38/7.49 c Elapsed CPU time: 7.47286 s Remaining CPU time: 1792.53 s 7.48/7.52 c ============================[ Search Statistics ]============================== 7.48/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.48/7.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.48/7.52 c =============================================================================== 7.48/7.52 c | 0 | 1513 29093 58717 | 9697 0 nan | 0.000 % | 7.48/7.52 c =============================================================================== 7.48/7.52 c core #356 7.48/7.52 c Core size: 10 Core Weight: 1 Total Weight: -239 7.48/7.52 c Elapsed CPU time: 7.50286 s Remaining CPU time: 1792.5 s 7.48/7.55 c ============================[ Search Statistics ]============================== 7.48/7.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.48/7.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.48/7.55 c =============================================================================== 7.48/7.55 c | 0 | 1517 29094 58725 | 9698 0 nan | 0.000 % | 7.48/7.55 c =============================================================================== 7.48/7.55 c core #357 7.48/7.55 c Core size: 27 Core Weight: 1 Total Weight: -238 7.48/7.55 c Elapsed CPU time: 7.53485 s Remaining CPU time: 1792.47 s 7.48/7.58 c ============================[ Search Statistics ]============================== 7.48/7.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.48/7.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.48/7.58 c =============================================================================== 7.48/7.58 c | 0 | 1529 29095 58749 | 9698 0 nan | 0.000 % | 7.48/7.58 c =============================================================================== 7.48/7.58 c core #358 7.48/7.58 c Core size: 13 Core Weight: 1 Total Weight: -237 7.48/7.58 c Elapsed CPU time: 7.56785 s Remaining CPU time: 1792.43 s 7.59/7.61 c ============================[ Search Statistics ]============================== 7.59/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.61 c =============================================================================== 7.59/7.61 c | 0 | 1535 29096 58761 | 9698 0 nan | 0.000 % | 7.59/7.62 c =============================================================================== 7.59/7.62 c core #359 7.59/7.62 c Core size: 10 Core Weight: 1 Total Weight: -236 7.59/7.62 c Elapsed CPU time: 7.59884 s Remaining CPU time: 1792.4 s 7.59/7.65 c ============================[ Search Statistics ]============================== 7.59/7.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.65 c =============================================================================== 7.59/7.65 c | 0 | 1539 29097 58769 | 9699 0 nan | 0.000 % | 7.59/7.65 c =============================================================================== 7.59/7.65 c core #360 7.59/7.65 c Core size: 10 Core Weight: 1 Total Weight: -235 7.59/7.65 c Elapsed CPU time: 7.63084 s Remaining CPU time: 1792.37 s 7.59/7.68 c ============================[ Search Statistics ]============================== 7.59/7.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.68 c =============================================================================== 7.59/7.68 c | 0 | 1543 29098 58777 | 9699 0 nan | 0.000 % | 7.59/7.68 c =============================================================================== 7.59/7.68 c core #361 7.59/7.68 c Core size: 30 Core Weight: 1 Total Weight: -234 7.59/7.68 c Elapsed CPU time: 7.66383 s Remaining CPU time: 1792.34 s 7.69/7.71 c ============================[ Search Statistics ]============================== 7.69/7.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.71 c =============================================================================== 7.69/7.71 c | 0 | 1551 29099 58793 | 9699 0 nan | 0.000 % | 7.69/7.71 c =============================================================================== 7.69/7.71 c core #362 7.69/7.71 c Core size: 13 Core Weight: 1 Total Weight: -233 7.69/7.71 c Elapsed CPU time: 7.69483 s Remaining CPU time: 1792.31 s 7.69/7.74 c ============================[ Search Statistics ]============================== 7.69/7.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.74 c =============================================================================== 7.69/7.74 c | 0 | 1557 29100 58805 | 9700 0 nan | 0.000 % | 7.69/7.74 c =============================================================================== 7.69/7.74 c core #363 7.69/7.74 c Core size: 13 Core Weight: 1 Total Weight: -232 7.69/7.74 c Elapsed CPU time: 7.72682 s Remaining CPU time: 1792.27 s 7.69/7.77 c ============================[ Search Statistics ]============================== 7.69/7.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.77 c =============================================================================== 7.69/7.77 c | 0 | 1563 29101 58817 | 9700 0 nan | 0.000 % | 7.69/7.78 c =============================================================================== 7.69/7.78 c core #364 7.69/7.78 c Core size: 13 Core Weight: 1 Total Weight: -231 7.69/7.78 c Elapsed CPU time: 7.75882 s Remaining CPU time: 1792.24 s 7.78/7.80 c ============================[ Search Statistics ]============================== 7.78/7.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.80 c =============================================================================== 7.78/7.80 c | 0 | 1569 29102 58829 | 9700 0 nan | 0.000 % | 7.78/7.81 c =============================================================================== 7.78/7.81 c core #365 7.78/7.81 c Core size: 10 Core Weight: 1 Total Weight: -230 7.78/7.81 c Elapsed CPU time: 7.78981 s Remaining CPU time: 1792.21 s 7.78/7.84 c ============================[ Search Statistics ]============================== 7.78/7.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.84 c =============================================================================== 7.78/7.84 c | 0 | 1573 29103 58837 | 9701 0 nan | 0.000 % | 7.78/7.84 c =============================================================================== 7.78/7.84 c core #366 7.78/7.84 c Core size: 13 Core Weight: 1 Total Weight: -229 7.78/7.84 c Elapsed CPU time: 7.82181 s Remaining CPU time: 1792.18 s 7.78/7.87 c ============================[ Search Statistics ]============================== 7.78/7.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.78/7.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.78/7.87 c =============================================================================== 7.78/7.87 c | 0 | 1579 29104 58849 | 9701 0 nan | 0.000 % | 7.78/7.87 c =============================================================================== 7.78/7.87 c core #367 7.78/7.87 c Core size: 10 Core Weight: 1 Total Weight: -228 7.78/7.87 c Elapsed CPU time: 7.85281 s Remaining CPU time: 1792.15 s 7.88/7.90 c ============================[ Search Statistics ]============================== 7.88/7.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.90 c =============================================================================== 7.88/7.90 c | 0 | 1583 29105 58857 | 9701 0 nan | 0.000 % | 7.88/7.90 c =============================================================================== 7.88/7.90 c core #368 7.88/7.90 c Core size: 13 Core Weight: 1 Total Weight: -227 7.88/7.90 c Elapsed CPU time: 7.8858 s Remaining CPU time: 1792.11 s 7.88/7.93 c ============================[ Search Statistics ]============================== 7.88/7.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.93 c =============================================================================== 7.88/7.93 c | 0 | 1589 29106 58869 | 9702 0 nan | 0.000 % | 7.88/7.93 c =============================================================================== 7.88/7.94 c core #369 7.88/7.94 c Core size: 13 Core Weight: 1 Total Weight: -226 7.88/7.94 c Elapsed CPU time: 7.9168 s Remaining CPU time: 1792.08 s 7.88/7.96 c ============================[ Search Statistics ]============================== 7.88/7.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.96 c =============================================================================== 7.88/7.96 c | 0 | 1595 29107 58881 | 9702 0 nan | 0.000 % | 7.88/7.97 c =============================================================================== 7.88/7.97 c core #370 7.88/7.97 c Core size: 10 Core Weight: 1 Total Weight: -225 7.88/7.97 c Elapsed CPU time: 7.94879 s Remaining CPU time: 1792.05 s 7.88/8.00 c ============================[ Search Statistics ]============================== 7.88/8.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/8.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/8.00 c =============================================================================== 7.88/8.00 c | 0 | 1599 29108 58889 | 9702 0 nan | 0.000 % | 7.99/8.00 c =============================================================================== 7.99/8.00 c core #371 7.99/8.00 c Core size: 18 Core Weight: 1 Total Weight: -224 7.99/8.00 c Elapsed CPU time: 7.97879 s Remaining CPU time: 1792.02 s 7.99/8.03 c ============================[ Search Statistics ]============================== 7.99/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.03 c =============================================================================== 7.99/8.03 c | 0 | 1605 29109 58901 | 9703 0 nan | 0.000 % | 7.99/8.03 c =============================================================================== 7.99/8.03 c core #372 7.99/8.03 c Core size: 17 Core Weight: 1 Total Weight: -223 7.99/8.03 c Elapsed CPU time: 8.01178 s Remaining CPU time: 1791.99 s 7.99/8.06 c ============================[ Search Statistics ]============================== 7.99/8.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.06 c =============================================================================== 7.99/8.06 c | 0 | 1613 29110 58917 | 9703 0 nan | 0.000 % | 7.99/8.07 c =============================================================================== 7.99/8.07 c core #373 7.99/8.07 c Core size: 13 Core Weight: 1 Total Weight: -222 7.99/8.07 c Elapsed CPU time: 8.04578 s Remaining CPU time: 1791.95 s 7.99/8.09 c ============================[ Search Statistics ]============================== 7.99/8.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.09 c =============================================================================== 7.99/8.09 c | 0 | 1619 29111 58929 | 9703 0 nan | 0.000 % | 8.09/8.10 c =============================================================================== 8.09/8.10 c core #374 8.09/8.10 c Core size: 13 Core Weight: 1 Total Weight: -221 8.09/8.10 c Elapsed CPU time: 8.07777 s Remaining CPU time: 1791.92 s 8.09/8.13 c ============================[ Search Statistics ]============================== 8.09/8.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.13 c =============================================================================== 8.09/8.13 c | 0 | 1625 29112 58941 | 9704 0 nan | 0.000 % | 8.09/8.13 c =============================================================================== 8.09/8.13 c core #375 8.09/8.13 c Core size: 10 Core Weight: 1 Total Weight: -220 8.09/8.13 c Elapsed CPU time: 8.10977 s Remaining CPU time: 1791.89 s 8.09/8.16 c ============================[ Search Statistics ]============================== 8.09/8.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.16 c =============================================================================== 8.09/8.16 c | 0 | 1629 29113 58949 | 9704 0 nan | 0.000 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c core #376 8.09/8.16 c Core size: 13 Core Weight: 1 Total Weight: -219 8.09/8.16 c Elapsed CPU time: 8.14076 s Remaining CPU time: 1791.86 s 8.09/8.19 c ============================[ Search Statistics ]============================== 8.09/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.19 c =============================================================================== 8.09/8.19 c | 0 | 1635 29114 58961 | 9704 0 nan | 0.000 % | 8.09/8.20 c =============================================================================== 8.19/8.20 c core #377 8.19/8.20 c Core size: 40 Core Weight: 1 Total Weight: -218 8.19/8.20 c Elapsed CPU time: 8.17376 s Remaining CPU time: 1791.83 s 8.19/8.23 c ============================[ Search Statistics ]============================== 8.19/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.23 c =============================================================================== 8.19/8.23 c | 0 | 1647 29115 58985 | 9705 0 nan | 0.000 % | 8.19/8.23 c =============================================================================== 8.19/8.23 c core #378 8.19/8.23 c Core size: 13 Core Weight: 1 Total Weight: -217 8.19/8.23 c Elapsed CPU time: 8.20875 s Remaining CPU time: 1791.79 s 8.19/8.26 c ============================[ Search Statistics ]============================== 8.19/8.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.26 c =============================================================================== 8.19/8.26 c | 0 | 1653 29116 58997 | 9705 0 nan | 0.000 % | 8.19/8.26 c =============================================================================== 8.19/8.26 c core #379 8.19/8.26 c Core size: 10 Core Weight: 1 Total Weight: -216 8.19/8.26 c Elapsed CPU time: 8.23875 s Remaining CPU time: 1791.76 s 8.19/8.29 c ============================[ Search Statistics ]============================== 8.19/8.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.29 c =============================================================================== 8.19/8.29 c | 0 | 1657 29117 59005 | 9705 0 nan | 0.000 % | 8.19/8.30 c =============================================================================== 8.19/8.30 c core #380 8.19/8.30 c Core size: 13 Core Weight: 1 Total Weight: -215 8.19/8.30 c Elapsed CPU time: 8.27174 s Remaining CPU time: 1791.73 s 8.29/8.32 c ============================[ Search Statistics ]============================== 8.29/8.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.32 c =============================================================================== 8.29/8.32 c | 0 | 1663 29118 59017 | 9706 0 nan | 0.000 % | 8.29/8.33 c =============================================================================== 8.29/8.33 c core #381 8.29/8.33 c Core size: 10 Core Weight: 1 Total Weight: -214 8.29/8.33 c Elapsed CPU time: 8.30474 s Remaining CPU time: 1791.7 s 8.29/8.36 c ============================[ Search Statistics ]============================== 8.29/8.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.36 c =============================================================================== 8.29/8.36 c | 0 | 1667 29119 59025 | 9706 0 nan | 0.000 % | 8.29/8.36 c =============================================================================== 8.29/8.36 c core #382 8.29/8.36 c Core size: 10 Core Weight: 1 Total Weight: -213 8.29/8.36 c Elapsed CPU time: 8.33573 s Remaining CPU time: 1791.66 s 8.29/8.39 c ============================[ Search Statistics ]============================== 8.29/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.39 c =============================================================================== 8.29/8.39 c | 0 | 1671 29120 59033 | 9706 0 nan | 0.000 % | 8.29/8.39 c =============================================================================== 8.29/8.39 c core #383 8.29/8.39 c Core size: 13 Core Weight: 1 Total Weight: -212 8.29/8.39 c Elapsed CPU time: 8.36973 s Remaining CPU time: 1791.63 s 8.39/8.42 c ============================[ Search Statistics ]============================== 8.39/8.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.42 c =============================================================================== 8.39/8.42 c | 0 | 1677 29121 59045 | 9707 0 nan | 0.000 % | 8.39/8.43 c =============================================================================== 8.39/8.43 c core #384 8.39/8.43 c Core size: 10 Core Weight: 1 Total Weight: -211 8.39/8.43 c Elapsed CPU time: 8.40272 s Remaining CPU time: 1791.6 s 8.39/8.46 c ============================[ Search Statistics ]============================== 8.39/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.46 c =============================================================================== 8.39/8.46 c | 0 | 1681 29122 59053 | 9707 0 nan | 0.000 % | 8.39/8.46 c =============================================================================== 8.39/8.46 c core #385 8.39/8.46 c Core size: 13 Core Weight: 1 Total Weight: -210 8.39/8.46 c Elapsed CPU time: 8.43772 s Remaining CPU time: 1791.56 s 8.39/8.49 c ============================[ Search Statistics ]============================== 8.39/8.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.49 c =============================================================================== 8.39/8.49 c | 0 | 1687 29123 59065 | 9707 0 nan | 0.000 % | 8.39/8.50 c =============================================================================== 8.39/8.50 c core #386 8.39/8.50 c Core size: 10 Core Weight: 1 Total Weight: -209 8.39/8.50 c Elapsed CPU time: 8.47071 s Remaining CPU time: 1791.53 s 8.49/8.53 c ============================[ Search Statistics ]============================== 8.49/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.53 c =============================================================================== 8.49/8.53 c | 0 | 1691 29124 59073 | 9708 0 nan | 0.000 % | 8.49/8.53 c =============================================================================== 8.49/8.53 c core #387 8.49/8.53 c Core size: 13 Core Weight: 1 Total Weight: -208 8.49/8.53 c Elapsed CPU time: 8.50371 s Remaining CPU time: 1791.5 s 8.49/8.56 c ============================[ Search Statistics ]============================== 8.49/8.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.56 c =============================================================================== 8.49/8.56 c | 0 | 1697 29125 59085 | 9708 0 nan | 0.000 % | 8.49/8.56 c =============================================================================== 8.49/8.56 c core #388 8.49/8.56 c Core size: 13 Core Weight: 1 Total Weight: -207 8.49/8.56 c Elapsed CPU time: 8.5377 s Remaining CPU time: 1791.46 s 8.49/8.59 c ============================[ Search Statistics ]============================== 8.49/8.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.59 c =============================================================================== 8.49/8.59 c | 0 | 1703 29126 59097 | 9708 0 nan | 0.000 % | 8.49/8.60 c =============================================================================== 8.49/8.60 c core #389 8.49/8.60 c Core size: 13 Core Weight: 1 Total Weight: -206 8.49/8.60 c Elapsed CPU time: 8.5717 s Remaining CPU time: 1791.43 s 8.59/8.62 c ============================[ Search Statistics ]============================== 8.59/8.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.62 c =============================================================================== 8.59/8.62 c | 0 | 1709 29127 59109 | 9709 0 nan | 0.000 % | 8.59/8.63 c =============================================================================== 8.59/8.63 c core #390 8.59/8.63 c Core size: 24 Core Weight: 1 Total Weight: -205 8.59/8.63 c Elapsed CPU time: 8.60369 s Remaining CPU time: 1791.4 s 8.59/8.66 c ============================[ Search Statistics ]============================== 8.59/8.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.66 c =============================================================================== 8.59/8.66 c | 0 | 1719 29128 59129 | 9709 0 nan | 0.000 % | 8.59/8.66 c =============================================================================== 8.59/8.66 c core #391 8.59/8.66 c Core size: 13 Core Weight: 1 Total Weight: -204 8.59/8.66 c Elapsed CPU time: 8.63769 s Remaining CPU time: 1791.36 s 8.59/8.69 c ============================[ Search Statistics ]============================== 8.59/8.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.69 c =============================================================================== 8.59/8.69 c | 0 | 1725 29129 59141 | 9709 0 nan | 0.000 % | 8.69/8.70 c =============================================================================== 8.69/8.70 c core #392 8.69/8.70 c Core size: 13 Core Weight: 1 Total Weight: -203 8.69/8.70 c Elapsed CPU time: 8.67068 s Remaining CPU time: 1791.33 s 8.69/8.73 c ============================[ Search Statistics ]============================== 8.69/8.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.73 c =============================================================================== 8.69/8.73 c | 0 | 1731 29130 59153 | 9710 0 nan | 0.000 % | 8.69/8.73 c =============================================================================== 8.69/8.73 c core #393 8.69/8.73 c Core size: 13 Core Weight: 1 Total Weight: -202 8.69/8.73 c Elapsed CPU time: 8.70468 s Remaining CPU time: 1791.3 s 8.69/8.76 c ============================[ Search Statistics ]============================== 8.69/8.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.76 c =============================================================================== 8.69/8.76 c | 0 | 1737 29131 59165 | 9710 0 nan | 0.000 % | 8.69/8.76 c =============================================================================== 8.69/8.76 c core #394 8.69/8.76 c Core size: 13 Core Weight: 1 Total Weight: -201 8.69/8.76 c Elapsed CPU time: 8.73667 s Remaining CPU time: 1791.26 s 8.69/8.79 c ============================[ Search Statistics ]============================== 8.69/8.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.79 c =============================================================================== 8.69/8.79 c | 0 | 1743 29132 59177 | 9710 0 nan | 0.000 % | 8.69/8.80 c =============================================================================== 8.69/8.80 c core #395 8.69/8.80 c Core size: 13 Core Weight: 1 Total Weight: -200 8.69/8.80 c Elapsed CPU time: 8.77067 s Remaining CPU time: 1791.23 s 8.79/8.83 c ============================[ Search Statistics ]============================== 8.79/8.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.83 c =============================================================================== 8.79/8.83 c | 0 | 1749 29133 59189 | 9711 0 nan | 0.000 % | 8.79/8.83 c =============================================================================== 8.79/8.83 c core #396 8.79/8.83 c Core size: 13 Core Weight: 1 Total Weight: -199 8.79/8.83 c Elapsed CPU time: 8.80566 s Remaining CPU time: 1791.19 s 8.79/8.86 c ============================[ Search Statistics ]============================== 8.79/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.86 c =============================================================================== 8.79/8.86 c | 0 | 1755 29134 59201 | 9711 0 nan | 0.000 % | 8.79/8.87 c =============================================================================== 8.79/8.87 c core #397 8.79/8.87 c Core size: 21 Core Weight: 1 Total Weight: -198 8.79/8.87 c Elapsed CPU time: 8.83966 s Remaining CPU time: 1791.16 s 8.79/8.90 c ============================[ Search Statistics ]============================== 8.79/8.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.90 c =============================================================================== 8.79/8.90 c | 0 | 1763 29135 59217 | 9711 0 nan | 0.000 % | 8.88/8.90 c =============================================================================== 8.88/8.90 c core #398 8.88/8.90 c Core size: 13 Core Weight: 1 Total Weight: -197 8.88/8.90 c Elapsed CPU time: 8.87165 s Remaining CPU time: 1791.13 s 8.88/8.93 c ============================[ Search Statistics ]============================== 8.88/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.93 c =============================================================================== 8.88/8.93 c | 0 | 1769 29136 59229 | 9712 0 nan | 0.000 % | 8.88/8.93 c =============================================================================== 8.88/8.93 c core #399 8.88/8.93 c Core size: 39 Core Weight: 1 Total Weight: -196 8.88/8.93 c Elapsed CPU time: 8.90565 s Remaining CPU time: 1791.09 s 8.88/8.96 c ============================[ Search Statistics ]============================== 8.88/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.96 c =============================================================================== 8.88/8.96 c | 0 | 1787 29137 59265 | 9712 0 nan | 0.000 % | 8.88/8.97 c =============================================================================== 8.88/8.97 c core #400 8.88/8.97 c Core size: 27 Core Weight: 1 Total Weight: -195 8.88/8.97 c Elapsed CPU time: 8.94164 s Remaining CPU time: 1791.06 s 8.99/9.00 c ============================[ Search Statistics ]============================== 8.99/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.00 c =============================================================================== 8.99/9.00 c | 0 | 1797 29138 59285 | 9712 0 nan | 0.000 % | 8.99/9.00 c =============================================================================== 8.99/9.00 c core #401 8.99/9.00 c Core size: 13 Core Weight: 1 Total Weight: -194 8.99/9.00 c Elapsed CPU time: 8.97663 s Remaining CPU time: 1791.02 s 8.99/9.03 c ============================[ Search Statistics ]============================== 8.99/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.03 c =============================================================================== 8.99/9.03 c | 0 | 1803 29139 59297 | 9713 0 nan | 0.000 % | 8.99/9.04 c =============================================================================== 8.99/9.04 c core #402 8.99/9.04 c Core size: 13 Core Weight: 1 Total Weight: -193 8.99/9.04 c Elapsed CPU time: 9.01263 s Remaining CPU time: 1790.99 s 8.99/9.07 c ============================[ Search Statistics ]============================== 8.99/9.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.07 c =============================================================================== 8.99/9.07 c | 0 | 1809 29140 59309 | 9713 0 nan | 0.000 % | 8.99/9.07 c =============================================================================== 8.99/9.07 c core #403 8.99/9.07 c Core size: 10 Core Weight: 1 Total Weight: -192 8.99/9.07 c Elapsed CPU time: 9.04562 s Remaining CPU time: 1790.95 s 9.09/9.10 c ============================[ Search Statistics ]============================== 9.09/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.10 c =============================================================================== 9.09/9.10 c | 0 | 1813 29141 59317 | 9713 0 nan | 0.000 % | 9.09/9.11 c =============================================================================== 9.09/9.11 c core #404 9.09/9.11 c Core size: 17 Core Weight: 1 Total Weight: -191 9.09/9.11 c Elapsed CPU time: 9.07862 s Remaining CPU time: 1790.92 s 9.09/9.14 c ============================[ Search Statistics ]============================== 9.09/9.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.14 c =============================================================================== 9.09/9.14 c | 0 | 1821 29142 59333 | 9714 0 nan | 0.000 % | 9.09/9.14 c =============================================================================== 9.09/9.14 c core #405 9.09/9.14 c Core size: 22 Core Weight: 1 Total Weight: -190 9.09/9.14 c Elapsed CPU time: 9.11361 s Remaining CPU time: 1790.89 s 9.09/9.17 c ============================[ Search Statistics ]============================== 9.09/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.17 c =============================================================================== 9.09/9.17 c | 0 | 1829 29143 59349 | 9714 0 nan | 0.000 % | 9.09/9.18 c =============================================================================== 9.09/9.18 c core #406 9.09/9.18 c Core size: 10 Core Weight: 1 Total Weight: -189 9.09/9.18 c Elapsed CPU time: 9.14761 s Remaining CPU time: 1790.85 s 9.18/9.21 c ============================[ Search Statistics ]============================== 9.18/9.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.21 c =============================================================================== 9.18/9.21 c | 0 | 1833 29144 59357 | 9714 0 nan | 0.000 % | 9.18/9.21 c =============================================================================== 9.18/9.21 c core #407 9.18/9.21 c Core size: 13 Core Weight: 1 Total Weight: -188 9.18/9.21 c Elapsed CPU time: 9.1826 s Remaining CPU time: 1790.82 s 9.18/9.24 c ============================[ Search Statistics ]============================== 9.18/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.24 c =============================================================================== 9.18/9.24 c | 0 | 1839 29145 59369 | 9715 0 nan | 0.000 % | 9.18/9.25 c =============================================================================== 9.18/9.25 c core #408 9.18/9.25 c Core size: 13 Core Weight: 1 Total Weight: -187 9.18/9.25 c Elapsed CPU time: 9.2176 s Remaining CPU time: 1790.78 s 9.18/9.28 c ============================[ Search Statistics ]============================== 9.18/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.28 c =============================================================================== 9.18/9.28 c | 0 | 1845 29146 59381 | 9715 0 nan | 0.000 % | 9.18/9.28 c =============================================================================== 9.18/9.28 c core #409 9.18/9.28 c Core size: 18 Core Weight: 1 Total Weight: -186 9.18/9.28 c Elapsed CPU time: 9.25159 s Remaining CPU time: 1790.75 s 9.28/9.31 c ============================[ Search Statistics ]============================== 9.28/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.31 c =============================================================================== 9.28/9.31 c | 0 | 1851 29147 59393 | 9715 0 nan | 0.000 % | 9.28/9.32 c =============================================================================== 9.28/9.32 c core #410 9.28/9.32 c Core size: 18 Core Weight: 1 Total Weight: -185 9.28/9.32 c Elapsed CPU time: 9.28759 s Remaining CPU time: 1790.71 s 9.28/9.35 c ============================[ Search Statistics ]============================== 9.28/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.35 c =============================================================================== 9.28/9.35 c | 0 | 1859 29148 59409 | 9716 0 nan | 0.000 % | 9.28/9.35 c =============================================================================== 9.28/9.35 c core #411 9.28/9.35 c Core size: 17 Core Weight: 1 Total Weight: -184 9.28/9.35 c Elapsed CPU time: 9.32058 s Remaining CPU time: 1790.68 s 9.28/9.38 c ============================[ Search Statistics ]============================== 9.28/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.38 c =============================================================================== 9.28/9.38 c | 0 | 1867 29149 59425 | 9716 0 nan | 0.000 % | 9.28/9.39 c =============================================================================== 9.28/9.39 c core #412 9.28/9.39 c Core size: 45 Core Weight: 1 Total Weight: -183 9.28/9.39 c Elapsed CPU time: 9.35758 s Remaining CPU time: 1790.64 s 9.39/9.42 c ============================[ Search Statistics ]============================== 9.39/9.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.42 c =============================================================================== 9.39/9.42 c | 0 | 1883 29150 59457 | 9716 0 nan | 0.000 % | 9.39/9.42 c =============================================================================== 9.39/9.42 c core #413 9.39/9.42 c Core size: 10 Core Weight: 1 Total Weight: -182 9.39/9.42 c Elapsed CPU time: 9.39357 s Remaining CPU time: 1790.61 s 9.39/9.45 c ============================[ Search Statistics ]============================== 9.39/9.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.45 c =============================================================================== 9.39/9.45 c | 0 | 1887 29151 59465 | 9717 0 nan | 0.000 % | 9.39/9.46 c =============================================================================== 9.39/9.46 c core #414 9.39/9.46 c Core size: 57 Core Weight: 1 Total Weight: -181 9.39/9.46 c Elapsed CPU time: 9.42957 s Remaining CPU time: 1790.57 s 9.39/9.49 c ============================[ Search Statistics ]============================== 9.39/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.49 c =============================================================================== 9.39/9.49 c | 0 | 1905 29152 59501 | 9717 0 nan | 0.000 % | 9.39/9.50 c =============================================================================== 9.39/9.50 c core #415 9.39/9.50 c Core size: 26 Core Weight: 1 Total Weight: -180 9.39/9.50 c Elapsed CPU time: 9.46656 s Remaining CPU time: 1790.53 s 9.49/9.53 c ============================[ Search Statistics ]============================== 9.49/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.53 c =============================================================================== 9.49/9.53 c | 0 | 1913 29153 59517 | 9717 0 nan | 0.000 % | 9.49/9.53 c =============================================================================== 9.49/9.53 c core #416 9.49/9.53 c Core size: 34 Core Weight: 1 Total Weight: -179 9.49/9.53 c Elapsed CPU time: 9.50255 s Remaining CPU time: 1790.5 s 9.49/9.57 c ============================[ Search Statistics ]============================== 9.49/9.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.57 c =============================================================================== 9.49/9.57 c | 0 | 1925 29154 59541 | 9718 0 nan | 0.000 % | 9.49/9.57 c =============================================================================== 9.49/9.57 c core #417 9.49/9.57 c Core size: 82 Core Weight: 1 Total Weight: -178 9.49/9.57 c Elapsed CPU time: 9.54355 s Remaining CPU time: 1790.46 s 9.59/9.61 c ============================[ Search Statistics ]============================== 9.59/9.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.61 c =============================================================================== 9.59/9.61 c | 0 | 1951 29155 59593 | 9718 0 nan | 0.000 % | 9.59/9.61 c =============================================================================== 9.59/9.61 c core #418 9.59/9.61 c Core size: 38 Core Weight: 1 Total Weight: -177 9.59/9.61 c Elapsed CPU time: 9.58154 s Remaining CPU time: 1790.42 s 9.59/9.64 c ============================[ Search Statistics ]============================== 9.59/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.64 c =============================================================================== 9.59/9.64 c | 0 | 1965 29156 59621 | 9718 0 nan | 0.000 % | 9.59/9.65 c | 100 | 1962 29156 59621 | 10690 100 10 | 0.153 % | 9.59/9.65 c =============================================================================== 9.59/9.66 c core #419 9.59/9.66 c Core size: 107 Core Weight: 1 Total Weight: -176 9.59/9.66 c Elapsed CPU time: 9.62354 s Remaining CPU time: 1790.38 s 9.59/9.69 c ============================[ Search Statistics ]============================== 9.59/9.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.69 c =============================================================================== 9.59/9.69 c | 0 | 1995 29157 59681 | 9719 0 nan | 0.000 % | 9.59/9.70 c | 102 | 1995 29157 59681 | 10690 102 11 | 0.000 % | 9.69/9.70 c =============================================================================== 9.69/9.70 c core #420 9.69/9.70 c Core size: 87 Core Weight: 1 Total Weight: -175 9.69/9.70 c Elapsed CPU time: 9.66653 s Remaining CPU time: 1790.33 s 9.69/9.73 c ============================[ Search Statistics ]============================== 9.69/9.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.73 c =============================================================================== 9.69/9.73 c | 0 | 2019 29158 59729 | 9719 0 nan | 0.000 % | 9.69/9.74 c | 101 | 2019 29158 59729 | 10691 101 13 | 0.000 % | 9.69/9.74 c | 251 | 2019 29158 59729 | 11760 251 14 | 0.000 % | 9.69/9.75 c =============================================================================== 9.69/9.75 c core #421 9.69/9.75 c Core size: 108 Core Weight: 1 Total Weight: -174 9.69/9.75 c Elapsed CPU time: 9.72052 s Remaining CPU time: 1790.28 s 9.69/9.79 c ============================[ Search Statistics ]============================== 9.69/9.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.79 c =============================================================================== 9.69/9.79 c | 0 | 2035 29159 59761 | 9719 0 nan | 0.000 % | 9.69/9.79 c =============================================================================== 9.69/9.79 c core #422 9.69/9.79 c Core size: 44 Core Weight: 1 Total Weight: -173 9.69/9.79 c Elapsed CPU time: 9.76052 s Remaining CPU time: 1790.24 s 9.79/9.83 c ============================[ Search Statistics ]============================== 9.79/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.83 c =============================================================================== 9.79/9.83 c | 0 | 2047 29160 59785 | 9720 0 nan | 0.000 % | 9.79/9.83 c | 100 | 2047 29160 59785 | 10692 100 17 | 0.000 % | 9.79/9.84 c =============================================================================== 9.79/9.84 c core #423 9.79/9.84 c Core size: 58 Core Weight: 1 Total Weight: -172 9.79/9.84 c Elapsed CPU time: 9.80551 s Remaining CPU time: 1790.19 s 9.79/9.87 c ============================[ Search Statistics ]============================== 9.79/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.87 c =============================================================================== 9.79/9.87 c | 0 | 2067 29161 59825 | 9720 0 nan | 0.000 % | 9.79/9.88 c | 100 | 2064 29161 59825 | 10692 100 12 | 0.145 % | 9.79/9.89 c | 254 | 2056 29161 59825 | 11761 254 16 | 1.209 % | 9.79/9.89 c =============================================================================== 9.79/9.89 c core #424 9.79/9.89 c Core size: 128 Core Weight: 1 Total Weight: -171 9.79/9.89 c Elapsed CPU time: 9.8505 s Remaining CPU time: 1790.15 s 9.89/9.92 c ============================[ Search Statistics ]============================== 9.89/9.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.92 c =============================================================================== 9.89/9.92 c | 0 | 2101 29162 59893 | 9720 0 nan | 0.000 % | 9.89/9.93 c | 101 | 2098 29162 59893 | 10692 101 11 | 0.143 % | 9.89/9.93 c | 251 | 2095 29162 59893 | 11762 251 12 | 0.286 % | 9.89/9.94 c =============================================================================== 9.89/9.94 c core #425 9.89/9.94 c Core size: 90 Core Weight: 1 Total Weight: -170 9.89/9.94 c Elapsed CPU time: 9.90049 s Remaining CPU time: 1790.1 s 9.89/9.97 c ============================[ Search Statistics ]============================== 9.89/9.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.97 c =============================================================================== 9.89/9.97 c | 0 | 2125 29163 59941 | 9721 0 nan | 0.000 % | 9.89/9.98 c =============================================================================== 9.89/9.98 c core #426 9.89/9.98 c Core size: 72 Core Weight: 1 Total Weight: -169 9.89/9.98 c Elapsed CPU time: 9.93949 s Remaining CPU time: 1790.06 s 9.98/10.01 c ============================[ Search Statistics ]============================== 9.98/10.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.01 c =============================================================================== 9.98/10.01 c | 0 | 2149 29164 59989 | 9721 0 nan | 0.000 % | 9.98/10.02 c | 101 | 2149 29164 59989 | 10693 101 17 | 0.000 % | 9.98/10.02 c | 251 | 2149 29164 59989 | 11762 251 17 | 0.000 % | 9.98/10.03 c | 476 | 2149 29164 59989 | 12939 476 18 | 0.000 % | 9.98/10.05 c | 813 | 2149 29164 59989 | 14233 813 21 | 0.000 % | 9.98/10.09 c | 1320 | 2147 29164 59989 | 15656 1318 22 | 0.093 % | 9.98/10.09 c =============================================================================== 10.09/10.10 c core #427 10.09/10.10 c Core size: 194 Core Weight: 1 Total Weight: -168 10.09/10.10 c Elapsed CPU time: 10.0545 s Remaining CPU time: 1789.95 s 10.09/10.13 c ============================[ Search Statistics ]============================== 10.09/10.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.13 c =============================================================================== 10.09/10.13 c | 0 | 2199 29165 60089 | 9721 0 nan | 0.000 % | 10.09/10.14 c | 104 | 2199 29165 60089 | 10693 104 16 | 0.000 % | 10.09/10.15 c =============================================================================== 10.09/10.15 c core #428 10.09/10.15 c Core size: 32 Core Weight: 1 Total Weight: -167 10.09/10.15 c Elapsed CPU time: 10.1005 s Remaining CPU time: 1789.9 s 10.09/10.18 c ============================[ Search Statistics ]============================== 10.09/10.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.18 c =============================================================================== 10.09/10.18 c | 0 | 2209 29166 60109 | 9722 0 nan | 0.000 % | 10.09/10.18 c | 103 | 2209 29166 60109 | 10694 103 20 | 0.000 % | 10.09/10.19 c =============================================================================== 10.09/10.19 c core #429 10.09/10.19 c Core size: 69 Core Weight: 1 Total Weight: -166 10.09/10.19 c Elapsed CPU time: 10.1415 s Remaining CPU time: 1789.86 s 10.18/10.22 c ============================[ Search Statistics ]============================== 10.18/10.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.22 c =============================================================================== 10.18/10.22 c | 0 | 2231 29167 60153 | 9722 0 nan | 0.000 % | 10.18/10.23 c =============================================================================== 10.18/10.23 c core #430 10.18/10.23 c Core size: 61 Core Weight: 1 Total Weight: -165 10.18/10.23 c Elapsed CPU time: 10.1835 s Remaining CPU time: 1789.82 s 10.18/10.26 c ============================[ Search Statistics ]============================== 10.18/10.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.26 c =============================================================================== 10.18/10.26 c | 0 | 2253 29168 60197 | 9722 0 nan | 0.000 % | 10.18/10.27 c | 100 | 2253 29168 60197 | 10694 100 12 | 0.000 % | 10.18/10.28 c | 251 | 2253 29168 60197 | 11764 251 18 | 0.000 % | 10.18/10.29 c =============================================================================== 10.18/10.29 c core #431 10.18/10.29 c Core size: 47 Core Weight: 1 Total Weight: -164 10.18/10.29 c Elapsed CPU time: 10.2374 s Remaining CPU time: 1789.76 s 10.28/10.32 c ============================[ Search Statistics ]============================== 10.28/10.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.32 c =============================================================================== 10.28/10.32 c | 0 | 2269 29169 60229 | 9723 0 nan | 0.000 % | 10.28/10.33 c | 101 | 2269 29169 60229 | 10695 101 18 | 0.000 % | 10.28/10.34 c | 252 | 2268 29169 60229 | 11764 252 17 | 0.088 % | 10.28/10.35 c | 479 | 2263 29169 60229 | 12941 479 19 | 0.264 % | 10.28/10.36 c =============================================================================== 10.28/10.37 c core #432 10.28/10.37 c Core size: 190 Core Weight: 1 Total Weight: -163 10.28/10.37 c Elapsed CPU time: 10.3164 s Remaining CPU time: 1789.68 s 10.38/10.40 c ============================[ Search Statistics ]============================== 10.38/10.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.40 c =============================================================================== 10.38/10.40 c | 0 | 2317 29170 60325 | 9723 0 nan | 0.000 % | 10.38/10.41 c | 101 | 2315 29170 60325 | 10695 101 6 | 0.129 % | 10.38/10.41 c =============================================================================== 10.38/10.41 c core #433 10.38/10.41 c Core size: 174 Core Weight: 1 Total Weight: -162 10.38/10.41 c Elapsed CPU time: 10.3584 s Remaining CPU time: 1789.64 s 10.38/10.44 c ============================[ Search Statistics ]============================== 10.38/10.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.44 c =============================================================================== 10.38/10.44 c | 0 | 2365 29171 60421 | 9723 0 nan | 0.000 % | 10.38/10.45 c | 102 | 2365 29171 60421 | 10696 102 21 | 0.000 % | 10.38/10.46 c | 252 | 2365 29171 60421 | 11765 252 30 | 0.000 % | 10.38/10.47 c | 478 | 2362 29171 60421 | 12942 478 30 | 0.127 % | 10.38/10.49 c | 815 | 2348 29171 60421 | 14236 815 33 | 0.724 % | 10.38/10.49 c =============================================================================== 10.49/10.50 c core #434 10.49/10.50 c Core size: 137 Core Weight: 1 Total Weight: -161 10.49/10.50 c Elapsed CPU time: 10.4454 s Remaining CPU time: 1789.55 s 10.49/10.53 c ============================[ Search Statistics ]============================== 10.49/10.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.53 c =============================================================================== 10.49/10.53 c | 0 | 2401 29172 60493 | 9724 0 nan | 0.000 % | 10.49/10.54 c | 100 | 2401 29172 60493 | 10696 100 33 | 0.000 % | 10.49/10.55 c | 250 | 2400 29172 60493 | 11766 250 22 | 0.042 % | 10.49/10.56 c | 475 | 2398 29172 60493 | 12942 475 21 | 0.125 % | 10.49/10.58 c | 812 | 2397 29172 60493 | 14236 805 31 | 0.167 % | 10.58/10.62 c =============================================================================== 10.58/10.62 c core #435 10.58/10.62 c Core size: 340 Core Weight: 1 Total Weight: -160 10.58/10.62 c Elapsed CPU time: 10.5624 s Remaining CPU time: 1789.44 s 10.58/10.66 c ============================[ Search Statistics ]============================== 10.58/10.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.66 c =============================================================================== 10.58/10.66 c | 0 | 2473 29173 60637 | 9724 0 nan | 0.000 % | 10.58/10.67 c | 101 | 2473 29173 60637 | 10696 101 16 | 0.000 % | 10.58/10.67 c | 252 | 2468 29173 60637 | 11766 252 17 | 0.243 % | 10.58/10.68 c | 479 | 2467 29173 60637 | 12943 479 19 | 0.243 % | 10.58/10.70 c | 817 | 2467 29173 60637 | 14237 817 20 | 0.243 % | 10.69/10.71 c =============================================================================== 10.69/10.71 c core #436 10.69/10.71 c Core size: 201 Core Weight: 1 Total Weight: -159 10.69/10.71 c Elapsed CPU time: 10.6454 s Remaining CPU time: 1789.35 s 10.69/10.74 c ============================[ Search Statistics ]============================== 10.69/10.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.69/10.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.69/10.74 c =============================================================================== 10.69/10.74 c | 0 | 2513 29174 60717 | 9724 0 nan | 0.000 % | 10.69/10.75 c | 100 | 2513 29174 60717 | 10697 100 46 | 0.000 % | 10.69/10.76 c | 251 | 2510 29174 60717 | 11766 251 27 | 0.119 % | 10.69/10.77 c | 476 | 2509 29174 60717 | 12943 476 31 | 0.159 % | 10.78/10.80 c | 814 | 2503 29174 60717 | 14237 814 41 | 0.398 % | 10.78/10.85 c | 1320 | 2503 29174 60717 | 15661 1320 49 | 0.398 % | 10.89/10.94 c | 2081 | 2502 29174 60717 | 17227 2052 56 | 0.438 % | 10.99/11.07 c | 3221 | 2499 29174 60717 | 18950 3192 58 | 0.557 % | 11.29/11.37 c | 4931 | 2497 29174 60717 | 20845 4891 59 | 0.637 % | 11.69/11.76 c =============================================================================== 11.79/11.82 c core #437 11.79/11.82 c Core size: 268 Core Weight: 1 Total Weight: -158 11.79/11.82 c Elapsed CPU time: 11.7432 s Remaining CPU time: 1788.26 s 11.79/11.86 c ============================[ Search Statistics ]============================== 11.79/11.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.86 c =============================================================================== 11.79/11.86 c | 0 | 2575 29175 60841 | 9725 0 nan | 0.000 % | 11.79/11.88 c | 101 | 2575 29175 60841 | 10697 101 31 | 0.000 % | 11.79/11.88 c | 252 | 2574 29175 60841 | 11767 252 20 | 0.039 % | 11.79/11.89 c =============================================================================== 11.79/11.90 c core #438 11.79/11.90 c Core size: 142 Core Weight: 1 Total Weight: -157 11.79/11.90 c Elapsed CPU time: 11.8132 s Remaining CPU time: 1788.19 s 11.89/11.93 c ============================[ Search Statistics ]============================== 11.89/11.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.93 c =============================================================================== 11.89/11.93 c | 0 | 2619 29176 60929 | 9725 0 nan | 0.000 % | 11.89/11.94 c | 102 | 2619 29176 60929 | 10697 102 11 | 0.000 % | 11.89/11.94 c =============================================================================== 11.89/11.94 c core #439 11.89/11.94 c Core size: 36 Core Weight: 1 Total Weight: -156 11.89/11.94 c Elapsed CPU time: 11.8542 s Remaining CPU time: 1788.15 s 11.89/11.97 c ============================[ Search Statistics ]============================== 11.89/11.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.97 c =============================================================================== 11.89/11.97 c | 0 | 2631 29177 60953 | 9725 0 nan | 0.000 % | 11.89/11.98 c =============================================================================== 11.89/11.98 c core #440 11.89/11.98 c Core size: 53 Core Weight: 1 Total Weight: -155 11.89/11.98 c Elapsed CPU time: 11.8982 s Remaining CPU time: 1788.1 s 11.99/12.01 c ============================[ Search Statistics ]============================== 11.99/12.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.01 c =============================================================================== 11.99/12.01 c | 0 | 2649 29178 60989 | 9726 0 nan | 0.000 % | 11.99/12.02 c | 103 | 2649 29178 60989 | 10698 103 11 | 0.000 % | 11.99/12.03 c =============================================================================== 11.99/12.03 c core #441 11.99/12.03 c Core size: 82 Core Weight: 1 Total Weight: -154 11.99/12.03 c Elapsed CPU time: 11.9432 s Remaining CPU time: 1788.06 s 11.99/12.06 c ============================[ Search Statistics ]============================== 11.99/12.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.06 c =============================================================================== 11.99/12.06 c | 0 | 2673 29179 61037 | 9726 0 nan | 0.000 % | 11.99/12.08 c | 101 | 2673 29179 61037 | 10698 101 12 | 0.000 % | 11.99/12.08 c | 251 | 2670 29179 61037 | 11768 251 10 | 0.113 % | 11.99/12.09 c =============================================================================== 11.99/12.09 c core #442 11.99/12.09 c Core size: 37 Core Weight: 1 Total Weight: -153 11.99/12.09 c Elapsed CPU time: 12.0022 s Remaining CPU time: 1788 s 12.09/12.12 c ============================[ Search Statistics ]============================== 12.09/12.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.12 c =============================================================================== 12.09/12.12 c | 0 | 2685 29180 61061 | 9726 0 nan | 0.000 % | 12.09/12.13 c | 101 | 2685 29180 61061 | 10699 101 32 | 0.000 % | 12.09/12.14 c | 256 | 2685 29180 61061 | 11769 256 32 | 0.000 % | 12.09/12.15 c | 481 | 2685 29180 61061 | 12946 481 32 | 0.000 % | 12.09/12.18 c | 819 | 2685 29180 61061 | 14240 819 48 | 0.000 % | 12.18/12.20 c | 1325 | 2685 29180 61061 | 15664 1325 44 | 0.000 % | 12.18/12.28 c | 2086 | 2685 29180 61061 | 17231 2086 49 | 0.000 % | 12.28/12.38 c | 3225 | 2685 29180 61061 | 18954 3225 47 | 0.000 % | 12.58/12.62 c | 4934 | 2685 29180 61061 | 20849 4934 44 | 0.000 % | 12.99/13.09 c | 7500 | 2685 29180 61061 | 22934 7500 43 | 0.000 % | 13.09/13.15 c =============================================================================== 13.09/13.15 c core #443 13.09/13.15 c Core size: 79 Core Weight: 1 Total Weight: -152 13.09/13.15 c Elapsed CPU time: 13.043 s Remaining CPU time: 1786.96 s 13.09/13.20 c ============================[ Search Statistics ]============================== 13.09/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.20 c =============================================================================== 13.09/13.20 c | 0 | 2709 29181 61109 | 9727 0 nan | 0.000 % | 13.19/13.21 c | 100 | 2709 29181 61109 | 10699 100 14 | 0.000 % | 13.19/13.22 c | 251 | 2709 29181 61109 | 11769 251 15 | 0.000 % | 13.19/13.23 c | 476 | 2709 29181 61109 | 12946 476 18 | 0.000 % | 13.19/13.25 c | 815 | 2708 29181 61109 | 14241 814 21 | 0.037 % | 13.19/13.26 c =============================================================================== 13.19/13.27 c core #444 13.19/13.27 c Core size: 470 Core Weight: 1 Total Weight: -151 13.19/13.27 c Elapsed CPU time: 13.154 s Remaining CPU time: 1786.85 s 13.29/13.30 c ============================[ Search Statistics ]============================== 13.29/13.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.30 c =============================================================================== 13.29/13.30 c | 0 | 2785 29182 61261 | 9727 0 nan | 0.000 % | 13.29/13.31 c | 100 | 2784 29182 61261 | 10700 100 17 | 0.036 % | 13.29/13.32 c | 252 | 2782 29182 61261 | 11770 252 27 | 0.108 % | 13.29/13.33 c | 478 | 2782 29182 61261 | 12947 478 33 | 0.108 % | 13.29/13.35 c | 815 | 2780 29182 61261 | 14241 815 36 | 0.180 % | 13.29/13.39 c | 1321 | 2777 29182 61261 | 15665 1313 51 | 0.287 % | 13.29/13.40 c =============================================================================== 13.29/13.40 c core #445 13.29/13.40 c Core size: 31 Core Weight: 1 Total Weight: -150 13.29/13.40 c Elapsed CPU time: 13.273 s Remaining CPU time: 1786.73 s 13.39/13.43 c ============================[ Search Statistics ]============================== 13.39/13.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.43 c =============================================================================== 13.39/13.43 c | 0 | 2793 29183 61277 | 9727 0 nan | 0.000 % | 13.39/13.44 c | 100 | 2793 29183 61277 | 10700 100 22 | 0.000 % | 13.39/13.45 c | 250 | 2792 29183 61277 | 11770 250 23 | 0.036 % | 13.39/13.45 c =============================================================================== 13.39/13.45 c core #446 13.39/13.45 c Core size: 36 Core Weight: 1 Total Weight: -149 13.39/13.45 c Elapsed CPU time: 13.328 s Remaining CPU time: 1786.67 s 13.39/13.48 c ============================[ Search Statistics ]============================== 13.39/13.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.48 c =============================================================================== 13.39/13.48 c | 0 | 2804 29184 61299 | 9728 0 nan | 0.000 % | 13.39/13.49 c | 101 | 2804 29184 61299 | 10700 101 19 | 0.000 % | 13.48/13.50 c | 252 | 2804 29184 61299 | 11770 252 25 | 0.000 % | 13.48/13.51 c | 478 | 2804 29184 61299 | 12947 478 22 | 0.000 % | 13.48/13.52 c | 815 | 2804 29184 61299 | 14242 815 23 | 0.000 % | 13.48/13.55 c | 1323 | 2796 29184 61299 | 15667 1315 23 | 0.321 % | 13.48/13.56 c =============================================================================== 13.48/13.57 c core #447 13.48/13.57 c Core size: 380 Core Weight: 1 Total Weight: -148 13.48/13.57 c Elapsed CPU time: 13.438 s Remaining CPU time: 1786.56 s 13.58/13.61 c ============================[ Search Statistics ]============================== 13.58/13.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.58/13.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.58/13.61 c =============================================================================== 13.58/13.61 c | 0 | 2861 29185 61413 | 9728 0 nan | 0.000 % | 13.58/13.62 c | 102 | 2861 29185 61413 | 10701 102 24 | 0.035 % | 13.58/13.63 c | 254 | 2860 29185 61413 | 11771 254 21 | 0.035 % | 13.58/13.64 c | 479 | 2859 29185 61413 | 12948 479 32 | 0.070 % | 13.58/13.67 c | 819 | 2858 29185 61413 | 14243 819 36 | 0.105 % | 13.68/13.70 c | 1326 | 2856 29185 61413 | 15667 1323 36 | 0.175 % | 13.68/13.76 c | 2085 | 2856 29185 61413 | 17234 2082 37 | 0.175 % | 13.78/13.87 c | 3226 | 2856 29185 61413 | 18957 3219 38 | 0.175 % | 13.88/13.94 c =============================================================================== 13.88/13.94 c core #448 13.88/13.94 c Core size: 200 Core Weight: 1 Total Weight: -147 13.88/13.94 c Elapsed CPU time: 13.7979 s Remaining CPU time: 1786.2 s 13.88/13.97 c ============================[ Search Statistics ]============================== 13.88/13.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.97 c =============================================================================== 13.88/13.97 c | 0 | 2907 29186 61505 | 9728 0 nan | 0.000 % | 13.88/13.98 c | 101 | 2907 29186 61505 | 10701 101 11 | 0.000 % | 13.88/13.99 c | 251 | 2907 29186 61505 | 11771 251 11 | 0.000 % | 13.88/14.00 c =============================================================================== 13.88/14.00 c core #449 13.88/14.00 c Core size: 110 Core Weight: 1 Total Weight: -146 13.88/14.00 c Elapsed CPU time: 13.8529 s Remaining CPU time: 1786.15 s 13.99/14.03 c ============================[ Search Statistics ]============================== 13.99/14.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.99/14.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.99/14.03 c =============================================================================== 13.99/14.03 c | 0 | 2927 29187 61545 | 9729 0 nan | 0.000 % | 13.99/14.04 c | 101 | 2927 29187 61545 | 10701 101 19 | 0.000 % | 13.99/14.05 c | 251 | 2927 29187 61545 | 11772 251 17 | 0.000 % | 13.99/14.06 c | 477 | 2927 29187 61545 | 12949 477 21 | 0.000 % | 13.99/14.08 c | 814 | 2927 29187 61545 | 14244 814 19 | 0.000 % | 14.08/14.10 c | 1321 | 2927 29187 61545 | 15668 1321 26 | 0.000 % | 14.08/14.13 c =============================================================================== 14.08/14.13 c core #450 14.08/14.13 c Core size: 30 Core Weight: 1 Total Weight: -145 14.08/14.13 c Elapsed CPU time: 13.9809 s Remaining CPU time: 1786.02 s 14.08/14.16 c ============================[ Search Statistics ]============================== 14.08/14.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.16 c =============================================================================== 14.08/14.16 c | 0 | 2935 29188 61561 | 9729 0 nan | 0.000 % | 14.08/14.17 c | 100 | 2935 29188 61561 | 10702 100 17 | 0.000 % | 14.08/14.18 c | 251 | 2935 29188 61561 | 11772 251 20 | 0.000 % | 14.08/14.19 c | 476 | 2934 29188 61561 | 12949 476 21 | 0.034 % | 14.19/14.22 c | 815 | 2934 29188 61561 | 14244 815 28 | 0.034 % | 14.19/14.27 c | 1324 | 2934 29188 61561 | 15669 1322 31 | 0.034 % | 14.29/14.33 c =============================================================================== 14.29/14.35 c core #451 14.29/14.35 c Core size: 448 Core Weight: 1 Total Weight: -144 14.29/14.35 c Elapsed CPU time: 14.1978 s Remaining CPU time: 1785.8 s 14.29/14.39 c ============================[ Search Statistics ]============================== 14.29/14.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.29/14.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.29/14.39 c =============================================================================== 14.29/14.39 c | 0 | 3003 29189 61697 | 9729 0 nan | 0.000 % | 14.39/14.40 c | 100 | 3002 29189 61697 | 10702 100 8 | 0.033 % | 14.39/14.40 c =============================================================================== 14.39/14.40 c core #452 14.39/14.40 c Core size: 104 Core Weight: 1 Total Weight: -143 14.39/14.40 c Elapsed CPU time: 14.2478 s Remaining CPU time: 1785.75 s 14.39/14.43 c ============================[ Search Statistics ]============================== 14.39/14.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.39/14.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.39/14.43 c =============================================================================== 14.39/14.43 c | 0 | 3021 29190 61733 | 9730 0 nan | 0.000 % | 14.39/14.44 c | 100 | 3021 29190 61733 | 10703 100 14 | 0.000 % | 14.39/14.45 c | 252 | 3021 29190 61733 | 11773 252 13 | 0.000 % | 14.39/14.46 c | 477 | 3021 29190 61733 | 12950 477 25 | 0.000 % | 14.39/14.48 c | 815 | 3021 29190 61733 | 14245 815 24 | 0.000 % | 14.49/14.51 c | 1321 | 3021 29190 61733 | 15670 1321 25 | 0.000 % | 14.49/14.56 c | 2084 | 3021 29190 61733 | 17237 2084 27 | 0.000 % | 14.58/14.68 c | 3224 | 3021 29190 61733 | 18961 3224 30 | 0.000 % | 14.89/14.92 c | 4933 | 3021 29190 61733 | 20857 4933 36 | 0.000 % | 15.29/15.38 c | 7496 | 3021 29190 61733 | 22942 7496 41 | 0.000 % | 16.58/16.62 c | 11345 | 3020 29190 61733 | 25237 11332 44 | 0.033 % | 17.78/17.86 c =============================================================================== 17.98/18.02 c core #453 17.98/18.02 c Core size: 1376 Core Weight: 1 Total Weight: -142 17.98/18.02 c Elapsed CPU time: 17.8313 s Remaining CPU time: 1782.17 s 17.98/18.08 c ============================[ Search Statistics ]============================== 17.98/18.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.98/18.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.98/18.08 c =============================================================================== 17.98/18.08 c | 0 | 3139 29191 61969 | 9730 0 nan | 0.000 % | 17.98/18.09 c | 101 | 3139 29191 61969 | 10703 101 18 | 0.000 % | 18.09/18.10 c | 252 | 3139 29191 61969 | 11773 252 14 | 0.000 % | 18.09/18.11 c | 479 | 3139 29191 61969 | 12951 479 24 | 0.000 % | 18.09/18.12 c | 816 | 3139 29191 61969 | 14246 816 21 | 0.000 % | 18.09/18.15 c | 1323 | 3139 29191 61969 | 15670 1323 22 | 0.000 % | 18.09/18.19 c | 2083 | 3139 29191 61969 | 17237 2083 27 | 0.000 % | 18.29/18.31 c | 3223 | 3138 29191 61969 | 18961 3221 35 | 0.032 % | 18.39/18.45 c =============================================================================== 18.39/18.46 c core #454 18.39/18.46 c Core size: 640 Core Weight: 1 Total Weight: -141 18.39/18.46 c Elapsed CPU time: 18.2542 s Remaining CPU time: 1781.75 s 18.39/18.49 c ============================[ Search Statistics ]============================== 18.39/18.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.39/18.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.39/18.49 c =============================================================================== 18.39/18.49 c | 0 | 3243 29192 62177 | 9730 0 nan | 0.000 % | 18.48/18.50 c | 100 | 3243 29192 62177 | 10703 100 11 | 0.000 % | 18.48/18.51 c | 251 | 3243 29192 62177 | 11774 251 15 | 0.000 % | 18.48/18.52 c =============================================================================== 18.48/18.52 c core #455 18.48/18.52 c Core size: 111 Core Weight: 1 Total Weight: -140 18.48/18.52 c Elapsed CPU time: 18.3152 s Remaining CPU time: 1781.68 s 18.48/18.56 c ============================[ Search Statistics ]============================== 18.48/18.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.56 c =============================================================================== 18.48/18.56 c | 0 | 3267 29193 62225 | 9731 0 nan | 0.000 % | 18.48/18.57 c | 100 | 3267 29193 62225 | 10704 100 27 | 0.000 % | 18.48/18.58 c | 252 | 3267 29193 62225 | 11774 252 20 | 0.000 % | 18.48/18.59 c | 478 | 3267 29193 62225 | 12951 478 24 | 0.000 % | 18.58/18.61 c | 816 | 3267 29193 62225 | 14247 816 23 | 0.000 % | 18.58/18.63 c | 1324 | 3267 29193 62225 | 15671 1324 28 | 0.000 % | 18.58/18.68 c | 2084 | 3267 29193 62225 | 17239 2084 32 | 0.000 % | 18.69/18.77 c | 3223 | 3267 29193 62225 | 18962 3223 34 | 0.000 % | 18.89/18.96 c | 4932 | 3267 29193 62225 | 20859 4932 36 | 0.000 % | 19.29/19.32 c | 7495 | 3267 29193 62225 | 22945 7495 39 | 0.000 % | 20.09/20.11 c | 11344 | 3267 29193 62225 | 25239 11344 39 | 0.000 % | 22.39/22.49 c | 17110 | 3266 29193 62225 | 27763 17098 42 | 0.031 % | 23.78/23.83 c =============================================================================== 23.98/24.08 c core #456 23.98/24.08 c Core size: 919 Core Weight: 1 Total Weight: -139 23.98/24.08 c Elapsed CPU time: 23.8314 s Remaining CPU time: 1776.17 s 24.09/24.14 c ============================[ Search Statistics ]============================== 24.09/24.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.09/24.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.09/24.14 c =============================================================================== 24.09/24.14 c | 0 | 3355 29194 62401 | 9731 0 nan | 0.000 % | 24.09/24.15 c | 102 | 3355 29194 62401 | 10704 102 16 | 0.000 % | 24.09/24.16 c | 253 | 3355 29194 62401 | 11774 253 15 | 0.000 % | 24.09/24.17 c | 478 | 3355 29194 62401 | 12952 478 17 | 0.000 % | 24.09/24.19 c | 817 | 3355 29194 62401 | 14247 817 27 | 0.000 % | 24.19/24.22 c | 1324 | 3355 29194 62401 | 15672 1324 29 | 0.000 % | 24.19/24.28 c | 2083 | 3355 29194 62401 | 17239 2083 38 | 0.000 % | 24.38/24.41 c | 3223 | 3355 29194 62401 | 18963 3223 43 | 0.000 % | 24.69/24.71 c | 4931 | 3355 29194 62401 | 20859 4931 51 | 0.000 % | 25.28/25.38 c | 7499 | 3354 29194 62401 | 22945 7496 57 | 0.030 % | 26.88/26.94 c | 11344 | 3354 29194 62401 | 25240 11341 63 | 0.030 % | 30.18/30.23 c | 17110 | 3354 29194 62401 | 27764 17107 65 | 0.030 % | 37.18/37.24 c | 25762 | 3354 29194 62401 | 30541 25759 66 | 0.030 % | 48.28/48.38 c | 38738 | 3354 29194 62401 | 33595 22131 65 | 0.030 % | 64.57/64.63 c | 58205 | 3353 29194 62401 | 36954 22346 57 | 0.060 % | 72.78/72.88 c =============================================================================== 74.07/74.19 c core #457 74.07/74.19 c Core size: 1638 Core Weight: 1 Total Weight: -138 74.07/74.19 c Elapsed CPU time: 73.6938 s Remaining CPU time: 1726.31 s 74.17/74.29 c ============================[ Search Statistics ]============================== 74.17/74.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.17/74.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.17/74.29 c =============================================================================== 74.17/74.29 c | 0 | 3478 29195 62647 | 9731 0 nan | 0.000 % | 74.27/74.31 c | 106 | 3478 29195 62647 | 10704 106 32 | 0.000 % | 74.27/74.32 c | 256 | 3478 29195 62647 | 11775 256 23 | 0.000 % | 74.27/74.33 c | 482 | 3478 29195 62647 | 12952 482 31 | 0.000 % | 74.27/74.36 c | 819 | 3478 29195 62647 | 14248 819 34 | 0.000 % | 74.27/74.39 c | 1325 | 3478 29195 62647 | 15672 1325 34 | 0.000 % | 74.37/74.47 c | 2084 | 3478 29195 62647 | 17240 2084 50 | 0.000 % | 74.57/74.62 c | 3228 | 3478 29195 62647 | 18964 3228 56 | 0.000 % | 74.77/74.86 c | 4936 | 3478 29195 62647 | 20860 4936 66 | 0.000 % | 75.37/75.45 c | 7503 | 3478 29195 62647 | 22946 7503 76 | 0.000 % | 76.67/76.74 c | 11347 | 3478 29195 62647 | 25241 11347 83 | 0.000 % | 80.37/80.48 c | 17113 | 3478 29195 62647 | 27765 17113 88 | 0.000 % | 86.77/86.84 c | 25762 | 3478 29195 62647 | 30542 25762 94 | 0.000 % | 99.47/99.58 c | 38740 | 3478 29195 62647 | 33596 21329 100 | 0.000 % | 115.76/115.87 c | 58201 | 3478 29195 62647 | 36955 20609 84 | 0.000 % | 138.56/138.69 c | 87393 | 3474 29195 62647 | 40651 26973 91 | 0.115 % | 193.24/193.35 c | 131186 | 3474 29195 62647 | 44716 19871 86 | 0.115 % | 254.72/254.89 c | 196870 | 3474 29195 62647 | 49188 23776 93 | 0.115 % | 329.01/329.18 c =============================================================================== 336.70/336.81 c core #458 336.70/336.81 c Core size: 1641 Core Weight: 1 Total Weight: -137 336.70/336.81 c Elapsed CPU time: 335.083 s Remaining CPU time: 1464.92 s 337.00/337.15 c ============================[ Search Statistics ]============================== 337.00/337.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 337.00/337.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 337.00/337.15 c =============================================================================== 337.00/337.15 c | 0 | 3602 29196 62895 | 9732 0 nan | 0.000 % | 337.00/337.20 c | 101 | 3602 29196 62895 | 10705 101 32 | 0.000 % | 337.10/337.22 c | 251 | 3602 29196 62895 | 11775 251 22 | 0.000 % | 337.10/337.23 c | 477 | 3602 29196 62895 | 12953 477 23 | 0.000 % | 337.10/337.25 c | 817 | 3602 29196 62895 | 14248 817 24 | 0.000 % | 337.10/337.28 c | 1323 | 3601 29196 62895 | 15673 1319 29 | 0.028 % | 337.20/337.34 c | 2084 | 3601 29196 62895 | 17240 2080 36 | 0.028 % | 337.31/337.43 c | 3224 | 3599 29196 62895 | 18964 3220 40 | 0.083 % | 337.51/337.67 c | 4933 | 3599 29196 62895 | 20861 4926 43 | 0.083 % | 337.91/338.02 c | 7498 | 3599 29196 62895 | 22947 7491 45 | 0.083 % | 338.60/338.79 c | 11342 | 3598 29196 62895 | 25242 11332 47 | 0.111 % | 340.60/340.79 c | 17108 | 3596 29196 62895 | 27766 17098 59 | 0.167 % | 344.91/345.07 c | 25757 | 3596 29196 62895 | 30543 25738 72 | 0.167 % | 346.11/346.27 c =============================================================================== 346.11/346.27 c core #459 346.11/346.27 c Core size: 59 Core Weight: 1 Total Weight: -136 346.11/346.27 c Elapsed CPU time: 344.456 s Remaining CPU time: 1455.54 s 346.20/346.34 c ============================[ Search Statistics ]============================== 346.20/346.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 346.20/346.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 346.20/346.34 c =============================================================================== 346.20/346.34 c | 0 | 3614 29197 62919 | 9732 0 nan | 0.000 % | 346.20/346.37 c | 101 | 3614 29197 62919 | 10705 101 24 | 0.000 % | 346.20/346.38 c | 252 | 3614 29197 62919 | 11776 252 19 | 0.000 % | 346.20/346.39 c | 478 | 3614 29197 62919 | 12953 478 34 | 0.000 % | 346.30/346.42 c | 815 | 3614 29197 62919 | 14249 815 33 | 0.000 % | 346.30/346.46 c | 1321 | 3614 29197 62919 | 15674 1321 38 | 0.000 % | 346.41/346.54 c | 2081 | 3614 29197 62919 | 17241 2081 52 | 0.000 % | 346.60/346.76 c | 3221 | 3614 29197 62919 | 18965 3221 79 | 0.000 % | 347.00/347.12 c | 4930 | 3614 29197 62919 | 20862 4930 94 | 0.000 % | 347.51/347.65 c | 7494 | 3614 29197 62919 | 22948 7494 98 | 0.000 % | 348.60/348.78 c | 11340 | 3614 29197 62919 | 25243 11340 112 | 0.000 % | 351.60/351.72 c | 17106 | 3614 29197 62919 | 27767 17106 120 | 0.000 % | 356.50/356.65 c | 25758 | 3613 29197 62919 | 30544 25752 126 | 0.028 % | 369.90/370.04 c | 38733 | 3613 29197 62919 | 33598 20351 145 | 0.028 % | 394.39/394.58 c | 58201 | 3613 29197 62919 | 36958 19095 155 | 0.028 % | 417.68/417.84 c | 87393 | 3598 29197 62919 | 40654 23541 138 | 0.443 % | 477.37/477.59 c | 131188 | 3595 29197 62919 | 44719 40229 157 | 0.526 % | 570.54/570.73 c | 196872 | 3595 29197 62919 | 49191 44464 164 | 0.526 % | 689.81/690.07 c | 295398 | 3595 29197 62919 | 54110 38038 129 | 0.526 % | 902.96/903.28 c | 443189 | 3593 29197 62919 | 59522 29950 130 | 0.581 % | 1040.72/1041.05 c =============================================================================== 1057.62/1057.96 c core #460 1057.62/1057.96 c Core size: 2202 Core Weight: 1 Total Weight: -135 1057.62/1057.96 c Elapsed CPU time: 1053.47 s Remaining CPU time: 746.53 s 1058.32/1058.62 c ============================[ Search Statistics ]============================== 1058.32/1058.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1058.32/1058.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1058.32/1058.62 c =============================================================================== 1058.32/1058.62 c | 0 | 3768 29198 63227 | 9732 0 nan | 0.000 % | 1058.43/1058.70 c | 101 | 3768 29198 63227 | 10705 101 19 | 0.000 % | 1058.43/1058.72 c | 251 | 3768 29198 63227 | 11776 251 31 | 0.000 % | 1058.43/1058.76 c | 477 | 3768 29198 63227 | 12954 477 33 | 0.000 % | 1058.52/1058.80 c | 814 | 3768 29198 63227 | 14249 814 39 | 0.000 % | 1058.52/1058.85 c | 1321 | 3768 29198 63227 | 15674 1321 41 | 0.000 % | 1058.62/1058.95 c | 2081 | 3768 29198 63227 | 17242 2081 52 | 0.000 % | 1058.72/1059.08 c | 3220 | 3768 29198 63227 | 18966 3220 68 | 0.000 % | 1059.02/1059.39 c | 4930 | 3768 29198 63227 | 20862 4930 87 | 0.000 % | 1059.72/1060.02 c | 7492 | 3768 29198 63227 | 22949 7492 99 | 0.000 % | 1061.52/1061.83 c | 11339 | 3768 29198 63227 | 25244 11339 126 | 0.000 % | 1065.63/1065.92 c | 17105 | 3768 29198 63227 | 27768 17105 141 | 0.000 % | 1077.82/1078.10 c | 25757 | 3768 29198 63227 | 30545 25757 154 | 0.000 % | 1092.02/1092.33 c | 38736 | 3768 29198 63227 | 33599 21506 155 | 0.000 % | 1107.81/1108.13 c | 58197 | 3768 29198 63227 | 36959 20290 141 | 0.000 % | 1138.00/1138.31 c | 87389 | 3768 29198 63227 | 40655 25896 162 | 0.000 % | 1205.89/1206.21 c | 131179 | 3768 29198 63227 | 44721 17202 146 | 0.000 % | 1347.15/1347.54 c | 196863 | 3768 29198 63227 | 49193 22415 145 | 0.000 % | 1529.11/1529.52 c | 295389 | 3768 29198 63227 | 54112 19172 144 | 0.000 % | 1708.76/1709.29 c | 443178 | 3768 29198 63227 | 59524 51771 93 | 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-1875773-1245168651/watcher-1875773-1245168651 -o /tmp/evaluation-result-1875773-1245168651/solver-1875773-1245168651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875773-1245168651.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1884 /proc/meminfo: memFree=1853024/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=3192 CPUtime=0 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 184465334 3268608 195 1992294400 134512640 135709839 4294956240 18446744073709551615 135340164 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 798 196 128 292 0 339 0 [startup+0.054759 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1884 /proc/meminfo: memFree=1853024/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=3852 CPUtime=0.05 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 477 0 0 0 5 0 0 0 18 0 1 0 184465334 3944448 461 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 963 461 227 292 0 504 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3852 [startup+0.102763 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1884 /proc/meminfo: memFree=1853024/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=4716 CPUtime=0.1 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 938 0 0 0 10 0 0 0 18 0 1 0 184465334 4829184 729 1992294400 134512640 135709839 4294956240 18446744073709551615 134605181 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1179 729 133 292 0 884 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4716 [startup+0.301783 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1884 /proc/meminfo: memFree=1853024/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=4788 CPUtime=0.29 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 1078 0 0 0 29 0 0 0 19 0 1 0 184465334 4902912 774 1992294400 134512640 135709839 4294956240 18446744073709551615 134605036 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1197 774 133 292 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4788 [startup+0.702824 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1884 /proc/meminfo: memFree=1853024/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=5060 CPUtime=0.69 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 1146 0 0 0 69 0 0 0 22 0 1 0 184465334 5181440 812 1992294400 134512640 135709839 4294956240 18446744073709551615 134530438 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1265 812 133 292 0 970 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5060 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1850328/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=5040 CPUtime=1.49 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 1185 0 0 0 149 0 0 0 25 0 1 0 184465334 5160960 809 1992294400 134512640 135709839 4294956240 18446744073709551615 135164518 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1260 809 133 292 0 965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5040 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1850008/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=5436 CPUtime=3.09 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 1284 0 0 0 309 0 0 0 25 0 1 0 184465334 5566464 908 1992294400 134512640 135709839 4294956240 18446744073709551615 134605571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1359 908 133 292 0 1064 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5436 [startup+6.30139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1848864/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=6564 CPUtime=6.28 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 1611 0 0 0 628 0 0 0 25 0 1 0 184465334 6721536 1211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 1641 1211 135 292 0 1346 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6564 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1841760/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=13220 CPUtime=12.68 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 3363 0 0 0 1258 10 0 0 25 0 1 0 184465334 13537280 2836 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 3305 2836 136 292 0 3010 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13220 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1835808/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=19196 CPUtime=25.49 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 4855 0 0 0 2522 27 0 0 25 0 1 0 184465334 19656704 4326 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 4799 4326 136 292 0 4504 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19196 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1824352/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=30924 CPUtime=51.07 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 7776 0 0 0 5068 39 0 0 25 0 1 0 184465334 31666176 7247 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 7731 7247 136 292 0 7436 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30924 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1803168/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=51760 CPUtime=102.27 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 13023 0 0 0 10168 59 0 0 25 0 1 0 184465334 53002240 12494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 12940 12494 136 292 0 12645 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51760 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1764256/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=91556 CPUtime=162.25 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 22919 0 0 0 16135 90 0 0 25 0 1 0 184465334 93753344 22390 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 22889 22390 136 292 0 22594 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 91556 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1724256/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=130992 CPUtime=222.23 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 32742 0 0 0 22108 115 0 0 25 0 1 0 184465334 134135808 32213 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 32748 32213 136 292 0 32453 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 130992 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1685920/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=169280 CPUtime=282.22 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 42300 0 0 0 28081 141 0 0 25 0 1 0 184465334 173342720 41771 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 42320 41771 136 292 0 42025 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 169280 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1643168/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=211668 CPUtime=342.2 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 52902 0 0 0 34049 171 0 0 25 0 1 0 184465334 216748032 52324 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 52917 52324 136 292 0 52622 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 211668 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1642784/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=211668 CPUtime=402.19 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 53031 0 0 0 40026 193 0 0 25 0 1 0 184465334 216748032 52453 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 52917 52453 136 292 0 52622 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 211668 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1617056/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=237676 CPUtime=462.18 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 59492 0 0 0 46000 218 0 0 25 0 1 0 184465334 243380224 58914 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 59419 58914 136 292 0 59124 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 237676 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1584288/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=270812 CPUtime=522.16 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 67723 0 0 0 51977 239 0 0 25 0 1 0 184465334 277311488 67145 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 67703 67145 136 292 0 67408 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 270812 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1549920/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=304928 CPUtime=582.14 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 76203 0 0 0 57956 258 0 0 25 0 1 0 184465334 312246272 75625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 76232 75625 136 292 0 75937 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 304928 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1504224/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=350500 CPUtime=642.14 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 87582 0 0 0 63929 285 0 0 25 0 1 0 184465334 358912000 87004 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 87625 87005 137 292 0 87330 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 350500 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.08 1.03 1.00 2/65 1885 /proc/meminfo: memFree=1365280/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=489828 CPUtime=882.07 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 122270 0 0 0 87842 365 0 0 25 0 1 0 184465334 501583872 121692 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 122457 121692 136 292 0 122162 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 489828 [startup+942.302 s] /proc/loadavg: 1.08 1.04 1.00 2/65 1885 /proc/meminfo: memFree=1330848/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=524416 CPUtime=942.05 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 130911 0 0 0 93818 387 0 0 25 0 1 0 184465334 537001984 130333 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 131104 130333 136 292 0 130809 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 524416 [startup+1002.3 s] /proc/loadavg: 1.10 1.06 1.01 2/65 1885 /proc/meminfo: memFree=1300896/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=554128 CPUtime=1002.04 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 138318 0 0 0 99798 406 0 0 25 0 1 0 184465334 567427072 137740 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 138532 137740 136 292 0 138237 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 554128 [startup+1062.3 s] /proc/loadavg: 1.04 1.05 1.00 2/65 1885 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=589948 CPUtime=1062.02 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 147244 0 0 0 105774 428 0 0 25 0 1 0 184465334 604106752 146666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 147487 146666 136 292 0 147192 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 589948 [startup+1122.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 1885 /proc/meminfo: memFree=1263712/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=589948 CPUtime=1122.01 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 147572 0 0 0 111755 446 0 0 25 0 1 0 184465334 604106752 146994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 147487 146994 136 292 0 147192 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 589948 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 1885 /proc/meminfo: memFree=1263584/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=589948 CPUtime=1181.99 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 147600 0 0 0 117739 460 0 0 25 0 1 0 184465334 604106752 147022 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 147487 147022 136 292 0 147192 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 589948 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1885 /proc/meminfo: memFree=1247584/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=606116 CPUtime=1241.97 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 151621 0 0 0 123722 475 0 0 25 0 1 0 184465334 620662784 151043 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 151529 151043 136 292 0 151234 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 606116 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1885 /proc/meminfo: memFree=1232608/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=620856 CPUtime=1301.96 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 155315 0 0 0 129708 488 0 0 25 0 1 0 184465334 635756544 154737 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 155214 154737 136 292 0 154919 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 620856 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1885 /proc/meminfo: memFree=1211552/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=642168 CPUtime=1361.94 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 160622 0 0 0 135692 502 0 0 25 0 1 0 184465334 657580032 160044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 160542 160044 136 292 0 160247 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 642168 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1185952/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=667592 CPUtime=1421.94 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 166940 0 0 0 141673 521 0 0 25 0 1 0 184465334 683614208 166362 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 166898 166362 136 292 0 166603 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 667592 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1164512/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=689232 CPUtime=1481.92 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 172346 0 0 0 147658 534 0 0 25 0 1 0 184465334 705773568 171768 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 172308 171768 136 292 0 172013 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 689232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1140384/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=713276 CPUtime=1541.9 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 178318 0 0 0 153643 547 0 0 25 0 1 0 184465334 730394624 177740 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 178319 177740 136 292 0 178024 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 713276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1112544/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=741384 CPUtime=1601.88 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 185352 0 0 0 159616 572 0 0 25 0 1 0 184465334 759177216 184774 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 185346 184774 136 292 0 185051 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 741384 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1081568/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=771992 CPUtime=1661.87 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 192983 0 0 0 165594 593 0 0 25 0 1 0 184465334 790519808 192405 1992294400 134512640 135709839 4294956240 18446744073709551615 134574113 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 192998 192405 136 292 0 192703 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 771992 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1054432/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=799576 CPUtime=1721.85 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 199877 0 0 0 171574 611 0 0 25 0 1 0 184465334 818765824 199299 1992294400 134512640 135709839 4294956240 18446744073709551615 134568589 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 199894 199299 136 292 0 199599 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 799576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1023584/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=830128 CPUtime=1781.84 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 207500 0 0 0 177550 634 0 0 25 0 1 0 184465334 850051072 206922 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 207532 206922 136 292 0 207237 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 830128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1885 /proc/meminfo: memFree=1011296/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=842192 CPUtime=1800.03 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4194304 210506 0 0 0 179361 642 0 0 25 0 1 0 184465334 862404608 209928 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 210548 209928 136 292 0 210253 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 842192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1886 /proc/meminfo: memFree=1632056/2055920 swapFree=4182564/4192956 [pid=1884] ppid=1882 vsize=0 CPUtime=1800.14 /proc/1884/stat : 1884 (wbo) R 1882 1884 1550 0 -1 4195332 210506 0 0 0 179361 653 0 0 25 0 1 0 184465334 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1884/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.18 CPU user time (s): 1793.62 CPU system time (s): 6.563 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 842192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.62 system time used= 6.563 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 210506 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= 2772 runsolver used 1.56176 second user time and 3.49447 second system time The end
Begin job on node17 at 2009-06-16 18:10:51 IDJOB=1875773 IDBENCH=2271 IDSOLVER=698 FILE ID=node17/1875773-1245168651 PBS_JOBID= 9363853 Free space on /tmp= 66356 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-5.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-1875773-1245168651/watcher-1875773-1245168651 -o /tmp/evaluation-result-1875773-1245168651/solver-1875773-1245168651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875773-1245168651.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=1460361417 node17.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.214 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.214 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: 1853568 kB Buffers: 40196 kB Cached: 94028 kB SwapCached: 4224 kB Active: 43116 kB Inactive: 99052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853568 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 3028 kB Writeback: 0 kB Mapped: 13748 kB Slab: 46200 kB Committed_AS: 166224 kB PageTables: 1456 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-1875773-1245168651.opb Free space on /tmp at the end= 66356 MiB End job on node17 at 2009-06-16 18:40:53