| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 45.824 | 45.8271 |
| Name | manol-pipe-f7nidw.cnf |
| MD5SUM | b950ebec64dc35544d8f8bf6957e7bc2 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 23.7084 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 310434 |
| Number of clauses | 923497 |
| Sum of the clauses size | 2154825 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 615664 |
| Number of clauses of size 3 | 307832 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.43 c ============================================================================== 0.00/0.43 c | | ORIGINAL | LEARNT | | 0.00/0.43 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.43 c ============================================================================== 0.00/0.43 c | 0 | 923496 2154824 | 277048 0 0 nan | 0.000 % | 3.20/3.27 c | 0 | 364855 1457039 | -- 0 -- -- | -- | -558639/-697780 3.20/3.27 c ============================================================================== 3.20/3.27 c Result : #vars: 45777 #clauses: 364855 #literals: 1457039 3.20/3.27 c CPU time: 3.14552 s 3.20/3.27 c ============================================================================== 3.49/3.56 c 3.49/3.56 c Starting glucose 3.49/3.56 c 5.68/5.76 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 5.68/5.76 c WARNING: for repeatability, setting FPU to use double precision 5.68/5.76 c ============================[ Problem Statistics ]============================= 5.68/5.76 c | | 5.68/5.76 c | Number of variables: 45777 | 5.68/5.76 c | Number of clauses: 364855 | 5.68/5.76 c | Parse time: 0.11 s | 5.68/5.76 c | | 5.68/5.76 c ============================[ Search Statistics ]============================== 5.68/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 5.68/5.76 c =============================================================================== 5.68/5.76 c | 535 | 45777 364855 1457039 | 1 535 12 | 0.000 % | 5.68/5.76 c | 636 | 45772 364855 1457039 | 1 635 12 | 0.011 % | 5.68/5.76 c | 949 | 45763 364855 1457039 | 1 947 14 | 0.031 % | 5.68/5.76 c | 1049 | 45753 364855 1457039 | 1 1046 15 | 0.052 % | 5.68/5.76 c | 2894 | 45753 364855 1457039 | 1 2891 14 | 0.052 % | 5.68/5.76 c | 3074 | 45753 364855 1457039 | 1 3071 14 | 0.052 % | 5.68/5.76 c | 3207 | 45753 364352 1455154 | 1 3204 14 | 0.052 % | 5.68/5.76 c | 5433 | 45753 364352 1455154 | 1 3434 11 | 0.052 % | 5.68/5.76 c | 5535 | 45753 364352 1455154 | 1 3536 12 | 0.052 % | 5.68/5.76 c | 5894 | 45753 364352 1455154 | 1 3895 12 | 0.052 % | 5.68/5.76 c | 6233 | 45753 364352 1455154 | 1 4234 12 | 0.052 % | 5.68/5.76 c | 6425 | 45753 364352 1455154 | 1 4426 13 | 0.052 % | 5.68/5.76 c | 6525 | 45753 364352 1455154 | 1 4526 13 | 0.052 % | 5.68/5.76 c | 7277 | 45753 364352 1455154 | 1 5278 13 | 0.052 % | 5.68/5.76 c | 9141 | 45747 364352 1455154 | 1 7141 14 | 0.066 % | 5.68/5.76 c | 10364 | 45650 364225 1454520 | 1 8363 15 | 0.277 % | 5.68/5.76 c | 10922 | 45568 364225 1454520 | 1 4631 10 | 0.457 % | 5.68/5.76 c | 11034 | 45568 364225 1454520 | 1 4743 10 | 0.457 % | 5.68/5.76 c | 11911 | 45553 364225 1454520 | 1 5619 11 | 0.489 % | 5.68/5.76 c | 12067 | 45553 364225 1454520 | 1 5775 11 | 0.489 % | 5.68/5.76 c | 12805 | 45551 364225 1454520 | 1 6512 11 | 0.494 % | 5.68/5.76 c | 13055 | 45551 364225 1454520 | 1 6762 12 | 0.494 % | 5.68/5.76 c | 13155 | 45314 364225 1454520 | 1 6860 12 | 1.011 % | 5.68/5.76 c | 13255 | 45314 364225 1454520 | 1 6960 12 | 1.011 % | 5.68/5.76 c | 13358 | 45314 364225 1454520 | 1 7063 12 | 1.011 % | 5.68/5.76 c | 13681 | 45314 364225 1454520 | 1 7386 13 | 1.011 % | 5.68/5.76 c | 13948 | 45314 358556 1428592 | 1 6952 13 | 1.011 % | 5.68/5.76 c | 23679 | 45314 358556 1428592 | 1 10302 15 | 1.011 % | 5.68/5.76 c | 26247 | 45314 358556 1428592 | 1 12870 17 | 1.011 % | 5.68/5.76 c | 26822 | 45313 358525 1428464 | 1 13443 17 | 1.014 % | 5.68/5.76 c | 27249 | 45307 358525 1428464 | 1 13867 17 | 1.027 % | 5.68/5.76 c | 27388 | 45307 358525 1428464 | 1 14006 17 | 1.027 % | 5.68/5.76 c | 28216 | 45307 358525 1428464 | 1 14834 18 | 1.027 % | 5.68/5.76 c | 29009 | 45307 358525 1428464 | 1 15627 18 | 1.027 % | 5.68/5.76 c | 30138 | 45307 358525 1428464 | 1 16756 18 | 1.027 % | 5.68/5.76 c | 30650 | 45171 358525 1428464 | 1 17265 18 | 1.324 % | 5.68/5.76 c | 30884 | 45171 356313 1417746 | 1 17295 18 | 1.324 % | 5.68/5.76 c | 33910 | 45171 356313 1417746 | 1 11328 15 | 1.324 % | 5.68/5.76 c | 39685 | 45170 356313 1417746 | 1 17102 17 | 1.326 % | 7.18/7.27 c | 39788 | 45170 356313 1417746 | 1 17205 17 | 1.326 % | 7.18/7.27 c | 40464 | 45170 356313 1417746 | 1 17881 17 | 1.326 % | 7.18/7.27 c | 40565 | 45168 356290 1417677 | 1 17979 17 | 1.330 % | 7.18/7.27 c | 41178 | 45168 356290 1417677 | 1 18592 17 | 1.330 % | 7.18/7.27 c | 41615 | 45168 356290 1417677 | 1 19029 17 | 1.330 % | 7.18/7.27 c | 42481 | 45168 356290 1417677 | 1 19895 18 | 1.330 % | 7.18/7.27 c | 42582 | 45168 356290 1417677 | 1 19996 18 | 1.330 % | 7.18/7.27 c | 42683 | 45168 356290 1417677 | 1 20097 18 | 1.330 % | 7.18/7.27 c | 42996 | 45163 356290 1417677 | 1 20408 18 | 1.341 % | 7.18/7.27 c | 43129 | 45163 356290 1417677 | 1 20541 18 | 1.341 % | 7.18/7.27 c | 43719 | 45163 356290 1417677 | 1 21131 18 | 1.341 % | 7.18/7.27 c | 43820 | 45163 356290 1417677 | 1 21232 18 | 1.341 % | 7.18/7.27 c | 44563 | 45151 356290 1417677 | 1 21974 18 | 1.367 % | 7.18/7.27 c | 45262 | 45151 356290 1417677 | 1 22673 18 | 1.367 % | 7.18/7.27 c | 45363 | 45151 356290 1417677 | 1 22774 18 | 1.367 % | 7.18/7.27 c | 45592 | 45151 355847 1415931 | 1 23000 18 | 1.367 % | 7.18/7.27 c | 45693 | 45151 355847 1415931 | 1 23101 18 | 1.367 % | 7.18/7.27 c | 46059 | 45135 355847 1415931 | 1 11783 11 | 1.402 % | 7.18/7.27 c | 54219 | 45135 355847 1415931 | 1 19943 17 | 1.402 % | 7.18/7.27 c | 54402 | 45135 355847 1415931 | 1 20126 17 | 1.402 % | 7.18/7.27 c | 54533 | 45124 355847 1415931 | 1 20256 17 | 1.426 % | 7.18/7.27 c | 54634 | 45124 355847 1415931 | 1 20357 17 | 1.426 % | 7.18/7.27 c | 55028 | 45124 355847 1415931 | 1 20751 17 | 1.426 % | 7.18/7.27 c | 55129 | 45124 355847 1415931 | 1 20852 17 | 1.426 % | 7.18/7.27 c | 55624 | 45124 355847 1415931 | 1 21347 17 | 1.426 % | 7.18/7.27 c | 55724 | 45124 355847 1415931 | 1 21447 17 | 1.426 % | 7.18/7.27 c | 57351 | 45124 355847 1415931 | 1 23074 18 | 1.426 % | 7.18/7.27 c | 57663 | 45124 355266 1413726 | 1 23378 18 | 1.426 % | 7.18/7.27 c | 57919 | 45124 355266 1413726 | 1 23634 18 | 1.426 % | 7.18/7.27 c | 58098 | 45124 355266 1413726 | 1 23813 18 | 1.426 % | 7.18/7.27 c | 58198 | 45124 355266 1413726 | 1 23913 18 | 1.426 % | 7.18/7.27 c | 58298 | 45124 355266 1413726 | 1 24013 19 | 1.426 % | 7.18/7.27 c | 58933 | 45124 355266 1413726 | 1 24648 19 | 1.426 % | 7.18/7.27 c | 59232 | 45124 355266 1413726 | 1 24947 19 | 1.426 % | 7.18/7.27 c | 60294 | 45124 355266 1413726 | 1 26009 19 | 1.426 % | 7.18/7.27 c | 60429 | 45124 355266 1413726 | 1 26144 19 | 1.426 % | 7.18/7.27 c | 60530 | 45124 355266 1413726 | 1 26245 19 | 1.426 % | 7.18/7.27 c | 60630 | 45124 355266 1413726 | 1 26345 19 | 1.426 % | 7.18/7.27 c | 60730 | 45124 355266 1413726 | 1 26445 19 | 1.426 % | 7.18/7.27 c | 61010 | 45124 355266 1413726 | 1 26725 19 | 1.426 % | 7.18/7.27 c | 61112 | 45124 355266 1413726 | 1 26827 19 | 1.426 % | 7.18/7.27 c | 61776 | 45097 355266 1413726 | 1 27490 19 | 1.485 % | 7.18/7.27 c | 62215 | 45097 355266 1413726 | 1 27929 19 | 1.485 % | 7.18/7.27 c | 62315 | 45097 355266 1413726 | 1 28029 19 | 1.485 % | 7.18/7.27 c | 62416 | 45097 355266 1413726 | 1 28130 19 | 1.485 % | 7.18/7.27 c | 62614 | 45097 355266 1413726 | 1 28328 19 | 1.485 % | 7.18/7.27 c | 62716 | 45097 355266 1413726 | 1 28430 19 | 1.485 % | 7.18/7.27 c | 67421 | 45097 355266 1413726 | 1 18792 16 | 1.485 % | 7.18/7.27 c | 68011 | 45097 355266 1413726 | 1 19382 16 | 1.485 % | 7.18/7.27 c | 68115 | 45097 354894 1412327 | 1 19486 16 | 1.485 % | 10.08/10.13 c | 68265 | 45097 354894 1412327 | 1 19636 16 | 1.485 % | 10.08/10.13 c | 68440 | 45097 354894 1412327 | 1 19811 16 | 1.485 % | 10.08/10.13 c | 68869 | 45097 354894 1412327 | 1 20240 16 | 1.485 % | 10.08/10.13 c | 68969 | 45097 354894 1412327 | 1 20340 16 | 1.485 % | 10.08/10.13 c | 69450 | 45097 354894 1412327 | 1 20821 16 | 1.485 % | 10.08/10.13 c | 69550 | 45097 354894 1412327 | 1 20921 17 | 1.485 % | 10.08/10.13 c | 69650 | 45097 354894 1412327 | 1 21021 17 | 1.485 % | 10.08/10.13 c | 69776 | 45097 354894 1412327 | 1 21147 17 | 1.485 % | 10.08/10.13 c | 73636 | 45097 354894 1412327 | 1 25007 17 | 1.485 % | 10.08/10.13 c | 74012 | 45097 354894 1412327 | 1 25383 17 | 1.485 % | 10.08/10.13 c | 74116 | 45097 354894 1412327 | 1 25487 17 | 1.485 % | 10.08/10.13 c | 74217 | 45097 354894 1412327 | 1 25588 17 | 1.485 % | 10.08/10.13 c | 74357 | 45097 354894 1412327 | 1 25728 17 | 1.485 % | 10.08/10.13 c | 74458 | 45097 354894 1412327 | 1 25829 18 | 1.485 % | 10.08/10.13 c | 74636 | 45097 354894 1412327 | 1 26007 18 | 1.485 % | 10.08/10.13 c | 74745 | 45097 354894 1412327 | 1 26116 18 | 1.485 % | 10.08/10.13 c | 75875 | 45097 354894 1412327 | 1 27246 18 | 1.485 % | 10.08/10.13 c | 75975 | 45097 354894 1412327 | 1 27346 18 | 1.485 % | 10.08/10.13 c | 76086 | 45097 354894 1412327 | 1 27457 18 | 1.485 % | 10.08/10.13 c | 76713 | 45097 354894 1412327 | 1 28084 18 | 1.485 % | 10.08/10.13 c | 89766 | 45097 354894 1412327 | 1 24172 15 | 1.485 % | 10.08/10.13 c | 91903 | 45097 354894 1412327 | 1 26309 16 | 1.485 % | 10.08/10.13 c | 92003 | 45097 354894 1412327 | 1 26409 16 | 1.485 % | 10.08/10.13 c | 92373 | 45097 354894 1412327 | 1 26779 16 | 1.485 % | 10.08/10.13 c | 92473 | 45097 354894 1412327 | 1 26879 16 | 1.485 % | 10.08/10.13 c | 98708 | 45097 354894 1412327 | 1 33114 19 | 1.485 % | 10.08/10.13 c | 98896 | 45097 354894 1412327 | 1 33302 19 | 1.485 % | 10.08/10.13 c | 98996 | 45097 354894 1412327 | 1 33402 19 | 1.485 % | 10.08/10.13 c | 100694 | 45097 354894 1412327 | 1 35100 19 | 1.485 % | 10.08/10.13 c | 101043 | 45097 354894 1412327 | 1 35449 20 | 1.485 % | 10.08/10.13 c | 101144 | 45097 354894 1412327 | 1 35550 20 | 1.485 % | 10.08/10.13 c | 101426 | 45097 354894 1412327 | 1 35832 20 | 1.485 % | 10.08/10.13 c | 101711 | 45097 354894 1412327 | 1 36117 20 | 1.485 % | 10.08/10.13 c | 103767 | 45097 354894 1412327 | 1 38173 20 | 1.485 % | 10.08/10.13 c | 113981 | 45097 354894 1412327 | 1 28798 15 | 1.485 % | 10.08/10.13 c | 115749 | 45097 354894 1412327 | 1 30566 15 | 1.485 % | 10.08/10.13 c | 115880 | 45097 354894 1412327 | 1 30697 15 | 1.485 % | 10.08/10.14 c | 120814 | 45097 354894 1412327 | 1 35631 17 | 1.485 % | 10.08/10.14 c | 126387 | 45097 354894 1412327 | 1 41204 19 | 1.485 % | 10.08/10.14 c | 126487 | 45025 353285 1406533 | 1 41302 19 | 1.643 % | 10.08/10.14 c | 128913 | 45025 353285 1406533 | 1 43728 19 | 1.643 % | 10.08/10.14 c | 129013 | 45025 353285 1406533 | 1 43828 19 | 1.643 % | 10.08/10.14 c | 129557 | 45025 353285 1406533 | 1 44372 19 | 1.643 % | 10.08/10.14 c | 135412 | 45022 353285 1406533 | 1 28023 17 | 1.649 % | 10.08/10.14 c | 135586 | 45022 353285 1406533 | 1 28197 17 | 1.649 % | 10.08/10.14 c | 135686 | 45022 353285 1406533 | 1 28297 17 | 1.649 % | 10.08/10.14 c | 136010 | 45022 353285 1406533 | 1 28621 17 | 1.649 % | 10.08/10.14 c | 136268 | 45019 353285 1406533 | 1 28878 17 | 1.656 % | 10.08/10.14 c | 136415 | 45019 353285 1406533 | 1 29025 18 | 1.656 % | 10.08/10.14 c | 136515 | 45019 353285 1406533 | 1 29125 18 | 1.656 % | 11.88/11.92 c | 136784 | 45019 353285 1406533 | 1 29394 18 | 1.656 % | 11.88/11.92 c | 137389 | 45019 353285 1406533 | 1 29999 18 | 1.656 % | 11.88/11.92 c | 137647 | 45019 353285 1406533 | 1 30257 18 | 1.656 % | 11.88/11.92 c | 138128 | 45019 353285 1406533 | 1 30738 18 | 1.656 % | 11.88/11.92 c | 138228 | 45019 353285 1406533 | 1 30838 18 | 1.656 % | 11.88/11.92 c | 138401 | 45019 353285 1406533 | 1 31011 18 | 1.656 % | 11.88/11.92 c | 138606 | 45019 353207 1406180 | 1 31216 18 | 1.656 % | 11.88/11.92 c | 139667 | 45019 353207 1406180 | 1 32277 18 | 1.656 % | 11.88/11.92 c | 139852 | 45019 353207 1406180 | 1 32462 18 | 1.656 % | 11.88/11.92 c | 140061 | 45019 353207 1406180 | 1 32671 18 | 1.656 % | 11.88/11.92 c | 140247 | 45019 353207 1406180 | 1 32857 18 | 1.656 % | 11.88/11.92 c | 140351 | 45019 353207 1406180 | 1 32961 18 | 1.656 % | 11.88/11.92 c | 140451 | 45019 353207 1406180 | 1 33061 18 | 1.656 % | 11.88/11.92 c | 140551 | 45019 353207 1406180 | 1 33161 18 | 1.656 % | 11.88/11.92 c | 140652 | 45019 353207 1406180 | 1 33262 19 | 1.656 % | 11.88/11.92 c | 140755 | 45019 353207 1406180 | 1 33365 19 | 1.656 % | 11.88/11.92 c | 141318 | 45019 353207 1406180 | 1 33928 19 | 1.656 % | 11.88/11.92 c | 141428 | 45019 353207 1406180 | 1 34038 19 | 1.656 % | 11.88/11.92 c | 141528 | 45019 353207 1406180 | 1 34138 19 | 1.656 % | 11.88/11.92 c | 141629 | 45019 353207 1406180 | 1 34239 19 | 1.656 % | 11.88/11.92 c | 142223 | 45019 353207 1406180 | 1 34833 19 | 1.656 % | 11.88/11.92 c | 142529 | 45019 353207 1406180 | 1 35139 19 | 1.656 % | 11.88/11.92 c | 142762 | 45019 353207 1406180 | 1 35372 19 | 1.656 % | 11.88/11.92 c | 146234 | 45019 353207 1406180 | 1 38844 20 | 1.656 % | 11.88/11.92 c | 146335 | 45019 353207 1406180 | 1 38945 20 | 1.656 % | 11.88/11.92 c | 146976 | 45019 353207 1406180 | 1 39586 20 | 1.656 % | 11.88/11.92 c | 147349 | 45018 353174 1406066 | 1 39958 20 | 1.658 % | 11.88/11.92 c | 147450 | 45018 353174 1406066 | 1 40059 20 | 1.658 % | 11.88/11.92 c | 148372 | 45018 353174 1406066 | 1 40981 20 | 1.658 % | 11.88/11.92 c | 148474 | 45018 353174 1406066 | 1 41083 20 | 1.658 % | 11.88/11.92 c | 148574 | 45018 353174 1406066 | 1 41183 20 | 1.658 % | 11.88/11.92 c | 149455 | 45018 353174 1406066 | 1 42064 20 | 1.658 % | 11.88/11.92 c | 152133 | 45018 353174 1406066 | 1 44742 21 | 1.658 % | 11.88/11.92 c | 152233 | 45018 353174 1406066 | 1 44842 21 | 1.658 % | 11.88/11.92 c | 152333 | 45018 353174 1406066 | 1 44942 21 | 1.658 % | 11.88/11.92 c | 152434 | 45018 353174 1406066 | 1 45043 21 | 1.658 % | 11.88/11.92 c | 152553 | 45018 353174 1406066 | 1 45162 21 | 1.658 % | 11.88/11.92 c | 152653 | 45018 353174 1406066 | 1 45262 21 | 1.658 % | 11.88/11.92 c | 152753 | 45018 353174 1406066 | 1 45362 21 | 1.658 % | 11.88/11.92 c | 152854 | 45018 353174 1406066 | 1 45463 21 | 1.658 % | 11.88/11.92 c | 152954 | 45018 353174 1406066 | 1 45563 21 | 1.658 % | 11.88/11.92 c | 153054 | 45018 353174 1406066 | 1 45663 21 | 1.658 % | 11.88/11.92 c | 153154 | 45018 353174 1406066 | 1 45763 21 | 1.658 % | 11.88/11.92 c | 153462 | 45018 353174 1406066 | 1 46071 21 | 1.658 % | 11.88/11.92 c | 153840 | 45018 353174 1406066 | 1 46449 21 | 1.658 % | 11.88/11.92 c | 164626 | 45018 353174 1406066 | 1 32438 18 | 1.658 % | 11.88/11.92 c | 164821 | 45018 353174 1406066 | 1 32633 18 | 1.658 % | 11.88/11.92 c | 164922 | 45018 353174 1406066 | 1 32734 18 | 1.658 % | 11.88/11.92 c | 165127 | 45018 353174 1406066 | 1 32939 18 | 1.658 % | 11.88/11.92 c | 165227 | 45018 353174 1406066 | 1 33039 18 | 1.658 % | 15.88/15.99 c | 165329 | 45018 353174 1406066 | 1 33141 18 | 1.658 % | 15.88/15.99 c | 165429 | 45018 353174 1406066 | 1 33241 18 | 1.658 % | 15.88/15.99 c | 165530 | 45018 353174 1406066 | 1 33342 18 | 1.658 % | 15.88/15.99 c | 165630 | 45018 353174 1406066 | 1 33442 18 | 1.658 % | 15.88/15.99 c | 174252 | 45018 353174 1406066 | 1 42064 21 | 1.658 % | 15.88/15.99 c | 174352 | 45018 353174 1406066 | 1 42164 21 | 1.658 % | 15.88/15.99 c | 174588 | 45018 353174 1406066 | 1 42400 21 | 1.658 % | 15.88/15.99 c | 174708 | 45018 353174 1406066 | 1 42520 21 | 1.658 % | 15.88/15.99 c | 176296 | 45018 353174 1406066 | 1 44108 21 | 1.658 % | 15.88/15.99 c | 176400 | 45018 353174 1406066 | 1 44212 21 | 1.658 % | 15.88/15.99 c | 176510 | 45018 353174 1406066 | 1 44322 21 | 1.658 % | 15.88/15.99 c | 176610 | 45018 353174 1406066 | 1 44422 21 | 1.658 % | 15.88/15.99 c | 176881 | 45018 353174 1406066 | 1 44693 21 | 1.658 % | 15.88/15.99 c | 176981 | 45018 353174 1406066 | 1 44793 21 | 1.658 % | 15.88/15.99 c | 184605 | 45018 353174 1406066 | 1 52417 22 | 1.658 % | 15.88/15.99 c | 184879 | 45018 353174 1406066 | 1 52691 22 | 1.658 % | 15.88/15.99 c | 187403 | 45018 353174 1406066 | 1 27813 15 | 1.658 % | 15.88/15.99 c | 187503 | 45018 353174 1406066 | 1 27913 15 | 1.658 % | 15.88/15.99 c | 187672 | 45018 353174 1406066 | 1 28082 15 | 1.658 % | 15.88/15.99 c | 187883 | 45018 353174 1406066 | 1 28293 15 | 1.658 % | 15.88/15.99 c | 192181 | 45018 353174 1406066 | 1 32591 16 | 1.658 % | 15.88/15.99 c | 192282 | 45018 353174 1406066 | 1 32692 16 | 1.658 % | 15.88/15.99 c | 193322 | 45018 353174 1406066 | 1 33732 17 | 1.658 % | 15.88/15.99 c | 194465 | 45018 353174 1406066 | 1 34875 17 | 1.658 % | 15.88/15.99 c | 194585 | 45018 353174 1406066 | 1 34995 17 | 1.658 % | 15.88/15.99 c | 199978 | 45018 353174 1406066 | 1 40388 18 | 1.658 % | 15.88/15.99 c | 211759 | 45014 353152 1405978 | 1 52165 21 | 1.667 % | 15.88/15.99 c | 214495 | 45014 353152 1405978 | 1 54901 21 | 1.667 % | 15.88/15.99 c | 214598 | 45014 353115 1405842 | 1 55002 21 | 1.667 % | 15.88/15.99 c | 214728 | 45014 353115 1405842 | 1 55132 21 | 1.667 % | 15.88/15.99 c | 217721 | 45014 353115 1405842 | 1 58125 22 | 1.667 % | 15.88/15.99 c | 217829 | 45014 353115 1405842 | 1 58233 22 | 1.667 % | 15.88/15.99 c | 217930 | 45014 353115 1405842 | 1 58334 22 | 1.667 % | 15.88/15.99 c | 218964 | 45014 353115 1405842 | 1 59368 22 | 1.667 % | 15.88/15.99 c | 219597 | 45014 353115 1405842 | 1 60001 22 | 1.667 % | 15.88/15.99 c | 219697 | 45014 353115 1405842 | 1 30100 15 | 1.667 % | 15.88/15.99 c | 219797 | 45014 353115 1405842 | 1 30200 15 | 1.667 % | 15.88/15.99 c | 219898 | 45014 353115 1405842 | 1 30301 15 | 1.667 % | 15.88/15.99 c | 219999 | 45014 353115 1405842 | 1 30402 15 | 1.667 % | 15.88/15.99 c | 220099 | 45014 353115 1405842 | 1 30502 15 | 1.667 % | 15.88/15.99 c | 220199 | 45014 353115 1405842 | 1 30602 15 | 1.667 % | 15.88/15.99 c | 223400 | 45014 353115 1405842 | 1 33803 18 | 1.667 % | 15.88/15.99 c | 224765 | 45014 353115 1405842 | 1 35168 18 | 1.667 % | 15.88/15.99 c | 224865 | 45014 353115 1405842 | 1 35268 18 | 1.667 % | 15.88/15.99 c | 225202 | 45014 353115 1405842 | 1 35605 19 | 1.667 % | 15.88/15.99 c | 226797 | 45014 353115 1405842 | 1 37200 19 | 1.667 % | 15.88/15.99 c | 240648 | 45014 353115 1405842 | 1 51051 21 | 1.667 % | 15.88/15.99 c | 241113 | 45014 353115 1405842 | 1 51516 21 | 1.667 % | 15.88/15.99 c | 241213 | 45014 353115 1405842 | 1 51616 21 | 1.667 % | 15.88/15.99 c | 243224 | 45014 353115 1405842 | 1 53627 21 | 1.667 % | 18.88/18.92 c | 243442 | 45014 353115 1405842 | 1 53845 21 | 1.667 % | 18.88/18.92 c | 243841 | 45014 353115 1405842 | 1 54244 21 | 1.667 % | 18.88/18.92 c | 244950 | 45014 353115 1405842 | 1 55353 22 | 1.667 % | 18.88/18.92 c | 245070 | 45014 353115 1405842 | 1 55473 22 | 1.667 % | 18.88/18.92 c | 266387 | 45014 353115 1405842 | 1 44221 18 | 1.667 % | 18.88/18.92 c | 266495 | 45014 353115 1405842 | 1 44329 18 | 1.667 % | 18.88/18.92 c | 267616 | 45014 353115 1405842 | 1 45450 18 | 1.667 % | 18.88/18.92 c | 267827 | 45014 353115 1405842 | 1 45661 18 | 1.667 % | 18.88/18.92 c | 268243 | 45014 353115 1405842 | 1 46077 18 | 1.667 % | 18.88/18.92 c | 268722 | 45014 353115 1405842 | 1 46556 18 | 1.667 % | 18.88/18.92 c | 268952 | 45014 353115 1405842 | 1 46786 18 | 1.667 % | 18.88/18.92 c | 269309 | 45014 353115 1405842 | 1 47143 18 | 1.667 % | 18.88/18.92 c | 273993 | 45014 353115 1405842 | 1 51827 20 | 1.667 % | 18.88/18.92 c | 274324 | 45014 353115 1405842 | 1 52158 20 | 1.667 % | 18.88/18.92 c | 274424 | 45010 353080 1405672 | 1 52256 20 | 1.676 % | 18.88/18.92 c | 274524 | 45010 353080 1405672 | 1 52356 20 | 1.676 % | 18.88/18.92 c | 274624 | 45010 353080 1405672 | 1 52456 20 | 1.676 % | 18.88/18.92 c | 274724 | 45010 353080 1405672 | 1 52556 20 | 1.676 % | 18.88/18.92 c | 274825 | 45010 353080 1405672 | 1 52657 20 | 1.676 % | 18.88/18.92 c | 274926 | 45010 353080 1405672 | 1 52758 20 | 1.676 % | 18.88/18.92 c | 275026 | 45010 353080 1405672 | 1 52858 20 | 1.676 % | 18.88/18.92 c | 275506 | 45010 353080 1405672 | 1 53338 21 | 1.676 % | 18.88/18.92 c | 276065 | 45010 353080 1405672 | 1 53897 21 | 1.676 % | 18.88/18.92 c | 276496 | 45010 353080 1405672 | 1 54328 21 | 1.676 % | 18.88/18.92 c | 276596 | 45010 353080 1405672 | 1 54428 21 | 1.676 % | 18.88/18.92 c | 276697 | 45010 353080 1405672 | 1 54529 21 | 1.676 % | 18.88/18.92 c | 277162 | 45010 353080 1405672 | 1 54994 21 | 1.676 % | 18.88/18.92 c | 281701 | 45010 353080 1405672 | 1 59533 22 | 1.676 % | 18.88/18.92 c | 281803 | 45010 353080 1405672 | 1 59635 22 | 1.676 % | 18.88/18.92 c | 282279 | 45010 353080 1405672 | 1 60111 22 | 1.676 % | 18.88/18.92 c | 282380 | 45010 353080 1405672 | 1 60212 22 | 1.676 % | 18.88/18.92 c | 282480 | 45010 353080 1405672 | 1 60312 22 | 1.676 % | 18.88/18.92 c | 283411 | 45010 353080 1405672 | 1 61243 22 | 1.676 % | 18.88/18.92 c | 283612 | 45010 353080 1405672 | 1 61444 22 | 1.676 % | 18.88/18.92 c | 283712 | 45010 353080 1405672 | 1 61544 22 | 1.676 % | 18.88/18.92 c | 285344 | 45010 353080 1405672 | 1 63176 22 | 1.676 % | 18.88/18.92 c | 285444 | 45010 353080 1405672 | 1 63276 22 | 1.676 % | 18.88/18.92 c | 285738 | 45007 353080 1405672 | 1 63569 22 | 1.682 % | 18.88/18.92 c | 285838 | 45005 353080 1405672 | 1 63668 22 | 1.686 % | 18.88/18.92 c | 285938 | 45005 353080 1405672 | 1 63768 22 | 1.686 % | 18.88/18.92 c | 289370 | 45005 352985 1405245 | 1 67197 23 | 1.686 % | 18.88/18.92 c | 289470 | 45005 352985 1405245 | 1 67297 23 | 1.686 % | 18.88/18.92 c | 289570 | 45005 352985 1405245 | 1 67397 23 | 1.686 % | 18.88/18.92 c | 289712 | 45005 352985 1405245 | 1 67539 23 | 1.686 % | 18.88/18.92 c | 289813 | 45005 352985 1405245 | 1 67640 23 | 1.686 % | 18.88/18.92 c | 289931 | 45005 352985 1405245 | 1 67758 23 | 1.686 % | 18.88/18.92 c | 290031 | 45005 352985 1405245 | 1 67858 23 | 1.686 % | 18.88/18.92 c | 290211 | 45005 352985 1405245 | 1 68038 23 | 1.686 % | 18.88/18.92 c | 290311 | 45005 352985 1405245 | 1 68138 23 | 1.686 % | 18.88/18.92 c | 290411 | 45005 352985 1405245 | 1 68238 23 | 1.686 % | 21.08/21.15 c | 290519 | 45005 352985 1405245 | 1 68346 23 | 1.686 % | 21.08/21.15 c | 290622 | 45005 352985 1405245 | 1 68449 23 | 1.686 % | 21.08/21.15 c | 290722 | 45005 352985 1405245 | 1 68549 23 | 1.686 % | 21.08/21.15 c | 290823 | 45005 352985 1405245 | 1 68650 23 | 1.686 % | 21.08/21.15 c | 290923 | 45005 352985 1405245 | 1 68750 23 | 1.686 % | 21.08/21.15 c | 291023 | 45005 352985 1405245 | 1 68850 23 | 1.686 % | 21.08/21.15 c | 291166 | 45005 352985 1405245 | 1 68993 23 | 1.686 % | 21.08/21.15 c | 291269 | 45005 352985 1405245 | 1 69096 23 | 1.686 % | 21.08/21.15 c | 291372 | 45005 352985 1405245 | 1 69199 23 | 1.686 % | 21.08/21.15 c | 291475 | 45005 352985 1405245 | 1 69302 23 | 1.686 % | 21.08/21.15 c | 291576 | 45005 352985 1405245 | 1 69403 23 | 1.686 % | 21.08/21.15 c | 295210 | 45005 352985 1405245 | 1 37837 16 | 1.686 % | 21.08/21.15 c | 298953 | 45005 352985 1405245 | 1 41580 17 | 1.686 % | 21.08/21.15 c | 299053 | 45005 352985 1405245 | 1 41680 17 | 1.686 % | 21.08/21.15 c | 299153 | 45005 352985 1405245 | 1 41780 18 | 1.686 % | 21.08/21.15 c | 299259 | 45005 352985 1405245 | 1 41886 18 | 1.686 % | 21.08/21.15 c | 299549 | 45005 352985 1405245 | 1 42176 18 | 1.686 % | 21.08/21.15 c | 303049 | 44064 341251 1352554 | 1 42952 19 | 3.742 % | 21.08/21.15 c | 303150 | 44064 341251 1352554 | 1 43053 19 | 3.742 % | 21.08/21.15 c | 303288 | 44064 341251 1352554 | 1 43191 19 | 3.742 % | 21.08/21.15 c | 303388 | 44060 341251 1352554 | 1 43290 19 | 3.751 % | 21.08/21.15 c | 307652 | 44060 341251 1352554 | 1 47554 21 | 3.751 % | 21.08/21.15 c | 307858 | 44060 341251 1352554 | 1 47760 21 | 3.751 % | 21.08/21.15 c | 308028 | 44060 341251 1352554 | 1 47930 21 | 3.751 % | 21.08/21.15 c | 308256 | 44060 341251 1352554 | 1 48158 21 | 3.751 % | 21.08/21.15 c | 308555 | 44060 341251 1352554 | 1 48457 21 | 3.751 % | 21.08/21.15 c | 308800 | 44060 341251 1352554 | 1 48702 21 | 3.751 % | 21.08/21.15 c | 308901 | 44060 341251 1352554 | 1 48803 21 | 3.751 % | 21.08/21.15 c | 309051 | 44060 341251 1352554 | 1 48953 21 | 3.751 % | 21.08/21.15 c | 309192 | 44060 341251 1352554 | 1 49094 21 | 3.751 % | 21.08/21.15 c | 309292 | 44060 341251 1352554 | 1 49194 21 | 3.751 % | 21.08/21.15 c | 310037 | 44060 341251 1352554 | 1 49939 21 | 3.751 % | 21.08/21.15 c | 310966 | 44060 341251 1352554 | 1 50868 21 | 3.751 % | 21.08/21.15 c | 311066 | 44060 341251 1352554 | 1 50968 21 | 3.751 % | 21.08/21.15 c | 311166 | 44060 341251 1352554 | 1 51068 21 | 3.751 % | 21.08/21.15 c | 313179 | 44060 341251 1352554 | 1 53081 22 | 3.751 % | 21.08/21.15 c | 314228 | 44060 341205 1352380 | 1 54129 22 | 3.751 % | 21.08/21.15 c | 314389 | 44045 341205 1352380 | 1 54289 22 | 3.784 % | 21.08/21.15 c | 316037 | 44045 341205 1352380 | 1 55937 22 | 3.784 % | 21.08/21.15 c | 317609 | 44045 341205 1352380 | 1 57509 22 | 3.784 % | 21.08/21.15 c | 317761 | 44045 341205 1352380 | 1 57661 22 | 3.784 % | 21.08/21.15 c | 321500 | 44044 341205 1352380 | 1 61399 23 | 3.786 % | 21.08/21.15 c | 321601 | 44044 341205 1352380 | 1 61500 23 | 3.786 % | 21.08/21.15 c | 321702 | 44044 341205 1352380 | 1 61601 23 | 3.786 % | 21.08/21.15 c | 322448 | 44044 341205 1352380 | 1 62347 23 | 3.786 % | 21.08/21.15 c | 322715 | 44043 341205 1352380 | 1 62613 23 | 3.788 % | 21.08/21.15 c | 322898 | 44043 341205 1352380 | 1 62796 23 | 3.788 % | 21.08/21.15 c | 323282 | 43952 341205 1352380 | 1 63177 23 | 3.987 % | 21.08/21.15 c | 323383 | 43952 341205 1352380 | 1 63278 23 | 3.987 % | 23.28/23.33 c | 323487 | 43952 341205 1352380 | 1 63382 23 | 3.987 % | 23.28/23.33 c | 324657 | 43947 339879 1346357 | 1 64517 23 | 3.998 % | 23.28/23.33 c | 324758 | 43947 339879 1346357 | 1 64618 23 | 3.998 % | 23.28/23.33 c | 325110 | 43947 339879 1346357 | 1 64970 23 | 3.998 % | 23.28/23.33 c | 325285 | 43947 339879 1346357 | 1 65145 23 | 3.998 % | 23.28/23.33 c | 325385 | 43947 339879 1346357 | 1 65245 23 | 3.998 % | 23.28/23.33 c | 325522 | 43947 339879 1346357 | 1 65382 23 | 3.998 % | 23.28/23.33 c | 325623 | 43947 339879 1346357 | 1 65483 23 | 3.998 % | 23.28/23.33 c | 325787 | 43947 339879 1346357 | 1 65647 23 | 3.998 % | 23.28/23.33 c | 325902 | 43947 339879 1346357 | 1 65762 23 | 3.998 % | 23.28/23.33 c | 326230 | 43947 339879 1346357 | 1 66090 23 | 3.998 % | 23.28/23.33 c | 326330 | 43885 339879 1346357 | 1 66188 23 | 4.133 % | 23.28/23.33 c | 326500 | 43885 339879 1346357 | 1 66358 23 | 4.133 % | 23.28/23.33 c | 326958 | 43885 339879 1346357 | 1 66816 23 | 4.133 % | 23.28/23.33 c | 327092 | 43885 339879 1346357 | 1 66950 23 | 4.133 % | 23.28/23.33 c | 327192 | 43885 339879 1346357 | 1 67050 23 | 4.133 % | 23.28/23.33 c | 327668 | 43885 339879 1346357 | 1 67526 23 | 4.133 % | 23.28/23.33 c | 327768 | 43885 339879 1346357 | 1 67626 23 | 4.133 % | 23.28/23.33 c | 328123 | 43885 339879 1346357 | 1 67981 23 | 4.133 % | 23.28/23.33 c | 328224 | 43885 339879 1346357 | 1 68082 23 | 4.133 % | 23.28/23.33 c | 328607 | 43885 339879 1346357 | 1 68465 23 | 4.133 % | 23.28/23.33 c | 328902 | 43885 339879 1346357 | 1 68760 23 | 4.133 % | 23.28/23.33 c | 330622 | 43726 339879 1346357 | 1 70475 23 | 4.480 % | 23.28/23.33 c | 330987 | 43726 339879 1346357 | 1 70840 23 | 4.480 % | 23.28/23.33 c | 331166 | 43726 339879 1346357 | 1 71019 23 | 4.480 % | 23.28/23.33 c | 331267 | 43726 339879 1346357 | 1 71120 23 | 4.480 % | 23.28/23.33 c | 332921 | 43726 339879 1346357 | 1 72774 23 | 4.480 % | 23.28/23.33 c | 333052 | 43722 339879 1346357 | 1 36505 15 | 4.489 % | 23.28/23.33 c | 333152 | 43722 339879 1346357 | 1 36605 15 | 4.489 % | 23.28/23.33 c | 333252 | 43722 339879 1346357 | 1 36705 15 | 4.489 % | 23.28/23.33 c | 334354 | 43722 339879 1346357 | 1 37807 16 | 4.489 % | 23.28/23.33 c | 337344 | 43722 337621 1335878 | 1 40559 17 | 4.489 % | 23.28/23.33 c | 337444 | 43722 337621 1335878 | 1 40659 17 | 4.489 % | 23.28/23.33 c | 337545 | 43722 337621 1335878 | 1 40760 17 | 4.489 % | 23.28/23.33 c | 337645 | 43722 337621 1335878 | 1 40860 17 | 4.489 % | 23.28/23.33 c | 337885 | 43722 337621 1335878 | 1 41100 17 | 4.489 % | 23.28/23.33 c | 338905 | 43722 337621 1335878 | 1 42120 18 | 4.489 % | 23.28/23.33 c | 339005 | 43722 337621 1335878 | 1 42220 18 | 4.489 % | 23.28/23.33 c | 339409 | 43722 337621 1335878 | 1 42624 18 | 4.489 % | 23.28/23.33 c | 339626 | 43722 337621 1335878 | 1 42841 18 | 4.489 % | 23.28/23.33 c | 339727 | 43722 337621 1335878 | 1 42942 18 | 4.489 % | 23.28/23.33 c | 339909 | 43722 337621 1335878 | 1 43124 18 | 4.489 % | 23.28/23.33 c | 340009 | 43721 337621 1335878 | 1 43223 18 | 4.491 % | 23.28/23.33 c | 340259 | 43718 337621 1335878 | 1 43472 18 | 4.498 % | 23.28/23.33 c | 341116 | 43718 337621 1335878 | 1 44329 18 | 4.498 % | 23.28/23.33 c | 341333 | 43718 337621 1335878 | 1 44546 18 | 4.498 % | 23.28/23.33 c | 341433 | 43718 337621 1335878 | 1 44646 18 | 4.498 % | 23.28/23.33 c | 358131 | 43718 337621 1335878 | 1 61344 22 | 4.498 % | 23.28/23.33 c | 358232 | 43718 337577 1335686 | 1 61437 22 | 4.498 % | 23.28/23.33 c | 358423 | 43718 337577 1335686 | 1 61628 22 | 4.498 % | 25.68/25.72 c | 358524 | 43718 337577 1335686 | 1 61729 22 | 4.498 % | 25.68/25.72 c | 358633 | 43669 337577 1335686 | 1 61837 22 | 4.605 % | 25.68/25.72 c | 358734 | 43669 337577 1335686 | 1 61938 22 | 4.605 % | 25.68/25.72 c | 358835 | 43669 337577 1335686 | 1 62039 22 | 4.605 % | 25.68/25.72 c | 359120 | 43669 337577 1335686 | 1 62324 22 | 4.605 % | 25.68/25.72 c | 359220 | 43669 337577 1335686 | 1 62424 22 | 4.605 % | 25.68/25.72 c | 359356 | 43669 337577 1335686 | 1 62560 22 | 4.605 % | 25.68/25.72 c | 359458 | 43669 337577 1335686 | 1 62662 22 | 4.605 % | 25.68/25.72 c | 360515 | 43669 337577 1335686 | 1 63719 22 | 4.605 % | 25.68/25.72 c | 360711 | 43669 337577 1335686 | 1 63915 22 | 4.605 % | 25.68/25.72 c | 360811 | 43669 337577 1335686 | 1 64015 22 | 4.605 % | 25.68/25.72 c | 360948 | 43669 337577 1335686 | 1 64152 22 | 4.605 % | 25.68/25.72 c | 361048 | 43669 337577 1335686 | 1 64252 22 | 4.605 % | 25.68/25.72 c | 361148 | 43669 337577 1335686 | 1 64352 22 | 4.605 % | 25.68/25.72 c | 363353 | 43669 337577 1335686 | 1 66557 23 | 4.605 % | 25.68/25.72 c | 363460 | 43669 337577 1335686 | 1 66664 23 | 4.605 % | 25.68/25.72 c | 363562 | 43669 337577 1335686 | 1 66766 23 | 4.605 % | 25.68/25.72 c | 363663 | 43669 337577 1335686 | 1 66867 23 | 4.605 % | 25.68/25.72 c | 363789 | 43669 337577 1335686 | 1 66993 23 | 4.605 % | 25.68/25.72 c | 369596 | 43666 337577 1335686 | 1 72799 23 | 4.611 % | 25.68/25.72 c | 369697 | 43666 337577 1335686 | 1 72900 23 | 4.611 % | 25.68/25.72 c | 370331 | 43666 337577 1335686 | 1 73534 23 | 4.611 % | 25.68/25.72 c | 370514 | 43666 337577 1335686 | 1 73717 23 | 4.611 % | 25.68/25.72 c | 370614 | 43666 337577 1335686 | 1 73817 23 | 4.611 % | 25.68/25.72 c | 370791 | 43666 337577 1335686 | 1 73994 23 | 4.611 % | 25.68/25.72 c | 370892 | 43666 337577 1335686 | 1 74095 23 | 4.611 % | 25.68/25.72 c | 370994 | 43666 337577 1335686 | 1 74197 23 | 4.611 % | 25.68/25.72 c | 391070 | 43666 337577 1335686 | 1 54718 20 | 4.611 % | 25.68/25.72 c | 391170 | 43666 336690 1331451 | 1 54800 20 | 4.611 % | 25.68/25.72 c | 392467 | 43636 336690 1331451 | 1 56095 20 | 4.677 % | 25.68/25.72 c | 393038 | 43636 336690 1331451 | 1 56666 20 | 4.677 % | 25.68/25.72 c | 393138 | 43636 336690 1331451 | 1 56766 20 | 4.677 % | 25.68/25.72 c | 393238 | 43636 336690 1331451 | 1 56866 20 | 4.677 % | 25.68/25.72 c | 393338 | 43636 336690 1331451 | 1 56966 20 | 4.677 % | 25.68/25.72 c | 393438 | 43636 336690 1331451 | 1 57066 20 | 4.677 % | 25.68/25.72 c | 393538 | 43636 336690 1331451 | 1 57166 20 | 4.677 % | 25.68/25.72 c | 393638 | 43636 336690 1331451 | 1 57266 20 | 4.677 % | 25.68/25.72 c | 393967 | 43636 336690 1331451 | 1 57595 20 | 4.677 % | 25.68/25.72 c | 394068 | 43636 336690 1331451 | 1 57696 20 | 4.677 % | 25.68/25.72 c | 394229 | 43636 336690 1331451 | 1 57857 20 | 4.677 % | 25.68/25.72 c | 394331 | 43636 336690 1331451 | 1 57959 20 | 4.677 % | 25.68/25.72 c | 394431 | 43636 336690 1331451 | 1 58059 20 | 4.677 % | 25.68/25.72 c | 394636 | 43636 336690 1331451 | 1 58264 20 | 4.677 % | 25.68/25.72 c | 394736 | 43636 336690 1331451 | 1 58364 20 | 4.677 % | 25.68/25.72 c | 394837 | 43636 336690 1331451 | 1 58465 20 | 4.677 % | 25.68/25.72 c | 394937 | 43636 336690 1331451 | 1 58565 20 | 4.677 % | 25.68/25.72 c | 395038 | 43636 336690 1331451 | 1 58666 20 | 4.677 % | 25.68/25.72 c | 395139 | 43636 336690 1331451 | 1 58767 20 | 4.677 % | 25.68/25.72 c | 397394 | 43635 336394 1330229 | 1 60612 20 | 4.679 % | 25.68/25.72 c | 397495 | 43635 336394 1330229 | 1 60713 20 | 4.679 % | 26.18/26.28 c | 397595 | 43635 336394 1330229 | 1 60813 20 | 4.679 % | 26.18/26.28 c | 397695 | 43635 336394 1330229 | 1 60913 20 | 4.679 % | 26.18/26.28 c | 398531 | 43635 336394 1330229 | 1 61749 20 | 4.679 % | 26.18/26.28 c | 398819 | 43635 336394 1330229 | 1 62037 20 | 4.679 % | 26.18/26.28 c | 398919 | 43635 336394 1330229 | 1 62137 20 | 4.679 % | 26.18/26.28 c | 399020 | 43635 336394 1330229 | 1 62238 20 | 4.679 % | 26.18/26.28 c | 399226 | 43635 336394 1330229 | 1 62444 20 | 4.679 % | 26.18/26.28 c | 399955 | 43635 336394 1330229 | 1 63173 20 | 4.679 % | 26.18/26.28 c | 400223 | 43635 336394 1330229 | 1 63441 20 | 4.679 % | 26.18/26.28 c | 400323 | 43635 336394 1330229 | 1 63541 20 | 4.679 % | 26.18/26.28 c | 400424 | 43635 336394 1330229 | 1 63642 20 | 4.679 % | 26.18/26.28 c | 400526 | 43635 336394 1330229 | 1 63744 20 | 4.679 % | 26.18/26.28 c | 400626 | 43635 336394 1330229 | 1 63844 20 | 4.679 % | 26.18/26.28 c | 400726 | 43635 336394 1330229 | 1 63944 20 | 4.679 % | 26.18/26.28 c | 400826 | 43635 336394 1330229 | 1 64044 20 | 4.679 % | 26.18/26.28 c | 400926 | 43635 336394 1330229 | 1 64144 20 | 4.679 % | 26.18/26.28 c | 401027 | 43635 336394 1330229 | 1 64245 20 | 4.679 % | 26.18/26.28 c | 401127 | 43635 336394 1330229 | 1 64345 20 | 4.679 % | 26.18/26.28 c | 401257 | 43635 336394 1330229 | 1 64475 20 | 4.679 % | 26.18/26.28 c | 401358 | 43635 336394 1330229 | 1 64576 20 | 4.679 % | 26.18/26.28 c | 401459 | 43635 336394 1330229 | 1 64677 20 | 4.679 % | 26.18/26.28 c | 401559 | 43635 336394 1330229 | 1 64777 20 | 4.679 % | 26.18/26.28 c | 401659 | 43635 336394 1330229 | 1 64877 20 | 4.679 % | 26.18/26.28 c | 401761 | 43635 336394 1330229 | 1 64979 20 | 4.679 % | 26.18/26.28 c | 401870 | 43635 336394 1330229 | 1 65088 20 | 4.679 % | 26.18/26.28 c | 402020 | 43635 336394 1330229 | 1 65238 20 | 4.679 % | 26.18/26.28 c | 402123 | 43634 336394 1330229 | 1 65340 21 | 4.681 % | 26.18/26.28 c | 402223 | 43634 336394 1330229 | 1 65440 21 | 4.681 % | 26.18/26.28 c | 403254 | 43634 336394 1330229 | 1 66471 20 | 4.681 % | 26.18/26.28 c | 403355 | 43634 336394 1330229 | 1 66572 21 | 4.681 % | 26.18/26.28 c | 403460 | 43634 336394 1330229 | 1 66677 21 | 4.681 % | 26.18/26.28 c | 403560 | 43634 336394 1330229 | 1 66777 21 | 4.681 % | 26.18/26.28 c | 403662 | 43634 336394 1330229 | 1 66879 21 | 4.681 % | 26.18/26.28 c | 403762 | 43634 336394 1330229 | 1 66979 21 | 4.681 % | 26.18/26.28 c | 403863 | 43634 336394 1330229 | 1 67080 21 | 4.681 % | 26.18/26.28 c | 403963 | 43634 336394 1330229 | 1 67180 21 | 4.681 % | 26.18/26.28 c | 404064 | 43634 336390 1330209 | 1 67263 21 | 4.681 % | 26.18/26.28 c | 404164 | 43634 336390 1330209 | 1 67363 21 | 4.681 % | 26.18/26.28 c | 404265 | 43634 336390 1330209 | 1 67464 21 | 4.681 % | 26.18/26.28 c | 404365 | 43634 336390 1330209 | 1 67564 21 | 4.681 % | 26.18/26.28 c | 404465 | 43634 336390 1330209 | 1 67664 21 | 4.681 % | 26.18/26.28 c | 404565 | 43634 336390 1330209 | 1 67764 21 | 4.681 % | 26.18/26.28 c | 404666 | 43634 336390 1330209 | 1 67865 21 | 4.681 % | 26.18/26.28 c | 404766 | 43630 336390 1330209 | 1 67964 21 | 4.690 % | 26.18/26.28 c | 404866 | 43630 336390 1330209 | 1 68064 21 | 4.690 % | 26.18/26.28 c | 404970 | 43630 336390 1330209 | 1 68168 21 | 4.690 % | 26.18/26.28 c | 405070 | 43630 336390 1330209 | 1 68268 21 | 4.690 % | 26.18/26.28 c | 405170 | 43630 336390 1330209 | 1 68368 21 | 4.690 % | 26.18/26.28 c | 405271 | 43630 336390 1330209 | 1 68469 21 | 4.690 % | 26.18/26.28 c | 405371 | 43630 336390 1330209 | 1 68569 21 | 4.690 % | 26.68/26.76 c | 405536 | 43630 336390 1330209 | 1 68734 21 | 4.690 % | 26.68/26.76 c | 405636 | 43630 336390 1330209 | 1 68834 21 | 4.690 % | 26.68/26.76 c | 405788 | 43630 336390 1330209 | 1 68986 21 | 4.690 % | 26.68/26.76 c | 405888 | 43630 336390 1330209 | 1 69086 21 | 4.690 % | 26.68/26.76 c | 405989 | 43630 336390 1330209 | 1 69187 21 | 4.690 % | 26.68/26.76 c | 406089 | 43630 336390 1330209 | 1 69287 21 | 4.690 % | 26.68/26.76 c | 406189 | 43630 336390 1330209 | 1 69387 21 | 4.690 % | 26.68/26.76 c | 406289 | 43630 336390 1330209 | 1 69487 21 | 4.690 % | 26.68/26.76 c | 406389 | 43630 336390 1330209 | 1 69587 21 | 4.690 % | 26.68/26.76 c | 406490 | 43630 336390 1330209 | 1 69688 21 | 4.690 % | 26.68/26.76 c | 406590 | 43630 336390 1330209 | 1 69788 21 | 4.690 % | 26.68/26.76 c | 406692 | 43630 336390 1330209 | 1 69890 21 | 4.690 % | 26.68/26.76 c | 406792 | 43630 336390 1330209 | 1 69990 21 | 4.690 % | 26.68/26.76 c | 406893 | 43630 336390 1330209 | 1 70091 21 | 4.690 % | 26.68/26.76 c | 406994 | 43630 336390 1330209 | 1 70192 21 | 4.690 % | 26.68/26.76 c | 407094 | 43630 336390 1330209 | 1 70292 21 | 4.690 % | 26.68/26.76 c | 407195 | 43630 336390 1330209 | 1 70393 21 | 4.690 % | 26.68/26.76 c | 407298 | 43630 336390 1330209 | 1 70496 21 | 4.690 % | 26.68/26.76 c | 407400 | 43630 336390 1330209 | 1 70598 21 | 4.690 % | 26.68/26.76 c | 407500 | 43630 336390 1330209 | 1 70698 21 | 4.690 % | 26.68/26.76 c | 407605 | 43630 336390 1330209 | 1 70803 22 | 4.690 % | 26.68/26.76 c | 407706 | 43630 336390 1330209 | 1 70904 22 | 4.690 % | 26.68/26.76 c | 407806 | 43630 336390 1330209 | 1 71004 22 | 4.690 % | 26.68/26.76 c | 407906 | 43630 336390 1330209 | 1 71104 22 | 4.690 % | 26.68/26.76 c | 408007 | 43630 336390 1330209 | 1 71205 22 | 4.690 % | 26.68/26.76 c | 408107 | 43630 336390 1330209 | 1 71305 22 | 4.690 % | 26.68/26.76 c | 408209 | 43630 336390 1330209 | 1 71407 22 | 4.690 % | 26.68/26.76 c | 408309 | 43630 336390 1330209 | 1 71507 22 | 4.690 % | 26.68/26.76 c | 408409 | 43630 336390 1330209 | 1 71607 22 | 4.690 % | 26.68/26.76 c | 408509 | 43630 336390 1330209 | 1 71707 22 | 4.690 % | 26.68/26.76 c | 408609 | 43630 336390 1330209 | 1 71807 22 | 4.690 % | 26.68/26.76 c | 408709 | 43630 336390 1330209 | 1 71907 22 | 4.690 % | 26.68/26.76 c | 408809 | 43630 336390 1330209 | 1 72007 22 | 4.690 % | 26.68/26.76 c | 408911 | 43630 336390 1330209 | 1 72109 22 | 4.690 % | 26.68/26.76 c | 409011 | 43630 336390 1330209 | 1 72209 22 | 4.690 % | 26.68/26.76 c | 409111 | 43630 336390 1330209 | 1 72309 22 | 4.690 % | 26.68/26.76 c | 409211 | 43630 336390 1330209 | 1 72409 22 | 4.690 % | 26.68/26.76 c | 409311 | 43630 336390 1330209 | 1 72509 22 | 4.690 % | 26.68/26.76 c | 409412 | 43630 336390 1330209 | 1 72610 22 | 4.690 % | 26.68/26.76 c | 409516 | 43630 336390 1330209 | 1 72714 22 | 4.690 % | 26.68/26.76 c | 409618 | 43630 336390 1330209 | 1 72816 22 | 4.690 % | 26.68/26.76 c | 409718 | 43630 336390 1330209 | 1 72916 22 | 4.690 % | 26.68/26.76 c | 409820 | 43630 336390 1330209 | 1 73018 22 | 4.690 % | 26.68/26.76 c | 409921 | 43630 336390 1330209 | 1 73119 22 | 4.690 % | 26.68/26.76 c | 410021 | 43630 336390 1330209 | 1 73219 22 | 4.690 % | 26.68/26.76 c | 410122 | 43630 336362 1330090 | 1 73319 22 | 4.690 % | 26.68/26.76 c | 410222 | 43630 336362 1330090 | 1 73419 22 | 4.690 % | 26.68/26.76 c | 410323 | 43630 336362 1330090 | 1 73520 22 | 4.690 % | 26.68/26.76 c | 410423 | 43630 336362 1330090 | 1 73620 22 | 4.690 % | 26.68/26.76 c | 410523 | 43630 336362 1330090 | 1 73720 22 | 4.690 % | 27.18/27.26 c | 410623 | 43630 336362 1330090 | 1 73820 22 | 4.690 % | 27.18/27.26 c | 410723 | 43630 336362 1330090 | 1 73920 22 | 4.690 % | 27.18/27.26 c | 410826 | 43630 336362 1330090 | 1 74023 22 | 4.690 % | 27.18/27.26 c | 410927 | 43630 336362 1330090 | 1 74124 22 | 4.690 % | 27.18/27.26 c | 411027 | 43630 336362 1330090 | 1 74224 22 | 4.690 % | 27.18/27.26 c | 411127 | 43630 336362 1330090 | 1 74324 22 | 4.690 % | 27.18/27.26 c | 411227 | 43630 336362 1330090 | 1 74424 22 | 4.690 % | 27.18/27.26 c | 411329 | 43630 336362 1330090 | 1 74526 22 | 4.690 % | 27.18/27.26 c | 411431 | 43630 336362 1330090 | 1 74628 22 | 4.690 % | 27.18/27.26 c | 411533 | 43630 336362 1330090 | 1 74730 23 | 4.690 % | 27.18/27.26 c | 411635 | 43630 336362 1330090 | 1 74832 23 | 4.690 % | 27.18/27.26 c | 411737 | 43630 336362 1330090 | 1 74934 23 | 4.690 % | 27.18/27.26 c | 411843 | 43630 336362 1330090 | 1 75040 23 | 4.690 % | 27.18/27.26 c | 411943 | 43630 336362 1330090 | 1 75140 23 | 4.690 % | 27.18/27.26 c | 412043 | 43630 336362 1330090 | 1 75240 23 | 4.690 % | 27.18/27.26 c | 412143 | 43630 336362 1330090 | 1 75340 23 | 4.690 % | 27.18/27.26 c | 412246 | 43630 336362 1330090 | 1 75443 23 | 4.690 % | 27.18/27.26 c | 412346 | 43630 336362 1330090 | 1 75543 23 | 4.690 % | 27.18/27.26 c | 412446 | 43630 336362 1330090 | 1 75643 23 | 4.690 % | 27.18/27.26 c | 412546 | 43630 336362 1330090 | 1 75743 23 | 4.690 % | 27.18/27.26 c | 412646 | 43630 336362 1330090 | 1 75843 23 | 4.690 % | 27.18/27.26 c | 412746 | 43630 336362 1330090 | 1 75943 23 | 4.690 % | 27.18/27.26 c | 412846 | 43630 336362 1330090 | 1 76043 23 | 4.690 % | 27.18/27.26 c | 412946 | 43630 336362 1330090 | 1 76143 23 | 4.690 % | 27.18/27.26 c | 413046 | 43630 336362 1330090 | 1 76243 23 | 4.690 % | 27.18/27.26 c | 413146 | 43630 336362 1330090 | 1 76343 23 | 4.690 % | 27.18/27.26 c | 413250 | 43630 336362 1330090 | 1 76447 23 | 4.690 % | 27.18/27.26 c | 413352 | 43630 336362 1330090 | 1 76549 23 | 4.690 % | 27.18/27.26 c | 413452 | 43630 336362 1330090 | 1 76649 23 | 4.690 % | 27.18/27.26 c | 413552 | 43630 336362 1330090 | 1 76749 23 | 4.690 % | 27.18/27.26 c | 413652 | 43630 336362 1330090 | 1 76849 23 | 4.690 % | 27.18/27.26 c | 413753 | 43630 336362 1330090 | 1 76950 23 | 4.690 % | 27.18/27.26 c | 413856 | 43630 336362 1330090 | 1 77053 23 | 4.690 % | 27.18/27.26 c | 413958 | 43630 336362 1330090 | 1 77155 23 | 4.690 % | 27.18/27.26 c | 414058 | 43630 336362 1330090 | 1 77255 23 | 4.690 % | 27.18/27.26 c | 414158 | 43630 336362 1330090 | 1 77355 23 | 4.690 % | 27.18/27.26 c | 414258 | 43630 336362 1330090 | 1 77455 23 | 4.690 % | 27.18/27.26 c | 414359 | 43630 336362 1330090 | 1 77556 23 | 4.690 % | 27.18/27.26 c | 414460 | 43630 336362 1330090 | 1 77657 23 | 4.690 % | 27.18/27.26 c | 414560 | 43630 336362 1330090 | 1 77757 23 | 4.690 % | 27.18/27.26 c | 414660 | 43630 336362 1330090 | 1 77857 23 | 4.690 % | 27.18/27.26 c | 414760 | 43630 336362 1330090 | 1 77957 23 | 4.690 % | 27.18/27.26 c | 414865 | 43630 336362 1330090 | 1 78062 23 | 4.690 % | 27.18/27.26 c | 414965 | 43630 336362 1330090 | 1 78162 23 | 4.690 % | 27.18/27.26 c | 415065 | 43630 336362 1330090 | 1 78262 23 | 4.690 % | 27.18/27.26 c | 415165 | 43630 336362 1330090 | 1 78362 23 | 4.690 % | 27.18/27.26 c | 415265 | 43630 336362 1330090 | 1 78462 23 | 4.690 % | 27.18/27.26 c | 415368 | 43630 336362 1330090 | 1 78565 23 | 4.690 % | 27.18/27.26 c | 415468 | 43630 336362 1330090 | 1 78665 23 | 4.690 % | 27.18/27.26 c | 415568 | 43630 336362 1330090 | 1 78765 23 | 4.690 % | 27.68/27.79 c | 415670 | 43630 336362 1330090 | 1 78867 23 | 4.690 % | 27.68/27.79 c | 415772 | 43630 336362 1330090 | 1 78969 23 | 4.690 % | 27.68/27.79 c | 415872 | 43630 336362 1330090 | 1 79069 23 | 4.690 % | 27.68/27.79 c | 415972 | 43630 336362 1330090 | 1 79169 23 | 4.690 % | 27.68/27.79 c | 416073 | 43630 336362 1330090 | 1 79270 24 | 4.690 % | 27.68/27.79 c | 416178 | 43630 336362 1330090 | 1 79375 24 | 4.690 % | 27.68/27.79 c | 416279 | 43630 336362 1330090 | 1 79476 24 | 4.690 % | 27.68/27.79 c | 416382 | 43630 336362 1330090 | 1 79579 24 | 4.690 % | 27.68/27.79 c | 416483 | 43630 336362 1330090 | 1 79680 24 | 4.690 % | 27.68/27.79 c | 416583 | 43630 336362 1330090 | 1 79780 24 | 4.690 % | 27.68/27.79 c | 416683 | 43630 336362 1330090 | 1 79880 24 | 4.690 % | 27.68/27.79 c | 416783 | 43630 336362 1330090 | 1 79980 24 | 4.690 % | 27.68/27.79 c | 416883 | 43630 336362 1330090 | 1 80080 24 | 4.690 % | 27.68/27.79 c | 416983 | 43630 336362 1330090 | 1 80180 24 | 4.690 % | 27.68/27.79 c | 417088 | 43630 336362 1330090 | 1 80285 24 | 4.690 % | 27.68/27.79 c | 417188 | 43630 336362 1330090 | 1 80385 24 | 4.690 % | 27.68/27.79 c | 417290 | 43630 336362 1330090 | 1 80487 24 | 4.690 % | 27.68/27.79 c | 417391 | 43630 336362 1330090 | 1 80588 24 | 4.690 % | 27.68/27.79 c | 417491 | 43630 336362 1330090 | 1 80688 24 | 4.690 % | 27.68/27.79 c | 417591 | 43630 336362 1330090 | 1 80788 24 | 4.690 % | 27.68/27.79 c | 417691 | 43630 336362 1330090 | 1 80888 24 | 4.690 % | 27.68/27.79 c | 417791 | 43630 336362 1330090 | 1 80988 24 | 4.690 % | 27.68/27.79 c | 417891 | 43630 336362 1330090 | 1 81088 24 | 4.690 % | 27.68/27.79 c | 417992 | 43630 336362 1330090 | 1 81189 24 | 4.690 % | 27.68/27.79 c | 418093 | 43630 336362 1330090 | 1 81290 24 | 4.690 % | 27.68/27.79 c | 418194 | 43630 336362 1330090 | 1 81391 24 | 4.690 % | 27.68/27.79 c | 418294 | 43630 336362 1330090 | 1 81491 24 | 4.690 % | 27.68/27.79 c | 418394 | 43630 336362 1330090 | 1 81591 24 | 4.690 % | 27.68/27.79 c | 418495 | 43630 336362 1330090 | 1 81692 24 | 4.690 % | 27.68/27.79 c | 418601 | 43630 336362 1330090 | 1 81798 24 | 4.690 % | 27.68/27.79 c | 418701 | 43630 336362 1330090 | 1 81898 24 | 4.690 % | 27.68/27.79 c | 418801 | 43630 336362 1330090 | 1 81998 24 | 4.690 % | 27.68/27.79 c | 418901 | 43630 336362 1330090 | 1 82098 24 | 4.690 % | 27.68/27.79 c | 419003 | 43630 336362 1330090 | 1 82200 24 | 4.690 % | 27.68/27.79 c | 419105 | 43630 336362 1330090 | 1 82302 24 | 4.690 % | 27.68/27.79 c | 419205 | 43630 336362 1330090 | 1 82402 24 | 4.690 % | 27.68/27.79 c | 419306 | 43630 336362 1330090 | 1 82503 24 | 4.690 % | 27.68/27.79 c | 419406 | 43630 336362 1330090 | 1 82603 24 | 4.690 % | 27.68/27.79 c | 419506 | 43630 336362 1330090 | 1 82703 24 | 4.690 % | 27.68/27.79 c | 419607 | 43630 336362 1330090 | 1 82804 24 | 4.690 % | 27.68/27.79 c | 419707 | 43630 336362 1330090 | 1 82904 24 | 4.690 % | 27.68/27.79 c | 419807 | 43630 336362 1330090 | 1 83004 24 | 4.690 % | 27.68/27.79 c | 419909 | 43630 336362 1330090 | 1 83106 24 | 4.690 % | 27.68/27.79 c | 420010 | 43630 336362 1330090 | 1 83207 24 | 4.690 % | 27.68/27.79 c | 420110 | 43630 336362 1330090 | 1 83307 24 | 4.690 % | 27.68/27.79 c | 420212 | 43630 336362 1330090 | 1 83409 24 | 4.690 % | 27.68/27.79 c | 420313 | 43630 336362 1330090 | 1 83510 24 | 4.690 % | 27.68/27.79 c | 420413 | 43630 336362 1330090 | 1 83610 24 | 4.690 % | 27.68/27.79 c | 420513 | 43630 336362 1330090 | 1 83710 24 | 4.690 % | 27.68/27.79 c | 420613 | 43630 336362 1330090 | 1 83810 24 | 4.690 % | 28.28/28.37 c | 420713 | 43630 336362 1330090 | 1 83910 24 | 4.690 % | 28.28/28.37 c | 420814 | 43630 336362 1330090 | 1 84011 24 | 4.690 % | 28.28/28.37 c | 420916 | 43630 336362 1330090 | 1 84113 24 | 4.690 % | 28.28/28.37 c | 421016 | 43630 336362 1330090 | 1 84213 25 | 4.690 % | 28.28/28.37 c | 421117 | 43630 336362 1330090 | 1 84314 25 | 4.690 % | 28.28/28.37 c | 421217 | 43630 336362 1330090 | 1 84414 25 | 4.690 % | 28.28/28.37 c | 421317 | 43630 336362 1330090 | 1 84514 25 | 4.690 % | 28.28/28.37 c | 421417 | 43630 336362 1330090 | 1 84614 25 | 4.690 % | 28.28/28.37 c | 421518 | 43630 336362 1330090 | 1 84715 25 | 4.690 % | 28.28/28.37 c | 421618 | 43630 336362 1330090 | 1 42435 15 | 4.690 % | 28.28/28.37 c | 421718 | 43630 336362 1330090 | 1 42535 15 | 4.690 % | 28.28/28.37 c | 421818 | 43630 336362 1330090 | 1 42635 15 | 4.690 % | 28.28/28.37 c | 421919 | 43630 336362 1330090 | 1 42736 15 | 4.690 % | 28.28/28.37 c | 422020 | 43630 336362 1330090 | 1 42837 15 | 4.690 % | 28.28/28.37 c | 422121 | 43630 336362 1330090 | 1 42938 15 | 4.690 % | 28.28/28.37 c | 422221 | 43630 336362 1330090 | 1 43038 15 | 4.690 % | 28.28/28.37 c | 422325 | 43630 336362 1330090 | 1 43142 15 | 4.690 % | 28.28/28.37 c | 422426 | 43630 336362 1330090 | 1 43243 15 | 4.690 % | 28.28/28.37 c | 422527 | 43630 336362 1330090 | 1 43344 15 | 4.690 % | 28.28/28.37 c | 422628 | 43630 336362 1330090 | 1 43445 15 | 4.690 % | 28.28/28.37 c | 422728 | 43630 336362 1330090 | 1 43545 15 | 4.690 % | 28.28/28.37 c | 422828 | 43630 336362 1330090 | 1 43645 15 | 4.690 % | 28.28/28.37 c | 422931 | 43630 336362 1330090 | 1 43748 16 | 4.690 % | 28.28/28.37 c | 423036 | 43630 336362 1330090 | 1 43853 16 | 4.690 % | 28.28/28.37 c | 423136 | 43630 336362 1330090 | 1 43953 16 | 4.690 % | 28.28/28.37 c | 423236 | 43630 336362 1330090 | 1 44053 16 | 4.690 % | 28.28/28.37 c | 423336 | 43630 336362 1330090 | 1 44153 16 | 4.690 % | 28.28/28.37 c | 423437 | 43630 336362 1330090 | 1 44254 16 | 4.690 % | 28.28/28.37 c | 423540 | 43630 336362 1330090 | 1 44357 16 | 4.690 % | 28.28/28.37 c | 423640 | 43630 336362 1330090 | 1 44457 16 | 4.690 % | 28.28/28.37 c | 423741 | 43630 336362 1330090 | 1 44558 16 | 4.690 % | 28.28/28.37 c | 423843 | 43630 336362 1330090 | 1 44660 16 | 4.690 % | 28.28/28.37 c | 423943 | 43630 336362 1330090 | 1 44760 16 | 4.690 % | 28.28/28.37 c | 424043 | 43630 336362 1330090 | 1 44860 16 | 4.690 % | 28.28/28.37 c | 424144 | 43630 336362 1330090 | 1 44961 16 | 4.690 % | 28.28/28.37 c | 424244 | 43630 336362 1330090 | 1 45061 16 | 4.690 % | 28.28/28.37 c | 424347 | 43630 336362 1330090 | 1 45164 16 | 4.690 % | 28.28/28.37 c | 424447 | 43630 336362 1330090 | 1 45264 16 | 4.690 % | 28.28/28.37 c | 424553 | 43630 336362 1330090 | 1 45370 16 | 4.690 % | 28.28/28.37 c | 424653 | 43630 336362 1330090 | 1 45470 16 | 4.690 % | 28.28/28.37 c | 424761 | 43630 336362 1330090 | 1 45578 17 | 4.690 % | 28.28/28.37 c | 424862 | 43630 336362 1330090 | 1 45679 17 | 4.690 % | 28.28/28.37 c | 424962 | 43630 336362 1330090 | 1 45779 17 | 4.690 % | 28.28/28.37 c | 425062 | 43630 336362 1330090 | 1 45879 17 | 4.690 % | 28.28/28.37 c | 425163 | 43630 336362 1330090 | 1 45980 17 | 4.690 % | 28.28/28.37 c | 425264 | 43630 336362 1330090 | 1 46081 17 | 4.690 % | 28.28/28.37 c | 425364 | 43630 336362 1330090 | 1 46181 17 | 4.690 % | 28.28/28.37 c | 425466 | 43630 336362 1330090 | 1 46283 17 | 4.690 % | 28.28/28.37 c | 425566 | 43630 336362 1330090 | 1 46383 17 | 4.690 % | 28.28/28.37 c | 425667 | 43630 336362 1330090 | 1 46484 17 | 4.690 % | 28.98/29.05 c | 425767 | 43630 336362 1330090 | 1 46584 17 | 4.690 % | 28.98/29.05 c | 425867 | 43630 336362 1330090 | 1 46684 17 | 4.690 % | 28.98/29.05 c | 425967 | 43630 336362 1330090 | 1 46784 17 | 4.690 % | 28.98/29.05 c | 426067 | 43630 336362 1330090 | 1 46884 17 | 4.690 % | 28.98/29.05 c | 426168 | 43630 336362 1330090 | 1 46985 17 | 4.690 % | 28.98/29.05 c | 426268 | 43630 336362 1330090 | 1 47085 17 | 4.690 % | 28.98/29.05 c | 426369 | 43630 336362 1330090 | 1 47186 17 | 4.690 % | 28.98/29.05 c | 426469 | 43630 336362 1330090 | 1 47286 17 | 4.690 % | 28.98/29.05 c | 426571 | 43630 336362 1330090 | 1 47388 17 | 4.690 % | 28.98/29.05 c | 426671 | 43630 336362 1330090 | 1 47488 17 | 4.690 % | 28.98/29.05 c | 426772 | 43630 336362 1330090 | 1 47589 17 | 4.690 % | 28.98/29.05 c | 426873 | 43630 336362 1330090 | 1 47690 18 | 4.690 % | 28.98/29.05 c | 426973 | 43630 336362 1330090 | 1 47790 18 | 4.690 % | 28.98/29.05 c | 427073 | 43630 336362 1330090 | 1 47890 18 | 4.690 % | 28.98/29.05 c | 427174 | 43630 336362 1330090 | 1 47991 18 | 4.690 % | 28.98/29.05 c | 427275 | 43630 336362 1330090 | 1 48092 18 | 4.690 % | 28.98/29.05 c | 427375 | 43630 336362 1330090 | 1 48192 18 | 4.690 % | 28.98/29.05 c | 427475 | 43630 336362 1330090 | 1 48292 18 | 4.690 % | 28.98/29.05 c | 427575 | 43630 336362 1330090 | 1 48392 18 | 4.690 % | 28.98/29.05 c | 427677 | 43630 336362 1330090 | 1 48494 18 | 4.690 % | 28.98/29.05 c | 427778 | 43630 336362 1330090 | 1 48595 18 | 4.690 % | 28.98/29.05 c | 427878 | 43630 336362 1330090 | 1 48695 18 | 4.690 % | 28.98/29.05 c | 427979 | 43630 336362 1330090 | 1 48796 18 | 4.690 % | 28.98/29.05 c | 428079 | 43630 336362 1330090 | 1 48896 18 | 4.690 % | 28.98/29.05 c | 429991 | 43629 336344 1330029 | 1 49246 18 | 4.692 % | 28.98/29.05 c | 430092 | 43629 336344 1330029 | 1 49347 18 | 4.692 % | 28.98/29.05 c | 430193 | 43629 336344 1330029 | 1 49448 18 | 4.692 % | 28.98/29.05 c | 430293 | 43629 336344 1330029 | 1 49548 18 | 4.692 % | 28.98/29.05 c | 430393 | 43629 336344 1330029 | 1 49648 18 | 4.692 % | 28.98/29.05 c | 430493 | 43629 336344 1330029 | 1 49748 18 | 4.692 % | 28.98/29.05 c | 430593 | 43629 336344 1330029 | 1 49848 18 | 4.692 % | 28.98/29.05 c | 430693 | 43629 336344 1330029 | 1 49948 18 | 4.692 % | 28.98/29.05 c | 430794 | 43629 336344 1330029 | 1 50049 18 | 4.692 % | 28.98/29.05 c | 430894 | 43629 336344 1330029 | 1 50149 18 | 4.692 % | 28.98/29.05 c | 430996 | 43629 336344 1330029 | 1 50251 18 | 4.692 % | 28.98/29.05 c | 431096 | 43629 336344 1330029 | 1 50351 18 | 4.692 % | 28.98/29.05 c | 431196 | 43629 336344 1330029 | 1 50451 18 | 4.692 % | 28.98/29.05 c | 431297 | 43629 336344 1330029 | 1 50552 19 | 4.692 % | 28.98/29.05 c | 431397 | 43629 336344 1330029 | 1 50652 19 | 4.692 % | 28.98/29.05 c | 431497 | 43629 336344 1330029 | 1 50752 19 | 4.692 % | 28.98/29.05 c | 431597 | 43629 336344 1330029 | 1 50852 19 | 4.692 % | 28.98/29.05 c | 431697 | 43629 336344 1330029 | 1 50952 19 | 4.692 % | 28.98/29.05 c | 431797 | 43629 336344 1330029 | 1 51052 19 | 4.692 % | 28.98/29.05 c | 431902 | 43629 336344 1330029 | 1 51157 19 | 4.692 % | 28.98/29.05 c | 432005 | 43629 336344 1330029 | 1 51260 19 | 4.692 % | 28.98/29.05 c | 432105 | 43629 336344 1330029 | 1 51360 19 | 4.692 % | 28.98/29.05 c | 432205 | 43629 336344 1330029 | 1 51460 19 | 4.692 % | 28.98/29.05 c | 432305 | 43629 336344 1330029 | 1 51560 19 | 4.692 % | 28.98/29.05 c | 432407 | 43629 336344 1330029 | 1 51662 19 | 4.692 % | 28.98/29.05 c | 432508 | 43629 336344 1330029 | 1 51763 19 | 4.692 % | 29.59/29.60 c | 432608 | 43629 336344 1330029 | 1 51863 19 | 4.692 % | 29.59/29.60 c | 432709 | 43629 336344 1330029 | 1 51964 19 | 4.692 % | 29.59/29.60 c | 432809 | 43629 336344 1330029 | 1 52064 19 | 4.692 % | 29.59/29.60 c | 432910 | 43629 336344 1330029 | 1 52165 19 | 4.692 % | 29.59/29.60 c | 433010 | 43629 336344 1330029 | 1 52265 19 | 4.692 % | 29.59/29.60 c | 433110 | 43629 336344 1330029 | 1 52365 19 | 4.692 % | 29.59/29.60 c | 433212 | 43629 336344 1330029 | 1 52467 19 | 4.692 % | 29.59/29.60 c | 433645 | 43629 336344 1330029 | 1 52900 19 | 4.692 % | 29.59/29.60 c | 433746 | 43629 336344 1330029 | 1 53001 19 | 4.692 % | 29.59/29.60 c | 433846 | 43629 336344 1330029 | 1 53101 19 | 4.692 % | 29.59/29.60 c | 433947 | 43629 336344 1330029 | 1 53202 19 | 4.692 % | 29.59/29.60 c | 434048 | 43629 336344 1330029 | 1 53303 20 | 4.692 % | 29.59/29.60 c | 434148 | 43629 336344 1330029 | 1 53403 20 | 4.692 % | 29.59/29.60 c | 434248 | 43629 336344 1330029 | 1 53503 20 | 4.692 % | 29.59/29.60 c | 434348 | 43629 336344 1330029 | 1 53603 20 | 4.692 % | 29.59/29.60 c | 435054 | 43629 336344 1330029 | 1 54309 20 | 4.692 % | 29.59/29.60 c | 435158 | 43629 336344 1330029 | 1 54413 20 | 4.692 % | 29.59/29.60 c | 435258 | 43629 336344 1330029 | 1 54513 20 | 4.692 % | 29.59/29.60 c | 435360 | 43629 336344 1330029 | 1 54615 20 | 4.692 % | 29.59/29.60 c | 435462 | 43629 336344 1330029 | 1 54717 20 | 4.692 % | 29.59/29.60 c | 435562 | 43629 336344 1330029 | 1 54817 20 | 4.692 % | 29.59/29.60 c | 435662 | 43629 336344 1330029 | 1 54917 20 | 4.692 % | 29.59/29.60 c | 435763 | 43629 336344 1330029 | 1 55018 20 | 4.692 % | 29.59/29.60 c | 435864 | 43629 336344 1330029 | 1 55119 20 | 4.692 % | 29.59/29.60 c | 435964 | 43629 336344 1330029 | 1 55219 20 | 4.692 % | 29.59/29.60 c | 436182 | 43629 336344 1330029 | 1 55437 20 | 4.692 % | 29.59/29.60 c | 436282 | 43629 336344 1330029 | 1 55537 20 | 4.692 % | 29.59/29.60 c | 436385 | 43629 336344 1330029 | 1 55640 20 | 4.692 % | 29.59/29.60 c | 436485 | 43629 336344 1330029 | 1 55740 20 | 4.692 % | 29.59/29.60 c | 436586 | 43629 336344 1330029 | 1 55841 20 | 4.692 % | 29.59/29.60 c | 436686 | 43629 336344 1330029 | 1 55941 20 | 4.692 % | 29.59/29.60 c | 436787 | 43629 336344 1330029 | 1 56042 20 | 4.692 % | 29.59/29.60 c | 436887 | 43629 336344 1330029 | 1 56142 20 | 4.692 % | 29.59/29.60 c | 436987 | 43629 336344 1330029 | 1 56242 20 | 4.692 % | 29.59/29.60 c | 437088 | 43629 336344 1330029 | 1 56343 20 | 4.692 % | 29.59/29.60 c | 437188 | 43629 336344 1330029 | 1 56443 20 | 4.692 % | 29.59/29.60 c | 437291 | 43629 336344 1330029 | 1 56546 20 | 4.692 % | 29.59/29.60 c | 437393 | 43629 336344 1330029 | 1 56648 20 | 4.692 % | 29.59/29.60 c | 437495 | 43629 336344 1330029 | 1 56750 20 | 4.692 % | 29.59/29.60 c | 437596 | 43629 336344 1330029 | 1 56851 20 | 4.692 % | 29.59/29.60 c | 437698 | 43629 336344 1330029 | 1 56953 20 | 4.692 % | 29.59/29.60 c | 437799 | 43629 336344 1330029 | 1 57054 20 | 4.692 % | 29.59/29.60 c | 437899 | 43629 336344 1330029 | 1 57154 20 | 4.692 % | 29.59/29.60 c | 438000 | 43629 336344 1330029 | 1 57255 20 | 4.692 % | 29.59/29.60 c | 438103 | 43629 336344 1330029 | 1 57358 20 | 4.692 % | 29.59/29.60 c | 438203 | 43629 336344 1330029 | 1 57458 20 | 4.692 % | 29.59/29.60 c | 438306 | 43629 336344 1330029 | 1 57561 21 | 4.692 % | 29.59/29.60 c | 438408 | 43629 336344 1330029 | 1 57663 21 | 4.692 % | 29.59/29.60 c | 438510 | 43624 336268 1329713 | 1 57762 21 | 4.703 % | 29.59/29.60 c | 438613 | 43624 336268 1329713 | 1 57865 21 | 4.703 % | 29.98/30.07 c | 438715 | 43624 336268 1329713 | 1 57967 21 | 4.703 % | 29.98/30.07 c | 438817 | 43624 336268 1329713 | 1 58069 21 | 4.703 % | 29.98/30.07 c | 438917 | 43624 336268 1329713 | 1 58169 21 | 4.703 % | 29.98/30.07 c | 439017 | 43624 336268 1329713 | 1 58269 21 | 4.703 % | 29.98/30.07 c | 439117 | 43624 336268 1329713 | 1 58369 21 | 4.703 % | 29.98/30.07 c | 439217 | 43624 336268 1329713 | 1 58469 21 | 4.703 % | 29.98/30.07 c | 439320 | 43624 336268 1329713 | 1 58572 21 | 4.703 % | 29.98/30.07 c | 439420 | 43624 336268 1329713 | 1 58672 21 | 4.703 % | 29.98/30.07 c | 439520 | 43624 336268 1329713 | 1 58772 21 | 4.703 % | 29.98/30.07 c | 439621 | 43624 336268 1329713 | 1 58873 21 | 4.703 % | 29.98/30.07 c | 439721 | 43624 336268 1329713 | 1 58973 21 | 4.703 % | 29.98/30.07 c | 439823 | 43624 336268 1329713 | 1 59075 21 | 4.703 % | 29.98/30.07 c | 439924 | 43624 336268 1329713 | 1 59176 21 | 4.703 % | 29.98/30.07 c | 440025 | 43624 336268 1329713 | 1 59277 21 | 4.703 % | 29.98/30.07 c | 440125 | 43624 336268 1329713 | 1 59377 21 | 4.703 % | 29.98/30.07 c | 440226 | 43624 336268 1329713 | 1 59478 21 | 4.703 % | 29.98/30.07 c | 440327 | 43624 336268 1329713 | 1 59579 21 | 4.703 % | 29.98/30.07 c | 440429 | 43624 336268 1329713 | 1 59681 21 | 4.703 % | 29.98/30.07 c | 440532 | 43624 336268 1329713 | 1 59784 21 | 4.703 % | 29.98/30.07 c | 440632 | 43624 336268 1329713 | 1 59884 21 | 4.703 % | 29.98/30.07 c | 440732 | 43624 336268 1329713 | 1 59984 21 | 4.703 % | 29.98/30.07 c | 440832 | 43624 336268 1329713 | 1 60084 21 | 4.703 % | 29.98/30.07 c | 440932 | 43624 336268 1329713 | 1 60184 21 | 4.703 % | 29.98/30.07 c | 441032 | 43624 336268 1329713 | 1 60284 21 | 4.703 % | 29.98/30.07 c | 441133 | 43624 336268 1329713 | 1 60385 21 | 4.703 % | 29.98/30.07 c | 441236 | 43624 336268 1329713 | 1 60488 21 | 4.703 % | 29.98/30.07 c | 441337 | 43624 336268 1329713 | 1 60589 21 | 4.703 % | 29.98/30.07 c | 441439 | 43624 336268 1329713 | 1 60691 21 | 4.703 % | 29.98/30.07 c | 441539 | 43624 336268 1329713 | 1 60791 21 | 4.703 % | 29.98/30.07 c | 441641 | 43624 336268 1329713 | 1 60893 21 | 4.703 % | 29.98/30.07 c | 441741 | 43624 336268 1329713 | 1 60993 21 | 4.703 % | 29.98/30.07 c | 441842 | 43624 336268 1329713 | 1 61094 22 | 4.703 % | 29.98/30.07 c | 441943 | 43624 336268 1329713 | 1 61195 22 | 4.703 % | 29.98/30.07 c | 442043 | 43624 336268 1329713 | 1 61295 22 | 4.703 % | 29.98/30.07 c | 442144 | 43624 336268 1329713 | 1 61396 22 | 4.703 % | 29.98/30.07 c | 442245 | 43624 336268 1329713 | 1 61497 22 | 4.703 % | 29.98/30.07 c | 442345 | 43624 336268 1329713 | 1 61597 22 | 4.703 % | 29.98/30.07 c | 442446 | 43624 336268 1329713 | 1 61698 22 | 4.703 % | 29.98/30.07 c | 442546 | 43624 336268 1329713 | 1 61798 22 | 4.703 % | 29.98/30.07 c | 442646 | 43624 336268 1329713 | 1 61898 22 | 4.703 % | 29.98/30.07 c | 442746 | 43624 336268 1329713 | 1 61998 22 | 4.703 % | 29.98/30.07 c | 442846 | 43624 336268 1329713 | 1 62098 22 | 4.703 % | 29.98/30.07 c | 442948 | 43624 336268 1329713 | 1 62200 22 | 4.703 % | 29.98/30.07 c | 443049 | 43624 336268 1329713 | 1 62301 22 | 4.703 % | 29.98/30.07 c | 443151 | 43624 336268 1329713 | 1 62403 22 | 4.703 % | 29.98/30.07 c | 443252 | 43624 336268 1329713 | 1 62504 22 | 4.703 % | 29.98/30.07 c | 443354 | 43624 336268 1329713 | 1 62606 22 | 4.703 % | 29.98/30.07 c | 443456 | 43624 336268 1329713 | 1 62708 22 | 4.703 % | 29.98/30.07 c | 443556 | 43624 336268 1329713 | 1 62808 22 | 4.703 % | 29.98/30.07 c | 443656 | 43624 336268 1329713 | 1 62908 22 | 4.703 % | 30.48/30.58 c | 443756 | 43624 336268 1329713 | 1 63008 22 | 4.703 % | 30.48/30.58 c | 443856 | 43624 336268 1329713 | 1 63108 22 | 4.703 % | 30.48/30.58 c | 443959 | 43624 336268 1329713 | 1 63211 22 | 4.703 % | 30.48/30.58 c | 444059 | 43624 336268 1329713 | 1 63311 22 | 4.703 % | 30.48/30.58 c | 444160 | 43624 336268 1329713 | 1 63412 22 | 4.703 % | 30.48/30.58 c | 444262 | 43624 336268 1329713 | 1 63514 22 | 4.703 % | 30.48/30.58 c | 444364 | 43624 336268 1329713 | 1 63616 22 | 4.703 % | 30.48/30.58 c | 444466 | 43624 336268 1329713 | 1 63718 22 | 4.703 % | 30.48/30.58 c | 444567 | 43624 336268 1329713 | 1 63819 22 | 4.703 % | 30.48/30.58 c | 444669 | 43624 336268 1329713 | 1 63921 22 | 4.703 % | 30.48/30.58 c | 444770 | 43624 336268 1329713 | 1 64022 22 | 4.703 % | 30.48/30.58 c | 444870 | 43624 336268 1329713 | 1 64122 22 | 4.703 % | 30.48/30.58 c | 444970 | 43624 336268 1329713 | 1 64222 22 | 4.703 % | 30.48/30.58 c | 445071 | 43624 336268 1329713 | 1 64323 22 | 4.703 % | 30.48/30.58 c | 445171 | 43624 336268 1329713 | 1 64423 22 | 4.703 % | 30.48/30.58 c | 445275 | 43624 336268 1329713 | 1 64527 22 | 4.703 % | 30.48/30.58 c | 445379 | 43624 336268 1329713 | 1 64631 23 | 4.703 % | 30.48/30.58 c | 445479 | 43624 336268 1329713 | 1 64731 23 | 4.703 % | 30.48/30.58 c | 445579 | 43624 336268 1329713 | 1 64831 23 | 4.703 % | 30.48/30.58 c | 445680 | 43624 336268 1329713 | 1 64932 23 | 4.703 % | 30.48/30.58 c | 445783 | 43624 336268 1329713 | 1 65035 23 | 4.703 % | 30.48/30.58 c | 445891 | 43624 336268 1329713 | 1 65143 23 | 4.703 % | 30.48/30.58 c | 445993 | 43624 336268 1329713 | 1 65245 23 | 4.703 % | 30.48/30.58 c | 446095 | 43624 336268 1329713 | 1 65347 23 | 4.703 % | 30.48/30.58 c | 446196 | 43624 336268 1329713 | 1 65448 23 | 4.703 % | 30.48/30.58 c | 446296 | 43624 336268 1329713 | 1 65548 23 | 4.703 % | 30.48/30.58 c | 446396 | 43624 336268 1329713 | 1 65648 23 | 4.703 % | 30.48/30.58 c | 446541 | 43624 336268 1329713 | 1 65793 23 | 4.703 % | 30.48/30.58 c | 446641 | 43624 336268 1329713 | 1 65893 23 | 4.703 % | 30.48/30.58 c | 446742 | 43624 336268 1329713 | 1 65994 23 | 4.703 % | 30.48/30.58 c | 446843 | 43624 336268 1329713 | 1 66095 23 | 4.703 % | 30.48/30.58 c | 446943 | 43624 336268 1329713 | 1 66195 23 | 4.703 % | 30.48/30.58 c | 447043 | 43624 336268 1329713 | 1 66295 23 | 4.703 % | 30.48/30.58 c | 447144 | 43624 336268 1329713 | 1 66396 23 | 4.703 % | 30.48/30.58 c | 447247 | 43624 336268 1329713 | 1 66499 23 | 4.703 % | 30.48/30.58 c | 447347 | 43624 336268 1329713 | 1 66599 23 | 4.703 % | 30.48/30.58 c | 447447 | 43624 336268 1329713 | 1 66699 23 | 4.703 % | 30.48/30.58 c | 447547 | 43624 336268 1329713 | 1 66799 23 | 4.703 % | 30.48/30.58 c | 447650 | 43624 336268 1329713 | 1 66902 23 | 4.703 % | 30.48/30.58 c | 447751 | 43624 336268 1329713 | 1 67003 23 | 4.703 % | 30.48/30.58 c | 447852 | 43624 336268 1329713 | 1 67104 23 | 4.703 % | 30.48/30.58 c | 448062 | 43624 336268 1329713 | 1 67314 23 | 4.703 % | 30.48/30.58 c | 448162 | 43624 336268 1329713 | 1 67414 23 | 4.703 % | 30.48/30.58 c | 448262 | 43624 336268 1329713 | 1 67514 23 | 4.703 % | 30.48/30.58 c | 448362 | 43624 336268 1329713 | 1 67614 23 | 4.703 % | 30.48/30.58 c | 448462 | 43624 336268 1329713 | 1 67714 23 | 4.703 % | 30.48/30.58 c | 448564 | 43624 336268 1329713 | 1 67816 23 | 4.703 % | 30.48/30.58 c | 448664 | 43624 336268 1329713 | 1 67916 23 | 4.703 % | 30.48/30.58 c | 448766 | 43624 336268 1329713 | 1 68018 23 | 4.703 % | 30.48/30.58 c | 448866 | 43624 336268 1329713 | 1 68118 23 | 4.703 % | 31.38/31.40 c | 448966 | 43624 336268 1329713 | 1 68218 23 | 4.703 % | 31.38/31.40 c | 449066 | 43624 336268 1329713 | 1 68318 23 | 4.703 % | 31.38/31.40 c | 449166 | 43624 336268 1329713 | 1 68418 23 | 4.703 % | 31.38/31.40 c | 449269 | 43624 336268 1329713 | 1 68521 23 | 4.703 % | 31.38/31.40 c | 449371 | 43624 336268 1329713 | 1 68623 23 | 4.703 % | 31.38/31.40 c | 449485 | 43624 336268 1329713 | 1 68737 23 | 4.703 % | 31.38/31.40 c | 449585 | 43624 336268 1329713 | 1 68837 23 | 4.703 % | 31.38/31.40 c | 449687 | 43624 336268 1329713 | 1 68939 23 | 4.703 % | 31.38/31.40 c | 449789 | 43624 336268 1329713 | 1 69041 23 | 4.703 % | 31.38/31.40 c | 449889 | 43624 336268 1329713 | 1 69141 23 | 4.703 % | 31.38/31.40 c | 449989 | 43624 336268 1329713 | 1 69241 23 | 4.703 % | 31.38/31.40 c | 450089 | 43624 336268 1329713 | 1 69341 23 | 4.703 % | 31.38/31.40 c | 450189 | 43624 336268 1329713 | 1 69441 24 | 4.703 % | 31.38/31.40 c | 450289 | 43624 336268 1329713 | 1 69541 24 | 4.703 % | 31.38/31.40 c | 450389 | 43624 336268 1329713 | 1 69641 24 | 4.703 % | 31.38/31.40 c | 450491 | 43624 336268 1329713 | 1 69743 24 | 4.703 % | 31.38/31.40 c | 450591 | 43624 336268 1329713 | 1 69843 24 | 4.703 % | 31.38/31.40 c | 450691 | 43624 336268 1329713 | 1 69943 24 | 4.703 % | 31.38/31.40 c | 450792 | 43624 336268 1329713 | 1 70044 24 | 4.703 % | 31.38/31.40 c | 450922 | 43624 336268 1329713 | 1 70174 24 | 4.703 % | 31.38/31.40 c | 451023 | 43624 336268 1329713 | 1 70275 24 | 4.703 % | 31.38/31.40 c | 451124 | 43624 336268 1329713 | 1 70376 24 | 4.703 % | 31.38/31.40 c | 451225 | 43624 336268 1329713 | 1 70477 24 | 4.703 % | 31.38/31.40 c | 451326 | 43624 336268 1329713 | 1 70578 24 | 4.703 % | 31.38/31.40 c | 451429 | 43624 336268 1329713 | 1 70681 24 | 4.703 % | 31.38/31.40 c | 451566 | 43624 336268 1329713 | 1 70818 24 | 4.703 % | 31.38/31.40 c | 451667 | 43624 336268 1329713 | 1 70919 24 | 4.703 % | 31.38/31.40 c | 451768 | 43624 336268 1329713 | 1 71020 24 | 4.703 % | 31.38/31.40 c | 451869 | 43624 336268 1329713 | 1 71121 24 | 4.703 % | 31.38/31.40 c | 451969 | 43624 336268 1329713 | 1 71221 24 | 4.703 % | 31.38/31.40 c | 452070 | 43624 336268 1329713 | 1 71322 24 | 4.703 % | 31.38/31.40 c | 454605 | 43623 336257 1329666 | 1 71787 24 | 4.705 % | 31.38/31.40 c | 454706 | 43623 336257 1329666 | 1 71888 24 | 4.705 % | 31.38/31.40 c | 454806 | 43623 336257 1329666 | 1 71988 24 | 4.705 % | 31.38/31.40 c | 454906 | 43623 336257 1329666 | 1 72088 24 | 4.705 % | 31.38/31.40 c | 455006 | 43623 336257 1329666 | 1 72188 24 | 4.705 % | 31.38/31.40 c | 455108 | 43623 336257 1329666 | 1 72290 24 | 4.705 % | 31.38/31.40 c | 455211 | 43623 336257 1329666 | 1 72393 24 | 4.705 % | 31.38/31.40 c | 455311 | 43623 336257 1329666 | 1 72493 24 | 4.705 % | 31.38/31.40 c | 455413 | 43623 336257 1329666 | 1 72595 24 | 4.705 % | 31.38/31.40 c | 455513 | 43623 336257 1329666 | 1 72695 24 | 4.705 % | 31.38/31.40 c | 455613 | 43623 336257 1329666 | 1 72795 24 | 4.705 % | 31.38/31.40 c | 455714 | 43623 336257 1329666 | 1 72896 24 | 4.705 % | 31.38/31.40 c | 455816 | 43623 336257 1329666 | 1 72998 24 | 4.705 % | 31.38/31.40 c | 455917 | 43623 336257 1329666 | 1 73099 24 | 4.705 % | 31.38/31.40 c | 456017 | 43623 336257 1329666 | 1 73199 24 | 4.705 % | 31.38/31.40 c | 456117 | 43623 336257 1329666 | 1 73299 24 | 4.705 % | 31.38/31.40 c | 456228 | 43623 336257 1329666 | 1 73410 24 | 4.705 % | 31.38/31.40 c | 456328 | 43623 336257 1329666 | 1 73510 24 | 4.705 % | 31.38/31.40 c | 456431 | 43623 336257 1329666 | 1 73613 24 | 4.705 % | 32.58/32.67 c | 456532 | 43623 336257 1329666 | 1 73714 24 | 4.705 % | 32.58/32.67 c | 456635 | 43623 336257 1329666 | 1 73817 24 | 4.705 % | 32.58/32.67 c | 456997 | 43623 336257 1329666 | 1 74179 24 | 4.705 % | 32.58/32.67 c | 457108 | 43623 336257 1329666 | 1 74290 24 | 4.705 % | 32.58/32.67 c | 457209 | 43623 336257 1329666 | 1 74391 24 | 4.705 % | 32.58/32.67 c | 457311 | 43623 336257 1329666 | 1 74493 24 | 4.705 % | 32.58/32.67 c | 458068 | 43623 336257 1329666 | 1 75250 24 | 4.705 % | 32.58/32.67 c | 458168 | 43623 336257 1329666 | 1 75350 24 | 4.705 % | 32.58/32.67 c | 458269 | 43623 336257 1329666 | 1 75451 24 | 4.705 % | 32.58/32.67 c | 458369 | 43623 336257 1329666 | 1 75551 24 | 4.705 % | 32.58/32.67 c | 458469 | 43623 336257 1329666 | 1 75651 24 | 4.705 % | 32.58/32.67 c | 458571 | 43623 336257 1329666 | 1 75753 24 | 4.705 % | 32.58/32.67 c | 458671 | 43623 336257 1329666 | 1 75853 24 | 4.705 % | 32.58/32.67 c | 458771 | 43623 336257 1329666 | 1 75953 24 | 4.705 % | 32.58/32.67 c | 458873 | 43623 336257 1329666 | 1 76055 24 | 4.705 % | 32.58/32.67 c | 458976 | 43623 336257 1329666 | 1 76158 24 | 4.705 % | 32.58/32.67 c | 459077 | 43623 336257 1329666 | 1 76259 24 | 4.705 % | 32.58/32.67 c | 459177 | 43623 336257 1329666 | 1 76359 24 | 4.705 % | 32.58/32.67 c | 459277 | 43623 336257 1329666 | 1 76459 24 | 4.705 % | 32.58/32.67 c | 459377 | 43623 336257 1329666 | 1 76559 24 | 4.705 % | 32.58/32.67 c | 459479 | 43623 336257 1329666 | 1 76661 24 | 4.705 % | 32.58/32.67 c | 459579 | 43623 336257 1329666 | 1 76761 24 | 4.705 % | 32.58/32.67 c | 459679 | 43623 336257 1329666 | 1 76861 24 | 4.705 % | 32.58/32.67 c | 459779 | 43623 336257 1329666 | 1 76961 24 | 4.705 % | 32.58/32.67 c | 459897 | 43623 336257 1329666 | 1 77079 24 | 4.705 % | 32.58/32.67 c | 459999 | 43623 336257 1329666 | 1 77181 24 | 4.705 % | 32.58/32.67 c | 460100 | 43623 336257 1329666 | 1 77282 25 | 4.705 % | 32.58/32.67 c | 460200 | 43623 336257 1329666 | 1 77382 25 | 4.705 % | 32.58/32.67 c | 460302 | 43623 336257 1329666 | 1 77484 25 | 4.705 % | 32.58/32.67 c | 460402 | 43623 336257 1329666 | 1 77584 25 | 4.705 % | 32.58/32.67 c | 460503 | 43623 336257 1329666 | 1 77685 25 | 4.705 % | 32.58/32.67 c | 460606 | 43623 336257 1329666 | 1 77788 25 | 4.705 % | 32.58/32.67 c | 460812 | 43623 336257 1329666 | 1 77994 25 | 4.705 % | 32.58/32.67 c | 460913 | 43623 336257 1329666 | 1 78095 25 | 4.705 % | 32.58/32.67 c | 461014 | 43623 336257 1329666 | 1 78196 25 | 4.705 % | 32.58/32.67 c | 461114 | 43623 336257 1329666 | 1 78296 25 | 4.705 % | 32.58/32.67 c | 461215 | 43623 336257 1329666 | 1 78397 25 | 4.705 % | 32.58/32.67 c | 461315 | 43623 336257 1329666 | 1 78497 25 | 4.705 % | 32.58/32.67 c | 461415 | 43623 336257 1329666 | 1 78597 25 | 4.705 % | 32.58/32.67 c | 461516 | 43623 336257 1329666 | 1 78698 25 | 4.705 % | 32.58/32.67 c | 461790 | 43623 336257 1329666 | 1 78972 25 | 4.705 % | 32.58/32.67 c | 461890 | 43623 336257 1329666 | 1 79072 25 | 4.705 % | 32.58/32.67 c | 461990 | 43623 336257 1329666 | 1 79172 25 | 4.705 % | 32.58/32.67 c | 462090 | 43623 336257 1329666 | 1 79272 25 | 4.705 % | 32.58/32.67 c | 462190 | 43623 336257 1329666 | 1 79372 25 | 4.705 % | 32.58/32.67 c | 462290 | 43623 336257 1329666 | 1 79472 25 | 4.705 % | 32.58/32.67 c | 462391 | 43623 336257 1329666 | 1 79573 25 | 4.705 % | 32.58/32.67 c | 468758 | 43623 336257 1329666 | 1 85940 24 | 4.705 % | 32.58/32.67 c | 468858 | 43623 336257 1329666 | 1 86040 24 | 4.705 % | 32.58/32.67 c | 468958 | 43623 336257 1329666 | 1 86140 24 | 4.705 % | 33.18/33.23 c | 469058 | 43623 336257 1329666 | 1 86240 24 | 4.705 % | 33.18/33.23 c | 469158 | 43623 336257 1329666 | 1 86340 24 | 4.705 % | 33.18/33.23 c | 469259 | 43623 336257 1329666 | 1 86441 25 | 4.705 % | 33.18/33.23 c | 469359 | 43623 336257 1329666 | 1 86541 25 | 4.705 % | 33.18/33.23 c | 469461 | 43623 336257 1329666 | 1 86643 25 | 4.705 % | 33.18/33.23 c | 469561 | 43623 336257 1329666 | 1 86743 25 | 4.705 % | 33.18/33.23 c | 469662 | 43623 336257 1329666 | 1 86844 25 | 4.705 % | 33.18/33.23 c | 469762 | 43623 336257 1329666 | 1 86944 25 | 4.705 % | 33.18/33.23 c | 469862 | 43623 336257 1329666 | 1 43566 16 | 4.705 % | 33.18/33.23 c | 469962 | 43623 336257 1329666 | 1 43666 16 | 4.705 % | 33.18/33.23 c | 470062 | 43623 336257 1329666 | 1 43766 16 | 4.705 % | 33.18/33.23 c | 470162 | 43623 336257 1329666 | 1 43866 16 | 4.705 % | 33.18/33.23 c | 470263 | 43623 336257 1329666 | 1 43967 16 | 4.705 % | 33.18/33.23 c | 470363 | 43623 336257 1329666 | 1 44067 16 | 4.705 % | 33.18/33.23 c | 470463 | 43623 336257 1329666 | 1 44167 16 | 4.705 % | 33.18/33.23 c | 470565 | 43623 336257 1329666 | 1 44269 16 | 4.705 % | 33.18/33.23 c | 470668 | 43623 336257 1329666 | 1 44372 16 | 4.705 % | 33.18/33.23 c | 470768 | 43623 336257 1329666 | 1 44472 16 | 4.705 % | 33.18/33.23 c | 470868 | 43623 336257 1329666 | 1 44572 16 | 4.705 % | 33.18/33.23 c | 470968 | 43623 336257 1329666 | 1 44672 16 | 4.705 % | 33.18/33.23 c | 471318 | 43623 336257 1329666 | 1 45022 16 | 4.705 % | 33.18/33.23 c | 471418 | 43623 336257 1329666 | 1 45122 16 | 4.705 % | 33.18/33.23 c | 471518 | 43623 336257 1329666 | 1 45222 16 | 4.705 % | 33.18/33.23 c | 471972 | 43623 336257 1329666 | 1 45676 16 | 4.705 % | 33.18/33.23 c | 472074 | 43623 336257 1329666 | 1 45778 17 | 4.705 % | 33.18/33.23 c | 472174 | 43623 336257 1329666 | 1 45878 17 | 4.705 % | 33.18/33.23 c | 472274 | 43623 336257 1329666 | 1 45978 17 | 4.705 % | 33.18/33.23 c | 472374 | 43623 336257 1329666 | 1 46078 17 | 4.705 % | 33.18/33.23 c | 472475 | 43623 336257 1329666 | 1 46179 17 | 4.705 % | 33.18/33.23 c | 472575 | 43623 336257 1329666 | 1 46279 17 | 4.705 % | 33.18/33.23 c | 472676 | 43623 336257 1329666 | 1 46380 17 | 4.705 % | 33.18/33.23 c | 472777 | 43623 336257 1329666 | 1 46481 17 | 4.705 % | 33.18/33.23 c | 472877 | 43623 336257 1329666 | 1 46581 17 | 4.705 % | 33.18/33.23 c | 473130 | 43623 336257 1329666 | 1 46834 17 | 4.705 % | 33.18/33.23 c | 473230 | 43623 336257 1329666 | 1 46934 17 | 4.705 % | 33.18/33.23 c | 473331 | 43623 336257 1329666 | 1 47035 17 | 4.705 % | 33.18/33.23 c | 473431 | 43623 336257 1329666 | 1 47135 17 | 4.705 % | 33.18/33.23 c | 473531 | 43623 336257 1329666 | 1 47235 17 | 4.705 % | 33.18/33.23 c | 473636 | 43623 336257 1329666 | 1 47340 17 | 4.705 % | 33.18/33.23 c | 473737 | 43623 336257 1329666 | 1 47441 17 | 4.705 % | 33.18/33.23 c | 473837 | 43623 336257 1329666 | 1 47541 17 | 4.705 % | 33.18/33.23 c | 473937 | 43623 336257 1329666 | 1 47641 17 | 4.705 % | 33.18/33.23 c | 474037 | 43623 336257 1329666 | 1 47741 17 | 4.705 % | 33.18/33.23 c | 474137 | 43623 336257 1329666 | 1 47841 17 | 4.705 % | 33.18/33.23 c | 474237 | 43623 336257 1329666 | 1 47941 17 | 4.705 % | 33.18/33.23 c | 474337 | 43623 336257 1329666 | 1 48041 17 | 4.705 % | 33.18/33.23 c | 474437 | 43623 336257 1329666 | 1 48141 18 | 4.705 % | 33.18/33.23 c | 474537 | 43623 336257 1329666 | 1 48241 18 | 4.705 % | 33.18/33.23 c | 474638 | 43623 336257 1329666 | 1 48342 18 | 4.705 % | 33.18/33.23 c | 474739 | 43623 336257 1329666 | 1 48443 18 | 4.705 % | 33.58/33.69 c | 474850 | 43623 336257 1329666 | 1 48554 18 | 4.705 % | 33.58/33.69 c | 474950 | 43623 336257 1329666 | 1 48654 18 | 4.705 % | 33.58/33.69 c | 475051 | 43623 336257 1329666 | 1 48755 18 | 4.705 % | 33.58/33.69 c | 475152 | 43623 336257 1329666 | 1 48856 18 | 4.705 % | 33.58/33.69 c | 475253 | 43623 336257 1329666 | 1 48957 18 | 4.705 % | 33.58/33.69 c | 475354 | 43623 336257 1329666 | 1 49058 18 | 4.705 % | 33.58/33.69 c | 475456 | 43623 336257 1329666 | 1 49160 18 | 4.705 % | 33.58/33.69 c | 475556 | 43623 336257 1329666 | 1 49260 18 | 4.705 % | 33.58/33.69 c | 475657 | 43623 336257 1329666 | 1 49361 18 | 4.705 % | 33.58/33.69 c | 475757 | 43623 336257 1329666 | 1 49461 18 | 4.705 % | 33.58/33.69 c | 475857 | 43623 336257 1329666 | 1 49561 18 | 4.705 % | 33.58/33.69 c | 475961 | 43623 336257 1329666 | 1 49665 18 | 4.705 % | 33.58/33.69 c | 476061 | 43623 336257 1329666 | 1 49765 18 | 4.705 % | 33.58/33.69 c | 476162 | 43623 336257 1329666 | 1 49866 18 | 4.705 % | 33.58/33.69 c | 476262 | 43623 336257 1329666 | 1 49966 18 | 4.705 % | 33.58/33.69 c | 476364 | 43623 336257 1329666 | 1 50068 18 | 4.705 % | 33.58/33.69 c | 476464 | 43623 336257 1329666 | 1 50168 18 | 4.705 % | 33.58/33.69 c | 476568 | 43623 336257 1329666 | 1 50272 18 | 4.705 % | 33.58/33.69 c | 476668 | 43623 336257 1329666 | 1 50372 18 | 4.705 % | 33.58/33.69 c | 476769 | 43623 336257 1329666 | 1 50473 18 | 4.705 % | 33.58/33.69 c | 476869 | 43623 336257 1329666 | 1 50573 18 | 4.705 % | 33.58/33.69 c | 476970 | 43623 336257 1329666 | 1 50674 18 | 4.705 % | 33.58/33.69 c | 477071 | 43623 336257 1329666 | 1 50775 18 | 4.705 % | 33.58/33.69 c | 477172 | 43623 336257 1329666 | 1 50876 18 | 4.705 % | 33.58/33.69 c | 477280 | 43623 336257 1329666 | 1 50984 19 | 4.705 % | 33.58/33.69 c | 477380 | 43623 336257 1329666 | 1 51084 19 | 4.705 % | 33.58/33.69 c | 477481 | 43623 336257 1329666 | 1 51185 19 | 4.705 % | 33.58/33.69 c | 477583 | 43623 336257 1329666 | 1 51287 19 | 4.705 % | 33.58/33.69 c | 477684 | 43623 336257 1329666 | 1 51388 19 | 4.705 % | 33.58/33.69 c | 477784 | 43623 336257 1329666 | 1 51488 19 | 4.705 % | 33.58/33.69 c | 477884 | 43623 336257 1329666 | 1 51588 19 | 4.705 % | 33.58/33.69 c | 477984 | 43623 336257 1329666 | 1 51688 19 | 4.705 % | 33.58/33.69 c | 478084 | 43623 336257 1329666 | 1 51788 19 | 4.705 % | 33.58/33.69 c | 478184 | 43623 336257 1329666 | 1 51888 19 | 4.705 % | 33.58/33.69 c | 478284 | 43623 336257 1329666 | 1 51988 19 | 4.705 % | 33.58/33.69 c | 478384 | 43623 336257 1329666 | 1 52088 19 | 4.705 % | 33.58/33.69 c | 478484 | 43623 336257 1329666 | 1 52188 19 | 4.705 % | 33.58/33.69 c | 478584 | 43623 336257 1329666 | 1 52288 19 | 4.705 % | 33.58/33.69 c | 478686 | 43623 336257 1329666 | 1 52390 19 | 4.705 % | 33.58/33.69 c | 478786 | 43623 336257 1329666 | 1 52490 19 | 4.705 % | 33.58/33.69 c | 478922 | 43623 336257 1329666 | 1 52626 19 | 4.705 % | 33.58/33.69 c | 479022 | 43623 336257 1329666 | 1 52726 19 | 4.705 % | 33.58/33.69 c | 479125 | 43623 336257 1329666 | 1 52829 19 | 4.705 % | 33.58/33.69 c | 479227 | 43623 336257 1329666 | 1 52931 19 | 4.705 % | 33.58/33.69 c | 479327 | 43623 336257 1329666 | 1 53031 19 | 4.705 % | 33.58/33.69 c | 479430 | 43623 336257 1329666 | 1 53134 19 | 4.705 % | 33.58/33.69 c | 479530 | 43623 336257 1329666 | 1 53234 19 | 4.705 % | 33.58/33.69 c | 479633 | 43623 336257 1329666 | 1 53337 19 | 4.705 % | 33.58/33.69 c | 479807 | 43623 336257 1329666 | 1 53511 19 | 4.705 % | 33.58/33.69 c | 479909 | 43623 336257 1329666 | 1 53613 19 | 4.705 % | 34.68/34.70 c | 480009 | 43623 336257 1329666 | 1 53713 19 | 4.705 % | 34.68/34.70 c | 480109 | 43623 336257 1329666 | 1 53813 19 | 4.705 % | 34.68/34.70 c | 480209 | 43623 336257 1329666 | 1 53913 19 | 4.705 % | 34.68/34.70 c | 480310 | 43623 336257 1329666 | 1 54014 19 | 4.705 % | 34.68/34.70 c | 480410 | 43623 336257 1329666 | 1 54114 19 | 4.705 % | 34.68/34.70 c | 480510 | 43623 336257 1329666 | 1 54214 20 | 4.705 % | 34.68/34.70 c | 480704 | 43623 336257 1329666 | 1 54408 20 | 4.705 % | 34.68/34.70 c | 480806 | 43623 336257 1329666 | 1 54510 20 | 4.705 % | 34.68/34.70 c | 480906 | 43623 336257 1329666 | 1 54610 20 | 4.705 % | 34.68/34.70 c | 481006 | 43623 336257 1329666 | 1 54710 20 | 4.705 % | 34.68/34.70 c | 481107 | 43623 336257 1329666 | 1 54811 20 | 4.705 % | 34.68/34.70 c | 481207 | 43623 336257 1329666 | 1 54911 20 | 4.705 % | 34.68/34.70 c | 481307 | 43623 336257 1329666 | 1 55011 20 | 4.705 % | 34.68/34.70 c | 481408 | 43623 336257 1329666 | 1 55112 20 | 4.705 % | 34.68/34.70 c | 481508 | 43623 336257 1329666 | 1 55212 20 | 4.705 % | 34.68/34.70 c | 481608 | 43623 336257 1329666 | 1 55312 20 | 4.705 % | 34.68/34.70 c | 481709 | 43623 336257 1329666 | 1 55413 20 | 4.705 % | 34.68/34.70 c | 481809 | 43623 336257 1329666 | 1 55513 20 | 4.705 % | 34.68/34.70 c | 482691 | 43623 336257 1329666 | 1 56395 20 | 4.705 % | 34.68/34.70 c | 482921 | 43623 336257 1329666 | 1 56625 20 | 4.705 % | 34.68/34.70 c | 483021 | 43623 336257 1329666 | 1 56725 20 | 4.705 % | 34.68/34.70 c | 483121 | 43623 336257 1329666 | 1 56825 20 | 4.705 % | 34.68/34.70 c | 483221 | 43623 336257 1329666 | 1 56925 20 | 4.705 % | 34.68/34.70 c | 483322 | 43623 336257 1329666 | 1 57026 20 | 4.705 % | 34.68/34.70 c | 486748 | 43622 336239 1329605 | 1 58377 20 | 4.708 % | 34.68/34.70 c | 486867 | 43622 336239 1329605 | 1 58496 20 | 4.708 % | 34.68/34.70 c | 486968 | 43622 336239 1329605 | 1 58597 20 | 4.708 % | 34.68/34.70 c | 487073 | 43622 336239 1329605 | 1 58702 20 | 4.708 % | 34.68/34.70 c | 487175 | 43622 336239 1329605 | 1 58804 20 | 4.708 % | 34.68/34.70 c | 487275 | 43622 336239 1329605 | 1 58904 20 | 4.708 % | 34.68/34.70 c | 487375 | 43622 336239 1329605 | 1 59004 20 | 4.708 % | 34.68/34.70 c | 487475 | 43622 336239 1329605 | 1 59104 20 | 4.708 % | 34.68/34.70 c | 487577 | 43622 336239 1329605 | 1 59206 20 | 4.708 % | 34.68/34.70 c | 487678 | 43622 336239 1329605 | 1 59307 20 | 4.708 % | 34.68/34.70 c | 487782 | 43622 336239 1329605 | 1 59411 20 | 4.708 % | 34.68/34.70 c | 487882 | 43622 336239 1329605 | 1 59511 20 | 4.708 % | 34.68/34.70 c | 487982 | 43622 336239 1329605 | 1 59611 20 | 4.708 % | 34.68/34.70 c | 488083 | 43622 336239 1329605 | 1 59712 20 | 4.708 % | 34.68/34.70 c | 488184 | 43622 336239 1329605 | 1 59813 20 | 4.708 % | 34.68/34.70 c | 488338 | 43622 336239 1329605 | 1 59967 20 | 4.708 % | 34.68/34.70 c | 488459 | 43622 336239 1329605 | 1 60088 20 | 4.708 % | 34.68/34.70 c | 488559 | 43622 336239 1329605 | 1 60188 20 | 4.708 % | 34.68/34.70 c | 488659 | 43622 336239 1329605 | 1 60288 20 | 4.708 % | 34.68/34.70 c | 490158 | 43622 336239 1329605 | 1 61787 21 | 4.708 % | 34.68/34.70 c | 490261 | 43622 336239 1329605 | 1 61890 21 | 4.708 % | 34.68/34.70 c | 490363 | 43622 336239 1329605 | 1 61992 21 | 4.708 % | 34.68/34.70 c | 490464 | 43622 336239 1329605 | 1 62093 21 | 4.708 % | 34.68/34.70 c | 490576 | 43622 336239 1329605 | 1 62205 21 | 4.708 % | 34.68/34.70 c | 490676 | 43622 336239 1329605 | 1 62305 21 | 4.708 % | 34.68/34.70 c | 490776 | 43622 336239 1329605 | 1 62405 21 | 4.708 % | 35.19/35.27 c | 490876 | 43622 336239 1329605 | 1 62505 21 | 4.708 % | 35.19/35.27 c | 490976 | 43622 336239 1329605 | 1 62605 21 | 4.708 % | 35.19/35.27 c | 491076 | 43622 336239 1329605 | 1 62705 21 | 4.708 % | 35.19/35.27 c | 491178 | 43622 336239 1329605 | 1 62807 21 | 4.708 % | 35.19/35.27 c | 491298 | 43622 336239 1329605 | 1 62927 21 | 4.708 % | 35.19/35.27 c | 491507 | 43622 336239 1329605 | 1 63136 21 | 4.708 % | 35.19/35.27 c | 491799 | 43622 336239 1329605 | 1 63428 21 | 4.708 % | 35.19/35.27 c | 491923 | 43622 336239 1329605 | 1 63552 21 | 4.708 % | 35.19/35.27 c | 492023 | 43622 336239 1329605 | 1 63652 21 | 4.708 % | 35.19/35.27 c | 492185 | 43622 336239 1329605 | 1 63814 21 | 4.708 % | 35.19/35.27 c | 492285 | 43622 336239 1329605 | 1 63914 21 | 4.708 % | 35.19/35.27 c | 492385 | 43622 336239 1329605 | 1 64014 21 | 4.708 % | 35.19/35.27 c | 492488 | 43622 336239 1329605 | 1 64117 21 | 4.708 % | 35.19/35.27 c | 492590 | 43622 336239 1329605 | 1 64219 21 | 4.708 % | 35.19/35.27 c | 492691 | 43622 336239 1329605 | 1 64320 21 | 4.708 % | 35.19/35.27 c | 492792 | 43622 336239 1329605 | 1 64421 21 | 4.708 % | 35.19/35.27 c | 492892 | 43622 336239 1329605 | 1 64521 21 | 4.708 % | 35.19/35.27 c | 492992 | 43622 336239 1329605 | 1 64621 21 | 4.708 % | 35.19/35.27 c | 493094 | 43622 336239 1329605 | 1 64723 21 | 4.708 % | 35.19/35.27 c | 493194 | 43622 336239 1329605 | 1 64823 21 | 4.708 % | 35.19/35.27 c | 493295 | 43622 336239 1329605 | 1 64924 21 | 4.708 % | 35.19/35.27 c | 493398 | 43622 336239 1329605 | 1 65027 21 | 4.708 % | 35.19/35.27 c | 493528 | 43622 336239 1329605 | 1 65157 21 | 4.708 % | 35.19/35.27 c | 493628 | 43622 336239 1329605 | 1 65257 21 | 4.708 % | 35.19/35.27 c | 493728 | 43622 336239 1329605 | 1 65357 21 | 4.708 % | 35.19/35.27 c | 494177 | 43622 336239 1329605 | 1 65806 21 | 4.708 % | 35.19/35.27 c | 494278 | 43622 336239 1329605 | 1 65907 21 | 4.708 % | 35.19/35.27 c | 494383 | 43622 336239 1329605 | 1 66012 21 | 4.708 % | 35.19/35.27 c | 494503 | 43622 336239 1329605 | 1 66132 21 | 4.708 % | 35.19/35.27 c | 494616 | 43622 336239 1329605 | 1 66245 21 | 4.708 % | 35.19/35.27 c | 494716 | 43622 336239 1329605 | 1 66345 21 | 4.708 % | 35.19/35.27 c | 494820 | 43622 336239 1329605 | 1 66449 21 | 4.708 % | 35.19/35.27 c | 494920 | 43622 336239 1329605 | 1 66549 21 | 4.708 % | 35.19/35.27 c | 495024 | 43622 336239 1329605 | 1 66653 21 | 4.708 % | 35.19/35.27 c | 495124 | 43622 336239 1329605 | 1 66753 22 | 4.708 % | 35.19/35.27 c | 495228 | 43622 336239 1329605 | 1 66857 22 | 4.708 % | 35.19/35.27 c | 495617 | 43622 336239 1329605 | 1 67246 22 | 4.708 % | 35.19/35.27 c | 495734 | 43622 336239 1329605 | 1 67363 22 | 4.708 % | 35.19/35.27 c | 496022 | 43622 336239 1329605 | 1 67651 22 | 4.708 % | 35.19/35.27 c | 496172 | 43622 336239 1329605 | 1 67801 22 | 4.708 % | 35.19/35.27 c | 496500 | 43622 336239 1329605 | 1 68129 22 | 4.708 % | 35.19/35.27 c | 496601 | 43622 336239 1329605 | 1 68230 22 | 4.708 % | 35.19/35.27 c | 496701 | 43622 336239 1329605 | 1 68330 22 | 4.708 % | 35.19/35.27 c | 496801 | 43622 336239 1329605 | 1 68430 22 | 4.708 % | 35.19/35.27 c | 496901 | 43622 336239 1329605 | 1 68530 22 | 4.708 % | 35.19/35.27 c | 497004 | 43622 336239 1329605 | 1 68633 22 | 4.708 % | 35.19/35.27 c | 497105 | 43622 336239 1329605 | 1 68734 22 | 4.708 % | 35.19/35.27 c | 497205 | 43622 336239 1329605 | 1 68834 22 | 4.708 % | 35.19/35.27 c | 497307 | 43622 336239 1329605 | 1 68936 22 | 4.708 % | 35.19/35.27 c | 497408 | 43622 336239 1329605 | 1 69037 22 | 4.708 % | 35.78/35.83 c | 497508 | 43622 336239 1329605 | 1 69137 22 | 4.708 % | 35.78/35.83 c | 497622 | 43622 336239 1329605 | 1 69251 22 | 4.708 % | 35.78/35.83 c | 497722 | 43622 336239 1329605 | 1 69351 22 | 4.708 % | 35.78/35.83 c | 497823 | 43622 336239 1329605 | 1 69452 22 | 4.708 % | 35.78/35.83 c | 497923 | 43622 336239 1329605 | 1 69552 22 | 4.708 % | 35.78/35.83 c | 498025 | 43622 336239 1329605 | 1 69654 22 | 4.708 % | 35.78/35.83 c | 498125 | 43622 336239 1329605 | 1 69754 22 | 4.708 % | 35.78/35.83 c | 498225 | 43622 336239 1329605 | 1 69854 22 | 4.708 % | 35.78/35.83 c | 498325 | 43622 336239 1329605 | 1 69954 22 | 4.708 % | 35.78/35.83 c | 498647 | 43622 336239 1329605 | 1 70276 22 | 4.708 % | 35.78/35.83 c | 498748 | 43622 336239 1329605 | 1 70377 22 | 4.708 % | 35.78/35.83 c | 498848 | 43622 336239 1329605 | 1 70477 22 | 4.708 % | 35.78/35.83 c | 498948 | 43622 336239 1329605 | 1 70577 22 | 4.708 % | 35.78/35.83 c | 499048 | 43622 336239 1329605 | 1 70677 22 | 4.708 % | 35.78/35.83 c | 499225 | 43622 336239 1329605 | 1 70854 22 | 4.708 % | 35.78/35.83 c | 499327 | 43622 336239 1329605 | 1 70956 22 | 4.708 % | 35.78/35.83 c | 499427 | 43622 336239 1329605 | 1 71056 22 | 4.708 % | 35.78/35.83 c | 499527 | 43622 336239 1329605 | 1 71156 22 | 4.708 % | 35.78/35.83 c | 499627 | 43622 336239 1329605 | 1 71256 22 | 4.708 % | 35.78/35.83 c | 499728 | 43622 336239 1329605 | 1 71357 22 | 4.708 % | 35.78/35.83 c | 499859 | 43622 336239 1329605 | 1 71488 22 | 4.708 % | 35.78/35.83 c | 499962 | 43622 336239 1329605 | 1 71591 22 | 4.708 % | 35.78/35.83 c | 500276 | 43622 336239 1329605 | 1 71905 22 | 4.708 % | 35.78/35.83 c | 500376 | 43622 336239 1329605 | 1 72005 22 | 4.708 % | 35.78/35.83 c | 500479 | 43622 336239 1329605 | 1 72108 22 | 4.708 % | 35.78/35.83 c | 500582 | 43622 336239 1329605 | 1 72211 22 | 4.708 % | 35.78/35.83 c | 500682 | 43622 336239 1329605 | 1 72311 22 | 4.708 % | 35.78/35.83 c | 500782 | 43622 336239 1329605 | 1 72411 22 | 4.708 % | 35.78/35.83 c | 500889 | 43622 336239 1329605 | 1 72518 22 | 4.708 % | 35.78/35.83 c | 500990 | 43622 336239 1329605 | 1 72619 22 | 4.708 % | 35.78/35.83 c | 501090 | 43622 336239 1329605 | 1 72719 22 | 4.708 % | 35.78/35.83 c | 501190 | 43622 336239 1329605 | 1 72819 22 | 4.708 % | 35.78/35.83 c | 501290 | 43622 336239 1329605 | 1 72919 22 | 4.708 % | 35.78/35.83 c | 501393 | 43622 336239 1329605 | 1 73022 22 | 4.708 % | 35.78/35.83 c | 501493 | 43622 336239 1329605 | 1 73122 22 | 4.708 % | 35.78/35.83 c | 501593 | 43622 336239 1329605 | 1 73222 22 | 4.708 % | 35.78/35.83 c | 501696 | 43622 336239 1329605 | 1 73325 22 | 4.708 % | 35.78/35.83 c | 501796 | 43622 336239 1329605 | 1 73425 23 | 4.708 % | 35.78/35.83 c | 501900 | 43622 336239 1329605 | 1 73529 23 | 4.708 % | 35.78/35.83 c | 502005 | 43622 336239 1329605 | 1 73634 23 | 4.708 % | 35.78/35.83 c | 502105 | 43622 336239 1329605 | 1 73734 23 | 4.708 % | 35.78/35.83 c | 502205 | 43622 336239 1329605 | 1 73834 23 | 4.708 % | 35.78/35.83 c | 502563 | 43622 336239 1329605 | 1 74192 23 | 4.708 % | 35.78/35.83 c | 502671 | 43622 336239 1329605 | 1 74300 23 | 4.708 % | 35.78/35.83 c | 502771 | 43622 336239 1329605 | 1 74400 23 | 4.708 % | 35.78/35.83 c | 502871 | 43622 336239 1329605 | 1 74500 23 | 4.708 % | 35.78/35.83 c | 502973 | 43622 336239 1329605 | 1 74602 23 | 4.708 % | 35.78/35.83 c | 503078 | 43622 336239 1329605 | 1 74707 23 | 4.708 % | 35.78/35.83 c | 503178 | 43622 336239 1329605 | 1 74807 23 | 4.708 % | 35.78/35.83 c | 503280 | 43622 336239 1329605 | 1 74909 23 | 4.708 % | 39.68/39.79 c | 503380 | 43622 336239 1329605 | 1 75009 23 | 4.708 % | 39.68/39.79 c | 503480 | 43622 336239 1329605 | 1 75109 23 | 4.708 % | 39.68/39.79 c | 503583 | 43622 336239 1329605 | 1 75212 23 | 4.708 % | 39.68/39.79 c | 503803 | 43622 336239 1329605 | 1 75432 23 | 4.708 % | 39.68/39.79 c | 515016 | 43622 336239 1329605 | 1 86645 22 | 4.708 % | 39.68/39.79 c | 515116 | 43622 336239 1329605 | 1 86745 22 | 4.708 % | 39.68/39.79 c | 515216 | 43622 336239 1329605 | 1 86845 22 | 4.708 % | 39.68/39.79 c | 515316 | 43622 336239 1329605 | 1 86945 22 | 4.708 % | 39.68/39.79 c | 515416 | 43622 336239 1329605 | 1 87045 22 | 4.708 % | 39.68/39.79 c | 516691 | 43622 336239 1329605 | 1 88320 22 | 4.708 % | 39.68/39.79 c | 516792 | 43622 336239 1329605 | 1 88421 22 | 4.708 % | 39.68/39.79 c | 516894 | 43622 336239 1329605 | 1 88523 22 | 4.708 % | 39.68/39.79 c | 516994 | 43622 336239 1329605 | 1 88623 22 | 4.708 % | 39.68/39.79 c | 517106 | 43622 336239 1329605 | 1 88735 22 | 4.708 % | 39.68/39.79 c | 517206 | 43622 336239 1329605 | 1 88835 22 | 4.708 % | 39.68/39.79 c | 517307 | 43622 336239 1329605 | 1 88936 22 | 4.708 % | 39.68/39.79 c | 517407 | 43622 336239 1329605 | 1 89036 22 | 4.708 % | 39.68/39.79 c | 517591 | 43622 336239 1329605 | 1 89220 22 | 4.708 % | 39.68/39.79 c | 517691 | 43622 336239 1329605 | 1 89320 22 | 4.708 % | 39.68/39.79 c | 517792 | 43622 336239 1329605 | 1 89421 22 | 4.708 % | 39.68/39.79 c | 518077 | 43622 336239 1329605 | 1 89706 22 | 4.708 % | 39.68/39.79 c | 518177 | 43622 336239 1329605 | 1 89806 22 | 4.708 % | 39.68/39.79 c | 519182 | 43622 336239 1329605 | 1 90811 23 | 4.708 % | 39.68/39.79 c | 519284 | 43622 336239 1329605 | 1 90913 23 | 4.708 % | 39.68/39.79 c | 519384 | 43622 336239 1329605 | 1 91013 23 | 4.708 % | 39.68/39.79 c | 519484 | 43622 336239 1329605 | 1 91113 23 | 4.708 % | 39.68/39.79 c | 519584 | 43622 336239 1329605 | 1 91213 23 | 4.708 % | 39.68/39.79 c | 519686 | 43622 336239 1329605 | 1 91315 23 | 4.708 % | 39.68/39.79 c | 519867 | 43622 336239 1329605 | 1 91496 23 | 4.708 % | 39.68/39.79 c | 519967 | 43622 336239 1329605 | 1 91596 23 | 4.708 % | 39.68/39.79 c | 520070 | 43622 336239 1329605 | 1 91699 23 | 4.708 % | 39.68/39.79 c | 520172 | 43622 336239 1329605 | 1 91801 23 | 4.708 % | 39.68/39.79 c | 520274 | 43622 336239 1329605 | 1 91903 23 | 4.708 % | 39.68/39.79 c | 520374 | 43622 336239 1329605 | 1 92003 23 | 4.708 % | 39.68/39.79 c | 536088 | 43617 336201 1329462 | 1 61595 19 | 4.719 % | 39.68/39.79 c | 536189 | 43617 336201 1329462 | 1 61696 19 | 4.719 % | 39.68/39.79 c | 536289 | 43617 336201 1329462 | 1 61796 19 | 4.719 % | 39.68/39.79 c | 536389 | 43617 336201 1329462 | 1 61896 19 | 4.719 % | 39.68/39.79 c | 536489 | 43617 336201 1329462 | 1 61996 19 | 4.719 % | 39.68/39.79 c | 536589 | 43617 336201 1329462 | 1 62096 19 | 4.719 % | 39.68/39.79 c | 536689 | 43617 336201 1329462 | 1 62196 19 | 4.719 % | 39.68/39.79 c | 536789 | 43617 336201 1329462 | 1 62296 19 | 4.719 % | 39.68/39.79 c | 536890 | 43617 336201 1329462 | 1 62397 19 | 4.719 % | 39.68/39.79 c | 553634 | 43616 336192 1329421 | 1 72556 20 | 4.721 % | 39.68/39.79 c | 556151 | 43616 336192 1329421 | 1 75073 20 | 4.721 % | 39.68/39.79 c | 556251 | 43616 336192 1329421 | 1 75173 20 | 4.721 % | 39.68/39.79 c | 556352 | 43616 336192 1329421 | 1 75274 20 | 4.721 % | 39.68/39.79 c | 556453 | 43616 336192 1329421 | 1 75375 20 | 4.721 % | 39.68/39.79 c | 556553 | 43616 336192 1329421 | 1 75475 20 | 4.721 % | 39.68/39.79 c | 556959 | 43616 336192 1329421 | 1 75881 20 | 4.721 % | 42.98/43.04 c | 557060 | 43616 336192 1329421 | 1 75982 20 | 4.721 % | 42.98/43.04 c | 557160 | 43616 336192 1329421 | 1 76082 20 | 4.721 % | 42.98/43.04 c | 557260 | 43616 336192 1329421 | 1 76182 20 | 4.721 % | 42.98/43.04 c | 557360 | 43616 336192 1329421 | 1 76282 20 | 4.721 % | 42.98/43.04 c | 557461 | 43616 336192 1329421 | 1 76383 20 | 4.721 % | 42.98/43.04 c | 557561 | 43616 336192 1329421 | 1 76483 20 | 4.721 % | 42.98/43.04 c | 558012 | 43616 336192 1329421 | 1 76934 20 | 4.721 % | 42.98/43.04 c | 558113 | 43616 336192 1329421 | 1 77035 20 | 4.721 % | 42.98/43.04 c | 558274 | 43616 336192 1329421 | 1 77196 20 | 4.721 % | 42.98/43.04 c | 561089 | 43616 336192 1329421 | 1 80011 20 | 4.721 % | 42.98/43.04 c | 561254 | 43616 336192 1329421 | 1 80176 20 | 4.721 % | 42.98/43.04 c | 561609 | 43616 336192 1329421 | 1 80531 20 | 4.721 % | 42.98/43.04 c | 562105 | 43616 336192 1329421 | 1 81027 20 | 4.721 % | 42.98/43.04 c | 562256 | 43616 336192 1329421 | 1 81178 20 | 4.721 % | 42.98/43.04 c | 562425 | 43616 336192 1329421 | 1 81347 20 | 4.721 % | 42.98/43.04 c | 562568 | 43616 336192 1329421 | 1 81490 20 | 4.721 % | 42.98/43.04 c | 562668 | 43616 336192 1329421 | 1 81590 20 | 4.721 % | 42.98/43.04 c | 562768 | 43616 336192 1329421 | 1 81690 20 | 4.721 % | 42.98/43.04 c | 562870 | 43616 336192 1329421 | 1 81792 20 | 4.721 % | 42.98/43.04 c | 563261 | 43616 336192 1329421 | 1 82183 20 | 4.721 % | 42.98/43.04 c | 565779 | 43612 336192 1329421 | 1 84700 20 | 4.729 % | 42.98/43.04 c | 567557 | 43612 336178 1329345 | 1 86417 20 | 4.729 % | 42.98/43.04 c | 567661 | 43612 336178 1329345 | 1 86521 20 | 4.729 % | 42.98/43.04 c | 568577 | 43612 336178 1329345 | 1 87437 20 | 4.729 % | 42.98/43.04 c | 568708 | 43612 336178 1329345 | 1 87568 20 | 4.729 % | 42.98/43.04 c | 569223 | 43612 336178 1329345 | 1 88083 20 | 4.729 % | 42.98/43.04 c | 569323 | 43612 336178 1329345 | 1 88183 20 | 4.729 % | 42.98/43.04 c | 569423 | 43612 336178 1329345 | 1 88283 20 | 4.729 % | 42.98/43.04 c | 569733 | 43612 336178 1329345 | 1 88593 20 | 4.729 % | 42.98/43.04 c | 569833 | 43612 336178 1329345 | 1 88693 20 | 4.729 % | 42.98/43.04 c | 569934 | 43612 336178 1329345 | 1 88794 20 | 4.729 % | 42.98/43.04 c | 570320 | 43612 336178 1329345 | 1 89180 20 | 4.729 % | 42.98/43.04 c | 571979 | 43612 336178 1329345 | 1 90839 20 | 4.729 % | 42.98/43.04 c | 572508 | 43612 336178 1329345 | 1 91368 20 | 4.729 % | 42.98/43.04 c | 572608 | 43612 336178 1329345 | 1 91468 20 | 4.729 % | 42.98/43.04 c | 574037 | 43612 336178 1329345 | 1 46481 16 | 4.729 % | 42.98/43.04 c | 574138 | 43612 336178 1329345 | 1 46582 16 | 4.729 % | 42.98/43.04 c | 577233 | 43612 336178 1329345 | 1 49677 16 | 4.729 % | 42.98/43.04 c | 577334 | 43612 336178 1329345 | 1 49778 16 | 4.729 % | 42.98/43.04 c | 577739 | 43612 336178 1329345 | 1 50183 16 | 4.729 % | 42.98/43.04 c | 608973 | 43612 336178 1329345 | 1 81417 17 | 4.729 % | 42.98/43.04 c | 609073 | 43612 336178 1329345 | 1 81517 17 | 4.729 % | 42.98/43.04 c | 611251 | 43612 336178 1329345 | 1 83695 17 | 4.729 % | 42.98/43.04 c | 611352 | 43612 336178 1329345 | 1 83796 18 | 4.729 % | 42.98/43.04 c | 612727 | 43612 336178 1329345 | 1 85171 18 | 4.729 % | 42.98/43.04 c | 614732 | 43612 336178 1329345 | 1 87176 18 | 4.729 % | 42.98/43.04 c | 614902 | 43612 336178 1329345 | 1 87346 18 | 4.729 % | 42.98/43.04 c | 615002 | 43612 336178 1329345 | 1 87446 18 | 4.729 % | 42.98/43.04 c | 618665 | 43612 336178 1329345 | 1 91109 18 | 4.729 % | 45.78/45.81 c | 626778 | 43612 336178 1329345 | 1 99222 18 | 4.729 % | 45.78/45.81 c | 639098 | 43612 336178 1329345 | 1 60331 15 | 4.729 % | 45.78/45.81 c | 640875 | 43612 336178 1329345 | 1 62108 15 | 4.729 % | 45.78/45.81 c | 640975 | 43612 336178 1329345 | 1 62208 15 | 4.729 % | 45.78/45.81 c | 663354 | 40139 335984 1328275 | 1 63239 14 | 12.316 % | 45.78/45.81 c =============================================================================== 45.78/45.81 c restarts : 1342 45.78/45.81 c nb ReduceDB : 21 45.78/45.81 c nb removed Clauses : 561956 45.78/45.81 c nb learnts DL2 : 2169 45.78/45.81 c nb learnts size 2 : 600 45.78/45.81 c nb learnts size 1 : 85 45.78/45.81 c conflicts : 663354 (15720 /sec) 45.78/45.81 c decisions : 2424524 (0.00 % random) (57455 /sec) 45.78/45.81 c propagations : 161377328 (3824236 /sec) 45.78/45.81 c conflict literals : 17705071 (35.68 % deleted) 45.78/45.81 c nb reduced Clauses : 2786 45.78/45.81 c CPU time : 42.1986 s 45.78/45.81 45.78/45.81 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303699-1303902826/watcher-3303699-1303902826 -o /tmp/evaluation-result-3303699-1303902826/solver-3303699-1303902826 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303699-1303902826.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.04 1.93 2/178 30346 /proc/meminfo: memFree=19525252/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 [startup+0.0392311 s] /proc/loadavg: 2.03 2.04 1.93 2/178 30346 /proc/meminfo: memFree=19525252/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100237 s] /proc/loadavg: 2.03 2.04 1.93 2/178 30346 /proc/meminfo: memFree=19525252/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300242 s] /proc/loadavg: 2.03 2.04 1.93 2/178 30346 /proc/meminfo: memFree=19525252/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701161 s] /proc/loadavg: 2.03 2.04 1.93 2/178 30346 /proc/meminfo: memFree=19525252/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50102 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30348 /proc/meminfo: memFree=19389580/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 [pid=30347] ppid=30346 vsize=158296 CPUtime=1.49 cores=0,2,4,6 /proc/30347/stat : 30347 (SatELite_releas) R 30346 30346 30110 0 -1 4202496 35640 0 0 0 140 9 0 0 25 0 1 0 482698797 162095104 33000 33554432000 134512640 135144242 4287884960 18446744073709551615 134585357 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30347/statm: 39574 33000 77 155 0 39417 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 167000 [startup+3.1007 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30348 /proc/meminfo: memFree=19365772/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 482698797 8912896 252 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30346/statm: 2176 252 211 178 0 69 0 [pid=30347] ppid=30346 vsize=163580 CPUtime=3.09 cores=0,2,4,6 /proc/30347/stat : 30347 (SatELite_releas) R 30346 30346 30110 0 -1 4202496 37518 0 0 0 297 12 0 0 25 0 1 0 482698797 167505920 34223 33554432000 134512640 135144242 4287884960 18446744073709551615 134550702 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30347/statm: 40895 34223 77 155 0 40738 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 172284 [startup+6.30114 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30349 /proc/meminfo: memFree=19450488/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=50840 CPUtime=2.72 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 12606 0 0 0 271 1 0 0 25 0 1 0 482699154 52060160 8885 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 12710 8885 251 17 0 9351 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59544 [startup+12.701 s] /proc/loadavg: 2.02 2.03 1.93 3/180 30350 /proc/meminfo: memFree=19421544/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=9.12 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 23274 0 0 0 909 3 0 0 25 0 1 0 482699154 83841024 15712 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 15712 251 17 0 17110 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 90580 [startup+25.5007 s] /proc/loadavg: 2.02 2.03 1.93 3/180 30350 /proc/meminfo: memFree=19416572/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=21.92 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 23897 0 0 0 2189 3 0 0 25 0 1 0 482699154 83841024 16321 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/30349/statm: 20469 16321 251 17 0 17110 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 90580 Solver just ended. Dumping a history of the last processes samples [startup+38.3005 s] /proc/loadavg: 2.02 2.03 1.93 3/180 30350 /proc/meminfo: memFree=19412712/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=34.72 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 3468 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 90580 [startup+41.501 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459832/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=37.92 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 3788 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 90580 [startup+43.1007 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459864/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=39.52 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 3948 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 43.08 Current children cumulated vsize (KiB) 90580 [startup+44.7004 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459864/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=41.12 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 4108 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 90580 [startup+45.5003 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459864/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=41.92 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 4188 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 45.48 Current children cumulated vsize (KiB) 90580 [startup+45.7002 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459864/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=42.12 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 4208 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 45.68 Current children cumulated vsize (KiB) 90580 [startup+45.8002 s] /proc/loadavg: 2.01 2.03 1.93 3/180 30351 /proc/meminfo: memFree=19459864/32951124 swapFree=67111524/67111528 [pid=30346] ppid=30344 vsize=8704 CPUtime=3.56 cores=0,2,4,6 /proc/30346/stat : 30346 (glucose.sh) S 30344 30346 30110 0 -1 4202496 360 40723 0 0 0 0 342 14 18 0 1 0 482698797 8912896 254 33554432000 4194304 4922060 140736733555888 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/30346/statm: 2176 254 211 178 0 69 0 [pid=30349] ppid=30346 vsize=81876 CPUtime=42.22 cores=0,2,4,6 /proc/30349/stat : 30349 (glucose_static) R 30346 30346 30110 0 -1 4202496 24265 0 0 0 4218 4 0 0 25 0 1 0 482699154 83841024 16674 33554432000 4194304 4260849 140736113539184 18446744073709551615 4224534 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/30349/statm: 20469 16674 251 17 0 17110 0 Current children cumulated CPU time (s) 45.78 Current children cumulated vsize (KiB) 90580 Child status: 20 Real time (s): 45.8271 CPU time (s): 45.824 CPU user time (s): 45.6211 CPU system time (s): 0.202969 CPU usage (%): 99.9932 Max. virtual memory (cumulated for all children) (KiB): 175472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.6211 system time used= 0.202969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65563 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 202 runsolver used 0.090986 second user time and 0.154976 second system time The end
Begin job on node144 at 2011-04-27 13:13:47 IDJOB=3303699 IDBENCH=69619 IDSOLVER=1687 FILE ID=node144/3303699-1303902826 RUNJOBID= node144-1303899330-30128 PBS_JOBID= 13164504 Free space on /tmp= 72400 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303699-1303902826/watcher-3303699-1303902826 -o /tmp/evaluation-result-3303699-1303902826/solver-3303699-1303902826 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303699-1303902826.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2 RANDOM SEED=284808678 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19525408 kB Buffers: 2198024 kB Cached: 10415240 kB SwapCached: 4 kB Active: 4654692 kB Inactive: 8209460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19525408 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 17876 kB Writeback: 0 kB AnonPages: 250324 kB Mapped: 15208 kB Slab: 498828 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 403952 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72400 MiB End job on node144 at 2011-04-27 13:14:33