0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.013997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 800 |
0.00/0.04 c | Number of clauses: 16000 |
0.03/0.06 c | Parsing time: 0.01 s |
0.03/0.06 c ============================[ Search Statistics ]==============================
0.03/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.03/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.03/0.06 c ===============================================================================
0.03/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.03/0.07 c | 102 | 800 16000 80000 | 5333 102 92 | 0.000 % |
0.03/0.08 c | 203 | 800 16000 80000 | 5333 203 101 | 0.000 % |
0.03/0.09 c | 304 | 800 16000 80000 | 5333 304 104 | 0.000 % |
0.03/0.10 c | 415 | 800 16000 80000 | 5333 415 103 | 0.000 % |
0.03/0.11 c | 517 | 800 16000 80000 | 5333 517 104 | 0.000 % |
0.03/0.12 c | 627 | 800 16000 80000 | 5333 627 102 | 0.000 % |
0.03/0.13 c | 749 | 800 16000 80000 | 5333 749 100 | 0.000 % |
0.03/0.14 c | 850 | 800 16000 80000 | 5333 850 100 | 0.000 % |
0.03/0.15 c | 960 | 800 16000 80000 | 5333 960 102 | 0.000 % |
0.03/0.16 c | 1081 | 800 16000 80000 | 5333 1081 102 | 0.000 % |
0.03/0.17 c | 1214 | 800 16000 80000 | 5333 1214 103 | 0.000 % |
0.03/0.18 c | 1314 | 800 16000 80000 | 5333 1314 102 | 0.000 % |
0.03/0.20 c | 1424 | 800 16000 80000 | 5333 1424 102 | 0.000 % |
0.03/0.21 c | 1546 | 800 16000 80000 | 5333 1546 101 | 0.000 % |
0.03/0.22 c | 1679 | 800 16000 80000 | 5333 1679 101 | 0.000 % |
0.03/0.24 c | 1828 | 800 16000 80000 | 5333 1828 101 | 0.000 % |
0.03/0.25 c | 1928 | 800 16000 80000 | 5333 1928 102 | 0.000 % |
0.03/0.26 c | 2040 | 800 16000 80000 | 5333 2040 103 | 0.000 % |
0.03/0.27 c | 2161 | 800 16000 80000 | 5333 2161 103 | 0.000 % |
0.03/0.28 c | 2295 | 800 16000 80000 | 5333 2295 103 | 0.000 % |
0.03/0.30 c | 2441 | 800 16000 80000 | 5333 2441 104 | 0.000 % |
0.03/0.32 c | 2601 | 800 16000 80000 | 5333 2601 104 | 0.000 % |
0.03/0.33 c | 2702 | 800 16000 80000 | 5333 2702 104 | 0.000 % |
0.03/0.34 c | 2812 | 800 16000 80000 | 5333 2812 104 | 0.000 % |
0.03/0.35 c | 2933 | 800 16000 80000 | 5333 2933 104 | 0.000 % |
0.03/0.37 c | 3066 | 800 16000 80000 | 5333 3066 105 | 0.000 % |
0.03/0.38 c | 3212 | 800 16000 80000 | 5333 3212 105 | 0.000 % |
0.03/0.40 c | 3372 | 800 16000 80000 | 5333 3372 105 | 0.000 % |
0.03/0.42 c | 3549 | 800 16000 80000 | 5333 3549 105 | 0.000 % |
0.03/0.43 c | 3649 | 800 16000 80000 | 5333 3649 106 | 0.000 % |
0.03/0.44 c | 3760 | 800 16000 80000 | 5333 3760 105 | 0.000 % |
0.03/0.46 c | 3882 | 800 16000 80000 | 5333 3882 105 | 0.000 % |
0.03/0.47 c | 4016 | 800 16000 80000 | 5333 4016 105 | 0.000 % |
0.03/0.49 c | 4163 | 800 16000 80000 | 5333 4163 105 | 0.000 % |
0.03/0.50 c | 4324 | 800 16000 80000 | 5333 4324 105 | 0.000 % |
0.03/0.52 c | 4502 | 800 16000 80000 | 5333 4502 105 | 0.000 % |
0.03/0.55 c | 4696 | 800 16000 80000 | 5333 4696 106 | 0.000 % |
0.03/0.56 c | 4798 | 800 16000 80000 | 5333 4798 105 | 0.000 % |
0.03/0.57 c | 4909 | 800 16000 80000 | 5333 4909 105 | 0.000 % |
0.03/0.58 c | 5031 | 800 16000 80000 | 5333 5031 106 | 0.000 % |
0.03/0.60 c | 5165 | 800 16000 80000 | 5333 5165 106 | 0.000 % |
0.03/0.62 c | 5311 | 800 16000 80000 | 5333 5311 106 | 0.000 % |
0.03/0.64 c | 5471 | 800 16000 80000 | 5333 5471 106 | 0.000 % |
0.03/0.66 c | 5647 | 800 16000 80000 | 5333 5100 105 | 0.000 % |
0.03/0.68 c | 5842 | 800 16000 80000 | 5333 5295 105 | 0.000 % |
0.03/0.71 c | 6054 | 800 16000 80000 | 5333 5507 105 | 0.000 % |
0.03/0.72 c | 6154 | 800 16000 80000 | 5333 5057 105 | 0.000 % |
0.03/0.73 c | 6266 | 800 16000 80000 | 5333 5169 105 | 0.000 % |
0.03/0.75 c | 6388 | 800 16000 80000 | 5333 5291 105 | 0.000 % |
0.03/0.77 c | 6522 | 800 16000 80000 | 5333 5425 105 | 0.000 % |
0.03/0.78 c | 6670 | 800 16000 80000 | 5333 5031 105 | 0.000 % |
0.03/0.80 c | 6831 | 800 16000 80000 | 5333 5192 105 | 0.000 % |
0.03/0.82 c | 7008 | 800 16000 80000 | 5333 5369 105 | 0.000 % |
0.03/0.85 c | 7202 | 800 16000 80000 | 5333 5027 105 | 0.000 % |
0.03/0.87 c | 7416 | 800 16000 80000 | 5333 5241 105 | 0.000 % |
0.03/0.90 c | 7649 | 800 16000 80000 | 5333 5474 106 | 0.000 % |
0.03/0.91 c | 7749 | 800 16000 80000 | 5333 5027 105 | 0.000 % |
0.03/0.92 c | 7860 | 800 16000 80000 | 5333 5138 105 | 0.000 % |
0.03/0.94 c | 7981 | 800 16000 80000 | 5333 5259 105 | 0.000 % |
0.03/0.95 c | 8114 | 800 16000 80000 | 5333 5392 105 | 0.000 % |
0.03/0.97 c | 8260 | 800 16000 80000 | 5333 4999 104 | 0.000 % |
0.03/0.99 c | 8421 | 800 16000 80000 | 5333 5160 104 | 0.000 % |
0.97/1.01 c | 8599 | 800 16000 80000 | 5333 5338 104 | 0.000 % |
0.97/1.03 c | 8792 | 800 16000 80000 | 5333 4998 104 | 0.000 % |
0.97/1.06 c | 9004 | 800 16000 80000 | 5333 5210 104 | 0.000 % |
0.97/1.08 c | 9237 | 800 16000 80000 | 5333 5443 105 | 0.000 % |
1.07/1.12 c | 9493 | 800 16000 80000 | 5333 5155 105 | 0.000 % |
1.07/1.13 c | 9593 | 800 16000 80000 | 5333 5255 105 | 0.000 % |
1.07/1.14 c | 9707 | 800 16000 80000 | 5333 5369 104 | 0.000 % |
1.07/1.15 c | 9829 | 800 16000 80000 | 5333 4955 104 | 0.000 % |
1.07/1.17 c | 9964 | 800 16000 80000 | 5333 5090 104 | 0.000 % |
1.07/1.19 c | 10111 | 800 16000 80000 | 2147483647 5237 104 | 0.000 % |
1.17/1.20 c | 10271 | 800 16000 80000 | 2147483647 5397 104 | 0.000 % |
1.17/1.22 c | 10449 | 800 16000 80000 | 2147483647 5575 104 | 0.000 % |
1.17/1.25 c | 10642 | 800 16000 80000 | 2147483647 5768 104 | 0.000 % |
1.17/1.28 c | 10854 | 800 16000 80000 | 2147483647 5980 104 | 0.000 % |
1.27/1.30 c | 11088 | 800 16000 80000 | 2147483647 6214 104 | 0.000 % |
1.27/1.33 c | 11344 | 800 16000 80000 | 2147483647 6470 105 | 0.000 % |
1.27/1.37 c | 11625 | 800 16000 80000 | 2147483647 6751 105 | 0.000 % |
1.27/1.38 c | 11726 | 800 16000 80000 | 2147483647 6852 105 | 0.000 % |
1.37/1.40 c | 11838 | 800 16000 80000 | 2147483647 6964 105 | 0.000 % |
1.37/1.41 c | 11961 | 800 16000 80000 | 2147483647 7087 105 | 0.000 % |
1.37/1.43 c | 12094 | 800 16000 80000 | 2147483647 7220 105 | 0.000 % |
1.37/1.45 c | 12240 | 800 16000 80000 | 2147483647 7366 105 | 0.000 % |
1.37/1.47 c | 12401 | 800 16000 80000 | 2147483647 7527 105 | 0.000 % |
1.37/1.50 c | 12580 | 800 16000 80000 | 2147483647 7706 105 | 0.000 % |
1.46/1.52 c | 12774 | 800 16000 80000 | 2147483647 7900 106 | 0.000 % |
1.46/1.55 c | 12986 | 800 16000 80000 | 2147483647 8112 106 | 0.000 % |
1.46/1.59 c | 13219 | 800 16000 80000 | 2147483647 8345 106 | 0.000 % |
1.56/1.62 c | 13475 | 800 16000 80000 | 2147483647 8601 106 | 0.000 % |
1.56/1.66 c | 13756 | 800 16000 80000 | 2147483647 8882 106 | 0.000 % |
1.66/1.70 c | 14065 | 800 16000 80000 | 2147483647 9191 106 | 0.000 % |
1.66/1.72 c | 14166 | 800 16000 80000 | 2147483647 9292 106 | 0.000 % |
1.66/1.74 c | 14278 | 800 16000 80000 | 2147483647 9404 106 | 0.000 % |
1.66/1.76 c | 14401 | 800 16000 80000 | 2147483647 9527 106 | 0.000 % |
1.66/1.78 c | 14534 | 800 16000 80000 | 2147483647 9660 106 | 0.000 % |
1.76/1.80 c | 14680 | 800 16000 80000 | 2147483647 9806 106 | 0.000 % |
1.76/1.83 c | 14841 | 800 16000 80000 | 2147483647 9967 106 | 0.000 % |
1.76/1.85 c | 15017 | 800 16000 80000 | 2147483647 10143 106 | 0.000 % |
1.76/1.88 c | 15210 | 800 16000 80000 | 2147483647 10336 106 | 0.000 % |
1.86/1.91 c | 15422 | 800 16000 80000 | 2147483647 10548 106 | 0.000 % |
1.86/1.95 c | 15656 | 800 16000 80000 | 2147483647 10782 106 | 0.000 % |
1.86/1.99 c | 15914 | 800 16000 80000 | 2147483647 11040 106 | 0.000 % |
1.96/2.03 c | 16195 | 800 16000 80000 | 2147483647 11321 106 | 0.000 % |
1.96/2.08 c | 16505 | 800 16000 80000 | 2147483647 11631 106 | 0.000 % |
2.06/2.13 c | 16844 | 800 16000 80000 | 2147483647 11970 106 | 0.000 % |
2.06/2.15 c | 16945 | 800 16000 80000 | 2147483647 12071 106 | 0.000 % |
2.06/2.17 c | 17055 | 800 16000 80000 | 2147483647 12181 106 | 0.000 % |
2.06/2.19 c | 17177 | 800 16000 80000 | 2147483647 12303 106 | 0.000 % |
2.16/2.21 c | 17310 | 800 16000 80000 | 2147483647 12436 106 | 0.000 % |
2.16/2.24 c | 17456 | 800 16000 80000 | 2147483647 12582 106 | 0.000 % |
2.16/2.26 c | 17616 | 800 16000 80000 | 2147483647 12742 106 | 0.000 % |
2.16/2.29 c | 17792 | 800 16000 80000 | 2147483647 12918 106 | 0.000 % |
2.27/2.33 c | 17985 | 800 16000 80000 | 2147483647 13111 106 | 0.000 % |
2.27/2.36 c | 18199 | 800 16000 80000 | 2147483647 13325 106 | 0.000 % |
2.37/2.40 c | 18432 | 800 16000 80000 | 2147483647 13558 106 | 0.000 % |
2.37/2.45 c | 18692 | 800 16000 80000 | 2147483647 13818 106 | 0.000 % |
2.37/2.50 c | 18973 | 800 16000 80000 | 2147483647 14099 106 | 0.000 % |
2.47/2.55 c | 19285 | 800 16000 80000 | 2147483647 14411 106 | 0.000 % |
2.57/2.61 c | 19626 | 800 16000 80000 | 2147483647 14752 106 | 0.000 % |
2.57/2.68 c | 19999 | 800 16000 80000 | 2147483647 15125 106 | 0.000 % |
2.67/2.70 c | 20099 | 800 16000 80000 | 2147483647 15225 106 | 0.000 % |
2.67/2.72 c | 20213 | 800 16000 80000 | 2147483647 15339 106 | 0.000 % |
2.67/2.75 c | 20338 | 800 16000 80000 | 2147483647 15464 106 | 0.000 % |
2.67/2.77 c | 20472 | 800 16000 80000 | 2147483647 15598 106 | 0.000 % |
2.77/2.80 c | 20620 | 800 16000 80000 | 2147483647 15746 106 | 0.000 % |
2.77/2.83 c | 20780 | 800 16000 80000 | 2147483647 15906 106 | 0.000 % |
2.77/2.86 c | 20956 | 800 16000 80000 | 2147483647 16082 106 | 0.000 % |
2.87/2.90 c | 21149 | 800 16000 80000 | 2147483647 16275 106 | 0.000 % |
2.87/2.94 c | 21362 | 800 16000 80000 | 2147483647 16488 106 | 0.000 % |
2.87/2.98 c | 21596 | 800 16000 80000 | 2147483647 16722 106 | 0.000 % |
2.97/3.04 c | 21853 | 800 16000 80000 | 2147483647 16979 106 | 0.000 % |
2.97/3.09 c | 22135 | 800 16000 80000 | 2147483647 17261 106 | 0.000 % |
3.06/3.15 c | 22445 | 800 16000 80000 | 2147483647 17571 106 | 0.000 % |
3.17/3.22 c | 22786 | 800 16000 80000 | 2147483647 17912 106 | 0.000 % |
3.17/3.29 c | 23158 | 800 16000 80000 | 2147483647 18284 106 | 0.000 % |
3.27/3.38 c | 23568 | 800 16000 80000 | 2147483647 18694 106 | 0.000 % |
3.36/3.40 c | 23668 | 800 16000 80000 | 2147483647 18794 106 | 0.000 % |
3.36/3.43 c | 23779 | 800 16000 80000 | 2147483647 18905 106 | 0.000 % |
3.36/3.45 c | 23900 | 800 16000 80000 | 2147483647 19026 106 | 0.000 % |
3.36/3.48 c | 24033 | 800 16000 80000 | 2147483647 19159 106 | 0.000 % |
3.46/3.52 c | 24180 | 800 16000 80000 | 2147483647 19306 106 | 0.000 % |
3.46/3.56 c | 24340 | 800 16000 80000 | 2147483647 19466 106 | 0.000 % |
3.46/3.59 c | 24520 | 800 16000 80000 | 2147483647 19646 106 | 0.000 % |
3.56/3.64 c | 24714 | 800 16000 80000 | 2147483647 19840 106 | 0.000 % |
3.56/3.69 c | 24926 | 800 16000 80000 | 2147483647 20052 106 | 0.000 % |
3.66/3.74 c | 25160 | 800 16000 80000 | 2147483647 20286 106 | 0.000 % |
3.66/3.79 c | 25416 | 800 16000 80000 | 2147483647 20542 106 | 0.000 % |
3.76/3.86 c | 25697 | 800 16000 80000 | 2147483647 20823 106 | 0.000 % |
3.86/3.92 c | 26006 | 800 16000 80000 | 2147483647 21132 106 | 0.000 % |
3.96/4.01 c | 26345 | 800 16000 80000 | 2147483647 21471 106 | 0.000 % |
3.96/4.09 c | 26719 | 800 16000 80000 | 2147483647 21845 106 | 0.000 % |
4.06/4.18 c | 27132 | 800 16000 80000 | 2147483647 22258 106 | 0.000 % |
4.16/4.29 c | 27581 | 800 16000 80000 | 2147483647 22707 107 | 0.000 % |
4.26/4.32 c | 27681 | 800 16000 80000 | 2147483647 22807 107 | 0.000 % |
4.26/4.35 c | 27794 | 800 16000 80000 | 2147483647 22920 107 | 0.000 % |
4.26/4.38 c | 27916 | 800 16000 80000 | 2147483647 23042 107 | 0.000 % |
4.36/4.42 c | 28049 | 800 16000 80000 | 2147483647 23175 107 | 0.000 % |
4.36/4.46 c | 28196 | 800 16000 80000 | 2147483647 23322 107 | 0.000 % |
4.46/4.50 c | 28359 | 800 16000 80000 | 2147483647 23485 107 | 0.000 % |
4.46/4.55 c | 28535 | 800 16000 80000 | 2147483647 23661 107 | 0.000 % |
4.56/4.61 c | 28729 | 800 16000 80000 | 2147483647 23855 107 | 0.000 % |
4.56/4.66 c | 28943 | 800 16000 80000 | 2147483647 24069 107 | 0.000 % |
4.66/4.72 c | 29176 | 800 16000 80000 | 2147483647 24302 107 | 0.000 % |
4.66/4.78 c | 29434 | 800 16000 80000 | 2147483647 24560 107 | 0.000 % |
4.77/4.85 c | 29716 | 800 16000 80000 | 2147483647 24842 107 | 0.000 % |
4.87/4.92 c | 30026 | 800 16000 80000 | 2147483647 25152 107 | 0.000 % |
4.97/5.02 c | 30366 | 800 16000 80000 | 2147483647 25492 107 | 0.000 % |
5.07/5.12 c | 30738 | 800 16000 80000 | 2147483647 25864 107 | 0.000 % |
5.17/5.22 c | 31147 | 800 16000 80000 | 2147483647 26273 107 | 0.000 % |
5.27/5.33 c | 31596 | 800 16000 80000 | 2147483647 26722 107 | 0.000 % |
5.37/5.47 c | 32089 | 800 16000 80000 | 2147483647 27215 107 | 0.000 % |
5.47/5.50 c | 32189 | 800 16000 80000 | 2147483647 27315 107 | 0.000 % |
5.47/5.53 c | 32301 | 800 16000 80000 | 2147483647 27427 107 | 0.000 % |
5.47/5.57 c | 32422 | 800 16000 80000 | 2147483647 27548 107 | 0.000 % |
5.57/5.61 c | 32555 | 800 16000 80000 | 2147483647 27681 107 | 0.000 % |
5.57/5.66 c | 32702 | 800 16000 80000 | 2147483647 27828 107 | 0.000 % |
5.67/5.70 c | 32862 | 800 16000 80000 | 2147483647 27988 107 | 0.000 % |
5.67/5.75 c | 33040 | 800 16000 80000 | 2147483647 28166 107 | 0.000 % |
5.77/5.81 c | 33233 | 800 16000 80000 | 2147483647 28359 107 | 0.000 % |
5.77/5.87 c | 33445 | 800 16000 80000 | 2147483647 28571 107 | 0.000 % |
5.86/5.93 c | 33678 | 800 16000 80000 | 2147483647 28804 107 | 0.000 % |
5.86/6.00 c | 33935 | 800 16000 80000 | 2147483647 29061 107 | 0.000 % |
5.96/6.08 c | 34218 | 800 16000 80000 | 2147483647 29344 107 | 0.000 % |
6.06/6.16 c | 34529 | 800 16000 80000 | 2147483647 29655 107 | 0.000 % |
6.16/6.28 c | 34868 | 800 16000 80000 | 2147483647 29994 107 | 0.000 % |
6.26/6.39 c | 35240 | 800 16000 80000 | 2147483647 30366 107 | 0.000 % |
6.46/6.52 c | 35649 | 800 16000 80000 | 2147483647 30775 107 | 0.000 % |
6.57/6.67 c | 36099 | 800 16000 80000 | 2147483647 31225 107 | 0.000 % |
6.76/6.82 c | 36592 | 800 16000 80000 | 2147483647 31718 107 | 0.000 % |
6.86/7.00 c | 37134 | 800 16000 80000 | 2147483647 32260 107 | 0.000 % |
6.96/7.03 c | 37234 | 800 16000 80000 | 2147483647 32360 107 | 0.000 % |
6.96/7.07 c | 37344 | 800 16000 80000 | 2147483647 32470 107 | 0.000 % |
7.06/7.10 c | 37465 | 800 16000 80000 | 2147483647 32591 107 | 0.000 % |
7.06/7.15 c | 37599 | 800 16000 80000 | 2147483647 32725 107 | 0.000 % |
7.16/7.21 c | 37746 | 800 16000 80000 | 2147483647 32872 107 | 0.000 % |
7.16/7.28 c | 37906 | 800 16000 80000 | 2147483647 33032 107 | 0.000 % |
7.26/7.34 c | 38086 | 800 16000 80000 | 2147483647 33212 107 | 0.000 % |
7.36/7.40 c | 38279 | 800 16000 80000 | 2147483647 33405 107 | 0.000 % |
7.36/7.47 c | 38491 | 800 16000 80000 | 2147483647 33617 107 | 0.000 % |
7.46/7.55 c | 38725 | 800 16000 80000 | 2147483647 33851 107 | 0.000 % |
7.56/7.63 c | 38986 | 800 16000 80000 | 2147483647 34112 107 | 0.000 % |
7.66/7.74 c | 39267 | 800 16000 80000 | 2147483647 34393 107 | 0.000 % |
7.76/7.85 c | 39576 | 800 16000 80000 | 2147483647 34702 107 | 0.000 % |
7.86/7.98 c | 39915 | 800 16000 80000 | 2147483647 35041 107 | 0.000 % |
8.06/8.10 c | 40287 | 800 16000 80000 | 2147483647 35413 107 | 0.000 % |
8.16/8.23 c | 40698 | 800 16000 80000 | 2147483647 35824 107 | 0.000 % |
8.36/8.40 c | 41148 | 800 16000 80000 | 2147483647 36274 107 | 0.000 % |
8.46/8.56 c | 41642 | 800 16000 80000 | 2147483647 36768 107 | 0.000 % |
8.66/8.74 c | 42184 | 800 16000 80000 | 2147483647 37310 107 | 0.000 % |
8.86/8.94 c | 42780 | 800 16000 80000 | 2147483647 37906 107 | 0.000 % |
8.86/8.98 c | 42880 | 800 16000 80000 | 2147483647 38006 107 | 0.000 % |
8.96/9.02 c | 42990 | 800 16000 80000 | 2147483647 38116 107 | 0.000 % |
8.96/9.07 c | 43111 | 800 16000 80000 | 2147483647 38237 107 | 0.000 % |
9.06/9.12 c | 43244 | 800 16000 80000 | 2147483647 38370 107 | 0.000 % |
9.06/9.18 c | 43390 | 800 16000 80000 | 2147483647 38516 107 | 0.000 % |
9.16/9.23 c | 43551 | 800 16000 80000 | 2147483647 38677 107 | 0.000 % |
9.26/9.31 c | 43727 | 800 16000 80000 | 2147483647 38853 107 | 0.000 % |
9.26/9.38 c | 43921 | 800 16000 80000 | 2147483647 39047 107 | 0.000 % |
9.37/9.46 c | 44136 | 800 16000 80000 | 2147483647 39262 107 | 0.000 % |
9.47/9.54 c | 44369 | 800 16000 80000 | 2147483647 39495 107 | 0.000 % |
9.57/9.64 c | 44628 | 800 16000 80000 | 2147483647 39754 107 | 0.000 % |
9.67/9.74 c | 44909 | 800 16000 80000 | 2147483647 40035 107 | 0.000 % |
9.77/9.86 c | 45219 | 800 16000 80000 | 2147483647 40345 107 | 0.000 % |
9.87/9.97 c | 45558 | 800 16000 80000 | 2147483647 40684 107 | 0.000 % |
10.06/10.14 c | 45930 | 800 16000 80000 | 2147483647 41056 107 | 0.000 % |
10.26/10.31 c | 46339 | 800 16000 80000 | 2147483647 41465 107 | 0.000 % |
10.36/10.47 c | 46788 | 800 16000 80000 | 2147483647 41914 107 | 0.000 % |
10.56/10.66 c | 47281 | 800 16000 80000 | 2147483647 42407 107 | 0.000 % |
10.76/10.87 c | 47826 | 800 16000 80000 | 2147483647 42952 107 | 0.000 % |
11.06/11.11 c | 48424 | 800 16000 80000 | 2147483647 43550 107 | 0.000 % |
11.26/11.36 c | 49079 | 800 16000 80000 | 2147483647 44205 107 | 0.000 % |
11.36/11.42 c | 49181 | 800 16000 80000 | 2147483647 44307 107 | 0.000 % |
11.36/11.47 c | 49292 | 800 16000 80000 | 2147483647 44418 107 | 0.000 % |
11.46/11.52 c | 49413 | 800 16000 80000 | 2147483647 44539 107 | 0.000 % |
11.46/11.57 c | 49546 | 800 16000 80000 | 2147483647 44672 107 | 0.000 % |
11.56/11.65 c | 49693 | 800 16000 80000 | 2147483647 44819 107 | 0.000 % |
11.66/11.72 c | 49855 | 800 16000 80000 | 2147483647 44981 107 | 0.000 % |
11.66/11.79 c | 50031 | 800 16000 80000 | 2147483647 45157 107 | 0.000 % |
11.76/11.89 c | 50225 | 800 16000 80000 | 2147483647 45351 107 | 0.000 % |
11.86/11.98 c | 50438 | 800 16000 80000 | 2147483647 45564 107 | 0.000 % |
11.96/12.09 c | 50671 | 800 16000 80000 | 2147483647 45797 107 | 0.000 % |
12.06/12.19 c | 50928 | 800 16000 80000 | 2147483647 46054 107 | 0.000 % |
12.27/12.30 c | 51209 | 800 16000 80000 | 2147483647 46335 107 | 0.000 % |
12.37/12.44 c | 51518 | 800 16000 80000 | 2147483647 46644 107 | 0.000 % |
12.56/12.61 c | 51859 | 800 16000 80000 | 2147483647 46985 107 | 0.000 % |
12.66/12.79 c | 52231 | 800 16000 80000 | 2147483647 47357 107 | 0.000 % |
12.86/12.99 c | 52641 | 800 16000 80000 | 2147483647 47767 107 | 0.000 % |
13.07/13.19 c | 53090 | 800 16000 80000 | 2147483647 48216 107 | 0.000 % |
13.36/13.44 c | 53583 | 800 16000 80000 | 2147483647 48709 107 | 0.000 % |
13.56/13.69 c | 54128 | 800 16000 80000 | 2147483647 49254 107 | 0.000 % |
13.86/13.96 c | 54724 | 800 16000 80000 | 2147483647 49850 107 | 0.000 % |
14.17/14.25 c | 55380 | 800 16000 80000 | 2147483647 50506 107 | 0.000 % |
14.46/14.56 c | 56100 | 800 16000 80000 | 2147483647 51226 107 | 0.000 % |
14.46/14.60 c | 56201 | 800 16000 80000 | 2147483647 51327 107 | 0.000 % |
14.56/14.66 c | 56311 | 800 16000 80000 | 2147483647 51437 107 | 0.000 % |
14.66/14.72 c | 56433 | 800 16000 80000 | 2147483647 51559 107 | 0.000 % |
14.66/14.78 c | 56566 | 800 16000 80000 | 2147483647 51692 107 | 0.000 % |
14.76/14.86 c | 56714 | 800 16000 80000 | 2147483647 51840 107 | 0.000 % |
14.86/14.95 c | 56874 | 800 16000 80000 | 2147483647 52000 107 | 0.000 % |
14.96/15.04 c | 57050 | 800 16000 80000 | 2147483647 52176 107 | 0.000 % |
15.06/15.14 c | 57245 | 800 16000 80000 | 2147483647 52371 107 | 0.000 % |
15.16/15.26 c | 57459 | 800 16000 80000 | 2147483647 52585 107 | 0.000 % |
15.26/15.37 c | 57695 | 800 16000 80000 | 2147483647 52821 107 | 0.000 % |
15.46/15.51 c | 57952 | 800 16000 80000 | 2147483647 53078 107 | 0.000 % |
15.56/15.65 c | 58233 | 800 16000 80000 | 2147483647 53359 107 | 0.000 % |
15.66/15.80 c | 58542 | 800 16000 80000 | 2147483647 53668 107 | 0.000 % |
15.86/15.97 c | 58882 | 800 16000 80000 | 2147483647 54008 107 | 0.000 % |
16.06/16.17 c | 59254 | 800 16000 80000 | 2147483647 54380 107 | 0.000 % |
16.26/16.38 c | 59663 | 800 16000 80000 | 2147483647 54789 107 | 0.000 % |
16.56/16.64 c | 60112 | 800 16000 80000 | 2147483647 55238 107 | 0.000 % |
16.76/16.88 c | 60605 | 800 16000 80000 | 2147483647 55731 107 | 0.000 % |
17.06/17.15 c | 61148 | 800 16000 80000 | 2147483647 56274 107 | 0.000 % |
17.36/17.41 c | 61744 | 800 16000 80000 | 2147483647 56870 107 | 0.000 % |
17.66/17.70 c | 62401 | 800 16000 80000 | 2147483647 57527 107 | 0.000 % |
17.96/18.07 c | 63122 | 800 16000 80000 | 2147483647 58248 107 | 0.000 % |
18.36/18.44 c | 63914 | 800 16000 80000 | 2147483647 59040 107 | 0.000 % |
18.36/18.48 c | 64014 | 800 16000 80000 | 2147483647 59140 107 | 0.000 % |
18.46/18.56 c | 64124 | 800 16000 80000 | 2147483647 59250 107 | 0.000 % |
18.57/18.64 c | 64245 | 800 16000 80000 | 2147483647 59371 107 | 0.000 % |
18.67/18.72 c | 64379 | 800 16000 80000 | 2147483647 59505 107 | 0.000 % |
18.76/18.80 c | 64525 | 800 16000 80000 | 2147483647 59651 107 | 0.000 % |
18.86/18.91 c | 64685 | 800 16000 80000 | 2147483647 59811 107 | 0.000 % |
18.96/19.01 c | 64861 | 800 16000 80000 | 2147483647 59987 107 | 0.000 % |
19.06/19.13 c | 65056 | 800 16000 80000 | 2147483647 60182 108 | 0.000 % |
19.16/19.26 c | 65269 | 800 16000 80000 | 2147483647 60395 108 | 0.000 % |
19.26/19.39 c | 65503 | 800 16000 80000 | 2147483647 60629 107 | 0.000 % |
19.46/19.55 c | 65759 | 800 16000 80000 | 2147483647 60885 108 | 0.000 % |
19.66/19.71 c | 66042 | 800 16000 80000 | 2147483647 61168 108 | 0.000 % |
19.76/19.89 c | 66354 | 800 16000 80000 | 2147483647 61480 107 | 0.000 % |
19.95/20.07 c | 66694 | 800 16000 80000 | 2147483647 61820 108 | 0.000 % |
20.25/20.30 c | 67066 | 800 16000 80000 | 2147483647 62192 108 | 0.000 % |
20.46/20.55 c | 67475 | 800 16000 80000 | 2147483647 62601 107 | 0.000 % |
20.77/20.80 c | 67924 | 800 16000 80000 | 2147483647 63050 108 | 0.000 % |
20.96/21.05 c | 68418 | 800 16000 80000 | 2147483647 63544 108 | 0.000 % |
21.26/21.35 c | 68961 | 800 16000 80000 | 2147483647 64087 108 | 0.000 % |
21.66/21.70 c | 69557 | 800 16000 80000 | 2147483647 64683 108 | 0.000 % |
22.06/22.11 c | 70212 | 800 16000 80000 | 2147483647 65338 108 | 0.000 % |
22.46/22.51 c | 70932 | 800 16000 80000 | 2147483647 66058 108 | 0.000 % |
22.86/22.97 c | 71724 | 800 16000 80000 | 2147483647 66850 108 | 0.000 % |
23.35/23.45 c | 72595 | 800 16000 80000 | 2147483647 67721 108 | 0.000 % |
23.45/23.53 c | 72696 | 800 16000 80000 | 2147483647 67822 108 | 0.000 % |
23.55/23.60 c | 72806 | 800 16000 80000 | 2147483647 67932 108 | 0.000 % |
23.55/23.69 c | 72927 | 800 16000 80000 | 2147483647 68053 108 | 0.000 % |
23.65/23.78 c | 73061 | 800 16000 80000 | 2147483647 68187 108 | 0.000 % |
23.75/23.88 c | 73207 | 800 16000 80000 | 2147483647 68333 108 | 0.000 % |
23.96/24.00 c | 73367 | 800 16000 80000 | 2147483647 68493 108 | 0.000 % |
24.07/24.12 c | 73543 | 800 16000 80000 | 2147483647 68669 108 | 0.000 % |
24.17/24.25 c | 73737 | 800 16000 80000 | 2147483647 68863 108 | 0.000 % |
24.26/24.37 c | 73949 | 800 16000 80000 | 2147483647 69075 108 | 0.000 % |
24.46/24.52 c | 74182 | 800 16000 80000 | 2147483647 69308 108 | 0.000 % |
24.56/24.69 c | 74438 | 800 16000 80000 | 2147483647 69564 108 | 0.000 % |
24.76/24.86 c | 74722 | 800 16000 80000 | 2147483647 69848 108 | 0.000 % |
24.96/25.03 c | 75033 | 800 16000 80000 | 2147483647 70159 108 | 0.000 % |
25.16/25.27 c | 75372 | 800 16000 80000 | 2147483647 70498 108 | 0.000 % |
25.46/25.52 c | 75745 | 800 16000 80000 | 2147483647 70871 108 | 0.000 % |
25.76/25.80 c | 76156 | 800 16000 80000 | 2147483647 71282 108 | 0.000 % |
25.96/26.07 c | 76607 | 800 16000 80000 | 2147483647 71733 108 | 0.000 % |
26.26/26.38 c | 77100 | 800 16000 80000 | 2147483647 72226 108 | 0.000 % |
26.56/26.68 c | 77643 | 800 16000 80000 | 2147483647 72769 108 | 0.000 % |
26.95/27.04 c | 78241 | 800 16000 80000 | 2147483647 73367 108 | 0.000 % |
27.36/27.42 c | 78896 | 800 16000 80000 | 2147483647 74022 108 | 0.000 % |
27.76/27.87 c | 79618 | 800 16000 80000 | 2147483647 74744 108 | 0.000 % |
28.36/28.41 c | 80412 | 800 16000 80000 | 75126 67661 108 | 0.000 % |
28.76/28.88 c | 81283 | 800 16000 80000 | 75126 68532 108 | 0.000 % |
29.26/29.39 c | 82242 | 800 16000 80000 | 75126 69491 108 | 0.000 % |
29.36/29.46 c | 82343 | 800 16000 80000 | 75126 69592 108 | 0.000 % |
29.46/29.53 c | 82453 | 800 16000 80000 | 75126 69702 108 | 0.000 % |
29.56/29.61 c | 82575 | 800 16000 80000 | 75126 69824 108 | 0.000 % |
29.66/29.72 c | 82710 | 800 16000 80000 | 75126 69959 108 | 0.000 % |
29.76/29.82 c | 82859 | 800 16000 80000 | 75126 70108 108 | 0.000 % |
29.86/29.94 c | 83019 | 800 16000 80000 | 75126 70268 108 | 0.000 % |
29.96/30.07 c | 83195 | 800 16000 80000 | 75126 70444 108 | 0.000 % |
30.16/30.20 c | 83389 | 800 16000 80000 | 75126 70638 108 | 0.000 % |
30.26/30.36 c | 83601 | 800 16000 80000 | 75126 70850 108 | 0.000 % |
30.36/30.49 c | 83834 | 800 16000 80000 | 75126 71083 108 | 0.000 % |
30.56/30.66 c | 84090 | 800 16000 80000 | 75126 71339 108 | 0.000 % |
30.76/30.87 c | 84373 | 800 16000 80000 | 75126 71622 108 | 0.000 % |
30.96/31.08 c | 84682 | 800 16000 80000 | 75126 71931 108 | 0.000 % |
31.26/31.31 c | 85021 | 800 16000 80000 | 75126 72270 108 | 0.000 % |
31.46/31.57 c | 85394 | 800 16000 80000 | 75126 72643 108 | 0.000 % |
31.76/31.84 c | 85803 | 800 16000 80000 | 75126 73052 108 | 0.000 % |
31.96/32.10 c | 86253 | 800 16000 80000 | 75126 73502 108 | 0.000 % |
32.36/32.40 c | 86747 | 800 16000 80000 | 75126 73996 108 | 0.000 % |
32.66/32.74 c | 87289 | 800 16000 80000 | 75126 74538 108 | 0.000 % |
33.06/33.16 c | 87885 | 800 16000 80000 | 75126 75134 108 | 0.000 % |
33.46/33.57 c | 88540 | 800 16000 80000 | 75126 66666 109 | 0.000 % |
33.96/34.01 c | 89260 | 800 16000 80000 | 75126 67386 109 | 0.000 % |
34.36/34.45 c | 90055 | 800 16000 80000 | 68127 68181 109 | 0.000 % |
34.86/34.95 c | 90930 | 800 16000 80000 | 68127 60945 109 | 0.000 % |
35.36/35.46 c | 91889 | 800 16000 80000 | 68127 61904 109 | 0.000 % |
35.96/36.02 c | 92943 | 800 16000 80000 | 68127 62958 109 | 0.000 % |
35.96/36.08 c | 93043 | 800 16000 80000 | 68127 63058 109 | 0.000 % |
36.06/36.16 c | 93156 | 800 16000 80000 | 68127 63171 109 | 0.000 % |
36.16/36.23 c | 93277 | 800 16000 80000 | 68127 63292 109 | 0.000 % |
36.26/36.32 c | 93413 | 800 16000 80000 | 68127 63428 109 | 0.000 % |
36.36/36.40 c | 93561 | 800 16000 80000 | 68127 63576 109 | 0.000 % |
36.46/36.51 c | 93721 | 800 16000 80000 | 68127 63736 109 | 0.000 % |
36.56/36.63 c | 93900 | 800 16000 80000 | 68127 63915 109 | 0.000 % |
36.66/36.75 c | 94093 | 800 16000 80000 | 68127 64108 109 | 0.000 % |
36.76/36.89 c | 94306 | 800 16000 80000 | 68127 64321 109 | 0.000 % |
36.96/37.03 c | 94539 | 800 16000 80000 | 68127 64554 109 | 0.000 % |
37.16/37.20 c | 94795 | 800 16000 80000 | 68127 64810 109 | 0.000 % |
37.26/37.36 c | 95077 | 800 16000 80000 | 68127 65092 109 | 0.000 % |
37.46/37.57 c | 95387 | 800 16000 80000 | 68127 65402 109 | 0.000 % |
37.66/37.80 c | 95726 | 800 16000 80000 | 68127 65741 109 | 0.000 % |
37.96/38.02 c | 96099 | 800 16000 80000 | 68127 66114 109 | 0.000 % |
38.16/38.28 c | 96509 | 800 16000 80000 | 68127 66524 109 | 0.000 % |
38.46/38.57 c | 96964 | 800 16000 80000 | 68127 66979 109 | 0.000 % |
38.76/38.88 c | 97461 | 800 16000 80000 | 68127 67476 109 | 0.000 % |
39.16/39.21 c | 98004 | 800 16000 80000 | 68127 68019 109 | 0.000 % |
39.56/39.61 c | 98601 | 800 16000 80000 | 68127 61768 109 | 0.000 % |
39.85/39.98 c | 99258 | 800 16000 80000 | 68127 62425 109 | 0.000 % |
40.25/40.35 c | 99978 | 800 16000 80000 | 68127 63145 109 | 0.000 % |
40.66/40.79 c | 100771 | 800 16000 80000 | 2147483647 63938 109 | 0.000 % |
41.15/41.27 c | 101642 | 800 16000 80000 | 2147483647 64809 109 | 0.000 % |
41.66/41.79 c | 102600 | 800 16000 80000 | 2147483647 65767 109 | 0.000 % |
42.25/42.39 c | 103654 | 800 16000 80000 | 2147483647 66821 109 | 0.000 % |
42.95/43.04 c | 104812 | 800 16000 80000 | 2147483647 67979 109 | 0.000 % |
43.05/43.10 c | 104913 | 800 16000 80000 | 2147483647 68080 109 | 0.000 % |
43.05/43.17 c | 105024 | 800 16000 80000 | 2147483647 68191 109 | 0.000 % |
43.15/43.27 c | 105145 | 800 16000 80000 | 2147483647 68312 109 | 0.000 % |
43.25/43.36 c | 105279 | 800 16000 80000 | 2147483647 68446 109 | 0.000 % |
43.35/43.45 c | 105426 | 800 16000 80000 | 2147483647 68593 109 | 0.000 % |
43.45/43.58 c | 105586 | 800 16000 80000 | 2147483647 68753 109 | 0.000 % |
43.65/43.70 c | 105762 | 800 16000 80000 | 2147483647 68929 109 | 0.000 % |
43.75/43.83 c | 105956 | 800 16000 80000 | 2147483647 69123 109 | 0.000 % |
43.86/43.97 c | 106168 | 800 16000 80000 | 2147483647 69335 109 | 0.000 % |
44.05/44.13 c | 106404 | 800 16000 80000 | 2147483647 69571 109 | 0.000 % |
44.25/44.30 c | 106661 | 800 16000 80000 | 2147483647 69828 109 | 0.000 % |
44.35/44.46 c | 106943 | 800 16000 80000 | 2147483647 70110 109 | 0.000 % |
44.55/44.66 c | 107252 | 800 16000 80000 | 2147483647 70419 109 | 0.000 % |
44.75/44.85 c | 107591 | 800 16000 80000 | 2147483647 70758 109 | 0.000 % |
45.06/45.12 c | 107963 | 800 16000 80000 | 2147483647 71130 110 | 0.000 % |
45.25/45.39 c | 108372 | 800 16000 80000 | 2147483647 71539 110 | 0.000 % |
45.55/45.66 c | 108822 | 800 16000 80000 | 2147483647 71989 110 | 0.000 % |
45.85/45.97 c | 109315 | 800 16000 80000 | 2147483647 72482 110 | 0.000 % |
46.25/46.32 c | 109857 | 800 16000 80000 | 2147483647 73024 110 | 0.000 % |
46.65/46.72 c | 110454 | 800 16000 80000 | 73172 65796 110 | 0.000 % |
46.95/47.06 c | 111111 | 800 16000 80000 | 73172 66453 110 | 0.000 % |
47.35/47.47 c | 111831 | 800 16000 80000 | 73172 67173 110 | 0.000 % |
47.85/47.92 c | 112626 | 800 16000 80000 | 73172 67968 110 | 0.000 % |
48.35/48.41 c | 113497 | 800 16000 80000 | 73172 68839 110 | 0.000 % |
48.85/48.94 c | 114457 | 800 16000 80000 | 73172 69799 110 | 0.000 % |
49.45/49.59 c | 115510 | 800 16000 80000 | 73172 70852 110 | 0.000 % |
50.25/50.33 c | 116668 | 800 16000 80000 | 73172 72010 110 | 0.000 % |
51.05/51.11 c | 117943 | 800 16000 80000 | 73172 73285 111 | 0.000 % |
51.15/51.21 c | 118043 | 800 16000 80000 | 73172 65767 111 | 0.000 % |
51.15/51.29 c | 118155 | 800 16000 80000 | 73172 65879 111 | 0.000 % |
51.25/51.36 c | 118276 | 800 16000 80000 | 73172 66000 111 | 0.000 % |
51.35/51.45 c | 118409 | 800 16000 80000 | 73172 66133 111 | 0.000 % |
51.45/51.54 c | 118557 | 800 16000 80000 | 73172 66281 111 | 0.000 % |
51.55/51.66 c | 118718 | 800 16000 80000 | 73172 66442 111 | 0.000 % |
51.66/51.77 c | 118894 | 800 16000 80000 | 73172 66618 111 | 0.000 % |
51.85/51.90 c | 119087 | 800 16000 80000 | 73172 66811 111 | 0.000 % |
51.95/52.05 c | 119300 | 800 16000 80000 | 73172 67024 111 | 0.000 % |
52.15/52.21 c | 119534 | 800 16000 80000 | 73172 67258 111 | 0.000 % |
52.25/52.38 c | 119790 | 800 16000 80000 | 73172 67514 111 | 0.000 % |
52.45/52.57 c | 120071 | 800 16000 80000 | 67724 67795 111 | 0.000 % |
52.66/52.79 c | 120381 | 800 16000 80000 | 67724 60718 111 | 0.000 % |
52.85/52.97 c | 120720 | 800 16000 80000 | 67724 61057 111 | 0.000 % |
53.05/53.16 c | 121092 | 800 16000 80000 | 67724 61429 111 | 0.000 % |
53.35/53.42 c | 121504 | 800 16000 80000 | 67724 61841 111 | 0.000 % |
53.55/53.65 c | 121954 | 800 16000 80000 | 67724 62291 111 | 0.000 % |
53.85/53.91 c | 122448 | 800 16000 80000 | 67724 62785 111 | 0.000 % |
54.15/54.21 c | 122990 | 800 16000 80000 | 67724 63327 111 | 0.000 % |
54.45/54.54 c | 123587 | 800 16000 80000 | 67724 63924 111 | 0.000 % |
54.85/54.93 c | 124242 | 800 16000 80000 | 67724 64579 111 | 0.000 % |
55.25/55.32 c | 124963 | 800 16000 80000 | 67724 65300 111 | 0.000 % |
55.65/55.76 c | 125755 | 800 16000 80000 | 67724 66092 111 | 0.000 % |
56.15/56.25 c | 126627 | 800 16000 80000 | 67724 66964 111 | 0.000 % |
56.65/56.77 c | 127586 | 800 16000 80000 | 67724 67923 111 | 0.000 % |
57.25/57.37 c | 128640 | 800 16000 80000 | 67724 62185 111 | 0.000 % |
57.85/57.96 c | 129798 | 800 16000 80000 | 67724 63343 111 | 0.000 % |
58.55/58.61 c | 131071 | 800 16000 80000 | 2147483647 64616 111 | 0.000 % |
59.35/59.42 c | 132471 | 800 16000 80000 | 2147483647 66016 111 | 0.000 % |
59.35/59.48 c | 132572 | 800 16000 80000 | 2147483647 66117 111 | 0.000 % |
59.45/59.57 c | 132683 | 800 16000 80000 | 2147483647 66228 111 | 0.000 % |
59.55/59.65 c | 132804 | 800 16000 80000 | 2147483647 66349 111 | 0.000 % |
59.65/59.73 c | 132937 | 800 16000 80000 | 2147483647 66482 111 | 0.000 % |
59.75/59.83 c | 133083 | 800 16000 80000 | 2147483647 66628 111 | 0.000 % |
59.85/59.95 c | 133244 | 800 16000 80000 | 2147483647 66789 111 | 0.000 % |
59.95/60.07 c | 133423 | 800 16000 80000 | 2147483647 66968 111 | 0.000 % |
60.05/60.19 c | 133617 | 800 16000 80000 | 2147483647 67162 111 | 0.000 % |
60.25/60.33 c | 133830 | 800 16000 80000 | 2147483647 67375 111 | 0.000 % |
60.35/60.47 c | 134064 | 800 16000 80000 | 2147483647 67609 111 | 0.000 % |
60.55/60.66 c | 134321 | 800 16000 80000 | 2147483647 67866 111 | 0.000 % |
60.75/60.86 c | 134604 | 800 16000 80000 | 2147483647 68149 111 | 0.000 % |
60.95/61.03 c | 134915 | 800 16000 80000 | 2147483647 68460 111 | 0.000 % |
61.15/61.25 c | 135254 | 800 16000 80000 | 2147483647 68799 111 | 0.000 % |
61.35/61.47 c | 135626 | 800 16000 80000 | 2147483647 69171 111 | 0.000 % |
61.65/61.73 c | 136035 | 800 16000 80000 | 2147483647 69580 111 | 0.000 % |
61.95/62.04 c | 136485 | 800 16000 80000 | 2147483647 70030 111 | 0.000 % |
62.25/62.34 c | 136980 | 800 16000 80000 | 2147483647 70525 111 | 0.000 % |
62.55/62.67 c | 137522 | 800 16000 80000 | 2147483647 71067 111 | 0.000 % |
62.95/63.06 c | 138120 | 800 16000 80000 | 2147483647 71665 111 | 0.000 % |
63.35/63.47 c | 138779 | 800 16000 80000 | 2147483647 72324 111 | 0.000 % |
63.85/63.91 c | 139499 | 800 16000 80000 | 2147483647 73044 111 | 0.000 % |
64.35/64.43 c | 140292 | 800 16000 80000 | 73545 65966 111 | 0.000 % |
64.85/64.91 c | 141163 | 800 16000 80000 | 73545 66837 111 | 0.000 % |
65.35/65.47 c | 142122 | 800 16000 80000 | 73545 67796 111 | 0.000 % |
65.95/66.05 c | 143175 | 800 16000 80000 | 73545 68849 111 | 0.000 % |
66.65/66.71 c | 144333 | 800 16000 80000 | 73545 70007 112 | 0.000 % |
67.35/67.42 c | 145607 | 800 16000 80000 | 73545 71281 112 | 0.000 % |
68.15/68.20 c | 147009 | 800 16000 80000 | 73545 72683 112 | 0.000 % |
69.15/69.23 c | 148550 | 800 16000 80000 | 73545 66547 112 | 0.000 % |
69.25/69.31 c | 148652 | 800 16000 80000 | 73545 66649 112 | 0.000 % |
69.25/69.39 c | 148763 | 800 16000 80000 | 73545 66760 111 | 0.000 % |
69.35/69.47 c | 148888 | 800 16000 80000 | 73545 66885 111 | 0.000 % |
69.45/69.56 c | 149021 | 800 16000 80000 | 73545 67018 111 | 0.000 % |
69.55/69.68 c | 149167 | 800 16000 80000 | 73545 67164 111 | 0.000 % |
69.65/69.79 c | 149328 | 800 16000 80000 | 73545 67325 111 | 0.000 % |
69.85/69.90 c | 149504 | 800 16000 80000 | 73545 67501 111 | 0.000 % |
69.95/70.04 c | 149697 | 800 16000 80000 | 73545 67694 111 | 0.000 % |
70.04/70.17 c | 149909 | 800 16000 80000 | 73545 67906 111 | 0.000 % |
70.25/70.33 c | 150144 | 800 16000 80000 | 67997 68141 111 | 0.000 % |
70.44/70.51 c | 150400 | 800 16000 80000 | 67997 61009 112 | 0.000 % |
70.54/70.66 c | 150685 | 800 16000 80000 | 67997 61294 112 | 0.000 % |
70.74/70.83 c | 150994 | 800 16000 80000 | 67997 61603 112 | 0.000 % |
70.94/71.01 c | 151333 | 800 16000 80000 | 67997 61942 112 | 0.000 % |
71.14/71.23 c | 151706 | 800 16000 80000 | 67997 62315 111 | 0.000 % |
71.35/71.47 c | 152116 | 800 16000 80000 | 67997 62725 111 | 0.000 % |
71.64/71.74 c | 152565 | 800 16000 80000 | 67997 63174 111 | 0.000 % |
71.94/72.04 c | 153058 | 800 16000 80000 | 67997 63667 111 | 0.000 % |
72.24/72.38 c | 153600 | 800 16000 80000 | 67997 64209 111 | 0.000 % |
72.64/72.73 c | 154197 | 800 16000 80000 | 67997 64806 111 | 0.000 % |
72.94/73.08 c | 154854 | 800 16000 80000 | 67997 65463 111 | 0.000 % |
73.34/73.46 c | 155576 | 800 16000 80000 | 67997 66185 111 | 0.000 % |
73.84/73.93 c | 156368 | 800 16000 80000 | 67997 66977 111 | 0.000 % |
74.34/74.44 c | 157239 | 800 16000 80000 | 67997 67848 111 | 0.000 % |
74.94/75.01 c | 158198 | 800 16000 80000 | 67997 61978 111 | 0.000 % |
75.44/75.57 c | 159251 | 800 16000 80000 | 67997 63031 111 | 0.000 % |
76.04/76.16 c | 160410 | 800 16000 80000 | 2147483647 64190 111 | 0.000 % |
76.74/76.90 c | 161683 | 800 16000 80000 | 2147483647 65463 111 | 0.000 % |
77.54/77.68 c | 163083 | 800 16000 80000 | 2147483647 66863 111 | 0.000 % |
78.44/78.60 c | 164624 | 800 16000 80000 | 2147483647 68404 111 | 0.000 % |
79.44/79.57 c | 166318 | 800 16000 80000 | 2147483647 70098 112 | 0.000 % |
79.54/79.64 c | 166420 | 800 16000 80000 | 2147483647 70200 112 | 0.000 % |
79.64/79.71 c | 166531 | 800 16000 80000 | 2147483647 70311 112 | 0.000 % |
79.74/79.80 c | 166652 | 800 16000 80000 | 2147483647 70432 112 | 0.000 % |
79.84/79.90 c | 166786 | 800 16000 80000 | 2147483647 70566 112 | 0.000 % |
79.84/80.00 c | 166934 | 800 16000 80000 | 2147483647 70714 112 | 0.000 % |
80.04/80.10 c | 167094 | 800 16000 80000 | 2147483647 70874 112 | 0.000 % |
80.14/80.24 c | 167270 | 800 16000 80000 | 2147483647 71050 112 | 0.000 % |
80.24/80.37 c | 167464 | 800 16000 80000 | 2147483647 71244 112 | 0.000 % |
80.44/80.51 c | 167676 | 800 16000 80000 | 2147483647 71456 112 | 0.000 % |
80.54/80.66 c | 167910 | 800 16000 80000 | 2147483647 71690 111 | 0.000 % |
80.74/80.84 c | 168166 | 800 16000 80000 | 2147483647 71946 111 | 0.000 % |
80.94/81.01 c | 168447 | 800 16000 80000 | 2147483647 72227 111 | 0.000 % |
81.14/81.21 c | 168756 | 800 16000 80000 | 2147483647 72536 111 | 0.000 % |
81.34/81.42 c | 169095 | 800 16000 80000 | 2147483647 72875 111 | 0.000 % |
81.54/81.66 c | 169467 | 800 16000 80000 | 2147483647 73247 112 | 0.000 % |
81.84/81.91 c | 169876 | 800 16000 80000 | 2147483647 73656 112 | 0.000 % |
82.14/82.25 c | 170325 | 800 16000 80000 | 73780 65994 112 | 0.000 % |
82.44/82.54 c | 170820 | 800 16000 80000 | 73780 66489 111 | 0.000 % |
82.74/82.85 c | 171364 | 800 16000 80000 | 73780 67033 111 | 0.000 % |
83.14/83.21 c | 171961 | 800 16000 80000 | 73780 67630 112 | 0.000 % |
83.44/83.58 c | 172618 | 800 16000 80000 | 73780 68287 112 | 0.000 % |
83.94/84.00 c | 173341 | 800 16000 80000 | 73780 69010 112 | 0.000 % |
84.34/84.48 c | 174135 | 800 16000 80000 | 73780 69804 112 | 0.000 % |
84.94/85.02 c | 175007 | 800 16000 80000 | 73780 70676 112 | 0.000 % |
85.54/85.66 c | 175966 | 800 16000 80000 | 73780 71635 112 | 0.000 % |
86.24/86.31 c | 177019 | 800 16000 80000 | 73780 72688 112 | 0.000 % |
86.94/87.04 c | 178178 | 800 16000 80000 | 73780 73847 112 | 0.000 % |
87.74/87.81 c | 179451 | 800 16000 80000 | 73780 66621 111 | 0.000 % |
88.44/88.56 c | 180851 | 800 16000 80000 | 67170 60784 111 | 0.000 % |
89.23/89.34 c | 182392 | 800 16000 80000 | 67170 62325 112 | 0.000 % |
90.14/90.25 c | 184086 | 800 16000 80000 | 67170 64019 112 | 0.000 % |
91.24/91.32 c | 185949 | 800 16000 80000 | 67170 65882 112 | 0.000 % |
91.24/91.39 c | 186050 | 800 16000 80000 | 67170 65983 112 | 0.000 % |
91.33/91.46 c | 186161 | 800 16000 80000 | 67170 66094 112 | 0.000 % |
91.43/91.54 c | 186282 | 800 16000 80000 | 67170 66215 112 | 0.000 % |
91.53/91.62 c | 186415 | 800 16000 80000 | 67170 66348 112 | 0.000 % |
91.63/91.71 c | 186562 | 800 16000 80000 | 67170 66495 112 | 0.000 % |
91.73/91.84 c | 186724 | 800 16000 80000 | 67170 66657 112 | 0.000 % |
91.83/91.95 c | 186900 | 800 16000 80000 | 67170 66833 112 | 0.000 % |
91.93/92.08 c | 187094 | 800 16000 80000 | 67170 67027 112 | 0.000 % |
92.13/92.24 c | 187307 | 800 16000 80000 | 67170 67240 112 | 0.000 % |
92.34/92.42 c | 187540 | 800 16000 80000 | 67170 60749 112 | 0.000 % |
92.43/92.58 c | 187796 | 800 16000 80000 | 67170 61005 112 | 0.000 % |
92.63/92.75 c | 188077 | 800 16000 80000 | 67170 61286 112 | 0.000 % |
92.83/92.95 c | 188386 | 800 16000 80000 | 67170 61595 112 | 0.000 % |
93.03/93.15 c | 188725 | 800 16000 80000 | 67170 61934 111 | 0.000 % |
93.23/93.37 c | 189097 | 800 16000 80000 | 67170 62306 112 | 0.000 % |
93.53/93.64 c | 189506 | 800 16000 80000 | 67170 62715 112 | 0.000 % |
93.83/93.92 c | 189956 | 800 16000 80000 | 67170 63165 111 | 0.000 % |
94.13/94.22 c | 190449 | 800 16000 80000 | 2147483647 63658 111 | 0.000 % |
94.44/94.52 c | 190991 | 800 16000 80000 | 2147483647 64200 111 | 0.000 % |
94.73/94.88 c | 191587 | 800 16000 80000 | 2147483647 64796 111 | 0.000 % |
95.13/95.30 c | 192245 | 800 16000 80000 | 2147483647 65454 111 | 0.000 % |
95.64/95.74 c | 192966 | 800 16000 80000 | 2147483647 66175 111 | 0.000 % |
96.03/96.19 c | 193758 | 800 16000 80000 | 2147483647 66967 111 | 0.000 % |
96.64/96.70 c | 194631 | 800 16000 80000 | 2147483647 67840 111 | 0.000 % |
97.13/97.26 c | 195589 | 800 16000 80000 | 2147483647 68798 111 | 0.000 % |
97.83/97.97 c | 196643 | 800 16000 80000 | 2147483647 69852 111 | 0.000 % |
98.63/98.75 c | 197801 | 800 16000 80000 | 2147483647 71010 111 | 0.000 % |
99.43/99.58 c | 199075 | 800 16000 80000 | 2147483647 72284 111 | 0.000 % |
100.33/100.48 c | 200476 | 800 16000 80000 | 73209 65903 111 | 0.000 % |
101.23/101.38 c | 202016 | 800 16000 80000 | 73209 67443 111 | 0.000 % |
102.23/102.38 c | 203710 | 800 16000 80000 | 73209 69137 111 | 0.000 % |
103.33/103.49 c | 205575 | 800 16000 80000 | 73209 71002 111 | 0.000 % |
104.63/104.78 c | 207625 | 800 16000 80000 | 73209 73052 112 | 0.000 % |
104.73/104.85 c | 207726 | 800 16000 80000 | 73209 73153 112 | 0.000 % |
104.83/104.93 c | 207839 | 800 16000 80000 | 73209 73266 112 | 0.000 % |
104.93/105.04 c | 207960 | 800 16000 80000 | 73209 66008 111 | 0.000 % |
105.03/105.13 c | 208093 | 800 16000 80000 | 73209 66141 111 | 0.000 % |
105.13/105.25 c | 208239 | 800 16000 80000 | 73209 66287 111 | 0.000 % |
105.23/105.37 c | 208400 | 800 16000 80000 | 73209 66448 111 | 0.000 % |
105.33/105.48 c | 208577 | 800 16000 80000 | 73209 66625 111 | 0.000 % |
105.53/105.63 c | 208771 | 800 16000 80000 | 73209 66819 111 | 0.000 % |
105.63/105.78 c | 208983 | 800 16000 80000 | 73209 67031 111 | 0.000 % |
105.82/105.92 c | 209216 | 800 16000 80000 | 73209 67264 111 | 0.000 % |
105.92/106.07 c | 209474 | 800 16000 80000 | 73209 67522 111 | 0.000 % |
106.12/106.23 c | 209757 | 800 16000 80000 | 73209 67805 111 | 0.000 % |
106.32/106.41 c | 210067 | 800 16000 80000 | 68048 68115 111 | 0.000 % |
106.53/106.65 c | 210407 | 800 16000 80000 | 68048 61448 111 | 0.000 % |
106.72/106.85 c | 210781 | 800 16000 80000 | 68048 61822 111 | 0.000 % |
106.92/107.08 c | 211190 | 800 16000 80000 | 68048 62231 111 | 0.000 % |
107.22/107.30 c | 211640 | 800 16000 80000 | 68048 62681 111 | 0.000 % |
107.42/107.57 c | 212133 | 800 16000 80000 | 68048 63174 111 | 0.000 % |
107.73/107.85 c | 212675 | 800 16000 80000 | 68048 63716 111 | 0.000 % |
108.02/108.14 c | 213271 | 800 16000 80000 | 68048 64312 111 | 0.000 % |
108.42/108.50 c | 213927 | 800 16000 80000 | 68048 64968 111 | 0.000 % |
108.83/108.91 c | 214649 | 800 16000 80000 | 68048 65690 111 | 0.000 % |
109.22/109.33 c | 215443 | 800 16000 80000 | 68048 66484 111 | 0.000 % |
109.72/109.83 c | 216314 | 800 16000 80000 | 68048 67355 111 | 0.000 % |
110.22/110.36 c | 217272 | 800 16000 80000 | 68048 68313 111 | 0.000 % |
110.82/110.96 c | 218325 | 800 16000 80000 | 68048 62535 112 | 0.000 % |
111.42/111.57 c | 219483 | 800 16000 80000 | 68048 63693 112 | 0.000 % |
112.13/112.23 c | 220758 | 800 16000 80000 | 2147483647 64968 112 | 0.000 % |
112.92/113.02 c | 222160 | 800 16000 80000 | 2147483647 66370 112 | 0.000 % |
113.72/113.83 c | 223700 | 800 16000 80000 | 2147483647 67910 112 | 0.000 % |
114.72/114.82 c | 225394 | 800 16000 80000 | 2147483647 69604 112 | 0.000 % |
115.82/115.91 c | 227257 | 800 16000 80000 | 2147483647 71467 112 | 0.000 % |
117.02/117.15 c | 229306 | 800 16000 80000 | 2147483647 73516 112 | 0.000 % |
118.33/118.49 c | 231559 | 800 16000 80000 | 2147483647 75769 112 | 0.000 % |
118.42/118.59 c | 231660 | 800 16000 80000 | 2147483647 75870 112 | 0.000 % |
118.52/118.68 c | 231774 | 800 16000 80000 | 2147483647 75984 112 | 0.000 % |
118.63/118.77 c | 231895 | 800 16000 80000 | 2147483647 76105 112 | 0.000 % |
118.73/118.87 c | 232029 | 800 16000 80000 | 2147483647 76239 112 | 0.000 % |
118.92/119.00 c | 232176 | 800 16000 80000 | 2147483647 76386 112 | 0.000 % |
119.02/119.11 c | 232336 | 800 16000 80000 | 2147483647 76546 112 | 0.000 % |
119.12/119.25 c | 232513 | 800 16000 80000 | 2147483647 76723 112 | 0.000 % |
119.22/119.39 c | 232707 | 800 16000 80000 | 2147483647 76917 112 | 0.000 % |
119.42/119.54 c | 232919 | 800 16000 80000 | 2147483647 77129 112 | 0.000 % |
119.62/119.71 c | 233153 | 800 16000 80000 | 2147483647 77363 112 | 0.000 % |
119.73/119.88 c | 233410 | 800 16000 80000 | 2147483647 77620 112 | 0.000 % |
119.92/120.08 c | 233695 | 800 16000 80000 | 2147483647 77905 112 | 0.000 % |
120.12/120.28 c | 234004 | 800 16000 80000 | 2147483647 78214 112 | 0.000 % |
120.42/120.55 c | 234343 | 800 16000 80000 | 2147483647 78553 112 | 0.000 % |
120.72/120.82 c | 234715 | 800 16000 80000 | 2147483647 78925 112 | 0.000 % |
121.02/121.11 c | 235124 | 800 16000 80000 | 2147483647 79334 112 | 0.000 % |
121.32/121.41 c | 235573 | 800 16000 80000 | 2147483647 79783 112 | 0.000 % |
121.72/121.80 c | 236066 | 800 16000 80000 | 2147483647 80276 112 | 0.000 % |
122.12/122.21 c | 236608 | 800 16000 80000 | 2147483647 80818 112 | 0.000 % |
122.52/122.63 c | 237204 | 800 16000 80000 | 2147483647 81414 112 | 0.000 % |
123.02/123.14 c | 237859 | 800 16000 80000 | 2147483647 82069 112 | 0.000 % |
123.52/123.62 c | 238579 | 800 16000 80000 | 2147483647 82789 112 | 0.000 % |
124.13/124.30 c | 239374 | 800 16000 80000 | 2147483647 83584 112 | 0.000 % |
124.92/125.04 c | 240246 | 800 16000 80000 | 84210 71545 112 | 0.000 % |
125.52/125.61 c | 241204 | 800 16000 80000 | 84210 72503 112 | 0.000 % |
126.12/126.25 c | 242258 | 800 16000 80000 | 84210 73557 112 | 0.000 % |
126.82/126.95 c | 243418 | 800 16000 80000 | 84210 74717 112 | 0.000 % |
127.62/127.80 c | 244692 | 800 16000 80000 | 84210 75991 112 | 0.000 % |
128.52/128.65 c | 246093 | 800 16000 80000 | 84210 77392 112 | 0.000 % |
129.62/129.73 c | 247633 | 800 16000 80000 | 84210 78932 112 | 0.000 % |
130.82/130.93 c | 249327 | 800 16000 80000 | 84210 80626 112 | 0.000 % |
132.02/132.14 c | 251191 | 800 16000 80000 | 81300 70685 112 | 0.000 % |
133.22/133.36 c | 253240 | 800 16000 80000 | 81300 72734 112 | 0.000 % |
134.62/134.74 c | 255493 | 800 16000 80000 | 81300 74987 112 | 0.000 % |
136.22/136.31 c | 257974 | 800 16000 80000 | 81300 77468 113 | 0.000 % |
136.22/136.39 c | 258074 | 800 16000 80000 | 81300 77568 113 | 0.000 % |
136.32/136.49 c | 258186 | 800 16000 80000 | 81300 77680 113 | 0.000 % |
136.42/136.59 c | 258307 | 800 16000 80000 | 81300 77801 113 | 0.000 % |
136.52/136.68 c | 258440 | 800 16000 80000 | 81300 77934 113 | 0.000 % |
136.72/136.81 c | 258587 | 800 16000 80000 | 81300 78081 113 | 0.000 % |
136.82/136.95 c | 258747 | 800 16000 80000 | 81300 78241 113 | 0.000 % |
136.92/137.07 c | 258924 | 800 16000 80000 | 81300 78418 113 | 0.000 % |
137.12/137.21 c | 259117 | 800 16000 80000 | 81300 78611 113 | 0.000 % |
137.22/137.37 c | 259329 | 800 16000 80000 | 81300 78823 113 | 0.000 % |
137.42/137.54 c | 259562 | 800 16000 80000 | 81300 79056 113 | 0.000 % |
137.62/137.75 c | 259818 | 800 16000 80000 | 81300 79312 113 | 0.000 % |
137.82/137.98 c | 260100 | 800 16000 80000 | 79494 79594 113 | 0.000 % |
138.12/138.23 c | 260409 | 800 16000 80000 | 79494 69021 113 | 0.000 % |
138.32/138.45 c | 260749 | 800 16000 80000 | 79494 69361 113 | 0.000 % |
138.52/138.68 c | 261123 | 800 16000 80000 | 79494 69735 113 | 0.000 % |
138.81/138.92 c | 261533 | 800 16000 80000 | 79494 70145 113 | 0.000 % |
139.11/139.22 c | 261982 | 800 16000 80000 | 79494 70594 113 | 0.000 % |
139.41/139.53 c | 262476 | 800 16000 80000 | 79494 71088 113 | 0.000 % |
139.71/139.85 c | 263019 | 800 16000 80000 | 79494 71631 113 | 0.000 % |
140.11/140.24 c | 263615 | 800 16000 80000 | 79494 72227 113 | 0.000 % |
140.51/140.61 c | 264270 | 800 16000 80000 | 79494 72882 113 | 0.000 % |
140.91/141.02 c | 264990 | 800 16000 80000 | 79494 73602 113 | 0.000 % |
141.41/141.53 c | 265783 | 800 16000 80000 | 79494 74395 113 | 0.000 % |
141.91/142.07 c | 266656 | 800 16000 80000 | 79494 75268 113 | 0.000 % |
142.51/142.68 c | 267614 | 800 16000 80000 | 79494 76226 113 | 0.000 % |
143.21/143.38 c | 268667 | 800 16000 80000 | 79494 77279 113 | 0.000 % |
144.01/144.11 c | 269828 | 800 16000 80000 | 79494 78440 113 | 0.000 % |
144.71/144.90 c | 271102 | 800 16000 80000 | 78613 69576 113 | 0.000 % |
145.61/145.74 c | 272504 | 800 16000 80000 | 78613 70978 113 | 0.000 % |
146.51/146.69 c | 274045 | 800 16000 80000 | 78613 72519 113 | 0.000 % |
147.61/147.76 c | 275739 | 800 16000 80000 | 78613 74213 113 | 0.000 % |
148.81/148.92 c | 277602 | 800 16000 80000 | 78613 76076 113 | 0.000 % |
150.11/150.25 c | 279654 | 800 16000 80000 | 78613 78128 113 | 0.000 % |
151.51/151.68 c | 281907 | 800 16000 80000 | 78476 70302 113 | 0.000 % |
152.91/153.08 c | 284387 | 800 16000 80000 | 78476 72782 114 | 0.000 % |
154.61/154.79 c | 287112 | 800 16000 80000 | 78476 75507 114 | 0.000 % |
154.71/154.86 c | 287212 | 800 16000 80000 | 78476 75607 114 | 0.000 % |
154.81/154.94 c | 287322 | 800 16000 80000 | 78476 75717 114 | 0.000 % |
154.91/155.02 c | 287445 | 800 16000 80000 | 78476 75840 114 | 0.000 % |
155.01/155.11 c | 287578 | 800 16000 80000 | 78476 75973 114 | 0.000 % |
155.11/155.23 c | 287725 | 800 16000 80000 | 78476 76120 114 | 0.000 % |
155.21/155.35 c | 287886 | 800 16000 80000 | 78476 76281 114 | 0.000 % |
155.31/155.48 c | 288062 | 800 16000 80000 | 78476 76457 114 | 0.000 % |
155.51/155.62 c | 288256 | 800 16000 80000 | 78476 76651 114 | 0.000 % |
155.61/155.78 c | 288468 | 800 16000 80000 | 78476 76863 114 | 0.000 % |
155.81/155.96 c | 288703 | 800 16000 80000 | 78476 77098 114 | 0.000 % |
156.01/156.15 c | 288959 | 800 16000 80000 | 78476 77354 114 | 0.000 % |
156.20/156.33 c | 289240 | 800 16000 80000 | 78476 77635 114 | 0.000 % |
156.40/156.53 c | 289551 | 800 16000 80000 | 78476 77946 113 | 0.000 % |
156.70/156.81 c | 289890 | 800 16000 80000 | 78476 78285 113 | 0.000 % |
156.90/157.07 c | 290262 | 800 16000 80000 | 78398 78657 113 | 0.000 % |
157.21/157.36 c | 290672 | 800 16000 80000 | 78398 69169 113 | 0.000 % |
157.50/157.64 c | 291121 | 800 16000 80000 | 78398 69618 113 | 0.000 % |
157.80/157.94 c | 291616 | 800 16000 80000 | 78398 70113 113 | 0.000 % |
158.10/158.26 c | 292159 | 800 16000 80000 | 78398 70656 113 | 0.000 % |
158.50/158.62 c | 292756 | 800 16000 80000 | 78398 71253 113 | 0.000 % |
158.90/159.02 c | 293411 | 800 16000 80000 | 78398 71908 113 | 0.000 % |
159.31/159.45 c | 294133 | 800 16000 80000 | 78398 72630 113 | 0.000 % |
159.80/159.92 c | 294925 | 800 16000 80000 | 78398 73422 113 | 0.000 % |
160.30/160.42 c | 295797 | 800 16000 80000 | 78398 74294 113 | 0.000 % |
160.90/161.00 c | 296755 | 800 16000 80000 | 78398 75252 113 | 0.000 % |
161.51/161.65 c | 297811 | 800 16000 80000 | 78398 76308 113 | 0.000 % |
162.30/162.41 c | 298970 | 800 16000 80000 | 78398 77467 113 | 0.000 % |
163.10/163.22 c | 300243 | 800 16000 80000 | 78500 78740 113 | 0.000 % |
163.90/164.09 c | 301643 | 800 16000 80000 | 78500 70488 113 | 0.000 % |
164.80/164.93 c | 303184 | 800 16000 80000 | 78500 72029 113 | 0.000 % |
165.80/165.92 c | 304879 | 800 16000 80000 | 78500 73724 113 | 0.000 % |
166.90/167.09 c | 306742 | 800 16000 80000 | 78500 75587 113 | 0.000 % |
168.20/168.38 c | 308793 | 800 16000 80000 | 78500 77638 113 | 0.000 % |
169.70/169.80 c | 311046 | 800 16000 80000 | 69493 62455 113 | 0.000 % |
171.00/171.17 c | 313525 | 800 16000 80000 | 69493 64934 113 | 0.000 % |
172.60/172.73 c | 316250 | 800 16000 80000 | 69493 67659 113 | 0.000 % |
174.40/174.54 c | 319248 | 800 16000 80000 | 69493 63534 112 | 0.000 % |
174.40/174.60 c | 319349 | 800 16000 80000 | 69493 63635 112 | 0.000 % |
174.50/174.67 c | 319461 | 800 16000 80000 | 69493 63747 112 | 0.000 % |
174.60/174.74 c | 319582 | 800 16000 80000 | 69493 63868 112 | 0.000 % |
174.70/174.85 c | 319716 | 800 16000 80000 | 69493 64002 112 | 0.000 % |
174.80/174.93 c | 319863 | 800 16000 80000 | 69493 64149 112 | 0.000 % |
174.90/175.03 c | 320024 | 800 16000 80000 | 64286 64310 112 | 0.000 % |
175.00/175.17 c | 320200 | 800 16000 80000 | 64286 57984 113 | 0.000 % |
175.10/175.28 c | 320393 | 800 16000 80000 | 64286 58177 113 | 0.000 % |
175.30/175.41 c | 320605 | 800 16000 80000 | 64286 58389 112 | 0.000 % |
175.40/175.54 c | 320838 | 800 16000 80000 | 64286 58622 112 | 0.000 % |
175.50/175.68 c | 321094 | 800 16000 80000 | 64286 58878 112 | 0.000 % |
175.70/175.85 c | 321376 | 800 16000 80000 | 64286 59160 112 | 0.000 % |
175.90/176.04 c | 321687 | 800 16000 80000 | 64286 59471 112 | 0.000 % |
176.10/176.23 c | 322026 | 800 16000 80000 | 64286 59810 112 | 0.000 % |
176.30/176.46 c | 322399 | 800 16000 80000 | 64286 60183 112 | 0.000 % |
176.50/176.68 c | 322811 | 800 16000 80000 | 64286 60595 112 | 0.000 % |
176.80/176.94 c | 323260 | 800 16000 80000 | 64286 61044 112 | 0.000 % |
177.10/177.22 c | 323753 | 800 16000 80000 | 64286 61537 112 | 0.000 % |
177.40/177.50 c | 324295 | 800 16000 80000 | 64286 62079 112 | 0.000 % |
177.69/177.81 c | 324891 | 800 16000 80000 | 64286 62675 112 | 0.000 % |
178.00/178.18 c | 325547 | 800 16000 80000 | 64286 63331 112 | 0.000 % |
178.39/178.59 c | 326268 | 800 16000 80000 | 64286 64052 112 | 0.000 % |
178.89/179.07 c | 327063 | 800 16000 80000 | 64286 58390 112 | 0.000 % |
179.39/179.58 c | 327935 | 800 16000 80000 | 64286 59262 112 | 0.000 % |
179.89/180.07 c | 328893 | 800 16000 80000 | 64286 60220 112 | 0.000 % |
180.49/180.64 c | 329950 | 800 16000 80000 | 64286 61277 112 | 0.000 % |
181.09/181.29 c | 331108 | 800 16000 80000 | 2147483647 62435 112 | 0.000 % |
181.79/181.97 c | 332384 | 800 16000 80000 | 2147483647 63711 112 | 0.000 % |
182.59/182.72 c | 333784 | 800 16000 80000 | 2147483647 65111 112 | 0.000 % |
183.39/183.56 c | 335325 | 800 16000 80000 | 2147483647 66652 112 | 0.000 % |
184.29/184.49 c | 337021 | 800 16000 80000 | 2147483647 68348 112 | 0.000 % |
185.39/185.56 c | 338887 | 800 16000 80000 | 2147483647 70214 113 | 0.000 % |
186.59/186.77 c | 340936 | 800 16000 80000 | 2147483647 72263 112 | 0.000 % |
187.89/188.07 c | 343190 | 800 16000 80000 | 2147483647 74517 113 | 0.000 % |
189.29/189.48 c | 345669 | 800 16000 80000 | 2147483647 76996 113 | 0.000 % |
191.09/191.21 c | 348394 | 800 16000 80000 | 2147483647 79721 113 | 0.000 % |
192.99/193.13 c | 351391 | 800 16000 80000 | 81327 73225 113 | 0.000 % |
194.99/195.15 c | 354687 | 800 16000 80000 | 81327 76521 113 | 0.000 % |
195.09/195.22 c | 354788 | 800 16000 80000 | 81327 76622 113 | 0.000 % |
195.09/195.30 c | 354899 | 800 16000 80000 | 81327 76733 113 | 0.000 % |
195.19/195.38 c | 355022 | 800 16000 80000 | 81327 76856 113 | 0.000 % |
195.39/195.50 c | 355159 | 800 16000 80000 | 81327 76993 113 | 0.000 % |
195.49/195.61 c | 355305 | 800 16000 80000 | 81327 77139 113 | 0.000 % |
195.59/195.72 c | 355467 | 800 16000 80000 | 81327 77301 113 | 0.000 % |
195.69/195.85 c | 355644 | 800 16000 80000 | 81327 77478 113 | 0.000 % |
195.89/196.00 c | 355841 | 800 16000 80000 | 81327 77675 113 | 0.000 % |
195.99/196.17 c | 356054 | 800 16000 80000 | 81327 77888 113 | 0.000 % |
196.19/196.34 c | 356288 | 800 16000 80000 | 81327 78122 113 | 0.000 % |
196.39/196.52 c | 356544 | 800 16000 80000 | 81327 78378 113 | 0.000 % |
196.59/196.73 c | 356826 | 800 16000 80000 | 81327 78660 113 | 0.000 % |
196.79/196.94 c | 357135 | 800 16000 80000 | 81327 78969 113 | 0.000 % |
196.99/197.15 c | 357475 | 800 16000 80000 | 81327 79309 113 | 0.000 % |
197.29/197.43 c | 357849 | 800 16000 80000 | 81327 79683 113 | 0.000 % |
197.49/197.69 c | 358260 | 800 16000 80000 | 81327 80094 113 | 0.000 % |
197.79/198.00 c | 358710 | 800 16000 80000 | 81327 80544 113 | 0.000 % |
198.19/198.33 c | 359203 | 800 16000 80000 | 81327 81037 113 | 0.000 % |
198.48/198.69 c | 359745 | 800 16000 80000 | 81327 81579 113 | 0.000 % |
198.99/199.13 c | 360341 | 800 16000 80000 | 70744 61571 112 | 0.000 % |
199.28/199.47 c | 360998 | 800 16000 80000 | 70744 62228 112 | 0.000 % |
199.68/199.85 c | 361718 | 800 16000 80000 | 70744 62948 112 | 0.000 % |
200.09/200.26 c | 362510 | 800 16000 80000 | 70744 63740 113 | 0.000 % |
200.68/200.80 c | 363382 | 800 16000 80000 | 70744 64612 113 | 0.000 % |
201.19/201.38 c | 364340 | 800 16000 80000 | 70744 65570 113 | 0.000 % |
201.78/201.98 c | 365395 | 800 16000 80000 | 70744 66625 112 | 0.000 % |
202.48/202.64 c | 366554 | 800 16000 80000 | 70744 67784 112 | 0.000 % |
203.29/203.45 c | 367829 | 800 16000 80000 | 70744 69059 112 | 0.000 % |
204.08/204.25 c | 369229 | 800 16000 80000 | 70744 70459 112 | 0.000 % |
205.08/205.21 c | 370769 | 800 16000 80000 | 2147483647 64896 113 | 0.000 % |
205.98/206.17 c | 372463 | 800 16000 80000 | 2147483647 66590 113 | 0.000 % |
207.08/207.28 c | 374326 | 800 16000 80000 | 2147483647 68453 112 | 0.000 % |
208.18/208.38 c | 376376 | 800 16000 80000 | 2147483647 70503 113 | 0.000 % |
209.48/209.70 c | 378630 | 800 16000 80000 | 2147483647 72757 113 | 0.000 % |
210.98/211.14 c | 381108 | 800 16000 80000 | 2147483647 75235 113 | 0.000 % |
212.68/212.87 c | 383837 | 800 16000 80000 | 2147483647 77964 113 | 0.000 % |
214.68/214.82 c | 386834 | 800 16000 80000 | 2147483647 80961 113 | 0.000 % |
216.98/217.13 c | 390131 | 800 16000 80000 | 84128 84258 113 | 0.000 % |
219.28/219.46 c | 393756 | 800 16000 80000 | 84128 76944 113 | 0.000 % |
219.38/219.54 c | 393857 | 800 16000 80000 | 84128 77045 113 | 0.000 % |
219.48/219.63 c | 393968 | 800 16000 80000 | 84128 77156 113 | 0.000 % |
219.58/219.72 c | 394093 | 800 16000 80000 | 84128 77281 113 | 0.000 % |
219.68/219.83 c | 394226 | 800 16000 80000 | 84128 77414 113 | 0.000 % |
219.79/219.95 c | 394375 | 800 16000 80000 | 84128 77563 113 | 0.000 % |
219.89/220.06 c | 394536 | 800 16000 80000 | 84128 77724 113 | 0.000 % |
220.08/220.22 c | 394712 | 800 16000 80000 | 84128 77900 113 | 0.000 % |
220.18/220.36 c | 394905 | 800 16000 80000 | 84128 78093 113 | 0.000 % |
220.38/220.54 c | 395119 | 800 16000 80000 | 84128 78307 113 | 0.000 % |
220.58/220.70 c | 395352 | 800 16000 80000 | 84128 78540 113 | 0.000 % |
220.68/220.86 c | 395609 | 800 16000 80000 | 84128 78797 113 | 0.000 % |
220.89/221.07 c | 395891 | 800 16000 80000 | 84128 79079 113 | 0.000 % |
221.08/221.27 c | 396201 | 800 16000 80000 | 84128 79389 113 | 0.000 % |
221.38/221.51 c | 396541 | 800 16000 80000 | 84128 79729 113 | 0.000 % |
221.58/221.79 c | 396913 | 800 16000 80000 | 84128 80101 113 | 0.000 % |
221.88/222.08 c | 397323 | 800 16000 80000 | 84128 80511 113 | 0.000 % |
222.18/222.40 c | 397773 | 800 16000 80000 | 84128 80961 113 | 0.000 % |
222.58/222.74 c | 398268 | 800 16000 80000 | 84128 81456 113 | 0.000 % |
222.98/223.12 c | 398810 | 800 16000 80000 | 84128 81998 113 | 0.000 % |
223.38/223.54 c | 399409 | 800 16000 80000 | 84128 82597 113 | 0.000 % |
223.78/223.97 c | 400065 | 800 16000 80000 | 83188 83253 113 | 0.000 % |
224.38/224.53 c | 400787 | 800 16000 80000 | 83188 71474 113 | 0.000 % |
224.88/225.03 c | 401579 | 800 16000 80000 | 83188 72266 113 | 0.000 % |
225.38/225.58 c | 402451 | 800 16000 80000 | 83188 73138 113 | 0.000 % |
226.08/226.23 c | 403412 | 800 16000 80000 | 83188 74099 113 | 0.000 % |
226.78/226.91 c | 404467 | 800 16000 80000 | 83188 75154 113 | 0.000 % |
227.48/227.60 c | 405626 | 800 16000 80000 | 83188 76313 113 | 0.000 % |
228.28/228.40 c | 406899 | 800 16000 80000 | 83188 77586 113 | 0.000 % |
229.08/229.29 c | 408299 | 800 16000 80000 | 83188 78986 113 | 0.000 % |
230.08/230.24 c | 409841 | 800 16000 80000 | 83188 80528 113 | 0.000 % |
231.18/231.30 c | 411535 | 800 16000 80000 | 80688 70558 113 | 0.000 % |
232.28/232.49 c | 413398 | 800 16000 80000 | 80688 72421 113 | 0.000 % |
233.57/233.76 c | 415447 | 800 16000 80000 | 80688 74470 114 | 0.000 % |
234.97/235.13 c | 417702 | 800 16000 80000 | 80688 76725 114 | 0.000 % |
236.47/236.68 c | 420181 | 800 16000 80000 | 79025 79204 114 | 0.000 % |
238.17/238.39 c | 422906 | 800 16000 80000 | 79025 71418 113 | 0.000 % |
240.07/240.26 c | 425903 | 800 16000 80000 | 79025 74415 114 | 0.000 % |
242.07/242.28 c | 429199 | 800 16000 80000 | 79025 77711 114 | 0.000 % |
244.37/244.56 c | 432824 | 800 16000 80000 | 78512 71689 115 | 0.000 % |
246.87/247.07 c | 436812 | 800 16000 80000 | 78512 75677 115 | 0.000 % |
246.97/247.14 c | 436912 | 800 16000 80000 | 78512 75777 115 | 0.000 % |
247.07/247.22 c | 437022 | 800 16000 80000 | 78512 75887 115 | 0.000 % |
247.17/247.33 c | 437143 | 800 16000 80000 | 78512 76008 115 | 0.000 % |
247.28/247.42 c | 437277 | 800 16000 80000 | 78512 76142 115 | 0.000 % |
247.38/247.52 c | 437423 | 800 16000 80000 | 78512 76288 115 | 0.000 % |
247.47/247.63 c | 437583 | 800 16000 80000 | 78512 76448 115 | 0.000 % |
247.57/247.77 c | 437760 | 800 16000 80000 | 78512 76625 115 | 0.000 % |
247.77/247.91 c | 437954 | 800 16000 80000 | 78512 76819 115 | 0.000 % |
247.87/248.06 c | 438169 | 800 16000 80000 | 78512 77034 115 | 0.000 % |
248.07/248.21 c | 438402 | 800 16000 80000 | 78512 77267 115 | 0.000 % |
248.27/248.41 c | 438660 | 800 16000 80000 | 78512 77525 115 | 0.000 % |
248.47/248.60 c | 438942 | 800 16000 80000 | 78512 77807 115 | 0.000 % |
248.67/248.81 c | 439251 | 800 16000 80000 | 78512 78116 115 | 0.000 % |
248.87/249.04 c | 439592 | 800 16000 80000 | 78512 78457 115 | 0.000 % |
249.17/249.38 c | 439964 | 800 16000 80000 | 78512 68687 115 | 0.000 % |
249.47/249.66 c | 440374 | 800 16000 80000 | 68723 60219 115 | 0.000 % |
249.77/249.92 c | 440824 | 800 16000 80000 | 68723 60669 115 | 0.000 % |
250.07/250.21 c | 441317 | 800 16000 80000 | 68723 61162 115 | 0.000 % |
250.37/250.52 c | 441860 | 800 16000 80000 | 68723 61705 115 | 0.000 % |
250.67/250.86 c | 442458 | 800 16000 80000 | 68723 62303 115 | 0.000 % |
251.07/251.20 c | 443114 | 800 16000 80000 | 68723 62959 115 | 0.000 % |
251.47/251.61 c | 443834 | 800 16000 80000 | 68723 63679 115 | 0.000 % |
251.86/252.05 c | 444626 | 800 16000 80000 | 68723 64471 115 | 0.000 % |
252.36/252.53 c | 445498 | 800 16000 80000 | 68723 65343 115 | 0.000 % |
252.87/253.09 c | 446457 | 800 16000 80000 | 68723 66302 115 | 0.000 % |
253.56/253.72 c | 447510 | 800 16000 80000 | 68723 67355 115 | 0.000 % |
254.26/254.48 c | 448670 | 800 16000 80000 | 68723 68515 115 | 0.000 % |
255.07/255.26 c | 449944 | 800 16000 80000 | 68723 62887 115 | 0.000 % |
255.86/256.09 c | 451345 | 800 16000 80000 | 2147483647 64288 115 | 0.000 % |
256.76/256.95 c | 452885 | 800 16000 80000 | 2147483647 65828 115 | 0.000 % |
257.76/257.92 c | 454579 | 800 16000 80000 | 2147483647 67522 115 | 0.000 % |
258.86/259.06 c | 456443 | 800 16000 80000 | 2147483647 69386 115 | 0.000 % |
259.96/260.18 c | 458492 | 800 16000 80000 | 2147483647 71435 115 | 0.000 % |
261.36/261.57 c | 460745 | 800 16000 80000 | 2147483647 73688 115 | 0.000 % |
262.96/263.16 c | 463225 | 800 16000 80000 | 2147483647 76168 115 | 0.000 % |
264.76/264.94 c | 465951 | 800 16000 80000 | 2147483647 78894 115 | 0.000 % |
266.76/266.94 c | 468948 | 800 16000 80000 | 2147483647 81891 115 | 0.000 % |
268.96/269.11 c | 472244 | 800 16000 80000 | 82943 73942 115 | 0.000 % |
271.26/271.50 c | 475869 | 800 16000 80000 | 82943 77567 115 | 0.000 % |
273.96/274.11 c | 479858 | 800 16000 80000 | 82943 81556 115 | 0.000 % |
276.85/277.04 c | 484243 | 800 16000 80000 | 81698 74144 115 | 0.000 % |
276.96/277.10 c | 484343 | 800 16000 80000 | 81698 74244 115 | 0.000 % |
276.96/277.17 c | 484453 | 800 16000 80000 | 81698 74354 115 | 0.000 % |
277.06/277.26 c | 484575 | 800 16000 80000 | 81698 74476 115 | 0.000 % |
277.15/277.38 c | 484709 | 800 16000 80000 | 81698 74610 115 | 0.000 % |
277.25/277.48 c | 484857 | 800 16000 80000 | 81698 74758 115 | 0.000 % |
277.35/277.58 c | 485017 | 800 16000 80000 | 81698 74918 115 | 0.000 % |
277.55/277.72 c | 485194 | 800 16000 80000 | 81698 75095 115 | 0.000 % |
277.65/277.86 c | 485387 | 800 16000 80000 | 81698 75288 115 | 0.000 % |
277.85/278.03 c | 485600 | 800 16000 80000 | 81698 75501 115 | 0.000 % |
277.95/278.20 c | 485833 | 800 16000 80000 | 81698 75734 115 | 0.000 % |
278.16/278.37 c | 486090 | 800 16000 80000 | 81698 75991 115 | 0.000 % |
278.35/278.59 c | 486373 | 800 16000 80000 | 81698 76274 115 | 0.000 % |
278.65/278.81 c | 486683 | 800 16000 80000 | 81698 76584 115 | 0.000 % |
278.85/279.05 c | 487024 | 800 16000 80000 | 81698 76925 115 | 0.000 % |
279.05/279.29 c | 487396 | 800 16000 80000 | 81698 77297 115 | 0.000 % |
279.35/279.58 c | 487807 | 800 16000 80000 | 81698 77708 115 | 0.000 % |
279.75/279.90 c | 488257 | 800 16000 80000 | 81698 78158 115 | 0.000 % |
280.05/280.24 c | 488753 | 800 16000 80000 | 81698 78654 115 | 0.000 % |
280.45/280.61 c | 489297 | 800 16000 80000 | 81698 79198 115 | 0.000 % |
280.85/281.00 c | 489895 | 800 16000 80000 | 81698 79796 115 | 0.000 % |
281.25/281.46 c | 490550 | 800 16000 80000 | 79903 68533 114 | 0.000 % |
281.75/281.92 c | 491270 | 800 16000 80000 | 79903 69253 114 | 0.000 % |
282.25/282.40 c | 492062 | 800 16000 80000 | 79903 70045 114 | 0.000 % |
282.75/282.96 c | 492935 | 800 16000 80000 | 79903 70918 114 | 0.000 % |
283.35/283.52 c | 493893 | 800 16000 80000 | 79903 71876 114 | 0.000 % |
283.95/284.19 c | 494947 | 800 16000 80000 | 79903 72930 114 | 0.000 % |
284.65/284.87 c | 496105 | 800 16000 80000 | 79903 74088 114 | 0.000 % |
285.45/285.65 c | 497379 | 800 16000 80000 | 79903 75362 114 | 0.000 % |
286.35/286.53 c | 498782 | 800 16000 80000 | 79903 76765 114 | 0.000 % |
287.35/287.53 c | 500325 | 800 16000 80000 | 77983 67757 113 | 0.000 % |
288.25/288.45 c | 502021 | 800 16000 80000 | 77983 69453 113 | 0.000 % |
289.45/289.63 c | 503885 | 800 16000 80000 | 77983 71317 113 | 0.000 % |
290.65/290.81 c | 505934 | 800 16000 80000 | 77983 73366 113 | 0.000 % |
291.95/292.14 c | 508187 | 800 16000 80000 | 77983 75619 113 | 0.000 % |
293.45/293.62 c | 510666 | 800 16000 80000 | 77434 68482 113 | 0.000 % |
294.95/295.15 c | 513392 | 800 16000 80000 | 77434 71208 113 | 0.000 % |
296.75/296.92 c | 516390 | 800 16000 80000 | 77434 74206 113 | 0.000 % |
298.75/298.96 c | 519686 | 800 16000 80000 | 77434 77502 113 | 0.000 % |
300.85/301.10 c | 523312 | 800 16000 80000 | 68820 64063 113 | 0.000 % |
303.04/303.26 c | 527301 | 800 16000 80000 | 68820 68052 113 | 0.000 % |
305.44/305.65 c | 531686 | 800 16000 80000 | 2147483647 65527 113 | 0.000 % |
308.24/308.43 c | 536509 | 800 16000 80000 | 2147483647 70350 114 | 0.000 % |
308.34/308.51 c | 536609 | 800 16000 80000 | 2147483647 70450 114 | 0.000 % |
308.34/308.59 c | 536719 | 800 16000 80000 | 2147483647 70560 114 | 0.000 % |
308.44/308.67 c | 536842 | 800 16000 80000 | 2147483647 70683 114 | 0.000 % |
308.54/308.75 c | 536975 | 800 16000 80000 | 2147483647 70816 114 | 0.000 % |
308.64/308.85 c | 537121 | 800 16000 80000 | 2147483647 70962 114 | 0.000 % |
308.74/308.95 c | 537283 | 800 16000 80000 | 2147483647 71124 114 | 0.000 % |
308.85/309.07 c | 537459 | 800 16000 80000 | 2147483647 71300 114 | 0.000 % |
309.04/309.21 c | 537653 | 800 16000 80000 | 2147483647 71494 114 | 0.000 % |
309.14/309.34 c | 537865 | 800 16000 80000 | 2147483647 71706 113 | 0.000 % |
309.34/309.50 c | 538098 | 800 16000 80000 | 2147483647 71939 113 | 0.000 % |
309.44/309.68 c | 538355 | 800 16000 80000 | 2147483647 72196 113 | 0.000 % |
309.64/309.86 c | 538637 | 800 16000 80000 | 2147483647 72478 113 | 0.000 % |
309.84/310.06 c | 538947 | 800 16000 80000 | 2147483647 72788 113 | 0.000 % |
310.04/310.27 c | 539286 | 800 16000 80000 | 2147483647 73127 113 | 0.000 % |
310.34/310.52 c | 539659 | 800 16000 80000 | 2147483647 73500 113 | 0.000 % |
310.64/310.80 c | 540069 | 800 16000 80000 | 73841 73910 113 | 0.000 % |
310.94/311.14 c | 540518 | 800 16000 80000 | 73841 66831 113 | 0.000 % |
311.24/311.46 c | 541011 | 800 16000 80000 | 73841 67324 113 | 0.000 % |
311.54/311.79 c | 541553 | 800 16000 80000 | 73841 67866 113 | 0.000 % |
311.94/312.15 c | 542151 | 800 16000 80000 | 73841 68464 113 | 0.000 % |
312.34/312.51 c | 542809 | 800 16000 80000 | 73841 69122 113 | 0.000 % |
312.74/312.93 c | 543529 | 800 16000 80000 | 73841 69842 113 | 0.000 % |
313.24/313.46 c | 544321 | 800 16000 80000 | 73841 70634 113 | 0.000 % |
313.84/314.01 c | 545194 | 800 16000 80000 | 73841 71507 113 | 0.000 % |
314.44/314.61 c | 546153 | 800 16000 80000 | 73841 72466 113 | 0.000 % |
315.14/315.30 c | 547207 | 800 16000 80000 | 73841 73520 113 | 0.000 % |
315.84/316.07 c | 548366 | 800 16000 80000 | 73841 66109 112 | 0.000 % |
316.54/316.76 c | 549640 | 800 16000 80000 | 73841 67383 112 | 0.000 % |
317.33/317.54 c | 551042 | 800 16000 80000 | 67743 61339 113 | 0.000 % |
318.13/318.34 c | 552582 | 800 16000 80000 | 67743 62879 113 | 0.000 % |
319.03/319.29 c | 554276 | 800 16000 80000 | 67743 64573 113 | 0.000 % |
320.13/320.39 c | 556139 | 800 16000 80000 | 67743 66436 113 | 0.000 % |
321.43/321.60 c | 558188 | 800 16000 80000 | 67743 61682 113 | 0.000 % |
322.63/322.80 c | 560441 | 800 16000 80000 | 2147483647 63935 113 | 0.000 % |
323.93/324.14 c | 562919 | 800 16000 80000 | 2147483647 66413 113 | 0.000 % |
325.43/325.67 c | 565644 | 800 16000 80000 | 2147483647 69138 113 | 0.000 % |
327.23/327.40 c | 568643 | 800 16000 80000 | 2147483647 72137 113 | 0.000 % |
329.13/329.39 c | 571939 | 800 16000 80000 | 2147483647 75433 113 | 0.000 % |
331.53/331.77 c | 575565 | 800 16000 80000 | 2147483647 79059 113 | 0.000 % |
334.13/334.34 c | 579552 | 800 16000 80000 | 2147483647 83046 113 | 0.000 % |
337.03/337.24 c | 583937 | 800 16000 80000 | 83494 75664 114 | 0.000 % |
340.33/340.52 c | 588760 | 800 16000 80000 | 83494 80487 114 | 0.000 % |
343.72/343.94 c | 594065 | 800 16000 80000 | 81728 74013 114 | 0.000 % |
343.82/344.02 c | 594165 | 800 16000 80000 | 81728 74113 114 | 0.000 % |
343.92/344.10 c | 594278 | 800 16000 80000 | 81728 74226 114 | 0.000 % |
343.92/344.18 c | 594399 | 800 16000 80000 | 81728 74347 114 | 0.000 % |
344.03/344.26 c | 594532 | 800 16000 80000 | 81728 74480 114 | 0.000 % |
344.13/344.38 c | 594678 | 800 16000 80000 | 81728 74626 114 | 0.000 % |
344.32/344.50 c | 594838 | 800 16000 80000 | 81728 74786 114 | 0.000 % |
344.42/344.61 c | 595014 | 800 16000 80000 | 81728 74962 114 | 0.000 % |
344.52/344.77 c | 595207 | 800 16000 80000 | 81728 75155 114 | 0.000 % |
344.72/344.94 c | 595421 | 800 16000 80000 | 81728 75369 114 | 0.000 % |
344.92/345.10 c | 595654 | 800 16000 80000 | 81728 75602 114 | 0.000 % |
345.02/345.29 c | 595910 | 800 16000 80000 | 81728 75858 114 | 0.000 % |
345.23/345.48 c | 596192 | 800 16000 80000 | 81728 76140 114 | 0.000 % |
345.42/345.67 c | 596502 | 800 16000 80000 | 81728 76450 114 | 0.000 % |
345.72/345.94 c | 596841 | 800 16000 80000 | 81728 76789 113 | 0.000 % |
345.92/346.18 c | 597214 | 800 16000 80000 | 81728 77162 113 | 0.000 % |
346.22/346.46 c | 597623 | 800 16000 80000 | 81728 77571 113 | 0.000 % |
346.52/346.73 c | 598072 | 800 16000 80000 | 81728 78020 113 | 0.000 % |
346.82/347.08 c | 598565 | 800 16000 80000 | 81728 78513 113 | 0.000 % |
347.22/347.47 c | 599107 | 800 16000 80000 | 81728 79055 113 | 0.000 % |
347.72/347.90 c | 599707 | 800 16000 80000 | 81728 79655 113 | 0.000 % |
348.12/348.36 c | 600364 | 800 16000 80000 | 79950 68976 113 | 0.000 % |
348.62/348.81 c | 601085 | 800 16000 80000 | 79950 69697 113 | 0.000 % |
349.12/349.36 c | 601877 | 800 16000 80000 | 79950 70489 113 | 0.000 % |
349.72/349.92 c | 602748 | 800 16000 80000 | 79950 71360 113 | 0.000 % |
350.32/350.50 c | 603707 | 800 16000 80000 | 79950 72319 113 | 0.000 % |
350.92/351.11 c | 604761 | 800 16000 80000 | 79950 73373 113 | 0.000 % |
351.62/351.80 c | 605919 | 800 16000 80000 | 79950 74531 113 | 0.000 % |
352.42/352.62 c | 607193 | 800 16000 80000 | 79950 75805 113 | 0.000 % |
353.32/353.59 c | 608594 | 800 16000 80000 | 79950 77206 113 | 0.000 % |
354.52/354.73 c | 610134 | 800 16000 80000 | 78612 78746 113 | 0.000 % |
355.52/355.77 c | 611828 | 800 16000 80000 | 78612 69623 113 | 0.000 % |
356.62/356.86 c | 613692 | 800 16000 80000 | 78612 71487 113 | 0.000 % |
357.92/358.17 c | 615742 | 800 16000 80000 | 78612 73537 113 | 0.000 % |
359.22/359.49 c | 617995 | 800 16000 80000 | 78612 75790 114 | 0.000 % |
360.92/361.15 c | 620473 | 800 16000 80000 | 77795 68194 114 | 0.000 % |
362.52/362.77 c | 623199 | 800 16000 80000 | 77795 70920 114 | 0.000 % |
364.42/364.60 c | 626197 | 800 16000 80000 | 77795 73918 114 | 0.000 % |
366.41/366.66 c | 629494 | 800 16000 80000 | 77795 77215 114 | 0.000 % |
368.61/368.82 c | 633119 | 800 16000 80000 | 77722 70919 114 | 0.000 % |
370.91/371.18 c | 637111 | 800 16000 80000 | 77722 74911 115 | 0.000 % |
373.72/373.98 c | 641496 | 800 16000 80000 | 77800 69708 115 | 0.000 % |
376.61/376.84 c | 646320 | 800 16000 80000 | 77800 74532 115 | 0.000 % |
380.21/380.43 c | 651627 | 800 16000 80000 | 68996 62516 115 | 0.000 % |
383.61/383.81 c | 657462 | 800 16000 80000 | 68996 68351 116 | 0.000 % |
383.61/383.88 c | 657562 | 800 16000 80000 | 68996 68451 116 | 0.000 % |
383.71/383.97 c | 657673 | 800 16000 80000 | 68996 68562 116 | 0.000 % |
383.81/384.05 c | 657798 | 800 16000 80000 | 68996 68687 116 | 0.000 % |
383.91/384.15 c | 657932 | 800 16000 80000 | 68996 68821 116 | 0.000 % |
384.01/384.24 c | 658078 | 800 16000 80000 | 68996 68967 116 | 0.000 % |
384.11/384.36 c | 658238 | 800 16000 80000 | 68996 69127 116 | 0.000 % |
384.31/384.50 c | 658417 | 800 16000 80000 | 68996 62394 116 | 0.000 % |
384.41/384.61 c | 658611 | 800 16000 80000 | 68996 62588 116 | 0.000 % |
384.51/384.73 c | 658823 | 800 16000 80000 | 68996 62800 116 | 0.000 % |
384.61/384.88 c | 659059 | 800 16000 80000 | 68996 63036 116 | 0.000 % |
384.81/385.04 c | 659315 | 800 16000 80000 | 68996 63292 116 | 0.000 % |
385.01/385.20 c | 659596 | 800 16000 80000 | 68996 63573 116 | 0.000 % |
385.11/385.37 c | 659906 | 800 16000 80000 | 68996 63883 116 | 0.000 % |
385.31/385.58 c | 660245 | 800 16000 80000 | 2147483647 64222 116 | 0.000 % |
385.61/385.81 c | 660619 | 800 16000 80000 | 2147483647 64596 116 | 0.000 % |
385.81/386.04 c | 661028 | 800 16000 80000 | 2147483647 65005 116 | 0.000 % |
386.11/386.31 c | 661477 | 800 16000 80000 | 2147483647 65454 116 | 0.000 % |
386.31/386.58 c | 661971 | 800 16000 80000 | 2147483647 65948 116 | 0.000 % |
386.71/386.90 c | 662514 | 800 16000 80000 | 2147483647 66491 116 | 0.000 % |
387.01/387.27 c | 663110 | 800 16000 80000 | 2147483647 67087 116 | 0.000 % |
387.41/387.66 c | 663765 | 800 16000 80000 | 2147483647 67742 116 | 0.000 % |
387.81/388.07 c | 664488 | 800 16000 80000 | 2147483647 68465 116 | 0.000 % |
388.21/388.49 c | 665281 | 800 16000 80000 | 2147483647 69258 116 | 0.000 % |
388.70/388.97 c | 666153 | 800 16000 80000 | 2147483647 70130 116 | 0.000 % |
389.30/389.53 c | 667112 | 800 16000 80000 | 2147483647 71089 116 | 0.000 % |
389.90/390.10 c | 668165 | 800 16000 80000 | 2147483647 72142 115 | 0.000 % |
390.60/390.81 c | 669324 | 800 16000 80000 | 2147483647 73301 116 | 0.000 % |
391.31/391.57 c | 670599 | 800 16000 80000 | 2147483647 74576 115 | 0.000 % |
392.20/392.49 c | 671999 | 800 16000 80000 | 2147483647 75976 115 | 0.000 % |
393.30/393.54 c | 673540 | 800 16000 80000 | 2147483647 77517 116 | 0.000 % |
394.50/394.71 c | 675234 | 800 16000 80000 | 2147483647 79211 116 | 0.000 % |
395.70/395.98 c | 677097 | 800 16000 80000 | 2147483647 81074 116 | 0.000 % |
397.20/397.46 c | 679148 | 800 16000 80000 | 2147483647 83125 116 | 0.000 % |
398.80/399.03 c | 681402 | 800 16000 80000 | 83978 73064 116 | 0.000 % |
400.40/400.64 c | 683881 | 800 16000 80000 | 83978 75543 116 | 0.000 % |
402.10/402.38 c | 686606 | 800 16000 80000 | 83978 78268 116 | 0.000 % |
404.10/404.36 c | 689603 | 800 16000 80000 | 83978 81265 116 | 0.000 % |
406.10/406.38 c | 692902 | 800 16000 80000 | 81663 72703 116 | 0.000 % |
408.39/408.68 c | 696527 | 800 16000 80000 | 81663 76328 117 | 0.000 % |
411.10/411.38 c | 700516 | 800 16000 80000 | 79802 68913 117 | 0.000 % |
413.69/413.94 c | 704902 | 800 16000 80000 | 79802 73299 117 | 0.000 % |
416.79/417.00 c | 709725 | 800 16000 80000 | 79802 78122 117 | 0.000 % |
420.09/420.31 c | 715030 | 800 16000 80000 | 78398 72971 117 | 0.000 % |
423.79/424.09 c | 720867 | 800 16000 80000 | 77943 68676 117 | 0.000 % |
427.79/428.00 c | 727286 | 800 16000 80000 | 77943 75095 117 | 0.000 % |
427.79/428.07 c | 727387 | 800 16000 80000 | 77943 75196 117 | 0.000 % |
427.89/428.15 c | 727498 | 800 16000 80000 | 77943 75307 117 | 0.000 % |
427.99/428.25 c | 727620 | 800 16000 80000 | 77943 75429 117 | 0.000 % |
428.09/428.34 c | 727753 | 800 16000 80000 | 77943 75562 117 | 0.000 % |
428.19/428.44 c | 727900 | 800 16000 80000 | 77943 75709 116 | 0.000 % |
428.29/428.56 c | 728061 | 800 16000 80000 | 77943 75870 116 | 0.000 % |
428.49/428.71 c | 728239 | 800 16000 80000 | 77943 76048 116 | 0.000 % |
428.59/428.86 c | 728433 | 800 16000 80000 | 77943 76242 116 | 0.000 % |
428.79/429.02 c | 728647 | 800 16000 80000 | 77943 76456 116 | 0.000 % |
428.89/429.17 c | 728884 | 800 16000 80000 | 77943 76693 116 | 0.000 % |
429.09/429.35 c | 729140 | 800 16000 80000 | 77943 76949 116 | 0.000 % |
429.29/429.57 c | 729421 | 800 16000 80000 | 77943 77230 116 | 0.000 % |
429.49/429.79 c | 729730 | 800 16000 80000 | 77943 77539 116 | 0.000 % |
429.79/430.02 c | 730072 | 800 16000 80000 | 77810 77881 116 | 0.000 % |
430.09/430.33 c | 730447 | 800 16000 80000 | 77810 67961 117 | 0.000 % |
430.29/430.57 c | 730856 | 800 16000 80000 | 77810 68370 116 | 0.000 % |
430.59/430.83 c | 731306 | 800 16000 80000 | 77810 68820 116 | 0.000 % |
430.89/431.14 c | 731799 | 800 16000 80000 | 77810 69313 116 | 0.000 % |
431.19/431.46 c | 732341 | 800 16000 80000 | 77810 69855 116 | 0.000 % |
431.59/431.83 c | 732938 | 800 16000 80000 | 77810 70452 116 | 0.000 % |
431.99/432.22 c | 733594 | 800 16000 80000 | 77810 71108 116 | 0.000 % |
432.49/432.73 c | 734315 | 800 16000 80000 | 77810 71829 116 | 0.000 % |
432.99/433.26 c | 735108 | 800 16000 80000 | 77810 72622 116 | 0.000 % |
433.59/433.80 c | 735980 | 800 16000 80000 | 77810 73494 116 | 0.000 % |
434.19/434.43 c | 736938 | 800 16000 80000 | 77810 74452 116 | 0.000 % |
434.79/435.09 c | 737991 | 800 16000 80000 | 77810 75505 116 | 0.000 % |
435.59/435.82 c | 739149 | 800 16000 80000 | 77810 76663 116 | 0.000 % |
436.39/436.69 c | 740423 | 800 16000 80000 | 77514 68242 116 | 0.000 % |
437.19/437.48 c | 741823 | 800 16000 80000 | 77514 69642 116 | 0.000 % |
438.19/438.45 c | 743363 | 800 16000 80000 | 77514 71182 116 | 0.000 % |
439.19/439.45 c | 745057 | 800 16000 80000 | 77514 72876 116 | 0.000 % |
440.39/440.68 c | 746920 | 800 16000 80000 | 77514 74739 116 | 0.000 % |
441.78/442.02 c | 748971 | 800 16000 80000 | 77514 76790 115 | 0.000 % |
443.28/443.50 c | 751224 | 800 16000 80000 | 68171 60986 116 | 0.000 % |
444.48/444.79 c | 753702 | 800 16000 80000 | 68171 63464 116 | 0.000 % |
445.98/446.28 c | 756427 | 800 16000 80000 | 68171 66189 116 | 0.000 % |
447.78/448.04 c | 759425 | 800 16000 80000 | 68171 62344 115 | 0.000 % |
449.58/449.86 c | 762721 | 800 16000 80000 | 2147483647 65640 115 | 0.000 % |
451.58/451.87 c | 766346 | 800 16000 80000 | 2147483647 69265 115 | 0.000 % |
453.88/454.18 c | 770334 | 800 16000 80000 | 2147483647 73253 115 | 0.000 % |
456.48/456.79 c | 774719 | 800 16000 80000 | 2147483647 77638 115 | 0.000 % |
459.68/459.97 c | 779544 | 800 16000 80000 | 2147483647 82463 115 | 0.000 % |
463.08/463.33 c | 784851 | 800 16000 80000 | 82922 76486 114 | 0.000 % |
466.98/467.23 c | 790686 | 800 16000 80000 | 81635 70239 114 | 0.000 % |
470.98/471.28 c | 797105 | 800 16000 80000 | 81635 76658 114 | 0.000 % |
475.57/475.89 c | 804166 | 800 16000 80000 | 79555 73031 116 | 0.000 % |
475.67/475.97 c | 804267 | 800 16000 80000 | 79555 73132 116 | 0.000 % |
475.77/476.04 c | 804377 | 800 16000 80000 | 79555 73242 116 | 0.000 % |
475.87/476.11 c | 804498 | 800 16000 80000 | 79555 73363 116 | 0.000 % |
475.98/476.21 c | 804632 | 800 16000 80000 | 79555 73497 116 | 0.000 % |
476.08/476.32 c | 804780 | 800 16000 80000 | 79555 73645 116 | 0.000 % |
476.17/476.44 c | 804943 | 800 16000 80000 | 79555 73808 116 | 0.000 % |
476.27/476.56 c | 805119 | 800 16000 80000 | 79555 73984 116 | 0.000 % |
476.37/476.68 c | 805312 | 800 16000 80000 | 79555 74177 116 | 0.000 % |
476.57/476.83 c | 805526 | 800 16000 80000 | 79555 74391 116 | 0.000 % |
476.77/477.01 c | 805760 | 800 16000 80000 | 79555 74625 116 | 0.000 % |
476.87/477.19 c | 806016 | 800 16000 80000 | 79555 74881 115 | 0.000 % |
477.18/477.40 c | 806299 | 800 16000 80000 | 79555 75164 115 | 0.000 % |
477.38/477.62 c | 806608 | 800 16000 80000 | 79555 75473 115 | 0.000 % |
477.58/477.84 c | 806947 | 800 16000 80000 | 79555 75812 115 | 0.000 % |
477.78/478.07 c | 807321 | 800 16000 80000 | 79555 76186 115 | 0.000 % |
478.08/478.35 c | 807730 | 800 16000 80000 | 79555 76595 115 | 0.000 % |
478.38/478.65 c | 808181 | 800 16000 80000 | 79555 77046 115 | 0.000 % |
478.68/478.99 c | 808676 | 800 16000 80000 | 79555 77541 115 | 0.000 % |
479.08/479.36 c | 809220 | 800 16000 80000 | 79555 78085 115 | 0.000 % |
479.48/479.75 c | 809817 | 800 16000 80000 | 79555 78682 115 | 0.000 % |
479.88/480.19 c | 810472 | 800 16000 80000 | 78866 68660 116 | 0.000 % |
480.28/480.60 c | 811192 | 800 16000 80000 | 78866 69380 116 | 0.000 % |
480.78/481.03 c | 811984 | 800 16000 80000 | 78866 70172 116 | 0.000 % |
481.28/481.53 c | 812857 | 800 16000 80000 | 78866 71045 116 | 0.000 % |
481.88/482.14 c | 813816 | 800 16000 80000 | 78866 72004 116 | 0.000 % |
482.48/482.78 c | 814871 | 800 16000 80000 | 78866 73059 116 | 0.000 % |
483.18/483.45 c | 816030 | 800 16000 80000 | 78866 74218 116 | 0.000 % |
484.08/484.36 c | 817305 | 800 16000 80000 | 78866 75493 116 | 0.000 % |
484.98/485.28 c | 818708 | 800 16000 80000 | 78866 76896 116 | 0.000 % |
486.08/486.33 c | 820248 | 800 16000 80000 | 78188 78436 116 | 0.000 % |
487.08/487.36 c | 821942 | 800 16000 80000 | 78188 70053 116 | 0.000 % |
488.18/488.47 c | 823806 | 800 16000 80000 | 78188 71917 116 | 0.000 % |
489.47/489.70 c | 825856 | 800 16000 80000 | 78188 73967 116 | 0.000 % |
490.77/491.08 c | 828110 | 800 16000 80000 | 78188 76221 116 | 0.000 % |
492.48/492.74 c | 830590 | 800 16000 80000 | 78112 68972 116 | 0.000 % |
494.07/494.36 c | 833315 | 800 16000 80000 | 78112 71697 116 | 0.000 % |
495.97/496.23 c | 836313 | 800 16000 80000 | 78112 74695 116 | 0.000 % |
498.08/498.34 c | 839609 | 800 16000 80000 | 78112 77991 116 | 0.000 % |
500.37/500.64 c | 843234 | 800 16000 80000 | 78384 70858 116 | 0.000 % |
502.87/503.18 c | 847222 | 800 16000 80000 | 78384 74846 116 | 0.000 % |
505.97/506.21 c | 851609 | 800 16000 80000 | 77625 68922 117 | 0.000 % |
509.07/509.36 c | 856432 | 800 16000 80000 | 77625 73745 117 | 0.000 % |
512.77/513.08 c | 861737 | 800 16000 80000 | 77314 68532 116 | 0.000 % |
516.57/516.89 c | 867574 | 800 16000 80000 | 77314 74369 116 | 0.000 % |
520.46/520.76 c | 873994 | 800 16000 80000 | 76795 70663 116 | 0.000 % |
524.86/525.17 c | 881054 | 800 16000 80000 | 76669 67496 118 | 0.000 % |
529.66/529.96 c | 888818 | 800 16000 80000 | 76669 75260 119 | 0.000 % |
529.76/530.03 c | 888918 | 800 16000 80000 | 76669 75360 119 | 0.000 % |
529.87/530.11 c | 889030 | 800 16000 80000 | 76669 75472 119 | 0.000 % |
529.97/530.22 c | 889151 | 800 16000 80000 | 76669 75593 119 | 0.000 % |
530.06/530.32 c | 889284 | 800 16000 80000 | 76669 75726 119 | 0.000 % |
530.16/530.41 c | 889432 | 800 16000 80000 | 76669 75874 119 | 0.000 % |
530.26/530.53 c | 889592 | 800 16000 80000 | 76669 76034 119 | 0.000 % |
530.36/530.68 c | 889770 | 800 16000 80000 | 76669 76212 119 | 0.000 % |
530.56/530.82 c | 889964 | 800 16000 80000 | 76669 76406 119 | 0.000 % |
530.66/530.97 c | 890176 | 800 16000 80000 | 76444 76618 119 | 0.000 % |
530.86/531.16 c | 890409 | 800 16000 80000 | 76444 66254 119 | 0.000 % |
531.07/531.31 c | 890666 | 800 16000 80000 | 76444 66511 119 | 0.000 % |
531.16/531.47 c | 890947 | 800 16000 80000 | 76444 66792 119 | 0.000 % |
531.36/531.65 c | 891256 | 800 16000 80000 | 76444 67101 119 | 0.000 % |
531.56/531.88 c | 891595 | 800 16000 80000 | 76444 67440 118 | 0.000 % |
531.86/532.14 c | 891967 | 800 16000 80000 | 76444 67812 118 | 0.000 % |
532.17/532.41 c | 892376 | 800 16000 80000 | 76444 68221 118 | 0.000 % |
532.46/532.70 c | 892827 | 800 16000 80000 | 76444 68672 118 | 0.000 % |
532.76/533.01 c | 893320 | 800 16000 80000 | 76444 69165 118 | 0.000 % |
533.06/533.36 c | 893864 | 800 16000 80000 | 76444 69709 118 | 0.000 % |
533.46/533.72 c | 894460 | 800 16000 80000 | 76444 70305 118 | 0.000 % |
533.86/534.14 c | 895116 | 800 16000 80000 | 76444 70961 118 | 0.000 % |
534.26/534.59 c | 895836 | 800 16000 80000 | 76444 71681 118 | 0.000 % |
534.76/535.06 c | 896629 | 800 16000 80000 | 76444 72474 118 | 0.000 % |
535.36/535.63 c | 897501 | 800 16000 80000 | 76444 73346 118 | 0.000 % |
536.06/536.31 c | 898461 | 800 16000 80000 | 76444 74306 118 | 0.000 % |
536.76/537.01 c | 899515 | 800 16000 80000 | 76444 75360 118 | 0.000 % |
537.46/537.79 c | 900674 | 800 16000 80000 | 75846 66691 118 | 0.000 % |
538.16/538.48 c | 901947 | 800 16000 80000 | 75846 67964 118 | 0.000 % |
538.96/539.26 c | 903348 | 800 16000 80000 | 75846 69365 118 | 0.000 % |
539.86/540.18 c | 904889 | 800 16000 80000 | 75846 70906 118 | 0.000 % |
540.96/541.25 c | 906585 | 800 16000 80000 | 75846 72602 118 | 0.000 % |
542.26/542.53 c | 908450 | 800 16000 80000 | 75846 74467 117 | 0.000 % |
543.76/544.01 c | 910501 | 800 16000 80000 | 76017 67155 117 | 0.000 % |
545.06/545.32 c | 912754 | 800 16000 80000 | 76017 69408 117 | 0.000 % |
546.56/546.90 c | 915232 | 800 16000 80000 | 76017 71886 117 | 0.000 % |
548.36/548.69 c | 917957 | 800 16000 80000 | 76017 74611 117 | 0.000 % |
550.16/550.45 c | 920956 | 800 16000 80000 | 67816 61052 117 | 0.000 % |
551.96/552.28 c | 924252 | 800 16000 80000 | 67816 64348 117 | 0.000 % |
554.06/554.36 c | 927878 | 800 16000 80000 | 67816 67974 117 | 0.000 % |
556.45/556.70 c | 931867 | 800 16000 80000 | 2147483647 65166 117 | 0.000 % |
558.85/559.17 c | 936253 | 800 16000 80000 | 2147483647 69552 117 | 0.000 % |
561.76/562.04 c | 941076 | 800 16000 80000 | 2147483647 74375 117 | 0.000 % |
565.25/565.51 c | 946381 | 800 16000 80000 | 2147483647 79680 118 | 0.000 % |
569.05/569.35 c | 952217 | 800 16000 80000 | 83299 74008 117 | 0.000 % |
573.55/573.86 c | 958636 | 800 16000 80000 | 83299 80427 117 | 0.000 % |
578.35/578.64 c | 965695 | 800 16000 80000 | 81792 75952 117 | 0.000 % |
584.05/584.32 c | 973460 | 800 16000 80000 | 80258 72485 119 | 0.000 % |
589.84/590.15 c | 982002 | 800 16000 80000 | 79027 69539 120 | 0.000 % |
589.94/590.23 c | 982104 | 800 16000 80000 | 79027 69641 119 | 0.000 % |
590.04/590.30 c | 982214 | 800 16000 80000 | 79027 69751 119 | 0.000 % |
590.04/590.37 c | 982335 | 800 16000 80000 | 79027 69872 119 | 0.000 % |
590.14/590.46 c | 982468 | 800 16000 80000 | 79027 70005 119 | 0.000 % |
590.24/590.56 c | 982614 | 800 16000 80000 | 79027 70151 119 | 0.000 % |
590.35/590.68 c | 982774 | 800 16000 80000 | 79027 70311 119 | 0.000 % |
590.45/590.78 c | 982951 | 800 16000 80000 | 79027 70488 119 | 0.000 % |
590.64/590.91 c | 983144 | 800 16000 80000 | 79027 70681 119 | 0.000 % |
590.74/591.05 c | 983359 | 800 16000 80000 | 79027 70896 119 | 0.000 % |
590.94/591.20 c | 983592 | 800 16000 80000 | 79027 71129 119 | 0.000 % |
591.04/591.39 c | 983848 | 800 16000 80000 | 79027 71385 119 | 0.000 % |
591.24/591.58 c | 984129 | 800 16000 80000 | 79027 71666 119 | 0.000 % |
591.45/591.77 c | 984438 | 800 16000 80000 | 79027 71975 119 | 0.000 % |
591.64/591.98 c | 984778 | 800 16000 80000 | 79027 72315 119 | 0.000 % |
591.94/592.23 c | 985151 | 800 16000 80000 | 79027 72688 119 | 0.000 % |
592.24/592.51 c | 985562 | 800 16000 80000 | 79027 73099 119 | 0.000 % |
592.54/592.81 c | 986012 | 800 16000 80000 | 79027 73549 119 | 0.000 % |
592.84/593.15 c | 986505 | 800 16000 80000 | 79027 74042 119 | 0.000 % |
593.24/593.55 c | 987047 | 800 16000 80000 | 79027 74584 119 | 0.000 % |
593.64/593.96 c | 987644 | 800 16000 80000 | 79027 75181 119 | 0.000 % |
594.04/594.36 c | 988302 | 800 16000 80000 | 79027 75839 119 | 0.000 % |
594.54/594.84 c | 989022 | 800 16000 80000 | 79027 76559 118 | 0.000 % |
595.14/595.45 c | 989815 | 800 16000 80000 | 79027 77352 118 | 0.000 % |
595.74/596.06 c | 990687 | 800 16000 80000 | 77538 67092 118 | 0.000 % |
596.34/596.62 c | 991647 | 800 16000 80000 | 77538 68052 119 | 0.000 % |
596.94/597.26 c | 992700 | 800 16000 80000 | 77538 69105 119 | 0.000 % |
597.64/597.97 c | 993859 | 800 16000 80000 | 77538 70264 118 | 0.000 % |
598.44/598.75 c | 995132 | 800 16000 80000 | 77538 71537 118 | 0.000 % |
599.24/599.58 c | 996532 | 800 16000 80000 | 77538 72937 118 | 0.000 % |
600.24/600.56 c | 998073 | 800 16000 80000 | 77538 74478 119 | 0.000 % |
601.34/601.69 c | 999768 | 800 16000 80000 | 77538 76173 118 | 0.000 % |
602.64/602.90 c | 1001632 | 800 16000 80000 | 76405 68467 119 | 0.000 % |
603.84/604.10 c | 1003681 | 800 16000 80000 | 76405 70516 118 | 0.000 % |
605.24/605.54 c | 1005934 | 800 16000 80000 | 76405 72769 118 | 0.000 % |
606.84/607.11 c | 1008412 | 800 16000 80000 | 76405 75247 118 | 0.000 % |
608.44/608.78 c | 1011137 | 800 16000 80000 | 67889 61275 117 | 0.000 % |
610.03/610.30 c | 1014136 | 800 16000 80000 | 67889 64274 117 | 0.000 % |
611.83/612.16 c | 1017433 | 800 16000 80000 | 67889 67571 117 | 0.000 % |
613.93/614.21 c | 1021058 | 800 16000 80000 | 2147483647 64380 116 | 0.000 % |
616.13/616.45 c | 1025045 | 800 16000 80000 | 2147483647 68367 116 | 0.000 % |
618.83/619.14 c | 1029432 | 800 16000 80000 | 2147483647 72754 117 | 0.000 % |
621.83/622.18 c | 1034255 | 800 16000 80000 | 2147483647 77577 117 | 0.000 % |
625.23/625.60 c | 1039561 | 800 16000 80000 | 2147483647 82883 117 | 0.000 % |
629.23/629.50 c | 1045396 | 800 16000 80000 | 83322 77806 117 | 0.000 % |
633.53/633.90 c | 1051814 | 800 16000 80000 | 82410 72133 116 | 0.000 % |
638.43/638.74 c | 1058873 | 800 16000 80000 | 82410 79192 117 | 0.000 % |
643.93/644.20 c | 1066637 | 800 16000 80000 | 80319 75345 119 | 0.000 % |
649.52/649.80 c | 1075178 | 800 16000 80000 | 78708 72613 120 | 0.000 % |
656.02/656.37 c | 1084574 | 800 16000 80000 | 77435 70918 121 | 0.000 % |
656.12/656.44 c | 1084674 | 800 16000 80000 | 77435 71018 121 | 0.000 % |
656.22/656.53 c | 1084784 | 800 16000 80000 | 77435 71128 121 | 0.000 % |
656.32/656.62 c | 1084907 | 800 16000 80000 | 77435 71251 121 | 0.000 % |
656.42/656.71 c | 1085041 | 800 16000 80000 | 77435 71385 121 | 0.000 % |
656.52/656.84 c | 1085188 | 800 16000 80000 | 77435 71532 121 | 0.000 % |
656.62/656.95 c | 1085348 | 800 16000 80000 | 77435 71692 121 | 0.000 % |
656.72/657.07 c | 1085525 | 800 16000 80000 | 77435 71869 121 | 0.000 % |
656.92/657.24 c | 1085718 | 800 16000 80000 | 77435 72062 120 | 0.000 % |
657.02/657.39 c | 1085930 | 800 16000 80000 | 77435 72274 120 | 0.000 % |
657.22/657.54 c | 1086163 | 800 16000 80000 | 77435 72507 120 | 0.000 % |
657.42/657.73 c | 1086419 | 800 16000 80000 | 77435 72763 120 | 0.000 % |
657.62/657.91 c | 1086703 | 800 16000 80000 | 77435 73047 120 | 0.000 % |
657.72/658.10 c | 1087012 | 800 16000 80000 | 77435 73356 120 | 0.000 % |
658.02/658.36 c | 1087353 | 800 16000 80000 | 77435 73697 120 | 0.000 % |
658.32/658.60 c | 1087730 | 800 16000 80000 | 77435 74074 120 | 0.000 % |
658.52/658.88 c | 1088140 | 800 16000 80000 | 77435 74484 120 | 0.000 % |
658.82/659.18 c | 1088591 | 800 16000 80000 | 77435 74935 120 | 0.000 % |
659.22/659.55 c | 1089086 | 800 16000 80000 | 77435 75430 120 | 0.000 % |
659.62/659.94 c | 1089629 | 800 16000 80000 | 77435 75973 120 | 0.000 % |
660.02/660.32 c | 1090225 | 800 16000 80000 | 76345 76569 120 | 0.000 % |
660.41/660.76 c | 1090880 | 800 16000 80000 | 76345 65960 120 | 0.000 % |
660.82/661.18 c | 1091600 | 800 16000 80000 | 76345 66680 120 | 0.000 % |
661.31/661.61 c | 1092392 | 800 16000 80000 | 76345 67472 120 | 0.000 % |
661.82/662.11 c | 1093266 | 800 16000 80000 | 76345 68346 120 | 0.000 % |
662.31/662.66 c | 1094225 | 800 16000 80000 | 76345 69305 119 | 0.000 % |
662.92/663.30 c | 1095281 | 800 16000 80000 | 76345 70361 119 | 0.000 % |
663.61/663.92 c | 1096439 | 800 16000 80000 | 76345 71519 119 | 0.000 % |
664.31/664.68 c | 1097714 | 800 16000 80000 | 76345 72794 119 | 0.000 % |
665.12/665.49 c | 1099116 | 800 16000 80000 | 76345 74196 119 | 0.000 % |
666.11/666.48 c | 1100656 | 800 16000 80000 | 75081 67896 119 | 0.000 % |
667.01/667.38 c | 1102350 | 800 16000 80000 | 75081 69590 119 | 0.000 % |
668.11/668.41 c | 1104214 | 800 16000 80000 | 75081 71454 118 | 0.000 % |
669.41/669.72 c | 1106264 | 800 16000 80000 | 75081 73504 118 | 0.000 % |
670.91/671.22 c | 1108518 | 800 16000 80000 | 75081 67962 118 | 0.000 % |
672.21/672.59 c | 1110996 | 800 16000 80000 | 69445 63135 118 | 0.000 % |
673.71/674.06 c | 1113722 | 800 16000 80000 | 69445 65861 118 | 0.000 % |
675.41/675.75 c | 1116719 | 800 16000 80000 | 69445 68858 118 | 0.000 % |
677.31/677.68 c | 1120015 | 800 16000 80000 | 2147483647 65183 117 | 0.000 % |
679.41/679.72 c | 1123641 | 800 16000 80000 | 2147483647 68809 117 | 0.000 % |
681.61/681.98 c | 1127630 | 800 16000 80000 | 2147483647 72798 117 | 0.000 % |
684.41/684.71 c | 1132015 | 800 16000 80000 | 75168 69301 117 | 0.000 % |
687.21/687.52 c | 1136839 | 800 16000 80000 | 75168 74125 117 | 0.000 % |
690.30/690.68 c | 1142144 | 800 16000 80000 | 68762 63459 116 | 0.000 % |
693.71/694.01 c | 1147979 | 800 16000 80000 | 68762 62393 116 | 0.000 % |
697.40/697.74 c | 1154400 | 800 16000 80000 | 2147483647 68814 117 | 0.000 % |
702.00/702.33 c | 1161459 | 800 16000 80000 | 74414 68077 118 | 0.000 % |
707.00/707.30 c | 1169224 | 800 16000 80000 | 74414 67094 119 | 0.000 % |
712.30/712.66 c | 1177764 | 800 16000 80000 | 67870 67823 121 | 0.000 % |
718.29/718.66 c | 1187159 | 800 16000 80000 | 2147483647 70401 122 | 0.000 % |
725.09/725.46 c | 1197494 | 800 16000 80000 | 73242 72868 122 | 0.000 % |
725.19/725.53 c | 1197594 | 800 16000 80000 | 73242 72968 122 | 0.000 % |
725.29/725.64 c | 1197705 | 800 16000 80000 | 73242 73079 122 | 0.000 % |
725.39/725.72 c | 1197826 | 800 16000 80000 | 73242 73200 122 | 0.000 % |
725.49/725.81 c | 1197961 | 800 16000 80000 | 73242 73335 122 | 0.000 % |
725.60/725.94 c | 1198108 | 800 16000 80000 | 73242 64724 122 | 0.000 % |
725.70/726.05 c | 1198268 | 800 16000 80000 | 73242 64884 122 | 0.000 % |
725.79/726.15 c | 1198445 | 800 16000 80000 | 73242 65061 122 | 0.000 % |
725.89/726.27 c | 1198638 | 800 16000 80000 | 73242 65254 122 | 0.000 % |
725.99/726.39 c | 1198851 | 800 16000 80000 | 73242 65467 122 | 0.000 % |
726.19/726.52 c | 1199084 | 800 16000 80000 | 73242 65700 122 | 0.000 % |
726.39/726.70 c | 1199341 | 800 16000 80000 | 73242 65957 121 | 0.000 % |
726.49/726.87 c | 1199623 | 800 16000 80000 | 73242 66239 121 | 0.000 % |
726.69/727.06 c | 1199934 | 800 16000 80000 | 73242 66550 121 | 0.000 % |
726.89/727.26 c | 1200273 | 800 16000 80000 | 66616 66889 121 | 0.000 % |
727.19/727.51 c | 1200645 | 800 16000 80000 | 66616 59431 121 | 0.000 % |
727.39/727.74 c | 1201054 | 800 16000 80000 | 66616 59840 121 | 0.000 % |
727.59/727.98 c | 1201503 | 800 16000 80000 | 66616 60289 121 | 0.000 % |
727.90/728.24 c | 1201998 | 800 16000 80000 | 66616 60784 121 | 0.000 % |
728.19/728.51 c | 1202542 | 800 16000 80000 | 66616 61328 121 | 0.000 % |
728.49/728.83 c | 1203140 | 800 16000 80000 | 66616 61926 121 | 0.000 % |
728.79/729.17 c | 1203795 | 800 16000 80000 | 66616 62581 121 | 0.000 % |
729.19/729.55 c | 1204515 | 800 16000 80000 | 66616 63301 120 | 0.000 % |
729.69/730.02 c | 1205307 | 800 16000 80000 | 66616 64093 120 | 0.000 % |
730.19/730.51 c | 1206179 | 800 16000 80000 | 66616 64965 120 | 0.000 % |
730.69/731.02 c | 1207138 | 800 16000 80000 | 66616 65924 120 | 0.000 % |
731.29/731.60 c | 1208195 | 800 16000 80000 | 66616 60290 120 | 0.000 % |
731.79/732.13 c | 1209354 | 800 16000 80000 | 66616 61449 120 | 0.000 % |
732.49/732.82 c | 1210628 | 800 16000 80000 | 2147483647 62723 119 | 0.000 % |
733.19/733.58 c | 1212028 | 800 16000 80000 | 2147483647 64123 119 | 0.000 % |
734.09/734.46 c | 1213569 | 800 16000 80000 | 2147483647 65664 119 | 0.000 % |
735.09/735.46 c | 1215264 | 800 16000 80000 | 2147483647 67359 119 | 0.000 % |
736.19/736.52 c | 1217127 | 800 16000 80000 | 2147483647 69222 119 | 0.000 % |
737.29/737.70 c | 1219176 | 800 16000 80000 | 2147483647 71271 119 | 0.000 % |
738.79/739.12 c | 1221430 | 800 16000 80000 | 2147483647 73525 119 | 0.000 % |
740.39/740.72 c | 1223909 | 800 16000 80000 | 2147483647 76004 119 | 0.000 % |
742.19/742.57 c | 1226636 | 800 16000 80000 | 2147483647 78731 118 | 0.000 % |
744.18/744.51 c | 1229634 | 800 16000 80000 | 2147483647 81729 118 | 0.000 % |
746.38/746.78 c | 1232932 | 800 16000 80000 | 82095 74772 117 | 0.000 % |
748.88/749.24 c | 1236558 | 800 16000 80000 | 82095 78398 117 | 0.000 % |
751.48/751.85 c | 1240549 | 800 16000 80000 | 81840 70596 117 | 0.000 % |
754.08/754.50 c | 1244935 | 800 16000 80000 | 81840 74982 117 | 0.000 % |
757.28/757.67 c | 1249758 | 800 16000 80000 | 81840 79805 117 | 0.000 % |
760.58/761.00 c | 1255066 | 800 16000 80000 | 80050 74388 116 | 0.000 % |
764.28/764.63 c | 1260901 | 800 16000 80000 | 79322 69873 115 | 0.000 % |
768.18/768.51 c | 1267319 | 800 16000 80000 | 79322 76291 115 | 0.000 % |
772.67/773.06 c | 1274378 | 800 16000 80000 | 78973 72546 116 | 0.000 % |
777.87/778.24 c | 1282144 | 800 16000 80000 | 78168 70258 118 | 0.000 % |
783.57/783.98 c | 1290686 | 800 16000 80000 | 78118 68406 119 | 0.000 % |
790.27/790.61 c | 1300080 | 800 16000 80000 | 77724 77800 120 | 0.000 % |
796.47/796.83 c | 1310413 | 800 16000 80000 | 77369 67243 121 | 0.000 % |
803.77/804.13 c | 1321779 | 800 16000 80000 | 76831 67731 122 | 0.000 % |
803.77/804.19 c | 1321879 | 800 16000 80000 | 76831 67831 122 | 0.000 % |
803.87/804.26 c | 1321989 | 800 16000 80000 | 76831 67941 122 | 0.000 % |
803.97/804.35 c | 1322111 | 800 16000 80000 | 76831 68063 122 | 0.000 % |
804.07/804.42 c | 1322244 | 800 16000 80000 | 76831 68196 122 | 0.000 % |
804.17/804.52 c | 1322391 | 800 16000 80000 | 76831 68343 122 | 0.000 % |
804.27/804.63 c | 1322551 | 800 16000 80000 | 76831 68503 122 | 0.000 % |
804.37/804.78 c | 1322728 | 800 16000 80000 | 76831 68680 122 | 0.000 % |
804.57/804.92 c | 1322922 | 800 16000 80000 | 76831 68874 122 | 0.000 % |
804.67/805.09 c | 1323134 | 800 16000 80000 | 76831 69086 122 | 0.000 % |
804.87/805.22 c | 1323367 | 800 16000 80000 | 76831 69319 122 | 0.000 % |
805.07/805.40 c | 1323623 | 800 16000 80000 | 76831 69575 122 | 0.000 % |
805.17/805.58 c | 1323906 | 800 16000 80000 | 76831 69858 122 | 0.000 % |
805.36/805.77 c | 1324215 | 800 16000 80000 | 76831 70167 122 | 0.000 % |
805.56/805.98 c | 1324560 | 800 16000 80000 | 76831 70512 122 | 0.000 % |
805.87/806.25 c | 1324933 | 800 16000 80000 | 76831 70885 122 | 0.000 % |
806.16/806.51 c | 1325344 | 800 16000 80000 | 76831 71296 122 | 0.000 % |
806.36/806.77 c | 1325794 | 800 16000 80000 | 76831 71746 122 | 0.000 % |
806.66/807.09 c | 1326287 | 800 16000 80000 | 76831 72239 121 | 0.000 % |
807.07/807.41 c | 1326830 | 800 16000 80000 | 76831 72782 121 | 0.000 % |
807.36/807.76 c | 1327427 | 800 16000 80000 | 76831 73379 121 | 0.000 % |
807.76/808.17 c | 1328083 | 800 16000 80000 | 76831 74035 121 | 0.000 % |
808.26/808.65 c | 1328803 | 800 16000 80000 | 76831 74755 121 | 0.000 % |
808.76/809.20 c | 1329595 | 800 16000 80000 | 76831 75547 121 | 0.000 % |
809.46/809.86 c | 1330466 | 800 16000 80000 | 75952 66126 122 | 0.000 % |
810.06/810.44 c | 1331424 | 800 16000 80000 | 75952 67084 122 | 0.000 % |
810.66/811.07 c | 1332477 | 800 16000 80000 | 75952 68137 122 | 0.000 % |
811.36/811.75 c | 1333635 | 800 16000 80000 | 75952 69295 121 | 0.000 % |
812.06/812.49 c | 1334908 | 800 16000 80000 | 75952 70568 121 | 0.000 % |
812.96/813.31 c | 1336308 | 800 16000 80000 | 75952 71968 121 | 0.000 % |
813.76/814.15 c | 1337849 | 800 16000 80000 | 75952 73509 121 | 0.000 % |
814.76/815.13 c | 1339543 | 800 16000 80000 | 75952 75203 121 | 0.000 % |
815.96/816.35 c | 1341406 | 800 16000 80000 | 75662 68123 121 | 0.000 % |
817.16/817.60 c | 1343455 | 800 16000 80000 | 75662 70172 121 | 0.000 % |
818.56/818.96 c | 1345708 | 800 16000 80000 | 75662 72425 120 | 0.000 % |
820.06/820.48 c | 1348188 | 800 16000 80000 | 75662 74905 120 | 0.000 % |
821.86/822.26 c | 1350914 | 800 16000 80000 | 67466 60254 119 | 0.000 % |
823.56/823.99 c | 1353911 | 800 16000 80000 | 67466 63251 118 | 0.000 % |
825.56/825.90 c | 1357210 | 800 16000 80000 | 67466 66550 118 | 0.000 % |
827.66/828.00 c | 1360837 | 800 16000 80000 | 2147483647 63404 117 | 0.000 % |
829.85/830.24 c | 1364824 | 800 16000 80000 | 2147483647 67391 117 | 0.000 % |
832.45/832.85 c | 1369211 | 800 16000 80000 | 2147483647 71778 118 | 0.000 % |
835.75/836.15 c | 1374035 | 800 16000 80000 | 2147483647 76602 118 | 0.000 % |
839.35/839.71 c | 1379341 | 800 16000 80000 | 2147483647 81908 119 | 0.000 % |
843.25/843.62 c | 1385177 | 800 16000 80000 | 82569 75865 119 | 0.000 % |
847.45/847.83 c | 1391595 | 800 16000 80000 | 80689 71072 117 | 0.000 % |
851.94/852.30 c | 1398654 | 800 16000 80000 | 80689 78131 117 | 0.000 % |
857.14/857.57 c | 1406418 | 800 16000 80000 | 79478 74409 119 | 0.000 % |
862.64/863.08 c | 1414958 | 800 16000 80000 | 77994 72148 119 | 0.000 % |
868.84/869.21 c | 1424353 | 800 16000 80000 | 77190 71568 120 | 0.000 % |
875.64/876.05 c | 1434687 | 800 16000 80000 | 77215 71848 120 | 0.000 % |
883.23/883.64 c | 1446054 | 800 16000 80000 | 77161 73126 120 | 0.000 % |
891.13/891.58 c | 1458556 | 800 16000 80000 | 77072 75105 120 | 0.000 % |
891.23/891.66 c | 1458657 | 800 16000 80000 | 77072 75206 120 | 0.000 % |
891.33/891.75 c | 1458769 | 800 16000 80000 | 77072 75318 120 | 0.000 % |
891.43/891.84 c | 1458891 | 800 16000 80000 | 77072 75440 120 | 0.000 % |
891.53/891.92 c | 1459024 | 800 16000 80000 | 77072 75573 120 | 0.000 % |
891.64/892.06 c | 1459170 | 800 16000 80000 | 77072 75719 120 | 0.000 % |
891.83/892.20 c | 1459333 | 800 16000 80000 | 77072 75882 120 | 0.000 % |
891.93/892.33 c | 1459510 | 800 16000 80000 | 77072 76059 120 | 0.000 % |
892.03/892.48 c | 1459704 | 800 16000 80000 | 77072 76253 120 | 0.000 % |
892.23/892.64 c | 1459916 | 800 16000 80000 | 77072 76465 120 | 0.000 % |
892.43/892.82 c | 1460151 | 800 16000 80000 | 76549 76700 120 | 0.000 % |
892.63/893.02 c | 1460407 | 800 16000 80000 | 76549 65832 120 | 0.000 % |
892.74/893.17 c | 1460688 | 800 16000 80000 | 76549 66113 120 | 0.000 % |
892.93/893.39 c | 1460997 | 800 16000 80000 | 76549 66422 120 | 0.000 % |
893.23/893.61 c | 1461336 | 800 16000 80000 | 76549 66761 120 | 0.000 % |
893.43/893.86 c | 1461708 | 800 16000 80000 | 76549 67133 120 | 0.000 % |
893.73/894.10 c | 1462117 | 800 16000 80000 | 76549 67542 120 | 0.000 % |
893.94/894.37 c | 1462566 | 800 16000 80000 | 76549 67991 120 | 0.000 % |
894.33/894.71 c | 1463059 | 800 16000 80000 | 76549 68484 120 | 0.000 % |
894.63/895.09 c | 1463601 | 800 16000 80000 | 76549 69026 120 | 0.000 % |
895.03/895.47 c | 1464199 | 800 16000 80000 | 76549 69624 119 | 0.000 % |
895.43/895.89 c | 1464855 | 800 16000 80000 | 76549 70280 119 | 0.000 % |
895.93/896.33 c | 1465576 | 800 16000 80000 | 76549 71001 119 | 0.000 % |
896.44/896.88 c | 1466369 | 800 16000 80000 | 76549 71794 119 | 0.000 % |
897.04/897.45 c | 1467240 | 800 16000 80000 | 76549 72665 119 | 0.000 % |
897.64/898.02 c | 1468198 | 800 16000 80000 | 76549 73623 119 | 0.000 % |
898.24/898.70 c | 1469251 | 800 16000 80000 | 76549 74676 119 | 0.000 % |
899.14/899.53 c | 1470411 | 800 16000 80000 | 75425 66080 118 | 0.000 % |
899.94/900.34 c | 1471685 | 800 16000 80000 | 75425 67354 118 | 0.000 % |
900.84/901.26 c | 1473085 | 800 16000 80000 | 75425 68754 118 | 0.000 % |
901.84/902.28 c | 1474625 | 800 16000 80000 | 75425 70294 118 | 0.000 % |
902.94/903.32 c | 1476320 | 800 16000 80000 | 75425 71989 118 | 0.000 % |
904.04/904.44 c | 1478185 | 800 16000 80000 | 75425 73854 118 | 0.000 % |
905.24/905.63 c | 1480234 | 800 16000 80000 | 75671 75903 118 | 0.000 % |
906.53/906.99 c | 1482488 | 800 16000 80000 | 75671 69102 118 | 0.000 % |
908.03/908.45 c | 1484967 | 800 16000 80000 | 75671 71581 118 | 0.000 % |
909.73/910.12 c | 1487693 | 800 16000 80000 | 75671 74307 118 | 0.000 % |
911.83/912.20 c | 1490690 | 800 16000 80000 | 68243 61417 118 | 0.000 % |
913.64/914.06 c | 1493986 | 800 16000 80000 | 68243 64713 118 | 0.000 % |
915.73/916.18 c | 1497612 | 800 16000 80000 | 68243 68339 117 | 0.000 % |
918.04/918.47 c | 1501599 | 800 16000 80000 | 2147483647 65493 117 | 0.000 % |
920.63/921.02 c | 1505985 | 800 16000 80000 | 2147483647 69879 117 | 0.000 % |
923.63/924.03 c | 1510808 | 800 16000 80000 | 73894 66980 116 | 0.000 % |
926.83/927.23 c | 1516114 | 800 16000 80000 | 73894 72286 116 | 0.000 % |
930.53/930.93 c | 1521950 | 800 16000 80000 | 67795 62157 115 | 0.000 % |
934.13/934.56 c | 1528369 | 800 16000 80000 | 67795 61766 116 | 0.000 % |
938.13/938.53 c | 1535428 | 800 16000 80000 | 2147483647 68825 116 | 0.000 % |
943.22/943.68 c | 1543192 | 800 16000 80000 | 2147483647 76589 116 | 0.000 % |
949.52/949.91 c | 1551733 | 800 16000 80000 | 83397 73012 117 | 0.000 % |
955.82/956.24 c | 1561127 | 800 16000 80000 | 81281 70489 118 | 0.000 % |
962.92/963.34 c | 1571460 | 800 16000 80000 | 79363 69345 119 | 0.000 % |
971.22/971.61 c | 1582826 | 800 16000 80000 | 77885 69909 120 | 0.000 % |
979.62/980.00 c | 1595329 | 800 16000 80000 | 77083 72558 120 | 0.000 % |
989.11/989.50 c | 1609081 | 800 16000 80000 | 77230 76605 121 | 0.000 % |
989.11/989.57 c | 1609181 | 800 16000 80000 | 77230 76705 121 | 0.000 % |
989.21/989.65 c | 1609295 | 800 16000 80000 | 77230 76819 121 | 0.000 % |
989.31/989.74 c | 1609416 | 800 16000 80000 | 77230 76940 121 | 0.000 % |
989.41/989.84 c | 1609549 | 800 16000 80000 | 77230 77073 121 | 0.000 % |
989.51/989.95 c | 1609696 | 800 16000 80000 | 77230 77220 121 | 0.000 % |
989.61/990.06 c | 1609856 | 800 16000 80000 | 77230 77380 121 | 0.000 % |
989.81/990.24 c | 1610033 | 800 16000 80000 | 67150 67182 121 | 0.000 % |
989.91/990.39 c | 1610226 | 800 16000 80000 | 67150 58356 121 | 0.000 % |
990.11/990.51 c | 1610438 | 800 16000 80000 | 67150 58568 121 | 0.000 % |
990.21/990.64 c | 1610671 | 800 16000 80000 | 67150 58801 121 | 0.000 % |
990.31/990.79 c | 1610927 | 800 16000 80000 | 67150 59057 121 | 0.000 % |
990.51/990.95 c | 1611213 | 800 16000 80000 | 67150 59343 121 | 0.000 % |
990.61/991.09 c | 1611522 | 800 16000 80000 | 67150 59652 121 | 0.000 % |
990.91/991.30 c | 1611862 | 800 16000 80000 | 67150 59992 121 | 0.000 % |
991.11/991.52 c | 1612234 | 800 16000 80000 | 67150 60364 120 | 0.000 % |
991.31/991.73 c | 1612643 | 800 16000 80000 | 67150 60773 120 | 0.000 % |
991.51/991.99 c | 1613095 | 800 16000 80000 | 67150 61225 120 | 0.000 % |
991.81/992.24 c | 1613588 | 800 16000 80000 | 67150 61718 120 | 0.000 % |
992.11/992.54 c | 1614130 | 800 16000 80000 | 67150 62260 120 | 0.000 % |
992.41/992.86 c | 1614729 | 800 16000 80000 | 67150 62859 120 | 0.000 % |
992.81/993.25 c | 1615384 | 800 16000 80000 | 67150 63514 120 | 0.000 % |
993.21/993.69 c | 1616105 | 800 16000 80000 | 67150 64235 120 | 0.000 % |
993.71/994.17 c | 1616898 | 800 16000 80000 | 67150 65028 120 | 0.000 % |
994.31/994.71 c | 1617770 | 800 16000 80000 | 67150 65900 120 | 0.000 % |
994.81/995.23 c | 1618728 | 800 16000 80000 | 67150 66858 119 | 0.000 % |
995.40/995.84 c | 1619781 | 800 16000 80000 | 67150 61167 118 | 0.000 % |
996.00/996.46 c | 1620941 | 800 16000 80000 | 2147483647 62327 118 | 0.000 % |
996.70/997.10 c | 1622216 | 800 16000 80000 | 2147483647 63602 118 | 0.000 % |
997.40/997.89 c | 1623617 | 800 16000 80000 | 2147483647 65003 118 | 0.000 % |
998.41/998.89 c | 1625158 | 800 16000 80000 | 2147483647 66544 118 | 0.000 % |
999.41/999.87 c | 1626852 | 800 16000 80000 | 2147483647 68238 118 | 0.000 % |
1000.51/1000.97 c | 1628716 | 800 16000 80000 | 2147483647 70102 118 | 0.000 % |
1001.71/1002.19 c | 1630766 | 800 16000 80000 | 2147483647 72152 118 | 0.000 % |
1003.10/1003.50 c | 1633020 | 800 16000 80000 | 2147483647 74406 118 | 0.000 % |
1004.60/1005.02 c | 1635500 | 800 16000 80000 | 2147483647 76886 118 | 0.000 % |
1006.50/1006.92 c | 1638226 | 800 16000 80000 | 2147483647 79612 118 | 0.000 % |
1008.50/1008.99 c | 1641223 | 800 16000 80000 | 81386 71417 117 | 0.000 % |
1010.60/1011.02 c | 1644519 | 800 16000 80000 | 81386 74713 117 | 0.000 % |
1012.80/1013.26 c | 1648144 | 800 16000 80000 | 81386 78338 117 | 0.000 % |
1015.50/1015.98 c | 1652131 | 800 16000 80000 | 80195 71134 117 | 0.000 % |
1018.30/1018.74 c | 1656518 | 800 16000 80000 | 80195 75521 117 | 0.000 % |
1021.50/1021.99 c | 1661343 | 800 16000 80000 | 79004 69204 117 | 0.000 % |
1024.70/1025.13 c | 1666648 | 800 16000 80000 | 79004 74509 117 | 0.000 % |
1028.29/1028.74 c | 1672485 | 800 16000 80000 | 77861 70770 117 | 0.000 % |
1032.59/1033.08 c | 1678904 | 800 16000 80000 | 77861 77189 118 | 0.000 % |
1036.90/1037.38 c | 1685965 | 800 16000 80000 | 68430 65838 119 | 0.000 % |
1041.89/1042.39 c | 1693729 | 800 16000 80000 | 2147483647 66731 119 | 0.000 % |
1047.69/1048.16 c | 1702269 | 800 16000 80000 | 2147483647 75271 119 | 0.000 % |
1053.98/1054.48 c | 1711664 | 800 16000 80000 | 83003 73418 120 | 0.000 % |
1061.48/1061.91 c | 1721997 | 800 16000 80000 | 81755 70992 121 | 0.000 % |
1068.98/1069.45 c | 1733363 | 800 16000 80000 | 78997 70515 121 | 0.000 % |
1077.38/1077.90 c | 1745866 | 800 16000 80000 | 77154 72570 122 | 0.000 % |
1087.48/1087.94 c | 1759619 | 800 16000 80000 | 76704 76531 122 | 0.000 % |
1098.97/1099.40 c | 1774746 | 800 16000 80000 | 75939 70437 123 | 0.000 % |
1098.97/1099.49 c | 1774846 | 800 16000 80000 | 75939 70537 123 | 0.000 % |
1099.07/1099.58 c | 1774957 | 800 16000 80000 | 75939 70648 123 | 0.000 % |
1099.17/1099.67 c | 1775078 | 800 16000 80000 | 75939 70769 123 | 0.000 % |
1099.27/1099.79 c | 1775213 | 800 16000 80000 | 75939 70904 123 | 0.000 % |
1099.37/1099.89 c | 1775360 | 800 16000 80000 | 75939 71051 123 | 0.000 % |
1099.47/1099.99 c | 1775521 | 800 16000 80000 | 75939 71212 123 | 0.000 % |
1099.67/1100.12 c | 1775697 | 800 16000 80000 | 75939 71388 123 | 0.000 % |
1099.77/1100.27 c | 1775890 | 800 16000 80000 | 75939 71581 123 | 0.000 % |
1099.97/1100.41 c | 1776104 | 800 16000 80000 | 75939 71795 123 | 0.000 % |
1100.07/1100.56 c | 1776337 | 800 16000 80000 | 75939 72028 122 | 0.000 % |
1100.27/1100.72 c | 1776593 | 800 16000 80000 | 75939 72284 122 | 0.000 % |
1100.47/1100.90 c | 1776875 | 800 16000 80000 | 75939 72566 122 | 0.000 % |
1100.57/1101.10 c | 1777185 | 800 16000 80000 | 75939 72876 122 | 0.000 % |
1100.77/1101.28 c | 1777524 | 800 16000 80000 | 75939 73215 122 | 0.000 % |
1101.07/1101.52 c | 1777897 | 800 16000 80000 | 75939 73588 122 | 0.000 % |
1101.27/1101.77 c | 1778309 | 800 16000 80000 | 75939 74000 122 | 0.000 % |
1101.57/1102.05 c | 1778759 | 800 16000 80000 | 75939 74450 122 | 0.000 % |
1101.87/1102.34 c | 1779252 | 800 16000 80000 | 75939 74943 122 | 0.000 % |
1102.17/1102.65 c | 1779794 | 800 16000 80000 | 75939 75485 122 | 0.000 % |
1102.57/1103.05 c | 1780391 | 800 16000 80000 | 75693 65835 122 | 0.000 % |
1102.97/1103.43 c | 1781046 | 800 16000 80000 | 75693 66490 122 | 0.000 % |
1103.37/1103.84 c | 1781768 | 800 16000 80000 | 75693 67212 122 | 0.000 % |
1103.77/1104.27 c | 1782563 | 800 16000 80000 | 75693 68007 121 | 0.000 % |
1104.37/1104.83 c | 1783434 | 800 16000 80000 | 75693 68878 121 | 0.000 % |
1104.97/1105.42 c | 1784392 | 800 16000 80000 | 75693 69836 121 | 0.000 % |
1105.57/1106.05 c | 1785446 | 800 16000 80000 | 75693 70890 121 | 0.000 % |
1106.37/1106.85 c | 1786605 | 800 16000 80000 | 75693 72049 121 | 0.000 % |
1107.17/1107.63 c | 1787879 | 800 16000 80000 | 75693 73323 121 | 0.000 % |
1108.07/1108.54 c | 1789280 | 800 16000 80000 | 75693 74724 121 | 0.000 % |
1109.17/1109.64 c | 1790820 | 800 16000 80000 | 75444 66523 120 | 0.000 % |
1110.07/1110.60 c | 1792516 | 800 16000 80000 | 75444 68219 120 | 0.000 % |
1111.07/1111.59 c | 1794379 | 800 16000 80000 | 75444 70082 120 | 0.000 % |
1112.26/1112.77 c | 1796428 | 800 16000 80000 | 75444 72131 119 | 0.000 % |
1113.66/1114.13 c | 1798681 | 800 16000 80000 | 75444 74384 119 | 0.000 % |
1115.26/1115.79 c | 1801161 | 800 16000 80000 | 75705 67654 119 | 0.000 % |
1116.96/1117.40 c | 1803887 | 800 16000 80000 | 75705 70380 119 | 0.000 % |
1118.86/1119.32 c | 1806885 | 800 16000 80000 | 75705 73378 119 | 0.000 % |
1121.06/1121.53 c | 1810181 | 800 16000 80000 | 67594 67775 119 | 0.000 % |
1123.16/1123.63 c | 1813808 | 800 16000 80000 | 67594 63588 118 | 0.000 % |
1125.36/1125.87 c | 1817795 | 800 16000 80000 | 67594 67575 118 | 0.000 % |
1127.96/1128.49 c | 1822181 | 800 16000 80000 | 2147483647 65173 117 | 0.000 % |
1131.06/1131.56 c | 1827004 | 800 16000 80000 | 2147483647 69996 117 | 0.000 % |
1134.16/1134.65 c | 1832309 | 800 16000 80000 | 72992 67680 117 | 0.000 % |
1137.56/1138.09 c | 1838145 | 800 16000 80000 | 72992 65687 116 | 0.000 % |
1141.26/1141.71 c | 1844563 | 800 16000 80000 | 67543 65243 117 | 0.000 % |
1145.05/1145.55 c | 1851624 | 800 16000 80000 | 2147483647 65521 118 | 0.000 % |
1149.75/1150.24 c | 1859388 | 800 16000 80000 | 2147483647 73285 118 | 0.000 % |
1155.45/1155.99 c | 1867928 | 800 16000 80000 | 2147483647 81825 118 | 0.000 % |
1161.95/1162.45 c | 1877322 | 800 16000 80000 | 83898 79987 119 | 0.000 % |
1169.15/1169.65 c | 1887655 | 800 16000 80000 | 82668 77924 119 | 0.000 % |
1176.75/1177.20 c | 1899022 | 800 16000 80000 | 80269 76669 119 | 0.000 % |
1184.45/1184.91 c | 1911525 | 800 16000 80000 | 76130 67123 121 | 0.000 % |
1192.84/1193.34 c | 1925278 | 800 16000 80000 | 75599 70524 120 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832463-1242773672/watcher-1832463-1242773672 -o /tmp/evaluation-result-1832463-1242773672/solver-1832463-1242773672 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832463-1242773672.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29442
/proc/meminfo: memFree=1863816/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 276 0 0 0 0 0 0 0 20 0 1 0 305396434 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254613880914 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/29442/statm: 1339 235 195 169 0 50 0
[pid=29443] ppid=29442 vsize=5356 CPUtime=0
/proc/29443/stat : 29443 (SatELiteGTI) S 29442 29442 29318 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 305396435 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/29443/statm: 1339 238 198 169 0 50 0
[pid=29445] ppid=29443 vsize=192 CPUtime=0
/proc/29445/stat : 29445 (sed) R 29443 29442 29318 0 -1 4194304 42 0 0 0 0 0 0 0 23 0 1 0 305396435 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 254611092757 0 0 4096 0 0 0 0 17 1 0 0
/proc/29445/statm: 48 23 16 11 0 11 0
[startup+0.0521429 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29442
/proc/meminfo: memFree=1863816/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.102141 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29442
/proc/meminfo: memFree=1863816/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301164 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29442
/proc/meminfo: memFree=1863816/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701208 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29442
/proc/meminfo: memFree=1863816/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1859248/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=6320 CPUtime=1.43
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 1317 0 0 0 143 0 0 0 25 0 1 0 305396439 6471680 1303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 1580 1303 77 171 0 1407 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11676
[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1856304/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=10712 CPUtime=3.03
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 2406 0 0 0 302 1 0 0 25 0 1 0 305396439 10969088 2392 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 2678 2392 77 171 0 2505 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16068
[startup+6.30183 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1849136/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=16572 CPUtime=6.23
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 3880 0 0 0 621 2 0 0 25 0 1 0 305396439 16969728 3866 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 4143 3866 77 171 0 3970 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21928
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1840440/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=24572 CPUtime=12.63
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 5866 0 0 0 1258 5 0 0 25 0 1 0 305396439 25161728 5852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 6143 5852 77 171 0 5970 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29928
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1828920/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=35648 CPUtime=25.43
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 8639 0 0 0 2535 8 0 0 25 0 1 0 305396439 36503552 8625 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 8912 8625 77 171 0 8739 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41004
[startup+51.1018 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 29448
/proc/meminfo: memFree=1826424/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=37892 CPUtime=51.02
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 9200 0 0 0 5093 9 0 0 25 0 1 0 305396439 38801408 9186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 9473 9186 77 171 0 9300 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 43248
[startup+102.306 s]
/proc/loadavg: 1.08 1.03 1.00 2/67 29448
/proc/meminfo: memFree=1825400/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=38816 CPUtime=102.2
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 9414 0 0 0 10211 9 0 0 25 0 1 0 305396439 39747584 9400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 9704 9400 77 171 0 9531 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 44172
[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 29448
/proc/meminfo: memFree=1820152/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=43832 CPUtime=162.17
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 10686 0 0 0 16206 11 0 0 25 0 1 0 305396439 44883968 10672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 10958 10672 77 171 0 10785 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 49188
[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 29448
/proc/meminfo: memFree=1819192/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=44624 CPUtime=222.15
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 10899 0 0 0 22203 12 0 0 25 0 1 0 305396439 45694976 10885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11156 10885 77 171 0 10983 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 49980
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 29448
/proc/meminfo: memFree=1818872/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=44888 CPUtime=282.12
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 10958 0 0 0 28200 12 0 0 25 0 1 0 305396439 45965312 10944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11222 10944 77 171 0 11049 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 50244
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29448
/proc/meminfo: memFree=1818744/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=45012 CPUtime=342.1
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 10970 0 0 0 34198 12 0 0 25 0 1 0 305396439 46092288 10956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11253 10956 77 171 0 11080 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 50368
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1817208/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=46100 CPUtime=402.07
################
# More data... #
################
/proc/29448/statm: 11764 11493 77 171 0 11591 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 52412
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1815992/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=47188 CPUtime=642
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11530 0 0 0 64187 13 0 0 25 0 1 0 305396439 48320512 11498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11797 11498 77 171 0 11624 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 52544
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1815800/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=47188 CPUtime=701.97
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11530 0 0 0 70184 13 0 0 25 0 1 0 305396439 48320512 11498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11797 11498 77 171 0 11624 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 52544
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1815480/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=47452 CPUtime=761.95
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11595 0 0 0 76182 13 0 0 25 0 1 0 305396439 48590848 11563 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11863 11563 77 171 0 11690 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 52808
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1815416/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=47448 CPUtime=821.93
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11595 0 0 0 82180 13 0 0 25 0 1 0 305396439 48586752 11563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 11862 11563 77 171 0 11689 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 52804
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1814648/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=48112 CPUtime=881.91
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11766 0 0 0 88178 13 0 0 25 0 1 0 305396439 49266688 11734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12028 11734 77 171 0 11855 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 53468
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1814520/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=48112 CPUtime=941.89
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11766 0 0 0 94175 14 0 0 25 0 1 0 305396439 49266688 11734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12028 11734 77 171 0 11855 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 53468
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1814328/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=48244 CPUtime=1001.87
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 11797 0 0 0 100173 14 0 0 25 0 1 0 305396439 49401856 11765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12061 11765 77 171 0 11888 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 53600
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1813048/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=49320 CPUtime=1061.85
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 12087 0 0 0 106171 14 0 0 25 0 1 0 305396439 50503680 12054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12330 12054 77 171 0 12157 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 54676
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1814008/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=48104 CPUtime=1121.83
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 12087 0 0 0 112169 14 0 0 25 0 1 0 305396439 49258496 11757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12026 11757 77 171 0 11853 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 53460
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1812728/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=49552 CPUtime=1181.82
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 12426 0 0 0 118167 15 0 0 25 0 1 0 305396439 50741248 12095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12388 12095 77 171 0 12215 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 54908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1812728/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=49552 CPUtime=1200.02
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 12426 0 0 0 119987 15 0 0 25 0 1 0 305396439 50741248 12095 1992294400 134512640 135215339 4294956240 18446744073709551615 134529057 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12388 12095 77 171 0 12215 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 54908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29454
/proc/meminfo: memFree=1812728/2055920 swapFree=4138604/4192956
[pid=29442] ppid=29440 vsize=5356 CPUtime=0.03
/proc/29442/stat : 29442 (SatELiteGTI) S 29440 29442 29318 0 -1 4194304 336 691 0 0 0 0 3 0 19 0 1 0 305396434 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29442/statm: 1339 239 197 169 0 50 0
[pid=29448] ppid=29442 vsize=49552 CPUtime=1200.02
/proc/29448/stat : 29448 (minisat_static) R 29442 29442 29318 0 -1 4194304 12426 0 0 0 119987 15 0 0 25 0 1 0 305396439 50741248 12095 1992294400 134512640 135215339 4294956240 18446744073709551615 134529057 0 0 4096 3 0 0 0 17 1 0 0
/proc/29448/statm: 12388 12095 77 171 0 12215 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 54908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29442 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=37994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.046992
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.9
CPU system time (s): 0.15
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 54908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 11
runsolver used 1.2768 second user time and 3.22751 second system time
The end
Begin job on node87 at 2009-05-20 00:54:33
IDJOB=1832463
IDBENCH=70195
IDSOLVER=671
FILE ID=node87/1832463-1242773672
PBS_JOBID= 9322217
Free space on /tmp= 65912 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S251246256-047.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832463-1242773672/watcher-1832463-1242773672 -o /tmp/evaluation-result-1832463-1242773672/solver-1832463-1242773672 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832463-1242773672.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8f73ab57f6037e66eefb750c3e8213fd
RANDOM SEED=882859424
node87.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1864232 kB
Buffers: 11888 kB
Cached: 98692 kB
SwapCached: 48472 kB
Active: 45964 kB
Inactive: 115176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1864232 kB
SwapTotal: 4192956 kB
SwapFree: 4138604 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 16396 kB
Committed_AS: 975132 kB
PageTables: 1480 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= 65908 MiB
End job on node87 at 2009-05-20 01:14:35