Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 152.79 | 152.976 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb |
MD5SUM | 61b251578b844a8012695767860b65a7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -3719 |
Best CPU time to get the best result obtained on this benchmark | 4.36034 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -3719 |
Optimality of the best value was proved | YES |
Number of variables | 23264 |
Total number of constraints | 46328 |
Number of constraints which are clauses | 20804 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 25520 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2747 |
Number of terms in the objective function | 68 |
Biggest coefficient in the objective function | 2700 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 54380 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 2700 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 54380 |
Number of bits of the biggest sum of numbers | 16 |
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-1876121-1245132758.opb. 0.00/0.00 c Instance file HOME/instance-1876121-1245132758.opb 0.00/0.00 c File size is 2962768 bytes. 0.39/0.41 c Highest Coefficient sum: 2747 0.39/0.41 c ============================[ Problem Statistics ]============================= 0.39/0.41 c | | 0.39/0.41 c | Parsing time: 0.41 s | 0.39/0.41 c | Number Variables: 23264 | 0.39/0.41 c | Number Clauses: 20872 | 0.39/0.41 c | Number Cardinality: 76 | 0.39/0.41 c | Number PB Constraints: 25460 | 0.39/0.41 c core #1 0.39/0.41 c Core size: 15 Core Weight: 400 Total Weight: -43750 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.47 c core #2 0.39/0.47 c Core size: 14 Core Weight: 100 Total Weight: -43650 0.39/0.47 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 s 0.49/0.52 c core #3 0.49/0.52 c Core size: 13 Core Weight: 900 Total Weight: -42750 0.49/0.52 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.58 c core #4 0.49/0.58 c Core size: 12 Core Weight: 50 Total Weight: -42700 0.49/0.58 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.59/0.64 c core #5 0.59/0.64 c Core size: 11 Core Weight: 50 Total Weight: -42650 0.59/0.64 c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s 0.69/0.71 c core #6 0.69/0.71 c Core size: 9 Core Weight: 100 Total Weight: -42550 0.69/0.71 c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s 0.69/0.77 c core #7 0.69/0.77 c Core size: 8 Core Weight: 250 Total Weight: -42300 0.69/0.77 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.79/0.84 c core #8 0.79/0.84 c Core size: 7 Core Weight: 50 Total Weight: -42250 0.79/0.84 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.89/0.91 c core #9 0.89/0.91 c Core size: 6 Core Weight: 100 Total Weight: -42150 0.89/0.91 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.89/0.98 c core #10 0.89/0.98 c Core size: 5 Core Weight: 200 Total Weight: -41950 0.89/0.98 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.99/1.05 c core #11 0.99/1.05 c Core size: 4 Core Weight: 100 Total Weight: -41850 0.99/1.05 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.10/1.12 c core #12 1.10/1.12 c Core size: 3 Core Weight: 150 Total Weight: -41700 1.10/1.12 c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s 1.10/1.19 c core #13 1.10/1.19 c Core size: 9 Core Weight: 650 Total Weight: -41050 1.10/1.19 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.20/1.26 c core #14 1.20/1.26 c Core size: 8 Core Weight: 150 Total Weight: -40900 1.20/1.26 c Elapsed CPU time: 1.22181 s Remaining CPU time: 1798.78 s 1.29/1.34 c core #15 1.29/1.34 c Core size: 7 Core Weight: 550 Total Weight: -40350 1.29/1.34 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.39/1.41 c core #16 1.39/1.41 c Core size: 6 Core Weight: 150 Total Weight: -40200 1.39/1.41 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.39/1.48 c core #17 1.39/1.48 c Core size: 4 Core Weight: 250 Total Weight: -39950 1.39/1.48 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.49/1.55 c core #18 1.49/1.55 c Core size: 3 Core Weight: 850 Total Weight: -39100 1.49/1.55 c Elapsed CPU time: 1.49677 s Remaining CPU time: 1798.5 s 1.59/1.62 c core #19 1.59/1.62 c Core size: 6 Core Weight: 100 Total Weight: -39000 1.59/1.62 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.59/1.69 c core #20 1.59/1.69 c Core size: 5 Core Weight: 750 Total Weight: -38250 1.59/1.69 c Elapsed CPU time: 1.62975 s Remaining CPU time: 1798.37 s 1.69/1.76 c core #21 1.69/1.76 c Core size: 4 Core Weight: 150 Total Weight: -38100 1.69/1.76 c Elapsed CPU time: 1.69574 s Remaining CPU time: 1798.3 s 1.79/1.83 c core #22 1.79/1.83 c Core size: 3 Core Weight: 700 Total Weight: -37400 1.79/1.83 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.89/1.90 c core #23 1.89/1.90 c Core size: 4 Core Weight: 50 Total Weight: -37350 1.89/1.90 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.89/1.97 c core #24 1.89/1.97 c Core size: 3 Core Weight: 1150 Total Weight: -36200 1.89/1.97 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.99/2.07 c core #25 1.99/2.07 c Core size: 206 Core Weight: 4 Total Weight: -36196 1.99/2.07 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 2.09/2.18 c core #26 2.09/2.18 c Core size: 206 Core Weight: 4 Total Weight: -36192 2.09/2.18 c Elapsed CPU time: 2.09768 s Remaining CPU time: 1797.9 s 2.19/2.29 c core #27 2.19/2.29 c Core size: 206 Core Weight: 8 Total Weight: -36184 2.19/2.29 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.39/2.41 c core #28 2.39/2.41 c Core size: 9 Core Weight: 84 Total Weight: -36100 2.39/2.41 c Elapsed CPU time: 2.31665 s Remaining CPU time: 1797.68 s 2.49/2.53 c ============================[ Search Statistics ]============================== 2.49/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.53 c =============================================================================== 2.49/2.53 c | 0 | 23297 46587 316102 | 15529 0 nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c core #29 2.49/2.56 c Core size: 18 Core Weight: 50 Total Weight: -36050 2.49/2.56 c Elapsed CPU time: 2.45763 s Remaining CPU time: 1797.54 s 2.59/2.68 c ============================[ Search Statistics ]============================== 2.59/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.68 c =============================================================================== 2.59/2.68 c | 0 | 23311 46592 316138 | 15530 0 nan | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c core #30 2.69/2.71 c Core size: 19 Core Weight: 50 Total Weight: -36000 2.69/2.71 c Elapsed CPU time: 2.6036 s Remaining CPU time: 1797.4 s 2.79/2.83 c ============================[ Search Statistics ]============================== 2.79/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.83 c =============================================================================== 2.79/2.83 c | 0 | 23327 46607 316198 | 15535 0 nan | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.86 c core #31 2.79/2.86 c Core size: 16 Core Weight: 266 Total Weight: -35734 2.79/2.86 c Elapsed CPU time: 2.75258 s Remaining CPU time: 1797.25 s 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 23341 46616 316242 | 15538 0 nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c core #32 2.99/3.01 c Core size: 18 Core Weight: 34 Total Weight: -35700 2.99/3.01 c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 23356 46630 316298 | 15543 0 nan | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c core #33 3.09/3.16 c Core size: 15 Core Weight: 66 Total Weight: -35634 3.09/3.16 c Elapsed CPU time: 3.04254 s Remaining CPU time: 1796.96 s 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 23369 46631 316324 | 15543 0 nan | 0.000 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c core #34 3.30/3.31 c Core size: 14 Core Weight: 900 Total Weight: -34734 3.30/3.31 c Elapsed CPU time: 3.18252 s Remaining CPU time: 1796.82 s 3.40/3.44 c ============================[ Search Statistics ]============================== 3.40/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.44 c =============================================================================== 3.40/3.44 c | 0 | 23381 46632 316348 | 15544 0 nan | 0.000 % | 3.40/3.46 c =============================================================================== 3.40/3.46 c core #35 3.40/3.46 c Core size: 13 Core Weight: 50 Total Weight: -34684 3.40/3.46 c Elapsed CPU time: 3.33049 s Remaining CPU time: 1796.67 s 3.49/3.59 c ============================[ Search Statistics ]============================== 3.49/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.59 c =============================================================================== 3.49/3.59 c | 0 | 23391 46640 316382 | 15546 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #36 3.59/3.61 c Core size: 10 Core Weight: 50 Total Weight: -34634 3.59/3.61 c Elapsed CPU time: 3.47447 s Remaining CPU time: 1796.53 s 3.69/3.74 c ============================[ Search Statistics ]============================== 3.69/3.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.74 c =============================================================================== 3.69/3.74 c | 0 | 23399 46642 316400 | 15547 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #37 3.69/3.76 c Core size: 13 Core Weight: 50 Total Weight: -34584 3.69/3.76 c Elapsed CPU time: 3.62045 s Remaining CPU time: 1796.38 s 3.79/3.89 c ============================[ Search Statistics ]============================== 3.79/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.89 c =============================================================================== 3.79/3.89 c | 0 | 23409 46646 316426 | 15548 0 nan | 0.000 % | 3.89/3.92 c =============================================================================== 3.89/3.92 c core #38 3.89/3.92 c Core size: 12 Core Weight: 84 Total Weight: -34500 3.89/3.92 c Elapsed CPU time: 3.76743 s Remaining CPU time: 1796.23 s 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 23418 46650 316450 | 15550 0 nan | 0.000 % | 3.99/4.07 c =============================================================================== 3.99/4.07 c core #39 3.99/4.07 c Core size: 9 Core Weight: 116 Total Weight: -34384 3.99/4.07 c Elapsed CPU time: 3.9164 s Remaining CPU time: 1796.08 s 4.19/4.20 c ============================[ Search Statistics ]============================== 4.19/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.20 c =============================================================================== 4.19/4.20 c | 0 | 23425 46655 316472 | 15551 0 nan | 0.000 % | 4.19/4.23 c =============================================================================== 4.19/4.23 c core #40 4.19/4.23 c Core size: 10 Core Weight: 50 Total Weight: -34334 4.19/4.23 c Elapsed CPU time: 4.06538 s Remaining CPU time: 1795.93 s 4.29/4.35 c ============================[ Search Statistics ]============================== 4.29/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.35 c =============================================================================== 4.29/4.35 c | 0 | 23432 46660 316494 | 15553 0 nan | 0.000 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c core #41 4.29/4.38 c Core size: 9 Core Weight: 84 Total Weight: -34250 4.29/4.38 c Elapsed CPU time: 4.20836 s Remaining CPU time: 1795.79 s 4.49/4.51 c ============================[ Search Statistics ]============================== 4.49/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.51 c =============================================================================== 4.49/4.51 c | 0 | 23438 46663 316510 | 15554 0 nan | 0.000 % | 4.49/4.53 c =============================================================================== 4.49/4.54 c core #42 4.49/4.54 c Core size: 9 Core Weight: 50 Total Weight: -34200 4.49/4.54 c Elapsed CPU time: 4.35534 s Remaining CPU time: 1795.64 s 4.58/4.66 c ============================[ Search Statistics ]============================== 4.58/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.66 c =============================================================================== 4.58/4.66 c | 0 | 23444 46668 316530 | 15556 0 nan | 0.000 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c core #43 4.69/4.71 c Core size: 13 Core Weight: 50 Total Weight: -34150 4.69/4.71 c Elapsed CPU time: 4.52631 s Remaining CPU time: 1795.47 s 4.79/4.83 c ============================[ Search Statistics ]============================== 4.79/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.83 c =============================================================================== 4.79/4.83 c | 0 | 23452 46672 316552 | 15557 0 nan | 0.000 % | 4.88/4.91 c =============================================================================== 4.88/4.91 c core #44 4.88/4.91 c Core size: 10 Core Weight: 50 Total Weight: -34100 4.88/4.91 c Elapsed CPU time: 4.71828 s Remaining CPU time: 1795.28 s 4.99/5.03 c ============================[ Search Statistics ]============================== 4.99/5.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.03 c =============================================================================== 4.99/5.03 c | 0 | 23458 46675 316568 | 15558 0 nan | 0.000 % | 5.09/5.11 c =============================================================================== 5.09/5.11 c core #45 5.09/5.11 c Core size: 9 Core Weight: 50 Total Weight: -34050 5.09/5.11 c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s 5.19/5.23 c ============================[ Search Statistics ]============================== 5.19/5.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.23 c =============================================================================== 5.19/5.23 c | 0 | 23464 46681 316590 | 15560 0 nan | 0.000 % | 5.29/5.31 c =============================================================================== 5.29/5.31 c core #46 5.29/5.31 c Core size: 6 Core Weight: 16 Total Weight: -34034 5.29/5.31 c Elapsed CPU time: 5.11222 s Remaining CPU time: 1794.89 s 5.38/5.43 c ============================[ Search Statistics ]============================== 5.38/5.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.38/5.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.38/5.43 c =============================================================================== 5.38/5.43 c | 0 | 23468 46684 316602 | 15561 0 nan | 0.000 % | 5.49/5.55 c =============================================================================== 5.49/5.55 c core #47 5.49/5.55 c Core size: 20 Core Weight: 50 Total Weight: -33984 5.49/5.55 c Elapsed CPU time: 5.35319 s Remaining CPU time: 1794.65 s 5.59/5.68 c ============================[ Search Statistics ]============================== 5.59/5.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.68 c =============================================================================== 5.59/5.68 c | 0 | 23481 46687 316632 | 15562 0 nan | 0.000 % | 5.79/5.84 c =============================================================================== 5.79/5.84 c core #48 5.79/5.84 c Core size: 8 Core Weight: 50 Total Weight: -33934 5.79/5.84 c Elapsed CPU time: 5.63714 s Remaining CPU time: 1794.36 s 5.89/5.97 c ============================[ Search Statistics ]============================== 5.89/5.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.97 c =============================================================================== 5.89/5.97 c | 0 | 23486 46691 316648 | 15563 0 nan | 0.000 % | 6.08/6.17 c =============================================================================== 6.08/6.17 c core #49 6.08/6.17 c Core size: 20 Core Weight: 34 Total Weight: -33900 6.08/6.17 c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s 6.19/6.29 c ============================[ Search Statistics ]============================== 6.19/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.29 c =============================================================================== 6.19/6.29 c | 0 | 23499 46703 316708 | 15567 0 nan | 0.000 % | 6.49/6.56 c =============================================================================== 6.49/6.56 c core #50 6.49/6.56 c Core size: 18 Core Weight: 16 Total Weight: -33884 6.49/6.56 c Elapsed CPU time: 6.34304 s Remaining CPU time: 1793.66 s 6.59/6.69 c ============================[ Search Statistics ]============================== 6.59/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.69 c =============================================================================== 6.59/6.69 c | 0 | 23509 46708 316738 | 15569 0 nan | 0.000 % | 6.88/6.96 c =============================================================================== 6.88/6.96 c core #51 6.88/6.96 c Core size: 11 Core Weight: 34 Total Weight: -33850 6.88/6.96 c Elapsed CPU time: 6.74198 s Remaining CPU time: 1793.26 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 | 23515 46714 316762 | 15571 0 nan | 0.000 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c core #52 7.39/7.42 c Core size: 235 Core Weight: 1 Total Weight: -33849 7.39/7.42 c Elapsed CPU time: 7.18391 s Remaining CPU time: 1792.82 s 7.49/7.54 c ============================[ Search Statistics ]============================== 7.49/7.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.54 c =============================================================================== 7.49/7.54 c | 0 | 23543 46741 316860 | 15580 0 nan | 0.000 % | 7.79/7.86 c =============================================================================== 7.79/7.86 c core #53 7.79/7.86 c Core size: 29 Core Weight: 15 Total Weight: -33834 7.79/7.86 c Elapsed CPU time: 7.62684 s Remaining CPU time: 1792.37 s 7.88/7.99 c ============================[ Search Statistics ]============================== 7.88/7.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.99 c =============================================================================== 7.88/7.99 c | 0 | 23560 46750 316912 | 15583 0 nan | 0.000 % | 8.29/8.32 c =============================================================================== 8.29/8.32 c core #54 8.29/8.32 c Core size: 224 Core Weight: 1 Total Weight: -33833 8.29/8.32 c Elapsed CPU time: 8.07377 s Remaining CPU time: 1791.93 s 8.38/8.45 c ============================[ Search Statistics ]============================== 8.38/8.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.45 c =============================================================================== 8.38/8.45 c | 0 | 23582 46771 316978 | 15590 0 nan | 0.000 % | 8.69/8.77 c =============================================================================== 8.69/8.77 c core #55 8.69/8.77 c Core size: 20 Core Weight: 15 Total Weight: -33818 8.69/8.77 c Elapsed CPU time: 8.5207 s Remaining CPU time: 1791.48 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 | 23594 46782 317025 | 15594 0 nan | 0.000 % | 9.18/9.23 c =============================================================================== 9.18/9.23 c core #56 9.18/9.23 c Core size: 20 Core Weight: 34 Total Weight: -33784 9.18/9.23 c Elapsed CPU time: 8.96964 s Remaining CPU time: 1791.03 s 9.29/9.36 c ============================[ Search Statistics ]============================== 9.29/9.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.36 c =============================================================================== 9.29/9.36 c | 0 | 23606 46791 317067 | 15597 0 nan | 0.000 % | 9.58/9.69 c =============================================================================== 9.58/9.69 c core #57 9.58/9.69 c Core size: 18 Core Weight: 50 Total Weight: -33734 9.58/9.69 c Elapsed CPU time: 9.41857 s Remaining CPU time: 1790.58 s 9.79/9.81 c ============================[ Search Statistics ]============================== 9.79/9.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.81 c =============================================================================== 9.79/9.81 c | 0 | 23617 46798 317101 | 15599 0 nan | 0.000 % | 10.09/10.14 c =============================================================================== 10.09/10.14 c core #58 10.09/10.14 c Core size: 18 Core Weight: 50 Total Weight: -33684 10.09/10.14 c Elapsed CPU time: 9.8635 s Remaining CPU time: 1790.14 s 10.18/10.27 c ============================[ Search Statistics ]============================== 10.18/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.27 c =============================================================================== 10.18/10.27 c | 0 | 23628 46805 317135 | 15601 0 nan | 0.000 % | 10.58/10.61 c =============================================================================== 10.58/10.61 c core #59 10.58/10.61 c Core size: 27 Core Weight: 16 Total Weight: -33668 10.58/10.61 c Elapsed CPU time: 10.3244 s Remaining CPU time: 1789.68 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 | 23644 46819 317205 | 15606 0 nan | 0.000 % | 10.99/11.07 c =============================================================================== 10.99/11.07 c core #60 10.99/11.07 c Core size: 11 Core Weight: 50 Total Weight: -33618 10.99/11.07 c Elapsed CPU time: 10.7754 s Remaining CPU time: 1789.22 s 11.18/11.20 c ============================[ Search Statistics ]============================== 11.18/11.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.20 c =============================================================================== 11.18/11.20 c | 0 | 23650 46822 317221 | 15607 0 nan | 0.000 % | 11.48/11.52 c =============================================================================== 11.48/11.52 c core #61 11.48/11.52 c Core size: 16 Core Weight: 50 Total Weight: -33568 11.48/11.52 c Elapsed CPU time: 11.2183 s Remaining CPU time: 1788.78 s 11.58/11.65 c ============================[ Search Statistics ]============================== 11.58/11.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.58/11.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.58/11.65 c =============================================================================== 11.58/11.65 c | 0 | 23660 46829 317253 | 15609 0 nan | 0.000 % | 11.88/11.97 c =============================================================================== 11.88/11.97 c core #62 11.88/11.97 c Core size: 24 Core Weight: 18 Total Weight: -33550 11.88/11.97 c Elapsed CPU time: 11.6622 s Remaining CPU time: 1788.34 s 11.99/12.10 c ============================[ Search Statistics ]============================== 11.99/12.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.10 c =============================================================================== 12.09/12.10 c | 0 | 23674 46842 317313 | 15614 0 nan | 0.000 % | 12.38/12.47 c =============================================================================== 12.38/12.47 c core #63 12.38/12.47 c Core size: 36 Core Weight: 16 Total Weight: -33534 12.38/12.47 c Elapsed CPU time: 12.1552 s Remaining CPU time: 1787.84 s 12.59/12.60 c ============================[ Search Statistics ]============================== 12.59/12.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.60 c =============================================================================== 12.59/12.60 c | 0 | 23697 46864 317429 | 15621 0 nan | 0.000 % | 12.89/12.97 c =============================================================================== 12.89/12.97 c core #64 12.89/12.97 c Core size: 43 Core Weight: 2 Total Weight: -33532 12.89/12.97 c Elapsed CPU time: 12.6431 s Remaining CPU time: 1787.36 s 13.09/13.10 c ============================[ Search Statistics ]============================== 13.09/13.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.10 c =============================================================================== 13.09/13.10 c | 0 | 23724 46889 317570 | 15629 0 nan | 0.000 % | 13.39/13.47 c =============================================================================== 13.39/13.47 c core #65 13.39/13.47 c Core size: 51 Core Weight: 14 Total Weight: -33518 13.39/13.47 c Elapsed CPU time: 13.137 s Remaining CPU time: 1786.86 s 13.58/13.60 c ============================[ Search Statistics ]============================== 13.58/13.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.58/13.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.58/13.60 c =============================================================================== 13.58/13.60 c | 0 | 23755 46916 317730 | 15638 0 nan | 0.000 % | 13.88/13.95 c =============================================================================== 13.88/13.95 c core #66 13.88/13.95 c Core size: 19 Core Weight: 34 Total Weight: -33484 13.88/13.95 c Elapsed CPU time: 13.6039 s Remaining CPU time: 1786.4 s 13.99/14.08 c ============================[ Search Statistics ]============================== 13.99/14.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.99/14.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.99/14.08 c =============================================================================== 13.99/14.08 c | 0 | 23766 46926 317773 | 15642 0 nan | 0.000 % | 14.38/14.45 c =============================================================================== 14.38/14.45 c core #67 14.38/14.45 c Core size: 23 Core Weight: 16 Total Weight: -33468 14.38/14.45 c Elapsed CPU time: 14.0939 s Remaining CPU time: 1785.91 s 14.48/14.58 c ============================[ Search Statistics ]============================== 14.48/14.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.58 c =============================================================================== 14.48/14.58 c | 0 | 23779 46937 317826 | 15645 0 nan | 0.000 % | 14.88/14.97 c =============================================================================== 14.88/14.97 c core #68 14.88/14.97 c Core size: 30 Core Weight: 1 Total Weight: -33467 14.88/14.97 c Elapsed CPU time: 14.6048 s Remaining CPU time: 1785.4 s 14.98/15.10 c ============================[ Search Statistics ]============================== 14.98/15.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.98/15.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.98/15.10 c =============================================================================== 14.98/15.10 c | 0 | 23796 46951 317896 | 15650 0 nan | 0.000 % | 15.39/15.49 c =============================================================================== 15.39/15.49 c core #69 15.39/15.49 c Core size: 41 Core Weight: 1 Total Weight: -33466 15.39/15.49 c Elapsed CPU time: 15.1217 s Remaining CPU time: 1784.88 s 15.58/15.62 c ============================[ Search Statistics ]============================== 15.58/15.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.58/15.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.58/15.62 c =============================================================================== 15.58/15.62 c | 0 | 23821 46970 317998 | 15656 0 nan | 0.000 % | 15.88/15.97 c =============================================================================== 15.88/15.97 c core #70 15.88/15.97 c Core size: 28 Core Weight: 1 Total Weight: -33465 15.88/15.97 c Elapsed CPU time: 15.5946 s Remaining CPU time: 1784.41 s 15.98/16.10 c ============================[ Search Statistics ]============================== 15.98/16.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.98/16.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.98/16.10 c =============================================================================== 15.98/16.10 c | 0 | 23837 46985 318068 | 15661 0 nan | 0.000 % | 16.38/16.47 c =============================================================================== 16.38/16.47 c core #71 16.38/16.47 c Core size: 29 Core Weight: 12 Total Weight: -33453 16.38/16.47 c Elapsed CPU time: 16.0886 s Remaining CPU time: 1783.91 s 16.49/16.60 c ============================[ Search Statistics ]============================== 16.49/16.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.49/16.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.49/16.60 c =============================================================================== 16.49/16.60 c | 0 | 23854 47002 318151 | 15667 0 nan | 0.000 % | 16.88/16.94 c =============================================================================== 16.88/16.94 c core #72 16.88/16.94 c Core size: 28 Core Weight: 1 Total Weight: -33452 16.88/16.94 c Elapsed CPU time: 16.5585 s Remaining CPU time: 1783.44 s 16.98/17.07 c ============================[ Search Statistics ]============================== 16.98/17.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.98/17.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.98/17.07 c =============================================================================== 16.98/17.07 c | 0 | 23870 47018 318226 | 15672 0 nan | 0.000 % | 17.38/17.42 c =============================================================================== 17.38/17.42 c core #73 17.38/17.42 c Core size: 35 Core Weight: 1 Total Weight: -33451 17.38/17.42 c Elapsed CPU time: 17.0294 s Remaining CPU time: 1782.97 s 17.48/17.54 c ============================[ Search Statistics ]============================== 17.48/17.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.48/17.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.48/17.55 c =============================================================================== 17.48/17.55 c | 0 | 23890 47036 318317 | 15678 0 nan | 0.000 % | 17.77/17.89 c =============================================================================== 17.77/17.89 c core #74 17.77/17.89 c Core size: 17 Core Weight: 16 Total Weight: -33435 17.77/17.89 c Elapsed CPU time: 17.4963 s Remaining CPU time: 1782.5 s 17.98/18.02 c ============================[ Search Statistics ]============================== 17.98/18.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.98/18.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.98/18.02 c =============================================================================== 17.98/18.02 c | 0 | 23901 47044 318354 | 15681 0 nan | 0.000 % | 18.28/18.39 c =============================================================================== 18.28/18.39 c core #75 18.28/18.39 c Core size: 20 Core Weight: 33 Total Weight: -33402 18.28/18.39 c Elapsed CPU time: 17.9873 s Remaining CPU time: 1782.01 s 18.48/18.52 c ============================[ Search Statistics ]============================== 18.48/18.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.52 c =============================================================================== 18.48/18.52 c | 0 | 23913 47055 318404 | 15685 0 nan | 0.000 % | 18.78/18.89 c =============================================================================== 18.78/18.89 c core #76 18.78/18.89 c Core size: 62 Core Weight: 1 Total Weight: -33401 18.78/18.89 c Elapsed CPU time: 18.4762 s Remaining CPU time: 1781.52 s 18.98/19.02 c ============================[ Search Statistics ]============================== 18.98/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.98/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.98/19.02 c =============================================================================== 18.98/19.02 c | 0 | 23950 47082 318570 | 15694 0 nan | 0.000 % | 19.28/19.39 c =============================================================================== 19.28/19.39 c core #77 19.28/19.39 c Core size: 39 Core Weight: 2 Total Weight: -33399 19.28/19.39 c Elapsed CPU time: 18.9661 s Remaining CPU time: 1781.03 s 19.47/19.52 c ============================[ Search Statistics ]============================== 19.47/19.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.52 c =============================================================================== 19.47/19.52 c | 0 | 23973 47102 318685 | 15700 0 nan | 0.000 % | 19.78/19.87 c =============================================================================== 19.78/19.87 c core #78 19.78/19.87 c Core size: 44 Core Weight: 1 Total Weight: -33398 19.78/19.87 c Elapsed CPU time: 19.441 s Remaining CPU time: 1780.56 s 19.97/20.00 c ============================[ Search Statistics ]============================== 19.97/20.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.97/20.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.97/20.00 c =============================================================================== 19.97/20.00 c | 0 | 23998 47126 318817 | 15708 0 nan | 0.000 % | 20.27/20.37 c =============================================================================== 20.27/20.37 c core #79 20.27/20.37 c Core size: 49 Core Weight: 10 Total Weight: -33388 20.27/20.37 c Elapsed CPU time: 19.928 s Remaining CPU time: 1780.07 s 20.37/20.50 c ============================[ Search Statistics ]============================== 20.37/20.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.37/20.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.37/20.50 c =============================================================================== 20.37/20.50 c | 0 | 24026 47154 318968 | 15718 0 nan | 0.000 % | 20.77/20.85 c =============================================================================== 20.77/20.85 c core #80 20.77/20.85 c Core size: 56 Core Weight: 1 Total Weight: -33387 20.77/20.85 c Elapsed CPU time: 20.3989 s Remaining CPU time: 1779.6 s 20.88/20.98 c ============================[ Search Statistics ]============================== 20.88/20.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.88/20.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.88/20.98 c =============================================================================== 20.88/20.98 c | 0 | 24058 47182 319133 | 15727 0 nan | 0.000 % | 21.27/21.35 c =============================================================================== 21.27/21.35 c core #81 21.27/21.35 c Core size: 77 Core Weight: 1 Total Weight: -33386 21.27/21.35 c Elapsed CPU time: 20.9038 s Remaining CPU time: 1779.1 s 21.37/21.48 c ============================[ Search Statistics ]============================== 21.37/21.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.37/21.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.37/21.48 c =============================================================================== 21.37/21.48 c | 0 | 24107 47209 319324 | 15736 0 nan | 0.000 % | 21.77/21.83 c =============================================================================== 21.77/21.83 c core #82 21.77/21.83 c Core size: 20 Core Weight: 13 Total Weight: -33373 21.77/21.83 c Elapsed CPU time: 21.3758 s Remaining CPU time: 1778.62 s 21.87/21.96 c ============================[ Search Statistics ]============================== 21.87/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.87/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.87/21.96 c =============================================================================== 21.87/21.96 c | 0 | 24119 47220 319376 | 15740 0 nan | 0.000 % | 22.27/22.32 c =============================================================================== 22.27/22.32 c core #83 22.27/22.32 c Core size: 19 Core Weight: 5 Total Weight: -33368 22.27/22.32 c Elapsed CPU time: 21.8577 s Remaining CPU time: 1778.14 s 22.37/22.45 c ============================[ Search Statistics ]============================== 22.37/22.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.37/22.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.37/22.45 c =============================================================================== 22.37/22.45 c | 0 | 24130 47229 319422 | 15743 0 nan | 0.000 % | 22.87/22.93 c =============================================================================== 22.87/22.93 c core #84 22.87/22.93 c Core size: 49 Core Weight: 1 Total Weight: -33367 22.87/22.93 c Elapsed CPU time: 22.4556 s Remaining CPU time: 1777.54 s 22.96/23.06 c ============================[ Search Statistics ]============================== 22.96/23.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.96/23.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.96/23.06 c =============================================================================== 22.96/23.06 c | 0 | 24160 47241 319509 | 15747 0 nan | 0.000 % | 23.37/23.46 c =============================================================================== 23.37/23.46 c core #85 23.37/23.46 c Core size: 35 Core Weight: 12 Total Weight: -33355 23.37/23.46 c Elapsed CPU time: 22.9785 s Remaining CPU time: 1777.02 s 23.47/23.59 c ============================[ Search Statistics ]============================== 23.47/23.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.47/23.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.47/23.59 c =============================================================================== 23.47/23.59 c | 0 | 24181 47261 319617 | 15753 0 nan | 0.000 % | 23.97/24.02 c =============================================================================== 23.97/24.02 c core #86 23.97/24.02 c Core size: 58 Core Weight: 1 Total Weight: -33354 23.97/24.02 c Elapsed CPU time: 23.5374 s Remaining CPU time: 1776.46 s 24.07/24.16 c ============================[ Search Statistics ]============================== 24.07/24.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.07/24.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.07/24.16 c =============================================================================== 24.07/24.16 c | 0 | 24218 47289 319806 | 15763 0 nan | 0.000 % | 24.46/24.56 c =============================================================================== 24.46/24.56 c core #87 24.46/24.56 c Core size: 48 Core Weight: 1 Total Weight: -33353 24.46/24.56 c Elapsed CPU time: 24.0643 s Remaining CPU time: 1775.94 s 24.57/24.69 c ============================[ Search Statistics ]============================== 24.57/24.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.57/24.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.57/24.69 c =============================================================================== 24.57/24.69 c | 0 | 24248 47315 319954 | 15771 0 nan | 0.000 % | 25.07/25.10 c =============================================================================== 25.07/25.10 c core #88 25.07/25.10 c Core size: 24 Core Weight: 4 Total Weight: -33349 25.07/25.10 c Elapsed CPU time: 24.5943 s Remaining CPU time: 1775.41 s 25.17/25.23 c ============================[ Search Statistics ]============================== 25.17/25.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.17/25.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.17/25.23 c =============================================================================== 25.17/25.23 c | 0 | 24263 47326 320010 | 15775 0 nan | 0.000 % | 25.47/25.59 c =============================================================================== 25.47/25.59 c core #89 25.47/25.59 c Core size: 44 Core Weight: 1 Total Weight: -33348 25.47/25.59 c Elapsed CPU time: 25.0792 s Remaining CPU time: 1774.92 s 25.67/25.72 c ============================[ Search Statistics ]============================== 25.67/25.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.67/25.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.67/25.72 c =============================================================================== 25.67/25.72 c | 0 | 24290 47350 320150 | 15783 0 nan | 0.000 % | 25.96/26.03 c =============================================================================== 25.96/26.03 c core #90 25.96/26.03 c Core size: 29 Core Weight: 4 Total Weight: -33344 25.96/26.03 c Elapsed CPU time: 25.5061 s Remaining CPU time: 1774.49 s 26.07/26.15 c ============================[ Search Statistics ]============================== 26.07/26.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.07/26.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.07/26.15 c =============================================================================== 26.07/26.15 c | 0 | 24307 47367 320233 | 15789 0 nan | 0.000 % | 26.47/26.57 c =============================================================================== 26.47/26.57 c core #91 26.47/26.57 c Core size: 48 Core Weight: 2 Total Weight: -33342 26.47/26.57 c Elapsed CPU time: 26.042 s Remaining CPU time: 1773.96 s 26.56/26.70 c ============================[ Search Statistics ]============================== 26.66/26.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.66/26.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.66/26.70 c =============================================================================== 26.66/26.70 c | 0 | 24337 47396 320398 | 15798 0 nan | 0.000 % | 27.06/27.11 c =============================================================================== 27.06/27.11 c core #92 27.06/27.11 c Core size: 44 Core Weight: 3 Total Weight: -33339 27.06/27.11 c Elapsed CPU time: 26.581 s Remaining CPU time: 1773.42 s 27.16/27.24 c ============================[ Search Statistics ]============================== 27.16/27.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.16/27.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.16/27.24 c =============================================================================== 27.16/27.24 c | 0 | 24362 47421 320530 | 15807 0 nan | 0.000 % | 27.46/27.59 c =============================================================================== 27.46/27.59 c core #93 27.46/27.59 c Core size: 19 Core Weight: 5 Total Weight: -33334 27.46/27.59 c Elapsed CPU time: 27.0489 s Remaining CPU time: 1772.95 s 27.66/27.72 c ============================[ Search Statistics ]============================== 27.66/27.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.66/27.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.66/27.72 c =============================================================================== 27.66/27.72 c | 0 | 24374 47432 320583 | 15810 0 nan | 0.000 % | 28.26/28.37 c =============================================================================== 28.26/28.37 c core #94 28.26/28.37 c Core size: 41 Core Weight: 4 Total Weight: -33330 28.26/28.37 c Elapsed CPU time: 27.8178 s Remaining CPU time: 1772.18 s 28.46/28.50 c ============================[ Search Statistics ]============================== 28.46/28.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.46/28.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.46/28.50 c =============================================================================== 28.46/28.50 c | 0 | 24397 47455 320708 | 15818 0 nan | 0.000 % | 29.06/29.16 c =============================================================================== 29.06/29.16 c core #95 29.06/29.16 c Core size: 15 Core Weight: 98 Total Weight: -33232 29.06/29.16 c Elapsed CPU time: 28.5947 s Remaining CPU time: 1771.41 s 29.16/29.29 c ============================[ Search Statistics ]============================== 29.16/29.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.16/29.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.16/29.29 c =============================================================================== 29.16/29.29 c | 0 | 24408 47465 320748 | 15821 0 nan | 0.000 % | 29.56/29.66 c =============================================================================== 29.56/29.66 c core #96 29.56/29.66 c Core size: 37 Core Weight: 1 Total Weight: -33231 29.56/29.66 c Elapsed CPU time: 29.0936 s Remaining CPU time: 1770.91 s 29.66/29.79 c ============================[ Search Statistics ]============================== 29.66/29.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.66/29.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.66/29.79 c =============================================================================== 29.66/29.79 c | 0 | 24431 47486 320856 | 15828 0 nan | 0.000 % | 30.35/30.45 c =============================================================================== 30.35/30.45 c core #97 30.35/30.45 c Core size: 12 Core Weight: 39 Total Weight: -33192 30.35/30.45 c Elapsed CPU time: 29.8665 s Remaining CPU time: 1770.13 s 30.46/30.57 c ============================[ Search Statistics ]============================== 30.46/30.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.46/30.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.46/30.57 c =============================================================================== 30.46/30.57 c | 0 | 24440 47494 320888 | 15831 0 nan | 0.000 % | 30.96/31.02 c =============================================================================== 30.96/31.02 c core #98 30.96/31.02 c Core size: 21 Core Weight: 1 Total Weight: -33191 30.96/31.02 c Elapsed CPU time: 30.4324 s Remaining CPU time: 1769.57 s 31.05/31.15 c ============================[ Search Statistics ]============================== 31.05/31.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.05/31.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.05/31.15 c =============================================================================== 31.05/31.15 c | 0 | 24453 47506 320941 | 15835 0 nan | 0.000 % | 31.76/31.81 c =============================================================================== 31.76/31.81 c core #99 31.76/31.81 c Core size: 12 Core Weight: 13 Total Weight: -33178 31.76/31.81 c Elapsed CPU time: 31.2093 s Remaining CPU time: 1768.79 s 31.86/31.94 c ============================[ Search Statistics ]============================== 31.86/31.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.86/31.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.86/31.94 c =============================================================================== 31.86/31.94 c | 0 | 24462 47513 320971 | 15837 0 nan | 0.000 % | 32.46/32.59 c =============================================================================== 32.46/32.59 c core #100 32.46/32.59 c Core size: 10 Core Weight: 498 Total Weight: -32680 32.46/32.59 c Elapsed CPU time: 31.9851 s Remaining CPU time: 1768.01 s 32.65/32.72 c ============================[ Search Statistics ]============================== 32.65/32.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.65/32.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.65/32.72 c =============================================================================== 32.65/32.72 c | 0 | 24470 47520 320999 | 15840 0 nan | 0.000 % | 33.35/33.41 c =============================================================================== 33.35/33.41 c core #101 33.35/33.41 c Core size: 14 Core Weight: 1 Total Weight: -32679 33.35/33.41 c Elapsed CPU time: 32.803 s Remaining CPU time: 1767.2 s 33.45/33.54 c ============================[ Search Statistics ]============================== 33.45/33.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.45/33.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.45/33.54 c =============================================================================== 33.45/33.54 c | 0 | 24480 47529 321037 | 15843 0 nan | 0.000 % | 34.16/34.23 c =============================================================================== 34.16/34.23 c core #102 34.16/34.23 c Core size: 9 Core Weight: 149 Total Weight: -32530 34.16/34.23 c Elapsed CPU time: 33.6179 s Remaining CPU time: 1766.38 s 34.25/34.36 c ============================[ Search Statistics ]============================== 34.25/34.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.25/34.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.25/34.36 c =============================================================================== 34.25/34.36 c | 0 | 24487 47535 321061 | 15845 0 nan | 0.000 % | 34.95/35.08 c =============================================================================== 34.95/35.08 c core #103 34.95/35.08 c Core size: 18 Core Weight: 1 Total Weight: -32529 34.95/35.08 c Elapsed CPU time: 34.4528 s Remaining CPU time: 1765.55 s 35.16/35.21 c ============================[ Search Statistics ]============================== 35.16/35.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.16/35.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.16/35.21 c =============================================================================== 35.16/35.21 c | 0 | 24499 47541 321097 | 15847 0 nan | 0.000 % | 35.85/35.94 c =============================================================================== 35.85/35.94 c core #104 35.85/35.94 c Core size: 13 Core Weight: 96 Total Weight: -32433 35.85/35.94 c Elapsed CPU time: 35.3096 s Remaining CPU time: 1764.69 s 35.95/36.08 c ============================[ Search Statistics ]============================== 35.95/36.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.95/36.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.95/36.08 c =============================================================================== 35.95/36.08 c | 0 | 24508 47549 321129 | 15849 0 nan | 0.000 % | 36.35/36.46 c =============================================================================== 36.35/36.46 c core #105 36.35/36.46 c Core size: 9 Core Weight: 39 Total Weight: -32394 36.35/36.46 c Elapsed CPU time: 35.8126 s Remaining CPU time: 1764.19 s 36.45/36.59 c ============================[ Search Statistics ]============================== 36.45/36.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.45/36.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.45/36.59 c =============================================================================== 36.45/36.59 c | 0 | 24514 47555 321151 | 15851 0 nan | 0.000 % | 37.25/37.31 c =============================================================================== 37.25/37.31 c core #106 37.25/37.31 c Core size: 8 Core Weight: 1 Total Weight: -32393 37.25/37.31 c Elapsed CPU time: 36.6594 s Remaining CPU time: 1763.34 s 37.34/37.44 c ============================[ Search Statistics ]============================== 37.34/37.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.34/37.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.34/37.44 c =============================================================================== 37.34/37.44 c | 0 | 24519 47560 321169 | 15853 0 nan | 0.000 % | 38.04/38.17 c =============================================================================== 38.04/38.17 c core #107 38.04/38.17 c Core size: 8 Core Weight: 153 Total Weight: -32240 38.04/38.17 c Elapsed CPU time: 37.5013 s Remaining CPU time: 1762.5 s 38.24/38.30 c ============================[ Search Statistics ]============================== 38.24/38.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.24/38.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.24/38.30 c =============================================================================== 38.24/38.30 c | 0 | 24524 47563 321183 | 15854 0 nan | 0.000 % | 38.24/38.37 c =============================================================================== 38.24/38.37 c core #108 38.24/38.37 c Core size: 14 Core Weight: 34 Total Weight: -32206 38.24/38.37 c Elapsed CPU time: 37.6983 s Remaining CPU time: 1762.3 s 38.45/38.50 c ============================[ Search Statistics ]============================== 38.45/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.45/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.45/38.50 c =============================================================================== 38.45/38.50 c | 0 | 24532 47569 321214 | 15856 0 nan | 0.000 % | 38.84/38.95 c =============================================================================== 38.84/38.95 c core #109 38.84/38.95 c Core size: 20 Core Weight: 14 Total Weight: -32192 38.84/38.95 c Elapsed CPU time: 38.2732 s Remaining CPU time: 1761.73 s 38.94/39.08 c ============================[ Search Statistics ]============================== 38.94/39.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.94/39.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.94/39.08 c =============================================================================== 38.94/39.08 c | 0 | 24543 47579 321265 | 15859 0 nan | 0.000 % | 39.74/39.82 c =============================================================================== 39.74/39.82 c core #110 39.74/39.82 c Core size: 14 Core Weight: 14 Total Weight: -32178 39.74/39.82 c Elapsed CPU time: 39.1281 s Remaining CPU time: 1760.87 s 39.84/39.94 c ============================[ Search Statistics ]============================== 39.84/39.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.84/39.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.84/39.94 c =============================================================================== 39.84/39.94 c | 0 | 24552 47588 321299 | 15862 0 nan | 0.000 % | 40.34/40.45 c =============================================================================== 40.34/40.45 c core #111 40.34/40.45 c Core size: 24 Core Weight: 8 Total Weight: -32170 40.34/40.45 c Elapsed CPU time: 39.756 s Remaining CPU time: 1760.24 s 40.44/40.58 c ============================[ Search Statistics ]============================== 40.44/40.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.44/40.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.44/40.58 c =============================================================================== 40.44/40.58 c | 0 | 24567 47601 321357 | 15867 0 nan | 0.000 % | 41.14/41.27 c =============================================================================== 41.14/41.27 c core #112 41.14/41.27 c Core size: 30 Core Weight: 2 Total Weight: -32168 41.14/41.27 c Elapsed CPU time: 40.5658 s Remaining CPU time: 1759.43 s 41.34/41.40 c ============================[ Search Statistics ]============================== 41.34/41.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.34/41.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.34/41.40 c =============================================================================== 41.34/41.40 c | 0 | 24585 47618 321460 | 15872 0 nan | 0.000 % | 41.74/41.85 c =============================================================================== 41.74/41.85 c core #113 41.74/41.85 c Core size: 211 Core Weight: 2 Total Weight: -32166 41.74/41.85 c Elapsed CPU time: 41.1417 s Remaining CPU time: 1758.86 s 41.84/41.98 c Learning 1 hard constraints 41.84/41.98 c ============================[ Search Statistics ]============================== 41.84/41.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.84/41.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.84/41.98 c =============================================================================== 41.84/41.98 c | 0 | 24598 47631 321517 | 15877 0 nan | 0.000 % | 42.04/42.14 c =============================================================================== 42.04/42.14 c core #114 42.04/42.14 c Core size: 13 Core Weight: 78 Total Weight: -32088 42.04/42.14 c Elapsed CPU time: 41.4157 s Remaining CPU time: 1758.58 s 42.14/42.27 c ============================[ Search Statistics ]============================== 42.14/42.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.14/42.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.14/42.27 c =============================================================================== 42.14/42.27 c | 0 | 24607 47636 321543 | 15878 0 nan | 0.000 % | 42.34/42.42 c =============================================================================== 42.34/42.42 c core #115 42.34/42.42 c Core size: 18 Core Weight: 1 Total Weight: -32087 42.34/42.42 c Elapsed CPU time: 41.6897 s Remaining CPU time: 1758.31 s 42.44/42.55 c ============================[ Search Statistics ]============================== 42.44/42.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.44/42.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.44/42.55 c =============================================================================== 42.44/42.55 c | 0 | 24618 47647 321591 | 15882 0 nan | 0.000 % | 42.64/42.72 c =============================================================================== 42.64/42.72 c core #116 42.64/42.72 c Core size: 7 Core Weight: 539 Total Weight: -31548 42.64/42.72 c Elapsed CPU time: 41.9756 s Remaining CPU time: 1758.02 s 42.74/42.84 c ============================[ Search Statistics ]============================== 42.74/42.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.74/42.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.74/42.84 c =============================================================================== 42.74/42.84 c | 0 | 24622 47650 321603 | 15883 0 nan | 0.000 % | 42.84/42.96 c =============================================================================== 42.84/42.96 c core #117 42.84/42.96 c Core size: 215 Core Weight: 2 Total Weight: -31546 42.84/42.96 c Elapsed CPU time: 42.2126 s Remaining CPU time: 1757.79 s 42.94/43.09 c ============================[ Search Statistics ]============================== 42.94/43.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.94/43.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.94/43.09 c =============================================================================== 42.94/43.09 c | 0 | 24637 47664 321639 | 15888 0 nan | 0.000 % | 43.04/43.13 c =============================================================================== 43.04/43.13 c core #118 43.04/43.13 c Core size: 8 Core Weight: 72 Total Weight: -31474 43.04/43.13 c Elapsed CPU time: 42.3776 s Remaining CPU time: 1757.62 s 43.14/43.26 c ============================[ Search Statistics ]============================== 43.14/43.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.14/43.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.14/43.26 c =============================================================================== 43.14/43.26 c | 0 | 24642 47668 321655 | 15889 0 nan | 0.000 % | 43.14/43.29 c =============================================================================== 43.14/43.29 c core #119 43.14/43.29 c Core size: 10 Core Weight: 50 Total Weight: -31424 43.14/43.30 c Elapsed CPU time: 42.5325 s Remaining CPU time: 1757.47 s 43.34/43.42 c ============================[ Search Statistics ]============================== 43.34/43.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.34/43.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.34/43.42 c =============================================================================== 43.34/43.42 c | 0 | 24648 47673 321675 | 15891 0 nan | 0.000 % | 43.53/43.64 c =============================================================================== 43.53/43.64 c core #120 43.53/43.64 c Core size: 6 Core Weight: 628 Total Weight: -30796 43.53/43.64 c Elapsed CPU time: 42.8735 s Remaining CPU time: 1757.13 s 43.63/43.77 c Learning 1 hard constraints 43.63/43.77 c ============================[ Search Statistics ]============================== 43.63/43.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.63/43.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.63/43.77 c =============================================================================== 43.63/43.77 c | 0 | 24652 47678 321753 | 15892 0 nan | 0.000 % | 43.84/43.93 c =============================================================================== 43.84/43.93 c core #121 43.84/43.93 c Core size: 19 Core Weight: 1 Total Weight: -30795 43.84/43.93 c Elapsed CPU time: 43.1564 s Remaining CPU time: 1756.84 s 43.94/44.06 c ============================[ Search Statistics ]============================== 43.94/44.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.94/44.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.94/44.06 c =============================================================================== 43.94/44.06 c | 0 | 24663 47687 321794 | 15895 0 nan | 0.000 % | 44.13/44.23 c =============================================================================== 44.13/44.23 c core #122 44.13/44.23 c Core size: 8 Core Weight: 49 Total Weight: -30746 44.13/44.23 c Elapsed CPU time: 43.4564 s Remaining CPU time: 1756.54 s 44.23/44.36 c Learning 1 hard constraints 44.23/44.36 c ============================[ Search Statistics ]============================== 44.23/44.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.23/44.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.23/44.36 c =============================================================================== 44.23/44.36 c | 0 | 24668 47692 321873 | 15897 0 nan | 0.000 % | 44.44/44.55 c =============================================================================== 44.44/44.55 c core #123 44.44/44.55 c Core size: 16 Core Weight: 11 Total Weight: -30735 44.44/44.55 c Elapsed CPU time: 43.7643 s Remaining CPU time: 1756.24 s 44.54/44.68 c ============================[ Search Statistics ]============================== 44.54/44.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.54/44.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.54/44.68 c =============================================================================== 44.54/44.68 c | 0 | 24677 47699 321906 | 15899 0 nan | 0.000 % | 44.73/44.86 c =============================================================================== 44.73/44.86 c core #124 44.73/44.86 c Core size: 16 Core Weight: 1 Total Weight: -30734 44.73/44.86 c Elapsed CPU time: 44.0743 s Remaining CPU time: 1755.93 s 44.83/44.99 c ============================[ Search Statistics ]============================== 44.83/44.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.83/44.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.83/44.99 c =============================================================================== 44.83/44.99 c | 0 | 24686 47706 321939 | 15902 0 nan | 0.000 % | 45.04/45.18 c =============================================================================== 45.04/45.18 c core #125 45.04/45.18 c Core size: 15 Core Weight: 3 Total Weight: -30731 45.04/45.18 c Elapsed CPU time: 44.3843 s Remaining CPU time: 1755.62 s 45.23/45.31 c ============================[ Search Statistics ]============================== 45.23/45.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.23/45.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.23/45.31 c =============================================================================== 45.23/45.31 c | 0 | 24695 47713 321972 | 15904 0 nan | 0.000 % | 45.34/45.49 c =============================================================================== 45.34/45.49 c core #126 45.34/45.49 c Core size: 15 Core Weight: 1 Total Weight: -30730 45.34/45.49 c Elapsed CPU time: 44.6912 s Remaining CPU time: 1755.31 s 45.53/45.62 c ============================[ Search Statistics ]============================== 45.53/45.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.53/45.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.53/45.62 c =============================================================================== 45.53/45.62 c | 0 | 24704 47719 322002 | 15906 0 nan | 0.000 % | 45.73/45.81 c =============================================================================== 45.73/45.81 c core #127 45.73/45.81 c Core size: 15 Core Weight: 15 Total Weight: -30715 45.73/45.81 c Elapsed CPU time: 44.9952 s Remaining CPU time: 1755 s 45.83/45.94 c ============================[ Search Statistics ]============================== 45.83/45.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.83/45.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.83/45.94 c =============================================================================== 45.83/45.94 c | 0 | 24713 47725 322032 | 15908 0 nan | 0.000 % | 46.03/46.13 c =============================================================================== 46.03/46.13 c core #128 46.03/46.13 c Core size: 15 Core Weight: 15 Total Weight: -30700 46.03/46.13 c Elapsed CPU time: 45.3041 s Remaining CPU time: 1754.7 s 46.14/46.26 c ============================[ Search Statistics ]============================== 46.14/46.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.14/46.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.14/46.26 c =============================================================================== 46.14/46.26 c | 0 | 24722 47733 322068 | 15911 0 nan | 0.000 % | 46.33/46.47 c =============================================================================== 46.33/46.47 c core #129 46.33/46.47 c Core size: 5 Core Weight: 54 Total Weight: -30646 46.33/46.47 c Elapsed CPU time: 45.6421 s Remaining CPU time: 1754.36 s 46.53/46.60 c ============================[ Search Statistics ]============================== 46.53/46.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.53/46.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.53/46.60 c =============================================================================== 46.53/46.60 c | 0 | 24725 47735 322076 | 15911 0 nan | 0.000 % | 46.83/46.93 c =============================================================================== 46.83/46.93 c core #130 46.83/46.93 c Core size: 222 Core Weight: 2 Total Weight: -30644 46.83/46.93 c Elapsed CPU time: 46.09 s Remaining CPU time: 1753.91 s 46.93/47.06 c ============================[ Search Statistics ]============================== 46.93/47.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.93/47.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.93/47.06 c =============================================================================== 46.93/47.06 c | 0 | 24742 47752 322116 | 15917 0 nan | 0.000 % | 47.23/47.32 c =============================================================================== 47.23/47.32 c core #131 47.23/47.32 c Core size: 222 Core Weight: 1 Total Weight: -30643 47.23/47.32 c Elapsed CPU time: 46.4679 s Remaining CPU time: 1753.53 s 47.34/47.45 c ============================[ Search Statistics ]============================== 47.34/47.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.34/47.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.34/47.45 c =============================================================================== 47.34/47.45 c | 0 | 24762 47771 322175 | 15923 0 nan | 0.000 % | 47.63/47.71 c =============================================================================== 47.63/47.71 c core #132 47.63/47.71 c Core size: 95 Core Weight: 1 Total Weight: -30642 47.63/47.71 c Elapsed CPU time: 46.8519 s Remaining CPU time: 1753.15 s 47.73/47.84 c ============================[ Search Statistics ]============================== 47.73/47.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.73/47.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.73/47.84 c =============================================================================== 47.73/47.84 c | 0 | 24789 47794 322264 | 15931 0 nan | 0.000 % | 48.03/48.10 c =============================================================================== 48.03/48.10 c core #133 48.03/48.10 c Core size: 225 Core Weight: 1 Total Weight: -30641 48.03/48.10 c Elapsed CPU time: 47.2358 s Remaining CPU time: 1752.76 s 48.13/48.23 c ============================[ Search Statistics ]============================== 48.13/48.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.13/48.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.13/48.23 c =============================================================================== 48.13/48.23 c | 0 | 24809 47812 322319 | 15937 0 nan | 0.000 % | 48.43/48.58 c =============================================================================== 48.43/48.58 c core #134 48.43/48.58 c Core size: 225 Core Weight: 1 Total Weight: -30640 48.43/48.58 c Elapsed CPU time: 47.7127 s Remaining CPU time: 1752.29 s 48.63/48.71 c ============================[ Search Statistics ]============================== 48.63/48.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.63/48.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.63/48.71 c =============================================================================== 48.63/48.71 c | 0 | 24830 47830 322372 | 15943 0 nan | 0.000 % | 48.93/49.05 c =============================================================================== 48.93/49.05 c core #135 48.93/49.05 c Core size: 220 Core Weight: 1 Total Weight: -30639 48.93/49.05 c Elapsed CPU time: 48.1727 s Remaining CPU time: 1751.83 s 49.03/49.18 c ============================[ Search Statistics ]============================== 49.03/49.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.03/49.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.03/49.18 c =============================================================================== 49.03/49.18 c | 0 | 24848 47847 322428 | 15949 0 nan | 0.000 % | 49.33/49.42 c =============================================================================== 49.33/49.42 c core #136 49.33/49.42 c Core size: 20 Core Weight: 11 Total Weight: -30628 49.33/49.42 c Elapsed CPU time: 48.5316 s Remaining CPU time: 1751.47 s 49.43/49.55 c ============================[ Search Statistics ]============================== 49.43/49.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.43/49.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.43/49.55 c =============================================================================== 49.43/49.55 c | 0 | 24859 47857 322475 | 15952 0 nan | 0.000 % | 49.73/49.89 c =============================================================================== 49.73/49.89 c core #137 49.73/49.89 c Core size: 19 Core Weight: 22 Total Weight: -30606 49.73/49.89 c Elapsed CPU time: 48.9866 s Remaining CPU time: 1751.01 s 49.92/50.02 c ============================[ Search Statistics ]============================== 49.92/50.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.92/50.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.92/50.02 c =============================================================================== 49.92/50.02 c | 0 | 24870 47868 322524 | 15956 0 nan | 0.000 % | 50.22/50.36 c =============================================================================== 50.22/50.36 c core #138 50.22/50.36 c Core size: 220 Core Weight: 1 Total Weight: -30605 50.22/50.36 c Elapsed CPU time: 49.4445 s Remaining CPU time: 1750.56 s 50.33/50.49 c Learning 1 hard constraints 50.33/50.49 c ============================[ Search Statistics ]============================== 50.33/50.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.33/50.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.33/50.49 c =============================================================================== 50.33/50.49 c | 0 | 24886 47883 322598 | 15961 0 nan | 0.000 % | 50.53/50.65 c =============================================================================== 50.53/50.65 c core #139 50.53/50.65 c Core size: 219 Core Weight: 1 Total Weight: -30604 50.53/50.65 c Elapsed CPU time: 49.7264 s Remaining CPU time: 1750.27 s 50.63/50.78 c Learning 1 hard constraints 50.63/50.78 c ============================[ Search Statistics ]============================== 50.63/50.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.63/50.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.63/50.78 c =============================================================================== 50.63/50.78 c | 0 | 24902 47899 322699 | 15966 0 nan | 0.000 % | 50.73/50.84 c =============================================================================== 50.73/50.84 c core #140 50.73/50.84 c Core size: 219 Core Weight: 2 Total Weight: -30602 50.73/50.84 c Elapsed CPU time: 49.9154 s Remaining CPU time: 1750.08 s 50.83/50.97 c ============================[ Search Statistics ]============================== 50.83/50.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.83/50.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.83/50.97 c =============================================================================== 50.83/50.97 c | 0 | 24918 47914 322738 | 15971 0 nan | 0.000 % | 50.92/51.03 c =============================================================================== 50.92/51.03 c core #141 50.92/51.03 c Core size: 225 Core Weight: 1 Total Weight: -30601 50.92/51.03 c Elapsed CPU time: 50.0984 s Remaining CPU time: 1749.9 s 51.02/51.16 c ============================[ Search Statistics ]============================== 51.02/51.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.02/51.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.02/51.16 c =============================================================================== 51.02/51.16 c | 0 | 24939 47931 322793 | 15977 0 nan | 0.000 % | 51.13/51.22 c =============================================================================== 51.13/51.22 c core #142 51.13/51.22 c Core size: 14 Core Weight: 20 Total Weight: -30581 51.13/51.22 c Elapsed CPU time: 50.2874 s Remaining CPU time: 1749.71 s 51.22/51.35 c ============================[ Search Statistics ]============================== 51.22/51.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.22/51.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.22/51.35 c =============================================================================== 51.22/51.35 c | 0 | 24947 47939 322828 | 15979 0 nan | 0.000 % | 51.32/51.41 c =============================================================================== 51.32/51.42 c core #143 51.32/51.42 c Core size: 20 Core Weight: 2 Total Weight: -30579 51.32/51.42 c Elapsed CPU time: 50.4723 s Remaining CPU time: 1749.53 s 51.43/51.54 c ============================[ Search Statistics ]============================== 51.43/51.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.43/51.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.43/51.54 c =============================================================================== 51.43/51.54 c | 0 | 24959 47951 322883 | 15983 0 nan | 0.000 % | 51.52/51.62 c =============================================================================== 51.52/51.62 c core #144 51.52/51.62 c Core size: 229 Core Weight: 1 Total Weight: -30578 51.52/51.62 c Elapsed CPU time: 50.6723 s Remaining CPU time: 1749.33 s 51.62/51.75 c ============================[ Search Statistics ]============================== 51.62/51.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.62/51.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.62/51.75 c =============================================================================== 51.62/51.75 c | 0 | 24983 47972 322978 | 15990 0 nan | 0.000 % | 51.72/51.85 c =============================================================================== 51.72/51.85 c core #145 51.72/51.85 c Core size: 19 Core Weight: 1 Total Weight: -30577 51.72/51.85 c Elapsed CPU time: 50.8913 s Remaining CPU time: 1749.11 s 51.82/51.98 c ============================[ Search Statistics ]============================== 51.82/51.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.82/51.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.82/51.98 c =============================================================================== 51.82/51.98 c | 0 | 24993 47981 323020 | 15993 0 nan | 0.000 % | 51.92/52.07 c =============================================================================== 51.92/52.07 c core #146 51.92/52.07 c Core size: 15 Core Weight: 49 Total Weight: -30528 51.92/52.07 c Elapsed CPU time: 51.1122 s Remaining CPU time: 1748.89 s 52.12/52.20 c ============================[ Search Statistics ]============================== 52.12/52.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.12/52.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.12/52.20 c =============================================================================== 52.12/52.20 c | 0 | 25001 47989 323055 | 15996 0 nan | 0.000 % | 52.12/52.27 c =============================================================================== 52.12/52.27 c core #147 52.12/52.27 c Core size: 19 Core Weight: 21 Total Weight: -30507 52.12/52.27 c Elapsed CPU time: 51.2952 s Remaining CPU time: 1748.7 s 52.31/52.40 c ============================[ Search Statistics ]============================== 52.31/52.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.31/52.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.31/52.40 c =============================================================================== 52.31/52.40 c | 0 | 25012 48000 323105 | 16000 0 nan | 0.000 % | 52.31/52.46 c =============================================================================== 52.31/52.46 c core #148 52.31/52.46 c Core size: 14 Core Weight: 27 Total Weight: -30480 52.31/52.46 c Elapsed CPU time: 51.4832 s Remaining CPU time: 1748.52 s 52.42/52.59 c ============================[ Search Statistics ]============================== 52.42/52.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.42/52.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.42/52.59 c =============================================================================== 52.42/52.59 c | 0 | 25020 48007 323137 | 16002 0 nan | 0.000 % | 52.52/52.65 c =============================================================================== 52.52/52.65 c core #149 52.52/52.65 c Core size: 11 Core Weight: 527 Total Weight: -29953 52.52/52.65 c Elapsed CPU time: 51.6671 s Remaining CPU time: 1748.33 s 52.62/52.78 c ============================[ Search Statistics ]============================== 52.62/52.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.62/52.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.62/52.78 c =============================================================================== 52.62/52.78 c | 0 | 25026 48012 323159 | 16004 0 nan | 0.000 % | 52.72/52.88 c =============================================================================== 52.72/52.88 c core #150 52.72/52.88 c Core size: 29 Core Weight: 1 Total Weight: -29952 52.72/52.88 c Elapsed CPU time: 51.8851 s Remaining CPU time: 1748.11 s 52.91/53.01 c ============================[ Search Statistics ]============================== 52.91/53.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.91/53.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.91/53.01 c =============================================================================== 52.91/53.01 c | 0 | 25043 48027 323236 | 16009 0 nan | 0.000 % | 53.02/53.11 c =============================================================================== 53.02/53.11 c core #151 53.02/53.11 c Core size: 234 Core Weight: 1 Total Weight: -29951 53.02/53.11 c Elapsed CPU time: 52.1041 s Remaining CPU time: 1747.9 s 53.12/53.24 c ============================[ Search Statistics ]============================== 53.12/53.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.12/53.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.12/53.24 c =============================================================================== 53.12/53.24 c | 0 | 25068 48047 323314 | 16015 0 nan | 0.000 % | 53.21/53.33 c =============================================================================== 53.21/53.33 c core #152 53.21/53.33 c Core size: 233 Core Weight: 1 Total Weight: -29950 53.21/53.33 c Elapsed CPU time: 52.325 s Remaining CPU time: 1747.67 s 53.31/53.47 c ============================[ Search Statistics ]============================== 53.31/53.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.31/53.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.31/53.47 c =============================================================================== 53.31/53.47 c | 0 | 25093 48067 323392 | 16022 0 nan | 0.000 % | 53.42/53.57 c =============================================================================== 53.42/53.57 c core #153 53.42/53.57 c Core size: 31 Core Weight: 1 Total Weight: -29949 53.42/53.57 c Elapsed CPU time: 52.554 s Remaining CPU time: 1747.45 s 53.62/53.71 c ============================[ Search Statistics ]============================== 53.62/53.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.62/53.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.62/53.71 c =============================================================================== 53.62/53.71 c | 0 | 25111 48082 323471 | 16027 0 nan | 0.000 % | 53.72/53.81 c =============================================================================== 53.72/53.81 c core #154 53.72/53.81 c Core size: 24 Core Weight: 7 Total Weight: -29942 53.72/53.81 c Elapsed CPU time: 52.783 s Remaining CPU time: 1747.22 s 53.82/53.94 c ============================[ Search Statistics ]============================== 53.82/53.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.82/53.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.82/53.94 c =============================================================================== 53.82/53.94 c | 0 | 25125 48095 323536 | 16031 0 nan | 0.000 % | 53.91/54.04 c =============================================================================== 53.91/54.04 c core #155 53.91/54.04 c Core size: 24 Core Weight: 1 Total Weight: -29941 53.91/54.04 c Elapsed CPU time: 53.0049 s Remaining CPU time: 1747 s 54.01/54.17 c ============================[ Search Statistics ]============================== 54.01/54.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.01/54.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.01/54.17 c =============================================================================== 54.01/54.17 c | 0 | 25139 48108 323601 | 16036 0 nan | 0.000 % | 54.11/54.27 c =============================================================================== 54.11/54.27 c core #156 54.11/54.27 c Core size: 24 Core Weight: 3 Total Weight: -29938 54.11/54.27 c Elapsed CPU time: 53.2239 s Remaining CPU time: 1746.78 s 54.31/54.40 c ============================[ Search Statistics ]============================== 54.31/54.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.31/54.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.31/54.40 c =============================================================================== 54.31/54.40 c | 0 | 25153 48121 323666 | 16040 0 nan | 0.000 % | 54.41/54.50 c =============================================================================== 54.41/54.50 c core #157 54.41/54.50 c Core size: 24 Core Weight: 1 Total Weight: -29937 54.41/54.50 c Elapsed CPU time: 53.4439 s Remaining CPU time: 1746.56 s 54.51/54.63 c ============================[ Search Statistics ]============================== 54.51/54.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.51/54.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.51/54.63 c =============================================================================== 54.51/54.63 c | 0 | 25167 48134 323731 | 16044 0 nan | 0.000 % | 54.61/54.72 c =============================================================================== 54.61/54.72 c core #158 54.61/54.72 c Core size: 24 Core Weight: 5 Total Weight: -29932 54.61/54.72 c Elapsed CPU time: 53.6608 s Remaining CPU time: 1746.34 s 54.71/54.85 c ============================[ Search Statistics ]============================== 54.71/54.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.71/54.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.71/54.85 c =============================================================================== 54.71/54.85 c | 0 | 25181 48148 323799 | 16049 0 nan | 0.000 % | 54.81/54.95 c =============================================================================== 54.81/54.95 c core #159 54.81/54.95 c Core size: 33 Core Weight: 1 Total Weight: -29931 54.81/54.95 c Elapsed CPU time: 53.8768 s Remaining CPU time: 1746.12 s 54.91/55.08 c ============================[ Search Statistics ]============================== 54.91/55.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.91/55.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.91/55.08 c =============================================================================== 54.91/55.08 c | 0 | 25200 48161 323874 | 16053 0 nan | 0.000 % | 55.01/55.18 c =============================================================================== 55.01/55.18 c core #160 55.01/55.18 c Core size: 42 Core Weight: 1 Total Weight: -29930 55.01/55.18 c Elapsed CPU time: 54.0968 s Remaining CPU time: 1745.9 s 55.20/55.31 c ============================[ Search Statistics ]============================== 55.20/55.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.20/55.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.20/55.31 c =============================================================================== 55.20/55.31 c | 0 | 25225 48184 324001 | 16061 0 nan | 0.000 % | 55.30/55.41 c =============================================================================== 55.30/55.41 c core #161 55.30/55.41 c Core size: 43 Core Weight: 1 Total Weight: -29929 55.30/55.41 c Elapsed CPU time: 54.3217 s Remaining CPU time: 1745.68 s 55.41/55.54 c ============================[ Search Statistics ]============================== 55.41/55.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.41/55.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.41/55.54 c =============================================================================== 55.41/55.54 c | 0 | 25250 48203 324112 | 16067 0 nan | 0.000 % | 55.51/55.64 c =============================================================================== 55.51/55.64 c core #162 55.51/55.64 c Core size: 28 Core Weight: 1 Total Weight: -29928 55.51/55.64 c Elapsed CPU time: 54.5467 s Remaining CPU time: 1745.45 s 55.61/55.77 c ============================[ Search Statistics ]============================== 55.61/55.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.61/55.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.61/55.77 c =============================================================================== 55.61/55.77 c | 0 | 25266 48218 324189 | 16072 0 nan | 0.000 % | 55.71/55.86 c =============================================================================== 55.71/55.86 c core #163 55.71/55.86 c Core size: 25 Core Weight: 3 Total Weight: -29925 55.71/55.86 c Elapsed CPU time: 54.7647 s Remaining CPU time: 1745.24 s 55.80/55.99 c ============================[ Search Statistics ]============================== 55.80/55.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.80/55.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.80/55.99 c =============================================================================== 55.80/55.99 c | 0 | 25280 48231 324256 | 16077 0 nan | 0.000 % | 55.91/56.09 c =============================================================================== 55.91/56.09 c core #164 55.91/56.09 c Core size: 22 Core Weight: 3 Total Weight: -29922 55.91/56.09 c Elapsed CPU time: 54.9816 s Remaining CPU time: 1745.02 s 56.11/56.22 c ============================[ Search Statistics ]============================== 56.11/56.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.11/56.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.11/56.22 c =============================================================================== 56.11/56.22 c | 0 | 25292 48242 324313 | 16080 0 nan | 0.000 % | 56.21/56.31 c =============================================================================== 56.21/56.31 c core #165 56.21/56.31 c Core size: 22 Core Weight: 15 Total Weight: -29907 56.21/56.31 c Elapsed CPU time: 55.2026 s Remaining CPU time: 1744.8 s 56.31/56.44 c ============================[ Search Statistics ]============================== 56.31/56.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.31/56.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.31/56.44 c =============================================================================== 56.31/56.44 c | 0 | 25304 48252 324367 | 16084 0 nan | 0.000 % | 56.40/56.54 c =============================================================================== 56.40/56.54 c core #166 56.40/56.54 c Core size: 33 Core Weight: 1 Total Weight: -29906 56.40/56.54 c Elapsed CPU time: 55.4226 s Remaining CPU time: 1744.58 s 56.50/56.67 c ============================[ Search Statistics ]============================== 56.50/56.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.50/56.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.50/56.67 c =============================================================================== 56.50/56.67 c | 0 | 25322 48266 324448 | 16088 0 nan | 0.000 % | 56.61/56.77 c =============================================================================== 56.61/56.77 c core #167 56.61/56.77 c Core size: 30 Core Weight: 1 Total Weight: -29905 56.61/56.77 c Elapsed CPU time: 55.6445 s Remaining CPU time: 1744.36 s 56.81/56.90 c ============================[ Search Statistics ]============================== 56.81/56.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.81/56.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.81/56.90 c =============================================================================== 56.81/56.90 c | 0 | 25339 48282 324534 | 16094 0 nan | 0.000 % | 56.81/57.00 c =============================================================================== 56.81/57.00 c core #168 56.81/57.00 c Core size: 30 Core Weight: 5 Total Weight: -29900 56.81/57.00 c Elapsed CPU time: 55.8605 s Remaining CPU time: 1744.14 s 57.00/57.13 c ============================[ Search Statistics ]============================== 57.00/57.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.00/57.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.00/57.13 c =============================================================================== 57.00/57.13 c | 0 | 25356 48296 324612 | 16098 0 nan | 0.000 % | 57.10/57.22 c =============================================================================== 57.10/57.22 c core #169 57.10/57.22 c Core size: 29 Core Weight: 1 Total Weight: -29899 57.10/57.22 c Elapsed CPU time: 56.0795 s Remaining CPU time: 1743.92 s 57.20/57.35 c ============================[ Search Statistics ]============================== 57.20/57.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.20/57.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.20/57.35 c =============================================================================== 57.20/57.35 c | 0 | 25372 48307 324673 | 16102 0 nan | 0.000 % | 57.30/57.45 c =============================================================================== 57.30/57.45 c core #170 57.30/57.45 c Core size: 29 Core Weight: 1 Total Weight: -29898 57.30/57.45 c Elapsed CPU time: 56.2934 s Remaining CPU time: 1743.71 s 57.40/57.58 c ============================[ Search Statistics ]============================== 57.40/57.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.40/57.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.40/57.58 c =============================================================================== 57.40/57.58 c | 0 | 25388 48321 324745 | 16107 0 nan | 0.000 % | 57.50/57.68 c =============================================================================== 57.50/57.68 c core #171 57.50/57.68 c Core size: 29 Core Weight: 1 Total Weight: -29897 57.50/57.68 c Elapsed CPU time: 56.5164 s Remaining CPU time: 1743.48 s 57.70/57.81 c ============================[ Search Statistics ]============================== 57.70/57.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.70/57.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.70/57.81 c =============================================================================== 57.70/57.81 c | 0 | 25404 48335 324817 | 16111 0 nan | 0.000 % | 57.80/57.90 c =============================================================================== 57.80/57.90 c core #172 57.80/57.90 c Core size: 264 Core Weight: 1 Total Weight: -29896 57.80/57.90 c Elapsed CPU time: 56.7414 s Remaining CPU time: 1743.26 s 57.90/58.03 c ============================[ Search Statistics ]============================== 57.90/58.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.90/58.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.90/58.03 c =============================================================================== 57.90/58.04 c | 0 | 25449 48358 324953 | 16119 0 nan | 0.000 % | 58.00/58.13 c =============================================================================== 58.00/58.13 c core #173 58.00/58.13 c Core size: 25 Core Weight: 1 Total Weight: -29895 58.00/58.13 c Elapsed CPU time: 56.9623 s Remaining CPU time: 1743.04 s 58.10/58.26 c ============================[ Search Statistics ]============================== 58.10/58.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.10/58.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.10/58.26 c =============================================================================== 58.10/58.26 c | 0 | 25463 48368 325007 | 16122 0 nan | 0.000 % | 58.21/58.36 c =============================================================================== 58.21/58.36 c core #174 58.21/58.36 c Core size: 27 Core Weight: 3 Total Weight: -29892 58.21/58.36 c Elapsed CPU time: 57.1853 s Remaining CPU time: 1742.81 s 58.31/58.49 c ============================[ Search Statistics ]============================== 58.31/58.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.31/58.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.31/58.49 c =============================================================================== 58.31/58.49 c | 0 | 25478 48382 325078 | 16127 0 nan | 0.000 % | 58.40/58.59 c =============================================================================== 58.40/58.59 c core #175 58.40/58.59 c Core size: 25 Core Weight: 1 Total Weight: -29891 58.40/58.59 c Elapsed CPU time: 57.4023 s Remaining CPU time: 1742.6 s 58.60/58.72 c ============================[ Search Statistics ]============================== 58.60/58.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.60/58.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.60/58.72 c =============================================================================== 58.60/58.72 c | 0 | 25492 48393 325139 | 16131 0 nan | 0.000 % | 58.70/58.82 c =============================================================================== 58.70/58.82 c core #176 58.70/58.82 c Core size: 25 Core Weight: 1 Total Weight: -29890 58.70/58.82 c Elapsed CPU time: 57.6192 s Remaining CPU time: 1742.38 s 58.80/58.94 c ============================[ Search Statistics ]============================== 58.80/58.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.80/58.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.80/58.94 c =============================================================================== 58.80/58.94 c | 0 | 25506 48405 325200 | 16135 0 nan | 0.000 % | 58.90/59.04 c =============================================================================== 58.90/59.04 c core #177 58.90/59.04 c Core size: 25 Core Weight: 1 Total Weight: -29889 58.90/59.04 c Elapsed CPU time: 57.8392 s Remaining CPU time: 1742.16 s 59.00/59.17 c ============================[ Search Statistics ]============================== 59.00/59.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.00/59.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.00/59.17 c =============================================================================== 59.00/59.17 c | 0 | 25520 48417 325261 | 16139 0 nan | 0.000 % | 59.10/59.27 c =============================================================================== 59.10/59.27 c core #178 59.10/59.27 c Core size: 25 Core Weight: 1 Total Weight: -29888 59.10/59.27 c Elapsed CPU time: 58.0612 s Remaining CPU time: 1741.94 s 59.20/59.40 c ============================[ Search Statistics ]============================== 59.20/59.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.20/59.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.30/59.40 c =============================================================================== 59.30/59.40 c | 0 | 25534 48429 325322 | 16143 0 nan | 0.000 % | 59.30/59.50 c =============================================================================== 59.30/59.50 c core #179 59.30/59.50 c Core size: 25 Core Weight: 1 Total Weight: -29887 59.30/59.50 c Elapsed CPU time: 58.2841 s Remaining CPU time: 1741.72 s 59.50/59.63 c ============================[ Search Statistics ]============================== 59.50/59.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.50/59.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.50/59.63 c =============================================================================== 59.50/59.63 c | 0 | 25548 48441 325383 | 16147 0 nan | 0.000 % | 59.60/59.73 c =============================================================================== 59.60/59.73 c core #180 59.60/59.73 c Core size: 35 Core Weight: 1 Total Weight: -29886 59.60/59.73 c Elapsed CPU time: 58.5031 s Remaining CPU time: 1741.5 s 59.70/59.86 c ============================[ Search Statistics ]============================== 59.70/59.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.70/59.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.70/59.86 c =============================================================================== 59.70/59.86 c | 0 | 25568 48459 325483 | 16153 0 nan | 0.000 % | 59.79/59.96 c =============================================================================== 59.79/59.96 c core #181 59.79/59.96 c Core size: 29 Core Weight: 3 Total Weight: -29883 59.79/59.96 c Elapsed CPU time: 58.7291 s Remaining CPU time: 1741.27 s 59.90/60.09 c ============================[ Search Statistics ]============================== 59.90/60.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.90/60.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.90/60.09 c =============================================================================== 59.90/60.09 c | 0 | 25584 48468 325538 | 16156 0 nan | 0.000 % | 60.10/60.21 c =============================================================================== 60.10/60.21 c core #182 60.10/60.21 c Core size: 26 Core Weight: 16 Total Weight: -29867 60.10/60.21 c Elapsed CPU time: 58.971 s Remaining CPU time: 1741.03 s 60.20/60.34 c ============================[ Search Statistics ]============================== 60.20/60.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.20/60.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.20/60.34 c =============================================================================== 60.20/60.34 c | 0 | 25599 48482 325611 | 16160 0 nan | 0.000 % | 60.30/60.45 c =============================================================================== 60.30/60.45 c core #183 60.30/60.45 c Core size: 407 Core Weight: 1 Total Weight: -29866 60.30/60.45 c Elapsed CPU time: 59.212 s Remaining CPU time: 1740.79 s 60.40/60.59 c ============================[ Search Statistics ]============================== 60.40/60.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.40/60.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.40/60.59 c =============================================================================== 60.40/60.59 c | 0 | 25630 48512 325709 | 16170 0 nan | 0.000 % | 60.60/60.70 c =============================================================================== 60.60/60.71 c core #184 60.60/60.71 c Core size: 406 Core Weight: 2 Total Weight: -29864 60.60/60.71 c Elapsed CPU time: 59.451 s Remaining CPU time: 1740.55 s 60.70/60.84 c ============================[ Search Statistics ]============================== 60.70/60.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.70/60.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.70/60.84 c =============================================================================== 60.70/60.84 c | 0 | 25660 48542 325805 | 16180 0 nan | 0.000 % | 60.80/60.95 c =============================================================================== 60.80/60.95 c core #185 60.80/60.95 c Core size: 403 Core Weight: 1 Total Weight: -29863 60.80/60.95 c Elapsed CPU time: 59.6949 s Remaining CPU time: 1740.31 s 60.90/61.08 c ============================[ Search Statistics ]============================== 60.90/61.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.90/61.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.90/61.08 c =============================================================================== 60.90/61.08 c | 0 | 25688 48569 325889 | 16189 0 nan | 0.000 % | 60.99/61.20 c =============================================================================== 60.99/61.20 c core #186 60.99/61.20 c Core size: 403 Core Weight: 4 Total Weight: -29859 60.99/61.20 c Elapsed CPU time: 59.9339 s Remaining CPU time: 1740.07 s 61.19/61.33 c ============================[ Search Statistics ]============================== 61.19/61.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.19/61.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.19/61.33 c =============================================================================== 61.19/61.33 c | 0 | 25716 48596 325973 | 16198 0 nan | 0.000 % | 61.29/61.44 c =============================================================================== 61.29/61.44 c core #187 61.29/61.44 c Core size: 403 Core Weight: 1 Total Weight: -29858 61.29/61.44 c Elapsed CPU time: 60.1739 s Remaining CPU time: 1739.83 s 61.39/61.57 c ============================[ Search Statistics ]============================== 61.39/61.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.39/61.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.39/61.57 c =============================================================================== 61.39/61.57 c | 0 | 25745 48624 326097 | 16208 0 nan | 0.000 % | 61.50/61.69 c =============================================================================== 61.50/61.69 c core #188 61.50/61.69 c Core size: 411 Core Weight: 1 Total Weight: -29857 61.50/61.69 c Elapsed CPU time: 60.4108 s Remaining CPU time: 1739.59 s 61.69/61.82 c ============================[ Search Statistics ]============================== 61.69/61.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.69/61.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.69/61.82 c =============================================================================== 61.69/61.82 c | 0 | 25778 48656 326205 | 16218 0 nan | 0.000 % | 61.79/61.94 c =============================================================================== 61.79/61.94 c core #189 61.79/61.94 c Core size: 409 Core Weight: 1 Total Weight: -29856 61.79/61.94 c Elapsed CPU time: 60.6518 s Remaining CPU time: 1739.35 s 61.89/62.07 c ============================[ Search Statistics ]============================== 61.89/62.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.89/62.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.89/62.07 c =============================================================================== 61.89/62.07 c | 0 | 25810 48685 326305 | 16228 0 nan | 0.000 % | 61.99/62.18 c =============================================================================== 61.99/62.18 c core #190 61.99/62.18 c Core size: 411 Core Weight: 1 Total Weight: -29855 61.99/62.18 c Elapsed CPU time: 60.8907 s Remaining CPU time: 1739.11 s 62.19/62.31 c ============================[ Search Statistics ]============================== 62.19/62.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.19/62.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.19/62.31 c =============================================================================== 62.19/62.31 c | 0 | 25843 48713 326404 | 16237 0 nan | 0.000 % | 62.29/62.43 c =============================================================================== 62.29/62.43 c core #191 62.29/62.43 c Core size: 420 Core Weight: 1 Total Weight: -29854 62.29/62.43 c Elapsed CPU time: 61.1307 s Remaining CPU time: 1738.87 s 62.39/62.56 c ============================[ Search Statistics ]============================== 62.39/62.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.39/62.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.39/62.56 c =============================================================================== 62.39/62.56 c | 0 | 25882 48741 326515 | 16247 0 nan | 0.000 % | 62.49/62.69 c =============================================================================== 62.49/62.69 c core #192 62.49/62.69 c Core size: 29 Core Weight: 4 Total Weight: -29850 62.49/62.69 c Elapsed CPU time: 61.3837 s Remaining CPU time: 1738.62 s 62.69/62.82 c ============================[ Search Statistics ]============================== 62.69/62.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.69/62.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.69/62.82 c =============================================================================== 62.69/62.82 c | 0 | 25898 48755 326589 | 16251 0 nan | 0.000 % | 62.79/62.92 c =============================================================================== 62.79/62.92 c core #193 62.79/62.92 c Core size: 50 Core Weight: 1 Total Weight: -29849 62.79/62.92 c Elapsed CPU time: 61.6066 s Remaining CPU time: 1738.39 s 62.89/63.05 c ============================[ Search Statistics ]============================== 62.89/63.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.89/63.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.89/63.05 c =============================================================================== 62.89/63.05 c | 0 | 25926 48775 326710 | 16258 0 nan | 0.000 % | 62.98/63.15 c =============================================================================== 62.98/63.15 c core #194 62.98/63.15 c Core size: 46 Core Weight: 1 Total Weight: -29848 62.98/63.15 c Elapsed CPU time: 61.8286 s Remaining CPU time: 1738.17 s 63.08/63.28 c ============================[ Search Statistics ]============================== 63.08/63.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.08/63.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.08/63.28 c =============================================================================== 63.08/63.28 c | 0 | 25952 48793 326821 | 16264 0 nan | 0.000 % | 63.19/63.34 c =============================================================================== 63.19/63.34 c core #195 63.19/63.34 c Core size: 20 Core Weight: 8 Total Weight: -29840 63.19/63.34 c Elapsed CPU time: 62.0166 s Remaining CPU time: 1737.98 s 63.29/63.47 c ============================[ Search Statistics ]============================== 63.29/63.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.29/63.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.29/63.47 c =============================================================================== 63.29/63.47 c | 0 | 25965 48802 326869 | 16267 0 nan | 0.000 % | 63.48/63.61 c =============================================================================== 63.48/63.61 c core #196 63.48/63.61 c Core size: 441 Core Weight: 1 Total Weight: -29839 63.48/63.61 c Elapsed CPU time: 62.2765 s Remaining CPU time: 1737.72 s 63.59/63.74 c Learning 1 hard constraints 63.59/63.74 c ============================[ Search Statistics ]============================== 63.59/63.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.59/63.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.59/63.74 c =============================================================================== 63.59/63.74 c | 0 | 26020 48839 327187 | 16279 0 nan | 0.000 % | 63.68/63.89 c =============================================================================== 63.68/63.89 c core #197 63.68/63.89 c Core size: 398 Core Weight: 2 Total Weight: -29837 63.68/63.89 c Elapsed CPU time: 62.5475 s Remaining CPU time: 1737.45 s 63.88/64.02 c Learning 2 hard constraints 63.88/64.02 c ============================[ Search Statistics ]============================== 63.88/64.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.88/64.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.88/64.02 c =============================================================================== 63.88/64.02 c | 0 | 26049 48869 327591 | 16289 0 nan | 0.000 % | 64.08/64.21 c =============================================================================== 64.08/64.21 c core #198 64.08/64.21 c Core size: 31 Core Weight: 1 Total Weight: -29836 64.08/64.21 c Elapsed CPU time: 62.8584 s Remaining CPU time: 1737.14 s 64.19/64.34 c ============================[ Search Statistics ]============================== 64.19/64.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.19/64.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.19/64.34 c =============================================================================== 64.19/64.34 c | 0 | 26067 48882 327666 | 16294 0 nan | 0.000 % | 64.28/64.46 c =============================================================================== 64.28/64.46 c core #199 64.28/64.46 c Core size: 52 Core Weight: 1 Total Weight: -29835 64.28/64.46 c Elapsed CPU time: 63.0994 s Remaining CPU time: 1736.9 s 64.38/64.59 c ============================[ Search Statistics ]============================== 64.38/64.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.38/64.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.38/64.59 c =============================================================================== 64.38/64.59 c | 0 | 26100 48905 327812 | 16301 0 nan | 0.000 % | 64.58/64.72 c =============================================================================== 64.58/64.72 c core #200 64.58/64.72 c Core size: 58 Core Weight: 1 Total Weight: -29834 64.58/64.72 c Elapsed CPU time: 63.3484 s Remaining CPU time: 1736.65 s 64.68/64.85 c ============================[ Search Statistics ]============================== 64.68/64.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.68/64.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.68/64.85 c =============================================================================== 64.68/64.85 c | 0 | 26138 48926 327961 | 16308 0 nan | 0.000 % | 64.79/64.97 c =============================================================================== 64.79/64.97 c core #201 64.79/64.97 c Core size: 55 Core Weight: 1 Total Weight: -29833 64.79/64.97 c Elapsed CPU time: 63.5963 s Remaining CPU time: 1736.4 s 64.99/65.11 c ============================[ Search Statistics ]============================== 64.99/65.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.99/65.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.99/65.11 c =============================================================================== 64.99/65.11 c | 0 | 26173 48949 328113 | 16316 0 nan | 0.000 % | 65.09/65.25 c =============================================================================== 65.09/65.25 c core #202 65.09/65.25 c Core size: 37 Core Weight: 2 Total Weight: -29831 65.09/65.25 c Elapsed CPU time: 63.8673 s Remaining CPU time: 1736.13 s 65.18/65.39 c ============================[ Search Statistics ]============================== 65.18/65.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.18/65.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.18/65.39 c =============================================================================== 65.18/65.39 c | 0 | 26195 48970 328231 | 16323 0 nan | 0.000 % | 65.38/65.54 c =============================================================================== 65.38/65.54 c core #203 65.38/65.54 c Core size: 41 Core Weight: 1 Total Weight: -29830 65.38/65.54 c Elapsed CPU time: 64.1492 s Remaining CPU time: 1735.85 s 65.48/65.68 c ============================[ Search Statistics ]============================== 65.48/65.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.48/65.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.48/65.68 c =============================================================================== 65.48/65.68 c | 0 | 26219 48987 328336 | 16329 0 nan | 0.000 % | 65.58/65.80 c =============================================================================== 65.58/65.80 c core #204 65.58/65.80 c Core size: 45 Core Weight: 1 Total Weight: -29829 65.58/65.80 c Elapsed CPU time: 64.3982 s Remaining CPU time: 1735.6 s 65.78/65.94 c ============================[ Search Statistics ]============================== 65.78/65.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.78/65.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.78/65.94 c =============================================================================== 65.78/65.94 c | 0 | 26245 49003 328440 | 16334 0 nan | 0.000 % | 65.89/66.08 c =============================================================================== 65.89/66.09 c core #205 65.89/66.09 c Core size: 48 Core Weight: 1 Total Weight: -29828 65.89/66.09 c Elapsed CPU time: 64.6742 s Remaining CPU time: 1735.33 s 66.08/66.22 c ============================[ Search Statistics ]============================== 66.08/66.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.08/66.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.08/66.22 c =============================================================================== 66.08/66.22 c | 0 | 26272 49023 328565 | 16341 0 nan | 0.000 % | 66.17/66.35 c =============================================================================== 66.17/66.35 c core #206 66.17/66.35 c Core size: 23 Core Weight: 5 Total Weight: -29823 66.17/66.35 c Elapsed CPU time: 64.9321 s Remaining CPU time: 1735.07 s 66.28/66.48 c ============================[ Search Statistics ]============================== 66.28/66.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.28/66.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.28/66.48 c =============================================================================== 66.28/66.48 c | 0 | 26285 49036 328629 | 16345 0 nan | 0.000 % | 66.48/66.61 c =============================================================================== 66.48/66.61 c core #207 66.48/66.61 c Core size: 16 Core Weight: 26 Total Weight: -29797 66.48/66.61 c Elapsed CPU time: 65.1841 s Remaining CPU time: 1734.82 s 66.58/66.74 c ============================[ Search Statistics ]============================== 66.58/66.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.58/66.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.58/66.74 c =============================================================================== 66.58/66.74 c | 0 | 26294 49045 328668 | 16348 0 nan | 0.000 % | 66.68/66.87 c =============================================================================== 66.68/66.87 c core #208 66.68/66.87 c Core size: 461 Core Weight: 1 Total Weight: -29796 66.68/66.87 c Elapsed CPU time: 65.4331 s Remaining CPU time: 1734.57 s 66.88/67.00 c ============================[ Search Statistics ]============================== 66.88/67.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.88/67.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.88/67.00 c =============================================================================== 66.88/67.00 c | 0 | 26365 49090 328913 | 16363 0 nan | 0.000 % | 66.98/67.12 c =============================================================================== 66.98/67.12 c core #209 66.98/67.12 c Core size: 416 Core Weight: 1 Total Weight: -29795 66.98/67.12 c Elapsed CPU time: 65.678 s Remaining CPU time: 1734.32 s 67.08/67.26 c ============================[ Search Statistics ]============================== 67.08/67.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.08/67.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.08/67.26 c =============================================================================== 67.08/67.26 c | 0 | 26449 49147 329249 | 16382 0 nan | 0.000 % | 67.18/67.38 c =============================================================================== 67.18/67.38 c core #210 67.18/67.38 c Core size: 479 Core Weight: 1 Total Weight: -29794 67.18/67.38 c Elapsed CPU time: 65.929 s Remaining CPU time: 1734.07 s 67.38/67.52 c ============================[ Search Statistics ]============================== 67.38/67.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.38/67.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.38/67.52 c =============================================================================== 67.38/67.52 c | 0 | 26526 49190 329504 | 16396 0 nan | 0.000 % | 67.48/67.65 c =============================================================================== 67.48/67.65 c core #211 67.48/67.65 c Core size: 426 Core Weight: 1 Total Weight: -29793 67.48/67.65 c Elapsed CPU time: 66.1819 s Remaining CPU time: 1733.82 s 67.58/67.78 c ============================[ Search Statistics ]============================== 67.58/67.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.58/67.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.58/67.78 c =============================================================================== 67.58/67.78 c | 0 | 26573 49227 329673 | 16409 0 nan | 0.000 % | 67.77/67.91 c =============================================================================== 67.77/67.91 c core #212 67.77/67.91 c Core size: 429 Core Weight: 1 Total Weight: -29792 67.77/67.91 c Elapsed CPU time: 66.4359 s Remaining CPU time: 1733.56 s 67.87/68.04 c ============================[ Search Statistics ]============================== 67.87/68.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.87/68.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.87/68.04 c =============================================================================== 67.87/68.04 c | 0 | 26618 49269 329847 | 16423 0 nan | 0.000 % | 67.98/68.16 c =============================================================================== 67.98/68.16 c core #213 67.98/68.16 c Core size: 429 Core Weight: 1 Total Weight: -29791 67.98/68.16 c Elapsed CPU time: 66.6899 s Remaining CPU time: 1733.31 s 68.08/68.30 c ============================[ Search Statistics ]============================== 68.08/68.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.08/68.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.08/68.30 c =============================================================================== 68.08/68.30 c | 0 | 26664 49314 330036 | 16438 0 nan | 0.000 % | 68.28/68.42 c =============================================================================== 68.28/68.42 c core #214 68.28/68.42 c Core size: 423 Core Weight: 1 Total Weight: -29790 68.28/68.42 c Elapsed CPU time: 66.9418 s Remaining CPU time: 1733.06 s 68.37/68.56 c ============================[ Search Statistics ]============================== 68.37/68.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.37/68.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.37/68.56 c =============================================================================== 68.37/68.56 c | 0 | 26705 49349 330180 | 16449 0 nan | 0.000 % | 68.57/68.70 c =============================================================================== 68.57/68.70 c core #215 68.57/68.70 c Core size: 469 Core Weight: 1 Total Weight: -29789 68.57/68.70 c Elapsed CPU time: 67.2058 s Remaining CPU time: 1732.79 s 68.68/68.83 c ============================[ Search Statistics ]============================== 68.68/68.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.68/68.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.68/68.83 c =============================================================================== 68.68/68.83 c | 0 | 26779 49384 330394 | 16461 0 nan | 0.000 % | 68.77/68.97 c =============================================================================== 68.77/68.97 c core #216 68.77/68.97 c Core size: 410 Core Weight: 1 Total Weight: -29788 68.77/68.97 c Elapsed CPU time: 67.4717 s Remaining CPU time: 1732.53 s 68.97/69.10 c ============================[ Search Statistics ]============================== 68.97/69.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.97/69.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.97/69.10 c =============================================================================== 68.97/69.10 c | 0 | 26856 49416 330604 | 16472 0 nan | 0.000 % | 69.08/69.25 c =============================================================================== 69.08/69.25 c core #217 69.08/69.25 c Core size: 515 Core Weight: 1 Total Weight: -29787 69.08/69.25 c Elapsed CPU time: 67.7437 s Remaining CPU time: 1732.26 s 69.18/69.38 c ============================[ Search Statistics ]============================== 69.18/69.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.18/69.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.18/69.38 c =============================================================================== 69.18/69.38 c | 0 | 26961 49456 330904 | 16485 0 nan | 0.000 % | 69.27/69.49 c =============================================================================== 69.27/69.49 c core #218 69.27/69.49 c Core size: 16 Core Weight: 40 Total Weight: -29747 69.27/69.49 c Elapsed CPU time: 67.9737 s Remaining CPU time: 1732.03 s 69.48/69.62 c ============================[ Search Statistics ]============================== 69.48/69.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.48/69.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.48/69.62 c =============================================================================== 69.48/69.62 c | 0 | 26972 49467 330954 | 16489 0 nan | 0.000 % | 69.57/69.76 c =============================================================================== 69.57/69.76 c core #219 69.57/69.76 c Core size: 22 Core Weight: 6 Total Weight: -29741 69.57/69.76 c Elapsed CPU time: 68.2396 s Remaining CPU time: 1731.76 s 69.67/69.89 c ============================[ Search Statistics ]============================== 69.67/69.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.67/69.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.67/69.89 c =============================================================================== 69.67/69.89 c | 0 | 26985 49478 331012 | 16492 0 nan | 0.000 % | 69.88/70.06 c =============================================================================== 69.88/70.06 c core #220 69.88/70.06 c Core size: 42 Core Weight: 1 Total Weight: -29740 69.88/70.06 c Elapsed CPU time: 68.5326 s Remaining CPU time: 1731.47 s 69.97/70.19 c ============================[ Search Statistics ]============================== 69.97/70.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.97/70.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.97/70.19 c =============================================================================== 69.97/70.19 c | 0 | 27011 49492 331108 | 16497 0 nan | 0.000 % | 70.17/70.37 c =============================================================================== 70.17/70.37 c core #221 70.17/70.37 c Core size: 51 Core Weight: 1 Total Weight: -29739 70.17/70.37 c Elapsed CPU time: 68.8375 s Remaining CPU time: 1731.16 s 70.38/70.50 c ============================[ Search Statistics ]============================== 70.38/70.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.38/70.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.38/70.50 c =============================================================================== 70.38/70.50 c | 0 | 27042 49516 331259 | 16505 0 nan | 0.000 % | 70.47/70.66 c =============================================================================== 70.47/70.66 c core #222 70.47/70.66 c Core size: 72 Core Weight: 1 Total Weight: -29738 70.47/70.66 c Elapsed CPU time: 69.1145 s Remaining CPU time: 1730.89 s 70.57/70.79 c ============================[ Search Statistics ]============================== 70.57/70.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.57/70.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.57/70.79 c =============================================================================== 70.57/70.79 c | 0 | 27090 49536 331426 | 16512 0 nan | 0.000 % | 70.77/70.98 c =============================================================================== 70.77/70.98 c core #223 70.77/70.98 c Core size: 56 Core Weight: 1 Total Weight: -29737 70.77/70.98 c Elapsed CPU time: 69.4314 s Remaining CPU time: 1730.57 s 70.97/71.12 c ============================[ Search Statistics ]============================== 70.97/71.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.97/71.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.97/71.12 c =============================================================================== 70.97/71.12 c | 0 | 27124 49558 331573 | 16519 0 nan | 0.000 % | 71.07/71.28 c =============================================================================== 71.07/71.28 c core #224 71.07/71.28 c Core size: 443 Core Weight: 1 Total Weight: -29736 71.07/71.28 c Elapsed CPU time: 69.7204 s Remaining CPU time: 1730.28 s 71.27/71.42 c ============================[ Search Statistics ]============================== 71.27/71.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.27/71.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.27/71.42 c =============================================================================== 71.27/71.42 c | 0 | 27180 49600 331770 | 16533 0 nan | 0.000 % | 71.37/71.59 c =============================================================================== 71.37/71.59 c core #225 71.37/71.59 c Core size: 46 Core Weight: 1 Total Weight: -29735 71.37/71.59 c Elapsed CPU time: 70.0214 s Remaining CPU time: 1729.98 s 71.57/71.73 c ============================[ Search Statistics ]============================== 71.57/71.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.57/71.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.57/71.73 c =============================================================================== 71.57/71.73 c | 0 | 27208 49615 331871 | 16538 0 nan | 0.000 % | 71.57/71.79 c =============================================================================== 71.57/71.79 c core #226 71.57/71.79 c Core size: 14 Core Weight: 18 Total Weight: -29717 71.57/71.79 c Elapsed CPU time: 70.2073 s Remaining CPU time: 1729.79 s 71.77/71.92 c ============================[ Search Statistics ]============================== 71.77/71.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.77/71.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.77/71.92 c =============================================================================== 71.77/71.92 c | 0 | 27217 49621 331904 | 16540 0 nan | 0.000 % | 71.87/72.09 c =============================================================================== 71.87/72.09 c core #227 71.87/72.09 c Core size: 382 Core Weight: 1 Total Weight: -29716 71.87/72.09 c Elapsed CPU time: 70.5013 s Remaining CPU time: 1729.5 s 72.07/72.23 c ============================[ Search Statistics ]============================== 72.07/72.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.07/72.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.07/72.23 c =============================================================================== 72.07/72.23 c | 0 | 27277 49651 332072 | 16550 0 nan | 0.000 % | 72.27/72.40 c =============================================================================== 72.27/72.40 c core #228 72.27/72.40 c Core size: 35 Core Weight: 1 Total Weight: -29715 72.27/72.40 c Elapsed CPU time: 70.7952 s Remaining CPU time: 1729.2 s 72.37/72.54 c ============================[ Search Statistics ]============================== 72.37/72.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.37/72.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.37/72.54 c =============================================================================== 72.37/72.54 c | 0 | 27298 49664 332151 | 16554 0 nan | 0.000 % | 72.47/72.70 c =============================================================================== 72.47/72.70 c core #229 72.47/72.70 c Core size: 75 Core Weight: 1 Total Weight: -29714 72.47/72.70 c Elapsed CPU time: 71.0862 s Remaining CPU time: 1728.91 s 72.67/72.83 c ============================[ Search Statistics ]============================== 72.67/72.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.67/72.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.67/72.83 c =============================================================================== 72.67/72.83 c | 0 | 27342 49690 332341 | 16563 0 nan | 0.000 % | 72.87/73.00 c =============================================================================== 72.87/73.00 c core #230 72.87/73.00 c Core size: 246 Core Weight: 1 Total Weight: -29713 72.87/73.00 c Elapsed CPU time: 71.3701 s Remaining CPU time: 1728.63 s 72.97/73.13 c ============================[ Search Statistics ]============================== 72.97/73.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.97/73.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.97/73.13 c =============================================================================== 72.97/73.13 c | 0 | 27376 49724 332487 | 16574 0 nan | 0.000 % | 73.07/73.27 c =============================================================================== 73.07/73.27 c core #231 73.07/73.27 c Core size: 57 Core Weight: 1 Total Weight: -29712 73.07/73.27 c Elapsed CPU time: 71.6331 s Remaining CPU time: 1728.37 s 73.27/73.40 c ============================[ Search Statistics ]============================== 73.27/73.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.27/73.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.27/73.40 c =============================================================================== 73.27/73.40 c | 0 | 27411 49748 332641 | 16582 0 nan | 0.000 % | 73.47/73.63 c =============================================================================== 73.47/73.63 c core #232 73.47/73.63 c Core size: 493 Core Weight: 1 Total Weight: -29711 73.47/73.63 c Elapsed CPU time: 71.9811 s Remaining CPU time: 1728.02 s 73.57/73.76 c ============================[ Search Statistics ]============================== 73.57/73.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.57/73.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.57/73.76 c =============================================================================== 73.57/73.76 c | 0 | 27497 49788 332900 | 16596 0 nan | 0.000 % | 73.77/73.91 c =============================================================================== 73.77/73.91 c core #233 73.77/73.91 c Core size: 39 Core Weight: 1 Total Weight: -29710 73.77/73.91 c Elapsed CPU time: 72.255 s Remaining CPU time: 1727.74 s 73.86/74.05 c ============================[ Search Statistics ]============================== 73.86/74.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.86/74.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.86/74.05 c =============================================================================== 73.86/74.05 c | 0 | 27521 49810 333017 | 16603 0 nan | 0.000 % | 74.07/74.20 c =============================================================================== 74.07/74.20 c core #234 74.07/74.20 c Core size: 47 Core Weight: 1 Total Weight: -29709 74.07/74.20 c Elapsed CPU time: 72.542 s Remaining CPU time: 1727.46 s 74.17/74.34 c ============================[ Search Statistics ]============================== 74.17/74.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.17/74.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.17/74.34 c =============================================================================== 74.17/74.34 c | 0 | 27550 49836 333163 | 16612 0 nan | 0.000 % | 74.26/74.48 c =============================================================================== 74.26/74.48 c core #235 74.26/74.48 c Core size: 56 Core Weight: 1 Total Weight: -29708 74.26/74.48 c Elapsed CPU time: 72.8119 s Remaining CPU time: 1727.19 s 74.47/74.61 c ============================[ Search Statistics ]============================== 74.47/74.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.47/74.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.47/74.61 c =============================================================================== 74.47/74.61 c | 0 | 27584 49854 333295 | 16618 0 nan | 0.000 % | 74.57/74.75 c =============================================================================== 74.57/74.75 c core #236 74.57/74.75 c Core size: 95 Core Weight: 1 Total Weight: -29707 74.57/74.75 c Elapsed CPU time: 73.0709 s Remaining CPU time: 1726.93 s 74.67/74.88 c ============================[ Search Statistics ]============================== 74.67/74.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.67/74.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.67/74.88 c =============================================================================== 74.67/74.88 c | 0 | 27643 49883 333524 | 16627 0 nan | 0.000 % | 74.87/75.02 c | 101 | 27641 49883 333524 | 18290 101 9 | 70.000 % | 74.87/75.03 c =============================================================================== 74.87/75.03 c core #237 74.87/75.03 c Core size: 98 Core Weight: 1 Total Weight: -29706 74.87/75.03 c Elapsed CPU time: 73.3468 s Remaining CPU time: 1726.65 s 74.97/75.17 c ============================[ Search Statistics ]============================== 74.97/75.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.97/75.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.97/75.17 c =============================================================================== 74.97/75.17 c | 0 | 27703 49908 333735 | 16636 0 nan | 0.000 % | 75.17/75.33 c =============================================================================== 75.17/75.33 c core #238 75.17/75.33 c Core size: 60 Core Weight: 1 Total Weight: -29705 75.17/75.33 c Elapsed CPU time: 73.6388 s Remaining CPU time: 1726.36 s 75.27/75.47 c ============================[ Search Statistics ]============================== 75.27/75.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.27/75.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.27/75.47 c =============================================================================== 75.27/75.47 c | 0 | 27738 49934 333899 | 16644 0 nan | 0.000 % | 75.46/75.63 c =============================================================================== 75.46/75.63 c core #239 75.46/75.63 c Core size: 60 Core Weight: 1 Total Weight: -29704 75.46/75.63 c Elapsed CPU time: 73.9288 s Remaining CPU time: 1726.07 s 75.57/75.76 c ============================[ Search Statistics ]============================== 75.57/75.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.57/75.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.57/75.76 c =============================================================================== 75.57/75.76 c | 0 | 27775 49962 334075 | 16654 0 nan | 0.000 % | 75.77/75.94 c | 100 | 27771 49962 334075 | 18319 100 9 | 69.669 % | 75.77/75.94 c =============================================================================== 75.77/75.95 c core #240 75.77/75.95 c Core size: 525 Core Weight: 1 Total Weight: -29703 75.77/75.95 c Elapsed CPU time: 74.2347 s Remaining CPU time: 1725.77 s 75.87/76.08 c ============================[ Search Statistics ]============================== 75.87/76.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.87/76.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.87/76.08 c =============================================================================== 75.87/76.08 c | 0 | 27943 50013 334561 | 16671 0 nan | 0.000 % | 76.06/76.22 c =============================================================================== 76.06/76.22 c core #241 76.06/76.22 c Core size: 43 Core Weight: 1 Total Weight: -29702 76.06/76.22 c Elapsed CPU time: 74.5027 s Remaining CPU time: 1725.5 s 76.17/76.36 c ============================[ Search Statistics ]============================== 76.17/76.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.17/76.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.17/76.36 c =============================================================================== 76.17/76.36 c | 0 | 27968 50032 334672 | 16677 0 nan | 0.000 % | 76.26/76.49 c | 100 | 27965 50032 334672 | 18345 100 10 | 16.547 % | 76.36/76.57 c =============================================================================== 76.36/76.57 c core #242 76.36/76.57 c Core size: 149 Core Weight: 1 Total Weight: -29701 76.36/76.57 c Elapsed CPU time: 74.8416 s Remaining CPU time: 1725.16 s 76.57/76.70 c ============================[ Search Statistics ]============================== 76.57/76.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.57/76.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.57/76.70 c =============================================================================== 76.57/76.70 c | 0 | 28065 50068 335006 | 16689 0 nan | 0.000 % | 76.66/76.84 c =============================================================================== 76.66/76.84 c core #243 76.66/76.84 c Core size: 10 Core Weight: 49 Total Weight: -29652 76.66/76.84 c Elapsed CPU time: 75.0986 s Remaining CPU time: 1724.9 s 76.76/76.97 c ============================[ Search Statistics ]============================== 76.76/76.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.76/76.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.76/76.97 c =============================================================================== 76.76/76.97 c | 0 | 28071 50074 335031 | 16691 0 nan | 0.000 % | 76.97/77.11 c =============================================================================== 76.97/77.12 c core #244 76.97/77.12 c Core size: 43 Core Weight: 1 Total Weight: -29651 76.97/77.12 c Elapsed CPU time: 75.3695 s Remaining CPU time: 1724.63 s 77.06/77.25 c ============================[ Search Statistics ]============================== 77.06/77.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.06/77.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.06/77.25 c =============================================================================== 77.06/77.25 c | 0 | 28096 50098 335164 | 16699 0 nan | 0.000 % | 77.16/77.37 c =============================================================================== 77.16/77.37 c core #245 77.16/77.37 c Core size: 25 Core Weight: 2 Total Weight: -29649 77.16/77.37 c Elapsed CPU time: 75.6145 s Remaining CPU time: 1724.39 s 77.36/77.51 c ============================[ Search Statistics ]============================== 77.36/77.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.36/77.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.36/77.51 c =============================================================================== 77.36/77.51 c | 0 | 28111 50112 335237 | 16704 0 nan | 0.000 % | 77.36/77.59 c =============================================================================== 77.36/77.59 c core #246 77.36/77.59 c Core size: 12 Core Weight: 124 Total Weight: -29525 77.36/77.59 c Elapsed CPU time: 75.8245 s Remaining CPU time: 1724.18 s 77.56/77.73 c ============================[ Search Statistics ]============================== 77.56/77.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.56/77.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.56/77.73 c =============================================================================== 77.56/77.73 c | 0 | 28119 50119 335271 | 16706 0 nan | 0.000 % | 77.76/77.96 c =============================================================================== 77.76/77.96 c core #247 77.76/77.96 c Core size: 19 Core Weight: 1 Total Weight: -29524 77.76/77.96 c Elapsed CPU time: 76.1784 s Remaining CPU time: 1723.82 s 77.86/78.09 c ============================[ Search Statistics ]============================== 77.86/78.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.86/78.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.86/78.09 c =============================================================================== 77.86/78.09 c | 0 | 28130 50127 335313 | 16709 0 nan | 0.000 % | 78.06/78.24 c =============================================================================== 78.06/78.24 c core #248 78.06/78.24 c Core size: 392 Core Weight: 1 Total Weight: -29523 78.06/78.24 c Elapsed CPU time: 76.4534 s Remaining CPU time: 1723.55 s 78.16/78.37 c ============================[ Search Statistics ]============================== 78.16/78.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.16/78.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.16/78.37 c =============================================================================== 78.16/78.37 c | 0 | 28155 50151 335376 | 16717 0 nan | 0.000 % | 78.46/78.66 c =============================================================================== 78.46/78.66 c core #249 78.46/78.66 c Core size: 41 Core Weight: 2 Total Weight: -29521 78.46/78.66 c Elapsed CPU time: 76.8623 s Remaining CPU time: 1723.14 s 78.56/78.79 c ============================[ Search Statistics ]============================== 78.56/78.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.56/78.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.56/78.79 c =============================================================================== 78.56/78.79 c | 0 | 28178 50174 335503 | 16724 0 nan | 0.000 % | 78.76/78.96 c =============================================================================== 78.76/78.96 c core #250 78.76/78.96 c Core size: 27 Core Weight: 2 Total Weight: -29519 78.76/78.96 c Elapsed CPU time: 77.1593 s Remaining CPU time: 1722.84 s 78.86/79.09 c ============================[ Search Statistics ]============================== 78.86/79.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.86/79.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.86/79.09 c =============================================================================== 78.86/79.09 c | 0 | 28194 50189 335582 | 16729 0 nan | 0.000 % | 79.26/79.43 c =============================================================================== 79.26/79.43 c core #251 79.26/79.43 c Core size: 39 Core Weight: 2 Total Weight: -29517 79.26/79.43 c Elapsed CPU time: 77.6202 s Remaining CPU time: 1722.38 s 79.36/79.57 c ============================[ Search Statistics ]============================== 79.36/79.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.36/79.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.36/79.57 c =============================================================================== 79.36/79.57 c | 0 | 28217 50211 335696 | 16737 0 nan | 0.000 % | 79.65/79.81 c | 101 | 28217 50211 335696 | 18410 101 10 | 0.490 % | 79.75/79.98 c =============================================================================== 79.75/79.98 c core #252 79.75/79.98 c Core size: 19 Core Weight: 1 Total Weight: -29516 79.75/79.98 c Elapsed CPU time: 78.1611 s Remaining CPU time: 1721.84 s 79.96/80.12 c ============================[ Search Statistics ]============================== 79.96/80.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.96/80.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.96/80.12 c =============================================================================== 79.96/80.12 c | 0 | 28228 50219 335738 | 16739 0 nan | 0.000 % | 80.26/80.45 c =============================================================================== 80.26/80.45 c core #253 80.26/80.45 c Core size: 27 Core Weight: 5 Total Weight: -29511 80.26/80.45 c Elapsed CPU time: 78.624 s Remaining CPU time: 1721.38 s 80.36/80.58 c ============================[ Search Statistics ]============================== 80.36/80.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.36/80.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.36/80.58 c =============================================================================== 80.36/80.58 c | 0 | 28244 50235 335820 | 16745 0 nan | 0.000 % | 80.75/80.98 c =============================================================================== 80.75/80.98 c core #254 80.75/80.98 c Core size: 427 Core Weight: 1 Total Weight: -29510 80.75/80.98 c Elapsed CPU time: 79.143 s Remaining CPU time: 1720.86 s 80.95/81.12 c ============================[ Search Statistics ]============================== 80.95/81.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.95/81.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.95/81.12 c =============================================================================== 80.95/81.12 c | 0 | 28289 50275 335997 | 16758 0 nan | 0.000 % | 81.45/81.69 c =============================================================================== 81.45/81.69 c core #255 81.45/81.69 c Core size: 19 Core Weight: 1 Total Weight: -29509 81.45/81.69 c Elapsed CPU time: 79.8449 s Remaining CPU time: 1720.16 s 81.65/81.83 c ============================[ Search Statistics ]============================== 81.65/81.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.65/81.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.65/81.83 c =============================================================================== 81.65/81.83 c | 0 | 28300 50283 336039 | 16761 0 nan | 0.000 % | 82.24/82.44 c =============================================================================== 82.24/82.44 c core #256 82.24/82.44 c Core size: 19 Core Weight: 1 Total Weight: -29508 82.24/82.44 c Elapsed CPU time: 80.5877 s Remaining CPU time: 1719.41 s 82.36/82.58 c ============================[ Search Statistics ]============================== 82.36/82.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.36/82.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.36/82.58 c =============================================================================== 82.36/82.58 c | 0 | 28311 50291 336081 | 16763 0 nan | 0.000 % | 82.54/82.79 c | 100 | 28311 50291 336081 | 18440 100 10 | 0.485 % | 82.64/82.88 c =============================================================================== 82.64/82.88 c core #257 82.64/82.88 c Core size: 139 Core Weight: 1 Total Weight: -29507 82.64/82.88 c Elapsed CPU time: 81.0137 s Remaining CPU time: 1718.99 s 82.85/83.02 c ============================[ Search Statistics ]============================== 82.85/83.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.85/83.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.85/83.02 c =============================================================================== 82.85/83.02 c | 0 | 28400 50312 336337 | 16770 0 nan | 0.000 % | 83.25/83.48 c | 104 | 28400 50312 336337 | 18447 104 33 | 0.484 % | 83.35/83.60 c | 254 | 28400 50312 336337 | 20292 254 21 | 0.484 % | 83.55/83.75 c | 480 | 28400 50312 336337 | 22321 480 16 | 0.484 % | 84.24/84.45 c =============================================================================== 84.24/84.45 c core #258 84.24/84.45 c Core size: 209 Core Weight: 1 Total Weight: -29506 84.24/84.45 c Elapsed CPU time: 82.5734 s Remaining CPU time: 1717.43 s 84.35/84.59 c ============================[ Search Statistics ]============================== 84.35/84.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.35/84.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.35/84.59 c =============================================================================== 84.35/84.59 c | 0 | 28548 50343 336746 | 16781 0 nan | 0.000 % | 84.65/84.82 c =============================================================================== 84.65/84.82 c core #259 84.65/84.82 c Core size: 20 Core Weight: 1 Total Weight: -29505 84.65/84.82 c Elapsed CPU time: 82.9354 s Remaining CPU time: 1717.06 s 84.75/84.96 c ============================[ Search Statistics ]============================== 84.75/84.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.75/84.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.75/84.96 c =============================================================================== 84.75/84.96 c | 0 | 28559 50352 336796 | 16784 0 nan | 0.000 % | 84.85/85.08 c =============================================================================== 84.85/85.08 c core #260 84.85/85.08 c Core size: 20 Core Weight: 1 Total Weight: -29504 84.85/85.08 c Elapsed CPU time: 83.1794 s Remaining CPU time: 1716.82 s 85.05/85.21 c ============================[ Search Statistics ]============================== 85.05/85.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.05/85.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.05/85.21 c =============================================================================== 85.05/85.21 c | 0 | 28570 50361 336841 | 16787 0 nan | 0.000 % | 85.75/85.92 c =============================================================================== 85.75/85.92 c core #261 85.75/85.92 c Core size: 22 Core Weight: 1 Total Weight: -29503 85.75/85.92 c Elapsed CPU time: 84.0072 s Remaining CPU time: 1715.99 s 85.85/86.05 c ============================[ Search Statistics ]============================== 85.85/86.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.85/86.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.85/86.05 c =============================================================================== 85.85/86.05 c | 0 | 28583 50372 336897 | 16790 0 nan | 0.000 % | 86.54/86.77 c =============================================================================== 86.54/86.77 c core #262 86.54/86.77 c Core size: 19 Core Weight: 3 Total Weight: -29500 86.54/86.77 c Elapsed CPU time: 84.8471 s Remaining CPU time: 1715.15 s 86.65/86.90 c ============================[ Search Statistics ]============================== 86.65/86.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.65/86.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.65/86.90 c =============================================================================== 86.65/86.90 c | 0 | 28594 50383 336951 | 16794 0 nan | 0.000 % | 87.45/87.65 c =============================================================================== 87.45/87.65 c core #263 87.45/87.65 c Core size: 93 Core Weight: 1 Total Weight: -29499 87.45/87.65 c Elapsed CPU time: 85.715 s Remaining CPU time: 1714.29 s 87.54/87.79 c ============================[ Search Statistics ]============================== 87.54/87.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.54/87.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.54/87.79 c =============================================================================== 87.54/87.79 c | 0 | 28620 50399 337025 | 16799 0 nan | 0.000 % | 88.34/88.54 c =============================================================================== 88.34/88.54 c core #264 88.34/88.54 c Core size: 21 Core Weight: 1 Total Weight: -29498 88.34/88.54 c Elapsed CPU time: 86.5878 s Remaining CPU time: 1713.41 s 88.45/88.67 c ============================[ Search Statistics ]============================== 88.45/88.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.45/88.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.45/88.67 c =============================================================================== 88.45/88.67 c | 0 | 28632 50409 337076 | 16803 0 nan | 0.000 % | 88.84/89.01 c =============================================================================== 88.84/89.01 c core #265 88.84/89.01 c Core size: 29 Core Weight: 1 Total Weight: -29497 88.84/89.01 c Elapsed CPU time: 87.0508 s Remaining CPU time: 1712.95 s 88.94/89.14 c ============================[ Search Statistics ]============================== 88.94/89.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.94/89.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.94/89.14 c =============================================================================== 88.94/89.14 c | 0 | 28649 50426 337172 | 16808 0 nan | 0.000 % | 89.74/89.90 c =============================================================================== 89.74/89.90 c core #266 89.74/89.90 c Core size: 21 Core Weight: 1 Total Weight: -29496 89.74/89.90 c Elapsed CPU time: 87.9296 s Remaining CPU time: 1712.07 s 89.84/90.04 c ============================[ Search Statistics ]============================== 89.84/90.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.84/90.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.84/90.04 c =============================================================================== 89.84/90.04 c | 0 | 28661 50436 337223 | 16812 0 nan | 0.000 % | 90.54/90.79 c =============================================================================== 90.54/90.79 c core #267 90.54/90.79 c Core size: 21 Core Weight: 1 Total Weight: -29495 90.54/90.79 c Elapsed CPU time: 88.8145 s Remaining CPU time: 1711.19 s 90.74/90.93 c ============================[ Search Statistics ]============================== 90.74/90.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.74/90.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.74/90.93 c =============================================================================== 90.74/90.93 c | 0 | 28673 50446 337274 | 16815 0 nan | 0.000 % | 90.94/91.14 c | 100 | 28673 50446 337274 | 18496 100 16 | 0.479 % | 91.04/91.24 c | 251 | 28673 50446 337274 | 20346 251 16 | 0.479 % | 91.44/91.61 c =============================================================================== 91.44/91.61 c core #268 91.44/91.61 c Core size: 19 Core Weight: 484 Total Weight: -29011 91.44/91.61 c Elapsed CPU time: 89.6234 s Remaining CPU time: 1710.38 s 91.54/91.75 c ============================[ Search Statistics ]============================== 91.54/91.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.54/91.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.54/91.75 c =============================================================================== 91.54/91.75 c | 0 | 28683 50455 337320 | 16818 0 nan | 0.000 % | 92.35/92.50 c =============================================================================== 92.35/92.50 c core #269 92.35/92.50 c Core size: 21 Core Weight: 1 Total Weight: -29010 92.35/92.50 c Elapsed CPU time: 90.5062 s Remaining CPU time: 1709.49 s 92.44/92.64 c ============================[ Search Statistics ]============================== 92.44/92.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.44/92.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.44/92.64 c =============================================================================== 92.44/92.64 c | 0 | 28695 50465 337371 | 16821 0 nan | 0.000 % | 93.24/93.40 c =============================================================================== 93.24/93.40 c core #270 93.24/93.40 c Core size: 23 Core Weight: 1 Total Weight: -29009 93.24/93.40 c Elapsed CPU time: 91.3971 s Remaining CPU time: 1708.6 s 93.35/93.54 c ============================[ Search Statistics ]============================== 93.35/93.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.35/93.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.35/93.54 c =============================================================================== 93.35/93.54 c | 0 | 28708 50475 337424 | 16825 0 nan | 0.000 % | 94.04/94.29 c =============================================================================== 94.04/94.29 c core #271 94.04/94.29 c Core size: 18 Core Weight: 1 Total Weight: -29008 94.04/94.29 c Elapsed CPU time: 92.276 s Remaining CPU time: 1707.72 s 94.24/94.43 c ============================[ Search Statistics ]============================== 94.24/94.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.24/94.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.24/94.43 c =============================================================================== 94.24/94.43 c | 0 | 28718 50483 337466 | 16827 0 nan | 0.000 % | 94.94/95.19 c =============================================================================== 94.94/95.19 c core #272 94.94/95.19 c Core size: 18 Core Weight: 1 Total Weight: -29007 94.94/95.19 c Elapsed CPU time: 93.1558 s Remaining CPU time: 1706.84 s 95.13/95.32 c ============================[ Search Statistics ]============================== 95.13/95.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.13/95.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.13/95.32 c =============================================================================== 95.13/95.32 c | 0 | 28728 50490 337504 | 16830 0 nan | 0.000 % | 95.84/96.07 c =============================================================================== 95.84/96.07 c core #273 95.84/96.07 c Core size: 18 Core Weight: 1 Total Weight: -29006 95.84/96.07 c Elapsed CPU time: 94.0267 s Remaining CPU time: 1705.97 s 96.04/96.20 c ============================[ Search Statistics ]============================== 96.04/96.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.04/96.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.04/96.20 c =============================================================================== 96.04/96.20 c | 0 | 28738 50497 337542 | 16832 0 nan | 0.000 % | 96.74/96.96 c =============================================================================== 96.74/96.96 c core #274 96.74/96.96 c Core size: 18 Core Weight: 1 Total Weight: -29005 96.74/96.96 c Elapsed CPU time: 94.9126 s Remaining CPU time: 1705.09 s 96.83/97.10 c ============================[ Search Statistics ]============================== 96.83/97.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.83/97.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.83/97.10 c =============================================================================== 96.83/97.10 c | 0 | 28748 50504 337580 | 16834 0 nan | 0.000 % | 97.63/97.85 c =============================================================================== 97.63/97.85 c core #275 97.63/97.85 c Core size: 18 Core Weight: 1 Total Weight: -29004 97.63/97.85 c Elapsed CPU time: 95.7904 s Remaining CPU time: 1704.21 s 97.74/97.98 c ============================[ Search Statistics ]============================== 97.74/97.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.74/97.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.74/97.98 c =============================================================================== 97.74/97.98 c | 0 | 28758 50511 337618 | 16837 0 nan | 0.000 % | 98.54/98.73 c =============================================================================== 98.54/98.73 c core #276 98.54/98.73 c Core size: 18 Core Weight: 1 Total Weight: -29003 98.54/98.73 c Elapsed CPU time: 96.6673 s Remaining CPU time: 1703.33 s 98.63/98.87 c ============================[ Search Statistics ]============================== 98.63/98.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.63/98.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.63/98.87 c =============================================================================== 98.63/98.87 c | 0 | 28768 50518 337656 | 16839 0 nan | 0.000 % | 98.73/98.95 c =============================================================================== 98.73/98.95 c core #277 98.73/98.95 c Core size: 22 Core Weight: 48 Total Weight: -28955 98.73/98.95 c Elapsed CPU time: 96.8703 s Remaining CPU time: 1703.13 s 98.83/99.08 c ============================[ Search Statistics ]============================== 98.83/99.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.83/99.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.83/99.08 c =============================================================================== 98.83/99.08 c | 0 | 28785 50535 337738 | 16845 0 nan | 0.000 % | 99.64/99.84 c =============================================================================== 99.64/99.84 c core #278 99.64/99.84 c Core size: 18 Core Weight: 1 Total Weight: -28954 99.64/99.84 c Elapsed CPU time: 97.7541 s Remaining CPU time: 1702.25 s 99.73/99.98 c ============================[ Search Statistics ]============================== 99.73/99.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.73/99.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.73/99.98 c =============================================================================== 99.73/99.98 c | 0 | 28795 50542 337776 | 16847 0 nan | 0.000 % | 99.94/100.19 c | 100 | 28795 50542 337776 | 18532 100 17 | 0.477 % | 99.94/100.20 c | 251 | 28795 50542 337776 | 20385 251 16 | 0.477 % | 100.13/100.37 c =============================================================================== 100.13/100.37 c core #279 100.13/100.37 c Core size: 128 Core Weight: 1 Total Weight: -28953 100.13/100.37 c Elapsed CPU time: 98.2681 s Remaining CPU time: 1701.73 s 100.33/100.50 c ============================[ Search Statistics ]============================== 100.33/100.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.33/100.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.33/100.50 c =============================================================================== 100.33/100.50 c | 0 | 28878 50567 338037 | 16855 0 nan | 0.000 % | 101.03/101.25 c =============================================================================== 101.03/101.25 c core #280 101.03/101.25 c Core size: 18 Core Weight: 1 Total Weight: -28952 101.03/101.25 c Elapsed CPU time: 99.1439 s Remaining CPU time: 1700.86 s 101.14/101.39 c ============================[ Search Statistics ]============================== 101.14/101.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.14/101.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.14/101.39 c =============================================================================== 101.14/101.39 c | 0 | 28888 50574 338075 | 16858 0 nan | 0.000 % | 101.93/102.14 c =============================================================================== 101.93/102.14 c core #281 101.93/102.14 c Core size: 21 Core Weight: 1 Total Weight: -28951 101.93/102.14 c Elapsed CPU time: 100.022 s Remaining CPU time: 1699.98 s 102.03/102.27 c ============================[ Search Statistics ]============================== 102.03/102.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.03/102.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.03/102.27 c =============================================================================== 102.03/102.27 c | 0 | 28900 50581 338117 | 16860 0 nan | 0.000 % | 102.53/102.74 c =============================================================================== 102.53/102.74 c core #282 102.53/102.74 c Core size: 413 Core Weight: 1 Total Weight: -28950 102.53/102.74 c Elapsed CPU time: 100.612 s Remaining CPU time: 1699.39 s 102.63/102.88 c ============================[ Search Statistics ]============================== 102.63/102.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.63/102.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.63/102.88 c =============================================================================== 102.63/102.88 c | 0 | 28933 50608 338206 | 16869 0 nan | 0.000 % | 103.23/103.45 c =============================================================================== 103.23/103.45 c core #283 103.23/103.45 c Core size: 416 Core Weight: 1 Total Weight: -28949 103.23/103.45 c Elapsed CPU time: 101.314 s Remaining CPU time: 1698.69 s 103.34/103.59 c ============================[ Search Statistics ]============================== 103.34/103.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.34/103.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.34/103.59 c =============================================================================== 103.34/103.59 c | 0 | 28968 50633 338295 | 16877 0 nan | 0.000 % | 103.53/103.76 c =============================================================================== 103.53/103.76 c core #284 103.53/103.76 c Core size: 403 Core Weight: 1 Total Weight: -28948 103.53/103.76 c Elapsed CPU time: 101.61 s Remaining CPU time: 1698.39 s 103.62/103.89 c ============================[ Search Statistics ]============================== 103.62/103.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.62/103.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.62/103.89 c =============================================================================== 103.62/103.89 c | 0 | 29002 50665 338403 | 16888 0 nan | 0.000 % | 103.83/104.06 c =============================================================================== 103.83/104.06 c core #285 103.83/104.06 c Core size: 15 Core Weight: 899 Total Weight: -28049 103.83/104.06 c Elapsed CPU time: 101.91 s Remaining CPU time: 1698.09 s 104.03/104.20 c ============================[ Search Statistics ]============================== 104.03/104.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.03/104.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.03/104.20 c =============================================================================== 104.03/104.20 c | 0 | 29014 50675 338454 | 16891 0 nan | 0.000 % | 104.33/104.59 c =============================================================================== 104.33/104.59 c core #286 104.33/104.59 c Core size: 66 Core Weight: 1 Total Weight: -28048 104.33/104.59 c Elapsed CPU time: 102.422 s Remaining CPU time: 1697.58 s 104.53/104.72 c ============================[ Search Statistics ]============================== 104.53/104.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.53/104.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.53/104.72 c =============================================================================== 104.53/104.72 c | 0 | 29055 50700 338631 | 16900 0 nan | 0.000 % | 104.63/104.87 c =============================================================================== 104.63/104.87 c core #287 104.63/104.87 c Core size: 25 Core Weight: 1 Total Weight: -28047 104.63/104.87 c Elapsed CPU time: 102.692 s Remaining CPU time: 1697.31 s 104.83/105.00 c ============================[ Search Statistics ]============================== 104.83/105.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.83/105.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.83/105.00 c =============================================================================== 104.83/105.00 c | 0 | 29070 50710 338688 | 16903 0 nan | 0.000 % | 105.53/105.76 c =============================================================================== 105.53/105.76 c core #288 105.53/105.76 c Core size: 21 Core Weight: 1 Total Weight: -28046 105.53/105.76 c Elapsed CPU time: 103.572 s Remaining CPU time: 1696.43 s 105.73/105.90 c ============================[ Search Statistics ]============================== 105.73/105.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.73/105.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.73/105.90 c =============================================================================== 105.73/105.90 c | 0 | 29082 50717 338730 | 16905 0 nan | 0.000 % | 106.43/106.65 c =============================================================================== 106.43/106.65 c core #289 106.43/106.65 c Core size: 21 Core Weight: 1 Total Weight: -28045 106.43/106.65 c Elapsed CPU time: 104.454 s Remaining CPU time: 1695.55 s 106.53/106.79 c ============================[ Search Statistics ]============================== 106.53/106.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.53/106.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.53/106.79 c =============================================================================== 106.53/106.79 c | 0 | 29094 50724 338772 | 16908 0 nan | 0.000 % | 106.73/106.96 c =============================================================================== 106.73/106.96 c core #290 106.73/106.96 c Core size: 19 Core Weight: 1 Total Weight: -28044 106.73/106.96 c Elapsed CPU time: 104.752 s Remaining CPU time: 1695.25 s 106.83/107.10 c ============================[ Search Statistics ]============================== 106.83/107.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.83/107.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.83/107.10 c =============================================================================== 106.83/107.10 c | 0 | 29105 50729 338806 | 16909 0 nan | 0.000 % | 107.63/107.85 c =============================================================================== 107.63/107.85 c core #291 107.63/107.85 c Core size: 18 Core Weight: 1 Total Weight: -28043 107.63/107.85 c Elapsed CPU time: 105.632 s Remaining CPU time: 1694.37 s 107.73/107.99 c ============================[ Search Statistics ]============================== 107.73/107.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.73/107.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.73/107.99 c =============================================================================== 107.73/107.99 c | 0 | 29115 50736 338844 | 16912 0 nan | 0.000 % | 107.93/108.18 c =============================================================================== 107.93/108.18 c core #292 107.93/108.18 c Core size: 36 Core Weight: 1 Total Weight: -28042 107.93/108.18 c Elapsed CPU time: 105.955 s Remaining CPU time: 1694.05 s 108.12/108.32 c ============================[ Search Statistics ]============================== 108.12/108.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.12/108.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.12/108.32 c =============================================================================== 108.12/108.32 c | 0 | 29135 50746 338912 | 16915 0 nan | 0.000 % | 108.22/108.47 c =============================================================================== 108.22/108.47 c core #293 108.22/108.47 c Core size: 17 Core Weight: 15 Total Weight: -28027 108.22/108.47 c Elapsed CPU time: 106.228 s Remaining CPU time: 1693.77 s 108.43/108.60 c ============================[ Search Statistics ]============================== 108.43/108.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.43/108.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.43/108.60 c =============================================================================== 108.43/108.60 c | 0 | 29149 50759 338976 | 16919 0 nan | 0.000 % | 108.83/109.02 c =============================================================================== 108.83/109.02 c core #294 108.83/109.02 c Core size: 31 Core Weight: 1 Total Weight: -28026 108.83/109.02 c Elapsed CPU time: 106.774 s Remaining CPU time: 1693.23 s 108.93/109.16 c ============================[ Search Statistics ]============================== 108.93/109.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.93/109.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.93/109.16 c =============================================================================== 108.93/109.16 c | 0 | 29167 50774 339056 | 16924 0 nan | 0.000 % | 109.32/109.58 c =============================================================================== 109.32/109.58 c core #295 109.32/109.58 c Core size: 31 Core Weight: 1 Total Weight: -28025 109.32/109.58 c Elapsed CPU time: 107.323 s Remaining CPU time: 1692.68 s 109.53/109.72 c ============================[ Search Statistics ]============================== 109.53/109.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 109.53/109.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 109.53/109.72 c =============================================================================== 109.53/109.72 c | 0 | 29185 50789 339136 | 16929 0 nan | 0.000 % | 109.83/110.10 c =============================================================================== 109.83/110.10 c core #296 109.83/110.10 c Core size: 236 Core Weight: 1 Total Weight: -28024 109.83/110.10 c Elapsed CPU time: 107.829 s Remaining CPU time: 1692.17 s 110.03/110.23 c ============================[ Search Statistics ]============================== 110.03/110.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.03/110.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.03/110.23 c =============================================================================== 110.03/110.23 c | 0 | 29211 50807 339217 | 16935 0 nan | 0.000 % | 110.62/110.81 c =============================================================================== 110.62/110.81 c core #297 110.62/110.81 c Core size: 58 Core Weight: 1 Total Weight: -28023 110.62/110.81 c Elapsed CPU time: 108.531 s Remaining CPU time: 1691.47 s 110.73/110.95 c ============================[ Search Statistics ]============================== 110.73/110.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.73/110.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.73/110.95 c =============================================================================== 110.73/110.95 c | 0 | 29248 50836 339407 | 16945 0 nan | 0.000 % | 110.82/111.08 c =============================================================================== 110.82/111.08 c core #298 110.82/111.08 c Core size: 25 Core Weight: 1 Total Weight: -28022 110.82/111.08 c Elapsed CPU time: 108.791 s Remaining CPU time: 1691.21 s 111.03/111.22 c ============================[ Search Statistics ]============================== 111.03/111.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.03/111.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.03/111.22 c =============================================================================== 111.03/111.22 c | 0 | 29266 50851 339485 | 16950 0 nan | 0.000 % | 111.32/111.52 c =============================================================================== 111.32/111.52 c core #299 111.32/111.52 c Core size: 44 Core Weight: 2 Total Weight: -28020 111.32/111.52 c Elapsed CPU time: 109.22 s Remaining CPU time: 1690.78 s 111.42/111.66 c ============================[ Search Statistics ]============================== 111.42/111.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.42/111.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.42/111.66 c =============================================================================== 111.42/111.66 c | 0 | 29294 50877 339637 | 16959 0 nan | 0.000 % | 111.83/112.01 c =============================================================================== 111.83/112.01 c core #300 111.83/112.01 c Core size: 28 Core Weight: 1 Total Weight: -28019 111.83/112.01 c Elapsed CPU time: 109.697 s Remaining CPU time: 1690.3 s 111.93/112.15 c ============================[ Search Statistics ]============================== 111.93/112.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.93/112.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.93/112.15 c =============================================================================== 111.93/112.15 c | 0 | 29313 50884 339699 | 16961 0 nan | 0.000 % | 112.33/112.57 c =============================================================================== 112.33/112.57 c core #301 112.33/112.57 c Core size: 29 Core Weight: 1 Total Weight: -28018 112.33/112.57 c Elapsed CPU time: 110.245 s Remaining CPU time: 1689.75 s 112.53/112.71 c ============================[ Search Statistics ]============================== 112.53/112.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.53/112.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.53/112.71 c =============================================================================== 112.53/112.71 c | 0 | 29330 50900 339780 | 16966 0 nan | 0.000 % | 112.62/112.82 c =============================================================================== 112.62/112.82 c core #302 112.62/112.82 c Core size: 8 Core Weight: 42 Total Weight: -27976 112.62/112.82 c Elapsed CPU time: 110.494 s Remaining CPU time: 1689.51 s 112.72/112.96 c ============================[ Search Statistics ]============================== 112.72/112.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.72/112.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.72/112.96 c =============================================================================== 112.72/112.96 c | 0 | 29335 50905 339802 | 16968 0 nan | 0.000 % | 112.93/113.16 c =============================================================================== 112.93/113.16 c core #303 112.93/113.16 c Core size: 13 Core Weight: 34 Total Weight: -27942 112.93/113.16 c Elapsed CPU time: 110.826 s Remaining CPU time: 1689.17 s 113.12/113.30 c ============================[ Search Statistics ]============================== 113.12/113.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.12/113.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.12/113.30 c =============================================================================== 113.12/113.30 c | 0 | 29343 50913 339839 | 16971 0 nan | 0.000 % | 113.22/113.40 c =============================================================================== 113.22/113.40 c core #304 113.22/113.40 c Core size: 21 Core Weight: 30 Total Weight: -27912 113.22/113.40 c Elapsed CPU time: 111.059 s Remaining CPU time: 1688.94 s 113.33/113.54 c Learning 1 hard constraints 113.33/113.54 c ============================[ Search Statistics ]============================== 113.33/113.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.33/113.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.33/113.54 c =============================================================================== 113.33/113.54 c | 0 | 29354 50926 339896 | 16975 0 nan | 0.000 % | 113.62/113.81 c =============================================================================== 113.62/113.81 c core #305 113.62/113.81 c Core size: 30 Core Weight: 1 Total Weight: -27911 113.62/113.81 c Elapsed CPU time: 111.459 s Remaining CPU time: 1688.54 s 113.72/113.95 c ============================[ Search Statistics ]============================== 113.72/113.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.72/113.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.72/113.95 c =============================================================================== 113.72/113.95 c | 0 | 29376 50948 340009 | 16982 0 nan | 0.000 % | 114.22/114.41 c =============================================================================== 114.22/114.41 c core #306 114.22/114.41 c Core size: 558 Core Weight: 1 Total Weight: -27910 114.22/114.41 c Elapsed CPU time: 112.052 s Remaining CPU time: 1687.95 s 114.33/114.55 c Learning 1 hard constraints 114.33/114.55 c ============================[ Search Statistics ]============================== 114.33/114.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.33/114.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.33/114.55 c =============================================================================== 114.33/114.55 c | 0 | 29418 50982 340616 | 16994 0 nan | 0.000 % | 114.62/114.80 c =============================================================================== 114.62/114.80 c core #307 114.62/114.80 c Core size: 35 Core Weight: 1 Total Weight: -27909 114.62/114.80 c Elapsed CPU time: 112.428 s Remaining CPU time: 1687.57 s 114.72/114.94 c ============================[ Search Statistics ]============================== 114.72/114.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.72/114.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.72/114.94 c =============================================================================== 114.72/114.94 c | 0 | 29442 51005 340738 | 17001 0 nan | 0.000 % | 115.02/115.23 c =============================================================================== 115.02/115.23 c core #308 115.02/115.23 c Core size: 24 Core Weight: 11 Total Weight: -27898 115.02/115.23 c Elapsed CPU time: 112.841 s Remaining CPU time: 1687.16 s 115.12/115.36 c ============================[ Search Statistics ]============================== 115.12/115.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.12/115.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.12/115.36 c =============================================================================== 115.12/115.36 c | 0 | 29459 51022 340823 | 17007 0 nan | 0.000 % | 115.52/115.71 c =============================================================================== 115.52/115.71 c core #309 115.52/115.71 c Core size: 24 Core Weight: 20 Total Weight: -27878 115.52/115.71 c Elapsed CPU time: 113.313 s Remaining CPU time: 1686.69 s 115.62/115.84 c ============================[ Search Statistics ]============================== 115.62/115.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.62/115.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.62/115.84 c =============================================================================== 115.62/115.84 c | 0 | 29476 51038 340908 | 17012 0 nan | 0.000 % | 116.12/116.31 c | 100 | 29476 51038 340908 | 18713 100 25 | 0.470 % | 116.22/116.49 c =============================================================================== 116.22/116.49 c core #310 116.22/116.49 c Core size: 63 Core Weight: 1 Total Weight: -27877 116.22/116.49 c Elapsed CPU time: 114.089 s Remaining CPU time: 1685.91 s 116.43/116.62 c ============================[ Search Statistics ]============================== 116.43/116.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.43/116.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.43/116.62 c =============================================================================== 116.43/116.62 c | 0 | 29514 51063 341079 | 17021 0 nan | 0.000 % | 116.82/117.00 c =============================================================================== 116.82/117.00 c core #311 116.82/117.00 c Core size: 31 Core Weight: 1 Total Weight: -27876 116.82/117.00 c Elapsed CPU time: 114.592 s Remaining CPU time: 1685.41 s 116.92/117.14 c ============================[ Search Statistics ]============================== 116.92/117.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.92/117.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.92/117.14 c =============================================================================== 116.92/117.14 c | 0 | 29537 51085 341191 | 17028 0 nan | 0.000 % | 117.72/117.92 c | 100 | 6510 51085 341191 | 18731 25 7 | 78.104 % | 117.72/117.92 c =============================================================================== 117.72/117.92 c core #312 117.72/117.92 c Core size: 36 Core Weight: 1 Total Weight: -27875 117.72/117.92 c Elapsed CPU time: 115.486 s Remaining CPU time: 1684.51 s 117.82/118.05 c ============================[ Search Statistics ]============================== 117.82/118.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.82/118.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.82/118.05 c =============================================================================== 117.82/118.05 c | 0 | 29563 51098 341291 | 17032 0 nan | 0.000 % | 118.02/118.27 c | 100 | 29563 51098 341291 | 18735 100 21 | 0.468 % | 118.12/118.35 c =============================================================================== 118.12/118.35 c core #313 118.12/118.35 c Core size: 334 Core Weight: 1 Total Weight: -27874 118.12/118.35 c Elapsed CPU time: 115.907 s Remaining CPU time: 1684.09 s 118.22/118.48 c ============================[ Search Statistics ]============================== 118.22/118.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.22/118.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.22/118.48 c =============================================================================== 118.22/118.48 c | 0 | 29628 51144 341534 | 17048 0 nan | 0.000 % | 118.42/118.61 c =============================================================================== 118.42/118.61 c core #314 118.42/118.61 c Core size: 30 Core Weight: 27 Total Weight: -27847 118.42/118.61 c Elapsed CPU time: 116.159 s Remaining CPU time: 1683.84 s 118.52/118.74 c ============================[ Search Statistics ]============================== 118.52/118.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.52/118.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.52/118.74 c =============================================================================== 118.52/118.74 c | 0 | 29649 51165 341636 | 17055 0 nan | 0.000 % | 118.73/118.93 c =============================================================================== 118.73/118.93 c core #315 118.73/118.93 c Core size: 27 Core Weight: 1 Total Weight: -27846 118.73/118.93 c Elapsed CPU time: 116.474 s Remaining CPU time: 1683.53 s 118.82/119.07 c ============================[ Search Statistics ]============================== 118.82/119.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.82/119.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.82/119.07 c =============================================================================== 118.82/119.07 c | 0 | 29666 51182 341720 | 17060 0 nan | 0.000 % | 119.03/119.27 c =============================================================================== 119.03/119.27 c core #316 119.03/119.27 c Core size: 48 Core Weight: 1 Total Weight: -27845 119.03/119.27 c Elapsed CPU time: 116.805 s Remaining CPU time: 1683.19 s 119.22/119.41 c ============================[ Search Statistics ]============================== 119.22/119.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.22/119.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.22/119.41 c =============================================================================== 119.22/119.41 c | 0 | 29694 51206 341868 | 17068 0 nan | 0.000 % | 119.42/119.62 c =============================================================================== 119.42/119.62 c core #317 119.42/119.62 c Core size: 16 Core Weight: 1 Total Weight: -27844 119.42/119.62 c Elapsed CPU time: 117.148 s Remaining CPU time: 1682.85 s 119.52/119.76 c ============================[ Search Statistics ]============================== 119.52/119.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.52/119.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.52/119.76 c =============================================================================== 119.52/119.76 c | 0 | 29704 51215 341912 | 17071 0 nan | 0.000 % | 119.72/119.93 c =============================================================================== 119.72/119.93 c core #318 119.72/119.93 c Core size: 18 Core Weight: 1 Total Weight: -27843 119.72/119.93 c Elapsed CPU time: 117.442 s Remaining CPU time: 1682.56 s 119.83/120.06 c ============================[ Search Statistics ]============================== 119.83/120.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.83/120.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.83/120.06 c =============================================================================== 119.83/120.06 c | 0 | 29716 51227 341969 | 17075 0 nan | 0.000 % | 120.02/120.27 c =============================================================================== 120.02/120.27 c core #319 120.02/120.27 c Core size: 30 Core Weight: 13 Total Weight: -27830 120.02/120.27 c Elapsed CPU time: 117.768 s Remaining CPU time: 1682.23 s 120.22/120.40 c Learning 1 hard constraints 120.22/120.40 c ============================[ Search Statistics ]============================== 120.22/120.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 120.22/120.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 120.22/120.40 c =============================================================================== 120.22/120.40 c | 0 | 29734 51246 342061 | 17082 0 nan | 0.000 % | 120.83/121.08 c =============================================================================== 120.83/121.08 c core #320 120.83/121.08 c Core size: 40 Core Weight: 2 Total Weight: -27828 120.83/121.08 c Elapsed CPU time: 118.571 s Remaining CPU time: 1681.43 s 121.02/121.22 c ============================[ Search Statistics ]============================== 121.02/121.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.02/121.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.02/121.22 c =============================================================================== 121.02/121.22 c | 0 | 29759 51267 342185 | 17089 0 nan | 0.000 % | 121.22/121.41 c =============================================================================== 121.22/121.41 c core #321 121.22/121.41 c Core size: 23 Core Weight: 1 Total Weight: -27827 121.22/121.41 c Elapsed CPU time: 118.897 s Remaining CPU time: 1681.1 s 121.32/121.55 c ============================[ Search Statistics ]============================== 121.32/121.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.32/121.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.32/121.55 c =============================================================================== 121.32/121.55 c | 0 | 29776 51283 342264 | 17094 0 nan | 0.000 % | 121.62/121.88 c =============================================================================== 121.62/121.88 c core #322 121.62/121.88 c Core size: 49 Core Weight: 1 Total Weight: -27826 121.62/121.88 c Elapsed CPU time: 119.353 s Remaining CPU time: 1680.65 s 121.82/122.02 c ============================[ Search Statistics ]============================== 121.82/122.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.82/122.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.82/122.02 c =============================================================================== 121.82/122.02 c | 0 | 29808 51303 342387 | 17101 0 nan | 0.000 % | 122.52/122.77 c =============================================================================== 122.52/122.77 c core #323 122.52/122.77 c Core size: 27 Core Weight: 1 Total Weight: -27825 122.52/122.77 c Elapsed CPU time: 120.233 s Remaining CPU time: 1679.77 s 122.72/122.91 c ============================[ Search Statistics ]============================== 122.72/122.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 122.72/122.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 122.72/122.91 c =============================================================================== 122.72/122.91 c | 0 | 29826 51316 342471 | 17105 0 nan | 0.000 % | 123.12/123.32 c =============================================================================== 123.12/123.32 c core #324 123.12/123.32 c Core size: 24 Core Weight: 5 Total Weight: -27820 123.12/123.32 c Elapsed CPU time: 120.766 s Remaining CPU time: 1679.23 s 123.22/123.45 c ============================[ Search Statistics ]============================== 123.22/123.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 123.22/123.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 123.22/123.45 c =============================================================================== 123.22/123.45 c | 0 | 29844 51333 342555 | 17111 0 nan | 0.000 % | 123.42/123.70 c =============================================================================== 123.42/123.70 c core #325 123.42/123.70 c Core size: 76 Core Weight: 1 Total Weight: -27819 123.42/123.70 c Elapsed CPU time: 121.136 s Remaining CPU time: 1678.86 s 123.62/123.83 c ============================[ Search Statistics ]============================== 123.62/123.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 123.62/123.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 123.62/123.83 c =============================================================================== 123.62/123.83 c | 0 | 29891 51360 342735 | 17120 0 nan | 0.000 % | 123.92/124.18 c | 100 | 29891 51360 342735 | 18832 100 22 | 0.466 % | 124.02/124.22 c | 250 | 29891 51360 342735 | 20715 250 22 | 0.466 % | 124.12/124.32 c =============================================================================== 124.12/124.32 c core #326 124.12/124.32 c Core size: 53 Core Weight: 1 Total Weight: -27818 124.12/124.32 c Elapsed CPU time: 121.75 s Remaining CPU time: 1678.25 s 124.22/124.46 c ============================[ Search Statistics ]============================== 124.22/124.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.22/124.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.22/124.46 c =============================================================================== 124.22/124.46 c | 0 | 29926 51392 342928 | 17130 0 nan | 0.000 % | 124.62/124.81 c =============================================================================== 124.62/124.81 c core #327 124.62/124.81 c Core size: 30 Core Weight: 1 Total Weight: -27817 124.62/124.81 c Elapsed CPU time: 122.228 s Remaining CPU time: 1677.77 s 124.72/124.95 c ============================[ Search Statistics ]============================== 124.72/124.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.72/124.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.72/124.95 c =============================================================================== 124.72/124.95 c | 0 | 29946 51409 343020 | 17136 0 nan | 0.000 % | 124.92/125.19 c =============================================================================== 124.92/125.19 c core #328 124.92/125.19 c Core size: 56 Core Weight: 1 Total Weight: -27816 124.92/125.19 c Elapsed CPU time: 122.594 s Remaining CPU time: 1677.41 s 125.12/125.33 c ============================[ Search Statistics ]============================== 125.12/125.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.12/125.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.12/125.33 c =============================================================================== 125.12/125.33 c | 0 | 29979 51423 343127 | 17141 0 nan | 0.000 % | 125.42/125.68 c =============================================================================== 125.42/125.68 c core #329 125.42/125.68 c Core size: 21 Core Weight: 1 Total Weight: -27815 125.42/125.68 c Elapsed CPU time: 123.076 s Remaining CPU time: 1676.92 s 125.61/125.82 c ============================[ Search Statistics ]============================== 125.61/125.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.61/125.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.61/125.82 c =============================================================================== 125.61/125.82 c | 0 | 29994 51438 343202 | 17146 0 nan | 0.000 % | 126.02/126.23 c =============================================================================== 126.02/126.23 c core #330 126.02/126.23 c Core size: 18 Core Weight: 32 Total Weight: -27783 126.02/126.23 c Elapsed CPU time: 123.611 s Remaining CPU time: 1676.39 s 126.12/126.37 c ============================[ Search Statistics ]============================== 126.12/126.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.12/126.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.12/126.37 c =============================================================================== 126.12/126.37 c | 0 | 30006 51450 343259 | 17150 0 nan | 0.000 % | 126.52/126.71 c =============================================================================== 126.52/126.71 c core #331 126.52/126.71 c Core size: 22 Core Weight: 1 Total Weight: -27782 126.52/126.71 c Elapsed CPU time: 124.073 s Remaining CPU time: 1675.93 s 126.62/126.85 c ============================[ Search Statistics ]============================== 126.62/126.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.62/126.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.62/126.85 c =============================================================================== 126.62/126.85 c | 0 | 30020 51464 343331 | 17154 0 nan | 0.000 % | 126.91/127.19 c =============================================================================== 126.91/127.19 c core #332 126.91/127.19 c Core size: 21 Core Weight: 2 Total Weight: -27780 126.91/127.19 c Elapsed CPU time: 124.538 s Remaining CPU time: 1675.46 s 127.11/127.33 c ============================[ Search Statistics ]============================== 127.11/127.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.11/127.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.11/127.33 c =============================================================================== 127.11/127.33 c | 0 | 30033 51477 343397 | 17159 0 nan | 0.000 % | 127.42/127.67 c =============================================================================== 127.42/127.67 c core #333 127.42/127.67 c Core size: 14 Core Weight: 34 Total Weight: -27746 127.42/127.67 c Elapsed CPU time: 125.008 s Remaining CPU time: 1674.99 s 127.61/127.81 c ============================[ Search Statistics ]============================== 127.61/127.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.61/127.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.61/127.81 c =============================================================================== 127.61/127.81 c | 0 | 30042 51486 343442 | 17162 0 nan | 0.000 % | 127.82/128.02 c =============================================================================== 127.82/128.02 c core #334 127.82/128.02 c Core size: 36 Core Weight: 1 Total Weight: -27745 127.82/128.02 c Elapsed CPU time: 125.345 s Remaining CPU time: 1674.66 s 127.91/128.16 c ============================[ Search Statistics ]============================== 127.91/128.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.91/128.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.91/128.16 c =============================================================================== 127.91/128.16 c | 0 | 30065 51504 343543 | 17168 0 nan | 0.000 % | 128.52/128.70 c | 100 | 30065 51504 343543 | 18884 100 21 | 0.464 % | 128.92/129.10 c =============================================================================== 128.92/129.10 c core #335 128.92/129.10 c Core size: 61 Core Weight: 1 Total Weight: -27744 128.92/129.10 c Elapsed CPU time: 126.42 s Remaining CPU time: 1673.58 s 129.01/129.24 c ============================[ Search Statistics ]============================== 129.01/129.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 129.01/129.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 129.01/129.24 c =============================================================================== 129.01/129.24 c | 0 | 30102 51532 343723 | 17177 0 nan | 0.000 % | 129.12/129.37 c | 100 | 30102 51532 343723 | 18895 100 23 | 0.463 % | 129.22/129.46 c =============================================================================== 129.22/129.46 c core #336 129.22/129.46 c Core size: 67 Core Weight: 1 Total Weight: -27743 129.22/129.46 c Elapsed CPU time: 126.765 s Remaining CPU time: 1673.24 s 129.41/129.60 c ============================[ Search Statistics ]============================== 129.41/129.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 129.41/129.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 129.41/129.60 c =============================================================================== 129.41/129.60 c | 0 | 30145 51568 343945 | 17189 0 nan | 0.000 % | 129.62/129.89 c =============================================================================== 129.62/129.89 c core #337 129.62/129.89 c Core size: 51 Core Weight: 1 Total Weight: -27742 129.62/129.89 c Elapsed CPU time: 127.193 s Remaining CPU time: 1672.81 s 129.82/130.03 c ============================[ Search Statistics ]============================== 129.82/130.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 129.82/130.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 129.82/130.03 c =============================================================================== 129.82/130.03 c | 0 | 30178 51599 344126 | 17199 0 nan | 0.000 % | 130.12/130.38 c =============================================================================== 130.12/130.38 c core #338 130.12/130.38 c Core size: 19 Core Weight: 4 Total Weight: -27738 130.12/130.38 c Elapsed CPU time: 127.668 s Remaining CPU time: 1672.33 s 130.32/130.52 c ============================[ Search Statistics ]============================== 130.32/130.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.32/130.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 130.32/130.52 c =============================================================================== 130.32/130.52 c | 0 | 30192 51613 344196 | 17204 0 nan | 0.000 % | 130.61/130.88 c =============================================================================== 130.61/130.88 c core #339 130.61/130.88 c Core size: 38 Core Weight: 1 Total Weight: -27737 130.61/130.88 c Elapsed CPU time: 128.148 s Remaining CPU time: 1671.85 s 130.82/131.02 c ============================[ Search Statistics ]============================== 130.82/131.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.82/131.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 130.82/131.02 c =============================================================================== 130.82/131.02 c | 0 | 30216 51630 344299 | 17210 0 nan | 0.000 % | 130.91/131.19 c =============================================================================== 130.91/131.19 c core #340 130.91/131.19 c Core size: 22 Core Weight: 1 Total Weight: -27736 130.91/131.19 c Elapsed CPU time: 128.451 s Remaining CPU time: 1671.55 s 131.12/131.33 c ============================[ Search Statistics ]============================== 131.12/131.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.12/131.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.12/131.33 c =============================================================================== 131.12/131.33 c | 0 | 30231 51642 344362 | 17214 0 nan | 0.000 % | 131.41/131.68 c =============================================================================== 131.41/131.68 c core #341 131.41/131.68 c Core size: 29 Core Weight: 1 Total Weight: -27735 131.41/131.68 c Elapsed CPU time: 128.935 s Remaining CPU time: 1671.06 s 131.61/131.82 c ============================[ Search Statistics ]============================== 131.61/131.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.61/131.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.61/131.82 c =============================================================================== 131.61/131.82 c | 0 | 30250 51656 344442 | 17218 0 nan | 0.000 % | 131.92/132.18 c =============================================================================== 131.92/132.18 c core #342 131.92/132.18 c Core size: 27 Core Weight: 1 Total Weight: -27734 131.92/132.18 c Elapsed CPU time: 129.416 s Remaining CPU time: 1670.58 s 132.11/132.32 c ============================[ Search Statistics ]============================== 132.11/132.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 132.11/132.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 132.11/132.32 c =============================================================================== 132.11/132.32 c | 0 | 30268 51671 344524 | 17223 0 nan | 0.000 % | 132.41/132.68 c =============================================================================== 132.41/132.68 c core #343 132.41/132.68 c Core size: 25 Core Weight: 3 Total Weight: -27731 132.41/132.68 c Elapsed CPU time: 129.904 s Remaining CPU time: 1670.1 s 132.61/132.82 c ============================[ Search Statistics ]============================== 132.61/132.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 132.61/132.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 132.61/132.82 c =============================================================================== 132.61/132.82 c | 0 | 30285 51688 344613 | 17229 0 nan | 0.000 % | 132.82/133.03 c | 101 | 30285 51688 344613 | 18952 101 13 | 0.460 % | 132.92/133.12 c =============================================================================== 132.92/133.12 c core #344 132.92/133.12 c Core size: 16 Core Weight: 2 Total Weight: -27729 132.92/133.12 c Elapsed CPU time: 130.34 s Remaining CPU time: 1669.66 s 133.02/133.26 c ============================[ Search Statistics ]============================== 133.02/133.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.02/133.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.02/133.26 c =============================================================================== 133.02/133.26 c | 0 | 30296 51698 344662 | 17232 0 nan | 0.000 % | 133.31/133.59 c =============================================================================== 133.31/133.59 c core #345 133.31/133.59 c Core size: 27 Core Weight: 1 Total Weight: -27728 133.31/133.59 c Elapsed CPU time: 130.791 s Remaining CPU time: 1669.21 s 133.52/133.73 c ============================[ Search Statistics ]============================== 133.52/133.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.52/133.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.52/133.73 c =============================================================================== 133.52/133.73 c | 0 | 30315 51716 344758 | 17238 0 nan | 0.000 % | 133.81/134.02 c =============================================================================== 133.81/134.02 c core #346 133.81/134.02 c Core size: 31 Core Weight: 14 Total Weight: -27714 133.81/134.02 c Elapsed CPU time: 131.212 s Remaining CPU time: 1668.79 s 133.92/134.16 c ============================[ Search Statistics ]============================== 133.92/134.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.92/134.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.92/134.16 c =============================================================================== 133.92/134.16 c | 0 | 30333 51731 344840 | 17243 0 nan | 0.000 % | 134.21/134.44 c =============================================================================== 134.21/134.44 c core #347 134.21/134.44 c Core size: 55 Core Weight: 1 Total Weight: -27713 134.21/134.44 c Elapsed CPU time: 131.618 s Remaining CPU time: 1668.38 s 134.31/134.58 c ============================[ Search Statistics ]============================== 134.31/134.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 134.31/134.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 134.31/134.58 c =============================================================================== 134.31/134.58 c | 0 | 30366 51752 344969 | 17250 0 nan | 0.000 % | 134.61/134.81 c =============================================================================== 134.61/134.81 c core #348 134.61/134.81 c Core size: 15 Core Weight: 4 Total Weight: -27709 134.61/134.81 c Elapsed CPU time: 131.982 s Remaining CPU time: 1668.02 s 134.71/134.95 c ============================[ Search Statistics ]============================== 134.71/134.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 134.71/134.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 134.71/134.95 c =============================================================================== 134.71/134.95 c | 0 | 30377 51763 345021 | 17254 0 nan | 0.000 % | 135.12/135.30 c =============================================================================== 135.12/135.30 c core #349 135.12/135.30 c Core size: 30 Core Weight: 2 Total Weight: -27707 135.12/135.30 c Elapsed CPU time: 132.466 s Remaining CPU time: 1667.53 s 135.22/135.44 c ============================[ Search Statistics ]============================== 135.22/135.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.22/135.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.22/135.44 c =============================================================================== 135.22/135.44 c | 0 | 30398 51784 345135 | 17261 0 nan | 0.000 % | 135.51/135.71 c =============================================================================== 135.51/135.71 c core #350 135.51/135.71 c Core size: 14 Core Weight: 1 Total Weight: -27706 135.51/135.71 c Elapsed CPU time: 132.871 s Remaining CPU time: 1667.13 s 135.61/135.85 c ============================[ Search Statistics ]============================== 135.61/135.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.61/135.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.61/135.85 c =============================================================================== 135.61/135.85 c | 0 | 30408 51791 345173 | 17263 0 nan | 0.000 % | 136.01/136.21 c =============================================================================== 136.01/136.21 c core #351 136.01/136.21 c Core size: 28 Core Weight: 3 Total Weight: -27703 136.01/136.21 c Elapsed CPU time: 133.35 s Remaining CPU time: 1666.65 s 136.11/136.35 c ============================[ Search Statistics ]============================== 136.11/136.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 136.11/136.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 136.11/136.35 c =============================================================================== 136.11/136.35 c | 0 | 30427 51808 345268 | 17269 0 nan | 0.000 % | 136.51/136.73 c =============================================================================== 136.51/136.73 c core #352 136.51/136.73 c Core size: 20 Core Weight: 1 Total Weight: -27702 136.51/136.73 c Elapsed CPU time: 133.863 s Remaining CPU time: 1666.14 s 136.62/136.87 c ============================[ Search Statistics ]============================== 136.62/136.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 136.62/136.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 136.62/136.87 c =============================================================================== 136.62/136.87 c | 0 | 30441 51817 345320 | 17272 0 nan | 0.000 % | 137.21/137.42 c =============================================================================== 137.21/137.42 c core #353 137.21/137.42 c Core size: 27 Core Weight: 1 Total Weight: -27701 137.21/137.42 c Elapsed CPU time: 134.541 s Remaining CPU time: 1665.46 s 137.31/137.56 c ============================[ Search Statistics ]============================== 137.31/137.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 137.31/137.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 137.31/137.56 c =============================================================================== 137.31/137.56 c | 0 | 30458 51833 345402 | 17277 0 nan | 0.000 % | 137.42/137.66 c =============================================================================== 137.42/137.66 c core #354 137.42/137.66 c Core size: 16 Core Weight: 2 Total Weight: -27699 137.42/137.66 c Elapsed CPU time: 134.774 s Remaining CPU time: 1665.23 s 137.61/137.80 c ============================[ Search Statistics ]============================== 137.61/137.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 137.61/137.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 137.61/137.80 c =============================================================================== 137.61/137.80 c | 0 | 30469 51839 345439 | 17279 0 nan | 0.000 % | 138.42/138.65 c =============================================================================== 138.42/138.65 c core #355 138.42/138.65 c Core size: 16 Core Weight: 895 Total Weight: -26804 138.42/138.65 c Elapsed CPU time: 135.752 s Remaining CPU time: 1664.25 s 138.52/138.79 c ============================[ Search Statistics ]============================== 138.52/138.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 138.52/138.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 138.52/138.79 c =============================================================================== 138.52/138.79 c | 0 | 30481 51849 345499 | 17283 0 nan | 0.000 % | 138.91/139.14 c =============================================================================== 138.91/139.14 c core #356 138.91/139.14 c Core size: 30 Core Weight: 1 Total Weight: -26803 138.91/139.14 c Elapsed CPU time: 136.232 s Remaining CPU time: 1663.77 s 139.01/139.28 c ============================[ Search Statistics ]============================== 139.01/139.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 139.01/139.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 139.01/139.28 c =============================================================================== 139.01/139.28 c | 0 | 30501 51868 345604 | 17289 0 nan | 0.000 % | 139.31/139.51 c =============================================================================== 139.31/139.51 c core #357 139.31/139.51 c Core size: 13 Core Weight: 1 Total Weight: -26802 139.31/139.51 c Elapsed CPU time: 136.602 s Remaining CPU time: 1663.4 s 139.41/139.65 c ============================[ Search Statistics ]============================== 139.41/139.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 139.41/139.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 139.41/139.65 c =============================================================================== 139.41/139.65 c | 0 | 30510 51872 345631 | 17290 0 nan | 0.000 % | 139.71/139.93 c =============================================================================== 139.71/139.93 c core #358 139.71/139.93 c Core size: 25 Core Weight: 1 Total Weight: -26801 139.71/139.93 c Elapsed CPU time: 137.01 s Remaining CPU time: 1662.99 s 139.82/140.07 c ============================[ Search Statistics ]============================== 139.82/140.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 139.82/140.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 139.82/140.07 c =============================================================================== 139.82/140.07 c | 0 | 30527 51883 345695 | 17294 0 nan | 0.000 % | 139.91/140.16 c =============================================================================== 139.91/140.16 c core #359 139.91/140.16 c Core size: 17 Core Weight: 8 Total Weight: -26793 139.91/140.16 c Elapsed CPU time: 137.23 s Remaining CPU time: 1662.77 s 140.12/140.30 c ============================[ Search Statistics ]============================== 140.12/140.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 140.12/140.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 140.12/140.30 c =============================================================================== 140.12/140.30 c | 0 | 30538 51894 345747 | 17298 0 nan | 0.000 % | 140.62/140.81 c =============================================================================== 140.62/140.81 c core #360 140.62/140.81 c Core size: 18 Core Weight: 2 Total Weight: -26791 140.62/140.81 c Elapsed CPU time: 137.875 s Remaining CPU time: 1662.12 s 140.71/140.95 c ============================[ Search Statistics ]============================== 140.71/140.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 140.71/140.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 140.71/140.95 c =============================================================================== 140.71/140.95 c | 0 | 30550 51901 345789 | 17300 0 nan | 0.000 % | 141.11/141.30 c =============================================================================== 141.11/141.30 c core #361 141.11/141.30 c Core size: 30 Core Weight: 1 Total Weight: -26790 141.11/141.30 c Elapsed CPU time: 138.352 s Remaining CPU time: 1661.65 s 141.21/141.44 c ============================[ Search Statistics ]============================== 141.21/141.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 141.21/141.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 141.21/141.44 c =============================================================================== 141.21/141.44 c | 0 | 30570 51919 345891 | 17306 0 nan | 0.000 % | 141.51/141.72 c =============================================================================== 141.51/141.72 c core #362 141.51/141.72 c Core size: 28 Core Weight: 26 Total Weight: -26764 141.51/141.72 c Elapsed CPU time: 138.755 s Remaining CPU time: 1661.25 s 141.62/141.86 c ============================[ Search Statistics ]============================== 141.62/141.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 141.62/141.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 141.62/141.86 c =============================================================================== 141.62/141.86 c | 0 | 30589 51937 345980 | 17312 0 nan | 0.000 % | 141.91/142.16 c | 104 | 30589 51937 345980 | 19043 104 21 | 0.456 % | 141.91/142.18 c | 255 | 30589 51937 345980 | 20947 255 20 | 0.456 % | 142.40/142.62 c | 480 | 30589 51937 345980 | 23042 480 18 | 0.456 % | 142.51/142.72 c =============================================================================== 142.51/142.72 c core #363 142.51/142.72 c Core size: 39 Core Weight: 1 Total Weight: -26763 142.51/142.72 c Elapsed CPU time: 139.742 s Remaining CPU time: 1660.26 s 142.61/142.86 c ============================[ Search Statistics ]============================== 142.61/142.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 142.61/142.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 142.61/142.86 c =============================================================================== 142.61/142.86 c | 0 | 30614 51953 346085 | 17317 0 nan | 0.000 % | 143.01/143.22 c =============================================================================== 143.01/143.22 c core #364 143.01/143.22 c Core size: 33 Core Weight: 18 Total Weight: -26745 143.01/143.22 c Elapsed CPU time: 140.235 s Remaining CPU time: 1659.77 s 143.11/143.36 c Learning 1 hard constraints 143.11/143.36 c ============================[ Search Statistics ]============================== 143.11/143.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 143.11/143.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 143.11/143.36 c =============================================================================== 143.11/143.36 c | 0 | 30633 51974 346193 | 17324 0 nan | 0.000 % | 143.41/143.68 c =============================================================================== 143.41/143.68 c core #365 143.41/143.68 c Core size: 50 Core Weight: 1 Total Weight: -26744 143.41/143.68 c Elapsed CPU time: 140.681 s Remaining CPU time: 1659.32 s 143.61/143.82 c ============================[ Search Statistics ]============================== 143.61/143.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 143.61/143.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 143.61/143.82 c =============================================================================== 143.61/143.82 c | 0 | 30663 51996 346332 | 17332 0 nan | 0.000 % | 143.81/144.04 c =============================================================================== 143.81/144.04 c core #366 143.81/144.04 c Core size: 63 Core Weight: 1 Total Weight: -26743 143.81/144.04 c Elapsed CPU time: 141.025 s Remaining CPU time: 1658.98 s 143.92/144.18 c ============================[ Search Statistics ]============================== 143.92/144.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 143.92/144.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 143.92/144.18 c =============================================================================== 143.92/144.18 c | 0 | 30701 52022 346493 | 17340 0 nan | 0.000 % | 144.21/144.45 c =============================================================================== 144.21/144.45 c core #367 144.21/144.45 c Core size: 41 Core Weight: 1 Total Weight: -26742 144.21/144.45 c Elapsed CPU time: 141.419 s Remaining CPU time: 1658.58 s 144.31/144.59 c ============================[ Search Statistics ]============================== 144.31/144.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 144.31/144.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 144.31/144.59 c =============================================================================== 144.31/144.59 c | 0 | 30727 52044 346618 | 17348 0 nan | 0.000 % | 144.61/144.85 c =============================================================================== 144.61/144.85 c core #368 144.61/144.85 c Core size: 24 Core Weight: 1 Total Weight: -26741 144.61/144.85 c Elapsed CPU time: 141.808 s Remaining CPU time: 1658.19 s 144.71/144.99 c ============================[ Search Statistics ]============================== 144.71/144.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 144.71/144.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 144.71/144.99 c =============================================================================== 144.71/144.99 c | 0 | 30741 52058 346685 | 17352 0 nan | 0.000 % | 145.71/145.91 c | 102 | 30741 52058 346685 | 19087 102 12 | 0.457 % | 146.21/146.41 c =============================================================================== 146.21/146.41 c core #369 146.21/146.41 c Core size: 35 Core Weight: 1 Total Weight: -26740 146.21/146.41 c Elapsed CPU time: 143.357 s Remaining CPU time: 1656.64 s 146.31/146.55 c ============================[ Search Statistics ]============================== 146.31/146.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 146.31/146.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 146.31/146.55 c =============================================================================== 146.31/146.55 c | 0 | 30765 52068 346772 | 17356 0 nan | 0.000 % | 147.21/147.43 c =============================================================================== 147.21/147.43 c core #370 147.21/147.43 c Core size: 55 Core Weight: 1 Total Weight: -26739 147.21/147.43 c Elapsed CPU time: 144.363 s Remaining CPU time: 1655.64 s 147.31/147.57 c ============================[ Search Statistics ]============================== 147.31/147.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 147.31/147.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 147.31/147.57 c =============================================================================== 147.31/147.57 c | 0 | 30803 52084 346905 | 17361 0 nan | 0.000 % | 147.60/147.87 c =============================================================================== 147.60/147.87 c core #371 147.60/147.87 c Core size: 559 Core Weight: 1 Total Weight: -26738 147.60/147.87 c Elapsed CPU time: 144.788 s Remaining CPU time: 1655.21 s 147.81/148.01 c ============================[ Search Statistics ]============================== 147.81/148.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 147.81/148.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 147.81/148.01 c =============================================================================== 147.81/148.01 c | 0 | 30841 52109 346976 | 17369 0 nan | 0.000 % | 148.31/148.57 c | 101 | 30841 52109 346976 | 19106 101 10 | 0.455 % | 148.41/148.63 c =============================================================================== 148.41/148.63 c core #372 148.41/148.63 c Core size: 43 Core Weight: 1 Total Weight: -26737 148.41/148.63 c Elapsed CPU time: 145.547 s Remaining CPU time: 1654.45 s 148.51/148.77 c ============================[ Search Statistics ]============================== 148.51/148.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 148.51/148.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 148.51/148.77 c =============================================================================== 148.51/148.77 c | 0 | 30866 52129 347088 | 17376 0 nan | 0.000 % | 148.90/149.12 c =============================================================================== 148.90/149.12 c core #373 148.90/149.12 c Core size: 21 Core Weight: 68 Total Weight: -26669 148.90/149.12 c Elapsed CPU time: 146.021 s Remaining CPU time: 1653.98 s 149.01/149.26 c ============================[ Search Statistics ]============================== 149.01/149.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 149.01/149.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 149.01/149.26 c =============================================================================== 149.01/149.26 c | 0 | 30880 52143 347155 | 17381 0 nan | 0.000 % | 149.41/149.69 c =============================================================================== 149.41/149.69 c core #374 149.41/149.69 c Core size: 14 Core Weight: 1 Total Weight: -26668 149.41/149.69 c Elapsed CPU time: 146.578 s Remaining CPU time: 1653.42 s 149.61/149.83 c ============================[ Search Statistics ]============================== 149.61/149.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 149.61/149.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 149.61/149.83 c =============================================================================== 149.61/149.83 c | 0 | 30889 52150 347191 | 17383 0 nan | 0.000 % | 149.80/150.08 c =============================================================================== 149.80/150.08 c core #375 149.80/150.08 c Core size: 14 Core Weight: 1 Total Weight: -26667 149.80/150.08 c Elapsed CPU time: 146.956 s Remaining CPU time: 1653.04 s 150.00/150.23 c ============================[ Search Statistics ]============================== 150.00/150.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.00/150.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.00/150.23 c =============================================================================== 150.00/150.23 c | 0 | 30899 52160 347238 | 17386 0 nan | 0.000 % | 150.71/150.95 c =============================================================================== 150.71/150.95 c core #376 150.71/150.95 c Core size: 26 Core Weight: 4 Total Weight: -26663 150.71/150.95 c Elapsed CPU time: 147.801 s Remaining CPU time: 1652.2 s 150.81/151.09 c ============================[ Search Statistics ]============================== 150.81/151.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.81/151.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.81/151.09 c =============================================================================== 150.81/151.09 c | 0 | 30913 52174 347309 | 17391 0 nan | 0.000 % | 151.11/151.39 c =============================================================================== 151.11/151.39 c core #377 151.11/151.39 c Core size: 44 Core Weight: 1 Total Weight: -26662 151.11/151.39 c Elapsed CPU time: 148.227 s Remaining CPU time: 1651.77 s 151.30/151.53 c ============================[ Search Statistics ]============================== 151.30/151.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 151.30/151.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 151.30/151.53 c =============================================================================== 151.30/151.53 c | 0 | 30939 52193 347417 | 17397 0 nan | 0.000 % | 151.61/151.84 c =============================================================================== 151.61/151.84 c core #378 151.61/151.84 c Core size: 76 Core Weight: 1 Total Weight: -26661 151.61/151.84 c Elapsed CPU time: 148.666 s Remaining CPU time: 1651.33 s 151.71/151.98 c ============================[ Search Statistics ]============================== 151.71/151.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 151.71/151.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 151.71/151.98 c =============================================================================== 151.71/151.98 c | 0 | 30985 52215 347594 | 17405 0 nan | 0.000 % | 152.01/152.22 c =============================================================================== 152.01/152.22 c core #379 152.01/152.22 c Core size: 21 Core Weight: 1 Total Weight: -26660 152.01/152.22 c Elapsed CPU time: 149.033 s Remaining CPU time: 1650.97 s 152.11/152.36 c Learning 1 hard constraints 152.11/152.36 c ============================[ Search Statistics ]============================== 152.11/152.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.11/152.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.11/152.36 c =============================================================================== 152.11/152.36 c | 0 | 30998 52229 347658 | 17409 0 nan | 0.000 % | 152.30/152.55 c =============================================================================== 152.30/152.55 c core #380 152.30/152.55 c Core size: 16 Core Weight: 1 Total Weight: -26659 152.30/152.55 c Elapsed CPU time: 149.358 s Remaining CPU time: 1650.64 s 152.41/152.69 c Learning 1 hard constraints 152.41/152.69 c ============================[ Search Statistics ]============================== 152.41/152.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.41/152.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.41/152.69 c =============================================================================== 152.41/152.69 c | 0 | 31008 52238 347737 | 17412 0 nan | 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-1876121-1245132758/watcher-1876121-1245132758 -o /tmp/evaluation-result-1876121-1245132758/solver-1876121-1245132758 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876121-1245132758.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 7287 /proc/meminfo: memFree=1949408/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=5560 CPUtime=0 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 66008799 5693440 232 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 1390 233 129 292 0 371 0 [startup+0.103691 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7287 /proc/meminfo: memFree=1949408/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=8812 CPUtime=0.1 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 1150 0 0 0 10 0 0 0 18 0 1 0 66008799 9023488 1134 1992294400 134512640 135709839 4294956240 18446744073709551615 134969950 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 2203 1134 294 292 0 1184 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 8812 [startup+0.20271 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7287 /proc/meminfo: memFree=1949408/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=9992 CPUtime=0.2 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 1558 0 0 0 20 0 0 0 18 0 1 0 66008799 10231808 1542 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 2498 1542 458 292 0 1479 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 9992 [startup+0.302731 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7287 /proc/meminfo: memFree=1949408/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=11548 CPUtime=0.29 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 2112 0 0 0 29 0 0 0 19 0 1 0 66008799 11825152 2096 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 2887 2097 638 292 0 1868 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11548 [startup+0.701819 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7287 /proc/meminfo: memFree=1949408/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=22072 CPUtime=0.69 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 6895 0 0 0 67 2 0 0 23 0 1 0 66008799 22601728 4843 1992294400 134512640 135709839 4294956240 18446744073709551615 135163574 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 5518 4843 133 292 0 5223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22072 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1924184/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=35132 CPUtime=1.49 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 13475 0 0 0 144 5 0 0 25 0 1 0 66008799 35975168 8135 1992294400 134512640 135709839 4294956240 18446744073709551615 135172984 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 8783 8135 134 292 0 8488 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35132 [startup+3.10129 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1900504/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=84736 CPUtime=3.09 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 30180 0 0 0 298 11 0 0 25 0 1 0 66008799 86769664 20497 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 21184 20497 135 292 0 20889 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 84736 [startup+6.30193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1796824/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=169744 CPUtime=6.29 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 56714 0 0 0 608 21 0 0 18 0 1 0 66008799 173817856 41836 1992294400 134512640 135709839 4294956240 18446744073709551615 135166362 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 42436 41836 135 292 0 42141 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 169744 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1716760/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=239572 CPUtime=12.69 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 78897 0 0 0 1237 32 0 0 25 0 1 0 66008799 245321728 59300 1992294400 134512640 135709839 4294956240 18446744073709551615 134518369 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 59893 59300 135 292 0 59598 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 239572 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1586456/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=364464 CPUtime=25.47 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 118747 0 0 0 2498 49 0 0 25 0 1 0 66008799 373211136 90545 1992294400 134512640 135709839 4294956240 18446744073709551615 134572721 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 91116 90545 135 292 0 90821 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 364464 [startup+51.1029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=1335512/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=627732 CPUtime=51.02 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 203802 0 0 0 5016 86 0 0 25 0 1 0 66008799 642797568 156315 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 156933 156316 135 292 0 156638 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 627732 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=610584/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=1338304 CPUtime=102.13 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 432927 0 0 0 10017 196 0 0 25 0 1 0 66008799 1370423296 334015 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 334576 334015 136 292 0 334281 0 Current children cumulated CPU time (s) 102.13 Current children cumulated vsize (KiB) 1338304 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+152.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7288 /proc/meminfo: memFree=103064/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=1845136 CPUtime=152.51 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4194304 606038 0 0 0 14950 301 0 0 25 0 1 0 66008799 1889419264 460589 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 461284 460589 136 292 0 460989 0 Current children cumulated CPU time (s) 152.51 Current children cumulated vsize (KiB) 1845136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+152.902 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7289 /proc/meminfo: memFree=1440464/2055920 swapFree=4191900/4192956 [pid=7287] ppid=7285 vsize=0 CPUtime=152.71 /proc/7287/stat : 7287 (wbo) R 7285 7287 7128 0 -1 4195332 606038 0 0 0 14950 321 0 0 25 0 1 0 66008799 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/7287/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 152.71 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 152.976 CPU time (s): 152.79 CPU user time (s): 149.501 CPU system time (s): 3.2885 CPU usage (%): 99.8782 Max. virtual memory (cumulated for all children) (KiB): 1845136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 149.501 system time used= 3.2885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 606038 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= 21 involuntary context switches= 3590 runsolver used 0.185971 second user time and 0.508922 second system time The end
Begin job on node33 at 2009-06-16 08:12:38 IDJOB=1876121 IDBENCH=1849 IDSOLVER=698 FILE ID=node33/1876121-1245132758 PBS_JOBID= 9363707 Free space on /tmp= 65948 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.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-1876121-1245132758/watcher-1876121-1245132758 -o /tmp/evaluation-result-1876121-1245132758/solver-1876121-1245132758 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876121-1245132758.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 61b251578b844a8012695767860b65a7 RANDOM SEED=2116337067 node33.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.261 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.261 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: 1949888 kB Buffers: 7312 kB Cached: 44188 kB SwapCached: 384 kB Active: 37140 kB Inactive: 27700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1949888 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 5268 kB Writeback: 0 kB Mapped: 21748 kB Slab: 27204 kB Committed_AS: 115048 kB PageTables: 1392 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-1876121-1245132758.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 08:15:13