0.00/0.00 c Parsing...
0.08/0.14 c ==============================================================================
0.08/0.14 c | | ORIGINAL | LEARNT | |
0.08/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.08/0.14 c ==============================================================================
0.08/0.14 c | 0 | 163622 479140 | 49086 0 0 nan | 0.000 % |
1.09/1.14 c | 0 | 73221 247132 | -- 0 -- -- | -- | -84687/-214858
1.09/1.14 c ==============================================================================
1.09/1.14 c Result : #vars: 8333 #clauses: 73221 #literals: 247132
1.09/1.14 c CPU time: 1.10983 s
1.09/1.14 c ==============================================================================
1.18/1.23 c This is MiniSat 2.0 beta
1.18/1.23 c WARNING: for repeatability, setting FPU to use double precision
1.18/1.23 c ============================[ Problem Statistics ]=============================
1.18/1.23 c | |
1.18/1.23 c | Number of variables: 8333 |
1.18/1.23 c | Number of clauses: 73221 |
1.18/1.27 c | Parsing time: 0.04 s |
1.18/1.27 c ============================[ Search Statistics ]==============================
1.18/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.18/1.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.18/1.27 c ===============================================================================
1.18/1.27 c | 0 | 8333 73221 247132 | 24407 0 nan | 0.000 % |
1.18/1.28 c | 100 | 8332 73221 247132 | 24407 99 8 | 0.012 % |
1.18/1.29 c | 201 | 8330 73221 247132 | 24407 199 9 | 0.036 % |
1.18/1.29 c | 302 | 8330 73221 247132 | 24407 300 9 | 0.036 % |
1.22/1.30 c | 412 | 8330 73221 247132 | 24407 410 10 | 0.036 % |
1.22/1.30 c | 512 | 8330 73221 247132 | 24407 510 10 | 0.036 % |
1.22/1.31 c | 622 | 8330 73221 247132 | 24407 620 10 | 0.036 % |
1.22/1.32 c | 744 | 8330 73221 247132 | 24407 742 11 | 0.036 % |
1.22/1.32 c | 844 | 8330 73221 247132 | 24407 842 11 | 0.036 % |
1.22/1.33 c | 955 | 8330 73221 247132 | 24407 953 11 | 0.036 % |
1.22/1.34 c | 1077 | 8330 73221 247132 | 24407 1075 11 | 0.036 % |
1.22/1.35 c | 1210 | 8330 73221 247132 | 24407 1208 11 | 0.036 % |
1.22/1.35 c | 1310 | 8330 73221 247132 | 24407 1308 12 | 0.036 % |
1.22/1.36 c | 1421 | 8330 73221 247132 | 24407 1419 12 | 0.036 % |
1.22/1.37 c | 1543 | 8330 73221 247132 | 24407 1541 12 | 0.036 % |
1.22/1.38 c | 1676 | 8330 73221 247132 | 24407 1674 12 | 0.036 % |
1.22/1.39 c | 1822 | 8330 73221 247132 | 24407 1820 12 | 0.036 % |
1.22/1.40 c | 1922 | 8330 73221 247132 | 24407 1920 12 | 0.036 % |
1.22/1.41 c | 2034 | 8330 73221 247132 | 24407 2032 12 | 0.036 % |
1.22/1.41 c | 2156 | 8330 73221 247132 | 24407 2154 12 | 0.036 % |
1.22/1.43 c | 2289 | 8330 72780 244975 | 24407 2286 12 | 0.036 % |
1.22/1.44 c | 2436 | 8330 72780 244975 | 24407 2433 12 | 0.036 % |
1.22/1.45 c | 2599 | 8330 72780 244975 | 24407 2596 12 | 0.036 % |
1.22/1.45 c | 2700 | 8330 72780 244975 | 24407 2697 12 | 0.036 % |
1.22/1.46 c | 2810 | 8330 72780 244975 | 24407 2807 12 | 0.036 % |
1.22/1.47 c | 2932 | 8330 72780 244975 | 24407 2929 12 | 0.036 % |
1.22/1.48 c | 3065 | 8330 72780 244975 | 24407 3062 13 | 0.036 % |
1.22/1.48 c | 3212 | 8330 72780 244975 | 24407 3209 13 | 0.036 % |
1.22/1.50 c | 3372 | 8330 72780 244975 | 24407 3369 12 | 0.036 % |
1.22/1.51 c | 3548 | 8330 72780 244975 | 24407 3545 13 | 0.036 % |
1.22/1.52 c | 3649 | 8330 72780 244975 | 24407 3646 13 | 0.036 % |
1.22/1.53 c | 3759 | 8330 72780 244975 | 24407 3756 13 | 0.036 % |
1.22/1.54 c | 3882 | 8330 72780 244975 | 24407 3879 13 | 0.036 % |
1.22/1.55 c | 4015 | 8330 72780 244975 | 24407 4012 13 | 0.036 % |
1.22/1.56 c | 4163 | 8330 72780 244975 | 24407 4160 13 | 0.036 % |
1.22/1.57 c | 4323 | 8330 72780 244975 | 24407 4320 13 | 0.036 % |
1.22/1.59 c | 4499 | 8330 72780 244975 | 24407 4496 13 | 0.036 % |
1.22/1.60 c | 4695 | 8330 72780 244975 | 24407 4692 13 | 0.036 % |
1.22/1.61 c | 4796 | 8330 72780 244975 | 24407 4793 13 | 0.036 % |
1.22/1.62 c | 4907 | 8330 72780 244975 | 24407 4904 13 | 0.036 % |
1.22/1.63 c | 5028 | 8330 72780 244975 | 24407 5025 13 | 0.036 % |
1.22/1.64 c | 5161 | 8330 72780 244975 | 24407 5158 13 | 0.036 % |
1.22/1.65 c | 5307 | 8330 72780 244975 | 24407 5304 13 | 0.036 % |
1.22/1.66 c | 5467 | 8330 72780 244975 | 24407 5464 13 | 0.036 % |
1.22/1.67 c | 5644 | 8330 72780 244975 | 24407 5641 13 | 0.036 % |
1.22/1.69 c | 5837 | 8330 72780 244975 | 24407 5834 13 | 0.036 % |
1.22/1.70 c | 6051 | 8330 72780 244975 | 24407 6048 13 | 0.036 % |
1.22/1.71 c | 6151 | 8330 72780 244975 | 24407 6148 13 | 0.036 % |
1.22/1.72 c | 6262 | 8330 72780 244975 | 24407 6259 13 | 0.036 % |
1.22/1.73 c | 6383 | 8330 72780 244975 | 24407 6380 13 | 0.036 % |
1.22/1.74 c | 6516 | 8330 72780 244975 | 24407 6513 13 | 0.036 % |
1.22/1.75 c | 6665 | 8330 72780 244975 | 24407 6662 13 | 0.036 % |
1.22/1.76 c | 6825 | 8330 72780 244975 | 24407 6822 13 | 0.036 % |
1.22/1.78 c | 7001 | 8330 72780 244975 | 24407 6998 13 | 0.036 % |
1.22/1.79 c | 7194 | 8330 72780 244975 | 24407 7191 13 | 0.036 % |
1.22/1.81 c | 7406 | 8330 72780 244975 | 24407 7403 14 | 0.036 % |
1.22/1.82 c | 7642 | 8330 72780 244975 | 24407 7639 13 | 0.036 % |
1.22/1.83 c | 7744 | 8330 72780 244975 | 24407 7741 13 | 0.036 % |
1.22/1.84 c | 7854 | 8330 72780 244975 | 24407 7851 13 | 0.036 % |
1.22/1.85 c | 7975 | 8330 72780 244975 | 24407 7972 13 | 0.036 % |
1.22/1.86 c | 8109 | 8330 72780 244975 | 24407 8106 13 | 0.036 % |
1.22/1.87 c | 8256 | 8330 72780 244975 | 24407 8253 13 | 0.036 % |
1.22/1.88 c | 8417 | 8330 72780 244975 | 24407 8414 13 | 0.036 % |
1.22/1.89 c | 8593 | 8330 72780 244975 | 24407 8590 13 | 0.036 % |
1.22/1.91 c | 8786 | 8330 72780 244975 | 24407 8783 13 | 0.036 % |
1.22/1.92 c | 8999 | 8330 72780 244975 | 24407 8996 14 | 0.036 % |
1.22/1.94 c | 9232 | 8330 72780 244975 | 24407 9229 14 | 0.036 % |
1.22/1.96 c | 9490 | 8330 72780 244975 | 24407 9487 14 | 0.036 % |
1.22/1.97 c | 9592 | 8330 72780 244975 | 24407 9589 14 | 0.036 % |
1.22/1.98 c | 9703 | 8330 72780 244975 | 24407 9700 14 | 0.036 % |
1.22/1.99 c | 9828 | 8330 72780 244975 | 24407 9825 14 | 0.036 % |
1.22/2.01 c | 9962 | 8330 72780 244975 | 24407 9959 14 | 0.036 % |
1.22/2.02 c | 10112 | 8330 72780 244975 | 2147483647 10109 14 | 0.036 % |
1.22/2.03 c | 10273 | 8330 72780 244975 | 2147483647 10270 14 | 0.036 % |
1.22/2.05 c | 10449 | 8330 72780 244975 | 2147483647 10446 14 | 0.036 % |
1.22/2.06 c | 10642 | 8330 72780 244975 | 2147483647 10639 14 | 0.036 % |
1.22/2.09 c | 10855 | 8330 72780 244975 | 2147483647 10852 14 | 0.036 % |
2.08/2.11 c | 11090 | 8330 72780 244975 | 2147483647 11087 14 | 0.036 % |
2.08/2.14 c | 11347 | 8330 72780 244975 | 2147483647 11344 14 | 0.036 % |
2.08/2.16 c | 11628 | 8330 72780 244975 | 2147483647 11625 14 | 0.036 % |
2.08/2.18 c | 11729 | 8330 72780 244975 | 2147483647 11726 14 | 0.036 % |
2.08/2.18 c | 11840 | 8330 72780 244975 | 2147483647 11837 14 | 0.036 % |
2.08/2.19 c | 11962 | 8330 72780 244975 | 2147483647 11959 14 | 0.036 % |
2.18/2.21 c | 12095 | 8330 72780 244975 | 2147483647 12092 14 | 0.036 % |
2.18/2.23 c | 12243 | 8330 72780 244975 | 2147483647 12240 14 | 0.036 % |
2.18/2.24 c | 12403 | 8330 72780 244975 | 2147483647 12400 14 | 0.036 % |
2.18/2.25 c | 12580 | 8330 72780 244975 | 2147483647 12577 14 | 0.036 % |
2.18/2.28 c | 12774 | 8330 72780 244975 | 2147483647 12771 14 | 0.036 % |
2.27/2.30 c | 12986 | 8330 72780 244975 | 2147483647 12983 14 | 0.036 % |
2.27/2.33 c | 13219 | 8330 72780 244975 | 2147483647 13216 14 | 0.036 % |
2.27/2.35 c | 13477 | 8330 72780 244975 | 2147483647 13474 14 | 0.036 % |
2.27/2.38 c | 13758 | 8330 72780 244975 | 2147483647 13755 14 | 0.036 % |
2.37/2.41 c | 14067 | 8330 72780 244975 | 2147483647 14064 14 | 0.036 % |
2.37/2.42 c | 14168 | 8330 72780 244975 | 2147483647 14165 14 | 0.036 % |
2.37/2.44 c | 14280 | 8330 72780 244975 | 2147483647 14277 14 | 0.036 % |
2.37/2.46 c | 14401 | 8330 72780 244975 | 2147483647 14398 14 | 0.036 % |
2.37/2.47 c | 14534 | 8330 72780 244975 | 2147483647 14531 15 | 0.036 % |
2.37/2.49 c | 14680 | 8330 72780 244975 | 2147483647 14677 15 | 0.036 % |
2.47/2.51 c | 14843 | 8330 72780 244975 | 2147483647 14840 15 | 0.036 % |
2.47/2.52 c | 15020 | 8330 72780 244975 | 2147483647 15017 15 | 0.036 % |
2.47/2.53 c | 15216 | 8330 72780 244975 | 2147483647 15213 15 | 0.036 % |
2.47/2.55 c | 15429 | 8330 72780 244975 | 2147483647 15426 15 | 0.036 % |
2.47/2.57 c | 15662 | 8330 72780 244975 | 2147483647 15659 15 | 0.036 % |
2.47/2.58 c | 15919 | 8330 72780 244975 | 2147483647 15916 15 | 0.036 % |
2.57/2.60 c | 16201 | 8330 72780 244975 | 2147483647 16198 14 | 0.036 % |
2.57/2.62 c | 16510 | 8330 72780 244975 | 2147483647 16507 14 | 0.036 % |
2.57/2.65 c | 16850 | 8330 72780 244975 | 2147483647 16847 14 | 0.036 % |
2.57/2.66 c | 16951 | 8330 72780 244975 | 2147483647 16948 14 | 0.036 % |
2.57/2.66 c | 17062 | 8330 72780 244975 | 2147483647 17059 14 | 0.036 % |
2.57/2.67 c | 17184 | 8330 72780 244975 | 2147483647 17181 14 | 0.036 % |
2.57/2.68 c | 17319 | 8330 72780 244975 | 2147483647 17316 14 | 0.036 % |
2.57/2.69 c | 17466 | 8330 72780 244975 | 2147483647 17463 14 | 0.036 % |
2.67/2.71 c | 17628 | 8330 72780 244975 | 2147483647 17625 14 | 0.036 % |
2.67/2.73 c | 17804 | 8330 72780 244975 | 2147483647 17801 14 | 0.036 % |
2.67/2.75 c | 17997 | 8330 72780 244975 | 2147483647 17994 14 | 0.036 % |
2.67/2.77 c | 18209 | 8330 72780 244975 | 2147483647 18206 14 | 0.036 % |
2.77/2.80 c | 18443 | 8330 72780 244975 | 2147483647 18440 15 | 0.036 % |
2.77/2.82 c | 18699 | 8330 72780 244975 | 2147483647 18696 15 | 0.036 % |
2.77/2.85 c | 18980 | 8330 72780 244975 | 2147483647 18977 15 | 0.036 % |
2.77/2.88 c | 19289 | 8330 72780 244975 | 2147483647 19286 15 | 0.036 % |
2.87/2.93 c | 19630 | 8330 72780 244975 | 2147483647 19627 15 | 0.036 % |
2.87/2.96 c | 20003 | 8330 72780 244975 | 2147483647 20000 15 | 0.036 % |
2.87/2.97 c | 20104 | 8330 72780 244975 | 2147483647 20101 15 | 0.036 % |
2.87/2.98 c | 20214 | 8330 72780 244975 | 2147483647 20211 15 | 0.036 % |
2.87/3.00 c | 20335 | 8330 72780 244975 | 2147483647 20332 15 | 0.036 % |
2.97/3.01 c | 20468 | 8330 72780 244975 | 2147483647 20465 15 | 0.036 % |
2.97/3.03 c | 20614 | 8330 72780 244975 | 2147483647 20611 15 | 0.036 % |
2.97/3.05 c | 20774 | 8330 72780 244975 | 2147483647 20771 15 | 0.036 % |
2.97/3.06 c | 20950 | 8330 72780 244975 | 2147483647 20947 15 | 0.036 % |
2.97/3.09 c | 21144 | 8330 72780 244975 | 2147483647 21141 15 | 0.036 % |
3.07/3.11 c | 21356 | 8330 72780 244975 | 2147483647 21353 15 | 0.036 % |
3.07/3.14 c | 21590 | 8330 72780 244975 | 2147483647 21587 15 | 0.036 % |
3.07/3.17 c | 21846 | 8330 72780 244975 | 2147483647 21843 15 | 0.036 % |
3.17/3.21 c | 22128 | 8330 72780 244975 | 2147483647 22125 15 | 0.036 % |
3.17/3.25 c | 22438 | 8330 72780 244975 | 2147483647 22435 15 | 0.036 % |
3.17/3.29 c | 22777 | 8330 72780 244975 | 2147483647 22774 15 | 0.036 % |
3.28/3.34 c | 23149 | 8330 72780 244975 | 2147483647 23146 15 | 0.036 % |
3.28/3.39 c | 23559 | 8330 72780 244975 | 2147483647 23556 15 | 0.036 % |
3.37/3.40 c | 23660 | 8330 72780 244975 | 2147483647 23657 15 | 0.036 % |
3.37/3.42 c | 23770 | 8330 72780 244975 | 2147483647 23767 15 | 0.036 % |
3.37/3.43 c | 23891 | 8330 72780 244975 | 2147483647 23888 15 | 0.036 % |
3.37/3.45 c | 24024 | 8330 72780 244975 | 2147483647 24021 15 | 0.036 % |
3.37/3.48 c | 24171 | 8330 72780 244975 | 2147483647 24168 15 | 0.036 % |
3.47/3.50 c | 24332 | 8330 72780 244975 | 2147483647 24329 15 | 0.036 % |
3.47/3.52 c | 24508 | 8330 72780 244975 | 2147483647 24505 15 | 0.036 % |
3.47/3.54 c | 24701 | 8330 72780 244975 | 2147483647 24698 15 | 0.036 % |
3.47/3.57 c | 24913 | 8330 72780 244975 | 2147483647 24910 15 | 0.036 % |
3.57/3.60 c | 25146 | 8330 72780 244975 | 2147483647 25143 15 | 0.036 % |
3.57/3.63 c | 25402 | 8330 72780 244975 | 2147483647 25399 15 | 0.036 % |
3.57/3.66 c | 25683 | 8330 72780 244975 | 2147483647 25680 15 | 0.036 % |
3.67/3.71 c | 25992 | 8330 72780 244975 | 2147483647 25989 15 | 0.036 % |
3.67/3.75 c | 26332 | 8330 72780 244975 | 2147483647 26329 15 | 0.036 % |
3.77/3.80 c | 26706 | 8330 72780 244975 | 2147483647 26703 15 | 0.036 % |
3.77/3.86 c | 27115 | 8330 72780 244975 | 2147483647 27112 15 | 0.036 % |
3.87/3.92 c | 27566 | 8330 72780 244975 | 2147483647 27563 15 | 0.036 % |
3.87/3.94 c | 27667 | 8330 72780 244975 | 2147483647 27664 15 | 0.036 % |
3.87/3.95 c | 27777 | 8330 72780 244975 | 2147483647 27774 15 | 0.036 % |
3.87/3.97 c | 27898 | 8330 72780 244975 | 2147483647 27895 15 | 0.036 % |
3.87/3.99 c | 28031 | 8330 72780 244975 | 2147483647 28028 15 | 0.036 % |
3.97/4.01 c | 28177 | 8330 72780 244975 | 2147483647 28174 15 | 0.036 % |
3.97/4.03 c | 28338 | 8330 72780 244975 | 2147483647 28335 15 | 0.036 % |
3.97/4.06 c | 28515 | 8330 72780 244975 | 2147483647 28512 15 | 0.036 % |
3.97/4.09 c | 28709 | 8330 72780 244975 | 2147483647 28706 15 | 0.036 % |
4.07/4.11 c | 28923 | 8330 72780 244975 | 2147483647 28920 15 | 0.036 % |
4.07/4.14 c | 29156 | 8330 72780 244975 | 2147483647 29153 15 | 0.036 % |
4.07/4.18 c | 29412 | 8330 72780 244975 | 2147483647 29409 15 | 0.036 % |
4.17/4.22 c | 29694 | 8330 72780 244975 | 2147483647 29691 15 | 0.036 % |
4.17/4.28 c | 30006 | 8330 72780 244975 | 2147483647 30003 15 | 0.036 % |
4.27/4.33 c | 30346 | 8330 72780 244975 | 2147483647 30343 15 | 0.036 % |
4.27/4.37 c | 30718 | 8330 72780 244975 | 2147483647 30715 15 | 0.036 % |
4.37/4.43 c | 31127 | 8330 72780 244975 | 2147483647 31124 15 | 0.036 % |
4.37/4.49 c | 31577 | 8330 72780 244975 | 2147483647 31574 16 | 0.036 % |
4.47/4.55 c | 32071 | 8330 72780 244975 | 2147483647 32068 16 | 0.036 % |
4.47/4.56 c | 32171 | 8330 72780 244975 | 2147483647 32168 16 | 0.036 % |
4.47/4.58 c | 32281 | 8330 72780 244975 | 2147483647 32278 15 | 0.036 % |
4.47/4.59 c | 32402 | 8330 72780 244975 | 2147483647 32399 15 | 0.036 % |
4.57/4.61 c | 32537 | 8330 72780 244975 | 2147483647 32534 15 | 0.036 % |
4.57/4.62 c | 32685 | 8330 72780 244975 | 2147483647 32682 15 | 0.036 % |
4.57/4.64 c | 32845 | 8330 72780 244975 | 2147483647 32842 15 | 0.036 % |
4.57/4.66 c | 33021 | 8330 72780 244975 | 2147483647 33018 15 | 0.036 % |
4.57/4.68 c | 33214 | 8330 72780 244975 | 2147483647 33211 15 | 0.036 % |
4.67/4.72 c | 33426 | 8330 72780 244975 | 2147483647 33423 15 | 0.036 % |
4.67/4.75 c | 33659 | 8330 72780 244975 | 2147483647 33656 15 | 0.036 % |
4.77/4.80 c | 33916 | 8330 72780 244975 | 2147483647 33913 15 | 0.036 % |
4.77/4.85 c | 34197 | 8330 72780 244975 | 2147483647 34194 15 | 0.036 % |
4.77/4.89 c | 34506 | 8330 72780 244975 | 2147483647 34503 16 | 0.036 % |
4.87/4.95 c | 34846 | 8330 72780 244975 | 2147483647 34843 16 | 0.036 % |
4.97/5.01 c | 35221 | 8330 72780 244975 | 2147483647 35218 16 | 0.036 % |
4.97/5.08 c | 35630 | 8330 72780 244975 | 2147483647 35627 16 | 0.036 % |
5.07/5.17 c | 36081 | 8330 72780 244975 | 2147483647 36078 16 | 0.036 % |
5.17/5.24 c | 36574 | 8330 72780 244975 | 2147483647 36571 16 | 0.036 % |
5.27/5.32 c | 37117 | 8330 72780 244975 | 2147483647 37114 16 | 0.036 % |
5.27/5.34 c | 37217 | 8330 72780 244975 | 2147483647 37214 16 | 0.036 % |
5.27/5.37 c | 37327 | 8330 72780 244975 | 2147483647 37324 16 | 0.036 % |
5.27/5.39 c | 37450 | 8330 72780 244975 | 2147483647 37447 16 | 0.036 % |
5.37/5.42 c | 37584 | 8330 72780 244975 | 2147483647 37581 16 | 0.036 % |
5.37/5.45 c | 37730 | 8330 72780 244975 | 2147483647 37727 16 | 0.036 % |
5.37/5.48 c | 37890 | 8330 72780 244975 | 2147483647 37887 16 | 0.036 % |
5.47/5.52 c | 38066 | 8330 72780 244975 | 2147483647 38063 16 | 0.036 % |
5.47/5.55 c | 38259 | 8330 72780 244975 | 2147483647 38256 16 | 0.036 % |
5.47/5.59 c | 38471 | 8330 72780 244975 | 2147483647 38468 16 | 0.036 % |
5.56/5.63 c | 38704 | 8330 72780 244975 | 2147483647 38701 16 | 0.036 % |
5.56/5.69 c | 38960 | 8330 72780 244975 | 2147483647 38957 16 | 0.036 % |
5.66/5.73 c | 39241 | 8330 72780 244975 | 2147483647 39238 16 | 0.036 % |
5.66/5.79 c | 39552 | 8330 72780 244975 | 2147483647 39549 16 | 0.036 % |
5.76/5.85 c | 39891 | 8330 72780 244975 | 2147483647 39888 16 | 0.036 % |
5.86/5.92 c | 40264 | 8330 72780 244975 | 2147483647 40261 16 | 0.036 % |
5.86/5.99 c | 40673 | 8330 72780 244975 | 2147483647 40670 16 | 0.036 % |
5.96/6.06 c | 41123 | 8330 72780 244975 | 2147483647 41120 16 | 0.036 % |
6.06/6.16 c | 41617 | 8330 72780 244975 | 2147483647 41614 16 | 0.036 % |
6.16/6.24 c | 42161 | 8330 72780 244975 | 2147483647 42158 16 | 0.036 % |
6.26/6.34 c | 42762 | 8330 72780 244975 | 2147483647 42759 16 | 0.036 % |
6.26/6.36 c | 42863 | 8330 72780 244975 | 2147483647 42860 16 | 0.036 % |
6.26/6.37 c | 42975 | 8330 72780 244975 | 2147483647 42972 16 | 0.036 % |
6.26/6.39 c | 43096 | 8330 72780 244975 | 2147483647 43093 16 | 0.036 % |
6.36/6.41 c | 43231 | 8330 72780 244975 | 2147483647 43228 16 | 0.036 % |
6.36/6.44 c | 43378 | 8330 72780 244975 | 2147483647 43375 16 | 0.036 % |
6.36/6.47 c | 43540 | 8330 72780 244975 | 2147483647 43537 16 | 0.036 % |
6.46/6.50 c | 43716 | 8330 72780 244975 | 2147483647 43713 16 | 0.036 % |
6.46/6.53 c | 43909 | 8330 72780 244975 | 2147483647 43906 16 | 0.036 % |
6.46/6.56 c | 44121 | 8330 72780 244975 | 2147483647 44118 16 | 0.036 % |
6.56/6.60 c | 44354 | 8330 72780 244975 | 2147483647 44351 16 | 0.036 % |
6.56/6.64 c | 44610 | 8330 72780 244975 | 2147483647 44607 16 | 0.036 % |
6.56/6.68 c | 44891 | 8330 72780 244975 | 2147483647 44888 16 | 0.036 % |
6.66/6.73 c | 45200 | 8330 72780 244975 | 2147483647 45197 16 | 0.036 % |
6.66/6.78 c | 45539 | 8330 72780 244975 | 2147483647 45536 16 | 0.036 % |
6.76/6.85 c | 45911 | 8330 72780 244975 | 2147483647 45908 16 | 0.036 % |
6.86/6.93 c | 46320 | 8330 72780 244975 | 2147483647 46317 16 | 0.036 % |
6.96/7.03 c | 46770 | 8330 72780 244975 | 2147483647 46767 16 | 0.036 % |
7.06/7.13 c | 47263 | 8330 72780 244975 | 2147483647 47260 16 | 0.036 % |
7.15/7.22 c | 47805 | 8330 72780 244975 | 2147483647 47802 16 | 0.036 % |
7.26/7.34 c | 48402 | 8330 72780 244975 | 2147483647 48399 16 | 0.036 % |
7.36/7.46 c | 49057 | 8330 72780 244975 | 2147483647 49054 16 | 0.036 % |
7.36/7.49 c | 49157 | 8330 72780 244975 | 2147483647 49154 16 | 0.036 % |
7.46/7.52 c | 49267 | 8330 72780 244975 | 2147483647 49264 16 | 0.036 % |
7.46/7.55 c | 49388 | 8330 72780 244975 | 2147483647 49385 16 | 0.036 % |
7.46/7.58 c | 49521 | 8330 72780 244975 | 2147483647 49518 16 | 0.036 % |
7.56/7.62 c | 49667 | 8330 72780 244975 | 2147483647 49664 16 | 0.036 % |
7.56/7.65 c | 49827 | 8330 72780 244975 | 2147483647 49824 16 | 0.036 % |
7.56/7.69 c | 50003 | 8330 72780 244975 | 2147483647 50000 16 | 0.036 % |
7.66/7.73 c | 50196 | 8330 72780 244975 | 2147483647 50193 16 | 0.036 % |
7.66/7.78 c | 50411 | 8330 72780 244975 | 2147483647 50408 16 | 0.036 % |
7.76/7.85 c | 50645 | 8330 72780 244975 | 2147483647 50642 16 | 0.036 % |
7.85/7.90 c | 50901 | 8330 72780 244975 | 2147483647 50898 16 | 0.036 % |
7.85/7.98 c | 51183 | 8330 72780 244975 | 2147483647 51180 16 | 0.036 % |
7.95/8.06 c | 51494 | 8330 72780 244975 | 2147483647 51491 17 | 0.036 % |
8.05/8.16 c | 51833 | 8330 72780 244975 | 2147483647 51830 16 | 0.036 % |
8.15/8.25 c | 52206 | 8330 72780 244975 | 2147483647 52203 17 | 0.036 % |
8.25/8.36 c | 52619 | 8330 72780 244975 | 2147483647 52616 17 | 0.036 % |
8.35/8.47 c | 53069 | 8330 72780 244975 | 2147483647 53066 17 | 0.036 % |
8.55/8.61 c | 53562 | 8330 72780 244975 | 2147483647 53559 17 | 0.036 % |
8.65/8.72 c | 54104 | 8330 72780 244975 | 2147483647 54101 17 | 0.036 % |
8.75/8.87 c | 54700 | 8330 72780 244975 | 2147483647 54697 17 | 0.036 % |
8.95/9.02 c | 55358 | 8330 72780 244975 | 2147483647 55355 17 | 0.036 % |
9.15/9.22 c | 56079 | 8330 72780 244975 | 2147483647 56076 17 | 0.036 % |
9.15/9.26 c | 56180 | 8330 72780 244975 | 2147483647 56177 17 | 0.036 % |
9.15/9.29 c | 56291 | 8330 72780 244975 | 2147483647 56288 17 | 0.036 % |
9.25/9.33 c | 56412 | 8330 72780 244975 | 2147483647 56409 17 | 0.036 % |
9.25/9.37 c | 56546 | 8330 72780 244975 | 2147483647 56543 17 | 0.036 % |
9.35/9.41 c | 56692 | 8330 72780 244975 | 2147483647 56689 17 | 0.036 % |
9.35/9.45 c | 56852 | 8330 72780 244975 | 2147483647 56849 17 | 0.036 % |
9.45/9.50 c | 57029 | 8330 72780 244975 | 2147483647 57026 17 | 0.036 % |
9.45/9.55 c | 57222 | 8330 72780 244975 | 2147483647 57219 17 | 0.036 % |
9.55/9.61 c | 57434 | 8330 72780 244975 | 2147483647 57431 17 | 0.036 % |
9.55/9.69 c | 57668 | 8330 72780 244975 | 2147483647 57665 17 | 0.036 % |
9.65/9.77 c | 57928 | 8330 72780 244975 | 2147483647 57925 17 | 0.036 % |
9.75/9.84 c | 58210 | 8330 72780 244975 | 2147483647 58207 17 | 0.036 % |
9.85/9.93 c | 58519 | 8330 72780 244975 | 2147483647 58516 17 | 0.036 % |
9.95/10.03 c | 58858 | 8330 72780 244975 | 2147483647 58855 17 | 0.036 % |
10.05/10.17 c | 59230 | 8330 72780 244975 | 2147483647 59227 17 | 0.036 % |
10.15/10.29 c | 59639 | 8330 72780 244975 | 2147483647 59636 17 | 0.036 % |
10.35/10.45 c | 60088 | 8330 72780 244975 | 2147483647 60085 17 | 0.036 % |
10.45/10.58 c | 60582 | 8330 72780 244975 | 2147483647 60579 17 | 0.036 % |
10.65/10.73 c | 61124 | 8330 72780 244975 | 2147483647 61121 17 | 0.036 % |
10.75/10.88 c | 61721 | 8330 72780 244975 | 2147483647 61718 17 | 0.036 % |
10.95/11.05 c | 62377 | 8330 72780 244975 | 2147483647 62374 17 | 0.036 % |
11.15/11.29 c | 63098 | 8330 72780 244975 | 2147483647 63095 17 | 0.036 % |
11.35/11.49 c | 63890 | 8330 72780 244975 | 2147483647 63887 17 | 0.036 % |
11.45/11.53 c | 63990 | 8330 72780 244975 | 2147483647 63987 17 | 0.036 % |
11.45/11.57 c | 64101 | 8330 72780 244975 | 2147483647 64098 17 | 0.036 % |
11.55/11.60 c | 64223 | 8330 72780 244975 | 2147483647 64220 17 | 0.036 % |
11.55/11.65 c | 64356 | 8330 72780 244975 | 2147483647 64353 17 | 0.036 % |
11.55/11.69 c | 64502 | 8330 72780 244975 | 2147483647 64499 17 | 0.036 % |
11.65/11.75 c | 64664 | 8330 72780 244975 | 2147483647 64661 17 | 0.036 % |
11.75/11.84 c | 64841 | 8330 72780 244975 | 2147483647 64838 17 | 0.036 % |
11.84/11.90 c | 65034 | 8330 72780 244975 | 2147483647 65031 17 | 0.036 % |
11.84/11.99 c | 65246 | 8330 72780 244975 | 2147483647 65243 17 | 0.036 % |
11.95/12.05 c | 65479 | 8330 72780 244975 | 2147483647 65476 17 | 0.036 % |
12.05/12.15 c | 65735 | 8330 72780 244975 | 2147483647 65732 17 | 0.036 % |
12.14/12.22 c | 66016 | 8330 72780 244975 | 2147483647 66013 17 | 0.036 % |
12.24/12.34 c | 66325 | 8330 72780 244975 | 2147483647 66322 17 | 0.036 % |
12.34/12.44 c | 66665 | 8330 72780 244975 | 2147483647 66662 17 | 0.036 % |
12.44/12.58 c | 67037 | 8330 72780 244975 | 2147483647 67034 17 | 0.036 % |
12.65/12.73 c | 67447 | 8330 72780 244975 | 2147483647 67444 17 | 0.036 % |
12.75/12.86 c | 67896 | 8330 72780 244975 | 2147483647 67893 17 | 0.036 % |
12.85/12.98 c | 68389 | 8330 72780 244975 | 2147483647 68386 17 | 0.036 % |
13.06/13.18 c | 68931 | 8330 72780 244975 | 2147483647 68928 17 | 0.036 % |
13.25/13.37 c | 69528 | 8330 72780 244975 | 2147483647 69525 18 | 0.036 % |
13.55/13.61 c | 70184 | 8330 72780 244975 | 2147483647 70181 18 | 0.036 % |
13.75/13.81 c | 70907 | 8330 72780 244975 | 2147483647 70904 18 | 0.036 % |
14.05/14.15 c | 71699 | 8330 72780 244975 | 2147483647 71696 18 | 0.036 % |
14.35/14.48 c | 72570 | 8330 72780 244975 | 2147483647 72567 18 | 0.036 % |
14.45/14.52 c | 72670 | 8330 72780 244975 | 2147483647 72667 18 | 0.036 % |
14.45/14.56 c | 72780 | 8330 72780 244975 | 2147483647 72777 18 | 0.036 % |
14.55/14.62 c | 72902 | 8330 72780 244975 | 2147483647 72899 18 | 0.036 % |
14.55/14.67 c | 73037 | 8330 72780 244975 | 2147483647 73034 18 | 0.036 % |
14.65/14.74 c | 73185 | 8330 72780 244975 | 2147483647 73182 18 | 0.036 % |
14.75/14.80 c | 73348 | 8330 72780 244975 | 2147483647 73345 18 | 0.036 % |
14.75/14.88 c | 73525 | 8330 72780 244975 | 2147483647 73522 18 | 0.036 % |
14.85/14.98 c | 73719 | 8330 72780 244975 | 2147483647 73716 18 | 0.036 % |
14.95/15.07 c | 73931 | 8330 72780 244975 | 2147483647 73928 18 | 0.036 % |
15.05/15.15 c | 74164 | 8330 72780 244975 | 2147483647 74161 18 | 0.036 % |
15.15/15.25 c | 74420 | 8330 72780 244975 | 2147483647 74417 18 | 0.036 % |
15.25/15.35 c | 74701 | 8330 72780 244975 | 2147483647 74698 18 | 0.036 % |
15.35/15.47 c | 75010 | 8330 72780 244975 | 2147483647 75007 18 | 0.036 % |
15.45/15.56 c | 75349 | 8330 72780 244975 | 2147483647 75346 18 | 0.036 % |
15.55/15.65 c | 75721 | 8330 72780 244975 | 2147483647 75718 18 | 0.036 % |
15.65/15.74 c | 76131 | 8330 72780 244975 | 2147483647 76128 18 | 0.036 % |
15.75/15.83 c | 76580 | 8330 72780 244975 | 2147483647 76577 18 | 0.036 % |
15.95/16.06 c | 77073 | 8330 72780 244975 | 2147483647 77070 18 | 0.036 % |
16.24/16.39 c | 77616 | 8330 72780 244975 | 2147483647 77613 18 | 0.036 % |
16.54/16.67 c | 78214 | 8330 72780 244975 | 2147483647 78211 18 | 0.036 % |
16.84/16.94 c | 78869 | 8330 72780 244975 | 2147483647 78866 18 | 0.036 % |
17.14/17.27 c | 79590 | 8330 72780 244975 | 2147483647 79587 18 | 0.036 % |
17.55/17.64 c | 80382 | 8330 72780 244975 | 2147483647 80379 18 | 0.036 % |
17.94/18.07 c | 81254 | 8330 72780 244975 | 2147483647 81251 18 | 0.036 % |
18.44/18.52 c | 82213 | 8330 72780 244975 | 2147483647 82210 18 | 0.036 % |
18.44/18.56 c | 82313 | 8330 72780 244975 | 2147483647 82310 18 | 0.036 % |
18.55/18.62 c | 82423 | 8330 72780 244975 | 2147483647 82420 18 | 0.036 % |
18.55/18.70 c | 82545 | 8330 72780 244975 | 2147483647 82542 18 | 0.036 % |
18.65/18.78 c | 82679 | 8330 72780 244975 | 2147483647 82676 18 | 0.036 % |
18.74/18.87 c | 82829 | 8330 72780 244975 | 2147483647 82826 18 | 0.036 % |
18.84/18.94 c | 82990 | 8330 72780 244975 | 2147483647 82987 18 | 0.036 % |
18.94/19.02 c | 83167 | 8330 72780 244975 | 2147483647 83164 18 | 0.036 % |
19.04/19.13 c | 83360 | 8330 72780 244975 | 2147483647 83357 18 | 0.036 % |
19.14/19.24 c | 83575 | 8330 72780 244975 | 2147483647 83572 18 | 0.036 % |
19.24/19.37 c | 83809 | 8330 72780 244975 | 2147483647 83806 18 | 0.036 % |
19.34/19.47 c | 84066 | 8330 72780 244975 | 2147483647 84063 18 | 0.036 % |
19.54/19.60 c | 84347 | 8330 72780 244975 | 2147483647 84344 18 | 0.036 % |
19.65/19.78 c | 84656 | 8330 72780 244975 | 2147483647 84653 18 | 0.036 % |
19.85/19.91 c | 84998 | 8330 72780 244975 | 2147483647 84995 18 | 0.036 % |
19.95/20.10 c | 85372 | 8330 72780 244975 | 2147483647 85369 18 | 0.036 % |
20.15/20.27 c | 85781 | 8330 72780 244975 | 2147483647 85778 18 | 0.036 % |
20.45/20.52 c | 86231 | 8330 72780 244975 | 2147483647 86228 18 | 0.036 % |
20.75/20.80 c | 86725 | 8330 72780 244975 | 2147483647 86722 18 | 0.036 % |
20.95/21.08 c | 87267 | 8330 72780 244975 | 2147483647 87264 18 | 0.036 % |
21.34/21.49 c | 87863 | 8330 72780 244975 | 2147483647 87860 18 | 0.036 % |
21.74/21.85 c | 88518 | 8330 72780 244975 | 2147483647 88515 18 | 0.036 % |
22.14/22.29 c | 89239 | 8330 72780 244975 | 2147483647 89236 18 | 0.036 % |
22.74/22.83 c | 90031 | 8330 72780 244975 | 2147483647 90028 18 | 0.036 % |
23.24/23.32 c | 90905 | 8330 72780 244975 | 2147483647 90902 18 | 0.036 % |
23.74/23.86 c | 91864 | 8330 72780 244975 | 2147483647 91861 18 | 0.036 % |
24.34/24.48 c | 92917 | 8328 72770 244952 | 2147483647 92913 18 | 0.060 % |
24.44/24.54 c | 93018 | 8328 72770 244952 | 2147483647 93014 18 | 0.060 % |
24.54/24.62 c | 93131 | 8328 72770 244952 | 2147483647 93127 18 | 0.060 % |
24.64/24.70 c | 93252 | 8328 72770 244952 | 2147483647 93248 18 | 0.060 % |
24.64/24.78 c | 93385 | 8328 72770 244952 | 2147483647 93381 18 | 0.060 % |
24.74/24.86 c | 93534 | 8328 72770 244952 | 2147483647 93530 18 | 0.060 % |
24.84/24.96 c | 93694 | 8328 72770 244952 | 2147483647 93690 18 | 0.060 % |
25.04/25.10 c | 93870 | 8328 72770 244952 | 2147483647 93866 18 | 0.060 % |
25.14/25.22 c | 94063 | 8328 72770 244952 | 2147483647 94059 18 | 0.060 % |
25.34/25.41 c | 94277 | 8328 72770 244952 | 2147483647 94273 18 | 0.060 % |
25.44/25.58 c | 94513 | 8328 72770 244952 | 2147483647 94509 18 | 0.060 % |
25.64/25.73 c | 94770 | 8328 72770 244952 | 2147483647 94766 18 | 0.060 % |
25.74/25.89 c | 95052 | 8328 72770 244952 | 2147483647 95048 18 | 0.060 % |
25.94/26.07 c | 95362 | 8328 72770 244952 | 2147483647 95358 18 | 0.060 % |
26.24/26.31 c | 95701 | 8328 72770 244952 | 2147483647 95697 18 | 0.060 % |
26.43/26.58 c | 96073 | 8328 72770 244952 | 2147483647 96069 18 | 0.060 % |
26.73/26.88 c | 96482 | 8328 72770 244952 | 2147483647 96478 18 | 0.060 % |
27.03/27.19 c | 96932 | 8328 72770 244952 | 2147483647 96928 18 | 0.060 % |
27.44/27.57 c | 97425 | 8328 72770 244952 | 2147483647 97421 18 | 0.060 % |
27.83/27.94 c | 97968 | 8328 72770 244952 | 2147483647 97964 18 | 0.060 % |
28.23/28.33 c | 98564 | 8328 72770 244952 | 2147483647 98560 18 | 0.060 % |
28.54/28.69 c | 99219 | 8328 72770 244952 | 2147483647 99215 18 | 0.060 % |
29.13/29.25 c | 99939 | 8328 72770 244952 | 2147483647 99935 18 | 0.060 % |
29.93/30.08 c | 100732 | 8328 72770 244952 | 99996 85642 19 | 0.060 % |
30.63/30.72 c | 101603 | 8328 72770 244952 | 99996 86513 19 | 0.060 % |
31.32/31.44 c | 102561 | 8328 72770 244952 | 99996 87471 19 | 0.060 % |
32.12/32.26 c | 103615 | 8328 72770 244952 | 99996 88525 19 | 0.060 % |
32.82/32.97 c | 104776 | 8328 72770 244952 | 99996 89686 19 | 0.060 % |
32.92/33.03 c | 104878 | 8328 72770 244952 | 99996 89788 19 | 0.060 % |
33.01/33.11 c | 104988 | 8328 72770 244952 | 99996 89898 19 | 0.060 % |
33.11/33.22 c | 105109 | 8328 72770 244952 | 99996 90019 19 | 0.060 % |
33.21/33.34 c | 105242 | 8328 72770 244952 | 99996 90152 19 | 0.060 % |
33.31/33.46 c | 105388 | 8328 72770 244952 | 99996 90298 19 | 0.060 % |
33.51/33.60 c | 105550 | 8328 72770 244952 | 99996 90460 19 | 0.060 % |
33.61/33.73 c | 105726 | 8328 72770 244952 | 99996 90636 19 | 0.060 % |
33.71/33.84 c | 105920 | 8328 72770 244952 | 99996 90830 19 | 0.060 % |
33.81/33.95 c | 106132 | 8328 72770 244952 | 99996 91042 19 | 0.060 % |
34.02/34.13 c | 106366 | 8328 72770 244952 | 99996 91276 19 | 0.060 % |
34.21/34.35 c | 106623 | 8328 72770 244952 | 99996 91533 19 | 0.060 % |
34.41/34.59 c | 106904 | 8328 72770 244952 | 99996 91814 19 | 0.060 % |
34.71/34.80 c | 107213 | 8328 72770 244952 | 99996 92123 19 | 0.060 % |
34.91/35.08 c | 107556 | 8328 72770 244952 | 99996 92466 19 | 0.060 % |
35.21/35.36 c | 107928 | 8328 72770 244952 | 99996 92838 19 | 0.060 % |
35.51/35.60 c | 108338 | 8328 72770 244952 | 99996 93248 19 | 0.060 % |
35.81/35.97 c | 108788 | 8328 72770 244952 | 99996 93698 19 | 0.060 % |
36.11/36.23 c | 109283 | 8328 72770 244952 | 99996 94193 19 | 0.060 % |
36.61/36.70 c | 109826 | 8328 72770 244952 | 99996 94736 19 | 0.060 % |
37.11/37.28 c | 110426 | 8328 72770 244952 | 94911 79198 19 | 0.060 % |
37.61/37.78 c | 111081 | 8328 72770 244952 | 94911 79853 19 | 0.060 % |
38.31/38.41 c | 111802 | 8328 72770 244952 | 94911 80574 19 | 0.060 % |
38.81/38.94 c | 112596 | 8328 72770 244952 | 94911 81368 19 | 0.060 % |
39.51/39.69 c | 113467 | 8328 72770 244952 | 94911 82239 19 | 0.060 % |
40.41/40.57 c | 114425 | 8328 72770 244952 | 94911 83197 19 | 0.060 % |
41.21/41.33 c | 115478 | 8328 72770 244952 | 94911 84250 19 | 0.060 % |
42.21/42.38 c | 116636 | 8328 72770 244952 | 94911 85408 19 | 0.060 % |
43.41/43.50 c | 117909 | 8328 72770 244952 | 94911 86681 19 | 0.060 % |
43.41/43.59 c | 118010 | 8328 72770 244952 | 94911 86782 19 | 0.060 % |
43.51/43.68 c | 118122 | 8328 72770 244952 | 94911 86894 19 | 0.060 % |
43.61/43.79 c | 118243 | 8328 72770 244952 | 94911 87015 19 | 0.060 % |
43.71/43.88 c | 118376 | 8328 72770 244952 | 94911 87148 19 | 0.060 % |
43.91/44.01 c | 118523 | 8328 72770 244952 | 94911 87295 19 | 0.060 % |
44.01/44.19 c | 118683 | 8328 72770 244952 | 94911 87455 19 | 0.060 % |
44.21/44.35 c | 118859 | 8328 72770 244952 | 94911 87631 19 | 0.060 % |
44.41/44.51 c | 119054 | 8328 72770 244952 | 94911 87826 19 | 0.060 % |
44.61/44.73 c | 119269 | 8328 72770 244952 | 94911 88041 19 | 0.060 % |
44.81/44.96 c | 119502 | 8328 72770 244952 | 94911 88274 19 | 0.060 % |
45.10/45.25 c | 119758 | 8328 72770 244952 | 94911 88530 19 | 0.060 % |
45.40/45.55 c | 120040 | 8328 72770 244952 | 88773 88812 19 | 0.060 % |
45.80/45.92 c | 120352 | 8328 72770 244952 | 88773 72855 18 | 0.060 % |
46.01/46.16 c | 120694 | 8328 72770 244952 | 88773 73197 18 | 0.060 % |
46.30/46.47 c | 121067 | 8328 72770 244952 | 88773 73570 18 | 0.060 % |
46.70/46.82 c | 121476 | 8328 72770 244952 | 88773 73979 18 | 0.060 % |
47.00/47.16 c | 121926 | 8328 72770 244952 | 88773 74429 18 | 0.060 % |
47.40/47.58 c | 122421 | 8328 72770 244952 | 88773 74924 18 | 0.060 % |
47.90/48.01 c | 122963 | 8328 72770 244952 | 88773 75466 18 | 0.060 % |
48.40/48.57 c | 123560 | 8328 72770 244952 | 88773 76063 18 | 0.060 % |
48.90/49.09 c | 124215 | 8328 72770 244952 | 88773 76718 18 | 0.060 % |
49.60/49.79 c | 124936 | 8328 72770 244952 | 88773 77439 18 | 0.060 % |
50.20/50.33 c | 125729 | 8328 72770 244952 | 88773 78232 18 | 0.060 % |
50.90/51.08 c | 126600 | 8328 72770 244952 | 88773 79103 18 | 0.060 % |
51.41/51.58 c | 127559 | 8328 72770 244952 | 88773 80062 18 | 0.060 % |
52.01/52.18 c | 128614 | 8328 72770 244952 | 88773 81117 18 | 0.060 % |
52.71/52.84 c | 129775 | 8328 72770 244952 | 88773 82278 18 | 0.060 % |
53.40/53.56 c | 131048 | 8328 72770 244952 | 82505 70298 18 | 0.060 % |
53.90/54.01 c | 132448 | 8328 72770 244952 | 82505 71698 18 | 0.060 % |
53.90/54.07 c | 132550 | 8328 72770 244952 | 82505 71800 18 | 0.060 % |
54.00/54.12 c | 132660 | 8328 72770 244952 | 82505 71910 18 | 0.060 % |
54.00/54.15 c | 132781 | 8328 72770 244952 | 82505 72031 18 | 0.060 % |
54.10/54.20 c | 132915 | 8328 72770 244952 | 82505 72165 18 | 0.060 % |
54.10/54.23 c | 133061 | 8328 72770 244952 | 82505 72311 18 | 0.060 % |
54.10/54.27 c | 133222 | 8328 72770 244952 | 82505 72472 18 | 0.060 % |
54.20/54.33 c | 133398 | 8328 72770 244952 | 82505 72648 18 | 0.060 % |
54.30/54.40 c | 133591 | 8328 72770 244952 | 82505 72841 18 | 0.060 % |
54.40/54.58 c | 133804 | 8328 72770 244952 | 82505 73054 18 | 0.060 % |
54.50/54.65 c | 134037 | 8328 72770 244952 | 82505 73287 18 | 0.060 % |
54.81/54.92 c | 134293 | 8328 72770 244952 | 82505 73543 18 | 0.060 % |
55.00/55.11 c | 134576 | 8328 72770 244952 | 82505 73826 18 | 0.060 % |
55.10/55.21 c | 134885 | 8328 72770 244952 | 82505 74135 18 | 0.060 % |
55.20/55.36 c | 135224 | 8328 72770 244952 | 82505 74474 18 | 0.060 % |
55.30/55.49 c | 135597 | 8328 72770 244952 | 82505 74847 18 | 0.060 % |
55.40/55.59 c | 136008 | 8328 72770 244952 | 82505 75258 18 | 0.060 % |
55.60/55.70 c | 136457 | 8328 72770 244952 | 82505 75707 18 | 0.060 % |
55.70/55.82 c | 136950 | 8328 72770 244952 | 82505 76200 18 | 0.060 % |
55.80/55.96 c | 137493 | 8328 72770 244952 | 82505 76743 18 | 0.060 % |
56.00/56.15 c | 138090 | 8328 72770 244952 | 82505 77340 18 | 0.060 % |
56.20/56.33 c | 138748 | 8328 72770 244952 | 82505 77998 18 | 0.060 % |
56.40/56.59 c | 139469 | 8328 72770 244952 | 82505 78719 18 | 0.060 % |
56.70/56.83 c | 140263 | 8328 72770 244952 | 2147483647 79513 18 | 0.060 % |
57.00/57.16 c | 141135 | 8328 72770 244952 | 2147483647 80385 18 | 0.060 % |
57.30/57.44 c | 142093 | 8328 72770 244952 | 2147483647 81343 18 | 0.060 % |
57.70/57.81 c | 143147 | 8328 72770 244952 | 2147483647 82397 18 | 0.060 % |
58.20/58.38 c | 144305 | 8328 72770 244952 | 2147483647 83555 18 | 0.060 % |
58.80/58.96 c | 145578 | 8328 72770 244952 | 2147483647 84828 18 | 0.060 % |
59.20/59.35 c | 146979 | 8328 72770 244952 | 2147483647 86229 18 | 0.060 % |
60.00/60.14 c | 148519 | 8328 72770 244952 | 2147483647 87769 18 | 0.060 % |
60.00/60.18 c | 148619 | 8328 72770 244952 | 2147483647 87869 18 | 0.060 % |
60.10/60.23 c | 148730 | 8328 72770 244952 | 2147483647 87980 18 | 0.060 % |
60.10/60.27 c | 148852 | 8328 72770 244952 | 2147483647 88102 18 | 0.060 % |
60.20/60.32 c | 148988 | 8328 72770 244952 | 2147483647 88238 18 | 0.060 % |
60.20/60.39 c | 149136 | 8328 72770 244952 | 2147483647 88386 18 | 0.060 % |
60.30/60.46 c | 149296 | 8328 72770 244952 | 2147483647 88546 18 | 0.060 % |
60.40/60.54 c | 149473 | 8328 72770 244952 | 2147483647 88723 18 | 0.060 % |
60.50/60.63 c | 149667 | 8328 72770 244952 | 2147483647 88917 18 | 0.060 % |
60.60/60.74 c | 149879 | 8328 72770 244952 | 2147483647 89129 18 | 0.060 % |
60.70/60.86 c | 150114 | 8328 72770 244952 | 2147483647 89364 18 | 0.060 % |
60.80/60.95 c | 150370 | 8328 72770 244952 | 2147483647 89620 18 | 0.060 % |
60.90/61.06 c | 150652 | 8328 72770 244952 | 2147483647 89902 18 | 0.060 % |
61.00/61.18 c | 150962 | 8328 72770 244952 | 2147483647 90212 18 | 0.060 % |
61.20/61.32 c | 151301 | 8328 72770 244952 | 2147483647 90551 18 | 0.060 % |
61.30/61.48 c | 151673 | 8328 72770 244952 | 2147483647 90923 18 | 0.060 % |
61.60/61.75 c | 152084 | 8328 72770 244952 | 2147483647 91334 18 | 0.060 % |
63.50/63.69 c | 152533 | 8326 72482 243811 | 2147483647 39327 16 | 0.084 % |
63.70/63.83 c | 153026 | 8326 72482 243811 | 2147483647 39820 16 | 0.084 % |
63.80/63.94 c | 153569 | 8326 72482 243811 | 2147483647 40362 16 | 0.120 % |
64.00/64.10 c | 154165 | 8325 72482 243811 | 2147483647 40958 16 | 0.120 % |
64.10/64.28 c | 154820 | 8325 72482 243811 | 2147483647 41613 16 | 0.120 % |
64.29/64.46 c | 155540 | 8325 72482 243811 | 2147483647 42333 17 | 0.120 % |
64.49/64.69 c | 156332 | 8325 72482 243811 | 2147483647 43125 17 | 0.120 % |
64.80/64.94 c | 157203 | 8325 72482 243811 | 2147483647 43996 17 | 0.120 % |
65.09/65.24 c | 158163 | 8325 72482 243811 | 2147483647 44956 17 | 0.120 % |
65.49/65.60 c | 159216 | 8323 72048 241676 | 2147483647 46008 17 | 0.120 % |
65.90/66.03 c | 160374 | 8323 72048 241676 | 2147483647 47166 17 | 0.120 % |
66.29/66.40 c | 161648 | 8323 72048 241676 | 2147483647 48440 17 | 0.120 % |
66.59/66.79 c | 163048 | 8323 72048 241676 | 2147483647 49840 17 | 0.120 % |
67.19/67.32 c | 164588 | 8323 72048 241676 | 2147483647 51380 17 | 0.120 % |
67.69/67.88 c | 166284 | 8323 72048 241676 | 2147483647 53076 18 | 0.120 % |
67.79/67.92 c | 166387 | 8323 72048 241676 | 2147483647 53179 18 | 0.120 % |
67.79/67.96 c | 166497 | 8323 72048 241676 | 2147483647 53289 18 | 0.120 % |
67.89/68.00 c | 166618 | 8323 72048 241676 | 2147483647 53410 18 | 0.120 % |
67.89/68.06 c | 166751 | 8317 71822 241012 | 2147483647 53477 18 | 0.192 % |
67.99/68.12 c | 166897 | 8317 71822 241012 | 2147483647 53623 18 | 0.192 % |
67.99/68.19 c | 167059 | 8317 71822 241012 | 2147483647 53785 18 | 0.192 % |
68.09/68.27 c | 167235 | 8317 71822 241012 | 2147483647 53961 18 | 0.192 % |
68.18/68.32 c | 167429 | 8317 71822 241012 | 2147483647 54155 18 | 0.192 % |
68.18/68.38 c | 167641 | 8317 71822 241012 | 2147483647 54367 18 | 0.192 % |
68.28/68.45 c | 167876 | 8317 71822 241012 | 2147483647 54602 18 | 0.192 % |
68.38/68.54 c | 168132 | 8316 71822 241012 | 2147483647 54857 18 | 0.204 % |
68.48/68.60 c | 168413 | 8316 71822 241012 | 2147483647 55138 18 | 0.204 % |
68.58/68.73 c | 168722 | 8316 71822 241012 | 2147483647 55447 18 | 0.204 % |
68.68/68.87 c | 169061 | 8316 71822 241012 | 2147483647 55786 18 | 0.204 % |
68.78/69.00 c | 169435 | 8316 71822 241012 | 2147483647 56160 18 | 0.204 % |
68.98/69.19 c | 169845 | 8316 71822 241012 | 2147483647 56570 18 | 0.204 % |
69.09/69.30 c | 170294 | 8315 71822 241012 | 2147483647 57018 18 | 0.216 % |
69.28/69.48 c | 170787 | 8315 71822 241012 | 2147483647 57511 18 | 0.216 % |
69.48/69.68 c | 171329 | 8315 71822 241012 | 2147483647 58053 18 | 0.216 % |
69.78/69.93 c | 171925 | 8314 71822 241012 | 2147483647 58648 18 | 0.228 % |
69.98/70.16 c | 172580 | 8314 71822 241012 | 2147483647 59303 18 | 0.228 % |
70.38/70.50 c | 173300 | 8314 71822 241012 | 2147483647 60023 18 | 0.228 % |
70.58/70.77 c | 174092 | 8314 71813 240994 | 2147483647 60804 18 | 0.228 % |
70.98/71.17 c | 174966 | 8314 71813 240994 | 2147483647 61678 18 | 0.228 % |
71.48/71.62 c | 175924 | 8314 71813 240994 | 2147483647 62636 18 | 0.228 % |
71.88/72.10 c | 176978 | 8314 71813 240994 | 2147483647 63690 18 | 0.228 % |
72.48/72.64 c | 178137 | 8314 71813 240994 | 2147483647 64849 18 | 0.228 % |
73.08/73.28 c | 179411 | 8314 71813 240994 | 2147483647 66123 19 | 0.228 % |
73.38/73.56 c | 180812 | 8314 71813 240994 | 2147483647 67524 19 | 0.228 % |
74.08/74.22 c | 182354 | 8314 71813 240994 | 2147483647 69066 19 | 0.228 % |
74.98/75.10 c | 184048 | 8314 71813 240994 | 2147483647 70760 19 | 0.228 % |
76.18/76.33 c | 185911 | 8314 71813 240994 | 2147483647 72623 19 | 0.228 % |
76.18/76.39 c | 186011 | 8314 71813 240994 | 2147483647 72723 19 | 0.228 % |
76.28/76.45 c | 186122 | 8314 71813 240994 | 2147483647 72834 19 | 0.228 % |
76.38/76.54 c | 186244 | 8314 71813 240994 | 2147483647 72956 19 | 0.228 % |
76.48/76.60 c | 186377 | 8314 71813 240994 | 2147483647 73089 19 | 0.228 % |
76.48/76.68 c | 186523 | 8314 71813 240994 | 2147483647 73235 19 | 0.228 % |
76.57/76.77 c | 186684 | 8314 71813 240994 | 2147483647 73396 19 | 0.228 % |
76.67/76.83 c | 186862 | 8314 71813 240994 | 2147483647 73574 19 | 0.228 % |
76.67/76.88 c | 187055 | 8314 71813 240994 | 2147483647 73767 19 | 0.228 % |
76.78/76.98 c | 187267 | 8314 71813 240994 | 2147483647 73979 19 | 0.228 % |
76.88/77.09 c | 187501 | 8314 71813 240994 | 2147483647 74213 19 | 0.228 % |
77.07/77.25 c | 187757 | 8314 71813 240994 | 2147483647 74469 19 | 0.228 % |
77.17/77.33 c | 188038 | 8314 71813 240994 | 2147483647 74750 19 | 0.228 % |
77.37/77.50 c | 188348 | 8314 71813 240994 | 2147483647 75060 19 | 0.228 % |
77.57/77.74 c | 188689 | 8314 71813 240994 | 2147483647 75401 19 | 0.228 % |
77.67/77.89 c | 189061 | 8314 71813 240994 | 2147483647 75773 19 | 0.228 % |
77.88/78.09 c | 189470 | 8314 71813 240994 | 2147483647 76182 19 | 0.228 % |
78.07/78.22 c | 189919 | 8314 71813 240994 | 2147483647 76631 19 | 0.228 % |
78.37/78.50 c | 190412 | 8314 71813 240994 | 2147483647 77124 19 | 0.228 % |
78.47/78.68 c | 190955 | 8314 71813 240994 | 2147483647 77667 19 | 0.228 % |
78.77/78.96 c | 191551 | 8314 71813 240994 | 2147483647 78263 19 | 0.228 % |
79.08/79.27 c | 192209 | 8314 71813 240994 | 2147483647 78921 19 | 0.228 % |
79.47/79.69 c | 192929 | 8314 71813 240994 | 2147483647 79641 19 | 0.228 % |
79.97/80.18 c | 193725 | 8314 71813 240994 | 2147483647 80437 19 | 0.228 % |
80.47/80.70 c | 194596 | 8314 71813 240994 | 2147483647 81308 19 | 0.228 % |
80.97/81.18 c | 195554 | 8314 71813 240994 | 2147483647 82266 19 | 0.228 % |
81.57/81.71 c | 196608 | 8314 71813 240994 | 2147483647 83320 19 | 0.228 % |
82.27/82.41 c | 197767 | 8314 71813 240994 | 2147483647 84479 19 | 0.228 % |
82.87/83.03 c | 199040 | 8314 71813 240994 | 2147483647 85752 19 | 0.228 % |
83.87/84.01 c | 200440 | 8314 71813 240994 | 2147483647 87152 20 | 0.228 % |
84.77/84.94 c | 201980 | 8314 71813 240994 | 2147483647 88692 20 | 0.228 % |
85.57/85.77 c | 203674 | 8314 71813 240994 | 2147483647 90386 20 | 0.228 % |
86.57/86.75 c | 205538 | 8313 71810 240988 | 2147483647 92246 20 | 0.240 % |
88.07/88.29 c | 207588 | 8313 71810 240988 | 2147483647 94296 20 | 0.240 % |
88.17/88.36 c | 207688 | 8313 71810 240988 | 2147483647 94396 20 | 0.240 % |
88.27/88.45 c | 207798 | 8313 71810 240988 | 2147483647 94506 20 | 0.240 % |
88.37/88.51 c | 207920 | 8313 71810 240988 | 2147483647 94628 20 | 0.240 % |
88.37/88.59 c | 208053 | 8313 71810 240988 | 2147483647 94761 20 | 0.240 % |
88.47/88.69 c | 208199 | 8313 71810 240988 | 2147483647 94907 20 | 0.240 % |
88.57/88.79 c | 208360 | 8313 71810 240988 | 2147483647 95068 20 | 0.240 % |
88.77/88.90 c | 208537 | 8313 71810 240988 | 2147483647 95245 20 | 0.240 % |
88.87/89.07 c | 208730 | 8313 71810 240988 | 2147483647 95438 20 | 0.240 % |
89.07/89.20 c | 208942 | 8313 71810 240988 | 2147483647 95650 20 | 0.240 % |
89.16/89.37 c | 209175 | 8313 71810 240988 | 2147483647 95883 20 | 0.240 % |
89.36/89.56 c | 209432 | 8313 71810 240988 | 2147483647 96140 20 | 0.240 % |
89.66/89.81 c | 209715 | 8313 71810 240988 | 2147483647 96423 20 | 0.240 % |
89.86/90.01 c | 210026 | 8313 71810 240988 | 2147483647 96734 20 | 0.240 % |
90.07/90.24 c | 210367 | 8313 71810 240988 | 2147483647 97075 20 | 0.240 % |
90.26/90.42 c | 210739 | 8313 71810 240988 | 2147483647 97447 20 | 0.240 % |
90.36/90.59 c | 211150 | 8313 71810 240988 | 2147483647 97858 20 | 0.240 % |
90.76/90.97 c | 211599 | 8313 71810 240988 | 2147483647 98307 20 | 0.240 % |
91.17/91.31 c | 212092 | 8313 71810 240988 | 2147483647 98800 20 | 0.240 % |
91.46/91.68 c | 212636 | 8313 71810 240988 | 2147483647 99344 20 | 0.240 % |
91.86/92.08 c | 213233 | 8313 71810 240988 | 2147483647 99941 20 | 0.240 % |
92.26/92.49 c | 213889 | 8313 71810 240988 | 2147483647 100597 20 | 0.240 % |
92.76/92.99 c | 214611 | 8313 71810 240988 | 2147483647 101319 20 | 0.240 % |
93.26/93.44 c | 215403 | 8313 71810 240988 | 2147483647 102111 20 | 0.240 % |
94.06/94.21 c | 216275 | 8313 71810 240988 | 2147483647 102983 20 | 0.240 % |
94.66/94.84 c | 217234 | 8313 71810 240988 | 2147483647 103942 20 | 0.240 % |
95.46/95.61 c | 218289 | 8313 71810 240988 | 2147483647 104997 20 | 0.240 % |
96.26/96.46 c | 219447 | 8313 71810 240988 | 2147483647 106155 20 | 0.240 % |
97.36/97.51 c | 220722 | 8313 71810 240988 | 106708 92516 20 | 0.240 % |
98.45/98.60 c | 222122 | 8313 71810 240988 | 106708 93916 21 | 0.240 % |
99.45/99.69 c | 223662 | 8313 71810 240988 | 106708 95456 21 | 0.240 % |
100.55/100.80 c | 225357 | 8313 71810 240988 | 106708 97151 21 | 0.240 % |
101.95/102.10 c | 227221 | 8313 71810 240988 | 106708 99015 21 | 0.240 % |
103.05/103.25 c | 229271 | 8313 71810 240988 | 106708 101065 21 | 0.240 % |
104.55/104.70 c | 231524 | 8313 71810 240988 | 101794 90635 20 | 0.240 % |
104.65/104.81 c | 231626 | 8313 71810 240988 | 101794 90737 21 | 0.240 % |
104.65/104.89 c | 231738 | 8313 71810 240988 | 101794 90849 20 | 0.240 % |
104.75/104.96 c | 231859 | 8313 71810 240988 | 101794 90970 21 | 0.240 % |
104.85/105.03 c | 231993 | 8313 71810 240988 | 101794 91104 21 | 0.240 % |
104.95/105.12 c | 232140 | 8313 71810 240988 | 101794 91251 21 | 0.240 % |
105.05/105.24 c | 232300 | 8313 71810 240988 | 101794 91411 21 | 0.240 % |
105.15/105.38 c | 232476 | 8313 71810 240988 | 101794 91587 21 | 0.240 % |
105.35/105.52 c | 232674 | 8313 71810 240988 | 101794 91785 21 | 0.240 % |
105.45/105.67 c | 232886 | 8313 71810 240988 | 101794 91997 21 | 0.240 % |
105.65/105.83 c | 233121 | 8313 71810 240988 | 101794 92232 21 | 0.240 % |
105.85/106.03 c | 233377 | 8313 71810 240988 | 101794 92488 21 | 0.240 % |
106.15/106.31 c | 233658 | 8313 71810 240988 | 101794 92769 21 | 0.240 % |
106.35/106.53 c | 233967 | 8313 71810 240988 | 101794 93078 21 | 0.240 % |
106.65/106.82 c | 234307 | 8313 71810 240988 | 101794 93418 21 | 0.240 % |
106.85/107.09 c | 234679 | 8313 71810 240988 | 101794 93790 21 | 0.240 % |
107.15/107.38 c | 235090 | 8313 71810 240988 | 101794 94201 21 | 0.240 % |
107.55/107.74 c | 235540 | 8313 71810 240988 | 101794 94651 21 | 0.240 % |
107.85/108.04 c | 236033 | 8313 71810 240988 | 101794 95144 21 | 0.240 % |
108.25/108.45 c | 236575 | 8313 71810 240988 | 101794 95686 21 | 0.240 % |
108.65/108.85 c | 237172 | 8313 71810 240988 | 101794 96283 21 | 0.240 % |
109.15/109.37 c | 237827 | 8313 71810 240988 | 101794 96938 21 | 0.240 % |
109.65/109.84 c | 238548 | 8313 71810 240988 | 101794 97659 21 | 0.240 % |
110.44/110.60 c | 239340 | 8313 71810 240988 | 101794 98451 21 | 0.240 % |
111.04/111.25 c | 240211 | 8313 71810 240988 | 99111 99322 21 | 0.240 % |
111.94/112.14 c | 241171 | 8313 71810 240988 | 99111 86883 20 | 0.240 % |
112.64/112.89 c | 242226 | 8313 71810 240988 | 99111 87938 20 | 0.240 % |
113.34/113.58 c | 243384 | 8313 71810 240988 | 99111 89096 20 | 0.240 % |
114.24/114.42 c | 244660 | 8313 71810 240988 | 99111 90372 20 | 0.240 % |
115.25/115.40 c | 246060 | 8312 71807 240982 | 99111 91770 20 | 0.252 % |
116.14/116.35 c | 247600 | 8312 71807 240982 | 99111 93310 20 | 0.252 % |
117.34/117.56 c | 249295 | 8312 71807 240982 | 99111 95005 20 | 0.252 % |
118.84/119.03 c | 251160 | 8312 71807 240982 | 95710 84322 20 | 0.252 % |
119.75/119.99 c | 253209 | 8312 71807 240982 | 95710 86371 20 | 0.252 % |
121.24/121.48 c | 255462 | 8312 71807 240982 | 95710 88624 20 | 0.252 % |
122.84/123.03 c | 257941 | 8312 71807 240982 | 95710 91103 20 | 0.252 % |
122.95/123.12 c | 258041 | 8312 71807 240982 | 95710 91203 20 | 0.252 % |
123.05/123.24 c | 258151 | 8312 71807 240982 | 95710 91313 20 | 0.252 % |
123.14/123.33 c | 258272 | 8312 71807 240982 | 95710 91434 20 | 0.252 % |
123.24/123.43 c | 258406 | 8312 71807 240982 | 95710 91568 20 | 0.252 % |
123.34/123.53 c | 258553 | 8312 71807 240982 | 95710 91715 20 | 0.252 % |
123.44/123.67 c | 258714 | 8312 71807 240982 | 95710 91876 20 | 0.252 % |
123.64/123.82 c | 258890 | 8312 71807 240982 | 95710 92052 20 | 0.252 % |
123.74/123.98 c | 259084 | 8312 71807 240982 | 95710 92246 20 | 0.252 % |
123.94/124.16 c | 259296 | 8312 71807 240982 | 95710 92458 20 | 0.252 % |
124.15/124.36 c | 259529 | 8312 71807 240982 | 95710 92691 20 | 0.252 % |
124.34/124.53 c | 259787 | 8312 71807 240982 | 95710 92949 20 | 0.252 % |
124.44/124.70 c | 260068 | 8312 71807 240982 | 93162 93230 20 | 0.252 % |
124.84/125.01 c | 260377 | 8312 71807 240982 | 93162 83281 20 | 0.252 % |
125.04/125.26 c | 260716 | 8312 71807 240982 | 93162 83620 20 | 0.252 % |
125.34/125.55 c | 261088 | 8312 71807 240982 | 93162 83992 20 | 0.252 % |
125.64/125.81 c | 261497 | 8312 71807 240982 | 93162 84401 20 | 0.252 % |
125.94/126.14 c | 261946 | 8312 71807 240982 | 93162 84850 20 | 0.252 % |
126.24/126.45 c | 262439 | 8312 71807 240982 | 93162 85343 20 | 0.252 % |
126.54/126.70 c | 262981 | 8312 71807 240982 | 93162 85885 20 | 0.252 % |
126.84/127.09 c | 263577 | 8312 71807 240982 | 93162 86481 20 | 0.252 % |
127.44/127.60 c | 264234 | 8312 71807 240982 | 93162 87138 20 | 0.252 % |
127.94/128.12 c | 264954 | 8312 71807 240982 | 93162 87858 20 | 0.252 % |
128.44/128.66 c | 265746 | 8312 71807 240982 | 93162 88650 20 | 0.252 % |
129.14/129.32 c | 266618 | 8312 71807 240982 | 93162 89522 20 | 0.252 % |
129.64/129.89 c | 267583 | 8312 71807 240982 | 93162 90487 20 | 0.252 % |
130.64/130.84 c | 268636 | 8312 71807 240982 | 93162 91540 20 | 0.252 % |
131.24/131.48 c | 269796 | 8312 71807 240982 | 93162 92700 20 | 0.252 % |
132.34/132.52 c | 271069 | 8311 71804 240976 | 92903 83220 20 | 0.264 % |
133.23/133.44 c | 272470 | 8311 71804 240976 | 92903 84621 20 | 0.264 % |
134.73/134.94 c | 274014 | 8311 71804 240976 | 92903 86165 20 | 0.264 % |
136.14/136.35 c | 275708 | 8311 71804 240976 | 92903 87859 20 | 0.264 % |
137.43/137.68 c | 277571 | 8310 71804 240976 | 92903 89721 20 | 0.276 % |
139.03/139.20 c | 279622 | 8310 71804 240976 | 92903 91772 20 | 0.276 % |
140.83/141.00 c | 281877 | 8310 71699 240662 | 92149 83957 20 | 0.276 % |
142.53/142.78 c | 284356 | 8310 71699 240662 | 92149 86436 20 | 0.276 % |
144.33/144.50 c | 287081 | 8310 71699 240662 | 92149 89161 20 | 0.276 % |
144.33/144.59 c | 287186 | 8310 71699 240662 | 92149 89266 20 | 0.276 % |
144.43/144.69 c | 287296 | 8310 71699 240662 | 92149 89376 20 | 0.276 % |
144.63/144.80 c | 287417 | 8310 71699 240662 | 92149 89497 20 | 0.276 % |
144.73/144.91 c | 287551 | 8310 71699 240662 | 92149 89631 20 | 0.276 % |
144.83/145.07 c | 287698 | 8310 71699 240662 | 92149 89778 20 | 0.276 % |
144.93/145.20 c | 287858 | 8310 71699 240662 | 92149 89938 20 | 0.276 % |
145.03/145.28 c | 288035 | 8310 71699 240662 | 92149 90115 20 | 0.276 % |
145.23/145.44 c | 288229 | 8310 71699 240662 | 92149 90309 20 | 0.276 % |
145.33/145.58 c | 288441 | 8310 71699 240662 | 92149 90521 20 | 0.276 % |
145.43/145.69 c | 288674 | 8310 71699 240662 | 92149 90754 20 | 0.276 % |
145.73/145.92 c | 288932 | 8310 71699 240662 | 92149 91012 20 | 0.276 % |
145.83/146.08 c | 289214 | 8310 71699 240662 | 92149 91294 20 | 0.276 % |
146.13/146.31 c | 289523 | 8310 71699 240662 | 92149 91603 20 | 0.276 % |
146.43/146.65 c | 289862 | 8310 71699 240662 | 92149 91942 20 | 0.276 % |
146.83/147.04 c | 290234 | 8310 71699 240662 | 92080 92314 20 | 0.276 % |
147.23/147.46 c | 290643 | 8310 71699 240662 | 92080 82384 20 | 0.276 % |
147.63/147.85 c | 291093 | 8310 71699 240662 | 92080 82834 20 | 0.276 % |
148.02/148.26 c | 291588 | 8310 71699 240662 | 92080 83329 20 | 0.276 % |
148.42/148.63 c | 292130 | 8310 71699 240662 | 92080 83871 20 | 0.276 % |
148.72/148.91 c | 292726 | 8310 71699 240662 | 92080 84467 20 | 0.276 % |
149.22/149.49 c | 293382 | 8310 71699 240662 | 92080 85123 20 | 0.276 % |
149.82/150.05 c | 294103 | 8310 71699 240662 | 92080 85844 20 | 0.276 % |
150.43/150.61 c | 294897 | 8310 71699 240662 | 92080 86638 20 | 0.276 % |
151.12/151.33 c | 295770 | 8310 71699 240662 | 92080 87511 20 | 0.276 % |
151.72/151.92 c | 296728 | 8310 71699 240662 | 92080 88469 20 | 0.276 % |
152.73/152.90 c | 297781 | 8310 71699 240662 | 92080 89522 20 | 0.276 % |
153.62/153.88 c | 298944 | 8310 71699 240662 | 92080 90685 20 | 0.276 % |
154.83/155.03 c | 300217 | 8310 71699 240662 | 91743 91958 20 | 0.276 % |
156.02/156.22 c | 301618 | 8310 71699 240662 | 91743 83725 20 | 0.276 % |
157.32/157.54 c | 303160 | 8310 71699 240662 | 91743 85267 20 | 0.276 % |
158.52/158.78 c | 304854 | 8310 71699 240662 | 91743 86961 20 | 0.276 % |
159.92/160.12 c | 306718 | 8310 71699 240662 | 91743 88825 20 | 0.276 % |
161.62/161.84 c | 308768 | 8310 71699 240662 | 91743 90875 20 | 0.276 % |
163.22/163.49 c | 311022 | 8310 71699 240662 | 82228 74762 19 | 0.276 % |
165.02/165.29 c | 313503 | 8310 71699 240662 | 82228 77243 20 | 0.276 % |
166.81/167.10 c | 316230 | 8310 71699 240662 | 82228 79970 20 | 0.276 % |
168.81/169.01 c | 319228 | 8310 71699 240662 | 82228 74707 19 | 0.276 % |
168.81/169.09 c | 319330 | 8310 71699 240662 | 82228 74809 19 | 0.276 % |
168.91/169.17 c | 319441 | 8310 71699 240662 | 82228 74920 19 | 0.276 % |
169.01/169.28 c | 319562 | 8310 71699 240662 | 82228 75041 19 | 0.276 % |
169.12/169.38 c | 319695 | 8310 71699 240662 | 82228 75174 19 | 0.276 % |
169.22/169.49 c | 319841 | 8310 71699 240662 | 82228 75320 19 | 0.276 % |
169.31/169.59 c | 320001 | 8310 71699 240662 | 2147483647 75480 19 | 0.276 % |
169.51/169.72 c | 320179 | 8310 71699 240662 | 2147483647 75658 19 | 0.276 % |
169.61/169.85 c | 320372 | 8310 71699 240662 | 2147483647 75851 19 | 0.276 % |
169.81/170.06 c | 320588 | 8310 71699 240662 | 2147483647 76067 19 | 0.276 % |
170.01/170.27 c | 320823 | 8310 71699 240662 | 2147483647 76302 19 | 0.276 % |
170.32/170.55 c | 321079 | 8310 71699 240662 | 2147483647 76558 19 | 0.276 % |
170.51/170.75 c | 321363 | 8310 71699 240662 | 2147483647 76842 20 | 0.276 % |
170.71/170.96 c | 321673 | 8310 71699 240662 | 2147483647 77152 20 | 0.276 % |
170.81/171.09 c | 322013 | 8310 71699 240662 | 2147483647 77492 20 | 0.276 % |
171.21/171.43 c | 322386 | 8310 71699 240662 | 2147483647 77865 20 | 0.276 % |
171.51/171.75 c | 322795 | 8310 71699 240662 | 2147483647 78274 20 | 0.276 % |
171.81/172.08 c | 323244 | 8310 71699 240662 | 2147483647 78723 20 | 0.276 % |
172.21/172.49 c | 323741 | 8310 71699 240662 | 2147483647 79220 20 | 0.276 % |
172.61/172.82 c | 324283 | 8310 71699 240662 | 2147483647 79762 20 | 0.276 % |
173.01/173.23 c | 324880 | 8310 71699 240662 | 2147483647 80359 20 | 0.276 % |
173.31/173.52 c | 325535 | 8310 71699 240662 | 2147483647 81014 20 | 0.276 % |
173.71/173.93 c | 326256 | 8310 71699 240662 | 2147483647 81735 20 | 0.276 % |
174.41/174.66 c | 327048 | 8310 71699 240662 | 2147483647 82527 20 | 0.276 % |
174.81/175.01 c | 327919 | 8310 71699 240662 | 2147483647 83398 20 | 0.276 % |
175.71/175.94 c | 328877 | 8310 71699 240662 | 2147483647 84356 20 | 0.276 % |
176.51/176.77 c | 329930 | 8310 71699 240662 | 2147483647 85409 20 | 0.276 % |
177.41/177.67 c | 331088 | 8310 71699 240662 | 2147483647 86567 20 | 0.276 % |
178.81/179.02 c | 332361 | 8310 71699 240662 | 2147483647 87840 20 | 0.276 % |
179.81/180.01 c | 333761 | 8310 71699 240662 | 2147483647 89240 20 | 0.276 % |
180.81/181.04 c | 335301 | 8310 71699 240662 | 2147483647 90780 20 | 0.276 % |
181.81/182.07 c | 336997 | 8310 71699 240662 | 2147483647 92476 20 | 0.276 % |
183.51/183.80 c | 338862 | 8310 71699 240662 | 2147483647 94341 20 | 0.276 % |
185.90/186.11 c | 340913 | 8310 71699 240662 | 95480 84935 20 | 0.276 % |
187.20/187.46 c | 343167 | 8310 71699 240662 | 95480 87189 20 | 0.276 % |
189.01/189.22 c | 345645 | 8310 71699 240662 | 95480 89667 20 | 0.276 % |
190.90/191.11 c | 348371 | 8310 71699 240662 | 95480 92393 20 | 0.276 % |
193.50/193.72 c | 351368 | 8310 71699 240662 | 2147483647 95390 20 | 0.276 % |
195.90/196.13 c | 354667 | 8310 71699 240662 | 2147483647 98689 20 | 0.276 % |
196.00/196.28 c | 354769 | 8310 71699 240662 | 2147483647 98791 20 | 0.276 % |
196.10/196.38 c | 354879 | 8310 71699 240662 | 2147483647 98901 20 | 0.276 % |
196.20/196.50 c | 355001 | 8310 71699 240662 | 2147483647 99023 20 | 0.276 % |
196.50/196.70 c | 355134 | 8310 71699 240662 | 2147483647 99156 20 | 0.276 % |
196.60/196.86 c | 355283 | 8310 71699 240662 | 2147483647 99305 20 | 0.276 % |
196.80/197.02 c | 355444 | 8310 71699 240662 | 2147483647 99466 20 | 0.276 % |
197.00/197.20 c | 355620 | 8310 71699 240662 | 2147483647 99642 20 | 0.276 % |
197.10/197.36 c | 355813 | 8310 71699 240662 | 2147483647 99835 20 | 0.276 % |
197.30/197.59 c | 356025 | 8310 71699 240662 | 2147483647 100047 20 | 0.276 % |
197.60/197.80 c | 356262 | 8310 71699 240662 | 2147483647 100284 20 | 0.276 % |
197.70/197.98 c | 356519 | 8310 71699 240662 | 2147483647 100541 20 | 0.276 % |
198.00/198.26 c | 356800 | 8310 71699 240662 | 2147483647 100822 20 | 0.276 % |
198.30/198.57 c | 357109 | 8310 71699 240662 | 2147483647 101131 20 | 0.276 % |
198.70/198.97 c | 357448 | 8310 71699 240662 | 2147483647 101470 20 | 0.276 % |
199.20/199.42 c | 357820 | 8310 71699 240662 | 2147483647 101842 21 | 0.276 % |
199.60/199.86 c | 358230 | 8310 71699 240662 | 2147483647 102252 21 | 0.276 % |
200.00/200.20 c | 358679 | 8310 71699 240662 | 2147483647 102701 21 | 0.276 % |
200.40/200.62 c | 359172 | 8310 71699 240662 | 2147483647 103194 21 | 0.276 % |
200.70/200.97 c | 359714 | 8310 71699 240662 | 2147483647 103736 21 | 0.276 % |
201.39/201.66 c | 360311 | 8310 71699 240662 | 104023 90199 20 | 0.276 % |
201.69/201.98 c | 360966 | 8310 71699 240662 | 104023 90854 20 | 0.276 % |
202.49/202.75 c | 361686 | 8310 71699 240662 | 104023 91574 20 | 0.276 % |
202.99/203.24 c | 362478 | 8310 71699 240662 | 104023 92366 20 | 0.276 % |
203.59/203.86 c | 363349 | 8310 71699 240662 | 104023 93237 20 | 0.276 % |
204.29/204.54 c | 364307 | 8310 71699 240662 | 104023 94195 20 | 0.276 % |
205.09/205.30 c | 365360 | 8310 71699 240662 | 104023 95248 20 | 0.276 % |
205.68/205.94 c | 366519 | 8310 71699 240662 | 104023 96407 20 | 0.276 % |
207.08/207.30 c | 367792 | 8310 71699 240662 | 104023 97680 20 | 0.276 % |
208.28/208.59 c | 369194 | 8310 71699 240662 | 104023 99082 20 | 0.276 % |
209.79/210.03 c | 370737 | 8310 71699 240662 | 99888 87502 20 | 0.276 % |
210.89/211.12 c | 372433 | 8310 71699 240662 | 99888 89198 20 | 0.276 % |
212.38/212.61 c | 374296 | 8310 71699 240662 | 99888 91061 20 | 0.276 % |
213.98/214.28 c | 376349 | 8310 71699 240662 | 99888 93114 20 | 0.276 % |
215.88/216.17 c | 378604 | 8310 71699 240662 | 99888 95369 20 | 0.276 % |
217.88/218.14 c | 381087 | 8310 71699 240662 | 96765 86159 20 | 0.276 % |
219.38/219.62 c | 383812 | 8310 71699 240662 | 96765 88884 20 | 0.276 % |
221.78/222.03 c | 386810 | 8310 71699 240662 | 96765 91882 20 | 0.276 % |
225.08/225.31 c | 390107 | 8310 71699 240662 | 95075 95179 21 | 0.276 % |
227.68/227.97 c | 393732 | 8310 71699 240662 | 95075 86444 20 | 0.276 % |
227.78/228.04 c | 393832 | 8310 71699 240662 | 95075 86544 20 | 0.276 % |
227.88/228.11 c | 393944 | 8310 71699 240662 | 95075 86656 20 | 0.276 % |
227.98/228.21 c | 394067 | 8310 71699 240662 | 95075 86779 20 | 0.276 % |
228.08/228.32 c | 394200 | 8310 71699 240662 | 95075 86912 20 | 0.276 % |
228.18/228.45 c | 394347 | 8310 71699 240662 | 95075 87059 20 | 0.276 % |
228.28/228.54 c | 394509 | 8310 71699 240662 | 95075 87221 20 | 0.276 % |
228.38/228.67 c | 394686 | 8310 71699 240662 | 95075 87398 20 | 0.276 % |
228.58/228.84 c | 394882 | 8310 71699 240662 | 95075 87594 20 | 0.276 % |
228.67/228.98 c | 395094 | 8310 71699 240662 | 95075 87806 20 | 0.276 % |
228.87/229.18 c | 395327 | 8310 71699 240662 | 95075 88039 20 | 0.276 % |
229.17/229.47 c | 395583 | 8310 71699 240662 | 95075 88295 20 | 0.276 % |
229.37/229.69 c | 395864 | 8310 71699 240662 | 95075 88576 20 | 0.276 % |
229.68/229.96 c | 396173 | 8310 71699 240662 | 95075 88885 20 | 0.276 % |
229.97/230.25 c | 396513 | 8310 71699 240662 | 95075 89225 20 | 0.276 % |
230.37/230.64 c | 396886 | 8310 71699 240662 | 95075 89598 20 | 0.276 % |
230.78/231.03 c | 397295 | 8310 71699 240662 | 95075 90007 20 | 0.276 % |
231.17/231.49 c | 397744 | 8310 71699 240662 | 95075 90456 20 | 0.276 % |
231.78/232.01 c | 398237 | 8310 71699 240662 | 95075 90949 20 | 0.276 % |
232.37/232.63 c | 398779 | 8310 71699 240662 | 95075 91491 20 | 0.276 % |
232.98/233.22 c | 399375 | 8310 71699 240662 | 95075 92087 20 | 0.276 % |
233.47/233.76 c | 400031 | 8310 71699 240662 | 92712 92743 20 | 0.276 % |
234.17/234.43 c | 400751 | 8310 71699 240662 | 92712 82671 20 | 0.276 % |
234.87/235.10 c | 401544 | 8310 71699 240662 | 92712 83464 20 | 0.276 % |
235.57/235.83 c | 402415 | 8310 71699 240662 | 92712 84335 20 | 0.276 % |
236.17/236.49 c | 403375 | 8310 71699 240662 | 92712 85295 20 | 0.276 % |
237.27/237.58 c | 404429 | 8310 71699 240662 | 92712 86349 20 | 0.276 % |
238.17/238.44 c | 405589 | 8310 71699 240662 | 92712 87509 20 | 0.276 % |
239.37/239.61 c | 406864 | 8310 71699 240662 | 92712 88784 20 | 0.276 % |
240.67/240.92 c | 408265 | 8310 71699 240662 | 92712 90185 20 | 0.276 % |
241.67/241.92 c | 409805 | 8310 71699 240662 | 92712 91725 20 | 0.276 % |
242.97/243.29 c | 411499 | 8310 71699 240662 | 91922 82858 20 | 0.276 % |
244.47/244.73 c | 413362 | 8310 71699 240662 | 91922 84721 20 | 0.276 % |
246.06/246.38 c | 415412 | 8310 71699 240662 | 91922 86771 20 | 0.276 % |
248.06/248.34 c | 417665 | 8310 71699 240662 | 91922 89024 20 | 0.276 % |
249.76/250.01 c | 420144 | 8310 71699 240662 | 2147483647 91503 20 | 0.276 % |
252.45/252.71 c | 422869 | 8310 71699 240662 | 2147483647 94228 20 | 0.276 % |
254.45/254.77 c | 425871 | 8310 71699 240662 | 2147483647 97230 20 | 0.276 % |
257.75/258.09 c | 429167 | 8310 71699 240662 | 2147483647 100526 21 | 0.276 % |
261.45/261.70 c | 432795 | 8310 71699 240662 | 101359 91274 20 | 0.276 % |
265.05/265.38 c | 436783 | 8310 71699 240662 | 101359 95262 20 | 0.276 % |
265.15/265.47 c | 436884 | 8310 71699 240662 | 101359 95363 20 | 0.276 % |
265.25/265.57 c | 436994 | 8310 71699 240662 | 101359 95473 20 | 0.276 % |
265.35/265.66 c | 437115 | 8310 71699 240662 | 101359 95594 20 | 0.276 % |
265.45/265.74 c | 437250 | 8310 71699 240662 | 101359 95729 20 | 0.276 % |
265.55/265.87 c | 437396 | 8310 71699 240662 | 101359 95875 20 | 0.276 % |
265.65/265.99 c | 437556 | 8310 71699 240662 | 101359 96035 20 | 0.276 % |
265.85/266.19 c | 437732 | 8310 71699 240662 | 101359 96211 20 | 0.276 % |
266.15/266.42 c | 437926 | 8310 71699 240662 | 101359 96405 20 | 0.276 % |
266.35/266.65 c | 438138 | 8310 71699 240662 | 101359 96617 20 | 0.276 % |
266.55/266.85 c | 438371 | 8310 71699 240662 | 101359 96850 20 | 0.276 % |
266.85/267.19 c | 438627 | 8310 71699 240662 | 101359 97106 20 | 0.276 % |
267.15/267.48 c | 438909 | 8310 71699 240662 | 101359 97388 20 | 0.276 % |
267.34/267.69 c | 439218 | 8310 71699 240662 | 101359 97697 20 | 0.276 % |
267.64/267.96 c | 439560 | 8310 71699 240662 | 101359 98039 20 | 0.276 % |
268.15/268.41 c | 439932 | 8310 71699 240662 | 101359 98411 20 | 0.276 % |
268.64/268.99 c | 440341 | 8310 71699 240662 | 98479 86716 20 | 0.276 % |
269.15/269.45 c | 440792 | 8310 71699 240662 | 98479 87167 20 | 0.276 % |
269.64/269.94 c | 441286 | 8310 71699 240662 | 98479 87661 20 | 0.276 % |
270.14/270.47 c | 441830 | 8310 71699 240662 | 98479 88205 20 | 0.276 % |
270.74/271.09 c | 442426 | 8310 71699 240662 | 98479 88801 20 | 0.276 % |
271.35/271.65 c | 443081 | 8310 71699 240662 | 98479 89456 20 | 0.276 % |
272.04/272.32 c | 443801 | 8310 71699 240662 | 98479 90176 20 | 0.276 % |
272.64/272.94 c | 444594 | 8310 71699 240662 | 98479 90969 20 | 0.276 % |
273.14/273.47 c | 445467 | 8310 71699 240662 | 98479 91842 20 | 0.276 % |
273.74/274.03 c | 446426 | 8310 71699 240662 | 98479 92801 20 | 0.276 % |
274.75/275.08 c | 447481 | 8310 71699 240662 | 98479 93856 20 | 0.276 % |
275.75/276.04 c | 448640 | 8310 71699 240662 | 98479 95015 20 | 0.276 % |
276.95/277.23 c | 449915 | 8310 71699 240662 | 98479 96290 20 | 0.276 % |
278.24/278.58 c | 451316 | 8310 71699 240662 | 96376 85661 20 | 0.276 % |
278.94/279.28 c | 452859 | 8310 71699 240662 | 96376 87204 20 | 0.276 % |
280.24/280.56 c | 454556 | 8310 71699 240662 | 96376 88901 20 | 0.276 % |
282.34/282.70 c | 456419 | 8310 71699 240662 | 96376 90764 20 | 0.276 % |
284.44/284.73 c | 458470 | 8310 71699 240662 | 96376 92815 20 | 0.276 % |
287.14/287.48 c | 460724 | 8310 71699 240662 | 94346 80802 20 | 0.276 % |
289.14/289.41 c | 463202 | 8310 71699 240662 | 94346 83280 20 | 0.276 % |
292.03/292.30 c | 465928 | 8310 71699 240662 | 94346 86006 20 | 0.276 % |
295.23/295.58 c | 468926 | 8310 71699 240662 | 94346 89004 20 | 0.276 % |
298.93/299.29 c | 472222 | 8310 71699 240662 | 90078 82236 19 | 0.276 % |
301.73/302.07 c | 475847 | 8310 71699 240662 | 90078 85861 19 | 0.276 % |
305.63/305.94 c | 479834 | 8309 71595 240351 | 90078 89845 20 | 0.288 % |
308.22/308.53 c | 484220 | 8309 71595 240351 | 90012 85192 19 | 0.288 % |
308.22/308.58 c | 484320 | 8309 71595 240351 | 90012 85292 19 | 0.288 % |
308.32/308.65 c | 484430 | 8309 71595 240351 | 90012 85402 19 | 0.288 % |
308.42/308.77 c | 484552 | 8309 71595 240351 | 90012 85524 19 | 0.288 % |
308.52/308.89 c | 484688 | 8309 71595 240351 | 90012 85660 19 | 0.288 % |
308.62/308.98 c | 484837 | 8309 71595 240351 | 90012 85809 19 | 0.288 % |
308.73/309.07 c | 484999 | 8309 71595 240351 | 90012 85971 19 | 0.288 % |
308.92/309.27 c | 485177 | 8309 71595 240351 | 90012 86149 19 | 0.288 % |
309.12/309.43 c | 485370 | 8309 71595 240351 | 90012 86342 19 | 0.288 % |
309.32/309.63 c | 485587 | 8309 71595 240351 | 90012 86559 19 | 0.288 % |
309.52/309.88 c | 485820 | 8309 71595 240351 | 90012 86792 19 | 0.288 % |
309.72/310.06 c | 486078 | 8309 71595 240351 | 90012 87050 19 | 0.288 % |
310.12/310.43 c | 486359 | 8309 71595 240351 | 90012 87331 19 | 0.288 % |
310.42/310.74 c | 486670 | 8309 71595 240351 | 90012 87642 19 | 0.288 % |
310.72/311.04 c | 487010 | 8309 71595 240351 | 90012 87982 19 | 0.288 % |
311.03/311.35 c | 487384 | 8309 71595 240351 | 90012 88356 19 | 0.288 % |
311.42/311.71 c | 487793 | 8309 71595 240351 | 90012 88765 19 | 0.288 % |
311.62/311.97 c | 488242 | 8309 71595 240351 | 90012 89214 20 | 0.288 % |
312.22/312.58 c | 488735 | 8309 71595 240351 | 90012 89707 20 | 0.288 % |
312.92/313.27 c | 489278 | 8309 71595 240351 | 90012 90250 20 | 0.288 % |
313.52/313.85 c | 489874 | 8309 71595 240351 | 90012 81821 19 | 0.288 % |
313.82/314.20 c | 490529 | 8309 71595 240351 | 2147483647 82476 19 | 0.288 % |
314.62/314.91 c | 491249 | 8309 71595 240351 | 2147483647 83196 19 | 0.288 % |
315.22/315.51 c | 492042 | 8309 71595 240351 | 2147483647 83989 19 | 0.288 % |
315.82/316.15 c | 492915 | 8309 71595 240351 | 2147483647 84862 19 | 0.288 % |
316.82/317.19 c | 493873 | 8309 71595 240351 | 2147483647 85820 19 | 0.288 % |
317.52/317.88 c | 494927 | 8309 71595 240351 | 2147483647 86874 20 | 0.288 % |
318.52/318.90 c | 496086 | 8309 71595 240351 | 2147483647 88033 19 | 0.288 % |
319.22/319.53 c | 497360 | 8309 71595 240351 | 2147483647 89307 20 | 0.288 % |
320.32/320.68 c | 498760 | 8309 71595 240351 | 2147483647 90707 20 | 0.288 % |
322.02/322.31 c | 500300 | 8309 71595 240351 | 91947 82406 19 | 0.288 % |
323.02/323.39 c | 501996 | 8309 71595 240351 | 91947 84102 19 | 0.288 % |
324.81/325.19 c | 503861 | 8309 71595 240351 | 91947 85967 19 | 0.288 % |
326.21/326.58 c | 505910 | 8309 71595 240351 | 91947 88016 20 | 0.288 % |
328.41/328.70 c | 508164 | 8309 71595 240351 | 91947 90270 20 | 0.288 % |
330.81/331.14 c | 510642 | 8309 71595 240351 | 92107 81858 19 | 0.288 % |
333.31/333.69 c | 513368 | 8309 71595 240351 | 92107 84584 19 | 0.288 % |
335.61/335.96 c | 516366 | 8309 71595 240351 | 92107 87582 19 | 0.288 % |
338.51/338.86 c | 519663 | 8309 71595 240351 | 92107 90879 20 | 0.288 % |
341.20/341.50 c | 523288 | 8309 71595 240351 | 91216 84725 20 | 0.288 % |
344.40/344.70 c | 527275 | 8309 71595 240351 | 91216 88712 20 | 0.288 % |
347.70/348.09 c | 531662 | 8309 71595 240351 | 2147483647 93099 20 | 0.288 % |
353.10/353.46 c | 536488 | 8309 71595 240351 | 2147483647 97925 20 | 0.288 % |
353.20/353.52 c | 536588 | 8309 71595 240351 | 2147483647 98025 20 | 0.288 % |
353.30/353.67 c | 536698 | 8309 71595 240351 | 2147483647 98135 20 | 0.288 % |
353.40/353.80 c | 536822 | 8309 71595 240351 | 2147483647 98259 20 | 0.288 % |
353.50/353.86 c | 536955 | 8309 71595 240351 | 2147483647 98392 20 | 0.288 % |
353.60/353.97 c | 537102 | 8309 71595 240351 | 2147483647 98539 20 | 0.288 % |
353.80/354.12 c | 537263 | 8309 71595 240351 | 2147483647 98700 20 | 0.288 % |
353.90/354.24 c | 537440 | 8309 71595 240351 | 2147483647 98877 21 | 0.288 % |
354.10/354.44 c | 537633 | 8309 71595 240351 | 2147483647 99070 21 | 0.288 % |
354.40/354.70 c | 537845 | 8309 71595 240351 | 2147483647 99282 21 | 0.288 % |
354.70/355.02 c | 538078 | 8309 71595 240351 | 2147483647 99515 21 | 0.288 % |
354.90/355.28 c | 538334 | 8309 71595 240351 | 2147483647 99771 21 | 0.288 % |
355.20/355.55 c | 538615 | 8309 71595 240351 | 2147483647 100052 21 | 0.288 % |
355.50/355.84 c | 538926 | 8309 71595 240351 | 2147483647 100363 21 | 0.288 % |
355.90/356.24 c | 539266 | 8309 71595 240351 | 2147483647 100703 21 | 0.288 % |
356.30/356.64 c | 539639 | 8309 71595 240351 | 2147483647 101076 21 | 0.288 % |
356.70/357.02 c | 540049 | 8309 71595 240351 | 101437 101486 21 | 0.288 % |
357.20/357.59 c | 540499 | 8309 71595 240351 | 101437 87509 20 | 0.288 % |
357.70/358.00 c | 540993 | 8309 71595 240351 | 101437 88003 20 | 0.288 % |
358.10/358.46 c | 541537 | 8309 71595 240351 | 101437 88547 20 | 0.288 % |
358.70/359.03 c | 542134 | 8309 71595 240351 | 101437 89144 20 | 0.288 % |
359.20/359.55 c | 542790 | 8309 71595 240351 | 101437 89800 20 | 0.288 % |
359.60/359.97 c | 543510 | 8309 71595 240351 | 101437 90520 20 | 0.288 % |
360.41/360.74 c | 544302 | 8309 71595 240351 | 101437 91312 20 | 0.288 % |
361.10/361.43 c | 545173 | 8309 71595 240351 | 101437 92183 20 | 0.288 % |
362.00/362.32 c | 546131 | 8309 71595 240351 | 101437 93141 20 | 0.288 % |
362.80/363.16 c | 547184 | 8309 71595 240351 | 101437 94194 20 | 0.288 % |
363.60/363.96 c | 548344 | 8309 71595 240351 | 101437 95354 20 | 0.288 % |
365.00/365.32 c | 549617 | 8309 71595 240351 | 101437 96627 20 | 0.288 % |
366.40/366.77 c | 551017 | 8309 71595 240351 | 97010 84625 20 | 0.288 % |
367.80/368.14 c | 552558 | 8309 71595 240351 | 97010 86166 20 | 0.288 % |
369.40/369.73 c | 554254 | 8307 71570 240291 | 97010 87861 20 | 0.312 % |
370.59/370.92 c | 556118 | 8307 71570 240291 | 97010 89725 20 | 0.312 % |
372.89/373.26 c | 558167 | 8307 71570 240291 | 97010 91774 20 | 0.312 % |
374.70/375.04 c | 560421 | 8307 71570 240291 | 93607 82889 20 | 0.312 % |
376.49/376.83 c | 562900 | 8307 71570 240291 | 93607 85368 20 | 0.312 % |
378.10/378.48 c | 565625 | 8307 71570 240291 | 93607 88093 20 | 0.312 % |
380.39/380.77 c | 568625 | 8307 71570 240291 | 93607 91093 20 | 0.312 % |
382.78/383.17 c | 571923 | 8307 71570 240291 | 2147483647 94391 20 | 0.312 % |
385.88/386.26 c | 575550 | 8307 71570 240291 | 2147483647 98018 20 | 0.312 % |
390.48/390.88 c | 579537 | 8307 71570 240291 | 2147483647 102005 20 | 0.312 % |
394.68/395.09 c | 583922 | 8307 71570 240291 | 102468 92461 20 | 0.312 % |
398.78/399.16 c | 588745 | 8307 71570 240291 | 102468 97284 20 | 0.312 % |
404.78/405.18 c | 594050 | 8307 71570 240291 | 98539 88818 19 | 0.312 % |
404.98/405.31 c | 594150 | 8307 71570 240291 | 98539 88918 19 | 0.312 % |
404.98/405.37 c | 594260 | 8307 71570 240291 | 98539 89028 19 | 0.312 % |
405.18/405.55 c | 594381 | 8307 71570 240291 | 98539 89149 19 | 0.312 % |
405.28/405.68 c | 594515 | 8307 71570 240291 | 98539 89283 19 | 0.312 % |
405.58/405.91 c | 594663 | 8307 71570 240291 | 98539 89431 19 | 0.312 % |
405.77/406.10 c | 594824 | 8307 71570 240291 | 98539 89592 19 | 0.312 % |
405.87/406.23 c | 595000 | 8307 71570 240291 | 98539 89768 20 | 0.312 % |
406.07/406.48 c | 595193 | 8307 71570 240291 | 98539 89961 20 | 0.312 % |
406.37/406.76 c | 595405 | 8307 71570 240291 | 98539 90173 20 | 0.312 % |
406.58/406.92 c | 595639 | 8307 71570 240291 | 98539 90407 20 | 0.312 % |
406.87/407.21 c | 595899 | 8307 71570 240291 | 98539 90667 20 | 0.312 % |
406.97/407.37 c | 596181 | 8307 71570 240291 | 98539 90949 20 | 0.312 % |
407.27/407.61 c | 596490 | 8307 71570 240291 | 98539 91258 20 | 0.312 % |
407.47/407.90 c | 596830 | 8307 71570 240291 | 98539 91598 20 | 0.312 % |
407.87/408.22 c | 597202 | 8307 71570 240291 | 98539 91970 20 | 0.312 % |
408.27/408.61 c | 597613 | 8307 71570 240291 | 98539 92381 20 | 0.312 % |
408.57/408.94 c | 598064 | 8307 71570 240291 | 98539 92832 20 | 0.312 % |
409.07/409.40 c | 598559 | 8307 71570 240291 | 98539 93327 20 | 0.312 % |
409.67/410.06 c | 599103 | 8307 71570 240291 | 98539 93871 20 | 0.312 % |
410.27/410.66 c | 599703 | 8307 71570 240291 | 98539 94471 20 | 0.312 % |
411.08/411.42 c | 600358 | 8307 71570 240291 | 94770 80746 19 | 0.312 % |
411.67/412.08 c | 601080 | 8307 71570 240291 | 94770 81468 19 | 0.312 % |
412.37/412.71 c | 601872 | 8307 71570 240291 | 94770 82260 19 | 0.312 % |
413.17/413.55 c | 602743 | 8307 71570 240291 | 94770 83131 19 | 0.312 % |
414.07/414.48 c | 603705 | 8307 71570 240291 | 94770 84093 19 | 0.312 % |
414.87/415.20 c | 604758 | 8307 71570 240291 | 94770 85146 19 | 0.312 % |
415.57/415.93 c | 605917 | 8307 71570 240291 | 94770 86305 20 | 0.312 % |
416.47/416.84 c | 607190 | 8307 71570 240291 | 94770 87578 20 | 0.312 % |
417.57/417.92 c | 608591 | 8307 71570 240291 | 94770 88979 20 | 0.312 % |
419.27/419.66 c | 610131 | 8307 71570 240291 | 90390 90519 20 | 0.312 % |
420.67/421.10 c | 611826 | 8307 71570 240291 | 90390 82226 20 | 0.312 % |
421.97/422.35 c | 613690 | 8307 71570 240291 | 90390 84090 20 | 0.312 % |
423.56/423.90 c | 615740 | 8307 71570 240291 | 90390 86140 20 | 0.312 % |
425.06/425.48 c | 617993 | 8307 71570 240291 | 90390 88393 20 | 0.312 % |
427.56/427.94 c | 620471 | 8307 71570 240291 | 2147483647 90871 20 | 0.312 % |
430.25/430.60 c | 623198 | 8307 71570 240291 | 2147483647 93598 20 | 0.312 % |
433.06/433.48 c | 626196 | 8307 71570 240291 | 2147483647 96596 20 | 0.312 % |
436.26/436.61 c | 629492 | 8307 71570 240291 | 2147483647 99892 21 | 0.312 % |
439.95/440.32 c | 633118 | 8307 71570 240291 | 100400 89726 20 | 0.312 % |
443.05/443.43 c | 637105 | 8307 71570 240291 | 100400 93713 20 | 0.312 % |
447.55/447.90 c | 641492 | 8307 71570 240291 | 96609 85412 20 | 0.312 % |
451.65/452.09 c | 646315 | 8307 71570 240291 | 96609 90235 20 | 0.312 % |
456.15/456.55 c | 651621 | 8307 71570 240291 | 93921 84328 20 | 0.312 % |
460.84/461.25 c | 657457 | 8307 71570 240291 | 93921 90164 20 | 0.312 % |
460.94/461.34 c | 657558 | 8307 71570 240291 | 93921 90265 20 | 0.312 % |
461.04/461.48 c | 657668 | 8307 71570 240291 | 93921 90375 20 | 0.312 % |
461.24/461.62 c | 657790 | 8307 71570 240291 | 93921 90497 20 | 0.312 % |
461.44/461.80 c | 657924 | 8307 71570 240291 | 93921 90631 20 | 0.312 % |
461.55/461.96 c | 658070 | 8307 71570 240291 | 93921 90777 20 | 0.312 % |
461.74/462.17 c | 658230 | 8307 71570 240291 | 93921 90937 20 | 0.312 % |
461.94/462.34 c | 658406 | 8307 71570 240291 | 93921 91113 20 | 0.312 % |
462.14/462.50 c | 658599 | 8307 71570 240291 | 93921 91306 20 | 0.312 % |
462.44/462.83 c | 658811 | 8307 71570 240291 | 93921 91518 20 | 0.312 % |
462.64/463.07 c | 659044 | 8307 71570 240291 | 93921 91751 20 | 0.312 % |
462.94/463.37 c | 659300 | 8307 71570 240291 | 93921 92007 20 | 0.312 % |
463.24/463.63 c | 659581 | 8307 71570 240291 | 93921 92288 20 | 0.312 % |
463.54/463.98 c | 659891 | 8307 71570 240291 | 93921 92598 20 | 0.312 % |
464.14/464.51 c | 660230 | 8307 71570 240291 | 92707 80298 19 | 0.312 % |
464.44/464.81 c | 660603 | 8307 71570 240291 | 92707 80671 19 | 0.312 % |
464.64/465.09 c | 661013 | 8307 71570 240291 | 92707 81081 19 | 0.312 % |
465.14/465.50 c | 661462 | 8307 71570 240291 | 92707 81530 19 | 0.312 % |
465.44/465.88 c | 661955 | 8307 71570 240291 | 92707 82023 20 | 0.312 % |
465.94/466.33 c | 662499 | 8307 71570 240291 | 92707 82567 20 | 0.312 % |
466.54/466.91 c | 663097 | 8307 71570 240291 | 92707 83165 20 | 0.312 % |
467.14/467.53 c | 663753 | 8307 71570 240291 | 92707 83821 20 | 0.312 % |
467.84/468.22 c | 664473 | 8307 71570 240291 | 92707 84541 20 | 0.312 % |
468.54/468.97 c | 665267 | 8307 71570 240291 | 92707 85335 20 | 0.312 % |
469.43/469.83 c | 666138 | 8307 71570 240291 | 92707 86206 20 | 0.312 % |
470.14/470.58 c | 667096 | 8307 71570 240291 | 92707 87164 20 | 0.312 % |
471.23/471.63 c | 668150 | 8307 71570 240291 | 92707 88218 20 | 0.312 % |
472.33/472.78 c | 669308 | 8307 71570 240291 | 92707 89376 20 | 0.312 % |
473.53/473.90 c | 670581 | 8307 71570 240291 | 90068 80978 19 | 0.312 % |
474.73/475.16 c | 671981 | 8307 71570 240291 | 90068 82378 19 | 0.312 % |
476.03/476.48 c | 673521 | 8307 71570 240291 | 90068 83918 19 | 0.312 % |
477.33/477.78 c | 675215 | 8307 71570 240291 | 90068 85612 20 | 0.312 % |
479.33/479.77 c | 677080 | 8307 71570 240291 | 90068 87477 20 | 0.312 % |
481.33/481.73 c | 679130 | 8307 71570 240291 | 90068 89527 20 | 0.312 % |
483.43/483.83 c | 681385 | 8307 71570 240291 | 2147483647 82761 19 | 0.312 % |
485.13/485.53 c | 683864 | 8307 71570 240291 | 2147483647 85240 19 | 0.312 % |
487.72/488.19 c | 686592 | 8307 71570 240291 | 2147483647 87968 19 | 0.312 % |
490.82/491.22 c | 689590 | 8307 71570 240291 | 2147483647 90966 20 | 0.312 % |
493.82/494.24 c | 692888 | 8307 71570 240291 | 2147483647 94264 20 | 0.312 % |
497.22/497.69 c | 696513 | 8306 71567 240285 | 2147483647 97887 19 | 0.324 % |
501.72/502.11 c | 700501 | 8306 71567 240285 | 101375 87038 19 | 0.324 % |
505.42/505.86 c | 704887 | 8306 71567 240285 | 101375 91424 19 | 0.324 % |
509.41/509.89 c | 709711 | 8306 71567 240285 | 101375 96248 19 | 0.324 % |
513.91/514.34 c | 715017 | 8306 71567 240285 | 96537 90171 19 | 0.324 % |
519.51/519.93 c | 720852 | 8306 71567 240285 | 95154 86461 18 | 0.324 % |
523.11/523.53 c | 727270 | 8285 70218 232644 | 95154 25775 12 | 0.576 % |
523.11/523.55 c | 727372 | 8285 70218 232644 | 95154 25877 12 | 0.576 % |
523.11/523.58 c | 727482 | 8285 70218 232644 | 95154 25987 12 | 0.576 % |
523.21/523.61 c | 727603 | 8285 70218 232644 | 95154 26108 12 | 0.576 % |
523.21/523.64 c | 727736 | 8285 70218 232644 | 95154 26241 12 | 0.576 % |
523.21/523.67 c | 727884 | 8285 70218 232644 | 95154 26389 12 | 0.576 % |
523.30/523.71 c | 728044 | 8285 70218 232644 | 95154 26549 12 | 0.576 % |
523.30/523.75 c | 728221 | 8285 70218 232644 | 95154 26726 12 | 0.576 % |
523.30/523.80 c | 728415 | 8285 70218 232644 | 95154 26920 12 | 0.576 % |
523.40/523.84 c | 728629 | 8285 70218 232644 | 95154 27134 12 | 0.576 % |
523.40/523.89 c | 728862 | 8282 70218 232644 | 95154 27366 12 | 0.672 % |
523.50/523.93 c ===============================================================================
523.50/523.93 c restarts : 1047
523.50/523.93 c conflicts : 729074 (1396 /sec)
523.50/523.93 c decisions : 1051384 (1.82 % random) (2013 /sec)
523.50/523.93 c propagations : 168374979 (322399 /sec)
523.50/523.93 c conflict literals : 16205548 (36.83 % deleted)
523.50/523.93 c Memory used : 20.94 MB
523.50/523.93 c CPU time : 522.257 s
523.50/523.93 c
523.50/523.93 s UNSATISFIABLE
523.50/523.94 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837406-1242869312/watcher-1837406-1242869312 -o /tmp/evaluation-result-1837406-1242869312/solver-1837406-1242869312 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837406-1242869312.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.95 3/65 9738
/proc/meminfo: memFree=1811568/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=0
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 237 197 169 0 50 0
[pid=9742] ppid=9738 vsize=5356 CPUtime=0
/proc/9742/stat : 9742 (SatELiteGTI) R 9738 9738 9701 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 1 0 0
/proc/9742/statm: 1339 237 197 169 0 50 0
[startup+0.026615 s]
/proc/loadavg: 0.85 0.97 0.95 3/65 9738
/proc/meminfo: memFree=1811568/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=0
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 237 197 169 0 50 0
[pid=9742] ppid=9738 vsize=3444 CPUtime=0.01
/proc/9742/stat : 9742 (SatELite_releas) R 9738 9738 9701 0 -1 4194304 722 0 0 0 1 0 0 0 20 0 1 0 314960767 3526656 708 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/9742/statm: 861 711 50 173 0 686 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8800
[startup+0.101628 s]
/proc/loadavg: 0.85 0.97 0.95 3/65 9738
/proc/meminfo: memFree=1811568/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=0
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 237 197 169 0 50 0
[pid=9742] ppid=9738 vsize=12744 CPUtime=0.08
/proc/9742/stat : 9742 (SatELite_releas) R 9738 9738 9701 0 -1 4194304 2858 0 0 0 7 1 0 0 20 0 1 0 314960767 13049856 2844 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/9742/statm: 3186 2846 50 173 0 3011 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18100
[startup+0.301663 s]
/proc/loadavg: 0.85 0.97 0.95 3/65 9738
/proc/meminfo: memFree=1811568/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=0
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 237 197 169 0 50 0
[pid=9742] ppid=9738 vsize=22516 CPUtime=0.29
/proc/9742/stat : 9742 (SatELite_releas) R 9738 9738 9701 0 -1 4194304 4695 0 0 0 27 2 0 0 22 0 1 0 314960767 23056384 4681 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 0 0 0
/proc/9742/statm: 5629 4681 75 173 0 5454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27872
[startup+0.701733 s]
/proc/loadavg: 0.85 0.97 0.95 3/65 9738
/proc/meminfo: memFree=1811568/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=0
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314960767 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 237 197 169 0 50 0
[pid=9742] ppid=9738 vsize=22436 CPUtime=0.68
/proc/9742/stat : 9742 (SatELite_releas) R 9738 9738 9701 0 -1 4194304 5055 0 0 0 66 2 0 0 25 0 1 0 314960767 22974464 4653 1992294400 134512640 135223648 4294956128 18446744073709551615 134587365 0 0 4096 3 0 0 0 17 0 0 0
/proc/9742/statm: 5609 4653 76 173 0 5434 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27792
[startup+1.50189 s]
/proc/loadavg: 0.85 0.97 0.95 2/67 9743
/proc/meminfo: memFree=1789336/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 5356
[startup+3.10217 s]
/proc/loadavg: 0.86 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1802008/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=7712 CPUtime=1.85
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 1793 0 0 0 185 0 0 0 25 0 1 0 314960890 7897088 1779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/9744/statm: 1928 1779 77 171 0 1755 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13068
[startup+6.30174 s]
/proc/loadavg: 0.86 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1799192/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=10068 CPUtime=5.04
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 2350 0 0 0 503 1 0 0 25 0 1 0 314960890 10309632 2336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/9744/statm: 2517 2336 77 171 0 2344 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15424
[startup+12.7019 s]
/proc/loadavg: 0.88 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1796200/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=12832 CPUtime=11.43
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 3058 0 0 0 1140 3 0 0 25 0 1 0 314960890 13139968 3044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 3208 3044 77 171 0 3035 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18188
[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1792760/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=16336 CPUtime=24.22
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 3882 0 0 0 2418 4 0 0 25 0 1 0 314960890 16728064 3868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 4084 3868 77 171 0 3911 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21692
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1791416/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=17620 CPUtime=49.78
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 4202 0 0 0 4974 4 0 0 25 0 1 0 314960890 18042880 4188 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 4405 4188 77 171 0 4232 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 22976
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1789176/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=19796 CPUtime=100.94
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 4757 0 0 0 10089 5 0 0 25 0 1 0 314960890 20271104 4708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 4949 4708 77 171 0 4776 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 25152
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1788664/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=20192 CPUtime=160.9
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 4869 0 0 0 16084 6 0 0 25 0 1 0 314960890 20676608 4820 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5048 4820 77 171 0 4875 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 25548
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1788280/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=20492 CPUtime=220.86
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 4944 0 0 0 22080 6 0 0 25 0 1 0 314960890 20983808 4895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5123 4895 77 171 0 4950 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 25848
[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1788024/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=20840 CPUtime=280.82
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 4998 0 0 0 28076 6 0 0 25 0 1 0 314960890 21340160 4949 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5210 4949 77 171 0 5037 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 26196
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787704/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21148 CPUtime=340.78
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5067 0 0 0 34072 6 0 0 25 0 1 0 314960890 21655552 5018 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5287 5018 77 171 0 5114 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 26504
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787448/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21300 CPUtime=400.76
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5106 0 0 0 40069 7 0 0 25 0 1 0 314960890 21811200 5057 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5325 5057 77 171 0 5152 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 26656
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787320/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21440 CPUtime=460.72
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5138 0 0 0 46065 7 0 0 25 0 1 0 314960890 21954560 5089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5360 5089 77 171 0 5187 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 26796
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787128/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21440 CPUtime=520.69
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5161 0 0 0 52062 7 0 0 25 0 1 0 314960890 21954560 5112 1992294400 134512640 135215339 4294956240 18446744073709551615 134526315 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5360 5112 77 171 0 5187 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 26796
Solver just ended. Dumping a history of the last processes samples
[startup+523.102 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787128/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21440 CPUtime=521.49
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5161 0 0 0 52142 7 0 0 25 0 1 0 314960890 21954560 5112 1992294400 134512640 135215339 4294956240 18446744073709551615 134527378 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5360 5112 77 171 0 5187 0
Current children cumulated CPU time (s) 522.71
Current children cumulated vsize (KiB) 26796
[startup+523.502 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787128/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21440 CPUtime=521.89
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5161 0 0 0 52182 7 0 0 25 0 1 0 314960890 21954560 5112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5360 5112 77 171 0 5187 0
Current children cumulated CPU time (s) 523.11
Current children cumulated vsize (KiB) 26796
[startup+523.902 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 9744
/proc/meminfo: memFree=1787128/2055920 swapFree=4115068/4192956
[pid=9738] ppid=9736 vsize=5356 CPUtime=1.22
/proc/9738/stat : 9738 (SatELiteGTI) S 9736 9738 9701 0 -1 4194304 336 5835 0 0 0 0 118 4 16 0 1 0 314960767 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9738/statm: 1339 239 197 169 0 50 0
[pid=9744] ppid=9738 vsize=21440 CPUtime=522.28
/proc/9744/stat : 9744 (minisat_static) R 9738 9738 9701 0 -1 4194304 5161 0 0 0 52221 7 0 0 25 0 1 0 314960890 21954560 5112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/9744/statm: 5360 5112 77 171 0 5187 0
Current children cumulated CPU time (s) 523.5
Current children cumulated vsize (KiB) 26796
Child status: 20
Real time (s): 523.95
CPU time (s): 523.573
CPU user time (s): 523.443
CPU system time (s): 0.12998
CPU usage (%): 99.9281
Max. virtual memory (cumulated for all children) (KiB): 30860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.443
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11492
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= 47
involuntary context switches= 3799
runsolver used 0.473927 second user time and 1.51877 second system time
The end
Begin job on node89 at 2009-05-21 03:28:32
IDJOB=1837406
IDBENCH=70947
IDSOLVER=674
FILE ID=node89/1837406-1242869312
PBS_JOBID= 9328596
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837406-1242869312/watcher-1837406-1242869312 -o /tmp/evaluation-result-1837406-1242869312/solver-1837406-1242869312 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837406-1242869312.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e7c28f6a200a1c1912fbaacfb3572515
RANDOM SEED=47907780
node89.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.268
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.268
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1812112 kB
Buffers: 35344 kB
Cached: 101896 kB
SwapCached: 72132 kB
Active: 59108 kB
Inactive: 151812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1812112 kB
SwapTotal: 4192956 kB
SwapFree: 4115068 kB
Dirty: 4928 kB
Writeback: 0 kB
Mapped: 15844 kB
Slab: 18908 kB
Committed_AS: 943544 kB
PageTables: 1380 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= 66232 MiB
End job on node89 at 2009-05-21 03:37:17