0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 800 |
0.00/0.05 c | Number of clauses: 16000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.00/0.07 c | 101 | 800 16000 80000 | 5333 101 111 | 0.000 % |
0.00/0.08 c | 206 | 800 16000 80000 | 5333 206 108 | 0.000 % |
0.00/0.09 c | 307 | 800 16000 80000 | 5333 307 108 | 0.000 % |
0.03/0.10 c | 420 | 800 16000 80000 | 5333 420 105 | 0.000 % |
0.03/0.11 c | 520 | 800 16000 80000 | 5333 520 104 | 0.000 % |
0.03/0.12 c | 630 | 800 16000 80000 | 5333 630 103 | 0.000 % |
0.03/0.13 c | 752 | 800 16000 80000 | 5333 752 103 | 0.000 % |
0.03/0.14 c | 853 | 800 16000 80000 | 5333 853 104 | 0.000 % |
0.03/0.15 c | 964 | 800 16000 80000 | 5333 964 104 | 0.000 % |
0.03/0.17 c | 1086 | 800 16000 80000 | 5333 1086 103 | 0.000 % |
0.03/0.18 c | 1221 | 800 16000 80000 | 5333 1221 102 | 0.000 % |
0.03/0.19 c | 1321 | 800 16000 80000 | 5333 1321 102 | 0.000 % |
0.03/0.20 c | 1432 | 800 16000 80000 | 5333 1432 103 | 0.000 % |
0.03/0.21 c | 1553 | 800 16000 80000 | 5333 1553 102 | 0.000 % |
0.03/0.23 c | 1686 | 800 16000 80000 | 5333 1686 102 | 0.000 % |
0.03/0.24 c | 1833 | 800 16000 80000 | 5333 1833 102 | 0.000 % |
0.03/0.25 c | 1933 | 800 16000 80000 | 5333 1933 102 | 0.000 % |
0.03/0.26 c | 2043 | 800 16000 80000 | 5333 2043 101 | 0.000 % |
0.03/0.27 c | 2164 | 800 16000 80000 | 5333 2164 101 | 0.000 % |
0.03/0.29 c | 2300 | 800 16000 80000 | 5333 2300 101 | 0.000 % |
0.03/0.30 c | 2446 | 800 16000 80000 | 5333 2446 101 | 0.000 % |
0.03/0.32 c | 2607 | 800 16000 80000 | 5333 2607 102 | 0.000 % |
0.03/0.33 c | 2709 | 800 16000 80000 | 5333 2709 101 | 0.000 % |
0.03/0.34 c | 2819 | 800 16000 80000 | 5333 2819 102 | 0.000 % |
0.03/0.35 c | 2940 | 800 16000 80000 | 5333 2940 101 | 0.000 % |
0.03/0.36 c | 3074 | 800 16000 80000 | 5333 3074 101 | 0.000 % |
0.03/0.38 c | 3220 | 800 16000 80000 | 5333 3220 101 | 0.000 % |
0.03/0.39 c | 3383 | 800 16000 80000 | 5333 3383 101 | 0.000 % |
0.03/0.41 c | 3559 | 800 16000 80000 | 5333 3559 101 | 0.000 % |
0.03/0.42 c | 3661 | 800 16000 80000 | 5333 3661 101 | 0.000 % |
0.03/0.44 c | 3771 | 800 16000 80000 | 5333 3771 100 | 0.000 % |
0.03/0.45 c | 3894 | 800 16000 80000 | 5333 3894 101 | 0.000 % |
0.03/0.46 c | 4027 | 800 16000 80000 | 5333 4027 101 | 0.000 % |
0.03/0.48 c | 4173 | 800 16000 80000 | 5333 4173 101 | 0.000 % |
0.03/0.50 c | 4333 | 800 16000 80000 | 5333 4333 101 | 0.000 % |
0.03/0.52 c | 4509 | 800 16000 80000 | 5333 4509 101 | 0.000 % |
0.03/0.54 c | 4703 | 800 16000 80000 | 5333 4703 101 | 0.000 % |
0.03/0.55 c | 4803 | 800 16000 80000 | 5333 4803 101 | 0.000 % |
0.03/0.56 c | 4914 | 800 16000 80000 | 5333 4914 101 | 0.000 % |
0.03/0.58 c | 5035 | 800 16000 80000 | 5333 5035 101 | 0.000 % |
0.03/0.59 c | 5168 | 800 16000 80000 | 5333 5168 101 | 0.000 % |
0.03/0.61 c | 5316 | 800 16000 80000 | 5333 5316 101 | 0.000 % |
0.03/0.63 c | 5477 | 800 16000 80000 | 5333 5477 102 | 0.000 % |
0.03/0.65 c | 5655 | 800 16000 80000 | 5333 5108 101 | 0.000 % |
0.03/0.67 c | 5848 | 800 16000 80000 | 5333 5301 101 | 0.000 % |
0.03/0.70 c | 6061 | 800 16000 80000 | 5333 5514 101 | 0.000 % |
0.03/0.71 c | 6161 | 800 16000 80000 | 5333 5063 101 | 0.000 % |
0.03/0.73 c | 6271 | 800 16000 80000 | 5333 5173 101 | 0.000 % |
0.03/0.74 c | 6392 | 800 16000 80000 | 5333 5294 101 | 0.000 % |
0.03/0.75 c | 6526 | 800 16000 80000 | 5333 5428 101 | 0.000 % |
0.03/0.77 c | 6674 | 800 16000 80000 | 5333 5034 100 | 0.000 % |
0.03/0.79 c | 6835 | 800 16000 80000 | 5333 5195 100 | 0.000 % |
0.03/0.81 c | 7011 | 800 16000 80000 | 5333 5371 101 | 0.000 % |
0.03/0.83 c | 7204 | 800 16000 80000 | 5333 5027 102 | 0.000 % |
0.03/0.86 c | 7418 | 800 16000 80000 | 5333 5241 102 | 0.000 % |
0.03/0.89 c | 7652 | 800 16000 80000 | 5333 5475 102 | 0.000 % |
0.03/0.90 c | 7752 | 800 16000 80000 | 5333 5028 101 | 0.000 % |
0.03/0.91 c | 7862 | 800 16000 80000 | 5333 5138 101 | 0.000 % |
0.03/0.93 c | 7983 | 800 16000 80000 | 5333 5259 101 | 0.000 % |
0.03/0.94 c | 8118 | 800 16000 80000 | 5333 5394 101 | 0.000 % |
0.03/0.96 c | 8264 | 800 16000 80000 | 5333 5001 102 | 0.000 % |
0.03/0.98 c | 8425 | 800 16000 80000 | 5333 5162 102 | 0.000 % |
0.03/1.00 c | 8601 | 800 16000 80000 | 5333 5338 102 | 0.000 % |
0.03/1.03 c | 8795 | 800 16000 80000 | 5333 4999 102 | 0.000 % |
0.03/1.05 c | 9008 | 800 16000 80000 | 5333 5212 103 | 0.000 % |
0.03/1.08 c | 9243 | 800 16000 80000 | 5333 5447 103 | 0.000 % |
1.07/1.11 c | 9500 | 800 16000 80000 | 5333 5160 104 | 0.000 % |
1.07/1.12 c | 9600 | 800 16000 80000 | 5333 5260 103 | 0.000 % |
1.07/1.13 c | 9713 | 800 16000 80000 | 5333 5373 103 | 0.000 % |
1.07/1.15 c | 9836 | 800 16000 80000 | 5333 4959 104 | 0.000 % |
1.07/1.16 c | 9970 | 800 16000 80000 | 5333 5093 104 | 0.000 % |
1.07/1.18 c | 10116 | 800 16000 80000 | 2147483647 5239 104 | 0.000 % |
1.07/1.20 c | 10278 | 800 16000 80000 | 2147483647 5401 104 | 0.000 % |
1.17/1.22 c | 10456 | 800 16000 80000 | 2147483647 5579 104 | 0.000 % |
1.17/1.24 c | 10649 | 800 16000 80000 | 2147483647 5772 104 | 0.000 % |
1.17/1.27 c | 10862 | 800 16000 80000 | 2147483647 5985 104 | 0.000 % |
1.17/1.29 c | 11096 | 800 16000 80000 | 2147483647 6219 104 | 0.000 % |
1.26/1.32 c | 11353 | 800 16000 80000 | 2147483647 6476 105 | 0.000 % |
1.26/1.36 c | 11634 | 800 16000 80000 | 2147483647 6757 105 | 0.000 % |
1.26/1.37 c | 11735 | 800 16000 80000 | 2147483647 6858 105 | 0.000 % |
1.26/1.38 c | 11845 | 800 16000 80000 | 2147483647 6968 105 | 0.000 % |
1.36/1.40 c | 11967 | 800 16000 80000 | 2147483647 7090 105 | 0.000 % |
1.36/1.42 c | 12101 | 800 16000 80000 | 2147483647 7224 105 | 0.000 % |
1.36/1.44 c | 12247 | 800 16000 80000 | 2147483647 7370 105 | 0.000 % |
1.36/1.46 c | 12410 | 800 16000 80000 | 2147483647 7533 105 | 0.000 % |
1.36/1.48 c | 12586 | 800 16000 80000 | 2147483647 7709 105 | 0.000 % |
1.46/1.51 c | 12780 | 800 16000 80000 | 2147483647 7903 106 | 0.000 % |
1.46/1.53 c | 12993 | 800 16000 80000 | 2147483647 8116 106 | 0.000 % |
1.46/1.56 c | 13226 | 800 16000 80000 | 2147483647 8349 106 | 0.000 % |
1.56/1.60 c | 13484 | 800 16000 80000 | 2147483647 8607 106 | 0.000 % |
1.56/1.64 c | 13765 | 800 16000 80000 | 2147483647 8888 107 | 0.000 % |
1.56/1.68 c | 14075 | 800 16000 80000 | 2147483647 9198 107 | 0.000 % |
1.56/1.70 c | 14176 | 800 16000 80000 | 2147483647 9299 107 | 0.000 % |
1.66/1.71 c | 14286 | 800 16000 80000 | 2147483647 9409 106 | 0.000 % |
1.66/1.73 c | 14407 | 800 16000 80000 | 2147483647 9530 106 | 0.000 % |
1.66/1.75 c | 14540 | 800 16000 80000 | 2147483647 9663 106 | 0.000 % |
1.66/1.77 c | 14686 | 800 16000 80000 | 2147483647 9809 106 | 0.000 % |
1.66/1.79 c | 14847 | 800 16000 80000 | 2147483647 9970 106 | 0.000 % |
1.76/1.82 c | 15023 | 800 16000 80000 | 2147483647 10146 106 | 0.000 % |
1.76/1.85 c | 15218 | 800 16000 80000 | 2147483647 10341 106 | 0.000 % |
1.76/1.88 c | 15430 | 800 16000 80000 | 2147483647 10553 106 | 0.000 % |
1.86/1.92 c | 15664 | 800 16000 80000 | 2147483647 10787 106 | 0.000 % |
1.86/1.96 c | 15921 | 800 16000 80000 | 2147483647 11044 106 | 0.000 % |
1.96/2.00 c | 16202 | 800 16000 80000 | 2147483647 11325 106 | 0.000 % |
1.96/2.05 c | 16511 | 800 16000 80000 | 2147483647 11634 106 | 0.000 % |
2.06/2.11 c | 16852 | 800 16000 80000 | 2147483647 11975 106 | 0.000 % |
2.06/2.12 c | 16953 | 800 16000 80000 | 2147483647 12076 106 | 0.000 % |
2.06/2.14 c | 17063 | 800 16000 80000 | 2147483647 12186 106 | 0.000 % |
2.06/2.16 c | 17185 | 800 16000 80000 | 2147483647 12308 106 | 0.000 % |
2.06/2.18 c | 17318 | 800 16000 80000 | 2147483647 12441 106 | 0.000 % |
2.16/2.21 c | 17464 | 800 16000 80000 | 2147483647 12587 106 | 0.000 % |
2.16/2.23 c | 17626 | 800 16000 80000 | 2147483647 12749 106 | 0.000 % |
2.16/2.26 c | 17802 | 800 16000 80000 | 2147483647 12925 105 | 0.000 % |
2.16/2.29 c | 17995 | 800 16000 80000 | 2147483647 13118 105 | 0.000 % |
2.26/2.33 c | 18207 | 800 16000 80000 | 2147483647 13330 105 | 0.000 % |
2.26/2.36 c | 18441 | 800 16000 80000 | 2147483647 13564 105 | 0.000 % |
2.35/2.41 c | 18699 | 800 16000 80000 | 2147483647 13822 105 | 0.000 % |
2.35/2.45 c | 18981 | 800 16000 80000 | 2147483647 14104 106 | 0.000 % |
2.45/2.51 c | 19290 | 800 16000 80000 | 2147483647 14413 106 | 0.000 % |
2.45/2.57 c | 19631 | 800 16000 80000 | 2147483647 14754 105 | 0.000 % |
2.55/2.63 c | 20005 | 800 16000 80000 | 2147483647 15128 106 | 0.000 % |
2.55/2.66 c | 20105 | 800 16000 80000 | 2147483647 15228 106 | 0.000 % |
2.55/2.68 c | 20216 | 800 16000 80000 | 2147483647 15339 106 | 0.000 % |
2.65/2.70 c | 20337 | 800 16000 80000 | 2147483647 15460 106 | 0.000 % |
2.65/2.73 c | 20472 | 800 16000 80000 | 2147483647 15595 106 | 0.000 % |
2.65/2.76 c | 20619 | 800 16000 80000 | 2147483647 15742 106 | 0.000 % |
2.65/2.79 c | 20779 | 800 16000 80000 | 2147483647 15902 106 | 0.000 % |
2.75/2.83 c | 20956 | 800 16000 80000 | 2147483647 16079 106 | 0.000 % |
2.75/2.86 c | 21151 | 800 16000 80000 | 2147483647 16274 106 | 0.000 % |
2.85/2.90 c | 21365 | 800 16000 80000 | 2147483647 16488 106 | 0.000 % |
2.85/2.95 c | 21600 | 800 16000 80000 | 2147483647 16723 106 | 0.000 % |
2.85/3.00 c | 21857 | 800 16000 80000 | 2147483647 16980 106 | 0.000 % |
2.95/3.05 c | 22138 | 800 16000 80000 | 2147483647 17261 106 | 0.000 % |
3.06/3.11 c | 22447 | 800 16000 80000 | 2147483647 17570 106 | 0.000 % |
3.06/3.17 c | 22787 | 800 16000 80000 | 2147483647 17910 106 | 0.000 % |
3.16/3.25 c | 23159 | 800 16000 80000 | 2147483647 18282 106 | 0.000 % |
3.26/3.32 c | 23568 | 800 16000 80000 | 2147483647 18691 106 | 0.000 % |
3.26/3.35 c | 23671 | 800 16000 80000 | 2147483647 18794 106 | 0.000 % |
3.26/3.37 c | 23781 | 800 16000 80000 | 2147483647 18904 106 | 0.000 % |
3.36/3.40 c | 23902 | 800 16000 80000 | 2147483647 19025 106 | 0.000 % |
3.36/3.43 c | 24035 | 800 16000 80000 | 2147483647 19158 106 | 0.000 % |
3.36/3.47 c | 24181 | 800 16000 80000 | 2147483647 19304 106 | 0.000 % |
3.45/3.50 c | 24342 | 800 16000 80000 | 2147483647 19465 106 | 0.000 % |
3.45/3.54 c | 24518 | 800 16000 80000 | 2147483647 19641 106 | 0.000 % |
3.45/3.59 c | 24714 | 800 16000 80000 | 2147483647 19837 106 | 0.000 % |
3.55/3.63 c | 24926 | 800 16000 80000 | 2147483647 20049 106 | 0.000 % |
3.55/3.68 c | 25160 | 800 16000 80000 | 2147483647 20283 106 | 0.000 % |
3.65/3.73 c | 25416 | 800 16000 80000 | 2147483647 20539 106 | 0.000 % |
3.65/3.79 c | 25698 | 800 16000 80000 | 2147483647 20821 106 | 0.000 % |
3.75/3.86 c | 26009 | 800 16000 80000 | 2147483647 21132 106 | 0.000 % |
3.85/3.95 c | 26348 | 800 16000 80000 | 2147483647 21471 106 | 0.000 % |
3.95/4.03 c | 26722 | 800 16000 80000 | 2147483647 21845 106 | 0.000 % |
4.05/4.12 c | 27131 | 800 16000 80000 | 2147483647 22254 106 | 0.000 % |
4.15/4.22 c | 27581 | 800 16000 80000 | 2147483647 22704 106 | 0.000 % |
4.15/4.25 c | 27681 | 800 16000 80000 | 2147483647 22804 106 | 0.000 % |
4.15/4.28 c | 27791 | 800 16000 80000 | 2147483647 22914 106 | 0.000 % |
4.25/4.30 c | 27912 | 800 16000 80000 | 2147483647 23035 106 | 0.000 % |
4.25/4.34 c | 28047 | 800 16000 80000 | 2147483647 23170 106 | 0.000 % |
4.25/4.37 c | 28193 | 800 16000 80000 | 2147483647 23316 106 | 0.000 % |
4.35/4.42 c | 28358 | 800 16000 80000 | 2147483647 23481 106 | 0.000 % |
4.35/4.47 c | 28534 | 800 16000 80000 | 2147483647 23657 106 | 0.000 % |
4.46/4.51 c | 28728 | 800 16000 80000 | 2147483647 23851 106 | 0.000 % |
4.46/4.57 c | 28942 | 800 16000 80000 | 2147483647 24065 106 | 0.000 % |
4.56/4.63 c | 29175 | 800 16000 80000 | 2147483647 24298 106 | 0.000 % |
4.56/4.69 c | 29433 | 800 16000 80000 | 2147483647 24556 106 | 0.000 % |
4.65/4.76 c | 29714 | 800 16000 80000 | 2147483647 24837 106 | 0.000 % |
4.75/4.85 c | 30024 | 800 16000 80000 | 2147483647 25147 106 | 0.000 % |
4.85/4.93 c | 30363 | 800 16000 80000 | 2147483647 25486 106 | 0.000 % |
4.95/5.03 c | 30736 | 800 16000 80000 | 2147483647 25859 106 | 0.000 % |
5.05/5.14 c | 31146 | 800 16000 80000 | 2147483647 26269 106 | 0.000 % |
5.15/5.26 c | 31597 | 800 16000 80000 | 2147483647 26720 106 | 0.000 % |
5.25/5.39 c | 32090 | 800 16000 80000 | 2147483647 27213 106 | 0.000 % |
5.35/5.42 c | 32191 | 800 16000 80000 | 2147483647 27314 106 | 0.000 % |
5.35/5.46 c | 32302 | 800 16000 80000 | 2147483647 27425 106 | 0.000 % |
5.35/5.49 c | 32423 | 800 16000 80000 | 2147483647 27546 106 | 0.000 % |
5.45/5.53 c | 32556 | 800 16000 80000 | 2147483647 27679 106 | 0.000 % |
5.45/5.58 c | 32703 | 800 16000 80000 | 2147483647 27826 106 | 0.000 % |
5.55/5.63 c | 32863 | 800 16000 80000 | 2147483647 27986 106 | 0.000 % |
5.55/5.68 c | 33040 | 800 16000 80000 | 2147483647 28163 106 | 0.000 % |
5.65/5.75 c | 33234 | 800 16000 80000 | 2147483647 28357 106 | 0.000 % |
5.75/5.81 c | 33446 | 800 16000 80000 | 2147483647 28569 106 | 0.000 % |
5.75/5.88 c | 33680 | 800 16000 80000 | 2147483647 28803 106 | 0.000 % |
5.85/5.95 c | 33936 | 800 16000 80000 | 2147483647 29059 106 | 0.000 % |
5.95/6.04 c | 34217 | 800 16000 80000 | 2147483647 29340 106 | 0.000 % |
6.05/6.13 c | 34526 | 800 16000 80000 | 2147483647 29649 106 | 0.000 % |
6.15/6.23 c | 34865 | 800 16000 80000 | 2147483647 29988 106 | 0.000 % |
6.25/6.33 c | 35237 | 800 16000 80000 | 2147483647 30360 106 | 0.000 % |
6.35/6.44 c | 35646 | 800 16000 80000 | 2147483647 30769 107 | 0.000 % |
6.45/6.57 c | 36097 | 800 16000 80000 | 2147483647 31220 107 | 0.000 % |
6.65/6.74 c | 36590 | 800 16000 80000 | 2147483647 31713 107 | 0.000 % |
6.85/6.90 c | 37133 | 800 16000 80000 | 2147483647 32256 107 | 0.000 % |
6.85/6.93 c | 37234 | 800 16000 80000 | 2147483647 32357 107 | 0.000 % |
6.85/6.97 c | 37346 | 800 16000 80000 | 2147483647 32469 107 | 0.000 % |
6.95/7.00 c | 37468 | 800 16000 80000 | 2147483647 32591 107 | 0.000 % |
6.95/7.05 c | 37601 | 800 16000 80000 | 2147483647 32724 107 | 0.000 % |
6.95/7.10 c | 37749 | 800 16000 80000 | 2147483647 32872 107 | 0.000 % |
7.05/7.15 c | 37910 | 800 16000 80000 | 2147483647 33033 107 | 0.000 % |
7.15/7.20 c | 38086 | 800 16000 80000 | 2147483647 33209 107 | 0.000 % |
7.15/7.28 c | 38280 | 800 16000 80000 | 2147483647 33403 107 | 0.000 % |
7.25/7.35 c | 38492 | 800 16000 80000 | 2147483647 33615 107 | 0.000 % |
7.35/7.43 c | 38726 | 800 16000 80000 | 2147483647 33849 107 | 0.000 % |
7.45/7.52 c | 38984 | 800 16000 80000 | 2147483647 34107 107 | 0.000 % |
7.55/7.61 c | 39265 | 800 16000 80000 | 2147483647 34388 107 | 0.000 % |
7.66/7.71 c | 39574 | 800 16000 80000 | 2147483647 34697 107 | 0.000 % |
7.76/7.84 c | 39916 | 800 16000 80000 | 2147483647 35039 107 | 0.000 % |
7.85/7.97 c | 40288 | 800 16000 80000 | 2147483647 35411 107 | 0.000 % |
8.05/8.11 c | 40697 | 800 16000 80000 | 2147483647 35820 107 | 0.000 % |
8.15/8.27 c | 41147 | 800 16000 80000 | 2147483647 36270 107 | 0.000 % |
8.35/8.45 c | 41640 | 800 16000 80000 | 2147483647 36763 107 | 0.000 % |
8.55/8.63 c | 42183 | 800 16000 80000 | 2147483647 37306 107 | 0.000 % |
8.75/8.84 c | 42783 | 800 16000 80000 | 2147483647 37906 107 | 0.000 % |
8.75/8.88 c | 42885 | 800 16000 80000 | 2147483647 38008 107 | 0.000 % |
8.85/8.92 c | 42996 | 800 16000 80000 | 2147483647 38119 107 | 0.000 % |
8.85/8.96 c | 43117 | 800 16000 80000 | 2147483647 38240 107 | 0.000 % |
8.95/9.01 c | 43251 | 800 16000 80000 | 2147483647 38374 107 | 0.000 % |
8.95/9.06 c | 43398 | 800 16000 80000 | 2147483647 38521 107 | 0.000 % |
9.04/9.13 c | 43559 | 800 16000 80000 | 2147483647 38682 107 | 0.000 % |
9.15/9.21 c | 43737 | 800 16000 80000 | 2147483647 38860 107 | 0.000 % |
9.15/9.28 c | 43930 | 800 16000 80000 | 2147483647 39053 107 | 0.000 % |
9.25/9.36 c | 44142 | 800 16000 80000 | 2147483647 39265 107 | 0.000 % |
9.35/9.45 c | 44377 | 800 16000 80000 | 2147483647 39500 107 | 0.000 % |
9.45/9.55 c | 44634 | 800 16000 80000 | 2147483647 39757 107 | 0.000 % |
9.54/9.65 c | 44915 | 800 16000 80000 | 2147483647 40038 107 | 0.000 % |
9.64/9.78 c | 45224 | 800 16000 80000 | 2147483647 40347 107 | 0.000 % |
9.85/9.91 c | 45563 | 800 16000 80000 | 2147483647 40686 107 | 0.000 % |
9.95/10.06 c | 45937 | 800 16000 80000 | 2147483647 41060 107 | 0.000 % |
10.14/10.23 c | 46349 | 800 16000 80000 | 2147483647 41472 107 | 0.000 % |
10.35/10.40 c | 46800 | 800 16000 80000 | 2147483647 41923 107 | 0.000 % |
10.45/10.58 c | 47293 | 800 16000 80000 | 2147483647 42416 107 | 0.000 % |
10.75/10.80 c | 47841 | 800 16000 80000 | 2147483647 42964 107 | 0.000 % |
10.95/11.01 c | 48437 | 800 16000 80000 | 2147483647 43560 107 | 0.000 % |
11.14/11.25 c | 49092 | 800 16000 80000 | 2147483647 44215 107 | 0.000 % |
11.24/11.31 c | 49192 | 800 16000 80000 | 2147483647 44315 107 | 0.000 % |
11.24/11.36 c | 49303 | 800 16000 80000 | 2147483647 44426 107 | 0.000 % |
11.34/11.41 c | 49426 | 800 16000 80000 | 2147483647 44549 107 | 0.000 % |
11.34/11.47 c | 49559 | 800 16000 80000 | 2147483647 44682 107 | 0.000 % |
11.45/11.54 c | 49705 | 800 16000 80000 | 2147483647 44828 107 | 0.000 % |
11.55/11.61 c | 49867 | 800 16000 80000 | 2147483647 44990 107 | 0.000 % |
11.55/11.68 c | 50043 | 800 16000 80000 | 2147483647 45166 107 | 0.000 % |
11.65/11.77 c | 50236 | 800 16000 80000 | 2147483647 45359 107 | 0.000 % |
11.75/11.86 c | 50449 | 800 16000 80000 | 2147483647 45572 107 | 0.000 % |
11.85/11.97 c | 50682 | 800 16000 80000 | 2147483647 45805 107 | 0.000 % |
11.95/12.08 c | 50940 | 800 16000 80000 | 2147483647 46063 107 | 0.000 % |
12.05/12.19 c | 51221 | 800 16000 80000 | 2147483647 46344 107 | 0.000 % |
12.25/12.32 c | 51532 | 800 16000 80000 | 2147483647 46655 107 | 0.000 % |
12.35/12.48 c | 51872 | 800 16000 80000 | 2147483647 46995 107 | 0.000 % |
12.55/12.65 c | 52244 | 800 16000 80000 | 2147483647 47367 107 | 0.000 % |
12.74/12.82 c | 52655 | 800 16000 80000 | 2147483647 47778 107 | 0.000 % |
12.94/13.02 c | 53104 | 800 16000 80000 | 2147483647 48227 107 | 0.000 % |
13.15/13.22 c | 53597 | 800 16000 80000 | 2147483647 48720 107 | 0.000 % |
13.34/13.49 c | 54142 | 800 16000 80000 | 2147483647 49265 107 | 0.000 % |
13.64/13.74 c | 54738 | 800 16000 80000 | 2147483647 49861 107 | 0.000 % |
13.95/14.04 c | 55393 | 800 16000 80000 | 2147483647 50516 107 | 0.000 % |
14.25/14.36 c | 56115 | 800 16000 80000 | 2147483647 51238 107 | 0.000 % |
14.35/14.41 c | 56216 | 800 16000 80000 | 2147483647 51339 107 | 0.000 % |
14.35/14.45 c | 56327 | 800 16000 80000 | 2147483647 51450 107 | 0.000 % |
14.44/14.52 c | 56449 | 800 16000 80000 | 2147483647 51572 107 | 0.000 % |
14.44/14.59 c | 56583 | 800 16000 80000 | 2147483647 51706 107 | 0.000 % |
14.54/14.67 c | 56731 | 800 16000 80000 | 2147483647 51854 107 | 0.000 % |
14.64/14.74 c | 56892 | 800 16000 80000 | 2147483647 52015 107 | 0.000 % |
14.74/14.84 c | 57070 | 800 16000 80000 | 2147483647 52193 107 | 0.000 % |
14.84/14.94 c | 57263 | 800 16000 80000 | 2147483647 52386 107 | 0.000 % |
14.94/15.04 c | 57475 | 800 16000 80000 | 2147483647 52598 107 | 0.000 % |
15.04/15.16 c | 57709 | 800 16000 80000 | 2147483647 52832 107 | 0.000 % |
15.14/15.28 c | 57968 | 800 16000 80000 | 2147483647 53091 107 | 0.000 % |
15.35/15.42 c | 58249 | 800 16000 80000 | 2147483647 53372 107 | 0.000 % |
15.45/15.56 c | 58561 | 800 16000 80000 | 2147483647 53684 107 | 0.000 % |
15.64/15.74 c | 58901 | 800 16000 80000 | 2147483647 54024 107 | 0.000 % |
15.84/15.91 c | 59273 | 800 16000 80000 | 2147483647 54396 107 | 0.000 % |
15.94/16.09 c | 59684 | 800 16000 80000 | 2147483647 54807 107 | 0.000 % |
16.14/16.29 c | 60133 | 800 16000 80000 | 2147483647 55256 107 | 0.000 % |
16.44/16.54 c | 60627 | 800 16000 80000 | 2147483647 55750 107 | 0.000 % |
16.73/16.81 c | 61170 | 800 16000 80000 | 2147483647 56293 107 | 0.000 % |
16.94/17.09 c | 61766 | 800 16000 80000 | 2147483647 56889 107 | 0.000 % |
17.34/17.42 c | 62421 | 800 16000 80000 | 2147483647 57544 107 | 0.000 % |
17.65/17.78 c | 63145 | 800 16000 80000 | 2147483647 58268 108 | 0.000 % |
18.04/18.16 c | 63939 | 800 16000 80000 | 2147483647 59062 107 | 0.000 % |
18.14/18.21 c | 64040 | 800 16000 80000 | 2147483647 59163 107 | 0.000 % |
18.14/18.29 c | 64151 | 800 16000 80000 | 2147483647 59274 107 | 0.000 % |
18.24/18.37 c | 64272 | 800 16000 80000 | 2147483647 59395 107 | 0.000 % |
18.34/18.44 c | 64406 | 800 16000 80000 | 2147483647 59529 107 | 0.000 % |
18.44/18.53 c | 64554 | 800 16000 80000 | 2147483647 59677 107 | 0.000 % |
18.54/18.63 c | 64715 | 800 16000 80000 | 2147483647 59838 107 | 0.000 % |
18.64/18.74 c | 64892 | 800 16000 80000 | 2147483647 60015 107 | 0.000 % |
18.74/18.86 c | 65085 | 800 16000 80000 | 2147483647 60208 107 | 0.000 % |
18.84/18.99 c | 65298 | 800 16000 80000 | 2147483647 60421 107 | 0.000 % |
19.04/19.11 c | 65534 | 800 16000 80000 | 2147483647 60657 107 | 0.000 % |
19.14/19.27 c | 65790 | 800 16000 80000 | 2147483647 60913 107 | 0.000 % |
19.33/19.43 c | 66073 | 800 16000 80000 | 2147483647 61196 107 | 0.000 % |
19.53/19.60 c | 66383 | 800 16000 80000 | 2147483647 61506 107 | 0.000 % |
19.63/19.79 c | 66724 | 800 16000 80000 | 2147483647 61847 107 | 0.000 % |
19.84/19.99 c | 67096 | 800 16000 80000 | 2147483647 62219 107 | 0.000 % |
20.13/20.23 c | 67505 | 800 16000 80000 | 2147483647 62628 107 | 0.000 % |
20.33/20.48 c | 67957 | 800 16000 80000 | 2147483647 63080 107 | 0.000 % |
20.63/20.77 c | 68450 | 800 16000 80000 | 2147483647 63573 107 | 0.000 % |
20.94/21.04 c | 68992 | 800 16000 80000 | 2147483647 64115 107 | 0.000 % |
21.24/21.36 c | 69589 | 800 16000 80000 | 2147483647 64712 107 | 0.000 % |
21.63/21.73 c | 70244 | 800 16000 80000 | 2147483647 65367 108 | 0.000 % |
22.04/22.17 c | 70964 | 800 16000 80000 | 2147483647 66087 108 | 0.000 % |
22.53/22.62 c | 71757 | 800 16000 80000 | 2147483647 66880 108 | 0.000 % |
23.04/23.10 c | 72628 | 800 16000 80000 | 2147483647 67751 108 | 0.000 % |
23.04/23.17 c | 72729 | 800 16000 80000 | 2147483647 67852 108 | 0.000 % |
23.14/23.24 c | 72839 | 800 16000 80000 | 2147483647 67962 108 | 0.000 % |
23.24/23.32 c | 72960 | 800 16000 80000 | 2147483647 68083 108 | 0.000 % |
23.34/23.40 c | 73095 | 800 16000 80000 | 2147483647 68218 108 | 0.000 % |
23.44/23.52 c | 73244 | 800 16000 80000 | 2147483647 68367 108 | 0.000 % |
23.54/23.63 c | 73404 | 800 16000 80000 | 2147483647 68527 108 | 0.000 % |
23.64/23.75 c | 73580 | 800 16000 80000 | 2147483647 68703 108 | 0.000 % |
23.74/23.89 c | 73773 | 800 16000 80000 | 2147483647 68896 108 | 0.000 % |
23.94/24.04 c | 73986 | 800 16000 80000 | 2147483647 69109 108 | 0.000 % |
24.04/24.18 c | 74219 | 800 16000 80000 | 2147483647 69342 108 | 0.000 % |
24.24/24.34 c | 74477 | 800 16000 80000 | 2147483647 69600 108 | 0.000 % |
24.43/24.51 c | 74758 | 800 16000 80000 | 2147483647 69881 108 | 0.000 % |
24.63/24.71 c | 75067 | 800 16000 80000 | 2147483647 70190 108 | 0.000 % |
24.83/24.96 c | 75406 | 800 16000 80000 | 2147483647 70529 108 | 0.000 % |
25.13/25.21 c | 75778 | 800 16000 80000 | 2147483647 70901 108 | 0.000 % |
25.34/25.47 c | 76187 | 800 16000 80000 | 2147483647 71310 108 | 0.000 % |
25.63/25.77 c | 76639 | 800 16000 80000 | 2147483647 71762 108 | 0.000 % |
25.93/26.09 c | 77132 | 800 16000 80000 | 2147483647 72255 108 | 0.000 % |
26.33/26.41 c | 77674 | 800 16000 80000 | 2147483647 72797 108 | 0.000 % |
26.63/26.76 c | 78271 | 800 16000 80000 | 2147483647 73394 108 | 0.000 % |
27.03/27.14 c | 78926 | 800 16000 80000 | 2147483647 74049 108 | 0.000 % |
27.44/27.57 c | 79646 | 800 16000 80000 | 2147483647 74769 108 | 0.000 % |
28.03/28.11 c | 80439 | 800 16000 80000 | 2147483647 75562 108 | 0.000 % |
28.54/28.63 c | 81310 | 800 16000 80000 | 2147483647 76433 108 | 0.000 % |
29.13/29.24 c | 82270 | 800 16000 80000 | 2147483647 77393 108 | 0.000 % |
29.23/29.31 c | 82370 | 800 16000 80000 | 2147483647 77493 108 | 0.000 % |
29.33/29.40 c | 82480 | 800 16000 80000 | 2147483647 77603 108 | 0.000 % |
29.33/29.48 c | 82601 | 800 16000 80000 | 2147483647 77724 108 | 0.000 % |
29.43/29.57 c | 82734 | 800 16000 80000 | 2147483647 77857 108 | 0.000 % |
29.53/29.68 c | 82881 | 800 16000 80000 | 2147483647 78004 108 | 0.000 % |
29.63/29.79 c | 83041 | 800 16000 80000 | 2147483647 78164 108 | 0.000 % |
29.83/29.94 c | 83217 | 800 16000 80000 | 2147483647 78340 108 | 0.000 % |
30.03/30.11 c | 83411 | 800 16000 80000 | 2147483647 78534 108 | 0.000 % |
30.13/30.27 c | 83627 | 800 16000 80000 | 2147483647 78750 108 | 0.000 % |
30.33/30.43 c | 83860 | 800 16000 80000 | 2147483647 78983 108 | 0.000 % |
30.53/30.61 c | 84117 | 800 16000 80000 | 2147483647 79240 108 | 0.000 % |
30.63/30.79 c | 84399 | 800 16000 80000 | 2147483647 79522 108 | 0.000 % |
30.83/31.00 c | 84709 | 800 16000 80000 | 2147483647 79832 108 | 0.000 % |
31.13/31.23 c | 85049 | 800 16000 80000 | 2147483647 80172 108 | 0.000 % |
31.43/31.51 c | 85422 | 800 16000 80000 | 2147483647 80545 108 | 0.000 % |
31.73/31.80 c | 85831 | 800 16000 80000 | 2147483647 80954 108 | 0.000 % |
32.02/32.12 c | 86280 | 800 16000 80000 | 2147483647 81403 108 | 0.000 % |
32.32/32.48 c | 86773 | 800 16000 80000 | 2147483647 81896 108 | 0.000 % |
32.72/32.86 c | 87317 | 800 16000 80000 | 2147483647 82440 108 | 0.000 % |
33.12/33.28 c | 87913 | 800 16000 80000 | 2147483647 83036 108 | 0.000 % |
33.63/33.72 c | 88568 | 800 16000 80000 | 2147483647 83691 108 | 0.000 % |
34.13/34.28 c | 89288 | 800 16000 80000 | 2147483647 84411 108 | 0.000 % |
34.72/34.89 c | 90081 | 800 16000 80000 | 85124 85204 108 | 0.000 % |
35.42/35.54 c | 90952 | 800 16000 80000 | 85124 73749 109 | 0.000 % |
36.02/36.18 c | 91911 | 800 16000 80000 | 85124 74708 109 | 0.000 % |
36.72/36.85 c | 92964 | 800 16000 80000 | 85124 75761 109 | 0.000 % |
36.82/36.92 c | 93066 | 800 16000 80000 | 85124 75863 109 | 0.000 % |
36.92/37.00 c | 93177 | 800 16000 80000 | 85124 75974 109 | 0.000 % |
36.92/37.09 c | 93300 | 800 16000 80000 | 85124 76097 109 | 0.000 % |
37.02/37.19 c | 93433 | 800 16000 80000 | 85124 76230 109 | 0.000 % |
37.22/37.31 c | 93579 | 800 16000 80000 | 85124 76376 109 | 0.000 % |
37.32/37.44 c | 93739 | 800 16000 80000 | 85124 76536 109 | 0.000 % |
37.42/37.56 c | 93915 | 800 16000 80000 | 85124 76712 109 | 0.000 % |
37.62/37.71 c | 94109 | 800 16000 80000 | 85124 76906 109 | 0.000 % |
37.72/37.86 c | 94321 | 800 16000 80000 | 85124 77118 109 | 0.000 % |
37.92/38.02 c | 94555 | 800 16000 80000 | 85124 77352 109 | 0.000 % |
38.12/38.22 c | 94812 | 800 16000 80000 | 85124 77609 109 | 0.000 % |
38.32/38.42 c | 95093 | 800 16000 80000 | 85124 77890 109 | 0.000 % |
38.52/38.67 c | 95402 | 800 16000 80000 | 85124 78199 109 | 0.000 % |
38.72/38.88 c | 95741 | 800 16000 80000 | 85124 78538 109 | 0.000 % |
39.01/39.12 c | 96113 | 800 16000 80000 | 85124 78910 108 | 0.000 % |
39.31/39.40 c | 96523 | 800 16000 80000 | 85124 79320 109 | 0.000 % |
39.62/39.74 c | 96973 | 800 16000 80000 | 85124 79770 109 | 0.000 % |
40.01/40.10 c | 97469 | 800 16000 80000 | 85124 80266 109 | 0.000 % |
40.41/40.52 c | 98011 | 800 16000 80000 | 85124 80808 109 | 0.000 % |
40.81/40.96 c | 98607 | 800 16000 80000 | 85124 81404 109 | 0.000 % |
41.31/41.42 c | 99262 | 800 16000 80000 | 85124 82059 109 | 0.000 % |
41.81/41.93 c | 99982 | 800 16000 80000 | 85124 82779 109 | 0.000 % |
42.41/42.51 c | 100774 | 800 16000 80000 | 82797 70784 109 | 0.000 % |
42.92/43.06 c | 101645 | 800 16000 80000 | 82797 71655 109 | 0.000 % |
43.51/43.68 c | 102606 | 800 16000 80000 | 82797 72616 109 | 0.000 % |
44.21/44.35 c | 103662 | 800 16000 80000 | 82797 73672 109 | 0.000 % |
44.91/45.10 c | 104821 | 800 16000 80000 | 82797 74831 109 | 0.000 % |
45.01/45.17 c | 104922 | 800 16000 80000 | 82797 74932 109 | 0.000 % |
45.11/45.24 c | 105035 | 800 16000 80000 | 82797 75045 109 | 0.000 % |
45.21/45.35 c | 105157 | 800 16000 80000 | 82797 75167 109 | 0.000 % |
45.31/45.44 c | 105290 | 800 16000 80000 | 82797 75300 109 | 0.000 % |
45.41/45.56 c | 105436 | 800 16000 80000 | 82797 75446 109 | 0.000 % |
45.51/45.67 c | 105596 | 800 16000 80000 | 82797 75606 109 | 0.000 % |
45.71/45.81 c | 105772 | 800 16000 80000 | 82797 75782 109 | 0.000 % |
45.81/45.96 c | 105965 | 800 16000 80000 | 82797 75975 109 | 0.000 % |
46.01/46.11 c | 106179 | 800 16000 80000 | 82797 76189 109 | 0.000 % |
46.11/46.26 c | 106413 | 800 16000 80000 | 82797 76423 109 | 0.000 % |
46.31/46.44 c | 106670 | 800 16000 80000 | 82797 76680 109 | 0.000 % |
46.51/46.64 c | 106952 | 800 16000 80000 | 82797 76962 109 | 0.000 % |
46.71/46.86 c | 107264 | 800 16000 80000 | 82797 77274 109 | 0.000 % |
46.91/47.09 c | 107604 | 800 16000 80000 | 82797 77614 109 | 0.000 % |
47.21/47.32 c | 107976 | 800 16000 80000 | 82797 77986 109 | 0.000 % |
47.41/47.58 c | 108385 | 800 16000 80000 | 82797 78395 109 | 0.000 % |
47.81/47.90 c | 108837 | 800 16000 80000 | 82797 78847 109 | 0.000 % |
48.11/48.22 c | 109330 | 800 16000 80000 | 82797 79340 109 | 0.000 % |
48.41/48.59 c | 109872 | 800 16000 80000 | 82797 79882 109 | 0.000 % |
48.91/49.04 c | 110469 | 800 16000 80000 | 80010 68930 109 | 0.000 % |
49.31/49.44 c | 111125 | 800 16000 80000 | 80010 69586 109 | 0.000 % |
49.71/49.88 c | 111845 | 800 16000 80000 | 80010 70306 110 | 0.000 % |
50.21/50.34 c | 112638 | 800 16000 80000 | 80010 71099 110 | 0.000 % |
50.71/50.85 c | 113509 | 800 16000 80000 | 80010 71970 110 | 0.000 % |
51.41/51.51 c | 114467 | 800 16000 80000 | 80010 72928 110 | 0.000 % |
52.01/52.17 c | 115522 | 800 16000 80000 | 80010 73983 110 | 0.000 % |
52.81/52.95 c | 116680 | 800 16000 80000 | 80010 75141 110 | 0.000 % |
53.61/53.74 c | 117953 | 800 16000 80000 | 80010 76414 110 | 0.000 % |
53.71/53.82 c | 118053 | 800 16000 80000 | 80010 76514 110 | 0.000 % |
53.81/53.91 c | 118165 | 800 16000 80000 | 80010 76626 110 | 0.000 % |
53.81/53.99 c | 118286 | 800 16000 80000 | 80010 76747 110 | 0.000 % |
53.91/54.09 c | 118419 | 800 16000 80000 | 80010 76880 110 | 0.000 % |
54.01/54.19 c | 118565 | 800 16000 80000 | 80010 77026 110 | 0.000 % |
54.21/54.34 c | 118726 | 800 16000 80000 | 80010 77187 110 | 0.000 % |
54.31/54.48 c | 118902 | 800 16000 80000 | 80010 77363 110 | 0.000 % |
54.50/54.60 c | 119095 | 800 16000 80000 | 80010 77556 110 | 0.000 % |
54.60/54.77 c | 119307 | 800 16000 80000 | 80010 77768 110 | 0.000 % |
54.80/54.94 c | 119541 | 800 16000 80000 | 80010 78002 110 | 0.000 % |
55.01/55.14 c | 119799 | 800 16000 80000 | 80010 78260 110 | 0.000 % |
55.20/55.34 c | 120080 | 800 16000 80000 | 78461 78541 110 | 0.000 % |
55.40/55.58 c | 120390 | 800 16000 80000 | 78461 68233 110 | 0.000 % |
55.60/55.78 c | 120730 | 800 16000 80000 | 78461 68573 110 | 0.000 % |
55.80/55.99 c | 121102 | 800 16000 80000 | 78461 68945 110 | 0.000 % |
56.11/56.26 c | 121511 | 800 16000 80000 | 78461 69354 110 | 0.000 % |
56.40/56.56 c | 121960 | 800 16000 80000 | 78461 69803 110 | 0.000 % |
56.70/56.86 c | 122460 | 800 16000 80000 | 78461 70303 110 | 0.000 % |
57.00/57.20 c | 123002 | 800 16000 80000 | 78461 70845 110 | 0.000 % |
57.40/57.58 c | 123598 | 800 16000 80000 | 78461 71441 110 | 0.000 % |
57.80/57.99 c | 124256 | 800 16000 80000 | 78461 72099 110 | 0.000 % |
58.31/58.43 c | 124977 | 800 16000 80000 | 78461 72820 110 | 0.000 % |
58.80/58.92 c | 125771 | 800 16000 80000 | 78461 73614 110 | 0.000 % |
59.41/59.51 c | 126643 | 800 16000 80000 | 78461 74486 110 | 0.000 % |
60.00/60.11 c | 127603 | 800 16000 80000 | 78461 75446 110 | 0.000 % |
60.70/60.83 c | 128657 | 800 16000 80000 | 78461 76500 110 | 0.000 % |
61.40/61.57 c | 129816 | 800 16000 80000 | 78461 77659 110 | 0.000 % |
62.20/62.39 c | 131089 | 800 16000 80000 | 77843 68977 110 | 0.000 % |
63.10/63.26 c | 132489 | 800 16000 80000 | 77843 70377 110 | 0.000 % |
63.20/63.33 c | 132589 | 800 16000 80000 | 77843 70477 110 | 0.000 % |
63.30/63.40 c | 132700 | 800 16000 80000 | 77843 70588 110 | 0.000 % |
63.30/63.48 c | 132822 | 800 16000 80000 | 77843 70710 110 | 0.000 % |
63.40/63.57 c | 132955 | 800 16000 80000 | 77843 70843 110 | 0.000 % |
63.50/63.69 c | 133101 | 800 16000 80000 | 77843 70989 110 | 0.000 % |
63.60/63.79 c | 133261 | 800 16000 80000 | 77843 71149 110 | 0.000 % |
63.80/63.92 c | 133438 | 800 16000 80000 | 77843 71326 110 | 0.000 % |
63.90/64.06 c | 133631 | 800 16000 80000 | 77843 71519 110 | 0.000 % |
64.00/64.19 c | 133844 | 800 16000 80000 | 77843 71732 110 | 0.000 % |
64.20/64.34 c | 134077 | 800 16000 80000 | 77843 71965 110 | 0.000 % |
64.40/64.54 c | 134333 | 800 16000 80000 | 77843 72221 110 | 0.000 % |
64.60/64.74 c | 134615 | 800 16000 80000 | 77843 72503 110 | 0.000 % |
64.80/64.97 c | 134924 | 800 16000 80000 | 77843 72812 110 | 0.000 % |
65.00/65.19 c | 135263 | 800 16000 80000 | 77843 73151 110 | 0.000 % |
65.30/65.45 c | 135637 | 800 16000 80000 | 77843 73525 110 | 0.000 % |
65.60/65.72 c | 136047 | 800 16000 80000 | 77843 73935 110 | 0.000 % |
65.90/66.04 c | 136497 | 800 16000 80000 | 77843 74385 110 | 0.000 % |
66.20/66.36 c | 136990 | 800 16000 80000 | 77843 74878 110 | 0.000 % |
66.50/66.68 c | 137532 | 800 16000 80000 | 77843 75420 110 | 0.000 % |
67.00/67.14 c | 138128 | 800 16000 80000 | 77843 76016 110 | 0.000 % |
67.50/67.63 c | 138784 | 800 16000 80000 | 77843 76672 110 | 0.000 % |
68.00/68.10 c | 139505 | 800 16000 80000 | 77843 77393 110 | 0.000 % |
68.50/68.68 c | 140298 | 800 16000 80000 | 77891 67657 111 | 0.000 % |
69.10/69.21 c | 141170 | 800 16000 80000 | 77891 68529 111 | 0.000 % |
69.60/69.78 c | 142130 | 800 16000 80000 | 77891 69489 111 | 0.000 % |
70.20/70.36 c | 143183 | 800 16000 80000 | 77891 70542 111 | 0.000 % |
70.90/71.04 c | 144342 | 800 16000 80000 | 77891 71701 111 | 0.000 % |
71.60/71.79 c | 145615 | 800 16000 80000 | 77891 72974 111 | 0.000 % |
72.50/72.63 c | 147015 | 800 16000 80000 | 77891 74374 111 | 0.000 % |
73.50/73.67 c | 148559 | 800 16000 80000 | 77891 75918 111 | 0.000 % |
73.60/73.74 c | 148659 | 800 16000 80000 | 77891 76018 111 | 0.000 % |
73.70/73.83 c | 148769 | 800 16000 80000 | 77891 76128 111 | 0.000 % |
73.80/73.91 c | 148890 | 800 16000 80000 | 77891 76249 111 | 0.000 % |
73.80/73.99 c | 149023 | 800 16000 80000 | 77891 76382 111 | 0.000 % |
74.00/74.13 c | 149169 | 800 16000 80000 | 77891 76528 111 | 0.000 % |
74.10/74.25 c | 149330 | 800 16000 80000 | 77891 76689 111 | 0.000 % |
74.20/74.39 c | 149506 | 800 16000 80000 | 77891 76865 111 | 0.000 % |
74.39/74.55 c | 149699 | 800 16000 80000 | 77891 77058 111 | 0.000 % |
74.59/74.71 c | 149913 | 800 16000 80000 | 77891 77272 111 | 0.000 % |
74.70/74.86 c | 150147 | 800 16000 80000 | 77360 77506 111 | 0.000 % |
74.89/75.08 c | 150404 | 800 16000 80000 | 77360 68183 111 | 0.000 % |
75.09/75.25 c | 150686 | 800 16000 80000 | 77360 68465 111 | 0.000 % |
75.29/75.45 c | 150995 | 800 16000 80000 | 77360 68774 111 | 0.000 % |
75.49/75.65 c | 151334 | 800 16000 80000 | 77360 69113 111 | 0.000 % |
75.69/75.88 c | 151706 | 800 16000 80000 | 77360 69485 111 | 0.000 % |
75.99/76.12 c | 152115 | 800 16000 80000 | 77360 69894 111 | 0.000 % |
76.29/76.40 c | 152564 | 800 16000 80000 | 77360 70343 111 | 0.000 % |
76.59/76.73 c | 153057 | 800 16000 80000 | 77360 70836 111 | 0.000 % |
77.00/77.11 c | 153599 | 800 16000 80000 | 77360 71378 111 | 0.000 % |
77.29/77.49 c | 154195 | 800 16000 80000 | 77360 71974 111 | 0.000 % |
77.69/77.88 c | 154850 | 800 16000 80000 | 77360 72629 111 | 0.000 % |
78.10/78.28 c | 155570 | 800 16000 80000 | 77360 73349 111 | 0.000 % |
78.69/78.87 c | 156362 | 800 16000 80000 | 77360 74141 111 | 0.000 % |
79.29/79.43 c | 157233 | 800 16000 80000 | 77360 75012 111 | 0.000 % |
79.89/80.01 c | 158194 | 800 16000 80000 | 77360 75973 111 | 0.000 % |
80.58/80.71 c | 159247 | 800 16000 80000 | 77360 77026 111 | 0.000 % |
81.39/81.52 c | 160405 | 800 16000 80000 | 68276 60586 111 | 0.000 % |
81.98/82.18 c | 161680 | 800 16000 80000 | 68276 61861 111 | 0.000 % |
82.68/82.88 c | 163082 | 800 16000 80000 | 68276 63263 111 | 0.000 % |
83.59/83.77 c | 164622 | 800 16000 80000 | 68276 64803 111 | 0.000 % |
84.48/84.68 c | 166316 | 800 16000 80000 | 68276 66497 111 | 0.000 % |
84.59/84.74 c | 166416 | 800 16000 80000 | 68276 66597 111 | 0.000 % |
84.69/84.81 c | 166528 | 800 16000 80000 | 68276 66709 111 | 0.000 % |
84.78/84.91 c | 166649 | 800 16000 80000 | 68276 66830 111 | 0.000 % |
84.78/84.99 c | 166782 | 800 16000 80000 | 68276 66963 111 | 0.000 % |
84.88/85.09 c | 166932 | 800 16000 80000 | 68276 67113 111 | 0.000 % |
85.08/85.20 c | 167092 | 800 16000 80000 | 68276 67273 111 | 0.000 % |
85.18/85.32 c | 167270 | 800 16000 80000 | 68276 67451 111 | 0.000 % |
85.28/85.44 c | 167463 | 800 16000 80000 | 68276 67644 111 | 0.000 % |
85.38/85.55 c | 167677 | 800 16000 80000 | 68276 67858 111 | 0.000 % |
85.48/85.68 c | 167910 | 800 16000 80000 | 68276 68091 111 | 0.000 % |
85.68/85.83 c | 168167 | 800 16000 80000 | 68276 68348 111 | 0.000 % |
85.88/86.01 c | 168449 | 800 16000 80000 | 68276 61796 111 | 0.000 % |
85.98/86.19 c | 168759 | 800 16000 80000 | 68276 62106 111 | 0.000 % |
86.18/86.38 c | 169099 | 800 16000 80000 | 68276 62446 111 | 0.000 % |
86.48/86.64 c | 169471 | 800 16000 80000 | 68276 62818 111 | 0.000 % |
86.68/86.87 c | 169880 | 800 16000 80000 | 68276 63227 111 | 0.000 % |
86.98/87.13 c | 170329 | 800 16000 80000 | 2147483647 63676 111 | 0.000 % |
87.28/87.43 c | 170823 | 800 16000 80000 | 2147483647 64170 111 | 0.000 % |
87.58/87.75 c | 171366 | 800 16000 80000 | 2147483647 64713 111 | 0.000 % |
87.88/88.07 c | 171964 | 800 16000 80000 | 2147483647 65311 111 | 0.000 % |
88.28/88.46 c | 172619 | 800 16000 80000 | 2147483647 65966 111 | 0.000 % |
88.68/88.85 c | 173340 | 800 16000 80000 | 2147483647 66687 111 | 0.000 % |
89.18/89.32 c | 174134 | 800 16000 80000 | 2147483647 67481 111 | 0.000 % |
89.68/89.81 c | 175005 | 800 16000 80000 | 2147483647 68352 111 | 0.000 % |
90.28/90.44 c | 175964 | 800 16000 80000 | 2147483647 69311 111 | 0.000 % |
90.88/91.07 c | 177017 | 800 16000 80000 | 2147483647 70364 111 | 0.000 % |
91.68/91.83 c | 178175 | 800 16000 80000 | 2147483647 71522 112 | 0.000 % |
92.38/92.58 c | 179449 | 800 16000 80000 | 2147483647 72796 112 | 0.000 % |
93.28/93.45 c | 180850 | 800 16000 80000 | 2147483647 74197 112 | 0.000 % |
94.28/94.46 c | 182390 | 800 16000 80000 | 2147483647 75737 112 | 0.000 % |
95.28/95.44 c | 184084 | 800 16000 80000 | 2147483647 77431 112 | 0.000 % |
96.48/96.62 c | 185948 | 800 16000 80000 | 2147483647 79295 112 | 0.000 % |
96.58/96.71 c | 186048 | 800 16000 80000 | 2147483647 79395 112 | 0.000 % |
96.68/96.81 c | 186158 | 800 16000 80000 | 2147483647 79505 112 | 0.000 % |
96.68/96.90 c | 186279 | 800 16000 80000 | 2147483647 79626 112 | 0.000 % |
96.78/96.98 c | 186412 | 800 16000 80000 | 2147483647 79759 112 | 0.000 % |
96.87/97.08 c | 186559 | 800 16000 80000 | 2147483647 79906 112 | 0.000 % |
97.07/97.21 c | 186719 | 800 16000 80000 | 2147483647 80066 112 | 0.000 % |
97.17/97.35 c | 186896 | 800 16000 80000 | 2147483647 80243 112 | 0.000 % |
97.27/97.48 c | 187090 | 800 16000 80000 | 2147483647 80437 112 | 0.000 % |
97.47/97.64 c | 187302 | 800 16000 80000 | 2147483647 80649 112 | 0.000 % |
97.67/97.82 c | 187535 | 800 16000 80000 | 2147483647 80882 112 | 0.000 % |
97.88/98.03 c | 187792 | 800 16000 80000 | 2147483647 81139 112 | 0.000 % |
98.07/98.25 c | 188074 | 800 16000 80000 | 2147483647 81421 112 | 0.000 % |
98.37/98.51 c | 188385 | 800 16000 80000 | 2147483647 81732 112 | 0.000 % |
98.57/98.76 c | 188727 | 800 16000 80000 | 2147483647 82074 112 | 0.000 % |
98.88/99.04 c | 189101 | 800 16000 80000 | 2147483647 82448 112 | 0.000 % |
99.18/99.32 c | 189510 | 800 16000 80000 | 2147483647 82857 112 | 0.000 % |
99.48/99.67 c | 189960 | 800 16000 80000 | 2147483647 83307 112 | 0.000 % |
99.88/100.09 c | 190454 | 800 16000 80000 | 83347 72066 112 | 0.000 % |
100.28/100.43 c | 190997 | 800 16000 80000 | 83347 72609 112 | 0.000 % |
100.68/100.80 c | 191593 | 800 16000 80000 | 83347 73205 112 | 0.000 % |
101.08/101.22 c | 192249 | 800 16000 80000 | 83347 73861 112 | 0.000 % |
101.48/101.66 c | 192970 | 800 16000 80000 | 83347 74582 112 | 0.000 % |
101.98/102.15 c | 193763 | 800 16000 80000 | 83347 75375 112 | 0.000 % |
102.57/102.73 c | 194634 | 800 16000 80000 | 83347 76246 112 | 0.000 % |
103.17/103.37 c | 195594 | 800 16000 80000 | 83347 77206 112 | 0.000 % |
103.88/104.10 c | 196647 | 800 16000 80000 | 83347 78259 112 | 0.000 % |
104.67/104.85 c | 197806 | 800 16000 80000 | 83347 79418 112 | 0.000 % |
105.58/105.75 c | 199081 | 800 16000 80000 | 83347 80693 112 | 0.000 % |
106.68/106.82 c | 200481 | 800 16000 80000 | 81612 70476 112 | 0.000 % |
107.68/107.80 c | 202022 | 800 16000 80000 | 81612 72017 112 | 0.000 % |
108.67/108.85 c | 203716 | 800 16000 80000 | 81612 73711 112 | 0.000 % |
109.88/110.06 c | 205581 | 800 16000 80000 | 81612 75576 112 | 0.000 % |
111.27/111.43 c | 207632 | 800 16000 80000 | 81612 77627 112 | 0.000 % |
111.37/111.51 c | 207734 | 800 16000 80000 | 81612 77729 112 | 0.000 % |
111.37/111.59 c | 207844 | 800 16000 80000 | 81612 77839 112 | 0.000 % |
111.47/111.69 c | 207965 | 800 16000 80000 | 81612 77960 112 | 0.000 % |
111.57/111.78 c | 208098 | 800 16000 80000 | 81612 78093 112 | 0.000 % |
111.77/111.91 c | 208244 | 800 16000 80000 | 81612 78239 112 | 0.000 % |
111.87/112.05 c | 208405 | 800 16000 80000 | 81612 78400 112 | 0.000 % |
111.97/112.20 c | 208581 | 800 16000 80000 | 81612 78576 112 | 0.000 % |
112.18/112.36 c | 208774 | 800 16000 80000 | 81612 78769 112 | 0.000 % |
112.37/112.52 c | 208986 | 800 16000 80000 | 81612 78981 112 | 0.000 % |
112.47/112.67 c | 209221 | 800 16000 80000 | 81612 79216 112 | 0.000 % |
112.67/112.84 c | 209477 | 800 16000 80000 | 81612 79472 112 | 0.000 % |
112.87/113.04 c | 209758 | 800 16000 80000 | 81612 79753 112 | 0.000 % |
113.07/113.25 c | 210069 | 800 16000 80000 | 79996 80064 112 | 0.000 % |
113.37/113.53 c | 210408 | 800 16000 80000 | 79996 69042 112 | 0.000 % |
113.57/113.77 c | 210780 | 800 16000 80000 | 79996 69414 112 | 0.000 % |
113.87/114.03 c | 211192 | 800 16000 80000 | 79996 69826 112 | 0.000 % |
114.17/114.30 c | 211642 | 800 16000 80000 | 79996 70276 112 | 0.000 % |
114.47/114.61 c | 212135 | 800 16000 80000 | 79996 70769 112 | 0.000 % |
114.77/114.97 c | 212677 | 800 16000 80000 | 79996 71311 112 | 0.000 % |
115.17/115.35 c | 213274 | 800 16000 80000 | 79996 71908 112 | 0.000 % |
115.57/115.75 c | 213929 | 800 16000 80000 | 79996 72563 112 | 0.000 % |
116.07/116.20 c | 214652 | 800 16000 80000 | 79996 73286 112 | 0.000 % |
116.47/116.70 c | 215444 | 800 16000 80000 | 79996 74078 112 | 0.000 % |
117.07/117.26 c | 216315 | 800 16000 80000 | 79996 74949 112 | 0.000 % |
117.67/117.89 c | 217273 | 800 16000 80000 | 79996 75907 112 | 0.000 % |
118.37/118.53 c | 218327 | 800 16000 80000 | 79996 76961 112 | 0.000 % |
119.17/119.30 c | 219490 | 800 16000 80000 | 79996 78124 112 | 0.000 % |
119.97/120.17 c | 220766 | 800 16000 80000 | 78635 69021 113 | 0.000 % |
120.77/120.96 c | 222166 | 800 16000 80000 | 78635 70421 112 | 0.000 % |
121.77/121.90 c | 223707 | 800 16000 80000 | 78635 71962 113 | 0.000 % |
122.67/122.87 c | 225403 | 800 16000 80000 | 78635 73658 113 | 0.000 % |
123.76/123.99 c | 227266 | 800 16000 80000 | 78635 75521 112 | 0.000 % |
125.06/125.28 c | 229315 | 800 16000 80000 | 78635 77570 112 | 0.000 % |
126.56/126.70 c | 231569 | 800 16000 80000 | 78257 70758 112 | 0.000 % |
126.56/126.79 c | 231670 | 800 16000 80000 | 78257 70859 112 | 0.000 % |
126.66/126.86 c | 231780 | 800 16000 80000 | 78257 70969 112 | 0.000 % |
126.76/126.94 c | 231901 | 800 16000 80000 | 78257 71090 112 | 0.000 % |
126.86/127.04 c | 232035 | 800 16000 80000 | 78257 71224 112 | 0.000 % |
126.96/127.16 c | 232182 | 800 16000 80000 | 78257 71371 112 | 0.000 % |
127.06/127.26 c | 232342 | 800 16000 80000 | 78257 71531 112 | 0.000 % |
127.16/127.37 c | 232519 | 800 16000 80000 | 78257 71708 112 | 0.000 % |
127.36/127.54 c | 232712 | 800 16000 80000 | 78257 71901 112 | 0.000 % |
127.46/127.68 c | 232925 | 800 16000 80000 | 78257 72114 112 | 0.000 % |
127.66/127.84 c | 233160 | 800 16000 80000 | 78257 72349 112 | 0.000 % |
127.76/128.00 c | 233417 | 800 16000 80000 | 78257 72606 112 | 0.000 % |
127.96/128.19 c | 233698 | 800 16000 80000 | 78257 72887 112 | 0.000 % |
128.16/128.38 c | 234007 | 800 16000 80000 | 78257 73196 112 | 0.000 % |
128.46/128.63 c | 234346 | 800 16000 80000 | 78257 73535 112 | 0.000 % |
128.66/128.86 c | 234721 | 800 16000 80000 | 78257 73910 112 | 0.000 % |
128.96/129.11 c | 235130 | 800 16000 80000 | 78257 74319 112 | 0.000 % |
129.26/129.40 c | 235584 | 800 16000 80000 | 78257 74773 112 | 0.000 % |
129.56/129.78 c | 236077 | 800 16000 80000 | 78257 75266 112 | 0.000 % |
129.96/130.16 c | 236619 | 800 16000 80000 | 78257 75808 112 | 0.000 % |
130.36/130.53 c | 237216 | 800 16000 80000 | 78257 76405 112 | 0.000 % |
130.76/130.96 c | 237871 | 800 16000 80000 | 78257 77060 112 | 0.000 % |
131.26/131.44 c | 238591 | 800 16000 80000 | 78257 77780 112 | 0.000 % |
131.86/132.07 c | 239383 | 800 16000 80000 | 78257 68425 112 | 0.000 % |
132.46/132.60 c | 240256 | 800 16000 80000 | 69042 69298 112 | 0.000 % |
132.96/133.13 c | 241214 | 800 16000 80000 | 69042 61538 111 | 0.000 % |
133.56/133.72 c | 242268 | 800 16000 80000 | 69042 62592 111 | 0.000 % |
134.16/134.32 c | 243426 | 800 16000 80000 | 69042 63750 111 | 0.000 % |
134.86/135.08 c | 244703 | 800 16000 80000 | 69042 65027 111 | 0.000 % |
135.66/135.90 c | 246104 | 800 16000 80000 | 69042 66428 111 | 0.000 % |
136.66/136.82 c | 247645 | 800 16000 80000 | 69042 67969 111 | 0.000 % |
137.66/137.82 c | 249339 | 800 16000 80000 | 69042 62733 111 | 0.000 % |
138.65/138.82 c | 251202 | 800 16000 80000 | 2147483647 64596 111 | 0.000 % |
139.75/139.92 c | 253251 | 800 16000 80000 | 2147483647 66645 111 | 0.000 % |
140.95/141.17 c | 255504 | 800 16000 80000 | 2147483647 68898 111 | 0.000 % |
142.45/142.67 c | 257983 | 800 16000 80000 | 2147483647 71377 112 | 0.000 % |
142.55/142.74 c | 258083 | 800 16000 80000 | 2147483647 71477 112 | 0.000 % |
142.65/142.82 c | 258194 | 800 16000 80000 | 2147483647 71588 112 | 0.000 % |
142.75/142.91 c | 258316 | 800 16000 80000 | 2147483647 71710 112 | 0.000 % |
142.86/143.00 c | 258451 | 800 16000 80000 | 2147483647 71845 112 | 0.000 % |
142.96/143.11 c | 258599 | 800 16000 80000 | 2147483647 71993 112 | 0.000 % |
143.05/143.24 c | 258760 | 800 16000 80000 | 2147483647 72154 112 | 0.000 % |
143.15/143.35 c | 258937 | 800 16000 80000 | 2147483647 72331 112 | 0.000 % |
143.35/143.50 c | 259131 | 800 16000 80000 | 2147483647 72525 112 | 0.000 % |
143.45/143.65 c | 259343 | 800 16000 80000 | 2147483647 72737 112 | 0.000 % |
143.65/143.81 c | 259576 | 800 16000 80000 | 2147483647 72970 112 | 0.000 % |
143.85/144.00 c | 259832 | 800 16000 80000 | 2147483647 73226 112 | 0.000 % |
143.96/144.19 c | 260114 | 800 16000 80000 | 2147483647 73508 112 | 0.000 % |
144.25/144.40 c | 260424 | 800 16000 80000 | 2147483647 73818 112 | 0.000 % |
144.45/144.63 c | 260764 | 800 16000 80000 | 2147483647 74158 111 | 0.000 % |
144.65/144.89 c | 261136 | 800 16000 80000 | 2147483647 74530 112 | 0.000 % |
144.95/145.15 c | 261546 | 800 16000 80000 | 2147483647 74940 112 | 0.000 % |
145.25/145.47 c | 261996 | 800 16000 80000 | 2147483647 75390 112 | 0.000 % |
145.55/145.78 c | 262489 | 800 16000 80000 | 2147483647 75883 112 | 0.000 % |
145.95/146.16 c | 263033 | 800 16000 80000 | 2147483647 76427 112 | 0.000 % |
146.45/146.60 c | 263629 | 800 16000 80000 | 2147483647 77023 111 | 0.000 % |
146.85/147.02 c | 264286 | 800 16000 80000 | 2147483647 77680 111 | 0.000 % |
147.25/147.49 c | 265006 | 800 16000 80000 | 2147483647 78400 111 | 0.000 % |
147.85/148.09 c | 265798 | 800 16000 80000 | 2147483647 79192 111 | 0.000 % |
148.45/148.69 c | 266673 | 800 16000 80000 | 2147483647 80067 111 | 0.000 % |
149.15/149.39 c | 267631 | 800 16000 80000 | 2147483647 81025 112 | 0.000 % |
149.95/150.12 c | 268685 | 800 16000 80000 | 2147483647 82079 112 | 0.000 % |
150.65/150.89 c | 269845 | 800 16000 80000 | 2147483647 83239 112 | 0.000 % |
151.54/151.73 c | 271118 | 800 16000 80000 | 83394 72880 111 | 0.000 % |
152.34/152.58 c | 272518 | 800 16000 80000 | 83394 74280 111 | 0.000 % |
153.34/153.56 c | 274059 | 800 16000 80000 | 83394 75821 111 | 0.000 % |
154.44/154.69 c | 275753 | 800 16000 80000 | 83394 77515 111 | 0.000 % |
155.74/155.92 c | 277616 | 800 16000 80000 | 83394 79378 112 | 0.000 % |
157.04/157.27 c | 279665 | 800 16000 80000 | 83394 81427 112 | 0.000 % |
158.54/158.75 c | 281918 | 800 16000 80000 | 81765 72138 112 | 0.000 % |
160.14/160.34 c | 284397 | 800 16000 80000 | 81765 74617 112 | 0.000 % |
161.94/162.10 c | 287123 | 800 16000 80000 | 81765 77343 112 | 0.000 % |
161.94/162.17 c | 287223 | 800 16000 80000 | 81765 77443 112 | 0.000 % |
162.04/162.25 c | 287333 | 800 16000 80000 | 81765 77553 112 | 0.000 % |
162.14/162.35 c | 287456 | 800 16000 80000 | 81765 77676 112 | 0.000 % |
162.24/162.46 c | 287591 | 800 16000 80000 | 81765 77811 112 | 0.000 % |
162.34/162.58 c | 287740 | 800 16000 80000 | 81765 77960 112 | 0.000 % |
162.54/162.70 c | 287902 | 800 16000 80000 | 81765 78122 112 | 0.000 % |
162.64/162.84 c | 288081 | 800 16000 80000 | 81765 78301 112 | 0.000 % |
162.84/163.00 c | 288275 | 800 16000 80000 | 81765 78495 112 | 0.000 % |
162.94/163.16 c | 288487 | 800 16000 80000 | 81765 78707 112 | 0.000 % |
163.14/163.34 c | 288721 | 800 16000 80000 | 81765 78941 112 | 0.000 % |
163.34/163.54 c | 288978 | 800 16000 80000 | 81765 79198 112 | 0.000 % |
163.54/163.76 c | 289260 | 800 16000 80000 | 81765 79480 112 | 0.000 % |
163.74/163.98 c | 289570 | 800 16000 80000 | 81765 79790 112 | 0.000 % |
164.04/164.22 c | 289909 | 800 16000 80000 | 81765 80129 112 | 0.000 % |
164.34/164.50 c | 290284 | 800 16000 80000 | 80220 80504 112 | 0.000 % |
164.64/164.81 c | 290694 | 800 16000 80000 | 80220 69553 112 | 0.000 % |
164.84/165.07 c | 291143 | 800 16000 80000 | 80220 70002 112 | 0.000 % |
165.14/165.36 c | 291636 | 800 16000 80000 | 80220 70495 112 | 0.000 % |
165.44/165.68 c | 292178 | 800 16000 80000 | 80220 71037 112 | 0.000 % |
165.84/166.04 c | 292774 | 800 16000 80000 | 80220 71633 112 | 0.000 % |
166.24/166.44 c | 293429 | 800 16000 80000 | 80220 72288 112 | 0.000 % |
166.64/166.88 c | 294149 | 800 16000 80000 | 80220 73008 112 | 0.000 % |
167.14/167.36 c | 294941 | 800 16000 80000 | 80220 73800 112 | 0.000 % |
167.74/167.90 c | 295814 | 800 16000 80000 | 80220 74673 112 | 0.000 % |
168.24/168.50 c | 296772 | 800 16000 80000 | 80220 75631 112 | 0.000 % |
168.94/169.13 c | 297825 | 800 16000 80000 | 80220 76684 112 | 0.000 % |
169.74/169.90 c | 298984 | 800 16000 80000 | 80220 77843 112 | 0.000 % |
170.53/170.75 c | 300257 | 800 16000 80000 | 78861 79116 112 | 0.000 % |
171.43/171.62 c | 301658 | 800 16000 80000 | 78861 70797 112 | 0.000 % |
172.23/172.46 c | 303201 | 800 16000 80000 | 78861 72340 112 | 0.000 % |
173.23/173.48 c | 304898 | 800 16000 80000 | 78861 74037 112 | 0.000 % |
174.43/174.68 c | 306762 | 800 16000 80000 | 78861 75901 112 | 0.000 % |
175.73/175.98 c | 308811 | 800 16000 80000 | 78861 77950 112 | 0.000 % |
177.13/177.39 c | 311065 | 800 16000 80000 | 69805 62695 113 | 0.000 % |
178.53/178.74 c | 313544 | 800 16000 80000 | 69805 65174 113 | 0.000 % |
180.13/180.36 c | 316270 | 800 16000 80000 | 69805 67900 113 | 0.000 % |
181.92/182.14 c | 319269 | 800 16000 80000 | 69805 63890 113 | 0.000 % |
181.92/182.19 c | 319369 | 800 16000 80000 | 69805 63990 113 | 0.000 % |
182.02/182.26 c | 319480 | 800 16000 80000 | 69805 64101 113 | 0.000 % |
182.12/182.33 c | 319602 | 800 16000 80000 | 69805 64223 113 | 0.000 % |
182.22/182.41 c | 319736 | 800 16000 80000 | 69805 64357 113 | 0.000 % |
182.32/182.50 c | 319882 | 800 16000 80000 | 69805 64503 113 | 0.000 % |
182.32/182.60 c | 320042 | 800 16000 80000 | 2147483647 64663 113 | 0.000 % |
182.53/182.74 c | 320218 | 800 16000 80000 | 2147483647 64839 113 | 0.000 % |
182.62/182.86 c | 320412 | 800 16000 80000 | 2147483647 65033 113 | 0.000 % |
182.82/183.00 c | 320624 | 800 16000 80000 | 2147483647 65245 113 | 0.000 % |
182.92/183.13 c | 320857 | 800 16000 80000 | 2147483647 65478 113 | 0.000 % |
183.12/183.30 c | 321113 | 800 16000 80000 | 2147483647 65734 113 | 0.000 % |
183.22/183.47 c | 321394 | 800 16000 80000 | 2147483647 66015 113 | 0.000 % |
183.42/183.65 c | 321703 | 800 16000 80000 | 2147483647 66324 113 | 0.000 % |
183.62/183.83 c | 322043 | 800 16000 80000 | 2147483647 66664 113 | 0.000 % |
183.92/184.10 c | 322415 | 800 16000 80000 | 2147483647 67036 113 | 0.000 % |
184.12/184.35 c | 322825 | 800 16000 80000 | 2147483647 67446 113 | 0.000 % |
184.42/184.61 c | 323275 | 800 16000 80000 | 2147483647 67896 113 | 0.000 % |
184.72/184.92 c | 323768 | 800 16000 80000 | 2147483647 68389 113 | 0.000 % |
185.02/185.26 c | 324313 | 800 16000 80000 | 2147483647 68934 113 | 0.000 % |
185.42/185.62 c | 324909 | 800 16000 80000 | 2147483647 69530 113 | 0.000 % |
185.72/185.98 c | 325565 | 800 16000 80000 | 2147483647 70186 113 | 0.000 % |
186.22/186.47 c | 326286 | 800 16000 80000 | 2147483647 70907 113 | 0.000 % |
186.72/186.99 c | 327080 | 800 16000 80000 | 2147483647 71701 113 | 0.000 % |
187.32/187.57 c | 327953 | 800 16000 80000 | 2147483647 72574 113 | 0.000 % |
187.92/188.13 c | 328911 | 800 16000 80000 | 2147483647 73532 113 | 0.000 % |
188.52/188.76 c | 329964 | 800 16000 80000 | 2147483647 74585 113 | 0.000 % |
189.32/189.53 c | 331122 | 800 16000 80000 | 74622 67650 113 | 0.000 % |
190.02/190.24 c | 332398 | 800 16000 80000 | 74622 68926 113 | 0.000 % |
190.82/191.07 c | 333798 | 800 16000 80000 | 74622 70326 113 | 0.000 % |
191.72/191.98 c | 335341 | 800 16000 80000 | 74622 71869 113 | 0.000 % |
192.72/192.99 c | 337035 | 800 16000 80000 | 74622 73563 113 | 0.000 % |
194.02/194.22 c | 338899 | 800 16000 80000 | 74622 67412 113 | 0.000 % |
195.22/195.41 c | 340948 | 800 16000 80000 | 68515 62331 113 | 0.000 % |
196.42/196.66 c | 343203 | 800 16000 80000 | 68515 64586 113 | 0.000 % |
197.83/198.01 c | 345682 | 800 16000 80000 | 68515 67065 113 | 0.000 % |
199.32/199.57 c | 348407 | 800 16000 80000 | 68515 62908 113 | 0.000 % |
200.92/201.16 c | 351405 | 800 16000 80000 | 2147483647 65906 113 | 0.000 % |
203.12/203.31 c | 354702 | 800 16000 80000 | 2147483647 69203 114 | 0.000 % |
203.12/203.38 c | 354802 | 800 16000 80000 | 2147483647 69303 114 | 0.000 % |
203.22/203.46 c | 354912 | 800 16000 80000 | 2147483647 69413 114 | 0.000 % |
203.32/203.55 c | 355033 | 800 16000 80000 | 2147483647 69534 114 | 0.000 % |
203.42/203.65 c | 355166 | 800 16000 80000 | 2147483647 69667 114 | 0.000 % |
203.52/203.75 c | 355314 | 800 16000 80000 | 2147483647 69815 114 | 0.000 % |
203.62/203.85 c | 355474 | 800 16000 80000 | 2147483647 69975 114 | 0.000 % |
203.72/203.96 c | 355652 | 800 16000 80000 | 2147483647 70153 114 | 0.000 % |
203.82/204.08 c | 355845 | 800 16000 80000 | 2147483647 70346 114 | 0.000 % |
204.02/204.21 c | 356057 | 800 16000 80000 | 2147483647 70558 114 | 0.000 % |
204.11/204.39 c | 356290 | 800 16000 80000 | 2147483647 70791 114 | 0.000 % |
204.31/204.56 c | 356548 | 800 16000 80000 | 2147483647 71049 114 | 0.000 % |
204.52/204.75 c | 356832 | 800 16000 80000 | 2147483647 71333 114 | 0.000 % |
204.71/204.97 c | 357141 | 800 16000 80000 | 2147483647 71642 114 | 0.000 % |
204.91/205.19 c | 357480 | 800 16000 80000 | 2147483647 71981 114 | 0.000 % |
205.21/205.43 c | 357852 | 800 16000 80000 | 2147483647 72353 113 | 0.000 % |
205.41/205.69 c | 358263 | 800 16000 80000 | 2147483647 72764 113 | 0.000 % |
205.71/205.94 c | 358712 | 800 16000 80000 | 2147483647 73213 113 | 0.000 % |
206.01/206.28 c | 359205 | 800 16000 80000 | 2147483647 73706 113 | 0.000 % |
206.41/206.61 c | 359748 | 800 16000 80000 | 2147483647 74249 113 | 0.000 % |
206.81/207.05 c | 360344 | 800 16000 80000 | 74502 67006 114 | 0.000 % |
207.21/207.44 c | 361002 | 800 16000 80000 | 74502 67664 114 | 0.000 % |
207.72/207.91 c | 361722 | 800 16000 80000 | 74502 68384 114 | 0.000 % |
208.11/208.39 c | 362515 | 800 16000 80000 | 74502 69177 114 | 0.000 % |
208.61/208.89 c | 363386 | 800 16000 80000 | 74502 70048 114 | 0.000 % |
209.21/209.46 c | 364345 | 800 16000 80000 | 74502 71007 114 | 0.000 % |
209.81/210.09 c | 365399 | 800 16000 80000 | 74502 72061 114 | 0.000 % |
210.51/210.78 c | 366558 | 800 16000 80000 | 74502 73220 114 | 0.000 % |
211.41/211.61 c | 367832 | 800 16000 80000 | 74502 74494 114 | 0.000 % |
212.21/212.48 c | 369233 | 800 16000 80000 | 74502 67732 114 | 0.000 % |
213.11/213.35 c | 370773 | 800 16000 80000 | 68499 62361 114 | 0.000 % |
214.01/214.22 c | 372468 | 800 16000 80000 | 68499 64056 114 | 0.000 % |
215.11/215.30 c | 374332 | 800 16000 80000 | 68499 65920 114 | 0.000 % |
216.30/216.52 c | 376382 | 800 16000 80000 | 68499 67970 114 | 0.000 % |
217.50/217.78 c | 378635 | 800 16000 80000 | 68499 63346 114 | 0.000 % |
218.90/219.15 c | 381113 | 800 16000 80000 | 2147483647 65824 114 | 0.000 % |
220.50/220.71 c | 383841 | 800 16000 80000 | 2147483647 68552 114 | 0.000 % |
222.30/222.51 c | 386839 | 800 16000 80000 | 2147483647 71550 114 | 0.000 % |
224.20/224.48 c | 390138 | 800 16000 80000 | 2147483647 74849 114 | 0.000 % |
226.70/226.96 c | 393764 | 800 16000 80000 | 2147483647 78475 114 | 0.000 % |
226.80/227.04 c | 393865 | 800 16000 80000 | 2147483647 78576 114 | 0.000 % |
226.90/227.12 c | 393975 | 800 16000 80000 | 2147483647 78686 114 | 0.000 % |
227.00/227.23 c | 394098 | 800 16000 80000 | 2147483647 78809 114 | 0.000 % |
227.10/227.36 c | 394231 | 800 16000 80000 | 2147483647 78942 114 | 0.000 % |
227.20/227.48 c | 394378 | 800 16000 80000 | 2147483647 79089 114 | 0.000 % |
227.40/227.61 c | 394541 | 800 16000 80000 | 2147483647 79252 114 | 0.000 % |
227.50/227.76 c | 394717 | 800 16000 80000 | 2147483647 79428 114 | 0.000 % |
227.70/227.92 c | 394910 | 800 16000 80000 | 2147483647 79621 114 | 0.000 % |
227.80/228.09 c | 395124 | 800 16000 80000 | 2147483647 79835 114 | 0.000 % |
228.00/228.27 c | 395357 | 800 16000 80000 | 2147483647 80068 114 | 0.000 % |
228.20/228.46 c | 395613 | 800 16000 80000 | 2147483647 80324 114 | 0.000 % |
228.40/228.65 c | 395894 | 800 16000 80000 | 2147483647 80605 114 | 0.000 % |
228.60/228.86 c | 396204 | 800 16000 80000 | 2147483647 80915 114 | 0.000 % |
228.90/229.11 c | 396544 | 800 16000 80000 | 2147483647 81255 114 | 0.000 % |
229.09/229.38 c | 396916 | 800 16000 80000 | 2147483647 81627 114 | 0.000 % |
229.39/229.69 c | 397325 | 800 16000 80000 | 2147483647 82036 114 | 0.000 % |
229.80/230.00 c | 397774 | 800 16000 80000 | 2147483647 82485 113 | 0.000 % |
230.09/230.36 c | 398268 | 800 16000 80000 | 2147483647 82979 113 | 0.000 % |
230.49/230.77 c | 398810 | 800 16000 80000 | 2147483647 83521 113 | 0.000 % |
230.90/231.19 c | 399406 | 800 16000 80000 | 2147483647 84117 113 | 0.000 % |
231.49/231.71 c | 400061 | 800 16000 80000 | 84711 84772 113 | 0.000 % |
232.00/232.23 c | 400781 | 800 16000 80000 | 84711 73351 114 | 0.000 % |
232.49/232.74 c | 401573 | 800 16000 80000 | 84711 74143 114 | 0.000 % |
233.09/233.34 c | 402445 | 800 16000 80000 | 84711 75015 114 | 0.000 % |
233.69/233.95 c | 403404 | 800 16000 80000 | 84711 75974 114 | 0.000 % |
234.29/234.58 c | 404458 | 800 16000 80000 | 84711 77028 114 | 0.000 % |
235.09/235.31 c | 405619 | 800 16000 80000 | 84711 78189 114 | 0.000 % |
235.89/236.19 c | 406892 | 800 16000 80000 | 84711 79462 114 | 0.000 % |
236.89/237.11 c | 408293 | 800 16000 80000 | 84711 80863 114 | 0.000 % |
237.89/238.17 c | 409834 | 800 16000 80000 | 84711 82404 114 | 0.000 % |
238.99/239.28 c | 411528 | 800 16000 80000 | 82572 72454 114 | 0.000 % |
240.09/240.39 c | 413394 | 800 16000 80000 | 82572 74320 114 | 0.000 % |
241.39/241.63 c | 415444 | 800 16000 80000 | 82572 76370 114 | 0.000 % |
242.79/243.06 c | 417698 | 800 16000 80000 | 82572 78624 114 | 0.000 % |
244.38/244.67 c | 420177 | 800 16000 80000 | 80927 81103 114 | 0.000 % |
246.08/246.32 c | 422902 | 800 16000 80000 | 80927 73170 114 | 0.000 % |
247.88/248.19 c | 425899 | 800 16000 80000 | 80927 76167 114 | 0.000 % |
250.08/250.36 c | 429195 | 800 16000 80000 | 80927 79463 114 | 0.000 % |
252.38/252.68 c | 432821 | 800 16000 80000 | 80269 72853 114 | 0.000 % |
254.88/255.17 c | 436809 | 800 16000 80000 | 80269 76841 114 | 0.000 % |
254.99/255.25 c | 436909 | 800 16000 80000 | 80269 76941 114 | 0.000 % |
255.09/255.33 c | 437019 | 800 16000 80000 | 80269 77051 114 | 0.000 % |
255.18/255.45 c | 437140 | 800 16000 80000 | 80269 77172 114 | 0.000 % |
255.28/255.55 c | 437273 | 800 16000 80000 | 80269 77305 114 | 0.000 % |
255.38/255.65 c | 437420 | 800 16000 80000 | 80269 77452 114 | 0.000 % |
255.48/255.78 c | 437581 | 800 16000 80000 | 80269 77613 114 | 0.000 % |
255.68/255.92 c | 437757 | 800 16000 80000 | 80269 77789 114 | 0.000 % |
255.78/256.07 c | 437950 | 800 16000 80000 | 80269 77982 114 | 0.000 % |
255.98/256.22 c | 438162 | 800 16000 80000 | 80269 78194 114 | 0.000 % |
256.09/256.38 c | 438397 | 800 16000 80000 | 80269 78429 114 | 0.000 % |
256.28/256.55 c | 438654 | 800 16000 80000 | 80269 78686 114 | 0.000 % |
256.48/256.74 c | 438936 | 800 16000 80000 | 80269 78968 114 | 0.000 % |
256.68/256.95 c | 439245 | 800 16000 80000 | 80269 79277 114 | 0.000 % |
256.88/257.19 c | 439585 | 800 16000 80000 | 80269 79617 114 | 0.000 % |
257.18/257.50 c | 439958 | 800 16000 80000 | 80269 79990 114 | 0.000 % |
257.58/257.82 c | 440367 | 800 16000 80000 | 80032 69633 114 | 0.000 % |
257.88/258.11 c | 440816 | 800 16000 80000 | 80032 70082 114 | 0.000 % |
258.18/258.40 c | 441309 | 800 16000 80000 | 80032 70575 114 | 0.000 % |
258.48/258.73 c | 441852 | 800 16000 80000 | 80032 71118 114 | 0.000 % |
258.78/259.08 c | 442448 | 800 16000 80000 | 80032 71714 114 | 0.000 % |
259.18/259.47 c | 443105 | 800 16000 80000 | 80032 72371 114 | 0.000 % |
259.57/259.89 c | 443825 | 800 16000 80000 | 80032 73091 114 | 0.000 % |
260.07/260.38 c | 444617 | 800 16000 80000 | 80032 73883 114 | 0.000 % |
260.66/260.90 c | 445488 | 800 16000 80000 | 80032 74754 113 | 0.000 % |
261.16/261.46 c | 446446 | 800 16000 80000 | 80032 75712 114 | 0.000 % |
261.86/262.12 c | 447499 | 800 16000 80000 | 80032 76765 114 | 0.000 % |
262.56/262.82 c | 448657 | 800 16000 80000 | 80032 77923 113 | 0.000 % |
263.36/263.64 c | 449931 | 800 16000 80000 | 80032 79197 113 | 0.000 % |
264.26/264.53 c | 451331 | 800 16000 80000 | 79266 70751 113 | 0.000 % |
265.26/265.50 c | 452873 | 800 16000 80000 | 79266 72293 113 | 0.000 % |
266.36/266.61 c | 454568 | 800 16000 80000 | 79266 73988 113 | 0.000 % |
267.46/267.75 c | 456431 | 800 16000 80000 | 79266 75851 113 | 0.000 % |
268.66/268.99 c | 458481 | 800 16000 80000 | 79266 77901 113 | 0.000 % |
270.16/270.43 c | 460735 | 800 16000 80000 | 79421 70160 113 | 0.000 % |
271.56/271.88 c | 463213 | 800 16000 80000 | 79421 72638 114 | 0.000 % |
273.26/273.55 c | 465938 | 800 16000 80000 | 79421 75363 114 | 0.000 % |
275.16/275.42 c | 468936 | 800 16000 80000 | 79421 78361 114 | 0.000 % |
277.15/277.43 c | 472232 | 800 16000 80000 | 79425 72369 115 | 0.000 % |
279.17/279.45 c | 475857 | 800 16000 80000 | 79425 75994 116 | 0.000 % |
281.76/282.10 c | 479844 | 800 16000 80000 | 79425 70920 116 | 0.000 % |
284.36/284.68 c | 484231 | 800 16000 80000 | 71076 67196 116 | 0.000 % |
284.46/284.75 c | 484331 | 800 16000 80000 | 71076 67296 116 | 0.000 % |
284.56/284.81 c | 484445 | 800 16000 80000 | 71076 67410 116 | 0.000 % |
284.66/284.91 c | 484570 | 800 16000 80000 | 71076 67535 116 | 0.000 % |
284.76/285.02 c | 484703 | 800 16000 80000 | 71076 67668 116 | 0.000 % |
284.86/285.12 c | 484849 | 800 16000 80000 | 71076 67814 116 | 0.000 % |
284.96/285.22 c | 485009 | 800 16000 80000 | 71076 67974 116 | 0.000 % |
285.06/285.35 c | 485186 | 800 16000 80000 | 71076 68151 116 | 0.000 % |
285.16/285.46 c | 485379 | 800 16000 80000 | 71076 68344 116 | 0.000 % |
285.36/285.60 c | 485592 | 800 16000 80000 | 71076 68557 116 | 0.000 % |
285.46/285.75 c | 485827 | 800 16000 80000 | 71076 68792 116 | 0.000 % |
285.66/285.92 c | 486084 | 800 16000 80000 | 71076 69049 116 | 0.000 % |
285.86/286.10 c | 486365 | 800 16000 80000 | 71076 69330 116 | 0.000 % |
285.96/286.29 c | 486674 | 800 16000 80000 | 71076 69639 116 | 0.000 % |
286.26/286.50 c | 487013 | 800 16000 80000 | 71076 69978 116 | 0.000 % |
286.46/286.72 c | 487385 | 800 16000 80000 | 71076 70350 116 | 0.000 % |
286.66/286.98 c | 487795 | 800 16000 80000 | 71076 70760 116 | 0.000 % |
286.96/287.26 c | 488245 | 800 16000 80000 | 71076 71210 116 | 0.000 % |
287.36/287.60 c | 488738 | 800 16000 80000 | 71076 64255 115 | 0.000 % |
287.66/287.91 c | 489280 | 800 16000 80000 | 71076 64797 115 | 0.000 % |
287.96/288.23 c | 489876 | 800 16000 80000 | 71076 65393 115 | 0.000 % |
288.36/288.63 c | 490533 | 800 16000 80000 | 65517 59468 115 | 0.000 % |
288.76/289.05 c | 491257 | 800 16000 80000 | 65517 60192 115 | 0.000 % |
289.16/289.48 c | 492050 | 800 16000 80000 | 65517 60985 115 | 0.000 % |
289.65/289.96 c | 492921 | 800 16000 80000 | 65517 61856 115 | 0.000 % |
290.16/290.47 c | 493879 | 800 16000 80000 | 65517 62814 115 | 0.000 % |
290.75/291.05 c | 494932 | 800 16000 80000 | 65517 63867 115 | 0.000 % |
291.36/291.69 c | 496090 | 800 16000 80000 | 65517 65025 115 | 0.000 % |
292.15/292.42 c | 497364 | 800 16000 80000 | 65517 59718 115 | 0.000 % |
292.85/293.17 c | 498764 | 800 16000 80000 | 65517 61118 115 | 0.000 % |
293.65/293.96 c | 500304 | 800 16000 80000 | 2147483647 62658 115 | 0.000 % |
294.56/294.88 c | 501999 | 800 16000 80000 | 2147483647 64353 116 | 0.000 % |
295.65/295.96 c | 503864 | 800 16000 80000 | 2147483647 66218 116 | 0.000 % |
296.85/297.13 c | 505914 | 800 16000 80000 | 2147483647 68268 116 | 0.000 % |
298.15/298.43 c | 508170 | 800 16000 80000 | 2147483647 70524 116 | 0.000 % |
299.55/299.87 c | 510648 | 800 16000 80000 | 2147483647 73002 116 | 0.000 % |
301.25/301.55 c | 513375 | 800 16000 80000 | 2147483647 75729 116 | 0.000 % |
303.25/303.51 c | 516373 | 800 16000 80000 | 2147483647 78727 116 | 0.000 % |
305.44/305.77 c | 519671 | 800 16000 80000 | 2147483647 82025 116 | 0.000 % |
307.93/308.26 c | 523296 | 800 16000 80000 | 82354 74955 116 | 0.000 % |
310.53/310.84 c | 527285 | 800 16000 80000 | 82354 78944 116 | 0.000 % |
313.53/313.83 c | 531670 | 800 16000 80000 | 81659 72846 116 | 0.000 % |
316.73/317.04 c | 536493 | 800 16000 80000 | 81659 77669 116 | 0.000 % |
316.83/317.12 c | 536593 | 800 16000 80000 | 81659 77769 116 | 0.000 % |
316.93/317.21 c | 536705 | 800 16000 80000 | 81659 77881 116 | 0.000 % |
317.03/317.32 c | 536826 | 800 16000 80000 | 81659 78002 116 | 0.000 % |
317.13/317.42 c | 536959 | 800 16000 80000 | 81659 78135 116 | 0.000 % |
317.23/317.54 c | 537105 | 800 16000 80000 | 81659 78281 116 | 0.000 % |
317.33/317.66 c | 537265 | 800 16000 80000 | 81659 78441 116 | 0.000 % |
317.43/317.78 c | 537441 | 800 16000 80000 | 81659 78617 116 | 0.000 % |
317.63/317.93 c | 537634 | 800 16000 80000 | 81659 78810 116 | 0.000 % |
317.83/318.10 c | 537846 | 800 16000 80000 | 81659 79022 116 | 0.000 % |
317.93/318.27 c | 538081 | 800 16000 80000 | 81659 79257 116 | 0.000 % |
318.13/318.47 c | 538338 | 800 16000 80000 | 81659 79514 116 | 0.000 % |
318.33/318.69 c | 538619 | 800 16000 80000 | 81659 79795 116 | 0.000 % |
318.63/318.90 c | 538929 | 800 16000 80000 | 81659 80105 116 | 0.000 % |
318.83/319.14 c | 539270 | 800 16000 80000 | 81659 80446 116 | 0.000 % |
319.13/319.42 c | 539643 | 800 16000 80000 | 81659 80819 116 | 0.000 % |
319.33/319.69 c | 540052 | 800 16000 80000 | 81179 81228 116 | 0.000 % |
319.73/320.03 c | 540501 | 800 16000 80000 | 81179 70416 115 | 0.000 % |
320.03/320.34 c | 540994 | 800 16000 80000 | 81179 70909 115 | 0.000 % |
320.32/320.65 c | 541536 | 800 16000 80000 | 81179 71451 115 | 0.000 % |
320.72/321.03 c | 542134 | 800 16000 80000 | 81179 72049 115 | 0.000 % |
321.12/321.45 c | 542790 | 800 16000 80000 | 81179 72705 115 | 0.000 % |
321.52/321.90 c | 543510 | 800 16000 80000 | 81179 73425 115 | 0.000 % |
322.13/322.41 c | 544302 | 800 16000 80000 | 81179 74217 115 | 0.000 % |
322.72/323.01 c | 545174 | 800 16000 80000 | 81179 75089 115 | 0.000 % |
323.32/323.63 c | 546133 | 800 16000 80000 | 81179 76048 115 | 0.000 % |
324.02/324.30 c | 547187 | 800 16000 80000 | 81179 77102 115 | 0.000 % |
324.72/325.04 c | 548346 | 800 16000 80000 | 81179 78261 115 | 0.000 % |
325.52/325.83 c | 549619 | 800 16000 80000 | 81179 79534 115 | 0.000 % |
326.43/326.72 c | 551019 | 800 16000 80000 | 79915 70224 114 | 0.000 % |
327.32/327.66 c | 552560 | 800 16000 80000 | 79915 71765 114 | 0.000 % |
328.42/328.71 c | 554256 | 800 16000 80000 | 79915 73461 114 | 0.000 % |
329.52/329.84 c | 556119 | 800 16000 80000 | 79915 75324 114 | 0.000 % |
330.72/331.07 c | 558168 | 800 16000 80000 | 79915 77373 114 | 0.000 % |
332.22/332.58 c | 560424 | 800 16000 80000 | 79207 69926 114 | 0.000 % |
333.72/334.05 c | 562902 | 800 16000 80000 | 79207 72404 114 | 0.000 % |
335.42/335.75 c | 565627 | 800 16000 80000 | 79207 75129 115 | 0.000 % |
337.32/337.65 c | 568625 | 800 16000 80000 | 79207 78127 115 | 0.000 % |
339.52/339.80 c | 571921 | 800 16000 80000 | 79502 71599 115 | 0.000 % |
341.92/342.21 c | 575548 | 800 16000 80000 | 79502 75226 115 | 0.000 % |
344.31/344.66 c | 579537 | 800 16000 80000 | 79502 79215 115 | 0.000 % |
347.21/347.51 c | 583922 | 800 16000 80000 | 79678 72610 116 | 0.000 % |
350.21/350.55 c | 588745 | 800 16000 80000 | 79678 77433 116 | 0.000 % |
353.60/353.98 c | 594051 | 800 16000 80000 | 78689 72212 117 | 0.000 % |
353.70/354.05 c | 594151 | 800 16000 80000 | 78689 72312 116 | 0.000 % |
353.80/354.13 c | 594261 | 800 16000 80000 | 78689 72422 116 | 0.000 % |
353.90/354.21 c | 594384 | 800 16000 80000 | 78689 72545 116 | 0.000 % |
353.90/354.29 c | 594518 | 800 16000 80000 | 78689 72679 116 | 0.000 % |
354.10/354.40 c | 594665 | 800 16000 80000 | 78689 72826 116 | 0.000 % |
354.20/354.52 c | 594825 | 800 16000 80000 | 78689 72986 116 | 0.000 % |
354.30/354.65 c | 595001 | 800 16000 80000 | 78689 73162 116 | 0.000 % |
354.50/354.80 c | 595194 | 800 16000 80000 | 78689 73355 116 | 0.000 % |
354.60/354.95 c | 595407 | 800 16000 80000 | 78689 73568 116 | 0.000 % |
354.80/355.12 c | 595640 | 800 16000 80000 | 78689 73801 116 | 0.000 % |
354.90/355.28 c | 595896 | 800 16000 80000 | 78689 74057 116 | 0.000 % |
355.10/355.49 c | 596179 | 800 16000 80000 | 78689 74340 116 | 0.000 % |
355.30/355.67 c | 596489 | 800 16000 80000 | 78689 74650 116 | 0.000 % |
355.50/355.89 c | 596830 | 800 16000 80000 | 78689 74991 116 | 0.000 % |
355.80/356.13 c | 597204 | 800 16000 80000 | 78689 75365 116 | 0.000 % |
356.10/356.43 c | 597614 | 800 16000 80000 | 78689 75775 116 | 0.000 % |
356.40/356.71 c | 598064 | 800 16000 80000 | 78689 76225 116 | 0.000 % |
356.70/357.06 c | 598557 | 800 16000 80000 | 78689 76718 116 | 0.000 % |
357.10/357.47 c | 599099 | 800 16000 80000 | 78689 77260 116 | 0.000 % |
357.60/357.91 c | 599698 | 800 16000 80000 | 78689 77859 116 | 0.000 % |
358.00/358.37 c | 600353 | 800 16000 80000 | 78161 68202 116 | 0.000 % |
358.50/358.82 c | 601074 | 800 16000 80000 | 78161 68923 116 | 0.000 % |
359.00/359.36 c | 601867 | 800 16000 80000 | 78161 69716 116 | 0.000 % |
359.50/359.87 c | 602740 | 800 16000 80000 | 78161 70589 116 | 0.000 % |
360.10/360.43 c | 603699 | 800 16000 80000 | 78161 71548 116 | 0.000 % |
360.70/361.09 c | 604754 | 800 16000 80000 | 78161 72603 116 | 0.000 % |
361.50/361.81 c | 605912 | 800 16000 80000 | 78161 73761 116 | 0.000 % |
362.29/362.63 c | 607188 | 800 16000 80000 | 78161 75037 116 | 0.000 % |
363.19/363.53 c | 608588 | 800 16000 80000 | 78161 76437 116 | 0.000 % |
364.29/364.64 c | 610131 | 800 16000 80000 | 77849 77980 116 | 0.000 % |
365.39/365.74 c | 611826 | 800 16000 80000 | 77849 69974 116 | 0.000 % |
366.59/366.95 c | 613691 | 800 16000 80000 | 77849 71839 116 | 0.000 % |
367.89/368.22 c | 615741 | 800 16000 80000 | 77849 73889 116 | 0.000 % |
369.30/369.61 c | 617997 | 800 16000 80000 | 77849 76145 116 | 0.000 % |
370.99/371.33 c | 620475 | 800 16000 80000 | 68875 61208 117 | 0.000 % |
372.59/372.91 c | 623200 | 800 16000 80000 | 68875 63933 117 | 0.000 % |
374.19/374.54 c | 626198 | 800 16000 80000 | 68875 66931 117 | 0.000 % |
376.29/376.64 c | 629495 | 800 16000 80000 | 68875 63315 117 | 0.000 % |
378.39/378.70 c | 633120 | 800 16000 80000 | 2147483647 66940 117 | 0.000 % |
380.69/381.04 c | 637108 | 800 16000 80000 | 2147483647 70928 117 | 0.000 % |
383.59/383.95 c | 641493 | 800 16000 80000 | 2147483647 75313 117 | 0.000 % |
386.99/387.37 c | 646316 | 800 16000 80000 | 2147483647 80136 117 | 0.000 % |
390.88/391.21 c | 651621 | 800 16000 80000 | 83821 73343 116 | 0.000 % |
394.38/394.79 c | 657456 | 800 16000 80000 | 83821 79178 116 | 0.000 % |
394.48/394.87 c | 657556 | 800 16000 80000 | 83821 79278 116 | 0.000 % |
394.58/394.98 c | 657669 | 800 16000 80000 | 83821 79391 116 | 0.000 % |
394.68/395.07 c | 657792 | 800 16000 80000 | 83821 79514 116 | 0.000 % |
394.78/395.17 c | 657928 | 800 16000 80000 | 83821 79650 116 | 0.000 % |
394.88/395.28 c | 658076 | 800 16000 80000 | 83821 79798 116 | 0.000 % |
395.07/395.41 c | 658236 | 800 16000 80000 | 83821 79958 116 | 0.000 % |
395.17/395.56 c | 658413 | 800 16000 80000 | 83821 80135 116 | 0.000 % |
395.37/395.74 c | 658607 | 800 16000 80000 | 83821 80329 116 | 0.000 % |
395.57/395.90 c | 658820 | 800 16000 80000 | 83821 80542 116 | 0.000 % |
395.67/396.07 c | 659053 | 800 16000 80000 | 83821 80775 116 | 0.000 % |
395.97/396.30 c | 659314 | 800 16000 80000 | 83821 81036 116 | 0.000 % |
396.18/396.50 c | 659597 | 800 16000 80000 | 83821 81319 116 | 0.000 % |
396.38/396.74 c | 659906 | 800 16000 80000 | 83821 81628 116 | 0.000 % |
396.68/397.01 c | 660246 | 800 16000 80000 | 81724 81968 116 | 0.000 % |
396.98/397.30 c | 660618 | 800 16000 80000 | 81724 70253 115 | 0.000 % |
397.18/397.56 c | 661028 | 800 16000 80000 | 81724 70663 115 | 0.000 % |
397.48/397.84 c | 661478 | 800 16000 80000 | 81724 71113 115 | 0.000 % |
397.78/398.17 c | 661971 | 800 16000 80000 | 81724 71606 115 | 0.000 % |
398.18/398.51 c | 662514 | 800 16000 80000 | 81724 72149 115 | 0.000 % |
398.58/398.94 c | 663111 | 800 16000 80000 | 81724 72746 115 | 0.000 % |
398.98/399.34 c | 663767 | 800 16000 80000 | 81724 73402 115 | 0.000 % |
399.38/399.80 c | 664488 | 800 16000 80000 | 81724 74123 115 | 0.000 % |
399.98/400.31 c | 665280 | 800 16000 80000 | 81724 74915 115 | 0.000 % |
400.48/400.87 c | 666151 | 800 16000 80000 | 81724 75786 115 | 0.000 % |
401.08/401.50 c | 667109 | 800 16000 80000 | 81724 76744 115 | 0.000 % |
401.78/402.19 c | 668162 | 800 16000 80000 | 81724 77797 115 | 0.000 % |
402.48/402.90 c | 669321 | 800 16000 80000 | 81724 78956 114 | 0.000 % |
403.48/403.83 c | 670594 | 800 16000 80000 | 79635 69305 115 | 0.000 % |
404.27/404.68 c | 671995 | 800 16000 80000 | 79635 70706 115 | 0.000 % |
405.17/405.56 c | 673536 | 800 16000 80000 | 79635 72247 115 | 0.000 % |
406.27/406.67 c | 675232 | 800 16000 80000 | 79635 73943 115 | 0.000 % |
407.47/407.84 c | 677097 | 800 16000 80000 | 79635 75808 115 | 0.000 % |
408.67/409.08 c | 679146 | 800 16000 80000 | 79635 77857 115 | 0.000 % |
410.08/410.50 c | 681399 | 800 16000 80000 | 78712 70237 115 | 0.000 % |
411.57/411.96 c | 683877 | 800 16000 80000 | 78712 72715 115 | 0.000 % |
413.28/413.68 c | 686603 | 800 16000 80000 | 78712 75441 115 | 0.000 % |
415.27/415.64 c | 689602 | 800 16000 80000 | 78712 78440 116 | 0.000 % |
417.27/417.63 c | 692899 | 800 16000 80000 | 78839 72611 116 | 0.000 % |
419.47/419.86 c | 696524 | 800 16000 80000 | 78839 76236 116 | 0.000 % |
421.97/422.30 c | 700513 | 800 16000 80000 | 70590 63129 115 | 0.000 % |
424.37/424.77 c | 704898 | 800 16000 80000 | 70590 67514 115 | 0.000 % |
427.26/427.64 c | 709721 | 800 16000 80000 | 70590 65251 115 | 0.000 % |
430.26/430.65 c | 715029 | 800 16000 80000 | 2147483647 70559 115 | 0.000 % |
433.86/434.23 c | 720864 | 800 16000 80000 | 75530 68418 114 | 0.000 % |
438.06/438.43 c | 727285 | 800 16000 80000 | 75530 74839 115 | 0.000 % |
438.06/438.49 c | 727385 | 800 16000 80000 | 75530 74939 115 | 0.000 % |
438.16/438.57 c | 727496 | 800 16000 80000 | 75530 75050 115 | 0.000 % |
438.26/438.66 c | 727618 | 800 16000 80000 | 75530 75172 115 | 0.000 % |
438.36/438.75 c | 727751 | 800 16000 80000 | 75530 75305 115 | 0.000 % |
438.46/438.85 c | 727897 | 800 16000 80000 | 75530 75451 115 | 0.000 % |
438.56/438.97 c | 728057 | 800 16000 80000 | 75530 75611 115 | 0.000 % |
438.76/439.15 c | 728234 | 800 16000 80000 | 75530 66640 116 | 0.000 % |
438.86/439.28 c | 728428 | 800 16000 80000 | 75530 66834 116 | 0.000 % |
439.06/439.42 c | 728642 | 800 16000 80000 | 75530 67048 116 | 0.000 % |
439.16/439.56 c | 728878 | 800 16000 80000 | 75530 67284 116 | 0.000 % |
439.36/439.70 c | 729136 | 800 16000 80000 | 75530 67542 116 | 0.000 % |
439.46/439.88 c | 729420 | 800 16000 80000 | 75530 67826 116 | 0.000 % |
439.66/440.07 c | 729732 | 800 16000 80000 | 75530 68138 115 | 0.000 % |
439.86/440.29 c | 730073 | 800 16000 80000 | 68406 68479 115 | 0.000 % |
440.16/440.56 c | 730445 | 800 16000 80000 | 68406 60865 116 | 0.000 % |
440.46/440.84 c | 730854 | 800 16000 80000 | 68406 61274 116 | 0.000 % |
440.76/441.11 c | 731304 | 800 16000 80000 | 68406 61724 116 | 0.000 % |
441.05/441.40 c | 731797 | 800 16000 80000 | 68406 62217 116 | 0.000 % |
441.25/441.69 c | 732339 | 800 16000 80000 | 68406 62759 116 | 0.000 % |
441.65/442.01 c | 732936 | 800 16000 80000 | 68406 63356 116 | 0.000 % |
441.95/442.37 c | 733591 | 800 16000 80000 | 68406 64011 116 | 0.000 % |
442.45/442.82 c | 734311 | 800 16000 80000 | 68406 64731 115 | 0.000 % |
442.85/443.28 c | 735103 | 800 16000 80000 | 68406 65523 115 | 0.000 % |
443.35/443.75 c | 735975 | 800 16000 80000 | 68406 66395 115 | 0.000 % |
443.95/444.33 c | 736933 | 800 16000 80000 | 68406 67353 115 | 0.000 % |
444.55/444.91 c | 737987 | 800 16000 80000 | 68406 68407 115 | 0.000 % |
445.15/445.56 c | 739145 | 800 16000 80000 | 68406 62725 116 | 0.000 % |
445.75/446.19 c | 740419 | 800 16000 80000 | 2147483647 63999 115 | 0.000 % |
446.55/446.98 c | 741820 | 800 16000 80000 | 2147483647 65400 115 | 0.000 % |
447.45/447.83 c | 743360 | 800 16000 80000 | 2147483647 66940 116 | 0.000 % |
448.35/448.77 c | 745054 | 800 16000 80000 | 2147483647 68634 115 | 0.000 % |
449.45/449.87 c | 746917 | 800 16000 80000 | 2147483647 70497 115 | 0.000 % |
450.75/451.11 c | 748966 | 800 16000 80000 | 2147483647 72546 115 | 0.000 % |
452.15/452.53 c | 751219 | 800 16000 80000 | 2147483647 74799 115 | 0.000 % |
453.75/454.19 c | 753697 | 800 16000 80000 | 2147483647 77277 116 | 0.000 % |
455.45/455.87 c | 756422 | 800 16000 80000 | 2147483647 80002 115 | 0.000 % |
457.55/457.96 c | 759419 | 800 16000 80000 | 2147483647 82999 116 | 0.000 % |
459.65/460.02 c | 762715 | 800 16000 80000 | 83580 75371 115 | 0.000 % |
461.94/462.39 c | 766342 | 800 16000 80000 | 83580 78998 115 | 0.000 % |
464.74/465.15 c | 770329 | 800 16000 80000 | 82657 71518 115 | 0.000 % |
467.64/468.01 c | 774717 | 800 16000 80000 | 82657 75906 116 | 0.000 % |
470.94/471.36 c | 779540 | 800 16000 80000 | 82657 80729 116 | 0.000 % |
474.14/474.56 c | 784845 | 800 16000 80000 | 81190 75011 117 | 0.000 % |
477.94/478.32 c | 790681 | 800 16000 80000 | 80166 69720 117 | 0.000 % |
481.84/482.28 c | 797099 | 800 16000 80000 | 80166 76138 117 | 0.000 % |
486.23/486.68 c | 804158 | 800 16000 80000 | 79039 72404 118 | 0.000 % |
486.33/486.75 c | 804258 | 800 16000 80000 | 79039 72504 118 | 0.000 % |
486.43/486.83 c | 804368 | 800 16000 80000 | 79039 72614 118 | 0.000 % |
486.53/486.92 c | 804493 | 800 16000 80000 | 79039 72739 118 | 0.000 % |
486.63/487.04 c | 804626 | 800 16000 80000 | 79039 72872 118 | 0.000 % |
486.73/487.14 c | 804773 | 800 16000 80000 | 79039 73019 118 | 0.000 % |
486.83/487.25 c | 804934 | 800 16000 80000 | 79039 73180 117 | 0.000 % |
486.93/487.38 c | 805110 | 800 16000 80000 | 79039 73356 117 | 0.000 % |
487.13/487.52 c | 805304 | 800 16000 80000 | 79039 73550 117 | 0.000 % |
487.22/487.67 c | 805516 | 800 16000 80000 | 79039 73762 117 | 0.000 % |
487.42/487.85 c | 805754 | 800 16000 80000 | 79039 74000 117 | 0.000 % |
487.62/488.02 c | 806011 | 800 16000 80000 | 79039 74257 117 | 0.000 % |
487.82/488.24 c | 806292 | 800 16000 80000 | 79039 74538 117 | 0.000 % |
488.03/488.45 c | 806601 | 800 16000 80000 | 79039 74847 117 | 0.000 % |
488.23/488.67 c | 806940 | 800 16000 80000 | 79039 75186 117 | 0.000 % |
488.53/488.92 c | 807313 | 800 16000 80000 | 79039 75559 117 | 0.000 % |
488.82/489.20 c | 807725 | 800 16000 80000 | 79039 75971 117 | 0.000 % |
489.02/489.49 c | 808174 | 800 16000 80000 | 79039 76420 117 | 0.000 % |
489.32/489.80 c | 808667 | 800 16000 80000 | 79039 76913 117 | 0.000 % |
489.72/490.16 c | 809209 | 800 16000 80000 | 79039 77455 117 | 0.000 % |
490.12/490.51 c | 809806 | 800 16000 80000 | 79039 78052 117 | 0.000 % |
490.52/490.97 c | 810461 | 800 16000 80000 | 78247 68059 118 | 0.000 % |
491.02/491.43 c | 811182 | 800 16000 80000 | 78247 68780 118 | 0.000 % |
491.52/491.91 c | 811974 | 800 16000 80000 | 78247 69572 118 | 0.000 % |
491.92/492.39 c | 812846 | 800 16000 80000 | 78247 70444 118 | 0.000 % |
492.53/492.96 c | 813807 | 800 16000 80000 | 78247 71405 118 | 0.000 % |
493.22/493.62 c | 814863 | 800 16000 80000 | 78247 72461 118 | 0.000 % |
493.92/494.34 c | 816025 | 800 16000 80000 | 78247 73623 118 | 0.000 % |
494.73/495.18 c | 817298 | 800 16000 80000 | 78247 74896 117 | 0.000 % |
495.72/496.12 c | 818698 | 800 16000 80000 | 78247 76296 117 | 0.000 % |
496.62/497.07 c | 820240 | 800 16000 80000 | 77599 77838 117 | 0.000 % |
497.72/498.11 c | 821934 | 800 16000 80000 | 77599 69971 117 | 0.000 % |
498.82/499.26 c | 823801 | 800 16000 80000 | 77599 71838 118 | 0.000 % |
500.12/500.51 c | 825850 | 800 16000 80000 | 77599 73887 118 | 0.000 % |
501.42/501.88 c | 828104 | 800 16000 80000 | 77599 76141 118 | 0.000 % |
503.12/503.52 c | 830582 | 800 16000 80000 | 69038 61666 117 | 0.000 % |
504.52/504.99 c | 833307 | 800 16000 80000 | 69038 64391 117 | 0.000 % |
506.32/506.72 c | 836304 | 800 16000 80000 | 69038 67388 117 | 0.000 % |
508.21/508.66 c | 839600 | 800 16000 80000 | 69038 63754 117 | 0.000 % |
510.31/510.77 c | 843225 | 800 16000 80000 | 2147483647 67379 117 | 0.000 % |
512.61/513.08 c | 847212 | 800 16000 80000 | 2147483647 71366 117 | 0.000 % |
515.21/515.69 c | 851597 | 800 16000 80000 | 2147483647 75751 118 | 0.000 % |
518.51/518.92 c | 856421 | 800 16000 80000 | 2147483647 80575 118 | 0.000 % |
521.91/522.37 c | 861728 | 800 16000 80000 | 84154 74132 118 | 0.000 % |
525.61/526.06 c | 867563 | 800 16000 80000 | 84154 79967 118 | 0.000 % |
529.81/530.26 c | 873981 | 800 16000 80000 | 82404 74726 118 | 0.000 % |
534.20/534.70 c | 881040 | 800 16000 80000 | 80745 70274 118 | 0.000 % |
539.00/539.47 c | 888805 | 800 16000 80000 | 80745 78039 118 | 0.000 % |
539.10/539.54 c | 888906 | 800 16000 80000 | 80745 78140 118 | 0.000 % |
539.20/539.62 c | 889017 | 800 16000 80000 | 80745 78251 118 | 0.000 % |
539.30/539.72 c | 889138 | 800 16000 80000 | 80745 78372 118 | 0.000 % |
539.40/539.81 c | 889272 | 800 16000 80000 | 80745 78506 118 | 0.000 % |
539.50/539.92 c | 889419 | 800 16000 80000 | 80745 78653 118 | 0.000 % |
539.59/540.03 c | 889579 | 800 16000 80000 | 80745 78813 118 | 0.000 % |
539.70/540.18 c | 889762 | 800 16000 80000 | 80745 78996 118 | 0.000 % |
539.89/540.33 c | 889956 | 800 16000 80000 | 80745 79190 118 | 0.000 % |
540.09/540.50 c | 890168 | 800 16000 80000 | 79234 79402 118 | 0.000 % |
540.29/540.71 c | 890403 | 800 16000 80000 | 79234 68701 119 | 0.000 % |
540.39/540.88 c | 890662 | 800 16000 80000 | 79234 68960 119 | 0.000 % |
540.59/541.06 c | 890945 | 800 16000 80000 | 79234 69243 119 | 0.000 % |
540.80/541.23 c | 891254 | 800 16000 80000 | 79234 69552 119 | 0.000 % |
540.99/541.43 c | 891594 | 800 16000 80000 | 79234 69892 119 | 0.000 % |
541.29/541.71 c | 891968 | 800 16000 80000 | 79234 70266 119 | 0.000 % |
541.49/541.99 c | 892378 | 800 16000 80000 | 79234 70676 119 | 0.000 % |
541.79/542.26 c | 892828 | 800 16000 80000 | 79234 71126 119 | 0.000 % |
542.09/542.57 c | 893321 | 800 16000 80000 | 79234 71619 119 | 0.000 % |
542.49/542.92 c | 893863 | 800 16000 80000 | 79234 72161 119 | 0.000 % |
542.89/543.32 c | 894460 | 800 16000 80000 | 79234 72758 119 | 0.000 % |
543.29/543.74 c | 895115 | 800 16000 80000 | 79234 73413 119 | 0.000 % |
543.69/544.19 c | 895835 | 800 16000 80000 | 79234 74133 118 | 0.000 % |
544.29/544.75 c | 896630 | 800 16000 80000 | 79234 74928 118 | 0.000 % |
544.79/545.28 c | 897502 | 800 16000 80000 | 79234 75800 118 | 0.000 % |
545.49/545.95 c | 898461 | 800 16000 80000 | 79234 76759 118 | 0.000 % |
546.19/546.63 c | 899514 | 800 16000 80000 | 79234 77812 118 | 0.000 % |
546.99/547.47 c | 900672 | 800 16000 80000 | 78298 68383 118 | 0.000 % |
547.89/548.33 c | 901945 | 800 16000 80000 | 78298 69656 118 | 0.000 % |
548.69/549.18 c | 903346 | 800 16000 80000 | 78298 71057 118 | 0.000 % |
549.69/550.13 c | 904886 | 800 16000 80000 | 78298 72597 118 | 0.000 % |
550.69/551.18 c | 906582 | 800 16000 80000 | 78298 74293 118 | 0.000 % |
551.98/552.41 c | 908445 | 800 16000 80000 | 78298 76156 118 | 0.000 % |
553.28/553.79 c | 910497 | 800 16000 80000 | 77711 68581 117 | 0.000 % |
554.68/555.10 c | 912750 | 800 16000 80000 | 77711 70834 117 | 0.000 % |
556.19/556.68 c | 915231 | 800 16000 80000 | 77711 73315 117 | 0.000 % |
557.98/558.48 c | 917959 | 800 16000 80000 | 77711 76043 117 | 0.000 % |
559.98/560.47 c | 920957 | 800 16000 80000 | 68637 61498 116 | 0.000 % |
561.78/562.23 c | 924253 | 800 16000 80000 | 68637 64794 116 | 0.000 % |
563.98/564.46 c | 927879 | 800 16000 80000 | 68637 68420 116 | 0.000 % |
566.28/566.73 c | 931866 | 800 16000 80000 | 2147483647 65513 116 | 0.000 % |
568.78/569.26 c | 936252 | 800 16000 80000 | 2147483647 69899 116 | 0.000 % |
571.77/572.25 c | 941076 | 800 16000 80000 | 2147483647 74723 116 | 0.000 % |
575.47/575.93 c | 946381 | 800 16000 80000 | 2147483647 80028 117 | 0.000 % |
579.17/579.67 c | 952217 | 800 16000 80000 | 83648 73463 117 | 0.000 % |
583.36/583.87 c | 958637 | 800 16000 80000 | 83648 79883 117 | 0.000 % |
588.26/588.72 c | 965696 | 800 16000 80000 | 81246 75814 117 | 0.000 % |
593.46/593.90 c | 973461 | 800 16000 80000 | 80119 72869 119 | 0.000 % |
599.26/599.74 c | 982002 | 800 16000 80000 | 79408 71422 120 | 0.000 % |
599.36/599.82 c | 982103 | 800 16000 80000 | 79408 71523 120 | 0.000 % |
599.36/599.89 c | 982216 | 800 16000 80000 | 79408 71636 120 | 0.000 % |
599.46/599.97 c | 982337 | 800 16000 80000 | 79408 71757 120 | 0.000 % |
599.56/600.05 c | 982472 | 800 16000 80000 | 79408 71892 120 | 0.000 % |
599.66/600.16 c | 982618 | 800 16000 80000 | 79408 72038 120 | 0.000 % |
599.76/600.26 c | 982778 | 800 16000 80000 | 79408 72198 120 | 0.000 % |
599.86/600.38 c | 982954 | 800 16000 80000 | 79408 72374 120 | 0.000 % |
600.06/600.52 c | 983147 | 800 16000 80000 | 79408 72567 120 | 0.000 % |
600.16/600.67 c | 983361 | 800 16000 80000 | 79408 72781 120 | 0.000 % |
600.36/600.83 c | 983594 | 800 16000 80000 | 79408 73014 120 | 0.000 % |
600.56/601.01 c | 983852 | 800 16000 80000 | 79408 73272 120 | 0.000 % |
600.76/601.21 c | 984133 | 800 16000 80000 | 79408 73553 120 | 0.000 % |
600.96/601.41 c | 984442 | 800 16000 80000 | 79408 73862 120 | 0.000 % |
601.16/601.60 c | 984781 | 800 16000 80000 | 79408 74201 119 | 0.000 % |
601.36/601.83 c | 985156 | 800 16000 80000 | 79408 74576 119 | 0.000 % |
601.66/602.11 c | 985565 | 800 16000 80000 | 79408 74985 119 | 0.000 % |
601.96/602.44 c | 986014 | 800 16000 80000 | 79408 75434 119 | 0.000 % |
602.26/602.79 c | 986507 | 800 16000 80000 | 79408 75927 119 | 0.000 % |
602.66/603.20 c | 987051 | 800 16000 80000 | 79408 76471 119 | 0.000 % |
603.16/603.65 c | 987649 | 800 16000 80000 | 79408 77069 119 | 0.000 % |
603.56/604.09 c | 988305 | 800 16000 80000 | 79408 77725 119 | 0.000 % |
604.05/604.56 c | 989025 | 800 16000 80000 | 79408 78445 119 | 0.000 % |
604.66/605.14 c | 989817 | 800 16000 80000 | 79408 79237 119 | 0.000 % |
605.25/605.77 c | 990688 | 800 16000 80000 | 79422 69170 118 | 0.000 % |
605.85/606.36 c | 991647 | 800 16000 80000 | 79422 70129 118 | 0.000 % |
606.45/606.97 c | 992701 | 800 16000 80000 | 79422 71183 118 | 0.000 % |
607.15/607.66 c | 993859 | 800 16000 80000 | 79422 72341 118 | 0.000 % |
608.05/608.51 c | 995133 | 800 16000 80000 | 79422 73615 118 | 0.000 % |
608.95/609.44 c | 996533 | 800 16000 80000 | 79422 75015 118 | 0.000 % |
609.95/610.49 c | 998073 | 800 16000 80000 | 79422 76555 118 | 0.000 % |
611.05/611.59 c | 999767 | 800 16000 80000 | 79422 78249 118 | 0.000 % |
612.35/612.83 c | 1001630 | 800 16000 80000 | 78482 69959 118 | 0.000 % |
613.55/614.04 c | 1003680 | 800 16000 80000 | 78482 72009 118 | 0.000 % |
614.95/615.47 c | 1005934 | 800 16000 80000 | 78482 74263 118 | 0.000 % |
616.55/617.07 c | 1008413 | 800 16000 80000 | 78482 76742 118 | 0.000 % |
618.45/618.99 c | 1011141 | 800 16000 80000 | 78330 70094 118 | 0.000 % |
620.24/620.77 c | 1014138 | 800 16000 80000 | 78330 73091 118 | 0.000 % |
622.25/622.79 c | 1017434 | 800 16000 80000 | 78330 76387 117 | 0.000 % |
624.64/625.15 c | 1021060 | 800 16000 80000 | 70171 63511 116 | 0.000 % |
626.94/627.42 c | 1025048 | 800 16000 80000 | 70171 67499 116 | 0.000 % |
629.54/630.02 c | 1029434 | 800 16000 80000 | 70171 64843 116 | 0.000 % |
632.34/632.80 c | 1034257 | 800 16000 80000 | 2147483647 69666 116 | 0.000 % |
635.54/636.06 c | 1039562 | 800 16000 80000 | 2147483647 74971 116 | 0.000 % |
639.34/639.84 c | 1045399 | 800 16000 80000 | 2147483647 80808 117 | 0.000 % |
643.74/644.22 c | 1051817 | 800 16000 80000 | 85409 74801 116 | 0.000 % |
648.83/649.37 c | 1058876 | 800 16000 80000 | 85409 81860 117 | 0.000 % |
654.04/654.53 c | 1066640 | 800 16000 80000 | 82984 76946 117 | 0.000 % |
659.73/660.29 c | 1075181 | 800 16000 80000 | 80306 74364 117 | 0.000 % |
666.52/667.03 c | 1084576 | 800 16000 80000 | 79183 73285 117 | 0.000 % |
666.62/667.13 c | 1084677 | 800 16000 80000 | 79183 73386 117 | 0.000 % |
666.72/667.21 c | 1084789 | 800 16000 80000 | 79183 73498 117 | 0.000 % |
666.72/667.29 c | 1084910 | 800 16000 80000 | 79183 73619 117 | 0.000 % |
666.82/667.38 c | 1085044 | 800 16000 80000 | 79183 73753 117 | 0.000 % |
667.02/667.51 c | 1085190 | 800 16000 80000 | 79183 73899 117 | 0.000 % |
667.12/667.64 c | 1085351 | 800 16000 80000 | 79183 74060 117 | 0.000 % |
667.23/667.76 c | 1085527 | 800 16000 80000 | 79183 74236 117 | 0.000 % |
667.42/667.93 c | 1085722 | 800 16000 80000 | 79183 74431 117 | 0.000 % |
667.52/668.07 c | 1085935 | 800 16000 80000 | 79183 74644 117 | 0.000 % |
667.72/668.25 c | 1086168 | 800 16000 80000 | 79183 74877 117 | 0.000 % |
667.92/668.42 c | 1086427 | 800 16000 80000 | 79183 75136 117 | 0.000 % |
668.12/668.62 c | 1086709 | 800 16000 80000 | 79183 75418 117 | 0.000 % |
668.33/668.84 c | 1087020 | 800 16000 80000 | 79183 75729 117 | 0.000 % |
668.52/669.09 c | 1087359 | 800 16000 80000 | 79183 76068 117 | 0.000 % |
668.82/669.35 c | 1087733 | 800 16000 80000 | 79183 76442 117 | 0.000 % |
669.12/669.63 c | 1088142 | 800 16000 80000 | 79183 76851 117 | 0.000 % |
669.43/669.95 c | 1088591 | 800 16000 80000 | 79183 77300 117 | 0.000 % |
669.83/670.36 c | 1089084 | 800 16000 80000 | 79183 77793 117 | 0.000 % |
670.23/670.78 c | 1089626 | 800 16000 80000 | 79183 78335 117 | 0.000 % |
670.63/671.18 c | 1090222 | 800 16000 80000 | 78709 78931 117 | 0.000 % |
671.12/671.65 c | 1090877 | 800 16000 80000 | 78709 68551 117 | 0.000 % |
671.52/672.07 c | 1091598 | 800 16000 80000 | 78709 69272 117 | 0.000 % |
672.12/672.62 c | 1092390 | 800 16000 80000 | 78709 70064 117 | 0.000 % |
672.62/673.16 c | 1093262 | 800 16000 80000 | 78709 70936 117 | 0.000 % |
673.32/673.84 c | 1094220 | 800 16000 80000 | 78709 71894 117 | 0.000 % |
674.02/674.55 c | 1095275 | 800 16000 80000 | 78709 72949 117 | 0.000 % |
674.82/675.31 c | 1096434 | 800 16000 80000 | 78709 74108 117 | 0.000 % |
675.52/676.09 c | 1097707 | 800 16000 80000 | 78709 75381 117 | 0.000 % |
676.52/677.06 c | 1099108 | 800 16000 80000 | 78709 76782 117 | 0.000 % |
677.52/678.05 c | 1100648 | 800 16000 80000 | 77675 68638 116 | 0.000 % |
678.52/679.06 c | 1102343 | 800 16000 80000 | 77675 70333 116 | 0.000 % |
679.72/680.26 c | 1104208 | 800 16000 80000 | 77675 72198 116 | 0.000 % |
681.02/681.50 c | 1106257 | 800 16000 80000 | 77675 74247 116 | 0.000 % |
682.42/682.99 c | 1108510 | 800 16000 80000 | 77675 76500 116 | 0.000 % |
684.12/684.61 c | 1110988 | 800 16000 80000 | 68874 61797 115 | 0.000 % |
685.62/686.16 c | 1113713 | 800 16000 80000 | 68874 64522 115 | 0.000 % |
687.32/687.82 c | 1116710 | 800 16000 80000 | 68874 67519 115 | 0.000 % |
689.32/689.82 c | 1120006 | 800 16000 80000 | 2147483647 63903 115 | 0.000 % |
691.42/691.92 c | 1123631 | 800 16000 80000 | 2147483647 67528 115 | 0.000 % |
693.92/694.40 c | 1127618 | 800 16000 80000 | 2147483647 71515 115 | 0.000 % |
696.62/697.16 c | 1132003 | 800 16000 80000 | 2147483647 75900 115 | 0.000 % |
700.12/700.61 c | 1136826 | 800 16000 80000 | 2147483647 80723 115 | 0.000 % |
703.62/704.17 c | 1142131 | 800 16000 80000 | 83897 73946 115 | 0.000 % |
707.62/708.14 c | 1147967 | 800 16000 80000 | 83897 79782 116 | 0.000 % |
712.32/712.82 c | 1154385 | 800 16000 80000 | 81817 74654 116 | 0.000 % |
717.22/717.70 c | 1161446 | 800 16000 80000 | 80270 70702 117 | 0.000 % |
722.92/723.40 c | 1169210 | 800 16000 80000 | 80270 78466 117 | 0.000 % |
728.92/729.49 c | 1177750 | 800 16000 80000 | 79259 76054 117 | 0.000 % |
735.42/735.99 c | 1187144 | 800 16000 80000 | 78306 75120 118 | 0.000 % |
743.01/743.56 c | 1197479 | 800 16000 80000 | 77976 74905 118 | 0.000 % |
743.11/743.63 c | 1197579 | 800 16000 80000 | 77976 75005 118 | 0.000 % |
743.21/743.72 c | 1197690 | 800 16000 80000 | 77976 75116 118 | 0.000 % |
743.31/743.81 c | 1197812 | 800 16000 80000 | 77976 75238 118 | 0.000 % |
743.41/743.90 c | 1197945 | 800 16000 80000 | 77976 75371 118 | 0.000 % |
743.51/744.01 c | 1198093 | 800 16000 80000 | 77976 75519 118 | 0.000 % |
743.61/744.15 c | 1198253 | 800 16000 80000 | 77976 75679 118 | 0.000 % |
743.71/744.28 c | 1198429 | 800 16000 80000 | 77976 75855 118 | 0.000 % |
743.91/744.42 c | 1198622 | 800 16000 80000 | 77976 76048 118 | 0.000 % |
744.01/744.58 c | 1198835 | 800 16000 80000 | 77976 76261 118 | 0.000 % |
744.21/744.74 c | 1199068 | 800 16000 80000 | 77976 76494 118 | 0.000 % |
744.41/744.93 c | 1199326 | 800 16000 80000 | 77976 76752 118 | 0.000 % |
744.61/745.12 c | 1199607 | 800 16000 80000 | 77976 77033 118 | 0.000 % |
744.81/745.35 c | 1199916 | 800 16000 80000 | 77976 77342 118 | 0.000 % |
745.01/745.57 c | 1200256 | 800 16000 80000 | 77426 77682 118 | 0.000 % |
745.31/745.85 c | 1200630 | 800 16000 80000 | 77426 67597 118 | 0.000 % |
745.51/746.07 c | 1201040 | 800 16000 80000 | 77426 68007 118 | 0.000 % |
745.81/746.39 c | 1201490 | 800 16000 80000 | 77426 68457 118 | 0.000 % |
746.21/746.72 c | 1201983 | 800 16000 80000 | 77426 68950 118 | 0.000 % |
746.51/747.07 c | 1202525 | 800 16000 80000 | 77426 69492 118 | 0.000 % |
747.01/747.55 c | 1203123 | 800 16000 80000 | 77426 70090 118 | 0.000 % |
747.41/747.99 c | 1203781 | 800 16000 80000 | 77426 70748 118 | 0.000 % |
747.91/748.47 c | 1204501 | 800 16000 80000 | 77426 71468 118 | 0.000 % |
748.51/749.01 c | 1205294 | 800 16000 80000 | 77426 72261 118 | 0.000 % |
749.11/749.63 c | 1206166 | 800 16000 80000 | 77426 73133 118 | 0.000 % |
749.71/750.26 c | 1207124 | 800 16000 80000 | 77426 74091 117 | 0.000 % |
750.41/750.97 c | 1208178 | 800 16000 80000 | 77426 75145 117 | 0.000 % |
751.21/751.76 c | 1209337 | 800 16000 80000 | 77426 76304 117 | 0.000 % |
752.21/752.71 c | 1210610 | 800 16000 80000 | 76967 67418 117 | 0.000 % |
753.01/753.59 c | 1212010 | 800 16000 80000 | 76967 68818 117 | 0.000 % |
754.11/754.60 c | 1213550 | 800 16000 80000 | 76967 70358 117 | 0.000 % |
755.01/755.59 c | 1215244 | 800 16000 80000 | 76967 72052 117 | 0.000 % |
756.31/756.85 c | 1217107 | 800 16000 80000 | 76967 73915 117 | 0.000 % |
757.60/758.18 c | 1219156 | 800 16000 80000 | 76967 75964 117 | 0.000 % |
759.10/759.61 c | 1221411 | 800 16000 80000 | 76808 69069 116 | 0.000 % |
760.50/761.08 c | 1223890 | 800 16000 80000 | 76808 71548 116 | 0.000 % |
762.40/762.92 c | 1226615 | 800 16000 80000 | 76808 74273 116 | 0.000 % |
764.40/764.90 c | 1229612 | 800 16000 80000 | 76808 68397 116 | 0.000 % |
766.31/766.87 c | 1232910 | 800 16000 80000 | 68786 63837 116 | 0.000 % |
768.41/769.00 c | 1236535 | 800 16000 80000 | 68786 67462 116 | 0.000 % |
770.80/771.32 c | 1240523 | 800 16000 80000 | 2147483647 64545 116 | 0.000 % |
773.20/773.71 c | 1244909 | 800 16000 80000 | 2147483647 68931 116 | 0.000 % |
776.30/776.83 c | 1249734 | 800 16000 80000 | 2147483647 73756 116 | 0.000 % |
779.90/780.43 c | 1255039 | 800 16000 80000 | 74022 71418 116 | 0.000 % |
783.49/784.07 c | 1260874 | 800 16000 80000 | 68797 62555 117 | 0.000 % |
787.49/788.00 c | 1267292 | 800 16000 80000 | 68797 68973 116 | 0.000 % |
791.79/792.31 c | 1274353 | 800 16000 80000 | 2147483647 69137 118 | 0.000 % |
797.29/797.81 c | 1282117 | 800 16000 80000 | 2147483647 76901 118 | 0.000 % |
803.59/804.19 c | 1290657 | 800 16000 80000 | 84785 73232 119 | 0.000 % |
810.48/811.07 c | 1300052 | 800 16000 80000 | 82577 82627 119 | 0.000 % |
817.18/817.76 c | 1310388 | 800 16000 80000 | 80742 69029 120 | 0.000 % |
824.69/825.23 c | 1321754 | 800 16000 80000 | 78641 69790 121 | 0.000 % |
824.69/825.30 c | 1321854 | 800 16000 80000 | 78641 69890 121 | 0.000 % |
824.79/825.37 c | 1321964 | 800 16000 80000 | 78641 70000 121 | 0.000 % |
824.89/825.46 c | 1322085 | 800 16000 80000 | 78641 70121 121 | 0.000 % |
824.99/825.58 c | 1322221 | 800 16000 80000 | 78641 70257 121 | 0.000 % |
825.09/825.67 c | 1322367 | 800 16000 80000 | 78641 70403 121 | 0.000 % |
825.19/825.78 c | 1322527 | 800 16000 80000 | 78641 70563 121 | 0.000 % |
825.39/825.92 c | 1322707 | 800 16000 80000 | 78641 70743 121 | 0.000 % |
825.49/826.05 c | 1322901 | 800 16000 80000 | 78641 70937 120 | 0.000 % |
825.59/826.19 c | 1323115 | 800 16000 80000 | 78641 71151 120 | 0.000 % |
825.79/826.34 c | 1323349 | 800 16000 80000 | 78641 71385 120 | 0.000 % |
825.99/826.50 c | 1323607 | 800 16000 80000 | 78641 71643 120 | 0.000 % |
826.09/826.69 c | 1323889 | 800 16000 80000 | 78641 71925 120 | 0.000 % |
826.29/826.89 c | 1324198 | 800 16000 80000 | 78641 72234 120 | 0.000 % |
826.59/827.11 c | 1324538 | 800 16000 80000 | 78641 72574 120 | 0.000 % |
826.79/827.37 c | 1324912 | 800 16000 80000 | 78641 72948 120 | 0.000 % |
827.09/827.67 c | 1325321 | 800 16000 80000 | 78641 73357 120 | 0.000 % |
827.39/827.95 c | 1325770 | 800 16000 80000 | 78641 73806 120 | 0.000 % |
827.69/828.27 c | 1326263 | 800 16000 80000 | 78641 74299 120 | 0.000 % |
828.09/828.65 c | 1326805 | 800 16000 80000 | 78641 74841 120 | 0.000 % |
828.49/829.08 c | 1327402 | 800 16000 80000 | 78641 75438 120 | 0.000 % |
828.89/829.49 c | 1328057 | 800 16000 80000 | 78641 76093 120 | 0.000 % |
829.49/830.04 c | 1328778 | 800 16000 80000 | 78641 76814 120 | 0.000 % |
830.09/830.64 c | 1329571 | 800 16000 80000 | 78641 77607 120 | 0.000 % |
830.79/831.34 c | 1330442 | 800 16000 80000 | 78036 67868 120 | 0.000 % |
831.39/831.97 c | 1331401 | 800 16000 80000 | 78036 68827 120 | 0.000 % |
832.09/832.63 c | 1332456 | 800 16000 80000 | 78036 69882 120 | 0.000 % |
832.79/833.39 c | 1333615 | 800 16000 80000 | 78036 71041 120 | 0.000 % |
833.69/834.20 c | 1334889 | 800 16000 80000 | 78036 72315 120 | 0.000 % |
834.59/835.14 c | 1336290 | 800 16000 80000 | 78036 73716 120 | 0.000 % |
835.59/836.11 c | 1337830 | 800 16000 80000 | 78036 75256 120 | 0.000 % |
836.69/837.21 c | 1339526 | 800 16000 80000 | 78036 76952 120 | 0.000 % |
837.89/838.42 c | 1341390 | 800 16000 80000 | 77426 69378 120 | 0.000 % |
839.18/839.71 c | 1343439 | 800 16000 80000 | 77426 71427 120 | 0.000 % |
840.69/841.21 c | 1345696 | 800 16000 80000 | 77426 73684 119 | 0.000 % |
842.28/842.83 c | 1348175 | 800 16000 80000 | 77426 76163 119 | 0.000 % |
843.98/844.53 c | 1350901 | 800 16000 80000 | 68396 61070 119 | 0.000 % |
845.68/846.21 c | 1353900 | 800 16000 80000 | 68396 64069 119 | 0.000 % |
847.59/848.12 c | 1357196 | 800 16000 80000 | 68396 67365 119 | 0.000 % |
849.78/850.33 c | 1360822 | 800 16000 80000 | 2147483647 64128 119 | 0.000 % |
852.08/852.68 c | 1364809 | 800 16000 80000 | 2147483647 68115 119 | 0.000 % |
854.68/855.29 c | 1369195 | 800 16000 80000 | 2147483647 72501 118 | 0.000 % |
858.18/858.72 c | 1374018 | 800 16000 80000 | 2147483647 77324 118 | 0.000 % |
862.08/862.62 c | 1379323 | 800 16000 80000 | 2147483647 82629 119 | 0.000 % |
865.78/866.39 c | 1385158 | 800 16000 80000 | 83307 76611 118 | 0.000 % |
870.17/870.79 c | 1391577 | 800 16000 80000 | 81454 71962 118 | 0.000 % |
874.97/875.53 c | 1398636 | 800 16000 80000 | 81454 79021 118 | 0.000 % |
879.97/880.56 c | 1406400 | 800 16000 80000 | 80386 75563 119 | 0.000 % |
885.87/886.41 c | 1414941 | 800 16000 80000 | 79163 73720 119 | 0.000 % |
892.57/893.13 c | 1424335 | 800 16000 80000 | 78779 73785 120 | 0.000 % |
899.56/900.16 c | 1434668 | 800 16000 80000 | 69675 65754 121 | 0.000 % |
906.76/907.32 c | 1446035 | 800 16000 80000 | 2147483647 70128 121 | 0.000 % |
914.66/915.21 c | 1458537 | 800 16000 80000 | 74094 66412 121 | 0.000 % |
914.66/915.29 c | 1458637 | 800 16000 80000 | 74094 66512 121 | 0.000 % |
914.76/915.36 c | 1458750 | 800 16000 80000 | 74094 66625 121 | 0.000 % |
914.86/915.45 c | 1458871 | 800 16000 80000 | 74094 66746 121 | 0.000 % |
914.96/915.54 c | 1459005 | 800 16000 80000 | 74094 66880 121 | 0.000 % |
915.06/915.65 c | 1459151 | 800 16000 80000 | 74094 67026 121 | 0.000 % |
915.16/915.77 c | 1459314 | 800 16000 80000 | 74094 67189 121 | 0.000 % |
915.26/915.87 c | 1459490 | 800 16000 80000 | 74094 67365 121 | 0.000 % |
915.46/916.01 c | 1459683 | 800 16000 80000 | 74094 67558 121 | 0.000 % |
915.56/916.14 c | 1459895 | 800 16000 80000 | 74094 67770 121 | 0.000 % |
915.66/916.29 c | 1460128 | 800 16000 80000 | 67875 68003 121 | 0.000 % |
915.86/916.48 c | 1460384 | 800 16000 80000 | 67875 60610 121 | 0.000 % |
916.06/916.63 c | 1460665 | 800 16000 80000 | 67875 60891 121 | 0.000 % |
916.26/916.81 c | 1460974 | 800 16000 80000 | 67875 61200 120 | 0.000 % |
916.36/917.00 c | 1461316 | 800 16000 80000 | 67875 61542 120 | 0.000 % |
916.66/917.20 c | 1461688 | 800 16000 80000 | 67875 61914 120 | 0.000 % |
916.86/917.44 c | 1462097 | 800 16000 80000 | 67875 62323 120 | 0.000 % |
917.16/917.70 c | 1462546 | 800 16000 80000 | 67875 62772 120 | 0.000 % |
917.36/917.99 c | 1463041 | 800 16000 80000 | 67875 63267 120 | 0.000 % |
917.76/918.31 c | 1463583 | 800 16000 80000 | 67875 63809 120 | 0.000 % |
918.06/918.68 c | 1464180 | 800 16000 80000 | 67875 64406 120 | 0.000 % |
918.46/919.05 c | 1464835 | 800 16000 80000 | 67875 65061 120 | 0.000 % |
918.96/919.51 c | 1465556 | 800 16000 80000 | 67875 65782 120 | 0.000 % |
919.36/919.95 c | 1466348 | 800 16000 80000 | 67875 66574 120 | 0.000 % |
919.86/920.46 c | 1467219 | 800 16000 80000 | 67875 67445 120 | 0.000 % |
920.46/921.07 c | 1468177 | 800 16000 80000 | 67875 61588 120 | 0.000 % |
921.06/921.62 c | 1469230 | 800 16000 80000 | 67875 62641 120 | 0.000 % |
921.65/922.29 c | 1470391 | 800 16000 80000 | 2147483647 63802 120 | 0.000 % |
922.46/923.04 c | 1471664 | 800 16000 80000 | 2147483647 65075 120 | 0.000 % |
923.25/923.87 c | 1473065 | 800 16000 80000 | 2147483647 66476 120 | 0.000 % |
924.25/924.80 c | 1474605 | 800 16000 80000 | 2147483647 68016 120 | 0.000 % |
925.25/925.89 c | 1476299 | 800 16000 80000 | 2147483647 69710 120 | 0.000 % |
926.45/927.08 c | 1478163 | 800 16000 80000 | 2147483647 71574 119 | 0.000 % |
927.86/928.48 c | 1480214 | 800 16000 80000 | 2147483647 73625 119 | 0.000 % |
929.25/929.85 c | 1482469 | 800 16000 80000 | 2147483647 75880 119 | 0.000 % |
930.85/931.41 c | 1484947 | 800 16000 80000 | 2147483647 78358 119 | 0.000 % |
932.65/933.25 c | 1487673 | 800 16000 80000 | 2147483647 81084 119 | 0.000 % |
934.85/935.46 c | 1490670 | 800 16000 80000 | 83411 73347 117 | 0.000 % |
937.05/937.69 c | 1493966 | 800 16000 80000 | 83411 76643 117 | 0.000 % |
939.65/940.26 c | 1497592 | 800 16000 80000 | 83411 80269 117 | 0.000 % |
942.65/943.22 c | 1501582 | 800 16000 80000 | 82678 72339 116 | 0.000 % |
945.46/946.10 c | 1505968 | 800 16000 80000 | 82678 76725 117 | 0.000 % |
948.86/949.46 c | 1510791 | 800 16000 80000 | 80757 69885 116 | 0.000 % |
952.16/952.75 c | 1516096 | 800 16000 80000 | 80757 75190 116 | 0.000 % |
956.05/956.66 c | 1521931 | 800 16000 80000 | 79094 70522 115 | 0.000 % |
960.25/960.86 c | 1528349 | 800 16000 80000 | 79094 76940 116 | 0.000 % |
965.25/965.89 c | 1535408 | 800 16000 80000 | 78592 74269 117 | 0.000 % |
970.85/971.42 c | 1543172 | 800 16000 80000 | 78863 71823 118 | 0.000 % |
976.64/977.27 c | 1551714 | 800 16000 80000 | 78653 70599 119 | 0.000 % |
983.54/984.10 c | 1561111 | 800 16000 80000 | 78888 69388 121 | 0.000 % |
990.84/991.44 c | 1571446 | 800 16000 80000 | 78278 68892 122 | 0.000 % |
998.74/999.34 c | 1582812 | 800 16000 80000 | 77446 70483 123 | 0.000 % |
1007.83/1008.47 c | 1595314 | 800 16000 80000 | 77671 72864 124 | 0.000 % |
1018.33/1018.93 c | 1609066 | 800 16000 80000 | 77550 75935 123 | 0.000 % |
1018.43/1019.01 c | 1609166 | 800 16000 80000 | 77550 76035 123 | 0.000 % |
1018.43/1019.09 c | 1609277 | 800 16000 80000 | 77550 76146 123 | 0.000 % |
1018.53/1019.18 c | 1609400 | 800 16000 80000 | 77550 76269 123 | 0.000 % |
1018.63/1019.29 c | 1609533 | 800 16000 80000 | 77550 76402 123 | 0.000 % |
1018.83/1019.41 c | 1609681 | 800 16000 80000 | 77550 76550 123 | 0.000 % |
1018.93/1019.52 c | 1609841 | 800 16000 80000 | 77550 76710 123 | 0.000 % |
1019.03/1019.64 c | 1610017 | 800 16000 80000 | 76870 76886 122 | 0.000 % |
1019.24/1019.85 c | 1610210 | 800 16000 80000 | 76870 65650 123 | 0.000 % |
1019.33/1019.99 c | 1610423 | 800 16000 80000 | 76870 65863 122 | 0.000 % |
1019.53/1020.13 c | 1610657 | 800 16000 80000 | 76870 66097 122 | 0.000 % |
1019.73/1020.31 c | 1610916 | 800 16000 80000 | 76870 66356 122 | 0.000 % |
1019.83/1020.49 c | 1611197 | 800 16000 80000 | 76870 66637 122 | 0.000 % |
1020.03/1020.69 c | 1611507 | 800 16000 80000 | 76870 66947 122 | 0.000 % |
1020.33/1020.91 c | 1611846 | 800 16000 80000 | 76870 67286 122 | 0.000 % |
1020.53/1021.15 c | 1612220 | 800 16000 80000 | 76870 67660 122 | 0.000 % |
1020.73/1021.39 c | 1612629 | 800 16000 80000 | 76870 68069 122 | 0.000 % |
1021.03/1021.67 c | 1613079 | 800 16000 80000 | 76870 68519 122 | 0.000 % |
1021.43/1022.01 c | 1613573 | 800 16000 80000 | 76870 69013 122 | 0.000 % |
1021.73/1022.38 c | 1614116 | 800 16000 80000 | 76870 69556 122 | 0.000 % |
1022.13/1022.75 c | 1614712 | 800 16000 80000 | 76870 70152 122 | 0.000 % |
1022.53/1023.16 c | 1615370 | 800 16000 80000 | 76870 70810 122 | 0.000 % |
1023.03/1023.63 c | 1616091 | 800 16000 80000 | 76870 71531 122 | 0.000 % |
1023.53/1024.16 c | 1616883 | 800 16000 80000 | 76870 72323 122 | 0.000 % |
1024.13/1024.70 c | 1617754 | 800 16000 80000 | 76870 73194 121 | 0.000 % |
1024.63/1025.25 c | 1618714 | 800 16000 80000 | 76870 74154 121 | 0.000 % |
1025.33/1025.93 c | 1619768 | 800 16000 80000 | 76870 75208 121 | 0.000 % |
1026.03/1026.67 c | 1620927 | 800 16000 80000 | 75441 67023 121 | 0.000 % |
1026.83/1027.43 c | 1622200 | 800 16000 80000 | 75441 68296 121 | 0.000 % |
1027.63/1028.24 c | 1623601 | 800 16000 80000 | 75441 69697 121 | 0.000 % |
1028.53/1029.12 c | 1625142 | 800 16000 80000 | 75441 71238 121 | 0.000 % |
1029.53/1030.17 c | 1626836 | 800 16000 80000 | 75441 72932 121 | 0.000 % |
1030.72/1031.35 c | 1628699 | 800 16000 80000 | 75441 74795 120 | 0.000 % |
1032.02/1032.66 c | 1630749 | 800 16000 80000 | 2147483647 69272 120 | 0.000 % |
1033.53/1034.10 c | 1633002 | 800 16000 80000 | 2147483647 71525 120 | 0.000 % |
1035.12/1035.73 c | 1635480 | 800 16000 80000 | 2147483647 74003 120 | 0.000 % |
1036.92/1037.50 c | 1638205 | 800 16000 80000 | 2147483647 76728 120 | 0.000 % |
1038.93/1039.55 c | 1641202 | 800 16000 80000 | 78523 70441 119 | 0.000 % |
1041.02/1041.60 c | 1644498 | 800 16000 80000 | 78523 73737 119 | 0.000 % |
1043.32/1043.94 c | 1648127 | 800 16000 80000 | 78523 77366 119 | 0.000 % |
1045.82/1046.43 c | 1652114 | 800 16000 80000 | 70012 64115 117 | 0.000 % |
1048.42/1049.00 c | 1656499 | 800 16000 80000 | 70012 68500 117 | 0.000 % |
1051.22/1051.86 c | 1661323 | 800 16000 80000 | 2147483647 66295 116 | 0.000 % |
1054.52/1055.18 c | 1666628 | 800 16000 80000 | 2147483647 71600 117 | 0.000 % |
1058.52/1059.14 c | 1672463 | 800 16000 80000 | 2147483647 77435 117 | 0.000 % |
1063.32/1063.97 c | 1678881 | 800 16000 80000 | 2147483647 83853 118 | 0.000 % |
1068.51/1069.16 c | 1685940 | 800 16000 80000 | 84972 78796 119 | 0.000 % |
1074.31/1074.92 c | 1693704 | 800 16000 80000 | 82856 74365 120 | 0.000 % |
1080.91/1081.59 c | 1702245 | 800 16000 80000 | 80664 70916 122 | 0.000 % |
1087.81/1088.46 c | 1711639 | 800 16000 80000 | 78672 69033 123 | 0.000 % |
1095.51/1096.17 c | 1721977 | 800 16000 80000 | 77394 68946 123 | 0.000 % |
1104.21/1104.87 c | 1733343 | 800 16000 80000 | 76970 70198 123 | 0.000 % |
1113.81/1114.45 c | 1745846 | 800 16000 80000 | 76855 72839 125 | 0.000 % |
1125.10/1125.75 c | 1759598 | 800 16000 80000 | 76993 76744 124 | 0.000 % |
1133.50/1134.17 c | 1774725 | 800 16000 80000 | 76656 71473 124 | 0.000 % |
1133.60/1134.23 c | 1774825 | 800 16000 80000 | 76656 71573 124 | 0.000 % |
1133.70/1134.31 c | 1774935 | 800 16000 80000 | 76656 71683 123 | 0.000 % |
1133.70/1134.40 c | 1775056 | 800 16000 80000 | 76656 71804 123 | 0.000 % |
1133.90/1134.51 c | 1775191 | 800 16000 80000 | 76656 71939 123 | 0.000 % |
1134.00/1134.62 c | 1775338 | 800 16000 80000 | 76656 72086 123 | 0.000 % |
1134.10/1134.74 c | 1775498 | 800 16000 80000 | 76656 72246 123 | 0.000 % |
1134.20/1134.87 c | 1775674 | 800 16000 80000 | 76656 72422 123 | 0.000 % |
1134.40/1135.01 c | 1775868 | 800 16000 80000 | 76656 72616 123 | 0.000 % |
1134.50/1135.15 c | 1776080 | 800 16000 80000 | 76656 72828 123 | 0.000 % |
1134.70/1135.31 c | 1776314 | 800 16000 80000 | 76656 73062 123 | 0.000 % |
1134.90/1135.50 c | 1776576 | 800 16000 80000 | 76656 73324 123 | 0.000 % |
1135.00/1135.67 c | 1776859 | 800 16000 80000 | 76656 73607 123 | 0.000 % |
1135.20/1135.88 c | 1777168 | 800 16000 80000 | 76656 73916 123 | 0.000 % |
1135.50/1136.11 c | 1777507 | 800 16000 80000 | 76656 74255 123 | 0.000 % |
1135.70/1136.38 c | 1777881 | 800 16000 80000 | 76656 74629 123 | 0.000 % |
1136.00/1136.65 c | 1778290 | 800 16000 80000 | 76656 75038 123 | 0.000 % |
1136.30/1136.93 c | 1778740 | 800 16000 80000 | 76656 75488 123 | 0.000 % |
1136.60/1137.23 c | 1779234 | 800 16000 80000 | 76656 75982 123 | 0.000 % |
1136.90/1137.54 c | 1779776 | 800 16000 80000 | 76656 76524 123 | 0.000 % |
1137.30/1137.97 c | 1780373 | 800 16000 80000 | 76749 67014 123 | 0.000 % |
1137.70/1138.38 c | 1781028 | 800 16000 80000 | 76749 67669 123 | 0.000 % |
1138.20/1138.87 c | 1781748 | 800 16000 80000 | 76749 68389 123 | 0.000 % |
1138.69/1139.36 c | 1782540 | 800 16000 80000 | 76749 69181 123 | 0.000 % |
1139.29/1139.91 c | 1783412 | 800 16000 80000 | 76749 70053 123 | 0.000 % |
1139.90/1140.56 c | 1784370 | 800 16000 80000 | 76749 71011 122 | 0.000 % |
1140.60/1141.22 c | 1785423 | 800 16000 80000 | 76749 72064 122 | 0.000 % |
1141.39/1142.00 c | 1786581 | 800 16000 80000 | 76749 73222 122 | 0.000 % |
1142.19/1142.86 c | 1787854 | 800 16000 80000 | 76749 74495 122 | 0.000 % |
1143.09/1143.75 c | 1789254 | 800 16000 80000 | 76749 75895 122 | 0.000 % |
1144.09/1144.76 c | 1790795 | 800 16000 80000 | 76643 68596 122 | 0.000 % |
1145.09/1145.78 c | 1792489 | 800 16000 80000 | 76643 70290 122 | 0.000 % |
1146.29/1146.99 c | 1794355 | 800 16000 80000 | 76643 72156 121 | 0.000 % |
1147.69/1148.36 c | 1796405 | 800 16000 80000 | 76643 74206 121 | 0.000 % |
1149.09/1149.76 c | 1798660 | 800 16000 80000 | 76643 76461 121 | 0.000 % |
1150.69/1151.33 c | 1801138 | 800 16000 80000 | 2147483647 71208 121 | 0.000 % |
1152.49/1153.13 c | 1803864 | 800 16000 80000 | 2147483647 73934 121 | 0.000 % |
1154.49/1155.17 c | 1806862 | 800 16000 80000 | 2147483647 76932 120 | 0.000 % |
1156.79/1157.47 c | 1810159 | 800 16000 80000 | 80071 80229 120 | 0.000 % |
1159.29/1159.94 c | 1813784 | 800 16000 80000 | 80071 74092 118 | 0.000 % |
1162.09/1162.78 c | 1817772 | 800 16000 80000 | 80071 78080 119 | 0.000 % |
1165.18/1165.90 c | 1822157 | 800 16000 80000 | 80309 72230 117 | 0.000 % |
1168.48/1169.15 c | 1826980 | 800 16000 80000 | 80309 77053 117 | 0.000 % |
1172.18/1172.87 c | 1832286 | 800 16000 80000 | 80074 72498 116 | 0.000 % |
1176.28/1176.96 c | 1838121 | 800 16000 80000 | 80074 78333 117 | 0.000 % |
1180.88/1181.52 c | 1844539 | 800 16000 80000 | 80213 74323 116 | 0.000 % |
1185.69/1186.35 c | 1851600 | 800 16000 80000 | 79785 69778 117 | 0.000 % |
1190.79/1191.49 c | 1859364 | 800 16000 80000 | 79785 77542 117 | 0.000 % |
1196.19/1196.86 c | 1867904 | 800 16000 80000 | 78179 74921 118 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832471-1242773801/watcher-1832471-1242773801 -o /tmp/evaluation-result-1832471-1242773801/solver-1832471-1242773801 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832471-1242773801.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: 0.92 0.98 0.98 3/64 2551
/proc/meminfo: memFree=1934200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305413626 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269757415506 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2551/statm: 1339 235 195 169 0 50 0
[pid=2552] ppid=2551 vsize=5356 CPUtime=0
/proc/2552/stat : 2552 (SatELiteGTI) S 2551 2551 2257 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305413626 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/2552/statm: 1339 238 198 169 0 50 0
[pid=2554] ppid=2552 vsize=5356 CPUtime=0
/proc/2554/stat : 2554 (SatELiteGTI) R 2552 2551 2257 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757246759 0 0 4096 0 0 0 0 17 1 0 0
/proc/2554/statm: 1339 239 199 169 0 50 0
[startup+0.104859 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 2551
/proc/meminfo: memFree=1934200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.202867 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 2551
/proc/meminfo: memFree=1934200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301879 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 2551
/proc/meminfo: memFree=1934200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701932 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 2551
/proc/meminfo: memFree=1934200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50204 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1929576/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=6456 CPUtime=1.43
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 1337 0 0 0 143 0 0 0 25 0 1 0 305413631 6610944 1323 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 1614 1323 77 171 0 1441 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11812
[startup+3.10125 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1926312/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=10716 CPUtime=3.03
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 2428 0 0 0 302 1 0 0 25 0 1 0 305413631 10973184 2414 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 2679 2414 77 171 0 2506 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16072
[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1919208/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=16556 CPUtime=6.22
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 3879 0 0 0 620 2 0 0 25 0 1 0 305413631 16953344 3865 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 4139 3865 77 171 0 3966 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21912
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1910568/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=24688 CPUtime=12.62
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 5886 0 0 0 1257 5 0 0 25 0 1 0 305413631 25280512 5872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 6172 5872 77 171 0 5999 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 30044
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1898920/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=35896 CPUtime=25.4
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 8688 0 0 0 2531 9 0 0 25 0 1 0 305413631 36757504 8674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 8974 8674 77 171 0 8801 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 41252
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1892136/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=42364 CPUtime=50.98
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 10330 0 0 0 5087 11 0 0 25 0 1 0 305413631 43380736 10316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 10591 10316 77 171 0 10418 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 47720
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1890920/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=43420 CPUtime=102.15
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 10582 0 0 0 10203 12 0 0 25 0 1 0 305413631 44462080 10568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 10855 10568 77 171 0 10682 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 48776
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1890536/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=43684 CPUtime=162.11
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 10643 0 0 0 16199 12 0 0 25 0 1 0 305413631 44732416 10629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 10921 10629 77 171 0 10748 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 49040
[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2557
/proc/meminfo: memFree=1890472/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=43684 CPUtime=222.07
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 10643 0 0 0 22194 13 0 0 25 0 1 0 305413631 44732416 10629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 10921 10629 77 171 0 10748 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 49040
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1888680/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=45136 CPUtime=282.03
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11011 0 0 0 28189 14 0 0 25 0 1 0 305413631 46219264 10997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 11284 10997 77 171 0 11111 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 50492
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1888616/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=45136 CPUtime=341.99
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11012 0 0 0 34185 14 0 0 25 0 1 0 305413631 46219264 10998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 11284 10998 77 171 0 11111 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 50492
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1887144/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=46588 CPUtime=401.95
################
# More data... #
################
/proc/2557/statm: 11911 11624 77 171 0 11738 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 53000
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1885800/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=47644 CPUtime=581.84
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11638 0 0 0 58169 15 0 0 25 0 1 0 305413631 48787456 11624 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 11911 11624 77 171 0 11738 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 53000
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1885672/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=47640 CPUtime=641.81
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11638 0 0 0 64166 15 0 0 25 0 1 0 305413631 48783360 11624 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2557/statm: 11910 11624 77 171 0 11737 0
Current children cumulated CPU time (s) 641.84
Current children cumulated vsize (KiB) 52996
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1885224/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48036 CPUtime=701.78
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11741 0 0 0 70163 15 0 0 25 0 1 0 305413631 49188864 11727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12009 11727 77 171 0 11836 0
Current children cumulated CPU time (s) 701.81
Current children cumulated vsize (KiB) 53392
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1885096/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48036 CPUtime=761.78
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11741 0 0 0 76162 16 0 0 25 0 1 0 305413631 49188864 11727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12009 11727 77 171 0 11836 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 53392
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1884264/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48828 CPUtime=821.75
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11935 0 0 0 82159 16 0 0 25 0 1 0 305413631 49999872 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12207 11921 77 171 0 12034 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 54184
[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1884200/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48828 CPUtime=881.74
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11935 0 0 0 88157 17 0 0 25 0 1 0 305413631 49999872 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12207 11921 77 171 0 12034 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 54184
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1884072/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48828 CPUtime=941.72
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11935 0 0 0 94155 17 0 0 25 0 1 0 305413631 49999872 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12207 11921 77 171 0 12034 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 54184
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1884008/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48828 CPUtime=1001.71
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11935 0 0 0 100153 18 0 0 25 0 1 0 305413631 49999872 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12207 11921 77 171 0 12034 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 54184
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1883880/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=48828 CPUtime=1061.68
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 11935 0 0 0 106150 18 0 0 25 0 1 0 305413631 49999872 11921 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12207 11921 77 171 0 12034 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 54184
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1882856/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=49752 CPUtime=1121.67
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 12166 0 0 0 112148 19 0 0 25 0 1 0 305413631 50946048 12152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12438 12152 77 171 0 12265 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 55108
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1882728/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=49752 CPUtime=1181.65
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 12166 0 0 0 118146 19 0 0 25 0 1 0 305413631 50946048 12152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12438 12152 77 171 0 12265 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 55108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 2563
/proc/meminfo: memFree=1882728/2055920 swapFree=4180432/4192956
[pid=2551] ppid=2549 vsize=5356 CPUtime=0.03
/proc/2551/stat : 2551 (SatELiteGTI) S 2549 2551 2257 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305413626 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2551/statm: 1339 239 197 169 0 50 0
[pid=2557] ppid=2551 vsize=49752 CPUtime=1200.06
/proc/2557/stat : 2557 (minisat_static) R 2551 2551 2257 0 -1 4194304 12166 0 0 0 119986 20 0 0 25 0 1 0 305413631 50946048 12152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2557/statm: 12438 12152 77 171 0 12265 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 55108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2551 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=38994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.048992
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.89
CPU system time (s): 0.2
CPU usage (%): 99.948
Max. virtual memory (cumulated for all children) (KiB): 55108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.038994
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.27081 second user time and 3.20451 second system time
The end
Begin job on node13 at 2009-05-20 00:56:41
IDJOB=1832471
IDBENCH=70199
IDSOLVER=671
FILE ID=node13/1832471-1242773801
PBS_JOBID= 9322285
Free space on /tmp= 66428 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1797123396-073.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832471-1242773801/watcher-1832471-1242773801 -o /tmp/evaluation-result-1832471-1242773801/solver-1832471-1242773801 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832471-1242773801.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 592fd8247e28ca9686c73dd35ffde58f
RANDOM SEED=935613170
node13.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.227
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.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1934680 kB
Buffers: 14396 kB
Cached: 69900 kB
SwapCached: 6824 kB
Active: 17760 kB
Inactive: 75512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1934680 kB
SwapTotal: 4192956 kB
SwapFree: 4180432 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 13956 kB
Slab: 13960 kB
Committed_AS: 940216 kB
PageTables: 1484 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= 66428 MiB
End job on node13 at 2009-05-20 01:16:44