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: 113 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 150 301 1050 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 150 302 1200 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 150 303 1350 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 150 304 1500 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 150 305 1650 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 150 306 1800 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 150 307 1950 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 150 308 2100 | 5000 1 8 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 2 | 150 309 2250 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 2 | 150 310 2400 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 2 | 150 311 2550 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 7 | 150 312 2700 | 5000 7 88 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 8 | 150 313 2850 | 5000 8 90 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 10 | 150 314 3000 | 5000 10 91 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 11 | 150 315 3150 | 5000 11 92 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 12 | 150 316 3300 | 5000 12 92 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 13 | 150 317 3450 | 5000 13 93 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 15 | 150 318 3600 | 5000 15 93 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 16 | 150 319 3750 | 5000 16 93 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 20 | 150 320 3900 | 5000 20 93 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 22 | 150 321 4050 | 5000 22 93 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 23 | 150 322 4200 | 5000 23 93 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 23 | 150 323 4350 | 5000 23 93 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 29 | 150 324 4500 | 5000 29 92 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 31 | 150 325 4650 | 5000 31 92 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 39 | 150 326 4800 | 5000 39 91 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 43 | 150 327 4950 | 5000 43 90 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 43 | 150 328 5100 | 5000 43 90 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 43 | 150 329 5250 | 5000 43 90 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 69 | 150 330 5400 | 5000 69 87 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 79 | 150 331 5550 | 5000 79 87 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 91 | 150 332 5700 | 5000 91 86 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 111 | 150 333 5850 | 5000 111 85 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 117 | 150 334 6000 | 5000 117 84 | 0.000 % | c | 217 | 150 334 6000 | 5500 217 81 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 358 | 150 335 6150 | 5000 358 79 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 395 | 150 336 6300 | 5000 395 79 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 477 | 150 337 6450 | 5000 477 79 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 535 | 150 338 6600 | 5000 535 78 | 0.004 % | c | 636 | 150 338 6600 | 5500 636 77 | 0.004 % | c | 787 | 150 338 6600 | 6050 787 77 | 0.004 % | c | 1013 | 150 338 6600 | 6655 1013 76 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1161 | 150 339 6750 | 5000 1161 76 | 0.004 % | c | 1262 | 150 339 6750 | 5500 1262 75 | 0.004 % | c | 1412 | 150 339 6750 | 6050 1412 75 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 1568 | 150 340 6900 | 5000 1568 75 | 0.004 % | c | 1668 | 150 340 6900 | 5500 1668 75 | 0.004 % | c | 1818 | 150 340 6900 | 6050 1818 74 | 0.004 % | c | 2043 | 150 340 6900 | 6655 2043 74 | 0.004 % | c | 2381 | 150 340 6900 | 7320 2381 74 | 0.004 % | c | 2888 | 150 340 6900 | 8052 2888 74 | 0.004 % | c | 3648 | 150 340 6900 | 8857 3648 73 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 4251 | 150 341 7050 | 5000 4251 73 | 0.004 % | c | 4351 | 150 341 7050 | 5500 4351 73 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 4359 | 150 342 7200 | 5000 4359 73 | 0.004 % | c | 4460 | 150 342 7200 | 5500 4460 73 | 0.004 % | c | 4610 | 150 342 7200 | 6050 4610 73 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 4764 | 150 343 7350 | 5000 4764 73 | 0.004 % | c | 4865 | 150 343 7350 | 5500 4865 73 | 0.004 % | c | 5015 | 150 343 7350 | 6050 5015 72 | 0.004 % | c | 5241 | 150 343 7350 | 6655 5241 72 | 0.004 % | c | 5578 | 150 343 7350 | 7320 5578 72 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 5779 | 150 344 7500 | 5000 5779 72 | 0.004 % | c | 5879 | 150 344 7500 | 5500 2990 70 | 0.004 % | c | 6029 | 150 344 7500 | 6050 3140 70 | 0.004 % | c | 6255 | 150 344 7500 | 6655 3366 70 | 0.004 % | c | 6592 | 150 344 7500 | 7320 3703 70 | 0.004 % | c | 7099 | 150 344 7500 | 8052 4210 69 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 7351 | 150 345 7650 | 5000 4462 69 | 0.004 % | c | 7451 | 150 345 7650 | 5500 4562 69 | 0.004 % | c | 7601 | 150 345 7650 | 6050 4712 69 | 0.004 % | c | 7826 | 150 345 7650 | 6655 4937 69 | 0.004 % | c | 8163 | 150 345 7650 | 7320 5274 69 | 0.004 % | c | 8669 | 150 345 7650 | 8052 5780 69 | 0.004 % | c | 9428 | 150 345 7650 | 8857 6539 69 | 0.004 % | c | 10567 | 150 345 7650 | 9743 7678 68 | 0.005 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 11400 | 150 346 7800 | 5000 8511 68 | 0.005 % | c | 11501 | 150 346 7800 | 5500 4357 67 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 11543 | 150 347 7950 | 5000 4399 67 | 0.004 % | c | 11643 | 150 347 7950 | 5500 4499 67 | 0.004 % | c | 11794 | 150 347 7950 | 6050 4650 67 | 0.004 % | c | 12019 | 150 347 7950 | 6655 4875 67 | 0.004 % | c | 12357 | 150 347 7950 | 7320 5213 67 | 0.004 % | c | 12863 | 150 347 7950 | 8052 5719 67 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s c =============================================================================== c | 12978 | 150 348 8100 | 5000 5834 66 | 0.004 % | c | 13079 | 150 348 8100 | 5500 3018 66 | 0.004 % | c | 13230 | 150 348 8100 | 6050 3169 66 | 0.004 % | c | 13455 | 150 348 8100 | 6655 3394 66 | 0.004 % | c | 13792 | 150 348 8100 | 7320 3731 66 | 0.004 % | c | 14299 | 150 348 8100 | 8052 4238 65 | 0.004 % | c | 15058 | 150 348 8100 | 8857 4997 65 | 0.004 % | c | 16198 | 150 348 8100 | 9743 6137 65 | 0.004 % | c | 17906 | 150 348 8100 | 10717 7845 65 | 0.004 % | c | 20468 | 150 348 8100 | 11789 10407 65 | 0.004 % | c | 24313 | 150 348 8100 | 12968 8320 64 | 0.004 % | c | 30079 | 150 348 8100 | 14265 7557 64 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 4.31634 s Remaining CPU time: 175.684 s c =============================================================================== c | 35091 | 150 349 8250 | 5000 12569 64 | 0.004 % | c | 35192 | 150 349 8250 | 5500 3244 64 | 0.004 % | c | 35342 | 150 349 8250 | 6050 3394 64 | 0.005 % | c | 35567 | 150 349 8250 | 6655 3619 64 | 0.005 % | c | 35905 | 150 349 8250 | 7320 3957 64 | 0.005 % | c | 36411 | 150 349 8250 | 8052 4463 64 | 0.004 % | c | 37171 | 150 349 8250 | 8857 5223 64 | 0.004 % | c | 38310 | 150 349 8250 | 9743 6362 64 | 0.004 % | c | 40019 | 150 349 8250 | 10717 8071 63 | 0.004 % | c | 42582 | 150 349 8250 | 11789 10634 63 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 5.2522 s Remaining CPU time: 174.748 s c =============================================================================== c | 42749 | 150 350 8400 | 5000 10801 63 | 0.004 % | c | 42851 | 150 350 8400 | 5500 2803 63 | 0.004 % | c | 43001 | 150 350 8400 | 6050 2953 63 | 0.004 % | c | 43227 | 150 350 8400 | 6655 3179 63 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 5.41718 s Remaining CPU time: 174.583 s c =============================================================================== c | 43363 | 150 351 8550 | 5000 3315 63 | 0.004 % | c | 43464 | 150 351 8550 | 5500 3416 63 | 0.004 % | c | 43615 | 150 351 8550 | 6050 3567 63 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 5.46117 s Remaining CPU time: 174.539 s c =============================================================================== c | 43718 | 150 352 8700 | 5000 3670 63 | 0.004 % | c | 43818 | 150 352 8700 | 5500 3770 63 | 0.004 % | c | 43969 | 150 352 8700 | 6050 3921 62 | 0.004 % | c | 44194 | 150 352 8700 | 6655 4146 62 | 0.004 % | c | 44531 | 150 352 8700 | 7320 4483 62 | 0.004 % | c | 45038 | 150 352 8700 | 8052 4990 62 | 0.004 % | c | 45797 | 150 352 8700 | 8857 5749 62 | 0.004 % | c | 46936 | 150 352 8700 | 9743 6888 61 | 0.004 % | c | 48644 | 150 352 8700 | 10717 8596 61 | 0.004 % | c | 51208 | 150 352 8700 | 11789 5765 60 | 0.004 % | c | 55052 | 150 352 8700 | 12968 9609 60 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 6.96094 s Remaining CPU time: 173.039 s c =============================================================================== c | 56324 | 150 353 8850 | 5000 10881 60 | 0.004 % | c | 56424 | 150 353 8850 | 5500 2821 60 | 0.004 % | c | 56576 | 150 353 8850 | 6050 2973 60 | 0.004 % | c | 56802 | 150 353 8850 | 6655 3199 60 | 0.004 % | c | 57140 | 150 353 8850 | 7320 3537 60 | 0.004 % | c | 57646 | 150 353 8850 | 8052 4043 60 | 0.004 % | c | 58405 | 150 353 8850 | 8857 4802 60 | 0.004 % | c | 59544 | 150 353 8850 | 9743 5941 59 | 0.004 % | c | 61253 | 150 353 8850 | 10717 7650 59 | 0.004 % | c | 63815 | 150 353 8850 | 11789 10212 59 | 0.004 % | c | 67661 | 150 353 8850 | 12968 8126 59 | 0.004 % | c | 73428 | 150 353 8850 | 14265 7376 59 | 0.004 % | c | 82077 | 150 353 8850 | 15692 8848 59 | 0.004 % | c | 95051 | 150 353 8850 | 17261 13937 59 | 0.004 % | c | 114512 | 150 353 8850 | 18987 16052 59 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 17.9023 s Remaining CPU time: 162.098 s c =============================================================================== c | 126105 | 150 354 9000 | 5000 18111 59 | 0.004 % | c | 126206 | 150 354 9000 | 5500 4629 59 | 0.004 % | c | 126356 | 150 354 9000 | 6050 4779 59 | 0.004 % | c | 126581 | 150 354 9000 | 6655 5004 59 | 0.004 % | c | 126918 | 150 354 9000 | 7320 5341 59 | 0.005 % | c | 127425 | 150 354 9000 | 8052 5848 59 | 0.005 % | c | 128184 | 150 354 9000 | 8857 6607 59 | 0.004 % | c | 129323 | 150 354 9000 | 9743 7746 59 | 0.004 % | c | 131031 | 150 354 9000 | 10717 9454 58 | 0.004 % | c | 133593 | 150 354 9000 | 11789 6621 58 | 0.004 % | c | 137437 | 150 354 9000 | 12968 10465 58 | 0.004 % | c | 143204 | 150 354 9000 | 14265 9709 58 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 20.9978 s Remaining CPU time: 159.002 s c =============================================================================== c | 146637 | 150 355 9150 | 5000 13142 58 | 0.004 % | c | 146737 | 150 355 9150 | 5500 3386 58 | 0.004 % | c | 146887 | 150 355 9150 | 6050 3536 58 | 0.004 % | c | 147112 | 150 355 9150 | 6655 3761 58 | 0.004 % | c | 147451 | 150 355 9150 | 7320 4100 58 | 0.004 % | c | 147957 | 150 355 9150 | 8052 4606 58 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 21.3248 s Remaining CPU time: 158.675 s c =============================================================================== c | 148664 | 150 356 9300 | 5000 5313 58 | 0.004 % | c | 148764 | 150 356 9300 | 5500 2757 57 | 0.004 % | c | 148915 | 150 356 9300 | 6050 2908 57 | 0.004 % | c | 149140 | 150 356 9300 | 6655 3133 57 | 0.004 % | c | 149477 | 150 356 9300 | 7320 3470 57 | 0.004 % | c | 149984 | 150 356 9300 | 8052 3977 57 | 0.004 % | c | 150743 | 150 356 9300 | 8857 4736 57 | 0.004 % | c | 151883 | 150 356 9300 | 9743 5876 57 | 0.004 % | c | 153592 | 150 356 9300 | 10717 7585 56 | 0.004 % | c | 156155 | 150 356 9300 | 11789 10148 56 | 0.004 % | c | 160002 | 150 356 9300 | 12968 8066 56 | 0.004 % | c | 165768 | 150 356 9300 | 14265 7313 56 | 0.004 % | c | 174417 | 150 356 9300 | 15692 8796 56 | 0.004 % | c | 187393 | 150 356 9300 | 17261 13888 56 | 0.004 % | c | 206854 | 150 356 9300 | 18987 16016 56 | 0.004 % | c | 236046 | 150 356 9300 | 20886 16627 56 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 38.0242 s Remaining CPU time: 141.976 s c =============================================================================== c | 254419 | 150 357 9450 | 5000 14044 56 | 0.004 % | c | 254520 | 150 357 9450 | 5500 3612 56 | 0.004 % | c | 254671 | 150 357 9450 | 6050 3763 56 | 0.004 % | c | 254897 | 150 357 9450 | 6655 3989 56 | 0.004 % | c | 255234 | 150 357 9450 | 7320 4326 56 | 0.005 % | c | 255740 | 150 357 9450 | 8052 4832 56 | 0.005 % | c | 256500 | 150 357 9450 | 8857 5592 56 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 38.4232 s Remaining CPU time: 141.577 s c =============================================================================== c | 256774 | 150 358 9600 | 5000 5866 56 | 0.004 % | c | 256875 | 150 358 9600 | 5500 3034 55 | 0.004 % | c | 257025 | 150 358 9600 | 6050 3184 55 | 0.004 % | c | 257250 | 150 358 9600 | 6655 3409 55 | 0.004 % | c | 257587 | 150 358 9600 | 7320 3746 55 | 0.004 % | c | 258094 | 150 358 9600 | 8052 4253 55 | 0.004 % | c | 258853 | 150 358 9600 | 8857 5012 55 | 0.004 % | c | 259993 | 150 358 9600 | 9743 6152 55 | 0.004 % | c | 261701 | 150 358 9600 | 10717 7860 55 | 0.004 % | c | 264263 | 150 358 9600 | 11789 10422 55 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 39.483 s Remaining CPU time: 140.517 s c =============================================================================== c | 265132 | 150 359 9750 | 5000 11291 55 | 0.004 % | c | 265232 | 150 359 9750 | 5500 2923 54 | 0.004 % | c | 265383 | 150 359 9750 | 6050 3074 54 | 0.004 % | c | 265609 | 150 359 9750 | 6655 3300 54 | 0.004 % | c | 265947 | 150 359 9750 | 7320 3638 54 | 0.005 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 39.715 s Remaining CPU time: 140.285 s c =============================================================================== c | 266441 | 150 360 9900 | 5000 4132 54 | 0.005 % | c | 266541 | 150 360 9900 | 5500 4232 54 | 0.004 % | c | 266692 | 150 360 9900 | 6050 4383 54 | 0.004 % | c | 266917 | 150 360 9900 | 6655 4608 54 | 0.004 % | c | 267256 | 150 360 9900 | 7320 4947 54 | 0.004 % | c | 267764 | 150 360 9900 | 8052 5455 54 | 0.004 % | c | 268524 | 150 360 9900 | 8857 6215 53 | 0.004 % | c | 269663 | 150 360 9900 | 9743 7354 53 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 40.1829 s Remaining CPU time: 139.817 s c =============================================================================== c | 270390 | 150 361 10050 | 5000 8081 53 | 0.004 % | c | 270491 | 150 361 10050 | 5500 4142 52 | 0.004 % | c | 270641 | 150 361 10050 | 6050 4292 52 | 0.005 % | c | 270866 | 150 361 10050 | 6655 4517 52 | 0.005 % | c | 271204 | 150 361 10050 | 7320 4855 52 | 0.005 % | c | 271711 | 150 361 10050 | 8052 5362 52 | 0.004 % | c | 272470 | 150 361 10050 | 8857 6121 52 | 0.004 % | c | 273609 | 150 361 10050 | 9743 7260 52 | 0.004 % | c | 275318 | 150 361 10050 | 10717 8969 52 | 0.004 % | c | 277880 | 150 361 10050 | 11789 6142 51 | 0.004 % | c | 281725 | 150 361 10050 | 12968 9987 51 | 0.004 % | c | 287491 | 150 361 10050 | 14265 9237 51 | 0.004 % | c | 296141 | 150 361 10050 | 15692 10714 51 | 0.004 % | c | 309115 | 150 361 10050 | 17261 7936 51 | 0.004 % | c | 328576 | 150 361 10050 | 18987 10069 51 | 0.004 % | c | 357770 | 150 361 10050 | 20886 10686 52 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 54.0688 s Remaining CPU time: 125.931 s c =============================================================================== c | 365306 | 150 362 10200 | 5000 18222 51 | 0.004 % | c | 365407 | 150 362 10200 | 5500 4657 51 | 0.004 % | c | 365557 | 150 362 10200 | 6050 4807 51 | 0.004 % | c | 365782 | 150 362 10200 | 6655 5032 51 | 0.004 % | c | 366120 | 150 362 10200 | 7320 5370 51 | 0.005 % | c | 366627 | 150 362 10200 | 8052 5877 51 | 0.005 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 54.7937 s Remaining CPU time: 125.206 s c =============================================================================== c | 366901 | 150 363 10350 | 5000 6151 51 | 0.005 % | c | 367002 | 150 363 10350 | 5500 3177 51 | 0.004 % | c | 367152 | 150 363 10350 | 6050 3327 51 | 0.004 % | c | 367378 | 150 363 10350 | 6655 3553 51 | 0.004 % | c | 367716 | 150 363 10350 | 7320 3891 51 | 0.004 % | c | 368222 | 150 363 10350 | 8052 4397 50 | 0.004 % | c | 368981 | 150 363 10350 | 8857 5156 50 | 0.004 % | c | 370120 | 150 363 10350 | 9743 6295 50 | 0.004 % | c | 371828 | 150 363 10350 | 10717 8003 50 | 0.004 % | c | 374390 | 150 363 10350 | 11789 10565 50 | 0.004 % | c | 378234 | 150 363 10350 | 12968 8482 49 | 0.004 % | c | 384001 | 150 363 10350 | 14265 7734 49 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 57.5343 s Remaining CPU time: 122.466 s c =============================================================================== c | 387634 | 150 364 10500 | 5000 11367 49 | 0.004 % | c | 387734 | 150 364 10500 | 5500 2942 49 | 0.004 % | c | 387885 | 150 364 10500 | 6050 3093 49 | 0.004 % | c | 388110 | 150 364 10500 | 6655 3318 49 | 0.004 % | c | 388447 | 150 364 10500 | 7320 3655 49 | 0.004 % | c | 388953 | 150 364 10500 | 8052 4161 49 | 0.004 % | c | 389713 | 150 364 10500 | 8857 4921 49 | 0.004 % | c | 390852 | 150 364 10500 | 9743 6060 48 | 0.004 % | c | 392560 | 150 364 10500 | 10717 7768 48 | 0.004 % | c | 395122 | 150 364 10500 | 11789 10330 48 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 58.7631 s Remaining CPU time: 121.237 s c =============================================================================== c | 398400 | 150 365 10650 | 5000 7682 48 | 0.004 % | c | 398502 | 150 365 10650 | 5500 3943 48 | 0.004 % | c | 398653 | 150 365 10650 | 6050 4094 48 | 0.004 % | c | 398879 | 150 365 10650 | 6655 4320 48 | 0.004 % | c | 399216 | 150 365 10650 | 7320 4657 48 | 0.004 % | c | 399723 | 150 365 10650 | 8052 5164 48 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 58.915 s Remaining CPU time: 121.085 s c =============================================================================== c | 399743 | 150 366 10800 | 5000 5184 48 | 0.004 % | c | 399844 | 150 366 10800 | 5500 2693 47 | 0.004 % | c | 399994 | 150 366 10800 | 6050 2843 47 | 0.004 % | c | 400221 | 150 366 10800 | 6655 3070 47 | 0.004 % | c | 400559 | 150 366 10800 | 7320 3408 47 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 59.032 s Remaining CPU time: 120.968 s c =============================================================================== c | 400638 | 150 367 10950 | 5000 3487 47 | 0.004 % | c | 400738 | 150 367 10950 | 5500 3587 47 | 0.004 % | c | 400888 | 150 367 10950 | 6050 3737 47 | 0.004 % | c | 401114 | 150 367 10950 | 6655 3963 47 | 0.004 % | c | 401451 | 150 367 10950 | 7320 4300 47 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 59.141 s Remaining CPU time: 120.859 s c =============================================================================== c | 401530 | 150 368 11100 | 5000 4379 47 | 0.004 % | c | 401630 | 150 368 11100 | 5500 4479 47 | 0.004 % | c | 401780 | 150 368 11100 | 6050 4629 46 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 59.172 s Remaining CPU time: 120.828 s c =============================================================================== c | 401837 | 150 369 11250 | 5000 4686 46 | 0.004 % | c | 401937 | 150 369 11250 | 5500 4786 46 | 0.004 % | c | 402088 | 150 369 11250 | 6050 4937 46 | 0.004 % | c | 402313 | 150 369 11250 | 6655 5162 46 | 0.004 % | c | 402651 | 150 369 11250 | 7320 5500 46 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 59.321 s Remaining CPU time: 120.679 s c =============================================================================== c | 403097 | 150 370 11400 | 5000 5946 46 | 0.004 % | c | 403197 | 150 370 11400 | 5500 3073 44 | 0.004 % | c | 403347 | 150 370 11400 | 6050 3223 44 | 0.004 % | c | 403572 | 150 370 11400 | 6655 3448 44 | 0.004 % | c | 403909 | 150 370 11400 | 7320 3785 44 | 0.004 % | c | 404416 | 150 370 11400 | 8052 4292 44 | 0.004 % | c | 405176 | 150 370 11400 | 8857 5052 43 | 0.004 % | c | 406315 | 150 370 11400 | 9743 6191 43 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 59.8379 s Remaining CPU time: 120.162 s c =============================================================================== c | 407228 | 150 371 11550 | 5000 7104 43 | 0.004 % | c | 407328 | 150 371 11550 | 5500 3652 42 | 0.004 % | c | 407479 | 150 371 11550 | 6050 3803 42 | 0.004 % | c | 407705 | 150 371 11550 | 6655 4029 42 | 0.004 % | c | 408042 | 150 371 11550 | 7320 4366 42 | 0.004 % | c | 408548 | 150 371 11550 | 8052 4872 42 | 0.004 % | c | 409309 | 150 371 11550 | 8857 5633 42 | 0.004 % | c | 410449 | 150 371 11550 | 9743 6773 41 | 0.004 % | c | 412157 | 150 371 11550 | 10717 8481 41 | 0.004 % | c | 414721 | 150 371 11550 | 11789 5660 41 | 0.004 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 61.2287 s Remaining CPU time: 118.771 s c =============================================================================== c | 418211 | 150 372 11700 | 5000 9150 41 | 0.004 % | c | 418312 | 150 372 11700 | 5500 4676 41 | 0.004 % | c | 418463 | 150 372 11700 | 6050 4827 41 | 0.004 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 61.3777 s Remaining CPU time: 118.622 s c =============================================================================== c | 418516 | 150 373 11850 | 5000 4880 41 | 0.004 % | c | 418617 | 150 373 11850 | 5500 4981 41 | 0.004 % | c | 418767 | 150 373 11850 | 6050 5131 41 | 0.004 % | c | 418992 | 150 373 11850 | 6655 5356 41 | 0.004 % | c | 419329 | 150 373 11850 | 7320 5693 41 | 0.004 % | c | 419835 | 150 373 11850 | 8052 6199 40 | 0.004 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 61.6456 s Remaining CPU time: 118.354 s c =============================================================================== c | 420403 | 150 374 12000 | 5000 6767 40 | 0.004 % | c | 420503 | 150 374 12000 | 5500 3484 40 | 0.004 % | c | 420653 | 150 374 12000 | 6050 3634 40 | 0.004 % | c | 420878 | 150 374 12000 | 6655 3859 39 | 0.004 % | c | 421215 | 150 374 12000 | 7320 4196 39 | 0.004 % | c | 421722 | 150 374 12000 | 8052 4703 39 | 0.004 % | c | 422481 | 150 374 12000 | 8857 5462 39 | 0.004 % | c | 423620 | 150 374 12000 | 9743 6601 39 | 0.004 % | c | 425328 | 150 374 12000 | 10717 8309 39 | 0.004 % | c | 427891 | 150 374 12000 | 11789 5492 38 | 0.004 % | c | 431735 | 150 374 12000 | 12968 9336 38 | 0.004 % | c | 437501 | 150 374 12000 | 14265 8592 38 | 0.004 % | c | 446151 | 150 374 12000 | 15692 10081 38 | 0.004 % | c | 459126 | 150 374 12000 | 17261 15184 38 | 0.004 % | c | 478588 | 150 374 12000 | 18987 8680 38 | 0.004 % | c | 507782 | 150 374 12000 | 20886 18832 38 | 0.004 % | c | 551571 | 150 374 12000 | 22974 20744 39 | 0.004 % | c | 617255 | 150 374 12000 | 25272 11798 38 | 0.004 % | c | 715781 | 150 374 12000 | 27799 22417 38 | 0.004 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 126.265 s Remaining CPU time: 53.7352 s c =============================================================================== c | 791252 | 150 375 12150 | 5000 12576 38 | 0.004 % | c | 791353 | 150 375 12150 | 5500 3245 38 | 0.004 % | c | 791503 | 150 375 12150 | 6050 3395 38 | 0.004 % | c | 791728 | 150 375 12150 | 6655 3620 38 | 0.004 % | c | 792066 | 150 375 12150 | 7320 3958 38 | 0.004 % | c | 792573 | 150 375 12150 | 8052 4465 38 | 0.004 % | c | 793333 | 150 375 12150 | 8857 5225 38 | 0.004 % | c | 794472 | 150 375 12150 | 9743 6364 38 | 0.004 % | c | 796182 | 150 375 12150 | 10717 8074 38 | 0.004 % | c | 798744 | 150 375 12150 | 11789 10636 38 | 0.004 % | c | 802588 | 150 375 12150 | 12968 8560 37 | 0.004 % | c | 808354 | 150 375 12150 | 14265 7814 37 | 0.004 % | c | 817003 | 150 375 12150 | 15692 9305 37 | 0.004 % | c | 829978 | 150 375 12150 | 17261 14408 37 | 0.004 % | c | 849440 | 150 375 12150 | 18987 16570 37 | 0.004 % | c | 878632 | 150 375 12150 | 20886 17208 37 | 0.004 % | c | 922421 | 150 375 12150 | 22974 19124 37 | 0.004 % | c | 988105 | 150 375 12150 | 25272 22874 37 | 0.004 % | c | 1086632 | 150 375 12150 | 27799 19248 37 | 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 | 222 556 10969 | 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 | 251 557 11638 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 181.532 s