0.00/0.00 c Parsing...
0.11/0.19 c ==============================================================================
0.11/0.19 c | | ORIGINAL | LEARNT | |
0.11/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.19 c ==============================================================================
0.11/0.19 c | 0 | 180234 522030 | 54070 0 0 nan | 0.000 % |
0.81/0.83 c | 0 | 120270 407842 | -- 0 -- -- | -- | -57282/-106232
0.81/0.83 c ==============================================================================
0.81/0.83 c Result : #vars: 20559 #clauses: 120270 #literals: 407842
0.81/0.83 c CPU time: 0.77 s
0.81/0.83 c ==============================================================================
0.91/0.97 c This is MiniSat 2.0 beta
0.91/0.97 c WARNING: for repeatability, setting FPU to use double precision
0.91/0.97 c ============================[ Problem Statistics ]=============================
0.91/0.97 c | |
0.91/0.98 c | Number of variables: 20559 |
0.91/0.98 c | Number of clauses: 120270 |
0.97/1.06 c | Parsing time: 0.08 s |
0.97/1.06 c ============================[ Search Statistics ]==============================
0.97/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.97/1.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.97/1.06 c ===============================================================================
0.97/1.06 c | 0 | 20559 120270 407842 | 40090 0 nan | 0.000 % |
0.97/1.07 c | 100 | 20559 120270 407842 | 40090 100 5 | 0.000 % |
0.97/1.08 c | 200 | 20559 120270 407842 | 40090 200 5 | 0.000 % |
0.97/1.09 c | 300 | 20559 120270 407842 | 40090 300 5 | 0.000 % |
0.97/1.10 c | 410 | 20559 120270 407842 | 40090 410 7 | 0.000 % |
0.97/1.10 c | 510 | 20559 120270 407842 | 40090 510 6 | 0.000 % |
1.11/1.12 c | 621 | 20557 120270 407842 | 40090 620 6 | 0.015 % |
1.11/1.12 c | 742 | 20557 120270 407842 | 40090 741 6 | 0.015 % |
1.11/1.13 c | 842 | 20557 120270 407842 | 40090 841 6 | 0.015 % |
1.11/1.15 c | 952 | 20557 120270 407842 | 40090 951 6 | 0.015 % |
1.11/1.18 c | 1073 | 20555 120270 407842 | 40090 1070 6 | 0.024 % |
1.11/1.20 c | 1206 | 20554 120270 407842 | 40090 1202 6 | 0.044 % |
1.22/1.23 c | 1306 | 20554 120270 407842 | 40090 1302 6 | 0.044 % |
1.22/1.27 c | 1416 | 20554 120270 407842 | 40090 1412 6 | 0.044 % |
1.22/1.28 c | 1537 | 20554 120270 407842 | 40090 1533 6 | 0.044 % |
1.31/1.31 c | 1670 | 20554 120270 407842 | 40090 1666 6 | 0.044 % |
1.31/1.36 c | 1816 | 20550 120221 407709 | 40090 1809 6 | 0.044 % |
1.41/1.41 c | 1916 | 20549 120221 407709 | 40090 1908 6 | 0.049 % |
1.41/1.45 c | 2026 | 20549 120221 407709 | 40090 2018 6 | 0.049 % |
1.41/1.46 c | 2148 | 20548 120221 407709 | 40090 2139 6 | 0.054 % |
1.51/1.57 c | 2281 | 20548 120221 407709 | 40090 2272 6 | 0.054 % |
1.51/1.57 c | 2427 | 20548 120221 407709 | 40090 2418 7 | 0.054 % |
1.51/1.58 c | 2588 | 20548 120221 407709 | 40090 2579 7 | 0.054 % |
1.51/1.58 c | 2688 | 20548 120221 407709 | 40090 2679 7 | 0.054 % |
1.51/1.58 c | 2799 | 20548 120221 407709 | 40090 2790 7 | 0.054 % |
1.51/1.58 c | 2920 | 20548 120221 407709 | 40090 2911 7 | 0.054 % |
1.51/1.59 c | 3053 | 20548 120221 407709 | 40090 3044 7 | 0.054 % |
1.51/1.59 c | 3201 | 20548 120221 407709 | 40090 3192 7 | 0.054 % |
1.51/1.60 c | 3361 | 20548 120221 407709 | 40090 3352 7 | 0.054 % |
1.61/1.61 c | 3537 | 20548 120221 407709 | 40090 3528 7 | 0.054 % |
1.61/1.62 c | 3637 | 20548 120208 407672 | 40090 3627 7 | 0.054 % |
1.61/1.62 c | 3748 | 20548 120208 407672 | 40090 3738 7 | 0.054 % |
1.61/1.63 c | 3869 | 20548 120208 407672 | 40090 3859 7 | 0.054 % |
1.61/1.63 c | 4002 | 20548 120208 407672 | 40090 3992 7 | 0.054 % |
1.61/1.64 c | 4148 | 20548 120208 407672 | 40090 4138 7 | 0.054 % |
1.61/1.64 c | 4310 | 20548 120208 407672 | 40090 4300 7 | 0.054 % |
1.61/1.65 c | 4487 | 20548 120208 407672 | 40090 4477 7 | 0.054 % |
1.61/1.65 c | 4681 | 20548 120208 407672 | 40090 4671 7 | 0.054 % |
1.61/1.65 c | 4781 | 20548 120208 407672 | 40090 4771 7 | 0.054 % |
1.61/1.66 c | 4892 | 20548 120208 407672 | 40090 4882 7 | 0.054 % |
1.61/1.66 c | 5014 | 20548 120208 407672 | 40090 5004 7 | 0.054 % |
1.61/1.66 c | 5147 | 20548 120208 407672 | 40090 5137 7 | 0.054 % |
1.61/1.67 c | 5293 | 20548 120208 407672 | 40090 5283 7 | 0.054 % |
1.61/1.67 c | 5455 | 20548 120208 407672 | 40090 5445 7 | 0.054 % |
1.61/1.67 c | 5631 | 20548 120208 407672 | 40090 5621 8 | 0.054 % |
1.61/1.68 c | 5824 | 20548 120208 407672 | 40090 5814 8 | 0.054 % |
1.61/1.68 c | 6036 | 20548 120208 407672 | 40090 6026 8 | 0.054 % |
1.61/1.69 c | 6137 | 20548 120208 407672 | 40090 6127 8 | 0.054 % |
1.61/1.69 c | 6250 | 20548 120208 407672 | 40090 6240 8 | 0.054 % |
1.61/1.69 c | 6371 | 20548 120208 407672 | 40090 6361 8 | 0.054 % |
1.61/1.70 c | 6504 | 20548 120208 407672 | 40090 6494 8 | 0.054 % |
1.61/1.70 c | 6652 | 20548 120208 407672 | 40090 6642 8 | 0.054 % |
1.61/1.71 c | 6813 | 20548 120208 407672 | 40090 6803 8 | 0.054 % |
1.71/1.71 c | 6990 | 20544 120208 407672 | 40090 6979 8 | 0.083 % |
1.71/1.72 c | 7183 | 20544 120208 407672 | 40090 7172 8 | 0.083 % |
1.71/1.72 c | 7396 | 20544 120208 407672 | 40090 7385 8 | 0.083 % |
1.71/1.73 c | 7629 | 20544 120208 407672 | 40090 7618 8 | 0.083 % |
1.71/1.73 c | 7729 | 20544 120208 407672 | 40090 7718 8 | 0.083 % |
1.71/1.74 c | 7840 | 20544 120208 407672 | 40090 7829 8 | 0.083 % |
1.71/1.74 c | 7962 | 20544 120208 407672 | 40090 7951 8 | 0.083 % |
1.71/1.74 c | 8097 | 20544 120208 407672 | 40090 8086 8 | 0.083 % |
1.71/1.75 c | 8243 | 20544 120208 407672 | 40090 8232 8 | 0.083 % |
1.71/1.75 c | 8405 | 20544 120208 407672 | 40090 8394 8 | 0.083 % |
1.71/1.75 c | 8582 | 20544 120208 407672 | 40090 8571 8 | 0.083 % |
1.71/1.76 c | 8775 | 20544 120208 407672 | 40090 8764 8 | 0.083 % |
1.71/1.77 c | 8989 | 20544 120208 407672 | 40090 8978 8 | 0.083 % |
1.71/1.78 c | 9222 | 20544 120208 407672 | 40090 9211 8 | 0.083 % |
1.71/1.79 c | 9479 | 20544 120208 407672 | 40090 9468 9 | 0.083 % |
1.71/1.80 c | 9581 | 20544 120208 407672 | 40090 9570 9 | 0.083 % |
1.71/1.81 c | 9691 | 20544 120208 407672 | 40090 9680 9 | 0.083 % |
1.81/1.81 c | 9813 | 20544 120208 407672 | 40090 9802 9 | 0.083 % |
1.81/1.81 c | 9946 | 20544 120208 407672 | 40090 9935 9 | 0.083 % |
1.81/1.82 c | 10094 | 20544 120208 407672 | 2147483647 10083 9 | 0.083 % |
1.81/1.82 c | 10255 | 20544 120208 407672 | 2147483647 10244 9 | 0.083 % |
1.81/1.83 c | 10431 | 20544 120208 407672 | 2147483647 10420 9 | 0.083 % |
1.81/1.84 c | 10626 | 20544 120208 407672 | 2147483647 10615 9 | 0.083 % |
1.81/1.86 c | 10839 | 20542 120208 407672 | 2147483647 10827 9 | 0.092 % |
1.81/1.87 c | 11072 | 20542 120208 407672 | 2147483647 11060 9 | 0.092 % |
1.81/1.88 c | 11330 | 20542 120208 407672 | 2147483647 11318 9 | 0.092 % |
1.81/1.90 c | 11611 | 20540 120144 407479 | 2147483647 11554 9 | 0.092 % |
1.81/1.90 c | 11712 | 20540 120144 407479 | 2147483647 11655 9 | 0.092 % |
1.81/1.91 c | 11823 | 20540 120144 407479 | 2147483647 11766 9 | 0.092 % |
1.91/1.91 c | 11946 | 20540 120144 407479 | 2147483647 11889 9 | 0.092 % |
1.91/1.92 c | 12079 | 20540 120144 407479 | 2147483647 12022 9 | 0.092 % |
1.91/1.92 c | 12226 | 20540 120144 407479 | 2147483647 12169 9 | 0.092 % |
1.91/1.93 c | 12386 | 20540 120144 407479 | 2147483647 12329 9 | 0.092 % |
1.91/1.93 c | 12562 | 20536 120144 407479 | 2147483647 12503 9 | 0.165 % |
1.91/1.94 c | 12756 | 20533 120144 407479 | 2147483647 12697 9 | 0.165 % |
1.91/1.94 c | 12970 | 20533 120144 407479 | 2147483647 12911 9 | 0.165 % |
1.91/1.96 c | 13204 | 20533 120144 407479 | 2147483647 13145 9 | 0.165 % |
1.91/1.97 c | 13461 | 20525 120144 407479 | 2147483647 13402 9 | 0.165 % |
1.91/1.98 c | 13745 | 20525 120144 407479 | 2147483647 13686 9 | 0.165 % |
1.91/1.99 c | 14055 | 20525 120144 407479 | 2147483647 13996 9 | 0.165 % |
1.91/1.99 c | 14157 | 20525 120144 407479 | 2147483647 14098 9 | 0.165 % |
1.91/2.00 c | 14269 | 20525 120144 407479 | 2147483647 14210 9 | 0.165 % |
1.91/2.00 c | 14390 | 20525 120144 407479 | 2147483647 14331 9 | 0.165 % |
1.91/2.01 c | 14523 | 20525 120144 407479 | 2147483647 14464 9 | 0.165 % |
2.01/2.01 c | 14669 | 20525 120144 407479 | 2147483647 14610 9 | 0.165 % |
2.01/2.02 c | 14830 | 20525 120144 407479 | 2147483647 14771 9 | 0.165 % |
2.01/2.09 c | 15006 | 20525 120144 407479 | 2147483647 14947 9 | 0.165 % |
2.11/2.12 c | 15200 | 20525 120144 407479 | 2147483647 15141 9 | 0.165 % |
2.21/2.22 c | 15412 | 20525 120144 407479 | 2147483647 15353 9 | 0.165 % |
2.32/2.35 c | 15645 | 20525 120144 407479 | 2147483647 15586 9 | 0.165 % |
2.32/2.41 c | 15903 | 20525 120035 407146 | 2147483647 15337 9 | 0.165 % |
2.41/2.42 c | 16186 | 20525 120035 407146 | 2147483647 15620 9 | 0.165 % |
2.41/2.43 c | 16495 | 20525 120035 407146 | 2147483647 15929 9 | 0.165 % |
2.41/2.44 c | 16835 | 20525 120035 407146 | 2147483647 16269 9 | 0.165 % |
2.41/2.44 c | 16935 | 20525 120035 407146 | 2147483647 16369 9 | 0.165 % |
2.41/2.44 c | 17046 | 20525 120035 407146 | 2147483647 16480 9 | 0.165 % |
2.41/2.45 c | 17167 | 20525 120035 407146 | 2147483647 16601 9 | 0.165 % |
2.41/2.45 c | 17300 | 20525 120035 407146 | 2147483647 16734 9 | 0.165 % |
2.41/2.46 c | 17446 | 20523 120035 407146 | 2147483647 16879 9 | 0.185 % |
2.41/2.46 c | 17606 | 20521 120035 407146 | 2147483647 17039 9 | 0.185 % |
2.41/2.47 c | 17782 | 20521 120035 407146 | 2147483647 17215 9 | 0.185 % |
2.41/2.48 c | 17978 | 20521 120035 407146 | 2147483647 17411 9 | 0.185 % |
2.41/2.48 c | 18192 | 20519 120035 407146 | 2147483647 17624 9 | 0.204 % |
2.41/2.49 c | 18425 | 20519 120035 407146 | 2147483647 17857 9 | 0.204 % |
2.41/2.50 c | 18682 | 20519 120035 407146 | 2147483647 18114 9 | 0.204 % |
2.41/2.51 c | 18964 | 20519 120035 407146 | 2147483647 18396 9 | 0.204 % |
2.51/2.53 c | 19273 | 20518 120035 407146 | 2147483647 18705 9 | 0.204 % |
2.51/2.61 c | 19612 | 20517 120035 407146 | 2147483647 19042 9 | 0.224 % |
2.61/2.63 c | 19985 | 20515 120035 407146 | 2147483647 19415 9 | 0.224 % |
2.61/2.64 c | 20085 | 20515 120035 407146 | 2147483647 19515 9 | 0.224 % |
2.61/2.64 c | 20196 | 20510 120035 407146 | 2147483647 19625 9 | 0.253 % |
2.61/2.65 c | 20317 | 20498 120035 407146 | 2147483647 19744 9 | 0.399 % |
2.61/2.66 c | 20453 | 20490 120035 407146 | 2147483647 19880 9 | 0.399 % |
2.61/2.67 c | 20602 | 20490 120035 407146 | 2147483647 20029 9 | 0.399 % |
2.61/2.67 c | 20765 | 20490 120035 407146 | 2147483647 20192 9 | 0.399 % |
2.61/2.68 c | 20942 | 20490 120035 407146 | 2147483647 20369 9 | 0.399 % |
2.61/2.69 c | 21136 | 20482 120035 407146 | 2147483647 20561 9 | 0.482 % |
2.61/2.69 c | 21348 | 20481 120035 407146 | 2147483647 20772 9 | 0.516 % |
2.61/2.70 c | 21582 | 20464 120035 407146 | 2147483647 21005 9 | 0.671 % |
2.61/2.71 c | 21838 | 20464 120035 407146 | 2147483647 21261 9 | 0.671 % |
2.71/2.72 c | 22119 | 20434 120035 407146 | 2147483647 21541 9 | 0.720 % |
2.71/2.74 c | 22429 | 20434 120035 407146 | 2147483647 21851 9 | 0.720 % |
2.71/2.79 c | 22768 | 20423 120035 407146 | 2147483647 22190 9 | 0.720 % |
2.81/2.84 c | 23140 | 20411 119064 404018 | 2147483647 18972 9 | 0.720 % |
2.81/2.87 c | 23549 | 20411 119064 404018 | 2147483647 19381 9 | 0.720 % |
2.81/2.87 c | 23649 | 20411 119064 404018 | 2147483647 19481 9 | 0.720 % |
2.81/2.88 c | 23759 | 20411 119064 404018 | 2147483647 19591 9 | 0.720 % |
2.81/2.88 c | 23880 | 20411 119064 404018 | 2147483647 19712 9 | 0.720 % |
2.81/2.89 c | 24014 | 20406 119064 404018 | 2147483647 19845 9 | 0.759 % |
2.81/2.91 c | 24160 | 20406 119064 404018 | 2147483647 19991 9 | 0.759 % |
2.91/2.91 c | 24322 | 20406 119064 404018 | 2147483647 20153 9 | 0.759 % |
2.91/2.92 c | 24498 | 20406 119064 404018 | 2147483647 20329 9 | 0.759 % |
2.91/2.93 c | 24691 | 20403 119064 404018 | 2147483647 20521 9 | 0.822 % |
2.91/2.94 c | 24903 | 20400 119064 404018 | 2147483647 20732 9 | 0.837 % |
2.91/2.98 c | 25136 | 20391 119064 404018 | 2147483647 20965 9 | 0.837 % |
3.01/3.04 c | 25393 | 20391 119064 404018 | 2147483647 21222 9 | 0.837 % |
3.01/3.07 c | 25676 | 20391 119064 404018 | 2147483647 21505 9 | 0.837 % |
3.01/3.08 c | 25987 | 20375 119064 404018 | 2147483647 21812 9 | 0.929 % |
3.01/3.10 c | 26326 | 20375 119064 404018 | 2147483647 22151 9 | 0.929 % |
3.11/3.12 c | 26699 | 20368 119064 404018 | 2147483647 22521 9 | 0.968 % |
3.11/3.15 c | 27108 | 20362 119064 404018 | 2147483647 22929 9 | 1.002 % |
3.21/3.22 c | 27558 | 20355 119064 404018 | 2147483647 23379 9 | 1.002 % |
3.21/3.24 c | 27661 | 20352 119064 404018 | 2147483647 23480 9 | 1.046 % |
3.21/3.26 c | 27771 | 20339 118561 402449 | 2147483647 21555 8 | 1.090 % |
3.21/3.27 c | 27893 | 20339 118561 402449 | 2147483647 21677 8 | 1.090 % |
3.21/3.27 c | 28027 | 20339 118561 402449 | 2147483647 21811 8 | 1.090 % |
3.21/3.29 c | 28173 | 20339 118561 402449 | 2147483647 21957 8 | 1.090 % |
3.31/3.32 c | 28334 | 20338 118561 402449 | 2147483647 22118 8 | 1.090 % |
3.31/3.32 c | 28511 | 20338 118561 402449 | 2147483647 22295 8 | 1.090 % |
3.31/3.35 c | 28705 | 20335 118561 402449 | 2147483647 22489 8 | 1.090 % |
3.42/3.46 c | 28917 | 20335 118561 402449 | 2147483647 22701 8 | 1.090 % |
3.42/3.49 c | 29150 | 20323 118561 402449 | 2147483647 22929 8 | 1.148 % |
3.51/3.51 c | 29406 | 20319 118561 402449 | 2147483647 23184 8 | 1.260 % |
3.51/3.58 c | 29688 | 20310 118561 402449 | 2147483647 23466 8 | 1.260 % |
3.51/3.60 c | 29998 | 20307 118561 402449 | 2147483647 23775 8 | 1.323 % |
3.61/3.64 c | 30338 | 20290 118561 402449 | 2147483647 24114 8 | 1.357 % |
3.61/3.68 c | 30711 | 20288 118561 402449 | 2147483647 24485 8 | 1.372 % |
3.71/3.79 c | 31120 | 20257 117995 400653 | 2147483647 23251 8 | 1.561 % |
3.81/3.85 c | 31569 | 20256 117995 400653 | 2147483647 23699 8 | 1.566 % |
3.91/3.91 c | 32062 | 20254 117995 400653 | 2147483647 24192 8 | 1.566 % |
3.91/3.92 c | 32163 | 20237 117995 400653 | 2147483647 24290 8 | 1.766 % |
3.91/3.93 c | 32273 | 20229 117995 400653 | 2147483647 24399 8 | 1.790 % |
3.91/3.94 c | 32394 | 20229 117995 400653 | 2147483647 24520 8 | 1.790 % |
3.91/3.96 c | 32529 | 20228 117995 400653 | 2147483647 24655 8 | 1.790 % |
3.91/3.98 c | 32675 | 20178 117995 400653 | 2147483647 24797 8 | 2.466 % |
4.01/4.03 c | 32835 | 20101 117995 400653 | 2147483647 24957 8 | 2.466 % |
4.01/4.06 c | 33012 | 20101 117995 400653 | 2147483647 25134 8 | 2.466 % |
4.01/4.07 c | 33207 | 20101 117995 400653 | 2147483647 25329 8 | 2.466 % |
4.01/4.11 c | 33419 | 20101 117995 400653 | 2147483647 25541 8 | 2.466 % |
4.11/4.13 c | 33655 | 20072 117995 400653 | 2147483647 25772 8 | 2.802 % |
4.11/4.15 c | 33911 | 20054 117995 400653 | 2147483647 26028 8 | 2.802 % |
4.11/4.16 c | 34193 | 20054 117995 400653 | 2147483647 26310 8 | 2.802 % |
4.21/4.21 c | 34502 | 20044 117995 400653 | 2147483647 26619 8 | 2.802 % |
4.21/4.30 c | 34841 | 20043 117995 400653 | 2147483647 26957 8 | 2.807 % |
4.31/4.35 c | 35214 | 19982 116018 394435 | 2147483647 21670 8 | 2.807 % |
4.31/4.38 c | 35624 | 19980 116018 394435 | 2147483647 22078 8 | 2.816 % |
4.31/4.40 c | 36074 | 19980 116018 394435 | 2147483647 22528 8 | 2.816 % |
4.41/4.43 c | 36567 | 19980 116018 394435 | 2147483647 23021 8 | 2.816 % |
4.41/4.47 c | 37110 | 19979 116018 394435 | 2147483647 23563 8 | 2.821 % |
4.41/4.49 c | 37210 | 19978 116018 394435 | 2147483647 23662 8 | 2.826 % |
4.41/4.49 c | 37320 | 19978 116018 394435 | 2147483647 23772 8 | 2.826 % |
4.41/4.51 c | 37442 | 19977 116018 394435 | 2147483647 23893 8 | 2.831 % |
4.52/4.52 c | 37576 | 19977 116018 394435 | 2147483647 24027 8 | 2.831 % |
4.52/4.53 c | 37722 | 19977 116018 394435 | 2147483647 24173 8 | 2.831 % |
4.52/4.54 c | 37883 | 19977 116018 394435 | 2147483647 24334 8 | 2.831 % |
4.52/4.55 c | 38061 | 19970 116018 394435 | 2147483647 24509 8 | 2.865 % |
4.52/4.59 c | 38254 | 19970 116018 394435 | 2147483647 24702 8 | 2.865 % |
4.61/4.64 c | 38466 | 19970 116018 394435 | 2147483647 24914 8 | 2.865 % |
4.61/4.66 c | 38699 | 19970 116018 394435 | 2147483647 25147 8 | 2.865 % |
4.61/4.68 c | 38955 | 19969 116018 394435 | 2147483647 25402 8 | 2.870 % |
4.71/4.71 c | 39237 | 19965 116018 394435 | 2147483647 25683 8 | 2.918 % |
4.71/4.73 c | 39546 | 19965 116018 394435 | 2147483647 25992 8 | 2.918 % |
4.71/4.77 c | 39886 | 19959 115805 393745 | 2147483647 25288 8 | 2.918 % |
4.71/4.81 c | 40258 | 19959 115805 393745 | 2147483647 25660 8 | 2.918 % |
4.81/4.83 c | 40668 | 19956 115805 393745 | 2147483647 26069 8 | 2.933 % |
4.81/4.85 c | 41119 | 19956 115805 393745 | 2147483647 26520 8 | 2.933 % |
4.81/4.89 c | 41613 | 19956 115805 393745 | 2147483647 27014 8 | 2.933 % |
4.91/4.93 c | 42156 | 19956 115805 393745 | 2147483647 27557 8 | 2.933 % |
4.91/4.98 c | 42753 | 19956 115805 393745 | 2147483647 28154 8 | 2.933 % |
4.91/4.99 c | 42853 | 19956 115805 393745 | 2147483647 28254 8 | 2.933 % |
4.91/5.00 c | 42963 | 19956 115805 393745 | 2147483647 28364 8 | 2.933 % |
5.01/5.01 c | 43084 | 19953 115805 393745 | 2147483647 28484 8 | 2.948 % |
5.01/5.03 c | 43217 | 19953 115805 393745 | 2147483647 28617 8 | 2.948 % |
5.01/5.05 c | 43364 | 19953 115805 393745 | 2147483647 28764 8 | 2.948 % |
5.01/5.07 c | 43524 | 19953 115805 393745 | 2147483647 28924 8 | 2.948 % |
5.01/5.09 c | 43701 | 19953 115805 393745 | 2147483647 29101 8 | 2.948 % |
5.11/5.13 c | 43894 | 19953 115805 393745 | 2147483647 29294 8 | 2.948 % |
5.11/5.14 c | 44106 | 19948 115805 393745 | 2147483647 29504 8 | 3.006 % |
5.11/5.18 c | 44339 | 19942 115805 393745 | 2147483647 29737 8 | 3.006 % |
5.11/5.19 c | 44595 | 19942 115805 393745 | 2147483647 29992 8 | 3.016 % |
5.21/5.23 c | 44879 | 19932 115805 393745 | 2147483647 30274 8 | 3.118 % |
5.21/5.29 c | 45189 | 19841 115074 391437 | 2147483647 29318 8 | 3.492 % |
5.31/5.31 c | 45529 | 19841 115074 391437 | 2147483647 29658 8 | 3.492 % |
5.31/5.34 c | 45902 | 19840 115074 391437 | 2147483647 30030 8 | 3.502 % |
5.41/5.41 c | 46313 | 19839 115074 391437 | 2147483647 30441 8 | 3.502 % |
5.41/5.51 c | 46762 | 19838 115074 391437 | 2147483647 30889 8 | 3.507 % |
5.51/5.60 c | 47255 | 19838 115074 391437 | 2147483647 31381 8 | 3.531 % |
5.62/5.68 c | 47797 | 19837 115074 391437 | 2147483647 31923 8 | 3.531 % |
5.71/5.73 c | 48395 | 19834 115074 391437 | 2147483647 32519 8 | 3.590 % |
5.71/5.76 c | 49051 | 19834 115074 391437 | 2147483647 33175 8 | 3.590 % |
5.71/5.77 c | 49151 | 19831 115074 391437 | 2147483647 33274 8 | 3.604 % |
5.71/5.77 c | 49262 | 19831 115074 391437 | 2147483647 33385 8 | 3.604 % |
5.71/5.80 c | 49383 | 19831 115074 391437 | 2147483647 33506 8 | 3.604 % |
5.81/5.82 c | 49516 | 19809 114832 390692 | 2147483647 32616 8 | 3.648 % |
5.81/5.83 c | 49664 | 19802 114832 390692 | 2147483647 32762 8 | 3.682 % |
5.81/5.88 c | 49826 | 19802 114832 390692 | 2147483647 32924 8 | 3.682 % |
5.91/5.94 c | 50003 | 19802 114832 390692 | 2147483647 33101 8 | 3.682 % |
5.91/5.95 c | 50196 | 19802 114832 390692 | 2147483647 33294 8 | 3.682 % |
5.91/5.96 c | 50408 | 19802 114832 390692 | 2147483647 33506 8 | 3.682 % |
5.91/5.99 c | 50641 | 19802 114832 390692 | 2147483647 33739 8 | 3.682 % |
6.01/6.03 c | 50897 | 19802 114832 390692 | 2147483647 33995 8 | 3.682 % |
6.01/6.03 c | 51178 | 19802 114832 390692 | 2147483647 34276 8 | 3.682 % |
6.01/6.07 c | 51488 | 19802 114832 390692 | 2147483647 34586 8 | 3.682 % |
6.01/6.10 c | 51827 | 19802 114832 390692 | 2147483647 34925 8 | 3.682 % |
6.11/6.12 c | 52200 | 19802 114832 390692 | 2147483647 35298 8 | 3.682 % |
6.11/6.14 c | 52609 | 19802 114832 390692 | 2147483647 35707 8 | 3.682 % |
6.11/6.18 c | 53058 | 19802 114832 390692 | 2147483647 36156 8 | 3.682 % |
6.21/6.22 c | 53551 | 19802 114832 390692 | 2147483647 36649 8 | 3.682 % |
6.21/6.24 c | 54093 | 19802 114832 390692 | 2147483647 37191 8 | 3.682 % |
6.21/6.26 c | 54689 | 19798 114832 390692 | 2147483647 37786 8 | 3.755 % |
6.31/6.37 c | 55344 | 19788 114832 390692 | 2147483647 38438 9 | 3.779 % |
6.41/6.44 c | 56066 | 19788 114832 390692 | 2147483647 39160 9 | 3.779 % |
6.41/6.46 c | 56168 | 19782 114581 389882 | 2147483647 38864 9 | 3.779 % |
6.41/6.47 c | 56279 | 19782 114581 389882 | 2147483647 38975 9 | 3.779 % |
6.41/6.48 c | 56400 | 19782 114581 389882 | 2147483647 39096 9 | 3.779 % |
6.41/6.49 c | 56533 | 19782 114581 389882 | 2147483647 39229 9 | 3.779 % |
6.51/6.51 c | 56679 | 19782 114581 389882 | 2147483647 39375 9 | 3.779 % |
6.51/6.52 c | 56840 | 19782 114581 389882 | 2147483647 39536 9 | 3.779 % |
6.51/6.54 c | 57016 | 19782 114581 389882 | 2147483647 39712 9 | 3.779 % |
6.51/6.55 c | 57209 | 19782 114581 389882 | 2147483647 39905 9 | 3.779 % |
6.51/6.56 c | 57425 | 19781 114581 389882 | 2147483647 40120 9 | 3.784 % |
6.51/6.58 c | 57659 | 19781 114581 389882 | 2147483647 40354 9 | 3.784 % |
6.51/6.60 c | 57915 | 19781 114581 389882 | 2147483647 40610 9 | 3.784 % |
6.61/6.66 c | 58196 | 19777 114581 389882 | 2147483647 40890 9 | 3.813 % |
6.61/6.70 c | 58507 | 19777 114581 389882 | 2147483647 41201 9 | 3.813 % |
6.61/6.71 c | 58847 | 19777 114581 389882 | 2147483647 41541 9 | 3.813 % |
6.72/6.78 c | 59220 | 19776 114581 389882 | 2147483647 41913 9 | 3.818 % |
6.72/6.80 c | 59632 | 19776 114581 389882 | 2147483647 42325 9 | 3.818 % |
6.81/6.83 c | 60082 | 19773 114581 389882 | 2147483647 42774 9 | 3.847 % |
6.91/6.91 c | 60575 | 19772 114581 389882 | 2147483647 43267 9 | 3.847 % |
6.91/6.94 c | 61118 | 19769 114581 389882 | 2147483647 43808 9 | 3.901 % |
6.91/6.96 c | 61714 | 19769 114581 389882 | 2147483647 44404 9 | 3.901 % |
7.01/7.09 c | 62369 | 19765 114581 389882 | 2147483647 45059 9 | 3.901 % |
7.11/7.19 c | 63090 | 19765 114581 389882 | 2147483647 45780 9 | 3.901 % |
7.31/7.31 c | 63882 | 19752 114351 389136 | 2147483647 44646 9 | 3.935 % |
7.31/7.32 c | 63983 | 19752 114351 389136 | 2147483647 44747 9 | 3.935 % |
7.31/7.32 c | 64096 | 19752 114351 389136 | 2147483647 44860 9 | 3.935 % |
7.31/7.32 c | 64218 | 19752 114351 389136 | 2147483647 44982 9 | 3.935 % |
7.31/7.33 c | 64352 | 19752 114351 389136 | 2147483647 45116 9 | 3.935 % |
7.31/7.34 c | 64500 | 19752 114351 389136 | 2147483647 45264 9 | 3.935 % |
7.31/7.36 c | 64661 | 19752 114351 389136 | 2147483647 45425 9 | 3.935 % |
7.41/7.41 c | 64839 | 19752 114351 389136 | 2147483647 45603 9 | 3.935 % |
7.41/7.46 c | 65032 | 19752 114351 389136 | 2147483647 45796 9 | 3.935 % |
7.41/7.48 c | 65247 | 19752 114351 389136 | 2147483647 46011 9 | 3.935 % |
7.41/7.49 c | 65480 | 19752 114351 389136 | 2147483647 46244 9 | 3.935 % |
7.41/7.50 c | 65736 | 19752 114351 389136 | 2147483647 46500 9 | 3.935 % |
7.51/7.57 c | 66019 | 19752 114351 389136 | 2147483647 46783 9 | 3.935 % |
7.51/7.58 c | 66328 | 19752 114351 389136 | 2147483647 47092 9 | 3.935 % |
7.61/7.61 c | 66668 | 19752 114351 389136 | 2147483647 47432 9 | 3.935 % |
7.61/7.65 c | 67040 | 19752 114351 389136 | 2147483647 47804 9 | 3.935 % |
7.61/7.67 c | 67449 | 19745 114351 389136 | 2147483647 48212 9 | 4.003 % |
7.61/7.70 c | 67899 | 19742 114351 389136 | 2147483647 48662 9 | 4.003 % |
7.71/7.74 c | 68393 | 19740 114351 389136 | 2147483647 49155 9 | 4.110 % |
7.71/7.82 c | 68936 | 19731 114351 389136 | 2147483647 49698 9 | 4.110 % |
7.82/7.86 c | 69532 | 19731 114351 389136 | 2147483647 50294 9 | 4.110 % |
7.91/7.92 c | 70187 | 19730 114351 389136 | 2147483647 50948 9 | 4.144 % |
8.01/8.05 c | 70908 | 19700 113938 387804 | 2147483647 48542 9 | 4.276 % |
8.11/8.12 c | 71700 | 19699 113938 387804 | 2147483647 49333 9 | 4.280 % |
8.11/8.15 c | 72572 | 19699 113938 387804 | 2147483647 50205 9 | 4.280 % |
8.11/8.18 c | 72673 | 19699 113938 387804 | 2147483647 50306 9 | 4.280 % |
8.11/8.18 c | 72783 | 19693 113938 387804 | 2147483647 50413 9 | 4.314 % |
8.11/8.20 c | 72904 | 19693 113938 387804 | 2147483647 50534 9 | 4.314 % |
8.21/8.22 c | 73039 | 19693 113938 387804 | 2147483647 50669 9 | 4.314 % |
8.21/8.22 c | 73185 | 19693 113938 387804 | 2147483647 50815 9 | 4.314 % |
8.21/8.25 c | 73348 | 19688 113938 387804 | 2147483647 50977 9 | 4.348 % |
8.21/8.28 c | 73525 | 19683 113938 387804 | 2147483647 51154 9 | 4.348 % |
8.21/8.29 c | 73718 | 19681 113938 387804 | 2147483647 51346 9 | 4.358 % |
8.31/8.31 c | 73931 | 19681 113938 387804 | 2147483647 51559 9 | 4.358 % |
8.31/8.32 c | 74166 | 19681 113938 387804 | 2147483647 51794 9 | 4.358 % |
8.31/8.34 c | 74425 | 19681 113938 387804 | 2147483647 52053 9 | 4.358 % |
8.41/8.45 c | 74708 | 19666 113938 387804 | 2147483647 52333 9 | 4.451 % |
8.41/8.51 c | 75017 | 19666 113938 387804 | 2147483647 52642 9 | 4.451 % |
8.51/8.59 c | 75356 | 19617 113938 387804 | 2147483647 52975 9 | 4.742 % |
8.61/8.66 c | 75729 | 19617 113938 387804 | 2147483647 53348 9 | 4.742 % |
8.71/8.78 c | 76138 | 19617 113938 387804 | 2147483647 53757 9 | 4.742 % |
8.81/8.86 c | 76588 | 19617 113938 387804 | 2147483647 54207 9 | 4.742 % |
8.92/8.94 c | 77081 | 19577 113054 384950 | 2147483647 51053 9 | 4.884 % |
9.01/9.07 c | 77624 | 19568 113054 384950 | 2147483647 51596 9 | 4.884 % |
9.21/9.21 c | 78220 | 19568 113054 384950 | 2147483647 52192 9 | 4.884 % |
9.31/9.34 c | 78876 | 19567 113054 384950 | 2147483647 52848 9 | 4.884 % |
9.41/9.46 c | 79596 | 19567 113054 384950 | 2147483647 53568 9 | 4.884 % |
9.51/9.58 c | 80388 | 19567 113054 384950 | 2147483647 54360 9 | 4.884 % |
9.71/9.72 c | 81260 | 19533 112790 384129 | 2147483647 54521 9 | 4.991 % |
9.81/9.91 c | 82218 | 19531 112790 384129 | 2147483647 55477 9 | 5.000 % |
9.91/9.91 c | 82318 | 19531 112790 384129 | 2147483647 55577 9 | 5.000 % |
9.91/9.96 c | 82428 | 19530 112790 384129 | 2147483647 55686 9 | 5.005 % |
9.91/9.99 c | 82550 | 19530 112790 384129 | 2147483647 55808 9 | 5.005 % |
9.91/10.00 c | 82683 | 19530 112790 384129 | 2147483647 55941 9 | 5.005 % |
9.91/10.01 c | 82829 | 19529 112790 384129 | 2147483647 56086 9 | 5.078 % |
10.02/10.02 c | 82989 | 19527 112790 384129 | 2147483647 56246 9 | 5.078 % |
10.02/10.03 c | 83165 | 19527 112790 384129 | 2147483647 56422 9 | 5.078 % |
10.02/10.07 c | 83358 | 19527 112790 384129 | 2147483647 56615 9 | 5.078 % |
10.11/10.15 c | 83571 | 19527 112790 384129 | 2147483647 56828 9 | 5.078 % |
10.21/10.22 c | 83805 | 19527 112790 384129 | 2147483647 57062 9 | 5.078 % |
10.21/10.28 c | 84061 | 19527 112790 384129 | 2147483647 57318 9 | 5.078 % |
10.31/10.37 c | 84343 | 19526 112790 384129 | 2147483647 57599 9 | 5.083 % |
10.41/10.42 c | 84653 | 19526 112790 384129 | 2147483647 57909 9 | 5.083 % |
10.41/10.49 c | 84994 | 19526 112790 384129 | 2147483647 58250 9 | 5.083 % |
10.51/10.58 c | 85367 | 19526 112790 384129 | 2147483647 58623 9 | 5.083 % |
10.61/10.61 c | 85779 | 19514 112664 383711 | 2147483647 58895 9 | 5.083 % |
10.61/10.66 c | 86229 | 19514 112664 383711 | 2147483647 59345 9 | 5.083 % |
10.61/10.68 c | 86722 | 19514 112664 383711 | 2147483647 59838 9 | 5.083 % |
10.61/10.70 c | 87264 | 19499 112664 383711 | 2147483647 60379 9 | 5.457 % |
10.81/10.85 c | 87861 | 19497 112664 383711 | 2147483647 60975 9 | 5.467 % |
10.91/10.98 c | 88516 | 19457 112664 383711 | 2147483647 61630 9 | 5.467 % |
11.01/11.02 c | 89237 | 19453 112664 383711 | 2147483647 62348 9 | 5.487 % |
11.01/11.12 c | 90030 | 19453 112664 383711 | 2147483647 63141 9 | 5.487 % |
11.21/11.31 c | 90901 | 19450 112664 383711 | 2147483647 64011 9 | 5.608 % |
11.31/11.37 c | 91859 | 19446 112664 383711 | 2147483647 64967 9 | 5.744 % |
11.61/11.66 c | 92912 | 19376 111685 380482 | 2147483647 63025 9 | 5.754 % |
11.61/11.69 c | 93012 | 19376 111685 380482 | 2147483647 63125 9 | 5.754 % |
11.71/11.72 c | 93122 | 19376 111685 380482 | 2147483647 63235 9 | 5.754 % |
11.71/11.77 c | 93244 | 19376 111685 380482 | 2147483647 63357 9 | 5.754 % |
11.81/11.82 c | 93381 | 19376 111685 380482 | 2147483647 63494 9 | 5.754 % |
11.81/11.88 c | 93531 | 19372 111685 380482 | 2147483647 63642 9 | 5.881 % |
11.91/11.93 c | 93691 | 19368 111685 380482 | 2147483647 63801 9 | 5.910 % |
11.91/11.98 c | 93867 | 19368 111685 380482 | 2147483647 63977 9 | 5.910 % |
12.01/12.01 c | 94060 | 19366 111685 380482 | 2147483647 64170 9 | 5.910 % |
12.01/12.05 c | 94272 | 19366 111685 380482 | 2147483647 64382 9 | 5.910 % |
12.01/12.09 c | 94507 | 19366 111685 380482 | 2147483647 64617 9 | 5.910 % |
12.01/12.10 c | 94764 | 19365 111685 380482 | 2147483647 64873 9 | 5.929 % |
12.11/12.14 c | 95045 | 19364 111685 380482 | 2147483647 65154 9 | 5.929 % |
12.22/12.28 c | 95354 | 19363 111685 380482 | 2147483647 65462 9 | 5.978 % |
12.31/12.35 c | 95693 | 19363 111685 380482 | 2147483647 65801 10 | 5.978 % |
12.31/12.40 c | 96065 | 19363 111685 380482 | 2147483647 66173 10 | 5.978 % |
12.41/12.48 c | 96475 | 19354 111685 380482 | 2147483647 66583 10 | 5.978 % |
12.51/12.55 c | 96925 | 19352 111685 380482 | 2147483647 67031 10 | 6.017 % |
12.51/12.61 c | 97419 | 19352 111685 380482 | 2147483647 67525 10 | 6.017 % |
12.61/12.66 c | 97961 | 19352 111685 380482 | 2147483647 68067 10 | 6.017 % |
12.71/12.75 c | 98557 | 19322 111344 379358 | 2147483647 65777 10 | 6.017 % |
12.81/12.81 c | 99212 | 19322 111344 379358 | 2147483647 66432 10 | 6.017 % |
12.91/12.99 c | 99932 | 19320 111344 379358 | 2147483647 67150 10 | 6.046 % |
13.11/13.11 c | 100724 | 19320 111344 379358 | 2147483647 67942 10 | 6.046 % |
13.21/13.22 c | 101595 | 19320 111344 379358 | 2147483647 68813 10 | 6.046 % |
13.41/13.49 c | 102553 | 19319 111344 379358 | 2147483647 69770 10 | 6.051 % |
13.71/13.72 c | 103606 | 19312 111344 379358 | 2147483647 70820 10 | 6.207 % |
13.81/13.81 c | 104764 | 19311 111344 379358 | 2147483647 71978 10 | 6.207 % |
13.81/13.84 c | 104864 | 19283 111086 378527 | 2147483647 71720 10 | 6.207 % |
13.81/13.85 c | 104974 | 19283 111086 378527 | 2147483647 71830 10 | 6.207 % |
13.81/13.86 c | 105095 | 19279 111086 378527 | 2147483647 71949 10 | 6.231 % |
13.81/13.88 c | 105228 | 19278 111086 378527 | 2147483647 72081 10 | 6.236 % |
13.91/13.93 c | 105374 | 19278 111086 378527 | 2147483647 72227 10 | 6.236 % |
13.91/13.98 c | 105534 | 19278 111086 378527 | 2147483647 72387 10 | 6.236 % |
14.01/14.03 c | 105711 | 19278 111086 378527 | 2147483647 72564 10 | 6.236 % |
14.01/14.04 c | 105905 | 19278 111086 378527 | 2147483647 72758 10 | 6.236 % |
14.01/14.05 c | 106118 | 19278 111086 378527 | 2147483647 72971 10 | 6.236 % |
14.01/14.06 c | 106351 | 19278 111086 378527 | 2147483647 73204 10 | 6.236 % |
14.11/14.12 c | 106608 | 19278 111086 378527 | 2147483647 73461 10 | 6.236 % |
14.11/14.20 c | 106890 | 19278 111086 378527 | 2147483647 73743 10 | 6.236 % |
14.21/14.25 c | 107200 | 19278 111086 378527 | 2147483647 74053 10 | 6.236 % |
14.21/14.26 c | 107540 | 19278 111086 378527 | 2147483647 74393 10 | 6.236 % |
14.21/14.28 c | 107914 | 19278 111086 378527 | 2147483647 74767 10 | 6.236 % |
14.21/14.29 c | 108324 | 19278 111086 378527 | 2147483647 75177 10 | 6.236 % |
14.31/14.37 c | 108776 | 19278 111086 378527 | 2147483647 75629 10 | 6.236 % |
14.42/14.48 c | 109269 | 19278 111086 378527 | 2147483647 76122 10 | 6.236 % |
14.51/14.52 c | 109811 | 19278 111086 378527 | 2147483647 76664 10 | 6.236 % |
14.51/14.54 c | 110407 | 19278 111086 378527 | 2147483647 77260 10 | 6.236 % |
14.71/14.72 c | 111063 | 19276 111086 378527 | 2147483647 77915 10 | 6.289 % |
14.71/14.76 c | 111784 | 19261 111086 378527 | 2147483647 78634 10 | 6.391 % |
14.91/14.97 c | 112576 | 19258 111086 378527 | 2147483647 79425 10 | 6.396 % |
15.01/15.10 c | 113447 | 19242 110812 377655 | 2147483647 77651 10 | 6.406 % |
15.21/15.26 c | 114405 | 19241 110812 377655 | 2147483647 78608 10 | 6.411 % |
15.31/15.32 c | 115460 | 19241 110812 377655 | 2147483647 79663 10 | 6.411 % |
15.52/15.53 c | 116619 | 19209 110812 377655 | 2147483647 80820 10 | 6.596 % |
15.71/15.80 c | 117892 | 19209 110812 377655 | 2147483647 82093 10 | 6.596 % |
15.81/15.85 c | 117992 | 19209 110812 377655 | 2147483647 82193 10 | 6.596 % |
15.81/15.87 c | 118102 | 19209 110812 377655 | 2147483647 82303 10 | 6.596 % |
15.91/15.91 c | 118225 | 19209 110812 377655 | 2147483647 82426 10 | 6.596 % |
15.91/15.93 c | 118358 | 19209 110812 377655 | 2147483647 82559 10 | 6.596 % |
15.91/15.94 c | 118504 | 19209 110812 377655 | 2147483647 82705 10 | 6.596 % |
15.91/15.97 c | 118665 | 19209 110812 377655 | 2147483647 82866 10 | 6.596 % |
15.91/15.97 c | 118841 | 19197 110812 377655 | 2147483647 83041 10 | 6.732 % |
15.91/15.98 c | 119035 | 19197 110812 377655 | 2147483647 83235 10 | 6.732 % |
16.01/16.07 c | 119247 | 19197 110812 377655 | 2147483647 83447 10 | 6.732 % |
16.11/16.18 c | 119480 | 19197 110812 377655 | 2147483647 83680 10 | 6.732 % |
16.31/16.32 c | 119736 | 19175 110370 376188 | 2147483647 83361 10 | 6.732 % |
16.41/16.44 c | 120017 | 19169 110370 376188 | 2147483647 83639 10 | 6.761 % |
16.41/16.50 c | 120328 | 19165 110370 376188 | 2147483647 83949 10 | 6.785 % |
16.51/16.53 c | 120667 | 19165 110370 376188 | 2147483647 84288 10 | 6.785 % |
16.51/16.56 c | 121039 | 19165 110370 376188 | 2147483647 84660 10 | 6.785 % |
16.51/16.60 c | 121448 | 19165 110370 376188 | 2147483647 85069 10 | 6.785 % |
16.71/16.73 c | 121897 | 19165 110370 376188 | 2147483647 85518 10 | 6.785 % |
16.71/16.79 c | 122392 | 19165 110370 376188 | 2147483647 86013 10 | 6.785 % |
16.81/16.86 c | 122936 | 19165 110370 376188 | 2147483647 86557 10 | 6.785 % |
16.91/17.00 c | 123533 | 19165 110370 376188 | 2147483647 87154 10 | 6.785 % |
17.01/17.02 c | 124188 | 19161 110370 376188 | 2147483647 87808 10 | 6.815 % |
17.11/17.15 c | 124908 | 19156 110370 376188 | 2147483647 88527 10 | 6.839 % |
17.21/17.27 c | 125700 | 19152 110370 376188 | 2147483647 89318 10 | 6.858 % |
17.41/17.44 c | 126571 | 19144 110370 376188 | 2147483647 90188 10 | 6.907 % |
17.61/17.65 c | 127529 | 19144 110370 376188 | 2147483647 91146 10 | 6.907 % |
17.91/17.93 c | 128585 | 19127 110083 375248 | 2147483647 89105 10 | 6.999 % |
18.01/18.10 c | 129743 | 19127 110083 375248 | 2147483647 90263 10 | 6.999 % |
18.51/18.60 c | 131017 | 19127 110083 375248 | 2147483647 91537 10 | 6.999 % |
18.91/18.91 c | 132417 | 19121 110083 375248 | 2147483647 92934 10 | 7.072 % |
18.91/18.93 c | 132518 | 19121 110083 375248 | 2147483647 93035 10 | 7.072 % |
18.91/18.97 c | 132628 | 19121 110083 375248 | 2147483647 93145 10 | 7.072 % |
18.91/18.99 c | 132751 | 19121 110083 375248 | 2147483647 93268 10 | 7.072 % |
18.91/19.00 c | 132884 | 19121 110083 375248 | 2147483647 93401 10 | 7.072 % |
19.11/19.12 c | 133030 | 19121 110083 375248 | 2147483647 93547 11 | 7.072 % |
19.21/19.22 c | 133190 | 19097 109800 374289 | 2147483647 92728 11 | 7.111 % |
19.21/19.28 c | 133366 | 19097 109800 374289 | 2147483647 92904 11 | 7.111 % |
19.31/19.33 c | 133560 | 19089 109800 374289 | 2147483647 93097 11 | 7.160 % |
19.31/19.37 c | 133774 | 19089 109800 374289 | 2147483647 93311 11 | 7.160 % |
19.41/19.44 c | 134007 | 19089 109800 374289 | 2147483647 93544 11 | 7.160 % |
19.51/19.51 c | 134263 | 19086 109800 374289 | 2147483647 93799 11 | 7.204 % |
19.51/19.56 c | 134544 | 19086 109800 374289 | 2147483647 94080 11 | 7.204 % |
19.51/19.59 c | 134853 | 19086 109800 374289 | 2147483647 94389 11 | 7.204 % |
19.71/19.73 c | 135192 | 19086 109800 374289 | 2147483647 94728 11 | 7.204 % |
19.71/19.79 c | 135567 | 19086 109800 374289 | 2147483647 95103 11 | 7.204 % |
19.92/19.95 c | 135978 | 19086 109800 374289 | 2147483647 95514 11 | 7.204 % |
20.11/20.12 c | 136427 | 19086 109800 374289 | 2147483647 95963 11 | 7.204 % |
20.41/20.46 c | 136920 | 19086 109800 374289 | 2147483647 96456 11 | 7.204 % |
20.61/20.68 c | 137462 | 19086 109800 374289 | 2147483647 96998 11 | 7.204 % |
21.02/21.04 c | 138060 | 19086 109800 374289 | 2147483647 97596 12 | 7.204 % |
21.31/21.32 c | 138715 | 19078 109668 373845 | 2147483647 98149 12 | 7.204 % |
21.51/21.57 c | 139436 | 19078 109668 373845 | 2147483647 98870 12 | 7.204 % |
21.91/21.93 c | 140229 | 19078 109668 373845 | 2147483647 99663 12 | 7.204 % |
22.81/22.90 c | 141100 | 19078 109668 373845 | 2147483647 100534 14 | 7.204 % |
23.31/23.32 c | 142058 | 19078 109668 373845 | 2147483647 101492 14 | 7.204 % |
23.91/24.00 c | 143111 | 19072 109610 373659 | 2147483647 101714 14 | 7.233 % |
24.11/24.13 c | 144269 | 19072 109610 373659 | 2147483647 102872 14 | 7.233 % |
24.61/24.65 c | 145542 | 19072 109610 373659 | 2147483647 104145 14 | 7.233 % |
25.31/25.38 c | 146943 | 19072 109610 373659 | 2147483647 105546 15 | 7.233 % |
25.91/25.94 c | 148483 | 19072 109610 373659 | 2147483647 107086 15 | 7.233 % |
25.91/25.97 c | 148584 | 19072 109610 373659 | 2147483647 107187 15 | 7.233 % |
26.01/26.02 c | 148695 | 19072 109610 373659 | 2147483647 107298 15 | 7.233 % |
26.01/26.09 c | 148817 | 19065 109530 373393 | 2147483647 106708 15 | 7.267 % |
26.11/26.14 c | 148950 | 19065 109530 373393 | 2147483647 106841 15 | 7.267 % |
26.21/26.22 c | 149096 | 19063 109530 373393 | 2147483647 106986 15 | 7.277 % |
26.21/26.30 c | 149256 | 19063 109530 373393 | 2147483647 107146 15 | 7.277 % |
26.31/26.39 c | 149432 | 19063 109530 373393 | 2147483647 107322 15 | 7.277 % |
26.41/26.49 c | 149625 | 19063 109530 373393 | 2147483647 107515 15 | 7.277 % |
26.52/26.54 c | 149837 | 19063 109530 373393 | 2147483647 107727 15 | 7.277 % |
26.61/26.65 c | 150070 | 19063 109530 373393 | 2147483647 107960 15 | 7.277 % |
26.71/26.78 c | 150326 | 19063 109530 373393 | 2147483647 108216 15 | 7.277 % |
26.81/26.91 c | 150608 | 19062 109530 373393 | 2147483647 108497 15 | 7.281 % |
27.01/27.10 c | 150917 | 19062 109530 373393 | 2147483647 108806 15 | 7.281 % |
27.31/27.32 c | 151257 | 19062 109530 373393 | 2147483647 109146 15 | 7.281 % |
27.41/27.50 c | 151630 | 19062 109530 373393 | 2147483647 109519 15 | 7.281 % |
27.81/27.88 c | 152039 | 19062 109530 373393 | 2147483647 109928 16 | 7.281 % |
28.01/28.09 c | 152489 | 19061 109530 373393 | 2147483647 110377 16 | 7.291 % |
28.31/28.37 c | 152984 | 19061 109530 373393 | 2147483647 110872 16 | 7.291 % |
28.61/28.69 c | 153526 | 19061 109530 373393 | 2147483647 111414 16 | 7.291 % |
29.11/29.20 c | 154122 | 19061 109530 373393 | 2147483647 112010 17 | 7.291 % |
29.41/29.43 c | 154777 | 19060 109484 373235 | 2147483647 112658 17 | 7.291 % |
29.82/29.82 c | 155498 | 19060 109484 373235 | 2147483647 113379 17 | 7.291 % |
30.01/30.06 c | 156290 | 19060 109484 373235 | 2147483647 114171 17 | 7.291 % |
30.51/30.60 c | 157162 | 19060 109484 373235 | 2147483647 115043 17 | 7.291 % |
30.81/30.85 c | 158121 | 19060 109484 373235 | 2147483647 116002 17 | 7.291 % |
31.51/31.56 c | 159174 | 19060 109484 373235 | 2147483647 117055 18 | 7.291 % |
32.21/32.26 c | 160333 | 19060 109484 373235 | 2147483647 118214 18 | 7.291 % |
32.61/32.69 c | 161606 | 19060 109484 373235 | 2147483647 119487 19 | 7.291 % |
33.21/33.27 c | 163007 | 19060 109484 373235 | 2147483647 120888 19 | 7.291 % |
33.91/33.98 c | 164547 | 19060 109484 373235 | 2147483647 122428 19 | 7.291 % |
35.21/35.21 c | 166241 | 19052 109384 372911 | 2147483647 123001 20 | 7.330 % |
35.32/35.32 c | 166341 | 19052 109384 372911 | 2147483647 123101 20 | 7.330 % |
35.32/35.39 c | 166451 | 19052 109384 372911 | 2147483647 123211 20 | 7.330 % |
35.41/35.43 c | 166572 | 19052 109384 372911 | 2147483647 123332 20 | 7.330 % |
35.41/35.47 c | 166705 | 19052 109384 372911 | 2147483647 123465 20 | 7.330 % |
35.51/35.57 c | 166853 | 19052 109384 372911 | 2147483647 123613 20 | 7.330 % |
35.51/35.60 c | 167013 | 19052 109384 372911 | 2147483647 123773 20 | 7.330 % |
35.61/35.66 c | 167190 | 19052 109384 372911 | 2147483647 123950 20 | 7.330 % |
35.71/35.77 c | 167383 | 19052 109384 372911 | 2147483647 124143 20 | 7.330 % |
35.91/35.98 c | 167596 | 19052 109384 372911 | 2147483647 124356 20 | 7.330 % |
36.01/36.06 c | 167829 | 19052 109384 372911 | 2147483647 124589 20 | 7.330 % |
36.11/36.15 c | 168087 | 19052 109384 372911 | 2147483647 124847 20 | 7.330 % |
36.21/36.27 c | 168368 | 19052 109384 372911 | 2147483647 125128 20 | 7.330 % |
36.42/36.46 c | 168677 | 19052 109384 372911 | 2147483647 125437 20 | 7.330 % |
36.52/36.60 c | 169016 | 19049 109384 372911 | 2147483647 125774 20 | 7.359 % |
36.92/37.01 c | 169388 | 19048 109384 372911 | 2147483647 126146 20 | 7.359 % |
37.22/37.22 c | 169798 | 19048 109384 372911 | 2147483647 126556 20 | 7.359 % |
37.62/37.63 c | 170248 | 19048 109384 372911 | 2147483647 127006 21 | 7.359 % |
37.82/37.86 c | 170741 | 19048 109384 372911 | 2147483647 127499 21 | 7.359 % |
38.22/38.23 c | 171285 | 19048 109384 372911 | 2147483647 128043 21 | 7.359 % |
39.02/39.03 c | 171881 | 19046 109324 372719 | 2147483647 126042 22 | 7.359 % |
39.42/39.44 c | 172536 | 19046 109324 372719 | 2147483647 126697 22 | 7.359 % |
39.82/39.86 c | 173256 | 19046 109324 372719 | 2147483647 127417 22 | 7.359 % |
40.22/40.31 c | 174048 | 19046 109324 372719 | 2147483647 128209 23 | 7.359 % |
40.72/40.77 c | 174920 | 19046 109324 372719 | 2147483647 129081 23 | 7.359 % |
41.82/41.85 c | 175878 | 19046 109324 372719 | 2147483647 130039 24 | 7.359 % |
42.42/42.44 c | 176931 | 19046 109324 372719 | 2147483647 131092 24 | 7.359 % |
43.42/43.48 c | 178090 | 19046 109324 372719 | 2147483647 132251 24 | 7.359 % |
44.42/44.50 c | 179365 | 19046 109324 372719 | 2147483647 133526 25 | 7.359 % |
45.22/45.24 c | 180765 | 19046 109324 372719 | 2147483647 134926 25 | 7.359 % |
46.52/46.59 c | 182306 | 19046 109324 372719 | 2147483647 136467 26 | 7.359 % |
47.62/47.65 c | 184000 | 19046 109324 372719 | 2147483647 138161 26 | 7.359 % |
49.32/49.33 c | 185864 | 19045 109318 372699 | 2147483647 139333 27 | 7.364 % |
49.32/49.41 c | 185964 | 19045 109318 372699 | 2147483647 139433 27 | 7.364 % |
49.42/49.47 c | 186076 | 19045 109318 372699 | 2147483647 139545 27 | 7.364 % |
49.52/49.55 c | 186198 | 19045 109318 372699 | 2147483647 139667 27 | 7.364 % |
49.62/49.69 c | 186333 | 19045 109318 372699 | 2147483647 139802 28 | 7.364 % |
49.62/49.71 c | 186480 | 19045 109318 372699 | 2147483647 139949 28 | 7.364 % |
49.72/49.76 c | 186640 | 19045 109318 372699 | 2147483647 140109 27 | 7.364 % |
49.82/49.82 c | 186816 | 19045 109318 372699 | 2147483647 140285 27 | 7.364 % |
49.92/49.98 c | 187011 | 19045 109318 372699 | 2147483647 140480 28 | 7.364 % |
50.02/50.07 c | 187224 | 19045 109318 372699 | 2147483647 140693 28 | 7.364 % |
50.12/50.21 c | 187457 | 19045 109318 372699 | 2147483647 140926 28 | 7.364 % |
50.32/50.32 c | 187715 | 19045 109318 372699 | 2147483647 141184 28 | 7.364 % |
50.42/50.50 c | 187997 | 19045 109318 372699 | 2147483647 141466 28 | 7.364 % |
50.72/50.79 c | 188306 | 19045 109318 372699 | 2147483647 141775 28 | 7.364 % |
50.82/50.88 c | 188645 | 19045 109318 372699 | 2147483647 142114 28 | 7.364 % |
51.22/51.29 c | 189017 | 19045 109318 372699 | 2147483647 142486 28 | 7.364 % |
51.52/51.61 c | 189428 | 19045 109318 372699 | 2147483647 142897 28 | 7.364 % |
52.02/52.06 c | 189878 | 19045 109318 372699 | 2147483647 143347 28 | 7.364 % |
52.22/52.28 c | 190371 | 19045 109318 372699 | 2147483647 143840 28 | 7.364 % |
52.62/52.68 c | 190913 | 19045 109318 372699 | 2147483647 144382 28 | 7.364 % |
53.02/53.11 c | 191509 | 19045 109318 372699 | 2147483647 144978 28 | 7.364 % |
53.72/53.74 c | 192165 | 19045 109318 372699 | 2147483647 145634 29 | 7.364 % |
54.22/54.25 c | 192887 | 19045 109318 372699 | 2147483647 146356 29 | 7.364 % |
54.82/54.86 c | 193681 | 19045 109318 372699 | 2147483647 147150 29 | 7.364 % |
55.42/55.49 c | 194552 | 19045 109318 372699 | 2147483647 148021 29 | 7.364 % |
56.32/56.37 c | 195511 | 19045 109318 372699 | 2147483647 148980 30 | 7.364 % |
57.52/57.57 c | 196564 | 19045 109318 372699 | 2147483647 150033 31 | 7.364 % |
58.52/58.55 c | 197722 | 19045 109318 372699 | 2147483647 151191 31 | 7.364 % |
59.62/59.66 c | 198996 | 19045 109318 372699 | 2147483647 152465 32 | 7.364 % |
60.92/60.92 c | 200396 | 19045 109318 372699 | 2147483647 153865 33 | 7.364 % |
62.22/62.22 c | 201936 | 19045 109318 372699 | 2147483647 155405 33 | 7.364 % |
64.32/64.35 c | 203631 | 19045 109318 372699 | 2147483647 157100 35 | 7.364 % |
65.72/65.75 c | 205494 | 19045 109318 372699 | 2147483647 158963 35 | 7.364 % |
67.32/67.34 c | 207543 | 19045 109318 372699 | 2147483647 161012 36 | 7.364 % |
67.42/67.42 c | 207643 | 19045 109318 372699 | 2147483647 161112 36 | 7.364 % |
67.42/67.48 c | 207758 | 19045 109318 372699 | 2147483647 161227 36 | 7.364 % |
67.52/67.56 c | 207879 | 19045 109318 372699 | 2147483647 161348 36 | 7.364 % |
67.72/67.72 c | 208012 | 19045 109318 372699 | 2147483647 161481 36 | 7.364 % |
67.82/67.82 c | 208160 | 19045 109318 372699 | 2147483647 161629 36 | 7.364 % |
67.92/67.96 c | 208320 | 19045 109318 372699 | 2147483647 161789 36 | 7.364 % |
68.02/68.08 c | 208496 | 19045 109318 372699 | 2147483647 161965 36 | 7.364 % |
68.32/68.32 c | 208690 | 19045 109318 372699 | 2147483647 162159 36 | 7.364 % |
68.52/68.53 c | 208905 | 19045 109318 372699 | 2147483647 162374 36 | 7.364 % |
68.72/68.72 c | 209139 | 19045 109318 372699 | 2147483647 162608 36 | 7.364 % |
68.92/68.94 c | 209396 | 19045 109318 372699 | 2147483647 162865 36 | 7.364 % |
69.12/69.15 c | 209677 | 19045 109318 372699 | 2147483647 163146 36 | 7.364 % |
69.42/69.42 c | 209986 | 19045 109318 372699 | 2147483647 163455 36 | 7.364 % |
69.72/69.74 c | 210325 | 19045 109318 372699 | 2147483647 163794 36 | 7.364 % |
69.92/69.94 c | 210698 | 19045 109318 372699 | 2147483647 164167 36 | 7.364 % |
70.12/70.22 c | 211107 | 19045 109318 372699 | 2147483647 164576 36 | 7.364 % |
70.42/70.46 c | 211556 | 19045 109318 372699 | 2147483647 165025 36 | 7.364 % |
70.72/70.78 c | 212049 | 19045 109318 372699 | 2147483647 165518 36 | 7.364 % |
71.32/71.34 c | 212591 | 19045 109318 372699 | 2147483647 166060 36 | 7.364 % |
71.82/71.88 c | 213187 | 19045 109318 372699 | 2147483647 166656 37 | 7.364 % |
72.32/72.34 c | 213842 | 19041 109270 372535 | 2147483647 165109 37 | 7.384 % |
72.92/72.92 c | 214562 | 19041 109270 372535 | 2147483647 165829 37 | 7.384 % |
73.52/73.53 c | 215356 | 19041 109270 372535 | 2147483647 166623 37 | 7.384 % |
74.12/74.16 c | 216227 | 19041 109270 372535 | 2147483647 167494 37 | 7.384 % |
75.32/75.37 c | 217185 | 19041 109270 372535 | 2147483647 168452 38 | 7.384 % |
76.22/76.25 c | 218238 | 19041 109270 372535 | 2147483647 169505 38 | 7.384 % |
77.22/77.22 c | 219396 | 19041 109270 372535 | 2147483647 170663 38 | 7.384 % |
78.82/78.84 c | 220669 | 19041 109270 372535 | 2147483647 171936 39 | 7.384 % |
79.72/79.75 c | 222069 | 19041 109270 372535 | 2147483647 173336 39 | 7.384 % |
81.22/81.24 c | 223610 | 19041 109270 372535 | 2147483647 174877 40 | 7.384 % |
84.02/84.03 c | 225305 | 19041 109270 372535 | 2147483647 176572 42 | 7.384 % |
85.62/85.70 c | 227168 | 19041 109270 372535 | 2147483647 178435 42 | 7.384 % |
88.02/88.02 c | 229217 | 19041 109270 372535 | 2147483647 180484 43 | 7.384 % |
90.02/90.02 c | 231470 | 19041 109270 372535 | 2147483647 182737 43 | 7.384 % |
90.12/90.13 c | 231570 | 19041 109270 372535 | 2147483647 182837 43 | 7.384 % |
90.22/90.25 c | 231680 | 19041 109270 372535 | 2147483647 182947 43 | 7.384 % |
90.32/90.34 c | 231802 | 19041 109270 372535 | 2147483647 183069 43 | 7.384 % |
90.52/90.54 c | 231936 | 19041 109270 372535 | 2147483647 183203 43 | 7.384 % |
90.62/90.67 c | 232082 | 19041 109270 372535 | 2147483647 183349 44 | 7.384 % |
90.82/90.86 c | 232242 | 19041 109270 372535 | 2147483647 183509 44 | 7.384 % |
90.92/90.94 c | 232418 | 19041 109270 372535 | 2147483647 183685 43 | 7.384 % |
91.12/91.15 c | 232612 | 19041 109270 372535 | 2147483647 183879 43 | 7.384 % |
91.32/91.33 c | 232824 | 19041 109270 372535 | 2147483647 184091 43 | 7.384 % |
91.62/91.68 c | 233058 | 19041 109270 372535 | 2147483647 184325 44 | 7.384 % |
91.82/91.83 c | 233317 | 19041 109270 372535 | 2147483647 184584 44 | 7.384 % |
92.02/92.10 c | 233599 | 19041 109270 372535 | 2147483647 184866 44 | 7.384 % |
92.22/92.25 c | 233908 | 19041 109270 372535 | 2147483647 185175 44 | 7.384 % |
92.52/92.59 c | 234248 | 19041 109270 372535 | 2147483647 185515 44 | 7.384 % |
92.92/92.97 c | 234623 | 19041 109270 372535 | 2147483647 185890 44 | 7.384 % |
93.22/93.29 c | 235032 | 19041 109270 372535 | 2147483647 186299 44 | 7.384 % |
93.52/93.58 c | 235481 | 19041 109270 372535 | 2147483647 186748 44 | 7.384 % |
93.92/93.95 c | 235974 | 19041 109270 372535 | 2147483647 187241 44 | 7.384 % |
94.52/94.52 c | 236517 | 19041 109270 372535 | 2147483647 187784 44 | 7.384 % |
95.02/95.09 c | 237115 | 19041 109270 372535 | 2147483647 188382 44 | 7.384 % |
95.62/95.63 c | 237773 | 19041 109270 372535 | 2147483647 189040 44 | 7.384 % |
96.22/96.26 c | 238494 | 19041 109270 372535 | 2147483647 189761 44 | 7.384 % |
96.92/96.98 c | 239286 | 19041 109270 372535 | 2147483647 190553 44 | 7.384 % |
98.12/98.15 c | 240157 | 19041 109270 372535 | 2147483647 191424 45 | 7.384 % |
99.22/99.28 c | 241115 | 19041 109270 372535 | 2147483647 192382 45 | 7.384 % |
100.12/100.14 c | 242172 | 19041 109270 372535 | 2147483647 193439 45 | 7.384 % |
101.22/101.31 c | 243330 | 19041 109270 372535 | 2147483647 194597 46 | 7.384 % |
102.42/102.51 c | 244603 | 19041 109270 372535 | 2147483647 195870 46 | 7.384 % |
104.42/104.42 c | 246003 | 19041 109270 372535 | 2147483647 197270 47 | 7.384 % |
106.02/106.02 c | 247543 | 19041 109270 372535 | 2147483647 198810 47 | 7.384 % |
107.82/107.84 c | 249238 | 19041 109270 372535 | 2147483647 200505 48 | 7.384 % |
110.22/110.25 c | 251102 | 19041 109270 372535 | 2147483647 202369 48 | 7.384 % |
112.42/112.51 c | 253151 | 19041 109270 372535 | 2147483647 204418 49 | 7.384 % |
114.42/114.43 c | 255406 | 19041 109270 372535 | 2147483647 206673 49 | 7.384 % |
119.42/119.48 c | 257886 | 19041 109270 372535 | 2147483647 209153 52 | 7.384 % |
119.52/119.55 c | 257986 | 19041 109270 372535 | 2147483647 209253 52 | 7.384 % |
119.62/119.68 c | 258097 | 19041 109270 372535 | 2147483647 209364 52 | 7.384 % |
119.72/119.78 c | 258218 | 19041 109270 372535 | 2147483647 209485 52 | 7.384 % |
119.82/119.90 c | 258354 | 19041 109270 372535 | 2147483647 209621 52 | 7.384 % |
119.92/119.97 c | 258500 | 19041 109270 372535 | 2147483647 209767 52 | 7.384 % |
120.22/120.28 c | 258660 | 19041 109270 372535 | 2147483647 209927 52 | 7.384 % |
120.32/120.39 c | 258838 | 19041 109270 372535 | 2147483647 210105 52 | 7.384 % |
120.62/120.63 c | 259031 | 19041 109270 372535 | 2147483647 210298 52 | 7.384 % |
120.92/120.95 c | 259243 | 19041 109270 372535 | 2147483647 210510 52 | 7.384 % |
121.13/121.15 c | 259476 | 19041 109270 372535 | 2147483647 210743 52 | 7.384 % |
121.32/121.41 c | 259733 | 19041 109270 372535 | 2147483647 211000 52 | 7.384 % |
121.72/121.72 c | 260014 | 19041 109270 372535 | 2147483647 211281 52 | 7.384 % |
122.02/122.03 c | 260323 | 19041 109270 372535 | 2147483647 211590 52 | 7.384 % |
122.52/122.54 c | 260663 | 19041 109270 372535 | 2147483647 211930 52 | 7.384 % |
122.92/122.97 c | 261036 | 19041 109270 372535 | 2147483647 212303 53 | 7.384 % |
123.42/123.47 c | 261445 | 19041 109270 372535 | 2147483647 212712 53 | 7.384 % |
123.72/123.77 c | 261894 | 19041 109270 372535 | 2147483647 213161 53 | 7.384 % |
124.32/124.39 c | 262388 | 19041 109270 372535 | 2147483647 213655 53 | 7.384 % |
125.02/125.03 c | 262932 | 19041 109270 372535 | 2147483647 214199 53 | 7.384 % |
125.82/125.90 c | 263528 | 19041 109270 372535 | 2147483647 214795 53 | 7.384 % |
126.82/126.82 c | 264185 | 19041 109270 372535 | 2147483647 215452 53 | 7.384 % |
127.52/127.55 c | 264906 | 19041 109270 372535 | 2147483647 216173 53 | 7.384 % |
128.32/128.33 c | 265698 | 19041 109270 372535 | 2147483647 216965 53 | 7.384 % |
129.42/129.43 c | 266570 | 19041 109270 372535 | 2147483647 217837 53 | 7.384 % |
130.72/130.79 c | 267529 | 19041 109270 372535 | 2147483647 218796 53 | 7.384 % |
132.13/132.13 c | 268582 | 19041 109270 372535 | 2147483647 219849 54 | 7.384 % |
133.32/133.38 c | 269740 | 19041 109270 372535 | 2147483647 221007 54 | 7.384 % |
134.82/134.91 c | 271015 | 19041 109270 372535 | 2147483647 222282 54 | 7.384 % |
137.22/137.24 c | 272416 | 19041 109270 372535 | 2147483647 223683 54 | 7.384 % |
138.92/138.97 c | 273956 | 19041 109270 372535 | 2147483647 225223 55 | 7.384 % |
141.02/141.10 c | 275650 | 19041 109270 372535 | 2147483647 226917 55 | 7.384 % |
143.13/143.20 c | 277514 | 19041 109270 372535 | 2147483647 228781 55 | 7.384 % |
146.32/146.38 c | 279564 | 19041 109270 372535 | 2147483647 230831 56 | 7.384 % |
149.42/149.49 c | 281818 | 19041 109270 372535 | 2147483647 233085 57 | 7.384 % |
153.03/153.10 c | 284297 | 19041 109270 372535 | 2147483647 235564 58 | 7.384 % |
157.23/157.28 c | 287022 | 19041 109270 372535 | 2147483647 238289 59 | 7.384 % |
157.33/157.42 c | 287122 | 19041 109270 372535 | 2147483647 238389 59 | 7.384 % |
157.53/157.60 c | 287234 | 19041 109270 372535 | 2147483647 238501 59 | 7.384 % |
157.73/157.73 c | 287355 | 19041 109270 372535 | 2147483647 238622 59 | 7.384 % |
157.83/157.91 c | 287488 | 19041 109270 372535 | 2147483647 238755 59 | 7.384 % |
158.03/158.04 c | 287634 | 19041 109270 372535 | 2147483647 238901 59 | 7.384 % |
158.23/158.23 c | 287794 | 19041 109270 372535 | 2147483647 239061 59 | 7.384 % |
158.43/158.43 c | 287970 | 19041 109270 372535 | 2147483647 239237 59 | 7.384 % |
158.73/158.81 c | 288164 | 19041 109270 372535 | 2147483647 239431 59 | 7.384 % |
158.93/158.97 c | 288376 | 19041 109270 372535 | 2147483647 239643 59 | 7.384 % |
159.33/159.35 c | 288609 | 19041 109270 372535 | 2147483647 239876 59 | 7.384 % |
159.53/159.57 c | 288865 | 19041 109270 372535 | 2147483647 240132 59 | 7.384 % |
159.83/159.90 c | 289147 | 19041 109270 372535 | 2147483647 240414 59 | 7.384 % |
160.13/160.18 c | 289458 | 19041 109270 372535 | 2147483647 240725 59 | 7.384 % |
160.53/160.54 c | 289798 | 19041 109270 372535 | 2147483647 241065 59 | 7.384 % |
160.83/160.91 c | 290170 | 19041 109270 372535 | 2147483647 241437 59 | 7.384 % |
161.43/161.48 c | 290580 | 19041 109270 372535 | 2147483647 241847 59 | 7.384 % |
161.73/161.78 c | 291029 | 19041 109270 372535 | 2147483647 242296 59 | 7.384 % |
162.13/162.21 c | 291522 | 19041 109270 372535 | 2147483647 242789 59 | 7.384 % |
162.83/162.88 c | 292066 | 19041 109270 372535 | 2147483647 243333 59 | 7.384 % |
163.63/163.71 c | 292662 | 19041 109270 372535 | 2147483647 243929 59 | 7.384 % |
164.63/164.64 c | 293318 | 19041 109270 372535 | 2147483647 244585 59 | 7.384 % |
165.43/165.52 c | 294038 | 19041 109270 372535 | 2147483647 245305 59 | 7.384 % |
166.73/166.79 c | 294832 | 19041 109270 372535 | 2147483647 246099 59 | 7.384 % |
167.63/167.69 c | 295703 | 19041 109270 372535 | 2147483647 246970 59 | 7.384 % |
168.93/168.98 c | 296661 | 19041 109270 372535 | 2147483647 247928 60 | 7.384 % |
170.13/170.14 c | 297714 | 19041 109270 372535 | 2147483647 248981 60 | 7.384 % |
171.63/171.63 c | 298872 | 19041 109270 372535 | 2147483647 250139 60 | 7.384 % |
172.93/173.02 c | 300146 | 19041 109270 372535 | 2147483647 251413 60 | 7.384 % |
174.63/174.64 c | 301546 | 19041 109270 372535 | 2147483647 252813 60 | 7.384 % |
177.33/177.40 c | 303086 | 19041 109270 372535 | 2147483647 254353 60 | 7.384 % |
179.43/179.46 c | 304782 | 19041 109270 372535 | 2147483647 256049 61 | 7.384 % |
182.23/182.25 c | 306646 | 19041 109270 372535 | 2147483647 257913 61 | 7.384 % |
185.13/185.18 c | 308695 | 19041 109270 372535 | 2147483647 259962 62 | 7.384 % |
187.83/187.88 c | 310949 | 19041 109270 372535 | 261267 262216 62 | 7.384 % |
191.33/191.38 c | 313427 | 19041 109270 372535 | 261267 264694 62 | 7.384 % |
195.63/195.71 c | 316153 | 19041 109270 372535 | 261267 235685 66 | 7.384 % |
200.13/200.20 c | 319152 | 19040 109261 372504 | 261267 238634 67 | 7.388 % |
200.23/200.31 c | 319252 | 19040 109261 372504 | 261267 238734 67 | 7.388 % |
200.33/200.40 c | 319362 | 19040 109261 372504 | 261267 238844 67 | 7.388 % |
200.43/200.49 c | 319483 | 19040 109261 372504 | 261267 238965 67 | 7.388 % |
200.63/200.62 c | 319617 | 19040 109261 372504 | 261267 239099 67 | 7.388 % |
200.73/200.76 c | 319763 | 19040 109261 372504 | 261267 239245 67 | 7.388 % |
200.93/200.92 c | 319923 | 19040 109261 372504 | 261267 239405 67 | 7.388 % |
201.03/201.08 c | 320099 | 19040 109261 372504 | 2147483647 239581 67 | 7.388 % |
201.33/201.41 c | 320292 | 19040 109261 372504 | 2147483647 239774 67 | 7.388 % |
201.53/201.57 c | 320505 | 19040 109261 372504 | 2147483647 239987 67 | 7.388 % |
201.73/201.78 c | 320738 | 19040 109261 372504 | 2147483647 240220 67 | 7.388 % |
202.03/202.06 c | 320994 | 19040 109261 372504 | 2147483647 240476 67 | 7.388 % |
202.43/202.48 c | 321275 | 19040 109261 372504 | 2147483647 240757 67 | 7.388 % |
202.93/202.97 c | 321586 | 19040 109261 372504 | 2147483647 241068 67 | 7.388 % |
203.33/203.34 c | 321926 | 19040 109261 372504 | 2147483647 241408 67 | 7.388 % |
203.73/203.81 c | 322300 | 19040 109261 372504 | 2147483647 241782 67 | 7.388 % |
204.23/204.23 c | 322709 | 19040 109261 372504 | 2147483647 242191 67 | 7.388 % |
204.73/204.73 c | 323161 | 19040 109261 372504 | 2147483647 242643 67 | 7.388 % |
205.33/205.39 c | 323654 | 19040 109261 372504 | 2147483647 243136 67 | 7.388 % |
205.93/205.95 c | 324196 | 19040 109261 372504 | 2147483647 243678 67 | 7.388 % |
207.13/207.20 c | 324793 | 19040 109261 372504 | 2147483647 244275 67 | 7.388 % |
207.93/207.97 c | 325449 | 19040 109261 372504 | 2147483647 244931 67 | 7.388 % |
208.83/208.91 c | 326171 | 19040 109261 372504 | 2147483647 245653 67 | 7.388 % |
209.73/209.73 c | 326963 | 19040 109261 372504 | 2147483647 246445 67 | 7.388 % |
210.73/210.82 c | 327834 | 19040 109261 372504 | 2147483647 247316 67 | 7.388 % |
211.73/211.81 c | 328793 | 19040 109261 372504 | 2147483647 248275 67 | 7.388 % |
213.33/213.38 c | 329847 | 19040 109261 372504 | 2147483647 249329 68 | 7.388 % |
215.23/215.28 c | 331006 | 19040 109261 372504 | 249483 250488 68 | 7.388 % |
217.03/217.05 c | 332279 | 19040 109261 372504 | 249483 251761 68 | 7.389 % |
219.43/219.44 c | 333680 | 19040 109261 372504 | 249483 227986 68 | 7.388 % |
221.02/221.07 c | 335220 | 19040 109261 372504 | 249483 229526 68 | 7.388 % |
224.02/224.04 c | 336915 | 19040 109261 372504 | 249483 231221 69 | 7.388 % |
226.52/226.51 c | 338779 | 19040 109261 372504 | 249483 233085 69 | 7.388 % |
229.62/229.65 c | 340829 | 19040 109261 372504 | 2147483647 235135 70 | 7.388 % |
232.62/232.61 c | 343082 | 19040 109261 372504 | 2147483647 237388 70 | 7.388 % |
236.63/236.65 c | 345561 | 19040 109261 372504 | 2147483647 239867 71 | 7.388 % |
240.41/240.43 c | 348286 | 19040 109261 372504 | 2147483647 242592 72 | 7.388 % |
243.51/243.51 c | 351284 | 19040 109261 372504 | 2147483647 245590 72 | 7.388 % |
249.41/249.40 c | 354582 | 19040 109261 372504 | 2147483647 248888 74 | 7.388 % |
249.51/249.50 c | 354683 | 19040 109261 372504 | 2147483647 248989 74 | 7.388 % |
249.61/249.61 c | 354793 | 19040 109261 372504 | 2147483647 249099 74 | 7.388 % |
249.82/249.83 c | 354916 | 19040 109261 372504 | 2147483647 249222 74 | 7.388 % |
250.01/250.02 c | 355049 | 19040 109261 372504 | 2147483647 249355 74 | 7.388 % |
250.11/250.15 c | 355195 | 19040 109261 372504 | 2147483647 249501 74 | 7.388 % |
250.31/250.35 c | 355356 | 19040 109261 372504 | 2147483647 249662 74 | 7.389 % |
250.51/250.55 c | 355532 | 19040 109261 372504 | 2147483647 249838 73 | 7.388 % |
250.81/250.84 c | 355727 | 19040 109261 372504 | 2147483647 250033 74 | 7.388 % |
251.11/251.17 c | 355940 | 19040 109261 372504 | 2147483647 250246 73 | 7.388 % |
251.51/251.55 c | 356174 | 19040 109261 372504 | 2147483647 250480 74 | 7.388 % |
251.81/251.80 c | 356432 | 19040 109261 372504 | 2147483647 250738 73 | 7.388 % |
252.02/252.03 c | 356713 | 19040 109261 372504 | 2147483647 251019 73 | 7.388 % |
252.41/252.46 c | 357022 | 19040 109261 372504 | 2147483647 251328 73 | 7.388 % |
252.81/252.83 c | 357361 | 19040 109261 372504 | 2147483647 251667 73 | 7.388 % |
253.31/253.31 c | 357734 | 19040 109261 372504 | 2147483647 252040 73 | 7.388 % |
253.71/253.73 c | 358144 | 19040 109261 372504 | 2147483647 252450 73 | 7.388 % |
254.31/254.38 c | 358593 | 19040 109261 372504 | 2147483647 252899 74 | 7.388 % |
255.01/255.05 c | 359086 | 19040 109261 372504 | 2147483647 253392 74 | 7.388 % |
255.61/255.61 c | 359628 | 19040 109261 372504 | 2147483647 253934 73 | 7.388 % |
256.51/256.51 c | 360225 | 19040 109261 372504 | 2147483647 254531 74 | 7.388 % |
257.31/257.33 c | 360881 | 19040 109261 372504 | 2147483647 255187 74 | 7.388 % |
258.11/258.10 c | 361601 | 19040 109261 372504 | 2147483647 255907 74 | 7.388 % |
259.11/259.15 c | 362394 | 19040 109261 372504 | 2147483647 256700 74 | 7.388 % |
260.61/260.65 c | 363265 | 19040 109261 372504 | 2147483647 257571 74 | 7.388 % |
261.81/261.84 c | 364224 | 19040 109261 372504 | 2147483647 258530 74 | 7.388 % |
263.71/263.70 c | 365277 | 19040 109261 372504 | 2147483647 259583 74 | 7.388 % |
265.22/265.30 c | 366436 | 19040 109261 372504 | 2147483647 260742 74 | 7.388 % |
267.02/267.07 c | 367709 | 19040 109261 372504 | 2147483647 262015 75 | 7.388 % |
268.92/268.98 c | 369110 | 19040 109261 372504 | 2147483647 263416 75 | 7.388 % |
270.92/270.96 c | 370650 | 19040 109261 372504 | 264308 264956 75 | 7.388 % |
274.02/274.01 c | 372344 | 19040 109261 372504 | 264308 266650 76 | 7.388 % |
276.92/276.98 c | 374207 | 19040 109261 372504 | 264308 240600 77 | 7.388 % |
279.42/279.49 c | 376258 | 19040 109261 372504 | 264308 242651 77 | 7.388 % |
282.62/282.65 c | 378512 | 19040 109261 372504 | 264308 244905 77 | 7.388 % |
287.42/287.45 c | 380994 | 19040 109261 372504 | 246393 247387 78 | 7.388 % |
291.62/291.63 c | 383720 | 19040 109261 372504 | 246393 250113 79 | 7.388 % |
297.02/297.01 c | 386717 | 19040 109261 372504 | 246393 222585 83 | 7.388 % |
300.12/300.12 c | 390013 | 19040 109261 372504 | 2147483647 225881 83 | 7.388 % |
307.82/307.85 c | 393638 | 19040 109261 372504 | 2147483647 229506 85 | 7.388 % |
307.92/307.95 c | 393739 | 19040 109261 372504 | 2147483647 229607 85 | 7.388 % |
308.12/308.14 c | 393850 | 19040 109261 372504 | 2147483647 229718 85 | 7.388 % |
308.32/308.33 c | 393971 | 19040 109261 372504 | 2147483647 229839 85 | 7.388 % |
308.42/308.46 c | 394104 | 19040 109261 372504 | 2147483647 229972 85 | 7.388 % |
308.62/308.62 c | 394250 | 19040 109261 372504 | 2147483647 230118 85 | 7.388 % |
308.72/308.80 c | 394410 | 19040 109261 372504 | 2147483647 230278 85 | 7.389 % |
308.82/308.89 c | 394589 | 19040 109261 372504 | 2147483647 230457 85 | 7.388 % |
309.22/309.21 c | 394782 | 19040 109261 372504 | 2147483647 230650 85 | 7.388 % |
309.32/309.36 c | 394994 | 19040 109261 372504 | 2147483647 230862 85 | 7.388 % |
309.52/309.58 c | 395228 | 19040 109261 372504 | 2147483647 231096 85 | 7.388 % |
309.92/309.96 c | 395484 | 19040 109261 372504 | 2147483647 231352 85 | 7.388 % |
310.22/310.25 c | 395765 | 19040 109261 372504 | 2147483647 231633 85 | 7.388 % |
310.62/310.65 c | 396075 | 19040 109261 372504 | 2147483647 231943 85 | 7.388 % |
311.22/311.26 c | 396415 | 19040 109261 372504 | 2147483647 232283 85 | 7.388 % |
311.62/311.63 c | 396787 | 19040 109261 372504 | 2147483647 232655 85 | 7.388 % |
312.12/312.19 c | 397196 | 19040 109261 372504 | 2147483647 233064 85 | 7.388 % |
312.62/312.63 c | 397645 | 19040 109261 372504 | 2147483647 233513 85 | 7.388 % |
313.12/313.18 c | 398138 | 19040 109261 372504 | 2147483647 234006 85 | 7.388 % |
313.82/313.85 c | 398681 | 19040 109261 372504 | 2147483647 234549 85 | 7.388 % |
314.42/314.44 c | 399277 | 19040 109261 372504 | 2147483647 235145 85 | 7.388 % |
315.02/315.09 c | 399932 | 19040 109261 372504 | 2147483647 235800 85 | 7.388 % |
316.12/316.15 c | 400652 | 19040 109261 372504 | 2147483647 236520 85 | 7.388 % |
316.82/316.90 c | 401444 | 19040 109261 372504 | 2147483647 237312 85 | 7.388 % |
317.62/317.65 c | 402315 | 19040 109261 372504 | 2147483647 238183 85 | 7.388 % |
319.32/319.32 c | 403273 | 19040 109261 372504 | 2147483647 239141 85 | 7.389 % |
320.22/320.29 c | 404326 | 19040 109261 372504 | 2147483647 240194 85 | 7.388 % |
322.02/322.08 c | 405486 | 19040 109261 372504 | 2147483647 241354 85 | 7.388 % |
323.22/323.21 c | 406759 | 19040 109261 372504 | 2147483647 242627 85 | 7.388 % |
325.42/325.43 c | 408159 | 19040 109261 372504 | 2147483647 244027 85 | 7.388 % |
327.32/327.32 c | 409699 | 19040 109261 372504 | 2147483647 245567 85 | 7.388 % |
329.82/329.83 c | 411393 | 19040 109261 372504 | 2147483647 247261 85 | 7.388 % |
332.32/332.35 c | 413257 | 19040 109261 372504 | 2147483647 249125 86 | 7.388 % |
335.92/335.99 c | 415306 | 19040 109261 372504 | 2147483647 251174 86 | 7.388 % |
339.32/339.33 c | 417559 | 19040 109261 372504 | 2147483647 253427 86 | 7.388 % |
342.62/342.66 c | 420037 | 19040 109261 372504 | 255868 255905 87 | 7.388 % |
347.12/347.18 c | 422763 | 19040 109261 372504 | 255868 258631 87 | 7.388 % |
352.13/352.14 c | 425764 | 19040 109261 372504 | 255868 221040 85 | 7.388 % |
356.02/356.05 c | 429062 | 19040 109261 372504 | 255868 224338 85 | 7.388 % |
363.62/363.65 c | 432689 | 19039 109256 372490 | 2147483647 227963 87 | 7.393 % |
367.42/367.46 c | 436677 | 19039 109256 372490 | 2147483647 231951 88 | 7.393 % |
367.42/367.50 c | 436777 | 19039 109256 372490 | 2147483647 232051 88 | 7.393 % |
367.62/367.67 c | 436887 | 19039 109256 372490 | 2147483647 232161 88 | 7.393 % |
367.72/367.80 c | 437008 | 19039 109256 372490 | 2147483647 232282 88 | 7.393 % |
367.92/367.93 c | 437142 | 19039 109256 372490 | 2147483647 232416 88 | 7.393 % |
368.02/368.07 c | 437288 | 19039 109256 372490 | 2147483647 232562 88 | 7.393 % |
368.22/368.25 c | 437449 | 19039 109256 372490 | 2147483647 232723 88 | 7.393 % |
368.42/368.42 c | 437625 | 19039 109256 372490 | 2147483647 232899 88 | 7.393 % |
368.72/368.71 c | 437818 | 19039 109256 372490 | 2147483647 233092 88 | 7.393 % |
369.02/369.01 c | 438030 | 19039 109256 372490 | 2147483647 233304 88 | 7.393 % |
369.22/369.30 c | 438264 | 19039 109256 372490 | 2147483647 233538 88 | 7.393 % |
369.62/369.62 c | 438520 | 19039 109256 372490 | 2147483647 233794 87 | 7.393 % |
370.02/370.06 c | 438804 | 19037 109256 372490 | 2147483647 234077 88 | 7.403 % |
370.62/370.65 c | 439113 | 19037 109256 372490 | 2147483647 234386 88 | 7.403 % |
370.92/370.92 c | 439452 | 19037 109256 372490 | 2147483647 234725 87 | 7.403 % |
371.42/371.42 c | 439824 | 19037 109256 372490 | 2147483647 235097 87 | 7.403 % |
371.82/371.87 c | 440234 | 19037 109256 372490 | 2147483647 235507 87 | 7.403 % |
372.52/372.51 c | 440684 | 19037 109256 372490 | 2147483647 235957 87 | 7.403 % |
372.82/372.88 c | 441179 | 19037 109256 372490 | 2147483647 236452 87 | 7.403 % |
373.72/373.80 c | 441721 | 19037 109256 372490 | 2147483647 236994 87 | 7.403 % |
374.52/374.57 c | 442318 | 19037 109256 372490 | 2147483647 237591 87 | 7.403 % |
375.12/375.12 c | 442973 | 19037 109256 372490 | 2147483647 238246 87 | 7.403 % |
375.92/375.99 c | 443694 | 19037 109256 372490 | 2147483647 238967 87 | 7.403 % |
377.12/377.18 c | 444487 | 19037 109256 372490 | 2147483647 239760 87 | 7.403 % |
378.12/378.19 c | 445359 | 19037 109256 372490 | 2147483647 240632 87 | 7.403 % |
379.42/379.48 c | 446317 | 19037 109256 372490 | 2147483647 241590 87 | 7.403 % |
380.83/380.84 c | 447371 | 19037 109256 372490 | 2147483647 242644 87 | 7.403 % |
382.93/382.94 c | 448529 | 19037 109256 372490 | 2147483647 243802 88 | 7.403 % |
385.33/385.32 c | 449802 | 19037 109256 372490 | 2147483647 245075 88 | 7.403 % |
386.73/386.72 c | 451203 | 19037 109256 372490 | 2147483647 246476 88 | 7.403 % |
388.93/389.00 c | 452743 | 19037 109256 372490 | 2147483647 248016 88 | 7.403 % |
392.03/392.09 c | 454439 | 19037 109256 372490 | 2147483647 249712 88 | 7.403 % |
394.63/394.70 c | 456302 | 19037 109256 372490 | 2147483647 251575 88 | 7.403 % |
398.13/398.12 c | 458351 | 19037 109256 372490 | 2147483647 253624 89 | 7.403 % |
401.53/401.55 c | 460606 | 19037 109256 372490 | 2147483647 255879 90 | 7.403 % |
404.93/404.93 c | 463086 | 19037 109256 372490 | 2147483647 258359 90 | 7.403 % |
409.73/409.72 c | 465811 | 19037 109256 372490 | 2147483647 261084 90 | 7.403 % |
414.83/414.87 c | 468808 | 19037 109256 372490 | 2147483647 264081 91 | 7.403 % |
422.23/422.26 c | 472104 | 19037 109246 372465 | 2147483647 267377 93 | 7.403 % |
427.33/427.36 c | 475733 | 19037 109246 372465 | 2147483647 271006 93 | 7.403 % |
434.83/434.83 c | 479720 | 19037 109246 372465 | 2147483647 274993 95 | 7.403 % |
444.03/444.02 c | 484106 | 19037 109246 372465 | 275273 279379 96 | 7.403 % |
444.43/444.45 c | 484207 | 19037 109246 372465 | 275273 251543 94 | 7.403 % |
444.53/444.58 c | 484317 | 19037 109246 372465 | 275273 251653 94 | 7.403 % |
444.73/444.76 c | 484438 | 19037 109246 372465 | 275273 251774 94 | 7.403 % |
444.83/444.90 c | 484572 | 19037 109246 372465 | 275273 251908 94 | 7.403 % |
445.03/445.07 c | 484718 | 19037 109246 372465 | 275273 252054 94 | 7.403 % |
445.33/445.33 c | 484879 | 19037 109246 372465 | 275273 252215 94 | 7.403 % |
445.73/445.73 c | 485057 | 19037 109246 372465 | 275273 252393 94 | 7.403 % |
445.83/445.90 c | 485250 | 19037 109246 372465 | 275273 252586 94 | 7.403 % |
446.13/446.18 c | 485463 | 19037 109246 372465 | 275273 252799 94 | 7.403 % |
446.43/446.45 c | 485697 | 19037 109246 372465 | 275273 253033 94 | 7.403 % |
446.83/446.87 c | 485953 | 19037 109246 372465 | 275273 253289 94 | 7.403 % |
447.23/447.23 c | 486234 | 19037 109246 372465 | 275273 253570 94 | 7.403 % |
447.53/447.59 c | 486543 | 19037 109246 372465 | 275273 253879 93 | 7.403 % |
448.03/448.05 c | 486883 | 19037 109246 372465 | 275273 254219 93 | 7.403 % |
448.63/448.62 c | 487256 | 19037 109246 372465 | 275273 254592 94 | 7.403 % |
449.23/449.26 c | 487665 | 19037 109246 372465 | 275273 255001 94 | 7.403 % |
449.83/449.91 c | 488114 | 19037 109246 372465 | 275273 255450 93 | 7.403 % |
450.53/450.51 c | 488607 | 19037 109246 372465 | 275273 255943 93 | 7.403 % |
451.23/451.24 c | 489149 | 19037 109246 372465 | 275273 256485 93 | 7.403 % |
452.13/452.15 c | 489745 | 19037 109246 372465 | 275273 257081 93 | 7.403 % |
453.23/453.28 c | 490401 | 19037 109246 372465 | 257337 257737 94 | 7.403 % |
454.63/454.68 c | 491121 | 19037 109246 372465 | 257337 258457 94 | 7.403 % |
455.33/455.38 c | 491914 | 19037 109246 372465 | 257337 259250 94 | 7.403 % |
456.73/456.79 c | 492786 | 19037 109246 372465 | 257337 231805 93 | 7.403 % |
457.83/457.90 c | 493746 | 19037 109246 372465 | 257337 232765 93 | 7.403 % |
459.53/459.55 c | 494799 | 19037 109246 372465 | 257337 233818 93 | 7.403 % |
460.73/460.79 c | 495958 | 19037 109246 372465 | 257337 234977 94 | 7.403 % |
462.23/462.23 c | 497233 | 19037 109246 372465 | 257337 236252 94 | 7.403 % |
464.03/464.07 c | 498633 | 19037 109246 372465 | 257337 237652 94 | 7.403 % |
466.43/466.51 c | 500173 | 19037 109246 372465 | 2147483647 239192 94 | 7.403 % |
469.73/469.80 c | 501868 | 19037 109246 372465 | 2147483647 240887 94 | 7.403 % |
472.04/472.06 c | 503731 | 19037 109246 372465 | 2147483647 242750 94 | 7.403 % |
475.03/475.06 c | 505783 | 19037 109246 372465 | 2147483647 244802 95 | 7.403 % |
478.64/478.67 c | 508036 | 19037 109246 372465 | 2147483647 247055 95 | 7.403 % |
482.53/482.53 c | 510516 | 19037 109246 372465 | 249019 249535 96 | 7.403 % |
485.73/485.78 c | 513242 | 19037 109246 372465 | 249019 252261 96 | 7.403 % |
491.63/491.61 c | 516240 | 19037 109246 372465 | 249019 228982 93 | 7.403 % |
495.84/495.91 c | 519537 | 19037 109246 372465 | 249019 232279 94 | 7.403 % |
502.94/502.97 c | 523163 | 19037 109246 372465 | 232742 235905 95 | 7.403 % |
508.14/508.21 c | 527150 | 19037 109246 372465 | 232742 214438 95 | 7.403 % |
513.94/513.97 c | 531536 | 19037 109246 372465 | 2147483647 218824 96 | 7.403 % |
521.44/521.48 c | 536359 | 19037 109246 372465 | 2147483647 223647 97 | 7.403 % |
521.64/521.63 c | 536460 | 19037 109246 372465 | 2147483647 223748 97 | 7.403 % |
521.84/521.84 c | 536570 | 19037 109246 372465 | 2147483647 223858 97 | 7.403 % |
521.94/521.94 c | 536692 | 19037 109246 372465 | 2147483647 223980 97 | 7.403 % |
522.14/522.14 c | 536827 | 19037 109246 372465 | 2147483647 224115 97 | 7.403 % |
522.34/522.32 c | 536973 | 19037 109246 372465 | 2147483647 224261 97 | 7.403 % |
522.64/522.68 c | 537133 | 19037 109246 372465 | 2147483647 224421 97 | 7.403 % |
522.74/522.80 c | 537309 | 19037 109246 372465 | 2147483647 224597 97 | 7.403 % |
523.04/523.05 c | 537504 | 19037 109246 372465 | 2147483647 224792 97 | 7.403 % |
523.34/523.35 c | 537717 | 19037 109246 372465 | 2147483647 225005 97 | 7.403 % |
523.64/523.69 c | 537950 | 19037 109246 372465 | 2147483647 225238 97 | 7.403 % |
524.04/524.05 c | 538208 | 19037 109246 372465 | 2147483647 225496 97 | 7.403 % |
524.34/524.37 c | 538490 | 19037 109246 372465 | 2147483647 225778 97 | 7.403 % |
524.64/524.67 c | 538800 | 19037 109246 372465 | 2147483647 226088 97 | 7.403 % |
525.24/525.23 c | 539139 | 19037 109246 372465 | 2147483647 226427 97 | 7.403 % |
525.54/525.57 c | 539511 | 19037 109246 372465 | 2147483647 226799 97 | 7.403 % |
526.14/526.19 c | 539920 | 19037 109246 372465 | 2147483647 227208 97 | 7.403 % |
526.54/526.61 c | 540369 | 19037 109246 372465 | 2147483647 227657 97 | 7.403 % |
527.24/527.30 c | 540863 | 19037 109246 372465 | 2147483647 228151 97 | 7.403 % |
528.44/528.47 c | 541407 | 19037 109246 372465 | 2147483647 228695 97 | 7.403 % |
529.14/529.14 c | 542004 | 19037 109246 372465 | 2147483647 229292 97 | 7.403 % |
530.04/530.07 c | 542659 | 19037 109246 372465 | 2147483647 229947 97 | 7.403 % |
531.14/531.12 c | 543382 | 19037 109246 372465 | 2147483647 230670 97 | 7.403 % |
532.34/532.33 c | 544174 | 19037 109246 372465 | 2147483647 231462 97 | 7.403 % |
533.54/533.55 c | 545046 | 19037 109246 372465 | 2147483647 232334 97 | 7.403 % |
535.44/535.45 c | 546004 | 19037 109246 372465 | 2147483647 233292 97 | 7.403 % |
536.84/536.88 c | 547061 | 19037 109246 372465 | 2147483647 234349 97 | 7.403 % |
538.74/538.72 c | 548219 | 19037 109246 372465 | 2147483647 235507 98 | 7.403 % |
540.34/540.39 c | 549493 | 19037 109246 372465 | 2147483647 236781 98 | 7.403 % |
542.64/542.62 c | 550894 | 19037 109246 372465 | 2147483647 238182 98 | 7.403 % |
544.24/544.31 c | 552437 | 19037 109246 372465 | 2147483647 239725 98 | 7.403 % |
547.24/547.25 c | 554133 | 19037 109246 372465 | 2147483647 241421 98 | 7.403 % |
550.44/550.45 c | 555996 | 19037 109246 372465 | 2147483647 243284 99 | 7.403 % |
553.54/553.61 c | 558045 | 19037 109246 372465 | 2147483647 245333 99 | 7.403 % |
556.84/556.82 c | 560299 | 19037 109246 372465 | 2147483647 247587 99 | 7.403 % |
560.14/560.18 c | 562777 | 19037 109246 372465 | 2147483647 250065 99 | 7.403 % |
565.84/565.87 c | 565502 | 19037 109246 372465 | 2147483647 252790 100 | 7.403 % |
570.84/570.91 c | 568499 | 19037 109246 372465 | 2147483647 255787 101 | 7.403 % |
576.64/576.64 c | 571798 | 19037 109246 372465 | 257288 259086 101 | 7.403 % |
581.34/581.37 c | 575424 | 19037 109246 372465 | 257288 228088 98 | 7.403 % |
588.65/588.62 c | 579411 | 19037 109246 372465 | 257288 232075 100 | 7.403 % |
594.44/594.51 c | 583799 | 19037 109246 372465 | 232665 236463 101 | 7.403 % |
604.43/604.47 c | 588622 | 19037 109246 372465 | 232665 217640 102 | 7.403 % |
614.04/614.04 c | 593928 | 19037 109246 372465 | 2147483647 222946 104 | 7.403 % |
614.14/614.18 c | 594028 | 19037 109246 372465 | 2147483647 223046 104 | 7.403 % |
614.34/614.40 c | 594138 | 19037 109246 372465 | 2147483647 223156 104 | 7.403 % |
614.54/614.59 c | 594260 | 19037 109246 372465 | 2147483647 223278 104 | 7.403 % |
614.74/614.76 c | 594393 | 19037 109246 372465 | 2147483647 223411 104 | 7.403 % |
614.94/614.96 c | 594541 | 19037 109246 372465 | 2147483647 223559 104 | 7.403 % |
615.14/615.14 c | 594704 | 19037 109246 372465 | 2147483647 223722 104 | 7.403 % |
615.34/615.32 c | 594880 | 19037 109246 372465 | 2147483647 223898 104 | 7.403 % |
615.64/615.63 c | 595074 | 19037 109246 372465 | 2147483647 224092 103 | 7.403 % |
616.14/616.18 c | 595286 | 19027 109214 372380 | 2147483647 224303 103 | 7.452 % |
616.44/616.44 c | 595519 | 19027 109214 372380 | 2147483647 224536 103 | 7.452 % |
616.64/616.69 c | 595777 | 19027 109214 372380 | 2147483647 224794 103 | 7.452 % |
616.94/616.96 c | 596058 | 19027 109214 372380 | 2147483647 225075 103 | 7.452 % |
617.24/617.24 c | 596368 | 19027 109214 372380 | 2147483647 225385 103 | 7.452 % |
617.64/617.64 c | 596707 | 19027 109214 372380 | 2147483647 225724 103 | 7.452 % |
618.14/618.14 c | 597079 | 19027 109214 372380 | 2147483647 226096 103 | 7.452 % |
618.64/618.63 c | 597488 | 19027 109214 372380 | 2147483647 226505 103 | 7.452 % |
619.24/619.21 c | 597939 | 19027 109214 372380 | 2147483647 226956 103 | 7.452 % |
619.94/619.96 c | 598432 | 19027 109214 372380 | 2147483647 227449 103 | 7.452 % |
620.54/620.51 c | 598974 | 19027 109214 372380 | 2147483647 227991 103 | 7.452 % |
621.44/621.48 c | 599571 | 19027 109214 372380 | 2147483647 228588 103 | 7.452 % |
622.04/622.10 c | 600227 | 19027 109214 372380 | 2147483647 229244 103 | 7.452 % |
623.14/623.19 c | 600947 | 19027 109214 372380 | 2147483647 229964 103 | 7.452 % |
624.14/624.20 c | 601739 | 19027 109214 372380 | 2147483647 230756 103 | 7.452 % |
625.44/625.47 c | 602611 | 19027 109214 372380 | 2147483647 231628 103 | 7.452 % |
626.44/626.44 c | 603572 | 19027 109214 372380 | 2147483647 232589 103 | 7.452 % |
628.94/628.98 c | 604625 | 19027 109214 372380 | 2147483647 233642 103 | 7.452 % |
630.04/630.04 c | 605783 | 19027 109214 372380 | 2147483647 234800 103 | 7.452 % |
631.44/631.47 c | 607058 | 19027 109214 372380 | 2147483647 236075 103 | 7.452 % |
633.64/633.70 c | 608458 | 19027 109214 372380 | 2147483647 237475 104 | 7.452 % |
635.44/635.49 c | 609998 | 19027 109214 372380 | 2147483647 239015 104 | 7.452 % |
638.64/638.63 c | 611692 | 19027 109214 372380 | 2147483647 240709 104 | 7.452 % |
640.64/640.70 c | 613555 | 19027 109214 372380 | 2147483647 242572 104 | 7.452 % |
644.74/644.77 c | 615604 | 19027 109214 372380 | 2147483647 244621 104 | 7.452 % |
647.74/647.75 c | 617857 | 19027 109214 372380 | 2147483647 246874 105 | 7.452 % |
651.44/651.44 c | 620335 | 19027 109214 372380 | 2147483647 249352 105 | 7.452 % |
656.54/656.60 c | 623061 | 19027 109214 372380 | 2147483647 252078 105 | 7.452 % |
662.24/662.23 c | 626059 | 19027 109214 372380 | 2147483647 255076 106 | 7.452 % |
666.84/666.84 c | 629357 | 19027 109214 372380 | 2147483647 258374 106 | 7.452 % |
673.74/673.79 c | 632982 | 19027 109214 372380 | 259019 261999 108 | 7.452 % |
679.74/679.71 c | 636970 | 19027 109214 372380 | 259019 239788 104 | 7.452 % |
685.24/685.23 c | 641356 | 19027 109214 372380 | 242818 244174 103 | 7.452 % |
696.24/696.24 c | 646181 | 19027 109214 372380 | 242818 223715 103 | 7.452 % |
704.34/704.38 c | 651487 | 19027 109214 372380 | 2147483647 229021 105 | 7.452 % |
715.84/715.90 c | 657325 | 19027 109214 372380 | 2147483647 234859 107 | 7.452 % |
715.94/716.00 c | 657425 | 19027 109214 372380 | 2147483647 234959 107 | 7.452 % |
716.14/716.17 c | 657535 | 19027 109214 372380 | 2147483647 235069 107 | 7.452 % |
716.34/716.34 c | 657656 | 19027 109214 372380 | 2147483647 235190 107 | 7.452 % |
716.54/716.53 c | 657789 | 19027 109214 372380 | 2147483647 235323 107 | 7.452 % |
716.64/716.70 c | 657935 | 19027 109214 372380 | 2147483647 235469 107 | 7.452 % |
716.84/716.88 c | 658095 | 19027 109214 372380 | 2147483647 235629 107 | 7.452 % |
717.14/717.16 c | 658271 | 19027 109214 372380 | 2147483647 235805 107 | 7.452 % |
717.44/717.47 c | 658465 | 19027 109214 372380 | 2147483647 235999 107 | 7.452 % |
717.74/717.77 c | 658680 | 19027 109214 372380 | 2147483647 236214 107 | 7.452 % |
718.04/718.04 c | 658914 | 19027 109214 372380 | 2147483647 236448 106 | 7.452 % |
718.54/718.55 c | 659171 | 19027 109214 372380 | 2147483647 236705 107 | 7.452 % |
718.74/718.79 c | 659454 | 19027 109214 372380 | 2147483647 236988 106 | 7.452 % |
719.14/719.12 c | 659763 | 19027 109214 372380 | 2147483647 237297 106 | 7.452 % |
719.44/719.51 c | 660102 | 19027 109214 372380 | 2147483647 237636 106 | 7.452 % |
720.14/720.16 c | 660474 | 19027 109214 372380 | 2147483647 238008 106 | 7.452 % |
720.65/720.67 c | 660883 | 19027 109214 372380 | 2147483647 238417 106 | 7.452 % |
721.44/721.45 c | 661334 | 19027 109214 372380 | 2147483647 238868 106 | 7.452 % |
721.84/721.83 c | 661827 | 19027 109214 372380 | 2147483647 239361 106 | 7.452 % |
722.94/722.93 c | 662369 | 19027 109214 372380 | 2147483647 239903 106 | 7.452 % |
723.74/723.76 c | 662967 | 19027 109214 372380 | 2147483647 240501 106 | 7.452 % |
724.75/724.74 c | 663622 | 19027 109214 372380 | 2147483647 241156 106 | 7.452 % |
726.05/726.09 c | 664343 | 19027 109214 372380 | 2147483647 241877 106 | 7.452 % |
726.75/726.77 c | 665135 | 19027 109214 372380 | 2147483647 242669 106 | 7.452 % |
728.35/728.38 c | 666007 | 19027 109214 372380 | 2147483647 243541 107 | 7.452 % |
729.75/729.77 c | 666967 | 19027 109214 372380 | 2147483647 244501 107 | 7.452 % |
731.45/731.51 c | 668021 | 19026 109206 372354 | 2147483647 245554 107 | 7.457 % |
734.55/734.54 c | 669180 | 19026 109206 372354 | 2147483647 246713 107 | 7.457 % |
736.25/736.22 c | 670455 | 19026 109206 372354 | 2147483647 247988 107 | 7.457 % |
738.65/738.68 c | 671856 | 19026 109206 372354 | 2147483647 249389 107 | 7.457 % |
739.95/739.94 c | 673398 | 19026 109206 372354 | 2147483647 250931 107 | 7.457 % |
743.25/743.27 c | 675093 | 19026 109206 372354 | 2147483647 252626 108 | 7.457 % |
745.55/745.53 c | 676958 | 19026 109206 372354 | 2147483647 254491 107 | 7.457 % |
748.55/748.58 c | 679007 | 19026 109206 372354 | 2147483647 256540 107 | 7.457 % |
752.15/752.13 c | 681260 | 19026 109206 372354 | 257533 258793 108 | 7.457 % |
754.85/754.90 c | 683738 | 19026 109206 372354 | 257533 235153 104 | 7.457 % |
759.05/759.05 c | 686465 | 19026 109206 372354 | 257533 237880 105 | 7.457 % |
765.15/765.14 c | 689462 | 19026 109206 372354 | 257533 240877 106 | 7.457 % |
769.65/769.70 c | 692759 | 19026 109206 372354 | 2147483647 244174 106 | 7.457 % |
777.25/777.29 c | 696384 | 19026 109206 372354 | 2147483647 247799 107 | 7.457 % |
785.95/785.98 c | 700371 | 19026 109206 372354 | 2147483647 251786 109 | 7.457 % |
791.75/791.78 c | 704756 | 19026 109206 372354 | 2147483647 256171 110 | 7.457 % |
800.55/800.52 c | 709579 | 19026 109206 372354 | 2147483647 260994 111 | 7.457 % |
809.15/809.13 c | 714885 | 19026 109206 372354 | 2147483647 266300 111 | 7.457 % |
819.66/819.66 c | 720721 | 19026 109206 372354 | 2147483647 272136 112 | 7.457 % |
829.65/829.64 c | 727140 | 19026 109206 372354 | 2147483647 278555 113 | 7.457 % |
829.75/829.73 c | 727240 | 19026 109206 372354 | 2147483647 278655 113 | 7.457 % |
829.85/829.84 c | 727352 | 19026 109206 372354 | 2147483647 278767 113 | 7.457 % |
830.05/830.05 c | 727473 | 19026 109206 372354 | 2147483647 278888 113 | 7.457 % |
830.25/830.23 c | 727608 | 19026 109206 372354 | 2147483647 279023 113 | 7.457 % |
830.55/830.57 c | 727754 | 19026 109206 372354 | 2147483647 279169 113 | 7.457 % |
830.85/830.83 c | 727914 | 19026 109206 372354 | 2147483647 279329 113 | 7.457 % |
831.15/831.17 c | 728091 | 19026 109206 372354 | 2147483647 279506 113 | 7.457 % |
831.45/831.50 c | 728284 | 19026 109206 372354 | 2147483647 279699 113 | 7.457 % |
831.85/831.84 c | 728498 | 19026 109206 372354 | 2147483647 279913 113 | 7.457 % |
832.15/832.12 c | 728731 | 19026 109206 372354 | 2147483647 280146 113 | 7.457 % |
832.65/832.61 c | 728987 | 19026 109206 372354 | 2147483647 280402 113 | 7.457 % |
832.95/832.91 c | 729270 | 19026 109206 372354 | 2147483647 280685 113 | 7.457 % |
833.45/833.44 c | 729580 | 19026 109206 372354 | 2147483647 280995 113 | 7.457 % |
833.85/833.84 c | 729919 | 19026 109206 372354 | 2147483647 281334 113 | 7.457 % |
834.35/834.33 c | 730292 | 19026 109206 372354 | 281416 281707 112 | 7.457 % |
834.85/834.87 c | 730701 | 19026 109206 372354 | 281416 282116 112 | 7.457 % |
835.55/835.56 c | 731151 | 19026 109206 372354 | 281416 282566 112 | 7.457 % |
836.45/836.45 c | 731646 | 19026 109206 372354 | 281416 283061 112 | 7.457 % |
837.35/837.31 c | 732189 | 19026 109206 372354 | 281416 246381 106 | 7.457 % |
838.05/838.04 c | 732785 | 19026 109206 372354 | 281416 246977 106 | 7.457 % |
839.46/839.42 c | 733441 | 19026 109206 372354 | 281416 247633 106 | 7.457 % |
840.16/840.17 c | 734161 | 19026 109206 372354 | 281416 248353 106 | 7.457 % |
841.76/841.74 c | 734954 | 19026 109206 372354 | 281416 249146 106 | 7.457 % |
842.66/842.69 c | 735825 | 19026 109206 372354 | 281416 250017 106 | 7.457 % |
843.76/843.78 c | 736783 | 19026 109206 372354 | 281416 250975 106 | 7.457 % |
845.06/845.11 c | 737836 | 19026 109206 372354 | 281416 252028 106 | 7.457 % |
847.26/847.31 c | 738994 | 19026 109206 372354 | 281416 253186 106 | 7.457 % |
849.26/849.26 c | 740267 | 19026 109206 372354 | 254192 254459 106 | 7.457 % |
850.96/850.98 c | 741667 | 19026 109206 372354 | 254192 255859 106 | 7.457 % |
854.26/854.30 c | 743208 | 19026 109206 372354 | 254192 226609 104 | 7.457 % |
856.26/856.30 c | 744903 | 19026 109206 372354 | 254192 228304 104 | 7.457 % |
858.96/858.94 c | 746766 | 19026 109206 372354 | 254192 230167 104 | 7.457 % |
861.56/861.61 c | 748815 | 19026 109206 372354 | 254192 232216 104 | 7.457 % |
865.86/865.91 c | 751068 | 19026 109206 372354 | 2147483647 234469 105 | 7.457 % |
869.36/869.37 c | 753546 | 19026 109206 372354 | 2147483647 236947 105 | 7.457 % |
875.26/875.25 c | 756271 | 19026 109206 372354 | 2147483647 239672 106 | 7.457 % |
879.26/879.28 c | 759268 | 19026 109206 372354 | 2147483647 242669 106 | 7.457 % |
884.66/884.65 c | 762565 | 19026 109206 372354 | 2147483647 245966 106 | 7.457 % |
891.16/891.21 c | 766190 | 19026 109206 372354 | 2147483647 249591 107 | 7.457 % |
897.66/897.69 c | 770177 | 19026 109206 372354 | 2147483647 253578 109 | 7.457 % |
904.86/904.84 c | 774562 | 19026 109206 372354 | 2147483647 257963 109 | 7.457 % |
917.57/917.61 c | 779387 | 19026 109206 372354 | 2147483647 262788 112 | 7.457 % |
925.36/925.34 c | 784692 | 19026 109206 372354 | 2147483647 268093 112 | 7.457 % |
935.66/935.64 c | 790527 | 19026 109206 372354 | 273401 273928 113 | 7.457 % |
951.26/951.28 c | 796945 | 19026 109206 372354 | 273401 252434 111 | 7.457 % |
969.96/969.94 c | 804005 | 19026 109206 372354 | 2147483647 259494 115 | 7.457 % |
970.16/970.15 c | 804106 | 19026 109206 372354 | 2147483647 259595 115 | 7.457 % |
970.36/970.36 c | 804216 | 19026 109206 372354 | 2147483647 259705 115 | 7.457 % |
970.56/970.53 c | 804337 | 19026 109206 372354 | 2147483647 259826 115 | 7.457 % |
970.86/970.84 c | 804470 | 19026 109206 372354 | 2147483647 259959 115 | 7.457 % |
971.06/971.03 c | 804617 | 19026 109206 372354 | 2147483647 260106 115 | 7.457 % |
971.36/971.38 c | 804777 | 19026 109206 372354 | 2147483647 260266 115 | 7.457 % |
971.56/971.60 c | 804953 | 19026 109206 372354 | 2147483647 260442 115 | 7.457 % |
971.86/971.87 c | 805146 | 19026 109206 372354 | 2147483647 260635 115 | 7.457 % |
972.16/972.17 c | 805358 | 19026 109206 372354 | 2147483647 260847 115 | 7.457 % |
972.46/972.49 c | 805593 | 19026 109206 372354 | 2147483647 261082 115 | 7.457 % |
972.86/972.87 c | 805850 | 19026 109206 372354 | 2147483647 261339 115 | 7.457 % |
973.26/973.24 c | 806132 | 19026 109206 372354 | 2147483647 261621 115 | 7.457 % |
973.76/973.76 c | 806441 | 19026 109206 372354 | 2147483647 261930 115 | 7.457 % |
974.26/974.24 c | 806783 | 19026 109206 372354 | 2147483647 262272 115 | 7.457 % |
974.76/974.75 c | 807155 | 19026 109206 372354 | 2147483647 262644 115 | 7.457 % |
975.46/975.45 c | 807564 | 19026 109206 372354 | 2147483647 263053 115 | 7.457 % |
975.96/975.96 c | 808014 | 19026 109206 372354 | 2147483647 263503 114 | 7.457 % |
976.86/976.85 c | 808507 | 19026 109206 372354 | 2147483647 263996 114 | 7.457 % |
977.56/977.60 c | 809050 | 19026 109206 372354 | 2147483647 264539 114 | 7.457 % |
978.86/978.83 c | 809648 | 19026 109206 372354 | 2147483647 265137 114 | 7.457 % |
979.76/979.80 c | 810303 | 19026 109206 372354 | 265489 265792 114 | 7.457 % |
981.16/981.16 c | 811023 | 19026 109206 372354 | 265489 266512 114 | 7.457 % |
982.56/982.54 c | 811815 | 19026 109206 372354 | 265489 267304 114 | 7.457 % |
984.16/984.17 c | 812686 | 19026 109206 372354 | 265489 233243 108 | 7.457 % |
985.26/985.27 c | 813645 | 19026 109206 372354 | 265489 234202 108 | 7.457 % |
986.86/986.88 c | 814700 | 19026 109206 372354 | 265489 235257 108 | 7.457 % |
988.76/988.81 c | 815859 | 19026 109206 372354 | 265489 236416 108 | 7.457 % |
990.66/990.62 c | 817132 | 19026 109206 372354 | 265489 237689 108 | 7.457 % |
992.46/992.44 c | 818533 | 19026 109206 372354 | 265489 239090 108 | 7.457 % |
994.16/994.21 c | 820073 | 19026 109206 372354 | 240558 240630 108 | 7.457 % |
997.66/997.69 c | 821767 | 19026 109206 372354 | 240558 242324 109 | 7.457 % |
1000.56/1000.52 c | 823631 | 19026 109206 372354 | 240558 219956 107 | 7.457 % |
1005.26/1005.30 c | 825681 | 19026 109206 372354 | 240558 222006 108 | 7.457 % |
1009.26/1009.22 c | 827934 | 19026 109206 372354 | 240558 224259 109 | 7.457 % |
1012.26/1012.30 c | 830414 | 19026 109206 372354 | 2147483647 226739 108 | 7.457 % |
1017.26/1017.22 c | 833139 | 19026 109206 372354 | 2147483647 229464 109 | 7.457 % |
1023.66/1023.70 c | 836136 | 19026 109206 372354 | 2147483647 232461 111 | 7.457 % |
1029.46/1029.47 c | 839435 | 19026 109206 372354 | 2147483647 235760 112 | 7.457 % |
1037.16/1037.12 c | 843060 | 19026 109206 372354 | 2147483647 239385 113 | 7.457 % |
1043.46/1043.47 c | 847047 | 19026 109206 372354 | 2147483647 243372 114 | 7.457 % |
1049.46/1049.46 c | 851434 | 19026 109206 372354 | 2147483647 247759 114 | 7.457 % |
1057.36/1057.38 c | 856258 | 19026 109206 372354 | 2147483647 252583 115 | 7.457 % |
1066.36/1066.34 c | 861565 | 19026 109206 372354 | 2147483647 257890 115 | 7.457 % |
1077.87/1077.84 c | 867400 | 19026 109206 372354 | 2147483647 263725 117 | 7.457 % |
1092.06/1092.01 c | 873818 | 19026 109206 372354 | 266325 235117 119 | 7.457 % |
1101.56/1101.51 c | 880879 | 19026 109206 372354 | 241299 242178 119 | 7.457 % |
1114.56/1114.54 c | 888643 | 19026 109206 372354 | 241299 249942 121 | 7.457 % |
1114.96/1114.97 c | 888743 | 19026 109206 372354 | 241299 220038 117 | 7.457 % |
1115.16/1115.16 c | 888854 | 19026 109206 372354 | 241299 220149 117 | 7.457 % |
1115.36/1115.34 c | 888975 | 19026 109206 372354 | 241299 220270 117 | 7.457 % |
1115.56/1115.60 c | 889110 | 19026 109206 372354 | 241299 220405 117 | 7.457 % |
1115.76/1115.74 c | 889257 | 19026 109206 372354 | 241299 220552 117 | 7.457 % |
1115.96/1115.92 c | 889417 | 19026 109206 372354 | 241299 220712 117 | 7.457 % |
1116.16/1116.19 c | 889593 | 19026 109206 372354 | 241299 220888 117 | 7.457 % |
1116.46/1116.47 c | 889787 | 19026 109206 372354 | 241299 221082 117 | 7.457 % |
1116.76/1116.71 c | 889999 | 19026 109206 372354 | 241299 221294 117 | 7.457 % |
1117.06/1117.04 c | 890232 | 19026 109206 372354 | 221295 221527 117 | 7.457 % |
1117.36/1117.40 c | 890488 | 19026 109206 372354 | 221295 221783 117 | 7.457 % |
1117.76/1117.80 c | 890769 | 19026 109206 372354 | 221295 222064 117 | 7.457 % |
1118.16/1118.15 c | 891079 | 19026 109206 372354 | 221295 222374 117 | 7.457 % |
1118.66/1118.70 c | 891418 | 19026 109206 372354 | 221295 222713 117 | 7.457 % |
1119.06/1119.01 c | 891790 | 19026 109206 372354 | 221295 223085 116 | 7.457 % |
1119.86/1119.88 c | 892200 | 19026 109206 372354 | 221295 197350 110 | 7.457 % |
1120.26/1120.28 c | 892649 | 19026 109206 372354 | 221295 197799 109 | 7.457 % |
1120.86/1120.83 c | 893142 | 19026 109206 372354 | 221295 198292 109 | 7.457 % |
1121.56/1121.59 c | 893684 | 19026 109206 372354 | 221295 198834 109 | 7.457 % |
1122.16/1122.15 c | 894280 | 19026 109206 372354 | 221295 199430 109 | 7.457 % |
1123.26/1123.30 c | 894935 | 19026 109206 372354 | 221295 200085 109 | 7.457 % |
1124.16/1124.19 c | 895655 | 19026 109206 372354 | 221295 200805 109 | 7.457 % |
1125.26/1125.23 c | 896447 | 19026 109206 372354 | 221295 201597 109 | 7.457 % |
1126.86/1126.83 c | 897320 | 19026 109206 372354 | 221295 202470 109 | 7.457 % |
1127.76/1127.71 c | 898279 | 19026 109206 372354 | 221295 203429 109 | 7.457 % |
1129.76/1129.80 c | 899332 | 19026 109206 372354 | 221295 204482 110 | 7.457 % |
1131.16/1131.15 c | 900490 | 19026 109206 372354 | 2147483647 205640 110 | 7.457 % |
1132.36/1132.37 c | 901763 | 19026 109206 372354 | 2147483647 206913 110 | 7.457 % |
1134.36/1134.32 c | 903164 | 19026 109206 372354 | 2147483647 208314 110 | 7.457 % |
1135.96/1135.98 c | 904705 | 19026 109206 372354 | 2147483647 209855 110 | 7.457 % |
1138.26/1138.28 c | 906401 | 19026 109206 372354 | 2147483647 211551 109 | 7.457 % |
1141.36/1141.37 c | 908265 | 19026 109206 372354 | 2147483647 213415 110 | 7.457 % |
1144.76/1144.71 c | 910315 | 19026 109206 372354 | 2147483647 215465 110 | 7.457 % |
1147.86/1147.88 c | 912568 | 19026 109206 372354 | 2147483647 217718 110 | 7.457 % |
1151.76/1151.73 c | 915046 | 19026 109206 372354 | 2147483647 220196 111 | 7.457 % |
1156.96/1156.91 c | 917771 | 19026 109206 372354 | 2147483647 222921 112 | 7.457 % |
1160.46/1160.49 c | 920768 | 19026 109206 372354 | 2147483647 225918 112 | 7.457 % |
1165.26/1165.26 c | 924065 | 19026 109206 372354 | 2147483647 229215 112 | 7.457 % |
1172.36/1172.36 c | 927692 | 19026 109206 372354 | 2147483647 232842 113 | 7.457 % |
1178.16/1178.15 c | 931681 | 19026 109206 372354 | 2147483647 236831 114 | 7.457 % |
1185.97/1185.96 c | 936070 | 19026 109206 372354 | 2147483647 241220 114 | 7.457 % |
1194.47/1194.49 c | 940894 | 19026 109206 372354 | 2147483647 246044 116 | 7.457 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 10959 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821952-1242582585/watcher-1821952-1242582585 -o /tmp/evaluation-result-1821952-1242582585/solver-1821952-1242582585 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821952-1242582585.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 2/91 10953
/proc/meminfo: memFree=969900/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2412 CPUtime=0.01
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 367 648 0 0 1 0 0 0 18 0 1 0 1022758821 2469888 277 4294967295 134512640 135169312 3216100976 3216099512 3085749998 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10953/statm: 603 277 235 161 0 42 0
[pid=10957] ppid=10953 vsize=948 CPUtime=0
/proc/10957/stat : 10957 (SatELite_releas) R 10953 10953 9090 0 -1 4202496 113 0 0 0 0 0 0 0 20 0 1 0 1022758822 970752 49 4294967295 134512640 135223648 3216789248 3216788152 134736942 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10957/statm: 238 54 44 174 0 63 0
[startup+0.104124 s]
/proc/loadavg: 0.99 1.00 0.99 2/91 10953
/proc/meminfo: memFree=969900/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2412 CPUtime=0.01
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 367 648 0 0 1 0 0 0 18 0 1 0 1022758821 2469888 277 4294967295 134512640 135169312 3216100976 3216099512 3085749998 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10953/statm: 603 277 235 161 0 42 0
[pid=10957] ppid=10953 vsize=14824 CPUtime=0.1
/proc/10957/stat : 10957 (SatELite_releas) R 10953 10953 9090 0 -1 4202496 2948 0 0 0 8 2 0 0 20 0 1 0 1022758822 15179776 2884 4294967295 134512640 135223648 3216789248 3216788128 134543108 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10957/statm: 3706 2884 47 174 0 3531 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 17236
[startup+0.214121 s]
/proc/loadavg: 0.99 1.00 0.99 2/91 10953
/proc/meminfo: memFree=969900/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2412 CPUtime=0.01
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 367 648 0 0 1 0 0 0 18 0 1 0 1022758821 2469888 277 4294967295 134512640 135169312 3216100976 3216099512 3085749998 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10953/statm: 603 277 235 161 0 42 0
[pid=10957] ppid=10953 vsize=24376 CPUtime=0.21
/proc/10957/stat : 10957 (SatELite_releas) R 10953 10953 9090 0 -1 4202496 5912 0 0 0 17 4 0 0 21 0 1 0 1022758822 24961024 5398 4294967295 134512640 135223648 3216789248 3216787600 134606600 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10957/statm: 6095 5400 75 174 0 5920 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 26788
[startup+0.314114 s]
/proc/loadavg: 0.99 1.00 0.99 2/91 10953
/proc/meminfo: memFree=969900/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2412 CPUtime=0.01
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 367 648 0 0 1 0 0 0 18 0 1 0 1022758821 2469888 277 4294967295 134512640 135169312 3216100976 3216099512 3085749998 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10953/statm: 603 277 235 161 0 42 0
[pid=10957] ppid=10953 vsize=27396 CPUtime=0.31
/proc/10957/stat : 10957 (SatELite_releas) R 10953 10953 9090 0 -1 4202496 6484 0 0 0 27 4 0 0 21 0 1 0 1022758822 28053504 5968 4294967295 134512640 135223648 3216789248 3216787200 134564688 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10957/statm: 6849 5969 73 174 0 6674 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 29808
[startup+0.714095 s]
/proc/loadavg: 0.99 1.00 0.99 2/91 10953
/proc/meminfo: memFree=969900/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2412 CPUtime=0.01
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 367 648 0 0 1 0 0 0 18 0 1 0 1022758821 2469888 277 4294967295 134512640 135169312 3216100976 3216099512 3085749998 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10953/statm: 603 277 235 161 0 42 0
[pid=10957] ppid=10953 vsize=30056 CPUtime=0.7
/proc/10957/stat : 10957 (SatELite_releas) R 10953 10953 9090 0 -1 4202496 7662 0 0 0 66 4 0 0 22 0 1 0 1022758822 30777344 6604 4294967295 134512640 135223648 3216789248 3216787024 134585415 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10957/statm: 7514 6604 73 174 0 7339 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 32468
[startup+1.51406 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10959
/proc/meminfo: memFree=957872/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=9264 CPUtime=0.54
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 2160 0 0 0 54 0 0 0 22 0 1 0 1022758919 9486336 2094 4294967295 134512640 135215339 3220812608 3220810704 134527372 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 2316 2094 73 172 0 2143 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 11680
[startup+3.11398 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10959
/proc/meminfo: memFree=956384/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=10896 CPUtime=2.14
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 2561 0 0 0 214 0 0 0 25 0 1 0 1022758919 11157504 2495 4294967295 134512640 135215339 3220812608 3220810896 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 2724 2495 73 172 0 2551 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 13312
[startup+6.31383 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10960
/proc/meminfo: memFree=955176/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=12116 CPUtime=5.34
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 2865 0 0 0 533 1 0 0 25 0 1 0 1022758919 12406784 2799 4294967295 134512640 135215339 3220812608 3220810672 134538104 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 3029 2799 73 172 0 2856 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 14532
[startup+12.7135 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10960
/proc/meminfo: memFree=952156/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=14824 CPUtime=11.74
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 3519 0 0 0 1172 2 0 0 25 0 1 0 1022758919 15179776 3453 4294967295 134512640 135215339 3220812608 3220810896 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 3706 3453 73 172 0 3533 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 17240
[startup+25.5129 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10962
/proc/meminfo: memFree=946888/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=20020 CPUtime=24.54
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 4805 0 0 0 2452 2 0 0 25 0 1 0 1022758919 20500480 4739 4294967295 134512640 135215339 3220812608 3220810608 134532646 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 5005 4739 73 172 0 4832 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 22436
[startup+51.1217 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10965
/proc/meminfo: memFree=936024/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=30984 CPUtime=50.15
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 7515 0 0 0 5011 4 0 0 25 0 1 0 1022758919 31727616 7449 4294967295 134512640 135215339 3220812608 3220810608 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 7746 7449 73 172 0 7573 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 33400
[startup+102.319 s]
/proc/loadavg: 1.07 1.03 1.00 3/93 11151
/proc/meminfo: memFree=913968/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=52500 CPUtime=101.35
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 12951 0 0 0 10129 6 0 0 25 0 1 0 1022758919 53760000 12885 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 13125 12885 73 172 0 12952 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 54916
[startup+162.326 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 11338
/proc/meminfo: memFree=891408/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=75476 CPUtime=161.36
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 18632 0 0 0 16128 8 0 0 25 0 1 0 1022758919 77287424 18566 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 18869 18566 73 172 0 18696 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 77892
[startup+222.324 s]
/proc/loadavg: 1.42 1.11 1.03 3/93 11530
/proc/meminfo: memFree=878512/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=88016 CPUtime=221.36
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 21784 0 0 0 22127 9 0 0 25 0 1 0 1022758919 90128384 21718 4294967295 134512640 135215339 3220812608 3220810896 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 22004 21718 73 172 0 21831 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 90432
[startup+282.311 s]
/proc/loadavg: 1.15 1.09 1.02 3/93 11719
/proc/meminfo: memFree=866236/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=100164 CPUtime=281.35
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 24826 0 0 0 28125 10 0 0 25 0 1 0 1022758919 102567936 24760 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 25041 24760 73 172 0 24868 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 102580
[startup+342.308 s]
/proc/loadavg: 1.05 1.07 1.02 3/93 11908
/proc/meminfo: memFree=858176/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=108216 CPUtime=341.35
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 26838 0 0 0 34123 12 0 0 25 0 1 0 1022758919 110813184 26772 4294967295 134512640 135215339 3220812608 3220810896 134528776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 27054 26772 73 172 0 26881 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=127356 CPUtime=521.37
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 31623 0 0 0 52119 18 0 0 25 0 1 0 1022758919 130412544 31557 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 31839 31557 73 172 0 31666 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 129772
[startup+582.316 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 12664
/proc/meminfo: memFree=838832/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=127356 CPUtime=581.37
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 31623 0 0 0 58119 18 0 0 25 0 1 0 1022758919 130412544 31557 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 31839 31557 73 172 0 31666 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 129772
[startup+642.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 12851
/proc/meminfo: memFree=839080/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=127356 CPUtime=641.37
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 31623 0 0 0 64119 18 0 0 25 0 1 0 1022758919 130412544 31557 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 31839 31557 73 172 0 31666 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 129772
[startup+702.311 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 13039
/proc/meminfo: memFree=832996/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=133032 CPUtime=701.37
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 33059 0 0 0 70115 22 0 0 25 0 1 0 1022758919 136224768 32993 4294967295 134512640 135215339 3220812608 3220810896 134528697 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 33258 32993 73 172 0 33085 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 135448
[startup+762.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 13226
/proc/meminfo: memFree=833128/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=133032 CPUtime=761.38
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 33059 0 0 0 76115 23 0 0 25 0 1 0 1022758919 136224768 32993 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 33258 32993 73 172 0 33085 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 135448
[startup+822.315 s]
/proc/loadavg: 1.04 1.02 1.00 5/93 13414
/proc/meminfo: memFree=822960/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=143596 CPUtime=821.38
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 35678 0 0 0 82113 25 0 0 25 0 1 0 1022758919 147042304 35612 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 35899 35612 73 172 0 35726 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 146012
[startup+882.322 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 13603
/proc/meminfo: memFree=818000/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=147820 CPUtime=881.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 36759 0 0 0 88111 28 0 0 25 0 1 0 1022758919 151367680 36693 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 36955 36693 73 172 0 36782 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 150236
[startup+942.319 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 13794
/proc/meminfo: memFree=818340/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=147820 CPUtime=941.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 36759 0 0 0 94111 28 0 0 25 0 1 0 1022758919 151367680 36693 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 36955 36693 73 172 0 36782 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 150236
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 13982
/proc/meminfo: memFree=816008/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1001.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37317 0 0 0 100111 28 0 0 25 0 1 0 1022758919 153665536 37251 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37251 73 172 0 37343 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 152480
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14169
/proc/meminfo: memFree=816016/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1061.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37318 0 0 0 106111 28 0 0 25 0 1 0 1022758919 153665536 37252 4294967295 134512640 135215339 3220812608 3220810608 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37252 73 172 0 37343 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 152480
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14357
/proc/meminfo: memFree=816016/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1121.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37318 0 0 0 112111 28 0 0 25 0 1 0 1022758919 153665536 37252 4294967295 134512640 135215339 3220812608 3220810896 134529186 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37252 73 172 0 37343 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 152480
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14547
/proc/meminfo: memFree=816016/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1181.39
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37318 0 0 0 118107 32 0 0 25 0 1 0 1022758919 153665536 37252 4294967295 134512640 135215339 3220812608 3220810896 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37252 73 172 0 37343 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 152480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14730
/proc/meminfo: memFree=815472/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1199.1
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37318 0 0 0 119878 32 0 0 25 0 1 0 1022758919 153665536 37252 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37252 73 172 0 37343 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 152480
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14730
/proc/meminfo: memFree=815472/2074464 swapFree=1953004/1959888
[pid=10953] ppid=10951 vsize=2416 CPUtime=0.97
/proc/10953/stat : 10953 (SatELiteGTI) S 10951 10953 9090 0 -1 4194304 387 8691 0 0 1 0 89 7 18 0 1 0 1022758821 2473984 278 4294967295 134512640 135169312 3216100976 3216097192 3085749998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10953/statm: 604 278 235 161 0 43 0
[pid=10959] ppid=10953 vsize=150064 CPUtime=1199.1
/proc/10959/stat : 10959 (minisat_static) R 10953 10953 9090 0 -1 4202496 37318 0 0 0 119878 32 0 0 25 0 1 0 1022758919 153665536 37252 4294967295 134512640 135215339 3220812608 3220810896 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10959/statm: 37516 37252 73 172 0 37343 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 152480
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.08
CPU user time (s): 1199.68
CPU system time (s): 0.4
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 152480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46671
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= 21
involuntary context switches= 663
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi19 at 2009-05-17 19:49:45
IDJOB=1821952
IDBENCH=71748
IDSOLVER=657
FILE ID=tipi19/1821952-1242582585
PBS_JOBID=
Free space on /tmp= 8800 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= runsolver --timestamp -w /tmp/evaluation-result-1821952-1242582585/watcher-1821952-1242582585 -o /tmp/evaluation-result-1821952-1242582585/solver-1821952-1242582585 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821952-1242582585.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED= 1662313369
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 969900 kB
Buffers: 49472 kB
Cached: 937532 kB
SwapCached: 2904 kB
Active: 198204 kB
Inactive: 798216 kB
HighTotal: 1178688 kB
HighFree: 347144 kB
LowTotal: 895776 kB
LowFree: 622756 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 5964 kB
Writeback: 0 kB
AnonPages: 8940 kB
Mapped: 3240 kB
Slab: 99244 kB
PageTables: 604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87776 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8800 MiB
End job on tipi19 at 2009-05-17 20:09:45