0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18000 90000 | 5399 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 900 #clauses: 18000 #literals: 90000
0.00/0.02 c CPU time: 0.018997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 900 |
0.00/0.05 c | Number of clauses: 18000 |
0.04/0.07 c | Parsing time: 0.01 s |
0.04/0.07 c ============================[ Search Statistics ]==============================
0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.07 c ===============================================================================
0.04/0.07 c | 0 | 900 18000 90000 | 6000 0 nan | 0.000 % |
0.04/0.08 c | 101 | 900 18000 90000 | 6000 101 105 | 0.000 % |
0.04/0.09 c | 201 | 900 18000 90000 | 6000 201 108 | 0.000 % |
0.04/0.10 c | 302 | 900 18000 90000 | 6000 302 104 | 0.000 % |
0.04/0.11 c | 412 | 900 18000 90000 | 6000 412 106 | 0.000 % |
0.04/0.12 c | 512 | 900 18000 90000 | 6000 512 105 | 0.000 % |
0.04/0.13 c | 622 | 900 18000 90000 | 6000 622 105 | 0.000 % |
0.04/0.15 c | 743 | 900 18000 90000 | 6000 743 104 | 0.000 % |
0.04/0.16 c | 844 | 900 18000 90000 | 6000 844 105 | 0.000 % |
0.04/0.17 c | 954 | 900 18000 90000 | 6000 954 108 | 0.000 % |
0.04/0.18 c | 1075 | 900 18000 90000 | 6000 1075 109 | 0.000 % |
0.04/0.19 c | 1208 | 900 18000 90000 | 6000 1208 110 | 0.000 % |
0.04/0.20 c | 1308 | 900 18000 90000 | 6000 1308 111 | 0.000 % |
0.04/0.22 c | 1418 | 900 18000 90000 | 6000 1418 111 | 0.000 % |
0.04/0.23 c | 1540 | 900 18000 90000 | 6000 1540 110 | 0.000 % |
0.04/0.24 c | 1674 | 900 18000 90000 | 6000 1674 111 | 0.000 % |
0.04/0.26 c | 1822 | 900 18000 90000 | 6000 1822 112 | 0.000 % |
0.04/0.27 c | 1924 | 900 18000 90000 | 6000 1924 111 | 0.000 % |
0.04/0.28 c | 2034 | 900 18000 90000 | 6000 2034 111 | 0.000 % |
0.04/0.30 c | 2156 | 900 18000 90000 | 6000 2156 112 | 0.000 % |
0.04/0.31 c | 2289 | 900 18000 90000 | 6000 2289 113 | 0.000 % |
0.04/0.33 c | 2435 | 900 18000 90000 | 6000 2435 113 | 0.000 % |
0.04/0.35 c | 2595 | 900 18000 90000 | 6000 2595 113 | 0.000 % |
0.04/0.36 c | 2696 | 900 18000 90000 | 6000 2696 113 | 0.000 % |
0.04/0.37 c | 2807 | 900 18000 90000 | 6000 2807 113 | 0.000 % |
0.04/0.39 c | 2930 | 900 18000 90000 | 6000 2930 113 | 0.000 % |
0.04/0.40 c | 3064 | 900 18000 90000 | 6000 3064 113 | 0.000 % |
0.04/0.42 c | 3210 | 900 18000 90000 | 6000 3210 114 | 0.000 % |
0.04/0.44 c | 3371 | 900 18000 90000 | 6000 3371 113 | 0.000 % |
0.04/0.46 c | 3548 | 900 18000 90000 | 6000 3548 112 | 0.000 % |
0.04/0.47 c | 3648 | 900 18000 90000 | 6000 3648 112 | 0.000 % |
0.04/0.48 c | 3758 | 900 18000 90000 | 6000 3758 112 | 0.000 % |
0.04/0.50 c | 3879 | 900 18000 90000 | 6000 3879 112 | 0.000 % |
0.04/0.51 c | 4013 | 900 18000 90000 | 6000 4013 113 | 0.000 % |
0.04/0.53 c | 4160 | 900 18000 90000 | 6000 4160 113 | 0.000 % |
0.04/0.55 c | 4320 | 900 18000 90000 | 6000 4320 113 | 0.000 % |
0.04/0.57 c | 4496 | 900 18000 90000 | 6000 4496 114 | 0.000 % |
0.04/0.59 c | 4691 | 900 18000 90000 | 6000 4691 114 | 0.000 % |
0.04/0.61 c | 4791 | 900 18000 90000 | 6000 4791 113 | 0.000 % |
0.04/0.62 c | 4903 | 900 18000 90000 | 6000 4903 113 | 0.000 % |
0.04/0.64 c | 5027 | 900 18000 90000 | 6000 5027 113 | 0.000 % |
0.04/0.65 c | 5162 | 900 18000 90000 | 6000 5162 113 | 0.000 % |
0.04/0.67 c | 5308 | 900 18000 90000 | 6000 5308 113 | 0.000 % |
0.04/0.69 c | 5470 | 900 18000 90000 | 6000 5470 113 | 0.000 % |
0.04/0.71 c | 5647 | 900 18000 90000 | 6000 5647 113 | 0.000 % |
0.04/0.74 c | 5840 | 900 18000 90000 | 6000 5840 113 | 0.000 % |
0.04/0.76 c | 6053 | 900 18000 90000 | 6000 6053 114 | 0.000 % |
0.04/0.78 c | 6154 | 900 18000 90000 | 6000 5549 113 | 0.000 % |
0.04/0.80 c | 6264 | 900 18000 90000 | 6000 5659 113 | 0.000 % |
0.04/0.81 c | 6387 | 900 18000 90000 | 6000 5782 114 | 0.000 % |
0.04/0.83 c | 6521 | 900 18000 90000 | 6000 5916 114 | 0.000 % |
0.04/0.85 c | 6667 | 900 18000 90000 | 6000 6062 113 | 0.000 % |
0.04/0.87 c | 6828 | 900 18000 90000 | 6000 5617 113 | 0.000 % |
0.04/0.89 c | 7006 | 900 18000 90000 | 6000 5795 113 | 0.000 % |
0.04/0.92 c | 7199 | 900 18000 90000 | 6000 5988 113 | 0.000 % |
0.04/0.94 c | 7412 | 900 18000 90000 | 6000 6201 113 | 0.000 % |
0.04/0.98 c | 7645 | 900 18000 90000 | 6000 5814 113 | 0.000 % |
0.04/0.99 c | 7746 | 900 18000 90000 | 6000 5915 113 | 0.000 % |
0.97/1.01 c | 7857 | 900 18000 90000 | 6000 6026 113 | 0.000 % |
0.97/1.02 c | 7978 | 900 18000 90000 | 6000 5545 113 | 0.000 % |
0.97/1.04 c | 8112 | 900 18000 90000 | 6000 5679 112 | 0.000 % |
0.97/1.06 c | 8260 | 900 18000 90000 | 6000 5827 113 | 0.000 % |
0.97/1.08 c | 8421 | 900 18000 90000 | 6000 5988 113 | 0.000 % |
1.07/1.11 c | 8598 | 900 18000 90000 | 6000 6165 113 | 0.000 % |
1.07/1.13 c | 8792 | 900 18000 90000 | 6000 5743 113 | 0.000 % |
1.07/1.16 c | 9004 | 900 18000 90000 | 6000 5955 113 | 0.000 % |
1.07/1.19 c | 9237 | 900 18000 90000 | 6000 6188 114 | 0.000 % |
1.17/1.23 c | 9495 | 900 18000 90000 | 6000 5828 115 | 0.000 % |
1.17/1.24 c | 9595 | 900 18000 90000 | 6000 5928 115 | 0.000 % |
1.17/1.26 c | 9706 | 900 18000 90000 | 6000 6039 115 | 0.000 % |
1.17/1.28 c | 9829 | 900 18000 90000 | 6000 5559 115 | 0.000 % |
1.17/1.29 c | 9963 | 900 18000 90000 | 6000 5693 115 | 0.000 % |
1.27/1.31 c | 10109 | 900 18000 90000 | 2147483647 5839 114 | 0.000 % |
1.27/1.33 c | 10269 | 900 18000 90000 | 2147483647 5999 114 | 0.000 % |
1.27/1.36 c | 10445 | 900 18000 90000 | 2147483647 6175 114 | 0.000 % |
1.27/1.38 c | 10639 | 900 18000 90000 | 2147483647 6369 114 | 0.000 % |
1.37/1.41 c | 10852 | 900 18000 90000 | 2147483647 6582 114 | 0.000 % |
1.37/1.44 c | 11085 | 900 18000 90000 | 2147483647 6815 114 | 0.000 % |
1.37/1.48 c | 11343 | 900 18000 90000 | 2147483647 7073 114 | 0.000 % |
1.47/1.51 c | 11625 | 900 18000 90000 | 2147483647 7355 115 | 0.000 % |
1.47/1.53 c | 11726 | 900 18000 90000 | 2147483647 7456 115 | 0.000 % |
1.47/1.55 c | 11838 | 900 18000 90000 | 2147483647 7568 115 | 0.000 % |
1.47/1.56 c | 11960 | 900 18000 90000 | 2147483647 7690 115 | 0.000 % |
1.47/1.58 c | 12094 | 900 18000 90000 | 2147483647 7824 114 | 0.000 % |
1.57/1.60 c | 12241 | 900 18000 90000 | 2147483647 7971 114 | 0.000 % |
1.57/1.62 c | 12402 | 900 18000 90000 | 2147483647 8132 114 | 0.000 % |
1.57/1.65 c | 12579 | 900 18000 90000 | 2147483647 8309 114 | 0.000 % |
1.57/1.68 c | 12772 | 900 18000 90000 | 2147483647 8502 114 | 0.000 % |
1.67/1.71 c | 12984 | 900 18000 90000 | 2147483647 8714 114 | 0.000 % |
1.67/1.74 c | 13217 | 900 18000 90000 | 2147483647 8947 114 | 0.000 % |
1.67/1.78 c | 13473 | 900 18000 90000 | 2147483647 9203 114 | 0.000 % |
1.77/1.82 c | 13755 | 900 18000 90000 | 2147483647 9485 114 | 0.000 % |
1.77/1.87 c | 14064 | 900 18000 90000 | 2147483647 9794 114 | 0.000 % |
1.77/1.89 c | 14164 | 900 18000 90000 | 2147483647 9894 114 | 0.000 % |
1.87/1.91 c | 14274 | 900 18000 90000 | 2147483647 10004 114 | 0.000 % |
1.87/1.93 c | 14397 | 900 18000 90000 | 2147483647 10127 114 | 0.000 % |
1.87/1.95 c | 14532 | 900 18000 90000 | 2147483647 10262 114 | 0.000 % |
1.87/1.98 c | 14678 | 900 18000 90000 | 2147483647 10408 114 | 0.000 % |
1.97/2.00 c | 14838 | 900 18000 90000 | 2147483647 10568 114 | 0.000 % |
1.97/2.03 c | 15015 | 900 18000 90000 | 2147483647 10745 114 | 0.000 % |
1.97/2.06 c | 15209 | 900 18000 90000 | 2147483647 10939 114 | 0.000 % |
1.97/2.09 c | 15421 | 900 18000 90000 | 2147483647 11151 114 | 0.000 % |
2.07/2.13 c | 15654 | 900 18000 90000 | 2147483647 11384 114 | 0.000 % |
2.07/2.17 c | 15910 | 900 18000 90000 | 2147483647 11640 114 | 0.000 % |
2.17/2.22 c | 16191 | 900 18000 90000 | 2147483647 11921 114 | 0.000 % |
2.17/2.27 c | 16501 | 900 18000 90000 | 2147483647 12231 114 | 0.000 % |
2.26/2.33 c | 16841 | 900 18000 90000 | 2147483647 12571 114 | 0.000 % |
2.26/2.34 c | 16942 | 900 18000 90000 | 2147483647 12672 114 | 0.000 % |
2.26/2.37 c | 17052 | 900 18000 90000 | 2147483647 12782 114 | 0.000 % |
2.26/2.39 c | 17173 | 900 18000 90000 | 2147483647 12903 113 | 0.000 % |
2.36/2.41 c | 17306 | 900 18000 90000 | 2147483647 13036 113 | 0.000 % |
2.36/2.44 c | 17452 | 900 18000 90000 | 2147483647 13182 114 | 0.000 % |
2.36/2.47 c | 17612 | 900 18000 90000 | 2147483647 13342 114 | 0.000 % |
2.46/2.50 c | 17788 | 900 18000 90000 | 2147483647 13518 114 | 0.000 % |
2.46/2.53 c | 17981 | 900 18000 90000 | 2147483647 13711 114 | 0.000 % |
2.46/2.57 c | 18196 | 900 18000 90000 | 2147483647 13926 113 | 0.000 % |
2.56/2.62 c | 18430 | 900 18000 90000 | 2147483647 14160 114 | 0.000 % |
2.56/2.66 c | 18687 | 900 18000 90000 | 2147483647 14417 114 | 0.000 % |
2.66/2.71 c | 18971 | 900 18000 90000 | 2147483647 14701 114 | 0.000 % |
2.66/2.76 c | 19282 | 900 18000 90000 | 2147483647 15012 114 | 0.000 % |
2.76/2.83 c | 19622 | 900 18000 90000 | 2147483647 15352 114 | 0.000 % |
2.76/2.90 c | 19997 | 900 18000 90000 | 2147483647 15727 114 | 0.000 % |
2.86/2.92 c | 20097 | 900 18000 90000 | 2147483647 15827 114 | 0.000 % |
2.86/2.94 c | 20207 | 900 18000 90000 | 2147483647 15937 114 | 0.000 % |
2.86/2.97 c | 20329 | 900 18000 90000 | 2147483647 16059 114 | 0.000 % |
2.86/2.99 c | 20463 | 900 18000 90000 | 2147483647 16193 114 | 0.000 % |
2.96/3.02 c | 20610 | 900 18000 90000 | 2147483647 16340 114 | 0.000 % |
2.96/3.06 c | 20770 | 900 18000 90000 | 2147483647 16500 115 | 0.000 % |
2.96/3.09 c | 20947 | 900 18000 90000 | 2147483647 16677 114 | 0.000 % |
3.06/3.13 c | 21140 | 900 18000 90000 | 2147483647 16870 114 | 0.000 % |
3.06/3.17 c | 21352 | 900 18000 90000 | 2147483647 17082 115 | 0.000 % |
3.16/3.22 c | 21586 | 900 18000 90000 | 2147483647 17316 114 | 0.000 % |
3.16/3.28 c | 21842 | 900 18000 90000 | 2147483647 17572 115 | 0.000 % |
3.27/3.34 c | 22124 | 900 18000 90000 | 2147483647 17854 115 | 0.000 % |
3.36/3.40 c | 22435 | 900 18000 90000 | 2147483647 18165 115 | 0.000 % |
3.36/3.48 c | 22776 | 900 18000 90000 | 2147483647 18506 115 | 0.000 % |
3.46/3.56 c | 23151 | 900 18000 90000 | 2147483647 18881 115 | 0.000 % |
3.56/3.65 c | 23561 | 900 18000 90000 | 2147483647 19291 115 | 0.000 % |
3.56/3.68 c | 23662 | 900 18000 90000 | 2147483647 19392 115 | 0.000 % |
3.66/3.71 c | 23774 | 900 18000 90000 | 2147483647 19504 115 | 0.000 % |
3.66/3.74 c | 23896 | 900 18000 90000 | 2147483647 19626 115 | 0.000 % |
3.66/3.77 c | 24029 | 900 18000 90000 | 2147483647 19759 115 | 0.000 % |
3.76/3.81 c | 24175 | 900 18000 90000 | 2147483647 19905 115 | 0.000 % |
3.76/3.85 c | 24336 | 900 18000 90000 | 2147483647 20066 115 | 0.000 % |
3.76/3.89 c | 24512 | 900 18000 90000 | 2147483647 20242 115 | 0.000 % |
3.86/3.94 c | 24705 | 900 18000 90000 | 2147483647 20435 115 | 0.000 % |
3.86/4.00 c | 24917 | 900 18000 90000 | 2147483647 20647 115 | 0.000 % |
3.96/4.05 c | 25154 | 900 18000 90000 | 2147483647 20884 115 | 0.000 % |
4.06/4.11 c | 25410 | 900 18000 90000 | 2147483647 21140 115 | 0.000 % |
4.06/4.18 c | 25692 | 900 18000 90000 | 2147483647 21422 115 | 0.000 % |
4.16/4.25 c | 26001 | 900 18000 90000 | 2147483647 21731 115 | 0.000 % |
4.26/4.33 c | 26340 | 900 18000 90000 | 2147483647 22070 115 | 0.000 % |
4.36/4.42 c | 26712 | 900 18000 90000 | 2147483647 22442 115 | 0.000 % |
4.46/4.52 c | 27122 | 900 18000 90000 | 2147483647 22852 115 | 0.000 % |
4.56/4.63 c | 27571 | 900 18000 90000 | 2147483647 23301 115 | 0.000 % |
4.56/4.66 c | 27673 | 900 18000 90000 | 2147483647 23403 115 | 0.000 % |
4.56/4.69 c | 27783 | 900 18000 90000 | 2147483647 23513 115 | 0.000 % |
4.65/4.72 c | 27904 | 900 18000 90000 | 2147483647 23634 115 | 0.000 % |
4.65/4.75 c | 28039 | 900 18000 90000 | 2147483647 23769 115 | 0.000 % |
4.65/4.79 c | 28186 | 900 18000 90000 | 2147483647 23916 115 | 0.000 % |
4.75/4.84 c | 28347 | 900 18000 90000 | 2147483647 24077 115 | 0.000 % |
4.75/4.88 c | 28523 | 900 18000 90000 | 2147483647 24253 115 | 0.000 % |
4.85/4.94 c | 28717 | 900 18000 90000 | 2147483647 24447 115 | 0.000 % |
4.85/4.99 c | 28929 | 900 18000 90000 | 2147483647 24659 115 | 0.000 % |
4.95/5.05 c | 29163 | 900 18000 90000 | 2147483647 24893 115 | 0.000 % |
5.05/5.13 c | 29421 | 900 18000 90000 | 2147483647 25151 115 | 0.000 % |
5.15/5.20 c | 29704 | 900 18000 90000 | 2147483647 25434 115 | 0.000 % |
5.15/5.27 c | 30013 | 900 18000 90000 | 2147483647 25743 115 | 0.000 % |
5.25/5.37 c | 30352 | 900 18000 90000 | 2147483647 26082 115 | 0.000 % |
5.36/5.47 c | 30724 | 900 18000 90000 | 2147483647 26454 115 | 0.000 % |
5.45/5.59 c | 31134 | 900 18000 90000 | 2147483647 26864 115 | 0.000 % |
5.66/5.72 c | 31583 | 900 18000 90000 | 2147483647 27313 115 | 0.000 % |
5.76/5.86 c | 32078 | 900 18000 90000 | 2147483647 27808 115 | 0.000 % |
5.76/5.89 c | 32178 | 900 18000 90000 | 2147483647 27908 115 | 0.000 % |
5.86/5.93 c | 32290 | 900 18000 90000 | 2147483647 28020 115 | 0.000 % |
5.86/5.96 c | 32412 | 900 18000 90000 | 2147483647 28142 115 | 0.000 % |
5.96/6.00 c | 32545 | 900 18000 90000 | 2147483647 28275 115 | 0.000 % |
5.96/6.05 c | 32692 | 900 18000 90000 | 2147483647 28422 115 | 0.000 % |
6.06/6.10 c | 32852 | 900 18000 90000 | 2147483647 28582 115 | 0.000 % |
6.06/6.15 c | 33028 | 900 18000 90000 | 2147483647 28758 115 | 0.000 % |
6.16/6.21 c | 33222 | 900 18000 90000 | 2147483647 28952 115 | 0.000 % |
6.16/6.28 c | 33437 | 900 18000 90000 | 2147483647 29167 115 | 0.000 % |
6.26/6.35 c | 33671 | 900 18000 90000 | 2147483647 29401 115 | 0.000 % |
6.36/6.42 c | 33927 | 900 18000 90000 | 2147483647 29657 115 | 0.000 % |
6.36/6.50 c | 34210 | 900 18000 90000 | 2147483647 29940 115 | 0.000 % |
6.46/6.59 c | 34519 | 900 18000 90000 | 2147483647 30249 115 | 0.000 % |
6.56/6.69 c | 34858 | 900 18000 90000 | 2147483647 30588 115 | 0.000 % |
6.65/6.80 c | 35230 | 900 18000 90000 | 2147483647 30960 115 | 0.000 % |
6.85/6.92 c | 35640 | 900 18000 90000 | 2147483647 31370 115 | 0.000 % |
6.95/7.05 c | 36089 | 900 18000 90000 | 2147483647 31819 115 | 0.000 % |
7.15/7.21 c | 36583 | 900 18000 90000 | 2147483647 32313 116 | 0.000 % |
7.25/7.38 c | 37127 | 900 18000 90000 | 2147483647 32857 116 | 0.000 % |
7.35/7.41 c | 37228 | 900 18000 90000 | 2147483647 32958 116 | 0.000 % |
7.35/7.46 c | 37338 | 900 18000 90000 | 2147483647 33068 116 | 0.000 % |
7.45/7.50 c | 37460 | 900 18000 90000 | 2147483647 33190 116 | 0.000 % |
7.45/7.55 c | 37594 | 900 18000 90000 | 2147483647 33324 116 | 0.000 % |
7.56/7.61 c | 37744 | 900 18000 90000 | 2147483647 33474 116 | 0.000 % |
7.56/7.66 c | 37905 | 900 18000 90000 | 2147483647 33635 116 | 0.000 % |
7.66/7.73 c | 38081 | 900 18000 90000 | 2147483647 33811 116 | 0.000 % |
7.76/7.80 c | 38275 | 900 18000 90000 | 2147483647 34005 116 | 0.000 % |
7.76/7.87 c | 38487 | 900 18000 90000 | 2147483647 34217 116 | 0.000 % |
7.86/7.95 c | 38722 | 900 18000 90000 | 2147483647 34452 116 | 0.000 % |
7.96/8.04 c | 38979 | 900 18000 90000 | 2147483647 34709 116 | 0.000 % |
8.06/8.13 c | 39261 | 900 18000 90000 | 2147483647 34991 116 | 0.000 % |
8.15/8.24 c | 39572 | 900 18000 90000 | 2147483647 35302 116 | 0.000 % |
8.25/8.35 c | 39911 | 900 18000 90000 | 2147483647 35641 116 | 0.000 % |
8.35/8.48 c | 40283 | 900 18000 90000 | 2147483647 36013 116 | 0.000 % |
8.55/8.62 c | 40692 | 900 18000 90000 | 2147483647 36422 116 | 0.000 % |
8.65/8.79 c | 41142 | 900 18000 90000 | 2147483647 36872 116 | 0.000 % |
8.85/8.97 c | 41635 | 900 18000 90000 | 2147483647 37365 116 | 0.000 % |
9.05/9.17 c | 42177 | 900 18000 90000 | 2147483647 37907 116 | 0.000 % |
9.25/9.39 c | 42774 | 900 18000 90000 | 2147483647 38504 116 | 0.000 % |
9.35/9.43 c | 42874 | 900 18000 90000 | 2147483647 38604 116 | 0.000 % |
9.35/9.47 c | 42984 | 900 18000 90000 | 2147483647 38714 116 | 0.000 % |
9.45/9.52 c | 43107 | 900 18000 90000 | 2147483647 38837 116 | 0.000 % |
9.45/9.57 c | 43241 | 900 18000 90000 | 2147483647 38971 116 | 0.000 % |
9.55/9.63 c | 43389 | 900 18000 90000 | 2147483647 39119 116 | 0.000 % |
9.55/9.69 c | 43549 | 900 18000 90000 | 2147483647 39279 116 | 0.000 % |
9.65/9.77 c | 43725 | 900 18000 90000 | 2147483647 39455 116 | 0.000 % |
9.75/9.86 c | 43919 | 900 18000 90000 | 2147483647 39649 116 | 0.000 % |
9.85/9.94 c | 44131 | 900 18000 90000 | 2147483647 39861 116 | 0.000 % |
9.95/10.04 c | 44364 | 900 18000 90000 | 2147483647 40094 116 | 0.000 % |
10.05/10.14 c | 44620 | 900 18000 90000 | 2147483647 40350 116 | 0.000 % |
10.14/10.24 c | 44903 | 900 18000 90000 | 2147483647 40633 116 | 0.000 % |
10.24/10.36 c | 45212 | 900 18000 90000 | 2147483647 40942 116 | 0.000 % |
10.34/10.49 c | 45551 | 900 18000 90000 | 2147483647 41281 116 | 0.000 % |
10.54/10.64 c | 45924 | 900 18000 90000 | 2147483647 41654 116 | 0.000 % |
10.74/10.81 c | 46333 | 900 18000 90000 | 2147483647 42063 116 | 0.000 % |
10.85/10.99 c | 46783 | 900 18000 90000 | 2147483647 42513 116 | 0.000 % |
11.05/11.17 c | 47277 | 900 18000 90000 | 2147483647 43007 116 | 0.000 % |
11.25/11.37 c | 47820 | 900 18000 90000 | 2147483647 43550 116 | 0.000 % |
11.45/11.58 c | 48416 | 900 18000 90000 | 2147483647 44146 116 | 0.000 % |
11.75/11.81 c | 49072 | 900 18000 90000 | 2147483647 44802 116 | 0.000 % |
11.75/11.87 c | 49173 | 900 18000 90000 | 2147483647 44903 116 | 0.000 % |
11.85/11.92 c | 49283 | 900 18000 90000 | 2147483647 45013 116 | 0.000 % |
11.85/11.97 c | 49405 | 900 18000 90000 | 2147483647 45135 116 | 0.000 % |
11.95/12.03 c | 49539 | 900 18000 90000 | 2147483647 45269 116 | 0.000 % |
12.05/12.11 c | 49685 | 900 18000 90000 | 2147483647 45415 116 | 0.000 % |
12.05/12.18 c | 49845 | 900 18000 90000 | 2147483647 45575 116 | 0.000 % |
12.14/12.26 c | 50023 | 900 18000 90000 | 2147483647 45753 116 | 0.000 % |
12.24/12.36 c | 50220 | 900 18000 90000 | 2147483647 45950 116 | 0.000 % |
12.34/12.46 c | 50432 | 900 18000 90000 | 2147483647 46162 116 | 0.000 % |
12.45/12.57 c | 50667 | 900 18000 90000 | 2147483647 46397 116 | 0.000 % |
12.55/12.68 c | 50924 | 900 18000 90000 | 2147483647 46654 116 | 0.000 % |
12.75/12.83 c | 51207 | 900 18000 90000 | 2147483647 46937 116 | 0.000 % |
12.85/12.96 c | 51517 | 900 18000 90000 | 2147483647 47247 116 | 0.000 % |
13.06/13.12 c | 51857 | 900 18000 90000 | 2147483647 47587 116 | 0.000 % |
13.16/13.29 c | 52229 | 900 18000 90000 | 2147483647 47959 116 | 0.000 % |
13.35/13.47 c | 52640 | 900 18000 90000 | 2147483647 48370 116 | 0.000 % |
13.55/13.67 c | 53089 | 900 18000 90000 | 2147483647 48819 116 | 0.000 % |
13.84/13.91 c | 53582 | 900 18000 90000 | 2147483647 49312 116 | 0.000 % |
14.04/14.16 c | 54125 | 900 18000 90000 | 2147483647 49855 116 | 0.000 % |
14.34/14.44 c | 54721 | 900 18000 90000 | 2147483647 50451 117 | 0.000 % |
14.64/14.74 c | 55377 | 900 18000 90000 | 2147483647 51107 117 | 0.000 % |
14.94/15.07 c | 56100 | 900 18000 90000 | 2147483647 51830 117 | 0.000 % |
15.04/15.12 c | 56201 | 900 18000 90000 | 2147483647 51931 117 | 0.000 % |
15.04/15.18 c | 56311 | 900 18000 90000 | 2147483647 52041 117 | 0.000 % |
15.14/15.25 c | 56432 | 900 18000 90000 | 2147483647 52162 117 | 0.000 % |
15.25/15.30 c | 56565 | 900 18000 90000 | 2147483647 52295 117 | 0.000 % |
15.25/15.39 c | 56712 | 900 18000 90000 | 2147483647 52442 117 | 0.000 % |
15.35/15.48 c | 56874 | 900 18000 90000 | 2147483647 52604 117 | 0.000 % |
15.44/15.57 c | 57050 | 900 18000 90000 | 2147483647 52780 117 | 0.000 % |
15.54/15.67 c | 57243 | 900 18000 90000 | 2147483647 52973 117 | 0.000 % |
15.64/15.78 c | 57455 | 900 18000 90000 | 2147483647 53185 117 | 0.000 % |
15.74/15.89 c | 57689 | 900 18000 90000 | 2147483647 53419 117 | 0.000 % |
15.94/16.00 c | 57946 | 900 18000 90000 | 2147483647 53676 117 | 0.000 % |
16.04/16.13 c | 58227 | 900 18000 90000 | 2147483647 53957 117 | 0.000 % |
16.14/16.28 c | 58536 | 900 18000 90000 | 2147483647 54266 117 | 0.000 % |
16.34/16.47 c | 58876 | 900 18000 90000 | 2147483647 54606 117 | 0.000 % |
16.55/16.68 c | 59250 | 900 18000 90000 | 2147483647 54980 116 | 0.000 % |
16.75/16.88 c | 59661 | 900 18000 90000 | 2147483647 55391 117 | 0.000 % |
16.94/17.10 c | 60112 | 900 18000 90000 | 2147483647 55842 117 | 0.000 % |
17.24/17.35 c | 60607 | 900 18000 90000 | 2147483647 56337 117 | 0.000 % |
17.55/17.61 c | 61149 | 900 18000 90000 | 2147483647 56879 117 | 0.000 % |
17.84/17.91 c | 61745 | 900 18000 90000 | 2147483647 57475 117 | 0.000 % |
18.15/18.24 c | 62401 | 900 18000 90000 | 2147483647 58131 117 | 0.000 % |
18.44/18.57 c | 63121 | 900 18000 90000 | 2147483647 58851 117 | 0.000 % |
18.84/18.92 c | 63915 | 900 18000 90000 | 2147483647 59645 117 | 0.000 % |
18.84/18.98 c | 64016 | 900 18000 90000 | 2147483647 59746 117 | 0.000 % |
18.94/19.06 c | 64126 | 900 18000 90000 | 2147483647 59856 117 | 0.000 % |
19.04/19.13 c | 64249 | 900 18000 90000 | 2147483647 59979 117 | 0.000 % |
19.14/19.22 c | 64382 | 900 18000 90000 | 2147483647 60112 117 | 0.000 % |
19.24/19.30 c | 64530 | 900 18000 90000 | 2147483647 60260 117 | 0.000 % |
19.34/19.40 c | 64691 | 900 18000 90000 | 2147483647 60421 117 | 0.000 % |
19.44/19.50 c | 64867 | 900 18000 90000 | 2147483647 60597 117 | 0.000 % |
19.54/19.62 c | 65060 | 900 18000 90000 | 2147483647 60790 117 | 0.000 % |
19.65/19.75 c | 65272 | 900 18000 90000 | 2147483647 61002 117 | 0.000 % |
19.75/19.89 c | 65505 | 900 18000 90000 | 2147483647 61235 117 | 0.000 % |
19.94/20.05 c | 65762 | 900 18000 90000 | 2147483647 61492 117 | 0.000 % |
20.14/20.22 c | 66046 | 900 18000 90000 | 2147483647 61776 117 | 0.000 % |
20.34/20.40 c | 66356 | 900 18000 90000 | 2147483647 62086 117 | 0.000 % |
20.44/20.58 c | 66696 | 900 18000 90000 | 2147483647 62426 117 | 0.000 % |
20.64/20.79 c | 67068 | 900 18000 90000 | 2147483647 62798 117 | 0.000 % |
20.94/21.03 c | 67477 | 900 18000 90000 | 2147483647 63207 117 | 0.000 % |
21.14/21.27 c | 67927 | 900 18000 90000 | 2147483647 63657 117 | 0.000 % |
21.44/21.55 c | 68420 | 900 18000 90000 | 2147483647 64150 117 | 0.000 % |
21.73/21.86 c | 68962 | 900 18000 90000 | 2147483647 64692 117 | 0.000 % |
22.13/22.20 c | 69558 | 900 18000 90000 | 2147483647 65288 117 | 0.000 % |
22.44/22.59 c | 70215 | 900 18000 90000 | 2147483647 65945 117 | 0.000 % |
22.84/22.99 c | 70938 | 900 18000 90000 | 2147483647 66668 117 | 0.000 % |
23.34/23.45 c | 71732 | 900 18000 90000 | 2147483647 67462 117 | 0.000 % |
23.84/23.94 c | 72603 | 900 18000 90000 | 2147483647 68333 118 | 0.000 % |
23.94/24.01 c | 72705 | 900 18000 90000 | 2147483647 68435 118 | 0.000 % |
23.94/24.10 c | 72816 | 900 18000 90000 | 2147483647 68546 118 | 0.000 % |
24.04/24.17 c | 72940 | 900 18000 90000 | 2147483647 68670 118 | 0.000 % |
24.14/24.26 c | 73073 | 900 18000 90000 | 2147483647 68803 118 | 0.000 % |
24.24/24.37 c | 73223 | 900 18000 90000 | 2147483647 68953 117 | 0.000 % |
24.34/24.47 c | 73384 | 900 18000 90000 | 2147483647 69114 117 | 0.000 % |
24.44/24.59 c | 73560 | 900 18000 90000 | 2147483647 69290 117 | 0.000 % |
24.64/24.72 c | 73754 | 900 18000 90000 | 2147483647 69484 117 | 0.000 % |
24.74/24.86 c | 73967 | 900 18000 90000 | 2147483647 69697 117 | 0.000 % |
24.94/25.02 c | 74200 | 900 18000 90000 | 2147483647 69930 118 | 0.000 % |
25.04/25.17 c | 74456 | 900 18000 90000 | 2147483647 70186 118 | 0.000 % |
25.24/25.35 c | 74737 | 900 18000 90000 | 2147483647 70467 117 | 0.000 % |
25.43/25.54 c | 75046 | 900 18000 90000 | 2147483647 70776 118 | 0.000 % |
25.73/25.81 c | 75386 | 900 18000 90000 | 2147483647 71116 118 | 0.000 % |
25.93/26.06 c | 75759 | 900 18000 90000 | 2147483647 71489 118 | 0.000 % |
26.23/26.31 c | 76168 | 900 18000 90000 | 2147483647 71898 118 | 0.000 % |
26.43/26.58 c | 76618 | 900 18000 90000 | 2147483647 72348 118 | 0.000 % |
26.73/26.87 c | 77112 | 900 18000 90000 | 2147483647 72842 118 | 0.000 % |
27.13/27.23 c | 77656 | 900 18000 90000 | 2147483647 73386 118 | 0.000 % |
27.44/27.59 c | 78253 | 900 18000 90000 | 2147483647 73983 118 | 0.000 % |
27.93/28.02 c | 78909 | 900 18000 90000 | 2147483647 74639 118 | 0.000 % |
28.33/28.49 c | 79629 | 900 18000 90000 | 2147483647 75359 118 | 0.000 % |
28.93/29.00 c | 80421 | 900 18000 90000 | 2147483647 76151 118 | 0.000 % |
29.44/29.55 c | 81292 | 900 18000 90000 | 2147483647 77022 118 | 0.000 % |
30.03/30.20 c | 82250 | 900 18000 90000 | 2147483647 77980 118 | 0.000 % |
30.13/30.27 c | 82350 | 900 18000 90000 | 2147483647 78080 118 | 0.000 % |
30.23/30.35 c | 82460 | 900 18000 90000 | 2147483647 78190 118 | 0.000 % |
30.33/30.44 c | 82581 | 900 18000 90000 | 2147483647 78311 118 | 0.000 % |
30.43/30.57 c | 82714 | 900 18000 90000 | 2147483647 78444 118 | 0.000 % |
30.53/30.67 c | 82860 | 900 18000 90000 | 2147483647 78590 118 | 0.000 % |
30.64/30.79 c | 83021 | 900 18000 90000 | 2147483647 78751 118 | 0.000 % |
30.83/30.95 c | 83197 | 900 18000 90000 | 2147483647 78927 118 | 0.000 % |
30.93/31.09 c | 83395 | 900 18000 90000 | 2147483647 79125 118 | 0.000 % |
31.13/31.26 c | 83609 | 900 18000 90000 | 2147483647 79339 118 | 0.000 % |
31.33/31.43 c | 83842 | 900 18000 90000 | 2147483647 79572 118 | 0.000 % |
31.53/31.61 c | 84098 | 900 18000 90000 | 2147483647 79828 118 | 0.000 % |
31.73/31.81 c | 84381 | 900 18000 90000 | 2147483647 80111 118 | 0.000 % |
31.93/32.04 c | 84691 | 900 18000 90000 | 2147483647 80421 118 | 0.000 % |
32.13/32.27 c | 85031 | 900 18000 90000 | 2147483647 80761 118 | 0.000 % |
32.43/32.56 c | 85403 | 900 18000 90000 | 2147483647 81133 118 | 0.000 % |
32.73/32.87 c | 85816 | 900 18000 90000 | 2147483647 81546 118 | 0.000 % |
33.03/33.17 c | 86265 | 900 18000 90000 | 2147483647 81995 118 | 0.000 % |
33.43/33.50 c | 86758 | 900 18000 90000 | 2147483647 82488 118 | 0.000 % |
33.73/33.85 c | 87300 | 900 18000 90000 | 2147483647 83030 118 | 0.000 % |
34.13/34.27 c | 87896 | 900 18000 90000 | 2147483647 83626 118 | 0.000 % |
34.63/34.76 c | 88552 | 900 18000 90000 | 2147483647 84282 118 | 0.000 % |
35.23/35.33 c | 89272 | 900 18000 90000 | 2147483647 85002 118 | 0.000 % |
35.83/35.94 c | 90064 | 900 18000 90000 | 85730 85794 118 | 0.000 % |
36.43/36.56 c | 90935 | 900 18000 90000 | 85730 75758 118 | 0.000 % |
37.13/37.22 c | 91894 | 900 18000 90000 | 85730 76717 118 | 0.000 % |
37.73/37.89 c | 92948 | 900 18000 90000 | 85730 77771 118 | 0.000 % |
37.83/37.95 c | 93049 | 900 18000 90000 | 85730 77872 118 | 0.000 % |
37.93/38.05 c | 93159 | 900 18000 90000 | 85730 77982 118 | 0.000 % |
38.03/38.14 c | 93280 | 900 18000 90000 | 85730 78103 118 | 0.000 % |
38.13/38.24 c | 93414 | 900 18000 90000 | 85730 78237 118 | 0.000 % |
38.23/38.35 c | 93561 | 900 18000 90000 | 85730 78384 118 | 0.000 % |
38.33/38.49 c | 93722 | 900 18000 90000 | 85730 78545 118 | 0.000 % |
38.53/38.61 c | 93899 | 900 18000 90000 | 85730 78722 118 | 0.000 % |
38.63/38.77 c | 94094 | 900 18000 90000 | 85730 78917 118 | 0.000 % |
38.83/38.94 c | 94306 | 900 18000 90000 | 85730 79129 118 | 0.000 % |
39.03/39.12 c | 94539 | 900 18000 90000 | 85730 79362 118 | 0.000 % |
39.23/39.33 c | 94795 | 900 18000 90000 | 85730 79618 118 | 0.000 % |
39.43/39.52 c | 95077 | 900 18000 90000 | 85730 79900 118 | 0.000 % |
39.62/39.74 c | 95386 | 900 18000 90000 | 85730 80209 118 | 0.000 % |
39.92/40.01 c | 95726 | 900 18000 90000 | 85730 80549 118 | 0.000 % |
40.12/40.25 c | 96098 | 900 18000 90000 | 85730 80921 118 | 0.000 % |
40.42/40.55 c | 96507 | 900 18000 90000 | 85730 81330 118 | 0.000 % |
40.72/40.89 c | 96957 | 900 18000 90000 | 85730 81780 118 | 0.000 % |
41.12/41.24 c | 97450 | 900 18000 90000 | 85730 82273 118 | 0.000 % |
41.52/41.61 c | 97992 | 900 18000 90000 | 85730 82815 118 | 0.000 % |
41.92/42.02 c | 98589 | 900 18000 90000 | 85730 83412 118 | 0.000 % |
42.42/42.54 c | 99246 | 900 18000 90000 | 85730 84069 118 | 0.000 % |
42.93/43.05 c | 99966 | 900 18000 90000 | 85730 84789 118 | 0.000 % |
43.53/43.63 c | 100760 | 900 18000 90000 | 84824 74035 119 | 0.000 % |
44.02/44.16 c | 101631 | 900 18000 90000 | 84824 74906 119 | 0.000 % |
44.62/44.76 c | 102590 | 900 18000 90000 | 84824 75865 119 | 0.000 % |
45.42/45.54 c | 103643 | 900 18000 90000 | 84824 76918 119 | 0.000 % |
46.22/46.31 c | 104802 | 900 18000 90000 | 84824 78077 119 | 0.000 % |
46.22/46.39 c | 104906 | 900 18000 90000 | 84824 78181 119 | 0.000 % |
46.32/46.47 c | 105017 | 900 18000 90000 | 84824 78292 119 | 0.000 % |
46.42/46.59 c | 105138 | 900 18000 90000 | 84824 78413 119 | 0.000 % |
46.52/46.68 c | 105273 | 900 18000 90000 | 84824 78548 119 | 0.000 % |
46.62/46.79 c | 105420 | 900 18000 90000 | 84824 78695 119 | 0.000 % |
46.82/46.91 c | 105580 | 900 18000 90000 | 84824 78855 119 | 0.000 % |
46.92/47.06 c | 105757 | 900 18000 90000 | 84824 79032 119 | 0.000 % |
47.13/47.20 c | 105953 | 900 18000 90000 | 84824 79228 119 | 0.000 % |
47.23/47.36 c | 106166 | 900 18000 90000 | 84824 79441 119 | 0.000 % |
47.42/47.52 c | 106402 | 900 18000 90000 | 84824 79677 119 | 0.000 % |
47.62/47.71 c | 106659 | 900 18000 90000 | 84824 79934 119 | 0.000 % |
47.82/47.90 c | 106942 | 900 18000 90000 | 84824 80217 119 | 0.000 % |
48.02/48.11 c | 107251 | 900 18000 90000 | 84824 80526 119 | 0.000 % |
48.23/48.34 c | 107590 | 900 18000 90000 | 84824 80865 119 | 0.000 % |
48.52/48.64 c | 107964 | 900 18000 90000 | 84824 81239 119 | 0.000 % |
48.82/48.92 c | 108374 | 900 18000 90000 | 84824 81649 119 | 0.000 % |
49.12/49.22 c | 108825 | 900 18000 90000 | 84824 82100 119 | 0.000 % |
49.43/49.56 c | 109319 | 900 18000 90000 | 84824 82594 119 | 0.000 % |
49.82/49.93 c | 109861 | 900 18000 90000 | 84824 83136 119 | 0.000 % |
50.22/50.39 c | 110457 | 900 18000 90000 | 83275 72747 119 | 0.000 % |
50.72/50.81 c | 111113 | 900 18000 90000 | 83275 73403 119 | 0.000 % |
51.12/51.24 c | 111833 | 900 18000 90000 | 83275 74123 119 | 0.000 % |
51.62/51.71 c | 112625 | 900 18000 90000 | 83275 74915 119 | 0.000 % |
52.12/52.26 c | 113497 | 900 18000 90000 | 83275 75787 119 | 0.000 % |
52.73/52.85 c | 114455 | 900 18000 90000 | 83275 76745 119 | 0.000 % |
53.42/53.58 c | 115508 | 900 18000 90000 | 83275 77798 119 | 0.000 % |
54.22/54.38 c | 116668 | 900 18000 90000 | 83275 78958 119 | 0.000 % |
55.12/55.26 c | 117941 | 900 18000 90000 | 83275 80231 119 | 0.000 % |
55.22/55.34 c | 118041 | 900 18000 90000 | 83275 80331 119 | 0.000 % |
55.32/55.43 c | 118151 | 900 18000 90000 | 83275 80441 119 | 0.000 % |
55.42/55.52 c | 118272 | 900 18000 90000 | 83275 80562 119 | 0.000 % |
55.52/55.62 c | 118407 | 900 18000 90000 | 83275 80697 119 | 0.000 % |
55.62/55.72 c | 118553 | 900 18000 90000 | 83275 80843 119 | 0.000 % |
55.72/55.85 c | 118713 | 900 18000 90000 | 83275 81003 119 | 0.000 % |
55.82/55.97 c | 118890 | 900 18000 90000 | 83275 81180 119 | 0.000 % |
56.02/56.13 c | 119086 | 900 18000 90000 | 83275 81376 119 | 0.000 % |
56.22/56.31 c | 119298 | 900 18000 90000 | 83275 81588 119 | 0.000 % |
56.32/56.49 c | 119531 | 900 18000 90000 | 83275 81821 119 | 0.000 % |
56.52/56.69 c | 119791 | 900 18000 90000 | 83275 82081 119 | 0.000 % |
56.72/56.89 c | 120073 | 900 18000 90000 | 82290 82363 119 | 0.000 % |
57.02/57.15 c | 120384 | 900 18000 90000 | 82290 72353 119 | 0.000 % |
57.22/57.36 c | 120723 | 900 18000 90000 | 82290 72692 119 | 0.000 % |
57.52/57.61 c | 121095 | 900 18000 90000 | 82290 73064 119 | 0.000 % |
57.72/57.88 c | 121504 | 900 18000 90000 | 82290 73473 119 | 0.000 % |
58.02/58.19 c | 121953 | 900 18000 90000 | 82290 73922 119 | 0.000 % |
58.42/58.51 c | 122446 | 900 18000 90000 | 82290 74415 119 | 0.000 % |
58.72/58.87 c | 122989 | 900 18000 90000 | 82290 74958 119 | 0.000 % |
59.12/59.26 c | 123585 | 900 18000 90000 | 82290 75554 119 | 0.000 % |
59.62/59.73 c | 124240 | 900 18000 90000 | 82290 76209 119 | 0.000 % |
60.12/60.24 c | 124961 | 900 18000 90000 | 82290 76930 119 | 0.000 % |
60.62/60.78 c | 125755 | 900 18000 90000 | 82290 77724 120 | 0.000 % |
61.22/61.36 c | 126626 | 900 18000 90000 | 82290 78595 120 | 0.000 % |
61.82/61.98 c | 127584 | 900 18000 90000 | 82290 79553 120 | 0.000 % |
62.62/62.75 c | 128639 | 900 18000 90000 | 82290 80608 120 | 0.000 % |
63.32/63.49 c | 129797 | 900 18000 90000 | 82290 81766 120 | 0.000 % |
64.21/64.35 c | 131071 | 900 18000 90000 | 81970 72940 120 | 0.000 % |
65.11/65.29 c | 132471 | 900 18000 90000 | 81970 74340 120 | 0.000 % |
65.21/65.36 c | 132571 | 900 18000 90000 | 81970 74440 120 | 0.000 % |
65.31/65.46 c | 132682 | 900 18000 90000 | 81970 74551 120 | 0.000 % |
65.41/65.55 c | 132805 | 900 18000 90000 | 81970 74674 120 | 0.000 % |
65.51/65.65 c | 132939 | 900 18000 90000 | 81970 74808 120 | 0.000 % |
65.61/65.75 c | 133087 | 900 18000 90000 | 81970 74956 120 | 0.000 % |
65.71/65.88 c | 133247 | 900 18000 90000 | 81970 75116 120 | 0.000 % |
65.92/66.00 c | 133425 | 900 18000 90000 | 81970 75294 120 | 0.000 % |
66.01/66.14 c | 133619 | 900 18000 90000 | 81970 75488 120 | 0.000 % |
66.11/66.27 c | 133831 | 900 18000 90000 | 81970 75700 120 | 0.000 % |
66.31/66.44 c | 134064 | 900 18000 90000 | 81970 75933 120 | 0.000 % |
66.51/66.65 c | 134322 | 900 18000 90000 | 81970 76191 120 | 0.000 % |
66.71/66.84 c | 134603 | 900 18000 90000 | 81970 76472 120 | 0.000 % |
66.92/67.06 c | 134913 | 900 18000 90000 | 81970 76782 120 | 0.000 % |
67.11/67.29 c | 135253 | 900 18000 90000 | 81970 77122 120 | 0.000 % |
67.41/67.54 c | 135625 | 900 18000 90000 | 81970 77494 120 | 0.000 % |
67.71/67.81 c | 136034 | 900 18000 90000 | 81970 77903 120 | 0.000 % |
68.01/68.15 c | 136484 | 900 18000 90000 | 81970 78353 120 | 0.000 % |
68.31/68.49 c | 136978 | 900 18000 90000 | 81970 78847 120 | 0.000 % |
68.71/68.84 c | 137522 | 900 18000 90000 | 81970 79391 120 | 0.000 % |
69.11/69.28 c | 138118 | 900 18000 90000 | 81970 79987 120 | 0.000 % |
69.61/69.74 c | 138774 | 900 18000 90000 | 81970 80643 120 | 0.000 % |
70.11/70.26 c | 139495 | 900 18000 90000 | 81970 81364 120 | 0.000 % |
70.60/70.79 c | 140288 | 900 18000 90000 | 81869 82157 120 | 0.000 % |
71.20/71.40 c | 141159 | 900 18000 90000 | 81869 72801 120 | 0.000 % |
71.80/71.95 c | 142117 | 900 18000 90000 | 81869 73759 120 | 0.000 % |
72.41/72.57 c | 143174 | 900 18000 90000 | 81869 74816 120 | 0.000 % |
73.10/73.29 c | 144333 | 900 18000 90000 | 81869 75975 120 | 0.000 % |
73.90/74.07 c | 145606 | 900 18000 90000 | 81869 77248 120 | 0.000 % |
74.80/74.93 c | 147007 | 900 18000 90000 | 81869 78649 120 | 0.000 % |
75.90/76.00 c | 148547 | 900 18000 90000 | 81869 80189 121 | 0.000 % |
75.90/76.09 c | 148648 | 900 18000 90000 | 81869 80290 121 | 0.000 % |
76.00/76.17 c | 148758 | 900 18000 90000 | 81869 80400 121 | 0.000 % |
76.10/76.26 c | 148880 | 900 18000 90000 | 81869 80522 121 | 0.000 % |
76.20/76.36 c | 149013 | 900 18000 90000 | 81869 80655 121 | 0.000 % |
76.40/76.51 c | 149161 | 900 18000 90000 | 81869 80803 121 | 0.000 % |
76.50/76.62 c | 149322 | 900 18000 90000 | 81869 80964 121 | 0.000 % |
76.60/76.75 c | 149499 | 900 18000 90000 | 81869 81141 121 | 0.000 % |
76.80/76.90 c | 149696 | 900 18000 90000 | 81869 81338 121 | 0.000 % |
76.90/77.05 c | 149908 | 900 18000 90000 | 81869 81550 120 | 0.000 % |
77.10/77.22 c | 150142 | 900 18000 90000 | 81642 81784 120 | 0.000 % |
77.30/77.44 c | 150399 | 900 18000 90000 | 81642 73133 120 | 0.000 % |
77.50/77.62 c | 150683 | 900 18000 90000 | 81642 73417 120 | 0.000 % |
77.70/77.84 c | 150994 | 900 18000 90000 | 81642 73728 120 | 0.000 % |
77.90/78.08 c | 151334 | 900 18000 90000 | 81642 74068 120 | 0.000 % |
78.20/78.31 c | 151706 | 900 18000 90000 | 81642 74440 120 | 0.000 % |
78.40/78.58 c | 152116 | 900 18000 90000 | 81642 74850 120 | 0.000 % |
78.70/78.88 c | 152565 | 900 18000 90000 | 81642 75299 120 | 0.000 % |
79.10/79.25 c | 153058 | 900 18000 90000 | 81642 75792 120 | 0.000 % |
79.50/79.63 c | 153601 | 900 18000 90000 | 81642 76335 120 | 0.000 % |
79.90/80.04 c | 154197 | 900 18000 90000 | 81642 76931 120 | 0.000 % |
80.30/80.48 c | 154853 | 900 18000 90000 | 81642 77587 120 | 0.000 % |
80.80/80.95 c | 155574 | 900 18000 90000 | 81642 78308 120 | 0.000 % |
81.30/81.49 c | 156366 | 900 18000 90000 | 81642 79100 120 | 0.000 % |
82.00/82.12 c | 157237 | 900 18000 90000 | 81642 79971 121 | 0.000 % |
82.70/82.80 c | 158198 | 900 18000 90000 | 81642 80932 121 | 0.000 % |
83.40/83.59 c | 159251 | 900 18000 90000 | 81642 72242 121 | 0.000 % |
84.20/84.36 c | 160409 | 900 18000 90000 | 72991 65023 121 | 0.000 % |
84.90/85.05 c | 161682 | 900 18000 90000 | 72991 66296 121 | 0.000 % |
85.70/85.83 c | 163082 | 900 18000 90000 | 72991 67696 121 | 0.000 % |
86.59/86.75 c | 164623 | 900 18000 90000 | 72991 69237 121 | 0.000 % |
87.59/87.76 c | 166317 | 900 18000 90000 | 72991 70931 122 | 0.000 % |
87.69/87.83 c | 166417 | 900 18000 90000 | 72991 71031 122 | 0.000 % |
87.80/87.90 c | 166527 | 900 18000 90000 | 72991 71141 122 | 0.000 % |
87.90/88.01 c | 166650 | 900 18000 90000 | 72991 71264 122 | 0.000 % |
87.99/88.11 c | 166783 | 900 18000 90000 | 72991 71397 122 | 0.000 % |
88.09/88.22 c | 166933 | 900 18000 90000 | 72991 71547 122 | 0.000 % |
88.19/88.32 c | 167094 | 900 18000 90000 | 72991 71708 122 | 0.000 % |
88.29/88.46 c | 167270 | 900 18000 90000 | 72991 71884 122 | 0.000 % |
88.39/88.59 c | 167463 | 900 18000 90000 | 72991 72077 122 | 0.000 % |
88.59/88.72 c | 167677 | 900 18000 90000 | 72991 72291 122 | 0.000 % |
88.69/88.86 c | 167911 | 900 18000 90000 | 72991 72525 122 | 0.000 % |
88.90/89.05 c | 168169 | 900 18000 90000 | 72991 72783 122 | 0.000 % |
89.09/89.23 c | 168450 | 900 18000 90000 | 72991 73064 122 | 0.000 % |
89.29/89.47 c | 168760 | 900 18000 90000 | 72991 66068 121 | 0.000 % |
89.49/89.66 c | 169102 | 900 18000 90000 | 72991 66410 121 | 0.000 % |
89.69/89.86 c | 169475 | 900 18000 90000 | 72991 66783 121 | 0.000 % |
89.89/90.09 c | 169884 | 900 18000 90000 | 72991 67192 121 | 0.000 % |
90.19/90.34 c | 170334 | 900 18000 90000 | 2147483647 67642 121 | 0.000 % |
90.49/90.62 c | 170828 | 900 18000 90000 | 2147483647 68136 121 | 0.000 % |
90.69/90.89 c | 171370 | 900 18000 90000 | 2147483647 68678 121 | 0.000 % |
91.09/91.22 c | 171968 | 900 18000 90000 | 2147483647 69276 121 | 0.000 % |
91.49/91.61 c | 172624 | 900 18000 90000 | 2147483647 69932 121 | 0.000 % |
91.89/92.04 c | 173346 | 900 18000 90000 | 2147483647 70654 121 | 0.000 % |
92.39/92.50 c | 174138 | 900 18000 90000 | 2147483647 71446 121 | 0.000 % |
92.89/93.01 c | 175009 | 900 18000 90000 | 2147483647 72317 121 | 0.000 % |
93.49/93.67 c | 175971 | 900 18000 90000 | 2147483647 73279 121 | 0.000 % |
94.19/94.35 c | 177024 | 900 18000 90000 | 2147483647 74332 121 | 0.000 % |
94.99/95.12 c | 178182 | 900 18000 90000 | 2147483647 75490 121 | 0.000 % |
95.79/95.96 c | 179456 | 900 18000 90000 | 2147483647 76764 121 | 0.000 % |
96.79/96.92 c | 180856 | 900 18000 90000 | 2147483647 78164 121 | 0.000 % |
97.79/97.91 c | 182397 | 900 18000 90000 | 2147483647 79705 121 | 0.000 % |
98.89/99.01 c | 184094 | 900 18000 90000 | 2147483647 81402 122 | 0.000 % |
100.08/100.29 c | 185958 | 900 18000 90000 | 2147483647 83266 122 | 0.000 % |
100.18/100.37 c | 186059 | 900 18000 90000 | 2147483647 83367 122 | 0.000 % |
100.28/100.48 c | 186169 | 900 18000 90000 | 2147483647 83477 122 | 0.000 % |
100.48/100.60 c | 186290 | 900 18000 90000 | 2147483647 83598 122 | 0.000 % |
100.58/100.71 c | 186423 | 900 18000 90000 | 2147483647 83731 122 | 0.000 % |
100.68/100.82 c | 186569 | 900 18000 90000 | 2147483647 83877 122 | 0.000 % |
100.78/100.97 c | 186730 | 900 18000 90000 | 2147483647 84038 122 | 0.000 % |
100.99/101.12 c | 186907 | 900 18000 90000 | 2147483647 84215 122 | 0.000 % |
101.09/101.26 c | 187101 | 900 18000 90000 | 2147483647 84409 122 | 0.000 % |
101.29/101.42 c | 187313 | 900 18000 90000 | 2147483647 84621 122 | 0.000 % |
101.49/101.60 c | 187548 | 900 18000 90000 | 2147483647 84856 122 | 0.000 % |
101.69/101.84 c | 187806 | 900 18000 90000 | 2147483647 85114 122 | 0.000 % |
101.89/102.07 c | 188091 | 900 18000 90000 | 2147483647 85399 122 | 0.000 % |
102.19/102.32 c | 188401 | 900 18000 90000 | 2147483647 85709 122 | 0.000 % |
102.39/102.58 c | 188740 | 900 18000 90000 | 2147483647 86048 122 | 0.000 % |
102.79/102.90 c | 189116 | 900 18000 90000 | 2147483647 86424 122 | 0.000 % |
103.09/103.21 c | 189527 | 900 18000 90000 | 2147483647 86835 122 | 0.000 % |
103.39/103.57 c | 189978 | 900 18000 90000 | 2147483647 87286 122 | 0.000 % |
103.89/104.00 c | 190471 | 900 18000 90000 | 87308 75998 122 | 0.000 % |
104.18/104.39 c | 191013 | 900 18000 90000 | 87308 76540 122 | 0.000 % |
104.68/104.85 c | 191609 | 900 18000 90000 | 87308 77136 122 | 0.000 % |
105.08/105.25 c | 192264 | 900 18000 90000 | 87308 77791 122 | 0.000 % |
105.58/105.72 c | 192984 | 900 18000 90000 | 87308 78511 122 | 0.000 % |
106.08/106.24 c | 193778 | 900 18000 90000 | 87308 79305 122 | 0.000 % |
106.59/106.78 c | 194650 | 900 18000 90000 | 87308 80177 122 | 0.000 % |
107.28/107.41 c | 195608 | 900 18000 90000 | 87308 81135 122 | 0.000 % |
107.98/108.13 c | 196663 | 900 18000 90000 | 87308 82190 122 | 0.000 % |
108.69/108.89 c | 197821 | 900 18000 90000 | 87308 83348 122 | 0.000 % |
109.58/109.78 c | 199094 | 900 18000 90000 | 87308 84621 122 | 0.000 % |
110.68/110.87 c | 200495 | 900 18000 90000 | 85527 74845 122 | 0.000 % |
111.68/111.87 c | 202037 | 900 18000 90000 | 85527 76387 122 | 0.000 % |
112.88/113.01 c | 203731 | 900 18000 90000 | 85527 78081 122 | 0.000 % |
114.08/114.28 c | 205595 | 900 18000 90000 | 85527 79945 122 | 0.000 % |
115.57/115.72 c | 207644 | 900 18000 90000 | 85527 81994 122 | 0.000 % |
115.57/115.78 c | 207745 | 900 18000 90000 | 85527 82095 122 | 0.000 % |
115.67/115.87 c | 207855 | 900 18000 90000 | 85527 82205 122 | 0.000 % |
115.77/115.96 c | 207978 | 900 18000 90000 | 85527 82328 122 | 0.000 % |
115.87/116.07 c | 208111 | 900 18000 90000 | 85527 82461 122 | 0.000 % |
115.97/116.18 c | 208258 | 900 18000 90000 | 85527 82608 122 | 0.000 % |
116.07/116.29 c | 208419 | 900 18000 90000 | 85527 82769 122 | 0.000 % |
116.27/116.42 c | 208595 | 900 18000 90000 | 85527 82945 122 | 0.000 % |
116.48/116.61 c | 208790 | 900 18000 90000 | 85527 83140 122 | 0.000 % |
116.57/116.80 c | 209002 | 900 18000 90000 | 85527 83352 122 | 0.000 % |
116.87/117.00 c | 209236 | 900 18000 90000 | 85527 83586 122 | 0.000 % |
116.97/117.20 c | 209492 | 900 18000 90000 | 85527 83842 122 | 0.000 % |
117.27/117.40 c | 209773 | 900 18000 90000 | 85527 84123 122 | 0.000 % |
117.48/117.66 c | 210086 | 900 18000 90000 | 84351 84436 122 | 0.000 % |
117.77/117.99 c | 210425 | 900 18000 90000 | 84351 73823 122 | 0.000 % |
118.07/118.26 c | 210797 | 900 18000 90000 | 84351 74195 122 | 0.000 % |
118.37/118.51 c | 211206 | 900 18000 90000 | 84351 74604 122 | 0.000 % |
118.68/118.80 c | 211657 | 900 18000 90000 | 84351 75055 122 | 0.000 % |
118.97/119.14 c | 212150 | 900 18000 90000 | 84351 75548 122 | 0.000 % |
119.27/119.49 c | 212692 | 900 18000 90000 | 84351 76090 122 | 0.000 % |
119.68/119.85 c | 213289 | 900 18000 90000 | 84351 76687 122 | 0.000 % |
120.07/120.28 c | 213946 | 900 18000 90000 | 84351 77344 122 | 0.000 % |
120.57/120.77 c | 214667 | 900 18000 90000 | 84351 78065 122 | 0.000 % |
121.17/121.31 c | 215459 | 900 18000 90000 | 84351 78857 122 | 0.000 % |
121.77/121.90 c | 216331 | 900 18000 90000 | 84351 79729 122 | 0.000 % |
122.37/122.57 c | 217291 | 900 18000 90000 | 84351 80689 122 | 0.000 % |
123.07/123.24 c | 218347 | 900 18000 90000 | 84351 81745 122 | 0.000 % |
123.87/124.02 c | 219505 | 900 18000 90000 | 84351 82903 122 | 0.000 % |
124.77/124.98 c | 220780 | 900 18000 90000 | 83398 73681 122 | 0.000 % |
125.77/125.91 c | 222182 | 900 18000 90000 | 83398 75083 122 | 0.000 % |
126.67/126.88 c | 223723 | 900 18000 90000 | 83398 76624 122 | 0.000 % |
127.76/127.98 c | 225418 | 900 18000 90000 | 83398 78319 122 | 0.000 % |
129.06/129.29 c | 227281 | 900 18000 90000 | 83398 80182 122 | 0.000 % |
130.46/130.61 c | 229332 | 900 18000 90000 | 83398 82233 122 | 0.000 % |
131.96/132.13 c | 231585 | 900 18000 90000 | 82901 74903 122 | 0.000 % |
132.06/132.21 c | 231685 | 900 18000 90000 | 82901 75003 122 | 0.000 % |
132.06/132.30 c | 231796 | 900 18000 90000 | 82901 75114 122 | 0.000 % |
132.16/132.39 c | 231919 | 900 18000 90000 | 82901 75237 122 | 0.000 % |
132.26/132.49 c | 232055 | 900 18000 90000 | 82901 75373 122 | 0.000 % |
132.36/132.59 c | 232201 | 900 18000 90000 | 82901 75519 122 | 0.000 % |
132.56/132.70 c | 232363 | 900 18000 90000 | 82901 75681 122 | 0.000 % |
132.66/132.83 c | 232540 | 900 18000 90000 | 82901 75858 122 | 0.000 % |
132.76/132.99 c | 232736 | 900 18000 90000 | 82901 76054 122 | 0.000 % |
132.96/133.14 c | 232949 | 900 18000 90000 | 82901 76267 122 | 0.000 % |
133.16/133.31 c | 233183 | 900 18000 90000 | 82901 76501 122 | 0.000 % |
133.26/133.48 c | 233439 | 900 18000 90000 | 82901 76757 122 | 0.000 % |
133.46/133.67 c | 233721 | 900 18000 90000 | 82901 77039 122 | 0.000 % |
133.66/133.88 c | 234030 | 900 18000 90000 | 82901 77348 122 | 0.000 % |
133.96/134.14 c | 234370 | 900 18000 90000 | 82901 77688 122 | 0.000 % |
134.26/134.40 c | 234742 | 900 18000 90000 | 82901 78060 122 | 0.000 % |
134.46/134.70 c | 235151 | 900 18000 90000 | 82901 78469 122 | 0.000 % |
134.86/135.03 c | 235600 | 900 18000 90000 | 82901 78918 122 | 0.000 % |
135.16/135.35 c | 236093 | 900 18000 90000 | 82901 79411 122 | 0.000 % |
135.56/135.76 c | 236635 | 900 18000 90000 | 82901 79953 122 | 0.000 % |
135.96/136.16 c | 237232 | 900 18000 90000 | 82901 80550 122 | 0.000 % |
136.36/136.59 c | 237887 | 900 18000 90000 | 82901 81205 122 | 0.000 % |
136.86/137.06 c | 238607 | 900 18000 90000 | 82901 81925 122 | 0.000 % |
137.46/137.61 c | 239402 | 900 18000 90000 | 82901 82720 122 | 0.000 % |
138.06/138.23 c | 240274 | 900 18000 90000 | 73206 73479 121 | 0.000 % |
138.56/138.76 c | 241232 | 900 18000 90000 | 73206 65763 122 | 0.000 % |
139.16/139.37 c | 242286 | 900 18000 90000 | 73206 66817 122 | 0.000 % |
139.76/139.98 c | 243444 | 900 18000 90000 | 73206 67975 122 | 0.000 % |
140.56/140.71 c | 244717 | 900 18000 90000 | 73206 69248 122 | 0.000 % |
141.36/141.53 c | 246117 | 900 18000 90000 | 73206 70648 122 | 0.000 % |
142.26/142.47 c | 247659 | 900 18000 90000 | 73206 72190 122 | 0.000 % |
143.26/143.49 c | 249354 | 900 18000 90000 | 73206 66536 122 | 0.000 % |
144.36/144.58 c | 251219 | 900 18000 90000 | 2147483647 68401 122 | 0.000 % |
145.55/145.78 c | 253268 | 900 18000 90000 | 2147483647 70450 122 | 0.000 % |
146.95/147.15 c | 255521 | 900 18000 90000 | 2147483647 72703 122 | 0.000 % |
148.55/148.75 c | 258002 | 900 18000 90000 | 2147483647 75184 122 | 0.000 % |
148.65/148.83 c | 258102 | 900 18000 90000 | 2147483647 75284 122 | 0.000 % |
148.75/148.91 c | 258212 | 900 18000 90000 | 2147483647 75394 122 | 0.000 % |
148.85/149.00 c | 258334 | 900 18000 90000 | 2147483647 75516 122 | 0.000 % |
148.95/149.10 c | 258467 | 900 18000 90000 | 2147483647 75649 122 | 0.000 % |
148.95/149.19 c | 258613 | 900 18000 90000 | 2147483647 75795 122 | 0.000 % |
149.15/149.31 c | 258774 | 900 18000 90000 | 2147483647 75956 122 | 0.000 % |
149.25/149.44 c | 258950 | 900 18000 90000 | 2147483647 76132 122 | 0.000 % |
149.36/149.59 c | 259143 | 900 18000 90000 | 2147483647 76325 122 | 0.000 % |
149.55/149.74 c | 259355 | 900 18000 90000 | 2147483647 76537 122 | 0.000 % |
149.75/149.90 c | 259589 | 900 18000 90000 | 2147483647 76771 122 | 0.000 % |
149.95/150.10 c | 259846 | 900 18000 90000 | 2147483647 77028 122 | 0.000 % |
150.05/150.28 c | 260127 | 900 18000 90000 | 2147483647 77309 122 | 0.000 % |
150.35/150.50 c | 260436 | 900 18000 90000 | 2147483647 77618 122 | 0.000 % |
150.56/150.74 c | 260777 | 900 18000 90000 | 2147483647 77959 122 | 0.000 % |
150.76/150.97 c | 261150 | 900 18000 90000 | 2147483647 78332 122 | 0.000 % |
151.06/151.24 c | 261560 | 900 18000 90000 | 2147483647 78742 122 | 0.000 % |
151.36/151.56 c | 262010 | 900 18000 90000 | 2147483647 79192 122 | 0.000 % |
151.76/151.92 c | 262503 | 900 18000 90000 | 2147483647 79685 122 | 0.000 % |
152.06/152.27 c | 263045 | 900 18000 90000 | 2147483647 80227 122 | 0.000 % |
152.56/152.70 c | 263641 | 900 18000 90000 | 2147483647 80823 122 | 0.000 % |
152.96/153.16 c | 264297 | 900 18000 90000 | 2147483647 81479 122 | 0.000 % |
153.46/153.65 c | 265017 | 900 18000 90000 | 2147483647 82199 122 | 0.000 % |
154.06/154.26 c | 265809 | 900 18000 90000 | 2147483647 82991 122 | 0.000 % |
154.66/154.86 c | 266681 | 900 18000 90000 | 2147483647 83863 122 | 0.000 % |
155.36/155.54 c | 267639 | 900 18000 90000 | 2147483647 84821 122 | 0.000 % |
156.06/156.29 c | 268695 | 900 18000 90000 | 2147483647 85877 122 | 0.000 % |
156.96/157.15 c | 269853 | 900 18000 90000 | 2147483647 87035 122 | 0.000 % |
157.85/158.08 c | 271126 | 900 18000 90000 | 87182 77093 122 | 0.000 % |
158.75/158.99 c | 272527 | 900 18000 90000 | 87182 78494 122 | 0.000 % |
159.85/160.09 c | 274067 | 900 18000 90000 | 87182 80034 122 | 0.000 % |
161.05/161.27 c | 275762 | 900 18000 90000 | 87182 81729 122 | 0.000 % |
162.35/162.53 c | 277625 | 900 18000 90000 | 87182 83592 122 | 0.000 % |
163.75/163.95 c | 279674 | 900 18000 90000 | 87182 85641 122 | 0.000 % |
165.25/165.48 c | 281927 | 900 18000 90000 | 85967 76691 122 | 0.000 % |
166.95/167.13 c | 284406 | 900 18000 90000 | 85967 79170 123 | 0.000 % |
168.74/168.94 c | 287131 | 900 18000 90000 | 85967 81895 123 | 0.000 % |
168.84/169.02 c | 287236 | 900 18000 90000 | 85967 82000 123 | 0.000 % |
168.94/169.10 c | 287346 | 900 18000 90000 | 85967 82110 123 | 0.000 % |
168.94/169.20 c | 287468 | 900 18000 90000 | 85967 82232 123 | 0.000 % |
169.15/169.30 c | 287603 | 900 18000 90000 | 85967 82367 123 | 0.000 % |
169.25/169.41 c | 287749 | 900 18000 90000 | 85967 82513 123 | 0.000 % |
169.34/169.55 c | 287910 | 900 18000 90000 | 85967 82674 123 | 0.000 % |
169.44/169.69 c | 288088 | 900 18000 90000 | 85967 82852 123 | 0.000 % |
169.64/169.85 c | 288282 | 900 18000 90000 | 85967 83046 123 | 0.000 % |
169.84/170.02 c | 288495 | 900 18000 90000 | 85967 83259 123 | 0.000 % |
170.04/170.20 c | 288729 | 900 18000 90000 | 85967 83493 123 | 0.000 % |
170.14/170.39 c | 288987 | 900 18000 90000 | 85967 83751 123 | 0.000 % |
170.44/170.61 c | 289268 | 900 18000 90000 | 85967 84032 123 | 0.000 % |
170.64/170.85 c | 289581 | 900 18000 90000 | 85967 84345 123 | 0.000 % |
170.94/171.14 c | 289921 | 900 18000 90000 | 85967 84685 123 | 0.000 % |
171.24/171.46 c | 290293 | 900 18000 90000 | 84764 85057 123 | 0.000 % |
171.54/171.79 c | 290702 | 900 18000 90000 | 84764 74337 123 | 0.000 % |
171.84/172.08 c | 291152 | 900 18000 90000 | 84764 74787 123 | 0.000 % |
172.14/172.39 c | 291645 | 900 18000 90000 | 84764 75280 123 | 0.000 % |
172.55/172.73 c | 292188 | 900 18000 90000 | 84764 75823 123 | 0.000 % |
172.94/173.10 c | 292787 | 900 18000 90000 | 84764 76422 123 | 0.000 % |
173.34/173.51 c | 293444 | 900 18000 90000 | 84764 77079 123 | 0.000 % |
173.84/174.01 c | 294164 | 900 18000 90000 | 84764 77799 123 | 0.000 % |
174.34/174.51 c | 294956 | 900 18000 90000 | 84764 78591 123 | 0.000 % |
174.84/175.09 c | 295828 | 900 18000 90000 | 84764 79463 123 | 0.000 % |
175.54/175.76 c | 296787 | 900 18000 90000 | 84764 80422 123 | 0.000 % |
176.24/176.46 c | 297841 | 900 18000 90000 | 84764 81476 123 | 0.000 % |
177.04/177.26 c | 298999 | 900 18000 90000 | 84764 82634 123 | 0.000 % |
177.94/178.11 c | 300272 | 900 18000 90000 | 83635 83907 123 | 0.000 % |
178.84/179.03 c | 301672 | 900 18000 90000 | 83635 75623 122 | 0.000 % |
179.74/179.98 c | 303212 | 900 18000 90000 | 83635 77163 122 | 0.000 % |
180.84/181.09 c | 304906 | 900 18000 90000 | 83635 78857 123 | 0.000 % |
182.14/182.31 c | 306771 | 900 18000 90000 | 83635 80722 123 | 0.000 % |
183.44/183.62 c | 308820 | 900 18000 90000 | 83635 82771 123 | 0.000 % |
184.94/185.16 c | 311073 | 900 18000 90000 | 74386 67112 123 | 0.000 % |
186.44/186.61 c | 313553 | 900 18000 90000 | 74386 69592 123 | 0.000 % |
188.03/188.22 c | 316278 | 900 18000 90000 | 74386 72317 123 | 0.000 % |
189.83/190.08 c | 319275 | 900 18000 90000 | 74386 67845 124 | 0.000 % |
189.93/190.15 c | 319375 | 900 18000 90000 | 74386 67945 124 | 0.000 % |
190.04/190.22 c | 319485 | 900 18000 90000 | 74386 68055 124 | 0.000 % |
190.04/190.30 c | 319607 | 900 18000 90000 | 74386 68177 124 | 0.000 % |
190.14/190.39 c | 319740 | 900 18000 90000 | 74386 68310 124 | 0.000 % |
190.23/190.49 c | 319887 | 900 18000 90000 | 74386 68457 124 | 0.000 % |
190.33/190.59 c | 320047 | 900 18000 90000 | 2147483647 68617 124 | 0.000 % |
190.53/190.71 c | 320226 | 900 18000 90000 | 2147483647 68796 124 | 0.000 % |
190.63/190.84 c | 320419 | 900 18000 90000 | 2147483647 68989 124 | 0.000 % |
190.73/190.99 c | 320632 | 900 18000 90000 | 2147483647 69202 124 | 0.000 % |
190.93/191.13 c | 320866 | 900 18000 90000 | 2147483647 69436 124 | 0.000 % |
191.14/191.31 c | 321122 | 900 18000 90000 | 2147483647 69692 124 | 0.000 % |
191.24/191.48 c | 321404 | 900 18000 90000 | 2147483647 69974 124 | 0.000 % |
191.43/191.68 c | 321713 | 900 18000 90000 | 2147483647 70283 124 | 0.000 % |
191.63/191.88 c | 322052 | 900 18000 90000 | 2147483647 70622 124 | 0.000 % |
191.93/192.14 c | 322425 | 900 18000 90000 | 2147483647 70995 124 | 0.000 % |
192.13/192.39 c | 322835 | 900 18000 90000 | 2147483647 71405 124 | 0.000 % |
192.43/192.68 c | 323287 | 900 18000 90000 | 2147483647 71857 123 | 0.000 % |
192.73/192.98 c | 323781 | 900 18000 90000 | 2147483647 72351 123 | 0.000 % |
193.13/193.33 c | 324324 | 900 18000 90000 | 2147483647 72894 123 | 0.000 % |
193.53/193.71 c | 324920 | 900 18000 90000 | 2147483647 73490 123 | 0.000 % |
193.93/194.12 c | 325575 | 900 18000 90000 | 2147483647 74145 123 | 0.000 % |
194.43/194.63 c | 326299 | 900 18000 90000 | 2147483647 74869 123 | 0.000 % |
194.93/195.15 c | 327091 | 900 18000 90000 | 2147483647 75661 123 | 0.000 % |
195.53/195.76 c | 327962 | 900 18000 90000 | 2147483647 76532 123 | 0.000 % |
196.23/196.42 c | 328920 | 900 18000 90000 | 2147483647 77490 123 | 0.000 % |
196.93/197.10 c | 329974 | 900 18000 90000 | 2147483647 78544 123 | 0.000 % |
197.63/197.87 c | 331132 | 900 18000 90000 | 2147483647 79702 123 | 0.000 % |
198.53/198.71 c | 332405 | 900 18000 90000 | 2147483647 80975 123 | 0.000 % |
199.43/199.63 c | 333805 | 900 18000 90000 | 2147483647 82375 123 | 0.000 % |
200.43/200.64 c | 335345 | 900 18000 90000 | 2147483647 83915 123 | 0.000 % |
201.52/201.79 c | 337039 | 900 18000 90000 | 2147483647 85609 123 | 0.000 % |
202.92/203.15 c | 338902 | 900 18000 90000 | 2147483647 87472 123 | 0.000 % |
204.42/204.65 c | 340951 | 900 18000 90000 | 88570 78181 124 | 0.000 % |
205.91/206.15 c | 343204 | 900 18000 90000 | 88570 80434 124 | 0.000 % |
207.61/207.82 c | 345685 | 900 18000 90000 | 88570 82915 124 | 0.000 % |
209.31/209.58 c | 348410 | 900 18000 90000 | 88570 85640 124 | 0.000 % |
211.51/211.70 c | 351408 | 900 18000 90000 | 87230 77125 124 | 0.000 % |
213.61/213.87 c | 354704 | 900 18000 90000 | 87230 80421 124 | 0.000 % |
213.71/213.94 c | 354804 | 900 18000 90000 | 87230 80521 124 | 0.000 % |
213.81/214.02 c | 354914 | 900 18000 90000 | 87230 80631 124 | 0.000 % |
213.91/214.11 c | 355037 | 900 18000 90000 | 87230 80754 124 | 0.000 % |
214.01/214.23 c | 355171 | 900 18000 90000 | 87230 80888 124 | 0.000 % |
214.11/214.34 c | 355317 | 900 18000 90000 | 87230 81034 124 | 0.000 % |
214.21/214.46 c | 355477 | 900 18000 90000 | 87230 81194 124 | 0.000 % |
214.41/214.60 c | 355653 | 900 18000 90000 | 87230 81370 124 | 0.000 % |
214.51/214.74 c | 355846 | 900 18000 90000 | 87230 81563 124 | 0.000 % |
214.61/214.89 c | 356059 | 900 18000 90000 | 87230 81776 124 | 0.000 % |
214.91/215.10 c | 356293 | 900 18000 90000 | 87230 82010 124 | 0.000 % |
215.01/215.29 c | 356549 | 900 18000 90000 | 87230 82266 124 | 0.000 % |
215.31/215.52 c | 356831 | 900 18000 90000 | 87230 82548 124 | 0.000 % |
215.51/215.74 c | 357141 | 900 18000 90000 | 87230 82858 124 | 0.000 % |
215.71/215.97 c | 357480 | 900 18000 90000 | 87230 83197 124 | 0.000 % |
216.01/216.24 c | 357855 | 900 18000 90000 | 87230 83572 124 | 0.000 % |
216.31/216.53 c | 358265 | 900 18000 90000 | 87230 83982 124 | 0.000 % |
216.61/216.85 c | 358715 | 900 18000 90000 | 87230 84432 124 | 0.000 % |
216.91/217.18 c | 359208 | 900 18000 90000 | 87230 84925 124 | 0.000 % |
217.30/217.56 c | 359753 | 900 18000 90000 | 87230 85470 124 | 0.000 % |
217.80/218.04 c | 360351 | 900 18000 90000 | 85717 75269 123 | 0.000 % |
218.20/218.47 c | 361008 | 900 18000 90000 | 85717 75926 123 | 0.000 % |
218.80/219.01 c | 361730 | 900 18000 90000 | 85717 76648 123 | 0.000 % |
219.30/219.56 c | 362523 | 900 18000 90000 | 85717 77441 123 | 0.000 % |
219.90/220.15 c | 363394 | 900 18000 90000 | 85717 78312 123 | 0.000 % |
220.60/220.81 c | 364353 | 900 18000 90000 | 85717 79271 123 | 0.000 % |
221.30/221.55 c | 365407 | 900 18000 90000 | 85717 80325 123 | 0.000 % |
222.10/222.38 c | 366566 | 900 18000 90000 | 85717 81484 123 | 0.000 % |
223.11/223.33 c | 367841 | 900 18000 90000 | 85717 82759 123 | 0.000 % |
224.00/224.29 c | 369246 | 900 18000 90000 | 85717 84164 123 | 0.000 % |
225.10/225.39 c | 370788 | 900 18000 90000 | 84918 74536 123 | 0.000 % |
226.20/226.46 c | 372483 | 900 18000 90000 | 84918 76231 124 | 0.000 % |
227.40/227.66 c | 374346 | 900 18000 90000 | 84918 78094 123 | 0.000 % |
228.80/229.07 c | 376395 | 900 18000 90000 | 84918 80143 124 | 0.000 % |
230.40/230.64 c | 378649 | 900 18000 90000 | 84918 82397 124 | 0.000 % |
232.00/232.29 c | 381127 | 900 18000 90000 | 83748 75253 124 | 0.000 % |
233.70/233.99 c | 383852 | 900 18000 90000 | 83748 77978 124 | 0.000 % |
235.70/235.97 c | 386852 | 900 18000 90000 | 83748 80978 124 | 0.000 % |
237.99/238.20 c | 390149 | 900 18000 90000 | 75413 75560 124 | 0.000 % |
240.19/240.47 c | 393775 | 900 18000 90000 | 75413 71411 124 | 0.000 % |
240.29/240.54 c | 393876 | 900 18000 90000 | 75413 71512 124 | 0.000 % |
240.39/240.62 c | 393987 | 900 18000 90000 | 75413 71623 124 | 0.000 % |
240.49/240.71 c | 394109 | 900 18000 90000 | 75413 71745 124 | 0.000 % |
240.49/240.79 c | 394242 | 900 18000 90000 | 75413 71878 124 | 0.000 % |
240.60/240.89 c | 394389 | 900 18000 90000 | 75413 72025 124 | 0.000 % |
240.79/241.01 c | 394550 | 900 18000 90000 | 75413 72186 124 | 0.000 % |
240.89/241.15 c | 394727 | 900 18000 90000 | 75413 72363 124 | 0.000 % |
241.00/241.29 c | 394920 | 900 18000 90000 | 75413 72556 124 | 0.000 % |
241.19/241.44 c | 395134 | 900 18000 90000 | 75413 72770 124 | 0.000 % |
241.29/241.58 c | 395367 | 900 18000 90000 | 75413 73003 124 | 0.000 % |
241.49/241.76 c | 395623 | 900 18000 90000 | 75413 73259 124 | 0.000 % |
241.70/241.96 c | 395904 | 900 18000 90000 | 75413 73540 124 | 0.000 % |
241.89/242.16 c | 396213 | 900 18000 90000 | 75413 73849 124 | 0.000 % |
242.09/242.36 c | 396552 | 900 18000 90000 | 75413 74188 124 | 0.000 % |
242.39/242.62 c | 396924 | 900 18000 90000 | 75413 74560 124 | 0.000 % |
242.59/242.89 c | 397334 | 900 18000 90000 | 75413 74970 124 | 0.000 % |
242.90/243.17 c | 397787 | 900 18000 90000 | 75413 75423 124 | 0.000 % |
243.29/243.51 c | 398281 | 900 18000 90000 | 75413 68375 124 | 0.000 % |
243.59/243.83 c | 398823 | 900 18000 90000 | 75413 68917 124 | 0.000 % |
243.90/244.19 c | 399420 | 900 18000 90000 | 75413 69514 124 | 0.000 % |
244.29/244.58 c | 400077 | 900 18000 90000 | 2147483647 70171 124 | 0.000 % |
244.79/245.06 c | 400797 | 900 18000 90000 | 2147483647 70891 124 | 0.000 % |
245.29/245.55 c | 401590 | 900 18000 90000 | 2147483647 71684 124 | 0.000 % |
245.89/246.14 c | 402461 | 900 18000 90000 | 2147483647 72555 124 | 0.000 % |
246.49/246.74 c | 403420 | 900 18000 90000 | 2147483647 73514 124 | 0.000 % |
247.19/247.45 c | 404474 | 900 18000 90000 | 2147483647 74568 124 | 0.000 % |
247.89/248.14 c | 405632 | 900 18000 90000 | 2147483647 75726 124 | 0.000 % |
248.69/248.97 c | 406905 | 900 18000 90000 | 2147483647 76999 124 | 0.000 % |
249.69/249.93 c | 408305 | 900 18000 90000 | 2147483647 78399 124 | 0.000 % |
250.68/250.98 c | 409845 | 900 18000 90000 | 2147483647 79939 124 | 0.000 % |
251.88/252.16 c | 411542 | 900 18000 90000 | 2147483647 81636 124 | 0.000 % |
253.28/253.50 c | 413405 | 900 18000 90000 | 2147483647 83499 124 | 0.000 % |
254.68/254.94 c | 415455 | 900 18000 90000 | 2147483647 85549 124 | 0.000 % |
256.18/256.49 c | 417708 | 900 18000 90000 | 2147483647 87802 124 | 0.000 % |
257.99/258.27 c | 420186 | 900 18000 90000 | 90095 90280 124 | 0.000 % |
259.88/260.18 c | 422913 | 900 18000 90000 | 90095 81213 124 | 0.000 % |
261.98/262.24 c | 425912 | 900 18000 90000 | 90095 84212 125 | 0.000 % |
264.38/264.64 c | 429211 | 900 18000 90000 | 90095 87511 125 | 0.000 % |
266.88/267.13 c | 432836 | 900 18000 90000 | 88300 79178 125 | 0.000 % |
269.58/269.88 c | 436824 | 900 18000 90000 | 88300 83166 125 | 0.000 % |
269.68/269.96 c | 436924 | 900 18000 90000 | 88300 83266 125 | 0.000 % |
269.78/270.05 c | 437034 | 900 18000 90000 | 88300 83376 125 | 0.000 % |
269.88/270.17 c | 437155 | 900 18000 90000 | 88300 83497 125 | 0.000 % |
269.98/270.27 c | 437288 | 900 18000 90000 | 88300 83630 125 | 0.000 % |
270.08/270.38 c | 437434 | 900 18000 90000 | 88300 83776 125 | 0.000 % |
270.29/270.51 c | 437594 | 900 18000 90000 | 88300 83936 125 | 0.000 % |
270.38/270.66 c | 437770 | 900 18000 90000 | 88300 84112 125 | 0.000 % |
270.58/270.82 c | 437964 | 900 18000 90000 | 88300 84306 125 | 0.000 % |
270.68/270.99 c | 438178 | 900 18000 90000 | 88300 84520 125 | 0.000 % |
270.88/271.17 c | 438411 | 900 18000 90000 | 88300 84753 125 | 0.000 % |
271.08/271.37 c | 438667 | 900 18000 90000 | 88300 85009 125 | 0.000 % |
271.28/271.58 c | 438948 | 900 18000 90000 | 88300 85290 125 | 0.000 % |
271.58/271.81 c | 439257 | 900 18000 90000 | 88300 85599 125 | 0.000 % |
271.78/272.06 c | 439596 | 900 18000 90000 | 88300 85938 125 | 0.000 % |
272.08/272.38 c | 439970 | 900 18000 90000 | 88300 86312 125 | 0.000 % |
272.48/272.76 c | 440379 | 900 18000 90000 | 86343 74971 126 | 0.000 % |
272.78/273.06 c | 440829 | 900 18000 90000 | 86343 75421 126 | 0.000 % |
273.08/273.38 c | 441325 | 900 18000 90000 | 86343 75917 126 | 0.000 % |
273.48/273.74 c | 441867 | 900 18000 90000 | 86343 76459 126 | 0.000 % |
273.88/274.13 c | 442464 | 900 18000 90000 | 86343 77056 126 | 0.000 % |
274.28/274.58 c | 443119 | 900 18000 90000 | 86343 77711 126 | 0.000 % |
274.78/275.08 c | 443839 | 900 18000 90000 | 86343 78431 126 | 0.000 % |
275.38/275.62 c | 444631 | 900 18000 90000 | 86343 79223 126 | 0.000 % |
275.88/276.12 c | 445502 | 900 18000 90000 | 86343 80094 126 | 0.000 % |
276.48/276.77 c | 446461 | 900 18000 90000 | 86343 81053 126 | 0.000 % |
277.17/277.49 c | 447514 | 900 18000 90000 | 86343 82106 126 | 0.000 % |
278.08/278.32 c | 448672 | 900 18000 90000 | 86343 83264 126 | 0.000 % |
278.97/279.20 c | 449945 | 900 18000 90000 | 86343 84537 126 | 0.000 % |
279.87/280.14 c | 451347 | 900 18000 90000 | 84594 75468 126 | 0.000 % |
280.87/281.11 c | 452888 | 900 18000 90000 | 84594 77009 126 | 0.000 % |
281.97/282.28 c | 454583 | 900 18000 90000 | 84594 78704 126 | 0.000 % |
283.27/283.57 c | 456450 | 900 18000 90000 | 84594 80571 126 | 0.000 % |
284.67/284.99 c | 458501 | 900 18000 90000 | 84594 82622 126 | 0.000 % |
286.27/286.53 c | 460754 | 900 18000 90000 | 84122 74241 126 | 0.000 % |
287.77/288.04 c | 463233 | 900 18000 90000 | 84122 76720 126 | 0.000 % |
289.57/289.89 c | 465962 | 900 18000 90000 | 84122 79449 126 | 0.000 % |
291.57/291.85 c | 468959 | 900 18000 90000 | 84122 82446 126 | 0.000 % |
293.87/294.11 c | 472256 | 900 18000 90000 | 83488 76423 126 | 0.000 % |
296.16/296.44 c | 475882 | 900 18000 90000 | 83488 80049 126 | 0.000 % |
298.96/299.28 c | 479869 | 900 18000 90000 | 83488 74680 127 | 0.000 % |
301.66/301.94 c | 484255 | 900 18000 90000 | 74811 71037 127 | 0.000 % |
301.76/302.01 c | 484355 | 900 18000 90000 | 74811 71137 127 | 0.000 % |
301.86/302.10 c | 484465 | 900 18000 90000 | 74811 71247 127 | 0.000 % |
301.86/302.18 c | 484587 | 900 18000 90000 | 74811 71369 127 | 0.000 % |
301.96/302.28 c | 484720 | 900 18000 90000 | 74811 71502 127 | 0.000 % |
302.06/302.37 c | 484866 | 900 18000 90000 | 74811 71648 127 | 0.000 % |
302.16/302.49 c | 485027 | 900 18000 90000 | 74811 71809 127 | 0.000 % |
302.36/302.63 c | 485203 | 900 18000 90000 | 74811 71985 127 | 0.000 % |
302.46/302.75 c | 485396 | 900 18000 90000 | 74811 72178 127 | 0.000 % |
302.65/302.90 c | 485608 | 900 18000 90000 | 74811 72390 127 | 0.000 % |
302.75/303.05 c | 485841 | 900 18000 90000 | 74811 72623 127 | 0.000 % |
302.95/303.23 c | 486098 | 900 18000 90000 | 74811 72880 127 | 0.000 % |
303.15/303.45 c | 486379 | 900 18000 90000 | 74811 73161 127 | 0.000 % |
303.36/303.69 c | 486688 | 900 18000 90000 | 74811 73470 127 | 0.000 % |
303.65/303.93 c | 487028 | 900 18000 90000 | 74811 73810 127 | 0.000 % |
303.95/304.23 c | 487401 | 900 18000 90000 | 74811 74183 127 | 0.000 % |
304.25/304.53 c | 487810 | 900 18000 90000 | 74811 74592 127 | 0.000 % |
304.55/304.84 c | 488259 | 900 18000 90000 | 74811 75041 127 | 0.000 % |
304.85/305.16 c | 488752 | 900 18000 90000 | 74811 68030 126 | 0.000 % |
305.15/305.49 c | 489296 | 900 18000 90000 | 74811 68574 126 | 0.000 % |
305.56/305.85 c | 489892 | 900 18000 90000 | 74811 69170 126 | 0.000 % |
305.95/306.23 c | 490547 | 900 18000 90000 | 2147483647 69825 126 | 0.000 % |
306.45/306.71 c | 491269 | 900 18000 90000 | 2147483647 70547 126 | 0.000 % |
306.95/307.20 c | 492062 | 900 18000 90000 | 2147483647 71340 126 | 0.000 % |
307.45/307.76 c | 492933 | 900 18000 90000 | 2147483647 72211 126 | 0.000 % |
308.05/308.34 c | 493891 | 900 18000 90000 | 2147483647 73169 126 | 0.000 % |
308.75/309.06 c | 494944 | 900 18000 90000 | 2147483647 74222 126 | 0.000 % |
309.55/309.80 c | 496102 | 900 18000 90000 | 2147483647 75380 126 | 0.000 % |
310.35/310.60 c | 497375 | 900 18000 90000 | 2147483647 76653 126 | 0.000 % |
311.25/311.51 c | 498775 | 900 18000 90000 | 2147483647 78053 126 | 0.000 % |
312.25/312.52 c | 500315 | 900 18000 90000 | 2147483647 79593 126 | 0.000 % |
313.35/313.63 c | 502009 | 900 18000 90000 | 2147483647 81287 126 | 0.000 % |
314.65/314.97 c | 503872 | 900 18000 90000 | 2147483647 83150 126 | 0.000 % |
316.24/316.51 c | 505924 | 900 18000 90000 | 2147483647 85202 126 | 0.000 % |
317.84/318.10 c | 508178 | 900 18000 90000 | 2147483647 87456 126 | 0.000 % |
319.64/319.94 c | 510657 | 900 18000 90000 | 89279 77348 125 | 0.000 % |
321.44/321.72 c | 513383 | 900 18000 90000 | 89279 80074 125 | 0.000 % |
323.44/323.70 c | 516381 | 900 18000 90000 | 89279 83072 126 | 0.000 % |
325.64/325.90 c | 519677 | 900 18000 90000 | 89279 86368 126 | 0.000 % |
327.94/328.26 c | 523302 | 900 18000 90000 | 86691 78496 126 | 0.000 % |
330.44/330.79 c | 527290 | 900 18000 90000 | 86691 82484 126 | 0.000 % |
333.44/333.73 c | 531677 | 900 18000 90000 | 85195 76548 127 | 0.000 % |
336.53/336.87 c | 536501 | 900 18000 90000 | 85195 81372 127 | 0.000 % |
336.63/336.97 c | 536604 | 900 18000 90000 | 85195 81475 127 | 0.000 % |
336.73/337.05 c | 536714 | 900 18000 90000 | 85195 81585 127 | 0.000 % |
336.83/337.14 c | 536835 | 900 18000 90000 | 85195 81706 127 | 0.000 % |
336.93/337.25 c | 536968 | 900 18000 90000 | 85195 81839 127 | 0.000 % |
337.03/337.36 c | 537115 | 900 18000 90000 | 85195 81986 127 | 0.000 % |
337.13/337.49 c | 537276 | 900 18000 90000 | 85195 82147 127 | 0.000 % |
337.34/337.64 c | 537452 | 900 18000 90000 | 85195 82323 127 | 0.000 % |
337.44/337.80 c | 537648 | 900 18000 90000 | 85195 82519 127 | 0.000 % |
337.63/337.97 c | 537862 | 900 18000 90000 | 85195 82733 127 | 0.000 % |
337.83/338.13 c | 538096 | 900 18000 90000 | 85195 82967 127 | 0.000 % |
338.03/338.34 c | 538352 | 900 18000 90000 | 85195 83223 126 | 0.000 % |
338.23/338.56 c | 538636 | 900 18000 90000 | 85195 83507 126 | 0.000 % |
338.43/338.77 c | 538947 | 900 18000 90000 | 85195 83818 126 | 0.000 % |
338.73/339.01 c | 539286 | 900 18000 90000 | 85195 84157 126 | 0.000 % |
339.03/339.31 c | 539660 | 900 18000 90000 | 85195 84531 126 | 0.000 % |
339.23/339.59 c | 540074 | 900 18000 90000 | 84872 84945 126 | 0.000 % |
339.63/339.97 c | 540523 | 900 18000 90000 | 84872 74434 126 | 0.000 % |
340.03/340.30 c | 541018 | 900 18000 90000 | 84872 74929 126 | 0.000 % |
340.33/340.66 c | 541561 | 900 18000 90000 | 84872 75472 126 | 0.000 % |
340.73/341.06 c | 542160 | 900 18000 90000 | 84872 76071 126 | 0.000 % |
341.22/341.50 c | 542815 | 900 18000 90000 | 84872 76726 126 | 0.000 % |
341.62/341.98 c | 543535 | 900 18000 90000 | 84872 77446 126 | 0.000 % |
342.22/342.52 c | 544329 | 900 18000 90000 | 84872 78240 126 | 0.000 % |
342.72/343.09 c | 545202 | 900 18000 90000 | 84872 79113 126 | 0.000 % |
343.42/343.78 c | 546161 | 900 18000 90000 | 84872 80072 126 | 0.000 % |
344.22/344.54 c | 547215 | 900 18000 90000 | 84872 81126 126 | 0.000 % |
344.92/345.26 c | 548374 | 900 18000 90000 | 84872 82285 126 | 0.000 % |
345.82/346.14 c | 549647 | 900 18000 90000 | 84872 83558 126 | 0.000 % |
346.82/347.13 c | 551047 | 900 18000 90000 | 83911 74313 125 | 0.000 % |
347.82/348.13 c | 552587 | 900 18000 90000 | 83911 75853 125 | 0.000 % |
349.02/349.30 c | 554282 | 900 18000 90000 | 83911 77548 125 | 0.000 % |
350.22/350.59 c | 556149 | 900 18000 90000 | 83911 79415 125 | 0.000 % |
351.62/351.94 c | 558198 | 900 18000 90000 | 83911 81464 125 | 0.000 % |
353.12/353.50 c | 560451 | 900 18000 90000 | 83268 72902 125 | 0.000 % |
354.62/354.98 c | 562931 | 900 18000 90000 | 83268 75382 125 | 0.000 % |
356.41/356.79 c | 565657 | 900 18000 90000 | 83268 78108 125 | 0.000 % |
358.51/358.80 c | 568655 | 900 18000 90000 | 83268 81106 125 | 0.000 % |
360.61/360.99 c | 571951 | 900 18000 90000 | 82454 74538 125 | 0.000 % |
362.91/363.28 c | 575576 | 900 18000 90000 | 82454 78163 126 | 0.000 % |
365.61/365.92 c | 579563 | 900 18000 90000 | 82454 82150 126 | 0.000 % |
368.51/368.87 c | 583948 | 900 18000 90000 | 82591 76748 126 | 0.000 % |
371.81/372.12 c | 588771 | 900 18000 90000 | 82591 81571 126 | 0.000 % |
375.41/375.71 c | 594076 | 900 18000 90000 | 82801 76698 126 | 0.000 % |
375.51/375.80 c | 594179 | 900 18000 90000 | 82801 76801 126 | 0.000 % |
375.51/375.87 c | 594289 | 900 18000 90000 | 82801 76911 126 | 0.000 % |
375.61/375.97 c | 594412 | 900 18000 90000 | 82801 77034 126 | 0.000 % |
375.71/376.08 c | 594545 | 900 18000 90000 | 82801 77167 126 | 0.000 % |
375.91/376.21 c | 594692 | 900 18000 90000 | 82801 77314 126 | 0.000 % |
376.01/376.33 c | 594853 | 900 18000 90000 | 82801 77475 126 | 0.000 % |
376.11/376.46 c | 595029 | 900 18000 90000 | 82801 77651 126 | 0.000 % |
376.31/376.63 c | 595222 | 900 18000 90000 | 82801 77844 125 | 0.000 % |
376.41/376.78 c | 595435 | 900 18000 90000 | 82801 78057 125 | 0.000 % |
376.61/376.95 c | 595669 | 900 18000 90000 | 82801 78291 125 | 0.000 % |
376.81/377.12 c | 595925 | 900 18000 90000 | 82801 78547 125 | 0.000 % |
377.01/377.33 c | 596206 | 900 18000 90000 | 82801 78828 125 | 0.000 % |
377.21/377.54 c | 596516 | 900 18000 90000 | 82801 79138 125 | 0.000 % |
377.51/377.82 c | 596857 | 900 18000 90000 | 82801 79479 125 | 0.000 % |
377.81/378.10 c | 597230 | 900 18000 90000 | 82801 79852 125 | 0.000 % |
378.01/378.40 c | 597640 | 900 18000 90000 | 82801 80262 125 | 0.000 % |
378.41/378.71 c | 598090 | 900 18000 90000 | 82801 80712 125 | 0.000 % |
378.80/379.11 c | 598583 | 900 18000 90000 | 82801 81205 125 | 0.000 % |
379.21/379.51 c | 599125 | 900 18000 90000 | 82801 81747 125 | 0.000 % |
379.60/379.96 c | 599721 | 900 18000 90000 | 82801 82343 125 | 0.000 % |
380.21/380.51 c | 600376 | 900 18000 90000 | 82622 72614 125 | 0.000 % |
380.60/380.95 c | 601096 | 900 18000 90000 | 82622 73334 125 | 0.000 % |
381.10/381.49 c | 601888 | 900 18000 90000 | 82622 74126 125 | 0.000 % |
381.70/382.03 c | 602759 | 900 18000 90000 | 82622 74997 125 | 0.000 % |
382.30/382.62 c | 603717 | 900 18000 90000 | 82622 75955 125 | 0.000 % |
382.90/383.29 c | 604770 | 900 18000 90000 | 82622 77008 125 | 0.000 % |
383.70/384.06 c | 605928 | 900 18000 90000 | 82622 78166 124 | 0.000 % |
384.50/384.87 c | 607202 | 900 18000 90000 | 82622 79440 125 | 0.000 % |
385.40/385.79 c | 608602 | 900 18000 90000 | 82622 80840 125 | 0.000 % |
386.50/386.80 c | 610142 | 900 18000 90000 | 82240 82380 124 | 0.000 % |
387.60/387.91 c | 611837 | 900 18000 90000 | 82240 74848 124 | 0.000 % |
388.70/389.09 c | 613700 | 900 18000 90000 | 82240 76711 124 | 0.000 % |
390.00/390.37 c | 615749 | 900 18000 90000 | 82240 78760 124 | 0.000 % |
391.49/391.83 c | 618003 | 900 18000 90000 | 82240 81014 124 | 0.000 % |
393.29/393.60 c | 620481 | 900 18000 90000 | 74513 67433 125 | 0.000 % |
394.89/395.22 c | 623206 | 900 18000 90000 | 74513 70158 125 | 0.000 % |
396.59/396.98 c | 626203 | 900 18000 90000 | 74513 73155 125 | 0.000 % |
398.79/399.11 c | 629499 | 900 18000 90000 | 74513 68973 125 | 0.000 % |
400.99/401.32 c | 633124 | 900 18000 90000 | 2147483647 72598 125 | 0.000 % |
403.49/403.90 c | 637111 | 900 18000 90000 | 2147483647 76585 125 | 0.000 % |
406.49/406.85 c | 641497 | 900 18000 90000 | 2147483647 80971 125 | 0.000 % |
409.99/410.30 c | 646321 | 900 18000 90000 | 2147483647 85795 126 | 0.000 % |
413.79/414.11 c | 651626 | 900 18000 90000 | 89475 78998 126 | 0.000 % |
417.98/418.35 c | 657464 | 900 18000 90000 | 89475 84836 126 | 0.000 % |
418.08/418.42 c | 657564 | 900 18000 90000 | 89475 84936 126 | 0.000 % |
418.18/418.54 c | 657676 | 900 18000 90000 | 89475 85048 126 | 0.000 % |
418.28/418.64 c | 657797 | 900 18000 90000 | 89475 85169 126 | 0.000 % |
418.38/418.74 c | 657930 | 900 18000 90000 | 89475 85302 126 | 0.000 % |
418.48/418.87 c | 658077 | 900 18000 90000 | 89475 85449 126 | 0.000 % |
418.69/419.02 c | 658237 | 900 18000 90000 | 89475 85609 126 | 0.000 % |
418.78/419.15 c | 658413 | 900 18000 90000 | 89475 85785 126 | 0.000 % |
418.88/419.29 c | 658607 | 900 18000 90000 | 89475 85979 126 | 0.000 % |
419.08/419.43 c | 658819 | 900 18000 90000 | 89475 86191 126 | 0.000 % |
419.28/419.61 c | 659054 | 900 18000 90000 | 89475 86426 126 | 0.000 % |
419.48/419.82 c | 659312 | 900 18000 90000 | 89475 86684 126 | 0.000 % |
419.68/420.03 c | 659595 | 900 18000 90000 | 89475 86967 126 | 0.000 % |
419.88/420.29 c | 659904 | 900 18000 90000 | 89475 87276 126 | 0.000 % |
420.18/420.55 c | 660243 | 900 18000 90000 | 87372 87615 126 | 0.000 % |
420.48/420.87 c | 660615 | 900 18000 90000 | 87372 75653 125 | 0.000 % |
420.78/421.13 c | 661025 | 900 18000 90000 | 87372 76063 125 | 0.000 % |
421.08/421.46 c | 661477 | 900 18000 90000 | 87372 76515 125 | 0.000 % |
421.48/421.82 c | 661970 | 900 18000 90000 | 87372 77008 125 | 0.000 % |
421.78/422.19 c | 662516 | 900 18000 90000 | 87372 77554 125 | 0.000 % |
422.18/422.59 c | 663112 | 900 18000 90000 | 87372 78150 125 | 0.000 % |
422.68/423.04 c | 663767 | 900 18000 90000 | 87372 78805 125 | 0.000 % |
423.18/423.52 c | 664487 | 900 18000 90000 | 87372 79525 125 | 0.000 % |
423.68/424.04 c | 665282 | 900 18000 90000 | 87372 80320 125 | 0.000 % |
424.28/424.64 c | 666153 | 900 18000 90000 | 87372 81191 125 | 0.000 % |
424.88/425.30 c | 667112 | 900 18000 90000 | 87372 82150 125 | 0.000 % |
425.67/426.06 c | 668166 | 900 18000 90000 | 87372 83204 125 | 0.000 % |
426.48/426.87 c | 669324 | 900 18000 90000 | 87372 84362 125 | 0.000 % |
427.37/427.76 c | 670599 | 900 18000 90000 | 85038 74554 125 | 0.000 % |
428.27/428.68 c | 672002 | 900 18000 90000 | 85038 75957 125 | 0.000 % |
429.17/429.59 c | 673542 | 900 18000 90000 | 85038 77497 125 | 0.000 % |
430.37/430.75 c | 675239 | 900 18000 90000 | 85038 79194 125 | 0.000 % |
431.57/431.99 c | 677102 | 900 18000 90000 | 85038 81057 125 | 0.000 % |
432.96/433.39 c | 679151 | 900 18000 90000 | 85038 83106 125 | 0.000 % |
434.56/434.97 c | 681407 | 900 18000 90000 | 83955 74905 125 | 0.000 % |
436.16/436.56 c | 683885 | 900 18000 90000 | 83955 77383 125 | 0.000 % |
437.86/438.28 c | 686610 | 900 18000 90000 | 83955 80108 125 | 0.000 % |
439.76/440.14 c | 689608 | 900 18000 90000 | 83955 83106 125 | 0.000 % |
441.86/442.24 c | 692904 | 900 18000 90000 | 83500 77330 125 | 0.000 % |
444.06/444.49 c | 696530 | 900 18000 90000 | 83500 80956 125 | 0.000 % |
446.85/447.21 c | 700517 | 900 18000 90000 | 75184 67312 125 | 0.000 % |
449.25/449.65 c | 704902 | 900 18000 90000 | 75184 71697 125 | 0.000 % |
452.15/452.58 c | 709725 | 900 18000 90000 | 75184 68972 126 | 0.000 % |
455.45/455.88 c | 715030 | 900 18000 90000 | 2147483647 74277 126 | 0.000 % |
459.35/459.73 c | 720865 | 900 18000 90000 | 79247 71850 126 | 0.000 % |
463.55/463.91 c | 727284 | 900 18000 90000 | 79247 78269 126 | 0.000 % |
463.55/463.98 c | 727385 | 900 18000 90000 | 79247 78370 126 | 0.000 % |
463.65/464.07 c | 727496 | 900 18000 90000 | 79247 78481 126 | 0.000 % |
463.75/464.16 c | 727618 | 900 18000 90000 | 79247 78603 126 | 0.000 % |
463.85/464.26 c | 727755 | 900 18000 90000 | 79247 78740 126 | 0.000 % |
463.95/464.37 c | 727901 | 900 18000 90000 | 79247 78886 126 | 0.000 % |
464.05/464.49 c | 728062 | 900 18000 90000 | 79247 79047 126 | 0.000 % |
464.25/464.63 c | 728239 | 900 18000 90000 | 79247 79224 126 | 0.000 % |
464.35/464.78 c | 728433 | 900 18000 90000 | 79247 79418 126 | 0.000 % |
464.55/464.97 c | 728646 | 900 18000 90000 | 79247 71460 125 | 0.000 % |
464.75/465.13 c | 728879 | 900 18000 90000 | 79247 71693 125 | 0.000 % |
464.95/465.32 c | 729137 | 900 18000 90000 | 79247 71951 125 | 0.000 % |
465.04/465.49 c | 729418 | 900 18000 90000 | 79247 72232 125 | 0.000 % |
465.24/465.68 c | 729727 | 900 18000 90000 | 79247 72541 125 | 0.000 % |
465.44/465.88 c | 730066 | 900 18000 90000 | 72815 72880 125 | 0.000 % |
465.74/466.18 c | 730440 | 900 18000 90000 | 72815 65961 126 | 0.000 % |
466.05/466.44 c | 730850 | 900 18000 90000 | 72815 66371 126 | 0.000 % |
466.34/466.71 c | 731300 | 900 18000 90000 | 72815 66821 126 | 0.000 % |
466.64/467.02 c | 731794 | 900 18000 90000 | 72815 67315 126 | 0.000 % |
466.94/467.36 c | 732336 | 900 18000 90000 | 72815 67857 126 | 0.000 % |
467.34/467.70 c | 732933 | 900 18000 90000 | 72815 68454 126 | 0.000 % |
467.64/468.08 c | 733589 | 900 18000 90000 | 72815 69110 126 | 0.000 % |
468.15/468.56 c | 734309 | 900 18000 90000 | 72815 69830 126 | 0.000 % |
468.64/469.05 c | 735105 | 900 18000 90000 | 72815 70626 126 | 0.000 % |
469.25/469.62 c | 735976 | 900 18000 90000 | 72815 71497 126 | 0.000 % |
469.84/470.23 c | 736935 | 900 18000 90000 | 72815 72456 126 | 0.000 % |
470.45/470.88 c | 737989 | 900 18000 90000 | 72815 66196 126 | 0.000 % |
471.14/471.52 c | 739147 | 900 18000 90000 | 72815 67354 126 | 0.000 % |
471.84/472.23 c | 740422 | 900 18000 90000 | 2147483647 68629 126 | 0.000 % |
472.54/473.00 c | 741823 | 900 18000 90000 | 2147483647 70030 126 | 0.000 % |
473.54/473.93 c | 743364 | 900 18000 90000 | 2147483647 71571 126 | 0.000 % |
474.54/474.97 c | 745058 | 900 18000 90000 | 2147483647 73265 126 | 0.000 % |
475.83/476.21 c | 746922 | 900 18000 90000 | 2147483647 75129 126 | 0.000 % |
477.13/477.53 c | 748971 | 900 18000 90000 | 2147483647 77178 126 | 0.000 % |
478.63/479.06 c | 751224 | 900 18000 90000 | 2147483647 79431 126 | 0.000 % |
480.33/480.79 c | 753703 | 900 18000 90000 | 2147483647 81910 126 | 0.000 % |
482.33/482.71 c | 756431 | 900 18000 90000 | 2147483647 84638 126 | 0.000 % |
484.23/484.69 c | 759429 | 900 18000 90000 | 2147483647 87636 126 | 0.000 % |
486.53/486.99 c | 762727 | 900 18000 90000 | 88208 80065 126 | 0.000 % |
489.03/489.43 c | 766355 | 900 18000 90000 | 88208 83693 126 | 0.000 % |
491.82/492.29 c | 770342 | 900 18000 90000 | 87341 76451 127 | 0.000 % |
494.92/495.39 c | 774727 | 900 18000 90000 | 87341 80836 127 | 0.000 % |
498.62/499.03 c | 779551 | 900 18000 90000 | 87341 85660 127 | 0.000 % |
502.12/502.56 c | 784856 | 900 18000 90000 | 86109 79651 127 | 0.000 % |
506.12/506.50 c | 790691 | 900 18000 90000 | 84796 74637 127 | 0.000 % |
510.42/510.83 c | 797109 | 900 18000 90000 | 84796 81055 127 | 0.000 % |
515.31/515.75 c | 804168 | 900 18000 90000 | 83946 77259 127 | 0.000 % |
515.42/515.81 c | 804268 | 900 18000 90000 | 83946 77359 127 | 0.000 % |
515.42/515.90 c | 804379 | 900 18000 90000 | 83946 77470 127 | 0.000 % |
515.52/515.99 c | 804501 | 900 18000 90000 | 83946 77592 127 | 0.000 % |
515.71/516.11 c | 804634 | 900 18000 90000 | 83946 77725 127 | 0.000 % |
515.81/516.24 c | 804780 | 900 18000 90000 | 83946 77871 127 | 0.000 % |
515.91/516.36 c | 804941 | 900 18000 90000 | 83946 78032 127 | 0.000 % |
516.01/516.49 c | 805120 | 900 18000 90000 | 83946 78211 127 | 0.000 % |
516.21/516.64 c | 805315 | 900 18000 90000 | 83946 78406 127 | 0.000 % |
516.31/516.78 c | 805527 | 900 18000 90000 | 83946 78618 127 | 0.000 % |
516.52/516.97 c | 805760 | 900 18000 90000 | 83946 78851 127 | 0.000 % |
516.71/517.17 c | 806016 | 900 18000 90000 | 83946 79107 127 | 0.000 % |
516.91/517.39 c | 806300 | 900 18000 90000 | 83946 79391 127 | 0.000 % |
517.21/517.65 c | 806615 | 900 18000 90000 | 83946 79706 127 | 0.000 % |
517.51/517.90 c | 806954 | 900 18000 90000 | 83946 80045 127 | 0.000 % |
517.71/518.16 c | 807326 | 900 18000 90000 | 83946 80417 127 | 0.000 % |
518.01/518.45 c | 807735 | 900 18000 90000 | 83946 80826 127 | 0.000 % |
518.31/518.79 c | 808185 | 900 18000 90000 | 83946 81276 127 | 0.000 % |
518.71/519.14 c | 808678 | 900 18000 90000 | 83946 81769 127 | 0.000 % |
519.11/519.57 c | 809222 | 900 18000 90000 | 83946 82313 127 | 0.000 % |
519.61/520.01 c | 809819 | 900 18000 90000 | 83946 82910 127 | 0.000 % |
520.10/520.51 c | 810478 | 900 18000 90000 | 83095 73021 128 | 0.000 % |
520.50/520.97 c | 811199 | 900 18000 90000 | 83095 73742 128 | 0.000 % |
521.01/521.46 c | 811991 | 900 18000 90000 | 83095 74534 128 | 0.000 % |
521.60/522.01 c | 812863 | 900 18000 90000 | 83095 75406 128 | 0.000 % |
522.20/522.64 c | 813822 | 900 18000 90000 | 83095 76365 128 | 0.000 % |
522.90/523.30 c | 814875 | 900 18000 90000 | 83095 77418 128 | 0.000 % |
523.60/524.02 c | 816033 | 900 18000 90000 | 83095 78576 128 | 0.000 % |
524.50/524.91 c | 817306 | 900 18000 90000 | 83095 79849 128 | 0.000 % |
525.50/525.91 c | 818708 | 900 18000 90000 | 83095 81251 127 | 0.000 % |
526.50/526.93 c | 820249 | 900 18000 90000 | 82546 82792 127 | 0.000 % |
527.60/528.03 c | 821944 | 900 18000 90000 | 82546 75307 127 | 0.000 % |
528.81/529.22 c | 823807 | 900 18000 90000 | 82546 77170 127 | 0.000 % |
530.21/530.66 c | 825858 | 900 18000 90000 | 82546 79221 127 | 0.000 % |
531.81/532.27 c | 828111 | 900 18000 90000 | 82546 81474 128 | 0.000 % |
533.60/534.02 c | 830590 | 900 18000 90000 | 74457 67201 128 | 0.000 % |
535.21/535.61 c | 833317 | 900 18000 90000 | 74457 69928 128 | 0.000 % |
536.80/537.28 c | 836315 | 900 18000 90000 | 74457 72926 128 | 0.000 % |
538.90/539.30 c | 839612 | 900 18000 90000 | 74457 68743 128 | 0.000 % |
541.10/541.50 c | 843240 | 900 18000 90000 | 2147483647 72371 128 | 0.000 % |
543.60/544.06 c | 847228 | 900 18000 90000 | 2147483647 76359 128 | 0.000 % |
546.50/546.92 c | 851614 | 900 18000 90000 | 2147483647 80745 128 | 0.000 % |
549.80/550.25 c | 856437 | 900 18000 90000 | 2147483647 85568 128 | 0.000 % |
553.79/554.28 c | 861742 | 900 18000 90000 | 89134 79932 128 | 0.000 % |
558.09/558.50 c | 867577 | 900 18000 90000 | 89134 85767 128 | 0.000 % |
562.39/562.89 c | 873995 | 900 18000 90000 | 88190 79609 128 | 0.000 % |
567.68/568.11 c | 881056 | 900 18000 90000 | 85615 74453 129 | 0.000 % |
572.48/572.92 c | 888820 | 900 18000 90000 | 85615 82217 129 | 0.000 % |
572.48/572.99 c | 888921 | 900 18000 90000 | 85615 82318 129 | 0.000 % |
572.58/573.09 c | 889031 | 900 18000 90000 | 85615 82428 129 | 0.000 % |
572.68/573.19 c | 889152 | 900 18000 90000 | 85615 82549 129 | 0.000 % |
572.88/573.30 c | 889286 | 900 18000 90000 | 85615 82683 129 | 0.000 % |
572.98/573.40 c | 889433 | 900 18000 90000 | 85615 82830 129 | 0.000 % |
573.08/573.53 c | 889593 | 900 18000 90000 | 85615 82990 129 | 0.000 % |
573.18/573.69 c | 889769 | 900 18000 90000 | 85615 83166 129 | 0.000 % |
573.38/573.84 c | 889962 | 900 18000 90000 | 85615 83359 129 | 0.000 % |
573.58/574.02 c | 890174 | 900 18000 90000 | 83397 83571 129 | 0.000 % |
573.78/574.23 c | 890407 | 900 18000 90000 | 83397 72179 130 | 0.000 % |
573.88/574.39 c | 890664 | 900 18000 90000 | 83397 72436 130 | 0.000 % |
574.08/574.58 c | 890946 | 900 18000 90000 | 83397 72718 130 | 0.000 % |
574.28/574.79 c | 891255 | 900 18000 90000 | 83397 73027 130 | 0.000 % |
574.58/575.04 c | 891595 | 900 18000 90000 | 83397 73367 130 | 0.000 % |
574.88/575.33 c | 891967 | 900 18000 90000 | 83397 73739 130 | 0.000 % |
575.17/575.61 c | 892383 | 900 18000 90000 | 83397 74155 130 | 0.000 % |
575.47/575.90 c | 892833 | 900 18000 90000 | 83397 74605 130 | 0.000 % |
575.77/576.23 c | 893326 | 900 18000 90000 | 83397 75098 129 | 0.000 % |
576.07/576.58 c | 893868 | 900 18000 90000 | 83397 75640 129 | 0.000 % |
576.47/576.96 c | 894464 | 900 18000 90000 | 83397 76236 129 | 0.000 % |
576.87/577.38 c | 895119 | 900 18000 90000 | 83397 76891 129 | 0.000 % |
577.37/577.88 c | 895839 | 900 18000 90000 | 83397 77611 129 | 0.000 % |
577.87/578.39 c | 896631 | 900 18000 90000 | 83397 78403 129 | 0.000 % |
578.47/578.95 c | 897503 | 900 18000 90000 | 83397 79275 129 | 0.000 % |
579.18/579.65 c | 898462 | 900 18000 90000 | 83397 80234 129 | 0.000 % |
579.87/580.35 c | 899516 | 900 18000 90000 | 83397 81288 129 | 0.000 % |
580.67/581.19 c | 900674 | 900 18000 90000 | 81773 72480 129 | 0.000 % |
581.48/581.96 c | 901948 | 900 18000 90000 | 81773 73754 129 | 0.000 % |
582.37/582.87 c | 903348 | 900 18000 90000 | 81773 75154 129 | 0.000 % |
583.47/583.90 c | 904888 | 900 18000 90000 | 81773 76694 129 | 0.000 % |
584.47/584.95 c | 906583 | 900 18000 90000 | 81773 78389 129 | 0.000 % |
585.77/586.28 c | 908447 | 900 18000 90000 | 81773 80253 129 | 0.000 % |
587.17/587.67 c | 910496 | 900 18000 90000 | 81808 73055 129 | 0.000 % |
588.57/589.08 c | 912749 | 900 18000 90000 | 81808 75308 129 | 0.000 % |
590.07/590.59 c | 915228 | 900 18000 90000 | 81808 77787 130 | 0.000 % |
591.87/592.30 c | 917955 | 900 18000 90000 | 81808 80514 129 | 0.000 % |
593.86/594.35 c | 920953 | 900 18000 90000 | 73649 66711 130 | 0.000 % |
595.77/596.28 c | 924250 | 900 18000 90000 | 73649 70008 130 | 0.000 % |
598.06/598.59 c | 927875 | 900 18000 90000 | 73649 73633 130 | 0.000 % |
600.66/601.11 c | 931863 | 900 18000 90000 | 2147483647 70225 131 | 0.000 % |
603.37/603.88 c | 936251 | 900 18000 90000 | 2147483647 74613 131 | 0.000 % |
606.56/607.10 c | 941075 | 900 18000 90000 | 2147483647 79437 131 | 0.000 % |
610.15/610.61 c | 946386 | 900 18000 90000 | 2147483647 84748 131 | 0.000 % |
614.05/614.50 c | 952223 | 900 18000 90000 | 88364 79887 130 | 0.000 % |
618.64/619.12 c | 958642 | 900 18000 90000 | 88364 86306 130 | 0.000 % |
624.14/624.65 c | 965701 | 900 18000 90000 | 87664 81796 130 | 0.000 % |
629.54/630.02 c | 973465 | 900 18000 90000 | 86095 78209 131 | 0.000 % |
635.44/635.99 c | 982006 | 900 18000 90000 | 84746 76286 131 | 0.000 % |
635.54/636.08 c | 982106 | 900 18000 90000 | 84746 76386 131 | 0.000 % |
635.64/636.17 c | 982218 | 900 18000 90000 | 84746 76498 131 | 0.000 % |
635.74/636.26 c | 982340 | 900 18000 90000 | 84746 76620 131 | 0.000 % |
635.84/636.35 c | 982474 | 900 18000 90000 | 84746 76754 131 | 0.000 % |
635.94/636.47 c | 982622 | 900 18000 90000 | 84746 76902 131 | 0.000 % |
636.04/636.58 c | 982785 | 900 18000 90000 | 84746 77065 131 | 0.000 % |
636.24/636.71 c | 982963 | 900 18000 90000 | 84746 77243 131 | 0.000 % |
636.34/636.85 c | 983156 | 900 18000 90000 | 84746 77436 131 | 0.000 % |
636.54/637.00 c | 983369 | 900 18000 90000 | 84746 77649 131 | 0.000 % |
636.64/637.18 c | 983602 | 900 18000 90000 | 84746 77882 131 | 0.000 % |
636.84/637.37 c | 983858 | 900 18000 90000 | 84746 78138 131 | 0.000 % |
637.04/637.57 c | 984139 | 900 18000 90000 | 84746 78419 131 | 0.000 % |
637.34/637.80 c | 984448 | 900 18000 90000 | 84746 78728 131 | 0.000 % |
637.54/638.03 c | 984787 | 900 18000 90000 | 84746 79067 131 | 0.000 % |
637.74/638.27 c | 985160 | 900 18000 90000 | 84746 79440 131 | 0.000 % |
638.04/638.55 c | 985570 | 900 18000 90000 | 84746 79850 131 | 0.000 % |
638.43/638.90 c | 986020 | 900 18000 90000 | 84746 80300 131 | 0.000 % |
638.73/639.27 c | 986514 | 900 18000 90000 | 84746 80794 131 | 0.000 % |
639.13/639.67 c | 987059 | 900 18000 90000 | 84746 81339 131 | 0.000 % |
639.64/640.14 c | 987655 | 900 18000 90000 | 84746 81935 130 | 0.000 % |
640.13/640.63 c | 988311 | 900 18000 90000 | 84746 82591 130 | 0.000 % |
640.63/641.16 c | 989032 | 900 18000 90000 | 84746 83312 130 | 0.000 % |
641.23/641.77 c | 989824 | 900 18000 90000 | 84746 84104 130 | 0.000 % |
641.84/642.39 c | 990697 | 900 18000 90000 | 84280 74002 130 | 0.000 % |
642.53/643.02 c | 991656 | 900 18000 90000 | 84280 74961 130 | 0.000 % |
643.23/643.71 c | 992710 | 900 18000 90000 | 84280 76015 130 | 0.000 % |
643.93/644.46 c | 993868 | 900 18000 90000 | 84280 77173 130 | 0.000 % |
644.73/645.20 c | 995141 | 900 18000 90000 | 84280 78446 130 | 0.000 % |
645.63/646.12 c | 996542 | 900 18000 90000 | 84280 79847 130 | 0.000 % |
646.63/647.17 c | 998082 | 900 18000 90000 | 84280 81387 129 | 0.000 % |
647.83/648.31 c | 999776 | 900 18000 90000 | 84280 83081 129 | 0.000 % |
649.03/649.58 c | 1001639 | 900 18000 90000 | 83305 75434 129 | 0.000 % |
650.33/650.87 c | 1003689 | 900 18000 90000 | 83305 77484 129 | 0.000 % |
651.73/652.29 c | 1005943 | 900 18000 90000 | 83305 79738 129 | 0.000 % |
653.53/654.00 c | 1008421 | 900 18000 90000 | 83305 82216 129 | 0.000 % |
655.42/655.98 c | 1011147 | 900 18000 90000 | 74420 67331 128 | 0.000 % |
657.33/657.82 c | 1014144 | 900 18000 90000 | 74420 70328 128 | 0.000 % |
659.42/659.96 c | 1017443 | 900 18000 90000 | 74420 73627 128 | 0.000 % |
661.72/662.23 c | 1021069 | 900 18000 90000 | 2147483647 69778 129 | 0.000 % |
664.12/664.62 c | 1025057 | 900 18000 90000 | 2147483647 73766 129 | 0.000 % |
667.02/667.51 c | 1029443 | 900 18000 90000 | 2147483647 78152 129 | 0.000 % |
670.22/670.78 c | 1034268 | 900 18000 90000 | 2147483647 82977 129 | 0.000 % |
674.11/674.62 c | 1039573 | 900 18000 90000 | 2147483647 88282 129 | 0.000 % |
678.01/678.56 c | 1045408 | 900 18000 90000 | 88709 82421 128 | 0.000 % |
682.31/682.88 c | 1051826 | 900 18000 90000 | 87013 77505 127 | 0.000 % |
687.41/687.99 c | 1058885 | 900 18000 90000 | 87013 84564 128 | 0.000 % |
692.91/693.46 c | 1066649 | 900 18000 90000 | 85679 81605 129 | 0.000 % |
699.20/699.75 c | 1075190 | 900 18000 90000 | 84958 79916 131 | 0.000 % |
706.40/706.98 c | 1084584 | 900 18000 90000 | 84726 78905 131 | 0.000 % |
706.50/707.07 c | 1084687 | 900 18000 90000 | 84726 79008 131 | 0.000 % |
706.59/707.15 c | 1084797 | 900 18000 90000 | 84726 79118 131 | 0.000 % |
706.70/707.24 c | 1084919 | 900 18000 90000 | 84726 79240 131 | 0.000 % |
706.80/707.33 c | 1085052 | 900 18000 90000 | 84726 79373 131 | 0.000 % |
706.89/707.45 c | 1085198 | 900 18000 90000 | 84726 79519 131 | 0.000 % |
706.99/707.58 c | 1085359 | 900 18000 90000 | 84726 79680 131 | 0.000 % |
707.19/707.71 c | 1085535 | 900 18000 90000 | 84726 79856 131 | 0.000 % |
707.29/707.89 c | 1085728 | 900 18000 90000 | 84726 80049 131 | 0.000 % |
707.49/708.05 c | 1085941 | 900 18000 90000 | 84726 80262 131 | 0.000 % |
707.69/708.23 c | 1086174 | 900 18000 90000 | 84726 80495 131 | 0.000 % |
707.90/708.43 c | 1086433 | 900 18000 90000 | 84726 80754 131 | 0.000 % |
708.09/708.64 c | 1086715 | 900 18000 90000 | 84726 81036 131 | 0.000 % |
708.29/708.86 c | 1087024 | 900 18000 90000 | 84726 81345 131 | 0.000 % |
708.59/709.12 c | 1087363 | 900 18000 90000 | 84726 81684 131 | 0.000 % |
708.79/709.40 c | 1087735 | 900 18000 90000 | 84726 82056 131 | 0.000 % |
709.19/709.72 c | 1088144 | 900 18000 90000 | 84726 82465 131 | 0.000 % |
709.49/710.07 c | 1088593 | 900 18000 90000 | 84726 82914 131 | 0.000 % |
709.89/710.45 c | 1089086 | 900 18000 90000 | 84726 83407 130 | 0.000 % |
710.29/710.87 c | 1089629 | 900 18000 90000 | 84726 83950 130 | 0.000 % |
710.79/711.33 c | 1090226 | 900 18000 90000 | 84323 84547 130 | 0.000 % |
711.19/711.77 c | 1090882 | 900 18000 90000 | 84323 73463 130 | 0.000 % |
711.69/712.26 c | 1091602 | 900 18000 90000 | 84323 74183 130 | 0.000 % |
712.19/712.77 c | 1092394 | 900 18000 90000 | 84323 74975 130 | 0.000 % |
712.79/713.34 c | 1093268 | 900 18000 90000 | 84323 75849 130 | 0.000 % |
713.39/713.95 c | 1094227 | 900 18000 90000 | 84323 76808 130 | 0.000 % |
714.09/714.66 c | 1095280 | 900 18000 90000 | 84323 77861 130 | 0.000 % |
714.89/715.47 c | 1096438 | 900 18000 90000 | 84323 79019 130 | 0.000 % |
715.69/716.24 c | 1097711 | 900 18000 90000 | 84323 80292 130 | 0.000 % |
716.69/717.26 c | 1099111 | 900 18000 90000 | 84323 81692 130 | 0.000 % |
717.79/718.39 c | 1100651 | 900 18000 90000 | 82581 73643 129 | 0.000 % |
718.89/719.42 c | 1102345 | 900 18000 90000 | 82581 75337 129 | 0.000 % |
719.99/720.60 c | 1104208 | 900 18000 90000 | 82581 77200 129 | 0.000 % |
721.29/721.84 c | 1106257 | 900 18000 90000 | 82581 79249 129 | 0.000 % |
722.79/723.34 c | 1108510 | 900 18000 90000 | 82581 81502 129 | 0.000 % |
724.58/725.11 c | 1110988 | 900 18000 90000 | 73913 66651 129 | 0.000 % |
726.18/726.70 c | 1113713 | 900 18000 90000 | 73913 69376 129 | 0.000 % |
727.88/728.47 c | 1116710 | 900 18000 90000 | 73913 72373 129 | 0.000 % |
729.78/730.38 c | 1120006 | 900 18000 90000 | 2147483647 68246 129 | 0.000 % |
731.98/732.51 c | 1123631 | 900 18000 90000 | 2147483647 71871 129 | 0.000 % |
734.38/734.90 c | 1127618 | 900 18000 90000 | 2147483647 75858 129 | 0.000 % |
737.08/737.63 c | 1132004 | 900 18000 90000 | 2147483647 80244 129 | 0.000 % |
740.28/740.80 c | 1136829 | 900 18000 90000 | 2147483647 85069 129 | 0.000 % |
744.18/744.70 c | 1142134 | 900 18000 90000 | 88241 79311 128 | 0.000 % |
748.27/748.85 c | 1147971 | 900 18000 90000 | 88241 85148 128 | 0.000 % |
752.77/753.33 c | 1154389 | 900 18000 90000 | 87177 80362 128 | 0.000 % |
757.76/758.35 c | 1161448 | 900 18000 90000 | 85973 76322 129 | 0.000 % |
763.06/763.67 c | 1169212 | 900 18000 90000 | 85973 84086 128 | 0.000 % |
769.56/770.15 c | 1177755 | 900 18000 90000 | 84874 81400 130 | 0.000 % |
776.36/776.99 c | 1187150 | 900 18000 90000 | 83646 80553 130 | 0.000 % |
784.15/784.77 c | 1197483 | 900 18000 90000 | 83404 81052 132 | 0.000 % |
784.25/784.86 c | 1197586 | 900 18000 90000 | 83404 81155 132 | 0.000 % |
784.35/784.96 c | 1197696 | 900 18000 90000 | 83404 81265 132 | 0.000 % |
784.45/785.05 c | 1197819 | 900 18000 90000 | 83404 81388 131 | 0.000 % |
784.55/785.14 c | 1197953 | 900 18000 90000 | 83404 81522 131 | 0.000 % |
784.65/785.25 c | 1198101 | 900 18000 90000 | 83404 81670 131 | 0.000 % |
784.76/785.37 c | 1198264 | 900 18000 90000 | 83404 81833 131 | 0.000 % |
784.95/785.50 c | 1198443 | 900 18000 90000 | 83404 82012 131 | 0.000 % |
785.05/785.65 c | 1198636 | 900 18000 90000 | 83404 82205 131 | 0.000 % |
785.25/785.81 c | 1198849 | 900 18000 90000 | 83404 82418 131 | 0.000 % |
785.35/785.96 c | 1199082 | 900 18000 90000 | 83404 82651 131 | 0.000 % |
785.55/786.19 c | 1199338 | 900 18000 90000 | 83404 82907 131 | 0.000 % |
785.85/786.41 c | 1199622 | 900 18000 90000 | 83404 83191 131 | 0.000 % |
786.05/786.66 c | 1199933 | 900 18000 90000 | 83404 83502 131 | 0.000 % |
786.35/786.95 c | 1200272 | 900 18000 90000 | 72994 73263 132 | 0.000 % |
786.55/787.19 c | 1200645 | 900 18000 90000 | 72994 64442 132 | 0.000 % |
786.85/787.42 c | 1201054 | 900 18000 90000 | 72994 64851 132 | 0.000 % |
787.05/787.68 c | 1201503 | 900 18000 90000 | 72994 65300 132 | 0.000 % |
787.35/787.98 c | 1201996 | 900 18000 90000 | 72994 65793 132 | 0.000 % |
787.75/788.32 c | 1202538 | 900 18000 90000 | 72994 66335 132 | 0.000 % |
788.05/788.69 c | 1203135 | 900 18000 90000 | 72994 66932 132 | 0.000 % |
788.45/789.07 c | 1203792 | 900 18000 90000 | 72994 67589 132 | 0.000 % |
788.85/789.49 c | 1204513 | 900 18000 90000 | 72994 68310 131 | 0.000 % |
789.45/790.00 c | 1205306 | 900 18000 90000 | 72994 69103 131 | 0.000 % |
789.94/790.53 c | 1206179 | 900 18000 90000 | 72994 69976 131 | 0.000 % |
790.54/791.11 c | 1207137 | 900 18000 90000 | 72994 70934 131 | 0.000 % |
791.24/791.82 c | 1208190 | 900 18000 90000 | 72994 71987 131 | 0.000 % |
791.94/792.54 c | 1209348 | 900 18000 90000 | 72994 73145 131 | 0.000 % |
792.74/793.32 c | 1210621 | 900 18000 90000 | 2147483647 67104 130 | 0.000 % |
793.54/794.18 c | 1212023 | 900 18000 90000 | 2147483647 68506 130 | 0.000 % |
794.54/795.16 c | 1213565 | 900 18000 90000 | 2147483647 70048 130 | 0.000 % |
795.54/796.13 c | 1215259 | 900 18000 90000 | 2147483647 71742 130 | 0.000 % |
796.74/797.35 c | 1217122 | 900 18000 90000 | 2147483647 73605 130 | 0.000 % |
798.14/798.70 c | 1219171 | 900 18000 90000 | 2147483647 75654 130 | 0.000 % |
799.44/800.09 c | 1221426 | 900 18000 90000 | 2147483647 77909 130 | 0.000 % |
801.14/801.70 c | 1223907 | 900 18000 90000 | 2147483647 80390 130 | 0.000 % |
802.94/803.51 c | 1226632 | 900 18000 90000 | 2147483647 83115 129 | 0.000 % |
805.04/805.61 c | 1229630 | 900 18000 90000 | 2147483647 86113 129 | 0.000 % |
807.33/807.90 c | 1232927 | 900 18000 90000 | 86484 79250 128 | 0.000 % |
809.63/810.27 c | 1236552 | 900 18000 90000 | 86484 82875 129 | 0.000 % |
812.43/813.01 c | 1240539 | 900 18000 90000 | 86325 76072 129 | 0.000 % |
815.13/815.70 c | 1244926 | 900 18000 90000 | 86325 80459 129 | 0.000 % |
818.43/819.08 c | 1249749 | 900 18000 90000 | 86325 85282 129 | 0.000 % |
822.03/822.60 c | 1255054 | 900 18000 90000 | 85536 80642 128 | 0.000 % |
826.03/826.66 c | 1260889 | 900 18000 90000 | 85588 75429 128 | 0.000 % |
830.23/830.82 c | 1267307 | 900 18000 90000 | 85588 81847 128 | 0.000 % |
835.02/835.65 c | 1274367 | 900 18000 90000 | 84541 78616 127 | 0.000 % |
840.42/841.05 c | 1282133 | 900 18000 90000 | 84250 75901 129 | 0.000 % |
846.52/847.17 c | 1290673 | 900 18000 90000 | 83769 73891 129 | 0.000 % |
853.02/853.68 c | 1300067 | 900 18000 90000 | 83218 83285 129 | 0.000 % |
860.11/860.71 c | 1310400 | 900 18000 90000 | 82970 72446 131 | 0.000 % |
867.91/868.55 c | 1321767 | 900 18000 90000 | 82049 72153 132 | 0.000 % |
868.01/868.62 c | 1321868 | 900 18000 90000 | 82049 72254 132 | 0.000 % |
868.01/868.69 c | 1321980 | 900 18000 90000 | 82049 72366 132 | 0.000 % |
868.11/868.77 c | 1322101 | 900 18000 90000 | 82049 72487 132 | 0.000 % |
868.21/868.86 c | 1322236 | 900 18000 90000 | 82049 72622 132 | 0.000 % |
868.31/868.97 c | 1322382 | 900 18000 90000 | 82049 72768 132 | 0.000 % |
868.41/869.07 c | 1322543 | 900 18000 90000 | 82049 72929 132 | 0.000 % |
868.61/869.20 c | 1322719 | 900 18000 90000 | 82049 73105 132 | 0.000 % |
868.71/869.33 c | 1322913 | 900 18000 90000 | 82049 73299 132 | 0.000 % |
868.81/869.47 c | 1323125 | 900 18000 90000 | 82049 73511 132 | 0.000 % |
869.01/869.61 c | 1323358 | 900 18000 90000 | 82049 73744 132 | 0.000 % |
869.11/869.79 c | 1323617 | 900 18000 90000 | 82049 74003 132 | 0.000 % |
869.41/870.01 c | 1323900 | 900 18000 90000 | 82049 74286 132 | 0.000 % |
869.61/870.24 c | 1324210 | 900 18000 90000 | 82049 74596 132 | 0.000 % |
869.91/870.50 c | 1324549 | 900 18000 90000 | 82049 74935 131 | 0.000 % |
870.11/870.78 c | 1324921 | 900 18000 90000 | 82049 75307 132 | 0.000 % |
870.41/871.10 c | 1325330 | 900 18000 90000 | 82049 75716 131 | 0.000 % |
870.81/871.42 c | 1325780 | 900 18000 90000 | 82049 76166 131 | 0.000 % |
871.11/871.78 c | 1326273 | 900 18000 90000 | 82049 76659 131 | 0.000 % |
871.51/872.16 c | 1326816 | 900 18000 90000 | 82049 77202 131 | 0.000 % |
871.91/872.59 c | 1327412 | 900 18000 90000 | 82049 77798 131 | 0.000 % |
872.41/873.07 c | 1328067 | 900 18000 90000 | 82049 78453 131 | 0.000 % |
873.01/873.61 c | 1328787 | 900 18000 90000 | 82049 79173 131 | 0.000 % |
873.51/874.16 c | 1329580 | 900 18000 90000 | 82049 79966 131 | 0.000 % |
874.21/874.85 c | 1330451 | 900 18000 90000 | 80386 70419 131 | 0.000 % |
874.81/875.41 c | 1331411 | 900 18000 90000 | 80386 71379 131 | 0.000 % |
875.41/876.04 c | 1332464 | 900 18000 90000 | 80386 72432 131 | 0.000 % |
876.11/876.77 c | 1333623 | 900 18000 90000 | 80386 73591 131 | 0.000 % |
877.01/877.62 c | 1334896 | 900 18000 90000 | 80386 74864 131 | 0.000 % |
877.91/878.53 c | 1336299 | 900 18000 90000 | 80386 76267 130 | 0.000 % |
878.81/879.47 c | 1337840 | 900 18000 90000 | 80386 77808 130 | 0.000 % |
880.00/880.61 c | 1339535 | 900 18000 90000 | 80386 79503 130 | 0.000 % |
881.30/881.91 c | 1341400 | 900 18000 90000 | 79968 72878 131 | 0.000 % |
882.50/883.19 c | 1343449 | 900 18000 90000 | 79968 74927 131 | 0.000 % |
884.00/884.65 c | 1345702 | 900 18000 90000 | 79968 77180 131 | 0.000 % |
885.70/886.32 c | 1348180 | 900 18000 90000 | 79968 79658 131 | 0.000 % |
887.39/888.09 c | 1350905 | 900 18000 90000 | 2147483647 74356 131 | 0.000 % |
889.39/890.01 c | 1353902 | 900 18000 90000 | 2147483647 77353 130 | 0.000 % |
891.50/892.16 c | 1357201 | 900 18000 90000 | 2147483647 80652 130 | 0.000 % |
893.99/894.65 c | 1360830 | 900 18000 90000 | 2147483647 84281 130 | 0.000 % |
896.89/897.59 c | 1364817 | 900 18000 90000 | 2147483647 88268 130 | 0.000 % |
900.09/900.75 c | 1369204 | 900 18000 90000 | 2147483647 92655 130 | 0.000 % |
903.49/904.18 c | 1374027 | 900 18000 90000 | 93452 84652 130 | 0.000 % |
907.49/908.13 c | 1379333 | 900 18000 90000 | 93452 89958 130 | 0.000 % |
911.59/912.29 c | 1385171 | 900 18000 90000 | 90627 81804 130 | 0.000 % |
915.98/916.63 c | 1391589 | 900 18000 90000 | 86633 76392 129 | 0.000 % |
920.78/921.42 c | 1398649 | 900 18000 90000 | 86633 83452 129 | 0.000 % |
926.28/926.93 c | 1406413 | 900 18000 90000 | 84803 80209 131 | 0.000 % |
932.67/933.36 c | 1414953 | 900 18000 90000 | 83796 78188 132 | 0.000 % |
939.27/939.94 c | 1424347 | 900 18000 90000 | 83236 77286 131 | 0.000 % |
946.47/947.18 c | 1434680 | 900 18000 90000 | 82939 78154 132 | 0.000 % |
954.56/955.22 c | 1446046 | 900 18000 90000 | 74278 72210 134 | 0.000 % |
962.06/962.73 c | 1458548 | 900 18000 90000 | 2147483647 77253 133 | 0.000 % |
962.16/962.81 c | 1458648 | 900 18000 90000 | 2147483647 77353 133 | 0.000 % |
962.16/962.89 c | 1458758 | 900 18000 90000 | 2147483647 77463 133 | 0.000 % |
962.26/962.98 c | 1458879 | 900 18000 90000 | 2147483647 77584 133 | 0.000 % |
962.36/963.07 c | 1459012 | 900 18000 90000 | 2147483647 77717 133 | 0.000 % |
962.56/963.20 c | 1459159 | 900 18000 90000 | 2147483647 77864 133 | 0.000 % |
962.66/963.34 c | 1459320 | 900 18000 90000 | 2147483647 78025 133 | 0.000 % |
962.76/963.46 c | 1459498 | 900 18000 90000 | 2147483647 78203 133 | 0.000 % |
962.87/963.59 c | 1459692 | 900 18000 90000 | 2147483647 78397 133 | 0.000 % |
963.06/963.75 c | 1459906 | 900 18000 90000 | 2147483647 78611 133 | 0.000 % |
963.26/963.93 c | 1460140 | 900 18000 90000 | 78705 78845 133 | 0.000 % |
963.46/964.13 c | 1460397 | 900 18000 90000 | 78705 70234 133 | 0.000 % |
963.66/964.32 c | 1460681 | 900 18000 90000 | 78705 70518 133 | 0.000 % |
963.86/964.51 c | 1460990 | 900 18000 90000 | 78705 70827 133 | 0.000 % |
964.07/964.73 c | 1461329 | 900 18000 90000 | 78705 71166 133 | 0.000 % |
964.26/964.96 c | 1461703 | 900 18000 90000 | 78705 71540 133 | 0.000 % |
964.46/965.19 c | 1462113 | 900 18000 90000 | 78705 71950 133 | 0.000 % |
964.76/965.47 c | 1462562 | 900 18000 90000 | 78705 72399 133 | 0.000 % |
965.17/965.85 c | 1463056 | 900 18000 90000 | 78705 72893 132 | 0.000 % |
965.46/966.18 c | 1463598 | 900 18000 90000 | 78705 73435 132 | 0.000 % |
965.96/966.60 c | 1464195 | 900 18000 90000 | 78705 74032 132 | 0.000 % |
966.36/967.06 c | 1464850 | 900 18000 90000 | 78705 74687 132 | 0.000 % |
966.86/967.51 c | 1465570 | 900 18000 90000 | 78705 75407 132 | 0.000 % |
967.36/968.09 c | 1466363 | 900 18000 90000 | 78705 76200 132 | 0.000 % |
967.96/968.62 c | 1467237 | 900 18000 90000 | 78705 77074 132 | 0.000 % |
968.56/969.21 c | 1468195 | 900 18000 90000 | 78705 78032 132 | 0.000 % |
969.26/969.98 c | 1469249 | 900 18000 90000 | 78705 71183 132 | 0.000 % |
970.05/970.72 c | 1470407 | 900 18000 90000 | 2147483647 72341 132 | 0.000 % |
970.75/971.48 c | 1471683 | 900 18000 90000 | 2147483647 73617 131 | 0.000 % |
971.65/972.36 c | 1473083 | 900 18000 90000 | 2147483647 75017 131 | 0.000 % |
972.75/973.43 c | 1474623 | 900 18000 90000 | 2147483647 76557 131 | 0.000 % |
973.85/974.57 c | 1476317 | 900 18000 90000 | 2147483647 78251 131 | 0.000 % |
975.05/975.72 c | 1478180 | 900 18000 90000 | 2147483647 80114 131 | 0.000 % |
976.35/977.02 c | 1480230 | 900 18000 90000 | 2147483647 82164 131 | 0.000 % |
977.85/978.58 c | 1482483 | 900 18000 90000 | 2147483647 84417 131 | 0.000 % |
979.55/980.26 c | 1484961 | 900 18000 90000 | 2147483647 86895 131 | 0.000 % |
981.55/982.22 c | 1487687 | 900 18000 90000 | 2147483647 89621 131 | 0.000 % |
983.85/984.51 c | 1490685 | 900 18000 90000 | 91935 79779 130 | 0.000 % |
986.15/986.90 c | 1493981 | 900 18000 90000 | 91935 83075 130 | 0.000 % |
988.64/989.31 c | 1497606 | 900 18000 90000 | 91935 86700 130 | 0.000 % |
991.24/991.97 c | 1501593 | 900 18000 90000 | 89096 77921 130 | 0.000 % |
994.04/994.72 c | 1505978 | 900 18000 90000 | 89096 82306 129 | 0.000 % |
997.44/998.15 c | 1510801 | 900 18000 90000 | 86329 75054 129 | 0.000 % |
1000.94/1001.63 c | 1516107 | 900 18000 90000 | 86329 80360 129 | 0.000 % |
1005.04/1005.76 c | 1521944 | 900 18000 90000 | 84255 75727 128 | 0.000 % |
1009.64/1010.32 c | 1528362 | 900 18000 90000 | 84255 82145 129 | 0.000 % |
1014.33/1015.04 c | 1535421 | 900 18000 90000 | 83783 79049 127 | 0.000 % |
1019.83/1020.57 c | 1543185 | 900 18000 90000 | 83628 76941 129 | 0.000 % |
1026.13/1026.89 c | 1551726 | 900 18000 90000 | 83759 74569 130 | 0.000 % |
1032.73/1033.46 c | 1561124 | 900 18000 90000 | 82844 73873 130 | 0.000 % |
1040.52/1041.25 c | 1571457 | 900 18000 90000 | 82749 73671 131 | 0.000 % |
1048.62/1049.32 c | 1582825 | 900 18000 90000 | 82216 75410 132 | 0.000 % |
1057.82/1058.55 c | 1595328 | 900 18000 90000 | 73136 70022 133 | 0.000 % |
1067.81/1068.58 c | 1609081 | 900 18000 90000 | 2147483647 76430 134 | 0.000 % |
1067.91/1068.65 c | 1609182 | 900 18000 90000 | 2147483647 76531 134 | 0.000 % |
1068.01/1068.74 c | 1609293 | 900 18000 90000 | 2147483647 76642 134 | 0.000 % |
1068.11/1068.81 c | 1609414 | 900 18000 90000 | 2147483647 76763 134 | 0.000 % |
1068.21/1068.91 c | 1609547 | 900 18000 90000 | 2147483647 76896 134 | 0.000 % |
1068.31/1069.03 c | 1609693 | 900 18000 90000 | 2147483647 77042 134 | 0.000 % |
1068.41/1069.14 c | 1609853 | 900 18000 90000 | 2147483647 77202 134 | 0.000 % |
1068.51/1069.26 c | 1610029 | 900 18000 90000 | 77350 77378 134 | 0.000 % |
1068.71/1069.46 c | 1610222 | 900 18000 90000 | 77350 69490 134 | 0.000 % |
1068.91/1069.61 c | 1610434 | 900 18000 90000 | 77350 69702 134 | 0.000 % |
1069.01/1069.77 c | 1610669 | 900 18000 90000 | 77350 69937 134 | 0.000 % |
1069.21/1069.94 c | 1610925 | 900 18000 90000 | 77350 70193 134 | 0.000 % |
1069.41/1070.11 c | 1611207 | 900 18000 90000 | 77350 70475 134 | 0.000 % |
1069.61/1070.32 c | 1611516 | 900 18000 90000 | 77350 70784 134 | 0.000 % |
1069.81/1070.55 c | 1611855 | 900 18000 90000 | 77350 71123 133 | 0.000 % |
1070.01/1070.77 c | 1612228 | 900 18000 90000 | 77350 71496 133 | 0.000 % |
1070.31/1071.03 c | 1612638 | 900 18000 90000 | 77350 71906 133 | 0.000 % |
1070.51/1071.29 c | 1613087 | 900 18000 90000 | 77350 72355 133 | 0.000 % |
1070.91/1071.62 c | 1613580 | 900 18000 90000 | 77350 72848 133 | 0.000 % |
1071.31/1072.02 c | 1614123 | 900 18000 90000 | 77350 73391 133 | 0.000 % |
1071.61/1072.38 c | 1614720 | 900 18000 90000 | 77350 73988 133 | 0.000 % |
1072.01/1072.79 c | 1615375 | 900 18000 90000 | 77350 74643 133 | 0.000 % |
1072.50/1073.27 c | 1616095 | 900 18000 90000 | 77350 75363 133 | 0.000 % |
1073.10/1073.80 c | 1616887 | 900 18000 90000 | 77350 76155 133 | 0.000 % |
1073.61/1074.39 c | 1617759 | 900 18000 90000 | 77350 77027 133 | 0.000 % |
1074.30/1075.07 c | 1618717 | 900 18000 90000 | 77350 69968 132 | 0.000 % |
1075.01/1075.77 c | 1619771 | 900 18000 90000 | 77350 71022 132 | 0.000 % |
1075.70/1076.47 c | 1620930 | 900 18000 90000 | 71251 65022 133 | 0.000 % |
1076.50/1077.21 c | 1622204 | 900 18000 90000 | 71251 66296 132 | 0.000 % |
1077.31/1078.02 c | 1623604 | 900 18000 90000 | 71251 67696 132 | 0.000 % |
1078.10/1078.88 c | 1625146 | 900 18000 90000 | 71251 69238 132 | 0.000 % |
1079.20/1079.91 c | 1626840 | 900 18000 90000 | 71251 70932 132 | 0.000 % |
1080.30/1081.02 c | 1628704 | 900 18000 90000 | 71251 65639 133 | 0.000 % |
1081.40/1082.13 c | 1630753 | 900 18000 90000 | 2147483647 67688 132 | 0.000 % |
1082.71/1083.47 c | 1633008 | 900 18000 90000 | 2147483647 69943 132 | 0.000 % |
1084.20/1084.93 c | 1635486 | 900 18000 90000 | 2147483647 72421 132 | 0.000 % |
1085.80/1086.54 c | 1638211 | 900 18000 90000 | 2147483647 75146 132 | 0.000 % |
1087.60/1088.39 c | 1641209 | 900 18000 90000 | 2147483647 78144 131 | 0.000 % |
1089.80/1090.56 c | 1644509 | 900 18000 90000 | 2147483647 81444 131 | 0.000 % |
1092.30/1093.00 c | 1648138 | 900 18000 90000 | 2147483647 85073 131 | 0.000 % |
1095.00/1095.76 c | 1652126 | 900 18000 90000 | 86935 78740 130 | 0.000 % |
1097.80/1098.58 c | 1656511 | 900 18000 90000 | 86935 83125 130 | 0.000 % |
1101.29/1102.01 c | 1661336 | 900 18000 90000 | 86615 76890 129 | 0.000 % |
1104.89/1105.69 c | 1666641 | 900 18000 90000 | 86615 82195 129 | 0.000 % |
1108.98/1109.78 c | 1672478 | 900 18000 90000 | 85554 77021 128 | 0.000 % |
1113.38/1114.16 c | 1678898 | 900 18000 90000 | 85554 83441 128 | 0.000 % |
1118.58/1119.36 c | 1685957 | 900 18000 90000 | 84543 79802 127 | 0.000 % |
1124.48/1125.21 c | 1693723 | 900 18000 90000 | 83845 76938 128 | 0.000 % |
1130.68/1131.48 c | 1702263 | 900 18000 90000 | 83215 74923 129 | 0.000 % |
1137.97/1138.77 c | 1711657 | 900 18000 90000 | 82661 73777 131 | 0.000 % |
1145.87/1146.63 c | 1721991 | 900 18000 90000 | 82121 73834 132 | 0.000 % |
1154.26/1155.03 c | 1733357 | 900 18000 90000 | 81843 75170 132 | 0.000 % |
1163.46/1164.24 c | 1745859 | 900 18000 90000 | 81813 77911 132 | 0.000 % |
1174.25/1175.06 c | 1759611 | 900 18000 90000 | 82052 82108 132 | 0.000 % |
1186.05/1186.87 c | 1774739 | 900 18000 90000 | 2147483647 71087 131 | 0.000 % |
1186.15/1186.95 c | 1774841 | 900 18000 90000 | 2147483647 71189 131 | 0.000 % |
1186.25/1187.03 c | 1774951 | 900 18000 90000 | 2147483647 71299 131 | 0.000 % |
1186.35/1187.10 c | 1775074 | 900 18000 90000 | 2147483647 71422 131 | 0.000 % |
1186.45/1187.20 c | 1775209 | 900 18000 90000 | 2147483647 71557 131 | 0.000 % |
1186.55/1187.30 c | 1775355 | 900 18000 90000 | 2147483647 71703 131 | 0.000 % |
1186.65/1187.40 c | 1775515 | 900 18000 90000 | 2147483647 71863 131 | 0.000 % |
1186.75/1187.53 c | 1775692 | 900 18000 90000 | 2147483647 72040 131 | 0.000 % |
1186.85/1187.65 c | 1775886 | 900 18000 90000 | 2147483647 72234 131 | 0.000 % |
1187.05/1187.80 c | 1776098 | 900 18000 90000 | 2147483647 72446 131 | 0.000 % |
1187.15/1187.97 c | 1776331 | 900 18000 90000 | 2147483647 72679 131 | 0.000 % |
1187.35/1188.14 c | 1776588 | 900 18000 90000 | 2147483647 72936 131 | 0.000 % |
1187.55/1188.33 c | 1776869 | 900 18000 90000 | 2147483647 73217 131 | 0.000 % |
1187.75/1188.54 c | 1777180 | 900 18000 90000 | 2147483647 73528 130 | 0.000 % |
1187.95/1188.75 c | 1777520 | 900 18000 90000 | 2147483647 73868 130 | 0.000 % |
1188.25/1189.01 c | 1777892 | 900 18000 90000 | 2147483647 74240 130 | 0.000 % |
1188.45/1189.27 c | 1778303 | 900 18000 90000 | 2147483647 74651 130 | 0.000 % |
1188.75/1189.55 c | 1778752 | 900 18000 90000 | 2147483647 75100 130 | 0.000 % |
1189.05/1189.87 c | 1779245 | 900 18000 90000 | 2147483647 75593 130 | 0.000 % |
1189.45/1190.27 c | 1779788 | 900 18000 90000 | 2147483647 76136 130 | 0.000 % |
1189.85/1190.69 c | 1780384 | 900 18000 90000 | 76350 68574 129 | 0.000 % |
1190.35/1191.11 c | 1781039 | 900 18000 90000 | 76350 69229 129 | 0.000 % |
1190.75/1191.52 c | 1781759 | 900 18000 90000 | 76350 69949 129 | 0.000 % |
1191.14/1191.98 c | 1782551 | 900 18000 90000 | 76350 70741 129 | 0.000 % |
1191.74/1192.51 c | 1783423 | 900 18000 90000 | 76350 71613 129 | 0.000 % |
1192.24/1193.06 c | 1784381 | 900 18000 90000 | 76350 72571 129 | 0.000 % |
1192.94/1193.71 c | 1785435 | 900 18000 90000 | 76350 73625 129 | 0.000 % |
1193.54/1194.37 c | 1786593 | 900 18000 90000 | 76350 74783 129 | 0.000 % |
1194.34/1195.12 c | 1787868 | 900 18000 90000 | 76350 76058 129 | 0.000 % |
1195.24/1196.00 c | 1789269 | 900 18000 90000 | 76350 69794 128 | 0.000 % |
1196.14/1196.94 c | 1790809 | 900 18000 90000 | 2147483647 71334 128 | 0.000 % |
1197.14/1197.94 c | 1792503 | 900 18000 90000 | 2147483647 73028 128 | 0.000 % |
1198.34/1199.13 c | 1794367 | 900 18000 90000 | 2147483647 74892 128 | 0.000 % |
1199.64/1200.43 c | 1796416 | 900 18000 90000 | 2147483647 76941 128 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832507-1242773964/watcher-1832507-1242773964 -o /tmp/evaluation-result-1832507-1242773964/solver-1832507-1242773964 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832507-1242773964.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 14562
/proc/meminfo: memFree=1811512/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305423713 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14562/statm: 1339 235 195 169 0 50 0
[pid=14563] ppid=14562 vsize=5356 CPUtime=0
/proc/14563/stat : 14563 (SatELiteGTI) S 14562 14562 14239 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305423714 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14563/statm: 1339 238 198 169 0 50 0
[pid=14565] ppid=14563 vsize=5356 CPUtime=0
/proc/14565/stat : 14565 (SatELiteGTI) R 14563 14562 14239 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305423714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076081447 0 0 4096 0 0 0 0 17 1 0 0
/proc/14565/statm: 1339 239 199 169 0 50 0
[startup+0.0606581 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 14562
/proc/meminfo: memFree=1811512/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.10166 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 14562
/proc/meminfo: memFree=1811512/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301694 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 14562
/proc/meminfo: memFree=1811512/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70176 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 14562
/proc/meminfo: memFree=1811512/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1806184/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=6464 CPUtime=1.43
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 1375 0 0 0 143 0 0 0 25 0 1 0 305423719 6619136 1361 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 1616 1361 77 171 0 1443 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11820
[startup+3.10216 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1803624/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=11096 CPUtime=3.02
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 2518 0 0 0 301 1 0 0 25 0 1 0 305423719 11362304 2504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 2774 2504 77 171 0 2601 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16452
[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1796136/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=17296 CPUtime=6.22
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 4057 0 0 0 619 3 0 0 25 0 1 0 305423719 17711104 4043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 4324 4043 77 171 0 4151 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22652
[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1786472/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=26088 CPUtime=12.61
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 6247 0 0 0 1255 6 0 0 25 0 1 0 305423719 26714112 6233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 6522 6233 77 171 0 6349 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31444
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1773736/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=38352 CPUtime=25.39
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 9330 0 0 0 2530 9 0 0 25 0 1 0 305423719 39272448 9316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 9588 9316 77 171 0 9415 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 43708
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14568
/proc/meminfo: memFree=1765800/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=46008 CPUtime=50.98
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 11245 0 0 0 5086 12 0 0 25 0 1 0 305423719 47112192 11231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 11502 11231 77 171 0 11329 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 51364
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1763688/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=47724 CPUtime=102.15
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 11690 0 0 0 10202 13 0 0 25 0 1 0 305423719 48869376 11676 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 11931 11676 77 171 0 11758 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 53080
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1762408/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=49044 CPUtime=162.11
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 11996 0 0 0 16197 14 0 0 25 0 1 0 305423719 50221056 11982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 12261 11982 77 171 0 12088 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 54400
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1760872/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=50496 CPUtime=222.06
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 12364 0 0 0 22192 14 0 0 25 0 1 0 305423719 51707904 12350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 12624 12350 77 171 0 12451 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 55852
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1759592/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=51684 CPUtime=282.03
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 12668 0 0 0 28188 15 0 0 25 0 1 0 305423719 52924416 12654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 12921 12654 77 171 0 12748 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 57040
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1758952/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=52188 CPUtime=341.98
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 12804 0 0 0 34183 15 0 0 25 0 1 0 305423719 53440512 12790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13047 12790 77 171 0 12874 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 57544
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1758888/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=52148 CPUtime=401.95
################
# More data... #
################
/proc/14568/statm: 13127 12855 77 171 0 12954 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 57864
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1757224/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=53540 CPUtime=581.83
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13136 0 0 0 58167 16 0 0 25 0 1 0 305423719 54824960 13120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13385 13120 77 171 0 13212 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 58896
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1756520/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=54200 CPUtime=641.8
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13290 0 0 0 64164 16 0 0 25 0 1 0 305423719 55500800 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13550 13274 77 171 0 13377 0
Current children cumulated CPU time (s) 641.84
Current children cumulated vsize (KiB) 59556
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1756328/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=54192 CPUtime=701.76
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13290 0 0 0 70160 16 0 0 25 0 1 0 305423719 55492608 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13548 13274 77 171 0 13375 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 59548
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1756200/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=54192 CPUtime=761.73
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13290 0 0 0 76157 16 0 0 25 0 1 0 305423719 55492608 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13548 13274 77 171 0 13375 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 59548
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1756136/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=54192 CPUtime=821.69
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13290 0 0 0 82153 16 0 0 25 0 1 0 305423719 55492608 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13548 13274 77 171 0 13375 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 59548
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1756072/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=54192 CPUtime=881.66
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 13290 0 0 0 88150 16 0 0 25 0 1 0 305423719 55492608 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 13548 13274 77 171 0 13375 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 59548
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1752360/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58068 CPUtime=941.63
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 94146 17 0 0 25 0 1 0 305423719 59461632 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14517 14200 77 171 0 14344 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 63424
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1752232/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58060 CPUtime=1001.6
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 100143 17 0 0 25 0 1 0 305423719 59453440 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14515 14200 77 171 0 14342 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 63416
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1752168/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58024 CPUtime=1061.57
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 106140 17 0 0 25 0 1 0 305423719 59416576 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14506 14200 77 171 0 14333 0
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (KiB) 63380
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1752040/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58004 CPUtime=1121.54
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 112137 17 0 0 25 0 1 0 305423719 59396096 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14501 14200 77 171 0 14328 0
Current children cumulated CPU time (s) 1121.58
Current children cumulated vsize (KiB) 63360
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1751912/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58000 CPUtime=1181.51
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 118134 17 0 0 25 0 1 0 305423719 59392000 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14500 14200 77 171 0 14327 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 63356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14574
/proc/meminfo: memFree=1751848/2055920 swapFree=4180328/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0.04
/proc/14562/stat : 14562 (SatELiteGTI) S 14560 14562 14239 0 -1 4194304 336 729 0 0 0 0 4 0 16 0 1 0 305423713 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14562/statm: 1339 239 197 169 0 50 0
[pid=14568] ppid=14562 vsize=58000 CPUtime=1200
/proc/14568/stat : 14568 (minisat_static) R 14562 14562 14239 0 -1 4194304 14216 0 0 0 119983 17 0 0 25 0 1 0 305423719 59392000 14200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14568/statm: 14500 14200 77 171 0 14327 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 63356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14562 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=46992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.05399
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.04
CPU user time (s): 1199.87
CPU system time (s): 0.17
CPU usage (%): 99.9356
Max. virtual memory (cumulated for all children) (KiB): 63424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.046992
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.22081 second user time and 3.3105 second system time
The end
Begin job on node57 at 2009-05-20 00:59:24
IDJOB=1832507
IDBENCH=70217
IDSOLVER=671
FILE ID=node57/1832507-1242773964
PBS_JOBID= 9322244
Free space on /tmp= 66032 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1253795703-015.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832507-1242773964/watcher-1832507-1242773964 -o /tmp/evaluation-result-1832507-1242773964/solver-1832507-1242773964 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832507-1242773964.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17b09148dbc69a552ff183cd5c8f891a
RANDOM SEED=1634767881
node57.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.256
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.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1812056 kB
Buffers: 16972 kB
Cached: 190488 kB
SwapCached: 6944 kB
Active: 29228 kB
Inactive: 186668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1812056 kB
SwapTotal: 4192956 kB
SwapFree: 4180328 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 13448 kB
Slab: 14124 kB
Committed_AS: 875636 kB
PageTables: 1392 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= 66032 MiB
End job on node57 at 2009-05-20 01:19:27