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.017997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.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 | 201 | 800 16000 80000 | 5333 201 97 | 0.000 % |
0.00/0.09 c | 301 | 800 16000 80000 | 5333 301 103 | 0.000 % |
0.04/0.10 c | 413 | 800 16000 80000 | 5333 413 104 | 0.000 % |
0.04/0.11 c | 513 | 800 16000 80000 | 5333 513 105 | 0.000 % |
0.04/0.12 c | 624 | 800 16000 80000 | 5333 624 103 | 0.000 % |
0.04/0.13 c | 746 | 800 16000 80000 | 5333 746 105 | 0.000 % |
0.04/0.14 c | 846 | 800 16000 80000 | 5333 846 105 | 0.000 % |
0.04/0.15 c | 956 | 800 16000 80000 | 5333 956 105 | 0.000 % |
0.04/0.17 c | 1077 | 800 16000 80000 | 5333 1077 105 | 0.000 % |
0.04/0.18 c | 1211 | 800 16000 80000 | 5333 1211 105 | 0.000 % |
0.04/0.19 c | 1311 | 800 16000 80000 | 5333 1311 105 | 0.000 % |
0.04/0.20 c | 1421 | 800 16000 80000 | 5333 1421 105 | 0.000 % |
0.04/0.21 c | 1542 | 800 16000 80000 | 5333 1542 105 | 0.000 % |
0.04/0.22 c | 1675 | 800 16000 80000 | 5333 1675 104 | 0.000 % |
0.04/0.24 c | 1822 | 800 16000 80000 | 5333 1822 104 | 0.000 % |
0.04/0.25 c | 1924 | 800 16000 80000 | 5333 1924 104 | 0.000 % |
0.04/0.26 c | 2034 | 800 16000 80000 | 5333 2034 104 | 0.000 % |
0.04/0.27 c | 2155 | 800 16000 80000 | 5333 2155 104 | 0.000 % |
0.04/0.29 c | 2289 | 800 16000 80000 | 5333 2289 104 | 0.000 % |
0.04/0.30 c | 2436 | 800 16000 80000 | 5333 2436 104 | 0.000 % |
0.04/0.31 c | 2596 | 800 16000 80000 | 5333 2596 104 | 0.000 % |
0.04/0.32 c | 2698 | 800 16000 80000 | 5333 2698 104 | 0.000 % |
0.04/0.34 c | 2809 | 800 16000 80000 | 5333 2809 104 | 0.000 % |
0.04/0.35 c | 2930 | 800 16000 80000 | 5333 2930 103 | 0.000 % |
0.04/0.36 c | 3064 | 800 16000 80000 | 5333 3064 103 | 0.000 % |
0.04/0.38 c | 3211 | 800 16000 80000 | 5333 3211 103 | 0.000 % |
0.04/0.40 c | 3371 | 800 16000 80000 | 5333 3371 103 | 0.000 % |
0.04/0.42 c | 3548 | 800 16000 80000 | 5333 3548 103 | 0.000 % |
0.04/0.43 c | 3648 | 800 16000 80000 | 5333 3648 103 | 0.000 % |
0.04/0.44 c | 3758 | 800 16000 80000 | 5333 3758 103 | 0.000 % |
0.04/0.45 c | 3879 | 800 16000 80000 | 5333 3879 103 | 0.000 % |
0.04/0.47 c | 4012 | 800 16000 80000 | 5333 4012 103 | 0.000 % |
0.04/0.48 c | 4158 | 800 16000 80000 | 5333 4158 103 | 0.000 % |
0.04/0.50 c | 4318 | 800 16000 80000 | 5333 4318 103 | 0.000 % |
0.04/0.52 c | 4494 | 800 16000 80000 | 5333 4494 104 | 0.000 % |
0.04/0.54 c | 4687 | 800 16000 80000 | 5333 4687 104 | 0.000 % |
0.04/0.55 c | 4787 | 800 16000 80000 | 5333 4787 104 | 0.000 % |
0.04/0.57 c | 4898 | 800 16000 80000 | 5333 4898 103 | 0.000 % |
0.04/0.58 c | 5019 | 800 16000 80000 | 5333 5019 103 | 0.000 % |
0.04/0.60 c | 5153 | 800 16000 80000 | 5333 5153 103 | 0.000 % |
0.04/0.61 c | 5299 | 800 16000 80000 | 5333 5299 104 | 0.000 % |
0.04/0.63 c | 5459 | 800 16000 80000 | 5333 5459 104 | 0.000 % |
0.04/0.66 c | 5635 | 800 16000 80000 | 5333 5090 103 | 0.000 % |
0.04/0.68 c | 5829 | 800 16000 80000 | 5333 5284 103 | 0.000 % |
0.04/0.71 c | 6041 | 800 16000 80000 | 5333 5496 104 | 0.000 % |
0.04/0.72 c | 6141 | 800 16000 80000 | 5333 5047 102 | 0.000 % |
0.04/0.73 c | 6251 | 800 16000 80000 | 5333 5157 103 | 0.000 % |
0.04/0.75 c | 6372 | 800 16000 80000 | 5333 5278 103 | 0.000 % |
0.04/0.76 c | 6507 | 800 16000 80000 | 5333 5413 103 | 0.000 % |
0.04/0.78 c | 6653 | 800 16000 80000 | 5333 5018 103 | 0.000 % |
0.04/0.80 c | 6815 | 800 16000 80000 | 5333 5180 103 | 0.000 % |
0.04/0.82 c | 6992 | 800 16000 80000 | 5333 5357 103 | 0.000 % |
0.04/0.85 c | 7185 | 800 16000 80000 | 5333 5015 103 | 0.000 % |
0.04/0.90 c | 7400 | 800 16000 80000 | 5333 5230 103 | 0.000 % |
0.04/0.90 c | 7634 | 800 16000 80000 | 5333 5464 103 | 0.000 % |
0.04/0.92 c | 7735 | 800 16000 80000 | 5333 5019 104 | 0.000 % |
0.04/0.93 c | 7845 | 800 16000 80000 | 5333 5129 104 | 0.000 % |
0.04/0.95 c | 7966 | 800 16000 80000 | 5333 5250 104 | 0.000 % |
0.04/0.96 c | 8099 | 800 16000 80000 | 5333 5383 104 | 0.000 % |
0.04/0.98 c | 8245 | 800 16000 80000 | 5333 4991 105 | 0.000 % |
0.98/1.01 c | 8405 | 800 16000 80000 | 5333 5151 105 | 0.000 % |
0.98/1.03 c | 8582 | 800 16000 80000 | 5333 5328 106 | 0.000 % |
0.98/1.05 c | 8776 | 800 16000 80000 | 5333 5522 105 | 0.000 % |
0.98/1.08 c | 8989 | 800 16000 80000 | 5333 5183 106 | 0.000 % |
1.08/1.11 c | 9222 | 800 16000 80000 | 5333 5416 106 | 0.000 % |
1.08/1.14 c | 9480 | 800 16000 80000 | 5333 5133 106 | 0.000 % |
1.08/1.16 c | 9583 | 800 16000 80000 | 5333 5236 106 | 0.000 % |
1.08/1.17 c | 9696 | 800 16000 80000 | 5333 5349 106 | 0.000 % |
1.08/1.19 c | 9817 | 800 16000 80000 | 5333 4936 106 | 0.000 % |
1.17/1.21 c | 9950 | 800 16000 80000 | 5333 5069 107 | 0.000 % |
1.17/1.22 c | 10096 | 800 16000 80000 | 2147483647 5215 106 | 0.000 % |
1.17/1.24 c | 10256 | 800 16000 80000 | 2147483647 5375 106 | 0.000 % |
1.17/1.27 c | 10433 | 800 16000 80000 | 2147483647 5552 106 | 0.000 % |
1.17/1.29 c | 10626 | 800 16000 80000 | 2147483647 5745 106 | 0.000 % |
1.27/1.32 c | 10840 | 800 16000 80000 | 2147483647 5959 106 | 0.000 % |
1.27/1.35 c | 11073 | 800 16000 80000 | 2147483647 6192 106 | 0.000 % |
1.27/1.38 c | 11330 | 800 16000 80000 | 2147483647 6449 106 | 0.000 % |
1.37/1.42 c | 11613 | 800 16000 80000 | 2147483647 6732 107 | 0.000 % |
1.37/1.43 c | 11717 | 800 16000 80000 | 2147483647 6836 107 | 0.000 % |
1.37/1.45 c | 11827 | 800 16000 80000 | 2147483647 6946 107 | 0.000 % |
1.37/1.46 c | 11951 | 800 16000 80000 | 2147483647 7070 107 | 0.000 % |
1.37/1.48 c | 12084 | 800 16000 80000 | 2147483647 7203 106 | 0.000 % |
1.47/1.50 c | 12230 | 800 16000 80000 | 2147483647 7349 106 | 0.000 % |
1.47/1.52 c | 12390 | 800 16000 80000 | 2147483647 7509 106 | 0.000 % |
1.47/1.55 c | 12566 | 800 16000 80000 | 2147483647 7685 106 | 0.000 % |
1.47/1.58 c | 12759 | 800 16000 80000 | 2147483647 7878 106 | 0.000 % |
1.57/1.61 c | 12971 | 800 16000 80000 | 2147483647 8090 107 | 0.000 % |
1.57/1.64 c | 13204 | 800 16000 80000 | 2147483647 8323 107 | 0.000 % |
1.57/1.68 c | 13463 | 800 16000 80000 | 2147483647 8582 106 | 0.000 % |
1.67/1.72 c | 13744 | 800 16000 80000 | 2147483647 8863 106 | 0.000 % |
1.67/1.76 c | 14053 | 800 16000 80000 | 2147483647 9172 106 | 0.000 % |
1.67/1.78 c | 14154 | 800 16000 80000 | 2147483647 9273 106 | 0.000 % |
1.67/1.79 c | 14265 | 800 16000 80000 | 2147483647 9384 106 | 0.000 % |
1.77/1.81 c | 14388 | 800 16000 80000 | 2147483647 9507 106 | 0.000 % |
1.77/1.83 c | 14521 | 800 16000 80000 | 2147483647 9640 106 | 0.000 % |
1.77/1.85 c | 14668 | 800 16000 80000 | 2147483647 9787 106 | 0.000 % |
1.77/1.88 c | 14829 | 800 16000 80000 | 2147483647 9948 106 | 0.000 % |
1.86/1.90 c | 15006 | 800 16000 80000 | 2147483647 10125 106 | 0.000 % |
1.86/1.93 c | 15199 | 800 16000 80000 | 2147483647 10318 106 | 0.000 % |
1.86/1.96 c | 15411 | 800 16000 80000 | 2147483647 10530 106 | 0.000 % |
1.96/2.00 c | 15644 | 800 16000 80000 | 2147483647 10763 106 | 0.000 % |
1.96/2.04 c | 15902 | 800 16000 80000 | 2147483647 11021 106 | 0.000 % |
1.96/2.09 c | 16184 | 800 16000 80000 | 2147483647 11303 106 | 0.000 % |
2.07/2.13 c | 16494 | 800 16000 80000 | 2147483647 11613 106 | 0.000 % |
2.07/2.19 c | 16833 | 800 16000 80000 | 2147483647 11952 106 | 0.000 % |
2.17/2.21 c | 16933 | 800 16000 80000 | 2147483647 12052 106 | 0.000 % |
2.17/2.23 c | 17043 | 800 16000 80000 | 2147483647 12162 106 | 0.000 % |
2.17/2.25 c | 17165 | 800 16000 80000 | 2147483647 12284 106 | 0.000 % |
2.17/2.28 c | 17298 | 800 16000 80000 | 2147483647 12417 106 | 0.000 % |
2.27/2.30 c | 17446 | 800 16000 80000 | 2147483647 12565 106 | 0.000 % |
2.27/2.33 c | 17609 | 800 16000 80000 | 2147483647 12728 106 | 0.000 % |
2.27/2.36 c | 17787 | 800 16000 80000 | 2147483647 12906 106 | 0.000 % |
2.27/2.39 c | 17981 | 800 16000 80000 | 2147483647 13100 106 | 0.000 % |
2.37/2.43 c | 18193 | 800 16000 80000 | 2147483647 13312 106 | 0.000 % |
2.37/2.47 c | 18427 | 800 16000 80000 | 2147483647 13546 106 | 0.000 % |
2.47/2.52 c | 18684 | 800 16000 80000 | 2147483647 13803 106 | 0.000 % |
2.47/2.56 c | 18966 | 800 16000 80000 | 2147483647 14085 106 | 0.000 % |
2.57/2.62 c | 19276 | 800 16000 80000 | 2147483647 14395 106 | 0.000 % |
2.57/2.68 c | 19615 | 800 16000 80000 | 2147483647 14734 106 | 0.000 % |
2.66/2.75 c | 19989 | 800 16000 80000 | 2147483647 15108 106 | 0.000 % |
2.66/2.77 c | 20089 | 800 16000 80000 | 2147483647 15208 106 | 0.000 % |
2.66/2.79 c | 20199 | 800 16000 80000 | 2147483647 15318 106 | 0.000 % |
2.76/2.82 c | 20322 | 800 16000 80000 | 2147483647 15441 106 | 0.000 % |
2.76/2.85 c | 20458 | 800 16000 80000 | 2147483647 15577 106 | 0.000 % |
2.76/2.88 c | 20604 | 800 16000 80000 | 2147483647 15723 106 | 0.000 % |
2.86/2.91 c | 20766 | 800 16000 80000 | 2147483647 15885 106 | 0.000 % |
2.86/2.94 c | 20944 | 800 16000 80000 | 2147483647 16063 106 | 0.000 % |
2.86/2.98 c | 21137 | 800 16000 80000 | 2147483647 16256 106 | 0.000 % |
2.96/3.03 c | 21351 | 800 16000 80000 | 2147483647 16470 106 | 0.000 % |
2.96/3.08 c | 21584 | 800 16000 80000 | 2147483647 16703 106 | 0.000 % |
3.06/3.13 c | 21840 | 800 16000 80000 | 2147483647 16959 106 | 0.000 % |
3.06/3.19 c | 22121 | 800 16000 80000 | 2147483647 17240 106 | 0.000 % |
3.17/3.25 c | 22430 | 800 16000 80000 | 2147483647 17549 106 | 0.000 % |
3.27/3.32 c | 22769 | 800 16000 80000 | 2147483647 17888 106 | 0.000 % |
3.27/3.40 c | 23142 | 800 16000 80000 | 2147483647 18261 106 | 0.000 % |
3.37/3.49 c | 23551 | 800 16000 80000 | 2147483647 18670 106 | 0.000 % |
3.46/3.52 c | 23651 | 800 16000 80000 | 2147483647 18770 106 | 0.000 % |
3.46/3.54 c | 23761 | 800 16000 80000 | 2147483647 18880 106 | 0.000 % |
3.46/3.57 c | 23882 | 800 16000 80000 | 2147483647 19001 106 | 0.000 % |
3.56/3.60 c | 24015 | 800 16000 80000 | 2147483647 19134 106 | 0.000 % |
3.56/3.63 c | 24161 | 800 16000 80000 | 2147483647 19280 106 | 0.000 % |
3.56/3.67 c | 24321 | 800 16000 80000 | 2147483647 19440 106 | 0.000 % |
3.66/3.71 c | 24499 | 800 16000 80000 | 2147483647 19618 106 | 0.000 % |
3.66/3.76 c | 24692 | 800 16000 80000 | 2147483647 19811 106 | 0.000 % |
3.76/3.81 c | 24904 | 800 16000 80000 | 2147483647 20023 106 | 0.000 % |
3.76/3.86 c | 25138 | 800 16000 80000 | 2147483647 20257 106 | 0.000 % |
3.86/3.92 c | 25395 | 800 16000 80000 | 2147483647 20514 106 | 0.000 % |
3.86/3.98 c | 25678 | 800 16000 80000 | 2147483647 20797 106 | 0.000 % |
3.96/4.05 c | 25988 | 800 16000 80000 | 2147483647 21107 106 | 0.000 % |
4.06/4.13 c | 26327 | 800 16000 80000 | 2147483647 21446 106 | 0.000 % |
4.16/4.22 c | 26704 | 800 16000 80000 | 2147483647 21823 106 | 0.000 % |
4.26/4.31 c | 27115 | 800 16000 80000 | 2147483647 22234 106 | 0.000 % |
4.36/4.42 c | 27565 | 800 16000 80000 | 2147483647 22684 106 | 0.000 % |
4.36/4.46 c | 27666 | 800 16000 80000 | 2147483647 22785 106 | 0.000 % |
4.36/4.49 c | 27776 | 800 16000 80000 | 2147483647 22895 106 | 0.000 % |
4.46/4.51 c | 27897 | 800 16000 80000 | 2147483647 23016 106 | 0.000 % |
4.46/4.55 c | 28030 | 800 16000 80000 | 2147483647 23149 106 | 0.000 % |
4.46/4.59 c | 28176 | 800 16000 80000 | 2147483647 23295 106 | 0.000 % |
4.56/4.63 c | 28338 | 800 16000 80000 | 2147483647 23457 106 | 0.000 % |
4.56/4.68 c | 28514 | 800 16000 80000 | 2147483647 23633 106 | 0.000 % |
4.66/4.74 c | 28708 | 800 16000 80000 | 2147483647 23827 106 | 0.000 % |
4.76/4.80 c | 28921 | 800 16000 80000 | 2147483647 24040 106 | 0.000 % |
4.76/4.86 c | 29156 | 800 16000 80000 | 2147483647 24275 106 | 0.000 % |
4.86/4.93 c | 29412 | 800 16000 80000 | 2147483647 24531 106 | 0.000 % |
4.96/5.00 c | 29693 | 800 16000 80000 | 2147483647 24812 106 | 0.000 % |
4.96/5.08 c | 30002 | 800 16000 80000 | 2147483647 25121 106 | 0.000 % |
5.06/5.18 c | 30342 | 800 16000 80000 | 2147483647 25461 106 | 0.000 % |
5.16/5.28 c | 30714 | 800 16000 80000 | 2147483647 25833 106 | 0.000 % |
5.26/5.39 c | 31125 | 800 16000 80000 | 2147483647 26244 107 | 0.000 % |
5.47/5.51 c | 31575 | 800 16000 80000 | 2147483647 26694 107 | 0.000 % |
5.56/5.65 c | 32069 | 800 16000 80000 | 2147483647 27188 107 | 0.000 % |
5.56/5.69 c | 32169 | 800 16000 80000 | 2147483647 27288 107 | 0.000 % |
5.66/5.73 c | 32280 | 800 16000 80000 | 2147483647 27399 107 | 0.000 % |
5.66/5.76 c | 32403 | 800 16000 80000 | 2147483647 27522 107 | 0.000 % |
5.76/5.80 c | 32536 | 800 16000 80000 | 2147483647 27655 107 | 0.000 % |
5.76/5.85 c | 32682 | 800 16000 80000 | 2147483647 27801 107 | 0.000 % |
5.86/5.90 c | 32843 | 800 16000 80000 | 2147483647 27962 107 | 0.000 % |
5.86/5.96 c | 33021 | 800 16000 80000 | 2147483647 28140 107 | 0.000 % |
5.96/6.02 c | 33214 | 800 16000 80000 | 2147483647 28333 107 | 0.000 % |
5.96/6.08 c | 33427 | 800 16000 80000 | 2147483647 28546 107 | 0.000 % |
6.06/6.16 c | 33661 | 800 16000 80000 | 2147483647 28780 107 | 0.000 % |
6.16/6.24 c | 33917 | 800 16000 80000 | 2147483647 29036 107 | 0.000 % |
6.26/6.33 c | 34199 | 800 16000 80000 | 2147483647 29318 107 | 0.000 % |
6.36/6.42 c | 34509 | 800 16000 80000 | 2147483647 29628 107 | 0.000 % |
6.46/6.54 c | 34848 | 800 16000 80000 | 2147483647 29967 107 | 0.000 % |
6.56/6.66 c | 35221 | 800 16000 80000 | 2147483647 30340 107 | 0.000 % |
6.66/6.78 c | 35630 | 800 16000 80000 | 2147483647 30749 107 | 0.000 % |
6.86/6.92 c | 36084 | 800 16000 80000 | 2147483647 31203 107 | 0.000 % |
6.96/7.08 c | 36578 | 800 16000 80000 | 2147483647 31697 107 | 0.000 % |
7.15/7.25 c | 37120 | 800 16000 80000 | 2147483647 32239 107 | 0.000 % |
7.15/7.29 c | 37220 | 800 16000 80000 | 2147483647 32339 107 | 0.000 % |
7.25/7.32 c | 37332 | 800 16000 80000 | 2147483647 32451 107 | 0.000 % |
7.25/7.37 c | 37453 | 800 16000 80000 | 2147483647 32572 107 | 0.000 % |
7.35/7.42 c | 37588 | 800 16000 80000 | 2147483647 32707 107 | 0.000 % |
7.35/7.48 c | 37736 | 800 16000 80000 | 2147483647 32855 107 | 0.000 % |
7.45/7.54 c | 37896 | 800 16000 80000 | 2147483647 33015 107 | 0.000 % |
7.56/7.61 c | 38072 | 800 16000 80000 | 2147483647 33191 107 | 0.000 % |
7.56/7.68 c | 38266 | 800 16000 80000 | 2147483647 33385 107 | 0.000 % |
7.66/7.75 c | 38479 | 800 16000 80000 | 2147483647 33598 107 | 0.000 % |
7.75/7.83 c | 38712 | 800 16000 80000 | 2147483647 33831 107 | 0.000 % |
7.85/7.92 c | 38968 | 800 16000 80000 | 2147483647 34087 107 | 0.000 % |
7.95/8.01 c | 39249 | 800 16000 80000 | 2147483647 34368 107 | 0.000 % |
8.05/8.12 c | 39558 | 800 16000 80000 | 2147483647 34677 107 | 0.000 % |
8.15/8.25 c | 39898 | 800 16000 80000 | 2147483647 35017 107 | 0.000 % |
8.25/8.38 c | 40270 | 800 16000 80000 | 2147483647 35389 107 | 0.000 % |
8.46/8.52 c | 40680 | 800 16000 80000 | 2147483647 35799 107 | 0.000 % |
8.56/8.66 c | 41129 | 800 16000 80000 | 2147483647 36248 107 | 0.000 % |
8.76/8.84 c | 41622 | 800 16000 80000 | 2147483647 36741 107 | 0.000 % |
8.96/9.02 c | 42165 | 800 16000 80000 | 2147483647 37284 107 | 0.000 % |
9.16/9.25 c | 42761 | 800 16000 80000 | 2147483647 37880 107 | 0.000 % |
9.16/9.28 c | 42863 | 800 16000 80000 | 2147483647 37982 107 | 0.000 % |
9.26/9.32 c | 42976 | 800 16000 80000 | 2147483647 38095 107 | 0.000 % |
9.26/9.37 c | 43097 | 800 16000 80000 | 2147483647 38216 107 | 0.000 % |
9.36/9.43 c | 43231 | 800 16000 80000 | 2147483647 38350 107 | 0.000 % |
9.36/9.49 c | 43377 | 800 16000 80000 | 2147483647 38496 107 | 0.000 % |
9.46/9.55 c | 43537 | 800 16000 80000 | 2147483647 38656 107 | 0.000 % |
9.56/9.63 c | 43714 | 800 16000 80000 | 2147483647 38833 107 | 0.000 % |
9.66/9.70 c | 43907 | 800 16000 80000 | 2147483647 39026 107 | 0.000 % |
9.66/9.79 c | 44120 | 800 16000 80000 | 2147483647 39239 107 | 0.000 % |
9.76/9.87 c | 44354 | 800 16000 80000 | 2147483647 39473 107 | 0.000 % |
9.86/9.97 c | 44610 | 800 16000 80000 | 2147483647 39729 107 | 0.000 % |
9.96/10.09 c | 44891 | 800 16000 80000 | 2147483647 40010 107 | 0.000 % |
10.06/10.19 c | 45200 | 800 16000 80000 | 2147483647 40319 107 | 0.000 % |
10.26/10.33 c | 45539 | 800 16000 80000 | 2147483647 40658 107 | 0.000 % |
10.36/10.49 c | 45911 | 800 16000 80000 | 2147483647 41030 107 | 0.000 % |
10.55/10.65 c | 46322 | 800 16000 80000 | 2147483647 41441 107 | 0.000 % |
10.75/10.82 c | 46772 | 800 16000 80000 | 2147483647 41891 107 | 0.000 % |
10.96/11.03 c | 47266 | 800 16000 80000 | 2147483647 42385 107 | 0.000 % |
11.15/11.25 c | 47809 | 800 16000 80000 | 2147483647 42928 107 | 0.000 % |
11.35/11.50 c | 48406 | 800 16000 80000 | 2147483647 43525 107 | 0.000 % |
11.66/11.77 c | 49062 | 800 16000 80000 | 2147483647 44181 107 | 0.000 % |
11.76/11.83 c | 49162 | 800 16000 80000 | 2147483647 44281 107 | 0.000 % |
11.76/11.88 c | 49272 | 800 16000 80000 | 2147483647 44391 107 | 0.000 % |
11.86/11.94 c | 49394 | 800 16000 80000 | 2147483647 44513 107 | 0.000 % |
11.96/12.00 c | 49528 | 800 16000 80000 | 2147483647 44647 107 | 0.000 % |
11.96/12.08 c | 49674 | 800 16000 80000 | 2147483647 44793 107 | 0.000 % |
12.06/12.15 c | 49835 | 800 16000 80000 | 2147483647 44954 107 | 0.000 % |
12.16/12.24 c | 50012 | 800 16000 80000 | 2147483647 45131 107 | 0.000 % |
12.26/12.34 c | 50205 | 800 16000 80000 | 2147483647 45324 107 | 0.000 % |
12.35/12.44 c | 50419 | 800 16000 80000 | 2147483647 45538 107 | 0.000 % |
12.45/12.54 c | 50652 | 800 16000 80000 | 2147483647 45771 107 | 0.000 % |
12.55/12.65 c | 50909 | 800 16000 80000 | 2147483647 46028 107 | 0.000 % |
12.65/12.78 c | 51190 | 800 16000 80000 | 2147483647 46309 107 | 0.000 % |
12.85/12.91 c | 51499 | 800 16000 80000 | 2147483647 46618 107 | 0.000 % |
12.95/13.04 c | 51838 | 800 16000 80000 | 2147483647 46957 107 | 0.000 % |
13.16/13.21 c | 52210 | 800 16000 80000 | 2147483647 47329 107 | 0.000 % |
13.25/13.39 c | 52620 | 800 16000 80000 | 2147483647 47739 107 | 0.000 % |
13.55/13.60 c | 53069 | 800 16000 80000 | 2147483647 48188 107 | 0.000 % |
13.75/13.83 c | 53563 | 800 16000 80000 | 2147483647 48682 107 | 0.000 % |
14.05/14.10 c | 54105 | 800 16000 80000 | 2147483647 49224 107 | 0.000 % |
14.25/14.39 c | 54701 | 800 16000 80000 | 2147483647 49820 107 | 0.000 % |
14.55/14.69 c | 55357 | 800 16000 80000 | 2147483647 50476 107 | 0.000 % |
14.95/15.01 c | 56077 | 800 16000 80000 | 2147483647 51196 107 | 0.000 % |
14.95/15.06 c | 56177 | 800 16000 80000 | 2147483647 51296 107 | 0.000 % |
15.06/15.12 c | 56289 | 800 16000 80000 | 2147483647 51408 107 | 0.000 % |
15.06/15.19 c | 56411 | 800 16000 80000 | 2147483647 51530 107 | 0.000 % |
15.16/15.27 c | 56544 | 800 16000 80000 | 2147483647 51663 107 | 0.000 % |
15.26/15.36 c | 56691 | 800 16000 80000 | 2147483647 51810 107 | 0.000 % |
15.36/15.44 c | 56853 | 800 16000 80000 | 2147483647 51972 107 | 0.000 % |
15.45/15.53 c | 57030 | 800 16000 80000 | 2147483647 52149 107 | 0.000 % |
15.55/15.63 c | 57223 | 800 16000 80000 | 2147483647 52342 107 | 0.000 % |
15.65/15.73 c | 57435 | 800 16000 80000 | 2147483647 52554 107 | 0.000 % |
15.75/15.86 c | 57669 | 800 16000 80000 | 2147483647 52788 107 | 0.000 % |
15.85/15.98 c | 57926 | 800 16000 80000 | 2147483647 53045 107 | 0.000 % |
16.05/16.12 c | 58208 | 800 16000 80000 | 2147483647 53327 107 | 0.000 % |
16.15/16.26 c | 58521 | 800 16000 80000 | 2147483647 53640 107 | 0.000 % |
16.36/16.44 c | 58861 | 800 16000 80000 | 2147483647 53980 107 | 0.000 % |
16.55/16.63 c | 59233 | 800 16000 80000 | 2147483647 54352 107 | 0.000 % |
16.75/16.85 c | 59642 | 800 16000 80000 | 2147483647 54761 107 | 0.000 % |
16.95/17.09 c | 60091 | 800 16000 80000 | 2147483647 55210 107 | 0.000 % |
17.25/17.38 c | 60585 | 800 16000 80000 | 2147483647 55704 107 | 0.000 % |
17.55/17.66 c | 61128 | 800 16000 80000 | 2147483647 56247 107 | 0.000 % |
17.85/17.96 c | 61724 | 800 16000 80000 | 2147483647 56843 108 | 0.000 % |
18.25/18.31 c | 62382 | 800 16000 80000 | 2147483647 57501 108 | 0.000 % |
18.55/18.67 c | 63104 | 800 16000 80000 | 2147483647 58223 108 | 0.000 % |
19.05/19.10 c | 63899 | 800 16000 80000 | 2147483647 59018 108 | 0.000 % |
19.05/19.15 c | 64000 | 800 16000 80000 | 2147483647 59119 108 | 0.000 % |
19.15/19.24 c | 64110 | 800 16000 80000 | 2147483647 59229 108 | 0.000 % |
19.25/19.32 c | 64231 | 800 16000 80000 | 2147483647 59350 108 | 0.000 % |
19.35/19.41 c | 64366 | 800 16000 80000 | 2147483647 59485 108 | 0.000 % |
19.35/19.49 c | 64512 | 800 16000 80000 | 2147483647 59631 108 | 0.000 % |
19.55/19.60 c | 64673 | 800 16000 80000 | 2147483647 59792 108 | 0.000 % |
19.65/19.70 c | 64849 | 800 16000 80000 | 2147483647 59968 108 | 0.000 % |
19.75/19.81 c | 65046 | 800 16000 80000 | 2147483647 60165 108 | 0.000 % |
19.84/19.95 c | 65258 | 800 16000 80000 | 2147483647 60377 108 | 0.000 % |
20.04/20.11 c | 65492 | 800 16000 80000 | 2147483647 60611 108 | 0.000 % |
20.14/20.25 c | 65751 | 800 16000 80000 | 2147483647 60870 108 | 0.000 % |
20.34/20.41 c | 66032 | 800 16000 80000 | 2147483647 61151 108 | 0.000 % |
20.54/20.61 c | 66342 | 800 16000 80000 | 2147483647 61461 108 | 0.000 % |
20.75/20.80 c | 66681 | 800 16000 80000 | 2147483647 61800 108 | 0.000 % |
20.95/21.03 c | 67053 | 800 16000 80000 | 2147483647 62172 108 | 0.000 % |
21.15/21.28 c | 67462 | 800 16000 80000 | 2147483647 62581 108 | 0.000 % |
21.45/21.54 c | 67913 | 800 16000 80000 | 2147483647 63032 108 | 0.000 % |
21.64/21.80 c | 68406 | 800 16000 80000 | 2147483647 63525 108 | 0.000 % |
22.04/22.11 c | 68948 | 800 16000 80000 | 2147483647 64067 108 | 0.000 % |
22.34/22.45 c | 69544 | 800 16000 80000 | 2147483647 64663 108 | 0.000 % |
22.74/22.83 c | 70199 | 800 16000 80000 | 2147483647 65318 108 | 0.000 % |
23.14/23.24 c | 70919 | 800 16000 80000 | 2147483647 66038 108 | 0.000 % |
23.65/23.74 c | 71711 | 800 16000 80000 | 2147483647 66830 108 | 0.000 % |
24.15/24.24 c | 72582 | 800 16000 80000 | 2147483647 67701 108 | 0.000 % |
24.25/24.32 c | 72684 | 800 16000 80000 | 2147483647 67803 108 | 0.000 % |
24.25/24.39 c | 72795 | 800 16000 80000 | 2147483647 67914 108 | 0.000 % |
24.35/24.47 c | 72917 | 800 16000 80000 | 2147483647 68036 108 | 0.000 % |
24.45/24.57 c | 73050 | 800 16000 80000 | 2147483647 68169 108 | 0.000 % |
24.55/24.69 c | 73197 | 800 16000 80000 | 2147483647 68316 108 | 0.000 % |
24.65/24.79 c | 73357 | 800 16000 80000 | 2147483647 68476 108 | 0.000 % |
24.85/24.91 c | 73535 | 800 16000 80000 | 2147483647 68654 108 | 0.000 % |
24.95/25.07 c | 73728 | 800 16000 80000 | 2147483647 68847 108 | 0.000 % |
25.15/25.20 c | 73942 | 800 16000 80000 | 2147483647 69061 108 | 0.000 % |
25.25/25.36 c | 74175 | 800 16000 80000 | 2147483647 69294 108 | 0.000 % |
25.44/25.51 c | 74434 | 800 16000 80000 | 2147483647 69553 108 | 0.000 % |
25.54/25.69 c | 74716 | 800 16000 80000 | 2147483647 69835 108 | 0.000 % |
25.74/25.90 c | 75026 | 800 16000 80000 | 2147483647 70145 108 | 0.000 % |
26.04/26.14 c | 75365 | 800 16000 80000 | 2147483647 70484 108 | 0.000 % |
26.25/26.38 c | 75737 | 800 16000 80000 | 2147483647 70856 108 | 0.000 % |
26.54/26.66 c | 76147 | 800 16000 80000 | 2147483647 71266 108 | 0.000 % |
26.84/26.92 c | 76597 | 800 16000 80000 | 2147483647 71716 108 | 0.000 % |
27.24/27.30 c | 77090 | 800 16000 80000 | 2147483647 72209 108 | 0.000 % |
27.54/27.67 c | 77632 | 800 16000 80000 | 2147483647 72751 108 | 0.000 % |
27.95/28.08 c | 78229 | 800 16000 80000 | 2147483647 73348 108 | 0.000 % |
28.45/28.52 c | 78884 | 800 16000 80000 | 2147483647 74003 108 | 0.000 % |
28.84/28.99 c | 79606 | 800 16000 80000 | 2147483647 74725 108 | 0.000 % |
29.44/29.59 c | 80399 | 800 16000 80000 | 75120 67793 108 | 0.000 % |
30.04/30.12 c | 81271 | 800 16000 80000 | 75120 68665 108 | 0.000 % |
30.65/30.72 c | 82229 | 800 16000 80000 | 75120 69623 108 | 0.000 % |
30.65/30.79 c | 82329 | 800 16000 80000 | 75120 69723 108 | 0.000 % |
30.75/30.85 c | 82441 | 800 16000 80000 | 75120 69835 108 | 0.000 % |
30.84/30.93 c | 82562 | 800 16000 80000 | 75120 69956 108 | 0.000 % |
30.94/31.05 c | 82698 | 800 16000 80000 | 75120 70092 108 | 0.000 % |
31.04/31.13 c | 82846 | 800 16000 80000 | 75120 70240 108 | 0.000 % |
31.14/31.24 c | 83007 | 800 16000 80000 | 75120 70401 108 | 0.000 % |
31.24/31.37 c | 83183 | 800 16000 80000 | 75120 70577 108 | 0.000 % |
31.44/31.52 c | 83376 | 800 16000 80000 | 75120 70770 108 | 0.000 % |
31.54/31.67 c | 83589 | 800 16000 80000 | 75120 70983 108 | 0.000 % |
31.74/31.84 c | 83824 | 800 16000 80000 | 75120 71218 108 | 0.000 % |
31.94/32.02 c | 84080 | 800 16000 80000 | 75120 71474 108 | 0.000 % |
32.14/32.23 c | 84362 | 800 16000 80000 | 75120 71756 108 | 0.000 % |
32.34/32.45 c | 84671 | 800 16000 80000 | 75120 72065 108 | 0.000 % |
32.54/32.67 c | 85010 | 800 16000 80000 | 75120 72404 108 | 0.000 % |
32.84/32.94 c | 85383 | 800 16000 80000 | 75120 72777 108 | 0.000 % |
33.14/33.22 c | 85793 | 800 16000 80000 | 75120 73187 108 | 0.000 % |
33.44/33.53 c | 86242 | 800 16000 80000 | 75120 73636 108 | 0.000 % |
33.74/33.87 c | 86737 | 800 16000 80000 | 75120 74131 108 | 0.000 % |
34.14/34.25 c | 87279 | 800 16000 80000 | 75120 74673 108 | 0.000 % |
34.54/34.64 c | 87875 | 800 16000 80000 | 75120 75269 108 | 0.000 % |
34.94/35.08 c | 88531 | 800 16000 80000 | 75120 66923 109 | 0.000 % |
35.44/35.55 c | 89252 | 800 16000 80000 | 75120 67644 109 | 0.000 % |
35.93/36.05 c | 90045 | 800 16000 80000 | 68392 68437 109 | 0.000 % |
36.53/36.61 c | 90916 | 800 16000 80000 | 68392 61354 109 | 0.000 % |
37.03/37.15 c | 91874 | 800 16000 80000 | 68392 62312 109 | 0.000 % |
37.63/37.71 c | 92929 | 800 16000 80000 | 68392 63367 109 | 0.000 % |
37.63/37.77 c | 93030 | 800 16000 80000 | 68392 63468 109 | 0.000 % |
37.73/37.85 c | 93141 | 800 16000 80000 | 68392 63579 109 | 0.000 % |
37.83/37.92 c | 93263 | 800 16000 80000 | 68392 63701 109 | 0.000 % |
37.93/38.01 c | 93396 | 800 16000 80000 | 68392 63834 109 | 0.000 % |
37.93/38.10 c | 93543 | 800 16000 80000 | 68392 63981 109 | 0.000 % |
38.13/38.21 c | 93703 | 800 16000 80000 | 68392 64141 109 | 0.000 % |
38.23/38.32 c | 93879 | 800 16000 80000 | 68392 64317 109 | 0.000 % |
38.34/38.44 c | 94072 | 800 16000 80000 | 68392 64510 109 | 0.000 % |
38.44/38.58 c | 94284 | 800 16000 80000 | 68392 64722 109 | 0.000 % |
38.63/38.72 c | 94519 | 800 16000 80000 | 68392 64957 109 | 0.000 % |
38.73/38.89 c | 94776 | 800 16000 80000 | 68392 65214 109 | 0.000 % |
38.93/39.08 c | 95057 | 800 16000 80000 | 68392 65495 109 | 0.000 % |
39.13/39.28 c | 95366 | 800 16000 80000 | 68392 65804 109 | 0.000 % |
39.33/39.47 c | 95705 | 800 16000 80000 | 68392 66143 109 | 0.000 % |
39.54/39.70 c | 96077 | 800 16000 80000 | 68392 66515 109 | 0.000 % |
39.83/39.96 c | 96488 | 800 16000 80000 | 68392 66926 109 | 0.000 % |
40.13/40.24 c | 96937 | 800 16000 80000 | 68392 67375 109 | 0.000 % |
40.43/40.56 c | 97431 | 800 16000 80000 | 68392 67869 109 | 0.000 % |
40.73/40.88 c | 97973 | 800 16000 80000 | 68392 68411 109 | 0.000 % |
41.13/41.24 c | 98569 | 800 16000 80000 | 68392 62166 109 | 0.000 % |
41.53/41.64 c | 99224 | 800 16000 80000 | 68392 62821 109 | 0.000 % |
41.93/42.04 c | 99945 | 800 16000 80000 | 68392 63542 109 | 0.000 % |
42.43/42.50 c | 100738 | 800 16000 80000 | 2147483647 64335 109 | 0.000 % |
42.93/43.03 c | 101609 | 800 16000 80000 | 2147483647 65206 109 | 0.000 % |
43.43/43.60 c | 102568 | 800 16000 80000 | 2147483647 66165 109 | 0.000 % |
44.13/44.23 c | 103623 | 800 16000 80000 | 2147483647 67220 109 | 0.000 % |
44.83/44.96 c | 104782 | 800 16000 80000 | 2147483647 68379 109 | 0.000 % |
44.93/45.03 c | 104884 | 800 16000 80000 | 2147483647 68481 109 | 0.000 % |
44.93/45.09 c | 104995 | 800 16000 80000 | 2147483647 68592 109 | 0.000 % |
45.03/45.18 c | 105116 | 800 16000 80000 | 2147483647 68713 109 | 0.000 % |
45.12/45.27 c | 105250 | 800 16000 80000 | 2147483647 68847 109 | 0.000 % |
45.22/45.37 c | 105396 | 800 16000 80000 | 2147483647 68993 109 | 0.000 % |
45.32/45.49 c | 105558 | 800 16000 80000 | 2147483647 69155 109 | 0.000 % |
45.52/45.63 c | 105734 | 800 16000 80000 | 2147483647 69331 109 | 0.000 % |
45.62/45.79 c | 105928 | 800 16000 80000 | 2147483647 69525 109 | 0.000 % |
45.82/45.92 c | 106140 | 800 16000 80000 | 2147483647 69737 109 | 0.000 % |
45.92/46.07 c | 106374 | 800 16000 80000 | 2147483647 69971 109 | 0.000 % |
46.13/46.21 c | 106631 | 800 16000 80000 | 2147483647 70228 109 | 0.000 % |
46.22/46.38 c | 106914 | 800 16000 80000 | 2147483647 70511 109 | 0.000 % |
46.42/46.58 c | 107223 | 800 16000 80000 | 2147483647 70820 109 | 0.000 % |
46.72/46.80 c | 107563 | 800 16000 80000 | 2147483647 71160 109 | 0.000 % |
46.92/47.08 c | 107938 | 800 16000 80000 | 2147483647 71535 109 | 0.000 % |
47.22/47.38 c | 108348 | 800 16000 80000 | 2147483647 71945 109 | 0.000 % |
47.52/47.67 c | 108797 | 800 16000 80000 | 2147483647 72394 109 | 0.000 % |
47.82/47.98 c | 109291 | 800 16000 80000 | 2147483647 72888 109 | 0.000 % |
48.22/48.34 c | 109833 | 800 16000 80000 | 2147483647 73430 109 | 0.000 % |
48.62/48.73 c | 110431 | 800 16000 80000 | 73597 66179 109 | 0.000 % |
48.92/49.08 c | 111087 | 800 16000 80000 | 73597 66835 110 | 0.000 % |
49.42/49.56 c | 111808 | 800 16000 80000 | 73597 67556 110 | 0.000 % |
49.92/50.04 c | 112600 | 800 16000 80000 | 73597 68348 110 | 0.000 % |
50.42/50.53 c | 113471 | 800 16000 80000 | 73597 69219 110 | 0.000 % |
51.02/51.11 c | 114430 | 800 16000 80000 | 73597 70178 110 | 0.000 % |
51.62/51.77 c | 115483 | 800 16000 80000 | 73597 71231 110 | 0.000 % |
52.32/52.50 c | 116641 | 800 16000 80000 | 73597 72389 110 | 0.000 % |
53.12/53.26 c | 117916 | 800 16000 80000 | 73597 73664 110 | 0.000 % |
53.22/53.37 c | 118016 | 800 16000 80000 | 73597 66398 110 | 0.000 % |
53.32/53.47 c | 118126 | 800 16000 80000 | 73597 66508 110 | 0.000 % |
53.42/53.56 c | 118247 | 800 16000 80000 | 73597 66629 110 | 0.000 % |
53.52/53.64 c | 118380 | 800 16000 80000 | 73597 66762 110 | 0.000 % |
53.62/53.75 c | 118527 | 800 16000 80000 | 73597 66909 110 | 0.000 % |
53.72/53.88 c | 118688 | 800 16000 80000 | 73597 67070 110 | 0.000 % |
53.82/54.00 c | 118865 | 800 16000 80000 | 73597 67247 110 | 0.000 % |
54.02/54.13 c | 119059 | 800 16000 80000 | 73597 67441 110 | 0.000 % |
54.12/54.29 c | 119272 | 800 16000 80000 | 73597 67654 110 | 0.000 % |
54.32/54.43 c | 119507 | 800 16000 80000 | 73597 67889 110 | 0.000 % |
54.52/54.61 c | 119764 | 800 16000 80000 | 73597 68146 110 | 0.000 % |
54.62/54.78 c | 120045 | 800 16000 80000 | 68384 68427 110 | 0.000 % |
54.92/55.01 c | 120355 | 800 16000 80000 | 68384 61627 110 | 0.000 % |
55.11/55.22 c | 120694 | 800 16000 80000 | 68384 61966 110 | 0.000 % |
55.31/55.41 c | 121068 | 800 16000 80000 | 68384 62340 110 | 0.000 % |
55.51/55.67 c | 121478 | 800 16000 80000 | 68384 62750 110 | 0.000 % |
55.81/55.94 c | 121930 | 800 16000 80000 | 68384 63202 110 | 0.000 % |
56.11/56.23 c | 122425 | 800 16000 80000 | 68384 63697 110 | 0.000 % |
56.41/56.53 c | 122967 | 800 16000 80000 | 68384 64239 110 | 0.000 % |
56.71/56.86 c | 123563 | 800 16000 80000 | 68384 64835 110 | 0.000 % |
57.12/57.26 c | 124218 | 800 16000 80000 | 68384 65490 110 | 0.000 % |
57.51/57.69 c | 124939 | 800 16000 80000 | 68384 66211 110 | 0.000 % |
58.01/58.16 c | 125731 | 800 16000 80000 | 68384 67003 110 | 0.000 % |
58.51/58.68 c | 126602 | 800 16000 80000 | 68384 67874 110 | 0.000 % |
59.22/59.33 c | 127560 | 800 16000 80000 | 68384 61966 110 | 0.000 % |
59.81/59.95 c | 128613 | 800 16000 80000 | 68384 63019 110 | 0.000 % |
60.51/60.60 c | 129771 | 800 16000 80000 | 68384 64177 110 | 0.000 % |
61.21/61.34 c | 131044 | 800 16000 80000 | 2147483647 65450 110 | 0.000 % |
62.11/62.20 c | 132444 | 800 16000 80000 | 2147483647 66850 111 | 0.000 % |
62.11/62.26 c | 132545 | 800 16000 80000 | 2147483647 66951 111 | 0.000 % |
62.21/62.35 c | 132657 | 800 16000 80000 | 2147483647 67063 111 | 0.000 % |
62.31/62.43 c | 132781 | 800 16000 80000 | 2147483647 67187 110 | 0.000 % |
62.41/62.53 c | 132917 | 800 16000 80000 | 2147483647 67323 110 | 0.000 % |
62.51/62.62 c | 133064 | 800 16000 80000 | 2147483647 67470 110 | 0.000 % |
62.61/62.75 c | 133224 | 800 16000 80000 | 2147483647 67630 110 | 0.000 % |
62.71/62.86 c | 133400 | 800 16000 80000 | 2147483647 67806 110 | 0.000 % |
62.81/62.98 c | 133593 | 800 16000 80000 | 2147483647 67999 110 | 0.000 % |
63.01/63.11 c | 133805 | 800 16000 80000 | 2147483647 68211 110 | 0.000 % |
63.11/63.27 c | 134038 | 800 16000 80000 | 2147483647 68444 110 | 0.000 % |
63.31/63.46 c | 134295 | 800 16000 80000 | 2147483647 68701 110 | 0.000 % |
63.51/63.67 c | 134577 | 800 16000 80000 | 2147483647 68983 110 | 0.000 % |
63.71/63.89 c | 134886 | 800 16000 80000 | 2147483647 69292 110 | 0.000 % |
64.01/64.13 c | 135225 | 800 16000 80000 | 2147483647 69631 110 | 0.000 % |
64.21/64.40 c | 135597 | 800 16000 80000 | 2147483647 70003 110 | 0.000 % |
64.51/64.68 c | 136007 | 800 16000 80000 | 2147483647 70413 110 | 0.000 % |
64.91/65.01 c | 136458 | 800 16000 80000 | 2147483647 70864 110 | 0.000 % |
65.21/65.34 c | 136952 | 800 16000 80000 | 2147483647 71358 110 | 0.000 % |
65.61/65.70 c | 137494 | 800 16000 80000 | 2147483647 71900 110 | 0.000 % |
65.91/66.07 c | 138090 | 800 16000 80000 | 2147483647 72496 110 | 0.000 % |
66.41/66.52 c | 138746 | 800 16000 80000 | 2147483647 73152 111 | 0.000 % |
66.91/67.03 c | 139467 | 800 16000 80000 | 2147483647 73873 111 | 0.000 % |
67.41/67.56 c | 140259 | 800 16000 80000 | 74406 74665 111 | 0.000 % |
68.02/68.13 c | 141130 | 800 16000 80000 | 74406 66851 111 | 0.000 % |
68.61/68.72 c | 142088 | 800 16000 80000 | 74406 67809 111 | 0.000 % |
69.31/69.41 c | 143141 | 800 16000 80000 | 74406 68862 111 | 0.000 % |
70.01/70.17 c | 144299 | 800 16000 80000 | 74406 70020 111 | 0.000 % |
70.81/70.97 c | 145572 | 800 16000 80000 | 74406 71293 111 | 0.000 % |
71.81/71.94 c | 146972 | 800 16000 80000 | 74406 72693 111 | 0.000 % |
72.81/72.99 c | 148512 | 800 16000 80000 | 74406 74233 111 | 0.000 % |
72.91/73.08 c | 148614 | 800 16000 80000 | 74406 74335 111 | 0.000 % |
73.01/73.16 c | 148724 | 800 16000 80000 | 74406 74445 111 | 0.000 % |
73.11/73.28 c | 148845 | 800 16000 80000 | 74406 65722 111 | 0.000 % |
73.21/73.36 c | 148978 | 800 16000 80000 | 74406 65855 111 | 0.000 % |
73.31/73.47 c | 149124 | 800 16000 80000 | 74406 66001 111 | 0.000 % |
73.41/73.58 c | 149284 | 800 16000 80000 | 74406 66161 111 | 0.000 % |
73.51/73.69 c | 149462 | 800 16000 80000 | 74406 66339 111 | 0.000 % |
73.61/73.79 c | 149657 | 800 16000 80000 | 74406 66534 111 | 0.000 % |
73.81/73.92 c | 149870 | 800 16000 80000 | 74406 66747 111 | 0.000 % |
73.91/74.07 c | 150103 | 800 16000 80000 | 66878 66980 111 | 0.000 % |
74.11/74.24 c | 150359 | 800 16000 80000 | 66878 59379 111 | 0.000 % |
74.31/74.40 c | 150640 | 800 16000 80000 | 66878 59660 111 | 0.000 % |
74.41/74.56 c | 150949 | 800 16000 80000 | 66878 59969 111 | 0.000 % |
74.61/74.74 c | 151289 | 800 16000 80000 | 66878 60309 111 | 0.000 % |
74.81/74.93 c | 151661 | 800 16000 80000 | 66878 60681 111 | 0.000 % |
75.01/75.13 c | 152070 | 800 16000 80000 | 66878 61090 111 | 0.000 % |
75.31/75.41 c | 152519 | 800 16000 80000 | 66878 61539 111 | 0.000 % |
75.61/75.72 c | 153012 | 800 16000 80000 | 66878 62032 111 | 0.000 % |
75.91/76.08 c | 153554 | 800 16000 80000 | 66878 62574 111 | 0.000 % |
76.31/76.45 c | 154150 | 800 16000 80000 | 66878 63170 111 | 0.000 % |
76.71/76.81 c | 154806 | 800 16000 80000 | 66878 63826 111 | 0.000 % |
77.11/77.22 c | 155526 | 800 16000 80000 | 66878 64546 111 | 0.000 % |
77.51/77.69 c | 156318 | 800 16000 80000 | 66878 65338 111 | 0.000 % |
78.11/78.20 c | 157189 | 800 16000 80000 | 66878 66209 111 | 0.000 % |
78.60/78.74 c | 158147 | 800 16000 80000 | 66878 67167 111 | 0.000 % |
79.20/79.37 c | 159200 | 800 16000 80000 | 66878 61504 111 | 0.000 % |
79.90/80.03 c | 160358 | 800 16000 80000 | 2147483647 62662 111 | 0.000 % |
80.60/80.71 c | 161631 | 800 16000 80000 | 2147483647 63935 111 | 0.000 % |
81.31/81.47 c | 163031 | 800 16000 80000 | 2147483647 65335 111 | 0.000 % |
82.20/82.39 c | 164571 | 800 16000 80000 | 2147483647 66875 111 | 0.000 % |
83.30/83.41 c | 166265 | 800 16000 80000 | 2147483647 68569 112 | 0.000 % |
83.30/83.48 c | 166365 | 800 16000 80000 | 2147483647 68669 112 | 0.000 % |
83.41/83.56 c | 166475 | 800 16000 80000 | 2147483647 68779 112 | 0.000 % |
83.51/83.64 c | 166597 | 800 16000 80000 | 2147483647 68901 112 | 0.000 % |
83.60/83.76 c | 166730 | 800 16000 80000 | 2147483647 69034 112 | 0.000 % |
83.70/83.87 c | 166876 | 800 16000 80000 | 2147483647 69180 112 | 0.000 % |
83.80/83.99 c | 167036 | 800 16000 80000 | 2147483647 69340 112 | 0.000 % |
84.00/84.11 c | 167213 | 800 16000 80000 | 2147483647 69517 112 | 0.000 % |
84.10/84.26 c | 167408 | 800 16000 80000 | 2147483647 69712 112 | 0.000 % |
84.30/84.42 c | 167621 | 800 16000 80000 | 2147483647 69925 112 | 0.000 % |
84.40/84.56 c | 167854 | 800 16000 80000 | 2147483647 70158 112 | 0.000 % |
84.60/84.74 c | 168110 | 800 16000 80000 | 2147483647 70414 112 | 0.000 % |
84.80/84.92 c | 168391 | 800 16000 80000 | 2147483647 70695 112 | 0.000 % |
85.00/85.10 c | 168700 | 800 16000 80000 | 2147483647 71004 112 | 0.000 % |
85.20/85.30 c | 169040 | 800 16000 80000 | 2147483647 71344 112 | 0.000 % |
85.50/85.60 c | 169412 | 800 16000 80000 | 2147483647 71716 112 | 0.000 % |
85.70/85.87 c | 169822 | 800 16000 80000 | 2147483647 72126 112 | 0.000 % |
86.00/86.17 c | 170275 | 800 16000 80000 | 2147483647 72579 112 | 0.000 % |
86.30/86.49 c | 170768 | 800 16000 80000 | 2147483647 73072 112 | 0.000 % |
86.70/86.84 c | 171310 | 800 16000 80000 | 2147483647 73614 112 | 0.000 % |
87.10/87.22 c | 171907 | 800 16000 80000 | 2147483647 74211 112 | 0.000 % |
87.50/87.65 c | 172563 | 800 16000 80000 | 2147483647 74867 112 | 0.000 % |
88.00/88.18 c | 173283 | 800 16000 80000 | 2147483647 75587 111 | 0.000 % |
88.60/88.73 c | 174075 | 800 16000 80000 | 2147483647 76379 111 | 0.000 % |
89.19/89.36 c | 174950 | 800 16000 80000 | 2147483647 77254 112 | 0.000 % |
89.79/89.99 c | 175909 | 800 16000 80000 | 2147483647 78213 112 | 0.000 % |
90.60/90.70 c | 176962 | 800 16000 80000 | 2147483647 79266 112 | 0.000 % |
91.40/91.51 c | 178121 | 800 16000 80000 | 2147483647 80425 112 | 0.000 % |
92.30/92.41 c | 179396 | 800 16000 80000 | 2147483647 81700 112 | 0.000 % |
93.19/93.40 c | 180797 | 800 16000 80000 | 82307 71929 112 | 0.000 % |
94.19/94.35 c | 182337 | 800 16000 80000 | 82307 73469 112 | 0.000 % |
95.19/95.37 c | 184031 | 800 16000 80000 | 82307 75163 112 | 0.000 % |
96.39/96.60 c | 185895 | 800 16000 80000 | 82307 77027 112 | 0.000 % |
96.49/96.67 c | 185996 | 800 16000 80000 | 82307 77128 112 | 0.000 % |
96.59/96.77 c | 186106 | 800 16000 80000 | 82307 77238 112 | 0.000 % |
96.69/96.87 c | 186228 | 800 16000 80000 | 82307 77360 112 | 0.000 % |
96.79/96.97 c | 186361 | 800 16000 80000 | 82307 77493 112 | 0.000 % |
96.89/97.07 c | 186508 | 800 16000 80000 | 82307 77640 112 | 0.000 % |
97.09/97.22 c | 186669 | 800 16000 80000 | 82307 77801 112 | 0.000 % |
97.19/97.34 c | 186845 | 800 16000 80000 | 82307 77977 112 | 0.000 % |
97.39/97.50 c | 187040 | 800 16000 80000 | 82307 78172 112 | 0.000 % |
97.49/97.68 c | 187255 | 800 16000 80000 | 82307 78387 112 | 0.000 % |
97.69/97.86 c | 187488 | 800 16000 80000 | 82307 78620 112 | 0.000 % |
97.89/98.03 c | 187744 | 800 16000 80000 | 82307 78876 112 | 0.000 % |
98.09/98.23 c | 188025 | 800 16000 80000 | 82307 79157 112 | 0.000 % |
98.39/98.51 c | 188335 | 800 16000 80000 | 82307 79467 112 | 0.000 % |
98.59/98.73 c | 188674 | 800 16000 80000 | 82307 79806 112 | 0.000 % |
98.89/99.01 c | 189046 | 800 16000 80000 | 82307 80178 112 | 0.000 % |
99.19/99.33 c | 189455 | 800 16000 80000 | 82307 80587 112 | 0.000 % |
99.49/99.66 c | 189904 | 800 16000 80000 | 82307 81036 112 | 0.000 % |
99.89/100.03 c | 190398 | 800 16000 80000 | 81135 70095 112 | 0.000 % |
100.19/100.34 c | 190941 | 800 16000 80000 | 81135 70638 112 | 0.000 % |
100.59/100.71 c | 191539 | 800 16000 80000 | 81135 71236 112 | 0.000 % |
100.99/101.17 c | 192194 | 800 16000 80000 | 81135 71891 112 | 0.000 % |
101.49/101.66 c | 192915 | 800 16000 80000 | 81135 72612 112 | 0.000 % |
101.99/102.18 c | 193707 | 800 16000 80000 | 81135 73404 112 | 0.000 % |
102.58/102.78 c | 194579 | 800 16000 80000 | 81135 74276 112 | 0.000 % |
103.38/103.50 c | 195537 | 800 16000 80000 | 81135 75234 112 | 0.000 % |
104.08/104.29 c | 196593 | 800 16000 80000 | 81135 76290 112 | 0.000 % |
104.98/105.12 c | 197751 | 800 16000 80000 | 81135 77448 112 | 0.000 % |
105.78/105.97 c | 199025 | 800 16000 80000 | 81135 78722 112 | 0.000 % |
106.89/107.06 c | 200425 | 800 16000 80000 | 79698 68564 112 | 0.000 % |
107.79/107.98 c | 201966 | 800 16000 80000 | 79698 70105 112 | 0.000 % |
108.89/109.03 c | 203662 | 800 16000 80000 | 79698 71801 112 | 0.000 % |
109.99/110.15 c | 205526 | 800 16000 80000 | 79698 73665 112 | 0.000 % |
111.39/111.57 c | 207576 | 800 16000 80000 | 79698 75715 112 | 0.000 % |
111.49/111.66 c | 207677 | 800 16000 80000 | 79698 75816 112 | 0.000 % |
111.59/111.75 c | 207788 | 800 16000 80000 | 79698 75927 112 | 0.000 % |
111.69/111.84 c | 207911 | 800 16000 80000 | 79698 76050 112 | 0.000 % |
111.79/111.96 c | 208045 | 800 16000 80000 | 79698 76184 112 | 0.000 % |
111.89/112.09 c | 208191 | 800 16000 80000 | 79698 76330 112 | 0.000 % |
112.09/112.22 c | 208353 | 800 16000 80000 | 79698 76492 112 | 0.000 % |
112.19/112.36 c | 208529 | 800 16000 80000 | 79698 76668 112 | 0.000 % |
112.39/112.54 c | 208725 | 800 16000 80000 | 79698 76864 112 | 0.000 % |
112.49/112.69 c | 208938 | 800 16000 80000 | 79698 77077 112 | 0.000 % |
112.69/112.87 c | 209171 | 800 16000 80000 | 79698 77310 112 | 0.000 % |
112.89/113.05 c | 209427 | 800 16000 80000 | 79698 77566 112 | 0.000 % |
113.09/113.26 c | 209708 | 800 16000 80000 | 79698 77847 112 | 0.000 % |
113.39/113.50 c | 210018 | 800 16000 80000 | 78139 78157 112 | 0.000 % |
113.59/113.78 c | 210358 | 800 16000 80000 | 78139 67982 112 | 0.000 % |
113.89/114.01 c | 210730 | 800 16000 80000 | 78139 68354 112 | 0.000 % |
114.09/114.26 c | 211139 | 800 16000 80000 | 78139 68763 112 | 0.000 % |
114.38/114.56 c | 211589 | 800 16000 80000 | 78139 69213 112 | 0.000 % |
114.79/114.94 c | 212082 | 800 16000 80000 | 78139 69706 112 | 0.000 % |
115.08/115.30 c | 212626 | 800 16000 80000 | 78139 70250 112 | 0.000 % |
115.48/115.66 c | 213222 | 800 16000 80000 | 78139 70846 112 | 0.000 % |
115.88/116.07 c | 213878 | 800 16000 80000 | 78139 71502 112 | 0.000 % |
116.39/116.51 c | 214598 | 800 16000 80000 | 78139 72222 112 | 0.000 % |
116.88/117.06 c | 215390 | 800 16000 80000 | 78139 73014 112 | 0.000 % |
117.49/117.67 c | 216262 | 800 16000 80000 | 78139 73886 112 | 0.000 % |
118.08/118.27 c | 217222 | 800 16000 80000 | 78139 74846 112 | 0.000 % |
118.78/118.95 c | 218275 | 800 16000 80000 | 78139 75899 112 | 0.000 % |
119.58/119.71 c | 219436 | 800 16000 80000 | 78139 77060 112 | 0.000 % |
120.48/120.65 c | 220709 | 800 16000 80000 | 77626 67865 112 | 0.000 % |
121.38/121.50 c | 222110 | 800 16000 80000 | 77626 69266 113 | 0.000 % |
122.28/122.42 c | 223650 | 800 16000 80000 | 77626 70806 113 | 0.000 % |
123.28/123.49 c | 225345 | 800 16000 80000 | 77626 72501 113 | 0.000 % |
124.58/124.72 c | 227209 | 800 16000 80000 | 77626 74365 113 | 0.000 % |
125.88/126.08 c | 229258 | 800 16000 80000 | 77626 76414 113 | 0.000 % |
127.38/127.57 c | 231511 | 800 16000 80000 | 77156 69070 113 | 0.000 % |
127.48/127.66 c | 231611 | 800 16000 80000 | 77156 69170 113 | 0.000 % |
127.58/127.75 c | 231722 | 800 16000 80000 | 77156 69281 113 | 0.000 % |
127.68/127.84 c | 231844 | 800 16000 80000 | 77156 69403 113 | 0.000 % |
127.78/127.92 c | 231977 | 800 16000 80000 | 77156 69536 113 | 0.000 % |
127.88/128.03 c | 232125 | 800 16000 80000 | 77156 69684 113 | 0.000 % |
127.98/128.14 c | 232285 | 800 16000 80000 | 77156 69844 113 | 0.000 % |
128.08/128.25 c | 232463 | 800 16000 80000 | 77156 70022 113 | 0.000 % |
128.18/128.38 c | 232656 | 800 16000 80000 | 77156 70215 113 | 0.000 % |
128.38/128.52 c | 232869 | 800 16000 80000 | 77156 70428 113 | 0.000 % |
128.48/128.69 c | 233103 | 800 16000 80000 | 77156 70662 113 | 0.000 % |
128.68/128.85 c | 233359 | 800 16000 80000 | 77156 70918 113 | 0.000 % |
128.88/129.07 c | 233640 | 800 16000 80000 | 77156 71199 113 | 0.000 % |
129.08/129.28 c | 233949 | 800 16000 80000 | 77156 71508 113 | 0.000 % |
129.38/129.51 c | 234288 | 800 16000 80000 | 77156 71847 113 | 0.000 % |
129.58/129.77 c | 234661 | 800 16000 80000 | 77156 72220 113 | 0.000 % |
129.88/130.05 c | 235070 | 800 16000 80000 | 77156 72629 113 | 0.000 % |
130.27/130.40 c | 235519 | 800 16000 80000 | 77156 73078 113 | 0.000 % |
130.57/130.76 c | 236012 | 800 16000 80000 | 77156 73571 113 | 0.000 % |
130.97/131.14 c | 236554 | 800 16000 80000 | 77156 74113 113 | 0.000 % |
131.37/131.56 c | 237150 | 800 16000 80000 | 77156 74709 113 | 0.000 % |
131.88/132.00 c | 237805 | 800 16000 80000 | 77156 75364 113 | 0.000 % |
132.27/132.48 c | 238525 | 800 16000 80000 | 77156 76084 113 | 0.000 % |
132.87/133.02 c | 239319 | 800 16000 80000 | 77156 76878 113 | 0.000 % |
133.47/133.61 c | 240191 | 800 16000 80000 | 67386 67577 112 | 0.000 % |
133.97/134.17 c | 241149 | 800 16000 80000 | 67386 59829 112 | 0.000 % |
134.57/134.76 c | 242203 | 800 16000 80000 | 67386 60883 112 | 0.000 % |
135.17/135.39 c | 243362 | 800 16000 80000 | 67386 62042 112 | 0.000 % |
135.97/136.13 c | 244635 | 800 16000 80000 | 67386 63315 112 | 0.000 % |
136.77/136.94 c | 246036 | 800 16000 80000 | 67386 64716 112 | 0.000 % |
137.67/137.85 c | 247576 | 800 16000 80000 | 67386 66256 113 | 0.000 % |
138.77/138.92 c | 249272 | 800 16000 80000 | 67386 61187 113 | 0.000 % |
139.77/139.96 c | 251137 | 800 16000 80000 | 2147483647 63052 113 | 0.000 % |
140.97/141.12 c | 253186 | 800 16000 80000 | 2147483647 65101 113 | 0.000 % |
142.27/142.41 c | 255440 | 800 16000 80000 | 2147483647 67355 113 | 0.000 % |
143.67/143.82 c | 257918 | 800 16000 80000 | 2147483647 69833 113 | 0.000 % |
143.67/143.88 c | 258018 | 800 16000 80000 | 2147483647 69933 113 | 0.000 % |
143.77/143.97 c | 258128 | 800 16000 80000 | 2147483647 70043 113 | 0.000 % |
143.87/144.07 c | 258249 | 800 16000 80000 | 2147483647 70164 113 | 0.000 % |
143.97/144.15 c | 258382 | 800 16000 80000 | 2147483647 70297 113 | 0.000 % |
144.06/144.26 c | 258529 | 800 16000 80000 | 2147483647 70444 113 | 0.000 % |
144.16/144.38 c | 258690 | 800 16000 80000 | 2147483647 70605 113 | 0.000 % |
144.36/144.51 c | 258866 | 800 16000 80000 | 2147483647 70781 113 | 0.000 % |
144.46/144.65 c | 259061 | 800 16000 80000 | 2147483647 70976 113 | 0.000 % |
144.66/144.82 c | 259273 | 800 16000 80000 | 2147483647 71188 113 | 0.000 % |
144.76/144.98 c | 259507 | 800 16000 80000 | 2147483647 71422 113 | 0.000 % |
144.97/145.18 c | 259764 | 800 16000 80000 | 2147483647 71679 113 | 0.000 % |
145.16/145.36 c | 260045 | 800 16000 80000 | 2147483647 71960 113 | 0.000 % |
145.36/145.59 c | 260354 | 800 16000 80000 | 2147483647 72269 113 | 0.000 % |
145.66/145.83 c | 260694 | 800 16000 80000 | 2147483647 72609 113 | 0.000 % |
145.86/146.08 c | 261068 | 800 16000 80000 | 2147483647 72983 113 | 0.000 % |
146.16/146.38 c | 261477 | 800 16000 80000 | 2147483647 73392 113 | 0.000 % |
146.46/146.69 c | 261926 | 800 16000 80000 | 2147483647 73841 113 | 0.000 % |
146.86/147.04 c | 262422 | 800 16000 80000 | 2147483647 74337 113 | 0.000 % |
147.26/147.41 c | 262965 | 800 16000 80000 | 2147483647 74880 113 | 0.000 % |
147.66/147.81 c | 263561 | 800 16000 80000 | 2147483647 75476 113 | 0.000 % |
148.06/148.29 c | 264216 | 800 16000 80000 | 2147483647 76131 113 | 0.000 % |
148.56/148.77 c | 264937 | 800 16000 80000 | 2147483647 76852 113 | 0.000 % |
149.06/149.27 c | 265729 | 800 16000 80000 | 2147483647 77644 113 | 0.000 % |
149.66/149.88 c | 266602 | 800 16000 80000 | 2147483647 78517 113 | 0.000 % |
150.36/150.55 c | 267561 | 800 16000 80000 | 2147483647 79476 113 | 0.000 % |
151.16/151.33 c | 268614 | 800 16000 80000 | 2147483647 80529 113 | 0.000 % |
151.96/152.14 c | 269773 | 800 16000 80000 | 2147483647 81688 113 | 0.000 % |
152.77/153.00 c | 271048 | 800 16000 80000 | 81916 71774 113 | 0.000 % |
153.76/153.99 c | 272448 | 800 16000 80000 | 81916 73174 114 | 0.000 % |
154.86/155.04 c | 273990 | 800 16000 80000 | 81916 74716 114 | 0.000 % |
156.06/156.24 c | 275684 | 800 16000 80000 | 81916 76410 114 | 0.000 % |
157.26/157.49 c | 277547 | 800 16000 80000 | 81916 78273 114 | 0.000 % |
158.66/158.84 c | 279596 | 800 16000 80000 | 81916 80322 114 | 0.000 % |
160.16/160.35 c | 281850 | 800 16000 80000 | 80726 70754 114 | 0.000 % |
161.66/161.85 c | 284329 | 800 16000 80000 | 80726 73233 114 | 0.000 % |
163.36/163.55 c | 287056 | 800 16000 80000 | 80726 75960 114 | 0.000 % |
163.46/163.65 c | 287157 | 800 16000 80000 | 80726 76061 114 | 0.000 % |
163.56/163.73 c | 287268 | 800 16000 80000 | 80726 76172 114 | 0.000 % |
163.66/163.83 c | 287389 | 800 16000 80000 | 80726 76293 114 | 0.000 % |
163.76/163.93 c | 287522 | 800 16000 80000 | 80726 76426 114 | 0.000 % |
163.86/164.07 c | 287669 | 800 16000 80000 | 80726 76573 114 | 0.000 % |
163.95/164.17 c | 287830 | 800 16000 80000 | 80726 76734 114 | 0.000 % |
164.05/164.28 c | 288006 | 800 16000 80000 | 80726 76910 114 | 0.000 % |
164.25/164.46 c | 288199 | 800 16000 80000 | 80726 77103 114 | 0.000 % |
164.45/164.63 c | 288413 | 800 16000 80000 | 80726 77317 114 | 0.000 % |
164.65/164.80 c | 288647 | 800 16000 80000 | 80726 77551 114 | 0.000 % |
164.76/164.98 c | 288903 | 800 16000 80000 | 80726 77807 114 | 0.000 % |
164.95/165.18 c | 289185 | 800 16000 80000 | 80726 78089 114 | 0.000 % |
165.25/165.42 c | 289494 | 800 16000 80000 | 80726 78398 114 | 0.000 % |
165.45/165.68 c | 289834 | 800 16000 80000 | 80726 78738 114 | 0.000 % |
165.75/165.96 c | 290208 | 800 16000 80000 | 78905 79112 113 | 0.000 % |
166.05/166.29 c | 290618 | 800 16000 80000 | 78905 68555 113 | 0.000 % |
166.35/166.59 c | 291067 | 800 16000 80000 | 78905 69004 113 | 0.000 % |
166.75/166.93 c | 291561 | 800 16000 80000 | 78905 69498 113 | 0.000 % |
167.15/167.34 c | 292106 | 800 16000 80000 | 78905 70043 113 | 0.000 % |
167.55/167.74 c | 292702 | 800 16000 80000 | 78905 70639 113 | 0.000 % |
167.95/168.15 c | 293357 | 800 16000 80000 | 78905 71294 113 | 0.000 % |
168.45/168.63 c | 294080 | 800 16000 80000 | 78905 72017 113 | 0.000 % |
168.95/169.13 c | 294874 | 800 16000 80000 | 78905 72811 113 | 0.000 % |
169.55/169.72 c | 295745 | 800 16000 80000 | 78905 73682 113 | 0.000 % |
170.15/170.37 c | 296703 | 800 16000 80000 | 78905 74640 113 | 0.000 % |
170.85/171.07 c | 297756 | 800 16000 80000 | 78905 75693 113 | 0.000 % |
171.65/171.88 c | 298916 | 800 16000 80000 | 78905 76853 113 | 0.000 % |
172.55/172.75 c | 300189 | 800 16000 80000 | 77937 78126 113 | 0.000 % |
173.45/173.64 c | 301589 | 800 16000 80000 | 77937 69611 113 | 0.000 % |
174.45/174.66 c | 303130 | 800 16000 80000 | 77937 71152 113 | 0.000 % |
175.55/175.70 c | 304824 | 800 16000 80000 | 77937 72846 113 | 0.000 % |
176.65/176.90 c | 306687 | 800 16000 80000 | 77937 74709 114 | 0.000 % |
178.05/178.30 c | 308736 | 800 16000 80000 | 77937 76758 114 | 0.000 % |
179.65/179.83 c | 310991 | 800 16000 80000 | 78022 69795 115 | 0.000 % |
181.25/181.47 c | 313470 | 800 16000 80000 | 78022 72274 115 | 0.000 % |
182.95/183.13 c | 316195 | 800 16000 80000 | 78022 74999 115 | 0.000 % |
184.85/185.04 c | 319193 | 800 16000 80000 | 78022 77997 115 | 0.000 % |
184.95/185.12 c | 319296 | 800 16000 80000 | 78022 78100 115 | 0.000 % |
185.05/185.24 c | 319408 | 800 16000 80000 | 78022 69269 115 | 0.000 % |
185.15/185.32 c | 319529 | 800 16000 80000 | 78022 69390 115 | 0.000 % |
185.25/185.44 c | 319664 | 800 16000 80000 | 78022 69525 115 | 0.000 % |
185.35/185.56 c | 319812 | 800 16000 80000 | 78022 69673 115 | 0.000 % |
185.45/185.68 c | 319973 | 800 16000 80000 | 78022 69834 114 | 0.000 % |
185.55/185.80 c | 320149 | 800 16000 80000 | 69861 70010 114 | 0.000 % |
185.75/185.95 c | 320343 | 800 16000 80000 | 69861 62024 114 | 0.000 % |
185.84/186.07 c | 320556 | 800 16000 80000 | 69861 62237 114 | 0.000 % |
186.04/186.23 c | 320790 | 800 16000 80000 | 69861 62471 114 | 0.000 % |
186.24/186.40 c | 321047 | 800 16000 80000 | 69861 62728 114 | 0.000 % |
186.44/186.60 c | 321328 | 800 16000 80000 | 69861 63009 114 | 0.000 % |
186.54/186.80 c | 321638 | 800 16000 80000 | 69861 63319 114 | 0.000 % |
186.85/187.00 c | 321978 | 800 16000 80000 | 69861 63659 114 | 0.000 % |
187.04/187.22 c | 322350 | 800 16000 80000 | 69861 64031 114 | 0.000 % |
187.24/187.46 c | 322759 | 800 16000 80000 | 69861 64440 114 | 0.000 % |
187.54/187.72 c | 323208 | 800 16000 80000 | 69861 64889 114 | 0.000 % |
187.85/188.04 c | 323703 | 800 16000 80000 | 69861 65384 114 | 0.000 % |
188.14/188.36 c | 324245 | 800 16000 80000 | 69861 65926 114 | 0.000 % |
188.54/188.72 c | 324843 | 800 16000 80000 | 69861 66524 114 | 0.000 % |
188.95/189.11 c | 325499 | 800 16000 80000 | 69861 67180 114 | 0.000 % |
189.34/189.55 c | 326224 | 800 16000 80000 | 69861 67905 114 | 0.000 % |
189.84/190.03 c | 327018 | 800 16000 80000 | 69861 68699 113 | 0.000 % |
190.44/190.62 c | 327889 | 800 16000 80000 | 69861 69570 113 | 0.000 % |
191.04/191.20 c | 328849 | 800 16000 80000 | 69861 63478 114 | 0.000 % |
191.54/191.76 c | 329902 | 800 16000 80000 | 69861 64531 114 | 0.000 % |
192.14/192.39 c | 331060 | 800 16000 80000 | 2147483647 65689 114 | 0.000 % |
192.94/193.19 c | 332334 | 800 16000 80000 | 2147483647 66963 114 | 0.000 % |
193.74/193.97 c | 333735 | 800 16000 80000 | 2147483647 68364 114 | 0.000 % |
194.74/194.91 c | 335276 | 800 16000 80000 | 2147483647 69905 114 | 0.000 % |
195.74/195.92 c | 336970 | 800 16000 80000 | 2147483647 71599 114 | 0.000 % |
196.74/196.97 c | 338837 | 800 16000 80000 | 2147483647 73466 114 | 0.000 % |
197.94/198.19 c | 340888 | 800 16000 80000 | 2147483647 75517 114 | 0.000 % |
199.44/199.67 c | 343144 | 800 16000 80000 | 2147483647 77773 114 | 0.000 % |
201.04/201.28 c | 345622 | 800 16000 80000 | 2147483647 80251 114 | 0.000 % |
203.03/203.26 c | 348347 | 800 16000 80000 | 2147483647 82976 114 | 0.000 % |
205.23/205.48 c | 351344 | 800 16000 80000 | 84629 74130 115 | 0.000 % |
207.33/207.53 c | 354642 | 800 16000 80000 | 84629 77428 115 | 0.000 % |
207.33/207.59 c | 354744 | 800 16000 80000 | 84629 77530 115 | 0.000 % |
207.43/207.68 c | 354854 | 800 16000 80000 | 84629 77640 115 | 0.000 % |
207.53/207.75 c | 354975 | 800 16000 80000 | 84629 77761 115 | 0.000 % |
207.63/207.84 c | 355111 | 800 16000 80000 | 84629 77897 115 | 0.000 % |
207.73/207.96 c | 355257 | 800 16000 80000 | 84629 78043 115 | 0.000 % |
207.83/208.08 c | 355417 | 800 16000 80000 | 84629 78203 115 | 0.000 % |
208.03/208.22 c | 355594 | 800 16000 80000 | 84629 78380 115 | 0.000 % |
208.13/208.39 c | 355788 | 800 16000 80000 | 84629 78574 115 | 0.000 % |
208.32/208.56 c | 356000 | 800 16000 80000 | 84629 78786 115 | 0.000 % |
208.52/208.74 c | 356234 | 800 16000 80000 | 84629 79020 115 | 0.000 % |
208.73/208.92 c | 356490 | 800 16000 80000 | 84629 79276 115 | 0.000 % |
208.92/209.15 c | 356772 | 800 16000 80000 | 84629 79558 114 | 0.000 % |
209.12/209.39 c | 357081 | 800 16000 80000 | 84629 79867 114 | 0.000 % |
209.42/209.65 c | 357421 | 800 16000 80000 | 84629 80207 114 | 0.000 % |
209.72/209.93 c | 357793 | 800 16000 80000 | 84629 80579 114 | 0.000 % |
210.02/210.24 c | 358202 | 800 16000 80000 | 84629 80988 114 | 0.000 % |
210.32/210.57 c | 358651 | 800 16000 80000 | 84629 81437 114 | 0.000 % |
210.72/210.94 c | 359144 | 800 16000 80000 | 84629 81930 114 | 0.000 % |
211.12/211.36 c | 359686 | 800 16000 80000 | 84629 82472 114 | 0.000 % |
211.62/211.87 c | 360285 | 800 16000 80000 | 82786 70119 114 | 0.000 % |
212.03/212.29 c | 360940 | 800 16000 80000 | 82786 70774 114 | 0.000 % |
212.52/212.78 c | 361660 | 800 16000 80000 | 82786 71494 114 | 0.000 % |
213.02/213.27 c | 362453 | 800 16000 80000 | 82786 72287 114 | 0.000 % |
213.62/213.85 c | 363324 | 800 16000 80000 | 82786 73158 114 | 0.000 % |
214.23/214.47 c | 364282 | 800 16000 80000 | 82786 74116 114 | 0.000 % |
214.93/215.18 c | 365335 | 800 16000 80000 | 82786 75169 114 | 0.000 % |
215.83/216.00 c | 366495 | 800 16000 80000 | 82786 76329 114 | 0.000 % |
216.63/216.84 c | 367768 | 800 16000 80000 | 82786 77602 114 | 0.000 % |
217.53/217.79 c | 369168 | 800 16000 80000 | 82786 79002 114 | 0.000 % |
218.63/218.90 c | 370710 | 800 16000 80000 | 79835 69482 115 | 0.000 % |
219.73/219.95 c | 372404 | 800 16000 80000 | 79835 71176 115 | 0.000 % |
220.93/221.11 c | 374267 | 800 16000 80000 | 79835 73039 115 | 0.000 % |
222.13/222.39 c | 376317 | 800 16000 80000 | 79835 75089 115 | 0.000 % |
223.63/223.84 c | 378572 | 800 16000 80000 | 79835 77344 115 | 0.000 % |
225.32/225.56 c | 381050 | 800 16000 80000 | 78772 69392 114 | 0.000 % |
227.12/227.30 c | 383776 | 800 16000 80000 | 78772 72118 114 | 0.000 % |
228.92/229.19 c | 386774 | 800 16000 80000 | 78772 75116 114 | 0.000 % |
231.22/231.44 c | 390070 | 800 16000 80000 | 78342 78412 114 | 0.000 % |
233.41/233.61 c | 393695 | 800 16000 80000 | 78342 71814 115 | 0.000 % |
233.41/233.68 c | 393796 | 800 16000 80000 | 78342 71915 115 | 0.000 % |
233.51/233.76 c | 393907 | 800 16000 80000 | 78342 72026 115 | 0.000 % |
233.61/233.85 c | 394032 | 800 16000 80000 | 78342 72151 115 | 0.000 % |
233.71/233.94 c | 394165 | 800 16000 80000 | 78342 72284 115 | 0.000 % |
233.81/234.06 c | 394313 | 800 16000 80000 | 78342 72432 115 | 0.000 % |
233.91/234.17 c | 394473 | 800 16000 80000 | 78342 72592 115 | 0.000 % |
234.02/234.29 c | 394650 | 800 16000 80000 | 78342 72769 115 | 0.000 % |
234.21/234.42 c | 394843 | 800 16000 80000 | 78342 72962 115 | 0.000 % |
234.31/234.57 c | 395057 | 800 16000 80000 | 78342 73176 115 | 0.000 % |
234.51/234.75 c | 395290 | 800 16000 80000 | 78342 73409 115 | 0.000 % |
234.71/234.94 c | 395548 | 800 16000 80000 | 78342 73667 115 | 0.000 % |
234.91/235.16 c | 395829 | 800 16000 80000 | 78342 73948 115 | 0.000 % |
235.12/235.39 c | 396138 | 800 16000 80000 | 78342 74257 115 | 0.000 % |
235.31/235.60 c | 396477 | 800 16000 80000 | 78342 74596 115 | 0.000 % |
235.61/235.84 c | 396850 | 800 16000 80000 | 78342 74969 115 | 0.000 % |
235.91/236.10 c | 397259 | 800 16000 80000 | 78342 75378 115 | 0.000 % |
236.11/236.38 c | 397709 | 800 16000 80000 | 78342 75828 115 | 0.000 % |
236.41/236.69 c | 398202 | 800 16000 80000 | 78342 76321 115 | 0.000 % |
236.81/237.05 c | 398745 | 800 16000 80000 | 78342 76864 115 | 0.000 % |
237.21/237.45 c | 399343 | 800 16000 80000 | 78342 77462 115 | 0.000 % |
237.61/237.89 c | 399998 | 800 16000 80000 | 78342 78117 115 | 0.000 % |
238.11/238.39 c | 400718 | 800 16000 80000 | 78120 68441 115 | 0.000 % |
238.61/238.87 c | 401511 | 800 16000 80000 | 78120 69234 115 | 0.000 % |
239.21/239.42 c | 402382 | 800 16000 80000 | 78120 70105 115 | 0.000 % |
239.71/239.98 c | 403343 | 800 16000 80000 | 78120 71066 115 | 0.000 % |
240.41/240.61 c | 404396 | 800 16000 80000 | 78120 72119 115 | 0.000 % |
241.11/241.33 c | 405554 | 800 16000 80000 | 78120 73277 115 | 0.000 % |
242.01/242.20 c | 406828 | 800 16000 80000 | 78120 74551 115 | 0.000 % |
242.81/243.07 c | 408228 | 800 16000 80000 | 78120 75951 115 | 0.000 % |
243.80/244.06 c | 409768 | 800 16000 80000 | 78120 77491 115 | 0.000 % |
244.90/245.16 c | 411462 | 800 16000 80000 | 77723 69648 115 | 0.000 % |
246.00/246.26 c | 413325 | 800 16000 80000 | 77723 71511 115 | 0.000 % |
247.31/247.52 c | 415377 | 800 16000 80000 | 77723 73563 115 | 0.000 % |
248.70/248.93 c | 417631 | 800 16000 80000 | 77723 75817 115 | 0.000 % |
250.30/250.58 c | 420109 | 800 16000 80000 | 69380 69489 114 | 0.000 % |
251.90/252.12 c | 422835 | 800 16000 80000 | 69380 64432 115 | 0.000 % |
253.60/253.81 c | 425832 | 800 16000 80000 | 69380 67429 115 | 0.000 % |
255.50/255.78 c | 429131 | 800 16000 80000 | 69380 63766 115 | 0.000 % |
257.70/257.95 c | 432757 | 800 16000 80000 | 2147483647 67392 115 | 0.000 % |
260.10/260.39 c | 436744 | 800 16000 80000 | 2147483647 71379 115 | 0.000 % |
260.20/260.46 c | 436844 | 800 16000 80000 | 2147483647 71479 115 | 0.000 % |
260.29/260.54 c | 436954 | 800 16000 80000 | 2147483647 71589 115 | 0.000 % |
260.40/260.62 c | 437076 | 800 16000 80000 | 2147483647 71711 115 | 0.000 % |
260.50/260.73 c | 437209 | 800 16000 80000 | 2147483647 71844 115 | 0.000 % |
260.59/260.83 c | 437357 | 800 16000 80000 | 2147483647 71992 115 | 0.000 % |
260.69/260.94 c | 437517 | 800 16000 80000 | 2147483647 72152 115 | 0.000 % |
260.79/261.09 c | 437695 | 800 16000 80000 | 2147483647 72330 115 | 0.000 % |
260.99/261.23 c | 437889 | 800 16000 80000 | 2147483647 72524 115 | 0.000 % |
261.09/261.37 c | 438101 | 800 16000 80000 | 2147483647 72736 115 | 0.000 % |
261.29/261.53 c | 438335 | 800 16000 80000 | 2147483647 72970 115 | 0.000 % |
261.50/261.71 c | 438592 | 800 16000 80000 | 2147483647 73227 115 | 0.000 % |
261.69/261.93 c | 438874 | 800 16000 80000 | 2147483647 73509 115 | 0.000 % |
261.89/262.18 c | 439183 | 800 16000 80000 | 2147483647 73818 115 | 0.000 % |
262.19/262.45 c | 439525 | 800 16000 80000 | 2147483647 74160 115 | 0.000 % |
262.39/262.68 c | 439897 | 800 16000 80000 | 2147483647 74532 115 | 0.000 % |
262.79/263.02 c | 440306 | 800 16000 80000 | 74635 67199 115 | 0.000 % |
263.09/263.32 c | 440755 | 800 16000 80000 | 74635 67648 115 | 0.000 % |
263.39/263.62 c | 441249 | 800 16000 80000 | 74635 68142 115 | 0.000 % |
263.70/263.97 c | 441792 | 800 16000 80000 | 74635 68685 115 | 0.000 % |
264.09/264.33 c | 442388 | 800 16000 80000 | 74635 69281 115 | 0.000 % |
264.49/264.77 c | 443043 | 800 16000 80000 | 74635 69936 115 | 0.000 % |
264.99/265.27 c | 443763 | 800 16000 80000 | 74635 70656 115 | 0.000 % |
265.49/265.75 c | 444556 | 800 16000 80000 | 74635 71449 115 | 0.000 % |
266.09/266.34 c | 445427 | 800 16000 80000 | 74635 72320 115 | 0.000 % |
266.69/266.95 c | 446386 | 800 16000 80000 | 74635 73279 115 | 0.000 % |
267.39/267.64 c | 447442 | 800 16000 80000 | 74635 74335 115 | 0.000 % |
268.09/268.40 c | 448600 | 800 16000 80000 | 74635 67354 114 | 0.000 % |
268.89/269.12 c | 449873 | 800 16000 80000 | 74635 68627 114 | 0.000 % |
269.69/269.96 c | 451274 | 800 16000 80000 | 68756 62955 114 | 0.000 % |
270.49/270.79 c | 452814 | 800 16000 80000 | 68756 64495 114 | 0.000 % |
271.49/271.73 c | 454510 | 800 16000 80000 | 68756 66191 114 | 0.000 % |
272.59/272.84 c | 456375 | 800 16000 80000 | 68756 68056 114 | 0.000 % |
273.79/274.03 c | 458424 | 800 16000 80000 | 68756 63201 114 | 0.000 % |
274.99/275.29 c | 460677 | 800 16000 80000 | 2147483647 65454 114 | 0.000 % |
276.49/276.78 c | 463155 | 800 16000 80000 | 2147483647 67932 114 | 0.000 % |
278.19/278.47 c | 465880 | 800 16000 80000 | 2147483647 70657 115 | 0.000 % |
280.09/280.30 c | 468879 | 800 16000 80000 | 2147483647 73656 115 | 0.000 % |
282.09/282.37 c | 472176 | 800 16000 80000 | 2147483647 76953 115 | 0.000 % |
284.48/284.76 c | 475802 | 800 16000 80000 | 2147483647 80579 115 | 0.000 % |
287.28/287.58 c | 479789 | 800 16000 80000 | 2147483647 84566 115 | 0.000 % |
290.38/290.64 c | 484174 | 800 16000 80000 | 84778 78130 116 | 0.000 % |
290.48/290.72 c | 484276 | 800 16000 80000 | 84778 78232 116 | 0.000 % |
290.58/290.81 c | 484387 | 800 16000 80000 | 84778 78343 116 | 0.000 % |
290.68/290.90 c | 484509 | 800 16000 80000 | 84778 78465 116 | 0.000 % |
290.78/291.04 c | 484643 | 800 16000 80000 | 84778 78599 116 | 0.000 % |
290.88/291.15 c | 484789 | 800 16000 80000 | 84778 78745 116 | 0.000 % |
290.98/291.26 c | 484949 | 800 16000 80000 | 84778 78905 116 | 0.000 % |
291.18/291.41 c | 485125 | 800 16000 80000 | 84778 79081 116 | 0.000 % |
291.28/291.56 c | 485318 | 800 16000 80000 | 84778 79274 116 | 0.000 % |
291.48/291.72 c | 485530 | 800 16000 80000 | 84778 79486 115 | 0.000 % |
291.68/291.92 c | 485763 | 800 16000 80000 | 84778 79719 115 | 0.000 % |
291.88/292.12 c | 486020 | 800 16000 80000 | 84778 79976 115 | 0.000 % |
292.08/292.35 c | 486301 | 800 16000 80000 | 84778 80257 115 | 0.000 % |
292.28/292.60 c | 486610 | 800 16000 80000 | 84778 80566 115 | 0.000 % |
292.58/292.83 c | 486949 | 800 16000 80000 | 84778 80905 115 | 0.000 % |
292.88/293.12 c | 487321 | 800 16000 80000 | 84778 81277 115 | 0.000 % |
293.18/293.42 c | 487731 | 800 16000 80000 | 84778 81687 115 | 0.000 % |
293.48/293.72 c | 488180 | 800 16000 80000 | 84778 82136 115 | 0.000 % |
293.88/294.10 c | 488675 | 800 16000 80000 | 84778 82631 115 | 0.000 % |
294.28/294.52 c | 489217 | 800 16000 80000 | 84778 83173 115 | 0.000 % |
294.68/294.93 c | 489817 | 800 16000 80000 | 84778 83773 115 | 0.000 % |
295.18/295.44 c | 490473 | 800 16000 80000 | 83956 72171 115 | 0.000 % |
295.58/295.87 c | 491194 | 800 16000 80000 | 83956 72892 115 | 0.000 % |
296.08/296.38 c | 491987 | 800 16000 80000 | 83956 73685 115 | 0.000 % |
296.68/296.93 c | 492858 | 800 16000 80000 | 83956 74556 115 | 0.000 % |
297.28/297.51 c | 493816 | 800 16000 80000 | 83956 75514 115 | 0.000 % |
297.88/298.16 c | 494869 | 800 16000 80000 | 83956 76567 114 | 0.000 % |
298.68/298.91 c | 496029 | 800 16000 80000 | 83956 77727 114 | 0.000 % |
299.48/299.75 c | 497303 | 800 16000 80000 | 83956 79001 115 | 0.000 % |
300.38/300.70 c | 498704 | 800 16000 80000 | 83956 80402 115 | 0.000 % |
301.48/301.76 c | 500244 | 800 16000 80000 | 81698 81942 115 | 0.000 % |
302.58/302.87 c | 501941 | 800 16000 80000 | 81698 72810 115 | 0.000 % |
303.77/304.05 c | 503806 | 800 16000 80000 | 81698 74675 115 | 0.000 % |
305.07/305.36 c | 505855 | 800 16000 80000 | 81698 76724 115 | 0.000 % |
306.58/306.88 c | 508110 | 800 16000 80000 | 81698 78979 115 | 0.000 % |
308.27/308.56 c | 510589 | 800 16000 80000 | 80871 70859 115 | 0.000 % |
309.87/310.19 c | 513314 | 800 16000 80000 | 80871 73584 116 | 0.000 % |
311.77/312.01 c | 516315 | 800 16000 80000 | 80871 76585 116 | 0.000 % |
313.87/314.19 c | 519612 | 800 16000 80000 | 80871 79882 116 | 0.000 % |
316.37/316.67 c | 523238 | 800 16000 80000 | 80271 72897 116 | 0.000 % |
318.87/319.11 c | 527225 | 800 16000 80000 | 80271 76884 116 | 0.000 % |
321.77/322.05 c | 531612 | 800 16000 80000 | 79661 71190 116 | 0.000 % |
324.86/325.12 c | 536435 | 800 16000 80000 | 79661 76013 116 | 0.000 % |
324.86/325.19 c | 536535 | 800 16000 80000 | 79661 76113 116 | 0.000 % |
324.96/325.29 c | 536645 | 800 16000 80000 | 79661 76223 116 | 0.000 % |
325.06/325.38 c | 536766 | 800 16000 80000 | 79661 76344 116 | 0.000 % |
325.16/325.48 c | 536899 | 800 16000 80000 | 79661 76477 116 | 0.000 % |
325.27/325.59 c | 537047 | 800 16000 80000 | 79661 76625 116 | 0.000 % |
325.46/325.72 c | 537208 | 800 16000 80000 | 79661 76786 116 | 0.000 % |
325.56/325.85 c | 537385 | 800 16000 80000 | 79661 76963 116 | 0.000 % |
325.66/325.98 c | 537578 | 800 16000 80000 | 79661 77156 116 | 0.000 % |
325.86/326.17 c | 537790 | 800 16000 80000 | 79661 77368 116 | 0.000 % |
326.06/326.34 c | 538025 | 800 16000 80000 | 79661 77603 116 | 0.000 % |
326.26/326.55 c | 538281 | 800 16000 80000 | 79661 77859 116 | 0.000 % |
326.47/326.78 c | 538562 | 800 16000 80000 | 79661 78140 116 | 0.000 % |
326.76/327.01 c | 538871 | 800 16000 80000 | 79661 78449 115 | 0.000 % |
326.96/327.27 c | 539210 | 800 16000 80000 | 79661 78788 115 | 0.000 % |
327.26/327.53 c | 539582 | 800 16000 80000 | 79661 79160 115 | 0.000 % |
327.56/327.85 c | 539992 | 800 16000 80000 | 79661 79570 115 | 0.000 % |
327.96/328.21 c | 540442 | 800 16000 80000 | 79578 69251 115 | 0.000 % |
328.26/328.53 c | 540935 | 800 16000 80000 | 79578 69744 115 | 0.000 % |
328.56/328.89 c | 541479 | 800 16000 80000 | 79578 70288 115 | 0.000 % |
329.06/329.30 c | 542075 | 800 16000 80000 | 79578 70884 115 | 0.000 % |
329.46/329.78 c | 542730 | 800 16000 80000 | 79578 71539 115 | 0.000 % |
329.96/330.26 c | 543450 | 800 16000 80000 | 79578 72259 115 | 0.000 % |
330.46/330.76 c | 544242 | 800 16000 80000 | 79578 73051 115 | 0.000 % |
331.06/331.32 c | 545114 | 800 16000 80000 | 79578 73923 115 | 0.000 % |
331.66/331.95 c | 546072 | 800 16000 80000 | 79578 74881 115 | 0.000 % |
332.46/332.71 c | 547127 | 800 16000 80000 | 79578 75936 115 | 0.000 % |
333.16/333.46 c | 548287 | 800 16000 80000 | 79578 77096 115 | 0.000 % |
333.96/334.30 c | 549561 | 800 16000 80000 | 79578 78370 115 | 0.000 % |
335.06/335.32 c | 550961 | 800 16000 80000 | 78809 69028 114 | 0.000 % |
335.96/336.25 c | 552504 | 800 16000 80000 | 78809 70571 114 | 0.000 % |
337.06/337.34 c | 554198 | 800 16000 80000 | 78809 72265 114 | 0.000 % |
338.16/338.48 c | 556063 | 800 16000 80000 | 78809 74130 114 | 0.000 % |
339.56/339.88 c | 558112 | 800 16000 80000 | 78809 76179 114 | 0.000 % |
341.05/341.34 c | 560365 | 800 16000 80000 | 78068 68137 115 | 0.000 % |
342.55/342.85 c | 562843 | 800 16000 80000 | 78068 70615 115 | 0.000 % |
344.15/344.46 c | 565568 | 800 16000 80000 | 78068 73340 115 | 0.000 % |
346.16/346.48 c | 568565 | 800 16000 80000 | 78068 76337 115 | 0.000 % |
348.36/348.65 c | 571862 | 800 16000 80000 | 77772 69748 114 | 0.000 % |
350.45/350.80 c | 575487 | 800 16000 80000 | 77772 73373 114 | 0.000 % |
352.95/353.24 c | 579477 | 800 16000 80000 | 77772 77363 115 | 0.000 % |
355.85/356.15 c | 583862 | 800 16000 80000 | 77886 72936 115 | 0.000 % |
359.05/359.39 c | 588687 | 800 16000 80000 | 77886 77761 115 | 0.000 % |
362.65/362.93 c | 593992 | 800 16000 80000 | 70070 66276 115 | 0.000 % |
362.75/363.01 c | 594094 | 800 16000 80000 | 70070 66378 115 | 0.000 % |
362.75/363.10 c | 594205 | 800 16000 80000 | 70070 66489 115 | 0.000 % |
362.84/363.18 c | 594328 | 800 16000 80000 | 70070 66612 115 | 0.000 % |
362.94/363.27 c | 594462 | 800 16000 80000 | 70070 66746 115 | 0.000 % |
363.04/363.37 c | 594608 | 800 16000 80000 | 70070 66892 115 | 0.000 % |
363.15/363.47 c | 594768 | 800 16000 80000 | 70070 67052 115 | 0.000 % |
363.25/363.60 c | 594946 | 800 16000 80000 | 70070 67230 115 | 0.000 % |
363.45/363.73 c | 595141 | 800 16000 80000 | 70070 67425 115 | 0.000 % |
363.54/363.87 c | 595353 | 800 16000 80000 | 70070 67637 115 | 0.000 % |
363.75/364.02 c | 595587 | 800 16000 80000 | 70070 67871 115 | 0.000 % |
363.94/364.23 c | 595843 | 800 16000 80000 | 70070 68127 115 | 0.000 % |
364.14/364.41 c | 596124 | 800 16000 80000 | 70070 68408 115 | 0.000 % |
364.34/364.60 c | 596434 | 800 16000 80000 | 70070 68718 115 | 0.000 % |
364.54/364.83 c | 596774 | 800 16000 80000 | 70070 69058 115 | 0.000 % |
364.74/365.09 c | 597146 | 800 16000 80000 | 70070 69430 115 | 0.000 % |
365.04/365.37 c | 597557 | 800 16000 80000 | 70070 69841 115 | 0.000 % |
365.34/365.69 c | 598009 | 800 16000 80000 | 70070 70293 115 | 0.000 % |
365.74/366.05 c | 598503 | 800 16000 80000 | 70070 63758 115 | 0.000 % |
366.04/366.38 c | 599045 | 800 16000 80000 | 70070 64300 115 | 0.000 % |
366.44/366.74 c | 599641 | 800 16000 80000 | 70070 64896 115 | 0.000 % |
366.84/367.10 c | 600296 | 800 16000 80000 | 2147483647 65551 115 | 0.000 % |
367.24/367.54 c | 601017 | 800 16000 80000 | 2147483647 66272 115 | 0.000 % |
367.74/368.09 c | 601810 | 800 16000 80000 | 2147483647 67065 115 | 0.000 % |
368.34/368.60 c | 602682 | 800 16000 80000 | 2147483647 67937 115 | 0.000 % |
368.84/369.17 c | 603642 | 800 16000 80000 | 2147483647 68897 115 | 0.000 % |
369.54/369.80 c | 604696 | 800 16000 80000 | 2147483647 69951 115 | 0.000 % |
370.24/370.53 c | 605854 | 800 16000 80000 | 2147483647 71109 115 | 0.000 % |
371.04/371.39 c | 607127 | 800 16000 80000 | 2147483647 72382 115 | 0.000 % |
371.94/372.28 c | 608529 | 800 16000 80000 | 2147483647 73784 115 | 0.000 % |
373.04/373.31 c | 610071 | 800 16000 80000 | 75259 75326 115 | 0.000 % |
374.14/374.42 c | 611765 | 800 16000 80000 | 75259 68792 115 | 0.000 % |
375.24/375.52 c | 613628 | 800 16000 80000 | 75259 70655 115 | 0.000 % |
376.44/376.75 c | 615678 | 800 16000 80000 | 75259 72705 115 | 0.000 % |
377.83/378.14 c | 617931 | 800 16000 80000 | 75259 74958 115 | 0.000 % |
379.43/379.74 c | 620409 | 800 16000 80000 | 68969 62317 115 | 0.000 % |
381.03/381.34 c | 623136 | 800 16000 80000 | 68969 65044 115 | 0.000 % |
382.83/383.16 c | 626136 | 800 16000 80000 | 68969 68044 115 | 0.000 % |
384.83/385.12 c | 629432 | 800 16000 80000 | 68969 64416 115 | 0.000 % |
386.93/387.24 c | 633058 | 800 16000 80000 | 2147483647 68042 115 | 0.000 % |
389.33/389.61 c | 637045 | 800 16000 80000 | 2147483647 72029 115 | 0.000 % |
392.03/392.39 c | 641432 | 800 16000 80000 | 2147483647 76416 116 | 0.000 % |
395.23/395.54 c | 646257 | 800 16000 80000 | 2147483647 81241 116 | 0.000 % |
398.94/399.27 c | 651562 | 800 16000 80000 | 84985 74050 117 | 0.000 % |
402.83/403.18 c | 657397 | 800 16000 80000 | 84985 79885 117 | 0.000 % |
402.93/403.25 c | 657498 | 800 16000 80000 | 84985 79986 117 | 0.000 % |
403.03/403.33 c | 657609 | 800 16000 80000 | 84985 80097 117 | 0.000 % |
403.13/403.42 c | 657732 | 800 16000 80000 | 84985 80220 117 | 0.000 % |
403.23/403.52 c | 657867 | 800 16000 80000 | 84985 80355 117 | 0.000 % |
403.33/403.64 c | 658013 | 800 16000 80000 | 84985 80501 117 | 0.000 % |
403.43/403.79 c | 658173 | 800 16000 80000 | 84985 80661 117 | 0.000 % |
403.63/403.93 c | 658350 | 800 16000 80000 | 84985 80838 117 | 0.000 % |
403.73/404.08 c | 658544 | 800 16000 80000 | 84985 81032 117 | 0.000 % |
403.93/404.28 c | 658756 | 800 16000 80000 | 84985 81244 117 | 0.000 % |
404.13/404.47 c | 658989 | 800 16000 80000 | 84985 81477 117 | 0.000 % |
404.33/404.67 c | 659247 | 800 16000 80000 | 84985 81735 117 | 0.000 % |
404.53/404.89 c | 659528 | 800 16000 80000 | 84985 82016 117 | 0.000 % |
404.83/405.16 c | 659837 | 800 16000 80000 | 84985 82325 117 | 0.000 % |
405.13/405.42 c | 660176 | 800 16000 80000 | 82490 82664 116 | 0.000 % |
405.43/405.73 c | 660548 | 800 16000 80000 | 82490 69652 116 | 0.000 % |
405.73/406.03 c | 660957 | 800 16000 80000 | 82490 70061 116 | 0.000 % |
406.03/406.34 c | 661410 | 800 16000 80000 | 82490 70514 116 | 0.000 % |
406.33/406.68 c | 661904 | 800 16000 80000 | 82490 71008 116 | 0.000 % |
406.73/407.05 c | 662446 | 800 16000 80000 | 82490 71550 116 | 0.000 % |
407.13/407.43 c | 663043 | 800 16000 80000 | 82490 72147 116 | 0.000 % |
407.62/407.93 c | 663700 | 800 16000 80000 | 82490 72804 115 | 0.000 % |
408.12/408.47 c | 664420 | 800 16000 80000 | 82490 73524 115 | 0.000 % |
408.72/409.03 c | 665214 | 800 16000 80000 | 82490 74318 115 | 0.000 % |
409.32/409.60 c | 666088 | 800 16000 80000 | 82490 75192 115 | 0.000 % |
409.93/410.28 c | 667046 | 800 16000 80000 | 82490 76150 115 | 0.000 % |
410.72/411.05 c | 668099 | 800 16000 80000 | 82490 77203 115 | 0.000 % |
411.62/411.90 c | 669257 | 800 16000 80000 | 82490 78361 115 | 0.000 % |
412.52/412.81 c | 670531 | 800 16000 80000 | 79104 68060 115 | 0.000 % |
413.42/413.71 c | 671932 | 800 16000 80000 | 79104 69461 116 | 0.000 % |
414.33/414.69 c | 673473 | 800 16000 80000 | 79104 71002 116 | 0.000 % |
415.42/415.73 c | 675168 | 800 16000 80000 | 79104 72697 116 | 0.000 % |
416.62/416.96 c | 677031 | 800 16000 80000 | 79104 74560 116 | 0.000 % |
418.02/418.34 c | 679082 | 800 16000 80000 | 79104 76611 116 | 0.000 % |
419.52/419.87 c | 681335 | 800 16000 80000 | 77529 67761 116 | 0.000 % |
421.12/421.42 c | 683814 | 800 16000 80000 | 77529 70240 116 | 0.000 % |
422.82/423.11 c | 686539 | 800 16000 80000 | 77529 72965 116 | 0.000 % |
424.72/425.03 c | 689536 | 800 16000 80000 | 77529 75962 116 | 0.000 % |
426.92/427.22 c | 692834 | 800 16000 80000 | 76427 69357 116 | 0.000 % |
429.21/429.56 c | 696461 | 800 16000 80000 | 76427 72984 116 | 0.000 % |
431.81/432.18 c | 700448 | 800 16000 80000 | 76524 67528 116 | 0.000 % |
434.51/434.81 c | 704836 | 800 16000 80000 | 76524 71916 115 | 0.000 % |
437.61/437.99 c | 709660 | 800 16000 80000 | 76524 76740 115 | 0.000 % |
441.01/441.31 c | 714968 | 800 16000 80000 | 68735 66416 115 | 0.000 % |
444.61/444.99 c | 720810 | 800 16000 80000 | 2147483647 65358 115 | 0.000 % |
448.71/449.05 c | 727228 | 800 16000 80000 | 2147483647 71776 115 | 0.000 % |
448.81/449.12 c | 727328 | 800 16000 80000 | 2147483647 71876 115 | 0.000 % |
448.81/449.20 c | 727438 | 800 16000 80000 | 2147483647 71986 115 | 0.000 % |
448.91/449.29 c | 727559 | 800 16000 80000 | 2147483647 72107 115 | 0.000 % |
449.11/449.40 c | 727694 | 800 16000 80000 | 2147483647 72242 115 | 0.000 % |
449.21/449.50 c | 727840 | 800 16000 80000 | 2147483647 72388 115 | 0.000 % |
449.31/449.62 c | 728001 | 800 16000 80000 | 2147483647 72549 115 | 0.000 % |
449.40/449.76 c | 728178 | 800 16000 80000 | 2147483647 72726 115 | 0.000 % |
449.51/449.90 c | 728371 | 800 16000 80000 | 2147483647 72919 115 | 0.000 % |
449.70/450.06 c | 728583 | 800 16000 80000 | 2147483647 73131 115 | 0.000 % |
449.90/450.26 c | 728816 | 800 16000 80000 | 2147483647 73364 115 | 0.000 % |
450.10/450.43 c | 729073 | 800 16000 80000 | 2147483647 73621 115 | 0.000 % |
450.30/450.65 c | 729356 | 800 16000 80000 | 2147483647 73904 115 | 0.000 % |
450.50/450.87 c | 729665 | 800 16000 80000 | 2147483647 74213 115 | 0.000 % |
450.80/451.10 c | 730005 | 800 16000 80000 | 74551 74553 115 | 0.000 % |
451.00/451.39 c | 730377 | 800 16000 80000 | 74551 67214 116 | 0.000 % |
451.30/451.64 c | 730787 | 800 16000 80000 | 74551 67624 116 | 0.000 % |
451.60/451.93 c | 731237 | 800 16000 80000 | 74551 68074 116 | 0.000 % |
451.90/452.24 c | 731730 | 800 16000 80000 | 74551 68567 116 | 0.000 % |
452.20/452.59 c | 732272 | 800 16000 80000 | 74551 69109 116 | 0.000 % |
452.60/452.97 c | 732868 | 800 16000 80000 | 74551 69705 116 | 0.000 % |
453.00/453.36 c | 733523 | 800 16000 80000 | 74551 70360 116 | 0.000 % |
453.50/453.80 c | 734244 | 800 16000 80000 | 74551 71081 115 | 0.000 % |
453.91/454.30 c | 735037 | 800 16000 80000 | 74551 71874 115 | 0.000 % |
454.60/454.92 c | 735908 | 800 16000 80000 | 74551 72745 115 | 0.000 % |
455.20/455.54 c | 736867 | 800 16000 80000 | 74551 73704 115 | 0.000 % |
455.90/456.20 c | 737921 | 800 16000 80000 | 74551 74758 115 | 0.000 % |
456.60/456.91 c | 739079 | 800 16000 80000 | 74551 67464 115 | 0.000 % |
457.40/457.74 c | 740353 | 800 16000 80000 | 68385 61295 115 | 0.000 % |
458.20/458.58 c | 741753 | 800 16000 80000 | 68385 62695 115 | 0.000 % |
459.20/459.51 c | 743293 | 800 16000 80000 | 68385 64235 115 | 0.000 % |
460.10/460.50 c | 744988 | 800 16000 80000 | 68385 65930 115 | 0.000 % |
461.30/461.61 c | 746852 | 800 16000 80000 | 68385 67794 115 | 0.000 % |
462.50/462.89 c | 748903 | 800 16000 80000 | 68385 62978 115 | 0.000 % |
463.90/464.27 c | 751156 | 800 16000 80000 | 2147483647 65231 115 | 0.000 % |
465.29/465.68 c | 753635 | 800 16000 80000 | 2147483647 67710 115 | 0.000 % |
466.89/467.27 c | 756360 | 800 16000 80000 | 2147483647 70435 115 | 0.000 % |
468.69/469.06 c | 759358 | 800 16000 80000 | 2147483647 73433 115 | 0.000 % |
470.79/471.15 c | 762654 | 800 16000 80000 | 2147483647 76729 115 | 0.000 % |
473.19/473.51 c | 766279 | 800 16000 80000 | 2147483647 80354 115 | 0.000 % |
475.89/476.21 c | 770267 | 800 16000 80000 | 84077 84342 115 | 0.000 % |
478.89/479.25 c | 774652 | 800 16000 80000 | 84077 78584 116 | 0.000 % |
482.09/482.49 c | 779476 | 800 16000 80000 | 84077 83408 116 | 0.000 % |
485.59/485.98 c | 784783 | 800 16000 80000 | 83933 77413 116 | 0.000 % |
489.78/490.12 c | 790618 | 800 16000 80000 | 82631 72044 115 | 0.000 % |
494.18/494.55 c | 797036 | 800 16000 80000 | 82631 78462 116 | 0.000 % |
498.58/498.91 c | 804095 | 800 16000 80000 | 81427 74000 117 | 0.000 % |
498.58/498.98 c | 804197 | 800 16000 80000 | 81427 74102 117 | 0.000 % |
498.68/499.07 c | 804307 | 800 16000 80000 | 81427 74212 117 | 0.000 % |
498.78/499.16 c | 804428 | 800 16000 80000 | 81427 74333 117 | 0.000 % |
498.88/499.26 c | 804562 | 800 16000 80000 | 81427 74467 117 | 0.000 % |
498.98/499.38 c | 804708 | 800 16000 80000 | 81427 74613 117 | 0.000 % |
499.18/499.50 c | 804869 | 800 16000 80000 | 81427 74774 117 | 0.000 % |
499.28/499.63 c | 805048 | 800 16000 80000 | 81427 74953 117 | 0.000 % |
499.38/499.78 c | 805243 | 800 16000 80000 | 81427 75148 117 | 0.000 % |
499.58/499.93 c | 805456 | 800 16000 80000 | 81427 75361 117 | 0.000 % |
499.68/500.09 c | 805690 | 800 16000 80000 | 81427 75595 117 | 0.000 % |
499.88/500.27 c | 805946 | 800 16000 80000 | 81427 75851 117 | 0.000 % |
500.08/500.49 c | 806229 | 800 16000 80000 | 81427 76134 117 | 0.000 % |
500.38/500.70 c | 806538 | 800 16000 80000 | 81427 76443 117 | 0.000 % |
500.58/500.98 c | 806877 | 800 16000 80000 | 81427 76782 117 | 0.000 % |
500.88/501.22 c | 807250 | 800 16000 80000 | 81427 77155 117 | 0.000 % |
501.18/501.54 c | 807659 | 800 16000 80000 | 81427 77564 117 | 0.000 % |
501.48/501.86 c | 808110 | 800 16000 80000 | 81427 78015 117 | 0.000 % |
501.88/502.21 c | 808604 | 800 16000 80000 | 81427 78509 117 | 0.000 % |
502.28/502.62 c | 809147 | 800 16000 80000 | 81427 79052 116 | 0.000 % |
502.67/503.06 c | 809744 | 800 16000 80000 | 81427 79649 116 | 0.000 % |
503.17/503.58 c | 810400 | 800 16000 80000 | 79906 68573 117 | 0.000 % |
503.67/504.01 c | 811120 | 800 16000 80000 | 79906 69293 117 | 0.000 % |
504.07/504.48 c | 811912 | 800 16000 80000 | 79906 70085 117 | 0.000 % |
504.67/505.03 c | 812784 | 800 16000 80000 | 79906 70957 117 | 0.000 % |
505.27/505.63 c | 813742 | 800 16000 80000 | 79906 71915 117 | 0.000 % |
505.97/506.30 c | 814797 | 800 16000 80000 | 79906 72970 117 | 0.000 % |
506.57/507.00 c | 815957 | 800 16000 80000 | 79906 74130 117 | 0.000 % |
507.47/507.81 c | 817232 | 800 16000 80000 | 79906 75405 117 | 0.000 % |
508.37/508.75 c | 818634 | 800 16000 80000 | 79906 76807 117 | 0.000 % |
509.37/509.77 c | 820174 | 800 16000 80000 | 78174 78347 117 | 0.000 % |
510.37/510.76 c | 821868 | 800 16000 80000 | 78174 70367 117 | 0.000 % |
511.57/511.93 c | 823732 | 800 16000 80000 | 78174 72231 117 | 0.000 % |
512.87/513.23 c | 825783 | 800 16000 80000 | 78174 74282 117 | 0.000 % |
514.37/514.76 c | 828038 | 800 16000 80000 | 78174 76537 117 | 0.000 % |
516.07/516.43 c | 830516 | 800 16000 80000 | 68866 60955 118 | 0.000 % |
517.47/517.84 c | 833245 | 800 16000 80000 | 68866 63684 118 | 0.000 % |
519.17/519.54 c | 836242 | 800 16000 80000 | 68866 66681 118 | 0.000 % |
521.07/521.43 c | 839538 | 800 16000 80000 | 68866 63063 117 | 0.000 % |
523.06/523.45 c | 843163 | 800 16000 80000 | 2147483647 66688 117 | 0.000 % |
525.37/525.79 c | 847150 | 800 16000 80000 | 2147483647 70675 117 | 0.000 % |
528.16/528.58 c | 851538 | 800 16000 80000 | 2147483647 75063 118 | 0.000 % |
531.26/531.68 c | 856362 | 800 16000 80000 | 2147483647 79887 118 | 0.000 % |
534.86/535.26 c | 861667 | 800 16000 80000 | 83525 73877 118 | 0.000 % |
538.56/538.98 c | 867503 | 800 16000 80000 | 83525 79713 118 | 0.000 % |
542.85/543.29 c | 873921 | 800 16000 80000 | 82210 74296 117 | 0.000 % |
547.46/547.83 c | 880982 | 800 16000 80000 | 80378 69974 119 | 0.000 % |
552.65/553.07 c | 888747 | 800 16000 80000 | 80378 77739 119 | 0.000 % |
552.75/553.14 c | 888847 | 800 16000 80000 | 80378 77839 119 | 0.000 % |
552.85/553.23 c | 888958 | 800 16000 80000 | 80378 77950 119 | 0.000 % |
552.95/553.33 c | 889079 | 800 16000 80000 | 80378 78071 119 | 0.000 % |
553.05/553.44 c | 889212 | 800 16000 80000 | 80378 78204 119 | 0.000 % |
553.15/553.55 c | 889358 | 800 16000 80000 | 80378 78350 119 | 0.000 % |
553.25/553.67 c | 889518 | 800 16000 80000 | 80378 78510 119 | 0.000 % |
553.45/553.81 c | 889695 | 800 16000 80000 | 80378 78687 119 | 0.000 % |
553.55/553.97 c | 889888 | 800 16000 80000 | 80378 78880 119 | 0.000 % |
553.75/554.12 c | 890101 | 800 16000 80000 | 78992 79093 119 | 0.000 % |
553.95/554.33 c | 890336 | 800 16000 80000 | 78992 68521 120 | 0.000 % |
554.15/554.51 c | 890593 | 800 16000 80000 | 78992 68778 120 | 0.000 % |
554.35/554.73 c | 890875 | 800 16000 80000 | 78992 69060 120 | 0.000 % |
554.55/554.96 c | 891184 | 800 16000 80000 | 78992 69369 120 | 0.000 % |
554.75/555.19 c | 891523 | 800 16000 80000 | 78992 69708 120 | 0.000 % |
555.05/555.45 c | 891896 | 800 16000 80000 | 78992 70081 120 | 0.000 % |
555.35/555.71 c | 892306 | 800 16000 80000 | 78992 70491 120 | 0.000 % |
555.65/556.02 c | 892756 | 800 16000 80000 | 78992 70941 120 | 0.000 % |
555.95/556.35 c | 893250 | 800 16000 80000 | 78992 71435 120 | 0.000 % |
556.35/556.70 c | 893793 | 800 16000 80000 | 78992 71978 120 | 0.000 % |
556.65/557.06 c | 894390 | 800 16000 80000 | 78992 72575 119 | 0.000 % |
557.05/557.43 c | 895045 | 800 16000 80000 | 78992 73230 119 | 0.000 % |
557.54/557.92 c | 895768 | 800 16000 80000 | 78992 73953 119 | 0.000 % |
558.04/558.45 c | 896560 | 800 16000 80000 | 78992 74745 119 | 0.000 % |
558.74/559.10 c | 897431 | 800 16000 80000 | 78992 75616 119 | 0.000 % |
559.34/559.72 c | 898389 | 800 16000 80000 | 78992 76574 119 | 0.000 % |
560.04/560.42 c | 899444 | 800 16000 80000 | 78992 77629 119 | 0.000 % |
560.84/561.21 c | 900603 | 800 16000 80000 | 78187 68337 119 | 0.000 % |
561.65/562.01 c | 901876 | 800 16000 80000 | 78187 69610 119 | 0.000 % |
562.44/562.87 c | 903276 | 800 16000 80000 | 78187 71010 119 | 0.000 % |
563.54/563.90 c | 904817 | 800 16000 80000 | 78187 72551 119 | 0.000 % |
564.54/565.00 c | 906511 | 800 16000 80000 | 78187 74245 119 | 0.000 % |
565.94/566.38 c | 908377 | 800 16000 80000 | 78187 76111 119 | 0.000 % |
567.34/567.78 c | 910427 | 800 16000 80000 | 77738 68423 119 | 0.000 % |
568.84/569.21 c | 912682 | 800 16000 80000 | 77738 70678 119 | 0.000 % |
570.34/570.79 c | 915161 | 800 16000 80000 | 77738 73157 119 | 0.000 % |
572.14/572.54 c | 917886 | 800 16000 80000 | 77738 75882 119 | 0.000 % |
574.14/574.51 c | 920887 | 800 16000 80000 | 77997 69416 119 | 0.000 % |
576.23/576.67 c | 924183 | 800 16000 80000 | 77997 72712 118 | 0.000 % |
578.63/579.04 c | 927808 | 800 16000 80000 | 77997 76337 118 | 0.000 % |
581.23/581.66 c | 931795 | 800 16000 80000 | 68594 61847 117 | 0.000 % |
583.93/584.37 c | 936180 | 800 16000 80000 | 68594 66232 117 | 0.000 % |
586.83/587.30 c | 941003 | 800 16000 80000 | 2147483647 64170 117 | 0.000 % |
589.93/590.34 c | 946309 | 800 16000 80000 | 2147483647 69476 118 | 0.000 % |
593.43/593.84 c | 952144 | 800 16000 80000 | 73167 67593 117 | 0.000 % |
597.33/597.74 c | 958563 | 800 16000 80000 | 73167 66411 117 | 0.000 % |
601.23/601.69 c | 965624 | 800 16000 80000 | 67848 66526 118 | 0.000 % |
605.82/606.25 c | 973388 | 800 16000 80000 | 2147483647 67479 119 | 0.000 % |
611.22/611.66 c | 981928 | 800 16000 80000 | 74091 68090 119 | 0.000 % |
611.32/611.73 c | 982030 | 800 16000 80000 | 74091 68192 119 | 0.000 % |
611.42/611.82 c | 982141 | 800 16000 80000 | 74091 68303 119 | 0.000 % |
611.52/611.90 c | 982262 | 800 16000 80000 | 74091 68424 119 | 0.000 % |
611.52/611.98 c | 982397 | 800 16000 80000 | 74091 68559 119 | 0.000 % |
611.62/612.07 c | 982543 | 800 16000 80000 | 74091 68705 119 | 0.000 % |
611.72/612.19 c | 982703 | 800 16000 80000 | 74091 68865 119 | 0.000 % |
611.92/612.32 c | 982883 | 800 16000 80000 | 74091 69045 119 | 0.000 % |
612.02/612.45 c | 983077 | 800 16000 80000 | 74091 69239 119 | 0.000 % |
612.22/612.62 c | 983290 | 800 16000 80000 | 74091 69452 119 | 0.000 % |
612.32/612.77 c | 983526 | 800 16000 80000 | 74091 69688 119 | 0.000 % |
612.52/612.96 c | 983783 | 800 16000 80000 | 74091 69945 119 | 0.000 % |
612.72/613.16 c | 984065 | 800 16000 80000 | 74091 70227 119 | 0.000 % |
613.02/613.40 c | 984375 | 800 16000 80000 | 74091 70537 119 | 0.000 % |
613.22/613.63 c | 984714 | 800 16000 80000 | 74091 70876 119 | 0.000 % |
613.42/613.88 c | 985086 | 800 16000 80000 | 74091 71248 119 | 0.000 % |
613.71/614.16 c | 985495 | 800 16000 80000 | 74091 71657 119 | 0.000 % |
614.01/614.43 c | 985944 | 800 16000 80000 | 74091 72106 118 | 0.000 % |
614.31/614.74 c | 986438 | 800 16000 80000 | 74091 72600 118 | 0.000 % |
614.71/615.11 c | 986984 | 800 16000 80000 | 74091 73146 118 | 0.000 % |
615.11/615.50 c | 987580 | 800 16000 80000 | 74091 73742 118 | 0.000 % |
615.62/616.03 c | 988235 | 800 16000 80000 | 74091 65321 119 | 0.000 % |
616.01/616.45 c | 988955 | 800 16000 80000 | 74091 66041 119 | 0.000 % |
616.51/616.93 c | 989748 | 800 16000 80000 | 74091 66834 119 | 0.000 % |
617.01/617.47 c | 990619 | 800 16000 80000 | 67088 59915 119 | 0.000 % |
617.51/617.98 c | 991579 | 800 16000 80000 | 67088 60875 119 | 0.000 % |
618.11/618.59 c | 992632 | 800 16000 80000 | 67088 61928 119 | 0.000 % |
618.82/619.24 c | 993792 | 800 16000 80000 | 67088 63088 119 | 0.000 % |
619.51/619.97 c | 995066 | 800 16000 80000 | 67088 64362 119 | 0.000 % |
620.41/620.85 c | 996467 | 800 16000 80000 | 67088 65763 119 | 0.000 % |
621.41/621.87 c | 998008 | 800 16000 80000 | 67088 67304 118 | 0.000 % |
622.41/622.88 c | 999702 | 800 16000 80000 | 67088 62268 118 | 0.000 % |
623.51/623.92 c | 1001565 | 800 16000 80000 | 2147483647 64131 118 | 0.000 % |
624.81/625.27 c | 1003616 | 800 16000 80000 | 2147483647 66182 118 | 0.000 % |
626.31/626.75 c | 1005869 | 800 16000 80000 | 2147483647 68435 118 | 0.000 % |
627.91/628.34 c | 1008347 | 800 16000 80000 | 2147483647 70913 118 | 0.000 % |
629.71/630.12 c | 1011073 | 800 16000 80000 | 2147483647 73639 118 | 0.000 % |
631.81/632.29 c | 1014070 | 800 16000 80000 | 2147483647 76636 118 | 0.000 % |
634.11/634.57 c | 1017367 | 800 16000 80000 | 2147483647 79933 118 | 0.000 % |
636.81/637.23 c | 1020992 | 800 16000 80000 | 82567 72060 117 | 0.000 % |
639.40/639.88 c | 1024979 | 800 16000 80000 | 82567 76047 117 | 0.000 % |
642.50/642.97 c | 1029364 | 800 16000 80000 | 82567 80432 117 | 0.000 % |
645.90/646.37 c | 1034187 | 800 16000 80000 | 81068 73575 116 | 0.000 % |
649.50/649.95 c | 1039493 | 800 16000 80000 | 81068 78881 116 | 0.000 % |
653.50/653.91 c | 1045328 | 800 16000 80000 | 79388 73187 116 | 0.000 % |
658.10/658.56 c | 1051746 | 800 16000 80000 | 77859 69642 116 | 0.000 % |
662.69/663.19 c | 1058806 | 800 16000 80000 | 77859 76702 116 | 0.000 % |
668.49/668.94 c | 1066572 | 800 16000 80000 | 77899 74281 118 | 0.000 % |
673.89/674.30 c | 1075113 | 800 16000 80000 | 77709 72539 120 | 0.000 % |
680.08/680.56 c | 1084507 | 800 16000 80000 | 77426 72168 121 | 0.000 % |
680.18/680.64 c | 1084607 | 800 16000 80000 | 77426 72268 121 | 0.000 % |
680.28/680.72 c | 1084717 | 800 16000 80000 | 77426 72378 121 | 0.000 % |
680.39/680.80 c | 1084838 | 800 16000 80000 | 77426 72499 121 | 0.000 % |
680.49/680.91 c | 1084972 | 800 16000 80000 | 77426 72633 121 | 0.000 % |
680.58/681.03 c | 1085118 | 800 16000 80000 | 77426 72779 121 | 0.000 % |
680.68/681.15 c | 1085279 | 800 16000 80000 | 77426 72940 121 | 0.000 % |
680.79/681.25 c | 1085455 | 800 16000 80000 | 77426 73116 121 | 0.000 % |
680.89/681.38 c | 1085649 | 800 16000 80000 | 77426 73310 121 | 0.000 % |
681.09/681.53 c | 1085862 | 800 16000 80000 | 77426 73523 121 | 0.000 % |
681.19/681.67 c | 1086095 | 800 16000 80000 | 77426 73756 121 | 0.000 % |
681.39/681.87 c | 1086351 | 800 16000 80000 | 77426 74012 121 | 0.000 % |
681.60/682.06 c | 1086632 | 800 16000 80000 | 77426 74293 120 | 0.000 % |
681.79/682.26 c | 1086943 | 800 16000 80000 | 77426 74604 120 | 0.000 % |
682.09/682.51 c | 1087283 | 800 16000 80000 | 77426 74944 120 | 0.000 % |
682.29/682.77 c | 1087655 | 800 16000 80000 | 77426 75316 120 | 0.000 % |
682.60/683.04 c | 1088066 | 800 16000 80000 | 77426 75727 120 | 0.000 % |
682.99/683.40 c | 1088516 | 800 16000 80000 | 77426 76177 120 | 0.000 % |
683.29/683.77 c | 1089010 | 800 16000 80000 | 77426 76671 120 | 0.000 % |
683.70/684.17 c | 1089552 | 800 16000 80000 | 77426 77213 120 | 0.000 % |
684.19/684.68 c | 1090149 | 800 16000 80000 | 77662 77810 120 | 0.000 % |
684.69/685.13 c | 1090804 | 800 16000 80000 | 77662 67408 120 | 0.000 % |
685.09/685.54 c | 1091524 | 800 16000 80000 | 77662 68128 120 | 0.000 % |
685.59/686.03 c | 1092316 | 800 16000 80000 | 77662 68920 120 | 0.000 % |
686.09/686.57 c | 1093187 | 800 16000 80000 | 77662 69791 120 | 0.000 % |
686.69/687.15 c | 1094147 | 800 16000 80000 | 77662 70751 120 | 0.000 % |
687.39/687.80 c | 1095200 | 800 16000 80000 | 77662 71804 120 | 0.000 % |
687.99/688.48 c | 1096359 | 800 16000 80000 | 77662 72963 120 | 0.000 % |
688.89/689.36 c | 1097632 | 800 16000 80000 | 77662 74236 120 | 0.000 % |
689.79/690.23 c | 1099032 | 800 16000 80000 | 77662 75636 120 | 0.000 % |
690.88/691.35 c | 1100572 | 800 16000 80000 | 76605 68256 120 | 0.000 % |
691.98/692.41 c | 1102266 | 800 16000 80000 | 76605 69950 120 | 0.000 % |
693.18/693.62 c | 1104130 | 800 16000 80000 | 76605 71814 120 | 0.000 % |
694.48/694.91 c | 1106179 | 800 16000 80000 | 76605 73863 120 | 0.000 % |
695.98/696.45 c | 1108435 | 800 16000 80000 | 76605 76119 120 | 0.000 % |
697.58/698.04 c | 1110913 | 800 16000 80000 | 68529 61657 119 | 0.000 % |
699.18/699.63 c | 1113639 | 800 16000 80000 | 68529 64383 119 | 0.000 % |
701.08/701.53 c | 1116636 | 800 16000 80000 | 68529 67380 120 | 0.000 % |
703.08/703.56 c | 1119934 | 800 16000 80000 | 68529 63800 119 | 0.000 % |
705.18/705.61 c | 1123560 | 800 16000 80000 | 2147483647 67426 119 | 0.000 % |
707.57/708.04 c | 1127547 | 800 16000 80000 | 2147483647 71413 120 | 0.000 % |
710.37/710.83 c | 1131933 | 800 16000 80000 | 2147483647 75799 119 | 0.000 % |
713.77/714.22 c | 1136757 | 800 16000 80000 | 2147483647 80623 119 | 0.000 % |
717.47/717.92 c | 1142063 | 800 16000 80000 | 83867 73712 119 | 0.000 % |
721.27/721.79 c | 1147899 | 800 16000 80000 | 83867 79548 119 | 0.000 % |
725.57/726.03 c | 1154317 | 800 16000 80000 | 81649 74104 118 | 0.000 % |
730.36/730.83 c | 1161376 | 800 16000 80000 | 79787 71001 119 | 0.000 % |
735.76/736.25 c | 1169140 | 800 16000 80000 | 79787 78765 119 | 0.000 % |
741.76/742.20 c | 1177680 | 800 16000 80000 | 79627 76752 121 | 0.000 % |
748.05/748.56 c | 1187074 | 800 16000 80000 | 79073 75660 121 | 0.000 % |
754.95/755.41 c | 1197407 | 800 16000 80000 | 78586 75790 122 | 0.000 % |
754.95/755.48 c | 1197508 | 800 16000 80000 | 78586 75891 122 | 0.000 % |
755.05/755.58 c | 1197619 | 800 16000 80000 | 78586 76002 122 | 0.000 % |
755.15/755.68 c | 1197740 | 800 16000 80000 | 78586 76123 122 | 0.000 % |
755.25/755.76 c | 1197873 | 800 16000 80000 | 78586 76256 122 | 0.000 % |
755.35/755.86 c | 1198019 | 800 16000 80000 | 78586 76402 122 | 0.000 % |
755.55/756.01 c | 1198179 | 800 16000 80000 | 78586 76562 122 | 0.000 % |
755.65/756.14 c | 1198355 | 800 16000 80000 | 78586 76738 122 | 0.000 % |
755.85/756.30 c | 1198548 | 800 16000 80000 | 78586 76931 121 | 0.000 % |
755.95/756.46 c | 1198761 | 800 16000 80000 | 78586 77144 121 | 0.000 % |
756.15/756.64 c | 1198994 | 800 16000 80000 | 78586 77377 121 | 0.000 % |
756.35/756.85 c | 1199250 | 800 16000 80000 | 78586 77633 121 | 0.000 % |
756.55/757.06 c | 1199535 | 800 16000 80000 | 78586 77918 121 | 0.000 % |
756.85/757.34 c | 1199847 | 800 16000 80000 | 78586 78230 121 | 0.000 % |
757.05/757.58 c | 1200186 | 800 16000 80000 | 78383 78569 121 | 0.000 % |
757.35/757.88 c | 1200558 | 800 16000 80000 | 78383 67757 122 | 0.000 % |
757.65/758.18 c | 1200969 | 800 16000 80000 | 78383 68168 122 | 0.000 % |
757.95/758.46 c | 1201420 | 800 16000 80000 | 78383 68619 121 | 0.000 % |
758.25/758.79 c | 1201913 | 800 16000 80000 | 78383 69112 121 | 0.000 % |
758.65/759.14 c | 1202455 | 800 16000 80000 | 78383 69654 121 | 0.000 % |
759.05/759.57 c | 1203051 | 800 16000 80000 | 78383 70250 121 | 0.000 % |
759.55/760.04 c | 1203707 | 800 16000 80000 | 78383 70906 121 | 0.000 % |
760.05/760.54 c | 1204427 | 800 16000 80000 | 78383 71626 121 | 0.000 % |
760.55/761.05 c | 1205220 | 800 16000 80000 | 78383 72419 121 | 0.000 % |
761.05/761.58 c | 1206091 | 800 16000 80000 | 78383 73290 121 | 0.000 % |
761.85/762.34 c | 1207050 | 800 16000 80000 | 78383 74249 121 | 0.000 % |
762.65/763.17 c | 1208103 | 800 16000 80000 | 78383 75302 121 | 0.000 % |
763.45/763.99 c | 1209261 | 800 16000 80000 | 78383 76460 121 | 0.000 % |
764.35/764.85 c | 1210537 | 800 16000 80000 | 77199 66614 120 | 0.000 % |
765.24/765.77 c | 1211938 | 800 16000 80000 | 77199 68015 120 | 0.000 % |
766.25/766.72 c | 1213478 | 800 16000 80000 | 77199 69555 120 | 0.000 % |
767.25/767.78 c | 1215172 | 800 16000 80000 | 77199 71249 120 | 0.000 % |
768.35/768.86 c | 1217035 | 800 16000 80000 | 77199 73112 120 | 0.000 % |
769.74/770.26 c | 1219085 | 800 16000 80000 | 77199 75162 120 | 0.000 % |
771.24/771.79 c | 1221340 | 800 16000 80000 | 76078 68079 119 | 0.000 % |
772.75/773.29 c | 1223820 | 800 16000 80000 | 76078 70559 119 | 0.000 % |
774.44/774.92 c | 1226545 | 800 16000 80000 | 76078 73284 118 | 0.000 % |
776.44/776.98 c | 1229543 | 800 16000 80000 | 76078 76282 118 | 0.000 % |
778.34/778.87 c | 1232839 | 800 16000 80000 | 68045 63179 117 | 0.000 % |
780.44/780.90 c | 1236464 | 800 16000 80000 | 68045 66804 117 | 0.000 % |
782.64/783.16 c | 1240451 | 800 16000 80000 | 2147483647 63958 117 | 0.000 % |
785.24/785.76 c | 1244837 | 800 16000 80000 | 2147483647 68344 117 | 0.000 % |
788.43/788.92 c | 1249660 | 800 16000 80000 | 2147483647 73167 117 | 0.000 % |
792.13/792.67 c | 1254967 | 800 16000 80000 | 2147483647 78474 117 | 0.000 % |
796.54/797.00 c | 1260802 | 800 16000 80000 | 83507 72874 117 | 0.000 % |
801.04/801.55 c | 1267220 | 800 16000 80000 | 83507 79292 116 | 0.000 % |
806.03/806.59 c | 1274280 | 800 16000 80000 | 82073 74212 117 | 0.000 % |
811.33/811.88 c | 1282044 | 800 16000 80000 | 79932 71031 119 | 0.000 % |
816.73/817.23 c | 1290584 | 800 16000 80000 | 78988 67748 119 | 0.000 % |
822.53/823.00 c | 1299978 | 800 16000 80000 | 78988 77142 119 | 0.000 % |
829.52/830.08 c | 1310312 | 800 16000 80000 | 76428 65878 119 | 0.000 % |
837.02/837.55 c | 1321680 | 800 16000 80000 | 75566 67575 120 | 0.000 % |
837.12/837.63 c | 1321781 | 800 16000 80000 | 75566 67676 120 | 0.000 % |
837.22/837.70 c | 1321892 | 800 16000 80000 | 75566 67787 120 | 0.000 % |
837.22/837.78 c | 1322014 | 800 16000 80000 | 75566 67909 120 | 0.000 % |
837.32/837.89 c | 1322147 | 800 16000 80000 | 75566 68042 120 | 0.000 % |
837.52/838.01 c | 1322293 | 800 16000 80000 | 75566 68188 120 | 0.000 % |
837.62/838.14 c | 1322454 | 800 16000 80000 | 75566 68349 120 | 0.000 % |
837.72/838.27 c | 1322631 | 800 16000 80000 | 75566 68526 120 | 0.000 % |
837.82/838.39 c | 1322824 | 800 16000 80000 | 75566 68719 120 | 0.000 % |
838.02/838.53 c | 1323036 | 800 16000 80000 | 75566 68931 120 | 0.000 % |
838.22/838.73 c | 1323270 | 800 16000 80000 | 75566 69165 120 | 0.000 % |
838.32/838.89 c | 1323526 | 800 16000 80000 | 75566 69421 120 | 0.000 % |
838.62/839.13 c | 1323808 | 800 16000 80000 | 75566 69703 120 | 0.000 % |
838.82/839.34 c | 1324117 | 800 16000 80000 | 75566 70012 120 | 0.000 % |
839.02/839.55 c | 1324460 | 800 16000 80000 | 75566 70355 120 | 0.000 % |
839.32/839.81 c | 1324832 | 800 16000 80000 | 75566 70727 120 | 0.000 % |
839.52/840.09 c | 1325241 | 800 16000 80000 | 75566 71136 120 | 0.000 % |
839.92/840.41 c | 1325691 | 800 16000 80000 | 75566 71586 120 | 0.000 % |
840.21/840.72 c | 1326184 | 800 16000 80000 | 75566 72079 120 | 0.000 % |
840.51/841.07 c | 1326726 | 800 16000 80000 | 75566 72621 120 | 0.000 % |
840.92/841.47 c | 1327324 | 800 16000 80000 | 75566 73219 119 | 0.000 % |
841.41/841.93 c | 1327979 | 800 16000 80000 | 75566 73874 119 | 0.000 % |
841.81/842.40 c | 1328700 | 800 16000 80000 | 75566 74595 119 | 0.000 % |
842.31/842.88 c | 1329492 | 800 16000 80000 | 75566 75387 119 | 0.000 % |
843.01/843.55 c | 1330363 | 800 16000 80000 | 66420 58682 118 | 0.000 % |
843.51/844.06 c | 1331323 | 800 16000 80000 | 66420 59642 118 | 0.000 % |
844.11/844.64 c | 1332378 | 800 16000 80000 | 66420 60697 118 | 0.000 % |
844.71/845.29 c | 1333538 | 800 16000 80000 | 66420 61857 118 | 0.000 % |
845.51/846.09 c | 1334812 | 800 16000 80000 | 66420 63131 118 | 0.000 % |
846.41/846.92 c | 1336213 | 800 16000 80000 | 66420 64532 118 | 0.000 % |
847.31/847.84 c | 1337754 | 800 16000 80000 | 66420 66073 118 | 0.000 % |
848.20/848.79 c | 1339448 | 800 16000 80000 | 66420 61097 117 | 0.000 % |
849.30/849.81 c | 1341311 | 800 16000 80000 | 2147483647 62960 116 | 0.000 % |
850.40/850.99 c | 1343361 | 800 16000 80000 | 2147483647 65010 116 | 0.000 % |
851.70/852.27 c | 1345614 | 800 16000 80000 | 2147483647 67263 116 | 0.000 % |
853.30/853.82 c | 1348095 | 800 16000 80000 | 2147483647 69744 116 | 0.000 % |
854.90/855.48 c | 1350821 | 800 16000 80000 | 2147483647 72470 116 | 0.000 % |
856.90/857.43 c | 1353819 | 800 16000 80000 | 2147483647 75468 117 | 0.000 % |
859.10/859.69 c | 1357115 | 800 16000 80000 | 2147483647 78764 117 | 0.000 % |
861.70/862.23 c | 1360741 | 800 16000 80000 | 81649 72154 116 | 0.000 % |
864.50/865.08 c | 1364728 | 800 16000 80000 | 81649 76141 117 | 0.000 % |
867.50/868.06 c | 1369114 | 800 16000 80000 | 81649 80527 116 | 0.000 % |
870.80/871.37 c | 1373937 | 800 16000 80000 | 81413 73681 117 | 0.000 % |
874.49/875.01 c | 1379242 | 800 16000 80000 | 81413 78986 117 | 0.000 % |
878.30/878.84 c | 1385078 | 800 16000 80000 | 79744 73438 117 | 0.000 % |
882.39/882.98 c | 1391496 | 800 16000 80000 | 78362 68801 117 | 0.000 % |
886.89/887.43 c | 1398558 | 800 16000 80000 | 78362 75863 117 | 0.000 % |
891.69/892.21 c | 1406324 | 800 16000 80000 | 77305 73342 118 | 0.000 % |
897.48/898.07 c | 1414864 | 800 16000 80000 | 77019 71664 119 | 0.000 % |
903.48/904.03 c | 1424260 | 800 16000 80000 | 76800 71899 119 | 0.000 % |
910.78/911.38 c | 1434595 | 800 16000 80000 | 68863 65561 119 | 0.000 % |
917.48/918.06 c | 1445962 | 800 16000 80000 | 2147483647 69793 119 | 0.000 % |
925.97/926.58 c | 1458466 | 800 16000 80000 | 73831 73557 120 | 0.000 % |
926.07/926.65 c | 1458566 | 800 16000 80000 | 73831 73657 120 | 0.000 % |
926.17/926.76 c | 1458676 | 800 16000 80000 | 73831 73767 120 | 0.000 % |
926.27/926.86 c | 1458798 | 800 16000 80000 | 73831 73889 120 | 0.000 % |
926.37/926.99 c | 1458932 | 800 16000 80000 | 73831 64267 120 | 0.000 % |
926.47/927.08 c | 1459079 | 800 16000 80000 | 73831 64414 120 | 0.000 % |
926.68/927.21 c | 1459241 | 800 16000 80000 | 73831 64576 120 | 0.000 % |
926.78/927.32 c | 1459419 | 800 16000 80000 | 73831 64754 120 | 0.000 % |
926.87/927.46 c | 1459614 | 800 16000 80000 | 73831 64949 120 | 0.000 % |
926.97/927.60 c | 1459827 | 800 16000 80000 | 73831 65162 120 | 0.000 % |
927.17/927.73 c | 1460060 | 800 16000 80000 | 65336 65395 120 | 0.000 % |
927.37/927.95 c | 1460316 | 800 16000 80000 | 65336 57257 120 | 0.000 % |
927.57/928.11 c | 1460598 | 800 16000 80000 | 65336 57539 120 | 0.000 % |
927.77/928.32 c | 1460907 | 800 16000 80000 | 65336 57848 120 | 0.000 % |
927.97/928.50 c | 1461246 | 800 16000 80000 | 65336 58187 120 | 0.000 % |
928.17/928.72 c | 1461618 | 800 16000 80000 | 65336 58559 120 | 0.000 % |
928.37/928.95 c | 1462028 | 800 16000 80000 | 65336 58969 120 | 0.000 % |
928.67/929.25 c | 1462477 | 800 16000 80000 | 65336 59418 119 | 0.000 % |
928.97/929.55 c | 1462970 | 800 16000 80000 | 65336 59911 119 | 0.000 % |
929.27/929.86 c | 1463515 | 800 16000 80000 | 65336 60456 119 | 0.000 % |
929.67/930.20 c | 1464111 | 800 16000 80000 | 65336 61052 119 | 0.000 % |
929.97/930.56 c | 1464766 | 800 16000 80000 | 65336 61707 119 | 0.000 % |
930.37/930.95 c | 1465489 | 800 16000 80000 | 65336 62430 119 | 0.000 % |
930.87/931.41 c | 1466281 | 800 16000 80000 | 65336 63222 119 | 0.000 % |
931.37/931.94 c | 1467152 | 800 16000 80000 | 65336 64093 119 | 0.000 % |
931.97/932.53 c | 1468110 | 800 16000 80000 | 65336 65051 119 | 0.000 % |
932.67/933.21 c | 1469163 | 800 16000 80000 | 65336 59541 119 | 0.000 % |
933.27/933.83 c | 1470322 | 800 16000 80000 | 2147483647 60700 119 | 0.000 % |
933.87/934.45 c | 1471595 | 800 16000 80000 | 2147483647 61973 118 | 0.000 % |
934.66/935.26 c | 1472996 | 800 16000 80000 | 2147483647 63374 119 | 0.000 % |
935.66/936.21 c | 1474537 | 800 16000 80000 | 2147483647 64915 118 | 0.000 % |
936.57/937.19 c | 1476232 | 800 16000 80000 | 2147483647 66610 118 | 0.000 % |
937.77/938.31 c | 1478095 | 800 16000 80000 | 2147483647 68473 118 | 0.000 % |
939.06/939.69 c | 1480144 | 800 16000 80000 | 2147483647 70522 118 | 0.000 % |
940.56/941.10 c | 1482397 | 800 16000 80000 | 2147483647 72775 118 | 0.000 % |
942.07/942.63 c | 1484876 | 800 16000 80000 | 2147483647 75254 118 | 0.000 % |
943.86/944.44 c | 1487602 | 800 16000 80000 | 2147483647 77980 118 | 0.000 % |
946.06/946.66 c | 1490599 | 800 16000 80000 | 80378 71311 118 | 0.000 % |
948.16/948.77 c | 1493897 | 800 16000 80000 | 80378 74609 118 | 0.000 % |
950.66/951.20 c | 1497523 | 800 16000 80000 | 80378 78235 118 | 0.000 % |
953.36/954.00 c | 1501510 | 800 16000 80000 | 70100 62468 117 | 0.000 % |
956.05/956.61 c | 1505895 | 800 16000 80000 | 70100 66853 117 | 0.000 % |
959.15/959.72 c | 1510720 | 800 16000 80000 | 63674 57998 115 | 0.000 % |
962.15/962.76 c | 1516025 | 800 16000 80000 | 63674 63303 115 | 0.000 % |
965.55/966.10 c | 1521860 | 800 16000 80000 | 2147483647 62740 115 | 0.000 % |
969.74/970.37 c | 1528278 | 800 16000 80000 | 2147483647 69158 116 | 0.000 % |
974.44/975.06 c | 1535338 | 800 16000 80000 | 2147483647 76218 117 | 0.000 % |
979.94/980.50 c | 1543103 | 800 16000 80000 | 80880 73594 118 | 0.000 % |
986.14/986.75 c | 1551646 | 800 16000 80000 | 80492 69824 118 | 0.000 % |
992.44/993.05 c | 1561043 | 800 16000 80000 | 78179 67797 119 | 0.000 % |
999.13/999.71 c | 1571376 | 800 16000 80000 | 76756 67449 120 | 0.000 % |
1006.93/1007.53 c | 1582744 | 800 16000 80000 | 76073 68365 121 | 0.000 % |
1015.23/1015.88 c | 1595246 | 800 16000 80000 | 75621 70434 122 | 0.000 % |
1025.02/1025.64 c | 1609000 | 800 16000 80000 | 75190 74420 123 | 0.000 % |
1025.12/1025.72 c | 1609100 | 800 16000 80000 | 75190 74520 123 | 0.000 % |
1025.22/1025.80 c | 1609210 | 800 16000 80000 | 75190 74630 123 | 0.000 % |
1025.22/1025.89 c | 1609331 | 800 16000 80000 | 75190 74751 123 | 0.000 % |
1025.32/1025.98 c | 1609464 | 800 16000 80000 | 75190 74884 123 | 0.000 % |
1025.42/1026.09 c | 1609611 | 800 16000 80000 | 75190 75031 123 | 0.000 % |
1025.63/1026.21 c | 1609771 | 800 16000 80000 | 75190 75191 123 | 0.000 % |
1025.73/1026.36 c | 1609948 | 800 16000 80000 | 75190 65079 123 | 0.000 % |
1025.82/1026.48 c | 1610141 | 800 16000 80000 | 65131 65272 123 | 0.000 % |
1026.02/1026.63 c | 1610354 | 800 16000 80000 | 65131 56713 124 | 0.000 % |
1026.12/1026.76 c | 1610587 | 800 16000 80000 | 65131 56946 124 | 0.000 % |
1026.32/1026.92 c | 1610843 | 800 16000 80000 | 65131 57202 124 | 0.000 % |
1026.42/1027.08 c | 1611125 | 800 16000 80000 | 65131 57484 124 | 0.000 % |
1026.62/1027.24 c | 1611434 | 800 16000 80000 | 65131 57793 124 | 0.000 % |
1026.82/1027.43 c | 1611775 | 800 16000 80000 | 65131 58134 124 | 0.000 % |
1027.02/1027.63 c | 1612147 | 800 16000 80000 | 65131 58506 124 | 0.000 % |
1027.22/1027.89 c | 1612556 | 800 16000 80000 | 65131 58915 124 | 0.000 % |
1027.52/1028.16 c | 1613005 | 800 16000 80000 | 65131 59364 123 | 0.000 % |
1027.82/1028.48 c | 1613498 | 800 16000 80000 | 65131 59857 123 | 0.000 % |
1028.22/1028.80 c | 1614040 | 800 16000 80000 | 65131 60399 123 | 0.000 % |
1028.52/1029.18 c | 1614637 | 800 16000 80000 | 65131 60996 123 | 0.000 % |
1028.92/1029.54 c | 1615293 | 800 16000 80000 | 65131 61652 123 | 0.000 % |
1029.32/1029.93 c | 1616013 | 800 16000 80000 | 65131 62372 123 | 0.000 % |
1029.82/1030.44 c | 1616808 | 800 16000 80000 | 65131 63167 123 | 0.000 % |
1030.32/1030.96 c | 1617679 | 800 16000 80000 | 65131 64038 123 | 0.000 % |
1030.92/1031.55 c | 1618638 | 800 16000 80000 | 65131 64997 123 | 0.000 % |
1031.62/1032.26 c | 1619693 | 800 16000 80000 | 65131 59513 123 | 0.000 % |
1032.22/1032.89 c | 1620851 | 800 16000 80000 | 2147483647 60671 123 | 0.000 % |
1033.02/1033.63 c | 1622127 | 800 16000 80000 | 2147483647 61947 123 | 0.000 % |
1033.72/1034.34 c | 1623527 | 800 16000 80000 | 2147483647 63347 122 | 0.000 % |
1034.52/1035.19 c | 1625068 | 800 16000 80000 | 2147483647 64888 122 | 0.000 % |
1035.52/1036.14 c | 1626763 | 800 16000 80000 | 2147483647 66583 122 | 0.000 % |
1036.62/1037.27 c | 1628629 | 800 16000 80000 | 2147483647 68449 122 | 0.000 % |
1037.91/1038.53 c | 1630680 | 800 16000 80000 | 2147483647 70500 122 | 0.000 % |
1039.31/1039.92 c | 1632934 | 800 16000 80000 | 2147483647 72754 122 | 0.000 % |
1040.91/1041.51 c | 1635414 | 800 16000 80000 | 2147483647 75234 122 | 0.000 % |
1042.61/1043.27 c | 1638140 | 800 16000 80000 | 2147483647 77960 122 | 0.000 % |
1044.72/1045.31 c | 1641139 | 800 16000 80000 | 79822 72132 121 | 0.000 % |
1046.82/1047.43 c | 1644435 | 800 16000 80000 | 79822 75428 121 | 0.000 % |
1049.22/1049.88 c | 1648060 | 800 16000 80000 | 79822 79053 121 | 0.000 % |
1051.82/1052.47 c | 1652047 | 800 16000 80000 | 71504 65082 119 | 0.000 % |
1054.41/1055.01 c | 1656434 | 800 16000 80000 | 71504 69469 119 | 0.000 % |
1057.31/1057.94 c | 1661258 | 800 16000 80000 | 65470 59927 117 | 0.000 % |
1060.31/1060.99 c | 1666564 | 800 16000 80000 | 65470 65233 117 | 0.000 % |
1063.51/1064.18 c | 1672400 | 800 16000 80000 | 2147483647 64493 116 | 0.000 % |
1067.31/1067.98 c | 1678819 | 800 16000 80000 | 2147483647 70912 117 | 0.000 % |
1072.01/1072.65 c | 1685879 | 800 16000 80000 | 2147483647 77972 117 | 0.000 % |
1077.31/1077.98 c | 1693643 | 800 16000 80000 | 82094 75577 119 | 0.000 % |
1083.30/1083.96 c | 1702184 | 800 16000 80000 | 81934 72220 119 | 0.000 % |
1090.30/1090.90 c | 1711579 | 800 16000 80000 | 80036 69877 119 | 0.000 % |
1096.90/1097.54 c | 1721913 | 800 16000 80000 | 78299 68375 121 | 0.000 % |
1103.99/1104.67 c | 1733280 | 800 16000 80000 | 76464 69162 122 | 0.000 % |
1112.39/1113.09 c | 1745783 | 800 16000 80000 | 75883 72022 122 | 0.000 % |
1122.49/1123.11 c | 1759535 | 800 16000 80000 | 66274 59715 123 | 0.000 % |
1130.38/1131.06 c | 1774662 | 800 16000 80000 | 2147483647 62428 123 | 0.000 % |
1130.48/1131.12 c | 1774762 | 800 16000 80000 | 2147483647 62528 123 | 0.000 % |
1130.48/1131.19 c | 1774872 | 800 16000 80000 | 2147483647 62638 123 | 0.000 % |
1130.58/1131.27 c | 1774993 | 800 16000 80000 | 2147483647 62759 123 | 0.000 % |
1130.68/1131.36 c | 1775127 | 800 16000 80000 | 2147483647 62893 123 | 0.000 % |
1130.78/1131.44 c | 1775275 | 800 16000 80000 | 2147483647 63041 123 | 0.000 % |
1130.88/1131.53 c | 1775435 | 800 16000 80000 | 2147483647 63201 123 | 0.000 % |
1130.98/1131.64 c | 1775615 | 800 16000 80000 | 2147483647 63381 123 | 0.000 % |
1131.08/1131.77 c | 1775810 | 800 16000 80000 | 2147483647 63576 123 | 0.000 % |
1131.29/1131.91 c | 1776023 | 800 16000 80000 | 2147483647 63789 123 | 0.000 % |
1131.48/1132.10 c | 1776256 | 800 16000 80000 | 2147483647 64022 123 | 0.000 % |
1131.58/1132.29 c | 1776514 | 800 16000 80000 | 2147483647 64280 123 | 0.000 % |
1131.78/1132.49 c | 1776797 | 800 16000 80000 | 2147483647 64563 123 | 0.000 % |
1131.98/1132.69 c | 1777107 | 800 16000 80000 | 2147483647 64873 123 | 0.000 % |
1132.28/1132.91 c | 1777446 | 800 16000 80000 | 2147483647 65212 122 | 0.000 % |
1132.48/1133.14 c | 1777818 | 800 16000 80000 | 2147483647 65584 122 | 0.000 % |
1132.68/1133.38 c | 1778229 | 800 16000 80000 | 2147483647 65995 122 | 0.000 % |
1132.98/1133.68 c | 1778678 | 800 16000 80000 | 2147483647 66444 122 | 0.000 % |
1133.28/1133.99 c | 1779171 | 800 16000 80000 | 2147483647 66937 122 | 0.000 % |
1133.68/1134.33 c | 1779715 | 800 16000 80000 | 2147483647 67481 122 | 0.000 % |
1133.98/1134.65 c | 1780311 | 800 16000 80000 | 2147483647 68077 122 | 0.000 % |
1134.38/1135.07 c | 1780967 | 800 16000 80000 | 2147483647 68733 122 | 0.000 % |
1134.88/1135.52 c | 1781689 | 800 16000 80000 | 2147483647 69455 122 | 0.000 % |
1135.28/1135.97 c | 1782483 | 800 16000 80000 | 2147483647 70249 122 | 0.000 % |
1135.88/1136.53 c | 1783354 | 800 16000 80000 | 2147483647 71120 122 | 0.000 % |
1136.48/1137.11 c | 1784315 | 800 16000 80000 | 2147483647 72081 121 | 0.000 % |
1136.98/1137.68 c | 1785368 | 800 16000 80000 | 2147483647 73134 122 | 0.000 % |
1137.68/1138.38 c | 1786528 | 800 16000 80000 | 2147483647 74294 121 | 0.000 % |
1138.68/1139.39 c | 1787801 | 800 16000 80000 | 2147483647 75567 121 | 0.000 % |
1139.68/1140.38 c | 1789202 | 800 16000 80000 | 2147483647 76968 121 | 0.000 % |
1140.78/1141.48 c | 1790744 | 800 16000 80000 | 77767 68944 120 | 0.000 % |
1141.88/1142.57 c | 1792438 | 800 16000 80000 | 77767 70638 120 | 0.000 % |
1143.08/1143.79 c | 1794301 | 800 16000 80000 | 77767 72501 120 | 0.000 % |
1144.58/1145.21 c | 1796350 | 800 16000 80000 | 77767 74550 120 | 0.000 % |
1146.07/1146.73 c | 1798603 | 800 16000 80000 | 77767 76803 120 | 0.000 % |
1147.68/1148.35 c | 1801081 | 800 16000 80000 | 67931 60192 118 | 0.000 % |
1149.27/1149.98 c | 1803806 | 800 16000 80000 | 67931 62917 118 | 0.000 % |
1150.98/1151.70 c | 1806806 | 800 16000 80000 | 67931 65917 118 | 0.000 % |
1152.97/1153.60 c | 1810102 | 800 16000 80000 | 2147483647 62390 118 | 0.000 % |
1155.17/1155.88 c | 1813727 | 800 16000 80000 | 2147483647 66015 118 | 0.000 % |
1157.67/1158.33 c | 1817716 | 800 16000 80000 | 2147483647 70004 119 | 0.000 % |
1160.47/1161.13 c | 1822101 | 800 16000 80000 | 2147483647 74389 119 | 0.000 % |
1163.47/1164.13 c | 1826926 | 800 16000 80000 | 2147483647 79214 119 | 0.000 % |
1167.27/1167.93 c | 1832232 | 800 16000 80000 | 82290 73593 118 | 0.000 % |
1171.26/1171.92 c | 1838068 | 800 16000 80000 | 82290 79429 118 | 0.000 % |
1175.56/1176.25 c | 1844486 | 800 16000 80000 | 81363 73862 117 | 0.000 % |
1180.46/1181.11 c | 1851550 | 800 16000 80000 | 79377 69985 119 | 0.000 % |
1185.36/1186.09 c | 1859316 | 800 16000 80000 | 79377 77751 119 | 0.000 % |
1191.55/1192.25 c | 1867857 | 800 16000 80000 | 78437 74679 121 | 0.000 % |
1198.55/1199.29 c | 1877251 | 800 16000 80000 | 76823 72639 123 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832479-1242773836/watcher-1832479-1242773836 -o /tmp/evaluation-result-1832479-1242773836/solver-1832479-1242773836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832479-1242773836.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.99 0.98 0.93 3/64 17852
/proc/meminfo: memFree=1960120/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305417215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17852/statm: 1339 237 197 169 0 50 0
[startup+0.0413011 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 17852
/proc/meminfo: memFree=1960120/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305417215 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17852/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101317 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 17852
/proc/meminfo: memFree=1960120/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301359 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 17852
/proc/meminfo: memFree=1960120/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70145 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 17852
/proc/meminfo: memFree=1960120/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50161 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1955432/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=6188 CPUtime=1.43
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 1285 0 0 0 143 0 0 0 25 0 1 0 305417220 6336512 1271 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 1547 1271 77 171 0 1374 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11544
[startup+3.10295 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1952616/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=10436 CPUtime=3.02
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 2346 0 0 0 301 1 0 0 25 0 1 0 305417220 10686464 2332 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 2609 2332 77 171 0 2436 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15792
[startup+6.30163 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1945640/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=16296 CPUtime=6.22
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 3786 0 0 0 619 3 0 0 25 0 1 0 305417220 16687104 3772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 4074 3772 77 171 0 3901 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21652
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1937136/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=24032 CPUtime=12.61
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 5730 0 0 0 1256 5 0 0 25 0 1 0 305417220 24608768 5716 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 6008 5716 77 171 0 5835 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29388
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1925552/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=35108 CPUtime=25.4
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 8489 0 0 0 2532 8 0 0 25 0 1 0 305417220 35950592 8475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 8777 8475 77 171 0 8604 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40464
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1922480/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=37880 CPUtime=50.98
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 9197 0 0 0 5089 9 0 0 25 0 1 0 305417220 38789120 9183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 9470 9183 77 171 0 9297 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 43236
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1917680/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=42764 CPUtime=102.15
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 10405 0 0 0 10204 11 0 0 25 0 1 0 305417220 43790336 10391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 10691 10391 77 171 0 10518 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 48120
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1916784/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=43424 CPUtime=162.12
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 10576 0 0 0 16199 13 0 0 25 0 1 0 305417220 44466176 10562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 10856 10562 77 171 0 10683 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 48780
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17858
/proc/meminfo: memFree=1914736/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=45272 CPUtime=222.09
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11051 0 0 0 22195 14 0 0 25 0 1 0 305417220 46358528 11037 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11318 11037 77 171 0 11145 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 50628
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1914600/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=45048 CPUtime=282.05
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11051 0 0 0 28191 14 0 0 25 0 1 0 305417220 46129152 10993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11262 10993 77 171 0 11089 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 50404
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1914024/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=45840 CPUtime=342.01
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11234 0 0 0 34187 14 0 0 25 0 1 0 305417220 46940160 11176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11460 11176 77 171 0 11287 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 51196
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1912872/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=46896 CPUtime=401.99
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11489 0 0 0 40184 15 0 0 25 0 1 0 305417220 48021504 11431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11724 11431 77 171 0 11551 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 52252
[startup+462.302 s]
################
# More data... #
################
/proc/17858/statm: 11789 11512 77 171 0 11616 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 52512
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1912176/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47156 CPUtime=641.87
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11570 0 0 0 64172 15 0 0 25 0 1 0 305417220 48287744 11512 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11789 11512 77 171 0 11616 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 52512
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1912048/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47156 CPUtime=701.84
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11570 0 0 0 70168 16 0 0 25 0 1 0 305417220 48287744 11512 1992294400 134512640 135215339 4294956240 18446744073709551615 134538923 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11789 11512 77 171 0 11616 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 52512
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1910768/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=48344 CPUtime=761.81
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11863 0 0 0 76165 16 0 0 25 0 1 0 305417220 49504256 11805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12086 11805 77 171 0 11913 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 53700
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1911344/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47744 CPUtime=821.79
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11975 0 0 0 82162 17 0 0 25 0 1 0 305417220 48889856 11648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11936 11648 77 171 0 11763 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 53100
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1911280/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47696 CPUtime=881.75
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11975 0 0 0 88158 17 0 0 25 0 1 0 305417220 48840704 11648 1992294400 134512640 135215339 4294956240 18446744073709551615 134538423 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11924 11648 77 171 0 11751 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 53052
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1911216/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47696 CPUtime=941.72
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11975 0 0 0 94155 17 0 0 25 0 1 0 305417220 48840704 11648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11924 11648 77 171 0 11751 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 53052
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1911088/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=47696 CPUtime=1001.69
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 11975 0 0 0 100152 17 0 0 25 0 1 0 305417220 48840704 11648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 11924 11648 77 171 0 11751 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 53052
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1910576/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=48092 CPUtime=1061.67
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 12077 0 0 0 106149 18 0 0 25 0 1 0 305417220 49246208 11750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12023 11750 77 171 0 11850 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 53448
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17864
/proc/meminfo: memFree=1910384/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=48224 CPUtime=1121.65
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 12102 0 0 0 112147 18 0 0 25 0 1 0 305417220 49381376 11775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12056 11775 77 171 0 11883 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 53580
[startup+1182.3 s]
/proc/loadavg: 1.05 1.00 0.94 2/66 17864
/proc/meminfo: memFree=1909552/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=49016 CPUtime=1181.62
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 12281 0 0 0 118144 18 0 0 25 0 1 0 305417220 50192384 11954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12254 11954 77 171 0 12081 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 54372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.04 1.00 0.94 2/66 17864
/proc/meminfo: memFree=1909552/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=49016 CPUtime=1200.02
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 12281 0 0 0 119984 18 0 0 25 0 1 0 305417220 50192384 11954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12254 11954 77 171 0 12081 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 54372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.04 1.00 0.94 2/66 17864
/proc/meminfo: memFree=1909552/2055920 swapFree=4179748/4192956
[pid=17852] ppid=17850 vsize=5356 CPUtime=0.04
/proc/17852/stat : 17852 (SatELiteGTI) S 17850 17852 17628 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305417215 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17852/statm: 1339 239 197 169 0 50 0
[pid=17858] ppid=17852 vsize=49016 CPUtime=1200.02
/proc/17858/stat : 17858 (minisat_static) R 17852 17852 17628 0 -1 4194304 12281 0 0 0 119984 18 0 0 25 0 1 0 305417220 50192384 11954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17858/statm: 12254 11954 77 171 0 12081 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 54372
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17852 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=44993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.047992
# 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.71
CPU time (s): 1200.06
CPU user time (s): 1199.88
CPU system time (s): 0.18
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 54372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044993
system time used= 0.002999
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= 13
involuntary context switches= 5
runsolver used 1.50377 second user time and 3.00754 second system time
The end
Begin job on node10 at 2009-05-20 00:57:16
IDJOB=1832479
IDBENCH=70203
IDSOLVER=671
FILE ID=node10/1832479-1242773836
PBS_JOBID= 9322288
Free space on /tmp= 66384 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1185462553-011.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832479-1242773836/watcher-1832479-1242773836 -o /tmp/evaluation-result-1832479-1242773836/solver-1832479-1242773836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832479-1242773836.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 775d7caa3d486b151a5911ebb89973a9
RANDOM SEED=934642925
node10.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.263
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 : 5931.00
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.263
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: 1960672 kB
Buffers: 15968 kB
Cached: 43944 kB
SwapCached: 7612 kB
Active: 25980 kB
Inactive: 43096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1960672 kB
SwapTotal: 4192956 kB
SwapFree: 4179748 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 14008 kB
Slab: 12276 kB
Committed_AS: 1040068 kB
PageTables: 1376 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= 66380 MiB
End job on node10 at 2009-05-20 01:17:18