0.00/0.01 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.013997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 800 |
0.00/0.05 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 107 | 0.000 % |
0.00/0.08 c | 202 | 800 16000 80000 | 5333 202 105 | 0.000 % |
0.00/0.09 c | 303 | 800 16000 80000 | 5333 303 106 | 0.000 % |
0.03/0.11 c | 416 | 800 16000 80000 | 5333 416 108 | 0.000 % |
0.03/0.12 c | 517 | 800 16000 80000 | 5333 517 106 | 0.000 % |
0.03/0.13 c | 630 | 800 16000 80000 | 5333 630 104 | 0.000 % |
0.03/0.14 c | 751 | 800 16000 80000 | 5333 751 105 | 0.000 % |
0.03/0.15 c | 852 | 800 16000 80000 | 5333 852 104 | 0.000 % |
0.03/0.16 c | 962 | 800 16000 80000 | 5333 962 103 | 0.000 % |
0.03/0.17 c | 1085 | 800 16000 80000 | 5333 1085 104 | 0.000 % |
0.03/0.19 c | 1218 | 800 16000 80000 | 5333 1218 104 | 0.000 % |
0.03/0.20 c | 1318 | 800 16000 80000 | 5333 1318 104 | 0.000 % |
0.03/0.21 c | 1429 | 800 16000 80000 | 5333 1429 105 | 0.000 % |
0.03/0.22 c | 1552 | 800 16000 80000 | 5333 1552 104 | 0.000 % |
0.03/0.24 c | 1686 | 800 16000 80000 | 5333 1686 103 | 0.000 % |
0.03/0.25 c | 1834 | 800 16000 80000 | 5333 1834 103 | 0.000 % |
0.03/0.26 c | 1934 | 800 16000 80000 | 5333 1934 103 | 0.000 % |
0.03/0.27 c | 2044 | 800 16000 80000 | 5333 2044 103 | 0.000 % |
0.03/0.29 c | 2165 | 800 16000 80000 | 5333 2165 103 | 0.000 % |
0.03/0.30 c | 2299 | 800 16000 80000 | 5333 2299 102 | 0.000 % |
0.03/0.32 c | 2445 | 800 16000 80000 | 5333 2445 103 | 0.000 % |
0.03/0.33 c | 2605 | 800 16000 80000 | 5333 2605 103 | 0.000 % |
0.03/0.35 c | 2705 | 800 16000 80000 | 5333 2705 103 | 0.000 % |
0.03/0.36 c | 2815 | 800 16000 80000 | 5333 2815 102 | 0.000 % |
0.03/0.37 c | 2936 | 800 16000 80000 | 5333 2936 102 | 0.000 % |
0.03/0.39 c | 3069 | 800 16000 80000 | 5333 3069 102 | 0.000 % |
0.03/0.40 c | 3215 | 800 16000 80000 | 5333 3215 102 | 0.000 % |
0.03/0.42 c | 3375 | 800 16000 80000 | 5333 3375 102 | 0.000 % |
0.03/0.44 c | 3551 | 800 16000 80000 | 5333 3551 102 | 0.000 % |
0.03/0.45 c | 3651 | 800 16000 80000 | 5333 3651 102 | 0.000 % |
0.03/0.47 c | 3765 | 800 16000 80000 | 5333 3765 102 | 0.000 % |
0.03/0.48 c | 3887 | 800 16000 80000 | 5333 3887 101 | 0.000 % |
0.03/0.50 c | 4022 | 800 16000 80000 | 5333 4022 102 | 0.000 % |
0.03/0.51 c | 4169 | 800 16000 80000 | 5333 4169 102 | 0.000 % |
0.03/0.54 c | 4329 | 800 16000 80000 | 5333 4329 102 | 0.000 % |
0.03/0.56 c | 4505 | 800 16000 80000 | 5333 4505 102 | 0.000 % |
0.03/0.58 c | 4699 | 800 16000 80000 | 5333 4699 102 | 0.000 % |
0.03/0.59 c | 4802 | 800 16000 80000 | 5333 4802 103 | 0.000 % |
0.03/0.61 c | 4912 | 800 16000 80000 | 5333 4912 103 | 0.000 % |
0.03/0.62 c | 5033 | 800 16000 80000 | 5333 5033 103 | 0.000 % |
0.03/0.64 c | 5166 | 800 16000 80000 | 5333 5166 103 | 0.000 % |
0.03/0.66 c | 5313 | 800 16000 80000 | 5333 5313 103 | 0.000 % |
0.03/0.68 c | 5474 | 800 16000 80000 | 5333 5474 103 | 0.000 % |
0.03/0.70 c | 5651 | 800 16000 80000 | 5333 5104 102 | 0.000 % |
0.03/0.73 c | 5845 | 800 16000 80000 | 5333 5298 102 | 0.000 % |
0.03/0.75 c | 6057 | 800 16000 80000 | 5333 5510 101 | 0.000 % |
0.03/0.77 c | 6158 | 800 16000 80000 | 5333 5060 101 | 0.000 % |
0.03/0.78 c | 6269 | 800 16000 80000 | 5333 5171 101 | 0.000 % |
0.03/0.80 c | 6392 | 800 16000 80000 | 5333 5294 101 | 0.000 % |
0.03/0.82 c | 6525 | 800 16000 80000 | 5333 5427 101 | 0.000 % |
0.03/0.84 c | 6671 | 800 16000 80000 | 5333 5031 101 | 0.000 % |
0.03/0.86 c | 6831 | 800 16000 80000 | 5333 5191 101 | 0.000 % |
0.03/0.88 c | 7009 | 800 16000 80000 | 5333 5369 101 | 0.000 % |
0.03/0.91 c | 7204 | 800 16000 80000 | 5333 5028 101 | 0.000 % |
0.03/0.93 c | 7416 | 800 16000 80000 | 5333 5240 102 | 0.000 % |
0.03/0.96 c | 7649 | 800 16000 80000 | 5333 5473 102 | 0.000 % |
0.03/0.97 c | 7749 | 800 16000 80000 | 5333 5026 102 | 0.000 % |
0.03/0.99 c | 7859 | 800 16000 80000 | 5333 5136 102 | 0.000 % |
0.97/1.01 c | 7981 | 800 16000 80000 | 5333 5258 102 | 0.000 % |
0.97/1.02 c | 8114 | 800 16000 80000 | 5333 5391 102 | 0.000 % |
0.97/1.04 c | 8260 | 800 16000 80000 | 5333 4998 102 | 0.000 % |
0.97/1.06 c | 8421 | 800 16000 80000 | 5333 5159 101 | 0.000 % |
0.97/1.08 c | 8599 | 800 16000 80000 | 5333 5337 102 | 0.000 % |
1.07/1.10 c | 8792 | 800 16000 80000 | 5333 4997 103 | 0.000 % |
1.07/1.13 c | 9004 | 800 16000 80000 | 5333 5209 103 | 0.000 % |
1.07/1.15 c | 9238 | 800 16000 80000 | 5333 5443 103 | 0.000 % |
1.07/1.18 c | 9495 | 800 16000 80000 | 5333 5156 103 | 0.000 % |
1.07/1.19 c | 9598 | 800 16000 80000 | 5333 5259 103 | 0.000 % |
1.16/1.21 c | 9711 | 800 16000 80000 | 5333 5372 103 | 0.000 % |
1.16/1.22 c | 9833 | 800 16000 80000 | 5333 4957 102 | 0.000 % |
1.16/1.24 c | 9971 | 800 16000 80000 | 5333 5095 102 | 0.000 % |
1.16/1.25 c | 10118 | 800 16000 80000 | 2147483647 5242 102 | 0.000 % |
1.16/1.27 c | 10278 | 800 16000 80000 | 2147483647 5402 102 | 0.000 % |
1.16/1.29 c | 10456 | 800 16000 80000 | 2147483647 5580 102 | 0.000 % |
1.26/1.32 c | 10649 | 800 16000 80000 | 2147483647 5773 102 | 0.000 % |
1.26/1.34 c | 10862 | 800 16000 80000 | 2147483647 5986 102 | 0.000 % |
1.26/1.37 c | 11096 | 800 16000 80000 | 2147483647 6220 102 | 0.000 % |
1.36/1.41 c | 11356 | 800 16000 80000 | 2147483647 6480 103 | 0.000 % |
1.36/1.44 c | 11640 | 800 16000 80000 | 2147483647 6764 103 | 0.000 % |
1.36/1.45 c | 11740 | 800 16000 80000 | 2147483647 6864 103 | 0.000 % |
1.36/1.47 c | 11850 | 800 16000 80000 | 2147483647 6974 103 | 0.000 % |
1.36/1.48 c | 11971 | 800 16000 80000 | 2147483647 7095 103 | 0.000 % |
1.46/1.50 c | 12104 | 800 16000 80000 | 2147483647 7228 103 | 0.000 % |
1.46/1.52 c | 12250 | 800 16000 80000 | 2147483647 7374 103 | 0.000 % |
1.46/1.54 c | 12413 | 800 16000 80000 | 2147483647 7537 103 | 0.000 % |
1.46/1.56 c | 12589 | 800 16000 80000 | 2147483647 7713 103 | 0.000 % |
1.46/1.59 c | 12782 | 800 16000 80000 | 2147483647 7906 103 | 0.000 % |
1.56/1.62 c | 12994 | 800 16000 80000 | 2147483647 8118 103 | 0.000 % |
1.56/1.65 c | 13227 | 800 16000 80000 | 2147483647 8351 103 | 0.000 % |
1.56/1.68 c | 13485 | 800 16000 80000 | 2147483647 8609 104 | 0.000 % |
1.66/1.72 c | 13767 | 800 16000 80000 | 2147483647 8891 104 | 0.000 % |
1.66/1.76 c | 14076 | 800 16000 80000 | 2147483647 9200 104 | 0.000 % |
1.66/1.78 c | 14176 | 800 16000 80000 | 2147483647 9300 104 | 0.000 % |
1.66/1.79 c | 14286 | 800 16000 80000 | 2147483647 9410 104 | 0.000 % |
1.76/1.81 c | 14407 | 800 16000 80000 | 2147483647 9531 104 | 0.000 % |
1.76/1.83 c | 14541 | 800 16000 80000 | 2147483647 9665 104 | 0.000 % |
1.76/1.85 c | 14688 | 800 16000 80000 | 2147483647 9812 104 | 0.000 % |
1.76/1.88 c | 14848 | 800 16000 80000 | 2147483647 9972 104 | 0.000 % |
1.86/1.90 c | 15027 | 800 16000 80000 | 2147483647 10151 104 | 0.000 % |
1.86/1.93 c | 15221 | 800 16000 80000 | 2147483647 10345 104 | 0.000 % |
1.86/1.96 c | 15435 | 800 16000 80000 | 2147483647 10559 104 | 0.000 % |
1.96/2.00 c | 15668 | 800 16000 80000 | 2147483647 10792 104 | 0.000 % |
1.96/2.04 c | 15924 | 800 16000 80000 | 2147483647 11048 104 | 0.000 % |
1.96/2.08 c | 16205 | 800 16000 80000 | 2147483647 11329 104 | 0.000 % |
2.07/2.13 c | 16517 | 800 16000 80000 | 2147483647 11641 104 | 0.000 % |
2.07/2.18 c | 16856 | 800 16000 80000 | 2147483647 11980 105 | 0.000 % |
2.07/2.20 c | 16956 | 800 16000 80000 | 2147483647 12080 105 | 0.000 % |
2.17/2.21 c | 17066 | 800 16000 80000 | 2147483647 12190 105 | 0.000 % |
2.17/2.23 c | 17188 | 800 16000 80000 | 2147483647 12312 105 | 0.000 % |
2.17/2.25 c | 17321 | 800 16000 80000 | 2147483647 12445 105 | 0.000 % |
2.17/2.27 c | 17467 | 800 16000 80000 | 2147483647 12591 105 | 0.000 % |
2.26/2.30 c | 17627 | 800 16000 80000 | 2147483647 12751 105 | 0.000 % |
2.26/2.33 c | 17804 | 800 16000 80000 | 2147483647 12928 104 | 0.000 % |
2.26/2.36 c | 17997 | 800 16000 80000 | 2147483647 13121 105 | 0.000 % |
2.26/2.40 c | 18209 | 800 16000 80000 | 2147483647 13333 105 | 0.000 % |
2.36/2.43 c | 18443 | 800 16000 80000 | 2147483647 13567 105 | 0.000 % |
2.36/2.47 c | 18699 | 800 16000 80000 | 2147483647 13823 105 | 0.000 % |
2.46/2.52 c | 18980 | 800 16000 80000 | 2147483647 14104 105 | 0.000 % |
2.46/2.57 c | 19291 | 800 16000 80000 | 2147483647 14415 105 | 0.000 % |
2.56/2.63 c | 19630 | 800 16000 80000 | 2147483647 14754 105 | 0.000 % |
2.56/2.69 c | 20003 | 800 16000 80000 | 2147483647 15127 105 | 0.000 % |
2.66/2.72 c | 20104 | 800 16000 80000 | 2147483647 15228 105 | 0.000 % |
2.66/2.74 c | 20214 | 800 16000 80000 | 2147483647 15338 105 | 0.000 % |
2.66/2.76 c | 20337 | 800 16000 80000 | 2147483647 15461 105 | 0.000 % |
2.66/2.78 c | 20471 | 800 16000 80000 | 2147483647 15595 105 | 0.000 % |
2.76/2.81 c | 20618 | 800 16000 80000 | 2147483647 15742 105 | 0.000 % |
2.76/2.85 c | 20779 | 800 16000 80000 | 2147483647 15903 105 | 0.000 % |
2.76/2.88 c | 20955 | 800 16000 80000 | 2147483647 16079 105 | 0.000 % |
2.86/2.92 c | 21148 | 800 16000 80000 | 2147483647 16272 105 | 0.000 % |
2.86/2.96 c | 21360 | 800 16000 80000 | 2147483647 16484 105 | 0.000 % |
2.96/3.00 c | 21596 | 800 16000 80000 | 2147483647 16720 105 | 0.000 % |
2.96/3.05 c | 21854 | 800 16000 80000 | 2147483647 16978 105 | 0.000 % |
3.06/3.11 c | 22137 | 800 16000 80000 | 2147483647 17261 106 | 0.000 % |
3.06/3.17 c | 22446 | 800 16000 80000 | 2147483647 17570 106 | 0.000 % |
3.17/3.24 c | 22786 | 800 16000 80000 | 2147483647 17910 106 | 0.000 % |
3.27/3.31 c | 23159 | 800 16000 80000 | 2147483647 18283 106 | 0.000 % |
3.37/3.40 c | 23568 | 800 16000 80000 | 2147483647 18692 106 | 0.000 % |
3.37/3.43 c | 23668 | 800 16000 80000 | 2147483647 18792 106 | 0.000 % |
3.37/3.45 c | 23778 | 800 16000 80000 | 2147483647 18902 106 | 0.000 % |
3.37/3.48 c | 23899 | 800 16000 80000 | 2147483647 19023 106 | 0.000 % |
3.47/3.51 c | 24033 | 800 16000 80000 | 2147483647 19157 106 | 0.000 % |
3.47/3.54 c | 24180 | 800 16000 80000 | 2147483647 19304 106 | 0.000 % |
3.47/3.58 c | 24340 | 800 16000 80000 | 2147483647 19464 106 | 0.000 % |
3.57/3.61 c | 24516 | 800 16000 80000 | 2147483647 19640 106 | 0.000 % |
3.57/3.66 c | 24709 | 800 16000 80000 | 2147483647 19833 106 | 0.000 % |
3.67/3.70 c | 24922 | 800 16000 80000 | 2147483647 20046 106 | 0.000 % |
3.67/3.76 c | 25155 | 800 16000 80000 | 2147483647 20279 106 | 0.000 % |
3.77/3.81 c | 25411 | 800 16000 80000 | 2147483647 20535 106 | 0.000 % |
3.77/3.87 c | 25692 | 800 16000 80000 | 2147483647 20816 106 | 0.000 % |
3.86/3.94 c | 26001 | 800 16000 80000 | 2147483647 21125 106 | 0.000 % |
3.96/4.02 c | 26342 | 800 16000 80000 | 2147483647 21466 106 | 0.000 % |
4.06/4.11 c | 26714 | 800 16000 80000 | 2147483647 21838 106 | 0.000 % |
4.16/4.20 c | 27123 | 800 16000 80000 | 2147483647 22247 106 | 0.000 % |
4.27/4.30 c | 27574 | 800 16000 80000 | 2147483647 22698 107 | 0.000 % |
4.27/4.33 c | 27674 | 800 16000 80000 | 2147483647 22798 107 | 0.000 % |
4.27/4.36 c | 27784 | 800 16000 80000 | 2147483647 22908 107 | 0.000 % |
4.27/4.39 c | 27906 | 800 16000 80000 | 2147483647 23030 107 | 0.000 % |
4.37/4.43 c | 28039 | 800 16000 80000 | 2147483647 23163 107 | 0.000 % |
4.37/4.47 c | 28186 | 800 16000 80000 | 2147483647 23310 107 | 0.000 % |
4.46/4.51 c | 28346 | 800 16000 80000 | 2147483647 23470 107 | 0.000 % |
4.46/4.56 c | 28522 | 800 16000 80000 | 2147483647 23646 107 | 0.000 % |
4.56/4.61 c | 28716 | 800 16000 80000 | 2147483647 23840 107 | 0.000 % |
4.56/4.67 c | 28928 | 800 16000 80000 | 2147483647 24052 107 | 0.000 % |
4.66/4.72 c | 29162 | 800 16000 80000 | 2147483647 24286 107 | 0.000 % |
4.66/4.79 c | 29421 | 800 16000 80000 | 2147483647 24545 107 | 0.000 % |
4.76/4.86 c | 29703 | 800 16000 80000 | 2147483647 24827 107 | 0.000 % |
4.86/4.94 c | 30012 | 800 16000 80000 | 2147483647 25136 107 | 0.000 % |
4.97/5.04 c | 30353 | 800 16000 80000 | 2147483647 25477 107 | 0.000 % |
5.07/5.13 c | 30725 | 800 16000 80000 | 2147483647 25849 107 | 0.000 % |
5.17/5.24 c | 31135 | 800 16000 80000 | 2147483647 26259 107 | 0.000 % |
5.27/5.37 c | 31584 | 800 16000 80000 | 2147483647 26708 107 | 0.000 % |
5.37/5.49 c | 32078 | 800 16000 80000 | 2147483647 27202 107 | 0.000 % |
5.47/5.53 c | 32179 | 800 16000 80000 | 2147483647 27303 107 | 0.000 % |
5.47/5.56 c | 32290 | 800 16000 80000 | 2147483647 27414 107 | 0.000 % |
5.47/5.59 c | 32411 | 800 16000 80000 | 2147483647 27535 107 | 0.000 % |
5.57/5.63 c | 32544 | 800 16000 80000 | 2147483647 27668 107 | 0.000 % |
5.57/5.68 c | 32690 | 800 16000 80000 | 2147483647 27814 107 | 0.000 % |
5.67/5.72 c | 32853 | 800 16000 80000 | 2147483647 27977 107 | 0.000 % |
5.67/5.78 c | 33031 | 800 16000 80000 | 2147483647 28155 107 | 0.000 % |
5.77/5.84 c | 33224 | 800 16000 80000 | 2147483647 28348 107 | 0.000 % |
5.86/5.90 c | 33437 | 800 16000 80000 | 2147483647 28561 107 | 0.000 % |
5.86/5.98 c | 33671 | 800 16000 80000 | 2147483647 28795 107 | 0.000 % |
5.96/6.06 c | 33928 | 800 16000 80000 | 2147483647 29052 107 | 0.000 % |
6.06/6.14 c | 34210 | 800 16000 80000 | 2147483647 29334 107 | 0.000 % |
6.16/6.22 c | 34519 | 800 16000 80000 | 2147483647 29643 107 | 0.000 % |
6.26/6.33 c | 34858 | 800 16000 80000 | 2147483647 29982 107 | 0.000 % |
6.36/6.45 c | 35233 | 800 16000 80000 | 2147483647 30357 107 | 0.000 % |
6.47/6.57 c | 35644 | 800 16000 80000 | 2147483647 30768 107 | 0.000 % |
6.66/6.71 c | 36093 | 800 16000 80000 | 2147483647 31217 107 | 0.000 % |
6.76/6.86 c | 36587 | 800 16000 80000 | 2147483647 31711 107 | 0.000 % |
6.96/7.02 c | 37130 | 800 16000 80000 | 2147483647 32254 107 | 0.000 % |
6.96/7.05 c | 37231 | 800 16000 80000 | 2147483647 32355 107 | 0.000 % |
6.96/7.09 c | 37341 | 800 16000 80000 | 2147483647 32465 107 | 0.000 % |
7.06/7.12 c | 37462 | 800 16000 80000 | 2147483647 32586 107 | 0.000 % |
7.06/7.16 c | 37596 | 800 16000 80000 | 2147483647 32720 107 | 0.000 % |
7.16/7.22 c | 37742 | 800 16000 80000 | 2147483647 32866 107 | 0.000 % |
7.16/7.27 c | 37904 | 800 16000 80000 | 2147483647 33028 107 | 0.000 % |
7.26/7.33 c | 38080 | 800 16000 80000 | 2147483647 33204 107 | 0.000 % |
7.36/7.40 c | 38275 | 800 16000 80000 | 2147483647 33399 107 | 0.000 % |
7.36/7.47 c | 38487 | 800 16000 80000 | 2147483647 33611 107 | 0.000 % |
7.46/7.55 c | 38720 | 800 16000 80000 | 2147483647 33844 107 | 0.000 % |
7.56/7.63 c | 38978 | 800 16000 80000 | 2147483647 34102 107 | 0.000 % |
7.66/7.73 c | 39259 | 800 16000 80000 | 2147483647 34383 107 | 0.000 % |
7.76/7.84 c | 39570 | 800 16000 80000 | 2147483647 34694 107 | 0.000 % |
7.86/7.96 c | 39909 | 800 16000 80000 | 2147483647 35033 107 | 0.000 % |
7.96/8.09 c | 40281 | 800 16000 80000 | 2147483647 35405 107 | 0.000 % |
8.17/8.23 c | 40691 | 800 16000 80000 | 2147483647 35815 107 | 0.000 % |
8.27/8.39 c | 41140 | 800 16000 80000 | 2147483647 36264 107 | 0.000 % |
8.47/8.55 c | 41634 | 800 16000 80000 | 2147483647 36758 107 | 0.000 % |
8.67/8.74 c | 42176 | 800 16000 80000 | 2147483647 37300 107 | 0.000 % |
8.87/8.95 c | 42772 | 800 16000 80000 | 2147483647 37896 107 | 0.000 % |
8.87/8.99 c | 42873 | 800 16000 80000 | 2147483647 37997 107 | 0.000 % |
8.97/9.03 c | 42983 | 800 16000 80000 | 2147483647 38107 107 | 0.000 % |
8.97/9.08 c | 43105 | 800 16000 80000 | 2147483647 38229 107 | 0.000 % |
9.07/9.12 c | 43239 | 800 16000 80000 | 2147483647 38363 107 | 0.000 % |
9.07/9.18 c | 43385 | 800 16000 80000 | 2147483647 38509 107 | 0.000 % |
9.17/9.24 c | 43545 | 800 16000 80000 | 2147483647 38669 107 | 0.000 % |
9.27/9.33 c | 43721 | 800 16000 80000 | 2147483647 38845 107 | 0.000 % |
9.27/9.39 c | 43914 | 800 16000 80000 | 2147483647 39038 107 | 0.000 % |
9.37/9.47 c | 44126 | 800 16000 80000 | 2147483647 39250 107 | 0.000 % |
9.46/9.56 c | 44359 | 800 16000 80000 | 2147483647 39483 107 | 0.000 % |
9.56/9.65 c | 44615 | 800 16000 80000 | 2147483647 39739 107 | 0.000 % |
9.66/9.76 c | 44897 | 800 16000 80000 | 2147483647 40021 107 | 0.000 % |
9.77/9.87 c | 45209 | 800 16000 80000 | 2147483647 40333 107 | 0.000 % |
9.96/10.00 c | 45548 | 800 16000 80000 | 2147483647 40672 107 | 0.000 % |
10.06/10.14 c | 45921 | 800 16000 80000 | 2147483647 41045 107 | 0.000 % |
10.26/10.30 c | 46332 | 800 16000 80000 | 2147483647 41456 107 | 0.000 % |
10.36/10.48 c | 46782 | 800 16000 80000 | 2147483647 41906 107 | 0.000 % |
10.56/10.66 c | 47275 | 800 16000 80000 | 2147483647 42399 107 | 0.000 % |
10.76/10.86 c | 47817 | 800 16000 80000 | 2147483647 42941 107 | 0.000 % |
11.06/11.11 c | 48413 | 800 16000 80000 | 2147483647 43537 107 | 0.000 % |
11.26/11.37 c | 49068 | 800 16000 80000 | 2147483647 44192 107 | 0.000 % |
11.36/11.42 c | 49168 | 800 16000 80000 | 2147483647 44292 107 | 0.000 % |
11.36/11.47 c | 49278 | 800 16000 80000 | 2147483647 44402 107 | 0.000 % |
11.46/11.53 c | 49400 | 800 16000 80000 | 2147483647 44524 107 | 0.000 % |
11.46/11.59 c | 49535 | 800 16000 80000 | 2147483647 44659 107 | 0.000 % |
11.57/11.67 c | 49681 | 800 16000 80000 | 2147483647 44805 107 | 0.000 % |
11.67/11.76 c | 49841 | 800 16000 80000 | 2147483647 44965 107 | 0.000 % |
11.77/11.84 c | 50019 | 800 16000 80000 | 2147483647 45143 107 | 0.000 % |
11.87/11.93 c | 50212 | 800 16000 80000 | 2147483647 45336 107 | 0.000 % |
11.97/12.02 c | 50424 | 800 16000 80000 | 2147483647 45548 107 | 0.000 % |
12.07/12.10 c | 50662 | 800 16000 80000 | 2147483647 45786 107 | 0.000 % |
12.17/12.21 c | 50918 | 800 16000 80000 | 2147483647 46042 107 | 0.000 % |
12.27/12.33 c | 51199 | 800 16000 80000 | 2147483647 46323 107 | 0.000 % |
12.37/12.45 c | 51508 | 800 16000 80000 | 2147483647 46632 107 | 0.000 % |
12.57/12.63 c | 51847 | 800 16000 80000 | 2147483647 46971 107 | 0.000 % |
12.77/12.80 c | 52220 | 800 16000 80000 | 2147483647 47344 107 | 0.000 % |
12.87/12.99 c | 52629 | 800 16000 80000 | 2147483647 47753 108 | 0.000 % |
13.07/13.17 c | 53078 | 800 16000 80000 | 2147483647 48202 108 | 0.000 % |
13.36/13.41 c | 53571 | 800 16000 80000 | 2147483647 48695 108 | 0.000 % |
13.56/13.64 c | 54113 | 800 16000 80000 | 2147483647 49237 108 | 0.000 % |
13.86/13.91 c | 54710 | 800 16000 80000 | 2147483647 49834 108 | 0.000 % |
14.17/14.21 c | 55366 | 800 16000 80000 | 2147483647 50490 108 | 0.000 % |
14.46/14.53 c | 56086 | 800 16000 80000 | 2147483647 51210 108 | 0.000 % |
14.56/14.60 c | 56186 | 800 16000 80000 | 2147483647 51310 108 | 0.000 % |
14.56/14.65 c | 56297 | 800 16000 80000 | 2147483647 51421 108 | 0.000 % |
14.66/14.71 c | 56419 | 800 16000 80000 | 2147483647 51543 108 | 0.000 % |
14.66/14.78 c | 56552 | 800 16000 80000 | 2147483647 51676 108 | 0.000 % |
14.76/14.87 c | 56698 | 800 16000 80000 | 2147483647 51822 108 | 0.000 % |
14.86/14.95 c | 56858 | 800 16000 80000 | 2147483647 51982 108 | 0.000 % |
14.96/15.03 c | 57034 | 800 16000 80000 | 2147483647 52158 108 | 0.000 % |
15.06/15.14 c | 57228 | 800 16000 80000 | 2147483647 52352 108 | 0.000 % |
15.16/15.24 c | 57440 | 800 16000 80000 | 2147483647 52564 108 | 0.000 % |
15.26/15.37 c | 57674 | 800 16000 80000 | 2147483647 52798 108 | 0.000 % |
15.36/15.50 c | 57930 | 800 16000 80000 | 2147483647 53054 108 | 0.000 % |
15.56/15.65 c | 58214 | 800 16000 80000 | 2147483647 53338 108 | 0.000 % |
15.66/15.80 c | 58523 | 800 16000 80000 | 2147483647 53647 108 | 0.000 % |
15.86/15.97 c | 58864 | 800 16000 80000 | 2147483647 53988 108 | 0.000 % |
16.07/16.15 c | 59237 | 800 16000 80000 | 2147483647 54361 108 | 0.000 % |
16.27/16.34 c | 59647 | 800 16000 80000 | 2147483647 54771 108 | 0.000 % |
16.47/16.55 c | 60097 | 800 16000 80000 | 2147483647 55221 108 | 0.000 % |
16.76/16.82 c | 60591 | 800 16000 80000 | 2147483647 55715 108 | 0.000 % |
17.06/17.12 c | 61134 | 800 16000 80000 | 2147483647 56258 108 | 0.000 % |
17.36/17.42 c | 61731 | 800 16000 80000 | 2147483647 56855 108 | 0.000 % |
17.66/17.74 c | 62386 | 800 16000 80000 | 2147483647 57510 108 | 0.000 % |
17.96/18.09 c | 63106 | 800 16000 80000 | 2147483647 58230 108 | 0.000 % |
18.46/18.50 c | 63898 | 800 16000 80000 | 2147483647 59022 108 | 0.000 % |
18.46/18.55 c | 63998 | 800 16000 80000 | 2147483647 59122 108 | 0.000 % |
18.56/18.61 c | 64108 | 800 16000 80000 | 2147483647 59232 108 | 0.000 % |
18.56/18.67 c | 64229 | 800 16000 80000 | 2147483647 59353 108 | 0.000 % |
18.66/18.74 c | 64363 | 800 16000 80000 | 2147483647 59487 108 | 0.000 % |
18.76/18.83 c | 64509 | 800 16000 80000 | 2147483647 59633 108 | 0.000 % |
18.86/18.94 c | 64669 | 800 16000 80000 | 2147483647 59793 108 | 0.000 % |
18.96/19.03 c | 64848 | 800 16000 80000 | 2147483647 59972 108 | 0.000 % |
19.06/19.14 c | 65041 | 800 16000 80000 | 2147483647 60165 108 | 0.000 % |
19.16/19.28 c | 65253 | 800 16000 80000 | 2147483647 60377 108 | 0.000 % |
19.36/19.41 c | 65487 | 800 16000 80000 | 2147483647 60611 108 | 0.000 % |
19.46/19.55 c | 65746 | 800 16000 80000 | 2147483647 60870 108 | 0.000 % |
19.66/19.71 c | 66029 | 800 16000 80000 | 2147483647 61153 108 | 0.000 % |
19.86/19.90 c | 66338 | 800 16000 80000 | 2147483647 61462 108 | 0.000 % |
19.96/20.09 c | 66677 | 800 16000 80000 | 2147483647 61801 108 | 0.000 % |
20.26/20.30 c | 67049 | 800 16000 80000 | 2147483647 62173 108 | 0.000 % |
20.46/20.54 c | 67460 | 800 16000 80000 | 2147483647 62584 108 | 0.000 % |
20.66/20.77 c | 67909 | 800 16000 80000 | 2147483647 63033 108 | 0.000 % |
20.96/21.03 c | 68402 | 800 16000 80000 | 2147483647 63526 108 | 0.000 % |
21.26/21.33 c | 68945 | 800 16000 80000 | 2147483647 64069 108 | 0.000 % |
21.56/21.68 c | 69541 | 800 16000 80000 | 2147483647 64665 108 | 0.000 % |
21.96/22.07 c | 70197 | 800 16000 80000 | 2147483647 65321 108 | 0.000 % |
22.35/22.49 c | 70918 | 800 16000 80000 | 2147483647 66042 108 | 0.000 % |
22.86/22.94 c | 71711 | 800 16000 80000 | 2147483647 66835 108 | 0.000 % |
23.36/23.44 c | 72582 | 800 16000 80000 | 2147483647 67706 108 | 0.000 % |
23.46/23.52 c | 72683 | 800 16000 80000 | 2147483647 67807 108 | 0.000 % |
23.56/23.60 c | 72795 | 800 16000 80000 | 2147483647 67919 108 | 0.000 % |
23.56/23.68 c | 72916 | 800 16000 80000 | 2147483647 68040 108 | 0.000 % |
23.66/23.76 c | 73049 | 800 16000 80000 | 2147483647 68173 108 | 0.000 % |
23.75/23.88 c | 73198 | 800 16000 80000 | 2147483647 68322 108 | 0.000 % |
23.85/23.97 c | 73358 | 800 16000 80000 | 2147483647 68482 108 | 0.000 % |
23.95/24.09 c | 73537 | 800 16000 80000 | 2147483647 68661 108 | 0.000 % |
24.16/24.25 c | 73731 | 800 16000 80000 | 2147483647 68855 108 | 0.000 % |
24.25/24.38 c | 73943 | 800 16000 80000 | 2147483647 69067 108 | 0.000 % |
24.45/24.53 c | 74176 | 800 16000 80000 | 2147483647 69300 108 | 0.000 % |
24.55/24.67 c | 74432 | 800 16000 80000 | 2147483647 69556 108 | 0.000 % |
24.75/24.84 c | 74713 | 800 16000 80000 | 2147483647 69837 108 | 0.000 % |
24.95/25.01 c | 75023 | 800 16000 80000 | 2147483647 70147 108 | 0.000 % |
25.16/25.25 c | 75362 | 800 16000 80000 | 2147483647 70486 108 | 0.000 % |
25.36/25.49 c | 75734 | 800 16000 80000 | 2147483647 70858 108 | 0.000 % |
25.66/25.74 c | 76145 | 800 16000 80000 | 2147483647 71269 108 | 0.000 % |
25.96/26.00 c | 76594 | 800 16000 80000 | 2147483647 71718 108 | 0.000 % |
26.26/26.34 c | 77087 | 800 16000 80000 | 2147483647 72211 108 | 0.000 % |
26.55/26.69 c | 77629 | 800 16000 80000 | 2147483647 72753 108 | 0.000 % |
26.95/27.06 c | 78226 | 800 16000 80000 | 2147483647 73350 108 | 0.000 % |
27.36/27.48 c | 78882 | 800 16000 80000 | 2147483647 74006 108 | 0.000 % |
27.85/27.95 c | 79604 | 800 16000 80000 | 2147483647 74728 109 | 0.000 % |
28.35/28.46 c | 80396 | 800 16000 80000 | 75126 67383 109 | 0.000 % |
28.85/28.92 c | 81269 | 800 16000 80000 | 75126 68256 109 | 0.000 % |
29.45/29.51 c | 82229 | 800 16000 80000 | 75126 69216 109 | 0.000 % |
29.45/29.58 c | 82329 | 800 16000 80000 | 75126 69316 109 | 0.000 % |
29.55/29.66 c | 82439 | 800 16000 80000 | 75126 69426 109 | 0.000 % |
29.65/29.74 c | 82560 | 800 16000 80000 | 75126 69547 109 | 0.000 % |
29.75/29.85 c | 82693 | 800 16000 80000 | 75126 69680 109 | 0.000 % |
29.85/29.95 c | 82839 | 800 16000 80000 | 75126 69826 109 | 0.000 % |
29.95/30.05 c | 83000 | 800 16000 80000 | 75126 69987 109 | 0.000 % |
30.05/30.19 c | 83176 | 800 16000 80000 | 75126 70163 109 | 0.000 % |
30.25/30.32 c | 83370 | 800 16000 80000 | 75126 70357 109 | 0.000 % |
30.35/30.46 c | 83582 | 800 16000 80000 | 75126 70569 109 | 0.000 % |
30.55/30.64 c | 83815 | 800 16000 80000 | 75126 70802 109 | 0.000 % |
30.75/30.82 c | 84073 | 800 16000 80000 | 75126 71060 109 | 0.000 % |
30.95/31.01 c | 84355 | 800 16000 80000 | 75126 71342 109 | 0.000 % |
31.15/31.20 c | 84666 | 800 16000 80000 | 75126 71653 109 | 0.000 % |
31.35/31.43 c | 85005 | 800 16000 80000 | 75126 71992 109 | 0.000 % |
31.55/31.69 c | 85377 | 800 16000 80000 | 75126 72364 109 | 0.000 % |
31.85/31.94 c | 85787 | 800 16000 80000 | 75126 72774 109 | 0.000 % |
32.15/32.24 c | 86238 | 800 16000 80000 | 75126 73225 109 | 0.000 % |
32.45/32.53 c | 86731 | 800 16000 80000 | 75126 73718 109 | 0.000 % |
32.75/32.84 c | 87273 | 800 16000 80000 | 75126 74260 109 | 0.000 % |
33.15/33.26 c | 87870 | 800 16000 80000 | 75126 74857 109 | 0.000 % |
33.65/33.72 c | 88525 | 800 16000 80000 | 75126 66440 109 | 0.000 % |
34.05/34.16 c | 89246 | 800 16000 80000 | 75126 67161 109 | 0.000 % |
34.45/34.60 c | 90038 | 800 16000 80000 | 67915 67953 109 | 0.000 % |
35.05/35.15 c | 90911 | 800 16000 80000 | 67915 60706 109 | 0.000 % |
35.55/35.63 c | 91872 | 800 16000 80000 | 67915 61667 109 | 0.000 % |
36.05/36.17 c | 92925 | 800 16000 80000 | 67915 62720 109 | 0.000 % |
36.15/36.22 c | 93026 | 800 16000 80000 | 67915 62821 109 | 0.000 % |
36.25/36.30 c | 93136 | 800 16000 80000 | 67915 62931 109 | 0.000 % |
36.25/36.38 c | 93258 | 800 16000 80000 | 67915 63053 109 | 0.000 % |
36.35/36.45 c | 93392 | 800 16000 80000 | 67915 63187 109 | 0.000 % |
36.45/36.55 c | 93538 | 800 16000 80000 | 67915 63333 109 | 0.000 % |
36.55/36.67 c | 93698 | 800 16000 80000 | 67915 63493 109 | 0.000 % |
36.65/36.78 c | 93875 | 800 16000 80000 | 67915 63670 109 | 0.000 % |
36.75/36.89 c | 94068 | 800 16000 80000 | 67915 63863 109 | 0.000 % |
36.95/37.03 c | 94282 | 800 16000 80000 | 67915 64077 109 | 0.000 % |
37.05/37.17 c | 94515 | 800 16000 80000 | 67915 64310 109 | 0.000 % |
37.25/37.33 c | 94771 | 800 16000 80000 | 67915 64566 109 | 0.000 % |
37.45/37.50 c | 95052 | 800 16000 80000 | 67915 64847 109 | 0.000 % |
37.55/37.70 c | 95362 | 800 16000 80000 | 67915 65157 109 | 0.000 % |
37.85/37.90 c | 95701 | 800 16000 80000 | 67915 65496 109 | 0.000 % |
38.05/38.10 c | 96074 | 800 16000 80000 | 67915 65869 109 | 0.000 % |
38.25/38.35 c | 96483 | 800 16000 80000 | 67915 66278 109 | 0.000 % |
38.55/38.62 c | 96934 | 800 16000 80000 | 67915 66729 109 | 0.000 % |
38.85/38.90 c | 97427 | 800 16000 80000 | 67915 67222 109 | 0.000 % |
39.15/39.21 c | 97970 | 800 16000 80000 | 67915 67765 110 | 0.000 % |
39.45/39.56 c | 98567 | 800 16000 80000 | 67915 61542 110 | 0.000 % |
39.85/39.94 c | 99223 | 800 16000 80000 | 67915 62198 110 | 0.000 % |
40.25/40.35 c | 99944 | 800 16000 80000 | 67915 62919 110 | 0.000 % |
40.65/40.77 c | 100736 | 800 16000 80000 | 2147483647 63711 110 | 0.000 % |
41.15/41.30 c | 101609 | 800 16000 80000 | 2147483647 64584 110 | 0.000 % |
41.75/41.86 c | 102567 | 800 16000 80000 | 2147483647 65542 110 | 0.000 % |
42.45/42.50 c | 103620 | 800 16000 80000 | 2147483647 66595 110 | 0.000 % |
43.05/43.18 c | 104778 | 800 16000 80000 | 2147483647 67753 110 | 0.000 % |
43.15/43.24 c | 104878 | 800 16000 80000 | 2147483647 67853 110 | 0.000 % |
43.25/43.32 c | 104988 | 800 16000 80000 | 2147483647 67963 110 | 0.000 % |
43.25/43.39 c | 105109 | 800 16000 80000 | 2147483647 68084 110 | 0.000 % |
43.35/43.47 c | 105242 | 800 16000 80000 | 2147483647 68217 110 | 0.000 % |
43.45/43.55 c | 105392 | 800 16000 80000 | 2147483647 68367 110 | 0.000 % |
43.55/43.65 c | 105552 | 800 16000 80000 | 2147483647 68527 110 | 0.000 % |
43.65/43.78 c | 105730 | 800 16000 80000 | 2147483647 68705 110 | 0.000 % |
43.86/43.90 c | 105923 | 800 16000 80000 | 2147483647 68898 110 | 0.000 % |
43.96/44.04 c | 106137 | 800 16000 80000 | 2147483647 69112 110 | 0.000 % |
44.05/44.19 c | 106370 | 800 16000 80000 | 2147483647 69345 110 | 0.000 % |
44.25/44.33 c | 106626 | 800 16000 80000 | 2147483647 69601 110 | 0.000 % |
44.45/44.50 c | 106909 | 800 16000 80000 | 2147483647 69884 110 | 0.000 % |
44.55/44.70 c | 107218 | 800 16000 80000 | 2147483647 70193 110 | 0.000 % |
44.85/44.92 c | 107557 | 800 16000 80000 | 2147483647 70532 110 | 0.000 % |
45.06/45.18 c | 107930 | 800 16000 80000 | 2147483647 70905 110 | 0.000 % |
45.35/45.41 c | 108339 | 800 16000 80000 | 2147483647 71314 110 | 0.000 % |
45.65/45.70 c | 108790 | 800 16000 80000 | 2147483647 71765 110 | 0.000 % |
45.85/45.99 c | 109285 | 800 16000 80000 | 2147483647 72260 110 | 0.000 % |
46.25/46.36 c | 109827 | 800 16000 80000 | 2147483647 72802 110 | 0.000 % |
46.65/46.75 c | 110425 | 800 16000 80000 | 72978 65507 110 | 0.000 % |
47.05/47.15 c | 111081 | 800 16000 80000 | 72978 66163 110 | 0.000 % |
47.55/47.61 c | 111804 | 800 16000 80000 | 72978 66886 110 | 0.000 % |
47.95/48.07 c | 112596 | 800 16000 80000 | 72978 67678 110 | 0.000 % |
48.55/48.65 c | 113469 | 800 16000 80000 | 72978 68551 111 | 0.000 % |
49.15/49.24 c | 114428 | 800 16000 80000 | 72978 69510 110 | 0.000 % |
49.75/49.86 c | 115481 | 800 16000 80000 | 72978 70563 111 | 0.000 % |
50.35/50.50 c | 116640 | 800 16000 80000 | 72978 71722 111 | 0.000 % |
51.15/51.26 c | 117913 | 800 16000 80000 | 72978 72995 111 | 0.000 % |
51.25/51.37 c | 118013 | 800 16000 80000 | 72978 65003 110 | 0.000 % |
51.35/51.46 c | 118124 | 800 16000 80000 | 72978 65114 110 | 0.000 % |
51.45/51.54 c | 118246 | 800 16000 80000 | 72978 65236 110 | 0.000 % |
51.55/51.63 c | 118379 | 800 16000 80000 | 72978 65369 110 | 0.000 % |
51.65/51.72 c | 118526 | 800 16000 80000 | 72978 65516 110 | 0.000 % |
51.75/51.85 c | 118688 | 800 16000 80000 | 72978 65678 110 | 0.000 % |
51.85/51.97 c | 118865 | 800 16000 80000 | 72978 65855 110 | 0.000 % |
51.95/52.10 c | 119059 | 800 16000 80000 | 72978 66049 110 | 0.000 % |
52.15/52.25 c | 119271 | 800 16000 80000 | 72978 66261 110 | 0.000 % |
52.25/52.39 c | 119504 | 800 16000 80000 | 72978 66494 110 | 0.000 % |
52.45/52.57 c | 119761 | 800 16000 80000 | 72978 66751 110 | 0.000 % |
52.65/52.73 c | 120042 | 800 16000 80000 | 66991 67032 110 | 0.000 % |
52.85/52.94 c | 120351 | 800 16000 80000 | 66991 59846 110 | 0.000 % |
53.05/53.13 c | 120690 | 800 16000 80000 | 66991 60185 110 | 0.000 % |
53.25/53.35 c | 121062 | 800 16000 80000 | 66991 60557 110 | 0.000 % |
53.55/53.61 c | 121471 | 800 16000 80000 | 66991 60966 110 | 0.000 % |
53.75/53.85 c | 121922 | 800 16000 80000 | 66991 61417 110 | 0.000 % |
54.05/54.13 c | 122415 | 800 16000 80000 | 66991 61910 110 | 0.000 % |
54.35/54.43 c | 122958 | 800 16000 80000 | 66991 62453 110 | 0.000 % |
54.65/54.74 c | 123554 | 800 16000 80000 | 66991 63049 110 | 0.000 % |
55.05/55.13 c | 124212 | 800 16000 80000 | 66991 63707 110 | 0.000 % |
55.45/55.56 c | 124932 | 800 16000 80000 | 66991 64427 110 | 0.000 % |
55.95/56.05 c | 125725 | 800 16000 80000 | 66991 65220 110 | 0.000 % |
56.45/56.54 c | 126597 | 800 16000 80000 | 66991 66092 110 | 0.000 % |
57.05/57.14 c | 127555 | 800 16000 80000 | 66991 67050 110 | 0.000 % |
57.65/57.72 c | 128609 | 800 16000 80000 | 66991 61399 111 | 0.000 % |
58.25/58.32 c | 129767 | 800 16000 80000 | 66991 62557 111 | 0.000 % |
58.85/58.97 c | 131040 | 800 16000 80000 | 2147483647 63830 111 | 0.000 % |
59.64/59.79 c | 132441 | 800 16000 80000 | 2147483647 65231 111 | 0.000 % |
59.74/59.86 c | 132541 | 800 16000 80000 | 2147483647 65331 111 | 0.000 % |
59.84/59.94 c | 132653 | 800 16000 80000 | 2147483647 65443 111 | 0.000 % |
59.94/60.02 c | 132775 | 800 16000 80000 | 2147483647 65565 111 | 0.000 % |
60.04/60.11 c | 132909 | 800 16000 80000 | 2147483647 65699 111 | 0.000 % |
60.04/60.19 c | 133055 | 800 16000 80000 | 2147483647 65845 111 | 0.000 % |
60.24/60.30 c | 133215 | 800 16000 80000 | 2147483647 66005 111 | 0.000 % |
60.35/60.41 c | 133395 | 800 16000 80000 | 2147483647 66185 111 | 0.000 % |
60.45/60.53 c | 133588 | 800 16000 80000 | 2147483647 66378 111 | 0.000 % |
60.54/60.68 c | 133801 | 800 16000 80000 | 2147483647 66591 111 | 0.000 % |
60.74/60.82 c | 134034 | 800 16000 80000 | 2147483647 66824 111 | 0.000 % |
60.94/61.01 c | 134291 | 800 16000 80000 | 2147483647 67081 111 | 0.000 % |
61.14/61.20 c | 134572 | 800 16000 80000 | 2147483647 67362 111 | 0.000 % |
61.34/61.40 c | 134883 | 800 16000 80000 | 2147483647 67673 111 | 0.000 % |
61.55/61.62 c | 135222 | 800 16000 80000 | 2147483647 68012 111 | 0.000 % |
61.74/61.87 c | 135596 | 800 16000 80000 | 2147483647 68386 111 | 0.000 % |
62.04/62.13 c | 136005 | 800 16000 80000 | 2147483647 68795 111 | 0.000 % |
62.34/62.43 c | 136454 | 800 16000 80000 | 2147483647 69244 111 | 0.000 % |
62.65/62.74 c | 136948 | 800 16000 80000 | 2147483647 69738 111 | 0.000 % |
62.94/63.09 c | 137492 | 800 16000 80000 | 2147483647 70282 111 | 0.000 % |
63.34/63.45 c | 138089 | 800 16000 80000 | 2147483647 70879 111 | 0.000 % |
63.74/63.86 c | 138745 | 800 16000 80000 | 2147483647 71535 111 | 0.000 % |
64.24/64.32 c | 139465 | 800 16000 80000 | 2147483647 72255 111 | 0.000 % |
64.74/64.83 c | 140258 | 800 16000 80000 | 72790 73048 111 | 0.000 % |
65.24/65.37 c | 141129 | 800 16000 80000 | 72790 65890 111 | 0.000 % |
65.74/65.89 c | 142087 | 800 16000 80000 | 72790 66848 111 | 0.000 % |
66.44/66.54 c | 143141 | 800 16000 80000 | 72790 67902 111 | 0.000 % |
67.04/67.17 c | 144299 | 800 16000 80000 | 72790 69060 111 | 0.000 % |
67.83/67.91 c | 145572 | 800 16000 80000 | 72790 70333 111 | 0.000 % |
68.73/68.82 c | 146973 | 800 16000 80000 | 72790 71734 111 | 0.000 % |
69.63/69.78 c | 148514 | 800 16000 80000 | 72790 65526 111 | 0.000 % |
69.73/69.86 c | 148614 | 800 16000 80000 | 72790 65626 111 | 0.000 % |
69.83/69.94 c | 148725 | 800 16000 80000 | 72790 65737 111 | 0.000 % |
69.93/70.00 c | 148848 | 800 16000 80000 | 72790 65860 111 | 0.000 % |
69.93/70.09 c | 148981 | 800 16000 80000 | 72790 65993 111 | 0.000 % |
70.03/70.19 c | 149132 | 800 16000 80000 | 72790 66144 111 | 0.000 % |
70.13/70.29 c | 149294 | 800 16000 80000 | 72790 66306 111 | 0.000 % |
70.33/70.42 c | 149471 | 800 16000 80000 | 72790 66483 111 | 0.000 % |
70.43/70.53 c | 149664 | 800 16000 80000 | 72790 66676 111 | 0.000 % |
70.53/70.66 c | 149876 | 800 16000 80000 | 72790 66888 111 | 0.000 % |
70.73/70.80 c | 150112 | 800 16000 80000 | 67012 67124 111 | 0.000 % |
70.83/70.98 c | 150368 | 800 16000 80000 | 67012 60319 111 | 0.000 % |
71.03/71.14 c | 150651 | 800 16000 80000 | 67012 60602 111 | 0.000 % |
71.13/71.29 c | 150963 | 800 16000 80000 | 67012 60914 111 | 0.000 % |
71.33/71.49 c | 151303 | 800 16000 80000 | 67012 61254 111 | 0.000 % |
71.63/71.70 c | 151677 | 800 16000 80000 | 67012 61628 111 | 0.000 % |
71.83/71.92 c | 152086 | 800 16000 80000 | 67012 62037 111 | 0.000 % |
72.13/72.21 c | 152539 | 800 16000 80000 | 67012 62490 111 | 0.000 % |
72.33/72.48 c | 153033 | 800 16000 80000 | 67012 62984 111 | 0.000 % |
72.73/72.82 c | 153575 | 800 16000 80000 | 67012 63526 111 | 0.000 % |
73.03/73.17 c | 154172 | 800 16000 80000 | 67012 64123 111 | 0.000 % |
73.43/73.52 c | 154828 | 800 16000 80000 | 67012 64779 111 | 0.000 % |
73.83/73.92 c | 155550 | 800 16000 80000 | 67012 65501 111 | 0.000 % |
74.33/74.42 c | 156343 | 800 16000 80000 | 67012 66294 111 | 0.000 % |
74.83/74.90 c | 157215 | 800 16000 80000 | 67012 67166 111 | 0.000 % |
75.33/75.45 c | 158176 | 800 16000 80000 | 67012 61411 111 | 0.000 % |
75.83/75.99 c | 159230 | 800 16000 80000 | 67012 62465 111 | 0.000 % |
76.43/76.59 c | 160391 | 800 16000 80000 | 2147483647 63626 111 | 0.000 % |
77.12/77.24 c | 161665 | 800 16000 80000 | 2147483647 64900 111 | 0.000 % |
77.82/77.98 c | 163067 | 800 16000 80000 | 2147483647 66302 112 | 0.000 % |
78.82/78.90 c | 164608 | 800 16000 80000 | 2147483647 67843 112 | 0.000 % |
79.82/79.92 c | 166302 | 800 16000 80000 | 2147483647 69537 112 | 0.000 % |
79.82/79.98 c | 166404 | 800 16000 80000 | 2147483647 69639 112 | 0.000 % |
79.92/80.05 c | 166515 | 800 16000 80000 | 2147483647 69750 112 | 0.000 % |
80.02/80.15 c | 166637 | 800 16000 80000 | 2147483647 69872 112 | 0.000 % |
80.13/80.26 c | 166771 | 800 16000 80000 | 2147483647 70006 112 | 0.000 % |
80.23/80.36 c | 166918 | 800 16000 80000 | 2147483647 70153 112 | 0.000 % |
80.32/80.47 c | 167078 | 800 16000 80000 | 2147483647 70313 112 | 0.000 % |
80.52/80.61 c | 167254 | 800 16000 80000 | 2147483647 70489 112 | 0.000 % |
80.62/80.75 c | 167447 | 800 16000 80000 | 2147483647 70682 112 | 0.000 % |
80.82/80.90 c | 167659 | 800 16000 80000 | 2147483647 70894 112 | 0.000 % |
80.92/81.07 c | 167894 | 800 16000 80000 | 2147483647 71129 112 | 0.000 % |
81.12/81.25 c | 168151 | 800 16000 80000 | 2147483647 71386 112 | 0.000 % |
81.33/81.42 c | 168432 | 800 16000 80000 | 2147483647 71667 112 | 0.000 % |
81.52/81.62 c | 168741 | 800 16000 80000 | 2147483647 71976 112 | 0.000 % |
81.72/81.81 c | 169080 | 800 16000 80000 | 2147483647 72315 111 | 0.000 % |
81.92/82.07 c | 169453 | 800 16000 80000 | 2147483647 72688 111 | 0.000 % |
82.22/82.34 c | 169862 | 800 16000 80000 | 2147483647 73097 111 | 0.000 % |
82.52/82.67 c | 170311 | 800 16000 80000 | 73235 65921 111 | 0.000 % |
82.82/82.98 c | 170804 | 800 16000 80000 | 73235 66414 111 | 0.000 % |
83.22/83.32 c | 171347 | 800 16000 80000 | 73235 66957 111 | 0.000 % |
83.53/83.65 c | 171943 | 800 16000 80000 | 73235 67553 111 | 0.000 % |
83.92/84.03 c | 172599 | 800 16000 80000 | 73235 68209 111 | 0.000 % |
84.32/84.48 c | 173319 | 800 16000 80000 | 73235 68929 111 | 0.000 % |
84.82/84.98 c | 174112 | 800 16000 80000 | 73235 69722 111 | 0.000 % |
85.42/85.54 c | 174983 | 800 16000 80000 | 73235 70593 111 | 0.000 % |
86.02/86.12 c | 175942 | 800 16000 80000 | 73235 71552 111 | 0.000 % |
86.62/86.79 c | 176995 | 800 16000 80000 | 73235 72605 111 | 0.000 % |
87.42/87.54 c | 178153 | 800 16000 80000 | 73235 65668 111 | 0.000 % |
88.12/88.26 c | 179426 | 800 16000 80000 | 73235 66941 111 | 0.000 % |
88.92/89.09 c | 180827 | 800 16000 80000 | 67517 61246 111 | 0.000 % |
89.82/89.90 c | 182367 | 800 16000 80000 | 67517 62786 112 | 0.000 % |
90.62/90.76 c | 184062 | 800 16000 80000 | 67517 64481 112 | 0.000 % |
91.82/91.91 c | 185926 | 800 16000 80000 | 67517 66345 112 | 0.000 % |
91.82/91.97 c | 186026 | 800 16000 80000 | 67517 66445 112 | 0.000 % |
91.92/92.05 c | 186137 | 800 16000 80000 | 67517 66556 112 | 0.000 % |
92.02/92.14 c | 186260 | 800 16000 80000 | 67517 66679 112 | 0.000 % |
92.12/92.23 c | 186394 | 800 16000 80000 | 67517 66813 112 | 0.000 % |
92.22/92.33 c | 186540 | 800 16000 80000 | 67517 66959 112 | 0.000 % |
92.32/92.44 c | 186700 | 800 16000 80000 | 67517 67119 112 | 0.000 % |
92.42/92.55 c | 186878 | 800 16000 80000 | 67517 67297 112 | 0.000 % |
92.52/92.68 c | 187072 | 800 16000 80000 | 67517 67491 112 | 0.000 % |
92.72/92.84 c | 187284 | 800 16000 80000 | 67517 67703 112 | 0.000 % |
92.92/93.00 c | 187519 | 800 16000 80000 | 67517 61168 112 | 0.000 % |
93.02/93.16 c | 187776 | 800 16000 80000 | 67517 61425 112 | 0.000 % |
93.22/93.31 c | 188057 | 800 16000 80000 | 67517 61706 111 | 0.000 % |
93.42/93.51 c | 188366 | 800 16000 80000 | 67517 62015 111 | 0.000 % |
93.62/93.70 c | 188705 | 800 16000 80000 | 67517 62354 111 | 0.000 % |
93.82/93.91 c | 189078 | 800 16000 80000 | 67517 62727 112 | 0.000 % |
94.02/94.17 c | 189489 | 800 16000 80000 | 67517 63138 112 | 0.000 % |
94.32/94.47 c | 189938 | 800 16000 80000 | 67517 63587 112 | 0.000 % |
94.62/94.74 c | 190432 | 800 16000 80000 | 2147483647 64081 112 | 0.000 % |
94.92/95.05 c | 190977 | 800 16000 80000 | 2147483647 64626 112 | 0.000 % |
95.22/95.39 c | 191574 | 800 16000 80000 | 2147483647 65223 111 | 0.000 % |
95.72/95.81 c | 192229 | 800 16000 80000 | 2147483647 65878 111 | 0.000 % |
96.11/96.25 c | 192949 | 800 16000 80000 | 2147483647 66598 111 | 0.000 % |
96.51/96.68 c | 193741 | 800 16000 80000 | 2147483647 67390 111 | 0.000 % |
97.11/97.21 c | 194612 | 800 16000 80000 | 2147483647 68261 111 | 0.000 % |
97.61/97.76 c | 195570 | 800 16000 80000 | 2147483647 69219 111 | 0.000 % |
98.31/98.44 c | 196623 | 800 16000 80000 | 2147483647 70272 111 | 0.000 % |
99.01/99.12 c | 197782 | 800 16000 80000 | 2147483647 71431 111 | 0.000 % |
99.71/99.89 c | 199056 | 800 16000 80000 | 2147483647 72705 111 | 0.000 % |
100.61/100.78 c | 200456 | 800 16000 80000 | 73650 66254 111 | 0.000 % |
101.51/101.69 c | 201996 | 800 16000 80000 | 73650 67794 111 | 0.000 % |
102.61/102.74 c | 203690 | 800 16000 80000 | 73650 69488 111 | 0.000 % |
103.71/103.80 c | 205554 | 800 16000 80000 | 73650 71352 112 | 0.000 % |
105.01/105.14 c | 207603 | 800 16000 80000 | 73650 73401 112 | 0.000 % |
105.11/105.21 c | 207704 | 800 16000 80000 | 73650 73502 112 | 0.000 % |
105.11/105.28 c | 207816 | 800 16000 80000 | 73650 73614 112 | 0.000 % |
105.21/105.36 c | 207937 | 800 16000 80000 | 73650 73735 112 | 0.000 % |
105.31/105.49 c | 208071 | 800 16000 80000 | 73650 65379 112 | 0.000 % |
105.41/105.59 c | 208218 | 800 16000 80000 | 73650 65526 112 | 0.000 % |
105.61/105.70 c | 208381 | 800 16000 80000 | 73650 65689 112 | 0.000 % |
105.71/105.81 c | 208557 | 800 16000 80000 | 73650 65865 112 | 0.000 % |
105.81/105.94 c | 208750 | 800 16000 80000 | 73650 66058 112 | 0.000 % |
105.91/106.08 c | 208965 | 800 16000 80000 | 73650 66273 111 | 0.000 % |
106.11/106.22 c | 209198 | 800 16000 80000 | 73650 66506 111 | 0.000 % |
106.21/106.38 c | 209455 | 800 16000 80000 | 73650 66763 111 | 0.000 % |
106.41/106.54 c | 209736 | 800 16000 80000 | 73650 67044 111 | 0.000 % |
106.61/106.74 c | 210046 | 800 16000 80000 | 67308 67354 111 | 0.000 % |
106.81/106.99 c | 210388 | 800 16000 80000 | 67308 60070 112 | 0.000 % |
107.01/107.18 c | 210761 | 800 16000 80000 | 67308 60443 112 | 0.000 % |
107.31/107.41 c | 211172 | 800 16000 80000 | 67308 60854 112 | 0.000 % |
107.51/107.64 c | 211625 | 800 16000 80000 | 67308 61307 112 | 0.000 % |
107.81/107.92 c | 212118 | 800 16000 80000 | 67308 61800 112 | 0.000 % |
108.11/108.22 c | 212660 | 800 16000 80000 | 67308 62342 112 | 0.000 % |
108.40/108.55 c | 213257 | 800 16000 80000 | 67308 62939 112 | 0.000 % |
108.81/108.91 c | 213912 | 800 16000 80000 | 67308 63594 112 | 0.000 % |
109.10/109.28 c | 214633 | 800 16000 80000 | 67308 64315 112 | 0.000 % |
109.50/109.68 c | 215426 | 800 16000 80000 | 67308 65108 112 | 0.000 % |
110.00/110.16 c | 216297 | 800 16000 80000 | 67308 65979 111 | 0.000 % |
110.60/110.70 c | 217257 | 800 16000 80000 | 67308 66939 112 | 0.000 % |
111.10/111.29 c | 218310 | 800 16000 80000 | 67308 61233 111 | 0.000 % |
111.80/111.92 c | 219470 | 800 16000 80000 | 67308 62393 111 | 0.000 % |
112.50/112.63 c | 220743 | 800 16000 80000 | 2147483647 63666 111 | 0.000 % |
113.30/113.42 c | 222145 | 800 16000 80000 | 2147483647 65068 111 | 0.000 % |
114.10/114.24 c | 223685 | 800 16000 80000 | 2147483647 66608 111 | 0.000 % |
115.09/115.23 c | 225379 | 800 16000 80000 | 2147483647 68302 112 | 0.000 % |
116.09/116.25 c | 227247 | 800 16000 80000 | 2147483647 70170 112 | 0.000 % |
117.29/117.47 c | 229296 | 800 16000 80000 | 2147483647 72219 112 | 0.000 % |
118.59/118.80 c | 231549 | 800 16000 80000 | 2147483647 74472 112 | 0.000 % |
118.69/118.89 c | 231649 | 800 16000 80000 | 2147483647 74572 112 | 0.000 % |
118.79/118.96 c | 231759 | 800 16000 80000 | 2147483647 74682 112 | 0.000 % |
118.89/119.05 c | 231884 | 800 16000 80000 | 2147483647 74807 112 | 0.000 % |
118.99/119.14 c | 232018 | 800 16000 80000 | 2147483647 74941 112 | 0.000 % |
119.09/119.27 c | 232165 | 800 16000 80000 | 2147483647 75088 112 | 0.000 % |
119.19/119.38 c | 232326 | 800 16000 80000 | 2147483647 75249 112 | 0.000 % |
119.39/119.50 c | 232502 | 800 16000 80000 | 2147483647 75425 112 | 0.000 % |
119.49/119.65 c | 232695 | 800 16000 80000 | 2147483647 75618 112 | 0.000 % |
119.59/119.80 c | 232907 | 800 16000 80000 | 2147483647 75830 112 | 0.000 % |
119.79/119.94 c | 233141 | 800 16000 80000 | 2147483647 76064 112 | 0.000 % |
120.00/120.12 c | 233399 | 800 16000 80000 | 2147483647 76322 112 | 0.000 % |
120.20/120.32 c | 233680 | 800 16000 80000 | 2147483647 76603 112 | 0.000 % |
120.40/120.53 c | 233989 | 800 16000 80000 | 2147483647 76912 112 | 0.000 % |
120.60/120.77 c | 234329 | 800 16000 80000 | 2147483647 77252 112 | 0.000 % |
120.80/121.00 c | 234701 | 800 16000 80000 | 2147483647 77624 112 | 0.000 % |
121.10/121.27 c | 235110 | 800 16000 80000 | 2147483647 78033 112 | 0.000 % |
121.39/121.55 c | 235559 | 800 16000 80000 | 2147483647 78482 112 | 0.000 % |
121.69/121.88 c | 236054 | 800 16000 80000 | 2147483647 78977 112 | 0.000 % |
122.19/122.30 c | 236596 | 800 16000 80000 | 2147483647 79519 112 | 0.000 % |
122.59/122.75 c | 237193 | 800 16000 80000 | 2147483647 80116 112 | 0.000 % |
123.00/123.20 c | 237849 | 800 16000 80000 | 2147483647 80772 112 | 0.000 % |
123.49/123.68 c | 238569 | 800 16000 80000 | 2147483647 81492 112 | 0.000 % |
124.09/124.27 c | 239361 | 800 16000 80000 | 2147483647 82284 112 | 0.000 % |
124.79/124.90 c | 240232 | 800 16000 80000 | 82923 83155 112 | 0.000 % |
125.39/125.59 c | 241191 | 800 16000 80000 | 82923 72135 112 | 0.000 % |
126.09/126.23 c | 242244 | 800 16000 80000 | 82923 73188 112 | 0.000 % |
126.79/126.98 c | 243402 | 800 16000 80000 | 82923 74346 112 | 0.000 % |
127.69/127.82 c | 244675 | 800 16000 80000 | 82923 75619 112 | 0.000 % |
128.49/128.65 c | 246075 | 800 16000 80000 | 82923 77019 112 | 0.000 % |
129.49/129.70 c | 247617 | 800 16000 80000 | 82923 78561 112 | 0.000 % |
130.59/130.78 c | 249312 | 800 16000 80000 | 82923 80256 112 | 0.000 % |
131.89/132.03 c | 251177 | 800 16000 80000 | 80945 70868 113 | 0.000 % |
133.09/133.26 c | 253226 | 800 16000 80000 | 80945 72917 113 | 0.000 % |
134.49/134.62 c | 255481 | 800 16000 80000 | 80945 75172 113 | 0.000 % |
136.09/136.22 c | 257959 | 800 16000 80000 | 80945 77650 113 | 0.000 % |
136.09/136.30 c | 258061 | 800 16000 80000 | 80945 77752 113 | 0.000 % |
136.20/136.39 c | 258171 | 800 16000 80000 | 80945 77862 113 | 0.000 % |
136.30/136.49 c | 258293 | 800 16000 80000 | 80945 77984 113 | 0.000 % |
136.39/136.59 c | 258429 | 800 16000 80000 | 80945 78120 113 | 0.000 % |
136.59/136.71 c | 258577 | 800 16000 80000 | 80945 78268 113 | 0.000 % |
136.69/136.86 c | 258740 | 800 16000 80000 | 80945 78431 113 | 0.000 % |
136.79/136.99 c | 258916 | 800 16000 80000 | 80945 78607 113 | 0.000 % |
136.99/137.12 c | 259110 | 800 16000 80000 | 80945 78801 113 | 0.000 % |
137.09/137.27 c | 259324 | 800 16000 80000 | 80945 79015 113 | 0.000 % |
137.29/137.43 c | 259558 | 800 16000 80000 | 80945 79249 113 | 0.000 % |
137.49/137.63 c | 259816 | 800 16000 80000 | 80945 79507 113 | 0.000 % |
137.69/137.86 c | 260097 | 800 16000 80000 | 79691 79788 113 | 0.000 % |
137.99/138.12 c | 260408 | 800 16000 80000 | 79691 69505 113 | 0.000 % |
138.19/138.32 c | 260748 | 800 16000 80000 | 79691 69845 113 | 0.000 % |
138.39/138.56 c | 261122 | 800 16000 80000 | 79691 70219 113 | 0.000 % |
138.69/138.81 c | 261531 | 800 16000 80000 | 79691 70628 113 | 0.000 % |
138.89/139.09 c | 261980 | 800 16000 80000 | 79691 71077 113 | 0.000 % |
139.29/139.43 c | 262473 | 800 16000 80000 | 79691 71570 113 | 0.000 % |
139.59/139.78 c | 263015 | 800 16000 80000 | 79691 72112 113 | 0.000 % |
140.09/140.20 c | 263611 | 800 16000 80000 | 79691 72708 113 | 0.000 % |
140.49/140.60 c | 264266 | 800 16000 80000 | 79691 73363 112 | 0.000 % |
140.89/141.05 c | 264987 | 800 16000 80000 | 79691 74084 113 | 0.000 % |
141.39/141.57 c | 265783 | 800 16000 80000 | 79691 74880 112 | 0.000 % |
141.99/142.15 c | 266654 | 800 16000 80000 | 79691 75751 113 | 0.000 % |
142.69/142.81 c | 267612 | 800 16000 80000 | 79691 76709 113 | 0.000 % |
143.29/143.49 c | 268670 | 800 16000 80000 | 79691 77767 113 | 0.000 % |
144.09/144.28 c | 269828 | 800 16000 80000 | 79691 78925 112 | 0.000 % |
144.99/145.14 c | 271101 | 800 16000 80000 | 79097 69685 113 | 0.000 % |
145.79/145.97 c | 272501 | 800 16000 80000 | 79097 71085 113 | 0.000 % |
146.79/146.92 c | 274041 | 800 16000 80000 | 79097 72625 113 | 0.000 % |
147.89/148.00 c | 275736 | 800 16000 80000 | 79097 74320 113 | 0.000 % |
148.99/149.15 c | 277599 | 800 16000 80000 | 79097 76183 113 | 0.000 % |
150.29/150.49 c | 279649 | 800 16000 80000 | 79097 78233 113 | 0.000 % |
151.78/151.91 c | 281902 | 800 16000 80000 | 78584 70000 113 | 0.000 % |
153.18/153.37 c | 284381 | 800 16000 80000 | 78584 72479 113 | 0.000 % |
154.89/155.02 c | 287108 | 800 16000 80000 | 78584 75206 113 | 0.000 % |
154.89/155.09 c | 287208 | 800 16000 80000 | 78584 75306 113 | 0.000 % |
154.99/155.17 c | 287318 | 800 16000 80000 | 78584 75416 113 | 0.000 % |
155.08/155.24 c | 287439 | 800 16000 80000 | 78584 75537 113 | 0.000 % |
155.18/155.33 c | 287572 | 800 16000 80000 | 78584 75670 113 | 0.000 % |
155.28/155.45 c | 287718 | 800 16000 80000 | 78584 75816 113 | 0.000 % |
155.38/155.57 c | 287878 | 800 16000 80000 | 78584 75976 113 | 0.000 % |
155.58/155.70 c | 288055 | 800 16000 80000 | 78584 76153 113 | 0.000 % |
155.68/155.86 c | 288248 | 800 16000 80000 | 78584 76346 113 | 0.000 % |
155.88/156.01 c | 288462 | 800 16000 80000 | 78584 76560 113 | 0.000 % |
155.98/156.18 c | 288695 | 800 16000 80000 | 78584 76793 113 | 0.000 % |
156.18/156.36 c | 288952 | 800 16000 80000 | 78584 77050 113 | 0.000 % |
156.38/156.58 c | 289233 | 800 16000 80000 | 78584 77331 113 | 0.000 % |
156.58/156.79 c | 289542 | 800 16000 80000 | 78584 77640 113 | 0.000 % |
156.88/157.06 c | 289881 | 800 16000 80000 | 78584 77979 113 | 0.000 % |
157.18/157.35 c | 290254 | 800 16000 80000 | 78100 78352 113 | 0.000 % |
157.48/157.67 c | 290663 | 800 16000 80000 | 78100 68583 114 | 0.000 % |
157.78/157.95 c | 291113 | 800 16000 80000 | 78100 69033 113 | 0.000 % |
158.08/158.24 c | 291608 | 800 16000 80000 | 78100 69528 113 | 0.000 % |
158.37/158.56 c | 292150 | 800 16000 80000 | 78100 70070 113 | 0.000 % |
158.77/158.91 c | 292748 | 800 16000 80000 | 78100 70668 113 | 0.000 % |
159.07/159.29 c | 293403 | 800 16000 80000 | 78100 71323 113 | 0.000 % |
159.57/159.75 c | 294123 | 800 16000 80000 | 78100 72043 113 | 0.000 % |
160.07/160.25 c | 294915 | 800 16000 80000 | 78100 72835 113 | 0.000 % |
160.57/160.75 c | 295787 | 800 16000 80000 | 78100 73707 113 | 0.000 % |
161.17/161.32 c | 296745 | 800 16000 80000 | 78100 74665 113 | 0.000 % |
161.77/161.95 c | 297798 | 800 16000 80000 | 78100 75718 113 | 0.000 % |
162.47/162.64 c | 298956 | 800 16000 80000 | 78100 76876 113 | 0.000 % |
163.27/163.42 c | 300229 | 800 16000 80000 | 77920 78149 113 | 0.000 % |
164.17/164.34 c | 301630 | 800 16000 80000 | 77920 70089 113 | 0.000 % |
165.07/165.27 c | 303170 | 800 16000 80000 | 77920 71629 113 | 0.000 % |
166.17/166.34 c | 304864 | 800 16000 80000 | 77920 73323 113 | 0.000 % |
167.27/167.42 c | 306727 | 800 16000 80000 | 77920 75186 113 | 0.000 % |
168.47/168.69 c | 308776 | 800 16000 80000 | 77920 77235 113 | 0.000 % |
169.97/170.12 c | 311031 | 800 16000 80000 | 69507 62653 113 | 0.000 % |
171.27/171.47 c | 313509 | 800 16000 80000 | 69507 65131 113 | 0.000 % |
172.87/173.06 c | 316234 | 800 16000 80000 | 69507 67856 113 | 0.000 % |
174.67/174.86 c | 319234 | 800 16000 80000 | 69507 63801 113 | 0.000 % |
174.77/174.92 c | 319335 | 800 16000 80000 | 69507 63902 113 | 0.000 % |
174.77/174.98 c | 319445 | 800 16000 80000 | 69507 64012 113 | 0.000 % |
174.86/175.06 c | 319567 | 800 16000 80000 | 69507 64134 113 | 0.000 % |
174.96/175.15 c | 319702 | 800 16000 80000 | 69507 64269 113 | 0.000 % |
175.06/175.25 c | 319849 | 800 16000 80000 | 69507 64416 113 | 0.000 % |
175.16/175.35 c | 320009 | 800 16000 80000 | 2147483647 64576 113 | 0.000 % |
175.26/175.47 c | 320185 | 800 16000 80000 | 2147483647 64752 113 | 0.000 % |
175.36/175.58 c | 320378 | 800 16000 80000 | 2147483647 64945 113 | 0.000 % |
175.46/175.70 c | 320590 | 800 16000 80000 | 2147483647 65157 113 | 0.000 % |
175.66/175.85 c | 320823 | 800 16000 80000 | 2147483647 65390 113 | 0.000 % |
175.87/176.02 c | 321079 | 800 16000 80000 | 2147483647 65646 113 | 0.000 % |
176.06/176.21 c | 321360 | 800 16000 80000 | 2147483647 65927 113 | 0.000 % |
176.16/176.38 c | 321670 | 800 16000 80000 | 2147483647 66237 113 | 0.000 % |
176.36/176.57 c | 322009 | 800 16000 80000 | 2147483647 66576 113 | 0.000 % |
176.66/176.81 c | 322383 | 800 16000 80000 | 2147483647 66950 113 | 0.000 % |
176.87/177.05 c | 322793 | 800 16000 80000 | 2147483647 67360 113 | 0.000 % |
177.16/177.31 c | 323243 | 800 16000 80000 | 2147483647 67810 113 | 0.000 % |
177.36/177.59 c | 323736 | 800 16000 80000 | 2147483647 68303 113 | 0.000 % |
177.76/177.91 c | 324280 | 800 16000 80000 | 2147483647 68847 113 | 0.000 % |
178.06/178.28 c | 324876 | 800 16000 80000 | 2147483647 69443 113 | 0.000 % |
178.46/178.67 c | 325532 | 800 16000 80000 | 2147483647 70099 113 | 0.000 % |
178.96/179.15 c | 326253 | 800 16000 80000 | 2147483647 70820 113 | 0.000 % |
179.46/179.66 c | 327045 | 800 16000 80000 | 2147483647 71612 113 | 0.000 % |
180.06/180.21 c | 327916 | 800 16000 80000 | 2147483647 72483 113 | 0.000 % |
180.66/180.83 c | 328874 | 800 16000 80000 | 2147483647 73441 113 | 0.000 % |
181.26/181.49 c | 329927 | 800 16000 80000 | 2147483647 74494 113 | 0.000 % |
182.06/182.24 c | 331085 | 800 16000 80000 | 74571 67237 114 | 0.000 % |
182.76/182.96 c | 332358 | 800 16000 80000 | 74571 68510 114 | 0.000 % |
183.56/183.72 c | 333762 | 800 16000 80000 | 74571 69914 114 | 0.000 % |
184.36/184.57 c | 335304 | 800 16000 80000 | 74571 71456 114 | 0.000 % |
185.36/185.57 c | 336998 | 800 16000 80000 | 74571 73150 114 | 0.000 % |
186.56/186.80 c | 338862 | 800 16000 80000 | 74571 66282 114 | 0.000 % |
187.76/187.97 c | 340911 | 800 16000 80000 | 67422 60682 114 | 0.000 % |
189.06/189.26 c | 343165 | 800 16000 80000 | 67422 62936 114 | 0.000 % |
190.35/190.59 c | 345643 | 800 16000 80000 | 67422 65414 114 | 0.000 % |
192.05/192.21 c | 348369 | 800 16000 80000 | 67422 61372 114 | 0.000 % |
193.65/193.84 c | 351366 | 800 16000 80000 | 2147483647 64369 114 | 0.000 % |
195.55/195.73 c | 354663 | 800 16000 80000 | 2147483647 67666 114 | 0.000 % |
195.55/195.79 c | 354765 | 800 16000 80000 | 2147483647 67768 114 | 0.000 % |
195.65/195.86 c | 354875 | 800 16000 80000 | 2147483647 67878 114 | 0.000 % |
195.75/195.93 c | 354996 | 800 16000 80000 | 2147483647 67999 114 | 0.000 % |
195.85/196.02 c | 355129 | 800 16000 80000 | 2147483647 68132 114 | 0.000 % |
195.95/196.12 c | 355276 | 800 16000 80000 | 2147483647 68279 114 | 0.000 % |
196.05/196.22 c | 355436 | 800 16000 80000 | 2147483647 68439 114 | 0.000 % |
196.15/196.35 c | 355612 | 800 16000 80000 | 2147483647 68615 114 | 0.000 % |
196.25/196.46 c | 355806 | 800 16000 80000 | 2147483647 68809 114 | 0.000 % |
196.35/196.59 c | 356018 | 800 16000 80000 | 2147483647 69021 114 | 0.000 % |
196.55/196.78 c | 356252 | 800 16000 80000 | 2147483647 69255 114 | 0.000 % |
196.75/196.94 c | 356509 | 800 16000 80000 | 2147483647 69512 114 | 0.000 % |
196.95/197.12 c | 356790 | 800 16000 80000 | 2147483647 69793 114 | 0.000 % |
197.15/197.31 c | 357099 | 800 16000 80000 | 2147483647 70102 114 | 0.000 % |
197.35/197.55 c | 357438 | 800 16000 80000 | 2147483647 70441 114 | 0.000 % |
197.65/197.80 c | 357811 | 800 16000 80000 | 2147483647 70814 114 | 0.000 % |
197.95/198.10 c | 358220 | 800 16000 80000 | 2147483647 71223 114 | 0.000 % |
198.15/198.38 c | 358670 | 800 16000 80000 | 2147483647 71673 114 | 0.000 % |
198.55/198.71 c | 359163 | 800 16000 80000 | 2147483647 72166 114 | 0.000 % |
198.85/199.06 c | 359705 | 800 16000 80000 | 2147483647 72708 114 | 0.000 % |
199.25/199.41 c | 360301 | 800 16000 80000 | 2147483647 73304 113 | 0.000 % |
199.65/199.82 c | 360957 | 800 16000 80000 | 2147483647 73960 113 | 0.000 % |
200.05/200.24 c | 361678 | 800 16000 80000 | 2147483647 74681 113 | 0.000 % |
200.55/200.79 c | 362470 | 800 16000 80000 | 2147483647 75473 113 | 0.000 % |
201.15/201.36 c | 363341 | 800 16000 80000 | 2147483647 76344 113 | 0.000 % |
201.75/201.94 c | 364299 | 800 16000 80000 | 2147483647 77302 114 | 0.000 % |
202.45/202.61 c | 365354 | 800 16000 80000 | 2147483647 78357 113 | 0.000 % |
203.24/203.42 c | 366513 | 800 16000 80000 | 2147483647 79516 114 | 0.000 % |
204.04/204.28 c | 367787 | 800 16000 80000 | 2147483647 80790 114 | 0.000 % |
205.04/205.23 c | 369187 | 800 16000 80000 | 2147483647 82190 114 | 0.000 % |
206.14/206.39 c | 370728 | 800 16000 80000 | 83003 72493 114 | 0.000 % |
207.24/207.41 c | 372422 | 800 16000 80000 | 83003 74187 114 | 0.000 % |
208.44/208.64 c | 374285 | 800 16000 80000 | 83003 76050 114 | 0.000 % |
209.74/209.90 c | 376334 | 800 16000 80000 | 83003 78099 114 | 0.000 % |
211.14/211.35 c | 378588 | 800 16000 80000 | 83003 80353 114 | 0.000 % |
212.84/213.07 c | 381067 | 800 16000 80000 | 81766 70979 114 | 0.000 % |
214.54/214.76 c | 383792 | 800 16000 80000 | 81766 73704 114 | 0.000 % |
216.44/216.69 c | 386790 | 800 16000 80000 | 81766 76702 115 | 0.000 % |
218.64/218.88 c | 390086 | 800 16000 80000 | 79913 79998 115 | 0.000 % |
220.84/221.08 c | 393712 | 800 16000 80000 | 79913 72560 115 | 0.000 % |
220.94/221.14 c | 393813 | 800 16000 80000 | 79913 72661 115 | 0.000 % |
221.04/221.22 c | 393924 | 800 16000 80000 | 79913 72772 115 | 0.000 % |
221.04/221.30 c | 394046 | 800 16000 80000 | 79913 72894 115 | 0.000 % |
221.24/221.41 c | 394179 | 800 16000 80000 | 79913 73027 115 | 0.000 % |
221.34/221.51 c | 394326 | 800 16000 80000 | 79913 73174 115 | 0.000 % |
221.44/221.61 c | 394488 | 800 16000 80000 | 79913 73336 115 | 0.000 % |
221.54/221.73 c | 394664 | 800 16000 80000 | 79913 73512 115 | 0.000 % |
221.64/221.86 c | 394858 | 800 16000 80000 | 79913 73706 115 | 0.000 % |
221.84/222.01 c | 395070 | 800 16000 80000 | 79913 73918 115 | 0.000 % |
221.94/222.18 c | 395304 | 800 16000 80000 | 79913 74152 115 | 0.000 % |
222.14/222.35 c | 395560 | 800 16000 80000 | 79913 74408 115 | 0.000 % |
222.34/222.57 c | 395842 | 800 16000 80000 | 79913 74690 115 | 0.000 % |
222.54/222.79 c | 396152 | 800 16000 80000 | 79913 75000 115 | 0.000 % |
222.84/223.03 c | 396495 | 800 16000 80000 | 79913 75343 115 | 0.000 % |
223.04/223.27 c | 396867 | 800 16000 80000 | 79913 75715 115 | 0.000 % |
223.34/223.52 c | 397277 | 800 16000 80000 | 79913 76125 115 | 0.000 % |
223.64/223.84 c | 397726 | 800 16000 80000 | 79913 76574 115 | 0.000 % |
223.94/224.18 c | 398222 | 800 16000 80000 | 79913 77070 115 | 0.000 % |
224.34/224.54 c | 398764 | 800 16000 80000 | 79913 77612 115 | 0.000 % |
224.74/224.92 c | 399363 | 800 16000 80000 | 79913 78211 115 | 0.000 % |
225.14/225.33 c | 400018 | 800 16000 80000 | 78849 78866 115 | 0.000 % |
225.64/225.85 c | 400738 | 800 16000 80000 | 78849 68772 114 | 0.000 % |
226.14/226.35 c | 401531 | 800 16000 80000 | 78849 69565 114 | 0.000 % |
226.74/226.90 c | 402403 | 800 16000 80000 | 78849 70437 114 | 0.000 % |
227.24/227.47 c | 403363 | 800 16000 80000 | 78849 71397 114 | 0.000 % |
227.93/228.11 c | 404416 | 800 16000 80000 | 78849 72450 114 | 0.000 % |
228.64/228.89 c | 405575 | 800 16000 80000 | 78849 73609 114 | 0.000 % |
229.53/229.74 c | 406848 | 800 16000 80000 | 78849 74882 114 | 0.000 % |
230.43/230.66 c | 408248 | 800 16000 80000 | 78849 76282 115 | 0.000 % |
231.33/231.60 c | 409788 | 800 16000 80000 | 78849 77822 115 | 0.000 % |
232.43/232.62 c | 411483 | 800 16000 80000 | 78035 69195 114 | 0.000 % |
233.43/233.69 c | 413346 | 800 16000 80000 | 78035 71058 115 | 0.000 % |
234.63/234.85 c | 415395 | 800 16000 80000 | 78035 73107 114 | 0.000 % |
236.03/236.29 c | 417648 | 800 16000 80000 | 78035 75360 114 | 0.000 % |
237.63/237.86 c | 420127 | 800 16000 80000 | 77713 77839 114 | 0.000 % |
239.23/239.47 c | 422853 | 800 16000 80000 | 77713 71838 115 | 0.000 % |
241.03/241.27 c | 425850 | 800 16000 80000 | 77713 74835 114 | 0.000 % |
243.13/243.35 c | 429150 | 800 16000 80000 | 77713 69882 115 | 0.000 % |
245.23/245.49 c | 432777 | 800 16000 80000 | 70732 66205 115 | 0.000 % |
247.83/248.03 c | 436764 | 800 16000 80000 | 70732 70192 116 | 0.000 % |
247.83/248.09 c | 436864 | 800 16000 80000 | 70732 70292 116 | 0.000 % |
247.93/248.16 c | 436974 | 800 16000 80000 | 70732 70402 116 | 0.000 % |
248.03/248.26 c | 437095 | 800 16000 80000 | 70732 70523 116 | 0.000 % |
248.13/248.37 c | 437230 | 800 16000 80000 | 70732 70658 116 | 0.000 % |
248.23/248.47 c | 437376 | 800 16000 80000 | 70732 70804 116 | 0.000 % |
248.43/248.62 c | 437536 | 800 16000 80000 | 70732 63884 116 | 0.000 % |
248.52/248.74 c | 437712 | 800 16000 80000 | 70732 64060 116 | 0.000 % |
248.62/248.86 c | 437905 | 800 16000 80000 | 70732 64253 116 | 0.000 % |
248.82/249.01 c | 438117 | 800 16000 80000 | 70732 64465 115 | 0.000 % |
248.92/249.15 c | 438350 | 800 16000 80000 | 70732 64698 115 | 0.000 % |
249.12/249.32 c | 438607 | 800 16000 80000 | 70732 64955 115 | 0.000 % |
249.22/249.48 c | 438888 | 800 16000 80000 | 70732 65236 115 | 0.000 % |
249.42/249.66 c | 439198 | 800 16000 80000 | 70732 65546 115 | 0.000 % |
249.62/249.87 c | 439538 | 800 16000 80000 | 70732 65886 115 | 0.000 % |
249.92/250.13 c | 439910 | 800 16000 80000 | 70732 66258 115 | 0.000 % |
250.21/250.40 c | 440319 | 800 16000 80000 | 2147483647 66667 115 | 0.000 % |
250.41/250.68 c | 440770 | 800 16000 80000 | 2147483647 67118 115 | 0.000 % |
250.71/250.97 c | 441265 | 800 16000 80000 | 2147483647 67613 115 | 0.000 % |
251.01/251.30 c | 441807 | 800 16000 80000 | 2147483647 68155 115 | 0.000 % |
251.41/251.64 c | 442404 | 800 16000 80000 | 2147483647 68752 115 | 0.000 % |
251.81/252.03 c | 443059 | 800 16000 80000 | 2147483647 69407 115 | 0.000 % |
252.21/252.49 c | 443780 | 800 16000 80000 | 2147483647 70128 115 | 0.000 % |
252.82/253.00 c | 444572 | 800 16000 80000 | 2147483647 70920 115 | 0.000 % |
253.31/253.55 c | 445444 | 800 16000 80000 | 2147483647 71792 115 | 0.000 % |
253.92/254.14 c | 446404 | 800 16000 80000 | 2147483647 72752 115 | 0.000 % |
254.51/254.80 c | 447457 | 800 16000 80000 | 2147483647 73805 115 | 0.000 % |
255.31/255.55 c | 448615 | 800 16000 80000 | 2147483647 74963 115 | 0.000 % |
256.11/256.37 c | 449890 | 800 16000 80000 | 2147483647 76238 115 | 0.000 % |
257.01/257.20 c | 451292 | 800 16000 80000 | 76349 68812 114 | 0.000 % |
257.81/258.09 c | 452832 | 800 16000 80000 | 76349 70352 114 | 0.000 % |
258.81/259.08 c | 454527 | 800 16000 80000 | 76349 72047 114 | 0.000 % |
260.01/260.27 c | 456391 | 800 16000 80000 | 76349 73911 114 | 0.000 % |
261.41/261.65 c | 458440 | 800 16000 80000 | 76349 75960 115 | 0.000 % |
262.81/263.08 c | 460694 | 800 16000 80000 | 68414 61225 115 | 0.000 % |
264.21/264.45 c | 463175 | 800 16000 80000 | 68414 63706 115 | 0.000 % |
265.71/266.00 c | 465900 | 800 16000 80000 | 68414 66431 115 | 0.000 % |
267.51/267.74 c | 468898 | 800 16000 80000 | 68414 62562 115 | 0.000 % |
269.40/269.67 c | 472194 | 800 16000 80000 | 2147483647 65858 116 | 0.000 % |
271.70/271.94 c | 475819 | 800 16000 80000 | 2147483647 69483 116 | 0.000 % |
274.20/274.49 c | 479806 | 800 16000 80000 | 2147483647 73470 117 | 0.000 % |
277.10/277.33 c | 484191 | 800 16000 80000 | 2147483647 77855 117 | 0.000 % |
277.20/277.40 c | 484293 | 800 16000 80000 | 2147483647 77957 117 | 0.000 % |
277.20/277.48 c | 484404 | 800 16000 80000 | 2147483647 78068 117 | 0.000 % |
277.30/277.58 c | 484526 | 800 16000 80000 | 2147483647 78190 117 | 0.000 % |
277.50/277.70 c | 484660 | 800 16000 80000 | 2147483647 78324 117 | 0.000 % |
277.60/277.80 c | 484806 | 800 16000 80000 | 2147483647 78470 117 | 0.000 % |
277.70/277.92 c | 484968 | 800 16000 80000 | 2147483647 78632 117 | 0.000 % |
277.80/278.06 c | 485145 | 800 16000 80000 | 2147483647 78809 117 | 0.000 % |
277.90/278.19 c | 485339 | 800 16000 80000 | 2147483647 79003 117 | 0.000 % |
278.10/278.35 c | 485552 | 800 16000 80000 | 2147483647 79216 117 | 0.000 % |
278.30/278.52 c | 485785 | 800 16000 80000 | 2147483647 79449 117 | 0.000 % |
278.50/278.70 c | 486042 | 800 16000 80000 | 2147483647 79706 117 | 0.000 % |
278.70/278.91 c | 486324 | 800 16000 80000 | 2147483647 79988 116 | 0.000 % |
278.90/279.18 c | 486633 | 800 16000 80000 | 2147483647 80297 116 | 0.000 % |
279.10/279.40 c | 486975 | 800 16000 80000 | 2147483647 80639 116 | 0.000 % |
279.40/279.69 c | 487347 | 800 16000 80000 | 2147483647 81011 116 | 0.000 % |
279.70/279.95 c | 487756 | 800 16000 80000 | 2147483647 81420 116 | 0.000 % |
280.00/280.26 c | 488206 | 800 16000 80000 | 2147483647 81870 116 | 0.000 % |
280.40/280.61 c | 488700 | 800 16000 80000 | 2147483647 82364 116 | 0.000 % |
280.70/280.96 c | 489243 | 800 16000 80000 | 2147483647 82907 116 | 0.000 % |
281.10/281.38 c | 489839 | 800 16000 80000 | 2147483647 83503 116 | 0.000 % |
281.60/281.88 c | 490498 | 800 16000 80000 | 83665 72205 116 | 0.000 % |
282.10/282.33 c | 491218 | 800 16000 80000 | 83665 72925 116 | 0.000 % |
282.60/282.82 c | 492012 | 800 16000 80000 | 83665 73719 116 | 0.000 % |
283.20/283.41 c | 492884 | 800 16000 80000 | 83665 74591 116 | 0.000 % |
283.80/284.06 c | 493843 | 800 16000 80000 | 83665 75550 116 | 0.000 % |
284.50/284.70 c | 494896 | 800 16000 80000 | 83665 76603 116 | 0.000 % |
285.10/285.39 c | 496057 | 800 16000 80000 | 83665 77764 116 | 0.000 % |
285.90/286.20 c | 497330 | 800 16000 80000 | 83665 79037 116 | 0.000 % |
286.90/287.10 c | 498731 | 800 16000 80000 | 83665 80438 116 | 0.000 % |
287.90/288.16 c | 500271 | 800 16000 80000 | 81708 81978 116 | 0.000 % |
289.00/289.21 c | 501965 | 800 16000 80000 | 81708 71913 116 | 0.000 % |
290.10/290.37 c | 503829 | 800 16000 80000 | 81708 73777 116 | 0.000 % |
291.39/291.66 c | 505880 | 800 16000 80000 | 81708 75828 116 | 0.000 % |
292.79/293.03 c | 508133 | 800 16000 80000 | 81708 78081 116 | 0.000 % |
294.39/294.68 c | 510612 | 800 16000 80000 | 79948 70046 116 | 0.000 % |
296.09/296.31 c | 513337 | 800 16000 80000 | 79948 72771 116 | 0.000 % |
297.99/298.21 c | 516334 | 800 16000 80000 | 79948 75768 116 | 0.000 % |
300.09/300.38 c | 519633 | 800 16000 80000 | 79948 79067 116 | 0.000 % |
302.38/302.62 c | 523258 | 800 16000 80000 | 79436 72402 117 | 0.000 % |
304.78/305.06 c | 527246 | 800 16000 80000 | 79436 76390 117 | 0.000 % |
307.58/307.88 c | 531631 | 800 16000 80000 | 79145 70612 117 | 0.000 % |
310.58/310.84 c | 536457 | 800 16000 80000 | 79145 75438 117 | 0.000 % |
310.68/310.91 c | 536557 | 800 16000 80000 | 79145 75538 117 | 0.000 % |
310.68/310.99 c | 536668 | 800 16000 80000 | 79145 75649 117 | 0.000 % |
310.78/311.08 c | 536792 | 800 16000 80000 | 79145 75773 117 | 0.000 % |
310.88/311.19 c | 536927 | 800 16000 80000 | 79145 75908 117 | 0.000 % |
310.98/311.30 c | 537074 | 800 16000 80000 | 79145 76055 117 | 0.000 % |
311.18/311.42 c | 537234 | 800 16000 80000 | 79145 76215 117 | 0.000 % |
311.28/311.55 c | 537411 | 800 16000 80000 | 79145 76392 117 | 0.000 % |
311.48/311.70 c | 537604 | 800 16000 80000 | 79145 76585 117 | 0.000 % |
311.58/311.85 c | 537816 | 800 16000 80000 | 79145 76797 117 | 0.000 % |
311.68/311.99 c | 538050 | 800 16000 80000 | 79145 77031 117 | 0.000 % |
311.88/312.18 c | 538307 | 800 16000 80000 | 79145 77288 117 | 0.000 % |
312.08/312.39 c | 538589 | 800 16000 80000 | 79145 77570 117 | 0.000 % |
312.38/312.63 c | 538901 | 800 16000 80000 | 79145 77882 117 | 0.000 % |
312.58/312.88 c | 539240 | 800 16000 80000 | 79145 78221 117 | 0.000 % |
312.88/313.14 c | 539612 | 800 16000 80000 | 79145 78593 117 | 0.000 % |
313.18/313.41 c | 540021 | 800 16000 80000 | 78981 79002 117 | 0.000 % |
313.48/313.76 c | 540472 | 800 16000 80000 | 78981 69061 116 | 0.000 % |
313.78/314.09 c | 540966 | 800 16000 80000 | 78981 69555 116 | 0.000 % |
314.18/314.42 c | 541508 | 800 16000 80000 | 78981 70097 116 | 0.000 % |
314.48/314.79 c | 542107 | 800 16000 80000 | 78981 70696 116 | 0.000 % |
314.98/315.20 c | 542764 | 800 16000 80000 | 78981 71353 116 | 0.000 % |
315.38/315.61 c | 543484 | 800 16000 80000 | 78981 72073 116 | 0.000 % |
315.88/316.10 c | 544278 | 800 16000 80000 | 78981 72867 116 | 0.000 % |
316.37/316.62 c | 545149 | 800 16000 80000 | 78981 73738 116 | 0.000 % |
316.97/317.23 c | 546107 | 800 16000 80000 | 78981 74696 116 | 0.000 % |
317.58/317.87 c | 547161 | 800 16000 80000 | 78981 75750 116 | 0.000 % |
318.37/318.60 c | 548320 | 800 16000 80000 | 78981 76909 116 | 0.000 % |
319.17/319.42 c | 549594 | 800 16000 80000 | 78981 78183 116 | 0.000 % |
319.97/320.28 c | 550994 | 800 16000 80000 | 78591 69165 115 | 0.000 % |
320.98/321.20 c | 552535 | 800 16000 80000 | 78591 70706 115 | 0.000 % |
321.98/322.21 c | 554229 | 800 16000 80000 | 78591 72400 115 | 0.000 % |
322.97/323.27 c | 556095 | 800 16000 80000 | 78591 74266 116 | 0.000 % |
324.27/324.52 c | 558144 | 800 16000 80000 | 78591 76315 116 | 0.000 % |
325.67/325.99 c | 560397 | 800 16000 80000 | 78171 68690 116 | 0.000 % |
327.07/327.39 c | 562875 | 800 16000 80000 | 78171 71168 116 | 0.000 % |
328.77/329.03 c | 565601 | 800 16000 80000 | 78171 73894 116 | 0.000 % |
330.57/330.87 c | 568598 | 800 16000 80000 | 78171 76891 116 | 0.000 % |
332.67/332.92 c | 571895 | 800 16000 80000 | 78293 70465 116 | 0.000 % |
334.77/335.06 c | 575521 | 800 16000 80000 | 78293 74091 116 | 0.000 % |
337.17/337.48 c | 579509 | 800 16000 80000 | 78293 78079 116 | 0.000 % |
339.95/340.20 c | 583895 | 800 16000 80000 | 78570 71934 116 | 0.000 % |
342.75/343.08 c | 588718 | 800 16000 80000 | 78570 76757 116 | 0.000 % |
346.15/346.49 c | 594023 | 800 16000 80000 | 78040 72548 116 | 0.000 % |
346.25/346.59 c | 594125 | 800 16000 80000 | 78040 72650 116 | 0.000 % |
346.35/346.67 c | 594235 | 800 16000 80000 | 78040 72760 116 | 0.000 % |
346.45/346.77 c | 594356 | 800 16000 80000 | 78040 72881 116 | 0.000 % |
346.55/346.86 c | 594489 | 800 16000 80000 | 78040 73014 116 | 0.000 % |
346.65/346.96 c | 594636 | 800 16000 80000 | 78040 73161 116 | 0.000 % |
346.75/347.08 c | 594796 | 800 16000 80000 | 78040 73321 116 | 0.000 % |
346.95/347.22 c | 594973 | 800 16000 80000 | 78040 73498 116 | 0.000 % |
347.05/347.35 c | 595170 | 800 16000 80000 | 78040 73695 116 | 0.000 % |
347.15/347.50 c | 595384 | 800 16000 80000 | 78040 73909 116 | 0.000 % |
347.35/347.65 c | 595618 | 800 16000 80000 | 78040 74143 116 | 0.000 % |
347.55/347.81 c | 595874 | 800 16000 80000 | 78040 74399 116 | 0.000 % |
347.75/348.01 c | 596155 | 800 16000 80000 | 78040 74680 116 | 0.000 % |
347.95/348.21 c | 596464 | 800 16000 80000 | 78040 74989 116 | 0.000 % |
348.15/348.45 c | 596803 | 800 16000 80000 | 78040 75328 116 | 0.000 % |
348.45/348.70 c | 597177 | 800 16000 80000 | 78040 75702 116 | 0.000 % |
348.65/348.97 c | 597586 | 800 16000 80000 | 78040 76111 116 | 0.000 % |
349.05/349.33 c | 598035 | 800 16000 80000 | 78040 76560 116 | 0.000 % |
349.45/349.71 c | 598528 | 800 16000 80000 | 78040 77053 116 | 0.000 % |
349.84/350.10 c | 599070 | 800 16000 80000 | 78040 77595 116 | 0.000 % |
350.24/350.55 c | 599666 | 800 16000 80000 | 78040 78191 116 | 0.000 % |
350.74/351.02 c | 600321 | 800 16000 80000 | 68424 60210 115 | 0.000 % |
351.04/351.40 c | 601042 | 800 16000 80000 | 68424 60931 115 | 0.000 % |
351.54/351.84 c | 601835 | 800 16000 80000 | 68424 61724 115 | 0.000 % |
352.04/352.35 c | 602706 | 800 16000 80000 | 68424 62595 115 | 0.000 % |
352.64/352.90 c | 603664 | 800 16000 80000 | 68424 63553 115 | 0.000 % |
353.14/353.46 c | 604718 | 800 16000 80000 | 68424 64607 115 | 0.000 % |
353.74/354.07 c | 605876 | 800 16000 80000 | 68424 65765 115 | 0.000 % |
354.44/354.77 c | 607150 | 800 16000 80000 | 68424 67039 115 | 0.000 % |
355.24/355.53 c | 608550 | 800 16000 80000 | 68424 68439 115 | 0.000 % |
356.24/356.52 c | 610090 | 800 16000 80000 | 2147483647 63136 115 | 0.000 % |
357.15/357.48 c | 611785 | 800 16000 80000 | 2147483647 64831 115 | 0.000 % |
358.25/358.54 c | 613650 | 800 16000 80000 | 2147483647 66696 115 | 0.000 % |
359.35/359.68 c | 615700 | 800 16000 80000 | 2147483647 68746 115 | 0.000 % |
360.64/360.99 c | 617953 | 800 16000 80000 | 2147483647 70999 115 | 0.000 % |
362.14/362.47 c | 620434 | 800 16000 80000 | 2147483647 73480 115 | 0.000 % |
363.84/364.18 c | 623163 | 800 16000 80000 | 2147483647 76209 115 | 0.000 % |
365.74/366.06 c | 626160 | 800 16000 80000 | 2147483647 79206 115 | 0.000 % |
367.94/368.23 c | 629456 | 800 16000 80000 | 2147483647 82502 115 | 0.000 % |
370.24/370.50 c | 633082 | 800 16000 80000 | 83046 74852 115 | 0.000 % |
372.84/373.19 c | 637071 | 800 16000 80000 | 83046 78841 115 | 0.000 % |
375.73/376.03 c | 641456 | 800 16000 80000 | 81770 71826 115 | 0.000 % |
378.63/378.99 c | 646279 | 800 16000 80000 | 81770 76649 116 | 0.000 % |
382.03/382.38 c | 651587 | 800 16000 80000 | 80373 71450 116 | 0.000 % |
385.63/385.98 c | 657423 | 800 16000 80000 | 80373 77286 117 | 0.000 % |
385.73/386.06 c | 657524 | 800 16000 80000 | 80373 77387 117 | 0.000 % |
385.83/386.15 c | 657634 | 800 16000 80000 | 80373 77497 117 | 0.000 % |
385.93/386.24 c | 657755 | 800 16000 80000 | 80373 77618 117 | 0.000 % |
386.03/386.34 c | 657888 | 800 16000 80000 | 80373 77751 117 | 0.000 % |
386.13/386.46 c | 658034 | 800 16000 80000 | 80373 77897 117 | 0.000 % |
386.33/386.60 c | 658196 | 800 16000 80000 | 80373 78059 117 | 0.000 % |
386.43/386.74 c | 658373 | 800 16000 80000 | 80373 78236 116 | 0.000 % |
386.53/386.88 c | 658566 | 800 16000 80000 | 80373 78429 116 | 0.000 % |
386.73/387.04 c | 658778 | 800 16000 80000 | 80373 78641 116 | 0.000 % |
386.93/387.22 c | 659011 | 800 16000 80000 | 80373 78874 117 | 0.000 % |
387.13/387.43 c | 659267 | 800 16000 80000 | 80373 79130 117 | 0.000 % |
387.33/387.65 c | 659548 | 800 16000 80000 | 80373 79411 116 | 0.000 % |
387.52/387.87 c | 659859 | 800 16000 80000 | 80373 79722 116 | 0.000 % |
387.72/388.09 c | 660198 | 800 16000 80000 | 79863 80061 116 | 0.000 % |
388.03/388.39 c | 660570 | 800 16000 80000 | 79863 68663 116 | 0.000 % |
388.32/388.68 c | 660979 | 800 16000 80000 | 79863 69072 116 | 0.000 % |
388.62/388.97 c | 661430 | 800 16000 80000 | 79863 69523 116 | 0.000 % |
388.92/389.26 c | 661923 | 800 16000 80000 | 79863 70016 116 | 0.000 % |
389.32/389.60 c | 662465 | 800 16000 80000 | 79863 70558 116 | 0.000 % |
389.62/389.99 c | 663062 | 800 16000 80000 | 79863 71155 116 | 0.000 % |
390.13/390.41 c | 663719 | 800 16000 80000 | 79863 71812 116 | 0.000 % |
390.52/390.87 c | 664440 | 800 16000 80000 | 79863 72533 116 | 0.000 % |
391.02/391.35 c | 665232 | 800 16000 80000 | 79863 73325 116 | 0.000 % |
391.52/391.89 c | 666105 | 800 16000 80000 | 79863 74198 116 | 0.000 % |
392.12/392.47 c | 667063 | 800 16000 80000 | 79863 75156 116 | 0.000 % |
392.92/393.29 c | 668116 | 800 16000 80000 | 79863 76209 116 | 0.000 % |
393.72/394.04 c | 669274 | 800 16000 80000 | 79863 77367 116 | 0.000 % |
394.63/394.93 c | 670547 | 800 16000 80000 | 78094 68018 116 | 0.000 % |
395.42/395.76 c | 671949 | 800 16000 80000 | 78094 69420 116 | 0.000 % |
396.32/396.66 c | 673489 | 800 16000 80000 | 78094 70960 116 | 0.000 % |
397.42/397.70 c | 675185 | 800 16000 80000 | 78094 72656 116 | 0.000 % |
398.52/398.89 c | 677049 | 800 16000 80000 | 78094 74520 116 | 0.000 % |
399.92/400.29 c | 679098 | 800 16000 80000 | 78094 76569 116 | 0.000 % |
401.42/401.77 c | 681352 | 800 16000 80000 | 77473 68921 116 | 0.000 % |
402.92/403.28 c | 683831 | 800 16000 80000 | 77473 71400 116 | 0.000 % |
404.61/404.99 c | 686556 | 800 16000 80000 | 77473 74125 116 | 0.000 % |
406.62/406.95 c | 689553 | 800 16000 80000 | 77473 77122 116 | 0.000 % |
408.71/409.06 c | 692849 | 800 16000 80000 | 77571 70377 116 | 0.000 % |
411.02/411.37 c | 696474 | 800 16000 80000 | 77571 74002 116 | 0.000 % |
413.61/413.95 c | 700463 | 800 16000 80000 | 77528 67895 116 | 0.000 % |
416.21/416.59 c | 704848 | 800 16000 80000 | 77528 72280 116 | 0.000 % |
419.31/419.64 c | 709673 | 800 16000 80000 | 77528 77105 116 | 0.000 % |
422.60/422.96 c | 714978 | 800 16000 80000 | 77433 72402 116 | 0.000 % |
426.50/426.89 c | 720813 | 800 16000 80000 | 77427 67941 116 | 0.000 % |
430.79/431.14 c | 727233 | 800 16000 80000 | 77427 74361 117 | 0.000 % |
430.89/431.21 c | 727333 | 800 16000 80000 | 77427 74461 117 | 0.000 % |
430.89/431.28 c | 727443 | 800 16000 80000 | 77427 74571 117 | 0.000 % |
430.99/431.36 c | 727564 | 800 16000 80000 | 77427 74692 117 | 0.000 % |
431.09/431.48 c | 727698 | 800 16000 80000 | 77427 74826 117 | 0.000 % |
431.19/431.58 c | 727847 | 800 16000 80000 | 77427 74975 117 | 0.000 % |
431.39/431.70 c | 728008 | 800 16000 80000 | 77427 75136 117 | 0.000 % |
431.49/431.85 c | 728185 | 800 16000 80000 | 77427 75313 117 | 0.000 % |
431.69/432.00 c | 728378 | 800 16000 80000 | 77427 75506 117 | 0.000 % |
431.79/432.15 c | 728593 | 800 16000 80000 | 77427 75721 117 | 0.000 % |
431.99/432.34 c | 728829 | 800 16000 80000 | 77427 75957 117 | 0.000 % |
432.19/432.53 c | 729085 | 800 16000 80000 | 77427 76213 117 | 0.000 % |
432.39/432.71 c | 729368 | 800 16000 80000 | 77427 76496 117 | 0.000 % |
432.59/432.94 c | 729677 | 800 16000 80000 | 77427 76805 117 | 0.000 % |
432.89/433.20 c | 730016 | 800 16000 80000 | 77128 77144 117 | 0.000 % |
433.19/433.52 c | 730388 | 800 16000 80000 | 77128 67854 117 | 0.000 % |
433.49/433.80 c | 730797 | 800 16000 80000 | 77128 68263 117 | 0.000 % |
433.79/434.11 c | 731249 | 800 16000 80000 | 77128 68715 117 | 0.000 % |
434.09/434.45 c | 731745 | 800 16000 80000 | 77128 69211 117 | 0.000 % |
434.39/434.79 c | 732289 | 800 16000 80000 | 77128 69755 117 | 0.000 % |
434.79/435.20 c | 732885 | 800 16000 80000 | 77128 70351 117 | 0.000 % |
435.29/435.61 c | 733541 | 800 16000 80000 | 77128 71007 117 | 0.000 % |
435.79/436.11 c | 734262 | 800 16000 80000 | 77128 71728 116 | 0.000 % |
436.29/436.62 c | 735054 | 800 16000 80000 | 77128 72520 116 | 0.000 % |
436.79/437.16 c | 735926 | 800 16000 80000 | 77128 73392 116 | 0.000 % |
437.39/437.76 c | 736889 | 800 16000 80000 | 77128 74355 116 | 0.000 % |
438.08/438.44 c | 737942 | 800 16000 80000 | 77128 75408 116 | 0.000 % |
438.78/439.15 c | 739100 | 800 16000 80000 | 77128 76566 116 | 0.000 % |
439.69/440.01 c | 740376 | 800 16000 80000 | 67637 59444 117 | 0.000 % |
440.38/440.72 c | 741779 | 800 16000 80000 | 67637 60847 117 | 0.000 % |
441.18/441.55 c | 743321 | 800 16000 80000 | 67637 62389 117 | 0.000 % |
442.18/442.51 c | 745016 | 800 16000 80000 | 67637 64084 117 | 0.000 % |
443.28/443.61 c | 746880 | 800 16000 80000 | 67637 65948 117 | 0.000 % |
444.58/444.90 c | 748932 | 800 16000 80000 | 67637 61217 118 | 0.000 % |
445.78/446.16 c | 751186 | 800 16000 80000 | 2147483647 63471 117 | 0.000 % |
447.28/447.63 c | 753664 | 800 16000 80000 | 2147483647 65949 117 | 0.000 % |
448.88/449.25 c | 756391 | 800 16000 80000 | 2147483647 68676 117 | 0.000 % |
450.68/451.00 c | 759389 | 800 16000 80000 | 2147483647 71674 117 | 0.000 % |
452.68/453.06 c | 762686 | 800 16000 80000 | 2147483647 74971 117 | 0.000 % |
454.98/455.32 c | 766312 | 800 16000 80000 | 2147483647 78597 117 | 0.000 % |
457.68/458.06 c | 770299 | 800 16000 80000 | 82286 72049 118 | 0.000 % |
460.38/460.76 c | 774684 | 800 16000 80000 | 82286 76434 118 | 0.000 % |
463.48/463.80 c | 779507 | 800 16000 80000 | 82286 81257 118 | 0.000 % |
466.68/467.03 c | 784813 | 800 16000 80000 | 81750 75282 119 | 0.000 % |
470.38/470.78 c | 790648 | 800 16000 80000 | 80469 70227 118 | 0.000 % |
474.57/474.97 c | 797066 | 800 16000 80000 | 80469 76645 119 | 0.000 % |
478.97/479.35 c | 804126 | 800 16000 80000 | 79579 72212 119 | 0.000 % |
479.07/479.42 c | 804228 | 800 16000 80000 | 79579 72314 119 | 0.000 % |
479.07/479.50 c | 804338 | 800 16000 80000 | 79579 72424 119 | 0.000 % |
479.18/479.58 c | 804459 | 800 16000 80000 | 79579 72545 119 | 0.000 % |
479.28/479.67 c | 804593 | 800 16000 80000 | 79579 72679 119 | 0.000 % |
479.37/479.79 c | 804739 | 800 16000 80000 | 79579 72825 119 | 0.000 % |
479.57/479.90 c | 804904 | 800 16000 80000 | 79579 72990 119 | 0.000 % |
479.67/480.00 c | 805080 | 800 16000 80000 | 79579 73166 119 | 0.000 % |
479.77/480.14 c | 805274 | 800 16000 80000 | 79579 73360 119 | 0.000 % |
479.87/480.28 c | 805487 | 800 16000 80000 | 79579 73573 119 | 0.000 % |
480.07/480.43 c | 805720 | 800 16000 80000 | 79579 73806 119 | 0.000 % |
480.17/480.59 c | 805980 | 800 16000 80000 | 79579 74066 119 | 0.000 % |
480.37/480.78 c | 806262 | 800 16000 80000 | 79579 74348 119 | 0.000 % |
480.57/480.97 c | 806571 | 800 16000 80000 | 79579 74657 119 | 0.000 % |
480.87/481.22 c | 806910 | 800 16000 80000 | 79579 74996 119 | 0.000 % |
481.07/481.46 c | 807282 | 800 16000 80000 | 79579 75368 119 | 0.000 % |
481.37/481.72 c | 807692 | 800 16000 80000 | 79579 75778 119 | 0.000 % |
481.67/482.02 c | 808142 | 800 16000 80000 | 79579 76228 119 | 0.000 % |
481.97/482.38 c | 808635 | 800 16000 80000 | 79579 76721 119 | 0.000 % |
482.37/482.72 c | 809178 | 800 16000 80000 | 79579 77264 119 | 0.000 % |
482.77/483.11 c | 809774 | 800 16000 80000 | 79579 77860 119 | 0.000 % |
483.17/483.59 c | 810429 | 800 16000 80000 | 78088 67638 120 | 0.000 % |
483.67/484.02 c | 811149 | 800 16000 80000 | 78088 68358 119 | 0.000 % |
484.07/484.46 c | 811943 | 800 16000 80000 | 78088 69152 119 | 0.000 % |
484.57/484.96 c | 812815 | 800 16000 80000 | 78088 70024 119 | 0.000 % |
485.17/485.51 c | 813774 | 800 16000 80000 | 78088 70983 119 | 0.000 % |
485.77/486.12 c | 814828 | 800 16000 80000 | 78088 72037 119 | 0.000 % |
486.37/486.78 c | 815986 | 800 16000 80000 | 78088 73195 119 | 0.000 % |
487.17/487.53 c | 817260 | 800 16000 80000 | 78088 74469 119 | 0.000 % |
487.97/488.38 c | 818661 | 800 16000 80000 | 78088 75870 119 | 0.000 % |
488.97/489.36 c | 820201 | 800 16000 80000 | 77209 77410 119 | 0.000 % |
490.17/490.55 c | 821898 | 800 16000 80000 | 77209 70437 119 | 0.000 % |
491.27/491.65 c | 823762 | 800 16000 80000 | 77209 72301 118 | 0.000 % |
492.47/492.90 c | 825815 | 800 16000 80000 | 77209 74354 118 | 0.000 % |
493.86/494.30 c | 828068 | 800 16000 80000 | 77209 76607 118 | 0.000 % |
495.56/495.94 c | 830547 | 800 16000 80000 | 69784 62441 119 | 0.000 % |
496.96/497.39 c | 833272 | 800 16000 80000 | 69784 65166 119 | 0.000 % |
498.66/499.09 c | 836270 | 800 16000 80000 | 69784 68164 119 | 0.000 % |
500.66/501.07 c | 839566 | 800 16000 80000 | 69784 64454 118 | 0.000 % |
502.76/503.10 c | 843191 | 800 16000 80000 | 2147483647 68079 118 | 0.000 % |
504.96/505.38 c | 847178 | 800 16000 80000 | 2147483647 72066 118 | 0.000 % |
507.76/508.13 c | 851563 | 800 16000 80000 | 74888 68390 117 | 0.000 % |
510.86/511.21 c | 856389 | 800 16000 80000 | 74888 73216 117 | 0.000 % |
514.36/514.76 c | 861695 | 800 16000 80000 | 67755 61344 115 | 0.000 % |
517.65/518.09 c | 867531 | 800 16000 80000 | 67755 67180 116 | 0.000 % |
521.15/521.56 c | 873950 | 800 16000 80000 | 2147483647 66794 116 | 0.000 % |
525.45/525.83 c | 881010 | 800 16000 80000 | 2147483647 73854 116 | 0.000 % |
530.64/531.05 c | 888775 | 800 16000 80000 | 2147483647 81619 117 | 0.000 % |
530.74/531.13 c | 888875 | 800 16000 80000 | 2147483647 81719 117 | 0.000 % |
530.84/531.20 c | 888987 | 800 16000 80000 | 2147483647 81831 117 | 0.000 % |
530.94/531.31 c | 889108 | 800 16000 80000 | 2147483647 81952 117 | 0.000 % |
531.04/531.41 c | 889241 | 800 16000 80000 | 2147483647 82085 117 | 0.000 % |
531.14/531.51 c | 889387 | 800 16000 80000 | 2147483647 82231 117 | 0.000 % |
531.24/531.63 c | 889547 | 800 16000 80000 | 2147483647 82391 117 | 0.000 % |
531.44/531.81 c | 889725 | 800 16000 80000 | 2147483647 82569 117 | 0.000 % |
531.54/531.96 c | 889918 | 800 16000 80000 | 2147483647 82762 117 | 0.000 % |
531.74/532.14 c | 890133 | 800 16000 80000 | 82846 82977 117 | 0.000 % |
531.94/532.35 c | 890367 | 800 16000 80000 | 82846 70714 117 | 0.000 % |
532.14/532.52 c | 890624 | 800 16000 80000 | 82846 70971 117 | 0.000 % |
532.24/532.69 c | 890906 | 800 16000 80000 | 82846 71253 117 | 0.000 % |
532.44/532.90 c | 891215 | 800 16000 80000 | 82846 71562 117 | 0.000 % |
532.64/533.09 c | 891554 | 800 16000 80000 | 82846 71901 117 | 0.000 % |
532.94/533.34 c | 891927 | 800 16000 80000 | 82846 72274 117 | 0.000 % |
533.24/533.65 c | 892337 | 800 16000 80000 | 82846 72684 117 | 0.000 % |
533.54/533.94 c | 892786 | 800 16000 80000 | 82846 73133 117 | 0.000 % |
533.84/534.26 c | 893283 | 800 16000 80000 | 82846 73630 117 | 0.000 % |
534.24/534.60 c | 893825 | 800 16000 80000 | 82846 74172 117 | 0.000 % |
534.54/534.97 c | 894421 | 800 16000 80000 | 82846 74768 117 | 0.000 % |
534.94/535.38 c | 895076 | 800 16000 80000 | 82846 75423 117 | 0.000 % |
535.54/535.95 c | 895796 | 800 16000 80000 | 82846 76143 117 | 0.000 % |
536.14/536.52 c | 896589 | 800 16000 80000 | 82846 76936 117 | 0.000 % |
536.74/537.15 c | 897460 | 800 16000 80000 | 82846 77807 117 | 0.000 % |
537.34/537.79 c | 898419 | 800 16000 80000 | 82846 78766 116 | 0.000 % |
538.03/538.45 c | 899472 | 800 16000 80000 | 82846 79819 116 | 0.000 % |
538.83/539.25 c | 900630 | 800 16000 80000 | 80348 69366 116 | 0.000 % |
539.53/539.95 c | 901903 | 800 16000 80000 | 80348 70639 116 | 0.000 % |
540.33/540.78 c | 903304 | 800 16000 80000 | 80348 72040 116 | 0.000 % |
541.33/541.75 c | 904845 | 800 16000 80000 | 80348 73581 116 | 0.000 % |
542.43/542.80 c | 906540 | 800 16000 80000 | 80348 75276 116 | 0.000 % |
543.73/544.17 c | 908406 | 800 16000 80000 | 80348 77142 116 | 0.000 % |
545.33/545.71 c | 910458 | 800 16000 80000 | 78738 68478 116 | 0.000 % |
546.73/547.16 c | 912712 | 800 16000 80000 | 78738 70732 116 | 0.000 % |
548.33/548.75 c | 915192 | 800 16000 80000 | 78738 73212 116 | 0.000 % |
550.03/550.48 c | 917917 | 800 16000 80000 | 78738 75937 116 | 0.000 % |
552.03/552.41 c | 920914 | 800 16000 80000 | 78021 69129 116 | 0.000 % |
554.13/554.52 c | 924210 | 800 16000 80000 | 78021 72425 116 | 0.000 % |
556.42/556.81 c | 927835 | 800 16000 80000 | 78021 76050 117 | 0.000 % |
558.82/559.25 c | 931823 | 800 16000 80000 | 78216 70778 116 | 0.000 % |
561.32/561.78 c | 936208 | 800 16000 80000 | 78216 75163 117 | 0.000 % |
564.42/564.86 c | 941032 | 800 16000 80000 | 69844 62845 116 | 0.000 % |
567.12/567.58 c | 946339 | 800 16000 80000 | 69844 68152 117 | 0.000 % |
570.42/570.85 c | 952177 | 800 16000 80000 | 2147483647 66980 117 | 0.000 % |
574.21/574.61 c | 958595 | 800 16000 80000 | 2147483647 73398 117 | 0.000 % |
578.22/578.66 c | 965654 | 800 16000 80000 | 74804 72516 118 | 0.000 % |
582.71/583.15 c | 973420 | 800 16000 80000 | 67905 63551 120 | 0.000 % |
588.01/588.43 c | 981961 | 800 16000 80000 | 63226 58716 120 | 0.000 % |
588.11/588.50 c | 982063 | 800 16000 80000 | 63226 58818 120 | 0.000 % |
588.11/588.57 c | 982173 | 800 16000 80000 | 63226 58928 120 | 0.000 % |
588.21/588.64 c | 982295 | 800 16000 80000 | 63226 59050 120 | 0.000 % |
588.31/588.72 c | 982428 | 800 16000 80000 | 63226 59183 120 | 0.000 % |
588.41/588.80 c | 982574 | 800 16000 80000 | 63226 59329 120 | 0.000 % |
588.51/588.90 c | 982734 | 800 16000 80000 | 63226 59489 120 | 0.000 % |
588.61/589.01 c | 982911 | 800 16000 80000 | 63226 59666 120 | 0.000 % |
588.71/589.12 c | 983105 | 800 16000 80000 | 63226 59860 120 | 0.000 % |
588.81/589.22 c | 983317 | 800 16000 80000 | 63226 60072 120 | 0.000 % |
588.91/589.35 c | 983550 | 800 16000 80000 | 63226 60305 120 | 0.000 % |
589.11/589.52 c | 983807 | 800 16000 80000 | 63226 60562 120 | 0.000 % |
589.21/589.68 c | 984089 | 800 16000 80000 | 63226 60844 120 | 0.000 % |
589.41/589.87 c | 984399 | 800 16000 80000 | 63226 61154 120 | 0.000 % |
589.61/590.09 c | 984740 | 800 16000 80000 | 63226 61495 120 | 0.000 % |
589.91/590.31 c | 985115 | 800 16000 80000 | 63226 61870 119 | 0.000 % |
590.11/590.53 c | 985524 | 800 16000 80000 | 63226 62279 119 | 0.000 % |
590.41/590.82 c | 985973 | 800 16000 80000 | 63226 62728 119 | 0.000 % |
590.71/591.13 c | 986467 | 800 16000 80000 | 63226 63222 119 | 0.000 % |
591.01/591.48 c | 987009 | 800 16000 80000 | 63226 57415 119 | 0.000 % |
591.41/591.84 c | 987605 | 800 16000 80000 | 63226 58011 119 | 0.000 % |
591.81/592.20 c | 988262 | 800 16000 80000 | 63226 58668 119 | 0.000 % |
592.11/592.54 c | 988982 | 800 16000 80000 | 63226 59388 119 | 0.000 % |
592.51/592.94 c | 989774 | 800 16000 80000 | 63226 60180 119 | 0.000 % |
592.90/593.38 c | 990646 | 800 16000 80000 | 2147483647 61052 119 | 0.000 % |
593.40/593.87 c | 991604 | 800 16000 80000 | 2147483647 62010 119 | 0.000 % |
594.00/594.48 c | 992657 | 800 16000 80000 | 2147483647 63063 119 | 0.000 % |
594.71/595.18 c | 993815 | 800 16000 80000 | 2147483647 64221 119 | 0.000 % |
595.40/595.89 c | 995088 | 800 16000 80000 | 2147483647 65494 119 | 0.000 % |
596.30/596.73 c | 996488 | 800 16000 80000 | 2147483647 66894 119 | 0.000 % |
597.20/597.67 c | 998029 | 800 16000 80000 | 2147483647 68435 119 | 0.000 % |
598.30/598.76 c | 999724 | 800 16000 80000 | 2147483647 70130 118 | 0.000 % |
599.40/599.89 c | 1001587 | 800 16000 80000 | 2147483647 71993 118 | 0.000 % |
600.70/601.15 c | 1003636 | 800 16000 80000 | 2147483647 74042 118 | 0.000 % |
602.00/602.48 c | 1005891 | 800 16000 80000 | 2147483647 76297 118 | 0.000 % |
603.70/604.15 c | 1008370 | 800 16000 80000 | 2147483647 78776 118 | 0.000 % |
605.50/605.97 c | 1011097 | 800 16000 80000 | 80408 71618 118 | 0.000 % |
607.60/608.03 c | 1014094 | 800 16000 80000 | 80408 74615 118 | 0.000 % |
609.79/610.27 c | 1017390 | 800 16000 80000 | 80408 77911 118 | 0.000 % |
612.49/612.93 c | 1021015 | 800 16000 80000 | 80523 69651 117 | 0.000 % |
615.09/615.55 c | 1025002 | 800 16000 80000 | 80523 73638 117 | 0.000 % |
617.98/618.46 c | 1029387 | 800 16000 80000 | 80523 78023 117 | 0.000 % |
620.99/621.41 c | 1034210 | 800 16000 80000 | 78636 71493 117 | 0.000 % |
624.18/624.67 c | 1039517 | 800 16000 80000 | 78636 76800 118 | 0.000 % |
627.68/628.15 c | 1045352 | 800 16000 80000 | 77283 72969 117 | 0.000 % |
631.68/632.18 c | 1051770 | 800 16000 80000 | 68141 61603 118 | 0.000 % |
635.98/636.44 c | 1058830 | 800 16000 80000 | 68141 61821 119 | 0.000 % |
640.97/641.43 c | 1066596 | 800 16000 80000 | 2147483647 69587 120 | 0.000 % |
646.07/646.56 c | 1075137 | 800 16000 80000 | 72991 69244 120 | 0.000 % |
651.77/652.20 c | 1084531 | 800 16000 80000 | 64831 61142 120 | 0.000 % |
651.77/652.27 c | 1084631 | 800 16000 80000 | 64831 61242 120 | 0.000 % |
651.87/652.34 c | 1084741 | 800 16000 80000 | 64831 61352 120 | 0.000 % |
651.97/652.42 c | 1084863 | 800 16000 80000 | 64831 61474 120 | 0.000 % |
652.07/652.50 c | 1084996 | 800 16000 80000 | 64831 61607 120 | 0.000 % |
652.07/652.59 c | 1085144 | 800 16000 80000 | 64831 61755 120 | 0.000 % |
652.17/652.69 c | 1085305 | 800 16000 80000 | 64831 61916 120 | 0.000 % |
652.37/652.80 c | 1085483 | 800 16000 80000 | 64831 62094 120 | 0.000 % |
652.47/652.92 c | 1085676 | 800 16000 80000 | 64831 62287 120 | 0.000 % |
652.57/653.05 c | 1085888 | 800 16000 80000 | 64831 62499 120 | 0.000 % |
652.67/653.18 c | 1086122 | 800 16000 80000 | 64831 62733 120 | 0.000 % |
652.87/653.34 c | 1086378 | 800 16000 80000 | 64831 62989 120 | 0.000 % |
653.06/653.51 c | 1086659 | 800 16000 80000 | 64831 63270 120 | 0.000 % |
653.16/653.68 c | 1086969 | 800 16000 80000 | 64831 63580 120 | 0.000 % |
653.36/653.88 c | 1087309 | 800 16000 80000 | 64831 63920 120 | 0.000 % |
653.56/654.09 c | 1087681 | 800 16000 80000 | 64831 64292 120 | 0.000 % |
653.86/654.35 c | 1088091 | 800 16000 80000 | 64831 64702 120 | 0.000 % |
654.27/654.70 c | 1088540 | 800 16000 80000 | 64831 58639 119 | 0.000 % |
654.47/655.00 c | 1089033 | 800 16000 80000 | 64831 59132 119 | 0.000 % |
654.87/655.33 c | 1089575 | 800 16000 80000 | 64831 59674 119 | 0.000 % |
655.18/655.69 c | 1090173 | 800 16000 80000 | 2147483647 60272 119 | 0.000 % |
655.57/656.07 c | 1090828 | 800 16000 80000 | 2147483647 60927 119 | 0.000 % |
655.97/656.46 c | 1091550 | 800 16000 80000 | 2147483647 61649 119 | 0.000 % |
656.47/656.95 c | 1092343 | 800 16000 80000 | 2147483647 62442 119 | 0.000 % |
656.97/657.48 c | 1093214 | 800 16000 80000 | 2147483647 63313 119 | 0.000 % |
657.57/658.02 c | 1094173 | 800 16000 80000 | 2147483647 64272 119 | 0.000 % |
658.17/658.67 c | 1095227 | 800 16000 80000 | 2147483647 65326 119 | 0.000 % |
658.87/659.32 c | 1096385 | 800 16000 80000 | 2147483647 66484 119 | 0.000 % |
659.57/660.08 c | 1097659 | 800 16000 80000 | 2147483647 67758 119 | 0.000 % |
660.47/660.93 c | 1099059 | 800 16000 80000 | 2147483647 69158 118 | 0.000 % |
661.47/661.93 c | 1100600 | 800 16000 80000 | 2147483647 70699 118 | 0.000 % |
662.47/663.00 c | 1102296 | 800 16000 80000 | 2147483647 72395 118 | 0.000 % |
663.67/664.19 c | 1104159 | 800 16000 80000 | 2147483647 74258 118 | 0.000 % |
664.97/665.49 c | 1106209 | 800 16000 80000 | 2147483647 76308 118 | 0.000 % |
666.47/666.95 c | 1108462 | 800 16000 80000 | 2147483647 78561 118 | 0.000 % |
668.37/668.80 c | 1110941 | 800 16000 80000 | 80099 71120 118 | 0.000 % |
669.97/670.45 c | 1113670 | 800 16000 80000 | 80099 73849 118 | 0.000 % |
671.86/672.38 c | 1116667 | 800 16000 80000 | 80099 76846 118 | 0.000 % |
674.06/674.52 c | 1119964 | 800 16000 80000 | 80099 80143 118 | 0.000 % |
676.16/676.69 c | 1123592 | 800 16000 80000 | 70194 64958 116 | 0.000 % |
678.66/679.13 c | 1127580 | 800 16000 80000 | 70194 68946 117 | 0.000 % |
681.06/681.55 c | 1131966 | 800 16000 80000 | 63825 59140 116 | 0.000 % |
683.56/684.07 c | 1136791 | 800 16000 80000 | 63825 63965 116 | 0.000 % |
686.46/686.95 c | 1142096 | 800 16000 80000 | 2147483647 62874 116 | 0.000 % |
689.76/690.27 c | 1147933 | 800 16000 80000 | 2147483647 68711 116 | 0.000 % |
693.66/694.18 c | 1154353 | 800 16000 80000 | 2147483647 75131 116 | 0.000 % |
698.45/698.91 c | 1161412 | 800 16000 80000 | 80782 71414 117 | 0.000 % |
703.35/703.89 c | 1169177 | 800 16000 80000 | 80782 79179 118 | 0.000 % |
708.85/709.38 c | 1177717 | 800 16000 80000 | 80002 77509 119 | 0.000 % |
715.15/715.68 c | 1187111 | 800 16000 80000 | 79792 76452 120 | 0.000 % |
722.34/722.84 c | 1197446 | 800 16000 80000 | 79341 76630 120 | 0.000 % |
722.44/722.92 c | 1197551 | 800 16000 80000 | 79341 76735 120 | 0.000 % |
722.54/723.02 c | 1197661 | 800 16000 80000 | 79341 76845 120 | 0.000 % |
722.64/723.12 c | 1197782 | 800 16000 80000 | 79341 76966 120 | 0.000 % |
722.74/723.21 c | 1197915 | 800 16000 80000 | 79341 77099 120 | 0.000 % |
722.84/723.32 c | 1198061 | 800 16000 80000 | 79341 77245 120 | 0.000 % |
722.94/723.46 c | 1198221 | 800 16000 80000 | 79341 77405 120 | 0.000 % |
723.04/723.59 c | 1198399 | 800 16000 80000 | 79341 77583 120 | 0.000 % |
723.25/723.71 c | 1198592 | 800 16000 80000 | 79341 77776 120 | 0.000 % |
723.35/723.89 c | 1198807 | 800 16000 80000 | 79341 77991 120 | 0.000 % |
723.54/724.05 c | 1199041 | 800 16000 80000 | 79341 78225 120 | 0.000 % |
723.74/724.25 c | 1199298 | 800 16000 80000 | 79341 78482 120 | 0.000 % |
723.94/724.46 c | 1199579 | 800 16000 80000 | 79341 78763 120 | 0.000 % |
724.24/724.71 c | 1199890 | 800 16000 80000 | 79341 79074 120 | 0.000 % |
724.45/724.94 c | 1200230 | 800 16000 80000 | 79185 79414 120 | 0.000 % |
724.74/725.22 c | 1200605 | 800 16000 80000 | 79185 68565 120 | 0.000 % |
724.94/725.45 c | 1201016 | 800 16000 80000 | 79185 68976 120 | 0.000 % |
725.24/725.77 c | 1201465 | 800 16000 80000 | 79185 69425 120 | 0.000 % |
725.55/726.09 c | 1201958 | 800 16000 80000 | 79185 69918 120 | 0.000 % |
725.94/726.44 c | 1202503 | 800 16000 80000 | 79185 70463 120 | 0.000 % |
726.34/726.85 c | 1203100 | 800 16000 80000 | 79185 71060 120 | 0.000 % |
726.74/727.26 c | 1203755 | 800 16000 80000 | 79185 71715 120 | 0.000 % |
727.24/727.72 c | 1204476 | 800 16000 80000 | 79185 72436 120 | 0.000 % |
727.74/728.21 c | 1205268 | 800 16000 80000 | 79185 73228 119 | 0.000 % |
728.34/728.80 c | 1206141 | 800 16000 80000 | 79185 74101 119 | 0.000 % |
728.94/729.44 c | 1207099 | 800 16000 80000 | 79185 75059 119 | 0.000 % |
729.64/730.17 c | 1208153 | 800 16000 80000 | 79185 76113 119 | 0.000 % |
730.44/730.97 c | 1209311 | 800 16000 80000 | 79185 77271 119 | 0.000 % |
731.44/731.92 c | 1210585 | 800 16000 80000 | 77960 67829 119 | 0.000 % |
732.24/732.77 c | 1211985 | 800 16000 80000 | 77960 69229 119 | 0.000 % |
733.14/733.60 c | 1213525 | 800 16000 80000 | 77960 70769 119 | 0.000 % |
734.14/734.69 c | 1215219 | 800 16000 80000 | 77960 72463 119 | 0.000 % |
735.44/735.91 c | 1217082 | 800 16000 80000 | 77960 74326 119 | 0.000 % |
736.84/737.31 c | 1219133 | 800 16000 80000 | 77960 76377 119 | 0.000 % |
738.34/738.80 c | 1221388 | 800 16000 80000 | 77247 69002 118 | 0.000 % |
739.84/740.37 c | 1223868 | 800 16000 80000 | 77247 71482 118 | 0.000 % |
741.63/742.19 c | 1226594 | 800 16000 80000 | 77247 74208 118 | 0.000 % |
743.63/744.10 c | 1229591 | 800 16000 80000 | 77247 77205 118 | 0.000 % |
745.43/745.93 c | 1232887 | 800 16000 80000 | 67767 62076 117 | 0.000 % |
747.43/747.97 c | 1236512 | 800 16000 80000 | 67767 65701 117 | 0.000 % |
749.73/750.29 c | 1240499 | 800 16000 80000 | 2147483647 62883 116 | 0.000 % |
752.13/752.65 c | 1244886 | 800 16000 80000 | 2147483647 67270 117 | 0.000 % |
755.03/755.55 c | 1249710 | 800 16000 80000 | 2147483647 72094 117 | 0.000 % |
758.62/759.13 c | 1255016 | 800 16000 80000 | 2147483647 77400 117 | 0.000 % |
762.42/762.92 c | 1260851 | 800 16000 80000 | 82386 72412 116 | 0.000 % |
766.62/767.13 c | 1267269 | 800 16000 80000 | 82386 78830 117 | 0.000 % |
771.42/771.96 c | 1274328 | 800 16000 80000 | 81561 74173 117 | 0.000 % |
776.62/777.15 c | 1282094 | 800 16000 80000 | 79845 71230 119 | 0.000 % |
782.01/782.53 c | 1290634 | 800 16000 80000 | 79138 68383 119 | 0.000 % |
787.91/788.44 c | 1300029 | 800 16000 80000 | 77749 77778 119 | 0.000 % |
793.90/794.44 c | 1310363 | 800 16000 80000 | 76639 66457 120 | 0.000 % |
801.40/801.99 c | 1321733 | 800 16000 80000 | 76094 67074 120 | 0.000 % |
801.50/802.06 c | 1321834 | 800 16000 80000 | 76094 67175 120 | 0.000 % |
801.60/802.12 c | 1321944 | 800 16000 80000 | 76094 67285 120 | 0.000 % |
801.70/802.20 c | 1322067 | 800 16000 80000 | 76094 67408 120 | 0.000 % |
801.80/802.31 c | 1322200 | 800 16000 80000 | 76094 67541 120 | 0.000 % |
801.90/802.42 c | 1322348 | 800 16000 80000 | 76094 67689 120 | 0.000 % |
802.00/802.54 c | 1322509 | 800 16000 80000 | 76094 67850 120 | 0.000 % |
802.10/802.66 c | 1322686 | 800 16000 80000 | 76094 68027 120 | 0.000 % |
802.20/802.78 c | 1322880 | 800 16000 80000 | 76094 68221 120 | 0.000 % |
802.40/802.90 c | 1323092 | 800 16000 80000 | 76094 68433 120 | 0.000 % |
802.50/803.08 c | 1323325 | 800 16000 80000 | 76094 68666 120 | 0.000 % |
802.70/803.22 c | 1323582 | 800 16000 80000 | 76094 68923 120 | 0.000 % |
802.90/803.41 c | 1323864 | 800 16000 80000 | 76094 69205 120 | 0.000 % |
803.10/803.61 c | 1324174 | 800 16000 80000 | 76094 69515 120 | 0.000 % |
803.30/803.81 c | 1324516 | 800 16000 80000 | 76094 69857 120 | 0.000 % |
803.50/804.08 c | 1324895 | 800 16000 80000 | 76094 70236 119 | 0.000 % |
803.80/804.36 c | 1325304 | 800 16000 80000 | 76094 70645 119 | 0.000 % |
804.10/804.65 c | 1325756 | 800 16000 80000 | 76094 71097 119 | 0.000 % |
804.39/804.94 c | 1326249 | 800 16000 80000 | 76094 71590 119 | 0.000 % |
804.70/805.27 c | 1326792 | 800 16000 80000 | 76094 72133 119 | 0.000 % |
805.09/805.65 c | 1327391 | 800 16000 80000 | 76094 72732 119 | 0.000 % |
805.49/806.08 c | 1328047 | 800 16000 80000 | 76094 73388 119 | 0.000 % |
805.99/806.59 c | 1328768 | 800 16000 80000 | 76094 74109 119 | 0.000 % |
806.59/807.14 c | 1329561 | 800 16000 80000 | 76094 74902 119 | 0.000 % |
807.19/807.79 c | 1330433 | 800 16000 80000 | 75344 65760 119 | 0.000 % |
807.90/808.41 c | 1331391 | 800 16000 80000 | 75344 66718 119 | 0.000 % |
808.49/809.08 c | 1332445 | 800 16000 80000 | 75344 67772 119 | 0.000 % |
809.19/809.79 c | 1333603 | 800 16000 80000 | 75344 68930 119 | 0.000 % |
810.10/810.60 c | 1334877 | 800 16000 80000 | 75344 70204 119 | 0.000 % |
810.79/811.40 c | 1336278 | 800 16000 80000 | 75344 71605 118 | 0.000 % |
811.79/812.36 c | 1337818 | 800 16000 80000 | 75344 73145 118 | 0.000 % |
812.79/813.37 c | 1339512 | 800 16000 80000 | 75344 74839 118 | 0.000 % |
814.09/814.63 c | 1341375 | 800 16000 80000 | 75327 67637 117 | 0.000 % |
815.29/815.82 c | 1343424 | 800 16000 80000 | 75327 69686 117 | 0.000 % |
816.59/817.14 c | 1345677 | 800 16000 80000 | 75327 71939 117 | 0.000 % |
818.19/818.71 c | 1348155 | 800 16000 80000 | 75327 74417 117 | 0.000 % |
819.79/820.37 c | 1350884 | 800 16000 80000 | 67613 61110 117 | 0.000 % |
821.39/821.91 c | 1353881 | 800 16000 80000 | 67613 64107 117 | 0.000 % |
823.19/823.70 c | 1357177 | 800 16000 80000 | 67613 67403 117 | 0.000 % |
825.19/825.75 c | 1360802 | 800 16000 80000 | 2147483647 64238 116 | 0.000 % |
827.39/827.98 c | 1364791 | 800 16000 80000 | 2147483647 68227 116 | 0.000 % |
830.18/830.77 c | 1369179 | 800 16000 80000 | 2147483647 72615 116 | 0.000 % |
833.57/834.19 c | 1374002 | 800 16000 80000 | 2147483647 77438 117 | 0.000 % |
837.06/837.65 c | 1379307 | 800 16000 80000 | 2147483647 82743 117 | 0.000 % |
840.66/841.27 c | 1385144 | 800 16000 80000 | 83437 76427 116 | 0.000 % |
844.66/845.27 c | 1391564 | 800 16000 80000 | 81285 70784 115 | 0.000 % |
848.96/849.57 c | 1398624 | 800 16000 80000 | 81285 77844 116 | 0.000 % |
853.86/854.44 c | 1406388 | 800 16000 80000 | 79221 73993 117 | 0.000 % |
859.45/860.01 c | 1414928 | 800 16000 80000 | 77606 72338 118 | 0.000 % |
865.45/866.07 c | 1424322 | 800 16000 80000 | 77411 71517 120 | 0.000 % |
872.56/873.17 c | 1434655 | 800 16000 80000 | 77197 71699 121 | 0.000 % |
880.15/880.72 c | 1446021 | 800 16000 80000 | 77044 72771 122 | 0.000 % |
887.44/888.01 c | 1458526 | 800 16000 80000 | 76751 74811 122 | 0.000 % |
887.44/888.08 c | 1458626 | 800 16000 80000 | 76751 74911 122 | 0.000 % |
887.54/888.16 c | 1458736 | 800 16000 80000 | 76751 75021 122 | 0.000 % |
887.64/888.24 c | 1458859 | 800 16000 80000 | 76751 75144 122 | 0.000 % |
887.74/888.33 c | 1458992 | 800 16000 80000 | 76751 75277 122 | 0.000 % |
887.84/888.44 c | 1459139 | 800 16000 80000 | 76751 75424 122 | 0.000 % |
887.94/888.56 c | 1459299 | 800 16000 80000 | 76751 75584 122 | 0.000 % |
888.04/888.69 c | 1459475 | 800 16000 80000 | 76751 75760 122 | 0.000 % |
888.25/888.83 c | 1459669 | 800 16000 80000 | 76751 75954 122 | 0.000 % |
888.34/888.97 c | 1459881 | 800 16000 80000 | 76751 76166 122 | 0.000 % |
888.54/889.13 c | 1460115 | 800 16000 80000 | 76285 76400 122 | 0.000 % |
888.74/889.32 c | 1460372 | 800 16000 80000 | 76285 66200 123 | 0.000 % |
888.84/889.49 c | 1460653 | 800 16000 80000 | 76285 66481 122 | 0.000 % |
889.04/889.68 c | 1460962 | 800 16000 80000 | 76285 66790 122 | 0.000 % |
889.24/889.88 c | 1461302 | 800 16000 80000 | 76285 67130 122 | 0.000 % |
889.54/890.11 c | 1461674 | 800 16000 80000 | 76285 67502 122 | 0.000 % |
889.74/890.36 c | 1462083 | 800 16000 80000 | 76285 67911 122 | 0.000 % |
890.04/890.70 c | 1462532 | 800 16000 80000 | 76285 68360 122 | 0.000 % |
890.44/891.03 c | 1463027 | 800 16000 80000 | 76285 68855 122 | 0.000 % |
890.74/891.37 c | 1463569 | 800 16000 80000 | 76285 69397 122 | 0.000 % |
891.14/891.77 c | 1464165 | 800 16000 80000 | 76285 69993 122 | 0.000 % |
891.54/892.19 c | 1464821 | 800 16000 80000 | 76285 70649 122 | 0.000 % |
892.04/892.67 c | 1465543 | 800 16000 80000 | 76285 71371 121 | 0.000 % |
892.64/893.22 c | 1466336 | 800 16000 80000 | 76285 72164 121 | 0.000 % |
893.14/893.79 c | 1467208 | 800 16000 80000 | 76285 73036 121 | 0.000 % |
893.74/894.37 c | 1468166 | 800 16000 80000 | 76285 73994 121 | 0.000 % |
894.44/895.04 c | 1469219 | 800 16000 80000 | 76285 75047 121 | 0.000 % |
895.24/895.88 c | 1470379 | 800 16000 80000 | 75831 66416 121 | 0.000 % |
895.94/896.57 c | 1471653 | 800 16000 80000 | 75831 67690 121 | 0.000 % |
896.74/897.31 c | 1473054 | 800 16000 80000 | 75831 69091 120 | 0.000 % |
897.63/898.26 c | 1474594 | 800 16000 80000 | 75831 70631 120 | 0.000 % |
898.53/899.18 c | 1476290 | 800 16000 80000 | 75831 72327 120 | 0.000 % |
899.73/900.35 c | 1478154 | 800 16000 80000 | 75831 74191 120 | 0.000 % |
901.13/901.74 c | 1480206 | 800 16000 80000 | 76037 76243 120 | 0.000 % |
902.53/903.14 c | 1482459 | 800 16000 80000 | 76037 69178 120 | 0.000 % |
904.03/904.64 c | 1484937 | 800 16000 80000 | 76037 71656 119 | 0.000 % |
905.73/906.33 c | 1487664 | 800 16000 80000 | 76037 74383 119 | 0.000 % |
907.63/908.26 c | 1490662 | 800 16000 80000 | 67907 60949 117 | 0.000 % |
909.53/910.11 c | 1493958 | 800 16000 80000 | 67907 64245 117 | 0.000 % |
911.53/912.18 c | 1497583 | 800 16000 80000 | 67907 67870 117 | 0.000 % |
913.83/914.44 c | 1501570 | 800 16000 80000 | 2147483647 65041 117 | 0.000 % |
916.42/917.06 c | 1505957 | 800 16000 80000 | 2147483647 69428 117 | 0.000 % |
919.42/920.07 c | 1510780 | 800 16000 80000 | 2147483647 74251 118 | 0.000 % |
922.92/923.58 c | 1516085 | 800 16000 80000 | 2147483647 79556 119 | 0.000 % |
927.01/927.63 c | 1521921 | 800 16000 80000 | 83471 73697 118 | 0.000 % |
931.21/931.83 c | 1528341 | 800 16000 80000 | 83471 80117 118 | 0.000 % |
935.71/936.33 c | 1535400 | 800 16000 80000 | 81777 75448 118 | 0.000 % |
941.31/941.90 c | 1543164 | 800 16000 80000 | 80048 71943 119 | 0.000 % |
947.01/947.67 c | 1551704 | 800 16000 80000 | 78779 69725 121 | 0.000 % |
954.11/954.75 c | 1561098 | 800 16000 80000 | 78022 68270 122 | 0.000 % |
960.61/961.23 c | 1571431 | 800 16000 80000 | 77172 67890 123 | 0.000 % |
967.60/968.23 c | 1582800 | 800 16000 80000 | 76459 70054 123 | 0.000 % |
975.98/976.70 c | 1595304 | 800 16000 80000 | 67409 64128 123 | 0.000 % |
984.37/985.02 c | 1609057 | 800 16000 80000 | 61479 57923 123 | 0.000 % |
984.37/985.08 c | 1609157 | 800 16000 80000 | 61479 58023 123 | 0.000 % |
984.47/985.14 c | 1609268 | 800 16000 80000 | 61479 58134 123 | 0.000 % |
984.57/985.21 c | 1609390 | 800 16000 80000 | 61479 58256 123 | 0.000 % |
984.57/985.28 c | 1609524 | 800 16000 80000 | 61479 58390 123 | 0.000 % |
984.67/985.39 c | 1609670 | 800 16000 80000 | 61479 58536 123 | 0.000 % |
984.77/985.48 c | 1609830 | 800 16000 80000 | 61479 58696 123 | 0.000 % |
984.88/985.59 c | 1610006 | 800 16000 80000 | 2147483647 58872 123 | 0.000 % |
985.07/985.71 c | 1610199 | 800 16000 80000 | 2147483647 59065 123 | 0.000 % |
985.17/985.83 c | 1610413 | 800 16000 80000 | 2147483647 59279 123 | 0.000 % |
985.27/985.97 c | 1610646 | 800 16000 80000 | 2147483647 59512 123 | 0.000 % |
985.47/986.11 c | 1610902 | 800 16000 80000 | 2147483647 59768 123 | 0.000 % |
985.57/986.27 c | 1611183 | 800 16000 80000 | 2147483647 60049 122 | 0.000 % |
985.77/986.43 c | 1611493 | 800 16000 80000 | 2147483647 60359 122 | 0.000 % |
985.98/986.61 c | 1611834 | 800 16000 80000 | 2147483647 60700 122 | 0.000 % |
986.08/986.79 c | 1612208 | 800 16000 80000 | 2147483647 61074 122 | 0.000 % |
986.37/987.02 c | 1612617 | 800 16000 80000 | 2147483647 61483 122 | 0.000 % |
986.57/987.26 c | 1613069 | 800 16000 80000 | 2147483647 61935 122 | 0.000 % |
986.87/987.56 c | 1613563 | 800 16000 80000 | 2147483647 62429 122 | 0.000 % |
987.18/987.86 c | 1614106 | 800 16000 80000 | 2147483647 62972 122 | 0.000 % |
987.57/988.21 c | 1614706 | 800 16000 80000 | 2147483647 63572 122 | 0.000 % |
987.87/988.58 c | 1615361 | 800 16000 80000 | 2147483647 64227 121 | 0.000 % |
988.37/989.02 c | 1616081 | 800 16000 80000 | 2147483647 64947 121 | 0.000 % |
988.87/989.55 c | 1616873 | 800 16000 80000 | 2147483647 65739 121 | 0.000 % |
989.37/990.03 c | 1617745 | 800 16000 80000 | 2147483647 66611 121 | 0.000 % |
989.97/990.60 c | 1618704 | 800 16000 80000 | 2147483647 67570 121 | 0.000 % |
990.47/991.17 c | 1619759 | 800 16000 80000 | 2147483647 68625 121 | 0.000 % |
991.17/991.83 c | 1620917 | 800 16000 80000 | 2147483647 69783 121 | 0.000 % |
991.97/992.68 c | 1622190 | 800 16000 80000 | 2147483647 71056 121 | 0.000 % |
992.87/993.58 c | 1623591 | 800 16000 80000 | 2147483647 72457 121 | 0.000 % |
993.87/994.58 c | 1625132 | 800 16000 80000 | 2147483647 73998 120 | 0.000 % |
995.07/995.70 c | 1626828 | 800 16000 80000 | 2147483647 75694 120 | 0.000 % |
996.17/996.89 c | 1628691 | 800 16000 80000 | 2147483647 77557 120 | 0.000 % |
997.57/998.21 c | 1630740 | 800 16000 80000 | 78867 70264 119 | 0.000 % |
998.97/999.64 c | 1632993 | 800 16000 80000 | 78867 72517 119 | 0.000 % |
1000.37/1001.10 c | 1635474 | 800 16000 80000 | 78867 74998 119 | 0.000 % |
1002.17/1002.87 c | 1638202 | 800 16000 80000 | 78867 77726 119 | 0.000 % |
1004.07/1004.79 c | 1641199 | 800 16000 80000 | 69288 61629 117 | 0.000 % |
1005.87/1006.53 c | 1644496 | 800 16000 80000 | 69288 64926 117 | 0.000 % |
1007.97/1008.66 c | 1648121 | 800 16000 80000 | 69288 68551 117 | 0.000 % |
1010.36/1011.01 c | 1652109 | 800 16000 80000 | 2147483647 65580 117 | 0.000 % |
1013.06/1013.76 c | 1656500 | 800 16000 80000 | 2147483647 69971 118 | 0.000 % |
1015.96/1016.67 c | 1661329 | 800 16000 80000 | 2147483647 74800 118 | 0.000 % |
1019.26/1019.95 c | 1666634 | 800 16000 80000 | 2147483647 80105 118 | 0.000 % |
1023.26/1023.90 c | 1672471 | 800 16000 80000 | 83472 74522 117 | 0.000 % |
1027.36/1028.02 c | 1678889 | 800 16000 80000 | 83472 80940 117 | 0.000 % |
1031.95/1032.62 c | 1685948 | 800 16000 80000 | 82051 75731 117 | 0.000 % |
1036.95/1037.63 c | 1693712 | 800 16000 80000 | 79784 72839 118 | 0.000 % |
1042.35/1043.06 c | 1702255 | 800 16000 80000 | 79129 71799 118 | 0.000 % |
1048.75/1049.44 c | 1711651 | 800 16000 80000 | 69173 61734 120 | 0.000 % |
1055.55/1056.27 c | 1721985 | 800 16000 80000 | 62634 57993 119 | 0.000 % |
1062.84/1063.53 c | 1733353 | 800 16000 80000 | 2147483647 63073 119 | 0.000 % |
1071.84/1072.51 c | 1745855 | 800 16000 80000 | 2147483647 75575 120 | 0.000 % |
1081.53/1082.28 c | 1759609 | 800 16000 80000 | 79725 79067 121 | 0.000 % |
1092.43/1093.16 c | 1774737 | 800 16000 80000 | 77985 72033 121 | 0.000 % |
1092.53/1093.23 c | 1774837 | 800 16000 80000 | 77985 72133 121 | 0.000 % |
1092.64/1093.30 c | 1774947 | 800 16000 80000 | 77985 72243 121 | 0.000 % |
1092.64/1093.39 c | 1775069 | 800 16000 80000 | 77985 72365 121 | 0.000 % |
1092.83/1093.50 c | 1775202 | 800 16000 80000 | 77985 72498 121 | 0.000 % |
1092.83/1093.60 c | 1775349 | 800 16000 80000 | 77985 72645 120 | 0.000 % |
1093.03/1093.71 c | 1775510 | 800 16000 80000 | 77985 72806 120 | 0.000 % |
1093.13/1093.83 c | 1775686 | 800 16000 80000 | 77985 72982 120 | 0.000 % |
1093.23/1093.95 c | 1775879 | 800 16000 80000 | 77985 73175 120 | 0.000 % |
1093.43/1094.11 c | 1776096 | 800 16000 80000 | 77985 73392 120 | 0.000 % |
1093.53/1094.27 c | 1776330 | 800 16000 80000 | 77985 73626 120 | 0.000 % |
1093.74/1094.42 c | 1776587 | 800 16000 80000 | 77985 73883 120 | 0.000 % |
1093.93/1094.61 c | 1776868 | 800 16000 80000 | 77985 74164 120 | 0.000 % |
1094.13/1094.81 c | 1777177 | 800 16000 80000 | 77985 74473 120 | 0.000 % |
1094.33/1095.04 c | 1777516 | 800 16000 80000 | 77985 74812 120 | 0.000 % |
1094.63/1095.30 c | 1777889 | 800 16000 80000 | 77985 75185 120 | 0.000 % |
1094.83/1095.58 c | 1778299 | 800 16000 80000 | 77985 75595 120 | 0.000 % |
1095.13/1095.87 c | 1778748 | 800 16000 80000 | 77985 76044 120 | 0.000 % |
1095.43/1096.18 c | 1779241 | 800 16000 80000 | 77985 76537 120 | 0.000 % |
1095.83/1096.55 c | 1779785 | 800 16000 80000 | 77985 77081 120 | 0.000 % |
1096.23/1096.98 c | 1780381 | 800 16000 80000 | 77297 66773 119 | 0.000 % |
1096.63/1097.38 c | 1781037 | 800 16000 80000 | 77297 67429 119 | 0.000 % |
1097.13/1097.82 c | 1781762 | 800 16000 80000 | 77297 68154 119 | 0.000 % |
1097.63/1098.32 c | 1782555 | 800 16000 80000 | 77297 68947 119 | 0.000 % |
1098.03/1098.78 c | 1783426 | 800 16000 80000 | 77297 69818 119 | 0.000 % |
1098.63/1099.35 c | 1784385 | 800 16000 80000 | 77297 70777 119 | 0.000 % |
1099.23/1099.98 c | 1785439 | 800 16000 80000 | 77297 71831 119 | 0.000 % |
1100.03/1100.73 c | 1786597 | 800 16000 80000 | 77297 72989 119 | 0.000 % |
1100.73/1101.49 c | 1787871 | 800 16000 80000 | 77297 74263 119 | 0.000 % |
1101.63/1102.31 c | 1789272 | 800 16000 80000 | 77297 75664 119 | 0.000 % |
1102.53/1103.26 c | 1790813 | 800 16000 80000 | 76392 68041 118 | 0.000 % |
1103.42/1104.17 c | 1792507 | 800 16000 80000 | 76392 69735 118 | 0.000 % |
1104.62/1105.31 c | 1794370 | 800 16000 80000 | 76392 71598 118 | 0.000 % |
1105.82/1106.56 c | 1796421 | 800 16000 80000 | 76392 73649 118 | 0.000 % |
1107.32/1108.06 c | 1798674 | 800 16000 80000 | 76392 75902 118 | 0.000 % |
1108.92/1109.60 c | 1801152 | 800 16000 80000 | 68507 62222 117 | 0.000 % |
1110.52/1111.21 c | 1803880 | 800 16000 80000 | 68507 64950 117 | 0.000 % |
1112.22/1112.96 c | 1806877 | 800 16000 80000 | 68507 67947 117 | 0.000 % |
1114.12/1114.84 c | 1810173 | 800 16000 80000 | 2147483647 64365 117 | 0.000 % |
1116.22/1116.95 c | 1813799 | 800 16000 80000 | 2147483647 67991 117 | 0.000 % |
1118.62/1119.30 c | 1817788 | 800 16000 80000 | 2147483647 71980 117 | 0.000 % |
1121.22/1121.93 c | 1822175 | 800 16000 80000 | 2147483647 76367 117 | 0.000 % |
1124.41/1125.11 c | 1826998 | 800 16000 80000 | 2147483647 81190 117 | 0.000 % |
1127.91/1128.61 c | 1832303 | 800 16000 80000 | 84193 75897 116 | 0.000 % |
1131.90/1132.61 c | 1838139 | 800 16000 80000 | 84193 81733 117 | 0.000 % |
1136.40/1137.10 c | 1844558 | 800 16000 80000 | 83594 76482 116 | 0.000 % |
1140.80/1141.58 c | 1851617 | 800 16000 80000 | 81925 70833 118 | 0.000 % |
1145.50/1146.28 c | 1859381 | 800 16000 80000 | 81925 78597 118 | 0.000 % |
1150.69/1151.47 c | 1867922 | 800 16000 80000 | 79218 75764 120 | 0.000 % |
1156.89/1157.65 c | 1877319 | 800 16000 80000 | 77842 75083 120 | 0.000 % |
1163.98/1164.72 c | 1887652 | 800 16000 80000 | 77766 74289 121 | 0.000 % |
1172.08/1172.84 c | 1899020 | 800 16000 80000 | 76637 74532 122 | 0.000 % |
1179.48/1180.27 c | 1911523 | 800 16000 80000 | 75034 65329 123 | 0.000 % |
1187.48/1188.21 c | 1925275 | 800 16000 80000 | 73808 68671 124 | 0.000 % |
1196.88/1197.63 c | 1940403 | 800 16000 80000 | 73472 63809 124 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832461-1242773638/watcher-1832461-1242773638 -o /tmp/evaluation-result-1832461-1242773638/solver-1832461-1242773638 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832461-1242773638.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 1746
/proc/meminfo: memFree=1958960/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0
/proc/1746/stat : 1746 (SatELiteGTI) R 1744 1746 1594 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 305396443 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 210824129183 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/1746/statm: 1339 235 195 169 0 50 0
[pid=1747] ppid=1746 vsize=5356 CPUtime=0
/proc/1747/stat : 1747 (SatELiteGTI) R 1746 1746 1594 0 -1 4194368 36 0 0 0 0 0 0 0 18 0 1 0 305396444 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 210824129183 0 65538 4096 65538 0 0 0 17 1 0 0
/proc/1747/statm: 1339 238 198 169 0 50 0
[pid=1748] ppid=1747 vsize=0 CPUtime=0
/proc/1748/stat : 1748 (SatELiteGTI) Z 1747 1746 1594 0 -1 4194380 25 0 0 0 0 0 0 0 18 0 1 0 305396444 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 1 0 0
/proc/1748/statm: 0 0 0 0 0 0 0
[pid=1749] ppid=1747 vsize=5356 CPUtime=0
/proc/1749/stat : 1749 (SatELiteGTI) D 1747 1746 1594 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 305396444 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824297061 0 2147483391 4096 65538 18446744072099781622 0 0 17 1 0 0
/proc/1749/statm: 1339 239 199 169 0 50 0
[startup+0.017877 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 1746
/proc/meminfo: memFree=1958960/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305396443 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1746/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101888 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 1746
/proc/meminfo: memFree=1958960/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301912 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 1746
/proc/meminfo: memFree=1958960/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701964 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 1746
/proc/meminfo: memFree=1958960/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1954400/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=6056 CPUtime=1.43
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 1248 0 0 0 143 0 0 0 25 0 1 0 305396448 6201344 1234 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 1514 1234 77 171 0 1341 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11412
[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1951584/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=10544 CPUtime=3.03
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 2387 0 0 0 303 0 0 0 25 0 1 0 305396448 10797056 2373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 2636 2373 77 171 0 2463 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15900
[startup+6.30162 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1944224/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=16536 CPUtime=6.23
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 3860 0 0 0 621 2 0 0 25 0 1 0 305396448 16932864 3846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 4134 3846 77 171 0 3961 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21892
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1935592/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=24536 CPUtime=12.64
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 5863 0 0 0 1260 4 0 0 25 0 1 0 305396448 25124864 5849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 6134 5849 77 171 0 5961 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29892
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1923880/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=35876 CPUtime=25.43
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 8668 0 0 0 2536 7 0 0 25 0 1 0 305396448 36737024 8654 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 8969 8654 77 171 0 8796 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41232
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1921192/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=38252 CPUtime=51.02
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 9276 0 0 0 5094 8 0 0 25 0 1 0 305396448 39170048 9262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 9563 9262 77 171 0 9390 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 43608
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1920552/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=38780 CPUtime=102.18
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 9419 0 0 0 10210 8 0 0 25 0 1 0 305396448 39710720 9405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 9695 9405 77 171 0 9522 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 44136
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1915816/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=43268 CPUtime=162.14
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 10558 0 0 0 16204 10 0 0 25 0 1 0 305396448 44306432 10544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 10817 10544 77 171 0 10644 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 48624
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1914792/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=44324 CPUtime=222.11
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 10805 0 0 0 22200 11 0 0 25 0 1 0 305396448 45387776 10791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11081 10791 77 171 0 10908 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 49680
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1913192/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=45820 CPUtime=282.07
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11232 0 0 0 28196 11 0 0 25 0 1 0 305396448 46919680 11182 1992294400 134512640 135215339 4294956240 18446744073709551615 134532952 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11455 11182 77 171 0 11282 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 51176
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1913000/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=45820 CPUtime=342.02
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11232 0 0 0 34191 11 0 0 25 0 1 0 305396448 46919680 11182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11455 11182 77 171 0 11282 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 51176
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1752
/proc/meminfo: memFree=1912872/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
################
# More data... #
################
/proc/1752/statm: 11480 11210 77 171 0 11307 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 51276
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1911976/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=46448 CPUtime=581.88
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11427 0 0 0 58176 12 0 0 25 0 1 0 305396448 47562752 11323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11612 11323 77 171 0 11439 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 51804
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1911912/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=46448 CPUtime=641.85
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11427 0 0 0 64173 12 0 0 25 0 1 0 305396448 47562752 11323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11612 11323 77 171 0 11439 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 51804
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1911848/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=46448 CPUtime=701.82
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11427 0 0 0 70169 13 0 0 25 0 1 0 305396448 47562752 11323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11612 11323 77 171 0 11439 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 51804
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1911080/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=47108 CPUtime=761.8
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11585 0 0 0 76167 13 0 0 25 0 1 0 305396448 48238592 11481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11777 11481 77 171 0 11604 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 52464
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1910824/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=47240 CPUtime=821.76
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11628 0 0 0 82163 13 0 0 25 0 1 0 305396448 48373760 11524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11810 11524 77 171 0 11637 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 52596
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1910376/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=47768 CPUtime=881.71
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11745 0 0 0 88157 14 0 0 25 0 1 0 305396448 48914432 11641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 11942 11641 77 171 0 11769 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 53124
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1909352/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=48532 CPUtime=941.68
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11967 0 0 0 94154 14 0 0 25 0 1 0 305396448 49696768 11863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12133 11863 77 171 0 11960 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 53888
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1909288/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=48360 CPUtime=1001.64
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 11967 0 0 0 100149 15 0 0 25 0 1 0 305396448 49520640 11820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12090 11820 77 171 0 11917 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 53716
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1909096/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=48624 CPUtime=1061.61
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 12031 0 0 0 106146 15 0 0 25 0 1 0 305396448 49790976 11884 1992294400 134512640 135215339 4294956240 18446744073709551615 134538999 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12156 11884 77 171 0 11983 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 53980
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1909032/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=48624 CPUtime=1121.58
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 12031 0 0 0 112143 15 0 0 25 0 1 0 305396448 49790976 11884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12156 11884 77 171 0 11983 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 53980
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1908456/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=49120 CPUtime=1181.55
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 12146 0 0 0 118140 15 0 0 25 0 1 0 305396448 50298880 11999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12280 11999 77 171 0 12107 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 54476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 1758
/proc/meminfo: memFree=1908392/2055920 swapFree=4179792/4192956
[pid=1746] ppid=1744 vsize=5356 CPUtime=0.03
/proc/1746/stat : 1746 (SatELiteGTI) S 1744 1746 1594 0 -1 4194304 336 691 0 0 0 0 3 0 16 0 1 0 305396443 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1746/statm: 1339 239 197 169 0 50 0
[pid=1752] ppid=1746 vsize=49120 CPUtime=1200.05
/proc/1752/stat : 1752 (minisat_static) R 1746 1746 1594 0 -1 4194304 12146 0 0 0 119989 16 0 0 25 0 1 0 305396448 50298880 11999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1752/statm: 12280 11999 77 171 0 12107 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 54476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1746 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=9998
# CPU time returned by wait4() is 0.045992
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.92
CPU system time (s): 0.16
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 54508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.035994
system time used= 0.009998
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= 16
involuntary context switches= 5
runsolver used 1.03984 second user time and 3.46147 second system time
The end
Begin job on node33 at 2009-05-20 00:53:58
IDJOB=1832461
IDBENCH=70194
IDSOLVER=671
FILE ID=node33/1832461-1242773638
PBS_JOBID= 9322265
Free space on /tmp= 66308 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S249585100-059.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832461-1242773638/watcher-1832461-1242773638 -o /tmp/evaluation-result-1832461-1242773638/solver-1832461-1242773638 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832461-1242773638.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 143712ca4284eea58745e182764b5b47
RANDOM SEED=116215484
node33.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.212
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.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1959376 kB
Buffers: 13864 kB
Cached: 42324 kB
SwapCached: 7256 kB
Active: 18436 kB
Inactive: 46628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1959376 kB
SwapTotal: 4192956 kB
SwapFree: 4179792 kB
Dirty: 2008 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 17448 kB
Committed_AS: 1042004 kB
PageTables: 1400 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= 66304 MiB
End job on node33 at 2009-05-20 01:14:01