0.00/0.02 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 14216 42944 | 4264 0 0 nan | 0.000 % |
0.00/0.18 c | 0 | 13920 46546 | -- 0 -- -- | -- | -296/3602
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 888 #clauses: 13920 #literals: 46546
0.00/0.18 c CPU time: 0.158975 s
0.00/0.18 c ==============================================================================
0.00/0.20 c This is MiniSat 2.0 beta
0.00/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.20 c ============================[ Problem Statistics ]=============================
0.00/0.20 c | |
0.00/0.20 c | Number of variables: 888 |
0.00/0.20 c | Number of clauses: 13920 |
0.17/0.20 c | Parsing time: 0.01 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 888 13920 46546 | 4640 0 nan | 0.000 % |
0.17/0.21 c | 100 | 888 13920 46546 | 4640 100 27 | 0.000 % |
0.17/0.22 c | 200 | 888 13920 46546 | 4640 200 32 | 0.000 % |
0.17/0.23 c | 300 | 888 13920 46546 | 4640 300 34 | 0.000 % |
0.17/0.24 c | 410 | 888 13920 46546 | 4640 410 32 | 0.000 % |
0.17/0.25 c | 512 | 888 13920 46546 | 4640 512 31 | 0.000 % |
0.17/0.26 c | 623 | 888 13920 46546 | 4640 623 30 | 0.000 % |
0.17/0.27 c | 745 | 888 13920 46546 | 4640 745 30 | 0.000 % |
0.17/0.28 c | 845 | 888 13920 46546 | 4640 845 31 | 0.000 % |
0.17/0.29 c | 956 | 888 13920 46546 | 4640 956 30 | 0.000 % |
0.17/0.30 c | 1077 | 888 13920 46546 | 4640 1077 32 | 0.000 % |
0.17/0.32 c | 1210 | 888 13920 46546 | 4640 1210 31 | 0.000 % |
0.17/0.33 c | 1310 | 888 13920 46546 | 4640 1310 32 | 0.000 % |
0.17/0.34 c | 1420 | 888 13920 46546 | 4640 1420 32 | 0.000 % |
0.17/0.35 c | 1542 | 888 13920 46546 | 4640 1542 31 | 0.000 % |
0.17/0.36 c | 1675 | 888 13920 46546 | 4640 1675 31 | 0.000 % |
0.17/0.37 c | 1821 | 888 13920 46546 | 4640 1821 31 | 0.000 % |
0.17/0.39 c | 1921 | 888 13920 46546 | 4640 1921 31 | 0.000 % |
0.17/0.40 c | 2033 | 888 13920 46546 | 4640 2033 32 | 0.000 % |
0.17/0.41 c | 2154 | 888 13920 46546 | 4640 2154 31 | 0.000 % |
0.17/0.42 c | 2289 | 888 13920 46546 | 4640 2289 32 | 0.000 % |
0.17/0.43 c | 2435 | 888 13920 46546 | 4640 2435 31 | 0.000 % |
0.17/0.45 c | 2597 | 888 13920 46546 | 4640 2597 33 | 0.000 % |
0.17/0.46 c | 2697 | 888 13920 46546 | 4640 2697 33 | 0.000 % |
0.17/0.48 c | 2807 | 888 13920 46546 | 4640 2807 32 | 0.000 % |
0.17/0.49 c | 2930 | 888 13920 46546 | 4640 2930 33 | 0.000 % |
0.17/0.50 c | 3064 | 888 13920 46546 | 4640 3064 32 | 0.000 % |
0.17/0.52 c | 3210 | 888 13920 46546 | 4640 3210 32 | 0.000 % |
0.17/0.53 c | 3370 | 888 13920 46546 | 4640 3370 32 | 0.000 % |
0.17/0.55 c | 3546 | 888 13920 46546 | 4640 3546 32 | 0.000 % |
0.17/0.56 c | 3648 | 888 13920 46546 | 4640 3648 32 | 0.000 % |
0.17/0.57 c | 3758 | 888 13920 46546 | 4640 3758 32 | 0.000 % |
0.17/0.59 c | 3879 | 888 13920 46546 | 4640 3879 32 | 0.000 % |
0.17/0.60 c | 4012 | 888 13920 46546 | 4640 4012 32 | 0.000 % |
0.17/0.63 c | 4159 | 888 13920 46546 | 4640 4159 32 | 0.000 % |
0.17/0.65 c | 4319 | 888 13920 46546 | 4640 4319 32 | 0.000 % |
0.17/0.66 c | 4498 | 888 13920 46546 | 4640 4498 32 | 0.000 % |
0.17/0.69 c | 4692 | 888 13920 46546 | 4640 4692 32 | 0.000 % |
0.17/0.70 c | 4794 | 888 13920 46546 | 4640 4325 32 | 0.000 % |
0.17/0.72 c | 4906 | 888 13920 46546 | 4640 4437 32 | 0.000 % |
0.17/0.73 c | 5027 | 888 13920 46546 | 4640 4558 32 | 0.000 % |
0.17/0.75 c | 5160 | 888 13920 46546 | 4640 4691 32 | 0.000 % |
0.17/0.77 c | 5306 | 888 13920 46546 | 4640 4368 31 | 0.000 % |
0.17/0.78 c | 5467 | 888 13920 46546 | 4640 4529 31 | 0.000 % |
0.17/0.81 c | 5643 | 888 13920 46546 | 4640 4705 31 | 0.000 % |
0.17/0.83 c | 5836 | 888 13920 46546 | 4640 4428 31 | 0.000 % |
0.17/0.87 c | 6049 | 888 13920 46546 | 4640 4641 31 | 0.000 % |
0.17/0.88 c | 6150 | 888 13920 46546 | 4640 4278 30 | 0.000 % |
0.17/0.89 c | 6262 | 888 13920 46546 | 4640 4390 30 | 0.000 % |
0.17/0.91 c | 6383 | 888 13920 46546 | 4640 4511 31 | 0.000 % |
0.17/0.94 c | 6518 | 888 13920 46546 | 4640 4646 31 | 0.000 % |
0.17/0.97 c | 6664 | 888 13920 46546 | 4640 4328 30 | 0.000 % |
0.17/0.99 c | 6824 | 888 13920 46546 | 4640 4488 30 | 0.000 % |
0.97/1.02 c | 7000 | 888 13920 46546 | 4640 4664 31 | 0.000 % |
0.97/1.05 c | 7193 | 888 13920 46546 | 4640 4391 30 | 0.000 % |
0.97/1.09 c | 7405 | 888 13920 46546 | 4640 4603 31 | 0.000 % |
1.07/1.13 c | 7638 | 888 13920 46546 | 4640 4836 31 | 0.000 % |
1.07/1.14 c | 7738 | 888 13920 46546 | 4640 4453 31 | 0.000 % |
1.07/1.15 c | 7848 | 888 13920 46546 | 4640 4563 31 | 0.000 % |
1.07/1.16 c | 7969 | 888 13920 46546 | 4640 4684 31 | 0.000 % |
1.07/1.18 c | 8102 | 888 13920 46546 | 4640 4349 30 | 0.000 % |
1.16/1.20 c | 8249 | 888 13920 46546 | 4640 4496 30 | 0.000 % |
1.16/1.22 c | 8409 | 888 13920 46546 | 4640 4656 30 | 0.000 % |
1.16/1.25 c | 8586 | 888 13920 46546 | 4640 4368 30 | 0.000 % |
1.16/1.27 c | 8780 | 888 13920 46546 | 4640 4562 30 | 0.000 % |
1.26/1.30 c | 8992 | 888 13920 46546 | 4640 4774 30 | 0.000 % |
1.26/1.33 c | 9225 | 888 13920 46546 | 4640 4530 30 | 0.000 % |
1.26/1.37 c | 9482 | 888 13920 46546 | 4640 4317 30 | 0.000 % |
1.26/1.39 c | 9583 | 888 13920 46546 | 4640 4418 30 | 0.000 % |
1.36/1.40 c | 9694 | 888 13920 46546 | 4640 4529 30 | 0.000 % |
1.36/1.42 c | 9816 | 888 13920 46546 | 4640 4651 30 | 0.000 % |
1.36/1.44 c | 9949 | 888 13920 46546 | 4640 4319 30 | 0.000 % |
1.36/1.47 c | 10095 | 888 13920 46546 | 2147483647 4465 30 | 0.000 % |
1.36/1.49 c | 10255 | 888 13920 46546 | 2147483647 4625 30 | 0.000 % |
1.46/1.51 c | 10432 | 888 13920 46546 | 2147483647 4802 31 | 0.000 % |
1.46/1.53 c | 10625 | 888 13920 46546 | 2147483647 4995 31 | 0.000 % |
1.46/1.57 c | 10839 | 888 13920 46546 | 2147483647 5209 31 | 0.000 % |
1.56/1.60 c | 11073 | 888 13920 46546 | 2147483647 5443 31 | 0.000 % |
1.56/1.64 c | 11329 | 888 13920 46546 | 2147483647 5699 32 | 0.000 % |
1.56/1.69 c | 11611 | 888 13920 46546 | 2147483647 5981 32 | 0.000 % |
1.66/1.70 c | 11712 | 888 13920 46546 | 2147483647 6082 32 | 0.000 % |
1.66/1.71 c | 11822 | 888 13920 46546 | 2147483647 6192 32 | 0.000 % |
1.66/1.73 c | 11943 | 888 13920 46546 | 2147483647 6313 32 | 0.000 % |
1.66/1.74 c | 12077 | 888 13920 46546 | 2147483647 6447 32 | 0.000 % |
1.66/1.76 c | 12224 | 888 13920 46546 | 2147483647 6594 32 | 0.000 % |
1.66/1.79 c | 12384 | 888 13920 46546 | 2147483647 6754 33 | 0.000 % |
1.76/1.82 c | 12560 | 888 13920 46546 | 2147483647 6930 33 | 0.000 % |
1.76/1.85 c | 12754 | 888 13920 46546 | 2147483647 7124 33 | 0.000 % |
1.76/1.89 c | 12967 | 888 13920 46546 | 2147483647 7337 33 | 0.000 % |
1.86/1.93 c | 13202 | 888 13920 46546 | 2147483647 7572 33 | 0.000 % |
1.86/1.96 c | 13458 | 888 13920 46546 | 2147483647 7828 33 | 0.000 % |
1.96/2.01 c | 13739 | 888 13920 46546 | 2147483647 8109 33 | 0.000 % |
1.96/2.04 c | 14048 | 888 13920 46546 | 2147483647 8418 33 | 0.000 % |
1.96/2.06 c | 14150 | 888 13920 46546 | 2147483647 8520 33 | 0.000 % |
1.96/2.07 c | 14262 | 888 13920 46546 | 2147483647 8632 33 | 0.000 % |
1.96/2.10 c | 14383 | 888 13920 46546 | 2147483647 8753 33 | 0.000 % |
2.06/2.12 c | 14516 | 888 13920 46546 | 2147483647 8886 33 | 0.000 % |
2.06/2.14 c | 14662 | 888 13920 46546 | 2147483647 9032 33 | 0.000 % |
2.06/2.17 c | 14822 | 888 13920 46546 | 2147483647 9192 33 | 0.000 % |
2.06/2.20 c | 14998 | 888 13920 46546 | 2147483647 9368 34 | 0.000 % |
2.16/2.23 c | 15191 | 888 13920 46546 | 2147483647 9561 33 | 0.000 % |
2.16/2.25 c | 15404 | 888 13920 46546 | 2147483647 9774 34 | 0.000 % |
2.16/2.28 c | 15637 | 888 13920 46546 | 2147483647 10007 34 | 0.000 % |
2.26/2.32 c | 15894 | 888 13920 46546 | 2147483647 10264 34 | 0.000 % |
2.26/2.35 c | 16175 | 888 13920 46546 | 2147483647 10545 34 | 0.000 % |
2.35/2.41 c | 16485 | 888 13920 46546 | 2147483647 10855 34 | 0.000 % |
2.35/2.46 c | 16824 | 888 13920 46546 | 2147483647 11194 34 | 0.000 % |
2.35/2.48 c | 16925 | 888 13920 46546 | 2147483647 11295 34 | 0.000 % |
2.45/2.50 c | 17037 | 888 13920 46546 | 2147483647 11407 34 | 0.000 % |
2.45/2.52 c | 17158 | 888 13920 46546 | 2147483647 11528 34 | 0.000 % |
2.45/2.55 c | 17291 | 888 13920 46546 | 2147483647 11661 34 | 0.000 % |
2.45/2.58 c | 17437 | 888 13920 46546 | 2147483647 11807 34 | 0.000 % |
2.55/2.61 c | 17598 | 888 13920 46546 | 2147483647 11968 34 | 0.000 % |
2.55/2.64 c | 17774 | 888 13920 46546 | 2147483647 12144 34 | 0.000 % |
2.55/2.66 c | 17967 | 888 13920 46546 | 2147483647 12337 34 | 0.000 % |
2.65/2.70 c | 18180 | 888 13920 46546 | 2147483647 12550 34 | 0.000 % |
2.65/2.75 c | 18414 | 888 13920 46546 | 2147483647 12784 34 | 0.000 % |
2.75/2.81 c | 18670 | 888 13920 46546 | 2147483647 13040 34 | 0.000 % |
2.75/2.87 c | 18952 | 888 13920 46546 | 2147483647 13322 34 | 0.000 % |
2.85/2.92 c | 19261 | 888 13920 46546 | 2147483647 13631 34 | 0.000 % |
2.95/3.00 c | 19601 | 888 13920 46546 | 2147483647 13971 34 | 0.000 % |
2.95/3.06 c | 19973 | 888 13920 46546 | 2147483647 14343 34 | 0.000 % |
2.95/3.08 c | 20073 | 888 13920 46546 | 2147483647 14443 34 | 0.000 % |
3.05/3.10 c | 20183 | 888 13920 46546 | 2147483647 14553 34 | 0.000 % |
3.05/3.12 c | 20304 | 888 13920 46546 | 2147483647 14674 34 | 0.000 % |
3.05/3.15 c | 20437 | 888 13920 46546 | 2147483647 14807 34 | 0.000 % |
3.05/3.18 c | 20584 | 888 13920 46546 | 2147483647 14954 34 | 0.000 % |
3.15/3.21 c | 20746 | 888 13920 46546 | 2147483647 15116 34 | 0.000 % |
3.15/3.24 c | 20922 | 888 13920 46546 | 2147483647 15292 34 | 0.000 % |
3.15/3.27 c | 21117 | 888 13920 46546 | 2147483647 15487 34 | 0.000 % |
3.25/3.32 c | 21329 | 888 13920 46546 | 2147483647 15699 34 | 0.000 % |
3.25/3.36 c | 21562 | 888 13920 46546 | 2147483647 15932 34 | 0.000 % |
3.35/3.41 c | 21819 | 888 13920 46546 | 2147483647 16189 34 | 0.000 % |
3.35/3.47 c | 22101 | 888 13920 46546 | 2147483647 16471 34 | 0.000 % |
3.45/3.53 c | 22410 | 888 13920 46546 | 2147483647 16780 34 | 0.000 % |
3.55/3.61 c | 22749 | 888 13920 46546 | 2147483647 17119 34 | 0.000 % |
3.55/3.69 c | 23121 | 888 13920 46546 | 2147483647 17491 35 | 0.000 % |
3.65/3.80 c | 23531 | 888 13920 46546 | 2147483647 17901 35 | 0.000 % |
3.75/3.83 c | 23632 | 888 13920 46546 | 2147483647 18002 35 | 0.000 % |
3.75/3.87 c | 23743 | 888 13920 46546 | 2147483647 18113 35 | 0.000 % |
3.85/3.90 c | 23865 | 888 13920 46546 | 2147483647 18235 35 | 0.000 % |
3.85/3.94 c | 23998 | 888 13920 46546 | 2147483647 18368 35 | 0.000 % |
3.85/3.99 c | 24145 | 888 13920 46546 | 2147483647 18515 35 | 0.000 % |
3.95/4.03 c | 24306 | 888 13920 46546 | 2147483647 18676 35 | 0.000 % |
3.95/4.06 c | 24482 | 888 13920 46546 | 2147483647 18852 35 | 0.000 % |
4.05/4.12 c | 24675 | 888 13920 46546 | 2147483647 19045 35 | 0.000 % |
4.05/4.17 c | 24888 | 888 13920 46546 | 2147483647 19258 35 | 0.000 % |
4.15/4.23 c | 25121 | 888 13920 46546 | 2147483647 19491 35 | 0.000 % |
4.25/4.31 c | 25377 | 888 13920 46546 | 2147483647 19747 35 | 0.000 % |
4.35/4.41 c | 25659 | 888 13920 46546 | 2147483647 20029 35 | 0.000 % |
4.35/4.49 c | 25969 | 888 13920 46546 | 2147483647 20339 35 | 0.000 % |
4.45/4.56 c | 26308 | 888 13920 46546 | 2147483647 20678 35 | 0.000 % |
4.55/4.65 c | 26680 | 888 13920 46546 | 2147483647 21050 35 | 0.000 % |
4.65/4.75 c | 27089 | 888 13920 46546 | 2147483647 21459 35 | 0.000 % |
4.75/4.88 c | 27538 | 888 13920 46546 | 2147483647 21908 35 | 0.000 % |
4.85/4.90 c | 27641 | 888 13920 46546 | 2147483647 22011 35 | 0.000 % |
4.85/4.93 c | 27751 | 888 13920 46546 | 2147483647 22121 35 | 0.000 % |
4.85/4.95 c | 27872 | 888 13920 46546 | 2147483647 22242 35 | 0.000 % |
4.85/4.98 c | 28007 | 888 13920 46546 | 2147483647 22377 35 | 0.000 % |
4.95/5.02 c | 28153 | 888 13920 46546 | 2147483647 22523 35 | 0.000 % |
4.95/5.06 c | 28315 | 888 13920 46546 | 2147483647 22685 35 | 0.000 % |
5.05/5.11 c | 28491 | 888 13920 46546 | 2147483647 22861 35 | 0.000 % |
5.05/5.15 c | 28684 | 888 13920 46546 | 2147483647 23054 35 | 0.000 % |
5.15/5.20 c | 28896 | 888 13920 46546 | 2147483647 23266 35 | 0.000 % |
5.15/5.26 c | 29130 | 888 13920 46546 | 2147483647 23500 35 | 0.000 % |
5.25/5.36 c | 29387 | 888 13920 46546 | 2147483647 23757 35 | 0.000 % |
5.36/5.43 c | 29668 | 888 13920 46546 | 2147483647 24038 35 | 0.000 % |
5.36/5.49 c | 29977 | 888 13920 46546 | 2147483647 24347 35 | 0.000 % |
5.46/5.58 c | 30318 | 888 13920 46546 | 2147483647 24688 35 | 0.000 % |
5.55/5.67 c | 30690 | 888 13920 46546 | 2147483647 25060 35 | 0.000 % |
5.65/5.76 c | 31099 | 888 13920 46546 | 2147483647 25469 35 | 0.000 % |
5.85/5.91 c | 31548 | 888 13920 46546 | 2147483647 25918 35 | 0.000 % |
5.95/6.04 c | 32043 | 888 13920 46546 | 2147483647 26413 35 | 0.000 % |
5.95/6.06 c | 32143 | 888 13920 46546 | 2147483647 26513 35 | 0.000 % |
6.05/6.11 c | 32253 | 888 13920 46546 | 2147483647 26623 35 | 0.000 % |
6.05/6.14 c | 32374 | 888 13920 46546 | 2147483647 26744 35 | 0.000 % |
6.05/6.19 c | 32507 | 888 13920 46546 | 2147483647 26877 35 | 0.000 % |
6.15/6.23 c | 32654 | 888 13920 46546 | 2147483647 27024 35 | 0.000 % |
6.15/6.28 c | 32817 | 888 13920 46546 | 2147483647 27187 35 | 0.000 % |
6.25/6.32 c | 32993 | 888 13920 46546 | 2147483647 27363 35 | 0.000 % |
6.25/6.37 c | 33186 | 888 13920 46546 | 2147483647 27556 35 | 0.000 % |
6.35/6.41 c | 33399 | 888 13920 46546 | 2147483647 27769 35 | 0.000 % |
6.46/6.51 c | 33633 | 888 13920 46546 | 2147483647 28003 35 | 0.000 % |
6.56/6.60 c | 33890 | 888 13920 46546 | 2147483647 28260 35 | 0.000 % |
6.65/6.73 c | 34173 | 888 13920 46546 | 2147483647 28543 35 | 0.000 % |
6.75/6.82 c | 34483 | 888 13920 46546 | 2147483647 28853 35 | 0.000 % |
6.85/6.94 c | 34822 | 888 13920 46546 | 2147483647 29192 35 | 0.000 % |
6.95/7.09 c | 35195 | 888 13920 46546 | 2147483647 29565 35 | 0.000 % |
7.15/7.26 c | 35604 | 888 13920 46546 | 2147483647 29974 35 | 0.000 % |
7.45/7.51 c | 36053 | 888 13920 46546 | 2147483647 30423 35 | 0.000 % |
7.65/7.73 c | 36548 | 888 13920 46546 | 2147483647 30918 35 | 0.000 % |
7.85/7.94 c | 37090 | 888 13920 46546 | 2147483647 31460 35 | 0.000 % |
7.85/7.99 c | 37192 | 888 13920 46546 | 2147483647 31562 35 | 0.000 % |
7.95/8.05 c | 37302 | 888 13920 46546 | 2147483647 31672 35 | 0.000 % |
8.05/8.11 c | 37423 | 888 13920 46546 | 2147483647 31793 35 | 0.000 % |
8.05/8.18 c | 37557 | 888 13920 46546 | 2147483647 31927 35 | 0.000 % |
8.15/8.23 c | 37703 | 888 13920 46546 | 2147483647 32073 35 | 0.000 % |
8.15/8.28 c | 37865 | 888 13920 46546 | 2147483647 32235 35 | 0.000 % |
8.24/8.33 c | 38041 | 888 13920 46546 | 2147483647 32411 35 | 0.000 % |
8.34/8.40 c | 38234 | 888 13920 46546 | 2147483647 32604 35 | 0.000 % |
8.34/8.47 c | 38447 | 888 13920 46546 | 2147483647 32817 35 | 0.000 % |
8.44/8.55 c | 38681 | 888 13920 46546 | 2147483647 33051 35 | 0.000 % |
8.54/8.64 c | 38938 | 888 13920 46546 | 2147483647 33308 35 | 0.000 % |
8.65/8.74 c | 39220 | 888 13920 46546 | 2147483647 33590 35 | 0.000 % |
8.74/8.87 c | 39529 | 888 13920 46546 | 2147483647 33899 35 | 0.000 % |
8.94/9.00 c | 39868 | 888 13920 46546 | 2147483647 34238 35 | 0.000 % |
9.04/9.13 c | 40243 | 888 13920 46546 | 2147483647 34613 35 | 0.000 % |
9.14/9.29 c | 40652 | 888 13920 46546 | 2147483647 35022 36 | 0.000 % |
9.34/9.47 c | 41102 | 888 13920 46546 | 2147483647 35472 36 | 0.000 % |
9.54/9.69 c | 41595 | 888 13920 46546 | 2147483647 35965 36 | 0.000 % |
9.84/9.91 c | 42140 | 888 13920 46546 | 2147483647 36510 36 | 0.000 % |
10.04/10.13 c | 42736 | 888 13920 46546 | 2147483647 37106 36 | 0.000 % |
10.04/10.16 c | 42836 | 888 13920 46546 | 2147483647 37206 36 | 0.000 % |
10.04/10.20 c | 42948 | 888 13920 46546 | 2147483647 37318 36 | 0.000 % |
10.14/10.26 c | 43069 | 888 13920 46546 | 2147483647 37439 36 | 0.000 % |
10.24/10.31 c | 43204 | 888 13920 46546 | 2147483647 37574 36 | 0.000 % |
10.24/10.37 c | 43350 | 888 13920 46546 | 2147483647 37720 36 | 0.000 % |
10.34/10.43 c | 43510 | 888 13920 46546 | 2147483647 37880 36 | 0.000 % |
10.44/10.50 c | 43688 | 888 13920 46546 | 2147483647 38058 36 | 0.000 % |
10.44/10.57 c | 43881 | 888 13920 46546 | 2147483647 38251 35 | 0.000 % |
10.54/10.65 c | 44094 | 888 13920 46546 | 2147483647 38464 36 | 0.000 % |
10.64/10.75 c | 44327 | 888 13920 46546 | 2147483647 38697 36 | 0.000 % |
10.74/10.81 c | 44585 | 888 13920 46546 | 2147483647 38955 36 | 0.000 % |
10.84/10.95 c | 44866 | 888 13920 46546 | 2147483647 39236 36 | 0.000 % |
10.94/11.07 c | 45175 | 888 13920 46546 | 2147483647 39545 36 | 0.000 % |
11.13/11.28 c | 45515 | 888 13920 46546 | 2147483647 39885 36 | 0.000 % |
11.43/11.51 c | 45887 | 888 13920 46546 | 2147483647 40257 36 | 0.000 % |
11.63/11.70 c | 46296 | 888 13920 46546 | 2147483647 40666 36 | 0.000 % |
11.83/11.91 c | 46746 | 888 13920 46546 | 2147483647 41116 36 | 0.000 % |
12.04/12.15 c | 47239 | 888 13920 46546 | 2147483647 41609 36 | 0.000 % |
12.33/12.42 c | 47783 | 888 13920 46546 | 2147483647 42153 36 | 0.000 % |
12.63/12.74 c | 48382 | 888 13920 46546 | 2147483647 42752 36 | 0.000 % |
12.93/13.03 c | 49038 | 888 13920 46546 | 2147483647 43408 36 | 0.000 % |
12.93/13.08 c | 49139 | 888 13920 46546 | 2147483647 43509 36 | 0.000 % |
13.04/13.14 c | 49249 | 888 13920 46546 | 2147483647 43619 36 | 0.000 % |
13.04/13.20 c | 49370 | 888 13920 46546 | 2147483647 43740 36 | 0.000 % |
13.15/13.24 c | 49504 | 888 13920 46546 | 2147483647 43874 36 | 0.000 % |
13.24/13.32 c | 49651 | 888 13920 46546 | 2147483647 44021 36 | 0.000 % |
13.24/13.39 c | 49811 | 888 13920 46546 | 2147483647 44181 36 | 0.000 % |
13.34/13.49 c | 49987 | 888 13920 46546 | 2147483647 44357 36 | 0.000 % |
13.44/13.57 c | 50181 | 888 13920 46546 | 2147483647 44551 36 | 0.000 % |
13.54/13.68 c | 50396 | 888 13920 46546 | 2147483647 44766 36 | 0.000 % |
13.64/13.78 c | 50631 | 888 13920 46546 | 2147483647 45001 36 | 0.000 % |
13.74/13.88 c | 50888 | 888 13920 46546 | 2147483647 45258 36 | 0.000 % |
13.94/14.00 c | 51169 | 888 13920 46546 | 2147483647 45539 36 | 0.000 % |
14.04/14.17 c | 51478 | 888 13920 46546 | 2147483647 45848 36 | 0.000 % |
14.25/14.33 c | 51818 | 888 13920 46546 | 2147483647 46188 36 | 0.000 % |
14.44/14.56 c | 52191 | 888 13920 46546 | 2147483647 46561 36 | 0.000 % |
14.64/14.74 c | 52600 | 888 13920 46546 | 2147483647 46970 36 | 0.000 % |
14.84/14.96 c | 53049 | 888 13920 46546 | 2147483647 47419 36 | 0.000 % |
15.14/15.22 c | 53543 | 888 13920 46546 | 2147483647 47913 36 | 0.000 % |
15.34/15.50 c | 54086 | 888 13920 46546 | 2147483647 48456 36 | 0.000 % |
15.64/15.78 c | 54683 | 888 13920 46546 | 2147483647 49053 37 | 0.000 % |
16.04/16.16 c | 55339 | 888 13920 46546 | 2147483647 49709 36 | 0.000 % |
16.44/16.54 c | 56059 | 888 13920 46546 | 2147483647 50429 37 | 0.000 % |
16.54/16.60 c | 56159 | 888 13920 46546 | 2147483647 50529 37 | 0.000 % |
16.54/16.66 c | 56269 | 888 13920 46546 | 2147483647 50639 37 | 0.001 % |
16.64/16.73 c | 56392 | 888 13920 46546 | 2147483647 50762 37 | 0.000 % |
16.64/16.80 c | 56525 | 888 13920 46546 | 2147483647 50895 37 | 0.000 % |
16.84/16.90 c | 56671 | 888 13920 46546 | 2147483647 51041 37 | 0.000 % |
16.84/16.97 c | 56831 | 888 13920 46546 | 2147483647 51201 37 | 0.000 % |
16.94/17.08 c | 57007 | 888 13920 46546 | 2147483647 51377 37 | 0.000 % |
17.13/17.20 c | 57201 | 888 13920 46546 | 2147483647 51571 37 | 0.000 % |
17.23/17.32 c | 57413 | 888 13920 46546 | 2147483647 51783 37 | 0.000 % |
17.33/17.47 c | 57647 | 888 13920 46546 | 2147483647 52017 37 | 0.000 % |
17.54/17.62 c | 57903 | 888 13920 46546 | 2147483647 52273 37 | 0.000 % |
17.63/17.79 c | 58185 | 888 13920 46546 | 2147483647 52555 37 | 0.000 % |
17.83/17.97 c | 58496 | 888 13920 46546 | 2147483647 52866 37 | 0.000 % |
18.13/18.20 c | 58835 | 888 13920 46546 | 2147483647 53205 37 | 0.000 % |
18.23/18.36 c | 59207 | 888 13920 46546 | 2147483647 53577 37 | 0.000 % |
18.53/18.62 c | 59618 | 888 13920 46546 | 2147483647 53988 37 | 0.000 % |
18.73/18.88 c | 60067 | 888 13920 46546 | 2147483647 54437 37 | 0.000 % |
19.13/19.21 c | 60560 | 888 13920 46546 | 2147483647 54930 37 | 0.001 % |
19.53/19.64 c | 61103 | 888 13920 46546 | 2147483647 55473 37 | 0.000 % |
19.93/20.10 c | 61701 | 888 13920 46546 | 2147483647 56071 37 | 0.000 % |
20.43/20.52 c | 62359 | 888 13920 46546 | 2147483647 56729 37 | 0.000 % |
20.94/21.06 c | 63079 | 888 13920 46546 | 2147483647 57449 37 | 0.000 % |
21.34/21.47 c | 63872 | 888 13920 46546 | 2147483647 58242 37 | 0.000 % |
21.43/21.53 c | 63972 | 888 13920 46546 | 2147483647 58342 37 | 0.001 % |
21.53/21.61 c | 64082 | 888 13920 46546 | 2147483647 58452 37 | 0.000 % |
21.53/21.68 c | 64203 | 888 13920 46546 | 2147483647 58573 37 | 0.000 % |
21.63/21.75 c | 64339 | 888 13920 46546 | 2147483647 58709 37 | 0.000 % |
21.73/21.84 c | 64486 | 888 13920 46546 | 2147483647 58856 37 | 0.000 % |
21.84/21.97 c | 64646 | 888 13920 46546 | 2147483647 59016 37 | 0.000 % |
21.94/22.08 c | 64823 | 888 13920 46546 | 2147483647 59193 37 | 0.000 % |
22.03/22.17 c | 65016 | 888 13920 46546 | 2147483647 59386 37 | 0.001 % |
22.23/22.31 c | 65228 | 888 13920 46546 | 2147483647 59598 37 | 0.000 % |
22.33/22.46 c | 65461 | 888 13920 46546 | 2147483647 59831 37 | 0.000 % |
22.53/22.67 c | 65717 | 888 13920 46546 | 2147483647 60087 37 | 0.000 % |
22.73/22.88 c | 65999 | 888 13920 46546 | 2147483647 60369 37 | 0.000 % |
22.93/23.04 c | 66308 | 888 13920 46546 | 2147483647 60678 37 | 0.000 % |
23.13/23.29 c | 66647 | 888 13920 46546 | 2147483647 61017 37 | 0.000 % |
23.53/23.61 c | 67020 | 888 13920 46546 | 2147483647 61390 37 | 0.000 % |
23.83/23.98 c | 67429 | 888 13920 46546 | 2147483647 61799 37 | 0.000 % |
24.23/24.38 c | 67878 | 888 13920 46546 | 2147483647 62248 37 | 0.000 % |
24.53/24.69 c | 68371 | 888 13920 46546 | 2147483647 62741 37 | 0.000 % |
25.03/25.15 c | 68914 | 888 13920 46546 | 2147483647 63284 37 | 0.000 % |
25.53/25.65 c | 69510 | 888 13920 46546 | 2147483647 63880 37 | 0.000 % |
26.33/26.42 c | 70166 | 888 13920 46546 | 64372 56243 36 | 0.000 % |
26.92/27.05 c | 70888 | 888 13920 46546 | 64372 56965 36 | 0.000 % |
27.43/27.53 c | 71682 | 888 13920 46546 | 64372 57759 36 | 0.000 % |
28.02/28.13 c | 72555 | 888 13920 46546 | 64372 58632 36 | 0.000 % |
28.12/28.20 c | 72655 | 888 13920 46546 | 64372 58732 36 | 0.000 % |
28.12/28.29 c | 72766 | 888 13920 46546 | 64372 58843 36 | 0.000 % |
28.22/28.38 c | 72888 | 888 13920 46546 | 64372 58965 36 | 0.000 % |
28.32/28.48 c | 73024 | 888 13920 46546 | 64372 59101 36 | 0.000 % |
28.53/28.62 c | 73171 | 888 13920 46546 | 64372 59248 36 | 0.000 % |
28.62/28.72 c | 73332 | 888 13920 46546 | 64372 59409 36 | 0.000 % |
28.72/28.84 c | 73510 | 888 13920 46546 | 64372 59587 36 | 0.000 % |
28.92/29.00 c | 73706 | 888 13920 46546 | 64372 59783 36 | 0.000 % |
29.12/29.20 c | 73920 | 888 13920 46546 | 64372 59997 36 | 0.000 % |
29.22/29.35 c | 74153 | 888 13920 46546 | 64372 60230 36 | 0.000 % |
29.42/29.52 c | 74410 | 888 13920 46546 | 64372 60487 36 | 0.000 % |
29.53/29.68 c | 74691 | 888 13920 46546 | 64372 60768 36 | 0.000 % |
29.72/29.88 c | 75001 | 888 13920 46546 | 64372 61078 36 | 0.000 % |
30.02/30.12 c | 75340 | 888 13920 46546 | 64372 61417 37 | 0.001 % |
30.22/30.33 c | 75713 | 888 13920 46546 | 64372 61790 37 | 0.000 % |
30.52/30.67 c | 76123 | 888 13920 46546 | 64372 62200 37 | 0.001 % |
30.82/30.98 c | 76573 | 888 13920 46546 | 64372 62650 37 | 0.000 % |
31.22/31.32 c | 77067 | 888 13920 46546 | 64372 63144 37 | 0.000 % |
31.62/31.79 c | 77610 | 888 13920 46546 | 64372 63687 37 | 0.000 % |
32.02/32.15 c | 78206 | 888 13920 46546 | 64372 64283 37 | 0.000 % |
32.52/32.64 c | 78862 | 888 13920 46546 | 64372 55528 36 | 0.000 % |
32.92/33.01 c | 79582 | 888 13920 46546 | 64372 56248 36 | 0.000 % |
33.32/33.50 c | 80374 | 888 13920 46546 | 56667 49011 35 | 0.000 % |
33.92/34.00 c | 81245 | 888 13920 46546 | 56667 49882 35 | 0.000 % |
34.42/34.59 c | 82203 | 888 13920 46546 | 56667 50840 35 | 0.000 % |
34.52/34.65 c | 82303 | 888 13920 46546 | 56667 50940 35 | 0.001 % |
34.62/34.71 c | 82413 | 888 13920 46546 | 56667 51050 35 | 0.000 % |
34.62/34.78 c | 82536 | 888 13920 46546 | 56667 51173 35 | 0.000 % |
34.72/34.89 c | 82671 | 888 13920 46546 | 56667 51308 35 | 0.000 % |
34.92/35.00 c | 82817 | 888 13920 46546 | 56667 51454 35 | 0.000 % |
35.02/35.10 c | 82977 | 888 13920 46546 | 56667 51614 35 | 0.000 % |
35.12/35.22 c | 83153 | 888 13920 46546 | 56667 51790 35 | 0.000 % |
35.22/35.37 c | 83347 | 888 13920 46546 | 56667 51984 35 | 0.000 % |
35.42/35.53 c | 83559 | 888 13920 46546 | 56667 52196 35 | 0.000 % |
35.52/35.70 c | 83793 | 888 13920 46546 | 56667 52430 35 | 0.000 % |
35.72/35.85 c | 84049 | 888 13920 46546 | 56667 52686 35 | 0.001 % |
35.82/36.00 c | 84330 | 888 13920 46546 | 56667 52967 35 | 0.000 % |
36.12/36.20 c | 84639 | 888 13920 46546 | 56667 53276 35 | 0.000 % |
36.32/36.50 c | 84979 | 888 13920 46546 | 56667 53616 35 | 0.000 % |
36.62/36.71 c | 85351 | 888 13920 46546 | 56667 53988 35 | 0.000 % |
36.82/36.90 c | 85760 | 888 13920 46546 | 56667 54397 35 | 0.000 % |
37.02/37.16 c | 86211 | 888 13920 46546 | 56667 54848 35 | 0.000 % |
37.32/37.45 c | 86705 | 888 13920 46546 | 56667 55342 35 | 0.000 % |
37.72/37.87 c | 87247 | 888 13920 46546 | 56667 55884 35 | 0.000 % |
38.12/38.29 c | 87844 | 888 13920 46546 | 56667 56481 35 | 0.000 % |
38.62/38.77 c | 88501 | 888 13920 46546 | 56667 50599 34 | 0.000 % |
39.22/39.35 c | 89222 | 888 13920 46546 | 56667 51320 34 | 0.000 % |
39.71/39.82 c | 90017 | 888 13920 46546 | 52098 52115 34 | 0.000 % |
40.31/40.43 c | 90889 | 888 13920 46546 | 52098 47108 33 | 0.000 % |
40.71/40.81 c | 91847 | 888 13920 46546 | 52098 48066 33 | 0.000 % |
41.31/41.42 c | 92903 | 888 13920 46546 | 52098 49122 33 | 0.000 % |
41.31/41.48 c | 93003 | 888 13920 46546 | 52098 49222 33 | 0.000 % |
41.41/41.54 c | 93114 | 888 13920 46546 | 52098 49333 33 | 0.000 % |
41.51/41.62 c | 93236 | 888 13920 46546 | 52098 49455 33 | 0.000 % |
41.62/41.71 c | 93369 | 888 13920 46546 | 52098 49588 33 | 0.000 % |
41.62/41.79 c | 93517 | 888 13920 46546 | 52098 49736 33 | 0.000 % |
41.81/41.92 c | 93677 | 888 13920 46546 | 52098 49896 33 | 0.000 % |
41.91/42.01 c | 93853 | 888 13920 46546 | 52098 50072 33 | 0.000 % |
42.01/42.10 c | 94046 | 888 13920 46546 | 52098 50265 33 | 0.000 % |
42.11/42.21 c | 94258 | 888 13920 46546 | 52098 50477 34 | 0.000 % |
42.21/42.34 c | 94492 | 888 13920 46546 | 52098 50711 33 | 0.000 % |
42.31/42.45 c | 94749 | 888 13920 46546 | 52098 50968 34 | 0.000 % |
42.51/42.62 c | 95030 | 888 13920 46546 | 52098 51249 34 | 0.000 % |
42.71/42.83 c | 95339 | 888 13920 46546 | 52098 51558 34 | 0.000 % |
42.91/43.01 c | 95679 | 888 13920 46546 | 52098 51898 34 | 0.000 % |
43.21/43.30 c | 96052 | 888 13920 46546 | 52098 47048 33 | 0.000 % |
43.51/43.61 c | 96462 | 888 13920 46546 | 52098 47458 33 | 0.000 % |
43.81/43.95 c | 96912 | 888 13920 46546 | 52098 47908 33 | 0.000 % |
44.21/44.37 c | 97405 | 888 13920 46546 | 52098 48401 33 | 0.000 % |
44.71/44.85 c | 97947 | 888 13920 46546 | 52098 48943 33 | 0.000 % |
45.11/45.25 c | 98545 | 888 13920 46546 | 52098 49541 33 | 0.000 % |
45.71/45.85 c | 99200 | 888 13920 46546 | 52098 50196 33 | 0.000 % |
46.31/46.48 c | 99921 | 888 13920 46546 | 52098 50917 33 | 0.000 % |
46.91/47.03 c | 100715 | 888 13920 46546 | 2147483647 51711 33 | 0.001 % |
47.71/47.82 c | 101587 | 888 13920 46546 | 2147483647 52583 33 | 0.000 % |
48.41/48.51 c | 102545 | 888 13920 46546 | 2147483647 53541 33 | 0.000 % |
49.11/49.21 c | 103599 | 888 13920 46546 | 2147483647 54595 33 | 0.000 % |
49.61/49.79 c | 104757 | 888 13920 46546 | 2147483647 55753 33 | 0.000 % |
49.71/49.86 c | 104859 | 888 13920 46546 | 2147483647 55855 33 | 0.000 % |
49.81/49.97 c | 104970 | 888 13920 46546 | 2147483647 55966 33 | 0.000 % |
49.91/50.09 c | 105091 | 888 13920 46546 | 2147483647 56087 33 | 0.000 % |
50.11/50.24 c | 105225 | 888 13920 46546 | 2147483647 56221 33 | 0.001 % |
50.21/50.35 c | 105371 | 888 13920 46546 | 2147483647 56367 33 | 0.000 % |
50.31/50.47 c | 105532 | 888 13920 46546 | 2147483647 56528 33 | 0.000 % |
50.41/50.60 c | 105708 | 888 13920 46546 | 2147483647 56704 33 | 0.000 % |
50.61/50.71 c | 105902 | 888 13920 46546 | 2147483647 56898 33 | 0.000 % |
50.71/50.84 c | 106114 | 888 13920 46546 | 2147483647 57110 33 | 0.000 % |
50.91/51.00 c | 106347 | 888 13920 46546 | 2147483647 57343 33 | 0.000 % |
51.01/51.17 c | 106603 | 888 13920 46546 | 2147483647 57599 33 | 0.000 % |
51.31/51.42 c | 106885 | 888 13920 46546 | 2147483647 57881 33 | 0.000 % |
51.51/51.67 c | 107195 | 888 13920 46546 | 2147483647 58191 33 | 0.000 % |
51.81/51.92 c | 107534 | 888 13920 46546 | 2147483647 58530 33 | 0.000 % |
52.11/52.30 c | 107907 | 888 13920 46546 | 2147483647 58903 33 | 0.001 % |
52.51/52.64 c | 108316 | 888 13920 46546 | 2147483647 59312 33 | 0.000 % |
52.81/52.99 c | 108765 | 888 13920 46546 | 2147483647 59761 33 | 0.000 % |
53.11/53.29 c | 109259 | 888 13920 46546 | 2147483647 60255 33 | 0.000 % |
53.61/53.78 c | 109802 | 888 13920 46546 | 2147483647 60798 33 | 0.000 % |
54.10/54.22 c | 110398 | 888 13920 46546 | 60997 54543 32 | 0.000 % |
54.50/54.66 c | 111053 | 888 13920 46546 | 60997 55198 32 | 0.000 % |
55.10/55.21 c | 111775 | 888 13920 46546 | 60997 55920 32 | 0.000 % |
55.50/55.64 c | 112567 | 888 13920 46546 | 60997 56712 33 | 0.000 % |
56.30/56.46 c | 113438 | 888 13920 46546 | 60997 57583 32 | 0.001 % |
57.11/57.21 c | 114396 | 888 13920 46546 | 60997 58541 33 | 0.000 % |
58.00/58.12 c | 115451 | 888 13920 46546 | 60997 59596 33 | 0.001 % |
58.90/59.04 c | 116609 | 888 13920 46546 | 60997 60754 33 | 0.000 % |
60.00/60.10 c | 117885 | 888 13920 46546 | 60997 54530 32 | 0.000 % |
60.00/60.18 c | 117986 | 888 13920 46546 | 60997 54631 32 | 0.000 % |
60.10/60.24 c | 118096 | 888 13920 46546 | 60997 54741 32 | 0.000 % |
60.20/60.31 c | 118218 | 888 13920 46546 | 60997 54863 32 | 0.000 % |
60.30/60.43 c | 118352 | 888 13920 46546 | 60997 54997 32 | 0.000 % |
60.40/60.56 c | 118498 | 888 13920 46546 | 60997 55143 32 | 0.000 % |
60.60/60.72 c | 118659 | 888 13920 46546 | 60997 55304 32 | 0.000 % |
60.70/60.86 c | 118836 | 888 13920 46546 | 60997 55481 32 | 0.000 % |
60.80/60.98 c | 119030 | 888 13920 46546 | 60997 55675 32 | 0.001 % |
61.00/61.11 c | 119243 | 888 13920 46546 | 60997 55888 32 | 0.001 % |
61.10/61.26 c | 119476 | 888 13920 46546 | 60997 56121 32 | 0.001 % |
61.30/61.40 c | 119734 | 888 13920 46546 | 60997 56379 32 | 0.000 % |
61.40/61.59 c | 120015 | 888 13920 46546 | 56647 56660 32 | 0.000 % |
61.70/61.81 c | 120324 | 888 13920 46546 | 56647 49982 30 | 0.000 % |
61.80/61.98 c | 120666 | 888 13920 46546 | 56647 50324 30 | 0.000 % |
62.10/62.23 c | 121039 | 888 13920 46546 | 56647 50697 31 | 0.001 % |
62.40/62.55 c | 121448 | 888 13920 46546 | 56647 51106 31 | 0.001 % |
62.70/62.82 c | 121898 | 888 13920 46546 | 56647 51556 31 | 0.000 % |
63.00/63.14 c | 122391 | 888 13920 46546 | 56647 52049 31 | 0.000 % |
63.30/63.40 c | 122933 | 888 13920 46546 | 56647 52591 31 | 0.001 % |
63.60/63.72 c | 123531 | 888 13920 46546 | 56647 53189 31 | 0.000 % |
64.10/64.21 c | 124186 | 888 13920 46546 | 56647 53844 31 | 0.000 % |
64.60/64.73 c | 124907 | 888 13920 46546 | 56647 54565 31 | 0.000 % |
65.00/65.19 c | 125700 | 888 13920 46546 | 56647 55358 31 | 0.000 % |
65.60/65.78 c | 126573 | 888 13920 46546 | 56647 56231 31 | 0.000 % |
66.70/66.85 c | 127531 | 888 13920 46546 | 56647 50330 31 | 0.000 % |
67.29/67.44 c | 128585 | 888 13920 46546 | 56647 51384 31 | 0.000 % |
68.10/68.26 c | 129743 | 888 13920 46546 | 56647 52542 31 | 0.000 % |
68.89/69.00 c | 131016 | 888 13920 46546 | 52801 47711 31 | 0.000 % |
69.69/69.86 c | 132417 | 888 13920 46546 | 52801 49112 31 | 0.000 % |
69.80/69.91 c | 132517 | 888 13920 46546 | 52801 49212 31 | 0.001 % |
69.80/69.98 c | 132628 | 888 13920 46546 | 52801 49323 31 | 0.000 % |
69.90/70.02 c | 132749 | 888 13920 46546 | 52801 49444 31 | 0.000 % |
69.90/70.08 c | 132882 | 888 13920 46546 | 52801 49577 31 | 0.000 % |
70.10/70.20 c | 133028 | 888 13920 46546 | 52801 49723 31 | 0.000 % |
70.20/70.34 c | 133192 | 888 13920 46546 | 52801 49887 31 | 0.001 % |
70.30/70.45 c | 133368 | 888 13920 46546 | 52801 50063 31 | 0.000 % |
70.40/70.55 c | 133561 | 888 13920 46546 | 52801 50256 31 | 0.000 % |
70.50/70.68 c | 133774 | 888 13920 46546 | 52801 50469 31 | 0.000 % |
70.69/70.87 c | 134008 | 888 13920 46546 | 52801 50703 31 | 0.000 % |
70.89/71.05 c | 134265 | 888 13920 46546 | 52801 50960 31 | 0.000 % |
71.09/71.22 c | 134546 | 888 13920 46546 | 52801 51241 31 | 0.000 % |
71.30/71.49 c | 134855 | 888 13920 46546 | 52801 51550 31 | 0.000 % |
71.59/71.74 c | 135196 | 888 13920 46546 | 52801 51891 31 | 0.000 % |
71.89/72.06 c | 135571 | 888 13920 46546 | 52801 52266 31 | 0.000 % |
72.40/72.54 c | 135981 | 888 13920 46546 | 52801 52676 31 | 0.000 % |
72.69/72.89 c | 136430 | 888 13920 46546 | 52801 47581 31 | 0.000 % |
73.09/73.29 c | 136923 | 888 13920 46546 | 52801 48074 31 | 0.000 % |
73.50/73.65 c | 137466 | 888 13920 46546 | 52801 48617 31 | 0.000 % |
73.89/74.06 c | 138064 | 888 13920 46546 | 52801 49215 31 | 0.001 % |
74.29/74.49 c | 138720 | 888 13920 46546 | 52801 49871 31 | 0.000 % |
74.89/75.04 c | 139440 | 888 13920 46546 | 52801 50591 32 | 0.001 % |
75.39/75.54 c | 140232 | 888 13920 46546 | 2147483647 51383 32 | 0.000 % |
75.89/76.07 c | 141103 | 888 13920 46546 | 2147483647 52254 32 | 0.000 % |
76.69/76.88 c | 142061 | 888 13920 46546 | 2147483647 53212 32 | 0.000 % |
77.49/77.64 c | 143114 | 888 13920 46546 | 2147483647 54265 32 | 0.000 % |
78.29/78.41 c | 144272 | 888 13920 46546 | 2147483647 55423 32 | 0.000 % |
79.39/79.54 c | 145545 | 888 13920 46546 | 2147483647 56696 32 | 0.000 % |
80.39/80.53 c | 146946 | 888 13920 46546 | 2147483647 58097 32 | 0.000 % |
81.39/81.54 c | 148486 | 888 13920 46546 | 2147483647 59637 32 | 0.000 % |
81.49/81.61 c | 148587 | 888 13920 46546 | 2147483647 59738 32 | 0.000 % |
81.59/81.72 c | 148698 | 888 13920 46546 | 2147483647 59849 32 | 0.000 % |
81.69/81.84 c | 148819 | 888 13920 46546 | 2147483647 59970 32 | 0.001 % |
81.79/81.96 c | 148956 | 888 13920 46546 | 2147483647 60107 32 | 0.000 % |
81.89/82.08 c | 149105 | 888 13920 46546 | 2147483647 60256 32 | 0.000 % |
82.09/82.23 c | 149266 | 888 13920 46546 | 2147483647 60417 32 | 0.000 % |
82.19/82.34 c | 149444 | 888 13920 46546 | 2147483647 60595 32 | 0.000 % |
82.29/82.48 c | 149640 | 888 13920 46546 | 2147483647 60791 32 | 0.001 % |
82.49/82.66 c | 149852 | 888 13920 46546 | 2147483647 61003 32 | 0.000 % |
82.79/82.90 c | 150085 | 888 13920 46546 | 61151 61236 32 | 0.000 % |
83.09/83.23 c | 150342 | 888 13920 46546 | 61151 53812 32 | 0.000 % |
83.29/83.47 c | 150624 | 888 13920 46546 | 61151 54094 32 | 0.000 % |
83.69/83.82 c | 150933 | 888 13920 46546 | 61151 54403 32 | 0.000 % |
83.99/84.14 c | 151272 | 888 13920 46546 | 61151 54742 32 | 0.000 % |
84.29/84.41 c | 151646 | 888 13920 46546 | 61151 55116 32 | 0.000 % |
84.49/84.68 c | 152055 | 888 13920 46546 | 61151 55525 32 | 0.000 % |
84.99/85.10 c | 152505 | 888 13920 46546 | 61151 55975 32 | 0.000 % |
85.49/85.63 c | 152999 | 888 13920 46546 | 61151 56469 32 | 0.000 % |
85.98/86.12 c | 153542 | 888 13920 46546 | 61151 57012 32 | 0.000 % |
86.38/86.51 c | 154138 | 888 13920 46546 | 61151 57608 32 | 0.000 % |
86.89/87.08 c | 154794 | 888 13920 46546 | 61151 58264 32 | 0.000 % |
87.39/87.55 c | 155515 | 888 13920 46546 | 61151 58985 32 | 0.000 % |
87.99/88.19 c | 156309 | 888 13920 46546 | 61151 59779 32 | 0.000 % |
88.69/88.84 c | 157181 | 888 13920 46546 | 61151 60651 33 | 0.000 % |
89.39/89.56 c | 158140 | 888 13920 46546 | 61151 52698 32 | 0.000 % |
90.10/90.21 c | 159193 | 888 13920 46546 | 61151 53751 32 | 0.000 % |
90.99/91.11 c | 160352 | 888 13920 46546 | 54558 47302 32 | 0.000 % |
91.79/91.99 c | 161625 | 888 13920 46546 | 54558 48575 32 | 0.000 % |
92.49/92.64 c | 163025 | 888 13920 46546 | 54558 49975 32 | 0.000 % |
93.19/93.39 c | 164565 | 888 13920 46546 | 54558 51515 32 | 0.000 % |
94.69/94.87 c | 166262 | 888 13920 46546 | 54558 53212 32 | 0.000 % |
94.79/94.95 c | 166362 | 888 13920 46546 | 54558 53312 32 | 0.000 % |
94.89/95.01 c | 166473 | 888 13920 46546 | 54558 53423 32 | 0.000 % |
94.99/95.10 c | 166594 | 888 13920 46546 | 54558 53544 32 | 0.000 % |
95.09/95.21 c | 166727 | 888 13920 46546 | 54558 53677 32 | 0.000 % |
95.19/95.34 c | 166873 | 888 13920 46546 | 54558 53823 32 | 0.000 % |
95.29/95.45 c | 167033 | 888 13920 46546 | 54558 53983 32 | 0.000 % |
95.39/95.59 c | 167210 | 888 13920 46546 | 54558 54160 32 | 0.000 % |
95.59/95.72 c | 167403 | 888 13920 46546 | 54558 54353 32 | 0.000 % |
95.69/95.89 c | 167615 | 888 13920 46546 | 54558 54565 32 | 0.000 % |
95.89/96.08 c | 167850 | 888 13920 46546 | 54558 47878 31 | 0.000 % |
96.09/96.26 c | 168106 | 888 13920 46546 | 54558 48134 31 | 0.000 % |
96.29/96.44 c | 168389 | 888 13920 46546 | 54558 48417 31 | 0.000 % |
96.49/96.70 c | 168698 | 888 13920 46546 | 54558 48726 31 | 0.000 % |
96.69/96.90 c | 169037 | 888 13920 46546 | 54558 49065 31 | 0.000 % |
96.99/97.11 c | 169412 | 888 13920 46546 | 54558 49440 31 | 0.000 % |
97.19/97.36 c | 169822 | 888 13920 46546 | 54558 49850 31 | 0.000 % |
97.49/97.60 c | 170271 | 888 13920 46546 | 50028 44467 31 | 0.001 % |
97.79/97.93 c | 170766 | 888 13920 46546 | 50028 44962 31 | 0.001 % |
98.09/98.22 c | 171308 | 888 13920 46546 | 50028 45504 31 | 0.000 % |
98.39/98.57 c | 171905 | 888 13920 46546 | 50028 46101 31 | 0.000 % |
98.69/98.89 c | 172560 | 888 13920 46546 | 50028 46756 31 | 0.000 % |
99.29/99.46 c | 173280 | 888 13920 46546 | 50028 47476 31 | 0.000 % |
99.79/100.00 c | 174072 | 888 13920 46546 | 50028 48268 31 | 0.000 % |
100.39/100.58 c | 174943 | 888 13920 46546 | 50028 49139 31 | 0.000 % |
100.89/101.06 c | 175901 | 888 13920 46546 | 50028 50097 32 | 0.000 % |
101.59/101.78 c | 176954 | 888 13920 46546 | 50028 46141 31 | 0.000 % |
102.49/102.64 c | 178113 | 888 13920 46546 | 50028 47300 31 | 0.000 % |
103.59/103.71 c | 179387 | 888 13920 46546 | 50028 48574 31 | 0.000 % |
104.49/104.64 c | 180787 | 888 13920 46546 | 2147483647 49974 31 | 0.000 % |
105.59/105.72 c | 182329 | 888 13920 46546 | 2147483647 51516 32 | 0.000 % |
106.88/107.03 c | 184024 | 888 13920 46546 | 2147483647 53211 32 | 0.000 % |
108.38/108.57 c | 185887 | 888 13920 46546 | 2147483647 55074 32 | 0.000 % |
108.48/108.67 c | 185988 | 888 13920 46546 | 2147483647 55175 32 | 0.000 % |
108.58/108.76 c | 186099 | 888 13920 46546 | 2147483647 55286 32 | 0.000 % |
108.69/108.85 c | 186220 | 888 13920 46546 | 2147483647 55407 32 | 0.000 % |
108.79/108.93 c | 186353 | 888 13920 46546 | 2147483647 55540 32 | 0.000 % |
108.88/109.02 c | 186500 | 888 13920 46546 | 2147483647 55687 32 | 0.001 % |
108.98/109.15 c | 186660 | 888 13920 46546 | 2147483647 55847 32 | 0.000 % |
109.08/109.24 c | 186838 | 888 13920 46546 | 2147483647 56025 32 | 0.001 % |
109.18/109.33 c | 187032 | 888 13920 46546 | 2147483647 56219 32 | 0.000 % |
109.28/109.46 c | 187244 | 888 13920 46546 | 2147483647 56431 32 | 0.001 % |
109.48/109.62 c | 187478 | 888 13920 46546 | 2147483647 56665 32 | 0.000 % |
109.58/109.73 c | 187734 | 888 13920 46546 | 2147483647 56921 32 | 0.000 % |
109.68/109.89 c | 188015 | 888 13920 46546 | 2147483647 57202 32 | 0.000 % |
109.98/110.10 c | 188325 | 888 13920 46546 | 2147483647 57512 32 | 0.000 % |
110.18/110.30 c | 188665 | 888 13920 46546 | 2147483647 57852 32 | 0.000 % |
110.38/110.52 c | 189037 | 888 13920 46546 | 2147483647 58224 33 | 0.001 % |
110.68/110.85 c | 189446 | 888 13920 46546 | 2147483647 58633 33 | 0.000 % |
110.98/111.12 c | 189896 | 888 13920 46546 | 2147483647 59083 33 | 0.000 % |
111.38/111.54 c | 190390 | 888 13920 46546 | 59187 53354 32 | 0.000 % |
111.88/112.03 c | 190932 | 888 13920 46546 | 59187 53896 32 | 0.001 % |
112.28/112.48 c | 191528 | 888 13920 46546 | 59187 54492 32 | 0.000 % |
112.88/113.00 c | 192186 | 888 13920 46546 | 59187 55150 32 | 0.000 % |
113.28/113.41 c | 192906 | 888 13920 46546 | 59187 55870 32 | 0.000 % |
113.88/114.03 c | 193698 | 888 13920 46546 | 59187 56662 32 | 0.000 % |
114.48/114.62 c | 194569 | 888 13920 46546 | 59187 57533 33 | 0.000 % |
115.18/115.35 c | 195528 | 888 13920 46546 | 59187 58492 32 | 0.001 % |
116.08/116.23 c | 196581 | 888 13920 46546 | 59187 52288 32 | 0.000 % |
116.78/116.96 c | 197739 | 888 13920 46546 | 59187 53446 32 | 0.001 % |
117.68/117.86 c | 199013 | 888 13920 46546 | 59187 54720 32 | 0.000 % |
118.77/118.91 c | 200414 | 888 13920 46546 | 55707 49509 31 | 0.000 % |
119.87/120.04 c | 201954 | 888 13920 46546 | 55707 51049 31 | 0.000 % |
121.17/121.36 c | 203648 | 888 13920 46546 | 55707 52743 32 | 0.000 % |
122.98/123.17 c | 205511 | 888 13920 46546 | 55707 54606 32 | 0.000 % |
125.18/125.35 c | 207560 | 888 13920 46546 | 55707 50101 32 | 0.000 % |
125.28/125.45 c | 207660 | 888 13920 46546 | 55707 50201 32 | 0.001 % |
125.37/125.53 c | 207770 | 888 13920 46546 | 55707 50311 32 | 0.000 % |
125.47/125.63 c | 207891 | 888 13920 46546 | 55707 50432 32 | 0.000 % |
125.57/125.77 c | 208024 | 888 13920 46546 | 55707 50565 32 | 0.000 % |
125.67/125.88 c | 208171 | 888 13920 46546 | 55707 50712 32 | 0.001 % |
125.87/126.03 c | 208333 | 888 13920 46546 | 55707 50874 32 | 0.001 % |
125.97/126.14 c | 208509 | 888 13920 46546 | 55707 51050 32 | 0.001 % |
126.07/126.28 c | 208702 | 888 13920 46546 | 55707 51243 32 | 0.001 % |
126.27/126.43 c | 208915 | 888 13920 46546 | 55707 51456 32 | 0.000 % |
126.37/126.55 c | 209149 | 888 13920 46546 | 55707 51690 32 | 0.000 % |
126.57/126.78 c | 209405 | 888 13920 46546 | 55707 51946 32 | 0.000 % |
126.77/126.96 c | 209686 | 888 13920 46546 | 55707 52227 32 | 0.000 % |
126.97/127.16 c | 209995 | 888 13920 46546 | 55707 52536 32 | 0.000 % |
127.17/127.37 c | 210334 | 888 13920 46546 | 52542 46783 31 | 0.000 % |
127.37/127.55 c | 210706 | 888 13920 46546 | 52542 47155 31 | 0.000 % |
127.57/127.78 c | 211115 | 888 13920 46546 | 52542 47564 32 | 0.000 % |
127.87/128.05 c | 211565 | 888 13920 46546 | 52542 48014 32 | 0.001 % |
128.17/128.38 c | 212059 | 888 13920 46546 | 52542 48508 32 | 0.000 % |
128.47/128.67 c | 212601 | 888 13920 46546 | 52542 49050 32 | 0.000 % |
128.76/128.97 c | 213198 | 888 13920 46546 | 52542 49647 32 | 0.001 % |
129.16/129.38 c | 213855 | 888 13920 46546 | 52542 50304 32 | 0.000 % |
129.67/129.89 c | 214576 | 888 13920 46546 | 52542 51025 32 | 0.001 % |
130.36/130.54 c | 215369 | 888 13920 46546 | 52542 51818 32 | 0.000 % |
130.96/131.19 c | 216241 | 888 13920 46546 | 52542 47424 32 | 0.000 % |
131.56/131.75 c | 217199 | 888 13920 46546 | 52542 48382 32 | 0.000 % |
132.46/132.61 c | 218253 | 888 13920 46546 | 52542 49436 32 | 0.001 % |
133.16/133.38 c | 219412 | 888 13920 46546 | 52542 50595 32 | 0.000 % |
134.06/134.27 c | 220685 | 888 13920 46546 | 2147483647 51868 32 | 0.000 % |
135.36/135.50 c | 222085 | 888 13920 46546 | 2147483647 53268 32 | 0.000 % |
136.46/136.69 c | 223625 | 888 13920 46546 | 2147483647 54808 32 | 0.000 % |
137.86/138.03 c | 225320 | 888 13920 46546 | 2147483647 56503 32 | 0.001 % |
139.16/139.37 c | 227183 | 888 13920 46546 | 2147483647 58366 32 | 0.001 % |
140.66/140.84 c | 229232 | 888 13920 46546 | 2147483647 60415 32 | 0.000 % |
142.35/142.58 c | 231485 | 888 13920 46546 | 61185 54478 32 | 0.000 % |
142.45/142.64 c | 231585 | 888 13920 46546 | 61185 54578 32 | 0.001 % |
142.55/142.73 c | 231696 | 888 13920 46546 | 61185 54689 32 | 0.000 % |
142.65/142.85 c | 231817 | 888 13920 46546 | 61185 54810 32 | 0.001 % |
142.76/142.92 c | 231950 | 888 13920 46546 | 61185 54943 32 | 0.000 % |
142.76/143.00 c | 232096 | 888 13920 46546 | 61185 55089 32 | 0.000 % |
142.95/143.10 c | 232256 | 888 13920 46546 | 61185 55249 32 | 0.000 % |
143.05/143.23 c | 232432 | 888 13920 46546 | 61185 55425 32 | 0.001 % |
143.15/143.38 c | 232625 | 888 13920 46546 | 61185 55618 32 | 0.000 % |
143.35/143.52 c | 232838 | 888 13920 46546 | 61185 55831 32 | 0.000 % |
143.45/143.67 c | 233071 | 888 13920 46546 | 61185 56064 32 | 0.001 % |
143.65/143.85 c | 233327 | 888 13920 46546 | 61185 56320 32 | 0.000 % |
143.96/144.18 c | 233609 | 888 13920 46546 | 61185 56602 32 | 0.000 % |
144.25/144.46 c | 233918 | 888 13920 46546 | 61185 56911 32 | 0.000 % |
144.55/144.74 c | 234257 | 888 13920 46546 | 61185 57250 32 | 0.000 % |
144.85/145.02 c | 234630 | 888 13920 46546 | 61185 57623 32 | 0.000 % |
145.15/145.32 c | 235039 | 888 13920 46546 | 61185 58032 32 | 0.001 % |
145.45/145.66 c | 235488 | 888 13920 46546 | 61185 58481 32 | 0.000 % |
145.85/146.08 c | 235981 | 888 13920 46546 | 61185 58974 32 | 0.001 % |
146.25/146.46 c | 236525 | 888 13920 46546 | 61185 59518 32 | 0.000 % |
146.95/147.12 c | 237122 | 888 13920 46546 | 61185 60115 32 | 0.001 % |
147.45/147.66 c | 237777 | 888 13920 46546 | 61185 60770 32 | 0.000 % |
147.95/148.17 c | 238499 | 888 13920 46546 | 61185 52164 31 | 0.000 % |
148.56/148.79 c | 239292 | 888 13920 46546 | 61185 52957 31 | 0.000 % |
149.06/149.29 c | 240163 | 888 13920 46546 | 53665 53828 32 | 0.000 % |
149.86/150.06 c | 241121 | 888 13920 46546 | 53665 46941 31 | 0.000 % |
150.56/150.75 c | 242175 | 888 13920 46546 | 53665 47995 31 | 0.000 % |
151.36/151.50 c | 243333 | 888 13920 46546 | 53665 49153 31 | 0.000 % |
152.06/152.26 c | 244606 | 888 13920 46546 | 53665 50426 31 | 0.000 % |
152.96/153.18 c | 246007 | 888 13920 46546 | 53665 51827 31 | 0.000 % |
154.46/154.60 c | 247548 | 888 13920 46546 | 53665 53368 31 | 0.000 % |
155.46/155.70 c | 249242 | 888 13920 46546 | 53665 49192 31 | 0.000 % |
156.76/156.97 c | 251105 | 888 13920 46546 | 49951 45572 30 | 0.000 % |
158.36/158.52 c | 253154 | 888 13920 46546 | 49951 47621 30 | 0.000 % |
160.06/160.21 c | 255408 | 888 13920 46546 | 49951 49875 31 | 0.000 % |
161.96/162.11 c | 257886 | 888 13920 46546 | 49951 47341 31 | 0.000 % |
161.96/162.18 c | 257986 | 888 13920 46546 | 49951 47441 31 | 0.000 % |
162.06/162.25 c | 258096 | 888 13920 46546 | 49951 47551 31 | 0.000 % |
162.16/162.34 c | 258218 | 888 13920 46546 | 49951 47673 31 | 0.000 % |
162.26/162.41 c | 258351 | 888 13920 46546 | 49951 47806 31 | 0.000 % |
162.36/162.50 c | 258499 | 888 13920 46546 | 49951 47954 31 | 0.000 % |
162.36/162.59 c | 258659 | 888 13920 46546 | 49951 48114 31 | 0.000 % |
162.56/162.71 c | 258835 | 888 13920 46546 | 49951 48290 31 | 0.000 % |
162.66/162.82 c | 259028 | 888 13920 46546 | 49951 48483 31 | 0.000 % |
162.76/162.96 c | 259241 | 888 13920 46546 | 49951 48696 31 | 0.000 % |
162.86/163.09 c | 259475 | 888 13920 46546 | 49951 48930 31 | 0.000 % |
163.06/163.25 c | 259731 | 888 13920 46546 | 49951 49186 31 | 0.000 % |
163.15/163.38 c | 260012 | 888 13920 46546 | 2147483647 49467 31 | 0.000 % |
163.35/163.57 c | 260321 | 888 13920 46546 | 2147483647 49776 31 | 0.000 % |
163.55/163.73 c | 260661 | 888 13920 46546 | 2147483647 50116 31 | 0.000 % |
163.76/163.97 c | 261033 | 888 13920 46546 | 2147483647 50488 31 | 0.000 % |
164.05/164.22 c | 261442 | 888 13920 46546 | 2147483647 50897 31 | 0.000 % |
164.25/164.44 c | 261891 | 888 13920 46546 | 2147483647 51346 31 | 0.000 % |
164.55/164.71 c | 262384 | 888 13920 46546 | 2147483647 51839 31 | 0.000 % |
164.86/165.06 c | 262928 | 888 13920 46546 | 2147483647 52383 31 | 0.000 % |
165.25/165.49 c | 263524 | 888 13920 46546 | 2147483647 52979 31 | 0.000 % |
165.65/165.88 c | 264179 | 888 13920 46546 | 2147483647 53634 31 | 0.000 % |
166.15/166.36 c | 264901 | 888 13920 46546 | 2147483647 54356 31 | 0.000 % |
166.65/166.85 c | 265695 | 888 13920 46546 | 2147483647 55150 31 | 0.000 % |
167.15/167.38 c | 266566 | 888 13920 46546 | 2147483647 56021 32 | 0.000 % |
167.75/167.96 c | 267524 | 888 13920 46546 | 2147483647 56979 32 | 0.000 % |
168.85/169.05 c | 268577 | 888 13920 46546 | 2147483647 58032 32 | 0.001 % |
169.75/169.93 c | 269735 | 888 13920 46546 | 2147483647 59190 32 | 0.000 % |
170.85/171.04 c | 271008 | 888 13920 46546 | 2147483647 60463 32 | 0.000 % |
172.15/172.33 c | 272409 | 888 13920 46546 | 2147483647 61864 32 | 0.000 % |
173.65/173.82 c | 273949 | 888 13920 46546 | 2147483647 63404 32 | 0.000 % |
175.75/175.96 c | 275643 | 888 13920 46546 | 2147483647 65098 32 | 0.000 % |
177.44/177.62 c | 277507 | 888 13920 46546 | 2147483647 66962 32 | 0.001 % |
179.54/179.76 c | 279556 | 888 13920 46546 | 2147483647 69011 33 | 0.001 % |
182.04/182.27 c | 281809 | 888 13920 46546 | 69455 60513 32 | 0.000 % |
183.94/184.18 c | 284287 | 888 13920 46546 | 69455 62991 32 | 0.000 % |
186.14/186.30 c | 287012 | 888 13920 46546 | 69455 65716 32 | 0.000 % |
186.24/186.40 c | 287113 | 888 13920 46546 | 69455 65817 32 | 0.000 % |
186.34/186.50 c | 287223 | 888 13920 46546 | 69455 65927 32 | 0.001 % |
186.44/186.60 c | 287344 | 888 13920 46546 | 69455 66048 32 | 0.001 % |
186.54/186.75 c | 287478 | 888 13920 46546 | 69455 66182 32 | 0.001 % |
186.64/186.86 c | 287624 | 888 13920 46546 | 69455 66328 32 | 0.000 % |
186.74/186.98 c | 287784 | 888 13920 46546 | 69455 66488 32 | 0.000 % |
186.94/187.12 c | 287960 | 888 13920 46546 | 69455 66664 32 | 0.000 % |
187.04/187.25 c | 288156 | 888 13920 46546 | 69455 66860 32 | 0.000 % |
187.24/187.43 c | 288368 | 888 13920 46546 | 69455 67072 32 | 0.000 % |
187.34/187.59 c | 288601 | 888 13920 46546 | 69455 67305 32 | 0.000 % |
187.54/187.78 c | 288857 | 888 13920 46546 | 69455 67561 32 | 0.000 % |
187.84/188.02 c | 289139 | 888 13920 46546 | 69455 67843 33 | 0.000 % |
188.04/188.25 c | 289448 | 888 13920 46546 | 69455 68152 33 | 0.001 % |
188.24/188.50 c | 289788 | 888 13920 46546 | 69455 68492 33 | 0.000 % |
188.64/188.88 c | 290160 | 888 13920 46546 | 68705 57717 31 | 0.001 % |
189.04/189.24 c | 290571 | 888 13920 46546 | 68705 58128 31 | 0.001 % |
189.44/189.69 c | 291020 | 888 13920 46546 | 68705 58577 31 | 0.000 % |
190.04/190.22 c | 291513 | 888 13920 46546 | 68705 59070 31 | 0.000 % |
190.54/190.77 c | 292055 | 888 13920 46546 | 68705 59612 31 | 0.000 % |
191.04/191.20 c | 292651 | 888 13920 46546 | 68705 60208 31 | 0.000 % |
191.44/191.66 c | 293306 | 888 13920 46546 | 68705 60863 31 | 0.000 % |
191.84/192.09 c | 294026 | 888 13920 46546 | 68705 61583 31 | 0.001 % |
192.44/192.70 c | 294819 | 888 13920 46546 | 68705 62376 31 | 0.000 % |
193.04/193.27 c | 295691 | 888 13920 46546 | 68705 63248 31 | 0.000 % |
193.74/193.94 c | 296649 | 888 13920 46546 | 68705 64206 32 | 0.001 % |
194.54/194.72 c | 297703 | 888 13920 46546 | 68705 65260 32 | 0.000 % |
195.44/195.62 c | 298863 | 888 13920 46546 | 68705 66420 32 | 0.000 % |
197.04/197.21 c | 300138 | 888 13920 46546 | 67561 56856 31 | 0.000 % |
198.14/198.39 c | 301538 | 888 13920 46546 | 67561 58256 31 | 0.000 % |
199.54/199.70 c | 303078 | 888 13920 46546 | 67561 59796 31 | 0.000 % |
201.34/201.50 c | 304773 | 888 13920 46546 | 67561 61491 31 | 0.000 % |
202.83/203.06 c | 306637 | 888 13920 46546 | 67561 63355 32 | 0.000 % |
204.53/204.78 c | 308686 | 888 13920 46546 | 67561 65404 32 | 0.001 % |
206.64/206.81 c | 310939 | 888 13920 46546 | 66719 56525 30 | 0.000 % |
208.74/208.93 c | 313417 | 888 13920 46546 | 66719 59003 31 | 0.000 % |
210.73/210.95 c | 316143 | 888 13920 46546 | 66719 61729 31 | 0.000 % |
213.13/213.37 c | 319140 | 888 13920 46546 | 66719 64726 31 | 0.000 % |
213.23/213.43 c | 319241 | 888 13920 46546 | 66719 64827 31 | 0.000 % |
213.33/213.51 c | 319351 | 888 13920 46546 | 66719 64937 31 | 0.001 % |
213.33/213.58 c | 319473 | 888 13920 46546 | 66719 65059 31 | 0.000 % |
213.43/213.64 c | 319606 | 888 13920 46546 | 66719 65192 31 | 0.000 % |
213.53/213.74 c | 319753 | 888 13920 46546 | 66719 65339 31 | 0.000 % |
213.63/213.84 c | 319915 | 888 13920 46546 | 66719 65501 31 | 0.000 % |
213.73/213.94 c | 320091 | 888 13920 46546 | 65588 65677 31 | 0.000 % |
214.03/214.20 c | 320285 | 888 13920 46546 | 65588 55869 30 | 0.000 % |
214.13/214.32 c | 320497 | 888 13920 46546 | 65588 56081 30 | 0.000 % |
214.23/214.47 c | 320730 | 888 13920 46546 | 65588 56314 30 | 0.000 % |
214.43/214.64 c | 320988 | 888 13920 46546 | 65588 56572 30 | 0.000 % |
214.53/214.78 c | 321271 | 888 13920 46546 | 65588 56855 30 | 0.000 % |
214.73/214.96 c | 321580 | 888 13920 46546 | 65588 57164 31 | 0.000 % |
215.03/215.20 c | 321919 | 888 13920 46546 | 65588 57503 31 | 0.000 % |
215.33/215.51 c | 322291 | 888 13920 46546 | 65588 57875 31 | 0.000 % |
215.53/215.79 c | 322700 | 888 13920 46546 | 65588 58284 31 | 0.000 % |
215.83/216.05 c | 323150 | 888 13920 46546 | 65588 58734 31 | 0.000 % |
216.13/216.35 c | 323643 | 888 13920 46546 | 65588 59227 31 | 0.000 % |
216.53/216.75 c | 324187 | 888 13920 46546 | 65588 59771 31 | 0.000 % |
216.93/217.15 c | 324783 | 888 13920 46546 | 65588 60367 31 | 0.000 % |
217.42/217.60 c | 325440 | 888 13920 46546 | 65588 61024 31 | 0.001 % |
217.92/218.16 c | 326161 | 888 13920 46546 | 65588 61745 31 | 0.001 % |
218.52/218.79 c | 326953 | 888 13920 46546 | 65588 62537 31 | 0.000 % |
219.12/219.37 c | 327826 | 888 13920 46546 | 65588 63410 31 | 0.000 % |
219.73/219.91 c | 328788 | 888 13920 46546 | 65588 64372 31 | 0.000 % |
220.22/220.48 c | 329841 | 888 13920 46546 | 65588 65425 31 | 0.000 % |
221.12/221.36 c | 331000 | 888 13920 46546 | 65584 57532 31 | 0.000 % |
222.32/222.51 c | 332274 | 888 13920 46546 | 65584 58806 32 | 0.000 % |
223.32/223.53 c | 333674 | 888 13920 46546 | 65584 60206 32 | 0.000 % |
224.62/224.82 c | 335214 | 888 13920 46546 | 65584 61746 32 | 0.000 % |
226.22/226.45 c | 336909 | 888 13920 46546 | 65584 63441 32 | 0.000 % |
228.02/228.24 c | 338772 | 888 13920 46546 | 65584 65304 32 | 0.000 % |
229.92/230.14 c | 340822 | 888 13920 46546 | 56927 49378 31 | 0.000 % |
231.42/231.68 c | 343078 | 888 13920 46546 | 56927 51634 32 | 0.000 % |
233.32/233.58 c | 345559 | 888 13920 46546 | 56927 54115 32 | 0.000 % |
235.12/235.37 c | 348285 | 888 13920 46546 | 56927 56841 32 | 0.000 % |
237.42/237.63 c | 351282 | 888 13920 46546 | 51570 46784 32 | 0.000 % |
239.42/239.63 c | 354578 | 888 13920 46546 | 51570 50080 32 | 0.000 % |
239.52/239.71 c | 354678 | 888 13920 46546 | 51570 50180 32 | 0.000 % |
239.52/239.76 c | 354790 | 888 13920 46546 | 51570 50292 32 | 0.001 % |
239.62/239.83 c | 354911 | 888 13920 46546 | 51570 50413 32 | 0.000 % |
239.62/239.89 c | 355044 | 888 13920 46546 | 51570 50546 32 | 0.000 % |
239.72/239.99 c | 355190 | 888 13920 46546 | 51570 50692 32 | 0.000 % |
239.92/240.15 c | 355350 | 888 13920 46546 | 51570 50852 32 | 0.000 % |
240.02/240.25 c | 355527 | 888 13920 46546 | 51570 51029 32 | 0.000 % |
240.12/240.38 c | 355720 | 888 13920 46546 | 51570 51222 32 | 0.000 % |
240.22/240.49 c | 355932 | 888 13920 46546 | 51570 51434 32 | 0.000 % |
240.42/240.64 c | 356170 | 888 13920 46546 | 51570 51672 32 | 0.000 % |
240.62/240.86 c | 356426 | 888 13920 46546 | 51570 46430 32 | 0.000 % |
240.82/241.04 c | 356707 | 888 13920 46546 | 51570 46711 32 | 0.000 % |
241.02/241.23 c | 357016 | 888 13920 46546 | 51570 47020 32 | 0.000 % |
241.22/241.45 c | 357356 | 888 13920 46546 | 51570 47360 32 | 0.000 % |
241.52/241.71 c | 357729 | 888 13920 46546 | 51570 47733 32 | 0.000 % |
241.73/241.97 c | 358138 | 888 13920 46546 | 51570 48142 32 | 0.000 % |
242.02/242.29 c | 358589 | 888 13920 46546 | 51570 48593 32 | 0.000 % |
242.32/242.58 c | 359082 | 888 13920 46546 | 51570 49086 32 | 0.000 % |
242.83/243.01 c | 359624 | 888 13920 46546 | 51570 49628 32 | 0.000 % |
243.22/243.42 c | 360220 | 888 13920 46546 | 2147483647 50224 32 | 0.001 % |
243.52/243.75 c | 360875 | 888 13920 46546 | 2147483647 50879 32 | 0.001 % |
244.03/244.23 c | 361597 | 888 13920 46546 | 2147483647 51601 32 | 0.000 % |
244.42/244.68 c | 362391 | 888 13920 46546 | 2147483647 52395 33 | 0.000 % |
245.02/245.21 c | 363262 | 888 13920 46546 | 2147483647 53266 33 | 0.000 % |
245.62/245.81 c | 364221 | 888 13920 46546 | 2147483647 54225 33 | 0.000 % |
246.12/246.38 c | 365274 | 888 13920 46546 | 2147483647 55278 33 | 0.000 % |
246.82/247.06 c | 366433 | 888 13920 46546 | 2147483647 56437 33 | 0.000 % |
248.02/248.20 c | 367709 | 888 13920 46546 | 2147483647 57713 33 | 0.000 % |
248.92/249.15 c | 369109 | 888 13920 46546 | 2147483647 59113 33 | 0.000 % |
250.12/250.34 c | 370649 | 888 13920 46546 | 60005 53885 32 | 0.001 % |
251.52/251.72 c | 372343 | 888 13920 46546 | 60005 55579 32 | 0.000 % |
253.32/253.53 c | 374207 | 888 13920 46546 | 60005 57443 32 | 0.000 % |
255.22/255.46 c | 376257 | 888 13920 46546 | 60005 59493 32 | 0.000 % |
257.22/257.40 c | 378512 | 888 13920 46546 | 60005 55101 32 | 0.000 % |
259.42/259.63 c | 380991 | 888 13920 46546 | 56590 51486 31 | 0.000 % |
261.31/261.54 c | 383716 | 888 13920 46546 | 56590 54211 32 | 0.000 % |
263.61/263.86 c | 386713 | 888 13920 46546 | 56590 51534 31 | 0.000 % |
265.81/266.01 c | 390010 | 888 13920 46546 | 2147483647 54831 32 | 0.000 % |
268.41/268.60 c | 393635 | 888 13920 46546 | 2147483647 58456 32 | 0.000 % |
268.41/268.68 c | 393736 | 888 13920 46546 | 2147483647 58557 32 | 0.000 % |
268.61/268.80 c | 393847 | 888 13920 46546 | 2147483647 58668 32 | 0.000 % |
268.71/268.91 c | 393968 | 888 13920 46546 | 2147483647 58789 32 | 0.000 % |
268.81/269.01 c | 394102 | 888 13920 46546 | 2147483647 58923 32 | 0.000 % |
268.91/269.13 c | 394248 | 888 13920 46546 | 2147483647 59069 32 | 0.000 % |
269.01/269.26 c | 394409 | 888 13920 46546 | 2147483647 59230 32 | 0.000 % |
269.11/269.39 c | 394586 | 888 13920 46546 | 2147483647 59407 32 | 0.000 % |
269.32/269.58 c | 394779 | 888 13920 46546 | 2147483647 59600 32 | 0.000 % |
269.51/269.76 c | 394992 | 888 13920 46546 | 2147483647 59813 32 | 0.000 % |
269.71/269.93 c | 395226 | 888 13920 46546 | 2147483647 60047 32 | 0.000 % |
269.91/270.11 c | 395482 | 888 13920 46546 | 2147483647 60303 32 | 0.000 % |
270.11/270.38 c | 395764 | 888 13920 46546 | 2147483647 60585 32 | 0.000 % |
270.51/270.72 c | 396075 | 888 13920 46546 | 2147483647 60896 32 | 0.000 % |
270.81/271.04 c | 396416 | 888 13920 46546 | 2147483647 61237 32 | 0.000 % |
271.21/271.43 c | 396788 | 888 13920 46546 | 2147483647 61609 32 | 0.000 % |
271.61/271.90 c | 397197 | 888 13920 46546 | 2147483647 62018 32 | 0.000 % |
272.11/272.36 c | 397646 | 888 13920 46546 | 2147483647 62467 32 | 0.000 % |
272.51/272.72 c | 398140 | 888 13920 46546 | 2147483647 62961 32 | 0.000 % |
273.01/273.20 c | 398682 | 888 13920 46546 | 2147483647 63503 32 | 0.000 % |
273.51/273.80 c | 399279 | 888 13920 46546 | 2147483647 64100 32 | 0.000 % |
274.21/274.44 c | 399934 | 888 13920 46546 | 2147483647 64755 32 | 0.000 % |
274.91/275.11 c | 400656 | 888 13920 46546 | 64821 56417 32 | 0.000 % |
275.61/275.83 c | 401450 | 888 13920 46546 | 64821 57211 32 | 0.000 % |
276.11/276.33 c | 402322 | 888 13920 46546 | 64821 58083 32 | 0.001 % |
276.91/277.19 c | 403281 | 888 13920 46546 | 64821 59042 32 | 0.000 % |
277.91/278.10 c | 404336 | 888 13920 46546 | 64821 60097 33 | 0.000 % |
278.91/279.18 c | 405494 | 888 13920 46546 | 64821 61255 33 | 0.000 % |
279.90/280.18 c | 406768 | 888 13920 46546 | 64821 62529 33 | 0.000 % |
280.90/281.15 c | 408168 | 888 13920 46546 | 64821 63929 33 | 0.000 % |
282.41/282.68 c | 409708 | 888 13920 46546 | 64821 55691 32 | 0.000 % |
283.80/284.05 c | 411403 | 888 13920 46546 | 55983 49167 32 | 0.000 % |
284.90/285.12 c | 413269 | 888 13920 46546 | 55983 51033 33 | 0.000 % |
286.30/286.52 c | 415320 | 888 13920 46546 | 55983 53084 33 | 0.000 % |
288.30/288.53 c | 417573 | 888 13920 46546 | 55983 55337 33 | 0.000 % |
290.50/290.78 c | 420051 | 888 13920 46546 | 51361 51412 33 | 0.000 % |
293.10/293.37 c | 422776 | 888 13920 46546 | 51361 48203 32 | 0.000 % |
295.50/295.71 c | 425773 | 888 13920 46546 | 51361 51200 33 | 0.000 % |
298.20/298.47 c | 429071 | 888 13920 46546 | 51361 48694 32 | 0.001 % |
301.10/301.40 c | 432696 | 888 13920 46546 | 49624 46587 32 | 0.000 % |
303.90/304.15 c | 436684 | 888 13920 46546 | 49624 44761 31 | 0.000 % |
304.00/304.21 c | 436784 | 888 13920 46546 | 49624 44861 31 | 0.001 % |
304.00/304.27 c | 436894 | 888 13920 46546 | 49624 44971 31 | 0.000 % |
304.10/304.35 c | 437018 | 888 13920 46546 | 49624 45095 31 | 0.001 % |
304.20/304.41 c | 437151 | 888 13920 46546 | 49624 45228 31 | 0.000 % |
304.20/304.47 c | 437297 | 888 13920 46546 | 49624 45374 31 | 0.000 % |
304.30/304.53 c | 437458 | 888 13920 46546 | 49624 45535 31 | 0.000 % |
304.40/304.62 c | 437634 | 888 13920 46546 | 49624 45711 31 | 0.001 % |
304.50/304.72 c | 437828 | 888 13920 46546 | 49624 45905 31 | 0.000 % |
304.59/304.83 c | 438044 | 888 13920 46546 | 49624 46121 31 | 0.001 % |
304.69/304.99 c | 438277 | 888 13920 46546 | 49624 46354 32 | 0.001 % |
304.89/305.13 c | 438534 | 888 13920 46546 | 49624 46611 32 | 0.000 % |
305.09/305.30 c | 438817 | 888 13920 46546 | 49624 46894 32 | 0.000 % |
305.19/305.49 c | 439127 | 888 13920 46546 | 49624 47204 32 | 0.000 % |
305.39/305.69 c | 439468 | 888 13920 46546 | 49624 47545 32 | 0.000 % |
305.69/305.95 c | 439841 | 888 13920 46546 | 49624 47918 32 | 0.000 % |
305.99/306.29 c | 440250 | 888 13920 46546 | 48078 43049 31 | 0.000 % |
306.39/306.61 c | 440700 | 888 13920 46546 | 48078 43499 31 | 0.000 % |
306.70/306.92 c | 441194 | 888 13920 46546 | 48078 43993 31 | 0.000 % |
307.09/307.38 c | 441739 | 888 13920 46546 | 48078 44538 31 | 0.000 % |
307.49/307.73 c | 442336 | 888 13920 46546 | 48078 45135 31 | 0.000 % |
307.89/308.15 c | 442991 | 888 13920 46546 | 48078 45790 31 | 0.000 % |
308.39/308.62 c | 443711 | 888 13920 46546 | 48078 46510 31 | 0.000 % |
308.80/309.08 c | 444504 | 888 13920 46546 | 48078 47303 31 | 0.000 % |
309.49/309.74 c | 445375 | 888 13920 46546 | 48078 48174 31 | 0.001 % |
310.09/310.38 c | 446333 | 888 13920 46546 | 48078 44315 30 | 0.001 % |
310.69/310.98 c | 447387 | 888 13920 46546 | 48078 45369 30 | 0.000 % |
311.59/311.80 c | 448545 | 888 13920 46546 | 48078 46527 31 | 0.000 % |
312.49/312.76 c | 449819 | 888 13920 46546 | 48078 47801 31 | 0.000 % |
313.49/313.79 c | 451219 | 888 13920 46546 | 2147483647 49201 31 | 0.000 % |
314.79/315.05 c | 452760 | 888 13920 46546 | 2147483647 50742 31 | 0.000 % |
316.09/316.30 c | 454454 | 888 13920 46546 | 2147483647 52436 31 | 0.000 % |
317.49/317.79 c | 456317 | 888 13920 46546 | 2147483647 54299 31 | 0.001 % |
319.09/319.32 c | 458366 | 888 13920 46546 | 2147483647 56348 31 | 0.000 % |
321.29/321.55 c | 460621 | 888 13920 46546 | 57982 51987 30 | 0.000 % |
323.28/323.58 c | 463099 | 888 13920 46546 | 57982 54465 31 | 0.001 % |
325.39/325.66 c | 465825 | 888 13920 46546 | 57982 57191 31 | 0.000 % |
327.68/327.94 c | 468823 | 888 13920 46546 | 57982 51385 30 | 0.000 % |
330.18/330.49 c | 472120 | 888 13920 46546 | 52565 47099 30 | 0.000 % |
332.58/332.85 c | 475745 | 888 13920 46546 | 52565 50724 31 | 0.000 % |
336.08/336.35 c | 479733 | 888 13920 46546 | 52565 48049 31 | 0.000 % |
338.88/339.11 c | 484120 | 888 13920 46546 | 48318 46398 31 | 0.000 % |
338.88/339.19 c | 484220 | 888 13920 46546 | 48318 46498 31 | 0.001 % |
338.98/339.26 c | 484330 | 888 13920 46546 | 48318 46608 31 | 0.000 % |
339.08/339.32 c | 484452 | 888 13920 46546 | 48318 46730 31 | 0.000 % |
339.08/339.39 c | 484586 | 888 13920 46546 | 48318 46864 31 | 0.000 % |
339.28/339.50 c | 484732 | 888 13920 46546 | 48318 47010 31 | 0.000 % |
339.38/339.62 c | 484892 | 888 13920 46546 | 48318 47170 32 | 0.000 % |
339.48/339.79 c | 485068 | 888 13920 46546 | 48318 47346 32 | 0.000 % |
339.68/339.94 c | 485261 | 888 13920 46546 | 48318 47539 32 | 0.000 % |
339.78/340.06 c | 485473 | 888 13920 46546 | 48318 47751 32 | 0.000 % |
339.88/340.18 c | 485707 | 888 13920 46546 | 48318 47985 32 | 0.000 % |
340.08/340.35 c | 485964 | 888 13920 46546 | 48318 48242 32 | 0.000 % |
340.28/340.53 c | 486246 | 888 13920 46546 | 48318 48524 32 | 0.000 % |
340.48/340.78 c | 486555 | 888 13920 46546 | 48318 43981 31 | 0.000 % |
340.68/340.98 c | 486894 | 888 13920 46546 | 48318 44320 31 | 0.000 % |
341.08/341.32 c | 487266 | 888 13920 46546 | 48318 44692 32 | 0.000 % |
341.38/341.69 c | 487676 | 888 13920 46546 | 48318 45102 32 | 0.000 % |
341.78/342.03 c | 488125 | 888 13920 46546 | 48318 45551 32 | 0.000 % |
342.08/342.33 c | 488620 | 888 13920 46546 | 48318 46046 32 | 0.000 % |
342.37/342.68 c | 489163 | 888 13920 46546 | 48318 46589 32 | 0.000 % |
342.77/343.01 c | 489760 | 888 13920 46546 | 48318 47186 32 | 0.000 % |
343.07/343.35 c | 490417 | 888 13920 46546 | 2147483647 47843 32 | 0.000 % |
343.58/343.81 c | 491137 | 888 13920 46546 | 2147483647 48563 32 | 0.000 % |
344.08/344.34 c | 491929 | 888 13920 46546 | 2147483647 49355 32 | 0.001 % |
344.48/344.79 c | 492802 | 888 13920 46546 | 2147483647 50228 32 | 0.000 % |
345.27/345.53 c | 493760 | 888 13920 46546 | 2147483647 51186 32 | 0.001 % |
346.18/346.46 c | 494813 | 888 13920 46546 | 2147483647 52239 32 | 0.000 % |
347.38/347.64 c | 495972 | 888 13920 46546 | 2147483647 53398 33 | 0.000 % |
348.77/349.00 c | 497247 | 888 13920 46546 | 2147483647 54673 33 | 0.000 % |
350.27/350.54 c | 498647 | 888 13920 46546 | 2147483647 56073 33 | 0.000 % |
351.57/351.80 c | 500187 | 888 13920 46546 | 57427 51583 33 | 0.000 % |
352.77/353.02 c | 501882 | 888 13920 46546 | 57427 53278 33 | 0.000 % |
354.27/354.53 c | 503745 | 888 13920 46546 | 57427 55141 33 | 0.000 % |
355.97/356.24 c | 505795 | 888 13920 46546 | 57427 57191 33 | 0.000 % |
357.77/358.02 c | 508050 | 888 13920 46546 | 57427 53360 33 | 0.001 % |
360.17/360.44 c | 510528 | 888 13920 46546 | 55310 49888 33 | 0.000 % |
362.07/362.39 c | 513253 | 888 13920 46546 | 55310 52613 33 | 0.000 % |
364.57/364.82 c | 516251 | 888 13920 46546 | 55310 49648 32 | 0.000 % |
367.07/367.31 c | 519547 | 888 13920 46546 | 55310 52944 32 | 0.000 % |
370.06/370.38 c | 523172 | 888 13920 46546 | 53397 50383 31 | 0.001 % |
373.77/374.08 c | 527160 | 888 13920 46546 | 53397 47130 31 | 0.000 % |
377.76/378.05 c | 531546 | 888 13920 46546 | 49970 45240 31 | 0.000 % |
382.26/382.56 c | 536369 | 888 13920 46546 | 49970 50063 31 | 0.000 % |
382.36/382.68 c | 536470 | 888 13920 46546 | 49970 44562 30 | 0.000 % |
382.46/382.78 c | 536580 | 888 13920 46546 | 49970 44672 30 | 0.000 % |
382.56/382.90 c | 536703 | 888 13920 46546 | 49970 44795 31 | 0.000 % |
382.76/383.00 c | 536836 | 888 13920 46546 | 49970 44928 31 | 0.000 % |
382.76/383.08 c | 536982 | 888 13920 46546 | 49970 45074 31 | 0.000 % |
382.96/383.23 c | 537142 | 888 13920 46546 | 49970 45234 31 | 0.000 % |
383.06/383.33 c | 537318 | 888 13920 46546 | 49970 45410 31 | 0.000 % |
383.16/383.46 c | 537512 | 888 13920 46546 | 49970 45604 31 | 0.000 % |
383.26/383.58 c | 537725 | 888 13920 46546 | 49970 45817 31 | 0.000 % |
383.46/383.71 c | 537959 | 888 13920 46546 | 49970 46051 31 | 0.000 % |
383.56/383.83 c | 538216 | 888 13920 46546 | 49970 46308 31 | 0.000 % |
383.66/383.98 c | 538498 | 888 13920 46546 | 49970 46590 31 | 0.000 % |
383.86/384.18 c | 538807 | 888 13920 46546 | 49970 46899 31 | 0.000 % |
384.16/384.47 c | 539146 | 888 13920 46546 | 49970 47238 31 | 0.000 % |
384.36/384.70 c | 539518 | 888 13920 46546 | 49970 47610 31 | 0.000 % |
384.76/385.05 c | 539928 | 888 13920 46546 | 49970 48020 31 | 0.000 % |
385.16/385.41 c | 540377 | 888 13920 46546 | 48092 43136 30 | 0.000 % |
385.36/385.68 c | 540872 | 888 13920 46546 | 48092 43631 30 | 0.000 % |
385.76/386.04 c | 541415 | 888 13920 46546 | 48092 44174 30 | 0.000 % |
386.06/386.38 c | 542013 | 888 13920 46546 | 48092 44772 30 | 0.000 % |
386.57/386.81 c | 542671 | 888 13920 46546 | 48092 45430 30 | 0.000 % |
387.17/387.42 c | 543391 | 888 13920 46546 | 48092 46150 31 | 0.000 % |
387.67/387.91 c | 544183 | 888 13920 46546 | 48092 46942 31 | 0.000 % |
388.27/388.53 c | 545055 | 888 13920 46546 | 48092 47814 31 | 0.000 % |
388.86/389.12 c | 546014 | 888 13920 46546 | 48092 43951 30 | 0.000 % |
389.56/389.81 c | 547067 | 888 13920 46546 | 48092 45004 30 | 0.001 % |
390.36/390.68 c | 548226 | 888 13920 46546 | 48092 46163 30 | 0.001 % |
391.27/391.52 c | 549502 | 888 13920 46546 | 48092 47439 31 | 0.000 % |
392.26/392.56 c | 550904 | 888 13920 46546 | 2147483647 48841 31 | 0.000 % |
393.36/393.69 c | 552444 | 888 13920 46546 | 2147483647 50381 31 | 0.000 % |
394.57/394.86 c | 554138 | 888 13920 46546 | 2147483647 52075 31 | 0.000 % |
395.96/396.24 c | 556004 | 888 13920 46546 | 2147483647 53941 31 | 0.000 % |
397.86/398.10 c | 558053 | 888 13920 46546 | 2147483647 55990 31 | 0.000 % |
399.56/399.82 c | 560306 | 888 13920 46546 | 57940 51121 31 | 0.000 % |
401.76/402.04 c | 562784 | 888 13920 46546 | 57940 53599 32 | 0.000 % |
403.56/403.81 c | 565509 | 888 13920 46546 | 57940 56324 32 | 0.000 % |
405.96/406.28 c | 568506 | 888 13920 46546 | 57940 51576 32 | 0.000 % |
408.96/409.22 c | 571803 | 888 13920 46546 | 53070 47425 31 | 0.000 % |
411.66/411.96 c | 575429 | 888 13920 46546 | 53070 51051 32 | 0.000 % |
414.76/415.08 c | 579416 | 888 13920 46546 | 53070 48701 32 | 0.000 % |
418.16/418.49 c | 583801 | 888 13920 46546 | 49287 47258 31 | 0.000 % |
421.95/422.26 c | 588625 | 888 13920 46546 | 49287 46817 31 | 0.000 % |
425.85/426.19 c | 593930 | 888 13920 46546 | 48192 47176 31 | 0.000 % |
425.95/426.28 c | 594030 | 888 13920 46546 | 48192 47276 31 | 0.000 % |
426.05/426.36 c | 594140 | 888 13920 46546 | 48192 47386 31 | 0.000 % |
426.15/426.45 c | 594261 | 888 13920 46546 | 48192 47507 31 | 0.000 % |
426.25/426.56 c | 594395 | 888 13920 46546 | 48192 47641 31 | 0.000 % |
426.35/426.70 c | 594541 | 888 13920 46546 | 48192 47787 31 | 0.000 % |
426.56/426.80 c | 594701 | 888 13920 46546 | 48192 47947 31 | 0.000 % |
426.65/426.96 c | 594878 | 888 13920 46546 | 48192 48124 31 | 0.000 % |
426.85/427.15 c | 595071 | 888 13920 46546 | 48192 43194 30 | 0.000 % |
427.05/427.32 c | 595284 | 888 13920 46546 | 48192 43407 30 | 0.000 % |
427.15/427.47 c | 595517 | 888 13920 46546 | 48192 43640 30 | 0.000 % |
427.35/427.65 c | 595774 | 888 13920 46546 | 48192 43897 30 | 0.000 % |
427.55/427.87 c | 596055 | 888 13920 46546 | 48192 44178 30 | 0.000 % |
427.75/428.05 c | 596365 | 888 13920 46546 | 48192 44488 30 | 0.000 % |
427.95/428.27 c | 596705 | 888 13920 46546 | 48192 44828 30 | 0.000 % |
428.25/428.52 c | 597077 | 888 13920 46546 | 48192 45200 30 | 0.001 % |
428.55/428.80 c | 597486 | 888 13920 46546 | 48192 45609 30 | 0.000 % |
428.85/429.14 c | 597938 | 888 13920 46546 | 48192 46061 30 | 0.000 % |
429.25/429.56 c | 598432 | 888 13920 46546 | 48192 46555 30 | 0.000 % |
429.65/429.98 c | 598976 | 888 13920 46546 | 48192 47099 30 | 0.000 % |
430.15/430.48 c | 599572 | 888 13920 46546 | 48192 47695 31 | 0.000 % |
430.75/431.01 c | 600227 | 888 13920 46546 | 48124 42895 30 | 0.000 % |
431.15/431.41 c | 600947 | 888 13920 46546 | 48124 43615 30 | 0.000 % |
431.65/431.98 c | 601739 | 888 13920 46546 | 48124 44407 30 | 0.000 % |
432.15/432.48 c | 602610 | 888 13920 46546 | 48124 45278 30 | 0.000 % |
432.65/432.96 c | 603571 | 888 13920 46546 | 48124 46239 30 | 0.000 % |
433.35/433.63 c | 604626 | 888 13920 46546 | 48124 47294 30 | 0.000 % |
434.05/434.36 c | 605784 | 888 13920 46546 | 48124 43629 30 | 0.000 % |
434.75/435.06 c | 607060 | 888 13920 46546 | 48124 44905 30 | 0.000 % |
435.74/436.07 c | 608460 | 888 13920 46546 | 48124 46305 30 | 0.000 % |
436.74/437.09 c | 610002 | 888 13920 46546 | 48124 47847 30 | 0.000 % |
438.15/438.44 c | 611697 | 888 13920 46546 | 2147483647 49542 30 | 0.000 % |
439.24/439.51 c | 613561 | 888 13920 46546 | 2147483647 51406 31 | 0.000 % |
440.94/441.20 c | 615610 | 888 13920 46546 | 2147483647 53455 31 | 0.000 % |
442.24/442.54 c | 617863 | 888 13920 46546 | 2147483647 55708 31 | 0.000 % |
444.34/444.62 c | 620343 | 888 13920 46546 | 57846 51769 30 | 0.000 % |
446.04/446.35 c | 623068 | 888 13920 46546 | 57846 54494 30 | 0.000 % |
449.14/449.45 c | 626065 | 888 13920 46546 | 57846 57491 31 | 0.001 % |
451.84/452.15 c | 629362 | 888 13920 46546 | 57846 52685 30 | 0.000 % |
455.24/455.58 c | 632990 | 888 13920 46546 | 53324 48943 30 | 0.000 % |
458.84/459.15 c | 636977 | 888 13920 46546 | 53324 52930 30 | 0.000 % |
462.94/463.23 c | 641362 | 888 13920 46546 | 48430 42817 29 | 0.000 % |
466.63/466.91 c | 646185 | 888 13920 46546 | 48430 47640 30 | 0.000 % |
470.73/471.07 c | 651490 | 888 13920 46546 | 44855 40415 29 | 0.000 % |
475.83/476.15 c | 657328 | 888 13920 46546 | 44855 40861 30 | 0.000 % |
475.93/476.25 c | 657429 | 888 13920 46546 | 44855 40962 30 | 0.001 % |
476.03/476.34 c | 657539 | 888 13920 46546 | 44855 41072 30 | 0.000 % |
476.13/476.42 c | 657660 | 888 13920 46546 | 44855 41193 30 | 0.000 % |
476.23/476.50 c | 657793 | 888 13920 46546 | 44855 41326 30 | 0.000 % |
476.23/476.58 c | 657941 | 888 13920 46546 | 44855 41474 30 | 0.000 % |
476.33/476.67 c | 658101 | 888 13920 46546 | 44855 41634 30 | 0.000 % |
476.43/476.76 c | 658280 | 888 13920 46546 | 44855 41813 30 | 0.000 % |
476.53/476.86 c | 658475 | 888 13920 46546 | 44855 42008 30 | 0.000 % |
476.63/476.96 c | 658687 | 888 13920 46546 | 44855 42220 30 | 0.000 % |
476.73/477.06 c | 658921 | 888 13920 46546 | 44855 42454 30 | 0.000 % |
476.83/477.15 c | 659178 | 888 13920 46546 | 44855 42711 30 | 0.000 % |
476.93/477.28 c | 659460 | 888 13920 46546 | 44855 42993 30 | 0.000 % |
477.23/477.50 c | 659772 | 888 13920 46546 | 44855 43305 30 | 0.000 % |
477.53/477.81 c | 660111 | 888 13920 46546 | 43533 43644 30 | 0.000 % |
477.83/478.13 c | 660484 | 888 13920 46546 | 43533 39508 30 | 0.000 % |
478.13/478.46 c | 660893 | 888 13920 46546 | 43533 39917 30 | 0.000 % |
478.43/478.76 c | 661343 | 888 13920 46546 | 43533 40367 30 | 0.000 % |
478.73/479.06 c | 661836 | 888 13920 46546 | 43533 40860 30 | 0.000 % |
479.13/479.42 c | 662379 | 888 13920 46546 | 43533 41403 30 | 0.000 % |
479.43/479.76 c | 662976 | 888 13920 46546 | 43533 42000 30 | 0.000 % |
479.83/480.14 c | 663632 | 888 13920 46546 | 43533 42656 30 | 0.000 % |
480.23/480.52 c | 664353 | 888 13920 46546 | 43533 43377 30 | 0.000 % |
480.63/480.97 c | 665146 | 888 13920 46546 | 43533 39804 30 | 0.001 % |
481.23/481.50 c | 666017 | 888 13920 46546 | 43533 40675 30 | 0.000 % |
481.73/482.04 c | 666976 | 888 13920 46546 | 43533 41634 30 | 0.000 % |
482.33/482.61 c | 668030 | 888 13920 46546 | 43533 42688 31 | 0.000 % |
482.93/483.21 c | 669188 | 888 13920 46546 | 43533 39473 31 | 0.000 % |
483.63/483.97 c | 670462 | 888 13920 46546 | 2147483647 40747 31 | 0.000 % |
484.33/484.60 c | 671863 | 888 13920 46546 | 2147483647 42148 31 | 0.001 % |
485.03/485.34 c | 673405 | 888 13920 46546 | 2147483647 43690 32 | 0.000 % |
485.93/486.25 c | 675100 | 888 13920 46546 | 2147483647 45385 32 | 0.000 % |
487.13/487.44 c | 676963 | 888 13920 46546 | 2147483647 47248 32 | 0.000 % |
488.32/488.69 c | 679013 | 888 13920 46546 | 2147483647 49298 32 | 0.000 % |
490.02/490.38 c | 681267 | 888 13920 46546 | 2147483647 51552 33 | 0.000 % |
492.12/492.42 c | 683745 | 888 13920 46546 | 2147483647 54030 33 | 0.000 % |
494.22/494.54 c | 686470 | 888 13920 46546 | 2147483647 56755 34 | 0.000 % |
496.72/497.04 c | 689468 | 888 13920 46546 | 2147483647 59753 34 | 0.000 % |
499.52/499.81 c | 692764 | 888 13920 46546 | 60286 55868 34 | 0.000 % |
502.62/502.96 c | 696389 | 888 13920 46546 | 60286 59493 34 | 0.000 % |
506.12/506.45 c | 700376 | 888 13920 46546 | 54712 47579 34 | 0.000 % |
510.42/510.78 c | 704763 | 888 13920 46546 | 54712 51966 34 | 0.000 % |
515.32/515.68 c | 709587 | 888 13920 46546 | 54712 49945 33 | 0.000 % |
518.92/519.23 c | 714892 | 888 13920 46546 | 50360 49105 34 | 0.000 % |
523.32/523.68 c | 720727 | 888 13920 46546 | 49100 44619 32 | 0.000 % |
528.72/529.02 c | 727145 | 888 13920 46546 | 49100 45164 32 | 0.000 % |
528.72/529.08 c | 727246 | 888 13920 46546 | 49100 45265 32 | 0.000 % |
528.82/529.14 c | 727356 | 888 13920 46546 | 49100 45375 32 | 0.001 % |
528.91/529.20 c | 727478 | 888 13920 46546 | 49100 45497 32 | 0.000 % |
528.91/529.26 c | 727612 | 888 13920 46546 | 49100 45631 32 | 0.000 % |
529.01/529.34 c | 727758 | 888 13920 46546 | 49100 45777 32 | 0.000 % |
529.11/529.41 c | 727919 | 888 13920 46546 | 49100 45938 32 | 0.000 % |
529.11/529.48 c | 728096 | 888 13920 46546 | 49100 46115 32 | 0.000 % |
529.21/529.56 c | 728289 | 888 13920 46546 | 49100 46308 32 | 0.000 % |
529.31/529.66 c | 728504 | 888 13920 46546 | 49100 46523 32 | 0.000 % |
529.51/529.80 c | 728737 | 888 13920 46546 | 49100 46756 33 | 0.000 % |
529.61/529.95 c | 728994 | 888 13920 46546 | 49100 47013 33 | 0.000 % |
529.81/530.14 c | 729277 | 888 13920 46546 | 49100 47296 33 | 0.000 % |
530.01/530.31 c | 729587 | 888 13920 46546 | 49100 47606 33 | 0.000 % |
530.21/530.54 c | 729927 | 888 13920 46546 | 49100 47946 33 | 0.000 % |
530.51/530.82 c | 730299 | 888 13920 46546 | 48019 43089 33 | 0.000 % |
530.71/531.04 c | 730709 | 888 13920 46546 | 48019 43499 33 | 0.000 % |
530.91/531.30 c | 731160 | 888 13920 46546 | 48019 43950 33 | 0.000 % |
531.21/531.59 c | 731653 | 888 13920 46546 | 48019 44443 33 | 0.000 % |
531.51/531.88 c | 732195 | 888 13920 46546 | 48019 44985 33 | 0.000 % |
531.81/532.18 c | 732791 | 888 13920 46546 | 48019 45581 33 | 0.000 % |
532.21/532.56 c | 733447 | 888 13920 46546 | 48019 46237 33 | 0.000 % |
532.71/533.00 c | 734169 | 888 13920 46546 | 48019 46959 33 | 0.000 % |
533.01/533.38 c | 734962 | 888 13920 46546 | 48019 47752 33 | 0.000 % |
533.61/533.92 c | 735835 | 888 13920 46546 | 48019 43808 33 | 0.000 % |
534.21/534.50 c | 736794 | 888 13920 46546 | 48019 44767 33 | 0.000 % |
534.90/535.26 c | 737848 | 888 13920 46546 | 48019 45821 33 | 0.000 % |
535.60/535.94 c | 739006 | 888 13920 46546 | 48019 46979 33 | 0.000 % |
536.30/536.66 c | 740279 | 888 13920 46546 | 2147483647 48252 34 | 0.000 % |
537.30/537.63 c | 741680 | 888 13920 46546 | 2147483647 49653 34 | 0.000 % |
538.40/538.71 c | 743220 | 888 13920 46546 | 2147483647 51193 34 | 0.000 % |
539.60/539.93 c | 744917 | 888 13920 46546 | 2147483647 52890 34 | 0.000 % |
541.20/541.58 c | 746782 | 888 13920 46546 | 2147483647 54755 34 | 0.000 % |
542.70/543.06 c | 748832 | 888 13920 46546 | 2147483647 56805 34 | 0.000 % |
544.30/544.69 c | 751086 | 888 13920 46546 | 2147483647 59059 35 | 0.000 % |
546.70/547.09 c | 753566 | 888 13920 46546 | 2147483647 61539 35 | 0.000 % |
548.80/549.14 c | 756291 | 888 13920 46546 | 2147483647 64264 35 | 0.000 % |
551.51/551.83 c | 759289 | 888 13920 46546 | 2147483647 67262 35 | 0.000 % |
554.21/554.51 c | 762587 | 888 13920 46546 | 67976 60385 36 | 0.000 % |
557.31/557.68 c | 766212 | 888 13920 46546 | 67976 64010 35 | 0.000 % |
561.10/561.44 c | 770200 | 888 13920 46546 | 67800 56528 34 | 0.000 % |
565.60/565.94 c | 774585 | 888 13920 46546 | 67800 60913 34 | 0.000 % |
569.50/569.85 c | 779408 | 888 13920 46546 | 67800 65736 35 | 0.000 % |
574.10/574.49 c | 784713 | 888 13920 46546 | 66330 60393 34 | 0.000 % |
580.89/581.21 c | 790550 | 888 13920 46546 | 65682 55601 34 | 0.000 % |
587.89/588.28 c | 796968 | 888 13920 46546 | 65682 62019 35 | 0.000 % |
594.59/594.90 c | 804028 | 888 13920 46546 | 65051 57945 34 | 0.000 % |
594.59/594.98 c | 804129 | 888 13920 46546 | 65051 58046 34 | 0.000 % |
594.69/595.08 c | 804241 | 888 13920 46546 | 65051 58158 34 | 0.000 % |
594.79/595.17 c | 804362 | 888 13920 46546 | 65051 58279 34 | 0.000 % |
594.89/595.27 c | 804495 | 888 13920 46546 | 65051 58412 34 | 0.000 % |
595.09/595.41 c | 804641 | 888 13920 46546 | 65051 58558 34 | 0.000 % |
595.19/595.54 c | 804802 | 888 13920 46546 | 65051 58719 34 | 0.000 % |
595.39/595.72 c | 804979 | 888 13920 46546 | 65051 58896 34 | 0.000 % |
595.49/595.88 c | 805172 | 888 13920 46546 | 65051 59089 34 | 0.000 % |
595.69/596.10 c | 805385 | 888 13920 46546 | 65051 59302 34 | 0.000 % |
595.89/596.25 c | 805619 | 888 13920 46546 | 65051 59536 34 | 0.000 % |
596.19/596.50 c | 805875 | 888 13920 46546 | 65051 59792 34 | 0.000 % |
596.29/596.68 c | 806156 | 888 13920 46546 | 65051 60073 34 | 0.000 % |
596.59/596.97 c | 806465 | 888 13920 46546 | 65051 60382 34 | 0.000 % |
596.79/597.18 c | 806807 | 888 13920 46546 | 65051 60724 35 | 0.000 % |
597.08/597.44 c | 807179 | 888 13920 46546 | 65051 61096 35 | 0.000 % |
597.38/597.73 c | 807589 | 888 13920 46546 | 65051 61506 35 | 0.000 % |
597.78/598.14 c | 808039 | 888 13920 46546 | 65051 61956 35 | 0.000 % |
598.28/598.67 c | 808532 | 888 13920 46546 | 65051 62449 35 | 0.000 % |
598.68/599.03 c | 809075 | 888 13920 46546 | 65051 62992 35 | 0.000 % |
599.28/599.63 c | 809673 | 888 13920 46546 | 65051 63590 35 | 0.000 % |
599.98/600.36 c | 810329 | 888 13920 46546 | 63917 54910 34 | 0.000 % |
600.58/600.92 c | 811049 | 888 13920 46546 | 63917 55630 34 | 0.000 % |
601.18/601.56 c | 811844 | 888 13920 46546 | 63917 56425 34 | 0.000 % |
601.88/602.23 c | 812716 | 888 13920 46546 | 63917 57297 34 | 0.000 % |
602.88/603.21 c | 813676 | 888 13920 46546 | 63917 58257 34 | 0.000 % |
603.88/604.22 c | 814729 | 888 13920 46546 | 63917 59310 34 | 0.000 % |
605.08/605.42 c | 815887 | 888 13920 46546 | 63917 60468 34 | 0.000 % |
605.88/606.23 c | 817162 | 888 13920 46546 | 63917 61743 35 | 0.000 % |
607.18/607.55 c | 818562 | 888 13920 46546 | 63917 63143 35 | 0.000 % |
608.78/609.18 c | 820102 | 888 13920 46546 | 55698 55799 35 | 0.000 % |
610.48/610.81 c | 821797 | 888 13920 46546 | 55698 49749 33 | 0.000 % |
611.78/612.11 c | 823660 | 888 13920 46546 | 55698 51612 33 | 0.000 % |
613.28/613.64 c | 825710 | 888 13920 46546 | 55698 53662 34 | 0.001 % |
614.88/615.30 c | 827966 | 888 13920 46546 | 55698 49670 33 | 0.000 % |
616.98/617.30 c | 830444 | 888 13920 46546 | 51704 46720 32 | 0.000 % |
618.77/619.14 c | 833170 | 888 13920 46546 | 51704 49446 33 | 0.000 % |
620.97/621.39 c | 836167 | 888 13920 46546 | 51704 47251 32 | 0.000 % |
623.57/623.99 c | 839464 | 888 13920 46546 | 51704 50548 33 | 0.000 % |
626.47/626.88 c | 843089 | 888 13920 46546 | 2147483647 54173 33 | 0.000 % |
630.47/630.83 c | 847076 | 888 13920 46546 | 2147483647 58160 33 | 0.000 % |
634.37/634.72 c | 851461 | 888 13920 46546 | 61084 53632 33 | 0.000 % |
638.97/639.38 c | 856284 | 888 13920 46546 | 61084 58455 34 | 0.000 % |
643.77/644.14 c | 861589 | 888 13920 46546 | 52764 46263 33 | 0.000 % |
648.27/648.63 c | 867424 | 888 13920 46546 | 52764 52098 34 | 0.001 % |
653.76/654.11 c | 873842 | 888 13920 46546 | 46842 43970 32 | 0.000 % |
659.26/659.63 c | 880901 | 888 13920 46546 | 44863 40894 31 | 0.000 % |
664.56/664.94 c | 888665 | 888 13920 46546 | 44863 44038 30 | 0.001 % |
664.66/665.02 c | 888766 | 888 13920 46546 | 44863 44139 30 | 0.001 % |
664.66/665.08 c | 888877 | 888 13920 46546 | 44863 44250 30 | 0.000 % |
664.76/665.15 c | 888999 | 888 13920 46546 | 44863 44372 30 | 0.000 % |
664.86/665.22 c | 889134 | 888 13920 46546 | 44863 44507 30 | 0.000 % |
664.96/665.31 c | 889281 | 888 13920 46546 | 44863 44654 30 | 0.000 % |
665.06/665.42 c | 889441 | 888 13920 46546 | 44863 44814 30 | 0.000 % |
665.16/665.52 c | 889618 | 888 13920 46546 | 44863 44991 31 | 0.000 % |
665.26/665.68 c | 889814 | 888 13920 46546 | 44863 40383 30 | 0.000 % |
665.36/665.79 c | 890026 | 888 13920 46546 | 40569 40595 30 | 0.000 % |
665.56/665.93 c | 890259 | 888 13920 46546 | 40569 36596 29 | 0.001 % |
665.66/666.04 c | 890515 | 888 13920 46546 | 40569 36852 29 | 0.001 % |
665.76/666.16 c | 890797 | 888 13920 46546 | 40569 37134 29 | 0.000 % |
665.96/666.30 c | 891107 | 888 13920 46546 | 40569 37444 29 | 0.001 % |
666.06/666.45 c | 891446 | 888 13920 46546 | 40569 37783 29 | 0.000 % |
666.26/666.62 c | 891818 | 888 13920 46546 | 40569 38155 29 | 0.000 % |
666.46/666.82 c | 892228 | 888 13920 46546 | 40569 38565 29 | 0.000 % |
666.66/667.04 c | 892678 | 888 13920 46546 | 40569 39015 29 | 0.000 % |
666.96/667.35 c | 893171 | 888 13920 46546 | 40569 39508 30 | 0.000 % |
667.36/667.71 c | 893713 | 888 13920 46546 | 40569 40050 30 | 0.000 % |
667.76/668.13 c | 894310 | 888 13920 46546 | 40569 40647 30 | 0.000 % |
668.16/668.59 c | 894965 | 888 13920 46546 | 40569 37238 29 | 0.000 % |
668.66/669.04 c | 895686 | 888 13920 46546 | 40569 37959 29 | 0.000 % |
669.06/669.48 c | 896478 | 888 13920 46546 | 40569 38751 29 | 0.000 % |
669.66/670.05 c | 897351 | 888 13920 46546 | 40569 39624 30 | 0.000 % |
670.26/670.65 c | 898309 | 888 13920 46546 | 40569 40582 30 | 0.000 % |
670.86/671.24 c | 899362 | 888 13920 46546 | 40569 37577 29 | 0.000 % |
671.46/671.82 c | 900521 | 888 13920 46546 | 2147483647 38736 30 | 0.000 % |
672.16/672.54 c | 901795 | 888 13920 46546 | 2147483647 40010 30 | 0.000 % |
673.16/673.56 c | 903195 | 888 13920 46546 | 2147483647 41410 30 | 0.000 % |
674.26/674.61 c | 904736 | 888 13920 46546 | 2147483647 42951 31 | 0.000 % |
675.46/675.80 c | 906431 | 888 13920 46546 | 2147483647 44646 31 | 0.000 % |
676.75/677.18 c | 908295 | 888 13920 46546 | 2147483647 46510 31 | 0.000 % |
678.55/678.96 c | 910345 | 888 13920 46546 | 2147483647 48560 31 | 0.000 % |
680.25/680.67 c | 912598 | 888 13920 46546 | 2147483647 50813 32 | 0.000 % |
682.56/683.00 c | 915076 | 888 13920 46546 | 2147483647 53291 32 | 0.000 % |
685.16/685.58 c | 917801 | 888 13920 46546 | 2147483647 56016 32 | 0.000 % |
688.06/688.46 c | 920798 | 888 13920 46546 | 58216 51983 33 | 0.000 % |
690.96/691.34 c | 924094 | 888 13920 46546 | 58216 55279 33 | 0.000 % |
693.56/693.93 c | 927721 | 888 13920 46546 | 58216 50704 33 | 0.000 % |
696.85/697.20 c | 931709 | 888 13920 46546 | 52984 47476 33 | 0.001 % |
700.36/700.76 c | 936095 | 888 13920 46546 | 52984 51862 33 | 0.001 % |
705.15/705.56 c | 940919 | 888 13920 46546 | 49206 44000 32 | 0.000 % |
709.65/710.06 c | 946224 | 888 13920 46546 | 49206 49305 33 | 0.000 % |
713.95/714.31 c | 952059 | 888 13920 46546 | 47635 44510 32 | 0.000 % |
717.45/717.84 c | 958478 | 888 13920 46546 | 47635 46064 31 | 0.000 % |
722.55/722.93 c | 965537 | 888 13920 46546 | 2147483647 53123 34 | 0.000 % |
728.65/729.02 c | 973301 | 888 13920 46546 | 57586 52216 34 | 0.001 % |
736.14/736.50 c | 981841 | 888 13920 46546 | 48529 42045 34 | 0.000 % |
736.14/736.56 c | 981941 | 888 13920 46546 | 48529 42145 34 | 0.001 % |
736.24/736.63 c | 982051 | 888 13920 46546 | 48529 42255 34 | 0.000 % |
736.34/736.71 c | 982173 | 888 13920 46546 | 48529 42377 34 | 0.000 % |
736.34/736.78 c | 982308 | 888 13920 46546 | 48529 42512 34 | 0.000 % |
736.44/736.89 c | 982457 | 888 13920 46546 | 48529 42661 34 | 0.000 % |
736.65/737.02 c | 982617 | 888 13920 46546 | 48529 42821 34 | 0.000 % |
736.74/737.14 c | 982793 | 888 13920 46546 | 48529 42997 34 | 0.000 % |
736.84/737.29 c | 982987 | 888 13920 46546 | 48529 43191 34 | 0.000 % |
737.04/737.42 c | 983201 | 888 13920 46546 | 48529 43405 34 | 0.000 % |
737.14/737.57 c | 983434 | 888 13920 46546 | 48529 43638 34 | 0.000 % |
737.34/737.75 c | 983690 | 888 13920 46546 | 48529 43894 34 | 0.000 % |
737.54/737.95 c | 983971 | 888 13920 46546 | 48529 44175 34 | 0.000 % |
737.75/738.18 c | 984280 | 888 13920 46546 | 48529 44484 34 | 0.000 % |
738.04/738.43 c | 984622 | 888 13920 46546 | 48529 44826 34 | 0.000 % |
738.34/738.71 c | 984996 | 888 13920 46546 | 48529 45200 34 | 0.000 % |
738.54/738.97 c | 985405 | 888 13920 46546 | 48529 45609 34 | 0.000 % |
738.94/739.30 c | 985855 | 888 13920 46546 | 48529 46059 34 | 0.000 % |
739.14/739.58 c | 986348 | 888 13920 46546 | 48529 46552 35 | 0.000 % |
739.44/739.88 c | 986890 | 888 13920 46546 | 48529 47094 35 | 0.000 % |
739.74/740.20 c | 987486 | 888 13920 46546 | 48529 47690 35 | 0.001 % |
740.24/740.65 c | 988143 | 888 13920 46546 | 48529 48347 35 | 0.000 % |
740.84/741.23 c | 988864 | 888 13920 46546 | 48529 43561 35 | 0.000 % |
741.34/741.74 c | 989656 | 888 13920 46546 | 48529 44353 35 | 0.000 % |
741.84/742.24 c | 990528 | 888 13920 46546 | 44697 40415 35 | 0.000 % |
742.64/743.06 c | 991487 | 888 13920 46546 | 44697 41374 35 | 0.000 % |
743.34/743.76 c | 992540 | 888 13920 46546 | 44697 42427 36 | 0.000 % |
744.14/744.56 c | 993698 | 888 13920 46546 | 44697 43585 36 | 0.000 % |
745.14/745.55 c | 994971 | 888 13920 46546 | 44697 40374 34 | 0.000 % |
746.24/746.62 c | 996373 | 888 13920 46546 | 44697 41776 34 | 0.000 % |
747.44/747.89 c | 997913 | 888 13920 46546 | 44697 43316 34 | 0.000 % |
749.03/749.49 c | 999608 | 888 13920 46546 | 44697 40528 33 | 0.000 % |
750.13/750.57 c | 1001471 | 888 13920 46546 | 2147483647 42391 33 | 0.000 % |
751.53/751.91 c | 1003520 | 888 13920 46546 | 2147483647 44440 33 | 0.000 % |
753.14/753.50 c | 1005773 | 888 13920 46546 | 2147483647 46693 33 | 0.000 % |
754.73/755.14 c | 1008251 | 888 13920 46546 | 2147483647 49171 33 | 0.000 % |
756.33/756.78 c | 1010976 | 888 13920 46546 | 50922 46368 33 | 0.000 % |
758.43/758.88 c | 1013973 | 888 13920 46546 | 50922 49365 33 | 0.000 % |
760.73/761.13 c | 1017269 | 888 13920 46546 | 50922 46178 31 | 0.000 % |
764.03/764.41 c | 1020896 | 888 13920 46546 | 48910 43710 31 | 0.000 % |
766.23/766.67 c | 1024883 | 888 13920 46546 | 48910 47697 31 | 0.000 % |
768.73/769.17 c | 1029269 | 888 13920 46546 | 48910 47179 31 | 0.000 % |
772.52/772.92 c | 1034092 | 888 13920 46546 | 2147483647 52002 32 | 0.000 % |
777.02/777.40 c | 1039398 | 888 13920 46546 | 2147483647 57308 32 | 0.000 % |
782.02/782.40 c | 1045233 | 888 13920 46546 | 57912 54656 32 | 0.001 % |
787.72/788.10 c | 1051653 | 888 13920 46546 | 50886 45086 31 | 0.000 % |
794.02/794.49 c | 1058714 | 888 13920 46546 | 50886 44932 30 | 0.000 % |
800.32/800.71 c | 1066478 | 888 13920 46546 | 46219 46202 30 | 0.000 % |
806.72/807.15 c | 1075018 | 888 13920 46546 | 43569 43049 29 | 0.001 % |
813.42/813.90 c | 1084412 | 888 13920 46546 | 42679 42052 30 | 0.000 % |
813.53/813.95 c | 1084513 | 888 13920 46546 | 42679 42153 30 | 0.000 % |
813.63/814.02 c | 1084623 | 888 13920 46546 | 42679 42263 30 | 0.000 % |
813.63/814.08 c | 1084745 | 888 13920 46546 | 42679 42385 30 | 0.000 % |
813.72/814.16 c | 1084878 | 888 13920 46546 | 42679 42518 30 | 0.000 % |
813.82/814.23 c | 1085025 | 888 13920 46546 | 42679 42665 30 | 0.001 % |
813.92/814.31 c | 1085186 | 888 13920 46546 | 42679 42826 30 | 0.000 % |
814.02/814.47 c | 1085362 | 888 13920 46546 | 42679 38586 30 | 0.000 % |
814.22/814.60 c | 1085555 | 888 13920 46546 | 42679 38779 30 | 0.000 % |
814.32/814.76 c | 1085767 | 888 13920 46546 | 42679 38991 30 | 0.000 % |
814.52/814.91 c | 1086000 | 888 13920 46546 | 42679 39224 30 | 0.000 % |
814.62/815.07 c | 1086257 | 888 13920 46546 | 42679 39481 30 | 0.000 % |
814.82/815.28 c | 1086538 | 888 13920 46546 | 42679 39762 30 | 0.000 % |
815.12/815.53 c | 1086847 | 888 13920 46546 | 42679 40071 30 | 0.000 % |
815.32/815.72 c | 1087187 | 888 13920 46546 | 42679 40411 30 | 0.000 % |
815.52/815.94 c | 1087560 | 888 13920 46546 | 42679 40784 30 | 0.000 % |
815.82/816.23 c | 1087970 | 888 13920 46546 | 42679 41194 30 | 0.000 % |
816.12/816.51 c | 1088423 | 888 13920 46546 | 42679 41647 30 | 0.000 % |
816.32/816.74 c | 1088916 | 888 13920 46546 | 42679 42140 30 | 0.000 % |
816.62/817.01 c | 1089458 | 888 13920 46546 | 42679 42682 31 | 0.000 % |
816.92/817.36 c | 1090058 | 888 13920 46546 | 2147483647 39014 31 | 0.000 % |
817.32/817.78 c | 1090714 | 888 13920 46546 | 2147483647 39670 31 | 0.000 % |
817.72/818.13 c | 1091434 | 888 13920 46546 | 2147483647 40390 31 | 0.000 % |
818.02/818.47 c | 1092226 | 888 13920 46546 | 2147483647 41182 31 | 0.000 % |
818.52/818.99 c | 1093098 | 888 13920 46546 | 2147483647 42054 31 | 0.000 % |
819.02/819.42 c | 1094056 | 888 13920 46546 | 2147483647 43012 31 | 0.000 % |
819.72/820.12 c | 1095112 | 888 13920 46546 | 2147483647 44068 32 | 0.000 % |
820.42/820.84 c | 1096271 | 888 13920 46546 | 2147483647 45227 32 | 0.000 % |
821.22/821.64 c | 1097544 | 888 13920 46546 | 2147483647 46500 32 | 0.000 % |
822.32/822.72 c | 1098944 | 888 13920 46546 | 2147483647 47900 32 | 0.000 % |
823.31/823.80 c | 1100485 | 888 13920 46546 | 2147483647 49441 32 | 0.000 % |
824.62/825.06 c | 1102179 | 888 13920 46546 | 2147483647 51135 32 | 0.000 % |
826.01/826.46 c | 1104043 | 888 13920 46546 | 2147483647 52999 32 | 0.000 % |
827.61/828.02 c | 1106092 | 888 13920 46546 | 2147483647 55048 32 | 0.000 % |
829.21/829.63 c | 1108345 | 888 13920 46546 | 2147483647 57301 32 | 0.000 % |
830.91/831.36 c | 1110825 | 888 13920 46546 | 58956 51474 32 | 0.000 % |
832.61/833.04 c | 1113550 | 888 13920 46546 | 58956 54199 33 | 0.000 % |
835.41/835.82 c | 1116548 | 888 13920 46546 | 58956 57197 33 | 0.000 % |
838.21/838.69 c | 1119844 | 888 13920 46546 | 58956 50561 32 | 0.000 % |
840.81/841.22 c | 1123471 | 888 13920 46546 | 50718 45716 31 | 0.001 % |
843.81/844.20 c | 1127459 | 888 13920 46546 | 50718 49704 32 | 0.000 % |
847.31/847.76 c | 1131846 | 888 13920 46546 | 44792 40265 30 | 0.000 % |
851.31/851.75 c | 1136669 | 888 13920 46546 | 44792 39839 30 | 0.000 % |
854.81/855.23 c | 1141975 | 888 13920 46546 | 43170 40331 31 | 0.000 % |
859.60/860.04 c | 1147811 | 888 13920 46546 | 43170 41838 31 | 0.000 % |
864.90/865.30 c | 1154230 | 888 13920 46546 | 2147483647 43926 31 | 0.000 % |
870.50/870.99 c | 1161289 | 888 13920 46546 | 49696 45493 31 | 0.000 % |
876.90/877.32 c | 1169053 | 888 13920 46546 | 49696 46769 30 | 0.000 % |
883.00/883.46 c | 1177594 | 888 13920 46546 | 47717 44569 31 | 0.000 % |
890.69/891.10 c | 1186990 | 888 13920 46546 | 2147483647 53965 32 | 0.001 % |
899.69/900.12 c | 1197325 | 888 13920 46546 | 56975 57021 32 | 0.000 % |
899.79/900.27 c | 1197427 | 888 13920 46546 | 56975 47913 32 | 0.000 % |
899.89/900.35 c | 1197540 | 888 13920 46546 | 56975 48026 32 | 0.000 % |
899.99/900.44 c | 1197662 | 888 13920 46546 | 56975 48148 32 | 0.000 % |
900.09/900.53 c | 1197798 | 888 13920 46546 | 56975 48284 32 | 0.000 % |
900.19/900.61 c | 1197944 | 888 13920 46546 | 56975 48430 32 | 0.001 % |
900.29/900.71 c | 1198104 | 888 13920 46546 | 56975 48590 32 | 0.000 % |
900.29/900.80 c | 1198281 | 888 13920 46546 | 56975 48767 32 | 0.000 % |
900.40/900.90 c | 1198474 | 888 13920 46546 | 56975 48960 32 | 0.000 % |
900.59/901.08 c | 1198686 | 888 13920 46546 | 56975 49172 32 | 0.000 % |
900.79/901.21 c | 1198920 | 888 13920 46546 | 56975 49406 32 | 0.000 % |
900.99/901.41 c | 1199177 | 888 13920 46546 | 56975 49663 32 | 0.000 % |
901.19/901.62 c | 1199458 | 888 13920 46546 | 56975 49944 32 | 0.000 % |
901.29/901.79 c | 1199768 | 888 13920 46546 | 56975 50254 32 | 0.000 % |
901.59/902.07 c | 1200108 | 888 13920 46546 | 50488 42833 32 | 0.000 % |
901.79/902.27 c | 1200480 | 888 13920 46546 | 50488 43205 32 | 0.000 % |
901.99/902.49 c | 1200889 | 888 13920 46546 | 50488 43614 32 | 0.001 % |
902.29/902.73 c | 1201339 | 888 13920 46546 | 50488 44064 32 | 0.000 % |
902.49/902.97 c | 1201832 | 888 13920 46546 | 50488 44557 32 | 0.000 % |
902.79/903.24 c | 1202375 | 888 13920 46546 | 50488 45100 32 | 0.000 % |
903.09/903.50 c | 1202971 | 888 13920 46546 | 50488 45696 32 | 0.000 % |
903.49/903.90 c | 1203626 | 888 13920 46546 | 50488 46351 32 | 0.000 % |
903.79/904.23 c | 1204348 | 888 13920 46546 | 50488 47073 32 | 0.000 % |
904.29/904.70 c | 1205140 | 888 13920 46546 | 50488 47865 33 | 0.000 % |
904.69/905.20 c | 1206011 | 888 13920 46546 | 50488 48736 33 | 0.000 % |
905.29/905.75 c | 1206970 | 888 13920 46546 | 50488 49695 33 | 0.000 % |
905.89/906.39 c | 1208024 | 888 13920 46546 | 50488 50749 33 | 0.000 % |
906.69/907.11 c | 1209183 | 888 13920 46546 | 50488 46653 34 | 0.000 % |
907.49/907.99 c | 1210456 | 888 13920 46546 | 47470 42812 33 | 0.000 % |
908.39/908.80 c | 1211856 | 888 13920 46546 | 47470 44212 33 | 0.000 % |
909.09/909.53 c | 1213398 | 888 13920 46546 | 47470 45754 33 | 0.000 % |
910.19/910.64 c | 1215092 | 888 13920 46546 | 47470 47448 34 | 0.000 % |
911.39/911.87 c | 1216956 | 888 13920 46546 | 47470 44555 33 | 0.001 % |
912.78/913.20 c | 1219005 | 888 13920 46546 | 47470 46604 33 | 0.000 % |
914.18/914.64 c | 1221258 | 888 13920 46546 | 2147483647 48857 34 | 0.000 % |
916.38/916.82 c | 1223738 | 888 13920 46546 | 2147483647 51337 34 | 0.000 % |
918.98/919.44 c | 1226463 | 888 13920 46546 | 2147483647 54062 34 | 0.000 % |
921.48/921.97 c | 1229460 | 888 13920 46546 | 2147483647 57059 35 | 0.000 % |
924.28/924.77 c | 1232759 | 888 13920 46546 | 57599 53287 35 | 0.000 % |
927.18/927.63 c | 1236384 | 888 13920 46546 | 57599 56912 35 | 0.000 % |
929.78/930.25 c | 1240372 | 888 13920 46546 | 53545 47332 35 | 0.000 % |
932.78/933.22 c | 1244757 | 888 13920 46546 | 53545 51717 36 | 0.000 % |
936.68/937.15 c | 1249583 | 888 13920 46546 | 53545 50012 35 | 0.001 % |
941.97/942.44 c | 1254888 | 888 13920 46546 | 50429 48571 34 | 0.000 % |
946.07/946.53 c | 1260725 | 888 13920 46546 | 47189 42119 34 | 0.000 % |
951.07/951.51 c | 1267144 | 888 13920 46546 | 47189 43044 33 | 0.000 % |
956.06/956.52 c | 1274204 | 888 13920 46546 | 45902 45238 34 | 0.000 % |
963.66/964.19 c | 1281972 | 888 13920 46546 | 40917 38224 34 | 0.000 % |
969.16/969.69 c | 1290512 | 888 13920 46546 | 2147483647 38561 34 | 0.000 % |
976.06/976.50 c | 1299906 | 888 13920 46546 | 2147483647 47955 34 | 0.000 % |
984.46/984.92 c | 1310239 | 888 13920 46546 | 58049 49576 33 | 0.001 % |
993.65/994.15 c | 1321605 | 888 13920 46546 | 49578 42936 30 | 0.000 % |
993.75/994.21 c | 1321705 | 888 13920 46546 | 49578 43036 30 | 0.001 % |
993.75/994.29 c | 1321815 | 888 13920 46546 | 49578 43146 30 | 0.000 % |
993.95/994.40 c | 1321937 | 888 13920 46546 | 49578 43268 30 | 0.000 % |
993.95/994.49 c | 1322070 | 888 13920 46546 | 49578 43401 30 | 0.000 % |
994.15/994.61 c | 1322218 | 888 13920 46546 | 49578 43549 30 | 0.000 % |
994.15/994.69 c | 1322378 | 888 13920 46546 | 49578 43709 30 | 0.000 % |
994.25/994.78 c | 1322554 | 888 13920 46546 | 49578 43885 30 | 0.000 % |
994.35/994.86 c | 1322747 | 888 13920 46546 | 49578 44078 30 | 0.000 % |
994.55/995.01 c | 1322959 | 888 13920 46546 | 49578 44290 30 | 0.000 % |
994.65/995.16 c | 1323193 | 888 13920 46546 | 49578 44524 30 | 0.000 % |
994.85/995.34 c | 1323450 | 888 13920 46546 | 49578 44781 30 | 0.001 % |
994.95/995.48 c | 1323731 | 888 13920 46546 | 49578 45062 30 | 0.000 % |
995.15/995.64 c | 1324040 | 888 13920 46546 | 49578 45371 30 | 0.000 % |
995.35/995.87 c | 1324380 | 888 13920 46546 | 49578 45711 30 | 0.000 % |
995.65/996.11 c | 1324752 | 888 13920 46546 | 49578 46083 30 | 0.000 % |
995.85/996.37 c | 1325161 | 888 13920 46546 | 49578 46492 30 | 0.000 % |
996.05/996.59 c | 1325610 | 888 13920 46546 | 49578 46941 30 | 0.000 % |
996.35/996.88 c | 1326104 | 888 13920 46546 | 49578 47435 30 | 0.000 % |
996.75/997.25 c | 1326646 | 888 13920 46546 | 49578 47977 31 | 0.000 % |
997.15/997.68 c | 1327243 | 888 13920 46546 | 49578 48574 31 | 0.001 % |
997.55/998.09 c | 1327899 | 888 13920 46546 | 49578 49230 31 | 0.000 % |
998.05/998.59 c | 1328620 | 888 13920 46546 | 49578 43777 30 | 0.000 % |
998.65/999.10 c | 1329413 | 888 13920 46546 | 49578 44570 30 | 0.000 % |
999.25/999.77 c | 1330286 | 888 13920 46546 | 45157 40133 29 | 0.000 % |
999.85/1000.33 c | 1331245 | 888 13920 46546 | 45157 41092 29 | 0.000 % |
1000.45/1000.97 c | 1332299 | 888 13920 46546 | 45157 42146 29 | 0.000 % |
1001.14/1001.63 c | 1333458 | 888 13920 46546 | 45157 43305 29 | 0.001 % |
1001.94/1002.43 c | 1334731 | 888 13920 46546 | 45157 44578 29 | 0.001 % |
1002.84/1003.35 c | 1336133 | 888 13920 46546 | 45157 41455 29 | 0.001 % |
1003.64/1004.18 c | 1337673 | 888 13920 46546 | 45157 42995 29 | 0.001 % |
1004.85/1005.31 c | 1339368 | 888 13920 46546 | 45157 44690 29 | 0.001 % |
1005.95/1006.46 c | 1341231 | 888 13920 46546 | 2147483647 42028 28 | 0.000 % |
1007.05/1007.58 c | 1343281 | 888 13920 46546 | 2147483647 44078 28 | 0.001 % |
1008.34/1008.82 c | 1345534 | 888 13920 46546 | 2147483647 46331 29 | 0.000 % |
1009.94/1010.43 c | 1348013 | 888 13920 46546 | 2147483647 48810 30 | 0.000 % |
1011.74/1012.26 c | 1350739 | 888 13920 46546 | 2147483647 51536 30 | 0.001 % |
1013.54/1014.02 c | 1353737 | 888 13920 46546 | 2147483647 54534 31 | 0.000 % |
1015.44/1015.98 c | 1357034 | 888 13920 46546 | 2147483647 57831 31 | 0.000 % |
1018.14/1018.66 c | 1360659 | 888 13920 46546 | 60797 53773 31 | 0.000 % |
1021.94/1022.49 c | 1364646 | 888 13920 46546 | 60797 57760 31 | 0.000 % |
1026.44/1026.94 c | 1369031 | 888 13920 46546 | 60797 51984 32 | 0.000 % |
1031.14/1031.63 c | 1373856 | 888 13920 46546 | 52953 48135 32 | 0.000 % |
1036.04/1036.55 c | 1379162 | 888 13920 46546 | 52953 45532 33 | 0.000 % |
1039.05/1039.53 c | 1384998 | 888 13920 46546 | 46371 44561 33 | 0.000 % |
1043.24/1043.76 c | 1391416 | 888 13920 46546 | 44313 41224 33 | 0.000 % |
1047.84/1048.31 c | 1398475 | 888 13920 46546 | 44313 43841 33 | 0.000 % |
1052.94/1053.45 c | 1406241 | 888 13920 46546 | 2147483647 47162 33 | 0.000 % |
1059.73/1060.22 c | 1414781 | 888 13920 46546 | 50922 50320 34 | 0.000 % |
1066.93/1067.47 c | 1424177 | 888 13920 46546 | 49502 47540 34 | 0.000 % |
1074.33/1074.80 c | 1434511 | 888 13920 46546 | 47389 46517 36 | 0.000 % |
1080.73/1081.23 c | 1445877 | 888 13920 46546 | 47255 42528 35 | 0.000 % |
1088.03/1088.57 c | 1458379 | 888 13920 46546 | 46651 45638 34 | 0.000 % |
1088.13/1088.63 c | 1458481 | 888 13920 46546 | 46651 45740 34 | 0.001 % |
1088.13/1088.68 c | 1458592 | 888 13920 46546 | 46651 45851 34 | 0.000 % |
1088.23/1088.75 c | 1458713 | 888 13920 46546 | 46651 45972 34 | 0.000 % |
1088.33/1088.81 c | 1458847 | 888 13920 46546 | 46651 46106 34 | 0.000 % |
1088.33/1088.90 c | 1458994 | 888 13920 46546 | 46651 46253 34 | 0.000 % |
1088.43/1088.96 c | 1459154 | 888 13920 46546 | 46651 46413 34 | 0.001 % |
1088.53/1089.07 c | 1459330 | 888 13920 46546 | 46651 46589 34 | 0.000 % |
1088.63/1089.19 c | 1459523 | 888 13920 46546 | 46651 46782 34 | 0.000 % |
1088.83/1089.37 c | 1459736 | 888 13920 46546 | 46651 42317 33 | 0.000 % |
1088.93/1089.48 c | 1459969 | 888 13920 46546 | 46651 42550 34 | 0.000 % |
1089.13/1089.61 c | 1460225 | 888 13920 46546 | 2147483647 42806 34 | 0.001 % |
1089.23/1089.77 c | 1460507 | 888 13920 46546 | 2147483647 43088 34 | 0.001 % |
1089.43/1089.94 c | 1460816 | 888 13920 46546 | 2147483647 43397 34 | 0.000 % |
1089.63/1090.12 c | 1461155 | 888 13920 46546 | 2147483647 43736 34 | 0.000 % |
1089.83/1090.32 c | 1461527 | 888 13920 46546 | 2147483647 44108 34 | 0.000 % |
1090.03/1090.56 c | 1461937 | 888 13920 46546 | 2147483647 44518 34 | 0.000 % |
1090.23/1090.79 c | 1462386 | 888 13920 46546 | 2147483647 44967 34 | 0.000 % |
1090.53/1091.06 c | 1462879 | 888 13920 46546 | 2147483647 45460 34 | 0.000 % |
1090.73/1091.28 c | 1463421 | 888 13920 46546 | 2147483647 46002 34 | 0.000 % |
1091.02/1091.59 c | 1464018 | 888 13920 46546 | 2147483647 46599 34 | 0.000 % |
1091.42/1091.91 c | 1464674 | 888 13920 46546 | 2147483647 47255 34 | 0.000 % |
1091.83/1092.31 c | 1465396 | 888 13920 46546 | 2147483647 47977 34 | 0.000 % |
1092.22/1092.77 c | 1466188 | 888 13920 46546 | 2147483647 48769 34 | 0.000 % |
1092.93/1093.45 c | 1467062 | 888 13920 46546 | 2147483647 49643 34 | 0.000 % |
1093.72/1094.26 c | 1468020 | 888 13920 46546 | 2147483647 50601 34 | 0.000 % |
1094.32/1094.87 c | 1469073 | 888 13920 46546 | 2147483647 51654 34 | 0.000 % |
1095.03/1095.56 c | 1470231 | 888 13920 46546 | 2147483647 52812 34 | 0.000 % |
1095.92/1096.46 c | 1471505 | 888 13920 46546 | 2147483647 54086 34 | 0.000 % |
1096.92/1097.43 c | 1472906 | 888 13920 46546 | 2147483647 55487 34 | 0.000 % |
1098.22/1098.79 c | 1474446 | 888 13920 46546 | 2147483647 57027 34 | 0.000 % |
1099.72/1100.22 c | 1476140 | 888 13920 46546 | 2147483647 58721 34 | 0.000 % |
1101.52/1102.00 c | 1478005 | 888 13920 46546 | 2147483647 60586 34 | 0.000 % |
1103.02/1103.57 c | 1480054 | 888 13920 46546 | 62581 62635 34 | 0.000 % |
1104.92/1105.46 c | 1482308 | 888 13920 46546 | 62581 57412 33 | 0.000 % |
1107.02/1107.58 c | 1484787 | 888 13920 46546 | 62581 59891 34 | 0.000 % |
1109.02/1109.59 c | 1487513 | 888 13920 46546 | 62581 62617 34 | 0.000 % |
1111.52/1112.05 c | 1490510 | 888 13920 46546 | 56867 49919 33 | 0.000 % |
1113.91/1114.49 c | 1493809 | 888 13920 46546 | 56867 53218 33 | 0.000 % |
1117.51/1118.05 c | 1497435 | 888 13920 46546 | 56867 56844 33 | 0.000 % |
1120.91/1121.44 c | 1501422 | 888 13920 46546 | 51658 46130 33 | 0.000 % |
1125.21/1125.73 c | 1505807 | 888 13920 46546 | 51658 50515 33 | 0.000 % |
1128.51/1129.02 c | 1510630 | 888 13920 46546 | 47953 43081 33 | 0.000 % |
1133.11/1133.68 c | 1515935 | 888 13920 46546 | 47953 43580 33 | 0.000 % |
1137.31/1137.80 c | 1521770 | 888 13920 46546 | 2147483647 49415 33 | 0.000 % |
1143.01/1143.51 c | 1528189 | 888 13920 46546 | 2147483647 55834 33 | 0.000 % |
1148.20/1148.76 c | 1535249 | 888 13920 46546 | 57645 54825 32 | 0.000 % |
1154.10/1154.68 c | 1543013 | 888 13920 46546 | 51876 48140 33 | 0.000 % |
1160.90/1161.50 c | 1551554 | 888 13920 46546 | 49177 44602 32 | 0.000 % |
1166.90/1167.42 c | 1560949 | 888 13920 46546 | 2147483647 48959 33 | 0.000 % |
1175.30/1175.88 c | 1571282 | 888 13920 46546 | 58011 50983 34 | 0.000 % |
1184.39/1184.92 c | 1582649 | 888 13920 46546 | 50406 44940 34 | 0.000 % |
1195.29/1195.82 c | 1595151 | 888 13920 46546 | 44863 43428 34 | 0.000 % |
1200.09/1200.60 HOME/SatELiteGTI: line 36: 4555 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832197-1242770333/watcher-1832197-1242770333 -o /tmp/evaluation-result-1832197-1242770333/solver-1832197-1242770333 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832197-1242770333.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.97 0.91 3/65 4549
/proc/meminfo: memFree=1840760/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305065977 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228774871122 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/4549/statm: 1339 235 195 169 0 50 0
[pid=4550] ppid=4549 vsize=5356 CPUtime=0
/proc/4550/stat : 4550 (SatELiteGTI) S 4549 4549 4427 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305065977 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/4550/statm: 1339 238 198 169 0 50 0
[startup+0.078792 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4549
/proc/meminfo: memFree=1840760/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305065977 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4549/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10279 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4549
/proc/meminfo: memFree=1840760/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305065977 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4549/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301807 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4549
/proc/meminfo: memFree=1840760/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701854 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4549
/proc/meminfo: memFree=1840760/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50195 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1838248/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=3344 CPUtime=1.29
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 528 0 0 0 129 0 0 0 25 0 1 0 305065997 3424256 514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 836 514 76 171 0 663 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8700
[startup+3.10113 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1837416/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=5084 CPUtime=2.88
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 955 0 0 0 288 0 0 0 25 0 1 0 305065997 5206016 941 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 1271 941 76 171 0 1098 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10440
[startup+6.3015 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1834472/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=7328 CPUtime=6.08
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 1537 0 0 0 607 1 0 0 25 0 1 0 305065997 7503872 1523 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 1832 1523 76 171 0 1659 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 12684
[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1831336/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=10236 CPUtime=12.46
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 2233 0 0 0 1245 1 0 0 25 0 1 0 305065997 10481664 2219 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 2559 2219 76 171 0 2386 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 15592
[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1827048/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=14328 CPUtime=25.26
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3251 0 0 0 2523 3 0 0 25 0 1 0 305065997 14671872 3237 1992294400 134512640 135215339 4294956240 18446744073709551615 134540818 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3582 3237 76 171 0 3409 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19684
[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1826664/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=14596 CPUtime=50.84
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3322 0 0 0 5081 3 0 0 25 0 1 0 305065997 14946304 3308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3649 3308 76 171 0 3476 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 19952
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4555
/proc/meminfo: memFree=1826408/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=14876 CPUtime=102.02
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3376 0 0 0 10198 4 0 0 25 0 1 0 305065997 15233024 3362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3719 3362 76 171 0 3546 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 20232
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1826088/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15028 CPUtime=161.99
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3412 0 0 0 16194 5 0 0 25 0 1 0 305065997 15388672 3398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3757 3398 76 171 0 3584 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 20384
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1825832/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15176 CPUtime=221.95
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3465 0 0 0 22190 5 0 0 25 0 1 0 305065997 15540224 3451 1992294400 134512640 135215339 4294956240 18446744073709551615 134538547 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3794 3451 76 171 0 3621 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 20532
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1825704/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15312 CPUtime=281.93
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3476 0 0 0 28187 6 0 0 25 0 1 0 305065997 15679488 3462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3828 3462 76 171 0 3655 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 20668
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1825640/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15312 CPUtime=341.91
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3476 0 0 0 34185 6 0 0 25 0 1 0 305065997 15679488 3462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3828 3462 76 171 0 3655 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 20668
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1825448/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15312 CPUtime=401.89
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3491 0 0 0 40182 7 0 0 25 0 1 0 305065997 15679488 3477 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3828 3477 76 171 0 3655 0
Current children cumulated CPU time (s) 402.06
################
# More data... #
################
[pid=4555] ppid=4549 vsize=15460 CPUtime=461.87
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3515 0 0 0 46180 7 0 0 25 0 1 0 305065997 15831040 3501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3865 3501 76 171 0 3692 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 20816
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1825000/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=15596 CPUtime=521.84
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3547 0 0 0 52177 7 0 0 25 0 1 0 305065997 15970304 3533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 3899 3533 76 171 0 3726 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 20952
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1824104/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16388 CPUtime=581.82
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3758 0 0 0 58174 8 0 0 25 0 1 0 305065997 16781312 3744 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4097 3744 76 171 0 3924 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 21744
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823912/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=641.8
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3784 0 0 0 64172 8 0 0 25 0 1 0 305065997 16928768 3770 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3770 76 171 0 3960 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 21888
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823784/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=701.78
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3792 0 0 0 70169 9 0 0 25 0 1 0 305065997 16928768 3778 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3778 76 171 0 3960 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 21888
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823656/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=761.76
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3792 0 0 0 76167 9 0 0 25 0 1 0 305065997 16928768 3778 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3778 76 171 0 3960 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 21888
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823528/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=821.75
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3794 0 0 0 82165 10 0 0 25 0 1 0 305065997 16928768 3780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3780 76 171 0 3960 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 21888
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823464/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=881.73
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3795 0 0 0 88163 10 0 0 25 0 1 0 305065997 16928768 3781 1992294400 134512640 135215339 4294956240 18446744073709551615 134534491 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3781 76 171 0 3960 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 21888
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823336/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=941.7
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3796 0 0 0 94160 10 0 0 25 0 1 0 305065997 16928768 3782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3782 76 171 0 3960 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 21888
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823208/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=1001.67
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3796 0 0 0 100157 10 0 0 25 0 1 0 305065997 16928768 3782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3782 76 171 0 3960 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 21888
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823144/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=1061.66
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3796 0 0 0 106155 11 0 0 25 0 1 0 305065997 16928768 3782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3782 76 171 0 3960 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 21888
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823080/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=1121.64
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3797 0 0 0 112153 11 0 0 25 0 1 0 305065997 16928768 3783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3783 76 171 0 3960 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 21888
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1823016/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=1181.62
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3797 0 0 0 118151 11 0 0 25 0 1 0 305065997 16928768 3783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3783 76 171 0 3960 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 21888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 4561
/proc/meminfo: memFree=1822952/2055920 swapFree=4179248/4192956
[pid=4549] ppid=4547 vsize=5356 CPUtime=0.17
/proc/4549/stat : 4549 (SatELiteGTI) S 4547 4549 4427 0 -1 4194304 336 828 0 0 0 0 17 0 16 0 1 0 305065977 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4549/statm: 1339 239 197 169 0 50 0
[pid=4555] ppid=4549 vsize=16532 CPUtime=1199.92
/proc/4555/stat : 4555 (minisat_static) R 4549 4549 4427 0 -1 4194304 3797 0 0 0 119981 11 0 0 25 0 1 0 305065997 16928768 3783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4555/statm: 4133 3783 76 171 0 3960 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 21888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.12
CPU user time (s): 1199.99
CPU system time (s): 0.12998
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 21888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4970
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= 33
involuntary context switches= 5120
runsolver used 1.16682 second user time and 3.35449 second system time
The end
Begin job on node74 at 2009-05-19 23:58:53
IDJOB=1832197
IDBENCH=24621
IDSOLVER=671
FILE ID=node74/1832197-1242770333
PBS_JOBID= 9322229
Free space on /tmp= 102936 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832197-1242770333/watcher-1832197-1242770333 -o /tmp/evaluation-result-1832197-1242770333/solver-1832197-1242770333 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832197-1242770333.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e8bf7f81ddac4f189ec204bc856c8406
RANDOM SEED=1104871197
node74.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.233
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.233
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: 1841176 kB
Buffers: 14144 kB
Cached: 162972 kB
SwapCached: 7096 kB
Active: 20480 kB
Inactive: 166084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1841176 kB
SwapTotal: 4192956 kB
SwapFree: 4179248 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 14720 kB
Slab: 13984 kB
Committed_AS: 1042244 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 102936 MiB
End job on node74 at 2009-05-20 00:18:55