0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 8400 25200 | 2519 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 8344 25317 | -- 0 -- -- | -- | -56/117
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1954 #clauses: 8344 #literals: 25317
0.00/0.03 c CPU time: 0.021996 s
0.00/0.03 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 1954 |
0.00/0.04 c | Number of clauses: 8344 |
0.00/0.04 c | Parsing time: 0.00 s |
0.00/0.04 c ============================[ Search Statistics ]==============================
0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.04 c ===============================================================================
0.00/0.04 c | 0 | 1954 8344 25317 | 2781 0 nan | 0.000 % |
0.00/0.05 c | 100 | 1954 8344 25317 | 2781 100 61 | 0.000 % |
0.00/0.06 c | 201 | 1954 8344 25317 | 2781 201 53 | 0.000 % |
0.03/0.07 c | 301 | 1954 8344 25317 | 2781 301 56 | 0.000 % |
0.03/0.07 c | 411 | 1954 8344 25317 | 2781 411 57 | 0.000 % |
0.03/0.08 c | 511 | 1954 8344 25317 | 2781 511 57 | 0.000 % |
0.03/0.09 c | 625 | 1954 8344 25317 | 2781 625 57 | 0.000 % |
0.03/0.10 c | 746 | 1954 8344 25317 | 2781 746 57 | 0.000 % |
0.03/0.11 c | 846 | 1954 8344 25317 | 2781 846 57 | 0.000 % |
0.03/0.12 c | 958 | 1954 8344 25317 | 2781 958 58 | 0.000 % |
0.03/0.13 c | 1079 | 1954 8344 25317 | 2781 1079 58 | 0.000 % |
0.03/0.14 c | 1213 | 1954 8344 25317 | 2781 1213 58 | 0.000 % |
0.03/0.15 c | 1313 | 1954 8344 25317 | 2781 1313 58 | 0.000 % |
0.03/0.16 c | 1423 | 1954 8344 25317 | 2781 1423 58 | 0.000 % |
0.03/0.17 c | 1544 | 1954 8344 25317 | 2781 1544 58 | 0.000 % |
0.03/0.18 c | 1678 | 1954 8344 25317 | 2781 1678 58 | 0.000 % |
0.03/0.19 c | 1825 | 1954 8344 25317 | 2781 1825 59 | 0.000 % |
0.03/0.20 c | 1925 | 1954 8344 25317 | 2781 1925 59 | 0.000 % |
0.03/0.21 c | 2035 | 1954 8344 25317 | 2781 2035 59 | 0.000 % |
0.03/0.22 c | 2157 | 1954 8344 25317 | 2781 2157 59 | 0.000 % |
0.03/0.23 c | 2290 | 1954 8344 25317 | 2781 2290 59 | 0.000 % |
0.03/0.24 c | 2438 | 1954 8344 25317 | 2781 2438 59 | 0.000 % |
0.03/0.26 c | 2600 | 1954 8344 25317 | 2781 2600 59 | 0.000 % |
0.03/0.26 c | 2701 | 1954 8344 25317 | 2781 2701 59 | 0.000 % |
0.03/0.27 c | 2812 | 1954 8344 25317 | 2781 2812 59 | 0.000 % |
0.03/0.28 c | 2933 | 1954 8344 25317 | 2781 2652 58 | 0.000 % |
0.03/0.30 c | 3069 | 1954 8344 25317 | 2781 2788 58 | 0.000 % |
0.03/0.31 c | 3215 | 1954 8344 25317 | 2781 2656 58 | 0.000 % |
0.03/0.32 c | 3375 | 1954 8344 25317 | 2781 2816 58 | 0.000 % |
0.03/0.34 c | 3553 | 1954 8344 25317 | 2781 2713 57 | 0.000 % |
0.03/0.35 c | 3655 | 1954 8344 25317 | 2781 2815 57 | 0.000 % |
0.03/0.36 c | 3765 | 1954 8344 25317 | 2781 2644 57 | 0.000 % |
0.03/0.37 c | 3886 | 1954 8344 25317 | 2781 2765 57 | 0.000 % |
0.03/0.38 c | 4019 | 1954 8344 25317 | 2781 2898 58 | 0.000 % |
0.03/0.39 c | 4167 | 1954 8344 25317 | 2781 2757 58 | 0.000 % |
0.03/0.41 c | 4327 | 1954 8344 25317 | 2781 2917 58 | 0.000 % |
0.03/0.42 c | 4504 | 1954 8344 25317 | 2781 2803 57 | 0.000 % |
0.03/0.44 c | 4698 | 1954 8344 25317 | 2781 2717 58 | 0.000 % |
0.03/0.45 c | 4799 | 1954 8344 25317 | 2781 2818 58 | 0.000 % |
0.03/0.46 c | 4909 | 1954 8344 25317 | 2781 2647 57 | 0.000 % |
0.03/0.47 c | 5031 | 1954 8344 25317 | 2781 2769 57 | 0.000 % |
0.03/0.48 c | 5165 | 1954 8344 25317 | 2781 2903 57 | 0.000 % |
0.03/0.49 c | 5311 | 1954 8344 25317 | 2781 2759 56 | 0.000 % |
0.03/0.51 c | 5472 | 1954 8344 25317 | 2781 2920 56 | 0.000 % |
0.03/0.52 c | 5649 | 1954 8344 25317 | 2781 2805 57 | 0.000 % |
0.03/0.54 c | 5842 | 1954 8344 25317 | 2781 2718 57 | 0.000 % |
0.03/0.56 c | 6056 | 1954 8344 25317 | 2781 2932 57 | 0.000 % |
0.03/0.57 c | 6158 | 1954 8344 25317 | 2781 2741 57 | 0.000 % |
0.03/0.58 c | 6269 | 1954 8344 25317 | 2781 2852 57 | 0.000 % |
0.03/0.59 c | 6393 | 1954 8344 25317 | 2781 2691 57 | 0.000 % |
0.03/0.60 c | 6528 | 1954 8344 25317 | 2781 2826 58 | 0.000 % |
0.03/0.61 c | 6674 | 1954 8344 25317 | 2781 2690 57 | 0.000 % |
0.03/0.63 c | 6834 | 1954 8344 25317 | 2781 2850 57 | 0.000 % |
0.03/0.64 c | 7010 | 1954 8344 25317 | 2781 2741 57 | 0.000 % |
0.03/0.66 c | 7204 | 1954 8344 25317 | 2781 2935 57 | 0.000 % |
0.03/0.68 c | 7420 | 1954 8344 25317 | 2781 2858 57 | 0.000 % |
0.03/0.70 c | 7654 | 1954 8344 25317 | 2781 2807 58 | 0.000 % |
0.03/0.71 c | 7754 | 1954 8344 25317 | 2781 2627 58 | 0.000 % |
0.03/0.72 c | 7864 | 1954 8344 25317 | 2781 2737 59 | 0.000 % |
0.03/0.73 c | 7986 | 1954 8344 25317 | 2781 2859 59 | 0.000 % |
0.03/0.74 c | 8119 | 1954 8344 25317 | 2781 2707 59 | 0.000 % |
0.03/0.76 c | 8265 | 1954 8344 25317 | 2781 2853 59 | 0.000 % |
0.03/0.77 c | 8425 | 1954 8344 25317 | 2781 2728 58 | 0.000 % |
0.03/0.79 c | 8601 | 1954 8344 25317 | 2781 2904 58 | 0.000 % |
0.03/0.81 c | 8797 | 1954 8344 25317 | 2781 2810 59 | 0.000 % |
0.03/0.83 c | 9012 | 1954 8344 25317 | 2781 2744 60 | 0.000 % |
0.03/0.85 c | 9247 | 1954 8344 25317 | 2781 2979 60 | 0.000 % |
0.03/0.87 c | 9503 | 1954 8344 25317 | 2781 2938 60 | 0.000 % |
0.03/0.88 c | 9603 | 1954 8344 25317 | 2781 2745 59 | 0.000 % |
0.03/0.89 c | 9715 | 1954 8344 25317 | 2781 2857 59 | 0.000 % |
0.03/0.90 c | 9838 | 1954 8344 25317 | 2781 2695 59 | 0.000 % |
0.03/0.91 c | 9971 | 1954 8344 25317 | 2781 2828 59 | 0.000 % |
0.03/0.92 c | 10118 | 1954 8344 25317 | 2147483647 2693 58 | 0.000 % |
0.03/0.94 c | 10278 | 1954 8344 25317 | 2147483647 2853 58 | 0.000 % |
0.03/0.95 c | 10455 | 1954 8344 25317 | 2147483647 3030 59 | 0.000 % |
0.03/0.97 c | 10648 | 1954 8344 25317 | 2147483647 3223 59 | 0.000 % |
0.03/0.99 c | 10860 | 1954 8344 25317 | 2147483647 3435 60 | 0.000 % |
0.98/1.01 c | 11094 | 1954 8344 25317 | 2147483647 3669 60 | 0.000 % |
0.98/1.03 c | 11352 | 1954 8344 25317 | 2147483647 3927 60 | 0.000 % |
0.98/1.06 c | 11634 | 1954 8344 25317 | 2147483647 4209 60 | 0.000 % |
0.98/1.07 c | 11735 | 1954 8344 25317 | 2147483647 4310 60 | 0.000 % |
0.98/1.08 c | 11846 | 1954 8344 25317 | 2147483647 4421 60 | 0.000 % |
0.98/1.09 c | 11968 | 1954 8344 25317 | 2147483647 4543 60 | 0.000 % |
1.08/1.11 c | 12103 | 1954 8344 25317 | 2147483647 4678 60 | 0.000 % |
1.08/1.12 c | 12250 | 1954 8344 25317 | 2147483647 4825 60 | 0.000 % |
1.08/1.14 c | 12411 | 1954 8344 25317 | 2147483647 4986 61 | 0.000 % |
1.08/1.15 c | 12587 | 1954 8344 25317 | 2147483647 5162 60 | 0.000 % |
1.08/1.17 c | 12781 | 1954 8344 25317 | 2147483647 5356 61 | 0.000 % |
1.08/1.19 c | 12996 | 1954 8344 25317 | 2147483647 5571 61 | 0.000 % |
1.17/1.21 c | 13230 | 1954 8344 25317 | 2147483647 5805 61 | 0.000 % |
1.17/1.24 c | 13488 | 1954 8344 25317 | 2147483647 6063 60 | 0.000 % |
1.17/1.27 c | 13769 | 1954 8344 25317 | 2147483647 6344 60 | 0.000 % |
1.27/1.30 c | 14078 | 1954 8344 25317 | 2147483647 6653 61 | 0.000 % |
1.27/1.31 c | 14181 | 1954 8344 25317 | 2147483647 6756 61 | 0.000 % |
1.27/1.32 c | 14293 | 1954 8344 25317 | 2147483647 6868 61 | 0.000 % |
1.27/1.33 c | 14414 | 1954 8344 25317 | 2147483647 6989 61 | 0.000 % |
1.27/1.35 c | 14548 | 1954 8344 25317 | 2147483647 7123 61 | 0.000 % |
1.27/1.36 c | 14694 | 1954 8344 25317 | 2147483647 7269 61 | 0.000 % |
1.27/1.38 c | 14854 | 1954 8344 25317 | 2147483647 7429 61 | 0.000 % |
1.37/1.40 c | 15030 | 1954 8344 25317 | 2147483647 7605 61 | 0.000 % |
1.37/1.42 c | 15223 | 1954 8344 25317 | 2147483647 7798 61 | 0.000 % |
1.37/1.44 c | 15435 | 1954 8344 25317 | 2147483647 8010 61 | 0.000 % |
1.37/1.47 c | 15668 | 1954 8344 25317 | 2147483647 8243 61 | 0.000 % |
1.47/1.50 c | 15925 | 1954 8344 25317 | 2147483647 8500 61 | 0.000 % |
1.47/1.53 c | 16206 | 1954 8344 25317 | 2147483647 8781 61 | 0.000 % |
1.47/1.57 c | 16515 | 1954 8344 25317 | 2147483647 9090 61 | 0.000 % |
1.57/1.61 c | 16856 | 1954 8344 25317 | 2147483647 9431 61 | 0.000 % |
1.57/1.62 c | 16957 | 1954 8344 25317 | 2147483647 9532 61 | 0.000 % |
1.57/1.63 c | 17068 | 1954 8344 25317 | 2147483647 9643 61 | 0.000 % |
1.57/1.65 c | 17189 | 1954 8344 25317 | 2147483647 9764 61 | 0.000 % |
1.57/1.67 c | 17324 | 1954 8344 25317 | 2147483647 9899 61 | 0.000 % |
1.57/1.68 c | 17470 | 1954 8344 25317 | 2147483647 10045 61 | 0.000 % |
1.67/1.70 c | 17631 | 1954 8344 25317 | 2147483647 10206 61 | 0.000 % |
1.67/1.72 c | 17809 | 1954 8344 25317 | 2147483647 10384 61 | 0.000 % |
1.67/1.75 c | 18002 | 1954 8344 25317 | 2147483647 10577 61 | 0.000 % |
1.67/1.78 c | 18214 | 1954 8344 25317 | 2147483647 10789 61 | 0.000 % |
1.77/1.81 c | 18447 | 1954 8344 25317 | 2147483647 11022 61 | 0.000 % |
1.77/1.84 c | 18704 | 1954 8344 25317 | 2147483647 11279 61 | 0.000 % |
1.77/1.88 c | 18989 | 1954 8344 25317 | 2147483647 11564 61 | 0.000 % |
1.87/1.92 c | 19299 | 1954 8344 25317 | 2147483647 11874 61 | 0.000 % |
1.87/1.97 c | 19639 | 1954 8344 25317 | 2147483647 12214 62 | 0.000 % |
1.97/2.02 c | 20011 | 1954 8344 25317 | 2147483647 12586 62 | 0.000 % |
1.97/2.04 c | 20113 | 1954 8344 25317 | 2147483647 12688 62 | 0.000 % |
1.97/2.05 c | 20223 | 1954 8344 25317 | 2147483647 12798 62 | 0.000 % |
1.97/2.07 c | 20344 | 1954 8344 25317 | 2147483647 12919 62 | 0.000 % |
1.97/2.09 c | 20479 | 1954 8344 25317 | 2147483647 13054 62 | 0.000 % |
2.07/2.11 c | 20625 | 1954 8344 25317 | 2147483647 13200 62 | 0.000 % |
2.07/2.13 c | 20787 | 1954 8344 25317 | 2147483647 13362 62 | 0.000 % |
2.07/2.16 c | 20963 | 1954 8344 25317 | 2147483647 13538 62 | 0.000 % |
2.07/2.18 c | 21156 | 1954 8344 25317 | 2147483647 13731 62 | 0.000 % |
2.17/2.22 c | 21369 | 1954 8344 25317 | 2147483647 13944 62 | 0.000 % |
2.17/2.25 c | 21604 | 1954 8344 25317 | 2147483647 14179 62 | 0.000 % |
2.17/2.29 c | 21860 | 1954 8344 25317 | 2147483647 14435 62 | 0.000 % |
2.27/2.33 c | 22143 | 1954 8344 25317 | 2147483647 14718 62 | 0.000 % |
2.27/2.37 c | 22452 | 1954 8344 25317 | 2147483647 15027 62 | 0.000 % |
2.37/2.42 c | 22791 | 1954 8344 25317 | 2147483647 15366 62 | 0.000 % |
2.37/2.48 c | 23164 | 1954 8344 25317 | 2147483647 15739 62 | 0.000 % |
2.46/2.54 c | 23573 | 1954 8344 25317 | 2147483647 16148 62 | 0.000 % |
2.46/2.56 c | 23674 | 1954 8344 25317 | 2147483647 16249 62 | 0.000 % |
2.46/2.58 c | 23784 | 1954 8344 25317 | 2147483647 16359 62 | 0.000 % |
2.57/2.60 c | 23905 | 1954 8344 25317 | 2147483647 16480 62 | 0.000 % |
2.57/2.62 c | 24039 | 1954 8344 25317 | 2147483647 16614 62 | 0.000 % |
2.57/2.65 c | 24185 | 1954 8344 25317 | 2147483647 16760 62 | 0.000 % |
2.57/2.68 c | 24345 | 1954 8344 25317 | 2147483647 16920 62 | 0.000 % |
2.67/2.71 c | 24521 | 1954 8344 25317 | 2147483647 17096 62 | 0.000 % |
2.67/2.74 c | 24717 | 1954 8344 25317 | 2147483647 17292 62 | 0.000 % |
2.67/2.78 c | 24929 | 1954 8344 25317 | 2147483647 17504 62 | 0.000 % |
2.77/2.82 c | 25162 | 1954 8344 25317 | 2147483647 17737 62 | 0.000 % |
2.77/2.86 c | 25418 | 1954 8344 25317 | 2147483647 17993 62 | 0.000 % |
2.87/2.91 c | 25702 | 1954 8344 25317 | 2147483647 18277 62 | 0.000 % |
2.87/2.96 c | 26012 | 1954 8344 25317 | 2147483647 18587 62 | 0.000 % |
2.97/3.02 c | 26351 | 1954 8344 25317 | 2147483647 18926 62 | 0.000 % |
2.97/3.08 c | 26723 | 1954 8344 25317 | 2147483647 19298 62 | 0.000 % |
3.07/3.16 c | 27133 | 1954 8344 25317 | 2147483647 19708 62 | 0.000 % |
3.18/3.24 c | 27584 | 1954 8344 25317 | 2147483647 20159 62 | 0.000 % |
3.18/3.26 c | 27686 | 1954 8344 25317 | 2147483647 20261 62 | 0.000 % |
3.18/3.28 c | 27798 | 1954 8344 25317 | 2147483647 20373 62 | 0.000 % |
3.28/3.31 c | 27921 | 1954 8344 25317 | 2147483647 20496 62 | 0.000 % |
3.28/3.33 c | 28054 | 1954 8344 25317 | 2147483647 20629 62 | 0.000 % |
3.28/3.36 c | 28200 | 1954 8344 25317 | 2147483647 20775 62 | 0.000 % |
3.28/3.39 c | 28360 | 1954 8344 25317 | 2147483647 20935 62 | 0.000 % |
3.37/3.43 c | 28537 | 1954 8344 25317 | 2147483647 21112 62 | 0.000 % |
3.37/3.47 c | 28731 | 1954 8344 25317 | 2147483647 21306 62 | 0.000 % |
3.47/3.51 c | 28943 | 1954 8344 25317 | 2147483647 21518 62 | 0.000 % |
3.47/3.56 c | 29177 | 1954 8344 25317 | 2147483647 21752 62 | 0.000 % |
3.57/3.61 c | 29435 | 1954 8344 25317 | 2147483647 22010 62 | 0.000 % |
3.57/3.66 c | 29716 | 1954 8344 25317 | 2147483647 22291 62 | 0.000 % |
3.67/3.73 c | 30025 | 1954 8344 25317 | 2147483647 22600 62 | 0.000 % |
3.77/3.80 c | 30364 | 1954 8344 25317 | 2147483647 22939 62 | 0.000 % |
3.77/3.88 c | 30736 | 1954 8344 25317 | 2147483647 23311 62 | 0.000 % |
3.87/3.97 c | 31145 | 1954 8344 25317 | 2147483647 23720 62 | 0.000 % |
3.97/4.06 c | 31596 | 1954 8344 25317 | 2147483647 24171 62 | 0.000 % |
4.07/4.17 c | 32089 | 1954 8344 25317 | 2147483647 24664 62 | 0.000 % |
4.07/4.19 c | 32189 | 1954 8344 25317 | 2147483647 24764 62 | 0.000 % |
4.17/4.22 c | 32300 | 1954 8344 25317 | 2147483647 24875 62 | 0.000 % |
4.17/4.25 c | 32421 | 1954 8344 25317 | 2147483647 24996 63 | 0.000 % |
4.17/4.28 c | 32556 | 1954 8344 25317 | 2147483647 25131 63 | 0.000 % |
4.27/4.31 c | 32704 | 1954 8344 25317 | 2147483647 25279 63 | 0.000 % |
4.27/4.35 c | 32864 | 1954 8344 25317 | 2147483647 25439 63 | 0.000 % |
4.27/4.39 c | 33040 | 1954 8344 25317 | 2147483647 25615 63 | 0.000 % |
4.37/4.44 c | 33234 | 1954 8344 25317 | 2147483647 25809 63 | 0.000 % |
4.37/4.48 c | 33446 | 1954 8344 25317 | 2147483647 26021 63 | 0.000 % |
4.47/4.54 c | 33680 | 1954 8344 25317 | 2147483647 26255 63 | 0.000 % |
4.47/4.59 c | 33939 | 1954 8344 25317 | 2147483647 26514 63 | 0.000 % |
4.57/4.66 c | 34223 | 1954 8344 25317 | 2147483647 26798 63 | 0.000 % |
4.67/4.73 c | 34537 | 1954 8344 25317 | 2147483647 27112 63 | 0.000 % |
4.76/4.80 c | 34878 | 1954 8344 25317 | 2147483647 27453 63 | 0.000 % |
4.76/4.89 c | 35250 | 1954 8344 25317 | 2147483647 27825 63 | 0.000 % |
4.96/5.00 c | 35660 | 1954 8344 25317 | 2147483647 28235 63 | 0.000 % |
5.06/5.11 c | 36109 | 1954 8344 25317 | 2147483647 28684 63 | 0.000 % |
5.16/5.23 c | 36602 | 1954 8344 25317 | 2147483647 29177 63 | 0.000 % |
5.26/5.35 c | 37144 | 1954 8344 25317 | 2147483647 29719 63 | 0.000 % |
5.26/5.38 c | 37247 | 1954 8344 25317 | 2147483647 29822 63 | 0.000 % |
5.37/5.41 c | 37359 | 1954 8344 25317 | 2147483647 29934 63 | 0.000 % |
5.37/5.44 c | 37480 | 1954 8344 25317 | 2147483647 30055 63 | 0.000 % |
5.37/5.48 c | 37613 | 1954 8344 25317 | 2147483647 30188 63 | 0.000 % |
5.47/5.52 c | 37761 | 1954 8344 25317 | 2147483647 30336 63 | 0.000 % |
5.47/5.56 c | 37921 | 1954 8344 25317 | 2147483647 30496 63 | 0.000 % |
5.56/5.61 c | 38099 | 1954 8344 25317 | 2147483647 30674 63 | 0.000 % |
5.56/5.66 c | 38293 | 1954 8344 25317 | 2147483647 30868 63 | 0.000 % |
5.66/5.72 c | 38505 | 1954 8344 25317 | 2147483647 31080 63 | 0.000 % |
5.66/5.79 c | 38738 | 1954 8344 25317 | 2147483647 31313 63 | 0.000 % |
5.76/5.86 c | 38995 | 1954 8344 25317 | 2147483647 31570 63 | 0.000 % |
5.86/5.94 c | 39277 | 1954 8344 25317 | 2147483647 31852 63 | 0.000 % |
5.96/6.02 c | 39586 | 1954 8344 25317 | 2147483647 32161 63 | 0.000 % |
6.06/6.11 c | 39925 | 1954 8344 25317 | 2147483647 32500 63 | 0.000 % |
6.16/6.21 c | 40298 | 1954 8344 25317 | 2147483647 32873 63 | 0.000 % |
6.26/6.33 c | 40709 | 1954 8344 25317 | 2147483647 33284 63 | 0.000 % |
6.36/6.46 c | 41158 | 1954 8344 25317 | 2147483647 33733 63 | 0.000 % |
6.46/6.59 c | 41651 | 1954 8344 25317 | 2147483647 34226 63 | 0.000 % |
6.66/6.74 c | 42194 | 1954 8344 25317 | 2147483647 34769 63 | 0.000 % |
6.86/6.92 c | 42791 | 1954 8344 25317 | 2147483647 35366 63 | 0.000 % |
6.86/6.95 c | 42893 | 1954 8344 25317 | 2147483647 35468 63 | 0.000 % |
6.86/6.98 c | 43004 | 1954 8344 25317 | 2147483647 35579 63 | 0.000 % |
6.96/7.03 c | 43125 | 1954 8344 25317 | 2147483647 35700 63 | 0.000 % |
6.96/7.06 c | 43258 | 1954 8344 25317 | 2147483647 35833 63 | 0.000 % |
7.05/7.11 c | 43405 | 1954 8344 25317 | 2147483647 35980 63 | 0.000 % |
7.05/7.16 c | 43565 | 1954 8344 25317 | 2147483647 36140 63 | 0.000 % |
7.16/7.22 c | 43742 | 1954 8344 25317 | 2147483647 36317 63 | 0.000 % |
7.16/7.28 c | 43936 | 1954 8344 25317 | 2147483647 36511 63 | 0.000 % |
7.26/7.34 c | 44149 | 1954 8344 25317 | 2147483647 36724 63 | 0.000 % |
7.36/7.42 c | 44382 | 1954 8344 25317 | 2147483647 36957 63 | 0.000 % |
7.46/7.50 c | 44638 | 1954 8344 25317 | 2147483647 37213 63 | 0.000 % |
7.46/7.59 c | 44919 | 1954 8344 25317 | 2147483647 37494 63 | 0.000 % |
7.56/7.69 c | 45229 | 1954 8344 25317 | 2147483647 37804 63 | 0.000 % |
7.66/7.79 c | 45569 | 1954 8344 25317 | 2147483647 38144 63 | 0.000 % |
7.86/7.91 c | 45941 | 1954 8344 25317 | 2147483647 38516 63 | 0.000 % |
7.96/8.03 c | 46350 | 1954 8344 25317 | 2147483647 38925 63 | 0.000 % |
8.06/8.18 c | 46800 | 1954 8344 25317 | 2147483647 39375 63 | 0.000 % |
8.26/8.35 c | 47293 | 1954 8344 25317 | 2147483647 39868 63 | 0.000 % |
8.46/8.51 c | 47835 | 1954 8344 25317 | 2147483647 40410 63 | 0.000 % |
8.56/8.70 c | 48431 | 1954 8344 25317 | 2147483647 41006 63 | 0.000 % |
8.86/8.91 c | 49086 | 1954 8344 25317 | 2147483647 41661 63 | 0.000 % |
8.86/8.96 c | 49186 | 1954 8344 25317 | 2147483647 41761 63 | 0.000 % |
8.96/9.00 c | 49296 | 1954 8344 25317 | 2147483647 41871 63 | 0.000 % |
8.96/9.04 c | 49417 | 1954 8344 25317 | 2147483647 41992 63 | 0.000 % |
8.96/9.09 c | 49550 | 1954 8344 25317 | 2147483647 42125 63 | 0.000 % |
9.06/9.14 c | 49697 | 1954 8344 25317 | 2147483647 42272 63 | 0.000 % |
9.06/9.19 c | 49857 | 1954 8344 25317 | 2147483647 42432 63 | 0.000 % |
9.16/9.26 c | 50033 | 1954 8344 25317 | 2147483647 42608 63 | 0.000 % |
9.26/9.34 c | 50226 | 1954 8344 25317 | 2147483647 42801 63 | 0.000 % |
9.35/9.42 c | 50441 | 1954 8344 25317 | 2147483647 43016 63 | 0.000 % |
9.45/9.51 c | 50674 | 1954 8344 25317 | 2147483647 43249 63 | 0.000 % |
9.45/9.59 c | 50932 | 1954 8344 25317 | 2147483647 43507 63 | 0.000 % |
9.65/9.70 c | 51213 | 1954 8344 25317 | 2147483647 43788 63 | 0.000 % |
9.76/9.80 c | 51523 | 1954 8344 25317 | 2147483647 44098 63 | 0.000 % |
9.86/9.93 c | 51862 | 1954 8344 25317 | 2147483647 44437 63 | 0.000 % |
9.95/10.07 c | 52235 | 1954 8344 25317 | 2147483647 44810 63 | 0.000 % |
10.15/10.21 c | 52644 | 1954 8344 25317 | 2147483647 45219 63 | 0.000 % |
10.25/10.38 c | 53093 | 1954 8344 25317 | 2147483647 45668 63 | 0.000 % |
10.46/10.56 c | 53586 | 1954 8344 25317 | 2147483647 46161 63 | 0.000 % |
10.66/10.76 c | 54129 | 1954 8344 25317 | 2147483647 46704 63 | 0.000 % |
10.86/10.99 c | 54725 | 1954 8344 25317 | 2147483647 47300 63 | 0.000 % |
11.15/11.22 c | 55380 | 1954 8344 25317 | 2147483647 47955 63 | 0.000 % |
11.45/11.50 c | 56100 | 1954 8344 25317 | 2147483647 48675 64 | 0.000 % |
11.45/11.55 c | 56204 | 1954 8344 25317 | 2147483647 48779 64 | 0.000 % |
11.45/11.59 c | 56315 | 1954 8344 25317 | 2147483647 48890 64 | 0.000 % |
11.55/11.63 c | 56436 | 1954 8344 25317 | 2147483647 49011 64 | 0.000 % |
11.55/11.69 c | 56570 | 1954 8344 25317 | 2147483647 49145 64 | 0.000 % |
11.65/11.76 c | 56718 | 1954 8344 25317 | 2147483647 49293 64 | 0.000 % |
11.75/11.83 c | 56879 | 1954 8344 25317 | 2147483647 49454 64 | 0.000 % |
11.85/11.91 c | 57058 | 1954 8344 25317 | 2147483647 49633 64 | 0.000 % |
11.95/12.01 c | 57253 | 1954 8344 25317 | 2147483647 49828 64 | 0.000 % |
11.95/12.10 c | 57465 | 1954 8344 25317 | 2147483647 50040 64 | 0.000 % |
12.15/12.21 c | 57698 | 1954 8344 25317 | 2147483647 50273 64 | 0.000 % |
12.26/12.32 c | 57955 | 1954 8344 25317 | 2147483647 50530 64 | 0.000 % |
12.36/12.43 c | 58237 | 1954 8344 25317 | 2147483647 50812 64 | 0.000 % |
12.45/12.56 c | 58547 | 1954 8344 25317 | 2147483647 51122 64 | 0.000 % |
12.65/12.71 c | 58887 | 1954 8344 25317 | 2147483647 51462 64 | 0.000 % |
12.75/12.87 c | 59260 | 1954 8344 25317 | 2147483647 51835 64 | 0.000 % |
12.95/13.03 c | 59669 | 1954 8344 25317 | 2147483647 52244 64 | 0.000 % |
13.15/13.23 c | 60121 | 1954 8344 25317 | 2147483647 52696 64 | 0.000 % |
13.35/13.43 c | 60615 | 1954 8344 25317 | 2147483647 53190 64 | 0.000 % |
13.55/13.65 c | 61159 | 1954 8344 25317 | 2147483647 53734 64 | 0.000 % |
13.75/13.89 c | 61755 | 1954 8344 25317 | 2147483647 54330 64 | 0.000 % |
14.05/14.17 c | 62410 | 1954 8344 25317 | 2147483647 54985 64 | 0.000 % |
14.35/14.48 c | 63130 | 1954 8344 25317 | 2147483647 55705 64 | 0.000 % |
14.75/14.86 c | 63922 | 1954 8344 25317 | 2147483647 56497 64 | 0.000 % |
14.84/14.91 c | 64022 | 1954 8344 25317 | 2147483647 56597 64 | 0.000 % |
14.84/14.97 c | 64136 | 1954 8344 25317 | 2147483647 56711 64 | 0.000 % |
14.95/15.03 c | 64257 | 1954 8344 25317 | 2147483647 56832 64 | 0.000 % |
14.95/15.09 c | 64390 | 1954 8344 25317 | 2147483647 56965 64 | 0.000 % |
15.05/15.17 c | 64538 | 1954 8344 25317 | 2147483647 57113 64 | 0.000 % |
15.15/15.26 c | 64698 | 1954 8344 25317 | 2147483647 57273 64 | 0.000 % |
15.25/15.34 c | 64875 | 1954 8344 25317 | 2147483647 57450 64 | 0.000 % |
15.35/15.44 c | 65068 | 1954 8344 25317 | 2147483647 57643 64 | 0.000 % |
15.45/15.55 c | 65283 | 1954 8344 25317 | 2147483647 57858 64 | 0.000 % |
15.55/15.68 c | 65517 | 1954 8344 25317 | 2147483647 58092 64 | 0.000 % |
15.75/15.82 c | 65776 | 1954 8344 25317 | 2147483647 58351 64 | 0.000 % |
15.85/15.95 c | 66059 | 1954 8344 25317 | 2147483647 58634 64 | 0.000 % |
16.05/16.11 c | 66370 | 1954 8344 25317 | 2147483647 58945 64 | 0.000 % |
16.15/16.29 c | 66709 | 1954 8344 25317 | 2147483647 59284 64 | 0.000 % |
16.35/16.45 c | 67082 | 1954 8344 25317 | 2147483647 59657 64 | 0.000 % |
16.54/16.67 c | 67491 | 1954 8344 25317 | 2147483647 60066 64 | 0.000 % |
16.74/16.89 c | 67940 | 1954 8344 25317 | 2147483647 60515 64 | 0.000 % |
17.04/17.11 c | 68433 | 1954 8344 25317 | 2147483647 61008 64 | 0.000 % |
17.24/17.40 c | 68976 | 1954 8344 25317 | 2147483647 61551 64 | 0.000 % |
17.55/17.65 c | 69572 | 1954 8344 25317 | 2147483647 62147 64 | 0.000 % |
17.84/17.99 c | 70227 | 1954 8344 25317 | 2147483647 62802 64 | 0.000 % |
18.25/18.35 c | 70947 | 1954 8344 25317 | 2147483647 63522 64 | 0.000 % |
18.65/18.75 c | 71741 | 1954 8344 25317 | 2147483647 64316 64 | 0.000 % |
19.05/19.18 c | 72612 | 1954 8344 25317 | 2147483647 65187 64 | 0.000 % |
19.15/19.23 c | 72712 | 1954 8344 25317 | 2147483647 65287 64 | 0.000 % |
19.15/19.28 c | 72822 | 1954 8344 25317 | 2147483647 65397 64 | 0.000 % |
19.25/19.35 c | 72943 | 1954 8344 25317 | 2147483647 65518 64 | 0.000 % |
19.35/19.43 c | 73076 | 1954 8344 25317 | 2147483647 65651 64 | 0.000 % |
19.45/19.52 c | 73222 | 1954 8344 25317 | 2147483647 65797 64 | 0.000 % |
19.55/19.62 c | 73383 | 1954 8344 25317 | 2147483647 65958 64 | 0.000 % |
19.65/19.71 c | 73560 | 1954 8344 25317 | 2147483647 66135 64 | 0.000 % |
19.75/19.85 c | 73753 | 1954 8344 25317 | 2147483647 66328 64 | 0.000 % |
19.84/19.96 c | 73967 | 1954 8344 25317 | 2147483647 66542 64 | 0.000 % |
19.94/20.08 c | 74202 | 1954 8344 25317 | 2147483647 66777 64 | 0.000 % |
20.14/20.20 c | 74458 | 1954 8344 25317 | 2147483647 67033 64 | 0.000 % |
20.24/20.35 c | 74740 | 1954 8344 25317 | 2147483647 67315 64 | 0.000 % |
20.44/20.50 c | 75049 | 1954 8344 25317 | 2147483647 67624 64 | 0.000 % |
20.54/20.69 c | 75388 | 1954 8344 25317 | 2147483647 67963 64 | 0.000 % |
20.75/20.89 c | 75761 | 1954 8344 25317 | 2147483647 68336 64 | 0.000 % |
21.04/21.10 c | 76171 | 1954 8344 25317 | 2147483647 68746 64 | 0.000 % |
21.24/21.36 c | 76620 | 1954 8344 25317 | 2147483647 69195 64 | 0.000 % |
21.54/21.64 c | 77113 | 1954 8344 25317 | 2147483647 69688 64 | 0.000 % |
21.84/21.93 c | 77655 | 1954 8344 25317 | 2147483647 70230 64 | 0.000 % |
22.15/22.26 c | 78252 | 1954 8344 25317 | 2147483647 70827 64 | 0.000 % |
22.54/22.63 c | 78908 | 1954 8344 25317 | 2147483647 71483 64 | 0.000 % |
22.95/23.01 c | 79628 | 1954 8344 25317 | 2147483647 72203 64 | 0.000 % |
23.24/23.39 c | 80420 | 1954 8344 25317 | 2147483647 72995 65 | 0.000 % |
23.74/23.85 c | 81291 | 1954 8344 25317 | 2147483647 73866 65 | 0.000 % |
24.24/24.34 c | 82250 | 1954 8344 25317 | 2147483647 74825 65 | 0.000 % |
24.34/24.41 c | 82352 | 1954 8344 25317 | 2147483647 74927 65 | 0.000 % |
24.34/24.48 c | 82463 | 1954 8344 25317 | 2147483647 75038 65 | 0.000 % |
24.44/24.57 c | 82584 | 1954 8344 25317 | 2147483647 75159 65 | 0.000 % |
24.54/24.66 c | 82718 | 1954 8344 25317 | 2147483647 75293 65 | 0.000 % |
24.64/24.76 c | 82864 | 1954 8344 25317 | 2147483647 75439 65 | 0.000 % |
24.74/24.85 c | 83025 | 1954 8344 25317 | 2147483647 75600 65 | 0.000 % |
24.84/24.97 c | 83202 | 1954 8344 25317 | 2147483647 75777 65 | 0.000 % |
24.94/25.09 c | 83398 | 1954 8344 25317 | 2147483647 75973 65 | 0.000 % |
25.14/25.22 c | 83611 | 1954 8344 25317 | 2147483647 76186 65 | 0.000 % |
25.24/25.37 c | 83845 | 1954 8344 25317 | 2147483647 76420 65 | 0.000 % |
25.44/25.53 c | 84101 | 1954 8344 25317 | 2147483647 76676 65 | 0.000 % |
25.64/25.71 c | 84382 | 1954 8344 25317 | 2147483647 76957 65 | 0.000 % |
25.74/25.89 c | 84691 | 1954 8344 25317 | 2147483647 77266 65 | 0.000 % |
25.93/26.09 c | 85030 | 1954 8344 25317 | 2147483647 77605 65 | 0.000 % |
26.24/26.33 c | 85403 | 1954 8344 25317 | 2147483647 77978 65 | 0.000 % |
26.43/26.59 c | 85812 | 1954 8344 25317 | 2147483647 78387 65 | 0.000 % |
26.73/26.87 c | 86263 | 1954 8344 25317 | 2147483647 78838 65 | 0.000 % |
27.03/27.19 c | 86756 | 1954 8344 25317 | 2147483647 79331 65 | 0.000 % |
27.44/27.56 c | 87298 | 1954 8344 25317 | 2147483647 79873 65 | 0.000 % |
27.83/27.93 c | 87894 | 1954 8344 25317 | 2147483647 80469 65 | 0.000 % |
28.23/28.37 c | 88549 | 1954 8344 25317 | 2147483647 81124 65 | 0.000 % |
28.73/28.81 c | 89269 | 1954 8344 25317 | 2147483647 81844 65 | 0.000 % |
29.14/29.30 c | 90061 | 1954 8344 25317 | 2147483647 82636 65 | 0.000 % |
29.74/29.86 c | 90932 | 1954 8344 25317 | 2147483647 83507 65 | 0.000 % |
30.34/30.48 c | 91892 | 1954 8344 25317 | 2147483647 84467 65 | 0.000 % |
31.04/31.16 c | 92945 | 1954 8344 25317 | 2147483647 85520 65 | 0.000 % |
31.14/31.24 c | 93045 | 1954 8344 25317 | 2147483647 85620 65 | 0.000 % |
31.24/31.32 c | 93155 | 1954 8344 25317 | 2147483647 85730 65 | 0.000 % |
31.34/31.42 c | 93276 | 1954 8344 25317 | 2147483647 85851 65 | 0.000 % |
31.44/31.52 c | 93410 | 1954 8344 25317 | 2147483647 85985 65 | 0.000 % |
31.54/31.64 c | 93556 | 1954 8344 25317 | 2147483647 86131 65 | 0.000 % |
31.64/31.78 c | 93718 | 1954 8344 25317 | 2147483647 86293 65 | 0.000 % |
31.84/31.92 c | 93896 | 1954 8344 25317 | 2147483647 86471 65 | 0.000 % |
31.94/32.05 c | 94091 | 1954 8344 25317 | 2147483647 86666 65 | 0.000 % |
32.14/32.22 c | 94303 | 1954 8344 25317 | 2147483647 86878 65 | 0.000 % |
32.24/32.39 c | 94537 | 1954 8344 25317 | 2147483647 87112 65 | 0.000 % |
32.44/32.57 c | 94793 | 1954 8344 25317 | 2147483647 87368 65 | 0.000 % |
32.63/32.77 c | 95075 | 1954 8344 25317 | 2147483647 87650 65 | 0.000 % |
32.84/32.97 c | 95384 | 1954 8344 25317 | 2147483647 87959 65 | 0.000 % |
33.13/33.21 c | 95723 | 1954 8344 25317 | 2147483647 88298 65 | 0.000 % |
33.33/33.48 c | 96095 | 1954 8344 25317 | 2147483647 88670 65 | 0.000 % |
33.63/33.76 c | 96504 | 1954 8344 25317 | 2147483647 89079 65 | 0.000 % |
33.93/34.09 c | 96953 | 1954 8344 25317 | 2147483647 89528 65 | 0.000 % |
34.33/34.45 c | 97449 | 1954 8344 25317 | 2147483647 90024 65 | 0.000 % |
34.73/34.84 c | 97991 | 1954 8344 25317 | 2147483647 90566 65 | 0.000 % |
35.13/35.24 c | 98587 | 1954 8344 25317 | 2147483647 91162 65 | 0.000 % |
35.63/35.72 c | 99242 | 1954 8344 25317 | 2147483647 91817 65 | 0.000 % |
36.13/36.21 c | 99964 | 1954 8344 25317 | 2147483647 92539 65 | 0.000 % |
36.62/36.74 c | 100758 | 1954 8344 25317 | 2147483647 93333 65 | 0.000 % |
37.13/37.28 c | 101629 | 1954 8344 25317 | 2147483647 94204 65 | 0.000 % |
37.83/37.93 c | 102589 | 1954 8344 25317 | 2147483647 95164 65 | 0.000 % |
38.63/38.72 c | 103642 | 1954 8344 25317 | 2147483647 96217 65 | 0.000 % |
39.43/39.52 c | 104800 | 1954 8344 25317 | 2147483647 97375 65 | 0.000 % |
39.53/39.62 c | 104902 | 1954 8344 25317 | 2147483647 97477 65 | 0.000 % |
39.63/39.73 c | 105013 | 1954 8344 25317 | 2147483647 97588 65 | 0.000 % |
39.73/39.84 c | 105135 | 1954 8344 25317 | 2147483647 97710 65 | 0.000 % |
39.83/39.96 c | 105268 | 1954 8344 25317 | 2147483647 97843 65 | 0.000 % |
39.93/40.08 c | 105415 | 1954 8344 25317 | 2147483647 97990 65 | 0.000 % |
40.13/40.21 c | 105575 | 1954 8344 25317 | 2147483647 98150 65 | 0.000 % |
40.23/40.37 c | 105751 | 1954 8344 25317 | 2147483647 98326 65 | 0.000 % |
40.43/40.52 c | 105944 | 1954 8344 25317 | 2147483647 98519 65 | 0.000 % |
40.53/40.67 c | 106157 | 1954 8344 25317 | 2147483647 98732 65 | 0.000 % |
40.73/40.85 c | 106390 | 1954 8344 25317 | 2147483647 98965 65 | 0.000 % |
40.92/41.05 c | 106646 | 1954 8344 25317 | 2147483647 99221 65 | 0.000 % |
41.12/41.29 c | 106931 | 1954 8344 25317 | 2147483647 99506 65 | 0.000 % |
41.42/41.53 c | 107240 | 1954 8344 25317 | 2147483647 99815 65 | 0.000 % |
41.63/41.78 c | 107579 | 1954 8344 25317 | 2147483647 100154 65 | 0.000 % |
41.92/42.08 c | 107951 | 1954 8344 25317 | 2147483647 100526 65 | 0.000 % |
42.22/42.37 c | 108361 | 1954 8344 25317 | 2147483647 100936 65 | 0.000 % |
42.62/42.71 c | 108811 | 1954 8344 25317 | 2147483647 101386 65 | 0.000 % |
42.92/43.09 c | 109304 | 1954 8344 25317 | 2147483647 101879 65 | 0.000 % |
43.42/43.54 c | 109847 | 1954 8344 25317 | 2147483647 102422 65 | 0.000 % |
43.92/44.06 c | 110443 | 1954 8344 25317 | 102580 90974 65 | 0.000 % |
44.42/44.50 c | 111099 | 1954 8344 25317 | 102580 91630 65 | 0.000 % |
44.82/45.00 c | 111819 | 1954 8344 25317 | 102580 92350 65 | 0.000 % |
45.42/45.57 c | 112612 | 1954 8344 25317 | 102580 93143 65 | 0.000 % |
46.02/46.15 c | 113483 | 1954 8344 25317 | 102580 94014 65 | 0.000 % |
46.62/46.80 c | 114441 | 1954 8344 25317 | 102580 94972 65 | 0.000 % |
47.42/47.54 c | 115494 | 1954 8344 25317 | 102580 96025 65 | 0.000 % |
48.12/48.28 c | 116652 | 1954 8344 25317 | 102580 97183 65 | 0.000 % |
49.02/49.16 c | 117926 | 1954 8344 25317 | 102580 98457 65 | 0.000 % |
49.12/49.24 c | 118026 | 1954 8344 25317 | 102580 98557 65 | 0.000 % |
49.22/49.35 c | 118137 | 1954 8344 25317 | 102580 98668 65 | 0.000 % |
49.32/49.46 c | 118259 | 1954 8344 25317 | 102580 98790 65 | 0.000 % |
49.42/49.56 c | 118392 | 1954 8344 25317 | 102580 98923 65 | 0.000 % |
49.62/49.70 c | 118538 | 1954 8344 25317 | 102580 99069 65 | 0.000 % |
49.72/49.84 c | 118698 | 1954 8344 25317 | 102580 99229 65 | 0.000 % |
49.82/49.99 c | 118874 | 1954 8344 25317 | 102580 99405 65 | 0.000 % |
50.02/50.15 c | 119067 | 1954 8344 25317 | 102580 99598 65 | 0.000 % |
50.22/50.34 c | 119280 | 1954 8344 25317 | 102580 99811 65 | 0.000 % |
50.42/50.56 c | 119513 | 1954 8344 25317 | 102580 100044 65 | 0.000 % |
50.62/50.78 c | 119769 | 1954 8344 25317 | 102580 100300 65 | 0.000 % |
50.92/51.01 c | 120050 | 1954 8344 25317 | 100532 100581 65 | 0.000 % |
51.12/51.29 c | 120360 | 1954 8344 25317 | 100532 88453 65 | 0.000 % |
51.42/51.52 c | 120700 | 1954 8344 25317 | 100532 88793 65 | 0.000 % |
51.62/51.75 c | 121072 | 1954 8344 25317 | 100532 89165 65 | 0.000 % |
51.92/52.05 c | 121481 | 1954 8344 25317 | 100532 89574 65 | 0.000 % |
52.22/52.36 c | 121931 | 1954 8344 25317 | 100532 90024 65 | 0.000 % |
52.52/52.68 c | 122425 | 1954 8344 25317 | 100532 90518 65 | 0.000 % |
52.91/53.06 c | 122968 | 1954 8344 25317 | 100532 91061 65 | 0.000 % |
53.31/53.49 c | 123565 | 1954 8344 25317 | 100532 91658 65 | 0.000 % |
53.82/53.97 c | 124222 | 1954 8344 25317 | 100532 92315 65 | 0.000 % |
54.41/54.50 c | 124942 | 1954 8344 25317 | 100532 93035 65 | 0.000 % |
54.92/55.02 c | 125735 | 1954 8344 25317 | 100532 93828 65 | 0.000 % |
55.51/55.69 c | 126608 | 1954 8344 25317 | 100532 94701 65 | 0.000 % |
56.31/56.40 c | 127567 | 1954 8344 25317 | 100532 95660 65 | 0.000 % |
57.01/57.19 c | 128620 | 1954 8344 25317 | 100532 96713 65 | 0.000 % |
57.81/57.99 c | 129780 | 1954 8344 25317 | 100532 97873 65 | 0.000 % |
58.81/58.96 c | 131053 | 1954 8344 25317 | 98095 87380 66 | 0.000 % |
59.81/59.98 c | 132453 | 1954 8344 25317 | 98095 88780 66 | 0.000 % |
59.91/60.05 c | 132553 | 1954 8344 25317 | 98095 88880 66 | 0.000 % |
60.01/60.15 c | 132666 | 1954 8344 25317 | 98095 88993 66 | 0.000 % |
60.11/60.25 c | 132788 | 1954 8344 25317 | 98095 89115 66 | 0.000 % |
60.21/60.36 c | 132921 | 1954 8344 25317 | 98095 89248 66 | 0.000 % |
60.31/60.48 c | 133067 | 1954 8344 25317 | 98095 89394 66 | 0.000 % |
60.51/60.61 c | 133229 | 1954 8344 25317 | 98095 89556 66 | 0.000 % |
60.61/60.74 c | 133405 | 1954 8344 25317 | 98095 89732 66 | 0.000 % |
60.71/60.88 c | 133599 | 1954 8344 25317 | 98095 89926 66 | 0.000 % |
60.91/61.03 c | 133811 | 1954 8344 25317 | 98095 90138 66 | 0.000 % |
61.11/61.20 c | 134044 | 1954 8344 25317 | 98095 90371 66 | 0.000 % |
61.31/61.41 c | 134300 | 1954 8344 25317 | 98095 90627 66 | 0.000 % |
61.51/61.62 c | 134585 | 1954 8344 25317 | 98095 90912 66 | 0.000 % |
61.71/61.86 c | 134895 | 1954 8344 25317 | 98095 91222 66 | 0.000 % |
61.91/62.09 c | 135235 | 1954 8344 25317 | 98095 91562 66 | 0.000 % |
62.21/62.33 c | 135607 | 1954 8344 25317 | 98095 91934 65 | 0.000 % |
62.51/62.63 c | 136019 | 1954 8344 25317 | 98095 92346 65 | 0.000 % |
62.81/62.96 c | 136468 | 1954 8344 25317 | 98095 92795 65 | 0.000 % |
63.20/63.30 c | 136964 | 1954 8344 25317 | 98095 93291 66 | 0.000 % |
63.50/63.70 c | 137507 | 1954 8344 25317 | 98095 93834 65 | 0.000 % |
64.00/64.15 c | 138103 | 1954 8344 25317 | 98095 94430 65 | 0.000 % |
64.50/64.60 c | 138760 | 1954 8344 25317 | 98095 95087 65 | 0.000 % |
65.00/65.14 c | 139482 | 1954 8344 25317 | 98095 95809 66 | 0.000 % |
65.60/65.77 c | 140274 | 1954 8344 25317 | 96328 84993 65 | 0.000 % |
66.20/66.35 c | 141145 | 1954 8344 25317 | 96328 85864 65 | 0.000 % |
66.80/66.95 c | 142103 | 1954 8344 25317 | 96328 86822 65 | 0.000 % |
67.50/67.66 c | 143157 | 1954 8344 25317 | 96328 87876 65 | 0.000 % |
68.30/68.40 c | 144317 | 1954 8344 25317 | 96328 89036 65 | 0.000 % |
69.00/69.17 c | 145592 | 1954 8344 25317 | 96328 90311 66 | 0.000 % |
70.00/70.18 c | 146992 | 1954 8344 25317 | 96328 91711 66 | 0.000 % |
71.00/71.11 c | 148536 | 1954 8344 25317 | 96328 93255 66 | 0.000 % |
71.10/71.20 c | 148638 | 1954 8344 25317 | 96328 93357 66 | 0.000 % |
71.10/71.28 c | 148748 | 1954 8344 25317 | 96328 93467 66 | 0.000 % |
71.20/71.36 c | 148871 | 1954 8344 25317 | 96328 93590 66 | 0.000 % |
71.30/71.46 c | 149004 | 1954 8344 25317 | 96328 93723 66 | 0.000 % |
71.50/71.60 c | 149150 | 1954 8344 25317 | 96328 93869 66 | 0.000 % |
71.60/71.72 c | 149310 | 1954 8344 25317 | 96328 94029 66 | 0.000 % |
71.70/71.87 c | 149486 | 1954 8344 25317 | 96328 94205 66 | 0.000 % |
71.90/72.03 c | 149679 | 1954 8344 25317 | 96328 94398 66 | 0.000 % |
72.00/72.19 c | 149892 | 1954 8344 25317 | 96328 94611 66 | 0.000 % |
72.20/72.35 c | 150125 | 1954 8344 25317 | 94721 94844 66 | 0.000 % |
72.40/72.57 c | 150381 | 1954 8344 25317 | 94721 85174 66 | 0.000 % |
72.60/72.76 c | 150662 | 1954 8344 25317 | 94721 85455 66 | 0.000 % |
72.80/72.97 c | 150971 | 1954 8344 25317 | 94721 85764 66 | 0.000 % |
73.00/73.19 c | 151310 | 1954 8344 25317 | 94721 86103 66 | 0.000 % |
73.30/73.42 c | 151682 | 1954 8344 25317 | 94721 86475 66 | 0.000 % |
73.50/73.67 c | 152091 | 1954 8344 25317 | 94721 86884 66 | 0.000 % |
73.90/74.03 c | 152540 | 1954 8344 25317 | 94721 87333 66 | 0.000 % |
74.20/74.38 c | 153034 | 1954 8344 25317 | 94721 87827 66 | 0.000 % |
74.60/74.75 c | 153576 | 1954 8344 25317 | 94721 88369 66 | 0.000 % |
75.00/75.16 c | 154172 | 1954 8344 25317 | 94721 88965 66 | 0.000 % |
75.50/75.62 c | 154828 | 1954 8344 25317 | 94721 89621 66 | 0.000 % |
76.00/76.13 c | 155550 | 1954 8344 25317 | 94721 90343 66 | 0.000 % |
76.50/76.64 c | 156343 | 1954 8344 25317 | 94721 91136 66 | 0.000 % |
77.10/77.22 c | 157215 | 1954 8344 25317 | 94721 92008 66 | 0.000 % |
77.70/77.86 c | 158173 | 1954 8344 25317 | 94721 92966 66 | 0.000 % |
78.49/78.60 c | 159226 | 1954 8344 25317 | 94721 94019 66 | 0.000 % |
79.29/79.41 c | 160384 | 1954 8344 25317 | 2147483647 95177 66 | 0.000 % |
80.10/80.29 c | 161658 | 1954 8344 25317 | 2147483647 96451 66 | 0.000 % |
81.09/81.26 c | 163060 | 1954 8344 25317 | 2147483647 97853 66 | 0.000 % |
82.30/82.50 c | 164600 | 1954 8344 25317 | 2147483647 99393 66 | 0.000 % |
83.59/83.76 c | 166296 | 1954 8344 25317 | 2147483647 101089 66 | 0.000 % |
83.69/83.83 c | 166396 | 1954 8344 25317 | 2147483647 101189 66 | 0.000 % |
83.79/83.93 c | 166506 | 1954 8344 25317 | 2147483647 101299 66 | 0.000 % |
83.89/84.05 c | 166628 | 1954 8344 25317 | 2147483647 101421 66 | 0.000 % |
83.99/84.19 c | 166762 | 1954 8344 25317 | 2147483647 101555 66 | 0.000 % |
84.20/84.33 c | 166909 | 1954 8344 25317 | 2147483647 101702 66 | 0.000 % |
84.30/84.46 c | 167069 | 1954 8344 25317 | 2147483647 101862 66 | 0.000 % |
84.50/84.65 c | 167248 | 1954 8344 25317 | 2147483647 102041 66 | 0.000 % |
84.70/84.82 c | 167441 | 1954 8344 25317 | 2147483647 102234 66 | 0.000 % |
84.90/85.01 c | 167653 | 1954 8344 25317 | 2147483647 102446 66 | 0.000 % |
85.10/85.21 c | 167888 | 1954 8344 25317 | 2147483647 102681 66 | 0.000 % |
85.30/85.41 c | 168144 | 1954 8344 25317 | 2147483647 102937 66 | 0.000 % |
85.50/85.63 c | 168425 | 1954 8344 25317 | 2147483647 103218 66 | 0.000 % |
85.70/85.90 c | 168734 | 1954 8344 25317 | 2147483647 103527 66 | 0.000 % |
86.00/86.18 c | 169074 | 1954 8344 25317 | 2147483647 103867 66 | 0.000 % |
86.40/86.54 c | 169447 | 1954 8344 25317 | 2147483647 104240 66 | 0.000 % |
86.80/86.91 c | 169856 | 1954 8344 25317 | 2147483647 104649 66 | 0.000 % |
87.19/87.33 c | 170305 | 1954 8344 25317 | 104795 89846 66 | 0.000 % |
87.49/87.64 c | 170798 | 1954 8344 25317 | 104795 90339 66 | 0.000 % |
87.90/88.03 c | 171342 | 1954 8344 25317 | 104795 90883 66 | 0.000 % |
88.29/88.42 c | 171942 | 1954 8344 25317 | 104795 91483 66 | 0.000 % |
88.69/88.88 c | 172598 | 1954 8344 25317 | 104795 92139 66 | 0.000 % |
89.29/89.42 c | 173319 | 1954 8344 25317 | 104795 92860 66 | 0.000 % |
89.79/89.97 c | 174112 | 1954 8344 25317 | 104795 93653 66 | 0.000 % |
90.39/90.56 c | 174984 | 1954 8344 25317 | 104795 94525 66 | 0.000 % |
91.20/91.32 c | 175943 | 1954 8344 25317 | 104795 95484 66 | 0.000 % |
91.89/92.07 c | 176999 | 1954 8344 25317 | 104795 96540 66 | 0.000 % |
92.79/92.94 c | 178161 | 1954 8344 25317 | 104795 97702 66 | 0.000 % |
93.79/93.90 c | 179436 | 1954 8344 25317 | 104795 98977 66 | 0.000 % |
94.99/95.12 c | 180839 | 1954 8344 25317 | 99542 88026 66 | 0.000 % |
95.99/96.15 c | 182379 | 1954 8344 25317 | 99542 89566 66 | 0.000 % |
97.09/97.26 c | 184073 | 1954 8344 25317 | 99542 91260 66 | 0.000 % |
98.39/98.50 c | 185936 | 1954 8344 25317 | 99542 93123 66 | 0.000 % |
98.39/98.57 c | 186036 | 1954 8344 25317 | 99542 93223 66 | 0.000 % |
98.49/98.67 c | 186146 | 1954 8344 25317 | 99542 93333 66 | 0.000 % |
98.59/98.77 c | 186269 | 1954 8344 25317 | 99542 93456 66 | 0.000 % |
98.69/98.87 c | 186402 | 1954 8344 25317 | 99542 93589 66 | 0.000 % |
98.79/98.96 c | 186548 | 1954 8344 25317 | 99542 93735 66 | 0.000 % |
98.98/99.11 c | 186708 | 1954 8344 25317 | 99542 93895 67 | 0.000 % |
99.08/99.23 c | 186884 | 1954 8344 25317 | 99542 94071 67 | 0.000 % |
99.18/99.39 c | 187077 | 1954 8344 25317 | 99542 94264 67 | 0.000 % |
99.38/99.58 c | 187291 | 1954 8344 25317 | 99542 94478 66 | 0.000 % |
99.58/99.79 c | 187524 | 1954 8344 25317 | 99542 94711 66 | 0.000 % |
99.89/100.01 c | 187780 | 1954 8344 25317 | 99542 94967 66 | 0.000 % |
100.08/100.24 c | 188063 | 1954 8344 25317 | 99542 95250 66 | 0.000 % |
100.38/100.51 c | 188372 | 1954 8344 25317 | 99542 95559 66 | 0.000 % |
100.58/100.76 c | 188712 | 1954 8344 25317 | 99542 95899 66 | 0.000 % |
100.88/101.07 c | 189085 | 1954 8344 25317 | 99542 96272 66 | 0.000 % |
101.18/101.38 c | 189495 | 1954 8344 25317 | 99542 96682 66 | 0.000 % |
101.58/101.73 c | 189947 | 1954 8344 25317 | 99542 97134 66 | 0.000 % |
101.98/102.15 c | 190440 | 1954 8344 25317 | 97190 86107 67 | 0.000 % |
102.28/102.47 c | 190983 | 1954 8344 25317 | 97190 86650 67 | 0.000 % |
102.68/102.83 c | 191579 | 1954 8344 25317 | 97190 87246 67 | 0.000 % |
103.08/103.25 c | 192234 | 1954 8344 25317 | 97190 87901 67 | 0.000 % |
103.58/103.74 c | 192954 | 1954 8344 25317 | 97190 88621 67 | 0.000 % |
104.08/104.26 c | 193747 | 1954 8344 25317 | 97190 89414 67 | 0.000 % |
104.68/104.82 c | 194619 | 1954 8344 25317 | 97190 90286 67 | 0.000 % |
105.28/105.41 c | 195577 | 1954 8344 25317 | 97190 91244 67 | 0.000 % |
105.98/106.15 c | 196630 | 1954 8344 25317 | 97190 92297 67 | 0.000 % |
106.78/106.92 c | 197790 | 1954 8344 25317 | 97190 93457 67 | 0.000 % |
107.58/107.78 c | 199064 | 1954 8344 25317 | 97190 94731 67 | 0.000 % |
108.69/108.88 c | 200469 | 1954 8344 25317 | 95669 85870 67 | 0.000 % |
109.68/109.86 c | 202011 | 1954 8344 25317 | 95669 87412 67 | 0.000 % |
110.78/110.93 c | 203705 | 1954 8344 25317 | 95669 89106 67 | 0.000 % |
111.88/112.09 c | 205569 | 1954 8344 25317 | 95669 90970 67 | 0.000 % |
113.28/113.48 c | 207618 | 1954 8344 25317 | 95669 93019 67 | 0.000 % |
113.38/113.56 c | 207718 | 1954 8344 25317 | 95669 93119 67 | 0.000 % |
113.48/113.65 c | 207828 | 1954 8344 25317 | 95669 93229 67 | 0.000 % |
113.58/113.76 c | 207950 | 1954 8344 25317 | 95669 93351 67 | 0.000 % |
113.68/113.87 c | 208086 | 1954 8344 25317 | 95669 93487 67 | 0.000 % |
113.88/114.00 c | 208233 | 1954 8344 25317 | 95669 93634 67 | 0.000 % |
113.98/114.13 c | 208394 | 1954 8344 25317 | 95669 93795 67 | 0.000 % |
114.08/114.27 c | 208571 | 1954 8344 25317 | 95669 93972 67 | 0.000 % |
114.28/114.44 c | 208765 | 1954 8344 25317 | 95669 94166 67 | 0.000 % |
114.48/114.61 c | 208977 | 1954 8344 25317 | 95669 94378 67 | 0.000 % |
114.68/114.80 c | 209210 | 1954 8344 25317 | 95669 94611 67 | 0.000 % |
114.78/114.98 c | 209466 | 1954 8344 25317 | 95669 94867 67 | 0.000 % |
115.08/115.21 c | 209747 | 1954 8344 25317 | 95669 95148 67 | 0.000 % |
115.28/115.44 c | 210058 | 1954 8344 25317 | 95402 95459 67 | 0.000 % |
115.58/115.74 c | 210398 | 1954 8344 25317 | 95402 85554 67 | 0.000 % |
115.88/116.01 c | 210770 | 1954 8344 25317 | 95402 85926 67 | 0.000 % |
116.18/116.30 c | 211180 | 1954 8344 25317 | 95402 86336 67 | 0.000 % |
116.48/116.60 c | 211629 | 1954 8344 25317 | 95402 86785 67 | 0.000 % |
116.78/116.92 c | 212123 | 1954 8344 25317 | 95402 87279 67 | 0.000 % |
117.08/117.28 c | 212665 | 1954 8344 25317 | 95402 87821 67 | 0.000 % |
117.58/117.71 c | 213261 | 1954 8344 25317 | 95402 88417 67 | 0.000 % |
117.97/118.13 c | 213916 | 1954 8344 25317 | 95402 89072 67 | 0.000 % |
118.47/118.64 c | 214636 | 1954 8344 25317 | 95402 89792 67 | 0.000 % |
119.07/119.21 c | 215429 | 1954 8344 25317 | 95402 90585 67 | 0.000 % |
119.68/119.83 c | 216301 | 1954 8344 25317 | 95402 91457 67 | 0.000 % |
120.37/120.53 c | 217260 | 1954 8344 25317 | 95402 92416 67 | 0.000 % |
121.07/121.26 c | 218314 | 1954 8344 25317 | 95402 93470 67 | 0.000 % |
121.87/122.08 c | 219473 | 1954 8344 25317 | 95402 94629 67 | 0.000 % |
122.77/122.96 c | 220746 | 1954 8344 25317 | 95156 85913 67 | 0.000 % |
123.67/123.82 c | 222147 | 1954 8344 25317 | 95156 87314 67 | 0.000 % |
124.67/124.82 c | 223687 | 1954 8344 25317 | 95156 88854 67 | 0.000 % |
125.77/125.92 c | 225382 | 1954 8344 25317 | 95156 90549 67 | 0.000 % |
126.97/127.16 c | 227245 | 1954 8344 25317 | 95156 92412 68 | 0.000 % |
128.37/128.52 c | 229295 | 1954 8344 25317 | 95156 94462 68 | 0.000 % |
129.87/130.08 c | 231548 | 1954 8344 25317 | 2147483647 96715 68 | 0.000 % |
129.97/130.20 c | 231650 | 1954 8344 25317 | 2147483647 96817 68 | 0.000 % |
130.07/130.28 c | 231760 | 1954 8344 25317 | 2147483647 96927 67 | 0.000 % |
130.17/130.38 c | 231882 | 1954 8344 25317 | 2147483647 97049 67 | 0.000 % |
130.27/130.48 c | 232015 | 1954 8344 25317 | 2147483647 97182 67 | 0.000 % |
130.47/130.63 c | 232161 | 1954 8344 25317 | 2147483647 97328 67 | 0.000 % |
130.57/130.76 c | 232321 | 1954 8344 25317 | 2147483647 97488 67 | 0.000 % |
130.77/130.92 c | 232498 | 1954 8344 25317 | 2147483647 97665 67 | 0.000 % |
130.86/131.07 c | 232693 | 1954 8344 25317 | 2147483647 97860 67 | 0.000 % |
131.06/131.25 c | 232905 | 1954 8344 25317 | 2147483647 98072 67 | 0.000 % |
131.26/131.44 c | 233138 | 1954 8344 25317 | 2147483647 98305 67 | 0.000 % |
131.46/131.64 c | 233394 | 1954 8344 25317 | 2147483647 98561 67 | 0.000 % |
131.66/131.86 c | 233675 | 1954 8344 25317 | 2147483647 98842 67 | 0.000 % |
131.96/132.12 c | 233985 | 1954 8344 25317 | 2147483647 99152 67 | 0.000 % |
132.26/132.40 c | 234325 | 1954 8344 25317 | 2147483647 99492 67 | 0.000 % |
132.46/132.67 c | 234697 | 1954 8344 25317 | 2147483647 99864 67 | 0.000 % |
132.76/132.97 c | 235107 | 1954 8344 25317 | 2147483647 100274 67 | 0.000 % |
133.16/133.31 c | 235556 | 1954 8344 25317 | 2147483647 100723 67 | 0.000 % |
133.56/133.71 c | 236049 | 1954 8344 25317 | 2147483647 101216 67 | 0.000 % |
133.96/134.15 c | 236593 | 1954 8344 25317 | 2147483647 101760 67 | 0.000 % |
134.46/134.63 c | 237189 | 1954 8344 25317 | 2147483647 102356 67 | 0.000 % |
134.96/135.20 c | 237846 | 1954 8344 25317 | 2147483647 103013 67 | 0.000 % |
135.56/135.77 c | 238566 | 1954 8344 25317 | 2147483647 103733 67 | 0.000 % |
136.26/136.45 c | 239359 | 1954 8344 25317 | 2147483647 104526 67 | 0.000 % |
136.96/137.15 c | 240231 | 1954 8344 25317 | 105168 105398 67 | 0.000 % |
137.76/137.91 c | 241189 | 1954 8344 25317 | 105168 91597 67 | 0.000 % |
138.46/138.65 c | 242242 | 1954 8344 25317 | 105168 92650 67 | 0.000 % |
139.25/139.47 c | 243400 | 1954 8344 25317 | 105168 93808 67 | 0.000 % |
140.15/140.36 c | 244677 | 1954 8344 25317 | 105168 95085 67 | 0.000 % |
141.15/141.31 c | 246078 | 1954 8344 25317 | 105168 96486 67 | 0.000 % |
142.25/142.41 c | 247618 | 1954 8344 25317 | 105168 98026 67 | 0.000 % |
143.35/143.59 c | 249312 | 1954 8344 25317 | 105168 99720 68 | 0.000 % |
144.65/144.84 c | 251176 | 1954 8344 25317 | 100408 88970 67 | 0.000 % |
145.95/146.14 c | 253225 | 1954 8344 25317 | 100408 91019 67 | 0.000 % |
147.35/147.56 c | 255479 | 1954 8344 25317 | 100408 93273 67 | 0.000 % |
149.05/149.21 c | 257957 | 1954 8344 25317 | 100408 95751 68 | 0.000 % |
149.05/149.29 c | 258057 | 1954 8344 25317 | 100408 95851 68 | 0.000 % |
149.15/149.39 c | 258169 | 1954 8344 25317 | 100408 95963 68 | 0.000 % |
149.25/149.49 c | 258291 | 1954 8344 25317 | 100408 96085 68 | 0.000 % |
149.35/149.59 c | 258424 | 1954 8344 25317 | 100408 96218 68 | 0.000 % |
149.55/149.73 c | 258573 | 1954 8344 25317 | 100408 96367 68 | 0.000 % |
149.65/149.87 c | 258734 | 1954 8344 25317 | 100408 96528 68 | 0.000 % |
149.75/150.00 c | 258910 | 1954 8344 25317 | 100408 96704 68 | 0.000 % |
149.95/150.18 c | 259103 | 1954 8344 25317 | 100408 96897 68 | 0.000 % |
150.15/150.36 c | 259317 | 1954 8344 25317 | 100408 97111 68 | 0.000 % |
150.35/150.54 c | 259551 | 1954 8344 25317 | 100408 97345 68 | 0.000 % |
150.55/150.77 c | 259807 | 1954 8344 25317 | 100408 97601 68 | 0.000 % |
150.75/150.99 c | 260088 | 1954 8344 25317 | 97796 97882 68 | 0.000 % |
151.05/151.28 c | 260397 | 1954 8344 25317 | 97796 87411 68 | 0.000 % |
151.25/151.50 c | 260739 | 1954 8344 25317 | 97796 87753 68 | 0.000 % |
151.55/151.74 c | 261111 | 1954 8344 25317 | 97796 88125 68 | 0.000 % |
151.85/152.02 c | 261520 | 1954 8344 25317 | 97796 88534 68 | 0.000 % |
152.15/152.34 c | 261973 | 1954 8344 25317 | 97796 88987 68 | 0.000 % |
152.45/152.67 c | 262466 | 1954 8344 25317 | 97796 89480 68 | 0.000 % |
152.85/153.05 c | 263008 | 1954 8344 25317 | 97796 90022 68 | 0.000 % |
153.35/153.53 c | 263604 | 1954 8344 25317 | 97796 90618 68 | 0.000 % |
153.85/154.00 c | 264259 | 1954 8344 25317 | 97796 91273 68 | 0.000 % |
154.25/154.47 c | 264979 | 1954 8344 25317 | 97796 91993 68 | 0.000 % |
154.85/155.01 c | 265772 | 1954 8344 25317 | 97796 92786 68 | 0.000 % |
155.35/155.57 c | 266645 | 1954 8344 25317 | 97796 93659 68 | 0.000 % |
156.05/156.21 c | 267603 | 1954 8344 25317 | 97796 94617 68 | 0.000 % |
156.74/156.96 c | 268656 | 1954 8344 25317 | 97796 95670 68 | 0.000 % |
157.54/157.78 c | 269814 | 1954 8344 25317 | 97796 96828 68 | 0.000 % |
158.54/158.75 c | 271087 | 1954 8344 25317 | 97014 87318 67 | 0.000 % |
159.54/159.70 c | 272488 | 1954 8344 25317 | 97014 88719 67 | 0.000 % |
160.54/160.73 c | 274028 | 1954 8344 25317 | 97014 90259 67 | 0.000 % |
161.64/161.87 c | 275724 | 1954 8344 25317 | 97014 91955 67 | 0.000 % |
162.94/163.12 c | 277587 | 1954 8344 25317 | 97014 93818 68 | 0.000 % |
164.34/164.55 c | 279636 | 1954 8344 25317 | 97014 95867 68 | 0.000 % |
165.84/166.00 c | 281889 | 1954 8344 25317 | 96231 87346 68 | 0.000 % |
167.34/167.56 c | 284368 | 1954 8344 25317 | 96231 89825 68 | 0.000 % |
169.14/169.30 c | 287094 | 1954 8344 25317 | 96231 92551 68 | 0.000 % |
169.24/169.41 c | 287197 | 1954 8344 25317 | 96231 92654 68 | 0.000 % |
169.24/169.49 c | 287307 | 1954 8344 25317 | 96231 92764 68 | 0.000 % |
169.34/169.59 c | 287428 | 1954 8344 25317 | 96231 92885 68 | 0.000 % |
169.54/169.70 c | 287561 | 1954 8344 25317 | 96231 93018 68 | 0.000 % |
169.64/169.82 c | 287707 | 1954 8344 25317 | 96231 93164 68 | 0.000 % |
169.74/169.94 c | 287871 | 1954 8344 25317 | 96231 93328 68 | 0.000 % |
169.84/170.07 c | 288047 | 1954 8344 25317 | 96231 93504 68 | 0.000 % |
170.04/170.26 c | 288240 | 1954 8344 25317 | 96231 93697 68 | 0.000 % |
170.24/170.42 c | 288452 | 1954 8344 25317 | 96231 93909 68 | 0.000 % |
170.34/170.59 c | 288685 | 1954 8344 25317 | 96231 94142 68 | 0.000 % |
170.54/170.76 c | 288941 | 1954 8344 25317 | 96231 94398 68 | 0.000 % |
170.74/170.97 c | 289224 | 1954 8344 25317 | 96231 94681 68 | 0.000 % |
170.95/171.19 c | 289534 | 1954 8344 25317 | 96231 94991 68 | 0.000 % |
171.25/171.46 c | 289873 | 1954 8344 25317 | 96231 95330 68 | 0.000 % |
171.55/171.73 c | 290245 | 1954 8344 25317 | 2147483647 95702 68 | 0.000 % |
171.85/172.03 c | 290654 | 1954 8344 25317 | 2147483647 96111 68 | 0.000 % |
172.14/172.39 c | 291103 | 1954 8344 25317 | 2147483647 96560 68 | 0.000 % |
172.55/172.74 c | 291597 | 1954 8344 25317 | 2147483647 97054 68 | 0.000 % |
172.94/173.17 c | 292139 | 1954 8344 25317 | 2147483647 97596 68 | 0.000 % |
173.44/173.65 c | 292736 | 1954 8344 25317 | 2147483647 98193 68 | 0.000 % |
173.94/174.18 c | 293393 | 1954 8344 25317 | 2147483647 98850 68 | 0.000 % |
174.55/174.72 c | 294115 | 1954 8344 25317 | 2147483647 99572 68 | 0.000 % |
175.14/175.33 c | 294908 | 1954 8344 25317 | 2147483647 100365 68 | 0.000 % |
175.75/176.00 c | 295780 | 1954 8344 25317 | 2147483647 101237 68 | 0.000 % |
176.44/176.68 c | 296738 | 1954 8344 25317 | 2147483647 102195 68 | 0.000 % |
177.34/177.52 c | 297792 | 1954 8344 25317 | 2147483647 103249 68 | 0.000 % |
178.14/178.39 c | 298950 | 1954 8344 25317 | 2147483647 104407 68 | 0.000 % |
179.24/179.40 c | 300225 | 1954 8344 25317 | 105457 105682 68 | 0.000 % |
180.24/180.42 c | 301626 | 1954 8344 25317 | 105457 92276 68 | 0.000 % |
181.14/181.40 c | 303166 | 1954 8344 25317 | 105457 93816 68 | 0.000 % |
182.44/182.60 c | 304861 | 1954 8344 25317 | 105457 95511 68 | 0.000 % |
183.74/183.91 c | 306724 | 1954 8344 25317 | 105457 97374 68 | 0.000 % |
185.14/185.38 c | 308775 | 1954 8344 25317 | 105457 99425 68 | 0.000 % |
186.74/186.98 c | 311029 | 1954 8344 25317 | 100651 89716 68 | 0.000 % |
188.54/188.75 c | 313507 | 1954 8344 25317 | 100651 92194 69 | 0.000 % |
190.34/190.50 c | 316232 | 1954 8344 25317 | 100651 94919 69 | 0.000 % |
192.43/192.61 c | 319229 | 1954 8344 25317 | 100651 97916 69 | 0.000 % |
192.43/192.68 c | 319330 | 1954 8344 25317 | 100651 98017 69 | 0.000 % |
192.53/192.76 c | 319440 | 1954 8344 25317 | 100651 98127 69 | 0.000 % |
192.63/192.88 c | 319563 | 1954 8344 25317 | 100651 98250 69 | 0.000 % |
192.83/193.02 c | 319696 | 1954 8344 25317 | 100651 98383 69 | 0.000 % |
192.93/193.14 c | 319843 | 1954 8344 25317 | 100651 98530 69 | 0.000 % |
193.03/193.28 c | 320003 | 1954 8344 25317 | 98689 98690 69 | 0.000 % |
193.34/193.52 c | 320179 | 1954 8344 25317 | 98689 87210 69 | 0.000 % |
193.44/193.66 c | 320373 | 1954 8344 25317 | 98689 87404 69 | 0.000 % |
193.63/193.83 c | 320585 | 1954 8344 25317 | 98689 87616 69 | 0.000 % |
193.83/194.02 c | 320818 | 1954 8344 25317 | 98689 87849 69 | 0.000 % |
193.93/194.20 c | 321075 | 1954 8344 25317 | 98689 88106 69 | 0.000 % |
194.23/194.41 c | 321357 | 1954 8344 25317 | 98689 88388 69 | 0.000 % |
194.44/194.63 c | 321666 | 1954 8344 25317 | 98689 88697 69 | 0.000 % |
194.63/194.86 c | 322005 | 1954 8344 25317 | 98689 89036 69 | 0.000 % |
194.93/195.14 c | 322380 | 1954 8344 25317 | 98689 89411 69 | 0.000 % |
195.23/195.48 c | 322790 | 1954 8344 25317 | 98689 89821 69 | 0.000 % |
195.64/195.82 c | 323239 | 1954 8344 25317 | 98689 90270 69 | 0.000 % |
195.93/196.18 c | 323735 | 1954 8344 25317 | 98689 90766 69 | 0.000 % |
196.33/196.58 c | 324278 | 1954 8344 25317 | 98689 91309 69 | 0.000 % |
196.73/196.98 c | 324877 | 1954 8344 25317 | 98689 91908 69 | 0.000 % |
197.23/197.47 c | 325533 | 1954 8344 25317 | 98689 92564 69 | 0.000 % |
197.73/197.97 c | 326253 | 1954 8344 25317 | 98689 93284 69 | 0.000 % |
198.33/198.55 c | 327045 | 1954 8344 25317 | 98689 94076 69 | 0.000 % |
198.93/199.17 c | 327917 | 1954 8344 25317 | 98689 94948 69 | 0.000 % |
199.63/199.87 c | 328875 | 1954 8344 25317 | 98689 95906 69 | 0.000 % |
200.33/200.60 c | 329928 | 1954 8344 25317 | 98689 96959 69 | 0.000 % |
201.23/201.40 c | 331087 | 1954 8344 25317 | 97031 86611 69 | 0.000 % |
202.03/202.27 c | 332362 | 1954 8344 25317 | 97031 87886 69 | 0.000 % |
203.03/203.25 c | 333763 | 1954 8344 25317 | 97031 89287 69 | 0.000 % |
204.03/204.26 c | 335303 | 1954 8344 25317 | 97031 90827 69 | 0.000 % |
205.13/205.34 c | 336998 | 1954 8344 25317 | 97031 92522 69 | 0.000 % |
206.23/206.46 c | 338861 | 1954 8344 25317 | 97031 94385 69 | 0.000 % |
207.62/207.86 c | 340911 | 1954 8344 25317 | 2147483647 96435 69 | 0.000 % |
209.02/209.29 c | 343165 | 1954 8344 25317 | 2147483647 98689 69 | 0.000 % |
210.92/211.12 c | 345646 | 1954 8344 25317 | 2147483647 101170 69 | 0.000 % |
212.92/213.10 c | 348371 | 1954 8344 25317 | 2147483647 103895 69 | 0.000 % |
215.12/215.34 c | 351369 | 1954 8344 25317 | 105524 93504 69 | 0.000 % |
217.31/217.52 c | 354665 | 1954 8344 25317 | 105524 96800 69 | 0.000 % |
217.41/217.61 c | 354767 | 1954 8344 25317 | 105524 96902 69 | 0.000 % |
217.41/217.69 c | 354877 | 1954 8344 25317 | 105524 97012 69 | 0.000 % |
217.52/217.78 c | 354998 | 1954 8344 25317 | 105524 97133 69 | 0.000 % |
217.71/217.90 c | 355134 | 1954 8344 25317 | 105524 97269 69 | 0.000 % |
217.81/218.00 c | 355282 | 1954 8344 25317 | 105524 97417 69 | 0.000 % |
217.91/218.13 c | 355444 | 1954 8344 25317 | 105524 97579 69 | 0.000 % |
218.01/218.29 c | 355620 | 1954 8344 25317 | 105524 97755 69 | 0.000 % |
218.21/218.45 c | 355813 | 1954 8344 25317 | 105524 97948 69 | 0.000 % |
218.41/218.63 c | 356025 | 1954 8344 25317 | 105524 98160 69 | 0.000 % |
218.62/218.82 c | 356259 | 1954 8344 25317 | 105524 98394 69 | 0.000 % |
218.81/219.02 c | 356516 | 1954 8344 25317 | 105524 98651 69 | 0.000 % |
219.01/219.22 c | 356797 | 1954 8344 25317 | 105524 98932 69 | 0.000 % |
219.21/219.48 c | 357106 | 1954 8344 25317 | 105524 99241 69 | 0.000 % |
219.51/219.77 c | 357445 | 1954 8344 25317 | 105524 99580 69 | 0.000 % |
219.82/220.04 c | 357817 | 1954 8344 25317 | 105524 99952 69 | 0.000 % |
220.11/220.36 c | 358231 | 1954 8344 25317 | 105524 100366 69 | 0.000 % |
220.41/220.69 c | 358680 | 1954 8344 25317 | 105524 100815 69 | 0.000 % |
220.81/221.09 c | 359174 | 1954 8344 25317 | 105524 101309 69 | 0.000 % |
221.31/221.50 c | 359718 | 1954 8344 25317 | 105524 101853 69 | 0.000 % |
221.81/222.02 c | 360314 | 1954 8344 25317 | 102135 88853 69 | 0.000 % |
222.21/222.49 c | 360971 | 1954 8344 25317 | 102135 89510 69 | 0.000 % |
222.71/222.96 c | 361691 | 1954 8344 25317 | 102135 90230 69 | 0.000 % |
223.31/223.53 c | 362486 | 1954 8344 25317 | 102135 91025 69 | 0.000 % |
223.81/224.10 c | 363358 | 1954 8344 25317 | 102135 91897 69 | 0.000 % |
224.50/224.78 c | 364316 | 1954 8344 25317 | 102135 92855 69 | 0.000 % |
225.31/225.55 c | 365369 | 1954 8344 25317 | 102135 93908 69 | 0.000 % |
226.10/226.38 c | 366527 | 1954 8344 25317 | 102135 95066 69 | 0.000 % |
227.10/227.32 c | 367801 | 1954 8344 25317 | 102135 96340 69 | 0.000 % |
228.10/228.33 c | 369201 | 1954 8344 25317 | 102135 97740 69 | 0.000 % |
229.20/229.49 c | 370741 | 1954 8344 25317 | 98539 87101 69 | 0.000 % |
230.30/230.52 c | 372436 | 1954 8344 25317 | 98539 88796 69 | 0.000 % |
231.50/231.78 c | 374299 | 1954 8344 25317 | 98539 90659 68 | 0.000 % |
232.80/233.08 c | 376348 | 1954 8344 25317 | 98539 92708 69 | 0.000 % |
234.50/234.77 c | 378601 | 1954 8344 25317 | 98539 94961 68 | 0.000 % |
236.20/236.49 c | 381080 | 1954 8344 25317 | 96360 87087 69 | 0.000 % |
238.10/238.32 c | 383805 | 1954 8344 25317 | 96360 89812 69 | 0.000 % |
240.00/240.25 c | 386804 | 1954 8344 25317 | 96360 92811 69 | 0.000 % |
242.19/242.43 c | 390100 | 1954 8344 25317 | 2147483647 96107 69 | 0.000 % |
244.79/245.02 c | 393725 | 1954 8344 25317 | 2147483647 99732 69 | 0.000 % |
244.89/245.11 c | 393825 | 1954 8344 25317 | 2147483647 99832 69 | 0.000 % |
245.00/245.20 c | 393935 | 1954 8344 25317 | 2147483647 99942 69 | 0.000 % |
245.00/245.30 c | 394056 | 1954 8344 25317 | 2147483647 100063 69 | 0.000 % |
245.19/245.42 c | 394189 | 1954 8344 25317 | 2147483647 100196 69 | 0.000 % |
245.29/245.53 c | 394335 | 1954 8344 25317 | 2147483647 100342 69 | 0.000 % |
245.39/245.64 c | 394495 | 1954 8344 25317 | 2147483647 100502 69 | 0.000 % |
245.49/245.79 c | 394672 | 1954 8344 25317 | 2147483647 100679 69 | 0.000 % |
245.69/245.97 c | 394865 | 1954 8344 25317 | 2147483647 100872 69 | 0.000 % |
245.89/246.15 c | 395078 | 1954 8344 25317 | 2147483647 101085 69 | 0.000 % |
246.09/246.35 c | 395313 | 1954 8344 25317 | 2147483647 101320 69 | 0.000 % |
246.29/246.56 c | 395569 | 1954 8344 25317 | 2147483647 101576 69 | 0.000 % |
246.59/246.80 c | 395850 | 1954 8344 25317 | 2147483647 101857 69 | 0.000 % |
246.79/247.04 c | 396159 | 1954 8344 25317 | 2147483647 102166 69 | 0.000 % |
247.09/247.31 c | 396498 | 1954 8344 25317 | 2147483647 102505 69 | 0.000 % |
247.39/247.60 c | 396871 | 1954 8344 25317 | 2147483647 102878 69 | 0.000 % |
247.69/247.92 c | 397280 | 1954 8344 25317 | 2147483647 103287 69 | 0.000 % |
247.99/248.28 c | 397729 | 1954 8344 25317 | 2147483647 103736 69 | 0.000 % |
248.39/248.68 c | 398222 | 1954 8344 25317 | 2147483647 104229 69 | 0.000 % |
248.89/249.13 c | 398765 | 1954 8344 25317 | 2147483647 104772 69 | 0.000 % |
249.29/249.59 c | 399363 | 1954 8344 25317 | 2147483647 105370 69 | 0.000 % |
249.89/250.12 c | 400018 | 1954 8344 25317 | 106008 106025 69 | 0.000 % |
250.39/250.70 c | 400739 | 1954 8344 25317 | 106008 92261 68 | 0.000 % |
250.99/251.24 c | 401531 | 1954 8344 25317 | 106008 93053 68 | 0.000 % |
251.69/251.92 c | 402404 | 1954 8344 25317 | 106008 93926 68 | 0.000 % |
252.29/252.54 c | 403362 | 1954 8344 25317 | 106008 94884 68 | 0.000 % |
252.99/253.28 c | 404415 | 1954 8344 25317 | 106008 95937 68 | 0.000 % |
253.79/254.03 c | 405577 | 1954 8344 25317 | 106008 97099 68 | 0.000 % |
254.69/254.94 c | 406852 | 1954 8344 25317 | 106008 98374 68 | 0.000 % |
255.79/256.01 c | 408252 | 1954 8344 25317 | 106008 99774 68 | 0.000 % |
256.79/257.07 c | 409794 | 1954 8344 25317 | 106008 101316 68 | 0.000 % |
258.09/258.35 c | 411490 | 1954 8344 25317 | 101523 90404 68 | 0.000 % |
259.29/259.60 c | 413353 | 1954 8344 25317 | 101523 92267 68 | 0.000 % |
260.69/260.99 c | 415402 | 1954 8344 25317 | 101523 94316 68 | 0.000 % |
262.28/262.59 c | 417655 | 1954 8344 25317 | 101523 96569 68 | 0.000 % |
264.08/264.33 c | 420135 | 1954 8344 25317 | 98914 99049 68 | 0.000 % |
265.89/266.14 c | 422860 | 1954 8344 25317 | 98914 91179 68 | 0.000 % |
267.78/268.06 c | 425857 | 1954 8344 25317 | 98914 94176 68 | 0.000 % |
270.08/270.30 c | 429154 | 1954 8344 25317 | 98914 97473 69 | 0.000 % |
272.58/272.82 c | 432781 | 1954 8344 25317 | 98319 90809 68 | 0.000 % |
275.38/275.69 c | 436768 | 1954 8344 25317 | 98319 94796 68 | 0.000 % |
275.48/275.75 c | 436868 | 1954 8344 25317 | 98319 94896 68 | 0.000 % |
275.58/275.84 c | 436978 | 1954 8344 25317 | 98319 95006 68 | 0.000 % |
275.68/275.95 c | 437099 | 1954 8344 25317 | 98319 95127 68 | 0.000 % |
275.78/276.06 c | 437234 | 1954 8344 25317 | 98319 95262 68 | 0.000 % |
275.88/276.18 c | 437381 | 1954 8344 25317 | 98319 95409 68 | 0.000 % |
276.08/276.31 c | 437543 | 1954 8344 25317 | 98319 95571 68 | 0.000 % |
276.18/276.48 c | 437720 | 1954 8344 25317 | 98319 95748 68 | 0.000 % |
276.38/276.63 c | 437914 | 1954 8344 25317 | 98319 95942 68 | 0.000 % |
276.57/276.81 c | 438126 | 1954 8344 25317 | 98319 96154 68 | 0.000 % |
276.67/276.96 c | 438359 | 1954 8344 25317 | 98319 96387 68 | 0.000 % |
276.88/277.17 c | 438616 | 1954 8344 25317 | 98319 96644 68 | 0.000 % |
277.17/277.42 c | 438898 | 1954 8344 25317 | 98319 96926 68 | 0.000 % |
277.37/277.67 c | 439208 | 1954 8344 25317 | 98319 97236 68 | 0.000 % |
277.67/277.94 c | 439547 | 1954 8344 25317 | 98319 97575 68 | 0.000 % |
277.98/278.24 c | 439919 | 1954 8344 25317 | 98319 97947 68 | 0.000 % |
278.37/278.61 c | 440328 | 1954 8344 25317 | 98028 86720 68 | 0.000 % |
278.67/278.90 c | 440779 | 1954 8344 25317 | 98028 87171 68 | 0.000 % |
278.97/279.21 c | 441272 | 1954 8344 25317 | 98028 87664 68 | 0.000 % |
279.27/279.57 c | 441815 | 1954 8344 25317 | 98028 88207 68 | 0.000 % |
279.67/279.97 c | 442411 | 1954 8344 25317 | 98028 88803 68 | 0.000 % |
280.18/280.43 c | 443068 | 1954 8344 25317 | 98028 89460 68 | 0.000 % |
280.67/280.91 c | 443788 | 1954 8344 25317 | 98028 90180 68 | 0.000 % |
281.17/281.46 c | 444580 | 1954 8344 25317 | 98028 90972 68 | 0.000 % |
281.77/282.05 c | 445453 | 1954 8344 25317 | 98028 91845 68 | 0.000 % |
282.47/282.73 c | 446414 | 1954 8344 25317 | 98028 92806 68 | 0.000 % |
283.17/283.46 c | 447468 | 1954 8344 25317 | 98028 93860 68 | 0.000 % |
283.97/284.26 c | 448626 | 1954 8344 25317 | 98028 95018 68 | 0.000 % |
284.97/285.23 c | 449901 | 1954 8344 25317 | 98028 96293 68 | 0.000 % |
285.97/286.24 c | 451301 | 1954 8344 25317 | 96392 87694 68 | 0.000 % |
286.97/287.24 c | 452842 | 1954 8344 25317 | 96392 89235 68 | 0.000 % |
288.07/288.36 c | 454536 | 1954 8344 25317 | 96392 90929 68 | 0.000 % |
289.37/289.61 c | 456400 | 1954 8344 25317 | 96392 92793 68 | 0.000 % |
290.67/290.95 c | 458449 | 1954 8344 25317 | 96392 94842 68 | 0.000 % |
292.07/292.39 c | 460702 | 1954 8344 25317 | 2147483647 97095 68 | 0.000 % |
293.86/294.12 c | 463180 | 1954 8344 25317 | 2147483647 99573 68 | 0.000 % |
295.76/296.01 c | 465905 | 1954 8344 25317 | 2147483647 102298 68 | 0.000 % |
297.87/298.16 c | 468904 | 1954 8344 25317 | 2147483647 105297 69 | 0.000 % |
300.26/300.55 c | 472200 | 1954 8344 25317 | 106396 95653 69 | 0.000 % |
302.86/303.11 c | 475825 | 1954 8344 25317 | 106396 99278 69 | 0.000 % |
305.56/305.86 c | 479813 | 1954 8344 25317 | 106396 103266 69 | 0.000 % |
308.56/308.86 c | 484199 | 1954 8344 25317 | 103453 95084 70 | 0.000 % |
308.66/308.94 c | 484299 | 1954 8344 25317 | 103453 95184 70 | 0.000 % |
308.76/309.03 c | 484410 | 1954 8344 25317 | 103453 95295 70 | 0.000 % |
308.87/309.13 c | 484533 | 1954 8344 25317 | 103453 95418 70 | 0.000 % |
308.97/309.25 c | 484666 | 1954 8344 25317 | 103453 95551 69 | 0.000 % |
309.07/309.36 c | 484812 | 1954 8344 25317 | 103453 95697 69 | 0.000 % |
309.17/309.49 c | 484973 | 1954 8344 25317 | 103453 95858 69 | 0.000 % |
309.37/309.64 c | 485149 | 1954 8344 25317 | 103453 96034 69 | 0.000 % |
309.47/309.78 c | 485343 | 1954 8344 25317 | 103453 96228 69 | 0.000 % |
309.67/309.93 c | 485557 | 1954 8344 25317 | 103453 96442 69 | 0.000 % |
309.87/310.15 c | 485790 | 1954 8344 25317 | 103453 96675 69 | 0.000 % |
310.07/310.34 c | 486047 | 1954 8344 25317 | 103453 96932 69 | 0.000 % |
310.27/310.58 c | 486328 | 1954 8344 25317 | 103453 97213 69 | 0.000 % |
310.56/310.81 c | 486639 | 1954 8344 25317 | 103453 97524 69 | 0.000 % |
310.76/311.09 c | 486978 | 1954 8344 25317 | 103453 97863 69 | 0.000 % |
311.07/311.38 c | 487350 | 1954 8344 25317 | 103453 98235 69 | 0.000 % |
311.36/311.69 c | 487760 | 1954 8344 25317 | 103453 98645 69 | 0.000 % |
311.76/312.04 c | 488209 | 1954 8344 25317 | 103453 99094 69 | 0.000 % |
312.17/312.42 c | 488702 | 1954 8344 25317 | 103453 99587 69 | 0.000 % |
312.56/312.86 c | 489244 | 1954 8344 25317 | 103453 100129 69 | 0.000 % |
313.06/313.32 c | 489840 | 1954 8344 25317 | 103453 100725 69 | 0.000 % |
313.56/313.87 c | 490495 | 1954 8344 25317 | 100886 88978 69 | 0.000 % |
314.06/314.34 c | 491215 | 1954 8344 25317 | 100886 89698 70 | 0.000 % |
314.56/314.83 c | 492007 | 1954 8344 25317 | 100886 90490 70 | 0.000 % |
315.16/315.46 c | 492880 | 1954 8344 25317 | 100886 91363 70 | 0.000 % |
315.86/316.13 c | 493842 | 1954 8344 25317 | 100886 92325 70 | 0.000 % |
316.57/316.86 c | 494895 | 1954 8344 25317 | 100886 93378 70 | 0.000 % |
317.36/317.64 c | 496053 | 1954 8344 25317 | 100886 94536 70 | 0.000 % |
318.36/318.62 c | 497327 | 1954 8344 25317 | 100886 95810 70 | 0.000 % |
319.36/319.60 c | 498727 | 1954 8344 25317 | 100886 97210 69 | 0.000 % |
320.36/320.69 c | 500268 | 1954 8344 25317 | 98483 98751 70 | 0.000 % |
321.56/321.86 c | 501963 | 1954 8344 25317 | 98483 88950 69 | 0.000 % |
322.86/323.14 c | 503826 | 1954 8344 25317 | 98483 90813 69 | 0.000 % |
324.26/324.51 c | 505876 | 1954 8344 25317 | 98483 92863 69 | 0.000 % |
325.65/325.98 c | 508129 | 1954 8344 25317 | 98483 95116 69 | 0.000 % |
327.25/327.55 c | 510608 | 1954 8344 25317 | 2147483647 97595 70 | 0.000 % |
329.15/329.47 c | 513333 | 1954 8344 25317 | 2147483647 100320 70 | 0.000 % |
331.15/331.49 c | 516330 | 1954 8344 25317 | 2147483647 103317 70 | 0.000 % |
333.65/333.91 c | 519627 | 1954 8344 25317 | 2147483647 106614 70 | 0.000 % |
336.15/336.46 c | 523253 | 1954 8344 25317 | 106987 97890 70 | 0.000 % |
339.05/339.35 c | 527240 | 1954 8344 25317 | 106987 101877 70 | 0.000 % |
342.64/342.92 c | 531625 | 1954 8344 25317 | 104641 92997 70 | 0.000 % |
346.04/346.40 c | 536449 | 1954 8344 25317 | 104641 97821 70 | 0.000 % |
346.14/346.48 c | 536549 | 1954 8344 25317 | 104641 97921 70 | 0.000 % |
346.25/346.58 c | 536660 | 1954 8344 25317 | 104641 98032 70 | 0.000 % |
346.34/346.67 c | 536781 | 1954 8344 25317 | 104641 98153 70 | 0.000 % |
346.44/346.80 c | 536914 | 1954 8344 25317 | 104641 98286 70 | 0.000 % |
346.64/346.90 c | 537063 | 1954 8344 25317 | 104641 98435 70 | 0.000 % |
346.74/347.05 c | 537223 | 1954 8344 25317 | 104641 98595 70 | 0.000 % |
346.84/347.19 c | 537399 | 1954 8344 25317 | 104641 98771 70 | 0.000 % |
347.04/347.36 c | 537592 | 1954 8344 25317 | 104641 98964 70 | 0.000 % |
347.25/347.56 c | 537805 | 1954 8344 25317 | 104641 99177 70 | 0.000 % |
347.44/347.74 c | 538038 | 1954 8344 25317 | 104641 99410 70 | 0.000 % |
347.64/347.96 c | 538294 | 1954 8344 25317 | 104641 99666 70 | 0.000 % |
347.84/348.16 c | 538575 | 1954 8344 25317 | 104641 99947 70 | 0.000 % |
348.14/348.41 c | 538885 | 1954 8344 25317 | 104641 100257 70 | 0.000 % |
348.34/348.68 c | 539224 | 1954 8344 25317 | 104641 100596 70 | 0.000 % |
348.64/348.95 c | 539596 | 1954 8344 25317 | 104641 100968 70 | 0.000 % |
348.94/349.29 c | 540005 | 1954 8344 25317 | 101373 101377 70 | 0.000 % |
349.34/349.66 c | 540454 | 1954 8344 25317 | 101373 87593 70 | 0.000 % |
349.64/349.98 c | 540948 | 1954 8344 25317 | 101373 88087 70 | 0.000 % |
350.04/350.34 c | 541491 | 1954 8344 25317 | 101373 88630 70 | 0.000 % |
350.44/350.76 c | 542090 | 1954 8344 25317 | 101373 89229 70 | 0.000 % |
350.94/351.20 c | 542746 | 1954 8344 25317 | 101373 89885 70 | 0.000 % |
351.44/351.73 c | 543466 | 1954 8344 25317 | 101373 90605 70 | 0.000 % |
351.94/352.29 c | 544258 | 1954 8344 25317 | 101373 91397 70 | 0.000 % |
352.54/352.88 c | 545129 | 1954 8344 25317 | 101373 92268 70 | 0.000 % |
353.24/353.58 c | 546088 | 1954 8344 25317 | 101373 93227 70 | 0.000 % |
354.04/354.33 c | 547141 | 1954 8344 25317 | 101373 94280 70 | 0.000 % |
354.84/355.18 c | 548299 | 1954 8344 25317 | 101373 95438 70 | 0.000 % |
355.73/356.04 c | 549572 | 1954 8344 25317 | 101373 96711 70 | 0.000 % |
356.83/357.19 c | 550973 | 1954 8344 25317 | 97139 86546 70 | 0.000 % |
357.93/358.25 c | 552513 | 1954 8344 25317 | 97139 88086 70 | 0.000 % |
359.03/359.37 c | 554207 | 1954 8344 25317 | 97139 89780 70 | 0.000 % |
360.23/360.58 c | 556071 | 1954 8344 25317 | 97139 91644 70 | 0.000 % |
361.73/362.04 c | 558124 | 1954 8344 25317 | 97139 93697 70 | 0.000 % |
363.23/363.59 c | 560379 | 1954 8344 25317 | 95573 86026 69 | 0.000 % |
364.83/365.14 c | 562857 | 1954 8344 25317 | 95573 88504 69 | 0.000 % |
366.52/366.84 c | 565582 | 1954 8344 25317 | 95573 91229 70 | 0.000 % |
368.42/368.76 c | 568579 | 1954 8344 25317 | 95573 94226 70 | 0.000 % |
370.62/370.92 c | 571879 | 1954 8344 25317 | 2147483647 97526 70 | 0.000 % |
373.22/373.55 c | 575505 | 1954 8344 25317 | 2147483647 101152 70 | 0.000 % |
375.92/376.22 c | 579493 | 1954 8344 25317 | 2147483647 105140 70 | 0.000 % |
379.02/379.36 c | 583879 | 1954 8344 25317 | 105647 96545 70 | 0.000 % |
382.62/382.90 c | 588702 | 1954 8344 25317 | 105647 101368 71 | 0.000 % |
386.21/386.57 c | 594011 | 1954 8344 25317 | 102666 95190 71 | 0.000 % |
386.31/386.68 c | 594113 | 1954 8344 25317 | 102666 95292 71 | 0.000 % |
386.41/386.77 c | 594223 | 1954 8344 25317 | 102666 95402 71 | 0.000 % |
386.51/386.87 c | 594344 | 1954 8344 25317 | 102666 95523 71 | 0.000 % |
386.61/386.98 c | 594477 | 1954 8344 25317 | 102666 95656 71 | 0.000 % |
386.71/387.10 c | 594623 | 1954 8344 25317 | 102666 95802 71 | 0.000 % |
386.92/387.23 c | 594787 | 1954 8344 25317 | 102666 95966 71 | 0.000 % |
387.01/387.37 c | 594963 | 1954 8344 25317 | 102666 96142 71 | 0.000 % |
387.21/387.52 c | 595158 | 1954 8344 25317 | 102666 96337 71 | 0.000 % |
387.31/387.69 c | 595370 | 1954 8344 25317 | 102666 96549 71 | 0.000 % |
387.51/387.88 c | 595605 | 1954 8344 25317 | 102666 96784 71 | 0.000 % |
387.71/388.06 c | 595861 | 1954 8344 25317 | 102666 97040 71 | 0.000 % |
387.92/388.27 c | 596143 | 1954 8344 25317 | 102666 97322 71 | 0.000 % |
388.11/388.48 c | 596452 | 1954 8344 25317 | 102666 97631 71 | 0.000 % |
388.41/388.77 c | 596792 | 1954 8344 25317 | 102666 97971 71 | 0.000 % |
388.71/389.06 c | 597164 | 1954 8344 25317 | 102666 98343 71 | 0.000 % |
389.01/389.37 c | 597574 | 1954 8344 25317 | 102666 98753 71 | 0.000 % |
389.41/389.74 c | 598026 | 1954 8344 25317 | 102666 99205 71 | 0.000 % |
389.81/390.14 c | 598519 | 1954 8344 25317 | 102666 99698 71 | 0.000 % |
390.21/390.56 c | 599062 | 1954 8344 25317 | 102666 100241 71 | 0.000 % |
390.71/391.05 c | 599658 | 1954 8344 25317 | 102666 100837 71 | 0.000 % |
391.21/391.52 c | 600314 | 1954 8344 25317 | 101180 101493 71 | 0.000 % |
391.81/392.12 c | 601034 | 1954 8344 25317 | 101180 89912 70 | 0.000 % |
392.41/392.71 c | 601826 | 1954 8344 25317 | 101180 90704 71 | 0.000 % |
393.01/393.34 c | 602697 | 1954 8344 25317 | 101180 91575 71 | 0.000 % |
393.71/394.02 c | 603655 | 1954 8344 25317 | 101180 92533 70 | 0.000 % |
394.41/394.76 c | 604709 | 1954 8344 25317 | 101180 93587 70 | 0.000 % |
395.31/395.60 c | 605867 | 1954 8344 25317 | 101180 94745 70 | 0.000 % |
396.11/396.48 c | 607140 | 1954 8344 25317 | 101180 96018 70 | 0.000 % |
397.10/397.46 c | 608540 | 1954 8344 25317 | 101180 97418 70 | 0.000 % |
398.30/398.64 c | 610080 | 1954 8344 25317 | 98882 98958 70 | 0.000 % |
399.40/399.78 c | 611774 | 1954 8344 25317 | 98882 89319 70 | 0.000 % |
400.60/400.96 c | 613637 | 1954 8344 25317 | 98882 91182 70 | 0.000 % |
402.00/402.34 c | 615687 | 1954 8344 25317 | 98882 93232 70 | 0.000 % |
403.50/403.84 c | 617940 | 1954 8344 25317 | 98882 95485 70 | 0.000 % |
405.20/405.52 c | 620418 | 1954 8344 25317 | 2147483647 97963 70 | 0.000 % |
407.20/407.50 c | 623143 | 1954 8344 25317 | 2147483647 100688 70 | 0.000 % |
409.29/409.62 c | 626141 | 1954 8344 25317 | 2147483647 103686 70 | 0.000 % |
411.69/412.06 c | 629437 | 1954 8344 25317 | 2147483647 106982 70 | 0.000 % |
414.29/414.66 c | 633062 | 1954 8344 25317 | 107545 96809 70 | 0.000 % |
417.39/417.73 c | 637049 | 1954 8344 25317 | 107545 100796 70 | 0.000 % |
420.69/421.07 c | 641434 | 1954 8344 25317 | 103750 90656 71 | 0.000 % |
423.99/424.34 c | 646258 | 1954 8344 25317 | 103750 95480 71 | 0.000 % |
427.68/428.05 c | 651563 | 1954 8344 25317 | 99222 89152 71 | 0.000 % |
431.58/431.97 c | 657398 | 1954 8344 25317 | 99222 94987 71 | 0.000 % |
431.68/432.05 c | 657500 | 1954 8344 25317 | 99222 95089 71 | 0.000 % |
431.78/432.14 c | 657613 | 1954 8344 25317 | 99222 95202 71 | 0.000 % |
431.89/432.25 c | 657734 | 1954 8344 25317 | 99222 95323 71 | 0.000 % |
431.99/432.36 c | 657867 | 1954 8344 25317 | 99222 95456 71 | 0.000 % |
432.08/432.48 c | 658014 | 1954 8344 25317 | 99222 95603 71 | 0.000 % |
432.28/432.65 c | 658175 | 1954 8344 25317 | 99222 95764 71 | 0.000 % |
432.48/432.80 c | 658352 | 1954 8344 25317 | 99222 95941 71 | 0.000 % |
432.58/432.95 c | 658546 | 1954 8344 25317 | 99222 96135 71 | 0.000 % |
432.78/433.14 c | 658760 | 1954 8344 25317 | 99222 96349 71 | 0.000 % |
432.99/433.32 c | 658993 | 1954 8344 25317 | 99222 96582 71 | 0.000 % |
433.18/433.52 c | 659250 | 1954 8344 25317 | 99222 96839 71 | 0.000 % |
433.38/433.74 c | 659531 | 1954 8344 25317 | 99222 97120 71 | 0.000 % |
433.68/434.00 c | 659840 | 1954 8344 25317 | 99222 97429 71 | 0.000 % |
433.88/434.29 c | 660181 | 1954 8344 25317 | 97592 97770 71 | 0.000 % |
434.28/434.60 c | 660553 | 1954 8344 25317 | 97592 85558 71 | 0.000 % |
434.58/434.91 c | 660962 | 1954 8344 25317 | 97592 85967 71 | 0.000 % |
434.88/435.24 c | 661414 | 1954 8344 25317 | 97592 86419 71 | 0.000 % |
435.18/435.57 c | 661907 | 1954 8344 25317 | 97592 86912 71 | 0.000 % |
435.58/435.91 c | 662449 | 1954 8344 25317 | 97592 87454 71 | 0.000 % |
435.98/436.37 c | 663045 | 1954 8344 25317 | 97592 88050 71 | 0.000 % |
436.48/436.85 c | 663700 | 1954 8344 25317 | 97592 88705 71 | 0.000 % |
436.98/437.31 c | 664420 | 1954 8344 25317 | 97592 89425 71 | 0.000 % |
437.48/437.87 c | 665212 | 1954 8344 25317 | 97592 90217 71 | 0.000 % |
438.08/438.44 c | 666083 | 1954 8344 25317 | 97592 91088 71 | 0.000 % |
438.78/439.10 c | 667042 | 1954 8344 25317 | 97592 92047 71 | 0.000 % |
439.48/439.82 c | 668096 | 1954 8344 25317 | 97592 93101 71 | 0.000 % |
440.18/440.59 c | 669255 | 1954 8344 25317 | 97592 94260 70 | 0.000 % |
441.07/441.48 c | 670528 | 1954 8344 25317 | 95005 85253 70 | 0.000 % |
442.07/442.45 c | 671929 | 1954 8344 25317 | 95005 86654 70 | 0.000 % |
443.18/443.52 c | 673469 | 1954 8344 25317 | 95005 88194 70 | 0.000 % |
444.27/444.61 c | 675164 | 1954 8344 25317 | 95005 89889 70 | 0.000 % |
445.47/445.85 c | 677028 | 1954 8344 25317 | 95005 91753 70 | 0.000 % |
446.87/447.25 c | 679077 | 1954 8344 25317 | 95005 93802 70 | 0.000 % |
448.37/448.79 c | 681331 | 1954 8344 25317 | 2147483647 96056 70 | 0.000 % |
450.07/450.45 c | 683810 | 1954 8344 25317 | 2147483647 98535 70 | 0.000 % |
451.97/452.34 c | 686535 | 1954 8344 25317 | 2147483647 101260 70 | 0.000 % |
454.16/454.50 c | 689532 | 1954 8344 25317 | 2147483647 104257 70 | 0.000 % |
456.46/456.84 c | 692828 | 1954 8344 25317 | 104726 94321 70 | 0.000 % |
458.97/459.36 c | 696454 | 1954 8344 25317 | 104726 97947 70 | 0.000 % |
462.07/462.44 c | 700443 | 1954 8344 25317 | 101496 89343 70 | 0.000 % |
464.97/465.33 c | 704829 | 1954 8344 25317 | 101496 93729 71 | 0.000 % |
468.47/468.84 c | 709652 | 1954 8344 25317 | 101496 98552 71 | 0.000 % |
472.07/472.50 c | 714958 | 1954 8344 25317 | 98900 92219 72 | 0.000 % |
476.36/476.79 c | 720793 | 1954 8344 25317 | 97262 86860 71 | 0.000 % |
480.96/481.33 c | 727211 | 1954 8344 25317 | 97262 93278 72 | 0.000 % |
481.06/481.40 c | 727311 | 1954 8344 25317 | 97262 93378 72 | 0.000 % |
481.06/481.49 c | 727424 | 1954 8344 25317 | 97262 93491 72 | 0.000 % |
481.16/481.59 c | 727546 | 1954 8344 25317 | 97262 93613 72 | 0.000 % |
481.36/481.71 c | 727679 | 1954 8344 25317 | 97262 93746 72 | 0.000 % |
481.46/481.82 c | 727828 | 1954 8344 25317 | 97262 93895 71 | 0.000 % |
481.56/481.94 c | 727989 | 1954 8344 25317 | 97262 94056 71 | 0.000 % |
481.66/482.08 c | 728165 | 1954 8344 25317 | 97262 94232 71 | 0.000 % |
481.86/482.22 c | 728359 | 1954 8344 25317 | 97262 94426 71 | 0.000 % |
481.96/482.36 c | 728571 | 1954 8344 25317 | 97262 94638 71 | 0.000 % |
482.16/482.57 c | 728804 | 1954 8344 25317 | 97262 94871 71 | 0.000 % |
482.36/482.75 c | 729060 | 1954 8344 25317 | 97262 95127 71 | 0.000 % |
482.66/483.00 c | 729343 | 1954 8344 25317 | 97262 95410 71 | 0.000 % |
482.86/483.26 c | 729653 | 1954 8344 25317 | 97262 95720 71 | 0.000 % |
483.16/483.50 c | 729995 | 1954 8344 25317 | 97262 96062 71 | 0.000 % |
483.36/483.78 c | 730367 | 1954 8344 25317 | 96068 96434 71 | 0.000 % |
483.76/484.10 c | 730776 | 1954 8344 25317 | 96068 85742 71 | 0.000 % |
483.96/484.39 c | 731225 | 1954 8344 25317 | 96068 86191 71 | 0.000 % |
484.26/484.69 c | 731718 | 1954 8344 25317 | 96068 86684 71 | 0.000 % |
484.66/485.04 c | 732260 | 1954 8344 25317 | 96068 87226 71 | 0.000 % |
485.06/485.41 c | 732856 | 1954 8344 25317 | 96068 87822 71 | 0.000 % |
485.46/485.84 c | 733511 | 1954 8344 25317 | 96068 88477 71 | 0.000 % |
485.96/486.35 c | 734231 | 1954 8344 25317 | 96068 89197 71 | 0.000 % |
486.55/486.93 c | 735023 | 1954 8344 25317 | 96068 89989 71 | 0.000 % |
487.15/487.58 c | 735896 | 1954 8344 25317 | 96068 90862 71 | 0.000 % |
487.85/488.24 c | 736855 | 1954 8344 25317 | 96068 91821 71 | 0.000 % |
488.55/488.99 c | 737908 | 1954 8344 25317 | 96068 92874 71 | 0.000 % |
489.35/489.79 c | 739066 | 1954 8344 25317 | 96068 94032 71 | 0.000 % |
490.35/490.77 c | 740339 | 1954 8344 25317 | 94967 85220 70 | 0.000 % |
491.35/491.78 c | 741739 | 1954 8344 25317 | 94967 86620 70 | 0.000 % |
492.45/492.83 c | 743279 | 1954 8344 25317 | 94967 88160 70 | 0.000 % |
493.64/494.01 c | 744973 | 1954 8344 25317 | 94967 89854 70 | 0.000 % |
494.74/495.19 c | 746836 | 1954 8344 25317 | 94967 91717 70 | 0.000 % |
496.04/496.48 c | 748885 | 1954 8344 25317 | 94967 93766 70 | 0.000 % |
497.64/498.04 c | 751139 | 1954 8344 25317 | 2147483647 96020 70 | 0.000 % |
499.44/499.87 c | 753617 | 1954 8344 25317 | 2147483647 98498 70 | 0.000 % |
501.34/501.73 c | 756344 | 1954 8344 25317 | 2147483647 101225 71 | 0.000 % |
503.64/504.09 c | 759341 | 1954 8344 25317 | 2147483647 104222 71 | 0.000 % |
505.84/506.26 c | 762638 | 1954 8344 25317 | 104882 95041 72 | 0.000 % |
508.44/508.81 c | 766263 | 1954 8344 25317 | 104882 98666 72 | 0.000 % |
511.34/511.79 c | 770251 | 1954 8344 25317 | 102406 102654 71 | 0.000 % |
514.44/514.82 c | 774636 | 1954 8344 25317 | 102406 94309 71 | 0.000 % |
517.74/518.19 c | 779459 | 1954 8344 25317 | 102406 99132 72 | 0.000 % |
521.73/522.13 c | 784764 | 1954 8344 25317 | 99673 92809 72 | 0.000 % |
525.93/526.34 c | 790600 | 1954 8344 25317 | 98045 87713 72 | 0.000 % |
530.03/530.49 c | 797019 | 1954 8344 25317 | 98045 94132 72 | 0.000 % |
534.63/535.07 c | 804079 | 1954 8344 25317 | 97116 91023 71 | 0.000 % |
534.73/535.17 c | 804179 | 1954 8344 25317 | 97116 91123 71 | 0.000 % |
534.83/535.26 c | 804289 | 1954 8344 25317 | 97116 91233 71 | 0.000 % |
534.93/535.35 c | 804410 | 1954 8344 25317 | 97116 91354 71 | 0.000 % |
535.03/535.46 c | 804545 | 1954 8344 25317 | 97116 91489 71 | 0.000 % |
535.13/535.59 c | 804694 | 1954 8344 25317 | 97116 91638 71 | 0.000 % |
535.33/535.73 c | 804854 | 1954 8344 25317 | 97116 91798 71 | 0.000 % |
535.42/535.87 c | 805030 | 1954 8344 25317 | 97116 91974 71 | 0.000 % |
535.62/536.03 c | 805224 | 1954 8344 25317 | 97116 92168 71 | 0.000 % |
535.82/536.20 c | 805436 | 1954 8344 25317 | 97116 92380 71 | 0.000 % |
535.92/536.39 c | 805670 | 1954 8344 25317 | 97116 92614 71 | 0.000 % |
536.12/536.58 c | 805926 | 1954 8344 25317 | 97116 92870 71 | 0.000 % |
536.33/536.79 c | 806211 | 1954 8344 25317 | 97116 93155 71 | 0.000 % |
536.62/537.03 c | 806520 | 1954 8344 25317 | 97116 93464 71 | 0.000 % |
536.82/537.29 c | 806859 | 1954 8344 25317 | 97116 93803 71 | 0.000 % |
537.12/537.58 c | 807232 | 1954 8344 25317 | 97116 94176 71 | 0.000 % |
537.43/537.87 c | 807641 | 1954 8344 25317 | 97116 94585 71 | 0.000 % |
537.72/538.19 c | 808090 | 1954 8344 25317 | 97116 95034 71 | 0.000 % |
538.12/538.55 c | 808583 | 1954 8344 25317 | 97116 95527 71 | 0.000 % |
538.53/538.95 c | 809128 | 1954 8344 25317 | 97116 96072 71 | 0.000 % |
539.02/539.42 c | 809726 | 1954 8344 25317 | 97116 96670 71 | 0.000 % |
539.52/539.96 c | 810381 | 1954 8344 25317 | 96945 85484 70 | 0.000 % |
540.02/540.49 c | 811101 | 1954 8344 25317 | 96945 86204 70 | 0.000 % |
540.62/541.02 c | 811894 | 1954 8344 25317 | 96945 86997 70 | 0.000 % |
541.22/541.62 c | 812765 | 1954 8344 25317 | 96945 87868 70 | 0.000 % |
541.82/542.28 c | 813724 | 1954 8344 25317 | 96945 88827 70 | 0.000 % |
542.52/542.97 c | 814777 | 1954 8344 25317 | 96945 89880 70 | 0.000 % |
543.32/543.76 c | 815937 | 1954 8344 25317 | 96945 91040 70 | 0.000 % |
544.22/544.62 c | 817211 | 1954 8344 25317 | 96945 92314 70 | 0.000 % |
545.12/545.52 c | 818613 | 1954 8344 25317 | 96945 93716 70 | 0.000 % |
546.12/546.55 c | 820153 | 1954 8344 25317 | 2147483647 95256 70 | 0.000 % |
547.32/547.74 c | 821847 | 1954 8344 25317 | 2147483647 96950 70 | 0.000 % |
548.72/549.10 c | 823711 | 1954 8344 25317 | 2147483647 98814 70 | 0.000 % |
550.22/550.66 c | 825762 | 1954 8344 25317 | 2147483647 100865 70 | 0.000 % |
551.82/552.28 c | 828015 | 1954 8344 25317 | 2147483647 103118 70 | 0.000 % |
553.92/554.32 c | 830493 | 1954 8344 25317 | 105103 92255 70 | 0.000 % |
555.71/556.20 c | 833219 | 1954 8344 25317 | 105103 94981 70 | 0.000 % |
557.91/558.31 c | 836217 | 1954 8344 25317 | 105103 97979 70 | 0.000 % |
560.21/560.62 c | 839513 | 1954 8344 25317 | 105103 101275 70 | 0.000 % |
562.61/563.07 c | 843140 | 1954 8344 25317 | 101764 92174 70 | 0.000 % |
565.21/565.65 c | 847127 | 1954 8344 25317 | 101764 96161 71 | 0.000 % |
568.41/568.86 c | 851513 | 1954 8344 25317 | 99036 89708 70 | 0.000 % |
571.81/572.24 c | 856337 | 1954 8344 25317 | 99036 94532 70 | 0.000 % |
575.71/576.14 c | 861643 | 1954 8344 25317 | 98197 86382 70 | 0.000 % |
579.70/580.11 c | 867478 | 1954 8344 25317 | 98197 92217 70 | 0.000 % |
584.30/584.72 c | 873897 | 1954 8344 25317 | 94739 87046 70 | 0.000 % |
589.00/589.46 c | 880957 | 1954 8344 25317 | 93151 84640 70 | 0.000 % |
594.00/594.48 c | 888723 | 1954 8344 25317 | 93151 92406 71 | 0.000 % |
594.10/594.56 c | 888823 | 1954 8344 25317 | 93151 92506 71 | 0.000 % |
594.20/594.64 c | 888933 | 1954 8344 25317 | 93151 92616 71 | 0.000 % |
594.30/594.74 c | 889055 | 1954 8344 25317 | 93151 92738 71 | 0.000 % |
594.39/594.85 c | 889188 | 1954 8344 25317 | 93151 92871 71 | 0.000 % |
594.49/594.96 c | 889336 | 1954 8344 25317 | 93151 93019 71 | 0.000 % |
594.60/595.08 c | 889497 | 1954 8344 25317 | 93151 93180 71 | 0.000 % |
594.79/595.27 c | 889674 | 1954 8344 25317 | 93151 84039 71 | 0.000 % |
594.99/595.41 c | 889868 | 1954 8344 25317 | 93151 84233 71 | 0.000 % |
595.09/595.57 c | 890081 | 1954 8344 25317 | 2147483647 84446 71 | 0.000 % |
595.29/595.75 c | 890314 | 1954 8344 25317 | 2147483647 84679 70 | 0.000 % |
595.49/595.94 c | 890572 | 1954 8344 25317 | 2147483647 84937 70 | 0.000 % |
595.70/596.16 c | 890853 | 1954 8344 25317 | 2147483647 85218 70 | 0.000 % |
595.89/596.35 c | 891163 | 1954 8344 25317 | 2147483647 85528 70 | 0.000 % |
596.09/596.55 c | 891503 | 1954 8344 25317 | 2147483647 85868 70 | 0.000 % |
596.39/596.85 c | 891876 | 1954 8344 25317 | 2147483647 86241 70 | 0.000 % |
596.69/597.15 c | 892285 | 1954 8344 25317 | 2147483647 86650 70 | 0.000 % |
596.99/597.45 c | 892734 | 1954 8344 25317 | 2147483647 87099 70 | 0.000 % |
597.29/597.77 c | 893227 | 1954 8344 25317 | 2147483647 87592 70 | 0.000 % |
597.69/598.14 c | 893769 | 1954 8344 25317 | 2147483647 88134 70 | 0.000 % |
598.09/598.50 c | 894365 | 1954 8344 25317 | 2147483647 88730 70 | 0.000 % |
598.49/598.94 c | 895020 | 1954 8344 25317 | 2147483647 89385 70 | 0.000 % |
598.99/599.46 c | 895741 | 1954 8344 25317 | 2147483647 90106 70 | 0.000 % |
599.49/599.97 c | 896535 | 1954 8344 25317 | 2147483647 90900 70 | 0.000 % |
600.09/600.57 c | 897406 | 1954 8344 25317 | 2147483647 91771 70 | 0.000 % |
600.79/601.21 c | 898365 | 1954 8344 25317 | 2147483647 92730 70 | 0.000 % |
601.59/602.02 c | 899419 | 1954 8344 25317 | 2147483647 93784 70 | 0.000 % |
602.39/602.88 c | 900577 | 1954 8344 25317 | 2147483647 94942 70 | 0.000 % |
603.29/603.76 c | 901850 | 1954 8344 25317 | 2147483647 96215 70 | 0.000 % |
604.29/604.74 c | 903251 | 1954 8344 25317 | 2147483647 97616 70 | 0.000 % |
605.29/605.75 c | 904792 | 1954 8344 25317 | 2147483647 99157 70 | 0.000 % |
606.49/606.96 c | 906486 | 1954 8344 25317 | 2147483647 100851 70 | 0.000 % |
607.89/608.40 c | 908351 | 1954 8344 25317 | 2147483647 102716 70 | 0.000 % |
609.59/610.04 c | 910400 | 1954 8344 25317 | 104365 91500 71 | 0.000 % |
611.09/611.60 c | 912653 | 1954 8344 25317 | 104365 93753 71 | 0.000 % |
612.88/613.33 c | 915132 | 1954 8344 25317 | 104365 96232 71 | 0.000 % |
614.88/615.34 c | 917857 | 1954 8344 25317 | 104365 98957 71 | 0.000 % |
617.38/617.87 c | 920856 | 1954 8344 25317 | 101100 88189 71 | 0.000 % |
619.68/620.19 c | 924154 | 1954 8344 25317 | 101100 91487 71 | 0.000 % |
622.18/622.63 c | 927780 | 1954 8344 25317 | 101100 95113 71 | 0.000 % |
624.88/625.31 c | 931767 | 1954 8344 25317 | 97336 88729 71 | 0.000 % |
627.68/628.17 c | 936154 | 1954 8344 25317 | 97336 93116 72 | 0.000 % |
630.98/631.49 c | 940978 | 1954 8344 25317 | 2147483647 97940 72 | 0.000 % |
634.97/635.43 c | 946283 | 1954 8344 25317 | 2147483647 103245 72 | 0.000 % |
639.57/640.09 c | 952119 | 1954 8344 25317 | 106963 93851 72 | 0.000 % |
644.37/644.89 c | 958537 | 1954 8344 25317 | 106963 100269 72 | 0.000 % |
648.97/649.40 c | 965596 | 1954 8344 25317 | 101733 91837 72 | 0.000 % |
654.27/654.74 c | 973362 | 1954 8344 25317 | 96243 86961 71 | 0.000 % |
660.36/660.87 c | 981903 | 1954 8344 25317 | 93600 84105 72 | 0.000 % |
660.46/660.93 c | 982004 | 1954 8344 25317 | 93600 84206 72 | 0.000 % |
660.57/661.04 c | 982114 | 1954 8344 25317 | 93600 84316 72 | 0.000 % |
660.67/661.12 c | 982236 | 1954 8344 25317 | 93600 84438 72 | 0.000 % |
660.76/661.20 c | 982369 | 1954 8344 25317 | 93600 84571 72 | 0.000 % |
660.76/661.30 c | 982517 | 1954 8344 25317 | 93600 84719 72 | 0.000 % |
660.96/661.42 c | 982677 | 1954 8344 25317 | 93600 84879 72 | 0.000 % |
661.06/661.55 c | 982853 | 1954 8344 25317 | 93600 85055 72 | 0.000 % |
661.16/661.67 c | 983046 | 1954 8344 25317 | 93600 85248 72 | 0.000 % |
661.36/661.84 c | 983258 | 1954 8344 25317 | 93600 85460 72 | 0.000 % |
661.47/661.99 c | 983493 | 1954 8344 25317 | 93600 85695 72 | 0.000 % |
661.67/662.18 c | 983751 | 1954 8344 25317 | 93600 85953 72 | 0.000 % |
661.87/662.39 c | 984032 | 1954 8344 25317 | 93600 86234 72 | 0.000 % |
662.16/662.60 c | 984341 | 1954 8344 25317 | 93600 86543 72 | 0.000 % |
662.36/662.84 c | 984680 | 1954 8344 25317 | 93600 86882 72 | 0.000 % |
662.56/663.08 c | 985055 | 1954 8344 25317 | 93600 87257 72 | 0.000 % |
662.96/663.41 c | 985465 | 1954 8344 25317 | 93600 87667 72 | 0.000 % |
663.26/663.76 c | 985914 | 1954 8344 25317 | 93600 88116 72 | 0.000 % |
663.66/664.13 c | 986407 | 1954 8344 25317 | 93600 88609 72 | 0.000 % |
663.97/664.48 c | 986950 | 1954 8344 25317 | 93600 89152 72 | 0.000 % |
664.46/664.90 c | 987546 | 1954 8344 25317 | 93600 89748 72 | 0.000 % |
664.86/665.38 c | 988201 | 1954 8344 25317 | 93600 90403 72 | 0.000 % |
665.46/665.93 c | 988922 | 1954 8344 25317 | 93600 91124 72 | 0.000 % |
665.96/666.44 c | 989714 | 1954 8344 25317 | 93600 91916 72 | 0.000 % |
666.56/667.09 c | 990585 | 1954 8344 25317 | 92205 82324 72 | 0.000 % |
667.27/667.74 c | 991545 | 1954 8344 25317 | 92205 83284 72 | 0.000 % |
667.86/668.37 c | 992598 | 1954 8344 25317 | 92205 84337 72 | 0.000 % |
668.56/669.09 c | 993758 | 1954 8344 25317 | 92205 85497 72 | 0.000 % |
669.46/669.92 c | 995031 | 1954 8344 25317 | 92205 86770 72 | 0.000 % |
670.36/670.86 c | 996432 | 1954 8344 25317 | 92205 88171 72 | 0.000 % |
671.36/671.82 c | 997973 | 1954 8344 25317 | 92205 89712 72 | 0.000 % |
672.46/672.91 c | 999667 | 1954 8344 25317 | 92205 91406 72 | 0.000 % |
673.76/674.24 c | 1001531 | 1954 8344 25317 | 2147483647 93270 72 | 0.000 % |
675.15/675.63 c | 1003581 | 1954 8344 25317 | 2147483647 95320 72 | 0.000 % |
676.86/677.32 c | 1005835 | 1954 8344 25317 | 2147483647 97574 71 | 0.000 % |
678.65/679.16 c | 1008315 | 1954 8344 25317 | 2147483647 100054 72 | 0.000 % |
680.65/681.16 c | 1011041 | 1954 8344 25317 | 101739 89587 71 | 0.000 % |
682.56/683.07 c | 1014039 | 1954 8344 25317 | 101739 92585 71 | 0.000 % |
684.75/685.25 c | 1017335 | 1954 8344 25317 | 101739 95881 71 | 0.000 % |
687.25/687.79 c | 1020960 | 1954 8344 25317 | 98546 88419 71 | 0.000 % |
689.95/690.44 c | 1024948 | 1954 8344 25317 | 98546 92407 71 | 0.000 % |
693.04/693.52 c | 1029334 | 1954 8344 25317 | 98546 96793 71 | 0.000 % |
696.34/696.82 c | 1034157 | 1954 8344 25317 | 97460 90722 71 | 0.000 % |
700.04/700.50 c | 1039462 | 1954 8344 25317 | 97460 96027 71 | 0.000 % |
703.94/704.49 c | 1045297 | 1954 8344 25317 | 96566 90490 71 | 0.000 % |
708.44/708.94 c | 1051716 | 1954 8344 25317 | 95193 86585 70 | 0.000 % |
713.34/713.80 c | 1058777 | 1954 8344 25317 | 95193 93646 71 | 0.000 % |
719.03/719.50 c | 1066541 | 1954 8344 25317 | 94871 90768 71 | 0.000 % |
724.34/724.83 c | 1075083 | 1954 8344 25317 | 94228 88008 71 | 0.000 % |
730.63/731.18 c | 1084477 | 1954 8344 25317 | 92925 86359 72 | 0.000 % |
730.73/731.26 c | 1084578 | 1954 8344 25317 | 92925 86460 72 | 0.000 % |
730.83/731.36 c | 1084688 | 1954 8344 25317 | 92925 86570 72 | 0.000 % |
730.93/731.45 c | 1084809 | 1954 8344 25317 | 92925 86691 72 | 0.000 % |
731.03/731.56 c | 1084943 | 1954 8344 25317 | 92925 86825 72 | 0.000 % |
731.13/731.67 c | 1085089 | 1954 8344 25317 | 92925 86971 72 | 0.000 % |
731.23/731.79 c | 1085250 | 1954 8344 25317 | 92925 87132 72 | 0.000 % |
731.43/731.93 c | 1085427 | 1954 8344 25317 | 92925 87309 72 | 0.000 % |
731.53/732.08 c | 1085620 | 1954 8344 25317 | 92925 87502 72 | 0.000 % |
731.73/732.23 c | 1085832 | 1954 8344 25317 | 92925 87714 72 | 0.000 % |
731.93/732.41 c | 1086065 | 1954 8344 25317 | 92925 87947 72 | 0.000 % |
732.13/732.61 c | 1086322 | 1954 8344 25317 | 92925 88204 72 | 0.000 % |
732.33/732.80 c | 1086605 | 1954 8344 25317 | 92925 88487 72 | 0.000 % |
732.53/733.01 c | 1086914 | 1954 8344 25317 | 92925 88796 71 | 0.000 % |
732.73/733.23 c | 1087254 | 1954 8344 25317 | 92925 89136 71 | 0.000 % |
732.93/733.49 c | 1087626 | 1954 8344 25317 | 92925 89508 71 | 0.000 % |
733.23/733.77 c | 1088036 | 1954 8344 25317 | 92925 89918 71 | 0.000 % |
733.63/734.12 c | 1088485 | 1954 8344 25317 | 92925 90367 71 | 0.000 % |
733.93/734.47 c | 1088978 | 1954 8344 25317 | 92925 90860 71 | 0.000 % |
734.33/734.85 c | 1089520 | 1954 8344 25317 | 92925 91402 71 | 0.000 % |
734.73/735.28 c | 1090116 | 1954 8344 25317 | 91883 91998 71 | 0.000 % |
735.23/735.79 c | 1090771 | 1954 8344 25317 | 91883 81534 72 | 0.000 % |
735.72/736.21 c | 1091491 | 1954 8344 25317 | 91883 82254 72 | 0.000 % |
736.22/736.76 c | 1092283 | 1954 8344 25317 | 91883 83046 71 | 0.000 % |
736.72/737.26 c | 1093154 | 1954 8344 25317 | 91883 83917 71 | 0.000 % |
737.32/737.82 c | 1094112 | 1954 8344 25317 | 91883 84875 71 | 0.000 % |
737.92/738.42 c | 1095166 | 1954 8344 25317 | 91883 85929 71 | 0.000 % |
738.62/739.13 c | 1096324 | 1954 8344 25317 | 91883 87087 71 | 0.000 % |
739.42/739.90 c | 1097597 | 1954 8344 25317 | 91883 88360 71 | 0.000 % |
740.32/740.87 c | 1098997 | 1954 8344 25317 | 91883 89760 71 | 0.000 % |
741.32/741.88 c | 1100537 | 1954 8344 25317 | 2147483647 91300 71 | 0.000 % |
742.52/743.03 c | 1102231 | 1954 8344 25317 | 2147483647 92994 71 | 0.000 % |
743.72/744.25 c | 1104094 | 1954 8344 25317 | 2147483647 94857 71 | 0.000 % |
745.02/745.58 c | 1106145 | 1954 8344 25317 | 2147483647 96908 71 | 0.000 % |
746.62/747.10 c | 1108398 | 1954 8344 25317 | 2147483647 99161 71 | 0.000 % |
748.32/748.83 c | 1110877 | 1954 8344 25317 | 100763 91238 71 | 0.000 % |
750.12/750.67 c | 1113603 | 1954 8344 25317 | 100763 93964 71 | 0.000 % |
752.11/752.66 c | 1116600 | 1954 8344 25317 | 100763 96961 71 | 0.000 % |
754.31/754.87 c | 1119896 | 1954 8344 25317 | 100763 100257 71 | 0.000 % |
756.81/757.37 c | 1123521 | 1954 8344 25317 | 2147483647 103882 72 | 0.000 % |
759.81/760.36 c | 1127508 | 1954 8344 25317 | 2147483647 107869 72 | 0.000 % |
763.30/763.82 c | 1131894 | 1954 8344 25317 | 110361 97105 71 | 0.000 % |
766.70/767.27 c | 1136718 | 1954 8344 25317 | 110361 101929 72 | 0.000 % |
770.51/771.09 c | 1142023 | 1954 8344 25317 | 105212 92275 72 | 0.000 % |
774.70/775.28 c | 1147858 | 1954 8344 25317 | 105212 98110 72 | 0.000 % |
779.30/779.86 c | 1154278 | 1954 8344 25317 | 100254 90280 71 | 0.000 % |
784.30/784.84 c | 1161337 | 1954 8344 25317 | 96002 85125 71 | 0.000 % |
789.59/790.19 c | 1169102 | 1954 8344 25317 | 96002 92890 72 | 0.000 % |
795.49/796.08 c | 1177643 | 1954 8344 25317 | 93788 90544 72 | 0.000 % |
801.89/802.49 c | 1187038 | 1954 8344 25317 | 92901 90072 74 | 0.000 % |
808.69/809.24 c | 1197373 | 1954 8344 25317 | 93034 89897 74 | 0.000 % |
808.79/809.32 c | 1197474 | 1954 8344 25317 | 93034 89998 74 | 0.000 % |
808.89/809.41 c | 1197584 | 1954 8344 25317 | 93034 90108 74 | 0.000 % |
808.99/809.52 c | 1197706 | 1954 8344 25317 | 93034 90230 74 | 0.000 % |
809.09/809.64 c | 1197839 | 1954 8344 25317 | 93034 90363 74 | 0.000 % |
809.19/809.76 c | 1197985 | 1954 8344 25317 | 93034 90509 74 | 0.000 % |
809.29/809.90 c | 1198148 | 1954 8344 25317 | 93034 90672 74 | 0.000 % |
809.48/810.04 c | 1198324 | 1954 8344 25317 | 93034 90848 74 | 0.000 % |
809.58/810.18 c | 1198518 | 1954 8344 25317 | 93034 91042 74 | 0.000 % |
809.78/810.37 c | 1198730 | 1954 8344 25317 | 93034 91254 74 | 0.000 % |
809.98/810.55 c | 1198963 | 1954 8344 25317 | 93034 91487 74 | 0.000 % |
810.19/810.75 c | 1199221 | 1954 8344 25317 | 93034 91745 74 | 0.000 % |
810.38/810.96 c | 1199504 | 1954 8344 25317 | 93034 92028 74 | 0.000 % |
810.68/811.23 c | 1199816 | 1954 8344 25317 | 93034 92340 74 | 0.000 % |
810.98/811.50 c | 1200156 | 1954 8344 25317 | 92524 92680 74 | 0.000 % |
811.29/811.83 c | 1200528 | 1954 8344 25317 | 92524 80957 74 | 0.000 % |
811.58/812.11 c | 1200938 | 1954 8344 25317 | 92524 81367 74 | 0.000 % |
811.88/812.43 c | 1201387 | 1954 8344 25317 | 92524 81816 74 | 0.000 % |
812.18/812.74 c | 1201880 | 1954 8344 25317 | 92524 82309 74 | 0.000 % |
812.58/813.10 c | 1202423 | 1954 8344 25317 | 92524 82852 74 | 0.000 % |
812.98/813.53 c | 1203019 | 1954 8344 25317 | 92524 83448 74 | 0.000 % |
813.39/813.98 c | 1203674 | 1954 8344 25317 | 92524 84103 74 | 0.000 % |
813.88/814.48 c | 1204395 | 1954 8344 25317 | 92524 84824 74 | 0.000 % |
814.49/815.02 c | 1205188 | 1954 8344 25317 | 92524 85617 74 | 0.000 % |
815.08/815.65 c | 1206060 | 1954 8344 25317 | 92524 86489 74 | 0.000 % |
815.78/816.37 c | 1207018 | 1954 8344 25317 | 92524 87447 73 | 0.000 % |
816.58/817.11 c | 1208072 | 1954 8344 25317 | 92524 88501 73 | 0.000 % |
817.38/817.90 c | 1209230 | 1954 8344 25317 | 92524 89659 73 | 0.000 % |
818.28/818.86 c | 1210504 | 1954 8344 25317 | 90429 81255 73 | 0.000 % |
819.28/819.84 c | 1211906 | 1954 8344 25317 | 90429 82657 73 | 0.000 % |
820.38/820.95 c | 1213446 | 1954 8344 25317 | 90429 84197 73 | 0.000 % |
821.58/822.10 c | 1215141 | 1954 8344 25317 | 90429 85892 73 | 0.000 % |
822.68/823.28 c | 1217004 | 1954 8344 25317 | 90429 87755 73 | 0.000 % |
824.08/824.65 c | 1219053 | 1954 8344 25317 | 90429 89804 72 | 0.000 % |
825.58/826.16 c | 1221306 | 1954 8344 25317 | 81383 74518 72 | 0.000 % |
826.98/827.51 c | 1223784 | 1954 8344 25317 | 81383 76996 72 | 0.000 % |
828.48/829.04 c | 1226510 | 1954 8344 25317 | 81383 79722 72 | 0.000 % |
830.27/830.86 c | 1229508 | 1954 8344 25317 | 81383 74550 72 | 0.000 % |
832.27/832.81 c | 1232804 | 1954 8344 25317 | 2147483647 77846 72 | 0.000 % |
834.38/834.98 c | 1236429 | 1954 8344 25317 | 2147483647 81471 72 | 0.000 % |
836.97/837.50 c | 1240417 | 1954 8344 25317 | 2147483647 85459 72 | 0.000 % |
839.78/840.35 c | 1244802 | 1954 8344 25317 | 2147483647 89844 72 | 0.000 % |
843.17/843.71 c | 1249626 | 1954 8344 25317 | 2147483647 94668 72 | 0.000 % |
846.97/847.51 c | 1254931 | 1954 8344 25317 | 2147483647 99973 72 | 0.000 % |
851.46/852.06 c | 1260767 | 1954 8344 25317 | 105042 91487 72 | 0.000 % |
855.95/856.58 c | 1267187 | 1954 8344 25317 | 105042 97907 72 | 0.000 % |
861.45/862.00 c | 1274247 | 1954 8344 25317 | 100720 92358 71 | 0.000 % |
867.05/867.67 c | 1282012 | 1954 8344 25317 | 98111 88687 70 | 0.000 % |
872.45/873.08 c | 1290552 | 1954 8344 25317 | 96675 86052 71 | 0.000 % |
878.35/878.93 c | 1299946 | 1954 8344 25317 | 96675 95446 71 | 0.000 % |
885.64/886.24 c | 1310279 | 1954 8344 25317 | 95120 84934 72 | 0.000 % |
893.84/894.45 c | 1321647 | 1954 8344 25317 | 94655 84330 73 | 0.000 % |
893.94/894.52 c | 1321751 | 1954 8344 25317 | 94655 84434 73 | 0.000 % |
894.04/894.61 c | 1321862 | 1954 8344 25317 | 94655 84545 73 | 0.000 % |
894.14/894.71 c | 1321985 | 1954 8344 25317 | 94655 84668 73 | 0.000 % |
894.24/894.82 c | 1322120 | 1954 8344 25317 | 94655 84803 73 | 0.000 % |
894.34/894.93 c | 1322266 | 1954 8344 25317 | 94655 84949 73 | 0.000 % |
894.44/895.05 c | 1322427 | 1954 8344 25317 | 94655 85110 73 | 0.000 % |
894.54/895.18 c | 1322603 | 1954 8344 25317 | 94655 85286 73 | 0.000 % |
894.74/895.32 c | 1322798 | 1954 8344 25317 | 94655 85481 73 | 0.000 % |
894.84/895.47 c | 1323010 | 1954 8344 25317 | 94655 85693 73 | 0.000 % |
895.04/895.67 c | 1323243 | 1954 8344 25317 | 94655 85926 73 | 0.000 % |
895.23/895.86 c | 1323499 | 1954 8344 25317 | 94655 86182 73 | 0.000 % |
895.43/896.05 c | 1323782 | 1954 8344 25317 | 94655 86465 73 | 0.000 % |
895.73/896.30 c | 1324091 | 1954 8344 25317 | 94655 86774 73 | 0.000 % |
895.94/896.58 c | 1324431 | 1954 8344 25317 | 94655 87114 73 | 0.000 % |
896.23/896.84 c | 1324804 | 1954 8344 25317 | 94655 87487 73 | 0.000 % |
896.53/897.15 c | 1325214 | 1954 8344 25317 | 94655 87897 73 | 0.000 % |
896.83/897.48 c | 1325664 | 1954 8344 25317 | 94655 88347 73 | 0.000 % |
897.23/897.80 c | 1326157 | 1954 8344 25317 | 94655 88840 73 | 0.000 % |
897.53/898.18 c | 1326700 | 1954 8344 25317 | 94655 89383 73 | 0.000 % |
898.03/898.60 c | 1327299 | 1954 8344 25317 | 94655 89982 73 | 0.000 % |
898.43/899.05 c | 1327954 | 1954 8344 25317 | 94655 90637 73 | 0.000 % |
898.93/899.51 c | 1328674 | 1954 8344 25317 | 94655 91357 73 | 0.000 % |
899.43/900.07 c | 1329466 | 1954 8344 25317 | 94655 92149 73 | 0.000 % |
900.13/900.73 c | 1330337 | 1954 8344 25317 | 92684 82461 72 | 0.000 % |
900.83/901.41 c | 1331296 | 1954 8344 25317 | 92684 83420 72 | 0.000 % |
901.53/902.11 c | 1332350 | 1954 8344 25317 | 92684 84474 72 | 0.000 % |
902.23/902.86 c | 1333510 | 1954 8344 25317 | 92684 85634 72 | 0.000 % |
903.13/903.77 c | 1334783 | 1954 8344 25317 | 92684 86907 72 | 0.000 % |
904.03/904.63 c | 1336184 | 1954 8344 25317 | 92684 88308 72 | 0.000 % |
905.03/905.64 c | 1337724 | 1954 8344 25317 | 92684 89848 72 | 0.000 % |
906.03/906.66 c | 1339419 | 1954 8344 25317 | 92684 91543 72 | 0.000 % |
907.22/907.90 c | 1341282 | 1954 8344 25317 | 2147483647 93406 72 | 0.000 % |
908.72/909.33 c | 1343332 | 1954 8344 25317 | 2147483647 95456 72 | 0.000 % |
910.22/910.82 c | 1345586 | 1954 8344 25317 | 2147483647 97710 72 | 0.000 % |
912.02/912.67 c | 1348065 | 1954 8344 25317 | 2147483647 100189 72 | 0.000 % |
914.02/914.68 c | 1350792 | 1954 8344 25317 | 102124 91385 72 | 0.000 % |
916.22/916.82 c | 1353790 | 1954 8344 25317 | 102124 94383 71 | 0.000 % |
918.62/919.29 c | 1357086 | 1954 8344 25317 | 102124 97679 71 | 0.000 % |
921.41/922.07 c | 1360711 | 1954 8344 25317 | 100593 88488 71 | 0.000 % |
924.21/924.86 c | 1364701 | 1954 8344 25317 | 100593 92478 71 | 0.000 % |
927.41/928.03 c | 1369087 | 1954 8344 25317 | 100593 96864 71 | 0.000 % |
930.61/931.28 c | 1373910 | 1954 8344 25317 | 97777 89944 71 | 0.000 % |
934.31/934.92 c | 1379217 | 1954 8344 25317 | 97777 95251 71 | 0.000 % |
938.51/939.13 c | 1385052 | 1954 8344 25317 | 96037 89666 72 | 0.000 % |
942.71/943.30 c | 1391473 | 1954 8344 25317 | 94614 85884 72 | 0.000 % |
947.40/948.09 c | 1398532 | 1954 8344 25317 | 94614 92943 72 | 0.000 % |
952.30/953.00 c | 1406296 | 1954 8344 25317 | 94412 89768 71 | 0.000 % |
958.40/959.00 c | 1414837 | 1954 8344 25317 | 93475 88255 73 | 0.000 % |
964.80/965.49 c | 1424231 | 1954 8344 25317 | 93422 87303 74 | 0.000 % |
971.99/972.69 c | 1434564 | 1954 8344 25317 | 93072 88040 74 | 0.000 % |
978.99/979.63 c | 1445931 | 1954 8344 25317 | 82346 78403 76 | 0.000 % |
986.98/987.68 c | 1458435 | 1954 8344 25317 | 2147483647 90907 76 | 0.000 % |
987.09/987.76 c | 1458537 | 1954 8344 25317 | 2147483647 91009 76 | 0.000 % |
987.19/987.87 c | 1458648 | 1954 8344 25317 | 2147483647 91120 76 | 0.000 % |
987.28/987.97 c | 1458770 | 1954 8344 25317 | 2147483647 91242 76 | 0.000 % |
987.38/988.05 c | 1458904 | 1954 8344 25317 | 2147483647 91376 76 | 0.000 % |
987.48/988.18 c | 1459050 | 1954 8344 25317 | 2147483647 91522 76 | 0.000 % |
987.68/988.31 c | 1459210 | 1954 8344 25317 | 2147483647 91682 76 | 0.000 % |
987.78/988.44 c | 1459386 | 1954 8344 25317 | 2147483647 91858 76 | 0.000 % |
987.98/988.62 c | 1459581 | 1954 8344 25317 | 2147483647 92053 76 | 0.000 % |
988.19/988.82 c | 1459794 | 1954 8344 25317 | 2147483647 92266 76 | 0.000 % |
988.29/988.99 c | 1460027 | 1954 8344 25317 | 92472 92499 76 | 0.000 % |
988.58/989.25 c | 1460283 | 1954 8344 25317 | 92472 80919 76 | 0.000 % |
988.78/989.46 c | 1460565 | 1954 8344 25317 | 92472 81201 76 | 0.000 % |
988.98/989.67 c | 1460875 | 1954 8344 25317 | 92472 81511 76 | 0.000 % |
989.29/989.91 c | 1461216 | 1954 8344 25317 | 92472 81852 76 | 0.000 % |
989.48/990.12 c | 1461588 | 1954 8344 25317 | 92472 82224 76 | 0.000 % |
989.78/990.41 c | 1461999 | 1954 8344 25317 | 92472 82635 76 | 0.000 % |
990.08/990.71 c | 1462451 | 1954 8344 25317 | 92472 83087 76 | 0.000 % |
990.38/991.00 c | 1462947 | 1954 8344 25317 | 92472 83583 76 | 0.000 % |
990.68/991.33 c | 1463489 | 1954 8344 25317 | 92472 84125 76 | 0.000 % |
991.08/991.71 c | 1464085 | 1954 8344 25317 | 92472 84721 76 | 0.000 % |
991.48/992.17 c | 1464741 | 1954 8344 25317 | 92472 85377 76 | 0.000 % |
991.88/992.59 c | 1465461 | 1954 8344 25317 | 92472 86097 76 | 0.000 % |
992.48/993.10 c | 1466255 | 1954 8344 25317 | 92472 86891 76 | 0.000 % |
993.08/993.71 c | 1467126 | 1954 8344 25317 | 92472 87762 76 | 0.000 % |
993.68/994.32 c | 1468084 | 1954 8344 25317 | 92472 88720 76 | 0.000 % |
994.38/995.04 c | 1469138 | 1954 8344 25317 | 92472 89774 76 | 0.000 % |
995.08/995.77 c | 1470296 | 1954 8344 25317 | 2147483647 90932 76 | 0.000 % |
995.88/996.56 c | 1471569 | 1954 8344 25317 | 2147483647 92205 76 | 0.000 % |
996.78/997.50 c | 1472969 | 1954 8344 25317 | 2147483647 93605 75 | 0.000 % |
997.87/998.59 c | 1474509 | 1954 8344 25317 | 2147483647 95145 75 | 0.000 % |
999.18/999.88 c | 1476204 | 1954 8344 25317 | 2147483647 96840 75 | 0.000 % |
1000.57/1001.27 c | 1478068 | 1954 8344 25317 | 2147483647 98704 75 | 0.000 % |
1002.17/1002.80 c | 1480117 | 1954 8344 25317 | 100637 100753 75 | 0.000 % |
1003.68/1004.31 c | 1482370 | 1954 8344 25317 | 100637 91931 74 | 0.000 % |
1005.37/1006.04 c | 1484850 | 1954 8344 25317 | 100637 94411 74 | 0.000 % |
1007.27/1007.90 c | 1487575 | 1954 8344 25317 | 100637 97136 74 | 0.000 % |
1009.47/1010.13 c | 1490573 | 1954 8344 25317 | 99561 89304 74 | 0.000 % |
1011.67/1012.34 c | 1493870 | 1954 8344 25317 | 99561 92601 74 | 0.000 % |
1014.27/1014.92 c | 1497495 | 1954 8344 25317 | 99561 96226 74 | 0.000 % |
1017.17/1017.89 c | 1501483 | 1954 8344 25317 | 98731 88631 73 | 0.000 % |
1020.26/1020.92 c | 1505870 | 1954 8344 25317 | 98731 93018 73 | 0.000 % |
1023.76/1024.46 c | 1510694 | 1954 8344 25317 | 97148 86001 72 | 0.000 % |
1027.26/1027.93 c | 1516000 | 1954 8344 25317 | 97148 91307 72 | 0.000 % |
1031.26/1031.92 c | 1521835 | 1954 8344 25317 | 95308 85620 71 | 0.000 % |
1035.46/1036.12 c | 1528253 | 1954 8344 25317 | 95308 92038 72 | 0.000 % |
1039.86/1040.56 c | 1535312 | 1954 8344 25317 | 93788 89374 71 | 0.000 % |
1045.46/1046.11 c | 1543077 | 1954 8344 25317 | 2147483647 97139 71 | 0.000 % |
1051.85/1052.57 c | 1551618 | 1954 8344 25317 | 104063 90216 71 | 0.000 % |
1058.45/1059.14 c | 1561012 | 1954 8344 25317 | 98598 85577 71 | 0.000 % |
1065.45/1066.13 c | 1571346 | 1954 8344 25317 | 94565 82276 72 | 0.000 % |
1073.04/1073.71 c | 1582713 | 1954 8344 25317 | 90930 82892 74 | 0.000 % |
1081.34/1082.02 c | 1595218 | 1954 8344 25317 | 90184 86048 74 | 0.000 % |
1091.13/1091.88 c | 1608971 | 1954 8344 25317 | 81420 73488 74 | 0.000 % |
1091.23/1091.94 c | 1609073 | 1954 8344 25317 | 81420 73590 74 | 0.000 % |
1091.33/1092.03 c | 1609183 | 1954 8344 25317 | 81420 73700 74 | 0.000 % |
1091.43/1092.11 c | 1609306 | 1954 8344 25317 | 81420 73823 74 | 0.000 % |
1091.43/1092.20 c | 1609439 | 1954 8344 25317 | 81420 73956 74 | 0.000 % |
1091.54/1092.29 c | 1609587 | 1954 8344 25317 | 81420 74104 74 | 0.000 % |
1091.73/1092.41 c | 1609748 | 1954 8344 25317 | 81420 74265 74 | 0.000 % |
1091.83/1092.51 c | 1609924 | 1954 8344 25317 | 81420 74441 74 | 0.000 % |
1091.93/1092.64 c | 1610117 | 1954 8344 25317 | 2147483647 74634 74 | 0.000 % |
1092.03/1092.77 c | 1610329 | 1954 8344 25317 | 2147483647 74846 74 | 0.000 % |
1092.23/1092.90 c | 1610564 | 1954 8344 25317 | 2147483647 75081 74 | 0.000 % |
1092.33/1093.08 c | 1610820 | 1954 8344 25317 | 2147483647 75337 74 | 0.000 % |
1092.53/1093.25 c | 1611104 | 1954 8344 25317 | 2147483647 75621 74 | 0.000 % |
1092.73/1093.45 c | 1611413 | 1954 8344 25317 | 2147483647 75930 74 | 0.000 % |
1092.93/1093.66 c | 1611753 | 1954 8344 25317 | 2147483647 76270 74 | 0.000 % |
1093.13/1093.89 c | 1612125 | 1954 8344 25317 | 2147483647 76642 74 | 0.000 % |
1093.43/1094.12 c | 1612536 | 1954 8344 25317 | 2147483647 77053 74 | 0.000 % |
1093.73/1094.42 c | 1612985 | 1954 8344 25317 | 2147483647 77502 74 | 0.000 % |
1094.03/1094.72 c | 1613479 | 1954 8344 25317 | 2147483647 77996 74 | 0.000 % |
1094.33/1095.02 c | 1614023 | 1954 8344 25317 | 2147483647 78540 74 | 0.000 % |
1094.73/1095.45 c | 1614621 | 1954 8344 25317 | 2147483647 79138 74 | 0.000 % |
1095.23/1095.90 c | 1615276 | 1954 8344 25317 | 2147483647 79793 74 | 0.000 % |
1095.63/1096.37 c | 1615997 | 1954 8344 25317 | 2147483647 80514 74 | 0.000 % |
1096.23/1096.92 c | 1616790 | 1954 8344 25317 | 2147483647 81307 74 | 0.000 % |
1096.73/1097.50 c | 1617661 | 1954 8344 25317 | 2147483647 82178 74 | 0.000 % |
1097.43/1098.15 c | 1618622 | 1954 8344 25317 | 2147483647 83139 74 | 0.000 % |
1098.03/1098.80 c | 1619675 | 1954 8344 25317 | 2147483647 84192 74 | 0.000 % |
1098.83/1099.54 c | 1620833 | 1954 8344 25317 | 2147483647 85350 74 | 0.000 % |
1099.63/1100.39 c | 1622107 | 1954 8344 25317 | 2147483647 86624 74 | 0.000 % |
1100.53/1101.24 c | 1623507 | 1954 8344 25317 | 2147483647 88024 74 | 0.000 % |
1101.73/1102.42 c | 1625049 | 1954 8344 25317 | 2147483647 89566 73 | 0.000 % |
1102.93/1103.67 c | 1626743 | 1954 8344 25317 | 2147483647 91260 73 | 0.000 % |
1104.23/1104.92 c | 1628607 | 1954 8344 25317 | 2147483647 93124 73 | 0.000 % |
1105.52/1106.27 c | 1630656 | 1954 8344 25317 | 2147483647 95173 73 | 0.000 % |
1107.12/1107.83 c | 1632911 | 1954 8344 25317 | 2147483647 97428 73 | 0.000 % |
1109.02/1109.76 c | 1635390 | 1954 8344 25317 | 2147483647 99907 73 | 0.000 % |
1110.92/1111.63 c | 1638116 | 1954 8344 25317 | 2147483647 102633 73 | 0.000 % |
1113.43/1114.12 c | 1641115 | 1954 8344 25317 | 104519 93322 73 | 0.000 % |
1115.73/1116.42 c | 1644412 | 1954 8344 25317 | 104519 96619 73 | 0.000 % |
1118.43/1119.15 c | 1648039 | 1954 8344 25317 | 104519 100246 73 | 0.000 % |
1121.23/1122.00 c | 1652026 | 1954 8344 25317 | 102208 90996 73 | 0.000 % |
1124.22/1124.95 c | 1656414 | 1954 8344 25317 | 102208 95384 73 | 0.000 % |
1127.62/1128.38 c | 1661237 | 1954 8344 25317 | 98970 88889 72 | 0.000 % |
1131.12/1131.87 c | 1666543 | 1954 8344 25317 | 98970 94195 72 | 0.000 % |
1135.42/1136.11 c | 1672381 | 1954 8344 25317 | 97653 88884 71 | 0.000 % |
1139.71/1140.44 c | 1678799 | 1954 8344 25317 | 97653 95302 71 | 0.000 % |
1144.91/1145.66 c | 1685860 | 1954 8344 25317 | 96503 91759 71 | 0.000 % |
1150.71/1151.48 c | 1693625 | 1954 8344 25317 | 95900 88280 70 | 0.000 % |
1157.21/1157.95 c | 1702165 | 1954 8344 25317 | 94655 84539 71 | 0.000 % |
1164.31/1165.01 c | 1711559 | 1954 8344 25317 | 92374 81719 71 | 0.000 % |
1170.59/1171.37 c | 1721895 | 1954 8344 25317 | 90160 80480 72 | 0.000 % |
1177.59/1178.38 c | 1733261 | 1954 8344 25317 | 88585 81683 73 | 0.000 % |
1185.59/1186.39 c | 1745763 | 1954 8344 25317 | 88423 83284 73 | 0.000 % |
1195.09/1195.80 c | 1759516 | 1954 8344 25317 | 87521 78465 74 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832659-1242785998/watcher-1832659-1242785998 -o /tmp/evaluation-result-1832659-1242785998/solver-1832659-1242785998 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832659-1242785998.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306628228 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266890608722 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/21692/statm: 1339 235 195 169 0 50 0
[pid=21693] ppid=21692 vsize=5356 CPUtime=0
/proc/21693/stat : 21693 (SatELiteGTI) R 21692 21692 21067 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306628229 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/21693/statm: 1339 238 198 169 0 50 0
[pid=21695] ppid=21693 vsize=0 CPUtime=0
/proc/21695/stat : 21695 (sed) Z 21693 21692 21067 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306628229 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/21695/statm: 0 0 0 0 0 0 0
[startup+0.071103 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101105 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301144 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.70122 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21692
/proc/meminfo: memFree=1814432/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50137 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1812176/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=4844 CPUtime=1.44
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 870 0 0 0 144 0 0 0 25 0 1 0 306628233 4960256 856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 1211 856 77 171 0 1038 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10200
[startup+3.10168 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1809360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=7956 CPUtime=3.04
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 1643 0 0 0 303 1 0 0 25 0 1 0 306628233 8146944 1629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 1989 1629 77 171 0 1816 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13312
[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1804368/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=11948 CPUtime=6.23
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 2641 0 0 0 622 1 0 0 25 0 1 0 306628233 12234752 2627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 2987 2627 77 171 0 2814 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17304
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1798552/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=17308 CPUtime=12.62
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 3980 0 0 0 1258 4 0 0 25 0 1 0 306628233 17723392 3966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 4327 3966 77 171 0 4154 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22664
[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1790680/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=24952 CPUtime=25.41
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 5888 0 0 0 2534 7 0 0 25 0 1 0 306628233 25550848 5874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 6238 5874 77 171 0 6065 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30308
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1782744/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=32788 CPUtime=50.99
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 7830 0 0 0 5090 9 0 0 25 0 1 0 306628233 33574912 7816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8197 7816 77 171 0 8024 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38144
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1781080/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=34240 CPUtime=102.16
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8211 0 0 0 10206 10 0 0 25 0 1 0 306628233 35061760 8197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8560 8197 77 171 0 8387 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 39596
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1779928/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=35296 CPUtime=162.11
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8462 0 0 0 16201 10 0 0 25 0 1 0 306628233 36143104 8448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 8824 8448 77 171 0 8651 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 40652
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1778392/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=36748 CPUtime=222.08
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8818 0 0 0 22197 11 0 0 25 0 1 0 306628233 37629952 8804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9187 8804 77 171 0 9014 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 42104
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1778264/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=36748 CPUtime=282.04
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 8818 0 0 0 28193 11 0 0 25 0 1 0 306628233 37629952 8804 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9187 8804 77 171 0 9014 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 42104
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1776928/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=37992 CPUtime=342.02
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9150 0 0 0 34190 12 0 0 25 0 1 0 306628233 38903808 9136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9498 9136 77 171 0 9325 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 43348
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1776736/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=37992 CPUtime=401.97
################
# More data... #
################
/proc/21698/statm: 9663 9306 77 171 0 9490 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 44008
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1775840/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=38652 CPUtime=581.87
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9320 0 0 0 58174 13 0 0 25 0 1 0 306628233 39579648 9306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 9663 9306 77 171 0 9490 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 44008
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1774112/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=40368 CPUtime=641.85
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9726 0 0 0 64171 14 0 0 25 0 1 0 306628233 41336832 9712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10092 9712 77 171 0 9919 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 45724
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1773984/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=40368 CPUtime=701.81
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 9730 0 0 0 70167 14 0 0 25 0 1 0 306628233 41336832 9716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10092 9716 77 171 0 9919 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 45724
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772512/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41688 CPUtime=761.78
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10076 0 0 0 76164 14 0 0 25 0 1 0 306628233 42688512 10062 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10422 10062 77 171 0 10249 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 47044
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772256/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=821.75
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 82161 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 47176
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772192/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=881.71
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 88157 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 47176
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1772064/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=941.68
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 94154 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 47176
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771936/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=1001.64
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 100150 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 47176
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771872/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=41820 CPUtime=1061.62
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10110 0 0 0 106148 14 0 0 25 0 1 0 306628233 42823680 10096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10455 10096 77 171 0 10282 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 47176
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771488/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1121.59
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 112144 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 47572
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1181.56
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 118141 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 47572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21698
/proc/meminfo: memFree=1771360/2055920 swapFree=4177160/4192956
[pid=21692] ppid=21690 vsize=5356 CPUtime=0.03
/proc/21692/stat : 21692 (SatELiteGTI) S 21690 21692 21067 0 -1 4194304 336 618 0 0 0 0 3 0 16 0 1 0 306628228 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21692/statm: 1339 239 197 169 0 50 0
[pid=21698] ppid=21692 vsize=42216 CPUtime=1200.06
/proc/21698/stat : 21698 (minisat_static) R 21692 21692 21067 0 -1 4194304 10189 0 0 0 119991 15 0 0 25 0 1 0 306628233 43229184 10175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21698/statm: 10554 10175 77 171 0 10381 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 47572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21692 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=30995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.039993
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9397
Max. virtual memory (cumulated for all children) (KiB): 47572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954
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= 14
involuntary context switches= 6
runsolver used 1.07484 second user time and 3.44448 second system time
The end
Begin job on node38 at 2009-05-20 04:19:58
IDJOB=1832659
IDBENCH=70293
IDSOLVER=671
FILE ID=node38/1832659-1242785998
PBS_JOBID= 9322327
Free space on /tmp= 66200 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832659-1242785998/watcher-1832659-1242785998 -o /tmp/evaluation-result-1832659-1242785998/solver-1832659-1242785998 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832659-1242785998.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f790d28bf27d167da954318ad1a18e9d
RANDOM SEED=1726153238
node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1814912 kB
Buffers: 33236 kB
Cached: 155572 kB
SwapCached: 10024 kB
Active: 87004 kB
Inactive: 114456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1814912 kB
SwapTotal: 4192956 kB
SwapFree: 4177160 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 14128 kB
Slab: 25544 kB
Committed_AS: 1086480 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66200 MiB
End job on node38 at 2009-05-20 04:40:01