c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 450 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 300 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 150 300 900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 150 301 1050 | 5000 3 5 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 150 302 1200 | 5000 4 4 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 6 | 150 303 1350 | 5000 6 22 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 6 | 150 304 1500 | 5000 6 22 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 150 305 1650 | 5000 6 22 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 150 306 1800 | 5000 6 22 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 150 307 1950 | 5000 7 34 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 13 | 150 308 2100 | 5000 13 66 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 21 | 150 309 2250 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 24 | 150 310 2400 | 5000 24 83 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 29 | 150 311 2550 | 5000 29 86 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 36 | 150 312 2700 | 5000 36 89 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 42 | 150 313 2850 | 5000 42 90 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 50 | 150 314 3000 | 5000 50 92 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 50 | 150 315 3150 | 5000 50 92 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 61 | 150 316 3300 | 5000 61 92 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 68 | 150 317 3450 | 5000 68 93 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 75 | 150 318 3600 | 5000 75 93 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 91 | 150 319 3750 | 5000 91 93 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 93 | 150 320 3900 | 5000 93 93 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 108 | 150 321 4050 | 5000 108 92 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 112 | 150 322 4200 | 5000 112 92 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 114 | 150 323 4350 | 5000 114 92 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 117 | 150 324 4500 | 5000 117 92 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 158 | 150 325 4650 | 5000 158 90 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 189 | 150 326 4800 | 5000 189 89 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 245 | 150 327 4950 | 5000 245 88 | 0.000 % | c | 345 | 150 327 4950 | 5500 345 87 | 0.004 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 363 | 150 328 5100 | 5000 363 87 | 0.004 % | c | 463 | 150 328 5100 | 5500 463 86 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 600 | 150 329 5250 | 5000 600 85 | 0.004 % | c | 701 | 150 329 5250 | 5500 701 84 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 779 | 150 330 5400 | 5000 779 84 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 874 | 150 331 5550 | 5000 874 84 | 0.004 % | c | 975 | 150 331 5550 | 5500 975 83 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1043 | 150 332 5700 | 5000 1043 83 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1104 | 150 333 5850 | 5000 1104 83 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1179 | 150 334 6000 | 5000 1179 82 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1199 | 150 335 6150 | 5000 1199 82 | 0.004 % | c | 1300 | 150 335 6150 | 5500 1300 82 | 0.004 % | c | 1451 | 150 335 6150 | 6050 1451 81 | 0.004 % | c | 1677 | 150 335 6150 | 6655 1677 80 | 0.004 % | c | 2014 | 150 335 6150 | 7320 2014 80 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 2023 | 150 336 6300 | 5000 2023 80 | 0.004 % | c | 2123 | 150 336 6300 | 5500 2123 79 | 0.004 % | c | 2273 | 150 336 6300 | 6050 2273 79 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 2354 | 150 337 6450 | 5000 2354 79 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 2433 | 150 338 6600 | 5000 2433 79 | 0.004 % | c | 2533 | 150 338 6600 | 5500 2533 78 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 2645 | 150 339 6750 | 5000 2645 78 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 2670 | 150 340 6900 | 5000 2670 78 | 0.004 % | c | 2771 | 150 340 6900 | 5500 2771 78 | 0.004 % | c | 2921 | 150 340 6900 | 6050 2921 77 | 0.004 % | c | 3146 | 150 340 6900 | 6655 3146 77 | 0.004 % | c | 3484 | 150 340 6900 | 7320 3484 76 | 0.004 % | c | 3992 | 150 340 6900 | 8052 3992 75 | 0.004 % | c | 4751 | 150 340 6900 | 8857 4751 75 | 0.004 % | c | 5890 | 150 340 6900 | 9743 5890 74 | 0.004 % | c | 7598 | 150 340 6900 | 10717 7598 73 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 8392 | 150 341 7050 | 5000 8392 73 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 8400 | 150 342 7200 | 5000 4204 71 | 0.004 % | c | 8501 | 150 342 7200 | 5500 4305 71 | 0.004 % | c | 8651 | 150 342 7200 | 6050 4455 71 | 0.004 % | c | 8878 | 150 342 7200 | 6655 4682 70 | 0.004 % | c | 9215 | 150 342 7200 | 7320 5019 70 | 0.004 % | c | 9722 | 150 342 7200 | 8052 5526 70 | 0.004 % | c | 10481 | 150 342 7200 | 8857 6285 70 | 0.004 % | c | 11620 | 150 342 7200 | 9743 7424 70 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 13006 | 150 343 7350 | 5000 8810 70 | 0.004 % | c | 13107 | 150 343 7350 | 5500 4506 69 | 0.004 % | c | 13258 | 150 343 7350 | 6050 4657 69 | 0.004 % | c | 13484 | 150 343 7350 | 6655 4883 69 | 0.004 % | c | 13824 | 150 343 7350 | 7320 5223 69 | 0.004 % | c | 14330 | 150 343 7350 | 8052 5729 69 | 0.005 % | c | 15089 | 150 343 7350 | 8857 6488 69 | 0.004 % | c | 16230 | 150 343 7350 | 9743 7629 69 | 0.004 % | c | 17939 | 150 343 7350 | 10717 9338 69 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 18450 | 150 344 7500 | 5000 9849 69 | 0.004 % | c | 18550 | 150 344 7500 | 5500 5025 68 | 0.004 % | c | 18700 | 150 344 7500 | 6050 5175 68 | 0.004 % | c | 18926 | 150 344 7500 | 6655 5401 68 | 0.004 % | c | 19263 | 150 344 7500 | 7320 5738 68 | 0.004 % | c | 19769 | 150 344 7500 | 8052 6244 68 | 0.004 % | c | 20529 | 150 344 7500 | 8857 7004 68 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 21132 | 150 345 7650 | 5000 7607 68 | 0.004 % | c | 21234 | 150 345 7650 | 5500 3906 67 | 0.004 % | c | 21385 | 150 345 7650 | 6050 4057 67 | 0.004 % | c | 21610 | 150 345 7650 | 6655 4282 67 | 0.004 % | c | 21948 | 150 345 7650 | 7320 4620 67 | 0.004 % | c | 22454 | 150 345 7650 | 8052 5126 67 | 0.004 % | c | 23213 | 150 345 7650 | 8857 5885 66 | 0.004 % | c | 24352 | 150 345 7650 | 9743 7024 66 | 0.004 % | c | 26061 | 150 345 7650 | 10717 8733 66 | 0.004 % | c | 28624 | 150 345 7650 | 11789 5894 66 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 28803 | 150 346 7800 | 5000 6073 66 | 0.004 % | c | 28904 | 150 346 7800 | 5500 3138 66 | 0.004 % | c | 29054 | 150 346 7800 | 6050 3288 66 | 0.004 % | c | 29280 | 150 346 7800 | 6655 3514 65 | 0.004 % | c | 29617 | 150 346 7800 | 7320 3851 65 | 0.004 % | c | 30123 | 150 346 7800 | 8052 4357 65 | 0.004 % | c | 30882 | 150 346 7800 | 8857 5116 65 | 0.004 % | c | 32022 | 150 346 7800 | 9743 6256 65 | 0.004 % | c | 33732 | 150 346 7800 | 10717 7966 65 | 0.004 % | c | 36294 | 150 346 7800 | 11789 10528 65 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s c =============================================================================== c | 36617 | 150 347 7950 | 5000 10851 65 | 0.004 % | c | 36718 | 150 347 7950 | 5500 2814 64 | 0.004 % | c | 36869 | 150 347 7950 | 6050 2965 64 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 4.54131 s Remaining CPU time: 175.459 s c =============================================================================== c | 36958 | 150 348 8100 | 5000 3054 64 | 0.004 % | c | 37058 | 150 348 8100 | 5500 3154 64 | 0.004 % | c | 37208 | 150 348 8100 | 6050 3304 64 | 0.004 % | c | 37433 | 150 348 8100 | 6655 3529 64 | 0.004 % | c | 37770 | 150 348 8100 | 7320 3866 64 | 0.004 % | c | 38276 | 150 348 8100 | 8052 4372 64 | 0.005 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 4.72228 s Remaining CPU time: 175.278 s c =============================================================================== c | 38558 | 150 349 8250 | 5000 4654 64 | 0.005 % | c | 38660 | 150 349 8250 | 5500 4756 64 | 0.004 % | c | 38810 | 150 349 8250 | 6050 4906 64 | 0.004 % | c | 39036 | 150 349 8250 | 6655 5132 64 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 4.79727 s Remaining CPU time: 175.203 s c =============================================================================== c | 39165 | 150 350 8400 | 5000 5261 64 | 0.004 % | c | 39265 | 150 350 8400 | 5500 2731 62 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 4.83026 s Remaining CPU time: 175.17 s c =============================================================================== c | 39292 | 150 351 8550 | 5000 2758 62 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 4.83326 s Remaining CPU time: 175.167 s c =============================================================================== c | 39316 | 150 352 8700 | 5000 2782 62 | 0.004 % | c | 39416 | 150 352 8700 | 5500 2882 62 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 4.84626 s Remaining CPU time: 175.154 s c =============================================================================== c | 39430 | 150 353 8850 | 5000 2896 62 | 0.004 % | c | 39530 | 150 353 8850 | 5500 2996 62 | 0.004 % | c | 39681 | 150 353 8850 | 6050 3147 62 | 0.004 % | c | 39908 | 150 353 8850 | 6655 3374 61 | 0.004 % | c | 40246 | 150 353 8850 | 7320 3712 61 | 0.004 % | c | 40755 | 150 353 8850 | 8052 4221 61 | 0.004 % | c | 41514 | 150 353 8850 | 8857 4980 60 | 0.004 % | c | 42653 | 150 353 8850 | 9743 6119 60 | 0.004 % | c | 44362 | 150 353 8850 | 10717 7828 59 | 0.004 % | c | 46925 | 150 353 8850 | 11789 10391 59 | 0.004 % | c | 50769 | 150 353 8850 | 12968 8304 57 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 51126 | 150 354 9000 | 5000 8661 57 | 0.004 % | c | 51226 | 150 354 9000 | 5500 4431 57 | 0.004 % | c | 51376 | 150 354 9000 | 6050 4581 57 | 0.004 % | c | 51602 | 150 354 9000 | 6655 4807 57 | 0.004 % | c | 51940 | 150 354 9000 | 7320 5145 57 | 0.004 % | c | 52446 | 150 354 9000 | 8052 5651 57 | 0.004 % | c | 53205 | 150 354 9000 | 8857 6410 57 | 0.004 % | c | 54344 | 150 354 9000 | 9743 7549 57 | 0.004 % | c | 56054 | 150 354 9000 | 10717 9259 57 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 7.31789 s Remaining CPU time: 172.682 s c =============================================================================== c | 58268 | 150 355 9150 | 5000 6078 57 | 0.004 % | c | 58370 | 150 355 9150 | 5500 3141 57 | 0.004 % | c | 58520 | 150 355 9150 | 6050 3291 57 | 0.004 % | c | 58745 | 150 355 9150 | 6655 3516 56 | 0.004 % | c | 59083 | 150 355 9150 | 7320 3854 56 | 0.004 % | c | 59589 | 150 355 9150 | 8052 4360 56 | 0.004 % | c | 60350 | 150 355 9150 | 8857 5121 56 | 0.004 % | c | 61491 | 150 355 9150 | 9743 6262 56 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 7.8968 s Remaining CPU time: 172.103 s c =============================================================================== c | 63183 | 150 356 9300 | 5000 7954 56 | 0.004 % | c | 63283 | 150 356 9300 | 5500 4077 56 | 0.004 % | c | 63433 | 150 356 9300 | 6050 4227 56 | 0.004 % | c | 63658 | 150 356 9300 | 6655 4452 56 | 0.004 % | c | 63995 | 150 356 9300 | 7320 4789 56 | 0.004 % | c | 64501 | 150 356 9300 | 8052 5295 56 | 0.004 % | c | 65260 | 150 356 9300 | 8857 6054 55 | 0.004 % | c | 66399 | 150 356 9300 | 9743 7193 55 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 8.31574 s Remaining CPU time: 171.684 s c =============================================================================== c | 66681 | 150 357 9450 | 5000 7475 55 | 0.004 % | c | 66782 | 150 357 9450 | 5500 3839 55 | 0.004 % | c | 66932 | 150 357 9450 | 6050 3989 55 | 0.004 % | c | 67158 | 150 357 9450 | 6655 4215 55 | 0.004 % | c | 67496 | 150 357 9450 | 7320 4553 55 | 0.004 % | c | 68003 | 150 357 9450 | 8052 5060 55 | 0.004 % | c | 68763 | 150 357 9450 | 8857 5820 55 | 0.004 % | c | 69902 | 150 357 9450 | 9743 6959 54 | 0.004 % | c | 71610 | 150 357 9450 | 10717 8667 54 | 0.004 % | c | 74172 | 150 357 9450 | 11789 5836 54 | 0.004 % | c | 78016 | 150 357 9450 | 12968 9680 54 | 0.004 % | c | 83783 | 150 357 9450 | 14265 8934 54 | 0.004 % | c | 92432 | 150 357 9450 | 15692 10412 54 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 13.7499 s Remaining CPU time: 166.25 s c =============================================================================== c | 103039 | 150 358 9600 | 5000 13138 54 | 0.004 % | c | 103140 | 150 358 9600 | 5500 3386 53 | 0.004 % | c | 103291 | 150 358 9600 | 6050 3537 53 | 0.005 % | c | 103517 | 150 358 9600 | 6655 3763 53 | 0.004 % | c | 103855 | 150 358 9600 | 7320 4101 53 | 0.004 % | c | 104361 | 150 358 9600 | 8052 4607 53 | 0.004 % | c | 105121 | 150 358 9600 | 8857 5367 53 | 0.004 % | c | 106261 | 150 358 9600 | 9743 6507 53 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 14.1518 s Remaining CPU time: 165.848 s c =============================================================================== c | 106329 | 150 359 9750 | 5000 6575 53 | 0.004 % | c | 106429 | 150 359 9750 | 5500 3388 53 | 0.004 % | c | 106580 | 150 359 9750 | 6050 3539 53 | 0.004 % | c | 106805 | 150 359 9750 | 6655 3764 53 | 0.004 % | c | 107143 | 150 359 9750 | 7320 4102 52 | 0.004 % | c | 107649 | 150 359 9750 | 8052 4608 52 | 0.004 % | c | 108408 | 150 359 9750 | 8857 5367 52 | 0.004 % | c | 109548 | 150 359 9750 | 9743 6507 52 | 0.004 % | c | 111256 | 150 359 9750 | 10717 8215 52 | 0.004 % | c | 113819 | 150 359 9750 | 11789 10778 52 | 0.004 % | c | 117664 | 150 359 9750 | 12968 8695 52 | 0.004 % | c | 123430 | 150 359 9750 | 14265 7947 52 | 0.004 % | c | 132079 | 150 359 9750 | 15692 9426 52 | 0.004 % | c | 145054 | 150 359 9750 | 17261 14524 52 | 0.004 % | c | 164515 | 150 359 9750 | 18987 16653 52 | 0.004 % | c | 193707 | 150 359 9750 | 20886 17256 52 | 0.004 % | c | 237496 | 150 359 9750 | 22974 19122 52 | 0.004 % | c | 303183 | 150 359 9750 | 25272 22645 52 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 48.7376 s Remaining CPU time: 131.262 s c =============================================================================== c | 306543 | 150 360 9900 | 5000 11344 52 | 0.004 % | c | 306643 | 150 360 9900 | 5500 2936 52 | 0.004 % | c | 306793 | 150 360 9900 | 6050 3086 52 | 0.004 % | c | 307018 | 150 360 9900 | 6655 3311 52 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 48.8946 s Remaining CPU time: 131.105 s c =============================================================================== c | 307287 | 150 361 10050 | 5000 3580 52 | 0.004 % | c | 307387 | 150 361 10050 | 5500 3680 52 | 0.004 % | c | 307537 | 150 361 10050 | 6050 3830 52 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 48.9226 s Remaining CPU time: 131.077 s c =============================================================================== c | 307580 | 150 362 10200 | 5000 3873 52 | 0.004 % | c | 307681 | 150 362 10200 | 5500 3974 52 | 0.004 % | c | 307831 | 150 362 10200 | 6050 4124 52 | 0.004 % | c | 308056 | 150 362 10200 | 6655 4349 52 | 0.004 % | c | 308393 | 150 362 10200 | 7320 4686 51 | 0.004 % | c | 308902 | 150 362 10200 | 8052 5195 51 | 0.004 % | c | 309661 | 150 362 10200 | 8857 5954 51 | 0.004 % | c | 310801 | 150 362 10200 | 9743 7094 50 | 0.004 % | c | 312509 | 150 362 10200 | 10717 8802 50 | 0.004 % | c | 315071 | 150 362 10200 | 11789 5975 49 | 0.004 % | c | 318915 | 150 362 10200 | 12968 9819 49 | 0.004 % | c | 324681 | 150 362 10200 | 14265 9074 49 | 0.004 % | c | 333331 | 150 362 10200 | 15692 10558 49 | 0.004 % | c | 346307 | 150 362 10200 | 17261 15655 49 | 0.004 % | c | 365769 | 150 362 10200 | 18987 9120 49 | 0.004 % | c | 394961 | 150 362 10200 | 20886 9742 49 | 0.004 % | c | 438750 | 150 362 10200 | 22974 11619 49 | 0.004 % | c | 504435 | 150 362 10200 | 25272 14842 49 | 0.004 % | c | 602963 | 150 362 10200 | 27799 10800 49 | 0.004 % | c | 750753 | 150 362 10200 | 30579 22015 49 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 125.602 s Remaining CPU time: 54.3981 s c =============================================================================== c | 759003 | 150 363 10350 | 5000 30265 49 | 0.004 % | c | 759104 | 150 363 10350 | 5500 2815 49 | 0.004 % | c | 759255 | 150 363 10350 | 6050 2966 49 | 0.004 % | c | 759481 | 150 363 10350 | 6655 3192 49 | 0.004 % | c | 759819 | 150 363 10350 | 7320 3530 49 | 0.004 % | c | 760325 | 150 363 10350 | 8052 4036 49 | 0.004 % | c | 761084 | 150 363 10350 | 8857 4795 49 | 0.004 % | c | 762223 | 150 363 10350 | 9743 5934 49 | 0.004 % | c | 763932 | 150 363 10350 | 10717 7643 49 | 0.004 % | c | 766494 | 150 363 10350 | 11789 10205 48 | 0.004 % | c | 770338 | 150 363 10350 | 12968 8123 48 | 0.004 % | c | 776104 | 150 363 10350 | 14265 7375 48 | 0.004 % | c | 784754 | 150 363 10350 | 15692 8855 48 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 130.347 s Remaining CPU time: 49.6528 s c =============================================================================== c | 790057 | 150 364 10500 | 5000 14158 48 | 0.004 % | c | 790158 | 150 364 10500 | 5500 3641 48 | 0.004 % | c | 790308 | 150 364 10500 | 6050 3791 48 | 0.004 % | c | 790534 | 150 364 10500 | 6655 4017 48 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 130.636 s Remaining CPU time: 49.3639 s c =============================================================================== c | 790689 | 150 365 10650 | 5000 4172 48 | 0.004 % | c | 790790 | 150 365 10650 | 5500 4273 48 | 0.004 % | c | 790940 | 150 365 10650 | 6050 4423 48 | 0.004 % | c | 791166 | 150 365 10650 | 6655 4649 48 | 0.004 % | c | 791504 | 150 365 10650 | 7320 4987 48 | 0.004 % | c | 792011 | 150 365 10650 | 8052 5494 48 | 0.004 % | c | 792773 | 150 365 10650 | 8857 6256 47 | 0.005 % | c | 793914 | 150 365 10650 | 9743 7397 47 | 0.004 % | c | 795622 | 150 365 10650 | 10717 9105 47 | 0.004 % | c | 798185 | 150 365 10650 | 11789 6280 46 | 0.005 % | c | 802030 | 150 365 10650 | 12968 10125 46 | 0.004 % | c | 807797 | 150 365 10650 | 14265 9379 46 | 0.004 % | c | 816447 | 150 365 10650 | 15692 10863 46 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 135.082 s Remaining CPU time: 44.9175 s c =============================================================================== c | 825190 | 150 366 10800 | 5000 11729 46 | 0.004 % | c | 825291 | 150 366 10800 | 5500 3034 46 | 0.004 % | c | 825441 | 150 366 10800 | 6050 3184 46 | 0.004 % | c | 825666 | 150 366 10800 | 6655 3409 46 | 0.004 % | c | 826003 | 150 366 10800 | 7320 3746 46 | 0.004 % | c | 826510 | 150 366 10800 | 8052 4253 46 | 0.004 % | c | 827269 | 150 366 10800 | 8857 5012 46 | 0.004 % | c | 828409 | 150 366 10800 | 9743 6152 46 | 0.004 % | c | 830118 | 150 366 10800 | 10717 7861 46 | 0.005 % | c | 832682 | 150 366 10800 | 11789 10425 45 | 0.004 % | c | 836526 | 150 366 10800 | 12968 8343 45 | 0.004 % | c | 842293 | 150 366 10800 | 14265 7595 45 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 137.351 s Remaining CPU time: 42.6489 s c =============================================================================== c | 842926 | 150 367 10950 | 5000 8228 45 | 0.004 % | c | 843028 | 150 367 10950 | 5500 4216 45 | 0.004 % | c | 843178 | 150 367 10950 | 6050 4366 45 | 0.004 % | c | 843403 | 150 367 10950 | 6655 4591 45 | 0.004 % | c | 843741 | 150 367 10950 | 7320 4929 45 | 0.004 % | c | 844247 | 150 367 10950 | 8052 5435 45 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 137.565 s Remaining CPU time: 42.4349 s c =============================================================================== c | 844374 | 150 368 11100 | 5000 5562 45 | 0.004 % | c | 844474 | 150 368 11100 | 5500 2881 45 | 0.004 % | c | 844625 | 150 368 11100 | 6050 3032 45 | 0.004 % | c | 844850 | 150 368 11100 | 6655 3257 44 | 0.004 % | c | 845187 | 150 368 11100 | 7320 3594 44 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 137.7 s Remaining CPU time: 42.2999 s c =============================================================================== c | 845525 | 150 369 11250 | 5000 3932 44 | 0.004 % | c | 845626 | 150 369 11250 | 5500 4033 44 | 0.004 % | c | 845777 | 150 369 11250 | 6050 4184 44 | 0.004 % | c | 846003 | 150 369 11250 | 6655 4410 44 | 0.004 % | c | 846340 | 150 369 11250 | 7320 4747 44 | 0.004 % | c | 846848 | 150 369 11250 | 8052 5255 44 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 137.853 s Remaining CPU time: 42.147 s c =============================================================================== c | 847047 | 150 370 11400 | 5000 5454 44 | 0.004 % | c | 847148 | 150 370 11400 | 5500 2828 43 | 0.004 % | c | 847299 | 150 370 11400 | 6050 2979 42 | 0.004 % | c | 847524 | 150 370 11400 | 6655 3204 42 | 0.004 % | c | 847862 | 150 370 11400 | 7320 3542 42 | 0.004 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 138.006 s Remaining CPU time: 41.994 s c =============================================================================== c | 848359 | 150 371 11550 | 5000 4039 42 | 0.004 % | c | 848459 | 150 371 11550 | 5500 4139 42 | 0.004 % | c | 848610 | 150 371 11550 | 6050 4290 42 | 0.004 % | c | 848835 | 150 371 11550 | 6655 4515 42 | 0.004 % | c | 849172 | 150 371 11550 | 7320 4852 42 | 0.004 % | c | 849679 | 150 371 11550 | 8052 5359 42 | 0.004 % | c | 850439 | 150 371 11550 | 8857 6119 41 | 0.004 % | c | 851578 | 150 371 11550 | 9743 7258 41 | 0.005 % | c | 853287 | 150 371 11550 | 10717 8967 41 | 0.004 % | c | 855849 | 150 371 11550 | 11789 6151 40 | 0.004 % | c | 859693 | 150 371 11550 | 12968 9995 40 | 0.004 % | c | 865461 | 150 371 11550 | 14265 9254 40 | 0.004 % | c | 874110 | 150 371 11550 | 15692 10746 40 | 0.004 % | c | 887084 | 150 371 11550 | 17261 7975 40 | 0.004 % | c | 906545 | 150 371 11550 | 18987 10116 40 | 0.004 % | c | 935737 | 150 371 11550 | 20886 10746 40 | 0.004 % | c | 979527 | 150 371 11550 | 22974 12669 40 | 0.004 % | c | 1045212 | 150 371 11550 | 25272 16286 40 | 0.004 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 158 551 6217 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 216 553 9572 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 298 554 11912 | 5000 0 nan | 0.000 % | c | 100 | 298 554 11912 | 5500 100 9 | 10.865 % | c | 252 | 293 554 11912 | 6050 147 8 | 11.754 % | c | 477 | 287 554 11912 | 6655 161 7 | 13.556 % | c =============================================================================== c Total CPU time: 181.101 s