c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 550 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 400 | 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 400 1200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 5 | 150 401 1350 | 5000 5 7 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 5 | 150 402 1500 | 5000 5 7 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 5 | 150 403 1650 | 5000 5 7 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 7 | 150 404 1800 | 5000 7 6 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 8 | 150 405 1950 | 5000 8 6 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 8 | 150 406 2100 | 5000 8 6 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 22 | 150 407 2250 | 5000 22 56 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 27 | 150 408 2400 | 5000 27 62 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 36 | 150 409 2550 | 5000 36 69 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 44 | 150 410 2700 | 5000 44 72 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 60 | 150 411 2850 | 5000 60 76 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 65 | 150 412 3000 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 73 | 150 413 3150 | 5000 73 77 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 91 | 150 414 3300 | 5000 91 79 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 110 | 150 415 3450 | 5000 110 79 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 148 | 150 416 3600 | 5000 148 80 | 0.000 % | c | 248 | 150 416 3600 | 5500 248 80 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 314 | 150 417 3750 | 5000 314 80 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 399 | 150 418 3900 | 5000 399 80 | 0.004 % | c | 500 | 150 418 3900 | 5500 500 80 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 532 | 150 419 4050 | 5000 532 80 | 0.004 % | c | 634 | 150 419 4050 | 5500 634 80 | 0.004 % | c | 785 | 150 419 4050 | 6050 785 79 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 863 | 150 420 4200 | 5000 863 79 | 0.004 % | c | 963 | 150 420 4200 | 5500 963 79 | 0.004 % | c | 1113 | 150 420 4200 | 6050 1113 79 | 0.004 % | c | 1338 | 150 420 4200 | 6655 1338 78 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1440 | 150 421 4350 | 5000 1440 78 | 0.004 % | c | 1541 | 150 421 4350 | 5500 1541 78 | 0.004 % | c | 1691 | 150 421 4350 | 6050 1691 78 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1735 | 150 422 4500 | 5000 1735 78 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1812 | 150 423 4650 | 5000 1812 78 | 0.004 % | c | 1912 | 150 423 4650 | 5500 1912 78 | 0.004 % | c | 2064 | 150 423 4650 | 6050 2064 77 | 0.004 % | c | 2290 | 150 423 4650 | 6655 2290 77 | 0.004 % | c | 2628 | 150 423 4650 | 7320 2628 77 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 2751 | 150 424 4800 | 5000 2751 77 | 0.004 % | c | 2852 | 150 424 4800 | 5500 2852 77 | 0.004 % | c | 3002 | 150 424 4800 | 6050 3002 76 | 0.004 % | c | 3229 | 150 424 4800 | 6655 3229 76 | 0.004 % | c | 3566 | 150 424 4800 | 7320 3566 76 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 3584 | 150 425 4950 | 5000 3584 76 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 3656 | 150 426 5100 | 5000 3656 76 | 0.004 % | c | 3757 | 150 426 5100 | 5500 3757 76 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 3857 | 150 427 5250 | 5000 3857 75 | 0.004 % | c | 3958 | 150 427 5250 | 5500 3958 75 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 4012 | 150 428 5400 | 5000 4012 75 | 0.004 % | c | 4112 | 150 428 5400 | 5500 4112 75 | 0.004 % | c | 4262 | 150 428 5400 | 6050 4262 75 | 0.004 % | c | 4487 | 150 428 5400 | 6655 4487 74 | 0.004 % | c | 4825 | 150 428 5400 | 7320 4825 74 | 0.004 % | c | 5331 | 150 428 5400 | 8052 5331 73 | 0.004 % | c | 6091 | 150 428 5400 | 8857 6091 73 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 6178 | 150 429 5550 | 5000 6178 73 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 6236 | 150 430 5700 | 5000 3147 69 | 0.004 % | c | 6337 | 150 430 5700 | 5500 3248 69 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 6381 | 150 431 5850 | 5000 3292 69 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 6405 | 150 432 6000 | 5000 3316 69 | 0.004 % | c | 6505 | 150 432 6000 | 5500 3416 69 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 6533 | 150 433 6150 | 5000 3444 69 | 0.004 % | c | 6633 | 150 433 6150 | 5500 3544 69 | 0.004 % | c | 6784 | 150 433 6150 | 6050 3695 69 | 0.004 % | c | 7011 | 150 433 6150 | 6655 3922 68 | 0.004 % | c | 7350 | 150 433 6150 | 7320 4261 68 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 7737 | 150 434 6300 | 5000 4648 68 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 7743 | 150 435 6450 | 5000 4654 68 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 7799 | 150 436 6600 | 5000 4710 67 | 0.004 % | c | 7900 | 150 436 6600 | 5500 4811 67 | 0.004 % | c | 8050 | 150 436 6600 | 6050 4961 67 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 8245 | 150 437 6750 | 5000 5156 67 | 0.004 % | c | 8346 | 150 437 6750 | 5500 2679 64 | 0.004 % | c | 8496 | 150 437 6750 | 6050 2829 64 | 0.004 % | c | 8721 | 150 437 6750 | 6655 3054 63 | 0.004 % | c | 9058 | 150 437 6750 | 7320 3391 63 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 9304 | 150 438 6900 | 5000 3637 63 | 0.004 % | c | 9404 | 150 438 6900 | 5500 3737 62 | 0.004 % | c | 9554 | 150 438 6900 | 6050 3887 62 | 0.004 % | c | 9779 | 150 438 6900 | 6655 4112 62 | 0.004 % | c | 10116 | 150 438 6900 | 7320 4449 62 | 0.004 % | c | 10622 | 150 438 6900 | 8052 4955 61 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 10776 | 150 439 7050 | 5000 5109 61 | 0.004 % | c | 10876 | 150 439 7050 | 5500 2655 58 | 0.004 % | c | 11031 | 150 439 7050 | 6050 2810 58 | 0.004 % | c | 11256 | 150 439 7050 | 6655 3035 58 | 0.004 % | c | 11595 | 150 439 7050 | 7320 3374 58 | 0.004 % | c | 12102 | 150 439 7050 | 8052 3881 58 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 12356 | 150 440 7200 | 5000 4135 58 | 0.004 % | c | 12456 | 150 440 7200 | 5500 4235 58 | 0.004 % | c | 12606 | 150 440 7200 | 6050 4385 58 | 0.004 % | c | 12832 | 150 440 7200 | 6655 4611 58 | 0.004 % | c | 13169 | 150 440 7200 | 7320 4948 58 | 0.004 % | c | 13676 | 150 440 7200 | 8052 5455 58 | 0.004 % | c | 14437 | 150 440 7200 | 8857 6216 57 | 0.004 % | c | 15577 | 150 440 7200 | 9743 7356 57 | 0.004 % | c | 17286 | 150 440 7200 | 10717 9065 57 | 0.004 % | c | 19848 | 150 440 7200 | 11789 6221 56 | 0.004 % | c | 23693 | 150 440 7200 | 12968 10066 57 | 0.004 % | c | 29463 | 150 440 7200 | 14265 9314 57 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 4.84626 s Remaining CPU time: 175.154 s c =============================================================================== c | 36783 | 150 441 7350 | 5000 9469 57 | 0.004 % | c | 36883 | 150 441 7350 | 5500 4835 57 | 0.004 % | c | 37034 | 150 441 7350 | 6050 4986 57 | 0.004 % | c | 37259 | 150 441 7350 | 6655 5211 57 | 0.004 % | c | 37596 | 150 441 7350 | 7320 5548 57 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 5.02623 s Remaining CPU time: 174.974 s c =============================================================================== c | 37867 | 150 442 7500 | 5000 5819 57 | 0.004 % | c | 37967 | 150 442 7500 | 5500 3010 56 | 0.004 % | c | 38119 | 150 442 7500 | 6050 3162 56 | 0.004 % | c | 38348 | 150 442 7500 | 6655 3391 56 | 0.004 % | c | 38690 | 150 442 7500 | 7320 3733 55 | 0.004 % | c | 39197 | 150 442 7500 | 8052 4240 55 | 0.004 % | c | 39956 | 150 442 7500 | 8857 4999 55 | 0.004 % | c | 41097 | 150 442 7500 | 9743 6140 55 | 0.004 % | c | 42805 | 150 442 7500 | 10717 7848 55 | 0.004 % | c | 45368 | 150 442 7500 | 11789 10411 55 | 0.005 % | c | 49212 | 150 442 7500 | 12968 8317 55 | 0.005 % | c | 54978 | 150 442 7500 | 14265 7564 55 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 7.68683 s Remaining CPU time: 172.313 s c =============================================================================== c | 55512 | 150 443 7650 | 5000 8098 55 | 0.004 % | c | 55613 | 150 443 7650 | 5500 4150 55 | 0.005 % | c | 55763 | 150 443 7650 | 6050 4300 55 | 0.005 % | c | 55989 | 150 443 7650 | 6655 4526 55 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 7.79382 s Remaining CPU time: 172.206 s c =============================================================================== c | 56103 | 150 444 7800 | 5000 4640 55 | 0.004 % | c | 56203 | 150 444 7800 | 5500 4740 55 | 0.004 % | c | 56357 | 150 444 7800 | 6050 4894 55 | 0.004 % | c | 56582 | 150 444 7800 | 6655 5119 55 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 7.8778 s Remaining CPU time: 172.122 s c =============================================================================== c | 56735 | 150 445 7950 | 5000 5272 55 | 0.004 % | c | 56836 | 150 445 7950 | 5500 2737 54 | 0.004 % | c | 56986 | 150 445 7950 | 6050 2887 54 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 7.94979 s Remaining CPU time: 172.05 s c =============================================================================== c | 57174 | 150 446 8100 | 5000 3075 54 | 0.004 % | c | 57274 | 150 446 8100 | 5500 3175 53 | 0.004 % | c | 57426 | 150 446 8100 | 6050 3327 53 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 7.99179 s Remaining CPU time: 172.008 s c =============================================================================== c | 57505 | 150 447 8250 | 5000 3406 53 | 0.004 % | c | 57605 | 150 447 8250 | 5500 3506 53 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 8.02478 s Remaining CPU time: 171.975 s c =============================================================================== c | 57753 | 150 448 8400 | 5000 3654 53 | 0.004 % | c | 57854 | 150 448 8400 | 5500 3755 53 | 0.004 % | c | 58005 | 150 448 8400 | 6050 3906 53 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 8.05977 s Remaining CPU time: 171.94 s c =============================================================================== c | 58055 | 150 449 8550 | 5000 3956 53 | 0.004 % | c | 58155 | 150 449 8550 | 5500 4056 53 | 0.004 % | c | 58305 | 150 449 8550 | 6050 4206 53 | 0.004 % | c | 58530 | 150 449 8550 | 6655 4431 52 | 0.004 % | c | 58867 | 150 449 8550 | 7320 4768 52 | 0.004 % | c | 59373 | 150 449 8550 | 8052 5274 52 | 0.004 % | c | 60133 | 150 449 8550 | 8857 6034 51 | 0.004 % | c | 61273 | 150 449 8550 | 9743 7174 51 | 0.004 % | c | 62984 | 150 449 8550 | 10717 8885 50 | 0.004 % | c | 65546 | 150 449 8550 | 11789 6058 47 | 0.004 % | c | 69390 | 150 449 8550 | 12968 9902 48 | 0.004 % | c | 75156 | 150 449 8550 | 14265 9165 48 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 11.3313 s Remaining CPU time: 168.669 s c =============================================================================== c | 78110 | 150 450 8700 | 5000 12119 48 | 0.004 % | c | 78211 | 150 450 8700 | 5500 3131 48 | 0.004 % | c | 78361 | 150 450 8700 | 6050 3281 48 | 0.004 % | c | 78587 | 150 450 8700 | 6655 3507 48 | 0.004 % | c | 78924 | 150 450 8700 | 7320 3844 48 | 0.005 % | c | 79431 | 150 450 8700 | 8052 4351 48 | 0.004 % | c | 80192 | 150 450 8700 | 8857 5112 48 | 0.004 % | c | 81333 | 150 450 8700 | 9743 6253 47 | 0.004 % | c | 83042 | 150 450 8700 | 10717 7962 48 | 0.004 % | c | 85606 | 150 450 8700 | 11789 10526 48 | 0.004 % | c | 89452 | 150 450 8700 | 12968 8437 47 | 0.004 % | c | 95218 | 150 450 8700 | 14265 7689 47 | 0.004 % | c | 103870 | 150 450 8700 | 15692 9179 47 | 0.004 % | c | 116846 | 150 450 8700 | 17261 14283 47 | 0.004 % | c | 136307 | 150 450 8700 | 18987 16423 46 | 0.004 % | c | 165500 | 150 450 8700 | 20886 17032 47 | 0.004 % | c | 209290 | 150 450 8700 | 22974 18919 47 | 0.004 % | c | 274974 | 150 450 8700 | 25272 11295 46 | 0.004 % | c | 373502 | 150 450 8700 | 27799 22659 48 | 0.004 % | c | 521293 | 150 450 8700 | 30579 18522 47 | 0.004 % | c | 742976 | 150 450 8700 | 33637 24550 48 | 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 | 264 629 8986 | 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 | 288 630 9073 | 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 | 384 632 9360 | 5000 0 nan | 0.000 % | c | 100 | 384 632 9360 | 5500 100 23 | 3.031 % | c | 258 | 383 632 9360 | 6050 159 17 | 3.283 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 503 633 9635 | 5000 0 nan | 0.000 % | c | 100 | 503 633 9635 | 5500 100 38 | 1.373 % | c | 250 | 503 633 9635 | 6050 250 24 | 1.373 % | c | 475 | 503 633 9635 | 6655 475 19 | 1.373 % | c | 812 | 503 633 9635 | 7320 812 16 | 1.373 % | c | 1318 | 503 633 9635 | 8052 1318 16 | 1.373 % | c | 2077 | 503 633 9635 | 8857 2077 17 | 1.373 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 636 634 9942 | 5000 0 nan | 0.000 % | c | 101 | 636 634 9942 | 5500 101 39 | 0.470 % | c | 252 | 636 634 9942 | 6050 252 29 | 0.470 % | c | 478 | 636 634 9942 | 6655 478 31 | 0.470 % | c | 815 | 636 634 9942 | 7320 815 43 | 0.470 % | c | 1323 | 636 634 9942 | 8052 1323 42 | 0.470 % | c | 2082 | 636 634 9942 | 8857 2082 43 | 0.470 % | c | 3221 | 636 634 9942 | 9743 3221 38 | 0.470 % | c | 4931 | 636 634 9942 | 10717 4931 38 | 0.470 % | c | 7493 | 636 634 9942 | 11789 7493 41 | 0.470 % | c | 11341 | 636 634 9942 | 12968 11341 39 | 0.470 % | c | 17107 | 636 634 9942 | 14265 10604 38 | 0.470 % | c | 25756 | 635 634 9942 | 15692 7517 36 | 0.626 % | c | 38732 | 635 634 9942 | 17261 12626 40 | 0.626 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 785 637 10254 | 5000 0 nan | 0.000 % | c | 100 | 785 637 10254 | 5500 100 66 | 0.254 % | c | 252 | 785 637 10254 | 6050 252 43 | 0.254 % | c | 478 | 785 637 10254 | 6655 478 42 | 0.254 % | c | 818 | 785 637 10254 | 7320 818 40 | 0.254 % | c | 1324 | 785 637 10254 | 8052 1324 43 | 0.254 % | c | 2085 | 785 637 10254 | 8857 2085 40 | 0.254 % | c | 3226 | 785 637 10254 | 9743 3226 41 | 0.254 % | c | 4934 | 785 637 10254 | 10717 4934 42 | 0.254 % | c | 7501 | 785 637 10254 | 11789 7501 50 | 0.254 % | c | 11347 | 785 637 10254 | 12968 11347 49 | 0.254 % | c | 17113 | 785 637 10254 | 14265 10558 55 | 0.254 % | c | 25762 | 785 637 10254 | 15692 11975 79 | 0.254 % | c | 38741 | 785 637 10254 | 17261 9052 55 | 0.254 % | c | 58203 | 785 637 10254 | 18987 11005 56 | 0.254 % | c | 87395 | 785 637 10254 | 20886 11435 44 | 0.254 % | c | 131186 | 785 637 10254 | 22974 13210 60 | 0.254 % | c | 196871 | 785 637 10254 | 25272 20914 62 | 0.254 % | c | 295398 | 785 637 10254 | 27799 16322 58 | 0.254 % | c | 443190 | 784 637 10254 | 30579 22102 63 | 0.381 % |