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: 101 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 301 1050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 150 302 1200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 150 303 1350 | 5000 3 36 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 150 304 1500 | 5000 4 52 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 5 | 150 305 1650 | 5000 5 61 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 7 | 150 306 1800 | 5000 7 58 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 150 307 1950 | 5000 7 58 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 8 | 150 308 2100 | 5000 8 62 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 8 | 150 309 2250 | 5000 8 62 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 13 | 150 310 2400 | 5000 13 74 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 15 | 150 311 2550 | 5000 15 76 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 30 | 150 312 2700 | 5000 30 82 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 41 | 150 313 2850 | 5000 41 84 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 55 | 150 314 3000 | 5000 55 83 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 78 | 150 315 3150 | 5000 78 83 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 117 | 150 316 3300 | 5000 117 84 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 137 | 150 317 3450 | 5000 137 84 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 155 | 150 318 3600 | 5000 155 84 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 236 | 150 319 3750 | 5000 236 83 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 304 | 150 320 3900 | 5000 304 83 | 0.000 % | c | 405 | 150 320 3900 | 5500 405 82 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 476 | 150 321 4050 | 5000 476 82 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 508 | 150 322 4200 | 5000 508 82 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 540 | 150 323 4350 | 5000 540 82 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 576 | 150 324 4500 | 5000 576 81 | 0.004 % | c | 677 | 150 324 4500 | 5500 677 81 | 0.004 % | c | 828 | 150 324 4500 | 6050 828 80 | 0.004 % | c | 1053 | 150 324 4500 | 6655 1053 79 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1177 | 150 325 4650 | 5000 1177 79 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1275 | 150 326 4800 | 5000 1275 79 | 0.004 % | c | 1375 | 150 326 4800 | 5500 1375 78 | 0.004 % | c | 1526 | 150 326 4800 | 6050 1526 78 | 0.004 % | c | 1751 | 150 326 4800 | 6655 1751 78 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1980 | 150 327 4950 | 5000 1980 77 | 0.004 % | c | 2081 | 150 327 4950 | 5500 2081 77 | 0.004 % | c | 2232 | 150 327 4950 | 6050 2232 77 | 0.004 % | c | 2458 | 150 327 4950 | 6655 2458 77 | 0.004 % | c | 2796 | 150 327 4950 | 7320 2796 76 | 0.004 % | c | 3302 | 150 327 4950 | 8052 3302 76 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 3677 | 150 328 5100 | 5000 3677 76 | 0.004 % | c | 3778 | 150 328 5100 | 5500 3778 75 | 0.004 % | c | 3929 | 150 328 5100 | 6050 3929 75 | 0.004 % | c | 4154 | 150 328 5100 | 6655 4154 75 | 0.004 % | c | 4491 | 150 328 5100 | 7320 4491 75 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 4684 | 150 329 5250 | 5000 4684 75 | 0.004 % | c | 4786 | 150 329 5250 | 5500 4786 75 | 0.004 % | c | 4937 | 150 329 5250 | 6050 4937 75 | 0.004 % | c | 5162 | 150 329 5250 | 6655 5162 75 | 0.004 % | c | 5499 | 150 329 5250 | 7320 5499 74 | 0.004 % | c | 6006 | 150 329 5250 | 8052 6006 74 | 0.004 % | c | 6765 | 150 329 5250 | 8857 6765 74 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 7539 | 150 330 5400 | 5000 7539 74 | 0.004 % | c | 7639 | 150 330 5400 | 5500 3870 72 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 7673 | 150 331 5550 | 5000 3904 72 | 0.004 % | c | 7774 | 150 331 5550 | 5500 4005 72 | 0.004 % | c | 7926 | 150 331 5550 | 6050 4157 72 | 0.004 % | c | 8151 | 150 331 5550 | 6655 4382 72 | 0.004 % | c | 8488 | 150 331 5550 | 7320 4719 71 | 0.004 % | c | 8995 | 150 331 5550 | 8052 5226 71 | 0.004 % | c | 9754 | 150 331 5550 | 8857 5985 71 | 0.004 % | c | 10893 | 150 331 5550 | 9743 7124 71 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s c =============================================================================== c | 12411 | 150 332 5700 | 5000 8642 71 | 0.004 % | c | 12511 | 150 332 5700 | 5500 4421 70 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 12612 | 150 333 5850 | 5000 4522 70 | 0.004 % | c | 12712 | 150 333 5850 | 5500 4622 70 | 0.004 % | c | 12862 | 150 333 5850 | 6050 4772 70 | 0.004 % | c | 13087 | 150 333 5850 | 6655 4997 69 | 0.005 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 13393 | 150 334 6000 | 5000 5303 69 | 0.005 % | c | 13493 | 150 334 6000 | 5500 2752 69 | 0.005 % | c | 13643 | 150 334 6000 | 6050 2902 69 | 0.004 % | c | 13869 | 150 334 6000 | 6655 3128 69 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 14084 | 150 335 6150 | 5000 3343 68 | 0.004 % | c | 14185 | 150 335 6150 | 5500 3444 68 | 0.004 % | c | 14336 | 150 335 6150 | 6050 3595 68 | 0.004 % | c | 14562 | 150 335 6150 | 6655 3821 68 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.24181 s Remaining CPU time: 178.758 s c =============================================================================== c | 14731 | 150 336 6300 | 5000 3990 68 | 0.004 % | c | 14831 | 150 336 6300 | 5500 4090 68 | 0.005 % | c | 14982 | 150 336 6300 | 6050 4241 68 | 0.005 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.26281 s Remaining CPU time: 178.737 s c =============================================================================== c | 15028 | 150 337 6450 | 5000 4287 68 | 0.005 % | c | 15129 | 150 337 6450 | 5500 4388 68 | 0.005 % | c | 15280 | 150 337 6450 | 6050 4539 67 | 0.005 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.2878 s Remaining CPU time: 178.712 s c =============================================================================== c | 15372 | 150 338 6600 | 5000 4631 67 | 0.005 % | c | 15473 | 150 338 6600 | 5500 4732 67 | 0.004 % | c | 15624 | 150 338 6600 | 6050 4883 67 | 0.004 % | c | 15850 | 150 338 6600 | 6655 5109 67 | 0.004 % | c | 16188 | 150 338 6600 | 7320 5447 67 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.35279 s Remaining CPU time: 178.647 s c =============================================================================== c | 16248 | 150 339 6750 | 5000 5507 67 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 16269 | 150 340 6900 | 5000 2775 64 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 16339 | 150 341 7050 | 5000 2845 64 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 16432 | 150 342 7200 | 5000 2938 64 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 16470 | 150 343 7350 | 5000 2976 64 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.38779 s Remaining CPU time: 178.612 s c =============================================================================== c | 16478 | 150 344 7500 | 5000 2984 64 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s c =============================================================================== c | 16512 | 150 345 7650 | 5000 3018 64 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 16577 | 150 346 7800 | 5000 3083 64 | 0.004 % | c | 16677 | 150 346 7800 | 5500 3183 64 | 0.004 % | c | 16829 | 150 346 7800 | 6050 3335 63 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 16966 | 150 347 7950 | 5000 3472 63 | 0.004 % | c | 17066 | 150 347 7950 | 5500 3572 63 | 0.004 % | c | 17217 | 150 347 7950 | 6050 3723 62 | 0.004 % | c | 17443 | 150 347 7950 | 6655 3949 62 | 0.004 % | c | 17781 | 150 347 7950 | 7320 4287 61 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 18044 | 150 348 8100 | 5000 4550 61 | 0.004 % | c | 18145 | 150 348 8100 | 5500 4651 60 | 0.004 % | c | 18297 | 150 348 8100 | 6050 4803 60 | 0.004 % | c | 18523 | 150 348 8100 | 6655 5029 60 | 0.004 % | c | 18860 | 150 348 8100 | 7320 5366 59 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.62975 s Remaining CPU time: 178.37 s c =============================================================================== c | 19001 | 150 349 8250 | 5000 5507 59 | 0.004 % | c | 19103 | 150 349 8250 | 5500 2856 54 | 0.004 % | c | 19254 | 150 349 8250 | 6050 3007 54 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s c =============================================================================== c | 19424 | 150 350 8400 | 5000 3177 54 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.68774 s Remaining CPU time: 178.312 s c =============================================================================== c | 19448 | 150 351 8550 | 5000 3201 54 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.68974 s Remaining CPU time: 178.31 s c =============================================================================== c | 19467 | 150 352 8700 | 5000 3220 54 | 0.004 % | c | 19567 | 150 352 8700 | 5500 3320 54 | 0.004 % | c | 19718 | 150 352 8700 | 6050 3471 53 | 0.004 % | c | 19946 | 150 352 8700 | 6655 3699 53 | 0.004 % | c | 20283 | 150 352 8700 | 7320 4036 53 | 0.004 % | c | 20790 | 150 352 8700 | 8052 4543 52 | 0.004 % | c | 21549 | 150 352 8700 | 8857 5302 52 | 0.004 % | c | 22688 | 150 352 8700 | 9743 6441 51 | 0.004 % | c | 24397 | 150 352 8700 | 10717 8150 51 | 0.004 % | c | 26960 | 150 352 8700 | 11789 10713 50 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 29852 | 150 353 8850 | 5000 7686 49 | 0.004 % | c | 29953 | 150 353 8850 | 5500 3944 49 | 0.004 % | c | 30104 | 150 353 8850 | 6050 4095 49 | 0.004 % | c | 30330 | 150 353 8850 | 6655 4321 49 | 0.004 % | c | 30667 | 150 353 8850 | 7320 4658 49 | 0.004 % | c | 31173 | 150 353 8850 | 8052 5164 49 | 0.004 % | c | 31932 | 150 353 8850 | 8857 5923 49 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 32727 | 150 354 9000 | 5000 6718 49 | 0.004 % | c | 32827 | 150 354 9000 | 5500 3459 48 | 0.004 % | c | 32979 | 150 354 9000 | 6050 3611 48 | 0.005 % | c | 33205 | 150 354 9000 | 6655 3837 48 | 0.005 % | c | 33542 | 150 354 9000 | 7320 4174 48 | 0.004 % | c | 34050 | 150 354 9000 | 8052 4682 48 | 0.004 % | c | 34809 | 150 354 9000 | 8857 5441 48 | 0.004 % | c | 35949 | 150 354 9000 | 9743 6581 48 | 0.005 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s c =============================================================================== c | 36942 | 150 355 9150 | 5000 7574 47 | 0.005 % | c | 37042 | 150 355 9150 | 5500 3887 47 | 0.004 % | c | 37193 | 150 355 9150 | 6050 4038 47 | 0.004 % | c | 37419 | 150 355 9150 | 6655 4264 47 | 0.004 % | c | 37756 | 150 355 9150 | 7320 4601 47 | 0.004 % | c | 38262 | 150 355 9150 | 8052 5107 46 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 3.82742 s Remaining CPU time: 176.173 s c =============================================================================== c | 38620 | 150 356 9300 | 5000 5465 46 | 0.004 % | c | 38721 | 150 356 9300 | 5500 2834 46 | 0.004 % | c | 38871 | 150 356 9300 | 6050 2984 46 | 0.004 % | c | 39097 | 150 356 9300 | 6655 3210 46 | 0.004 % | c | 39434 | 150 356 9300 | 7320 3547 46 | 0.004 % | c | 39940 | 150 356 9300 | 8052 4053 46 | 0.004 % | c | 40699 | 150 356 9300 | 8857 4812 46 | 0.004 % | c | 41838 | 150 356 9300 | 9743 5951 46 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 4.28235 s Remaining CPU time: 175.718 s c =============================================================================== c | 43196 | 150 357 9450 | 5000 7309 46 | 0.004 % | c | 43297 | 150 357 9450 | 5500 3756 45 | 0.004 % | c | 43448 | 150 357 9450 | 6050 3907 45 | 0.005 % | c | 43673 | 150 357 9450 | 6655 4132 45 | 0.005 % | c | 44010 | 150 357 9450 | 7320 4469 45 | 0.005 % | c | 44516 | 150 357 9450 | 8052 4975 45 | 0.004 % | c | 45276 | 150 357 9450 | 8857 5735 45 | 0.004 % | c | 46416 | 150 357 9450 | 9743 6875 45 | 0.004 % | c | 48126 | 150 357 9450 | 10717 8585 45 | 0.004 % | c | 50689 | 150 357 9450 | 11789 5756 44 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 5.22121 s Remaining CPU time: 174.779 s c =============================================================================== c | 51142 | 150 358 9600 | 5000 6209 44 | 0.004 % | c | 51243 | 150 358 9600 | 5500 3206 44 | 0.004 % | c | 51393 | 150 358 9600 | 6050 3356 44 | 0.004 % | c | 51618 | 150 358 9600 | 6655 3581 44 | 0.004 % | c | 51955 | 150 358 9600 | 7320 3918 44 | 0.004 % | c | 52462 | 150 358 9600 | 8052 4425 44 | 0.004 % | c | 53221 | 150 358 9600 | 8857 5184 44 | 0.004 % | c | 54361 | 150 358 9600 | 9743 6324 44 | 0.004 % | c | 56070 | 150 358 9600 | 10717 8033 44 | 0.004 % | c | 58632 | 150 358 9600 | 11789 10595 44 | 0.004 % | c | 62477 | 150 358 9600 | 12968 8515 43 | 0.004 % | c | 68243 | 150 358 9600 | 14265 7768 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 8.36173 s Remaining CPU time: 171.638 s c =============================================================================== c | 75895 | 150 359 9750 | 5000 8259 43 | 0.004 % | c | 75995 | 150 359 9750 | 5500 4230 43 | 0.004 % | c | 76147 | 150 359 9750 | 6050 4382 43 | 0.004 % | c | 76373 | 150 359 9750 | 6655 4608 43 | 0.004 % | c | 76710 | 150 359 9750 | 7320 4945 43 | 0.004 % | c | 77217 | 150 359 9750 | 8052 5452 43 | 0.004 % | c | 77977 | 150 359 9750 | 8857 6212 43 | 0.004 % | c | 79116 | 150 359 9750 | 9743 7351 43 | 0.004 % | c | 80824 | 150 359 9750 | 10717 9059 43 | 0.004 % | c | 83386 | 150 359 9750 | 11789 6238 42 | 0.004 % | c | 87231 | 150 359 9750 | 12968 10083 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 9.75452 s Remaining CPU time: 170.245 s c =============================================================================== c | 88970 | 150 360 9900 | 5000 11822 42 | 0.004 % | c | 89070 | 150 360 9900 | 5500 3056 42 | 0.004 % | c | 89221 | 150 360 9900 | 6050 3207 42 | 0.004 % | c | 89446 | 150 360 9900 | 6655 3432 42 | 0.004 % | c | 89784 | 150 360 9900 | 7320 3770 42 | 0.004 % | c | 90291 | 150 360 9900 | 8052 4277 42 | 0.004 % | c | 91050 | 150 360 9900 | 8857 5036 42 | 0.004 % | c | 92190 | 150 360 9900 | 9743 6176 42 | 0.004 % | c | 93899 | 150 360 9900 | 10717 7885 41 | 0.004 % | c | 96461 | 150 360 9900 | 11789 10447 41 | 0.004 % | c | 100305 | 150 360 9900 | 12968 8365 41 | 0.004 % | c | 106071 | 150 360 9900 | 14265 7617 41 | 0.004 % | c | 114721 | 150 360 9900 | 15692 9106 41 | 0.004 % | c | 127695 | 150 360 9900 | 17261 14204 41 | 0.004 % | c | 147157 | 150 360 9900 | 18987 16339 41 | 0.004 % | c | 176350 | 150 360 9900 | 20886 16963 41 | 0.004 % | c | 220140 | 150 360 9900 | 22974 18856 41 | 0.004 % | c | 285825 | 150 360 9900 | 25272 22597 41 | 0.004 % | c | 384351 | 150 360 9900 | 27799 18953 41 | 0.004 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 56.7514 s Remaining CPU time: 123.249 s c =============================================================================== c | 392050 | 150 361 10050 | 5000 26652 41 | 0.004 % | c | 392151 | 150 361 10050 | 5500 2787 41 | 0.004 % | c | 392302 | 150 361 10050 | 6050 2938 41 | 0.004 % | c | 392527 | 150 361 10050 | 6655 3163 41 | 0.004 % | c | 392865 | 150 361 10050 | 7320 3501 41 | 0.004 % | c | 393373 | 150 361 10050 | 8052 4009 41 | 0.004 % | c | 394132 | 150 361 10050 | 8857 4768 41 | 0.004 % | c | 395272 | 150 361 10050 | 9743 5908 41 | 0.004 % | c | 396980 | 150 361 10050 | 10717 7616 41 | 0.004 % | c | 399543 | 150 361 10050 | 11789 10179 41 | 0.004 % | c | 403387 | 150 361 10050 | 12968 8101 40 | 0.004 % | c | 409155 | 150 361 10050 | 14265 7355 40 | 0.004 % | c | 417804 | 150 361 10050 | 15692 8844 40 | 0.004 % | c | 430779 | 150 361 10050 | 17261 13943 40 | 0.005 % | c | 450240 | 150 361 10050 | 18987 16086 41 | 0.004 % | c | 479433 | 150 361 10050 | 20886 16712 40 | 0.004 % | c | 523222 | 150 361 10050 | 22974 18618 40 | 0.004 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 76.8233 s Remaining CPU time: 103.177 s c =============================================================================== c | 528475 | 150 362 10200 | 5000 11482 40 | 0.004 % | c | 528575 | 150 362 10200 | 5500 2971 40 | 0.004 % | c | 528726 | 150 362 10200 | 6050 3122 40 | 0.004 % | c | 528951 | 150 362 10200 | 6655 3347 40 | 0.004 % | c | 529288 | 150 362 10200 | 7320 3684 40 | 0.004 % | c | 529795 | 150 362 10200 | 8052 4191 40 | 0.004 % | c | 530554 | 150 362 10200 | 8857 4950 40 | 0.004 % | c | 531693 | 150 362 10200 | 9743 6089 40 | 0.004 % | c | 533401 | 150 362 10200 | 10717 7797 40 | 0.004 % | c | 535963 | 150 362 10200 | 11789 10359 39 | 0.004 % | c | 539807 | 150 362 10200 | 12968 8282 39 | 0.004 % | c | 545573 | 150 362 10200 | 14265 7533 39 | 0.004 % | c | 554223 | 150 362 10200 | 15692 9019 39 | 0.004 % | c | 567197 | 150 362 10200 | 17261 14120 39 | 0.004 % | c | 586659 | 150 362 10200 | 18987 16265 39 | 0.004 % | c | 615851 | 150 362 10200 | 20886 16895 39 | 0.004 % | c | 659640 | 150 362 10200 | 22974 18792 39 | 0.004 % | c | 725324 | 150 362 10200 | 25272 22705 39 | 0.004 % | c | 823850 | 150 362 10200 | 27799 19245 39 | 0.004 % | c | 971639 | 150 362 10200 | 30579 13877 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 | 114 535 4091 | 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 | 179 537 7263 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 181.652 s