Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 349 | 32.911 | 32.936 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb |
MD5SUM | b0d7a6a03ca37d030da671f9238e17bb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 349 |
Best CPU time to get the best result obtained on this benchmark | 0.706892 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 349 |
Optimality of the best value was proved | YES |
Number of variables | 698 |
Total number of constraints | 1741 |
Number of constraints which are clauses | 1741 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 698 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 698 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 698 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876243-1245160786.opb. 0.00/0.00 c Instance file HOME/instance-1876243-1245160786.opb 0.00/0.00 c File size is 55578 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 698 | 0.00/0.00 c | Number Clauses: 2439 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #27 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #28 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #29 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #30 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #31 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #32 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #33 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #34 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #35 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #36 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #37 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #38 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #39 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #40 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #41 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #42 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #43 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #44 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.07 c core #45 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #46 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #47 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #48 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #49 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #50 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #51 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #52 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #53 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #54 0.09/0.09 c Core size: 3 Core Weight: 1 Total Weight: 54 0.09/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #55 0.09/0.09 c Core size: 3 Core Weight: 1 Total Weight: 55 0.09/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.09/0.09 c core #56 0.09/0.09 c Core size: 4 Core Weight: 1 Total Weight: 56 0.09/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #57 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #58 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 58 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #59 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 59 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #60 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #61 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #62 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 62 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #63 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #64 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #65 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 65 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #66 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #67 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.11 c core #68 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 68 0.09/0.11 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #69 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 69 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #70 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #71 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 71 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #72 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #74 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 74 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #75 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 75 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #76 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 76 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #78 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #80 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 80 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #85 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 85 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #86 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 86 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #87 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #88 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 88 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #89 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 89 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #90 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 90 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #91 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 91 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #92 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 92 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #93 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 93 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #94 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 94 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #95 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 95 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #96 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 96 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #97 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 97 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #98 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 98 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #99 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 99 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #100 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.17 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #101 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #102 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #103 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #104 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #105 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #106 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #107 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #108 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 108 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #109 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 109 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #110 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 110 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.20 c core #111 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: 111 0.09/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #112 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 112 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #113 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 113 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #114 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 114 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #115 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 115 0.19/0.20 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #116 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 116 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #117 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 117 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #118 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 118 0.19/0.21 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #119 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 119 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #120 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 120 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #121 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 121 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #122 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 122 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #123 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 123 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #124 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 124 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #125 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 125 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #126 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 126 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #127 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 127 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #128 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 128 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #129 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 129 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #130 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 130 0.19/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #131 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 131 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #132 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 132 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #133 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 133 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #134 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 134 0.19/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #135 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 135 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #136 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 136 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #137 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 137 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #138 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 138 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #139 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 139 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #140 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 140 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #141 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 141 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #142 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 142 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #143 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 143 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #144 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 144 0.19/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #145 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 145 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #146 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 146 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #147 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 147 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #148 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 148 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #149 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 149 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #150 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 150 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #151 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 151 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #152 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 152 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #153 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 153 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #154 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 154 0.19/0.28 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #155 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 155 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #156 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 156 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #157 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 157 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #158 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 158 0.19/0.29 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #159 0.19/0.30 c Core size: 6 Core Weight: 1 Total Weight: 159 0.19/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #160 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 160 0.29/0.30 c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #161 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 161 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #162 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 162 0.29/0.30 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #163 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 163 0.29/0.30 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #164 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 164 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #165 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 165 0.29/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #166 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 166 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #167 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: 167 0.29/0.31 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #168 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 168 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #169 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 169 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #170 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 170 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #171 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: 171 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #172 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 172 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #173 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 173 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #174 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 174 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #175 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 175 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #176 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 176 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #177 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 177 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #178 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 178 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #179 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 179 0.29/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #180 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 180 0.29/0.34 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #181 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 181 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #182 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 182 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #183 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 183 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #184 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 184 0.29/0.35 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #185 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 185 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #186 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 186 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #187 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 187 0.29/0.36 c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #188 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 188 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #189 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 189 0.29/0.37 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #190 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 190 0.29/0.37 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #191 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 191 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #192 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 192 0.29/0.37 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #193 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: 193 0.29/0.38 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #194 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 194 0.29/0.38 c Elapsed CPU time: 0.377942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #195 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 195 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #196 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: 196 0.29/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #197 0.29/0.39 c Core size: 7 Core Weight: 1 Total Weight: 197 0.29/0.39 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #198 0.29/0.39 c Core size: 7 Core Weight: 1 Total Weight: 198 0.29/0.39 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #199 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 199 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #200 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: 200 0.29/0.39 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #201 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: 201 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #202 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: 202 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #203 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: 203 0.39/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #204 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: 204 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #205 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 205 0.39/0.41 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #206 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 206 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #207 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 207 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #208 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 208 0.39/0.41 c Elapsed CPU time: 0.413937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #209 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: 209 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #210 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: 210 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #211 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: 211 0.39/0.42 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #212 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: 212 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #213 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: 213 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #214 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: 214 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #215 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: 215 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #216 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: 216 0.39/0.44 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #217 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: 217 0.39/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #218 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: 218 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #219 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: 219 0.39/0.44 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #220 0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: 220 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #221 0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 221 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #222 0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 222 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #223 0.39/0.45 c Core size: 6 Core Weight: 1 Total Weight: 223 0.39/0.45 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #224 0.39/0.46 c Core size: 6 Core Weight: 1 Total Weight: 224 0.39/0.46 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #225 0.39/0.46 c Core size: 7 Core Weight: 1 Total Weight: 225 0.39/0.46 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1248 2664 6509 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #226 0.39/0.46 c Core size: 32 Core Weight: 1 Total Weight: 226 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c Learning 1 hard constraints 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1262 2666 6540 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #227 0.39/0.46 c Core size: 34 Core Weight: 1 Total Weight: 227 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 1276 2667 6569 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #228 0.39/0.47 c Core size: 29 Core Weight: 1 Total Weight: 228 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 1286 2668 6589 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #229 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: 229 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 1291 2669 6600 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #230 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: 230 0.39/0.47 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1296 2670 6611 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #231 0.39/0.48 c Core size: 11 Core Weight: 1 Total Weight: 231 0.39/0.48 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1301 2671 6622 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #232 0.39/0.48 c Core size: 11 Core Weight: 1 Total Weight: 232 0.39/0.48 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1306 2672 6633 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #233 0.39/0.48 c Core size: 11 Core Weight: 1 Total Weight: 233 0.39/0.48 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 1311 2673 6644 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #234 0.39/0.49 c Core size: 19 Core Weight: 1 Total Weight: 234 0.39/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 1320 2674 6665 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #235 0.39/0.49 c Core size: 11 Core Weight: 1 Total Weight: 235 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.39/0.49 c Learning 2 hard constraints 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 1325 2677 6681 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #236 0.39/0.49 c Core size: 8 Core Weight: 1 Total Weight: 236 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.39/0.49 c Learning 1 hard constraints 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 1329 2679 6692 | 5000 0 nan | 0.000 % | 0.39/0.50 c =============================================================================== 0.39/0.50 c core #237 0.39/0.50 c Core size: 11 Core Weight: 1 Total Weight: 237 0.39/0.50 c Elapsed CPU time: 0.493924 s Remaining CPU time: 1799.51 s 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1334 2680 6703 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #238 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: 238 0.49/0.50 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.49/0.50 c Learning 2 hard constraints 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1339 2683 6719 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #239 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: 239 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.50 c Learning 2 hard constraints 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1344 2686 6735 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #240 0.49/0.50 c Core size: 14 Core Weight: 1 Total Weight: 240 0.49/0.50 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.51 c Learning 1 hard constraints 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1349 2688 6749 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #241 0.49/0.51 c Core size: 14 Core Weight: 1 Total Weight: 241 0.49/0.51 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.51 c Learning 1 hard constraints 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1354 2690 6763 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #242 0.49/0.51 c Core size: 14 Core Weight: 1 Total Weight: 242 0.49/0.51 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.51 c Learning 2 hard constraints 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1359 2693 6780 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #243 0.49/0.51 c Core size: 11 Core Weight: 1 Total Weight: 243 0.49/0.51 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 1364 2694 6791 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #244 0.49/0.52 c Core size: 11 Core Weight: 1 Total Weight: 244 0.49/0.52 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 1369 2695 6802 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #245 0.49/0.52 c Core size: 35 Core Weight: 1 Total Weight: 245 0.49/0.52 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 1385 2696 6835 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #246 0.49/0.52 c Core size: 29 Core Weight: 1 Total Weight: 246 0.49/0.52 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1395 2697 6855 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #247 0.49/0.53 c Core size: 29 Core Weight: 1 Total Weight: 247 0.49/0.53 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1405 2698 6875 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #248 0.49/0.53 c Core size: 29 Core Weight: 1 Total Weight: 248 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1415 2699 6895 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #249 0.49/0.53 c Core size: 29 Core Weight: 1 Total Weight: 249 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1425 2700 6915 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #250 0.49/0.54 c Core size: 29 Core Weight: 1 Total Weight: 250 0.49/0.54 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1435 2701 6935 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #251 0.49/0.54 c Core size: 29 Core Weight: 1 Total Weight: 251 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1445 2702 6955 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #252 0.49/0.54 c Core size: 29 Core Weight: 1 Total Weight: 252 0.49/0.54 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1455 2703 6975 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #253 0.49/0.55 c Core size: 29 Core Weight: 1 Total Weight: 253 0.49/0.55 c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1465 2704 6995 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #254 0.49/0.55 c Core size: 29 Core Weight: 1 Total Weight: 254 0.49/0.55 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1475 2705 7015 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #255 0.49/0.55 c Core size: 29 Core Weight: 1 Total Weight: 255 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1485 2706 7035 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #256 0.49/0.56 c Core size: 29 Core Weight: 1 Total Weight: 256 0.49/0.56 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1495 2707 7055 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #257 0.49/0.56 c Core size: 29 Core Weight: 1 Total Weight: 257 0.49/0.56 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 1505 2708 7075 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #258 0.49/0.56 c Core size: 23 Core Weight: 1 Total Weight: 258 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1514 2709 7093 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #259 0.49/0.57 c Core size: 16 Core Weight: 1 Total Weight: 259 0.49/0.57 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1521 2710 7108 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #260 0.49/0.57 c Core size: 31 Core Weight: 1 Total Weight: 260 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c Learning 1 hard constraints 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 1533 2712 7136 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #261 0.49/0.57 c Core size: 82 Core Weight: 1 Total Weight: 261 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1548 2713 7166 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #262 0.49/0.58 c Core size: 126 Core Weight: 1 Total Weight: 262 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.49/0.58 c Learning 2 hard constraints 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1563 2716 7201 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #263 0.49/0.58 c Core size: 37 Core Weight: 1 Total Weight: 263 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1575 2717 7225 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #264 0.49/0.59 c Core size: 26 Core Weight: 1 Total Weight: 264 0.49/0.59 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.49/0.59 c Learning 2 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1581 2720 7242 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #265 0.49/0.59 c Core size: 38 Core Weight: 1 Total Weight: 265 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.49/0.59 c Learning 1 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 1597 2722 7277 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.60 c core #266 0.49/0.60 c Core size: 57 Core Weight: 1 Total Weight: 266 0.49/0.60 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.59/0.60 c Learning 2 hard constraints 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 1617 2725 7322 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #267 0.59/0.60 c Core size: 14 Core Weight: 1 Total Weight: 267 0.59/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.60 c Learning 1 hard constraints 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 1622 2727 7336 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #268 0.59/0.60 c Core size: 8 Core Weight: 1 Total Weight: 268 0.59/0.60 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.59/0.61 c Learning 1 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1626 2729 7347 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #269 0.59/0.61 c Core size: 11 Core Weight: 1 Total Weight: 269 0.59/0.61 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.61 c Learning 2 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1634 2732 7369 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #270 0.59/0.61 c Core size: 8 Core Weight: 1 Total Weight: 270 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.61 c Learning 1 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1638 2734 7380 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #271 0.59/0.61 c Core size: 13 Core Weight: 1 Total Weight: 271 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.62 c Learning 4 hard constraints 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1642 2739 7398 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #272 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 272 0.59/0.62 c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s 0.59/0.62 c Learning 2 hard constraints 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1646 2742 7411 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #273 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 273 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.62 c Learning 2 hard constraints 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 1650 2745 7424 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #274 0.59/0.62 c Core size: 8 Core Weight: 1 Total Weight: 274 0.59/0.62 c Elapsed CPU time: 0.620905 s Remaining CPU time: 1799.38 s 0.59/0.63 c Learning 2 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 1654 2748 7437 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #275 0.59/0.63 c Core size: 15 Core Weight: 1 Total Weight: 275 0.59/0.63 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.63 c Learning 4 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 1660 2753 7459 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #276 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 276 0.59/0.63 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.59/0.63 c Learning 1 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 1668 2755 7478 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #277 0.59/0.63 c Core size: 13 Core Weight: 1 Total Weight: 277 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c Learning 7 hard constraints 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1672 2763 7504 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #278 0.59/0.64 c Core size: 17 Core Weight: 1 Total Weight: 278 0.59/0.64 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.64 c Learning 4 hard constraints 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1676 2768 7523 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #279 0.59/0.64 c Core size: 23 Core Weight: 1 Total Weight: 279 0.59/0.64 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.64 c Learning 3 hard constraints 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1684 2772 7547 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #280 0.59/0.65 c Core size: 8 Core Weight: 1 Total Weight: 280 0.59/0.65 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.65 c Learning 3 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1688 2776 7562 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #281 0.59/0.65 c Core size: 8 Core Weight: 1 Total Weight: 281 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c Learning 2 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1692 2779 7575 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #282 0.59/0.65 c Core size: 8 Core Weight: 1 Total Weight: 282 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.59/0.66 c Learning 2 hard constraints 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1696 2782 7588 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #283 0.59/0.66 c Core size: 13 Core Weight: 1 Total Weight: 283 0.59/0.66 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c Learning 4 hard constraints 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1700 2787 7606 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #284 0.59/0.66 c Core size: 11 Core Weight: 1 Total Weight: 284 0.59/0.66 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.59/0.66 c Learning 1 hard constraints 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1705 2789 7619 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #285 0.59/0.66 c Core size: 11 Core Weight: 1 Total Weight: 285 0.59/0.66 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.59/0.67 c Learning 1 hard constraints 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 1710 2791 7635 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #286 0.59/0.67 c Core size: 11 Core Weight: 1 Total Weight: 286 0.59/0.67 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 1715 2792 7646 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #287 0.59/0.67 c Core size: 11 Core Weight: 1 Total Weight: 287 0.59/0.67 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1720 2793 7657 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #288 0.59/0.68 c Core size: 11 Core Weight: 1 Total Weight: 288 0.59/0.68 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1725 2794 7668 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #289 0.59/0.68 c Core size: 11 Core Weight: 1 Total Weight: 289 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1730 2795 7679 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #290 0.59/0.68 c Core size: 11 Core Weight: 1 Total Weight: 290 0.59/0.68 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 1735 2796 7690 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #291 0.59/0.69 c Core size: 11 Core Weight: 1 Total Weight: 291 0.59/0.69 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 1740 2797 7701 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #292 0.59/0.69 c Core size: 38 Core Weight: 1 Total Weight: 292 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.59/0.70 c Learning 2 hard constraints 0.59/0.70 c ============================[ Search Statistics ]============================== 0.59/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.70 c =============================================================================== 0.59/0.70 c | 0 | 1755 2800 7736 | 5000 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #293 0.69/0.70 c Core size: 77 Core Weight: 1 Total Weight: 293 0.69/0.70 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 1787 2801 7801 | 5000 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #294 0.69/0.70 c Core size: 11 Core Weight: 1 Total Weight: 294 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.71 c Learning 1 hard constraints 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 1792 2803 7815 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #295 0.69/0.71 c Core size: 11 Core Weight: 1 Total Weight: 295 0.69/0.71 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 1797 2804 7826 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #296 0.69/0.71 c Core size: 11 Core Weight: 1 Total Weight: 296 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 1802 2805 7837 | 5000 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #297 0.69/0.72 c Core size: 11 Core Weight: 1 Total Weight: 297 0.69/0.72 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 1807 2806 7848 | 5000 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #298 0.69/0.72 c Core size: 11 Core Weight: 1 Total Weight: 298 0.69/0.72 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 1812 2807 7859 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #299 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 299 0.69/0.73 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 1817 2808 7870 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #300 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 300 0.69/0.73 c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 1822 2809 7881 | 5000 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c core #301 0.69/0.74 c Core size: 11 Core Weight: 1 Total Weight: 301 0.69/0.74 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 1827 2810 7892 | 5000 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c core #302 0.69/0.74 c Core size: 50 Core Weight: 1 Total Weight: 302 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 1851 2811 7940 | 5000 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #303 0.69/0.75 c Core size: 83 Core Weight: 1 Total Weight: 303 0.69/0.75 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.75 c Learning 2 hard constraints 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 1883 2814 8009 | 5000 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #304 0.69/0.76 c Core size: 18 Core Weight: 1 Total Weight: 304 0.69/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.69/0.76 c Learning 2 hard constraints 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 1889 2817 8026 | 5000 0 nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #305 0.69/0.76 c Core size: 68 Core Weight: 1 Total Weight: 305 0.69/0.76 c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s 0.69/0.76 c Learning 3 hard constraints 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 1914 2821 8083 | 5000 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #306 0.69/0.77 c Core size: 34 Core Weight: 1 Total Weight: 306 0.69/0.77 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.77 c Learning 1 hard constraints 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1926 2823 8110 | 5000 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #307 0.69/0.77 c Core size: 18 Core Weight: 1 Total Weight: 307 0.69/0.77 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.77 c Learning 3 hard constraints 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1932 2827 8130 | 5000 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #308 0.69/0.78 c Core size: 18 Core Weight: 1 Total Weight: 308 0.69/0.78 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 1938 2828 8142 | 5000 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #309 0.69/0.78 c Core size: 68 Core Weight: 1 Total Weight: 309 0.69/0.78 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 1966 2829 8198 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #310 0.69/0.79 c Core size: 49 Core Weight: 1 Total Weight: 310 0.69/0.79 c Elapsed CPU time: 0.775882 s Remaining CPU time: 1799.22 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 1981 2830 8228 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #311 0.69/0.79 c Core size: 19 Core Weight: 1 Total Weight: 311 0.69/0.79 c Elapsed CPU time: 0.780881 s Remaining CPU time: 1799.22 s 0.69/0.79 c Learning 2 hard constraints 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 1989 2833 8249 | 5000 0 nan | 0.000 % | 0.69/0.80 c =============================================================================== 0.69/0.80 c core #312 0.69/0.80 c Core size: 18 Core Weight: 1 Total Weight: 312 0.69/0.80 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 1995 2834 8261 | 5000 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #313 0.79/0.80 c Core size: 20 Core Weight: 1 Total Weight: 313 0.79/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2001 2835 8273 | 5000 0 nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #314 0.79/0.81 c Core size: 18 Core Weight: 1 Total Weight: 314 0.79/0.81 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.79/0.81 c Learning 3 hard constraints 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2007 2839 8295 | 5000 0 nan | 0.000 % | 0.79/0.82 c | 100 | 2005 2839 8295 | 5500 100 17 | 0.100 % | 0.79/0.82 c | 250 | 2002 2839 8295 | 6050 195 12 | 0.250 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #315 0.79/0.82 c Core size: 103 Core Weight: 1 Total Weight: 315 0.79/0.82 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.79/0.83 c Learning 4 hard constraints 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2045 2844 8383 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #316 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 316 0.79/0.83 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.79/0.83 c Learning 1 hard constraints 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2051 2846 8398 | 5000 0 nan | 0.000 % | 0.79/0.84 c | 101 | 2049 2846 8398 | 5500 101 13 | 0.098 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #317 0.79/0.84 c Core size: 117 Core Weight: 1 Total Weight: 317 0.79/0.84 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.85 c Learning 4 hard constraints 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2082 2851 8471 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #318 0.79/0.85 c Core size: 56 Core Weight: 1 Total Weight: 318 0.79/0.85 c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s 0.79/0.85 c Learning 4 hard constraints 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2097 2856 8512 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #319 0.79/0.86 c Core size: 60 Core Weight: 1 Total Weight: 319 0.79/0.86 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.79/0.86 c Learning 4 hard constraints 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2114 2861 8556 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #320 0.79/0.86 c Core size: 18 Core Weight: 1 Total Weight: 320 0.79/0.86 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.87 c Learning 4 hard constraints 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2120 2866 8586 | 5000 0 nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #321 0.79/0.87 c Core size: 115 Core Weight: 1 Total Weight: 321 0.79/0.87 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s 0.79/0.88 c Learning 6 hard constraints 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2148 2873 8660 | 5000 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #322 0.79/0.88 c Core size: 41 Core Weight: 1 Total Weight: 322 0.79/0.88 c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s 0.79/0.88 c Learning 6 hard constraints 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2162 2880 8712 | 5000 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #323 0.79/0.88 c Core size: 54 Core Weight: 1 Total Weight: 323 0.79/0.88 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2178 2881 8744 | 5000 0 nan | 0.000 % | 0.89/0.90 c | 100 | 2178 2881 8744 | 5500 100 11 | 0.003 % | 0.89/0.92 c | 250 | 2117 2881 8744 | 6050 72 6 | 2.847 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #324 0.89/0.92 c Core size: 747 Core Weight: 1 Total Weight: 324 0.89/0.92 c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s 0.89/0.93 c Learning 19 hard constraints 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2244 2901 8986 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 102 | 2244 2901 8986 | 5500 102 11 | 0.004 % | 0.89/0.95 c | 253 | 2244 2901 8986 | 6050 253 10 | 0.000 % | 0.89/0.98 c | 478 | 2244 2901 8986 | 6655 478 11 | 0.000 % | 1.00/1.05 c | 815 | 2244 2901 8986 | 7320 815 13 | 0.000 % | 1.10/1.14 c | 1321 | 2244 2901 8986 | 8052 1321 13 | 0.000 % | 1.19/1.29 c | 2080 | 2244 2901 8986 | 8857 2080 14 | 0.001 % | 1.49/1.54 c | 3219 | 2242 2901 8986 | 9743 1826 13 | 0.089 % | 1.59/1.66 c =============================================================================== 1.69/1.74 c core #325 1.69/1.74 c Core size: 1846 Core Weight: 1 Total Weight: 325 1.69/1.74 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.69/1.75 c Learning 170 hard constraints 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 2367 3072 10342 | 5000 0 nan | 0.000 % | 1.69/1.76 c | 100 | 2366 3072 10342 | 5500 100 8 | 0.929 % | 1.69/1.78 c | 251 | 2321 3072 10342 | 6050 250 16 | 4.647 % | 1.79/1.82 c | 476 | 2257 3072 10342 | 6655 461 19 | 4.647 % | 1.79/1.87 c | 813 | 2255 3072 10342 | 7320 412 17 | 4.732 % | 1.79/1.88 c =============================================================================== 1.79/1.89 c core #326 1.79/1.89 c Core size: 1199 Core Weight: 1 Total Weight: 326 1.79/1.89 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.79/1.90 c Learning 152 hard constraints 1.79/1.90 c ============================[ Search Statistics ]============================== 1.79/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.90 c =============================================================================== 1.79/1.90 c | 0 | 2387 3225 12593 | 5000 0 nan | 0.000 % | 1.89/1.91 c | 101 | 2387 3225 12593 | 5500 101 13 | 0.002 % | 1.89/1.93 c | 251 | 2387 3225 12593 | 6050 251 16 | 0.000 % | 1.89/1.98 c | 477 | 2387 3225 12593 | 6655 477 15 | 0.000 % | 1.99/2.05 c | 814 | 2387 3225 12593 | 7320 814 16 | 0.000 % | 2.09/2.14 c | 1321 | 2387 3225 12593 | 8052 1321 17 | 0.000 % | 2.29/2.31 c | 2080 | 2387 3225 12593 | 8857 2080 17 | 0.000 % | 2.49/2.55 c | 3221 | 2387 3225 12593 | 9743 3221 17 | 0.000 % | 2.89/2.94 c | 4929 | 2387 3225 12593 | 10717 4929 17 | 0.000 % | 3.19/3.29 c =============================================================================== 3.39/3.46 c core #327 3.39/3.46 c Core size: 1874 Core Weight: 1 Total Weight: 327 3.39/3.46 c Elapsed CPU time: 3.41348 s Remaining CPU time: 1796.59 s 3.39/3.48 c Learning 1054 hard constraints 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 2413 4280 29828 | 5000 0 nan | 0.000 % | 3.49/3.50 c | 102 | 2413 4280 29828 | 5500 102 26 | 0.002 % | 3.49/3.53 c | 254 | 2413 4280 29828 | 6050 254 27 | 0.000 % | 3.49/3.57 c | 480 | 2413 4280 29828 | 6655 480 22 | 0.000 % | 3.59/3.64 c | 818 | 2413 4280 29828 | 7320 818 20 | 0.000 % | 3.69/3.75 c | 1324 | 2413 4280 29828 | 8052 1324 19 | 0.000 % | 3.89/3.92 c | 2083 | 2413 4280 29828 | 8857 2083 18 | 0.000 % | 4.09/4.18 c | 3223 | 2411 4280 29828 | 9743 1165 18 | 0.083 % | 4.48/4.53 c | 4931 | 2403 4280 29828 | 10717 364 14 | 0.414 % | 4.48/4.55 c =============================================================================== 4.59/4.67 c core #328 4.59/4.67 c Core size: 2184 Core Weight: 1 Total Weight: 328 4.59/4.67 c Elapsed CPU time: 4.6103 s Remaining CPU time: 1795.39 s 4.59/4.68 c Learning 301 hard constraints 4.59/4.68 c ============================[ Search Statistics ]============================== 4.59/4.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.68 c =============================================================================== 4.59/4.68 c | 0 | 2424 4582 34176 | 5000 0 nan | 0.000 % | 4.59/4.69 c | 102 | 2424 4582 34176 | 5500 102 10 | 0.002 % | 4.69/4.71 c | 253 | 2424 4582 34176 | 6050 253 13 | 0.000 % | 4.69/4.75 c | 478 | 2424 4582 34176 | 6655 478 17 | 0.000 % | 4.79/4.82 c | 816 | 2424 4582 34176 | 7320 816 18 | 0.000 % | 4.89/4.93 c | 1323 | 2424 4582 34176 | 8052 1323 18 | 0.000 % | 4.99/5.09 c | 2084 | 2424 4582 34176 | 8857 2084 18 | 0.000 % | 5.29/5.36 c | 3226 | 2424 4582 34176 | 9743 3226 18 | 0.000 % | 5.58/5.60 c =============================================================================== 5.68/5.70 c core #329 5.68/5.70 c Core size: 2389 Core Weight: 1 Total Weight: 329 5.68/5.70 c Elapsed CPU time: 5.63514 s Remaining CPU time: 1794.36 s 5.68/5.72 c Learning 223 hard constraints 5.68/5.72 c ============================[ Search Statistics ]============================== 5.68/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.72 c =============================================================================== 5.68/5.72 c | 0 | 2461 4806 36934 | 5000 0 nan | 0.000 % | 5.68/5.73 c | 101 | 2459 4806 36934 | 5500 101 8 | 0.081 % | 5.68/5.76 c | 252 | 2459 4806 36934 | 6050 252 15 | 0.081 % | 5.78/5.81 c | 479 | 2459 4806 36934 | 6655 478 15 | 0.081 % | 5.78/5.88 c | 818 | 2459 4806 36934 | 7320 817 16 | 0.081 % | 5.99/6.00 c | 1324 | 2447 4806 36934 | 8052 1321 17 | 0.569 % | 6.09/6.17 c | 2084 | 2447 4806 36934 | 8857 2081 18 | 0.569 % | 6.39/6.44 c | 3224 | 2439 4806 36934 | 9743 267 9 | 0.894 % | 6.39/6.48 c =============================================================================== 6.49/6.56 c core #330 6.49/6.56 c Core size: 2385 Core Weight: 1 Total Weight: 330 6.49/6.56 c Elapsed CPU time: 6.48501 s Remaining CPU time: 1793.51 s 6.49/6.57 c Learning 97 hard constraints 6.49/6.57 c ============================[ Search Statistics ]============================== 6.49/6.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.57 c =============================================================================== 6.49/6.57 c | 0 | 2489 4904 37932 | 5000 0 nan | 0.000 % | 6.49/6.59 c | 101 | 2489 4904 37932 | 5500 101 20 | 0.002 % | 6.59/6.62 c | 251 | 2489 4904 37932 | 6050 251 21 | 0.000 % | 6.59/6.67 c | 477 | 2489 4904 37932 | 6655 477 19 | 0.000 % | 6.68/6.75 c | 814 | 2489 4904 37932 | 7320 814 18 | 0.000 % | 6.78/6.86 c | 1323 | 2489 4904 37932 | 8052 1323 18 | 0.000 % | 6.99/7.04 c | 2085 | 2489 4904 37932 | 8857 2085 19 | 0.000 % | 7.29/7.31 c =============================================================================== 7.29/7.38 c core #331 7.29/7.38 c Core size: 2391 Core Weight: 1 Total Weight: 331 7.29/7.38 c Elapsed CPU time: 7.29789 s Remaining CPU time: 1792.7 s 7.29/7.40 c Learning 179 hard constraints 7.29/7.40 c ============================[ Search Statistics ]============================== 7.29/7.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.40 c =============================================================================== 7.29/7.40 c | 0 | 2499 5084 40355 | 5000 0 nan | 0.000 % | 7.39/7.41 c | 101 | 2499 5084 40355 | 5500 101 16 | 0.002 % | 7.39/7.45 c | 252 | 2499 5084 40355 | 6050 252 18 | 0.000 % | 7.39/7.49 c | 478 | 2499 5084 40355 | 6655 478 18 | 0.000 % | 7.49/7.56 c | 815 | 2499 5084 40355 | 7320 815 19 | 0.000 % | 7.59/7.67 c | 1322 | 2499 5084 40355 | 8052 1322 19 | 0.000 % | 7.78/7.85 c | 2082 | 2499 5084 40355 | 8857 2082 19 | 0.000 % | 8.09/8.11 c | 3225 | 2497 5084 40355 | 9743 774 17 | 0.080 % | 8.39/8.44 c =============================================================================== 8.49/8.55 c core #332 8.49/8.55 c Core size: 2645 Core Weight: 1 Total Weight: 332 8.49/8.55 c Elapsed CPU time: 8.46071 s Remaining CPU time: 1791.54 s 8.49/8.57 c Learning 161 hard constraints 8.49/8.57 c ============================[ Search Statistics ]============================== 8.49/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.57 c =============================================================================== 8.49/8.57 c | 0 | 2507 5246 42634 | 5000 0 nan | 0.000 % | 8.49/8.58 c | 101 | 2507 5246 42634 | 5500 101 36 | 0.002 % | 8.59/8.62 c | 251 | 2507 5246 42634 | 6050 251 25 | 0.000 % | 8.59/8.66 c | 476 | 2507 5246 42634 | 6655 476 21 | 0.000 % | 8.69/8.73 c | 816 | 2507 5246 42634 | 7320 816 20 | 0.000 % | 8.79/8.85 c | 1324 | 2507 5246 42634 | 8052 1324 19 | 0.000 % | 8.99/9.03 c | 2084 | 2507 5246 42634 | 8857 2084 19 | 0.000 % | 9.18/9.26 c | 3223 | 2503 5246 42634 | 9743 1152 22 | 0.160 % | 9.59/9.63 c | 4931 | 2495 5246 42634 | 10717 379 18 | 0.479 % | 9.59/9.65 c =============================================================================== 9.69/9.77 c core #333 9.69/9.77 c Core size: 2747 Core Weight: 1 Total Weight: 333 9.69/9.77 c Elapsed CPU time: 9.66653 s Remaining CPU time: 1790.33 s 9.69/9.78 c Learning 340 hard constraints 9.69/9.78 c ============================[ Search Statistics ]============================== 9.69/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.78 c =============================================================================== 9.69/9.78 c | 0 | 2526 5587 48001 | 5000 0 nan | 0.000 % | 9.69/9.80 c | 101 | 2526 5587 48001 | 5500 101 22 | 0.002 % | 9.79/9.83 c | 251 | 2526 5587 48001 | 6050 251 22 | 0.000 % | 9.79/9.88 c | 477 | 2526 5587 48001 | 6655 477 23 | 0.000 % | 9.89/9.95 c | 814 | 2526 5587 48001 | 7320 814 21 | 0.000 % | 9.99/10.06 c | 1321 | 2526 5587 48001 | 8052 1321 20 | 0.000 % | 10.18/10.22 c | 2081 | 2526 5587 48001 | 8857 2081 20 | 0.000 % | 10.48/10.51 c | 3223 | 2524 5587 48001 | 9743 1280 19 | 0.079 % | 10.78/10.86 c =============================================================================== 10.89/10.97 c core #334 10.89/10.97 c Core size: 2898 Core Weight: 1 Total Weight: 334 10.89/10.97 c Elapsed CPU time: 10.8593 s Remaining CPU time: 1789.14 s 10.89/10.99 c Learning 76 hard constraints 10.89/10.99 c ============================[ Search Statistics ]============================== 10.89/10.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.99 c =============================================================================== 10.89/10.99 c | 0 | 2544 5664 48944 | 5000 0 nan | 0.000 % | 10.89/11.00 c | 101 | 2544 5664 48944 | 5500 101 23 | 0.002 % | 11.00/11.01 c | 254 | 2544 5664 48944 | 6050 254 17 | 0.000 % | 11.00/11.02 c | 479 | 2544 5664 48944 | 6655 479 17 | 0.000 % | 11.00/11.03 c | 817 | 2544 5664 48944 | 7320 817 17 | 0.000 % | 11.00/11.06 c | 1324 | 2530 5664 48944 | 8052 1082 19 | 0.550 % | 11.09/11.10 c | 2084 | 2530 5664 48944 | 8857 1842 21 | 0.550 % | 11.29/11.34 c | 3223 | 2530 5664 48944 | 9743 2981 20 | 0.550 % | 11.48/11.57 c | 4940 | 2497 5664 48944 | 10717 3508 22 | 1.847 % | 11.59/11.68 c =============================================================================== 11.69/11.75 c core #335 11.69/11.75 c Core size: 2248 Core Weight: 1 Total Weight: 335 11.69/11.75 c Elapsed CPU time: 11.6282 s Remaining CPU time: 1788.37 s 11.69/11.77 c Learning 330 hard constraints 11.69/11.77 c ============================[ Search Statistics ]============================== 11.69/11.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.77 c =============================================================================== 11.69/11.77 c | 0 | 2606 5995 53764 | 5000 0 nan | 0.000 % | 11.69/11.80 c | 100 | 2606 5995 53764 | 5500 100 31 | 0.002 % | 11.79/11.83 c | 250 | 2606 5995 53764 | 6050 250 24 | 0.000 % | 11.79/11.88 c | 476 | 2606 5995 53764 | 6655 476 22 | 0.000 % | 11.89/11.96 c | 814 | 2606 5995 53764 | 7320 814 22 | 0.000 % | 11.99/12.07 c | 1321 | 2606 5995 53764 | 8052 1321 21 | 0.000 % | 12.18/12.25 c | 2082 | 2606 5995 53764 | 8857 2082 20 | 0.000 % | 12.49/12.54 c | 3221 | 2604 5995 53764 | 9743 1347 19 | 0.077 % | 12.79/12.82 c =============================================================================== 12.89/12.93 c core #336 12.89/12.93 c Core size: 3045 Core Weight: 1 Total Weight: 336 12.89/12.93 c Elapsed CPU time: 12.7911 s Remaining CPU time: 1787.21 s 12.89/12.95 c Learning 273 hard constraints 12.89/12.95 c ============================[ Search Statistics ]============================== 12.89/12.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.95 c =============================================================================== 12.89/12.95 c | 0 | 2614 6269 58499 | 5000 0 nan | 0.000 % | 12.89/12.97 c | 101 | 2614 6269 58499 | 5500 101 31 | 0.002 % | 12.98/13.01 c | 252 | 2614 6269 58499 | 6050 252 27 | 0.000 % | 12.98/13.06 c | 478 | 2614 6269 58499 | 6655 478 24 | 0.000 % | 13.09/13.14 c | 815 | 2614 6269 58499 | 7320 815 22 | 0.000 % | 13.19/13.27 c | 1322 | 2614 6269 58499 | 8052 1322 21 | 0.000 % | 13.38/13.46 c | 2082 | 2614 6269 58499 | 8857 2082 19 | 0.000 % | 13.68/13.75 c | 3221 | 2612 6269 58499 | 9743 1535 19 | 0.077 % | 13.78/13.89 c =============================================================================== 13.88/13.99 c core #337 13.88/13.99 c Core size: 3086 Core Weight: 1 Total Weight: 337 13.88/13.99 c Elapsed CPU time: 13.8439 s Remaining CPU time: 1786.16 s 13.98/14.01 c Learning 302 hard constraints 13.98/14.01 c ============================[ Search Statistics ]============================== 13.98/14.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.98/14.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.98/14.01 c =============================================================================== 13.98/14.01 c | 0 | 2629 6572 63267 | 5000 0 nan | 0.000 % | 13.98/14.04 c | 100 | 2629 6572 63267 | 5500 100 33 | 0.002 % | 13.98/14.07 c | 250 | 2629 6572 63267 | 6050 250 25 | 0.000 % | 14.08/14.13 c | 476 | 2629 6572 63267 | 6655 476 22 | 0.000 % | 14.18/14.21 c | 814 | 2629 6572 63267 | 7320 814 21 | 0.000 % | 14.29/14.34 c | 1320 | 2629 6572 63267 | 8052 1320 21 | 0.000 % | 14.49/14.53 c | 2079 | 2629 6572 63267 | 8857 2079 20 | 0.000 % | 14.78/14.84 c | 3220 | 2627 6572 63267 | 9743 1752 20 | 0.076 % | 14.88/14.95 c =============================================================================== 14.98/15.03 c core #338 14.98/15.03 c Core size: 3225 Core Weight: 1 Total Weight: 338 14.98/15.03 c Elapsed CPU time: 14.8867 s Remaining CPU time: 1785.11 s 14.98/15.06 c Learning 2120 hard constraints 14.98/15.06 c ============================[ Search Statistics ]============================== 14.98/15.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.98/15.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.98/15.06 c =============================================================================== 14.98/15.06 c | 0 | 2642 8693 104455 | 5000 0 nan | 0.000 % | 14.98/15.08 c | 100 | 2642 8693 104455 | 5500 100 23 | 0.002 % | 15.08/15.12 c | 251 | 2642 8693 104455 | 6050 251 22 | 0.000 % | 15.08/15.19 c | 476 | 2642 8693 104455 | 6655 476 21 | 0.000 % | 15.18/15.28 c | 814 | 2642 8693 104455 | 7320 814 20 | 0.000 % | 15.29/15.38 c =============================================================================== 15.29/15.40 c core #339 15.29/15.40 c Core size: 2461 Core Weight: 1 Total Weight: 339 15.29/15.40 c Elapsed CPU time: 15.2497 s Remaining CPU time: 1784.75 s 15.38/15.43 c Learning 1093 hard constraints 15.38/15.43 c ============================[ Search Statistics ]============================== 15.38/15.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.38/15.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.38/15.43 c =============================================================================== 15.38/15.43 c | 0 | 2656 9787 125318 | 5000 0 nan | 0.000 % | 15.38/15.45 c | 100 | 2647 9787 125318 | 5500 100 14 | 0.463 % | 15.38/15.46 c =============================================================================== 15.38/15.46 c core #340 15.38/15.46 c Core size: 529 Core Weight: 1 Total Weight: 340 15.38/15.46 c Elapsed CPU time: 15.3047 s Remaining CPU time: 1784.7 s 15.38/15.49 c Learning 27 hard constraints 15.38/15.49 c ============================[ Search Statistics ]============================== 15.38/15.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.38/15.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.38/15.49 c =============================================================================== 15.38/15.49 c | 0 | 1851 9815 125671 | 5000 0 nan | 0.000 % | 15.38/15.49 c | 101 | 1849 9815 125671 | 5500 101 16 | 30.836 % | 15.48/15.50 c =============================================================================== 15.48/15.50 c core #341 15.48/15.50 c Core size: 173 Core Weight: 1 Total Weight: 341 15.48/15.50 c Elapsed CPU time: 15.3477 s Remaining CPU time: 1784.65 s 15.48/15.53 c ============================[ Search Statistics ]============================== 15.48/15.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.48/15.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.48/15.53 c =============================================================================== 15.48/15.53 c | 0 | 1863 9816 125695 | 5000 0 nan | 0.000 % | 15.48/15.54 c | 100 | 1851 9816 125695 | 5500 100 13 | 31.033 % | 15.48/15.55 c =============================================================================== 15.48/15.55 c core #342 15.48/15.55 c Core size: 468 Core Weight: 1 Total Weight: 342 15.48/15.55 c Elapsed CPU time: 15.3927 s Remaining CPU time: 1784.61 s 15.48/15.58 c ============================[ Search Statistics ]============================== 15.48/15.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.48/15.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.48/15.58 c =============================================================================== 15.48/15.58 c | 0 | 1894 9817 125757 | 5000 0 nan | 0.000 % | 15.48/15.58 c | 100 | 1894 9817 125757 | 5500 100 22 | 30.162 % | 15.48/15.59 c | 253 | 1884 9817 125757 | 6050 253 28 | 30.826 % | 15.57/15.60 c | 479 | 1883 9817 125757 | 6655 479 30 | 30.863 % | 15.57/15.62 c =============================================================================== 15.57/15.62 c core #343 15.57/15.62 c Core size: 476 Core Weight: 1 Total Weight: 343 15.57/15.62 c Elapsed CPU time: 15.4606 s Remaining CPU time: 1784.54 s 15.57/15.65 c ============================[ Search Statistics ]============================== 15.57/15.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.57/15.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.57/15.65 c =============================================================================== 15.57/15.65 c | 0 | 1929 9818 125827 | 5000 0 nan | 0.000 % | 15.57/15.66 c | 100 | 1928 9818 125827 | 5500 100 21 | 29.887 % | 15.57/15.67 c | 250 | 1921 9818 125827 | 6050 250 30 | 30.142 % | 15.57/15.68 c | 476 | 1921 9818 125827 | 6655 476 38 | 30.142 % | 15.68/15.70 c | 815 | 1921 9818 125827 | 7320 815 40 | 30.142 % | 15.68/15.75 c | 1324 | 1921 9818 125827 | 8052 1324 40 | 30.142 % | 15.78/15.82 c | 2083 | 1921 9818 125827 | 8857 2083 40 | 30.142 % | 15.88/15.98 c | 3224 | 1921 9818 125827 | 9743 3224 41 | 30.142 % | 16.27/16.38 c | 4934 | 1919 9818 125827 | 10717 4930 42 | 30.506 % | 16.68/16.76 c =============================================================================== 16.78/16.81 c core #344 16.78/16.81 c Core size: 264 Core Weight: 1 Total Weight: 344 16.78/16.81 c Elapsed CPU time: 16.6345 s Remaining CPU time: 1783.37 s 16.78/16.84 c ============================[ Search Statistics ]============================== 16.78/16.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.84 c =============================================================================== 16.78/16.84 c | 0 | 1947 9819 125863 | 5000 0 nan | 0.000 % | 16.78/16.85 c | 100 | 1944 9819 125863 | 5500 100 25 | 29.729 % | 16.78/16.86 c | 250 | 1940 9819 125863 | 6050 250 24 | 29.910 % | 16.78/16.87 c | 475 | 1940 9819 125863 | 6655 475 27 | 29.910 % | 16.78/16.89 c | 813 | 1940 9819 125863 | 7320 813 39 | 29.910 % | 16.87/16.92 c | 1321 | 1940 9819 125863 | 8052 1321 36 | 29.910 % | 16.87/16.99 c =============================================================================== 16.97/17.00 c core #345 16.97/17.00 c Core size: 514 Core Weight: 1 Total Weight: 345 16.97/17.00 c Elapsed CPU time: 16.8234 s Remaining CPU time: 1783.18 s 16.97/17.03 c ============================[ Search Statistics ]============================== 16.97/17.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.97/17.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.97/17.03 c =============================================================================== 16.97/17.03 c | 0 | 1994 9820 125957 | 5000 0 nan | 0.000 % | 16.97/17.04 c | 100 | 1985 9820 125957 | 5500 100 24 | 29.587 % | 16.97/17.05 c | 252 | 1985 9820 125957 | 6050 252 41 | 29.587 % | 16.97/17.06 c =============================================================================== 16.97/17.06 c core #346 16.97/17.06 c Core size: 444 Core Weight: 1 Total Weight: 346 16.97/17.06 c Elapsed CPU time: 16.8724 s Remaining CPU time: 1783.13 s 16.97/17.08 c ============================[ Search Statistics ]============================== 16.97/17.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.97/17.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.97/17.08 c =============================================================================== 16.97/17.08 c | 0 | 2004 9821 125977 | 5000 0 nan | 0.000 % | 16.97/17.09 c | 105 | 2004 9821 125977 | 5500 105 31 | 28.987 % | 17.08/17.10 c | 255 | 2000 9821 125977 | 6050 255 37 | 29.164 % | 17.08/17.11 c | 483 | 1994 9821 125977 | 6655 483 38 | 29.447 % | 17.08/17.13 c | 821 | 1993 9821 125977 | 7320 821 40 | 29.447 % | 17.08/17.17 c | 1327 | 1993 9821 125977 | 8052 1327 47 | 29.447 % | 17.17/17.28 c | 2087 | 1993 9821 125977 | 8857 2087 51 | 29.589 % | 17.38/17.47 c | 3227 | 1993 9821 125977 | 9743 3227 54 | 29.695 % | 17.87/17.93 c | 4938 | 1984 9821 125977 | 10717 4931 57 | 29.695 % | 18.97/19.04 c | 7503 | 1984 9821 125977 | 11789 7496 59 | 29.837 % | 20.07/20.12 c =============================================================================== 20.17/20.22 c core #347 20.17/20.22 c Core size: 332 Core Weight: 1 Total Weight: 347 20.17/20.22 c Elapsed CPU time: 20.003 s Remaining CPU time: 1780 s 20.17/20.26 c ============================[ Search Statistics ]============================== 20.17/20.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.17/20.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.17/20.26 c =============================================================================== 20.17/20.26 c | 0 | 2035 9822 126039 | 5000 0 nan | 0.000 % | 20.17/20.27 c | 100 | 2035 9822 126039 | 5500 100 33 | 28.672 % | 20.17/20.28 c | 253 | 2035 9822 126039 | 6050 253 28 | 28.672 % | 20.17/20.29 c | 478 | 2031 9822 126039 | 6655 478 31 | 28.812 % | 20.27/20.31 c | 815 | 2031 9822 126039 | 7320 815 34 | 28.812 % | 20.27/20.34 c | 1322 | 2030 9822 126039 | 8052 1322 49 | 28.952 % | 20.38/20.40 c | 2082 | 2025 9822 126039 | 8857 2082 44 | 29.162 % | 20.47/20.53 c | 3221 | 2010 9822 126039 | 9743 3212 46 | 29.548 % | 20.57/20.66 c | 4930 | 2010 9822 126039 | 10717 4921 57 | 29.548 % | 21.07/21.18 c | 7492 | 2010 9822 126039 | 11789 7483 77 | 30.249 % | 22.58/22.61 c =============================================================================== 22.58/22.69 c core #348 22.58/22.69 c Core size: 589 Core Weight: 1 Total Weight: 348 22.58/22.69 c Elapsed CPU time: 22.4396 s Remaining CPU time: 1777.56 s 22.67/22.73 c ============================[ Search Statistics ]============================== 22.67/22.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.67/22.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.67/22.73 c =============================================================================== 22.67/22.73 c | 0 | 2113 9823 126195 | 5000 0 nan | 0.000 % | 22.67/22.74 c | 102 | 2100 9823 126195 | 5500 102 28 | 28.523 % | 22.67/22.75 c | 256 | 2100 9823 126195 | 6050 256 44 | 28.523 % | 22.67/22.76 c | 482 | 2098 9823 126195 | 6655 482 44 | 28.523 % | 22.67/22.77 c | 823 | 2097 9823 126195 | 7320 823 41 | 28.625 % | 22.77/22.80 c | 1330 | 2097 9823 126195 | 8052 1330 41 | 28.625 % | 22.77/22.86 c | 2091 | 2096 9823 126195 | 8857 2091 51 | 28.762 % | 22.87/22.95 c | 3231 | 2096 9823 126195 | 9743 3231 64 | 28.762 % | 23.08/23.15 c | 4939 | 2088 9823 126195 | 10717 4931 67 | 28.762 % | 23.58/23.67 c | 7503 | 2086 9823 126195 | 11789 7495 85 | 29.000 % | 24.67/24.71 c | 11349 | 2083 9823 126195 | 12968 11341 90 | 29.307 % | 26.57/26.66 c | 17118 | 2061 9823 126195 | 14265 10062 103 | 29.683 % | 30.07/30.19 c | 25768 | 2061 9823 126195 | 15692 11102 115 | 29.683 % | 32.37/32.41 c =============================================================================== 32.67/32.75 c core #349 32.67/32.75 c Core size: 590 Core Weight: 1 Total Weight: 349 32.67/32.75 c Elapsed CPU time: 32.4091 s Remaining CPU time: 1767.59 s 32.77/32.82 c ============================[ Search Statistics ]============================== 32.77/32.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.77/32.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.77/32.82 c =============================================================================== 32.77/32.82 c | 0 | 2191 9824 126351 | 5000 0 nan | 0.000 % | 32.77/32.83 c | 102 | 2191 9824 126351 | 5500 102 46 | 27.185 % | 32.77/32.84 c | 252 | 2184 9824 126351 | 6050 252 40 | 27.418 % | 32.77/32.85 c | 478 | 2181 9824 126351 | 6655 478 37 | 27.684 % | 32.77/32.88 c | 815 | 2181 9824 126351 | 7320 815 67 | 27.684 % | 32.87/32.92 c | 1323 | 2180 9824 126351 | 8052 1323 66 | 27.817 % | 32.87/32.92 c =============================================================================== 32.87/32.92 c Verified 9824 original clauses. 32.87/32.92 c #cores: 349 32.87/32.92 c Final Weight: 349 32.87/32.92 o 349 32.87/32.92 s OPTIMUM FOUND 32.87/32.92 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 -x51 x52 x53 -x54 -x55 x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 -x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 -x309 x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 x338 x339 -x340 -x341 x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 x406 x407 -x408 x409 -x410 -x411 x412 x413 -x414 x415 -x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 x425 -x426 -x427 x428 x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 -x439 x440 x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 x469 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 x509 -x510 -x511 x512 x513 -x514 x515 -x516 -x517 x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 -x539 x540 x541 -x542 x543 -x544 x545 -x546 -x547 x548 x549 -x550 -x551 x552 -x553 x554 x555 -x556 x557 -x558 -x559 x560 x561 -x562 -x563 x564 x565 -x566 x567 -x568 -x569 x570 x571 -x572 x573 -x574 x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 x599 -x600 -x601 x602 -x603 x604 -x605 x606 x607 -x608 x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 x627 -x628 -x629 x630 x631 -x632 x633 -x634 -x635 x636 x637 -x638 -x639 x640 x641 -x642 -x643 x644 x645 -x646 -x647 x648 x649 -x650 -x651 x652 x653 -x654 -x655 x656 x657 -x658 -x659 x660 -x661 x662 -x663 x664 x665 -x666 -x667 x668 x669 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 x679 -x680 x681 -x682 x683 -x684 -x685 x686 x687 -x688 x689 -x690 x691 -x692 -x693 x694 x695 -x696 -x697 x698
OK 349
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876243-1245160786/watcher-1876243-1245160786 -o /tmp/evaluation-result-1876243-1245160786/solver-1876243-1245160786 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876243-1245160786.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3496 /proc/meminfo: memFree=1855872/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=2592 CPUtime=0 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 183679535 2654208 196 1992294400 134512640 135709839 4294956240 18446744073709551615 135173039 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 648 197 128 292 0 339 0 [startup+0.094502 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3496 /proc/meminfo: memFree=1855872/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=2960 CPUtime=0.09 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 335 0 0 0 9 0 0 0 18 0 1 0 183679535 3031040 305 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 740 305 133 292 0 445 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2960 [startup+0.101503 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3496 /proc/meminfo: memFree=1855872/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=2960 CPUtime=0.09 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 335 0 0 0 9 0 0 0 18 0 1 0 183679535 3031040 305 1992294400 134512640 135709839 4294956240 18446744073709551615 134570838 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 740 305 133 292 0 445 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2960 [startup+0.301542 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3496 /proc/meminfo: memFree=1855872/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=3232 CPUtime=0.29 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 407 0 0 0 29 0 0 0 19 0 1 0 183679535 3309568 377 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 808 377 133 292 0 513 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3232 [startup+0.701618 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3496 /proc/meminfo: memFree=1855872/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=4872 CPUtime=0.69 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 837 0 0 0 69 0 0 0 18 0 1 0 183679535 4988928 795 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 1218 795 135 292 0 923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50177 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1851960/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=7408 CPUtime=1.49 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 1500 0 0 0 147 2 0 0 21 0 1 0 183679535 7585792 1413 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 1852 1413 136 292 0 1557 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7408 [startup+3.10108 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1849400/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=10232 CPUtime=3.08 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 2207 0 0 0 304 4 0 0 25 0 1 0 183679535 10477568 2120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 2558 2120 136 292 0 2263 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10232 [startup+6.30269 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1846008/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=11732 CPUtime=6.29 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 2568 0 0 0 622 7 0 0 25 0 1 0 183679535 12013568 2481 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 2933 2481 136 292 0 2638 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11732 [startup+12.7019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1843832/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=13684 CPUtime=12.69 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 3085 0 0 0 1256 13 0 0 25 0 1 0 183679535 14012416 2998 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 3421 2998 136 292 0 3126 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13684 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1837048/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=20900 CPUtime=25.47 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 4853 0 0 0 2521 26 0 0 25 0 1 0 183679535 21401600 4766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 5225 4766 136 292 0 4930 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 20900 Solver just ended. Dumping a history of the last processes samples [startup+28.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1831928/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=25820 CPUtime=28.67 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 6098 0 0 0 2838 29 0 0 25 0 1 0 183679535 26439680 6011 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 6455 6011 136 292 0 6160 0 Current children cumulated CPU time (s) 28.67 Current children cumulated vsize (KiB) 25820 [startup+30.3013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1829432/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=29920 CPUtime=30.27 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 7102 0 0 0 2996 31 0 0 25 0 1 0 183679535 30638080 7015 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 7480 7015 136 292 0 7185 0 Current children cumulated CPU time (s) 30.27 Current children cumulated vsize (KiB) 29920 [startup+31.9046 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1824568/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=33224 CPUtime=31.88 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 7932 0 0 0 3156 32 0 0 25 0 1 0 183679535 34021376 7845 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 8306 7845 136 292 0 8011 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 33224 [startup+32.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1824568/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=34828 CPUtime=32.67 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 8348 0 0 0 3235 32 0 0 25 0 1 0 183679535 35663872 8261 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 8707 8261 136 292 0 8412 0 Current children cumulated CPU time (s) 32.67 Current children cumulated vsize (KiB) 34828 [startup+32.9018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3497 /proc/meminfo: memFree=1821432/2055920 swapFree=4183064/4192956 [pid=3496] ppid=3494 vsize=36160 CPUtime=32.87 /proc/3496/stat : 3496 (wbo) R 3494 3496 3415 0 -1 4194304 8661 0 0 0 3254 33 0 0 25 0 1 0 183679535 37027840 8574 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3496/statm: 9040 8574 136 292 0 8745 0 Current children cumulated CPU time (s) 32.87 Current children cumulated vsize (KiB) 36160 Child status: 0 Real time (s): 32.936 CPU time (s): 32.911 CPU user time (s): 32.568 CPU system time (s): 0.342947 CPU usage (%): 99.9241 Max. virtual memory (cumulated for all children) (KiB): 36160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.568 system time used= 0.342947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8661 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= 10 involuntary context switches= 478 runsolver used 0.035994 second user time and 0.120981 second system time The end
Begin job on node5 at 2009-06-16 15:59:46 IDJOB=1876243 IDBENCH=2199 IDSOLVER=698 FILE ID=node5/1876243-1245160786 PBS_JOBID= 9363854 Free space on /tmp= 66256 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.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-1876243-1245160786/watcher-1876243-1245160786 -o /tmp/evaluation-result-1876243-1245160786/solver-1876243-1245160786 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876243-1245160786.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0d7a6a03ca37d030da671f9238e17bb RANDOM SEED=2003301760 node5.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.259 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 : 5931.00 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.259 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: 1856352 kB Buffers: 39572 kB Cached: 80708 kB SwapCached: 3684 kB Active: 45780 kB Inactive: 82344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856352 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 14540 kB Slab: 57552 kB Committed_AS: 150788 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-1876243-1245160786.opb Free space on /tmp at the end= 66256 MiB End job on node5 at 2009-06-16 16:00:19