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 101 | 0.000 % |
0.00/0.08 c | 202 | 800 16000 80000 | 5333 202 99 | 0.000 % |
0.03/0.09 c | 302 | 800 16000 80000 | 5333 302 97 | 0.000 % |
0.03/0.10 c | 413 | 800 16000 80000 | 5333 413 98 | 0.000 % |
0.03/0.11 c | 514 | 800 16000 80000 | 5333 514 98 | 0.000 % |
0.03/0.12 c | 625 | 800 16000 80000 | 5333 625 98 | 0.000 % |
0.03/0.13 c | 747 | 800 16000 80000 | 5333 747 102 | 0.000 % |
0.03/0.14 c | 847 | 800 16000 80000 | 5333 847 103 | 0.000 % |
0.03/0.15 c | 957 | 800 16000 80000 | 5333 957 103 | 0.000 % |
0.03/0.16 c | 1079 | 800 16000 80000 | 5333 1079 104 | 0.000 % |
0.03/0.18 c | 1212 | 800 16000 80000 | 5333 1212 105 | 0.000 % |
0.03/0.19 c | 1313 | 800 16000 80000 | 5333 1313 105 | 0.000 % |
0.03/0.19 c | 1423 | 800 16000 80000 | 5333 1423 104 | 0.000 % |
0.03/0.21 c | 1544 | 800 16000 80000 | 5333 1544 104 | 0.000 % |
0.03/0.22 c | 1677 | 800 16000 80000 | 5333 1677 104 | 0.000 % |
0.03/0.24 c | 1827 | 800 16000 80000 | 5333 1827 104 | 0.000 % |
0.03/0.25 c | 1927 | 800 16000 80000 | 5333 1927 104 | 0.000 % |
0.03/0.26 c | 2037 | 800 16000 80000 | 5333 2037 103 | 0.000 % |
0.03/0.27 c | 2161 | 800 16000 80000 | 5333 2161 103 | 0.000 % |
0.03/0.28 c | 2294 | 800 16000 80000 | 5333 2294 104 | 0.000 % |
0.03/0.30 c | 2441 | 800 16000 80000 | 5333 2441 104 | 0.000 % |
0.03/0.32 c | 2602 | 800 16000 80000 | 5333 2602 103 | 0.000 % |
0.03/0.33 c | 2702 | 800 16000 80000 | 5333 2702 104 | 0.000 % |
0.03/0.34 c | 2812 | 800 16000 80000 | 5333 2812 104 | 0.000 % |
0.03/0.35 c | 2936 | 800 16000 80000 | 5333 2936 104 | 0.000 % |
0.03/0.37 c | 3072 | 800 16000 80000 | 5333 3072 104 | 0.000 % |
0.03/0.38 c | 3218 | 800 16000 80000 | 5333 3218 104 | 0.000 % |
0.03/0.40 c | 3378 | 800 16000 80000 | 5333 3378 104 | 0.000 % |
0.03/0.42 c | 3554 | 800 16000 80000 | 5333 3554 103 | 0.000 % |
0.03/0.43 c | 3654 | 800 16000 80000 | 5333 3654 103 | 0.000 % |
0.03/0.44 c | 3764 | 800 16000 80000 | 5333 3764 104 | 0.000 % |
0.03/0.45 c | 3886 | 800 16000 80000 | 5333 3886 104 | 0.000 % |
0.03/0.47 c | 4019 | 800 16000 80000 | 5333 4019 104 | 0.000 % |
0.03/0.49 c | 4165 | 800 16000 80000 | 5333 4165 103 | 0.000 % |
0.03/0.50 c | 4325 | 800 16000 80000 | 5333 4325 104 | 0.000 % |
0.03/0.52 c | 4501 | 800 16000 80000 | 5333 4501 104 | 0.000 % |
0.03/0.54 c | 4695 | 800 16000 80000 | 5333 4695 104 | 0.000 % |
0.03/0.55 c | 4798 | 800 16000 80000 | 5333 4798 105 | 0.000 % |
0.03/0.57 c | 4908 | 800 16000 80000 | 5333 4908 105 | 0.000 % |
0.03/0.58 c | 5029 | 800 16000 80000 | 5333 5029 105 | 0.000 % |
0.03/0.59 c | 5162 | 800 16000 80000 | 5333 5162 105 | 0.000 % |
0.03/0.61 c | 5308 | 800 16000 80000 | 5333 5308 105 | 0.000 % |
0.03/0.63 c | 5468 | 800 16000 80000 | 5333 5468 105 | 0.000 % |
0.03/0.65 c | 5645 | 800 16000 80000 | 5333 5099 105 | 0.000 % |
0.03/0.67 c | 5838 | 800 16000 80000 | 5333 5292 105 | 0.000 % |
0.03/0.70 c | 6050 | 800 16000 80000 | 5333 5504 105 | 0.000 % |
0.03/0.71 c | 6151 | 800 16000 80000 | 5333 5055 103 | 0.000 % |
0.03/0.73 c | 6263 | 800 16000 80000 | 5333 5167 103 | 0.000 % |
0.03/0.74 c | 6384 | 800 16000 80000 | 5333 5288 103 | 0.000 % |
0.03/0.76 c | 6518 | 800 16000 80000 | 5333 5422 104 | 0.000 % |
0.03/0.77 c | 6665 | 800 16000 80000 | 5333 5027 103 | 0.000 % |
0.03/0.79 c | 6826 | 800 16000 80000 | 5333 5188 103 | 0.000 % |
0.03/0.81 c | 7002 | 800 16000 80000 | 5333 5364 103 | 0.000 % |
0.03/0.83 c | 7196 | 800 16000 80000 | 5333 5022 103 | 0.000 % |
0.03/0.86 c | 7409 | 800 16000 80000 | 5333 5235 104 | 0.000 % |
0.03/0.89 c | 7643 | 800 16000 80000 | 5333 5469 104 | 0.000 % |
0.03/0.90 c | 7744 | 800 16000 80000 | 5333 5024 104 | 0.000 % |
0.03/0.91 c | 7856 | 800 16000 80000 | 5333 5136 104 | 0.000 % |
0.03/0.93 c | 7977 | 800 16000 80000 | 5333 5257 104 | 0.000 % |
0.03/0.95 c | 8110 | 800 16000 80000 | 5333 5390 104 | 0.000 % |
0.03/0.96 c | 8256 | 800 16000 80000 | 5333 4997 105 | 0.000 % |
0.03/0.98 c | 8416 | 800 16000 80000 | 5333 5157 104 | 0.000 % |
0.97/1.01 c | 8593 | 800 16000 80000 | 5333 5334 104 | 0.000 % |
0.97/1.03 c | 8788 | 800 16000 80000 | 5333 4996 104 | 0.000 % |
0.97/1.06 c | 9000 | 800 16000 80000 | 5333 5208 104 | 0.000 % |
0.97/1.09 c | 9235 | 800 16000 80000 | 5333 5443 105 | 0.000 % |
1.07/1.12 c | 9491 | 800 16000 80000 | 5333 5155 105 | 0.000 % |
1.07/1.13 c | 9592 | 800 16000 80000 | 5333 5256 105 | 0.000 % |
1.07/1.15 c | 9702 | 800 16000 80000 | 5333 5366 105 | 0.000 % |
1.07/1.16 c | 9824 | 800 16000 80000 | 5333 4952 104 | 0.000 % |
1.07/1.18 c | 9958 | 800 16000 80000 | 5333 5086 104 | 0.000 % |
1.16/1.20 c | 10105 | 800 16000 80000 | 2147483647 5233 104 | 0.000 % |
1.16/1.22 c | 10265 | 800 16000 80000 | 2147483647 5393 104 | 0.000 % |
1.16/1.24 c | 10442 | 800 16000 80000 | 2147483647 5570 104 | 0.000 % |
1.16/1.26 c | 10637 | 800 16000 80000 | 2147483647 5765 104 | 0.000 % |
1.16/1.29 c | 10849 | 800 16000 80000 | 2147483647 5977 104 | 0.000 % |
1.26/1.32 c | 11083 | 800 16000 80000 | 2147483647 6211 105 | 0.000 % |
1.26/1.35 c | 11339 | 800 16000 80000 | 2147483647 6467 104 | 0.000 % |
1.26/1.39 c | 11620 | 800 16000 80000 | 2147483647 6748 104 | 0.000 % |
1.36/1.40 c | 11722 | 800 16000 80000 | 2147483647 6850 105 | 0.000 % |
1.36/1.42 c | 11833 | 800 16000 80000 | 2147483647 6961 105 | 0.000 % |
1.36/1.43 c | 11954 | 800 16000 80000 | 2147483647 7082 105 | 0.000 % |
1.36/1.45 c | 12087 | 800 16000 80000 | 2147483647 7215 105 | 0.000 % |
1.36/1.47 c | 12235 | 800 16000 80000 | 2147483647 7363 105 | 0.000 % |
1.36/1.49 c | 12397 | 800 16000 80000 | 2147483647 7525 104 | 0.000 % |
1.46/1.52 c | 12574 | 800 16000 80000 | 2147483647 7702 104 | 0.000 % |
1.46/1.54 c | 12770 | 800 16000 80000 | 2147483647 7898 104 | 0.000 % |
1.46/1.57 c | 12982 | 800 16000 80000 | 2147483647 8110 104 | 0.000 % |
1.56/1.60 c | 13215 | 800 16000 80000 | 2147483647 8343 104 | 0.000 % |
1.56/1.64 c | 13472 | 800 16000 80000 | 2147483647 8600 104 | 0.000 % |
1.56/1.68 c | 13753 | 800 16000 80000 | 2147483647 8881 105 | 0.000 % |
1.66/1.72 c | 14062 | 800 16000 80000 | 2147483647 9190 105 | 0.000 % |
1.66/1.74 c | 14163 | 800 16000 80000 | 2147483647 9291 105 | 0.000 % |
1.66/1.76 c | 14273 | 800 16000 80000 | 2147483647 9401 105 | 0.000 % |
1.66/1.77 c | 14395 | 800 16000 80000 | 2147483647 9523 105 | 0.000 % |
1.66/1.79 c | 14528 | 800 16000 80000 | 2147483647 9656 105 | 0.000 % |
1.76/1.82 c | 14675 | 800 16000 80000 | 2147483647 9803 105 | 0.000 % |
1.76/1.84 c | 14835 | 800 16000 80000 | 2147483647 9963 105 | 0.000 % |
1.76/1.87 c | 15013 | 800 16000 80000 | 2147483647 10141 105 | 0.000 % |
1.86/1.90 c | 15206 | 800 16000 80000 | 2147483647 10334 105 | 0.000 % |
1.86/1.93 c | 15421 | 800 16000 80000 | 2147483647 10549 105 | 0.000 % |
1.86/1.97 c | 15655 | 800 16000 80000 | 2147483647 10783 105 | 0.000 % |
1.96/2.01 c | 15911 | 800 16000 80000 | 2147483647 11039 105 | 0.000 % |
1.96/2.05 c | 16194 | 800 16000 80000 | 2147483647 11322 105 | 0.000 % |
1.96/2.10 c | 16503 | 800 16000 80000 | 2147483647 11631 105 | 0.000 % |
2.06/2.16 c | 16843 | 800 16000 80000 | 2147483647 11971 105 | 0.000 % |
2.06/2.17 c | 16944 | 800 16000 80000 | 2147483647 12072 105 | 0.000 % |
2.06/2.20 c | 17054 | 800 16000 80000 | 2147483647 12182 105 | 0.000 % |
2.16/2.22 c | 17176 | 800 16000 80000 | 2147483647 12304 105 | 0.000 % |
2.16/2.24 c | 17309 | 800 16000 80000 | 2147483647 12437 105 | 0.000 % |
2.16/2.27 c | 17455 | 800 16000 80000 | 2147483647 12583 105 | 0.000 % |
2.16/2.29 c | 17615 | 800 16000 80000 | 2147483647 12743 105 | 0.000 % |
2.26/2.32 c | 17791 | 800 16000 80000 | 2147483647 12919 105 | 0.000 % |
2.26/2.36 c | 17984 | 800 16000 80000 | 2147483647 13112 106 | 0.000 % |
2.35/2.40 c | 18197 | 800 16000 80000 | 2147483647 13325 106 | 0.000 % |
2.35/2.44 c | 18430 | 800 16000 80000 | 2147483647 13558 106 | 0.000 % |
2.35/2.49 c | 18687 | 800 16000 80000 | 2147483647 13815 106 | 0.000 % |
2.45/2.55 c | 18972 | 800 16000 80000 | 2147483647 14100 106 | 0.000 % |
2.56/2.61 c | 19281 | 800 16000 80000 | 2147483647 14409 106 | 0.000 % |
2.56/2.67 c | 19622 | 800 16000 80000 | 2147483647 14750 105 | 0.000 % |
2.66/2.74 c | 19995 | 800 16000 80000 | 2147483647 15123 106 | 0.000 % |
2.66/2.77 c | 20096 | 800 16000 80000 | 2147483647 15224 106 | 0.000 % |
2.66/2.79 c | 20206 | 800 16000 80000 | 2147483647 15334 106 | 0.000 % |
2.75/2.82 c | 20328 | 800 16000 80000 | 2147483647 15456 106 | 0.000 % |
2.75/2.85 c | 20461 | 800 16000 80000 | 2147483647 15589 106 | 0.000 % |
2.75/2.88 c | 20610 | 800 16000 80000 | 2147483647 15738 106 | 0.000 % |
2.85/2.91 c | 20770 | 800 16000 80000 | 2147483647 15898 106 | 0.000 % |
2.85/2.94 c | 20946 | 800 16000 80000 | 2147483647 16074 106 | 0.000 % |
2.85/2.98 c | 21140 | 800 16000 80000 | 2147483647 16268 106 | 0.000 % |
2.95/3.02 c | 21354 | 800 16000 80000 | 2147483647 16482 106 | 0.000 % |
2.95/3.07 c | 21590 | 800 16000 80000 | 2147483647 16718 106 | 0.000 % |
3.05/3.13 c | 21847 | 800 16000 80000 | 2147483647 16975 106 | 0.000 % |
3.05/3.18 c | 22128 | 800 16000 80000 | 2147483647 17256 106 | 0.000 % |
3.15/3.25 c | 22437 | 800 16000 80000 | 2147483647 17565 106 | 0.000 % |
3.25/3.32 c | 22778 | 800 16000 80000 | 2147483647 17906 106 | 0.000 % |
3.35/3.40 c | 23150 | 800 16000 80000 | 2147483647 18278 106 | 0.000 % |
3.35/3.49 c | 23561 | 800 16000 80000 | 2147483647 18689 106 | 0.000 % |
3.45/3.52 c | 23661 | 800 16000 80000 | 2147483647 18789 106 | 0.000 % |
3.45/3.55 c | 23772 | 800 16000 80000 | 2147483647 18900 106 | 0.000 % |
3.45/3.57 c | 23893 | 800 16000 80000 | 2147483647 19021 106 | 0.000 % |
3.55/3.61 c | 24027 | 800 16000 80000 | 2147483647 19155 106 | 0.000 % |
3.55/3.64 c | 24173 | 800 16000 80000 | 2147483647 19301 106 | 0.000 % |
3.55/3.68 c | 24334 | 800 16000 80000 | 2147483647 19462 106 | 0.000 % |
3.65/3.72 c | 24511 | 800 16000 80000 | 2147483647 19639 106 | 0.000 % |
3.65/3.77 c | 24705 | 800 16000 80000 | 2147483647 19833 106 | 0.000 % |
3.75/3.82 c | 24918 | 800 16000 80000 | 2147483647 20046 106 | 0.000 % |
3.75/3.88 c | 25152 | 800 16000 80000 | 2147483647 20280 106 | 0.000 % |
3.85/3.94 c | 25408 | 800 16000 80000 | 2147483647 20536 106 | 0.000 % |
3.95/4.01 c | 25692 | 800 16000 80000 | 2147483647 20820 106 | 0.000 % |
3.95/4.08 c | 26004 | 800 16000 80000 | 2147483647 21132 106 | 0.000 % |
4.05/4.16 c | 26343 | 800 16000 80000 | 2147483647 21471 106 | 0.000 % |
4.15/4.26 c | 26715 | 800 16000 80000 | 2147483647 21843 106 | 0.000 % |
4.26/4.36 c | 27124 | 800 16000 80000 | 2147483647 22252 106 | 0.000 % |
4.36/4.47 c | 27574 | 800 16000 80000 | 2147483647 22702 107 | 0.000 % |
4.45/4.50 c | 27675 | 800 16000 80000 | 2147483647 22803 106 | 0.000 % |
4.45/4.53 c | 27786 | 800 16000 80000 | 2147483647 22914 106 | 0.000 % |
4.45/4.56 c | 27907 | 800 16000 80000 | 2147483647 23035 106 | 0.000 % |
4.55/4.60 c | 28041 | 800 16000 80000 | 2147483647 23169 106 | 0.000 % |
4.55/4.64 c | 28187 | 800 16000 80000 | 2147483647 23315 106 | 0.000 % |
4.55/4.68 c | 28349 | 800 16000 80000 | 2147483647 23477 106 | 0.000 % |
4.65/4.73 c | 28526 | 800 16000 80000 | 2147483647 23654 106 | 0.000 % |
4.65/4.79 c | 28721 | 800 16000 80000 | 2147483647 23849 106 | 0.000 % |
4.75/4.85 c | 28933 | 800 16000 80000 | 2147483647 24061 106 | 0.000 % |
4.85/4.91 c | 29166 | 800 16000 80000 | 2147483647 24294 106 | 0.000 % |
4.85/4.98 c | 29422 | 800 16000 80000 | 2147483647 24550 106 | 0.000 % |
4.95/5.04 c | 29704 | 800 16000 80000 | 2147483647 24832 106 | 0.000 % |
5.05/5.12 c | 30013 | 800 16000 80000 | 2147483647 25141 106 | 0.000 % |
5.15/5.22 c | 30352 | 800 16000 80000 | 2147483647 25480 106 | 0.000 % |
5.24/5.33 c | 30726 | 800 16000 80000 | 2147483647 25854 106 | 0.000 % |
5.35/5.44 c | 31136 | 800 16000 80000 | 2147483647 26264 107 | 0.000 % |
5.45/5.57 c | 31586 | 800 16000 80000 | 2147483647 26714 107 | 0.000 % |
5.64/5.72 c | 32079 | 800 16000 80000 | 2147483647 27207 107 | 0.000 % |
5.64/5.76 c | 32180 | 800 16000 80000 | 2147483647 27308 107 | 0.000 % |
5.64/5.79 c | 32290 | 800 16000 80000 | 2147483647 27418 107 | 0.000 % |
5.75/5.83 c | 32411 | 800 16000 80000 | 2147483647 27539 107 | 0.000 % |
5.75/5.87 c | 32545 | 800 16000 80000 | 2147483647 27673 107 | 0.000 % |
5.85/5.92 c | 32694 | 800 16000 80000 | 2147483647 27822 107 | 0.000 % |
5.85/5.97 c | 32855 | 800 16000 80000 | 2147483647 27983 107 | 0.000 % |
5.95/6.02 c | 33031 | 800 16000 80000 | 2147483647 28159 107 | 0.000 % |
5.95/6.09 c | 33224 | 800 16000 80000 | 2147483647 28352 107 | 0.000 % |
6.05/6.15 c | 33437 | 800 16000 80000 | 2147483647 28565 107 | 0.000 % |
6.15/6.22 c | 33671 | 800 16000 80000 | 2147483647 28799 107 | 0.000 % |
6.15/6.29 c | 33927 | 800 16000 80000 | 2147483647 29055 107 | 0.000 % |
6.25/6.38 c | 34208 | 800 16000 80000 | 2147483647 29336 107 | 0.000 % |
6.35/6.47 c | 34517 | 800 16000 80000 | 2147483647 29645 107 | 0.000 % |
6.45/6.58 c | 34857 | 800 16000 80000 | 2147483647 29985 107 | 0.000 % |
6.65/6.71 c | 35231 | 800 16000 80000 | 2147483647 30359 107 | 0.000 % |
6.75/6.83 c | 35640 | 800 16000 80000 | 2147483647 30768 107 | 0.000 % |
6.85/6.97 c | 36089 | 800 16000 80000 | 2147483647 31217 107 | 0.000 % |
7.05/7.12 c | 36583 | 800 16000 80000 | 2147483647 31711 107 | 0.000 % |
7.15/7.29 c | 37127 | 800 16000 80000 | 2147483647 32255 107 | 0.000 % |
7.25/7.33 c | 37227 | 800 16000 80000 | 2147483647 32355 107 | 0.000 % |
7.25/7.37 c | 37337 | 800 16000 80000 | 2147483647 32465 107 | 0.000 % |
7.35/7.41 c | 37458 | 800 16000 80000 | 2147483647 32586 107 | 0.000 % |
7.35/7.45 c | 37593 | 800 16000 80000 | 2147483647 32721 107 | 0.000 % |
7.45/7.51 c | 37743 | 800 16000 80000 | 2147483647 32871 107 | 0.000 % |
7.45/7.57 c | 37904 | 800 16000 80000 | 2147483647 33032 107 | 0.000 % |
7.55/7.63 c | 38080 | 800 16000 80000 | 2147483647 33208 107 | 0.000 % |
7.65/7.70 c | 38273 | 800 16000 80000 | 2147483647 33401 107 | 0.000 % |
7.65/7.78 c | 38485 | 800 16000 80000 | 2147483647 33613 107 | 0.000 % |
7.75/7.87 c | 38718 | 800 16000 80000 | 2147483647 33846 107 | 0.000 % |
7.84/7.95 c | 38974 | 800 16000 80000 | 2147483647 34102 107 | 0.000 % |
7.94/8.04 c | 39255 | 800 16000 80000 | 2147483647 34383 107 | 0.000 % |
8.04/8.14 c | 39565 | 800 16000 80000 | 2147483647 34693 107 | 0.000 % |
8.14/8.28 c | 39904 | 800 16000 80000 | 2147483647 35032 107 | 0.000 % |
8.34/8.41 c | 40279 | 800 16000 80000 | 2147483647 35407 107 | 0.000 % |
8.44/8.55 c | 40690 | 800 16000 80000 | 2147483647 35818 107 | 0.000 % |
8.65/8.70 c | 41140 | 800 16000 80000 | 2147483647 36268 107 | 0.000 % |
8.75/8.89 c | 41633 | 800 16000 80000 | 2147483647 36761 107 | 0.000 % |
8.94/9.07 c | 42175 | 800 16000 80000 | 2147483647 37303 107 | 0.000 % |
9.14/9.27 c | 42771 | 800 16000 80000 | 2147483647 37899 107 | 0.000 % |
9.24/9.30 c | 42871 | 800 16000 80000 | 2147483647 37999 107 | 0.000 % |
9.24/9.34 c | 42984 | 800 16000 80000 | 2147483647 38112 107 | 0.000 % |
9.24/9.39 c | 43106 | 800 16000 80000 | 2147483647 38234 107 | 0.000 % |
9.34/9.43 c | 43239 | 800 16000 80000 | 2147483647 38367 107 | 0.000 % |
9.34/9.49 c | 43386 | 800 16000 80000 | 2147483647 38514 107 | 0.000 % |
9.45/9.55 c | 43547 | 800 16000 80000 | 2147483647 38675 107 | 0.000 % |
9.55/9.63 c | 43723 | 800 16000 80000 | 2147483647 38851 107 | 0.000 % |
9.65/9.71 c | 43918 | 800 16000 80000 | 2147483647 39046 107 | 0.000 % |
9.75/9.80 c | 44132 | 800 16000 80000 | 2147483647 39260 107 | 0.000 % |
9.75/9.89 c | 44365 | 800 16000 80000 | 2147483647 39493 107 | 0.000 % |
9.95/10.00 c | 44621 | 800 16000 80000 | 2147483647 39749 107 | 0.000 % |
10.05/10.10 c | 44902 | 800 16000 80000 | 2147483647 40030 107 | 0.000 % |
10.14/10.22 c | 45211 | 800 16000 80000 | 2147483647 40339 107 | 0.000 % |
10.24/10.36 c | 45551 | 800 16000 80000 | 2147483647 40679 107 | 0.000 % |
10.44/10.53 c | 45923 | 800 16000 80000 | 2147483647 41051 107 | 0.000 % |
10.64/10.70 c | 46333 | 800 16000 80000 | 2147483647 41461 107 | 0.000 % |
10.74/10.88 c | 46782 | 800 16000 80000 | 2147483647 41910 107 | 0.000 % |
10.94/11.07 c | 47275 | 800 16000 80000 | 2147483647 42403 107 | 0.000 % |
11.15/11.27 c | 47821 | 800 16000 80000 | 2147483647 42949 107 | 0.000 % |
11.35/11.49 c | 48421 | 800 16000 80000 | 2147483647 43549 107 | 0.000 % |
11.65/11.76 c | 49076 | 800 16000 80000 | 2147483647 44204 107 | 0.000 % |
11.75/11.82 c | 49176 | 800 16000 80000 | 2147483647 44304 107 | 0.000 % |
11.75/11.88 c | 49290 | 800 16000 80000 | 2147483647 44418 107 | 0.000 % |
11.85/11.95 c | 49412 | 800 16000 80000 | 2147483647 44540 107 | 0.000 % |
11.95/12.00 c | 49545 | 800 16000 80000 | 2147483647 44673 107 | 0.000 % |
11.95/12.09 c | 49692 | 800 16000 80000 | 2147483647 44820 107 | 0.000 % |
12.05/12.17 c | 49853 | 800 16000 80000 | 2147483647 44981 107 | 0.000 % |
12.15/12.25 c | 50030 | 800 16000 80000 | 2147483647 45158 107 | 0.000 % |
12.25/12.35 c | 50224 | 800 16000 80000 | 2147483647 45352 107 | 0.000 % |
12.34/12.43 c | 50436 | 800 16000 80000 | 2147483647 45564 107 | 0.000 % |
12.44/12.53 c | 50671 | 800 16000 80000 | 2147483647 45799 107 | 0.000 % |
12.54/12.65 c | 50927 | 800 16000 80000 | 2147483647 46055 107 | 0.000 % |
12.64/12.78 c | 51208 | 800 16000 80000 | 2147483647 46336 107 | 0.000 % |
12.84/12.91 c | 51517 | 800 16000 80000 | 2147483647 46645 107 | 0.000 % |
12.94/13.07 c | 51859 | 800 16000 80000 | 2147483647 46987 107 | 0.000 % |
13.14/13.23 c | 52231 | 800 16000 80000 | 2147483647 47359 107 | 0.000 % |
13.34/13.40 c | 52641 | 800 16000 80000 | 2147483647 47769 107 | 0.000 % |
13.54/13.60 c | 53090 | 800 16000 80000 | 2147483647 48218 107 | 0.000 % |
13.74/13.84 c | 53584 | 800 16000 80000 | 2147483647 48712 107 | 0.000 % |
14.05/14.11 c | 54126 | 800 16000 80000 | 2147483647 49254 107 | 0.000 % |
14.25/14.39 c | 54723 | 800 16000 80000 | 2147483647 49851 108 | 0.000 % |
14.54/14.70 c | 55378 | 800 16000 80000 | 2147483647 50506 108 | 0.000 % |
14.84/15.00 c | 56100 | 800 16000 80000 | 2147483647 51228 108 | 0.000 % |
14.94/15.04 c | 56200 | 800 16000 80000 | 2147483647 51328 108 | 0.000 % |
14.94/15.09 c | 56310 | 800 16000 80000 | 2147483647 51438 108 | 0.000 % |
15.04/15.16 c | 56431 | 800 16000 80000 | 2147483647 51559 108 | 0.000 % |
15.14/15.22 c | 56566 | 800 16000 80000 | 2147483647 51694 108 | 0.000 % |
15.24/15.31 c | 56714 | 800 16000 80000 | 2147483647 51842 108 | 0.000 % |
15.24/15.39 c | 56875 | 800 16000 80000 | 2147483647 52003 108 | 0.000 % |
15.34/15.49 c | 57052 | 800 16000 80000 | 2147483647 52180 108 | 0.000 % |
15.44/15.59 c | 57248 | 800 16000 80000 | 2147483647 52376 108 | 0.000 % |
15.64/15.70 c | 57461 | 800 16000 80000 | 2147483647 52589 108 | 0.000 % |
15.74/15.81 c | 57695 | 800 16000 80000 | 2147483647 52823 108 | 0.000 % |
15.84/15.93 c | 57952 | 800 16000 80000 | 2147483647 53080 108 | 0.000 % |
15.94/16.09 c | 58235 | 800 16000 80000 | 2147483647 53363 108 | 0.000 % |
16.14/16.24 c | 58544 | 800 16000 80000 | 2147483647 53672 108 | 0.000 % |
16.34/16.44 c | 58883 | 800 16000 80000 | 2147483647 54011 108 | 0.000 % |
16.54/16.61 c | 59255 | 800 16000 80000 | 2147483647 54383 108 | 0.000 % |
16.73/16.82 c | 59664 | 800 16000 80000 | 2147483647 54792 108 | 0.000 % |
16.93/17.04 c | 60115 | 800 16000 80000 | 2147483647 55243 108 | 0.000 % |
17.13/17.27 c | 60609 | 800 16000 80000 | 2147483647 55737 108 | 0.000 % |
17.45/17.55 c | 61151 | 800 16000 80000 | 2147483647 56279 108 | 0.000 % |
17.74/17.84 c | 61748 | 800 16000 80000 | 2147483647 56876 108 | 0.000 % |
18.04/18.17 c | 62404 | 800 16000 80000 | 2147483647 57532 108 | 0.000 % |
18.44/18.51 c | 63125 | 800 16000 80000 | 2147483647 58253 108 | 0.000 % |
18.74/18.89 c | 63918 | 800 16000 80000 | 2147483647 59046 108 | 0.000 % |
18.84/18.94 c | 64018 | 800 16000 80000 | 2147483647 59146 108 | 0.000 % |
18.94/19.02 c | 64128 | 800 16000 80000 | 2147483647 59256 108 | 0.000 % |
18.94/19.09 c | 64250 | 800 16000 80000 | 2147483647 59378 108 | 0.000 % |
19.04/19.17 c | 64384 | 800 16000 80000 | 2147483647 59512 108 | 0.000 % |
19.14/19.26 c | 64530 | 800 16000 80000 | 2147483647 59658 108 | 0.000 % |
19.24/19.37 c | 64690 | 800 16000 80000 | 2147483647 59818 108 | 0.000 % |
19.34/19.47 c | 64869 | 800 16000 80000 | 2147483647 59997 108 | 0.000 % |
19.43/19.57 c | 65063 | 800 16000 80000 | 2147483647 60191 108 | 0.000 % |
19.64/19.71 c | 65275 | 800 16000 80000 | 2147483647 60403 108 | 0.000 % |
19.74/19.84 c | 65509 | 800 16000 80000 | 2147483647 60637 108 | 0.000 % |
19.93/20.01 c | 65770 | 800 16000 80000 | 2147483647 60898 108 | 0.000 % |
20.03/20.18 c | 66051 | 800 16000 80000 | 2147483647 61179 108 | 0.000 % |
20.23/20.37 c | 66362 | 800 16000 80000 | 2147483647 61490 108 | 0.000 % |
20.43/20.56 c | 66701 | 800 16000 80000 | 2147483647 61829 108 | 0.000 % |
20.63/20.79 c | 67073 | 800 16000 80000 | 2147483647 62201 108 | 0.000 % |
20.93/21.05 c | 67482 | 800 16000 80000 | 2147483647 62610 108 | 0.000 % |
21.23/21.32 c | 67931 | 800 16000 80000 | 2147483647 63059 108 | 0.000 % |
21.54/21.62 c | 68424 | 800 16000 80000 | 2147483647 63552 108 | 0.000 % |
21.84/21.92 c | 68966 | 800 16000 80000 | 2147483647 64094 108 | 0.000 % |
22.14/22.24 c | 69564 | 800 16000 80000 | 2147483647 64692 108 | 0.000 % |
22.54/22.66 c | 70220 | 800 16000 80000 | 2147483647 65348 108 | 0.000 % |
22.94/23.06 c | 70941 | 800 16000 80000 | 2147483647 66069 108 | 0.000 % |
23.44/23.51 c | 71734 | 800 16000 80000 | 2147483647 66862 108 | 0.000 % |
23.94/24.01 c | 72605 | 800 16000 80000 | 2147483647 67733 108 | 0.000 % |
23.94/24.07 c | 72705 | 800 16000 80000 | 2147483647 67833 108 | 0.000 % |
24.04/24.14 c | 72815 | 800 16000 80000 | 2147483647 67943 108 | 0.000 % |
24.14/24.21 c | 72936 | 800 16000 80000 | 2147483647 68064 108 | 0.000 % |
24.14/24.29 c | 73069 | 800 16000 80000 | 2147483647 68197 108 | 0.000 % |
24.33/24.41 c | 73216 | 800 16000 80000 | 2147483647 68344 108 | 0.000 % |
24.43/24.52 c | 73376 | 800 16000 80000 | 2147483647 68504 108 | 0.000 % |
24.53/24.63 c | 73555 | 800 16000 80000 | 2147483647 68683 108 | 0.000 % |
24.63/24.77 c | 73748 | 800 16000 80000 | 2147483647 68876 108 | 0.000 % |
24.83/24.92 c | 73960 | 800 16000 80000 | 2147483647 69088 108 | 0.000 % |
24.93/25.07 c | 74193 | 800 16000 80000 | 2147483647 69321 108 | 0.000 % |
25.14/25.23 c | 74449 | 800 16000 80000 | 2147483647 69577 108 | 0.000 % |
25.33/25.41 c | 74730 | 800 16000 80000 | 2147483647 69858 108 | 0.000 % |
25.53/25.60 c | 75039 | 800 16000 80000 | 2147483647 70167 108 | 0.000 % |
25.73/25.89 c | 75380 | 800 16000 80000 | 2147483647 70508 108 | 0.000 % |
26.03/26.15 c | 75752 | 800 16000 80000 | 2147483647 70880 108 | 0.000 % |
26.33/26.41 c | 76161 | 800 16000 80000 | 2147483647 71289 108 | 0.000 % |
26.53/26.68 c | 76610 | 800 16000 80000 | 2147483647 71738 108 | 0.000 % |
26.93/27.00 c | 77104 | 800 16000 80000 | 2147483647 72232 108 | 0.000 % |
27.23/27.36 c | 77647 | 800 16000 80000 | 2147483647 72775 108 | 0.000 % |
27.63/27.77 c | 78243 | 800 16000 80000 | 2147483647 73371 108 | 0.000 % |
28.03/28.15 c | 78899 | 800 16000 80000 | 2147483647 74027 108 | 0.000 % |
28.53/28.62 c | 79619 | 800 16000 80000 | 2147483647 74747 108 | 0.000 % |
29.03/29.11 c | 80411 | 800 16000 80000 | 2147483647 75539 108 | 0.000 % |
29.53/29.62 c | 81284 | 800 16000 80000 | 2147483647 76412 108 | 0.000 % |
30.12/30.25 c | 82243 | 800 16000 80000 | 2147483647 77371 108 | 0.000 % |
30.22/30.33 c | 82343 | 800 16000 80000 | 2147483647 77471 108 | 0.000 % |
30.32/30.41 c | 82454 | 800 16000 80000 | 2147483647 77582 108 | 0.000 % |
30.42/30.50 c | 82576 | 800 16000 80000 | 2147483647 77704 108 | 0.000 % |
30.52/30.62 c | 82709 | 800 16000 80000 | 2147483647 77837 108 | 0.000 % |
30.63/30.72 c | 82855 | 800 16000 80000 | 2147483647 77983 108 | 0.000 % |
30.73/30.85 c | 83017 | 800 16000 80000 | 2147483647 78145 108 | 0.000 % |
30.82/30.99 c | 83193 | 800 16000 80000 | 2147483647 78321 108 | 0.000 % |
31.02/31.14 c | 83386 | 800 16000 80000 | 2147483647 78514 108 | 0.000 % |
31.22/31.30 c | 83598 | 800 16000 80000 | 2147483647 78726 108 | 0.000 % |
31.42/31.50 c | 83832 | 800 16000 80000 | 2147483647 78960 108 | 0.000 % |
31.52/31.70 c | 84088 | 800 16000 80000 | 2147483647 79216 108 | 0.000 % |
31.84/31.92 c | 84369 | 800 16000 80000 | 2147483647 79497 108 | 0.000 % |
32.03/32.16 c | 84681 | 800 16000 80000 | 2147483647 79809 108 | 0.000 % |
32.33/32.41 c | 85020 | 800 16000 80000 | 2147483647 80148 108 | 0.000 % |
32.63/32.71 c | 85393 | 800 16000 80000 | 2147483647 80521 108 | 0.000 % |
32.94/33.04 c | 85803 | 800 16000 80000 | 2147483647 80931 108 | 0.000 % |
33.23/33.37 c | 86253 | 800 16000 80000 | 2147483647 81381 108 | 0.000 % |
33.63/33.72 c | 86746 | 800 16000 80000 | 2147483647 81874 108 | 0.000 % |
33.93/34.10 c | 87288 | 800 16000 80000 | 2147483647 82416 108 | 0.000 % |
34.43/34.53 c | 87886 | 800 16000 80000 | 2147483647 83014 108 | 0.000 % |
34.93/35.02 c | 88543 | 800 16000 80000 | 2147483647 83671 108 | 0.000 % |
35.43/35.59 c | 89263 | 800 16000 80000 | 2147483647 84391 108 | 0.000 % |
36.13/36.21 c | 90055 | 800 16000 80000 | 85128 85183 109 | 0.000 % |
36.73/36.86 c | 90927 | 800 16000 80000 | 85128 73137 109 | 0.000 % |
37.43/37.51 c | 91887 | 800 16000 80000 | 85128 74097 109 | 0.000 % |
38.13/38.25 c | 92941 | 800 16000 80000 | 85128 75151 109 | 0.000 % |
38.23/38.33 c | 93041 | 800 16000 80000 | 85128 75251 109 | 0.000 % |
38.33/38.43 c | 93152 | 800 16000 80000 | 85128 75362 109 | 0.000 % |
38.43/38.54 c | 93273 | 800 16000 80000 | 85128 75483 109 | 0.000 % |
38.53/38.66 c | 93406 | 800 16000 80000 | 85128 75616 109 | 0.000 % |
38.62/38.77 c | 93552 | 800 16000 80000 | 85128 75762 109 | 0.000 % |
38.82/38.90 c | 93713 | 800 16000 80000 | 85128 75923 109 | 0.000 % |
38.92/39.03 c | 93889 | 800 16000 80000 | 85128 76099 109 | 0.000 % |
39.02/39.19 c | 94084 | 800 16000 80000 | 85128 76294 109 | 0.000 % |
39.22/39.35 c | 94296 | 800 16000 80000 | 85128 76506 109 | 0.000 % |
39.43/39.53 c | 94532 | 800 16000 80000 | 85128 76742 109 | 0.000 % |
39.62/39.75 c | 94788 | 800 16000 80000 | 85128 76998 109 | 0.000 % |
39.82/39.95 c | 95069 | 800 16000 80000 | 85128 77279 109 | 0.000 % |
40.02/40.20 c | 95378 | 800 16000 80000 | 85128 77588 109 | 0.000 % |
40.32/40.45 c | 95717 | 800 16000 80000 | 85128 77927 109 | 0.000 % |
40.53/40.70 c | 96091 | 800 16000 80000 | 85128 78301 109 | 0.000 % |
40.92/41.01 c | 96502 | 800 16000 80000 | 85128 78712 109 | 0.000 % |
41.22/41.34 c | 96951 | 800 16000 80000 | 85128 79161 109 | 0.000 % |
41.52/41.68 c | 97445 | 800 16000 80000 | 85128 79655 109 | 0.000 % |
41.92/42.09 c | 97988 | 800 16000 80000 | 85128 80198 109 | 0.000 % |
42.42/42.55 c | 98584 | 800 16000 80000 | 85128 80794 109 | 0.000 % |
42.92/43.06 c | 99240 | 800 16000 80000 | 85128 81450 109 | 0.000 % |
43.52/43.63 c | 99960 | 800 16000 80000 | 85128 82170 109 | 0.000 % |
44.12/44.21 c | 100752 | 800 16000 80000 | 82210 69782 109 | 0.000 % |
44.62/44.74 c | 101624 | 800 16000 80000 | 82210 70654 109 | 0.000 % |
45.22/45.37 c | 102582 | 800 16000 80000 | 82210 71612 109 | 0.000 % |
45.92/46.05 c | 103635 | 800 16000 80000 | 82210 72665 109 | 0.000 % |
46.62/46.75 c | 104793 | 800 16000 80000 | 82210 73823 109 | 0.000 % |
46.72/46.83 c | 104896 | 800 16000 80000 | 82210 73926 109 | 0.000 % |
46.82/46.91 c | 105006 | 800 16000 80000 | 82210 74036 109 | 0.000 % |
46.92/47.02 c | 105131 | 800 16000 80000 | 82210 74161 109 | 0.000 % |
47.02/47.13 c | 105266 | 800 16000 80000 | 82210 74296 109 | 0.000 % |
47.12/47.24 c | 105412 | 800 16000 80000 | 82210 74442 109 | 0.000 % |
47.22/47.36 c | 105573 | 800 16000 80000 | 82210 74603 109 | 0.000 % |
47.42/47.50 c | 105750 | 800 16000 80000 | 82210 74780 109 | 0.000 % |
47.52/47.64 c | 105945 | 800 16000 80000 | 82210 74975 109 | 0.000 % |
47.72/47.80 c | 106158 | 800 16000 80000 | 82210 75188 109 | 0.000 % |
47.82/47.95 c | 106391 | 800 16000 80000 | 82210 75421 109 | 0.000 % |
48.02/48.13 c | 106649 | 800 16000 80000 | 82210 75679 109 | 0.000 % |
48.22/48.32 c | 106930 | 800 16000 80000 | 82210 75960 109 | 0.000 % |
48.42/48.54 c | 107240 | 800 16000 80000 | 82210 76270 109 | 0.000 % |
48.62/48.77 c | 107580 | 800 16000 80000 | 82210 76610 109 | 0.000 % |
48.92/49.06 c | 107952 | 800 16000 80000 | 82210 76982 109 | 0.000 % |
49.22/49.38 c | 108362 | 800 16000 80000 | 82210 77392 109 | 0.000 % |
49.52/49.69 c | 108812 | 800 16000 80000 | 82210 77842 109 | 0.000 % |
49.92/50.09 c | 109305 | 800 16000 80000 | 82210 78335 109 | 0.000 % |
50.32/50.48 c | 109849 | 800 16000 80000 | 82210 78879 109 | 0.000 % |
50.82/50.93 c | 110445 | 800 16000 80000 | 79033 67550 110 | 0.000 % |
51.21/51.34 c | 111101 | 800 16000 80000 | 79033 68206 110 | 0.000 % |
51.62/51.77 c | 111821 | 800 16000 80000 | 79033 68926 110 | 0.000 % |
52.11/52.28 c | 112614 | 800 16000 80000 | 79033 69719 110 | 0.000 % |
52.62/52.79 c | 113487 | 800 16000 80000 | 79033 70592 110 | 0.000 % |
53.31/53.42 c | 114446 | 800 16000 80000 | 79033 71551 110 | 0.000 % |
53.91/54.09 c | 115501 | 800 16000 80000 | 79033 72606 110 | 0.000 % |
54.71/54.85 c | 116659 | 800 16000 80000 | 79033 73764 110 | 0.000 % |
55.51/55.69 c | 117932 | 800 16000 80000 | 79033 75037 110 | 0.000 % |
55.61/55.76 c | 118032 | 800 16000 80000 | 79033 75137 110 | 0.000 % |
55.71/55.86 c | 118142 | 800 16000 80000 | 79033 75247 110 | 0.000 % |
55.81/55.96 c | 118263 | 800 16000 80000 | 79033 75368 110 | 0.000 % |
55.92/56.06 c | 118396 | 800 16000 80000 | 79033 75501 110 | 0.000 % |
56.02/56.16 c | 118542 | 800 16000 80000 | 79033 75647 110 | 0.000 % |
56.21/56.30 c | 118702 | 800 16000 80000 | 79033 75807 110 | 0.000 % |
56.31/56.43 c | 118879 | 800 16000 80000 | 79033 75984 110 | 0.000 % |
56.41/56.58 c | 119072 | 800 16000 80000 | 79033 76177 110 | 0.000 % |
56.61/56.76 c | 119285 | 800 16000 80000 | 79033 76390 110 | 0.000 % |
56.81/56.96 c | 119521 | 800 16000 80000 | 79033 76626 110 | 0.000 % |
57.01/57.16 c | 119777 | 800 16000 80000 | 79033 76882 110 | 0.000 % |
57.21/57.37 c | 120059 | 800 16000 80000 | 77106 77164 110 | 0.000 % |
57.51/57.61 c | 120370 | 800 16000 80000 | 77106 66651 110 | 0.000 % |
57.71/57.84 c | 120709 | 800 16000 80000 | 77106 66990 110 | 0.000 % |
57.91/58.07 c | 121081 | 800 16000 80000 | 77106 67362 110 | 0.000 % |
58.21/58.35 c | 121490 | 800 16000 80000 | 77106 67771 110 | 0.000 % |
58.51/58.63 c | 121941 | 800 16000 80000 | 77106 68222 110 | 0.000 % |
58.81/58.93 c | 122435 | 800 16000 80000 | 77106 68716 110 | 0.000 % |
59.11/59.23 c | 122978 | 800 16000 80000 | 77106 69259 110 | 0.000 % |
59.41/59.59 c | 123574 | 800 16000 80000 | 77106 69855 110 | 0.000 % |
59.91/60.00 c | 124229 | 800 16000 80000 | 77106 70510 110 | 0.000 % |
60.31/60.42 c | 124949 | 800 16000 80000 | 77106 71230 110 | 0.000 % |
60.81/60.92 c | 125742 | 800 16000 80000 | 77106 72023 110 | 0.000 % |
61.31/61.48 c | 126613 | 800 16000 80000 | 77106 72894 110 | 0.000 % |
62.01/62.11 c | 127573 | 800 16000 80000 | 77106 73854 110 | 0.000 % |
62.71/62.85 c | 128626 | 800 16000 80000 | 77106 74907 110 | 0.000 % |
63.51/63.63 c | 129784 | 800 16000 80000 | 77106 76065 111 | 0.000 % |
64.31/64.49 c | 131057 | 800 16000 80000 | 76281 67493 111 | 0.000 % |
65.21/65.39 c | 132458 | 800 16000 80000 | 76281 68894 111 | 0.000 % |
65.31/65.46 c | 132558 | 800 16000 80000 | 76281 68994 111 | 0.000 % |
65.41/65.54 c | 132668 | 800 16000 80000 | 76281 69104 111 | 0.000 % |
65.51/65.64 c | 132789 | 800 16000 80000 | 76281 69225 111 | 0.000 % |
65.61/65.73 c | 132922 | 800 16000 80000 | 76281 69358 111 | 0.000 % |
65.70/65.83 c | 133068 | 800 16000 80000 | 76281 69504 111 | 0.000 % |
65.81/65.96 c | 133229 | 800 16000 80000 | 76281 69665 111 | 0.000 % |
65.91/66.07 c | 133405 | 800 16000 80000 | 76281 69841 111 | 0.000 % |
66.10/66.20 c | 133598 | 800 16000 80000 | 76281 70034 111 | 0.000 % |
66.20/66.35 c | 133812 | 800 16000 80000 | 76281 70248 111 | 0.000 % |
66.40/66.51 c | 134045 | 800 16000 80000 | 76281 70481 111 | 0.000 % |
66.50/66.67 c | 134303 | 800 16000 80000 | 76281 70739 111 | 0.000 % |
66.70/66.86 c | 134585 | 800 16000 80000 | 76281 71021 110 | 0.000 % |
66.91/67.10 c | 134894 | 800 16000 80000 | 76281 71330 110 | 0.000 % |
67.20/67.33 c | 135233 | 800 16000 80000 | 76281 71669 110 | 0.000 % |
67.40/67.55 c | 135605 | 800 16000 80000 | 76281 72041 110 | 0.000 % |
67.70/67.82 c | 136014 | 800 16000 80000 | 76281 72450 110 | 0.000 % |
68.01/68.16 c | 136464 | 800 16000 80000 | 76281 72900 110 | 0.000 % |
68.30/68.47 c | 136957 | 800 16000 80000 | 76281 73393 111 | 0.000 % |
68.70/68.82 c | 137503 | 800 16000 80000 | 76281 73939 111 | 0.000 % |
69.11/69.25 c | 138099 | 800 16000 80000 | 76281 74535 111 | 0.000 % |
69.60/69.73 c | 138754 | 800 16000 80000 | 76281 75190 111 | 0.000 % |
70.10/70.25 c | 139474 | 800 16000 80000 | 76281 75910 111 | 0.000 % |
70.60/70.80 c | 140268 | 800 16000 80000 | 76438 76704 111 | 0.000 % |
71.20/71.34 c | 141139 | 800 16000 80000 | 76438 67491 111 | 0.000 % |
71.80/71.92 c | 142098 | 800 16000 80000 | 76438 68450 111 | 0.000 % |
72.40/72.60 c | 143157 | 800 16000 80000 | 76438 69509 111 | 0.000 % |
73.20/73.32 c | 144316 | 800 16000 80000 | 76438 70668 111 | 0.000 % |
74.00/74.14 c | 145591 | 800 16000 80000 | 76438 71943 111 | 0.000 % |
74.90/75.06 c | 146992 | 800 16000 80000 | 76438 73344 111 | 0.000 % |
75.90/76.03 c | 148532 | 800 16000 80000 | 76438 74884 111 | 0.000 % |
76.00/76.11 c | 148632 | 800 16000 80000 | 76438 74984 111 | 0.000 % |
76.00/76.20 c | 148744 | 800 16000 80000 | 76438 75096 111 | 0.000 % |
76.10/76.29 c | 148867 | 800 16000 80000 | 76438 75219 111 | 0.000 % |
76.20/76.39 c | 149000 | 800 16000 80000 | 76438 75352 111 | 0.000 % |
76.40/76.51 c | 149146 | 800 16000 80000 | 76438 75498 111 | 0.000 % |
76.50/76.64 c | 149306 | 800 16000 80000 | 76438 75658 111 | 0.000 % |
76.60/76.78 c | 149483 | 800 16000 80000 | 76438 75835 111 | 0.000 % |
76.80/76.92 c | 149677 | 800 16000 80000 | 76438 76029 111 | 0.000 % |
76.90/77.07 c | 149890 | 800 16000 80000 | 76438 76242 111 | 0.000 % |
77.10/77.22 c | 150124 | 800 16000 80000 | 76352 76476 111 | 0.000 % |
77.30/77.41 c | 150383 | 800 16000 80000 | 76352 66951 111 | 0.000 % |
77.39/77.59 c | 150667 | 800 16000 80000 | 76352 67235 111 | 0.000 % |
77.59/77.78 c | 150977 | 800 16000 80000 | 76352 67545 111 | 0.000 % |
77.79/77.99 c | 151316 | 800 16000 80000 | 76352 67884 111 | 0.000 % |
78.10/78.20 c | 151689 | 800 16000 80000 | 76352 68257 111 | 0.000 % |
78.29/78.44 c | 152102 | 800 16000 80000 | 76352 68670 111 | 0.000 % |
78.49/78.69 c | 152551 | 800 16000 80000 | 76352 69119 111 | 0.000 % |
78.89/79.02 c | 153046 | 800 16000 80000 | 76352 69614 111 | 0.000 % |
79.29/79.43 c | 153592 | 800 16000 80000 | 76352 70160 111 | 0.000 % |
79.69/79.84 c | 154188 | 800 16000 80000 | 76352 70756 111 | 0.000 % |
80.10/80.28 c | 154844 | 800 16000 80000 | 76352 71412 111 | 0.000 % |
80.59/80.73 c | 155564 | 800 16000 80000 | 76352 72132 111 | 0.000 % |
81.09/81.29 c | 156358 | 800 16000 80000 | 76352 72926 111 | 0.000 % |
81.69/81.87 c | 157230 | 800 16000 80000 | 76352 73798 111 | 0.000 % |
82.29/82.46 c | 158188 | 800 16000 80000 | 76352 74756 111 | 0.000 % |
82.99/83.12 c | 159241 | 800 16000 80000 | 76352 75809 111 | 0.000 % |
83.69/83.89 c | 160399 | 800 16000 80000 | 76568 67360 111 | 0.000 % |
84.49/84.63 c | 161672 | 800 16000 80000 | 76568 68633 111 | 0.000 % |
85.29/85.46 c | 163074 | 800 16000 80000 | 76568 70035 111 | 0.000 % |
86.29/86.48 c | 164616 | 800 16000 80000 | 76568 71577 111 | 0.000 % |
87.39/87.53 c | 166312 | 800 16000 80000 | 76568 73273 111 | 0.000 % |
87.39/87.59 c | 166412 | 800 16000 80000 | 76568 73373 111 | 0.000 % |
87.49/87.67 c | 166523 | 800 16000 80000 | 76568 73484 111 | 0.000 % |
87.59/87.78 c | 166649 | 800 16000 80000 | 76568 73610 111 | 0.000 % |
87.69/87.90 c | 166783 | 800 16000 80000 | 76568 73744 111 | 0.000 % |
87.89/88.02 c | 166930 | 800 16000 80000 | 76568 73891 111 | 0.000 % |
87.99/88.14 c | 167092 | 800 16000 80000 | 76568 74053 111 | 0.000 % |
88.09/88.28 c | 167271 | 800 16000 80000 | 76568 74232 111 | 0.000 % |
88.29/88.43 c | 167464 | 800 16000 80000 | 76568 74425 111 | 0.000 % |
88.39/88.57 c | 167676 | 800 16000 80000 | 76568 74637 111 | 0.000 % |
88.59/88.75 c | 167909 | 800 16000 80000 | 76568 74870 111 | 0.000 % |
88.79/88.93 c | 168166 | 800 16000 80000 | 76568 75127 111 | 0.000 % |
88.99/89.12 c | 168447 | 800 16000 80000 | 76568 75408 111 | 0.000 % |
89.19/89.34 c | 168757 | 800 16000 80000 | 76568 75718 111 | 0.000 % |
89.39/89.57 c | 169096 | 800 16000 80000 | 76568 76057 111 | 0.000 % |
89.69/89.87 c | 169468 | 800 16000 80000 | 76568 76429 111 | 0.000 % |
90.09/90.21 c | 169879 | 800 16000 80000 | 76568 67437 111 | 0.000 % |
90.39/90.50 c | 170328 | 800 16000 80000 | 67558 59691 111 | 0.000 % |
90.59/90.76 c | 170821 | 800 16000 80000 | 67558 60184 111 | 0.000 % |
90.88/91.06 c | 171365 | 800 16000 80000 | 67558 60728 111 | 0.000 % |
91.28/91.43 c | 171961 | 800 16000 80000 | 67558 61324 111 | 0.000 % |
91.68/91.81 c | 172616 | 800 16000 80000 | 67558 61979 111 | 0.000 % |
92.08/92.22 c | 173336 | 800 16000 80000 | 67558 62699 111 | 0.000 % |
92.48/92.69 c | 174128 | 800 16000 80000 | 67558 63491 111 | 0.000 % |
92.98/93.16 c | 175001 | 800 16000 80000 | 67558 64364 111 | 0.000 % |
93.58/93.79 c | 175960 | 800 16000 80000 | 67558 65323 111 | 0.000 % |
94.18/94.37 c | 177013 | 800 16000 80000 | 67558 66376 111 | 0.000 % |
94.98/95.15 c | 178171 | 800 16000 80000 | 67558 67534 111 | 0.000 % |
95.78/95.91 c | 179444 | 800 16000 80000 | 67558 62024 111 | 0.000 % |
96.48/96.68 c | 180844 | 800 16000 80000 | 2147483647 63424 111 | 0.000 % |
97.38/97.56 c | 182385 | 800 16000 80000 | 2147483647 64965 111 | 0.000 % |
98.38/98.58 c | 184080 | 800 16000 80000 | 2147483647 66660 112 | 0.000 % |
99.58/99.72 c | 185944 | 800 16000 80000 | 2147483647 68524 112 | 0.000 % |
99.58/99.80 c | 186045 | 800 16000 80000 | 2147483647 68625 112 | 0.000 % |
99.68/99.89 c | 186159 | 800 16000 80000 | 2147483647 68739 112 | 0.000 % |
99.78/99.98 c | 186281 | 800 16000 80000 | 2147483647 68861 112 | 0.000 % |
99.88/100.06 c | 186414 | 800 16000 80000 | 2147483647 68994 112 | 0.000 % |
99.98/100.16 c | 186561 | 800 16000 80000 | 2147483647 69141 112 | 0.000 % |
100.08/100.29 c | 186723 | 800 16000 80000 | 2147483647 69303 112 | 0.000 % |
100.28/100.41 c | 186902 | 800 16000 80000 | 2147483647 69482 112 | 0.000 % |
100.38/100.54 c | 187095 | 800 16000 80000 | 2147483647 69675 112 | 0.000 % |
100.58/100.70 c | 187307 | 800 16000 80000 | 2147483647 69887 112 | 0.000 % |
100.68/100.87 c | 187541 | 800 16000 80000 | 2147483647 70121 112 | 0.000 % |
100.88/101.06 c | 187797 | 800 16000 80000 | 2147483647 70377 112 | 0.000 % |
101.08/101.25 c | 188078 | 800 16000 80000 | 2147483647 70658 112 | 0.000 % |
101.38/101.50 c | 188387 | 800 16000 80000 | 2147483647 70967 112 | 0.000 % |
101.58/101.75 c | 188728 | 800 16000 80000 | 2147483647 71308 112 | 0.000 % |
101.88/102.03 c | 189100 | 800 16000 80000 | 2147483647 71680 112 | 0.000 % |
102.08/102.29 c | 189509 | 800 16000 80000 | 2147483647 72089 112 | 0.000 % |
102.48/102.61 c | 189960 | 800 16000 80000 | 2147483647 72540 112 | 0.000 % |
102.88/103.00 c | 190455 | 800 16000 80000 | 72581 64990 112 | 0.000 % |
103.18/103.33 c | 190997 | 800 16000 80000 | 72581 65532 112 | 0.000 % |
103.48/103.67 c | 191594 | 800 16000 80000 | 72581 66129 112 | 0.000 % |
103.98/104.10 c | 192249 | 800 16000 80000 | 72581 66784 112 | 0.000 % |
104.38/104.55 c | 192970 | 800 16000 80000 | 72581 67505 112 | 0.000 % |
104.88/105.01 c | 193764 | 800 16000 80000 | 72581 68299 112 | 0.000 % |
105.38/105.55 c | 194635 | 800 16000 80000 | 72581 69170 112 | 0.000 % |
105.98/106.15 c | 195594 | 800 16000 80000 | 72581 70129 112 | 0.000 % |
106.68/106.84 c | 196648 | 800 16000 80000 | 72581 71183 112 | 0.000 % |
107.48/107.64 c | 197806 | 800 16000 80000 | 72581 72341 112 | 0.000 % |
108.38/108.54 c | 199080 | 800 16000 80000 | 72581 65830 112 | 0.000 % |
109.28/109.43 c | 200482 | 800 16000 80000 | 66751 60166 112 | 0.000 % |
110.08/110.26 c | 202022 | 800 16000 80000 | 66751 61706 112 | 0.000 % |
111.08/111.26 c | 203717 | 800 16000 80000 | 66751 63401 112 | 0.000 % |
112.17/112.34 c | 205581 | 800 16000 80000 | 66751 65265 112 | 0.000 % |
113.58/113.72 c | 207631 | 800 16000 80000 | 66751 60615 113 | 0.000 % |
113.58/113.78 c | 207731 | 800 16000 80000 | 66751 60715 112 | 0.000 % |
113.67/113.84 c | 207842 | 800 16000 80000 | 66751 60826 112 | 0.000 % |
113.77/113.92 c | 207964 | 800 16000 80000 | 66751 60948 112 | 0.000 % |
113.87/114.00 c | 208097 | 800 16000 80000 | 66751 61081 112 | 0.000 % |
113.97/114.13 c | 208247 | 800 16000 80000 | 66751 61231 112 | 0.000 % |
114.07/114.22 c | 208408 | 800 16000 80000 | 66751 61392 112 | 0.000 % |
114.18/114.34 c | 208584 | 800 16000 80000 | 66751 61568 112 | 0.000 % |
114.28/114.48 c | 208777 | 800 16000 80000 | 66751 61761 112 | 0.000 % |
114.47/114.62 c | 208989 | 800 16000 80000 | 66751 61973 112 | 0.000 % |
114.57/114.76 c | 209223 | 800 16000 80000 | 66751 62207 112 | 0.000 % |
114.77/114.91 c | 209479 | 800 16000 80000 | 66751 62463 112 | 0.000 % |
114.87/115.07 c | 209760 | 800 16000 80000 | 66751 62744 112 | 0.000 % |
115.07/115.25 c | 210070 | 800 16000 80000 | 2147483647 63054 112 | 0.000 % |
115.29/115.48 c | 210409 | 800 16000 80000 | 2147483647 63393 112 | 0.000 % |
115.58/115.71 c | 210781 | 800 16000 80000 | 2147483647 63765 112 | 0.000 % |
115.78/115.97 c | 211190 | 800 16000 80000 | 2147483647 64174 112 | 0.000 % |
116.08/116.24 c | 211641 | 800 16000 80000 | 2147483647 64625 112 | 0.000 % |
116.39/116.52 c | 212134 | 800 16000 80000 | 2147483647 65118 112 | 0.000 % |
116.68/116.84 c | 212676 | 800 16000 80000 | 2147483647 65660 112 | 0.000 % |
117.08/117.20 c | 213273 | 800 16000 80000 | 2147483647 66257 112 | 0.000 % |
117.38/117.58 c | 213928 | 800 16000 80000 | 2147483647 66912 112 | 0.000 % |
117.78/117.99 c | 214648 | 800 16000 80000 | 2147483647 67632 112 | 0.000 % |
118.28/118.48 c | 215441 | 800 16000 80000 | 2147483647 68425 112 | 0.000 % |
118.78/118.99 c | 216313 | 800 16000 80000 | 2147483647 69297 112 | 0.000 % |
119.38/119.54 c | 217271 | 800 16000 80000 | 2147483647 70255 112 | 0.000 % |
120.08/120.20 c | 218324 | 800 16000 80000 | 2147483647 71308 112 | 0.000 % |
120.68/120.89 c | 219482 | 800 16000 80000 | 2147483647 72466 112 | 0.000 % |
121.48/121.62 c | 220755 | 800 16000 80000 | 2147483647 73739 112 | 0.000 % |
122.38/122.55 c | 222157 | 800 16000 80000 | 2147483647 75141 112 | 0.000 % |
123.38/123.55 c | 223697 | 800 16000 80000 | 2147483647 76681 112 | 0.000 % |
124.48/124.69 c | 225393 | 800 16000 80000 | 2147483647 78377 112 | 0.000 % |
125.78/125.94 c | 227258 | 800 16000 80000 | 2147483647 80242 112 | 0.000 % |
127.17/127.34 c | 229307 | 800 16000 80000 | 2147483647 82291 112 | 0.000 % |
128.67/128.85 c | 231562 | 800 16000 80000 | 82984 73504 112 | 0.000 % |
128.77/128.94 c | 231662 | 800 16000 80000 | 82984 73604 112 | 0.000 % |
128.87/129.03 c | 231773 | 800 16000 80000 | 82984 73715 112 | 0.000 % |
128.97/129.12 c | 231894 | 800 16000 80000 | 82984 73836 112 | 0.000 % |
129.07/129.21 c | 232027 | 800 16000 80000 | 82984 73969 112 | 0.000 % |
129.17/129.34 c | 232173 | 800 16000 80000 | 82984 74115 112 | 0.000 % |
129.27/129.47 c | 232335 | 800 16000 80000 | 82984 74277 112 | 0.000 % |
129.47/129.60 c | 232512 | 800 16000 80000 | 82984 74454 112 | 0.000 % |
129.57/129.76 c | 232706 | 800 16000 80000 | 82984 74648 112 | 0.000 % |
129.77/129.90 c | 232918 | 800 16000 80000 | 82984 74860 112 | 0.000 % |
129.87/130.09 c | 233151 | 800 16000 80000 | 82984 75093 112 | 0.000 % |
130.07/130.26 c | 233408 | 800 16000 80000 | 82984 75350 112 | 0.000 % |
130.27/130.45 c | 233689 | 800 16000 80000 | 82984 75631 112 | 0.000 % |
130.47/130.69 c | 234000 | 800 16000 80000 | 82984 75942 112 | 0.000 % |
130.77/130.95 c | 234343 | 800 16000 80000 | 82984 76285 112 | 0.000 % |
131.07/131.21 c | 234716 | 800 16000 80000 | 82984 76658 112 | 0.000 % |
131.37/131.52 c | 235125 | 800 16000 80000 | 82984 77067 112 | 0.000 % |
131.67/131.84 c | 235575 | 800 16000 80000 | 82984 77517 112 | 0.000 % |
132.07/132.21 c | 236069 | 800 16000 80000 | 82984 78011 112 | 0.000 % |
132.47/132.60 c | 236612 | 800 16000 80000 | 82984 78554 112 | 0.000 % |
132.87/133.03 c | 237208 | 800 16000 80000 | 82984 79150 112 | 0.000 % |
133.37/133.52 c | 237864 | 800 16000 80000 | 82984 79806 112 | 0.000 % |
133.87/134.05 c | 238584 | 800 16000 80000 | 82984 80526 112 | 0.000 % |
134.47/134.65 c | 239377 | 800 16000 80000 | 82984 81319 112 | 0.000 % |
135.07/135.27 c | 240249 | 800 16000 80000 | 81942 82191 112 | 0.000 % |
135.77/135.95 c | 241207 | 800 16000 80000 | 81942 70542 113 | 0.000 % |
136.37/136.59 c | 242260 | 800 16000 80000 | 81942 71595 113 | 0.000 % |
137.17/137.31 c | 243418 | 800 16000 80000 | 81942 72753 113 | 0.000 % |
137.97/138.18 c | 244691 | 800 16000 80000 | 81942 74026 113 | 0.000 % |
138.87/139.08 c | 246092 | 800 16000 80000 | 81942 75427 113 | 0.000 % |
139.97/140.12 c | 247633 | 800 16000 80000 | 81942 76968 113 | 0.000 % |
141.07/141.21 c | 249328 | 800 16000 80000 | 81942 78663 113 | 0.000 % |
142.27/142.46 c | 251193 | 800 16000 80000 | 79337 69232 113 | 0.000 % |
143.47/143.65 c | 253242 | 800 16000 80000 | 79337 71281 113 | 0.000 % |
144.86/145.08 c | 255495 | 800 16000 80000 | 79337 73534 113 | 0.000 % |
146.56/146.76 c | 257975 | 800 16000 80000 | 79337 76014 113 | 0.000 % |
146.67/146.84 c | 258075 | 800 16000 80000 | 79337 76114 113 | 0.000 % |
146.77/146.94 c | 258186 | 800 16000 80000 | 79337 76225 113 | 0.000 % |
146.87/147.03 c | 258307 | 800 16000 80000 | 79337 76346 113 | 0.000 % |
146.97/147.15 c | 258440 | 800 16000 80000 | 79337 76479 113 | 0.000 % |
147.07/147.26 c | 258587 | 800 16000 80000 | 79337 76626 113 | 0.000 % |
147.17/147.39 c | 258748 | 800 16000 80000 | 79337 76787 113 | 0.000 % |
147.37/147.52 c | 258925 | 800 16000 80000 | 79337 76964 113 | 0.000 % |
147.47/147.68 c | 259119 | 800 16000 80000 | 79337 77158 113 | 0.000 % |
147.67/147.83 c | 259331 | 800 16000 80000 | 79337 77370 113 | 0.000 % |
147.86/148.00 c | 259566 | 800 16000 80000 | 79337 77605 113 | 0.000 % |
148.06/148.23 c | 259824 | 800 16000 80000 | 79337 77863 113 | 0.000 % |
148.27/148.45 c | 260106 | 800 16000 80000 | 78039 78145 113 | 0.000 % |
148.56/148.71 c | 260415 | 800 16000 80000 | 78039 68277 113 | 0.000 % |
148.76/148.94 c | 260755 | 800 16000 80000 | 78039 68617 113 | 0.000 % |
148.96/149.18 c | 261127 | 800 16000 80000 | 78039 68989 113 | 0.000 % |
149.26/149.45 c | 261537 | 800 16000 80000 | 78039 69399 113 | 0.000 % |
149.56/149.76 c | 261987 | 800 16000 80000 | 78039 69849 113 | 0.000 % |
149.96/150.10 c | 262480 | 800 16000 80000 | 78039 70342 113 | 0.000 % |
150.26/150.47 c | 263022 | 800 16000 80000 | 78039 70884 113 | 0.000 % |
150.66/150.86 c | 263618 | 800 16000 80000 | 78039 71480 113 | 0.000 % |
151.06/151.24 c | 264273 | 800 16000 80000 | 78039 72135 113 | 0.000 % |
151.57/151.71 c | 264993 | 800 16000 80000 | 78039 72855 113 | 0.000 % |
151.96/152.18 c | 265785 | 800 16000 80000 | 78039 73647 113 | 0.000 % |
152.56/152.71 c | 266658 | 800 16000 80000 | 78039 74520 113 | 0.000 % |
153.16/153.34 c | 267617 | 800 16000 80000 | 78039 75479 113 | 0.000 % |
153.86/154.04 c | 268670 | 800 16000 80000 | 78039 76532 113 | 0.000 % |
154.66/154.85 c | 269828 | 800 16000 80000 | 78039 77690 113 | 0.000 % |
155.46/155.68 c | 271101 | 800 16000 80000 | 77862 68923 112 | 0.000 % |
156.36/156.53 c | 272502 | 800 16000 80000 | 77862 70324 112 | 0.000 % |
157.26/157.46 c | 274042 | 800 16000 80000 | 77862 71864 112 | 0.000 % |
158.26/158.47 c | 275736 | 800 16000 80000 | 77862 73558 113 | 0.000 % |
159.56/159.71 c | 277600 | 800 16000 80000 | 77862 75422 113 | 0.000 % |
160.86/161.00 c | 279652 | 800 16000 80000 | 77862 77474 113 | 0.000 % |
162.26/162.48 c | 281908 | 800 16000 80000 | 77823 70157 113 | 0.000 % |
163.86/164.02 c | 284390 | 800 16000 80000 | 77823 72639 113 | 0.000 % |
165.56/165.74 c | 287115 | 800 16000 80000 | 77823 75364 113 | 0.000 % |
165.66/165.81 c | 287216 | 800 16000 80000 | 77823 75465 113 | 0.000 % |
165.76/165.90 c | 287329 | 800 16000 80000 | 77823 75578 113 | 0.000 % |
165.76/165.99 c | 287450 | 800 16000 80000 | 77823 75699 113 | 0.000 % |
165.86/166.09 c | 287585 | 800 16000 80000 | 77823 75834 113 | 0.000 % |
166.06/166.22 c | 287735 | 800 16000 80000 | 77823 75984 113 | 0.000 % |
166.16/166.34 c | 287898 | 800 16000 80000 | 77823 76147 113 | 0.000 % |
166.26/166.47 c | 288075 | 800 16000 80000 | 77823 76324 113 | 0.000 % |
166.46/166.62 c | 288268 | 800 16000 80000 | 77823 76517 113 | 0.000 % |
166.56/166.77 c | 288480 | 800 16000 80000 | 77823 76729 113 | 0.000 % |
166.76/166.94 c | 288713 | 800 16000 80000 | 77823 76962 113 | 0.000 % |
166.96/167.12 c | 288969 | 800 16000 80000 | 77823 77218 113 | 0.000 % |
167.16/167.31 c | 289252 | 800 16000 80000 | 77823 77501 113 | 0.000 % |
167.36/167.51 c | 289561 | 800 16000 80000 | 77823 77810 113 | 0.000 % |
167.66/167.84 c | 289901 | 800 16000 80000 | 77823 68451 113 | 0.000 % |
167.86/168.06 c | 290275 | 800 16000 80000 | 68551 68825 113 | 0.000 % |
168.16/168.32 c | 290685 | 800 16000 80000 | 68551 60746 113 | 0.000 % |
168.36/168.58 c | 291134 | 800 16000 80000 | 68551 61195 113 | 0.000 % |
168.76/168.90 c | 291627 | 800 16000 80000 | 68551 61688 113 | 0.000 % |
169.06/169.22 c | 292169 | 800 16000 80000 | 68551 62230 113 | 0.000 % |
169.36/169.56 c | 292765 | 800 16000 80000 | 68551 62826 113 | 0.000 % |
169.75/169.93 c | 293423 | 800 16000 80000 | 68551 63484 113 | 0.000 % |
170.15/170.34 c | 294143 | 800 16000 80000 | 68551 64204 113 | 0.000 % |
170.55/170.79 c | 294936 | 800 16000 80000 | 68551 64997 113 | 0.000 % |
171.15/171.33 c | 295807 | 800 16000 80000 | 68551 65868 113 | 0.000 % |
171.75/171.92 c | 296766 | 800 16000 80000 | 68551 66827 113 | 0.000 % |
172.35/172.56 c | 297820 | 800 16000 80000 | 68551 67881 113 | 0.000 % |
173.05/173.29 c | 298978 | 800 16000 80000 | 68551 62159 113 | 0.000 % |
173.75/173.98 c | 300251 | 800 16000 80000 | 2147483647 63432 113 | 0.000 % |
174.66/174.81 c | 301651 | 800 16000 80000 | 2147483647 64832 113 | 0.000 % |
175.45/175.69 c | 303191 | 800 16000 80000 | 2147483647 66372 113 | 0.000 % |
176.45/176.68 c | 304885 | 800 16000 80000 | 2147483647 68066 113 | 0.000 % |
177.55/177.76 c | 306749 | 800 16000 80000 | 2147483647 69930 113 | 0.000 % |
178.75/178.92 c | 308798 | 800 16000 80000 | 2147483647 71979 113 | 0.000 % |
180.05/180.29 c | 311051 | 800 16000 80000 | 2147483647 74232 113 | 0.000 % |
181.65/181.87 c | 313530 | 800 16000 80000 | 2147483647 76711 113 | 0.000 % |
183.55/183.73 c | 316255 | 800 16000 80000 | 2147483647 79436 113 | 0.000 % |
185.66/185.85 c | 319252 | 800 16000 80000 | 2147483647 82433 113 | 0.000 % |
185.76/185.92 c | 319354 | 800 16000 80000 | 2147483647 82535 113 | 0.000 % |
185.85/186.02 c | 319464 | 800 16000 80000 | 2147483647 82645 113 | 0.000 % |
185.95/186.11 c | 319585 | 800 16000 80000 | 2147483647 82766 113 | 0.000 % |
186.05/186.24 c | 319718 | 800 16000 80000 | 2147483647 82899 113 | 0.000 % |
186.15/186.38 c | 319864 | 800 16000 80000 | 2147483647 83045 113 | 0.000 % |
186.35/186.52 c | 320024 | 800 16000 80000 | 83184 83205 113 | 0.000 % |
186.55/186.71 c | 320200 | 800 16000 80000 | 83184 71632 113 | 0.000 % |
186.65/186.85 c | 320394 | 800 16000 80000 | 83184 71826 113 | 0.000 % |
186.85/187.01 c | 320606 | 800 16000 80000 | 83184 72038 113 | 0.000 % |
186.95/187.16 c | 320839 | 800 16000 80000 | 83184 72271 113 | 0.000 % |
187.15/187.32 c | 321095 | 800 16000 80000 | 83184 72527 113 | 0.000 % |
187.35/187.53 c | 321377 | 800 16000 80000 | 83184 72809 113 | 0.000 % |
187.55/187.75 c | 321687 | 800 16000 80000 | 83184 73119 113 | 0.000 % |
187.75/187.99 c | 322028 | 800 16000 80000 | 83184 73460 113 | 0.000 % |
188.05/188.27 c | 322402 | 800 16000 80000 | 83184 73834 113 | 0.000 % |
188.35/188.56 c | 322811 | 800 16000 80000 | 83184 74243 113 | 0.000 % |
188.65/188.87 c | 323263 | 800 16000 80000 | 83184 74695 113 | 0.000 % |
189.05/189.23 c | 323760 | 800 16000 80000 | 83184 75192 113 | 0.000 % |
189.45/189.61 c | 324304 | 800 16000 80000 | 83184 75736 113 | 0.000 % |
189.85/190.01 c | 324902 | 800 16000 80000 | 83184 76334 113 | 0.000 % |
190.25/190.43 c | 325557 | 800 16000 80000 | 83184 76989 113 | 0.000 % |
190.75/190.97 c | 326277 | 800 16000 80000 | 83184 77709 113 | 0.000 % |
191.35/191.53 c | 327071 | 800 16000 80000 | 83184 78503 113 | 0.000 % |
192.04/192.21 c | 327943 | 800 16000 80000 | 83184 79375 113 | 0.000 % |
192.74/192.90 c | 328902 | 800 16000 80000 | 83184 80334 113 | 0.000 % |
193.45/193.66 c | 329955 | 800 16000 80000 | 83184 81387 113 | 0.000 % |
194.24/194.48 c | 331115 | 800 16000 80000 | 81433 69856 112 | 0.000 % |
195.04/195.27 c | 332389 | 800 16000 80000 | 81433 71130 112 | 0.000 % |
195.94/196.16 c | 333789 | 800 16000 80000 | 81433 72530 112 | 0.000 % |
196.94/197.15 c | 335329 | 800 16000 80000 | 81433 74070 113 | 0.000 % |
198.04/198.22 c | 337023 | 800 16000 80000 | 81433 75764 113 | 0.000 % |
199.24/199.48 c | 338887 | 800 16000 80000 | 81433 77628 113 | 0.000 % |
200.74/200.95 c | 340936 | 800 16000 80000 | 78741 69073 113 | 0.000 % |
202.15/202.33 c | 343190 | 800 16000 80000 | 78741 71327 113 | 0.000 % |
203.74/203.92 c | 345669 | 800 16000 80000 | 78741 73806 113 | 0.000 % |
205.55/205.72 c | 348394 | 800 16000 80000 | 78741 76531 113 | 0.000 % |
207.44/207.61 c | 351391 | 800 16000 80000 | 78137 69775 113 | 0.000 % |
209.44/209.68 c | 354688 | 800 16000 80000 | 78137 73072 113 | 0.000 % |
209.54/209.75 c | 354788 | 800 16000 80000 | 78137 73172 113 | 0.000 % |
209.64/209.82 c | 354898 | 800 16000 80000 | 78137 73282 113 | 0.000 % |
209.74/209.92 c | 355023 | 800 16000 80000 | 78137 73407 113 | 0.000 % |
209.84/210.04 c | 355156 | 800 16000 80000 | 78137 73540 113 | 0.000 % |
209.94/210.14 c | 355302 | 800 16000 80000 | 78137 73686 113 | 0.000 % |
210.04/210.27 c | 355462 | 800 16000 80000 | 78137 73846 113 | 0.000 % |
210.24/210.40 c | 355638 | 800 16000 80000 | 78137 74022 113 | 0.000 % |
210.34/210.55 c | 355833 | 800 16000 80000 | 78137 74217 113 | 0.000 % |
210.54/210.70 c | 356046 | 800 16000 80000 | 78137 74430 113 | 0.000 % |
210.64/210.89 c | 356283 | 800 16000 80000 | 78137 74667 113 | 0.000 % |
210.84/211.06 c | 356539 | 800 16000 80000 | 78137 74923 113 | 0.000 % |
211.04/211.29 c | 356821 | 800 16000 80000 | 78137 75205 113 | 0.000 % |
211.34/211.52 c | 357132 | 800 16000 80000 | 78137 75516 113 | 0.000 % |
211.54/211.77 c | 357474 | 800 16000 80000 | 78137 75858 113 | 0.000 % |
211.84/212.03 c | 357846 | 800 16000 80000 | 78137 76230 113 | 0.000 % |
212.14/212.32 c | 358256 | 800 16000 80000 | 78137 76640 113 | 0.000 % |
212.44/212.63 c | 358705 | 800 16000 80000 | 78137 77089 113 | 0.000 % |
212.74/212.99 c | 359199 | 800 16000 80000 | 78137 77583 113 | 0.000 % |
213.14/213.39 c | 359742 | 800 16000 80000 | 78137 78126 113 | 0.000 % |
213.64/213.88 c | 360338 | 800 16000 80000 | 78385 68530 113 | 0.000 % |
214.04/214.26 c | 360993 | 800 16000 80000 | 78385 69185 113 | 0.000 % |
214.54/214.71 c | 361714 | 800 16000 80000 | 78385 69906 113 | 0.000 % |
215.04/215.20 c | 362508 | 800 16000 80000 | 78385 70700 113 | 0.000 % |
215.54/215.77 c | 363380 | 800 16000 80000 | 78385 71572 113 | 0.000 % |
216.24/216.41 c | 364340 | 800 16000 80000 | 78385 72532 113 | 0.000 % |
216.94/217.11 c | 365393 | 800 16000 80000 | 78385 73585 113 | 0.000 % |
217.64/217.85 c | 366552 | 800 16000 80000 | 78385 74744 113 | 0.000 % |
218.43/218.69 c | 367827 | 800 16000 80000 | 78385 76019 113 | 0.000 % |
219.43/219.61 c | 369228 | 800 16000 80000 | 78385 77420 113 | 0.000 % |
220.53/220.75 c | 370768 | 800 16000 80000 | 78193 68898 114 | 0.000 % |
221.53/221.75 c | 372463 | 800 16000 80000 | 78193 70593 114 | 0.000 % |
222.73/222.90 c | 374330 | 800 16000 80000 | 78193 72460 114 | 0.000 % |
224.03/224.25 c | 376379 | 800 16000 80000 | 78193 74509 114 | 0.000 % |
225.53/225.74 c | 378633 | 800 16000 80000 | 78193 76763 114 | 0.000 % |
227.13/227.30 c | 381111 | 800 16000 80000 | 78132 69291 113 | 0.000 % |
228.83/229.02 c | 383837 | 800 16000 80000 | 78132 72017 114 | 0.000 % |
230.83/231.04 c | 386835 | 800 16000 80000 | 78132 75015 114 | 0.000 % |
232.93/233.18 c | 390131 | 800 16000 80000 | 78183 78311 114 | 0.000 % |
235.42/235.63 c | 393756 | 800 16000 80000 | 78183 71765 114 | 0.000 % |
235.52/235.72 c | 393857 | 800 16000 80000 | 78183 71866 114 | 0.000 % |
235.52/235.79 c | 393967 | 800 16000 80000 | 78183 71976 114 | 0.000 % |
235.62/235.89 c | 394088 | 800 16000 80000 | 78183 72097 114 | 0.000 % |
235.72/236.00 c | 394221 | 800 16000 80000 | 78183 72230 114 | 0.000 % |
235.92/236.10 c | 394368 | 800 16000 80000 | 78183 72377 114 | 0.000 % |
236.02/236.23 c | 394529 | 800 16000 80000 | 78183 72538 114 | 0.000 % |
236.12/236.37 c | 394705 | 800 16000 80000 | 78183 72714 114 | 0.000 % |
236.33/236.52 c | 394898 | 800 16000 80000 | 78183 72907 114 | 0.000 % |
236.42/236.67 c | 395110 | 800 16000 80000 | 78183 73119 114 | 0.000 % |
236.62/236.84 c | 395344 | 800 16000 80000 | 78183 73353 114 | 0.000 % |
236.82/237.01 c | 395601 | 800 16000 80000 | 78183 73610 114 | 0.000 % |
237.02/237.20 c | 395883 | 800 16000 80000 | 78183 73892 114 | 0.000 % |
237.22/237.42 c | 396192 | 800 16000 80000 | 78183 74201 114 | 0.000 % |
237.42/237.66 c | 396532 | 800 16000 80000 | 78183 74541 114 | 0.000 % |
237.72/237.95 c | 396904 | 800 16000 80000 | 78183 74913 114 | 0.000 % |
238.02/238.22 c | 397316 | 800 16000 80000 | 78183 75325 114 | 0.000 % |
238.32/238.52 c | 397765 | 800 16000 80000 | 78183 75774 114 | 0.000 % |
238.62/238.84 c | 398259 | 800 16000 80000 | 78183 76268 114 | 0.000 % |
239.02/239.21 c | 398801 | 800 16000 80000 | 78183 76810 114 | 0.000 % |
239.42/239.61 c | 399398 | 800 16000 80000 | 78183 77407 114 | 0.000 % |
239.82/240.08 c | 400053 | 800 16000 80000 | 78009 78062 114 | 0.000 % |
240.32/240.59 c | 400776 | 800 16000 80000 | 78009 68442 114 | 0.000 % |
240.82/241.09 c | 401569 | 800 16000 80000 | 78009 69235 114 | 0.000 % |
241.41/241.65 c | 402440 | 800 16000 80000 | 78009 70106 114 | 0.000 % |
242.01/242.23 c | 403399 | 800 16000 80000 | 78009 71065 114 | 0.000 % |
242.61/242.87 c | 404452 | 800 16000 80000 | 78009 72118 114 | 0.000 % |
243.31/243.58 c | 405610 | 800 16000 80000 | 78009 73276 114 | 0.000 % |
244.11/244.37 c | 406883 | 800 16000 80000 | 78009 74549 114 | 0.000 % |
245.01/245.24 c | 408285 | 800 16000 80000 | 78009 75951 114 | 0.000 % |
246.01/246.22 c | 409827 | 800 16000 80000 | 78009 77493 114 | 0.000 % |
247.11/247.36 c | 411521 | 800 16000 80000 | 77666 69206 114 | 0.000 % |
248.21/248.47 c | 413385 | 800 16000 80000 | 77666 71070 114 | 0.000 % |
249.51/249.74 c | 415436 | 800 16000 80000 | 77666 73121 114 | 0.000 % |
251.01/251.21 c | 417691 | 800 16000 80000 | 77666 75376 114 | 0.000 % |
252.61/252.85 c | 420170 | 800 16000 80000 | 77685 77855 114 | 0.000 % |
254.30/254.52 c | 422896 | 800 16000 80000 | 77685 70876 114 | 0.000 % |
256.11/256.33 c | 425893 | 800 16000 80000 | 77685 73873 114 | 0.000 % |
258.21/258.43 c | 429189 | 800 16000 80000 | 77685 77169 115 | 0.000 % |
260.41/260.64 c | 432815 | 800 16000 80000 | 77980 71505 115 | 0.000 % |
262.90/263.10 c | 436802 | 800 16000 80000 | 77980 75492 115 | 0.000 % |
262.90/263.16 c | 436903 | 800 16000 80000 | 77980 75593 115 | 0.000 % |
263.00/263.23 c | 437015 | 800 16000 80000 | 77980 75705 115 | 0.000 % |
263.10/263.34 c | 437137 | 800 16000 80000 | 77980 75827 115 | 0.000 % |
263.20/263.44 c | 437272 | 800 16000 80000 | 77980 75962 115 | 0.000 % |
263.30/263.56 c | 437419 | 800 16000 80000 | 77980 76109 115 | 0.000 % |
263.40/263.69 c | 437580 | 800 16000 80000 | 77980 76270 115 | 0.000 % |
263.60/263.83 c | 437756 | 800 16000 80000 | 77980 76446 115 | 0.000 % |
263.70/263.97 c | 437949 | 800 16000 80000 | 77980 76639 115 | 0.000 % |
263.90/264.13 c | 438162 | 800 16000 80000 | 77980 76852 115 | 0.000 % |
264.00/264.29 c | 438395 | 800 16000 80000 | 77980 77085 115 | 0.000 % |
264.20/264.46 c | 438651 | 800 16000 80000 | 77980 77341 115 | 0.000 % |
264.40/264.64 c | 438932 | 800 16000 80000 | 77980 77622 115 | 0.000 % |
264.60/264.85 c | 439243 | 800 16000 80000 | 77980 77933 115 | 0.000 % |
264.90/265.16 c | 439582 | 800 16000 80000 | 77980 68461 115 | 0.000 % |
265.20/265.46 c | 439955 | 800 16000 80000 | 77980 68834 115 | 0.000 % |
265.50/265.76 c | 440364 | 800 16000 80000 | 68879 60517 115 | 0.000 % |
265.80/266.00 c | 440815 | 800 16000 80000 | 68879 60968 115 | 0.000 % |
266.00/266.29 c | 441308 | 800 16000 80000 | 68879 61461 115 | 0.000 % |
266.30/266.60 c | 441850 | 800 16000 80000 | 68879 62003 116 | 0.000 % |
266.70/266.93 c | 442447 | 800 16000 80000 | 68879 62600 116 | 0.000 % |
267.00/267.30 c | 443102 | 800 16000 80000 | 68879 63255 116 | 0.000 % |
267.40/267.69 c | 443822 | 800 16000 80000 | 68879 63975 116 | 0.000 % |
267.90/268.13 c | 444614 | 800 16000 80000 | 68879 64767 115 | 0.000 % |
268.40/268.65 c | 445485 | 800 16000 80000 | 68879 65638 115 | 0.000 % |
269.00/269.27 c | 446443 | 800 16000 80000 | 68879 66596 115 | 0.000 % |
269.60/269.89 c | 447496 | 800 16000 80000 | 68879 67649 115 | 0.000 % |
270.40/270.62 c | 448654 | 800 16000 80000 | 68879 68807 115 | 0.000 % |
271.19/271.44 c | 449931 | 800 16000 80000 | 68879 63169 115 | 0.000 % |
272.09/272.30 c | 451331 | 800 16000 80000 | 2147483647 64569 115 | 0.000 % |
272.89/273.15 c | 452871 | 800 16000 80000 | 2147483647 66109 115 | 0.000 % |
273.89/274.14 c | 454566 | 800 16000 80000 | 2147483647 67804 115 | 0.000 % |
275.09/275.31 c | 456429 | 800 16000 80000 | 2147483647 69667 115 | 0.000 % |
276.39/276.62 c | 458478 | 800 16000 80000 | 2147483647 71716 115 | 0.000 % |
277.79/278.04 c | 460731 | 800 16000 80000 | 2147483647 73969 115 | 0.000 % |
279.39/279.69 c | 463209 | 800 16000 80000 | 2147483647 76447 115 | 0.000 % |
281.19/281.47 c | 465935 | 800 16000 80000 | 2147483647 79173 115 | 0.000 % |
283.29/283.54 c | 468932 | 800 16000 80000 | 2147483647 82170 115 | 0.000 % |
285.59/285.88 c | 472231 | 800 16000 80000 | 83238 74534 115 | 0.000 % |
288.09/288.34 c | 475857 | 800 16000 80000 | 83238 78160 116 | 0.000 % |
290.89/291.11 c | 479845 | 800 16000 80000 | 83238 82148 116 | 0.000 % |
293.98/294.20 c | 484230 | 800 16000 80000 | 82306 75517 117 | 0.000 % |
293.98/294.27 c | 484330 | 800 16000 80000 | 82306 75617 117 | 0.000 % |
294.08/294.35 c | 484440 | 800 16000 80000 | 82306 75727 117 | 0.000 % |
294.18/294.45 c | 484561 | 800 16000 80000 | 82306 75848 116 | 0.000 % |
294.28/294.56 c | 484694 | 800 16000 80000 | 82306 75981 116 | 0.000 % |
294.38/294.68 c | 484841 | 800 16000 80000 | 82306 76128 116 | 0.000 % |
294.49/294.78 c | 485004 | 800 16000 80000 | 82306 76291 116 | 0.000 % |
294.68/294.93 c | 485180 | 800 16000 80000 | 82306 76467 116 | 0.000 % |
294.78/295.08 c | 485374 | 800 16000 80000 | 82306 76661 116 | 0.000 % |
294.98/295.23 c | 485586 | 800 16000 80000 | 82306 76873 116 | 0.000 % |
295.18/295.42 c | 485820 | 800 16000 80000 | 82306 77107 116 | 0.000 % |
295.38/295.62 c | 486076 | 800 16000 80000 | 82306 77363 116 | 0.000 % |
295.59/295.83 c | 486359 | 800 16000 80000 | 82306 77646 116 | 0.000 % |
295.78/296.05 c | 486673 | 800 16000 80000 | 82306 77960 116 | 0.000 % |
296.08/296.30 c | 487012 | 800 16000 80000 | 82306 78299 116 | 0.000 % |
296.28/296.59 c | 487386 | 800 16000 80000 | 82306 78673 116 | 0.000 % |
296.58/296.89 c | 487795 | 800 16000 80000 | 82306 79082 116 | 0.000 % |
296.98/297.20 c | 488244 | 800 16000 80000 | 82306 79531 116 | 0.000 % |
297.28/297.59 c | 488739 | 800 16000 80000 | 82306 80026 116 | 0.000 % |
297.68/297.97 c | 489283 | 800 16000 80000 | 82306 80570 116 | 0.000 % |
298.08/298.39 c | 489879 | 800 16000 80000 | 82306 81166 116 | 0.000 % |
298.58/298.87 c | 490534 | 800 16000 80000 | 81287 69841 115 | 0.000 % |
299.08/299.32 c | 491255 | 800 16000 80000 | 81287 70562 115 | 0.000 % |
299.48/299.79 c | 492047 | 800 16000 80000 | 81287 71354 115 | 0.000 % |
300.08/300.36 c | 492919 | 800 16000 80000 | 81287 72226 115 | 0.000 % |
300.68/300.93 c | 493878 | 800 16000 80000 | 81287 73185 115 | 0.000 % |
301.28/301.59 c | 494931 | 800 16000 80000 | 81287 74238 115 | 0.000 % |
302.08/302.37 c | 496089 | 800 16000 80000 | 81287 75396 115 | 0.000 % |
302.98/303.24 c | 497362 | 800 16000 80000 | 81287 76669 115 | 0.000 % |
303.98/304.20 c | 498764 | 800 16000 80000 | 81287 78071 115 | 0.000 % |
305.09/305.31 c | 500304 | 800 16000 80000 | 79309 68335 114 | 0.000 % |
306.09/306.37 c | 501998 | 800 16000 80000 | 79309 70029 114 | 0.000 % |
307.29/307.51 c | 503861 | 800 16000 80000 | 79309 71892 114 | 0.000 % |
308.49/308.79 c | 505910 | 800 16000 80000 | 79309 73941 115 | 0.000 % |
310.09/310.31 c | 508164 | 800 16000 80000 | 79309 76195 115 | 0.000 % |
311.78/312.00 c | 510643 | 800 16000 80000 | 78031 68404 115 | 0.000 % |
313.38/313.69 c | 513371 | 800 16000 80000 | 78031 71132 115 | 0.000 % |
315.28/315.58 c | 516368 | 800 16000 80000 | 78031 74129 115 | 0.000 % |
317.59/317.84 c | 519665 | 800 16000 80000 | 78031 77426 115 | 0.000 % |
319.88/320.14 c | 523290 | 800 16000 80000 | 77764 71375 116 | 0.000 % |
322.28/322.54 c | 527277 | 800 16000 80000 | 77764 75362 115 | 0.000 % |
325.08/325.33 c | 531662 | 800 16000 80000 | 69062 62840 116 | 0.000 % |
327.88/328.16 c | 536486 | 800 16000 80000 | 69062 67664 116 | 0.000 % |
327.98/328.23 c | 536586 | 800 16000 80000 | 69062 67764 116 | 0.000 % |
328.08/328.31 c | 536699 | 800 16000 80000 | 69062 67877 116 | 0.000 % |
328.18/328.41 c | 536820 | 800 16000 80000 | 69062 67998 116 | 0.000 % |
328.18/328.49 c | 536955 | 800 16000 80000 | 69062 68133 116 | 0.000 % |
328.28/328.59 c | 537101 | 800 16000 80000 | 69062 68279 116 | 0.000 % |
328.48/328.70 c | 537262 | 800 16000 80000 | 69062 68440 116 | 0.000 % |
328.58/328.81 c | 537438 | 800 16000 80000 | 69062 68616 116 | 0.000 % |
328.68/328.94 c | 537631 | 800 16000 80000 | 69062 68809 116 | 0.000 % |
328.78/329.08 c | 537846 | 800 16000 80000 | 69062 69024 115 | 0.000 % |
328.98/329.22 c | 538080 | 800 16000 80000 | 69062 69258 115 | 0.000 % |
329.18/329.44 c | 538336 | 800 16000 80000 | 69062 62589 115 | 0.000 % |
329.38/329.61 c | 538618 | 800 16000 80000 | 69062 62871 115 | 0.000 % |
329.58/329.80 c | 538929 | 800 16000 80000 | 69062 63182 115 | 0.000 % |
329.68/329.99 c | 539269 | 800 16000 80000 | 69062 63522 115 | 0.000 % |
329.98/330.20 c | 539642 | 800 16000 80000 | 69062 63895 115 | 0.000 % |
330.18/330.45 c | 540051 | 800 16000 80000 | 2147483647 64304 115 | 0.000 % |
330.48/330.73 c | 540501 | 800 16000 80000 | 2147483647 64754 115 | 0.000 % |
330.78/331.06 c | 540994 | 800 16000 80000 | 2147483647 65247 115 | 0.000 % |
331.18/331.41 c | 541536 | 800 16000 80000 | 2147483647 65789 115 | 0.000 % |
331.48/331.79 c | 542135 | 800 16000 80000 | 2147483647 66388 115 | 0.000 % |
331.88/332.17 c | 542790 | 800 16000 80000 | 2147483647 67043 115 | 0.000 % |
332.27/332.59 c | 543510 | 800 16000 80000 | 2147483647 67763 115 | 0.000 % |
332.77/333.05 c | 544307 | 800 16000 80000 | 2147483647 68560 115 | 0.000 % |
333.27/333.53 c | 545179 | 800 16000 80000 | 2147483647 69432 115 | 0.000 % |
333.87/334.11 c | 546137 | 800 16000 80000 | 2147483647 70390 115 | 0.000 % |
334.47/334.78 c | 547190 | 800 16000 80000 | 2147483647 71443 114 | 0.000 % |
335.18/335.45 c | 548349 | 800 16000 80000 | 2147483647 72602 114 | 0.000 % |
335.97/336.24 c | 549623 | 800 16000 80000 | 2147483647 73876 114 | 0.000 % |
336.77/337.09 c | 551023 | 800 16000 80000 | 2147483647 75276 114 | 0.000 % |
337.87/338.17 c | 552563 | 800 16000 80000 | 2147483647 76816 115 | 0.000 % |
339.07/339.32 c | 554258 | 800 16000 80000 | 2147483647 78511 115 | 0.000 % |
340.27/340.54 c | 556121 | 800 16000 80000 | 2147483647 80374 115 | 0.000 % |
341.67/341.91 c | 558171 | 800 16000 80000 | 2147483647 82424 115 | 0.000 % |
343.27/343.53 c | 560424 | 800 16000 80000 | 84253 72715 115 | 0.000 % |
344.97/345.22 c | 562903 | 800 16000 80000 | 84253 75194 115 | 0.000 % |
346.77/347.08 c | 565629 | 800 16000 80000 | 84253 77920 115 | 0.000 % |
348.87/349.15 c | 568628 | 800 16000 80000 | 84253 80919 115 | 0.000 % |
351.17/351.44 c | 571924 | 800 16000 80000 | 82293 72829 116 | 0.000 % |
353.57/353.89 c | 575549 | 800 16000 80000 | 82293 76454 116 | 0.000 % |
356.26/356.58 c | 579537 | 800 16000 80000 | 82293 80442 116 | 0.000 % |
359.06/359.35 c | 583923 | 800 16000 80000 | 80906 73061 116 | 0.000 % |
361.96/362.28 c | 588746 | 800 16000 80000 | 80906 77884 116 | 0.000 % |
365.46/365.71 c | 594051 | 800 16000 80000 | 79139 71998 116 | 0.000 % |
365.56/365.81 c | 594151 | 800 16000 80000 | 79139 72098 116 | 0.000 % |
365.56/365.89 c | 594261 | 800 16000 80000 | 79139 72208 116 | 0.000 % |
365.66/365.99 c | 594383 | 800 16000 80000 | 79139 72330 116 | 0.000 % |
365.76/366.08 c | 594516 | 800 16000 80000 | 79139 72463 116 | 0.000 % |
365.86/366.20 c | 594662 | 800 16000 80000 | 79139 72609 116 | 0.000 % |
365.96/366.29 c | 594822 | 800 16000 80000 | 79139 72769 116 | 0.000 % |
366.16/366.41 c | 594998 | 800 16000 80000 | 79139 72945 116 | 0.000 % |
366.26/366.55 c | 595191 | 800 16000 80000 | 79139 73138 116 | 0.000 % |
366.46/366.70 c | 595406 | 800 16000 80000 | 79139 73353 116 | 0.000 % |
366.56/366.88 c | 595639 | 800 16000 80000 | 79139 73586 116 | 0.000 % |
366.76/367.04 c | 595896 | 800 16000 80000 | 79139 73843 116 | 0.000 % |
366.96/367.20 c | 596177 | 800 16000 80000 | 79139 74124 116 | 0.000 % |
367.16/367.42 c | 596487 | 800 16000 80000 | 79139 74434 116 | 0.000 % |
367.36/367.63 c | 596826 | 800 16000 80000 | 79139 74773 116 | 0.000 % |
367.56/367.87 c | 597201 | 800 16000 80000 | 79139 75148 116 | 0.000 % |
367.86/368.14 c | 597614 | 800 16000 80000 | 79139 75561 116 | 0.000 % |
368.16/368.41 c | 598063 | 800 16000 80000 | 79139 76010 116 | 0.000 % |
368.46/368.78 c | 598556 | 800 16000 80000 | 79139 76503 116 | 0.000 % |
368.96/369.21 c | 599098 | 800 16000 80000 | 79139 77045 116 | 0.000 % |
369.36/369.64 c | 599695 | 800 16000 80000 | 79139 77642 116 | 0.000 % |
369.86/370.13 c | 600351 | 800 16000 80000 | 77951 67705 115 | 0.000 % |
370.25/370.57 c | 601073 | 800 16000 80000 | 77951 68427 115 | 0.000 % |
370.75/371.09 c | 601865 | 800 16000 80000 | 77951 69219 115 | 0.000 % |
371.35/371.66 c | 602739 | 800 16000 80000 | 77951 70093 116 | 0.000 % |
371.95/372.29 c | 603697 | 800 16000 80000 | 77951 71051 116 | 0.000 % |
372.66/372.96 c | 604750 | 800 16000 80000 | 77951 72104 116 | 0.000 % |
373.45/373.76 c | 605911 | 800 16000 80000 | 77951 73265 116 | 0.000 % |
374.25/374.58 c | 607186 | 800 16000 80000 | 77951 74540 116 | 0.000 % |
375.25/375.51 c | 608586 | 800 16000 80000 | 77951 75940 116 | 0.000 % |
376.35/376.63 c | 610127 | 800 16000 80000 | 77354 77481 116 | 0.000 % |
377.45/377.74 c | 611823 | 800 16000 80000 | 77354 69291 116 | 0.000 % |
378.55/378.85 c | 613688 | 800 16000 80000 | 77354 71156 116 | 0.000 % |
379.85/380.16 c | 615737 | 800 16000 80000 | 77354 73205 116 | 0.000 % |
381.46/381.71 c | 617991 | 800 16000 80000 | 77354 75459 116 | 0.000 % |
383.25/383.51 c | 620470 | 800 16000 80000 | 77468 68250 117 | 0.000 % |
384.85/385.18 c | 623195 | 800 16000 80000 | 77468 70975 116 | 0.000 % |
386.75/387.07 c | 626193 | 800 16000 80000 | 77468 73973 116 | 0.000 % |
388.95/389.21 c | 629489 | 800 16000 80000 | 77468 77269 116 | 0.000 % |
391.15/391.48 c | 633114 | 800 16000 80000 | 68292 63104 116 | 0.000 % |
393.75/394.01 c | 637103 | 800 16000 80000 | 68292 67093 116 | 0.000 % |
396.55/396.85 c | 641488 | 800 16000 80000 | 2147483647 64622 117 | 0.000 % |
399.65/399.90 c | 646312 | 800 16000 80000 | 2147483647 69446 117 | 0.000 % |
403.04/403.37 c | 651618 | 800 16000 80000 | 2147483647 74752 117 | 0.000 % |
407.24/407.54 c | 657453 | 800 16000 80000 | 2147483647 80587 117 | 0.000 % |
407.34/407.64 c | 657553 | 800 16000 80000 | 2147483647 80687 117 | 0.000 % |
407.44/407.76 c | 657665 | 800 16000 80000 | 2147483647 80799 117 | 0.000 % |
407.54/407.86 c | 657786 | 800 16000 80000 | 2147483647 80920 117 | 0.000 % |
407.64/407.97 c | 657919 | 800 16000 80000 | 2147483647 81053 117 | 0.000 % |
407.75/408.09 c | 658065 | 800 16000 80000 | 2147483647 81199 117 | 0.000 % |
407.94/408.23 c | 658226 | 800 16000 80000 | 2147483647 81360 117 | 0.000 % |
408.04/408.37 c | 658404 | 800 16000 80000 | 2147483647 81538 117 | 0.000 % |
408.24/408.52 c | 658597 | 800 16000 80000 | 2147483647 81731 117 | 0.000 % |
408.44/408.72 c | 658810 | 800 16000 80000 | 2147483647 81944 117 | 0.000 % |
408.64/408.91 c | 659046 | 800 16000 80000 | 2147483647 82180 117 | 0.000 % |
408.84/409.11 c | 659302 | 800 16000 80000 | 2147483647 82436 117 | 0.000 % |
409.04/409.34 c | 659583 | 800 16000 80000 | 2147483647 82717 117 | 0.000 % |
409.34/409.60 c | 659893 | 800 16000 80000 | 2147483647 83027 117 | 0.000 % |
409.54/409.89 c | 660232 | 800 16000 80000 | 83135 83366 117 | 0.000 % |
409.84/410.19 c | 660604 | 800 16000 80000 | 83135 71199 116 | 0.000 % |
410.14/410.47 c | 661014 | 800 16000 80000 | 83135 71609 116 | 0.000 % |
410.54/410.80 c | 661464 | 800 16000 80000 | 83135 72059 116 | 0.000 % |
410.84/411.13 c | 661957 | 800 16000 80000 | 83135 72552 116 | 0.000 % |
411.14/411.48 c | 662500 | 800 16000 80000 | 83135 73095 116 | 0.000 % |
411.64/411.91 c | 663096 | 800 16000 80000 | 83135 73691 116 | 0.000 % |
412.04/412.35 c | 663751 | 800 16000 80000 | 83135 74346 116 | 0.000 % |
412.54/412.83 c | 664471 | 800 16000 80000 | 83135 75066 116 | 0.000 % |
413.04/413.35 c | 665265 | 800 16000 80000 | 83135 75860 116 | 0.000 % |
413.64/413.94 c | 666137 | 800 16000 80000 | 83135 76732 116 | 0.000 % |
414.24/414.55 c | 667095 | 800 16000 80000 | 83135 77690 116 | 0.000 % |
415.03/415.33 c | 668149 | 800 16000 80000 | 83135 78744 115 | 0.000 % |
415.83/416.14 c | 669308 | 800 16000 80000 | 83135 79903 116 | 0.000 % |
416.73/417.09 c | 670584 | 800 16000 80000 | 80595 69337 116 | 0.000 % |
417.64/417.98 c | 671984 | 800 16000 80000 | 80595 70737 116 | 0.000 % |
418.63/418.93 c | 673524 | 800 16000 80000 | 80595 72277 116 | 0.000 % |
419.73/420.02 c | 675218 | 800 16000 80000 | 80595 73971 116 | 0.000 % |
420.94/421.22 c | 677081 | 800 16000 80000 | 80595 75834 116 | 0.000 % |
422.23/422.57 c | 679130 | 800 16000 80000 | 80595 77883 116 | 0.000 % |
423.73/424.07 c | 681384 | 800 16000 80000 | 78754 69189 116 | 0.000 % |
425.23/425.56 c | 683864 | 800 16000 80000 | 78754 71669 117 | 0.000 % |
426.83/427.15 c | 686590 | 800 16000 80000 | 78754 74395 117 | 0.000 % |
428.83/429.14 c | 689589 | 800 16000 80000 | 78754 77394 117 | 0.000 % |
430.83/431.19 c | 692888 | 800 16000 80000 | 77805 70435 117 | 0.000 % |
433.13/433.41 c | 696513 | 800 16000 80000 | 77805 74060 117 | 0.000 % |
435.83/436.11 c | 700501 | 800 16000 80000 | 77549 68212 117 | 0.000 % |
438.63/438.96 c | 704886 | 800 16000 80000 | 77549 72597 117 | 0.000 % |
441.94/442.25 c | 709712 | 800 16000 80000 | 77549 77423 117 | 0.000 % |
445.53/445.87 c | 715018 | 800 16000 80000 | 77711 72404 117 | 0.000 % |
449.54/449.82 c | 720855 | 800 16000 80000 | 77387 68313 117 | 0.000 % |
453.53/453.84 c | 727274 | 800 16000 80000 | 77387 74732 117 | 0.000 % |
453.63/453.90 c | 727374 | 800 16000 80000 | 77387 74832 117 | 0.000 % |
453.63/453.98 c | 727485 | 800 16000 80000 | 77387 74943 117 | 0.000 % |
453.73/454.07 c | 727607 | 800 16000 80000 | 77387 75065 117 | 0.000 % |
453.83/454.16 c | 727740 | 800 16000 80000 | 77387 75198 117 | 0.000 % |
453.93/454.28 c | 727886 | 800 16000 80000 | 77387 75344 117 | 0.000 % |
454.13/454.41 c | 728046 | 800 16000 80000 | 77387 75504 117 | 0.000 % |
454.23/454.57 c | 728222 | 800 16000 80000 | 77387 75680 117 | 0.000 % |
454.43/454.72 c | 728415 | 800 16000 80000 | 77387 75873 117 | 0.000 % |
454.53/454.89 c | 728627 | 800 16000 80000 | 77387 76085 117 | 0.000 % |
454.73/455.06 c | 728861 | 800 16000 80000 | 77387 76319 117 | 0.000 % |
454.93/455.25 c | 729117 | 800 16000 80000 | 77387 76575 117 | 0.000 % |
455.13/455.45 c | 729399 | 800 16000 80000 | 77387 76857 117 | 0.000 % |
455.33/455.67 c | 729710 | 800 16000 80000 | 77387 77168 117 | 0.000 % |
455.53/455.90 c | 730050 | 800 16000 80000 | 77458 77508 117 | 0.000 % |
455.93/456.24 c | 730422 | 800 16000 80000 | 77458 68837 117 | 0.000 % |
456.23/456.54 c | 730832 | 800 16000 80000 | 77458 69247 117 | 0.000 % |
456.53/456.87 c | 731283 | 800 16000 80000 | 77458 69698 117 | 0.000 % |
456.83/457.19 c | 731776 | 800 16000 80000 | 77458 70191 117 | 0.000 % |
457.23/457.56 c | 732318 | 800 16000 80000 | 77458 70733 117 | 0.000 % |
457.63/457.93 c | 732914 | 800 16000 80000 | 77458 71329 117 | 0.000 % |
458.03/458.38 c | 733569 | 800 16000 80000 | 77458 71984 117 | 0.000 % |
458.63/458.92 c | 734289 | 800 16000 80000 | 77458 72704 117 | 0.000 % |
459.13/459.49 c | 735081 | 800 16000 80000 | 77458 73496 117 | 0.000 % |
459.83/460.10 c | 735953 | 800 16000 80000 | 77458 74368 117 | 0.000 % |
460.43/460.74 c | 736912 | 800 16000 80000 | 77458 75327 117 | 0.000 % |
461.12/461.45 c | 737967 | 800 16000 80000 | 77458 76382 117 | 0.000 % |
461.82/462.19 c | 739127 | 800 16000 80000 | 77458 77542 117 | 0.000 % |
462.73/463.04 c | 740401 | 800 16000 80000 | 68299 60027 116 | 0.000 % |
463.53/463.82 c | 741801 | 800 16000 80000 | 68299 61427 116 | 0.000 % |
464.32/464.60 c | 743342 | 800 16000 80000 | 68299 62968 117 | 0.000 % |
465.22/465.56 c | 745037 | 800 16000 80000 | 68299 64663 116 | 0.000 % |
466.32/466.67 c | 746901 | 800 16000 80000 | 68299 66527 116 | 0.000 % |
467.72/468.02 c | 748950 | 800 16000 80000 | 68299 61720 117 | 0.000 % |
468.92/469.29 c | 751203 | 800 16000 80000 | 2147483647 63973 117 | 0.000 % |
470.52/470.81 c | 753682 | 800 16000 80000 | 2147483647 66452 117 | 0.000 % |
472.12/472.46 c | 756407 | 800 16000 80000 | 2147483647 69177 117 | 0.000 % |
474.02/474.37 c | 759404 | 800 16000 80000 | 2147483647 72174 117 | 0.000 % |
476.22/476.58 c | 762700 | 800 16000 80000 | 2147483647 75470 117 | 0.000 % |
478.72/479.09 c | 766325 | 800 16000 80000 | 2147483647 79095 117 | 0.000 % |
481.71/482.05 c | 770313 | 800 16000 80000 | 82770 71419 117 | 0.000 % |
484.61/484.99 c | 774699 | 800 16000 80000 | 82770 75805 117 | 0.000 % |
488.11/488.44 c | 779523 | 800 16000 80000 | 82770 80629 117 | 0.000 % |
491.61/491.91 c | 784829 | 800 16000 80000 | 81106 73931 117 | 0.000 % |
495.41/495.77 c | 790664 | 800 16000 80000 | 79103 68815 118 | 0.000 % |
499.51/499.81 c | 797085 | 800 16000 80000 | 79103 75236 118 | 0.000 % |
504.01/504.37 c | 804144 | 800 16000 80000 | 78151 71402 118 | 0.000 % |
504.11/504.45 c | 804245 | 800 16000 80000 | 78151 71503 118 | 0.000 % |
504.21/504.52 c | 804358 | 800 16000 80000 | 78151 71616 118 | 0.000 % |
504.31/504.60 c | 804479 | 800 16000 80000 | 78151 71737 118 | 0.000 % |
504.41/504.70 c | 804612 | 800 16000 80000 | 78151 71870 118 | 0.000 % |
504.51/504.81 c | 804759 | 800 16000 80000 | 78151 72017 118 | 0.000 % |
504.61/504.93 c | 804920 | 800 16000 80000 | 78151 72178 118 | 0.000 % |
504.71/505.07 c | 805096 | 800 16000 80000 | 78151 72354 118 | 0.000 % |
504.91/505.22 c | 805290 | 800 16000 80000 | 78151 72548 118 | 0.000 % |
505.01/505.36 c | 805503 | 800 16000 80000 | 78151 72761 118 | 0.000 % |
505.21/505.55 c | 805736 | 800 16000 80000 | 78151 72994 118 | 0.000 % |
505.41/505.73 c | 805992 | 800 16000 80000 | 78151 73250 118 | 0.000 % |
505.61/505.94 c | 806274 | 800 16000 80000 | 78151 73532 118 | 0.000 % |
505.81/506.15 c | 806584 | 800 16000 80000 | 78151 73842 118 | 0.000 % |
506.11/506.41 c | 806923 | 800 16000 80000 | 78151 74181 118 | 0.000 % |
506.31/506.64 c | 807296 | 800 16000 80000 | 78151 74554 118 | 0.000 % |
506.61/506.92 c | 807707 | 800 16000 80000 | 78151 74965 118 | 0.000 % |
506.91/507.26 c | 808157 | 800 16000 80000 | 78151 75415 118 | 0.000 % |
507.20/507.57 c | 808651 | 800 16000 80000 | 78151 75909 118 | 0.000 % |
507.60/507.93 c | 809193 | 800 16000 80000 | 78151 76451 118 | 0.000 % |
508.00/508.36 c | 809789 | 800 16000 80000 | 78151 77047 118 | 0.000 % |
508.50/508.84 c | 810446 | 800 16000 80000 | 77258 66603 118 | 0.000 % |
509.01/509.32 c | 811167 | 800 16000 80000 | 77258 67324 118 | 0.000 % |
509.50/509.81 c | 811961 | 800 16000 80000 | 77258 68118 118 | 0.000 % |
510.01/510.33 c | 812832 | 800 16000 80000 | 77258 68989 118 | 0.000 % |
510.50/510.86 c | 813790 | 800 16000 80000 | 77258 69947 118 | 0.000 % |
511.11/511.49 c | 814845 | 800 16000 80000 | 77258 71002 118 | 0.000 % |
511.90/512.21 c | 816003 | 800 16000 80000 | 77258 72160 118 | 0.000 % |
512.70/513.09 c | 817276 | 800 16000 80000 | 77258 73433 118 | 0.000 % |
513.70/514.01 c | 818676 | 800 16000 80000 | 77258 74833 118 | 0.000 % |
514.70/515.07 c | 820216 | 800 16000 80000 | 76157 76373 118 | 0.000 % |
515.70/516.09 c | 821910 | 800 16000 80000 | 76157 68172 118 | 0.000 % |
516.90/517.28 c | 823773 | 800 16000 80000 | 76157 70035 118 | 0.000 % |
518.20/518.58 c | 825823 | 800 16000 80000 | 76157 72085 118 | 0.000 % |
519.70/520.02 c | 828077 | 800 16000 80000 | 76157 74339 118 | 0.000 % |
521.30/521.61 c | 830557 | 800 16000 80000 | 76262 67723 118 | 0.000 % |
523.00/523.30 c | 833282 | 800 16000 80000 | 76262 70448 118 | 0.000 % |
524.80/525.17 c | 836280 | 800 16000 80000 | 76262 73446 118 | 0.000 % |
526.90/527.28 c | 839578 | 800 16000 80000 | 76262 67748 118 | 0.000 % |
529.09/529.42 c | 843203 | 800 16000 80000 | 68170 63274 117 | 0.000 % |
531.39/531.76 c | 847191 | 800 16000 80000 | 68170 67262 117 | 0.000 % |
534.20/534.57 c | 851576 | 800 16000 80000 | 2147483647 64805 118 | 0.000 % |
537.09/537.40 c | 856400 | 800 16000 80000 | 2147483647 69629 118 | 0.000 % |
540.49/540.88 c | 861705 | 800 16000 80000 | 2147483647 74934 118 | 0.000 % |
544.79/545.11 c | 867540 | 800 16000 80000 | 2147483647 80769 118 | 0.000 % |
549.09/549.44 c | 873958 | 800 16000 80000 | 83230 75374 117 | 0.000 % |
553.99/554.36 c | 881018 | 800 16000 80000 | 81416 70400 118 | 0.000 % |
558.98/559.38 c | 888783 | 800 16000 80000 | 81416 78165 118 | 0.000 % |
559.08/559.45 c | 888884 | 800 16000 80000 | 81416 78266 118 | 0.000 % |
559.18/559.55 c | 888996 | 800 16000 80000 | 81416 78378 118 | 0.000 % |
559.28/559.66 c | 889117 | 800 16000 80000 | 81416 78499 118 | 0.000 % |
559.38/559.78 c | 889250 | 800 16000 80000 | 81416 78632 118 | 0.000 % |
559.49/559.89 c | 889396 | 800 16000 80000 | 81416 78778 118 | 0.000 % |
559.68/560.03 c | 889556 | 800 16000 80000 | 81416 78938 118 | 0.000 % |
559.78/560.19 c | 889737 | 800 16000 80000 | 81416 79119 118 | 0.000 % |
559.98/560.34 c | 889933 | 800 16000 80000 | 81416 79315 118 | 0.000 % |
560.18/560.52 c | 890145 | 800 16000 80000 | 79382 79527 118 | 0.000 % |
560.38/560.71 c | 890379 | 800 16000 80000 | 79382 67535 118 | 0.000 % |
560.48/560.89 c | 890638 | 800 16000 80000 | 79382 67794 118 | 0.000 % |
560.68/561.07 c | 890921 | 800 16000 80000 | 79382 68077 118 | 0.000 % |
560.88/561.25 c | 891230 | 800 16000 80000 | 79382 68386 118 | 0.000 % |
561.08/561.47 c | 891569 | 800 16000 80000 | 79382 68725 118 | 0.000 % |
561.38/561.74 c | 891943 | 800 16000 80000 | 79382 69099 118 | 0.000 % |
561.68/562.03 c | 892352 | 800 16000 80000 | 79382 69508 118 | 0.000 % |
561.98/562.34 c | 892802 | 800 16000 80000 | 79382 69958 118 | 0.000 % |
562.28/562.68 c | 893297 | 800 16000 80000 | 79382 70453 118 | 0.000 % |
562.68/563.03 c | 893839 | 800 16000 80000 | 79382 70995 118 | 0.000 % |
563.08/563.41 c | 894435 | 800 16000 80000 | 79382 71591 118 | 0.000 % |
563.48/563.84 c | 895090 | 800 16000 80000 | 79382 72246 118 | 0.000 % |
563.98/564.36 c | 895810 | 800 16000 80000 | 79382 72966 118 | 0.000 % |
564.58/564.91 c | 896602 | 800 16000 80000 | 79382 73758 117 | 0.000 % |
565.08/565.48 c | 897475 | 800 16000 80000 | 79382 74631 117 | 0.000 % |
565.68/566.09 c | 898435 | 800 16000 80000 | 79382 75591 117 | 0.000 % |
566.39/566.77 c | 899488 | 800 16000 80000 | 79382 76644 117 | 0.000 % |
567.19/567.56 c | 900646 | 800 16000 80000 | 77157 67456 117 | 0.000 % |
567.88/568.26 c | 901919 | 800 16000 80000 | 77157 68729 117 | 0.000 % |
568.78/569.13 c | 903323 | 800 16000 80000 | 77157 70133 117 | 0.000 % |
569.68/570.06 c | 904863 | 800 16000 80000 | 77157 71673 117 | 0.000 % |
570.78/571.19 c | 906558 | 800 16000 80000 | 77157 73368 117 | 0.000 % |
572.18/572.50 c | 908422 | 800 16000 80000 | 77157 75232 117 | 0.000 % |
573.58/573.95 c | 910472 | 800 16000 80000 | 76810 67789 117 | 0.000 % |
574.89/575.27 c | 912727 | 800 16000 80000 | 76810 70044 117 | 0.000 % |
576.48/576.89 c | 915206 | 800 16000 80000 | 76810 72523 117 | 0.000 % |
578.48/578.85 c | 917934 | 800 16000 80000 | 76810 75251 117 | 0.000 % |
580.58/580.96 c | 920931 | 800 16000 80000 | 68375 61531 116 | 0.000 % |
582.48/582.88 c | 924228 | 800 16000 80000 | 68375 64828 116 | 0.000 % |
584.88/585.25 c | 927853 | 800 16000 80000 | 68375 68453 116 | 0.000 % |
587.18/587.59 c | 931842 | 800 16000 80000 | 2147483647 65597 116 | 0.000 % |
589.98/590.38 c | 936230 | 800 16000 80000 | 2147483647 69985 116 | 0.000 % |
593.17/593.57 c | 941053 | 800 16000 80000 | 2147483647 74808 116 | 0.000 % |
596.67/597.03 c | 946358 | 800 16000 80000 | 2147483647 80113 116 | 0.000 % |
600.57/600.99 c | 952194 | 800 16000 80000 | 83755 73404 116 | 0.000 % |
604.67/605.09 c | 958614 | 800 16000 80000 | 83755 79824 117 | 0.000 % |
609.37/609.71 c | 965673 | 800 16000 80000 | 81211 75316 117 | 0.000 % |
615.27/615.69 c | 973437 | 800 16000 80000 | 79645 71683 119 | 0.000 % |
621.36/621.76 c | 981980 | 800 16000 80000 | 78249 68650 119 | 0.000 % |
621.46/621.83 c | 982081 | 800 16000 80000 | 78249 68751 119 | 0.000 % |
621.56/621.92 c | 982193 | 800 16000 80000 | 78249 68863 119 | 0.000 % |
621.56/622.00 c | 982314 | 800 16000 80000 | 78249 68984 119 | 0.000 % |
621.66/622.08 c | 982447 | 800 16000 80000 | 78249 69117 119 | 0.000 % |
621.76/622.19 c | 982593 | 800 16000 80000 | 78249 69263 119 | 0.000 % |
621.96/622.30 c | 982753 | 800 16000 80000 | 78249 69423 119 | 0.000 % |
622.06/622.42 c | 982929 | 800 16000 80000 | 78249 69599 119 | 0.000 % |
622.17/622.53 c | 983122 | 800 16000 80000 | 78249 69792 119 | 0.000 % |
622.27/622.68 c | 983335 | 800 16000 80000 | 78249 70005 119 | 0.000 % |
622.46/622.85 c | 983569 | 800 16000 80000 | 78249 70239 119 | 0.000 % |
622.66/623.04 c | 983826 | 800 16000 80000 | 78249 70496 118 | 0.000 % |
622.86/623.22 c | 984108 | 800 16000 80000 | 78249 70778 118 | 0.000 % |
623.06/623.40 c | 984417 | 800 16000 80000 | 78249 71087 118 | 0.000 % |
623.26/623.61 c | 984756 | 800 16000 80000 | 78249 71426 118 | 0.000 % |
623.46/623.84 c | 985129 | 800 16000 80000 | 78249 71799 118 | 0.000 % |
623.66/624.09 c | 985539 | 800 16000 80000 | 78249 72209 118 | 0.000 % |
624.06/624.44 c | 985988 | 800 16000 80000 | 78249 72658 118 | 0.000 % |
624.36/624.79 c | 986484 | 800 16000 80000 | 78249 73154 118 | 0.000 % |
624.76/625.14 c | 987027 | 800 16000 80000 | 78249 73697 118 | 0.000 % |
625.16/625.56 c | 987623 | 800 16000 80000 | 78249 74293 118 | 0.000 % |
625.56/625.98 c | 988278 | 800 16000 80000 | 78249 74948 118 | 0.000 % |
626.06/626.45 c | 988998 | 800 16000 80000 | 78249 75668 118 | 0.000 % |
626.56/626.99 c | 989791 | 800 16000 80000 | 78249 76461 118 | 0.000 % |
627.26/627.63 c | 990665 | 800 16000 80000 | 76674 66660 118 | 0.000 % |
627.76/628.19 c | 991623 | 800 16000 80000 | 76674 67618 118 | 0.000 % |
628.46/628.80 c | 992678 | 800 16000 80000 | 76674 68673 118 | 0.000 % |
629.16/629.52 c | 993837 | 800 16000 80000 | 76674 69832 118 | 0.000 % |
629.86/630.29 c | 995110 | 800 16000 80000 | 76674 71105 118 | 0.000 % |
630.76/631.13 c | 996510 | 800 16000 80000 | 76674 72505 118 | 0.000 % |
631.85/632.21 c | 998051 | 800 16000 80000 | 76674 74046 118 | 0.000 % |
632.85/633.26 c | 999746 | 800 16000 80000 | 76674 75741 118 | 0.000 % |
634.05/634.44 c | 1001609 | 800 16000 80000 | 75995 68620 117 | 0.000 % |
635.25/635.67 c | 1003658 | 800 16000 80000 | 75995 70669 117 | 0.000 % |
636.65/637.08 c | 1005912 | 800 16000 80000 | 75995 72923 117 | 0.000 % |
638.15/638.53 c | 1008392 | 800 16000 80000 | 75995 75403 117 | 0.000 % |
639.76/640.17 c | 1011118 | 800 16000 80000 | 69001 63118 116 | 0.000 % |
641.55/641.92 c | 1014115 | 800 16000 80000 | 69001 66115 117 | 0.000 % |
643.55/643.92 c | 1017413 | 800 16000 80000 | 69001 62486 116 | 0.000 % |
645.65/646.05 c | 1021039 | 800 16000 80000 | 2147483647 66112 116 | 0.000 % |
648.05/648.47 c | 1025028 | 800 16000 80000 | 2147483647 70101 117 | 0.000 % |
650.75/651.13 c | 1029413 | 800 16000 80000 | 2147483647 74486 117 | 0.000 % |
653.85/654.27 c | 1034236 | 800 16000 80000 | 2147483647 79309 117 | 0.000 % |
657.64/658.00 c | 1039542 | 800 16000 80000 | 2147483647 84615 117 | 0.000 % |
661.44/661.84 c | 1045378 | 800 16000 80000 | 85074 78081 116 | 0.000 % |
665.64/666.09 c | 1051796 | 800 16000 80000 | 82704 72371 116 | 0.000 % |
670.64/671.07 c | 1058855 | 800 16000 80000 | 82704 79430 116 | 0.000 % |
675.83/676.26 c | 1066620 | 800 16000 80000 | 80575 75533 117 | 0.000 % |
681.94/682.35 c | 1075160 | 800 16000 80000 | 78915 73389 118 | 0.000 % |
688.84/689.24 c | 1084554 | 800 16000 80000 | 78229 72283 119 | 0.000 % |
688.94/689.31 c | 1084656 | 800 16000 80000 | 78229 72385 119 | 0.000 % |
688.94/689.39 c | 1084767 | 800 16000 80000 | 78229 72496 119 | 0.000 % |
689.04/689.47 c | 1084889 | 800 16000 80000 | 78229 72618 119 | 0.000 % |
689.14/689.56 c | 1085022 | 800 16000 80000 | 78229 72751 119 | 0.000 % |
689.24/689.67 c | 1085168 | 800 16000 80000 | 78229 72897 119 | 0.000 % |
689.44/689.80 c | 1085328 | 800 16000 80000 | 78229 73057 119 | 0.000 % |
689.54/689.94 c | 1085504 | 800 16000 80000 | 78229 73233 119 | 0.000 % |
689.74/690.11 c | 1085697 | 800 16000 80000 | 78229 73426 118 | 0.000 % |
689.84/690.26 c | 1085910 | 800 16000 80000 | 78229 73639 118 | 0.000 % |
690.04/690.45 c | 1086143 | 800 16000 80000 | 78229 73872 118 | 0.000 % |
690.24/690.63 c | 1086399 | 800 16000 80000 | 78229 74128 118 | 0.000 % |
690.34/690.80 c | 1086680 | 800 16000 80000 | 78229 74409 118 | 0.000 % |
690.64/691.02 c | 1086989 | 800 16000 80000 | 78229 74718 118 | 0.000 % |
690.84/691.26 c | 1087329 | 800 16000 80000 | 78229 75058 118 | 0.000 % |
691.14/691.53 c | 1087702 | 800 16000 80000 | 78229 75431 118 | 0.000 % |
691.44/691.84 c | 1088113 | 800 16000 80000 | 78229 75842 118 | 0.000 % |
691.74/692.17 c | 1088562 | 800 16000 80000 | 78229 76291 118 | 0.000 % |
692.14/692.54 c | 1089055 | 800 16000 80000 | 78229 76784 118 | 0.000 % |
692.54/692.95 c | 1089598 | 800 16000 80000 | 78229 77327 118 | 0.000 % |
693.04/693.41 c | 1090195 | 800 16000 80000 | 77729 77924 118 | 0.000 % |
693.44/693.85 c | 1090851 | 800 16000 80000 | 77729 67580 118 | 0.000 % |
693.94/694.30 c | 1091571 | 800 16000 80000 | 77729 68300 118 | 0.000 % |
694.44/694.82 c | 1092363 | 800 16000 80000 | 77729 69092 118 | 0.000 % |
695.04/695.40 c | 1093236 | 800 16000 80000 | 77729 69965 118 | 0.000 % |
695.64/696.06 c | 1094194 | 800 16000 80000 | 77729 70923 118 | 0.000 % |
696.44/696.82 c | 1095248 | 800 16000 80000 | 77729 71977 117 | 0.000 % |
697.14/697.52 c | 1096406 | 800 16000 80000 | 77729 73135 117 | 0.000 % |
697.93/698.36 c | 1097680 | 800 16000 80000 | 77729 74409 117 | 0.000 % |
698.83/699.24 c | 1099080 | 800 16000 80000 | 77729 75809 117 | 0.000 % |
699.93/700.34 c | 1100621 | 800 16000 80000 | 76730 67280 117 | 0.000 % |
701.03/701.47 c | 1102317 | 800 16000 80000 | 76730 68976 117 | 0.000 % |
702.23/702.60 c | 1104181 | 800 16000 80000 | 76730 70840 117 | 0.000 % |
703.43/703.87 c | 1106230 | 800 16000 80000 | 76730 72889 117 | 0.000 % |
704.83/705.29 c | 1108484 | 800 16000 80000 | 76730 75143 117 | 0.000 % |
706.53/706.93 c | 1110963 | 800 16000 80000 | 76659 68393 116 | 0.000 % |
708.23/708.67 c | 1113688 | 800 16000 80000 | 76659 71118 116 | 0.000 % |
710.23/710.67 c | 1116688 | 800 16000 80000 | 76659 74118 116 | 0.000 % |
712.43/712.82 c | 1119984 | 800 16000 80000 | 76659 68874 115 | 0.000 % |
714.53/715.00 c | 1123611 | 800 16000 80000 | 68890 64945 115 | 0.000 % |
717.13/717.50 c | 1127598 | 800 16000 80000 | 68890 68932 115 | 0.000 % |
719.53/719.97 c | 1131983 | 800 16000 80000 | 2147483647 66424 115 | 0.000 % |
722.33/722.75 c | 1136806 | 800 16000 80000 | 2147483647 71247 115 | 0.000 % |
725.62/726.03 c | 1142111 | 800 16000 80000 | 74443 68756 115 | 0.000 % |
729.42/729.85 c | 1147947 | 800 16000 80000 | 74443 74592 115 | 0.000 % |
733.42/733.85 c | 1154369 | 800 16000 80000 | 68192 65161 116 | 0.000 % |
737.92/738.32 c | 1161430 | 800 16000 80000 | 2147483647 65375 117 | 0.000 % |
743.02/743.44 c | 1169195 | 800 16000 80000 | 2147483647 73140 117 | 0.000 % |
749.11/749.51 c | 1177736 | 800 16000 80000 | 2147483647 81681 117 | 0.000 % |
756.51/756.94 c | 1187131 | 800 16000 80000 | 83945 79027 118 | 0.000 % |
764.41/764.90 c | 1197464 | 800 16000 80000 | 81899 76566 119 | 0.000 % |
764.51/764.98 c | 1197564 | 800 16000 80000 | 81899 76666 119 | 0.000 % |
764.61/765.08 c | 1197674 | 800 16000 80000 | 81899 76776 119 | 0.000 % |
764.71/765.18 c | 1197795 | 800 16000 80000 | 81899 76897 119 | 0.000 % |
764.81/765.28 c | 1197928 | 800 16000 80000 | 81899 77030 119 | 0.000 % |
764.91/765.39 c | 1198076 | 800 16000 80000 | 81899 77178 119 | 0.000 % |
765.11/765.53 c | 1198236 | 800 16000 80000 | 81899 77338 119 | 0.000 % |
765.21/765.69 c | 1198413 | 800 16000 80000 | 81899 77515 119 | 0.000 % |
765.41/765.85 c | 1198606 | 800 16000 80000 | 81899 77708 119 | 0.000 % |
765.61/766.02 c | 1198818 | 800 16000 80000 | 81899 77920 119 | 0.000 % |
765.81/766.20 c | 1199052 | 800 16000 80000 | 81899 78154 119 | 0.000 % |
766.00/766.42 c | 1199309 | 800 16000 80000 | 81899 78411 119 | 0.000 % |
766.21/766.65 c | 1199590 | 800 16000 80000 | 81899 78692 119 | 0.000 % |
766.40/766.89 c | 1199899 | 800 16000 80000 | 81899 79001 119 | 0.000 % |
766.70/767.13 c | 1200238 | 800 16000 80000 | 79102 79340 119 | 0.000 % |
767.00/767.42 c | 1200611 | 800 16000 80000 | 79102 67459 119 | 0.000 % |
767.20/767.66 c | 1201021 | 800 16000 80000 | 79102 67869 119 | 0.000 % |
767.50/767.98 c | 1201470 | 800 16000 80000 | 79102 68318 119 | 0.000 % |
767.80/768.25 c | 1201965 | 800 16000 80000 | 79102 68813 119 | 0.000 % |
768.20/768.61 c | 1202509 | 800 16000 80000 | 79102 69357 119 | 0.000 % |
768.60/769.01 c | 1203105 | 800 16000 80000 | 79102 69953 119 | 0.000 % |
769.00/769.40 c | 1203761 | 800 16000 80000 | 79102 70609 119 | 0.000 % |
769.40/769.86 c | 1204481 | 800 16000 80000 | 79102 71329 119 | 0.000 % |
769.90/770.39 c | 1205275 | 800 16000 80000 | 79102 72123 119 | 0.000 % |
770.50/770.96 c | 1206146 | 800 16000 80000 | 79102 72994 119 | 0.000 % |
771.20/771.60 c | 1207105 | 800 16000 80000 | 79102 73953 118 | 0.000 % |
771.90/772.33 c | 1208162 | 800 16000 80000 | 79102 75010 118 | 0.000 % |
772.70/773.16 c | 1209320 | 800 16000 80000 | 79102 76168 118 | 0.000 % |
773.60/774.09 c | 1210593 | 800 16000 80000 | 76850 67397 118 | 0.000 % |
774.50/774.99 c | 1211998 | 800 16000 80000 | 76850 68802 118 | 0.000 % |
775.50/775.94 c | 1213538 | 800 16000 80000 | 76850 70342 118 | 0.000 % |
776.70/777.11 c | 1215235 | 800 16000 80000 | 76850 72039 118 | 0.000 % |
778.00/778.45 c | 1217099 | 800 16000 80000 | 76850 73903 118 | 0.000 % |
779.30/779.77 c | 1219148 | 800 16000 80000 | 76850 75952 118 | 0.000 % |
780.80/781.25 c | 1221402 | 800 16000 80000 | 76804 67634 117 | 0.000 % |
782.30/782.73 c | 1223880 | 800 16000 80000 | 76804 70112 117 | 0.000 % |
784.10/784.51 c | 1226607 | 800 16000 80000 | 76804 72839 117 | 0.000 % |
786.00/786.48 c | 1229607 | 800 16000 80000 | 76804 75839 117 | 0.000 % |
788.09/788.53 c | 1232903 | 800 16000 80000 | 76232 70183 117 | 0.000 % |
790.40/790.90 c | 1236528 | 800 16000 80000 | 76232 73808 117 | 0.000 % |
792.99/793.46 c | 1240517 | 800 16000 80000 | 68437 61008 117 | 0.000 % |
795.59/796.03 c | 1244902 | 800 16000 80000 | 68437 65393 117 | 0.000 % |
798.39/798.85 c | 1249728 | 800 16000 80000 | 68437 63348 117 | 0.000 % |
801.59/802.02 c | 1255033 | 800 16000 80000 | 2147483647 68653 117 | 0.000 % |
805.19/805.60 c | 1260868 | 800 16000 80000 | 73622 66807 117 | 0.000 % |
809.39/809.87 c | 1267288 | 800 16000 80000 | 73622 73227 117 | 0.000 % |
813.89/814.31 c | 1274350 | 800 16000 80000 | 67558 64655 118 | 0.000 % |
818.48/818.96 c | 1282115 | 800 16000 80000 | 2147483647 65636 118 | 0.000 % |
824.28/824.70 c | 1290657 | 800 16000 80000 | 73521 66147 119 | 0.000 % |
830.88/831.33 c | 1300051 | 800 16000 80000 | 66627 66675 120 | 0.000 % |
836.88/837.35 c | 1310385 | 800 16000 80000 | 61670 55543 120 | 0.000 % |
843.18/843.62 c | 1321751 | 800 16000 80000 | 2147483647 60711 121 | 0.000 % |
843.18/843.68 c | 1321852 | 800 16000 80000 | 2147483647 60812 121 | 0.000 % |
843.28/843.74 c | 1321966 | 800 16000 80000 | 2147483647 60926 121 | 0.000 % |
843.37/843.82 c | 1322087 | 800 16000 80000 | 2147483647 61047 121 | 0.000 % |
843.47/843.92 c | 1322221 | 800 16000 80000 | 2147483647 61181 121 | 0.000 % |
843.47/843.99 c | 1322367 | 800 16000 80000 | 2147483647 61327 121 | 0.000 % |
843.57/844.08 c | 1322527 | 800 16000 80000 | 2147483647 61487 121 | 0.000 % |
843.77/844.21 c | 1322703 | 800 16000 80000 | 2147483647 61663 120 | 0.000 % |
843.87/844.33 c | 1322898 | 800 16000 80000 | 2147483647 61858 120 | 0.000 % |
843.97/844.48 c | 1323110 | 800 16000 80000 | 2147483647 62070 120 | 0.000 % |
844.17/844.61 c | 1323344 | 800 16000 80000 | 2147483647 62304 120 | 0.000 % |
844.28/844.77 c | 1323600 | 800 16000 80000 | 2147483647 62560 120 | 0.000 % |
844.47/844.94 c | 1323881 | 800 16000 80000 | 2147483647 62841 120 | 0.000 % |
844.67/845.13 c | 1324192 | 800 16000 80000 | 2147483647 63152 120 | 0.000 % |
844.87/845.35 c | 1324531 | 800 16000 80000 | 2147483647 63491 120 | 0.000 % |
845.07/845.58 c | 1324903 | 800 16000 80000 | 2147483647 63863 120 | 0.000 % |
845.37/845.82 c | 1325312 | 800 16000 80000 | 2147483647 64272 120 | 0.000 % |
845.57/846.07 c | 1325763 | 800 16000 80000 | 2147483647 64723 120 | 0.000 % |
845.87/846.37 c | 1326256 | 800 16000 80000 | 2147483647 65216 120 | 0.000 % |
846.17/846.69 c | 1326799 | 800 16000 80000 | 2147483647 65759 120 | 0.000 % |
846.57/847.04 c | 1327397 | 800 16000 80000 | 2147483647 66357 120 | 0.000 % |
846.97/847.46 c | 1328053 | 800 16000 80000 | 2147483647 67013 120 | 0.000 % |
847.47/847.94 c | 1328773 | 800 16000 80000 | 2147483647 67733 120 | 0.000 % |
847.97/848.46 c | 1329565 | 800 16000 80000 | 2147483647 68525 120 | 0.000 % |
848.57/849.06 c | 1330439 | 800 16000 80000 | 2147483647 69399 119 | 0.000 % |
849.17/849.67 c | 1331397 | 800 16000 80000 | 2147483647 70357 119 | 0.000 % |
849.87/850.37 c | 1332452 | 800 16000 80000 | 2147483647 71412 119 | 0.000 % |
850.67/851.19 c | 1333610 | 800 16000 80000 | 2147483647 72570 119 | 0.000 % |
851.57/852.03 c | 1334885 | 800 16000 80000 | 2147483647 73845 119 | 0.000 % |
852.47/852.93 c | 1336286 | 800 16000 80000 | 2147483647 75246 119 | 0.000 % |
853.47/853.95 c | 1337826 | 800 16000 80000 | 2147483647 76786 119 | 0.000 % |
854.57/855.07 c | 1339520 | 800 16000 80000 | 2147483647 78480 119 | 0.000 % |
855.96/856.46 c | 1341385 | 800 16000 80000 | 78960 70275 119 | 0.000 % |
857.27/857.77 c | 1343434 | 800 16000 80000 | 78960 72324 118 | 0.000 % |
858.86/859.30 c | 1345687 | 800 16000 80000 | 78960 74577 118 | 0.000 % |
860.46/860.97 c | 1348168 | 800 16000 80000 | 78960 77058 118 | 0.000 % |
862.36/862.85 c | 1350893 | 800 16000 80000 | 78890 69336 119 | 0.000 % |
864.26/864.71 c | 1353890 | 800 16000 80000 | 78890 72333 119 | 0.000 % |
866.46/866.92 c | 1357186 | 800 16000 80000 | 78890 75629 119 | 0.000 % |
869.06/869.51 c | 1360813 | 800 16000 80000 | 78444 69439 118 | 0.000 % |
871.56/872.09 c | 1364800 | 800 16000 80000 | 78444 73426 118 | 0.000 % |
874.56/875.09 c | 1369185 | 800 16000 80000 | 78444 77811 118 | 0.000 % |
877.86/878.33 c | 1374009 | 800 16000 80000 | 78626 73019 118 | 0.000 % |
881.16/881.64 c | 1379314 | 800 16000 80000 | 78626 78324 118 | 0.000 % |
884.66/885.12 c | 1385151 | 800 16000 80000 | 68974 65368 117 | 0.000 % |
888.56/889.08 c | 1391570 | 800 16000 80000 | 2147483647 64864 118 | 0.000 % |
892.86/893.35 c | 1398631 | 800 16000 80000 | 2147483647 71925 118 | 0.000 % |
897.56/898.09 c | 1406396 | 800 16000 80000 | 73294 71855 119 | 0.000 % |
902.86/903.39 c | 1414936 | 800 16000 80000 | 67579 65407 120 | 0.000 % |
908.96/909.49 c | 1424331 | 800 16000 80000 | 2147483647 68016 120 | 0.000 % |
916.55/917.04 c | 1434667 | 800 16000 80000 | 73686 70361 120 | 0.000 % |
924.65/925.17 c | 1446033 | 800 16000 80000 | 66726 64943 120 | 0.000 % |
931.45/931.98 c | 1458535 | 800 16000 80000 | 61153 56799 121 | 0.000 % |
931.55/932.04 c | 1458635 | 800 16000 80000 | 61153 56899 121 | 0.000 % |
931.65/932.11 c | 1458748 | 800 16000 80000 | 61153 57012 121 | 0.000 % |
931.65/932.18 c | 1458873 | 800 16000 80000 | 61153 57137 121 | 0.000 % |
931.75/932.26 c | 1459006 | 800 16000 80000 | 61153 57270 121 | 0.000 % |
931.85/932.37 c | 1459152 | 800 16000 80000 | 61153 57416 121 | 0.000 % |
931.95/932.46 c | 1459312 | 800 16000 80000 | 61153 57576 121 | 0.000 % |
932.05/932.57 c | 1459489 | 800 16000 80000 | 61153 57753 120 | 0.000 % |
932.15/932.68 c | 1459682 | 800 16000 80000 | 61153 57946 120 | 0.000 % |
932.35/932.80 c | 1459895 | 800 16000 80000 | 61153 58159 120 | 0.000 % |
932.45/932.94 c | 1460131 | 800 16000 80000 | 2147483647 58395 120 | 0.000 % |
932.55/933.08 c | 1460389 | 800 16000 80000 | 2147483647 58653 120 | 0.000 % |
932.75/933.23 c | 1460672 | 800 16000 80000 | 2147483647 58936 120 | 0.000 % |
932.95/933.41 c | 1460981 | 800 16000 80000 | 2147483647 59245 120 | 0.000 % |
933.15/933.61 c | 1461320 | 800 16000 80000 | 2147483647 59584 120 | 0.000 % |
933.35/933.81 c | 1461694 | 800 16000 80000 | 2147483647 59958 120 | 0.000 % |
933.55/934.04 c | 1462103 | 800 16000 80000 | 2147483647 60367 120 | 0.000 % |
933.75/934.30 c | 1462552 | 800 16000 80000 | 2147483647 60816 120 | 0.000 % |
934.15/934.61 c | 1463045 | 800 16000 80000 | 2147483647 61309 120 | 0.000 % |
934.45/934.96 c | 1463587 | 800 16000 80000 | 2147483647 61851 120 | 0.000 % |
934.75/935.30 c | 1464183 | 800 16000 80000 | 2147483647 62447 120 | 0.000 % |
935.15/935.68 c | 1464838 | 800 16000 80000 | 2147483647 63102 120 | 0.000 % |
935.55/936.07 c | 1465560 | 800 16000 80000 | 2147483647 63824 119 | 0.000 % |
935.95/936.49 c | 1466353 | 800 16000 80000 | 2147483647 64617 119 | 0.000 % |
936.45/936.99 c | 1467226 | 800 16000 80000 | 2147483647 65490 119 | 0.000 % |
937.05/937.56 c | 1468185 | 800 16000 80000 | 2147483647 66449 119 | 0.000 % |
937.65/938.18 c | 1469238 | 800 16000 80000 | 2147483647 67502 119 | 0.000 % |
938.35/938.86 c | 1470396 | 800 16000 80000 | 2147483647 68660 119 | 0.000 % |
939.15/939.63 c | 1471669 | 800 16000 80000 | 2147483647 69933 119 | 0.000 % |
939.95/940.44 c | 1473069 | 800 16000 80000 | 2147483647 71333 119 | 0.000 % |
940.94/941.42 c | 1474609 | 800 16000 80000 | 2147483647 72873 119 | 0.000 % |
941.94/942.47 c | 1476303 | 800 16000 80000 | 2147483647 74567 119 | 0.000 % |
943.14/943.63 c | 1478166 | 800 16000 80000 | 2147483647 76430 119 | 0.000 % |
944.45/944.93 c | 1480215 | 800 16000 80000 | 78264 78479 119 | 0.000 % |
945.94/946.40 c | 1482469 | 800 16000 80000 | 78264 72033 118 | 0.000 % |
947.44/947.94 c | 1484947 | 800 16000 80000 | 78264 74511 118 | 0.000 % |
949.24/949.76 c | 1487673 | 800 16000 80000 | 78264 77237 118 | 0.000 % |
951.14/951.69 c | 1490670 | 800 16000 80000 | 70941 63967 117 | 0.000 % |
953.04/953.56 c | 1493967 | 800 16000 80000 | 70941 67264 117 | 0.000 % |
955.14/955.70 c | 1497593 | 800 16000 80000 | 70941 70890 117 | 0.000 % |
957.54/958.02 c | 1501580 | 800 16000 80000 | 2147483647 67755 117 | 0.000 % |
960.14/960.68 c | 1505966 | 800 16000 80000 | 2147483647 72141 117 | 0.000 % |
963.24/963.73 c | 1510789 | 800 16000 80000 | 76178 68091 117 | 0.000 % |
966.83/967.30 c | 1516094 | 800 16000 80000 | 76178 73396 118 | 0.000 % |
970.53/971.02 c | 1521929 | 800 16000 80000 | 67819 61385 117 | 0.000 % |
974.23/974.70 c | 1528350 | 800 16000 80000 | 67819 67806 117 | 0.000 % |
978.53/979.01 c | 1535412 | 800 16000 80000 | 2147483647 68061 119 | 0.000 % |
983.73/984.27 c | 1543176 | 800 16000 80000 | 2147483647 75825 120 | 0.000 % |
989.93/990.47 c | 1551718 | 800 16000 80000 | 82649 73198 120 | 0.000 % |
996.43/996.96 c | 1561113 | 800 16000 80000 | 81481 71210 121 | 0.000 % |
1004.23/1004.76 c | 1571446 | 800 16000 80000 | 80097 69151 121 | 0.000 % |
1012.72/1013.26 c | 1582814 | 800 16000 80000 | 77705 68515 121 | 0.000 % |
1022.02/1022.59 c | 1595317 | 800 16000 80000 | 75701 70590 121 | 0.000 % |
1032.12/1032.64 c | 1609071 | 800 16000 80000 | 75274 73849 121 | 0.000 % |
1032.22/1032.72 c | 1609171 | 800 16000 80000 | 75274 73949 121 | 0.000 % |
1032.32/1032.81 c | 1609282 | 800 16000 80000 | 75274 74060 121 | 0.000 % |
1032.32/1032.89 c | 1609404 | 800 16000 80000 | 75274 74182 121 | 0.000 % |
1032.42/1032.98 c | 1609537 | 800 16000 80000 | 75274 74315 121 | 0.000 % |
1032.62/1033.11 c | 1609685 | 800 16000 80000 | 75274 74463 121 | 0.000 % |
1032.72/1033.24 c | 1609845 | 800 16000 80000 | 75274 74623 121 | 0.000 % |
1032.82/1033.36 c | 1610021 | 800 16000 80000 | 74779 74799 121 | 0.000 % |
1033.02/1033.56 c | 1610218 | 800 16000 80000 | 74779 64513 120 | 0.000 % |
1033.12/1033.69 c | 1610431 | 800 16000 80000 | 74779 64726 120 | 0.000 % |
1033.32/1033.85 c | 1610664 | 800 16000 80000 | 74779 64959 120 | 0.000 % |
1033.52/1034.00 c | 1610920 | 800 16000 80000 | 74779 65215 120 | 0.000 % |
1033.62/1034.17 c | 1611201 | 800 16000 80000 | 74779 65496 120 | 0.000 % |
1033.82/1034.38 c | 1611510 | 800 16000 80000 | 74779 65805 120 | 0.000 % |
1034.12/1034.61 c | 1611851 | 800 16000 80000 | 74779 66146 120 | 0.000 % |
1034.32/1034.83 c | 1612224 | 800 16000 80000 | 74779 66519 120 | 0.000 % |
1034.52/1035.09 c | 1612634 | 800 16000 80000 | 74779 66929 120 | 0.000 % |
1034.81/1035.35 c | 1613083 | 800 16000 80000 | 74779 67378 120 | 0.000 % |
1035.11/1035.66 c | 1613576 | 800 16000 80000 | 74779 67871 120 | 0.000 % |
1035.41/1035.98 c | 1614119 | 800 16000 80000 | 74779 68414 120 | 0.000 % |
1035.81/1036.32 c | 1614715 | 800 16000 80000 | 74779 69010 120 | 0.000 % |
1036.21/1036.74 c | 1615372 | 800 16000 80000 | 74779 69667 120 | 0.000 % |
1036.61/1037.20 c | 1616092 | 800 16000 80000 | 74779 70387 120 | 0.000 % |
1037.11/1037.69 c | 1616884 | 800 16000 80000 | 74779 71179 120 | 0.000 % |
1037.71/1038.23 c | 1617755 | 800 16000 80000 | 74779 72050 119 | 0.000 % |
1038.31/1038.83 c | 1618714 | 800 16000 80000 | 74779 73009 119 | 0.000 % |
1039.02/1039.51 c | 1619768 | 800 16000 80000 | 74779 74063 119 | 0.000 % |
1039.71/1040.23 c | 1620926 | 800 16000 80000 | 74295 66852 119 | 0.000 % |
1040.51/1041.01 c | 1622200 | 800 16000 80000 | 74295 68126 119 | 0.000 % |
1041.22/1041.79 c | 1623602 | 800 16000 80000 | 74295 69528 119 | 0.000 % |
1042.22/1042.71 c | 1625143 | 800 16000 80000 | 74295 71069 119 | 0.000 % |
1043.21/1043.75 c | 1626837 | 800 16000 80000 | 74295 72763 119 | 0.000 % |
1044.51/1045.06 c | 1628700 | 800 16000 80000 | 74295 66804 119 | 0.000 % |
1045.71/1046.30 c | 1630750 | 800 16000 80000 | 68105 61777 118 | 0.000 % |
1047.11/1047.62 c | 1633003 | 800 16000 80000 | 68105 64030 118 | 0.000 % |
1048.41/1048.97 c | 1635483 | 800 16000 80000 | 68105 66510 118 | 0.000 % |
1050.11/1050.67 c | 1638208 | 800 16000 80000 | 68105 62399 118 | 0.000 % |
1051.81/1052.34 c | 1641206 | 800 16000 80000 | 2147483647 65397 119 | 0.000 % |
1053.61/1054.16 c | 1644503 | 800 16000 80000 | 2147483647 68694 118 | 0.000 % |
1055.81/1056.32 c | 1648128 | 800 16000 80000 | 2147483647 72319 118 | 0.000 % |
1058.30/1058.81 c | 1652115 | 800 16000 80000 | 2147483647 76306 118 | 0.000 % |
1061.30/1061.80 c | 1656500 | 800 16000 80000 | 2147483647 80691 118 | 0.000 % |
1064.50/1065.08 c | 1661323 | 800 16000 80000 | 84191 73758 118 | 0.000 % |
1068.20/1068.73 c | 1666629 | 800 16000 80000 | 84191 79064 118 | 0.000 % |
1072.40/1072.98 c | 1672464 | 800 16000 80000 | 82435 72609 118 | 0.000 % |
1076.90/1077.45 c | 1678882 | 800 16000 80000 | 82435 79027 118 | 0.000 % |
1081.80/1082.39 c | 1685942 | 800 16000 80000 | 80145 75212 118 | 0.000 % |
1087.40/1087.90 c | 1693708 | 800 16000 80000 | 79270 72222 120 | 0.000 % |
1093.19/1093.77 c | 1702249 | 800 16000 80000 | 78514 70210 120 | 0.000 % |
1099.69/1100.27 c | 1711643 | 800 16000 80000 | 77961 69246 120 | 0.000 % |
1107.38/1107.92 c | 1721977 | 800 16000 80000 | 77603 68417 121 | 0.000 % |
1115.08/1115.68 c | 1733346 | 800 16000 80000 | 76440 70182 121 | 0.000 % |
1124.08/1124.66 c | 1745848 | 800 16000 80000 | 67215 64664 121 | 0.000 % |
1132.68/1133.24 c | 1759600 | 800 16000 80000 | 2147483647 71513 121 | 0.000 % |
1143.38/1143.97 c | 1774727 | 800 16000 80000 | 2147483647 71833 122 | 0.000 % |
1143.48/1144.04 c | 1774827 | 800 16000 80000 | 2147483647 71933 122 | 0.000 % |
1143.57/1144.13 c | 1774937 | 800 16000 80000 | 2147483647 72043 122 | 0.000 % |
1143.67/1144.22 c | 1775060 | 800 16000 80000 | 2147483647 72166 122 | 0.000 % |
1143.77/1144.33 c | 1775193 | 800 16000 80000 | 2147483647 72299 122 | 0.000 % |
1143.87/1144.44 c | 1775339 | 800 16000 80000 | 2147483647 72445 122 | 0.000 % |
1143.97/1144.55 c | 1775500 | 800 16000 80000 | 2147483647 72606 122 | 0.000 % |
1144.07/1144.69 c | 1775681 | 800 16000 80000 | 2147483647 72787 121 | 0.000 % |
1144.27/1144.82 c | 1775875 | 800 16000 80000 | 2147483647 72981 121 | 0.000 % |
1144.37/1144.99 c | 1776089 | 800 16000 80000 | 2147483647 73195 121 | 0.000 % |
1144.57/1145.16 c | 1776324 | 800 16000 80000 | 2147483647 73430 121 | 0.000 % |
1144.77/1145.35 c | 1776580 | 800 16000 80000 | 2147483647 73686 121 | 0.000 % |
1144.97/1145.56 c | 1776861 | 800 16000 80000 | 2147483647 73967 121 | 0.000 % |
1145.17/1145.76 c | 1777170 | 800 16000 80000 | 2147483647 74276 121 | 0.000 % |
1145.37/1145.97 c | 1777509 | 800 16000 80000 | 2147483647 74615 121 | 0.000 % |
1145.67/1146.23 c | 1777883 | 800 16000 80000 | 2147483647 74989 121 | 0.000 % |
1145.97/1146.53 c | 1778293 | 800 16000 80000 | 2147483647 75399 121 | 0.000 % |
1146.27/1146.83 c | 1778743 | 800 16000 80000 | 2147483647 75849 121 | 0.000 % |
1146.57/1147.16 c | 1779236 | 800 16000 80000 | 2147483647 76342 121 | 0.000 % |
1146.97/1147.52 c | 1779778 | 800 16000 80000 | 2147483647 76884 121 | 0.000 % |
1147.37/1147.95 c | 1780374 | 800 16000 80000 | 77107 66959 120 | 0.000 % |
1147.78/1148.31 c | 1781030 | 800 16000 80000 | 77107 67615 120 | 0.000 % |
1148.17/1148.74 c | 1781750 | 800 16000 80000 | 77107 68335 120 | 0.000 % |
1148.57/1149.19 c | 1782542 | 800 16000 80000 | 77107 69127 120 | 0.000 % |
1149.27/1149.80 c | 1783414 | 800 16000 80000 | 77107 69999 120 | 0.000 % |
1149.87/1150.41 c | 1784372 | 800 16000 80000 | 77107 70957 120 | 0.000 % |
1150.57/1151.11 c | 1785425 | 800 16000 80000 | 77107 72010 120 | 0.000 % |
1151.27/1151.87 c | 1786583 | 800 16000 80000 | 77107 73168 120 | 0.000 % |
1152.07/1152.63 c | 1787858 | 800 16000 80000 | 77107 74443 120 | 0.000 % |
1152.87/1153.47 c | 1789258 | 800 16000 80000 | 77107 75843 120 | 0.000 % |
1153.87/1154.48 c | 1790798 | 800 16000 80000 | 76585 68089 120 | 0.000 % |
1154.77/1155.38 c | 1792494 | 800 16000 80000 | 76585 69785 120 | 0.000 % |
1155.87/1156.44 c | 1794357 | 800 16000 80000 | 76585 71648 119 | 0.000 % |
1157.07/1157.67 c | 1796409 | 800 16000 80000 | 76585 73700 119 | 0.000 % |
1158.57/1159.14 c | 1798663 | 800 16000 80000 | 76585 75954 119 | 0.000 % |
1160.17/1160.79 c | 1801141 | 800 16000 80000 | 68561 62024 118 | 0.000 % |
1161.67/1162.26 c | 1803866 | 800 16000 80000 | 68561 64749 118 | 0.000 % |
1163.37/1163.94 c | 1806863 | 800 16000 80000 | 68561 67746 117 | 0.000 % |
1165.37/1165.92 c | 1810159 | 800 16000 80000 | 2147483647 64160 117 | 0.000 % |
1167.46/1168.08 c | 1813784 | 800 16000 80000 | 2147483647 67785 117 | 0.000 % |
1169.87/1170.45 c | 1817771 | 800 16000 80000 | 2147483647 71772 116 | 0.000 % |
1172.66/1173.23 c | 1822157 | 800 16000 80000 | 2147483647 76158 116 | 0.000 % |
1175.86/1176.48 c | 1826981 | 800 16000 80000 | 2147483647 80982 117 | 0.000 % |
1179.46/1180.09 c | 1832286 | 800 16000 80000 | 84001 75443 115 | 0.000 % |
1183.46/1184.01 c | 1838122 | 800 16000 80000 | 84001 81279 116 | 0.000 % |
1187.76/1188.34 c | 1844543 | 800 16000 80000 | 83157 76130 115 | 0.000 % |
1192.56/1193.13 c | 1851603 | 800 16000 80000 | 81587 70861 116 | 0.000 % |
1197.65/1198.26 c | 1859367 | 800 16000 80000 | 81587 78625 117 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832473-1242773820/watcher-1832473-1242773820 -o /tmp/evaluation-result-1832473-1242773820/solver-1832473-1242773820 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832473-1242773820.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.94 3/64 20570
/proc/meminfo: memFree=1719608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305409149 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20570/statm: 1339 237 197 169 0 50 0
[startup+0.0889789 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20570
/proc/meminfo: memFree=1719608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101979 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20570
/proc/meminfo: memFree=1719608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.302004 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20570
/proc/meminfo: memFree=1719608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701049 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20570
/proc/meminfo: memFree=1719608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50213 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1714984/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=6188 CPUtime=1.43
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 1296 0 0 0 143 0 0 0 25 0 1 0 305409154 6336512 1282 1992294400 134512640 135215339 4294956240 18446744073709551615 134539480 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 1547 1282 77 171 0 1374 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11544
[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1712104/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=10416 CPUtime=3.02
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 2351 0 0 0 301 1 0 0 25 0 1 0 305409154 10665984 2337 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 2604 2337 77 171 0 2431 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15772
[startup+6.30166 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1705256/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=16176 CPUtime=6.22
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 3763 0 0 0 619 3 0 0 25 0 1 0 305409154 16564224 3749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 4044 3749 77 171 0 3871 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21532
[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1696488/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=24176 CPUtime=12.61
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 5752 0 0 0 1256 5 0 0 25 0 1 0 305409154 24756224 5738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 6044 5738 77 171 0 5871 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 29532
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1684776/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=35384 CPUtime=25.4
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 8552 0 0 0 2532 8 0 0 25 0 1 0 305409154 36233216 8538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 8846 8538 77 171 0 8673 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 40740
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1677352/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=42512 CPUtime=50.98
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 10355 0 0 0 5088 10 0 0 25 0 1 0 305409154 43532288 10341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 10628 10341 77 171 0 10455 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 47868
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1677288/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=42512 CPUtime=102.15
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 10356 0 0 0 10205 10 0 0 25 0 1 0 305409154 43532288 10342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 10628 10342 77 171 0 10455 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 47868
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1676264/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=43304 CPUtime=162.13
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 10569 0 0 0 16202 11 0 0 25 0 1 0 305409154 44343296 10555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 10826 10555 77 171 0 10653 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 48660
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20576
/proc/meminfo: memFree=1675560/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=44096 CPUtime=222.1
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 10739 0 0 0 22198 12 0 0 25 0 1 0 305409154 45154304 10725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11024 10725 77 171 0 10851 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 49452
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1675232/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=44024 CPUtime=282.06
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 10739 0 0 0 28194 12 0 0 25 0 1 0 305409154 45080576 10725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11006 10725 77 171 0 10833 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 49380
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1674144/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=45080 CPUtime=342.04
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11017 0 0 0 34191 13 0 0 25 0 1 0 305409154 46161920 11003 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11270 11003 77 171 0 11097 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 50436
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1673440/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=45656 CPUtime=402.01
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11168 0 0 0 40188 13 0 0 25 0 1 0 305409154 46751744 11147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11414 11147 77 171 0 11241 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 51012
[startup+462.301 s]
################
# More data... #
################
/proc/20576/statm: 11579 11306 77 171 0 11406 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 51672
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1671976/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=46900 CPUtime=581.95
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11487 0 0 0 58180 15 0 0 25 0 1 0 305409154 48025600 11453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11725 11453 77 171 0 11552 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 52256
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1672296/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=46284 CPUtime=641.92
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11487 0 0 0 64177 15 0 0 25 0 1 0 305409154 47394816 11304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11571 11304 77 171 0 11398 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 51640
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1670952/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=47868 CPUtime=701.9
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11852 0 0 0 70174 16 0 0 25 0 1 0 305409154 49016832 11669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11967 11669 77 171 0 11794 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 53224
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1670824/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=47796 CPUtime=761.88
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11852 0 0 0 76172 16 0 0 25 0 1 0 305409154 48943104 11669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11949 11669 77 171 0 11776 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 53152
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1670824/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=47780 CPUtime=821.85
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11852 0 0 0 82169 16 0 0 25 0 1 0 305409154 48926720 11669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11945 11669 77 171 0 11772 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 53136
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1670696/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=47780 CPUtime=881.83
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11852 0 0 0 88167 16 0 0 25 0 1 0 305409154 48926720 11669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11945 11669 77 171 0 11772 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 53136
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1670632/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=47580 CPUtime=941.81
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 11852 0 0 0 94164 17 0 0 25 0 1 0 305409154 48721920 11628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 11895 11628 77 171 0 11722 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 52936
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1669608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=48768 CPUtime=1001.8
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 12119 0 0 0 100162 18 0 0 25 0 1 0 305409154 49938432 11895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 12192 11895 77 171 0 12019 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 54124
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1669608/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=48348 CPUtime=1061.77
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 12119 0 0 0 106159 18 0 0 25 0 1 0 305409154 49508352 11820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 12087 11820 77 171 0 11914 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 53704
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1668968/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=49140 CPUtime=1121.75
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 12312 0 0 0 112157 18 0 0 25 0 1 0 305409154 50319360 12013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 12285 12013 77 171 0 12112 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 54496
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1668904/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=49140 CPUtime=1181.73
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 12312 0 0 0 118154 19 0 0 25 0 1 0 305409154 50319360 12013 1992294400 134512640 135215339 4294956240 18446744073709551615 134538283 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 12285 12013 77 171 0 12112 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 54496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 20582
/proc/meminfo: memFree=1668840/2055920 swapFree=4179328/4192956
[pid=20570] ppid=20568 vsize=5356 CPUtime=0.03
/proc/20570/stat : 20570 (SatELiteGTI) S 20568 20570 20308 0 -1 4194304 336 690 0 0 0 0 3 0 16 0 1 0 305409149 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20570/statm: 1339 239 197 169 0 50 0
[pid=20576] ppid=20570 vsize=49140 CPUtime=1200.03
/proc/20576/stat : 20576 (minisat_static) R 20570 20570 20308 0 -1 4194304 12312 0 0 0 119984 19 0 0 25 0 1 0 305409154 50319360 12013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20576/statm: 12285 12013 77 171 0 12112 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 54496
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 20570 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=10998
# CPU time returned by wait4() is 0.049992
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.06
CPU user time (s): 1199.87
CPU system time (s): 0.19
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 54496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.038994
system time used= 0.010998
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.53077 second user time and 2.94455 second system time
The end
Begin job on node59 at 2009-05-20 00:57:00
IDJOB=1832473
IDBENCH=70200
IDSOLVER=671
FILE ID=node59/1832473-1242773820
PBS_JOBID= 9322242
Free space on /tmp= 66116 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1183359164-025.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832473-1242773820/watcher-1832473-1242773820 -o /tmp/evaluation-result-1832473-1242773820/solver-1832473-1242773820 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832473-1242773820.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb88883744268c4015fbf88194e85a82
RANDOM SEED=541835154
node59.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.240
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.240
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: 1720088 kB
Buffers: 16712 kB
Cached: 276860 kB
SwapCached: 7736 kB
Active: 133028 kB
Inactive: 170356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720088 kB
SwapTotal: 4192956 kB
SwapFree: 4179328 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 14992 kB
Slab: 18432 kB
Committed_AS: 1050740 kB
PageTables: 1464 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= 66116 MiB
End job on node59 at 2009-05-20 01:17:02