Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 11.6492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
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-1875777-1245133002.opb. 0.00/0.00 c Instance file HOME/instance-1875777-1245133002.opb 0.00/0.00 c File size is 106158 bytes. 0.00/0.01 c Highest Coefficient sum: 25393 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1989 | 0.00/0.01 c | Number Clauses: 2084 | 0.00/0.01 c | Number Cardinality: 97 | 0.00/0.01 c | Number PB Constraints: 1 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 11 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 76 Core Weight: 25 Total Weight: 36 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 44 Core Weight: 12 Total Weight: 48 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 49 Core Weight: 56 Total Weight: 104 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 11 Core Weight: 13 Total Weight: 117 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 46 Core Weight: 24 Total Weight: 141 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 38 Core Weight: 36 Total Weight: 177 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 6 Core Weight: 165 Total Weight: 342 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #9 0.03/0.04 c Core size: 43 Core Weight: 22 Total Weight: 364 0.03/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #10 0.03/0.04 c Core size: 22 Core Weight: 186 Total Weight: 550 0.03/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.03/0.05 c core #11 0.03/0.05 c Core size: 76 Core Weight: 17 Total Weight: 567 0.03/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #12 0.03/0.05 c Core size: 97 Core Weight: 4 Total Weight: 571 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.06 c core #13 0.03/0.06 c Core size: 121 Core Weight: 4 Total Weight: 575 0.03/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #14 0.03/0.06 c Core size: 120 Core Weight: 29 Total Weight: 604 0.03/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #15 0.03/0.06 c Core size: 50 Core Weight: 8 Total Weight: 612 0.03/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #16 0.03/0.07 c Core size: 23 Core Weight: 55 Total Weight: 667 0.03/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #17 0.03/0.07 c Core size: 174 Core Weight: 1 Total Weight: 668 0.03/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #18 0.03/0.08 c Core size: 173 Core Weight: 1 Total Weight: 669 0.03/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #19 0.03/0.08 c Core size: 74 Core Weight: 13 Total Weight: 682 0.03/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #20 0.03/0.09 c Core size: 73 Core Weight: 2 Total Weight: 684 0.03/0.09 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #21 0.03/0.09 c Core size: 28 Core Weight: 17 Total Weight: 701 0.03/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.10 c core #22 0.03/0.10 c Core size: 67 Core Weight: 1 Total Weight: 702 0.03/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #23 0.09/0.10 c Core size: 78 Core Weight: 63 Total Weight: 765 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #24 0.09/0.11 c Core size: 124 Core Weight: 5 Total Weight: 770 0.09/0.11 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #25 0.09/0.11 c Core size: 161 Core Weight: 5 Total Weight: 775 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #26 0.09/0.12 c Core size: 200 Core Weight: 2 Total Weight: 777 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #27 0.09/0.12 c Core size: 199 Core Weight: 6 Total Weight: 783 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #28 0.09/0.13 c Core size: 55 Core Weight: 24 Total Weight: 807 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #29 0.09/0.14 c Core size: 53 Core Weight: 21 Total Weight: 828 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #30 0.09/0.14 c Core size: 63 Core Weight: 12 Total Weight: 840 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #31 0.09/0.15 c Core size: 145 Core Weight: 2 Total Weight: 842 0.09/0.15 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.16 c core #32 0.09/0.16 c Core size: 225 Core Weight: 3 Total Weight: 845 0.09/0.16 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #33 0.09/0.16 c Core size: 41 Core Weight: 89 Total Weight: 934 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #34 0.09/0.17 c Core size: 117 Core Weight: 25 Total Weight: 959 0.09/0.17 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #35 0.09/0.17 c Core size: 103 Core Weight: 4 Total Weight: 963 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #36 0.09/0.18 c Core size: 244 Core Weight: 4 Total Weight: 967 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #37 0.09/0.19 c Core size: 27 Core Weight: 48 Total Weight: 1015 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.20 c core #38 0.09/0.20 c Core size: 419 Core Weight: 2 Total Weight: 1017 0.09/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #39 0.19/0.20 c Core size: 98 Core Weight: 65 Total Weight: 1082 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #40 0.19/0.21 c Core size: 174 Core Weight: 21 Total Weight: 1103 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #41 0.19/0.22 c Core size: 174 Core Weight: 25 Total Weight: 1128 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #42 0.19/0.23 c Core size: 80 Core Weight: 26 Total Weight: 1154 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #43 0.19/0.24 c Core size: 38 Core Weight: 5 Total Weight: 1159 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: 133 Core Weight: 33 Total Weight: 1192 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #45 0.19/0.25 c Core size: 139 Core Weight: 12 Total Weight: 1204 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #46 0.19/0.26 c Core size: 54 Core Weight: 6 Total Weight: 1210 0.19/0.26 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #47 0.19/0.27 c Core size: 343 Core Weight: 3 Total Weight: 1213 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #48 0.19/0.28 c Core size: 49 Core Weight: 7 Total Weight: 1220 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #49 0.19/0.29 c Core size: 220 Core Weight: 47 Total Weight: 1267 0.19/0.29 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.30 c core #50 0.19/0.30 c Core size: 220 Core Weight: 7 Total Weight: 1274 0.19/0.30 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #51 0.29/0.31 c Core size: 98 Core Weight: 16 Total Weight: 1290 0.29/0.31 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #52 0.29/0.32 c Core size: 98 Core Weight: 1 Total Weight: 1291 0.29/0.32 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #53 0.29/0.32 c Core size: 98 Core Weight: 8 Total Weight: 1299 0.29/0.32 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #54 0.29/0.33 c Core size: 89 Core Weight: 8 Total Weight: 1307 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #55 0.29/0.34 c Core size: 89 Core Weight: 53 Total Weight: 1360 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #56 0.29/0.35 c Core size: 122 Core Weight: 2 Total Weight: 1362 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #57 0.29/0.36 c Core size: 59 Core Weight: 2 Total Weight: 1364 0.29/0.36 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #58 0.29/0.37 c Core size: 201 Core Weight: 7 Total Weight: 1371 0.29/0.37 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.39 c core #59 0.29/0.39 c Core size: 515 Core Weight: 2 Total Weight: 1373 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #60 0.39/0.40 c Core size: 542 Core Weight: 3 Total Weight: 1376 0.39/0.40 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #61 0.39/0.41 c Core size: 351 Core Weight: 1 Total Weight: 1377 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #62 0.39/0.42 c Core size: 350 Core Weight: 4 Total Weight: 1381 0.39/0.42 c Elapsed CPU time: 0.413937 s Remaining CPU time: 1799.59 s 0.39/0.44 c core #63 0.39/0.44 c Core size: 75 Core Weight: 58 Total Weight: 1439 0.39/0.44 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #64 0.39/0.45 c Core size: 403 Core Weight: 9 Total Weight: 1448 0.39/0.45 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #65 0.39/0.46 c Core size: 74 Core Weight: 56 Total Weight: 1504 0.39/0.46 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.48 c core #66 0.39/0.48 c Core size: 434 Core Weight: 1 Total Weight: 1505 0.39/0.48 c Elapsed CPU time: 0.464929 s Remaining CPU time: 1799.54 s 0.39/0.49 c core #67 0.39/0.49 c Core size: 371 Core Weight: 4 Total Weight: 1509 0.39/0.49 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #68 0.49/0.51 c Core size: 292 Core Weight: 18 Total Weight: 1527 0.49/0.51 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.49/0.52 c core #69 0.49/0.52 c Core size: 290 Core Weight: 4 Total Weight: 1531 0.49/0.52 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.54 c core #70 0.49/0.54 c Core size: 442 Core Weight: 1 Total Weight: 1532 0.49/0.54 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #71 0.49/0.55 c Core size: 441 Core Weight: 3 Total Weight: 1535 0.49/0.55 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #72 0.49/0.57 c Core size: 368 Core Weight: 14 Total Weight: 1549 0.49/0.57 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.49/0.58 c core #73 0.49/0.58 c Core size: 43 Core Weight: 5 Total Weight: 1554 0.49/0.58 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.60/0.60 c core #74 0.60/0.60 c Core size: 144 Core Weight: 1 Total Weight: 1555 0.60/0.60 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.60/0.61 c core #75 0.60/0.61 c Core size: 105 Core Weight: 21 Total Weight: 1576 0.60/0.61 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.60/0.63 c core #76 0.60/0.63 c Core size: 33 Core Weight: 43 Total Weight: 1619 0.60/0.63 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.60/0.65 c core #77 0.60/0.65 c Core size: 106 Core Weight: 49 Total Weight: 1668 0.60/0.65 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.60/0.66 c core #78 0.60/0.66 c Core size: 309 Core Weight: 6 Total Weight: 1674 0.60/0.66 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.60/0.68 c core #79 0.60/0.68 c Core size: 354 Core Weight: 1 Total Weight: 1675 0.60/0.68 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.60/0.70 c core #80 0.60/0.70 c Core size: 396 Core Weight: 5 Total Weight: 1680 0.60/0.70 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #81 0.69/0.71 c Core size: 328 Core Weight: 6 Total Weight: 1686 0.69/0.71 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.69/0.73 c core #82 0.69/0.73 c Core size: 446 Core Weight: 2 Total Weight: 1688 0.69/0.73 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.75 c core #83 0.69/0.75 c Core size: 446 Core Weight: 1 Total Weight: 1689 0.69/0.75 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.77 c core #84 0.69/0.77 c Core size: 537 Core Weight: 1 Total Weight: 1690 0.69/0.77 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.79 c core #85 0.69/0.79 c Core size: 541 Core Weight: 2 Total Weight: 1692 0.69/0.79 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.79/0.81 c core #86 0.79/0.81 c Core size: 540 Core Weight: 3 Total Weight: 1695 0.79/0.81 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.79/0.83 c core #87 0.79/0.83 c Core size: 539 Core Weight: 1 Total Weight: 1696 0.79/0.83 c Elapsed CPU time: 0.809876 s Remaining CPU time: 1799.19 s 0.79/0.85 c core #88 0.79/0.85 c Core size: 476 Core Weight: 4 Total Weight: 1700 0.79/0.85 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.79/0.87 c core #89 0.79/0.87 c Core size: 67 Core Weight: 73 Total Weight: 1773 0.79/0.87 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.79/0.89 c core #90 0.79/0.89 c Core size: 99 Core Weight: 20 Total Weight: 1793 0.79/0.89 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.89/0.92 c core #91 0.89/0.92 c Core size: 99 Core Weight: 43 Total Weight: 1836 0.89/0.92 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.94 c core #92 0.89/0.94 c Core size: 242 Core Weight: 8 Total Weight: 1844 0.89/0.94 c Elapsed CPU time: 0.907861 s Remaining CPU time: 1799.09 s 0.89/0.96 c core #93 0.89/0.96 c Core size: 38 Core Weight: 4 Total Weight: 1848 0.89/0.96 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.98 c core #94 0.89/0.98 c Core size: 139 Core Weight: 2 Total Weight: 1850 0.89/0.98 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s 0.89/1.00 c core #95 0.89/1.00 c Core size: 79 Core Weight: 29 Total Weight: 1879 0.89/1.00 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 1.00/1.02 c core #96 1.00/1.02 c Core size: 121 Core Weight: 4 Total Weight: 1883 1.00/1.02 c Elapsed CPU time: 0.987849 s Remaining CPU time: 1799.01 s 1.00/1.04 c core #97 1.00/1.04 c Core size: 572 Core Weight: 1 Total Weight: 1884 1.00/1.04 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 1.00/1.06 c core #98 1.00/1.06 c Core size: 120 Core Weight: 25 Total Weight: 1909 1.00/1.06 c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s 1.00/1.09 c core #99 1.00/1.09 c Core size: 25 Core Weight: 87 Total Weight: 1996 1.00/1.09 c Elapsed CPU time: 1.05384 s Remaining CPU time: 1798.95 s 1.09/1.11 c core #100 1.09/1.11 c Core size: 69 Core Weight: 12 Total Weight: 2008 1.09/1.11 c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s 1.09/1.13 c core #101 1.09/1.13 c Core size: 69 Core Weight: 19 Total Weight: 2027 1.09/1.13 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.09/1.15 c core #102 1.09/1.15 c Core size: 310 Core Weight: 1 Total Weight: 2028 1.09/1.15 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.09/1.18 c core #103 1.09/1.18 c Core size: 392 Core Weight: 2 Total Weight: 2030 1.09/1.18 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.19/1.20 c core #104 1.19/1.20 c Core size: 131 Core Weight: 1 Total Weight: 2031 1.19/1.20 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.19/1.22 c core #105 1.19/1.22 c Core size: 36 Core Weight: 64 Total Weight: 2095 1.19/1.22 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.19/1.25 c core #106 1.19/1.25 c Core size: 172 Core Weight: 12 Total Weight: 2107 1.19/1.25 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.19/1.27 c core #107 1.19/1.27 c Core size: 455 Core Weight: 2 Total Weight: 2109 1.19/1.27 c Elapsed CPU time: 1.23081 s Remaining CPU time: 1798.77 s 1.29/1.30 c core #108 1.29/1.30 c Core size: 354 Core Weight: 3 Total Weight: 2112 1.29/1.30 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.29/1.33 c core #109 1.29/1.33 c Core size: 79 Core Weight: 1 Total Weight: 2113 1.29/1.33 c Elapsed CPU time: 1.27981 s Remaining CPU time: 1798.72 s 1.29/1.35 c core #110 1.29/1.35 c Core size: 113 Core Weight: 22 Total Weight: 2135 1.29/1.35 c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s 1.29/1.38 c core #111 1.29/1.38 c Core size: 112 Core Weight: 17 Total Weight: 2152 1.29/1.38 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.39/1.40 c core #112 1.39/1.40 c Core size: 111 Core Weight: 8 Total Weight: 2160 1.39/1.40 c Elapsed CPU time: 1.34879 s Remaining CPU time: 1798.65 s 1.39/1.43 c core #113 1.39/1.43 c Core size: 110 Core Weight: 4 Total Weight: 2164 1.39/1.43 c Elapsed CPU time: 1.37379 s Remaining CPU time: 1798.63 s 1.39/1.46 c core #114 1.39/1.46 c Core size: 108 Core Weight: 1 Total Weight: 2165 1.39/1.46 c Elapsed CPU time: 1.39779 s Remaining CPU time: 1798.6 s 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 20383 22416 40748 | 7472 0 nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #115 1.39/1.49 c Core size: 277 Core Weight: 1 Total Weight: 2166 1.39/1.49 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.49/1.52 c Learning 1 hard constraints 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 20648 22686 41026 | 7562 0 nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #116 1.49/1.53 c Core size: 220 Core Weight: 5 Total Weight: 2171 1.49/1.53 c Elapsed CPU time: 1.46178 s Remaining CPU time: 1798.54 s 1.49/1.56 c Learning 1 hard constraints 1.49/1.56 c core #117 1.49/1.56 c Core size: 235 Core Weight: 3 Total Weight: 2174 1.49/1.56 c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 21090 23127 41551 | 7709 0 nan | 0.000 % | 1.49/1.60 c =============================================================================== 1.49/1.60 c core #118 1.49/1.60 c Core size: 190 Core Weight: 16 Total Weight: 2190 1.49/1.60 c Elapsed CPU time: 1.52577 s Remaining CPU time: 1798.47 s 1.58/1.63 c Learning 1 hard constraints 1.58/1.63 c core #119 1.58/1.63 c Core size: 187 Core Weight: 4 Total Weight: 2194 1.58/1.63 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.58/1.67 c ============================[ Search Statistics ]============================== 1.58/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.67 c =============================================================================== 1.58/1.67 c | 0 | 21456 23493 41970 | 7831 0 nan | 0.000 % | 1.58/1.67 c =============================================================================== 1.58/1.67 c core #120 1.58/1.67 c Core size: 189 Core Weight: 7 Total Weight: 2201 1.58/1.67 c Elapsed CPU time: 1.58876 s Remaining CPU time: 1798.41 s 1.69/1.70 c Learning 1 hard constraints 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 21640 23674 42296 | 7891 0 nan | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c core #121 1.69/1.71 c Core size: 186 Core Weight: 3 Total Weight: 2204 1.69/1.71 c Elapsed CPU time: 1.62375 s Remaining CPU time: 1798.38 s 1.69/1.74 c Learning 2 hard constraints 1.69/1.74 c ============================[ Search Statistics ]============================== 1.69/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.74 c =============================================================================== 1.69/1.74 c | 0 | 21821 23854 42774 | 7951 0 nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c core #122 1.69/1.75 c Core size: 300 Core Weight: 1 Total Weight: 2205 1.69/1.75 c Elapsed CPU time: 1.66275 s Remaining CPU time: 1798.34 s 1.69/1.79 c Learning 1 hard constraints 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 22115 24148 43150 | 8049 0 nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #123 1.69/1.79 c Core size: 300 Core Weight: 1 Total Weight: 2206 1.69/1.79 c Elapsed CPU time: 1.70174 s Remaining CPU time: 1798.3 s 1.78/1.83 c Learning 1 hard constraints 1.78/1.83 c core #124 1.78/1.83 c Core size: 268 Core Weight: 1 Total Weight: 2207 1.78/1.83 c Elapsed CPU time: 1.73774 s Remaining CPU time: 1798.26 s 1.78/1.87 c core #125 1.78/1.87 c Core size: 268 Core Weight: 1 Total Weight: 2208 1.78/1.87 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 22938 24970 44101 | 8323 0 nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c core #126 1.89/1.91 c Core size: 391 Core Weight: 1 Total Weight: 2209 1.89/1.91 c Elapsed CPU time: 1.82072 s Remaining CPU time: 1798.18 s 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 23321 25347 44529 | 8449 0 nan | 0.000 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c core #127 1.89/1.96 c Core size: 404 Core Weight: 1 Total Weight: 2210 1.89/1.96 c Elapsed CPU time: 1.86572 s Remaining CPU time: 1798.13 s 1.98/2.00 c ============================[ Search Statistics ]============================== 1.98/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.00 c =============================================================================== 1.98/2.00 c | 0 | 23719 25736 45216 | 8578 0 nan | 0.000 % | 1.98/2.01 c =============================================================================== 1.98/2.01 c core #128 1.98/2.01 c Core size: 403 Core Weight: 1 Total Weight: 2211 1.98/2.01 c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s 1.98/2.05 c ============================[ Search Statistics ]============================== 1.98/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.05 c =============================================================================== 1.98/2.05 c | 0 | 24116 26122 45923 | 8707 0 nan | 0.000 % | 1.98/2.05 c =============================================================================== 1.98/2.05 c core #129 1.98/2.05 c Core size: 223 Core Weight: 1 Total Weight: 2212 1.98/2.05 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.98/2.09 c ============================[ Search Statistics ]============================== 1.98/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.09 c =============================================================================== 1.98/2.09 c | 0 | 24330 26333 46168 | 8777 0 nan | 0.000 % | 1.98/2.10 c =============================================================================== 1.98/2.10 c core #130 1.98/2.10 c Core size: 199 Core Weight: 2 Total Weight: 2214 1.98/2.10 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 2.08/2.14 c Learning 1 hard constraints 2.08/2.14 c core #131 2.08/2.14 c Core size: 193 Core Weight: 1 Total Weight: 2215 2.08/2.14 c Elapsed CPU time: 2.02469 s Remaining CPU time: 1797.98 s 2.08/2.18 c ============================[ Search Statistics ]============================== 2.08/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.08/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.08/2.18 c =============================================================================== 2.08/2.18 c | 0 | 24710 26711 46652 | 8903 0 nan | 0.000 % | 2.08/2.18 c =============================================================================== 2.08/2.18 c core #132 2.08/2.18 c Core size: 197 Core Weight: 3 Total Weight: 2218 2.08/2.18 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 2.18/2.22 c Learning 1 hard constraints 2.18/2.22 c ============================[ Search Statistics ]============================== 2.18/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.22 c =============================================================================== 2.18/2.22 c | 0 | 24898 26899 46901 | 8966 0 nan | 0.000 % | 2.18/2.23 c =============================================================================== 2.18/2.23 c core #133 2.18/2.23 c Core size: 197 Core Weight: 1 Total Weight: 2219 2.18/2.23 c Elapsed CPU time: 2.10768 s Remaining CPU time: 1797.89 s 2.18/2.27 c Learning 1 hard constraints 2.18/2.27 c core #134 2.18/2.27 c Core size: 190 Core Weight: 1 Total Weight: 2220 2.18/2.27 c Elapsed CPU time: 2.14667 s Remaining CPU time: 1797.85 s 2.28/2.31 c core #135 2.28/2.31 c Core size: 190 Core Weight: 1 Total Weight: 2221 2.28/2.31 c Elapsed CPU time: 2.18467 s Remaining CPU time: 1797.82 s 2.28/2.35 c core #136 2.28/2.35 c Core size: 173 Core Weight: 1 Total Weight: 2222 2.28/2.35 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.38/2.40 c core #137 2.38/2.40 c Core size: 173 Core Weight: 2 Total Weight: 2224 2.38/2.40 c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s 2.38/2.44 c ============================[ Search Statistics ]============================== 2.38/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.44 c =============================================================================== 2.38/2.44 c | 0 | 25795 27791 48229 | 9263 0 nan | 0.000 % | 2.38/2.45 c =============================================================================== 2.38/2.45 c core #138 2.38/2.45 c Core size: 290 Core Weight: 3 Total Weight: 2227 2.38/2.45 c Elapsed CPU time: 2.31165 s Remaining CPU time: 1797.69 s 2.38/2.49 c Learning 1 hard constraints 2.38/2.49 c ============================[ Search Statistics ]============================== 2.38/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.49 c =============================================================================== 2.38/2.49 c | 0 | 26073 28061 48746 | 9353 0 nan | 0.000 % | 2.38/2.50 c =============================================================================== 2.38/2.50 c core #139 2.38/2.50 c Core size: 225 Core Weight: 1 Total Weight: 2228 2.38/2.50 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.47/2.54 c ============================[ Search Statistics ]============================== 2.47/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.54 c =============================================================================== 2.47/2.54 c | 0 | 26287 28268 49091 | 9422 0 nan | 0.000 % | 2.47/2.55 c =============================================================================== 2.47/2.55 c core #140 2.47/2.55 c Core size: 350 Core Weight: 1 Total Weight: 2229 2.47/2.55 c Elapsed CPU time: 2.40763 s Remaining CPU time: 1797.59 s 2.47/2.59 c Learning 4 hard constraints 2.47/2.59 c ============================[ Search Statistics ]============================== 2.47/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.59 c =============================================================================== 2.47/2.59 c | 0 | 26626 28605 49929 | 9535 0 nan | 0.000 % | 2.47/2.60 c =============================================================================== 2.47/2.60 c core #141 2.47/2.60 c Core size: 277 Core Weight: 1 Total Weight: 2230 2.47/2.60 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.58/2.64 c ============================[ Search Statistics ]============================== 2.58/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.64 c =============================================================================== 2.58/2.64 c | 0 | 26897 28871 50310 | 9623 0 nan | 0.000 % | 2.58/2.65 c =============================================================================== 2.58/2.65 c core #142 2.58/2.65 c Core size: 240 Core Weight: 1 Total Weight: 2231 2.58/2.65 c Elapsed CPU time: 2.49862 s Remaining CPU time: 1797.5 s 2.58/2.69 c ============================[ Search Statistics ]============================== 2.58/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.69 c =============================================================================== 2.58/2.69 c | 0 | 27127 29094 50764 | 9698 0 nan | 0.000 % | 2.68/2.70 c =============================================================================== 2.68/2.70 c core #143 2.68/2.70 c Core size: 275 Core Weight: 2 Total Weight: 2233 2.68/2.70 c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s 2.68/2.74 c ============================[ Search Statistics ]============================== 2.68/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.74 c =============================================================================== 2.68/2.74 c | 0 | 27402 29359 51368 | 9786 0 nan | 0.000 % | 2.68/2.75 c =============================================================================== 2.68/2.75 c core #144 2.68/2.75 c Core size: 377 Core Weight: 1 Total Weight: 2234 2.68/2.75 c Elapsed CPU time: 2.59461 s Remaining CPU time: 1797.41 s 2.78/2.80 c Learning 2 hard constraints 2.78/2.80 c ============================[ Search Statistics ]============================== 2.78/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.80 c =============================================================================== 2.78/2.80 c | 0 | 27772 29724 52209 | 9908 0 nan | 0.000 % | 2.78/2.81 c =============================================================================== 2.78/2.82 c core #145 2.78/2.82 c Core size: 670 Core Weight: 1 Total Weight: 2235 2.78/2.82 c Elapsed CPU time: 2.6536 s Remaining CPU time: 1797.35 s 2.78/2.86 c Learning 1 hard constraints 2.78/2.86 c ============================[ Search Statistics ]============================== 2.78/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.86 c =============================================================================== 2.78/2.86 c | 0 | 28419 30362 53104 | 10120 0 nan | 0.000 % | 2.78/2.88 c =============================================================================== 2.78/2.89 c core #146 2.78/2.89 c Core size: 922 Core Weight: 1 Total Weight: 2236 2.78/2.89 c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s 2.87/2.94 c Learning 2 hard constraints 2.87/2.94 c ============================[ Search Statistics ]============================== 2.87/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.94 c =============================================================================== 2.87/2.94 c | 0 | 29318 31234 54920 | 10411 0 nan | 0.000 % | 2.87/2.96 c =============================================================================== 2.87/2.96 c core #147 2.87/2.96 c Core size: 1015 Core Weight: 1 Total Weight: 2237 2.87/2.96 c Elapsed CPU time: 2.79358 s Remaining CPU time: 1797.21 s 2.98/3.02 c Learning 1 hard constraints 2.98/3.02 c ============================[ Search Statistics ]============================== 2.98/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.02 c =============================================================================== 2.98/3.02 c | 0 | 30304 32183 56533 | 10727 0 nan | 0.000 % | 2.98/3.03 c =============================================================================== 2.98/3.03 c core #148 2.98/3.03 c Core size: 416 Core Weight: 1 Total Weight: 2238 2.98/3.03 c Elapsed CPU time: 2.85157 s Remaining CPU time: 1797.15 s 2.98/3.08 c Learning 1 hard constraints 2.98/3.08 c ============================[ Search Statistics ]============================== 2.98/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.08 c =============================================================================== 2.98/3.08 c | 0 | 30705 32572 57303 | 10857 0 nan | 0.000 % | 3.08/3.10 c =============================================================================== 3.08/3.10 c core #149 3.08/3.10 c Core size: 549 Core Weight: 1 Total Weight: 2239 3.08/3.10 c Elapsed CPU time: 2.91656 s Remaining CPU time: 1797.08 s 3.08/3.15 c ============================[ Search Statistics ]============================== 3.08/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.08/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.08/3.15 c =============================================================================== 3.08/3.15 c | 0 | 31223 33064 58089 | 11021 0 nan | 0.000 % | 3.08/3.17 c =============================================================================== 3.08/3.17 c core #150 3.08/3.17 c Core size: 456 Core Weight: 1 Total Weight: 2240 3.08/3.17 c Elapsed CPU time: 2.99055 s Remaining CPU time: 1797.01 s 3.18/3.23 c Learning 2 hard constraints 3.18/3.23 c ============================[ Search Statistics ]============================== 3.18/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.23 c =============================================================================== 3.18/3.23 c | 0 | 31661 33492 58952 | 11164 0 nan | 0.000 % | 3.18/3.25 c =============================================================================== 3.18/3.25 c core #151 3.18/3.25 c Core size: 459 Core Weight: 1 Total Weight: 2241 3.18/3.25 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 3.27/3.30 c Learning 3 hard constraints 3.27/3.30 c ============================[ Search Statistics ]============================== 3.27/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.30 c =============================================================================== 3.27/3.30 c | 0 | 32101 33924 60069 | 11308 0 nan | 0.000 % | 3.27/3.34 c =============================================================================== 3.27/3.34 c core #152 3.27/3.34 c Core size: 500 Core Weight: 1 Total Weight: 2242 3.27/3.34 c Elapsed CPU time: 3.14152 s Remaining CPU time: 1796.86 s 3.27/3.39 c ============================[ Search Statistics ]============================== 3.27/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.39 c =============================================================================== 3.27/3.39 c | 0 | 32571 34366 60855 | 11455 0 nan | 0.000 % | 3.38/3.44 c =============================================================================== 3.38/3.44 c core #153 3.38/3.44 c Core size: 848 Core Weight: 1 Total Weight: 2243 3.38/3.44 c Elapsed CPU time: 3.23651 s Remaining CPU time: 1796.76 s 3.38/3.49 c Learning 4 hard constraints 3.38/3.49 c ============================[ Search Statistics ]============================== 3.38/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.49 c =============================================================================== 3.38/3.49 c | 0 | 33380 35132 62727 | 11710 0 nan | 0.000 % | 3.48/3.55 c =============================================================================== 3.48/3.55 c core #154 3.48/3.55 c Core size: 762 Core Weight: 1 Total Weight: 2244 3.48/3.55 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.58/3.60 c ============================[ Search Statistics ]============================== 3.58/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.60 c =============================================================================== 3.58/3.60 c | 0 | 34112 35816 64182 | 11938 0 nan | 0.000 % | 3.58/3.66 c =============================================================================== 3.58/3.66 c core #155 3.58/3.66 c Core size: 810 Core Weight: 1 Total Weight: 2245 3.58/3.66 c Elapsed CPU time: 3.44648 s Remaining CPU time: 1796.55 s 3.67/3.72 c Learning 1 hard constraints 3.67/3.72 c ============================[ Search Statistics ]============================== 3.67/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.72 c =============================================================================== 3.67/3.72 c | 0 | 34885 36541 65512 | 12180 0 nan | 0.000 % | 3.67/3.80 c =============================================================================== 3.67/3.80 c core #156 3.67/3.80 c Core size: 673 Core Weight: 1 Total Weight: 2246 3.67/3.80 c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s 3.78/3.85 c ============================[ Search Statistics ]============================== 3.78/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.85 c =============================================================================== 3.78/3.85 c | 0 | 35517 37096 66634 | 12365 0 nan | 0.000 % | 3.88/3.95 c =============================================================================== 3.88/3.95 c core #157 3.88/3.95 c Core size: 820 Core Weight: 1 Total Weight: 2247 3.88/3.95 c Elapsed CPU time: 3.71244 s Remaining CPU time: 1796.29 s 3.98/4.01 c Learning 3 hard constraints 3.98/4.01 c ============================[ Search Statistics ]============================== 3.98/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.01 c =============================================================================== 3.98/4.01 c | 0 | 36298 37830 68390 | 12610 0 nan | 0.000 % | 4.07/4.10 c =============================================================================== 4.07/4.10 c core #158 4.07/4.10 c Core size: 740 Core Weight: 1 Total Weight: 2248 4.07/4.10 c Elapsed CPU time: 3.85741 s Remaining CPU time: 1796.14 s 4.07/4.16 c ============================[ Search Statistics ]============================== 4.07/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.07/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.07/4.16 c =============================================================================== 4.07/4.16 c | 0 | 36995 38461 69785 | 12820 0 nan | 0.000 % | 4.18/4.29 c =============================================================================== 4.18/4.29 c core #159 4.18/4.29 c Core size: 968 Core Weight: 1 Total Weight: 2249 4.18/4.29 c Elapsed CPU time: 4.04638 s Remaining CPU time: 1795.95 s 4.28/4.35 c Learning 3 hard constraints 4.28/4.35 c ============================[ Search Statistics ]============================== 4.28/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.35 c =============================================================================== 4.28/4.35 c | 0 | 37920 39326 71758 | 13108 0 nan | 0.000 % | 4.37/4.46 c =============================================================================== 4.37/4.46 c core #160 4.37/4.46 c Core size: 1216 Core Weight: 1 Total Weight: 2250 4.37/4.46 c Elapsed CPU time: 4.20236 s Remaining CPU time: 1795.8 s 4.48/4.53 c Learning 1 hard constraints 4.48/4.53 c ============================[ Search Statistics ]============================== 4.48/4.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.53 c =============================================================================== 4.48/4.53 c | 0 | 39082 40410 73923 | 13470 0 nan | 0.000 % | 4.57/4.68 c =============================================================================== 4.57/4.68 c core #161 4.57/4.68 c Core size: 1228 Core Weight: 1 Total Weight: 2251 4.57/4.68 c Elapsed CPU time: 4.40733 s Remaining CPU time: 1795.59 s 4.68/4.75 c ============================[ Search Statistics ]============================== 4.68/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.75 c =============================================================================== 4.68/4.75 c | 0 | 40246 41464 76139 | 13821 0 nan | 0.000 % | 4.87/4.90 c | 100 | 40236 41464 76139 | 15203 86 258 | 4.189 % | 4.87/4.92 c =============================================================================== 4.87/4.92 c core #162 4.87/4.92 c Core size: 1219 Core Weight: 1 Total Weight: 2252 4.87/4.92 c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s 4.87/4.99 c Learning 1 hard constraints 4.87/4.99 c ============================[ Search Statistics ]============================== 4.87/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.87/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.87/4.99 c =============================================================================== 4.87/4.99 c | 0 | 41418 42538 79333 | 14179 0 nan | 0.000 % | 5.08/5.14 c | 100 | 41405 42538 79333 | 15597 47 184 | 4.055 % | 5.08/5.17 c =============================================================================== 5.08/5.18 c core #163 5.08/5.18 c Core size: 1008 Core Weight: 1 Total Weight: 2253 5.08/5.18 c Elapsed CPU time: 4.87926 s Remaining CPU time: 1795.12 s 5.17/5.25 c ============================[ Search Statistics ]============================== 5.17/5.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.17/5.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.17/5.25 c =============================================================================== 5.17/5.25 c | 0 | 42373 43418 81096 | 14472 0 nan | 0.000 % | 5.37/5.42 c =============================================================================== 5.37/5.42 c core #164 5.37/5.42 c Core size: 1394 Core Weight: 1 Total Weight: 2254 5.37/5.42 c Elapsed CPU time: 5.11122 s Remaining CPU time: 1794.89 s 5.37/5.50 c Learning 2 hard constraints 5.37/5.50 c ============================[ Search Statistics ]============================== 5.37/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.37/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.37/5.50 c =============================================================================== 5.37/5.50 c | 0 | 43691 44568 84126 | 14856 0 nan | 0.000 % | 5.57/5.64 c | 102 | 43683 44568 84126 | 16341 73 239 | 3.820 % | 5.67/5.71 c =============================================================================== 5.67/5.72 c core #165 5.67/5.72 c Core size: 1352 Core Weight: 1 Total Weight: 2255 5.67/5.72 c Elapsed CPU time: 5.39618 s Remaining CPU time: 1794.6 s 5.67/5.79 c Learning 2 hard constraints 5.67/5.79 c ============================[ Search Statistics ]============================== 5.67/5.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.67/5.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.67/5.79 c =============================================================================== 5.67/5.79 c | 0 | 44974 45690 87202 | 15230 0 nan | 0.000 % | 5.87/5.94 c | 100 | 44969 45690 87202 | 16753 81 157 | 3.694 % | 5.97/6.03 c =============================================================================== 5.97/6.03 c core #166 5.97/6.03 c Core size: 1294 Core Weight: 1 Total Weight: 2256 5.97/6.03 c Elapsed CPU time: 5.69713 s Remaining CPU time: 1794.3 s 6.07/6.11 c Learning 1 hard constraints 6.07/6.11 c ============================[ Search Statistics ]============================== 6.07/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.07/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.07/6.11 c =============================================================================== 6.07/6.11 c | 0 | 46180 46735 90032 | 15578 0 nan | 0.000 % | 6.17/6.28 c | 101 | 46179 46735 90032 | 17136 99 255 | 3.583 % | 6.27/6.34 c =============================================================================== 6.27/6.34 c core #167 6.27/6.34 c Core size: 1321 Core Weight: 1 Total Weight: 2257 6.27/6.34 c Elapsed CPU time: 5.99209 s Remaining CPU time: 1794.01 s 6.37/6.42 c Learning 2 hard constraints 6.37/6.42 c ============================[ Search Statistics ]============================== 6.37/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.37/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.37/6.42 c =============================================================================== 6.37/6.42 c | 0 | 47431 47866 93647 | 15955 0 nan | 0.000 % | 6.48/6.59 c | 101 | 47430 47866 93647 | 17550 99 206 | 3.478 % | 6.67/6.72 c =============================================================================== 6.67/6.72 c core #168 6.67/6.72 c Core size: 1365 Core Weight: 1 Total Weight: 2258 6.67/6.72 c Elapsed CPU time: 6.35503 s Remaining CPU time: 1793.64 s 6.77/6.80 c ============================[ Search Statistics ]============================== 6.77/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.77/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.77/6.80 c =============================================================================== 6.77/6.80 c | 0 | 48703 48977 96143 | 16325 0 nan | 0.000 % | 6.87/6.92 c =============================================================================== 6.87/6.92 c core #169 6.87/6.92 c Core size: 1165 Core Weight: 1 Total Weight: 2259 6.87/6.92 c Elapsed CPU time: 6.542 s Remaining CPU time: 1793.46 s 6.97/7.00 c ============================[ Search Statistics ]============================== 6.97/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.97/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.97/7.00 c =============================================================================== 6.97/7.00 c | 0 | 49802 49936 98052 | 16645 0 nan | 0.000 % | 7.07/7.18 c | 100 | 49802 49936 98052 | 18309 100 230 | 3.306 % | 7.37/7.44 c | 250 | 49799 49936 98052 | 20140 246 378 | 3.312 % | 7.47/7.54 c =============================================================================== 7.47/7.54 c core #170 7.47/7.54 c Core size: 2241 Core Weight: 1 Total Weight: 2260 7.47/7.54 c Elapsed CPU time: 7.13692 s Remaining CPU time: 1792.86 s 7.57/7.63 c Learning 11 hard constraints 7.57/7.63 c ============================[ Search Statistics ]============================== 7.57/7.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.57/7.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.57/7.63 c =============================================================================== 7.57/7.63 c | 0 | 51910 51642 104581 | 17214 0 nan | 0.000 % | 7.77/7.82 c | 100 | 51910 51642 104581 | 18935 100 279 | 3.157 % | 7.96/8.03 c | 250 | 51909 51642 104581 | 20828 249 333 | 3.158 % | 8.17/8.22 c =============================================================================== 8.17/8.22 c core #171 8.17/8.22 c Core size: 2148 Core Weight: 1 Total Weight: 2261 8.17/8.22 c Elapsed CPU time: 7.79481 s Remaining CPU time: 1792.21 s 8.27/8.31 c Learning 7 hard constraints 8.27/8.31 c ============================[ Search Statistics ]============================== 8.27/8.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.27/8.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.27/8.31 c =============================================================================== 8.27/8.31 c | 0 | 53936 53398 109771 | 17799 0 nan | 0.000 % | 8.46/8.53 c | 105 | 53936 53398 109771 | 19579 105 242 | 3.031 % | 8.67/8.76 c | 255 | 53933 53398 109771 | 21537 248 342 | 3.037 % | 8.77/8.85 c =============================================================================== 8.77/8.85 c core #172 8.77/8.85 c Core size: 2000 Core Weight: 1 Total Weight: 2262 8.77/8.85 c Elapsed CPU time: 8.40372 s Remaining CPU time: 1791.6 s 8.87/8.95 c Learning 11 hard constraints 8.87/8.95 c ============================[ Search Statistics ]============================== 8.87/8.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.95 c =============================================================================== 8.87/8.95 c | 0 | 55827 55043 115488 | 18347 0 nan | 0.000 % | 9.06/9.11 c | 101 | 55827 55043 115488 | 20182 101 366 | 2.921 % | 9.26/9.36 c =============================================================================== 9.26/9.36 c core #173 9.26/9.36 c Core size: 1864 Core Weight: 1 Total Weight: 2263 9.26/9.36 c Elapsed CPU time: 8.89665 s Remaining CPU time: 1791.1 s 9.37/9.46 c Learning 28 hard constraints 9.37/9.46 c ============================[ Search Statistics ]============================== 9.37/9.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.37/9.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.37/9.46 c =============================================================================== 9.37/9.46 c | 0 | 57571 56631 122484 | 18877 0 nan | 0.000 % | 9.47/9.51 c =============================================================================== 9.47/9.51 c core #174 9.47/9.51 c Core size: 741 Core Weight: 1 Total Weight: 2264 9.47/9.51 c Elapsed CPU time: 9.02463 s Remaining CPU time: 1790.98 s 9.57/9.61 c Learning 5 hard constraints 9.57/9.61 c ============================[ Search Statistics ]============================== 9.57/9.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.61 c =============================================================================== 9.57/9.61 c | 0 | 58279 57344 123660 | 19114 0 nan | 0.000 % | 9.66/9.79 c | 101 | 58279 57344 123660 | 21026 101 294 | 2.797 % | 9.96/10.07 c =============================================================================== 9.96/10.08 c core #175 9.96/10.08 c Core size: 2137 Core Weight: 1 Total Weight: 2265 9.96/10.08 c Elapsed CPU time: 9.56754 s Remaining CPU time: 1790.43 s 10.07/10.18 c Learning 21 hard constraints 10.07/10.18 c ============================[ Search Statistics ]============================== 10.07/10.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.07/10.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.07/10.18 c =============================================================================== 10.07/10.18 c | 0 | 60286 59112 129214 | 19704 0 nan | 0.000 % | 10.16/10.21 c =============================================================================== 10.16/10.21 c core #176 10.16/10.21 c Core size: 241 Core Weight: 1 Total Weight: 2266 10.16/10.21 c Elapsed CPU time: 9.68653 s Remaining CPU time: 1790.31 s 10.27/10.31 c Learning 2 hard constraints 10.27/10.31 c ============================[ Search Statistics ]============================== 10.27/10.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.27/10.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.27/10.31 c =============================================================================== 10.27/10.31 c | 0 | 60513 59339 129689 | 19779 0 nan | 0.000 % | 10.27/10.32 c =============================================================================== 10.27/10.32 c core #177 10.27/10.32 c Core size: 237 Core Weight: 1 Total Weight: 2267 10.27/10.32 c Elapsed CPU time: 9.78951 s Remaining CPU time: 1790.21 s 10.36/10.42 c ============================[ Search Statistics ]============================== 10.36/10.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.36/10.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.36/10.42 c =============================================================================== 10.36/10.42 c | 0 | 60742 59564 130103 | 19854 0 nan | 0.000 % | 10.36/10.45 c =============================================================================== 10.36/10.45 c core #178 10.36/10.45 c Core size: 254 Core Weight: 2 Total Weight: 2269 10.36/10.45 c Elapsed CPU time: 9.90549 s Remaining CPU time: 1790.09 s 10.46/10.55 c Learning 1 hard constraints 10.46/10.55 c ============================[ Search Statistics ]============================== 10.46/10.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.46/10.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.46/10.55 c =============================================================================== 10.46/10.55 c | 0 | 60982 59806 130368 | 19935 0 nan | 0.000 % | 10.46/10.58 c =============================================================================== 10.46/10.58 c core #179 10.46/10.58 c Core size: 430 Core Weight: 1 Total Weight: 2270 10.46/10.58 c Elapsed CPU time: 10.0155 s Remaining CPU time: 1789.98 s 10.57/10.68 c ============================[ Search Statistics ]============================== 10.57/10.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.57/10.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.57/10.68 c =============================================================================== 10.57/10.68 c | 0 | 61397 60217 130913 | 20072 0 nan | 0.000 % | 10.66/10.71 c =============================================================================== 10.66/10.71 c core #180 10.66/10.71 c Core size: 342 Core Weight: 1 Total Weight: 2271 10.66/10.71 c Elapsed CPU time: 10.1275 s Remaining CPU time: 1789.87 s 10.76/10.81 c Learning 1 hard constraints 10.76/10.81 c ============================[ Search Statistics ]============================== 10.76/10.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.76/10.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.76/10.81 c =============================================================================== 10.76/10.81 c | 0 | 61721 60543 131262 | 20181 0 nan | 0.000 % | 10.76/10.84 c =============================================================================== 10.76/10.84 c core #181 10.76/10.84 c Core size: 341 Core Weight: 1 Total Weight: 2272 10.76/10.84 c Elapsed CPU time: 10.2374 s Remaining CPU time: 1789.76 s 10.87/10.94 c ============================[ Search Statistics ]============================== 10.87/10.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.87/10.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.87/10.94 c =============================================================================== 10.87/10.94 c | 0 | 62047 60868 131611 | 20289 0 nan | 0.000 % | 10.87/10.97 c =============================================================================== 10.87/10.97 c core #182 10.87/10.97 c Core size: 341 Core Weight: 1 Total Weight: 2273 10.87/10.97 c Elapsed CPU time: 10.3544 s Remaining CPU time: 1789.65 s 10.96/11.07 c Learning 1 hard constraints 10.96/11.07 c ============================[ Search Statistics ]============================== 10.96/11.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.96/11.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.96/11.07 c =============================================================================== 10.96/11.07 c | 0 | 62371 61191 132028 | 20397 0 nan | 0.000 % | 11.06/11.10 c =============================================================================== 11.06/11.10 c core #183 11.06/11.10 c Core size: 417 Core Weight: 1 Total Weight: 2274 11.06/11.10 c Elapsed CPU time: 10.4674 s Remaining CPU time: 1789.53 s 11.16/11.21 c ============================[ Search Statistics ]============================== 11.16/11.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.16/11.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.16/11.21 c =============================================================================== 11.16/11.21 c | 0 | 62770 61566 132646 | 20522 0 nan | 0.000 % | 11.16/11.25 c =============================================================================== 11.16/11.25 c core #184 11.16/11.25 c Core size: 511 Core Weight: 1 Total Weight: 2275 11.16/11.25 c Elapsed CPU time: 10.5984 s Remaining CPU time: 1789.4 s 11.26/11.35 c Learning 2 hard constraints 11.26/11.35 c ============================[ Search Statistics ]============================== 11.26/11.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.26/11.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.26/11.35 c =============================================================================== 11.26/11.35 c | 0 | 63250 62050 133200 | 20683 0 nan | 0.000 % | 11.26/11.37 c =============================================================================== 11.26/11.37 c core #185 11.26/11.37 c Core size: 609 Core Weight: 1 Total Weight: 2276 11.26/11.37 c Elapsed CPU time: 10.7184 s Remaining CPU time: 1789.28 s 11.36/11.48 c ============================[ Search Statistics ]============================== 11.36/11.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.36/11.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.36/11.48 c =============================================================================== 11.36/11.48 c | 0 | 63837 62631 134082 | 20877 0 nan | 0.000 % | 11.46/11.53 c =============================================================================== 11.46/11.53 c core #186 11.46/11.53 c Core size: 536 Core Weight: 1 Total Weight: 2277 11.46/11.53 c Elapsed CPU time: 10.8563 s Remaining CPU time: 1789.14 s 11.56/11.64 c Learning 4 hard constraints 11.56/11.64 c ============================[ Search Statistics ]============================== 11.56/11.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.56/11.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.56/11.64 c =============================================================================== 11.56/11.64 c | 0 | 64340 63134 134895 | 21044 0 nan | 0.000 % | 11.56/11.67 c =============================================================================== 11.56/11.67 c core #187 11.56/11.67 c Core size: 629 Core Weight: 1 Total Weight: 2278 11.56/11.67 c Elapsed CPU time: 10.9823 s Remaining CPU time: 1789.02 s 11.66/11.78 c Learning 4 hard constraints 11.66/11.78 c ============================[ Search Statistics ]============================== 11.66/11.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.66/11.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.66/11.78 c =============================================================================== 11.66/11.78 c | 0 | 64934 63720 135709 | 21240 0 nan | 0.000 % | 11.75/11.82 c =============================================================================== 11.75/11.82 c core #188 11.75/11.82 c Core size: 438 Core Weight: 1 Total Weight: 2279 11.75/11.82 c Elapsed CPU time: 11.1113 s Remaining CPU time: 1788.89 s 11.85/11.93 c ============================[ Search Statistics ]============================== 11.85/11.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.85/11.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.85/11.93 c =============================================================================== 11.85/11.93 c | 0 | 65345 64121 136219 | 21373 0 nan | 0.000 % | 11.85/11.97 c =============================================================================== 11.85/11.97 c core #189 11.85/11.97 c Core size: 401 Core Weight: 1 Total Weight: 2280 11.85/11.97 c Elapsed CPU time: 11.2423 s Remaining CPU time: 1788.76 s 11.96/12.08 c ============================[ Search Statistics ]============================== 11.96/12.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.96/12.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.96/12.08 c =============================================================================== 11.96/12.08 c | 0 | 65718 64474 136676 | 21491 0 nan | 0.000 % | 12.06/12.12 c =============================================================================== 12.06/12.12 c core #190 12.06/12.12 c Core size: 414 Core Weight: 1 Total Weight: 2281 12.06/12.12 c Elapsed CPU time: 11.3633 s Remaining CPU time: 1788.64 s 12.16/12.23 c ============================[ Search Statistics ]============================== 12.16/12.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.16/12.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.16/12.23 c =============================================================================== 12.16/12.23 c | 0 | 66097 64839 137138 | 21613 0 nan | 0.000 % | 12.16/12.27 c =============================================================================== 12.16/12.28 c core #191 12.16/12.28 c Core size: 496 Core Weight: 1 Total Weight: 2282 12.16/12.28 c Elapsed CPU time: 11.4993 s Remaining CPU time: 1788.5 s 12.25/12.38 c ============================[ Search Statistics ]============================== 12.25/12.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.25/12.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.25/12.38 c =============================================================================== 12.25/12.38 c | 0 | 66566 65291 137949 | 21763 0 nan | 0.000 % | 12.35/12.44 c =============================================================================== 12.35/12.44 c core #192 12.35/12.44 c Core size: 889 Core Weight: 1 Total Weight: 2283 12.35/12.44 c Elapsed CPU time: 11.6542 s Remaining CPU time: 1788.35 s 12.45/12.55 c Learning 5 hard constraints 12.45/12.55 c ============================[ Search Statistics ]============================== 12.45/12.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.45/12.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.45/12.55 c =============================================================================== 12.45/12.55 c | 0 | 67403 66088 139500 | 22029 0 nan | 0.000 % | 12.55/12.61 c =============================================================================== 12.55/12.61 c core #193 12.55/12.61 c Core size: 814 Core Weight: 1 Total Weight: 2284 12.55/12.61 c Elapsed CPU time: 11.8032 s Remaining CPU time: 1788.2 s 12.65/12.72 c Learning 1 hard constraints 12.65/12.72 c ============================[ Search Statistics ]============================== 12.65/12.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.65/12.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.65/12.72 c =============================================================================== 12.65/12.72 c | 0 | 68182 66822 141141 | 22274 0 nan | 0.000 % | 12.65/12.77 c =============================================================================== 12.65/12.78 c core #194 12.65/12.78 c Core size: 659 Core Weight: 1 Total Weight: 2285 12.65/12.78 c Elapsed CPU time: 11.9572 s Remaining CPU time: 1788.04 s 12.75/12.89 c ============================[ Search Statistics ]============================== 12.75/12.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.75/12.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.75/12.89 c =============================================================================== 12.75/12.89 c | 0 | 68811 67441 142142 | 22480 0 nan | 0.000 % | 12.85/12.96 c =============================================================================== 12.85/12.96 c core #195 12.85/12.96 c Core size: 999 Core Weight: 1 Total Weight: 2286 12.85/12.96 c Elapsed CPU time: 12.1162 s Remaining CPU time: 1787.88 s 12.95/13.08 c ============================[ Search Statistics ]============================== 12.95/13.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.95/13.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.95/13.08 c =============================================================================== 12.95/13.08 c | 0 | 69770 68381 143396 | 22793 0 nan | 0.000 % | 13.05/13.14 c =============================================================================== 13.05/13.14 c core #196 13.05/13.14 c Core size: 659 Core Weight: 1 Total Weight: 2287 13.05/13.14 c Elapsed CPU time: 12.2741 s Remaining CPU time: 1787.73 s 13.16/13.25 c ============================[ Search Statistics ]============================== 13.16/13.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.16/13.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.16/13.25 c =============================================================================== 13.16/13.25 c | 0 | 70398 68999 144241 | 22999 0 nan | 0.000 % | 13.16/13.28 c =============================================================================== 13.16/13.28 c core #197 13.16/13.28 c Core size: 540 Core Weight: 1 Total Weight: 2288 13.16/13.28 c Elapsed CPU time: 12.4051 s Remaining CPU time: 1787.59 s 13.35/13.40 c ============================[ Search Statistics ]============================== 13.35/13.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.35/13.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.35/13.40 c =============================================================================== 13.35/13.40 c | 0 | 70908 69500 144912 | 23166 0 nan | 0.000 % | 13.45/13.56 c =============================================================================== 13.45/13.56 c core #198 13.45/13.56 c Core size: 929 Core Weight: 1 Total Weight: 2289 13.45/13.56 c Elapsed CPU time: 12.6431 s Remaining CPU time: 1787.36 s 13.55/13.67 c Learning 1 hard constraints 13.55/13.67 c ============================[ Search Statistics ]============================== 13.55/13.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.55/13.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.55/13.67 c =============================================================================== 13.55/13.67 c | 0 | 71767 70227 146840 | 23409 0 nan | 0.000 % | 13.64/13.71 c =============================================================================== 13.64/13.71 c core #199 13.64/13.71 c Core size: 518 Core Weight: 1 Total Weight: 2290 13.64/13.71 c Elapsed CPU time: 12.7871 s Remaining CPU time: 1787.21 s 13.75/13.83 c Learning 1 hard constraints 13.75/13.83 c ============================[ Search Statistics ]============================== 13.75/13.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.75/13.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.75/13.83 c =============================================================================== 13.75/13.83 c | 0 | 72260 70706 147721 | 23568 0 nan | 0.000 % | 13.75/13.88 c =============================================================================== 13.75/13.88 c core #200 13.75/13.88 c Core size: 546 Core Weight: 1 Total Weight: 2291 13.75/13.88 c Elapsed CPU time: 12.942 s Remaining CPU time: 1787.06 s 13.95/14.00 c Learning 3 hard constraints 13.95/14.00 c ============================[ Search Statistics ]============================== 13.95/14.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.95/14.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.95/14.00 c =============================================================================== 13.95/14.00 c | 0 | 72768 71195 148727 | 23731 0 nan | 0.000 % | 14.05/14.13 c =============================================================================== 14.05/14.14 c core #201 14.05/14.14 c Core size: 1549 Core Weight: 1 Total Weight: 2292 14.05/14.14 c Elapsed CPU time: 13.161 s Remaining CPU time: 1786.84 s 14.15/14.26 c Learning 4 hard constraints 14.15/14.26 c ============================[ Search Statistics ]============================== 14.15/14.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.15/14.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.15/14.26 c =============================================================================== 14.15/14.26 c | 0 | 74239 72489 152444 | 24163 0 nan | 0.000 % | 14.25/14.34 c =============================================================================== 14.25/14.34 c core #202 14.25/14.34 c Core size: 902 Core Weight: 1 Total Weight: 2293 14.25/14.34 c Elapsed CPU time: 13.35 s Remaining CPU time: 1786.65 s 14.35/14.46 c Learning 3 hard constraints 14.35/14.46 c ============================[ Search Statistics ]============================== 14.35/14.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.35/14.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.35/14.46 c =============================================================================== 14.35/14.46 c | 0 | 75100 73311 154210 | 24437 0 nan | 0.000 % | 14.55/14.60 c =============================================================================== 14.55/14.60 c core #203 14.55/14.60 c Core size: 1062 Core Weight: 1 Total Weight: 2294 14.55/14.60 c Elapsed CPU time: 13.5859 s Remaining CPU time: 1786.41 s 14.64/14.72 c Learning 5 hard constraints 14.64/14.72 c ============================[ Search Statistics ]============================== 14.64/14.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.64/14.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.64/14.72 c =============================================================================== 14.64/14.72 c | 0 | 76099 74191 157196 | 24730 0 nan | 0.000 % | 14.74/14.84 c =============================================================================== 14.74/14.84 c core #204 14.74/14.84 c Core size: 1042 Core Weight: 1 Total Weight: 2295 14.74/14.84 c Elapsed CPU time: 13.8139 s Remaining CPU time: 1786.19 s 14.85/14.96 c Learning 3 hard constraints 14.85/14.96 c ============================[ Search Statistics ]============================== 14.85/14.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.85/14.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.85/14.96 c =============================================================================== 14.85/14.96 c | 0 | 77072 75034 159854 | 25011 0 nan | 0.000 % | 15.15/15.27 c =============================================================================== 15.15/15.27 c core #205 15.15/15.27 c Core size: 1796 Core Weight: 1 Total Weight: 2296 15.15/15.27 c Elapsed CPU time: 14.2198 s Remaining CPU time: 1785.78 s 15.35/15.40 c Learning 3 hard constraints 15.35/15.40 c ============================[ Search Statistics ]============================== 15.35/15.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.35/15.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.35/15.40 c =============================================================================== 15.35/15.40 c | 0 | 78759 76538 163790 | 25512 0 nan | 0.000 % | 15.55/15.61 c =============================================================================== 15.55/15.61 c core #206 15.55/15.61 c Core size: 1099 Core Weight: 1 Total Weight: 2297 15.55/15.61 c Elapsed CPU time: 14.5348 s Remaining CPU time: 1785.47 s 15.65/15.74 c Learning 2 hard constraints 15.65/15.74 c ============================[ Search Statistics ]============================== 15.65/15.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.65/15.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.65/15.74 c =============================================================================== 15.65/15.74 c | 0 | 79787 77436 166267 | 25812 0 nan | 0.000 % | 15.94/16.02 c =============================================================================== 15.94/16.02 c core #207 15.94/16.02 c Core size: 1260 Core Weight: 1 Total Weight: 2298 15.94/16.02 c Elapsed CPU time: 14.9197 s Remaining CPU time: 1785.08 s 16.05/16.15 c Learning 1 hard constraints 16.05/16.15 c ============================[ Search Statistics ]============================== 16.05/16.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.05/16.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.05/16.15 c =============================================================================== 16.05/16.15 c | 0 | 80976 78515 168746 | 26171 0 nan | 0.000 % | 16.14/16.22 c =============================================================================== 16.14/16.22 c core #208 16.14/16.22 c Core size: 615 Core Weight: 1 Total Weight: 2299 16.14/16.22 c Elapsed CPU time: 15.1047 s Remaining CPU time: 1784.9 s 16.24/16.35 c Learning 1 hard constraints 16.24/16.35 c ============================[ Search Statistics ]============================== 16.24/16.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.24/16.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.24/16.35 c =============================================================================== 16.24/16.35 c | 0 | 81541 79042 169571 | 26347 0 nan | 0.000 % | 16.45/16.55 c =============================================================================== 16.45/16.55 c core #209 16.45/16.55 c Core size: 1384 Core Weight: 1 Total Weight: 2300 16.45/16.55 c Elapsed CPU time: 15.4087 s Remaining CPU time: 1784.59 s 16.54/16.69 c Learning 1 hard constraints 16.54/16.69 c ============================[ Search Statistics ]============================== 16.54/16.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.54/16.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.54/16.69 c =============================================================================== 16.54/16.69 c | 0 | 82848 80205 172236 | 26735 0 nan | 0.000 % | 16.94/17.01 c | 103 | 82845 80205 172236 | 29408 99 426 | 1.899 % | 16.94/17.06 c =============================================================================== 16.94/17.06 c core #210 16.94/17.06 c Core size: 1788 Core Weight: 1 Total Weight: 2301 16.94/17.06 c Elapsed CPU time: 15.9026 s Remaining CPU time: 1784.1 s 17.14/17.20 c Learning 2 hard constraints 17.14/17.20 c ============================[ Search Statistics ]============================== 17.14/17.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.14/17.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.14/17.20 c =============================================================================== 17.14/17.20 c | 0 | 84514 81494 176214 | 27164 0 nan | 0.000 % | 17.45/17.58 c =============================================================================== 17.45/17.58 c core #211 17.45/17.58 c Core size: 1492 Core Weight: 1 Total Weight: 2302 17.45/17.58 c Elapsed CPU time: 16.3875 s Remaining CPU time: 1783.61 s 17.64/17.72 c Learning 1 hard constraints 17.64/17.72 c ============================[ Search Statistics ]============================== 17.64/17.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.64/17.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.64/17.72 c =============================================================================== 17.64/17.72 c | 0 | 85902 82610 179245 | 27536 0 nan | 0.000 % | 18.04/18.15 c | 101 | 85902 82610 179245 | 30290 101 477 | 1.818 % | 18.24/18.37 c =============================================================================== 18.24/18.38 c core #212 18.24/18.38 c Core size: 1712 Core Weight: 1 Total Weight: 2303 18.24/18.38 c Elapsed CPU time: 17.1534 s Remaining CPU time: 1782.85 s 18.44/18.52 c Learning 6 hard constraints 18.44/18.52 c ============================[ Search Statistics ]============================== 18.44/18.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.44/18.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.44/18.52 c =============================================================================== 18.44/18.52 c | 0 | 87498 83767 185418 | 27922 0 nan | 0.000 % | 18.84/18.98 c | 101 | 87496 83767 185418 | 30714 101 506 | 1.776 % | 19.04/19.19 c =============================================================================== 19.04/19.19 c core #213 19.04/19.19 c Core size: 1782 Core Weight: 1 Total Weight: 2304 19.04/19.19 c Elapsed CPU time: 17.9293 s Remaining CPU time: 1782.07 s 19.24/19.33 c Learning 2 hard constraints 19.24/19.33 c ============================[ Search Statistics ]============================== 19.24/19.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.24/19.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.24/19.33 c =============================================================================== 19.24/19.33 c | 0 | 89160 85135 189956 | 28378 0 nan | 0.000 % | 19.54/19.69 c | 102 | 89160 85135 189956 | 31216 102 377 | 1.729 % | 19.94/20.07 c =============================================================================== 19.94/20.08 c core #214 19.94/20.08 c Core size: 2471 Core Weight: 1 Total Weight: 2305 19.94/20.08 c Elapsed CPU time: 18.7951 s Remaining CPU time: 1781.2 s 20.13/20.23 c Learning 2 hard constraints 20.13/20.23 c ============================[ Search Statistics ]============================== 20.13/20.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.13/20.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.13/20.23 c =============================================================================== 20.13/20.23 c | 0 | 91446 86822 194519 | 28940 0 nan | 0.000 % | 20.44/20.59 c | 100 | 91445 86822 194519 | 31834 97 393 | 1.686 % | 20.84/20.94 c =============================================================================== 20.84/20.94 c core #215 20.84/20.94 c Core size: 2325 Core Weight: 1 Total Weight: 2306 20.84/20.94 c Elapsed CPU time: 19.623 s Remaining CPU time: 1780.38 s 21.04/21.10 c Learning 10 hard constraints 21.04/21.10 c ============================[ Search Statistics ]============================== 21.04/21.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.04/21.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.04/21.10 c =============================================================================== 21.04/21.10 c | 0 | 93620 88343 202304 | 29447 0 nan | 0.000 % | 21.14/21.21 c =============================================================================== 21.14/21.21 c core #216 21.14/21.21 c Core size: 422 Core Weight: 1 Total Weight: 2307 21.14/21.21 c Elapsed CPU time: 19.852 s Remaining CPU time: 1780.15 s 21.24/21.36 c Learning 1 hard constraints 21.24/21.36 c ============================[ Search Statistics ]============================== 21.24/21.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.24/21.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.24/21.36 c =============================================================================== 21.24/21.36 c | 0 | 94001 88702 202795 | 29567 0 nan | 0.000 % | 21.54/21.69 c | 100 | 93994 88702 202795 | 32524 95 242 | 1.638 % | 21.73/21.84 c =============================================================================== 21.73/21.84 c core #217 21.73/21.84 c Core size: 1691 Core Weight: 1 Total Weight: 2308 21.73/21.84 c Elapsed CPU time: 20.4539 s Remaining CPU time: 1779.55 s 21.94/22.00 c Learning 5 hard constraints 21.94/22.00 c ============================[ Search Statistics ]============================== 21.94/22.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.94/22.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.94/22.00 c =============================================================================== 21.94/22.00 c | 0 | 95586 90014 208524 | 30004 0 nan | 0.000 % | 22.23/22.32 c | 101 | 95586 90014 208524 | 33005 101 383 | 1.596 % | 22.63/22.73 c =============================================================================== 22.63/22.73 c core #218 22.63/22.73 c Core size: 2173 Core Weight: 1 Total Weight: 2309 22.63/22.73 c Elapsed CPU time: 21.3078 s Remaining CPU time: 1778.69 s 22.73/22.89 c Learning 15 hard constraints 22.73/22.89 c ============================[ Search Statistics ]============================== 22.73/22.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.73/22.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.73/22.89 c =============================================================================== 22.73/22.89 c | 0 | 97585 91461 214599 | 30487 0 nan | 0.000 % | 23.04/23.14 c | 101 | 97578 91461 214599 | 33535 93 320 | 4.533 % | 23.14/23.20 c =============================================================================== 23.14/23.21 c core #219 23.14/23.21 c Core size: 1648 Core Weight: 1 Total Weight: 2310 23.14/23.21 c Elapsed CPU time: 21.7617 s Remaining CPU time: 1778.24 s 23.23/23.37 c Learning 4 hard constraints 23.23/23.37 c ============================[ Search Statistics ]============================== 23.23/23.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.23/23.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.23/23.37 c =============================================================================== 23.23/23.37 c | 0 | 99128 92853 217728 | 30951 0 nan | 0.000 % | 23.53/23.67 c | 103 | 99128 92853 217728 | 34046 103 403 | 1.533 % | 23.73/23.82 c =============================================================================== 23.73/23.82 c core #220 23.73/23.82 c Core size: 1218 Core Weight: 1 Total Weight: 2311 23.73/23.82 c Elapsed CPU time: 22.3516 s Remaining CPU time: 1777.65 s 23.83/23.98 c Learning 13 hard constraints 23.83/23.98 c ============================[ Search Statistics ]============================== 23.83/23.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.83/23.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.83/23.98 c =============================================================================== 23.83/23.98 c | 0 | 100279 93921 224343 | 31307 0 nan | 0.000 % | 23.93/24.04 c =============================================================================== 23.93/24.04 c core #221 23.93/24.04 c Core size: 489 Core Weight: 1 Total Weight: 2312 23.93/24.04 c Elapsed CPU time: 22.5526 s Remaining CPU time: 1777.45 s 24.04/24.20 c Learning 3 hard constraints 24.04/24.20 c ============================[ Search Statistics ]============================== 24.04/24.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.04/24.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.04/24.20 c =============================================================================== 24.04/24.20 c | 0 | 100718 94337 225295 | 31445 0 nan | 0.000 % | 24.33/24.47 c =============================================================================== 24.33/24.47 c core #222 24.33/24.47 c Core size: 1711 Core Weight: 1 Total Weight: 2313 24.33/24.47 c Elapsed CPU time: 22.9505 s Remaining CPU time: 1777.05 s 24.53/24.63 c Learning 5 hard constraints 24.53/24.63 c ============================[ Search Statistics ]============================== 24.53/24.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.53/24.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.53/24.63 c =============================================================================== 24.53/24.63 c | 0 | 102308 95696 229953 | 31898 0 nan | 0.000 % | 24.83/24.94 c =============================================================================== 24.83/24.94 c core #223 24.83/24.94 c Core size: 1452 Core Weight: 1 Total Weight: 2314 24.83/24.94 c Elapsed CPU time: 23.3874 s Remaining CPU time: 1776.61 s 25.03/25.10 c Learning 6 hard constraints 25.03/25.10 c ============================[ Search Statistics ]============================== 25.03/25.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.03/25.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.03/25.10 c =============================================================================== 25.03/25.10 c | 0 | 103642 96832 233764 | 32277 0 nan | 0.000 % | 25.14/25.22 c =============================================================================== 25.14/25.22 c core #224 25.14/25.22 c Core size: 579 Core Weight: 1 Total Weight: 2315 25.14/25.22 c Elapsed CPU time: 23.6404 s Remaining CPU time: 1776.36 s 25.24/25.38 c ============================[ Search Statistics ]============================== 25.24/25.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.24/25.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.24/25.38 c =============================================================================== 25.24/25.38 c | 0 | 104173 97305 234993 | 32435 0 nan | 0.000 % | 25.53/25.65 c =============================================================================== 25.53/25.65 c core #225 25.53/25.65 c Core size: 1527 Core Weight: 1 Total Weight: 2316 25.53/25.65 c Elapsed CPU time: 24.0413 s Remaining CPU time: 1775.96 s 25.73/25.82 c Learning 5 hard constraints 25.73/25.82 c ============================[ Search Statistics ]============================== 25.73/25.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.73/25.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.73/25.82 c =============================================================================== 25.73/25.82 c | 0 | 105583 98411 239679 | 32803 0 nan | 0.000 % | 25.84/25.91 c =============================================================================== 25.84/25.91 c core #226 25.84/25.91 c Core size: 472 Core Weight: 1 Total Weight: 2317 25.84/25.91 c Elapsed CPU time: 24.2773 s Remaining CPU time: 1775.72 s 25.93/26.08 c ============================[ Search Statistics ]============================== 25.93/26.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.93/26.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.93/26.08 c =============================================================================== 25.93/26.08 c | 0 | 106012 98821 240242 | 32940 0 nan | 0.000 % | 26.23/26.32 c =============================================================================== 26.23/26.32 c core #227 26.23/26.32 c Core size: 1050 Core Weight: 1 Total Weight: 2318 26.23/26.32 c Elapsed CPU time: 24.6603 s Remaining CPU time: 1775.34 s 26.44/26.50 c ============================[ Search Statistics ]============================== 26.44/26.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.44/26.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.44/26.50 c =============================================================================== 26.44/26.50 c | 0 | 107004 99753 241845 | 33251 0 nan | 0.000 % | 26.64/26.77 c =============================================================================== 26.64/26.77 c core #228 26.64/26.77 c Core size: 1367 Core Weight: 1 Total Weight: 2319 26.64/26.77 c Elapsed CPU time: 25.0632 s Remaining CPU time: 1774.94 s 26.83/26.94 c Learning 5 hard constraints 26.83/26.94 c ============================[ Search Statistics ]============================== 26.83/26.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.83/26.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.83/26.94 c =============================================================================== 26.83/26.94 c | 0 | 108270 100835 247176 | 33611 0 nan | 0.000 % | 27.03/27.14 c =============================================================================== 27.03/27.14 c core #229 27.03/27.14 c Core size: 491 Core Weight: 1 Total Weight: 2320 27.03/27.14 c Elapsed CPU time: 25.4041 s Remaining CPU time: 1774.6 s 27.23/27.31 c Learning 2 hard constraints 27.23/27.31 c ============================[ Search Statistics ]============================== 27.23/27.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.23/27.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.23/27.31 c =============================================================================== 27.23/27.31 c | 0 | 108714 101264 248156 | 33754 0 nan | 0.000 % | 27.33/27.41 c =============================================================================== 27.33/27.41 c core #230 27.33/27.41 c Core size: 590 Core Weight: 1 Total Weight: 2321 27.33/27.41 c Elapsed CPU time: 25.6381 s Remaining CPU time: 1774.36 s 27.43/27.58 c Learning 2 hard constraints 27.43/27.58 c ============================[ Search Statistics ]============================== 27.43/27.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.43/27.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.43/27.58 c =============================================================================== 27.43/27.58 c | 0 | 109250 101772 249043 | 33924 0 nan | 0.000 % | 28.03/28.16 c | 103 | 109248 101772 249043 | 37316 100 452 | 1.372 % | 28.23/28.32 c =============================================================================== 28.23/28.33 c core #231 28.23/28.33 c Core size: 1918 Core Weight: 1 Total Weight: 2322 28.23/28.33 c Elapsed CPU time: 26.515 s Remaining CPU time: 1773.49 s 28.43/28.51 c Learning 4 hard constraints 28.43/28.51 c ============================[ Search Statistics ]============================== 28.43/28.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.43/28.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.43/28.51 c =============================================================================== 28.43/28.51 c | 0 | 111022 103111 254598 | 34370 0 nan | 0.000 % | 28.93/29.05 c =============================================================================== 28.93/29.06 c core #232 28.93/29.06 c Core size: 2111 Core Weight: 1 Total Weight: 2323 28.93/29.06 c Elapsed CPU time: 27.2159 s Remaining CPU time: 1772.78 s 29.13/29.24 c Learning 4 hard constraints 29.13/29.24 c ============================[ Search Statistics ]============================== 29.13/29.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.13/29.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.13/29.24 c =============================================================================== 29.13/29.24 c | 0 | 112965 104543 259569 | 34847 0 nan | 0.000 % | 29.63/29.75 c =============================================================================== 29.63/29.76 c core #233 29.63/29.76 c Core size: 2051 Core Weight: 1 Total Weight: 2324 29.63/29.76 c Elapsed CPU time: 27.8828 s Remaining CPU time: 1772.12 s 29.83/29.94 c Learning 3 hard constraints 29.83/29.94 c ============================[ Search Statistics ]============================== 29.83/29.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.83/29.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.83/29.94 c =============================================================================== 29.83/29.94 c | 0 | 114869 105969 264975 | 35323 0 nan | 0.000 % | 30.23/30.38 c | 101 | 114869 105969 264975 | 38855 101 611 | 1.286 % | 30.82/30.95 c | 253 | 114864 105969 264975 | 42740 242 513 | 1.290 % | 31.12/31.29 c =============================================================================== 31.12/31.29 c core #234 31.12/31.29 c Core size: 2384 Core Weight: 1 Total Weight: 2325 31.12/31.29 c Elapsed CPU time: 29.3735 s Remaining CPU time: 1770.63 s 31.33/31.48 c Learning 9 hard constraints 31.33/31.49 c ============================[ Search Statistics ]============================== 31.33/31.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.33/31.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.33/31.49 c =============================================================================== 31.33/31.49 c | 0 | 117059 107544 274892 | 35848 0 nan | 0.000 % | 31.93/32.08 c | 100 | 117054 107544 274892 | 39432 96 398 | 1.259 % | 32.23/32.38 c =============================================================================== 32.23/32.38 c core #235 32.23/32.38 c Core size: 2003 Core Weight: 1 Total Weight: 2326 32.23/32.38 c Elapsed CPU time: 30.4134 s Remaining CPU time: 1769.59 s 32.42/32.57 c Learning 3 hard constraints 32.42/32.57 c ============================[ Search Statistics ]============================== 32.42/32.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.42/32.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.42/32.57 c =============================================================================== 32.42/32.57 c | 0 | 118900 108831 281789 | 36277 0 nan | 0.000 % | 33.03/33.13 c | 100 | 118899 108831 281789 | 39904 99 505 | 1.230 % | 33.43/33.53 c =============================================================================== 33.43/33.53 c core #236 33.43/33.53 c Core size: 2563 Core Weight: 1 Total Weight: 2327 33.43/33.53 c Elapsed CPU time: 31.5282 s Remaining CPU time: 1768.47 s 33.63/33.73 c ============================[ Search Statistics ]============================== 33.63/33.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.63/33.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.63/33.73 c =============================================================================== 33.63/33.73 c | 0 | 121287 110303 287375 | 36767 0 nan | 0.000 % | 33.83/33.99 c =============================================================================== 33.83/34.00 c core #237 33.83/34.00 c Core size: 1462 Core Weight: 1 Total Weight: 2328 33.83/34.00 c Elapsed CPU time: 31.9591 s Remaining CPU time: 1768.04 s 34.03/34.19 c Learning 2 hard constraints 34.03/34.19 c ============================[ Search Statistics ]============================== 34.03/34.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.03/34.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.03/34.19 c =============================================================================== 34.03/34.19 c | 0 | 122655 111465 290861 | 37155 0 nan | 0.000 % | 34.63/34.79 c | 100 | 122654 111465 290861 | 40870 99 428 | 1.181 % | 35.32/35.48 c | 250 | 122649 111465 290861 | 44957 242 508 | 1.185 % | 35.52/35.60 c =============================================================================== 35.52/35.60 c core #238 35.52/35.60 c Core size: 2661 Core Weight: 1 Total Weight: 2329 35.52/35.60 c Elapsed CPU time: 33.5269 s Remaining CPU time: 1766.47 s 35.72/35.81 c Learning 3 hard constraints 35.72/35.81 c ============================[ Search Statistics ]============================== 35.72/35.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.72/35.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.72/35.81 c =============================================================================== 35.72/35.81 c | 0 | 125119 113156 297930 | 37718 0 nan | 0.000 % | 36.23/36.32 c | 102 | 125118 113156 297930 | 41490 101 521 | 1.153 % | 36.72/36.85 c | 255 | 125115 113156 297930 | 45639 252 545 | 1.155 % | 36.82/36.92 c =============================================================================== 36.82/36.93 c core #239 36.82/36.93 c Core size: 2530 Core Weight: 1 Total Weight: 2330 36.82/36.93 c Elapsed CPU time: 34.7947 s Remaining CPU time: 1765.21 s 37.02/37.13 c Learning 8 hard constraints 37.02/37.13 c ============================[ Search Statistics ]============================== 37.02/37.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.02/37.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.02/37.13 c =============================================================================== 37.02/37.13 c | 0 | 127440 114780 306776 | 38260 0 nan | 0.000 % | 37.52/37.69 c | 102 | 127440 114780 306776 | 42086 102 401 | 1.127 % | 38.12/38.22 c | 253 | 127437 114780 306776 | 46294 245 459 | 1.130 % | 38.22/38.38 c =============================================================================== 38.22/38.38 c core #240 38.22/38.38 c Core size: 2428 Core Weight: 1 Total Weight: 2331 38.22/38.38 c Elapsed CPU time: 36.2205 s Remaining CPU time: 1763.78 s 38.42/38.59 c Learning 3 hard constraints 38.42/38.59 c ============================[ Search Statistics ]============================== 38.42/38.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.42/38.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.42/38.59 c =============================================================================== 38.42/38.59 c | 0 | 129692 116325 312787 | 38775 0 nan | 0.000 % | 39.11/39.27 c | 100 | 129692 116325 312787 | 42652 100 554 | 1.105 % | 39.71/39.87 c =============================================================================== 39.71/39.87 c core #241 39.71/39.87 c Core size: 2192 Core Weight: 1 Total Weight: 2332 39.71/39.87 c Elapsed CPU time: 37.6593 s Remaining CPU time: 1762.34 s 39.91/40.08 c Learning 5 hard constraints 39.91/40.08 c ============================[ Search Statistics ]============================== 39.91/40.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.91/40.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.91/40.08 c =============================================================================== 39.91/40.08 c | 0 | 131695 117753 318740 | 39251 0 nan | 0.000 % | 40.52/40.68 c | 100 | 131695 117753 318740 | 43176 100 808 | 1.087 % | 41.12/41.23 c | 252 | 131693 117753 318740 | 47493 250 678 | 1.088 % | 41.72/41.89 c | 478 | 131689 117753 318740 | 52243 474 565 | 1.091 % | 42.02/42.10 c =============================================================================== 42.02/42.10 c core #242 42.02/42.10 c Core size: 2095 Core Weight: 1 Total Weight: 2333 42.02/42.10 c Elapsed CPU time: 39.8389 s Remaining CPU time: 1760.16 s 42.21/42.32 c Learning 11 hard constraints 42.21/42.32 c ============================[ Search Statistics ]============================== 42.21/42.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.21/42.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.21/42.32 c =============================================================================== 42.21/42.32 c | 0 | 133640 119198 329099 | 39732 0 nan | 0.000 % | 42.71/42.82 c | 102 | 133639 119198 329099 | 43705 100 463 | 1.064 % | 43.31/43.45 c | 253 | 133638 119198 329099 | 48076 249 391 | 1.065 % | 44.21/44.31 c =============================================================================== 44.21/44.32 c core #243 44.21/44.32 c Core size: 3204 Core Weight: 1 Total Weight: 2334 44.21/44.32 c Elapsed CPU time: 41.9936 s Remaining CPU time: 1758.01 s 44.41/44.54 c Learning 7 hard constraints 44.41/44.54 c ============================[ Search Statistics ]============================== 44.41/44.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.41/44.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.41/44.55 c =============================================================================== 44.41/44.55 c | 0 | 136589 121040 338478 | 40346 0 nan | 0.000 % | 44.81/44.98 c | 100 | 136587 121040 338478 | 44381 99 434 | 1.038 % | 45.22/45.36 c =============================================================================== 45.22/45.36 c core #244 45.22/45.36 c Core size: 1991 Core Weight: 1 Total Weight: 2335 45.22/45.36 c Elapsed CPU time: 42.9845 s Remaining CPU time: 1757.02 s 45.41/45.59 c Learning 9 hard constraints 45.41/45.59 c ============================[ Search Statistics ]============================== 45.41/45.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.41/45.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.41/45.59 c =============================================================================== 45.41/45.59 c | 0 | 138407 122389 346746 | 40796 0 nan | 0.000 % | 45.91/46.05 c | 100 | 138405 122389 346746 | 44875 98 338 | 1.016 % | 46.41/46.59 c | 251 | 138404 122389 346746 | 49363 243 403 | 1.017 % | 47.01/47.15 c | 477 | 138402 122389 346746 | 54299 466 300 | 1.018 % | 47.81/47.99 c =============================================================================== 47.91/48.00 c core #245 47.91/48.00 c Core size: 3151 Core Weight: 1 Total Weight: 2336 47.91/48.00 c Elapsed CPU time: 45.5611 s Remaining CPU time: 1754.44 s 48.11/48.25 c Learning 13 hard constraints 48.11/48.25 c ============================[ Search Statistics ]============================== 48.11/48.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.11/48.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.11/48.25 c =============================================================================== 48.11/48.25 c | 0 | 141345 124209 358204 | 41403 0 nan | 0.000 % | 48.51/48.62 c | 100 | 141343 124209 358204 | 45543 99 313 | 0.986 % | 48.81/48.92 c =============================================================================== 48.81/48.92 c core #246 48.81/48.92 c Core size: 1648 Core Weight: 1 Total Weight: 2337 48.81/48.92 c Elapsed CPU time: 46.4349 s Remaining CPU time: 1753.57 s 49.01/49.16 c Learning 3 hard constraints 49.01/49.16 c ============================[ Search Statistics ]============================== 49.01/49.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.01/49.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.01/49.16 c =============================================================================== 49.01/49.16 c | 0 | 142842 125310 363159 | 41770 0 nan | 0.000 % | 49.31/49.44 c =============================================================================== 49.31/49.44 c core #247 49.31/49.44 c Core size: 842 Core Weight: 1 Total Weight: 2338 49.31/49.44 c Elapsed CPU time: 46.9079 s Remaining CPU time: 1753.09 s 49.51/49.69 c Learning 5 hard constraints 49.51/49.69 c ============================[ Search Statistics ]============================== 49.51/49.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.51/49.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.51/49.69 c =============================================================================== 49.51/49.69 c | 0 | 143608 126017 365459 | 42005 0 nan | 0.000 % | 49.91/50.04 c | 101 | 143608 126017 365459 | 46206 101 316 | 0.963 % | 50.31/50.48 c | 252 | 143605 126017 365459 | 50826 248 251 | 0.965 % | 50.81/50.98 c =============================================================================== 50.81/50.99 c core #248 50.81/50.99 c Core size: 1812 Core Weight: 1 Total Weight: 2339 50.81/50.99 c Elapsed CPU time: 48.3956 s Remaining CPU time: 1751.6 s 51.11/51.23 c Learning 6 hard constraints 51.11/51.23 c ============================[ Search Statistics ]============================== 51.11/51.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.11/51.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.11/51.23 c =============================================================================== 51.11/51.23 c | 0 | 145291 127215 372041 | 42405 0 nan | 0.000 % | 51.61/51.76 c | 100 | 145291 127215 372041 | 46645 100 620 | 0.945 % | 52.11/52.28 c | 251 | 145291 127215 372041 | 51310 251 507 | 0.945 % | 52.81/52.94 c | 481 | 145291 127215 372041 | 56441 481 617 | 0.945 % | 54.11/54.21 c | 818 | 145285 127215 372041 | 62085 810 548 | 0.949 % | 55.21/55.39 c =============================================================================== 55.31/55.40 c core #249 55.31/55.40 c Core size: 4391 Core Weight: 1 Total Weight: 2340 55.31/55.40 c Elapsed CPU time: 52.741 s Remaining CPU time: 1747.26 s 55.51/55.66 c Learning 38 hard constraints 55.51/55.66 c ============================[ Search Statistics ]============================== 55.51/55.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.51/55.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.51/55.66 c =============================================================================== 55.51/55.66 c | 0 | 149376 129260 388862 | 43086 0 nan | 0.000 % | 55.91/56.05 c =============================================================================== 55.91/56.05 c core #250 55.91/56.05 c Core size: 821 Core Weight: 1 Total Weight: 2341 55.91/56.05 c Elapsed CPU time: 53.3369 s Remaining CPU time: 1746.66 s 56.11/56.28 c Learning 3 hard constraints 56.11/56.28 c ============================[ Search Statistics ]============================== 56.11/56.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.11/56.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.11/56.28 c =============================================================================== 56.11/56.28 c | 0 | 150126 129906 391511 | 43302 0 nan | 0.000 % | 56.71/56.82 c | 100 | 150126 129906 391511 | 47632 100 382 | 0.903 % | 57.21/57.38 c =============================================================================== 57.21/57.39 c core #251 57.21/57.39 c Core size: 1830 Core Weight: 1 Total Weight: 2342 57.21/57.39 c Elapsed CPU time: 54.6117 s Remaining CPU time: 1745.39 s 57.51/57.63 c ============================[ Search Statistics ]============================== 57.51/57.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.51/57.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.51/57.63 c =============================================================================== 57.51/57.63 c | 0 | 151782 131104 395640 | 43701 0 nan | 0.000 % | 57.80/57.97 c | 102 | 151781 131104 395640 | 48071 102 274 | 0.891 % | 58.31/58.47 c =============================================================================== 58.31/58.47 c core #252 58.31/58.47 c Core size: 1612 Core Weight: 1 Total Weight: 2343 58.31/58.47 c Elapsed CPU time: 55.6385 s Remaining CPU time: 1744.36 s 58.61/58.73 c Learning 5 hard constraints 58.61/58.73 c ============================[ Search Statistics ]============================== 58.61/58.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.61/58.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.61/58.73 c =============================================================================== 58.61/58.73 c | 0 | 153242 132245 400718 | 44081 0 nan | 0.000 % | 58.91/59.06 c | 100 | 153242 132245 400718 | 48489 100 261 | 0.876 % | 59.41/59.58 c | 250 | 153240 132245 400718 | 53338 249 248 | 0.878 % | 60.31/60.42 c | 481 | 153240 132245 400718 | 58672 480 217 | 0.878 % | 60.91/61.05 c =============================================================================== 60.91/61.05 c core #253 60.91/61.05 c Core size: 922 Core Weight: 1 Total Weight: 2344 60.91/61.05 c Elapsed CPU time: 58.1442 s Remaining CPU time: 1741.86 s 61.21/61.30 c Learning 61 hard constraints 61.21/61.30 c ============================[ Search Statistics ]============================== 61.21/61.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.21/61.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.21/61.30 c =============================================================================== 61.21/61.30 c | 0 | 154083 133054 412693 | 44351 0 nan | 0.000 % | 61.81/61.92 c | 101 | 154083 133054 412693 | 48786 101 544 | 0.868 % | 62.21/62.38 c | 251 | 154081 133054 412693 | 53665 250 453 | 0.869 % | 63.00/63.11 c | 476 | 154080 133054 412693 | 59031 472 306 | 0.870 % | 63.40/63.57 c =============================================================================== 63.40/63.58 c core #254 63.40/63.58 c Core size: 2089 Core Weight: 1 Total Weight: 2345 63.40/63.58 c Elapsed CPU time: 60.6038 s Remaining CPU time: 1739.4 s 63.71/63.84 c Learning 5 hard constraints 63.71/63.84 c ============================[ Search Statistics ]============================== 63.71/63.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.71/63.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.71/63.84 c =============================================================================== 63.71/63.84 c | 0 | 156014 134304 418787 | 44768 0 nan | 0.000 % | 64.41/64.55 c | 104 | 156014 134304 418787 | 49244 104 563 | 0.851 % | 64.81/64.94 c | 254 | 156013 134304 418787 | 54169 253 335 | 0.852 % | 65.70/65.86 c =============================================================================== 65.70/65.86 c core #255 65.70/65.86 c Core size: 1194 Core Weight: 1 Total Weight: 2346 65.70/65.86 c Elapsed CPU time: 62.8224 s Remaining CPU time: 1737.18 s 66.00/66.12 c Learning 13 hard constraints 66.00/66.12 c ============================[ Search Statistics ]============================== 66.00/66.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.00/66.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.00/66.12 c =============================================================================== 66.00/66.12 c | 0 | 157085 135030 428283 | 45010 0 nan | 0.000 % | 66.41/66.58 c | 101 | 157085 135030 428283 | 49511 101 491 | 0.843 % | 66.91/67.09 c | 255 | 157083 135030 428283 | 54462 254 274 | 0.845 % | 67.50/67.62 c =============================================================================== 67.50/67.62 c core #256 67.50/67.62 c Core size: 1333 Core Weight: 1 Total Weight: 2347 67.50/67.62 c Elapsed CPU time: 64.5172 s Remaining CPU time: 1735.48 s 67.80/67.90 c Learning 9 hard constraints 67.80/67.90 c ============================[ Search Statistics ]============================== 67.80/67.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.80/67.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.80/67.90 c =============================================================================== 67.80/67.90 c | 0 | 158268 135817 433055 | 45272 0 nan | 0.000 % | 68.20/68.33 c | 103 | 158266 135817 433055 | 49799 101 129 | 0.836 % | 68.70/68.89 c | 253 | 158249 135817 433055 | 54779 250 98 | 0.932 % | 68.80/68.98 c =============================================================================== 68.80/68.98 c core #257 68.80/68.98 c Core size: 854 Core Weight: 1 Total Weight: 2348 68.80/68.98 c Elapsed CPU time: 65.796 s Remaining CPU time: 1734.2 s 69.10/69.24 c Learning 7 hard constraints 69.10/69.24 c ============================[ Search Statistics ]============================== 69.10/69.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.10/69.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.10/69.24 c =============================================================================== 69.10/69.24 c | 0 | 159027 136388 436518 | 45462 0 nan | 0.000 % | 69.80/69.98 c | 101 | 159027 136388 436518 | 50008 101 482 | 0.829 % | 70.31/70.43 c | 253 | 159027 136388 436518 | 55009 253 329 | 0.829 % | 70.70/70.82 c =============================================================================== 70.70/70.82 c core #258 70.70/70.82 c Core size: 1113 Core Weight: 1 Total Weight: 2349 70.70/70.82 c Elapsed CPU time: 67.5637 s Remaining CPU time: 1732.44 s 71.00/71.10 c Learning 8 hard constraints 71.00/71.10 c ============================[ Search Statistics ]============================== 71.00/71.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.00/71.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.00/71.10 c =============================================================================== 71.00/71.10 c | 0 | 160056 137359 440142 | 45786 0 nan | 0.000 % | 71.49/71.64 c | 100 | 160056 137359 440142 | 50364 100 149 | 0.820 % | 71.79/71.91 c =============================================================================== 71.79/71.91 c core #259 71.79/71.91 c Core size: 1335 Core Weight: 1 Total Weight: 2350 71.79/71.91 c Elapsed CPU time: 68.5706 s Remaining CPU time: 1731.43 s 72.00/72.19 c Learning 27 hard constraints 72.00/72.19 c ============================[ Search Statistics ]============================== 72.00/72.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.00/72.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.00/72.19 c =============================================================================== 72.00/72.19 c | 0 | 161292 138407 446048 | 46135 0 nan | 0.000 % | 72.70/72.83 c | 100 | 161292 138407 446048 | 50749 100 578 | 0.808 % | 73.10/73.23 c | 250 | 161288 138407 446048 | 55824 249 372 | 0.814 % | 73.30/73.42 c =============================================================================== 73.30/73.42 c core #260 73.30/73.42 c Core size: 642 Core Weight: 1 Total Weight: 2351 73.30/73.42 c Elapsed CPU time: 70.0094 s Remaining CPU time: 1729.99 s 73.50/73.69 c Learning 11 hard constraints 73.50/73.69 c ============================[ Search Statistics ]============================== 73.50/73.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.50/73.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.50/73.69 c =============================================================================== 73.50/73.69 c | 0 | 161867 138924 449582 | 46308 0 nan | 0.000 % | 74.10/74.27 c | 100 | 161867 138924 449582 | 50938 100 451 | 0.804 % | 74.90/75.01 c | 251 | 161863 138924 449582 | 56032 250 377 | 0.806 % | 76.50/76.68 c | 476 | 161851 138924 449582 | 61635 460 407 | 0.814 % | 78.29/78.42 c | 814 | 161847 138924 449582 | 67799 795 405 | 0.816 % | 78.79/78.98 c =============================================================================== 78.79/78.99 c core #261 78.79/78.99 c Core size: 5885 Core Weight: 1 Total Weight: 2352 78.79/78.99 c Elapsed CPU time: 75.5025 s Remaining CPU time: 1724.5 s 79.10/79.28 c Learning 26 hard constraints 79.10/79.28 c ============================[ Search Statistics ]============================== 79.10/79.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.10/79.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.10/79.28 c =============================================================================== 79.10/79.28 c | 0 | 167427 141231 470722 | 47077 0 nan | 0.000 % | 79.69/79.85 c | 100 | 167427 141231 470722 | 51784 100 456 | 0.772 % | 80.29/80.42 c | 251 | 167422 141231 470722 | 56963 248 268 | 0.775 % | 81.59/81.72 c | 477 | 167414 141231 470722 | 62659 469 229 | 0.780 % | 82.60/82.72 c =============================================================================== 82.60/82.73 c core #262 82.60/82.73 c Core size: 2715 Core Weight: 1 Total Weight: 2353 82.60/82.73 c Elapsed CPU time: 79.157 s Remaining CPU time: 1720.84 s 82.89/83.01 c Learning 21 hard constraints 82.89/83.01 c ============================[ Search Statistics ]============================== 82.89/83.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.89/83.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.89/83.01 c =============================================================================== 82.89/83.01 c | 0 | 169934 142650 481982 | 47550 0 nan | 0.000 % | 83.39/83.59 c | 103 | 169934 142650 481982 | 52305 103 337 | 0.755 % | 84.29/84.49 c | 253 | 169927 142650 481982 | 57535 246 228 | 0.759 % | 84.89/85.06 c =============================================================================== 84.89/85.07 c core #263 84.89/85.07 c Core size: 2905 Core Weight: 1 Total Weight: 2354 84.89/85.07 c Elapsed CPU time: 81.4216 s Remaining CPU time: 1718.58 s 85.19/85.36 c Learning 6 hard constraints 85.19/85.36 c ============================[ Search Statistics ]============================== 85.19/85.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.19/85.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.19/85.36 c =============================================================================== 85.19/85.36 c | 0 | 172635 144217 490896 | 48072 0 nan | 0.000 % | 85.79/85.95 c | 103 | 172635 144217 490896 | 52879 103 315 | 0.737 % | 86.09/86.29 c | 253 | 172635 144217 490896 | 58167 253 199 | 0.737 % | 86.69/86.82 c =============================================================================== 86.69/86.82 c core #264 86.69/86.82 c Core size: 608 Core Weight: 1 Total Weight: 2355 86.69/86.82 c Elapsed CPU time: 83.0954 s Remaining CPU time: 1716.9 s 86.89/87.10 c Learning 29 hard constraints 86.89/87.10 c ============================[ Search Statistics ]============================== 86.89/87.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.89/87.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.89/87.10 c =============================================================================== 86.89/87.10 c | 0 | 173178 144751 495185 | 48250 0 nan | 0.000 % | 87.39/87.58 c | 100 | 173178 144751 495185 | 53075 100 175 | 0.735 % | 87.79/87.95 c | 250 | 173178 144751 495185 | 58382 250 115 | 0.735 % | 88.78/88.92 c | 477 | 173176 144751 495185 | 64221 474 152 | 0.736 % | 88.89/89.03 c =============================================================================== 88.89/89.03 c core #265 88.89/89.03 c Core size: 1534 Core Weight: 1 Total Weight: 2356 88.89/89.03 c Elapsed CPU time: 85.223 s Remaining CPU time: 1714.78 s 89.19/89.33 c Learning 15 hard constraints 89.19/89.33 c ============================[ Search Statistics ]============================== 89.19/89.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.19/89.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.19/89.33 c =============================================================================== 89.19/89.33 c | 0 | 174589 145873 502315 | 48624 0 nan | 0.000 % | 89.79/89.92 c | 101 | 174589 145873 502315 | 53486 101 265 | 0.725 % | 90.19/90.34 c | 252 | 174589 145873 502315 | 58835 252 237 | 0.725 % | 91.09/91.22 c =============================================================================== 91.09/91.23 c core #266 91.09/91.23 c Core size: 1404 Core Weight: 1 Total Weight: 2357 91.09/91.23 c Elapsed CPU time: 87.3307 s Remaining CPU time: 1712.67 s 91.39/91.51 c Learning 53 hard constraints 91.39/91.51 c ============================[ Search Statistics ]============================== 91.39/91.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.39/91.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.39/91.51 c =============================================================================== 91.39/91.51 c | 0 | 175843 146950 515136 | 48983 0 nan | 0.000 % | 91.69/91.82 c =============================================================================== 91.69/91.82 c core #267 91.69/91.82 c Core size: 765 Core Weight: 1 Total Weight: 2358 91.69/91.82 c Elapsed CPU time: 87.8846 s Remaining CPU time: 1712.12 s 91.98/92.11 c Learning 1 hard constraints 91.98/92.11 c ============================[ Search Statistics ]============================== 91.98/92.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.98/92.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.98/92.11 c =============================================================================== 91.98/92.11 c | 0 | 176523 147481 516467 | 49160 0 nan | 0.000 % | 92.29/92.41 c =============================================================================== 92.29/92.41 c core #268 92.29/92.41 c Core size: 1012 Core Weight: 1 Total Weight: 2359 92.29/92.41 c Elapsed CPU time: 88.4266 s Remaining CPU time: 1711.57 s 92.48/92.69 c Learning 9 hard constraints 92.48/92.69 c ============================[ Search Statistics ]============================== 92.48/92.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.48/92.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.48/92.69 c =============================================================================== 92.48/92.69 c | 0 | 177421 148280 519177 | 49426 0 nan | 0.000 % | 92.98/93.11 c =============================================================================== 92.98/93.11 c core #269 92.98/93.11 c Core size: 1107 Core Weight: 1 Total Weight: 2360 92.98/93.11 c Elapsed CPU time: 89.0685 s Remaining CPU time: 1710.93 s 93.19/93.40 c Learning 3 hard constraints 93.19/93.40 c ============================[ Search Statistics ]============================== 93.19/93.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.19/93.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.19/93.40 c =============================================================================== 93.19/93.40 c | 0 | 178417 149091 522012 | 49697 0 nan | 0.000 % | 93.69/93.88 c | 100 | 178417 149091 522012 | 54666 100 139 | 0.702 % | 94.09/94.23 c =============================================================================== 94.09/94.23 c core #270 94.09/94.23 c Core size: 701 Core Weight: 1 Total Weight: 2361 94.09/94.23 c Elapsed CPU time: 90.1023 s Remaining CPU time: 1709.9 s 94.39/94.53 c Learning 10 hard constraints 94.39/94.53 c ============================[ Search Statistics ]============================== 94.39/94.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.39/94.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.39/94.53 c =============================================================================== 94.39/94.53 c | 0 | 179036 149599 524720 | 49866 0 nan | 0.000 % | 94.88/95.04 c =============================================================================== 94.88/95.04 c core #271 94.88/95.04 c Core size: 969 Core Weight: 1 Total Weight: 2362 94.88/95.04 c Elapsed CPU time: 90.8742 s Remaining CPU time: 1709.13 s 95.18/95.33 c Learning 7 hard constraints 95.18/95.33 c ============================[ Search Statistics ]============================== 95.18/95.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.18/95.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.18/95.33 c =============================================================================== 95.18/95.33 c | 0 | 179880 150279 526804 | 50093 0 nan | 0.000 % | 95.58/95.79 c | 100 | 179874 150279 526804 | 55102 99 237 | 0.693 % | 95.68/95.88 c =============================================================================== 95.68/95.89 c core #272 95.68/95.89 c Core size: 1508 Core Weight: 1 Total Weight: 2363 95.68/95.89 c Elapsed CPU time: 91.6541 s Remaining CPU time: 1708.35 s 95.98/96.19 c Learning 3 hard constraints 95.98/96.19 c ============================[ Search Statistics ]============================== 95.98/96.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.98/96.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.98/96.19 c =============================================================================== 95.98/96.19 c | 0 | 181255 151340 530336 | 50446 0 nan | 0.000 % | 96.68/96.82 c | 101 | 181255 151340 530336 | 55491 101 504 | 0.680 % | 97.79/97.93 c | 252 | 181255 151340 530336 | 61040 252 515 | 0.680 % | 99.68/99.82 c | 478 | 181250 151340 530336 | 67144 470 539 | 0.683 % | 101.38/101.52 c =============================================================================== 101.38/101.53 c core #273 101.38/101.53 c Core size: 5644 Core Weight: 1 Total Weight: 2364 101.38/101.53 c Elapsed CPU time: 97.2102 s Remaining CPU time: 1702.79 s 101.68/101.86 c Learning 24 hard constraints 101.68/101.86 c ============================[ Search Statistics ]============================== 101.68/101.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.68/101.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.68/101.86 c =============================================================================== 101.68/101.86 c | 0 | 186561 153321 551691 | 51107 0 nan | 0.000 % | 102.48/102.60 c | 106 | 186561 153321 551691 | 56217 106 392 | 0.656 % | 103.08/103.21 c | 256 | 186559 153321 551691 | 61839 255 297 | 0.657 % | 103.19/103.39 c =============================================================================== 103.19/103.39 c core #274 103.19/103.39 c Core size: 1007 Core Weight: 1 Total Weight: 2365 103.19/103.39 c Elapsed CPU time: 98.984 s Remaining CPU time: 1701.02 s 103.58/103.70 c Learning 44 hard constraints 103.58/103.70 c ============================[ Search Statistics ]============================== 103.58/103.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.58/103.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.58/103.70 c =============================================================================== 103.58/103.70 c | 0 | 187457 154132 558473 | 51377 0 nan | 0.000 % | 104.38/104.56 c | 101 | 187457 154132 558473 | 56515 101 339 | 0.651 % | 104.78/104.99 c =============================================================================== 104.78/104.99 c core #275 104.78/104.99 c Core size: 928 Core Weight: 1 Total Weight: 2366 104.78/104.99 c Elapsed CPU time: 100.471 s Remaining CPU time: 1699.53 s 105.18/105.32 c Learning 18 hard constraints 105.18/105.32 c ============================[ Search Statistics ]============================== 105.18/105.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.18/105.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.18/105.32 c =============================================================================== 105.18/105.32 c | 0 | 188291 154863 566436 | 51621 0 nan | 0.000 % | 106.18/106.35 c | 100 | 188291 154863 566436 | 56783 100 323 | 0.645 % | 106.98/107.17 c | 250 | 188291 154863 566436 | 62461 250 183 | 0.645 % | 107.38/107.59 c | 481 | 188291 154863 566436 | 68707 481 130 | 0.645 % | 108.48/108.67 c | 820 | 188131 154863 566436 | 75578 533 390 | 0.730 % | 108.78/108.98 c =============================================================================== 108.78/108.99 c core #276 108.78/108.99 c Core size: 3040 Core Weight: 1 Total Weight: 2367 108.78/108.99 c Elapsed CPU time: 104.347 s Remaining CPU time: 1695.65 s 109.18/109.32 c Learning 104 hard constraints 109.18/109.32 c ============================[ Search Statistics ]============================== 109.18/109.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 109.18/109.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 109.18/109.32 c =============================================================================== 109.18/109.32 c | 0 | 191024 156836 590188 | 52278 0 nan | 0.000 % | 110.08/110.26 c | 103 | 191024 156836 590188 | 57506 103 346 | 0.630 % | 111.28/111.48 c | 253 | 191023 156836 590188 | 63257 252 272 | 0.631 % | 111.98/112.17 c =============================================================================== 111.98/112.17 c core #277 111.98/112.17 c Core size: 2544 Core Weight: 1 Total Weight: 2368 111.98/112.17 c Elapsed CPU time: 107.438 s Remaining CPU time: 1692.56 s 112.37/112.50 c Learning 28 hard constraints 112.37/112.50 c ============================[ Search Statistics ]============================== 112.37/112.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.37/112.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.37/112.50 c =============================================================================== 112.37/112.50 c | 0 | 193364 158367 600542 | 52789 0 nan | 0.000 % | 113.08/113.29 c | 106 | 193364 158367 600542 | 58067 106 332 | 0.616 % | 113.58/113.73 c | 257 | 193360 158367 600542 | 63874 255 204 | 0.618 % | 113.88/114.08 c =============================================================================== 113.88/114.08 c core #278 113.88/114.08 c Core size: 1727 Core Weight: 1 Total Weight: 2369 113.88/114.08 c Elapsed CPU time: 109.249 s Remaining CPU time: 1690.75 s 114.28/114.42 c Learning 47 hard constraints 114.28/114.42 c ============================[ Search Statistics ]============================== 114.28/114.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.28/114.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.28/114.42 c =============================================================================== 114.28/114.42 c | 0 | 194927 159468 608643 | 53156 0 nan | 0.000 % | 114.87/115.01 c | 101 | 194924 159468 608643 | 58471 100 282 | 0.610 % | 115.18/115.32 c =============================================================================== 115.18/115.32 c core #279 115.18/115.32 c Core size: 1039 Core Weight: 1 Total Weight: 2370 115.18/115.32 c Elapsed CPU time: 110.389 s Remaining CPU time: 1689.61 s 115.47/115.66 c Learning 23 hard constraints 115.47/115.66 c ============================[ Search Statistics ]============================== 115.47/115.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.47/115.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.47/115.66 c =============================================================================== 115.47/115.66 c | 0 | 195825 160209 614694 | 53403 0 nan | 0.000 % | 116.27/116.42 c | 101 | 195825 160209 614694 | 58743 101 754 | 0.604 % | 116.97/117.12 c | 251 | 195825 160209 614694 | 64617 251 514 | 0.604 % | 118.17/118.32 c | 478 | 195825 160209 614694 | 71079 478 430 | 0.604 % | 119.37/119.51 c | 816 | 195825 160209 614694 | 78187 816 357 | 0.604 % | 121.47/121.65 c =============================================================================== 121.47/121.65 c core #280 121.47/121.65 c Core size: 2533 Core Weight: 1 Total Weight: 2371 121.47/121.65 c Elapsed CPU time: 116.609 s Remaining CPU time: 1683.39 s 121.77/121.99 c Learning 84 hard constraints 121.77/121.99 c ============================[ Search Statistics ]============================== 121.77/121.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.77/121.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.77/121.99 c =============================================================================== 121.77/121.99 c | 0 | 198110 161558 643110 | 53852 0 nan | 0.000 % | 122.77/122.92 c | 100 | 198110 161558 643110 | 59237 100 663 | 0.593 % | 123.08/123.27 c | 250 | 198110 161558 643110 | 65161 250 387 | 0.593 % | 123.67/123.85 c | 476 | 198109 161558 643110 | 71677 475 289 | 0.593 % | 124.47/124.61 c =============================================================================== 124.47/124.61 c core #281 124.47/124.61 c Core size: 1054 Core Weight: 1 Total Weight: 2372 124.47/124.61 c Elapsed CPU time: 119.466 s Remaining CPU time: 1680.53 s 124.77/124.96 c Learning 66 hard constraints 124.77/124.96 c ============================[ Search Statistics ]============================== 124.77/124.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.77/124.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.77/124.96 c =============================================================================== 124.77/124.96 c | 0 | 199064 162352 655401 | 54117 0 nan | 0.000 % | 125.48/125.63 c | 100 | 199064 162352 655401 | 59529 100 401 | 0.587 % | 125.88/126.07 c | 253 | 199063 162352 655401 | 65481 252 301 | 0.588 % | 126.08/126.29 c =============================================================================== 126.08/126.30 c core #282 126.08/126.30 c Core size: 1602 Core Weight: 1 Total Weight: 2373 126.08/126.30 c Elapsed CPU time: 121.07 s Remaining CPU time: 1678.93 s 126.47/126.66 c Learning 13 hard constraints 126.47/126.66 c ============================[ Search Statistics ]============================== 126.47/126.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.47/126.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.47/126.66 c =============================================================================== 126.47/126.66 c | 0 | 200479 163323 661297 | 54441 0 nan | 0.000 % | 127.27/127.41 c | 103 | 200479 163323 661297 | 59885 103 593 | 0.580 % | 127.48/127.61 c | 254 | 200479 163323 661297 | 65873 254 284 | 0.580 % | 128.47/128.61 c | 483 | 200479 163323 661297 | 72460 483 205 | 0.580 % | 129.86/130.06 c =============================================================================== 129.86/130.07 c core #283 129.86/130.07 c Core size: 1434 Core Weight: 1 Total Weight: 2374 129.86/130.07 c Elapsed CPU time: 124.751 s Remaining CPU time: 1675.25 s 130.27/130.42 c Learning 5 hard constraints 130.27/130.42 c ============================[ Search Statistics ]============================== 130.27/130.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.27/130.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 130.27/130.42 c =============================================================================== 130.27/130.42 c | 0 | 201770 164248 666564 | 54749 0 nan | 0.000 % | 130.77/130.94 c | 101 | 201769 164248 666564 | 60224 100 248 | 0.574 % | 131.36/131.52 c | 251 | 201766 164248 666564 | 66246 248 211 | 0.575 % | 132.46/132.60 c | 476 | 201763 164248 666564 | 72871 469 319 | 0.577 % | 134.17/134.34 c | 815 | 201762 164248 666564 | 80158 808 393 | 0.577 % | 134.87/135.05 c =============================================================================== 134.87/135.07 c core #284 134.87/135.07 c Core size: 4534 Core Weight: 1 Total Weight: 2375 134.87/135.07 c Elapsed CPU time: 129.635 s Remaining CPU time: 1670.36 s 135.27/135.42 c Learning 44 hard constraints 135.27/135.42 c ============================[ Search Statistics ]============================== 135.27/135.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.27/135.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.27/135.42 c =============================================================================== 135.27/135.42 c | 0 | 205958 166215 682462 | 55405 0 nan | 0.000 % | 135.96/136.18 c | 100 | 205958 166215 682462 | 60945 100 450 | 0.557 % | 137.06/137.26 c | 250 | 205958 166215 682462 | 67040 250 350 | 0.557 % | 137.47/137.68 c =============================================================================== 137.47/137.68 c core #285 137.47/137.68 c Core size: 952 Core Weight: 1 Total Weight: 2376 137.47/137.68 c Elapsed CPU time: 132.143 s Remaining CPU time: 1667.86 s 137.87/138.03 c Learning 33 hard constraints 137.87/138.03 c ============================[ Search Statistics ]============================== 137.87/138.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 137.87/138.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 137.87/138.03 c =============================================================================== 137.87/138.03 c | 0 | 206777 166909 689920 | 55636 0 nan | 0.000 % | 138.47/138.68 c | 101 | 206776 166909 689920 | 61199 101 219 | 0.553 % | 138.86/139.09 c | 253 | 206774 166909 689920 | 67319 252 251 | 0.554 % | 139.37/139.56 c | 478 | 206774 166909 689920 | 74051 474 178 | 0.554 % | 140.37/140.57 c =============================================================================== 140.37/140.58 c core #286 140.37/140.58 c Core size: 756 Core Weight: 1 Total Weight: 2377 140.37/140.58 c Elapsed CPU time: 134.892 s Remaining CPU time: 1665.11 s 140.77/140.96 c Learning 73 hard constraints 140.77/140.96 c ============================[ Search Statistics ]============================== 140.77/140.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 140.77/140.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 140.77/140.96 c =============================================================================== 140.77/140.96 c | 0 | 207451 167554 707161 | 55851 0 nan | 0.000 % | 141.57/141.76 c | 102 | 207451 167554 707161 | 61436 102 576 | 0.549 % | 142.07/142.25 c | 254 | 207451 167554 707161 | 67580 254 445 | 0.549 % | 142.97/143.16 c | 479 | 207451 167554 707161 | 74338 479 337 | 0.549 % | 143.56/143.71 c | 820 | 207451 167554 707161 | 81771 820 220 | 0.549 % | 143.87/144.03 c =============================================================================== 143.87/144.04 c core #287 143.87/144.04 c Core size: 521 Core Weight: 1 Total Weight: 2378 143.87/144.04 c Elapsed CPU time: 138.239 s Remaining CPU time: 1661.76 s 144.27/144.42 c Learning 67 hard constraints 144.27/144.42 c ============================[ Search Statistics ]============================== 144.27/144.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 144.27/144.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 144.27/144.42 c =============================================================================== 144.27/144.42 c | 0 | 207927 168084 720918 | 56028 0 nan | 0.000 % | 145.07/145.25 c | 100 | 207927 168084 720918 | 61630 100 500 | 0.547 % | 145.36/145.54 c | 251 | 207927 168084 720918 | 67793 251 335 | 0.547 % | 146.07/146.23 c | 477 | 207927 168084 720918 | 74573 477 287 | 0.547 % | 146.86/147.04 c | 816 | 207926 168084 720918 | 82030 815 242 | 0.548 % | 148.06/148.23 c | 1322 | 207752 168084 720918 | 90233 963 355 | 0.631 % | 149.26/149.43 c =============================================================================== 149.26/149.44 c core #288 149.26/149.44 c Core size: 1311 Core Weight: 1 Total Weight: 2379 149.26/149.44 c Elapsed CPU time: 143.53 s Remaining CPU time: 1656.47 s 149.66/149.83 c Learning 286 hard constraints 149.66/149.83 c ============================[ Search Statistics ]============================== 149.66/149.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 149.66/149.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 149.66/149.83 c =============================================================================== 149.66/149.83 c | 0 | 209089 169195 761314 | 56398 0 nan | 0.000 % | 150.36/150.56 c | 102 | 209089 169195 761314 | 62038 102 381 | 0.543 % | 150.97/151.10 c | 252 | 209088 169195 761314 | 68241 251 298 | 0.543 % | 151.37/151.57 c | 482 | 209087 169195 761314 | 75066 480 181 | 0.544 % | 153.06/153.23 c | 824 | 209084 169195 761314 | 82572 597 156 | 0.545 % | 154.46/154.62 c =============================================================================== 154.46/154.63 c core #289 154.46/154.63 c Core size: 2303 Core Weight: 1 Total Weight: 2380 154.46/154.63 c Elapsed CPU time: 148.586 s Remaining CPU time: 1651.41 s 154.86/155.00 c Learning 24 hard constraints 154.86/155.00 c ============================[ Search Statistics ]============================== 154.86/155.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 154.86/155.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 154.86/155.00 c =============================================================================== 154.86/155.00 c | 0 | 211156 170527 771460 | 56842 0 nan | 0.000 % | 155.76/155.91 c | 100 | 211156 170527 771460 | 62526 100 370 | 0.535 % | 156.36/156.59 c | 251 | 211154 170527 771460 | 68779 250 271 | 0.536 % | 157.07/157.23 c | 476 | 211153 170527 771460 | 75657 474 184 | 0.537 % | 157.96/158.19 c =============================================================================== 157.96/158.20 c core #290 157.96/158.20 c Core size: 1066 Core Weight: 1 Total Weight: 2381 157.96/158.20 c Elapsed CPU time: 152.046 s Remaining CPU time: 1647.95 s 158.36/158.59 c Learning 32 hard constraints 158.36/158.59 c ============================[ Search Statistics ]============================== 158.36/158.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.36/158.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.36/158.59 c =============================================================================== 158.36/158.59 c | 0 | 212107 171303 778186 | 57101 0 nan | 0.000 % | 159.06/159.23 c | 100 | 212107 171303 778186 | 62811 100 226 | 0.531 % | 159.56/159.76 c | 250 | 212107 171303 778186 | 69092 250 151 | 0.531 % | 160.05/160.28 c | 476 | 212107 171303 778186 | 76001 476 184 | 0.531 % | 161.57/161.70 c | 815 | 211935 171303 778186 | 83601 431 173 | 0.612 % | 161.66/161.85 c =============================================================================== 161.66/161.86 c core #291 161.66/161.86 c Core size: 1933 Core Weight: 1 Total Weight: 2382 161.66/161.86 c Elapsed CPU time: 155.629 s Remaining CPU time: 1644.37 s 162.06/162.25 c Learning 24 hard constraints 162.06/162.25 c ============================[ Search Statistics ]============================== 162.06/162.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 162.06/162.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 162.06/162.25 c =============================================================================== 162.06/162.25 c | 0 | 213869 172536 785865 | 57512 0 nan | 0.000 % | 162.76/162.99 c | 100 | 213869 172536 785865 | 63263 100 301 | 0.523 % | 163.36/163.59 c | 254 | 213863 172536 785865 | 69589 247 291 | 0.526 % | 163.85/164.08 c =============================================================================== 163.85/164.08 c core #292 163.85/164.08 c Core size: 1718 Core Weight: 1 Total Weight: 2383 163.85/164.08 c Elapsed CPU time: 157.742 s Remaining CPU time: 1642.26 s 164.26/164.48 c Learning 24 hard constraints 164.26/164.48 c ============================[ Search Statistics ]============================== 164.26/164.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.26/164.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.26/164.48 c =============================================================================== 164.26/164.48 c | 0 | 215370 173502 794169 | 57834 0 nan | 0.000 % | 165.06/165.21 c | 100 | 215370 173502 794169 | 63617 100 249 | 0.515 % | 165.66/165.87 c | 254 | 215370 173502 794169 | 69979 254 246 | 0.515 % | 167.75/167.91 c | 479 | 215366 173502 794169 | 76977 476 210 | 0.517 % | 169.86/170.07 c | 816 | 215361 173502 794169 | 84674 803 184 | 0.519 % | 170.36/170.53 c =============================================================================== 170.36/170.54 c core #293 170.36/170.54 c Core size: 2610 Core Weight: 1 Total Weight: 2384 170.36/170.54 c Elapsed CPU time: 164.105 s Remaining CPU time: 1635.89 s 170.75/170.96 c Learning 17 hard constraints 170.75/170.96 c ============================[ Search Statistics ]============================== 170.75/170.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 170.75/170.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 170.75/170.96 c =============================================================================== 170.75/170.96 c | 0 | 217775 174629 801971 | 58209 0 nan | 0.000 % | 171.45/171.65 c | 102 | 217775 174629 801971 | 64030 102 288 | 0.508 % | 171.96/172.11 c | 252 | 217775 174629 801971 | 70433 252 207 | 0.508 % | 172.46/172.70 c | 477 | 217773 174629 801971 | 77477 476 167 | 0.509 % | 173.35/173.50 c | 816 | 217773 174629 801971 | 85224 815 203 | 0.509 % | 174.85/175.05 c =============================================================================== 174.85/175.06 c core #294 174.85/175.06 c Core size: 1433 Core Weight: 1 Total Weight: 2385 174.85/175.06 c Elapsed CPU time: 168.497 s Remaining CPU time: 1631.5 s 175.25/175.45 c Learning 203 hard constraints 175.25/175.45 c ============================[ Search Statistics ]============================== 175.25/175.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 175.25/175.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 175.25/175.45 c =============================================================================== 175.25/175.45 c | 0 | 219072 175920 831576 | 58640 0 nan | 0.000 % | 176.05/176.21 c | 101 | 219072 175920 831576 | 64504 101 329 | 0.501 % | 176.75/176.94 c | 252 | 219071 175920 831576 | 70954 251 330 | 0.502 % | 177.75/177.98 c | 478 | 219069 175920 831576 | 78049 476 319 | 0.503 % | 179.25/179.48 c | 815 | 219065 175920 831576 | 85854 809 323 | 0.505 % | 180.74/180.97 c | 1325 | 219061 175920 831576 | 94440 1311 347 | 0.506 % | 182.46/182.66 c =============================================================================== 182.46/182.69 c core #295 182.46/182.69 c Core size: 7355 Core Weight: 1 Total Weight: 2386 182.46/182.69 c Elapsed CPU time: 175.997 s Remaining CPU time: 1624 s 182.94/183.14 c Learning 138 hard constraints 182.94/183.14 c ============================[ Search Statistics ]============================== 182.94/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.14 c =============================================================================== 182.94/183.14 c | 0 | 225745 178463 866447 | 59487 0 nan | 0.000 % | 183.85/184.03 c | 100 | 225745 178463 866447 | 65436 100 439 | 0.482 % | 184.45/184.65 c | 250 | 225745 178463 866447 | 71980 250 279 | 0.482 % | 184.84/185.04 c | 475 | 225745 178463 866447 | 79178 475 198 | 0.482 % | 186.34/186.51 c | 814 | 225739 178463 866447 | 87095 802 237 | 0.485 % | 186.64/186.84 c =============================================================================== 186.64/186.84 c core #296 186.64/186.84 c Core size: 2950 Core Weight: 1 Total Weight: 2387 186.64/186.84 c Elapsed CPU time: 180.047 s Remaining CPU time: 1619.95 s 187.04/187.24 c Learning 25 hard constraints 187.04/187.24 c ============================[ Search Statistics ]============================== 187.04/187.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.24 c =============================================================================== 187.04/187.24 c | 0 | 228406 179740 877072 | 59913 0 nan | 0.000 % | 188.14/188.32 c | 105 | 228406 179740 877072 | 65904 105 474 | 0.472 % | 188.64/188.89 c | 256 | 228406 179740 877072 | 72495 256 367 | 0.472 % | 189.54/189.75 c | 481 | 228406 179740 877072 | 79744 481 400 | 0.472 % | 190.75/190.94 c | 818 | 228404 179740 877072 | 87719 817 342 | 0.473 % | 192.84/193.09 c | 1325 | 228403 179740 877072 | 96491 1313 331 | 0.474 % | 196.24/196.47 c =============================================================================== 196.24/196.48 c core #297 196.24/196.48 c Core size: 4076 Core Weight: 1 Total Weight: 2388 196.24/196.48 c Elapsed CPU time: 189.562 s Remaining CPU time: 1610.44 s 196.74/196.94 c Learning 104 hard constraints 196.74/196.94 c ============================[ Search Statistics ]============================== 196.74/196.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.74/196.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.74/196.94 c =============================================================================== 196.74/196.94 c | 0 | 232158 181680 900132 | 60560 0 nan | 0.000 % | 197.64/197.84 c | 102 | 232158 181680 900132 | 66616 102 465 | 0.460 % | 198.24/198.43 c | 254 | 232158 181680 900132 | 73277 254 313 | 0.460 % | 199.34/199.54 c | 479 | 232157 181680 900132 | 80605 478 305 | 0.460 % | 200.94/201.12 c | 818 | 232157 181680 900132 | 88665 817 449 | 0.460 % | 202.44/202.63 c | 1324 | 232156 181680 900132 | 97532 1322 351 | 0.461 % | 206.04/206.27 c | 2088 | 232155 181680 900132 | 107285 2077 371 | 0.461 % | 206.94/207.12 c =============================================================================== 206.94/207.13 c core #298 206.94/207.13 c Core size: 3321 Core Weight: 1 Total Weight: 2389 206.94/207.13 c Elapsed CPU time: 200.073 s Remaining CPU time: 1599.93 s 207.34/207.56 c Learning 198 hard constraints 207.34/207.56 c ============================[ Search Statistics ]============================== 207.34/207.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.34/207.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.34/207.56 c =============================================================================== 207.34/207.56 c | 0 | 235199 183482 930878 | 61160 0 nan | 0.000 % | 208.24/208.44 c | 100 | 235199 183482 930878 | 67276 100 493 | 0.452 % | 208.54/208.72 c | 250 | 235199 183482 930878 | 74004 250 263 | 0.452 % | 209.23/209.48 c | 475 | 235198 183482 930878 | 81404 472 216 | 0.453 % | 210.94/211.15 c | 812 | 235198 183482 930878 | 89545 809 200 | 0.453 % | 212.64/212.89 c | 1319 | 235196 183482 930878 | 98499 1315 204 | 0.454 % | 215.63/215.87 c | 2083 | 235196 183482 930878 | 108349 2077 283 | 0.454 % | 222.74/222.99 c =============================================================================== 222.84/223.03 c core #299 222.84/223.03 c Core size: 6652 Core Weight: 1 Total Weight: 2390 222.84/223.03 c Elapsed CPU time: 215.804 s Remaining CPU time: 1584.2 s 223.23/223.48 c Learning 17 hard constraints 223.23/223.48 c ============================[ Search Statistics ]============================== 223.23/223.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.23/223.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.23/223.48 c =============================================================================== 223.23/223.48 c | 0 | 241523 185811 949995 | 61937 0 nan | 0.000 % | 224.14/224.32 c | 100 | 241523 185811 949995 | 68130 100 319 | 0.434 % | 224.83/225.02 c | 250 | 241523 185811 949995 | 74943 250 185 | 0.434 % | 225.83/226.02 c | 476 | 241520 185811 949995 | 82438 470 182 | 0.435 % | 227.43/227.64 c | 815 | 241520 185811 949995 | 90681 809 253 | 0.435 % | 229.43/229.69 c | 1323 | 241517 185811 949995 | 99750 1311 302 | 0.437 % | 232.32/232.57 c | 2083 | 241504 185811 949995 | 109725 2032 373 | 0.442 % | 234.14/234.35 c =============================================================================== 234.14/234.39 c core #300 234.14/234.39 c Core size: 6374 Core Weight: 1 Total Weight: 2391 234.14/234.39 c Elapsed CPU time: 227.052 s Remaining CPU time: 1572.95 s 234.62/234.83 c Learning 122 hard constraints 234.62/234.83 c ============================[ Search Statistics ]============================== 234.62/234.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.62/234.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.62/234.83 c =============================================================================== 234.62/234.83 c | 0 | 247357 187962 978957 | 62654 0 nan | 0.000 % | 235.43/235.68 c | 103 | 247357 187962 978957 | 68919 103 423 | 0.418 % | 236.03/236.29 c | 253 | 247357 187962 978957 | 75811 253 342 | 0.418 % | 236.82/237.01 c | 480 | 247357 187962 978957 | 83392 480 283 | 0.418 % | 237.93/238.10 c | 819 | 247352 187962 978957 | 91731 810 253 | 0.420 % | 239.72/239.95 c | 1325 | 247352 187962 978957 | 100904 1316 215 | 0.420 % | 243.33/243.53 c | 2085 | 247351 187962 978957 | 110995 2073 231 | 0.421 % | 247.63/247.89 c =============================================================================== 247.73/247.92 c core #301 247.73/247.92 c Core size: 5378 Core Weight: 1 Total Weight: 2392 247.73/247.92 c Elapsed CPU time: 240.4 s Remaining CPU time: 1559.6 s 248.12/248.38 c Learning 118 hard constraints 248.12/248.38 c ============================[ Search Statistics ]============================== 248.12/248.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 248.12/248.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 248.12/248.38 c =============================================================================== 248.12/248.38 c | 0 | 252252 190349 1006114 | 63449 0 nan | 0.000 % | 248.92/249.16 c | 103 | 252252 190349 1006114 | 69794 103 492 | 0.407 % | 249.32/249.59 c | 253 | 252251 190349 1006114 | 76774 252 300 | 0.407 % | 250.33/250.54 c | 478 | 252248 190349 1006114 | 84451 474 228 | 0.408 % | 251.73/251.95 c | 815 | 252248 190349 1006114 | 92896 810 188 | 0.408 % | 253.22/253.43 c | 1321 | 252248 190349 1006114 | 102186 1316 140 | 0.408 % | 256.62/256.84 c | 2080 | 252247 190349 1006114 | 112404 2073 161 | 0.409 % | 259.72/259.99 c =============================================================================== 259.82/260.02 c core #302 259.82/260.02 c Core size: 4888 Core Weight: 1 Total Weight: 2393 259.82/260.02 c Elapsed CPU time: 252.363 s Remaining CPU time: 1547.64 s 260.22/260.48 c Learning 87 hard constraints 260.22/260.48 c ============================[ Search Statistics ]============================== 260.22/260.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.22/260.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.22/260.48 c =============================================================================== 260.22/260.48 c | 0 | 256688 192544 1026573 | 64181 0 nan | 0.000 % | 261.12/261.30 c | 100 | 256688 192544 1026573 | 70599 100 198 | 0.398 % | 261.93/262.14 c | 250 | 256688 192544 1026573 | 77659 250 144 | 0.398 % | 262.43/262.66 c | 475 | 256688 192544 1026573 | 85425 475 178 | 0.398 % | 263.52/263.72 c | 812 | 256687 192544 1026573 | 93967 810 177 | 0.398 % | 266.02/266.22 c | 1319 | 256686 192544 1026573 | 103364 1316 196 | 0.399 % | 268.23/268.48 c | 2078 | 256686 192544 1026573 | 113701 2075 237 | 0.399 % | 274.62/274.83 c | 3217 | 256681 192544 1026573 | 125071 3204 258 | 0.400 % | 278.52/278.72 c =============================================================================== 278.52/278.76 c core #303 278.52/278.76 c Core size: 6771 Core Weight: 1 Total Weight: 2394 278.52/278.76 c Elapsed CPU time: 270.919 s Remaining CPU time: 1529.08 s 279.01/279.29 c Learning 283 hard constraints 279.01/279.29 c ============================[ Search Statistics ]============================== 279.01/279.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 279.01/279.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 279.01/279.29 c =============================================================================== 279.01/279.29 c | 0 | 263149 194826 1071360 | 64942 0 nan | 0.000 % | 279.92/280.14 c | 104 | 263149 194826 1071360 | 71436 104 391 | 0.384 % | 280.32/280.56 c | 259 | 263149 194826 1071360 | 78579 259 238 | 0.384 % | 281.21/281.45 c | 485 | 263149 194826 1071360 | 86437 485 199 | 0.384 % | 283.12/283.36 c | 822 | 263148 194826 1071360 | 95081 820 176 | 0.385 % | 284.72/284.99 c | 1331 | 263148 194826 1071360 | 104589 1329 202 | 0.385 % | 287.11/287.32 c | 2093 | 263148 194826 1071360 | 115048 2091 241 | 0.385 % | 290.41/290.63 c | 3232 | 263147 194826 1071360 | 126553 3228 272 | 0.385 % | 297.31/297.54 c | 4943 | 263147 194826 1071360 | 139208 4939 332 | 0.385 % | 306.72/306.96 c | 7508 | 263146 194826 1071360 | 153129 7503 335 | 0.385 % | 322.90/323.15 c | 11354 | 262977 194826 1071360 | 168442 6404 345 | 0.449 % | 331.50/331.71 c =============================================================================== 331.70/331.94 c core #304 331.70/331.94 c Core size: 13976 Core Weight: 1 Total Weight: 2395 331.70/331.94 c Elapsed CPU time: 323.792 s Remaining CPU time: 1476.21 s 332.30/332.51 c Learning 290 hard constraints 332.30/332.51 c ============================[ Search Statistics ]============================== 332.30/332.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 332.30/332.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 332.30/332.51 c =============================================================================== 332.30/332.51 c | 0 | 276335 198080 1133978 | 66026 0 nan | 0.000 % | 333.30/333.58 c | 100 | 276335 198080 1133978 | 72629 100 450 | 0.362 % | 333.80/334.00 c | 250 | 276335 198080 1133978 | 79892 250 302 | 0.362 % | 334.50/334.78 c | 475 | 276330 198080 1133978 | 87881 468 220 | 0.364 % | 335.90/336.14 c | 814 | 276330 198080 1133978 | 96669 807 165 | 0.364 % | 336.70/336.99 c | 1320 | 276329 198080 1133978 | 106336 1311 153 | 0.364 % | 339.09/339.32 c | 2082 | 276313 198080 1133978 | 116970 2046 186 | 0.370 % | 342.60/342.87 c | 3221 | 276312 198080 1133978 | 128667 3184 240 | 0.370 % | 348.80/349.06 c | 4931 | 276310 198080 1133978 | 141534 4890 366 | 0.371 % | 350.89/351.11 c =============================================================================== 350.89/351.18 c core #305 350.89/351.18 c Core size: 7184 Core Weight: 1 Total Weight: 2396 350.89/351.18 c Elapsed CPU time: 342.855 s Remaining CPU time: 1457.15 s 351.39/351.69 c Learning 436 hard constraints 351.39/351.69 c ============================[ Search Statistics ]============================== 351.39/351.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 351.39/351.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 351.39/351.69 c =============================================================================== 351.39/351.69 c | 0 | 282864 200546 1196643 | 66848 0 nan | 0.000 % | 352.59/352.87 c | 103 | 282864 200546 1196643 | 73533 103 369 | 0.349 % | 353.19/353.40 c | 253 | 282863 200546 1196643 | 80886 252 253 | 0.349 % | 353.79/354.09 c | 479 | 282862 200546 1196643 | 88975 478 164 | 0.350 % | 355.00/355.21 c | 817 | 282862 200546 1196643 | 97873 815 184 | 0.350 % | 356.60/356.82 c | 1323 | 282861 200546 1196643 | 107660 1320 155 | 0.350 % | 358.59/358.80 c | 2082 | 282860 200546 1196643 | 118426 2076 182 | 0.351 % | 361.89/362.11 c | 3221 | 282850 200546 1196643 | 130269 3214 232 | 0.354 % | 367.59/367.84 c | 4929 | 282839 200546 1196643 | 143296 4859 265 | 0.358 % | 375.59/375.84 c =============================================================================== 375.69/375.93 c core #306 375.69/375.93 c Core size: 7160 Core Weight: 1 Total Weight: 2397 375.69/375.93 c Elapsed CPU time: 367.37 s Remaining CPU time: 1432.63 s 376.29/376.53 c Learning 749 hard constraints 376.29/376.53 c ============================[ Search Statistics ]============================== 376.29/376.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 376.29/376.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 376.29/376.53 c =============================================================================== 376.29/376.53 c | 0 | 289260 203729 1303253 | 67909 0 nan | 0.000 % | 377.19/377.42 c | 100 | 289260 203729 1303253 | 74700 100 412 | 0.337 % | 378.09/378.32 c | 250 | 289260 203729 1303253 | 82170 250 228 | 0.337 % | 379.19/379.42 c | 475 | 289260 203729 1303253 | 90387 475 160 | 0.337 % | 380.19/380.49 c | 812 | 289260 203729 1303253 | 99426 812 154 | 0.337 % | 381.28/381.56 c | 1319 | 289258 203729 1303253 | 109369 1318 159 | 0.338 % | 384.89/385.15 c | 2079 | 289258 203729 1303253 | 120306 2078 133 | 0.338 % | 387.89/388.16 c | 3218 | 289253 203729 1303253 | 132336 3212 168 | 0.339 % | 393.99/394.26 c | 4926 | 289247 203729 1303253 | 145570 4914 150 | 0.341 % | 399.18/399.49 c =============================================================================== 399.28/399.54 c core #307 399.28/399.54 c Core size: 4649 Core Weight: 1 Total Weight: 2398 399.28/399.54 c Elapsed CPU time: 390.78 s Remaining CPU time: 1409.22 s 399.88/400.12 c Learning 402 hard constraints 399.88/400.12 c ============================[ Search Statistics ]============================== 399.88/400.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 399.88/400.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 399.88/400.12 c =============================================================================== 399.88/400.12 c | 0 | 293369 206186 1365551 | 68728 0 nan | 0.000 % | 400.78/401.03 c | 100 | 293369 206186 1365551 | 75601 100 357 | 0.330 % | 401.19/401.48 c | 251 | 293368 206186 1365551 | 83161 250 289 | 0.331 % | 401.69/401.99 c | 476 | 293368 206186 1365551 | 91477 475 195 | 0.331 % | 403.78/404.09 c | 814 | 293368 206186 1365551 | 100625 813 138 | 0.331 % | 405.38/405.62 c | 1320 | 293368 206186 1365551 | 110688 1319 165 | 0.331 % | 407.68/407.91 c | 2079 | 293368 206186 1365551 | 121757 2078 159 | 0.331 % | 411.28/411.57 c | 3219 | 293363 206186 1365551 | 133932 3216 230 | 0.332 % | 416.48/416.78 c | 4927 | 293355 206186 1365551 | 147326 4906 355 | 0.335 % | 424.08/424.36 c | 7489 | 293352 206186 1365551 | 162058 7449 361 | 0.336 % | 435.78/436.00 c | 11337 | 293323 206186 1365551 | 178264 11267 385 | 0.346 % | 440.87/441.13 c =============================================================================== 440.97/441.26 c core #308 440.97/441.26 c Core size: 9094 Core Weight: 1 Total Weight: 2399 440.97/441.26 c Elapsed CPU time: 432.204 s Remaining CPU time: 1367.8 s 441.67/441.91 c Learning 761 hard constraints 441.67/441.91 c ============================[ Search Statistics ]============================== 441.67/441.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 441.67/441.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 441.67/441.91 c =============================================================================== 441.67/441.91 c | 0 | 301279 209524 1494358 | 69841 0 nan | 0.000 % | 442.47/442.79 c | 103 | 301279 209524 1494358 | 76825 103 408 | 0.319 % | 442.77/443.04 c | 253 | 301279 209524 1494358 | 84508 253 318 | 0.319 % | 443.47/443.74 c | 478 | 301278 209524 1494358 | 92958 477 230 | 0.319 % | 445.28/445.51 c | 817 | 301278 209524 1494358 | 102254 816 212 | 0.319 % | 446.57/446.83 c | 1323 | 301278 209524 1494358 | 112480 1322 245 | 0.319 % | 449.27/449.59 c | 2083 | 301278 209524 1494358 | 123728 2082 223 | 0.319 % | 453.27/453.51 c | 3222 | 301277 209524 1494358 | 136101 3220 225 | 0.320 % | 459.37/459.65 c | 4931 | 301275 209524 1494358 | 149711 4925 261 | 0.320 % | 466.07/466.39 c | 7493 | 301266 209524 1494358 | 164682 7458 309 | 0.323 % | 477.56/477.85 c | 11337 | 301258 209524 1494358 | 181150 11248 412 | 0.326 % | 492.16/492.45 c | 17104 | 301066 209524 1494358 | 199265 16959 467 | 0.428 % | 517.36/517.64 c | 25754 | 300931 209524 1494358 | 219192 18142 555 | 0.434 % | 520.45/520.75 c =============================================================================== 520.85/521.13 c core #309 520.85/521.13 c Core size: 9953 Core Weight: 1 Total Weight: 2400 520.85/521.13 c Elapsed CPU time: 511.728 s Remaining CPU time: 1288.27 s 521.55/521.83 c Learning 2176 hard constraints 521.55/521.83 c ============================[ Search Statistics ]============================== 521.55/521.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 521.55/521.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 521.55/521.83 c =============================================================================== 521.55/521.83 c | 0 | 309641 214489 1833661 | 71496 0 nan | 0.000 % | 522.45/522.71 c | 101 | 309641 214489 1833661 | 78645 101 292 | 0.310 % | 522.85/523.19 c | 251 | 309641 214489 1833661 | 86510 251 184 | 0.310 % | 523.85/524.11 c | 476 | 309640 214489 1833661 | 95161 475 150 | 0.310 % | 525.36/525.67 c | 814 | 309640 214489 1833661 | 104677 813 114 | 0.310 % | 526.85/527.19 c | 1323 | 309639 214489 1833661 | 115145 1321 145 | 0.310 % | 529.04/529.33 c | 2082 | 309636 214489 1833661 | 126660 2079 171 | 0.311 % | 532.05/532.37 c | 3221 | 309632 214489 1833661 | 139326 3209 197 | 0.313 % | 537.45/537.70 c | 4929 | 309632 214489 1833661 | 153258 4904 233 | 0.313 % | 546.14/546.45 c | 7492 | 309629 214489 1833661 | 168584 7450 263 | 0.314 % | 562.14/562.46 c | 11341 | 309609 214489 1833661 | 185443 11222 267 | 0.320 % | 575.74/576.02 c | 17107 | 309594 214489 1833661 | 203987 16923 373 | 0.325 % | 588.93/589.23 c =============================================================================== 589.23/589.55 c core #310 589.23/589.55 c Core size: 10873 Core Weight: 1 Total Weight: 2401 589.23/589.55 c Elapsed CPU time: 579.777 s Remaining CPU time: 1220.22 s 590.04/590.32 c Learning 2112 hard constraints 590.04/590.32 c ============================[ Search Statistics ]============================== 590.04/590.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 590.04/590.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 590.04/590.32 c =============================================================================== 590.04/590.32 c | 0 | 318788 219110 2148370 | 73036 0 nan | 0.000 % | 590.94/591.21 c | 100 | 318788 219110 2148370 | 80340 100 328 | 0.296 % | 591.54/591.83 c | 253 | 318788 219110 2148370 | 88374 253 176 | 0.296 % | 592.54/592.90 c | 478 | 318788 219110 2148370 | 97211 478 129 | 0.296 % | 594.63/594.91 c | 816 | 318788 219110 2148370 | 106932 816 170 | 0.296 % | 597.23/597.52 c | 1322 | 318788 219110 2148370 | 117626 1322 136 | 0.296 % | 599.53/599.86 c | 2083 | 318784 219110 2148370 | 129388 2075 178 | 0.297 % | 602.63/602.97 c | 3223 | 318782 219110 2148370 | 142327 3211 214 | 0.298 % | 607.83/608.15 c | 4931 | 318777 219110 2148370 | 156560 4897 247 | 0.299 % | 615.13/615.41 c | 7495 | 318769 219110 2148370 | 172216 7440 372 | 0.302 % | 625.62/625.97 c | 11339 | 318763 219110 2148370 | 189438 11235 478 | 0.304 % | 641.72/642.08 c | 17107 | 318760 219110 2148370 | 208382 17003 600 | 0.305 % | 668.42/668.71 c | 25758 | 318754 219110 2148370 | 229220 25642 668 | 0.307 % | 716.91/717.21 c | 38732 | 318750 219110 2148370 | 252142 38487 741 | 0.308 % | 818.88/819.22 c | 58194 | 318465 219110 2148370 | 277356 47057 834 | 0.397 % | 843.37/843.75 c =============================================================================== 844.97/845.39 c core #311 844.97/845.39 c Core size: 16156 Core Weight: 1 Total Weight: 2402 844.97/845.39 c Elapsed CPU time: 834.799 s Remaining CPU time: 965.201 s 845.96/846.31 c Learning 4164 hard constraints 845.96/846.31 c ============================[ Search Statistics ]============================== 845.96/846.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 845.96/846.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 845.96/846.31 c =============================================================================== 845.96/846.31 c | 0 | 331617 226248 2807201 | 75416 0 nan | 0.000 % | 846.67/847.02 c | 101 | 331617 226248 2807201 | 82957 101 332 | 0.282 % | 846.96/847.32 c | 254 | 331617 226248 2807201 | 91253 254 270 | 0.282 % | 847.36/847.75 c | 479 | 331616 226248 2807201 | 100378 479 204 | 0.283 % | 848.17/848.55 c | 817 | 331616 226248 2807201 | 110416 817 317 | 0.283 % | 849.97/850.32 c | 1324 | 331615 226248 2807201 | 121458 1323 239 | 0.283 % | 851.26/851.61 c | 2085 | 331613 226248 2807201 | 133604 2083 229 | 0.284 % | 854.46/854.89 c | 3224 | 331610 226248 2807201 | 146964 3218 246 | 0.284 % | 859.96/860.35 c | 4937 | 331597 226248 2807201 | 161660 4877 335 | 0.288 % | 866.76/867.18 c | 7504 | 331595 226248 2807201 | 177826 7401 445 | 0.289 % | 876.36/876.75 c | 11349 | 331585 226248 2807201 | 195609 11191 558 | 0.292 % | 890.95/891.36 c | 17117 | 331584 226248 2807201 | 215170 16959 640 | 0.292 % | 914.85/915.27 c | 25770 | 331582 226248 2807201 | 236687 25562 723 | 0.293 % | 956.14/956.58 c | 38749 | 331580 226248 2807201 | 260356 38541 781 | 0.293 % | 1023.32/1023.76 c | 58212 | 331572 226248 2807201 | 286392 57990 831 | 0.296 % | 1144.80/1145.24 c | 87404 | 331570 226248 2807201 | 315031 87182 875 | 0.296 % | 1407.73/1408.28 c | 131193 | 331563 226248 2807201 | 346534 130886 934 | 0.299 % |
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-1875777-1245133002/watcher-1875777-1245133002 -o /tmp/evaluation-result-1875777-1245133002/solver-1875777-1245133002 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875777-1245133002.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 0.99 0.99 3/64 5240 /proc/meminfo: memFree=1945408/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=2956 CPUtime=0 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 180900658 3026944 249 1992294400 134512640 135709839 4294956240 18446744073709551615 135172946 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 739 249 126 292 0 418 0 [startup+0.042687 s] /proc/loadavg: 0.95 0.99 0.99 3/64 5240 /proc/meminfo: memFree=1945408/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=3860 CPUtime=0.03 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 560 0 0 0 3 0 0 0 18 0 1 0 180900658 3952640 518 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 965 518 134 292 0 670 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3860 [startup+0.102691 s] /proc/loadavg: 0.95 0.99 0.99 3/64 5240 /proc/meminfo: memFree=1945408/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=5132 CPUtime=0.09 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 866 0 0 0 9 0 0 0 18 0 1 0 180900658 5255168 824 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 1283 824 134 292 0 988 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5132 [startup+0.302704 s] /proc/loadavg: 0.95 0.99 0.99 3/64 5240 /proc/meminfo: memFree=1945408/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=9176 CPUtime=0.29 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 2053 0 0 0 28 1 0 0 19 0 1 0 180900658 9396224 1827 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 2294 1827 134 292 0 1999 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9176 [startup+0.702729 s] /proc/loadavg: 0.95 0.99 0.99 3/64 5240 /proc/meminfo: memFree=1945408/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=16408 CPUtime=0.69 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 4318 0 0 0 67 2 0 0 22 0 1 0 180900658 16801792 3604 1992294400 134512640 135709839 4294956240 18446744073709551615 134571057 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 4102 3604 134 292 0 3807 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16408 [startup+1.50178 s] /proc/loadavg: 0.95 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1926392/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=28048 CPUtime=1.49 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 11562 0 0 0 143 6 0 0 25 0 1 0 180900658 28721152 6345 1992294400 134512640 135709839 4294956240 18446744073709551615 134570663 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 7012 6346 135 292 0 6717 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28048 [startup+3.10188 s] /proc/loadavg: 0.95 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1910008/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=53480 CPUtime=3.08 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 30556 0 0 0 291 17 0 0 25 0 1 0 180900658 54763520 12781 1992294400 134512640 135709839 4294956240 18446744073709551615 134599686 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 13370 12781 135 292 0 13075 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 53480 [startup+6.30109 s] /proc/loadavg: 0.95 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1876792/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=75956 CPUtime=6.27 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 46309 0 0 0 594 33 0 0 25 0 1 0 180900658 77778944 18231 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 18989 18231 136 292 0 18694 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 75956 [startup+12.7015 s] /proc/loadavg: 0.96 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1833464/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=123784 CPUtime=12.65 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 81160 0 0 0 1188 77 0 0 25 0 1 0 180900658 126754816 29861 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 30946 29862 136 292 0 30651 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 123784 [startup+25.5013 s] /proc/loadavg: 0.97 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1765112/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=186956 CPUtime=25.43 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 142194 0 0 0 2388 155 0 0 25 0 1 0 180900658 191442944 45509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 46739 45509 136 292 0 46444 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 186956 [startup+51.102 s] /proc/loadavg: 0.98 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1694328/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=267988 CPUtime=51.01 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 211033 0 0 0 4849 252 0 0 25 0 1 0 180900658 274419712 65646 1992294400 134512640 135709839 4294956240 18446744073709551615 134530843 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 66997 65646 136 292 0 66702 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 267988 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1591992/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=357512 CPUtime=102.19 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 315482 0 0 0 9789 430 0 0 25 0 1 0 180900658 366092288 88119 1992294400 134512640 135709839 4294956240 18446744073709551615 134572516 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 89378 88119 136 292 0 89083 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 357512 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1515128/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=439284 CPUtime=162.16 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 406742 0 0 0 15602 614 0 0 25 0 1 0 180900658 449826816 108367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 109821 108367 136 292 0 109526 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 439284 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1465400/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=488204 CPUtime=222.14 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 449925 0 0 0 21507 707 0 0 25 0 1 0 180900658 499920896 119683 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 122051 119683 136 292 0 121756 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 488204 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1421496/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=530516 CPUtime=282.11 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 489034 0 0 0 27427 784 0 0 25 0 1 0 180900658 543248384 130629 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 132629 130629 136 292 0 132334 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 530516 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1389176/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=561660 CPUtime=342.1 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 503049 0 0 0 33397 813 0 0 25 0 1 0 180900658 575139840 138675 1992294400 134512640 135709839 4294956240 18446744073709551615 134572388 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 140415 138675 136 292 0 140120 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 561660 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1369016/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=580012 CPUtime=402.09 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 526821 0 0 0 39334 875 0 0 25 0 1 0 180900658 593932288 143673 1992294400 134512640 135709839 4294956240 18446744073709551615 134572744 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 145003 143673 136 292 0 144708 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 580012 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1340984/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=607488 CPUtime=462.07 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 540356 0 0 0 45305 902 0 0 25 0 1 0 180900658 622067712 150665 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 151872 150665 136 292 0 151577 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 607488 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1273784/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=667868 CPUtime=522.05 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 561923 0 0 0 51268 937 0 0 25 0 1 0 180900658 683896832 165925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 166967 165925 136 292 0 166672 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 667868 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 5241 /proc/meminfo: memFree=1279544/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=667868 CPUtime=582.03 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 561923 0 0 0 57253 950 0 0 25 0 1 0 180900658 683896832 165925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 166967 165925 136 292 0 166672 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 667868 [startup+642.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 5241 /proc/meminfo: memFree=1267576/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=681648 CPUtime=642.02 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 570882 0 0 0 63224 978 0 0 25 0 1 0 180900658 698007552 168907 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 170412 168907 136 292 0 170117 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 681648 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5241 /proc/meminfo: memFree=1075192/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=874628 CPUtime=881.95 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 624316 0 0 0 87140 1055 0 0 25 0 1 0 180900658 895619072 216825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 218657 216825 136 292 0 218362 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 874628 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5241 /proc/meminfo: memFree=1075192/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=874628 CPUtime=941.94 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 624319 0 0 0 93129 1065 0 0 25 0 1 0 180900658 895619072 216828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 218657 216828 136 292 0 218362 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 874628 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=1075192/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=874628 CPUtime=1001.93 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 624330 0 0 0 99119 1074 0 0 25 0 1 0 180900658 895619072 216839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 218657 216839 136 292 0 218362 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 874628 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=1046456/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=904280 CPUtime=1061.91 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 631734 0 0 0 105106 1085 0 0 25 0 1 0 180900658 925982720 224243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 226070 224243 136 292 0 225775 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 904280 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=986104/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=964008 CPUtime=1121.9 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 646672 0 0 0 111089 1101 0 0 25 0 1 0 180900658 987144192 239181 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 241002 239181 136 292 0 240707 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 964008 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=938424/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1012124 CPUtime=1181.89 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 658653 0 0 0 117074 1115 0 0 25 0 1 0 180900658 1036414976 251162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 253031 251162 136 292 0 252736 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1012124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=890616/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1059308 CPUtime=1241.87 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 670454 0 0 0 123060 1127 0 0 25 0 1 0 180900658 1084731392 262963 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 264827 262963 136 292 0 264532 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1059308 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=846584/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1102816 CPUtime=1301.86 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 681332 0 0 0 129046 1140 0 0 25 0 1 0 180900658 1129283584 273841 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 275704 273843 136 292 0 275409 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1102816 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=800952/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1148684 CPUtime=1361.84 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 692807 0 0 0 135031 1153 0 0 25 0 1 0 180900658 1176252416 285316 1992294400 134512640 135709839 4294956240 18446744073709551615 134573653 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 287171 285316 136 292 0 286876 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1148684 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=761528/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1187832 CPUtime=1421.83 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 702567 0 0 0 141021 1162 0 0 25 0 1 0 180900658 1216339968 295076 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 296958 295076 136 292 0 296663 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1187832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=716728/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1233024 CPUtime=1481.81 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 713830 0 0 0 147007 1174 0 0 25 0 1 0 180900658 1262616576 306339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 308256 306339 136 292 0 307961 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1233024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=672376/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1276940 CPUtime=1541.8 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 724795 0 0 0 152993 1187 0 0 25 0 1 0 180900658 1307586560 317304 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 319235 317304 136 292 0 318940 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1276940 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=634488/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1315308 CPUtime=1601.79 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 734387 0 0 0 158980 1199 0 0 25 0 1 0 180900658 1346875392 326896 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 328827 326896 136 292 0 328532 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1315308 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=593656/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1355432 CPUtime=1661.77 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 744418 0 0 0 164968 1209 0 0 25 0 1 0 180900658 1387962368 336927 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 338858 336927 136 292 0 338563 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1355432 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=560760/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1388552 CPUtime=1721.76 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 752713 0 0 0 170959 1217 0 0 25 0 1 0 180900658 1421877248 345222 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 347138 345222 136 292 0 346843 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1388552 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=524920/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1424068 CPUtime=1781.74 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 761572 0 0 0 176946 1228 0 0 25 0 1 0 180900658 1458245632 354081 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 356017 354081 136 292 0 355722 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1424068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=515128/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=1433644 CPUtime=1800.04 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4194304 763958 0 0 0 178773 1231 0 0 25 0 1 0 180900658 1468051456 356467 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 358411 356467 136 292 0 358116 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1433644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5241 /proc/meminfo: memFree=515128/2055920 swapFree=4181748/4192956 [pid=5240] ppid=5238 vsize=0 CPUtime=1800.23 /proc/5240/stat : 5240 (wbo) R 5238 5240 4962 0 -1 4195332 763958 0 0 0 178773 1250 0 0 25 0 1 0 180900658 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5240/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.83 CPU time (s): 1800.27 CPU user time (s): 1787.74 CPU system time (s): 12.5321 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 1433644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.74 system time used= 12.5321 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 763958 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= 6804 runsolver used 1.26381 second user time and 3.89241 second system time The end
Begin job on node22 at 2009-06-16 08:16:42 IDJOB=1875777 IDBENCH=1852 IDSOLVER=698 FILE ID=node22/1875777-1245133002 PBS_JOBID= 9363697 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.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-1875777-1245133002/watcher-1875777-1245133002 -o /tmp/evaluation-result-1875777-1245133002/solver-1875777-1245133002 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875777-1245133002.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED=869015764 node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1945760 kB Buffers: 7356 kB Cached: 53712 kB SwapCached: 5504 kB Active: 49320 kB Inactive: 19656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1945760 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 12876 kB Slab: 27204 kB Committed_AS: 151396 kB PageTables: 1372 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-1875777-1245133002.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-16 08:46:45