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 | 8359 25345 | -- 0 -- -- | -- | -41/145
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1960 #clauses: 8359 #literals: 25345
0.00/0.03 c CPU time: 0.022996 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: 1960 |
0.00/0.04 c | Number of clauses: 8359 |
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 | 1960 8359 25345 | 2786 0 nan | 0.000 % |
0.00/0.05 c | 101 | 1960 8359 25345 | 2786 101 59 | 0.000 % |
0.00/0.06 c | 201 | 1960 8359 25345 | 2786 201 56 | 0.000 % |
0.00/0.07 c | 301 | 1960 8359 25345 | 2786 301 57 | 0.000 % |
0.00/0.07 c | 413 | 1960 8359 25345 | 2786 413 59 | 0.000 % |
0.00/0.08 c | 513 | 1960 8359 25345 | 2786 513 60 | 0.000 % |
0.00/0.09 c | 624 | 1960 8359 25345 | 2786 624 61 | 0.000 % |
0.03/0.10 c | 748 | 1960 8359 25345 | 2786 748 59 | 0.000 % |
0.03/0.11 c | 848 | 1960 8359 25345 | 2786 848 59 | 0.000 % |
0.03/0.12 c | 958 | 1960 8359 25345 | 2786 958 59 | 0.000 % |
0.03/0.12 c | 1079 | 1960 8359 25345 | 2786 1079 58 | 0.000 % |
0.03/0.14 c | 1212 | 1960 8359 25345 | 2786 1212 58 | 0.000 % |
0.03/0.14 c | 1315 | 1960 8359 25345 | 2786 1315 59 | 0.000 % |
0.03/0.15 c | 1426 | 1960 8359 25345 | 2786 1426 59 | 0.000 % |
0.03/0.16 c | 1548 | 1960 8359 25345 | 2786 1548 59 | 0.000 % |
0.03/0.17 c | 1682 | 1960 8359 25345 | 2786 1682 59 | 0.000 % |
0.03/0.19 c | 1829 | 1960 8359 25345 | 2786 1829 60 | 0.000 % |
0.03/0.19 c | 1929 | 1960 8359 25345 | 2786 1929 60 | 0.000 % |
0.03/0.20 c | 2039 | 1960 8359 25345 | 2786 2039 60 | 0.000 % |
0.03/0.21 c | 2161 | 1960 8359 25345 | 2786 2161 59 | 0.000 % |
0.03/0.22 c | 2294 | 1960 8359 25345 | 2786 2294 59 | 0.000 % |
0.03/0.24 c | 2440 | 1960 8359 25345 | 2786 2440 59 | 0.000 % |
0.03/0.25 c | 2603 | 1960 8359 25345 | 2786 2603 59 | 0.000 % |
0.03/0.26 c | 2705 | 1960 8359 25345 | 2786 2705 59 | 0.000 % |
0.03/0.27 c | 2819 | 1960 8359 25345 | 2786 2819 59 | 0.000 % |
0.03/0.28 c | 2942 | 1960 8359 25345 | 2786 2661 59 | 0.000 % |
0.03/0.29 c | 3077 | 1960 8359 25345 | 2786 2796 58 | 0.000 % |
0.03/0.30 c | 3224 | 1960 8359 25345 | 2786 2664 57 | 0.000 % |
0.03/0.32 c | 3384 | 1960 8359 25345 | 2786 2824 58 | 0.000 % |
0.03/0.33 c | 3560 | 1960 8359 25345 | 2786 2718 58 | 0.000 % |
0.03/0.34 c | 3660 | 1960 8359 25345 | 2786 2818 58 | 0.000 % |
0.03/0.35 c | 3773 | 1960 8359 25345 | 2786 2650 58 | 0.000 % |
0.03/0.36 c | 3894 | 1960 8359 25345 | 2786 2771 58 | 0.000 % |
0.03/0.37 c | 4027 | 1960 8359 25345 | 2786 2904 58 | 0.000 % |
0.03/0.39 c | 4173 | 1960 8359 25345 | 2786 2760 58 | 0.000 % |
0.03/0.40 c | 4335 | 1960 8359 25345 | 2786 2922 58 | 0.000 % |
0.03/0.42 c | 4511 | 1960 8359 25345 | 2786 2806 58 | 0.000 % |
0.03/0.43 c | 4704 | 1960 8359 25345 | 2786 2719 57 | 0.000 % |
0.03/0.44 c | 4805 | 1960 8359 25345 | 2786 2820 57 | 0.000 % |
0.03/0.45 c | 4916 | 1960 8359 25345 | 2786 2649 57 | 0.000 % |
0.03/0.46 c | 5038 | 1960 8359 25345 | 2786 2771 57 | 0.000 % |
0.03/0.47 c | 5173 | 1960 8359 25345 | 2786 2906 57 | 0.000 % |
0.03/0.49 c | 5320 | 1960 8359 25345 | 2786 2763 57 | 0.000 % |
0.03/0.50 c | 5482 | 1960 8359 25345 | 2786 2925 57 | 0.000 % |
0.03/0.52 c | 5658 | 1960 8359 25345 | 2786 2809 57 | 0.000 % |
0.03/0.53 c | 5851 | 1960 8359 25345 | 2786 2722 58 | 0.000 % |
0.03/0.55 c | 6064 | 1960 8359 25345 | 2786 2935 58 | 0.000 % |
0.03/0.56 c | 6164 | 1960 8359 25345 | 2786 2742 57 | 0.000 % |
0.03/0.57 c | 6274 | 1960 8359 25345 | 2786 2852 57 | 0.000 % |
0.03/0.58 c | 6396 | 1960 8359 25345 | 2786 2689 57 | 0.000 % |
0.03/0.59 c | 6531 | 1960 8359 25345 | 2786 2824 57 | 0.000 % |
0.03/0.61 c | 6678 | 1960 8359 25345 | 2786 2689 57 | 0.000 % |
0.03/0.62 c | 6838 | 1960 8359 25345 | 2786 2849 57 | 0.000 % |
0.03/0.64 c | 7015 | 1960 8359 25345 | 2786 2742 57 | 0.000 % |
0.03/0.65 c | 7208 | 1960 8359 25345 | 2786 2935 57 | 0.000 % |
0.03/0.67 c | 7420 | 1960 8359 25345 | 2786 2854 58 | 0.000 % |
0.03/0.69 c | 7655 | 1960 8359 25345 | 2786 2804 58 | 0.000 % |
0.03/0.70 c | 7755 | 1960 8359 25345 | 2786 2624 59 | 0.000 % |
0.03/0.71 c | 7866 | 1960 8359 25345 | 2786 2735 59 | 0.000 % |
0.03/0.72 c | 7987 | 1960 8359 25345 | 2786 2856 59 | 0.000 % |
0.03/0.73 c | 8120 | 1960 8359 25345 | 2786 2704 59 | 0.000 % |
0.03/0.75 c | 8266 | 1960 8359 25345 | 2786 2850 60 | 0.000 % |
0.03/0.76 c | 8426 | 1960 8359 25345 | 2786 2725 60 | 0.000 % |
0.03/0.78 c | 8603 | 1960 8359 25345 | 2786 2902 60 | 0.000 % |
0.03/0.80 c | 8801 | 1960 8359 25345 | 2786 2810 60 | 0.000 % |
0.03/0.81 c | 9013 | 1960 8359 25345 | 2786 2741 60 | 0.000 % |
0.03/0.83 c | 9246 | 1960 8359 25345 | 2786 2974 61 | 0.000 % |
0.03/0.86 c | 9503 | 1960 8359 25345 | 2786 2934 61 | 0.000 % |
0.03/0.87 c | 9603 | 1960 8359 25345 | 2786 2741 61 | 0.000 % |
0.03/0.88 c | 9713 | 1960 8359 25345 | 2786 2851 61 | 0.000 % |
0.03/0.89 c | 9837 | 1960 8359 25345 | 2786 2690 61 | 0.000 % |
0.03/0.90 c | 9970 | 1960 8359 25345 | 2786 2823 60 | 0.000 % |
0.03/0.91 c | 10117 | 1960 8359 25345 | 2147483647 2688 60 | 0.000 % |
0.03/0.93 c | 10279 | 1960 8359 25345 | 2147483647 2850 60 | 0.000 % |
0.03/0.94 c | 10455 | 1960 8359 25345 | 2147483647 3026 60 | 0.000 % |
0.03/0.96 c | 10648 | 1960 8359 25345 | 2147483647 3219 60 | 0.000 % |
0.03/0.98 c | 10861 | 1960 8359 25345 | 2147483647 3432 60 | 0.000 % |
0.98/1.00 c | 11094 | 1960 8359 25345 | 2147483647 3665 60 | 0.000 % |
0.98/1.03 c | 11352 | 1960 8359 25345 | 2147483647 3923 60 | 0.000 % |
0.98/1.05 c | 11634 | 1960 8359 25345 | 2147483647 4205 60 | 0.000 % |
0.98/1.06 c | 11735 | 1960 8359 25345 | 2147483647 4306 61 | 0.000 % |
0.98/1.07 c | 11846 | 1960 8359 25345 | 2147483647 4417 61 | 0.000 % |
0.98/1.09 c | 11968 | 1960 8359 25345 | 2147483647 4539 61 | 0.000 % |
0.98/1.10 c | 12102 | 1960 8359 25345 | 2147483647 4673 61 | 0.000 % |
1.08/1.12 c | 12248 | 1960 8359 25345 | 2147483647 4819 61 | 0.000 % |
1.08/1.13 c | 12408 | 1960 8359 25345 | 2147483647 4979 61 | 0.000 % |
1.08/1.15 c | 12585 | 1960 8359 25345 | 2147483647 5156 61 | 0.000 % |
1.08/1.17 c | 12778 | 1960 8359 25345 | 2147483647 5349 61 | 0.000 % |
1.08/1.19 c | 12990 | 1960 8359 25345 | 2147483647 5561 61 | 0.000 % |
1.17/1.22 c | 13223 | 1960 8359 25345 | 2147483647 5794 61 | 0.000 % |
1.17/1.24 c | 13480 | 1960 8359 25345 | 2147483647 6051 61 | 0.000 % |
1.17/1.27 c | 13762 | 1960 8359 25345 | 2147483647 6333 61 | 0.000 % |
1.27/1.31 c | 14072 | 1960 8359 25345 | 2147483647 6643 61 | 0.000 % |
1.27/1.32 c | 14172 | 1960 8359 25345 | 2147483647 6743 61 | 0.000 % |
1.27/1.33 c | 14282 | 1960 8359 25345 | 2147483647 6853 61 | 0.000 % |
1.27/1.34 c | 14405 | 1960 8359 25345 | 2147483647 6976 61 | 0.000 % |
1.27/1.36 c | 14539 | 1960 8359 25345 | 2147483647 7110 61 | 0.000 % |
1.27/1.38 c | 14685 | 1960 8359 25345 | 2147483647 7256 61 | 0.000 % |
1.27/1.40 c | 14845 | 1960 8359 25345 | 2147483647 7416 61 | 0.000 % |
1.37/1.41 c | 15023 | 1960 8359 25345 | 2147483647 7594 61 | 0.000 % |
1.37/1.44 c | 15219 | 1960 8359 25345 | 2147483647 7790 61 | 0.000 % |
1.37/1.46 c | 15432 | 1960 8359 25345 | 2147483647 8003 61 | 0.000 % |
1.37/1.49 c | 15665 | 1960 8359 25345 | 2147483647 8236 61 | 0.000 % |
1.47/1.52 c | 15921 | 1960 8359 25345 | 2147483647 8492 61 | 0.000 % |
1.47/1.56 c | 16205 | 1960 8359 25345 | 2147483647 8776 61 | 0.000 % |
1.47/1.59 c | 16514 | 1960 8359 25345 | 2147483647 9085 61 | 0.000 % |
1.57/1.64 c | 16857 | 1960 8359 25345 | 2147483647 9428 62 | 0.000 % |
1.57/1.65 c | 16960 | 1960 8359 25345 | 2147483647 9531 62 | 0.000 % |
1.57/1.67 c | 17072 | 1960 8359 25345 | 2147483647 9643 62 | 0.000 % |
1.57/1.68 c | 17196 | 1960 8359 25345 | 2147483647 9767 61 | 0.000 % |
1.67/1.70 c | 17331 | 1960 8359 25345 | 2147483647 9902 61 | 0.000 % |
1.67/1.72 c | 17477 | 1960 8359 25345 | 2147483647 10048 61 | 0.000 % |
1.67/1.74 c | 17637 | 1960 8359 25345 | 2147483647 10208 61 | 0.000 % |
1.67/1.76 c | 17813 | 1960 8359 25345 | 2147483647 10384 61 | 0.000 % |
1.67/1.78 c | 18006 | 1960 8359 25345 | 2147483647 10577 61 | 0.000 % |
1.77/1.81 c | 18219 | 1960 8359 25345 | 2147483647 10790 61 | 0.000 % |
1.77/1.84 c | 18452 | 1960 8359 25345 | 2147483647 11023 61 | 0.000 % |
1.77/1.88 c | 18708 | 1960 8359 25345 | 2147483647 11279 61 | 0.000 % |
1.87/1.91 c | 18990 | 1960 8359 25345 | 2147483647 11561 62 | 0.000 % |
1.87/1.96 c | 19299 | 1960 8359 25345 | 2147483647 11870 62 | 0.000 % |
1.97/2.01 c | 19640 | 1960 8359 25345 | 2147483647 12211 62 | 0.000 % |
1.97/2.06 c | 20012 | 1960 8359 25345 | 2147483647 12583 62 | 0.000 % |
1.97/2.08 c | 20114 | 1960 8359 25345 | 2147483647 12685 62 | 0.000 % |
1.97/2.09 c | 20226 | 1960 8359 25345 | 2147483647 12797 62 | 0.000 % |
2.07/2.11 c | 20348 | 1960 8359 25345 | 2147483647 12919 62 | 0.000 % |
2.07/2.13 c | 20481 | 1960 8359 25345 | 2147483647 13052 62 | 0.000 % |
2.07/2.15 c | 20629 | 1960 8359 25345 | 2147483647 13200 62 | 0.000 % |
2.07/2.18 c | 20790 | 1960 8359 25345 | 2147483647 13361 62 | 0.000 % |
2.17/2.20 c | 20967 | 1960 8359 25345 | 2147483647 13538 62 | 0.000 % |
2.17/2.23 c | 21162 | 1960 8359 25345 | 2147483647 13733 62 | 0.000 % |
2.17/2.26 c | 21374 | 1960 8359 25345 | 2147483647 13945 62 | 0.000 % |
2.27/2.30 c | 21607 | 1960 8359 25345 | 2147483647 14178 62 | 0.000 % |
2.27/2.34 c | 21864 | 1960 8359 25345 | 2147483647 14435 62 | 0.000 % |
2.27/2.38 c | 22145 | 1960 8359 25345 | 2147483647 14716 62 | 0.000 % |
2.37/2.43 c | 22455 | 1960 8359 25345 | 2147483647 15026 62 | 0.000 % |
2.37/2.48 c | 22794 | 1960 8359 25345 | 2147483647 15365 62 | 0.000 % |
2.47/2.54 c | 23167 | 1960 8359 25345 | 2147483647 15738 62 | 0.000 % |
2.57/2.61 c | 23577 | 1960 8359 25345 | 2147483647 16148 62 | 0.000 % |
2.57/2.62 c | 23679 | 1960 8359 25345 | 2147483647 16250 62 | 0.000 % |
2.57/2.64 c | 23791 | 1960 8359 25345 | 2147483647 16362 62 | 0.000 % |
2.57/2.66 c | 23913 | 1960 8359 25345 | 2147483647 16484 62 | 0.000 % |
2.57/2.69 c | 24048 | 1960 8359 25345 | 2147483647 16619 62 | 0.000 % |
2.67/2.72 c | 24195 | 1960 8359 25345 | 2147483647 16766 62 | 0.000 % |
2.67/2.75 c | 24355 | 1960 8359 25345 | 2147483647 16926 62 | 0.000 % |
2.67/2.78 c | 24531 | 1960 8359 25345 | 2147483647 17102 62 | 0.000 % |
2.77/2.81 c | 24724 | 1960 8359 25345 | 2147483647 17295 62 | 0.000 % |
2.77/2.85 c | 24937 | 1960 8359 25345 | 2147483647 17508 62 | 0.000 % |
2.77/2.89 c | 25170 | 1960 8359 25345 | 2147483647 17741 62 | 0.000 % |
2.87/2.93 c | 25426 | 1960 8359 25345 | 2147483647 17997 62 | 0.000 % |
2.87/2.98 c | 25708 | 1960 8359 25345 | 2147483647 18279 62 | 0.000 % |
2.97/3.04 c | 26018 | 1960 8359 25345 | 2147483647 18589 62 | 0.000 % |
3.07/3.11 c | 26357 | 1960 8359 25345 | 2147483647 18928 62 | 0.000 % |
3.07/3.17 c | 26729 | 1960 8359 25345 | 2147483647 19300 62 | 0.000 % |
3.17/3.25 c | 27139 | 1960 8359 25345 | 2147483647 19710 62 | 0.000 % |
3.27/3.34 c | 27588 | 1960 8359 25345 | 2147483647 20159 62 | 0.000 % |
3.27/3.36 c | 27688 | 1960 8359 25345 | 2147483647 20259 62 | 0.000 % |
3.27/3.38 c | 27798 | 1960 8359 25345 | 2147483647 20369 62 | 0.000 % |
3.37/3.40 c | 27919 | 1960 8359 25345 | 2147483647 20490 62 | 0.000 % |
3.37/3.43 c | 28053 | 1960 8359 25345 | 2147483647 20624 62 | 0.000 % |
3.37/3.46 c | 28199 | 1960 8359 25345 | 2147483647 20770 62 | 0.000 % |
3.37/3.50 c | 28359 | 1960 8359 25345 | 2147483647 20930 62 | 0.000 % |
3.47/3.53 c | 28537 | 1960 8359 25345 | 2147483647 21108 62 | 0.000 % |
3.47/3.57 c | 28730 | 1960 8359 25345 | 2147483647 21301 62 | 0.000 % |
3.58/3.61 c | 28943 | 1960 8359 25345 | 2147483647 21514 62 | 0.000 % |
3.58/3.65 c | 29176 | 1960 8359 25345 | 2147483647 21747 62 | 0.000 % |
3.68/3.71 c | 29433 | 1960 8359 25345 | 2147483647 22004 62 | 0.000 % |
3.68/3.77 c | 29714 | 1960 8359 25345 | 2147483647 22285 62 | 0.000 % |
3.78/3.83 c | 30024 | 1960 8359 25345 | 2147483647 22595 62 | 0.000 % |
3.88/3.91 c | 30365 | 1960 8359 25345 | 2147483647 22936 63 | 0.000 % |
3.88/3.99 c | 30740 | 1960 8359 25345 | 2147483647 23311 63 | 0.000 % |
3.98/4.08 c | 31149 | 1960 8359 25345 | 2147483647 23720 63 | 0.000 % |
4.08/4.17 c | 31598 | 1960 8359 25345 | 2147483647 24169 63 | 0.000 % |
4.17/4.29 c | 32093 | 1960 8359 25345 | 2147483647 24664 63 | 0.000 % |
4.28/4.31 c | 32193 | 1960 8359 25345 | 2147483647 24764 63 | 0.000 % |
4.28/4.34 c | 32304 | 1960 8359 25345 | 2147483647 24875 63 | 0.000 % |
4.28/4.37 c | 32426 | 1960 8359 25345 | 2147483647 24997 63 | 0.000 % |
4.38/4.40 c | 32559 | 1960 8359 25345 | 2147483647 25130 63 | 0.000 % |
4.38/4.44 c | 32706 | 1960 8359 25345 | 2147483647 25277 63 | 0.000 % |
4.38/4.48 c | 32868 | 1960 8359 25345 | 2147483647 25439 63 | 0.000 % |
4.47/4.51 c | 33046 | 1960 8359 25345 | 2147483647 25617 63 | 0.000 % |
4.47/4.56 c | 33240 | 1960 8359 25345 | 2147483647 25811 63 | 0.000 % |
4.57/4.61 c | 33453 | 1960 8359 25345 | 2147483647 26024 63 | 0.000 % |
4.57/4.66 c | 33686 | 1960 8359 25345 | 2147483647 26257 63 | 0.000 % |
4.67/4.72 c | 33943 | 1960 8359 25345 | 2147483647 26514 63 | 0.000 % |
4.67/4.79 c | 34225 | 1960 8359 25345 | 2147483647 26796 63 | 0.000 % |
4.77/4.86 c | 34538 | 1960 8359 25345 | 2147483647 27109 63 | 0.000 % |
4.87/4.95 c | 34878 | 1960 8359 25345 | 2147483647 27449 63 | 0.000 % |
4.97/5.04 c | 35250 | 1960 8359 25345 | 2147483647 27821 63 | 0.000 % |
5.07/5.15 c | 35659 | 1960 8359 25345 | 2147483647 28230 63 | 0.000 % |
5.17/5.27 c | 36108 | 1960 8359 25345 | 2147483647 28679 63 | 0.000 % |
5.27/5.39 c | 36602 | 1960 8359 25345 | 2147483647 29173 63 | 0.000 % |
5.47/5.54 c | 37146 | 1960 8359 25345 | 2147483647 29717 63 | 0.000 % |
5.47/5.56 c | 37246 | 1960 8359 25345 | 2147483647 29817 63 | 0.000 % |
5.47/5.59 c | 37357 | 1960 8359 25345 | 2147483647 29928 63 | 0.000 % |
5.57/5.62 c | 37478 | 1960 8359 25345 | 2147483647 30049 63 | 0.000 % |
5.57/5.66 c | 37611 | 1960 8359 25345 | 2147483647 30182 63 | 0.000 % |
5.57/5.69 c | 37757 | 1960 8359 25345 | 2147483647 30328 63 | 0.000 % |
5.67/5.74 c | 37917 | 1960 8359 25345 | 2147483647 30488 63 | 0.000 % |
5.67/5.79 c | 38093 | 1960 8359 25345 | 2147483647 30664 63 | 0.000 % |
5.77/5.85 c | 38287 | 1960 8359 25345 | 2147483647 30858 63 | 0.000 % |
5.87/5.90 c | 38499 | 1960 8359 25345 | 2147483647 31070 63 | 0.000 % |
5.87/5.96 c | 38732 | 1960 8359 25345 | 2147483647 31303 63 | 0.000 % |
5.97/6.04 c | 38990 | 1960 8359 25345 | 2147483647 31561 63 | 0.000 % |
6.07/6.12 c | 39273 | 1960 8359 25345 | 2147483647 31844 63 | 0.000 % |
6.17/6.23 c | 39584 | 1960 8359 25345 | 2147483647 32155 63 | 0.000 % |
6.27/6.32 c | 39923 | 1960 8359 25345 | 2147483647 32494 63 | 0.000 % |
6.37/6.43 c | 40297 | 1960 8359 25345 | 2147483647 32868 63 | 0.000 % |
6.47/6.54 c | 40707 | 1960 8359 25345 | 2147483647 33278 63 | 0.000 % |
6.57/6.66 c | 41156 | 1960 8359 25345 | 2147483647 33727 63 | 0.000 % |
6.67/6.79 c | 41651 | 1960 8359 25345 | 2147483647 34222 63 | 0.000 % |
6.87/6.95 c | 42193 | 1960 8359 25345 | 2147483647 34764 63 | 0.000 % |
7.07/7.12 c | 42789 | 1960 8359 25345 | 2147483647 35360 63 | 0.000 % |
7.07/7.15 c | 42890 | 1960 8359 25345 | 2147483647 35461 63 | 0.000 % |
7.07/7.19 c | 43000 | 1960 8359 25345 | 2147483647 35571 63 | 0.000 % |
7.17/7.23 c | 43122 | 1960 8359 25345 | 2147483647 35693 63 | 0.000 % |
7.17/7.28 c | 43255 | 1960 8359 25345 | 2147483647 35826 63 | 0.000 % |
7.27/7.33 c | 43401 | 1960 8359 25345 | 2147483647 35972 63 | 0.000 % |
7.27/7.38 c | 43561 | 1960 8359 25345 | 2147483647 36132 63 | 0.000 % |
7.37/7.45 c | 43737 | 1960 8359 25345 | 2147483647 36308 63 | 0.000 % |
7.47/7.51 c | 43930 | 1960 8359 25345 | 2147483647 36501 63 | 0.000 % |
7.47/7.58 c | 44142 | 1960 8359 25345 | 2147483647 36713 63 | 0.000 % |
7.58/7.65 c | 44377 | 1960 8359 25345 | 2147483647 36948 63 | 0.000 % |
7.68/7.73 c | 44635 | 1960 8359 25345 | 2147483647 37206 63 | 0.000 % |
7.77/7.82 c | 44916 | 1960 8359 25345 | 2147483647 37487 63 | 0.000 % |
7.87/7.92 c | 45225 | 1960 8359 25345 | 2147483647 37796 63 | 0.000 % |
7.97/8.04 c | 45564 | 1960 8359 25345 | 2147483647 38135 63 | 0.000 % |
8.07/8.16 c | 45937 | 1960 8359 25345 | 2147483647 38508 63 | 0.000 % |
8.27/8.30 c | 46346 | 1960 8359 25345 | 2147483647 38917 63 | 0.000 % |
8.37/8.45 c | 46797 | 1960 8359 25345 | 2147483647 39368 63 | 0.000 % |
8.57/8.61 c | 47290 | 1960 8359 25345 | 2147483647 39861 64 | 0.000 % |
8.67/8.79 c | 47833 | 1960 8359 25345 | 2147483647 40404 64 | 0.000 % |
8.87/8.97 c | 48429 | 1960 8359 25345 | 2147483647 41000 64 | 0.000 % |
9.07/9.20 c | 49084 | 1960 8359 25345 | 2147483647 41655 64 | 0.000 % |
9.17/9.24 c | 49184 | 1960 8359 25345 | 2147483647 41755 64 | 0.000 % |
9.17/9.28 c | 49294 | 1960 8359 25345 | 2147483647 41865 64 | 0.000 % |
9.27/9.33 c | 49416 | 1960 8359 25345 | 2147483647 41987 64 | 0.000 % |
9.27/9.39 c | 49549 | 1960 8359 25345 | 2147483647 42120 64 | 0.000 % |
9.37/9.45 c | 49695 | 1960 8359 25345 | 2147483647 42266 64 | 0.000 % |
9.47/9.51 c | 49857 | 1960 8359 25345 | 2147483647 42428 64 | 0.000 % |
9.47/9.58 c | 50034 | 1960 8359 25345 | 2147483647 42605 64 | 0.000 % |
9.57/9.66 c | 50227 | 1960 8359 25345 | 2147483647 42798 64 | 0.000 % |
9.67/9.74 c | 50439 | 1960 8359 25345 | 2147483647 43010 64 | 0.000 % |
9.77/9.82 c | 50672 | 1960 8359 25345 | 2147483647 43243 64 | 0.000 % |
9.87/9.92 c | 50928 | 1960 8359 25345 | 2147483647 43499 64 | 0.000 % |
9.97/10.02 c | 51209 | 1960 8359 25345 | 2147483647 43780 64 | 0.000 % |
10.07/10.13 c | 51519 | 1960 8359 25345 | 2147483647 44090 64 | 0.000 % |
10.17/10.27 c | 51859 | 1960 8359 25345 | 2147483647 44430 64 | 0.000 % |
10.37/10.41 c | 52232 | 1960 8359 25345 | 2147483647 44803 64 | 0.000 % |
10.47/10.55 c | 52641 | 1960 8359 25345 | 2147483647 45212 64 | 0.000 % |
10.67/10.71 c | 53090 | 1960 8359 25345 | 2147483647 45661 64 | 0.000 % |
10.77/10.90 c | 53583 | 1960 8359 25345 | 2147483647 46154 64 | 0.000 % |
11.07/11.13 c | 54127 | 1960 8359 25345 | 2147483647 46698 64 | 0.000 % |
11.27/11.35 c | 54723 | 1960 8359 25345 | 2147483647 47294 64 | 0.000 % |
11.57/11.60 c | 55379 | 1960 8359 25345 | 2147483647 47950 64 | 0.000 % |
11.77/11.87 c | 56099 | 1960 8359 25345 | 2147483647 48670 64 | 0.000 % |
11.87/11.92 c | 56200 | 1960 8359 25345 | 2147483647 48771 64 | 0.000 % |
11.87/11.97 c | 56313 | 1960 8359 25345 | 2147483647 48884 64 | 0.000 % |
11.98/12.03 c | 56434 | 1960 8359 25345 | 2147483647 49005 64 | 0.000 % |
11.98/12.09 c | 56567 | 1960 8359 25345 | 2147483647 49138 64 | 0.000 % |
12.08/12.16 c | 56715 | 1960 8359 25345 | 2147483647 49286 64 | 0.000 % |
12.17/12.24 c | 56875 | 1960 8359 25345 | 2147483647 49446 64 | 0.000 % |
12.27/12.32 c | 57051 | 1960 8359 25345 | 2147483647 49622 64 | 0.000 % |
12.37/12.41 c | 57246 | 1960 8359 25345 | 2147483647 49817 64 | 0.000 % |
12.47/12.50 c | 57458 | 1960 8359 25345 | 2147483647 50029 64 | 0.000 % |
12.57/12.60 c | 57692 | 1960 8359 25345 | 2147483647 50263 64 | 0.000 % |
12.67/12.71 c | 57949 | 1960 8359 25345 | 2147483647 50520 64 | 0.000 % |
12.77/12.84 c | 58230 | 1960 8359 25345 | 2147483647 50801 64 | 0.000 % |
12.87/12.97 c | 58539 | 1960 8359 25345 | 2147483647 51110 64 | 0.000 % |
13.07/13.13 c | 58879 | 1960 8359 25345 | 2147483647 51450 64 | 0.000 % |
13.26/13.30 c | 59251 | 1960 8359 25345 | 2147483647 51822 64 | 0.000 % |
13.36/13.46 c | 59660 | 1960 8359 25345 | 2147483647 52231 64 | 0.000 % |
13.56/13.67 c | 60109 | 1960 8359 25345 | 2147483647 52680 64 | 0.000 % |
13.76/13.88 c | 60602 | 1960 8359 25345 | 2147483647 53173 64 | 0.000 % |
13.96/14.09 c | 61144 | 1960 8359 25345 | 2147483647 53715 64 | 0.000 % |
14.27/14.34 c | 61742 | 1960 8359 25345 | 2147483647 54313 64 | 0.000 % |
14.56/14.62 c | 62398 | 1960 8359 25345 | 2147483647 54969 64 | 0.000 % |
14.86/14.95 c | 63120 | 1960 8359 25345 | 2147483647 55691 64 | 0.000 % |
15.27/15.32 c | 63912 | 1960 8359 25345 | 2147483647 56483 64 | 0.000 % |
15.27/15.37 c | 64012 | 1960 8359 25345 | 2147483647 56583 64 | 0.000 % |
15.37/15.44 c | 64124 | 1960 8359 25345 | 2147483647 56695 64 | 0.000 % |
15.46/15.50 c | 64247 | 1960 8359 25345 | 2147483647 56818 64 | 0.000 % |
15.46/15.56 c | 64380 | 1960 8359 25345 | 2147483647 56951 64 | 0.000 % |
15.56/15.63 c | 64526 | 1960 8359 25345 | 2147483647 57097 64 | 0.000 % |
15.66/15.72 c | 64686 | 1960 8359 25345 | 2147483647 57257 64 | 0.000 % |
15.76/15.81 c | 64862 | 1960 8359 25345 | 2147483647 57433 64 | 0.000 % |
15.86/15.91 c | 65055 | 1960 8359 25345 | 2147483647 57626 64 | 0.000 % |
15.96/16.03 c | 65267 | 1960 8359 25345 | 2147483647 57838 64 | 0.000 % |
16.06/16.15 c | 65500 | 1960 8359 25345 | 2147483647 58071 64 | 0.000 % |
16.26/16.30 c | 65757 | 1960 8359 25345 | 2147483647 58328 64 | 0.000 % |
16.36/16.44 c | 66038 | 1960 8359 25345 | 2147483647 58609 64 | 0.000 % |
16.56/16.61 c | 66347 | 1960 8359 25345 | 2147483647 58918 64 | 0.000 % |
16.66/16.78 c | 66689 | 1960 8359 25345 | 2147483647 59260 64 | 0.000 % |
16.86/16.96 c | 67061 | 1960 8359 25345 | 2147483647 59632 64 | 0.000 % |
17.06/17.17 c | 67470 | 1960 8359 25345 | 2147483647 60041 64 | 0.000 % |
17.26/17.39 c | 67919 | 1960 8359 25345 | 2147483647 60490 64 | 0.000 % |
17.57/17.64 c | 68412 | 1960 8359 25345 | 2147483647 60983 64 | 0.000 % |
17.87/17.91 c | 68955 | 1960 8359 25345 | 2147483647 61526 64 | 0.000 % |
18.17/18.20 c | 69551 | 1960 8359 25345 | 2147483647 62122 64 | 0.000 % |
18.46/18.54 c | 70209 | 1960 8359 25345 | 2147483647 62780 64 | 0.000 % |
18.86/18.92 c | 70930 | 1960 8359 25345 | 2147483647 63501 64 | 0.000 % |
19.26/19.33 c | 71723 | 1960 8359 25345 | 2147483647 64294 64 | 0.000 % |
19.67/19.76 c | 72596 | 1960 8359 25345 | 2147483647 65167 64 | 0.000 % |
19.77/19.82 c | 72696 | 1960 8359 25345 | 2147483647 65267 64 | 0.000 % |
19.77/19.89 c | 72806 | 1960 8359 25345 | 2147483647 65377 64 | 0.000 % |
19.86/19.95 c | 72927 | 1960 8359 25345 | 2147483647 65498 64 | 0.000 % |
19.96/20.04 c | 73061 | 1960 8359 25345 | 2147483647 65632 64 | 0.000 % |
20.06/20.14 c | 73208 | 1960 8359 25345 | 2147483647 65779 64 | 0.000 % |
20.16/20.23 c | 73371 | 1960 8359 25345 | 2147483647 65942 64 | 0.000 % |
20.26/20.33 c | 73547 | 1960 8359 25345 | 2147483647 66118 64 | 0.000 % |
20.36/20.45 c | 73740 | 1960 8359 25345 | 2147483647 66311 64 | 0.000 % |
20.46/20.57 c | 73954 | 1960 8359 25345 | 2147483647 66525 64 | 0.000 % |
20.56/20.69 c | 74189 | 1960 8359 25345 | 2147483647 66760 64 | 0.000 % |
20.76/20.83 c | 74445 | 1960 8359 25345 | 2147483647 67016 64 | 0.000 % |
20.86/20.98 c | 74727 | 1960 8359 25345 | 2147483647 67298 64 | 0.000 % |
21.06/21.14 c | 75036 | 1960 8359 25345 | 2147483647 67607 64 | 0.000 % |
21.26/21.36 c | 75377 | 1960 8359 25345 | 2147483647 67948 64 | 0.000 % |
21.45/21.59 c | 75751 | 1960 8359 25345 | 2147483647 68322 64 | 0.000 % |
21.75/21.82 c | 76160 | 1960 8359 25345 | 2147483647 68731 64 | 0.000 % |
21.96/22.07 c | 76609 | 1960 8359 25345 | 2147483647 69180 64 | 0.000 % |
22.25/22.37 c | 77104 | 1960 8359 25345 | 2147483647 69675 64 | 0.000 % |
22.55/22.65 c | 77647 | 1960 8359 25345 | 2147483647 70218 64 | 0.000 % |
22.85/22.98 c | 78243 | 1960 8359 25345 | 2147483647 70814 64 | 0.000 % |
23.25/23.32 c | 78898 | 1960 8359 25345 | 2147483647 71469 65 | 0.000 % |
23.65/23.71 c | 79618 | 1960 8359 25345 | 2147483647 72189 65 | 0.000 % |
24.05/24.14 c | 80410 | 1960 8359 25345 | 2147483647 72981 65 | 0.000 % |
24.56/24.63 c | 81281 | 1960 8359 25345 | 2147483647 73852 65 | 0.000 % |
25.06/25.17 c | 82242 | 1960 8359 25345 | 2147483647 74813 65 | 0.000 % |
25.16/25.23 c | 82342 | 1960 8359 25345 | 2147483647 74913 65 | 0.000 % |
25.26/25.31 c | 82453 | 1960 8359 25345 | 2147483647 75024 65 | 0.000 % |
25.26/25.39 c | 82577 | 1960 8359 25345 | 2147483647 75148 65 | 0.000 % |
25.36/25.47 c | 82711 | 1960 8359 25345 | 2147483647 75282 65 | 0.000 % |
25.46/25.58 c | 82857 | 1960 8359 25345 | 2147483647 75428 65 | 0.000 % |
25.56/25.67 c | 83018 | 1960 8359 25345 | 2147483647 75589 65 | 0.000 % |
25.66/25.79 c | 83194 | 1960 8359 25345 | 2147483647 75765 65 | 0.000 % |
25.86/25.90 c | 83387 | 1960 8359 25345 | 2147483647 75958 65 | 0.000 % |
25.96/26.04 c | 83599 | 1960 8359 25345 | 2147483647 76170 65 | 0.000 % |
26.06/26.19 c | 83832 | 1960 8359 25345 | 2147483647 76403 65 | 0.000 % |
26.26/26.37 c | 84089 | 1960 8359 25345 | 2147483647 76660 65 | 0.000 % |
26.45/26.56 c | 84371 | 1960 8359 25345 | 2147483647 76942 65 | 0.000 % |
26.65/26.75 c | 84680 | 1960 8359 25345 | 2147483647 77251 65 | 0.000 % |
26.85/26.97 c | 85020 | 1960 8359 25345 | 2147483647 77591 65 | 0.000 % |
27.15/27.21 c | 85392 | 1960 8359 25345 | 2147483647 77963 65 | 0.000 % |
27.36/27.50 c | 85801 | 1960 8359 25345 | 2147483647 78372 65 | 0.000 % |
27.75/27.81 c | 86253 | 1960 8359 25345 | 2147483647 78824 65 | 0.000 % |
28.05/28.13 c | 86746 | 1960 8359 25345 | 2147483647 79317 65 | 0.000 % |
28.35/28.47 c | 87292 | 1960 8359 25345 | 2147483647 79863 65 | 0.000 % |
28.75/28.86 c | 87889 | 1960 8359 25345 | 2147483647 80460 65 | 0.000 % |
29.15/29.27 c | 88544 | 1960 8359 25345 | 2147483647 81115 65 | 0.000 % |
29.65/29.74 c | 89264 | 1960 8359 25345 | 2147483647 81835 65 | 0.000 % |
30.15/30.26 c | 90056 | 1960 8359 25345 | 2147483647 82627 65 | 0.000 % |
30.76/30.87 c | 90928 | 1960 8359 25345 | 2147483647 83499 65 | 0.000 % |
31.35/31.48 c | 91886 | 1960 8359 25345 | 2147483647 84457 65 | 0.000 % |
32.15/32.20 c | 92939 | 1960 8359 25345 | 2147483647 85510 65 | 0.000 % |
32.15/32.27 c | 93039 | 1960 8359 25345 | 2147483647 85610 65 | 0.000 % |
32.25/32.36 c | 93149 | 1960 8359 25345 | 2147483647 85720 65 | 0.000 % |
32.35/32.45 c | 93271 | 1960 8359 25345 | 2147483647 85842 65 | 0.000 % |
32.45/32.54 c | 93404 | 1960 8359 25345 | 2147483647 85975 65 | 0.000 % |
32.55/32.65 c | 93551 | 1960 8359 25345 | 2147483647 86122 65 | 0.000 % |
32.65/32.78 c | 93714 | 1960 8359 25345 | 2147483647 86285 65 | 0.000 % |
32.85/32.92 c | 93892 | 1960 8359 25345 | 2147483647 86463 65 | 0.000 % |
32.95/33.07 c | 94085 | 1960 8359 25345 | 2147483647 86656 65 | 0.000 % |
33.15/33.27 c | 94298 | 1960 8359 25345 | 2147483647 86869 65 | 0.000 % |
33.35/33.43 c | 94531 | 1960 8359 25345 | 2147483647 87102 65 | 0.000 % |
33.55/33.63 c | 94788 | 1960 8359 25345 | 2147483647 87359 65 | 0.000 % |
33.75/33.82 c | 95071 | 1960 8359 25345 | 2147483647 87642 65 | 0.000 % |
33.95/34.05 c | 95380 | 1960 8359 25345 | 2147483647 87951 65 | 0.000 % |
34.15/34.28 c | 95720 | 1960 8359 25345 | 2147483647 88291 65 | 0.000 % |
34.45/34.56 c | 96092 | 1960 8359 25345 | 2147483647 88663 65 | 0.000 % |
34.75/34.85 c | 96502 | 1960 8359 25345 | 2147483647 89073 65 | 0.000 % |
35.05/35.19 c | 96952 | 1960 8359 25345 | 2147483647 89523 65 | 0.000 % |
35.44/35.56 c | 97445 | 1960 8359 25345 | 2147483647 90016 65 | 0.000 % |
35.84/35.95 c | 97988 | 1960 8359 25345 | 2147483647 90559 65 | 0.000 % |
36.25/36.37 c | 98586 | 1960 8359 25345 | 2147483647 91157 65 | 0.000 % |
36.74/36.85 c | 99241 | 1960 8359 25345 | 2147483647 91812 65 | 0.000 % |
37.24/37.32 c | 99961 | 1960 8359 25345 | 2147483647 92532 65 | 0.000 % |
37.74/37.87 c | 100753 | 1960 8359 25345 | 2147483647 93324 65 | 0.000 % |
38.35/38.45 c | 101624 | 1960 8359 25345 | 2147483647 94195 65 | 0.000 % |
39.05/39.10 c | 102584 | 1960 8359 25345 | 2147483647 95155 65 | 0.000 % |
39.84/39.98 c | 103637 | 1960 8359 25345 | 2147483647 96208 65 | 0.000 % |
40.74/40.84 c | 104795 | 1960 8359 25345 | 2147483647 97366 65 | 0.000 % |
40.84/40.94 c | 104895 | 1960 8359 25345 | 2147483647 97466 65 | 0.000 % |
40.94/41.04 c | 105007 | 1960 8359 25345 | 2147483647 97578 65 | 0.000 % |
41.04/41.17 c | 105130 | 1960 8359 25345 | 2147483647 97701 65 | 0.000 % |
41.14/41.29 c | 105264 | 1960 8359 25345 | 2147483647 97835 65 | 0.000 % |
41.34/41.42 c | 105411 | 1960 8359 25345 | 2147483647 97982 65 | 0.000 % |
41.44/41.55 c | 105571 | 1960 8359 25345 | 2147483647 98142 65 | 0.000 % |
41.65/41.71 c | 105747 | 1960 8359 25345 | 2147483647 98318 65 | 0.000 % |
41.75/41.88 c | 105940 | 1960 8359 25345 | 2147483647 98511 65 | 0.000 % |
41.94/42.06 c | 106152 | 1960 8359 25345 | 2147483647 98723 65 | 0.000 % |
42.14/42.27 c | 106386 | 1960 8359 25345 | 2147483647 98957 65 | 0.000 % |
42.44/42.50 c | 106642 | 1960 8359 25345 | 2147483647 99213 65 | 0.000 % |
42.64/42.73 c | 106923 | 1960 8359 25345 | 2147483647 99494 65 | 0.000 % |
42.94/43.00 c | 107232 | 1960 8359 25345 | 2147483647 99803 65 | 0.000 % |
43.14/43.25 c | 107573 | 1960 8359 25345 | 2147483647 100144 65 | 0.000 % |
43.44/43.55 c | 107945 | 1960 8359 25345 | 2147483647 100516 65 | 0.000 % |
43.74/43.87 c | 108354 | 1960 8359 25345 | 2147483647 100925 65 | 0.000 % |
44.14/44.21 c | 108805 | 1960 8359 25345 | 2147483647 101376 65 | 0.000 % |
44.44/44.58 c | 109298 | 1960 8359 25345 | 2147483647 101869 65 | 0.000 % |
44.94/45.02 c | 109840 | 1960 8359 25345 | 2147483647 102411 65 | 0.000 % |
45.54/45.60 c | 110437 | 1960 8359 25345 | 102572 90078 66 | 0.000 % |
45.94/46.04 c | 111092 | 1960 8359 25345 | 102572 90733 66 | 0.000 % |
46.54/46.60 c | 111812 | 1960 8359 25345 | 102572 91453 66 | 0.000 % |
47.04/47.19 c | 112605 | 1960 8359 25345 | 102572 92246 66 | 0.000 % |
47.73/47.84 c | 113476 | 1960 8359 25345 | 102572 93117 66 | 0.000 % |
48.43/48.52 c | 114435 | 1960 8359 25345 | 102572 94076 66 | 0.000 % |
49.23/49.33 c | 115489 | 1960 8359 25345 | 102572 95130 66 | 0.000 % |
50.03/50.18 c | 116647 | 1960 8359 25345 | 102572 96288 66 | 0.000 % |
51.03/51.13 c | 117923 | 1960 8359 25345 | 102572 97564 66 | 0.000 % |
51.13/51.20 c | 118023 | 1960 8359 25345 | 102572 97664 66 | 0.000 % |
51.23/51.32 c | 118134 | 1960 8359 25345 | 102572 97775 66 | 0.000 % |
51.33/51.43 c | 118256 | 1960 8359 25345 | 102572 97897 66 | 0.000 % |
51.43/51.55 c | 118391 | 1960 8359 25345 | 102572 98032 66 | 0.000 % |
51.54/51.68 c | 118538 | 1960 8359 25345 | 102572 98179 66 | 0.000 % |
51.73/51.81 c | 118698 | 1960 8359 25345 | 102572 98339 66 | 0.000 % |
51.83/51.95 c | 118876 | 1960 8359 25345 | 102572 98517 66 | 0.000 % |
51.93/52.09 c | 119070 | 1960 8359 25345 | 102572 98711 66 | 0.000 % |
52.13/52.28 c | 119283 | 1960 8359 25345 | 102572 98924 66 | 0.000 % |
52.33/52.47 c | 119516 | 1960 8359 25345 | 102572 99157 66 | 0.000 % |
52.53/52.69 c | 119772 | 1960 8359 25345 | 102572 99413 66 | 0.000 % |
52.83/52.92 c | 120055 | 1960 8359 25345 | 99643 99696 66 | 0.000 % |
53.13/53.21 c | 120364 | 1960 8359 25345 | 99643 87481 66 | 0.000 % |
53.33/53.45 c | 120703 | 1960 8359 25345 | 99643 87820 66 | 0.000 % |
53.63/53.72 c | 121076 | 1960 8359 25345 | 99643 88193 66 | 0.000 % |
53.93/54.01 c | 121485 | 1960 8359 25345 | 99643 88602 66 | 0.000 % |
54.23/54.33 c | 121934 | 1960 8359 25345 | 99643 89051 66 | 0.000 % |
54.53/54.67 c | 122427 | 1960 8359 25345 | 99643 89544 66 | 0.000 % |
54.93/55.06 c | 122970 | 1960 8359 25345 | 99643 90087 66 | 0.000 % |
55.33/55.47 c | 123566 | 1960 8359 25345 | 99643 90683 66 | 0.000 % |
55.83/55.95 c | 124221 | 1960 8359 25345 | 99643 91338 66 | 0.000 % |
56.33/56.42 c | 124941 | 1960 8359 25345 | 99643 92058 66 | 0.000 % |
56.93/57.00 c | 125733 | 1960 8359 25345 | 99643 92850 66 | 0.000 % |
57.43/57.58 c | 126604 | 1960 8359 25345 | 99643 93721 66 | 0.000 % |
58.13/58.29 c | 127563 | 1960 8359 25345 | 99643 94680 66 | 0.000 % |
59.02/59.15 c | 128616 | 1960 8359 25345 | 99643 95733 66 | 0.000 % |
59.82/59.97 c | 129775 | 1960 8359 25345 | 99643 96892 66 | 0.000 % |
60.82/60.92 c | 131050 | 1960 8359 25345 | 97118 87189 66 | 0.000 % |
61.82/61.90 c | 132450 | 1960 8359 25345 | 97118 88589 66 | 0.000 % |
61.82/61.97 c | 132551 | 1960 8359 25345 | 97118 88690 66 | 0.000 % |
61.92/62.07 c | 132662 | 1960 8359 25345 | 97118 88801 66 | 0.000 % |
62.02/62.17 c | 132783 | 1960 8359 25345 | 97118 88922 66 | 0.000 % |
62.12/62.28 c | 132917 | 1960 8359 25345 | 97118 89056 66 | 0.000 % |
62.22/62.38 c | 133065 | 1960 8359 25345 | 97118 89204 66 | 0.000 % |
62.42/62.51 c | 133226 | 1960 8359 25345 | 97118 89365 66 | 0.000 % |
62.53/62.64 c | 133403 | 1960 8359 25345 | 97118 89542 66 | 0.000 % |
62.63/62.78 c | 133597 | 1960 8359 25345 | 97118 89736 66 | 0.000 % |
62.82/62.95 c | 133809 | 1960 8359 25345 | 97118 89948 66 | 0.000 % |
63.02/63.11 c | 134043 | 1960 8359 25345 | 97118 90182 66 | 0.000 % |
63.22/63.33 c | 134301 | 1960 8359 25345 | 97118 90440 66 | 0.000 % |
63.42/63.54 c | 134583 | 1960 8359 25345 | 97118 90722 66 | 0.000 % |
63.63/63.79 c | 134893 | 1960 8359 25345 | 97118 91032 66 | 0.000 % |
63.92/64.02 c | 135232 | 1960 8359 25345 | 97118 91371 66 | 0.000 % |
64.22/64.31 c | 135604 | 1960 8359 25345 | 97118 91743 66 | 0.000 % |
64.52/64.61 c | 136013 | 1960 8359 25345 | 97118 92152 66 | 0.000 % |
64.83/64.96 c | 136462 | 1960 8359 25345 | 97118 92601 66 | 0.000 % |
65.22/65.33 c | 136955 | 1960 8359 25345 | 97118 93094 66 | 0.000 % |
65.62/65.75 c | 137497 | 1960 8359 25345 | 97118 93636 66 | 0.000 % |
66.02/66.16 c | 138093 | 1960 8359 25345 | 97118 94232 66 | 0.000 % |
66.52/66.69 c | 138751 | 1960 8359 25345 | 97118 94890 66 | 0.000 % |
67.12/67.21 c | 139471 | 1960 8359 25345 | 97118 95610 66 | 0.000 % |
67.72/67.83 c | 140267 | 1960 8359 25345 | 96140 96406 67 | 0.000 % |
68.32/68.44 c | 141139 | 1960 8359 25345 | 96140 86360 66 | 0.000 % |
68.92/69.07 c | 142099 | 1960 8359 25345 | 96140 87320 66 | 0.000 % |
69.62/69.77 c | 143152 | 1960 8359 25345 | 96140 88373 66 | 0.000 % |
70.42/70.59 c | 144310 | 1960 8359 25345 | 96140 89531 66 | 0.000 % |
71.22/71.39 c | 145585 | 1960 8359 25345 | 96140 90806 66 | 0.000 % |
72.32/72.45 c | 146988 | 1960 8359 25345 | 96140 92209 66 | 0.000 % |
73.42/73.57 c | 148531 | 1960 8359 25345 | 96140 93752 67 | 0.000 % |
73.52/73.68 c | 148631 | 1960 8359 25345 | 96140 93852 67 | 0.000 % |
73.62/73.78 c | 148741 | 1960 8359 25345 | 96140 93962 67 | 0.000 % |
73.72/73.88 c | 148863 | 1960 8359 25345 | 96140 94084 67 | 0.000 % |
73.82/73.98 c | 148996 | 1960 8359 25345 | 96140 94217 67 | 0.000 % |
74.02/74.11 c | 149142 | 1960 8359 25345 | 96140 94363 67 | 0.000 % |
74.12/74.24 c | 149302 | 1960 8359 25345 | 96140 94523 67 | 0.000 % |
74.22/74.38 c | 149479 | 1960 8359 25345 | 96140 94700 67 | 0.000 % |
74.42/74.53 c | 149672 | 1960 8359 25345 | 96140 94893 67 | 0.000 % |
74.52/74.68 c | 149887 | 1960 8359 25345 | 96140 95108 67 | 0.000 % |
74.72/74.87 c | 150121 | 1960 8359 25345 | 95222 95342 67 | 0.000 % |
75.02/75.11 c | 150377 | 1960 8359 25345 | 95222 85151 67 | 0.000 % |
75.22/75.33 c | 150661 | 1960 8359 25345 | 95222 85435 67 | 0.000 % |
75.42/75.55 c | 150971 | 1960 8359 25345 | 95222 85745 67 | 0.000 % |
75.62/75.77 c | 151310 | 1960 8359 25345 | 95222 86084 67 | 0.000 % |
75.92/76.06 c | 151683 | 1960 8359 25345 | 95222 86457 67 | 0.000 % |
76.22/76.35 c | 152093 | 1960 8359 25345 | 95222 86867 67 | 0.000 % |
76.51/76.69 c | 152543 | 1960 8359 25345 | 95222 87317 67 | 0.000 % |
76.92/77.03 c | 153036 | 1960 8359 25345 | 95222 87810 67 | 0.000 % |
77.31/77.46 c | 153580 | 1960 8359 25345 | 95222 88354 67 | 0.000 % |
77.71/77.89 c | 154177 | 1960 8359 25345 | 95222 88951 67 | 0.000 % |
78.21/78.34 c | 154833 | 1960 8359 25345 | 95222 89607 67 | 0.000 % |
78.71/78.82 c | 155553 | 1960 8359 25345 | 95222 90327 67 | 0.000 % |
79.31/79.40 c | 156350 | 1960 8359 25345 | 95222 91124 67 | 0.000 % |
79.91/80.02 c | 157223 | 1960 8359 25345 | 95222 91997 67 | 0.000 % |
80.51/80.67 c | 158181 | 1960 8359 25345 | 95222 92955 67 | 0.000 % |
81.22/81.37 c | 159235 | 1960 8359 25345 | 95222 94009 67 | 0.000 % |
82.01/82.16 c | 160396 | 1960 8359 25345 | 2147483647 95170 67 | 0.000 % |
82.91/83.05 c | 161669 | 1960 8359 25345 | 2147483647 96443 67 | 0.000 % |
83.91/84.06 c | 163069 | 1960 8359 25345 | 2147483647 97843 67 | 0.000 % |
85.11/85.22 c | 164611 | 1960 8359 25345 | 2147483647 99385 67 | 0.000 % |
86.31/86.45 c | 166305 | 1960 8359 25345 | 2147483647 101079 67 | 0.000 % |
86.41/86.54 c | 166406 | 1960 8359 25345 | 2147483647 101180 67 | 0.000 % |
86.51/86.62 c | 166517 | 1960 8359 25345 | 2147483647 101291 67 | 0.000 % |
86.61/86.73 c | 166638 | 1960 8359 25345 | 2147483647 101412 67 | 0.000 % |
86.71/86.86 c | 166771 | 1960 8359 25345 | 2147483647 101545 67 | 0.000 % |
86.91/87.00 c | 166917 | 1960 8359 25345 | 2147483647 101691 67 | 0.000 % |
87.01/87.13 c | 167079 | 1960 8359 25345 | 2147483647 101853 67 | 0.000 % |
87.21/87.30 c | 167255 | 1960 8359 25345 | 2147483647 102029 67 | 0.000 % |
87.32/87.45 c | 167448 | 1960 8359 25345 | 2147483647 102222 67 | 0.000 % |
87.52/87.62 c | 167661 | 1960 8359 25345 | 2147483647 102435 67 | 0.000 % |
87.72/87.80 c | 167895 | 1960 8359 25345 | 2147483647 102669 67 | 0.000 % |
87.82/88.00 c | 168152 | 1960 8359 25345 | 2147483647 102926 67 | 0.000 % |
88.11/88.23 c | 168434 | 1960 8359 25345 | 2147483647 103208 67 | 0.000 % |
88.31/88.49 c | 168743 | 1960 8359 25345 | 2147483647 103517 67 | 0.000 % |
88.61/88.78 c | 169083 | 1960 8359 25345 | 2147483647 103857 67 | 0.000 % |
89.02/89.13 c | 169455 | 1960 8359 25345 | 2147483647 104229 67 | 0.000 % |
89.41/89.52 c | 169865 | 1960 8359 25345 | 2147483647 104639 67 | 0.000 % |
89.81/89.91 c | 170314 | 1960 8359 25345 | 104777 91624 67 | 0.000 % |
90.12/90.27 c | 170810 | 1960 8359 25345 | 104777 92120 67 | 0.000 % |
90.51/90.67 c | 171352 | 1960 8359 25345 | 104777 92662 67 | 0.000 % |
91.01/91.12 c | 171950 | 1960 8359 25345 | 104777 93260 67 | 0.000 % |
91.41/91.58 c | 172606 | 1960 8359 25345 | 104777 93916 67 | 0.000 % |
92.01/92.10 c | 173326 | 1960 8359 25345 | 104777 94636 67 | 0.000 % |
92.51/92.69 c | 174118 | 1960 8359 25345 | 104777 95428 67 | 0.000 % |
93.21/93.35 c | 174990 | 1960 8359 25345 | 104777 96300 67 | 0.000 % |
93.91/94.08 c | 175950 | 1960 8359 25345 | 104777 97260 67 | 0.000 % |
94.71/94.83 c | 177004 | 1960 8359 25345 | 104777 98314 67 | 0.000 % |
95.61/95.74 c | 178163 | 1960 8359 25345 | 104777 99473 67 | 0.000 % |
96.61/96.72 c | 179436 | 1960 8359 25345 | 104777 100746 67 | 0.000 % |
97.71/97.86 c | 180837 | 1960 8359 25345 | 101311 89886 67 | 0.000 % |
98.81/98.98 c | 182377 | 1960 8359 25345 | 101311 91426 67 | 0.000 % |
100.01/100.18 c | 184073 | 1960 8359 25345 | 101311 93122 67 | 0.000 % |
101.41/101.56 c | 185941 | 1960 8359 25345 | 101311 94990 67 | 0.000 % |
101.51/101.65 c | 186042 | 1960 8359 25345 | 101311 95091 67 | 0.000 % |
101.61/101.77 c | 186155 | 1960 8359 25345 | 101311 95204 67 | 0.000 % |
101.71/101.88 c | 186278 | 1960 8359 25345 | 101311 95327 67 | 0.000 % |
101.81/101.98 c | 186411 | 1960 8359 25345 | 101311 95460 67 | 0.000 % |
102.01/102.11 c | 186557 | 1960 8359 25345 | 101311 95606 67 | 0.000 % |
102.11/102.27 c | 186717 | 1960 8359 25345 | 101311 95766 67 | 0.000 % |
102.31/102.41 c | 186894 | 1960 8359 25345 | 101311 95943 67 | 0.000 % |
102.41/102.56 c | 187088 | 1960 8359 25345 | 101311 96137 67 | 0.000 % |
102.61/102.74 c | 187300 | 1960 8359 25345 | 101311 96349 67 | 0.000 % |
102.81/102.93 c | 187533 | 1960 8359 25345 | 101311 96582 67 | 0.000 % |
103.01/103.14 c | 187789 | 1960 8359 25345 | 101311 96838 67 | 0.000 % |
103.21/103.35 c | 188070 | 1960 8359 25345 | 101311 97119 67 | 0.000 % |
103.51/103.60 c | 188379 | 1960 8359 25345 | 101311 97428 67 | 0.000 % |
103.71/103.85 c | 188719 | 1960 8359 25345 | 101311 97768 67 | 0.000 % |
104.01/104.13 c | 189092 | 1960 8359 25345 | 101311 98141 67 | 0.000 % |
104.31/104.47 c | 189501 | 1960 8359 25345 | 101311 98550 67 | 0.000 % |
104.71/104.84 c | 189950 | 1960 8359 25345 | 101311 98999 67 | 0.000 % |
105.10/105.28 c | 190444 | 1960 8359 25345 | 99051 87221 67 | 0.000 % |
105.51/105.62 c | 190986 | 1960 8359 25345 | 99051 87763 67 | 0.000 % |
105.90/106.02 c | 191582 | 1960 8359 25345 | 99051 88359 67 | 0.000 % |
106.40/106.51 c | 192237 | 1960 8359 25345 | 99051 89014 67 | 0.000 % |
106.80/106.99 c | 192958 | 1960 8359 25345 | 99051 89735 67 | 0.000 % |
107.40/107.54 c | 193752 | 1960 8359 25345 | 99051 90529 67 | 0.000 % |
108.00/108.16 c | 194623 | 1960 8359 25345 | 99051 91400 67 | 0.000 % |
108.70/108.87 c | 195583 | 1960 8359 25345 | 99051 92360 67 | 0.000 % |
109.50/109.67 c | 196638 | 1960 8359 25345 | 99051 93415 67 | 0.000 % |
110.40/110.55 c | 197796 | 1960 8359 25345 | 99051 94573 67 | 0.000 % |
111.30/111.45 c | 199069 | 1960 8359 25345 | 99051 95846 67 | 0.000 % |
112.40/112.51 c | 200470 | 1960 8359 25345 | 96777 86639 67 | 0.000 % |
113.40/113.58 c | 202010 | 1960 8359 25345 | 96777 88179 67 | 0.000 % |
114.70/114.87 c | 203706 | 1960 8359 25345 | 96777 89875 67 | 0.000 % |
116.00/116.11 c | 205572 | 1960 8359 25345 | 96777 91741 67 | 0.000 % |
117.40/117.52 c | 207621 | 1960 8359 25345 | 96777 93790 67 | 0.000 % |
117.40/117.60 c | 207723 | 1960 8359 25345 | 96777 93892 67 | 0.000 % |
117.60/117.70 c | 207834 | 1960 8359 25345 | 96777 94003 67 | 0.000 % |
117.70/117.80 c | 207955 | 1960 8359 25345 | 96777 94124 67 | 0.000 % |
117.80/117.91 c | 208089 | 1960 8359 25345 | 96777 94258 67 | 0.000 % |
117.90/118.03 c | 208235 | 1960 8359 25345 | 96777 94404 67 | 0.000 % |
118.00/118.17 c | 208396 | 1960 8359 25345 | 96777 94565 67 | 0.000 % |
118.09/118.30 c | 208572 | 1960 8359 25345 | 96777 94741 67 | 0.000 % |
118.29/118.48 c | 208766 | 1960 8359 25345 | 96777 94935 67 | 0.000 % |
118.49/118.66 c | 208979 | 1960 8359 25345 | 96777 95148 67 | 0.000 % |
118.70/118.86 c | 209212 | 1960 8359 25345 | 96777 95381 67 | 0.000 % |
118.89/119.04 c | 209468 | 1960 8359 25345 | 96777 95637 67 | 0.000 % |
119.09/119.24 c | 209749 | 1960 8359 25345 | 96777 95918 67 | 0.000 % |
119.29/119.49 c | 210058 | 1960 8359 25345 | 96169 96227 67 | 0.000 % |
119.70/119.81 c | 210398 | 1960 8359 25345 | 96169 86132 67 | 0.000 % |
119.89/120.05 c | 210770 | 1960 8359 25345 | 96169 86504 67 | 0.000 % |
120.19/120.31 c | 211181 | 1960 8359 25345 | 96169 86915 67 | 0.000 % |
120.49/120.64 c | 211632 | 1960 8359 25345 | 96169 87366 67 | 0.000 % |
120.80/121.00 c | 212125 | 1960 8359 25345 | 96169 87859 67 | 0.000 % |
121.19/121.36 c | 212667 | 1960 8359 25345 | 96169 88401 67 | 0.000 % |
121.59/121.78 c | 213263 | 1960 8359 25345 | 96169 88997 67 | 0.000 % |
122.09/122.24 c | 213918 | 1960 8359 25345 | 96169 89652 67 | 0.000 % |
122.59/122.76 c | 214642 | 1960 8359 25345 | 96169 90376 67 | 0.000 % |
123.19/123.35 c | 215434 | 1960 8359 25345 | 96169 91168 67 | 0.000 % |
123.79/123.97 c | 216309 | 1960 8359 25345 | 96169 92043 67 | 0.000 % |
124.49/124.66 c | 217270 | 1960 8359 25345 | 96169 93004 67 | 0.000 % |
125.29/125.41 c | 218323 | 1960 8359 25345 | 96169 94057 67 | 0.000 % |
126.09/126.28 c | 219481 | 1960 8359 25345 | 96169 95215 67 | 0.000 % |
127.09/127.20 c | 220754 | 1960 8359 25345 | 2147483647 96488 67 | 0.000 % |
128.09/128.22 c | 222154 | 1960 8359 25345 | 2147483647 97888 67 | 0.000 % |
129.19/129.37 c | 223697 | 1960 8359 25345 | 2147483647 99431 67 | 0.000 % |
130.59/130.70 c | 225392 | 1960 8359 25345 | 2147483647 101126 67 | 0.000 % |
132.09/132.21 c | 227255 | 1960 8359 25345 | 2147483647 102989 68 | 0.000 % |
133.59/133.79 c | 229309 | 1960 8359 25345 | 2147483647 105043 68 | 0.000 % |
135.39/135.59 c | 231562 | 1960 8359 25345 | 105734 94520 67 | 0.000 % |
135.49/135.68 c | 231662 | 1960 8359 25345 | 105734 94620 67 | 0.000 % |
135.59/135.78 c | 231772 | 1960 8359 25345 | 105734 94730 67 | 0.000 % |
135.68/135.87 c | 231893 | 1960 8359 25345 | 105734 94851 67 | 0.000 % |
135.78/135.98 c | 232027 | 1960 8359 25345 | 105734 94985 67 | 0.000 % |
135.98/136.12 c | 232175 | 1960 8359 25345 | 105734 95133 67 | 0.000 % |
136.08/136.25 c | 232337 | 1960 8359 25345 | 105734 95295 67 | 0.000 % |
136.29/136.40 c | 232513 | 1960 8359 25345 | 105734 95471 67 | 0.000 % |
136.38/136.59 c | 232709 | 1960 8359 25345 | 105734 95667 67 | 0.000 % |
136.58/136.77 c | 232922 | 1960 8359 25345 | 105734 95880 67 | 0.000 % |
136.78/136.96 c | 233158 | 1960 8359 25345 | 105734 96116 67 | 0.000 % |
136.98/137.15 c | 233415 | 1960 8359 25345 | 105734 96373 67 | 0.000 % |
137.18/137.37 c | 233697 | 1960 8359 25345 | 105734 96655 67 | 0.000 % |
137.48/137.63 c | 234007 | 1960 8359 25345 | 105734 96965 67 | 0.000 % |
137.78/137.91 c | 234347 | 1960 8359 25345 | 105734 97305 67 | 0.000 % |
138.08/138.20 c | 234719 | 1960 8359 25345 | 105734 97677 67 | 0.000 % |
138.39/138.53 c | 235128 | 1960 8359 25345 | 105734 98086 67 | 0.000 % |
138.68/138.86 c | 235577 | 1960 8359 25345 | 105734 98535 67 | 0.000 % |
139.08/139.25 c | 236072 | 1960 8359 25345 | 105734 99030 67 | 0.000 % |
139.59/139.71 c | 236614 | 1960 8359 25345 | 105734 99572 67 | 0.000 % |
139.98/140.17 c | 237211 | 1960 8359 25345 | 105734 100169 67 | 0.000 % |
140.59/140.71 c | 237867 | 1960 8359 25345 | 105734 100825 67 | 0.000 % |
140.98/141.18 c | 238588 | 1960 8359 25345 | 105734 101546 67 | 0.000 % |
141.69/141.88 c | 239380 | 1960 8359 25345 | 105734 102338 67 | 0.000 % |
142.48/142.61 c | 240252 | 1960 8359 25345 | 102959 103210 67 | 0.000 % |
143.28/143.41 c | 241211 | 1960 8359 25345 | 102959 90142 67 | 0.000 % |
143.98/144.14 c | 242264 | 1960 8359 25345 | 102959 91195 67 | 0.000 % |
144.78/144.96 c | 243422 | 1960 8359 25345 | 102959 92353 67 | 0.000 % |
145.68/145.84 c | 244695 | 1960 8359 25345 | 102959 93626 67 | 0.000 % |
146.68/146.89 c | 246095 | 1960 8359 25345 | 102959 95026 67 | 0.000 % |
147.88/148.02 c | 247635 | 1960 8359 25345 | 102959 96566 67 | 0.000 % |
149.08/149.21 c | 249329 | 1960 8359 25345 | 102959 98260 67 | 0.000 % |
150.38/150.57 c | 251192 | 1960 8359 25345 | 98932 87780 67 | 0.000 % |
151.68/151.89 c | 253241 | 1960 8359 25345 | 98932 89829 67 | 0.000 % |
153.28/153.46 c | 255496 | 1960 8359 25345 | 98932 92084 68 | 0.000 % |
155.08/155.22 c | 257975 | 1960 8359 25345 | 98932 94563 68 | 0.000 % |
155.18/155.31 c | 258075 | 1960 8359 25345 | 98932 94663 68 | 0.000 % |
155.28/155.42 c | 258188 | 1960 8359 25345 | 98932 94776 68 | 0.000 % |
155.37/155.53 c | 258311 | 1960 8359 25345 | 98932 94899 68 | 0.000 % |
155.47/155.63 c | 258444 | 1960 8359 25345 | 98932 95032 68 | 0.000 % |
155.57/155.74 c | 258591 | 1960 8359 25345 | 98932 95179 68 | 0.000 % |
155.67/155.88 c | 258751 | 1960 8359 25345 | 98932 95339 68 | 0.000 % |
155.87/156.02 c | 258928 | 1960 8359 25345 | 98932 95516 68 | 0.000 % |
155.98/156.17 c | 259122 | 1960 8359 25345 | 98932 95710 68 | 0.000 % |
156.17/156.35 c | 259336 | 1960 8359 25345 | 98932 95924 68 | 0.000 % |
156.37/156.53 c | 259570 | 1960 8359 25345 | 98932 96158 68 | 0.000 % |
156.57/156.74 c | 259828 | 1960 8359 25345 | 98932 96416 68 | 0.000 % |
156.77/156.97 c | 260110 | 1960 8359 25345 | 96588 96698 68 | 0.000 % |
157.08/157.21 c | 260419 | 1960 8359 25345 | 96588 86474 67 | 0.000 % |
157.27/157.45 c | 260760 | 1960 8359 25345 | 96588 86815 67 | 0.000 % |
157.57/157.70 c | 261132 | 1960 8359 25345 | 96588 87187 67 | 0.000 % |
157.87/158.02 c | 261541 | 1960 8359 25345 | 96588 87596 67 | 0.000 % |
158.18/158.37 c | 261992 | 1960 8359 25345 | 96588 88047 67 | 0.000 % |
158.58/158.72 c | 262486 | 1960 8359 25345 | 96588 88541 67 | 0.000 % |
158.98/159.14 c | 263032 | 1960 8359 25345 | 96588 89087 67 | 0.000 % |
159.38/159.58 c | 263628 | 1960 8359 25345 | 96588 89683 67 | 0.000 % |
159.88/160.00 c | 264283 | 1960 8359 25345 | 96588 90338 67 | 0.000 % |
160.28/160.47 c | 265006 | 1960 8359 25345 | 96588 91061 67 | 0.000 % |
160.88/161.04 c | 265800 | 1960 8359 25345 | 96588 91855 67 | 0.000 % |
161.48/161.65 c | 266671 | 1960 8359 25345 | 96588 92726 67 | 0.000 % |
162.18/162.35 c | 267633 | 1960 8359 25345 | 96588 93688 67 | 0.000 % |
162.88/163.08 c | 268686 | 1960 8359 25345 | 96588 94741 68 | 0.000 % |
163.68/163.84 c | 269844 | 1960 8359 25345 | 96588 95899 68 | 0.000 % |
164.58/164.71 c | 271118 | 1960 8359 25345 | 2147483647 97173 68 | 0.000 % |
165.58/165.78 c | 272518 | 1960 8359 25345 | 2147483647 98573 68 | 0.000 % |
166.78/166.92 c | 274060 | 1960 8359 25345 | 2147483647 100115 68 | 0.000 % |
168.18/168.32 c | 275755 | 1960 8359 25345 | 2147483647 101810 68 | 0.000 % |
169.58/169.73 c | 277618 | 1960 8359 25345 | 2147483647 103673 68 | 0.000 % |
171.17/171.34 c | 279668 | 1960 8359 25345 | 2147483647 105723 68 | 0.000 % |
172.97/173.10 c | 281921 | 1960 8359 25345 | 106057 94146 68 | 0.000 % |
174.57/174.79 c | 284402 | 1960 8359 25345 | 106057 96627 68 | 0.000 % |
176.57/176.79 c | 287131 | 1960 8359 25345 | 106057 99356 68 | 0.000 % |
176.67/176.88 c | 287233 | 1960 8359 25345 | 106057 99458 68 | 0.000 % |
176.77/176.97 c | 287345 | 1960 8359 25345 | 106057 99570 68 | 0.000 % |
176.87/177.08 c | 287467 | 1960 8359 25345 | 106057 99692 68 | 0.000 % |
177.07/177.22 c | 287602 | 1960 8359 25345 | 106057 99827 68 | 0.000 % |
177.17/177.36 c | 287750 | 1960 8359 25345 | 106057 99975 68 | 0.000 % |
177.37/177.50 c | 287911 | 1960 8359 25345 | 106057 100136 68 | 0.000 % |
177.47/177.65 c | 288087 | 1960 8359 25345 | 106057 100312 68 | 0.000 % |
177.67/177.82 c | 288280 | 1960 8359 25345 | 106057 100505 68 | 0.000 % |
177.77/177.98 c | 288492 | 1960 8359 25345 | 106057 100717 68 | 0.000 % |
177.97/178.18 c | 288726 | 1960 8359 25345 | 106057 100951 68 | 0.000 % |
178.17/178.38 c | 288983 | 1960 8359 25345 | 106057 101208 68 | 0.000 % |
178.47/178.60 c | 289269 | 1960 8359 25345 | 106057 101494 68 | 0.000 % |
178.67/178.86 c | 289583 | 1960 8359 25345 | 106057 101808 68 | 0.000 % |
178.97/179.15 c | 289922 | 1960 8359 25345 | 106057 102147 68 | 0.000 % |
179.27/179.45 c | 290295 | 1960 8359 25345 | 102225 102520 68 | 0.000 % |
179.67/179.80 c | 290705 | 1960 8359 25345 | 102225 90288 68 | 0.000 % |
179.97/180.12 c | 291154 | 1960 8359 25345 | 102225 90737 68 | 0.000 % |
180.27/180.42 c | 291647 | 1960 8359 25345 | 102225 91230 68 | 0.000 % |
180.67/180.83 c | 292189 | 1960 8359 25345 | 102225 91772 68 | 0.000 % |
181.07/181.27 c | 292785 | 1960 8359 25345 | 102225 92368 68 | 0.000 % |
181.57/181.76 c | 293440 | 1960 8359 25345 | 102225 93023 68 | 0.000 % |
182.07/182.28 c | 294162 | 1960 8359 25345 | 102225 93745 68 | 0.000 % |
182.67/182.87 c | 294954 | 1960 8359 25345 | 102225 94537 68 | 0.000 % |
183.27/183.48 c | 295826 | 1960 8359 25345 | 102225 95409 68 | 0.000 % |
183.97/184.13 c | 296789 | 1960 8359 25345 | 102225 96372 68 | 0.000 % |
184.77/184.93 c | 297843 | 1960 8359 25345 | 102225 97426 68 | 0.000 % |
185.67/185.81 c | 299003 | 1960 8359 25345 | 102225 98586 68 | 0.000 % |
186.57/186.74 c | 300278 | 1960 8359 25345 | 99583 99861 68 | 0.000 % |
187.56/187.78 c | 301678 | 1960 8359 25345 | 99583 89104 68 | 0.000 % |
188.66/188.81 c | 303218 | 1960 8359 25345 | 99583 90644 68 | 0.000 % |
189.76/189.97 c | 304912 | 1960 8359 25345 | 99583 92338 68 | 0.000 % |
191.06/191.27 c | 306775 | 1960 8359 25345 | 99583 94201 68 | 0.000 % |
192.56/192.71 c | 308826 | 1960 8359 25345 | 99583 96252 68 | 0.000 % |
194.16/194.34 c | 311080 | 1960 8359 25345 | 97426 88320 68 | 0.000 % |
195.76/195.91 c | 313560 | 1960 8359 25345 | 97426 90800 68 | 0.000 % |
197.56/197.72 c | 316285 | 1960 8359 25345 | 97426 93525 68 | 0.000 % |
199.46/199.66 c | 319282 | 1960 8359 25345 | 97426 96522 69 | 0.000 % |
199.56/199.74 c | 319382 | 1960 8359 25345 | 97426 96622 69 | 0.000 % |
199.66/199.82 c | 319492 | 1960 8359 25345 | 97426 96732 69 | 0.000 % |
199.76/199.94 c | 319613 | 1960 8359 25345 | 97426 96853 69 | 0.000 % |
199.86/200.07 c | 319746 | 1960 8359 25345 | 97426 96986 69 | 0.000 % |
199.96/200.18 c | 319893 | 1960 8359 25345 | 97426 97133 68 | 0.000 % |
200.16/200.33 c | 320053 | 1960 8359 25345 | 2147483647 97293 68 | 0.000 % |
200.26/200.49 c | 320229 | 1960 8359 25345 | 2147483647 97469 68 | 0.000 % |
200.46/200.66 c | 320424 | 1960 8359 25345 | 2147483647 97664 68 | 0.000 % |
200.66/200.85 c | 320636 | 1960 8359 25345 | 2147483647 97876 68 | 0.000 % |
200.86/201.03 c | 320869 | 1960 8359 25345 | 2147483647 98109 68 | 0.000 % |
201.06/201.24 c | 321125 | 1960 8359 25345 | 2147483647 98365 68 | 0.000 % |
201.26/201.50 c | 321406 | 1960 8359 25345 | 2147483647 98646 68 | 0.000 % |
201.56/201.76 c | 321715 | 1960 8359 25345 | 2147483647 98955 68 | 0.000 % |
201.85/202.04 c | 322054 | 1960 8359 25345 | 2147483647 99294 68 | 0.000 % |
202.16/202.35 c | 322427 | 1960 8359 25345 | 2147483647 99667 68 | 0.000 % |
202.55/202.71 c | 322838 | 1960 8359 25345 | 2147483647 100078 68 | 0.000 % |
202.85/203.09 c | 323290 | 1960 8359 25345 | 2147483647 100530 68 | 0.000 % |
203.36/203.51 c | 323783 | 1960 8359 25345 | 2147483647 101023 68 | 0.000 % |
203.75/203.93 c | 324325 | 1960 8359 25345 | 2147483647 101565 68 | 0.000 % |
204.25/204.40 c | 324921 | 1960 8359 25345 | 2147483647 102161 68 | 0.000 % |
204.75/204.93 c | 325577 | 1960 8359 25345 | 2147483647 102817 68 | 0.000 % |
205.35/205.53 c | 326297 | 1960 8359 25345 | 2147483647 103537 68 | 0.000 % |
205.95/206.16 c | 327092 | 1960 8359 25345 | 2147483647 104332 68 | 0.000 % |
206.75/206.91 c | 327966 | 1960 8359 25345 | 2147483647 105206 68 | 0.000 % |
207.55/207.72 c | 328924 | 1960 8359 25345 | 2147483647 106164 68 | 0.000 % |
208.35/208.56 c | 329977 | 1960 8359 25345 | 2147483647 107217 69 | 0.000 % |
209.35/209.53 c | 331135 | 1960 8359 25345 | 107240 92698 69 | 0.000 % |
210.35/210.51 c | 332410 | 1960 8359 25345 | 107240 93973 69 | 0.000 % |
211.35/211.56 c | 333810 | 1960 8359 25345 | 107240 95373 69 | 0.000 % |
212.45/212.68 c | 335350 | 1960 8359 25345 | 107240 96913 69 | 0.000 % |
213.75/213.93 c | 337044 | 1960 8359 25345 | 107240 98607 69 | 0.000 % |
215.15/215.35 c | 338907 | 1960 8359 25345 | 107240 100470 69 | 0.000 % |
216.75/216.91 c | 340956 | 1960 8359 25345 | 101564 89297 69 | 0.000 % |
218.24/218.41 c | 343209 | 1960 8359 25345 | 101564 91550 69 | 0.000 % |
219.94/220.13 c | 345689 | 1960 8359 25345 | 101564 94030 69 | 0.000 % |
221.84/222.08 c | 348416 | 1960 8359 25345 | 101564 96757 69 | 0.000 % |
224.04/224.30 c | 351413 | 1960 8359 25345 | 98341 89428 69 | 0.000 % |
226.45/226.60 c | 354711 | 1960 8359 25345 | 98341 92726 69 | 0.000 % |
226.45/226.68 c | 354811 | 1960 8359 25345 | 98341 92826 69 | 0.000 % |
226.54/226.76 c | 354922 | 1960 8359 25345 | 98341 92937 69 | 0.000 % |
226.64/226.87 c | 355045 | 1960 8359 25345 | 98341 93060 69 | 0.000 % |
226.84/227.00 c | 355178 | 1960 8359 25345 | 98341 93193 69 | 0.000 % |
226.94/227.12 c | 355325 | 1960 8359 25345 | 98341 93340 69 | 0.000 % |
227.04/227.24 c | 355485 | 1960 8359 25345 | 98341 93500 69 | 0.000 % |
227.14/227.38 c | 355662 | 1960 8359 25345 | 98341 93677 69 | 0.000 % |
227.34/227.54 c | 355856 | 1960 8359 25345 | 98341 93871 69 | 0.000 % |
227.54/227.72 c | 356068 | 1960 8359 25345 | 98341 94083 69 | 0.000 % |
227.74/227.92 c | 356302 | 1960 8359 25345 | 98341 94317 69 | 0.000 % |
227.94/228.14 c | 356561 | 1960 8359 25345 | 98341 94576 69 | 0.000 % |
228.14/228.38 c | 356843 | 1960 8359 25345 | 98341 94858 69 | 0.000 % |
228.44/228.62 c | 357152 | 1960 8359 25345 | 98341 95167 69 | 0.000 % |
228.64/228.89 c | 357495 | 1960 8359 25345 | 98341 95510 69 | 0.000 % |
229.04/229.21 c | 357867 | 1960 8359 25345 | 98341 95882 69 | 0.000 % |
229.24/229.49 c | 358276 | 1960 8359 25345 | 98341 96291 69 | 0.000 % |
229.64/229.81 c | 358725 | 1960 8359 25345 | 98341 96740 69 | 0.000 % |
229.94/230.18 c | 359218 | 1960 8359 25345 | 98341 97233 69 | 0.000 % |
230.34/230.58 c | 359760 | 1960 8359 25345 | 98341 97775 69 | 0.000 % |
230.94/231.11 c | 360357 | 1960 8359 25345 | 98016 86876 69 | 0.000 % |
231.34/231.51 c | 361012 | 1960 8359 25345 | 98016 87531 69 | 0.000 % |
231.84/232.04 c | 361732 | 1960 8359 25345 | 98016 88251 69 | 0.000 % |
232.33/232.57 c | 362525 | 1960 8359 25345 | 98016 89044 69 | 0.000 % |
233.04/233.21 c | 363398 | 1960 8359 25345 | 98016 89917 69 | 0.000 % |
233.73/233.90 c | 364356 | 1960 8359 25345 | 98016 90875 69 | 0.000 % |
234.43/234.68 c | 365409 | 1960 8359 25345 | 98016 91928 69 | 0.000 % |
235.33/235.54 c | 366568 | 1960 8359 25345 | 98016 93087 69 | 0.000 % |
236.34/236.52 c | 367841 | 1960 8359 25345 | 98016 94360 69 | 0.000 % |
237.34/237.54 c | 369242 | 1960 8359 25345 | 98016 95761 69 | 0.000 % |
238.63/238.83 c | 370782 | 1960 8359 25345 | 96519 86258 69 | 0.000 % |
239.73/239.99 c | 372476 | 1960 8359 25345 | 96519 87952 69 | 0.000 % |
241.03/241.26 c | 374339 | 1960 8359 25345 | 96519 89815 69 | 0.000 % |
242.43/242.67 c | 376388 | 1960 8359 25345 | 96519 91864 69 | 0.000 % |
244.04/244.29 c | 378642 | 1960 8359 25345 | 96519 94118 69 | 0.000 % |
245.94/246.16 c | 381121 | 1960 8359 25345 | 95476 86671 69 | 0.000 % |
247.64/247.87 c | 383852 | 1960 8359 25345 | 95476 89402 70 | 0.000 % |
249.64/249.85 c | 386852 | 1960 8359 25345 | 95476 92402 70 | 0.000 % |
251.94/252.18 c | 390148 | 1960 8359 25345 | 2147483647 95698 70 | 0.000 % |
254.83/255.00 c | 393773 | 1960 8359 25345 | 2147483647 99323 70 | 0.000 % |
254.83/255.10 c | 393874 | 1960 8359 25345 | 2147483647 99424 70 | 0.000 % |
254.94/255.20 c | 393984 | 1960 8359 25345 | 2147483647 99534 70 | 0.000 % |
255.13/255.31 c | 394105 | 1960 8359 25345 | 2147483647 99655 70 | 0.000 % |
255.23/255.44 c | 394238 | 1960 8359 25345 | 2147483647 99788 70 | 0.000 % |
255.33/255.57 c | 394385 | 1960 8359 25345 | 2147483647 99935 70 | 0.000 % |
255.53/255.71 c | 394546 | 1960 8359 25345 | 2147483647 100096 70 | 0.000 % |
255.63/255.88 c | 394722 | 1960 8359 25345 | 2147483647 100272 70 | 0.000 % |
255.83/256.04 c | 394915 | 1960 8359 25345 | 2147483647 100465 70 | 0.000 % |
256.04/256.23 c | 395129 | 1960 8359 25345 | 2147483647 100679 70 | 0.000 % |
256.23/256.43 c | 395363 | 1960 8359 25345 | 2147483647 100913 70 | 0.000 % |
256.43/256.64 c | 395619 | 1960 8359 25345 | 2147483647 101169 70 | 0.000 % |
256.63/256.87 c | 395900 | 1960 8359 25345 | 2147483647 101450 70 | 0.000 % |
256.93/257.12 c | 396211 | 1960 8359 25345 | 2147483647 101761 70 | 0.000 % |
257.14/257.39 c | 396552 | 1960 8359 25345 | 2147483647 102102 70 | 0.000 % |
257.53/257.74 c | 396924 | 1960 8359 25345 | 2147483647 102474 70 | 0.000 % |
257.83/258.09 c | 397334 | 1960 8359 25345 | 2147483647 102884 70 | 0.000 % |
258.23/258.47 c | 397783 | 1960 8359 25345 | 2147483647 103333 70 | 0.000 % |
258.63/258.89 c | 398276 | 1960 8359 25345 | 2147483647 103826 70 | 0.000 % |
259.13/259.34 c | 398818 | 1960 8359 25345 | 2147483647 104368 70 | 0.000 % |
259.63/259.83 c | 399416 | 1960 8359 25345 | 2147483647 104966 70 | 0.000 % |
260.13/260.35 c | 400071 | 1960 8359 25345 | 105550 105621 70 | 0.000 % |
260.73/260.96 c | 400791 | 1960 8359 25345 | 105550 91126 70 | 0.000 % |
261.33/261.53 c | 401585 | 1960 8359 25345 | 105550 91920 70 | 0.000 % |
261.93/262.15 c | 402457 | 1960 8359 25345 | 105550 92792 70 | 0.000 % |
262.63/262.87 c | 403416 | 1960 8359 25345 | 105550 93751 70 | 0.000 % |
263.33/263.60 c | 404469 | 1960 8359 25345 | 105550 94804 70 | 0.000 % |
264.23/264.44 c | 405627 | 1960 8359 25345 | 105550 95962 70 | 0.000 % |
265.13/265.32 c | 406902 | 1960 8359 25345 | 105550 97237 70 | 0.000 % |
266.13/266.36 c | 408303 | 1960 8359 25345 | 105550 98638 70 | 0.000 % |
267.32/267.59 c | 409846 | 1960 8359 25345 | 105550 100181 70 | 0.000 % |
268.73/268.92 c | 411541 | 1960 8359 25345 | 100338 88813 70 | 0.000 % |
270.02/270.20 c | 413405 | 1960 8359 25345 | 100338 90677 69 | 0.000 % |
271.43/271.60 c | 415454 | 1960 8359 25345 | 100338 92726 70 | 0.000 % |
273.02/273.20 c | 417709 | 1960 8359 25345 | 100338 94981 70 | 0.000 % |
274.83/275.02 c | 420188 | 1960 8359 25345 | 97272 97460 70 | 0.000 % |
276.72/276.91 c | 422913 | 1960 8359 25345 | 97272 89801 70 | 0.000 % |
278.62/278.84 c | 425912 | 1960 8359 25345 | 97272 92800 70 | 0.000 % |
281.02/281.22 c | 429209 | 1960 8359 25345 | 97272 96097 70 | 0.000 % |
283.62/283.89 c | 432835 | 1960 8359 25345 | 2147483647 99723 70 | 0.000 % |
286.62/286.80 c | 436822 | 1960 8359 25345 | 2147483647 103710 70 | 0.000 % |
286.62/286.89 c | 436925 | 1960 8359 25345 | 2147483647 103813 70 | 0.000 % |
286.72/286.98 c | 437035 | 1960 8359 25345 | 2147483647 103923 70 | 0.000 % |
286.92/287.11 c | 437156 | 1960 8359 25345 | 2147483647 104044 70 | 0.000 % |
287.02/287.22 c | 437289 | 1960 8359 25345 | 2147483647 104177 70 | 0.000 % |
287.12/287.36 c | 437437 | 1960 8359 25345 | 2147483647 104325 70 | 0.000 % |
287.32/287.53 c | 437598 | 1960 8359 25345 | 2147483647 104486 70 | 0.000 % |
287.42/287.69 c | 437774 | 1960 8359 25345 | 2147483647 104662 70 | 0.000 % |
287.62/287.86 c | 437967 | 1960 8359 25345 | 2147483647 104855 70 | 0.000 % |
287.82/288.04 c | 438181 | 1960 8359 25345 | 2147483647 105069 70 | 0.000 % |
288.02/288.25 c | 438414 | 1960 8359 25345 | 2147483647 105302 70 | 0.000 % |
288.21/288.47 c | 438670 | 1960 8359 25345 | 2147483647 105558 70 | 0.000 % |
288.51/288.71 c | 438951 | 1960 8359 25345 | 2147483647 105839 70 | 0.000 % |
288.71/288.96 c | 439260 | 1960 8359 25345 | 2147483647 106148 70 | 0.000 % |
289.02/289.25 c | 439600 | 1960 8359 25345 | 2147483647 106488 70 | 0.000 % |
289.31/289.56 c | 439972 | 1960 8359 25345 | 2147483647 106860 70 | 0.000 % |
289.71/289.97 c | 440381 | 1960 8359 25345 | 106889 93532 69 | 0.000 % |
290.11/290.31 c | 440830 | 1960 8359 25345 | 106889 93981 69 | 0.000 % |
290.41/290.65 c | 441323 | 1960 8359 25345 | 106889 94474 69 | 0.000 % |
290.81/291.07 c | 441865 | 1960 8359 25345 | 106889 95016 69 | 0.000 % |
291.31/291.53 c | 442461 | 1960 8359 25345 | 106889 95612 69 | 0.000 % |
291.81/292.06 c | 443117 | 1960 8359 25345 | 106889 96268 69 | 0.000 % |
292.41/292.60 c | 443837 | 1960 8359 25345 | 106889 96988 69 | 0.000 % |
293.01/293.21 c | 444629 | 1960 8359 25345 | 106889 97780 69 | 0.000 % |
293.61/293.87 c | 445500 | 1960 8359 25345 | 106889 98651 69 | 0.000 % |
294.41/294.64 c | 446458 | 1960 8359 25345 | 106889 99609 69 | 0.000 % |
295.21/295.47 c | 447514 | 1960 8359 25345 | 106889 100665 69 | 0.000 % |
296.21/296.44 c | 448672 | 1960 8359 25345 | 106889 101823 69 | 0.000 % |
297.21/297.43 c | 449945 | 1960 8359 25345 | 106889 103096 69 | 0.000 % |
298.31/298.56 c | 451345 | 1960 8359 25345 | 103153 90197 70 | 0.000 % |
299.41/299.64 c | 452886 | 1960 8359 25345 | 103153 91738 70 | 0.000 % |
300.61/300.83 c | 454580 | 1960 8359 25345 | 103153 93432 70 | 0.000 % |
301.81/302.09 c | 456443 | 1960 8359 25345 | 103153 95295 70 | 0.000 % |
303.21/303.48 c | 458495 | 1960 8359 25345 | 103153 97347 70 | 0.000 % |
304.90/305.17 c | 460749 | 1960 8359 25345 | 98853 88568 70 | 0.000 % |
306.61/306.85 c | 463227 | 1960 8359 25345 | 98853 91046 70 | 0.000 % |
308.40/308.65 c | 465953 | 1960 8359 25345 | 98853 93772 70 | 0.000 % |
310.40/310.69 c | 468951 | 1960 8359 25345 | 98853 96770 70 | 0.000 % |
312.90/313.15 c | 472248 | 1960 8359 25345 | 2147483647 100067 70 | 0.000 % |
315.70/315.99 c | 475874 | 1960 8359 25345 | 2147483647 103693 70 | 0.000 % |
318.71/318.94 c | 479864 | 1960 8359 25345 | 2147483647 107683 70 | 0.000 % |
322.01/322.25 c | 484250 | 1960 8359 25345 | 107820 99481 70 | 0.000 % |
322.11/322.34 c | 484350 | 1960 8359 25345 | 107820 99581 70 | 0.000 % |
322.20/322.46 c | 484461 | 1960 8359 25345 | 107820 99692 70 | 0.000 % |
322.30/322.57 c | 484585 | 1960 8359 25345 | 107820 99816 70 | 0.000 % |
322.50/322.72 c | 484719 | 1960 8359 25345 | 107820 99950 70 | 0.000 % |
322.60/322.84 c | 484865 | 1960 8359 25345 | 107820 100096 70 | 0.000 % |
322.70/322.98 c | 485025 | 1960 8359 25345 | 107820 100256 70 | 0.000 % |
322.90/323.14 c | 485203 | 1960 8359 25345 | 107820 100434 70 | 0.000 % |
323.00/323.29 c | 485396 | 1960 8359 25345 | 107820 100627 70 | 0.000 % |
323.21/323.48 c | 485608 | 1960 8359 25345 | 107820 100839 70 | 0.000 % |
323.40/323.68 c | 485842 | 1960 8359 25345 | 107820 101073 70 | 0.000 % |
323.70/323.90 c | 486098 | 1960 8359 25345 | 107820 101329 70 | 0.000 % |
323.90/324.11 c | 486380 | 1960 8359 25345 | 107820 101611 70 | 0.000 % |
324.10/324.33 c | 486691 | 1960 8359 25345 | 107820 101922 70 | 0.000 % |
324.40/324.61 c | 487030 | 1960 8359 25345 | 107820 102261 70 | 0.000 % |
324.70/324.96 c | 487402 | 1960 8359 25345 | 107820 102633 70 | 0.000 % |
325.10/325.30 c | 487812 | 1960 8359 25345 | 107820 103043 70 | 0.000 % |
325.41/325.67 c | 488263 | 1960 8359 25345 | 107820 103494 70 | 0.000 % |
325.80/326.03 c | 488757 | 1960 8359 25345 | 107820 103988 70 | 0.000 % |
326.30/326.51 c | 489299 | 1960 8359 25345 | 107820 104530 70 | 0.000 % |
326.80/327.00 c | 489895 | 1960 8359 25345 | 107820 105126 69 | 0.000 % |
327.30/327.58 c | 490553 | 1960 8359 25345 | 105231 90472 69 | 0.000 % |
327.90/328.10 c | 491273 | 1960 8359 25345 | 105231 91192 69 | 0.000 % |
328.40/328.68 c | 492065 | 1960 8359 25345 | 105231 91984 69 | 0.000 % |
329.10/329.31 c | 492937 | 1960 8359 25345 | 105231 92856 69 | 0.000 % |
329.70/329.99 c | 493895 | 1960 8359 25345 | 105231 93814 69 | 0.000 % |
330.50/330.74 c | 494951 | 1960 8359 25345 | 105231 94870 69 | 0.000 % |
331.40/331.66 c | 496109 | 1960 8359 25345 | 105231 96028 69 | 0.000 % |
332.40/332.60 c | 497385 | 1960 8359 25345 | 105231 97304 69 | 0.000 % |
333.40/333.64 c | 498787 | 1960 8359 25345 | 105231 98706 69 | 0.000 % |
334.70/334.90 c | 500328 | 1960 8359 25345 | 99919 88302 69 | 0.000 % |
335.80/336.06 c | 502023 | 1960 8359 25345 | 99919 89997 69 | 0.000 % |
337.20/337.45 c | 503887 | 1960 8359 25345 | 99919 91861 69 | 0.000 % |
338.60/338.88 c | 505936 | 1960 8359 25345 | 99919 93910 69 | 0.000 % |
340.20/340.42 c | 508189 | 1960 8359 25345 | 99919 96163 69 | 0.000 % |
342.00/342.29 c | 510668 | 1960 8359 25345 | 97974 87277 69 | 0.000 % |
343.69/343.99 c | 513394 | 1960 8359 25345 | 97974 90003 69 | 0.000 % |
345.69/345.90 c | 516392 | 1960 8359 25345 | 97974 93001 69 | 0.000 % |
347.99/348.28 c | 519688 | 1960 8359 25345 | 97974 96297 69 | 0.000 % |
350.69/350.96 c | 523313 | 1960 8359 25345 | 2147483647 99922 69 | 0.000 % |
353.59/353.86 c | 527300 | 1960 8359 25345 | 2147483647 103909 70 | 0.000 % |
357.09/357.38 c | 531685 | 1960 8359 25345 | 106610 95600 69 | 0.000 % |
360.69/360.93 c | 536509 | 1960 8359 25345 | 106610 100424 70 | 0.000 % |
360.79/361.06 c | 536609 | 1960 8359 25345 | 106610 100524 70 | 0.000 % |
360.89/361.15 c | 536720 | 1960 8359 25345 | 106610 100635 70 | 0.000 % |
360.99/361.26 c | 536841 | 1960 8359 25345 | 106610 100756 70 | 0.000 % |
361.09/361.36 c | 536974 | 1960 8359 25345 | 106610 100889 70 | 0.000 % |
361.19/361.50 c | 537122 | 1960 8359 25345 | 106610 101037 70 | 0.000 % |
361.39/361.64 c | 537282 | 1960 8359 25345 | 106610 101197 70 | 0.000 % |
361.49/361.76 c | 537458 | 1960 8359 25345 | 106610 101373 70 | 0.000 % |
361.69/361.93 c | 537652 | 1960 8359 25345 | 106610 101567 70 | 0.000 % |
361.88/362.11 c | 537865 | 1960 8359 25345 | 106610 101780 70 | 0.000 % |
362.08/362.31 c | 538098 | 1960 8359 25345 | 106610 102013 70 | 0.000 % |
362.28/362.53 c | 538354 | 1960 8359 25345 | 106610 102269 70 | 0.000 % |
362.48/362.78 c | 538635 | 1960 8359 25345 | 106610 102550 70 | 0.000 % |
362.79/363.05 c | 538944 | 1960 8359 25345 | 106610 102859 70 | 0.000 % |
363.08/363.35 c | 539284 | 1960 8359 25345 | 106610 103199 70 | 0.000 % |
363.38/363.68 c | 539656 | 1960 8359 25345 | 106610 103571 70 | 0.000 % |
363.78/364.02 c | 540067 | 1960 8359 25345 | 103915 103982 70 | 0.000 % |
364.18/364.42 c | 540516 | 1960 8359 25345 | 103915 90499 70 | 0.000 % |
364.48/364.76 c | 541010 | 1960 8359 25345 | 103915 90993 70 | 0.000 % |
364.88/365.16 c | 541552 | 1960 8359 25345 | 103915 91535 69 | 0.000 % |
365.28/365.59 c | 542148 | 1960 8359 25345 | 103915 92131 69 | 0.000 % |
365.78/366.07 c | 542804 | 1960 8359 25345 | 103915 92787 69 | 0.000 % |
366.38/366.60 c | 543525 | 1960 8359 25345 | 103915 93508 69 | 0.000 % |
366.88/367.18 c | 544320 | 1960 8359 25345 | 103915 94303 70 | 0.000 % |
367.58/367.81 c | 545191 | 1960 8359 25345 | 103915 95174 70 | 0.000 % |
368.18/368.45 c | 546151 | 1960 8359 25345 | 103915 96134 70 | 0.000 % |
368.98/369.25 c | 547204 | 1960 8359 25345 | 103915 97187 70 | 0.000 % |
369.78/370.08 c | 548362 | 1960 8359 25345 | 103915 98345 70 | 0.000 % |
370.78/371.03 c | 549635 | 1960 8359 25345 | 103915 99618 70 | 0.000 % |
371.78/372.08 c | 551035 | 1960 8359 25345 | 99983 89558 69 | 0.000 % |
372.88/373.14 c | 552575 | 1960 8359 25345 | 99983 91098 70 | 0.000 % |
374.08/374.30 c | 554269 | 1960 8359 25345 | 99983 92792 70 | 0.000 % |
375.37/375.64 c | 556133 | 1960 8359 25345 | 99983 94656 70 | 0.000 % |
376.77/377.09 c | 558182 | 1960 8359 25345 | 99983 96705 70 | 0.000 % |
378.57/378.83 c | 560436 | 1960 8359 25345 | 98523 88378 69 | 0.000 % |
380.28/380.54 c | 562918 | 1960 8359 25345 | 98523 90860 70 | 0.000 % |
382.17/382.46 c | 565645 | 1960 8359 25345 | 98523 93587 70 | 0.000 % |
384.37/384.60 c | 568644 | 1960 8359 25345 | 98523 96586 70 | 0.000 % |
386.77/387.09 c | 571940 | 1960 8359 25345 | 97943 88793 70 | 0.000 % |
389.47/389.72 c | 575565 | 1960 8359 25345 | 97943 92418 70 | 0.000 % |
392.27/392.51 c | 579553 | 1960 8359 25345 | 97943 96406 70 | 0.000 % |
395.26/395.57 c | 583938 | 1960 8359 25345 | 96854 89196 71 | 0.000 % |
398.46/398.78 c | 588765 | 1960 8359 25345 | 96854 94023 71 | 0.000 % |
402.16/402.44 c | 594070 | 1960 8359 25345 | 95258 89081 71 | 0.000 % |
402.26/402.52 c | 594170 | 1960 8359 25345 | 95258 89181 71 | 0.000 % |
402.36/402.61 c | 594283 | 1960 8359 25345 | 95258 89294 71 | 0.000 % |
402.46/402.71 c | 594404 | 1960 8359 25345 | 95258 89415 71 | 0.000 % |
402.56/402.80 c | 594537 | 1960 8359 25345 | 95258 89548 71 | 0.000 % |
402.66/402.93 c | 594683 | 1960 8359 25345 | 95258 89694 71 | 0.000 % |
402.76/403.06 c | 594843 | 1960 8359 25345 | 95258 89854 71 | 0.000 % |
402.96/403.20 c | 595019 | 1960 8359 25345 | 95258 90030 71 | 0.000 % |
403.06/403.36 c | 595213 | 1960 8359 25345 | 95258 90224 71 | 0.000 % |
403.26/403.53 c | 595425 | 1960 8359 25345 | 95258 90436 71 | 0.000 % |
403.46/403.71 c | 595660 | 1960 8359 25345 | 95258 90671 71 | 0.000 % |
403.66/403.91 c | 595916 | 1960 8359 25345 | 95258 90927 71 | 0.000 % |
403.86/404.14 c | 596197 | 1960 8359 25345 | 95258 91208 71 | 0.000 % |
404.06/404.39 c | 596507 | 1960 8359 25345 | 95258 91518 71 | 0.000 % |
404.36/404.66 c | 596848 | 1960 8359 25345 | 95258 91859 71 | 0.000 % |
404.66/404.92 c | 597221 | 1960 8359 25345 | 95258 92232 71 | 0.000 % |
404.96/405.22 c | 597630 | 1960 8359 25345 | 95258 92641 71 | 0.000 % |
405.26/405.51 c | 598079 | 1960 8359 25345 | 95258 93090 71 | 0.000 % |
405.56/405.89 c | 598575 | 1960 8359 25345 | 95258 93586 71 | 0.000 % |
406.06/406.31 c | 599117 | 1960 8359 25345 | 95258 94128 71 | 0.000 % |
406.46/406.74 c | 599713 | 1960 8359 25345 | 95258 94724 71 | 0.000 % |
407.06/407.31 c | 600368 | 1960 8359 25345 | 95012 84852 71 | 0.000 % |
407.56/407.82 c | 601089 | 1960 8359 25345 | 95012 85573 71 | 0.000 % |
408.05/408.35 c | 601881 | 1960 8359 25345 | 95012 86365 71 | 0.000 % |
408.65/408.94 c | 602754 | 1960 8359 25345 | 95012 87238 70 | 0.000 % |
409.25/409.57 c | 603712 | 1960 8359 25345 | 95012 88196 71 | 0.000 % |
410.06/410.32 c | 604765 | 1960 8359 25345 | 95012 89249 71 | 0.000 % |
410.75/411.08 c | 605924 | 1960 8359 25345 | 95012 90408 71 | 0.000 % |
411.65/411.95 c | 607201 | 1960 8359 25345 | 95012 91685 71 | 0.000 % |
412.55/412.86 c | 608603 | 1960 8359 25345 | 95012 93087 71 | 0.000 % |
413.65/413.95 c | 610144 | 1960 8359 25345 | 2147483647 94628 71 | 0.000 % |
414.95/415.25 c | 611841 | 1960 8359 25345 | 2147483647 96325 71 | 0.000 % |
416.35/416.70 c | 613705 | 1960 8359 25345 | 2147483647 98189 71 | 0.000 % |
417.95/418.22 c | 615754 | 1960 8359 25345 | 2147483647 100238 71 | 0.000 % |
419.65/419.95 c | 618007 | 1960 8359 25345 | 2147483647 102491 71 | 0.000 % |
421.55/421.89 c | 620485 | 1960 8359 25345 | 104484 91194 71 | 0.000 % |
423.45/423.72 c | 623211 | 1960 8359 25345 | 104484 93920 71 | 0.000 % |
425.55/425.83 c | 626209 | 1960 8359 25345 | 104484 96918 71 | 0.000 % |
427.94/428.22 c | 629505 | 1960 8359 25345 | 104484 100214 71 | 0.000 % |
430.54/430.87 c | 633130 | 1960 8359 25345 | 100710 91469 71 | 0.000 % |
433.44/433.78 c | 637117 | 1960 8359 25345 | 100710 95456 71 | 0.000 % |
436.94/437.27 c | 641502 | 1960 8359 25345 | 98341 88165 71 | 0.000 % |
440.24/440.55 c | 646325 | 1960 8359 25345 | 98341 92988 71 | 0.000 % |
444.04/444.31 c | 651633 | 1960 8359 25345 | 96664 87492 70 | 0.000 % |
448.04/448.34 c | 657469 | 1960 8359 25345 | 96664 93328 70 | 0.000 % |
448.14/448.43 c | 657570 | 1960 8359 25345 | 96664 93429 70 | 0.000 % |
448.24/448.53 c | 657681 | 1960 8359 25345 | 96664 93540 70 | 0.000 % |
448.34/448.63 c | 657803 | 1960 8359 25345 | 96664 93662 70 | 0.000 % |
448.44/448.74 c | 657937 | 1960 8359 25345 | 96664 93796 70 | 0.000 % |
448.54/448.87 c | 658083 | 1960 8359 25345 | 96664 93942 70 | 0.000 % |
448.74/449.03 c | 658244 | 1960 8359 25345 | 96664 94103 70 | 0.000 % |
448.84/449.17 c | 658421 | 1960 8359 25345 | 96664 94280 70 | 0.000 % |
449.03/449.32 c | 658614 | 1960 8359 25345 | 96664 94473 70 | 0.000 % |
449.23/449.50 c | 658826 | 1960 8359 25345 | 96664 94685 70 | 0.000 % |
449.33/449.69 c | 659059 | 1960 8359 25345 | 96664 94918 70 | 0.000 % |
449.64/449.91 c | 659316 | 1960 8359 25345 | 96664 95175 70 | 0.000 % |
449.83/450.13 c | 659597 | 1960 8359 25345 | 96664 95456 70 | 0.000 % |
450.03/450.35 c | 659906 | 1960 8359 25345 | 96664 95765 70 | 0.000 % |
450.33/450.62 c | 660245 | 1960 8359 25345 | 95861 96104 70 | 0.000 % |
450.64/450.95 c | 660617 | 1960 8359 25345 | 95861 85458 70 | 0.000 % |
450.93/451.20 c | 661027 | 1960 8359 25345 | 95861 85868 70 | 0.000 % |
451.23/451.52 c | 661478 | 1960 8359 25345 | 95861 86319 70 | 0.000 % |
451.53/451.84 c | 661971 | 1960 8359 25345 | 95861 86812 70 | 0.000 % |
451.93/452.21 c | 662513 | 1960 8359 25345 | 95861 87354 70 | 0.000 % |
452.33/452.62 c | 663110 | 1960 8359 25345 | 95861 87951 70 | 0.000 % |
452.73/453.06 c | 663767 | 1960 8359 25345 | 95861 88608 70 | 0.000 % |
453.23/453.53 c | 664487 | 1960 8359 25345 | 95861 89328 70 | 0.000 % |
453.83/454.12 c | 665279 | 1960 8359 25345 | 95861 90120 70 | 0.000 % |
454.43/454.78 c | 666150 | 1960 8359 25345 | 95861 90991 70 | 0.000 % |
455.13/455.48 c | 667108 | 1960 8359 25345 | 95861 91949 70 | 0.000 % |
455.93/456.27 c | 668164 | 1960 8359 25345 | 95861 93005 70 | 0.000 % |
456.83/457.16 c | 669322 | 1960 8359 25345 | 95861 94163 70 | 0.000 % |
457.83/458.15 c | 670595 | 1960 8359 25345 | 94843 85454 70 | 0.000 % |
458.83/459.15 c | 671997 | 1960 8359 25345 | 94843 86856 70 | 0.000 % |
459.93/460.23 c | 673537 | 1960 8359 25345 | 94843 88396 70 | 0.000 % |
461.13/461.42 c | 675231 | 1960 8359 25345 | 94843 90090 70 | 0.000 % |
462.33/462.69 c | 677094 | 1960 8359 25345 | 94843 91953 70 | 0.000 % |
463.83/464.11 c | 679144 | 1960 8359 25345 | 94843 94003 70 | 0.000 % |
465.43/465.74 c | 681397 | 1960 8359 25345 | 94859 86606 70 | 0.000 % |
467.13/467.40 c | 683877 | 1960 8359 25345 | 94859 89086 70 | 0.000 % |
469.02/469.31 c | 686602 | 1960 8359 25345 | 94859 91811 70 | 0.000 % |
471.02/471.36 c | 689601 | 1960 8359 25345 | 94859 94810 71 | 0.000 % |
473.43/473.71 c | 692898 | 1960 8359 25345 | 2147483647 88591 71 | 0.000 % |
475.83/476.13 c | 696524 | 1960 8359 25345 | 2147483647 92217 71 | 0.000 % |
478.63/478.99 c | 700512 | 1960 8359 25345 | 2147483647 96205 71 | 0.000 % |
481.93/482.24 c | 704898 | 1960 8359 25345 | 2147483647 100591 71 | 0.000 % |
485.43/485.74 c | 709722 | 1960 8359 25345 | 2147483647 105415 71 | 0.000 % |
489.42/489.70 c | 715027 | 1960 8359 25345 | 105696 96295 71 | 0.000 % |
493.72/494.05 c | 720863 | 1960 8359 25345 | 101268 89143 70 | 0.000 % |
498.52/498.86 c | 727281 | 1960 8359 25345 | 101268 95561 70 | 0.000 % |
498.62/498.94 c | 727381 | 1960 8359 25345 | 101268 95661 70 | 0.000 % |
498.72/499.03 c | 727492 | 1960 8359 25345 | 101268 95772 70 | 0.000 % |
498.82/499.14 c | 727614 | 1960 8359 25345 | 101268 95894 70 | 0.000 % |
498.92/499.26 c | 727748 | 1960 8359 25345 | 101268 96028 70 | 0.000 % |
499.02/499.39 c | 727896 | 1960 8359 25345 | 101268 96176 70 | 0.000 % |
499.22/499.53 c | 728056 | 1960 8359 25345 | 101268 96336 70 | 0.000 % |
499.32/499.69 c | 728233 | 1960 8359 25345 | 101268 96513 70 | 0.000 % |
499.52/499.87 c | 728427 | 1960 8359 25345 | 101268 96707 70 | 0.000 % |
499.72/500.06 c | 728639 | 1960 8359 25345 | 101268 96919 70 | 0.000 % |
499.92/500.24 c | 728874 | 1960 8359 25345 | 101268 97154 70 | 0.000 % |
500.12/500.47 c | 729130 | 1960 8359 25345 | 101268 97410 70 | 0.000 % |
500.32/500.68 c | 729411 | 1960 8359 25345 | 101268 97691 70 | 0.000 % |
500.62/500.96 c | 729721 | 1960 8359 25345 | 101268 98001 70 | 0.000 % |
500.92/501.26 c | 730060 | 1960 8359 25345 | 98280 98340 70 | 0.000 % |
501.22/501.60 c | 730434 | 1960 8359 25345 | 98280 85639 70 | 0.000 % |
501.52/501.90 c | 730845 | 1960 8359 25345 | 98280 86050 70 | 0.000 % |
501.92/502.22 c | 731295 | 1960 8359 25345 | 98280 86500 70 | 0.000 % |
502.22/502.54 c | 731788 | 1960 8359 25345 | 98280 86993 70 | 0.000 % |
502.62/502.95 c | 732330 | 1960 8359 25345 | 98280 87535 70 | 0.000 % |
503.02/503.37 c | 732927 | 1960 8359 25345 | 98280 88132 70 | 0.000 % |
503.52/503.82 c | 733582 | 1960 8359 25345 | 98280 88787 70 | 0.000 % |
504.02/504.38 c | 734304 | 1960 8359 25345 | 98280 89509 70 | 0.000 % |
504.62/504.98 c | 735096 | 1960 8359 25345 | 98280 90301 70 | 0.000 % |
505.32/505.63 c | 735967 | 1960 8359 25345 | 98280 91172 70 | 0.000 % |
506.01/506.37 c | 736926 | 1960 8359 25345 | 98280 92131 70 | 0.000 % |
506.82/507.14 c | 737979 | 1960 8359 25345 | 98280 93184 69 | 0.000 % |
507.71/508.08 c | 739137 | 1960 8359 25345 | 98280 94342 69 | 0.000 % |
508.81/509.11 c | 740410 | 1960 8359 25345 | 95205 84330 69 | 0.000 % |
509.71/510.03 c | 741810 | 1960 8359 25345 | 95205 85730 69 | 0.000 % |
510.81/511.13 c | 743354 | 1960 8359 25345 | 95205 87274 69 | 0.000 % |
512.01/512.36 c | 745050 | 1960 8359 25345 | 95205 88970 69 | 0.000 % |
513.31/513.64 c | 746913 | 1960 8359 25345 | 95205 90833 69 | 0.000 % |
514.81/515.12 c | 748962 | 1960 8359 25345 | 95205 92882 70 | 0.000 % |
516.31/516.63 c | 751215 | 1960 8359 25345 | 93922 85559 70 | 0.000 % |
517.91/518.21 c | 753693 | 1960 8359 25345 | 93922 88037 70 | 0.000 % |
519.71/520.01 c | 756418 | 1960 8359 25345 | 93922 90762 70 | 0.000 % |
521.91/522.22 c | 759415 | 1960 8359 25345 | 93922 93759 70 | 0.000 % |
524.31/524.61 c | 762712 | 1960 8359 25345 | 2147483647 87638 70 | 0.000 % |
527.11/527.40 c | 766337 | 1960 8359 25345 | 2147483647 91263 70 | 0.000 % |
530.10/530.46 c | 770324 | 1960 8359 25345 | 94928 85692 69 | 0.000 % |
533.11/533.41 c | 774711 | 1960 8359 25345 | 94928 90079 70 | 0.000 % |
536.51/536.88 c | 779535 | 1960 8359 25345 | 94928 94903 71 | 0.000 % |
540.10/540.49 c | 784840 | 1960 8359 25345 | 2147483647 90687 70 | 0.000 % |
544.20/544.57 c | 790675 | 1960 8359 25345 | 2147483647 96522 70 | 0.000 % |
548.70/549.01 c | 797094 | 1960 8359 25345 | 2147483647 102941 71 | 0.000 % |
554.00/554.31 c | 804154 | 1960 8359 25345 | 105849 96316 71 | 0.000 % |
554.00/554.37 c | 804255 | 1960 8359 25345 | 105849 96417 71 | 0.000 % |
554.10/554.47 c | 804366 | 1960 8359 25345 | 105849 96528 71 | 0.000 % |
554.19/554.56 c | 804487 | 1960 8359 25345 | 105849 96649 71 | 0.000 % |
554.29/554.68 c | 804622 | 1960 8359 25345 | 105849 96784 71 | 0.000 % |
554.49/554.82 c | 804772 | 1960 8359 25345 | 105849 96934 71 | 0.000 % |
554.59/554.96 c | 804932 | 1960 8359 25345 | 105849 97094 71 | 0.000 % |
554.79/555.11 c | 805108 | 1960 8359 25345 | 105849 97270 71 | 0.000 % |
554.89/555.27 c | 805301 | 1960 8359 25345 | 105849 97463 71 | 0.000 % |
555.10/555.42 c | 805515 | 1960 8359 25345 | 105849 97677 71 | 0.000 % |
555.29/555.60 c | 805749 | 1960 8359 25345 | 105849 97911 71 | 0.000 % |
555.49/555.82 c | 806005 | 1960 8359 25345 | 105849 98167 71 | 0.000 % |
555.69/556.10 c | 806286 | 1960 8359 25345 | 105849 98448 71 | 0.000 % |
555.99/556.35 c | 806596 | 1960 8359 25345 | 105849 98758 71 | 0.000 % |
556.30/556.65 c | 806940 | 1960 8359 25345 | 105849 99102 71 | 0.000 % |
556.59/556.97 c | 807312 | 1960 8359 25345 | 105849 99474 71 | 0.000 % |
556.99/557.30 c | 807721 | 1960 8359 25345 | 105849 99883 71 | 0.000 % |
557.30/557.66 c | 808171 | 1960 8359 25345 | 105849 100333 70 | 0.000 % |
557.69/558.03 c | 808664 | 1960 8359 25345 | 105849 100826 70 | 0.000 % |
558.09/558.47 c | 809208 | 1960 8359 25345 | 105849 101370 70 | 0.000 % |
558.69/559.01 c | 809804 | 1960 8359 25345 | 105849 101966 70 | 0.000 % |
559.29/559.62 c | 810459 | 1960 8359 25345 | 102162 88145 70 | 0.000 % |
559.79/560.15 c | 811179 | 1960 8359 25345 | 102162 88865 70 | 0.000 % |
560.39/560.75 c | 811971 | 1960 8359 25345 | 102162 89657 70 | 0.000 % |
560.99/561.39 c | 812842 | 1960 8359 25345 | 102162 90528 70 | 0.000 % |
561.69/562.05 c | 813800 | 1960 8359 25345 | 102162 91486 70 | 0.000 % |
562.49/562.80 c | 814854 | 1960 8359 25345 | 102162 92540 70 | 0.000 % |
563.19/563.54 c | 816013 | 1960 8359 25345 | 102162 93699 70 | 0.000 % |
564.09/564.43 c | 817290 | 1960 8359 25345 | 102162 94976 70 | 0.000 % |
565.09/565.43 c | 818690 | 1960 8359 25345 | 102162 96376 70 | 0.000 % |
566.19/566.53 c | 820230 | 1960 8359 25345 | 97690 97916 70 | 0.000 % |
567.39/567.77 c | 821924 | 1960 8359 25345 | 97690 88707 71 | 0.000 % |
568.69/569.08 c | 823787 | 1960 8359 25345 | 97690 90570 71 | 0.000 % |
570.19/570.51 c | 825837 | 1960 8359 25345 | 97690 92620 71 | 0.000 % |
571.79/572.12 c | 828090 | 1960 8359 25345 | 97690 94873 71 | 0.000 % |
573.79/574.15 c | 830570 | 1960 8359 25345 | 96783 86646 71 | 0.000 % |
575.69/576.04 c | 833297 | 1960 8359 25345 | 96783 89373 71 | 0.000 % |
577.79/578.12 c | 836294 | 1960 8359 25345 | 96783 92370 71 | 0.000 % |
579.98/580.34 c | 839590 | 1960 8359 25345 | 96783 95666 71 | 0.000 % |
582.48/582.86 c | 843216 | 1960 8359 25345 | 2147483647 99292 71 | 0.000 % |
585.38/585.74 c | 847207 | 1960 8359 25345 | 2147483647 103283 71 | 0.000 % |
588.79/589.13 c | 851592 | 1960 8359 25345 | 106076 95486 71 | 0.000 % |
592.28/592.60 c | 856415 | 1960 8359 25345 | 106076 100309 71 | 0.000 % |
596.18/596.50 c | 861721 | 1960 8359 25345 | 103894 93101 72 | 0.000 % |
600.48/600.85 c | 867556 | 1960 8359 25345 | 103894 98936 72 | 0.000 % |
605.28/605.65 c | 873974 | 1960 8359 25345 | 101380 92662 71 | 0.000 % |
610.48/610.84 c | 881035 | 1960 8359 25345 | 98691 88127 72 | 0.000 % |
615.98/616.37 c | 888799 | 1960 8359 25345 | 98691 95891 72 | 0.000 % |
616.08/616.45 c | 888899 | 1960 8359 25345 | 98691 95991 72 | 0.000 % |
616.18/616.53 c | 889009 | 1960 8359 25345 | 98691 96101 72 | 0.000 % |
616.28/616.66 c | 889131 | 1960 8359 25345 | 98691 96223 72 | 0.000 % |
616.38/616.79 c | 889265 | 1960 8359 25345 | 98691 96357 72 | 0.000 % |
616.57/616.93 c | 889415 | 1960 8359 25345 | 98691 96507 72 | 0.000 % |
616.68/617.06 c | 889577 | 1960 8359 25345 | 98691 96669 72 | 0.000 % |
616.87/617.24 c | 889755 | 1960 8359 25345 | 98691 96847 72 | 0.000 % |
617.07/617.42 c | 889948 | 1960 8359 25345 | 98691 97040 72 | 0.000 % |
617.17/617.60 c | 890161 | 1960 8359 25345 | 97092 97253 72 | 0.000 % |
617.47/617.83 c | 890394 | 1960 8359 25345 | 97092 84716 72 | 0.000 % |
617.67/618.02 c | 890650 | 1960 8359 25345 | 97092 84972 72 | 0.000 % |
617.78/618.20 c | 890935 | 1960 8359 25345 | 97092 85257 72 | 0.000 % |
618.07/618.46 c | 891245 | 1960 8359 25345 | 97092 85567 72 | 0.000 % |
618.37/618.71 c | 891585 | 1960 8359 25345 | 97092 85907 72 | 0.000 % |
618.67/619.00 c | 891957 | 1960 8359 25345 | 97092 86279 72 | 0.000 % |
618.98/619.31 c | 892367 | 1960 8359 25345 | 97092 86689 72 | 0.000 % |
619.27/619.65 c | 892816 | 1960 8359 25345 | 97092 87138 72 | 0.000 % |
619.57/619.99 c | 893314 | 1960 8359 25345 | 97092 87636 72 | 0.000 % |
619.98/620.39 c | 893856 | 1960 8359 25345 | 97092 88178 72 | 0.000 % |
620.47/620.80 c | 894452 | 1960 8359 25345 | 97092 88774 72 | 0.000 % |
620.87/621.24 c | 895107 | 1960 8359 25345 | 97092 89429 72 | 0.000 % |
621.37/621.74 c | 895828 | 1960 8359 25345 | 97092 90150 72 | 0.000 % |
621.97/622.34 c | 896622 | 1960 8359 25345 | 97092 90944 72 | 0.000 % |
622.67/623.02 c | 897494 | 1960 8359 25345 | 97092 91816 72 | 0.000 % |
623.38/623.71 c | 898452 | 1960 8359 25345 | 97092 92774 72 | 0.000 % |
624.17/624.52 c | 899505 | 1960 8359 25345 | 97092 93827 72 | 0.000 % |
625.07/625.40 c | 900664 | 1960 8359 25345 | 94322 84572 72 | 0.000 % |
625.97/626.31 c | 901939 | 1960 8359 25345 | 94322 85847 72 | 0.000 % |
626.87/627.23 c | 903339 | 1960 8359 25345 | 94322 87247 72 | 0.000 % |
627.97/628.38 c | 904880 | 1960 8359 25345 | 94322 88788 72 | 0.000 % |
629.17/629.54 c | 906574 | 1960 8359 25345 | 94322 90482 72 | 0.000 % |
630.57/630.94 c | 908440 | 1960 8359 25345 | 94322 92348 72 | 0.000 % |
632.07/632.46 c | 910489 | 1960 8359 25345 | 93908 84982 71 | 0.000 % |
633.56/633.95 c | 912744 | 1960 8359 25345 | 93908 87237 71 | 0.000 % |
635.26/635.65 c | 915223 | 1960 8359 25345 | 93908 89716 71 | 0.000 % |
637.16/637.57 c | 917948 | 1960 8359 25345 | 93908 92441 72 | 0.000 % |
639.36/639.77 c | 920945 | 1960 8359 25345 | 2147483647 86020 72 | 0.000 % |
641.66/642.04 c | 924243 | 1960 8359 25345 | 2147483647 89318 72 | 0.000 % |
644.06/644.46 c | 927869 | 1960 8359 25345 | 2147483647 92944 72 | 0.000 % |
646.96/647.31 c | 931859 | 1960 8359 25345 | 2147483647 96934 72 | 0.000 % |
650.26/650.68 c | 936244 | 1960 8359 25345 | 2147483647 101319 72 | 0.000 % |
654.07/654.42 c | 941069 | 1960 8359 25345 | 105077 92742 72 | 0.000 % |
658.06/658.42 c | 946375 | 1960 8359 25345 | 105077 98048 72 | 0.000 % |
662.46/662.86 c | 952210 | 1960 8359 25345 | 101673 90357 71 | 0.000 % |
667.36/667.76 c | 958630 | 1960 8359 25345 | 101673 96777 72 | 0.000 % |
672.86/673.26 c | 965690 | 1960 8359 25345 | 98147 91190 72 | 0.000 % |
678.55/678.94 c | 973454 | 1960 8359 25345 | 95501 87494 71 | 0.000 % |
684.86/685.26 c | 981995 | 1960 8359 25345 | 94041 85073 73 | 0.000 % |
684.96/685.34 c | 982097 | 1960 8359 25345 | 94041 85175 73 | 0.000 % |
685.05/685.45 c | 982207 | 1960 8359 25345 | 94041 85285 73 | 0.000 % |
685.15/685.55 c | 982328 | 1960 8359 25345 | 94041 85406 73 | 0.000 % |
685.25/685.66 c | 982463 | 1960 8359 25345 | 94041 85541 73 | 0.000 % |
685.35/685.78 c | 982609 | 1960 8359 25345 | 94041 85687 73 | 0.000 % |
685.55/685.90 c | 982771 | 1960 8359 25345 | 94041 85849 73 | 0.000 % |
685.65/686.04 c | 982949 | 1960 8359 25345 | 94041 86027 73 | 0.000 % |
685.75/686.17 c | 983142 | 1960 8359 25345 | 94041 86220 73 | 0.000 % |
685.95/686.33 c | 983354 | 1960 8359 25345 | 94041 86432 73 | 0.000 % |
686.15/686.52 c | 983587 | 1960 8359 25345 | 94041 86665 73 | 0.000 % |
686.35/686.72 c | 983844 | 1960 8359 25345 | 94041 86922 72 | 0.000 % |
686.55/686.95 c | 984127 | 1960 8359 25345 | 94041 87205 72 | 0.000 % |
686.75/687.19 c | 984437 | 1960 8359 25345 | 94041 87515 72 | 0.000 % |
687.05/687.45 c | 984778 | 1960 8359 25345 | 94041 87856 72 | 0.000 % |
687.35/687.70 c | 985150 | 1960 8359 25345 | 94041 88228 72 | 0.000 % |
687.65/688.00 c | 985560 | 1960 8359 25345 | 94041 88638 72 | 0.000 % |
687.95/688.34 c | 986010 | 1960 8359 25345 | 94041 89088 72 | 0.000 % |
688.35/688.72 c | 986504 | 1960 8359 25345 | 94041 89582 72 | 0.000 % |
688.75/689.13 c | 987046 | 1960 8359 25345 | 94041 90124 72 | 0.000 % |
689.15/689.58 c | 987642 | 1960 8359 25345 | 94041 90720 72 | 0.000 % |
689.65/690.06 c | 988297 | 1960 8359 25345 | 94041 91375 72 | 0.000 % |
690.15/690.57 c | 989017 | 1960 8359 25345 | 94041 92095 72 | 0.000 % |
690.75/691.17 c | 989810 | 1960 8359 25345 | 94041 92888 72 | 0.000 % |
691.35/691.79 c | 990681 | 1960 8359 25345 | 93079 83121 72 | 0.000 % |
692.05/692.42 c | 991639 | 1960 8359 25345 | 93079 84079 72 | 0.000 % |
692.65/693.09 c | 992694 | 1960 8359 25345 | 93079 85134 72 | 0.000 % |
693.45/693.89 c | 993854 | 1960 8359 25345 | 93079 86294 72 | 0.000 % |
694.35/694.76 c | 995129 | 1960 8359 25345 | 93079 87569 72 | 0.000 % |
695.35/695.72 c | 996530 | 1960 8359 25345 | 93079 88970 72 | 0.000 % |
696.45/696.85 c | 998070 | 1960 8359 25345 | 93079 90510 72 | 0.000 % |
697.64/698.08 c | 999768 | 1960 8359 25345 | 93079 92208 72 | 0.000 % |
699.04/699.47 c | 1001633 | 1960 8359 25345 | 92440 84329 72 | 0.000 % |
700.35/700.80 c | 1003685 | 1960 8359 25345 | 92440 86381 72 | 0.000 % |
701.94/702.37 c | 1005939 | 1960 8359 25345 | 92440 88635 72 | 0.000 % |
703.55/703.95 c | 1008417 | 1960 8359 25345 | 92440 91113 72 | 0.000 % |
705.54/705.93 c | 1011144 | 1960 8359 25345 | 2147483647 93840 72 | 0.000 % |
707.95/708.33 c | 1014141 | 1960 8359 25345 | 2147483647 96837 72 | 0.000 % |
710.44/710.86 c | 1017439 | 1960 8359 25345 | 2147483647 100135 72 | 0.000 % |
713.24/713.60 c | 1021064 | 1960 8359 25345 | 102700 91461 72 | 0.000 % |
716.04/716.47 c | 1025054 | 1960 8359 25345 | 102700 95451 72 | 0.000 % |
719.44/719.88 c | 1029439 | 1960 8359 25345 | 102700 99836 72 | 0.000 % |
723.04/723.49 c | 1034264 | 1960 8359 25345 | 100402 91555 72 | 0.000 % |
727.04/727.40 c | 1039570 | 1960 8359 25345 | 100402 96861 72 | 0.000 % |
730.93/731.32 c | 1045406 | 1960 8359 25345 | 97291 90355 72 | 0.000 % |
735.44/735.84 c | 1051824 | 1960 8359 25345 | 94949 85902 71 | 0.000 % |
740.13/740.55 c | 1058883 | 1960 8359 25345 | 94949 92961 72 | 0.000 % |
745.93/746.32 c | 1066647 | 1960 8359 25345 | 94078 90810 72 | 0.000 % |
752.13/752.50 c | 1075187 | 1960 8359 25345 | 94165 88292 72 | 0.000 % |
758.92/759.37 c | 1084583 | 1960 8359 25345 | 93106 86187 73 | 0.000 % |
759.02/759.47 c | 1084684 | 1960 8359 25345 | 93106 86288 73 | 0.000 % |
759.12/759.57 c | 1084794 | 1960 8359 25345 | 93106 86398 73 | 0.000 % |
759.22/759.67 c | 1084916 | 1960 8359 25345 | 93106 86520 73 | 0.000 % |
759.32/759.76 c | 1085052 | 1960 8359 25345 | 93106 86656 73 | 0.000 % |
759.42/759.88 c | 1085198 | 1960 8359 25345 | 93106 86802 73 | 0.000 % |
759.62/760.02 c | 1085358 | 1960 8359 25345 | 93106 86962 73 | 0.000 % |
759.72/760.16 c | 1085534 | 1960 8359 25345 | 93106 87138 73 | 0.000 % |
759.92/760.32 c | 1085727 | 1960 8359 25345 | 93106 87331 73 | 0.000 % |
760.02/760.47 c | 1085939 | 1960 8359 25345 | 93106 87543 73 | 0.000 % |
760.22/760.64 c | 1086172 | 1960 8359 25345 | 93106 87776 73 | 0.000 % |
760.42/760.83 c | 1086429 | 1960 8359 25345 | 93106 88033 73 | 0.000 % |
760.62/761.04 c | 1086710 | 1960 8359 25345 | 93106 88314 73 | 0.000 % |
760.82/761.26 c | 1087021 | 1960 8359 25345 | 93106 88625 73 | 0.000 % |
761.12/761.54 c | 1087360 | 1960 8359 25345 | 93106 88964 73 | 0.000 % |
761.42/761.82 c | 1087732 | 1960 8359 25345 | 93106 89336 73 | 0.000 % |
761.72/762.12 c | 1088143 | 1960 8359 25345 | 93106 89747 73 | 0.000 % |
762.02/762.44 c | 1088593 | 1960 8359 25345 | 93106 90197 73 | 0.000 % |
762.42/762.84 c | 1089086 | 1960 8359 25345 | 93106 90690 73 | 0.000 % |
762.82/763.29 c | 1089630 | 1960 8359 25345 | 93106 91234 73 | 0.000 % |
763.32/763.70 c | 1090226 | 1960 8359 25345 | 91604 91830 73 | 0.000 % |
763.72/764.14 c | 1090883 | 1960 8359 25345 | 91604 81238 73 | 0.000 % |
764.22/764.61 c | 1091605 | 1960 8359 25345 | 91604 81960 73 | 0.000 % |
764.72/765.11 c | 1092397 | 1960 8359 25345 | 91604 82752 73 | 0.000 % |
765.22/765.65 c | 1093270 | 1960 8359 25345 | 91604 83625 73 | 0.000 % |
765.82/766.26 c | 1094229 | 1960 8359 25345 | 91604 84584 73 | 0.000 % |
766.51/766.95 c | 1095285 | 1960 8359 25345 | 91604 85640 73 | 0.000 % |
767.32/767.73 c | 1096444 | 1960 8359 25345 | 91604 86799 73 | 0.000 % |
768.11/768.57 c | 1097717 | 1960 8359 25345 | 91604 88072 73 | 0.000 % |
769.11/769.57 c | 1099118 | 1960 8359 25345 | 91604 89473 73 | 0.000 % |
770.21/770.61 c | 1100662 | 1960 8359 25345 | 2147483647 91017 73 | 0.000 % |
771.31/771.71 c | 1102356 | 1960 8359 25345 | 2147483647 92711 73 | 0.000 % |
772.61/773.03 c | 1104219 | 1960 8359 25345 | 2147483647 94574 72 | 0.000 % |
773.92/774.39 c | 1106268 | 1960 8359 25345 | 2147483647 96623 72 | 0.000 % |
775.51/775.90 c | 1108522 | 1960 8359 25345 | 2147483647 98877 72 | 0.000 % |
777.41/777.80 c | 1111002 | 1960 8359 25345 | 100355 90565 72 | 0.000 % |
779.11/779.54 c | 1113727 | 1960 8359 25345 | 100355 93290 72 | 0.000 % |
781.21/781.62 c | 1116724 | 1960 8359 25345 | 100355 96287 72 | 0.000 % |
783.31/783.74 c | 1120020 | 1960 8359 25345 | 2147483647 99583 73 | 0.000 % |
785.81/786.20 c | 1123645 | 1960 8359 25345 | 2147483647 103208 73 | 0.000 % |
788.90/789.35 c | 1127632 | 1960 8359 25345 | 2147483647 107195 73 | 0.000 % |
792.21/792.67 c | 1132018 | 1960 8359 25345 | 109563 95430 73 | 0.000 % |
795.80/796.26 c | 1136842 | 1960 8359 25345 | 109563 100254 73 | 0.000 % |
799.60/800.02 c | 1142147 | 1960 8359 25345 | 103414 91409 72 | 0.000 % |
803.90/804.33 c | 1147982 | 1960 8359 25345 | 103414 97244 73 | 0.000 % |
808.50/808.93 c | 1154400 | 1960 8359 25345 | 99265 91924 73 | 0.000 % |
813.70/814.17 c | 1161462 | 1960 8359 25345 | 2147483647 98986 73 | 0.000 % |
819.90/820.40 c | 1169227 | 1960 8359 25345 | 2147483647 106751 73 | 0.000 % |
826.70/827.18 c | 1177767 | 1960 8359 25345 | 107524 99834 73 | 0.000 % |
833.99/834.44 c | 1187161 | 1960 8359 25345 | 102067 94827 74 | 0.000 % |
841.99/842.43 c | 1197497 | 1960 8359 25345 | 97666 94054 76 | 0.000 % |
842.09/842.50 c | 1197597 | 1960 8359 25345 | 97666 94154 76 | 0.000 % |
842.19/842.61 c | 1197707 | 1960 8359 25345 | 97666 94264 76 | 0.000 % |
842.29/842.72 c | 1197831 | 1960 8359 25345 | 97666 94388 76 | 0.000 % |
842.39/842.85 c | 1197968 | 1960 8359 25345 | 97666 94525 76 | 0.000 % |
842.49/842.98 c | 1198114 | 1960 8359 25345 | 97666 94671 76 | 0.000 % |
842.69/843.12 c | 1198276 | 1960 8359 25345 | 97666 94833 76 | 0.000 % |
842.79/843.26 c | 1198452 | 1960 8359 25345 | 97666 95009 76 | 0.000 % |
842.99/843.41 c | 1198645 | 1960 8359 25345 | 97666 95202 76 | 0.000 % |
843.09/843.56 c | 1198860 | 1960 8359 25345 | 97666 95417 76 | 0.000 % |
843.29/843.77 c | 1199093 | 1960 8359 25345 | 97666 95650 76 | 0.000 % |
843.49/843.98 c | 1199349 | 1960 8359 25345 | 97666 95906 76 | 0.000 % |
843.78/844.22 c | 1199630 | 1960 8359 25345 | 97666 96187 76 | 0.000 % |
843.98/844.49 c | 1199940 | 1960 8359 25345 | 97666 96497 75 | 0.000 % |
844.29/844.76 c | 1200279 | 1960 8359 25345 | 96559 96836 75 | 0.000 % |
844.68/845.11 c | 1200653 | 1960 8359 25345 | 96559 85210 75 | 0.000 % |
844.98/845.41 c | 1201063 | 1960 8359 25345 | 96559 85620 75 | 0.000 % |
845.28/845.72 c | 1201512 | 1960 8359 25345 | 96559 86069 75 | 0.000 % |
845.68/846.12 c | 1202005 | 1960 8359 25345 | 96559 86562 75 | 0.000 % |
846.08/846.52 c | 1202547 | 1960 8359 25345 | 96559 87104 75 | 0.000 % |
846.49/846.94 c | 1203145 | 1960 8359 25345 | 96559 87702 75 | 0.000 % |
846.98/847.40 c | 1203800 | 1960 8359 25345 | 96559 88357 75 | 0.000 % |
847.38/847.89 c | 1204521 | 1960 8359 25345 | 96559 89078 75 | 0.000 % |
847.98/848.42 c | 1205314 | 1960 8359 25345 | 96559 89871 75 | 0.000 % |
848.58/849.00 c | 1206187 | 1960 8359 25345 | 96559 90744 75 | 0.000 % |
849.28/849.71 c | 1207146 | 1960 8359 25345 | 96559 91703 75 | 0.000 % |
849.98/850.45 c | 1208199 | 1960 8359 25345 | 96559 92756 75 | 0.000 % |
850.89/851.31 c | 1209359 | 1960 8359 25345 | 96559 93916 75 | 0.000 % |
851.88/852.32 c | 1210635 | 1960 8359 25345 | 94560 84778 74 | 0.000 % |
852.78/853.23 c | 1212036 | 1960 8359 25345 | 94560 86179 74 | 0.000 % |
853.78/854.21 c | 1213576 | 1960 8359 25345 | 94560 87719 74 | 0.000 % |
854.88/855.30 c | 1215270 | 1960 8359 25345 | 94560 89413 74 | 0.000 % |
856.08/856.56 c | 1217133 | 1960 8359 25345 | 94560 91276 74 | 0.000 % |
857.58/858.01 c | 1219182 | 1960 8359 25345 | 94560 93325 74 | 0.000 % |
859.18/859.65 c | 1221437 | 1960 8359 25345 | 2147483647 95580 74 | 0.000 % |
861.08/861.54 c | 1223917 | 1960 8359 25345 | 2147483647 98060 74 | 0.000 % |
863.18/863.65 c | 1226643 | 1960 8359 25345 | 2147483647 100786 74 | 0.000 % |
865.58/866.01 c | 1229641 | 1960 8359 25345 | 2147483647 103784 74 | 0.000 % |
868.07/868.51 c | 1232938 | 1960 8359 25345 | 104144 93049 74 | 0.000 % |
870.57/871.00 c | 1236563 | 1960 8359 25345 | 104144 96674 74 | 0.000 % |
873.57/874.05 c | 1240550 | 1960 8359 25345 | 100111 87199 74 | 0.000 % |
876.57/877.07 c | 1244935 | 1960 8359 25345 | 100111 91584 74 | 0.000 % |
879.87/880.36 c | 1249758 | 1960 8359 25345 | 100111 96407 74 | 0.000 % |
883.77/884.24 c | 1255064 | 1960 8359 25345 | 96650 90632 74 | 0.000 % |
888.07/888.51 c | 1260900 | 1960 8359 25345 | 95569 86213 73 | 0.000 % |
892.36/892.86 c | 1267318 | 1960 8359 25345 | 95569 92631 73 | 0.000 % |
897.26/897.74 c | 1274378 | 1960 8359 25345 | 95317 90050 73 | 0.000 % |
902.66/903.14 c | 1282142 | 1960 8359 25345 | 2147483647 88251 73 | 0.000 % |
908.96/909.42 c | 1290682 | 1960 8359 25345 | 96111 86533 73 | 0.000 % |
915.86/916.39 c | 1300078 | 1960 8359 25345 | 95852 95929 74 | 0.000 % |
922.65/923.11 c | 1310412 | 1960 8359 25345 | 93939 82229 74 | 0.000 % |
930.15/930.67 c | 1321778 | 1960 8359 25345 | 91821 82734 75 | 0.000 % |
930.25/930.74 c | 1321878 | 1960 8359 25345 | 91821 82834 75 | 0.000 % |
930.35/930.82 c | 1321988 | 1960 8359 25345 | 91821 82944 75 | 0.000 % |
930.45/930.90 c | 1322109 | 1960 8359 25345 | 91821 83065 75 | 0.000 % |
930.45/931.00 c | 1322242 | 1960 8359 25345 | 91821 83198 75 | 0.000 % |
930.65/931.10 c | 1322388 | 1960 8359 25345 | 91821 83344 75 | 0.000 % |
930.75/931.22 c | 1322550 | 1960 8359 25345 | 91821 83506 75 | 0.000 % |
930.85/931.36 c | 1322726 | 1960 8359 25345 | 91821 83682 75 | 0.000 % |
930.95/931.48 c | 1322921 | 1960 8359 25345 | 91821 83877 75 | 0.000 % |
931.15/931.62 c | 1323136 | 1960 8359 25345 | 91821 84092 75 | 0.000 % |
931.25/931.78 c | 1323369 | 1960 8359 25345 | 91821 84325 75 | 0.000 % |
931.45/931.94 c | 1323626 | 1960 8359 25345 | 91821 84582 75 | 0.000 % |
931.65/932.16 c | 1323908 | 1960 8359 25345 | 91821 84864 75 | 0.000 % |
931.85/932.38 c | 1324218 | 1960 8359 25345 | 91821 85174 75 | 0.000 % |
932.15/932.62 c | 1324557 | 1960 8359 25345 | 91821 85513 75 | 0.000 % |
932.45/932.91 c | 1324931 | 1960 8359 25345 | 91821 85887 75 | 0.000 % |
932.75/933.21 c | 1325340 | 1960 8359 25345 | 91821 86296 75 | 0.000 % |
933.05/933.54 c | 1325790 | 1960 8359 25345 | 91821 86746 75 | 0.000 % |
933.35/933.90 c | 1326284 | 1960 8359 25345 | 91821 87240 75 | 0.000 % |
933.85/934.31 c | 1326827 | 1960 8359 25345 | 91821 87783 75 | 0.000 % |
934.25/934.76 c | 1327424 | 1960 8359 25345 | 91821 88380 74 | 0.000 % |
934.75/935.22 c | 1328079 | 1960 8359 25345 | 91821 89035 74 | 0.000 % |
935.25/935.74 c | 1328800 | 1960 8359 25345 | 91821 89756 74 | 0.000 % |
935.85/936.31 c | 1329594 | 1960 8359 25345 | 91821 90550 74 | 0.000 % |
936.55/937.03 c | 1330465 | 1960 8359 25345 | 2147483647 91421 74 | 0.000 % |
937.25/937.73 c | 1331423 | 1960 8359 25345 | 2147483647 92379 74 | 0.000 % |
937.95/938.46 c | 1332476 | 1960 8359 25345 | 2147483647 93432 74 | 0.000 % |
938.85/939.35 c | 1333634 | 1960 8359 25345 | 2147483647 94590 74 | 0.000 % |
939.75/940.26 c | 1334908 | 1960 8359 25345 | 2147483647 95864 74 | 0.000 % |
940.74/941.28 c | 1336308 | 1960 8359 25345 | 2147483647 97264 74 | 0.000 % |
941.94/942.49 c | 1337851 | 1960 8359 25345 | 2147483647 98807 74 | 0.000 % |
943.35/943.80 c | 1339545 | 1960 8359 25345 | 2147483647 100501 74 | 0.000 % |
944.74/945.29 c | 1341412 | 1960 8359 25345 | 100956 89781 73 | 0.000 % |
946.24/946.74 c | 1343463 | 1960 8359 25345 | 100956 91832 73 | 0.000 % |
947.74/948.29 c | 1345716 | 1960 8359 25345 | 100956 94085 73 | 0.000 % |
949.54/950.00 c | 1348194 | 1960 8359 25345 | 100956 96563 73 | 0.000 % |
951.54/952.01 c | 1350921 | 1960 8359 25345 | 98370 88623 73 | 0.000 % |
953.54/954.04 c | 1353920 | 1960 8359 25345 | 98370 91622 73 | 0.000 % |
955.84/956.30 c | 1357216 | 1960 8359 25345 | 98370 94918 72 | 0.000 % |
958.23/958.76 c | 1360842 | 1960 8359 25345 | 2147483647 98544 72 | 0.000 % |
961.33/961.88 c | 1364829 | 1960 8359 25345 | 2147483647 102531 73 | 0.000 % |
964.93/965.48 c | 1369214 | 1960 8359 25345 | 2147483647 106916 73 | 0.000 % |
968.43/968.92 c | 1374038 | 1960 8359 25345 | 107704 96982 72 | 0.000 % |
972.33/972.89 c | 1379345 | 1960 8359 25345 | 107704 102289 72 | 0.000 % |
976.83/977.38 c | 1385182 | 1960 8359 25345 | 102945 93483 72 | 0.000 % |
981.83/982.31 c | 1391600 | 1960 8359 25345 | 98301 87360 71 | 0.000 % |
986.63/987.10 c | 1398660 | 1960 8359 25345 | 98301 94420 71 | 0.000 % |
992.12/992.65 c | 1406425 | 1960 8359 25345 | 95762 91340 71 | 0.000 % |
998.52/999.05 c | 1414965 | 1960 8359 25345 | 94915 88412 72 | 0.000 % |
1005.42/1005.99 c | 1424359 | 1960 8359 25345 | 93448 87056 73 | 0.000 % |
1012.63/1013.13 c | 1434692 | 1960 8359 25345 | 92697 87348 74 | 0.000 % |
1020.52/1021.09 c | 1446061 | 1960 8359 25345 | 2147483647 98717 74 | 0.000 % |
1029.02/1029.59 c | 1458563 | 1960 8359 25345 | 102657 98214 76 | 0.000 % |
1029.12/1029.69 c | 1458664 | 1960 8359 25345 | 102657 98315 76 | 0.000 % |
1029.22/1029.79 c | 1458774 | 1960 8359 25345 | 102657 98425 76 | 0.000 % |
1029.32/1029.89 c | 1458896 | 1960 8359 25345 | 102657 98547 76 | 0.000 % |
1029.52/1030.01 c | 1459029 | 1960 8359 25345 | 102657 98680 76 | 0.000 % |
1029.62/1030.15 c | 1459176 | 1960 8359 25345 | 102657 98827 76 | 0.000 % |
1029.72/1030.29 c | 1459337 | 1960 8359 25345 | 102657 98988 76 | 0.000 % |
1029.92/1030.42 c | 1459513 | 1960 8359 25345 | 102657 99164 76 | 0.000 % |
1030.02/1030.59 c | 1459708 | 1960 8359 25345 | 102657 99359 76 | 0.000 % |
1030.22/1030.74 c | 1459921 | 1960 8359 25345 | 102657 99572 76 | 0.000 % |
1030.42/1030.95 c | 1460154 | 1960 8359 25345 | 99653 99805 76 | 0.000 % |
1030.71/1031.20 c | 1460413 | 1960 8359 25345 | 99653 86429 76 | 0.000 % |
1030.91/1031.41 c | 1460694 | 1960 8359 25345 | 99653 86710 76 | 0.000 % |
1031.11/1031.61 c | 1461007 | 1960 8359 25345 | 99653 87023 76 | 0.000 % |
1031.32/1031.86 c | 1461347 | 1960 8359 25345 | 99653 87363 76 | 0.000 % |
1031.61/1032.14 c | 1461719 | 1960 8359 25345 | 99653 87735 76 | 0.000 % |
1031.91/1032.44 c | 1462130 | 1960 8359 25345 | 99653 88146 76 | 0.000 % |
1032.21/1032.77 c | 1462580 | 1960 8359 25345 | 99653 88596 76 | 0.000 % |
1032.61/1033.15 c | 1463073 | 1960 8359 25345 | 99653 89089 76 | 0.000 % |
1033.01/1033.57 c | 1463616 | 1960 8359 25345 | 99653 89632 76 | 0.000 % |
1033.52/1034.05 c | 1464214 | 1960 8359 25345 | 99653 90230 76 | 0.000 % |
1034.01/1034.52 c | 1464869 | 1960 8359 25345 | 99653 90885 76 | 0.000 % |
1034.41/1034.99 c | 1465591 | 1960 8359 25345 | 99653 91607 76 | 0.000 % |
1035.11/1035.65 c | 1466385 | 1960 8359 25345 | 99653 92401 76 | 0.000 % |
1035.72/1036.29 c | 1467257 | 1960 8359 25345 | 99653 93273 76 | 0.000 % |
1036.41/1036.99 c | 1468216 | 1960 8359 25345 | 99653 94232 76 | 0.000 % |
1037.31/1037.83 c | 1469271 | 1960 8359 25345 | 99653 95287 75 | 0.000 % |
1038.31/1038.86 c | 1470429 | 1960 8359 25345 | 96016 83964 75 | 0.000 % |
1039.21/1039.70 c | 1471702 | 1960 8359 25345 | 96016 85237 75 | 0.000 % |
1040.11/1040.62 c | 1473102 | 1960 8359 25345 | 96016 86637 75 | 0.000 % |
1041.11/1041.62 c | 1474642 | 1960 8359 25345 | 96016 88177 75 | 0.000 % |
1042.21/1042.71 c | 1476336 | 1960 8359 25345 | 96016 89871 75 | 0.000 % |
1043.41/1043.98 c | 1478199 | 1960 8359 25345 | 96016 91734 75 | 0.000 % |
1044.91/1045.40 c | 1480252 | 1960 8359 25345 | 2147483647 93787 75 | 0.000 % |
1046.41/1046.95 c | 1482505 | 1960 8359 25345 | 2147483647 96040 75 | 0.000 % |
1048.21/1048.78 c | 1484983 | 1960 8359 25345 | 2147483647 98518 75 | 0.000 % |
1050.11/1050.69 c | 1487708 | 1960 8359 25345 | 2147483647 101243 75 | 0.000 % |
1052.30/1052.88 c | 1490706 | 1960 8359 25345 | 103536 93392 75 | 0.000 % |
1054.70/1055.25 c | 1494003 | 1960 8359 25345 | 103536 96689 75 | 0.000 % |
1057.10/1057.68 c | 1497628 | 1960 8359 25345 | 103536 100314 75 | 0.000 % |
1060.00/1060.50 c | 1501616 | 1960 8359 25345 | 2147483647 104302 75 | 0.000 % |
1063.40/1063.92 c | 1506003 | 1960 8359 25345 | 2147483647 108689 75 | 0.000 % |
1067.30/1067.82 c | 1510827 | 1960 8359 25345 | 112690 98336 74 | 0.000 % |
1071.40/1071.93 c | 1516134 | 1960 8359 25345 | 112690 103643 74 | 0.000 % |
1076.19/1076.71 c | 1521969 | 1960 8359 25345 | 107509 93886 73 | 0.000 % |
1080.80/1081.36 c | 1528387 | 1960 8359 25345 | 107509 100304 74 | 0.000 % |
1086.19/1086.76 c | 1535446 | 1960 8359 25345 | 101918 93321 74 | 0.000 % |
1091.79/1092.34 c | 1543212 | 1960 8359 25345 | 97875 89187 73 | 0.000 % |
1097.99/1098.56 c | 1551754 | 1960 8359 25345 | 2147483647 97729 74 | 0.000 % |
1105.48/1106.03 c | 1561151 | 1960 8359 25345 | 105979 93599 75 | 0.000 % |
1113.48/1114.06 c | 1571484 | 1960 8359 25345 | 102449 90148 76 | 0.000 % |
1121.68/1122.22 c | 1582850 | 1960 8359 25345 | 98665 89596 77 | 0.000 % |
1130.77/1131.38 c | 1595352 | 1960 8359 25345 | 96747 90219 77 | 0.000 % |
1140.97/1141.58 c | 1609106 | 1960 8359 25345 | 94867 91633 78 | 0.000 % |
1141.07/1141.67 c | 1609206 | 1960 8359 25345 | 94867 91733 78 | 0.000 % |
1141.17/1141.77 c | 1609319 | 1960 8359 25345 | 94867 91846 78 | 0.000 % |
1141.27/1141.89 c | 1609440 | 1960 8359 25345 | 94867 91967 78 | 0.000 % |
1141.47/1142.01 c | 1609575 | 1960 8359 25345 | 94867 92102 78 | 0.000 % |
1141.57/1142.15 c | 1609723 | 1960 8359 25345 | 94867 92250 77 | 0.000 % |
1141.77/1142.31 c | 1609885 | 1960 8359 25345 | 94867 92412 77 | 0.000 % |
1141.87/1142.46 c | 1610061 | 1960 8359 25345 | 92527 92588 77 | 0.000 % |
1142.17/1142.70 c | 1610255 | 1960 8359 25345 | 92527 80718 77 | 0.000 % |
1142.27/1142.85 c | 1610467 | 1960 8359 25345 | 92527 80930 77 | 0.000 % |
1142.47/1143.01 c | 1610700 | 1960 8359 25345 | 92527 81163 77 | 0.000 % |
1142.57/1143.18 c | 1610957 | 1960 8359 25345 | 92527 81420 77 | 0.000 % |
1142.77/1143.37 c | 1611240 | 1960 8359 25345 | 92527 81703 77 | 0.000 % |
1142.97/1143.59 c | 1611550 | 1960 8359 25345 | 92527 82013 77 | 0.000 % |
1143.27/1143.84 c | 1611892 | 1960 8359 25345 | 92527 82355 77 | 0.000 % |
1143.47/1144.07 c | 1612264 | 1960 8359 25345 | 92527 82727 77 | 0.000 % |
1143.77/1144.34 c | 1612675 | 1960 8359 25345 | 92527 83138 77 | 0.000 % |
1144.07/1144.63 c | 1613125 | 1960 8359 25345 | 92527 83588 77 | 0.000 % |
1144.37/1144.95 c | 1613618 | 1960 8359 25345 | 92527 84081 77 | 0.000 % |
1144.67/1145.29 c | 1614160 | 1960 8359 25345 | 92527 84623 77 | 0.000 % |
1145.07/1145.70 c | 1614756 | 1960 8359 25345 | 92527 85219 77 | 0.000 % |
1145.57/1146.15 c | 1615412 | 1960 8359 25345 | 92527 85875 77 | 0.000 % |
1146.06/1146.66 c | 1616134 | 1960 8359 25345 | 92527 86597 77 | 0.000 % |
1146.67/1147.21 c | 1616926 | 1960 8359 25345 | 92527 87389 77 | 0.000 % |
1147.16/1147.78 c | 1617798 | 1960 8359 25345 | 92527 88261 76 | 0.000 % |
1147.87/1148.44 c | 1618756 | 1960 8359 25345 | 92527 89219 76 | 0.000 % |
1148.56/1149.14 c | 1619809 | 1960 8359 25345 | 92527 90272 76 | 0.000 % |
1149.36/1149.98 c | 1620967 | 1960 8359 25345 | 2147483647 91430 76 | 0.000 % |
1150.36/1150.95 c | 1622240 | 1960 8359 25345 | 2147483647 92703 76 | 0.000 % |
1151.36/1151.98 c | 1623640 | 1960 8359 25345 | 2147483647 94103 76 | 0.000 % |
1152.46/1153.06 c | 1625181 | 1960 8359 25345 | 2147483647 95644 76 | 0.000 % |
1153.56/1154.19 c | 1626875 | 1960 8359 25345 | 2147483647 97338 76 | 0.000 % |
1155.06/1155.64 c | 1628738 | 1960 8359 25345 | 2147483647 99201 76 | 0.000 % |
1156.66/1157.22 c | 1630790 | 1960 8359 25345 | 100463 90425 75 | 0.000 % |
1158.26/1158.83 c | 1633043 | 1960 8359 25345 | 100463 92678 75 | 0.000 % |
1159.96/1160.54 c | 1635522 | 1960 8359 25345 | 100463 95157 75 | 0.000 % |
1161.86/1162.42 c | 1638247 | 1960 8359 25345 | 100463 97882 75 | 0.000 % |
1163.86/1164.46 c | 1641244 | 1960 8359 25345 | 2147483647 100879 75 | 0.000 % |
1166.46/1167.00 c | 1644542 | 1960 8359 25345 | 2147483647 104177 75 | 0.000 % |
1169.26/1169.83 c | 1648168 | 1960 8359 25345 | 2147483647 107803 75 | 0.000 % |
1172.36/1172.91 c | 1652157 | 1960 8359 25345 | 109635 97574 74 | 0.000 % |
1175.76/1176.30 c | 1656542 | 1960 8359 25345 | 109635 101959 73 | 0.000 % |
1179.35/1179.91 c | 1661365 | 1960 8359 25345 | 105419 93615 72 | 0.000 % |
1183.15/1183.75 c | 1666670 | 1960 8359 25345 | 105419 98920 72 | 0.000 % |
1187.46/1188.05 c | 1672505 | 1960 8359 25345 | 102251 93170 72 | 0.000 % |
1191.86/1192.43 c | 1678924 | 1960 8359 25345 | 102251 99589 72 | 0.000 % |
1197.06/1197.60 c | 1685983 | 1960 8359 25345 | 100665 93977 73 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832643-1242785806/watcher-1832643-1242785806 -o /tmp/evaluation-result-1832643-1242785806/solver-1832643-1242785806 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832643-1242785806.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 11433
/proc/meminfo: memFree=1749472/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306606564 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11433/statm: 1339 235 195 169 0 50 0
[pid=11434] ppid=11433 vsize=5356 CPUtime=0
/proc/11434/stat : 11434 (SatELiteGTI) S 11433 11433 10737 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306606564 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11434/statm: 1339 238 198 169 0 50 0
[pid=11436] ppid=11434 vsize=5356 CPUtime=0
/proc/11436/stat : 11436 (SatELiteGTI) R 11434 11433 10737 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962373415 0 0 4096 0 0 0 0 17 1 0 0
/proc/11436/statm: 1339 239 199 169 0 50 0
[startup+0.0236889 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11433
/proc/meminfo: memFree=1749472/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306606564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11433/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.1017 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11433
/proc/meminfo: memFree=1749472/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301729 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11433
/proc/meminfo: memFree=1749472/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701783 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11433
/proc/meminfo: memFree=1749472/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1747152/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=4712 CPUtime=1.44
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 862 0 0 0 144 0 0 0 25 0 1 0 306606568 4825088 848 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 1178 848 77 171 0 1005 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10068
[startup+3.1011 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1744528/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=7680 CPUtime=3.04
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 1600 0 0 0 304 0 0 0 25 0 1 0 306606568 7864320 1586 1992294400 134512640 135215339 4294956240 18446744073709551615 134525667 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 1920 1586 77 171 0 1747 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13036
[startup+6.30154 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1739736/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=11672 CPUtime=6.24
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 2592 0 0 0 623 1 0 0 25 0 1 0 306606568 11952128 2578 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 2918 2578 77 171 0 2745 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17028
[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1733720/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=17032 CPUtime=12.64
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 3929 0 0 0 1261 3 0 0 25 0 1 0 306606568 17440768 3915 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 4258 3915 77 171 0 4085 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22388
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1725976/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=24544 CPUtime=25.43
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 5784 0 0 0 2538 5 0 0 25 0 1 0 306606568 25133056 5770 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 6136 5770 77 171 0 5963 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29900
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1717400/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=33040 CPUtime=51
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 7886 0 0 0 5093 7 0 0 25 0 1 0 306606568 33832960 7872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 8260 7872 77 171 0 8087 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 38396
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1715608/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=34756 CPUtime=102.18
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 8319 0 0 0 10210 8 0 0 25 0 1 0 306606568 35590144 8305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 8689 8305 77 171 0 8516 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 40112
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1714712/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=35416 CPUtime=162.15
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 8502 0 0 0 16206 9 0 0 25 0 1 0 306606568 36265984 8488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 8854 8488 77 171 0 8681 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 40772
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1713304/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=36736 CPUtime=222.11
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 8833 0 0 0 22202 9 0 0 25 0 1 0 306606568 37617664 8819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9184 8819 77 171 0 9011 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 42092
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1712984/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=37000 CPUtime=282.09
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 8904 0 0 0 28199 10 0 0 25 0 1 0 306606568 37888000 8890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9250 8890 77 171 0 9077 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 42356
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1711576/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=38320 CPUtime=342.07
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 9211 0 0 0 34196 11 0 0 25 0 1 0 306606568 39239680 9197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9580 9197 77 171 0 9407 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 43676
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1711512/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=38320 CPUtime=402.03
################
# More data... #
################
/proc/11439/statm: 9712 9327 77 171 0 9539 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 44204
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1710360/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=39112 CPUtime=581.95
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 9426 0 0 0 58183 12 0 0 25 0 1 0 306606568 40050688 9412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9778 9412 77 171 0 9605 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 44468
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1709784/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=39648 CPUtime=641.94
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 9541 0 0 0 64181 13 0 0 25 0 1 0 306606568 40599552 9527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9912 9527 77 171 0 9739 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 45004
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11439
/proc/meminfo: memFree=1709400/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=39780 CPUtime=701.91
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 9604 0 0 0 70177 14 0 0 25 0 1 0 306606568 40734720 9590 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9945 9590 77 171 0 9772 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 45136
[startup+762.306 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 11439
/proc/meminfo: memFree=1709272/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=39780 CPUtime=761.89
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 9604 0 0 0 76175 14 0 0 25 0 1 0 306606568 40734720 9590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 9945 9590 77 171 0 9772 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 45136
[startup+822.302 s]
/proc/loadavg: 1.19 1.04 1.01 2/66 11439
/proc/meminfo: memFree=1706648/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=42420 CPUtime=821.87
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10243 0 0 0 82172 15 0 0 25 0 1 0 306606568 43438080 10229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 10605 10229 77 171 0 10432 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 47776
[startup+882.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 11439
/proc/meminfo: memFree=1706584/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=42324 CPUtime=881.84
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10243 0 0 0 88169 15 0 0 25 0 1 0 306606568 43339776 10229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 10581 10229 77 171 0 10408 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 47680
[startup+942.301 s]
/proc/loadavg: 1.10 1.05 1.01 2/66 11439
/proc/meminfo: memFree=1706456/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=42252 CPUtime=941.81
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10243 0 0 0 94166 15 0 0 25 0 1 0 306606568 43266048 10212 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 10563 10212 77 171 0 10390 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 47608
[startup+1002.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/66 11439
/proc/meminfo: memFree=1706456/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=42252 CPUtime=1001.79
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10243 0 0 0 100164 15 0 0 25 0 1 0 306606568 43266048 10212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 10563 10212 77 171 0 10390 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 47608
[startup+1062.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 11439
/proc/meminfo: memFree=1705752/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=43176 CPUtime=1061.77
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10473 0 0 0 106161 16 0 0 25 0 1 0 306606568 44212224 10442 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 10794 10442 77 171 0 10621 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 48532
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11439
/proc/meminfo: memFree=1703512/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=45156 CPUtime=1121.75
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10950 0 0 0 112158 17 0 0 25 0 1 0 306606568 46239744 10919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 11289 10919 77 171 0 11116 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 50512
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11439
/proc/meminfo: memFree=1703448/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=44976 CPUtime=1181.72
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10950 0 0 0 118155 17 0 0 25 0 1 0 306606568 46055424 10896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 11244 10896 77 171 0 11071 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 50332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11439
/proc/meminfo: memFree=1703384/2055920 swapFree=4179968/4192956
[pid=11433] ppid=11431 vsize=5356 CPUtime=0.03
/proc/11433/stat : 11433 (SatELiteGTI) S 11431 11433 10737 0 -1 4194304 336 616 0 0 0 0 3 0 16 0 1 0 306606564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11433/statm: 1339 239 197 169 0 50 0
[pid=11439] ppid=11433 vsize=44976 CPUtime=1200.03
/proc/11439/stat : 11439 (minisat_static) R 11433 11433 10737 0 -1 4194304 10950 0 0 0 119985 18 0 0 25 0 1 0 306606568 46055424 10896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11439/statm: 11244 10896 77 171 0 11071 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 50332
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 11433 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.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.06
CPU user time (s): 1199.88
CPU system time (s): 0.18
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 50512
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= 952
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.40079 second user time and 3.12752 second system time
The end
Begin job on node71 at 2009-05-20 04:16:46
IDJOB=1832643
IDBENCH=70285
IDSOLVER=671
FILE ID=node71/1832643-1242785806
PBS_JOBID= 9322366
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832643-1242785806/watcher-1832643-1242785806 -o /tmp/evaluation-result-1832643-1242785806/solver-1832643-1242785806 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832643-1242785806.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8919b1e0a8b22ddbf62ba887cc4a9b9a
RANDOM SEED=1945309113
node71.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.236
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.236
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: 1750016 kB
Buffers: 34672 kB
Cached: 222896 kB
SwapCached: 7156 kB
Active: 44512 kB
Inactive: 221928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1750016 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 14076 kB
Slab: 25548 kB
Committed_AS: 899336 kB
PageTables: 1440 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= 66300 MiB
End job on node71 at 2009-05-20 04:36:49