Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1808.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25184 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
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-1875681-1245146823.opb. 0.00/0.00 c Instance file HOME/instance-1875681-1245146823.opb 0.00/0.00 c File size is 202954 bytes. 0.01/0.02 c Highest Coefficient sum: 40 0.01/0.02 c ============================[ Problem Statistics ]============================= 0.01/0.02 c | | 0.01/0.02 c | Parsing time: 0.03 s | 0.01/0.02 c | Number Variables: 540 | 0.01/0.02 c | Number Clauses: 2862 | 0.01/0.02 c | Number Cardinality: 264 | 0.01/0.02 c | Number PB Constraints: 1680 | 0.01/0.02 c core #1 0.01/0.02 c Core size: 30 Core Weight: 521 Total Weight: 521 0.01/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #2 0.01/0.03 c Core size: 30 Core Weight: 80 Total Weight: 601 0.01/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #3 0.01/0.03 c Core size: 30 Core Weight: 80 Total Weight: 681 0.01/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #4 0.01/0.04 c Core size: 30 Core Weight: 337 Total Weight: 1018 0.01/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #5 0.01/0.04 c Core size: 30 Core Weight: 605 Total Weight: 1623 0.01/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.01/0.05 c core #6 0.01/0.05 c Core size: 30 Core Weight: 257 Total Weight: 1880 0.01/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #7 0.01/0.05 c Core size: 30 Core Weight: 521 Total Weight: 2401 0.01/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.01/0.06 c core #8 0.01/0.06 c Core size: 30 Core Weight: 80 Total Weight: 2481 0.01/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #9 0.01/0.06 c Core size: 30 Core Weight: 80 Total Weight: 2561 0.01/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.01/0.07 c core #10 0.01/0.07 c Core size: 30 Core Weight: 337 Total Weight: 2898 0.01/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #11 0.01/0.07 c Core size: 30 Core Weight: 605 Total Weight: 3503 0.01/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.01/0.08 c core #12 0.01/0.08 c Core size: 30 Core Weight: 257 Total Weight: 3760 0.01/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #13 0.01/0.08 c Core size: 6 Core Weight: 80 Total Weight: 3840 0.01/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #14 0.01/0.09 c Core size: 6 Core Weight: 80 Total Weight: 3920 0.01/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #15 0.01/0.09 c Core size: 6 Core Weight: 337 Total Weight: 4257 0.01/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #16 0.09/0.10 c Core size: 6 Core Weight: 84 Total Weight: 4341 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #17 0.09/0.10 c Core size: 6 Core Weight: 521 Total Weight: 4862 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #18 0.09/0.11 c Core size: 6 Core Weight: 257 Total Weight: 5119 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #19 0.09/0.11 c Core size: 6 Core Weight: 605 Total Weight: 5724 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #20 0.09/0.12 c Core size: 6 Core Weight: 235 Total Weight: 5959 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #21 0.09/0.12 c Core size: 6 Core Weight: 521 Total Weight: 6480 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #22 0.09/0.13 c Core size: 6 Core Weight: 300 Total Weight: 6780 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #23 0.09/0.13 c Core size: 6 Core Weight: 605 Total Weight: 7385 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #24 0.09/0.14 c Core size: 6 Core Weight: 177 Total Weight: 7562 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #25 0.09/0.14 c Core size: 6 Core Weight: 521 Total Weight: 8083 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #26 0.09/0.15 c Core size: 6 Core Weight: 43 Total Weight: 8126 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #27 0.09/0.15 c Core size: 6 Core Weight: 605 Total Weight: 8731 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #28 0.09/0.16 c Core size: 6 Core Weight: 71 Total Weight: 8802 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #29 0.09/0.16 c Core size: 6 Core Weight: 80 Total Weight: 8882 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #30 0.09/0.17 c Core size: 6 Core Weight: 80 Total Weight: 8962 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #31 0.09/0.17 c Core size: 6 Core Weight: 337 Total Weight: 9299 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #32 0.09/0.18 c Core size: 6 Core Weight: 257 Total Weight: 9556 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #33 0.09/0.18 c Core size: 6 Core Weight: 264 Total Weight: 9820 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #34 0.09/0.19 c Core size: 6 Core Weight: 58 Total Weight: 9878 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #35 0.09/0.19 c Core size: 6 Core Weight: 151 Total Weight: 10029 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #36 0.19/0.20 c Core size: 6 Core Weight: 605 Total Weight: 10634 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #37 0.19/0.20 c Core size: 11 Core Weight: 43 Total Weight: 10677 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #38 0.19/0.21 c Core size: 16 Core Weight: 21 Total Weight: 10698 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #39 0.19/0.21 c Core size: 6 Core Weight: 236 Total Weight: 10934 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #40 0.19/0.22 c Core size: 6 Core Weight: 84 Total Weight: 11018 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #41 0.19/0.22 c Core size: 6 Core Weight: 173 Total Weight: 11191 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #42 0.19/0.23 c Core size: 6 Core Weight: 84 Total Weight: 11275 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #43 0.19/0.24 c Core size: 11 Core Weight: 151 Total Weight: 11426 0.19/0.24 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #44 0.19/0.24 c Core size: 6 Core Weight: 231 Total Weight: 11657 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #45 0.19/0.25 c Core size: 6 Core Weight: 84 Total Weight: 11741 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #46 0.19/0.25 c Core size: 11 Core Weight: 108 Total Weight: 11849 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #47 0.19/0.26 c Core size: 6 Core Weight: 43 Total Weight: 11892 0.19/0.26 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #48 0.19/0.26 c Core size: 6 Core Weight: 84 Total Weight: 11976 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #49 0.19/0.27 c Core size: 11 Core Weight: 71 Total Weight: 12047 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #50 0.19/0.27 c Core size: 11 Core Weight: 43 Total Weight: 12090 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #51 0.19/0.28 c Core size: 21 Core Weight: 28 Total Weight: 12118 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #52 0.19/0.28 c Core size: 11 Core Weight: 30 Total Weight: 12148 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #53 0.19/0.29 c Core size: 16 Core Weight: 90 Total Weight: 12238 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #54 0.19/0.29 c Core size: 6 Core Weight: 3 Total Weight: 12241 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #55 0.29/0.30 c Core size: 6 Core Weight: 58 Total Weight: 12299 0.29/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #56 0.29/0.31 c Core size: 6 Core Weight: 151 Total Weight: 12450 0.29/0.31 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #57 0.29/0.31 c Core size: 6 Core Weight: 341 Total Weight: 12791 0.29/0.31 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #58 0.29/0.32 c Core size: 5 Core Weight: 84 Total Weight: 12875 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #59 0.29/0.32 c Core size: 5 Core Weight: 69 Total Weight: 12944 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #60 0.29/0.33 c Core size: 5 Core Weight: 405 Total Weight: 13349 0.29/0.33 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #61 0.29/0.33 c Core size: 20 Core Weight: 10 Total Weight: 13359 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #62 0.29/0.34 c Core size: 19 Core Weight: 6 Total Weight: 13365 0.29/0.34 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #63 0.29/0.34 c Core size: 18 Core Weight: 64 Total Weight: 13429 0.29/0.34 c Elapsed CPU time: 0.338948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #64 0.29/0.35 c Core size: 10 Core Weight: 26 Total Weight: 13455 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #65 0.29/0.36 c Core size: 13 Core Weight: 172 Total Weight: 13627 0.29/0.36 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #66 0.29/0.36 c Core size: 12 Core Weight: 7 Total Weight: 13634 0.29/0.36 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #67 0.29/0.37 c Core size: 12 Core Weight: 116 Total Weight: 13750 0.29/0.37 c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #68 0.29/0.37 c Core size: 12 Core Weight: 226 Total Weight: 13976 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #69 0.29/0.38 c Core size: 12 Core Weight: 80 Total Weight: 14056 0.29/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #70 0.29/0.39 c Core size: 12 Core Weight: 64 Total Weight: 14120 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #71 0.29/0.39 c Core size: 16 Core Weight: 16 Total Weight: 14136 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.38/0.40 c core #72 0.38/0.40 c Core size: 19 Core Weight: 37 Total Weight: 14173 0.38/0.40 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #73 0.38/0.41 c Core size: 12 Core Weight: 71 Total Weight: 14244 0.38/0.41 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.38/0.41 c core #74 0.38/0.41 c Core size: 16 Core Weight: 35 Total Weight: 14279 0.38/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.38/0.42 c core #75 0.38/0.42 c Core size: 12 Core Weight: 68 Total Weight: 14347 0.38/0.42 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.38/0.42 c core #76 0.38/0.42 c Core size: 12 Core Weight: 83 Total Weight: 14430 0.38/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #77 0.38/0.43 c Core size: 12 Core Weight: 110 Total Weight: 14540 0.38/0.43 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #78 0.38/0.44 c Core size: 12 Core Weight: 260 Total Weight: 14800 0.38/0.44 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.38/0.44 c core #79 0.38/0.44 c Core size: 19 Core Weight: 22 Total Weight: 14822 0.38/0.44 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.38/0.45 c core #80 0.38/0.45 c Core size: 16 Core Weight: 106 Total Weight: 14928 0.38/0.45 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.38/0.46 c core #81 0.38/0.46 c Core size: 13 Core Weight: 7 Total Weight: 14935 0.38/0.46 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.38/0.47 c core #82 0.38/0.47 c Core size: 12 Core Weight: 144 Total Weight: 15079 0.38/0.47 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.38/0.47 c core #83 0.38/0.47 c Core size: 12 Core Weight: 28 Total Weight: 15107 0.38/0.47 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.38/0.48 c core #84 0.38/0.48 c Core size: 12 Core Weight: 52 Total Weight: 15159 0.38/0.48 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.38/0.49 c core #85 0.38/0.49 c Core size: 12 Core Weight: 290 Total Weight: 15449 0.38/0.49 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.38/0.49 c core #86 0.38/0.49 c Core size: 12 Core Weight: 22 Total Weight: 15471 0.38/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.48/0.50 c core #87 0.48/0.50 c Core size: 12 Core Weight: 37 Total Weight: 15508 0.48/0.50 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.48/0.51 c core #88 0.48/0.51 c Core size: 16 Core Weight: 106 Total Weight: 15614 0.48/0.51 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.48/0.52 c core #89 0.48/0.52 c Core size: 12 Core Weight: 116 Total Weight: 15730 0.48/0.52 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.48/0.52 c core #90 0.48/0.52 c Core size: 12 Core Weight: 106 Total Weight: 15836 0.48/0.52 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.48/0.53 c ============================[ Search Statistics ]============================== 0.48/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.53 c =============================================================================== 0.48/0.53 c | 0 | 982 5431 14671 | 5000 0 nan | 0.000 % | 0.48/0.53 c =============================================================================== 0.48/0.53 c core #91 0.48/0.53 c Core size: 7 Core Weight: 151 Total Weight: 15987 0.48/0.53 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.48/0.54 c ============================[ Search Statistics ]============================== 0.48/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.54 c =============================================================================== 0.48/0.54 c | 0 | 987 5434 14679 | 5000 0 nan | 0.000 % | 0.48/0.54 c =============================================================================== 0.48/0.54 c core #92 0.48/0.54 c Core size: 12 Core Weight: 42 Total Weight: 16029 0.48/0.54 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.48/0.55 c ============================[ Search Statistics ]============================== 0.48/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.55 c =============================================================================== 0.48/0.55 c | 0 | 995 5442 14712 | 5000 0 nan | 0.000 % | 0.48/0.55 c =============================================================================== 0.48/0.55 c core #93 0.48/0.55 c Core size: 17 Core Weight: 7 Total Weight: 16036 0.48/0.55 c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s 0.48/0.56 c ============================[ Search Statistics ]============================== 0.48/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.56 c =============================================================================== 0.48/0.56 c | 0 | 1031 5452 14844 | 5000 0 nan | 0.000 % | 0.48/0.56 c =============================================================================== 0.48/0.56 c core #94 0.48/0.56 c Core size: 14 Core Weight: 80 Total Weight: 16116 0.48/0.56 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.48/0.57 c ============================[ Search Statistics ]============================== 0.48/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.57 c =============================================================================== 0.48/0.57 c | 0 | 1041 5460 14869 | 5000 0 nan | 0.000 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c core #95 0.48/0.57 c Core size: 32 Core Weight: 21 Total Weight: 16137 0.48/0.57 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.48/0.57 c ============================[ Search Statistics ]============================== 0.48/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.57 c =============================================================================== 0.48/0.57 c | 0 | 1065 5483 15058 | 5000 0 nan | 0.000 % | 0.48/0.58 c =============================================================================== 0.48/0.58 c core #96 0.48/0.58 c Core size: 33 Core Weight: 1 Total Weight: 16138 0.48/0.58 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.48/0.58 c ============================[ Search Statistics ]============================== 0.48/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.58 c =============================================================================== 0.48/0.58 c | 0 | 1089 5501 15123 | 5000 0 nan | 0.000 % | 0.48/0.58 c =============================================================================== 0.48/0.58 c core #97 0.48/0.58 c Core size: 10 Core Weight: 43 Total Weight: 16181 0.48/0.58 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.48/0.59 c ============================[ Search Statistics ]============================== 0.48/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.59 c =============================================================================== 0.48/0.59 c | 0 | 1096 5506 15139 | 5000 0 nan | 0.000 % | 0.48/0.59 c =============================================================================== 0.48/0.59 c core #98 0.48/0.59 c Core size: 10 Core Weight: 58 Total Weight: 16239 0.48/0.59 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.58/0.60 c ============================[ Search Statistics ]============================== 0.58/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.60 c =============================================================================== 0.58/0.60 c | 0 | 1103 5511 15155 | 5000 0 nan | 0.000 % | 0.58/0.60 c =============================================================================== 0.58/0.60 c core #99 0.58/0.60 c Core size: 11 Core Weight: 145 Total Weight: 16384 0.58/0.60 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.58/0.61 c ============================[ Search Statistics ]============================== 0.58/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.61 c =============================================================================== 0.58/0.61 c | 0 | 1113 5519 15221 | 5000 0 nan | 0.000 % | 0.58/0.61 c =============================================================================== 0.58/0.61 c core #100 0.58/0.61 c Core size: 21 Core Weight: 28 Total Weight: 16412 0.58/0.61 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.58/0.62 c ============================[ Search Statistics ]============================== 0.58/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.62 c =============================================================================== 0.58/0.62 c | 0 | 1127 5532 15258 | 5000 0 nan | 0.000 % | 0.58/0.62 c =============================================================================== 0.58/0.62 c core #101 0.58/0.62 c Core size: 24 Core Weight: 7 Total Weight: 16419 0.58/0.62 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.58/0.63 c ============================[ Search Statistics ]============================== 0.58/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.63 c =============================================================================== 0.58/0.63 c | 0 | 1144 5548 15430 | 5000 0 nan | 0.000 % | 0.58/0.63 c =============================================================================== 0.58/0.63 c core #102 0.58/0.63 c Core size: 26 Core Weight: 2 Total Weight: 16421 0.58/0.63 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.58/0.64 c ============================[ Search Statistics ]============================== 0.58/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.64 c =============================================================================== 0.58/0.64 c | 0 | 1162 5565 15612 | 5000 0 nan | 0.000 % | 0.58/0.64 c =============================================================================== 0.58/0.64 c core #103 0.58/0.64 c Core size: 12 Core Weight: 194 Total Weight: 16615 0.58/0.64 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.58/0.65 c ============================[ Search Statistics ]============================== 0.58/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.65 c =============================================================================== 0.58/0.65 c | 0 | 1170 5571 15623 | 5000 0 nan | 0.000 % | 0.58/0.65 c =============================================================================== 0.58/0.65 c core #104 0.58/0.65 c Core size: 20 Core Weight: 83 Total Weight: 16698 0.58/0.65 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.58/0.66 c ============================[ Search Statistics ]============================== 0.58/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.66 c =============================================================================== 0.58/0.66 c | 0 | 1184 5584 15666 | 5000 0 nan | 0.000 % | 0.58/0.66 c =============================================================================== 0.58/0.66 c core #105 0.58/0.66 c Core size: 7 Core Weight: 231 Total Weight: 16929 0.58/0.66 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.58/0.67 c ============================[ Search Statistics ]============================== 0.58/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.67 c =============================================================================== 0.58/0.67 c | 0 | 1189 5587 15674 | 5000 0 nan | 0.000 % | 0.58/0.67 c =============================================================================== 0.58/0.67 c core #106 0.58/0.67 c Core size: 16 Core Weight: 1 Total Weight: 16930 0.58/0.67 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.58/0.68 c ============================[ Search Statistics ]============================== 0.58/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.68 c =============================================================================== 0.58/0.68 c | 0 | 1201 5598 15709 | 5000 0 nan | 0.000 % | 0.58/0.68 c =============================================================================== 0.58/0.68 c core #107 0.58/0.68 c Core size: 35 Core Weight: 7 Total Weight: 16937 0.58/0.68 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.58/0.69 c ============================[ Search Statistics ]============================== 0.58/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.69 c =============================================================================== 0.58/0.69 c | 0 | 1224 5621 15783 | 5000 0 nan | 0.000 % | 0.58/0.69 c =============================================================================== 0.58/0.69 c core #108 0.58/0.69 c Core size: 29 Core Weight: 37 Total Weight: 16974 0.58/0.69 c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s 0.68/0.70 c ============================[ Search Statistics ]============================== 0.68/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.70 c =============================================================================== 0.68/0.70 c | 0 | 1244 5635 15822 | 5000 0 nan | 0.000 % | 0.68/0.70 c =============================================================================== 0.68/0.70 c core #109 0.68/0.70 c Core size: 23 Core Weight: 30 Total Weight: 17004 0.68/0.70 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.68/0.71 c ============================[ Search Statistics ]============================== 0.68/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.71 c =============================================================================== 0.68/0.71 c | 0 | 1259 5649 15866 | 5000 0 nan | 0.000 % | 0.68/0.71 c =============================================================================== 0.68/0.71 c core #110 0.68/0.71 c Core size: 21 Core Weight: 49 Total Weight: 17053 0.68/0.71 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.68/0.72 c ============================[ Search Statistics ]============================== 0.68/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.72 c =============================================================================== 0.68/0.72 c | 0 | 1273 5662 15906 | 5000 0 nan | 0.000 % | 0.68/0.73 c =============================================================================== 0.68/0.73 c core #111 0.68/0.73 c Core size: 18 Core Weight: 11 Total Weight: 17064 0.68/0.73 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.68/0.73 c ============================[ Search Statistics ]============================== 0.68/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.73 c =============================================================================== 0.68/0.73 c | 0 | 1285 5673 15938 | 5000 0 nan | 0.000 % | 0.68/0.74 c =============================================================================== 0.68/0.74 c core #112 0.68/0.74 c Core size: 25 Core Weight: 26 Total Weight: 17090 0.68/0.74 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.68/0.74 c ============================[ Search Statistics ]============================== 0.68/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.74 c =============================================================================== 0.68/0.74 c | 0 | 1300 5686 15981 | 5000 0 nan | 0.000 % | 0.68/0.75 c =============================================================================== 0.68/0.75 c core #113 0.68/0.75 c Core size: 23 Core Weight: 3 Total Weight: 17093 0.68/0.75 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.68/0.76 c ============================[ Search Statistics ]============================== 0.68/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.76 c =============================================================================== 0.68/0.76 c | 0 | 1316 5702 16040 | 5000 0 nan | 0.000 % | 0.68/0.76 c =============================================================================== 0.68/0.76 c core #114 0.68/0.76 c Core size: 16 Core Weight: 5 Total Weight: 17098 0.68/0.76 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.68/0.77 c ============================[ Search Statistics ]============================== 0.68/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.77 c =============================================================================== 0.68/0.77 c | 0 | 1326 5711 16073 | 5000 0 nan | 0.000 % | 0.68/0.77 c =============================================================================== 0.68/0.77 c core #115 0.68/0.77 c Core size: 33 Core Weight: 20 Total Weight: 17118 0.68/0.77 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.68/0.78 c ============================[ Search Statistics ]============================== 0.68/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.78 c =============================================================================== 0.68/0.78 c | 0 | 1348 5733 16143 | 5000 0 nan | 0.000 % | 0.68/0.78 c =============================================================================== 0.68/0.78 c core #116 0.68/0.78 c Core size: 18 Core Weight: 40 Total Weight: 17158 0.68/0.78 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.68/0.79 c ============================[ Search Statistics ]============================== 0.68/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.79 c =============================================================================== 0.68/0.79 c | 0 | 1361 5745 16326 | 5000 0 nan | 0.000 % | 0.68/0.79 c =============================================================================== 0.68/0.79 c core #117 0.68/0.79 c Core size: 12 Core Weight: 116 Total Weight: 17274 0.68/0.79 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.68/0.80 c ============================[ Search Statistics ]============================== 0.68/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.80 c =============================================================================== 0.77/0.80 c | 0 | 1370 5753 16358 | 5000 0 nan | 0.000 % | 0.77/0.80 c =============================================================================== 0.77/0.80 c core #118 0.77/0.80 c Core size: 48 Core Weight: 1 Total Weight: 17275 0.77/0.80 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.77/0.81 c ============================[ Search Statistics ]============================== 0.77/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.81 c =============================================================================== 0.77/0.81 c | 0 | 1401 5784 16491 | 5000 0 nan | 0.000 % | 0.77/0.81 c =============================================================================== 0.77/0.81 c core #119 0.77/0.81 c Core size: 61 Core Weight: 1 Total Weight: 17276 0.77/0.81 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.77/0.82 c ============================[ Search Statistics ]============================== 0.77/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.82 c =============================================================================== 0.77/0.82 c | 0 | 1439 5822 16634 | 5000 0 nan | 0.000 % | 0.77/0.82 c =============================================================================== 0.77/0.82 c core #120 0.77/0.82 c Core size: 60 Core Weight: 1 Total Weight: 17277 0.77/0.82 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.77/0.83 c ============================[ Search Statistics ]============================== 0.77/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.83 c =============================================================================== 0.77/0.83 c | 0 | 1476 5856 16770 | 5000 0 nan | 0.000 % | 0.77/0.84 c =============================================================================== 0.77/0.84 c core #121 0.77/0.84 c Core size: 53 Core Weight: 1 Total Weight: 17278 0.77/0.84 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.77/0.84 c ============================[ Search Statistics ]============================== 0.77/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.84 c =============================================================================== 0.77/0.84 c | 0 | 1509 5887 16896 | 5000 0 nan | 0.000 % | 0.77/0.85 c =============================================================================== 0.77/0.85 c core #122 0.77/0.85 c Core size: 55 Core Weight: 3 Total Weight: 17281 0.77/0.85 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.77/0.86 c ============================[ Search Statistics ]============================== 0.77/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.86 c =============================================================================== 0.77/0.86 c | 0 | 1544 5922 17042 | 5000 0 nan | 0.000 % | 0.77/0.86 c =============================================================================== 0.77/0.86 c core #123 0.77/0.86 c Core size: 52 Core Weight: 6 Total Weight: 17287 0.77/0.86 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.77/0.87 c ============================[ Search Statistics ]============================== 0.77/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.87 c =============================================================================== 0.77/0.87 c | 0 | 1575 5953 17158 | 5000 0 nan | 0.000 % | 0.77/0.87 c =============================================================================== 0.77/0.87 c core #124 0.77/0.87 c Core size: 52 Core Weight: 1 Total Weight: 17288 0.77/0.87 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.77/0.88 c ============================[ Search Statistics ]============================== 0.77/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.88 c =============================================================================== 0.77/0.88 c | 0 | 1608 5986 17289 | 5000 0 nan | 0.000 % | 0.77/0.89 c =============================================================================== 0.77/0.89 c core #125 0.77/0.89 c Core size: 54 Core Weight: 1 Total Weight: 17289 0.77/0.89 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.77/0.89 c ============================[ Search Statistics ]============================== 0.77/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.89 c =============================================================================== 0.77/0.89 c | 0 | 1642 6019 17420 | 5000 0 nan | 0.000 % | 0.87/0.90 c =============================================================================== 0.87/0.90 c core #126 0.87/0.90 c Core size: 58 Core Weight: 1 Total Weight: 17290 0.87/0.90 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.87/0.91 c ============================[ Search Statistics ]============================== 0.87/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.91 c =============================================================================== 0.87/0.91 c | 0 | 1679 6056 17560 | 5000 0 nan | 0.000 % | 0.87/0.91 c =============================================================================== 0.87/0.91 c core #127 0.87/0.91 c Core size: 50 Core Weight: 3 Total Weight: 17293 0.87/0.91 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.87/0.92 c ============================[ Search Statistics ]============================== 0.87/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.92 c =============================================================================== 0.87/0.92 c | 0 | 1708 6084 17663 | 5000 0 nan | 0.000 % | 0.87/0.92 c =============================================================================== 0.87/0.92 c core #128 0.87/0.92 c Core size: 50 Core Weight: 2 Total Weight: 17295 0.87/0.92 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.87/0.93 c ============================[ Search Statistics ]============================== 0.87/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.93 c =============================================================================== 0.87/0.93 c | 0 | 1739 6114 17794 | 5000 0 nan | 0.000 % | 0.87/0.94 c =============================================================================== 0.87/0.94 c core #129 0.87/0.94 c Core size: 79 Core Weight: 3 Total Weight: 17298 0.87/0.94 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.87/0.95 c ============================[ Search Statistics ]============================== 0.87/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.95 c =============================================================================== 0.87/0.95 c | 0 | 1786 6161 17984 | 5000 0 nan | 0.000 % | 0.87/0.95 c =============================================================================== 0.87/0.95 c core #130 0.87/0.95 c Core size: 62 Core Weight: 1 Total Weight: 17299 0.87/0.95 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.87/0.96 c ============================[ Search Statistics ]============================== 0.87/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.96 c =============================================================================== 0.87/0.96 c | 0 | 1822 6193 18112 | 5000 0 nan | 0.000 % | 0.87/0.96 c =============================================================================== 0.87/0.96 c core #131 0.87/0.96 c Core size: 50 Core Weight: 10 Total Weight: 17309 0.87/0.96 c Elapsed CPU time: 0.911861 s Remaining CPU time: 1799.09 s 0.87/0.97 c ============================[ Search Statistics ]============================== 0.87/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.97 c =============================================================================== 0.87/0.97 c | 0 | 1851 6222 18219 | 5000 0 nan | 0.000 % | 0.87/0.98 c =============================================================================== 0.87/0.98 c core #132 0.87/0.98 c Core size: 39 Core Weight: 13 Total Weight: 17322 0.87/0.98 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.87/0.99 c ============================[ Search Statistics ]============================== 0.87/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.99 c =============================================================================== 0.87/0.99 c | 0 | 1877 6247 18330 | 5000 0 nan | 0.000 % | 0.87/0.99 c =============================================================================== 0.87/0.99 c core #133 0.87/0.99 c Core size: 73 Core Weight: 1 Total Weight: 17323 0.87/0.99 c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s 0.97/1.00 c ============================[ Search Statistics ]============================== 0.97/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.00 c =============================================================================== 0.97/1.00 c | 0 | 1920 6289 18505 | 5000 0 nan | 0.000 % | 0.97/1.01 c =============================================================================== 0.97/1.01 c core #134 0.97/1.01 c Core size: 68 Core Weight: 1 Total Weight: 17324 0.97/1.01 c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s 0.97/1.02 c ============================[ Search Statistics ]============================== 0.97/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.02 c =============================================================================== 0.97/1.02 c | 0 | 1961 6328 18665 | 5000 0 nan | 0.000 % | 0.97/1.02 c =============================================================================== 0.97/1.02 c core #135 0.97/1.02 c Core size: 58 Core Weight: 1 Total Weight: 17325 0.97/1.02 c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s 0.97/1.03 c ============================[ Search Statistics ]============================== 0.97/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.03 c =============================================================================== 0.97/1.03 c | 0 | 1998 6363 18803 | 5000 0 nan | 0.000 % | 0.97/1.04 c =============================================================================== 0.97/1.04 c core #136 0.97/1.04 c Core size: 63 Core Weight: 1 Total Weight: 17326 0.97/1.04 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 0.97/1.05 c ============================[ Search Statistics ]============================== 0.97/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.05 c =============================================================================== 0.97/1.05 c | 0 | 2039 6404 18967 | 5000 0 nan | 0.000 % | 0.97/1.05 c =============================================================================== 0.97/1.05 c core #137 0.97/1.05 c Core size: 55 Core Weight: 1 Total Weight: 17327 0.97/1.05 c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s 0.97/1.06 c ============================[ Search Statistics ]============================== 0.97/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.06 c =============================================================================== 0.97/1.06 c | 0 | 2074 6439 19103 | 5000 0 nan | 0.000 % | 0.97/1.07 c =============================================================================== 0.97/1.07 c core #138 0.97/1.07 c Core size: 60 Core Weight: 2 Total Weight: 17329 0.97/1.07 c Elapsed CPU time: 0.994848 s Remaining CPU time: 1799.01 s 0.97/1.08 c ============================[ Search Statistics ]============================== 0.97/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.08 c =============================================================================== 0.97/1.08 c | 0 | 2110 6474 19390 | 5000 0 nan | 0.000 % | 0.97/1.08 c =============================================================================== 0.97/1.08 c core #139 0.97/1.08 c Core size: 60 Core Weight: 1 Total Weight: 17330 0.97/1.08 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 0.97/1.09 c ============================[ Search Statistics ]============================== 0.97/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.97/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.97/1.09 c =============================================================================== 0.97/1.09 c | 0 | 2145 6505 19519 | 5000 0 nan | 0.000 % | 0.97/1.09 c =============================================================================== 0.97/1.09 c core #140 0.97/1.09 c Core size: 74 Core Weight: 1 Total Weight: 17331 0.97/1.09 c Elapsed CPU time: 1.01885 s Remaining CPU time: 1798.98 s 1.06/1.10 c ============================[ Search Statistics ]============================== 1.06/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.10 c =============================================================================== 1.06/1.10 c | 0 | 2192 6545 19695 | 5000 0 nan | 0.000 % | 1.06/1.11 c =============================================================================== 1.06/1.11 c core #141 1.06/1.11 c Core size: 78 Core Weight: 1 Total Weight: 17332 1.06/1.11 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 1.06/1.12 c ============================[ Search Statistics ]============================== 1.06/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.12 c =============================================================================== 1.06/1.12 c | 0 | 2240 6585 19880 | 5000 0 nan | 0.000 % | 1.06/1.12 c =============================================================================== 1.06/1.12 c core #142 1.06/1.12 c Core size: 46 Core Weight: 4 Total Weight: 17336 1.06/1.12 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 1.06/1.13 c ============================[ Search Statistics ]============================== 1.06/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.13 c =============================================================================== 1.06/1.13 c | 0 | 2269 6613 19991 | 5000 0 nan | 0.000 % | 1.06/1.14 c =============================================================================== 1.06/1.14 c core #143 1.06/1.14 c Core size: 103 Core Weight: 1 Total Weight: 17337 1.06/1.14 c Elapsed CPU time: 1.05884 s Remaining CPU time: 1798.94 s 1.06/1.15 c ============================[ Search Statistics ]============================== 1.06/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.15 c =============================================================================== 1.06/1.15 c | 0 | 2335 6671 20249 | 5000 0 nan | 0.000 % | 1.06/1.16 c =============================================================================== 1.06/1.16 c core #144 1.06/1.16 c Core size: 72 Core Weight: 1 Total Weight: 17338 1.06/1.16 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 1.06/1.17 c ============================[ Search Statistics ]============================== 1.06/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.17 c =============================================================================== 1.06/1.17 c | 0 | 2379 6710 20416 | 5000 0 nan | 0.000 % | 1.06/1.17 c =============================================================================== 1.06/1.17 c core #145 1.06/1.17 c Core size: 81 Core Weight: 1 Total Weight: 17339 1.06/1.17 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.06/1.18 c ============================[ Search Statistics ]============================== 1.06/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.18 c =============================================================================== 1.06/1.18 c | 0 | 2429 6754 20606 | 5000 0 nan | 0.000 % | 1.06/1.19 c =============================================================================== 1.06/1.19 c core #146 1.06/1.19 c Core size: 92 Core Weight: 1 Total Weight: 17340 1.06/1.19 c Elapsed CPU time: 1.10483 s Remaining CPU time: 1798.9 s 1.15/1.20 c ============================[ Search Statistics ]============================== 1.15/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.20 c =============================================================================== 1.15/1.20 c | 0 | 2486 6806 20835 | 5000 0 nan | 0.000 % | 1.15/1.21 c =============================================================================== 1.15/1.21 c core #147 1.15/1.21 c Core size: 61 Core Weight: 1 Total Weight: 17341 1.15/1.21 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.15/1.22 c ============================[ Search Statistics ]============================== 1.15/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.22 c =============================================================================== 1.15/1.22 c | 0 | 2525 6842 20988 | 5000 0 nan | 0.000 % | 1.15/1.23 c =============================================================================== 1.15/1.23 c core #148 1.15/1.23 c Core size: 93 Core Weight: 1 Total Weight: 17342 1.15/1.23 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.15/1.24 c ============================[ Search Statistics ]============================== 1.15/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.24 c =============================================================================== 1.15/1.24 c | 0 | 2583 6898 21227 | 5000 0 nan | 0.000 % | 1.15/1.24 c =============================================================================== 1.15/1.24 c core #149 1.15/1.24 c Core size: 112 Core Weight: 1 Total Weight: 17343 1.15/1.24 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.15/1.26 c ============================[ Search Statistics ]============================== 1.15/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.26 c =============================================================================== 1.15/1.26 c | 0 | 2652 6960 21506 | 5000 0 nan | 0.000 % | 1.15/1.26 c =============================================================================== 1.15/1.26 c core #150 1.15/1.26 c Core size: 81 Core Weight: 1 Total Weight: 17344 1.15/1.26 c Elapsed CPU time: 1.16582 s Remaining CPU time: 1798.83 s 1.15/1.27 c ============================[ Search Statistics ]============================== 1.15/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.27 c =============================================================================== 1.15/1.27 c | 0 | 2704 7010 21714 | 5000 0 nan | 0.000 % | 1.15/1.28 c =============================================================================== 1.15/1.28 c core #151 1.15/1.28 c Core size: 82 Core Weight: 1 Total Weight: 17345 1.15/1.28 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.15/1.29 c ============================[ Search Statistics ]============================== 1.15/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.29 c =============================================================================== 1.15/1.29 c | 0 | 2756 7054 21913 | 5000 0 nan | 0.000 % | 1.25/1.30 c =============================================================================== 1.25/1.30 c core #152 1.25/1.30 c Core size: 85 Core Weight: 1 Total Weight: 17346 1.25/1.30 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.25/1.31 c ============================[ Search Statistics ]============================== 1.25/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.25/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.25/1.31 c =============================================================================== 1.25/1.31 c | 0 | 2811 7108 22139 | 5000 0 nan | 0.000 % | 1.25/1.32 c =============================================================================== 1.25/1.32 c core #153 1.25/1.32 c Core size: 86 Core Weight: 1 Total Weight: 17347 1.25/1.32 c Elapsed CPU time: 1.21582 s Remaining CPU time: 1798.78 s 1.25/1.33 c ============================[ Search Statistics ]============================== 1.25/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.25/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.25/1.33 c =============================================================================== 1.25/1.33 c | 0 | 2863 7157 22356 | 5000 0 nan | 0.000 % | 1.25/1.33 c =============================================================================== 1.25/1.33 c core #154 1.25/1.33 c Core size: 73 Core Weight: 1 Total Weight: 17348 1.25/1.33 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.25/1.35 c ============================[ Search Statistics ]============================== 1.25/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.25/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.25/1.35 c =============================================================================== 1.25/1.35 c | 0 | 2908 7196 22527 | 5000 0 nan | 0.000 % | 1.25/1.35 c =============================================================================== 1.25/1.35 c core #155 1.25/1.35 c Core size: 69 Core Weight: 1 Total Weight: 17349 1.25/1.35 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.25/1.36 c ============================[ Search Statistics ]============================== 1.25/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.25/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.25/1.36 c =============================================================================== 1.25/1.36 c | 0 | 2952 7236 22701 | 5000 0 nan | 0.000 % | 1.25/1.37 c =============================================================================== 1.25/1.37 c core #156 1.25/1.37 c Core size: 77 Core Weight: 1 Total Weight: 17350 1.25/1.37 c Elapsed CPU time: 1.26081 s Remaining CPU time: 1798.74 s 1.25/1.38 c ============================[ Search Statistics ]============================== 1.25/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.25/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.25/1.38 c =============================================================================== 1.25/1.38 c | 0 | 3000 7276 22881 | 5000 0 nan | 0.000 % | 1.25/1.39 c =============================================================================== 1.25/1.39 c core #157 1.25/1.39 c Core size: 75 Core Weight: 2 Total Weight: 17352 1.25/1.39 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.35/1.40 c ============================[ Search Statistics ]============================== 1.35/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.35/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.35/1.40 c =============================================================================== 1.35/1.40 c | 0 | 3047 7320 23072 | 5000 0 nan | 0.000 % | 1.35/1.41 c =============================================================================== 1.35/1.41 c core #158 1.35/1.41 c Core size: 70 Core Weight: 1 Total Weight: 17353 1.35/1.41 c Elapsed CPU time: 1.2968 s Remaining CPU time: 1798.7 s 1.35/1.42 c ============================[ Search Statistics ]============================== 1.35/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.35/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.35/1.42 c =============================================================================== 1.35/1.42 c | 0 | 3092 7364 23260 | 5000 0 nan | 0.000 % | 1.35/1.43 c =============================================================================== 1.35/1.43 c core #159 1.35/1.43 c Core size: 74 Core Weight: 2 Total Weight: 17355 1.35/1.43 c Elapsed CPU time: 1.3158 s Remaining CPU time: 1798.68 s 1.35/1.44 c ============================[ Search Statistics ]============================== 1.35/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.35/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.35/1.44 c =============================================================================== 1.35/1.44 c | 0 | 3137 7409 23451 | 5000 0 nan | 0.000 % | 1.35/1.46 c | 101 | 3137 7409 23451 | 5500 101 10 | 4.911 % | 1.35/1.46 c =============================================================================== 1.35/1.46 c core #160 1.35/1.46 c Core size: 122 Core Weight: 1 Total Weight: 17356 1.35/1.46 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.35/1.47 c ============================[ Search Statistics ]============================== 1.35/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.35/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.35/1.47 c =============================================================================== 1.35/1.47 c | 0 | 3211 7472 23750 | 5000 0 nan | 0.000 % | 1.35/1.48 c =============================================================================== 1.35/1.48 c core #161 1.35/1.48 c Core size: 72 Core Weight: 1 Total Weight: 17357 1.35/1.48 c Elapsed CPU time: 1.35779 s Remaining CPU time: 1798.64 s 1.35/1.49 c ============================[ Search Statistics ]============================== 1.35/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.35/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.35/1.49 c =============================================================================== 1.35/1.49 c | 0 | 3258 7516 23949 | 5000 0 nan | 0.000 % | 1.45/1.50 c =============================================================================== 1.45/1.50 c core #162 1.45/1.50 c Core size: 84 Core Weight: 1 Total Weight: 17358 1.45/1.50 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.45/1.51 c ============================[ Search Statistics ]============================== 1.45/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.45/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.45/1.51 c =============================================================================== 1.45/1.51 c | 0 | 3309 7565 24158 | 5000 0 nan | 0.000 % | 1.45/1.52 c =============================================================================== 1.45/1.52 c core #163 1.45/1.52 c Core size: 65 Core Weight: 1 Total Weight: 17359 1.45/1.52 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.45/1.53 c ============================[ Search Statistics ]============================== 1.45/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.45/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.45/1.53 c =============================================================================== 1.45/1.53 c | 0 | 3352 7608 24345 | 5000 0 nan | 0.000 % | 1.45/1.54 c =============================================================================== 1.45/1.54 c core #164 1.45/1.54 c Core size: 82 Core Weight: 1 Total Weight: 17360 1.45/1.54 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.45/1.55 c ============================[ Search Statistics ]============================== 1.45/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.45/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.45/1.55 c =============================================================================== 1.45/1.55 c | 0 | 3402 7649 24540 | 5000 0 nan | 0.000 % | 1.45/1.56 c =============================================================================== 1.45/1.56 c core #165 1.45/1.56 c Core size: 54 Core Weight: 10 Total Weight: 17370 1.45/1.56 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.45/1.57 c ============================[ Search Statistics ]============================== 1.45/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.45/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.45/1.57 c =============================================================================== 1.45/1.57 c | 0 | 3437 7684 24688 | 5000 0 nan | 0.000 % | 1.45/1.58 c =============================================================================== 1.45/1.58 c core #166 1.45/1.58 c Core size: 74 Core Weight: 1 Total Weight: 17371 1.45/1.58 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.45/1.59 c ============================[ Search Statistics ]============================== 1.45/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.45/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.45/1.59 c =============================================================================== 1.45/1.59 c | 0 | 3482 7728 24874 | 5000 0 nan | 0.000 % | 1.55/1.60 c =============================================================================== 1.55/1.60 c core #167 1.55/1.60 c Core size: 82 Core Weight: 1 Total Weight: 17372 1.55/1.60 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.55/1.62 c ============================[ Search Statistics ]============================== 1.55/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.55/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.55/1.62 c =============================================================================== 1.55/1.62 c | 0 | 3533 7775 25084 | 5000 0 nan | 0.000 % | 1.55/1.63 c =============================================================================== 1.55/1.63 c core #168 1.55/1.63 c Core size: 82 Core Weight: 1 Total Weight: 17373 1.55/1.63 c Elapsed CPU time: 1.48677 s Remaining CPU time: 1798.51 s 1.55/1.64 c ============================[ Search Statistics ]============================== 1.55/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.55/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.55/1.64 c =============================================================================== 1.55/1.64 c | 0 | 3585 7824 25301 | 5000 0 nan | 0.000 % | 1.55/1.65 c =============================================================================== 1.55/1.65 c core #169 1.55/1.65 c Core size: 88 Core Weight: 1 Total Weight: 17374 1.55/1.65 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.55/1.66 c ============================[ Search Statistics ]============================== 1.55/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.55/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.55/1.66 c =============================================================================== 1.55/1.66 c | 0 | 3640 7877 25532 | 5000 0 nan | 0.000 % | 1.55/1.67 c =============================================================================== 1.55/1.67 c core #170 1.55/1.67 c Core size: 82 Core Weight: 1 Total Weight: 17375 1.55/1.67 c Elapsed CPU time: 1.52677 s Remaining CPU time: 1798.47 s 1.55/1.68 c ============================[ Search Statistics ]============================== 1.55/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.55/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.55/1.68 c =============================================================================== 1.55/1.68 c | 0 | 3691 7925 25740 | 5000 0 nan | 0.000 % | 1.55/1.69 c =============================================================================== 1.55/1.69 c core #171 1.55/1.69 c Core size: 93 Core Weight: 64 Total Weight: 17439 1.55/1.69 c Elapsed CPU time: 1.54576 s Remaining CPU time: 1798.45 s 1.64/1.71 c Learning 25 hard constraints 1.64/1.71 c ============================[ Search Statistics ]============================== 1.64/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.64/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.64/1.71 c =============================================================================== 1.64/1.71 c | 0 | 3702 7962 26164 | 5000 0 nan | 0.000 % | 1.64/1.71 c =============================================================================== 1.64/1.71 c core #172 1.64/1.71 c Core size: 41 Core Weight: 37 Total Weight: 17476 1.64/1.71 c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s 1.64/1.72 c Learning 1 hard constraints 1.64/1.72 c core #173 1.64/1.72 c Core size: 31 Core Weight: 71 Total Weight: 17547 1.64/1.72 c Elapsed CPU time: 1.57276 s Remaining CPU time: 1798.43 s 1.64/1.73 c core #174 1.64/1.73 c Core size: 31 Core Weight: 35 Total Weight: 17582 1.64/1.73 c Elapsed CPU time: 1.58576 s Remaining CPU time: 1798.41 s 1.64/1.75 c ============================[ Search Statistics ]============================== 1.64/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.64/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.64/1.75 c =============================================================================== 1.64/1.75 c | 0 | 3698 7999 26237 | 5000 0 nan | 0.000 % | 1.64/1.75 c =============================================================================== 1.64/1.75 c core #175 1.64/1.75 c Core size: 80 Core Weight: 1 Total Weight: 17583 1.64/1.75 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.64/1.76 c ============================[ Search Statistics ]============================== 1.64/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.64/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.64/1.76 c =============================================================================== 1.64/1.76 c | 0 | 3746 8044 26432 | 5000 0 nan | 0.000 % | 1.64/1.77 c =============================================================================== 1.64/1.77 c core #176 1.64/1.77 c Core size: 73 Core Weight: 1 Total Weight: 17584 1.64/1.77 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.64/1.78 c ============================[ Search Statistics ]============================== 1.64/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.64/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.64/1.78 c =============================================================================== 1.64/1.78 c | 0 | 3795 8093 26644 | 5000 0 nan | 0.000 % | 1.64/1.79 c =============================================================================== 1.64/1.79 c core #177 1.64/1.79 c Core size: 63 Core Weight: 2 Total Weight: 17586 1.64/1.79 c Elapsed CPU time: 1.64175 s Remaining CPU time: 1798.36 s 1.74/1.81 c ============================[ Search Statistics ]============================== 1.74/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.74/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.74/1.81 c =============================================================================== 1.74/1.81 c | 0 | 3835 8131 26812 | 5000 0 nan | 0.000 % | 1.74/1.82 c =============================================================================== 1.74/1.82 c core #178 1.74/1.82 c Core size: 87 Core Weight: 1 Total Weight: 17587 1.74/1.82 c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s 1.74/1.83 c ============================[ Search Statistics ]============================== 1.74/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.74/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.74/1.83 c =============================================================================== 1.74/1.83 c | 0 | 3889 8176 27021 | 5000 0 nan | 0.000 % | 1.74/1.85 c | 101 | 3889 8176 27021 | 5500 101 12 | 5.169 % | 1.74/1.85 c =============================================================================== 1.74/1.85 c core #179 1.74/1.85 c Core size: 103 Core Weight: 1 Total Weight: 17588 1.74/1.85 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.74/1.86 c ============================[ Search Statistics ]============================== 1.74/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.74/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.74/1.86 c =============================================================================== 1.74/1.86 c | 0 | 3954 8222 27261 | 5000 0 nan | 0.000 % | 1.74/1.87 c =============================================================================== 1.74/1.87 c core #180 1.74/1.87 c Core size: 84 Core Weight: 1 Total Weight: 17589 1.74/1.87 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.74/1.89 c ============================[ Search Statistics ]============================== 1.74/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.74/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.74/1.89 c =============================================================================== 1.74/1.89 c | 0 | 4007 8271 27484 | 5000 0 nan | 0.000 % | 1.84/1.90 c =============================================================================== 1.84/1.90 c core #181 1.84/1.90 c Core size: 92 Core Weight: 1 Total Weight: 17590 1.84/1.90 c Elapsed CPU time: 1.73673 s Remaining CPU time: 1798.26 s 1.84/1.91 c ============================[ Search Statistics ]============================== 1.84/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.84/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.84/1.91 c =============================================================================== 1.84/1.91 c | 0 | 4064 8326 27741 | 5000 0 nan | 0.000 % | 1.84/1.93 c =============================================================================== 1.84/1.93 c core #182 1.84/1.93 c Core size: 75 Core Weight: 1 Total Weight: 17591 1.84/1.93 c Elapsed CPU time: 1.76073 s Remaining CPU time: 1798.24 s 1.84/1.94 c ============================[ Search Statistics ]============================== 1.84/1.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.84/1.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.84/1.94 c =============================================================================== 1.84/1.94 c | 0 | 4111 8368 27945 | 5000 0 nan | 0.000 % | 1.84/1.95 c =============================================================================== 1.84/1.95 c core #183 1.84/1.95 c Core size: 52 Core Weight: 17 Total Weight: 17608 1.84/1.95 c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s 1.84/1.97 c Learning 10 hard constraints 1.84/1.97 c core #184 1.84/1.97 c Core size: 30 Core Weight: 4 Total Weight: 17612 1.84/1.97 c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s 1.84/1.98 c core #185 1.84/1.98 c Core size: 29 Core Weight: 27 Total Weight: 17639 1.84/1.98 c Elapsed CPU time: 1.80972 s Remaining CPU time: 1798.19 s 1.84/1.99 c ============================[ Search Statistics ]============================== 1.84/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.84/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.84/1.99 c =============================================================================== 1.84/1.99 c | 0 | 4206 8411 28312 | 5000 0 nan | 0.000 % | 1.84/2.00 c =============================================================================== 1.84/2.00 c core #186 1.84/2.00 c Core size: 36 Core Weight: 30 Total Weight: 17669 1.84/2.00 c Elapsed CPU time: 1.82372 s Remaining CPU time: 1798.18 s 1.94/2.01 c Learning 1 hard constraints 1.94/2.01 c ============================[ Search Statistics ]============================== 1.94/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.01 c =============================================================================== 1.94/2.01 c | 0 | 4237 8425 28762 | 5000 0 nan | 0.000 % | 1.94/2.01 c =============================================================================== 1.94/2.01 c core #187 1.94/2.01 c Core size: 23 Core Weight: 19 Total Weight: 17688 1.94/2.01 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.94/2.02 c ============================[ Search Statistics ]============================== 1.94/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.02 c =============================================================================== 1.94/2.02 c | 0 | 4253 8440 28941 | 5000 0 nan | 0.000 % | 1.94/2.03 c =============================================================================== 1.94/2.03 c core #188 1.94/2.03 c Core size: 39 Core Weight: 37 Total Weight: 17725 1.94/2.03 c Elapsed CPU time: 1.85272 s Remaining CPU time: 1798.15 s 1.94/2.04 c ============================[ Search Statistics ]============================== 1.94/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.04 c =============================================================================== 1.94/2.04 c | 0 | 4277 8461 29010 | 5000 0 nan | 0.000 % | 1.94/2.04 c =============================================================================== 1.94/2.04 c core #189 1.94/2.04 c Core size: 33 Core Weight: 30 Total Weight: 17755 1.94/2.04 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.94/2.05 c ============================[ Search Statistics ]============================== 1.94/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.05 c =============================================================================== 1.94/2.05 c | 0 | 4298 8481 29206 | 5000 0 nan | 0.000 % | 1.94/2.05 c =============================================================================== 1.94/2.05 c core #190 1.94/2.05 c Core size: 39 Core Weight: 1 Total Weight: 17756 1.94/2.05 c Elapsed CPU time: 1.88171 s Remaining CPU time: 1798.12 s 1.94/2.07 c ============================[ Search Statistics ]============================== 1.94/2.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.07 c =============================================================================== 1.94/2.07 c | 0 | 4323 8505 29421 | 5000 0 nan | 0.000 % | 1.94/2.07 c =============================================================================== 1.94/2.07 c core #191 1.94/2.07 c Core size: 47 Core Weight: 26 Total Weight: 17782 1.94/2.07 c Elapsed CPU time: 1.89671 s Remaining CPU time: 1798.1 s 1.94/2.08 c ============================[ Search Statistics ]============================== 1.94/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.94/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.94/2.08 c =============================================================================== 1.94/2.08 c | 0 | 4350 8531 29512 | 5000 0 nan | 0.000 % | 1.94/2.09 c =============================================================================== 1.94/2.09 c core #192 1.94/2.09 c Core size: 45 Core Weight: 1 Total Weight: 17783 1.94/2.09 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 2.04/2.10 c ============================[ Search Statistics ]============================== 2.04/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.10 c =============================================================================== 2.04/2.10 c | 0 | 4377 8557 29721 | 5000 0 nan | 0.000 % | 2.04/2.11 c =============================================================================== 2.04/2.11 c core #193 2.04/2.11 c Core size: 57 Core Weight: 4 Total Weight: 17787 2.04/2.11 c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s 2.04/2.12 c ============================[ Search Statistics ]============================== 2.04/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.12 c =============================================================================== 2.04/2.12 c | 0 | 4410 8589 29841 | 5000 0 nan | 0.000 % | 2.04/2.12 c =============================================================================== 2.04/2.12 c core #194 2.04/2.12 c Core size: 56 Core Weight: 9 Total Weight: 17796 2.04/2.12 c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s 2.04/2.14 c ============================[ Search Statistics ]============================== 2.04/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.14 c =============================================================================== 2.04/2.14 c | 0 | 4443 8622 29963 | 5000 0 nan | 0.000 % | 2.04/2.14 c =============================================================================== 2.04/2.14 c core #195 2.04/2.14 c Core size: 59 Core Weight: 1 Total Weight: 17797 2.04/2.14 c Elapsed CPU time: 1.9567 s Remaining CPU time: 1798.04 s 2.04/2.15 c ============================[ Search Statistics ]============================== 2.04/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.15 c =============================================================================== 2.04/2.15 c | 0 | 4479 8657 30250 | 5000 0 nan | 0.000 % | 2.04/2.15 c =============================================================================== 2.04/2.15 c core #196 2.04/2.15 c Core size: 83 Core Weight: 6 Total Weight: 17803 2.04/2.15 c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s 2.04/2.17 c ============================[ Search Statistics ]============================== 2.04/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.17 c =============================================================================== 2.04/2.17 c | 0 | 4530 8708 30454 | 5000 0 nan | 0.000 % | 2.04/2.17 c =============================================================================== 2.04/2.17 c core #197 2.04/2.17 c Core size: 92 Core Weight: 1 Total Weight: 17804 2.04/2.17 c Elapsed CPU time: 1.9897 s Remaining CPU time: 1798.01 s 2.04/2.18 c ============================[ Search Statistics ]============================== 2.04/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.18 c =============================================================================== 2.04/2.18 c | 0 | 4584 8760 30666 | 5000 0 nan | 0.000 % | 2.04/2.19 c =============================================================================== 2.04/2.19 c core #198 2.04/2.19 c Core size: 88 Core Weight: 8 Total Weight: 17812 2.04/2.19 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 2.04/2.20 c ============================[ Search Statistics ]============================== 2.13/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.20 c =============================================================================== 2.13/2.20 c | 0 | 4636 8812 30874 | 5000 0 nan | 0.000 % | 2.13/2.20 c =============================================================================== 2.13/2.20 c core #199 2.13/2.20 c Core size: 87 Core Weight: 5 Total Weight: 17817 2.13/2.20 c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s 2.13/2.22 c ============================[ Search Statistics ]============================== 2.13/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.22 c =============================================================================== 2.13/2.22 c | 0 | 4688 8864 31081 | 5000 0 nan | 0.000 % | 2.13/2.22 c =============================================================================== 2.13/2.22 c core #200 2.13/2.22 c Core size: 89 Core Weight: 7 Total Weight: 17824 2.13/2.22 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 2.13/2.24 c ============================[ Search Statistics ]============================== 2.13/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.24 c =============================================================================== 2.13/2.24 c | 0 | 4741 8917 31293 | 5000 0 nan | 0.000 % | 2.13/2.24 c =============================================================================== 2.13/2.24 c core #201 2.13/2.24 c Core size: 88 Core Weight: 5 Total Weight: 17829 2.13/2.24 c Elapsed CPU time: 2.05169 s Remaining CPU time: 1797.95 s 2.13/2.25 c ============================[ Search Statistics ]============================== 2.13/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.25 c =============================================================================== 2.13/2.25 c | 0 | 4794 8969 31505 | 5000 0 nan | 0.000 % | 2.13/2.26 c =============================================================================== 2.13/2.26 c core #202 2.13/2.26 c Core size: 84 Core Weight: 1 Total Weight: 17830 2.13/2.26 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 2.13/2.27 c ============================[ Search Statistics ]============================== 2.13/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.27 c =============================================================================== 2.13/2.27 c | 0 | 4844 9017 31701 | 5000 0 nan | 0.000 % | 2.13/2.27 c =============================================================================== 2.13/2.27 c core #203 2.13/2.27 c Core size: 85 Core Weight: 1 Total Weight: 17831 2.13/2.27 c Elapsed CPU time: 2.08068 s Remaining CPU time: 1797.92 s 2.13/2.29 c ============================[ Search Statistics ]============================== 2.13/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.29 c =============================================================================== 2.13/2.29 c | 0 | 4897 9068 31913 | 5000 0 nan | 0.000 % | 2.13/2.29 c =============================================================================== 2.13/2.29 c core #204 2.13/2.29 c Core size: 92 Core Weight: 1 Total Weight: 17832 2.13/2.29 c Elapsed CPU time: 2.09668 s Remaining CPU time: 1797.9 s 2.23/2.31 c ============================[ Search Statistics ]============================== 2.23/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.31 c =============================================================================== 2.23/2.31 c | 0 | 4954 9121 32135 | 5000 0 nan | 0.000 % | 2.23/2.31 c =============================================================================== 2.23/2.31 c core #205 2.23/2.31 c Core size: 51 Core Weight: 8 Total Weight: 17840 2.23/2.31 c Elapsed CPU time: 2.11368 s Remaining CPU time: 1797.89 s 2.23/2.32 c Learning 3 hard constraints 2.23/2.32 c ============================[ Search Statistics ]============================== 2.23/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.32 c =============================================================================== 2.23/2.32 c | 0 | 4982 9152 32278 | 5000 0 nan | 0.000 % | 2.23/2.33 c =============================================================================== 2.23/2.33 c core #206 2.23/2.33 c Core size: 49 Core Weight: 1 Total Weight: 17841 2.23/2.33 c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s 2.23/2.34 c Learning 1 hard constraints 2.23/2.34 c ============================[ Search Statistics ]============================== 2.23/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.34 c =============================================================================== 2.23/2.34 c | 0 | 5011 9181 32396 | 5000 0 nan | 0.000 % | 2.23/2.34 c =============================================================================== 2.23/2.34 c core #207 2.23/2.34 c Core size: 49 Core Weight: 18 Total Weight: 17859 2.23/2.34 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.23/2.36 c ============================[ Search Statistics ]============================== 2.23/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.36 c =============================================================================== 2.23/2.36 c | 0 | 5040 9210 32505 | 5000 0 nan | 0.000 % | 2.23/2.36 c =============================================================================== 2.23/2.36 c core #208 2.23/2.36 c Core size: 59 Core Weight: 3 Total Weight: 17862 2.23/2.36 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.23/2.38 c ============================[ Search Statistics ]============================== 2.23/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.38 c =============================================================================== 2.23/2.38 c | 0 | 5070 9240 32618 | 5000 0 nan | 0.000 % | 2.23/2.38 c =============================================================================== 2.23/2.38 c core #209 2.23/2.38 c Core size: 56 Core Weight: 4 Total Weight: 17866 2.23/2.38 c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s 2.23/2.40 c ============================[ Search Statistics ]============================== 2.23/2.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.40 c =============================================================================== 2.23/2.40 c | 0 | 5098 9265 32717 | 5000 0 nan | 0.000 % | 2.32/2.40 c =============================================================================== 2.32/2.40 c core #210 2.32/2.40 c Core size: 56 Core Weight: 3 Total Weight: 17869 2.32/2.40 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.32/2.41 c ============================[ Search Statistics ]============================== 2.32/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.32/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.32/2.41 c =============================================================================== 2.32/2.41 c | 0 | 5131 9297 33014 | 5000 0 nan | 0.000 % | 2.32/2.42 c =============================================================================== 2.32/2.42 c core #211 2.32/2.42 c Core size: 58 Core Weight: 2 Total Weight: 17871 2.32/2.42 c Elapsed CPU time: 2.21666 s Remaining CPU time: 1797.78 s 2.32/2.43 c Learning 1 hard constraints 2.32/2.43 c ============================[ Search Statistics ]============================== 2.32/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.32/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.32/2.43 c =============================================================================== 2.32/2.43 c | 0 | 5164 9330 33154 | 5000 0 nan | 0.000 % | 2.32/2.44 c =============================================================================== 2.32/2.44 c core #212 2.32/2.44 c Core size: 58 Core Weight: 4 Total Weight: 17875 2.32/2.44 c Elapsed CPU time: 2.23266 s Remaining CPU time: 1797.77 s 2.32/2.45 c ============================[ Search Statistics ]============================== 2.32/2.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.32/2.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.32/2.45 c =============================================================================== 2.32/2.45 c | 0 | 5197 9361 33279 | 5000 0 nan | 0.000 % | 2.32/2.46 c =============================================================================== 2.32/2.46 c core #213 2.32/2.46 c Core size: 105 Core Weight: 1 Total Weight: 17876 2.32/2.46 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.32/2.47 c Learning 1 hard constraints 2.32/2.47 c ============================[ Search Statistics ]============================== 2.32/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.32/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.32/2.47 c =============================================================================== 2.32/2.47 c | 0 | 5257 9418 33543 | 5000 0 nan | 0.000 % | 2.32/2.48 c =============================================================================== 2.32/2.48 c core #214 2.32/2.48 c Core size: 73 Core Weight: 1 Total Weight: 17877 2.32/2.48 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.32/2.49 c ============================[ Search Statistics ]============================== 2.32/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.32/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.32/2.49 c =============================================================================== 2.32/2.49 c | 0 | 5296 9455 33696 | 5000 0 nan | 0.000 % | 2.32/2.50 c =============================================================================== 2.32/2.50 c core #215 2.32/2.50 c Core size: 71 Core Weight: 1 Total Weight: 17878 2.32/2.50 c Elapsed CPU time: 2.28765 s Remaining CPU time: 1797.71 s 2.42/2.51 c ============================[ Search Statistics ]============================== 2.42/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.51 c =============================================================================== 2.42/2.51 c | 0 | 5334 9492 33846 | 5000 0 nan | 0.000 % | 2.42/2.52 c =============================================================================== 2.42/2.52 c core #216 2.42/2.52 c Core size: 68 Core Weight: 1 Total Weight: 17879 2.42/2.52 c Elapsed CPU time: 2.30765 s Remaining CPU time: 1797.69 s 2.42/2.53 c ============================[ Search Statistics ]============================== 2.42/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.53 c =============================================================================== 2.42/2.53 c | 0 | 5373 9530 34010 | 5000 0 nan | 0.000 % | 2.42/2.54 c =============================================================================== 2.42/2.54 c core #217 2.42/2.54 c Core size: 68 Core Weight: 1 Total Weight: 17880 2.42/2.54 c Elapsed CPU time: 2.32465 s Remaining CPU time: 1797.68 s 2.42/2.55 c ============================[ Search Statistics ]============================== 2.42/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.55 c =============================================================================== 2.42/2.55 c | 0 | 5414 9570 34175 | 5000 0 nan | 0.000 % | 2.42/2.56 c =============================================================================== 2.42/2.56 c core #218 2.42/2.56 c Core size: 67 Core Weight: 1 Total Weight: 17881 2.42/2.56 c Elapsed CPU time: 2.34264 s Remaining CPU time: 1797.66 s 2.42/2.57 c ============================[ Search Statistics ]============================== 2.42/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.57 c =============================================================================== 2.42/2.57 c | 0 | 5449 9605 34312 | 5000 0 nan | 0.000 % | 2.42/2.58 c =============================================================================== 2.42/2.58 c core #219 2.42/2.58 c Core size: 53 Core Weight: 1 Total Weight: 17882 2.42/2.58 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.42/2.59 c ============================[ Search Statistics ]============================== 2.42/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.59 c =============================================================================== 2.42/2.59 c | 0 | 5480 9636 34436 | 5000 0 nan | 0.000 % | 2.52/2.60 c =============================================================================== 2.52/2.60 c core #220 2.52/2.60 c Core size: 65 Core Weight: 1 Total Weight: 17883 2.52/2.60 c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s 2.52/2.61 c ============================[ Search Statistics ]============================== 2.52/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.52/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.52/2.61 c =============================================================================== 2.52/2.61 c | 0 | 5517 9668 34573 | 5000 0 nan | 0.000 % | 2.52/2.62 c =============================================================================== 2.52/2.62 c core #221 2.52/2.62 c Core size: 68 Core Weight: 4 Total Weight: 17887 2.52/2.62 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.52/2.64 c ============================[ Search Statistics ]============================== 2.52/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.52/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.52/2.64 c =============================================================================== 2.52/2.64 c | 0 | 5554 9704 34720 | 5000 0 nan | 0.000 % | 2.52/2.64 c =============================================================================== 2.52/2.64 c core #222 2.52/2.64 c Core size: 68 Core Weight: 1 Total Weight: 17888 2.52/2.64 c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s 2.52/2.66 c ============================[ Search Statistics ]============================== 2.52/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.52/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.52/2.66 c =============================================================================== 2.52/2.66 c | 0 | 5591 9739 34865 | 5000 0 nan | 0.000 % | 2.52/2.66 c =============================================================================== 2.52/2.66 c core #223 2.52/2.66 c Core size: 82 Core Weight: 1 Total Weight: 17889 2.52/2.66 c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s 2.52/2.68 c ============================[ Search Statistics ]============================== 2.52/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.52/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.52/2.68 c =============================================================================== 2.52/2.68 c | 0 | 5635 9778 35037 | 5000 0 nan | 0.000 % | 2.52/2.68 c =============================================================================== 2.52/2.68 c core #224 2.52/2.68 c Core size: 73 Core Weight: 1 Total Weight: 17890 2.52/2.68 c Elapsed CPU time: 2.45463 s Remaining CPU time: 1797.55 s 2.61/2.70 c ============================[ Search Statistics ]============================== 2.61/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.61/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.61/2.70 c =============================================================================== 2.61/2.70 c | 0 | 5675 9818 35202 | 5000 0 nan | 0.000 % | 2.61/2.70 c =============================================================================== 2.61/2.70 c core #225 2.61/2.70 c Core size: 72 Core Weight: 5 Total Weight: 17895 2.61/2.70 c Elapsed CPU time: 2.47462 s Remaining CPU time: 1797.53 s 2.61/2.72 c ============================[ Search Statistics ]============================== 2.61/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.61/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.61/2.72 c =============================================================================== 2.61/2.72 c | 0 | 5714 9856 35359 | 5000 0 nan | 0.000 % | 2.61/2.72 c =============================================================================== 2.61/2.72 c core #226 2.61/2.72 c Core size: 72 Core Weight: 1 Total Weight: 17896 2.61/2.72 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.61/2.74 c ============================[ Search Statistics ]============================== 2.61/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.61/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.61/2.74 c =============================================================================== 2.61/2.74 c | 0 | 5753 9895 35520 | 5000 0 nan | 0.000 % | 2.61/2.75 c =============================================================================== 2.61/2.75 c core #227 2.61/2.75 c Core size: 85 Core Weight: 1 Total Weight: 17897 2.61/2.75 c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s 2.61/2.76 c ============================[ Search Statistics ]============================== 2.61/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.61/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.61/2.76 c =============================================================================== 2.61/2.76 c | 0 | 5800 9941 35713 | 5000 0 nan | 0.000 % | 2.61/2.77 c =============================================================================== 2.61/2.77 c core #228 2.61/2.77 c Core size: 74 Core Weight: 1 Total Weight: 17898 2.61/2.77 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.61/2.78 c ============================[ Search Statistics ]============================== 2.61/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.61/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.61/2.78 c =============================================================================== 2.61/2.78 c | 0 | 5840 9979 35872 | 5000 0 nan | 0.000 % | 2.61/2.79 c =============================================================================== 2.61/2.79 c core #229 2.61/2.79 c Core size: 76 Core Weight: 1 Total Weight: 17899 2.61/2.79 c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s 2.72/2.81 c ============================[ Search Statistics ]============================== 2.72/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.72/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.72/2.81 c =============================================================================== 2.72/2.81 c | 0 | 5881 10019 36037 | 5000 0 nan | 0.000 % | 2.72/2.81 c =============================================================================== 2.72/2.81 c core #230 2.72/2.81 c Core size: 55 Core Weight: 1 Total Weight: 17900 2.72/2.81 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.72/2.83 c ============================[ Search Statistics ]============================== 2.72/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.72/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.72/2.83 c =============================================================================== 2.72/2.83 c | 0 | 5913 10047 36156 | 5000 0 nan | 0.000 % | 2.72/2.83 c =============================================================================== 2.72/2.83 c core #231 2.72/2.83 c Core size: 82 Core Weight: 10 Total Weight: 17910 2.72/2.83 c Elapsed CPU time: 2.59661 s Remaining CPU time: 1797.4 s 2.72/2.85 c ============================[ Search Statistics ]============================== 2.72/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.72/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.72/2.85 c =============================================================================== 2.72/2.85 c | 0 | 5960 10092 36565 | 5000 0 nan | 0.000 % | 2.72/2.86 c =============================================================================== 2.72/2.86 c core #232 2.72/2.86 c Core size: 83 Core Weight: 3 Total Weight: 17913 2.72/2.86 c Elapsed CPU time: 2.6196 s Remaining CPU time: 1797.38 s 2.72/2.87 c ============================[ Search Statistics ]============================== 2.72/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.72/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.72/2.87 c =============================================================================== 2.72/2.87 c | 0 | 6012 10143 36784 | 5000 0 nan | 0.000 % | 2.72/2.88 c =============================================================================== 2.72/2.88 c core #233 2.72/2.88 c Core size: 92 Core Weight: 1 Total Weight: 17914 2.72/2.88 c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s 2.81/2.90 c ============================[ Search Statistics ]============================== 2.81/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.81/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.81/2.90 c =============================================================================== 2.81/2.90 c | 0 | 6067 10196 37009 | 5000 0 nan | 0.000 % | 2.81/2.91 c =============================================================================== 2.81/2.91 c core #234 2.81/2.91 c Core size: 106 Core Weight: 1 Total Weight: 17915 2.81/2.91 c Elapsed CPU time: 2.66459 s Remaining CPU time: 1797.34 s 2.81/2.92 c ============================[ Search Statistics ]============================== 2.81/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.81/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.81/2.92 c =============================================================================== 2.81/2.92 c | 0 | 6130 10252 37261 | 5000 0 nan | 0.000 % | 2.81/2.93 c =============================================================================== 2.81/2.93 c core #235 2.81/2.93 c Core size: 78 Core Weight: 1 Total Weight: 17916 2.81/2.93 c Elapsed CPU time: 2.68659 s Remaining CPU time: 1797.31 s 2.81/2.95 c ============================[ Search Statistics ]============================== 2.81/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.81/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.81/2.95 c =============================================================================== 2.81/2.95 c | 0 | 6176 10293 37439 | 5000 0 nan | 0.000 % | 2.81/2.96 c =============================================================================== 2.81/2.96 c core #236 2.81/2.96 c Core size: 90 Core Weight: 1 Total Weight: 17917 2.81/2.96 c Elapsed CPU time: 2.70959 s Remaining CPU time: 1797.29 s 2.81/2.97 c ============================[ Search Statistics ]============================== 2.81/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.81/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.81/2.97 c =============================================================================== 2.81/2.97 c | 0 | 6230 10346 37667 | 5000 0 nan | 0.000 % | 2.81/2.98 c =============================================================================== 2.81/2.98 c core #237 2.81/2.98 c Core size: 85 Core Weight: 2 Total Weight: 17919 2.81/2.98 c Elapsed CPU time: 2.73258 s Remaining CPU time: 1797.27 s 2.91/3.00 c ============================[ Search Statistics ]============================== 2.91/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.91/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.91/3.00 c =============================================================================== 2.91/3.00 c | 0 | 6282 10398 37886 | 5000 0 nan | 0.000 % | 2.91/3.01 c =============================================================================== 2.91/3.01 c core #238 2.91/3.01 c Core size: 83 Core Weight: 1 Total Weight: 17920 2.91/3.01 c Elapsed CPU time: 2.75458 s Remaining CPU time: 1797.25 s 2.91/3.02 c ============================[ Search Statistics ]============================== 2.91/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.91/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.91/3.02 c =============================================================================== 2.91/3.02 c | 0 | 6329 10444 38081 | 5000 0 nan | 0.000 % | 2.91/3.03 c =============================================================================== 2.91/3.03 c core #239 2.91/3.03 c Core size: 93 Core Weight: 1 Total Weight: 17921 2.91/3.03 c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s 2.91/3.05 c ============================[ Search Statistics ]============================== 2.91/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.91/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.91/3.05 c =============================================================================== 2.91/3.05 c | 0 | 6385 10499 38319 | 5000 0 nan | 0.000 % | 2.91/3.06 c =============================================================================== 2.91/3.06 c core #240 2.91/3.06 c Core size: 115 Core Weight: 1 Total Weight: 17922 2.91/3.06 c Elapsed CPU time: 2.80457 s Remaining CPU time: 1797.2 s 2.91/3.08 c ============================[ Search Statistics ]============================== 2.91/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.91/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.91/3.08 c =============================================================================== 2.91/3.08 c | 0 | 6456 10570 38629 | 5000 0 nan | 0.000 % | 2.91/3.09 c =============================================================================== 2.91/3.09 c core #241 2.91/3.09 c Core size: 83 Core Weight: 1 Total Weight: 17923 2.91/3.09 c Elapsed CPU time: 2.82657 s Remaining CPU time: 1797.17 s 3.01/3.10 c ============================[ Search Statistics ]============================== 3.01/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.01/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.01/3.10 c =============================================================================== 3.01/3.10 c | 0 | 6503 10615 38820 | 5000 0 nan | 0.000 % | 3.01/3.12 c =============================================================================== 3.01/3.12 c core #242 3.01/3.12 c Core size: 98 Core Weight: 2 Total Weight: 17925 3.01/3.12 c Elapsed CPU time: 2.85556 s Remaining CPU time: 1797.14 s 3.01/3.13 c ============================[ Search Statistics ]============================== 3.01/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.01/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.01/3.13 c =============================================================================== 3.01/3.13 c | 0 | 6561 10672 39070 | 5000 0 nan | 0.000 % | 3.01/3.14 c =============================================================================== 3.01/3.14 c core #243 3.01/3.14 c Core size: 88 Core Weight: 1 Total Weight: 17926 3.01/3.14 c Elapsed CPU time: 2.88156 s Remaining CPU time: 1797.12 s 3.01/3.16 c ============================[ Search Statistics ]============================== 3.01/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.01/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.01/3.16 c =============================================================================== 3.01/3.16 c | 0 | 6612 10719 39275 | 5000 0 nan | 0.000 % | 3.01/3.17 c =============================================================================== 3.01/3.17 c core #244 3.01/3.17 c Core size: 101 Core Weight: 1 Total Weight: 17927 3.01/3.17 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 3.01/3.19 c ============================[ Search Statistics ]============================== 3.01/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.01/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.01/3.19 c =============================================================================== 3.01/3.19 c | 0 | 6672 10769 39510 | 5000 0 nan | 0.000 % | 3.11/3.21 c =============================================================================== 3.11/3.21 c core #245 3.11/3.21 c Core size: 74 Core Weight: 1 Total Weight: 17928 3.11/3.21 c Elapsed CPU time: 2.93655 s Remaining CPU time: 1797.06 s 3.11/3.22 c ============================[ Search Statistics ]============================== 3.11/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.11/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.11/3.23 c =============================================================================== 3.11/3.23 c | 0 | 6716 10808 39680 | 5000 0 nan | 0.000 % | 3.11/3.23 c =============================================================================== 3.11/3.23 c core #246 3.11/3.23 c Core size: 80 Core Weight: 1 Total Weight: 17929 3.11/3.23 c Elapsed CPU time: 2.96155 s Remaining CPU time: 1797.04 s 3.11/3.25 c ============================[ Search Statistics ]============================== 3.11/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.11/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.11/3.25 c =============================================================================== 3.11/3.25 c | 0 | 6760 10848 39858 | 5000 0 nan | 0.000 % | 3.11/3.26 c =============================================================================== 3.11/3.26 c core #247 3.11/3.26 c Core size: 84 Core Weight: 1 Total Weight: 17930 3.11/3.26 c Elapsed CPU time: 2.98754 s Remaining CPU time: 1797.01 s 3.11/3.28 c ============================[ Search Statistics ]============================== 3.11/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.11/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.11/3.28 c =============================================================================== 3.11/3.28 c | 0 | 6812 10894 40071 | 5000 0 nan | 0.000 % | 3.11/3.29 c =============================================================================== 3.11/3.29 c core #248 3.11/3.29 c Core size: 62 Core Weight: 3 Total Weight: 17933 3.11/3.29 c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s 3.21/3.30 c ============================[ Search Statistics ]============================== 3.21/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.30 c =============================================================================== 3.21/3.30 c | 0 | 6846 10926 40209 | 5000 0 nan | 0.000 % | 3.21/3.32 c =============================================================================== 3.21/3.32 c core #249 3.21/3.32 c Core size: 102 Core Weight: 1 Total Weight: 17934 3.21/3.32 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 3.21/3.33 c ============================[ Search Statistics ]============================== 3.21/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.33 c =============================================================================== 3.21/3.33 c | 0 | 6911 10983 40470 | 5000 0 nan | 0.000 % | 3.21/3.35 c =============================================================================== 3.21/3.35 c core #250 3.21/3.35 c Core size: 122 Core Weight: 1 Total Weight: 17935 3.21/3.35 c Elapsed CPU time: 3.06853 s Remaining CPU time: 1796.93 s 3.21/3.36 c ============================[ Search Statistics ]============================== 3.21/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.36 c =============================================================================== 3.21/3.36 c | 0 | 6991 11048 40784 | 5000 0 nan | 0.000 % | 3.21/3.37 c =============================================================================== 3.21/3.37 c core #251 3.21/3.37 c Core size: 101 Core Weight: 1 Total Weight: 17936 3.21/3.37 c Elapsed CPU time: 3.09153 s Remaining CPU time: 1796.91 s 3.30/3.40 c ============================[ Search Statistics ]============================== 3.30/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.40 c =============================================================================== 3.30/3.40 c | 0 | 7052 11099 41018 | 5000 0 nan | 0.000 % | 3.30/3.41 c =============================================================================== 3.30/3.41 c core #252 3.30/3.41 c Core size: 96 Core Weight: 1 Total Weight: 17937 3.30/3.41 c Elapsed CPU time: 3.11653 s Remaining CPU time: 1796.88 s 3.30/3.43 c ============================[ Search Statistics ]============================== 3.30/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.43 c =============================================================================== 3.30/3.43 c | 0 | 7110 11154 41259 | 5000 0 nan | 0.000 % | 3.30/3.44 c =============================================================================== 3.30/3.44 c core #253 3.30/3.44 c Core size: 78 Core Weight: 1 Total Weight: 17938 3.30/3.44 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.30/3.46 c ============================[ Search Statistics ]============================== 3.30/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.46 c =============================================================================== 3.30/3.46 c | 0 | 7151 11193 41429 | 5000 0 nan | 0.000 % | 3.30/3.47 c | 101 | 7151 11193 41429 | 5500 101 13 | 1.718 % | 3.30/3.48 c =============================================================================== 3.30/3.48 c core #254 3.30/3.48 c Core size: 104 Core Weight: 1 Total Weight: 17939 3.30/3.48 c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s 3.30/3.50 c ============================[ Search Statistics ]============================== 3.30/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.50 c =============================================================================== 3.30/3.50 c | 0 | 7213 11250 41689 | 5000 0 nan | 0.000 % | 3.40/3.51 c =============================================================================== 3.40/3.51 c core #255 3.40/3.51 c Core size: 113 Core Weight: 1 Total Weight: 17940 3.40/3.51 c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s 3.40/3.53 c ============================[ Search Statistics ]============================== 3.40/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.53 c =============================================================================== 3.40/3.53 c | 0 | 7281 11306 41958 | 5000 0 nan | 0.000 % | 3.40/3.54 c =============================================================================== 3.40/3.54 c core #256 3.40/3.54 c Core size: 87 Core Weight: 1 Total Weight: 17941 3.40/3.54 c Elapsed CPU time: 3.23051 s Remaining CPU time: 1796.77 s 3.40/3.56 c ============================[ Search Statistics ]============================== 3.40/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.56 c =============================================================================== 3.40/3.56 c | 0 | 7333 11354 42174 | 5000 0 nan | 0.000 % | 3.40/3.57 c =============================================================================== 3.40/3.57 c core #257 3.40/3.57 c Core size: 83 Core Weight: 1 Total Weight: 17942 3.40/3.57 c Elapsed CPU time: 3.2585 s Remaining CPU time: 1796.74 s 3.40/3.59 c ============================[ Search Statistics ]============================== 3.40/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.59 c =============================================================================== 3.40/3.59 c | 0 | 7380 11397 42371 | 5000 0 nan | 0.000 % | 3.49/3.60 c =============================================================================== 3.49/3.60 c core #258 3.49/3.60 c Core size: 82 Core Weight: 1 Total Weight: 17943 3.49/3.60 c Elapsed CPU time: 3.2845 s Remaining CPU time: 1796.72 s 3.49/3.62 c Learning 1 hard constraints 3.49/3.62 c ============================[ Search Statistics ]============================== 3.49/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.62 c =============================================================================== 3.49/3.62 c | 0 | 7426 11441 42578 | 5000 0 nan | 0.000 % | 3.49/3.64 c | 100 | 7426 11441 42578 | 5500 100 11 | 1.655 % | 3.49/3.64 c =============================================================================== 3.49/3.64 c core #259 3.49/3.64 c Core size: 88 Core Weight: 1 Total Weight: 17944 3.49/3.64 c Elapsed CPU time: 3.3205 s Remaining CPU time: 1796.68 s 3.49/3.66 c ============================[ Search Statistics ]============================== 3.49/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.66 c =============================================================================== 3.49/3.66 c | 0 | 7482 11490 42809 | 5000 0 nan | 0.000 % | 3.49/3.67 c =============================================================================== 3.49/3.67 c core #260 3.49/3.67 c Core size: 108 Core Weight: 1 Total Weight: 17945 3.49/3.67 c Elapsed CPU time: 3.35149 s Remaining CPU time: 1796.65 s 3.49/3.69 c ============================[ Search Statistics ]============================== 3.49/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.69 c =============================================================================== 3.49/3.69 c | 0 | 7546 11550 43089 | 5000 0 nan | 0.000 % | 3.59/3.70 c =============================================================================== 3.59/3.70 c core #261 3.59/3.70 c Core size: 97 Core Weight: 1 Total Weight: 17946 3.59/3.70 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.59/3.72 c ============================[ Search Statistics ]============================== 3.59/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.72 c =============================================================================== 3.59/3.72 c | 0 | 7602 11599 43322 | 5000 0 nan | 0.000 % | 3.59/3.74 c =============================================================================== 3.59/3.74 c core #262 3.59/3.74 c Core size: 120 Core Weight: 1 Total Weight: 17947 3.59/3.74 c Elapsed CPU time: 3.41848 s Remaining CPU time: 1796.58 s 3.59/3.76 c ============================[ Search Statistics ]============================== 3.59/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.76 c =============================================================================== 3.59/3.76 c | 0 | 7675 11660 43613 | 5000 0 nan | 0.000 % | 3.59/3.78 c | 101 | 7673 11660 43613 | 5500 101 9 | 1.641 % | 3.59/3.78 c =============================================================================== 3.59/3.78 c core #263 3.59/3.78 c Core size: 95 Core Weight: 1 Total Weight: 17948 3.59/3.78 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.68/3.80 c ============================[ Search Statistics ]============================== 3.68/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.80 c =============================================================================== 3.68/3.80 c | 0 | 7729 11708 43837 | 5000 0 nan | 0.000 % | 3.68/3.81 c =============================================================================== 3.68/3.81 c core #264 3.68/3.81 c Core size: 89 Core Weight: 1 Total Weight: 17949 3.68/3.81 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.68/3.83 c ============================[ Search Statistics ]============================== 3.68/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.83 c =============================================================================== 3.68/3.83 c | 0 | 7779 11751 44047 | 5000 0 nan | 0.000 % | 3.68/3.85 c =============================================================================== 3.68/3.85 c core #265 3.68/3.85 c Core size: 137 Core Weight: 1 Total Weight: 17950 3.68/3.85 c Elapsed CPU time: 3.51946 s Remaining CPU time: 1796.48 s 3.68/3.87 c Learning 1 hard constraints 3.68/3.87 c ============================[ Search Statistics ]============================== 3.68/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.87 c =============================================================================== 3.68/3.87 c | 0 | 7864 11819 44389 | 5000 0 nan | 0.000 % | 3.79/3.90 c | 101 | 7861 11819 44389 | 5500 101 10 | 1.840 % | 3.79/3.90 c =============================================================================== 3.79/3.90 c core #266 3.79/3.90 c Core size: 168 Core Weight: 1 Total Weight: 17951 3.79/3.90 c Elapsed CPU time: 3.56646 s Remaining CPU time: 1796.43 s 3.79/3.92 c ============================[ Search Statistics ]============================== 3.79/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.92 c =============================================================================== 3.79/3.92 c | 0 | 7972 11900 44822 | 5000 0 nan | 0.000 % | 3.79/3.94 c | 101 | 7972 11900 44822 | 5500 101 12 | 1.544 % | 3.79/3.95 c =============================================================================== 3.79/3.95 c core #267 3.79/3.95 c Core size: 117 Core Weight: 1 Total Weight: 17952 3.79/3.95 c Elapsed CPU time: 3.60445 s Remaining CPU time: 1796.4 s 3.79/3.97 c Learning 1 hard constraints 3.79/3.97 c ============================[ Search Statistics ]============================== 3.79/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.97 c =============================================================================== 3.79/3.97 c | 0 | 8043 11950 45093 | 5000 0 nan | 0.000 % | 3.79/3.99 c | 100 | 8043 11950 45093 | 5500 100 14 | 1.530 % | 3.79/4.00 c =============================================================================== 3.79/4.00 c core #268 3.79/4.00 c Core size: 149 Core Weight: 1 Total Weight: 17953 3.79/4.00 c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s 3.89/4.02 c ============================[ Search Statistics ]============================== 3.89/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/4.02 c =============================================================================== 3.89/4.02 c | 0 | 8138 12031 45512 | 5000 0 nan | 0.000 % | 3.89/4.04 c | 103 | 8137 12031 45512 | 5500 103 9 | 1.585 % | 3.89/4.04 c =============================================================================== 3.89/4.04 c core #269 3.89/4.04 c Core size: 142 Core Weight: 1 Total Weight: 17954 3.89/4.04 c Elapsed CPU time: 3.69244 s Remaining CPU time: 1796.31 s 3.89/4.27 c ============================[ Search Statistics ]============================== 3.96/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.28 c =============================================================================== 3.96/4.28 c | 0 | 8225 12101 45878 | 5000 0 nan | 0.000 % | 3.96/4.73 c | 100 | 8194 12101 45878 | 5500 60 12 | 2.251 % | 3.96/4.78 c =============================================================================== 4.01/4.79 c core #270 4.01/4.79 c Core size: 128 Core Weight: 1 Total Weight: 17955 4.01/4.79 c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s 4.02/4.82 c ============================[ Search Statistics ]============================== 4.02/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.02/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.02/4.82 c =============================================================================== 4.02/4.82 c | 0 | 8305 12168 46218 | 5000 0 nan | 0.000 % | 4.02/4.84 c | 100 | 8305 12168 46218 | 5500 100 14 | 1.483 % | 4.02/4.85 c =============================================================================== 4.02/4.85 c core #271 4.02/4.85 c Core size: 136 Core Weight: 1 Total Weight: 17956 4.02/4.85 c Elapsed CPU time: 3.78742 s Remaining CPU time: 1796.21 s 4.02/4.87 c ============================[ Search Statistics ]============================== 4.02/4.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.02/4.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.02/4.87 c =============================================================================== 4.02/4.87 c | 0 | 8390 12243 46591 | 5000 0 nan | 0.000 % | 4.02/4.89 c | 100 | 8390 12243 46591 | 5500 100 16 | 1.468 % | 4.02/4.90 c =============================================================================== 4.02/4.90 c core #272 4.02/4.90 c Core size: 144 Core Weight: 1 Total Weight: 17957 4.02/4.90 c Elapsed CPU time: 3.83542 s Remaining CPU time: 1796.16 s 4.11/4.92 c ============================[ Search Statistics ]============================== 4.11/4.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.11/4.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.11/4.92 c =============================================================================== 4.11/4.92 c | 0 | 8484 12305 46949 | 5000 0 nan | 0.000 % | 4.11/4.94 c | 101 | 8481 12305 46949 | 5500 101 13 | 1.626 % | 4.11/4.95 c =============================================================================== 4.11/4.95 c core #273 4.11/4.95 c Core size: 180 Core Weight: 1 Total Weight: 17958 4.11/4.95 c Elapsed CPU time: 3.88341 s Remaining CPU time: 1796.12 s 4.11/4.97 c ============================[ Search Statistics ]============================== 4.11/4.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.11/4.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.11/4.97 c =============================================================================== 4.11/4.97 c | 0 | 8600 12390 47419 | 5000 0 nan | 0.000 % | 4.11/5.00 c | 100 | 8600 12390 47419 | 5500 100 12 | 1.433 % | 4.20/5.00 c =============================================================================== 4.20/5.00 c core #274 4.20/5.00 c Core size: 136 Core Weight: 1 Total Weight: 17959 4.20/5.00 c Elapsed CPU time: 3.9304 s Remaining CPU time: 1796.07 s 4.20/5.02 c ============================[ Search Statistics ]============================== 4.20/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.20/5.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.20/5.02 c =============================================================================== 4.20/5.02 c | 0 | 8684 12448 47751 | 5000 0 nan | 0.000 % | 4.20/5.05 c | 103 | 8684 12448 47751 | 5500 103 10 | 1.419 % | 4.20/5.05 c =============================================================================== 4.20/5.05 c core #275 4.20/5.05 c Core size: 157 Core Weight: 1 Total Weight: 17960 4.20/5.05 c Elapsed CPU time: 3.9734 s Remaining CPU time: 1796.03 s 4.20/5.07 c ============================[ Search Statistics ]============================== 4.20/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.20/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.20/5.07 c =============================================================================== 4.20/5.07 c | 0 | 8786 12529 48170 | 5000 0 nan | 0.000 % | 4.20/5.09 c | 101 | 8786 12529 48170 | 5500 101 14 | 1.403 % | 4.30/5.10 c =============================================================================== 4.30/5.10 c core #276 4.30/5.10 c Core size: 166 Core Weight: 1 Total Weight: 17961 4.30/5.10 c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s 4.30/5.12 c ============================[ Search Statistics ]============================== 4.30/5.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/5.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/5.12 c =============================================================================== 4.30/5.12 c | 0 | 8890 12608 48603 | 5000 0 nan | 0.000 % | 4.30/5.15 c | 100 | 8890 12608 48603 | 5500 100 14 | 1.387 % | 4.30/5.15 c =============================================================================== 4.30/5.15 c core #277 4.30/5.15 c Core size: 162 Core Weight: 1 Total Weight: 17962 4.30/5.15 c Elapsed CPU time: 4.07038 s Remaining CPU time: 1795.93 s 4.30/5.18 c ============================[ Search Statistics ]============================== 4.30/5.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/5.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/5.18 c =============================================================================== 4.30/5.18 c | 0 | 8993 12681 49013 | 5000 0 nan | 0.000 % | 4.40/5.20 c | 102 | 8993 12681 49013 | 5500 102 15 | 1.371 % | 4.40/5.20 c =============================================================================== 4.40/5.20 c core #278 4.40/5.20 c Core size: 132 Core Weight: 1 Total Weight: 17963 4.40/5.20 c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s 4.40/5.23 c Learning 1 hard constraints 4.40/5.23 c ============================[ Search Statistics ]============================== 4.40/5.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/5.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/5.23 c =============================================================================== 4.40/5.23 c | 0 | 9072 12753 49371 | 5000 0 nan | 0.000 % | 4.40/5.25 c | 100 | 9072 12753 49371 | 5500 100 12 | 1.359 % | 4.40/5.26 c =============================================================================== 4.40/5.26 c core #279 4.40/5.26 c Core size: 190 Core Weight: 1 Total Weight: 17964 4.40/5.26 c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s 4.40/5.28 c ============================[ Search Statistics ]============================== 4.40/5.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/5.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/5.28 c =============================================================================== 4.40/5.28 c | 0 | 9195 12819 49795 | 5000 0 nan | 0.000 % | 4.50/5.31 c | 101 | 9195 12819 49795 | 5500 101 13 | 1.341 % | 4.50/5.31 c =============================================================================== 4.50/5.31 c core #280 4.50/5.31 c Core size: 108 Core Weight: 1 Total Weight: 17965 4.50/5.31 c Elapsed CPU time: 4.21636 s Remaining CPU time: 1795.78 s 4.50/5.33 c ============================[ Search Statistics ]============================== 4.50/5.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.50/5.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.50/5.33 c =============================================================================== 4.50/5.33 c | 0 | 9263 12882 50099 | 5000 0 nan | 0.000 % | 4.50/5.36 c | 100 | 9263 12882 50099 | 5500 100 20 | 1.331 % | 4.50/5.37 c =============================================================================== 4.50/5.37 c core #281 4.50/5.37 c Core size: 186 Core Weight: 1 Total Weight: 17966 4.50/5.37 c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s 4.50/5.39 c ============================[ Search Statistics ]============================== 4.50/5.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.50/5.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.50/5.39 c =============================================================================== 4.50/5.39 c | 0 | 9383 12981 50613 | 5000 0 nan | 0.000 % | 4.60/5.42 c | 100 | 9383 12981 50613 | 5500 100 10 | 1.315 % | 4.60/5.42 c =============================================================================== 4.60/5.42 c core #282 4.60/5.42 c Core size: 134 Core Weight: 1 Total Weight: 17967 4.60/5.42 c Elapsed CPU time: 4.31534 s Remaining CPU time: 1795.68 s 4.60/5.44 c ============================[ Search Statistics ]============================== 4.60/5.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.60/5.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.60/5.44 c =============================================================================== 4.60/5.44 c | 0 | 9468 13054 50973 | 5000 0 nan | 0.000 % | 4.60/5.47 c | 100 | 9468 13054 50973 | 5500 100 17 | 1.303 % | 4.60/5.47 c =============================================================================== 4.60/5.47 c core #283 4.60/5.47 c Core size: 131 Core Weight: 1 Total Weight: 17968 4.60/5.47 c Elapsed CPU time: 4.36434 s Remaining CPU time: 1795.64 s 4.60/5.50 c ============================[ Search Statistics ]============================== 4.60/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/5.50 c =============================================================================== 4.69/5.50 c | 0 | 9547 13122 51316 | 5000 0 nan | 0.000 % | 4.69/5.53 c | 100 | 9547 13122 51316 | 5500 100 18 | 1.292 % | 4.69/5.53 c =============================================================================== 4.69/5.53 c core #284 4.69/5.53 c Core size: 149 Core Weight: 1 Total Weight: 17969 4.69/5.53 c Elapsed CPU time: 4.41933 s Remaining CPU time: 1795.58 s 4.69/5.56 c Learning 2 hard constraints 4.69/5.56 c ============================[ Search Statistics ]============================== 4.69/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/5.56 c =============================================================================== 4.69/5.56 c | 0 | 9642 13199 51719 | 5000 0 nan | 0.000 % | 4.69/5.58 c | 100 | 9634 13199 51719 | 5500 100 12 | 1.444 % | 4.69/5.59 c =============================================================================== 4.69/5.59 c core #285 4.69/5.59 c Core size: 163 Core Weight: 1 Total Weight: 17970 4.69/5.59 c Elapsed CPU time: 4.46632 s Remaining CPU time: 1795.53 s 4.79/5.61 c ============================[ Search Statistics ]============================== 4.79/5.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/5.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/5.61 c =============================================================================== 4.79/5.61 c | 0 | 9744 13263 52100 | 5000 0 nan | 0.000 % | 4.79/5.63 c | 100 | 9744 13263 52100 | 5500 100 18 | 1.267 % | 4.79/5.64 c =============================================================================== 4.79/5.64 c core #286 4.79/5.64 c Core size: 163 Core Weight: 1 Total Weight: 17971 4.79/5.64 c Elapsed CPU time: 4.51931 s Remaining CPU time: 1795.48 s 4.79/5.66 c ============================[ Search Statistics ]============================== 4.79/5.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/5.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/5.66 c =============================================================================== 4.79/5.67 c | 0 | 9841 13325 52477 | 5000 0 nan | 0.000 % | 4.79/5.69 c | 100 | 9841 13325 52477 | 5500 100 16 | 1.254 % | 4.89/5.70 c =============================================================================== 4.89/5.70 c core #287 4.89/5.70 c Core size: 198 Core Weight: 1 Total Weight: 17972 4.89/5.70 c Elapsed CPU time: 4.5753 s Remaining CPU time: 1795.42 s 4.89/5.73 c Learning 2 hard constraints 4.89/5.73 c ============================[ Search Statistics ]============================== 4.89/5.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/5.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/5.73 c =============================================================================== 4.89/5.73 c | 0 | 9961 13385 52891 | 5000 0 nan | 0.000 % | 4.89/5.75 c | 100 | 9961 13385 52891 | 5500 100 24 | 1.239 % | 4.89/5.77 c =============================================================================== 4.89/5.77 c core #288 4.89/5.77 c Core size: 212 Core Weight: 1 Total Weight: 17973 4.89/5.77 c Elapsed CPU time: 4.6353 s Remaining CPU time: 1795.36 s 4.89/5.79 c ============================[ Search Statistics ]============================== 4.89/5.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/5.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/5.79 c =============================================================================== 4.89/5.79 c | 0 | 10095 13455 53353 | 5000 0 nan | 0.000 % | 5.00/5.83 c | 101 | 10095 13455 53353 | 5500 101 18 | 1.223 % | 5.00/5.84 c =============================================================================== 5.00/5.84 c core #289 5.00/5.84 c Core size: 227 Core Weight: 1 Total Weight: 17974 5.00/5.84 c Elapsed CPU time: 4.69829 s Remaining CPU time: 1795.3 s 5.00/5.86 c ============================[ Search Statistics ]============================== 5.00/5.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.00/5.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.00/5.86 c =============================================================================== 5.00/5.86 c | 0 | 10243 13536 53868 | 5000 0 nan | 0.000 % | 5.00/5.89 c | 102 | 10243 13536 53868 | 5500 102 21 | 1.206 % | 5.09/5.92 c =============================================================================== 5.09/5.92 c core #290 5.09/5.92 c Core size: 313 Core Weight: 1 Total Weight: 17975 5.09/5.92 c Elapsed CPU time: 4.76527 s Remaining CPU time: 1795.23 s 5.09/5.94 c Learning 1 hard constraints 5.09/5.94 c ============================[ Search Statistics ]============================== 5.09/5.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.94 c =============================================================================== 5.09/5.94 c | 0 | 10455 13615 54515 | 5000 0 nan | 0.000 % | 5.09/5.97 c | 101 | 10455 13615 54515 | 5500 101 13 | 1.181 % | 5.09/5.99 c =============================================================================== 5.09/5.99 c core #291 5.09/5.99 c Core size: 284 Core Weight: 1 Total Weight: 17976 5.09/5.99 c Elapsed CPU time: 4.83326 s Remaining CPU time: 1795.17 s 5.19/6.01 c ============================[ Search Statistics ]============================== 5.19/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/6.01 c =============================================================================== 5.19/6.01 c | 0 | 10646 13695 55126 | 5000 0 nan | 0.000 % | 5.19/6.04 c | 101 | 10646 13695 55126 | 5500 101 21 | 1.161 % | 5.19/6.07 c | 251 | 10646 13695 55126 | 6050 251 16 | 1.161 % | 5.19/6.09 c =============================================================================== 5.19/6.09 c core #292 5.19/6.09 c Core size: 497 Core Weight: 1 Total Weight: 17977 5.19/6.09 c Elapsed CPU time: 4.92925 s Remaining CPU time: 1795.07 s 5.28/6.11 c ============================[ Search Statistics ]============================== 5.28/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/6.11 c =============================================================================== 5.28/6.11 c | 0 | 11021 13786 56132 | 5000 0 nan | 0.000 % | 5.28/6.15 c | 100 | 11021 13786 56132 | 5500 100 21 | 1.121 % | 5.28/6.17 c =============================================================================== 5.28/6.17 c core #293 5.28/6.17 c Core size: 340 Core Weight: 1 Total Weight: 17978 5.28/6.17 c Elapsed CPU time: 5.00324 s Remaining CPU time: 1795 s 5.28/6.20 c ============================[ Search Statistics ]============================== 5.28/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/6.20 c =============================================================================== 5.28/6.20 c | 0 | 11254 13866 56820 | 5000 0 nan | 0.000 % | 5.38/6.23 c | 100 | 11254 13866 56820 | 5500 100 20 | 1.099 % | 5.38/6.25 c | 251 | 11254 13866 56820 | 6050 251 16 | 1.099 % | 5.38/6.30 c | 476 | 11235 13866 56820 | 6655 385 12 | 1.318 % | 5.48/6.33 c =============================================================================== 5.48/6.33 c core #294 5.48/6.33 c Core size: 593 Core Weight: 1 Total Weight: 17979 5.48/6.33 c Elapsed CPU time: 5.15622 s Remaining CPU time: 1794.84 s 5.48/6.36 c ============================[ Search Statistics ]============================== 5.48/6.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.48/6.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.48/6.36 c =============================================================================== 5.48/6.36 c | 0 | 11712 13976 58040 | 5000 0 nan | 0.000 % | 5.48/6.39 c | 101 | 11712 13976 58040 | 5500 101 22 | 1.056 % | 5.58/6.42 c | 252 | 11709 13976 58040 | 6050 252 16 | 1.132 % | 5.58/6.45 c | 477 | 11697 13976 58040 | 6655 428 15 | 1.478 % | 5.68/6.52 c | 815 | 11615 13976 58040 | 7320 351 16 | 1.875 % | 5.79/6.61 c | 1321 | 11615 13976 58040 | 8052 857 13 | 1.875 % | 5.79/6.66 c =============================================================================== 5.79/6.66 c core #295 5.79/6.66 c Core size: 724 Core Weight: 1 Total Weight: 17980 5.79/6.66 c Elapsed CPU time: 5.47417 s Remaining CPU time: 1794.53 s 5.79/6.69 c ============================[ Search Statistics ]============================== 5.79/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/6.69 c =============================================================================== 5.79/6.69 c | 0 | 12301 14044 59412 | 5000 0 nan | 0.000 % | 5.88/6.72 c | 100 | 12301 14044 59412 | 5500 100 25 | 1.006 % | 5.88/6.76 c | 251 | 12294 14044 59412 | 6050 251 17 | 1.119 % | 5.98/6.81 c | 477 | 12224 14044 59412 | 6655 222 17 | 1.626 % | 5.98/6.88 c | 814 | 12214 14044 59412 | 7320 558 18 | 1.706 % | 6.19/7.00 c | 1321 | 12214 14044 59412 | 8052 1065 18 | 1.706 % | 6.29/7.13 c | 2082 | 12214 14044 59412 | 8857 1826 19 | 1.706 % | 6.48/7.35 c | 3221 | 12214 14044 59412 | 9743 2965 18 | 1.706 % | 6.88/7.73 c | 4929 | 12214 14044 59412 | 10717 4673 19 | 1.706 % | 7.47/8.39 c | 7491 | 12214 14044 59412 | 11789 7235 19 | 1.706 % | 7.76/8.79 c =============================================================================== 7.86/8.85 c core #296 7.86/8.85 c Core size: 1116 Core Weight: 1 Total Weight: 17981 7.86/8.85 c Elapsed CPU time: 7.48386 s Remaining CPU time: 1792.52 s 7.86/8.88 c ============================[ Search Statistics ]============================== 7.86/8.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.86/8.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.86/8.88 c =============================================================================== 7.86/8.88 c | 0 | 13264 14133 61579 | 5000 0 nan | 0.000 % | 7.96/8.92 c | 100 | 13264 14133 61579 | 5500 100 25 | 0.934 % | 7.96/8.97 c | 250 | 13264 14133 61579 | 6050 250 19 | 0.934 % | 8.06/9.03 c | 476 | 13240 14133 61579 | 6655 405 20 | 1.307 % | 8.16/9.13 c | 813 | 13214 14133 61579 | 7320 716 20 | 1.307 % | 8.26/9.27 c | 1319 | 13214 14133 61579 | 8052 1222 25 | 1.307 % | 8.54/9.52 c | 2078 | 13214 14133 61579 | 8857 1981 28 | 1.307 % | 8.93/9.96 c | 3218 | 13214 14133 61579 | 9743 3121 31 | 1.307 % | 9.54/10.56 c | 4926 | 13214 14133 61579 | 10717 4829 33 | 1.307 % | 10.33/11.36 c | 7488 | 13214 14133 61579 | 11789 7391 32 | 1.307 % | 11.71/12.76 c | 11332 | 13187 14133 61579 | 12968 10442 30 | 1.509 % | 13.99/15.08 c | 17099 | 13187 14133 61579 | 14265 9530 27 | 1.509 % | 17.25/18.30 c | 25751 | 13187 14133 61579 | 15692 10758 25 | 1.509 % | 22.02/23.11 c | 38725 | 13187 14133 61579 | 17261 15627 30 | 1.509 % | 29.98/31.16 c | 58186 | 13170 14133 61579 | 18987 2408 28 | 1.636 % | 42.76/44.07 c | 87379 | 13136 14133 61579 | 20886 4659 28 | 1.890 % | 60.50/61.94 c =============================================================================== 61.89/63.39 c core #297 61.89/63.39 c Core size: 1359 Core Weight: 1 Total Weight: 17982 61.89/63.39 c Elapsed CPU time: 61.1987 s Remaining CPU time: 1738.8 s 62.09/63.54 c ============================[ Search Statistics ]============================== 62.09/63.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.09/63.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.09/63.54 c =============================================================================== 62.09/63.54 c | 0 | 14467 14213 64200 | 5000 0 nan | 0.000 % | 62.18/63.61 c | 103 | 14466 14213 64200 | 5500 103 36 | 0.870 % | 62.18/63.66 c | 255 | 14454 14213 64200 | 6050 254 27 | 0.994 % | 62.28/63.76 c | 481 | 14447 14213 64200 | 6655 438 30 | 0.994 % | 62.38/63.89 c | 820 | 14447 14213 64200 | 7320 777 30 | 0.994 % | 62.58/64.10 c | 1326 | 14447 14213 64200 | 8052 1283 31 | 0.994 % | 62.89/64.39 c | 2087 | 14440 14213 64200 | 8857 2043 31 | 1.042 % | 63.38/64.86 c | 3227 | 14438 14213 64200 | 9743 3177 31 | 1.069 % | 64.07/65.59 c | 4935 | 14436 14213 64200 | 10717 4878 35 | 1.069 % | 65.27/66.72 c | 7499 | 14436 14213 64200 | 11789 7442 37 | 1.069 % | 66.76/68.26 c | 11343 | 14436 14213 64200 | 12968 11286 37 | 1.069 % | 69.05/70.55 c | 17110 | 14436 14213 64200 | 14265 10281 41 | 1.069 % | 73.82/75.36 c | 25760 | 14436 14213 64200 | 15692 11528 53 | 1.069 % | 82.27/83.83 c | 38736 | 14436 14213 64200 | 17261 16201 65 | 1.069 % | 95.26/96.99 c | 58199 | 14436 14213 64200 | 18987 17362 57 | 1.069 % | 112.54/114.36 c | 87393 | 14381 14213 64200 | 20886 14721 54 | 1.446 % | 142.75/144.73 c | 131182 | 14366 14213 64200 | 22974 14104 66 | 1.549 % | 197.10/199.41 c | 196871 | 14366 14213 64200 | 25272 18390 82 | 1.549 % | 287.07/290.07 c | 295401 | 14364 14213 64200 | 27799 18027 80 | 1.631 % | 447.88/451.73 c | 443190 | 14354 14213 64200 | 30579 21309 82 | 1.631 % | 637.18/641.33 c | 664874 | 14352 14213 64200 | 33637 17042 63 | 1.645 % | 948.20/953.12 c | 997400 | 14350 14213 64200 | 37001 22545 84 | 1.658 % | 1475.37/1483.26 c | 1496188 | 14324 14213 64200 | 40701 27130 72 | 1.837 % | 1635.57/1643.56 c =============================================================================== 1668.13/1676.16 c core #298 1668.13/1676.16 c Core size: 1385 Core Weight: 1 Total Weight: 17983 1668.13/1676.16 c Elapsed CPU time: 1661.03 s Remaining CPU time: 138.97 s 1669.94/1677.99 c ============================[ Search Statistics ]============================== 1669.94/1677.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1669.94/1677.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1669.94/1677.99 c =============================================================================== 1669.94/1677.99 c | 0 | 15698 14295 66874 | 5000 0 nan | 0.000 % | 1670.32/1678.37 c | 100 | 15698 14295 66874 | 5500 100 40 | 0.790 % | 1670.43/1678.43 c | 250 | 15698 14295 66874 | 6050 250 31 | 0.790 % | 1670.52/1678.53 c | 476 | 15672 14295 66874 | 6655 425 27 | 1.093 % | 1670.62/1678.68 c | 813 | 15650 14295 66874 | 7320 736 31 | 1.093 % | 1670.92/1678.91 c | 1320 | 15648 14295 66874 | 8052 1137 32 | 1.106 % | 1671.22/1679.25 c | 2080 | 15648 14295 66874 | 8857 1897 31 | 1.106 % | 1671.72/1679.76 c | 3220 | 15648 14295 66874 | 9743 3037 35 | 1.106 % | 1672.74/1680.75 c | 4928 | 15648 14295 66874 | 10717 4745 38 | 1.106 % | 1673.72/1681.79 c | 7490 | 15648 14295 66874 | 11789 7307 40 | 1.106 % | 1675.32/1683.36 c | 11335 | 15648 14295 66874 | 12968 11152 48 | 1.106 % | 1678.73/1686.74 c | 17101 | 15648 14295 66874 | 14265 10026 56 | 1.106 % | 1684.72/1692.78 c | 25752 | 15641 14295 66874 | 15692 11238 57 | 1.150 % | 1695.31/1703.37 c | 38727 | 15641 14295 66874 | 17261 15920 80 | 1.150 % | 1709.79/1717.88 c | 58190 | 15616 14295 66874 | 18987 17445 63 | 1.308 % | 1740.36/1748.54 c | 87382 | 15616 14295 66874 | 20886 16447 88 | 1.308 % | 1784.35/1792.54 c | 131172 | 15616 14295 66874 | 22974 17193 78 | 1.308 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875681-1245146823/watcher-1875681-1245146823 -o /tmp/evaluation-result-1875681-1245146823/solver-1875681-1245146823 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875681-1245146823.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: 2.29 2.17 1.96 3/72 5050 /proc/meminfo: memFree=251524/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=2724 CPUtime=0 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 218 0 0 0 0 0 0 0 19 0 1 0 182280210 2789376 202 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5050/statm: 681 202 128 292 0 336 0 [startup+0.013862 s] /proc/loadavg: 2.29 2.17 1.96 3/72 5050 /proc/meminfo: memFree=251524/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=2856 CPUtime=0.01 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 268 0 0 0 1 0 0 0 19 0 1 0 182280210 2924544 252 1992294400 134512640 135709839 4294956240 18446744073709551615 134543850 0 0 4096 3 0 0 0 17 0 0 0 /proc/5050/statm: 714 252 146 292 0 369 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2856 [startup+0.102876 s] /proc/loadavg: 2.29 2.17 1.96 3/72 5050 /proc/meminfo: memFree=251524/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=4792 CPUtime=0.09 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 823 0 0 0 9 0 0 0 19 0 1 0 182280210 4907008 757 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 1198 757 134 292 0 903 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4792 [startup+0.302897 s] /proc/loadavg: 2.29 2.17 1.96 3/72 5050 /proc/meminfo: memFree=251524/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=8648 CPUtime=0.29 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 1798 0 0 0 29 0 0 0 21 0 1 0 182280210 8855552 1732 1992294400 134512640 135709839 4294956240 18446744073709551615 135182873 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 2162 1732 134 292 0 1867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8648 [startup+0.70294 s] /proc/loadavg: 2.29 2.17 1.96 3/72 5050 /proc/meminfo: memFree=251524/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=17448 CPUtime=0.68 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 3986 0 0 0 67 1 0 0 25 0 1 0 182280210 17866752 3920 1992294400 134512640 135709839 4294956240 18446744073709551615 135167024 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 4362 3920 135 292 0 4067 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17448 [startup+1.50102 s] /proc/loadavg: 2.29 2.17 1.96 3/73 5051 /proc/meminfo: memFree=230972/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=29268 CPUtime=1.45 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 6940 0 0 0 137 8 0 0 25 0 1 0 182280210 29970432 6874 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 7317 6874 136 292 0 7022 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 29268 [startup+3.10119 s] /proc/loadavg: 2.19 2.15 1.96 4/73 5051 /proc/meminfo: memFree=216316/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=52376 CPUtime=3.01 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 12827 0 0 0 283 18 0 0 25 0 1 0 182280210 53633024 12600 1992294400 134512640 135709839 4294956240 18446744073709551615 134574804 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 13094 12600 136 292 0 12799 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 52376 [startup+6.30151 s] /proc/loadavg: 2.19 2.15 1.96 3/73 5051 /proc/meminfo: memFree=183420/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=71936 CPUtime=5.48 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 17885 0 0 0 512 36 0 0 25 0 1 0 182280210 73662464 17496 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 17984 17496 136 292 0 17689 0 Current children cumulated CPU time (s) 5.48 Current children cumulated vsize (KiB) 71936 [startup+12.7012 s] /proc/loadavg: 2.23 2.16 1.96 2/73 5051 /proc/meminfo: memFree=176836/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=76424 CPUtime=11.71 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 19037 0 0 0 1125 46 0 0 25 0 1 0 182280210 78258176 18648 1992294400 134512640 135709839 4294956240 18446744073709551615 134573731 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 19106 18648 136 292 0 18811 0 Current children cumulated CPU time (s) 11.71 Current children cumulated vsize (KiB) 76424 [startup+25.5025 s] /proc/loadavg: 2.12 2.14 1.96 3/73 5051 /proc/meminfo: memFree=166852/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=87140 CPUtime=24.41 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 21741 0 0 0 2387 54 0 0 25 0 1 0 182280210 89231360 21352 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 21785 21352 136 292 0 21490 0 Current children cumulated CPU time (s) 24.41 Current children cumulated vsize (KiB) 87140 [startup+51.1061 s] /proc/loadavg: 2.16 2.14 1.96 4/73 5051 /proc/meminfo: memFree=141636/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=111700 CPUtime=49.79 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 27852 0 0 0 4908 71 0 0 25 0 1 0 182280210 114380800 27463 1992294400 134512640 135709839 4294956240 18446744073709551615 134572798 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 27925 27463 136 292 0 27630 0 Current children cumulated CPU time (s) 49.79 Current children cumulated vsize (KiB) 111700 [startup+102.301 s] /proc/loadavg: 2.10 2.12 1.96 2/73 5051 /proc/meminfo: memFree=127172/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=126404 CPUtime=100.62 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 31486 0 0 0 9967 95 0 0 25 0 1 0 182280210 129437696 31097 1992294400 134512640 135709839 4294956240 18446744073709551615 134573648 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 31601 31097 136 292 0 31306 0 Current children cumulated CPU time (s) 100.62 Current children cumulated vsize (KiB) 126404 [startup+162.303 s] /proc/loadavg: 2.10 2.12 1.97 3/73 5051 /proc/meminfo: memFree=82308/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=171228 CPUtime=160.24 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 42669 0 0 0 15899 125 0 0 25 0 1 0 182280210 175337472 42280 1992294400 134512640 135709839 4294956240 18446744073709551615 134577661 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 42807 42280 136 292 0 42512 0 Current children cumulated CPU time (s) 160.24 Current children cumulated vsize (KiB) 171228 [startup+222.303 s] /proc/loadavg: 2.61 2.26 2.03 2/73 5051 /proc/meminfo: memFree=43204/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=210560 CPUtime=219.89 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 52475 0 0 0 21842 147 0 0 25 0 1 0 182280210 215613440 52086 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 52640 52086 136 292 0 52345 0 Current children cumulated CPU time (s) 219.89 Current children cumulated vsize (KiB) 210560 [startup+282.303 s] /proc/loadavg: 2.50 2.28 2.05 2/73 5051 /proc/meminfo: memFree=15172/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=250892 CPUtime=279.43 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 62523 0 0 0 27771 172 0 0 25 0 1 0 182280210 256913408 62134 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 62723 62134 136 292 0 62428 0 Current children cumulated CPU time (s) 279.43 Current children cumulated vsize (KiB) 250892 [startup+342.302 s] /proc/loadavg: 2.30 2.26 2.05 3/73 5051 /proc/meminfo: memFree=14916/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=286980 CPUtime=339.01 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 71503 0 0 0 33702 199 0 0 25 0 1 0 182280210 293867520 71114 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 71745 71114 136 292 0 71450 0 Current children cumulated CPU time (s) 339.01 Current children cumulated vsize (KiB) 286980 [startup+402.302 s] /proc/loadavg: 2.20 2.22 2.05 4/73 5052 /proc/meminfo: memFree=15620/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=322772 CPUtime=398.83 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 80402 0 0 0 39663 220 0 0 25 0 1 0 182280210 330518528 80013 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 80693 80013 136 292 0 80398 0 Current children cumulated CPU time (s) 398.83 Current children cumulated vsize (KiB) 322772 [startup+462.31 s] /proc/loadavg: 1.87 2.14 2.03 4/73 5052 /proc/meminfo: memFree=16324/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=359568 CPUtime=458.45 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 89581 0 0 0 45602 243 0 0 25 0 1 0 182280210 368197632 89192 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 89892 89192 136 292 0 89597 0 Current children cumulated CPU time (s) 458.45 Current children cumulated vsize (KiB) 359568 [startup+522.302 s] /proc/loadavg: 2.03 2.11 2.02 4/73 5052 /proc/meminfo: memFree=15748/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=393456 CPUtime=518.41 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 98048 0 0 0 51576 265 0 0 25 0 1 0 182280210 402898944 97659 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 98364 97659 136 292 0 98069 0 Current children cumulated CPU time (s) 518.41 Current children cumulated vsize (KiB) 393456 [startup+582.302 s] /proc/loadavg: 2.01 2.10 2.02 3/73 5052 /proc/meminfo: memFree=14916/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=429508 CPUtime=578.38 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 107016 0 0 0 57548 290 0 0 25 0 1 0 182280210 439816192 106627 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 107377 106627 136 292 0 107082 0 Current children cumulated CPU time (s) 578.38 Current children cumulated vsize (KiB) 429508 [startup+642.303 s] /proc/loadavg: 2.23 2.14 2.04 4/73 5052 /proc/meminfo: memFree=16132/2055920 swapFree=4178700/4192956 [pid=5050] ppid=5048 vsize=467196 CPUtime=638.18 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 116430 0 0 0 63503 315 0 0 25 0 1 0 182280210 478408704 116041 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 116799 116041 136 292 0 116504 0 Current children cumulated CPU time (s) 638.18 Current children cumulated vsize (KiB) 467196 [startup+702.306 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 2.07 2.10 2.04 2/73 5052 /proc/meminfo: memFree=15364/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=604528 CPUtime=877.44 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 150678 0 0 0 87338 406 0 0 25 0 1 0 182280210 619036672 150289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573837 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 151132 150289 136 292 0 150837 0 Current children cumulated CPU time (s) 877.44 Current children cumulated vsize (KiB) 604528 [startup+942.303 s] /proc/loadavg: 2.27 2.15 2.06 4/73 5052 /proc/meminfo: memFree=15172/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=643040 CPUtime=937.39 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 160259 0 0 0 93308 431 0 0 25 0 1 0 182280210 658472960 159870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 160760 159870 136 292 0 160465 0 Current children cumulated CPU time (s) 937.39 Current children cumulated vsize (KiB) 643040 [startup+1002.3 s] /proc/loadavg: 2.04 2.12 2.06 3/73 5052 /proc/meminfo: memFree=14916/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=674256 CPUtime=997.27 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 168061 0 0 0 99274 453 0 0 25 0 1 0 182280210 690438144 167672 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 168564 167672 136 292 0 168269 0 Current children cumulated CPU time (s) 997.27 Current children cumulated vsize (KiB) 674256 [startup+1062.3 s] /proc/loadavg: 2.24 2.16 2.07 4/73 5052 /proc/meminfo: memFree=15172/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=707352 CPUtime=1057.21 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 176326 0 0 0 105247 474 0 0 25 0 1 0 182280210 724328448 175937 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 176838 175937 136 292 0 176543 0 Current children cumulated CPU time (s) 1057.21 Current children cumulated vsize (KiB) 707352 [startup+1122.3 s] /proc/loadavg: 1.97 2.10 2.06 2/73 5052 /proc/meminfo: memFree=16004/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=739216 CPUtime=1117 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 184274 0 0 0 111204 496 0 0 25 0 1 0 182280210 756957184 183885 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 184804 183885 136 292 0 184509 0 Current children cumulated CPU time (s) 1117 Current children cumulated vsize (KiB) 739216 [startup+1182.3 s] /proc/loadavg: 2.07 2.08 2.05 3/73 5052 /proc/meminfo: memFree=15748/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=766656 CPUtime=1176.56 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 191142 0 0 0 117139 517 0 0 25 0 1 0 182280210 785055744 190753 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 191664 190753 136 292 0 191369 0 Current children cumulated CPU time (s) 1176.56 Current children cumulated vsize (KiB) 766656 [startup+1242.3 s] /proc/loadavg: 1.96 2.07 2.05 3/73 5052 /proc/meminfo: memFree=15364/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=794540 CPUtime=1236.23 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 198084 0 0 0 123087 536 0 0 25 0 1 0 182280210 813608960 197695 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 198635 197695 136 292 0 198340 0 Current children cumulated CPU time (s) 1236.23 Current children cumulated vsize (KiB) 794540 [startup+1302.3 s] /proc/loadavg: 2.12 2.08 2.05 3/73 5052 /proc/meminfo: memFree=15492/2055920 swapFree=4178704/4192956 [pid=5050] ppid=5048 vsize=822388 CPUtime=1295.83 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 205021 0 0 0 129025 558 0 0 25 0 1 0 182280210 842125312 204632 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 205597 204632 136 292 0 205302 0 Current children cumulated CPU time (s) 1295.83 Current children cumulated vsize (KiB) 822388 [startup+1362.31 s] /proc/loadavg: 2.17 2.10 2.06 3/73 5052 /proc/meminfo: memFree=15812/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=852764 CPUtime=1355.29 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 212620 0 0 0 134944 585 0 0 25 0 1 0 182280210 873230336 212231 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 213191 212231 136 292 0 212896 0 Current children cumulated CPU time (s) 1355.29 Current children cumulated vsize (KiB) 852764 [startup+1422.3 s] /proc/loadavg: 1.87 2.02 2.03 2/73 5052 /proc/meminfo: memFree=15300/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=892608 CPUtime=1414.87 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 222552 0 0 0 140873 614 0 0 25 0 1 0 182280210 914030592 222163 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 223152 222163 136 292 0 222857 0 Current children cumulated CPU time (s) 1414.87 Current children cumulated vsize (KiB) 892608 [startup+1482.3 s] /proc/loadavg: 2.16 2.06 2.04 3/73 5052 /proc/meminfo: memFree=15940/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=930012 CPUtime=1474.47 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 231892 0 0 0 146805 642 0 0 25 0 1 0 182280210 952332288 231503 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 232503 231503 136 292 0 232208 0 Current children cumulated CPU time (s) 1474.47 Current children cumulated vsize (KiB) 930012 [startup+1542.3 s] /proc/loadavg: 2.40 2.17 2.08 3/73 5052 /proc/meminfo: memFree=15044/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=969704 CPUtime=1534.41 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 241789 0 0 0 152771 670 0 0 25 0 1 0 182280210 992976896 241400 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 242426 241400 136 292 0 242131 0 Current children cumulated CPU time (s) 1534.41 Current children cumulated vsize (KiB) 969704 [startup+1602.3 s] /proc/loadavg: 2.42 2.22 2.10 2/73 5052 /proc/meminfo: memFree=15108/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=1007908 CPUtime=1594.39 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 251297 0 0 0 158745 694 0 0 25 0 1 0 182280210 1032097792 250908 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 251977 250908 136 292 0 251682 0 Current children cumulated CPU time (s) 1594.39 Current children cumulated vsize (KiB) 1007908 [startup+1662.3 s] /proc/loadavg: 2.18 2.19 2.10 3/73 5052 /proc/meminfo: memFree=15428/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=1075236 CPUtime=1654.34 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 268107 0 0 0 164717 717 0 0 25 0 1 0 182280210 1101041664 267718 1992294400 134512640 135709839 4294956240 18446744073709551615 134583751 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 268809 267718 136 292 0 268514 0 Current children cumulated CPU time (s) 1654.34 Current children cumulated vsize (KiB) 1075236 [startup+1722.3 s] /proc/loadavg: 2.47 2.26 2.12 2/73 5052 /proc/meminfo: memFree=16836/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=1076928 CPUtime=1714.26 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 268872 0 0 0 170691 735 0 0 25 0 1 0 182280210 1102774272 268168 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 269232 268168 136 292 0 268937 0 Current children cumulated CPU time (s) 1714.26 Current children cumulated vsize (KiB) 1076928 [startup+1782.3 s] /proc/loadavg: 2.52 2.31 2.14 2/73 5052 /proc/meminfo: memFree=16836/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=1076928 CPUtime=1774.14 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 268879 0 0 0 176663 751 0 0 25 0 1 0 182280210 1102774272 268175 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 269232 268175 136 292 0 268937 0 Current children cumulated CPU time (s) 1774.14 Current children cumulated vsize (KiB) 1076928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1808.2 s] /proc/loadavg: 2.09 2.23 2.12 2/73 5052 /proc/meminfo: memFree=16900/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=1076928 CPUtime=1800.04 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4194304 268881 0 0 0 179245 759 0 0 25 0 1 0 182280210 1102774272 268177 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 269232 268177 136 292 0 268937 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1076928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1808.31 s] /proc/loadavg: 2.09 2.23 2.12 2/73 5052 /proc/meminfo: memFree=16900/2055920 swapFree=4178712/4192956 [pid=5050] ppid=5048 vsize=0 CPUtime=1800.14 /proc/5050/stat : 5050 (wbo) R 5048 5050 4973 0 -1 4195332 268881 0 0 0 179245 769 0 0 25 0 1 0 182280210 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5050/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1808.38 CPU time (s): 1800.23 CPU user time (s): 1792.46 CPU system time (s): 7.76682 CPU usage (%): 99.5491 Max. virtual memory (cumulated for all children) (KiB): 1077896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.46 system time used= 7.76682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268881 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 23526 runsolver used 2.12868 second user time and 5.57015 second system time The end
Begin job on node90 at 2009-06-16 12:07:03 IDJOB=1875681 IDBENCH=2010 IDSOLVER=698 FILE ID=node90/1875681-1245146823 PBS_JOBID= 9363777 Free space on /tmp= 66528 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.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-1875681-1245146823/watcher-1875681-1245146823 -o /tmp/evaluation-result-1875681-1245146823/solver-1875681-1245146823 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875681-1245146823.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED=1692679096 node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 252140 kB Buffers: 51204 kB Cached: 1652616 kB SwapCached: 8760 kB Active: 1434476 kB Inactive: 296544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 252140 kB SwapTotal: 4192956 kB SwapFree: 4178700 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 34280 kB Slab: 57944 kB Committed_AS: 592848 kB PageTables: 2104 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-1875681-1245146823.opb Free space on /tmp at the end= 66528 MiB End job on node90 at 2009-06-16 12:37:13