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 | 8328 25422 | -- 0 -- -- | -- | -72/222
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1933 #clauses: 8328 #literals: 25422
0.00/0.03 c CPU time: 0.026995 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: 1933 |
0.00/0.04 c | Number of clauses: 8328 |
0.00/0.04 c | Parsing time: 0.00 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 1933 8328 25422 | 2776 0 nan | 0.000 % |
0.00/0.05 c | 100 | 1933 8328 25422 | 2776 100 57 | 0.000 % |
0.00/0.06 c | 200 | 1933 8328 25422 | 2776 200 57 | 0.000 % |
0.00/0.07 c | 300 | 1933 8328 25422 | 2776 300 55 | 0.000 % |
0.00/0.07 c | 410 | 1933 8328 25422 | 2776 410 54 | 0.000 % |
0.00/0.08 c | 510 | 1933 8328 25422 | 2776 510 54 | 0.000 % |
0.00/0.09 c | 620 | 1933 8328 25422 | 2776 620 54 | 0.000 % |
0.03/0.10 c | 741 | 1933 8328 25422 | 2776 741 54 | 0.000 % |
0.03/0.11 c | 841 | 1933 8328 25422 | 2776 841 55 | 0.000 % |
0.03/0.11 c | 951 | 1933 8328 25422 | 2776 951 55 | 0.000 % |
0.03/0.12 c | 1072 | 1933 8328 25422 | 2776 1072 56 | 0.000 % |
0.03/0.14 c | 1205 | 1933 8328 25422 | 2776 1205 56 | 0.000 % |
0.03/0.14 c | 1307 | 1933 8328 25422 | 2776 1307 56 | 0.000 % |
0.03/0.15 c | 1417 | 1933 8328 25422 | 2776 1417 56 | 0.000 % |
0.03/0.16 c | 1538 | 1933 8328 25422 | 2776 1538 57 | 0.000 % |
0.03/0.17 c | 1672 | 1933 8328 25422 | 2776 1672 57 | 0.000 % |
0.03/0.18 c | 1818 | 1933 8328 25422 | 2776 1818 57 | 0.000 % |
0.03/0.19 c | 1919 | 1933 8328 25422 | 2776 1919 57 | 0.000 % |
0.03/0.20 c | 2029 | 1933 8328 25422 | 2776 2029 57 | 0.000 % |
0.03/0.21 c | 2152 | 1933 8328 25422 | 2776 2152 57 | 0.000 % |
0.03/0.22 c | 2285 | 1933 8328 25422 | 2776 2285 57 | 0.000 % |
0.03/0.23 c | 2432 | 1933 8328 25422 | 2776 2432 56 | 0.000 % |
0.03/0.25 c | 2592 | 1933 8328 25422 | 2776 2592 56 | 0.000 % |
0.03/0.26 c | 2693 | 1933 8328 25422 | 2776 2693 56 | 0.000 % |
0.03/0.26 c | 2804 | 1933 8328 25422 | 2776 2804 57 | 0.000 % |
0.03/0.28 c | 2929 | 1933 8328 25422 | 2776 2649 56 | 0.000 % |
0.03/0.29 c | 3062 | 1933 8328 25422 | 2776 2782 56 | 0.000 % |
0.03/0.30 c | 3208 | 1933 8328 25422 | 2776 2650 56 | 0.000 % |
0.03/0.31 c | 3368 | 1933 8328 25422 | 2776 2810 56 | 0.000 % |
0.03/0.33 c | 3545 | 1933 8328 25422 | 2776 2706 56 | 0.000 % |
0.03/0.34 c | 3645 | 1933 8328 25422 | 2776 2806 57 | 0.000 % |
0.03/0.35 c | 3757 | 1933 8328 25422 | 2776 2638 56 | 0.000 % |
0.03/0.36 c | 3880 | 1933 8328 25422 | 2776 2761 56 | 0.000 % |
0.03/0.37 c | 4013 | 1933 8328 25422 | 2776 2894 56 | 0.000 % |
0.03/0.38 c | 4162 | 1933 8328 25422 | 2776 2754 56 | 0.000 % |
0.03/0.40 c | 4323 | 1933 8328 25422 | 2776 2915 57 | 0.000 % |
0.03/0.41 c | 4499 | 1933 8328 25422 | 2776 2800 57 | 0.000 % |
0.03/0.43 c | 4694 | 1933 8328 25422 | 2776 2715 57 | 0.000 % |
0.03/0.44 c | 4794 | 1933 8328 25422 | 2776 2815 58 | 0.000 % |
0.03/0.45 c | 4904 | 1933 8328 25422 | 2776 2644 58 | 0.000 % |
0.03/0.46 c | 5025 | 1933 8328 25422 | 2776 2765 58 | 0.000 % |
0.03/0.47 c | 5158 | 1933 8328 25422 | 2776 2898 58 | 0.000 % |
0.03/0.48 c | 5304 | 1933 8328 25422 | 2776 2755 58 | 0.000 % |
0.03/0.50 c | 5464 | 1933 8328 25422 | 2776 2915 58 | 0.000 % |
0.03/0.51 c | 5640 | 1933 8328 25422 | 2776 2800 57 | 0.000 % |
0.03/0.53 c | 5834 | 1933 8328 25422 | 2776 2714 57 | 0.000 % |
0.03/0.55 c | 6048 | 1933 8328 25422 | 2776 2928 58 | 0.000 % |
0.03/0.56 c | 6148 | 1933 8328 25422 | 2776 2736 58 | 0.000 % |
0.03/0.57 c | 6258 | 1933 8328 25422 | 2776 2846 58 | 0.000 % |
0.03/0.58 c | 6379 | 1933 8328 25422 | 2776 2683 58 | 0.000 % |
0.03/0.59 c | 6514 | 1933 8328 25422 | 2776 2818 58 | 0.000 % |
0.03/0.60 c | 6660 | 1933 8328 25422 | 2776 2683 58 | 0.000 % |
0.03/0.62 c | 6821 | 1933 8328 25422 | 2776 2844 58 | 0.000 % |
0.03/0.63 c | 6998 | 1933 8328 25422 | 2776 2737 58 | 0.000 % |
0.03/0.65 c | 7191 | 1933 8328 25422 | 2776 2930 59 | 0.000 % |
0.03/0.67 c | 7405 | 1933 8328 25422 | 2776 2851 59 | 0.000 % |
0.03/0.69 c | 7640 | 1933 8328 25422 | 2776 2801 58 | 0.000 % |
0.03/0.70 c | 7740 | 1933 8328 25422 | 2776 2621 59 | 0.000 % |
0.03/0.71 c | 7851 | 1933 8328 25422 | 2776 2732 59 | 0.000 % |
0.03/0.72 c | 7974 | 1933 8328 25422 | 2776 2855 59 | 0.000 % |
0.03/0.73 c | 8108 | 1933 8328 25422 | 2776 2704 59 | 0.000 % |
0.03/0.74 c | 8256 | 1933 8328 25422 | 2776 2852 58 | 0.000 % |
0.03/0.76 c | 8416 | 1933 8328 25422 | 2776 2727 58 | 0.000 % |
0.03/0.77 c | 8593 | 1933 8328 25422 | 2776 2904 58 | 0.000 % |
0.03/0.79 c | 8787 | 1933 8328 25422 | 2776 2808 58 | 0.000 % |
0.03/0.81 c | 9001 | 1933 8328 25422 | 2776 2742 58 | 0.000 % |
0.03/0.83 c | 9234 | 1933 8328 25422 | 2776 2975 58 | 0.000 % |
0.03/0.85 c | 9490 | 1933 8328 25422 | 2776 2934 58 | 0.000 % |
0.03/0.86 c | 9591 | 1933 8328 25422 | 2776 2742 57 | 0.000 % |
0.03/0.87 c | 9703 | 1933 8328 25422 | 2776 2854 57 | 0.000 % |
0.03/0.88 c | 9824 | 1933 8328 25422 | 2776 2690 57 | 0.000 % |
0.03/0.89 c | 9957 | 1933 8328 25422 | 2776 2823 57 | 0.000 % |
0.03/0.90 c | 10103 | 1933 8328 25422 | 2147483647 2687 57 | 0.000 % |
0.03/0.92 c | 10263 | 1933 8328 25422 | 2147483647 2847 57 | 0.000 % |
0.03/0.93 c | 10439 | 1933 8328 25422 | 2147483647 3023 58 | 0.000 % |
0.03/0.95 c | 10636 | 1933 8328 25422 | 2147483647 3220 58 | 0.000 % |
0.03/0.97 c | 10851 | 1933 8328 25422 | 2147483647 3435 58 | 0.000 % |
0.03/0.99 c | 11086 | 1933 8328 25422 | 2147483647 3670 59 | 0.000 % |
0.98/1.02 c | 11342 | 1933 8328 25422 | 2147483647 3926 59 | 0.000 % |
0.98/1.05 c | 11626 | 1933 8328 25422 | 2147483647 4210 60 | 0.000 % |
0.98/1.06 c | 11729 | 1933 8328 25422 | 2147483647 4313 59 | 0.000 % |
0.98/1.07 c | 11839 | 1933 8328 25422 | 2147483647 4423 59 | 0.000 % |
0.98/1.08 c | 11960 | 1933 8328 25422 | 2147483647 4544 59 | 0.000 % |
0.98/1.10 c | 12094 | 1933 8328 25422 | 2147483647 4678 59 | 0.000 % |
1.08/1.11 c | 12244 | 1933 8328 25422 | 2147483647 4828 59 | 0.000 % |
1.08/1.13 c | 12405 | 1933 8328 25422 | 2147483647 4989 59 | 0.000 % |
1.08/1.15 c | 12582 | 1933 8328 25422 | 2147483647 5166 59 | 0.000 % |
1.08/1.17 c | 12777 | 1933 8328 25422 | 2147483647 5361 59 | 0.000 % |
1.08/1.19 c | 12989 | 1933 8328 25422 | 2147483647 5573 60 | 0.000 % |
1.17/1.21 c | 13222 | 1933 8328 25422 | 2147483647 5806 60 | 0.000 % |
1.17/1.24 c | 13478 | 1933 8328 25422 | 2147483647 6062 60 | 0.000 % |
1.17/1.27 c | 13761 | 1933 8328 25422 | 2147483647 6345 60 | 0.000 % |
1.27/1.31 c | 14070 | 1933 8328 25422 | 2147483647 6654 61 | 0.000 % |
1.27/1.32 c | 14171 | 1933 8328 25422 | 2147483647 6755 61 | 0.000 % |
1.27/1.33 c | 14281 | 1933 8328 25422 | 2147483647 6865 60 | 0.000 % |
1.27/1.35 c | 14402 | 1933 8328 25422 | 2147483647 6986 60 | 0.000 % |
1.27/1.36 c | 14535 | 1933 8328 25422 | 2147483647 7119 60 | 0.000 % |
1.27/1.38 c | 14681 | 1933 8328 25422 | 2147483647 7265 61 | 0.000 % |
1.37/1.40 c | 14842 | 1933 8328 25422 | 2147483647 7426 60 | 0.000 % |
1.37/1.42 c | 15018 | 1933 8328 25422 | 2147483647 7602 60 | 0.000 % |
1.37/1.44 c | 15211 | 1933 8328 25422 | 2147483647 7795 60 | 0.000 % |
1.37/1.47 c | 15425 | 1933 8328 25422 | 2147483647 8009 61 | 0.000 % |
1.37/1.49 c | 15659 | 1933 8328 25422 | 2147483647 8243 61 | 0.000 % |
1.47/1.53 c | 15915 | 1933 8328 25422 | 2147483647 8499 61 | 0.000 % |
1.47/1.56 c | 16196 | 1933 8328 25422 | 2147483647 8780 61 | 0.000 % |
1.57/1.60 c | 16506 | 1933 8328 25422 | 2147483647 9090 61 | 0.000 % |
1.57/1.64 c | 16845 | 1933 8328 25422 | 2147483647 9429 62 | 0.000 % |
1.57/1.66 c | 16945 | 1933 8328 25422 | 2147483647 9529 62 | 0.000 % |
1.57/1.67 c | 17055 | 1933 8328 25422 | 2147483647 9639 62 | 0.000 % |
1.57/1.69 c | 17178 | 1933 8328 25422 | 2147483647 9762 62 | 0.000 % |
1.67/1.70 c | 17312 | 1933 8328 25422 | 2147483647 9896 62 | 0.000 % |
1.67/1.72 c | 17458 | 1933 8328 25422 | 2147483647 10042 62 | 0.000 % |
1.67/1.74 c | 17621 | 1933 8328 25422 | 2147483647 10205 62 | 0.000 % |
1.67/1.76 c | 17797 | 1933 8328 25422 | 2147483647 10381 62 | 0.000 % |
1.67/1.79 c | 17991 | 1933 8328 25422 | 2147483647 10575 62 | 0.000 % |
1.77/1.82 c | 18204 | 1933 8328 25422 | 2147483647 10788 62 | 0.000 % |
1.77/1.85 c | 18438 | 1933 8328 25422 | 2147483647 11022 62 | 0.000 % |
1.77/1.88 c | 18694 | 1933 8328 25422 | 2147483647 11278 62 | 0.000 % |
1.87/1.92 c | 18975 | 1933 8328 25422 | 2147483647 11559 62 | 0.000 % |
1.87/1.97 c | 19285 | 1933 8328 25422 | 2147483647 11869 62 | 0.000 % |
1.97/2.02 c | 19624 | 1933 8328 25422 | 2147483647 12208 62 | 0.000 % |
1.97/2.07 c | 19997 | 1933 8328 25422 | 2147483647 12581 62 | 0.000 % |
1.97/2.08 c | 20098 | 1933 8328 25422 | 2147483647 12682 62 | 0.000 % |
1.97/2.10 c | 20208 | 1933 8328 25422 | 2147483647 12792 62 | 0.000 % |
2.08/2.12 c | 20330 | 1933 8328 25422 | 2147483647 12914 62 | 0.000 % |
2.08/2.14 c | 20463 | 1933 8328 25422 | 2147483647 13047 62 | 0.000 % |
2.08/2.16 c | 20612 | 1933 8328 25422 | 2147483647 13196 62 | 0.000 % |
2.08/2.19 c | 20772 | 1933 8328 25422 | 2147483647 13356 62 | 0.000 % |
2.18/2.21 c | 20948 | 1933 8328 25422 | 2147483647 13532 62 | 0.000 % |
2.18/2.24 c | 21141 | 1933 8328 25422 | 2147483647 13725 62 | 0.000 % |
2.18/2.27 c | 21355 | 1933 8328 25422 | 2147483647 13939 62 | 0.000 % |
2.27/2.31 c | 21589 | 1933 8328 25422 | 2147483647 14173 62 | 0.000 % |
2.27/2.35 c | 21846 | 1933 8328 25422 | 2147483647 14430 62 | 0.000 % |
2.37/2.40 c | 22127 | 1933 8328 25422 | 2147483647 14711 62 | 0.000 % |
2.37/2.45 c | 22436 | 1933 8328 25422 | 2147483647 15020 62 | 0.000 % |
2.47/2.50 c | 22776 | 1933 8328 25422 | 2147483647 15360 62 | 0.000 % |
2.47/2.56 c | 23150 | 1933 8328 25422 | 2147483647 15734 62 | 0.000 % |
2.57/2.63 c | 23559 | 1933 8328 25422 | 2147483647 16143 63 | 0.000 % |
2.57/2.65 c | 23659 | 1933 8328 25422 | 2147483647 16243 62 | 0.000 % |
2.57/2.67 c | 23771 | 1933 8328 25422 | 2147483647 16355 62 | 0.000 % |
2.57/2.69 c | 23892 | 1933 8328 25422 | 2147483647 16476 62 | 0.000 % |
2.67/2.71 c | 24025 | 1933 8328 25422 | 2147483647 16609 62 | 0.000 % |
2.67/2.73 c | 24171 | 1933 8328 25422 | 2147483647 16755 62 | 0.000 % |
2.67/2.77 c | 24334 | 1933 8328 25422 | 2147483647 16918 62 | 0.000 % |
2.77/2.80 c | 24512 | 1933 8328 25422 | 2147483647 17096 62 | 0.000 % |
2.77/2.83 c | 24705 | 1933 8328 25422 | 2147483647 17289 62 | 0.000 % |
2.77/2.87 c | 24917 | 1933 8328 25422 | 2147483647 17501 62 | 0.000 % |
2.87/2.92 c | 25151 | 1933 8328 25422 | 2147483647 17735 63 | 0.000 % |
2.87/2.96 c | 25410 | 1933 8328 25422 | 2147483647 17994 63 | 0.000 % |
2.97/3.02 c | 25692 | 1933 8328 25422 | 2147483647 18276 63 | 0.000 % |
2.97/3.08 c | 26003 | 1933 8328 25422 | 2147483647 18587 63 | 0.000 % |
3.07/3.14 c | 26342 | 1933 8328 25422 | 2147483647 18926 63 | 0.000 % |
3.17/3.21 c | 26716 | 1933 8328 25422 | 2147483647 19300 63 | 0.000 % |
3.17/3.28 c | 27126 | 1933 8328 25422 | 2147483647 19710 63 | 0.000 % |
3.27/3.37 c | 27575 | 1933 8328 25422 | 2147483647 20159 63 | 0.000 % |
3.27/3.39 c | 27675 | 1933 8328 25422 | 2147483647 20259 63 | 0.000 % |
3.37/3.41 c | 27785 | 1933 8328 25422 | 2147483647 20369 63 | 0.000 % |
3.37/3.43 c | 27907 | 1933 8328 25422 | 2147483647 20491 63 | 0.000 % |
3.37/3.46 c | 28040 | 1933 8328 25422 | 2147483647 20624 63 | 0.000 % |
3.37/3.50 c | 28186 | 1933 8328 25422 | 2147483647 20770 63 | 0.000 % |
3.47/3.53 c | 28346 | 1933 8328 25422 | 2147483647 20930 63 | 0.000 % |
3.47/3.57 c | 28525 | 1933 8328 25422 | 2147483647 21109 63 | 0.000 % |
3.57/3.61 c | 28723 | 1933 8328 25422 | 2147483647 21307 63 | 0.000 % |
3.57/3.65 c | 28936 | 1933 8328 25422 | 2147483647 21520 63 | 0.000 % |
3.67/3.70 c | 29169 | 1933 8328 25422 | 2147483647 21753 63 | 0.000 % |
3.67/3.75 c | 29426 | 1933 8328 25422 | 2147483647 22010 63 | 0.000 % |
3.77/3.82 c | 29707 | 1933 8328 25422 | 2147483647 22291 63 | 0.000 % |
3.77/3.88 c | 30016 | 1933 8328 25422 | 2147483647 22600 63 | 0.000 % |
3.87/3.95 c | 30355 | 1933 8328 25422 | 2147483647 22939 63 | 0.000 % |
3.97/4.03 c | 30727 | 1933 8328 25422 | 2147483647 23311 64 | 0.000 % |
4.07/4.13 c | 31138 | 1933 8328 25422 | 2147483647 23722 63 | 0.000 % |
4.17/4.23 c | 31588 | 1933 8328 25422 | 2147483647 24172 63 | 0.000 % |
4.28/4.34 c | 32081 | 1933 8328 25422 | 2147483647 24665 63 | 0.000 % |
4.28/4.36 c | 32181 | 1933 8328 25422 | 2147483647 24765 63 | 0.000 % |
4.28/4.39 c | 32292 | 1933 8328 25422 | 2147483647 24876 63 | 0.000 % |
4.38/4.42 c | 32416 | 1933 8328 25422 | 2147483647 25000 63 | 0.000 % |
4.38/4.46 c | 32550 | 1933 8328 25422 | 2147483647 25134 63 | 0.000 % |
4.47/4.50 c | 32697 | 1933 8328 25422 | 2147483647 25281 63 | 0.000 % |
4.47/4.54 c | 32857 | 1933 8328 25422 | 2147483647 25441 63 | 0.000 % |
4.47/4.58 c | 33033 | 1933 8328 25422 | 2147483647 25617 63 | 0.000 % |
4.57/4.63 c | 33230 | 1933 8328 25422 | 2147483647 25814 63 | 0.000 % |
4.57/4.68 c | 33443 | 1933 8328 25422 | 2147483647 26027 63 | 0.000 % |
4.67/4.73 c | 33677 | 1933 8328 25422 | 2147483647 26261 63 | 0.000 % |
4.77/4.80 c | 33935 | 1933 8328 25422 | 2147483647 26519 63 | 0.000 % |
4.77/4.87 c | 34216 | 1933 8328 25422 | 2147483647 26800 63 | 0.000 % |
4.87/4.94 c | 34525 | 1933 8328 25422 | 2147483647 27109 63 | 0.000 % |
4.97/5.02 c | 34866 | 1933 8328 25422 | 2147483647 27450 63 | 0.000 % |
5.07/5.10 c | 35238 | 1933 8328 25422 | 2147483647 27822 63 | 0.000 % |
5.17/5.20 c | 35647 | 1933 8328 25422 | 2147483647 28231 63 | 0.000 % |
5.27/5.32 c | 36096 | 1933 8328 25422 | 2147483647 28680 63 | 0.000 % |
5.37/5.45 c | 36592 | 1933 8328 25422 | 2147483647 29176 63 | 0.000 % |
5.47/5.59 c | 37137 | 1933 8328 25422 | 2147483647 29721 63 | 0.000 % |
5.57/5.62 c | 37238 | 1933 8328 25422 | 2147483647 29822 63 | 0.000 % |
5.57/5.65 c | 37348 | 1933 8328 25422 | 2147483647 29932 63 | 0.000 % |
5.57/5.68 c | 37471 | 1933 8328 25422 | 2147483647 30055 63 | 0.000 % |
5.67/5.72 c | 37604 | 1933 8328 25422 | 2147483647 30188 63 | 0.000 % |
5.67/5.77 c | 37750 | 1933 8328 25422 | 2147483647 30334 63 | 0.000 % |
5.77/5.81 c | 37912 | 1933 8328 25422 | 2147483647 30496 63 | 0.000 % |
5.77/5.86 c | 38088 | 1933 8328 25422 | 2147483647 30672 63 | 0.000 % |
5.87/5.92 c | 38281 | 1933 8328 25422 | 2147483647 30865 63 | 0.000 % |
5.87/5.98 c | 38494 | 1933 8328 25422 | 2147483647 31078 63 | 0.000 % |
5.97/6.05 c | 38730 | 1933 8328 25422 | 2147483647 31314 63 | 0.000 % |
6.07/6.12 c | 38986 | 1933 8328 25422 | 2147483647 31570 63 | 0.000 % |
6.17/6.21 c | 39267 | 1933 8328 25422 | 2147483647 31851 63 | 0.000 % |
6.27/6.30 c | 39576 | 1933 8328 25422 | 2147483647 32160 63 | 0.000 % |
6.37/6.41 c | 39917 | 1933 8328 25422 | 2147483647 32501 63 | 0.000 % |
6.47/6.51 c | 40289 | 1933 8328 25422 | 2147483647 32873 63 | 0.000 % |
6.57/6.63 c | 40699 | 1933 8328 25422 | 2147483647 33283 63 | 0.000 % |
6.66/6.76 c | 41148 | 1933 8328 25422 | 2147483647 33732 63 | 0.000 % |
6.86/6.90 c | 41641 | 1933 8328 25422 | 2147483647 34225 63 | 0.000 % |
6.96/7.06 c | 42183 | 1933 8328 25422 | 2147483647 34767 63 | 0.000 % |
7.16/7.23 c | 42779 | 1933 8328 25422 | 2147483647 35363 64 | 0.000 % |
7.16/7.26 c | 42881 | 1933 8328 25422 | 2147483647 35465 64 | 0.000 % |
7.26/7.30 c | 42993 | 1933 8328 25422 | 2147483647 35577 63 | 0.000 % |
7.26/7.34 c | 43114 | 1933 8328 25422 | 2147483647 35698 63 | 0.000 % |
7.26/7.38 c | 43247 | 1933 8328 25422 | 2147483647 35831 63 | 0.000 % |
7.37/7.43 c | 43396 | 1933 8328 25422 | 2147483647 35980 63 | 0.000 % |
7.37/7.48 c | 43556 | 1933 8328 25422 | 2147483647 36140 63 | 0.000 % |
7.47/7.55 c | 43732 | 1933 8328 25422 | 2147483647 36316 63 | 0.000 % |
7.57/7.62 c | 43926 | 1933 8328 25422 | 2147483647 36510 63 | 0.000 % |
7.57/7.70 c | 44138 | 1933 8328 25422 | 2147483647 36722 64 | 0.000 % |
7.67/7.78 c | 44371 | 1933 8328 25422 | 2147483647 36955 63 | 0.000 % |
7.77/7.87 c | 44628 | 1933 8328 25422 | 2147483647 37212 63 | 0.000 % |
7.87/7.96 c | 44910 | 1933 8328 25422 | 2147483647 37494 63 | 0.000 % |
7.97/8.06 c | 45219 | 1933 8328 25422 | 2147483647 37803 64 | 0.000 % |
8.07/8.17 c | 45560 | 1933 8328 25422 | 2147483647 38144 64 | 0.000 % |
8.27/8.31 c | 45932 | 1933 8328 25422 | 2147483647 38516 64 | 0.000 % |
8.37/8.45 c | 46341 | 1933 8328 25422 | 2147483647 38925 64 | 0.000 % |
8.56/8.61 c | 46792 | 1933 8328 25422 | 2147483647 39376 64 | 0.000 % |
8.67/8.79 c | 47285 | 1933 8328 25422 | 2147483647 39869 64 | 0.000 % |
8.86/8.97 c | 47828 | 1933 8328 25422 | 2147483647 40412 64 | 0.000 % |
9.06/9.17 c | 48426 | 1933 8328 25422 | 2147483647 41010 64 | 0.000 % |
9.26/9.39 c | 49082 | 1933 8328 25422 | 2147483647 41666 64 | 0.000 % |
9.36/9.43 c | 49183 | 1933 8328 25422 | 2147483647 41767 64 | 0.000 % |
9.36/9.47 c | 49294 | 1933 8328 25422 | 2147483647 41878 64 | 0.000 % |
9.46/9.51 c | 49415 | 1933 8328 25422 | 2147483647 41999 64 | 0.000 % |
9.46/9.57 c | 49548 | 1933 8328 25422 | 2147483647 42132 64 | 0.000 % |
9.56/9.63 c | 49695 | 1933 8328 25422 | 2147483647 42279 64 | 0.000 % |
9.56/9.67 c | 49855 | 1933 8328 25422 | 2147483647 42439 64 | 0.000 % |
9.66/9.74 c | 50031 | 1933 8328 25422 | 2147483647 42615 64 | 0.000 % |
9.77/9.82 c | 50225 | 1933 8328 25422 | 2147483647 42809 64 | 0.000 % |
9.77/9.89 c | 50438 | 1933 8328 25422 | 2147483647 43022 64 | 0.000 % |
9.87/9.98 c | 50672 | 1933 8328 25422 | 2147483647 43256 64 | 0.000 % |
9.96/10.07 c | 50928 | 1933 8328 25422 | 2147483647 43512 64 | 0.000 % |
10.06/10.18 c | 51209 | 1933 8328 25422 | 2147483647 43793 64 | 0.000 % |
10.26/10.30 c | 51520 | 1933 8328 25422 | 2147483647 44104 64 | 0.000 % |
10.36/10.44 c | 51859 | 1933 8328 25422 | 2147483647 44443 64 | 0.000 % |
10.46/10.58 c | 52231 | 1933 8328 25422 | 2147483647 44815 64 | 0.000 % |
10.66/10.73 c | 52642 | 1933 8328 25422 | 2147483647 45226 64 | 0.000 % |
10.76/10.90 c | 53092 | 1933 8328 25422 | 2147483647 45676 64 | 0.000 % |
10.96/11.08 c | 53587 | 1933 8328 25422 | 2147483647 46171 64 | 0.000 % |
11.16/11.29 c | 54129 | 1933 8328 25422 | 2147483647 46713 64 | 0.000 % |
11.47/11.52 c | 54725 | 1933 8328 25422 | 2147483647 47309 64 | 0.000 % |
11.67/11.77 c | 55383 | 1933 8328 25422 | 2147483647 47967 64 | 0.000 % |
11.97/12.05 c | 56103 | 1933 8328 25422 | 2147483647 48687 64 | 0.000 % |
11.97/12.10 c | 56203 | 1933 8328 25422 | 2147483647 48787 64 | 0.000 % |
12.07/12.15 c | 56313 | 1933 8328 25422 | 2147483647 48897 64 | 0.000 % |
12.17/12.20 c | 56435 | 1933 8328 25422 | 2147483647 49019 64 | 0.000 % |
12.17/12.26 c | 56568 | 1933 8328 25422 | 2147483647 49152 64 | 0.000 % |
12.27/12.34 c | 56714 | 1933 8328 25422 | 2147483647 49298 64 | 0.000 % |
12.37/12.41 c | 56875 | 1933 8328 25422 | 2147483647 49459 64 | 0.000 % |
12.37/12.49 c | 57051 | 1933 8328 25422 | 2147483647 49635 64 | 0.000 % |
12.47/12.58 c | 57244 | 1933 8328 25422 | 2147483647 49828 64 | 0.000 % |
12.57/12.67 c | 57456 | 1933 8328 25422 | 2147483647 50040 64 | 0.000 % |
12.67/12.78 c | 57691 | 1933 8328 25422 | 2147483647 50275 64 | 0.000 % |
12.77/12.88 c | 57947 | 1933 8328 25422 | 2147483647 50531 64 | 0.000 % |
12.87/12.99 c | 58229 | 1933 8328 25422 | 2147483647 50813 64 | 0.000 % |
13.07/13.13 c | 58538 | 1933 8328 25422 | 2147483647 51122 64 | 0.000 % |
13.17/13.29 c | 58877 | 1933 8328 25422 | 2147483647 51461 64 | 0.000 % |
13.36/13.48 c | 59249 | 1933 8328 25422 | 2147483647 51833 64 | 0.000 % |
13.56/13.66 c | 59659 | 1933 8328 25422 | 2147483647 52243 64 | 0.000 % |
13.76/13.85 c | 60108 | 1933 8328 25422 | 2147483647 52692 64 | 0.000 % |
13.96/14.07 c | 60601 | 1933 8328 25422 | 2147483647 53185 64 | 0.000 % |
14.27/14.30 c | 61144 | 1933 8328 25422 | 2147483647 53728 64 | 0.000 % |
14.46/14.55 c | 61741 | 1933 8328 25422 | 2147483647 54325 64 | 0.000 % |
14.76/14.81 c | 62398 | 1933 8328 25422 | 2147483647 54982 64 | 0.000 % |
15.06/15.14 c | 63121 | 1933 8328 25422 | 2147483647 55705 64 | 0.000 % |
15.36/15.47 c | 63915 | 1933 8328 25422 | 2147483647 56499 64 | 0.000 % |
15.46/15.51 c | 64015 | 1933 8328 25422 | 2147483647 56599 64 | 0.000 % |
15.46/15.58 c | 64125 | 1933 8328 25422 | 2147483647 56709 64 | 0.000 % |
15.56/15.63 c | 64246 | 1933 8328 25422 | 2147483647 56830 64 | 0.000 % |
15.66/15.70 c | 64379 | 1933 8328 25422 | 2147483647 56963 64 | 0.000 % |
15.66/15.77 c | 64526 | 1933 8328 25422 | 2147483647 57110 64 | 0.000 % |
15.76/15.86 c | 64687 | 1933 8328 25422 | 2147483647 57271 64 | 0.000 % |
15.86/15.94 c | 64863 | 1933 8328 25422 | 2147483647 57447 64 | 0.000 % |
15.96/16.04 c | 65056 | 1933 8328 25422 | 2147483647 57640 64 | 0.000 % |
16.06/16.15 c | 65268 | 1933 8328 25422 | 2147483647 57852 64 | 0.000 % |
16.16/16.27 c | 65504 | 1933 8328 25422 | 2147483647 58088 64 | 0.000 % |
16.36/16.42 c | 65760 | 1933 8328 25422 | 2147483647 58344 64 | 0.000 % |
16.46/16.56 c | 66042 | 1933 8328 25422 | 2147483647 58626 64 | 0.000 % |
16.65/16.71 c | 66351 | 1933 8328 25422 | 2147483647 58935 64 | 0.000 % |
16.75/16.87 c | 66690 | 1933 8328 25422 | 2147483647 59274 64 | 0.000 % |
16.95/17.05 c | 67065 | 1933 8328 25422 | 2147483647 59649 64 | 0.000 % |
17.15/17.28 c | 67476 | 1933 8328 25422 | 2147483647 60060 64 | 0.000 % |
17.35/17.49 c | 67926 | 1933 8328 25422 | 2147483647 60510 64 | 0.000 % |
17.65/17.72 c | 68420 | 1933 8328 25422 | 2147483647 61004 64 | 0.000 % |
17.85/17.98 c | 68966 | 1933 8328 25422 | 2147483647 61550 64 | 0.000 % |
18.16/18.30 c | 69562 | 1933 8328 25422 | 2147483647 62146 64 | 0.000 % |
18.57/18.61 c | 70218 | 1933 8328 25422 | 2147483647 62802 64 | 0.000 % |
18.86/18.95 c | 70939 | 1933 8328 25422 | 2147483647 63523 65 | 0.000 % |
19.26/19.37 c | 71731 | 1933 8328 25422 | 2147483647 64315 65 | 0.000 % |
19.66/19.78 c | 72605 | 1933 8328 25422 | 2147483647 65189 65 | 0.000 % |
19.76/19.84 c | 72707 | 1933 8328 25422 | 2147483647 65291 65 | 0.000 % |
19.86/19.91 c | 72818 | 1933 8328 25422 | 2147483647 65402 65 | 0.000 % |
19.86/19.97 c | 72943 | 1933 8328 25422 | 2147483647 65527 65 | 0.000 % |
19.96/20.04 c | 73076 | 1933 8328 25422 | 2147483647 65660 65 | 0.000 % |
20.06/20.14 c | 73224 | 1933 8328 25422 | 2147483647 65808 65 | 0.000 % |
20.16/20.23 c | 73384 | 1933 8328 25422 | 2147483647 65968 65 | 0.000 % |
20.26/20.32 c | 73562 | 1933 8328 25422 | 2147483647 66146 65 | 0.000 % |
20.36/20.44 c | 73756 | 1933 8328 25422 | 2147483647 66340 65 | 0.000 % |
20.46/20.56 c | 73968 | 1933 8328 25422 | 2147483647 66552 65 | 0.000 % |
20.66/20.70 c | 74203 | 1933 8328 25422 | 2147483647 66787 65 | 0.000 % |
20.76/20.83 c | 74461 | 1933 8328 25422 | 2147483647 67045 65 | 0.000 % |
20.95/21.01 c | 74742 | 1933 8328 25422 | 2147483647 67326 65 | 0.000 % |
21.05/21.18 c | 75051 | 1933 8328 25422 | 2147483647 67635 65 | 0.000 % |
21.25/21.38 c | 75390 | 1933 8328 25422 | 2147483647 67974 65 | 0.000 % |
21.45/21.59 c | 75763 | 1933 8328 25422 | 2147483647 68347 65 | 0.000 % |
21.75/21.82 c | 76172 | 1933 8328 25422 | 2147483647 68756 65 | 0.000 % |
21.96/22.08 c | 76621 | 1933 8328 25422 | 2147483647 69205 65 | 0.000 % |
22.25/22.37 c | 77116 | 1933 8328 25422 | 2147483647 69700 65 | 0.000 % |
22.55/22.68 c | 77659 | 1933 8328 25422 | 2147483647 70243 65 | 0.000 % |
22.95/23.01 c | 78257 | 1933 8328 25422 | 2147483647 70841 65 | 0.000 % |
23.25/23.39 c | 78912 | 1933 8328 25422 | 2147483647 71496 65 | 0.000 % |
23.75/23.80 c | 79632 | 1933 8328 25422 | 2147483647 72216 65 | 0.000 % |
24.15/24.25 c | 80424 | 1933 8328 25422 | 2147483647 73008 65 | 0.000 % |
24.65/24.77 c | 81296 | 1933 8328 25422 | 2147483647 73880 65 | 0.000 % |
25.16/25.30 c | 82255 | 1933 8328 25422 | 2147483647 74839 65 | 0.000 % |
25.26/25.36 c | 82355 | 1933 8328 25422 | 2147483647 74939 65 | 0.000 % |
25.36/25.43 c | 82466 | 1933 8328 25422 | 2147483647 75050 65 | 0.000 % |
25.46/25.52 c | 82590 | 1933 8328 25422 | 2147483647 75174 65 | 0.000 % |
25.56/25.60 c | 82723 | 1933 8328 25422 | 2147483647 75307 65 | 0.000 % |
25.66/25.70 c | 82869 | 1933 8328 25422 | 2147483647 75453 65 | 0.000 % |
25.66/25.80 c | 83031 | 1933 8328 25422 | 2147483647 75615 65 | 0.000 % |
25.86/25.94 c | 83208 | 1933 8328 25422 | 2147483647 75792 65 | 0.000 % |
25.96/26.07 c | 83403 | 1933 8328 25422 | 2147483647 75987 65 | 0.000 % |
26.16/26.22 c | 83615 | 1933 8328 25422 | 2147483647 76199 65 | 0.000 % |
26.26/26.37 c | 83849 | 1933 8328 25422 | 2147483647 76433 65 | 0.000 % |
26.45/26.53 c | 84105 | 1933 8328 25422 | 2147483647 76689 65 | 0.000 % |
26.65/26.72 c | 84388 | 1933 8328 25422 | 2147483647 76972 65 | 0.000 % |
26.85/26.91 c | 84700 | 1933 8328 25422 | 2147483647 77284 65 | 0.000 % |
27.05/27.13 c | 85041 | 1933 8328 25422 | 2147483647 77625 65 | 0.000 % |
27.25/27.38 c | 85414 | 1933 8328 25422 | 2147483647 77998 65 | 0.000 % |
27.55/27.65 c | 85823 | 1933 8328 25422 | 2147483647 78407 65 | 0.000 % |
27.85/27.93 c | 86274 | 1933 8328 25422 | 2147483647 78858 65 | 0.000 % |
28.15/28.24 c | 86769 | 1933 8328 25422 | 2147483647 79353 65 | 0.000 % |
28.45/28.59 c | 87311 | 1933 8328 25422 | 2147483647 79895 65 | 0.000 % |
28.85/28.95 c | 87909 | 1933 8328 25422 | 2147483647 80493 65 | 0.000 % |
29.25/29.32 c | 88565 | 1933 8328 25422 | 2147483647 81149 65 | 0.000 % |
29.65/29.78 c | 89285 | 1933 8328 25422 | 2147483647 81869 65 | 0.000 % |
30.15/30.28 c | 90079 | 1933 8328 25422 | 2147483647 82663 65 | 0.000 % |
30.75/30.84 c | 90950 | 1933 8328 25422 | 2147483647 83534 65 | 0.000 % |
31.34/31.47 c | 91909 | 1933 8328 25422 | 2147483647 84493 65 | 0.000 % |
31.94/32.09 c | 92963 | 1933 8328 25422 | 2147483647 85547 65 | 0.000 % |
32.04/32.17 c | 93063 | 1933 8328 25422 | 2147483647 85647 65 | 0.000 % |
32.14/32.27 c | 93173 | 1933 8328 25422 | 2147483647 85757 65 | 0.000 % |
32.24/32.38 c | 93296 | 1933 8328 25422 | 2147483647 85880 65 | 0.000 % |
32.34/32.48 c | 93431 | 1933 8328 25422 | 2147483647 86015 65 | 0.000 % |
32.54/32.60 c | 93578 | 1933 8328 25422 | 2147483647 86162 65 | 0.000 % |
32.64/32.75 c | 93739 | 1933 8328 25422 | 2147483647 86323 65 | 0.000 % |
32.74/32.86 c | 93917 | 1933 8328 25422 | 2147483647 86501 65 | 0.000 % |
32.95/33.02 c | 94110 | 1933 8328 25422 | 2147483647 86694 65 | 0.000 % |
33.05/33.18 c | 94322 | 1933 8328 25422 | 2147483647 86906 65 | 0.000 % |
33.25/33.35 c | 94555 | 1933 8328 25422 | 2147483647 87139 65 | 0.000 % |
33.45/33.55 c | 94812 | 1933 8328 25422 | 2147483647 87396 65 | 0.000 % |
33.65/33.77 c | 95094 | 1933 8328 25422 | 2147483647 87678 65 | 0.000 % |
33.85/33.99 c | 95404 | 1933 8328 25422 | 2147483647 87988 65 | 0.000 % |
34.15/34.25 c | 95744 | 1933 8328 25422 | 2147483647 88328 65 | 0.000 % |
34.45/34.54 c | 96116 | 1933 8328 25422 | 2147483647 88700 65 | 0.000 % |
34.75/34.83 c | 96526 | 1933 8328 25422 | 2147483647 89110 65 | 0.000 % |
35.06/35.17 c | 96978 | 1933 8328 25422 | 2147483647 89562 65 | 0.000 % |
35.45/35.57 c | 97471 | 1933 8328 25422 | 2147483647 90055 65 | 0.000 % |
35.85/35.97 c | 98014 | 1933 8328 25422 | 2147483647 90598 65 | 0.000 % |
36.25/36.40 c | 98612 | 1933 8328 25422 | 2147483647 91196 65 | 0.000 % |
36.75/36.86 c | 99267 | 1933 8328 25422 | 2147483647 91851 65 | 0.000 % |
37.25/37.36 c | 99989 | 1933 8328 25422 | 2147483647 92573 65 | 0.000 % |
37.85/37.95 c | 100782 | 1933 8328 25422 | 2147483647 93366 65 | 0.000 % |
38.45/38.57 c | 101653 | 1933 8328 25422 | 2147483647 94237 65 | 0.000 % |
39.14/39.27 c | 102612 | 1933 8328 25422 | 2147483647 95196 65 | 0.000 % |
39.94/40.02 c | 103666 | 1933 8328 25422 | 2147483647 96250 65 | 0.000 % |
40.84/40.92 c | 104825 | 1933 8328 25422 | 2147483647 97409 65 | 0.000 % |
40.94/41.01 c | 104926 | 1933 8328 25422 | 2147483647 97510 65 | 0.000 % |
41.04/41.11 c | 105037 | 1933 8328 25422 | 2147483647 97621 65 | 0.000 % |
41.14/41.22 c | 105160 | 1933 8328 25422 | 2147483647 97744 65 | 0.000 % |
41.24/41.33 c | 105294 | 1933 8328 25422 | 2147483647 97878 65 | 0.000 % |
41.34/41.47 c | 105442 | 1933 8328 25422 | 2147483647 98026 65 | 0.000 % |
41.54/41.61 c | 105602 | 1933 8328 25422 | 2147483647 98186 65 | 0.000 % |
41.65/41.75 c | 105778 | 1933 8328 25422 | 2147483647 98362 65 | 0.000 % |
41.85/41.90 c | 105971 | 1933 8328 25422 | 2147483647 98555 65 | 0.000 % |
41.95/42.08 c | 106183 | 1933 8328 25422 | 2147483647 98767 65 | 0.000 % |
42.15/42.27 c | 106418 | 1933 8328 25422 | 2147483647 99002 65 | 0.000 % |
42.35/42.48 c | 106674 | 1933 8328 25422 | 2147483647 99258 65 | 0.000 % |
42.65/42.72 c | 106955 | 1933 8328 25422 | 2147483647 99539 65 | 0.000 % |
42.85/42.96 c | 107265 | 1933 8328 25422 | 2147483647 99849 65 | 0.000 % |
43.15/43.21 c | 107607 | 1933 8328 25422 | 2147483647 100191 65 | 0.000 % |
43.45/43.50 c | 107980 | 1933 8328 25422 | 2147483647 100564 65 | 0.000 % |
43.65/43.80 c | 108390 | 1933 8328 25422 | 2147483647 100974 65 | 0.000 % |
44.05/44.16 c | 108840 | 1933 8328 25422 | 2147483647 101424 65 | 0.000 % |
44.45/44.55 c | 109333 | 1933 8328 25422 | 2147483647 101917 65 | 0.000 % |
44.85/44.98 c | 109876 | 1933 8328 25422 | 2147483647 102460 65 | 0.000 % |
45.35/45.46 c | 110473 | 1933 8328 25422 | 102584 90756 65 | 0.000 % |
45.85/45.93 c | 111130 | 1933 8328 25422 | 102584 91413 65 | 0.000 % |
46.34/46.41 c | 111851 | 1933 8328 25422 | 102584 92134 65 | 0.000 % |
46.84/46.97 c | 112645 | 1933 8328 25422 | 102584 92928 66 | 0.000 % |
47.44/47.58 c | 113516 | 1933 8328 25422 | 102584 93799 66 | 0.000 % |
48.14/48.29 c | 114475 | 1933 8328 25422 | 102584 94758 66 | 0.000 % |
48.94/49.01 c | 115529 | 1933 8328 25422 | 102584 95812 66 | 0.000 % |
49.74/49.88 c | 116691 | 1933 8328 25422 | 102584 96974 66 | 0.000 % |
50.64/50.78 c | 117964 | 1933 8328 25422 | 102584 98247 66 | 0.000 % |
50.74/50.87 c | 118066 | 1933 8328 25422 | 102584 98349 66 | 0.000 % |
50.84/50.98 c | 118183 | 1933 8328 25422 | 102584 98466 66 | 0.000 % |
50.94/51.09 c | 118304 | 1933 8328 25422 | 102584 98587 66 | 0.000 % |
51.14/51.21 c | 118437 | 1933 8328 25422 | 102584 98720 66 | 0.000 % |
51.24/51.34 c | 118584 | 1933 8328 25422 | 102584 98867 66 | 0.000 % |
51.34/51.49 c | 118745 | 1933 8328 25422 | 102584 99028 66 | 0.000 % |
51.54/51.65 c | 118922 | 1933 8328 25422 | 102584 99205 66 | 0.000 % |
51.74/51.80 c | 119117 | 1933 8328 25422 | 102584 99400 66 | 0.000 % |
51.84/51.98 c | 119329 | 1933 8328 25422 | 102584 99612 66 | 0.000 % |
52.04/52.18 c | 119564 | 1933 8328 25422 | 102584 99847 66 | 0.000 % |
52.34/52.41 c | 119820 | 1933 8328 25422 | 102584 100103 66 | 0.000 % |
52.54/52.63 c | 120101 | 1933 8328 25422 | 100284 100384 66 | 0.000 % |
52.84/52.92 c | 120410 | 1933 8328 25422 | 100284 88472 66 | 0.000 % |
53.04/53.16 c | 120750 | 1933 8328 25422 | 100284 88812 66 | 0.000 % |
53.34/53.43 c | 121123 | 1933 8328 25422 | 100284 89185 66 | 0.000 % |
53.64/53.74 c | 121532 | 1933 8328 25422 | 100284 89594 66 | 0.000 % |
53.94/54.09 c | 121981 | 1933 8328 25422 | 100284 90043 66 | 0.000 % |
54.34/54.42 c | 122474 | 1933 8328 25422 | 100284 90536 66 | 0.000 % |
54.64/54.78 c | 123019 | 1933 8328 25422 | 100284 91081 66 | 0.000 % |
55.14/55.22 c | 123617 | 1933 8328 25422 | 100284 91679 66 | 0.000 % |
55.64/55.70 c | 124272 | 1933 8328 25422 | 100284 92334 66 | 0.000 % |
56.04/56.18 c | 124992 | 1933 8328 25422 | 100284 93054 66 | 0.000 % |
56.64/56.74 c | 125784 | 1933 8328 25422 | 100284 93846 66 | 0.000 % |
57.24/57.37 c | 126656 | 1933 8328 25422 | 100284 94718 66 | 0.000 % |
57.94/58.02 c | 127617 | 1933 8328 25422 | 100284 95679 66 | 0.000 % |
58.64/58.73 c | 128670 | 1933 8328 25422 | 100284 96732 66 | 0.000 % |
59.44/59.54 c | 129830 | 1933 8328 25422 | 100284 97892 66 | 0.000 % |
60.34/60.49 c | 131105 | 1933 8328 25422 | 98062 88516 66 | 0.000 % |
61.34/61.42 c | 132505 | 1933 8328 25422 | 98062 89916 66 | 0.000 % |
61.44/61.52 c | 132607 | 1933 8328 25422 | 98062 90018 66 | 0.000 % |
61.54/61.61 c | 132717 | 1933 8328 25422 | 98062 90128 66 | 0.000 % |
61.64/61.70 c | 132838 | 1933 8328 25422 | 98062 90249 66 | 0.000 % |
61.74/61.81 c | 132971 | 1933 8328 25422 | 98062 90382 66 | 0.000 % |
61.84/61.95 c | 133118 | 1933 8328 25422 | 98062 90529 66 | 0.000 % |
61.94/62.07 c | 133278 | 1933 8328 25422 | 98062 90689 66 | 0.000 % |
62.14/62.21 c | 133454 | 1933 8328 25422 | 98062 90865 66 | 0.000 % |
62.24/62.37 c | 133649 | 1933 8328 25422 | 98062 91060 66 | 0.000 % |
62.44/62.52 c | 133862 | 1933 8328 25422 | 98062 91273 66 | 0.000 % |
62.54/62.68 c | 134096 | 1933 8328 25422 | 98062 91507 66 | 0.000 % |
62.84/62.90 c | 134352 | 1933 8328 25422 | 98062 91763 66 | 0.000 % |
63.04/63.11 c | 134634 | 1933 8328 25422 | 98062 92045 66 | 0.000 % |
63.24/63.33 c | 134944 | 1933 8328 25422 | 98062 92355 66 | 0.000 % |
63.43/63.56 c | 135284 | 1933 8328 25422 | 98062 92695 66 | 0.000 % |
63.74/63.83 c | 135656 | 1933 8328 25422 | 98062 93067 66 | 0.000 % |
64.03/64.11 c | 136066 | 1933 8328 25422 | 98062 93477 66 | 0.000 % |
64.33/64.46 c | 136515 | 1933 8328 25422 | 98062 93926 66 | 0.000 % |
64.63/64.79 c | 137008 | 1933 8328 25422 | 98062 94419 66 | 0.000 % |
65.13/65.21 c | 137550 | 1933 8328 25422 | 98062 94961 66 | 0.000 % |
65.63/65.71 c | 138147 | 1933 8328 25422 | 98062 95558 66 | 0.000 % |
66.03/66.19 c | 138806 | 1933 8328 25422 | 98062 96217 66 | 0.000 % |
66.63/66.70 c | 139529 | 1933 8328 25422 | 98062 96940 66 | 0.000 % |
67.23/67.31 c | 140321 | 1933 8328 25422 | 97413 97732 66 | 0.000 % |
67.83/67.95 c | 141192 | 1933 8328 25422 | 97413 86895 66 | 0.000 % |
68.43/68.57 c | 142150 | 1933 8328 25422 | 97413 87853 66 | 0.000 % |
69.14/69.28 c | 143203 | 1933 8328 25422 | 97413 88906 66 | 0.000 % |
69.93/70.05 c | 144361 | 1933 8328 25422 | 97413 90064 66 | 0.000 % |
70.83/70.92 c | 145636 | 1933 8328 25422 | 97413 91339 66 | 0.000 % |
71.83/71.91 c | 147036 | 1933 8328 25422 | 97413 92739 66 | 0.000 % |
72.83/72.94 c | 148576 | 1933 8328 25422 | 97413 94279 67 | 0.000 % |
72.93/73.03 c | 148677 | 1933 8328 25422 | 97413 94380 67 | 0.000 % |
73.03/73.13 c | 148788 | 1933 8328 25422 | 97413 94491 67 | 0.000 % |
73.13/73.23 c | 148909 | 1933 8328 25422 | 97413 94612 67 | 0.000 % |
73.23/73.34 c | 149042 | 1933 8328 25422 | 97413 94745 67 | 0.000 % |
73.33/73.49 c | 149188 | 1933 8328 25422 | 97413 94891 67 | 0.000 % |
73.53/73.62 c | 149348 | 1933 8328 25422 | 97413 95051 67 | 0.000 % |
73.63/73.76 c | 149524 | 1933 8328 25422 | 97413 95227 67 | 0.000 % |
73.83/73.93 c | 149717 | 1933 8328 25422 | 97413 95420 67 | 0.000 % |
74.03/74.10 c | 149931 | 1933 8328 25422 | 97413 95634 67 | 0.000 % |
74.13/74.28 c | 150164 | 1933 8328 25422 | 95703 95867 67 | 0.000 % |
74.43/74.51 c | 150420 | 1933 8328 25422 | 95703 85872 67 | 0.000 % |
74.63/74.71 c | 150702 | 1933 8328 25422 | 95703 86154 67 | 0.000 % |
74.83/74.93 c | 151011 | 1933 8328 25422 | 95703 86463 67 | 0.000 % |
75.03/75.20 c | 151352 | 1933 8328 25422 | 95703 86804 67 | 0.000 % |
75.33/75.46 c | 151724 | 1933 8328 25422 | 95703 87176 67 | 0.000 % |
75.63/75.75 c | 152133 | 1933 8328 25422 | 95703 87585 67 | 0.000 % |
75.93/76.09 c | 152582 | 1933 8328 25422 | 95703 88034 67 | 0.000 % |
76.33/76.46 c | 153075 | 1933 8328 25422 | 95703 88527 67 | 0.000 % |
76.73/76.85 c | 153617 | 1933 8328 25422 | 95703 89069 67 | 0.000 % |
77.13/77.29 c | 154215 | 1933 8328 25422 | 95703 89667 67 | 0.000 % |
77.63/77.73 c | 154870 | 1933 8328 25422 | 95703 90322 67 | 0.000 % |
78.13/78.26 c | 155591 | 1933 8328 25422 | 95703 91043 67 | 0.000 % |
78.73/78.87 c | 156386 | 1933 8328 25422 | 95703 91838 67 | 0.000 % |
79.32/79.43 c | 157257 | 1933 8328 25422 | 95703 92709 67 | 0.000 % |
80.03/80.16 c | 158215 | 1933 8328 25422 | 95703 93667 67 | 0.000 % |
80.72/80.89 c | 159270 | 1933 8328 25422 | 95703 94722 67 | 0.000 % |
81.62/81.76 c | 160429 | 1933 8328 25422 | 95453 85750 67 | 0.000 % |
82.43/82.55 c | 161703 | 1933 8328 25422 | 95453 87024 67 | 0.000 % |
83.32/83.43 c | 163103 | 1933 8328 25422 | 95453 88424 67 | 0.000 % |
84.32/84.42 c | 164645 | 1933 8328 25422 | 95453 89966 67 | 0.000 % |
85.42/85.54 c | 166339 | 1933 8328 25422 | 95453 91660 67 | 0.000 % |
85.52/85.63 c | 166439 | 1933 8328 25422 | 95453 91760 67 | 0.000 % |
85.63/85.72 c | 166550 | 1933 8328 25422 | 95453 91871 67 | 0.000 % |
85.73/85.83 c | 166671 | 1933 8328 25422 | 95453 91992 67 | 0.000 % |
85.82/85.93 c | 166804 | 1933 8328 25422 | 95453 92125 67 | 0.000 % |
85.92/86.05 c | 166952 | 1933 8328 25422 | 95453 92273 67 | 0.000 % |
86.02/86.18 c | 167112 | 1933 8328 25422 | 95453 92433 67 | 0.000 % |
86.22/86.32 c | 167288 | 1933 8328 25422 | 95453 92609 67 | 0.000 % |
86.32/86.48 c | 167482 | 1933 8328 25422 | 95453 92803 67 | 0.000 % |
86.52/86.64 c | 167695 | 1933 8328 25422 | 95453 93016 67 | 0.000 % |
86.72/86.81 c | 167928 | 1933 8328 25422 | 95453 93249 67 | 0.000 % |
86.92/87.00 c | 168185 | 1933 8328 25422 | 95453 93506 67 | 0.000 % |
87.12/87.21 c | 168466 | 1933 8328 25422 | 95453 93787 67 | 0.000 % |
87.32/87.44 c | 168775 | 1933 8328 25422 | 95453 94096 67 | 0.000 % |
87.52/87.69 c | 169116 | 1933 8328 25422 | 95453 94437 67 | 0.000 % |
87.82/87.99 c | 169490 | 1933 8328 25422 | 95453 94811 67 | 0.000 % |
88.22/88.31 c | 169901 | 1933 8328 25422 | 95453 95222 67 | 0.000 % |
88.52/88.62 c | 170350 | 1933 8328 25422 | 2147483647 95671 67 | 0.000 % |
88.82/89.00 c | 170843 | 1933 8328 25422 | 2147483647 96164 67 | 0.000 % |
89.22/89.38 c | 171386 | 1933 8328 25422 | 2147483647 96707 67 | 0.000 % |
89.72/89.87 c | 171982 | 1933 8328 25422 | 2147483647 97303 67 | 0.000 % |
90.22/90.37 c | 172638 | 1933 8328 25422 | 2147483647 97959 67 | 0.000 % |
90.82/90.91 c | 173358 | 1933 8328 25422 | 2147483647 98679 67 | 0.000 % |
91.32/91.49 c | 174150 | 1933 8328 25422 | 2147483647 99471 67 | 0.000 % |
92.02/92.16 c | 175021 | 1933 8328 25422 | 2147483647 100342 67 | 0.000 % |
92.82/92.91 c | 175979 | 1933 8328 25422 | 2147483647 101300 67 | 0.000 % |
93.61/93.72 c | 177035 | 1933 8328 25422 | 2147483647 102356 67 | 0.000 % |
94.52/94.60 c | 178196 | 1933 8328 25422 | 2147483647 103517 67 | 0.000 % |
95.52/95.64 c | 179471 | 1933 8328 25422 | 2147483647 104792 68 | 0.000 % |
96.72/96.80 c | 180871 | 1933 8328 25422 | 105324 91909 68 | 0.000 % |
97.72/97.88 c | 182412 | 1933 8328 25422 | 105324 93450 68 | 0.000 % |
99.02/99.15 c | 184107 | 1933 8328 25422 | 105324 95145 68 | 0.000 % |
100.32/100.44 c | 185970 | 1933 8328 25422 | 105324 97008 68 | 0.000 % |
100.42/100.52 c | 186071 | 1933 8328 25422 | 105324 97109 68 | 0.000 % |
100.52/100.63 c | 186182 | 1933 8328 25422 | 105324 97220 68 | 0.000 % |
100.62/100.74 c | 186304 | 1933 8328 25422 | 105324 97342 68 | 0.000 % |
100.72/100.86 c | 186437 | 1933 8328 25422 | 105324 97475 68 | 0.000 % |
100.92/101.00 c | 186583 | 1933 8328 25422 | 105324 97621 68 | 0.000 % |
101.02/101.16 c | 186745 | 1933 8328 25422 | 105324 97783 68 | 0.000 % |
101.12/101.30 c | 186922 | 1933 8328 25422 | 105324 97960 68 | 0.000 % |
101.32/101.45 c | 187116 | 1933 8328 25422 | 105324 98154 68 | 0.000 % |
101.52/101.63 c | 187328 | 1933 8328 25422 | 105324 98366 68 | 0.000 % |
101.72/101.83 c | 187561 | 1933 8328 25422 | 105324 98599 68 | 0.000 % |
101.92/102.09 c | 187817 | 1933 8328 25422 | 105324 98855 68 | 0.000 % |
102.22/102.32 c | 188098 | 1933 8328 25422 | 105324 99136 68 | 0.000 % |
102.52/102.61 c | 188410 | 1933 8328 25422 | 105324 99448 68 | 0.000 % |
102.82/102.90 c | 188751 | 1933 8328 25422 | 105324 99789 68 | 0.000 % |
103.02/103.19 c | 189124 | 1933 8328 25422 | 105324 100162 68 | 0.000 % |
103.42/103.53 c | 189534 | 1933 8328 25422 | 105324 100572 68 | 0.000 % |
103.82/103.92 c | 189984 | 1933 8328 25422 | 105324 101022 68 | 0.000 % |
104.22/104.38 c | 190478 | 1933 8328 25422 | 101040 87558 68 | 0.000 % |
104.62/104.76 c | 191021 | 1933 8328 25422 | 101040 88101 68 | 0.000 % |
105.02/105.16 c | 191617 | 1933 8328 25422 | 101040 88697 68 | 0.000 % |
105.42/105.57 c | 192274 | 1933 8328 25422 | 101040 89354 68 | 0.000 % |
105.92/106.05 c | 192995 | 1933 8328 25422 | 101040 90075 68 | 0.000 % |
106.42/106.60 c | 193788 | 1933 8328 25422 | 101040 90868 68 | 0.000 % |
107.12/107.20 c | 194660 | 1933 8328 25422 | 101040 91740 68 | 0.000 % |
107.72/107.87 c | 195618 | 1933 8328 25422 | 101040 92698 68 | 0.000 % |
108.52/108.62 c | 196672 | 1933 8328 25422 | 101040 93752 68 | 0.000 % |
109.32/109.44 c | 197832 | 1933 8328 25422 | 101040 94912 68 | 0.000 % |
110.22/110.37 c | 199106 | 1933 8328 25422 | 101040 96186 68 | 0.000 % |
111.32/111.40 c | 200506 | 1933 8328 25422 | 97081 86952 68 | 0.000 % |
112.31/112.47 c | 202046 | 1933 8328 25422 | 97081 88492 68 | 0.000 % |
113.51/113.69 c | 203740 | 1933 8328 25422 | 97081 90186 68 | 0.000 % |
114.91/115.08 c | 205604 | 1933 8328 25422 | 97081 92050 68 | 0.000 % |
116.42/116.58 c | 207653 | 1933 8328 25422 | 97081 94099 69 | 0.000 % |
116.52/116.68 c | 207754 | 1933 8328 25422 | 97081 94200 68 | 0.000 % |
116.61/116.77 c | 207866 | 1933 8328 25422 | 97081 94312 68 | 0.000 % |
116.71/116.87 c | 207987 | 1933 8328 25422 | 97081 94433 68 | 0.000 % |
116.81/116.99 c | 208121 | 1933 8328 25422 | 97081 94567 68 | 0.000 % |
117.01/117.12 c | 208267 | 1933 8328 25422 | 97081 94713 68 | 0.000 % |
117.11/117.25 c | 208428 | 1933 8328 25422 | 97081 94874 68 | 0.000 % |
117.21/117.39 c | 208604 | 1933 8328 25422 | 97081 95050 68 | 0.000 % |
117.41/117.53 c | 208798 | 1933 8328 25422 | 97081 95244 68 | 0.000 % |
117.52/117.69 c | 209012 | 1933 8328 25422 | 97081 95458 68 | 0.000 % |
117.81/117.90 c | 209246 | 1933 8328 25422 | 97081 95692 68 | 0.000 % |
118.01/118.13 c | 209503 | 1933 8328 25422 | 97081 95949 68 | 0.000 % |
118.31/118.40 c | 209784 | 1933 8328 25422 | 97081 96230 68 | 0.000 % |
118.51/118.64 c | 210093 | 1933 8328 25422 | 96449 96539 68 | 0.000 % |
118.81/118.95 c | 210432 | 1933 8328 25422 | 96449 85257 68 | 0.000 % |
119.11/119.22 c | 210804 | 1933 8328 25422 | 96449 85629 68 | 0.000 % |
119.31/119.49 c | 211213 | 1933 8328 25422 | 96449 86038 68 | 0.000 % |
119.61/119.79 c | 211662 | 1933 8328 25422 | 96449 86487 68 | 0.000 % |
120.01/120.14 c | 212155 | 1933 8328 25422 | 96449 86980 68 | 0.000 % |
120.41/120.52 c | 212697 | 1933 8328 25422 | 96449 87522 68 | 0.000 % |
120.82/120.97 c | 213295 | 1933 8328 25422 | 96449 88120 68 | 0.000 % |
121.31/121.42 c | 213952 | 1933 8328 25422 | 96449 88777 68 | 0.000 % |
121.81/121.95 c | 214672 | 1933 8328 25422 | 96449 89497 68 | 0.000 % |
122.31/122.50 c | 215465 | 1933 8328 25422 | 96449 90290 68 | 0.000 % |
123.02/123.11 c | 216337 | 1933 8328 25422 | 96449 91162 68 | 0.000 % |
123.61/123.75 c | 217296 | 1933 8328 25422 | 96449 92121 68 | 0.000 % |
124.31/124.49 c | 218351 | 1933 8328 25422 | 96449 93176 68 | 0.000 % |
125.11/125.30 c | 219509 | 1933 8328 25422 | 96449 94334 68 | 0.000 % |
126.21/126.30 c | 220785 | 1933 8328 25422 | 94825 85518 69 | 0.000 % |
127.11/127.22 c | 222186 | 1933 8328 25422 | 94825 86919 69 | 0.000 % |
128.11/128.25 c | 223726 | 1933 8328 25422 | 94825 88459 69 | 0.000 % |
129.31/129.48 c | 225421 | 1933 8328 25422 | 94825 90154 69 | 0.000 % |
130.61/130.76 c | 227284 | 1933 8328 25422 | 94825 92017 69 | 0.000 % |
132.01/132.19 c | 229334 | 1933 8328 25422 | 94825 94067 69 | 0.000 % |
133.61/133.77 c | 231588 | 1933 8328 25422 | 2147483647 96321 69 | 0.000 % |
133.71/133.86 c | 231689 | 1933 8328 25422 | 2147483647 96422 69 | 0.000 % |
133.81/133.96 c | 231799 | 1933 8328 25422 | 2147483647 96532 69 | 0.000 % |
133.91/134.06 c | 231920 | 1933 8328 25422 | 2147483647 96653 69 | 0.000 % |
134.01/134.17 c | 232053 | 1933 8328 25422 | 2147483647 96786 69 | 0.000 % |
134.21/134.32 c | 232201 | 1933 8328 25422 | 2147483647 96934 69 | 0.000 % |
134.31/134.45 c | 232361 | 1933 8328 25422 | 2147483647 97094 69 | 0.000 % |
134.51/134.61 c | 232538 | 1933 8328 25422 | 2147483647 97271 69 | 0.000 % |
134.61/134.77 c | 232731 | 1933 8328 25422 | 2147483647 97464 69 | 0.000 % |
134.81/134.96 c | 232943 | 1933 8328 25422 | 2147483647 97676 69 | 0.000 % |
135.01/135.16 c | 233176 | 1933 8328 25422 | 2147483647 97909 69 | 0.000 % |
135.21/135.39 c | 233433 | 1933 8328 25422 | 2147483647 98166 69 | 0.000 % |
135.51/135.61 c | 233714 | 1933 8328 25422 | 2147483647 98447 69 | 0.000 % |
135.71/135.85 c | 234024 | 1933 8328 25422 | 2147483647 98757 69 | 0.000 % |
136.01/136.16 c | 234365 | 1933 8328 25422 | 2147483647 99098 69 | 0.000 % |
136.31/136.43 c | 234740 | 1933 8328 25422 | 2147483647 99473 69 | 0.000 % |
136.61/136.77 c | 235149 | 1933 8328 25422 | 2147483647 99882 69 | 0.000 % |
137.01/137.13 c | 235598 | 1933 8328 25422 | 2147483647 100331 69 | 0.000 % |
137.41/137.56 c | 236091 | 1933 8328 25422 | 2147483647 100824 69 | 0.000 % |
137.91/138.05 c | 236633 | 1933 8328 25422 | 2147483647 101366 69 | 0.000 % |
138.41/138.52 c | 237230 | 1933 8328 25422 | 2147483647 101963 69 | 0.000 % |
138.80/138.99 c | 237886 | 1933 8328 25422 | 2147483647 102619 69 | 0.000 % |
139.30/139.49 c | 238606 | 1933 8328 25422 | 2147483647 103339 69 | 0.000 % |
139.90/140.08 c | 239399 | 1933 8328 25422 | 2147483647 104132 69 | 0.000 % |
140.70/140.80 c | 240273 | 1933 8328 25422 | 104735 105006 69 | 0.000 % |
141.40/141.55 c | 241231 | 1933 8328 25422 | 104735 91427 69 | 0.000 % |
142.10/142.26 c | 242285 | 1933 8328 25422 | 104735 92481 69 | 0.000 % |
143.00/143.11 c | 243445 | 1933 8328 25422 | 104735 93641 69 | 0.000 % |
143.90/144.05 c | 244719 | 1933 8328 25422 | 104735 94915 69 | 0.000 % |
144.90/145.04 c | 246122 | 1933 8328 25422 | 104735 96318 69 | 0.000 % |
146.00/146.11 c | 247663 | 1933 8328 25422 | 104735 97859 69 | 0.000 % |
147.20/147.39 c | 249359 | 1933 8328 25422 | 104735 99555 69 | 0.000 % |
148.60/148.79 c | 251222 | 1933 8328 25422 | 100199 89919 69 | 0.000 % |
150.10/150.25 c | 253271 | 1933 8328 25422 | 100199 91968 69 | 0.000 % |
151.60/151.72 c | 255524 | 1933 8328 25422 | 100199 94221 69 | 0.000 % |
153.30/153.41 c | 258002 | 1933 8328 25422 | 100199 96699 69 | 0.000 % |
153.40/153.51 c | 258102 | 1933 8328 25422 | 100199 96799 69 | 0.000 % |
153.40/153.59 c | 258212 | 1933 8328 25422 | 100199 96909 69 | 0.000 % |
153.50/153.69 c | 258333 | 1933 8328 25422 | 100199 97030 69 | 0.000 % |
153.60/153.79 c | 258466 | 1933 8328 25422 | 100199 97163 69 | 0.000 % |
153.80/153.92 c | 258614 | 1933 8328 25422 | 100199 97311 69 | 0.000 % |
153.90/154.05 c | 258775 | 1933 8328 25422 | 100199 97472 69 | 0.000 % |
154.09/154.20 c | 258953 | 1933 8328 25422 | 100199 97650 69 | 0.000 % |
154.19/154.37 c | 259146 | 1933 8328 25422 | 100199 97843 69 | 0.000 % |
154.39/154.56 c | 259359 | 1933 8328 25422 | 100199 98056 69 | 0.000 % |
154.59/154.73 c | 259592 | 1933 8328 25422 | 100199 98289 69 | 0.000 % |
154.79/154.97 c | 259849 | 1933 8328 25422 | 100199 98546 69 | 0.000 % |
155.09/155.20 c | 260130 | 1933 8328 25422 | 98698 98827 69 | 0.000 % |
155.29/155.49 c | 260442 | 1933 8328 25422 | 98698 87443 69 | 0.000 % |
155.59/155.74 c | 260782 | 1933 8328 25422 | 98698 87783 69 | 0.000 % |
155.89/156.00 c | 261155 | 1933 8328 25422 | 98698 88156 69 | 0.000 % |
156.19/156.30 c | 261564 | 1933 8328 25422 | 98698 88565 69 | 0.000 % |
156.49/156.63 c | 262013 | 1933 8328 25422 | 98698 89014 69 | 0.000 % |
156.79/156.99 c | 262506 | 1933 8328 25422 | 98698 89507 69 | 0.000 % |
157.20/157.38 c | 263049 | 1933 8328 25422 | 98698 90050 69 | 0.000 % |
157.69/157.83 c | 263645 | 1933 8328 25422 | 98698 90646 69 | 0.000 % |
158.19/158.33 c | 264301 | 1933 8328 25422 | 98698 91302 69 | 0.000 % |
158.69/158.82 c | 265022 | 1933 8328 25422 | 98698 92023 69 | 0.000 % |
159.29/159.44 c | 265814 | 1933 8328 25422 | 98698 92815 69 | 0.000 % |
159.99/160.10 c | 266685 | 1933 8328 25422 | 98698 93686 69 | 0.000 % |
160.69/160.81 c | 267646 | 1933 8328 25422 | 98698 94647 69 | 0.000 % |
161.39/161.58 c | 268699 | 1933 8328 25422 | 98698 95700 69 | 0.000 % |
162.29/162.42 c | 269858 | 1933 8328 25422 | 98698 96859 69 | 0.000 % |
163.19/163.35 c | 271131 | 1933 8328 25422 | 97003 86792 68 | 0.000 % |
164.09/164.27 c | 272531 | 1933 8328 25422 | 97003 88192 68 | 0.000 % |
165.19/165.39 c | 274071 | 1933 8328 25422 | 97003 89732 68 | 0.000 % |
166.49/166.62 c | 275766 | 1933 8328 25422 | 97003 91427 68 | 0.000 % |
167.79/167.99 c | 277629 | 1933 8328 25422 | 97003 93290 69 | 0.000 % |
169.29/169.42 c | 279678 | 1933 8328 25422 | 97003 95339 69 | 0.000 % |
170.89/171.04 c | 281931 | 1933 8328 25422 | 95662 87318 69 | 0.000 % |
172.49/172.62 c | 284410 | 1933 8328 25422 | 95662 89797 69 | 0.000 % |
174.39/174.50 c | 287135 | 1933 8328 25422 | 95662 92522 69 | 0.000 % |
174.39/174.58 c | 287236 | 1933 8328 25422 | 95662 92623 69 | 0.000 % |
174.49/174.68 c | 287346 | 1933 8328 25422 | 95662 92733 69 | 0.000 % |
174.59/174.78 c | 287467 | 1933 8328 25422 | 95662 92854 69 | 0.000 % |
174.69/174.89 c | 287600 | 1933 8328 25422 | 95662 92987 69 | 0.000 % |
174.88/175.01 c | 287747 | 1933 8328 25422 | 95662 93134 69 | 0.000 % |
174.98/175.14 c | 287907 | 1933 8328 25422 | 95662 93294 69 | 0.000 % |
175.18/175.30 c | 288085 | 1933 8328 25422 | 95662 93472 69 | 0.000 % |
175.28/175.47 c | 288278 | 1933 8328 25422 | 95662 93665 69 | 0.000 % |
175.48/175.63 c | 288492 | 1933 8328 25422 | 95662 93879 69 | 0.000 % |
175.68/175.83 c | 288727 | 1933 8328 25422 | 95662 94114 69 | 0.000 % |
175.89/176.04 c | 288983 | 1933 8328 25422 | 95662 94370 69 | 0.000 % |
176.08/176.25 c | 289264 | 1933 8328 25422 | 95662 94651 69 | 0.000 % |
176.28/176.49 c | 289574 | 1933 8328 25422 | 95662 94961 69 | 0.000 % |
176.58/176.75 c | 289913 | 1933 8328 25422 | 95662 95300 69 | 0.000 % |
176.89/177.03 c | 290287 | 1933 8328 25422 | 95387 95674 69 | 0.000 % |
177.18/177.38 c | 290699 | 1933 8328 25422 | 95387 86237 69 | 0.000 % |
177.58/177.70 c | 291150 | 1933 8328 25422 | 95387 86688 69 | 0.000 % |
177.88/178.04 c | 291643 | 1933 8328 25422 | 95387 87181 69 | 0.000 % |
178.28/178.42 c | 292189 | 1933 8328 25422 | 95387 87727 69 | 0.000 % |
178.68/178.86 c | 292786 | 1933 8328 25422 | 95387 88324 69 | 0.000 % |
179.09/179.27 c | 293441 | 1933 8328 25422 | 95387 88979 69 | 0.000 % |
179.58/179.78 c | 294163 | 1933 8328 25422 | 95387 89701 69 | 0.000 % |
180.08/180.29 c | 294956 | 1933 8328 25422 | 95387 90494 69 | 0.000 % |
180.68/180.90 c | 295827 | 1933 8328 25422 | 95387 91365 69 | 0.000 % |
181.38/181.55 c | 296787 | 1933 8328 25422 | 95387 92325 69 | 0.000 % |
182.08/182.29 c | 297841 | 1933 8328 25422 | 95387 93379 69 | 0.000 % |
182.98/183.11 c | 299000 | 1933 8328 25422 | 95387 94538 69 | 0.000 % |
183.88/184.01 c | 300274 | 1933 8328 25422 | 2147483647 95812 69 | 0.000 % |
184.98/185.11 c | 301674 | 1933 8328 25422 | 2147483647 97212 69 | 0.000 % |
186.08/186.28 c | 303214 | 1933 8328 25422 | 2147483647 98752 69 | 0.000 % |
187.48/187.61 c | 304909 | 1933 8328 25422 | 2147483647 100447 69 | 0.000 % |
188.88/189.08 c | 306772 | 1933 8328 25422 | 2147483647 102310 69 | 0.000 % |
190.48/190.62 c | 308822 | 1933 8328 25422 | 2147483647 104360 69 | 0.000 % |
192.38/192.51 c | 311075 | 1933 8328 25422 | 105540 92208 69 | 0.000 % |
194.07/194.27 c | 313553 | 1933 8328 25422 | 105540 94686 69 | 0.000 % |
195.97/196.18 c | 316278 | 1933 8328 25422 | 105540 97411 69 | 0.000 % |
198.27/198.43 c | 319276 | 1933 8328 25422 | 105540 100409 70 | 0.000 % |
198.37/198.52 c | 319376 | 1933 8328 25422 | 105540 100509 70 | 0.000 % |
198.47/198.62 c | 319486 | 1933 8328 25422 | 105540 100619 70 | 0.000 % |
198.57/198.75 c | 319609 | 1933 8328 25422 | 105540 100742 70 | 0.000 % |
198.67/198.87 c | 319745 | 1933 8328 25422 | 105540 100878 70 | 0.000 % |
198.88/199.01 c | 319892 | 1933 8328 25422 | 105540 101025 70 | 0.000 % |
198.98/199.15 c | 320052 | 1933 8328 25422 | 101133 101185 70 | 0.000 % |
199.27/199.43 c | 320228 | 1933 8328 25422 | 101133 89106 69 | 0.000 % |
199.37/199.57 c | 320421 | 1933 8328 25422 | 101133 89299 69 | 0.000 % |
199.57/199.75 c | 320634 | 1933 8328 25422 | 101133 89512 69 | 0.000 % |
199.77/199.93 c | 320868 | 1933 8328 25422 | 101133 89746 69 | 0.000 % |
199.98/200.13 c | 321124 | 1933 8328 25422 | 101133 90002 69 | 0.000 % |
200.17/200.34 c | 321405 | 1933 8328 25422 | 101133 90283 69 | 0.000 % |
200.37/200.57 c | 321715 | 1933 8328 25422 | 101133 90593 69 | 0.000 % |
200.67/200.80 c | 322054 | 1933 8328 25422 | 101133 90932 69 | 0.000 % |
200.97/201.10 c | 322426 | 1933 8328 25422 | 101133 91304 69 | 0.000 % |
201.27/201.41 c | 322836 | 1933 8328 25422 | 101133 91714 69 | 0.000 % |
201.57/201.76 c | 323285 | 1933 8328 25422 | 101133 92163 69 | 0.000 % |
201.98/202.12 c | 323778 | 1933 8328 25422 | 101133 92656 69 | 0.000 % |
202.28/202.49 c | 324320 | 1933 8328 25422 | 101133 93198 69 | 0.000 % |
202.78/202.92 c | 324917 | 1933 8328 25422 | 101133 93795 69 | 0.000 % |
203.28/203.43 c | 325572 | 1933 8328 25422 | 101133 94450 69 | 0.000 % |
203.78/203.98 c | 326293 | 1933 8328 25422 | 101133 95171 69 | 0.000 % |
204.38/204.58 c | 327085 | 1933 8328 25422 | 101133 95963 69 | 0.000 % |
205.08/205.27 c | 327958 | 1933 8328 25422 | 101133 96836 69 | 0.000 % |
205.78/205.95 c | 328917 | 1933 8328 25422 | 101133 97795 69 | 0.000 % |
206.48/206.70 c | 329970 | 1933 8328 25422 | 101133 98848 69 | 0.000 % |
207.38/207.58 c | 331130 | 1933 8328 25422 | 98878 87712 69 | 0.000 % |
208.28/208.41 c | 332405 | 1933 8328 25422 | 98878 88987 69 | 0.000 % |
209.18/209.37 c | 333805 | 1933 8328 25422 | 98878 90387 69 | 0.000 % |
210.28/210.45 c | 335345 | 1933 8328 25422 | 98878 91927 69 | 0.000 % |
211.48/211.64 c | 337039 | 1933 8328 25422 | 98878 93621 69 | 0.000 % |
212.77/212.99 c | 338902 | 1933 8328 25422 | 98878 95484 69 | 0.000 % |
214.28/214.45 c | 340951 | 1933 8328 25422 | 96582 87308 69 | 0.000 % |
215.77/215.96 c | 343208 | 1933 8328 25422 | 96582 89565 69 | 0.000 % |
217.58/217.72 c | 345690 | 1933 8328 25422 | 96582 92047 69 | 0.000 % |
219.47/219.61 c | 348417 | 1933 8328 25422 | 96582 94774 69 | 0.000 % |
221.67/221.89 c | 351416 | 1933 8328 25422 | 2147483647 97773 70 | 0.000 % |
224.17/224.39 c | 354712 | 1933 8328 25422 | 2147483647 101069 70 | 0.000 % |
224.27/224.48 c | 354814 | 1933 8328 25422 | 2147483647 101171 70 | 0.000 % |
224.37/224.58 c | 354924 | 1933 8328 25422 | 2147483647 101281 70 | 0.000 % |
224.47/224.68 c | 355045 | 1933 8328 25422 | 2147483647 101402 70 | 0.000 % |
224.67/224.83 c | 355178 | 1933 8328 25422 | 2147483647 101535 70 | 0.000 % |
224.77/224.97 c | 355324 | 1933 8328 25422 | 2147483647 101681 70 | 0.000 % |
224.97/225.11 c | 355484 | 1933 8328 25422 | 2147483647 101841 70 | 0.000 % |
225.07/225.26 c | 355661 | 1933 8328 25422 | 2147483647 102018 70 | 0.000 % |
225.27/225.41 c | 355855 | 1933 8328 25422 | 2147483647 102212 70 | 0.000 % |
225.47/225.61 c | 356069 | 1933 8328 25422 | 2147483647 102426 70 | 0.000 % |
225.67/225.82 c | 356303 | 1933 8328 25422 | 2147483647 102660 69 | 0.000 % |
225.87/226.05 c | 356560 | 1933 8328 25422 | 2147483647 102917 69 | 0.000 % |
226.17/226.30 c | 356842 | 1933 8328 25422 | 2147483647 103199 70 | 0.000 % |
226.37/226.56 c | 357153 | 1933 8328 25422 | 2147483647 103510 69 | 0.000 % |
226.67/226.84 c | 357492 | 1933 8328 25422 | 2147483647 103849 69 | 0.000 % |
226.97/227.13 c | 357864 | 1933 8328 25422 | 2147483647 104221 69 | 0.000 % |
227.27/227.47 c | 358274 | 1933 8328 25422 | 2147483647 104631 69 | 0.000 % |
227.67/227.86 c | 358723 | 1933 8328 25422 | 2147483647 105080 69 | 0.000 % |
228.06/228.29 c | 359216 | 1933 8328 25422 | 2147483647 105573 69 | 0.000 % |
228.57/228.77 c | 359758 | 1933 8328 25422 | 2147483647 106115 69 | 0.000 % |
229.16/229.34 c | 360356 | 1933 8328 25422 | 106357 91427 69 | 0.000 % |
229.67/229.81 c | 361011 | 1933 8328 25422 | 106357 92082 69 | 0.000 % |
230.16/230.35 c | 361732 | 1933 8328 25422 | 106357 92803 69 | 0.000 % |
230.66/230.86 c | 362525 | 1933 8328 25422 | 106357 93596 69 | 0.000 % |
231.36/231.54 c | 363396 | 1933 8328 25422 | 106357 94467 69 | 0.000 % |
232.06/232.28 c | 364354 | 1933 8328 25422 | 106357 95425 69 | 0.000 % |
232.86/233.07 c | 365408 | 1933 8328 25422 | 106357 96479 69 | 0.000 % |
233.76/233.97 c | 366566 | 1933 8328 25422 | 106357 97637 69 | 0.000 % |
234.76/234.94 c | 367839 | 1933 8328 25422 | 106357 98910 69 | 0.000 % |
235.86/236.06 c | 369239 | 1933 8328 25422 | 106357 100310 69 | 0.000 % |
237.26/237.40 c | 370779 | 1933 8328 25422 | 101071 87689 68 | 0.000 % |
238.46/238.61 c | 372474 | 1933 8328 25422 | 101071 89384 68 | 0.000 % |
239.76/239.98 c | 374340 | 1933 8328 25422 | 101071 91250 68 | 0.000 % |
241.36/241.50 c | 376391 | 1933 8328 25422 | 101071 93301 69 | 0.000 % |
242.86/243.09 c | 378645 | 1933 8328 25422 | 101071 95555 69 | 0.000 % |
244.76/244.96 c | 381124 | 1933 8328 25422 | 96910 86655 69 | 0.000 % |
246.55/246.79 c | 383850 | 1933 8328 25422 | 96910 89381 69 | 0.000 % |
248.65/248.80 c | 386847 | 1933 8328 25422 | 96910 92378 69 | 0.000 % |
250.95/251.19 c | 390143 | 1933 8328 25422 | 2147483647 95674 69 | 0.000 % |
253.65/253.87 c | 393770 | 1933 8328 25422 | 2147483647 99301 69 | 0.000 % |
253.75/253.96 c | 393870 | 1933 8328 25422 | 2147483647 99401 69 | 0.000 % |
253.86/254.05 c | 393980 | 1933 8328 25422 | 2147483647 99511 69 | 0.000 % |
253.96/254.17 c | 394101 | 1933 8328 25422 | 2147483647 99632 69 | 0.000 % |
254.05/254.27 c | 394234 | 1933 8328 25422 | 2147483647 99765 69 | 0.000 % |
254.15/254.39 c | 394380 | 1933 8328 25422 | 2147483647 99911 69 | 0.000 % |
254.35/254.54 c | 394540 | 1933 8328 25422 | 2147483647 100071 69 | 0.000 % |
254.55/254.71 c | 394717 | 1933 8328 25422 | 2147483647 100248 69 | 0.000 % |
254.65/254.87 c | 394911 | 1933 8328 25422 | 2147483647 100442 69 | 0.000 % |
254.85/255.06 c | 395124 | 1933 8328 25422 | 2147483647 100655 69 | 0.000 % |
255.05/255.28 c | 395357 | 1933 8328 25422 | 2147483647 100888 69 | 0.000 % |
255.35/255.50 c | 395613 | 1933 8328 25422 | 2147483647 101144 69 | 0.000 % |
255.55/255.71 c | 395895 | 1933 8328 25422 | 2147483647 101426 69 | 0.000 % |
255.85/256.00 c | 396207 | 1933 8328 25422 | 2147483647 101738 69 | 0.000 % |
256.05/256.28 c | 396549 | 1933 8328 25422 | 2147483647 102080 69 | 0.000 % |
256.45/256.63 c | 396921 | 1933 8328 25422 | 2147483647 102452 69 | 0.000 % |
256.75/256.98 c | 397331 | 1933 8328 25422 | 2147483647 102862 69 | 0.000 % |
257.15/257.36 c | 397780 | 1933 8328 25422 | 2147483647 103311 69 | 0.000 % |
257.55/257.74 c | 398274 | 1933 8328 25422 | 2147483647 103805 69 | 0.000 % |
258.05/258.21 c | 398817 | 1933 8328 25422 | 2147483647 104348 69 | 0.000 % |
258.45/258.68 c | 399414 | 1933 8328 25422 | 2147483647 104945 69 | 0.000 % |
259.05/259.23 c | 400070 | 1933 8328 25422 | 105532 105601 69 | 0.000 % |
259.65/259.83 c | 400790 | 1933 8328 25422 | 105532 91792 69 | 0.000 % |
260.15/260.39 c | 401584 | 1933 8328 25422 | 105532 92586 69 | 0.000 % |
260.85/261.02 c | 402459 | 1933 8328 25422 | 105532 93461 69 | 0.000 % |
261.45/261.68 c | 403418 | 1933 8328 25422 | 105532 94420 69 | 0.000 % |
262.14/262.35 c | 404472 | 1933 8328 25422 | 105532 95474 69 | 0.000 % |
262.94/263.17 c | 405630 | 1933 8328 25422 | 105532 96632 69 | 0.000 % |
263.75/263.99 c | 406903 | 1933 8328 25422 | 105532 97905 69 | 0.000 % |
264.85/265.00 c | 408303 | 1933 8328 25422 | 105532 99305 69 | 0.000 % |
265.95/266.11 c | 409843 | 1933 8328 25422 | 105532 100845 69 | 0.000 % |
267.24/267.44 c | 411537 | 1933 8328 25422 | 101002 90725 69 | 0.000 % |
268.64/268.81 c | 413402 | 1933 8328 25422 | 101002 92590 69 | 0.000 % |
270.04/270.23 c | 415451 | 1933 8328 25422 | 101002 94639 69 | 0.000 % |
271.64/271.85 c | 417705 | 1933 8328 25422 | 101002 96893 70 | 0.000 % |
273.44/273.61 c | 420183 | 1933 8328 25422 | 99188 99371 70 | 0.000 % |
275.34/275.53 c | 422908 | 1933 8328 25422 | 99188 90382 69 | 0.000 % |
277.34/277.50 c | 425905 | 1933 8328 25422 | 99188 93379 70 | 0.000 % |
279.54/279.70 c | 429201 | 1933 8328 25422 | 99188 96675 70 | 0.000 % |
282.24/282.48 c | 432826 | 1933 8328 25422 | 97474 89838 70 | 0.000 % |
285.04/285.26 c | 436815 | 1933 8328 25422 | 97474 93827 70 | 0.000 % |
285.13/285.33 c | 436915 | 1933 8328 25422 | 97474 93927 70 | 0.000 % |
285.23/285.41 c | 437027 | 1933 8328 25422 | 97474 94039 70 | 0.000 % |
285.33/285.53 c | 437148 | 1933 8328 25422 | 97474 94160 70 | 0.000 % |
285.43/285.64 c | 437282 | 1933 8328 25422 | 97474 94294 70 | 0.000 % |
285.53/285.77 c | 437428 | 1933 8328 25422 | 97474 94440 70 | 0.000 % |
285.74/285.93 c | 437589 | 1933 8328 25422 | 97474 94601 70 | 0.000 % |
285.85/286.07 c | 437765 | 1933 8328 25422 | 97474 94777 70 | 0.000 % |
286.04/286.24 c | 437960 | 1933 8328 25422 | 97474 94972 70 | 0.000 % |
286.24/286.43 c | 438172 | 1933 8328 25422 | 97474 95184 70 | 0.000 % |
286.44/286.61 c | 438406 | 1933 8328 25422 | 97474 95418 70 | 0.000 % |
286.64/286.82 c | 438664 | 1933 8328 25422 | 97474 95676 70 | 0.000 % |
286.85/287.05 c | 438945 | 1933 8328 25422 | 97474 95957 70 | 0.000 % |
287.04/287.29 c | 439254 | 1933 8328 25422 | 97474 96266 70 | 0.000 % |
287.34/287.53 c | 439593 | 1933 8328 25422 | 97474 96605 70 | 0.000 % |
287.64/287.86 c | 439969 | 1933 8328 25422 | 97474 96981 70 | 0.000 % |
288.04/288.22 c | 440379 | 1933 8328 25422 | 97013 85913 69 | 0.000 % |
288.34/288.52 c | 440828 | 1933 8328 25422 | 97013 86362 69 | 0.000 % |
288.64/288.85 c | 441322 | 1933 8328 25422 | 97013 86856 69 | 0.000 % |
289.04/289.22 c | 441866 | 1933 8328 25422 | 97013 87400 69 | 0.000 % |
289.44/289.65 c | 442462 | 1933 8328 25422 | 97013 87996 69 | 0.000 % |
289.94/290.10 c | 443118 | 1933 8328 25422 | 97013 88652 69 | 0.000 % |
290.34/290.55 c | 443838 | 1933 8328 25422 | 97013 89372 69 | 0.000 % |
290.84/291.06 c | 444630 | 1933 8328 25422 | 97013 90164 69 | 0.000 % |
291.44/291.65 c | 445501 | 1933 8328 25422 | 97013 91035 69 | 0.000 % |
292.14/292.39 c | 446460 | 1933 8328 25422 | 97013 91994 69 | 0.000 % |
292.94/293.18 c | 447514 | 1933 8328 25422 | 97013 93048 69 | 0.000 % |
293.84/294.03 c | 448672 | 1933 8328 25422 | 97013 94206 69 | 0.000 % |
294.64/294.85 c | 449948 | 1933 8328 25422 | 97013 95482 69 | 0.000 % |
295.64/295.84 c | 451349 | 1933 8328 25422 | 95536 87257 70 | 0.000 % |
296.53/296.78 c | 452889 | 1933 8328 25422 | 95536 88797 70 | 0.000 % |
297.73/297.94 c | 454583 | 1933 8328 25422 | 95536 90491 70 | 0.000 % |
299.04/299.28 c | 456446 | 1933 8328 25422 | 95536 92354 70 | 0.000 % |
300.53/300.79 c | 458496 | 1933 8328 25422 | 95536 94404 70 | 0.000 % |
302.03/302.29 c | 460751 | 1933 8328 25422 | 2147483647 87077 71 | 0.000 % |
303.73/303.90 c | 463231 | 1933 8328 25422 | 2147483647 89557 71 | 0.000 % |
305.54/305.75 c | 465958 | 1933 8328 25422 | 2147483647 92284 71 | 0.000 % |
307.73/307.97 c | 468956 | 1933 8328 25422 | 2147483647 95282 71 | 0.000 % |
310.33/310.52 c | 472253 | 1933 8328 25422 | 2147483647 98579 71 | 0.000 % |
313.33/313.54 c | 475878 | 1933 8328 25422 | 2147483647 102204 71 | 0.000 % |
316.53/316.80 c | 479865 | 1933 8328 25422 | 2147483647 106191 71 | 0.000 % |
319.83/320.06 c | 484250 | 1933 8328 25422 | 106328 96335 71 | 0.000 % |
319.93/320.15 c | 484352 | 1933 8328 25422 | 106328 96437 71 | 0.000 % |
320.02/320.25 c | 484464 | 1933 8328 25422 | 106328 96549 71 | 0.000 % |
320.12/320.35 c | 484585 | 1933 8328 25422 | 106328 96670 71 | 0.000 % |
320.22/320.49 c | 484719 | 1933 8328 25422 | 106328 96804 71 | 0.000 % |
320.42/320.60 c | 484865 | 1933 8328 25422 | 106328 96950 70 | 0.000 % |
320.52/320.75 c | 485025 | 1933 8328 25422 | 106328 97110 70 | 0.000 % |
320.72/320.93 c | 485204 | 1933 8328 25422 | 106328 97289 70 | 0.000 % |
320.92/321.10 c | 485398 | 1933 8328 25422 | 106328 97483 70 | 0.000 % |
321.02/321.29 c | 485610 | 1933 8328 25422 | 106328 97695 70 | 0.000 % |
321.32/321.50 c | 485843 | 1933 8328 25422 | 106328 97928 70 | 0.000 % |
321.52/321.71 c | 486101 | 1933 8328 25422 | 106328 98186 70 | 0.000 % |
321.72/321.94 c | 486384 | 1933 8328 25422 | 106328 98469 70 | 0.000 % |
321.92/322.18 c | 486694 | 1933 8328 25422 | 106328 98779 70 | 0.000 % |
322.22/322.43 c | 487033 | 1933 8328 25422 | 106328 99118 70 | 0.000 % |
322.52/322.74 c | 487405 | 1933 8328 25422 | 106328 99490 70 | 0.000 % |
322.82/323.06 c | 487815 | 1933 8328 25422 | 106328 99900 70 | 0.000 % |
323.22/323.40 c | 488267 | 1933 8328 25422 | 106328 100352 70 | 0.000 % |
323.52/323.75 c | 488760 | 1933 8328 25422 | 106328 100845 70 | 0.000 % |
324.02/324.23 c | 489304 | 1933 8328 25422 | 106328 101389 70 | 0.000 % |
324.52/324.70 c | 489900 | 1933 8328 25422 | 106328 101985 70 | 0.000 % |
325.02/325.27 c | 490555 | 1933 8328 25422 | 102087 88898 71 | 0.000 % |
325.51/325.79 c | 491275 | 1933 8328 25422 | 102087 89618 71 | 0.000 % |
326.21/326.40 c | 492069 | 1933 8328 25422 | 102087 90412 71 | 0.000 % |
326.81/327.09 c | 492940 | 1933 8328 25422 | 102087 91283 71 | 0.000 % |
327.52/327.71 c | 493899 | 1933 8328 25422 | 102087 92242 71 | 0.000 % |
328.21/328.48 c | 494954 | 1933 8328 25422 | 102087 93297 71 | 0.000 % |
329.11/329.31 c | 496112 | 1933 8328 25422 | 102087 94455 71 | 0.000 % |
330.01/330.22 c | 497385 | 1933 8328 25422 | 102087 95728 71 | 0.000 % |
331.01/331.26 c | 498787 | 1933 8328 25422 | 102087 97130 71 | 0.000 % |
332.21/332.46 c | 500327 | 1933 8328 25422 | 98343 86681 70 | 0.000 % |
333.41/333.62 c | 502022 | 1933 8328 25422 | 98343 88376 70 | 0.000 % |
334.71/334.95 c | 503888 | 1933 8328 25422 | 98343 90242 70 | 0.000 % |
336.21/336.41 c | 505938 | 1933 8328 25422 | 98343 92292 70 | 0.000 % |
337.81/338.06 c | 508193 | 1933 8328 25422 | 98343 94547 70 | 0.000 % |
339.71/339.96 c | 510671 | 1933 8328 25422 | 96354 86934 70 | 0.000 % |
341.51/341.74 c | 513397 | 1933 8328 25422 | 96354 89660 70 | 0.000 % |
343.71/343.92 c | 516395 | 1933 8328 25422 | 96354 92658 70 | 0.000 % |
346.11/346.31 c | 519692 | 1933 8328 25422 | 96354 95955 70 | 0.000 % |
348.71/348.97 c | 523317 | 1933 8328 25422 | 2147483647 99580 70 | 0.000 % |
351.71/351.94 c | 527304 | 1933 8328 25422 | 2147483647 103567 70 | 0.000 % |
355.01/355.23 c | 531690 | 1933 8328 25422 | 106266 95202 70 | 0.000 % |
358.50/358.75 c | 536513 | 1933 8328 25422 | 106266 100025 71 | 0.000 % |
358.60/358.87 c | 536613 | 1933 8328 25422 | 106266 100125 71 | 0.000 % |
358.70/358.97 c | 536723 | 1933 8328 25422 | 106266 100235 71 | 0.000 % |
358.80/359.09 c | 536844 | 1933 8328 25422 | 106266 100356 71 | 0.000 % |
359.00/359.21 c | 536977 | 1933 8328 25422 | 106266 100489 71 | 0.000 % |
359.10/359.34 c | 537123 | 1933 8328 25422 | 106266 100635 71 | 0.000 % |
359.20/359.46 c | 537283 | 1933 8328 25422 | 106266 100795 71 | 0.000 % |
359.30/359.59 c | 537459 | 1933 8328 25422 | 106266 100971 71 | 0.000 % |
359.50/359.74 c | 537652 | 1933 8328 25422 | 106266 101164 71 | 0.000 % |
359.70/359.90 c | 537866 | 1933 8328 25422 | 106266 101378 71 | 0.000 % |
359.80/360.09 c | 538099 | 1933 8328 25422 | 106266 101611 71 | 0.000 % |
360.10/360.31 c | 538355 | 1933 8328 25422 | 106266 101867 71 | 0.000 % |
360.30/360.54 c | 538639 | 1933 8328 25422 | 106266 102151 71 | 0.000 % |
360.60/360.80 c | 538948 | 1933 8328 25422 | 106266 102460 71 | 0.000 % |
360.80/361.08 c | 539289 | 1933 8328 25422 | 106266 102801 71 | 0.000 % |
361.10/361.34 c | 539662 | 1933 8328 25422 | 106266 103174 71 | 0.000 % |
361.40/361.66 c | 540071 | 1933 8328 25422 | 103512 103583 71 | 0.000 % |
361.90/362.11 c | 540522 | 1933 8328 25422 | 103512 90384 71 | 0.000 % |
362.20/362.47 c | 541016 | 1933 8328 25422 | 103512 90878 71 | 0.000 % |
362.70/362.90 c | 541559 | 1933 8328 25422 | 103512 91421 71 | 0.000 % |
363.10/363.33 c | 542156 | 1933 8328 25422 | 103512 92018 71 | 0.000 % |
363.60/363.83 c | 542812 | 1933 8328 25422 | 103512 92674 71 | 0.000 % |
364.00/364.29 c | 543532 | 1933 8328 25422 | 103512 93394 71 | 0.000 % |
364.70/364.91 c | 544324 | 1933 8328 25422 | 103512 94186 71 | 0.000 % |
365.30/365.54 c | 545195 | 1933 8328 25422 | 103512 95057 71 | 0.000 % |
366.00/366.24 c | 546153 | 1933 8328 25422 | 103512 96015 71 | 0.000 % |
366.70/366.99 c | 547206 | 1933 8328 25422 | 103512 97068 71 | 0.000 % |
367.60/367.83 c | 548364 | 1933 8328 25422 | 103512 98226 71 | 0.000 % |
368.49/368.76 c | 549641 | 1933 8328 25422 | 103512 99503 71 | 0.000 % |
369.59/369.84 c | 551041 | 1933 8328 25422 | 99865 88380 70 | 0.000 % |
370.60/370.88 c | 552581 | 1933 8328 25422 | 99865 89920 70 | 0.000 % |
371.79/372.09 c | 554275 | 1933 8328 25422 | 99865 91614 70 | 0.000 % |
373.09/373.36 c | 556138 | 1933 8328 25422 | 99865 93477 70 | 0.000 % |
374.59/374.82 c | 558188 | 1933 8328 25422 | 99865 95527 70 | 0.000 % |
376.29/376.50 c | 560441 | 1933 8328 25422 | 97339 87571 70 | 0.000 % |
377.89/378.16 c | 562919 | 1933 8328 25422 | 97339 90049 70 | 0.000 % |
379.79/380.06 c | 565645 | 1933 8328 25422 | 97339 92775 70 | 0.000 % |
381.99/382.23 c | 568642 | 1933 8328 25422 | 97339 95772 70 | 0.000 % |
384.39/384.67 c | 571938 | 1933 8328 25422 | 97130 88990 71 | 0.000 % |
387.00/387.26 c | 575563 | 1933 8328 25422 | 97130 92615 71 | 0.000 % |
389.80/390.01 c | 579551 | 1933 8328 25422 | 97130 96603 71 | 0.000 % |
392.90/393.19 c | 583938 | 1933 8328 25422 | 97052 90599 71 | 0.000 % |
396.50/396.72 c | 588764 | 1933 8328 25422 | 97052 95425 72 | 0.000 % |
400.39/400.60 c | 594069 | 1933 8328 25422 | 96661 90270 72 | 0.000 % |
400.49/400.71 c | 594169 | 1933 8328 25422 | 96661 90370 72 | 0.000 % |
400.49/400.80 c | 594280 | 1933 8328 25422 | 96661 90481 72 | 0.000 % |
400.69/400.90 c | 594401 | 1933 8328 25422 | 96661 90602 72 | 0.000 % |
400.79/401.01 c | 594535 | 1933 8328 25422 | 96661 90736 72 | 0.000 % |
400.89/401.15 c | 594686 | 1933 8328 25422 | 96661 90887 72 | 0.000 % |
400.99/401.29 c | 594847 | 1933 8328 25422 | 96661 91048 72 | 0.000 % |
401.19/401.43 c | 595025 | 1933 8328 25422 | 96661 91226 72 | 0.000 % |
401.29/401.59 c | 595219 | 1933 8328 25422 | 96661 91420 72 | 0.000 % |
401.49/401.75 c | 595432 | 1933 8328 25422 | 96661 91633 72 | 0.000 % |
401.69/401.93 c | 595665 | 1933 8328 25422 | 96661 91866 72 | 0.000 % |
401.89/402.11 c | 595921 | 1933 8328 25422 | 96661 92122 72 | 0.000 % |
402.09/402.33 c | 596203 | 1933 8328 25422 | 96661 92404 72 | 0.000 % |
402.29/402.56 c | 596512 | 1933 8328 25422 | 96661 92713 72 | 0.000 % |
402.59/402.86 c | 596852 | 1933 8328 25422 | 96661 93053 72 | 0.000 % |
402.89/403.14 c | 597224 | 1933 8328 25422 | 96661 93425 72 | 0.000 % |
403.19/403.45 c | 597633 | 1933 8328 25422 | 96661 93834 72 | 0.000 % |
403.49/403.79 c | 598085 | 1933 8328 25422 | 96661 94286 72 | 0.000 % |
403.89/404.18 c | 598578 | 1933 8328 25422 | 96661 94779 72 | 0.000 % |
404.29/404.56 c | 599120 | 1933 8328 25422 | 96661 95321 72 | 0.000 % |
404.79/405.03 c | 599717 | 1933 8328 25422 | 96661 95918 72 | 0.000 % |
405.29/405.57 c | 600373 | 1933 8328 25422 | 96203 85538 72 | 0.000 % |
405.79/406.00 c | 601094 | 1933 8328 25422 | 96203 86259 72 | 0.000 % |
406.29/406.57 c | 601888 | 1933 8328 25422 | 96203 87053 72 | 0.000 % |
406.89/407.16 c | 602760 | 1933 8328 25422 | 96203 87925 72 | 0.000 % |
407.59/407.86 c | 603718 | 1933 8328 25422 | 96203 88883 72 | 0.000 % |
408.39/408.63 c | 604771 | 1933 8328 25422 | 96203 89936 72 | 0.000 % |
409.19/409.43 c | 605929 | 1933 8328 25422 | 96203 91094 72 | 0.000 % |
409.99/410.28 c | 607206 | 1933 8328 25422 | 96203 92371 71 | 0.000 % |
410.99/411.24 c | 608608 | 1933 8328 25422 | 96203 93773 71 | 0.000 % |
411.99/412.24 c | 610150 | 1933 8328 25422 | 2147483647 95315 71 | 0.000 % |
413.29/413.53 c | 611845 | 1933 8328 25422 | 2147483647 97010 71 | 0.000 % |
414.78/415.02 c | 613708 | 1933 8328 25422 | 2147483647 98873 71 | 0.000 % |
416.18/416.50 c | 615758 | 1933 8328 25422 | 2147483647 100923 71 | 0.000 % |
417.98/418.29 c | 618013 | 1933 8328 25422 | 2147483647 103178 71 | 0.000 % |
420.08/420.33 c | 620492 | 1933 8328 25422 | 105165 91724 71 | 0.000 % |
421.98/422.29 c | 623218 | 1933 8328 25422 | 105165 94450 71 | 0.000 % |
424.18/424.45 c | 626215 | 1933 8328 25422 | 105165 97447 71 | 0.000 % |
426.68/426.92 c | 629511 | 1933 8328 25422 | 105165 100743 71 | 0.000 % |
429.38/429.63 c | 633137 | 1933 8328 25422 | 101233 91730 71 | 0.000 % |
432.08/432.36 c | 637126 | 1933 8328 25422 | 101233 95719 71 | 0.000 % |
435.38/435.66 c | 641511 | 1933 8328 25422 | 98593 89065 71 | 0.000 % |
438.78/439.05 c | 646334 | 1933 8328 25422 | 98593 93888 71 | 0.000 % |
442.47/442.76 c | 651642 | 1933 8328 25422 | 97554 88566 71 | 0.000 % |
446.57/446.82 c | 657477 | 1933 8328 25422 | 97554 94401 71 | 0.000 % |
446.57/446.90 c | 657578 | 1933 8328 25422 | 97554 94502 71 | 0.000 % |
446.67/446.99 c | 657688 | 1933 8328 25422 | 97554 94612 71 | 0.000 % |
446.87/447.10 c | 657811 | 1933 8328 25422 | 97554 94735 71 | 0.000 % |
446.87/447.20 c | 657944 | 1933 8328 25422 | 97554 94868 71 | 0.000 % |
447.07/447.32 c | 658091 | 1933 8328 25422 | 97554 95015 71 | 0.000 % |
447.17/447.47 c | 658251 | 1933 8328 25422 | 97554 95175 71 | 0.000 % |
447.37/447.62 c | 658427 | 1933 8328 25422 | 97554 95351 71 | 0.000 % |
447.47/447.77 c | 658622 | 1933 8328 25422 | 97554 95546 71 | 0.000 % |
447.67/447.96 c | 658835 | 1933 8328 25422 | 97554 95759 71 | 0.000 % |
447.87/448.16 c | 659068 | 1933 8328 25422 | 97554 95992 71 | 0.000 % |
448.17/448.41 c | 659324 | 1933 8328 25422 | 97554 96248 71 | 0.000 % |
448.37/448.63 c | 659605 | 1933 8328 25422 | 97554 96529 71 | 0.000 % |
448.57/448.88 c | 659914 | 1933 8328 25422 | 97554 96838 71 | 0.000 % |
448.87/449.16 c | 660256 | 1933 8328 25422 | 96926 97180 71 | 0.000 % |
449.27/449.50 c | 660628 | 1933 8328 25422 | 96926 86680 71 | 0.000 % |
449.47/449.80 c | 661039 | 1933 8328 25422 | 96926 87091 71 | 0.000 % |
449.87/450.12 c | 661488 | 1933 8328 25422 | 96926 87540 71 | 0.000 % |
450.17/450.46 c | 661984 | 1933 8328 25422 | 96926 88036 71 | 0.000 % |
450.57/450.81 c | 662526 | 1933 8328 25422 | 96926 88578 71 | 0.000 % |
450.97/451.27 c | 663125 | 1933 8328 25422 | 96926 89177 71 | 0.000 % |
451.47/451.73 c | 663780 | 1933 8328 25422 | 96926 89832 71 | 0.000 % |
451.97/452.25 c | 664501 | 1933 8328 25422 | 96926 90553 70 | 0.000 % |
452.57/452.85 c | 665294 | 1933 8328 25422 | 96926 91346 70 | 0.000 % |
453.17/453.48 c | 666165 | 1933 8328 25422 | 96926 92217 70 | 0.000 % |
453.87/454.14 c | 667123 | 1933 8328 25422 | 96926 93175 70 | 0.000 % |
454.56/454.84 c | 668177 | 1933 8328 25422 | 96926 94229 70 | 0.000 % |
455.36/455.67 c | 669337 | 1933 8328 25422 | 96926 95389 70 | 0.000 % |
456.36/456.66 c | 670610 | 1933 8328 25422 | 96052 85977 70 | 0.000 % |
457.27/457.55 c | 672010 | 1933 8328 25422 | 96052 87377 70 | 0.000 % |
458.26/458.58 c | 673551 | 1933 8328 25422 | 96052 88918 70 | 0.000 % |
459.47/459.77 c | 675245 | 1933 8328 25422 | 96052 90612 70 | 0.000 % |
460.76/461.08 c | 677109 | 1933 8328 25422 | 96052 92476 70 | 0.000 % |
462.36/462.61 c | 679158 | 1933 8328 25422 | 96052 94525 70 | 0.000 % |
463.76/464.09 c | 681412 | 1933 8328 25422 | 95370 86938 70 | 0.000 % |
465.46/465.79 c | 683890 | 1933 8328 25422 | 95370 89416 70 | 0.000 % |
467.36/467.64 c | 686615 | 1933 8328 25422 | 95370 92141 70 | 0.000 % |
469.46/469.75 c | 689612 | 1933 8328 25422 | 95370 95138 70 | 0.000 % |
471.76/472.09 c | 692910 | 1933 8328 25422 | 2147483647 98436 70 | 0.000 % |
474.46/474.74 c | 696536 | 1933 8328 25422 | 2147483647 102062 71 | 0.000 % |
477.56/477.88 c | 700526 | 1933 8328 25422 | 105528 91716 71 | 0.000 % |
480.66/480.94 c | 704911 | 1933 8328 25422 | 105528 96101 71 | 0.000 % |
484.16/484.47 c | 709735 | 1933 8328 25422 | 105528 100925 71 | 0.000 % |
487.85/488.11 c | 715043 | 1933 8328 25422 | 101190 92827 71 | 0.000 % |
492.25/492.51 c | 720880 | 1933 8328 25422 | 97784 87295 72 | 0.000 % |
496.55/496.82 c | 727300 | 1933 8328 25422 | 97784 93715 72 | 0.000 % |
496.55/496.90 c | 727400 | 1933 8328 25422 | 97784 93815 72 | 0.000 % |
496.65/496.99 c | 727511 | 1933 8328 25422 | 97784 93926 72 | 0.000 % |
496.85/497.11 c | 727633 | 1933 8328 25422 | 97784 94048 72 | 0.000 % |
496.85/497.20 c | 727767 | 1933 8328 25422 | 97784 94182 72 | 0.000 % |
497.05/497.31 c | 727915 | 1933 8328 25422 | 97784 94330 72 | 0.000 % |
497.15/497.43 c | 728075 | 1933 8328 25422 | 97784 94490 72 | 0.000 % |
497.25/497.59 c | 728252 | 1933 8328 25422 | 97784 94667 72 | 0.000 % |
497.45/497.76 c | 728446 | 1933 8328 25422 | 97784 94861 72 | 0.000 % |
497.55/497.89 c | 728658 | 1933 8328 25422 | 97784 95073 72 | 0.000 % |
497.75/498.06 c | 728891 | 1933 8328 25422 | 97784 95306 72 | 0.000 % |
497.95/498.28 c | 729147 | 1933 8328 25422 | 97784 95562 72 | 0.000 % |
498.25/498.51 c | 729428 | 1933 8328 25422 | 97784 95843 72 | 0.000 % |
498.45/498.77 c | 729737 | 1933 8328 25422 | 97784 96152 72 | 0.000 % |
498.75/499.03 c | 730079 | 1933 8328 25422 | 96415 96494 72 | 0.000 % |
499.05/499.38 c | 730453 | 1933 8328 25422 | 96415 86162 72 | 0.000 % |
499.35/499.70 c | 730863 | 1933 8328 25422 | 96415 86572 72 | 0.000 % |
499.75/500.01 c | 731312 | 1933 8328 25422 | 96415 87021 71 | 0.000 % |
500.05/500.36 c | 731807 | 1933 8328 25422 | 96415 87516 71 | 0.000 % |
500.45/500.75 c | 732350 | 1933 8328 25422 | 96415 88059 71 | 0.000 % |
500.85/501.18 c | 732946 | 1933 8328 25422 | 96415 88655 71 | 0.000 % |
501.35/501.62 c | 733602 | 1933 8328 25422 | 96415 89311 71 | 0.000 % |
501.84/502.11 c | 734322 | 1933 8328 25422 | 96415 90031 71 | 0.000 % |
502.35/502.67 c | 735114 | 1933 8328 25422 | 96415 90823 71 | 0.000 % |
503.04/503.30 c | 735987 | 1933 8328 25422 | 96415 91696 71 | 0.000 % |
503.64/503.99 c | 736948 | 1933 8328 25422 | 96415 92657 71 | 0.000 % |
504.44/504.71 c | 738001 | 1933 8328 25422 | 96415 93710 71 | 0.000 % |
505.24/505.57 c | 739160 | 1933 8328 25422 | 96415 94869 71 | 0.000 % |
506.14/506.50 c | 740433 | 1933 8328 25422 | 95712 85859 70 | 0.000 % |
507.14/507.41 c | 741835 | 1933 8328 25422 | 95712 87261 71 | 0.000 % |
508.14/508.46 c | 743377 | 1933 8328 25422 | 95712 88803 71 | 0.000 % |
509.34/509.65 c | 745074 | 1933 8328 25422 | 95712 90500 71 | 0.000 % |
510.54/510.84 c | 746937 | 1933 8328 25422 | 95712 92363 71 | 0.000 % |
511.94/512.26 c | 748989 | 1933 8328 25422 | 95712 94415 71 | 0.000 % |
513.54/513.89 c | 751244 | 1933 8328 25422 | 2147483647 96670 71 | 0.000 % |
515.54/515.81 c | 753723 | 1933 8328 25422 | 2147483647 99149 71 | 0.000 % |
517.54/517.80 c | 756450 | 1933 8328 25422 | 2147483647 101876 71 | 0.000 % |
519.84/520.14 c | 759449 | 1933 8328 25422 | 2147483647 104875 71 | 0.000 % |
522.34/522.62 c | 762745 | 1933 8328 25422 | 105426 94711 72 | 0.000 % |
525.14/525.44 c | 766370 | 1933 8328 25422 | 105426 98336 72 | 0.000 % |
528.03/528.37 c | 770357 | 1933 8328 25422 | 101966 89216 71 | 0.000 % |
530.83/531.20 c | 774745 | 1933 8328 25422 | 101966 93604 72 | 0.000 % |
534.34/534.65 c | 779569 | 1933 8328 25422 | 101966 98428 72 | 0.000 % |
538.03/538.31 c | 784874 | 1933 8328 25422 | 98859 92577 72 | 0.000 % |
542.23/542.53 c | 790712 | 1933 8328 25422 | 97704 86878 72 | 0.000 % |
546.53/546.85 c | 797130 | 1933 8328 25422 | 97704 93296 73 | 0.000 % |
551.93/552.20 c | 804190 | 1933 8328 25422 | 96166 89727 73 | 0.000 % |
551.93/552.29 c | 804290 | 1933 8328 25422 | 96166 89827 73 | 0.000 % |
552.03/552.39 c | 804400 | 1933 8328 25422 | 96166 89937 73 | 0.000 % |
552.13/552.50 c | 804523 | 1933 8328 25422 | 96166 90060 73 | 0.000 % |
552.33/552.63 c | 804656 | 1933 8328 25422 | 96166 90193 73 | 0.000 % |
552.43/552.75 c | 804805 | 1933 8328 25422 | 96166 90342 73 | 0.000 % |
552.53/552.88 c | 804965 | 1933 8328 25422 | 96166 90502 73 | 0.000 % |
552.73/553.01 c | 805143 | 1933 8328 25422 | 96166 90680 73 | 0.000 % |
552.83/553.16 c | 805336 | 1933 8328 25422 | 96166 90873 73 | 0.000 % |
553.03/553.33 c | 805549 | 1933 8328 25422 | 96166 91086 73 | 0.000 % |
553.23/553.53 c | 805783 | 1933 8328 25422 | 96166 91320 73 | 0.000 % |
553.43/553.73 c | 806040 | 1933 8328 25422 | 96166 91577 73 | 0.000 % |
553.63/553.98 c | 806322 | 1933 8328 25422 | 96166 91859 73 | 0.000 % |
553.93/554.21 c | 806633 | 1933 8328 25422 | 96166 92170 73 | 0.000 % |
554.13/554.44 c | 806973 | 1933 8328 25422 | 96166 92510 73 | 0.000 % |
554.42/554.71 c | 807345 | 1933 8328 25422 | 96166 92882 73 | 0.000 % |
554.62/554.98 c | 807754 | 1933 8328 25422 | 96166 93291 73 | 0.000 % |
555.02/555.34 c | 808204 | 1933 8328 25422 | 96166 93741 73 | 0.000 % |
555.32/555.69 c | 808698 | 1933 8328 25422 | 96166 94235 73 | 0.000 % |
555.72/556.09 c | 809240 | 1933 8328 25422 | 96166 94777 73 | 0.000 % |
556.12/556.44 c | 809836 | 1933 8328 25422 | 96166 95373 73 | 0.000 % |
556.62/556.99 c | 810494 | 1933 8328 25422 | 95537 85319 72 | 0.000 % |
557.12/557.48 c | 811214 | 1933 8328 25422 | 95537 86039 72 | 0.000 % |
557.72/558.01 c | 812006 | 1933 8328 25422 | 95537 86831 72 | 0.000 % |
558.32/558.61 c | 812877 | 1933 8328 25422 | 95537 87702 72 | 0.000 % |
558.92/559.22 c | 813836 | 1933 8328 25422 | 95537 88661 72 | 0.000 % |
559.62/559.92 c | 814893 | 1933 8328 25422 | 95537 89718 72 | 0.000 % |
560.42/560.71 c | 816051 | 1933 8328 25422 | 95537 90876 72 | 0.000 % |
561.32/561.68 c | 817324 | 1933 8328 25422 | 95537 92149 72 | 0.000 % |
562.42/562.72 c | 818727 | 1933 8328 25422 | 95537 93552 72 | 0.000 % |
563.52/563.89 c | 820268 | 1933 8328 25422 | 94825 95093 72 | 0.000 % |
564.82/565.15 c | 821963 | 1933 8328 25422 | 94825 86740 73 | 0.000 % |
566.12/566.41 c | 823826 | 1933 8328 25422 | 94825 88603 73 | 0.000 % |
567.42/567.74 c | 825875 | 1933 8328 25422 | 94825 90652 73 | 0.000 % |
568.92/569.21 c | 828128 | 1933 8328 25422 | 94825 92905 73 | 0.000 % |
570.82/571.19 c | 830607 | 1933 8328 25422 | 2147483647 95384 73 | 0.000 % |
572.92/573.24 c | 833332 | 1933 8328 25422 | 2147483647 98109 73 | 0.000 % |
575.12/575.41 c | 836330 | 1933 8328 25422 | 2147483647 101107 73 | 0.000 % |
577.91/578.27 c | 839626 | 1933 8328 25422 | 2147483647 104403 73 | 0.000 % |
580.72/581.08 c | 843253 | 1933 8328 25422 | 104779 94403 73 | 0.000 % |
583.83/584.11 c | 847240 | 1933 8328 25422 | 104779 98390 73 | 0.000 % |
587.02/587.39 c | 851625 | 1933 8328 25422 | 101152 89086 73 | 0.000 % |
590.22/590.58 c | 856448 | 1933 8328 25422 | 101152 93909 74 | 0.000 % |
594.12/594.43 c | 861754 | 1933 8328 25422 | 97461 87652 74 | 0.000 % |
597.92/598.29 c | 867590 | 1933 8328 25422 | 97461 93488 74 | 0.000 % |
602.22/602.59 c | 874008 | 1933 8328 25422 | 95898 89252 73 | 0.000 % |
607.31/607.67 c | 881069 | 1933 8328 25422 | 95245 84333 72 | 0.000 % |
612.42/612.75 c | 888833 | 1933 8328 25422 | 95245 92097 72 | 0.000 % |
612.51/612.82 c | 888934 | 1933 8328 25422 | 95245 92198 72 | 0.000 % |
612.61/612.91 c | 889045 | 1933 8328 25422 | 95245 92309 72 | 0.000 % |
612.71/613.02 c | 889166 | 1933 8328 25422 | 95245 92430 72 | 0.000 % |
612.81/613.13 c | 889299 | 1933 8328 25422 | 95245 92563 72 | 0.000 % |
612.91/613.24 c | 889445 | 1933 8328 25422 | 95245 92709 72 | 0.000 % |
613.01/613.38 c | 889606 | 1933 8328 25422 | 95245 92870 72 | 0.000 % |
613.21/613.52 c | 889782 | 1933 8328 25422 | 95245 93046 72 | 0.000 % |
613.31/613.69 c | 889975 | 1933 8328 25422 | 95245 93239 72 | 0.000 % |
613.52/613.88 c | 890187 | 1933 8328 25422 | 93265 93451 72 | 0.000 % |
613.81/614.13 c | 890420 | 1933 8328 25422 | 93265 82198 72 | 0.000 % |
614.01/614.31 c | 890677 | 1933 8328 25422 | 93265 82455 72 | 0.000 % |
614.21/614.50 c | 890958 | 1933 8328 25422 | 93265 82736 72 | 0.000 % |
614.41/614.74 c | 891267 | 1933 8328 25422 | 93265 83045 72 | 0.000 % |
614.62/614.96 c | 891606 | 1933 8328 25422 | 93265 83384 72 | 0.000 % |
614.81/615.19 c | 891978 | 1933 8328 25422 | 93265 83756 72 | 0.000 % |
615.11/615.47 c | 892388 | 1933 8328 25422 | 93265 84166 72 | 0.000 % |
615.41/615.77 c | 892837 | 1933 8328 25422 | 93265 84615 72 | 0.000 % |
615.71/616.09 c | 893330 | 1933 8328 25422 | 93265 85108 72 | 0.000 % |
616.11/616.49 c | 893872 | 1933 8328 25422 | 93265 85650 72 | 0.000 % |
616.61/616.90 c | 894470 | 1933 8328 25422 | 93265 86248 72 | 0.000 % |
617.01/617.32 c | 895125 | 1933 8328 25422 | 93265 86903 72 | 0.000 % |
617.41/617.77 c | 895845 | 1933 8328 25422 | 93265 87623 72 | 0.000 % |
618.01/618.34 c | 896637 | 1933 8328 25422 | 93265 88415 72 | 0.000 % |
618.51/618.88 c | 897511 | 1933 8328 25422 | 93265 89289 72 | 0.000 % |
619.31/619.62 c | 898472 | 1933 8328 25422 | 93265 90250 72 | 0.000 % |
620.11/620.42 c | 899525 | 1933 8328 25422 | 93265 91303 72 | 0.000 % |
621.01/621.30 c | 900683 | 1933 8328 25422 | 2147483647 92461 72 | 0.000 % |
621.91/622.23 c | 901956 | 1933 8328 25422 | 2147483647 93734 72 | 0.000 % |
622.91/623.28 c | 903357 | 1933 8328 25422 | 2147483647 95135 72 | 0.000 % |
624.11/624.43 c | 904898 | 1933 8328 25422 | 2147483647 96676 72 | 0.000 % |
625.31/625.65 c | 906593 | 1933 8328 25422 | 2147483647 98371 72 | 0.000 % |
626.81/627.12 c | 908460 | 1933 8328 25422 | 2147483647 100238 72 | 0.000 % |
628.51/628.81 c | 910510 | 1933 8328 25422 | 101779 89363 72 | 0.000 % |
630.01/630.35 c | 912763 | 1933 8328 25422 | 101779 91616 72 | 0.000 % |
631.70/632.00 c | 915242 | 1933 8328 25422 | 101779 94095 72 | 0.000 % |
633.50/633.88 c | 917967 | 1933 8328 25422 | 101779 96820 72 | 0.000 % |
635.80/636.12 c | 920965 | 1933 8328 25422 | 98857 88837 72 | 0.000 % |
637.90/638.28 c | 924262 | 1933 8328 25422 | 98857 92134 72 | 0.000 % |
640.50/640.80 c | 927887 | 1933 8328 25422 | 98857 95759 72 | 0.000 % |
643.60/643.92 c | 931876 | 1933 8328 25422 | 97874 88923 72 | 0.000 % |
646.80/647.11 c | 936262 | 1933 8328 25422 | 97874 93309 72 | 0.000 % |
650.20/650.59 c | 941085 | 1933 8328 25422 | 97047 87439 72 | 0.000 % |
653.90/654.29 c | 946392 | 1933 8328 25422 | 97047 92746 72 | 0.000 % |
658.09/658.46 c | 952227 | 1933 8328 25422 | 96357 87154 72 | 0.000 % |
662.69/663.01 c | 958645 | 1933 8328 25422 | 96357 93572 73 | 0.000 % |
667.49/667.84 c | 965705 | 1933 8328 25422 | 94929 89761 72 | 0.000 % |
672.99/673.37 c | 973470 | 1933 8328 25422 | 94057 87284 73 | 0.000 % |
679.39/679.79 c | 982010 | 1933 8328 25422 | 93815 84280 73 | 0.000 % |
679.49/679.87 c | 982110 | 1933 8328 25422 | 93815 84380 73 | 0.000 % |
679.59/679.96 c | 982221 | 1933 8328 25422 | 93815 84491 73 | 0.000 % |
679.69/680.05 c | 982343 | 1933 8328 25422 | 93815 84613 73 | 0.000 % |
679.79/680.17 c | 982476 | 1933 8328 25422 | 93815 84746 73 | 0.000 % |
679.89/680.27 c | 982622 | 1933 8328 25422 | 93815 84892 73 | 0.000 % |
680.09/680.40 c | 982783 | 1933 8328 25422 | 93815 85053 73 | 0.000 % |
680.19/680.53 c | 982962 | 1933 8328 25422 | 93815 85232 73 | 0.000 % |
680.29/680.68 c | 983156 | 1933 8328 25422 | 93815 85426 73 | 0.000 % |
680.49/680.88 c | 983370 | 1933 8328 25422 | 93815 85640 73 | 0.000 % |
680.69/681.04 c | 983603 | 1933 8328 25422 | 93815 85873 73 | 0.000 % |
680.89/681.21 c | 983859 | 1933 8328 25422 | 93815 86129 73 | 0.000 % |
681.09/681.42 c | 984141 | 1933 8328 25422 | 93815 86411 73 | 0.000 % |
681.29/681.65 c | 984451 | 1933 8328 25422 | 93815 86721 73 | 0.000 % |
681.49/681.89 c | 984792 | 1933 8328 25422 | 93815 87062 73 | 0.000 % |
681.79/682.16 c | 985165 | 1933 8328 25422 | 93815 87435 73 | 0.000 % |
682.09/682.46 c | 985574 | 1933 8328 25422 | 93815 87844 73 | 0.000 % |
682.49/682.83 c | 986023 | 1933 8328 25422 | 93815 88293 73 | 0.000 % |
682.89/683.22 c | 986517 | 1933 8328 25422 | 93815 88787 73 | 0.000 % |
683.29/683.61 c | 987059 | 1933 8328 25422 | 93815 89329 73 | 0.000 % |
683.69/684.05 c | 987657 | 1933 8328 25422 | 93815 89927 73 | 0.000 % |
684.19/684.50 c | 988314 | 1933 8328 25422 | 93815 90584 73 | 0.000 % |
684.69/685.00 c | 989034 | 1933 8328 25422 | 93815 91304 73 | 0.000 % |
685.19/685.58 c | 989826 | 1933 8328 25422 | 93815 92096 73 | 0.000 % |
685.89/686.24 c | 990698 | 1933 8328 25422 | 92270 82041 73 | 0.000 % |
686.48/686.82 c | 991657 | 1933 8328 25422 | 92270 83000 73 | 0.000 % |
687.09/687.47 c | 992711 | 1933 8328 25422 | 92270 84054 73 | 0.000 % |
687.78/688.18 c | 993870 | 1933 8328 25422 | 92270 85213 73 | 0.000 % |
688.68/689.00 c | 995144 | 1933 8328 25422 | 92270 86487 73 | 0.000 % |
689.48/689.82 c | 996544 | 1933 8328 25422 | 92270 87887 73 | 0.000 % |
690.49/690.85 c | 998084 | 1933 8328 25422 | 92270 89427 73 | 0.000 % |
691.59/691.96 c | 999781 | 1933 8328 25422 | 92270 91124 73 | 0.000 % |
692.78/693.17 c | 1001644 | 1933 8328 25422 | 2147483647 92987 73 | 0.000 % |
694.18/694.53 c | 1003694 | 1933 8328 25422 | 2147483647 95037 73 | 0.000 % |
695.78/696.18 c | 1005947 | 1933 8328 25422 | 2147483647 97290 73 | 0.000 % |
697.78/698.11 c | 1008425 | 1933 8328 25422 | 2147483647 99768 73 | 0.000 % |
699.68/700.10 c | 1011150 | 1933 8328 25422 | 2147483647 102493 73 | 0.000 % |
701.98/702.38 c | 1014149 | 1933 8328 25422 | 2147483647 105492 73 | 0.000 % |
704.78/705.16 c | 1017445 | 1933 8328 25422 | 2147483647 108788 73 | 0.000 % |
708.08/708.48 c | 1021070 | 1933 8328 25422 | 111343 96729 72 | 0.000 % |
711.18/711.58 c | 1025058 | 1933 8328 25422 | 111343 100717 72 | 0.000 % |
714.68/715.09 c | 1029449 | 1933 8328 25422 | 111343 105108 72 | 0.000 % |
718.28/718.68 c | 1034273 | 1933 8328 25422 | 105659 93509 72 | 0.000 % |
722.38/722.79 c | 1039579 | 1933 8328 25422 | 105659 98815 73 | 0.000 % |
726.38/726.70 c | 1045414 | 1933 8328 25422 | 99236 90627 72 | 0.000 % |
730.87/731.26 c | 1051834 | 1933 8328 25422 | 95213 87186 72 | 0.000 % |
735.97/736.37 c | 1058893 | 1933 8328 25422 | 95213 94245 72 | 0.000 % |
741.97/742.37 c | 1066657 | 1933 8328 25422 | 2147483647 102009 72 | 0.000 % |
749.07/749.43 c | 1075197 | 1933 8328 25422 | 105354 96624 72 | 0.000 % |
756.37/756.73 c | 1084591 | 1933 8328 25422 | 101429 91057 74 | 0.000 % |
756.47/756.82 c | 1084691 | 1933 8328 25422 | 101429 91157 73 | 0.000 % |
756.57/756.92 c | 1084801 | 1933 8328 25422 | 101429 91267 73 | 0.000 % |
756.66/757.03 c | 1084922 | 1933 8328 25422 | 101429 91388 73 | 0.000 % |
756.76/757.14 c | 1085056 | 1933 8328 25422 | 101429 91522 73 | 0.000 % |
756.86/757.27 c | 1085202 | 1933 8328 25422 | 101429 91668 73 | 0.000 % |
757.06/757.42 c | 1085364 | 1933 8328 25422 | 101429 91830 73 | 0.000 % |
757.16/757.59 c | 1085541 | 1933 8328 25422 | 101429 92007 73 | 0.000 % |
757.36/757.76 c | 1085734 | 1933 8328 25422 | 101429 92200 73 | 0.000 % |
757.57/757.93 c | 1085946 | 1933 8328 25422 | 101429 92412 73 | 0.000 % |
757.76/758.14 c | 1086180 | 1933 8328 25422 | 101429 92646 73 | 0.000 % |
757.96/758.34 c | 1086437 | 1933 8328 25422 | 101429 92903 73 | 0.000 % |
758.16/758.56 c | 1086721 | 1933 8328 25422 | 101429 93187 73 | 0.000 % |
758.36/758.78 c | 1087030 | 1933 8328 25422 | 101429 93496 73 | 0.000 % |
758.67/759.07 c | 1087369 | 1933 8328 25422 | 101429 93835 73 | 0.000 % |
758.96/759.39 c | 1087742 | 1933 8328 25422 | 101429 94208 73 | 0.000 % |
759.36/759.70 c | 1088151 | 1933 8328 25422 | 101429 94617 73 | 0.000 % |
759.67/760.08 c | 1088601 | 1933 8328 25422 | 101429 95067 73 | 0.000 % |
760.06/760.49 c | 1089094 | 1933 8328 25422 | 101429 95560 73 | 0.000 % |
760.56/760.96 c | 1089637 | 1933 8328 25422 | 101429 96103 73 | 0.000 % |
761.06/761.40 c | 1090233 | 1933 8328 25422 | 96466 96699 73 | 0.000 % |
761.46/761.87 c | 1090890 | 1933 8328 25422 | 96466 83366 73 | 0.000 % |
761.97/762.31 c | 1091612 | 1933 8328 25422 | 96466 84088 73 | 0.000 % |
762.46/762.83 c | 1092404 | 1933 8328 25422 | 96466 84880 73 | 0.000 % |
763.07/763.44 c | 1093275 | 1933 8328 25422 | 96466 85751 73 | 0.000 % |
763.66/764.08 c | 1094233 | 1933 8328 25422 | 96466 86709 73 | 0.000 % |
764.46/764.85 c | 1095287 | 1933 8328 25422 | 96466 87763 73 | 0.000 % |
765.26/765.68 c | 1096445 | 1933 8328 25422 | 96466 88921 73 | 0.000 % |
766.16/766.58 c | 1097718 | 1933 8328 25422 | 96466 90194 73 | 0.000 % |
767.16/767.56 c | 1099119 | 1933 8328 25422 | 96466 91595 73 | 0.000 % |
768.26/768.67 c | 1100659 | 1933 8328 25422 | 2147483647 93135 73 | 0.000 % |
769.46/769.83 c | 1102354 | 1933 8328 25422 | 2147483647 94830 73 | 0.000 % |
770.86/771.26 c | 1104217 | 1933 8328 25422 | 2147483647 96693 73 | 0.000 % |
772.46/772.84 c | 1106267 | 1933 8328 25422 | 2147483647 98743 73 | 0.000 % |
774.06/774.47 c | 1108520 | 1933 8328 25422 | 2147483647 100996 72 | 0.000 % |
776.16/776.51 c | 1110999 | 1933 8328 25422 | 102477 90209 73 | 0.000 % |
778.06/778.47 c | 1113724 | 1933 8328 25422 | 102477 92934 73 | 0.000 % |
780.16/780.54 c | 1116722 | 1933 8328 25422 | 102477 95932 73 | 0.000 % |
782.46/782.87 c | 1120019 | 1933 8328 25422 | 99210 99229 73 | 0.000 % |
784.96/785.32 c | 1123646 | 1933 8328 25422 | 99210 91321 73 | 0.000 % |
787.55/787.94 c | 1127633 | 1933 8328 25422 | 99210 95308 73 | 0.000 % |
790.65/791.01 c | 1132021 | 1933 8328 25422 | 2147483647 99696 73 | 0.000 % |
794.25/794.62 c | 1136845 | 1933 8328 25422 | 2147483647 104520 73 | 0.000 % |
798.25/798.67 c | 1142150 | 1933 8328 25422 | 107677 94217 73 | 0.000 % |
802.45/802.84 c | 1147986 | 1933 8328 25422 | 107677 100053 73 | 0.000 % |
807.25/807.68 c | 1154404 | 1933 8328 25422 | 102067 92898 73 | 0.000 % |
812.64/813.07 c | 1161464 | 1933 8328 25422 | 98494 86781 72 | 0.000 % |
818.64/819.03 c | 1169228 | 1933 8328 25422 | 98494 94545 72 | 0.000 % |
824.64/825.05 c | 1177770 | 1933 8328 25422 | 95317 91381 73 | 0.000 % |
831.64/832.07 c | 1187165 | 1933 8328 25422 | 93611 90114 74 | 0.000 % |
839.84/840.26 c | 1197499 | 1933 8328 25422 | 92949 89179 74 | 0.000 % |
839.94/840.36 c | 1197602 | 1933 8328 25422 | 92949 89282 74 | 0.000 % |
840.04/840.46 c | 1197715 | 1933 8328 25422 | 92949 89395 74 | 0.000 % |
840.14/840.56 c | 1197836 | 1933 8328 25422 | 92949 89516 74 | 0.000 % |
840.24/840.67 c | 1197969 | 1933 8328 25422 | 92949 89649 74 | 0.000 % |
840.34/840.79 c | 1198115 | 1933 8328 25422 | 92949 89795 74 | 0.000 % |
840.54/840.92 c | 1198277 | 1933 8328 25422 | 92949 89957 74 | 0.000 % |
840.64/841.07 c | 1198456 | 1933 8328 25422 | 92949 90136 74 | 0.000 % |
840.84/841.22 c | 1198650 | 1933 8328 25422 | 92949 90330 74 | 0.000 % |
840.94/841.37 c | 1198864 | 1933 8328 25422 | 92949 90544 74 | 0.000 % |
841.14/841.56 c | 1199098 | 1933 8328 25422 | 92949 90778 74 | 0.000 % |
841.34/841.76 c | 1199354 | 1933 8328 25422 | 92949 91034 74 | 0.000 % |
841.54/841.98 c | 1199635 | 1933 8328 25422 | 92949 91315 74 | 0.000 % |
841.84/842.23 c | 1199944 | 1933 8328 25422 | 92949 91624 74 | 0.000 % |
842.14/842.55 c | 1200284 | 1933 8328 25422 | 91680 80048 74 | 0.000 % |
842.43/842.81 c | 1200656 | 1933 8328 25422 | 91680 80420 74 | 0.000 % |
842.63/843.09 c | 1201065 | 1933 8328 25422 | 91680 80829 74 | 0.000 % |
842.93/843.39 c | 1201515 | 1933 8328 25422 | 91680 81279 74 | 0.000 % |
843.34/843.72 c | 1202008 | 1933 8328 25422 | 91680 81772 74 | 0.000 % |
843.63/844.09 c | 1202551 | 1933 8328 25422 | 91680 82315 73 | 0.000 % |
844.03/844.48 c | 1203148 | 1933 8328 25422 | 91680 82912 73 | 0.000 % |
844.44/844.90 c | 1203804 | 1933 8328 25422 | 91680 83568 73 | 0.000 % |
844.93/845.32 c | 1204525 | 1933 8328 25422 | 91680 84289 73 | 0.000 % |
845.44/845.84 c | 1205317 | 1933 8328 25422 | 91680 85081 73 | 0.000 % |
845.93/846.31 c | 1206189 | 1933 8328 25422 | 91680 85953 73 | 0.000 % |
846.54/846.94 c | 1207148 | 1933 8328 25422 | 91680 86912 73 | 0.000 % |
847.23/847.69 c | 1208203 | 1933 8328 25422 | 91680 87967 73 | 0.000 % |
848.03/848.46 c | 1209362 | 1933 8328 25422 | 91680 89126 73 | 0.000 % |
848.93/849.30 c | 1210636 | 1933 8328 25422 | 2147483647 90400 73 | 0.000 % |
849.94/850.37 c | 1212038 | 1933 8328 25422 | 2147483647 91802 73 | 0.000 % |
851.04/851.45 c | 1213578 | 1933 8328 25422 | 2147483647 93342 73 | 0.000 % |
852.23/852.63 c | 1215274 | 1933 8328 25422 | 2147483647 95038 73 | 0.000 % |
853.63/854.08 c | 1217138 | 1933 8328 25422 | 2147483647 96902 73 | 0.000 % |
855.23/855.63 c | 1219187 | 1933 8328 25422 | 2147483647 98951 73 | 0.000 % |
856.93/857.32 c | 1221440 | 1933 8328 25422 | 99764 89412 72 | 0.000 % |
858.53/858.99 c | 1223918 | 1933 8328 25422 | 99764 91890 72 | 0.000 % |
860.43/860.89 c | 1226643 | 1933 8328 25422 | 99764 94615 72 | 0.000 % |
862.73/863.12 c | 1229643 | 1933 8328 25422 | 99764 97615 72 | 0.000 % |
865.33/865.74 c | 1232939 | 1933 8328 25422 | 97974 90306 72 | 0.000 % |
867.93/868.39 c | 1236564 | 1933 8328 25422 | 97974 93931 72 | 0.000 % |
871.02/871.41 c | 1240551 | 1933 8328 25422 | 97371 86742 72 | 0.000 % |
873.92/874.34 c | 1244937 | 1933 8328 25422 | 97371 91128 72 | 0.000 % |
877.33/877.72 c | 1249760 | 1933 8328 25422 | 97371 95951 72 | 0.000 % |
881.02/881.42 c | 1255065 | 1933 8328 25422 | 96192 90410 71 | 0.000 % |
884.92/885.36 c | 1260901 | 1933 8328 25422 | 95346 85648 71 | 0.000 % |
889.32/889.77 c | 1267319 | 1933 8328 25422 | 95346 92066 71 | 0.000 % |
894.22/894.65 c | 1274378 | 1933 8328 25422 | 94748 89128 72 | 0.000 % |
900.01/900.43 c | 1282145 | 1933 8328 25422 | 94751 86865 72 | 0.000 % |
906.21/906.61 c | 1290687 | 1933 8328 25422 | 94720 84878 73 | 0.000 % |
912.81/913.25 c | 1300081 | 1933 8328 25422 | 94192 94272 73 | 0.000 % |
920.01/920.41 c | 1310414 | 1933 8328 25422 | 94478 82648 74 | 0.000 % |
927.41/927.82 c | 1321783 | 1933 8328 25422 | 2147483647 94017 74 | 0.000 % |
927.51/927.90 c | 1321884 | 1933 8328 25422 | 2147483647 94118 74 | 0.000 % |
927.51/927.99 c | 1321996 | 1933 8328 25422 | 2147483647 94230 74 | 0.000 % |
927.60/928.09 c | 1322118 | 1933 8328 25422 | 2147483647 94352 74 | 0.000 % |
927.80/928.21 c | 1322252 | 1933 8328 25422 | 2147483647 94486 74 | 0.000 % |
927.91/928.33 c | 1322398 | 1933 8328 25422 | 2147483647 94632 74 | 0.000 % |
928.01/928.47 c | 1322559 | 1933 8328 25422 | 2147483647 94793 74 | 0.000 % |
928.20/928.62 c | 1322735 | 1933 8328 25422 | 2147483647 94969 74 | 0.000 % |
928.30/928.79 c | 1322928 | 1933 8328 25422 | 2147483647 95162 74 | 0.000 % |
928.50/928.95 c | 1323141 | 1933 8328 25422 | 2147483647 95375 74 | 0.000 % |
928.70/929.16 c | 1323375 | 1933 8328 25422 | 2147483647 95609 74 | 0.000 % |
928.90/929.36 c | 1323631 | 1933 8328 25422 | 2147483647 95865 74 | 0.000 % |
929.11/929.57 c | 1323913 | 1933 8328 25422 | 2147483647 96147 74 | 0.000 % |
929.40/929.85 c | 1324225 | 1933 8328 25422 | 2147483647 96459 74 | 0.000 % |
929.70/930.12 c | 1324564 | 1933 8328 25422 | 2147483647 96798 74 | 0.000 % |
930.00/930.42 c | 1324936 | 1933 8328 25422 | 2147483647 97170 74 | 0.000 % |
930.30/930.76 c | 1325345 | 1933 8328 25422 | 2147483647 97579 74 | 0.000 % |
930.60/931.08 c | 1325794 | 1933 8328 25422 | 2147483647 98028 74 | 0.000 % |
931.00/931.49 c | 1326289 | 1933 8328 25422 | 2147483647 98523 74 | 0.000 % |
931.50/931.91 c | 1326831 | 1933 8328 25422 | 2147483647 99065 74 | 0.000 % |
932.00/932.40 c | 1327428 | 1933 8328 25422 | 2147483647 99662 74 | 0.000 % |
932.41/932.88 c | 1328083 | 1933 8328 25422 | 2147483647 100317 74 | 0.000 % |
933.10/933.50 c | 1328804 | 1933 8328 25422 | 2147483647 101038 74 | 0.000 % |
933.70/934.12 c | 1329596 | 1933 8328 25422 | 2147483647 101830 74 | 0.000 % |
934.40/934.83 c | 1330468 | 1933 8328 25422 | 102234 89188 74 | 0.000 % |
935.10/935.53 c | 1331427 | 1933 8328 25422 | 102234 90147 74 | 0.000 % |
935.80/936.26 c | 1332481 | 1933 8328 25422 | 102234 91201 74 | 0.000 % |
936.60/937.05 c | 1333640 | 1933 8328 25422 | 102234 92360 74 | 0.000 % |
937.60/938.07 c | 1334913 | 1933 8328 25422 | 102234 93633 74 | 0.000 % |
938.70/939.10 c | 1336313 | 1933 8328 25422 | 102234 95033 74 | 0.000 % |
939.80/940.28 c | 1337855 | 1933 8328 25422 | 102234 96575 74 | 0.000 % |
941.10/941.51 c | 1339549 | 1933 8328 25422 | 102234 98269 73 | 0.000 % |
942.60/943.01 c | 1341415 | 1933 8328 25422 | 98721 87720 73 | 0.000 % |
943.90/944.39 c | 1343464 | 1933 8328 25422 | 98721 89769 73 | 0.000 % |
945.40/945.80 c | 1345718 | 1933 8328 25422 | 98721 92023 74 | 0.000 % |
947.00/947.44 c | 1348196 | 1933 8328 25422 | 98721 94501 74 | 0.000 % |
949.00/949.47 c | 1350923 | 1933 8328 25422 | 96305 87166 74 | 0.000 % |
951.00/951.47 c | 1353920 | 1933 8328 25422 | 96305 90163 74 | 0.000 % |
953.10/953.60 c | 1357216 | 1933 8328 25422 | 96305 93459 74 | 0.000 % |
955.70/956.11 c | 1360841 | 1933 8328 25422 | 2147483647 97084 74 | 0.000 % |
958.60/959.07 c | 1364831 | 1933 8328 25422 | 2147483647 101074 74 | 0.000 % |
962.10/962.59 c | 1369216 | 1933 8328 25422 | 2147483647 105459 74 | 0.000 % |
966.19/966.64 c | 1374039 | 1933 8328 25422 | 106243 96104 73 | 0.000 % |
970.19/970.66 c | 1379344 | 1933 8328 25422 | 106243 101409 73 | 0.000 % |
974.29/974.79 c | 1385179 | 1933 8328 25422 | 102065 91164 73 | 0.000 % |
978.79/979.29 c | 1391597 | 1933 8328 25422 | 95986 85934 72 | 0.000 % |
983.59/984.04 c | 1398657 | 1933 8328 25422 | 95986 92994 72 | 0.000 % |
988.79/989.22 c | 1406421 | 1933 8328 25422 | 94337 89917 72 | 0.000 % |
994.79/995.22 c | 1414961 | 1933 8328 25422 | 93498 88109 73 | 0.000 % |
1001.69/1002.15 c | 1424355 | 1933 8328 25422 | 93151 86962 73 | 0.000 % |
1009.29/1009.75 c | 1434689 | 1933 8328 25422 | 92608 86885 73 | 0.000 % |
1018.09/1018.50 c | 1446055 | 1933 8328 25422 | 92198 86878 75 | 0.000 % |
1026.29/1026.78 c | 1458562 | 1933 8328 25422 | 90824 87446 74 | 0.000 % |
1026.38/1026.87 c | 1458663 | 1933 8328 25422 | 90824 87547 74 | 0.000 % |
1026.48/1026.95 c | 1458774 | 1933 8328 25422 | 90824 87658 74 | 0.000 % |
1026.58/1027.04 c | 1458896 | 1933 8328 25422 | 90824 87780 74 | 0.000 % |
1026.68/1027.14 c | 1459029 | 1933 8328 25422 | 90824 87913 74 | 0.000 % |
1026.78/1027.26 c | 1459175 | 1933 8328 25422 | 90824 88059 74 | 0.000 % |
1026.89/1027.38 c | 1459335 | 1933 8328 25422 | 90824 88219 74 | 0.000 % |
1027.08/1027.51 c | 1459512 | 1933 8328 25422 | 90824 88396 74 | 0.000 % |
1027.18/1027.69 c | 1459706 | 1933 8328 25422 | 90824 88590 74 | 0.000 % |
1027.38/1027.83 c | 1459920 | 1933 8328 25422 | 90824 88804 74 | 0.000 % |
1027.58/1028.02 c | 1460154 | 1933 8328 25422 | 88884 89038 74 | 0.000 % |
1027.78/1028.24 c | 1460411 | 1933 8328 25422 | 88884 78803 74 | 0.000 % |
1027.99/1028.44 c | 1460693 | 1933 8328 25422 | 88884 79085 74 | 0.000 % |
1028.18/1028.62 c | 1461002 | 1933 8328 25422 | 88884 79394 74 | 0.000 % |
1028.38/1028.86 c | 1461341 | 1933 8328 25422 | 88884 79733 74 | 0.000 % |
1028.58/1029.09 c | 1461715 | 1933 8328 25422 | 88884 80107 74 | 0.000 % |
1028.88/1029.36 c | 1462124 | 1933 8328 25422 | 88884 80516 74 | 0.000 % |
1029.19/1029.68 c | 1462574 | 1933 8328 25422 | 88884 80966 74 | 0.000 % |
1029.58/1030.05 c | 1463067 | 1933 8328 25422 | 88884 81459 74 | 0.000 % |
1029.98/1030.47 c | 1463610 | 1933 8328 25422 | 88884 82002 74 | 0.000 % |
1030.48/1030.91 c | 1464208 | 1933 8328 25422 | 88884 82600 74 | 0.000 % |
1030.88/1031.36 c | 1464863 | 1933 8328 25422 | 88884 83255 74 | 0.000 % |
1031.38/1031.85 c | 1465583 | 1933 8328 25422 | 88884 83975 73 | 0.000 % |
1031.88/1032.36 c | 1466375 | 1933 8328 25422 | 88884 84767 73 | 0.000 % |
1032.48/1032.95 c | 1467248 | 1933 8328 25422 | 88884 85640 73 | 0.000 % |
1033.18/1033.60 c | 1468207 | 1933 8328 25422 | 88884 86599 73 | 0.000 % |
1033.88/1034.34 c | 1469260 | 1933 8328 25422 | 88884 87652 73 | 0.000 % |
1034.58/1035.07 c | 1470418 | 1933 8328 25422 | 2147483647 88810 73 | 0.000 % |
1035.48/1035.91 c | 1471691 | 1933 8328 25422 | 2147483647 90083 73 | 0.000 % |
1036.38/1036.84 c | 1473091 | 1933 8328 25422 | 2147483647 91483 73 | 0.000 % |
1037.48/1037.92 c | 1474632 | 1933 8328 25422 | 2147483647 93024 73 | 0.000 % |
1038.58/1039.05 c | 1476326 | 1933 8328 25422 | 2147483647 94718 73 | 0.000 % |
1039.98/1040.41 c | 1478189 | 1933 8328 25422 | 2147483647 96581 73 | 0.000 % |
1041.58/1042.09 c | 1480238 | 1933 8328 25422 | 2147483647 98630 73 | 0.000 % |
1043.38/1043.85 c | 1482493 | 1933 8328 25422 | 2147483647 100885 73 | 0.000 % |
1045.38/1045.84 c | 1484975 | 1933 8328 25422 | 2147483647 103367 73 | 0.000 % |
1047.57/1048.07 c | 1487701 | 1933 8328 25422 | 2147483647 106093 73 | 0.000 % |
1050.17/1050.62 c | 1490698 | 1933 8328 25422 | 108392 93580 73 | 0.000 % |
1052.47/1052.97 c | 1493996 | 1933 8328 25422 | 108392 96878 73 | 0.000 % |
1055.37/1055.84 c | 1497621 | 1933 8328 25422 | 108392 100503 73 | 0.000 % |
1058.57/1059.02 c | 1501608 | 1933 8328 25422 | 102882 91424 72 | 0.000 % |
1061.67/1062.15 c | 1505996 | 1933 8328 25422 | 102882 95812 72 | 0.000 % |
1065.17/1065.64 c | 1510819 | 1933 8328 25422 | 99819 89379 73 | 0.000 % |
1068.77/1069.21 c | 1516125 | 1933 8328 25422 | 99819 94685 73 | 0.000 % |
1073.17/1073.61 c | 1521960 | 1933 8328 25422 | 2147483647 100520 73 | 0.000 % |
1078.17/1078.68 c | 1528381 | 1933 8328 25422 | 2147483647 106941 74 | 0.000 % |
1083.86/1084.31 c | 1535440 | 1933 8328 25422 | 108563 99479 73 | 0.000 % |
1090.06/1090.58 c | 1543211 | 1933 8328 25422 | 104041 92261 72 | 0.000 % |
1096.96/1097.46 c | 1551752 | 1933 8328 25422 | 99050 86204 73 | 0.000 % |
1104.16/1104.69 c | 1561148 | 1933 8328 25422 | 94453 82643 73 | 0.000 % |
1111.75/1112.23 c | 1571483 | 1933 8328 25422 | 91495 82967 73 | 0.000 % |
1120.55/1121.04 c | 1582849 | 1933 8328 25422 | 91484 82384 73 | 0.000 % |
1129.75/1130.23 c | 1595351 | 1933 8328 25422 | 89535 83978 71 | 0.000 % |
1140.75/1141.29 c | 1609103 | 1933 8328 25422 | 88627 86539 71 | 0.000 % |
1140.85/1141.36 c | 1609204 | 1933 8328 25422 | 88627 86640 71 | 0.000 % |
1140.95/1141.45 c | 1609315 | 1933 8328 25422 | 88627 86751 71 | 0.000 % |
1141.05/1141.54 c | 1609436 | 1933 8328 25422 | 88627 86872 71 | 0.000 % |
1141.15/1141.66 c | 1609569 | 1933 8328 25422 | 88627 87005 71 | 0.000 % |
1141.25/1141.78 c | 1609716 | 1933 8328 25422 | 88627 87152 71 | 0.000 % |
1141.35/1141.89 c | 1609879 | 1933 8328 25422 | 88627 87315 71 | 0.000 % |
1141.55/1142.03 c | 1610055 | 1933 8328 25422 | 87437 87491 71 | 0.000 % |
1141.75/1142.20 c | 1610248 | 1933 8328 25422 | 87437 75140 70 | 0.000 % |
1141.85/1142.33 c | 1610460 | 1933 8328 25422 | 87437 75352 70 | 0.000 % |
1141.94/1142.49 c | 1610695 | 1933 8328 25422 | 87437 75587 70 | 0.000 % |
1142.14/1142.65 c | 1610951 | 1933 8328 25422 | 87437 75843 70 | 0.000 % |
1142.35/1142.83 c | 1611235 | 1933 8328 25422 | 87437 76127 69 | 0.000 % |
1142.54/1143.03 c | 1611544 | 1933 8328 25422 | 87437 76436 70 | 0.000 % |
1142.74/1143.24 c | 1611883 | 1933 8328 25422 | 87437 76775 69 | 0.000 % |
1142.94/1143.45 c | 1612258 | 1933 8328 25422 | 87437 77150 69 | 0.000 % |
1143.14/1143.67 c | 1612667 | 1933 8328 25422 | 87437 77559 69 | 0.000 % |
1143.45/1143.93 c | 1613119 | 1933 8328 25422 | 87437 78011 69 | 0.000 % |
1143.64/1144.19 c | 1613612 | 1933 8328 25422 | 87437 78504 69 | 0.000 % |
1143.94/1144.45 c | 1614154 | 1933 8328 25422 | 87437 79046 69 | 0.000 % |
1144.34/1144.81 c | 1614751 | 1933 8328 25422 | 87437 79643 69 | 0.000 % |
1144.65/1145.20 c | 1615406 | 1933 8328 25422 | 87437 80298 69 | 0.000 % |
1145.14/1145.63 c | 1616127 | 1933 8328 25422 | 87437 81019 69 | 0.000 % |
1145.54/1146.08 c | 1616921 | 1933 8328 25422 | 87437 81813 69 | 0.000 % |
1146.14/1146.67 c | 1617792 | 1933 8328 25422 | 87437 82684 69 | 0.000 % |
1146.75/1147.28 c | 1618751 | 1933 8328 25422 | 87437 83643 70 | 0.000 % |
1147.34/1147.85 c | 1619804 | 1933 8328 25422 | 87437 84696 70 | 0.000 % |
1148.04/1148.57 c | 1620964 | 1933 8328 25422 | 2147483647 85856 70 | 0.000 % |
1148.94/1149.41 c | 1622238 | 1933 8328 25422 | 2147483647 87130 70 | 0.000 % |
1149.84/1150.33 c | 1623638 | 1933 8328 25422 | 2147483647 88530 70 | 0.000 % |
1150.84/1151.37 c | 1625178 | 1933 8328 25422 | 2147483647 90070 70 | 0.000 % |
1151.84/1152.37 c | 1626872 | 1933 8328 25422 | 2147483647 91764 70 | 0.000 % |
1153.04/1153.55 c | 1628735 | 1933 8328 25422 | 2147483647 93627 70 | 0.000 % |
1154.34/1154.88 c | 1630786 | 1933 8328 25422 | 2147483647 95678 70 | 0.000 % |
1155.84/1156.38 c | 1633040 | 1933 8328 25422 | 2147483647 97932 70 | 0.000 % |
1157.74/1158.23 c | 1635519 | 1933 8328 25422 | 2147483647 100411 70 | 0.000 % |
1159.63/1160.11 c | 1638245 | 1933 8328 25422 | 2147483647 103137 70 | 0.000 % |
1161.83/1162.31 c | 1641242 | 1933 8328 25422 | 2147483647 106134 70 | 0.000 % |
1164.23/1164.72 c | 1644538 | 1933 8328 25422 | 2147483647 109430 70 | 0.000 % |
1166.83/1167.39 c | 1648164 | 1933 8328 25422 | 2147483647 113056 70 | 0.000 % |
1169.94/1170.46 c | 1652152 | 1933 8328 25422 | 114892 101619 70 | 0.000 % |
1173.34/1173.85 c | 1656538 | 1933 8328 25422 | 114892 106005 70 | 0.000 % |
1177.24/1177.79 c | 1661362 | 1933 8328 25422 | 109468 94672 70 | 0.000 % |
1181.13/1181.63 c | 1666667 | 1933 8328 25422 | 109468 99977 70 | 0.000 % |
1185.03/1185.52 c | 1672504 | 1933 8328 25422 | 103313 94089 71 | 0.000 % |
1189.74/1190.20 c | 1678924 | 1933 8328 25422 | 103313 100509 72 | 0.000 % |
1194.63/1195.13 c | 1685984 | 1933 8328 25422 | 101585 94979 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-1832649-1242785900/watcher-1832649-1242785900 -o /tmp/evaluation-result-1832649-1242785900/solver-1832649-1242785900 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832649-1242785900.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16696
/proc/meminfo: memFree=1805448/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) R 16694 16696 16071 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306623145 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221236095475 0 0 4100 65536 0 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
[startup+0.02185 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16696
/proc/meminfo: memFree=1805448/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306623145 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101865 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16696
/proc/meminfo: memFree=1805448/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301885 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16696
/proc/meminfo: memFree=1805448/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701928 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16696
/proc/meminfo: memFree=1805448/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1803064/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=4692 CPUtime=1.44
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 857 0 0 0 144 0 0 0 25 0 1 0 306623149 4804608 843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 1173 843 77 171 0 1000 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10048
[startup+3.10219 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1800440/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=7760 CPUtime=3.04
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 1608 0 0 0 304 0 0 0 25 0 1 0 306623149 7946240 1594 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 1940 1594 77 171 0 1767 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13116
[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1795576/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=11616 CPUtime=6.24
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 2579 0 0 0 623 1 0 0 25 0 1 0 306623149 11894784 2565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 2904 2565 77 171 0 2731 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16972
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1789752/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=16976 CPUtime=12.64
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 3906 0 0 0 1261 3 0 0 25 0 1 0 306623149 17383424 3892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 4244 3892 77 171 0 4071 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22332
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1781880/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=24488 CPUtime=25.43
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 5786 0 0 0 2538 5 0 0 25 0 1 0 306623149 25075712 5772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 6122 5772 77 171 0 5949 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29844
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1773304/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=32984 CPUtime=51.01
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 7877 0 0 0 5094 7 0 0 25 0 1 0 306623149 33775616 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 8246 7863 77 171 0 8073 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 38340
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1771192/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=35096 CPUtime=102.19
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 8403 0 0 0 10211 8 0 0 25 0 1 0 306623149 35938304 8389 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 8774 8389 77 171 0 8601 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 40452
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1770296/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=35888 CPUtime=162.16
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 8599 0 0 0 16208 8 0 0 25 0 1 0 306623149 36749312 8585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 8972 8585 77 171 0 8799 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 41244
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1769656/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=36284 CPUtime=222.14
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 8726 0 0 0 22205 9 0 0 25 0 1 0 306623149 37154816 8712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 9071 8712 77 171 0 8898 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 41640
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1768888/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=36944 CPUtime=282.11
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 8891 0 0 0 28202 9 0 0 25 0 1 0 306623149 37830656 8877 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 9236 8877 77 171 0 9063 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 42300
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1767672/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=38000 CPUtime=342.08
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 9159 0 0 0 34198 10 0 0 25 0 1 0 306623149 38912000 9145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 9500 9145 77 171 0 9327 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 43356
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1767544/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=38132 CPUtime=402.06
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 9167 0 0 0 40195 11 0 0 25 0 1 0 306623149 39047168 9153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 9533 9153 77 171 0 9360 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 43488
[startup+462.302 s]
################
# More data... #
################
/proc/16702/statm: 9962 9595 77 171 0 9789 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 45204
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1765432/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=39848 CPUtime=641.97
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 9610 0 0 0 64185 12 0 0 25 0 1 0 306623149 40804352 9596 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 9962 9596 77 171 0 9789 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 45204
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1765112/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=40376 CPUtime=701.95
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 9733 0 0 0 70183 12 0 0 25 0 1 0 306623149 41345024 9719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10094 9719 77 171 0 9921 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 45732
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1763000/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=42224 CPUtime=761.94
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10196 0 0 0 76181 13 0 0 25 0 1 0 306623149 43237376 10182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10556 10182 77 171 0 10383 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 47580
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1762872/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=42208 CPUtime=821.91
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10196 0 0 0 82178 13 0 0 25 0 1 0 306623149 43220992 10182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10552 10182 77 171 0 10379 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 47564
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1762808/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=42204 CPUtime=881.89
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10196 0 0 0 88176 13 0 0 25 0 1 0 306623149 43216896 10182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10551 10182 77 171 0 10378 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 47560
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1762680/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=42136 CPUtime=941.87
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10196 0 0 0 94174 13 0 0 25 0 1 0 306623149 43147264 10182 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10534 10182 77 171 0 10361 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 47492
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1762424/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=42400 CPUtime=1001.86
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10245 0 0 0 100172 14 0 0 25 0 1 0 306623149 43417600 10231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10600 10231 77 171 0 10427 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 47756
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1761720/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=43060 CPUtime=1061.84
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10418 0 0 0 106170 14 0 0 25 0 1 0 306623149 44093440 10404 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10765 10404 77 171 0 10592 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 48416
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1761272/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=43456 CPUtime=1121.82
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10510 0 0 0 112168 14 0 0 25 0 1 0 306623149 44498944 10496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 10864 10496 77 171 0 10691 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 48812
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1760120/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=44512 CPUtime=1181.8
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10772 0 0 0 118165 15 0 0 25 0 1 0 306623149 45580288 10758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 11128 10758 77 171 0 10955 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 49868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1760056/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=44512 CPUtime=1200
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10772 0 0 0 119985 15 0 0 25 0 1 0 306623149 45580288 10758 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 11128 10758 77 171 0 10955 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 49868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16702
/proc/meminfo: memFree=1760056/2055920 swapFree=4178724/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.03
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16071 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 306623145 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=44512 CPUtime=1200
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16071 0 -1 4194304 10772 0 0 0 119985 15 0 0 25 0 1 0 306623149 45580288 10758 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 11128 10758 77 171 0 10955 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 49868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16696 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=36994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.042993
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.88
CPU system time (s): 0.15
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 49868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.036994
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947
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= 12
involuntary context switches= 8
runsolver used 1.49577 second user time and 2.99354 second system time
The end
Begin job on node21 at 2009-05-20 04:18:20
IDJOB=1832649
IDBENCH=70288
IDSOLVER=671
FILE ID=node21/1832649-1242785900
PBS_JOBID= 9322314
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832649-1242785900/watcher-1832649-1242785900 -o /tmp/evaluation-result-1832649-1242785900/solver-1832649-1242785900 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832649-1242785900.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3606a223e44ca7ebc5d996a3ddbfb35d
RANDOM SEED=960133722
node21.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.233
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.233
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: 1805928 kB
Buffers: 26080 kB
Cached: 174864 kB
SwapCached: 8428 kB
Active: 100456 kB
Inactive: 110360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1805928 kB
SwapTotal: 4192956 kB
SwapFree: 4178724 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 15080 kB
Slab: 25240 kB
Committed_AS: 1095324 kB
PageTables: 1388 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= 66144 MiB
End job on node21 at 2009-05-20 04:38:22