0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.06 c | 0 | 16661 50701 | -- 0 -- -- | -- | -139/301
0.00/0.06 c ==============================================================================
0.00/0.06 c Result : #vars: 3882 #clauses: 16661 #literals: 50701
0.00/0.06 c CPU time: 0.048992 s
0.00/0.06 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.08 c | Number of variables: 3882 |
0.00/0.08 c | Number of clauses: 16661 |
0.00/0.09 c | Parsing time: 0.01 s |
0.00/0.09 c ============================[ Search Statistics ]==============================
0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.09 c ===============================================================================
0.00/0.09 c | 0 | 3882 16661 50701 | 5553 0 nan | 0.000 % |
0.06/0.10 c | 100 | 3882 16661 50701 | 5553 100 97 | 0.000 % |
0.06/0.11 c | 200 | 3882 16661 50701 | 5553 200 97 | 0.000 % |
0.06/0.12 c | 303 | 3882 16661 50701 | 5553 303 94 | 0.000 % |
0.06/0.14 c | 413 | 3882 16661 50701 | 5553 413 91 | 0.000 % |
0.06/0.15 c | 514 | 3882 16661 50701 | 5553 514 89 | 0.000 % |
0.06/0.16 c | 624 | 3882 16661 50701 | 5553 624 86 | 0.000 % |
0.06/0.18 c | 747 | 3882 16661 50701 | 5553 747 88 | 0.000 % |
0.06/0.19 c | 847 | 3882 16661 50701 | 5553 847 86 | 0.000 % |
0.06/0.20 c | 957 | 3882 16661 50701 | 5553 957 85 | 0.000 % |
0.06/0.21 c | 1078 | 3882 16661 50701 | 5553 1078 86 | 0.000 % |
0.06/0.23 c | 1211 | 3882 16661 50701 | 5553 1211 87 | 0.000 % |
0.06/0.24 c | 1311 | 3882 16661 50701 | 5553 1311 87 | 0.000 % |
0.06/0.26 c | 1422 | 3882 16661 50701 | 5553 1422 86 | 0.000 % |
0.06/0.27 c | 1545 | 3882 16661 50701 | 5553 1545 84 | 0.000 % |
0.06/0.29 c | 1678 | 3882 16661 50701 | 5553 1678 85 | 0.000 % |
0.06/0.31 c | 1824 | 3882 16661 50701 | 5553 1824 84 | 0.000 % |
0.06/0.32 c | 1925 | 3882 16661 50701 | 5553 1925 84 | 0.000 % |
0.06/0.33 c | 2037 | 3882 16661 50701 | 5553 2037 84 | 0.000 % |
0.06/0.35 c | 2158 | 3882 16661 50701 | 5553 2158 84 | 0.000 % |
0.06/0.37 c | 2293 | 3882 16661 50701 | 5553 2293 85 | 0.000 % |
0.06/0.39 c | 2439 | 3882 16661 50701 | 5553 2439 85 | 0.000 % |
0.06/0.41 c | 2601 | 3882 16661 50701 | 5553 2601 87 | 0.000 % |
0.06/0.43 c | 2701 | 3882 16661 50701 | 5553 2701 87 | 0.000 % |
0.06/0.44 c | 2812 | 3882 16661 50701 | 5553 2812 87 | 0.000 % |
0.06/0.46 c | 2935 | 3882 16661 50701 | 5553 2935 87 | 0.000 % |
0.06/0.47 c | 3068 | 3882 16661 50701 | 5553 3068 88 | 0.000 % |
0.06/0.49 c | 3218 | 3882 16661 50701 | 5553 3218 87 | 0.000 % |
0.06/0.52 c | 3379 | 3882 16661 50701 | 5553 3379 88 | 0.000 % |
0.06/0.54 c | 3557 | 3882 16661 50701 | 5553 3557 88 | 0.000 % |
0.06/0.56 c | 3658 | 3882 16661 50701 | 5553 3658 88 | 0.000 % |
0.06/0.57 c | 3775 | 3882 16661 50701 | 5553 3775 88 | 0.000 % |
0.06/0.59 c | 3898 | 3882 16661 50701 | 5553 3898 88 | 0.000 % |
0.06/0.61 c | 4031 | 3882 16661 50701 | 5553 4031 89 | 0.000 % |
0.06/0.63 c | 4177 | 3882 16661 50701 | 5553 4177 88 | 0.000 % |
0.06/0.65 c | 4337 | 3882 16661 50701 | 5553 4337 88 | 0.000 % |
0.06/0.67 c | 4514 | 3882 16661 50701 | 5553 4514 89 | 0.000 % |
0.06/0.70 c | 4708 | 3882 16661 50701 | 5553 4708 89 | 0.000 % |
0.06/0.72 c | 4811 | 3882 16661 50701 | 5553 4811 89 | 0.000 % |
0.06/0.73 c | 4921 | 3882 16661 50701 | 5553 4921 89 | 0.000 % |
0.06/0.75 c | 5043 | 3882 16661 50701 | 5553 5043 89 | 0.000 % |
0.06/0.77 c | 5177 | 3882 16661 50701 | 5553 5177 88 | 0.000 % |
0.06/0.79 c | 5323 | 3882 16661 50701 | 5553 5323 88 | 0.000 % |
0.06/0.82 c | 5484 | 3882 16661 50701 | 5553 5484 89 | 0.000 % |
0.06/0.84 c | 5664 | 3882 16661 50701 | 5553 5664 89 | 0.000 % |
0.06/0.87 c | 5859 | 3882 16661 50701 | 5553 5293 88 | 0.000 % |
0.06/0.91 c | 6071 | 3882 16661 50701 | 5553 5505 89 | 0.000 % |
0.06/0.92 c | 6174 | 3882 16661 50701 | 5553 5608 89 | 0.000 % |
0.06/0.94 c | 6284 | 3882 16661 50701 | 5553 5158 90 | 0.000 % |
0.06/0.96 c | 6406 | 3882 16661 50701 | 5553 5280 89 | 0.000 % |
0.06/0.98 c | 6540 | 3882 16661 50701 | 5553 5414 89 | 0.000 % |
0.97/1.01 c | 6686 | 3882 16661 50701 | 5553 5560 90 | 0.000 % |
0.97/1.03 c | 6846 | 3882 16661 50701 | 5553 5164 91 | 0.000 % |
0.97/1.06 c | 7022 | 3882 16661 50701 | 5553 5340 91 | 0.000 % |
0.97/1.09 c | 7217 | 3882 16661 50701 | 5553 5535 91 | 0.000 % |
1.07/1.12 c | 7431 | 3882 16661 50701 | 5553 5749 92 | 0.000 % |
1.07/1.16 c | 7665 | 3882 16661 50701 | 5553 5409 93 | 0.000 % |
1.07/1.18 c | 7766 | 3882 16661 50701 | 5553 5510 93 | 0.000 % |
1.07/1.19 c | 7876 | 3882 16661 50701 | 5553 5620 92 | 0.000 % |
1.16/1.21 c | 7998 | 3882 16661 50701 | 5553 5180 92 | 0.000 % |
1.16/1.23 c | 8132 | 3882 16661 50701 | 5553 5314 91 | 0.000 % |
1.16/1.26 c | 8279 | 3882 16661 50701 | 5553 5461 92 | 0.000 % |
1.16/1.28 c | 8440 | 3882 16661 50701 | 5553 5622 92 | 0.000 % |
1.26/1.31 c | 8617 | 3882 16661 50701 | 5553 5237 92 | 0.000 % |
1.26/1.34 c | 8811 | 3882 16661 50701 | 5553 5431 92 | 0.000 % |
1.26/1.37 c | 9023 | 3882 16661 50701 | 5553 5643 92 | 0.000 % |
1.36/1.41 c | 9261 | 3882 16661 50701 | 5553 5317 93 | 0.000 % |
1.36/1.45 c | 9517 | 3882 16661 50701 | 5553 5573 93 | 0.000 % |
1.36/1.47 c | 9617 | 3882 16661 50701 | 5553 5116 93 | 0.000 % |
1.36/1.49 c | 9727 | 3882 16661 50701 | 5553 5226 92 | 0.000 % |
1.46/1.51 c | 9848 | 3882 16661 50701 | 5553 5347 92 | 0.000 % |
1.46/1.53 c | 9981 | 3882 16661 50701 | 5553 5480 92 | 0.000 % |
1.46/1.55 c | 10127 | 3882 16661 50701 | 2147483647 5626 92 | 0.000 % |
1.46/1.58 c | 10287 | 3882 16661 50701 | 2147483647 5786 93 | 0.000 % |
1.56/1.60 c | 10464 | 3882 16661 50701 | 2147483647 5963 93 | 0.000 % |
1.56/1.63 c | 10658 | 3882 16661 50701 | 2147483647 6157 93 | 0.000 % |
1.56/1.67 c | 10870 | 3882 16661 50701 | 2147483647 6369 93 | 0.000 % |
1.66/1.70 c | 11104 | 3882 16661 50701 | 2147483647 6603 93 | 0.000 % |
1.66/1.74 c | 11360 | 3882 16661 50701 | 2147483647 6859 93 | 0.000 % |
1.66/1.79 c | 11641 | 3882 16661 50701 | 2147483647 7140 93 | 0.000 % |
1.76/1.80 c | 11741 | 3882 16661 50701 | 2147483647 7240 93 | 0.000 % |
1.76/1.82 c | 11853 | 3882 16661 50701 | 2147483647 7352 93 | 0.000 % |
1.76/1.84 c | 11974 | 3882 16661 50701 | 2147483647 7473 93 | 0.000 % |
1.76/1.87 c | 12107 | 3882 16661 50701 | 2147483647 7606 93 | 0.000 % |
1.76/1.89 c | 12256 | 3882 16661 50701 | 2147483647 7755 93 | 0.000 % |
1.86/1.92 c | 12418 | 3882 16661 50701 | 2147483647 7917 93 | 0.000 % |
1.86/1.95 c | 12599 | 3882 16661 50701 | 2147483647 8098 94 | 0.000 % |
1.86/1.99 c | 12794 | 3882 16661 50701 | 2147483647 8293 94 | 0.000 % |
1.96/2.03 c | 13006 | 3882 16661 50701 | 2147483647 8505 94 | 0.000 % |
1.96/2.07 c | 13241 | 3882 16661 50701 | 2147483647 8740 94 | 0.000 % |
2.06/2.11 c | 13497 | 3882 16661 50701 | 2147483647 8996 94 | 0.000 % |
2.06/2.16 c | 13779 | 3882 16661 50701 | 2147483647 9278 94 | 0.000 % |
2.16/2.22 c | 14089 | 3882 16661 50701 | 2147483647 9588 94 | 0.000 % |
2.16/2.24 c | 14190 | 3882 16661 50701 | 2147483647 9689 94 | 0.000 % |
2.16/2.26 c | 14300 | 3882 16661 50701 | 2147483647 9799 94 | 0.000 % |
2.16/2.29 c | 14421 | 3882 16661 50701 | 2147483647 9920 94 | 0.000 % |
2.26/2.31 c | 14554 | 3882 16661 50701 | 2147483647 10053 94 | 0.000 % |
2.26/2.34 c | 14700 | 3882 16661 50701 | 2147483647 10199 94 | 0.000 % |
2.26/2.37 c | 14861 | 3882 16661 50701 | 2147483647 10360 94 | 0.000 % |
2.36/2.40 c | 15039 | 3882 16661 50701 | 2147483647 10538 94 | 0.000 % |
2.36/2.44 c | 15232 | 3882 16661 50701 | 2147483647 10731 94 | 0.000 % |
2.36/2.48 c | 15444 | 3882 16661 50701 | 2147483647 10943 94 | 0.000 % |
2.47/2.53 c | 15677 | 3882 16661 50701 | 2147483647 11176 94 | 0.000 % |
2.47/2.57 c | 15933 | 3882 16661 50701 | 2147483647 11432 94 | 0.000 % |
2.57/2.62 c | 16214 | 3882 16661 50701 | 2147483647 11713 94 | 0.000 % |
2.57/2.68 c | 16525 | 3882 16661 50701 | 2147483647 12024 94 | 0.000 % |
2.67/2.74 c | 16865 | 3882 16661 50701 | 2147483647 12364 94 | 0.000 % |
2.67/2.76 c | 16965 | 3882 16661 50701 | 2147483647 12464 94 | 0.000 % |
2.67/2.79 c | 17075 | 3882 16661 50701 | 2147483647 12574 94 | 0.000 % |
2.76/2.81 c | 17196 | 3882 16661 50701 | 2147483647 12695 94 | 0.000 % |
2.76/2.84 c | 17330 | 3882 16661 50701 | 2147483647 12829 94 | 0.000 % |
2.76/2.87 c | 17476 | 3882 16661 50701 | 2147483647 12975 94 | 0.000 % |
2.86/2.90 c | 17636 | 3882 16661 50701 | 2147483647 13135 94 | 0.000 % |
2.86/2.93 c | 17813 | 3882 16661 50701 | 2147483647 13312 94 | 0.000 % |
2.86/2.98 c | 18007 | 3882 16661 50701 | 2147483647 13506 94 | 0.000 % |
2.96/3.02 c | 18220 | 3882 16661 50701 | 2147483647 13719 95 | 0.000 % |
2.96/3.07 c | 18453 | 3882 16661 50701 | 2147483647 13952 94 | 0.000 % |
3.06/3.12 c | 18710 | 3882 16661 50701 | 2147483647 14209 94 | 0.000 % |
3.06/3.18 c | 18991 | 3882 16661 50701 | 2147483647 14490 95 | 0.000 % |
3.17/3.25 c | 19303 | 3882 16661 50701 | 2147483647 14802 95 | 0.000 % |
3.27/3.32 c | 19643 | 3882 16661 50701 | 2147483647 15142 95 | 0.000 % |
3.36/3.40 c | 20015 | 3882 16661 50701 | 2147483647 15514 96 | 0.000 % |
3.36/3.43 c | 20115 | 3882 16661 50701 | 2147483647 15614 95 | 0.000 % |
3.36/3.45 c | 20226 | 3882 16661 50701 | 2147483647 15725 96 | 0.000 % |
3.36/3.48 c | 20347 | 3882 16661 50701 | 2147483647 15846 96 | 0.000 % |
3.46/3.51 c | 20481 | 3882 16661 50701 | 2147483647 15980 96 | 0.000 % |
3.46/3.54 c | 20629 | 3882 16661 50701 | 2147483647 16128 96 | 0.000 % |
3.46/3.57 c | 20790 | 3882 16661 50701 | 2147483647 16289 96 | 0.000 % |
3.56/3.62 c | 20967 | 3882 16661 50701 | 2147483647 16466 96 | 0.000 % |
3.56/3.66 c | 21163 | 3882 16661 50701 | 2147483647 16662 96 | 0.000 % |
3.66/3.71 c | 21376 | 3882 16661 50701 | 2147483647 16875 96 | 0.000 % |
3.66/3.76 c | 21609 | 3882 16661 50701 | 2147483647 17108 96 | 0.000 % |
3.76/3.82 c | 21867 | 3882 16661 50701 | 2147483647 17366 96 | 0.000 % |
3.76/3.89 c | 22150 | 3882 16661 50701 | 2147483647 17649 96 | 0.000 % |
3.86/3.97 c | 22459 | 3882 16661 50701 | 2147483647 17958 96 | 0.000 % |
3.97/4.04 c | 22798 | 3882 16661 50701 | 2147483647 18297 96 | 0.000 % |
4.07/4.14 c | 23170 | 3882 16661 50701 | 2147483647 18669 96 | 0.000 % |
4.17/4.23 c | 23579 | 3882 16661 50701 | 2147483647 19078 97 | 0.000 % |
4.17/4.26 c | 23679 | 3882 16661 50701 | 2147483647 19178 97 | 0.000 % |
4.17/4.29 c | 23790 | 3882 16661 50701 | 2147483647 19289 97 | 0.000 % |
4.27/4.32 c | 23911 | 3882 16661 50701 | 2147483647 19410 97 | 0.000 % |
4.27/4.35 c | 24046 | 3882 16661 50701 | 2147483647 19545 96 | 0.000 % |
4.27/4.39 c | 24194 | 3882 16661 50701 | 2147483647 19693 96 | 0.000 % |
4.37/4.43 c | 24354 | 3882 16661 50701 | 2147483647 19853 96 | 0.000 % |
4.37/4.47 c | 24530 | 3882 16661 50701 | 2147483647 20029 96 | 0.000 % |
4.47/4.52 c | 24725 | 3882 16661 50701 | 2147483647 20224 96 | 0.000 % |
4.47/4.57 c | 24937 | 3882 16661 50701 | 2147483647 20436 96 | 0.000 % |
4.57/4.63 c | 25171 | 3882 16661 50701 | 2147483647 20670 96 | 0.000 % |
4.57/4.69 c | 25430 | 3882 16661 50701 | 2147483647 20929 96 | 0.000 % |
4.67/4.77 c | 25712 | 3882 16661 50701 | 2147483647 21211 96 | 0.000 % |
4.77/4.84 c | 26022 | 3882 16661 50701 | 2147483647 21521 97 | 0.000 % |
4.87/4.93 c | 26362 | 3882 16661 50701 | 2147483647 21861 97 | 0.000 % |
4.97/5.03 c | 26734 | 3882 16661 50701 | 2147483647 22233 97 | 0.000 % |
5.07/5.13 c | 27143 | 3882 16661 50701 | 2147483647 22642 97 | 0.000 % |
5.17/5.25 c | 27592 | 3882 16661 50701 | 2147483647 23091 97 | 0.000 % |
5.17/5.28 c | 27693 | 3882 16661 50701 | 2147483647 23192 97 | 0.000 % |
5.27/5.31 c | 27804 | 3882 16661 50701 | 2147483647 23303 97 | 0.000 % |
5.27/5.34 c | 27925 | 3882 16661 50701 | 2147483647 23424 97 | 0.000 % |
5.27/5.38 c | 28059 | 3882 16661 50701 | 2147483647 23558 97 | 0.000 % |
5.37/5.42 c | 28205 | 3882 16661 50701 | 2147483647 23704 97 | 0.000 % |
5.37/5.46 c | 28365 | 3882 16661 50701 | 2147483647 23864 97 | 0.000 % |
5.47/5.51 c | 28541 | 3882 16661 50701 | 2147483647 24040 97 | 0.000 % |
5.47/5.56 c | 28736 | 3882 16661 50701 | 2147483647 24235 97 | 0.000 % |
5.56/5.62 c | 28948 | 3882 16661 50701 | 2147483647 24447 97 | 0.000 % |
5.56/5.69 c | 29181 | 3882 16661 50701 | 2147483647 24680 97 | 0.000 % |
5.66/5.76 c | 29437 | 3882 16661 50701 | 2147483647 24936 97 | 0.000 % |
5.76/5.84 c | 29718 | 3882 16661 50701 | 2147483647 25217 97 | 0.000 % |
5.86/5.93 c | 30027 | 3882 16661 50701 | 2147483647 25526 97 | 0.000 % |
5.96/6.03 c | 30367 | 3882 16661 50701 | 2147483647 25866 97 | 0.000 % |
6.06/6.13 c | 30739 | 3882 16661 50701 | 2147483647 26238 97 | 0.000 % |
6.16/6.25 c | 31148 | 3882 16661 50701 | 2147483647 26647 97 | 0.000 % |
6.26/6.37 c | 31597 | 3882 16661 50701 | 2147483647 27096 97 | 0.000 % |
6.47/6.52 c | 32090 | 3882 16661 50701 | 2147483647 27589 98 | 0.000 % |
6.47/6.55 c | 32190 | 3882 16661 50701 | 2147483647 27689 98 | 0.000 % |
6.47/6.58 c | 32300 | 3882 16661 50701 | 2147483647 27799 98 | 0.000 % |
6.57/6.62 c | 32422 | 3882 16661 50701 | 2147483647 27921 97 | 0.000 % |
6.57/6.65 c | 32557 | 3882 16661 50701 | 2147483647 28056 98 | 0.000 % |
6.66/6.70 c | 32705 | 3882 16661 50701 | 2147483647 28204 98 | 0.000 % |
6.66/6.75 c | 32865 | 3882 16661 50701 | 2147483647 28364 98 | 0.000 % |
6.76/6.80 c | 33041 | 3882 16661 50701 | 2147483647 28540 98 | 0.000 % |
6.76/6.86 c | 33234 | 3882 16661 50701 | 2147483647 28733 98 | 0.000 % |
6.86/6.92 c | 33446 | 3882 16661 50701 | 2147483647 28945 98 | 0.000 % |
6.86/6.99 c | 33680 | 3882 16661 50701 | 2147483647 29179 98 | 0.000 % |
6.96/7.07 c | 33936 | 3882 16661 50701 | 2147483647 29435 98 | 0.000 % |
7.07/7.15 c | 34217 | 3882 16661 50701 | 2147483647 29716 98 | 0.000 % |
7.17/7.24 c | 34527 | 3882 16661 50701 | 2147483647 30026 98 | 0.000 % |
7.27/7.36 c | 34866 | 3882 16661 50701 | 2147483647 30365 98 | 0.000 % |
7.37/7.47 c | 35238 | 3882 16661 50701 | 2147483647 30737 98 | 0.000 % |
7.47/7.60 c | 35647 | 3882 16661 50701 | 2147483647 31146 98 | 0.000 % |
7.67/7.74 c | 36096 | 3882 16661 50701 | 2147483647 31595 98 | 0.000 % |
7.86/7.90 c | 36590 | 3882 16661 50701 | 2147483647 32089 98 | 0.000 % |
7.96/8.07 c | 37132 | 3882 16661 50701 | 2147483647 32631 98 | 0.000 % |
8.06/8.10 c | 37233 | 3882 16661 50701 | 2147483647 32732 98 | 0.000 % |
8.06/8.15 c | 37343 | 3882 16661 50701 | 2147483647 32842 98 | 0.000 % |
8.06/8.19 c | 37466 | 3882 16661 50701 | 2147483647 32965 98 | 0.000 % |
8.16/8.23 c | 37599 | 3882 16661 50701 | 2147483647 33098 98 | 0.000 % |
8.16/8.29 c | 37746 | 3882 16661 50701 | 2147483647 33245 98 | 0.000 % |
8.26/8.34 c | 37907 | 3882 16661 50701 | 2147483647 33406 98 | 0.000 % |
8.36/8.41 c | 38083 | 3882 16661 50701 | 2147483647 33582 98 | 0.000 % |
8.36/8.48 c | 38276 | 3882 16661 50701 | 2147483647 33775 98 | 0.000 % |
8.46/8.56 c | 38488 | 3882 16661 50701 | 2147483647 33987 98 | 0.000 % |
8.56/8.65 c | 38722 | 3882 16661 50701 | 2147483647 34221 98 | 0.000 % |
8.67/8.73 c | 38978 | 3882 16661 50701 | 2147483647 34477 98 | 0.000 % |
8.77/8.84 c | 39260 | 3882 16661 50701 | 2147483647 34759 98 | 0.000 % |
8.86/8.93 c | 39569 | 3882 16661 50701 | 2147483647 35068 98 | 0.000 % |
8.96/9.04 c | 39909 | 3882 16661 50701 | 2147483647 35408 98 | 0.000 % |
9.06/9.18 c | 40282 | 3882 16661 50701 | 2147483647 35781 98 | 0.000 % |
9.26/9.31 c | 40692 | 3882 16661 50701 | 2147483647 36191 98 | 0.000 % |
9.36/9.47 c | 41142 | 3882 16661 50701 | 2147483647 36641 98 | 0.000 % |
9.56/9.64 c | 41635 | 3882 16661 50701 | 2147483647 37134 98 | 0.000 % |
9.76/9.83 c | 42181 | 3882 16661 50701 | 2147483647 37680 98 | 0.000 % |
9.96/10.06 c | 42777 | 3882 16661 50701 | 2147483647 38276 98 | 0.000 % |
9.96/10.09 c | 42877 | 3882 16661 50701 | 2147483647 38376 98 | 0.000 % |
10.06/10.14 c | 42990 | 3882 16661 50701 | 2147483647 38489 98 | 0.000 % |
10.06/10.19 c | 43111 | 3882 16661 50701 | 2147483647 38610 98 | 0.000 % |
10.16/10.24 c | 43247 | 3882 16661 50701 | 2147483647 38746 98 | 0.000 % |
10.16/10.30 c | 43397 | 3882 16661 50701 | 2147483647 38896 98 | 0.000 % |
10.26/10.36 c | 43557 | 3882 16661 50701 | 2147483647 39056 98 | 0.000 % |
10.36/10.43 c | 43734 | 3882 16661 50701 | 2147483647 39233 98 | 0.000 % |
10.46/10.51 c | 43927 | 3882 16661 50701 | 2147483647 39426 98 | 0.000 % |
10.46/10.59 c | 44140 | 3882 16661 50701 | 2147483647 39639 98 | 0.000 % |
10.56/10.68 c | 44374 | 3882 16661 50701 | 2147483647 39873 98 | 0.000 % |
10.66/10.77 c | 44630 | 3882 16661 50701 | 2147483647 40129 98 | 0.000 % |
10.77/10.89 c | 44913 | 3882 16661 50701 | 2147483647 40412 98 | 0.000 % |
10.97/11.00 c | 45222 | 3882 16661 50701 | 2147483647 40721 98 | 0.000 % |
11.07/11.13 c | 45561 | 3882 16661 50701 | 2147483647 41060 98 | 0.000 % |
11.17/11.28 c | 45933 | 3882 16661 50701 | 2147483647 41432 98 | 0.000 % |
11.36/11.44 c | 46342 | 3882 16661 50701 | 2147483647 41841 98 | 0.000 % |
11.56/11.61 c | 46792 | 3882 16661 50701 | 2147483647 42291 98 | 0.000 % |
11.77/11.80 c | 47287 | 3882 16661 50701 | 2147483647 42786 98 | 0.000 % |
11.97/12.01 c | 47829 | 3882 16661 50701 | 2147483647 43328 98 | 0.000 % |
12.16/12.23 c | 48426 | 3882 16661 50701 | 2147483647 43925 98 | 0.000 % |
12.36/12.50 c | 49083 | 3882 16661 50701 | 2147483647 44582 99 | 0.000 % |
12.46/12.55 c | 49185 | 3882 16661 50701 | 2147483647 44684 99 | 0.000 % |
12.56/12.60 c | 49297 | 3882 16661 50701 | 2147483647 44796 99 | 0.000 % |
12.56/12.66 c | 49418 | 3882 16661 50701 | 2147483647 44917 99 | 0.000 % |
12.66/12.72 c | 49551 | 3882 16661 50701 | 2147483647 45050 99 | 0.000 % |
12.66/12.79 c | 49698 | 3882 16661 50701 | 2147483647 45197 99 | 0.000 % |
12.76/12.86 c | 49858 | 3882 16661 50701 | 2147483647 45357 99 | 0.000 % |
12.86/12.93 c | 50035 | 3882 16661 50701 | 2147483647 45534 99 | 0.000 % |
12.96/13.03 c | 50229 | 3882 16661 50701 | 2147483647 45728 99 | 0.000 % |
13.07/13.12 c | 50441 | 3882 16661 50701 | 2147483647 45940 99 | 0.000 % |
13.17/13.22 c | 50674 | 3882 16661 50701 | 2147483647 46173 99 | 0.000 % |
13.26/13.32 c | 50932 | 3882 16661 50701 | 2147483647 46431 99 | 0.000 % |
13.36/13.44 c | 51213 | 3882 16661 50701 | 2147483647 46712 99 | 0.000 % |
13.46/13.57 c | 51523 | 3882 16661 50701 | 2147483647 47022 99 | 0.000 % |
13.66/13.71 c | 51863 | 3882 16661 50701 | 2147483647 47362 99 | 0.000 % |
13.76/13.87 c | 52235 | 3882 16661 50701 | 2147483647 47734 99 | 0.000 % |
13.96/14.03 c | 52645 | 3882 16661 50701 | 2147483647 48144 99 | 0.000 % |
14.16/14.22 c | 53094 | 3882 16661 50701 | 2147483647 48593 99 | 0.000 % |
14.36/14.43 c | 53589 | 3882 16661 50701 | 2147483647 49088 99 | 0.000 % |
14.56/14.67 c | 54131 | 3882 16661 50701 | 2147483647 49630 99 | 0.000 % |
14.86/14.93 c | 54727 | 3882 16661 50701 | 2147483647 50226 99 | 0.000 % |
15.16/15.20 c | 55383 | 3882 16661 50701 | 2147483647 50882 99 | 0.000 % |
15.46/15.50 c | 56104 | 3882 16661 50701 | 2147483647 51603 99 | 0.000 % |
15.46/15.55 c | 56206 | 3882 16661 50701 | 2147483647 51705 99 | 0.000 % |
15.56/15.60 c | 56316 | 3882 16661 50701 | 2147483647 51815 99 | 0.000 % |
15.56/15.66 c | 56438 | 3882 16661 50701 | 2147483647 51937 99 | 0.000 % |
15.66/15.72 c | 56571 | 3882 16661 50701 | 2147483647 52070 99 | 0.000 % |
15.76/15.80 c | 56717 | 3882 16661 50701 | 2147483647 52216 99 | 0.000 % |
15.76/15.89 c | 56882 | 3882 16661 50701 | 2147483647 52381 99 | 0.000 % |
15.86/15.98 c | 57058 | 3882 16661 50701 | 2147483647 52557 99 | 0.000 % |
15.96/16.09 c | 57253 | 3882 16661 50701 | 2147483647 52752 99 | 0.000 % |
16.06/16.19 c | 57468 | 3882 16661 50701 | 2147483647 52967 99 | 0.000 % |
16.16/16.29 c | 57701 | 3882 16661 50701 | 2147483647 53200 99 | 0.000 % |
16.37/16.41 c | 57959 | 3882 16661 50701 | 2147483647 53458 99 | 0.000 % |
16.47/16.55 c | 58241 | 3882 16661 50701 | 2147483647 53740 99 | 0.000 % |
16.56/16.68 c | 58550 | 3882 16661 50701 | 2147483647 54049 99 | 0.000 % |
16.76/16.85 c | 58890 | 3882 16661 50701 | 2147483647 54389 99 | 0.000 % |
16.96/17.03 c | 59262 | 3882 16661 50701 | 2147483647 54761 99 | 0.000 % |
17.16/17.21 c | 59671 | 3882 16661 50701 | 2147483647 55170 99 | 0.000 % |
17.36/17.41 c | 60124 | 3882 16661 50701 | 2147483647 55623 99 | 0.000 % |
17.56/17.65 c | 60617 | 3882 16661 50701 | 2147483647 56116 99 | 0.000 % |
17.76/17.89 c | 61159 | 3882 16661 50701 | 2147483647 56658 99 | 0.000 % |
18.06/18.17 c | 61755 | 3882 16661 50701 | 2147483647 57254 100 | 0.000 % |
18.36/18.48 c | 62410 | 3882 16661 50701 | 2147483647 57909 100 | 0.000 % |
18.76/18.84 c | 63130 | 3882 16661 50701 | 2147483647 58629 100 | 0.000 % |
19.16/19.25 c | 63923 | 3882 16661 50701 | 2147483647 59422 100 | 0.000 % |
19.26/19.30 c | 64023 | 3882 16661 50701 | 2147483647 59522 100 | 0.000 % |
19.26/19.38 c | 64134 | 3882 16661 50701 | 2147483647 59633 100 | 0.000 % |
19.36/19.45 c | 64255 | 3882 16661 50701 | 2147483647 59754 100 | 0.000 % |
19.46/19.52 c | 64388 | 3882 16661 50701 | 2147483647 59887 100 | 0.000 % |
19.56/19.61 c | 64536 | 3882 16661 50701 | 2147483647 60035 100 | 0.000 % |
19.56/19.70 c | 64698 | 3882 16661 50701 | 2147483647 60197 100 | 0.000 % |
19.66/19.78 c | 64874 | 3882 16661 50701 | 2147483647 60373 100 | 0.000 % |
19.76/19.88 c | 65068 | 3882 16661 50701 | 2147483647 60567 100 | 0.000 % |
19.95/20.00 c | 65280 | 3882 16661 50701 | 2147483647 60779 100 | 0.000 % |
20.05/20.12 c | 65513 | 3882 16661 50701 | 2147483647 61012 100 | 0.000 % |
20.16/20.27 c | 65770 | 3882 16661 50701 | 2147483647 61269 100 | 0.000 % |
20.26/20.40 c | 66052 | 3882 16661 50701 | 2147483647 61551 100 | 0.000 % |
20.46/20.56 c | 66362 | 3882 16661 50701 | 2147483647 61861 100 | 0.000 % |
20.66/20.76 c | 66701 | 3882 16661 50701 | 2147483647 62200 100 | 0.000 % |
20.86/20.94 c | 67073 | 3882 16661 50701 | 2147483647 62572 100 | 0.000 % |
21.06/21.15 c | 67484 | 3882 16661 50701 | 2147483647 62983 100 | 0.000 % |
21.36/21.41 c | 67933 | 3882 16661 50701 | 2147483647 63432 100 | 0.000 % |
21.56/21.66 c | 68427 | 3882 16661 50701 | 2147483647 63926 101 | 0.000 % |
21.86/21.92 c | 68970 | 3882 16661 50701 | 2147483647 64469 101 | 0.000 % |
22.16/22.24 c | 69566 | 3882 16661 50701 | 2147483647 65065 101 | 0.000 % |
22.46/22.59 c | 70225 | 3882 16661 50701 | 2147483647 65724 101 | 0.000 % |
22.86/22.98 c | 70946 | 3882 16661 50701 | 2147483647 66445 101 | 0.000 % |
23.26/23.38 c | 71738 | 3882 16661 50701 | 2147483647 67237 101 | 0.000 % |
23.76/23.82 c | 72609 | 3882 16661 50701 | 2147483647 68108 101 | 0.000 % |
23.76/23.88 c | 72710 | 3882 16661 50701 | 2147483647 68209 101 | 0.000 % |
23.86/23.96 c | 72822 | 3882 16661 50701 | 2147483647 68321 101 | 0.000 % |
23.96/24.03 c | 72943 | 3882 16661 50701 | 2147483647 68442 101 | 0.000 % |
24.06/24.11 c | 73077 | 3882 16661 50701 | 2147483647 68576 101 | 0.000 % |
24.16/24.21 c | 73223 | 3882 16661 50701 | 2147483647 68722 101 | 0.000 % |
24.26/24.32 c | 73383 | 3882 16661 50701 | 2147483647 68882 101 | 0.000 % |
24.36/24.43 c | 73560 | 3882 16661 50701 | 2147483647 69059 101 | 0.000 % |
24.46/24.54 c | 73753 | 3882 16661 50701 | 2147483647 69252 101 | 0.000 % |
24.56/24.67 c | 73965 | 3882 16661 50701 | 2147483647 69464 101 | 0.000 % |
24.76/24.82 c | 74199 | 3882 16661 50701 | 2147483647 69698 101 | 0.000 % |
24.86/24.96 c | 74455 | 3882 16661 50701 | 2147483647 69954 101 | 0.000 % |
25.06/25.13 c | 74737 | 3882 16661 50701 | 2147483647 70236 101 | 0.000 % |
25.16/25.30 c | 75047 | 3882 16661 50701 | 2147483647 70546 101 | 0.000 % |
25.46/25.51 c | 75387 | 3882 16661 50701 | 2147483647 70886 101 | 0.000 % |
25.66/25.73 c | 75759 | 3882 16661 50701 | 2147483647 71258 101 | 0.000 % |
25.86/25.97 c | 76168 | 3882 16661 50701 | 2147483647 71667 101 | 0.000 % |
26.16/26.23 c | 76618 | 3882 16661 50701 | 2147483647 72117 101 | 0.000 % |
26.45/26.50 c | 77112 | 3882 16661 50701 | 2147483647 72611 101 | 0.000 % |
26.75/26.82 c | 77659 | 3882 16661 50701 | 2147483647 73158 101 | 0.000 % |
27.05/27.14 c | 78257 | 3882 16661 50701 | 2147483647 73756 101 | 0.000 % |
27.47/27.52 c | 78912 | 3882 16661 50701 | 2147483647 74411 101 | 0.000 % |
27.86/27.95 c | 79633 | 3882 16661 50701 | 2147483647 75132 102 | 0.000 % |
28.36/28.40 c | 80425 | 3882 16661 50701 | 2147483647 75924 102 | 0.000 % |
28.86/28.93 c | 81299 | 3882 16661 50701 | 2147483647 76798 102 | 0.000 % |
29.36/29.46 c | 82257 | 3882 16661 50701 | 2147483647 77756 102 | 0.000 % |
29.45/29.52 c | 82358 | 3882 16661 50701 | 2147483647 77857 102 | 0.000 % |
29.45/29.59 c | 82468 | 3882 16661 50701 | 2147483647 77967 102 | 0.000 % |
29.56/29.68 c | 82589 | 3882 16661 50701 | 2147483647 78088 102 | 0.000 % |
29.66/29.78 c | 82723 | 3882 16661 50701 | 2147483647 78222 102 | 0.000 % |
29.75/29.88 c | 82870 | 3882 16661 50701 | 2147483647 78369 102 | 0.000 % |
29.95/30.00 c | 83033 | 3882 16661 50701 | 2147483647 78532 102 | 0.000 % |
30.05/30.14 c | 83209 | 3882 16661 50701 | 2147483647 78708 102 | 0.000 % |
30.15/30.27 c | 83405 | 3882 16661 50701 | 2147483647 78904 102 | 0.000 % |
30.35/30.41 c | 83617 | 3882 16661 50701 | 2147483647 79116 102 | 0.000 % |
30.45/30.58 c | 83850 | 3882 16661 50701 | 2147483647 79349 102 | 0.000 % |
30.66/30.74 c | 84107 | 3882 16661 50701 | 2147483647 79606 102 | 0.000 % |
30.86/30.90 c | 84389 | 3882 16661 50701 | 2147483647 79888 102 | 0.000 % |
31.06/31.10 c | 84698 | 3882 16661 50701 | 2147483647 80197 102 | 0.000 % |
31.26/31.33 c | 85038 | 3882 16661 50701 | 2147483647 80537 102 | 0.000 % |
31.46/31.58 c | 85410 | 3882 16661 50701 | 2147483647 80909 102 | 0.000 % |
31.76/31.83 c | 85819 | 3882 16661 50701 | 2147483647 81318 102 | 0.000 % |
32.06/32.10 c | 86269 | 3882 16661 50701 | 2147483647 81768 102 | 0.000 % |
32.36/32.43 c | 86763 | 3882 16661 50701 | 2147483647 82262 102 | 0.000 % |
32.65/32.78 c | 87305 | 3882 16661 50701 | 2147483647 82804 102 | 0.000 % |
33.05/33.16 c | 87903 | 3882 16661 50701 | 2147483647 83402 102 | 0.000 % |
33.45/33.58 c | 88558 | 3882 16661 50701 | 2147483647 84057 102 | 0.000 % |
33.96/34.04 c | 89281 | 3882 16661 50701 | 2147483647 84780 102 | 0.000 % |
34.46/34.53 c | 90073 | 3882 16661 50701 | 2147483647 85572 102 | 0.000 % |
35.06/35.11 c | 90944 | 3882 16661 50701 | 2147483647 86443 102 | 0.000 % |
35.66/35.72 c | 91902 | 3882 16661 50701 | 2147483647 87401 102 | 0.000 % |
36.26/36.37 c | 92956 | 3882 16661 50701 | 2147483647 88455 103 | 0.000 % |
36.36/36.44 c | 93056 | 3882 16661 50701 | 2147483647 88555 103 | 0.000 % |
36.46/36.55 c | 93168 | 3882 16661 50701 | 2147483647 88667 103 | 0.000 % |
36.56/36.65 c | 93289 | 3882 16661 50701 | 2147483647 88788 103 | 0.000 % |
36.66/36.75 c | 93422 | 3882 16661 50701 | 2147483647 88921 103 | 0.000 % |
36.76/36.87 c | 93568 | 3882 16661 50701 | 2147483647 89067 102 | 0.000 % |
36.96/37.01 c | 93728 | 3882 16661 50701 | 2147483647 89227 102 | 0.000 % |
37.06/37.15 c | 93908 | 3882 16661 50701 | 2147483647 89407 102 | 0.000 % |
37.16/37.29 c | 94101 | 3882 16661 50701 | 2147483647 89600 102 | 0.000 % |
37.36/37.43 c | 94313 | 3882 16661 50701 | 2147483647 89812 102 | 0.000 % |
37.56/37.60 c | 94547 | 3882 16661 50701 | 2147483647 90046 102 | 0.000 % |
37.76/37.81 c | 94804 | 3882 16661 50701 | 2147483647 90303 102 | 0.000 % |
37.86/37.99 c | 95085 | 3882 16661 50701 | 2147483647 90584 102 | 0.000 % |
38.16/38.24 c | 95395 | 3882 16661 50701 | 2147483647 90894 102 | 0.000 % |
38.46/38.51 c | 95735 | 3882 16661 50701 | 2147483647 91234 102 | 0.000 % |
38.75/38.80 c | 96108 | 3882 16661 50701 | 2147483647 91607 102 | 0.000 % |
38.95/39.08 c | 96517 | 3882 16661 50701 | 2147483647 92016 102 | 0.000 % |
39.35/39.42 c | 96970 | 3882 16661 50701 | 2147483647 92469 103 | 0.000 % |
39.65/39.77 c | 97465 | 3882 16661 50701 | 2147483647 92964 103 | 0.000 % |
40.05/40.12 c | 98007 | 3882 16661 50701 | 2147483647 93506 103 | 0.000 % |
40.45/40.55 c | 98603 | 3882 16661 50701 | 2147483647 94102 103 | 0.000 % |
40.95/41.01 c | 99258 | 3882 16661 50701 | 2147483647 94757 103 | 0.000 % |
41.35/41.49 c | 99978 | 3882 16661 50701 | 2147483647 95477 103 | 0.000 % |
41.95/42.07 c | 100771 | 3882 16661 50701 | 2147483647 96270 103 | 0.000 % |
42.65/42.70 c | 101642 | 3882 16661 50701 | 2147483647 97141 102 | 0.000 % |
43.25/43.33 c | 102600 | 3882 16661 50701 | 2147483647 98099 102 | 0.000 % |
44.06/44.10 c | 103653 | 3882 16661 50701 | 2147483647 99152 103 | 0.000 % |
44.85/44.96 c | 104813 | 3882 16661 50701 | 2147483647 100312 103 | 0.000 % |
44.96/45.05 c | 104914 | 3882 16661 50701 | 2147483647 100413 103 | 0.000 % |
45.06/45.15 c | 105024 | 3882 16661 50701 | 2147483647 100523 103 | 0.000 % |
45.15/45.27 c | 105145 | 3882 16661 50701 | 2147483647 100644 103 | 0.000 % |
45.25/45.39 c | 105279 | 3882 16661 50701 | 2147483647 100778 103 | 0.000 % |
45.45/45.53 c | 105426 | 3882 16661 50701 | 2147483647 100925 103 | 0.000 % |
45.55/45.67 c | 105586 | 3882 16661 50701 | 2147483647 101085 103 | 0.000 % |
45.75/45.84 c | 105763 | 3882 16661 50701 | 2147483647 101262 103 | 0.000 % |
45.85/45.99 c | 105956 | 3882 16661 50701 | 2147483647 101455 103 | 0.000 % |
46.06/46.18 c | 106168 | 3882 16661 50701 | 2147483647 101667 103 | 0.000 % |
46.25/46.40 c | 106406 | 3882 16661 50701 | 2147483647 101905 103 | 0.000 % |
46.55/46.63 c | 106663 | 3882 16661 50701 | 2147483647 102162 103 | 0.000 % |
46.75/46.84 c | 106944 | 3882 16661 50701 | 2147483647 102443 103 | 0.000 % |
46.95/47.09 c | 107253 | 3882 16661 50701 | 2147483647 102752 103 | 0.000 % |
47.25/47.35 c | 107592 | 3882 16661 50701 | 2147483647 103091 103 | 0.000 % |
47.55/47.65 c | 107965 | 3882 16661 50701 | 2147483647 103464 103 | 0.000 % |
47.85/47.99 c | 108375 | 3882 16661 50701 | 2147483647 103874 103 | 0.000 % |
48.25/48.39 c | 108824 | 3882 16661 50701 | 2147483647 104323 103 | 0.000 % |
48.65/48.77 c | 109317 | 3882 16661 50701 | 2147483647 104816 103 | 0.000 % |
49.15/49.23 c | 109861 | 3882 16661 50701 | 2147483647 105360 103 | 0.000 % |
49.65/49.70 c | 110459 | 3882 16661 50701 | 2147483647 105958 103 | 0.000 % |
50.15/50.22 c | 111115 | 3882 16661 50701 | 2147483647 106614 103 | 0.000 % |
50.65/50.78 c | 111835 | 3882 16661 50701 | 2147483647 107334 103 | 0.000 % |
51.25/51.36 c | 112627 | 3882 16661 50701 | 2147483647 108126 103 | 0.000 % |
51.95/52.02 c | 113498 | 3882 16661 50701 | 2147483647 108997 103 | 0.000 % |
52.66/52.79 c | 114457 | 3882 16661 50701 | 2147483647 109956 103 | 0.000 % |
53.45/53.59 c | 115510 | 3882 16661 50701 | 2147483647 111009 103 | 0.000 % |
54.45/54.58 c | 116668 | 3882 16661 50701 | 2147483647 112167 103 | 0.000 % |
55.45/55.58 c | 117941 | 3882 16661 50701 | 2147483647 113440 103 | 0.000 % |
55.55/55.68 c | 118041 | 3882 16661 50701 | 2147483647 113540 103 | 0.000 % |
55.65/55.80 c | 118153 | 3882 16661 50701 | 2147483647 113652 103 | 0.000 % |
55.85/55.92 c | 118274 | 3882 16661 50701 | 2147483647 113773 103 | 0.000 % |
55.95/56.04 c | 118408 | 3882 16661 50701 | 2147483647 113907 103 | 0.000 % |
56.05/56.17 c | 118554 | 3882 16661 50701 | 2147483647 114053 103 | 0.000 % |
56.25/56.35 c | 118715 | 3882 16661 50701 | 2147483647 114214 103 | 0.000 % |
56.45/56.52 c | 118892 | 3882 16661 50701 | 2147483647 114391 103 | 0.000 % |
56.65/56.71 c | 119087 | 3882 16661 50701 | 2147483647 114586 103 | 0.000 % |
56.85/56.90 c | 119299 | 3882 16661 50701 | 2147483647 114798 103 | 0.000 % |
57.05/57.12 c | 119532 | 3882 16661 50701 | 2147483647 115031 103 | 0.000 % |
57.25/57.38 c | 119789 | 3882 16661 50701 | 2147483647 115288 103 | 0.000 % |
57.55/57.63 c | 120071 | 3882 16661 50701 | 2147483647 115570 103 | 0.000 % |
57.75/57.89 c | 120381 | 3882 16661 50701 | 2147483647 115880 103 | 0.000 % |
58.05/58.18 c | 120723 | 3882 16661 50701 | 2147483647 116222 103 | 0.000 % |
58.45/58.50 c | 121096 | 3882 16661 50701 | 2147483647 116595 103 | 0.000 % |
58.75/58.88 c | 121505 | 3882 16661 50701 | 2147483647 117004 103 | 0.000 % |
59.15/59.29 c | 121954 | 3882 16661 50701 | 2147483647 117453 103 | 0.000 % |
59.64/59.73 c | 122447 | 3882 16661 50701 | 2147483647 117946 103 | 0.000 % |
60.14/60.20 c | 122989 | 3882 16661 50701 | 2147483647 118488 103 | 0.000 % |
60.54/60.69 c | 123585 | 3882 16661 50701 | 2147483647 119084 103 | 0.000 % |
61.24/61.30 c | 124240 | 3882 16661 50701 | 2147483647 119739 103 | 0.000 % |
61.84/61.90 c | 124961 | 3882 16661 50701 | 2147483647 120460 103 | 0.000 % |
62.44/62.60 c | 125755 | 3882 16661 50701 | 2147483647 121254 103 | 0.000 % |
63.24/63.35 c | 126626 | 3882 16661 50701 | 2147483647 122125 103 | 0.000 % |
64.15/64.21 c | 127584 | 3882 16661 50701 | 2147483647 123083 103 | 0.000 % |
65.15/65.21 c | 128639 | 3882 16661 50701 | 2147483647 124138 103 | 0.000 % |
66.25/66.31 c | 129798 | 3882 16661 50701 | 2147483647 125297 103 | 0.000 % |
67.35/67.44 c | 131071 | 3882 16661 50701 | 2147483647 126570 104 | 0.000 % |
68.64/68.73 c | 132471 | 3882 16661 50701 | 2147483647 127970 104 | 0.000 % |
68.74/68.85 c | 132573 | 3882 16661 50701 | 2147483647 128072 104 | 0.000 % |
68.84/68.99 c | 132683 | 3882 16661 50701 | 2147483647 128182 103 | 0.000 % |
69.04/69.14 c | 132804 | 3882 16661 50701 | 2147483647 128303 103 | 0.000 % |
69.15/69.28 c | 132937 | 3882 16661 50701 | 2147483647 128436 103 | 0.000 % |
69.34/69.46 c | 133084 | 3882 16661 50701 | 2147483647 128583 103 | 0.000 % |
69.54/69.66 c | 133244 | 3882 16661 50701 | 2147483647 128743 103 | 0.000 % |
69.74/69.86 c | 133420 | 3882 16661 50701 | 2147483647 128919 103 | 0.000 % |
69.94/70.07 c | 133616 | 3882 16661 50701 | 2147483647 129115 103 | 0.000 % |
70.14/70.29 c | 133828 | 3882 16661 50701 | 2147483647 129327 103 | 0.000 % |
70.44/70.54 c | 134061 | 3882 16661 50701 | 2147483647 129560 103 | 0.000 % |
70.74/70.84 c | 134317 | 3882 16661 50701 | 2147483647 129816 103 | 0.000 % |
71.04/71.12 c | 134598 | 3882 16661 50701 | 2147483647 130097 103 | 0.000 % |
71.35/71.45 c | 134907 | 3882 16661 50701 | 2147483647 130406 103 | 0.000 % |
71.74/71.80 c | 135246 | 3882 16661 50701 | 2147483647 130745 103 | 0.000 % |
72.05/72.19 c | 135618 | 3882 16661 50701 | 2147483647 131117 103 | 0.000 % |
72.55/72.60 c | 136028 | 3882 16661 50701 | 2147483647 131527 103 | 0.000 % |
72.95/73.08 c | 136477 | 3882 16661 50701 | 2147483647 131976 103 | 0.000 % |
73.45/73.54 c | 136970 | 3882 16661 50701 | 2147483647 132469 103 | 0.000 % |
73.95/74.03 c | 137513 | 3882 16661 50701 | 2147483647 133012 103 | 0.000 % |
74.55/74.64 c | 138110 | 3882 16661 50701 | 2147483647 133609 103 | 0.000 % |
75.15/75.29 c | 138766 | 3882 16661 50701 | 2147483647 134265 103 | 0.000 % |
75.85/75.98 c | 139486 | 3882 16661 50701 | 2147483647 134985 103 | 0.000 % |
76.74/76.81 c | 140278 | 3882 16661 50701 | 2147483647 135777 103 | 0.000 % |
77.54/77.64 c | 141149 | 3882 16661 50701 | 2147483647 136648 103 | 0.000 % |
78.44/78.50 c | 142108 | 3882 16661 50701 | 2147483647 137607 103 | 0.000 % |
79.44/79.51 c | 143163 | 3882 16661 50701 | 2147483647 138662 104 | 0.000 % |
80.44/80.59 c | 144322 | 3882 16661 50701 | 2147483647 139821 104 | 0.000 % |
81.74/81.89 c | 145595 | 3882 16661 50701 | 2147483647 141094 104 | 0.000 % |
83.24/83.38 c | 146997 | 3882 16661 50701 | 2147483647 142496 104 | 0.000 % |
84.74/84.81 c | 148539 | 3882 16661 50701 | 2147483647 144038 104 | 0.000 % |
84.84/84.96 c | 148641 | 3882 16661 50701 | 2147483647 144140 104 | 0.000 % |
84.94/85.09 c | 148751 | 3882 16661 50701 | 2147483647 144250 104 | 0.000 % |
85.14/85.23 c | 148873 | 3882 16661 50701 | 2147483647 144372 104 | 0.000 % |
85.24/85.37 c | 149007 | 3882 16661 50701 | 2147483647 144506 104 | 0.000 % |
85.44/85.57 c | 149153 | 3882 16661 50701 | 2147483647 144652 104 | 0.000 % |
85.64/85.77 c | 149313 | 3882 16661 50701 | 2147483647 144812 104 | 0.000 % |
85.84/85.96 c | 149489 | 3882 16661 50701 | 2147483647 144988 104 | 0.000 % |
86.03/86.18 c | 149682 | 3882 16661 50701 | 2147483647 145181 104 | 0.000 % |
86.33/86.43 c | 149896 | 3882 16661 50701 | 2147483647 145395 104 | 0.000 % |
86.63/86.70 c | 150130 | 3882 16661 50701 | 2147483647 145629 104 | 0.000 % |
86.85/86.99 c | 150386 | 3882 16661 50701 | 2147483647 145885 104 | 0.000 % |
87.24/87.30 c | 150667 | 3882 16661 50701 | 2147483647 146166 104 | 0.000 % |
87.54/87.66 c | 150978 | 3882 16661 50701 | 2147483647 146477 104 | 0.000 % |
87.94/88.02 c | 151320 | 3882 16661 50701 | 2147483647 146819 104 | 0.000 % |
88.34/88.42 c | 151692 | 3882 16661 50701 | 2147483647 147191 104 | 0.000 % |
88.74/88.86 c | 152103 | 3882 16661 50701 | 2147483647 147602 104 | 0.000 % |
89.24/89.36 c | 152553 | 3882 16661 50701 | 2147483647 148052 104 | 0.000 % |
89.84/89.91 c | 153046 | 3882 16661 50701 | 2147483647 148545 104 | 0.000 % |
90.34/90.49 c | 153589 | 3882 16661 50701 | 2147483647 149088 104 | 0.000 % |
91.04/91.16 c | 154189 | 3882 16661 50701 | 2147483647 149688 104 | 0.000 % |
91.73/91.88 c | 154846 | 3882 16661 50701 | 2147483647 150345 104 | 0.000 % |
92.63/92.72 c | 155566 | 3882 16661 50701 | 2147483647 151065 104 | 0.000 % |
93.44/93.59 c | 156358 | 3882 16661 50701 | 2147483647 151857 104 | 0.000 % |
94.44/94.55 c | 157230 | 3882 16661 50701 | 2147483647 152729 104 | 0.000 % |
95.43/95.56 c | 158191 | 3882 16661 50701 | 2147483647 153690 104 | 0.000 % |
96.53/96.61 c | 159246 | 3882 16661 50701 | 2147483647 154745 104 | 0.000 % |
97.64/97.74 c | 160404 | 3882 16661 50701 | 2147483647 155903 104 | 0.000 % |
98.94/99.03 c | 161677 | 3882 16661 50701 | 2147483647 157176 104 | 0.000 % |
100.33/100.49 c | 163081 | 3882 16661 50701 | 2147483647 158580 104 | 0.000 % |
102.13/102.27 c | 164621 | 3882 16661 50701 | 2147483647 160120 105 | 0.000 % |
104.04/104.16 c | 166315 | 3882 16661 50701 | 2147483647 161814 105 | 0.000 % |
104.13/104.27 c | 166416 | 3882 16661 50701 | 2147483647 161915 105 | 0.000 % |
104.34/104.40 c | 166526 | 3882 16661 50701 | 2147483647 162025 105 | 0.000 % |
104.44/104.59 c | 166647 | 3882 16661 50701 | 2147483647 162146 105 | 0.000 % |
104.63/104.76 c | 166780 | 3882 16661 50701 | 2147483647 162279 105 | 0.000 % |
104.83/104.99 c | 166929 | 3882 16661 50701 | 2147483647 162428 105 | 0.000 % |
105.13/105.20 c | 167090 | 3882 16661 50701 | 2147483647 162589 104 | 0.000 % |
105.33/105.46 c | 167268 | 3882 16661 50701 | 2147483647 162767 104 | 0.000 % |
105.63/105.71 c | 167462 | 3882 16661 50701 | 2147483647 162961 104 | 0.000 % |
105.93/106.00 c | 167675 | 3882 16661 50701 | 2147483647 163174 104 | 0.000 % |
106.13/106.28 c | 167911 | 3882 16661 50701 | 2147483647 163410 104 | 0.000 % |
106.54/106.63 c | 168168 | 3882 16661 50701 | 2147483647 163667 104 | 0.000 % |
106.83/106.96 c | 168450 | 3882 16661 50701 | 2147483647 163949 104 | 0.000 % |
107.23/107.35 c | 168759 | 3882 16661 50701 | 2147483647 164258 104 | 0.000 % |
107.63/107.79 c | 169098 | 3882 16661 50701 | 2147483647 164597 104 | 0.000 % |
108.12/108.28 c | 169471 | 3882 16661 50701 | 2147483647 164970 104 | 0.000 % |
108.63/108.80 c | 169881 | 3882 16661 50701 | 2147483647 165380 104 | 0.000 % |
109.23/109.33 c | 170333 | 3882 16661 50701 | 2147483647 165832 104 | 0.000 % |
109.73/109.88 c | 170826 | 3882 16661 50701 | 2147483647 166325 104 | 0.000 % |
110.33/110.48 c | 171368 | 3882 16661 50701 | 2147483647 166867 104 | 0.000 % |
111.03/111.12 c | 171964 | 3882 16661 50701 | 2147483647 167463 104 | 0.000 % |
111.73/111.88 c | 172619 | 3882 16661 50701 | 2147483647 168118 104 | 0.000 % |
112.63/112.73 c | 173340 | 3882 16661 50701 | 2147483647 168839 104 | 0.000 % |
113.53/113.62 c | 174134 | 3882 16661 50701 | 2147483647 169633 104 | 0.000 % |
114.43/114.53 c | 175005 | 3882 16661 50701 | 2147483647 170504 105 | 0.000 % |
115.62/115.75 c | 175964 | 3882 16661 50701 | 2147483647 171463 105 | 0.000 % |
116.93/117.09 c | 177018 | 3882 16661 50701 | 2147483647 172517 105 | 0.000 % |
118.42/118.55 c | 178176 | 3882 16661 50701 | 2147483647 173675 105 | 0.000 % |
119.93/120.05 c | 179450 | 3882 16661 50701 | 2147483647 174949 105 | 0.000 % |
121.62/121.78 c | 180850 | 3882 16661 50701 | 2147483647 176349 105 | 0.000 % |
123.42/123.56 c | 182390 | 3882 16661 50701 | 2147483647 177889 105 | 0.000 % |
125.42/125.60 c | 184086 | 3882 16661 50701 | 2147483647 179585 105 | 0.000 % |
127.82/127.97 c | 185952 | 3882 16661 50701 | 2147483647 181451 105 | 0.000 % |
128.02/128.14 c | 186052 | 3882 16661 50701 | 2147483647 181551 105 | 0.000 % |
128.12/128.30 c | 186162 | 3882 16661 50701 | 2147483647 181661 105 | 0.000 % |
128.32/128.46 c | 186285 | 3882 16661 50701 | 2147483647 181784 105 | 0.000 % |
128.52/128.67 c | 186418 | 3882 16661 50701 | 2147483647 181917 105 | 0.000 % |
128.72/128.87 c | 186565 | 3882 16661 50701 | 2147483647 182064 105 | 0.000 % |
129.02/129.13 c | 186725 | 3882 16661 50701 | 2147483647 182224 105 | 0.000 % |
129.22/129.38 c | 186901 | 3882 16661 50701 | 2147483647 182400 105 | 0.000 % |
129.52/129.64 c | 187094 | 3882 16661 50701 | 2147483647 182593 105 | 0.000 % |
129.82/129.95 c | 187306 | 3882 16661 50701 | 2147483647 182805 105 | 0.000 % |
130.12/130.29 c | 187539 | 3882 16661 50701 | 2147483647 183038 105 | 0.000 % |
130.53/130.64 c | 187796 | 3882 16661 50701 | 2147483647 183295 105 | 0.000 % |
130.93/131.05 c | 188077 | 3882 16661 50701 | 2147483647 183576 105 | 0.000 % |
131.43/131.51 c | 188387 | 3882 16661 50701 | 2147483647 183886 105 | 0.000 % |
131.83/131.96 c | 188727 | 3882 16661 50701 | 2147483647 184226 105 | 0.000 % |
132.32/132.47 c | 189100 | 3882 16661 50701 | 2147483647 184599 105 | 0.000 % |
132.82/132.98 c | 189511 | 3882 16661 50701 | 2147483647 185010 105 | 0.000 % |
133.42/133.58 c | 189960 | 3882 16661 50701 | 2147483647 185459 105 | 0.000 % |
134.12/134.25 c | 190455 | 3882 16661 50701 | 2147483647 185954 105 | 0.000 % |
134.82/134.92 c | 190998 | 3882 16661 50701 | 2147483647 186497 105 | 0.000 % |
135.63/135.72 c | 191594 | 3882 16661 50701 | 2147483647 187093 105 | 0.000 % |
136.52/136.66 c | 192249 | 3882 16661 50701 | 2147483647 187748 105 | 0.000 % |
137.52/137.60 c | 192971 | 3882 16661 50701 | 2147483647 188470 105 | 0.000 % |
138.62/138.70 c | 193764 | 3882 16661 50701 | 2147483647 189263 105 | 0.000 % |
139.82/139.99 c | 194635 | 3882 16661 50701 | 2147483647 190134 105 | 0.000 % |
141.12/141.27 c | 195594 | 3882 16661 50701 | 2147483647 191093 105 | 0.000 % |
142.52/142.69 c | 196647 | 3882 16661 50701 | 2147483647 192146 105 | 0.000 % |
143.92/144.04 c | 197808 | 3882 16661 50701 | 2147483647 193307 105 | 0.000 % |
145.52/145.67 c | 199081 | 3882 16661 50701 | 2147483647 194580 105 | 0.000 % |
147.52/147.64 c | 200482 | 3882 16661 50701 | 2147483647 195981 105 | 0.000 % |
149.52/149.67 c | 202022 | 3882 16661 50701 | 2147483647 197521 105 | 0.000 % |
151.91/152.02 c | 203716 | 3882 16661 50701 | 2147483647 199215 105 | 0.000 % |
154.41/154.52 c | 205580 | 3882 16661 50701 | 2147483647 201079 106 | 0.000 % |
157.01/157.19 c | 207630 | 3882 16661 50701 | 2147483647 203129 106 | 0.000 % |
157.21/157.36 c | 207733 | 3882 16661 50701 | 2147483647 203232 106 | 0.000 % |
157.41/157.55 c | 207843 | 3882 16661 50701 | 2147483647 203342 106 | 0.000 % |
157.61/157.76 c | 207964 | 3882 16661 50701 | 2147483647 203463 106 | 0.000 % |
157.81/158.00 c | 208097 | 3882 16661 50701 | 2147483647 203596 106 | 0.000 % |
158.11/158.29 c | 208246 | 3882 16661 50701 | 2147483647 203745 106 | 0.000 % |
158.40/158.57 c | 208406 | 3882 16661 50701 | 2147483647 203905 106 | 0.000 % |
158.70/158.84 c | 208583 | 3882 16661 50701 | 2147483647 204082 106 | 0.000 % |
159.10/159.20 c | 208777 | 3882 16661 50701 | 2147483647 204276 106 | 0.000 % |
159.41/159.54 c | 208990 | 3882 16661 50701 | 2147483647 204489 106 | 0.000 % |
159.70/159.88 c | 209225 | 3882 16661 50701 | 2147483647 204724 106 | 0.000 % |
160.11/160.29 c | 209484 | 3882 16661 50701 | 2147483647 204983 106 | 0.000 % |
160.61/160.73 c | 209766 | 3882 16661 50701 | 2147483647 205265 106 | 0.000 % |
161.01/161.17 c | 210075 | 3882 16661 50701 | 205499 205574 106 | 0.000 % |
161.71/161.90 c | 210415 | 3882 16661 50701 | 205499 182281 106 | 0.000 % |
162.31/162.44 c | 210787 | 3882 16661 50701 | 205499 182653 106 | 0.000 % |
162.91/163.01 c | 211196 | 3882 16661 50701 | 205499 183062 106 | 0.000 % |
163.51/163.62 c | 211646 | 3882 16661 50701 | 205499 183512 106 | 0.000 % |
164.21/164.30 c | 212139 | 3882 16661 50701 | 205499 184005 106 | 0.000 % |
164.81/164.98 c | 212681 | 3882 16661 50701 | 205499 184547 106 | 0.000 % |
165.61/165.73 c | 213277 | 3882 16661 50701 | 205499 185143 106 | 0.000 % |
166.41/166.54 c | 213933 | 3882 16661 50701 | 205499 185799 106 | 0.000 % |
167.41/167.50 c | 214653 | 3882 16661 50701 | 205499 186519 106 | 0.000 % |
168.31/168.47 c | 215446 | 3882 16661 50701 | 205499 187312 106 | 0.000 % |
169.51/169.62 c | 216321 | 3882 16661 50701 | 205499 188187 106 | 0.000 % |
170.71/170.87 c | 217279 | 3882 16661 50701 | 205499 189145 106 | 0.000 % |
172.11/172.23 c | 218333 | 3882 16661 50701 | 205499 190199 106 | 0.000 % |
173.61/173.72 c | 219492 | 3882 16661 50701 | 205499 191358 106 | 0.000 % |
175.21/175.30 c | 220766 | 3882 16661 50701 | 2147483647 192632 106 | 0.000 % |
176.80/176.95 c | 222168 | 3882 16661 50701 | 2147483647 194034 106 | 0.000 % |
178.80/178.93 c | 223709 | 3882 16661 50701 | 2147483647 195575 106 | 0.000 % |
181.00/181.14 c | 225405 | 3882 16661 50701 | 2147483647 197271 106 | 0.000 % |
183.40/183.57 c | 227269 | 3882 16661 50701 | 2147483647 199135 106 | 0.000 % |
186.10/186.23 c | 229320 | 3882 16661 50701 | 2147483647 201186 107 | 0.000 % |
189.00/189.11 c | 231573 | 3882 16661 50701 | 2147483647 203439 107 | 0.000 % |
189.10/189.28 c | 231673 | 3882 16661 50701 | 2147483647 203539 107 | 0.000 % |
189.30/189.47 c | 231784 | 3882 16661 50701 | 2147483647 203650 107 | 0.000 % |
189.50/189.65 c | 231905 | 3882 16661 50701 | 2147483647 203771 107 | 0.000 % |
189.70/189.88 c | 232039 | 3882 16661 50701 | 2147483647 203905 107 | 0.000 % |
190.00/190.16 c | 232185 | 3882 16661 50701 | 2147483647 204051 107 | 0.000 % |
190.30/190.42 c | 232345 | 3882 16661 50701 | 2147483647 204211 107 | 0.000 % |
190.50/190.68 c | 232521 | 3882 16661 50701 | 2147483647 204387 107 | 0.000 % |
190.90/191.01 c | 232716 | 3882 16661 50701 | 2147483647 204582 107 | 0.000 % |
191.20/191.33 c | 232929 | 3882 16661 50701 | 2147483647 204795 107 | 0.000 % |
191.50/191.66 c | 233164 | 3882 16661 50701 | 2147483647 205030 107 | 0.000 % |
191.90/192.06 c | 233421 | 3882 16661 50701 | 2147483647 205287 107 | 0.000 % |
192.40/192.51 c | 233703 | 3882 16661 50701 | 2147483647 205569 107 | 0.000 % |
192.79/192.94 c | 234012 | 3882 16661 50701 | 2147483647 205878 107 | 0.000 % |
193.29/193.48 c | 234353 | 3882 16661 50701 | 2147483647 206219 107 | 0.000 % |
193.89/194.06 c | 234726 | 3882 16661 50701 | 2147483647 206592 107 | 0.000 % |
194.49/194.65 c | 235137 | 3882 16661 50701 | 2147483647 207003 107 | 0.000 % |
195.10/195.28 c | 235587 | 3882 16661 50701 | 2147483647 207453 107 | 0.000 % |
195.90/196.03 c | 236081 | 3882 16661 50701 | 2147483647 207947 107 | 0.000 % |
196.70/196.88 c | 236625 | 3882 16661 50701 | 2147483647 208491 107 | 0.000 % |
197.70/197.82 c | 237221 | 3882 16661 50701 | 2147483647 209087 107 | 0.000 % |
198.59/198.76 c | 237876 | 3882 16661 50701 | 2147483647 209742 107 | 0.000 % |
199.59/199.78 c | 238597 | 3882 16661 50701 | 2147483647 210463 107 | 0.000 % |
200.79/200.94 c | 239389 | 3882 16661 50701 | 2147483647 211255 107 | 0.000 % |
202.09/202.28 c | 240260 | 3882 16661 50701 | 211866 212126 107 | 0.000 % |
203.69/203.85 c | 241218 | 3882 16661 50701 | 211866 185953 107 | 0.000 % |
204.99/205.18 c | 242271 | 3882 16661 50701 | 211866 187006 107 | 0.000 % |
206.59/206.70 c | 243430 | 3882 16661 50701 | 211866 188165 107 | 0.000 % |
208.09/208.28 c | 244703 | 3882 16661 50701 | 211866 189438 107 | 0.000 % |
209.89/210.07 c | 246104 | 3882 16661 50701 | 211866 190839 107 | 0.000 % |
211.99/212.13 c | 247646 | 3882 16661 50701 | 211866 192381 107 | 0.000 % |
214.09/214.25 c | 249340 | 3882 16661 50701 | 211866 194075 107 | 0.000 % |
216.39/216.53 c | 251203 | 3882 16661 50701 | 2147483647 195938 107 | 0.000 % |
219.09/219.25 c | 253255 | 3882 16661 50701 | 2147483647 197990 107 | 0.000 % |
222.09/222.25 c | 255508 | 3882 16661 50701 | 2147483647 200243 107 | 0.000 % |
225.39/225.55 c | 257986 | 3882 16661 50701 | 2147483647 202721 107 | 0.000 % |
225.58/225.72 c | 258086 | 3882 16661 50701 | 2147483647 202821 107 | 0.000 % |
225.78/225.92 c | 258196 | 3882 16661 50701 | 2147483647 202931 107 | 0.000 % |
225.98/226.15 c | 258317 | 3882 16661 50701 | 2147483647 203052 107 | 0.000 % |
226.18/226.38 c | 258450 | 3882 16661 50701 | 2147483647 203185 107 | 0.000 % |
226.49/226.65 c | 258597 | 3882 16661 50701 | 2147483647 203332 107 | 0.000 % |
226.78/226.95 c | 258757 | 3882 16661 50701 | 2147483647 203492 107 | 0.000 % |
227.08/227.26 c | 258933 | 3882 16661 50701 | 2147483647 203668 107 | 0.000 % |
227.38/227.58 c | 259128 | 3882 16661 50701 | 2147483647 203863 107 | 0.000 % |
227.78/227.91 c | 259340 | 3882 16661 50701 | 2147483647 204075 107 | 0.000 % |
228.08/228.27 c | 259573 | 3882 16661 50701 | 2147483647 204308 107 | 0.000 % |
228.48/228.67 c | 259830 | 3882 16661 50701 | 2147483647 204565 107 | 0.000 % |
228.98/229.17 c | 260112 | 3882 16661 50701 | 204739 204847 107 | 0.000 % |
229.69/229.87 c | 260421 | 3882 16661 50701 | 204739 182824 107 | 0.000 % |
230.18/230.34 c | 260761 | 3882 16661 50701 | 204739 183164 107 | 0.000 % |
230.68/230.83 c | 261133 | 3882 16661 50701 | 204739 183536 107 | 0.000 % |
231.18/231.37 c | 261542 | 3882 16661 50701 | 204739 183945 107 | 0.000 % |
231.88/232.04 c | 261995 | 3882 16661 50701 | 204739 184398 107 | 0.000 % |
232.58/232.74 c | 262488 | 3882 16661 50701 | 204739 184891 107 | 0.000 % |
233.28/233.46 c | 263031 | 3882 16661 50701 | 204739 185434 107 | 0.000 % |
234.18/234.32 c | 263627 | 3882 16661 50701 | 204739 186030 107 | 0.000 % |
234.98/235.12 c | 264282 | 3882 16661 50701 | 204739 186685 107 | 0.000 % |
235.98/236.10 c | 265004 | 3882 16661 50701 | 204739 187407 107 | 0.000 % |
236.98/237.20 c | 265797 | 3882 16661 50701 | 204739 188200 107 | 0.000 % |
238.18/238.36 c | 266670 | 3882 16661 50701 | 204739 189073 107 | 0.000 % |
239.48/239.60 c | 267628 | 3882 16661 50701 | 204739 190031 107 | 0.000 % |
240.78/240.99 c | 268681 | 3882 16661 50701 | 204739 191084 107 | 0.000 % |
242.28/242.46 c | 269840 | 3882 16661 50701 | 204739 192243 108 | 0.000 % |
243.98/244.19 c | 271114 | 3882 16661 50701 | 2147483647 193517 107 | 0.000 % |
245.98/246.15 c | 272514 | 3882 16661 50701 | 2147483647 194917 108 | 0.000 % |
248.18/248.30 c | 274054 | 3882 16661 50701 | 2147483647 196457 108 | 0.000 % |
250.37/250.50 c | 275748 | 3882 16661 50701 | 2147483647 198151 108 | 0.000 % |
252.78/252.99 c | 277612 | 3882 16661 50701 | 2147483647 200015 108 | 0.000 % |
255.37/255.54 c | 279662 | 3882 16661 50701 | 2147483647 202065 108 | 0.000 % |
258.57/258.74 c | 281916 | 3882 16661 50701 | 202406 184014 108 | 0.000 % |
261.68/261.83 c | 284396 | 3882 16661 50701 | 202406 186494 108 | 0.000 % |
265.17/265.32 c | 287122 | 3882 16661 50701 | 202406 189220 108 | 0.000 % |
265.27/265.46 c | 287223 | 3882 16661 50701 | 202406 189321 108 | 0.000 % |
265.47/265.62 c | 287333 | 3882 16661 50701 | 202406 189431 108 | 0.000 % |
265.67/265.80 c | 287458 | 3882 16661 50701 | 202406 189556 108 | 0.000 % |
265.87/266.01 c | 287592 | 3882 16661 50701 | 202406 189690 108 | 0.000 % |
266.07/266.26 c | 287738 | 3882 16661 50701 | 202406 189836 108 | 0.000 % |
266.37/266.51 c | 287899 | 3882 16661 50701 | 202406 189997 108 | 0.000 % |
266.57/266.77 c | 288075 | 3882 16661 50701 | 202406 190173 108 | 0.000 % |
266.97/267.10 c | 288269 | 3882 16661 50701 | 202406 190367 108 | 0.000 % |
267.27/267.44 c | 288483 | 3882 16661 50701 | 202406 190581 108 | 0.000 % |
267.57/267.78 c | 288717 | 3882 16661 50701 | 202406 190815 108 | 0.000 % |
267.97/268.12 c | 288973 | 3882 16661 50701 | 202406 191071 108 | 0.000 % |
268.37/268.54 c | 289256 | 3882 16661 50701 | 202406 191354 108 | 0.000 % |
268.77/268.97 c | 289567 | 3882 16661 50701 | 202406 191665 108 | 0.000 % |
269.27/269.46 c | 289906 | 3882 16661 50701 | 202406 192004 108 | 0.000 % |
269.77/269.99 c | 290279 | 3882 16661 50701 | 2147483647 192377 108 | 0.000 % |
270.47/270.61 c | 290689 | 3882 16661 50701 | 2147483647 192787 108 | 0.000 % |
271.07/271.24 c | 291140 | 3882 16661 50701 | 2147483647 193238 108 | 0.000 % |
271.77/271.93 c | 291635 | 3882 16661 50701 | 2147483647 193733 108 | 0.000 % |
272.47/272.69 c | 292178 | 3882 16661 50701 | 2147483647 194276 108 | 0.000 % |
273.27/273.48 c | 292777 | 3882 16661 50701 | 2147483647 194875 108 | 0.000 % |
274.17/274.39 c | 293432 | 3882 16661 50701 | 2147483647 195530 108 | 0.000 % |
275.17/275.35 c | 294154 | 3882 16661 50701 | 2147483647 196252 108 | 0.000 % |
276.37/276.50 c | 294948 | 3882 16661 50701 | 2147483647 197046 108 | 0.000 % |
277.57/277.74 c | 295820 | 3882 16661 50701 | 2147483647 197918 108 | 0.000 % |
278.96/279.15 c | 296779 | 3882 16661 50701 | 2147483647 198877 108 | 0.000 % |
280.46/280.63 c | 297833 | 3882 16661 50701 | 2147483647 199931 108 | 0.000 % |
281.96/282.11 c | 298991 | 3882 16661 50701 | 2147483647 201089 108 | 0.000 % |
283.57/283.77 c | 300265 | 3882 16661 50701 | 202098 202363 108 | 0.000 % |
285.56/285.73 c | 301665 | 3882 16661 50701 | 202098 182871 108 | 0.000 % |
287.46/287.62 c | 303205 | 3882 16661 50701 | 202098 184411 108 | 0.000 % |
289.56/289.71 c | 304899 | 3882 16661 50701 | 202098 186105 108 | 0.000 % |
291.76/291.90 c | 306762 | 3882 16661 50701 | 202098 187968 109 | 0.000 % |
294.36/294.53 c | 308814 | 3882 16661 50701 | 202098 190020 109 | 0.000 % |
297.26/297.42 c | 311067 | 3882 16661 50701 | 2147483647 192273 109 | 0.000 % |
300.56/300.71 c | 313546 | 3882 16661 50701 | 2147483647 194752 109 | 0.000 % |
304.26/304.43 c | 316272 | 3882 16661 50701 | 2147483647 197478 109 | 0.000 % |
308.16/308.31 c | 319269 | 3882 16661 50701 | 2147483647 200475 109 | 0.000 % |
308.26/308.46 c | 319370 | 3882 16661 50701 | 2147483647 200576 109 | 0.000 % |
308.46/308.60 c | 319481 | 3882 16661 50701 | 2147483647 200687 109 | 0.000 % |
308.56/308.79 c | 319603 | 3882 16661 50701 | 2147483647 200809 109 | 0.000 % |
308.86/309.00 c | 319737 | 3882 16661 50701 | 2147483647 200943 109 | 0.000 % |
309.05/309.28 c | 319885 | 3882 16661 50701 | 2147483647 201091 109 | 0.000 % |
309.35/309.52 c | 320045 | 3882 16661 50701 | 2147483647 201251 109 | 0.000 % |
309.65/309.85 c | 320221 | 3882 16661 50701 | 2147483647 201427 109 | 0.000 % |
309.96/310.12 c | 320414 | 3882 16661 50701 | 2147483647 201620 109 | 0.000 % |
310.25/310.46 c | 320626 | 3882 16661 50701 | 2147483647 201832 109 | 0.000 % |
310.65/310.81 c | 320862 | 3882 16661 50701 | 2147483647 202068 109 | 0.000 % |
310.95/311.20 c | 321120 | 3882 16661 50701 | 2147483647 202326 109 | 0.000 % |
311.45/311.66 c | 321401 | 3882 16661 50701 | 2147483647 202607 109 | 0.000 % |
311.95/312.13 c | 321710 | 3882 16661 50701 | 2147483647 202916 109 | 0.000 % |
312.45/312.65 c | 322049 | 3882 16661 50701 | 2147483647 203255 109 | 0.000 % |
313.15/313.31 c | 322422 | 3882 16661 50701 | 2147483647 203628 109 | 0.000 % |
313.75/313.92 c | 322831 | 3882 16661 50701 | 2147483647 204037 109 | 0.000 % |
314.46/314.61 c | 323281 | 3882 16661 50701 | 2147483647 204487 109 | 0.000 % |
315.05/315.28 c | 323774 | 3882 16661 50701 | 2147483647 204980 109 | 0.000 % |
315.85/316.04 c | 324316 | 3882 16661 50701 | 2147483647 205522 109 | 0.000 % |
316.75/316.93 c | 324912 | 3882 16661 50701 | 2147483647 206118 109 | 0.000 % |
317.65/317.86 c | 325568 | 3882 16661 50701 | 2147483647 206774 109 | 0.000 % |
318.85/319.02 c | 326290 | 3882 16661 50701 | 2147483647 207496 109 | 0.000 % |
319.85/320.09 c | 327083 | 3882 16661 50701 | 2147483647 208289 109 | 0.000 % |
321.16/321.33 c | 327954 | 3882 16661 50701 | 2147483647 209160 109 | 0.000 % |
322.56/322.70 c | 328914 | 3882 16661 50701 | 2147483647 210120 109 | 0.000 % |
323.95/324.12 c | 329968 | 3882 16661 50701 | 2147483647 211174 109 | 0.000 % |
325.75/325.94 c | 331128 | 3882 16661 50701 | 211207 186728 109 | 0.000 % |
327.25/327.49 c | 332401 | 3882 16661 50701 | 211207 188001 109 | 0.000 % |
329.05/329.23 c | 333801 | 3882 16661 50701 | 211207 189401 109 | 0.000 % |
330.85/331.09 c | 335341 | 3882 16661 50701 | 211207 190941 109 | 0.000 % |
333.15/333.30 c | 337035 | 3882 16661 50701 | 211207 192635 109 | 0.000 % |
335.65/335.86 c | 338898 | 3882 16661 50701 | 211207 194498 109 | 0.000 % |
338.24/338.45 c | 340947 | 3882 16661 50701 | 2147483647 196547 109 | 0.000 % |
341.34/341.54 c | 343201 | 3882 16661 50701 | 2147483647 198801 109 | 0.000 % |
344.54/344.74 c | 345679 | 3882 16661 50701 | 2147483647 201279 110 | 0.000 % |
348.24/348.49 c | 348404 | 3882 16661 50701 | 2147483647 204004 109 | 0.000 % |
352.24/352.47 c | 351401 | 3882 16661 50701 | 2147483647 207001 110 | 0.000 % |
356.44/356.69 c | 354698 | 3882 16661 50701 | 2147483647 210298 110 | 0.000 % |
356.64/356.84 c | 354799 | 3882 16661 50701 | 2147483647 210399 110 | 0.000 % |
356.84/357.04 c | 354910 | 3882 16661 50701 | 2147483647 210510 110 | 0.000 % |
357.04/357.25 c | 355031 | 3882 16661 50701 | 2147483647 210631 110 | 0.000 % |
357.34/357.55 c | 355164 | 3882 16661 50701 | 2147483647 210764 110 | 0.000 % |
357.65/357.80 c | 355310 | 3882 16661 50701 | 2147483647 210910 110 | 0.000 % |
357.85/358.06 c | 355472 | 3882 16661 50701 | 2147483647 211072 110 | 0.000 % |
358.15/358.34 c | 355649 | 3882 16661 50701 | 2147483647 211249 110 | 0.000 % |
358.45/358.62 c | 355842 | 3882 16661 50701 | 2147483647 211442 110 | 0.000 % |
358.74/358.97 c | 356054 | 3882 16661 50701 | 2147483647 211654 110 | 0.000 % |
359.14/359.38 c | 356287 | 3882 16661 50701 | 2147483647 211887 110 | 0.000 % |
359.55/359.77 c | 356543 | 3882 16661 50701 | 2147483647 212143 110 | 0.000 % |
360.04/360.25 c | 356827 | 3882 16661 50701 | 2147483647 212427 110 | 0.000 % |
360.54/360.74 c | 357138 | 3882 16661 50701 | 2147483647 212738 110 | 0.000 % |
361.04/361.24 c | 357477 | 3882 16661 50701 | 2147483647 213077 110 | 0.000 % |
361.54/361.80 c | 357849 | 3882 16661 50701 | 2147483647 213449 110 | 0.000 % |
362.24/362.48 c | 358258 | 3882 16661 50701 | 2147483647 213858 110 | 0.000 % |
362.94/363.19 c | 358708 | 3882 16661 50701 | 2147483647 214308 110 | 0.000 % |
363.73/363.96 c | 359201 | 3882 16661 50701 | 2147483647 214801 110 | 0.000 % |
364.63/364.81 c | 359743 | 3882 16661 50701 | 2147483647 215343 109 | 0.000 % |
365.33/365.59 c | 360339 | 3882 16661 50701 | 215600 215939 109 | 0.000 % |
366.53/366.77 c | 360996 | 3882 16661 50701 | 215600 191475 110 | 0.000 % |
367.43/367.64 c | 361716 | 3882 16661 50701 | 215600 192195 110 | 0.000 % |
368.43/368.60 c | 362508 | 3882 16661 50701 | 215600 192987 110 | 0.000 % |
369.63/369.88 c | 363382 | 3882 16661 50701 | 215600 193861 110 | 0.000 % |
370.93/371.19 c | 364341 | 3882 16661 50701 | 215600 194820 110 | 0.000 % |
372.33/372.55 c | 365394 | 3882 16661 50701 | 215600 195873 110 | 0.000 % |
373.84/374.01 c | 366552 | 3882 16661 50701 | 215600 197031 110 | 0.000 % |
375.63/375.86 c | 367827 | 3882 16661 50701 | 215600 198306 110 | 0.000 % |
377.53/377.72 c | 369229 | 3882 16661 50701 | 215600 199708 110 | 0.000 % |
379.83/380.02 c | 370769 | 3882 16661 50701 | 200479 180555 110 | 0.000 % |
381.93/382.18 c | 372463 | 3882 16661 50701 | 200479 182249 110 | 0.000 % |
384.33/384.55 c | 374327 | 3882 16661 50701 | 200479 184113 110 | 0.000 % |
386.83/387.03 c | 376377 | 3882 16661 50701 | 200479 186163 110 | 0.000 % |
389.63/389.89 c | 378630 | 3882 16661 50701 | 200479 188416 110 | 0.000 % |
392.83/393.07 c | 381108 | 3882 16661 50701 | 2147483647 190894 110 | 0.000 % |
396.22/396.45 c | 383834 | 3882 16661 50701 | 2147483647 193620 110 | 0.000 % |
400.13/400.33 c | 386832 | 3882 16661 50701 | 2147483647 196618 110 | 0.000 % |
404.42/404.68 c | 390130 | 3882 16661 50701 | 2147483647 199916 110 | 0.000 % |
409.22/409.43 c | 393756 | 3882 16661 50701 | 2147483647 203542 110 | 0.000 % |
409.32/409.58 c | 393856 | 3882 16661 50701 | 2147483647 203642 110 | 0.000 % |
409.52/409.77 c | 393969 | 3882 16661 50701 | 2147483647 203755 110 | 0.000 % |
409.82/410.01 c | 394090 | 3882 16661 50701 | 2147483647 203876 110 | 0.000 % |
410.03/410.26 c | 394228 | 3882 16661 50701 | 2147483647 204014 110 | 0.000 % |
410.32/410.51 c | 394374 | 3882 16661 50701 | 2147483647 204160 110 | 0.000 % |
410.52/410.79 c | 394534 | 3882 16661 50701 | 2147483647 204320 110 | 0.000 % |
410.82/411.09 c | 394711 | 3882 16661 50701 | 2147483647 204497 110 | 0.000 % |
411.22/411.43 c | 394905 | 3882 16661 50701 | 2147483647 204691 110 | 0.000 % |
411.62/411.80 c | 395117 | 3882 16661 50701 | 2147483647 204903 110 | 0.000 % |
411.92/412.18 c | 395350 | 3882 16661 50701 | 2147483647 205136 110 | 0.000 % |
412.32/412.58 c | 395609 | 3882 16661 50701 | 2147483647 205395 110 | 0.000 % |
412.82/413.02 c | 395892 | 3882 16661 50701 | 2147483647 205678 110 | 0.000 % |
413.22/413.48 c | 396201 | 3882 16661 50701 | 2147483647 205987 110 | 0.000 % |
413.72/413.95 c | 396540 | 3882 16661 50701 | 2147483647 206326 110 | 0.000 % |
414.32/414.52 c | 396916 | 3882 16661 50701 | 2147483647 206702 110 | 0.000 % |
414.92/415.19 c | 397325 | 3882 16661 50701 | 2147483647 207111 110 | 0.000 % |
415.62/415.87 c | 397777 | 3882 16661 50701 | 2147483647 207563 110 | 0.000 % |
416.42/416.64 c | 398272 | 3882 16661 50701 | 2147483647 208058 110 | 0.000 % |
417.22/417.50 c | 398816 | 3882 16661 50701 | 2147483647 208602 110 | 0.000 % |
418.12/418.36 c | 399412 | 3882 16661 50701 | 2147483647 209198 110 | 0.000 % |
419.12/419.33 c | 400068 | 3882 16661 50701 | 209786 209854 110 | 0.000 % |
420.32/420.58 c | 400790 | 3882 16661 50701 | 209786 185456 110 | 0.000 % |
421.51/421.71 c | 401582 | 3882 16661 50701 | 209786 186248 110 | 0.000 % |
422.72/422.90 c | 402457 | 3882 16661 50701 | 209786 187123 110 | 0.000 % |
424.01/424.26 c | 403416 | 3882 16661 50701 | 209786 188082 110 | 0.000 % |
425.42/425.61 c | 404470 | 3882 16661 50701 | 209786 189136 110 | 0.000 % |
426.81/427.03 c | 405628 | 3882 16661 50701 | 209786 190294 110 | 0.000 % |
428.51/428.74 c | 406902 | 3882 16661 50701 | 209786 191568 110 | 0.000 % |
430.31/430.54 c | 408302 | 3882 16661 50701 | 209786 192968 110 | 0.000 % |
432.31/432.53 c | 409842 | 3882 16661 50701 | 209786 194508 110 | 0.000 % |
434.51/434.77 c | 411536 | 3882 16661 50701 | 2147483647 196202 110 | 0.000 % |
437.01/437.29 c | 413401 | 3882 16661 50701 | 2147483647 198067 111 | 0.000 % |
439.51/439.74 c | 415452 | 3882 16661 50701 | 2147483647 200118 111 | 0.000 % |
442.41/442.68 c | 417707 | 3882 16661 50701 | 2147483647 202373 111 | 0.000 % |
445.71/445.93 c | 420189 | 3882 16661 50701 | 2147483647 204855 111 | 0.000 % |
449.31/449.56 c | 422914 | 3882 16661 50701 | 2147483647 207580 111 | 0.000 % |
453.31/453.54 c | 425911 | 3882 16661 50701 | 2147483647 210577 111 | 0.000 % |
457.71/457.98 c | 429207 | 3882 16661 50701 | 2147483647 213873 111 | 0.000 % |
462.81/463.03 c | 432833 | 3882 16661 50701 | 214666 195977 111 | 0.000 % |
468.11/468.39 c | 436823 | 3882 16661 50701 | 214666 199967 111 | 0.000 % |
468.31/468.51 c | 436923 | 3882 16661 50701 | 214666 200067 111 | 0.000 % |
468.50/468.70 c | 437033 | 3882 16661 50701 | 214666 200177 111 | 0.000 % |
468.70/468.95 c | 437156 | 3882 16661 50701 | 214666 200300 111 | 0.000 % |
468.90/469.12 c | 437289 | 3882 16661 50701 | 214666 200433 111 | 0.000 % |
469.10/469.38 c | 437437 | 3882 16661 50701 | 214666 200581 111 | 0.000 % |
469.41/469.64 c | 437597 | 3882 16661 50701 | 214666 200741 111 | 0.000 % |
469.70/469.98 c | 437774 | 3882 16661 50701 | 214666 200918 111 | 0.000 % |
470.00/470.28 c | 437967 | 3882 16661 50701 | 214666 201111 111 | 0.000 % |
470.40/470.62 c | 438182 | 3882 16661 50701 | 214666 201326 111 | 0.000 % |
470.70/471.00 c | 438415 | 3882 16661 50701 | 214666 201559 111 | 0.000 % |
471.20/471.40 c | 438672 | 3882 16661 50701 | 214666 201816 111 | 0.000 % |
471.61/471.81 c | 438954 | 3882 16661 50701 | 214666 202098 111 | 0.000 % |
472.00/472.26 c | 439264 | 3882 16661 50701 | 214666 202408 110 | 0.000 % |
472.50/472.77 c | 439607 | 3882 16661 50701 | 214666 202751 110 | 0.000 % |
473.10/473.36 c | 439982 | 3882 16661 50701 | 214666 203126 110 | 0.000 % |
473.70/473.98 c | 440391 | 3882 16661 50701 | 2147483647 203535 110 | 0.000 % |
474.40/474.66 c | 440842 | 3882 16661 50701 | 2147483647 203986 110 | 0.000 % |
475.10/475.39 c | 441336 | 3882 16661 50701 | 2147483647 204480 110 | 0.000 % |
476.01/476.21 c | 441878 | 3882 16661 50701 | 2147483647 205022 110 | 0.000 % |
476.80/477.09 c | 442475 | 3882 16661 50701 | 2147483647 205619 110 | 0.000 % |
477.70/478.00 c | 443130 | 3882 16661 50701 | 2147483647 206274 110 | 0.000 % |
478.70/478.99 c | 443850 | 3882 16661 50701 | 2147483647 206994 110 | 0.000 % |
479.90/480.15 c | 444643 | 3882 16661 50701 | 2147483647 207787 110 | 0.000 % |
481.10/481.37 c | 445516 | 3882 16661 50701 | 2147483647 208660 110 | 0.000 % |
482.70/482.91 c | 446474 | 3882 16661 50701 | 2147483647 209618 110 | 0.000 % |
484.30/484.54 c | 447529 | 3882 16661 50701 | 2147483647 210673 110 | 0.000 % |
486.10/486.32 c | 448690 | 3882 16661 50701 | 2147483647 211834 110 | 0.000 % |
487.90/488.10 c | 449963 | 3882 16661 50701 | 2147483647 213107 110 | 0.000 % |
490.00/490.26 c | 451364 | 3882 16661 50701 | 213147 187240 111 | 0.000 % |
491.90/492.11 c | 452904 | 3882 16661 50701 | 213147 188780 111 | 0.000 % |
494.00/494.25 c | 454598 | 3882 16661 50701 | 213147 190474 111 | 0.000 % |
496.40/496.65 c | 456462 | 3882 16661 50701 | 213147 192338 111 | 0.000 % |
498.89/499.11 c | 458513 | 3882 16661 50701 | 213147 194389 111 | 0.000 % |
501.89/502.12 c | 460766 | 3882 16661 50701 | 2147483647 196642 111 | 0.000 % |
505.09/505.33 c | 463245 | 3882 16661 50701 | 2147483647 199121 111 | 0.000 % |
508.49/508.72 c | 465970 | 3882 16661 50701 | 2147483647 201846 111 | 0.000 % |
512.29/512.59 c | 468967 | 3882 16661 50701 | 2147483647 204843 111 | 0.000 % |
516.99/517.21 c | 472267 | 3882 16661 50701 | 2147483647 208143 111 | 0.000 % |
521.99/522.28 c | 475893 | 3882 16661 50701 | 2147483647 211769 111 | 0.000 % |
527.68/527.98 c | 479882 | 3882 16661 50701 | 2147483647 215758 112 | 0.000 % |
533.78/534.09 c | 484269 | 3882 16661 50701 | 2147483647 220145 112 | 0.000 % |
533.98/534.27 c | 484369 | 3882 16661 50701 | 2147483647 220245 112 | 0.000 % |
534.18/534.44 c | 484480 | 3882 16661 50701 | 2147483647 220356 112 | 0.000 % |
534.38/534.66 c | 484603 | 3882 16661 50701 | 2147483647 220479 112 | 0.000 % |
534.68/534.90 c | 484737 | 3882 16661 50701 | 2147483647 220613 112 | 0.000 % |
534.88/535.15 c | 484883 | 3882 16661 50701 | 2147483647 220759 112 | 0.000 % |
535.18/535.43 c | 485047 | 3882 16661 50701 | 2147483647 220923 112 | 0.000 % |
535.48/535.72 c | 485223 | 3882 16661 50701 | 2147483647 221099 112 | 0.000 % |
535.78/536.08 c | 485416 | 3882 16661 50701 | 2147483647 221292 112 | 0.000 % |
536.18/536.47 c | 485629 | 3882 16661 50701 | 2147483647 221505 112 | 0.000 % |
536.68/536.90 c | 485862 | 3882 16661 50701 | 2147483647 221738 112 | 0.000 % |
537.08/537.32 c | 486118 | 3882 16661 50701 | 2147483647 221994 112 | 0.000 % |
537.48/537.76 c | 486399 | 3882 16661 50701 | 2147483647 222275 112 | 0.000 % |
538.07/538.31 c | 486710 | 3882 16661 50701 | 2147483647 222586 112 | 0.000 % |
538.57/538.86 c | 487049 | 3882 16661 50701 | 2147483647 222925 112 | 0.000 % |
539.28/539.52 c | 487422 | 3882 16661 50701 | 2147483647 223298 112 | 0.000 % |
539.89/540.16 c | 487831 | 3882 16661 50701 | 2147483647 223707 112 | 0.000 % |
540.68/540.90 c | 488281 | 3882 16661 50701 | 2147483647 224157 112 | 0.000 % |
541.48/541.70 c | 488774 | 3882 16661 50701 | 2147483647 224650 112 | 0.000 % |
542.28/542.53 c | 489316 | 3882 16661 50701 | 2147483647 225192 112 | 0.000 % |
543.18/543.47 c | 489913 | 3882 16661 50701 | 2147483647 225789 112 | 0.000 % |
544.18/544.44 c | 490568 | 3882 16661 50701 | 225876 226444 112 | 0.000 % |
545.48/545.76 c | 491290 | 3882 16661 50701 | 225876 194953 112 | 0.000 % |
546.58/546.82 c | 492084 | 3882 16661 50701 | 225876 195747 112 | 0.000 % |
547.78/548.08 c | 492956 | 3882 16661 50701 | 225876 196619 112 | 0.000 % |
549.08/549.38 c | 493915 | 3882 16661 50701 | 225876 197578 112 | 0.000 % |
550.58/550.83 c | 494968 | 3882 16661 50701 | 225876 198631 112 | 0.000 % |
552.18/552.42 c | 496126 | 3882 16661 50701 | 225876 199789 112 | 0.000 % |
553.88/554.17 c | 497399 | 3882 16661 50701 | 225876 201062 112 | 0.000 % |
555.78/556.05 c | 498800 | 3882 16661 50701 | 225876 202463 112 | 0.000 % |
557.88/558.11 c | 500340 | 3882 16661 50701 | 203663 204003 112 | 0.000 % |
560.18/560.46 c | 502034 | 3882 16661 50701 | 203663 183516 112 | 0.000 % |
562.67/562.91 c | 503899 | 3882 16661 50701 | 203663 185381 112 | 0.000 % |
565.27/565.52 c | 505948 | 3882 16661 50701 | 203663 187430 112 | 0.000 % |
568.07/568.34 c | 508205 | 3882 16661 50701 | 203663 189687 112 | 0.000 % |
571.07/571.39 c | 510683 | 3882 16661 50701 | 2147483647 192165 112 | 0.000 % |
574.47/574.71 c | 513408 | 3882 16661 50701 | 2147483647 194890 113 | 0.000 % |
578.47/578.78 c | 516410 | 3882 16661 50701 | 2147483647 197892 113 | 0.000 % |
582.77/583.07 c | 519706 | 3882 16661 50701 | 2147483647 201188 113 | 0.000 % |
587.77/588.01 c | 523331 | 3882 16661 50701 | 2147483647 204813 113 | 0.000 % |
593.16/593.42 c | 527322 | 3882 16661 50701 | 2147483647 208804 113 | 0.000 % |
598.76/599.07 c | 531708 | 3882 16661 50701 | 2147483647 213190 113 | 0.000 % |
605.66/605.91 c | 536531 | 3882 16661 50701 | 2147483647 218013 113 | 0.000 % |
605.86/606.14 c | 536631 | 3882 16661 50701 | 2147483647 218113 113 | 0.000 % |
606.06/606.32 c | 536742 | 3882 16661 50701 | 2147483647 218224 113 | 0.000 % |
606.26/606.51 c | 536863 | 3882 16661 50701 | 2147483647 218345 113 | 0.000 % |
606.46/606.75 c | 536997 | 3882 16661 50701 | 2147483647 218479 113 | 0.000 % |
606.76/607.05 c | 537145 | 3882 16661 50701 | 2147483647 218627 113 | 0.000 % |
607.06/607.35 c | 537306 | 3882 16661 50701 | 2147483647 218788 113 | 0.000 % |
607.36/607.65 c | 537483 | 3882 16661 50701 | 2147483647 218965 113 | 0.000 % |
607.76/608.00 c | 537676 | 3882 16661 50701 | 2147483647 219158 113 | 0.000 % |
608.06/608.37 c | 537888 | 3882 16661 50701 | 2147483647 219370 113 | 0.000 % |
608.46/608.74 c | 538123 | 3882 16661 50701 | 2147483647 219605 113 | 0.000 % |
608.86/609.15 c | 538380 | 3882 16661 50701 | 2147483647 219862 113 | 0.000 % |
609.36/609.63 c | 538661 | 3882 16661 50701 | 2147483647 220143 113 | 0.000 % |
609.86/610.11 c | 538972 | 3882 16661 50701 | 2147483647 220454 113 | 0.000 % |
610.36/610.64 c | 539311 | 3882 16661 50701 | 2147483647 220793 113 | 0.000 % |
610.96/611.25 c | 539683 | 3882 16661 50701 | 2147483647 221165 113 | 0.000 % |
611.56/611.89 c | 540092 | 3882 16661 50701 | 221482 221574 113 | 0.000 % |
612.56/612.87 c | 540541 | 3882 16661 50701 | 221482 193673 114 | 0.000 % |
613.26/613.57 c | 541034 | 3882 16661 50701 | 221482 194166 114 | 0.000 % |
614.16/614.40 c | 541576 | 3882 16661 50701 | 221482 194708 114 | 0.000 % |
614.96/615.20 c | 542173 | 3882 16661 50701 | 221482 195305 114 | 0.000 % |
615.76/616.07 c | 542828 | 3882 16661 50701 | 221482 195960 114 | 0.000 % |
616.76/617.05 c | 543549 | 3882 16661 50701 | 221482 196681 113 | 0.000 % |
617.86/618.14 c | 544342 | 3882 16661 50701 | 221482 197474 113 | 0.000 % |
619.16/619.44 c | 545213 | 3882 16661 50701 | 221482 198345 113 | 0.000 % |
620.45/620.71 c | 546172 | 3882 16661 50701 | 221482 199304 113 | 0.000 % |
621.85/622.11 c | 547227 | 3882 16661 50701 | 221482 200359 113 | 0.000 % |
623.36/623.67 c | 548385 | 3882 16661 50701 | 221482 201517 113 | 0.000 % |
624.95/625.24 c | 549658 | 3882 16661 50701 | 221482 202790 114 | 0.000 % |
627.05/627.36 c | 551059 | 3882 16661 50701 | 203132 183823 113 | 0.000 % |
629.05/629.33 c | 552599 | 3882 16661 50701 | 203132 185363 113 | 0.000 % |
631.25/631.51 c | 554293 | 3882 16661 50701 | 203132 187057 113 | 0.000 % |
633.55/633.81 c | 556158 | 3882 16661 50701 | 203132 188922 113 | 0.000 % |
636.05/636.39 c | 558208 | 3882 16661 50701 | 203132 190972 113 | 0.000 % |
638.95/639.21 c | 560462 | 3882 16661 50701 | 2147483647 193226 113 | 0.000 % |
642.15/642.47 c | 562942 | 3882 16661 50701 | 2147483647 195706 114 | 0.000 % |
645.65/645.96 c | 565667 | 3882 16661 50701 | 2147483647 198431 114 | 0.000 % |
649.34/649.70 c | 568665 | 3882 16661 50701 | 2147483647 201429 114 | 0.000 % |
653.64/653.97 c | 571961 | 3882 16661 50701 | 2147483647 204725 114 | 0.000 % |
658.54/658.85 c | 575588 | 3882 16661 50701 | 2147483647 208352 114 | 0.000 % |
664.14/664.42 c | 579575 | 3882 16661 50701 | 2147483647 212339 115 | 0.000 % |
669.94/670.22 c | 583960 | 3882 16661 50701 | 212765 194306 115 | 0.000 % |
676.24/676.50 c | 588783 | 3882 16661 50701 | 212765 199129 115 | 0.000 % |
682.93/683.23 c | 594089 | 3882 16661 50701 | 2147483647 204435 115 | 0.000 % |
683.13/683.42 c | 594189 | 3882 16661 50701 | 2147483647 204535 115 | 0.000 % |
683.33/683.63 c | 594299 | 3882 16661 50701 | 2147483647 204645 115 | 0.000 % |
683.53/683.84 c | 594421 | 3882 16661 50701 | 2147483647 204767 115 | 0.000 % |
683.73/684.10 c | 594556 | 3882 16661 50701 | 2147483647 204902 115 | 0.000 % |
684.03/684.36 c | 594702 | 3882 16661 50701 | 2147483647 205048 115 | 0.000 % |
684.33/684.64 c | 594863 | 3882 16661 50701 | 2147483647 205209 115 | 0.000 % |
684.63/684.94 c | 595041 | 3882 16661 50701 | 2147483647 205387 115 | 0.000 % |
684.94/685.27 c | 595237 | 3882 16661 50701 | 2147483647 205583 115 | 0.000 % |
685.33/685.64 c | 595449 | 3882 16661 50701 | 2147483647 205795 115 | 0.000 % |
685.73/686.01 c | 595682 | 3882 16661 50701 | 2147483647 206028 115 | 0.000 % |
686.04/686.40 c | 595938 | 3882 16661 50701 | 2147483647 206284 115 | 0.000 % |
686.53/686.82 c | 596220 | 3882 16661 50701 | 2147483647 206566 115 | 0.000 % |
687.03/687.32 c | 596529 | 3882 16661 50701 | 2147483647 206875 115 | 0.000 % |
687.63/687.93 c | 596868 | 3882 16661 50701 | 2147483647 207214 115 | 0.000 % |
688.13/688.50 c | 597240 | 3882 16661 50701 | 2147483647 207586 115 | 0.000 % |
688.83/689.14 c | 597650 | 3882 16661 50701 | 2147483647 207996 115 | 0.000 % |
689.44/689.74 c | 598100 | 3882 16661 50701 | 2147483647 208446 115 | 0.000 % |
690.13/690.48 c | 598594 | 3882 16661 50701 | 2147483647 208940 115 | 0.000 % |
691.03/691.32 c | 599136 | 3882 16661 50701 | 2147483647 209482 115 | 0.000 % |
691.93/692.30 c | 599732 | 3882 16661 50701 | 2147483647 210078 115 | 0.000 % |
692.93/693.27 c | 600387 | 3882 16661 50701 | 210347 210733 115 | 0.000 % |
694.23/694.55 c | 601109 | 3882 16661 50701 | 210347 186042 115 | 0.000 % |
695.23/695.55 c | 601902 | 3882 16661 50701 | 210347 186835 115 | 0.000 % |
696.33/696.69 c | 602774 | 3882 16661 50701 | 210347 187707 115 | 0.000 % |
697.63/697.92 c | 603732 | 3882 16661 50701 | 210347 188665 115 | 0.000 % |
698.93/699.25 c | 604786 | 3882 16661 50701 | 210347 189719 115 | 0.000 % |
700.33/700.63 c | 605946 | 3882 16661 50701 | 210347 190879 115 | 0.000 % |
701.83/702.18 c | 607220 | 3882 16661 50701 | 210347 192153 115 | 0.000 % |
703.63/703.94 c | 608620 | 3882 16661 50701 | 210347 193553 115 | 0.000 % |
705.63/705.98 c | 610160 | 3882 16661 50701 | 2147483647 195093 115 | 0.000 % |
708.03/708.32 c | 611855 | 3882 16661 50701 | 2147483647 196788 115 | 0.000 % |
710.23/710.57 c | 613718 | 3882 16661 50701 | 2147483647 198651 115 | 0.000 % |
713.03/713.34 c | 615767 | 3882 16661 50701 | 2147483647 200700 115 | 0.000 % |
716.02/716.38 c | 618020 | 3882 16661 50701 | 2147483647 202953 115 | 0.000 % |
719.52/719.83 c | 620498 | 3882 16661 50701 | 2147483647 205431 115 | 0.000 % |
723.22/723.58 c | 623223 | 3882 16661 50701 | 2147483647 208156 115 | 0.000 % |
727.42/727.77 c | 626222 | 3882 16661 50701 | 2147483647 211155 115 | 0.000 % |
732.02/732.39 c | 629518 | 3882 16661 50701 | 2147483647 214451 115 | 0.000 % |
737.32/737.69 c | 633143 | 3882 16661 50701 | 214933 191999 116 | 0.000 % |
742.52/742.83 c | 637131 | 3882 16661 50701 | 214933 195987 116 | 0.000 % |
748.42/748.79 c | 641517 | 3882 16661 50701 | 2147483647 200373 116 | 0.000 % |
754.91/755.21 c | 646340 | 3882 16661 50701 | 2147483647 205196 116 | 0.000 % |
762.11/762.44 c | 651646 | 3882 16661 50701 | 208856 187158 116 | 0.000 % |
769.41/769.76 c | 657482 | 3882 16661 50701 | 208856 192994 116 | 0.000 % |
769.61/769.92 c | 657583 | 3882 16661 50701 | 208856 193095 116 | 0.000 % |
769.81/770.11 c | 657693 | 3882 16661 50701 | 208856 193205 116 | 0.000 % |
770.01/770.33 c | 657816 | 3882 16661 50701 | 208856 193328 116 | 0.000 % |
770.21/770.54 c | 657949 | 3882 16661 50701 | 208856 193461 116 | 0.000 % |
770.41/770.79 c | 658095 | 3882 16661 50701 | 208856 193607 116 | 0.000 % |
770.71/771.07 c | 658255 | 3882 16661 50701 | 208856 193767 116 | 0.000 % |
771.01/771.35 c | 658431 | 3882 16661 50701 | 208856 193943 116 | 0.000 % |
771.31/771.68 c | 658624 | 3882 16661 50701 | 208856 194136 116 | 0.000 % |
771.61/771.95 c | 658836 | 3882 16661 50701 | 208856 194348 116 | 0.000 % |
772.01/772.34 c | 659069 | 3882 16661 50701 | 208856 194581 116 | 0.000 % |
772.41/772.75 c | 659326 | 3882 16661 50701 | 208856 194838 116 | 0.000 % |
772.81/773.16 c | 659607 | 3882 16661 50701 | 208856 195119 116 | 0.000 % |
773.31/773.62 c | 659919 | 3882 16661 50701 | 208856 195431 116 | 0.000 % |
773.71/774.09 c | 660261 | 3882 16661 50701 | 2147483647 195773 116 | 0.000 % |
774.31/774.63 c | 660635 | 3882 16661 50701 | 2147483647 196147 116 | 0.000 % |
774.91/775.23 c | 661045 | 3882 16661 50701 | 2147483647 196557 116 | 0.000 % |
775.61/775.92 c | 661494 | 3882 16661 50701 | 2147483647 197006 116 | 0.000 % |
776.31/776.62 c | 661987 | 3882 16661 50701 | 2147483647 197499 116 | 0.000 % |
777.11/777.41 c | 662529 | 3882 16661 50701 | 2147483647 198041 116 | 0.000 % |
777.91/778.25 c | 663125 | 3882 16661 50701 | 2147483647 198637 116 | 0.000 % |
778.91/779.21 c | 663781 | 3882 16661 50701 | 2147483647 199293 116 | 0.000 % |
779.91/780.27 c | 664502 | 3882 16661 50701 | 2147483647 200014 116 | 0.000 % |
781.11/781.43 c | 665297 | 3882 16661 50701 | 2147483647 200809 116 | 0.000 % |
782.31/782.60 c | 666168 | 3882 16661 50701 | 2147483647 201680 116 | 0.000 % |
783.60/783.97 c | 667126 | 3882 16661 50701 | 2147483647 202638 115 | 0.000 % |
785.30/785.64 c | 668179 | 3882 16661 50701 | 2147483647 203691 115 | 0.000 % |
787.00/787.35 c | 669337 | 3882 16661 50701 | 2147483647 204849 115 | 0.000 % |
788.80/789.15 c | 670613 | 3882 16661 50701 | 205515 206125 115 | 0.000 % |
790.80/791.13 c | 672013 | 3882 16661 50701 | 205515 184000 116 | 0.000 % |
792.90/793.22 c | 673553 | 3882 16661 50701 | 205515 185540 116 | 0.000 % |
795.01/795.35 c | 675249 | 3882 16661 50701 | 205515 187236 116 | 0.000 % |
797.20/797.52 c | 677112 | 3882 16661 50701 | 205515 189099 116 | 0.000 % |
799.80/800.11 c | 679162 | 3882 16661 50701 | 205515 191149 116 | 0.000 % |
802.70/803.08 c | 681415 | 3882 16661 50701 | 2147483647 193402 116 | 0.000 % |
806.10/806.43 c | 683897 | 3882 16661 50701 | 2147483647 195884 116 | 0.000 % |
809.70/810.08 c | 686623 | 3882 16661 50701 | 2147483647 198610 116 | 0.000 % |
813.60/813.94 c | 689621 | 3882 16661 50701 | 2147483647 201608 116 | 0.000 % |
817.79/818.17 c | 692917 | 3882 16661 50701 | 2147483647 204904 116 | 0.000 % |
822.40/822.76 c | 696543 | 3882 16661 50701 | 2147483647 208530 116 | 0.000 % |
827.90/828.30 c | 700530 | 3882 16661 50701 | 2147483647 212517 117 | 0.000 % |
833.89/834.22 c | 704919 | 3882 16661 50701 | 2147483647 216906 117 | 0.000 % |
840.59/841.00 c | 709744 | 3882 16661 50701 | 2147483647 221731 117 | 0.000 % |
847.99/848.39 c | 715049 | 3882 16661 50701 | 221991 202663 117 | 0.000 % |
856.38/856.72 c | 720884 | 3882 16661 50701 | 207615 185691 117 | 0.000 % |
864.48/864.87 c | 727302 | 3882 16661 50701 | 207615 192109 117 | 0.000 % |
864.68/865.00 c | 727403 | 3882 16661 50701 | 207615 192210 117 | 0.000 % |
864.78/865.14 c | 727515 | 3882 16661 50701 | 207615 192322 117 | 0.000 % |
864.98/865.37 c | 727636 | 3882 16661 50701 | 207615 192443 117 | 0.000 % |
865.18/865.56 c | 727770 | 3882 16661 50701 | 207615 192577 117 | 0.000 % |
865.39/865.80 c | 727917 | 3882 16661 50701 | 207615 192724 117 | 0.000 % |
865.68/866.06 c | 728080 | 3882 16661 50701 | 207615 192887 117 | 0.000 % |
865.98/866.37 c | 728259 | 3882 16661 50701 | 207615 193066 117 | 0.000 % |
866.28/866.64 c | 728452 | 3882 16661 50701 | 207615 193259 117 | 0.000 % |
866.58/866.99 c | 728666 | 3882 16661 50701 | 207615 193473 117 | 0.000 % |
866.98/867.35 c | 728899 | 3882 16661 50701 | 207615 193706 117 | 0.000 % |
867.38/867.73 c | 729155 | 3882 16661 50701 | 207615 193962 117 | 0.000 % |
867.78/868.10 c | 729436 | 3882 16661 50701 | 207615 194243 117 | 0.000 % |
868.18/868.55 c | 729746 | 3882 16661 50701 | 207615 194553 117 | 0.000 % |
868.68/869.07 c | 730086 | 3882 16661 50701 | 2147483647 194893 117 | 0.000 % |
869.28/869.69 c | 730459 | 3882 16661 50701 | 2147483647 195266 117 | 0.000 % |
869.88/870.26 c | 730868 | 3882 16661 50701 | 2147483647 195675 117 | 0.000 % |
870.58/870.92 c | 731317 | 3882 16661 50701 | 2147483647 196124 116 | 0.000 % |
871.28/871.67 c | 731810 | 3882 16661 50701 | 2147483647 196617 116 | 0.000 % |
872.08/872.46 c | 732352 | 3882 16661 50701 | 2147483647 197159 116 | 0.000 % |
872.98/873.38 c | 732948 | 3882 16661 50701 | 2147483647 197755 116 | 0.000 % |
873.98/874.31 c | 733603 | 3882 16661 50701 | 2147483647 198410 116 | 0.000 % |
874.98/875.33 c | 734324 | 3882 16661 50701 | 2147483647 199131 116 | 0.000 % |
876.08/876.48 c | 735116 | 3882 16661 50701 | 2147483647 199923 116 | 0.000 % |
877.28/877.62 c | 735989 | 3882 16661 50701 | 2147483647 200796 116 | 0.000 % |
878.58/878.95 c | 736947 | 3882 16661 50701 | 2147483647 201754 116 | 0.000 % |
879.98/880.33 c | 738000 | 3882 16661 50701 | 2147483647 202807 116 | 0.000 % |
881.68/882.04 c | 739161 | 3882 16661 50701 | 2147483647 203968 116 | 0.000 % |
883.37/883.74 c | 740434 | 3882 16661 50701 | 204807 205241 116 | 0.000 % |
885.57/885.91 c | 741834 | 3882 16661 50701 | 204807 183694 116 | 0.000 % |
887.38/887.78 c | 743374 | 3882 16661 50701 | 204807 185234 116 | 0.000 % |
889.68/890.05 c | 745068 | 3882 16661 50701 | 204807 186928 116 | 0.000 % |
892.18/892.54 c | 746933 | 3882 16661 50701 | 204807 188793 116 | 0.000 % |
894.78/895.17 c | 748982 | 3882 16661 50701 | 204807 190842 116 | 0.000 % |
897.68/898.09 c | 751235 | 3882 16661 50701 | 2147483647 193095 116 | 0.000 % |
900.98/901.36 c | 753713 | 3882 16661 50701 | 2147483647 195573 116 | 0.000 % |
904.68/905.09 c | 756441 | 3882 16661 50701 | 2147483647 198301 116 | 0.000 % |
908.48/908.85 c | 759438 | 3882 16661 50701 | 2147483647 201298 116 | 0.000 % |
912.78/913.15 c | 762734 | 3882 16661 50701 | 2147483647 204594 116 | 0.000 % |
917.67/918.10 c | 766361 | 3882 16661 50701 | 2147483647 208221 117 | 0.000 % |
923.17/923.53 c | 770349 | 3882 16661 50701 | 2147483647 212209 117 | 0.000 % |
928.97/929.37 c | 774734 | 3882 16661 50701 | 2147483647 216594 117 | 0.000 % |
935.97/936.36 c | 779557 | 3882 16661 50701 | 2147483647 221417 117 | 0.000 % |
943.27/943.67 c | 784862 | 3882 16661 50701 | 221861 198327 117 | 0.000 % |
951.66/952.03 c | 790697 | 3882 16661 50701 | 203465 182437 117 | 0.000 % |
959.16/959.59 c | 797116 | 3882 16661 50701 | 203465 188856 118 | 0.000 % |
967.86/968.28 c | 804175 | 3882 16661 50701 | 2147483647 195915 118 | 0.000 % |
968.06/968.45 c | 804275 | 3882 16661 50701 | 2147483647 196015 118 | 0.000 % |
968.26/968.63 c | 804385 | 3882 16661 50701 | 2147483647 196125 118 | 0.000 % |
968.36/968.78 c | 804507 | 3882 16661 50701 | 2147483647 196247 118 | 0.000 % |
968.66/969.07 c | 804640 | 3882 16661 50701 | 2147483647 196380 118 | 0.000 % |
968.86/969.29 c | 804789 | 3882 16661 50701 | 2147483647 196529 118 | 0.000 % |
969.16/969.53 c | 804954 | 3882 16661 50701 | 2147483647 196694 118 | 0.000 % |
969.36/969.79 c | 805130 | 3882 16661 50701 | 2147483647 196870 118 | 0.000 % |
969.76/970.10 c | 805323 | 3882 16661 50701 | 2147483647 197063 118 | 0.000 % |
970.06/970.44 c | 805536 | 3882 16661 50701 | 2147483647 197276 118 | 0.000 % |
970.46/970.84 c | 805769 | 3882 16661 50701 | 2147483647 197509 118 | 0.000 % |
970.86/971.28 c | 806026 | 3882 16661 50701 | 2147483647 197766 118 | 0.000 % |
971.36/971.71 c | 806309 | 3882 16661 50701 | 2147483647 198049 118 | 0.000 % |
971.76/972.17 c | 806622 | 3882 16661 50701 | 2147483647 198362 118 | 0.000 % |
972.26/972.69 c | 806962 | 3882 16661 50701 | 2147483647 198702 118 | 0.000 % |
972.95/973.30 c | 807335 | 3882 16661 50701 | 2147483647 199075 118 | 0.000 % |
973.45/973.89 c | 807744 | 3882 16661 50701 | 2147483647 199484 118 | 0.000 % |
974.16/974.51 c | 808194 | 3882 16661 50701 | 2147483647 199934 118 | 0.000 % |
974.85/975.20 c | 808687 | 3882 16661 50701 | 2147483647 200427 118 | 0.000 % |
975.55/975.93 c | 809233 | 3882 16661 50701 | 2147483647 200973 118 | 0.000 % |
976.36/976.76 c | 809830 | 3882 16661 50701 | 2147483647 201570 118 | 0.000 % |
977.25/977.65 c | 810490 | 3882 16661 50701 | 2147483647 202230 118 | 0.000 % |
978.25/978.67 c | 811210 | 3882 16661 50701 | 2147483647 202950 118 | 0.000 % |
979.35/979.79 c | 812004 | 3882 16661 50701 | 2147483647 203744 118 | 0.000 % |
980.65/981.09 c | 812875 | 3882 16661 50701 | 2147483647 204615 118 | 0.000 % |
982.05/982.48 c | 813834 | 3882 16661 50701 | 2147483647 205574 118 | 0.000 % |
983.45/983.86 c | 814891 | 3882 16661 50701 | 2147483647 206631 118 | 0.000 % |
985.05/985.48 c | 816049 | 3882 16661 50701 | 2147483647 207789 118 | 0.000 % |
986.85/987.29 c | 817322 | 3882 16661 50701 | 2147483647 209062 118 | 0.000 % |
988.75/989.17 c | 818722 | 3882 16661 50701 | 2147483647 210462 118 | 0.000 % |
990.85/991.26 c | 820264 | 3882 16661 50701 | 211741 212004 118 | 0.000 % |
993.35/993.78 c | 821958 | 3882 16661 50701 | 211741 191569 118 | 0.000 % |
995.75/996.17 c | 823822 | 3882 16661 50701 | 211741 193433 118 | 0.000 % |
998.45/998.88 c | 825872 | 3882 16661 50701 | 211741 195483 118 | 0.000 % |
1001.54/1001.91 c | 828125 | 3882 16661 50701 | 211741 197736 118 | 0.000 % |
1004.74/1005.10 c | 830604 | 3882 16661 50701 | 2147483647 200215 118 | 0.000 % |
1008.25/1008.63 c | 833329 | 3882 16661 50701 | 2147483647 202940 118 | 0.000 % |
1012.34/1012.72 c | 836326 | 3882 16661 50701 | 2147483647 205937 118 | 0.000 % |
1016.94/1017.32 c | 839623 | 3882 16661 50701 | 2147483647 209234 118 | 0.000 % |
1021.84/1022.29 c | 843248 | 3882 16661 50701 | 2147483647 212859 118 | 0.000 % |
1027.23/1027.67 c | 847236 | 3882 16661 50701 | 2147483647 216847 118 | 0.000 % |
1033.43/1033.86 c | 851621 | 3882 16661 50701 | 2147483647 221232 118 | 0.000 % |
1040.63/1041.05 c | 856446 | 3882 16661 50701 | 2147483647 226057 118 | 0.000 % |
1048.73/1049.16 c | 861752 | 3882 16661 50701 | 229612 200209 118 | 0.000 % |
1056.63/1057.04 c | 867589 | 3882 16661 50701 | 229612 206046 118 | 0.000 % |
1065.62/1066.01 c | 874007 | 3882 16661 50701 | 208457 186301 118 | 0.000 % |
1074.32/1074.73 c | 881066 | 3882 16661 50701 | 2147483647 193360 119 | 0.000 % |
1084.62/1085.03 c | 888830 | 3882 16661 50701 | 2147483647 201124 119 | 0.000 % |
1084.82/1085.20 c | 888933 | 3882 16661 50701 | 2147483647 201227 119 | 0.000 % |
1084.92/1085.39 c | 889043 | 3882 16661 50701 | 2147483647 201337 119 | 0.000 % |
1085.22/1085.60 c | 889165 | 3882 16661 50701 | 2147483647 201459 119 | 0.000 % |
1085.42/1085.81 c | 889298 | 3882 16661 50701 | 2147483647 201592 119 | 0.000 % |
1085.62/1086.04 c | 889445 | 3882 16661 50701 | 2147483647 201739 119 | 0.000 % |
1085.92/1086.31 c | 889606 | 3882 16661 50701 | 2147483647 201900 119 | 0.000 % |
1086.22/1086.65 c | 889783 | 3882 16661 50701 | 2147483647 202077 119 | 0.000 % |
1086.52/1086.99 c | 889977 | 3882 16661 50701 | 2147483647 202271 119 | 0.000 % |
1086.92/1087.35 c | 890189 | 3882 16661 50701 | 202294 202483 119 | 0.000 % |
1087.52/1087.98 c | 890423 | 3882 16661 50701 | 202294 180577 119 | 0.000 % |
1087.92/1088.36 c | 890680 | 3882 16661 50701 | 202294 180834 119 | 0.000 % |
1088.32/1088.74 c | 890961 | 3882 16661 50701 | 202294 181115 119 | 0.000 % |
1088.72/1089.16 c | 891272 | 3882 16661 50701 | 202294 181426 119 | 0.000 % |
1089.22/1089.66 c | 891611 | 3882 16661 50701 | 202294 181765 118 | 0.000 % |
1089.72/1090.18 c | 891983 | 3882 16661 50701 | 202294 182137 118 | 0.000 % |
1090.22/1090.69 c | 892394 | 3882 16661 50701 | 202294 182548 118 | 0.000 % |
1090.82/1091.24 c | 892843 | 3882 16661 50701 | 202294 182997 118 | 0.000 % |
1091.41/1091.88 c | 893342 | 3882 16661 50701 | 202294 183496 118 | 0.000 % |
1092.21/1092.64 c | 893884 | 3882 16661 50701 | 202294 184038 118 | 0.000 % |
1092.92/1093.39 c | 894480 | 3882 16661 50701 | 202294 184634 118 | 0.000 % |
1093.71/1094.19 c | 895135 | 3882 16661 50701 | 202294 185289 118 | 0.000 % |
1094.71/1095.15 c | 895860 | 3882 16661 50701 | 202294 186014 118 | 0.000 % |
1095.81/1096.23 c | 896653 | 3882 16661 50701 | 202294 186807 118 | 0.000 % |
1096.91/1097.36 c | 897525 | 3882 16661 50701 | 202294 187679 118 | 0.000 % |
1098.31/1098.74 c | 898484 | 3882 16661 50701 | 202294 188638 118 | 0.000 % |
1099.71/1100.17 c | 899538 | 3882 16661 50701 | 202294 189692 118 | 0.000 % |
1101.41/1101.81 c | 900698 | 3882 16661 50701 | 2147483647 190852 118 | 0.000 % |
1103.11/1103.51 c | 901971 | 3882 16661 50701 | 2147483647 192125 118 | 0.000 % |
1105.01/1105.48 c | 903373 | 3882 16661 50701 | 2147483647 193527 118 | 0.000 % |
1107.11/1107.58 c | 904915 | 3882 16661 50701 | 2147483647 195069 118 | 0.000 % |
1109.31/1109.75 c | 906610 | 3882 16661 50701 | 2147483647 196764 118 | 0.000 % |
1111.71/1112.17 c | 908473 | 3882 16661 50701 | 2147483647 198627 118 | 0.000 % |
1114.51/1114.94 c | 910522 | 3882 16661 50701 | 2147483647 200676 118 | 0.000 % |
1117.61/1118.07 c | 912775 | 3882 16661 50701 | 2147483647 202929 118 | 0.000 % |
1121.10/1121.52 c | 915256 | 3882 16661 50701 | 2147483647 205410 118 | 0.000 % |
1125.00/1125.41 c | 917982 | 3882 16661 50701 | 2147483647 208136 118 | 0.000 % |
1129.40/1129.85 c | 920980 | 3882 16661 50701 | 210154 189156 117 | 0.000 % |
1133.50/1134.00 c | 924279 | 3882 16661 50701 | 210154 192455 117 | 0.000 % |
1138.10/1138.53 c | 927907 | 3882 16661 50701 | 210154 196083 117 | 0.000 % |
1143.20/1143.62 c | 931894 | 3882 16661 50701 | 2147483647 200070 118 | 0.000 % |
1148.90/1149.38 c | 936279 | 3882 16661 50701 | 2147483647 204455 118 | 0.000 % |
1155.49/1155.91 c | 941102 | 3882 16661 50701 | 2147483647 209278 118 | 0.000 % |
1162.89/1163.37 c | 946407 | 3882 16661 50701 | 2147483647 214583 118 | 0.000 % |
1170.99/1171.44 c | 952244 | 3882 16661 50701 | 2147483647 220420 118 | 0.000 % |
1180.39/1180.84 c | 958662 | 3882 16661 50701 | 2147483647 226838 118 | 0.000 % |
1190.79/1191.23 c | 965722 | 3882 16661 50701 | 228177 204266 117 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832743-1242787242/watcher-1832743-1242787242 -o /tmp/evaluation-result-1832743-1242787242/solver-1832743-1242787242 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832743-1242787242.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/65 26403
/proc/meminfo: memFree=1840648/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0
/proc/26403/stat : 26403 (SatELiteGTI) R 26401 26403 25745 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306751968 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 250969030738 0 0 4100 65536 0 0 0 17 0 0 0
/proc/26403/statm: 1339 235 195 169 0 50 0
[pid=26404] ppid=26403 vsize=0 CPUtime=0
/proc/26404/stat : 26404 (SatELiteGTI) Z 26403 26403 25745 0 -1 4194380 61 188 0 0 0 0 0 0 16 0 1 0 306751968 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 1 0 0
/proc/26404/statm: 0 0 0 0 0 0 0
[startup+0.0295441 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26403
/proc/meminfo: memFree=1840648/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306751968 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26403/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101553 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26403
/proc/meminfo: memFree=1840648/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301573 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26403
/proc/meminfo: memFree=1840648/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701615 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26403
/proc/meminfo: memFree=1840648/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1836280/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=5276 CPUtime=1.4
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 1037 0 0 0 140 0 0 0 25 0 1 0 306751976 5402624 1023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 1319 1023 77 171 0 1146 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10632
[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1834744/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=8724 CPUtime=3
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 1903 0 0 0 299 1 0 0 25 0 1 0 306751976 8933376 1889 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 2181 1889 77 171 0 2008 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14080
[startup+6.30115 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1828344/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=14280 CPUtime=6.2
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 3276 0 0 0 618 2 0 0 25 0 1 0 306751976 14622720 3262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 3570 3262 77 171 0 3397 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19636
[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1819768/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=22180 CPUtime=12.6
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 5240 0 0 0 1256 4 0 0 25 0 1 0 306751976 22712320 5226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 5545 5226 77 171 0 5372 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27536
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1807544/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=33784 CPUtime=25.4
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 8153 0 0 0 2533 7 0 0 25 0 1 0 306751976 34594816 8139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 8446 8139 77 171 0 8273 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39140
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1790840/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=50596 CPUtime=50.99
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 12342 0 0 0 5088 11 0 0 25 0 1 0 306751976 51810304 12328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 12649 12328 77 171 0 12476 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55952
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26409
/proc/meminfo: memFree=1766136/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=74888 CPUtime=102.17
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 18410 0 0 0 10200 17 0 0 25 0 1 0 306751976 76685312 18396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 18722 18396 77 171 0 18549 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 80244
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1744632/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=96008 CPUtime=162.15
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 23726 0 0 0 16187 28 0 0 25 0 1 0 306751976 98312192 23712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 24002 23712 77 171 0 23829 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 101364
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1740472/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=100504 CPUtime=222.12
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 24743 0 0 0 22183 29 0 0 25 0 1 0 306751976 102916096 24729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 25126 24729 77 171 0 24953 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 105860
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1740408/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=100504 CPUtime=282.1
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 24743 0 0 0 28181 29 0 0 25 0 1 0 306751976 102916096 24729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 25126 24729 77 171 0 24953 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 105860
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1737784/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=103012 CPUtime=342.08
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 25382 0 0 0 34178 30 0 0 25 0 1 0 306751976 105484288 25368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 25753 25368 77 171 0 25580 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 108368
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1735288/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=105388 CPUtime=402.06
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 25966 0 0 0 40175 31 0 0 25 0 1 0 306751976 107917312 25952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 26347 25952 77 171 0 26174 0
Current children cumulated CPU time (s) 402.12
################
# More data... #
################
/proc/26409/statm: 28261 27892 77 171 0 28088 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 118400
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1727160/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=113044 CPUtime=641.99
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 27906 0 0 0 64165 34 0 0 25 0 1 0 306751976 115757056 27892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 28261 27892 77 171 0 28088 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 118400
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1727032/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=113044 CPUtime=701.97
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 27906 0 0 0 70163 34 0 0 25 0 1 0 306751976 115757056 27892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 28261 27892 77 171 0 28088 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 118400
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1726904/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=113044 CPUtime=761.96
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 27906 0 0 0 76162 34 0 0 25 0 1 0 306751976 115757056 27892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 28261 27892 77 171 0 28088 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 118400
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1726840/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=113044 CPUtime=821.93
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 27906 0 0 0 82159 34 0 0 25 0 1 0 306751976 115757056 27892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 28261 27892 77 171 0 28088 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 118400
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1723576/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=116212 CPUtime=881.91
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 28695 0 0 0 88156 35 0 0 25 0 1 0 306751976 119001088 28681 1992294400 134512640 135215339 4294956240 18446744073709551615 134525138 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 29053 28681 77 171 0 28880 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 121568
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1723128/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=116608 CPUtime=941.91
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 28789 0 0 0 94155 36 0 0 25 0 1 0 306751976 119406592 28775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 29152 28775 77 171 0 28979 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 121964
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1723000/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=116608 CPUtime=1001.88
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 28789 0 0 0 100152 36 0 0 25 0 1 0 306751976 119406592 28775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 29152 28775 77 171 0 28979 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 121964
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1717560/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=122020 CPUtime=1061.86
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 30138 0 0 0 106148 38 0 0 25 0 1 0 306751976 124948480 30124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 30505 30124 77 171 0 30332 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 127376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1717432/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=122020 CPUtime=1121.84
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 30138 0 0 0 112146 38 0 0 25 0 1 0 306751976 124948480 30124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 30505 30124 77 171 0 30332 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 127376
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1717368/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=122020 CPUtime=1181.83
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 30138 0 0 0 118145 38 0 0 25 0 1 0 306751976 124948480 30124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 30505 30124 77 171 0 30332 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 127376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26411
/proc/meminfo: memFree=1717304/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=122020 CPUtime=1200.03
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 30139 0 0 0 119964 39 0 0 25 0 1 0 306751976 124948480 30125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 30505 30125 77 171 0 30332 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 127376
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/67 26411
/proc/meminfo: memFree=1717304/2055920 swapFree=4179996/4192956
[pid=26403] ppid=26401 vsize=5356 CPUtime=0.06
/proc/26403/stat : 26403 (SatELiteGTI) S 26401 26403 25745 0 -1 4194304 336 844 0 0 0 0 6 0 16 0 1 0 306751968 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26403/statm: 1339 239 197 169 0 50 0
[pid=26409] ppid=26403 vsize=122020 CPUtime=1200.03
/proc/26409/stat : 26409 (minisat_static) R 26403 26403 25745 0 -1 4194304 30139 0 0 0 119964 39 0 0 25 0 1 0 306751976 124948480 30125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26409/statm: 30505 30125 77 171 0 30332 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 127376
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26403 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=65989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.078987
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.7
CPU system time (s): 0.39
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 127376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.065989
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1180
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= 5
runsolver used 1.11583 second user time and 3.35749 second system time
The end
Begin job on node56 at 2009-05-20 04:40:42
IDJOB=1832743
IDBENCH=70335
IDSOLVER=671
FILE ID=node56/1832743-1242787242
PBS_JOBID= 9322328
Free space on /tmp= 103044 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832743-1242787242/watcher-1832743-1242787242 -o /tmp/evaluation-result-1832743-1242787242/solver-1832743-1242787242 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832743-1242787242.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 438060a1be2646cf8b7b6ce135e188f8
RANDOM SEED=387951031
node56.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.218
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.218
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: 1841128 kB
Buffers: 28692 kB
Cached: 138660 kB
SwapCached: 7068 kB
Active: 43088 kB
Inactive: 133996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1841128 kB
SwapTotal: 4192956 kB
SwapFree: 4179996 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 14600 kB
Slab: 23688 kB
Committed_AS: 945584 kB
PageTables: 1472 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= 103040 MiB
End job on node56 at 2009-05-20 05:00:45