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 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 800 |
0.00/0.04 c | Number of clauses: 16000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.00/0.07 c | 100 | 800 16000 80000 | 5333 100 101 | 0.000 % |
0.00/0.08 c | 200 | 800 16000 80000 | 5333 200 113 | 0.000 % |
0.00/0.09 c | 300 | 800 16000 80000 | 5333 300 113 | 0.000 % |
0.03/0.10 c | 411 | 800 16000 80000 | 5333 411 110 | 0.000 % |
0.03/0.11 c | 513 | 800 16000 80000 | 5333 513 109 | 0.000 % |
0.03/0.12 c | 623 | 800 16000 80000 | 5333 623 105 | 0.000 % |
0.03/0.13 c | 745 | 800 16000 80000 | 5333 745 105 | 0.000 % |
0.03/0.14 c | 846 | 800 16000 80000 | 5333 846 106 | 0.000 % |
0.03/0.15 c | 956 | 800 16000 80000 | 5333 956 104 | 0.000 % |
0.03/0.16 c | 1079 | 800 16000 80000 | 5333 1079 103 | 0.000 % |
0.03/0.18 c | 1216 | 800 16000 80000 | 5333 1216 105 | 0.000 % |
0.03/0.19 c | 1317 | 800 16000 80000 | 5333 1317 105 | 0.000 % |
0.03/0.20 c | 1428 | 800 16000 80000 | 5333 1428 104 | 0.000 % |
0.03/0.21 c | 1549 | 800 16000 80000 | 5333 1549 103 | 0.000 % |
0.03/0.22 c | 1682 | 800 16000 80000 | 5333 1682 103 | 0.000 % |
0.03/0.24 c | 1830 | 800 16000 80000 | 5333 1830 102 | 0.000 % |
0.03/0.25 c | 1932 | 800 16000 80000 | 5333 1932 102 | 0.000 % |
0.03/0.26 c | 2042 | 800 16000 80000 | 5333 2042 102 | 0.000 % |
0.03/0.27 c | 2163 | 800 16000 80000 | 5333 2163 103 | 0.000 % |
0.03/0.29 c | 2299 | 800 16000 80000 | 5333 2299 103 | 0.000 % |
0.03/0.30 c | 2445 | 800 16000 80000 | 5333 2445 104 | 0.000 % |
0.03/0.32 c | 2605 | 800 16000 80000 | 5333 2605 104 | 0.000 % |
0.03/0.33 c | 2706 | 800 16000 80000 | 5333 2706 105 | 0.000 % |
0.03/0.34 c | 2820 | 800 16000 80000 | 5333 2820 105 | 0.000 % |
0.03/0.35 c | 2941 | 800 16000 80000 | 5333 2941 105 | 0.000 % |
0.03/0.36 c | 3074 | 800 16000 80000 | 5333 3074 105 | 0.000 % |
0.03/0.38 c | 3222 | 800 16000 80000 | 5333 3222 105 | 0.000 % |
0.03/0.39 c | 3384 | 800 16000 80000 | 5333 3384 105 | 0.000 % |
0.03/0.41 c | 3561 | 800 16000 80000 | 5333 3561 104 | 0.000 % |
0.03/0.42 c | 3662 | 800 16000 80000 | 5333 3662 105 | 0.000 % |
0.03/0.44 c | 3773 | 800 16000 80000 | 5333 3773 104 | 0.000 % |
0.03/0.45 c | 3898 | 800 16000 80000 | 5333 3898 105 | 0.000 % |
0.03/0.46 c | 4031 | 800 16000 80000 | 5333 4031 105 | 0.000 % |
0.03/0.48 c | 4177 | 800 16000 80000 | 5333 4177 104 | 0.000 % |
0.03/0.49 c | 4338 | 800 16000 80000 | 5333 4338 104 | 0.000 % |
0.03/0.51 c | 4514 | 800 16000 80000 | 5333 4514 104 | 0.000 % |
0.03/0.54 c | 4707 | 800 16000 80000 | 5333 4707 104 | 0.000 % |
0.03/0.55 c | 4809 | 800 16000 80000 | 5333 4809 104 | 0.000 % |
0.03/0.56 c | 4921 | 800 16000 80000 | 5333 4921 104 | 0.000 % |
0.03/0.57 c | 5042 | 800 16000 80000 | 5333 5042 103 | 0.000 % |
0.03/0.59 c | 5178 | 800 16000 80000 | 5333 5178 103 | 0.000 % |
0.03/0.61 c | 5324 | 800 16000 80000 | 5333 5324 103 | 0.000 % |
0.03/0.62 c | 5485 | 800 16000 80000 | 5333 5485 103 | 0.000 % |
0.03/0.65 c | 5661 | 800 16000 80000 | 5333 5113 102 | 0.000 % |
0.03/0.67 c | 5855 | 800 16000 80000 | 5333 5307 102 | 0.000 % |
0.03/0.69 c | 6067 | 800 16000 80000 | 5333 5519 103 | 0.000 % |
0.03/0.71 c | 6169 | 800 16000 80000 | 5333 5070 103 | 0.000 % |
0.03/0.72 c | 6280 | 800 16000 80000 | 5333 5181 103 | 0.000 % |
0.03/0.73 c | 6402 | 800 16000 80000 | 5333 5303 103 | 0.000 % |
0.03/0.75 c | 6535 | 800 16000 80000 | 5333 5436 103 | 0.000 % |
0.03/0.77 c | 6683 | 800 16000 80000 | 5333 5041 103 | 0.000 % |
0.03/0.78 c | 6844 | 800 16000 80000 | 5333 5202 103 | 0.000 % |
0.03/0.80 c | 7020 | 800 16000 80000 | 5333 5378 103 | 0.000 % |
0.03/0.83 c | 7213 | 800 16000 80000 | 5333 5034 103 | 0.000 % |
0.03/0.85 c | 7426 | 800 16000 80000 | 5333 5247 103 | 0.000 % |
0.03/0.87 c | 7659 | 800 16000 80000 | 5333 5480 103 | 0.000 % |
0.03/0.89 c | 7760 | 800 16000 80000 | 5333 5033 102 | 0.000 % |
0.03/0.90 c | 7871 | 800 16000 80000 | 5333 5144 103 | 0.000 % |
0.03/0.91 c | 7992 | 800 16000 80000 | 5333 5265 103 | 0.000 % |
0.03/0.93 c | 8125 | 800 16000 80000 | 5333 5398 102 | 0.000 % |
0.03/0.95 c | 8273 | 800 16000 80000 | 5333 5007 102 | 0.000 % |
0.03/0.97 c | 8433 | 800 16000 80000 | 5333 5167 103 | 0.000 % |
0.03/0.99 c | 8609 | 800 16000 80000 | 5333 5343 103 | 0.000 % |
0.98/1.01 c | 8802 | 800 16000 80000 | 5333 5002 103 | 0.000 % |
0.98/1.04 c | 9014 | 800 16000 80000 | 5333 5214 103 | 0.000 % |
0.98/1.06 c | 9247 | 800 16000 80000 | 5333 5447 103 | 0.000 % |
0.98/1.09 c | 9504 | 800 16000 80000 | 5333 5160 103 | 0.000 % |
1.08/1.11 c | 9604 | 800 16000 80000 | 5333 5260 103 | 0.000 % |
1.08/1.12 c | 9715 | 800 16000 80000 | 5333 5371 103 | 0.000 % |
1.08/1.13 c | 9836 | 800 16000 80000 | 5333 4955 104 | 0.000 % |
1.08/1.15 c | 9969 | 800 16000 80000 | 5333 5088 103 | 0.000 % |
1.08/1.17 c | 10115 | 800 16000 80000 | 2147483647 5234 103 | 0.000 % |
1.08/1.19 c | 10277 | 800 16000 80000 | 2147483647 5396 103 | 0.000 % |
1.18/1.21 c | 10454 | 800 16000 80000 | 2147483647 5573 103 | 0.000 % |
1.18/1.23 c | 10648 | 800 16000 80000 | 2147483647 5767 103 | 0.000 % |
1.18/1.26 c | 10860 | 800 16000 80000 | 2147483647 5979 104 | 0.000 % |
1.18/1.29 c | 11093 | 800 16000 80000 | 2147483647 6212 104 | 0.000 % |
1.27/1.32 c | 11349 | 800 16000 80000 | 2147483647 6468 104 | 0.000 % |
1.27/1.35 c | 11632 | 800 16000 80000 | 2147483647 6751 104 | 0.000 % |
1.27/1.36 c | 11734 | 800 16000 80000 | 2147483647 6853 104 | 0.000 % |
1.27/1.38 c | 11844 | 800 16000 80000 | 2147483647 6963 104 | 0.000 % |
1.27/1.40 c | 11965 | 800 16000 80000 | 2147483647 7084 104 | 0.000 % |
1.37/1.41 c | 12098 | 800 16000 80000 | 2147483647 7217 104 | 0.000 % |
1.37/1.43 c | 12245 | 800 16000 80000 | 2147483647 7364 104 | 0.000 % |
1.37/1.45 c | 12406 | 800 16000 80000 | 2147483647 7525 104 | 0.000 % |
1.37/1.48 c | 12586 | 800 16000 80000 | 2147483647 7705 105 | 0.000 % |
1.47/1.50 c | 12781 | 800 16000 80000 | 2147483647 7900 105 | 0.000 % |
1.47/1.53 c | 12994 | 800 16000 80000 | 2147483647 8113 105 | 0.000 % |
1.47/1.57 c | 13227 | 800 16000 80000 | 2147483647 8346 105 | 0.000 % |
1.57/1.60 c | 13484 | 800 16000 80000 | 2147483647 8603 105 | 0.000 % |
1.57/1.64 c | 13765 | 800 16000 80000 | 2147483647 8884 105 | 0.000 % |
1.57/1.68 c | 14077 | 800 16000 80000 | 2147483647 9196 105 | 0.000 % |
1.57/1.69 c | 14177 | 800 16000 80000 | 2147483647 9296 105 | 0.000 % |
1.67/1.71 c | 14289 | 800 16000 80000 | 2147483647 9408 105 | 0.000 % |
1.67/1.72 c | 14411 | 800 16000 80000 | 2147483647 9530 105 | 0.000 % |
1.67/1.74 c | 14546 | 800 16000 80000 | 2147483647 9665 105 | 0.000 % |
1.67/1.77 c | 14693 | 800 16000 80000 | 2147483647 9812 105 | 0.000 % |
1.67/1.79 c | 14853 | 800 16000 80000 | 2147483647 9972 105 | 0.000 % |
1.77/1.81 c | 15029 | 800 16000 80000 | 2147483647 10148 105 | 0.000 % |
1.77/1.84 c | 15223 | 800 16000 80000 | 2147483647 10342 105 | 0.000 % |
1.77/1.88 c | 15435 | 800 16000 80000 | 2147483647 10554 105 | 0.000 % |
1.87/1.91 c | 15670 | 800 16000 80000 | 2147483647 10789 105 | 0.000 % |
1.87/1.95 c | 15929 | 800 16000 80000 | 2147483647 11048 104 | 0.000 % |
1.87/1.99 c | 16210 | 800 16000 80000 | 2147483647 11329 105 | 0.000 % |
1.97/2.03 c | 16520 | 800 16000 80000 | 2147483647 11639 104 | 0.000 % |
1.97/2.09 c | 16860 | 800 16000 80000 | 2147483647 11979 104 | 0.000 % |
2.07/2.10 c | 16961 | 800 16000 80000 | 2147483647 12080 104 | 0.000 % |
2.07/2.13 c | 17072 | 800 16000 80000 | 2147483647 12191 104 | 0.000 % |
2.07/2.15 c | 17193 | 800 16000 80000 | 2147483647 12312 104 | 0.000 % |
2.07/2.17 c | 17326 | 800 16000 80000 | 2147483647 12445 104 | 0.000 % |
2.07/2.19 c | 17473 | 800 16000 80000 | 2147483647 12592 104 | 0.000 % |
2.17/2.22 c | 17633 | 800 16000 80000 | 2147483647 12752 105 | 0.000 % |
2.17/2.25 c | 17809 | 800 16000 80000 | 2147483647 12928 104 | 0.000 % |
2.17/2.28 c | 18002 | 800 16000 80000 | 2147483647 13121 104 | 0.000 % |
2.27/2.32 c | 18215 | 800 16000 80000 | 2147483647 13334 104 | 0.000 % |
2.27/2.36 c | 18452 | 800 16000 80000 | 2147483647 13571 104 | 0.000 % |
2.37/2.40 c | 18711 | 800 16000 80000 | 2147483647 13830 105 | 0.000 % |
2.37/2.45 c | 18992 | 800 16000 80000 | 2147483647 14111 105 | 0.000 % |
2.47/2.50 c | 19301 | 800 16000 80000 | 2147483647 14420 105 | 0.000 % |
2.47/2.56 c | 19642 | 800 16000 80000 | 2147483647 14761 105 | 0.000 % |
2.57/2.63 c | 20014 | 800 16000 80000 | 2147483647 15133 105 | 0.000 % |
2.57/2.65 c | 20114 | 800 16000 80000 | 2147483647 15233 105 | 0.000 % |
2.57/2.67 c | 20226 | 800 16000 80000 | 2147483647 15345 105 | 0.000 % |
2.57/2.69 c | 20347 | 800 16000 80000 | 2147483647 15466 105 | 0.000 % |
2.67/2.72 c | 20480 | 800 16000 80000 | 2147483647 15599 105 | 0.000 % |
2.67/2.75 c | 20630 | 800 16000 80000 | 2147483647 15749 105 | 0.000 % |
2.67/2.78 c | 20790 | 800 16000 80000 | 2147483647 15909 105 | 0.000 % |
2.78/2.81 c | 20966 | 800 16000 80000 | 2147483647 16085 105 | 0.000 % |
2.78/2.84 c | 21159 | 800 16000 80000 | 2147483647 16278 105 | 0.000 % |
2.78/2.88 c | 21375 | 800 16000 80000 | 2147483647 16494 105 | 0.000 % |
2.88/2.92 c | 21608 | 800 16000 80000 | 2147483647 16727 105 | 0.000 % |
2.88/2.96 c | 21864 | 800 16000 80000 | 2147483647 16983 105 | 0.000 % |
2.98/3.01 c | 22145 | 800 16000 80000 | 2147483647 17264 105 | 0.000 % |
2.98/3.07 c | 22454 | 800 16000 80000 | 2147483647 17573 105 | 0.000 % |
3.08/3.14 c | 22793 | 800 16000 80000 | 2147483647 17912 105 | 0.000 % |
3.18/3.21 c | 23166 | 800 16000 80000 | 2147483647 18285 105 | 0.000 % |
3.18/3.28 c | 23575 | 800 16000 80000 | 2147483647 18694 106 | 0.000 % |
3.28/3.31 c | 23676 | 800 16000 80000 | 2147483647 18795 106 | 0.000 % |
3.28/3.34 c | 23786 | 800 16000 80000 | 2147483647 18905 106 | 0.000 % |
3.28/3.36 c | 23913 | 800 16000 80000 | 2147483647 19032 106 | 0.000 % |
3.28/3.39 c | 24048 | 800 16000 80000 | 2147483647 19167 106 | 0.000 % |
3.37/3.42 c | 24195 | 800 16000 80000 | 2147483647 19314 106 | 0.000 % |
3.37/3.46 c | 24355 | 800 16000 80000 | 2147483647 19474 106 | 0.000 % |
3.37/3.50 c | 24531 | 800 16000 80000 | 2147483647 19650 106 | 0.000 % |
3.47/3.54 c | 24724 | 800 16000 80000 | 2147483647 19843 106 | 0.000 % |
3.47/3.59 c | 24939 | 800 16000 80000 | 2147483647 20058 106 | 0.000 % |
3.57/3.64 c | 25173 | 800 16000 80000 | 2147483647 20292 106 | 0.000 % |
3.57/3.69 c | 25430 | 800 16000 80000 | 2147483647 20549 106 | 0.000 % |
3.67/3.76 c | 25711 | 800 16000 80000 | 2147483647 20830 106 | 0.000 % |
3.77/3.82 c | 26020 | 800 16000 80000 | 2147483647 21139 106 | 0.000 % |
3.87/3.91 c | 26360 | 800 16000 80000 | 2147483647 21479 106 | 0.000 % |
3.87/3.99 c | 26733 | 800 16000 80000 | 2147483647 21852 106 | 0.000 % |
3.97/4.08 c | 27142 | 800 16000 80000 | 2147483647 22261 106 | 0.000 % |
4.07/4.18 c | 27592 | 800 16000 80000 | 2147483647 22711 106 | 0.000 % |
4.17/4.21 c | 27692 | 800 16000 80000 | 2147483647 22811 106 | 0.000 % |
4.17/4.24 c | 27802 | 800 16000 80000 | 2147483647 22921 106 | 0.000 % |
4.17/4.28 c | 27924 | 800 16000 80000 | 2147483647 23043 106 | 0.000 % |
4.27/4.31 c | 28057 | 800 16000 80000 | 2147483647 23176 106 | 0.000 % |
4.27/4.35 c | 28204 | 800 16000 80000 | 2147483647 23323 106 | 0.000 % |
4.27/4.39 c | 28365 | 800 16000 80000 | 2147483647 23484 106 | 0.000 % |
4.38/4.44 c | 28542 | 800 16000 80000 | 2147483647 23661 106 | 0.000 % |
4.38/4.50 c | 28735 | 800 16000 80000 | 2147483647 23854 106 | 0.000 % |
4.48/4.56 c | 28947 | 800 16000 80000 | 2147483647 24066 106 | 0.000 % |
4.58/4.62 c | 29181 | 800 16000 80000 | 2147483647 24300 106 | 0.000 % |
4.58/4.68 c | 29438 | 800 16000 80000 | 2147483647 24557 106 | 0.000 % |
4.68/4.76 c | 29720 | 800 16000 80000 | 2147483647 24839 106 | 0.000 % |
4.78/4.83 c | 30029 | 800 16000 80000 | 2147483647 25148 106 | 0.000 % |
4.88/4.93 c | 30368 | 800 16000 80000 | 2147483647 25487 106 | 0.000 % |
4.98/5.03 c | 30740 | 800 16000 80000 | 2147483647 25859 106 | 0.000 % |
5.08/5.13 c | 31150 | 800 16000 80000 | 2147483647 26269 106 | 0.000 % |
5.18/5.25 c | 31599 | 800 16000 80000 | 2147483647 26718 106 | 0.000 % |
5.28/5.38 c | 32093 | 800 16000 80000 | 2147483647 27212 106 | 0.000 % |
5.38/5.41 c | 32195 | 800 16000 80000 | 2147483647 27314 106 | 0.000 % |
5.38/5.45 c | 32306 | 800 16000 80000 | 2147483647 27425 106 | 0.000 % |
5.38/5.48 c | 32427 | 800 16000 80000 | 2147483647 27546 106 | 0.000 % |
5.48/5.52 c | 32560 | 800 16000 80000 | 2147483647 27679 106 | 0.000 % |
5.48/5.56 c | 32707 | 800 16000 80000 | 2147483647 27826 106 | 0.000 % |
5.57/5.61 c | 32868 | 800 16000 80000 | 2147483647 27987 106 | 0.000 % |
5.57/5.66 c | 33045 | 800 16000 80000 | 2147483647 28164 106 | 0.000 % |
5.67/5.72 c | 33240 | 800 16000 80000 | 2147483647 28359 106 | 0.000 % |
5.67/5.78 c | 33452 | 800 16000 80000 | 2147483647 28571 106 | 0.000 % |
5.77/5.85 c | 33686 | 800 16000 80000 | 2147483647 28805 106 | 0.000 % |
5.87/5.91 c | 33945 | 800 16000 80000 | 2147483647 29064 106 | 0.000 % |
5.87/5.99 c | 34227 | 800 16000 80000 | 2147483647 29346 106 | 0.000 % |
5.97/6.07 c | 34536 | 800 16000 80000 | 2147483647 29655 106 | 0.000 % |
6.07/6.18 c | 34877 | 800 16000 80000 | 2147483647 29996 106 | 0.000 % |
6.27/6.30 c | 35249 | 800 16000 80000 | 2147483647 30368 106 | 0.000 % |
6.37/6.43 c | 35658 | 800 16000 80000 | 2147483647 30777 107 | 0.000 % |
6.47/6.56 c | 36107 | 800 16000 80000 | 2147483647 31226 107 | 0.000 % |
6.67/6.70 c | 36600 | 800 16000 80000 | 2147483647 31719 107 | 0.000 % |
6.77/6.86 c | 37144 | 800 16000 80000 | 2147483647 32263 106 | 0.000 % |
6.77/6.89 c | 37244 | 800 16000 80000 | 2147483647 32363 106 | 0.000 % |
6.87/6.93 c | 37355 | 800 16000 80000 | 2147483647 32474 106 | 0.000 % |
6.87/6.97 c | 37476 | 800 16000 80000 | 2147483647 32595 106 | 0.000 % |
6.97/7.01 c | 37610 | 800 16000 80000 | 2147483647 32729 106 | 0.000 % |
6.97/7.06 c | 37757 | 800 16000 80000 | 2147483647 32876 106 | 0.000 % |
7.07/7.10 c | 37917 | 800 16000 80000 | 2147483647 33036 106 | 0.000 % |
7.07/7.16 c | 38093 | 800 16000 80000 | 2147483647 33212 106 | 0.000 % |
7.17/7.23 c | 38286 | 800 16000 80000 | 2147483647 33405 106 | 0.000 % |
7.27/7.30 c | 38498 | 800 16000 80000 | 2147483647 33617 106 | 0.000 % |
7.27/7.37 c | 38732 | 800 16000 80000 | 2147483647 33851 106 | 0.000 % |
7.37/7.45 c | 38988 | 800 16000 80000 | 2147483647 34107 106 | 0.000 % |
7.47/7.54 c | 39269 | 800 16000 80000 | 2147483647 34388 106 | 0.000 % |
7.58/7.65 c | 39578 | 800 16000 80000 | 2147483647 34697 106 | 0.000 % |
7.68/7.77 c | 39920 | 800 16000 80000 | 2147483647 35039 106 | 0.000 % |
7.77/7.90 c | 40294 | 800 16000 80000 | 2147483647 35413 106 | 0.000 % |
7.97/8.04 c | 40704 | 800 16000 80000 | 2147483647 35823 106 | 0.000 % |
8.17/8.20 c | 41153 | 800 16000 80000 | 2147483647 36272 106 | 0.000 % |
8.27/8.37 c | 41646 | 800 16000 80000 | 2147483647 36765 106 | 0.000 % |
8.47/8.54 c | 42188 | 800 16000 80000 | 2147483647 37307 107 | 0.000 % |
8.67/8.73 c | 42785 | 800 16000 80000 | 2147483647 37904 107 | 0.000 % |
8.67/8.77 c | 42885 | 800 16000 80000 | 2147483647 38004 107 | 0.000 % |
8.77/8.81 c | 42995 | 800 16000 80000 | 2147483647 38114 107 | 0.000 % |
8.77/8.85 c | 43116 | 800 16000 80000 | 2147483647 38235 107 | 0.000 % |
8.87/8.90 c | 43250 | 800 16000 80000 | 2147483647 38369 107 | 0.000 % |
8.87/8.95 c | 43396 | 800 16000 80000 | 2147483647 38515 107 | 0.000 % |
8.97/9.01 c | 43556 | 800 16000 80000 | 2147483647 38675 107 | 0.000 % |
8.97/9.08 c | 43732 | 800 16000 80000 | 2147483647 38851 106 | 0.000 % |
9.07/9.15 c | 43928 | 800 16000 80000 | 2147483647 39047 106 | 0.000 % |
9.17/9.23 c | 44140 | 800 16000 80000 | 2147483647 39259 106 | 0.000 % |
9.27/9.32 c | 44374 | 800 16000 80000 | 2147483647 39493 106 | 0.000 % |
9.37/9.41 c | 44630 | 800 16000 80000 | 2147483647 39749 106 | 0.000 % |
9.47/9.51 c | 44911 | 800 16000 80000 | 2147483647 40030 106 | 0.000 % |
9.57/9.64 c | 45220 | 800 16000 80000 | 2147483647 40339 107 | 0.000 % |
9.67/9.77 c | 45559 | 800 16000 80000 | 2147483647 40678 107 | 0.000 % |
9.87/9.92 c | 45932 | 800 16000 80000 | 2147483647 41051 107 | 0.000 % |
9.97/10.07 c | 46341 | 800 16000 80000 | 2147483647 41460 107 | 0.000 % |
10.17/10.25 c | 46790 | 800 16000 80000 | 2147483647 41909 107 | 0.000 % |
10.37/10.44 c | 47283 | 800 16000 80000 | 2147483647 42402 107 | 0.000 % |
10.57/10.66 c | 47826 | 800 16000 80000 | 2147483647 42945 107 | 0.000 % |
10.77/10.88 c | 48425 | 800 16000 80000 | 2147483647 43544 107 | 0.000 % |
11.07/11.13 c | 49081 | 800 16000 80000 | 2147483647 44200 107 | 0.000 % |
11.07/11.18 c | 49182 | 800 16000 80000 | 2147483647 44301 107 | 0.000 % |
11.17/11.23 c | 49293 | 800 16000 80000 | 2147483647 44412 107 | 0.000 % |
11.17/11.28 c | 49414 | 800 16000 80000 | 2147483647 44533 107 | 0.000 % |
11.27/11.34 c | 49547 | 800 16000 80000 | 2147483647 44666 107 | 0.000 % |
11.37/11.42 c | 49693 | 800 16000 80000 | 2147483647 44812 107 | 0.000 % |
11.37/11.49 c | 49853 | 800 16000 80000 | 2147483647 44972 107 | 0.000 % |
11.47/11.56 c | 50031 | 800 16000 80000 | 2147483647 45150 107 | 0.000 % |
11.57/11.66 c | 50228 | 800 16000 80000 | 2147483647 45347 107 | 0.000 % |
11.67/11.76 c | 50440 | 800 16000 80000 | 2147483647 45559 107 | 0.000 % |
11.77/11.86 c | 50673 | 800 16000 80000 | 2147483647 45792 107 | 0.000 % |
11.87/11.97 c | 50931 | 800 16000 80000 | 2147483647 46050 107 | 0.000 % |
11.97/12.09 c | 51213 | 800 16000 80000 | 2147483647 46332 107 | 0.000 % |
12.17/12.21 c | 51522 | 800 16000 80000 | 2147483647 46641 107 | 0.000 % |
12.27/12.37 c | 51861 | 800 16000 80000 | 2147483647 46980 107 | 0.000 % |
12.47/12.54 c | 52233 | 800 16000 80000 | 2147483647 47352 107 | 0.000 % |
12.67/12.71 c | 52643 | 800 16000 80000 | 2147483647 47762 107 | 0.000 % |
12.87/12.91 c | 53092 | 800 16000 80000 | 2147483647 48211 107 | 0.000 % |
13.07/13.16 c | 53586 | 800 16000 80000 | 2147483647 48705 107 | 0.000 % |
13.37/13.40 c | 54130 | 800 16000 80000 | 2147483647 49249 107 | 0.000 % |
13.57/13.67 c | 54726 | 800 16000 80000 | 2147483647 49845 107 | 0.000 % |
13.87/13.98 c | 55382 | 800 16000 80000 | 2147483647 50501 107 | 0.000 % |
14.17/14.28 c | 56102 | 800 16000 80000 | 2147483647 51221 107 | 0.000 % |
14.27/14.33 c | 56205 | 800 16000 80000 | 2147483647 51324 107 | 0.000 % |
14.27/14.39 c | 56315 | 800 16000 80000 | 2147483647 51434 107 | 0.000 % |
14.37/14.44 c | 56436 | 800 16000 80000 | 2147483647 51555 107 | 0.000 % |
14.47/14.52 c | 56569 | 800 16000 80000 | 2147483647 51688 107 | 0.000 % |
14.57/14.61 c | 56715 | 800 16000 80000 | 2147483647 51834 107 | 0.000 % |
14.57/14.68 c | 56875 | 800 16000 80000 | 2147483647 51994 107 | 0.000 % |
14.67/14.77 c | 57051 | 800 16000 80000 | 2147483647 52170 107 | 0.000 % |
14.77/14.87 c | 57247 | 800 16000 80000 | 2147483647 52366 107 | 0.000 % |
14.87/14.98 c | 57460 | 800 16000 80000 | 2147483647 52579 107 | 0.000 % |
15.07/15.10 c | 57693 | 800 16000 80000 | 2147483647 52812 107 | 0.000 % |
15.17/15.22 c | 57951 | 800 16000 80000 | 2147483647 53070 107 | 0.000 % |
15.27/15.36 c | 58233 | 800 16000 80000 | 2147483647 53352 107 | 0.000 % |
15.46/15.52 c | 58542 | 800 16000 80000 | 2147483647 53661 107 | 0.000 % |
15.67/15.70 c | 58881 | 800 16000 80000 | 2147483647 54000 107 | 0.000 % |
15.77/15.88 c | 59254 | 800 16000 80000 | 2147483647 54373 107 | 0.000 % |
15.97/16.09 c | 59663 | 800 16000 80000 | 2147483647 54782 107 | 0.000 % |
16.27/16.30 c | 60112 | 800 16000 80000 | 2147483647 55231 107 | 0.000 % |
16.47/16.54 c | 60605 | 800 16000 80000 | 2147483647 55724 107 | 0.000 % |
16.77/16.81 c | 61147 | 800 16000 80000 | 2147483647 56266 107 | 0.000 % |
17.07/17.11 c | 61743 | 800 16000 80000 | 2147483647 56862 107 | 0.000 % |
17.37/17.44 c | 62398 | 800 16000 80000 | 2147483647 57517 108 | 0.000 % |
17.76/17.82 c | 63120 | 800 16000 80000 | 2147483647 58239 108 | 0.000 % |
18.07/18.19 c | 63912 | 800 16000 80000 | 2147483647 59031 108 | 0.000 % |
18.17/18.23 c | 64012 | 800 16000 80000 | 2147483647 59131 108 | 0.000 % |
18.27/18.32 c | 64122 | 800 16000 80000 | 2147483647 59241 108 | 0.000 % |
18.27/18.39 c | 64243 | 800 16000 80000 | 2147483647 59362 108 | 0.000 % |
18.37/18.46 c | 64377 | 800 16000 80000 | 2147483647 59496 108 | 0.000 % |
18.47/18.54 c | 64523 | 800 16000 80000 | 2147483647 59642 108 | 0.000 % |
18.57/18.65 c | 64684 | 800 16000 80000 | 2147483647 59803 107 | 0.000 % |
18.67/18.75 c | 64861 | 800 16000 80000 | 2147483647 59980 108 | 0.000 % |
18.77/18.86 c | 65056 | 800 16000 80000 | 2147483647 60175 108 | 0.000 % |
18.87/18.99 c | 65270 | 800 16000 80000 | 2147483647 60389 107 | 0.000 % |
19.07/19.13 c | 65503 | 800 16000 80000 | 2147483647 60622 107 | 0.000 % |
19.17/19.28 c | 65759 | 800 16000 80000 | 2147483647 60878 107 | 0.000 % |
19.37/19.44 c | 66040 | 800 16000 80000 | 2147483647 61159 107 | 0.000 % |
19.57/19.63 c | 66350 | 800 16000 80000 | 2147483647 61469 107 | 0.000 % |
19.77/19.83 c | 66689 | 800 16000 80000 | 2147483647 61808 107 | 0.000 % |
19.97/20.05 c | 67063 | 800 16000 80000 | 2147483647 62182 107 | 0.000 % |
20.17/20.29 c | 67474 | 800 16000 80000 | 2147483647 62593 107 | 0.000 % |
20.46/20.55 c | 67924 | 800 16000 80000 | 2147483647 63043 107 | 0.000 % |
20.77/20.82 c | 68417 | 800 16000 80000 | 2147483647 63536 107 | 0.000 % |
21.06/21.13 c | 68959 | 800 16000 80000 | 2147483647 64078 107 | 0.000 % |
21.36/21.46 c | 69557 | 800 16000 80000 | 2147483647 64676 108 | 0.000 % |
21.76/21.85 c | 70213 | 800 16000 80000 | 2147483647 65332 108 | 0.000 % |
22.16/22.28 c | 70933 | 800 16000 80000 | 2147483647 66052 108 | 0.000 % |
22.57/22.67 c | 71725 | 800 16000 80000 | 2147483647 66844 108 | 0.000 % |
23.07/23.15 c | 72598 | 800 16000 80000 | 2147483647 67717 108 | 0.000 % |
23.16/23.22 c | 72699 | 800 16000 80000 | 2147483647 67818 108 | 0.000 % |
23.16/23.29 c | 72811 | 800 16000 80000 | 2147483647 67930 108 | 0.000 % |
23.26/23.36 c | 72932 | 800 16000 80000 | 2147483647 68051 108 | 0.000 % |
23.36/23.44 c | 73065 | 800 16000 80000 | 2147483647 68184 108 | 0.000 % |
23.46/23.55 c | 73211 | 800 16000 80000 | 2147483647 68330 108 | 0.000 % |
23.56/23.66 c | 73372 | 800 16000 80000 | 2147483647 68491 108 | 0.000 % |
23.66/23.77 c | 73550 | 800 16000 80000 | 2147483647 68669 108 | 0.000 % |
23.86/23.91 c | 73743 | 800 16000 80000 | 2147483647 68862 108 | 0.000 % |
23.96/24.06 c | 73957 | 800 16000 80000 | 2147483647 69076 108 | 0.000 % |
24.16/24.22 c | 74190 | 800 16000 80000 | 2147483647 69309 108 | 0.000 % |
24.26/24.37 c | 74447 | 800 16000 80000 | 2147483647 69566 108 | 0.000 % |
24.46/24.54 c | 74731 | 800 16000 80000 | 2147483647 69850 108 | 0.000 % |
24.66/24.73 c | 75041 | 800 16000 80000 | 2147483647 70160 108 | 0.000 % |
24.86/24.96 c | 75381 | 800 16000 80000 | 2147483647 70500 108 | 0.000 % |
25.06/25.20 c | 75754 | 800 16000 80000 | 2147483647 70873 108 | 0.000 % |
25.36/25.44 c | 76163 | 800 16000 80000 | 2147483647 71282 108 | 0.000 % |
25.66/25.72 c | 76612 | 800 16000 80000 | 2147483647 71731 108 | 0.000 % |
25.96/26.03 c | 77105 | 800 16000 80000 | 2147483647 72224 108 | 0.000 % |
26.26/26.35 c | 77647 | 800 16000 80000 | 2147483647 72766 108 | 0.000 % |
26.67/26.70 c | 78243 | 800 16000 80000 | 2147483647 73362 108 | 0.000 % |
27.07/27.11 c | 78900 | 800 16000 80000 | 2147483647 74019 108 | 0.000 % |
27.47/27.55 c | 79620 | 800 16000 80000 | 2147483647 74739 108 | 0.000 % |
27.96/28.08 c | 80413 | 800 16000 80000 | 75121 67340 108 | 0.000 % |
28.47/28.60 c | 81284 | 800 16000 80000 | 75121 68211 108 | 0.000 % |
29.06/29.10 c | 82242 | 800 16000 80000 | 75121 69169 108 | 0.000 % |
29.06/29.17 c | 82344 | 800 16000 80000 | 75121 69271 108 | 0.000 % |
29.16/29.24 c | 82454 | 800 16000 80000 | 75121 69381 108 | 0.000 % |
29.26/29.32 c | 82576 | 800 16000 80000 | 75121 69503 108 | 0.000 % |
29.36/29.43 c | 82710 | 800 16000 80000 | 75121 69637 108 | 0.000 % |
29.46/29.53 c | 82857 | 800 16000 80000 | 75121 69784 108 | 0.000 % |
29.57/29.63 c | 83017 | 800 16000 80000 | 75121 69944 108 | 0.000 % |
29.67/29.77 c | 83195 | 800 16000 80000 | 75121 70122 108 | 0.000 % |
29.86/29.90 c | 83388 | 800 16000 80000 | 75121 70315 108 | 0.000 % |
29.96/30.03 c | 83601 | 800 16000 80000 | 75121 70528 108 | 0.000 % |
30.06/30.18 c | 83835 | 800 16000 80000 | 75121 70762 108 | 0.000 % |
30.26/30.35 c | 84094 | 800 16000 80000 | 75121 71021 108 | 0.000 % |
30.46/30.58 c | 84375 | 800 16000 80000 | 75121 71302 108 | 0.000 % |
30.67/30.77 c | 84686 | 800 16000 80000 | 75121 71613 108 | 0.000 % |
30.96/31.00 c | 85027 | 800 16000 80000 | 75121 71954 108 | 0.000 % |
31.16/31.25 c | 85400 | 800 16000 80000 | 75121 72327 108 | 0.000 % |
31.46/31.53 c | 85809 | 800 16000 80000 | 75121 72736 108 | 0.000 % |
31.77/31.80 c | 86259 | 800 16000 80000 | 75121 73186 108 | 0.000 % |
32.06/32.12 c | 86752 | 800 16000 80000 | 75121 73679 108 | 0.000 % |
32.36/32.45 c | 87294 | 800 16000 80000 | 75121 74221 108 | 0.000 % |
32.76/32.81 c | 87890 | 800 16000 80000 | 75121 74817 108 | 0.000 % |
33.16/33.25 c | 88545 | 800 16000 80000 | 75121 65970 108 | 0.000 % |
33.66/33.74 c | 89265 | 800 16000 80000 | 75121 66690 108 | 0.000 % |
34.16/34.22 c | 90057 | 800 16000 80000 | 67425 67482 108 | 0.000 % |
34.66/34.72 c | 90929 | 800 16000 80000 | 67425 59951 108 | 0.000 % |
35.16/35.21 c | 91888 | 800 16000 80000 | 67425 60910 109 | 0.000 % |
35.66/35.77 c | 92941 | 800 16000 80000 | 67425 61963 109 | 0.000 % |
35.76/35.82 c | 93041 | 800 16000 80000 | 67425 62063 109 | 0.000 % |
35.86/35.90 c | 93153 | 800 16000 80000 | 67425 62175 109 | 0.000 % |
35.86/35.97 c | 93274 | 800 16000 80000 | 67425 62296 109 | 0.000 % |
35.96/36.05 c | 93408 | 800 16000 80000 | 67425 62430 109 | 0.000 % |
36.06/36.13 c | 93554 | 800 16000 80000 | 67425 62576 109 | 0.000 % |
36.16/36.24 c | 93715 | 800 16000 80000 | 67425 62737 109 | 0.000 % |
36.26/36.34 c | 93894 | 800 16000 80000 | 67425 62916 109 | 0.000 % |
36.36/36.46 c | 94088 | 800 16000 80000 | 67425 63110 109 | 0.000 % |
36.56/36.60 c | 94300 | 800 16000 80000 | 67425 63322 109 | 0.000 % |
36.66/36.74 c | 94533 | 800 16000 80000 | 67425 63555 109 | 0.000 % |
36.86/36.90 c | 94789 | 800 16000 80000 | 67425 63811 109 | 0.000 % |
36.96/37.05 c | 95071 | 800 16000 80000 | 67425 64093 109 | 0.000 % |
37.16/37.24 c | 95382 | 800 16000 80000 | 67425 64404 109 | 0.000 % |
37.36/37.44 c | 95722 | 800 16000 80000 | 67425 64744 109 | 0.000 % |
37.56/37.66 c | 96094 | 800 16000 80000 | 67425 65116 109 | 0.000 % |
37.86/37.90 c | 96503 | 800 16000 80000 | 67425 65525 109 | 0.000 % |
38.06/38.17 c | 96952 | 800 16000 80000 | 67425 65974 109 | 0.000 % |
38.36/38.45 c | 97446 | 800 16000 80000 | 67425 66468 108 | 0.000 % |
38.66/38.75 c | 97988 | 800 16000 80000 | 67425 67010 108 | 0.000 % |
38.96/39.09 c | 98584 | 800 16000 80000 | 67425 67606 109 | 0.000 % |
39.36/39.49 c | 99240 | 800 16000 80000 | 67425 61502 109 | 0.000 % |
39.86/39.90 c | 99961 | 800 16000 80000 | 67425 62223 109 | 0.000 % |
40.26/40.33 c | 100755 | 800 16000 80000 | 2147483647 63017 109 | 0.000 % |
40.66/40.78 c | 101626 | 800 16000 80000 | 2147483647 63888 109 | 0.000 % |
41.25/41.30 c | 102584 | 800 16000 80000 | 2147483647 64846 109 | 0.000 % |
41.85/41.92 c | 103639 | 800 16000 80000 | 2147483647 65901 109 | 0.000 % |
42.55/42.61 c | 104797 | 800 16000 80000 | 2147483647 67059 109 | 0.000 % |
42.55/42.66 c | 104899 | 800 16000 80000 | 2147483647 67161 109 | 0.000 % |
42.65/42.74 c | 105010 | 800 16000 80000 | 2147483647 67272 109 | 0.000 % |
42.75/42.83 c | 105132 | 800 16000 80000 | 2147483647 67394 109 | 0.000 % |
42.85/42.91 c | 105266 | 800 16000 80000 | 2147483647 67528 109 | 0.000 % |
42.95/43.01 c | 105415 | 800 16000 80000 | 2147483647 67677 109 | 0.000 % |
43.05/43.11 c | 105576 | 800 16000 80000 | 2147483647 67838 109 | 0.000 % |
43.15/43.24 c | 105752 | 800 16000 80000 | 2147483647 68014 109 | 0.000 % |
43.25/43.36 c | 105946 | 800 16000 80000 | 2147483647 68208 109 | 0.000 % |
43.35/43.50 c | 106159 | 800 16000 80000 | 2147483647 68421 109 | 0.000 % |
43.55/43.64 c | 106393 | 800 16000 80000 | 2147483647 68655 109 | 0.000 % |
43.75/43.81 c | 106651 | 800 16000 80000 | 2147483647 68913 109 | 0.000 % |
43.85/43.97 c | 106932 | 800 16000 80000 | 2147483647 69194 109 | 0.000 % |
44.05/44.17 c | 107242 | 800 16000 80000 | 2147483647 69504 109 | 0.000 % |
44.35/44.40 c | 107582 | 800 16000 80000 | 2147483647 69844 109 | 0.000 % |
44.55/44.64 c | 107954 | 800 16000 80000 | 2147483647 70216 109 | 0.000 % |
44.75/44.89 c | 108363 | 800 16000 80000 | 2147483647 70625 109 | 0.000 % |
45.05/45.16 c | 108812 | 800 16000 80000 | 2147483647 71074 109 | 0.000 % |
45.35/45.48 c | 109306 | 800 16000 80000 | 2147483647 71568 109 | 0.000 % |
45.65/45.79 c | 109850 | 800 16000 80000 | 2147483647 72112 109 | 0.000 % |
46.05/46.17 c | 110447 | 800 16000 80000 | 72262 65181 109 | 0.000 % |
46.45/46.54 c | 111103 | 800 16000 80000 | 72262 65837 109 | 0.000 % |
46.95/47.01 c | 111823 | 800 16000 80000 | 72262 66557 109 | 0.000 % |
47.35/47.46 c | 112615 | 800 16000 80000 | 72262 67349 109 | 0.000 % |
47.85/47.97 c | 113490 | 800 16000 80000 | 72262 68224 109 | 0.000 % |
48.45/48.53 c | 114452 | 800 16000 80000 | 72262 69186 109 | 0.000 % |
49.05/49.17 c | 115505 | 800 16000 80000 | 72262 70239 109 | 0.000 % |
49.85/49.90 c | 116663 | 800 16000 80000 | 72262 71397 109 | 0.000 % |
50.55/50.67 c | 117936 | 800 16000 80000 | 72262 64883 110 | 0.000 % |
50.64/50.72 c | 118036 | 800 16000 80000 | 72262 64983 110 | 0.000 % |
50.74/50.81 c | 118147 | 800 16000 80000 | 72262 65094 110 | 0.000 % |
50.74/50.88 c | 118268 | 800 16000 80000 | 72262 65215 110 | 0.000 % |
50.84/50.96 c | 118401 | 800 16000 80000 | 72262 65348 110 | 0.000 % |
50.94/51.06 c | 118547 | 800 16000 80000 | 72262 65494 110 | 0.000 % |
51.04/51.18 c | 118707 | 800 16000 80000 | 72262 65654 110 | 0.000 % |
51.14/51.29 c | 118885 | 800 16000 80000 | 72262 65832 110 | 0.000 % |
51.34/51.42 c | 119079 | 800 16000 80000 | 72262 66026 110 | 0.000 % |
51.44/51.56 c | 119291 | 800 16000 80000 | 72262 66238 110 | 0.000 % |
51.65/51.70 c | 119525 | 800 16000 80000 | 72262 66472 110 | 0.000 % |
51.74/51.88 c | 119781 | 800 16000 80000 | 72262 66728 110 | 0.000 % |
51.94/52.06 c | 120063 | 800 16000 80000 | 66947 67010 110 | 0.000 % |
52.14/52.27 c | 120373 | 800 16000 80000 | 66947 59874 109 | 0.000 % |
52.34/52.46 c | 120714 | 800 16000 80000 | 66947 60215 109 | 0.000 % |
52.54/52.64 c | 121087 | 800 16000 80000 | 66947 60588 109 | 0.000 % |
52.75/52.88 c | 121498 | 800 16000 80000 | 66947 60999 109 | 0.000 % |
53.04/53.13 c | 121948 | 800 16000 80000 | 66947 61449 109 | 0.000 % |
53.24/53.39 c | 122441 | 800 16000 80000 | 66947 61942 109 | 0.000 % |
53.54/53.66 c | 122983 | 800 16000 80000 | 66947 62484 109 | 0.000 % |
53.85/53.99 c | 123579 | 800 16000 80000 | 66947 63080 109 | 0.000 % |
54.34/54.42 c | 124234 | 800 16000 80000 | 66947 63735 109 | 0.000 % |
54.74/54.86 c | 124954 | 800 16000 80000 | 66947 64455 109 | 0.000 % |
55.24/55.34 c | 125747 | 800 16000 80000 | 66947 65248 109 | 0.000 % |
55.74/55.87 c | 126619 | 800 16000 80000 | 66947 66120 109 | 0.000 % |
56.34/56.44 c | 127577 | 800 16000 80000 | 66947 67078 109 | 0.000 % |
56.94/57.06 c | 128632 | 800 16000 80000 | 66947 61426 110 | 0.000 % |
57.54/57.66 c | 129790 | 800 16000 80000 | 66947 62584 110 | 0.000 % |
58.25/58.38 c | 131064 | 800 16000 80000 | 2147483647 63858 110 | 0.000 % |
59.04/59.15 c | 132464 | 800 16000 80000 | 2147483647 65258 110 | 0.000 % |
59.14/59.22 c | 132564 | 800 16000 80000 | 2147483647 65358 110 | 0.000 % |
59.14/59.29 c | 132676 | 800 16000 80000 | 2147483647 65470 110 | 0.000 % |
59.25/59.38 c | 132798 | 800 16000 80000 | 2147483647 65592 110 | 0.000 % |
59.35/59.46 c | 132932 | 800 16000 80000 | 2147483647 65726 110 | 0.000 % |
59.44/59.55 c | 133079 | 800 16000 80000 | 2147483647 65873 110 | 0.000 % |
59.54/59.67 c | 133242 | 800 16000 80000 | 2147483647 66036 110 | 0.000 % |
59.64/59.78 c | 133420 | 800 16000 80000 | 2147483647 66214 110 | 0.000 % |
59.74/59.89 c | 133614 | 800 16000 80000 | 2147483647 66408 110 | 0.000 % |
59.94/60.02 c | 133827 | 800 16000 80000 | 2147483647 66621 110 | 0.000 % |
60.04/60.15 c | 134060 | 800 16000 80000 | 2147483647 66854 110 | 0.000 % |
60.24/60.32 c | 134316 | 800 16000 80000 | 2147483647 67110 110 | 0.000 % |
60.45/60.52 c | 134597 | 800 16000 80000 | 2147483647 67391 110 | 0.000 % |
60.64/60.71 c | 134906 | 800 16000 80000 | 2147483647 67700 110 | 0.000 % |
60.84/60.92 c | 135246 | 800 16000 80000 | 2147483647 68040 110 | 0.000 % |
61.04/61.14 c | 135618 | 800 16000 80000 | 2147483647 68412 110 | 0.000 % |
61.24/61.38 c | 136027 | 800 16000 80000 | 2147483647 68821 110 | 0.000 % |
61.64/61.71 c | 136477 | 800 16000 80000 | 2147483647 69271 110 | 0.000 % |
61.94/62.02 c | 136970 | 800 16000 80000 | 2147483647 69764 110 | 0.000 % |
62.24/62.34 c | 137512 | 800 16000 80000 | 2147483647 70306 110 | 0.000 % |
62.64/62.76 c | 138108 | 800 16000 80000 | 2147483647 70902 110 | 0.000 % |
63.04/63.18 c | 138763 | 800 16000 80000 | 2147483647 71557 110 | 0.000 % |
63.54/63.61 c | 139483 | 800 16000 80000 | 2147483647 72277 110 | 0.000 % |
63.94/64.08 c | 140275 | 800 16000 80000 | 72795 73069 110 | 0.000 % |
64.44/64.55 c | 141146 | 800 16000 80000 | 72795 66128 110 | 0.000 % |
64.94/65.08 c | 142107 | 800 16000 80000 | 72795 67089 110 | 0.000 % |
65.54/65.67 c | 143161 | 800 16000 80000 | 72795 68143 110 | 0.000 % |
66.24/66.34 c | 144319 | 800 16000 80000 | 72795 69301 110 | 0.000 % |
66.94/67.10 c | 145593 | 800 16000 80000 | 72795 70575 110 | 0.000 % |
67.84/67.97 c | 146995 | 800 16000 80000 | 72795 71977 110 | 0.000 % |
68.84/68.95 c | 148535 | 800 16000 80000 | 72795 65773 110 | 0.000 % |
68.94/69.03 c | 148636 | 800 16000 80000 | 72795 65874 110 | 0.000 % |
68.94/69.09 c | 148746 | 800 16000 80000 | 72795 65984 110 | 0.000 % |
69.04/69.17 c | 148869 | 800 16000 80000 | 72795 66107 110 | 0.000 % |
69.14/69.26 c | 149003 | 800 16000 80000 | 72795 66241 110 | 0.000 % |
69.24/69.35 c | 149149 | 800 16000 80000 | 72795 66387 110 | 0.000 % |
69.34/69.45 c | 149311 | 800 16000 80000 | 72795 66549 110 | 0.000 % |
69.44/69.55 c | 149488 | 800 16000 80000 | 72795 66726 110 | 0.000 % |
69.54/69.67 c | 149681 | 800 16000 80000 | 72795 66919 110 | 0.000 % |
69.74/69.80 c | 149893 | 800 16000 80000 | 72795 67131 110 | 0.000 % |
69.84/69.94 c | 150128 | 800 16000 80000 | 67239 67366 110 | 0.000 % |
70.04/70.12 c | 150384 | 800 16000 80000 | 67239 60548 110 | 0.000 % |
70.14/70.27 c | 150665 | 800 16000 80000 | 67239 60829 110 | 0.000 % |
70.34/70.43 c | 150974 | 800 16000 80000 | 67239 61138 110 | 0.000 % |
70.54/70.61 c | 151314 | 800 16000 80000 | 67239 61478 110 | 0.000 % |
70.74/70.82 c | 151687 | 800 16000 80000 | 67239 61851 110 | 0.000 % |
70.94/71.04 c | 152097 | 800 16000 80000 | 67239 62261 110 | 0.000 % |
71.25/71.33 c | 152546 | 800 16000 80000 | 67239 62710 110 | 0.000 % |
71.55/71.62 c | 153039 | 800 16000 80000 | 67239 63203 110 | 0.000 % |
71.85/71.94 c | 153582 | 800 16000 80000 | 67239 63746 110 | 0.000 % |
72.15/72.28 c | 154178 | 800 16000 80000 | 67239 64342 110 | 0.000 % |
72.55/72.66 c | 154833 | 800 16000 80000 | 67239 64997 110 | 0.000 % |
72.94/73.05 c | 155553 | 800 16000 80000 | 67239 65717 110 | 0.000 % |
73.44/73.56 c | 156345 | 800 16000 80000 | 67239 66509 110 | 0.000 % |
73.94/74.04 c | 157216 | 800 16000 80000 | 67239 67380 110 | 0.000 % |
74.44/74.57 c | 158174 | 800 16000 80000 | 67239 61600 111 | 0.000 % |
75.04/75.13 c | 159228 | 800 16000 80000 | 67239 62654 111 | 0.000 % |
75.64/75.79 c | 160386 | 800 16000 80000 | 2147483647 63812 111 | 0.000 % |
76.34/76.49 c | 161659 | 800 16000 80000 | 2147483647 65085 111 | 0.000 % |
77.14/77.24 c | 163059 | 800 16000 80000 | 2147483647 66485 111 | 0.000 % |
78.05/78.17 c | 164599 | 800 16000 80000 | 2147483647 68025 111 | 0.000 % |
79.05/79.12 c | 166293 | 800 16000 80000 | 2147483647 69719 111 | 0.000 % |
79.05/79.19 c | 166394 | 800 16000 80000 | 2147483647 69820 111 | 0.000 % |
79.15/79.25 c | 166504 | 800 16000 80000 | 2147483647 69930 111 | 0.000 % |
79.24/79.34 c | 166625 | 800 16000 80000 | 2147483647 70051 111 | 0.000 % |
79.34/79.44 c | 166758 | 800 16000 80000 | 2147483647 70184 111 | 0.000 % |
79.44/79.53 c | 166905 | 800 16000 80000 | 2147483647 70331 111 | 0.000 % |
79.54/79.65 c | 167065 | 800 16000 80000 | 2147483647 70491 111 | 0.000 % |
79.74/79.80 c | 167241 | 800 16000 80000 | 2147483647 70667 111 | 0.000 % |
79.84/79.92 c | 167434 | 800 16000 80000 | 2147483647 70860 111 | 0.000 % |
79.94/80.08 c | 167646 | 800 16000 80000 | 2147483647 71072 111 | 0.000 % |
80.15/80.24 c | 167879 | 800 16000 80000 | 2147483647 71305 111 | 0.000 % |
80.34/80.41 c | 168137 | 800 16000 80000 | 2147483647 71563 111 | 0.000 % |
80.44/80.58 c | 168418 | 800 16000 80000 | 2147483647 71844 111 | 0.000 % |
80.64/80.78 c | 168729 | 800 16000 80000 | 2147483647 72155 111 | 0.000 % |
80.94/81.01 c | 169068 | 800 16000 80000 | 2147483647 72494 111 | 0.000 % |
81.14/81.28 c | 169441 | 800 16000 80000 | 2147483647 72867 111 | 0.000 % |
81.44/81.54 c | 169850 | 800 16000 80000 | 2147483647 73276 111 | 0.000 % |
81.74/81.88 c | 170300 | 800 16000 80000 | 73426 65798 111 | 0.000 % |
82.04/82.15 c | 170793 | 800 16000 80000 | 73426 66291 111 | 0.000 % |
82.34/82.43 c | 171335 | 800 16000 80000 | 73426 66833 111 | 0.000 % |
82.64/82.77 c | 171931 | 800 16000 80000 | 73426 67429 111 | 0.000 % |
83.04/83.14 c | 172587 | 800 16000 80000 | 73426 68085 111 | 0.000 % |
83.54/83.61 c | 173307 | 800 16000 80000 | 73426 68805 111 | 0.000 % |
84.04/84.10 c | 174101 | 800 16000 80000 | 73426 69599 111 | 0.000 % |
84.54/84.62 c | 174972 | 800 16000 80000 | 73426 70470 111 | 0.000 % |
85.14/85.23 c | 175930 | 800 16000 80000 | 73426 71428 111 | 0.000 % |
85.83/85.90 c | 176984 | 800 16000 80000 | 73426 72482 111 | 0.000 % |
86.43/86.58 c | 178142 | 800 16000 80000 | 73426 73640 111 | 0.000 % |
87.23/87.32 c | 179417 | 800 16000 80000 | 73426 66377 111 | 0.000 % |
88.03/88.17 c | 180820 | 800 16000 80000 | 66962 60181 111 | 0.000 % |
88.83/88.95 c | 182360 | 800 16000 80000 | 66962 61721 111 | 0.000 % |
89.63/89.79 c | 184055 | 800 16000 80000 | 66962 63416 111 | 0.000 % |
90.73/90.87 c | 185920 | 800 16000 80000 | 66962 65281 112 | 0.000 % |
90.83/90.93 c | 186021 | 800 16000 80000 | 66962 65382 111 | 0.000 % |
90.93/91.02 c | 186131 | 800 16000 80000 | 66962 65492 111 | 0.000 % |
91.03/91.11 c | 186254 | 800 16000 80000 | 66962 65615 111 | 0.000 % |
91.03/91.20 c | 186391 | 800 16000 80000 | 66962 65752 111 | 0.000 % |
91.13/91.28 c | 186539 | 800 16000 80000 | 66962 65900 111 | 0.000 % |
91.33/91.40 c | 186699 | 800 16000 80000 | 66962 66060 111 | 0.000 % |
91.43/91.51 c | 186875 | 800 16000 80000 | 66962 66236 111 | 0.000 % |
91.53/91.62 c | 187069 | 800 16000 80000 | 66962 66430 111 | 0.000 % |
91.63/91.79 c | 187282 | 800 16000 80000 | 66962 66643 111 | 0.000 % |
91.83/91.92 c | 187516 | 800 16000 80000 | 66962 66877 111 | 0.000 % |
92.03/92.12 c | 187775 | 800 16000 80000 | 66962 67136 111 | 0.000 % |
92.23/92.30 c | 188058 | 800 16000 80000 | 66962 60706 112 | 0.000 % |
92.43/92.52 c | 188369 | 800 16000 80000 | 66962 61017 112 | 0.000 % |
92.63/92.71 c | 188708 | 800 16000 80000 | 66962 61356 111 | 0.000 % |
92.83/92.91 c | 189080 | 800 16000 80000 | 66962 61728 111 | 0.000 % |
93.03/93.13 c | 189489 | 800 16000 80000 | 66962 62137 111 | 0.000 % |
93.23/93.37 c | 189940 | 800 16000 80000 | 66962 62588 111 | 0.000 % |
93.53/93.65 c | 190434 | 800 16000 80000 | 2147483647 63082 111 | 0.000 % |
93.83/93.92 c | 190976 | 800 16000 80000 | 2147483647 63624 111 | 0.000 % |
94.13/94.23 c | 191572 | 800 16000 80000 | 2147483647 64220 111 | 0.000 % |
94.53/94.64 c | 192227 | 800 16000 80000 | 2147483647 64875 111 | 0.000 % |
94.93/95.06 c | 192947 | 800 16000 80000 | 2147483647 65595 111 | 0.000 % |
95.43/95.51 c | 193740 | 800 16000 80000 | 2147483647 66388 111 | 0.000 % |
95.93/96.01 c | 194612 | 800 16000 80000 | 2147483647 67260 112 | 0.000 % |
96.43/96.56 c | 195570 | 800 16000 80000 | 2147483647 68218 111 | 0.000 % |
97.03/97.18 c | 196623 | 800 16000 80000 | 2147483647 69271 111 | 0.000 % |
97.73/97.89 c | 197781 | 800 16000 80000 | 2147483647 70429 111 | 0.000 % |
98.53/98.64 c | 199054 | 800 16000 80000 | 2147483647 71702 111 | 0.000 % |
99.43/99.57 c | 200454 | 800 16000 80000 | 2147483647 73102 112 | 0.000 % |
100.42/100.53 c | 201995 | 800 16000 80000 | 2147483647 74643 112 | 0.000 % |
101.52/101.60 c | 203690 | 800 16000 80000 | 2147483647 76338 112 | 0.000 % |
102.62/102.76 c | 205553 | 800 16000 80000 | 2147483647 78201 112 | 0.000 % |
104.03/104.19 c | 207603 | 800 16000 80000 | 2147483647 80251 112 | 0.000 % |
104.13/104.26 c | 207703 | 800 16000 80000 | 2147483647 80351 112 | 0.000 % |
104.23/104.35 c | 207813 | 800 16000 80000 | 2147483647 80461 112 | 0.000 % |
104.33/104.44 c | 207934 | 800 16000 80000 | 2147483647 80582 112 | 0.000 % |
104.43/104.54 c | 208068 | 800 16000 80000 | 2147483647 80716 112 | 0.000 % |
104.53/104.67 c | 208218 | 800 16000 80000 | 2147483647 80866 112 | 0.000 % |
104.73/104.80 c | 208378 | 800 16000 80000 | 2147483647 81026 112 | 0.000 % |
104.83/104.96 c | 208554 | 800 16000 80000 | 2147483647 81202 112 | 0.000 % |
105.03/105.13 c | 208748 | 800 16000 80000 | 2147483647 81396 112 | 0.000 % |
105.13/105.29 c | 208960 | 800 16000 80000 | 2147483647 81608 112 | 0.000 % |
105.32/105.45 c | 209193 | 800 16000 80000 | 2147483647 81841 112 | 0.000 % |
105.53/105.63 c | 209451 | 800 16000 80000 | 2147483647 82099 112 | 0.000 % |
105.72/105.84 c | 209733 | 800 16000 80000 | 2147483647 82381 112 | 0.000 % |
105.92/106.05 c | 210042 | 800 16000 80000 | 82650 82690 112 | 0.000 % |
106.22/106.35 c | 210386 | 800 16000 80000 | 82650 71058 112 | 0.000 % |
106.42/106.59 c | 210758 | 800 16000 80000 | 82650 71430 112 | 0.000 % |
106.72/106.85 c | 211168 | 800 16000 80000 | 82650 71840 112 | 0.000 % |
107.02/107.13 c | 211617 | 800 16000 80000 | 82650 72289 112 | 0.000 % |
107.32/107.46 c | 212111 | 800 16000 80000 | 82650 72783 112 | 0.000 % |
107.62/107.80 c | 212654 | 800 16000 80000 | 82650 73326 112 | 0.000 % |
108.02/108.18 c | 213250 | 800 16000 80000 | 82650 73922 112 | 0.000 % |
108.42/108.55 c | 213906 | 800 16000 80000 | 82650 74578 112 | 0.000 % |
108.92/109.04 c | 214628 | 800 16000 80000 | 82650 75300 112 | 0.000 % |
109.42/109.55 c | 215422 | 800 16000 80000 | 82650 76094 112 | 0.000 % |
110.02/110.12 c | 216296 | 800 16000 80000 | 82650 76968 112 | 0.000 % |
110.62/110.75 c | 217254 | 800 16000 80000 | 82650 77926 112 | 0.000 % |
111.22/111.38 c | 218307 | 800 16000 80000 | 82650 78979 112 | 0.000 % |
112.02/112.12 c | 219466 | 800 16000 80000 | 82650 80138 112 | 0.000 % |
112.82/112.96 c | 220739 | 800 16000 80000 | 80675 69830 112 | 0.000 % |
113.62/113.74 c | 222143 | 800 16000 80000 | 80675 71234 112 | 0.000 % |
114.52/114.61 c | 223683 | 800 16000 80000 | 80675 72774 112 | 0.000 % |
115.52/115.65 c | 225378 | 800 16000 80000 | 80675 74469 112 | 0.000 % |
116.72/116.85 c | 227243 | 800 16000 80000 | 80675 76334 112 | 0.000 % |
118.02/118.14 c | 229294 | 800 16000 80000 | 80675 78385 112 | 0.000 % |
119.42/119.56 c | 231547 | 800 16000 80000 | 79094 70652 112 | 0.000 % |
119.52/119.66 c | 231647 | 800 16000 80000 | 79094 70752 112 | 0.000 % |
119.62/119.75 c | 231757 | 800 16000 80000 | 79094 70862 112 | 0.000 % |
119.72/119.84 c | 231879 | 800 16000 80000 | 79094 70984 112 | 0.000 % |
119.82/119.92 c | 232014 | 800 16000 80000 | 79094 71119 112 | 0.000 % |
119.92/120.04 c | 232161 | 800 16000 80000 | 79094 71266 112 | 0.000 % |
120.02/120.16 c | 232322 | 800 16000 80000 | 79094 71427 112 | 0.000 % |
120.12/120.29 c | 232498 | 800 16000 80000 | 79094 71603 112 | 0.000 % |
120.32/120.41 c | 232691 | 800 16000 80000 | 79094 71796 112 | 0.000 % |
120.42/120.55 c | 232904 | 800 16000 80000 | 79094 72009 112 | 0.000 % |
120.52/120.69 c | 233137 | 800 16000 80000 | 79094 72242 112 | 0.000 % |
120.72/120.85 c | 233394 | 800 16000 80000 | 79094 72499 112 | 0.000 % |
120.92/121.03 c | 233675 | 800 16000 80000 | 79094 72780 112 | 0.000 % |
121.12/121.23 c | 233987 | 800 16000 80000 | 79094 73092 112 | 0.000 % |
121.32/121.43 c | 234326 | 800 16000 80000 | 79094 73431 112 | 0.000 % |
121.52/121.67 c | 234699 | 800 16000 80000 | 79094 73804 112 | 0.000 % |
121.82/121.92 c | 235108 | 800 16000 80000 | 79094 74213 112 | 0.000 % |
122.12/122.22 c | 235557 | 800 16000 80000 | 79094 74662 112 | 0.000 % |
122.42/122.57 c | 236050 | 800 16000 80000 | 79094 75155 112 | 0.000 % |
122.82/122.94 c | 236592 | 800 16000 80000 | 79094 75697 112 | 0.000 % |
123.22/123.36 c | 237189 | 800 16000 80000 | 79094 76294 112 | 0.000 % |
123.62/123.75 c | 237844 | 800 16000 80000 | 79094 76949 112 | 0.000 % |
124.12/124.24 c | 238564 | 800 16000 80000 | 79094 77669 112 | 0.000 % |
124.62/124.77 c | 239356 | 800 16000 80000 | 79094 78461 112 | 0.000 % |
125.22/125.32 c | 240230 | 800 16000 80000 | 79106 79335 112 | 0.000 % |
125.81/125.93 c | 241188 | 800 16000 80000 | 79106 69558 112 | 0.000 % |
126.51/126.61 c | 242242 | 800 16000 80000 | 79106 70612 112 | 0.000 % |
127.21/127.31 c | 243400 | 800 16000 80000 | 79106 71770 112 | 0.000 % |
127.91/128.10 c | 244675 | 800 16000 80000 | 79106 73045 112 | 0.000 % |
128.81/128.90 c | 246075 | 800 16000 80000 | 79106 74445 112 | 0.000 % |
129.81/129.97 c | 247615 | 800 16000 80000 | 79106 75985 112 | 0.000 % |
130.91/131.09 c | 249309 | 800 16000 80000 | 79106 77679 112 | 0.000 % |
132.21/132.31 c | 251173 | 800 16000 80000 | 78371 68973 112 | 0.000 % |
133.41/133.55 c | 253222 | 800 16000 80000 | 78371 71022 112 | 0.000 % |
134.71/134.88 c | 255476 | 800 16000 80000 | 78371 73276 112 | 0.000 % |
136.21/136.37 c | 257954 | 800 16000 80000 | 78371 75754 112 | 0.000 % |
136.31/136.44 c | 258055 | 800 16000 80000 | 78371 75855 112 | 0.000 % |
136.40/136.54 c | 258165 | 800 16000 80000 | 78371 75965 112 | 0.000 % |
136.50/136.63 c | 258287 | 800 16000 80000 | 78371 76087 112 | 0.000 % |
136.60/136.72 c | 258424 | 800 16000 80000 | 78371 76224 112 | 0.000 % |
136.70/136.82 c | 258570 | 800 16000 80000 | 78371 76370 112 | 0.000 % |
136.80/136.96 c | 258732 | 800 16000 80000 | 78371 76532 112 | 0.000 % |
136.90/137.08 c | 258908 | 800 16000 80000 | 78371 76708 112 | 0.000 % |
137.10/137.22 c | 259101 | 800 16000 80000 | 78371 76901 112 | 0.000 % |
137.20/137.35 c | 259314 | 800 16000 80000 | 78371 77114 112 | 0.000 % |
137.41/137.52 c | 259547 | 800 16000 80000 | 78371 77347 112 | 0.000 % |
137.60/137.72 c | 259804 | 800 16000 80000 | 78371 77604 112 | 0.000 % |
137.80/137.92 c | 260085 | 800 16000 80000 | 77801 77885 112 | 0.000 % |
138.00/138.17 c | 260398 | 800 16000 80000 | 77801 68192 112 | 0.000 % |
138.20/138.39 c | 260739 | 800 16000 80000 | 77801 68533 112 | 0.000 % |
138.51/138.62 c | 261112 | 800 16000 80000 | 77801 68906 112 | 0.000 % |
138.70/138.88 c | 261522 | 800 16000 80000 | 77801 69316 112 | 0.000 % |
139.00/139.16 c | 261972 | 800 16000 80000 | 77801 69766 112 | 0.000 % |
139.30/139.48 c | 262465 | 800 16000 80000 | 77801 70259 112 | 0.000 % |
139.70/139.80 c | 263007 | 800 16000 80000 | 77801 70801 112 | 0.000 % |
140.10/140.20 c | 263603 | 800 16000 80000 | 77801 71397 112 | 0.000 % |
140.50/140.61 c | 264259 | 800 16000 80000 | 77801 72053 112 | 0.000 % |
140.90/141.08 c | 264979 | 800 16000 80000 | 77801 72773 112 | 0.000 % |
141.40/141.57 c | 265771 | 800 16000 80000 | 77801 73565 112 | 0.000 % |
141.90/142.09 c | 266642 | 800 16000 80000 | 77801 74436 112 | 0.000 % |
142.50/142.67 c | 267600 | 800 16000 80000 | 77801 75394 112 | 0.000 % |
143.20/143.37 c | 268653 | 800 16000 80000 | 77801 76447 112 | 0.000 % |
144.01/144.10 c | 269811 | 800 16000 80000 | 77801 77605 112 | 0.000 % |
144.80/144.90 c | 271085 | 800 16000 80000 | 77795 68622 112 | 0.000 % |
145.60/145.76 c | 272485 | 800 16000 80000 | 77795 70022 112 | 0.000 % |
146.50/146.69 c | 274027 | 800 16000 80000 | 77795 71564 112 | 0.000 % |
147.60/147.74 c | 275721 | 800 16000 80000 | 77795 73258 112 | 0.000 % |
148.70/148.81 c | 277585 | 800 16000 80000 | 77795 75122 112 | 0.000 % |
149.90/150.08 c | 279635 | 800 16000 80000 | 77795 77172 112 | 0.000 % |
151.30/151.46 c | 281888 | 800 16000 80000 | 77539 69143 112 | 0.000 % |
152.80/152.90 c | 284366 | 800 16000 80000 | 77539 71621 112 | 0.000 % |
154.40/154.58 c | 287092 | 800 16000 80000 | 77539 74347 112 | 0.000 % |
154.50/154.66 c | 287194 | 800 16000 80000 | 77539 74449 112 | 0.000 % |
154.60/154.75 c | 287306 | 800 16000 80000 | 77539 74561 112 | 0.000 % |
154.70/154.84 c | 287428 | 800 16000 80000 | 77539 74683 112 | 0.000 % |
154.80/154.94 c | 287561 | 800 16000 80000 | 77539 74816 112 | 0.000 % |
154.90/155.07 c | 287707 | 800 16000 80000 | 77539 74962 112 | 0.000 % |
155.00/155.19 c | 287867 | 800 16000 80000 | 77539 75122 112 | 0.000 % |
155.20/155.32 c | 288044 | 800 16000 80000 | 77539 75299 112 | 0.000 % |
155.30/155.47 c | 288239 | 800 16000 80000 | 77539 75494 112 | 0.000 % |
155.50/155.61 c | 288452 | 800 16000 80000 | 77539 75707 112 | 0.000 % |
155.60/155.79 c | 288686 | 800 16000 80000 | 77539 75941 112 | 0.000 % |
155.80/155.95 c | 288942 | 800 16000 80000 | 77539 76197 112 | 0.000 % |
156.00/156.14 c | 289223 | 800 16000 80000 | 77539 76478 112 | 0.000 % |
156.20/156.35 c | 289533 | 800 16000 80000 | 77539 76788 112 | 0.000 % |
156.50/156.61 c | 289873 | 800 16000 80000 | 77539 77128 112 | 0.000 % |
156.70/156.88 c | 290246 | 800 16000 80000 | 77255 77501 112 | 0.000 % |
157.00/157.14 c | 290657 | 800 16000 80000 | 77255 67161 112 | 0.000 % |
157.30/157.40 c | 291106 | 800 16000 80000 | 77255 67610 112 | 0.000 % |
157.50/157.68 c | 291599 | 800 16000 80000 | 77255 68103 112 | 0.000 % |
157.90/158.04 c | 292141 | 800 16000 80000 | 77255 68645 112 | 0.000 % |
158.20/158.38 c | 292737 | 800 16000 80000 | 77255 69241 112 | 0.000 % |
158.59/158.78 c | 293394 | 800 16000 80000 | 77255 69898 112 | 0.000 % |
158.99/159.19 c | 294116 | 800 16000 80000 | 77255 70620 112 | 0.000 % |
159.49/159.66 c | 294908 | 800 16000 80000 | 77255 71412 112 | 0.000 % |
160.00/160.19 c | 295779 | 800 16000 80000 | 77255 72283 112 | 0.000 % |
160.59/160.78 c | 296737 | 800 16000 80000 | 77255 73241 112 | 0.000 % |
161.29/161.44 c | 297791 | 800 16000 80000 | 77255 74295 112 | 0.000 % |
161.99/162.12 c | 298949 | 800 16000 80000 | 77255 75453 112 | 0.000 % |
162.70/162.88 c | 300222 | 800 16000 80000 | 76504 76726 112 | 0.000 % |
163.59/163.73 c | 301622 | 800 16000 80000 | 76504 68941 112 | 0.000 % |
164.49/164.69 c | 303165 | 800 16000 80000 | 76504 70484 112 | 0.000 % |
165.59/165.70 c | 304859 | 800 16000 80000 | 76504 72178 112 | 0.000 % |
166.69/166.89 c | 306726 | 800 16000 80000 | 76504 74045 112 | 0.000 % |
167.99/168.10 c | 308777 | 800 16000 80000 | 76504 76096 113 | 0.000 % |
169.30/169.44 c | 311032 | 800 16000 80000 | 68386 61587 113 | 0.000 % |
170.69/170.81 c | 313510 | 800 16000 80000 | 68386 64065 113 | 0.000 % |
172.19/172.31 c | 316236 | 800 16000 80000 | 68386 66791 113 | 0.000 % |
173.89/174.02 c | 319233 | 800 16000 80000 | 68386 62920 113 | 0.000 % |
173.89/174.07 c | 319334 | 800 16000 80000 | 68386 63021 113 | 0.000 % |
173.99/174.13 c | 319444 | 800 16000 80000 | 68386 63131 113 | 0.000 % |
174.09/174.21 c | 319566 | 800 16000 80000 | 68386 63253 113 | 0.000 % |
174.19/174.30 c | 319699 | 800 16000 80000 | 68386 63386 113 | 0.000 % |
174.29/174.41 c | 319845 | 800 16000 80000 | 68386 63532 113 | 0.000 % |
174.39/174.52 c | 320006 | 800 16000 80000 | 2147483647 63693 113 | 0.000 % |
174.49/174.64 c | 320182 | 800 16000 80000 | 2147483647 63869 113 | 0.000 % |
174.59/174.75 c | 320375 | 800 16000 80000 | 2147483647 64062 113 | 0.000 % |
174.69/174.87 c | 320589 | 800 16000 80000 | 2147483647 64276 113 | 0.000 % |
174.89/175.02 c | 320823 | 800 16000 80000 | 2147483647 64510 113 | 0.000 % |
174.99/175.17 c | 321081 | 800 16000 80000 | 2147483647 64768 113 | 0.000 % |
175.19/175.37 c | 321365 | 800 16000 80000 | 2147483647 65052 113 | 0.000 % |
175.39/175.55 c | 321677 | 800 16000 80000 | 2147483647 65364 113 | 0.000 % |
175.59/175.74 c | 322017 | 800 16000 80000 | 2147483647 65704 113 | 0.000 % |
175.79/175.99 c | 322389 | 800 16000 80000 | 2147483647 66076 113 | 0.000 % |
176.08/176.25 c | 322798 | 800 16000 80000 | 2147483647 66485 113 | 0.000 % |
176.38/176.53 c | 323247 | 800 16000 80000 | 2147483647 66934 113 | 0.000 % |
176.68/176.81 c | 323740 | 800 16000 80000 | 2147483647 67427 113 | 0.000 % |
176.99/177.12 c | 324282 | 800 16000 80000 | 2147483647 67969 112 | 0.000 % |
177.28/177.44 c | 324878 | 800 16000 80000 | 2147483647 68565 112 | 0.000 % |
177.68/177.83 c | 325533 | 800 16000 80000 | 2147483647 69220 112 | 0.000 % |
178.18/178.31 c | 326254 | 800 16000 80000 | 2147483647 69941 112 | 0.000 % |
178.68/178.82 c | 327047 | 800 16000 80000 | 2147483647 70734 112 | 0.000 % |
179.19/179.37 c | 327920 | 800 16000 80000 | 2147483647 71607 112 | 0.000 % |
179.78/179.96 c | 328880 | 800 16000 80000 | 2147483647 72567 113 | 0.000 % |
180.48/180.63 c | 329936 | 800 16000 80000 | 2147483647 73623 113 | 0.000 % |
181.18/181.39 c | 331095 | 800 16000 80000 | 73687 66564 113 | 0.000 % |
181.88/182.09 c | 332369 | 800 16000 80000 | 73687 67838 113 | 0.000 % |
182.68/182.89 c | 333769 | 800 16000 80000 | 73687 69238 113 | 0.000 % |
183.68/183.82 c | 335309 | 800 16000 80000 | 73687 70778 113 | 0.000 % |
184.78/184.90 c | 337003 | 800 16000 80000 | 73687 72472 113 | 0.000 % |
185.88/186.07 c | 338866 | 800 16000 80000 | 73687 66197 113 | 0.000 % |
187.08/187.22 c | 340917 | 800 16000 80000 | 67334 60897 113 | 0.000 % |
188.18/188.38 c | 343171 | 800 16000 80000 | 67334 63151 113 | 0.000 % |
189.48/189.62 c | 345649 | 800 16000 80000 | 67334 65629 113 | 0.000 % |
190.98/191.12 c | 348374 | 800 16000 80000 | 67334 61591 113 | 0.000 % |
192.48/192.64 c | 351372 | 800 16000 80000 | 2147483647 64589 113 | 0.000 % |
194.28/194.43 c | 354669 | 800 16000 80000 | 2147483647 67886 113 | 0.000 % |
194.28/194.48 c | 354769 | 800 16000 80000 | 2147483647 67986 113 | 0.000 % |
194.38/194.55 c | 354884 | 800 16000 80000 | 2147483647 68101 113 | 0.000 % |
194.49/194.61 c | 355005 | 800 16000 80000 | 2147483647 68222 113 | 0.000 % |
194.59/194.73 c | 355139 | 800 16000 80000 | 2147483647 68356 113 | 0.000 % |
194.68/194.83 c | 355288 | 800 16000 80000 | 2147483647 68505 113 | 0.000 % |
194.78/194.94 c | 355448 | 800 16000 80000 | 2147483647 68665 113 | 0.000 % |
194.88/195.06 c | 355624 | 800 16000 80000 | 2147483647 68841 113 | 0.000 % |
194.98/195.19 c | 355817 | 800 16000 80000 | 2147483647 69034 113 | 0.000 % |
195.18/195.33 c | 356029 | 800 16000 80000 | 2147483647 69246 113 | 0.000 % |
195.28/195.49 c | 356262 | 800 16000 80000 | 2147483647 69479 113 | 0.000 % |
195.49/195.65 c | 356520 | 800 16000 80000 | 2147483647 69737 113 | 0.000 % |
195.69/195.85 c | 356801 | 800 16000 80000 | 2147483647 70018 113 | 0.000 % |
195.89/196.05 c | 357112 | 800 16000 80000 | 2147483647 70329 113 | 0.000 % |
196.08/196.27 c | 357453 | 800 16000 80000 | 2147483647 70670 113 | 0.000 % |
196.28/196.49 c | 357826 | 800 16000 80000 | 2147483647 71043 113 | 0.000 % |
196.58/196.75 c | 358235 | 800 16000 80000 | 2147483647 71452 113 | 0.000 % |
196.88/197.02 c | 358684 | 800 16000 80000 | 2147483647 71901 113 | 0.000 % |
197.18/197.32 c | 359177 | 800 16000 80000 | 2147483647 72394 113 | 0.000 % |
197.48/197.63 c | 359719 | 800 16000 80000 | 2147483647 72936 113 | 0.000 % |
197.79/197.97 c | 360315 | 800 16000 80000 | 2147483647 73532 113 | 0.000 % |
198.28/198.40 c | 360970 | 800 16000 80000 | 2147483647 74187 113 | 0.000 % |
198.68/198.85 c | 361690 | 800 16000 80000 | 2147483647 74907 113 | 0.000 % |
199.18/199.36 c | 362484 | 800 16000 80000 | 2147483647 75701 113 | 0.000 % |
199.78/199.91 c | 363355 | 800 16000 80000 | 2147483647 76572 113 | 0.000 % |
200.38/200.51 c | 364313 | 800 16000 80000 | 2147483647 77530 113 | 0.000 % |
200.98/201.19 c | 365368 | 800 16000 80000 | 2147483647 78585 113 | 0.000 % |
201.78/201.94 c | 366527 | 800 16000 80000 | 2147483647 79744 113 | 0.000 % |
202.68/202.80 c | 367800 | 800 16000 80000 | 2147483647 81017 113 | 0.000 % |
203.58/203.78 c | 369202 | 800 16000 80000 | 2147483647 82419 113 | 0.000 % |
204.68/204.83 c | 370744 | 800 16000 80000 | 83218 71992 113 | 0.000 % |
205.68/205.87 c | 372438 | 800 16000 80000 | 83218 73686 113 | 0.000 % |
206.88/207.02 c | 374301 | 800 16000 80000 | 83218 75549 114 | 0.000 % |
208.08/208.29 c | 376351 | 800 16000 80000 | 83218 77599 113 | 0.000 % |
209.58/209.77 c | 378604 | 800 16000 80000 | 83218 79852 114 | 0.000 % |
211.18/211.37 c | 381083 | 800 16000 80000 | 81249 71173 113 | 0.000 % |
212.98/213.16 c | 383808 | 800 16000 80000 | 81249 73898 114 | 0.000 % |
214.87/215.04 c | 386805 | 800 16000 80000 | 81249 76895 114 | 0.000 % |
217.07/217.20 c | 390101 | 800 16000 80000 | 80090 80191 114 | 0.000 % |
219.27/219.43 c | 393726 | 800 16000 80000 | 80090 72714 114 | 0.000 % |
219.37/219.50 c | 393826 | 800 16000 80000 | 80090 72814 114 | 0.000 % |
219.37/219.56 c | 393936 | 800 16000 80000 | 80090 72924 114 | 0.000 % |
219.47/219.65 c | 394057 | 800 16000 80000 | 80090 73045 114 | 0.000 % |
219.57/219.75 c | 394190 | 800 16000 80000 | 80090 73178 114 | 0.000 % |
219.67/219.85 c | 394336 | 800 16000 80000 | 80090 73324 114 | 0.000 % |
219.78/219.96 c | 394496 | 800 16000 80000 | 80090 73484 114 | 0.000 % |
219.88/220.09 c | 394674 | 800 16000 80000 | 80090 73662 114 | 0.000 % |
220.07/220.21 c | 394868 | 800 16000 80000 | 80090 73856 114 | 0.000 % |
220.17/220.36 c | 395080 | 800 16000 80000 | 80090 74068 114 | 0.000 % |
220.37/220.54 c | 395315 | 800 16000 80000 | 80090 74303 114 | 0.000 % |
220.57/220.71 c | 395572 | 800 16000 80000 | 80090 74560 114 | 0.000 % |
220.77/220.93 c | 395853 | 800 16000 80000 | 80090 74841 114 | 0.000 % |
220.97/221.16 c | 396163 | 800 16000 80000 | 80090 75151 114 | 0.000 % |
221.27/221.40 c | 396504 | 800 16000 80000 | 80090 75492 114 | 0.000 % |
221.47/221.67 c | 396877 | 800 16000 80000 | 80090 75865 114 | 0.000 % |
221.77/221.97 c | 397289 | 800 16000 80000 | 80090 76277 114 | 0.000 % |
222.07/222.26 c | 397738 | 800 16000 80000 | 80090 76726 114 | 0.000 % |
222.37/222.59 c | 398232 | 800 16000 80000 | 80090 77220 114 | 0.000 % |
222.77/222.95 c | 398775 | 800 16000 80000 | 80090 77763 114 | 0.000 % |
223.17/223.34 c | 399372 | 800 16000 80000 | 80090 78360 114 | 0.000 % |
223.57/223.76 c | 400030 | 800 16000 80000 | 78989 79018 114 | 0.000 % |
224.07/224.26 c | 400752 | 800 16000 80000 | 78989 68996 113 | 0.000 % |
224.57/224.73 c | 401544 | 800 16000 80000 | 78989 69788 113 | 0.000 % |
225.07/225.24 c | 402417 | 800 16000 80000 | 78989 70661 113 | 0.000 % |
225.67/225.82 c | 403375 | 800 16000 80000 | 78989 71619 114 | 0.000 % |
226.37/226.51 c | 404429 | 800 16000 80000 | 78989 72673 113 | 0.000 % |
227.07/227.21 c | 405588 | 800 16000 80000 | 78989 73832 113 | 0.000 % |
227.87/228.07 c | 406861 | 800 16000 80000 | 78989 75105 114 | 0.000 % |
228.77/228.94 c | 408263 | 800 16000 80000 | 78989 76507 114 | 0.000 % |
229.77/229.93 c | 409805 | 800 16000 80000 | 78989 78049 114 | 0.000 % |
230.77/230.94 c | 411501 | 800 16000 80000 | 78245 69543 114 | 0.000 % |
231.76/231.99 c | 413368 | 800 16000 80000 | 78245 71410 114 | 0.000 % |
233.07/233.22 c | 415417 | 800 16000 80000 | 78245 73459 114 | 0.000 % |
234.36/234.59 c | 417670 | 800 16000 80000 | 78245 75712 114 | 0.000 % |
236.06/236.21 c | 420148 | 800 16000 80000 | 78044 78190 114 | 0.000 % |
237.66/237.90 c | 422873 | 800 16000 80000 | 78044 71399 114 | 0.000 % |
239.46/239.68 c | 425870 | 800 16000 80000 | 78044 74396 114 | 0.000 % |
241.66/241.86 c | 429167 | 800 16000 80000 | 78044 77693 114 | 0.000 % |
243.76/243.99 c | 432792 | 800 16000 80000 | 69200 63690 114 | 0.000 % |
246.16/246.34 c | 436779 | 800 16000 80000 | 69200 67677 114 | 0.000 % |
246.16/246.39 c | 436881 | 800 16000 80000 | 69200 67779 114 | 0.000 % |
246.26/246.46 c | 436991 | 800 16000 80000 | 69200 67889 114 | 0.000 % |
246.36/246.53 c | 437115 | 800 16000 80000 | 69200 68013 114 | 0.000 % |
246.46/246.61 c | 437250 | 800 16000 80000 | 69200 68148 114 | 0.000 % |
246.56/246.70 c | 437397 | 800 16000 80000 | 69200 68295 114 | 0.000 % |
246.66/246.81 c | 437557 | 800 16000 80000 | 69200 68455 114 | 0.000 % |
246.76/246.93 c | 437738 | 800 16000 80000 | 69200 68636 114 | 0.000 % |
246.86/247.05 c | 437931 | 800 16000 80000 | 69200 68829 114 | 0.000 % |
246.96/247.17 c | 438143 | 800 16000 80000 | 69200 69041 114 | 0.000 % |
247.16/247.30 c | 438378 | 800 16000 80000 | 69200 69276 114 | 0.000 % |
247.36/247.50 c | 438634 | 800 16000 80000 | 69200 62605 114 | 0.000 % |
247.46/247.64 c | 438917 | 800 16000 80000 | 69200 62888 114 | 0.000 % |
247.66/247.82 c | 439226 | 800 16000 80000 | 69200 63197 114 | 0.000 % |
247.86/248.00 c | 439565 | 800 16000 80000 | 69200 63536 114 | 0.000 % |
248.06/248.25 c | 439937 | 800 16000 80000 | 69200 63908 114 | 0.000 % |
248.26/248.49 c | 440351 | 800 16000 80000 | 2147483647 64322 114 | 0.000 % |
248.56/248.76 c | 440800 | 800 16000 80000 | 2147483647 64771 114 | 0.000 % |
248.86/249.04 c | 441294 | 800 16000 80000 | 2147483647 65265 113 | 0.000 % |
249.16/249.31 c | 441836 | 800 16000 80000 | 2147483647 65807 113 | 0.000 % |
249.46/249.63 c | 442433 | 800 16000 80000 | 2147483647 66404 113 | 0.000 % |
249.76/249.99 c | 443088 | 800 16000 80000 | 2147483647 67059 114 | 0.000 % |
250.25/250.46 c | 443809 | 800 16000 80000 | 2147483647 67780 113 | 0.000 % |
250.75/250.92 c | 444601 | 800 16000 80000 | 2147483647 68572 113 | 0.000 % |
251.25/251.42 c | 445473 | 800 16000 80000 | 2147483647 69444 114 | 0.000 % |
251.76/251.96 c | 446433 | 800 16000 80000 | 2147483647 70404 114 | 0.000 % |
252.35/252.55 c | 447488 | 800 16000 80000 | 2147483647 71459 114 | 0.000 % |
253.05/253.24 c | 448648 | 800 16000 80000 | 2147483647 72619 114 | 0.000 % |
253.86/254.04 c | 449921 | 800 16000 80000 | 2147483647 73892 114 | 0.000 % |
254.65/254.88 c | 451322 | 800 16000 80000 | 73972 67534 113 | 0.000 % |
255.55/255.75 c | 452862 | 800 16000 80000 | 73972 69074 113 | 0.000 % |
256.55/256.71 c | 454556 | 800 16000 80000 | 73972 70768 113 | 0.000 % |
257.75/257.92 c | 456419 | 800 16000 80000 | 73972 72631 113 | 0.000 % |
259.05/259.24 c | 458469 | 800 16000 80000 | 73972 66463 113 | 0.000 % |
260.35/260.56 c | 460722 | 800 16000 80000 | 67994 61407 113 | 0.000 % |
261.75/261.95 c | 463200 | 800 16000 80000 | 67994 63885 113 | 0.000 % |
263.35/263.52 c | 465927 | 800 16000 80000 | 67994 66612 114 | 0.000 % |
265.05/265.22 c | 468924 | 800 16000 80000 | 67994 62781 114 | 0.000 % |
266.84/267.06 c | 472221 | 800 16000 80000 | 2147483647 66078 114 | 0.000 % |
268.84/269.07 c | 475846 | 800 16000 80000 | 2147483647 69703 115 | 0.000 % |
271.34/271.54 c | 479833 | 800 16000 80000 | 2147483647 73690 115 | 0.000 % |
274.34/274.56 c | 484218 | 800 16000 80000 | 2147483647 78075 115 | 0.000 % |
274.44/274.63 c | 484318 | 800 16000 80000 | 2147483647 78175 115 | 0.000 % |
274.54/274.71 c | 484428 | 800 16000 80000 | 2147483647 78285 115 | 0.000 % |
274.64/274.81 c | 484549 | 800 16000 80000 | 2147483647 78406 115 | 0.000 % |
274.74/274.91 c | 484682 | 800 16000 80000 | 2147483647 78539 115 | 0.000 % |
274.84/275.01 c | 484828 | 800 16000 80000 | 2147483647 78685 115 | 0.000 % |
274.94/275.13 c | 484989 | 800 16000 80000 | 2147483647 78846 115 | 0.000 % |
275.04/275.27 c | 485166 | 800 16000 80000 | 2147483647 79023 115 | 0.000 % |
275.24/275.40 c | 485359 | 800 16000 80000 | 2147483647 79216 115 | 0.000 % |
275.34/275.56 c | 485571 | 800 16000 80000 | 2147483647 79428 115 | 0.000 % |
275.53/275.75 c | 485806 | 800 16000 80000 | 2147483647 79663 115 | 0.000 % |
275.73/275.95 c | 486062 | 800 16000 80000 | 2147483647 79919 115 | 0.000 % |
275.94/276.15 c | 486343 | 800 16000 80000 | 2147483647 80200 115 | 0.000 % |
276.13/276.36 c | 486652 | 800 16000 80000 | 2147483647 80509 115 | 0.000 % |
276.33/276.59 c | 486993 | 800 16000 80000 | 2147483647 80850 115 | 0.000 % |
276.63/276.87 c | 487366 | 800 16000 80000 | 2147483647 81223 115 | 0.000 % |
276.94/277.17 c | 487776 | 800 16000 80000 | 2147483647 81633 115 | 0.000 % |
277.23/277.49 c | 488225 | 800 16000 80000 | 2147483647 82082 115 | 0.000 % |
277.63/277.85 c | 488719 | 800 16000 80000 | 2147483647 82576 115 | 0.000 % |
278.04/278.24 c | 489261 | 800 16000 80000 | 2147483647 83118 115 | 0.000 % |
278.43/278.64 c | 489858 | 800 16000 80000 | 2147483647 83715 115 | 0.000 % |
278.93/279.16 c | 490514 | 800 16000 80000 | 83857 72659 114 | 0.000 % |
279.43/279.62 c | 491234 | 800 16000 80000 | 83857 73379 114 | 0.000 % |
279.83/280.09 c | 492026 | 800 16000 80000 | 83857 74171 114 | 0.000 % |
280.43/280.67 c | 492897 | 800 16000 80000 | 83857 75042 114 | 0.000 % |
281.13/281.32 c | 493855 | 800 16000 80000 | 83857 76000 114 | 0.000 % |
281.83/282.03 c | 494910 | 800 16000 80000 | 83857 77055 114 | 0.000 % |
282.63/282.81 c | 496068 | 800 16000 80000 | 83857 78213 114 | 0.000 % |
283.43/283.68 c | 497342 | 800 16000 80000 | 83857 79487 114 | 0.000 % |
284.43/284.62 c | 498742 | 800 16000 80000 | 83857 80887 114 | 0.000 % |
285.33/285.58 c | 500283 | 800 16000 80000 | 82145 82428 114 | 0.000 % |
286.43/286.61 c | 501978 | 800 16000 80000 | 82145 71806 114 | 0.000 % |
287.53/287.74 c | 503842 | 800 16000 80000 | 82145 73670 114 | 0.000 % |
288.83/289.02 c | 505892 | 800 16000 80000 | 82145 75720 114 | 0.000 % |
290.23/290.47 c | 508145 | 800 16000 80000 | 82145 77973 114 | 0.000 % |
291.83/292.02 c | 510623 | 800 16000 80000 | 79828 69577 115 | 0.000 % |
293.43/293.61 c | 513349 | 800 16000 80000 | 79828 72303 115 | 0.000 % |
295.13/295.36 c | 516349 | 800 16000 80000 | 79828 75303 115 | 0.000 % |
297.33/297.52 c | 519645 | 800 16000 80000 | 79828 78599 115 | 0.000 % |
299.43/299.69 c | 523271 | 800 16000 80000 | 78955 72173 116 | 0.000 % |
301.83/302.09 c | 527259 | 800 16000 80000 | 78955 76161 116 | 0.000 % |
304.62/304.87 c | 531644 | 800 16000 80000 | 78902 70741 116 | 0.000 % |
307.62/307.86 c | 536467 | 800 16000 80000 | 78902 75564 116 | 0.000 % |
307.73/307.92 c | 536567 | 800 16000 80000 | 78902 75664 116 | 0.000 % |
307.83/308.01 c | 536681 | 800 16000 80000 | 78902 75778 116 | 0.000 % |
307.92/308.11 c | 536803 | 800 16000 80000 | 78902 75900 116 | 0.000 % |
308.02/308.22 c | 536939 | 800 16000 80000 | 78902 76036 116 | 0.000 % |
308.12/308.33 c | 537087 | 800 16000 80000 | 78902 76184 116 | 0.000 % |
308.22/308.46 c | 537247 | 800 16000 80000 | 78902 76344 116 | 0.000 % |
308.32/308.59 c | 537424 | 800 16000 80000 | 78902 76521 116 | 0.000 % |
308.52/308.74 c | 537620 | 800 16000 80000 | 78902 76717 116 | 0.000 % |
308.62/308.88 c | 537833 | 800 16000 80000 | 78902 76930 116 | 0.000 % |
308.83/309.06 c | 538067 | 800 16000 80000 | 78902 77164 116 | 0.000 % |
309.02/309.24 c | 538323 | 800 16000 80000 | 78902 77420 116 | 0.000 % |
309.22/309.42 c | 538605 | 800 16000 80000 | 78902 77702 116 | 0.000 % |
309.42/309.62 c | 538915 | 800 16000 80000 | 78902 78012 116 | 0.000 % |
309.62/309.84 c | 539254 | 800 16000 80000 | 78902 78351 116 | 0.000 % |
309.82/310.06 c | 539626 | 800 16000 80000 | 78902 78723 116 | 0.000 % |
310.12/310.33 c | 540036 | 800 16000 80000 | 79097 79133 116 | 0.000 % |
310.52/310.70 c | 540485 | 800 16000 80000 | 79097 68956 115 | 0.000 % |
310.82/311.02 c | 540981 | 800 16000 80000 | 79097 69452 115 | 0.000 % |
311.12/311.37 c | 541523 | 800 16000 80000 | 79097 69994 115 | 0.000 % |
311.52/311.74 c | 542120 | 800 16000 80000 | 79097 70591 115 | 0.000 % |
311.92/312.18 c | 542775 | 800 16000 80000 | 79097 71246 115 | 0.000 % |
312.41/312.69 c | 543497 | 800 16000 80000 | 79097 71968 115 | 0.000 % |
312.91/313.17 c | 544289 | 800 16000 80000 | 79097 72760 115 | 0.000 % |
313.51/313.75 c | 545160 | 800 16000 80000 | 79097 73631 115 | 0.000 % |
314.11/314.37 c | 546119 | 800 16000 80000 | 79097 74590 115 | 0.000 % |
314.81/315.05 c | 547172 | 800 16000 80000 | 79097 75643 115 | 0.000 % |
315.51/315.79 c | 548330 | 800 16000 80000 | 79097 76801 115 | 0.000 % |
316.41/316.62 c | 549603 | 800 16000 80000 | 79097 78074 115 | 0.000 % |
317.31/317.52 c | 551003 | 800 16000 80000 | 78471 69012 115 | 0.000 % |
318.21/318.46 c | 552544 | 800 16000 80000 | 78471 70553 115 | 0.000 % |
319.31/319.55 c | 554239 | 800 16000 80000 | 78471 72248 115 | 0.000 % |
320.41/320.66 c | 556102 | 800 16000 80000 | 78471 74111 115 | 0.000 % |
321.61/321.84 c | 558151 | 800 16000 80000 | 78471 76160 115 | 0.000 % |
323.01/323.23 c | 560404 | 800 16000 80000 | 78009 68356 115 | 0.000 % |
324.41/324.60 c | 562884 | 800 16000 80000 | 78009 70836 115 | 0.000 % |
325.91/326.19 c | 565611 | 800 16000 80000 | 78009 73563 116 | 0.000 % |
327.81/328.05 c | 568610 | 800 16000 80000 | 78009 76562 116 | 0.000 % |
329.81/330.08 c | 571907 | 800 16000 80000 | 77953 70257 116 | 0.000 % |
332.01/332.23 c | 575534 | 800 16000 80000 | 77953 73884 116 | 0.000 % |
334.30/334.57 c | 579521 | 800 16000 80000 | 77953 77871 116 | 0.000 % |
336.60/336.88 c | 583908 | 800 16000 80000 | 69006 64855 116 | 0.000 % |
339.30/339.56 c | 588732 | 800 16000 80000 | 69006 62754 117 | 0.000 % |
342.40/342.68 c | 594037 | 800 16000 80000 | 2147483647 68059 117 | 0.000 % |
342.50/342.75 c | 594138 | 800 16000 80000 | 2147483647 68160 117 | 0.000 % |
342.60/342.82 c | 594248 | 800 16000 80000 | 2147483647 68270 117 | 0.000 % |
342.70/342.91 c | 594371 | 800 16000 80000 | 2147483647 68393 117 | 0.000 % |
342.70/342.99 c | 594504 | 800 16000 80000 | 2147483647 68526 117 | 0.000 % |
342.90/343.11 c | 594653 | 800 16000 80000 | 2147483647 68675 117 | 0.000 % |
343.00/343.21 c | 594813 | 800 16000 80000 | 2147483647 68835 117 | 0.000 % |
343.10/343.33 c | 594991 | 800 16000 80000 | 2147483647 69013 116 | 0.000 % |
343.20/343.46 c | 595185 | 800 16000 80000 | 2147483647 69207 116 | 0.000 % |
343.30/343.58 c | 595397 | 800 16000 80000 | 2147483647 69419 116 | 0.000 % |
343.50/343.73 c | 595630 | 800 16000 80000 | 2147483647 69652 116 | 0.000 % |
343.70/343.90 c | 595887 | 800 16000 80000 | 2147483647 69909 116 | 0.000 % |
343.80/344.08 c | 596170 | 800 16000 80000 | 2147483647 70192 116 | 0.000 % |
344.00/344.26 c | 596482 | 800 16000 80000 | 2147483647 70504 116 | 0.000 % |
344.20/344.47 c | 596822 | 800 16000 80000 | 2147483647 70844 116 | 0.000 % |
344.40/344.69 c | 597194 | 800 16000 80000 | 2147483647 71216 116 | 0.000 % |
344.70/344.94 c | 597604 | 800 16000 80000 | 2147483647 71626 116 | 0.000 % |
344.90/345.20 c | 598053 | 800 16000 80000 | 2147483647 72075 116 | 0.000 % |
345.30/345.55 c | 598547 | 800 16000 80000 | 2147483647 72569 116 | 0.000 % |
345.70/345.94 c | 599091 | 800 16000 80000 | 2147483647 73113 116 | 0.000 % |
346.10/346.32 c | 599689 | 800 16000 80000 | 2147483647 73711 116 | 0.000 % |
346.51/346.78 c | 600345 | 800 16000 80000 | 74022 66284 115 | 0.000 % |
346.91/347.18 c | 601066 | 800 16000 80000 | 74022 67005 115 | 0.000 % |
347.41/347.64 c | 601858 | 800 16000 80000 | 74022 67797 115 | 0.000 % |
347.91/348.17 c | 602729 | 800 16000 80000 | 74022 68668 115 | 0.000 % |
348.51/348.78 c | 603687 | 800 16000 80000 | 74022 69626 115 | 0.000 % |
349.10/349.34 c | 604741 | 800 16000 80000 | 74022 70680 115 | 0.000 % |
349.70/349.99 c | 605900 | 800 16000 80000 | 74022 71839 115 | 0.000 % |
350.50/350.76 c | 607176 | 800 16000 80000 | 74022 73115 115 | 0.000 % |
351.40/351.64 c | 608578 | 800 16000 80000 | 74022 66709 115 | 0.000 % |
352.30/352.56 c | 610119 | 800 16000 80000 | 68134 68250 115 | 0.000 % |
353.30/353.53 c | 611814 | 800 16000 80000 | 68134 62654 116 | 0.000 % |
354.30/354.57 c | 613678 | 800 16000 80000 | 68134 64518 116 | 0.000 % |
355.50/355.73 c | 615728 | 800 16000 80000 | 68134 66568 116 | 0.000 % |
356.80/357.06 c | 617981 | 800 16000 80000 | 68134 61979 116 | 0.000 % |
358.10/358.33 c | 620460 | 800 16000 80000 | 2147483647 64458 116 | 0.000 % |
359.60/359.88 c | 623186 | 800 16000 80000 | 2147483647 67184 116 | 0.000 % |
361.30/361.57 c | 626184 | 800 16000 80000 | 2147483647 70182 116 | 0.000 % |
363.30/363.55 c | 629480 | 800 16000 80000 | 2147483647 73478 116 | 0.000 % |
365.59/365.82 c | 633106 | 800 16000 80000 | 2147483647 77104 116 | 0.000 % |
368.30/368.51 c | 637093 | 800 16000 80000 | 2147483647 81091 116 | 0.000 % |
371.29/371.55 c | 641480 | 800 16000 80000 | 83998 73326 116 | 0.000 % |
374.39/374.62 c | 646304 | 800 16000 80000 | 83998 78150 116 | 0.000 % |
377.89/378.10 c | 651614 | 800 16000 80000 | 81847 70691 116 | 0.000 % |
381.69/381.94 c | 657449 | 800 16000 80000 | 81847 76526 117 | 0.000 % |
381.79/382.01 c | 657551 | 800 16000 80000 | 81847 76628 117 | 0.000 % |
381.89/382.10 c | 657661 | 800 16000 80000 | 81847 76738 117 | 0.000 % |
381.89/382.18 c | 657783 | 800 16000 80000 | 81847 76860 117 | 0.000 % |
381.99/382.29 c | 657918 | 800 16000 80000 | 81847 76995 117 | 0.000 % |
382.19/382.41 c | 658064 | 800 16000 80000 | 81847 77141 117 | 0.000 % |
382.28/382.54 c | 658226 | 800 16000 80000 | 81847 77303 116 | 0.000 % |
382.38/382.68 c | 658404 | 800 16000 80000 | 81847 77481 116 | 0.000 % |
382.59/382.83 c | 658598 | 800 16000 80000 | 81847 77675 116 | 0.000 % |
382.68/382.99 c | 658811 | 800 16000 80000 | 81847 77888 116 | 0.000 % |
382.88/383.18 c | 659044 | 800 16000 80000 | 81847 78121 116 | 0.000 % |
383.08/383.37 c | 659300 | 800 16000 80000 | 81847 78377 116 | 0.000 % |
383.29/383.55 c | 659581 | 800 16000 80000 | 81847 78658 116 | 0.000 % |
383.59/383.81 c | 659890 | 800 16000 80000 | 81847 78967 116 | 0.000 % |
383.78/384.04 c | 660229 | 800 16000 80000 | 79078 79306 116 | 0.000 % |
384.08/384.30 c | 660601 | 800 16000 80000 | 79078 67657 115 | 0.000 % |
384.28/384.56 c | 661010 | 800 16000 80000 | 79078 68066 115 | 0.000 % |
384.58/384.84 c | 661459 | 800 16000 80000 | 79078 68515 115 | 0.000 % |
384.88/385.15 c | 661953 | 800 16000 80000 | 79078 69009 115 | 0.000 % |
385.18/385.45 c | 662495 | 800 16000 80000 | 79078 69551 115 | 0.000 % |
385.58/385.80 c | 663093 | 800 16000 80000 | 79078 70149 115 | 0.000 % |
385.98/386.21 c | 663748 | 800 16000 80000 | 79078 70804 115 | 0.000 % |
386.38/386.69 c | 664468 | 800 16000 80000 | 79078 71524 115 | 0.000 % |
386.99/387.21 c | 665260 | 800 16000 80000 | 79078 72316 115 | 0.000 % |
387.48/387.75 c | 666133 | 800 16000 80000 | 79078 73189 115 | 0.000 % |
388.09/388.36 c | 667092 | 800 16000 80000 | 79078 74148 115 | 0.000 % |
388.88/389.11 c | 668145 | 800 16000 80000 | 79078 75201 115 | 0.000 % |
389.58/389.89 c | 669304 | 800 16000 80000 | 79078 76360 115 | 0.000 % |
390.48/390.79 c | 670577 | 800 16000 80000 | 77056 66958 116 | 0.000 % |
391.39/391.61 c | 671979 | 800 16000 80000 | 77056 68360 116 | 0.000 % |
392.28/392.53 c | 673519 | 800 16000 80000 | 77056 69900 116 | 0.000 % |
393.28/393.60 c | 675214 | 800 16000 80000 | 77056 71595 115 | 0.000 % |
394.48/394.77 c | 677077 | 800 16000 80000 | 77056 73458 115 | 0.000 % |
395.88/396.12 c | 679128 | 800 16000 80000 | 77056 75509 115 | 0.000 % |
397.18/397.42 c | 681381 | 800 16000 80000 | 76381 68270 116 | 0.000 % |
398.58/398.85 c | 683862 | 800 16000 80000 | 76381 70751 116 | 0.000 % |
400.28/400.52 c | 686587 | 800 16000 80000 | 76381 73476 116 | 0.000 % |
402.28/402.51 c | 689585 | 800 16000 80000 | 76381 76474 116 | 0.000 % |
404.17/404.46 c | 692881 | 800 16000 80000 | 67535 62176 116 | 0.000 % |
406.17/406.44 c | 696506 | 800 16000 80000 | 67535 65801 116 | 0.000 % |
408.47/408.74 c | 700493 | 800 16000 80000 | 2147483647 63008 115 | 0.000 % |
411.07/411.33 c | 704879 | 800 16000 80000 | 2147483647 67394 115 | 0.000 % |
414.16/414.45 c | 709702 | 800 16000 80000 | 2147483647 72217 116 | 0.000 % |
417.26/417.50 c | 715008 | 800 16000 80000 | 72516 69901 115 | 0.000 % |
420.86/421.15 c | 720843 | 800 16000 80000 | 66570 59552 114 | 0.000 % |
424.36/424.67 c | 727261 | 800 16000 80000 | 66570 65970 114 | 0.000 % |
424.46/424.73 c | 727361 | 800 16000 80000 | 66570 66070 114 | 0.000 % |
424.56/424.80 c | 727472 | 800 16000 80000 | 66570 66181 114 | 0.000 % |
424.56/424.88 c | 727593 | 800 16000 80000 | 66570 66302 114 | 0.000 % |
424.66/424.99 c | 727727 | 800 16000 80000 | 66570 66436 114 | 0.000 % |
424.76/425.09 c | 727873 | 800 16000 80000 | 66570 66582 114 | 0.000 % |
424.96/425.22 c | 728034 | 800 16000 80000 | 66570 60085 115 | 0.000 % |
425.06/425.33 c | 728210 | 800 16000 80000 | 66570 60261 115 | 0.000 % |
425.16/425.45 c | 728404 | 800 16000 80000 | 66570 60455 115 | 0.000 % |
425.26/425.57 c | 728617 | 800 16000 80000 | 66570 60668 115 | 0.000 % |
425.46/425.71 c | 728850 | 800 16000 80000 | 66570 60901 115 | 0.000 % |
425.56/425.84 c | 729107 | 800 16000 80000 | 66570 61158 115 | 0.000 % |
425.76/426.00 c | 729388 | 800 16000 80000 | 66570 61439 115 | 0.000 % |
425.86/426.18 c | 729698 | 800 16000 80000 | 66570 61749 115 | 0.000 % |
426.06/426.38 c | 730037 | 800 16000 80000 | 2147483647 62088 115 | 0.000 % |
426.36/426.62 c | 730410 | 800 16000 80000 | 2147483647 62461 115 | 0.000 % |
426.56/426.87 c | 730819 | 800 16000 80000 | 2147483647 62870 115 | 0.000 % |
426.86/427.12 c | 731269 | 800 16000 80000 | 2147483647 63320 115 | 0.000 % |
427.16/427.42 c | 731762 | 800 16000 80000 | 2147483647 63813 115 | 0.000 % |
427.46/427.71 c | 732307 | 800 16000 80000 | 2147483647 64358 115 | 0.000 % |
427.76/428.06 c | 732903 | 800 16000 80000 | 2147483647 64954 115 | 0.000 % |
428.16/428.43 c | 733559 | 800 16000 80000 | 2147483647 65610 114 | 0.000 % |
428.66/428.94 c | 734282 | 800 16000 80000 | 2147483647 66333 114 | 0.000 % |
429.16/429.46 c | 735074 | 800 16000 80000 | 2147483647 67125 114 | 0.000 % |
429.76/430.01 c | 735946 | 800 16000 80000 | 2147483647 67997 114 | 0.000 % |
430.26/430.59 c | 736904 | 800 16000 80000 | 2147483647 68955 114 | 0.000 % |
430.96/431.24 c | 737958 | 800 16000 80000 | 2147483647 70009 114 | 0.000 % |
431.66/431.93 c | 739116 | 800 16000 80000 | 2147483647 71167 114 | 0.000 % |
432.46/432.75 c | 740389 | 800 16000 80000 | 72054 64998 115 | 0.000 % |
433.26/433.53 c | 741789 | 800 16000 80000 | 72054 66398 115 | 0.000 % |
434.16/434.42 c | 743330 | 800 16000 80000 | 72054 67939 115 | 0.000 % |
435.05/435.39 c | 745024 | 800 16000 80000 | 72054 69633 114 | 0.000 % |
436.36/436.63 c | 746887 | 800 16000 80000 | 72054 71496 115 | 0.000 % |
437.65/437.91 c | 748936 | 800 16000 80000 | 72054 65945 114 | 0.000 % |
438.95/439.21 c | 751190 | 800 16000 80000 | 67010 61451 114 | 0.000 % |
440.25/440.50 c | 753669 | 800 16000 80000 | 67010 63930 114 | 0.000 % |
441.85/442.13 c | 756394 | 800 16000 80000 | 67010 66655 114 | 0.000 % |
443.45/443.77 c | 759391 | 800 16000 80000 | 67010 62924 114 | 0.000 % |
445.25/445.56 c | 762688 | 800 16000 80000 | 2147483647 66221 114 | 0.000 % |
447.25/447.54 c | 766313 | 800 16000 80000 | 2147483647 69846 114 | 0.000 % |
449.45/449.75 c | 770303 | 800 16000 80000 | 2147483647 73836 114 | 0.000 % |
452.24/452.57 c | 774689 | 800 16000 80000 | 2147483647 78222 114 | 0.000 % |
455.64/455.96 c | 779512 | 800 16000 80000 | 2147483647 83045 114 | 0.000 % |
459.04/459.36 c | 784817 | 800 16000 80000 | 83534 75967 114 | 0.000 % |
462.84/463.18 c | 790652 | 800 16000 80000 | 81150 69712 115 | 0.000 % |
466.94/467.27 c | 797071 | 800 16000 80000 | 81150 76131 116 | 0.000 % |
471.24/471.53 c | 804130 | 800 16000 80000 | 79063 70829 117 | 0.000 % |
471.24/471.59 c | 804230 | 800 16000 80000 | 79063 70929 117 | 0.000 % |
471.34/471.67 c | 804340 | 800 16000 80000 | 79063 71039 117 | 0.000 % |
471.44/471.75 c | 804461 | 800 16000 80000 | 79063 71160 117 | 0.000 % |
471.54/471.84 c | 804595 | 800 16000 80000 | 79063 71294 117 | 0.000 % |
471.64/471.95 c | 804742 | 800 16000 80000 | 79063 71441 117 | 0.000 % |
471.74/472.07 c | 804903 | 800 16000 80000 | 79063 71602 117 | 0.000 % |
471.94/472.20 c | 805079 | 800 16000 80000 | 79063 71778 117 | 0.000 % |
472.04/472.35 c | 805272 | 800 16000 80000 | 79063 71971 117 | 0.000 % |
472.24/472.52 c | 805485 | 800 16000 80000 | 79063 72184 117 | 0.000 % |
472.33/472.67 c | 805718 | 800 16000 80000 | 79063 72417 117 | 0.000 % |
472.53/472.83 c | 805974 | 800 16000 80000 | 79063 72673 117 | 0.000 % |
472.74/473.04 c | 806258 | 800 16000 80000 | 79063 72957 117 | 0.000 % |
472.93/473.25 c | 806568 | 800 16000 80000 | 79063 73267 117 | 0.000 % |
473.13/473.49 c | 806907 | 800 16000 80000 | 79063 73606 117 | 0.000 % |
473.43/473.77 c | 807279 | 800 16000 80000 | 79063 73978 116 | 0.000 % |
473.74/474.04 c | 807690 | 800 16000 80000 | 79063 74389 116 | 0.000 % |
474.03/474.32 c | 808139 | 800 16000 80000 | 79063 74838 116 | 0.000 % |
474.33/474.61 c | 808634 | 800 16000 80000 | 79063 75333 116 | 0.000 % |
474.63/474.96 c | 809176 | 800 16000 80000 | 79063 75875 116 | 0.000 % |
475.03/475.35 c | 809774 | 800 16000 80000 | 79063 76473 116 | 0.000 % |
475.43/475.79 c | 810431 | 800 16000 80000 | 76700 65883 117 | 0.000 % |
475.83/476.18 c | 811152 | 800 16000 80000 | 76700 66604 117 | 0.000 % |
476.33/476.66 c | 811945 | 800 16000 80000 | 76700 67397 117 | 0.000 % |
476.83/477.16 c | 812816 | 800 16000 80000 | 76700 68268 117 | 0.000 % |
477.43/477.71 c | 813774 | 800 16000 80000 | 76700 69226 117 | 0.000 % |
478.03/478.34 c | 814828 | 800 16000 80000 | 76700 70280 117 | 0.000 % |
478.73/479.04 c | 815987 | 800 16000 80000 | 76700 71439 117 | 0.000 % |
479.43/479.79 c | 817260 | 800 16000 80000 | 76700 72712 117 | 0.000 % |
480.34/480.66 c | 818660 | 800 16000 80000 | 76700 74112 116 | 0.000 % |
481.33/481.61 c | 820204 | 800 16000 80000 | 75453 75656 116 | 0.000 % |
482.23/482.58 c | 821899 | 800 16000 80000 | 75453 67981 116 | 0.000 % |
483.33/483.66 c | 823762 | 800 16000 80000 | 75453 69844 116 | 0.000 % |
484.53/484.88 c | 825812 | 800 16000 80000 | 75453 71894 116 | 0.000 % |
485.93/486.28 c | 828065 | 800 16000 80000 | 75453 74147 116 | 0.000 % |
487.53/487.87 c | 830545 | 800 16000 80000 | 67459 60373 117 | 0.000 % |
488.93/489.28 c | 833272 | 800 16000 80000 | 67459 63100 117 | 0.000 % |
490.52/490.83 c | 836269 | 800 16000 80000 | 67459 66097 117 | 0.000 % |
492.32/492.66 c | 839567 | 800 16000 80000 | 67459 62620 116 | 0.000 % |
494.42/494.79 c | 843196 | 800 16000 80000 | 2147483647 66249 116 | 0.000 % |
496.83/497.15 c | 847183 | 800 16000 80000 | 2147483647 70236 116 | 0.000 % |
499.42/499.77 c | 851568 | 800 16000 80000 | 2147483647 74621 116 | 0.000 % |
502.92/503.27 c | 856391 | 800 16000 80000 | 2147483647 79444 116 | 0.000 % |
506.52/506.88 c | 861696 | 800 16000 80000 | 83054 72087 115 | 0.000 % |
510.32/510.61 c | 867533 | 800 16000 80000 | 83054 77924 116 | 0.000 % |
514.32/514.60 c | 873951 | 800 16000 80000 | 80392 72408 115 | 0.000 % |
519.12/519.41 c | 881013 | 800 16000 80000 | 78457 68196 117 | 0.000 % |
523.92/524.20 c | 888777 | 800 16000 80000 | 78457 75960 116 | 0.000 % |
523.92/524.27 c | 888879 | 800 16000 80000 | 78457 76062 116 | 0.000 % |
524.02/524.34 c | 888990 | 800 16000 80000 | 78457 76173 116 | 0.000 % |
524.12/524.43 c | 889112 | 800 16000 80000 | 78457 76295 116 | 0.000 % |
524.22/524.52 c | 889245 | 800 16000 80000 | 78457 76428 116 | 0.000 % |
524.32/524.63 c | 889391 | 800 16000 80000 | 78457 76574 116 | 0.000 % |
524.42/524.75 c | 889551 | 800 16000 80000 | 78457 76734 116 | 0.000 % |
524.62/524.90 c | 889727 | 800 16000 80000 | 78457 76910 116 | 0.000 % |
524.72/525.04 c | 889923 | 800 16000 80000 | 78457 77106 116 | 0.000 % |
524.82/525.19 c | 890138 | 800 16000 80000 | 77185 77321 116 | 0.000 % |
525.02/525.37 c | 890373 | 800 16000 80000 | 77185 67019 117 | 0.000 % |
525.22/525.53 c | 890630 | 800 16000 80000 | 77185 67276 117 | 0.000 % |
525.32/525.70 c | 890911 | 800 16000 80000 | 77185 67557 117 | 0.000 % |
525.53/525.88 c | 891220 | 800 16000 80000 | 77185 67866 117 | 0.000 % |
525.82/526.11 c | 891560 | 800 16000 80000 | 77185 68206 117 | 0.000 % |
526.02/526.39 c | 891932 | 800 16000 80000 | 77185 68578 117 | 0.000 % |
526.32/526.64 c | 892341 | 800 16000 80000 | 77185 68987 117 | 0.000 % |
526.52/526.90 c | 892791 | 800 16000 80000 | 77185 69437 117 | 0.000 % |
526.92/527.23 c | 893285 | 800 16000 80000 | 77185 69931 117 | 0.000 % |
527.22/527.57 c | 893830 | 800 16000 80000 | 77185 70476 117 | 0.000 % |
527.62/527.94 c | 894428 | 800 16000 80000 | 77185 71074 117 | 0.000 % |
528.02/528.32 c | 895084 | 800 16000 80000 | 77185 71730 117 | 0.000 % |
528.52/528.84 c | 895804 | 800 16000 80000 | 77185 72450 117 | 0.000 % |
529.02/529.31 c | 896600 | 800 16000 80000 | 77185 73246 117 | 0.000 % |
529.52/529.87 c | 897473 | 800 16000 80000 | 77185 74119 117 | 0.000 % |
530.12/530.47 c | 898434 | 800 16000 80000 | 77185 75080 116 | 0.000 % |
530.82/531.13 c | 899487 | 800 16000 80000 | 77185 76133 116 | 0.000 % |
531.62/531.94 c | 900646 | 800 16000 80000 | 76646 67294 116 | 0.000 % |
532.32/532.64 c | 901920 | 800 16000 80000 | 76646 68568 116 | 0.000 % |
533.22/533.51 c | 903322 | 800 16000 80000 | 76646 69970 116 | 0.000 % |
534.01/534.36 c | 904865 | 800 16000 80000 | 76646 71513 116 | 0.000 % |
535.11/535.45 c | 906559 | 800 16000 80000 | 76646 73207 116 | 0.000 % |
536.31/536.67 c | 908422 | 800 16000 80000 | 76646 75070 116 | 0.000 % |
537.71/538.03 c | 910472 | 800 16000 80000 | 76649 67748 116 | 0.000 % |
539.01/539.37 c | 912725 | 800 16000 80000 | 76649 70001 116 | 0.000 % |
540.51/540.84 c | 915204 | 800 16000 80000 | 76649 72480 116 | 0.000 % |
542.21/542.53 c | 917929 | 800 16000 80000 | 76649 75205 116 | 0.000 % |
544.11/544.44 c | 920927 | 800 16000 80000 | 68300 61317 116 | 0.000 % |
545.91/546.23 c | 924223 | 800 16000 80000 | 68300 64613 116 | 0.000 % |
547.80/548.20 c | 927849 | 800 16000 80000 | 68300 68239 116 | 0.000 % |
550.10/550.45 c | 931838 | 800 16000 80000 | 2147483647 65371 116 | 0.000 % |
552.60/552.99 c | 936226 | 800 16000 80000 | 2147483647 69759 116 | 0.000 % |
555.60/555.98 c | 941049 | 800 16000 80000 | 2147483647 74582 116 | 0.000 % |
559.10/559.49 c | 946354 | 800 16000 80000 | 2147483647 79887 117 | 0.000 % |
563.00/563.38 c | 952189 | 800 16000 80000 | 83533 72649 116 | 0.000 % |
566.90/567.24 c | 958607 | 800 16000 80000 | 83533 79067 116 | 0.000 % |
571.30/571.68 c | 965667 | 800 16000 80000 | 80460 73982 117 | 0.000 % |
576.10/576.45 c | 973432 | 800 16000 80000 | 78317 70470 119 | 0.000 % |
581.49/581.84 c | 981972 | 800 16000 80000 | 77040 68566 119 | 0.000 % |
581.59/581.91 c | 982072 | 800 16000 80000 | 77040 68666 119 | 0.000 % |
581.59/582.00 c | 982182 | 800 16000 80000 | 77040 68776 119 | 0.000 % |
581.69/582.07 c | 982305 | 800 16000 80000 | 77040 68899 119 | 0.000 % |
581.79/582.17 c | 982439 | 800 16000 80000 | 77040 69033 119 | 0.000 % |
581.89/582.26 c | 982585 | 800 16000 80000 | 77040 69179 119 | 0.000 % |
581.99/582.37 c | 982745 | 800 16000 80000 | 77040 69339 119 | 0.000 % |
582.09/582.49 c | 982923 | 800 16000 80000 | 77040 69517 119 | 0.000 % |
582.19/582.60 c | 983116 | 800 16000 80000 | 77040 69710 119 | 0.000 % |
582.39/582.74 c | 983328 | 800 16000 80000 | 77040 69922 119 | 0.000 % |
582.49/582.89 c | 983561 | 800 16000 80000 | 77040 70155 119 | 0.000 % |
582.69/583.06 c | 983818 | 800 16000 80000 | 77040 70412 119 | 0.000 % |
582.89/583.22 c | 984100 | 800 16000 80000 | 77040 70694 119 | 0.000 % |
583.09/583.42 c | 984411 | 800 16000 80000 | 77040 71005 119 | 0.000 % |
583.29/583.65 c | 984750 | 800 16000 80000 | 77040 71344 119 | 0.000 % |
583.49/583.89 c | 985123 | 800 16000 80000 | 77040 71717 119 | 0.000 % |
583.79/584.18 c | 985532 | 800 16000 80000 | 77040 72126 119 | 0.000 % |
584.09/584.46 c | 985981 | 800 16000 80000 | 77040 72575 119 | 0.000 % |
584.39/584.76 c | 986476 | 800 16000 80000 | 77040 73070 118 | 0.000 % |
584.79/585.10 c | 987018 | 800 16000 80000 | 77040 73612 118 | 0.000 % |
585.08/585.47 c | 987615 | 800 16000 80000 | 77040 74209 118 | 0.000 % |
585.48/585.87 c | 988273 | 800 16000 80000 | 77040 74867 118 | 0.000 % |
585.99/586.34 c | 988993 | 800 16000 80000 | 77040 75587 118 | 0.000 % |
586.48/586.85 c | 989785 | 800 16000 80000 | 77040 76379 118 | 0.000 % |
587.09/587.43 c | 990656 | 800 16000 80000 | 76595 66857 118 | 0.000 % |
587.58/587.97 c | 991614 | 800 16000 80000 | 76595 67815 118 | 0.000 % |
588.28/588.60 c | 992671 | 800 16000 80000 | 76595 68872 118 | 0.000 % |
588.88/589.25 c | 993829 | 800 16000 80000 | 76595 70030 118 | 0.000 % |
589.58/589.98 c | 995103 | 800 16000 80000 | 76595 71304 118 | 0.000 % |
590.48/590.85 c | 996503 | 800 16000 80000 | 76595 72704 118 | 0.000 % |
591.49/591.84 c | 998043 | 800 16000 80000 | 76595 74244 117 | 0.000 % |
592.68/593.04 c | 999738 | 800 16000 80000 | 76595 75939 117 | 0.000 % |
593.88/594.24 c | 1001601 | 800 16000 80000 | 76201 68289 117 | 0.000 % |
595.08/595.44 c | 1003650 | 800 16000 80000 | 76201 70338 118 | 0.000 % |
596.48/596.81 c | 1005904 | 800 16000 80000 | 76201 72592 118 | 0.000 % |
598.08/598.44 c | 1008384 | 800 16000 80000 | 76201 75072 117 | 0.000 % |
599.78/600.19 c | 1011110 | 800 16000 80000 | 67512 60511 116 | 0.000 % |
601.48/601.81 c | 1014107 | 800 16000 80000 | 67512 63508 116 | 0.000 % |
603.18/603.56 c | 1017403 | 800 16000 80000 | 67512 66804 116 | 0.000 % |
605.28/605.61 c | 1021028 | 800 16000 80000 | 2147483647 63651 116 | 0.000 % |
607.38/607.74 c | 1025015 | 800 16000 80000 | 2147483647 67638 116 | 0.000 % |
609.88/610.22 c | 1029401 | 800 16000 80000 | 2147483647 72024 116 | 0.000 % |
612.67/613.06 c | 1034227 | 800 16000 80000 | 2147483647 76850 117 | 0.000 % |
616.17/616.50 c | 1039533 | 800 16000 80000 | 2147483647 82156 117 | 0.000 % |
619.97/620.32 c | 1045368 | 800 16000 80000 | 82624 76378 117 | 0.000 % |
624.07/624.41 c | 1051786 | 800 16000 80000 | 81010 71065 116 | 0.000 % |
628.66/629.05 c | 1058846 | 800 16000 80000 | 81010 78125 117 | 0.000 % |
633.86/634.21 c | 1066610 | 800 16000 80000 | 79280 74165 118 | 0.000 % |
639.56/639.93 c | 1075152 | 800 16000 80000 | 77558 72365 119 | 0.000 % |
645.96/646.38 c | 1084546 | 800 16000 80000 | 77214 71219 119 | 0.000 % |
646.06/646.46 c | 1084647 | 800 16000 80000 | 77214 71320 119 | 0.000 % |
646.16/646.53 c | 1084757 | 800 16000 80000 | 77214 71430 119 | 0.000 % |
646.26/646.62 c | 1084878 | 800 16000 80000 | 77214 71551 119 | 0.000 % |
646.26/646.70 c | 1085012 | 800 16000 80000 | 77214 71685 119 | 0.000 % |
646.46/646.82 c | 1085159 | 800 16000 80000 | 77214 71832 119 | 0.000 % |
646.56/646.94 c | 1085319 | 800 16000 80000 | 77214 71992 119 | 0.000 % |
646.66/647.07 c | 1085496 | 800 16000 80000 | 77214 72169 119 | 0.000 % |
646.86/647.22 c | 1085690 | 800 16000 80000 | 77214 72363 119 | 0.000 % |
646.96/647.37 c | 1085906 | 800 16000 80000 | 77214 72579 119 | 0.000 % |
647.16/647.54 c | 1086140 | 800 16000 80000 | 77214 72813 119 | 0.000 % |
647.36/647.71 c | 1086398 | 800 16000 80000 | 77214 73071 119 | 0.000 % |
647.46/647.89 c | 1086679 | 800 16000 80000 | 77214 73352 119 | 0.000 % |
647.76/648.10 c | 1086989 | 800 16000 80000 | 77214 73662 119 | 0.000 % |
647.96/648.32 c | 1087328 | 800 16000 80000 | 77214 74001 119 | 0.000 % |
648.16/648.58 c | 1087702 | 800 16000 80000 | 77214 74375 119 | 0.000 % |
648.46/648.84 c | 1088112 | 800 16000 80000 | 77214 74785 119 | 0.000 % |
648.76/649.13 c | 1088561 | 800 16000 80000 | 77214 75234 119 | 0.000 % |
649.06/649.47 c | 1089054 | 800 16000 80000 | 77214 75727 118 | 0.000 % |
649.46/649.88 c | 1089596 | 800 16000 80000 | 77214 76269 118 | 0.000 % |
649.86/650.28 c | 1090192 | 800 16000 80000 | 76673 76865 118 | 0.000 % |
650.35/650.72 c | 1090848 | 800 16000 80000 | 76673 66837 118 | 0.000 % |
650.76/651.14 c | 1091568 | 800 16000 80000 | 76673 67557 118 | 0.000 % |
651.25/651.68 c | 1092361 | 800 16000 80000 | 76673 68350 118 | 0.000 % |
651.75/652.20 c | 1093232 | 800 16000 80000 | 76673 69221 118 | 0.000 % |
652.35/652.75 c | 1094190 | 800 16000 80000 | 76673 70179 118 | 0.000 % |
652.96/653.37 c | 1095245 | 800 16000 80000 | 76673 71234 118 | 0.000 % |
653.65/654.07 c | 1096405 | 800 16000 80000 | 76673 72394 118 | 0.000 % |
654.45/654.80 c | 1097679 | 800 16000 80000 | 76673 73668 118 | 0.000 % |
655.26/655.66 c | 1099079 | 800 16000 80000 | 76673 75068 118 | 0.000 % |
656.36/656.73 c | 1100621 | 800 16000 80000 | 75990 66898 117 | 0.000 % |
657.25/657.66 c | 1102315 | 800 16000 80000 | 75990 68592 117 | 0.000 % |
658.35/658.75 c | 1104179 | 800 16000 80000 | 75990 70456 117 | 0.000 % |
659.65/660.03 c | 1106229 | 800 16000 80000 | 75990 72506 117 | 0.000 % |
660.95/661.36 c | 1108484 | 800 16000 80000 | 75990 74761 117 | 0.000 % |
662.45/662.85 c | 1110963 | 800 16000 80000 | 76277 68416 117 | 0.000 % |
664.05/664.41 c | 1113688 | 800 16000 80000 | 76277 71141 117 | 0.000 % |
665.75/666.15 c | 1116685 | 800 16000 80000 | 76277 74138 116 | 0.000 % |
667.75/668.19 c | 1119982 | 800 16000 80000 | 76277 69059 116 | 0.000 % |
669.95/670.31 c | 1123608 | 800 16000 80000 | 69080 65217 116 | 0.000 % |
672.24/672.61 c | 1127595 | 800 16000 80000 | 69080 69204 116 | 0.000 % |
674.64/675.07 c | 1131980 | 800 16000 80000 | 2147483647 66669 116 | 0.000 % |
677.54/677.99 c | 1136805 | 800 16000 80000 | 2147483647 71494 116 | 0.000 % |
680.93/681.32 c | 1142112 | 800 16000 80000 | 74689 68674 115 | 0.000 % |
684.84/685.24 c | 1147947 | 800 16000 80000 | 74689 74509 116 | 0.000 % |
688.53/688.95 c | 1154365 | 800 16000 80000 | 67389 63780 117 | 0.000 % |
692.93/693.34 c | 1161424 | 800 16000 80000 | 2147483647 64076 117 | 0.000 % |
698.03/698.45 c | 1169188 | 800 16000 80000 | 2147483647 71840 118 | 0.000 % |
704.02/704.49 c | 1177729 | 800 16000 80000 | 2147483647 80381 118 | 0.000 % |
710.42/710.89 c | 1187125 | 800 16000 80000 | 82654 77926 118 | 0.000 % |
718.02/718.48 c | 1197458 | 800 16000 80000 | 80801 76602 121 | 0.000 % |
718.12/718.54 c | 1197558 | 800 16000 80000 | 80801 76702 121 | 0.000 % |
718.21/718.65 c | 1197668 | 800 16000 80000 | 80801 76812 121 | 0.000 % |
718.32/718.74 c | 1197789 | 800 16000 80000 | 80801 76933 121 | 0.000 % |
718.42/718.83 c | 1197923 | 800 16000 80000 | 80801 77067 121 | 0.000 % |
718.52/718.95 c | 1198071 | 800 16000 80000 | 80801 77215 121 | 0.000 % |
718.62/719.09 c | 1198231 | 800 16000 80000 | 80801 77375 120 | 0.000 % |
718.82/719.22 c | 1198408 | 800 16000 80000 | 80801 77552 120 | 0.000 % |
718.92/719.34 c | 1198601 | 800 16000 80000 | 80801 77745 120 | 0.000 % |
719.02/719.49 c | 1198815 | 800 16000 80000 | 80801 77959 120 | 0.000 % |
719.21/719.63 c | 1199050 | 800 16000 80000 | 80801 78194 120 | 0.000 % |
719.41/719.85 c | 1199306 | 800 16000 80000 | 80801 78450 120 | 0.000 % |
719.61/720.07 c | 1199587 | 800 16000 80000 | 80801 78731 120 | 0.000 % |
719.91/720.31 c | 1199896 | 800 16000 80000 | 80801 79040 120 | 0.000 % |
720.12/720.56 c | 1200237 | 800 16000 80000 | 79144 79381 120 | 0.000 % |
720.41/720.85 c | 1200612 | 800 16000 80000 | 79144 68187 120 | 0.000 % |
720.61/721.07 c | 1201022 | 800 16000 80000 | 79144 68597 120 | 0.000 % |
720.91/721.35 c | 1201471 | 800 16000 80000 | 79144 69046 120 | 0.000 % |
721.22/721.70 c | 1201965 | 800 16000 80000 | 79144 69540 120 | 0.000 % |
721.51/721.98 c | 1202508 | 800 16000 80000 | 79144 70083 120 | 0.000 % |
721.91/722.35 c | 1203104 | 800 16000 80000 | 79144 70679 120 | 0.000 % |
722.31/722.71 c | 1203760 | 800 16000 80000 | 79144 71335 120 | 0.000 % |
722.71/723.11 c | 1204480 | 800 16000 80000 | 79144 72055 120 | 0.000 % |
723.21/723.60 c | 1205273 | 800 16000 80000 | 79144 72848 120 | 0.000 % |
723.71/724.13 c | 1206145 | 800 16000 80000 | 79144 73720 119 | 0.000 % |
724.31/724.73 c | 1207103 | 800 16000 80000 | 79144 74678 119 | 0.000 % |
725.01/725.43 c | 1208159 | 800 16000 80000 | 79144 75734 119 | 0.000 % |
725.71/726.17 c | 1209318 | 800 16000 80000 | 79144 76893 119 | 0.000 % |
726.61/727.03 c | 1210591 | 800 16000 80000 | 77576 67902 119 | 0.000 % |
727.41/727.87 c | 1211991 | 800 16000 80000 | 77576 69302 119 | 0.000 % |
728.31/728.77 c | 1213533 | 800 16000 80000 | 77576 70844 119 | 0.000 % |
729.31/729.75 c | 1215227 | 800 16000 80000 | 77576 72538 119 | 0.000 % |
730.40/730.87 c | 1217090 | 800 16000 80000 | 77576 74401 119 | 0.000 % |
731.70/732.16 c | 1219139 | 800 16000 80000 | 77576 76450 119 | 0.000 % |
733.10/733.59 c | 1221393 | 800 16000 80000 | 77314 68470 118 | 0.000 % |
734.60/735.08 c | 1223872 | 800 16000 80000 | 77314 70949 118 | 0.000 % |
736.20/736.64 c | 1226599 | 800 16000 80000 | 77314 73676 118 | 0.000 % |
738.10/738.58 c | 1229596 | 800 16000 80000 | 77314 76673 118 | 0.000 % |
740.20/740.65 c | 1232893 | 800 16000 80000 | 77081 69884 118 | 0.000 % |
742.30/742.79 c | 1236518 | 800 16000 80000 | 77081 73509 118 | 0.000 % |
744.90/745.37 c | 1240505 | 800 16000 80000 | 76991 67673 117 | 0.000 % |
747.50/747.96 c | 1244893 | 800 16000 80000 | 76991 72061 117 | 0.000 % |
750.49/750.95 c | 1249717 | 800 16000 80000 | 76991 76885 117 | 0.000 % |
753.79/754.24 c | 1255023 | 800 16000 80000 | 77168 72380 116 | 0.000 % |
757.40/757.80 c | 1260859 | 800 16000 80000 | 77358 68458 115 | 0.000 % |
760.89/761.35 c | 1267277 | 800 16000 80000 | 77358 74876 116 | 0.000 % |
765.57/766.02 c | 1274337 | 800 16000 80000 | 77600 72031 116 | 0.000 % |
770.37/770.85 c | 1282103 | 800 16000 80000 | 77694 69744 117 | 0.000 % |
776.17/776.65 c | 1290643 | 800 16000 80000 | 77643 67497 118 | 0.000 % |
782.06/782.51 c | 1300037 | 800 16000 80000 | 76855 76891 118 | 0.000 % |
788.36/788.89 c | 1310370 | 800 16000 80000 | 76956 66774 119 | 0.000 % |
795.16/795.67 c | 1321736 | 800 16000 80000 | 76404 68204 120 | 0.000 % |
795.26/795.73 c | 1321836 | 800 16000 80000 | 76404 68304 120 | 0.000 % |
795.36/795.80 c | 1321947 | 800 16000 80000 | 76404 68415 120 | 0.000 % |
795.36/795.87 c | 1322068 | 800 16000 80000 | 76404 68536 120 | 0.000 % |
795.46/795.97 c | 1322202 | 800 16000 80000 | 76404 68670 120 | 0.000 % |
795.56/796.07 c | 1322348 | 800 16000 80000 | 76404 68816 120 | 0.000 % |
795.66/796.17 c | 1322509 | 800 16000 80000 | 76404 68977 120 | 0.000 % |
795.86/796.30 c | 1322687 | 800 16000 80000 | 76404 69155 120 | 0.000 % |
795.96/796.44 c | 1322880 | 800 16000 80000 | 76404 69348 120 | 0.000 % |
796.06/796.59 c | 1323092 | 800 16000 80000 | 76404 69560 120 | 0.000 % |
796.26/796.77 c | 1323326 | 800 16000 80000 | 76404 69794 120 | 0.000 % |
796.46/796.94 c | 1323582 | 800 16000 80000 | 76404 70050 120 | 0.000 % |
796.66/797.12 c | 1323864 | 800 16000 80000 | 76404 70332 120 | 0.000 % |
796.85/797.30 c | 1324173 | 800 16000 80000 | 76404 70641 120 | 0.000 % |
797.06/797.51 c | 1324512 | 800 16000 80000 | 76404 70980 120 | 0.000 % |
797.25/797.76 c | 1324885 | 800 16000 80000 | 76404 71353 120 | 0.000 % |
797.55/798.02 c | 1325297 | 800 16000 80000 | 76404 71765 120 | 0.000 % |
797.85/798.31 c | 1325747 | 800 16000 80000 | 76404 72215 120 | 0.000 % |
798.06/798.59 c | 1326240 | 800 16000 80000 | 76404 72708 119 | 0.000 % |
798.45/798.93 c | 1326783 | 800 16000 80000 | 76404 73251 119 | 0.000 % |
798.85/799.31 c | 1327379 | 800 16000 80000 | 76404 73847 119 | 0.000 % |
799.26/799.72 c | 1328035 | 800 16000 80000 | 76404 74503 119 | 0.000 % |
799.75/800.24 c | 1328755 | 800 16000 80000 | 76404 75223 119 | 0.000 % |
800.26/800.80 c | 1329547 | 800 16000 80000 | 76404 76015 119 | 0.000 % |
801.05/801.54 c | 1330418 | 800 16000 80000 | 76472 66502 119 | 0.000 % |
801.65/802.15 c | 1331377 | 800 16000 80000 | 76472 67461 119 | 0.000 % |
802.35/802.81 c | 1332432 | 800 16000 80000 | 76472 68516 119 | 0.000 % |
802.95/803.49 c | 1333592 | 800 16000 80000 | 76472 69676 119 | 0.000 % |
803.85/804.32 c | 1334865 | 800 16000 80000 | 76472 70949 119 | 0.000 % |
804.75/805.22 c | 1336265 | 800 16000 80000 | 76472 72349 119 | 0.000 % |
805.75/806.24 c | 1337806 | 800 16000 80000 | 76472 73890 118 | 0.000 % |
806.74/807.28 c | 1339500 | 800 16000 80000 | 76472 75584 118 | 0.000 % |
808.04/808.52 c | 1341364 | 800 16000 80000 | 76084 67274 118 | 0.000 % |
809.14/809.68 c | 1343413 | 800 16000 80000 | 76084 69323 118 | 0.000 % |
810.54/811.09 c | 1345666 | 800 16000 80000 | 76084 71576 118 | 0.000 % |
812.14/812.60 c | 1348144 | 800 16000 80000 | 76084 74054 118 | 0.000 % |
813.84/814.34 c | 1350870 | 800 16000 80000 | 75910 67123 118 | 0.000 % |
815.74/816.25 c | 1353867 | 800 16000 80000 | 75910 70120 118 | 0.000 % |
817.94/818.44 c | 1357163 | 800 16000 80000 | 75910 73416 118 | 0.000 % |
820.33/820.81 c | 1360788 | 800 16000 80000 | 66925 59647 117 | 0.000 % |
822.43/822.97 c | 1364775 | 800 16000 80000 | 66925 63634 118 | 0.000 % |
824.93/825.42 c | 1369162 | 800 16000 80000 | 66925 61299 117 | 0.000 % |
827.63/828.20 c | 1373985 | 800 16000 80000 | 2147483647 66122 117 | 0.000 % |
831.03/831.51 c | 1379292 | 800 16000 80000 | 2147483647 71429 117 | 0.000 % |
834.83/835.38 c | 1385127 | 800 16000 80000 | 2147483647 77264 117 | 0.000 % |
839.13/839.61 c | 1391545 | 800 16000 80000 | 82137 72661 116 | 0.000 % |
843.52/844.03 c | 1398604 | 800 16000 80000 | 82137 79720 117 | 0.000 % |
848.02/848.52 c | 1406368 | 800 16000 80000 | 81116 75442 118 | 0.000 % |
853.02/853.59 c | 1414908 | 800 16000 80000 | 79075 73272 119 | 0.000 % |
859.32/859.81 c | 1424304 | 800 16000 80000 | 78368 72184 119 | 0.000 % |
866.12/866.66 c | 1434637 | 800 16000 80000 | 77880 71759 120 | 0.000 % |
874.02/874.57 c | 1446004 | 800 16000 80000 | 77122 72650 120 | 0.000 % |
881.62/882.12 c | 1458506 | 800 16000 80000 | 76646 74518 120 | 0.000 % |
881.62/882.19 c | 1458606 | 800 16000 80000 | 76646 74618 120 | 0.000 % |
881.72/882.26 c | 1458716 | 800 16000 80000 | 76646 74728 120 | 0.000 % |
881.81/882.35 c | 1458837 | 800 16000 80000 | 76646 74849 120 | 0.000 % |
881.91/882.43 c | 1458970 | 800 16000 80000 | 76646 74982 120 | 0.000 % |
882.01/882.55 c | 1459117 | 800 16000 80000 | 76646 75129 120 | 0.000 % |
882.11/882.66 c | 1459280 | 800 16000 80000 | 76646 75292 120 | 0.000 % |
882.21/882.78 c | 1459457 | 800 16000 80000 | 76646 75469 120 | 0.000 % |
882.41/882.92 c | 1459650 | 800 16000 80000 | 76646 75662 120 | 0.000 % |
882.51/883.06 c | 1459862 | 800 16000 80000 | 76646 75874 120 | 0.000 % |
882.72/883.22 c | 1460096 | 800 16000 80000 | 76012 76108 120 | 0.000 % |
882.91/883.44 c | 1460355 | 800 16000 80000 | 76012 65838 120 | 0.000 % |
883.11/883.63 c | 1460636 | 800 16000 80000 | 76012 66119 120 | 0.000 % |
883.31/883.81 c | 1460945 | 800 16000 80000 | 76012 66428 120 | 0.000 % |
883.51/884.01 c | 1461284 | 800 16000 80000 | 76012 66767 120 | 0.000 % |
883.71/884.24 c | 1461656 | 800 16000 80000 | 76012 67139 120 | 0.000 % |
883.91/884.47 c | 1462065 | 800 16000 80000 | 76012 67548 120 | 0.000 % |
884.21/884.76 c | 1462514 | 800 16000 80000 | 76012 67997 120 | 0.000 % |
884.51/885.07 c | 1463009 | 800 16000 80000 | 76012 68492 119 | 0.000 % |
884.91/885.42 c | 1463552 | 800 16000 80000 | 76012 69035 119 | 0.000 % |
885.31/885.80 c | 1464148 | 800 16000 80000 | 76012 69631 119 | 0.000 % |
885.61/886.20 c | 1464803 | 800 16000 80000 | 76012 70286 119 | 0.000 % |
886.11/886.63 c | 1465524 | 800 16000 80000 | 76012 71007 119 | 0.000 % |
886.61/887.14 c | 1466316 | 800 16000 80000 | 76012 71799 119 | 0.000 % |
887.21/887.73 c | 1467187 | 800 16000 80000 | 76012 72670 119 | 0.000 % |
887.81/888.33 c | 1468145 | 800 16000 80000 | 76012 73628 119 | 0.000 % |
888.51/889.04 c | 1469200 | 800 16000 80000 | 76012 74683 119 | 0.000 % |
889.31/889.80 c | 1470359 | 800 16000 80000 | 75483 65305 119 | 0.000 % |
890.01/890.52 c | 1471633 | 800 16000 80000 | 75483 66579 118 | 0.000 % |
890.71/891.29 c | 1473033 | 800 16000 80000 | 75483 67979 118 | 0.000 % |
891.71/892.27 c | 1474574 | 800 16000 80000 | 75483 69520 118 | 0.000 % |
892.81/893.35 c | 1476268 | 800 16000 80000 | 75483 71214 118 | 0.000 % |
893.91/894.49 c | 1478135 | 800 16000 80000 | 75483 73081 118 | 0.000 % |
895.30/895.81 c | 1480184 | 800 16000 80000 | 74947 75130 118 | 0.000 % |
896.60/897.19 c | 1482439 | 800 16000 80000 | 74947 67679 118 | 0.000 % |
898.10/898.63 c | 1484918 | 800 16000 80000 | 74947 70158 118 | 0.000 % |
899.70/900.29 c | 1487644 | 800 16000 80000 | 74947 72884 118 | 0.000 % |
901.69/902.23 c | 1490641 | 800 16000 80000 | 75241 66674 117 | 0.000 % |
903.60/904.12 c | 1493938 | 800 16000 80000 | 75241 69971 117 | 0.000 % |
905.90/906.49 c | 1497563 | 800 16000 80000 | 75241 73596 117 | 0.000 % |
908.49/909.00 c | 1501550 | 800 16000 80000 | 66807 60192 116 | 0.000 % |
910.79/911.38 c | 1505936 | 800 16000 80000 | 66807 64578 116 | 0.000 % |
913.50/914.03 c | 1510760 | 800 16000 80000 | 2147483647 62688 117 | 0.000 % |
916.59/917.13 c | 1516065 | 800 16000 80000 | 2147483647 67993 117 | 0.000 % |
920.09/920.64 c | 1521904 | 800 16000 80000 | 71928 66131 116 | 0.000 % |
924.09/924.69 c | 1528323 | 800 16000 80000 | 71928 64043 117 | 0.000 % |
927.99/928.51 c | 1535382 | 800 16000 80000 | 65723 63879 118 | 0.000 % |
932.58/933.17 c | 1543147 | 800 16000 80000 | 2147483647 65046 119 | 0.000 % |
937.98/938.56 c | 1551689 | 800 16000 80000 | 2147483647 73588 119 | 0.000 % |
944.37/944.99 c | 1561083 | 800 16000 80000 | 81899 70775 120 | 0.000 % |
950.87/951.43 c | 1571416 | 800 16000 80000 | 79693 68686 121 | 0.000 % |
958.16/958.71 c | 1582782 | 800 16000 80000 | 77270 68805 122 | 0.000 % |
965.46/966.08 c | 1595285 | 800 16000 80000 | 76024 72224 121 | 0.000 % |
974.26/974.83 c | 1609038 | 800 16000 80000 | 68036 61792 121 | 0.000 % |
974.26/974.90 c | 1609138 | 800 16000 80000 | 68036 61892 121 | 0.000 % |
974.36/974.96 c | 1609249 | 800 16000 80000 | 68036 62003 121 | 0.000 % |
974.46/975.03 c | 1609370 | 800 16000 80000 | 68036 62124 120 | 0.000 % |
974.56/975.10 c | 1609505 | 800 16000 80000 | 68036 62259 120 | 0.000 % |
974.66/975.21 c | 1609652 | 800 16000 80000 | 68036 62406 120 | 0.000 % |
974.66/975.29 c | 1609812 | 800 16000 80000 | 68036 62566 120 | 0.000 % |
974.86/975.41 c | 1609988 | 800 16000 80000 | 68036 62742 120 | 0.000 % |
974.96/975.53 c | 1610181 | 800 16000 80000 | 62756 62935 120 | 0.000 % |
975.06/975.66 c | 1610393 | 800 16000 80000 | 62756 56323 120 | 0.000 % |
975.16/975.79 c | 1610626 | 800 16000 80000 | 62756 56556 120 | 0.000 % |
975.35/975.92 c | 1610884 | 800 16000 80000 | 62756 56814 120 | 0.000 % |
975.45/976.09 c | 1611165 | 800 16000 80000 | 62756 57095 120 | 0.000 % |
975.65/976.25 c | 1611474 | 800 16000 80000 | 62756 57404 120 | 0.000 % |
975.85/976.44 c | 1611813 | 800 16000 80000 | 62756 57743 120 | 0.000 % |
976.05/976.63 c | 1612185 | 800 16000 80000 | 62756 58115 120 | 0.000 % |
976.26/976.84 c | 1612594 | 800 16000 80000 | 62756 58524 119 | 0.000 % |
976.55/977.10 c | 1613044 | 800 16000 80000 | 62756 58974 119 | 0.000 % |
976.85/977.41 c | 1613538 | 800 16000 80000 | 62756 59468 119 | 0.000 % |
977.05/977.70 c | 1614080 | 800 16000 80000 | 62756 60010 119 | 0.000 % |
977.45/978.04 c | 1614679 | 800 16000 80000 | 62756 60609 119 | 0.000 % |
977.75/978.36 c | 1615335 | 800 16000 80000 | 62756 61265 119 | 0.000 % |
978.15/978.74 c | 1616056 | 800 16000 80000 | 62756 61986 119 | 0.000 % |
978.65/979.21 c | 1616848 | 800 16000 80000 | 62756 62778 119 | 0.000 % |
979.15/979.71 c | 1617719 | 800 16000 80000 | 62756 57372 119 | 0.000 % |
979.65/980.23 c | 1618678 | 800 16000 80000 | 62756 58331 119 | 0.000 % |
980.25/980.80 c | 1619731 | 800 16000 80000 | 62756 59384 119 | 0.000 % |
980.85/981.42 c | 1620889 | 800 16000 80000 | 2147483647 60542 119 | 0.000 % |
981.55/982.10 c | 1622166 | 800 16000 80000 | 2147483647 61819 119 | 0.000 % |
982.25/982.86 c | 1623566 | 800 16000 80000 | 2147483647 63219 118 | 0.000 % |
983.15/983.75 c | 1625106 | 800 16000 80000 | 2147483647 64759 119 | 0.000 % |
984.05/984.63 c | 1626801 | 800 16000 80000 | 2147483647 66454 118 | 0.000 % |
985.05/985.69 c | 1628667 | 800 16000 80000 | 2147483647 68320 118 | 0.000 % |
986.24/986.82 c | 1630716 | 800 16000 80000 | 2147483647 70369 118 | 0.000 % |
987.74/988.36 c | 1632970 | 800 16000 80000 | 2147483647 72623 119 | 0.000 % |
989.35/989.98 c | 1635452 | 800 16000 80000 | 2147483647 75105 118 | 0.000 % |
991.04/991.68 c | 1638177 | 800 16000 80000 | 2147483647 77830 118 | 0.000 % |
993.14/993.71 c | 1641176 | 800 16000 80000 | 79654 71335 117 | 0.000 % |
995.14/995.77 c | 1644472 | 800 16000 80000 | 79654 74631 117 | 0.000 % |
997.44/998.08 c | 1648098 | 800 16000 80000 | 79654 78257 117 | 0.000 % |
999.84/1000.50 c | 1652087 | 800 16000 80000 | 70001 63373 116 | 0.000 % |
1002.33/1002.92 c | 1656473 | 800 16000 80000 | 70001 67759 116 | 0.000 % |
1005.03/1005.67 c | 1661296 | 800 16000 80000 | 2147483647 65555 116 | 0.000 % |
1008.04/1008.65 c | 1666601 | 800 16000 80000 | 2147483647 70860 116 | 0.000 % |
1011.53/1012.18 c | 1672437 | 800 16000 80000 | 74262 68714 115 | 0.000 % |
1015.73/1016.36 c | 1678855 | 800 16000 80000 | 74262 66550 116 | 0.000 % |
1020.13/1020.72 c | 1685915 | 800 16000 80000 | 67695 66005 117 | 0.000 % |
1024.82/1025.49 c | 1693680 | 800 16000 80000 | 2147483647 66903 118 | 0.000 % |
1030.62/1031.25 c | 1702220 | 800 16000 80000 | 73223 67260 118 | 0.000 % |
1037.41/1038.00 c | 1711616 | 800 16000 80000 | 66210 59864 120 | 0.000 % |
1044.11/1044.78 c | 1721950 | 800 16000 80000 | 2147483647 63500 120 | 0.000 % |
1051.61/1052.21 c | 1733319 | 800 16000 80000 | 71550 67113 120 | 0.000 % |
1060.10/1060.78 c | 1745822 | 800 16000 80000 | 65856 64492 120 | 0.000 % |
1068.80/1069.43 c | 1759576 | 800 16000 80000 | 2147483647 71256 120 | 0.000 % |
1076.69/1077.40 c | 1774704 | 800 16000 80000 | 64130 60739 121 | 0.000 % |
1076.79/1077.46 c | 1774804 | 800 16000 80000 | 64130 60839 121 | 0.000 % |
1076.89/1077.52 c | 1774914 | 800 16000 80000 | 64130 60949 120 | 0.000 % |
1076.89/1077.58 c | 1775035 | 800 16000 80000 | 64130 61070 120 | 0.000 % |
1076.99/1077.68 c | 1775168 | 800 16000 80000 | 64130 61203 120 | 0.000 % |
1077.09/1077.76 c | 1775315 | 800 16000 80000 | 64130 61350 120 | 0.000 % |
1077.19/1077.86 c | 1775476 | 800 16000 80000 | 64130 61511 120 | 0.000 % |
1077.30/1077.97 c | 1775652 | 800 16000 80000 | 64130 61687 120 | 0.000 % |
1077.40/1078.08 c | 1775846 | 800 16000 80000 | 64130 61881 120 | 0.000 % |
1077.59/1078.20 c | 1776058 | 800 16000 80000 | 64130 62093 120 | 0.000 % |
1077.69/1078.34 c | 1776291 | 800 16000 80000 | 64130 62326 120 | 0.000 % |
1077.79/1078.49 c | 1776550 | 800 16000 80000 | 64130 62585 120 | 0.000 % |
1077.99/1078.67 c | 1776832 | 800 16000 80000 | 64130 62867 120 | 0.000 % |
1078.19/1078.85 c | 1777141 | 800 16000 80000 | 64130 63176 120 | 0.000 % |
1078.40/1079.03 c | 1777480 | 800 16000 80000 | 64130 63515 120 | 0.000 % |
1078.59/1079.25 c | 1777852 | 800 16000 80000 | 64130 63887 120 | 0.000 % |
1078.79/1079.47 c | 1778262 | 800 16000 80000 | 64130 64297 120 | 0.000 % |
1079.09/1079.74 c | 1778712 | 800 16000 80000 | 64130 57999 120 | 0.000 % |
1079.29/1080.00 c | 1779205 | 800 16000 80000 | 64130 58492 119 | 0.000 % |
1079.59/1080.29 c | 1779750 | 800 16000 80000 | 64130 59037 119 | 0.000 % |
1079.89/1080.59 c | 1780347 | 800 16000 80000 | 2147483647 59634 119 | 0.000 % |
1080.29/1080.96 c | 1781004 | 800 16000 80000 | 2147483647 60291 119 | 0.000 % |
1080.79/1081.40 c | 1781725 | 800 16000 80000 | 2147483647 61012 119 | 0.000 % |
1081.19/1081.84 c | 1782518 | 800 16000 80000 | 2147483647 61805 119 | 0.000 % |
1081.69/1082.31 c | 1783389 | 800 16000 80000 | 2147483647 62676 119 | 0.000 % |
1082.19/1082.82 c | 1784348 | 800 16000 80000 | 2147483647 63635 119 | 0.000 % |
1082.79/1083.41 c | 1785401 | 800 16000 80000 | 2147483647 64688 119 | 0.000 % |
1083.49/1084.10 c | 1786560 | 800 16000 80000 | 2147483647 65847 119 | 0.000 % |
1084.19/1084.82 c | 1787834 | 800 16000 80000 | 2147483647 67121 119 | 0.000 % |
1084.89/1085.57 c | 1789234 | 800 16000 80000 | 2147483647 68521 119 | 0.000 % |
1085.89/1086.53 c | 1790775 | 800 16000 80000 | 2147483647 70062 119 | 0.000 % |
1086.89/1087.52 c | 1792469 | 800 16000 80000 | 2147483647 71756 119 | 0.000 % |
1087.99/1088.65 c | 1794332 | 800 16000 80000 | 2147483647 73619 119 | 0.000 % |
1089.19/1089.86 c | 1796381 | 800 16000 80000 | 2147483647 75668 118 | 0.000 % |
1090.59/1091.27 c | 1798634 | 800 16000 80000 | 2147483647 77921 118 | 0.000 % |
1092.18/1092.81 c | 1801112 | 800 16000 80000 | 79288 70886 118 | 0.000 % |
1093.89/1094.51 c | 1803838 | 800 16000 80000 | 79288 73612 118 | 0.000 % |
1095.78/1096.41 c | 1806835 | 800 16000 80000 | 79288 76609 118 | 0.000 % |
1097.98/1098.66 c | 1810131 | 800 16000 80000 | 69988 70116 118 | 0.000 % |
1099.98/1100.66 c | 1813757 | 800 16000 80000 | 69988 65231 118 | 0.000 % |
1102.28/1102.96 c | 1817746 | 800 16000 80000 | 69988 69220 118 | 0.000 % |
1104.88/1105.53 c | 1822131 | 800 16000 80000 | 2147483647 66582 117 | 0.000 % |
1107.68/1108.36 c | 1826955 | 800 16000 80000 | 2147483647 71406 117 | 0.000 % |
1110.98/1111.66 c | 1832261 | 800 16000 80000 | 2147483647 76712 117 | 0.000 % |
1115.07/1115.72 c | 1838096 | 800 16000 80000 | 2147483647 82547 118 | 0.000 % |
1119.28/1119.96 c | 1844514 | 800 16000 80000 | 84452 76185 117 | 0.000 % |
1123.87/1124.52 c | 1851574 | 800 16000 80000 | 81671 70916 118 | 0.000 % |
1128.67/1129.38 c | 1859338 | 800 16000 80000 | 81671 78680 118 | 0.000 % |
1134.27/1134.93 c | 1867878 | 800 16000 80000 | 79343 75606 118 | 0.000 % |
1140.37/1141.02 c | 1877273 | 800 16000 80000 | 77728 74520 118 | 0.000 % |
1147.46/1148.15 c | 1887606 | 800 16000 80000 | 77248 74399 118 | 0.000 % |
1154.86/1155.52 c | 1898972 | 800 16000 80000 | 76794 75310 119 | 0.000 % |
1163.66/1164.38 c | 1911475 | 800 16000 80000 | 66653 59312 119 | 0.000 % |
1172.05/1172.77 c | 1925227 | 800 16000 80000 | 2147483647 66371 119 | 0.000 % |
1182.95/1183.68 c | 1940355 | 800 16000 80000 | 64013 55968 121 | 0.000 % |
1193.74/1194.40 c | 1956995 | 800 16000 80000 | 2147483647 66183 121 | 0.000 % |
1193.74/1194.46 c | 1957096 | 800 16000 80000 | 2147483647 66284 121 | 0.000 % |
1193.84/1194.54 c | 1957208 | 800 16000 80000 | 2147483647 66396 121 | 0.000 % |
1193.94/1194.61 c | 1957329 | 800 16000 80000 | 2147483647 66517 121 | 0.000 % |
1193.94/1194.69 c | 1957464 | 800 16000 80000 | 2147483647 66652 121 | 0.000 % |
1194.04/1194.78 c | 1957610 | 800 16000 80000 | 2147483647 66798 121 | 0.000 % |
1194.14/1194.87 c | 1957770 | 800 16000 80000 | 2147483647 66958 121 | 0.000 % |
1194.24/1194.99 c | 1957947 | 800 16000 80000 | 2147483647 67135 121 | 0.000 % |
1194.44/1195.13 c | 1958142 | 800 16000 80000 | 2147483647 67330 121 | 0.000 % |
1194.54/1195.26 c | 1958354 | 800 16000 80000 | 2147483647 67542 121 | 0.000 % |
1194.74/1195.41 c | 1958588 | 800 16000 80000 | 2147483647 67776 121 | 0.000 % |
1194.84/1195.57 c | 1958844 | 800 16000 80000 | 2147483647 68032 121 | 0.000 % |
1195.04/1195.75 c | 1959125 | 800 16000 80000 | 2147483647 68313 121 | 0.000 % |
1195.24/1195.94 c | 1959434 | 800 16000 80000 | 2147483647 68622 121 | 0.000 % |
1195.44/1196.18 c | 1959773 | 800 16000 80000 | 2147483647 68961 121 | 0.000 % |
1195.64/1196.40 c | 1960147 | 800 16000 80000 | 69191 69335 121 | 0.000 % |
1195.94/1196.66 c | 1960558 | 800 16000 80000 | 69191 62650 120 | 0.000 % |
1196.14/1196.89 c | 1961008 | 800 16000 80000 | 69191 63100 120 | 0.000 % |
1196.44/1197.19 c | 1961501 | 800 16000 80000 | 69191 63593 120 | 0.000 % |
1196.74/1197.50 c | 1962043 | 800 16000 80000 | 69191 64135 120 | 0.000 % |
1197.14/1197.83 c | 1962639 | 800 16000 80000 | 69191 64731 120 | 0.000 % |
1197.53/1198.24 c | 1963294 | 800 16000 80000 | 69191 65386 120 | 0.000 % |
1197.93/1198.66 c | 1964014 | 800 16000 80000 | 69191 66106 120 | 0.000 % |
1198.43/1199.11 c | 1964806 | 800 16000 80000 | 69191 66898 120 | 0.000 % |
1198.93/1199.62 c | 1965678 | 800 16000 80000 | 69191 67770 120 | 0.000 % |
1199.44/1200.18 c | 1966637 | 800 16000 80000 | 69191 68729 120 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832465-1242773749/watcher-1832465-1242773749 -o /tmp/evaluation-result-1832465-1242773749/solver-1832465-1242773749 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832465-1242773749.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3287
/proc/meminfo: memFree=1714168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305404408 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 249070059602 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3287/statm: 1339 235 195 169 0 50 0
[pid=3288] ppid=3287 vsize=5356 CPUtime=0
/proc/3288/stat : 3288 (SatELiteGTI) S 3287 3287 25044 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305404408 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3288/statm: 1339 238 198 169 0 50 0
[pid=3290] ppid=3288 vsize=92 CPUtime=0
/proc/3290/stat : 3290 (sed) R 3288 3287 25044 0 -1 4194304 21 0 0 0 0 0 0 0 21 0 1 0 305404409 94208 3 1992294400 0 0 548682069787 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 0 0 0
/proc/3290/statm: 46 10 5 11 0 9 0
[startup+0.0400971 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3287
/proc/meminfo: memFree=1714168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305404408 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3287/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101093 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3287
/proc/meminfo: memFree=1714168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301128 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3287
/proc/meminfo: memFree=1714168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701199 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3287
/proc/meminfo: memFree=1714168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1709544/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=6320 CPUtime=1.44
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 1330 0 0 0 144 0 0 0 25 0 1 0 305404413 6471680 1316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 1580 1316 77 171 0 1407 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11676
[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1706600/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=10832 CPUtime=3.05
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 2436 0 0 0 304 1 0 0 25 0 1 0 305404413 11091968 2422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 2708 2422 77 171 0 2535 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16188
[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1699392/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=16672 CPUtime=6.24
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 3903 0 0 0 622 2 0 0 25 0 1 0 305404413 17072128 3889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 4168 3889 77 171 0 3995 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22028
[startup+12.7023 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1690624/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=24804 CPUtime=12.64
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 5911 0 0 0 1260 4 0 0 25 0 1 0 305404413 25399296 5897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 6201 5897 77 171 0 6028 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30160
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1679168/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=35880 CPUtime=25.43
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 8678 0 0 0 2535 8 0 0 25 0 1 0 305404413 36741120 8664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 8970 8664 77 171 0 8797 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41236
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1676736/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=37992 CPUtime=51.01
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 9206 0 0 0 5092 9 0 0 25 0 1 0 305404413 38903808 9192 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 9498 9192 77 171 0 9325 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43348
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1674176/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=40504 CPUtime=102.19
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 9849 0 0 0 10209 10 0 0 25 0 1 0 305404413 41476096 9830 1992294400 134512640 135215339 4294956240 18446744073709551615 134532615 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 10126 9830 77 171 0 9953 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 45860
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1671552/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=42880 CPUtime=162.16
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 10444 0 0 0 16205 11 0 0 25 0 1 0 305404413 43909120 10425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 10720 10425 77 171 0 10547 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 48236
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1670080/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=44200 CPUtime=222.14
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 10797 0 0 0 22202 12 0 0 25 0 1 0 305404413 45260800 10778 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11050 10778 77 171 0 10877 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 49556
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3293
/proc/meminfo: memFree=1668992/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=45256 CPUtime=282.1
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11061 0 0 0 28198 12 0 0 25 0 1 0 305404413 46342144 11042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11314 11042 77 171 0 11141 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 50612
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1668600/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=45256 CPUtime=342.07
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11061 0 0 0 34195 12 0 0 25 0 1 0 305404413 46342144 11042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11314 11042 77 171 0 11141 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 50612
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1667768/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=46180 CPUtime=402.04
################
# More data... #
################
/proc/3293/statm: 11702 11431 77 171 0 11529 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 52164
[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 3299
/proc/meminfo: memFree=1666752/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=46808 CPUtime=641.93
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11613 0 0 0 64179 14 0 0 25 0 1 0 305404413 47931392 11431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11702 11431 77 171 0 11529 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 52164
[startup+702.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1666560/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=46808 CPUtime=701.9
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11613 0 0 0 70176 14 0 0 25 0 1 0 305404413 47931392 11431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11702 11431 77 171 0 11529 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 52164
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1665984/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=47316 CPUtime=761.86
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11737 0 0 0 76172 14 0 0 25 0 1 0 305404413 48451584 11555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3293/statm: 11829 11555 77 171 0 11656 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 52672
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1665920/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=47284 CPUtime=821.8
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11737 0 0 0 82166 14 0 0 25 0 1 0 305404413 48418816 11552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11821 11552 77 171 0 11648 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 52640
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1665792/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=47416 CPUtime=881.78
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11750 0 0 0 88163 15 0 0 25 0 1 0 305404413 48553984 11565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11854 11565 77 171 0 11681 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 52772
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1665728/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=47304 CPUtime=941.75
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11750 0 0 0 94160 15 0 0 25 0 1 0 305404413 48439296 11557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 11826 11557 77 171 0 11653 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 52660
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1664832/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=48228 CPUtime=1001.7
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11954 0 0 0 100155 15 0 0 25 0 1 0 305404413 49385472 11761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12057 11761 77 171 0 11884 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 53584
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1664768/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=48228 CPUtime=1061.67
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 11954 0 0 0 106152 15 0 0 25 0 1 0 305404413 49385472 11761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12057 11761 77 171 0 11884 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 53584
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1663424/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=49416 CPUtime=1121.64
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 12253 0 0 0 112148 16 0 0 25 0 1 0 305404413 50601984 12060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12354 12060 77 171 0 12181 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 54772
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1663936/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=48552 CPUtime=1181.61
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 12253 0 0 0 118145 16 0 0 25 0 1 0 305404413 49717248 11869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12138 11869 77 171 0 11965 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 53908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1663936/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=48552 CPUtime=1200.01
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 12253 0 0 0 119985 16 0 0 25 0 1 0 305404413 49717248 11869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12138 11869 77 171 0 11965 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 53908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3299
/proc/meminfo: memFree=1663936/2055920 swapFree=4177788/4192956
[pid=3287] ppid=3285 vsize=5356 CPUtime=0.03
/proc/3287/stat : 3287 (SatELiteGTI) S 3285 3287 25044 0 -1 4194304 336 691 0 0 0 0 3 0 17 0 1 0 305404408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3287/statm: 1339 239 197 169 0 50 0
[pid=3293] ppid=3287 vsize=48552 CPUtime=1200.01
/proc/3293/stat : 3293 (minisat_static) R 3287 3287 25044 0 -1 4194304 12253 0 0 0 119985 16 0 0 25 0 1 0 305404413 49717248 11869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 12138 11869 77 171 0 11965 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 53908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3287 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=35994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.044992
# 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.71
CPU time (s): 1200.04
CPU user time (s): 1199.88
CPU system time (s): 0.16
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 54772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.035994
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027
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= 18
runsolver used 1.07284 second user time and 3.39248 second system time
The end
Begin job on node89 at 2009-05-20 00:55:49
IDJOB=1832465
IDBENCH=70196
IDSOLVER=671
FILE ID=node89/1832465-1242773749
PBS_JOBID= 9322215
Free space on /tmp= 66264 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1353769076-009.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832465-1242773749/watcher-1832465-1242773749 -o /tmp/evaluation-result-1832465-1242773749/solver-1832465-1242773749 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832465-1242773749.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0aeb33d4615b67c4ba3e205bec8691bf
RANDOM SEED=347975644
node89.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.268
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.268
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1714712 kB
Buffers: 27680 kB
Cached: 265316 kB
SwapCached: 9468 kB
Active: 80384 kB
Inactive: 224052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714712 kB
SwapTotal: 4192956 kB
SwapFree: 4177788 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 15992 kB
Slab: 22760 kB
Committed_AS: 920108 kB
PageTables: 1404 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= 66260 MiB
End job on node89 at 2009-05-20 01:15:52