Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 0.554915 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2967 |
Optimality of the best value was proved | YES |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
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-1876126-1245133371.opb. 0.00/0.00 c Instance file HOME/instance-1876126-1245133371.opb 0.00/0.00 c File size is 48755 bytes. 0.00/0.00 c Highest Coefficient sum: 2552 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 1086 | 0.00/0.00 c | Number Clauses: 1169 | 0.00/0.00 c | Number Cardinality: 85 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 23 Core Weight: 83 Total Weight: 83 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 42 Core Weight: 46 Total Weight: 129 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 64 Core Weight: 3 Total Weight: 132 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 64 Core Weight: 1 Total Weight: 133 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 25 Core Weight: 47 Total Weight: 180 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 37 Core Weight: 5 Total Weight: 185 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 30 Core Weight: 13 Total Weight: 198 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 16 Core Weight: 41 Total Weight: 239 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 52 Core Weight: 4 Total Weight: 243 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 14 Core Weight: 39 Total Weight: 282 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 64 Core Weight: 2 Total Weight: 284 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 64 Core Weight: 12 Total Weight: 296 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 23 Core Weight: 45 Total Weight: 341 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #14 0.03/0.03 c Core size: 135 Core Weight: 1 Total Weight: 342 0.03/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #15 0.03/0.03 c Core size: 171 Core Weight: 3 Total Weight: 345 0.03/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #16 0.03/0.04 c Core size: 56 Core Weight: 20 Total Weight: 365 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #17 0.03/0.04 c Core size: 66 Core Weight: 12 Total Weight: 377 0.03/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #18 0.03/0.04 c Core size: 195 Core Weight: 1 Total Weight: 378 0.03/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #19 0.03/0.05 c Core size: 196 Core Weight: 3 Total Weight: 381 0.03/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #20 0.03/0.05 c Core size: 196 Core Weight: 1 Total Weight: 382 0.03/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #21 0.03/0.05 c Core size: 47 Core Weight: 12 Total Weight: 394 0.03/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #22 0.03/0.06 c Core size: 31 Core Weight: 41 Total Weight: 435 0.03/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #23 0.03/0.06 c Core size: 100 Core Weight: 2 Total Weight: 437 0.03/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #24 0.03/0.06 c Core size: 113 Core Weight: 2 Total Weight: 439 0.03/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #25 0.03/0.07 c Core size: 113 Core Weight: 3 Total Weight: 442 0.03/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #26 0.03/0.07 c Core size: 112 Core Weight: 3 Total Weight: 445 0.03/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #27 0.03/0.08 c Core size: 221 Core Weight: 1 Total Weight: 446 0.03/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #28 0.03/0.08 c Core size: 54 Core Weight: 28 Total Weight: 474 0.03/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #29 0.03/0.08 c Core size: 48 Core Weight: 5 Total Weight: 479 0.03/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #30 0.03/0.09 c Core size: 94 Core Weight: 2 Total Weight: 481 0.03/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #31 0.03/0.09 c Core size: 93 Core Weight: 16 Total Weight: 497 0.03/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.03/0.10 c core #32 0.03/0.10 c Core size: 261 Core Weight: 2 Total Weight: 499 0.03/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #33 0.09/0.10 c Core size: 284 Core Weight: 1 Total Weight: 500 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #34 0.09/0.11 c Core size: 291 Core Weight: 3 Total Weight: 503 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #35 0.09/0.11 c Core size: 290 Core Weight: 1 Total Weight: 504 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #36 0.09/0.12 c Core size: 289 Core Weight: 1 Total Weight: 505 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #37 0.09/0.13 c Core size: 288 Core Weight: 1 Total Weight: 506 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #38 0.09/0.13 c Core size: 287 Core Weight: 17 Total Weight: 523 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #39 0.09/0.14 c Core size: 287 Core Weight: 3 Total Weight: 526 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #40 0.09/0.14 c Core size: 191 Core Weight: 1 Total Weight: 527 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #41 0.09/0.15 c Core size: 190 Core Weight: 2 Total Weight: 529 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #42 0.09/0.16 c Core size: 189 Core Weight: 3 Total Weight: 532 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #43 0.09/0.17 c Core size: 90 Core Weight: 4 Total Weight: 536 0.09/0.17 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #44 0.09/0.17 c Core size: 124 Core Weight: 2 Total Weight: 538 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #45 0.09/0.18 c Core size: 123 Core Weight: 18 Total Weight: 556 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #46 0.09/0.19 c Core size: 67 Core Weight: 28 Total Weight: 584 0.09/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #47 0.09/0.19 c Core size: 47 Core Weight: 11 Total Weight: 595 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #48 0.19/0.20 c Core size: 81 Core Weight: 2 Total Weight: 597 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #49 0.19/0.21 c Core size: 146 Core Weight: 11 Total Weight: 608 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #50 0.19/0.22 c Core size: 238 Core Weight: 1 Total Weight: 609 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #51 0.19/0.22 c Core size: 237 Core Weight: 2 Total Weight: 611 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #52 0.19/0.23 c Core size: 236 Core Weight: 1 Total Weight: 612 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #53 0.19/0.24 c Core size: 235 Core Weight: 5 Total Weight: 617 0.19/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #54 0.19/0.25 c Core size: 224 Core Weight: 2 Total Weight: 619 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #55 0.19/0.26 c Core size: 222 Core Weight: 1 Total Weight: 620 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #56 0.19/0.27 c Core size: 220 Core Weight: 2 Total Weight: 622 0.19/0.27 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #57 0.19/0.28 c Core size: 218 Core Weight: 4 Total Weight: 626 0.19/0.28 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #58 0.19/0.28 c Core size: 19 Core Weight: 23 Total Weight: 649 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #59 0.19/0.29 c Core size: 64 Core Weight: 30 Total Weight: 679 0.19/0.29 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #60 0.29/0.30 c Core size: 284 Core Weight: 1 Total Weight: 680 0.29/0.30 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #61 0.29/0.31 c Core size: 278 Core Weight: 2 Total Weight: 682 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #62 0.29/0.32 c Core size: 269 Core Weight: 1 Total Weight: 683 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #63 0.29/0.33 c Core size: 267 Core Weight: 3 Total Weight: 686 0.29/0.33 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.35 c core #64 0.29/0.35 c Core size: 266 Core Weight: 4 Total Weight: 690 0.29/0.35 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #65 0.29/0.36 c Core size: 260 Core Weight: 2 Total Weight: 692 0.29/0.36 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #66 0.29/0.37 c Core size: 210 Core Weight: 3 Total Weight: 695 0.29/0.37 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #67 0.29/0.38 c Core size: 25 Core Weight: 58 Total Weight: 753 0.29/0.38 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #68 0.29/0.39 c Core size: 188 Core Weight: 2 Total Weight: 755 0.29/0.39 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #69 0.39/0.40 c Core size: 198 Core Weight: 4 Total Weight: 759 0.39/0.40 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #70 0.39/0.41 c Core size: 197 Core Weight: 1 Total Weight: 760 0.39/0.41 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #71 0.39/0.42 c Core size: 196 Core Weight: 2 Total Weight: 762 0.39/0.42 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 0.39/0.44 c core #72 0.39/0.44 c Core size: 195 Core Weight: 1 Total Weight: 763 0.39/0.44 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #73 0.39/0.45 c Core size: 194 Core Weight: 7 Total Weight: 770 0.39/0.45 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.46 c core #74 0.39/0.46 c Core size: 77 Core Weight: 8 Total Weight: 778 0.39/0.46 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.47 c core #75 0.39/0.47 c Core size: 19 Core Weight: 19 Total Weight: 797 0.39/0.47 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.48 c core #76 0.39/0.48 c Core size: 69 Core Weight: 3 Total Weight: 800 0.39/0.48 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.50 c core #77 0.39/0.50 c Core size: 39 Core Weight: 30 Total Weight: 830 0.39/0.50 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #78 0.49/0.51 c Core size: 26 Core Weight: 53 Total Weight: 883 0.49/0.51 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.52 c core #79 0.49/0.52 c Core size: 52 Core Weight: 4 Total Weight: 887 0.49/0.52 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #80 0.49/0.53 c Core size: 84 Core Weight: 5 Total Weight: 892 0.49/0.53 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.54 c core #81 0.49/0.54 c Core size: 144 Core Weight: 7 Total Weight: 899 0.49/0.54 c Elapsed CPU time: 0.526919 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #82 0.49/0.56 c Core size: 125 Core Weight: 1 Total Weight: 900 0.49/0.56 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #83 0.49/0.57 c Core size: 161 Core Weight: 3 Total Weight: 903 0.49/0.57 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.58 c core #84 0.49/0.58 c Core size: 189 Core Weight: 3 Total Weight: 906 0.49/0.58 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.59 c core #85 0.49/0.59 c Core size: 188 Core Weight: 4 Total Weight: 910 0.49/0.59 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.59/0.61 c core #86 0.59/0.61 c Core size: 187 Core Weight: 4 Total Weight: 914 0.59/0.61 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.59/0.62 c core #87 0.59/0.62 c Core size: 45 Core Weight: 1 Total Weight: 915 0.59/0.62 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.63 c core #88 0.59/0.63 c Core size: 19 Core Weight: 39 Total Weight: 954 0.59/0.63 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.59/0.65 c core #89 0.59/0.65 c Core size: 72 Core Weight: 4 Total Weight: 958 0.59/0.65 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.66 c core #90 0.59/0.66 c Core size: 94 Core Weight: 33 Total Weight: 991 0.59/0.66 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #91 0.59/0.67 c Core size: 96 Core Weight: 3 Total Weight: 994 0.59/0.67 c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s 0.59/0.69 c core #92 0.59/0.69 c Core size: 107 Core Weight: 3 Total Weight: 997 0.59/0.69 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.69/0.70 c core #93 0.69/0.70 c Core size: 95 Core Weight: 7 Total Weight: 1004 0.69/0.70 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #94 0.69/0.71 c Core size: 114 Core Weight: 12 Total Weight: 1016 0.69/0.71 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.69/0.73 c core #95 0.69/0.73 c Core size: 62 Core Weight: 16 Total Weight: 1032 0.69/0.73 c Elapsed CPU time: 0.704892 s Remaining CPU time: 1799.3 s 0.69/0.74 c core #96 0.69/0.74 c Core size: 34 Core Weight: 16 Total Weight: 1048 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.69/0.76 c core #97 0.69/0.76 c Core size: 85 Core Weight: 13 Total Weight: 1061 0.69/0.76 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.77 c core #98 0.69/0.77 c Core size: 5 Core Weight: 11 Total Weight: 1072 0.69/0.77 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.78 c core #99 0.69/0.78 c Core size: 91 Core Weight: 4 Total Weight: 1076 0.69/0.78 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.79/0.80 c core #100 0.79/0.80 c Core size: 58 Core Weight: 17 Total Weight: 1093 0.79/0.80 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.79/0.82 c core #101 0.79/0.82 c Core size: 133 Core Weight: 5 Total Weight: 1098 0.79/0.82 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.83 c core #102 0.79/0.83 c Core size: 15 Core Weight: 16 Total Weight: 1114 0.79/0.83 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.79/0.85 c core #103 0.79/0.85 c Core size: 144 Core Weight: 3 Total Weight: 1117 0.79/0.85 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 12397 14199 23667 | 5000 0 nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #104 0.79/0.87 c Core size: 143 Core Weight: 4 Total Weight: 1121 0.79/0.87 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.89 c Learning 1 hard constraints 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 12894 14336 23968 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #105 0.79/0.89 c Core size: 130 Core Weight: 1 Total Weight: 1122 0.79/0.89 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.89/0.91 c Learning 1 hard constraints 0.89/0.91 c core #106 0.89/0.91 c Core size: 134 Core Weight: 13 Total Weight: 1135 0.89/0.91 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.89/0.93 c core #107 0.89/0.93 c Core size: 331 Core Weight: 1 Total Weight: 1136 0.89/0.93 c Elapsed CPU time: 0.903862 s Remaining CPU time: 1799.1 s 0.89/0.95 c core #108 0.89/0.95 c Core size: 336 Core Weight: 1 Total Weight: 1137 0.89/0.95 c Elapsed CPU time: 0.923859 s Remaining CPU time: 1799.08 s 0.89/0.97 c core #109 0.89/0.97 c Core size: 290 Core Weight: 1 Total Weight: 1138 0.89/0.97 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.89/0.99 c core #110 0.89/0.99 c Core size: 217 Core Weight: 1 Total Weight: 1139 0.89/0.99 c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s 1.00/1.02 c core #111 1.00/1.02 c Core size: 216 Core Weight: 8 Total Weight: 1147 1.00/1.02 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 1.00/1.04 c ============================[ Search Statistics ]============================== 1.00/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.04 c =============================================================================== 1.00/1.04 c | 0 | 14730 15933 26060 | 5311 0 nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c core #112 1.00/1.04 c Core size: 146 Core Weight: 8 Total Weight: 1155 1.00/1.04 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 14872 16074 26227 | 5358 0 nan | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c core #113 1.00/1.06 c Core size: 271 Core Weight: 1 Total Weight: 1156 1.00/1.06 c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s 1.00/1.09 c Learning 2 hard constraints 1.00/1.09 c core #114 1.00/1.09 c Core size: 271 Core Weight: 1 Total Weight: 1157 1.00/1.09 c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s 1.09/1.11 c ============================[ Search Statistics ]============================== 1.09/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.11 c =============================================================================== 1.09/1.11 c | 0 | 15392 16589 26899 | 5529 0 nan | 0.000 % | 1.09/1.11 c =============================================================================== 1.09/1.11 c core #115 1.09/1.11 c Core size: 287 Core Weight: 1 Total Weight: 1158 1.09/1.11 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 15666 16859 27251 | 5619 0 nan | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c core #116 1.09/1.14 c Core size: 179 Core Weight: 4 Total Weight: 1162 1.09/1.14 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.16 c Learning 1 hard constraints 1.09/1.16 c ============================[ Search Statistics ]============================== 1.09/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.16 c =============================================================================== 1.09/1.16 c | 0 | 15837 17030 27493 | 5676 0 nan | 0.000 % | 1.09/1.17 c =============================================================================== 1.09/1.17 c core #117 1.09/1.17 c Core size: 180 Core Weight: 2 Total Weight: 1164 1.09/1.17 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 16008 17200 27758 | 5733 0 nan | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #118 1.09/1.19 c Core size: 158 Core Weight: 2 Total Weight: 1166 1.09/1.19 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.19/1.22 c Learning 1 hard constraints 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 16159 17352 27933 | 5784 0 nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c core #119 1.19/1.22 c Core size: 119 Core Weight: 6 Total Weight: 1172 1.19/1.22 c Elapsed CPU time: 1.18682 s Remaining CPU time: 1798.81 s 1.19/1.25 c Learning 1 hard constraints 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 16271 17464 28089 | 5821 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #120 1.19/1.25 c Core size: 164 Core Weight: 1 Total Weight: 1173 1.19/1.25 c Elapsed CPU time: 1.21182 s Remaining CPU time: 1798.79 s 1.19/1.27 c Learning 1 hard constraints 1.19/1.27 c core #121 1.19/1.27 c Core size: 172 Core Weight: 1 Total Weight: 1174 1.19/1.27 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.30 c core #122 1.19/1.30 c Core size: 171 Core Weight: 1 Total Weight: 1175 1.19/1.30 c Elapsed CPU time: 1.25981 s Remaining CPU time: 1798.74 s 1.29/1.32 c core #123 1.29/1.32 c Core size: 146 Core Weight: 7 Total Weight: 1182 1.29/1.32 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 16898 18083 29039 | 6027 0 nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #124 1.29/1.35 c Core size: 143 Core Weight: 1 Total Weight: 1183 1.29/1.35 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.29/1.38 c Learning 1 hard constraints 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 17034 18220 29264 | 6073 0 nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #125 1.29/1.38 c Core size: 178 Core Weight: 8 Total Weight: 1191 1.29/1.38 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.39/1.40 c Learning 4 hard constraints 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 17203 18395 29518 | 6131 0 nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #126 1.39/1.41 c Core size: 134 Core Weight: 3 Total Weight: 1194 1.39/1.41 c Elapsed CPU time: 1.36879 s Remaining CPU time: 1798.63 s 1.39/1.43 c Learning 1 hard constraints 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 17332 18521 29782 | 6173 0 nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #127 1.39/1.44 c Core size: 235 Core Weight: 1 Total Weight: 1195 1.39/1.44 c Elapsed CPU time: 1.39879 s Remaining CPU time: 1798.6 s 1.39/1.46 c Learning 1 hard constraints 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 17549 18738 30081 | 6246 0 nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c core #128 1.39/1.47 c Core size: 230 Core Weight: 1 Total Weight: 1196 1.39/1.47 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.39/1.49 c Learning 1 hard constraints 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 | 17765 18954 30475 | 6318 0 nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c core #129 1.49/1.50 c Core size: 359 Core Weight: 1 Total Weight: 1197 1.49/1.50 c Elapsed CPU time: 1.45978 s Remaining CPU time: 1798.54 s 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 18110 19290 31043 | 6430 0 nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #130 1.49/1.53 c Core size: 313 Core Weight: 1 Total Weight: 1198 1.49/1.53 c Elapsed CPU time: 1.49377 s Remaining CPU time: 1798.51 s 1.49/1.56 c Learning 1 hard constraints 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 18402 19582 31419 | 6527 0 nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c core #131 1.49/1.57 c Core size: 193 Core Weight: 1 Total Weight: 1199 1.49/1.57 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.59 c Learning 2 hard constraints 1.49/1.59 c core #132 1.49/1.59 c Core size: 209 Core Weight: 1 Total Weight: 1200 1.49/1.59 c Elapsed CPU time: 1.55376 s Remaining CPU time: 1798.45 s 1.59/1.62 c core #133 1.59/1.62 c Core size: 214 Core Weight: 1 Total Weight: 1201 1.59/1.62 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.59/1.65 c core #134 1.59/1.65 c Core size: 214 Core Weight: 1 Total Weight: 1202 1.59/1.65 c Elapsed CPU time: 1.60976 s Remaining CPU time: 1798.39 s 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 19186 20354 32631 | 6784 0 nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #135 1.59/1.69 c Core size: 264 Core Weight: 1 Total Weight: 1203 1.59/1.69 c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s 1.69/1.72 c Learning 2 hard constraints 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 19433 20601 32915 | 6867 0 nan | 0.000 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c core #136 1.69/1.72 c Core size: 274 Core Weight: 1 Total Weight: 1204 1.69/1.72 c Elapsed CPU time: 1.68074 s Remaining CPU time: 1798.32 s 1.69/1.75 c Learning 1 hard constraints 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 19730 20856 33290 | 6952 0 nan | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #137 1.69/1.76 c Core size: 336 Core Weight: 1 Total Weight: 1205 1.69/1.76 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 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 | 20051 21158 33890 | 7052 0 nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c core #138 1.79/1.80 c Core size: 316 Core Weight: 1 Total Weight: 1206 1.79/1.80 c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 20349 21445 34329 | 7148 0 nan | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c core #139 1.79/1.84 c Core size: 176 Core Weight: 2 Total Weight: 1208 1.79/1.84 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 20514 21609 34535 | 7203 0 nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.79/1.88 c core #140 1.79/1.88 c Core size: 322 Core Weight: 1 Total Weight: 1209 1.79/1.88 c Elapsed CPU time: 1.82572 s Remaining CPU time: 1798.17 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 | 20818 21895 35043 | 7298 0 nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c core #141 1.89/1.93 c Core size: 412 Core Weight: 1 Total Weight: 1210 1.89/1.93 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.89/1.96 c Learning 1 hard constraints 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 21200 22259 35547 | 7419 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c core #142 1.89/1.97 c Core size: 262 Core Weight: 3 Total Weight: 1213 1.89/1.97 c Elapsed CPU time: 1.91171 s Remaining CPU time: 1798.09 s 1.99/2.00 c Learning 3 hard constraints 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 21451 22507 36191 | 7502 0 nan | 0.000 % | 1.99/2.02 c =============================================================================== 1.99/2.02 c core #143 1.99/2.02 c Core size: 295 Core Weight: 1 Total Weight: 1214 1.99/2.02 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.99/2.05 c ============================[ Search Statistics ]============================== 1.99/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.05 c =============================================================================== 1.99/2.05 c | 0 | 21732 22786 36676 | 7595 0 nan | 0.000 % | 1.99/2.06 c =============================================================================== 1.99/2.06 c core #144 1.99/2.06 c Core size: 255 Core Weight: 3 Total Weight: 1217 1.99/2.06 c Elapsed CPU time: 2.0027 s Remaining CPU time: 1798 s 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 21975 23024 37182 | 7674 0 nan | 0.000 % | 2.09/2.11 c =============================================================================== 2.09/2.11 c core #145 2.09/2.11 c Core size: 230 Core Weight: 2 Total Weight: 1219 2.09/2.11 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 2.09/2.15 c Learning 1 hard constraints 2.09/2.15 c ============================[ Search Statistics ]============================== 2.09/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.15 c =============================================================================== 2.09/2.15 c | 0 | 22189 23235 37508 | 7745 0 nan | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c core #146 2.09/2.16 c Core size: 169 Core Weight: 1 Total Weight: 1220 2.09/2.16 c Elapsed CPU time: 2.08868 s Remaining CPU time: 1797.91 s 2.09/2.19 c ============================[ Search Statistics ]============================== 2.09/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.19 c =============================================================================== 2.09/2.19 c | 0 | 22347 23383 37822 | 7794 0 nan | 0.000 % | 2.19/2.22 c =============================================================================== 2.19/2.22 c core #147 2.19/2.22 c Core size: 516 Core Weight: 1 Total Weight: 1221 2.19/2.22 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.19/2.25 c Learning 1 hard constraints 2.19/2.25 c ============================[ Search Statistics ]============================== 2.19/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.25 c =============================================================================== 2.19/2.25 c | 0 | 22822 23836 38564 | 7945 0 nan | 0.000 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c core #148 2.19/2.27 c Core size: 249 Core Weight: 1 Total Weight: 1222 2.19/2.27 c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 23054 24068 38842 | 8022 0 nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c core #149 2.29/2.33 c Core size: 341 Core Weight: 1 Total Weight: 1223 2.29/2.33 c Elapsed CPU time: 2.24766 s Remaining CPU time: 1797.75 s 2.29/2.37 c Learning 1 hard constraints 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 23363 24364 39290 | 8121 0 nan | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c core #150 2.29/2.38 c Core size: 288 Core Weight: 1 Total Weight: 1224 2.29/2.38 c Elapsed CPU time: 2.29265 s Remaining CPU time: 1797.71 s 2.39/2.42 c Learning 1 hard constraints 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 23630 24620 39593 | 8206 0 nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c core #151 2.39/2.43 c Core size: 245 Core Weight: 1 Total Weight: 1225 2.39/2.43 c Elapsed CPU time: 2.33664 s Remaining CPU time: 1797.66 s 2.39/2.47 c ============================[ Search Statistics ]============================== 2.39/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.47 c =============================================================================== 2.39/2.47 c | 0 | 23857 24839 39853 | 8279 0 nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c core #152 2.39/2.48 c Core size: 285 Core Weight: 1 Total Weight: 1226 2.39/2.48 c Elapsed CPU time: 2.38264 s Remaining CPU time: 1797.62 s 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 24123 25104 40200 | 8368 0 nan | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c core #153 2.49/2.54 c Core size: 284 Core Weight: 1 Total Weight: 1227 2.49/2.54 c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s 2.49/2.57 c Learning 1 hard constraints 2.49/2.57 c ============================[ Search Statistics ]============================== 2.49/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.57 c =============================================================================== 2.49/2.57 c | 0 | 24386 25368 40514 | 8456 0 nan | 0.000 % | 2.49/2.60 c =============================================================================== 2.49/2.60 c core #154 2.49/2.60 c Core size: 272 Core Weight: 1 Total Weight: 1228 2.49/2.60 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.64 c | 0 | 24637 25611 40798 | 8537 0 nan | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c core #155 2.59/2.66 c Core size: 293 Core Weight: 1 Total Weight: 1229 2.59/2.66 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.69/2.70 c Learning 1 hard constraints 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 24911 25877 41246 | 8625 0 nan | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c core #156 2.69/2.71 c Core size: 234 Core Weight: 6 Total Weight: 1235 2.69/2.71 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.69/2.75 c Learning 2 hard constraints 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 25135 26102 41632 | 8700 0 nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c core #157 2.69/2.78 c Core size: 450 Core Weight: 1 Total Weight: 1236 2.69/2.78 c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s 2.79/2.82 c ============================[ Search Statistics ]============================== 2.79/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.82 c =============================================================================== 2.79/2.82 c | 0 | 25556 26513 42214 | 8837 0 nan | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c core #158 2.79/2.83 c Core size: 409 Core Weight: 1 Total Weight: 1237 2.79/2.83 c Elapsed CPU time: 2.69259 s Remaining CPU time: 1797.31 s 2.79/2.87 c Learning 1 hard constraints 2.79/2.87 c ============================[ Search Statistics ]============================== 2.79/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.87 c =============================================================================== 2.79/2.87 c | 0 | 25938 26887 42698 | 8962 0 nan | 0.000 % | 2.79/2.90 c =============================================================================== 2.79/2.90 c core #159 2.79/2.90 c Core size: 379 Core Weight: 1 Total Weight: 1238 2.79/2.90 c Elapsed CPU time: 2.74558 s Remaining CPU time: 1797.25 s 2.88/2.94 c Learning 2 hard constraints 2.88/2.94 c ============================[ Search Statistics ]============================== 2.88/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.94 c =============================================================================== 2.88/2.94 c | 0 | 26290 27228 43413 | 9076 0 nan | 0.000 % | 2.88/2.96 c =============================================================================== 2.88/2.96 c core #160 2.88/2.96 c Core size: 471 Core Weight: 1 Total Weight: 1239 2.88/2.96 c Elapsed CPU time: 2.80057 s Remaining CPU time: 1797.2 s 2.98/3.00 c Learning 1 hard constraints 2.98/3.00 c ============================[ Search Statistics ]============================== 2.98/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.00 c =============================================================================== 2.98/3.00 c | 0 | 26732 27656 44159 | 9218 0 nan | 0.000 % | 2.98/3.03 c =============================================================================== 2.98/3.03 c core #161 2.98/3.03 c Core size: 355 Core Weight: 1 Total Weight: 1240 2.98/3.03 c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 s 2.98/3.07 c Learning 1 hard constraints 2.98/3.07 c ============================[ Search Statistics ]============================== 2.98/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.07 c =============================================================================== 2.98/3.07 c | 0 | 27064 27987 44566 | 9329 0 nan | 0.000 % | 3.08/3.10 c =============================================================================== 3.08/3.10 c core #162 3.08/3.10 c Core size: 592 Core Weight: 1 Total Weight: 1241 3.08/3.10 c Elapsed CPU time: 2.92955 s Remaining CPU time: 1797.07 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 | 27606 28521 45265 | 9507 0 nan | 0.000 % | 3.08/3.16 c =============================================================================== 3.08/3.16 c core #163 3.08/3.16 c Core size: 487 Core Weight: 1 Total Weight: 1242 3.08/3.16 c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s 3.18/3.21 c Learning 3 hard constraints 3.18/3.21 c ============================[ Search Statistics ]============================== 3.18/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.21 c =============================================================================== 3.18/3.21 c | 0 | 28055 28958 46013 | 9652 0 nan | 0.000 % | 3.18/3.24 c =============================================================================== 3.18/3.24 c core #164 3.18/3.24 c Core size: 417 Core Weight: 1 Total Weight: 1243 3.18/3.24 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 3.18/3.28 c Learning 1 hard constraints 3.18/3.28 c ============================[ Search Statistics ]============================== 3.18/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.28 c =============================================================================== 3.18/3.28 c | 0 | 28442 29341 46447 | 9780 0 nan | 0.000 % | 3.28/3.32 c =============================================================================== 3.28/3.32 c core #165 3.28/3.32 c Core size: 595 Core Weight: 1 Total Weight: 1244 3.28/3.32 c Elapsed CPU time: 3.12252 s Remaining CPU time: 1796.88 s 3.28/3.36 c ============================[ Search Statistics ]============================== 3.28/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.28/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.28/3.36 c =============================================================================== 3.28/3.36 c | 0 | 28991 29869 47129 | 9956 0 nan | 0.000 % | 3.28/3.38 c =============================================================================== 3.28/3.38 c core #166 3.28/3.38 c Core size: 414 Core Weight: 1 Total Weight: 1245 3.28/3.38 c Elapsed CPU time: 3.17652 s Remaining CPU time: 1796.82 s 3.37/3.42 c Learning 2 hard constraints 3.37/3.42 c ============================[ Search Statistics ]============================== 3.37/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.42 c =============================================================================== 3.37/3.42 c | 0 | 29005 30243 47757 | 10081 0 nan | 0.000 % | 3.37/3.44 c =============================================================================== 3.37/3.44 c core #167 3.37/3.44 c Core size: 596 Core Weight: 1 Total Weight: 1246 3.37/3.44 c Elapsed CPU time: 3.23551 s Remaining CPU time: 1796.76 s 3.37/3.48 c Learning 4 hard constraints 3.37/3.48 c ============================[ Search Statistics ]============================== 3.37/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.48 c =============================================================================== 3.37/3.48 c | 0 | 29938 30775 49052 | 10258 0 nan | 0.000 % | 3.48/3.50 c =============================================================================== 3.48/3.50 c core #168 3.48/3.50 c Core size: 290 Core Weight: 1 Total Weight: 1247 3.48/3.50 c Elapsed CPU time: 3.2955 s Remaining CPU time: 1796.7 s 3.48/3.55 c Learning 5 hard constraints 3.48/3.55 c ============================[ Search Statistics ]============================== 3.48/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.55 c =============================================================================== 3.48/3.55 c | 0 | 30209 31049 49582 | 10349 0 nan | 0.000 % | 3.48/3.55 c =============================================================================== 3.48/3.55 c core #169 3.48/3.55 c Core size: 289 Core Weight: 1 Total Weight: 1248 3.48/3.55 c Elapsed CPU time: 3.34449 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 | 30475 31307 49878 | 10435 0 nan | 0.000 % | 3.58/3.61 c =============================================================================== 3.58/3.61 c core #170 3.58/3.61 c Core size: 285 Core Weight: 1 Total Weight: 1249 3.58/3.61 c Elapsed CPU time: 3.39648 s Remaining CPU time: 1796.6 s 3.58/3.66 c ============================[ Search Statistics ]============================== 3.58/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.66 c =============================================================================== 3.58/3.66 c | 0 | 30740 31562 50246 | 10520 0 nan | 0.000 % | 3.58/3.67 c =============================================================================== 3.58/3.67 c core #171 3.58/3.67 c Core size: 330 Core Weight: 1 Total Weight: 1250 3.58/3.67 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 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 | 31044 31850 50585 | 10616 0 nan | 0.000 % | 3.67/3.73 c =============================================================================== 3.67/3.73 c core #172 3.67/3.73 c Core size: 388 Core Weight: 1 Total Weight: 1251 3.67/3.73 c Elapsed CPU time: 3.51247 s Remaining CPU time: 1796.49 s 3.67/3.78 c ============================[ Search Statistics ]============================== 3.67/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.78 c =============================================================================== 3.67/3.78 c | 0 | 31403 32190 50970 | 10730 0 nan | 0.000 % | 3.78/3.80 c =============================================================================== 3.78/3.80 c core #173 3.78/3.80 c Core size: 314 Core Weight: 1 Total Weight: 1252 3.78/3.80 c Elapsed CPU time: 3.57546 s Remaining CPU time: 1796.42 s 3.78/3.85 c Learning 2 hard constraints 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 | 31692 32472 51350 | 10824 0 nan | 0.000 % | 3.78/3.87 c =============================================================================== 3.78/3.87 c core #174 3.78/3.87 c Core size: 359 Core Weight: 1 Total Weight: 1253 3.78/3.87 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.87/3.92 c Learning 1 hard constraints 3.87/3.92 c ============================[ Search Statistics ]============================== 3.87/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.92 c =============================================================================== 3.87/3.92 c | 0 | 32005 32768 51834 | 10922 0 nan | 0.000 % | 3.87/3.93 c =============================================================================== 3.87/3.93 c core #175 3.87/3.93 c Core size: 147 Core Weight: 1 Total Weight: 1254 3.87/3.93 c Elapsed CPU time: 3.69144 s Remaining CPU time: 1796.31 s 3.87/3.98 c Learning 2 hard constraints 3.87/3.98 c ============================[ Search Statistics ]============================== 3.87/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.98 c =============================================================================== 3.87/3.98 c | 0 | 32142 32905 52314 | 10968 0 nan | 0.000 % | 3.87/3.99 c =============================================================================== 3.87/3.99 c core #176 3.87/3.99 c Core size: 251 Core Weight: 1 Total Weight: 1255 3.87/3.99 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.97/4.04 c Learning 2 hard constraints 3.97/4.04 c ============================[ Search Statistics ]============================== 3.97/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.97/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.97/4.04 c =============================================================================== 3.97/4.04 c | 0 | 32377 33139 52911 | 11046 0 nan | 0.000 % | 3.97/4.05 c =============================================================================== 3.97/4.05 c core #177 3.97/4.05 c Core size: 231 Core Weight: 1 Total Weight: 1256 3.97/4.05 c Elapsed CPU time: 3.80642 s Remaining CPU time: 1796.19 s 4.07/4.11 c Learning 1 hard constraints 4.07/4.11 c ============================[ Search Statistics ]============================== 4.07/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.07/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.07/4.11 c =============================================================================== 4.07/4.11 c | 0 | 32595 33357 53364 | 11119 0 nan | 0.000 % | 4.07/4.13 c =============================================================================== 4.07/4.13 c core #178 4.07/4.13 c Core size: 433 Core Weight: 1 Total Weight: 1257 4.07/4.13 c Elapsed CPU time: 3.87741 s Remaining CPU time: 1796.12 s 4.07/4.19 c Learning 2 hard constraints 4.07/4.19 c ============================[ Search Statistics ]============================== 4.07/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.07/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.07/4.19 c =============================================================================== 4.07/4.19 c | 0 | 32994 33740 53906 | 11246 0 nan | 0.000 % | 4.07/4.20 c =============================================================================== 4.07/4.20 c core #179 4.07/4.20 c Core size: 236 Core Weight: 1 Total Weight: 1258 4.07/4.20 c Elapsed CPU time: 3.9334 s Remaining CPU time: 1796.07 s 4.17/4.25 c ============================[ Search Statistics ]============================== 4.17/4.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.25 c =============================================================================== 4.17/4.25 c | 0 | 33214 33957 54218 | 11319 0 nan | 0.000 % | 4.17/4.27 c =============================================================================== 4.17/4.27 c core #180 4.17/4.27 c Core size: 238 Core Weight: 1 Total Weight: 1259 4.17/4.27 c Elapsed CPU time: 3.99439 s Remaining CPU time: 1796.01 s 4.27/4.32 c ============================[ Search Statistics ]============================== 4.27/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.27/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.27/4.32 c =============================================================================== 4.27/4.32 c | 0 | 33435 34177 54538 | 11392 0 nan | 0.000 % | 4.27/4.33 c =============================================================================== 4.27/4.33 c core #181 4.27/4.33 c Core size: 254 Core Weight: 1 Total Weight: 1260 4.27/4.33 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.27/4.39 c ============================[ Search Statistics ]============================== 4.27/4.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.27/4.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.27/4.39 c =============================================================================== 4.27/4.39 c | 0 | 33672 34411 54959 | 11470 0 nan | 0.000 % | 4.37/4.40 c =============================================================================== 4.37/4.40 c core #182 4.37/4.40 c Core size: 301 Core Weight: 1 Total Weight: 1261 4.37/4.40 c Elapsed CPU time: 4.11737 s Remaining CPU time: 1795.88 s 4.37/4.45 c ============================[ Search Statistics ]============================== 4.37/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.37/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.37/4.45 c =============================================================================== 4.37/4.45 c | 0 | 33956 34687 55539 | 11562 0 nan | 0.000 % | 4.37/4.48 c =============================================================================== 4.37/4.48 c core #183 4.37/4.48 c Core size: 556 Core Weight: 1 Total Weight: 1262 4.37/4.48 c Elapsed CPU time: 4.18736 s Remaining CPU time: 1795.81 s 4.47/4.53 c Learning 3 hard constraints 4.47/4.53 c ============================[ Search Statistics ]============================== 4.47/4.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.53 c =============================================================================== 4.47/4.53 c | 0 | 34479 35174 56469 | 11724 0 nan | 0.000 % | 4.47/4.56 c =============================================================================== 4.47/4.56 c core #184 4.47/4.56 c Core size: 417 Core Weight: 1 Total Weight: 1263 4.47/4.56 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 4.56/4.62 c ============================[ Search Statistics ]============================== 4.56/4.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.56/4.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.56/4.62 c =============================================================================== 4.56/4.62 c | 0 | 34867 35534 57306 | 11844 0 nan | 0.000 % | 4.56/4.64 c =============================================================================== 4.56/4.64 c core #185 4.56/4.64 c Core size: 321 Core Weight: 1 Total Weight: 1264 4.56/4.64 c Elapsed CPU time: 4.33534 s Remaining CPU time: 1795.66 s 4.56/4.70 c Learning 2 hard constraints 4.56/4.70 c ============================[ Search Statistics ]============================== 4.56/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.56/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.56/4.70 c =============================================================================== 4.56/4.70 c | 0 | 35207 35809 58075 | 11936 0 nan | 0.000 % | 4.66/4.74 c =============================================================================== 4.66/4.74 c core #186 4.66/4.74 c Core size: 536 Core Weight: 1 Total Weight: 1265 4.66/4.74 c Elapsed CPU time: 4.42433 s Remaining CPU time: 1795.58 s 4.66/4.79 c Learning 6 hard constraints 4.66/4.79 c ============================[ Search Statistics ]============================== 4.66/4.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.66/4.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.66/4.79 c =============================================================================== 4.66/4.79 c | 0 | 35686 36254 59039 | 12084 0 nan | 0.000 % | 4.77/4.82 c =============================================================================== 4.77/4.82 c core #187 4.77/4.82 c Core size: 250 Core Weight: 1 Total Weight: 1266 4.77/4.82 c Elapsed CPU time: 4.50331 s Remaining CPU time: 1795.5 s 4.77/4.88 c Learning 2 hard constraints 4.77/4.88 c ============================[ Search Statistics ]============================== 4.77/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.77/4.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.77/4.88 c =============================================================================== 4.77/4.88 c | 0 | 35914 36476 59617 | 12158 0 nan | 0.000 % | 4.87/4.90 c =============================================================================== 4.87/4.90 c core #188 4.87/4.90 c Core size: 623 Core Weight: 1 Total Weight: 1267 4.87/4.90 c Elapsed CPU time: 4.5793 s Remaining CPU time: 1795.42 s 4.87/4.96 c Learning 1 hard constraints 4.87/4.96 c ============================[ Search Statistics ]============================== 4.87/4.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.87/4.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.87/4.96 c =============================================================================== 4.87/4.96 c | 0 | 36474 37017 60616 | 12339 0 nan | 0.000 % | 4.87/4.99 c =============================================================================== 4.87/4.99 c core #189 4.87/4.99 c Core size: 433 Core Weight: 1 Total Weight: 1268 4.87/4.99 c Elapsed CPU time: 4.64729 s Remaining CPU time: 1795.35 s 4.96/5.05 c ============================[ Search Statistics ]============================== 4.96/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.96/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.96/5.05 c =============================================================================== 4.96/5.05 c | 0 | 36876 37402 61232 | 12467 0 nan | 0.000 % | 4.96/5.07 c =============================================================================== 4.96/5.07 c core #190 4.96/5.07 c Core size: 424 Core Weight: 1 Total Weight: 1269 4.96/5.07 c Elapsed CPU time: 4.72228 s Remaining CPU time: 1795.28 s 5.06/5.13 c ============================[ Search Statistics ]============================== 5.06/5.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.06/5.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.06/5.13 c =============================================================================== 5.06/5.13 c | 0 | 37273 37778 61922 | 12592 0 nan | 0.000 % | 5.06/5.19 c =============================================================================== 5.06/5.19 c core #191 5.06/5.19 c Core size: 566 Core Weight: 1 Total Weight: 1270 5.06/5.19 c Elapsed CPU time: 4.83326 s Remaining CPU time: 1795.17 s 5.16/5.25 c Learning 2 hard constraints 5.16/5.25 c ============================[ Search Statistics ]============================== 5.16/5.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.16/5.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.16/5.25 c =============================================================================== 5.16/5.25 c | 0 | 37784 38250 63028 | 12750 0 nan | 0.000 % | 5.26/5.33 c =============================================================================== 5.26/5.33 c core #192 5.26/5.33 c Core size: 656 Core Weight: 1 Total Weight: 1271 5.26/5.33 c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s 5.26/5.40 c Learning 1 hard constraints 5.26/5.40 c ============================[ Search Statistics ]============================== 5.26/5.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.26/5.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.26/5.40 c =============================================================================== 5.26/5.40 c | 0 | 38371 38780 64263 | 12926 0 nan | 0.000 % | 5.36/5.43 c =============================================================================== 5.36/5.43 c core #193 5.36/5.43 c Core size: 341 Core Weight: 1 Total Weight: 1272 5.36/5.43 c Elapsed CPU time: 5.04823 s Remaining CPU time: 1794.95 s 5.36/5.49 c Learning 7 hard constraints 5.36/5.49 c ============================[ Search Statistics ]============================== 5.36/5.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.36/5.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.36/5.49 c =============================================================================== 5.36/5.49 c | 0 | 38676 39076 64838 | 13025 0 nan | 0.000 % | 5.46/5.52 c =============================================================================== 5.46/5.52 c core #194 5.46/5.52 c Core size: 466 Core Weight: 1 Total Weight: 1273 5.46/5.52 c Elapsed CPU time: 5.13622 s Remaining CPU time: 1794.86 s 5.46/5.58 c Learning 5 hard constraints 5.46/5.58 c ============================[ Search Statistics ]============================== 5.46/5.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.46/5.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.46/5.58 c =============================================================================== 5.46/5.58 c | 0 | 39059 39476 65694 | 13158 0 nan | 0.000 % | 5.56/5.61 c =============================================================================== 5.56/5.61 c core #195 5.56/5.61 c Core size: 403 Core Weight: 1 Total Weight: 1274 5.56/5.61 c Elapsed CPU time: 5.21221 s Remaining CPU time: 1794.79 s 5.56/5.67 c ============================[ Search Statistics ]============================== 5.56/5.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.56/5.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.56/5.67 c =============================================================================== 5.56/5.67 c | 0 | 39434 39837 66458 | 13279 0 nan | 0.000 % | 5.56/5.69 c =============================================================================== 5.56/5.69 c core #196 5.56/5.69 c Core size: 315 Core Weight: 1 Total Weight: 1275 5.56/5.69 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.66/5.76 c ============================[ Search Statistics ]============================== 5.66/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.66/5.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.66/5.76 c =============================================================================== 5.66/5.76 c | 0 | 39734 40132 67229 | 13377 0 nan | 0.000 % | 5.76/5.80 c =============================================================================== 5.76/5.80 c core #197 5.76/5.80 c Core size: 411 Core Weight: 1 Total Weight: 1276 5.76/5.80 c Elapsed CPU time: 5.38818 s Remaining CPU time: 1794.61 s 5.76/5.87 c Learning 2 hard constraints 5.76/5.87 c ============================[ Search Statistics ]============================== 5.76/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.87 c =============================================================================== 5.76/5.87 c | 0 | 40158 40492 67950 | 13497 0 nan | 0.000 % | 5.85/5.91 c =============================================================================== 5.85/5.91 c core #198 5.85/5.91 c Core size: 344 Core Weight: 1 Total Weight: 1277 5.85/5.91 c Elapsed CPU time: 5.48417 s Remaining CPU time: 1794.52 s 5.85/5.97 c Learning 2 hard constraints 5.85/5.97 c ============================[ Search Statistics ]============================== 5.85/5.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.85/5.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.85/5.97 c =============================================================================== 5.85/5.97 c | 0 | 40476 40805 68778 | 13601 0 nan | 0.000 % | 5.96/6.00 c =============================================================================== 5.96/6.00 c core #199 5.96/6.00 c Core size: 485 Core Weight: 1 Total Weight: 1278 5.96/6.00 c Elapsed CPU time: 5.56715 s Remaining CPU time: 1794.43 s 5.96/6.07 c ============================[ Search Statistics ]============================== 5.96/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.07 c =============================================================================== 5.96/6.07 c | 0 | 40929 41245 69416 | 13748 0 nan | 0.000 % | 6.05/6.10 c =============================================================================== 6.05/6.10 c core #200 6.05/6.10 c Core size: 491 Core Weight: 1 Total Weight: 1279 6.05/6.10 c Elapsed CPU time: 5.65214 s Remaining CPU time: 1794.35 s 6.05/6.17 c Learning 1 hard constraints 6.05/6.17 c ============================[ Search Statistics ]============================== 6.05/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.17 c =============================================================================== 6.05/6.17 c | 0 | 41393 41693 70244 | 13897 0 nan | 0.000 % | 6.15/6.22 c =============================================================================== 6.15/6.22 c core #201 6.15/6.22 c Core size: 540 Core Weight: 1 Total Weight: 1280 6.15/6.22 c Elapsed CPU time: 5.76212 s Remaining CPU time: 1794.24 s 6.15/6.28 c Learning 3 hard constraints 6.15/6.28 c ============================[ Search Statistics ]============================== 6.15/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.15/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.15/6.28 c =============================================================================== 6.15/6.28 c | 0 | 41882 42138 71354 | 14046 0 nan | 0.000 % | 6.25/6.32 c =============================================================================== 6.25/6.32 c core #202 6.25/6.32 c Core size: 453 Core Weight: 1 Total Weight: 1281 6.25/6.32 c Elapsed CPU time: 5.85611 s Remaining CPU time: 1794.14 s 6.25/6.39 c Learning 3 hard constraints 6.25/6.39 c ============================[ Search Statistics ]============================== 6.25/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.25/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.25/6.39 c =============================================================================== 6.25/6.39 c | 0 | 42312 42558 72874 | 14186 0 nan | 0.000 % | 6.35/6.42 c =============================================================================== 6.35/6.42 c core #203 6.35/6.42 c Core size: 442 Core Weight: 1 Total Weight: 1282 6.35/6.42 c Elapsed CPU time: 5.9481 s Remaining CPU time: 1794.05 s 6.35/6.49 c ============================[ Search Statistics ]============================== 6.35/6.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.35/6.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.35/6.49 c =============================================================================== 6.35/6.49 c | 0 | 42718 42944 73504 | 14314 0 nan | 0.000 % | 6.45/6.53 c =============================================================================== 6.45/6.53 c core #204 6.45/6.53 c Core size: 389 Core Weight: 1 Total Weight: 1283 6.45/6.53 c Elapsed CPU time: 6.04008 s Remaining CPU time: 1793.96 s 6.45/6.59 c Learning 1 hard constraints 6.45/6.59 c ============================[ Search Statistics ]============================== 6.45/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.59 c =============================================================================== 6.45/6.59 c | 0 | 43078 43298 74388 | 14432 0 nan | 0.000 % | 6.55/6.63 c =============================================================================== 6.55/6.64 c core #205 6.55/6.64 c Core size: 564 Core Weight: 1 Total Weight: 1284 6.55/6.64 c Elapsed CPU time: 6.14007 s Remaining CPU time: 1793.86 s 6.65/6.71 c Learning 3 hard constraints 6.65/6.71 c ============================[ Search Statistics ]============================== 6.65/6.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.71 c =============================================================================== 6.65/6.71 c | 0 | 43599 43769 75867 | 14589 0 nan | 0.000 % | 6.65/6.75 c =============================================================================== 6.65/6.75 c core #206 6.65/6.75 c Core size: 518 Core Weight: 1 Total Weight: 1285 6.65/6.75 c Elapsed CPU time: 6.24205 s Remaining CPU time: 1793.76 s 6.75/6.82 c Learning 2 hard constraints 6.75/6.82 c ============================[ Search Statistics ]============================== 6.75/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.75/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.75/6.82 c =============================================================================== 6.75/6.82 c | 0 | 44082 44243 77117 | 14747 0 nan | 0.000 % | 6.84/6.90 c =============================================================================== 6.84/6.90 c core #207 6.84/6.90 c Core size: 566 Core Weight: 1 Total Weight: 1286 6.84/6.90 c Elapsed CPU time: 6.38103 s Remaining CPU time: 1793.62 s 6.84/6.97 c ============================[ Search Statistics ]============================== 6.84/6.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.97 c =============================================================================== 6.84/6.97 c | 0 | 44611 44711 79278 | 14903 0 nan | 0.000 % | 6.94/7.03 c =============================================================================== 6.94/7.03 c core #208 6.94/7.03 c Core size: 524 Core Weight: 1 Total Weight: 1287 6.94/7.03 c Elapsed CPU time: 6.49001 s Remaining CPU time: 1793.51 s 7.04/7.10 c Learning 3 hard constraints 7.04/7.10 c ============================[ Search Statistics ]============================== 7.04/7.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.10 c =============================================================================== 7.04/7.10 c | 0 | 45091 45167 80632 | 15055 0 nan | 0.000 % | 7.04/7.18 c =============================================================================== 7.04/7.18 c core #209 7.04/7.18 c Core size: 697 Core Weight: 1 Total Weight: 1288 7.04/7.18 c Elapsed CPU time: 6.63199 s Remaining CPU time: 1793.37 s 7.15/7.26 c Learning 5 hard constraints 7.15/7.26 c ============================[ Search Statistics ]============================== 7.15/7.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.15/7.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.15/7.26 c =============================================================================== 7.15/7.26 c | 0 | 45718 45739 82077 | 15246 0 nan | 0.000 % | 7.24/7.36 c =============================================================================== 7.24/7.36 c core #210 7.24/7.36 c Core size: 850 Core Weight: 1 Total Weight: 1289 7.24/7.36 c Elapsed CPU time: 6.79597 s Remaining CPU time: 1793.2 s 7.34/7.44 c Learning 1 hard constraints 7.34/7.44 c ============================[ Search Statistics ]============================== 7.34/7.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.44 c =============================================================================== 7.34/7.44 c | 0 | 46472 46422 83397 | 15474 0 nan | 0.000 % | 7.34/7.47 c =============================================================================== 7.34/7.47 c core #211 7.34/7.47 c Core size: 452 Core Weight: 1 Total Weight: 1290 7.34/7.47 c Elapsed CPU time: 6.89395 s Remaining CPU time: 1793.11 s 7.45/7.55 c Learning 3 hard constraints 7.45/7.55 c ============================[ Search Statistics ]============================== 7.45/7.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.45/7.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.45/7.55 c =============================================================================== 7.45/7.55 c | 0 | 46900 46832 84110 | 15610 0 nan | 0.000 % | 7.45/7.59 c =============================================================================== 7.45/7.59 c core #212 7.45/7.59 c Core size: 515 Core Weight: 1 Total Weight: 1291 7.45/7.59 c Elapsed CPU time: 6.99794 s Remaining CPU time: 1793 s 7.55/7.67 c Learning 4 hard constraints 7.55/7.67 c ============================[ Search Statistics ]============================== 7.55/7.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.55/7.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.55/7.67 c =============================================================================== 7.55/7.67 c | 0 | 47372 47264 85385 | 15754 0 nan | 0.000 % | 7.65/7.71 c =============================================================================== 7.65/7.71 c core #213 7.65/7.71 c Core size: 583 Core Weight: 1 Total Weight: 1292 7.65/7.71 c Elapsed CPU time: 7.09992 s Remaining CPU time: 1792.9 s 7.65/7.79 c Learning 6 hard constraints 7.65/7.79 c ============================[ Search Statistics ]============================== 7.65/7.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.65/7.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.65/7.79 c =============================================================================== 7.65/7.79 c | 0 | 47916 47780 86887 | 15926 0 nan | 0.000 % | 7.74/7.88 c =============================================================================== 7.74/7.88 c core #214 7.74/7.88 c Core size: 799 Core Weight: 1 Total Weight: 1293 7.74/7.88 c Elapsed CPU time: 7.2509 s Remaining CPU time: 1792.75 s 7.84/7.96 c Learning 7 hard constraints 7.84/7.96 c ============================[ Search Statistics ]============================== 7.84/7.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.84/7.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.84/7.96 c =============================================================================== 7.84/7.96 c | 0 | 48653 48447 89204 | 16149 0 nan | 0.000 % | 7.94/8.00 c =============================================================================== 7.94/8.00 c core #215 7.94/8.00 c Core size: 660 Core Weight: 1 Total Weight: 1294 7.94/8.00 c Elapsed CPU time: 7.36188 s Remaining CPU time: 1792.64 s 7.94/8.08 c Learning 4 hard constraints 7.94/8.08 c ============================[ Search Statistics ]============================== 7.94/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.94/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.94/8.08 c =============================================================================== 7.94/8.08 c | 0 | 49267 49052 90415 | 16350 0 nan | 0.000 % | 8.15/8.21 c =============================================================================== 8.15/8.21 c core #216 8.15/8.21 c Core size: 925 Core Weight: 1 Total Weight: 1295 8.15/8.21 c Elapsed CPU time: 7.55185 s Remaining CPU time: 1792.45 s 8.15/8.29 c Learning 5 hard constraints 8.15/8.29 c ============================[ Search Statistics ]============================== 8.15/8.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.15/8.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.15/8.29 c =============================================================================== 8.15/8.29 c | 0 | 50110 49790 92272 | 16596 0 nan | 0.000 % | 8.35/8.43 c =============================================================================== 8.35/8.43 c core #217 8.35/8.43 c Core size: 966 Core Weight: 1 Total Weight: 1296 8.35/8.43 c Elapsed CPU time: 7.75582 s Remaining CPU time: 1792.24 s 8.44/8.51 c Learning 6 hard constraints 8.44/8.51 c ============================[ Search Statistics ]============================== 8.44/8.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.44/8.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.44/8.51 c =============================================================================== 8.44/8.51 c | 0 | 50984 50572 94410 | 16857 0 nan | 0.000 % | 8.54/8.61 c =============================================================================== 8.54/8.61 c core #218 8.54/8.61 c Core size: 818 Core Weight: 1 Total Weight: 1297 8.54/8.61 c Elapsed CPU time: 7.92279 s Remaining CPU time: 1792.08 s 8.54/8.70 c Learning 3 hard constraints 8.54/8.70 c ============================[ Search Statistics ]============================== 8.54/8.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.54/8.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.54/8.70 c =============================================================================== 8.54/8.70 c | 0 | 51722 51209 95798 | 17069 0 nan | 0.000 % | 8.64/8.78 c =============================================================================== 8.64/8.78 c core #219 8.64/8.78 c Core size: 839 Core Weight: 1 Total Weight: 1298 8.64/8.78 c Elapsed CPU time: 8.08177 s Remaining CPU time: 1791.92 s 8.74/8.87 c Learning 9 hard constraints 8.74/8.87 c ============================[ Search Statistics ]============================== 8.74/8.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.74/8.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.74/8.87 c =============================================================================== 8.74/8.87 c | 0 | 52468 51843 97945 | 17281 0 nan | 0.000 % | 8.94/9.02 c | 100 | 52456 51843 97945 | 19009 94 149 | 1.589 % | 8.94/9.06 c =============================================================================== 8.94/9.06 c core #220 8.94/9.06 c Core size: 1147 Core Weight: 1 Total Weight: 1299 8.94/9.06 c Elapsed CPU time: 8.34673 s Remaining CPU time: 1791.65 s 9.04/9.15 c Learning 3 hard constraints 9.04/9.15 c ============================[ Search Statistics ]============================== 9.04/9.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.04/9.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.04/9.15 c =============================================================================== 9.04/9.15 c | 0 | 53483 52705 100075 | 17568 0 nan | 0.000 % | 9.14/9.29 c | 102 | 53483 52705 100075 | 19325 102 189 | 1.534 % | 9.33/9.42 c =============================================================================== 9.33/9.42 c core #221 9.33/9.42 c Core size: 1333 Core Weight: 1 Total Weight: 1300 9.33/9.42 c Elapsed CPU time: 8.68468 s Remaining CPU time: 1791.32 s 9.44/9.51 c Learning 7 hard constraints 9.44/9.51 c ============================[ Search Statistics ]============================== 9.44/9.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.44/9.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.44/9.51 c =============================================================================== 9.44/9.51 c | 0 | 54644 53658 103139 | 17886 0 nan | 0.000 % | 9.54/9.69 c =============================================================================== 9.54/9.69 c core #222 9.54/9.69 c Core size: 980 Core Weight: 1 Total Weight: 1301 9.54/9.69 c Elapsed CPU time: 8.92864 s Remaining CPU time: 1791.07 s 9.64/9.78 c Learning 7 hard constraints 9.64/9.78 c ============================[ Search Statistics ]============================== 9.64/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.64/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.64/9.78 c =============================================================================== 9.64/9.78 c | 0 | 55523 54435 105231 | 18145 0 nan | 0.000 % | 9.85/9.98 c | 103 | 55515 54435 105231 | 19959 91 97 | 1.484 % | 9.94/10.06 c =============================================================================== 9.94/10.06 c core #223 9.94/10.06 c Core size: 1272 Core Weight: 1 Total Weight: 1302 9.94/10.06 c Elapsed CPU time: 9.27359 s Remaining CPU time: 1790.73 s 10.03/10.15 c Learning 3 hard constraints 10.03/10.15 c ============================[ Search Statistics ]============================== 10.03/10.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.03/10.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.03/10.15 c =============================================================================== 10.03/10.15 c | 0 | 56622 55251 107838 | 18417 0 nan | 0.000 % | 10.24/10.31 c | 102 | 56622 55251 107838 | 20258 102 106 | 1.440 % | 10.33/10.46 c =============================================================================== 10.33/10.46 c core #224 10.33/10.46 c Core size: 1295 Core Weight: 1 Total Weight: 1303 10.33/10.46 c Elapsed CPU time: 9.65153 s Remaining CPU time: 1790.35 s 10.44/10.55 c Learning 3 hard constraints 10.44/10.55 c ============================[ Search Statistics ]============================== 10.44/10.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.44/10.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.44/10.55 c =============================================================================== 10.44/10.55 c | 0 | 57747 56186 109862 | 18728 0 nan | 0.000 % | 10.64/10.71 c | 100 | 57738 56186 109862 | 20601 99 145 | 1.647 % | 10.64/10.72 c =============================================================================== 10.64/10.72 c core #225 10.64/10.72 c Core size: 816 Core Weight: 1 Total Weight: 1304 10.64/10.72 c Elapsed CPU time: 9.8985 s Remaining CPU time: 1790.1 s 10.73/10.82 c Learning 10 hard constraints 10.73/10.82 c ============================[ Search Statistics ]============================== 10.73/10.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.73/10.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.73/10.82 c =============================================================================== 10.73/10.82 c | 0 | 58463 56794 112468 | 18931 0 nan | 0.000 % | 10.84/10.99 c | 101 | 58451 56794 112468 | 20824 100 166 | 1.419 % | 11.03/11.18 c =============================================================================== 11.03/11.18 c core #226 11.03/11.18 c Core size: 1520 Core Weight: 1 Total Weight: 1305 11.03/11.18 c Elapsed CPU time: 10.3334 s Remaining CPU time: 1789.67 s 11.13/11.28 c Learning 4 hard constraints 11.13/11.28 c ============================[ Search Statistics ]============================== 11.13/11.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.13/11.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.13/11.28 c =============================================================================== 11.13/11.28 c | 0 | 59780 57773 115421 | 19257 0 nan | 0.000 % | 11.33/11.45 c | 101 | 59780 57773 115421 | 21183 101 93 | 1.355 % | 11.54/11.66 c =============================================================================== 11.54/11.67 c core #227 11.54/11.67 c Core size: 1554 Core Weight: 1 Total Weight: 1306 11.54/11.67 c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s 11.63/11.77 c Learning 8 hard constraints 11.63/11.77 c ============================[ Search Statistics ]============================== 11.63/11.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.63/11.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.63/11.77 c =============================================================================== 11.63/11.77 c | 0 | 61109 58736 118626 | 19578 0 nan | 0.000 % | 11.84/11.95 c | 100 | 61109 58736 118626 | 21536 100 96 | 1.324 % | 11.94/12.01 c =============================================================================== 11.94/12.01 c core #228 11.94/12.01 c Core size: 730 Core Weight: 1 Total Weight: 1307 11.94/12.01 c Elapsed CPU time: 11.1143 s Remaining CPU time: 1788.89 s 12.04/12.11 c Learning 9 hard constraints 12.04/12.11 c ============================[ Search Statistics ]============================== 12.04/12.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.04/12.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.04/12.11 c =============================================================================== 12.04/12.11 c | 0 | 61754 59316 120482 | 19772 0 nan | 0.000 % | 12.14/12.29 c | 100 | 61754 59316 120482 | 21749 100 98 | 1.309 % | 12.34/12.42 c =============================================================================== 12.34/12.43 c core #229 12.34/12.43 c Core size: 1217 Core Weight: 1 Total Weight: 1308 12.34/12.43 c Elapsed CPU time: 11.5102 s Remaining CPU time: 1788.49 s 12.43/12.53 c Learning 9 hard constraints 12.43/12.53 c ============================[ Search Statistics ]============================== 12.43/12.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.43/12.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.43/12.53 c =============================================================================== 12.43/12.53 c | 0 | 62803 60196 123029 | 20065 0 nan | 0.000 % | 12.54/12.69 c | 100 | 62803 60196 123029 | 22071 100 184 | 1.283 % | 12.83/12.91 c =============================================================================== 12.83/12.91 c core #230 12.83/12.91 c Core size: 1410 Core Weight: 1 Total Weight: 1309 12.83/12.91 c Elapsed CPU time: 11.9702 s Remaining CPU time: 1788.03 s 12.93/13.01 c Learning 10 hard constraints 12.93/13.01 c ============================[ Search Statistics ]============================== 12.93/13.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.93/13.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.93/13.01 c =============================================================================== 12.93/13.01 c | 0 | 64032 61119 126895 | 20373 0 nan | 0.000 % | 13.03/13.20 c | 101 | 64032 61119 126895 | 22410 101 199 | 1.255 % | 13.13/13.26 c =============================================================================== 13.13/13.26 c core #231 13.13/13.26 c Core size: 893 Core Weight: 1 Total Weight: 1310 13.13/13.26 c Elapsed CPU time: 12.2981 s Remaining CPU time: 1787.7 s 13.23/13.37 c Learning 4 hard constraints 13.23/13.37 c ============================[ Search Statistics ]============================== 13.23/13.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.23/13.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.23/13.37 c =============================================================================== 13.23/13.37 c | 0 | 64791 61747 128202 | 20582 0 nan | 0.000 % | 13.43/13.54 c | 100 | 64765 61747 128202 | 22640 57 220 | 1.283 % | 13.43/13.56 c =============================================================================== 13.43/13.56 c core #232 13.43/13.56 c Core size: 1188 Core Weight: 1 Total Weight: 1311 13.43/13.56 c Elapsed CPU time: 12.5711 s Remaining CPU time: 1787.43 s 13.53/13.66 c Learning 3 hard constraints 13.53/13.66 c ============================[ Search Statistics ]============================== 13.53/13.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.53/13.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.53/13.66 c =============================================================================== 13.53/13.66 c | 0 | 65824 62572 130861 | 20857 0 nan | 0.000 % | 13.73/13.81 c | 101 | 65823 62572 130861 | 22943 100 111 | 1.222 % | 13.73/13.84 c =============================================================================== 13.73/13.84 c core #233 13.73/13.84 c Core size: 702 Core Weight: 1 Total Weight: 1312 13.73/13.84 c Elapsed CPU time: 12.834 s Remaining CPU time: 1787.17 s 13.83/13.95 c Learning 9 hard constraints 13.83/13.95 c ============================[ Search Statistics ]============================== 13.83/13.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.83/13.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.83/13.95 c =============================================================================== 13.83/13.95 c | 0 | 66448 63138 132354 | 21046 0 nan | 0.000 % | 14.03/14.15 c | 101 | 66448 63138 132354 | 23150 101 145 | 1.209 % | 14.24/14.32 c =============================================================================== 14.24/14.33 c core #234 14.24/14.33 c Core size: 1526 Core Weight: 1 Total Weight: 1313 14.24/14.33 c Elapsed CPU time: 13.297 s Remaining CPU time: 1786.7 s 14.32/14.44 c Learning 3 hard constraints 14.32/14.44 c ============================[ Search Statistics ]============================== 14.32/14.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.32/14.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.32/14.44 c =============================================================================== 14.32/14.44 c | 0 | 67758 64148 135463 | 21382 0 nan | 0.000 % | 14.53/14.65 c | 101 | 67757 64148 135463 | 23520 100 151 | 1.184 % | 14.73/14.83 c =============================================================================== 14.73/14.83 c core #235 14.73/14.83 c Core size: 1692 Core Weight: 1 Total Weight: 1314 14.73/14.83 c Elapsed CPU time: 13.7789 s Remaining CPU time: 1786.22 s 14.83/14.94 c Learning 18 hard constraints 14.83/14.94 c ============================[ Search Statistics ]============================== 14.83/14.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.83/14.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.83/14.94 c =============================================================================== 14.83/14.94 c | 0 | 69212 65292 140487 | 21764 0 nan | 0.000 % | 14.92/15.09 c =============================================================================== 14.92/15.09 c core #236 14.92/15.09 c Core size: 604 Core Weight: 1 Total Weight: 1315 14.92/15.09 c Elapsed CPU time: 14.0039 s Remaining CPU time: 1786 s 15.13/15.20 c Learning 9 hard constraints 15.13/15.20 c ============================[ Search Statistics ]============================== 15.13/15.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.13/15.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.13/15.21 c =============================================================================== 15.13/15.21 c | 0 | 69741 65757 142371 | 21919 0 nan | 0.000 % | 15.33/15.43 c | 102 | 69741 65757 142371 | 24110 102 166 | 1.141 % | 15.52/15.69 c | 252 | 69736 65757 142371 | 26521 247 242 | 1.148 % | 15.73/15.82 c =============================================================================== 15.73/15.82 c core #237 15.73/15.82 c Core size: 2123 Core Weight: 1 Total Weight: 1316 15.73/15.82 c Elapsed CPU time: 14.7128 s Remaining CPU time: 1785.29 s 15.82/15.94 c Learning 9 hard constraints 15.82/15.94 c ============================[ Search Statistics ]============================== 15.82/15.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.82/15.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.82/15.94 c =============================================================================== 15.82/15.94 c | 0 | 71575 66959 147228 | 22319 0 nan | 0.000 % | 16.03/16.18 c | 100 | 71575 66959 147228 | 24551 100 156 | 1.107 % | 16.23/16.35 c =============================================================================== 16.23/16.35 c core #238 16.23/16.35 c Core size: 1445 Core Weight: 1 Total Weight: 1317 16.23/16.35 c Elapsed CPU time: 15.2107 s Remaining CPU time: 1784.79 s 16.33/16.47 c Learning 16 hard constraints 16.33/16.47 c ============================[ Search Statistics ]============================== 16.33/16.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.33/16.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.33/16.47 c =============================================================================== 16.33/16.47 c | 0 | 72807 67985 151446 | 22661 0 nan | 0.000 % | 16.53/16.64 c | 101 | 72806 67985 151446 | 24927 100 171 | 1.087 % | 16.72/16.85 c =============================================================================== 16.72/16.85 c core #239 16.72/16.85 c Core size: 1625 Core Weight: 1 Total Weight: 1318 16.72/16.85 c Elapsed CPU time: 15.6826 s Remaining CPU time: 1784.32 s 16.83/16.97 c Learning 21 hard constraints 16.83/16.97 c ============================[ Search Statistics ]============================== 16.83/16.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.83/16.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.83/16.97 c =============================================================================== 16.83/16.98 c | 0 | 74201 69111 156418 | 23037 0 nan | 0.000 % | 17.03/17.20 c | 105 | 74201 69111 156418 | 25340 105 118 | 1.060 % | 17.33/17.41 c | 257 | 74193 69111 156418 | 27874 249 198 | 1.071 % | 17.33/17.48 c =============================================================================== 17.33/17.49 c core #240 17.33/17.49 c Core size: 1902 Core Weight: 1 Total Weight: 1319 17.33/17.49 c Elapsed CPU time: 16.2915 s Remaining CPU time: 1783.71 s 17.53/17.61 c Learning 29 hard constraints 17.53/17.61 c ============================[ Search Statistics ]============================== 17.53/17.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.53/17.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.53/17.61 c =============================================================================== 17.53/17.61 c | 0 | 75810 70246 161897 | 23415 0 nan | 0.000 % | 17.72/17.82 c | 100 | 75810 70246 161897 | 25756 100 158 | 1.036 % | 17.92/18.03 c | 250 | 75673 70246 161897 | 28332 103 120 | 1.215 % | 18.02/18.16 c =============================================================================== 18.02/18.17 c core #241 18.02/18.17 c Core size: 1667 Core Weight: 1 Total Weight: 1320 18.02/18.17 c Elapsed CPU time: 16.9414 s Remaining CPU time: 1783.06 s 18.12/18.29 c Learning 21 hard constraints 18.12/18.29 c ============================[ Search Statistics ]============================== 18.12/18.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.12/18.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.12/18.29 c =============================================================================== 18.12/18.29 c | 0 | 77188 71343 165886 | 23781 0 nan | 0.000 % | 18.42/18.51 c | 101 | 77187 71343 165886 | 26159 99 183 | 1.018 % | 18.52/18.60 c =============================================================================== 18.52/18.60 c core #242 18.52/18.60 c Core size: 1268 Core Weight: 1 Total Weight: 1321 18.52/18.60 c Elapsed CPU time: 17.3474 s Remaining CPU time: 1782.65 s 18.62/18.73 c Learning 23 hard constraints 18.62/18.73 c ============================[ Search Statistics ]============================== 18.62/18.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.62/18.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.62/18.73 c =============================================================================== 18.62/18.73 c | 0 | 78275 72293 170422 | 24097 0 nan | 0.000 % | 18.82/18.90 c | 106 | 78273 72293 170422 | 26507 103 171 | 1.005 % | 18.92/19.05 c =============================================================================== 18.92/19.06 c core #243 18.92/19.06 c Core size: 1557 Core Weight: 1 Total Weight: 1322 18.92/19.06 c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s 19.02/19.19 c Learning 28 hard constraints 19.02/19.19 c ============================[ Search Statistics ]============================== 19.02/19.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.02/19.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.02/19.19 c =============================================================================== 19.02/19.19 c | 0 | 79575 73338 174952 | 24446 0 nan | 0.000 % | 19.22/19.33 c | 100 | 79574 73338 174952 | 26890 100 242 | 0.985 % | 19.42/19.57 c =============================================================================== 19.42/19.57 c core #244 19.42/19.57 c Core size: 1736 Core Weight: 1 Total Weight: 1323 19.42/19.57 c Elapsed CPU time: 18.2582 s Remaining CPU time: 1781.74 s 19.62/19.70 c Learning 56 hard constraints 19.62/19.70 c ============================[ Search Statistics ]============================== 19.62/19.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.62/19.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.62/19.70 c =============================================================================== 19.62/19.70 c | 0 | 81004 74492 185268 | 24830 0 nan | 0.000 % | 19.73/19.89 c | 101 | 81003 74492 185268 | 27313 100 122 | 0.962 % | 19.92/20.09 c =============================================================================== 19.92/20.10 c core #245 19.92/20.10 c Core size: 1657 Core Weight: 1 Total Weight: 1324 19.92/20.10 c Elapsed CPU time: 18.7551 s Remaining CPU time: 1781.24 s 20.12/20.23 c Learning 8 hard constraints 20.12/20.23 c ============================[ Search Statistics ]============================== 20.12/20.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.12/20.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.12/20.23 c =============================================================================== 20.12/20.23 c | 0 | 82398 75501 188823 | 25167 0 nan | 0.000 % | 20.32/20.42 c | 101 | 82396 75501 188823 | 27683 100 235 | 0.944 % | 20.52/20.64 c | 251 | 82393 75501 188823 | 30452 245 267 | 0.947 % | 20.62/20.80 c =============================================================================== 20.62/20.80 c core #246 20.62/20.80 c Core size: 1963 Core Weight: 1 Total Weight: 1325 20.62/20.80 c Elapsed CPU time: 19.424 s Remaining CPU time: 1780.58 s 20.82/20.94 c Learning 54 hard constraints 20.82/20.94 c ============================[ Search Statistics ]============================== 20.82/20.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.82/20.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.82/20.94 c =============================================================================== 20.82/20.94 c | 0 | 83999 76622 197902 | 25540 0 nan | 0.000 % | 21.02/21.11 c | 100 | 83996 76622 197902 | 28094 96 294 | 0.925 % | 21.11/21.28 c | 251 | 83992 76622 197902 | 30904 245 298 | 0.929 % | 21.31/21.45 c =============================================================================== 21.31/21.45 c core #247 21.31/21.45 c Core size: 2074 Core Weight: 1 Total Weight: 1326 21.31/21.45 c Elapsed CPU time: 20.044 s Remaining CPU time: 1779.96 s 21.42/21.59 c Learning 30 hard constraints 21.42/21.59 c ============================[ Search Statistics ]============================== 21.42/21.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.42/21.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.42/21.59 c =============================================================================== 21.42/21.59 c | 0 | 85663 77736 203988 | 25912 0 nan | 0.000 % | 21.71/21.82 c | 102 | 85663 77736 203988 | 28503 102 120 | 0.902 % | 21.91/22.02 c | 254 | 85662 77736 203988 | 31353 253 180 | 0.903 % | 22.21/22.30 c | 480 | 85659 77736 203988 | 34488 475 250 | 0.907 % | 22.62/22.73 c =============================================================================== 22.62/22.73 c core #248 22.62/22.73 c Core size: 2558 Core Weight: 1 Total Weight: 1327 22.62/22.73 c Elapsed CPU time: 21.2788 s Remaining CPU time: 1778.72 s 22.71/22.88 c Learning 113 hard constraints 22.71/22.88 c ============================[ Search Statistics ]============================== 22.71/22.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.71/22.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.71/22.88 c =============================================================================== 22.71/22.88 c | 0 | 87764 79074 219287 | 26358 0 nan | 0.000 % | 23.02/23.11 c | 101 | 87762 79074 219287 | 28993 99 166 | 0.882 % | 23.22/23.31 c | 253 | 87756 79074 219287 | 31893 243 294 | 0.889 % | 23.41/23.58 c | 480 | 87754 79074 219287 | 35082 467 339 | 0.891 % | 23.81/23.96 c | 817 | 87749 79074 219287 | 38590 798 400 | 0.897 % | 23.81/23.99 c =============================================================================== 23.91/24.00 c core #249 23.91/24.00 c Core size: 2526 Core Weight: 1 Total Weight: 1328 23.91/24.00 c Elapsed CPU time: 22.5026 s Remaining CPU time: 1777.5 s 24.02/24.16 c Learning 118 hard constraints 24.02/24.16 c ============================[ Search Statistics ]============================== 24.02/24.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.02/24.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.02/24.16 c =============================================================================== 24.02/24.16 c | 0 | 89772 80363 237696 | 26787 0 nan | 0.000 % | 24.20/24.39 c | 102 | 89766 80363 237696 | 29466 98 253 | 0.865 % | 24.40/24.59 c | 252 | 89759 80363 237696 | 32413 246 257 | 0.872 % | 24.70/24.86 c | 479 | 89751 80363 237696 | 35654 457 351 | 0.881 % | 25.00/25.15 c =============================================================================== 25.00/25.16 c core #250 25.00/25.16 c Core size: 2273 Core Weight: 1 Total Weight: 1329 25.00/25.16 c Elapsed CPU time: 23.6074 s Remaining CPU time: 1776.39 s 25.21/25.31 c Learning 125 hard constraints 25.21/25.31 c ============================[ Search Statistics ]============================== 25.21/25.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.21/25.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.21/25.31 c =============================================================================== 25.21/25.31 c | 0 | 91546 81595 257003 | 27198 0 nan | 0.000 % | 25.31/25.49 c | 100 | 91544 81595 257003 | 29918 100 140 | 0.839 % | 25.50/25.62 c | 250 | 91541 81595 257003 | 32909 248 185 | 0.843 % | 25.70/25.87 c | 475 | 91536 81595 257003 | 36200 473 242 | 0.848 % | 26.00/26.19 c =============================================================================== 26.10/26.20 c core #251 26.10/26.20 c Core size: 2377 Core Weight: 1 Total Weight: 1330 26.10/26.20 c Elapsed CPU time: 24.6093 s Remaining CPU time: 1775.39 s 26.21/26.36 c Learning 146 hard constraints 26.21/26.36 c ============================[ Search Statistics ]============================== 26.21/26.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.21/26.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.21/26.36 c =============================================================================== 26.21/26.36 c | 0 | 93454 82844 278783 | 27614 0 nan | 0.000 % | 26.51/26.63 c | 101 | 93454 82844 278783 | 30376 101 180 | 0.817 % | 26.71/26.80 c | 251 | 93448 82844 278783 | 33413 250 258 | 0.824 % | 26.91/27.01 c | 476 | 93448 82844 278783 | 36755 475 330 | 0.824 % | 27.31/27.41 c | 816 | 93445 82844 278783 | 40430 805 391 | 0.827 % | 27.90/28.02 c | 1324 | 93442 82844 278783 | 44473 1306 422 | 0.830 % | 28.71/28.84 c =============================================================================== 28.71/28.87 c core #252 28.71/28.87 c Core size: 3164 Core Weight: 1 Total Weight: 1331 28.71/28.87 c Elapsed CPU time: 27.2259 s Remaining CPU time: 1772.77 s 28.91/29.04 c Learning 131 hard constraints 28.91/29.04 c ============================[ Search Statistics ]============================== 28.91/29.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.91/29.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.91/29.05 c =============================================================================== 28.91/29.05 c | 0 | 95839 84158 296840 | 28052 0 nan | 0.000 % | 29.20/29.33 c | 105 | 95838 84158 296840 | 30857 104 322 | 0.795 % | 29.40/29.56 c | 255 | 95833 84158 296840 | 33943 250 333 | 0.800 % | 29.61/29.79 c | 482 | 95832 84158 296840 | 37338 477 354 | 0.801 % | 30.01/30.18 c | 820 | 95829 84158 296840 | 41071 807 372 | 0.804 % | 30.71/30.81 c | 1326 | 95820 84158 296840 | 45179 1296 413 | 0.814 % | 31.60/31.79 c | 2085 | 95804 84158 296840 | 49697 2030 429 | 0.830 % | 33.11/33.21 c | 3224 | 95784 84158 296840 | 54666 3131 493 | 0.946 % | 33.11/33.28 c =============================================================================== 33.21/33.33 c core #253 33.21/33.33 c Core size: 3941 Core Weight: 1 Total Weight: 1332 33.21/33.33 c Elapsed CPU time: 31.6012 s Remaining CPU time: 1768.4 s 33.40/33.52 c Learning 570 hard constraints 33.40/33.52 c ============================[ Search Statistics ]============================== 33.40/33.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.40/33.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.40/33.52 c =============================================================================== 33.40/33.52 c | 0 | 98910 86036 383349 | 28678 0 nan | 0.000 % | 33.71/33.81 c | 100 | 98907 86036 383349 | 31546 99 119 | 0.769 % | 33.91/34.05 c | 251 | 98905 86036 383349 | 34701 245 212 | 0.771 % | 34.11/34.24 c | 479 | 98905 86036 383349 | 38171 473 288 | 0.771 % | 34.40/34.58 c | 818 | 98901 86036 383349 | 41988 811 316 | 0.775 % | 35.00/35.11 c | 1324 | 98895 86036 383349 | 46187 1300 400 | 0.781 % | 35.70/35.85 c | 2086 | 98894 86036 383349 | 50806 2062 431 | 0.782 % | 37.00/37.11 c | 3226 | 98890 86036 383349 | 55886 3183 460 | 0.786 % | 38.10/38.26 c =============================================================================== 38.20/38.31 c core #254 38.20/38.31 c Core size: 3994 Core Weight: 1 Total Weight: 1333 38.20/38.31 c Elapsed CPU time: 36.5144 s Remaining CPU time: 1763.49 s 38.40/38.53 c Learning 966 hard constraints 38.40/38.53 c ============================[ Search Statistics ]============================== 38.40/38.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.40/38.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.40/38.53 c =============================================================================== 38.40/38.53 c | 0 | 101785 88224 556991 | 29408 0 nan | 0.000 % | 38.60/38.74 c | 100 | 101785 88224 556991 | 32348 100 239 | 0.744 % | 38.79/38.90 c | 254 | 101785 88224 556991 | 35583 254 299 | 0.744 % | 38.99/39.10 c | 480 | 101782 88224 556991 | 39142 479 309 | 0.747 % | 39.29/39.42 c | 817 | 101778 88224 556991 | 43056 804 355 | 0.751 % | 39.79/39.91 c | 1326 | 101755 88224 556991 | 47361 1313 418 | 0.826 % | 40.40/40.58 c | 2088 | 101697 88224 556991 | 52098 2008 491 | 0.830 % | 41.59/41.74 c | 3231 | 101691 88224 556991 | 57307 3151 512 | 0.836 % | 43.29/43.44 c | 4940 | 101690 88224 556991 | 63038 4836 512 | 0.837 % | 46.10/46.22 c =============================================================================== 46.20/46.34 c core #255 46.20/46.34 c Core size: 4517 Core Weight: 1 Total Weight: 1334 46.20/46.34 c Elapsed CPU time: 44.4892 s Remaining CPU time: 1755.51 s 46.50/46.62 c Learning 1804 hard constraints 46.50/46.62 c ============================[ Search Statistics ]============================== 46.50/46.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.50/46.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.50/46.62 c =============================================================================== 46.50/46.62 c | 0 | 104606 91303 914222 | 30434 0 nan | 0.000 % | 46.69/46.87 c | 104 | 104605 91303 914222 | 33477 104 269 | 0.719 % | 46.99/47.11 c | 255 | 104604 91303 914222 | 36825 255 337 | 0.721 % | 47.20/47.38 c | 481 | 104602 91303 914222 | 40508 476 367 | 0.722 % | 47.69/47.80 c | 821 | 104598 91303 914222 | 44558 816 411 | 0.726 % | 48.40/48.50 c | 1327 | 104594 91303 914222 | 49014 1305 451 | 0.731 % | 49.30/49.45 c | 2086 | 104591 91303 914222 | 53916 2064 485 | 0.733 % | 50.99/51.10 c | 3225 | 104585 91303 914222 | 59307 3173 537 | 0.738 % | 53.09/53.24 c | 4934 | 104583 91303 914222 | 65238 4882 547 | 0.740 % | 56.00/56.16 c | 7499 | 104573 91303 914222 | 71762 7436 547 | 0.750 % | 58.39/58.55 c =============================================================================== 58.59/58.72 c core #256 58.59/58.72 c Core size: 6119 Core Weight: 1 Total Weight: 1335 58.59/58.72 c Elapsed CPU time: 56.7644 s Remaining CPU time: 1743.24 s 58.89/59.02 c Learning 940 hard constraints 58.89/59.02 c ============================[ Search Statistics ]============================== 58.89/59.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.89/59.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.89/59.02 c =============================================================================== 58.89/59.02 c | 0 | 107980 93642 1119249 | 31214 0 nan | 0.000 % | 59.09/59.21 c | 102 | 107978 93642 1119249 | 34335 102 421 | 0.696 % | 59.19/59.37 c | 256 | 107978 93642 1119249 | 37768 256 433 | 0.696 % | 59.39/59.58 c | 482 | 107978 93642 1119249 | 41545 482 475 | 0.696 % | 59.89/60.00 c | 819 | 107975 93642 1119249 | 45700 812 498 | 0.699 % | 60.29/60.46 c | 1325 | 107971 93642 1119249 | 50270 1318 505 | 0.703 % | 61.19/61.38 c | 2085 | 107967 93642 1119249 | 55297 2078 530 | 0.706 % | 62.38/62.54 c | 3226 | 107966 93642 1119249 | 60827 3194 533 | 0.707 % | 64.39/64.55 c | 4936 | 107962 93642 1119249 | 66909 4904 544 | 0.711 % | 67.68/67.86 c | 7500 | 107886 93642 1119249 | 73600 7415 566 | 0.781 % | 73.99/74.14 c | 11345 | 107878 93642 1119249 | 80961 11260 596 | 0.824 % | 74.88/75.09 c =============================================================================== 75.18/75.31 c core #257 75.18/75.31 c Core size: 6435 Core Weight: 1 Total Weight: 1336 75.18/75.31 c Elapsed CPU time: 73.2209 s Remaining CPU time: 1726.78 s 75.58/75.73 c Learning 3143 hard constraints 75.58/75.73 c ============================[ Search Statistics ]============================== 75.58/75.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.58/75.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.58/75.73 c =============================================================================== 75.58/75.73 c | 0 | 110979 98087 1976144 | 32695 0 nan | 0.000 % | 75.78/75.95 c | 100 | 110979 98087 1976144 | 35965 100 429 | 0.675 % | 75.88/76.06 c | 251 | 110977 98087 1976144 | 39561 251 518 | 0.677 % | 76.18/76.31 c | 476 | 110969 98087 1976144 | 43517 476 532 | 0.684 % | 76.48/76.67 c | 816 | 110966 98087 1976144 | 47869 816 530 | 0.686 % | 77.08/77.28 c | 1322 | 110961 98087 1976144 | 52656 1322 502 | 0.691 % | 78.07/78.20 c | 2081 | 110959 98087 1976144 | 57922 2057 528 | 0.693 % | 79.38/79.55 c | 3221 | 110957 98087 1976144 | 63714 3197 548 | 0.695 % | 81.78/81.90 c | 4932 | 110933 98087 1976144 | 70086 4908 575 | 0.763 % | 85.07/85.23 c | 7495 | 110877 98087 1976144 | 77094 7380 593 | 0.766 % | 90.67/90.80 c | 11339 | 110830 98087 1976144 | 84804 11224 599 | 0.862 % | 92.38/92.55 c =============================================================================== 92.58/92.76 c core #258 92.58/92.76 c Core size: 7843 Core Weight: 1 Total Weight: 1337 92.58/92.76 c Elapsed CPU time: 90.5882 s Remaining CPU time: 1709.41 s 93.17/93.34 c Learning 3920 hard constraints 93.17/93.35 c ============================[ Search Statistics ]============================== 93.17/93.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.17/93.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.17/93.35 c =============================================================================== 93.17/93.35 c | 0 | 114052 103248 3204680 | 34416 0 nan | 0.000 % | 93.48/93.61 c | 100 | 114052 103248 3204680 | 37857 100 434 | 0.655 % | 93.68/93.81 c | 250 | 114051 103248 3204680 | 41643 250 438 | 0.655 % | 93.88/94.06 c | 476 | 114051 103248 3204680 | 45807 476 466 | 0.655 % | 94.27/94.46 c | 814 | 114049 103248 3204680 | 50388 814 485 | 0.657 % | 95.07/95.24 c | 1321 | 114045 103248 3204680 | 55427 1321 484 | 0.660 % | 96.26/96.45 c | 2081 | 114044 103248 3204680 | 60970 2081 532 | 0.661 % | 98.27/98.48 c | 3221 | 114039 103248 3204680 | 67067 3208 570 | 0.665 % | 100.77/100.93 c | 4929 | 114024 103248 3204680 | 73773 4916 590 | 0.727 % | 104.76/104.94 c | 7492 | 114020 103248 3204680 | 81151 7479 603 | 0.728 % | 112.16/112.36 c | 11336 | 113952 103248 3204680 | 89266 11189 629 | 0.774 % | 115.76/115.90 c =============================================================================== 115.96/116.15 c core #259 115.96/116.15 c Core size: 9406 Core Weight: 1 Total Weight: 1338 115.96/116.15 c Elapsed CPU time: 113.877 s Remaining CPU time: 1686.12 s 116.76/116.90 c Learning 4050 hard constraints 116.76/116.90 c ============================[ Search Statistics ]============================== 116.76/116.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.76/116.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.76/116.90 c =============================================================================== 116.76/116.90 c | 0 | 117332 108575 4634308 | 36191 0 nan | 0.000 % | 117.06/117.27 c | 101 | 117332 108575 4634308 | 39810 101 374 | 0.636 % | 117.26/117.43 c | 253 | 117330 108575 4634308 | 43791 253 462 | 0.638 % | 117.57/117.71 c | 478 | 117329 108575 4634308 | 48171 478 484 | 0.639 % | 117.96/118.12 c | 815 | 117328 108575 4634308 | 52988 815 501 | 0.640 % | 118.76/118.93 c | 1322 | 117326 108575 4634308 | 58287 1322 519 | 0.641 % | 119.86/120.01 c | 2082 | 117325 108575 4634308 | 64115 2082 566 | 0.642 % | 121.76/121.98 c | 3222 | 117324 108575 4634308 | 70527 3222 580 | 0.643 % | 124.45/124.67 c | 4930 | 117324 108575 4634308 | 77580 4930 596 | 0.643 % | 128.26/128.42 c | 7493 | 117324 108575 4634308 | 85338 7472 610 | 0.643 % | 134.55/134.71 c | 11337 | 117295 108575 4634308 | 93871 11316 618 | 0.744 % | 139.95/140.12 c =============================================================================== 140.15/140.38 c core #260 140.15/140.38 c Core size: 10551 Core Weight: 1 Total Weight: 1339 140.15/140.38 c Elapsed CPU time: 137.998 s Remaining CPU time: 1662 s 141.15/141.35 c Learning 4835 hard constraints 141.15/141.35 c ============================[ Search Statistics ]============================== 141.15/141.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 141.15/141.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 141.15/141.35 c =============================================================================== 141.15/141.35 c | 0 | 120316 114641 6481006 | 38213 0 nan | 0.000 % | 141.65/141.81 c | 100 | 120316 114641 6481006 | 42035 100 436 | 0.618 % | 141.95/142.10 c | 250 | 120313 114641 6481006 | 46238 250 508 | 0.620 % | 142.25/142.44 c | 476 | 120313 114641 6481006 | 50862 476 551 | 0.620 % | 142.76/143.00 c | 815 | 120313 114641 6481006 | 55948 815 573 | 0.620 % | 143.86/144.06 c | 1321 | 120313 114641 6481006 | 61543 1321 566 | 0.620 % | 145.25/145.44 c | 2080 | 120293 114641 6481006 | 67697 2080 564 | 0.681 % | 147.15/147.32 c | 3221 | 120291 114641 6481006 | 74467 3221 576 | 0.682 % | 150.85/151.08 c | 4930 | 120288 114641 6481006 | 81914 4930 599 | 0.685 % | 156.15/156.33 c | 7492 | 120230 114641 6481006 | 90105 7432 621 | 0.689 % | 163.94/164.11 c | 11337 | 120215 114641 6481006 | 99116 11277 641 | 0.733 % | 178.35/178.50 c | 17103 | 120210 114641 6481006 | 109028 17043 656 | 0.737 % | 187.64/187.80 c =============================================================================== 188.04/188.21 c core #261 188.04/188.21 c Core size: 13235 Core Weight: 1 Total Weight: 1340 188.04/188.21 c Elapsed CPU time: 185.701 s Remaining CPU time: 1614.3 s 189.34/189.56 c Learning 6423 hard constraints 189.34/189.56 c ============================[ Search Statistics ]============================== 189.34/189.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.56 c =============================================================================== 189.34/189.56 c | 0 | 123649 122275 8964308 | 40758 0 nan | 0.000 % | 189.84/190.07 c | 103 | 123649 122275 8964308 | 44834 103 563 | 0.604 % | 190.24/190.42 c | 254 | 123645 122275 8964308 | 49317 254 523 | 0.608 % | 190.64/190.89 c | 480 | 123643 122275 8964308 | 54249 480 565 | 0.609 % | 191.34/191.52 c | 818 | 123643 122275 8964308 | 59674 818 583 | 0.609 % | 192.34/192.50 c | 1324 | 123639 122275 8964308 | 65641 1324 595 | 0.612 % | 193.63/193.83 c | 2084 | 123637 122275 8964308 | 72205 2084 605 | 0.613 % | 195.64/195.82 c | 3224 | 123613 122275 8964308 | 79426 3224 616 | 0.707 % | 198.63/198.87 c | 4934 | 123612 122275 8964308 | 87369 4934 614 | 0.707 % | 203.53/203.71 c | 7496 | 123608 122275 8964308 | 96106 7496 621 | 0.710 % | 211.73/211.90 c | 11341 | 123603 122275 8964308 | 105716 11341 623 | 0.714 % | 223.33/223.58 c | 17108 | 123512 122275 8964308 | 116288 17035 632 | 0.714 % | 239.42/239.62 c =============================================================================== 239.92/240.11 c core #262 239.92/240.11 c Core size: 15457 Core Weight: 1 Total Weight: 1341 239.92/240.11 c Elapsed CPU time: 237.418 s Remaining CPU time: 1562.58 s 241.53/241.79 c Learning 7607 hard constraints 241.53/241.79 c ============================[ Search Statistics ]============================== 241.53/241.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.53/241.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.53/241.79 c =============================================================================== 241.53/241.79 c | 0 | 127043 131026 11971828 | 43675 0 nan | 0.000 % | 242.02/242.25 c | 102 | 127042 131026 11971828 | 48042 102 445 | 0.584 % | 242.42/242.69 c | 253 | 127038 131026 11971828 | 52847 253 549 | 0.584 % | 243.12/243.35 c | 480 | 127038 131026 11971828 | 58131 480 572 | 0.584 % | 243.82/244.06 c | 818 | 127037 131026 11971828 | 63945 818 589 | 0.585 % | 245.02/245.26 c | 1325 | 127022 131026 11971828 | 70339 1325 606 | 0.638 % | 246.82/247.09 c | 2085 | 127021 131026 11971828 | 77373 2085 605 | 0.639 % | 249.02/249.26 c | 3224 | 127021 131026 11971828 | 85110 3224 606 | 0.639 % | 252.73/253.00 c | 4935 | 127018 131026 11971828 | 93621 4935 620 | 0.641 % | 257.32/257.58 c | 7497 | 127018 131026 11971828 | 102984 7497 622 | 0.641 % | 265.72/265.95 c | 11343 | 127017 131026 11971828 | 113282 11343 632 | 0.642 % | 279.81/280.04 c | 17110 | 127016 131026 11971828 | 124610 17110 640 | 0.642 % | 303.00/303.23 c | 25759 | 126962 131026 11971828 | 137071 25717 648 | 0.643 % | 333.10/333.33 c =============================================================================== 333.89/334.18 c core #263 333.89/334.18 c Core size: 19832 Core Weight: 1 Total Weight: 1342 333.89/334.18 c Elapsed CPU time: 331.261 s Remaining CPU time: 1468.74 s 336.30/336.55 c Learning 12485 hard constraints 336.30/336.55 c ============================[ Search Statistics ]============================== 336.30/336.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 336.30/336.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 336.30/336.55 c =============================================================================== 336.30/336.55 c | 0 | 131287 144766 16994401 | 48255 0 nan | 0.000 % | 336.89/337.17 c | 100 | 131286 144766 16994401 | 53080 100 546 | 0.559 % | 337.40/337.68 c | 251 | 131282 144766 16994401 | 58388 251 561 | 0.562 % | 338.10/338.31 c | 476 | 131282 144766 16994401 | 64227 476 591 | 0.562 % | 338.89/339.19 c | 813 | 131267 144766 16994401 | 70650 813 567 | 0.614 % | 340.39/340.68 c | 1321 | 131266 144766 16994401 | 77715 1321 592 | 0.614 % | 342.29/342.59 c | 2084 | 131266 144766 16994401 | 85487 2084 615 | 0.614 % | 345.59/345.88 c | 3223 | 131266 144766 16994401 | 94035 3223 630 | 0.614 % | 350.19/350.45 c | 4933 | 131264 144766 16994401 | 103439 4933 647 | 0.616 % | 357.18/357.41 c | 7496 | 131259 144766 16994401 | 113783 7496 651 | 0.648 % | 368.18/368.49 c | 11345 | 131257 144766 16994401 | 125161 11345 663 | 0.650 % | 383.69/383.91 c | 17116 | 131254 144766 16994401 | 137678 17116 670 | 0.652 % | 407.57/407.84 c | 25765 | 131252 144766 16994401 | 151445 25765 677 | 0.654 % | 442.26/442.51 c | 38742 | 131155 144766 16994401 | 166590 38666 672 | 0.658 % | 446.46/446.72 c =============================================================================== 447.36/447.67 c core #264 447.36/447.67 c Core size: 23410 Core Weight: 1 Total Weight: 1343 447.36/447.67 c Elapsed CPU time: 444.463 s Remaining CPU time: 1355.54 s 450.76/451.04 c Learning 13919 hard constraints 450.76/451.04 c ============================[ Search Statistics ]============================== 450.76/451.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 450.76/451.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 450.76/451.04 c =============================================================================== 450.76/451.04 c | 0 | 134781 159951 23092343 | 53317 0 nan | 0.000 % | 451.45/451.78 c | 103 | 134781 159951 23092343 | 58648 103 486 | 0.534 % | 452.15/452.41 c | 256 | 134781 159951 23092343 | 64513 256 606 | 0.534 % | 453.15/453.48 c | 481 | 134780 159951 23092343 | 70964 481 586 | 0.535 % | 454.65/454.98 c | 819 | 134779 159951 23092343 | 78061 819 600 | 0.535 % | 456.56/456.86 c | 1328 | 134778 159951 23092343 | 85867 1328 621 | 0.536 % | 458.96/459.25 c | 2091 | 134778 159951 23092343 | 94454 2091 636 | 0.536 % | 462.35/462.64 c | 3231 | 134748 159951 23092343 | 103899 3231 632 | 0.597 % | 467.95/468.26 c | 4941 | 134747 159951 23092343 | 114289 4941 645 | 0.598 % | 477.25/477.57 c | 7504 | 134743 159951 23092343 | 125718 7504 661 | 0.601 % | 488.84/489.17 c | 11348 | 134739 159951 23092343 | 138290 11348 662 | 0.632 % | 509.24/509.57 c | 17115 | 134739 159951 23092343 | 152119 17115 671 | 0.632 % | 537.43/537.78 c | 25765 | 134739 159951 23092343 | 167331 25765 678 | 0.632 % | 580.32/580.61 c | 38741 | 134646 159951 23092343 | 184064 38665 677 | 0.633 % | 615.31/615.63 c =============================================================================== 616.50/616.86 c core #265 616.50/616.86 c Core size: 29609 Core Weight: 1 Total Weight: 1344 616.50/616.86 c Elapsed CPU time: 613.331 s Remaining CPU time: 1186.67 s 621.01/621.38 c Learning 17006 hard constraints 621.01/621.38 c ============================[ Search Statistics ]============================== 621.01/621.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 621.01/621.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 621.01/621.38 c =============================================================================== 621.01/621.38 c | 0 | 138588 178289 30966858 | 59429 0 nan | 0.000 % | 622.00/622.33 c | 101 | 138587 178289 30966858 | 65372 101 497 | 0.515 % | 622.90/623.25 c | 253 | 138587 178289 30966858 | 71909 253 554 | 0.515 % | 624.10/624.45 c | 480 | 138587 178289 30966858 | 79100 480 602 | 0.515 % | 625.51/625.84 c | 822 | 138587 178289 30966858 | 87010 822 635 | 0.515 % | 627.71/628.06 c | 1330 | 138587 178289 30966858 | 95712 1330 643 | 0.515 % | 630.70/631.02 c | 2092 | 138586 178289 30966858 | 105283 2092 652 | 0.516 % | 636.00/636.32 c | 3232 | 138584 178289 30966858 | 115811 3232 644 | 0.518 % | 642.30/642.60 c | 4940 | 138584 178289 30966858 | 127392 4940 655 | 0.518 % | 651.90/652.23 c | 7503 | 138582 178289 30966858 | 140132 7503 655 | 0.519 % | 666.79/667.14 c | 11348 | 138582 178289 30966858 | 154145 11348 668 | 0.519 % | 688.78/689.13 c | 17114 | 138582 178289 30966858 | 169559 17114 680 | 0.519 % | 725.38/725.71 c | 25763 | 138581 178289 30966858 | 186515 25763 686 | 0.520 % | 780.16/780.51 c | 38737 | 138561 178289 30966858 | 205167 38737 694 | 0.572 % | 845.04/845.50 c =============================================================================== 846.64/847.04 c core #266 846.64/847.04 c Core size: 36183 Core Weight: 1 Total Weight: 1345 846.64/847.04 c Elapsed CPU time: 843.101 s Remaining CPU time: 956.899 s 850.74/851.17 c Learning 3439 hard constraints 850.74/851.17 c ============================[ Search Statistics ]============================== 850.74/851.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 850.74/851.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 850.74/851.17 c =============================================================================== 850.74/851.17 c | 0 | 142343 183108 32414960 | 61036 0 nan | 0.000 % | 852.04/852.45 c | 101 | 142343 183108 32414960 | 67139 101 434 | 0.498 % | 852.74/853.18 c | 256 | 142343 183108 32414960 | 73853 256 453 | 0.498 % | 853.74/854.15 c | 481 | 142342 183108 32414960 | 81238 481 512 | 0.499 % | 855.13/855.53 c | 818 | 142342 183108 32414960 | 89362 818 546 | 0.499 % | 857.04/857.46 c | 1325 | 142341 183108 32414960 | 98299 1325 581 | 0.500 % | 860.03/860.42 c | 2084 | 142341 183108 32414960 | 108128 2084 602 | 0.500 % | 864.53/864.98 c | 3224 | 142340 183108 32414960 | 118941 3224 614 | 0.501 % | 871.03/871.45 c | 4934 | 142340 183108 32414960 | 130836 4934 622 | 0.501 % | 884.32/884.73 c | 7498 | 142339 183108 32414960 | 143919 7498 650 | 0.501 % | 900.82/901.28 c | 11342 | 142339 183108 32414960 | 158311 11342 660 | 0.501 % | 924.62/925.08 c | 17108 | 142334 183108 32414960 | 174142 17108 661 | 0.505 % | 959.40/959.88 c | 25760 | 142333 183108 32414960 | 191557 25760 667 | 0.505 % | 1015.79/1016.20 c | 38735 | 142330 183108 32414960 | 210712 38735 675 | 0.507 % | 1099.76/1100.28 c | 58196 | 142209 183108 32414960 | 231784 58005 678 | 0.592 % | 1153.75/1154.26 c =============================================================================== 1155.74/1156.20 c core #267 1155.74/1156.20 c Core size: 38000 Core Weight: 1 Total Weight: 1346 1155.74/1156.20 c Elapsed CPU time: 1151.64 s Remaining CPU time: 648.36 s 1161.55/1162.08 c Learning 25743 hard constraints 1161.55/1162.08 c ============================[ Search Statistics ]============================== 1161.55/1162.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1161.55/1162.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1161.55/1162.08 c =============================================================================== 1161.55/1162.08 c | 0 | 146003 210148 44312454 | 70049 0 nan | 0.000 % | 1162.74/1163.21 c | 101 | 146003 210148 44312454 | 77054 101 393 | 0.485 % | 1163.74/1164.26 c | 252 | 146002 210148 44312454 | 84759 252 472 | 0.486 % | 1165.04/1165.55 c | 481 | 146001 210148 44312454 | 93235 481 537 | 0.486 % | 1166.55/1167.05 c | 820 | 146000 210148 44312454 | 102559 820 569 | 0.487 % | 1168.74/1169.21 c | 1328 | 145999 210148 44312454 | 112815 1328 603 | 0.487 % | 1172.04/1172.56 c | 2089 | 145999 210148 44312454 | 124096 2089 614 | 0.487 % | 1177.34/1177.86 c | 3231 | 145994 210148 44312454 | 136506 3231 621 | 0.491 % | 1185.13/1185.66 c | 4940 | 145993 210148 44312454 | 150156 4940 644 | 0.491 % | 1198.23/1198.74 c | 7504 | 145993 210148 44312454 | 165172 7504 659 | 0.491 % | 1215.13/1215.62 c | 11349 | 145993 210148 44312454 | 181689 11349 681 | 0.491 % | 1243.41/1243.92 c | 17117 | 145992 210148 44312454 | 199858 17117 685 | 0.492 % | 1286.11/1286.60 c | 25770 | 145989 210148 44312454 | 219844 25770 691 | 0.494 % | 1355.58/1356.13 c | 38745 | 145962 210148 44312454 | 241829 38745 699 | 0.575 % | 1467.15/1467.75 c | 58207 | 145955 210148 44312454 | 266012 58207 699 | 0.579 % | 1611.10/1611.76 c =============================================================================== 1613.50/1614.19 c core #268 1613.50/1614.19 c Core size: 48147 Core Weight: 1 Total Weight: 1347 1613.50/1614.19 c Elapsed CPU time: 1608.91 s Remaining CPU time: 191.091 s 1621.91/1622.51 c Learning 29969 hard constraints 1621.91/1622.51 c ============================[ Search Statistics ]============================== 1621.91/1622.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1621.91/1622.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1621.91/1622.51 c =============================================================================== 1621.91/1622.51 c | 0 | 149679 241390 59142349 | 80463 0 nan | 0.000 % | 1623.70/1624.36 c | 101 | 149679 241390 59142349 | 88509 101 499 | 0.471 % | 1625.40/1626.06 c | 252 | 149679 241390 59142349 | 97360 252 620 | 0.471 % | 1627.41/1628.09 c | 477 | 149679 241390 59142349 | 107096 477 654 | 0.471 % | 1629.90/1630.57 c | 816 | 149679 241390 59142349 | 117806 816 578 | 0.471 % | 1633.10/1633.71 c | 1325 | 149679 241390 59142349 | 129587 1325 599 | 0.471 % | 1638.00/1638.64 c | 2087 | 149679 241390 59142349 | 142545 2087 624 | 0.471 % | 1645.20/1645.86 c | 3226 | 149660 241390 59142349 | 156800 3226 631 | 0.519 % | 1655.50/1656.12 c | 4934 | 149660 241390 59142349 | 172480 4934 649 | 0.519 % | 1669.09/1669.71 c | 7501 | 149655 241390 59142349 | 189728 7501 635 | 0.522 % | 1692.39/1693.04 c | 11345 | 149652 241390 59142349 | 208701 11345 659 | 0.524 % | 1725.97/1726.68 c | 17111 | 149652 241390 59142349 | 229571 17111 683 | 0.524 % | 1776.65/1777.39 c | 25760 | 149648 241390 59142349 | 252528 25760 685 | 0.552 % |
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-1876126-1245133371/watcher-1876126-1245133371 -o /tmp/evaluation-result-1876126-1245133371/solver-1876126-1245133371 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876126-1245133371.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1383 /proc/meminfo: memFree=982904/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=2716 CPUtime=0 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 235 0 0 0 0 0 0 0 18 0 1 0 180929993 2781184 219 1992294400 134512640 135709839 4294956240 18446744073709551615 134542967 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 679 219 128 292 0 372 0 [startup+0.0357021 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1383 /proc/meminfo: memFree=982904/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=3472 CPUtime=0.03 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 445 0 0 0 3 0 0 0 18 0 1 0 180929993 3555328 417 1992294400 134512640 135709839 4294956240 18446744073709551615 134605906 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 868 417 134 292 0 573 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3472 [startup+0.102712 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1383 /proc/meminfo: memFree=982904/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=4784 CPUtime=0.09 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 817 0 0 0 9 0 0 0 18 0 1 0 180929993 4898816 766 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 1196 766 134 292 0 901 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4784 [startup+0.30174 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1383 /proc/meminfo: memFree=982904/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=8512 CPUtime=0.29 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 2118 0 0 0 28 1 0 0 19 0 1 0 180929993 8716288 1660 1992294400 134512640 135709839 4294956240 18446744073709551615 134605454 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 2128 1660 134 292 0 1833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8512 [startup+0.701797 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1383 /proc/meminfo: memFree=982904/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=13252 CPUtime=0.69 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 4295 0 0 0 67 2 0 0 22 0 1 0 180929993 13570048 2858 1992294400 134512640 135709839 4294956240 18446744073709551615 134605577 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 3313 2858 134 292 0 3018 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13252 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=967152/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=27316 CPUtime=1.49 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 8580 0 0 0 145 4 0 0 25 0 1 0 180929993 27971584 6338 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 6829 6338 135 292 0 6534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27316 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=948400/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=47220 CPUtime=3.08 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 22517 0 0 0 292 16 0 0 25 0 1 0 180929993 48353280 11188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 11805 11188 135 292 0 11510 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 47220 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=912624/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=82496 CPUtime=6.25 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 51868 0 0 0 583 42 0 0 25 0 1 0 180929993 84475904 20041 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 20624 20041 135 292 0 20329 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 82496 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=869744/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=118764 CPUtime=12.64 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 80082 0 0 0 1176 88 0 0 25 0 1 0 180929993 121614336 29009 1992294400 134512640 135709839 4294956240 18446744073709551615 134572770 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 29691 29009 136 292 0 29396 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 118764 [startup+25.5023 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=820912/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=162168 CPUtime=25.4 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 114246 0 0 0 2390 150 0 0 25 0 1 0 180929993 166060032 39649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 40542 39649 136 292 0 40247 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 162168 [startup+51.1029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=788272/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=199060 CPUtime=50.99 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 131382 0 0 0 4916 183 0 0 25 0 1 0 180929993 203837440 48530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573723 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 49765 48530 136 292 0 49470 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 199060 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=732464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=253740 CPUtime=102.17 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 151033 0 0 0 10004 213 0 0 25 0 1 0 180929993 259829760 62468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 63435 62468 136 292 0 63140 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 253740 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=693680/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=291896 CPUtime=162.15 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 163868 0 0 0 15982 233 0 0 25 0 1 0 180929993 298901504 72134 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 72974 72134 136 292 0 72679 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 291896 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=649840/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=335908 CPUtime=222.12 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 176225 0 0 0 21962 250 0 0 25 0 1 0 180929993 343969792 83071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 83977 83071 136 292 0 83682 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 335908 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=621616/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=363608 CPUtime=282.11 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 185574 0 0 0 27944 267 0 0 25 0 1 0 180929993 372334592 90111 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 90902 90111 136 292 0 90607 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 363608 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=544496/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=441140 CPUtime=342.09 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 206898 0 0 0 33925 284 0 0 25 0 1 0 180929993 451727360 109350 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 110285 109350 136 292 0 109990 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 441140 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=544496/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=441140 CPUtime=402.07 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 206898 0 0 0 39915 292 0 0 25 0 1 0 180929993 451727360 109350 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 110285 109350 136 292 0 109990 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 441140 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=487664/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=497548 CPUtime=462.05 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 223564 0 0 0 45895 310 0 0 25 0 1 0 180929993 509489152 123552 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 124387 123552 136 292 0 124092 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 497548 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=487728/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=497548 CPUtime=522.04 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 223564 0 0 0 51888 316 0 0 25 0 1 0 180929993 509489152 123552 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 124387 123552 136 292 0 124092 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 497548 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=487728/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=497548 CPUtime=582.02 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 223564 0 0 0 57880 322 0 0 25 0 1 0 180929993 509489152 123552 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 124387 123552 136 292 0 124092 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 497548 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=398384/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=588240 CPUtime=642.01 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 248101 0 0 0 63858 343 0 0 25 0 1 0 180929993 602357760 145833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 147060 145833 136 292 0 146765 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 588240 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=330288/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=656120 CPUtime=881.93 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 267865 0 0 0 87814 379 0 0 25 0 1 0 180929993 671866880 162830 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 164030 162830 136 292 0 163735 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 656120 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=330288/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=656120 CPUtime=941.9 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 267865 0 0 0 93806 384 0 0 25 0 1 0 180929993 671866880 162830 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 164030 162830 136 292 0 163735 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 656120 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=330352/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=656120 CPUtime=1001.89 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 267865 0 0 0 99801 388 0 0 25 0 1 0 180929993 671866880 162830 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 164030 162830 136 292 0 163735 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 656120 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=330416/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=656120 CPUtime=1061.87 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 267867 0 0 0 105794 393 0 0 25 0 1 0 180929993 671866880 162832 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 164030 162832 136 292 0 163735 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 656120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=304560/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=682400 CPUtime=1121.85 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 274384 0 0 0 111781 404 0 0 25 0 1 0 180929993 698777600 169349 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 170600 169349 136 292 0 170305 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 682400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92336/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1181.83 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 117747 436 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 893448 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92400/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1241.81 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 123740 441 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 893448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92400/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1301.81 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 129734 447 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 893448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1361.78 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 135727 451 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 893448 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1421.77 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 141721 456 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 893448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1481.75 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 147715 460 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 893448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1541.73 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330195 0 0 0 153709 464 0 0 25 0 1 0 180929993 914890752 222183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222183 136 292 0 223067 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 893448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=92464/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=893448 CPUtime=1601.71 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 330197 0 0 0 159703 468 0 0 25 0 1 0 180929993 914890752 222185 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 223362 222185 136 292 0 223067 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 893448 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=27952/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=1052936 CPUtime=1661.69 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 373605 0 0 0 165675 494 0 0 25 0 1 0 180929993 1078206464 262660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 263234 262660 136 292 0 262939 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 1052936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=28016/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=1052936 CPUtime=1721.67 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 373605 0 0 0 171669 498 0 0 25 0 1 0 180929993 1078206464 262660 1992294400 134512640 135709839 4294956240 18446744073709551615 134573826 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 263234 262660 136 292 0 262939 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 1052936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=28016/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=1052936 CPUtime=1781.66 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 373605 0 0 0 177663 503 0 0 25 0 1 0 180929993 1078206464 262660 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 263234 262660 136 292 0 262939 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1052936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=28016/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=1052936 CPUtime=1800.06 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4194304 373605 0 0 0 179501 505 0 0 25 0 1 0 180929993 1078206464 262660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 263234 262660 136 292 0 262939 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1052936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1384 /proc/meminfo: memFree=28016/2055920 swapFree=4181384/4192956 [pid=1383] ppid=1381 vsize=0 CPUtime=1800.15 /proc/1383/stat : 1383 (wbo) R 1381 1383 1160 0 -1 4195332 373605 0 0 0 179501 514 0 0 25 0 1 0 180929993 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1383/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.23 CPU user time (s): 1795.02 CPU system time (s): 5.21321 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 1067132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.02 system time used= 5.21321 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 373605 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= 5258 runsolver used 1.3438 second user time and 4.02539 second system time The end
Begin job on node49 at 2009-06-16 08:22:51 IDJOB=1876126 IDBENCH=1856 IDSOLVER=698 FILE ID=node49/1876126-1245133371 PBS_JOBID= 9363709 Free space on /tmp= 66028 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-lp4l.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-1876126-1245133371/watcher-1876126-1245133371 -o /tmp/evaluation-result-1876126-1245133371/solver-1876126-1245133371 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876126-1245133371.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=939267713 node49.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.232 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.232 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: 983384 kB Buffers: 82364 kB Cached: 907624 kB SwapCached: 4580 kB Active: 228652 kB Inactive: 769320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 983384 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 2424 kB Writeback: 0 kB Mapped: 13796 kB Slab: 60444 kB Committed_AS: 161004 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876126-1245133371.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-16 08:52:54