0.00/0.00 c Parsing...
0.00/0.17 c ==============================================================================
0.00/0.17 c | | ORIGINAL | LEARNT | |
0.00/0.17 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.17 c ==============================================================================
0.00/0.17 c | 0 | 180234 522030 | 54070 0 0 nan | 0.000 % |
0.00/0.88 c | 0 | 120270 407842 | -- 0 -- -- | -- | -57282/-106232
0.00/0.88 c ==============================================================================
0.00/0.88 c Result : #vars: 20559 #clauses: 120270 #literals: 407842
0.00/0.88 c CPU time: 0.826874 s
0.00/0.88 c ==============================================================================
0.98/1.02 c This is MiniSat 2.0 beta
0.98/1.02 c WARNING: for repeatability, setting FPU to use double precision
0.98/1.02 c ============================[ Problem Statistics ]=============================
0.98/1.02 c | |
0.98/1.02 c | Number of variables: 20559 |
0.98/1.02 c | Number of clauses: 120270 |
0.98/1.10 c | Parsing time: 0.07 s |
0.98/1.10 c ============================[ Search Statistics ]==============================
0.98/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.98/1.10 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.98/1.10 c ===============================================================================
0.98/1.10 c | 0 | 20559 120270 407842 | 40090 0 nan | 0.000 % |
1.01/1.11 c | 100 | 20559 120270 407842 | 40090 100 5 | 0.000 % |
1.01/1.12 c | 200 | 20559 120270 407842 | 40090 200 5 | 0.000 % |
1.01/1.13 c | 300 | 20559 120270 407842 | 40090 300 5 | 0.000 % |
1.01/1.14 c | 410 | 20559 120270 407842 | 40090 410 7 | 0.000 % |
1.01/1.14 c | 510 | 20559 120270 407842 | 40090 510 6 | 0.000 % |
1.01/1.16 c | 621 | 20557 120270 407842 | 40090 620 6 | 0.015 % |
1.01/1.16 c | 742 | 20557 120270 407842 | 40090 741 6 | 0.015 % |
1.01/1.17 c | 842 | 20557 120270 407842 | 40090 841 6 | 0.015 % |
1.01/1.19 c | 952 | 20557 120270 407842 | 40090 951 6 | 0.015 % |
1.01/1.22 c | 1073 | 20555 120270 407842 | 40090 1070 6 | 0.024 % |
1.01/1.24 c | 1206 | 20554 120270 407842 | 40090 1202 6 | 0.044 % |
1.01/1.26 c | 1306 | 20554 120270 407842 | 40090 1302 6 | 0.044 % |
1.01/1.30 c | 1416 | 20554 120270 407842 | 40090 1412 6 | 0.044 % |
1.01/1.31 c | 1537 | 20554 120270 407842 | 40090 1533 6 | 0.044 % |
1.01/1.34 c | 1670 | 20554 120270 407842 | 40090 1666 6 | 0.044 % |
1.01/1.39 c | 1816 | 20550 120221 407709 | 40090 1809 6 | 0.044 % |
1.01/1.44 c | 1916 | 20549 120221 407709 | 40090 1908 6 | 0.049 % |
1.01/1.48 c | 2026 | 20549 120221 407709 | 40090 2018 6 | 0.049 % |
1.01/1.48 c | 2148 | 20548 120221 407709 | 40090 2139 6 | 0.054 % |
1.01/1.58 c | 2281 | 20548 120221 407709 | 40090 2272 6 | 0.054 % |
1.01/1.59 c | 2427 | 20548 120221 407709 | 40090 2418 7 | 0.054 % |
1.01/1.59 c | 2588 | 20548 120221 407709 | 40090 2579 7 | 0.054 % |
1.01/1.60 c | 2688 | 20548 120221 407709 | 40090 2679 7 | 0.054 % |
1.01/1.60 c | 2799 | 20548 120221 407709 | 40090 2790 7 | 0.054 % |
1.01/1.60 c | 2920 | 20548 120221 407709 | 40090 2911 7 | 0.054 % |
1.01/1.61 c | 3053 | 20548 120221 407709 | 40090 3044 7 | 0.054 % |
1.01/1.61 c | 3201 | 20548 120221 407709 | 40090 3192 7 | 0.054 % |
1.01/1.62 c | 3361 | 20548 120221 407709 | 40090 3352 7 | 0.054 % |
1.01/1.63 c | 3537 | 20548 120221 407709 | 40090 3528 7 | 0.054 % |
1.01/1.64 c | 3637 | 20548 120208 407672 | 40090 3627 7 | 0.054 % |
1.01/1.64 c | 3748 | 20548 120208 407672 | 40090 3738 7 | 0.054 % |
1.01/1.65 c | 3869 | 20548 120208 407672 | 40090 3859 7 | 0.054 % |
1.01/1.66 c | 4002 | 20548 120208 407672 | 40090 3992 7 | 0.054 % |
1.01/1.66 c | 4148 | 20548 120208 407672 | 40090 4138 7 | 0.054 % |
1.01/1.66 c | 4310 | 20548 120208 407672 | 40090 4300 7 | 0.054 % |
1.01/1.67 c | 4487 | 20548 120208 407672 | 40090 4477 7 | 0.054 % |
1.01/1.68 c | 4681 | 20548 120208 407672 | 40090 4671 7 | 0.054 % |
1.01/1.68 c | 4781 | 20548 120208 407672 | 40090 4771 7 | 0.054 % |
1.01/1.68 c | 4892 | 20548 120208 407672 | 40090 4882 7 | 0.054 % |
1.01/1.69 c | 5014 | 20548 120208 407672 | 40090 5004 7 | 0.054 % |
1.01/1.69 c | 5147 | 20548 120208 407672 | 40090 5137 7 | 0.054 % |
1.01/1.69 c | 5293 | 20548 120208 407672 | 40090 5283 7 | 0.054 % |
1.01/1.70 c | 5455 | 20548 120208 407672 | 40090 5445 7 | 0.054 % |
1.01/1.70 c | 5631 | 20548 120208 407672 | 40090 5621 8 | 0.054 % |
1.01/1.71 c | 5824 | 20548 120208 407672 | 40090 5814 8 | 0.054 % |
1.01/1.71 c | 6036 | 20548 120208 407672 | 40090 6026 8 | 0.054 % |
1.01/1.72 c | 6137 | 20548 120208 407672 | 40090 6127 8 | 0.054 % |
1.01/1.72 c | 6250 | 20548 120208 407672 | 40090 6240 8 | 0.054 % |
1.01/1.73 c | 6371 | 20548 120208 407672 | 40090 6361 8 | 0.054 % |
1.01/1.73 c | 6504 | 20548 120208 407672 | 40090 6494 8 | 0.054 % |
1.01/1.74 c | 6652 | 20548 120208 407672 | 40090 6642 8 | 0.054 % |
1.01/1.74 c | 6813 | 20548 120208 407672 | 40090 6803 8 | 0.054 % |
1.01/1.75 c | 6990 | 20544 120208 407672 | 40090 6979 8 | 0.083 % |
1.01/1.75 c | 7183 | 20544 120208 407672 | 40090 7172 8 | 0.083 % |
1.01/1.76 c | 7396 | 20544 120208 407672 | 40090 7385 8 | 0.083 % |
1.01/1.77 c | 7629 | 20544 120208 407672 | 40090 7618 8 | 0.083 % |
1.01/1.77 c | 7729 | 20544 120208 407672 | 40090 7718 8 | 0.083 % |
1.01/1.78 c | 7840 | 20544 120208 407672 | 40090 7829 8 | 0.083 % |
1.01/1.78 c | 7962 | 20544 120208 407672 | 40090 7951 8 | 0.083 % |
1.01/1.78 c | 8097 | 20544 120208 407672 | 40090 8086 8 | 0.083 % |
1.01/1.79 c | 8243 | 20544 120208 407672 | 40090 8232 8 | 0.083 % |
1.01/1.79 c | 8405 | 20544 120208 407672 | 40090 8394 8 | 0.083 % |
1.01/1.80 c | 8582 | 20544 120208 407672 | 40090 8571 8 | 0.083 % |
1.01/1.80 c | 8775 | 20544 120208 407672 | 40090 8764 8 | 0.083 % |
1.01/1.81 c | 8989 | 20544 120208 407672 | 40090 8978 8 | 0.083 % |
1.01/1.82 c | 9222 | 20544 120208 407672 | 40090 9211 8 | 0.083 % |
1.01/1.84 c | 9479 | 20544 120208 407672 | 40090 9468 9 | 0.083 % |
1.01/1.85 c | 9581 | 20544 120208 407672 | 40090 9570 9 | 0.083 % |
1.01/1.86 c | 9691 | 20544 120208 407672 | 40090 9680 9 | 0.083 % |
1.01/1.86 c | 9813 | 20544 120208 407672 | 40090 9802 9 | 0.083 % |
1.01/1.86 c | 9946 | 20544 120208 407672 | 40090 9935 9 | 0.083 % |
1.01/1.87 c | 10094 | 20544 120208 407672 | 2147483647 10083 9 | 0.083 % |
1.01/1.87 c | 10255 | 20544 120208 407672 | 2147483647 10244 9 | 0.083 % |
1.01/1.88 c | 10431 | 20544 120208 407672 | 2147483647 10420 9 | 0.083 % |
1.01/1.89 c | 10626 | 20544 120208 407672 | 2147483647 10615 9 | 0.083 % |
1.01/1.92 c | 10839 | 20542 120208 407672 | 2147483647 10827 9 | 0.092 % |
1.01/1.93 c | 11072 | 20542 120208 407672 | 2147483647 11060 9 | 0.092 % |
1.01/1.94 c | 11330 | 20542 120208 407672 | 2147483647 11318 9 | 0.092 % |
1.01/1.96 c | 11611 | 20540 120144 407479 | 2147483647 11554 9 | 0.092 % |
1.01/1.96 c | 11712 | 20540 120144 407479 | 2147483647 11655 9 | 0.092 % |
1.01/1.96 c | 11823 | 20540 120144 407479 | 2147483647 11766 9 | 0.092 % |
1.01/1.97 c | 11946 | 20540 120144 407479 | 2147483647 11889 9 | 0.092 % |
1.01/1.98 c | 12079 | 20540 120144 407479 | 2147483647 12022 9 | 0.092 % |
1.01/1.98 c | 12226 | 20540 120144 407479 | 2147483647 12169 9 | 0.092 % |
1.01/1.99 c | 12386 | 20540 120144 407479 | 2147483647 12329 9 | 0.092 % |
1.01/1.99 c | 12562 | 20536 120144 407479 | 2147483647 12503 9 | 0.165 % |
1.01/2.00 c | 12756 | 20533 120144 407479 | 2147483647 12697 9 | 0.165 % |
1.01/2.01 c | 12970 | 20533 120144 407479 | 2147483647 12911 9 | 0.165 % |
1.01/2.02 c | 13204 | 20533 120144 407479 | 2147483647 13145 9 | 0.165 % |
1.01/2.04 c | 13461 | 20525 120144 407479 | 2147483647 13402 9 | 0.165 % |
1.01/2.05 c | 13745 | 20525 120144 407479 | 2147483647 13686 9 | 0.165 % |
1.01/2.06 c | 14055 | 20525 120144 407479 | 2147483647 13996 9 | 0.165 % |
1.01/2.06 c | 14157 | 20525 120144 407479 | 2147483647 14098 9 | 0.165 % |
1.01/2.07 c | 14269 | 20525 120144 407479 | 2147483647 14210 9 | 0.165 % |
1.01/2.07 c | 14390 | 20525 120144 407479 | 2147483647 14331 9 | 0.165 % |
1.01/2.08 c | 14523 | 20525 120144 407479 | 2147483647 14464 9 | 0.165 % |
1.01/2.09 c | 14669 | 20525 120144 407479 | 2147483647 14610 9 | 0.165 % |
1.01/2.09 c | 14830 | 20525 120144 407479 | 2147483647 14771 9 | 0.165 % |
2.07/2.16 c | 15006 | 20525 120144 407479 | 2147483647 14947 9 | 0.165 % |
2.07/2.19 c | 15200 | 20525 120144 407479 | 2147483647 15141 9 | 0.165 % |
2.17/2.29 c | 15412 | 20525 120144 407479 | 2147483647 15353 9 | 0.165 % |
2.37/2.42 c | 15645 | 20525 120144 407479 | 2147483647 15586 9 | 0.165 % |
2.37/2.48 c | 15903 | 20525 120035 407146 | 2147483647 15337 9 | 0.165 % |
2.37/2.49 c | 16186 | 20525 120035 407146 | 2147483647 15620 9 | 0.165 % |
2.47/2.50 c | 16495 | 20525 120035 407146 | 2147483647 15929 9 | 0.165 % |
2.47/2.51 c | 16835 | 20525 120035 407146 | 2147483647 16269 9 | 0.165 % |
2.47/2.52 c | 16935 | 20525 120035 407146 | 2147483647 16369 9 | 0.165 % |
2.47/2.52 c | 17046 | 20525 120035 407146 | 2147483647 16480 9 | 0.165 % |
2.47/2.53 c | 17167 | 20525 120035 407146 | 2147483647 16601 9 | 0.165 % |
2.47/2.53 c | 17300 | 20525 120035 407146 | 2147483647 16734 9 | 0.165 % |
2.47/2.54 c | 17446 | 20523 120035 407146 | 2147483647 16879 9 | 0.185 % |
2.47/2.55 c | 17606 | 20521 120035 407146 | 2147483647 17039 9 | 0.185 % |
2.47/2.55 c | 17782 | 20521 120035 407146 | 2147483647 17215 9 | 0.185 % |
2.47/2.56 c | 17978 | 20521 120035 407146 | 2147483647 17411 9 | 0.185 % |
2.47/2.57 c | 18192 | 20519 120035 407146 | 2147483647 17624 9 | 0.204 % |
2.47/2.58 c | 18425 | 20519 120035 407146 | 2147483647 17857 9 | 0.204 % |
2.47/2.59 c | 18682 | 20519 120035 407146 | 2147483647 18114 9 | 0.204 % |
2.57/2.60 c | 18964 | 20519 120035 407146 | 2147483647 18396 9 | 0.204 % |
2.57/2.63 c | 19273 | 20518 120035 407146 | 2147483647 18705 9 | 0.204 % |
2.67/2.71 c | 19612 | 20517 120035 407146 | 2147483647 19042 9 | 0.224 % |
2.67/2.74 c | 19985 | 20515 120035 407146 | 2147483647 19415 9 | 0.224 % |
2.67/2.74 c | 20085 | 20515 120035 407146 | 2147483647 19515 9 | 0.224 % |
2.67/2.75 c | 20196 | 20510 120035 407146 | 2147483647 19625 9 | 0.253 % |
2.67/2.76 c | 20317 | 20498 120035 407146 | 2147483647 19744 9 | 0.399 % |
2.67/2.77 c | 20453 | 20490 120035 407146 | 2147483647 19880 9 | 0.399 % |
2.67/2.78 c | 20602 | 20490 120035 407146 | 2147483647 20029 9 | 0.399 % |
2.67/2.78 c | 20765 | 20490 120035 407146 | 2147483647 20192 9 | 0.399 % |
2.67/2.79 c | 20942 | 20490 120035 407146 | 2147483647 20369 9 | 0.399 % |
2.76/2.80 c | 21136 | 20482 120035 407146 | 2147483647 20561 9 | 0.482 % |
2.76/2.81 c | 21348 | 20481 120035 407146 | 2147483647 20772 9 | 0.516 % |
2.76/2.82 c | 21582 | 20464 120035 407146 | 2147483647 21005 9 | 0.671 % |
2.76/2.83 c | 21838 | 20464 120035 407146 | 2147483647 21261 9 | 0.671 % |
2.76/2.85 c | 22119 | 20434 120035 407146 | 2147483647 21541 9 | 0.720 % |
2.76/2.87 c | 22429 | 20434 120035 407146 | 2147483647 21851 9 | 0.720 % |
2.86/2.91 c | 22768 | 20423 120035 407146 | 2147483647 22190 9 | 0.720 % |
2.86/2.97 c | 23140 | 20411 119064 404018 | 2147483647 18972 9 | 0.720 % |
2.96/3.00 c | 23549 | 20411 119064 404018 | 2147483647 19381 9 | 0.720 % |
2.96/3.00 c | 23649 | 20411 119064 404018 | 2147483647 19481 9 | 0.720 % |
2.96/3.01 c | 23759 | 20411 119064 404018 | 2147483647 19591 9 | 0.720 % |
2.96/3.02 c | 23880 | 20411 119064 404018 | 2147483647 19712 9 | 0.720 % |
2.96/3.03 c | 24014 | 20406 119064 404018 | 2147483647 19845 9 | 0.759 % |
2.96/3.04 c | 24160 | 20406 119064 404018 | 2147483647 19991 9 | 0.759 % |
2.96/3.05 c | 24322 | 20406 119064 404018 | 2147483647 20153 9 | 0.759 % |
2.96/3.06 c | 24498 | 20406 119064 404018 | 2147483647 20329 9 | 0.759 % |
2.96/3.07 c | 24691 | 20403 119064 404018 | 2147483647 20521 9 | 0.822 % |
2.96/3.08 c | 24903 | 20400 119064 404018 | 2147483647 20732 9 | 0.837 % |
3.06/3.13 c | 25136 | 20391 119064 404018 | 2147483647 20965 9 | 0.837 % |
3.06/3.18 c | 25393 | 20391 119064 404018 | 2147483647 21222 9 | 0.837 % |
3.17/3.21 c | 25676 | 20391 119064 404018 | 2147483647 21505 9 | 0.837 % |
3.17/3.23 c | 25987 | 20375 119064 404018 | 2147483647 21812 9 | 0.929 % |
3.17/3.25 c | 26326 | 20375 119064 404018 | 2147483647 22151 9 | 0.929 % |
3.17/3.28 c | 26699 | 20368 119064 404018 | 2147483647 22521 9 | 0.968 % |
3.27/3.30 c | 27108 | 20362 119064 404018 | 2147483647 22929 9 | 1.002 % |
3.27/3.38 c | 27558 | 20355 119064 404018 | 2147483647 23379 9 | 1.002 % |
3.37/3.40 c | 27661 | 20352 119064 404018 | 2147483647 23480 9 | 1.046 % |
3.37/3.42 c | 27771 | 20339 118561 402449 | 2147483647 21555 8 | 1.090 % |
3.37/3.43 c | 27893 | 20339 118561 402449 | 2147483647 21677 8 | 1.090 % |
3.37/3.44 c | 28027 | 20339 118561 402449 | 2147483647 21811 8 | 1.090 % |
3.37/3.45 c | 28173 | 20339 118561 402449 | 2147483647 21957 8 | 1.090 % |
3.37/3.48 c | 28334 | 20338 118561 402449 | 2147483647 22118 8 | 1.090 % |
3.37/3.49 c | 28511 | 20338 118561 402449 | 2147483647 22295 8 | 1.090 % |
3.47/3.52 c | 28705 | 20335 118561 402449 | 2147483647 22489 8 | 1.090 % |
3.57/3.63 c | 28917 | 20335 118561 402449 | 2147483647 22701 8 | 1.090 % |
3.57/3.66 c | 29150 | 20323 118561 402449 | 2147483647 22929 8 | 1.148 % |
3.57/3.68 c | 29406 | 20319 118561 402449 | 2147483647 23184 8 | 1.260 % |
3.67/3.74 c | 29688 | 20310 118561 402449 | 2147483647 23466 8 | 1.260 % |
3.67/3.77 c | 29998 | 20307 118561 402449 | 2147483647 23775 8 | 1.323 % |
3.77/3.81 c | 30338 | 20290 118561 402449 | 2147483647 24114 8 | 1.357 % |
3.77/3.86 c | 30711 | 20288 118561 402449 | 2147483647 24485 8 | 1.372 % |
3.87/3.96 c | 31120 | 20257 117995 400653 | 2147483647 23251 8 | 1.561 % |
3.97/4.03 c | 31569 | 20256 117995 400653 | 2147483647 23699 8 | 1.566 % |
3.97/4.09 c | 32062 | 20254 117995 400653 | 2147483647 24192 8 | 1.566 % |
4.07/4.10 c | 32163 | 20237 117995 400653 | 2147483647 24290 8 | 1.766 % |
4.07/4.11 c | 32273 | 20229 117995 400653 | 2147483647 24399 8 | 1.790 % |
4.07/4.12 c | 32394 | 20229 117995 400653 | 2147483647 24520 8 | 1.790 % |
4.07/4.14 c | 32529 | 20228 117995 400653 | 2147483647 24655 8 | 1.790 % |
4.07/4.16 c | 32675 | 20178 117995 400653 | 2147483647 24797 8 | 2.466 % |
4.17/4.21 c | 32835 | 20101 117995 400653 | 2147483647 24957 8 | 2.466 % |
4.17/4.24 c | 33012 | 20101 117995 400653 | 2147483647 25134 8 | 2.466 % |
4.17/4.25 c | 33207 | 20101 117995 400653 | 2147483647 25329 8 | 2.466 % |
4.17/4.29 c | 33419 | 20101 117995 400653 | 2147483647 25541 8 | 2.466 % |
4.27/4.32 c | 33655 | 20072 117995 400653 | 2147483647 25772 8 | 2.802 % |
4.27/4.34 c | 33911 | 20054 117995 400653 | 2147483647 26028 8 | 2.802 % |
4.27/4.35 c | 34193 | 20054 117995 400653 | 2147483647 26310 8 | 2.802 % |
4.37/4.40 c | 34502 | 20044 117995 400653 | 2147483647 26619 8 | 2.802 % |
4.37/4.50 c | 34841 | 20043 117995 400653 | 2147483647 26957 8 | 2.807 % |
4.47/4.55 c | 35214 | 19982 116018 394435 | 2147483647 21670 8 | 2.807 % |
4.47/4.58 c | 35624 | 19980 116018 394435 | 2147483647 22078 8 | 2.816 % |
4.57/4.60 c | 36074 | 19980 116018 394435 | 2147483647 22528 8 | 2.816 % |
4.57/4.63 c | 36567 | 19980 116018 394435 | 2147483647 23021 8 | 2.816 % |
4.57/4.68 c | 37110 | 19979 116018 394435 | 2147483647 23563 8 | 2.821 % |
4.57/4.69 c | 37210 | 19978 116018 394435 | 2147483647 23662 8 | 2.826 % |
4.67/4.70 c | 37320 | 19978 116018 394435 | 2147483647 23772 8 | 2.826 % |
4.67/4.72 c | 37442 | 19977 116018 394435 | 2147483647 23893 8 | 2.831 % |
4.67/4.73 c | 37576 | 19977 116018 394435 | 2147483647 24027 8 | 2.831 % |
4.67/4.74 c | 37722 | 19977 116018 394435 | 2147483647 24173 8 | 2.831 % |
4.67/4.75 c | 37883 | 19977 116018 394435 | 2147483647 24334 8 | 2.831 % |
4.67/4.77 c | 38061 | 19970 116018 394435 | 2147483647 24509 8 | 2.865 % |
4.77/4.81 c | 38254 | 19970 116018 394435 | 2147483647 24702 8 | 2.865 % |
4.77/4.85 c | 38466 | 19970 116018 394435 | 2147483647 24914 8 | 2.865 % |
4.77/4.88 c | 38699 | 19970 116018 394435 | 2147483647 25147 8 | 2.865 % |
4.87/4.90 c | 38955 | 19969 116018 394435 | 2147483647 25402 8 | 2.870 % |
4.87/4.93 c | 39237 | 19965 116018 394435 | 2147483647 25683 8 | 2.918 % |
4.87/4.95 c | 39546 | 19965 116018 394435 | 2147483647 25992 8 | 2.918 % |
4.97/5.00 c | 39886 | 19959 115805 393745 | 2147483647 25288 8 | 2.918 % |
4.97/5.03 c | 40258 | 19959 115805 393745 | 2147483647 25660 8 | 2.918 % |
4.97/5.06 c | 40668 | 19956 115805 393745 | 2147483647 26069 8 | 2.933 % |
4.97/5.09 c | 41119 | 19956 115805 393745 | 2147483647 26520 8 | 2.933 % |
5.07/5.12 c | 41613 | 19956 115805 393745 | 2147483647 27014 8 | 2.933 % |
5.07/5.17 c | 42156 | 19956 115805 393745 | 2147483647 27557 8 | 2.933 % |
5.17/5.23 c | 42753 | 19956 115805 393745 | 2147483647 28154 8 | 2.933 % |
5.17/5.23 c | 42853 | 19956 115805 393745 | 2147483647 28254 8 | 2.933 % |
5.17/5.24 c | 42963 | 19956 115805 393745 | 2147483647 28364 8 | 2.933 % |
5.17/5.26 c | 43084 | 19953 115805 393745 | 2147483647 28484 8 | 2.948 % |
5.17/5.28 c | 43217 | 19953 115805 393745 | 2147483647 28617 8 | 2.948 % |
5.17/5.30 c | 43364 | 19953 115805 393745 | 2147483647 28764 8 | 2.948 % |
5.27/5.32 c | 43524 | 19953 115805 393745 | 2147483647 28924 8 | 2.948 % |
5.27/5.35 c | 43701 | 19953 115805 393745 | 2147483647 29101 8 | 2.948 % |
5.27/5.38 c | 43894 | 19953 115805 393745 | 2147483647 29294 8 | 2.948 % |
5.27/5.40 c | 44106 | 19948 115805 393745 | 2147483647 29504 8 | 3.006 % |
5.37/5.43 c | 44339 | 19942 115805 393745 | 2147483647 29737 8 | 3.006 % |
5.37/5.45 c | 44595 | 19942 115805 393745 | 2147483647 29992 8 | 3.016 % |
5.37/5.49 c | 44879 | 19932 115805 393745 | 2147483647 30274 8 | 3.118 % |
5.47/5.55 c | 45189 | 19841 115074 391437 | 2147483647 29318 8 | 3.492 % |
5.47/5.58 c | 45529 | 19841 115074 391437 | 2147483647 29658 8 | 3.492 % |
5.56/5.61 c | 45902 | 19840 115074 391437 | 2147483647 30030 8 | 3.502 % |
5.56/5.69 c | 46313 | 19839 115074 391437 | 2147483647 30441 8 | 3.502 % |
5.66/5.79 c | 46762 | 19838 115074 391437 | 2147483647 30889 8 | 3.507 % |
5.76/5.89 c | 47255 | 19838 115074 391437 | 2147483647 31381 8 | 3.531 % |
5.86/5.97 c | 47797 | 19837 115074 391437 | 2147483647 31923 8 | 3.531 % |
5.96/6.03 c | 48395 | 19834 115074 391437 | 2147483647 32519 8 | 3.590 % |
5.96/6.06 c | 49051 | 19834 115074 391437 | 2147483647 33175 8 | 3.590 % |
5.96/6.07 c | 49151 | 19831 115074 391437 | 2147483647 33274 8 | 3.604 % |
5.96/6.08 c | 49262 | 19831 115074 391437 | 2147483647 33385 8 | 3.604 % |
6.06/6.10 c | 49383 | 19831 115074 391437 | 2147483647 33506 8 | 3.604 % |
6.06/6.13 c | 49516 | 19809 114832 390692 | 2147483647 32616 8 | 3.648 % |
6.06/6.14 c | 49664 | 19802 114832 390692 | 2147483647 32762 8 | 3.682 % |
6.06/6.19 c | 49826 | 19802 114832 390692 | 2147483647 32924 8 | 3.682 % |
6.16/6.25 c | 50003 | 19802 114832 390692 | 2147483647 33101 8 | 3.682 % |
6.16/6.27 c | 50196 | 19802 114832 390692 | 2147483647 33294 8 | 3.682 % |
6.16/6.28 c | 50408 | 19802 114832 390692 | 2147483647 33506 8 | 3.682 % |
6.26/6.31 c | 50641 | 19802 114832 390692 | 2147483647 33739 8 | 3.682 % |
6.26/6.34 c | 50897 | 19802 114832 390692 | 2147483647 33995 8 | 3.682 % |
6.26/6.35 c | 51178 | 19802 114832 390692 | 2147483647 34276 8 | 3.682 % |
6.26/6.39 c | 51488 | 19802 114832 390692 | 2147483647 34586 8 | 3.682 % |
6.36/6.43 c | 51827 | 19802 114832 390692 | 2147483647 34925 8 | 3.682 % |
6.36/6.45 c | 52200 | 19802 114832 390692 | 2147483647 35298 8 | 3.682 % |
6.36/6.48 c | 52609 | 19802 114832 390692 | 2147483647 35707 8 | 3.682 % |
6.47/6.52 c | 53058 | 19802 114832 390692 | 2147483647 36156 8 | 3.682 % |
6.47/6.56 c | 53551 | 19802 114832 390692 | 2147483647 36649 8 | 3.682 % |
6.47/6.59 c | 54093 | 19802 114832 390692 | 2147483647 37191 8 | 3.682 % |
6.57/6.61 c | 54689 | 19798 114832 390692 | 2147483647 37786 8 | 3.755 % |
6.67/6.72 c | 55344 | 19788 114832 390692 | 2147483647 38438 9 | 3.779 % |
6.77/6.80 c | 56066 | 19788 114832 390692 | 2147483647 39160 9 | 3.779 % |
6.77/6.81 c | 56168 | 19782 114581 389882 | 2147483647 38864 9 | 3.779 % |
6.77/6.83 c | 56279 | 19782 114581 389882 | 2147483647 38975 9 | 3.779 % |
6.77/6.84 c | 56400 | 19782 114581 389882 | 2147483647 39096 9 | 3.779 % |
6.77/6.85 c | 56533 | 19782 114581 389882 | 2147483647 39229 9 | 3.779 % |
6.77/6.87 c | 56679 | 19782 114581 389882 | 2147483647 39375 9 | 3.779 % |
6.77/6.88 c | 56840 | 19782 114581 389882 | 2147483647 39536 9 | 3.779 % |
6.87/6.90 c | 57016 | 19782 114581 389882 | 2147483647 39712 9 | 3.779 % |
6.87/6.91 c | 57209 | 19782 114581 389882 | 2147483647 39905 9 | 3.779 % |
6.87/6.93 c | 57425 | 19781 114581 389882 | 2147483647 40120 9 | 3.784 % |
6.87/6.95 c | 57659 | 19781 114581 389882 | 2147483647 40354 9 | 3.784 % |
6.87/6.97 c | 57915 | 19781 114581 389882 | 2147483647 40610 9 | 3.784 % |
6.97/7.03 c | 58196 | 19777 114581 389882 | 2147483647 40890 9 | 3.813 % |
6.97/7.08 c | 58507 | 19777 114581 389882 | 2147483647 41201 9 | 3.813 % |
6.97/7.08 c | 58847 | 19777 114581 389882 | 2147483647 41541 9 | 3.813 % |
7.07/7.16 c | 59220 | 19776 114581 389882 | 2147483647 41913 9 | 3.818 % |
7.07/7.18 c | 59632 | 19776 114581 389882 | 2147483647 42325 9 | 3.818 % |
7.17/7.21 c | 60082 | 19773 114581 389882 | 2147483647 42774 9 | 3.847 % |
7.27/7.30 c | 60575 | 19772 114581 389882 | 2147483647 43267 9 | 3.847 % |
7.27/7.34 c | 61118 | 19769 114581 389882 | 2147483647 43808 9 | 3.901 % |
7.27/7.36 c | 61714 | 19769 114581 389882 | 2147483647 44404 9 | 3.901 % |
7.37/7.50 c | 62369 | 19765 114581 389882 | 2147483647 45059 9 | 3.901 % |
7.57/7.61 c | 63090 | 19765 114581 389882 | 2147483647 45780 9 | 3.901 % |
7.67/7.74 c | 63882 | 19752 114351 389136 | 2147483647 44646 9 | 3.935 % |
7.67/7.74 c | 63983 | 19752 114351 389136 | 2147483647 44747 9 | 3.935 % |
7.67/7.74 c | 64096 | 19752 114351 389136 | 2147483647 44860 9 | 3.935 % |
7.67/7.75 c | 64218 | 19752 114351 389136 | 2147483647 44982 9 | 3.935 % |
7.67/7.76 c | 64352 | 19752 114351 389136 | 2147483647 45116 9 | 3.935 % |
7.67/7.76 c | 64500 | 19752 114351 389136 | 2147483647 45264 9 | 3.935 % |
7.67/7.78 c | 64661 | 19752 114351 389136 | 2147483647 45425 9 | 3.935 % |
7.76/7.84 c | 64839 | 19752 114351 389136 | 2147483647 45603 9 | 3.935 % |
7.76/7.89 c | 65032 | 19752 114351 389136 | 2147483647 45796 9 | 3.935 % |
7.86/7.92 c | 65247 | 19752 114351 389136 | 2147483647 46011 9 | 3.935 % |
7.86/7.93 c | 65480 | 19752 114351 389136 | 2147483647 46244 9 | 3.935 % |
7.86/7.94 c | 65736 | 19752 114351 389136 | 2147483647 46500 9 | 3.935 % |
7.96/8.01 c | 66019 | 19752 114351 389136 | 2147483647 46783 9 | 3.935 % |
7.96/8.03 c | 66328 | 19752 114351 389136 | 2147483647 47092 9 | 3.935 % |
7.96/8.06 c | 66668 | 19752 114351 389136 | 2147483647 47432 9 | 3.935 % |
8.06/8.11 c | 67040 | 19752 114351 389136 | 2147483647 47804 9 | 3.935 % |
8.06/8.13 c | 67449 | 19745 114351 389136 | 2147483647 48212 9 | 4.003 % |
8.06/8.16 c | 67899 | 19742 114351 389136 | 2147483647 48662 9 | 4.003 % |
8.16/8.21 c | 68393 | 19740 114351 389136 | 2147483647 49155 9 | 4.110 % |
8.16/8.28 c | 68936 | 19731 114351 389136 | 2147483647 49698 9 | 4.110 % |
8.26/8.34 c | 69532 | 19731 114351 389136 | 2147483647 50294 9 | 4.110 % |
8.36/8.40 c | 70187 | 19730 114351 389136 | 2147483647 50948 9 | 4.144 % |
8.46/8.53 c | 70908 | 19700 113938 387804 | 2147483647 48542 9 | 4.276 % |
8.56/8.62 c | 71700 | 19699 113938 387804 | 2147483647 49333 9 | 4.280 % |
8.56/8.65 c | 72572 | 19699 113938 387804 | 2147483647 50205 9 | 4.280 % |
8.56/8.68 c | 72673 | 19699 113938 387804 | 2147483647 50306 9 | 4.280 % |
8.56/8.69 c | 72783 | 19693 113938 387804 | 2147483647 50413 9 | 4.314 % |
8.66/8.71 c | 72904 | 19693 113938 387804 | 2147483647 50534 9 | 4.314 % |
8.66/8.72 c | 73039 | 19693 113938 387804 | 2147483647 50669 9 | 4.314 % |
8.66/8.73 c | 73185 | 19693 113938 387804 | 2147483647 50815 9 | 4.314 % |
8.66/8.76 c | 73348 | 19688 113938 387804 | 2147483647 50977 9 | 4.348 % |
8.66/8.79 c | 73525 | 19683 113938 387804 | 2147483647 51154 9 | 4.348 % |
8.66/8.80 c | 73718 | 19681 113938 387804 | 2147483647 51346 9 | 4.358 % |
8.76/8.82 c | 73931 | 19681 113938 387804 | 2147483647 51559 9 | 4.358 % |
8.76/8.84 c | 74166 | 19681 113938 387804 | 2147483647 51794 9 | 4.358 % |
8.76/8.86 c | 74425 | 19681 113938 387804 | 2147483647 52053 9 | 4.358 % |
8.86/8.97 c | 74708 | 19666 113938 387804 | 2147483647 52333 9 | 4.451 % |
8.96/9.03 c | 75017 | 19666 113938 387804 | 2147483647 52642 9 | 4.451 % |
9.06/9.12 c | 75356 | 19617 113938 387804 | 2147483647 52975 9 | 4.742 % |
9.06/9.20 c | 75729 | 19617 113938 387804 | 2147483647 53348 9 | 4.742 % |
9.26/9.32 c | 76138 | 19617 113938 387804 | 2147483647 53757 9 | 4.742 % |
9.36/9.40 c | 76588 | 19617 113938 387804 | 2147483647 54207 9 | 4.742 % |
9.36/9.49 c | 77081 | 19577 113054 384950 | 2147483647 51053 9 | 4.884 % |
9.55/9.63 c | 77624 | 19568 113054 384950 | 2147483647 51596 9 | 4.884 % |
9.65/9.78 c | 78220 | 19568 113054 384950 | 2147483647 52192 9 | 4.884 % |
9.86/9.92 c | 78876 | 19567 113054 384950 | 2147483647 52848 9 | 4.884 % |
9.95/10.05 c | 79596 | 19567 113054 384950 | 2147483647 53568 9 | 4.884 % |
10.05/10.18 c | 80388 | 19567 113054 384950 | 2147483647 54360 9 | 4.884 % |
10.25/10.33 c | 81260 | 19533 112790 384129 | 2147483647 54521 9 | 4.991 % |
10.45/10.53 c | 82218 | 19531 112790 384129 | 2147483647 55477 9 | 5.000 % |
10.45/10.54 c | 82318 | 19531 112790 384129 | 2147483647 55577 9 | 5.000 % |
10.45/10.59 c | 82428 | 19530 112790 384129 | 2147483647 55686 9 | 5.005 % |
10.55/10.62 c | 82550 | 19530 112790 384129 | 2147483647 55808 9 | 5.005 % |
10.55/10.63 c | 82683 | 19530 112790 384129 | 2147483647 55941 9 | 5.005 % |
10.55/10.64 c | 82829 | 19529 112790 384129 | 2147483647 56086 9 | 5.078 % |
10.55/10.65 c | 82989 | 19527 112790 384129 | 2147483647 56246 9 | 5.078 % |
10.55/10.66 c | 83165 | 19527 112790 384129 | 2147483647 56422 9 | 5.078 % |
10.65/10.71 c | 83358 | 19527 112790 384129 | 2147483647 56615 9 | 5.078 % |
10.75/10.80 c | 83571 | 19527 112790 384129 | 2147483647 56828 9 | 5.078 % |
10.75/10.87 c | 83805 | 19527 112790 384129 | 2147483647 57062 9 | 5.078 % |
10.86/10.94 c | 84061 | 19527 112790 384129 | 2147483647 57318 9 | 5.078 % |
10.96/11.03 c | 84343 | 19526 112790 384129 | 2147483647 57599 9 | 5.083 % |
10.96/11.08 c | 84653 | 19526 112790 384129 | 2147483647 57909 9 | 5.083 % |
11.05/11.16 c | 84994 | 19526 112790 384129 | 2147483647 58250 9 | 5.083 % |
11.15/11.26 c | 85367 | 19526 112790 384129 | 2147483647 58623 9 | 5.083 % |
11.15/11.29 c | 85779 | 19514 112664 383711 | 2147483647 58895 9 | 5.083 % |
11.25/11.34 c | 86229 | 19514 112664 383711 | 2147483647 59345 9 | 5.083 % |
11.25/11.36 c | 86722 | 19514 112664 383711 | 2147483647 59838 9 | 5.083 % |
11.25/11.39 c | 87264 | 19499 112664 383711 | 2147483647 60379 9 | 5.457 % |
11.45/11.54 c | 87861 | 19497 112664 383711 | 2147483647 60975 9 | 5.467 % |
11.55/11.68 c | 88516 | 19457 112664 383711 | 2147483647 61630 9 | 5.467 % |
11.65/11.73 c | 89237 | 19453 112664 383711 | 2147483647 62348 9 | 5.487 % |
11.75/11.83 c | 90030 | 19453 112664 383711 | 2147483647 63141 9 | 5.487 % |
11.96/12.03 c | 90901 | 19450 112664 383711 | 2147483647 64011 9 | 5.608 % |
12.06/12.11 c | 91859 | 19446 112664 383711 | 2147483647 64967 9 | 5.744 % |
12.35/12.41 c | 92912 | 19376 111685 380482 | 2147483647 63025 9 | 5.754 % |
12.35/12.44 c | 93012 | 19376 111685 380482 | 2147483647 63125 9 | 5.754 % |
12.35/12.48 c | 93122 | 19376 111685 380482 | 2147483647 63235 9 | 5.754 % |
12.45/12.53 c | 93244 | 19376 111685 380482 | 2147483647 63357 9 | 5.754 % |
12.45/12.58 c | 93381 | 19376 111685 380482 | 2147483647 63494 9 | 5.754 % |
12.55/12.64 c | 93531 | 19372 111685 380482 | 2147483647 63642 9 | 5.881 % |
12.65/12.70 c | 93691 | 19368 111685 380482 | 2147483647 63801 9 | 5.910 % |
12.65/12.75 c | 93867 | 19368 111685 380482 | 2147483647 63977 9 | 5.910 % |
12.65/12.78 c | 94060 | 19366 111685 380482 | 2147483647 64170 9 | 5.910 % |
12.75/12.83 c | 94272 | 19366 111685 380482 | 2147483647 64382 9 | 5.910 % |
12.75/12.86 c | 94507 | 19366 111685 380482 | 2147483647 64617 9 | 5.910 % |
12.75/12.88 c | 94764 | 19365 111685 380482 | 2147483647 64873 9 | 5.929 % |
12.85/12.92 c | 95045 | 19364 111685 380482 | 2147483647 65154 9 | 5.929 % |
12.95/13.07 c | 95354 | 19363 111685 380482 | 2147483647 65462 9 | 5.978 % |
13.05/13.14 c | 95693 | 19363 111685 380482 | 2147483647 65801 10 | 5.978 % |
13.05/13.19 c | 96065 | 19363 111685 380482 | 2147483647 66173 10 | 5.978 % |
13.15/13.28 c | 96475 | 19354 111685 380482 | 2147483647 66583 10 | 5.978 % |
13.25/13.35 c | 96925 | 19352 111685 380482 | 2147483647 67031 10 | 6.017 % |
13.35/13.42 c | 97419 | 19352 111685 380482 | 2147483647 67525 10 | 6.017 % |
13.35/13.47 c | 97961 | 19352 111685 380482 | 2147483647 68067 10 | 6.017 % |
13.45/13.57 c | 98557 | 19322 111344 379358 | 2147483647 65777 10 | 6.017 % |
13.55/13.64 c | 99212 | 19322 111344 379358 | 2147483647 66432 10 | 6.017 % |
13.75/13.83 c | 99932 | 19320 111344 379358 | 2147483647 67150 10 | 6.046 % |
13.85/13.95 c | 100724 | 19320 111344 379358 | 2147483647 67942 10 | 6.046 % |
13.95/14.07 c | 101595 | 19320 111344 379358 | 2147483647 68813 10 | 6.046 % |
14.25/14.36 c | 102553 | 19319 111344 379358 | 2147483647 69770 10 | 6.051 % |
14.55/14.61 c | 103606 | 19312 111344 379358 | 2147483647 70820 10 | 6.207 % |
14.65/14.72 c | 104764 | 19311 111344 379358 | 2147483647 71978 10 | 6.207 % |
14.65/14.75 c | 104864 | 19283 111086 378527 | 2147483647 71720 10 | 6.207 % |
14.65/14.76 c | 104974 | 19283 111086 378527 | 2147483647 71830 10 | 6.207 % |
14.65/14.77 c | 105095 | 19279 111086 378527 | 2147483647 71949 10 | 6.231 % |
14.65/14.79 c | 105228 | 19278 111086 378527 | 2147483647 72081 10 | 6.236 % |
14.75/14.84 c | 105374 | 19278 111086 378527 | 2147483647 72227 10 | 6.236 % |
14.85/14.90 c | 105534 | 19278 111086 378527 | 2147483647 72387 10 | 6.236 % |
14.85/14.95 c | 105711 | 19278 111086 378527 | 2147483647 72564 10 | 6.236 % |
14.85/14.96 c | 105905 | 19278 111086 378527 | 2147483647 72758 10 | 6.236 % |
14.85/14.97 c | 106118 | 19278 111086 378527 | 2147483647 72971 10 | 6.236 % |
14.85/14.98 c | 106351 | 19278 111086 378527 | 2147483647 73204 10 | 6.236 % |
14.94/15.05 c | 106608 | 19278 111086 378527 | 2147483647 73461 10 | 6.236 % |
15.04/15.14 c | 106890 | 19278 111086 378527 | 2147483647 73743 10 | 6.236 % |
15.04/15.19 c | 107200 | 19278 111086 378527 | 2147483647 74053 10 | 6.236 % |
15.04/15.20 c | 107540 | 19278 111086 378527 | 2147483647 74393 10 | 6.236 % |
15.14/15.22 c | 107914 | 19278 111086 378527 | 2147483647 74767 10 | 6.236 % |
15.14/15.23 c | 108324 | 19278 111086 378527 | 2147483647 75177 10 | 6.236 % |
15.25/15.32 c | 108776 | 19278 111086 378527 | 2147483647 75629 10 | 6.236 % |
15.35/15.43 c | 109269 | 19278 111086 378527 | 2147483647 76122 10 | 6.236 % |
15.35/15.48 c | 109811 | 19278 111086 378527 | 2147483647 76664 10 | 6.236 % |
15.44/15.50 c | 110407 | 19278 111086 378527 | 2147483647 77260 10 | 6.236 % |
15.54/15.69 c | 111063 | 19276 111086 378527 | 2147483647 77915 10 | 6.289 % |
15.64/15.74 c | 111784 | 19261 111086 378527 | 2147483647 78634 10 | 6.391 % |
15.84/15.96 c | 112576 | 19258 111086 378527 | 2147483647 79425 10 | 6.396 % |
16.04/16.10 c | 113447 | 19242 110812 377655 | 2147483647 77651 10 | 6.406 % |
16.14/16.27 c | 114405 | 19241 110812 377655 | 2147483647 78608 10 | 6.411 % |
16.24/16.34 c | 115460 | 19241 110812 377655 | 2147483647 79663 10 | 6.411 % |
16.45/16.57 c | 116619 | 19209 110812 377655 | 2147483647 80820 10 | 6.596 % |
16.74/16.85 c | 117892 | 19209 110812 377655 | 2147483647 82093 10 | 6.596 % |
16.84/16.90 c | 117992 | 19209 110812 377655 | 2147483647 82193 10 | 6.596 % |
16.84/16.93 c | 118102 | 19209 110812 377655 | 2147483647 82303 10 | 6.596 % |
16.84/16.97 c | 118225 | 19209 110812 377655 | 2147483647 82426 10 | 6.596 % |
16.84/16.99 c | 118358 | 19209 110812 377655 | 2147483647 82559 10 | 6.596 % |
16.95/17.00 c | 118504 | 19209 110812 377655 | 2147483647 82705 10 | 6.596 % |
16.95/17.03 c | 118665 | 19209 110812 377655 | 2147483647 82866 10 | 6.596 % |
16.95/17.04 c | 118841 | 19197 110812 377655 | 2147483647 83041 10 | 6.732 % |
16.95/17.05 c | 119035 | 19197 110812 377655 | 2147483647 83235 10 | 6.732 % |
17.05/17.14 c | 119247 | 19197 110812 377655 | 2147483647 83447 10 | 6.732 % |
17.15/17.25 c | 119480 | 19197 110812 377655 | 2147483647 83680 10 | 6.732 % |
17.35/17.41 c | 119736 | 19175 110370 376188 | 2147483647 83361 10 | 6.732 % |
17.45/17.53 c | 120017 | 19169 110370 376188 | 2147483647 83639 10 | 6.761 % |
17.45/17.60 c | 120328 | 19165 110370 376188 | 2147483647 83949 10 | 6.785 % |
17.55/17.62 c | 120667 | 19165 110370 376188 | 2147483647 84288 10 | 6.785 % |
17.55/17.66 c | 121039 | 19165 110370 376188 | 2147483647 84660 10 | 6.785 % |
17.65/17.71 c | 121448 | 19165 110370 376188 | 2147483647 85069 10 | 6.785 % |
17.75/17.84 c | 121897 | 19165 110370 376188 | 2147483647 85518 10 | 6.785 % |
17.85/17.91 c | 122392 | 19165 110370 376188 | 2147483647 86013 10 | 6.785 % |
17.85/17.99 c | 122936 | 19165 110370 376188 | 2147483647 86557 10 | 6.785 % |
18.05/18.14 c | 123533 | 19165 110370 376188 | 2147483647 87154 10 | 6.785 % |
18.05/18.16 c | 124188 | 19161 110370 376188 | 2147483647 87808 10 | 6.815 % |
18.25/18.30 c | 124908 | 19156 110370 376188 | 2147483647 88527 10 | 6.839 % |
18.35/18.43 c | 125700 | 19152 110370 376188 | 2147483647 89318 10 | 6.858 % |
18.55/18.61 c | 126571 | 19144 110370 376188 | 2147483647 90188 10 | 6.907 % |
18.75/18.84 c | 127529 | 19144 110370 376188 | 2147483647 91146 10 | 6.907 % |
19.05/19.14 c | 128585 | 19127 110083 375248 | 2147483647 89105 10 | 6.999 % |
19.25/19.33 c | 129743 | 19127 110083 375248 | 2147483647 90263 10 | 6.999 % |
19.75/19.85 c | 131017 | 19127 110083 375248 | 2147483647 91537 10 | 6.999 % |
20.05/20.18 c | 132417 | 19121 110083 375248 | 2147483647 92934 10 | 7.072 % |
20.05/20.19 c | 132518 | 19121 110083 375248 | 2147483647 93035 10 | 7.072 % |
20.15/20.24 c | 132628 | 19121 110083 375248 | 2147483647 93145 10 | 7.072 % |
20.15/20.26 c | 132751 | 19121 110083 375248 | 2147483647 93268 10 | 7.072 % |
20.15/20.28 c | 132884 | 19121 110083 375248 | 2147483647 93401 10 | 7.072 % |
20.35/20.40 c | 133030 | 19121 110083 375248 | 2147483647 93547 11 | 7.072 % |
20.45/20.50 c | 133190 | 19097 109800 374289 | 2147483647 92728 11 | 7.111 % |
20.45/20.57 c | 133366 | 19097 109800 374289 | 2147483647 92904 11 | 7.111 % |
20.55/20.61 c | 133560 | 19089 109800 374289 | 2147483647 93097 11 | 7.160 % |
20.55/20.66 c | 133774 | 19089 109800 374289 | 2147483647 93311 11 | 7.160 % |
20.65/20.74 c | 134007 | 19089 109800 374289 | 2147483647 93544 11 | 7.160 % |
20.75/20.82 c | 134263 | 19086 109800 374289 | 2147483647 93799 11 | 7.204 % |
20.75/20.87 c | 134544 | 19086 109800 374289 | 2147483647 94080 11 | 7.204 % |
20.75/20.90 c | 134853 | 19086 109800 374289 | 2147483647 94389 11 | 7.204 % |
20.95/21.04 c | 135192 | 19086 109800 374289 | 2147483647 94728 11 | 7.204 % |
21.05/21.11 c | 135567 | 19086 109800 374289 | 2147483647 95103 11 | 7.204 % |
21.15/21.28 c | 135978 | 19086 109800 374289 | 2147483647 95514 11 | 7.204 % |
21.35/21.46 c | 136427 | 19086 109800 374289 | 2147483647 95963 11 | 7.204 % |
21.74/21.80 c | 136920 | 19086 109800 374289 | 2147483647 96456 11 | 7.204 % |
21.95/22.04 c | 137462 | 19086 109800 374289 | 2147483647 96998 11 | 7.204 % |
22.34/22.40 c | 138060 | 19086 109800 374289 | 2147483647 97596 12 | 7.204 % |
22.64/22.70 c | 138715 | 19078 109668 373845 | 2147483647 98149 12 | 7.204 % |
22.84/22.96 c | 139436 | 19078 109668 373845 | 2147483647 98870 12 | 7.204 % |
23.24/23.33 c | 140229 | 19078 109668 373845 | 2147483647 99663 12 | 7.204 % |
24.24/24.34 c | 141100 | 19078 109668 373845 | 2147483647 100534 14 | 7.204 % |
24.64/24.77 c | 142058 | 19078 109668 373845 | 2147483647 101492 14 | 7.204 % |
25.34/25.48 c | 143111 | 19072 109610 373659 | 2147483647 101714 14 | 7.233 % |
25.54/25.63 c | 144269 | 19072 109610 373659 | 2147483647 102872 14 | 7.233 % |
26.04/26.16 c | 145542 | 19072 109610 373659 | 2147483647 104145 14 | 7.233 % |
26.84/26.93 c | 146943 | 19072 109610 373659 | 2147483647 105546 15 | 7.233 % |
27.44/27.51 c | 148483 | 19072 109610 373659 | 2147483647 107086 15 | 7.233 % |
27.44/27.54 c | 148584 | 19072 109610 373659 | 2147483647 107187 15 | 7.233 % |
27.54/27.60 c | 148695 | 19072 109610 373659 | 2147483647 107298 15 | 7.233 % |
27.54/27.68 c | 148817 | 19065 109530 373393 | 2147483647 106708 15 | 7.267 % |
27.64/27.73 c | 148950 | 19065 109530 373393 | 2147483647 106841 15 | 7.267 % |
27.74/27.82 c | 149096 | 19063 109530 373393 | 2147483647 106986 15 | 7.277 % |
27.84/27.90 c | 149256 | 19063 109530 373393 | 2147483647 107146 15 | 7.277 % |
27.84/27.99 c | 149432 | 19063 109530 373393 | 2147483647 107322 15 | 7.277 % |
27.93/28.09 c | 149625 | 19063 109530 373393 | 2147483647 107515 15 | 7.277 % |
28.03/28.15 c | 149837 | 19063 109530 373393 | 2147483647 107727 15 | 7.277 % |
28.13/28.26 c | 150070 | 19063 109530 373393 | 2147483647 107960 15 | 7.277 % |
28.34/28.40 c | 150326 | 19063 109530 373393 | 2147483647 108216 15 | 7.277 % |
28.45/28.54 c | 150608 | 19062 109530 373393 | 2147483647 108497 15 | 7.281 % |
28.64/28.73 c | 150917 | 19062 109530 373393 | 2147483647 108806 15 | 7.281 % |
28.84/28.97 c | 151257 | 19062 109530 373393 | 2147483647 109146 15 | 7.281 % |
29.04/29.16 c | 151630 | 19062 109530 373393 | 2147483647 109519 15 | 7.281 % |
29.44/29.55 c | 152039 | 19062 109530 373393 | 2147483647 109928 16 | 7.281 % |
29.64/29.77 c | 152489 | 19061 109530 373393 | 2147483647 110377 16 | 7.291 % |
29.94/30.06 c | 152984 | 19061 109530 373393 | 2147483647 110872 16 | 7.291 % |
30.24/30.39 c | 153526 | 19061 109530 373393 | 2147483647 111414 16 | 7.291 % |
30.84/30.92 c | 154122 | 19061 109530 373393 | 2147483647 112010 17 | 7.291 % |
31.04/31.17 c | 154777 | 19060 109484 373235 | 2147483647 112658 17 | 7.291 % |
31.44/31.58 c | 155498 | 19060 109484 373235 | 2147483647 113379 17 | 7.291 % |
31.74/31.83 c | 156290 | 19060 109484 373235 | 2147483647 114171 17 | 7.291 % |
32.24/32.39 c | 157162 | 19060 109484 373235 | 2147483647 115043 17 | 7.291 % |
32.54/32.66 c | 158121 | 19060 109484 373235 | 2147483647 116002 17 | 7.291 % |
33.34/33.40 c | 159174 | 19060 109484 373235 | 2147483647 117055 18 | 7.291 % |
34.04/34.12 c | 160333 | 19060 109484 373235 | 2147483647 118214 18 | 7.291 % |
34.43/34.58 c | 161606 | 19060 109484 373235 | 2147483647 119487 19 | 7.291 % |
35.04/35.19 c | 163007 | 19060 109484 373235 | 2147483647 120888 19 | 7.291 % |
35.83/35.94 c | 164547 | 19060 109484 373235 | 2147483647 122428 19 | 7.291 % |
37.13/37.23 c | 166241 | 19052 109384 372911 | 2147483647 123001 20 | 7.330 % |
37.24/37.35 c | 166341 | 19052 109384 372911 | 2147483647 123101 20 | 7.330 % |
37.34/37.42 c | 166451 | 19052 109384 372911 | 2147483647 123211 20 | 7.330 % |
37.34/37.47 c | 166572 | 19052 109384 372911 | 2147483647 123332 20 | 7.330 % |
37.43/37.51 c | 166705 | 19052 109384 372911 | 2147483647 123465 20 | 7.330 % |
37.53/37.62 c | 166853 | 19052 109384 372911 | 2147483647 123613 20 | 7.330 % |
37.53/37.65 c | 167013 | 19052 109384 372911 | 2147483647 123773 20 | 7.330 % |
37.63/37.72 c | 167190 | 19052 109384 372911 | 2147483647 123950 20 | 7.330 % |
37.73/37.83 c | 167383 | 19052 109384 372911 | 2147483647 124143 20 | 7.330 % |
37.93/38.06 c | 167596 | 19052 109384 372911 | 2147483647 124356 20 | 7.330 % |
38.03/38.14 c | 167829 | 19052 109384 372911 | 2147483647 124589 20 | 7.330 % |
38.13/38.24 c | 168087 | 19052 109384 372911 | 2147483647 124847 20 | 7.330 % |
38.23/38.37 c | 168368 | 19052 109384 372911 | 2147483647 125128 20 | 7.330 % |
38.43/38.57 c | 168677 | 19052 109384 372911 | 2147483647 125437 20 | 7.330 % |
38.63/38.72 c | 169016 | 19049 109384 372911 | 2147483647 125774 20 | 7.359 % |
39.03/39.14 c | 169388 | 19048 109384 372911 | 2147483647 126146 20 | 7.359 % |
39.23/39.37 c | 169798 | 19048 109384 372911 | 2147483647 126556 20 | 7.359 % |
39.73/39.80 c | 170248 | 19048 109384 372911 | 2147483647 127006 21 | 7.359 % |
39.93/40.04 c | 170741 | 19048 109384 372911 | 2147483647 127499 21 | 7.359 % |
40.33/40.42 c | 171285 | 19048 109384 372911 | 2147483647 128043 21 | 7.359 % |
41.13/41.25 c | 171881 | 19046 109324 372719 | 2147483647 126042 22 | 7.359 % |
41.53/41.68 c | 172536 | 19046 109324 372719 | 2147483647 126697 22 | 7.359 % |
42.03/42.11 c | 173256 | 19046 109324 372719 | 2147483647 127417 22 | 7.359 % |
42.43/42.58 c | 174048 | 19046 109324 372719 | 2147483647 128209 23 | 7.359 % |
42.92/43.05 c | 174920 | 19046 109324 372719 | 2147483647 129081 23 | 7.359 % |
44.03/44.16 c | 175878 | 19046 109324 372719 | 2147483647 130039 24 | 7.359 % |
44.63/44.78 c | 176931 | 19046 109324 372719 | 2147483647 131092 24 | 7.359 % |
45.73/45.85 c | 178090 | 19046 109324 372719 | 2147483647 132251 24 | 7.359 % |
46.73/46.89 c | 179365 | 19046 109324 372719 | 2147483647 133526 25 | 7.359 % |
47.53/47.65 c | 180765 | 19046 109324 372719 | 2147483647 134926 25 | 7.359 % |
48.93/49.04 c | 182306 | 19046 109324 372719 | 2147483647 136467 26 | 7.359 % |
50.03/50.14 c | 184000 | 19046 109324 372719 | 2147483647 138161 26 | 7.359 % |
51.82/51.90 c | 185864 | 19045 109318 372699 | 2147483647 139333 27 | 7.364 % |
51.82/51.98 c | 185964 | 19045 109318 372699 | 2147483647 139433 27 | 7.364 % |
51.92/52.05 c | 186076 | 19045 109318 372699 | 2147483647 139545 27 | 7.364 % |
52.02/52.14 c | 186198 | 19045 109318 372699 | 2147483647 139667 27 | 7.364 % |
52.12/52.29 c | 186333 | 19045 109318 372699 | 2147483647 139802 28 | 7.364 % |
52.22/52.32 c | 186480 | 19045 109318 372699 | 2147483647 139949 28 | 7.364 % |
52.22/52.37 c | 186640 | 19045 109318 372699 | 2147483647 140109 27 | 7.364 % |
52.32/52.44 c | 186816 | 19045 109318 372699 | 2147483647 140285 27 | 7.364 % |
52.52/52.61 c | 187011 | 19045 109318 372699 | 2147483647 140480 28 | 7.364 % |
52.63/52.70 c | 187224 | 19045 109318 372699 | 2147483647 140693 28 | 7.364 % |
52.73/52.85 c | 187457 | 19045 109318 372699 | 2147483647 140926 28 | 7.364 % |
52.82/52.97 c | 187715 | 19045 109318 372699 | 2147483647 141184 28 | 7.364 % |
53.02/53.15 c | 187997 | 19045 109318 372699 | 2147483647 141466 28 | 7.364 % |
53.32/53.47 c | 188306 | 19045 109318 372699 | 2147483647 141775 28 | 7.364 % |
53.42/53.55 c | 188645 | 19045 109318 372699 | 2147483647 142114 28 | 7.364 % |
53.82/53.98 c | 189017 | 19045 109318 372699 | 2147483647 142486 28 | 7.364 % |
54.22/54.32 c | 189428 | 19045 109318 372699 | 2147483647 142897 28 | 7.364 % |
54.63/54.79 c | 189878 | 19045 109318 372699 | 2147483647 143347 28 | 7.364 % |
54.93/55.02 c | 190371 | 19045 109318 372699 | 2147483647 143840 28 | 7.364 % |
55.33/55.44 c | 190913 | 19045 109318 372699 | 2147483647 144382 28 | 7.364 % |
55.73/55.89 c | 191509 | 19045 109318 372699 | 2147483647 144978 28 | 7.364 % |
56.42/56.55 c | 192165 | 19045 109318 372699 | 2147483647 145634 29 | 7.364 % |
56.92/57.08 c | 192887 | 19045 109318 372699 | 2147483647 146356 29 | 7.364 % |
57.62/57.72 c | 193681 | 19045 109318 372699 | 2147483647 147150 29 | 7.364 % |
58.23/58.38 c | 194552 | 19045 109318 372699 | 2147483647 148021 29 | 7.364 % |
59.12/59.27 c | 195511 | 19045 109318 372699 | 2147483647 148980 30 | 7.364 % |
60.42/60.51 c | 196564 | 19045 109318 372699 | 2147483647 150033 31 | 7.364 % |
61.43/61.53 c | 197722 | 19045 109318 372699 | 2147483647 151191 31 | 7.364 % |
62.53/62.67 c | 198996 | 19045 109318 372699 | 2147483647 152465 32 | 7.364 % |
63.82/63.97 c | 200396 | 19045 109318 372699 | 2147483647 153865 33 | 7.364 % |
65.22/65.31 c | 201936 | 19045 109318 372699 | 2147483647 155405 33 | 7.364 % |
67.32/67.48 c | 203631 | 19045 109318 372699 | 2147483647 157100 35 | 7.364 % |
68.81/68.91 c | 205494 | 19045 109318 372699 | 2147483647 158963 35 | 7.364 % |
70.41/70.55 c | 207543 | 19045 109318 372699 | 2147483647 161012 36 | 7.364 % |
70.51/70.64 c | 207643 | 19045 109318 372699 | 2147483647 161112 36 | 7.364 % |
70.61/70.71 c | 207758 | 19045 109318 372699 | 2147483647 161227 36 | 7.364 % |
70.61/70.79 c | 207879 | 19045 109318 372699 | 2147483647 161348 36 | 7.364 % |
70.81/70.96 c | 208012 | 19045 109318 372699 | 2147483647 161481 36 | 7.364 % |
70.91/71.08 c | 208160 | 19045 109318 372699 | 2147483647 161629 36 | 7.364 % |
71.12/71.22 c | 208320 | 19045 109318 372699 | 2147483647 161789 36 | 7.364 % |
71.22/71.35 c | 208496 | 19045 109318 372699 | 2147483647 161965 36 | 7.364 % |
71.52/71.61 c | 208690 | 19045 109318 372699 | 2147483647 162159 36 | 7.364 % |
71.72/71.83 c | 208905 | 19045 109318 372699 | 2147483647 162374 36 | 7.364 % |
71.92/72.03 c | 209139 | 19045 109318 372699 | 2147483647 162608 36 | 7.364 % |
72.12/72.25 c | 209396 | 19045 109318 372699 | 2147483647 162865 36 | 7.364 % |
72.32/72.48 c | 209677 | 19045 109318 372699 | 2147483647 163146 36 | 7.364 % |
72.62/72.76 c | 209986 | 19045 109318 372699 | 2147483647 163455 36 | 7.364 % |
72.92/73.09 c | 210325 | 19045 109318 372699 | 2147483647 163794 36 | 7.364 % |
73.22/73.31 c | 210698 | 19045 109318 372699 | 2147483647 164167 36 | 7.364 % |
73.52/73.60 c | 211107 | 19045 109318 372699 | 2147483647 164576 36 | 7.364 % |
73.72/73.86 c | 211556 | 19045 109318 372699 | 2147483647 165025 36 | 7.364 % |
74.12/74.20 c | 212049 | 19045 109318 372699 | 2147483647 165518 36 | 7.364 % |
74.62/74.79 c | 212591 | 19045 109318 372699 | 2147483647 166060 36 | 7.364 % |
75.22/75.35 c | 213187 | 19045 109318 372699 | 2147483647 166656 37 | 7.364 % |
75.72/75.84 c | 213842 | 19041 109270 372535 | 2147483647 165109 37 | 7.384 % |
76.32/76.45 c | 214562 | 19041 109270 372535 | 2147483647 165829 37 | 7.384 % |
76.92/77.09 c | 215356 | 19041 109270 372535 | 2147483647 166623 37 | 7.384 % |
77.62/77.75 c | 216227 | 19041 109270 372535 | 2147483647 167494 37 | 7.384 % |
78.91/79.00 c | 217185 | 19041 109270 372535 | 2147483647 168452 38 | 7.384 % |
79.81/79.93 c | 218238 | 19041 109270 372535 | 2147483647 169505 38 | 7.384 % |
80.81/80.93 c | 219396 | 19041 109270 372535 | 2147483647 170663 38 | 7.384 % |
82.41/82.60 c | 220669 | 19041 109270 372535 | 2147483647 171936 39 | 7.384 % |
83.41/83.54 c | 222069 | 19041 109270 372535 | 2147483647 173336 39 | 7.384 % |
84.92/85.09 c | 223610 | 19041 109270 372535 | 2147483647 174877 40 | 7.384 % |
87.81/87.92 c | 225305 | 19041 109270 372535 | 2147483647 176572 42 | 7.384 % |
89.51/89.64 c | 227168 | 19041 109270 372535 | 2147483647 178435 42 | 7.384 % |
91.90/92.05 c | 229217 | 19041 109270 372535 | 2147483647 180484 43 | 7.384 % |
94.01/94.12 c | 231470 | 19041 109270 372535 | 2147483647 182737 43 | 7.384 % |
94.11/94.25 c | 231570 | 19041 109270 372535 | 2147483647 182837 43 | 7.384 % |
94.21/94.38 c | 231680 | 19041 109270 372535 | 2147483647 182947 43 | 7.384 % |
94.31/94.48 c | 231802 | 19041 109270 372535 | 2147483647 183069 43 | 7.384 % |
94.51/94.69 c | 231936 | 19041 109270 372535 | 2147483647 183203 43 | 7.384 % |
94.71/94.83 c | 232082 | 19041 109270 372535 | 2147483647 183349 44 | 7.384 % |
94.91/95.03 c | 232242 | 19041 109270 372535 | 2147483647 183509 44 | 7.384 % |
95.01/95.12 c | 232418 | 19041 109270 372535 | 2147483647 183685 43 | 7.384 % |
95.21/95.34 c | 232612 | 19041 109270 372535 | 2147483647 183879 43 | 7.384 % |
95.41/95.54 c | 232824 | 19041 109270 372535 | 2147483647 184091 43 | 7.384 % |
95.81/95.90 c | 233058 | 19041 109270 372535 | 2147483647 184325 44 | 7.384 % |
95.91/96.08 c | 233317 | 19041 109270 372535 | 2147483647 184584 44 | 7.384 % |
96.21/96.37 c | 233599 | 19041 109270 372535 | 2147483647 184866 44 | 7.384 % |
96.41/96.54 c | 233908 | 19041 109270 372535 | 2147483647 185175 44 | 7.384 % |
96.81/96.90 c | 234248 | 19041 109270 372535 | 2147483647 185515 44 | 7.384 % |
97.21/97.30 c | 234623 | 19041 109270 372535 | 2147483647 185890 44 | 7.384 % |
97.50/97.64 c | 235032 | 19041 109270 372535 | 2147483647 186299 44 | 7.384 % |
97.81/97.94 c | 235481 | 19041 109270 372535 | 2147483647 186748 44 | 7.384 % |
98.20/98.34 c | 235974 | 19041 109270 372535 | 2147483647 187241 44 | 7.384 % |
98.81/98.94 c | 236517 | 19041 109270 372535 | 2147483647 187784 44 | 7.384 % |
99.40/99.56 c | 237115 | 19041 109270 372535 | 2147483647 188382 44 | 7.384 % |
100.00/100.11 c | 237773 | 19041 109270 372535 | 2147483647 189040 44 | 7.384 % |
100.60/100.76 c | 238494 | 19041 109270 372535 | 2147483647 189761 44 | 7.384 % |
101.41/101.50 c | 239286 | 19041 109270 372535 | 2147483647 190553 44 | 7.384 % |
102.61/102.71 c | 240157 | 19041 109270 372535 | 2147483647 191424 45 | 7.384 % |
103.70/103.87 c | 241115 | 19041 109270 372535 | 2147483647 192382 45 | 7.384 % |
104.60/104.76 c | 242172 | 19041 109270 372535 | 2147483647 193439 45 | 7.384 % |
105.80/105.96 c | 243330 | 19041 109270 372535 | 2147483647 194597 46 | 7.384 % |
107.10/107.22 c | 244603 | 19041 109270 372535 | 2147483647 195870 46 | 7.384 % |
109.00/109.17 c | 246003 | 19041 109270 372535 | 2147483647 197270 47 | 7.384 % |
110.71/110.84 c | 247543 | 19041 109270 372535 | 2147483647 198810 47 | 7.384 % |
112.60/112.74 c | 249238 | 19041 109270 372535 | 2147483647 200505 48 | 7.384 % |
115.10/115.25 c | 251102 | 19041 109270 372535 | 2147483647 202369 48 | 7.384 % |
117.40/117.56 c | 253151 | 19041 109270 372535 | 2147483647 204418 49 | 7.384 % |
119.40/119.57 c | 255406 | 19041 109270 372535 | 2147483647 206673 49 | 7.384 % |
124.60/124.74 c | 257886 | 19041 109270 372535 | 2147483647 209153 52 | 7.384 % |
124.70/124.83 c | 257986 | 19041 109270 372535 | 2147483647 209253 52 | 7.384 % |
124.80/124.96 c | 258097 | 19041 109270 372535 | 2147483647 209364 52 | 7.384 % |
124.90/125.08 c | 258218 | 19041 109270 372535 | 2147483647 209485 52 | 7.384 % |
125.10/125.21 c | 258354 | 19041 109270 372535 | 2147483647 209621 52 | 7.384 % |
125.10/125.29 c | 258500 | 19041 109270 372535 | 2147483647 209767 52 | 7.384 % |
125.50/125.63 c | 258660 | 19041 109270 372535 | 2147483647 209927 52 | 7.384 % |
125.60/125.75 c | 258838 | 19041 109270 372535 | 2147483647 210105 52 | 7.384 % |
125.90/126.01 c | 259031 | 19041 109270 372535 | 2147483647 210298 52 | 7.384 % |
126.19/126.36 c | 259243 | 19041 109270 372535 | 2147483647 210510 52 | 7.384 % |
126.40/126.57 c | 259476 | 19041 109270 372535 | 2147483647 210743 52 | 7.384 % |
126.69/126.86 c | 259733 | 19041 109270 372535 | 2147483647 211000 52 | 7.384 % |
126.99/127.18 c | 260014 | 19041 109270 372535 | 2147483647 211281 52 | 7.384 % |
127.40/127.52 c | 260323 | 19041 109270 372535 | 2147483647 211590 52 | 7.384 % |
127.89/128.05 c | 260663 | 19041 109270 372535 | 2147483647 211930 52 | 7.384 % |
128.29/128.49 c | 261036 | 19041 109270 372535 | 2147483647 212303 53 | 7.384 % |
128.90/129.02 c | 261445 | 19041 109270 372535 | 2147483647 212712 53 | 7.384 % |
129.20/129.34 c | 261894 | 19041 109270 372535 | 2147483647 213161 53 | 7.384 % |
129.80/129.99 c | 262388 | 19041 109270 372535 | 2147483647 213655 53 | 7.384 % |
130.50/130.68 c | 262932 | 19041 109270 372535 | 2147483647 214199 53 | 7.384 % |
131.40/131.58 c | 263528 | 19041 109270 372535 | 2147483647 214795 53 | 7.384 % |
132.40/132.54 c | 264185 | 19041 109270 372535 | 2147483647 215452 53 | 7.384 % |
133.20/133.30 c | 264906 | 19041 109270 372535 | 2147483647 216173 53 | 7.384 % |
134.00/134.12 c | 265698 | 19041 109270 372535 | 2147483647 216965 53 | 7.384 % |
135.10/135.29 c | 266570 | 19041 109270 372535 | 2147483647 217837 53 | 7.384 % |
136.49/136.69 c | 267529 | 19041 109270 372535 | 2147483647 218796 53 | 7.384 % |
137.89/138.08 c | 268582 | 19041 109270 372535 | 2147483647 219849 54 | 7.384 % |
139.19/139.40 c | 269740 | 19041 109270 372535 | 2147483647 221007 54 | 7.384 % |
140.79/140.99 c | 271015 | 19041 109270 372535 | 2147483647 222282 54 | 7.384 % |
143.19/143.34 c | 272416 | 19041 109270 372535 | 2147483647 223683 54 | 7.384 % |
145.00/145.10 c | 273956 | 19041 109270 372535 | 2147483647 225223 55 | 7.384 % |
147.20/147.32 c | 275650 | 19041 109270 372535 | 2147483647 226917 55 | 7.384 % |
149.29/149.47 c | 277514 | 19041 109270 372535 | 2147483647 228781 55 | 7.384 % |
152.59/152.75 c | 279564 | 19041 109270 372535 | 2147483647 230831 56 | 7.384 % |
155.79/155.97 c | 281818 | 19041 109270 372535 | 2147483647 233085 57 | 7.384 % |
159.48/159.66 c | 284297 | 19041 109270 372535 | 2147483647 235564 58 | 7.384 % |
163.79/163.91 c | 287022 | 19041 109270 372535 | 2147483647 238289 59 | 7.384 % |
163.89/164.06 c | 287122 | 19041 109270 372535 | 2147483647 238389 59 | 7.384 % |
164.09/164.25 c | 287234 | 19041 109270 372535 | 2147483647 238501 59 | 7.384 % |
164.29/164.40 c | 287355 | 19041 109270 372535 | 2147483647 238622 59 | 7.384 % |
164.49/164.60 c | 287488 | 19041 109270 372535 | 2147483647 238755 59 | 7.384 % |
164.59/164.74 c | 287634 | 19041 109270 372535 | 2147483647 238901 59 | 7.384 % |
164.79/164.95 c | 287794 | 19041 109270 372535 | 2147483647 239061 59 | 7.384 % |
164.99/165.17 c | 287970 | 19041 109270 372535 | 2147483647 239237 59 | 7.384 % |
165.38/165.55 c | 288164 | 19041 109270 372535 | 2147483647 239431 59 | 7.384 % |
165.58/165.73 c | 288376 | 19041 109270 372535 | 2147483647 239643 59 | 7.384 % |
165.99/166.13 c | 288609 | 19041 109270 372535 | 2147483647 239876 59 | 7.384 % |
166.18/166.37 c | 288865 | 19041 109270 372535 | 2147483647 240132 59 | 7.384 % |
166.58/166.71 c | 289147 | 19041 109270 372535 | 2147483647 240414 59 | 7.384 % |
166.88/167.02 c | 289458 | 19041 109270 372535 | 2147483647 240725 59 | 7.384 % |
167.28/167.40 c | 289798 | 19041 109270 372535 | 2147483647 241065 59 | 7.384 % |
167.68/167.80 c | 290170 | 19041 109270 372535 | 2147483647 241437 59 | 7.384 % |
168.18/168.39 c | 290580 | 19041 109270 372535 | 2147483647 241847 59 | 7.384 % |
168.58/168.72 c | 291029 | 19041 109270 372535 | 2147483647 242296 59 | 7.384 % |
168.98/169.18 c | 291522 | 19041 109270 372535 | 2147483647 242789 59 | 7.384 % |
169.68/169.87 c | 292066 | 19041 109270 372535 | 2147483647 243333 59 | 7.384 % |
170.58/170.74 c | 292662 | 19041 109270 372535 | 2147483647 243929 59 | 7.384 % |
171.48/171.68 c | 293318 | 19041 109270 372535 | 2147483647 244585 59 | 7.384 % |
172.49/172.62 c | 294038 | 19041 109270 372535 | 2147483647 245305 59 | 7.384 % |
173.79/173.94 c | 294832 | 19041 109270 372535 | 2147483647 246099 59 | 7.384 % |
174.69/174.90 c | 295703 | 19041 109270 372535 | 2147483647 246970 59 | 7.384 % |
176.08/176.24 c | 296661 | 19041 109270 372535 | 2147483647 247928 60 | 7.384 % |
177.28/177.47 c | 297714 | 19041 109270 372535 | 2147483647 248981 60 | 7.384 % |
178.88/179.04 c | 298872 | 19041 109270 372535 | 2147483647 250139 60 | 7.384 % |
180.28/180.49 c | 300146 | 19041 109270 372535 | 2147483647 251413 60 | 7.384 % |
181.98/182.16 c | 301546 | 19041 109270 372535 | 2147483647 252813 60 | 7.384 % |
184.78/184.96 c | 303086 | 19041 109270 372535 | 2147483647 254353 60 | 7.384 % |
186.89/187.07 c | 304782 | 19041 109270 372535 | 2147483647 256049 61 | 7.384 % |
189.68/189.88 c | 306646 | 19041 109270 372535 | 2147483647 257913 61 | 7.384 % |
192.68/192.89 c | 308695 | 19041 109270 372535 | 2147483647 259962 62 | 7.384 % |
195.47/195.69 c | 310949 | 19041 109270 372535 | 261267 262216 62 | 7.384 % |
199.17/199.37 c | 313427 | 19041 109270 372535 | 261267 264694 62 | 7.384 % |
203.78/203.92 c | 316153 | 19041 109270 372535 | 261267 235685 66 | 7.384 % |
208.38/208.54 c | 319152 | 19040 109261 372504 | 261267 238634 67 | 7.388 % |
208.48/208.67 c | 319252 | 19040 109261 372504 | 261267 238734 67 | 7.388 % |
208.58/208.77 c | 319362 | 19040 109261 372504 | 261267 238844 67 | 7.388 % |
208.68/208.86 c | 319483 | 19040 109261 372504 | 261267 238965 67 | 7.388 % |
208.88/209.02 c | 319617 | 19040 109261 372504 | 261267 239099 67 | 7.388 % |
208.98/209.17 c | 319763 | 19040 109261 372504 | 261267 239245 67 | 7.388 % |
209.18/209.36 c | 319923 | 19040 109261 372504 | 261267 239405 67 | 7.388 % |
209.38/209.54 c | 320099 | 19040 109261 372504 | 2147483647 239581 67 | 7.388 % |
209.68/209.88 c | 320292 | 19040 109261 372504 | 2147483647 239774 67 | 7.388 % |
209.88/210.07 c | 320505 | 19040 109261 372504 | 2147483647 239987 67 | 7.388 % |
210.18/210.32 c | 320738 | 19040 109261 372504 | 2147483647 240220 67 | 7.388 % |
210.48/210.63 c | 320994 | 19040 109261 372504 | 2147483647 240476 67 | 7.388 % |
210.88/211.09 c | 321275 | 19040 109261 372504 | 2147483647 240757 67 | 7.388 % |
211.48/211.60 c | 321586 | 19040 109261 372504 | 2147483647 241068 67 | 7.388 % |
211.87/212.01 c | 321926 | 19040 109261 372504 | 2147483647 241408 67 | 7.388 % |
212.37/212.52 c | 322300 | 19040 109261 372504 | 2147483647 241782 67 | 7.388 % |
212.77/212.98 c | 322709 | 19040 109261 372504 | 2147483647 242191 67 | 7.388 % |
213.37/213.50 c | 323161 | 19040 109261 372504 | 2147483647 242643 67 | 7.388 % |
213.97/214.18 c | 323654 | 19040 109261 372504 | 2147483647 243136 67 | 7.388 % |
214.57/214.78 c | 324196 | 19040 109261 372504 | 2147483647 243678 67 | 7.388 % |
215.97/216.10 c | 324793 | 19040 109261 372504 | 2147483647 244275 67 | 7.388 % |
216.77/216.90 c | 325449 | 19040 109261 372504 | 2147483647 244931 67 | 7.388 % |
217.67/217.87 c | 326171 | 19040 109261 372504 | 2147483647 245653 67 | 7.388 % |
218.57/218.74 c | 326963 | 19040 109261 372504 | 2147483647 246445 67 | 7.388 % |
219.67/219.87 c | 327834 | 19040 109261 372504 | 2147483647 247316 67 | 7.388 % |
220.77/220.90 c | 328793 | 19040 109261 372504 | 2147483647 248275 67 | 7.388 % |
222.37/222.50 c | 329847 | 19040 109261 372504 | 2147483647 249329 68 | 7.388 % |
224.27/224.46 c | 331006 | 19040 109261 372504 | 249483 250488 68 | 7.388 % |
226.06/226.27 c | 332279 | 19040 109261 372504 | 249483 251761 68 | 7.389 % |
228.67/228.83 c | 333680 | 19040 109261 372504 | 249483 227986 68 | 7.388 % |
230.36/230.55 c | 335220 | 19040 109261 372504 | 249483 229526 68 | 7.388 % |
233.36/233.59 c | 336915 | 19040 109261 372504 | 249483 231221 69 | 7.388 % |
235.96/236.19 c | 338779 | 19040 109261 372504 | 249483 233085 69 | 7.388 % |
239.26/239.48 c | 340829 | 19040 109261 372504 | 2147483647 235135 70 | 7.388 % |
242.36/242.59 c | 343082 | 19040 109261 372504 | 2147483647 237388 70 | 7.388 % |
246.46/246.70 c | 345561 | 19040 109261 372504 | 2147483647 239867 71 | 7.388 % |
250.46/250.63 c | 348286 | 19040 109261 372504 | 2147483647 242592 72 | 7.388 % |
253.76/253.91 c | 351284 | 19040 109261 372504 | 2147483647 245590 72 | 7.388 % |
259.76/259.98 c | 354582 | 19040 109261 372504 | 2147483647 248888 74 | 7.388 % |
259.96/260.10 c | 354683 | 19040 109261 372504 | 2147483647 248989 74 | 7.388 % |
260.06/260.23 c | 354793 | 19040 109261 372504 | 2147483647 249099 74 | 7.388 % |
260.26/260.46 c | 354916 | 19040 109261 372504 | 2147483647 249222 74 | 7.388 % |
260.46/260.66 c | 355049 | 19040 109261 372504 | 2147483647 249355 74 | 7.388 % |
260.66/260.81 c | 355195 | 19040 109261 372504 | 2147483647 249501 74 | 7.388 % |
260.86/261.03 c | 355356 | 19040 109261 372504 | 2147483647 249662 74 | 7.389 % |
261.06/261.25 c | 355532 | 19040 109261 372504 | 2147483647 249838 73 | 7.388 % |
261.36/261.57 c | 355727 | 19040 109261 372504 | 2147483647 250033 74 | 7.388 % |
261.76/261.92 c | 355940 | 19040 109261 372504 | 2147483647 250246 73 | 7.388 % |
262.16/262.32 c | 356174 | 19040 109261 372504 | 2147483647 250480 74 | 7.388 % |
262.36/262.60 c | 356432 | 19040 109261 372504 | 2147483647 250738 73 | 7.388 % |
262.66/262.86 c | 356713 | 19040 109261 372504 | 2147483647 251019 73 | 7.388 % |
263.15/263.31 c | 357022 | 19040 109261 372504 | 2147483647 251328 73 | 7.388 % |
263.55/263.71 c | 357361 | 19040 109261 372504 | 2147483647 251667 73 | 7.388 % |
264.05/264.22 c | 357734 | 19040 109261 372504 | 2147483647 252040 73 | 7.388 % |
264.46/264.66 c | 358144 | 19040 109261 372504 | 2147483647 252450 73 | 7.388 % |
265.16/265.34 c | 358593 | 19040 109261 372504 | 2147483647 252899 74 | 7.388 % |
265.86/266.03 c | 359086 | 19040 109261 372504 | 2147483647 253392 74 | 7.388 % |
266.46/266.66 c | 359628 | 19040 109261 372504 | 2147483647 253934 73 | 7.388 % |
267.35/267.58 c | 360225 | 19040 109261 372504 | 2147483647 254531 74 | 7.388 % |
268.26/268.44 c | 360881 | 19040 109261 372504 | 2147483647 255187 74 | 7.388 % |
269.05/269.25 c | 361601 | 19040 109261 372504 | 2147483647 255907 74 | 7.388 % |
270.15/270.34 c | 362394 | 19040 109261 372504 | 2147483647 256700 74 | 7.388 % |
271.66/271.87 c | 363265 | 19040 109261 372504 | 2147483647 257571 74 | 7.388 % |
272.96/273.13 c | 364224 | 19040 109261 372504 | 2147483647 258530 74 | 7.388 % |
274.85/275.05 c | 365277 | 19040 109261 372504 | 2147483647 259583 74 | 7.388 % |
276.55/276.71 c | 366436 | 19040 109261 372504 | 2147483647 260742 74 | 7.388 % |
278.35/278.54 c | 367709 | 19040 109261 372504 | 2147483647 262015 75 | 7.388 % |
280.35/280.52 c | 369110 | 19040 109261 372504 | 2147483647 263416 75 | 7.388 % |
282.35/282.54 c | 370650 | 19040 109261 372504 | 264308 264956 75 | 7.388 % |
285.45/285.64 c | 372344 | 19040 109261 372504 | 264308 266650 76 | 7.388 % |
288.55/288.79 c | 374207 | 19040 109261 372504 | 264308 240600 77 | 7.388 % |
291.15/291.40 c | 376258 | 19040 109261 372504 | 264308 242651 77 | 7.388 % |
294.45/294.66 c | 378512 | 19040 109261 372504 | 264308 244905 77 | 7.388 % |
299.45/299.63 c | 380994 | 19040 109261 372504 | 246393 247387 78 | 7.388 % |
303.64/303.83 c | 383720 | 19040 109261 372504 | 246393 250113 79 | 7.388 % |
309.24/309.40 c | 386717 | 19040 109261 372504 | 246393 222585 83 | 7.388 % |
312.44/312.70 c | 390013 | 19040 109261 372504 | 2147483647 225881 83 | 7.388 % |
320.54/320.75 c | 393638 | 19040 109261 372504 | 2147483647 229506 85 | 7.388 % |
320.64/320.86 c | 393739 | 19040 109261 372504 | 2147483647 229607 85 | 7.388 % |
320.84/321.07 c | 393850 | 19040 109261 372504 | 2147483647 229718 85 | 7.388 % |
321.04/321.27 c | 393971 | 19040 109261 372504 | 2147483647 229839 85 | 7.388 % |
321.24/321.42 c | 394104 | 19040 109261 372504 | 2147483647 229972 85 | 7.388 % |
321.44/321.61 c | 394250 | 19040 109261 372504 | 2147483647 230118 85 | 7.388 % |
321.64/321.81 c | 394410 | 19040 109261 372504 | 2147483647 230278 85 | 7.389 % |
321.74/321.93 c | 394589 | 19040 109261 372504 | 2147483647 230457 85 | 7.388 % |
322.04/322.27 c | 394782 | 19040 109261 372504 | 2147483647 230650 85 | 7.388 % |
322.24/322.44 c | 394994 | 19040 109261 372504 | 2147483647 230862 85 | 7.388 % |
322.44/322.69 c | 395228 | 19040 109261 372504 | 2147483647 231096 85 | 7.388 % |
322.84/323.10 c | 395484 | 19040 109261 372504 | 2147483647 231352 85 | 7.388 % |
323.24/323.42 c | 395765 | 19040 109261 372504 | 2147483647 231633 85 | 7.388 % |
323.63/323.84 c | 396075 | 19040 109261 372504 | 2147483647 231943 85 | 7.388 % |
324.24/324.48 c | 396415 | 19040 109261 372504 | 2147483647 232283 85 | 7.388 % |
324.63/324.88 c | 396787 | 19040 109261 372504 | 2147483647 232655 85 | 7.388 % |
325.23/325.46 c | 397196 | 19040 109261 372504 | 2147483647 233064 85 | 7.388 % |
325.73/325.93 c | 397645 | 19040 109261 372504 | 2147483647 233513 85 | 7.388 % |
326.33/326.51 c | 398138 | 19040 109261 372504 | 2147483647 234006 85 | 7.388 % |
327.03/327.20 c | 398681 | 19040 109261 372504 | 2147483647 234549 85 | 7.388 % |
327.63/327.82 c | 399277 | 19040 109261 372504 | 2147483647 235145 85 | 7.388 % |
328.33/328.51 c | 399932 | 19040 109261 372504 | 2147483647 235800 85 | 7.388 % |
329.43/329.61 c | 400652 | 19040 109261 372504 | 2147483647 236520 85 | 7.388 % |
330.23/330.43 c | 401444 | 19040 109261 372504 | 2147483647 237312 85 | 7.388 % |
331.03/331.24 c | 402315 | 19040 109261 372504 | 2147483647 238183 85 | 7.388 % |
332.74/332.98 c | 403273 | 19040 109261 372504 | 2147483647 239141 85 | 7.389 % |
333.84/334.03 c | 404326 | 19040 109261 372504 | 2147483647 240194 85 | 7.388 % |
335.73/335.92 c | 405486 | 19040 109261 372504 | 2147483647 241354 85 | 7.388 % |
336.93/337.11 c | 406759 | 19040 109261 372504 | 2147483647 242627 85 | 7.388 % |
339.23/339.40 c | 408159 | 19040 109261 372504 | 2147483647 244027 85 | 7.388 % |
341.23/341.40 c | 409699 | 19040 109261 372504 | 2147483647 245567 85 | 7.388 % |
343.82/344.03 c | 411393 | 19040 109261 372504 | 2147483647 247261 85 | 7.388 % |
346.42/346.61 c | 413257 | 19040 109261 372504 | 2147483647 249125 86 | 7.388 % |
350.03/350.27 c | 415306 | 19040 109261 372504 | 2147483647 251174 86 | 7.388 % |
353.53/353.73 c | 417559 | 19040 109261 372504 | 2147483647 253427 86 | 7.388 % |
356.93/357.17 c | 420037 | 19040 109261 372504 | 255868 255905 87 | 7.388 % |
361.53/361.73 c | 422763 | 19040 109261 372504 | 255868 258631 87 | 7.388 % |
366.72/366.95 c | 425764 | 19040 109261 372504 | 255868 221040 85 | 7.388 % |
370.72/370.98 c | 429062 | 19040 109261 372504 | 255868 224338 85 | 7.388 % |
378.62/378.86 c | 432689 | 19039 109256 372490 | 2147483647 227963 87 | 7.393 % |
382.62/382.84 c | 436677 | 19039 109256 372490 | 2147483647 231951 88 | 7.393 % |
382.62/382.89 c | 436777 | 19039 109256 372490 | 2147483647 232051 88 | 7.393 % |
382.82/383.08 c | 436887 | 19039 109256 372490 | 2147483647 232161 88 | 7.393 % |
383.02/383.22 c | 437008 | 19039 109256 372490 | 2147483647 232282 88 | 7.393 % |
383.12/383.38 c | 437142 | 19039 109256 372490 | 2147483647 232416 88 | 7.393 % |
383.32/383.53 c | 437288 | 19039 109256 372490 | 2147483647 232562 88 | 7.393 % |
383.52/383.74 c | 437449 | 19039 109256 372490 | 2147483647 232723 88 | 7.393 % |
383.72/383.94 c | 437625 | 19039 109256 372490 | 2147483647 232899 88 | 7.393 % |
384.02/384.24 c | 437818 | 19039 109256 372490 | 2147483647 233092 88 | 7.393 % |
384.32/384.57 c | 438030 | 19039 109256 372490 | 2147483647 233304 88 | 7.393 % |
384.62/384.89 c | 438264 | 19039 109256 372490 | 2147483647 233538 88 | 7.393 % |
385.02/385.23 c | 438520 | 19039 109256 372490 | 2147483647 233794 87 | 7.393 % |
385.52/385.70 c | 438804 | 19037 109256 372490 | 2147483647 234077 88 | 7.403 % |
386.11/386.32 c | 439113 | 19037 109256 372490 | 2147483647 234386 88 | 7.403 % |
386.41/386.62 c | 439452 | 19037 109256 372490 | 2147483647 234725 87 | 7.403 % |
386.92/387.17 c | 439824 | 19037 109256 372490 | 2147483647 235097 87 | 7.403 % |
387.41/387.65 c | 440234 | 19037 109256 372490 | 2147483647 235507 87 | 7.403 % |
388.12/388.35 c | 440684 | 19037 109256 372490 | 2147483647 235957 87 | 7.403 % |
388.51/388.76 c | 441179 | 19037 109256 372490 | 2147483647 236452 87 | 7.403 % |
389.41/389.69 c | 441721 | 19037 109256 372490 | 2147483647 236994 87 | 7.403 % |
390.32/390.52 c | 442318 | 19037 109256 372490 | 2147483647 237591 87 | 7.403 % |
390.91/391.12 c | 442973 | 19037 109256 372490 | 2147483647 238246 87 | 7.403 % |
391.81/392.05 c | 443694 | 19037 109256 372490 | 2147483647 238967 87 | 7.403 % |
393.11/393.30 c | 444487 | 19037 109256 372490 | 2147483647 239760 87 | 7.403 % |
394.11/394.36 c | 445359 | 19037 109256 372490 | 2147483647 240632 87 | 7.403 % |
395.51/395.74 c | 446317 | 19037 109256 372490 | 2147483647 241590 87 | 7.403 % |
396.91/397.18 c | 447371 | 19037 109256 372490 | 2147483647 242644 87 | 7.403 % |
399.11/399.36 c | 448529 | 19037 109256 372490 | 2147483647 243802 88 | 7.403 % |
401.61/401.83 c | 449802 | 19037 109256 372490 | 2147483647 245075 88 | 7.403 % |
403.11/403.33 c | 451203 | 19037 109256 372490 | 2147483647 246476 88 | 7.403 % |
405.51/405.74 c | 452743 | 19037 109256 372490 | 2147483647 248016 88 | 7.403 % |
408.61/408.89 c | 454439 | 19037 109256 372490 | 2147483647 249712 88 | 7.403 % |
411.40/411.63 c | 456302 | 19037 109256 372490 | 2147483647 251575 88 | 7.403 % |
414.90/415.16 c | 458351 | 19037 109256 372490 | 2147483647 253624 89 | 7.403 % |
418.51/418.72 c | 460606 | 19037 109256 372490 | 2147483647 255879 90 | 7.403 % |
422.00/422.25 c | 463086 | 19037 109256 372490 | 2147483647 258359 90 | 7.403 % |
426.81/427.05 c | 465811 | 19037 109256 372490 | 2147483647 261084 90 | 7.403 % |
432.10/432.33 c | 468808 | 19037 109256 372490 | 2147483647 264081 91 | 7.403 % |
439.60/439.90 c | 472104 | 19037 109246 372465 | 2147483647 267377 93 | 7.403 % |
444.89/445.10 c | 475733 | 19037 109246 372465 | 2147483647 271006 93 | 7.403 % |
452.40/452.63 c | 479720 | 19037 109246 372465 | 2147483647 274993 95 | 7.403 % |
461.70/461.94 c | 484106 | 19037 109246 372465 | 275273 279379 96 | 7.403 % |
462.19/462.48 c | 484207 | 19037 109246 372465 | 275273 251543 94 | 7.403 % |
462.39/462.62 c | 484317 | 19037 109246 372465 | 275273 251653 94 | 7.403 % |
462.59/462.83 c | 484438 | 19037 109246 372465 | 275273 251774 94 | 7.403 % |
462.69/462.99 c | 484572 | 19037 109246 372465 | 275273 251908 94 | 7.403 % |
462.90/463.19 c | 484718 | 19037 109246 372465 | 275273 252054 94 | 7.403 % |
463.19/463.47 c | 484879 | 19037 109246 372465 | 275273 252215 94 | 7.403 % |
463.59/463.88 c | 485057 | 19037 109246 372465 | 275273 252393 94 | 7.403 % |
463.79/464.08 c | 485250 | 19037 109246 372465 | 275273 252586 94 | 7.403 % |
464.09/464.38 c | 485463 | 19037 109246 372465 | 275273 252799 94 | 7.403 % |
464.39/464.67 c | 485697 | 19037 109246 372465 | 275273 253033 94 | 7.403 % |
464.89/465.10 c | 485953 | 19037 109246 372465 | 275273 253289 94 | 7.403 % |
465.19/465.49 c | 486234 | 19037 109246 372465 | 275273 253570 94 | 7.403 % |
465.59/465.87 c | 486543 | 19037 109246 372465 | 275273 253879 93 | 7.403 % |
466.10/466.37 c | 486883 | 19037 109246 372465 | 275273 254219 93 | 7.403 % |
466.69/466.97 c | 487256 | 19037 109246 372465 | 275273 254592 94 | 7.403 % |
467.39/467.64 c | 487665 | 19037 109246 372465 | 275273 255001 94 | 7.403 % |
468.09/468.31 c | 488114 | 19037 109246 372465 | 275273 255450 93 | 7.403 % |
468.69/468.94 c | 488607 | 19037 109246 372465 | 275273 255943 93 | 7.403 % |
469.39/469.68 c | 489149 | 19037 109246 372465 | 275273 256485 93 | 7.403 % |
470.39/470.64 c | 489745 | 19037 109246 372465 | 275273 257081 93 | 7.403 % |
471.59/471.82 c | 490401 | 19037 109246 372465 | 257337 257737 94 | 7.403 % |
472.99/473.25 c | 491121 | 19037 109246 372465 | 257337 258457 94 | 7.403 % |
473.79/474.01 c | 491914 | 19037 109246 372465 | 257337 259250 94 | 7.403 % |
475.29/475.59 c | 492786 | 19037 109246 372465 | 257337 231805 93 | 7.403 % |
476.49/476.75 c | 493746 | 19037 109246 372465 | 257337 232765 93 | 7.403 % |
478.19/478.45 c | 494799 | 19037 109246 372465 | 257337 233818 93 | 7.403 % |
479.59/479.80 c | 495958 | 19037 109246 372465 | 257337 234977 94 | 7.403 % |
480.99/481.26 c | 497233 | 19037 109246 372465 | 257337 236252 94 | 7.403 % |
482.88/483.18 c | 498633 | 19037 109246 372465 | 257337 237652 94 | 7.403 % |
485.48/485.73 c | 500173 | 19037 109246 372465 | 2147483647 239192 94 | 7.403 % |
488.78/489.05 c | 501868 | 19037 109246 372465 | 2147483647 240887 94 | 7.403 % |
491.18/491.40 c | 503731 | 19037 109246 372465 | 2147483647 242750 94 | 7.403 % |
494.18/494.47 c | 505783 | 19037 109246 372465 | 2147483647 244802 95 | 7.403 % |
497.98/498.23 c | 508036 | 19037 109246 372465 | 2147483647 247055 95 | 7.403 % |
501.88/502.17 c | 510516 | 19037 109246 372465 | 249019 249535 96 | 7.403 % |
505.28/505.56 c | 513242 | 19037 109246 372465 | 249019 252261 96 | 7.403 % |
511.18/511.49 c | 516240 | 19037 109246 372465 | 249019 228982 93 | 7.403 % |
515.68/515.93 c | 519537 | 19037 109246 372465 | 249019 232279 94 | 7.403 % |
522.77/523.03 c | 523163 | 19037 109246 372465 | 232742 235905 95 | 7.403 % |
528.38/528.62 c | 527150 | 19037 109246 372465 | 232742 214438 95 | 7.403 % |
534.38/534.64 c | 531536 | 19037 109246 372465 | 2147483647 218824 96 | 7.403 % |
542.08/542.35 c | 536359 | 19037 109246 372465 | 2147483647 223647 97 | 7.403 % |
542.27/542.52 c | 536460 | 19037 109246 372465 | 2147483647 223748 97 | 7.403 % |
542.47/542.75 c | 536570 | 19037 109246 372465 | 2147483647 223858 97 | 7.403 % |
542.57/542.86 c | 536692 | 19037 109246 372465 | 2147483647 223980 97 | 7.403 % |
542.77/543.09 c | 536827 | 19037 109246 372465 | 2147483647 224115 97 | 7.403 % |
542.97/543.29 c | 536973 | 19037 109246 372465 | 2147483647 224261 97 | 7.403 % |
543.37/543.66 c | 537133 | 19037 109246 372465 | 2147483647 224421 97 | 7.403 % |
543.57/543.81 c | 537309 | 19037 109246 372465 | 2147483647 224597 97 | 7.403 % |
543.77/544.08 c | 537504 | 19037 109246 372465 | 2147483647 224792 97 | 7.403 % |
544.18/544.41 c | 537717 | 19037 109246 372465 | 2147483647 225005 97 | 7.403 % |
544.47/544.78 c | 537950 | 19037 109246 372465 | 2147483647 225238 97 | 7.403 % |
544.87/545.15 c | 538208 | 19037 109246 372465 | 2147483647 225496 97 | 7.403 % |
545.28/545.51 c | 538490 | 19037 109246 372465 | 2147483647 225778 97 | 7.403 % |
545.57/545.84 c | 538800 | 19037 109246 372465 | 2147483647 226088 97 | 7.403 % |
546.17/546.41 c | 539139 | 19037 109246 372465 | 2147483647 226427 97 | 7.403 % |
546.48/546.79 c | 539511 | 19037 109246 372465 | 2147483647 226799 97 | 7.403 % |
547.17/547.43 c | 539920 | 19037 109246 372465 | 2147483647 227208 97 | 7.403 % |
547.58/547.89 c | 540369 | 19037 109246 372465 | 2147483647 227657 97 | 7.403 % |
548.37/548.60 c | 540863 | 19037 109246 372465 | 2147483647 228151 97 | 7.403 % |
549.57/549.81 c | 541407 | 19037 109246 372465 | 2147483647 228695 97 | 7.403 % |
550.27/550.52 c | 542004 | 19037 109246 372465 | 2147483647 229292 97 | 7.403 % |
551.27/551.52 c | 542659 | 19037 109246 372465 | 2147483647 229947 97 | 7.403 % |
552.37/552.63 c | 543382 | 19037 109246 372465 | 2147483647 230670 97 | 7.403 % |
553.57/553.86 c | 544174 | 19037 109246 372465 | 2147483647 231462 97 | 7.403 % |
554.87/555.16 c | 545046 | 19037 109246 372465 | 2147483647 232334 97 | 7.403 % |
556.87/557.11 c | 546004 | 19037 109246 372465 | 2147483647 233292 97 | 7.403 % |
558.37/558.60 c | 547061 | 19037 109246 372465 | 2147483647 234349 97 | 7.403 % |
560.27/560.55 c | 548219 | 19037 109246 372465 | 2147483647 235507 98 | 7.403 % |
561.97/562.27 c | 549493 | 19037 109246 372465 | 2147483647 236781 98 | 7.403 % |
564.37/564.61 c | 550894 | 19037 109246 372465 | 2147483647 238182 98 | 7.403 % |
566.06/566.37 c | 552437 | 19037 109246 372465 | 2147483647 239725 98 | 7.403 % |
569.06/569.32 c | 554133 | 19037 109246 372465 | 2147483647 241421 98 | 7.403 % |
572.36/572.63 c | 555996 | 19037 109246 372465 | 2147483647 243284 99 | 7.403 % |
575.56/575.85 c | 558045 | 19037 109246 372465 | 2147483647 245333 99 | 7.403 % |
578.86/579.16 c | 560299 | 19037 109246 372465 | 2147483647 247587 99 | 7.403 % |
582.36/582.66 c | 562777 | 19037 109246 372465 | 2147483647 250065 99 | 7.403 % |
588.16/588.46 c | 565502 | 19037 109246 372465 | 2147483647 252790 100 | 7.403 % |
593.36/593.65 c | 568499 | 19037 109246 372465 | 2147483647 255787 101 | 7.403 % |
599.06/599.36 c | 571798 | 19037 109246 372465 | 257288 259086 101 | 7.403 % |
604.05/604.32 c | 575424 | 19037 109246 372465 | 257288 228088 98 | 7.403 % |
611.36/611.67 c | 579411 | 19037 109246 372465 | 257288 232075 100 | 7.403 % |
617.45/617.74 c | 583799 | 19037 109246 372465 | 232665 236463 101 | 7.403 % |
627.75/628.03 c | 588622 | 19037 109246 372465 | 232665 217640 102 | 7.403 % |
637.44/637.76 c | 593928 | 19037 109246 372465 | 2147483647 222946 104 | 7.403 % |
637.65/637.93 c | 594028 | 19037 109246 372465 | 2147483647 223046 104 | 7.403 % |
637.84/638.17 c | 594138 | 19037 109246 372465 | 2147483647 223156 104 | 7.403 % |
638.04/638.37 c | 594260 | 19037 109246 372465 | 2147483647 223278 104 | 7.403 % |
638.24/638.56 c | 594393 | 19037 109246 372465 | 2147483647 223411 104 | 7.403 % |
638.44/638.78 c | 594541 | 19037 109246 372465 | 2147483647 223559 104 | 7.403 % |
638.64/638.99 c | 594704 | 19037 109246 372465 | 2147483647 223722 104 | 7.403 % |
638.94/639.20 c | 594880 | 19037 109246 372465 | 2147483647 223898 104 | 7.403 % |
639.24/639.54 c | 595074 | 19037 109246 372465 | 2147483647 224092 103 | 7.403 % |
639.84/640.15 c | 595286 | 19027 109214 372380 | 2147483647 224303 103 | 7.452 % |
640.14/640.43 c | 595519 | 19027 109214 372380 | 2147483647 224536 103 | 7.452 % |
640.44/640.72 c | 595777 | 19027 109214 372380 | 2147483647 224794 103 | 7.452 % |
640.74/641.03 c | 596058 | 19027 109214 372380 | 2147483647 225075 103 | 7.452 % |
641.04/641.34 c | 596368 | 19027 109214 372380 | 2147483647 225385 103 | 7.452 % |
641.44/641.77 c | 596707 | 19027 109214 372380 | 2147483647 225724 103 | 7.452 % |
641.94/642.30 c | 597079 | 19027 109214 372380 | 2147483647 226096 103 | 7.452 % |
642.54/642.82 c | 597488 | 19027 109214 372380 | 2147483647 226505 103 | 7.452 % |
643.14/643.45 c | 597939 | 19027 109214 372380 | 2147483647 226956 103 | 7.452 % |
643.94/644.24 c | 598432 | 19027 109214 372380 | 2147483647 227449 103 | 7.452 % |
644.54/644.83 c | 598974 | 19027 109214 372380 | 2147483647 227991 103 | 7.452 % |
645.54/645.83 c | 599571 | 19027 109214 372380 | 2147483647 228588 103 | 7.452 % |
646.24/646.50 c | 600227 | 19027 109214 372380 | 2147483647 229244 103 | 7.452 % |
647.34/647.63 c | 600947 | 19027 109214 372380 | 2147483647 229964 103 | 7.452 % |
648.44/648.72 c | 601739 | 19027 109214 372380 | 2147483647 230756 103 | 7.452 % |
649.74/650.05 c | 602611 | 19027 109214 372380 | 2147483647 231628 103 | 7.452 % |
650.74/651.08 c | 603572 | 19027 109214 372380 | 2147483647 232589 103 | 7.452 % |
653.33/653.69 c | 604625 | 19027 109214 372380 | 2147483647 233642 103 | 7.452 % |
654.53/654.83 c | 605783 | 19027 109214 372380 | 2147483647 234800 103 | 7.452 % |
656.03/656.31 c | 607058 | 19027 109214 372380 | 2147483647 236075 103 | 7.452 % |
658.33/658.65 c | 608458 | 19027 109214 372380 | 2147483647 237475 104 | 7.452 % |
660.23/660.50 c | 609998 | 19027 109214 372380 | 2147483647 239015 104 | 7.452 % |
663.33/663.69 c | 611692 | 19027 109214 372380 | 2147483647 240709 104 | 7.452 % |
665.53/665.85 c | 613555 | 19027 109214 372380 | 2147483647 242572 104 | 7.452 % |
669.73/670.00 c | 615604 | 19027 109214 372380 | 2147483647 244621 104 | 7.452 % |
672.83/673.14 c | 617857 | 19027 109214 372380 | 2147483647 246874 105 | 7.452 % |
676.72/677.01 c | 620335 | 19027 109214 372380 | 2147483647 249352 105 | 7.452 % |
681.92/682.22 c | 623061 | 19027 109214 372380 | 2147483647 252078 105 | 7.452 % |
687.63/687.90 c | 626059 | 19027 109214 372380 | 2147483647 255076 106 | 7.452 % |
692.22/692.60 c | 629357 | 19027 109214 372380 | 2147483647 258374 106 | 7.452 % |
699.32/699.68 c | 632982 | 19027 109214 372380 | 259019 261999 108 | 7.452 % |
705.52/705.80 c | 636970 | 19027 109214 372380 | 259019 239788 104 | 7.452 % |
711.22/711.59 c | 641356 | 19027 109214 372380 | 242818 244174 103 | 7.452 % |
722.72/723.05 c | 646181 | 19027 109214 372380 | 242818 223715 103 | 7.452 % |
731.12/731.45 c | 651487 | 19027 109214 372380 | 2147483647 229021 105 | 7.452 % |
742.81/743.19 c | 657325 | 19027 109214 372380 | 2147483647 234859 107 | 7.452 % |
743.01/743.30 c | 657425 | 19027 109214 372380 | 2147483647 234959 107 | 7.452 % |
743.11/743.49 c | 657535 | 19027 109214 372380 | 2147483647 235069 107 | 7.452 % |
743.31/743.68 c | 657656 | 19027 109214 372380 | 2147483647 235190 107 | 7.452 % |
743.61/743.90 c | 657789 | 19027 109214 372380 | 2147483647 235323 107 | 7.452 % |
743.71/744.08 c | 657935 | 19027 109214 372380 | 2147483647 235469 107 | 7.452 % |
743.91/744.30 c | 658095 | 19027 109214 372380 | 2147483647 235629 107 | 7.452 % |
744.21/744.60 c | 658271 | 19027 109214 372380 | 2147483647 235805 107 | 7.452 % |
744.61/744.93 c | 658465 | 19027 109214 372380 | 2147483647 235999 107 | 7.452 % |
744.91/745.25 c | 658680 | 19027 109214 372380 | 2147483647 236214 107 | 7.452 % |
745.21/745.56 c | 658914 | 19027 109214 372380 | 2147483647 236448 106 | 7.452 % |
745.71/746.08 c | 659171 | 19027 109214 372380 | 2147483647 236705 107 | 7.452 % |
746.01/746.35 c | 659454 | 19027 109214 372380 | 2147483647 236988 106 | 7.452 % |
746.41/746.71 c | 659763 | 19027 109214 372380 | 2147483647 237297 106 | 7.452 % |
746.81/747.13 c | 660102 | 19027 109214 372380 | 2147483647 237636 106 | 7.452 % |
747.51/747.80 c | 660474 | 19027 109214 372380 | 2147483647 238008 106 | 7.452 % |
748.01/748.36 c | 660883 | 19027 109214 372380 | 2147483647 238417 106 | 7.452 % |
748.81/749.17 c | 661334 | 19027 109214 372380 | 2147483647 238868 106 | 7.452 % |
749.21/749.60 c | 661827 | 19027 109214 372380 | 2147483647 239361 106 | 7.452 % |
750.41/750.73 c | 662369 | 19027 109214 372380 | 2147483647 239903 106 | 7.452 % |
751.30/751.60 c | 662967 | 19027 109214 372380 | 2147483647 240501 106 | 7.452 % |
752.30/752.62 c | 663622 | 19027 109214 372380 | 2147483647 241156 106 | 7.452 % |
753.70/754.01 c | 664343 | 19027 109214 372380 | 2147483647 241877 106 | 7.452 % |
754.40/754.75 c | 665135 | 19027 109214 372380 | 2147483647 242669 106 | 7.452 % |
756.10/756.42 c | 666007 | 19027 109214 372380 | 2147483647 243541 107 | 7.452 % |
757.51/757.87 c | 666967 | 19027 109214 372380 | 2147483647 244501 107 | 7.452 % |
759.40/759.74 c | 668021 | 19026 109206 372354 | 2147483647 245554 107 | 7.457 % |
762.50/762.82 c | 669180 | 19026 109206 372354 | 2147483647 246713 107 | 7.457 % |
764.20/764.59 c | 670455 | 19026 109206 372354 | 2147483647 247988 107 | 7.457 % |
766.70/767.09 c | 671856 | 19026 109206 372354 | 2147483647 249389 107 | 7.457 % |
768.10/768.41 c | 673398 | 19026 109206 372354 | 2147483647 250931 107 | 7.457 % |
771.40/771.75 c | 675093 | 19026 109206 372354 | 2147483647 252626 108 | 7.457 % |
773.79/774.11 c | 676958 | 19026 109206 372354 | 2147483647 254491 107 | 7.457 % |
776.99/777.33 c | 679007 | 19026 109206 372354 | 2147483647 256540 107 | 7.457 % |
780.60/781.00 c | 681260 | 19026 109206 372354 | 257533 258793 108 | 7.457 % |
783.69/784.01 c | 683738 | 19026 109206 372354 | 257533 235153 104 | 7.457 % |
787.89/788.27 c | 686465 | 19026 109206 372354 | 257533 237880 105 | 7.457 % |
794.19/794.53 c | 689462 | 19026 109206 372354 | 257533 240877 106 | 7.457 % |
798.89/799.27 c | 692759 | 19026 109206 372354 | 2147483647 244174 106 | 7.457 % |
806.58/806.96 c | 696384 | 19026 109206 372354 | 2147483647 247799 107 | 7.457 % |
815.48/815.83 c | 700371 | 19026 109206 372354 | 2147483647 251786 109 | 7.457 % |
821.48/821.90 c | 704756 | 19026 109206 372354 | 2147483647 256171 110 | 7.457 % |
830.38/830.70 c | 709579 | 19026 109206 372354 | 2147483647 260994 111 | 7.457 % |
839.27/839.63 c | 714885 | 19026 109206 372354 | 2147483647 266300 111 | 7.457 % |
849.88/850.25 c | 720721 | 19026 109206 372354 | 2147483647 272136 112 | 7.457 % |
859.97/860.35 c | 727140 | 19026 109206 372354 | 2147483647 278555 113 | 7.457 % |
860.07/860.46 c | 727240 | 19026 109206 372354 | 2147483647 278655 113 | 7.457 % |
860.17/860.59 c | 727352 | 19026 109206 372354 | 2147483647 278767 113 | 7.457 % |
860.47/860.82 c | 727473 | 19026 109206 372354 | 2147483647 278888 113 | 7.457 % |
860.67/861.02 c | 727608 | 19026 109206 372354 | 2147483647 279023 113 | 7.457 % |
860.97/861.37 c | 727754 | 19026 109206 372354 | 2147483647 279169 113 | 7.457 % |
861.27/861.66 c | 727914 | 19026 109206 372354 | 2147483647 279329 113 | 7.457 % |
861.67/862.02 c | 728091 | 19026 109206 372354 | 2147483647 279506 113 | 7.457 % |
861.97/862.37 c | 728284 | 19026 109206 372354 | 2147483647 279699 113 | 7.457 % |
862.37/862.74 c | 728498 | 19026 109206 372354 | 2147483647 279913 113 | 7.457 % |
862.67/863.05 c | 728731 | 19026 109206 372354 | 2147483647 280146 113 | 7.457 % |
863.17/863.56 c | 728987 | 19026 109206 372354 | 2147483647 280402 113 | 7.457 % |
863.46/863.90 c | 729270 | 19026 109206 372354 | 2147483647 280685 113 | 7.457 % |
864.07/864.43 c | 729580 | 19026 109206 372354 | 2147483647 280995 113 | 7.457 % |
864.47/864.87 c | 729919 | 19026 109206 372354 | 2147483647 281334 113 | 7.457 % |
865.07/865.40 c | 730292 | 19026 109206 372354 | 281416 281707 112 | 7.457 % |
865.57/865.98 c | 730701 | 19026 109206 372354 | 281416 282116 112 | 7.457 % |
866.38/866.70 c | 731151 | 19026 109206 372354 | 281416 282566 112 | 7.457 % |
867.27/867.61 c | 731646 | 19026 109206 372354 | 281416 283061 112 | 7.457 % |
868.27/868.60 c | 732189 | 19026 109206 372354 | 281416 246381 106 | 7.457 % |
868.97/869.38 c | 732785 | 19026 109206 372354 | 281416 246977 106 | 7.457 % |
870.37/870.78 c | 733441 | 19026 109206 372354 | 281416 247633 106 | 7.457 % |
871.27/871.61 c | 734161 | 19026 109206 372354 | 281416 248353 106 | 7.457 % |
872.77/873.19 c | 734954 | 19026 109206 372354 | 281416 249146 106 | 7.457 % |
873.87/874.23 c | 735825 | 19026 109206 372354 | 281416 250017 106 | 7.457 % |
874.97/875.35 c | 736783 | 19026 109206 372354 | 281416 250975 106 | 7.457 % |
876.37/876.78 c | 737836 | 19026 109206 372354 | 281416 252028 106 | 7.457 % |
878.67/879.03 c | 738994 | 19026 109206 372354 | 281416 253186 106 | 7.457 % |
880.67/881.05 c | 740267 | 19026 109206 372354 | 254192 254459 106 | 7.457 % |
882.47/882.83 c | 741667 | 19026 109206 372354 | 254192 255859 106 | 7.457 % |
885.87/886.29 c | 743208 | 19026 109206 372354 | 254192 226609 104 | 7.457 % |
887.97/888.34 c | 744903 | 19026 109206 372354 | 254192 228304 104 | 7.457 % |
890.67/891.06 c | 746766 | 19026 109206 372354 | 254192 230167 104 | 7.457 % |
893.46/893.86 c | 748815 | 19026 109206 372354 | 254192 232216 104 | 7.457 % |
897.86/898.27 c | 751068 | 19026 109206 372354 | 2147483647 234469 105 | 7.457 % |
901.46/901.81 c | 753546 | 19026 109206 372354 | 2147483647 236947 105 | 7.457 % |
907.36/907.79 c | 756271 | 19026 109206 372354 | 2147483647 239672 106 | 7.457 % |
911.56/911.96 c | 759268 | 19026 109206 372354 | 2147483647 242669 106 | 7.457 % |
917.06/917.47 c | 762565 | 19026 109206 372354 | 2147483647 245966 106 | 7.457 % |
923.66/924.07 c | 766190 | 19026 109206 372354 | 2147483647 249591 107 | 7.457 % |
930.35/930.70 c | 770177 | 19026 109206 372354 | 2147483647 253578 109 | 7.457 % |
937.55/937.93 c | 774562 | 19026 109206 372354 | 2147483647 257963 109 | 7.457 % |
950.35/950.79 c | 779387 | 19026 109206 372354 | 2147483647 262788 112 | 7.457 % |
958.35/958.71 c | 784692 | 19026 109206 372354 | 2147483647 268093 112 | 7.457 % |
968.44/968.88 c | 790527 | 19026 109206 372354 | 273401 273928 113 | 7.457 % |
984.44/984.87 c | 796945 | 19026 109206 372354 | 273401 252434 111 | 7.457 % |
1002.84/1003.29 c | 804005 | 19026 109206 372354 | 2147483647 259494 115 | 7.457 % |
1003.13/1003.52 c | 804106 | 19026 109206 372354 | 2147483647 259595 115 | 7.457 % |
1003.33/1003.75 c | 804216 | 19026 109206 372354 | 2147483647 259705 115 | 7.457 % |
1003.53/1003.94 c | 804337 | 19026 109206 372354 | 2147483647 259826 115 | 7.457 % |
1003.84/1004.25 c | 804470 | 19026 109206 372354 | 2147483647 259959 115 | 7.457 % |
1004.03/1004.47 c | 804617 | 19026 109206 372354 | 2147483647 260106 115 | 7.457 % |
1004.43/1004.83 c | 804777 | 19026 109206 372354 | 2147483647 260266 115 | 7.457 % |
1004.63/1005.06 c | 804953 | 19026 109206 372354 | 2147483647 260442 115 | 7.457 % |
1004.94/1005.38 c | 805146 | 19026 109206 372354 | 2147483647 260635 115 | 7.457 % |
1005.33/1005.71 c | 805358 | 19026 109206 372354 | 2147483647 260847 115 | 7.457 % |
1005.63/1006.05 c | 805593 | 19026 109206 372354 | 2147483647 261082 115 | 7.457 % |
1006.04/1006.47 c | 805850 | 19026 109206 372354 | 2147483647 261339 115 | 7.457 % |
1006.43/1006.86 c | 806132 | 19026 109206 372354 | 2147483647 261621 115 | 7.457 % |
1007.03/1007.40 c | 806441 | 19026 109206 372354 | 2147483647 261930 115 | 7.457 % |
1007.53/1007.93 c | 806783 | 19026 109206 372354 | 2147483647 262272 115 | 7.457 % |
1008.03/1008.45 c | 807155 | 19026 109206 372354 | 2147483647 262644 115 | 7.457 % |
1008.73/1009.18 c | 807564 | 19026 109206 372354 | 2147483647 263053 115 | 7.457 % |
1009.34/1009.75 c | 808014 | 19026 109206 372354 | 2147483647 263503 114 | 7.457 % |
1010.23/1010.67 c | 808507 | 19026 109206 372354 | 2147483647 263996 114 | 7.457 % |
1011.03/1011.47 c | 809050 | 19026 109206 372354 | 2147483647 264539 114 | 7.457 % |
1012.33/1012.72 c | 809648 | 19026 109206 372354 | 2147483647 265137 114 | 7.457 % |
1013.33/1013.73 c | 810303 | 19026 109206 372354 | 265489 265792 114 | 7.457 % |
1014.73/1015.13 c | 811023 | 19026 109206 372354 | 265489 266512 114 | 7.457 % |
1016.13/1016.54 c | 811815 | 19026 109206 372354 | 265489 267304 114 | 7.457 % |
1017.93/1018.32 c | 812686 | 19026 109206 372354 | 265489 233243 108 | 7.457 % |
1019.13/1019.50 c | 813645 | 19026 109206 372354 | 265489 234202 108 | 7.457 % |
1020.73/1021.16 c | 814700 | 19026 109206 372354 | 265489 235257 108 | 7.457 % |
1022.73/1023.13 c | 815859 | 19026 109206 372354 | 265489 236416 108 | 7.457 % |
1024.53/1024.98 c | 817132 | 19026 109206 372354 | 265489 237689 108 | 7.457 % |
1026.43/1026.83 c | 818533 | 19026 109206 372354 | 265489 239090 108 | 7.457 % |
1028.22/1028.64 c | 820073 | 19026 109206 372354 | 240558 240630 108 | 7.457 % |
1031.72/1032.19 c | 821767 | 19026 109206 372354 | 240558 242324 109 | 7.457 % |
1034.82/1035.20 c | 823631 | 19026 109206 372354 | 240558 219956 107 | 7.457 % |
1039.62/1040.04 c | 825681 | 19026 109206 372354 | 240558 222006 108 | 7.457 % |
1043.62/1044.07 c | 827934 | 19026 109206 372354 | 240558 224259 109 | 7.457 % |
1046.92/1047.32 c | 830414 | 19026 109206 372354 | 2147483647 226739 108 | 7.457 % |
1051.92/1052.37 c | 833139 | 19026 109206 372354 | 2147483647 229464 109 | 7.457 % |
1058.42/1058.89 c | 836136 | 19026 109206 372354 | 2147483647 232461 111 | 7.457 % |
1064.32/1064.79 c | 839435 | 19026 109206 372354 | 2147483647 235760 112 | 7.457 % |
1072.02/1072.42 c | 843060 | 19026 109206 372354 | 2147483647 239385 113 | 7.457 % |
1078.51/1078.98 c | 847047 | 19026 109206 372354 | 2147483647 243372 114 | 7.457 % |
1084.51/1084.96 c | 851434 | 19026 109206 372354 | 2147483647 247759 114 | 7.457 % |
1092.61/1093.06 c | 856258 | 19026 109206 372354 | 2147483647 252583 115 | 7.457 % |
1101.81/1102.27 c | 861565 | 19026 109206 372354 | 2147483647 257890 115 | 7.457 % |
1113.40/1113.82 c | 867400 | 19026 109206 372354 | 2147483647 263725 117 | 7.457 % |
1127.59/1128.01 c | 873818 | 19026 109206 372354 | 266325 235117 119 | 7.457 % |
1137.39/1137.84 c | 880879 | 19026 109206 372354 | 241299 242178 119 | 7.457 % |
1150.59/1151.08 c | 888643 | 19026 109206 372354 | 241299 249942 121 | 7.457 % |
1151.19/1151.64 c | 888743 | 19026 109206 372354 | 241299 220038 117 | 7.457 % |
1151.39/1151.84 c | 888854 | 19026 109206 372354 | 241299 220149 117 | 7.457 % |
1151.59/1152.05 c | 888975 | 19026 109206 372354 | 241299 220270 117 | 7.457 % |
1151.89/1152.32 c | 889110 | 19026 109206 372354 | 241299 220405 117 | 7.457 % |
1151.99/1152.49 c | 889257 | 19026 109206 372354 | 241299 220552 117 | 7.457 % |
1152.19/1152.69 c | 889417 | 19026 109206 372354 | 241299 220712 117 | 7.457 % |
1152.49/1153.00 c | 889593 | 19026 109206 372354 | 241299 220888 117 | 7.457 % |
1152.89/1153.31 c | 889787 | 19026 109206 372354 | 241299 221082 117 | 7.457 % |
1153.09/1153.57 c | 889999 | 19026 109206 372354 | 241299 221294 117 | 7.457 % |
1153.49/1153.93 c | 890232 | 19026 109206 372354 | 221295 221527 117 | 7.457 % |
1153.89/1154.32 c | 890488 | 19026 109206 372354 | 221295 221783 117 | 7.457 % |
1154.29/1154.73 c | 890769 | 19026 109206 372354 | 221295 222064 117 | 7.457 % |
1154.69/1155.11 c | 891079 | 19026 109206 372354 | 221295 222374 117 | 7.457 % |
1155.19/1155.69 c | 891418 | 19026 109206 372354 | 221295 222713 117 | 7.457 % |
1155.59/1156.04 c | 891790 | 19026 109206 372354 | 221295 223085 116 | 7.457 % |
1156.59/1157.03 c | 892200 | 19026 109206 372354 | 221295 197350 110 | 7.457 % |
1156.99/1157.48 c | 892649 | 19026 109206 372354 | 221295 197799 109 | 7.457 % |
1157.58/1158.07 c | 893142 | 19026 109206 372354 | 221295 198292 109 | 7.457 % |
1158.38/1158.89 c | 893684 | 19026 109206 372354 | 221295 198834 109 | 7.457 % |
1159.08/1159.51 c | 894280 | 19026 109206 372354 | 221295 199430 109 | 7.457 % |
1160.18/1160.68 c | 894935 | 19026 109206 372354 | 221295 200085 109 | 7.457 % |
1161.19/1161.64 c | 895655 | 19026 109206 372354 | 221295 200805 109 | 7.457 % |
1162.29/1162.71 c | 896447 | 19026 109206 372354 | 221295 201597 109 | 7.457 % |
1163.88/1164.38 c | 897320 | 19026 109206 372354 | 221295 202470 109 | 7.457 % |
1164.88/1165.32 c | 898279 | 19026 109206 372354 | 221295 203429 109 | 7.457 % |
1166.98/1167.46 c | 899332 | 19026 109206 372354 | 221295 204482 110 | 7.457 % |
1168.38/1168.87 c | 900490 | 19026 109206 372354 | 2147483647 205640 110 | 7.457 % |
1169.68/1170.18 c | 901763 | 19026 109206 372354 | 2147483647 206913 110 | 7.457 % |
1171.78/1172.24 c | 903164 | 19026 109206 372354 | 2147483647 208314 110 | 7.457 % |
1173.48/1173.98 c | 904705 | 19026 109206 372354 | 2147483647 209855 110 | 7.457 % |
1175.98/1176.41 c | 906401 | 19026 109206 372354 | 2147483647 211551 109 | 7.457 % |
1179.08/1179.59 c | 908265 | 19026 109206 372354 | 2147483647 213415 110 | 7.457 % |
1182.47/1182.97 c | 910315 | 19026 109206 372354 | 2147483647 215465 110 | 7.457 % |
1185.77/1186.27 c | 912568 | 19026 109206 372354 | 2147483647 217718 110 | 7.457 % |
1189.68/1190.18 c | 915046 | 19026 109206 372354 | 2147483647 220196 111 | 7.457 % |
1195.07/1195.50 c | 917771 | 19026 109206 372354 | 2147483647 222921 112 | 7.457 % |
1198.77/1199.23 c | 920768 | 19026 109206 372354 | 2147483647 225918 112 | 7.457 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834217-1242828789/watcher-1834217-1242828789 -o /tmp/evaluation-result-1834217-1242828789/solver-1834217-1242828789 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834217-1242828789.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14797
/proc/meminfo: memFree=1946488/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=0
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310912625 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 262910214226 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14797/statm: 1339 235 195 169 0 50 0
[pid=14798] ppid=14797 vsize=5356 CPUtime=0
/proc/14798/stat : 14798 (SatELiteGTI) R 14797 14797 14410 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310912626 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14798/statm: 1339 238 198 169 0 50 0
[pid=14800] ppid=14798 vsize=0 CPUtime=0
/proc/14800/stat : 14800 (sed) Z 14798 14797 14410 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310912626 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14800/statm: 0 0 0 0 0 0 0
[startup+0.093079 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14797
/proc/meminfo: memFree=1946488/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=0
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310912625 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14797/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102078 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14797
/proc/meminfo: memFree=1946488/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=0
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310912625 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14797/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302101 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14797
/proc/meminfo: memFree=1946488/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=0
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310912625 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14797/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702148 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14797
/proc/meminfo: memFree=1946488/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=0
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310912625 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14797/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50125 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14802
/proc/meminfo: memFree=1915432/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 5356
[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1932136/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=10892 CPUtime=2.05
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 2503 0 0 0 204 1 0 0 25 0 1 0 310912728 11153408 2489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 2723 2489 77 171 0 2550 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16248
[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1930744/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=11848 CPUtime=5.25
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 2736 0 0 0 523 2 0 0 25 0 1 0 310912728 12132352 2722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 2962 2722 77 171 0 2789 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17204
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1927864/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=14688 CPUtime=11.64
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 3417 0 0 0 1161 3 0 0 25 0 1 0 310912728 15040512 3403 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 3672 3403 77 171 0 3499 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20044
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1923128/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=19488 CPUtime=24.43
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 4606 0 0 0 2438 5 0 0 25 0 1 0 310912728 19955712 4592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 4872 4592 77 171 0 4699 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 24844
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1913016/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=30056 CPUtime=50.01
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 7228 0 0 0 4994 7 0 0 25 0 1 0 310912728 30777344 7214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 7514 7214 77 171 0 7341 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 35412
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1891704/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=50652 CPUtime=101.2
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 12425 0 0 0 10107 13 0 0 25 0 1 0 310912728 51867648 12411 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 12663 12411 77 171 0 12490 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 56008
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1869112/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=73496 CPUtime=161.18
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 18087 0 0 0 16099 19 0 0 25 0 1 0 310912728 75259904 18073 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 18374 18073 77 171 0 18201 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 78852
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1855544/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=86704 CPUtime=221.16
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 21408 0 0 0 22093 23 0 0 25 0 1 0 310912728 88784896 21394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 21676 21394 77 171 0 21503 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 92060
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1843256/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=99112 CPUtime=281.14
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 24497 0 0 0 28086 28 0 0 25 0 1 0 310912728 101490688 24483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 24778 24483 77 171 0 24605 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 104468
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1838456/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=103468 CPUtime=341.12
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 25607 0 0 0 34082 30 0 0 25 0 1 0 310912728 105951232 25593 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 25867 25593 77 171 0 25694 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 108824
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1831928/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=109804 CPUtime=401.1
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 27190 0 0 0 40078 32 0 0 25 0 1 0 310912728 112439296 27176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 27451 27176 77 171 0 27278 0
Current children cumulated CPU time (s) 402.11
################
# More data... #
################
/proc/14803/statm: 31840 31561 77 171 0 31667 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 132716
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1814072/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=127360 CPUtime=641.04
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 31575 0 0 0 64066 38 0 0 25 0 1 0 310912728 130416640 31561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 31840 31561 77 171 0 31667 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 132716
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1808184/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=133036 CPUtime=701.01
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 33012 0 0 0 70062 39 0 0 25 0 1 0 310912728 136228864 32998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 33259 32998 77 171 0 33086 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 138392
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1808056/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=133036 CPUtime=761
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 33012 0 0 0 76060 40 0 0 25 0 1 0 310912728 136228864 32998 1992294400 134512640 135215339 4294956240 18446744073709551615 134538473 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 33259 32998 77 171 0 33086 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 138392
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1808056/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=133036 CPUtime=820.97
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 33012 0 0 0 82057 40 0 0 25 0 1 0 310912728 136228864 32998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 33259 32998 77 171 0 33086 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 138392
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1793144/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=147820 CPUtime=880.96
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 36711 0 0 0 88051 45 0 0 25 0 1 0 310912728 151367680 36697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 36955 36697 77 171 0 36782 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 153176
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1793080/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=147820 CPUtime=940.94
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 36711 0 0 0 94049 45 0 0 25 0 1 0 310912728 151367680 36697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 36955 36697 77 171 0 36782 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 153176
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790776/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1000.92
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37269 0 0 0 100046 46 0 0 25 0 1 0 310912728 153665536 37255 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37255 77 171 0 37343 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 155420
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790712/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1060.9
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37270 0 0 0 106044 46 0 0 25 0 1 0 310912728 153665536 37256 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37256 77 171 0 37343 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 155420
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790648/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1120.89
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37270 0 0 0 112043 46 0 0 25 0 1 0 310912728 153665536 37256 1992294400 134512640 135215339 4294956240 18446744073709551615 134539152 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37256 77 171 0 37343 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 155420
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790520/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1180.87
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37270 0 0 0 118041 46 0 0 25 0 1 0 310912728 153665536 37256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37256 77 171 0 37343 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 155420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790456/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1199.06
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37270 0 0 0 119860 46 0 0 25 0 1 0 310912728 153665536 37256 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37256 77 171 0 37343 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 155420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14803
/proc/meminfo: memFree=1790456/2055920 swapFree=4180416/4192956
[pid=14797] ppid=14795 vsize=5356 CPUtime=1.01
/proc/14797/stat : 14797 (SatELiteGTI) S 14795 14797 14410 0 -1 4194304 336 8244 0 0 0 0 95 6 16 0 1 0 310912625 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14797/statm: 1339 239 197 169 0 50 0
[pid=14803] ppid=14797 vsize=150064 CPUtime=1199.06
/proc/14803/stat : 14803 (minisat_static) R 14797 14797 14410 0 -1 4194304 37270 0 0 0 119860 46 0 0 25 0 1 0 310912728 153665536 37256 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/14803/statm: 37516 37256 77 171 0 37343 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 155420
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14797 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=952855
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=69989
# CPU time returned by wait4() is 1.02284
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.55
CPU system time (s): 0.52
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 155420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.952855
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8580
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= 10
runsolver used 1.41978 second user time and 2.99654 second system time
The end
Begin job on node11 at 2009-05-20 16:13:10
IDJOB=1834217
IDBENCH=71748
IDSOLVER=671
FILE ID=node11/1834217-1242828789
PBS_JOBID= 9322511
Free space on /tmp= 66336 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/mizh-sha0-36-2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834217-1242828789/watcher-1834217-1242828789 -o /tmp/evaluation-result-1834217-1242828789/solver-1834217-1242828789 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834217-1242828789.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=1178935178
node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1946968 kB
Buffers: 20920 kB
Cached: 51800 kB
SwapCached: 6636 kB
Active: 39972 kB
Inactive: 40948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1946968 kB
SwapTotal: 4192956 kB
SwapFree: 4180416 kB
Dirty: 5704 kB
Writeback: 0 kB
Mapped: 13428 kB
Slab: 13976 kB
Committed_AS: 1095440 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66328 MiB
End job on node11 at 2009-05-20 16:33:12