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: 112 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: 111 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 302 1200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 303 1350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 304 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 150 305 1650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 150 306 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 150 307 1950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 150 308 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 4 | 150 309 2250 | 5000 4 104 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 5 | 150 310 2400 | 5000 5 104 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 7 | 150 311 2550 | 5000 7 103 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 10 | 150 312 2700 | 5000 10 102 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 12 | 150 313 2850 | 5000 12 102 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 18 | 150 314 3000 | 5000 18 101 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 34 | 150 315 3150 | 5000 34 100 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 38 | 150 316 3300 | 5000 38 99 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 51 | 150 317 3450 | 5000 51 98 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 58 | 150 318 3600 | 5000 58 98 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 62 | 150 319 3750 | 5000 62 98 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 74 | 150 320 3900 | 5000 74 97 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 75 | 150 321 4050 | 5000 75 97 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 112 | 150 322 4200 | 5000 112 95 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 141 | 150 323 4350 | 5000 141 94 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 221 | 150 324 4500 | 5000 221 92 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 252 | 150 325 4650 | 5000 252 91 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 312 | 150 326 4800 | 5000 312 90 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 355 | 150 327 4950 | 5000 355 90 | 0.000 % | c | 455 | 150 327 4950 | 5500 455 89 | 0.004 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 510 | 150 328 5100 | 5000 510 88 | 0.004 % | c | 610 | 150 328 5100 | 5500 610 88 | 0.004 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 624 | 150 329 5250 | 5000 624 87 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 662 | 150 330 5400 | 5000 662 87 | 0.004 % | c | 762 | 150 330 5400 | 5500 762 86 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 813 | 150 331 5550 | 5000 813 86 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 836 | 150 332 5700 | 5000 836 86 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 877 | 150 333 5850 | 5000 877 86 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 884 | 150 334 6000 | 5000 884 86 | 0.004 % | c | 984 | 150 334 6000 | 5500 984 85 | 0.004 % | c | 1135 | 150 334 6000 | 6050 1135 84 | 0.004 % | c | 1360 | 150 334 6000 | 6655 1360 83 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1528 | 150 335 6150 | 5000 1528 82 | 0.004 % | c | 1628 | 150 335 6150 | 5500 1628 82 | 0.004 % | c | 1779 | 150 335 6150 | 6050 1779 81 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 1787 | 150 336 6300 | 5000 1787 81 | 0.004 % | c | 1888 | 150 336 6300 | 5500 1888 81 | 0.004 % | c | 2038 | 150 336 6300 | 6050 2038 81 | 0.004 % | c | 2263 | 150 336 6300 | 6655 2263 80 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 2586 | 150 337 6450 | 5000 2586 80 | 0.004 % | c | 2688 | 150 337 6450 | 5500 2688 80 | 0.004 % | c | 2839 | 150 337 6450 | 6050 2839 79 | 0.004 % | c | 3065 | 150 337 6450 | 6655 3065 79 | 0.004 % | c | 3402 | 150 337 6450 | 7320 3402 78 | 0.004 % | c | 3909 | 150 337 6450 | 8052 3909 78 | 0.004 % | c | 4669 | 150 337 6450 | 8857 4669 77 | 0.004 % | c | 5809 | 150 337 6450 | 9743 5809 77 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 7459 | 150 338 6600 | 5000 7459 76 | 0.004 % | c | 7560 | 150 338 6600 | 5500 3831 75 | 0.004 % | c | 7711 | 150 338 6600 | 6050 3982 75 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 7816 | 150 339 6750 | 5000 4087 75 | 0.004 % | c | 7916 | 150 339 6750 | 5500 4187 75 | 0.004 % | c | 8066 | 150 339 6750 | 6050 4337 74 | 0.004 % | c | 8292 | 150 339 6750 | 6655 4563 74 | 0.004 % | c | 8629 | 150 339 6750 | 7320 4900 74 | 0.004 % | c | 9136 | 150 339 6750 | 8052 5407 74 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 9719 | 150 340 6900 | 5000 5990 74 | 0.004 % | c | 9820 | 150 340 6900 | 5500 3096 73 | 0.004 % | c | 9970 | 150 340 6900 | 6050 3246 73 | 0.004 % | c | 10195 | 150 340 6900 | 6655 3471 73 | 0.004 % | c | 10532 | 150 340 6900 | 7320 3808 73 | 0.004 % | c | 11039 | 150 340 6900 | 8052 4315 73 | 0.005 % | c | 11798 | 150 340 6900 | 8857 5074 73 | 0.004 % | c | 12937 | 150 340 6900 | 9743 6213 73 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 1.3258 s Remaining CPU time: 178.674 s c =============================================================================== c | 13869 | 150 341 7050 | 5000 7145 72 | 0.004 % | c | 13969 | 150 341 7050 | 5500 3673 72 | 0.004 % | c | 14120 | 150 341 7050 | 6050 3824 72 | 0.004 % | c | 14345 | 150 341 7050 | 6655 4049 72 | 0.004 % | c | 14683 | 150 341 7050 | 7320 4387 72 | 0.004 % | c | 15189 | 150 341 7050 | 8052 4893 72 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 15842 | 150 342 7200 | 5000 5546 72 | 0.004 % | c | 15943 | 150 342 7200 | 5500 2874 71 | 0.004 % | c | 16093 | 150 342 7200 | 6050 3024 71 | 0.004 % | c | 16318 | 150 342 7200 | 6655 3249 71 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 16624 | 150 343 7350 | 5000 3555 71 | 0.004 % | c | 16725 | 150 343 7350 | 5500 3656 71 | 0.004 % | c | 16875 | 150 343 7350 | 6050 3806 71 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 16909 | 150 344 7500 | 5000 3840 71 | 0.004 % | c | 17010 | 150 344 7500 | 5500 3941 71 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s c =============================================================================== c | 17097 | 150 345 7650 | 5000 4028 71 | 0.004 % | c | 17197 | 150 345 7650 | 5500 4128 71 | 0.004 % | c | 17347 | 150 345 7650 | 6050 4278 70 | 0.004 % | c | 17573 | 150 345 7650 | 6655 4504 70 | 0.004 % | c | 17910 | 150 345 7650 | 7320 4841 70 | 0.004 % | c | 18416 | 150 345 7650 | 8052 5347 70 | 0.004 % | c | 19176 | 150 345 7650 | 8857 6107 69 | 0.004 % | c | 20315 | 150 345 7650 | 9743 7246 69 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 20445 | 150 346 7800 | 5000 7376 69 | 0.004 % | c | 20546 | 150 346 7800 | 5500 3789 67 | 0.004 % | c | 20696 | 150 346 7800 | 6050 3939 67 | 0.004 % | c | 20922 | 150 346 7800 | 6655 4165 67 | 0.004 % | c | 21260 | 150 346 7800 | 7320 4503 67 | 0.004 % | c | 21766 | 150 346 7800 | 8052 5009 67 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 22029 | 150 347 7950 | 5000 5272 67 | 0.004 % | c | 22129 | 150 347 7950 | 5500 2736 66 | 0.004 % | c | 22280 | 150 347 7950 | 6050 2887 66 | 0.004 % | c | 22505 | 150 347 7950 | 6655 3112 66 | 0.004 % | c | 22843 | 150 347 7950 | 7320 3450 66 | 0.004 % | c | 23349 | 150 347 7950 | 8052 3956 66 | 0.004 % | c | 24108 | 150 347 7950 | 8857 4715 66 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 2.44663 s Remaining CPU time: 177.553 s c =============================================================================== c | 24725 | 150 348 8100 | 5000 5332 65 | 0.004 % | c | 24826 | 150 348 8100 | 5500 2767 65 | 0.004 % | c | 24977 | 150 348 8100 | 6050 2918 64 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 2.50662 s Remaining CPU time: 177.493 s c =============================================================================== c | 25184 | 150 349 8250 | 5000 3125 64 | 0.004 % | c | 25285 | 150 349 8250 | 5500 3226 64 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 2.51562 s Remaining CPU time: 177.484 s c =============================================================================== c | 25288 | 150 350 8400 | 5000 3229 64 | 0.004 % | c | 25390 | 150 350 8400 | 5500 3331 64 | 0.004 % | c | 25540 | 150 350 8400 | 6050 3481 64 | 0.004 % | c | 25766 | 150 350 8400 | 6655 3707 64 | 0.004 % | c | 26105 | 150 350 8400 | 7320 4046 64 | 0.004 % | c | 26611 | 150 350 8400 | 8052 4552 63 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s c =============================================================================== c | 26855 | 150 351 8550 | 5000 4796 63 | 0.004 % | c | 26955 | 150 351 8550 | 5500 4896 63 | 0.004 % | c | 27105 | 150 351 8550 | 6050 5046 63 | 0.004 % | c | 27331 | 150 351 8550 | 6655 5272 63 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 2.70959 s Remaining CPU time: 177.29 s c =============================================================================== c | 27539 | 150 352 8700 | 5000 5480 63 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 27600 | 150 353 8850 | 5000 2801 61 | 0.004 % | c | 27700 | 150 353 8850 | 5500 2901 61 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 2.74458 s Remaining CPU time: 177.255 s c =============================================================================== c | 27758 | 150 354 9000 | 5000 2959 61 | 0.004 % | c | 27858 | 150 354 9000 | 5500 3059 61 | 0.004 % | c | 28008 | 150 354 9000 | 6050 3209 61 | 0.004 % | c | 28233 | 150 354 9000 | 6655 3434 61 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 2.79757 s Remaining CPU time: 177.202 s c =============================================================================== c | 28401 | 150 355 9150 | 5000 3602 60 | 0.004 % | c | 28501 | 150 355 9150 | 5500 3702 60 | 0.004 % | c | 28651 | 150 355 9150 | 6050 3852 60 | 0.004 % | c | 28877 | 150 355 9150 | 6655 4078 60 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 28958 | 150 356 9300 | 5000 4159 60 | 0.004 % | c | 29059 | 150 356 9300 | 5500 4260 60 | 0.004 % | c | 29210 | 150 356 9300 | 6050 4411 60 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 2.90456 s Remaining CPU time: 177.095 s c =============================================================================== c | 29363 | 150 357 9450 | 5000 4564 59 | 0.004 % | c | 29463 | 150 357 9450 | 5500 4664 59 | 0.004 % | c | 29614 | 150 357 9450 | 6050 4815 59 | 0.004 % | c | 29840 | 150 357 9450 | 6655 5041 59 | 0.004 % | c | 30177 | 150 357 9450 | 7320 5378 59 | 0.004 % | c | 30683 | 150 357 9450 | 8052 5884 58 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 31110 | 150 358 9600 | 5000 6311 58 | 0.004 % | c | 31210 | 150 358 9600 | 5500 3256 55 | 0.004 % | c | 31360 | 150 358 9600 | 6050 3406 55 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 31507 | 150 359 9750 | 5000 3553 55 | 0.004 % | c | 31607 | 150 359 9750 | 5500 3653 55 | 0.004 % | c | 31758 | 150 359 9750 | 6050 3804 55 | 0.004 % | c | 31984 | 150 359 9750 | 6655 4030 55 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 3.20051 s Remaining CPU time: 176.799 s c =============================================================================== c | 32008 | 150 360 9900 | 5000 4054 55 | 0.004 % | c | 32108 | 150 360 9900 | 5500 4154 55 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 3.22951 s Remaining CPU time: 176.77 s c =============================================================================== c | 32216 | 150 361 10050 | 5000 4262 55 | 0.004 % | c | 32318 | 150 361 10050 | 5500 4364 55 | 0.004 % | c | 32468 | 150 361 10050 | 6050 4514 54 | 0.004 % | c | 32693 | 150 361 10050 | 6655 4739 54 | 0.004 % | c | 33030 | 150 361 10050 | 7320 5076 54 | 0.004 % | c | 33537 | 150 361 10050 | 8052 5583 54 | 0.004 % | c | 34297 | 150 361 10050 | 8857 6343 53 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 34302 | 150 362 10200 | 5000 6348 53 | 0.004 % | c | 34402 | 150 362 10200 | 5500 3274 51 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s c =============================================================================== c | 34428 | 150 363 10350 | 5000 3300 51 | 0.004 % | c | 34528 | 150 363 10350 | 5500 3400 51 | 0.004 % | c | 34679 | 150 363 10350 | 6050 3551 51 | 0.004 % | c | 34906 | 150 363 10350 | 6655 3778 51 | 0.004 % | c | 35243 | 150 363 10350 | 7320 4115 51 | 0.004 % | c | 35749 | 150 363 10350 | 8052 4621 50 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 3.65844 s Remaining CPU time: 176.342 s c =============================================================================== c | 35857 | 150 364 10500 | 5000 4729 50 | 0.004 % | c | 35959 | 150 364 10500 | 5500 4831 50 | 0.004 % | c | 36109 | 150 364 10500 | 6050 4981 50 | 0.004 % | c | 36334 | 150 364 10500 | 6655 5206 50 | 0.004 % | c | 36672 | 150 364 10500 | 7320 5544 50 | 0.004 % | c | 37181 | 150 364 10500 | 8052 6053 50 | 0.004 % | c | 37941 | 150 364 10500 | 8857 6813 49 | 0.004 % | c | 39080 | 150 364 10500 | 9743 7952 49 | 0.004 % | c | 40789 | 150 364 10500 | 10717 9661 49 | 0.004 % | c | 43351 | 150 364 10500 | 11789 6834 47 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 4.88926 s Remaining CPU time: 175.111 s c =============================================================================== c | 45374 | 150 365 10650 | 5000 8857 48 | 0.004 % | c | 45474 | 150 365 10650 | 5500 4529 47 | 0.004 % | c | 45624 | 150 365 10650 | 6050 4679 47 | 0.004 % | c | 45849 | 150 365 10650 | 6655 4904 47 | 0.004 % | c | 46187 | 150 365 10650 | 7320 5242 47 | 0.004 % | c | 46694 | 150 365 10650 | 8052 5749 47 | 0.004 % | c | 47453 | 150 365 10650 | 8857 6508 47 | 0.004 % | c | 48592 | 150 365 10650 | 9743 7647 47 | 0.004 % | c | 50301 | 150 365 10650 | 10717 9356 47 | 0.004 % | c | 52864 | 150 365 10650 | 11789 6533 47 | 0.005 % | c | 56709 | 150 365 10650 | 12968 10378 47 | 0.004 % | c | 62475 | 150 365 10650 | 14265 9629 47 | 0.004 % | c | 71125 | 150 365 10650 | 15692 11122 47 | 0.004 % | c | 84099 | 150 365 10650 | 17261 8350 47 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 12.2511 s Remaining CPU time: 167.749 s c =============================================================================== c | 96801 | 150 366 10800 | 5000 12393 47 | 0.004 % | c | 96901 | 150 366 10800 | 5500 3199 47 | 0.004 % | c | 97051 | 150 366 10800 | 6050 3349 47 | 0.004 % | c | 97276 | 150 366 10800 | 6655 3574 47 | 0.004 % | c | 97613 | 150 366 10800 | 7320 3911 47 | 0.004 % | c | 98121 | 150 366 10800 | 8052 4419 47 | 0.004 % | c | 98881 | 150 366 10800 | 8857 5179 47 | 0.004 % | c | 100020 | 150 366 10800 | 9743 6318 46 | 0.004 % | c | 101729 | 150 366 10800 | 10717 8027 46 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 13.081 s Remaining CPU time: 166.919 s c =============================================================================== c | 102875 | 150 367 10950 | 5000 9173 46 | 0.004 % | c | 102975 | 150 367 10950 | 5500 4687 46 | 0.004 % | c | 103125 | 150 367 10950 | 6050 4837 46 | 0.004 % | c | 103350 | 150 367 10950 | 6655 5062 46 | 0.004 % | c | 103687 | 150 367 10950 | 7320 5399 46 | 0.004 % | c | 104193 | 150 367 10950 | 8052 5905 46 | 0.004 % | c | 104953 | 150 367 10950 | 8857 6665 46 | 0.004 % | c | 106094 | 150 367 10950 | 9743 7806 46 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 13.8409 s Remaining CPU time: 166.159 s c =============================================================================== c | 107597 | 150 368 11100 | 5000 9309 45 | 0.004 % | c | 107698 | 150 368 11100 | 5500 4756 45 | 0.004 % | c | 107848 | 150 368 11100 | 6050 4906 45 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 13.9279 s Remaining CPU time: 166.072 s c =============================================================================== c | 107986 | 150 369 11250 | 5000 5044 45 | 0.004 % | c | 108086 | 150 369 11250 | 5500 2622 45 | 0.004 % | c | 108236 | 150 369 11250 | 6050 2772 45 | 0.004 % | c | 108462 | 150 369 11250 | 6655 2998 44 | 0.004 % | c | 108800 | 150 369 11250 | 7320 3336 44 | 0.004 % | c | 109307 | 150 369 11250 | 8052 3843 44 | 0.004 % | c | 110066 | 150 369 11250 | 8857 4602 44 | 0.004 % | c | 111206 | 150 369 11250 | 9743 5742 44 | 0.004 % | c | 112914 | 150 369 11250 | 10717 7450 43 | 0.005 % | c | 115476 | 150 369 11250 | 11789 10012 43 | 0.004 % | c | 119321 | 150 369 11250 | 12968 7935 43 | 0.004 % | c | 125089 | 150 369 11250 | 14265 7191 43 | 0.004 % | c | 133738 | 150 369 11250 | 15692 8674 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 17.9803 s Remaining CPU time: 162.02 s c =============================================================================== c | 135887 | 150 370 11400 | 5000 10823 43 | 0.004 % | c | 135988 | 150 370 11400 | 5500 2807 43 | 0.004 % | c | 136138 | 150 370 11400 | 6050 2957 43 | 0.004 % | c | 136363 | 150 370 11400 | 6655 3182 43 | 0.004 % | c | 136700 | 150 370 11400 | 7320 3519 43 | 0.004 % | c | 137206 | 150 370 11400 | 8052 4025 43 | 0.004 % | c | 137965 | 150 370 11400 | 8857 4784 42 | 0.004 % | c | 139104 | 150 370 11400 | 9743 5923 42 | 0.004 % | c | 140812 | 150 370 11400 | 10717 7631 42 | 0.004 % | c | 143374 | 150 370 11400 | 11789 10193 42 | 0.004 % | c | 147218 | 150 370 11400 | 12968 8113 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 20.1179 s Remaining CPU time: 159.882 s c =============================================================================== c | 151050 | 150 371 11550 | 5000 11945 42 | 0.004 % | c | 151151 | 150 371 11550 | 5500 3088 42 | 0.004 % | c | 151302 | 150 371 11550 | 6050 3239 42 | 0.005 % | c | 151528 | 150 371 11550 | 6655 3465 42 | 0.005 % | c | 151866 | 150 371 11550 | 7320 3803 42 | 0.005 % | c | 152372 | 150 371 11550 | 8052 4309 42 | 0.004 % | c | 153132 | 150 371 11550 | 8857 5069 42 | 0.004 % | c | 154271 | 150 371 11550 | 9743 6208 42 | 0.004 % | c | 155979 | 150 371 11550 | 10717 7916 41 | 0.005 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 21.0358 s Remaining CPU time: 158.964 s c =============================================================================== c | 156640 | 150 372 11700 | 5000 8577 41 | 0.005 % | c | 156740 | 150 372 11700 | 5500 4389 41 | 0.004 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 21.1078 s Remaining CPU time: 158.892 s c =============================================================================== c | 156888 | 150 373 11850 | 5000 4537 41 | 0.004 % | c | 156988 | 150 373 11850 | 5500 4637 41 | 0.004 % | c | 157138 | 150 373 11850 | 6050 4787 41 | 0.004 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 21.1808 s Remaining CPU time: 158.819 s c =============================================================================== c | 157334 | 150 374 12000 | 5000 4983 41 | 0.004 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 21.2118 s Remaining CPU time: 158.788 s c =============================================================================== c | 157430 | 150 375 12150 | 5000 2554 40 | 0.004 % | c | 157530 | 150 375 12150 | 5500 2654 40 | 0.004 % | c | 157680 | 150 375 12150 | 6050 2804 40 | 0.004 % | c | 157906 | 150 375 12150 | 6655 3030 40 | 0.004 % | c | 158243 | 150 375 12150 | 7320 3367 39 | 0.004 % | c | 158751 | 150 375 12150 | 8052 3875 39 | 0.004 % | c | 159510 | 150 375 12150 | 8857 4634 39 | 0.004 % | c | 160650 | 150 375 12150 | 9743 5774 38 | 0.004 % | c | 162359 | 150 375 12150 | 10717 7483 38 | 0.004 % | c | 164922 | 150 375 12150 | 11789 10046 38 | 0.004 % | c | 168767 | 150 375 12150 | 12968 7966 37 | 0.004 % | c | 174534 | 150 375 12150 | 14265 7222 37 | 0.004 % | c | 183183 | 150 375 12150 | 15692 8716 37 | 0.004 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 26.23 s Remaining CPU time: 153.77 s c =============================================================================== c | 191078 | 150 376 12300 | 5000 8745 37 | 0.004 % | c | 191178 | 150 376 12300 | 5500 4473 37 | 0.004 % | c | 191329 | 150 376 12300 | 6050 4624 37 | 0.004 % | c | 191555 | 150 376 12300 | 6655 4850 37 | 0.004 % | c | 191892 | 150 376 12300 | 7320 5187 37 | 0.004 % | c | 192400 | 150 376 12300 | 8052 5695 37 | 0.004 % | c | 193159 | 150 376 12300 | 8857 6454 37 | 0.004 % | c | 194298 | 150 376 12300 | 9743 7593 37 | 0.004 % | c | 196006 | 150 376 12300 | 10717 9301 37 | 0.004 % | c | 198568 | 150 376 12300 | 11789 6483 36 | 0.004 % | c | 202412 | 150 376 12300 | 12968 10327 36 | 0.004 % | c | 208179 | 150 376 12300 | 14265 9588 36 | 0.004 % | c | 216828 | 150 376 12300 | 15692 11081 36 | 0.004 % | c | 229802 | 150 376 12300 | 17261 8320 36 | 0.004 % | c | 249263 | 150 376 12300 | 18987 10473 36 | 0.004 % | c | 278456 | 150 376 12300 | 20886 11114 36 | 0.004 % | c | 322245 | 150 376 12300 | 22974 12954 36 | 0.004 % | c | 387929 | 150 376 12300 | 25272 16446 36 | 0.004 % | c | 486457 | 150 376 12300 | 27799 12427 36 | 0.004 % | c | 634247 | 150 376 12300 | 30579 23740 36 | 0.004 % | c | 855930 | 150 376 12300 | 33637 28202 36 | 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 | 123 553 5065 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 180.903 s