0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 9154 24624 | 2746 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 7910 27660 | -- 0 -- -- | -- | -1244/3036
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 1323 #clauses: 7910 #literals: 27660
0.00/0.08 c CPU time: 0.071989 s
0.00/0.08 c ==============================================================================
0.00/0.10 c This is MiniSat 2.0 beta
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c ============================[ Problem Statistics ]=============================
0.00/0.10 c | |
0.00/0.10 c | Number of variables: 1323 |
0.00/0.10 c | Number of clauses: 7910 |
0.00/0.11 c | Parsing time: 0.00 s |
0.00/0.11 c ============================[ Search Statistics ]==============================
0.00/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.11 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.11 c ===============================================================================
0.00/0.11 c | 0 | 1323 7910 27660 | 2636 0 nan | 0.000 % |
0.00/0.12 c | 100 | 1323 7910 27660 | 2636 100 46 | 0.000 % |
0.00/0.13 c | 200 | 1323 7910 27660 | 2636 200 42 | 0.000 % |
0.00/0.13 c | 300 | 1323 7910 27660 | 2636 300 44 | 0.000 % |
0.00/0.14 c | 411 | 1323 7910 27660 | 2636 411 42 | 0.000 % |
0.00/0.14 c | 511 | 1323 7910 27660 | 2636 511 42 | 0.000 % |
0.00/0.15 c | 621 | 1323 7910 27660 | 2636 621 39 | 0.000 % |
0.00/0.15 c | 742 | 1323 7910 27660 | 2636 742 36 | 0.000 % |
0.00/0.16 c | 842 | 1323 7910 27660 | 2636 842 35 | 0.000 % |
0.00/0.16 c | 954 | 1323 7910 27660 | 2636 954 36 | 0.000 % |
0.00/0.17 c | 1075 | 1323 7910 27660 | 2636 1075 36 | 0.000 % |
0.00/0.18 c | 1209 | 1323 7910 27660 | 2636 1209 35 | 0.000 % |
0.00/0.18 c | 1309 | 1323 7910 27660 | 2636 1309 35 | 0.000 % |
0.00/0.19 c | 1419 | 1323 7910 27660 | 2636 1419 35 | 0.000 % |
0.00/0.20 c | 1541 | 1323 7910 27660 | 2636 1541 35 | 0.000 % |
0.08/0.21 c | 1675 | 1323 7910 27660 | 2636 1675 37 | 0.000 % |
0.08/0.22 c | 1821 | 1323 7910 27660 | 2636 1821 38 | 0.000 % |
0.08/0.23 c | 1922 | 1323 7910 27660 | 2636 1922 38 | 0.000 % |
0.08/0.23 c | 2032 | 1323 7910 27660 | 2636 2032 39 | 0.000 % |
0.08/0.24 c | 2155 | 1323 7910 27660 | 2636 2155 40 | 0.000 % |
0.08/0.25 c | 2288 | 1323 7910 27660 | 2636 2288 40 | 0.000 % |
0.08/0.26 c | 2434 | 1323 7910 27660 | 2636 2434 41 | 0.000 % |
0.08/0.27 c | 2594 | 1323 7910 27660 | 2636 2594 42 | 0.000 % |
0.08/0.28 c | 2695 | 1323 7910 27660 | 2636 2695 41 | 0.000 % |
0.08/0.28 c | 2806 | 1323 7910 27660 | 2636 2537 40 | 0.000 % |
0.08/0.29 c | 2928 | 1323 7910 27660 | 2636 2659 41 | 0.000 % |
0.08/0.30 c | 3062 | 1323 7910 27660 | 2636 2528 40 | 0.000 % |
0.08/0.31 c | 3209 | 1323 7910 27660 | 2636 2675 41 | 0.000 % |
0.08/0.33 c | 3370 | 1323 7910 27660 | 2636 2569 43 | 0.000 % |
0.08/0.34 c | 3546 | 1323 7910 27660 | 2636 2745 44 | 0.000 % |
0.08/0.35 c | 3646 | 1323 7910 27660 | 2636 2571 45 | 0.000 % |
0.08/0.36 c | 3757 | 1323 7910 27660 | 2636 2682 45 | 0.000 % |
0.08/0.37 c | 3879 | 1323 7910 27660 | 2636 2536 47 | 0.000 % |
0.08/0.38 c | 4012 | 1323 7910 27660 | 2636 2669 48 | 0.000 % |
0.08/0.40 c | 4158 | 1323 7910 27660 | 2636 2549 48 | 0.000 % |
0.08/0.40 c | 4319 | 1323 7910 27660 | 2636 2710 47 | 0.000 % |
0.08/0.41 c | 4497 | 1323 7910 27660 | 2636 2617 46 | 0.000 % |
0.08/0.43 c | 4691 | 1323 7910 27660 | 2636 2811 46 | 0.000 % |
0.08/0.44 c | 4793 | 1323 7910 27660 | 2636 2632 47 | 0.000 % |
0.08/0.45 c | 4903 | 1323 7910 27660 | 2636 2742 47 | 0.000 % |
0.08/0.47 c | 5026 | 1323 7910 27660 | 2636 2591 48 | 0.000 % |
0.08/0.48 c | 5160 | 1323 7910 27660 | 2636 2725 47 | 0.000 % |
0.08/0.49 c | 5308 | 1323 7910 27660 | 2636 2601 48 | 0.000 % |
0.08/0.50 c | 5468 | 1323 7910 27660 | 2636 2761 48 | 0.000 % |
0.08/0.52 c | 5645 | 1323 7910 27660 | 2636 2662 49 | 0.000 % |
0.08/0.53 c | 5840 | 1323 7910 27660 | 2636 2591 49 | 0.000 % |
0.08/0.55 c | 6052 | 1323 7910 27660 | 2636 2803 50 | 0.000 % |
0.08/0.56 c | 6152 | 1323 7910 27660 | 2636 2623 50 | 0.000 % |
0.08/0.57 c | 6263 | 1323 7910 27660 | 2636 2734 50 | 0.000 % |
0.08/0.58 c | 6385 | 1323 7910 27660 | 2636 2583 50 | 0.000 % |
0.08/0.58 c | 6519 | 1323 7910 27660 | 2636 2717 50 | 0.000 % |
0.08/0.59 c | 6665 | 1323 7910 27660 | 2636 2592 50 | 0.000 % |
0.08/0.61 c | 6825 | 1323 7910 27660 | 2636 2752 51 | 0.000 % |
0.08/0.63 c | 7001 | 1323 7910 27660 | 2636 2653 53 | 0.000 % |
0.08/0.64 c | 7195 | 1323 7910 27660 | 2636 2582 52 | 0.000 % |
0.08/0.66 c | 7410 | 1323 7910 27660 | 2636 2797 52 | 0.000 % |
0.08/0.68 c | 7644 | 1323 7910 27660 | 2636 2752 51 | 0.000 % |
0.08/0.69 c | 7744 | 1323 7910 27660 | 2636 2577 50 | 0.000 % |
0.08/0.70 c | 7855 | 1323 7910 27660 | 2636 2688 51 | 0.000 % |
0.08/0.70 c | 7976 | 1323 7910 27660 | 2636 2541 50 | 0.000 % |
0.08/0.71 c | 8109 | 1323 7910 27660 | 2636 2674 49 | 0.000 % |
0.08/0.72 c | 8257 | 1323 7910 27660 | 2636 2555 48 | 0.000 % |
0.08/0.74 c | 8418 | 1323 7910 27660 | 2636 2716 49 | 0.000 % |
0.08/0.75 c | 8596 | 1323 7910 27660 | 2636 2623 48 | 0.000 % |
0.08/0.76 c | 8789 | 1323 7910 27660 | 2636 2816 46 | 0.000 % |
0.08/0.77 c | 9003 | 1323 7910 27660 | 2636 2749 45 | 0.000 % |
0.08/0.79 c | 9236 | 1323 7910 27660 | 2636 2708 44 | 0.000 % |
0.08/0.81 c | 9492 | 1323 7910 27660 | 2636 2694 43 | 0.000 % |
0.08/0.81 c | 9592 | 1323 7910 27660 | 2636 2525 42 | 0.000 % |
0.08/0.82 c | 9702 | 1323 7910 27660 | 2636 2635 42 | 0.000 % |
0.08/0.83 c | 9823 | 1323 7910 27660 | 2636 2756 42 | 0.000 % |
0.08/0.84 c | 9959 | 1323 7910 27660 | 2636 2617 41 | 0.000 % |
0.08/0.85 c | 10105 | 1323 7910 27660 | 2147483647 2763 41 | 0.000 % |
0.08/0.86 c | 10265 | 1323 7910 27660 | 2147483647 2923 41 | 0.000 % |
0.08/0.87 c | 10441 | 1323 7910 27660 | 2147483647 3099 42 | 0.000 % |
0.08/0.88 c | 10635 | 1323 7910 27660 | 2147483647 3293 41 | 0.000 % |
0.08/0.90 c | 10848 | 1323 7910 27660 | 2147483647 3506 42 | 0.000 % |
0.08/0.92 c | 11082 | 1323 7910 27660 | 2147483647 3740 43 | 0.000 % |
0.08/0.93 c | 11338 | 1323 7910 27660 | 2147483647 3996 42 | 0.000 % |
0.08/0.96 c | 11620 | 1323 7910 27660 | 2147483647 4278 42 | 0.000 % |
0.08/0.96 c | 11721 | 1323 7910 27660 | 2147483647 4379 42 | 0.000 % |
0.08/0.97 c | 11832 | 1323 7910 27660 | 2147483647 4490 42 | 0.000 % |
0.08/0.98 c | 11954 | 1323 7910 27660 | 2147483647 4612 42 | 0.000 % |
0.08/0.99 c | 12087 | 1323 7910 27660 | 2147483647 4745 42 | 0.000 % |
0.08/1.00 c | 12234 | 1323 7910 27660 | 2147483647 4892 42 | 0.000 % |
0.97/1.01 c | 12395 | 1323 7910 27660 | 2147483647 5053 42 | 0.000 % |
0.97/1.03 c | 12573 | 1323 7910 27660 | 2147483647 5231 43 | 0.000 % |
0.97/1.05 c | 12767 | 1323 7910 27660 | 2147483647 5425 43 | 0.000 % |
0.97/1.07 c | 12979 | 1323 7910 27660 | 2147483647 5637 45 | 0.000 % |
0.97/1.09 c | 13212 | 1323 7910 27660 | 2147483647 5870 45 | 0.000 % |
1.07/1.11 c | 13469 | 1323 7910 27660 | 2147483647 6127 44 | 0.000 % |
1.07/1.13 c | 13750 | 1323 7910 27660 | 2147483647 6408 45 | 0.000 % |
1.07/1.15 c | 14061 | 1323 7910 27660 | 2147483647 6719 45 | 0.000 % |
1.07/1.16 c | 14161 | 1323 7910 27660 | 2147483647 6819 45 | 0.000 % |
1.07/1.17 c | 14273 | 1323 7910 27660 | 2147483647 6931 46 | 0.000 % |
1.07/1.18 c | 14395 | 1323 7910 27660 | 2147483647 7053 45 | 0.000 % |
1.07/1.20 c | 14529 | 1323 7910 27660 | 2147483647 7187 46 | 0.000 % |
1.17/1.21 c | 14675 | 1323 7910 27660 | 2147483647 7333 46 | 0.000 % |
1.17/1.23 c | 14835 | 1323 7910 27660 | 2147483647 7493 46 | 0.000 % |
1.17/1.24 c | 15011 | 1323 7910 27660 | 2147483647 7669 46 | 0.000 % |
1.17/1.25 c | 15204 | 1323 7910 27660 | 2147483647 7862 45 | 0.000 % |
1.17/1.27 c | 15418 | 1323 7910 27660 | 2147483647 8076 45 | 0.000 % |
1.17/1.29 c | 15651 | 1323 7910 27660 | 2147483647 8309 45 | 0.000 % |
1.27/1.31 c | 15908 | 1323 7910 27660 | 2147483647 8566 45 | 0.000 % |
1.27/1.33 c | 16190 | 1323 7910 27660 | 2147483647 8848 45 | 0.000 % |
1.27/1.35 c | 16500 | 1323 7910 27660 | 2147483647 9158 45 | 0.000 % |
1.27/1.38 c | 16839 | 1323 7910 27660 | 2147483647 9497 45 | 0.000 % |
1.27/1.39 c | 16940 | 1323 7910 27660 | 2147483647 9598 45 | 0.000 % |
1.27/1.40 c | 17051 | 1323 7910 27660 | 2147483647 9709 45 | 0.000 % |
1.37/1.41 c | 17174 | 1323 7910 27660 | 2147483647 9832 45 | 0.000 % |
1.37/1.42 c | 17310 | 1323 7910 27660 | 2147483647 9968 45 | 0.000 % |
1.37/1.44 c | 17456 | 1323 7910 27660 | 2147483647 10114 45 | 0.000 % |
1.37/1.46 c | 17617 | 1323 7910 27660 | 2147483647 10275 46 | 0.000 % |
1.37/1.48 c | 17794 | 1323 7910 27660 | 2147483647 10452 46 | 0.000 % |
1.46/1.51 c | 17987 | 1323 7910 27660 | 2147483647 10645 46 | 0.000 % |
1.46/1.53 c | 18201 | 1323 7910 27660 | 2147483647 10859 47 | 0.000 % |
1.46/1.56 c | 18434 | 1323 7910 27660 | 2147483647 11092 47 | 0.000 % |
1.46/1.59 c | 18691 | 1323 7910 27660 | 2147483647 11349 48 | 0.000 % |
1.56/1.64 c | 18973 | 1323 7910 27660 | 2147483647 11631 49 | 0.000 % |
1.56/1.68 c | 19282 | 1323 7910 27660 | 2147483647 11940 49 | 0.000 % |
1.66/1.73 c | 19621 | 1323 7910 27660 | 2147483647 12279 50 | 0.000 % |
1.66/1.79 c | 19993 | 1323 7910 27660 | 2147483647 12651 51 | 0.000 % |
1.76/1.80 c | 20094 | 1323 7910 27660 | 2147483647 12752 51 | 0.000 % |
1.76/1.82 c | 20205 | 1323 7910 27660 | 2147483647 12863 51 | 0.000 % |
1.76/1.83 c | 20326 | 1323 7910 27660 | 2147483647 12984 51 | 0.000 % |
1.76/1.85 c | 20460 | 1323 7910 27660 | 2147483647 13118 51 | 0.000 % |
1.76/1.87 c | 20606 | 1323 7910 27660 | 2147483647 13264 51 | 0.000 % |
1.76/1.89 c | 20766 | 1323 7910 27660 | 2147483647 13424 51 | 0.000 % |
1.86/1.92 c | 20942 | 1323 7910 27660 | 2147483647 13600 52 | 0.000 % |
1.86/1.94 c | 21135 | 1323 7910 27660 | 2147483647 13793 52 | 0.000 % |
1.86/1.98 c | 21348 | 1323 7910 27660 | 2147483647 14006 52 | 0.000 % |
1.96/2.02 c | 21581 | 1323 7910 27660 | 2147483647 14239 52 | 0.000 % |
1.96/2.06 c | 21838 | 1323 7910 27660 | 2147483647 14496 53 | 0.000 % |
1.96/2.08 c | 22121 | 1323 7910 27660 | 2147483647 14779 53 | 0.000 % |
2.07/2.11 c | 22430 | 1323 7910 27660 | 2147483647 15088 53 | 0.000 % |
2.07/2.16 c | 22769 | 1323 7910 27660 | 2147483647 15427 53 | 0.000 % |
2.17/2.21 c | 23142 | 1323 7910 27660 | 2147483647 15800 53 | 0.000 % |
2.17/2.27 c | 23551 | 1323 7910 27660 | 2147483647 16209 54 | 0.000 % |
2.17/2.29 c | 23651 | 1323 7910 27660 | 2147483647 16309 54 | 0.000 % |
2.26/2.30 c | 23761 | 1323 7910 27660 | 2147483647 16419 54 | 0.000 % |
2.26/2.32 c | 23882 | 1323 7910 27660 | 2147483647 16540 54 | 0.000 % |
2.26/2.34 c | 24016 | 1323 7910 27660 | 2147483647 16674 54 | 0.000 % |
2.26/2.35 c | 24162 | 1323 7910 27660 | 2147483647 16820 54 | 0.000 % |
2.26/2.37 c | 24322 | 1323 7910 27660 | 2147483647 16980 54 | 0.000 % |
2.36/2.40 c | 24498 | 1323 7910 27660 | 2147483647 17156 54 | 0.000 % |
2.36/2.43 c | 24691 | 1323 7910 27660 | 2147483647 17349 54 | 0.000 % |
2.36/2.46 c | 24903 | 1323 7910 27660 | 2147483647 17561 54 | 0.000 % |
2.46/2.50 c | 25136 | 1323 7910 27660 | 2147483647 17794 55 | 0.000 % |
2.46/2.55 c | 25392 | 1323 7910 27660 | 2147483647 18050 55 | 0.000 % |
2.56/2.60 c | 25674 | 1323 7910 27660 | 2147483647 18332 55 | 0.000 % |
2.56/2.64 c | 25983 | 1323 7910 27660 | 2147483647 18641 55 | 0.000 % |
2.56/2.67 c | 26324 | 1323 7910 27660 | 2147483647 18982 55 | 0.000 % |
2.66/2.71 c | 26696 | 1323 7910 27660 | 2147483647 19354 55 | 0.000 % |
2.66/2.76 c | 27105 | 1323 7910 27660 | 2147483647 19763 55 | 0.000 % |
2.77/2.84 c | 27554 | 1323 7910 27660 | 2147483647 20212 55 | 0.000 % |
2.77/2.86 c | 27657 | 1323 7910 27660 | 2147483647 20315 55 | 0.000 % |
2.77/2.87 c | 27768 | 1323 7910 27660 | 2147483647 20426 55 | 0.000 % |
2.77/2.89 c | 27889 | 1323 7910 27660 | 2147483647 20547 55 | 0.000 % |
2.87/2.91 c | 28022 | 1323 7910 27660 | 2147483647 20680 55 | 0.000 % |
2.87/2.93 c | 28168 | 1323 7910 27660 | 2147483647 20826 55 | 0.000 % |
2.87/2.96 c | 28329 | 1323 7910 27660 | 2147483647 20987 55 | 0.000 % |
2.87/2.98 c | 28505 | 1323 7910 27660 | 2147483647 21163 55 | 0.000 % |
2.97/3.02 c | 28698 | 1323 7910 27660 | 2147483647 21356 55 | 0.000 % |
2.97/3.04 c | 28911 | 1323 7910 27660 | 2147483647 21569 55 | 0.000 % |
2.97/3.08 c | 29144 | 1323 7910 27660 | 2147483647 21802 55 | 0.000 % |
3.07/3.11 c | 29400 | 1323 7910 27660 | 2147483647 22058 55 | 0.000 % |
3.07/3.16 c | 29682 | 1323 7910 27660 | 2147483647 22340 55 | 0.000 % |
3.17/3.21 c | 29991 | 1323 7910 27660 | 2147483647 22649 56 | 0.000 % |
3.17/3.29 c | 30331 | 1323 7910 27660 | 2147483647 22989 56 | 0.000 % |
3.27/3.38 c | 30703 | 1323 7910 27660 | 2147483647 23361 56 | 0.000 % |
3.36/3.48 c | 31113 | 1323 7910 27660 | 2147483647 23771 57 | 0.000 % |
3.46/3.56 c | 31562 | 1323 7910 27660 | 2147483647 24220 57 | 0.000 % |
3.56/3.62 c | 32056 | 1323 7910 27660 | 2147483647 24714 57 | 0.000 % |
3.56/3.63 c | 32156 | 1323 7910 27660 | 2147483647 24814 56 | 0.000 % |
3.56/3.65 c | 32266 | 1323 7910 27660 | 2147483647 24924 56 | 0.000 % |
3.56/3.67 c | 32388 | 1323 7910 27660 | 2147483647 25046 56 | 0.000 % |
3.66/3.70 c | 32522 | 1323 7910 27660 | 2147483647 25180 56 | 0.000 % |
3.66/3.72 c | 32668 | 1323 7910 27660 | 2147483647 25326 56 | 0.000 % |
3.66/3.74 c | 32829 | 1323 7910 27660 | 2147483647 25487 56 | 0.000 % |
3.66/3.77 c | 33005 | 1323 7910 27660 | 2147483647 25663 56 | 0.000 % |
3.66/3.78 c | 33198 | 1323 7910 27660 | 2147483647 25856 56 | 0.000 % |
3.76/3.82 c | 33412 | 1323 7910 27660 | 2147483647 26070 56 | 0.000 % |
3.76/3.86 c | 33646 | 1323 7910 27660 | 2147483647 26304 56 | 0.000 % |
3.86/3.92 c | 33902 | 1323 7910 27660 | 2147483647 26560 56 | 0.000 % |
3.86/3.97 c | 34183 | 1323 7910 27660 | 2147483647 26841 56 | 0.000 % |
3.96/4.03 c | 34492 | 1323 7910 27660 | 2147483647 27150 57 | 0.000 % |
4.06/4.14 c | 34831 | 1323 7910 27660 | 2147483647 27489 57 | 0.000 % |
4.16/4.24 c | 35203 | 1323 7910 27660 | 2147483647 27861 57 | 0.000 % |
4.27/4.39 c | 35613 | 1323 7910 27660 | 2147483647 28271 58 | 0.000 % |
4.46/4.56 c | 36062 | 1323 7910 27660 | 2147483647 28720 58 | 0.000 % |
4.66/4.73 c | 36555 | 1323 7910 27660 | 2147483647 29213 59 | 0.000 % |
4.76/4.87 c | 37098 | 1323 7910 27660 | 2147483647 29756 59 | 0.000 % |
4.86/4.90 c | 37198 | 1323 7910 27660 | 2147483647 29856 59 | 0.000 % |
4.86/4.93 c | 37308 | 1323 7910 27660 | 2147483647 29966 59 | 0.000 % |
4.86/4.96 c | 37429 | 1323 7910 27660 | 2147483647 30087 59 | 0.000 % |
4.96/5.01 c | 37562 | 1323 7910 27660 | 2147483647 30220 59 | 0.000 % |
4.96/5.04 c | 37709 | 1323 7910 27660 | 2147483647 30367 59 | 0.000 % |
4.96/5.08 c | 37869 | 1323 7910 27660 | 2147483647 30527 59 | 0.000 % |
5.06/5.14 c | 38047 | 1323 7910 27660 | 2147483647 30705 59 | 0.000 % |
5.16/5.20 c | 38240 | 1323 7910 27660 | 2147483647 30898 60 | 0.000 % |
5.16/5.26 c | 38452 | 1323 7910 27660 | 2147483647 31110 60 | 0.000 % |
5.26/5.32 c | 38685 | 1323 7910 27660 | 2147483647 31343 60 | 0.000 % |
5.26/5.40 c | 38942 | 1323 7910 27660 | 2147483647 31600 60 | 0.000 % |
5.36/5.50 c | 39223 | 1323 7910 27660 | 2147483647 31881 60 | 0.000 % |
5.57/5.61 c | 39532 | 1323 7910 27660 | 2147483647 32190 61 | 0.000 % |
5.67/5.72 c | 39872 | 1323 7910 27660 | 2147483647 32530 61 | 0.000 % |
5.77/5.84 c | 40245 | 1323 7910 27660 | 2147483647 32903 61 | 0.000 % |
5.86/5.94 c | 40654 | 1323 7910 27660 | 2147483647 33312 61 | 0.000 % |
5.96/6.02 c | 41103 | 1323 7910 27660 | 2147483647 33761 61 | 0.000 % |
6.06/6.12 c | 41596 | 1323 7910 27660 | 2147483647 34254 61 | 0.000 % |
6.16/6.23 c | 42139 | 1323 7910 27660 | 2147483647 34797 61 | 0.000 % |
6.36/6.44 c | 42736 | 1323 7910 27660 | 2147483647 35394 62 | 0.000 % |
6.36/6.47 c | 42837 | 1323 7910 27660 | 2147483647 35495 62 | 0.000 % |
6.47/6.50 c | 42948 | 1323 7910 27660 | 2147483647 35606 62 | 0.000 % |
6.47/6.54 c | 43069 | 1323 7910 27660 | 2147483647 35727 62 | 0.000 % |
6.47/6.59 c | 43202 | 1323 7910 27660 | 2147483647 35860 62 | 0.000 % |
6.57/6.65 c | 43349 | 1323 7910 27660 | 2147483647 36007 62 | 0.000 % |
6.57/6.69 c | 43509 | 1323 7910 27660 | 2147483647 36167 62 | 0.000 % |
6.66/6.73 c | 43685 | 1323 7910 27660 | 2147483647 36343 62 | 0.000 % |
6.66/6.79 c | 43879 | 1323 7910 27660 | 2147483647 36537 62 | 0.000 % |
6.76/6.88 c | 44091 | 1323 7910 27660 | 2147483647 36749 62 | 0.000 % |
6.86/6.94 c | 44326 | 1323 7910 27660 | 2147483647 36984 62 | 0.000 % |
6.96/7.01 c | 44584 | 1323 7910 27660 | 2147483647 37242 62 | 0.000 % |
7.06/7.10 c | 44866 | 1323 7910 27660 | 2147483647 37524 62 | 0.000 % |
7.06/7.19 c | 45175 | 1323 7910 27660 | 2147483647 37833 62 | 0.000 % |
7.26/7.30 c | 45514 | 1323 7910 27660 | 2147483647 38172 62 | 0.000 % |
7.36/7.48 c | 45886 | 1323 7910 27660 | 2147483647 38544 63 | 0.000 % |
7.56/7.66 c | 46295 | 1323 7910 27660 | 2147483647 38953 63 | 0.000 % |
7.76/7.81 c | 46744 | 1323 7910 27660 | 2147483647 39402 63 | 0.000 % |
7.76/7.88 c | 47237 | 1323 7910 27660 | 2147483647 39895 63 | 0.000 % |
7.96/8.01 c | 47779 | 1323 7910 27660 | 2147483647 40437 63 | 0.000 % |
8.16/8.25 c | 48375 | 1323 7910 27660 | 2147483647 41033 63 | 0.000 % |
8.47/8.58 c | 49031 | 1323 7910 27660 | 2147483647 41689 64 | 0.000 % |
8.57/8.64 c | 49131 | 1323 7910 27660 | 2147483647 41789 64 | 0.000 % |
8.57/8.70 c | 49241 | 1323 7910 27660 | 2147483647 41899 64 | 0.000 % |
8.67/8.75 c | 49362 | 1323 7910 27660 | 2147483647 42020 64 | 0.000 % |
8.77/8.81 c | 49495 | 1323 7910 27660 | 2147483647 42153 64 | 0.000 % |
8.77/8.86 c | 49641 | 1323 7910 27660 | 2147483647 42299 64 | 0.000 % |
8.87/8.92 c | 49803 | 1323 7910 27660 | 2147483647 42461 64 | 0.000 % |
8.97/9.03 c | 49980 | 1323 7910 27660 | 2147483647 42638 64 | 0.000 % |
9.07/9.15 c | 50174 | 1323 7910 27660 | 2147483647 42832 64 | 0.000 % |
9.17/9.26 c | 50386 | 1323 7910 27660 | 2147483647 43044 64 | 0.000 % |
9.27/9.37 c | 50619 | 1323 7910 27660 | 2147483647 43277 65 | 0.000 % |
9.47/9.53 c | 50876 | 1323 7910 27660 | 2147483647 43534 65 | 0.000 % |
9.57/9.69 c | 51158 | 1323 7910 27660 | 2147483647 43816 65 | 0.000 % |
9.77/9.89 c | 51467 | 1323 7910 27660 | 2147483647 44125 65 | 0.000 % |
10.06/10.11 c | 51807 | 1323 7910 27660 | 2147483647 44465 65 | 0.000 % |
10.16/10.25 c | 52179 | 1323 7910 27660 | 2147483647 44837 66 | 0.000 % |
10.36/10.41 c | 52588 | 1323 7910 27660 | 2147483647 45246 66 | 0.000 % |
10.56/10.65 c | 53037 | 1323 7910 27660 | 2147483647 45695 66 | 0.000 % |
10.76/10.82 c | 53531 | 1323 7910 27660 | 2147483647 46189 66 | 0.000 % |
11.06/11.13 c | 54074 | 1323 7910 27660 | 2147483647 46732 66 | 0.000 % |
11.36/11.48 c | 54670 | 1323 7910 27660 | 2147483647 47328 66 | 0.000 % |
11.66/11.79 c | 55325 | 1323 7910 27660 | 2147483647 47983 67 | 0.000 % |
12.06/12.20 c | 56046 | 1323 7910 27660 | 2147483647 48704 67 | 0.000 % |
12.16/12.27 c | 56146 | 1323 7910 27660 | 2147483647 48804 67 | 0.000 % |
12.26/12.33 c | 56257 | 1323 7910 27660 | 2147483647 48915 67 | 0.000 % |
12.36/12.40 c | 56378 | 1323 7910 27660 | 2147483647 49036 67 | 0.000 % |
12.36/12.46 c | 56511 | 1323 7910 27660 | 2147483647 49169 67 | 0.000 % |
12.46/12.58 c | 56657 | 1323 7910 27660 | 2147483647 49315 67 | 0.000 % |
12.56/12.67 c | 56817 | 1323 7910 27660 | 2147483647 49475 67 | 0.000 % |
12.66/12.74 c | 56995 | 1323 7910 27660 | 2147483647 49653 67 | 0.000 % |
12.76/12.85 c | 57188 | 1323 7910 27660 | 2147483647 49846 67 | 0.000 % |
12.86/12.98 c | 57401 | 1323 7910 27660 | 2147483647 50059 67 | 0.000 % |
12.96/13.09 c | 57635 | 1323 7910 27660 | 2147483647 50293 67 | 0.000 % |
13.27/13.30 c | 57891 | 1323 7910 27660 | 2147483647 50549 67 | 0.000 % |
13.36/13.49 c | 58173 | 1323 7910 27660 | 2147483647 50831 67 | 0.000 % |
13.66/13.78 c | 58483 | 1323 7910 27660 | 2147483647 51141 68 | 0.000 % |
13.96/14.03 c | 58822 | 1323 7910 27660 | 2147483647 51480 68 | 0.000 % |
14.27/14.36 c | 59194 | 1323 7910 27660 | 2147483647 51852 68 | 0.000 % |
14.56/14.67 c | 59603 | 1323 7910 27660 | 2147483647 52261 68 | 0.000 % |
14.86/14.93 c | 60052 | 1323 7910 27660 | 2147483647 52710 68 | 0.000 % |
15.16/15.24 c | 60545 | 1323 7910 27660 | 2147483647 53203 68 | 0.000 % |
15.46/15.50 c | 61087 | 1323 7910 27660 | 2147483647 53745 68 | 0.000 % |
15.86/15.99 c | 61684 | 1323 7910 27660 | 2147483647 54342 68 | 0.000 % |
16.46/16.53 c | 62339 | 1323 7910 27660 | 2147483647 54997 69 | 0.000 % |
16.96/17.04 c | 63059 | 1323 7910 27660 | 2147483647 55717 69 | 0.000 % |
17.76/17.85 c | 63851 | 1323 7910 27660 | 2147483647 56509 69 | 0.000 % |
17.86/17.92 c | 63951 | 1323 7910 27660 | 2147483647 56609 69 | 0.000 % |
17.86/17.98 c | 64061 | 1323 7910 27660 | 2147483647 56719 69 | 0.000 % |
17.96/18.05 c | 64182 | 1323 7910 27660 | 2147483647 56840 69 | 0.000 % |
18.06/18.15 c | 64316 | 1323 7910 27660 | 2147483647 56974 69 | 0.000 % |
18.16/18.24 c | 64463 | 1323 7910 27660 | 2147483647 57121 69 | 0.000 % |
18.26/18.34 c | 64623 | 1323 7910 27660 | 2147483647 57281 69 | 0.000 % |
18.36/18.46 c | 64799 | 1323 7910 27660 | 2147483647 57457 69 | 0.000 % |
18.56/18.66 c | 64993 | 1323 7910 27660 | 2147483647 57651 70 | 0.000 % |
18.76/18.86 c | 65205 | 1323 7910 27660 | 2147483647 57863 70 | 0.000 % |
18.96/19.04 c | 65440 | 1323 7910 27660 | 2147483647 58098 70 | 0.000 % |
19.16/19.29 c | 65697 | 1323 7910 27660 | 2147483647 58355 70 | 0.000 % |
19.56/19.61 c | 65980 | 1323 7910 27660 | 2147483647 58638 70 | 0.000 % |
19.86/19.95 c | 66289 | 1323 7910 27660 | 2147483647 58947 70 | 0.000 % |
20.06/20.16 c | 66630 | 1323 7910 27660 | 2147483647 59288 70 | 0.000 % |
20.36/20.44 c | 67002 | 1323 7910 27660 | 2147483647 59660 70 | 0.000 % |
20.66/20.71 c | 67412 | 1323 7910 27660 | 2147483647 60070 70 | 0.000 % |
20.96/21.03 c | 67862 | 1323 7910 27660 | 2147483647 60520 70 | 0.000 % |
21.26/21.38 c | 68356 | 1323 7910 27660 | 2147483647 61014 70 | 0.000 % |
21.76/21.80 c | 68898 | 1323 7910 27660 | 2147483647 61556 71 | 0.000 % |
22.26/22.33 c | 69495 | 1323 7910 27660 | 2147483647 62153 71 | 0.000 % |
22.66/22.74 c | 70151 | 1323 7910 27660 | 62659 62809 71 | 0.000 % |
22.96/23.04 c | 70871 | 1323 7910 27660 | 62659 52277 74 | 0.000 % |
23.16/23.29 c | 71663 | 1323 7910 27660 | 62659 53069 74 | 0.000 % |
23.76/23.85 c | 72534 | 1323 7910 27660 | 62659 53940 75 | 0.000 % |
23.86/23.94 c | 72634 | 1323 7910 27660 | 62659 54040 75 | 0.000 % |
23.96/24.00 c | 72744 | 1323 7910 27660 | 62659 54150 75 | 0.000 % |
23.96/24.07 c | 72865 | 1323 7910 27660 | 62659 54271 75 | 0.000 % |
24.06/24.14 c | 72998 | 1323 7910 27660 | 62659 54404 75 | 0.000 % |
24.16/24.25 c | 73144 | 1323 7910 27660 | 62659 54550 75 | 0.000 % |
24.26/24.36 c | 73304 | 1323 7910 27660 | 62659 54710 75 | 0.000 % |
24.36/24.49 c | 73480 | 1323 7910 27660 | 62659 54886 75 | 0.000 % |
24.56/24.62 c | 73673 | 1323 7910 27660 | 62659 55079 75 | 0.000 % |
24.76/24.81 c | 73885 | 1323 7910 27660 | 62659 55291 75 | 0.000 % |
24.86/24.96 c | 74118 | 1323 7910 27660 | 62659 55524 75 | 0.000 % |
25.06/25.11 c | 74375 | 1323 7910 27660 | 62659 55781 75 | 0.000 % |
25.16/25.22 c | 74656 | 1323 7910 27660 | 62659 56062 75 | 0.000 % |
25.26/25.32 c | 74966 | 1323 7910 27660 | 62659 56372 75 | 0.000 % |
25.36/25.43 c | 75305 | 1323 7910 27660 | 62659 56711 75 | 0.000 % |
25.46/25.55 c | 75677 | 1323 7910 27660 | 62659 57083 75 | 0.000 % |
25.56/25.67 c | 76087 | 1323 7910 27660 | 62659 57493 75 | 0.000 % |
25.66/25.78 c | 76537 | 1323 7910 27660 | 62659 57943 75 | 0.000 % |
25.86/25.91 c | 77030 | 1323 7910 27660 | 62659 58436 74 | 0.000 % |
26.16/26.20 c | 77572 | 1323 7910 27660 | 62659 58978 75 | 0.000 % |
26.36/26.41 c | 78168 | 1323 7910 27660 | 62659 59574 74 | 0.000 % |
26.56/26.61 c | 78825 | 1323 7910 27660 | 62659 60231 74 | 0.000 % |
26.76/26.82 c | 79546 | 1323 7910 27660 | 62659 60952 74 | 0.000 % |
27.36/27.47 c | 80339 | 1323 7910 27660 | 61406 61745 75 | 0.000 % |
27.85/28.00 c | 81210 | 1323 7910 27660 | 61406 51677 76 | 0.000 % |
28.65/28.73 c | 82168 | 1323 7910 27660 | 61406 52635 76 | 0.000 % |
28.75/28.83 c | 82268 | 1323 7910 27660 | 61406 52735 76 | 0.000 % |
28.85/28.93 c | 82379 | 1323 7910 27660 | 61406 52846 76 | 0.000 % |
28.95/29.04 c | 82501 | 1323 7910 27660 | 61406 52968 76 | 0.000 % |
29.05/29.15 c | 82634 | 1323 7910 27660 | 61406 53101 76 | 0.000 % |
29.15/29.25 c | 82781 | 1323 7910 27660 | 61406 53248 76 | 0.000 % |
29.35/29.41 c | 82944 | 1323 7910 27660 | 61406 53411 77 | 0.000 % |
29.45/29.54 c | 83121 | 1323 7910 27660 | 61406 53588 77 | 0.000 % |
29.66/29.73 c | 83315 | 1323 7910 27660 | 61406 53782 77 | 0.000 % |
29.75/29.89 c | 83528 | 1323 7910 27660 | 61406 53995 77 | 0.000 % |
30.05/30.10 c | 83761 | 1323 7910 27660 | 61406 54228 77 | 0.000 % |
30.15/30.30 c | 84018 | 1323 7910 27660 | 61406 54485 77 | 0.000 % |
30.45/30.54 c | 84299 | 1323 7910 27660 | 61406 54766 77 | 0.000 % |
30.55/30.69 c | 84609 | 1323 7910 27660 | 61406 55076 77 | 0.000 % |
30.85/30.95 c | 84948 | 1323 7910 27660 | 61406 55415 77 | 0.000 % |
31.25/31.35 c | 85320 | 1323 7910 27660 | 61406 55787 77 | 0.000 % |
31.55/31.60 c | 85729 | 1323 7910 27660 | 61406 56196 77 | 0.000 % |
31.95/32.02 c | 86178 | 1323 7910 27660 | 61406 56645 77 | 0.000 % |
32.35/32.43 c | 86671 | 1323 7910 27660 | 61406 57138 77 | 0.000 % |
32.86/32.97 c | 87213 | 1323 7910 27660 | 61406 57680 77 | 0.000 % |
33.25/33.39 c | 87809 | 1323 7910 27660 | 61406 58276 77 | 0.000 % |
33.75/33.88 c | 88464 | 1323 7910 27660 | 61406 58931 77 | 0.000 % |
34.25/34.38 c | 89184 | 1323 7910 27660 | 61406 59651 77 | 0.000 % |
34.96/35.04 c | 89976 | 1323 7910 27660 | 61406 60443 77 | 0.000 % |
35.66/35.75 c | 90848 | 1323 7910 27660 | 60467 48733 77 | 0.000 % |
36.26/36.31 c | 91806 | 1323 7910 27660 | 60467 49691 77 | 0.000 % |
36.96/37.07 c | 92860 | 1323 7910 27660 | 60467 50745 78 | 0.000 % |
37.06/37.13 c | 92960 | 1323 7910 27660 | 60467 50845 78 | 0.000 % |
37.06/37.20 c | 93071 | 1323 7910 27660 | 60467 50956 78 | 0.000 % |
37.16/37.26 c | 93193 | 1323 7910 27660 | 60467 51078 78 | 0.000 % |
37.26/37.32 c | 93328 | 1323 7910 27660 | 60467 51213 78 | 0.000 % |
37.26/37.36 c | 93475 | 1323 7910 27660 | 60467 51360 78 | 0.000 % |
37.36/37.46 c | 93635 | 1323 7910 27660 | 60467 51520 78 | 0.000 % |
37.46/37.57 c | 93811 | 1323 7910 27660 | 60467 51696 78 | 0.000 % |
37.56/37.68 c | 94004 | 1323 7910 27660 | 60467 51889 78 | 0.000 % |
37.76/37.86 c | 94217 | 1323 7910 27660 | 60467 52102 78 | 0.000 % |
37.86/37.98 c | 94451 | 1323 7910 27660 | 60467 52336 78 | 0.000 % |
37.96/38.08 c | 94707 | 1323 7910 27660 | 60467 52592 78 | 0.000 % |
38.16/38.20 c | 94990 | 1323 7910 27660 | 60467 52875 78 | 0.000 % |
38.26/38.35 c | 95299 | 1323 7910 27660 | 60467 53184 78 | 0.000 % |
38.36/38.50 c | 95639 | 1323 7910 27660 | 60467 53524 78 | 0.000 % |
38.56/38.68 c | 96011 | 1323 7910 27660 | 60467 53896 78 | 0.000 % |
38.96/39.05 c | 96420 | 1323 7910 27660 | 60467 54305 78 | 0.000 % |
39.36/39.46 c | 96869 | 1323 7910 27660 | 60467 54754 78 | 0.000 % |
39.96/40.00 c | 97362 | 1323 7910 27660 | 60467 55247 78 | 0.000 % |
40.56/40.60 c | 97905 | 1323 7910 27660 | 60467 55790 78 | 0.000 % |
40.96/41.06 c | 98501 | 1323 7910 27660 | 60467 56386 78 | 0.000 % |
41.56/41.62 c | 99157 | 1323 7910 27660 | 60467 57042 78 | 0.000 % |
42.26/42.38 c | 99878 | 1323 7910 27660 | 60467 57763 78 | 0.000 % |
43.06/43.14 c | 100670 | 1323 7910 27660 | 57885 47193 77 | 0.000 % |
43.46/43.50 c | 101541 | 1323 7910 27660 | 57885 48064 77 | 0.000 % |
44.36/44.43 c | 102500 | 1323 7910 27660 | 57885 49023 77 | 0.000 % |
44.86/44.98 c | 103555 | 1323 7910 27660 | 57885 50078 77 | 0.000 % |
45.66/45.77 c | 104714 | 1323 7910 27660 | 57885 51237 77 | 0.000 % |
45.76/45.85 c | 104814 | 1323 7910 27660 | 57885 51337 77 | 0.000 % |
45.86/45.93 c | 104924 | 1323 7910 27660 | 57885 51447 77 | 0.000 % |
45.96/46.02 c | 105047 | 1323 7910 27660 | 57885 51570 77 | 0.000 % |
46.06/46.16 c | 105180 | 1323 7910 27660 | 57885 51703 77 | 0.000 % |
46.26/46.31 c | 105326 | 1323 7910 27660 | 57885 51849 77 | 0.000 % |
46.46/46.50 c | 105488 | 1323 7910 27660 | 57885 52011 77 | 0.000 % |
46.56/46.64 c | 105664 | 1323 7910 27660 | 57885 52187 77 | 0.000 % |
46.76/46.83 c | 105857 | 1323 7910 27660 | 57885 52380 77 | 0.000 % |
46.86/46.95 c | 106069 | 1323 7910 27660 | 57885 52592 77 | 0.000 % |
47.06/47.17 c | 106302 | 1323 7910 27660 | 57885 52825 77 | 0.000 % |
47.36/47.40 c | 106559 | 1323 7910 27660 | 57885 53082 78 | 0.000 % |
47.56/47.61 c | 106840 | 1323 7910 27660 | 57885 53363 78 | 0.000 % |
47.76/47.85 c | 107150 | 1323 7910 27660 | 57885 53673 78 | 0.000 % |
48.06/48.14 c | 107490 | 1323 7910 27660 | 57885 54013 78 | 0.000 % |
48.36/48.45 c | 107862 | 1323 7910 27660 | 57885 54385 78 | 0.000 % |
48.76/48.82 c | 108271 | 1323 7910 27660 | 57885 54794 78 | 0.000 % |
49.16/49.23 c | 108720 | 1323 7910 27660 | 57885 55243 78 | 0.000 % |
49.66/49.72 c | 109214 | 1323 7910 27660 | 57885 55737 78 | 0.000 % |
50.06/50.19 c | 109756 | 1323 7910 27660 | 57885 56279 78 | 0.000 % |
50.86/50.97 c | 110353 | 1323 7910 27660 | 56523 56876 78 | 0.000 % |
51.46/51.56 c | 111008 | 1323 7910 27660 | 56523 44824 76 | 0.000 % |
52.16/52.22 c | 111729 | 1323 7910 27660 | 56523 45545 76 | 0.000 % |
52.66/52.76 c | 112522 | 1323 7910 27660 | 56523 46338 77 | 0.000 % |
53.76/53.83 c | 113394 | 1323 7910 27660 | 56523 47210 77 | 0.000 % |
54.45/54.52 c | 114352 | 1323 7910 27660 | 56523 48168 77 | 0.000 % |
55.25/55.39 c | 115405 | 1323 7910 27660 | 56523 49221 77 | 0.000 % |
55.96/56.02 c | 116563 | 1323 7910 27660 | 56523 50379 77 | 0.000 % |
56.45/56.51 c | 117836 | 1323 7910 27660 | 56523 51652 77 | 0.000 % |
56.45/56.57 c | 117937 | 1323 7910 27660 | 56523 51753 77 | 0.000 % |
56.55/56.64 c | 118047 | 1323 7910 27660 | 56523 51863 77 | 0.000 % |
56.65/56.73 c | 118168 | 1323 7910 27660 | 56523 51984 77 | 0.000 % |
56.75/56.85 c | 118301 | 1323 7910 27660 | 56523 52117 77 | 0.000 % |
56.85/57.00 c | 118448 | 1323 7910 27660 | 56523 52264 77 | 0.000 % |
57.06/57.18 c | 118608 | 1323 7910 27660 | 56523 52424 77 | 0.000 % |
57.25/57.37 c | 118785 | 1323 7910 27660 | 56523 52601 77 | 0.000 % |
57.55/57.61 c | 118978 | 1323 7910 27660 | 56523 52794 77 | 0.000 % |
57.75/57.82 c | 119190 | 1323 7910 27660 | 56523 53006 77 | 0.000 % |
58.05/58.13 c | 119423 | 1323 7910 27660 | 56523 53239 77 | 0.000 % |
58.26/58.38 c | 119680 | 1323 7910 27660 | 56523 53496 78 | 0.000 % |
58.55/58.67 c | 119961 | 1323 7910 27660 | 56523 53777 78 | 0.000 % |
58.85/58.97 c | 120271 | 1323 7910 27660 | 53818 54087 78 | 0.000 % |
59.15/59.28 c | 120610 | 1323 7910 27660 | 53818 43567 78 | 0.000 % |
59.55/59.66 c | 120983 | 1323 7910 27660 | 53818 43940 78 | 0.000 % |
59.95/60.02 c | 121392 | 1323 7910 27660 | 53818 44349 78 | 0.000 % |
60.45/60.54 c | 121841 | 1323 7910 27660 | 53818 44798 78 | 0.000 % |
61.05/61.11 c | 122334 | 1323 7910 27660 | 53818 45291 79 | 0.000 % |
61.55/61.66 c | 122876 | 1323 7910 27660 | 53818 45833 79 | 0.000 % |
62.25/62.39 c | 123472 | 1323 7910 27660 | 53818 46429 79 | 0.000 % |
63.15/63.22 c | 124128 | 1323 7910 27660 | 53818 47085 79 | 0.000 % |
63.85/63.93 c | 124848 | 1323 7910 27660 | 53818 47805 79 | 0.000 % |
64.85/64.96 c | 125640 | 1323 7910 27660 | 53818 48597 79 | 0.000 % |
65.75/65.90 c | 126512 | 1323 7910 27660 | 53818 49469 79 | 0.000 % |
66.85/66.94 c | 127471 | 1323 7910 27660 | 53818 50428 80 | 0.000 % |
67.65/67.76 c | 128524 | 1323 7910 27660 | 53818 51481 80 | 0.000 % |
68.85/68.92 c | 129682 | 1323 7910 27660 | 53818 52639 80 | 0.000 % |
70.05/70.19 c | 130956 | 1323 7910 27660 | 52957 44447 80 | 0.000 % |
71.45/71.57 c | 132356 | 1323 7910 27660 | 52957 45847 80 | 0.000 % |
71.55/71.69 c | 132457 | 1323 7910 27660 | 52957 45948 80 | 0.000 % |
71.75/71.82 c | 132567 | 1323 7910 27660 | 52957 46058 80 | 0.000 % |
71.85/71.98 c | 132688 | 1323 7910 27660 | 52957 46179 80 | 0.000 % |
71.95/72.08 c | 132821 | 1323 7910 27660 | 52957 46312 80 | 0.000 % |
72.05/72.18 c | 132968 | 1323 7910 27660 | 52957 46459 80 | 0.000 % |
72.25/72.32 c | 133128 | 1323 7910 27660 | 52957 46619 80 | 0.000 % |
72.35/72.49 c | 133305 | 1323 7910 27660 | 52957 46796 80 | 0.000 % |
72.55/72.62 c | 133500 | 1323 7910 27660 | 52957 46991 80 | 0.000 % |
72.75/72.81 c | 133712 | 1323 7910 27660 | 52957 47203 81 | 0.000 % |
72.85/72.94 c | 133946 | 1323 7910 27660 | 52957 47437 81 | 0.000 % |
73.05/73.18 c | 134202 | 1323 7910 27660 | 52957 47693 81 | 0.000 % |
73.35/73.40 c | 134484 | 1323 7910 27660 | 52957 47975 81 | 0.000 % |
73.55/73.62 c | 134793 | 1323 7910 27660 | 52957 48284 81 | 0.000 % |
73.75/73.87 c | 135133 | 1323 7910 27660 | 52957 48624 81 | 0.000 % |
74.05/74.12 c | 135506 | 1323 7910 27660 | 52957 48997 81 | 0.000 % |
74.45/74.53 c | 135915 | 1323 7910 27660 | 52957 49406 81 | 0.000 % |
74.75/74.88 c | 136364 | 1323 7910 27660 | 52957 49855 81 | 0.000 % |
75.15/75.26 c | 136857 | 1323 7910 27660 | 52957 50348 81 | 0.000 % |
75.55/75.65 c | 137400 | 1323 7910 27660 | 52957 50891 81 | 0.000 % |
75.95/76.06 c | 137996 | 1323 7910 27660 | 52957 51487 81 | 0.000 % |
76.54/76.63 c | 138653 | 1323 7910 27660 | 52957 52144 81 | 0.000 % |
77.04/77.19 c | 139374 | 1323 7910 27660 | 52957 52865 82 | 0.000 % |
77.95/78.01 c | 140166 | 1323 7910 27660 | 44346 44512 81 | 0.000 % |
78.54/78.63 c | 141037 | 1323 7910 27660 | 44346 37865 80 | 0.000 % |
79.15/79.26 c | 141995 | 1323 7910 27660 | 44346 38823 80 | 0.000 % |
79.84/79.99 c | 143049 | 1323 7910 27660 | 44346 39877 80 | 0.000 % |
80.74/80.88 c | 144208 | 1323 7910 27660 | 44346 41036 81 | 0.000 % |
81.14/81.22 c | 145481 | 1323 7910 27660 | 44346 42309 80 | 0.000 % |
81.35/81.45 c | 146883 | 1323 7910 27660 | 44346 43711 79 | 0.000 % |
81.74/81.84 c | 148423 | 1323 7910 27660 | 44346 39547 78 | 0.000 % |
81.74/81.88 c | 148525 | 1323 7910 27660 | 44346 39649 78 | 0.000 % |
81.84/81.92 c | 148636 | 1323 7910 27660 | 44346 39760 78 | 0.000 % |
81.84/81.96 c | 148758 | 1323 7910 27660 | 44346 39882 78 | 0.000 % |
81.84/81.99 c | 148891 | 1323 7910 27660 | 44346 40015 78 | 0.000 % |
81.94/82.02 c | 149038 | 1323 7910 27660 | 44346 40162 78 | 0.000 % |
81.94/82.07 c | 149199 | 1323 7910 27660 | 44346 40323 78 | 0.000 % |
82.04/82.10 c | 149375 | 1323 7910 27660 | 44346 40499 78 | 0.000 % |
82.04/82.12 c | 149568 | 1323 7910 27660 | 44346 40692 78 | 0.000 % |
82.04/82.19 c | 149780 | 1323 7910 27660 | 44346 40904 78 | 0.000 % |
82.14/82.26 c | 150013 | 1323 7910 27660 | 41124 41137 78 | 0.000 % |
82.24/82.37 c | 150269 | 1323 7910 27660 | 41124 36553 76 | 0.000 % |
82.35/82.43 c | 150550 | 1323 7910 27660 | 41124 36834 76 | 0.000 % |
82.45/82.53 c | 150860 | 1323 7910 27660 | 41124 37144 76 | 0.000 % |
82.45/82.58 c | 151199 | 1323 7910 27660 | 41124 37483 76 | 0.000 % |
82.54/82.66 c | 151571 | 1323 7910 27660 | 41124 37855 76 | 0.000 % |
82.84/82.91 c | 151981 | 1323 7910 27660 | 41124 38265 76 | 0.000 % |
83.24/83.30 c | 152433 | 1323 7910 27660 | 41124 38717 76 | 0.000 % |
83.64/83.72 c | 152926 | 1323 7910 27660 | 41124 39210 76 | 0.000 % |
84.04/84.17 c | 153468 | 1323 7910 27660 | 41124 39752 76 | 0.000 % |
84.65/84.77 c | 154066 | 1323 7910 27660 | 41124 40350 76 | 0.000 % |
85.24/85.32 c | 154722 | 1323 7910 27660 | 41124 41006 77 | 0.000 % |
85.84/85.90 c | 155442 | 1323 7910 27660 | 41124 37594 76 | 0.000 % |
86.44/86.59 c | 156234 | 1323 7910 27660 | 41124 38386 76 | 0.000 % |
87.34/87.41 c | 157105 | 1323 7910 27660 | 41124 39257 76 | 0.000 % |
88.04/88.18 c | 158063 | 1323 7910 27660 | 41124 40215 76 | 0.000 % |
89.04/89.11 c | 159117 | 1323 7910 27660 | 41124 41269 77 | 0.000 % |
89.94/90.00 c | 160275 | 1323 7910 27660 | 37895 34224 74 | 0.000 % |
90.54/90.64 c | 161548 | 1323 7910 27660 | 37895 35497 75 | 0.000 % |
91.14/91.27 c | 162948 | 1323 7910 27660 | 37895 36897 75 | 0.000 % |
92.14/92.28 c | 164488 | 1323 7910 27660 | 37895 34307 74 | 0.000 % |
93.44/93.55 c | 166182 | 1323 7910 27660 | 37895 36001 74 | 0.000 % |
93.54/93.61 c | 166283 | 1323 7910 27660 | 37895 36102 75 | 0.000 % |
93.64/93.71 c | 166394 | 1323 7910 27660 | 37895 36213 75 | 0.000 % |
93.74/93.82 c | 166515 | 1323 7910 27660 | 37895 36334 75 | 0.000 % |
93.84/93.95 c | 166648 | 1323 7910 27660 | 37895 36467 75 | 0.000 % |
93.94/94.04 c | 166795 | 1323 7910 27660 | 37895 36614 75 | 0.000 % |
94.04/94.14 c | 166955 | 1323 7910 27660 | 37895 36774 75 | 0.000 % |
94.14/94.29 c | 167132 | 1323 7910 27660 | 37895 36951 75 | 0.000 % |
94.34/94.49 c | 167325 | 1323 7910 27660 | 37895 37144 75 | 0.000 % |
94.54/94.70 c | 167538 | 1323 7910 27660 | 37895 37357 75 | 0.000 % |
94.84/94.90 c | 167771 | 1323 7910 27660 | 37895 37590 75 | 0.000 % |
94.94/95.08 c | 168027 | 1323 7910 27660 | 37895 37846 75 | 0.000 % |
95.24/95.32 c | 168309 | 1323 7910 27660 | 37895 38128 75 | 0.000 % |
95.54/95.67 c | 168619 | 1323 7910 27660 | 37895 34626 74 | 0.000 % |
95.84/95.90 c | 168958 | 1323 7910 27660 | 37895 34965 74 | 0.000 % |
96.04/96.14 c | 169331 | 1323 7910 27660 | 37895 35338 74 | 0.000 % |
96.34/96.41 c | 169740 | 1323 7910 27660 | 37895 35747 74 | 0.000 % |
96.64/96.74 c | 170190 | 1323 7910 27660 | 2147483647 36197 75 | 0.000 % |
96.94/97.03 c | 170683 | 1323 7910 27660 | 2147483647 36690 75 | 0.000 % |
97.34/97.40 c | 171225 | 1323 7910 27660 | 2147483647 37232 75 | 0.000 % |
97.64/97.78 c | 171821 | 1323 7910 27660 | 2147483647 37828 75 | 0.000 % |
98.24/98.36 c | 172477 | 1323 7910 27660 | 2147483647 38484 75 | 0.000 % |
98.54/98.63 c | 173197 | 1323 7910 27660 | 2147483647 39204 75 | 0.000 % |
98.74/98.82 c | 173990 | 1323 7910 27660 | 2147483647 39997 75 | 0.000 % |
98.94/99.02 c | 174861 | 1323 7910 27660 | 2147483647 40868 75 | 0.000 % |
99.24/99.36 c | 175819 | 1323 7910 27660 | 2147483647 41826 75 | 0.000 % |
99.74/99.84 c | 176873 | 1323 7910 27660 | 2147483647 42880 75 | 0.000 % |
100.24/100.35 c | 178032 | 1323 7910 27660 | 2147483647 44039 76 | 0.000 % |
100.84/100.99 c | 179305 | 1323 7910 27660 | 2147483647 45312 76 | 0.000 % |
101.44/101.53 c | 180705 | 1323 7910 27660 | 2147483647 46712 76 | 0.000 % |
102.14/102.29 c | 182246 | 1323 7910 27660 | 2147483647 48253 76 | 0.000 % |
102.94/103.04 c | 183940 | 1323 7910 27660 | 2147483647 49947 76 | 0.000 % |
104.14/104.23 c | 185803 | 1323 7910 27660 | 2147483647 51810 77 | 0.000 % |
104.14/104.28 c | 185904 | 1323 7910 27660 | 2147483647 51911 77 | 0.000 % |
104.24/104.35 c | 186014 | 1323 7910 27660 | 2147483647 52021 77 | 0.000 % |
104.34/104.48 c | 186135 | 1323 7910 27660 | 2147483647 52142 77 | 0.000 % |
104.54/104.62 c | 186269 | 1323 7910 27660 | 2147483647 52276 77 | 0.000 % |
104.64/104.77 c | 186415 | 1323 7910 27660 | 2147483647 52422 77 | 0.000 % |
104.84/104.94 c | 186575 | 1323 7910 27660 | 2147483647 52582 77 | 0.000 % |
104.84/104.98 c | 186753 | 1323 7910 27660 | 2147483647 52760 77 | 0.000 % |
104.94/105.03 c | 186946 | 1323 7910 27660 | 2147483647 52953 76 | 0.000 % |
104.94/105.06 c | 187158 | 1323 7910 27660 | 2147483647 53165 76 | 0.000 % |
105.04/105.10 c | 187392 | 1323 7910 27660 | 2147483647 53399 76 | 0.000 % |
105.04/105.14 c | 187649 | 1323 7910 27660 | 2147483647 53656 76 | 0.000 % |
105.04/105.19 c | 187930 | 1323 7910 27660 | 2147483647 53937 76 | 0.000 % |
105.14/105.24 c | 188239 | 1323 7910 27660 | 2147483647 54246 76 | 0.000 % |
105.24/105.32 c | 188578 | 1323 7910 27660 | 2147483647 54585 76 | 0.000 % |
105.34/105.48 c | 188952 | 1323 7910 27660 | 2147483647 54959 76 | 0.000 % |
105.54/105.60 c | 189364 | 1323 7910 27660 | 2147483647 55371 76 | 0.000 % |
105.64/105.75 c | 189813 | 1323 7910 27660 | 2147483647 55820 76 | 0.000 % |
105.84/105.98 c | 190306 | 1323 7910 27660 | 2147483647 56313 75 | 0.000 % |
106.04/106.14 c | 190850 | 1323 7910 27660 | 2147483647 56857 75 | 0.000 % |
106.24/106.39 c | 191446 | 1323 7910 27660 | 2147483647 57453 75 | 0.000 % |
106.64/106.71 c | 192101 | 1323 7910 27660 | 2147483647 58108 75 | 0.000 % |
106.93/107.03 c | 192821 | 1323 7910 27660 | 2147483647 58828 75 | 0.000 % |
107.43/107.57 c | 193613 | 1323 7910 27660 | 2147483647 59620 76 | 0.000 % |
108.43/108.53 c | 194484 | 1323 7910 27660 | 2147483647 60491 76 | 0.000 % |
109.23/109.32 c | 195444 | 1323 7910 27660 | 2147483647 61451 76 | 0.000 % |
109.73/109.85 c | 196497 | 1323 7910 27660 | 2147483647 62504 76 | 0.000 % |
110.53/110.67 c | 197657 | 1323 7910 27660 | 2147483647 63664 76 | 0.000 % |
111.44/111.53 c | 198931 | 1323 7910 27660 | 2147483647 64938 76 | 0.000 % |
112.63/112.76 c | 200332 | 1323 7910 27660 | 66008 66339 77 | 0.000 % |
114.73/114.84 c | 201873 | 1323 7910 27660 | 66008 57364 77 | 0.000 % |
116.13/116.21 c | 203568 | 1323 7910 27660 | 66008 59059 77 | 0.000 % |
118.13/118.29 c | 205431 | 1323 7910 27660 | 66008 60922 78 | 0.000 % |
119.63/119.79 c | 207480 | 1323 7910 27660 | 66008 62971 78 | 0.000 % |
119.73/119.86 c | 207580 | 1323 7910 27660 | 66008 63071 78 | 0.000 % |
119.83/119.90 c | 207690 | 1323 7910 27660 | 66008 63181 78 | 0.000 % |
119.83/119.97 c | 207811 | 1323 7910 27660 | 66008 63302 78 | 0.000 % |
119.93/120.05 c | 207944 | 1323 7910 27660 | 66008 63435 78 | 0.000 % |
120.03/120.12 c | 208091 | 1323 7910 27660 | 66008 63582 78 | 0.000 % |
120.13/120.29 c | 208252 | 1323 7910 27660 | 66008 63743 78 | 0.000 % |
120.33/120.47 c | 208429 | 1323 7910 27660 | 66008 63920 78 | 0.000 % |
120.43/120.58 c | 208624 | 1323 7910 27660 | 66008 64115 78 | 0.000 % |
120.63/120.70 c | 208838 | 1323 7910 27660 | 66008 64329 78 | 0.000 % |
120.73/120.82 c | 209071 | 1323 7910 27660 | 66008 64562 78 | 0.000 % |
120.83/120.95 c | 209328 | 1323 7910 27660 | 66008 64819 78 | 0.000 % |
120.94/121.03 c | 209609 | 1323 7910 27660 | 66008 65100 78 | 0.000 % |
121.03/121.14 c | 209919 | 1323 7910 27660 | 66008 65410 78 | 0.000 % |
121.33/121.47 c | 210259 | 1323 7910 27660 | 65491 52788 76 | 0.000 % |
121.43/121.59 c | 210631 | 1323 7910 27660 | 65491 53160 76 | 0.000 % |
121.63/121.79 c | 211040 | 1323 7910 27660 | 65491 53569 76 | 0.000 % |
121.94/122.05 c | 211489 | 1323 7910 27660 | 65491 54018 76 | 0.000 % |
122.23/122.37 c | 211982 | 1323 7910 27660 | 65491 54511 76 | 0.000 % |
122.53/122.68 c | 212526 | 1323 7910 27660 | 65491 55055 76 | 0.000 % |
123.23/123.34 c | 213123 | 1323 7910 27660 | 65491 55652 76 | 0.000 % |
123.93/124.01 c | 213778 | 1323 7910 27660 | 65491 56307 77 | 0.000 % |
124.24/124.33 c | 214499 | 1323 7910 27660 | 65491 57028 77 | 0.000 % |
124.53/124.65 c | 215292 | 1323 7910 27660 | 65491 57821 77 | 0.000 % |
124.93/125.00 c | 216163 | 1323 7910 27660 | 65491 58692 77 | 0.000 % |
125.43/125.56 c | 217121 | 1323 7910 27660 | 65491 59650 77 | 0.000 % |
126.63/126.78 c | 218174 | 1323 7910 27660 | 65491 60703 77 | 0.000 % |
127.73/127.85 c | 219332 | 1323 7910 27660 | 65491 61861 77 | 0.000 % |
129.03/129.14 c | 220606 | 1323 7910 27660 | 62532 52108 76 | 0.000 % |
130.23/130.31 c | 222008 | 1323 7910 27660 | 62532 53510 76 | 0.000 % |
131.13/131.27 c | 223548 | 1323 7910 27660 | 62532 55050 77 | 0.000 % |
132.13/132.28 c | 225242 | 1323 7910 27660 | 62532 56744 77 | 0.000 % |
133.13/133.26 c | 227105 | 1323 7910 27660 | 62532 58607 77 | 0.000 % |
134.33/134.45 c | 229155 | 1323 7910 27660 | 62532 60657 77 | 0.000 % |
136.73/136.87 c | 231408 | 1323 7910 27660 | 61503 52139 76 | 0.000 % |
136.83/136.93 c | 231508 | 1323 7910 27660 | 61503 52239 76 | 0.000 % |
136.93/137.04 c | 231620 | 1323 7910 27660 | 61503 52351 76 | 0.000 % |
137.03/137.11 c | 231741 | 1323 7910 27660 | 61503 52472 76 | 0.000 % |
137.03/137.16 c | 231875 | 1323 7910 27660 | 61503 52606 76 | 0.000 % |
137.13/137.25 c | 232022 | 1323 7910 27660 | 61503 52753 76 | 0.000 % |
137.33/137.40 c | 232182 | 1323 7910 27660 | 61503 52913 76 | 0.000 % |
137.43/137.50 c | 232358 | 1323 7910 27660 | 61503 53089 76 | 0.000 % |
137.53/137.63 c | 232551 | 1323 7910 27660 | 61503 53282 76 | 0.000 % |
137.63/137.76 c | 232763 | 1323 7910 27660 | 61503 53494 76 | 0.000 % |
137.73/137.84 c | 232998 | 1323 7910 27660 | 61503 53729 76 | 0.000 % |
137.83/137.90 c | 233254 | 1323 7910 27660 | 61503 53985 76 | 0.000 % |
137.83/137.96 c | 233535 | 1323 7910 27660 | 61503 54266 76 | 0.000 % |
137.93/138.02 c | 233844 | 1323 7910 27660 | 61503 54575 76 | 0.000 % |
138.03/138.18 c | 234184 | 1323 7910 27660 | 61503 54915 76 | 0.000 % |
138.23/138.39 c | 234556 | 1323 7910 27660 | 61503 55287 76 | 0.000 % |
138.43/138.55 c | 234965 | 1323 7910 27660 | 61503 55696 76 | 0.000 % |
138.62/138.76 c | 235414 | 1323 7910 27660 | 61503 56145 76 | 0.000 % |
138.92/139.02 c | 235908 | 1323 7910 27660 | 61503 56639 76 | 0.000 % |
139.12/139.27 c | 236450 | 1323 7910 27660 | 61503 57181 76 | 0.000 % |
139.42/139.55 c | 237046 | 1323 7910 27660 | 61503 57777 76 | 0.000 % |
139.82/139.97 c | 237703 | 1323 7910 27660 | 61503 58434 76 | 0.000 % |
140.32/140.40 c | 238423 | 1323 7910 27660 | 61503 59154 76 | 0.000 % |
140.63/140.77 c | 239216 | 1323 7910 27660 | 61503 59947 76 | 0.000 % |
141.22/141.32 c | 240087 | 1323 7910 27660 | 60732 60818 76 | 0.000 % |
142.22/142.36 c | 241047 | 1323 7910 27660 | 60732 51320 77 | 0.000 % |
142.93/143.03 c | 242101 | 1323 7910 27660 | 60732 52374 77 | 0.000 % |
143.82/143.93 c | 243260 | 1323 7910 27660 | 60732 53533 77 | 0.000 % |
144.52/144.62 c | 244534 | 1323 7910 27660 | 60732 54807 77 | 0.000 % |
145.72/145.82 c | 245935 | 1323 7910 27660 | 60732 56208 77 | 0.000 % |
146.52/146.64 c | 247477 | 1323 7910 27660 | 60732 57750 77 | 0.000 % |
148.22/148.36 c | 249172 | 1323 7910 27660 | 60732 59445 77 | 0.000 % |
150.12/150.29 c | 251035 | 1323 7910 27660 | 60273 48299 76 | 0.000 % |
151.82/151.96 c | 253084 | 1323 7910 27660 | 60273 50348 76 | 0.000 % |
153.72/153.81 c | 255337 | 1323 7910 27660 | 60273 52601 77 | 0.000 % |
156.02/156.10 c | 257816 | 1323 7910 27660 | 60273 55080 78 | 0.000 % |
156.02/156.19 c | 257916 | 1323 7910 27660 | 60273 55180 78 | 0.000 % |
156.12/156.26 c | 258026 | 1323 7910 27660 | 60273 55290 78 | 0.000 % |
156.22/156.37 c | 258147 | 1323 7910 27660 | 60273 55411 78 | 0.000 % |
156.42/156.52 c | 258280 | 1323 7910 27660 | 60273 55544 78 | 0.000 % |
156.52/156.62 c | 258426 | 1323 7910 27660 | 60273 55690 78 | 0.000 % |
156.62/156.73 c | 258586 | 1323 7910 27660 | 60273 55850 78 | 0.000 % |
156.82/156.96 c | 258762 | 1323 7910 27660 | 60273 56026 78 | 0.000 % |
157.02/157.18 c | 258956 | 1323 7910 27660 | 60273 56220 78 | 0.000 % |
157.32/157.42 c | 259169 | 1323 7910 27660 | 60273 56433 78 | 0.000 % |
157.52/157.64 c | 259402 | 1323 7910 27660 | 60273 56666 78 | 0.000 % |
157.82/157.91 c | 259660 | 1323 7910 27660 | 60273 56924 78 | 0.000 % |
158.02/158.17 c | 259941 | 1323 7910 27660 | 60273 57205 78 | 0.000 % |
158.32/158.42 c | 260251 | 1323 7910 27660 | 57265 57515 78 | 0.000 % |
158.71/158.88 c | 260592 | 1323 7910 27660 | 57265 45315 77 | 0.000 % |
158.81/158.98 c | 260964 | 1323 7910 27660 | 57265 45687 77 | 0.000 % |
159.21/159.31 c | 261373 | 1323 7910 27660 | 57265 46096 77 | 0.000 % |
159.51/159.65 c | 261823 | 1323 7910 27660 | 57265 46546 78 | 0.000 % |
159.91/160.09 c | 262316 | 1323 7910 27660 | 57265 47039 78 | 0.000 % |
160.52/160.66 c | 262858 | 1323 7910 27660 | 57265 47581 78 | 0.000 % |
161.11/161.21 c | 263455 | 1323 7910 27660 | 57265 48178 78 | 0.000 % |
161.71/161.84 c | 264110 | 1323 7910 27660 | 57265 48833 78 | 0.000 % |
162.51/162.64 c | 264831 | 1323 7910 27660 | 57265 49554 78 | 0.000 % |
163.41/163.53 c | 265624 | 1323 7910 27660 | 57265 50347 78 | 0.000 % |
164.51/164.63 c | 266496 | 1323 7910 27660 | 57265 51219 78 | 0.000 % |
165.31/165.41 c | 267455 | 1323 7910 27660 | 57265 52178 79 | 0.000 % |
166.31/166.49 c | 268509 | 1323 7910 27660 | 57265 53232 79 | 0.000 % |
167.31/167.47 c | 269667 | 1323 7910 27660 | 57265 54390 79 | 0.000 % |
168.61/168.74 c | 270941 | 1323 7910 27660 | 54723 44522 78 | 0.000 % |
169.81/169.95 c | 272341 | 1323 7910 27660 | 54723 45922 79 | 0.000 % |
171.61/171.77 c | 273881 | 1323 7910 27660 | 54723 47462 79 | 0.000 % |
173.61/173.73 c | 275575 | 1323 7910 27660 | 54723 49156 79 | 0.000 % |
174.51/174.68 c | 277438 | 1323 7910 27660 | 54723 51019 79 | 0.000 % |
175.31/175.48 c | 279487 | 1323 7910 27660 | 54723 53068 79 | 0.000 % |
176.51/176.65 c | 281741 | 1323 7910 27660 | 53582 45884 80 | 0.000 % |
177.81/177.95 c | 284219 | 1323 7910 27660 | 53582 48362 80 | 0.000 % |
179.81/180.00 c | 286944 | 1323 7910 27660 | 53582 51087 81 | 0.000 % |
179.91/180.09 c | 287044 | 1323 7910 27660 | 53582 51187 81 | 0.000 % |
180.11/180.20 c | 287155 | 1323 7910 27660 | 53582 51298 81 | 0.000 % |
180.11/180.29 c | 287277 | 1323 7910 27660 | 53582 51420 81 | 0.000 % |
180.21/180.38 c | 287410 | 1323 7910 27660 | 53582 51553 81 | 0.000 % |
180.31/180.49 c | 287556 | 1323 7910 27660 | 53582 51699 81 | 0.000 % |
180.61/180.70 c | 287717 | 1323 7910 27660 | 53582 51860 81 | 0.000 % |
180.81/180.91 c | 287893 | 1323 7910 27660 | 53582 52036 81 | 0.000 % |
180.91/181.06 c | 288087 | 1323 7910 27660 | 53582 52230 81 | 0.000 % |
181.01/181.14 c | 288300 | 1323 7910 27660 | 53582 52443 81 | 0.000 % |
181.11/181.22 c | 288533 | 1323 7910 27660 | 53582 52676 81 | 0.000 % |
181.31/181.41 c | 288790 | 1323 7910 27660 | 53582 52933 81 | 0.000 % |
181.41/181.54 c | 289071 | 1323 7910 27660 | 53582 53214 81 | 0.000 % |
181.61/181.71 c | 289380 | 1323 7910 27660 | 53582 53523 81 | 0.000 % |
181.81/181.93 c | 289720 | 1323 7910 27660 | 53582 53863 81 | 0.000 % |
182.11/182.22 c | 290092 | 1323 7910 27660 | 46118 46210 81 | 0.000 % |
182.41/182.56 c | 290501 | 1323 7910 27660 | 46118 39800 78 | 0.000 % |
182.71/182.86 c | 290951 | 1323 7910 27660 | 46118 40250 79 | 0.000 % |
183.01/183.20 c | 291444 | 1323 7910 27660 | 46118 40743 79 | 0.000 % |
183.51/183.66 c | 291986 | 1323 7910 27660 | 46118 41285 79 | 0.000 % |
184.11/184.28 c | 292583 | 1323 7910 27660 | 46118 41882 79 | 0.000 % |
184.81/184.96 c | 293239 | 1323 7910 27660 | 46118 42538 79 | 0.000 % |
185.50/185.65 c | 293960 | 1323 7910 27660 | 46118 43259 80 | 0.000 % |
186.10/186.26 c | 294752 | 1323 7910 27660 | 46118 44051 80 | 0.000 % |
186.81/186.93 c | 295623 | 1323 7910 27660 | 46118 44922 80 | 0.000 % |
187.80/187.92 c | 296581 | 1323 7910 27660 | 46118 45880 80 | 0.000 % |
188.91/189.02 c | 297634 | 1323 7910 27660 | 46118 40480 79 | 0.000 % |
189.60/189.76 c | 298792 | 1323 7910 27660 | 46118 41638 79 | 0.000 % |
190.50/190.63 c | 300065 | 1323 7910 27660 | 42846 42911 79 | 0.000 % |
191.90/192.00 c | 301466 | 1323 7910 27660 | 42846 38496 78 | 0.000 % |
193.20/193.37 c | 303006 | 1323 7910 27660 | 42846 40036 79 | 0.000 % |
195.10/195.29 c | 304701 | 1323 7910 27660 | 42846 41731 79 | 0.000 % |
196.90/197.03 c | 306564 | 1323 7910 27660 | 42846 38043 79 | 0.000 % |
198.50/198.64 c | 308614 | 1323 7910 27660 | 42846 40093 79 | 0.000 % |
200.50/200.62 c | 310867 | 1323 7910 27660 | 41479 37030 79 | 0.000 % |
202.80/202.91 c | 313345 | 1323 7910 27660 | 41479 39508 80 | 0.000 % |
205.80/205.95 c | 316071 | 1323 7910 27660 | 41479 36259 80 | 0.000 % |
208.30/208.44 c | 319069 | 1323 7910 27660 | 41479 39257 81 | 0.000 % |
208.40/208.55 c | 319169 | 1323 7910 27660 | 41479 39357 81 | 0.000 % |
208.50/208.64 c | 319279 | 1323 7910 27660 | 41479 39467 81 | 0.000 % |
208.60/208.74 c | 319402 | 1323 7910 27660 | 41479 39590 81 | 0.000 % |
208.70/208.88 c | 319535 | 1323 7910 27660 | 41479 39723 81 | 0.000 % |
208.90/209.01 c | 319681 | 1323 7910 27660 | 41479 39869 81 | 0.000 % |
209.00/209.12 c | 319841 | 1323 7910 27660 | 41479 40029 81 | 0.000 % |
209.10/209.28 c | 320018 | 1323 7910 27660 | 40189 40206 81 | 0.000 % |
209.30/209.48 c | 320211 | 1323 7910 27660 | 40189 34723 81 | 0.000 % |
209.50/209.60 c | 320424 | 1323 7910 27660 | 40189 34936 81 | 0.000 % |
209.60/209.77 c | 320657 | 1323 7910 27660 | 40189 35169 81 | 0.000 % |
209.79/209.98 c | 320914 | 1323 7910 27660 | 40189 35426 81 | 0.000 % |
210.09/210.23 c | 321195 | 1323 7910 27660 | 40189 35707 82 | 0.000 % |
210.29/210.45 c | 321504 | 1323 7910 27660 | 40189 36016 82 | 0.000 % |
210.59/210.75 c | 321845 | 1323 7910 27660 | 40189 36357 82 | 0.000 % |
210.89/211.02 c | 322219 | 1323 7910 27660 | 40189 36731 82 | 0.000 % |
211.29/211.40 c | 322630 | 1323 7910 27660 | 40189 37142 82 | 0.000 % |
211.59/211.71 c | 323079 | 1323 7910 27660 | 40189 37591 82 | 0.000 % |
211.69/211.82 c | 323573 | 1323 7910 27660 | 40189 38085 82 | 0.000 % |
211.79/211.95 c | 324117 | 1323 7910 27660 | 40189 38629 81 | 0.000 % |
211.89/212.07 c | 324713 | 1323 7910 27660 | 40189 39225 81 | 0.000 % |
212.09/212.28 c | 325368 | 1323 7910 27660 | 40189 39880 81 | 0.000 % |
212.29/212.47 c | 326090 | 1323 7910 27660 | 40189 36558 80 | 0.000 % |
212.59/212.72 c | 326883 | 1323 7910 27660 | 40189 37351 79 | 0.000 % |
212.79/212.90 c | 327754 | 1323 7910 27660 | 40189 38222 79 | 0.000 % |
212.99/213.16 c | 328713 | 1323 7910 27660 | 40189 39181 79 | 0.000 % |
213.49/213.60 c | 329768 | 1323 7910 27660 | 40189 40236 79 | 0.000 % |
214.19/214.34 c | 330926 | 1323 7910 27660 | 2147483647 37371 78 | 0.000 % |
214.69/214.86 c | 332199 | 1323 7910 27660 | 2147483647 38644 78 | 0.000 % |
215.19/215.39 c | 333600 | 1323 7910 27660 | 2147483647 40045 78 | 0.000 % |
216.19/216.33 c | 335141 | 1323 7910 27660 | 2147483647 41586 78 | 0.000 % |
217.39/217.58 c | 336835 | 1323 7910 27660 | 2147483647 43280 79 | 0.000 % |
219.09/219.21 c | 338698 | 1323 7910 27660 | 2147483647 45143 79 | 0.000 % |
220.49/220.65 c | 340748 | 1323 7910 27660 | 2147483647 47193 79 | 0.000 % |
222.09/222.26 c | 343002 | 1323 7910 27660 | 2147483647 49447 80 | 0.000 % |
223.39/223.55 c | 345480 | 1323 7910 27660 | 2147483647 51925 80 | 0.000 % |
224.99/225.15 c | 348206 | 1323 7910 27660 | 2147483647 54651 80 | 0.000 % |
226.59/226.74 c | 351203 | 1323 7910 27660 | 56445 51782 79 | 0.000 % |
228.49/228.70 c | 354499 | 1323 7910 27660 | 56445 55078 79 | 0.000 % |
228.59/228.75 c | 354600 | 1323 7910 27660 | 56445 55179 79 | 0.000 % |
228.69/228.84 c | 354710 | 1323 7910 27660 | 56445 55289 79 | 0.000 % |
228.79/228.92 c | 354832 | 1323 7910 27660 | 56445 55411 79 | 0.000 % |
228.79/228.99 c | 354966 | 1323 7910 27660 | 56445 55545 79 | 0.000 % |
228.99/229.11 c | 355112 | 1323 7910 27660 | 56445 55691 79 | 0.000 % |
229.09/229.24 c | 355272 | 1323 7910 27660 | 56445 55851 79 | 0.000 % |
229.29/229.40 c | 355448 | 1323 7910 27660 | 56445 56027 79 | 0.000 % |
229.29/229.50 c | 355642 | 1323 7910 27660 | 56445 56221 79 | 0.000 % |
229.49/229.63 c | 355854 | 1323 7910 27660 | 56445 56433 79 | 0.000 % |
229.69/229.87 c | 356087 | 1323 7910 27660 | 56445 49780 77 | 0.000 % |
229.89/230.06 c | 356345 | 1323 7910 27660 | 56445 50038 77 | 0.000 % |
230.09/230.24 c | 356626 | 1323 7910 27660 | 56445 50319 77 | 0.000 % |
230.29/230.46 c | 356936 | 1323 7910 27660 | 56445 50629 77 | 0.000 % |
230.39/230.59 c | 357275 | 1323 7910 27660 | 56445 50968 77 | 0.000 % |
230.59/230.76 c | 357647 | 1323 7910 27660 | 56445 51340 77 | 0.000 % |
230.79/230.96 c | 358057 | 1323 7910 27660 | 56445 51750 77 | 0.000 % |
231.09/231.23 c | 358506 | 1323 7910 27660 | 56445 52199 77 | 0.000 % |
231.69/231.83 c | 358999 | 1323 7910 27660 | 56445 52692 77 | 0.000 % |
232.39/232.51 c | 359541 | 1323 7910 27660 | 56445 53234 78 | 0.000 % |
232.79/232.97 c | 360137 | 1323 7910 27660 | 53693 53830 78 | 0.000 % |
233.39/233.58 c | 360793 | 1323 7910 27660 | 53693 46790 76 | 0.000 % |
233.99/234.13 c | 361513 | 1323 7910 27660 | 53693 47510 76 | 0.000 % |
234.49/234.62 c | 362306 | 1323 7910 27660 | 53693 48303 76 | 0.000 % |
235.09/235.25 c | 363178 | 1323 7910 27660 | 53693 49175 77 | 0.000 % |
235.69/235.83 c | 364136 | 1323 7910 27660 | 53693 50133 77 | 0.000 % |
236.48/236.61 c | 365189 | 1323 7910 27660 | 53693 51186 77 | 0.000 % |
237.28/237.48 c | 366347 | 1323 7910 27660 | 53693 52344 77 | 0.000 % |
238.49/238.68 c | 367621 | 1323 7910 27660 | 53693 53618 78 | 0.000 % |
240.18/240.30 c | 369021 | 1323 7910 27660 | 53693 46275 78 | 0.000 % |
241.48/241.64 c | 370562 | 1323 7910 27660 | 47254 40265 77 | 0.000 % |
242.89/243.08 c | 372257 | 1323 7910 27660 | 47254 41960 77 | 0.000 % |
244.68/244.81 c | 374121 | 1323 7910 27660 | 47254 43824 78 | 0.000 % |
246.48/246.67 c | 376170 | 1323 7910 27660 | 47254 45873 78 | 0.000 % |
249.08/249.27 c | 378423 | 1323 7910 27660 | 47254 41202 78 | 0.000 % |
251.28/251.49 c | 380901 | 1323 7910 27660 | 42781 37654 78 | 0.000 % |
253.38/253.58 c | 383626 | 1323 7910 27660 | 42781 40379 79 | 0.000 % |
256.38/256.55 c | 386623 | 1323 7910 27660 | 42781 38128 79 | 0.000 % |
259.18/259.32 c | 389920 | 1323 7910 27660 | 42781 41425 80 | 0.000 % |
262.78/262.91 c | 393545 | 1323 7910 27660 | 41506 39887 82 | 0.000 % |
262.88/263.01 c | 393645 | 1323 7910 27660 | 41506 39987 82 | 0.000 % |
262.98/263.10 c | 393756 | 1323 7910 27660 | 41506 40098 82 | 0.000 % |
262.98/263.16 c | 393877 | 1323 7910 27660 | 41506 40219 82 | 0.000 % |
263.08/263.24 c | 394011 | 1323 7910 27660 | 41506 40353 82 | 0.000 % |
263.08/263.28 c | 394158 | 1323 7910 27660 | 41506 40500 81 | 0.000 % |
263.18/263.32 c | 394319 | 1323 7910 27660 | 41506 40661 81 | 0.000 % |
263.18/263.38 c | 394496 | 1323 7910 27660 | 41506 40838 81 | 0.000 % |
263.27/263.43 c | 394689 | 1323 7910 27660 | 41506 41031 81 | 0.000 % |
263.37/263.50 c | 394901 | 1323 7910 27660 | 41506 41243 81 | 0.000 % |
263.47/263.61 c | 395135 | 1323 7910 27660 | 41506 41477 81 | 0.000 % |
263.57/263.76 c | 395391 | 1323 7910 27660 | 41506 36974 81 | 0.000 % |
263.67/263.89 c | 395673 | 1323 7910 27660 | 41506 37256 81 | 0.000 % |
263.88/264.04 c | 395982 | 1323 7910 27660 | 41506 37565 81 | 0.000 % |
263.97/264.15 c | 396321 | 1323 7910 27660 | 41506 37904 81 | 0.000 % |
264.17/264.32 c | 396694 | 1323 7910 27660 | 41506 38277 81 | 0.000 % |
264.27/264.49 c | 397104 | 1323 7910 27660 | 41506 38687 81 | 0.000 % |
264.47/264.69 c | 397555 | 1323 7910 27660 | 41506 39138 81 | 0.000 % |
264.67/264.84 c | 398048 | 1323 7910 27660 | 41506 39631 81 | 0.000 % |
264.88/265.04 c | 398591 | 1323 7910 27660 | 41506 40174 80 | 0.000 % |
265.07/265.20 c | 399187 | 1323 7910 27660 | 41506 40770 80 | 0.000 % |
265.17/265.39 c | 399842 | 1323 7910 27660 | 41506 41425 80 | 0.000 % |
265.47/265.64 c | 400562 | 1323 7910 27660 | 2147483647 42145 80 | 0.000 % |
265.77/265.91 c | 401354 | 1323 7910 27660 | 2147483647 42937 80 | 0.000 % |
265.98/266.19 c | 402225 | 1323 7910 27660 | 2147483647 43808 80 | 0.000 % |
266.37/266.59 c | 403184 | 1323 7910 27660 | 2147483647 44767 80 | 0.000 % |
266.97/267.11 c | 404238 | 1323 7910 27660 | 2147483647 45821 80 | 0.000 % |
267.37/267.59 c | 405398 | 1323 7910 27660 | 2147483647 46981 80 | 0.000 % |
268.07/268.21 c | 406671 | 1323 7910 27660 | 2147483647 48254 80 | 0.000 % |
269.07/269.20 c | 408073 | 1323 7910 27660 | 2147483647 49656 80 | 0.000 % |
270.07/270.27 c | 409614 | 1323 7910 27660 | 2147483647 51197 81 | 0.000 % |
270.87/271.06 c | 411308 | 1323 7910 27660 | 2147483647 52891 81 | 0.000 % |
272.07/272.28 c | 413171 | 1323 7910 27660 | 2147483647 54754 81 | 0.000 % |
273.57/273.72 c | 415221 | 1323 7910 27660 | 2147483647 56804 81 | 0.000 % |
274.68/274.80 c | 417475 | 1323 7910 27660 | 2147483647 59058 81 | 0.000 % |
275.67/275.84 c | 419953 | 1323 7910 27660 | 2147483647 61536 80 | 0.000 % |
276.37/276.58 c | 422678 | 1323 7910 27660 | 61583 56854 78 | 0.000 % |
277.27/277.40 c | 425676 | 1323 7910 27660 | 61583 59852 77 | 0.000 % |
279.07/279.20 c | 428974 | 1323 7910 27660 | 61583 55159 76 | 0.000 % |
280.97/281.10 c | 432599 | 1323 7910 27660 | 56185 51678 75 | 0.000 % |
282.58/282.78 c | 436586 | 1323 7910 27660 | 56185 55665 75 | 0.000 % |
282.67/282.82 c | 436687 | 1323 7910 27660 | 56185 55766 75 | 0.000 % |
282.67/282.84 c | 436798 | 1323 7910 27660 | 56185 55877 75 | 0.000 % |
282.67/282.87 c | 436921 | 1323 7910 27660 | 56185 56000 75 | 0.000 % |
282.77/282.91 c | 437054 | 1323 7910 27660 | 56185 56133 74 | 0.000 % |
282.77/282.96 c | 437201 | 1323 7910 27660 | 56185 56280 74 | 0.000 % |
282.87/283.05 c | 437362 | 1323 7910 27660 | 56185 50437 73 | 0.000 % |
282.87/283.10 c | 437538 | 1323 7910 27660 | 56185 50613 73 | 0.000 % |
283.07/283.25 c | 437731 | 1323 7910 27660 | 56185 50806 73 | 0.000 % |
283.17/283.34 c | 437944 | 1323 7910 27660 | 56185 51019 73 | 0.000 % |
283.27/283.45 c | 438178 | 1323 7910 27660 | 56185 51253 73 | 0.000 % |
283.37/283.59 c | 438434 | 1323 7910 27660 | 56185 51509 73 | 0.000 % |
283.57/283.75 c | 438717 | 1323 7910 27660 | 56185 51792 73 | 0.000 % |
283.67/283.86 c | 439026 | 1323 7910 27660 | 56185 52101 73 | 0.000 % |
283.77/283.95 c | 439367 | 1323 7910 27660 | 56185 52442 73 | 0.000 % |
283.87/284.02 c | 439741 | 1323 7910 27660 | 56185 52816 73 | 0.000 % |
283.87/284.10 c | 440150 | 1323 7910 27660 | 53075 53225 73 | 0.000 % |
284.07/284.26 c | 440599 | 1323 7910 27660 | 53075 47780 72 | 0.000 % |
284.27/284.41 c | 441092 | 1323 7910 27660 | 53075 48273 72 | 0.000 % |
284.47/284.65 c | 441634 | 1323 7910 27660 | 53075 48815 72 | 0.000 % |
284.67/284.82 c | 442230 | 1323 7910 27660 | 53075 49411 72 | 0.000 % |
284.87/285.02 c | 442886 | 1323 7910 27660 | 53075 50067 72 | 0.000 % |
285.07/285.25 c | 443607 | 1323 7910 27660 | 53075 50788 72 | 0.000 % |
285.37/285.54 c | 444401 | 1323 7910 27660 | 53075 51582 72 | 0.000 % |
285.77/285.99 c | 445274 | 1323 7910 27660 | 53075 52455 72 | 0.000 % |
286.47/286.64 c | 446233 | 1323 7910 27660 | 53075 48079 72 | 0.000 % |
286.77/287.00 c | 447287 | 1323 7910 27660 | 53075 49133 72 | 0.000 % |
287.37/287.50 c | 448445 | 1323 7910 27660 | 53075 50291 72 | 0.000 % |
287.87/288.03 c | 449719 | 1323 7910 27660 | 53075 51565 72 | 0.000 % |
288.77/288.90 c | 451120 | 1323 7910 27660 | 2147483647 52966 73 | 0.000 % |
289.97/290.14 c | 452661 | 1323 7910 27660 | 2147483647 54507 73 | 0.000 % |
290.67/290.83 c | 454355 | 1323 7910 27660 | 2147483647 56201 73 | 0.000 % |
291.47/291.63 c | 456219 | 1323 7910 27660 | 2147483647 58065 73 | 0.000 % |
292.77/292.97 c | 458269 | 1323 7910 27660 | 2147483647 60115 74 | 0.000 % |
294.77/294.94 c | 460522 | 1323 7910 27660 | 61846 55155 73 | 0.000 % |
296.27/296.40 c | 463001 | 1323 7910 27660 | 61846 57634 74 | 0.000 % |
298.17/298.38 c | 465727 | 1323 7910 27660 | 61846 60360 74 | 0.000 % |
300.27/300.43 c | 468724 | 1323 7910 27660 | 61846 53357 74 | 0.000 % |
302.27/302.44 c | 472021 | 1323 7910 27660 | 54634 48172 75 | 0.000 % |
303.86/304.00 c | 475646 | 1323 7910 27660 | 54634 51797 75 | 0.000 % |
305.76/305.99 c | 479633 | 1323 7910 27660 | 54634 47898 77 | 0.000 % |
308.36/308.51 c | 484018 | 1323 7910 27660 | 48265 45698 79 | 0.000 % |
308.36/308.57 c | 484120 | 1323 7910 27660 | 48265 45800 79 | 0.000 % |
308.46/308.63 c | 484231 | 1323 7910 27660 | 48265 45911 79 | 0.000 % |
308.46/308.69 c | 484354 | 1323 7910 27660 | 48265 46034 79 | 0.000 % |
308.56/308.75 c | 484488 | 1323 7910 27660 | 48265 46168 79 | 0.000 % |
308.66/308.84 c | 484635 | 1323 7910 27660 | 48265 46315 79 | 0.000 % |
308.76/308.92 c | 484796 | 1323 7910 27660 | 48265 46476 79 | 0.000 % |
308.87/309.00 c | 484973 | 1323 7910 27660 | 48265 46653 79 | 0.000 % |
308.97/309.12 c | 485166 | 1323 7910 27660 | 48265 46846 79 | 0.000 % |
309.06/309.23 c | 485378 | 1323 7910 27660 | 48265 47058 79 | 0.000 % |
309.16/309.34 c | 485612 | 1323 7910 27660 | 48265 47292 79 | 0.000 % |
309.26/309.46 c | 485868 | 1323 7910 27660 | 48265 47548 79 | 0.000 % |
309.46/309.64 c | 486149 | 1323 7910 27660 | 48265 47829 79 | 0.000 % |
309.66/309.87 c | 486458 | 1323 7910 27660 | 48265 48138 79 | 0.000 % |
309.86/310.01 c | 486797 | 1323 7910 27660 | 48265 48477 79 | 0.000 % |
310.06/310.21 c | 487169 | 1323 7910 27660 | 48265 43906 79 | 0.000 % |
310.26/310.44 c | 487579 | 1323 7910 27660 | 48265 44316 79 | 0.000 % |
310.56/310.77 c | 488028 | 1323 7910 27660 | 48265 44765 79 | 0.000 % |
310.86/311.00 c | 488523 | 1323 7910 27660 | 48265 45260 79 | 0.000 % |
311.16/311.32 c | 489065 | 1323 7910 27660 | 48265 45802 80 | 0.000 % |
311.56/311.75 c | 489661 | 1323 7910 27660 | 48265 46398 80 | 0.000 % |
311.96/312.16 c | 490317 | 1323 7910 27660 | 46737 41752 79 | 0.000 % |
312.16/312.32 c | 491037 | 1323 7910 27660 | 46737 42472 79 | 0.000 % |
312.76/312.91 c | 491829 | 1323 7910 27660 | 46737 43264 79 | 0.000 % |
313.26/313.42 c | 492700 | 1323 7910 27660 | 46737 44135 79 | 0.000 % |
313.66/313.89 c | 493659 | 1323 7910 27660 | 46737 45094 79 | 0.000 % |
314.25/314.47 c | 494712 | 1323 7910 27660 | 46737 46147 80 | 0.000 % |
314.85/315.03 c | 495870 | 1323 7910 27660 | 46737 47305 80 | 0.000 % |
315.46/315.65 c | 497143 | 1323 7910 27660 | 46737 43479 80 | 0.000 % |
316.45/316.61 c | 498543 | 1323 7910 27660 | 46737 44879 80 | 0.000 % |
317.85/318.05 c | 500084 | 1323 7910 27660 | 46337 46420 80 | 0.000 % |
318.45/318.68 c | 501778 | 1323 7910 27660 | 46337 42931 79 | 0.000 % |
319.65/319.81 c | 503642 | 1323 7910 27660 | 46337 44795 80 | 0.000 % |
320.35/320.50 c | 505692 | 1323 7910 27660 | 46337 42178 78 | 0.000 % |
321.25/321.46 c | 507947 | 1323 7910 27660 | 46337 44433 78 | 0.000 % |
322.45/322.69 c | 510425 | 1323 7910 27660 | 2147483647 42266 78 | 0.000 % |
323.75/323.94 c | 513150 | 1323 7910 27660 | 2147483647 44991 78 | 0.000 % |
325.35/325.58 c | 516147 | 1323 7910 27660 | 2147483647 47988 79 | 0.000 % |
327.55/327.79 c | 519443 | 1323 7910 27660 | 2147483647 51284 80 | 0.000 % |
330.75/330.90 c | 523069 | 1323 7910 27660 | 2147483647 54910 80 | 0.000 % |
334.45/334.68 c | 527057 | 1323 7910 27660 | 2147483647 58898 81 | 0.000 % |
337.74/337.98 c | 531442 | 1323 7910 27660 | 61841 51114 80 | 0.000 % |
342.84/343.05 c | 536266 | 1323 7910 27660 | 61841 55938 81 | 0.000 % |
342.95/343.14 c | 536366 | 1323 7910 27660 | 61841 56038 81 | 0.000 % |
343.05/343.21 c | 536477 | 1323 7910 27660 | 61841 56149 82 | 0.000 % |
343.05/343.29 c | 536598 | 1323 7910 27660 | 61841 56270 82 | 0.000 % |
343.14/343.33 c | 536731 | 1323 7910 27660 | 61841 56403 81 | 0.000 % |
343.14/343.38 c | 536877 | 1323 7910 27660 | 61841 56549 81 | 0.000 % |
343.24/343.44 c | 537037 | 1323 7910 27660 | 61841 56709 81 | 0.000 % |
343.44/343.60 c | 537213 | 1323 7910 27660 | 61841 56885 81 | 0.000 % |
343.54/343.75 c | 537408 | 1323 7910 27660 | 61841 57080 81 | 0.000 % |
343.74/343.93 c | 537620 | 1323 7910 27660 | 61841 57292 81 | 0.000 % |
343.94/344.11 c | 537853 | 1323 7910 27660 | 61841 57525 82 | 0.000 % |
344.05/344.26 c | 538109 | 1323 7910 27660 | 61841 57781 82 | 0.000 % |
344.24/344.44 c | 538391 | 1323 7910 27660 | 61841 58063 82 | 0.000 % |
344.44/344.63 c | 538700 | 1323 7910 27660 | 61841 58372 82 | 0.000 % |
344.74/344.90 c | 539039 | 1323 7910 27660 | 61841 58711 82 | 0.000 % |
345.14/345.35 c | 539413 | 1323 7910 27660 | 61841 59085 82 | 0.000 % |
345.44/345.68 c | 539822 | 1323 7910 27660 | 61841 59494 82 | 0.000 % |
345.94/346.16 c | 540273 | 1323 7910 27660 | 59673 59945 82 | 0.000 % |
346.34/346.59 c | 540766 | 1323 7910 27660 | 59673 47330 81 | 0.000 % |
346.94/347.12 c | 541309 | 1323 7910 27660 | 59673 47873 81 | 0.000 % |
347.24/347.40 c | 541905 | 1323 7910 27660 | 59673 48469 81 | 0.000 % |
347.54/347.78 c | 542560 | 1323 7910 27660 | 59673 49124 82 | 0.000 % |
348.04/348.28 c | 543281 | 1323 7910 27660 | 59673 49845 82 | 0.000 % |
348.74/348.90 c | 544073 | 1323 7910 27660 | 59673 50637 82 | 0.000 % |
349.54/349.77 c | 544944 | 1323 7910 27660 | 59673 51508 82 | 0.000 % |
350.34/350.58 c | 545902 | 1323 7910 27660 | 59673 52466 82 | 0.000 % |
351.34/351.51 c | 546955 | 1323 7910 27660 | 59673 53519 82 | 0.000 % |
351.64/351.84 c | 548114 | 1323 7910 27660 | 59673 54678 82 | 0.000 % |
352.44/352.64 c | 549388 | 1323 7910 27660 | 59673 55952 82 | 0.000 % |
353.04/353.29 c | 550788 | 1323 7910 27660 | 56565 46871 81 | 0.000 % |
353.74/353.98 c | 552328 | 1323 7910 27660 | 56565 48411 81 | 0.000 % |
354.34/354.50 c | 554023 | 1323 7910 27660 | 56565 50106 80 | 0.000 % |
355.34/355.58 c | 555886 | 1323 7910 27660 | 56565 51969 81 | 0.000 % |
356.54/356.74 c | 557935 | 1323 7910 27660 | 56565 54018 81 | 0.000 % |
359.04/359.21 c | 560188 | 1323 7910 27660 | 56084 56271 81 | 0.000 % |
360.24/360.40 c | 562667 | 1323 7910 27660 | 56084 50133 80 | 0.000 % |
362.93/363.16 c | 565394 | 1323 7910 27660 | 56084 52860 80 | 0.000 % |
365.13/365.36 c | 568391 | 1323 7910 27660 | 56084 55857 80 | 0.000 % |
367.43/367.61 c | 571688 | 1323 7910 27660 | 47608 40977 77 | 0.000 % |
369.53/369.79 c | 575313 | 1323 7910 27660 | 47608 44602 77 | 0.000 % |
371.83/372.01 c | 579300 | 1323 7910 27660 | 47608 41778 77 | 0.000 % |
375.23/375.48 c | 583685 | 1323 7910 27660 | 42478 40284 78 | 0.000 % |
378.23/378.44 c | 588508 | 1323 7910 27660 | 42478 40088 80 | 0.000 % |
380.63/380.83 c | 593813 | 1323 7910 27660 | 41580 40884 81 | 0.000 % |
380.63/380.87 c | 593913 | 1323 7910 27660 | 41580 40984 81 | 0.000 % |
380.63/380.90 c | 594023 | 1323 7910 27660 | 41580 41094 81 | 0.000 % |
380.73/380.96 c | 594144 | 1323 7910 27660 | 41580 41215 81 | 0.000 % |
380.83/381.03 c | 594277 | 1323 7910 27660 | 41580 41348 81 | 0.000 % |
380.93/381.11 c | 594423 | 1323 7910 27660 | 41580 41494 81 | 0.000 % |
380.93/381.18 c | 594584 | 1323 7910 27660 | 41580 41655 81 | 0.000 % |
381.13/381.34 c | 594762 | 1323 7910 27660 | 41580 37668 80 | 0.000 % |
381.23/381.43 c | 594955 | 1323 7910 27660 | 41580 37861 80 | 0.000 % |
381.23/381.48 c | 595169 | 1323 7910 27660 | 41580 38075 80 | 0.000 % |
381.33/381.58 c | 595402 | 1323 7910 27660 | 41580 38308 80 | 0.000 % |
381.43/381.70 c | 595658 | 1323 7910 27660 | 41580 38564 80 | 0.000 % |
381.63/381.82 c | 595939 | 1323 7910 27660 | 41580 38845 81 | 0.000 % |
381.82/382.01 c | 596250 | 1323 7910 27660 | 41580 39156 81 | 0.000 % |
382.02/382.21 c | 596589 | 1323 7910 27660 | 41580 39495 81 | 0.000 % |
382.22/382.49 c | 596961 | 1323 7910 27660 | 41580 39867 81 | 0.000 % |
382.42/382.68 c | 597372 | 1323 7910 27660 | 41580 40278 81 | 0.000 % |
382.63/382.88 c | 597821 | 1323 7910 27660 | 41580 40727 81 | 0.000 % |
382.92/383.13 c | 598314 | 1323 7910 27660 | 41580 41220 81 | 0.000 % |
383.22/383.41 c | 598857 | 1323 7910 27660 | 41580 41763 81 | 0.000 % |
383.42/383.69 c | 599454 | 1323 7910 27660 | 41580 38184 80 | 0.000 % |
383.82/384.05 c | 600111 | 1323 7910 27660 | 2147483647 38841 80 | 0.000 % |
384.22/384.49 c | 600832 | 1323 7910 27660 | 2147483647 39562 80 | 0.000 % |
384.62/384.87 c | 601624 | 1323 7910 27660 | 2147483647 40354 80 | 0.000 % |
385.13/385.30 c | 602496 | 1323 7910 27660 | 2147483647 41226 80 | 0.000 % |
385.43/385.68 c | 603455 | 1323 7910 27660 | 2147483647 42185 80 | 0.000 % |
386.03/386.23 c | 604509 | 1323 7910 27660 | 2147483647 43239 80 | 0.000 % |
386.52/386.80 c | 605668 | 1323 7910 27660 | 2147483647 44398 80 | 0.000 % |
387.12/387.38 c | 606941 | 1323 7910 27660 | 2147483647 45671 80 | 0.000 % |
388.13/388.31 c | 608341 | 1323 7910 27660 | 2147483647 47071 81 | 0.000 % |
388.72/388.94 c | 609881 | 1323 7910 27660 | 2147483647 48611 81 | 0.000 % |
389.82/390.02 c | 611576 | 1323 7910 27660 | 2147483647 50306 81 | 0.000 % |
390.92/391.18 c | 613440 | 1323 7910 27660 | 2147483647 52170 82 | 0.000 % |
391.92/392.19 c | 615491 | 1323 7910 27660 | 2147483647 54221 81 | 0.000 % |
393.22/393.43 c | 617745 | 1323 7910 27660 | 2147483647 56475 81 | 0.000 % |
395.12/395.30 c | 620223 | 1323 7910 27660 | 58731 58953 81 | 0.000 % |
397.02/397.22 c | 622948 | 1323 7910 27660 | 58731 53421 81 | 0.000 % |
398.12/398.39 c | 625947 | 1323 7910 27660 | 58731 56420 80 | 0.000 % |
400.53/400.77 c | 629244 | 1323 7910 27660 | 58731 51305 78 | 0.000 % |
402.53/402.72 c | 632869 | 1323 7910 27660 | 52062 47730 77 | 0.000 % |
405.13/405.33 c | 636857 | 1323 7910 27660 | 52062 51718 78 | 0.000 % |
408.53/408.70 c | 641243 | 1323 7910 27660 | 48617 44452 78 | 0.000 % |
413.43/413.67 c | 646066 | 1323 7910 27660 | 48617 44021 78 | 0.000 % |
417.22/417.47 c | 651371 | 1323 7910 27660 | 47955 44296 78 | 0.000 % |
422.52/422.76 c | 657206 | 1323 7910 27660 | 47955 45319 79 | 0.000 % |
422.62/422.81 c | 657306 | 1323 7910 27660 | 47955 45419 79 | 0.000 % |
422.62/422.87 c | 657416 | 1323 7910 27660 | 47955 45529 79 | 0.000 % |
422.72/422.94 c | 657537 | 1323 7910 27660 | 47955 45650 79 | 0.000 % |
422.82/423.00 c | 657670 | 1323 7910 27660 | 47955 45783 79 | 0.000 % |
422.82/423.06 c | 657816 | 1323 7910 27660 | 47955 45929 79 | 0.000 % |
422.92/423.15 c | 657977 | 1323 7910 27660 | 47955 46090 79 | 0.000 % |
423.02/423.27 c | 658156 | 1323 7910 27660 | 47955 46269 79 | 0.000 % |
423.12/423.37 c | 658350 | 1323 7910 27660 | 47955 46463 79 | 0.000 % |
423.22/423.48 c | 658564 | 1323 7910 27660 | 47955 46677 79 | 0.000 % |
423.42/423.64 c | 658797 | 1323 7910 27660 | 47955 46910 79 | 0.000 % |
423.52/423.75 c | 659053 | 1323 7910 27660 | 47955 47166 79 | 0.000 % |
423.72/423.92 c | 659335 | 1323 7910 27660 | 47955 47448 79 | 0.000 % |
423.82/424.09 c | 659644 | 1323 7910 27660 | 47955 47757 79 | 0.000 % |
424.02/424.22 c | 659983 | 1323 7910 27660 | 47955 48096 79 | 0.000 % |
424.22/424.46 c | 660355 | 1323 7910 27660 | 2147483647 43659 79 | 0.000 % |
424.42/424.64 c | 660766 | 1323 7910 27660 | 2147483647 44070 79 | 0.000 % |
424.62/424.84 c | 661215 | 1323 7910 27660 | 2147483647 44519 79 | 0.000 % |
424.72/424.99 c | 661708 | 1323 7910 27660 | 2147483647 45012 79 | 0.000 % |
424.92/425.16 c | 662250 | 1323 7910 27660 | 2147483647 45554 79 | 0.000 % |
425.12/425.30 c | 662846 | 1323 7910 27660 | 2147483647 46150 78 | 0.000 % |
425.32/425.52 c | 663501 | 1323 7910 27660 | 2147483647 46805 78 | 0.000 % |
425.62/425.86 c | 664222 | 1323 7910 27660 | 2147483647 47526 78 | 0.000 % |
426.02/426.21 c | 665015 | 1323 7910 27660 | 2147483647 48319 78 | 0.000 % |
426.82/427.08 c | 665886 | 1323 7910 27660 | 2147483647 49190 79 | 0.000 % |
427.42/427.67 c | 666844 | 1323 7910 27660 | 2147483647 50148 79 | 0.000 % |
428.22/428.46 c | 667897 | 1323 7910 27660 | 2147483647 51201 79 | 0.000 % |
429.21/429.48 c | 669055 | 1323 7910 27660 | 2147483647 52359 79 | 0.000 % |
429.82/430.07 c | 670328 | 1323 7910 27660 | 53304 47538 79 | 0.000 % |
430.81/431.07 c | 671728 | 1323 7910 27660 | 53304 48938 79 | 0.000 % |
432.02/432.25 c | 673269 | 1323 7910 27660 | 53304 50479 79 | 0.000 % |
432.71/432.98 c | 674964 | 1323 7910 27660 | 53304 52174 79 | 0.000 % |
434.01/434.26 c | 676827 | 1323 7910 27660 | 53304 46427 78 | 0.000 % |
435.32/435.51 c | 678876 | 1323 7910 27660 | 53304 48476 79 | 0.000 % |
435.91/436.10 c | 681130 | 1323 7910 27660 | 49601 44028 76 | 0.000 % |
436.61/436.89 c | 683608 | 1323 7910 27660 | 49601 46506 76 | 0.000 % |
437.61/437.85 c | 686333 | 1323 7910 27660 | 49601 49231 76 | 0.000 % |
439.31/439.50 c | 689331 | 1323 7910 27660 | 49601 47252 76 | 0.000 % |
441.71/441.91 c | 692627 | 1323 7910 27660 | 2147483647 50548 77 | 0.000 % |
444.71/444.92 c | 696252 | 1323 7910 27660 | 2147483647 54173 78 | 0.000 % |
446.91/447.14 c | 700239 | 1323 7910 27660 | 2147483647 58160 78 | 0.000 % |
450.61/450.81 c | 704625 | 1323 7910 27660 | 2147483647 62546 79 | 0.000 % |
454.40/454.62 c | 709448 | 1323 7910 27660 | 2147483647 67369 79 | 0.000 % |
458.51/458.75 c | 714754 | 1323 7910 27660 | 67921 62081 79 | 0.000 % |
464.31/464.50 c | 720589 | 1323 7910 27660 | 67327 55177 80 | 0.000 % |
467.90/468.11 c | 727010 | 1323 7910 27660 | 67327 61598 81 | 0.000 % |
467.90/468.18 c | 727110 | 1323 7910 27660 | 67327 61698 81 | 0.000 % |
468.00/468.25 c | 727221 | 1323 7910 27660 | 67327 61809 81 | 0.000 % |
468.10/468.32 c | 727343 | 1323 7910 27660 | 67327 61931 81 | 0.000 % |
468.20/468.42 c | 727476 | 1323 7910 27660 | 67327 62064 81 | 0.000 % |
468.20/468.45 c | 727623 | 1323 7910 27660 | 67327 62211 81 | 0.000 % |
468.31/468.53 c | 727784 | 1323 7910 27660 | 67327 62372 81 | 0.000 % |
468.41/468.61 c | 727961 | 1323 7910 27660 | 67327 62549 81 | 0.000 % |
468.41/468.68 c | 728155 | 1323 7910 27660 | 67327 62743 81 | 0.000 % |
468.50/468.78 c | 728367 | 1323 7910 27660 | 67327 62955 81 | 0.000 % |
468.70/468.96 c | 728601 | 1323 7910 27660 | 67327 63189 81 | 0.000 % |
468.90/469.13 c | 728857 | 1323 7910 27660 | 67327 63445 81 | 0.000 % |
469.00/469.28 c | 729139 | 1323 7910 27660 | 67327 63727 81 | 0.000 % |
469.30/469.52 c | 729448 | 1323 7910 27660 | 67327 64036 81 | 0.000 % |
469.60/469.81 c | 729789 | 1323 7910 27660 | 67327 64377 81 | 0.000 % |
469.70/469.99 c | 730162 | 1323 7910 27660 | 64588 64750 81 | 0.000 % |
470.10/470.34 c | 730573 | 1323 7910 27660 | 64588 53215 81 | 0.000 % |
470.30/470.56 c | 731024 | 1323 7910 27660 | 64588 53666 81 | 0.000 % |
470.51/470.80 c | 731517 | 1323 7910 27660 | 64588 54159 81 | 0.000 % |
470.90/471.10 c | 732059 | 1323 7910 27660 | 64588 54701 81 | 0.000 % |
471.30/471.58 c | 732655 | 1323 7910 27660 | 64588 55297 81 | 0.000 % |
471.71/471.90 c | 733310 | 1323 7910 27660 | 64588 55952 81 | 0.000 % |
472.00/472.28 c | 734030 | 1323 7910 27660 | 64588 56672 81 | 0.000 % |
472.40/472.67 c | 734823 | 1323 7910 27660 | 64588 57465 81 | 0.000 % |
473.10/473.30 c | 735694 | 1323 7910 27660 | 64588 58336 82 | 0.000 % |
473.70/473.99 c | 736652 | 1323 7910 27660 | 64588 59294 82 | 0.000 % |
474.50/474.74 c | 737705 | 1323 7910 27660 | 64588 60347 82 | 0.000 % |
475.10/475.33 c | 738864 | 1323 7910 27660 | 64588 61506 82 | 0.000 % |
476.00/476.23 c | 740138 | 1323 7910 27660 | 62642 62780 82 | 0.000 % |
476.90/477.12 c | 741538 | 1323 7910 27660 | 62642 52622 82 | 0.000 % |
477.80/478.08 c | 743079 | 1323 7910 27660 | 62642 54163 82 | 0.000 % |
478.50/478.78 c | 744774 | 1323 7910 27660 | 62642 55858 82 | 0.000 % |
480.10/480.37 c | 746638 | 1323 7910 27660 | 62642 57722 82 | 0.000 % |
481.90/482.17 c | 748687 | 1323 7910 27660 | 62642 59771 82 | 0.000 % |
483.60/483.88 c | 750940 | 1323 7910 27660 | 61084 51011 81 | 0.000 % |
485.10/485.32 c | 753418 | 1323 7910 27660 | 61084 53489 81 | 0.000 % |
486.80/487.05 c | 756143 | 1323 7910 27660 | 61084 56214 81 | 0.000 % |
488.90/489.10 c | 759140 | 1323 7910 27660 | 61084 59211 81 | 0.000 % |
491.60/491.88 c | 762437 | 1323 7910 27660 | 60072 49178 80 | 0.000 % |
494.49/494.76 c | 766062 | 1323 7910 27660 | 60072 52803 81 | 0.000 % |
497.09/497.33 c | 770050 | 1323 7910 27660 | 56742 56791 81 | 0.000 % |
501.59/501.82 c | 774435 | 1323 7910 27660 | 56742 50594 81 | 0.000 % |
504.49/504.79 c | 779258 | 1323 7910 27660 | 56742 55417 81 | 0.000 % |
508.59/508.83 c | 784563 | 1323 7910 27660 | 56160 49239 80 | 0.000 % |
511.19/511.44 c | 790399 | 1323 7910 27660 | 54677 55075 79 | 0.000 % |
516.89/517.12 c | 796818 | 1323 7910 27660 | 54677 50022 78 | 0.000 % |
522.19/522.49 c | 803880 | 1323 7910 27660 | 53205 45987 78 | 0.000 % |
522.29/522.55 c | 803982 | 1323 7910 27660 | 53205 46089 78 | 0.000 % |
522.38/522.62 c | 804092 | 1323 7910 27660 | 53205 46199 78 | 0.000 % |
522.48/522.70 c | 804215 | 1323 7910 27660 | 53205 46322 78 | 0.000 % |
522.48/522.79 c | 804350 | 1323 7910 27660 | 53205 46457 78 | 0.000 % |
522.58/522.86 c | 804497 | 1323 7910 27660 | 53205 46604 78 | 0.000 % |
522.68/522.94 c | 804658 | 1323 7910 27660 | 53205 46765 78 | 0.000 % |
522.78/523.03 c | 804836 | 1323 7910 27660 | 53205 46943 78 | 0.000 % |
522.88/523.15 c | 805030 | 1323 7910 27660 | 53205 47137 79 | 0.000 % |
523.08/523.36 c | 805242 | 1323 7910 27660 | 53205 47349 79 | 0.000 % |
523.29/523.52 c | 805475 | 1323 7910 27660 | 53205 47582 79 | 0.000 % |
523.48/523.70 c | 805731 | 1323 7910 27660 | 53205 47838 79 | 0.000 % |
523.58/523.82 c | 806013 | 1323 7910 27660 | 53205 48120 79 | 0.000 % |
523.78/524.01 c | 806323 | 1323 7910 27660 | 53205 48430 79 | 0.000 % |
523.88/524.18 c | 806663 | 1323 7910 27660 | 53205 48770 79 | 0.000 % |
524.08/524.39 c | 807036 | 1323 7910 27660 | 53205 49143 79 | 0.000 % |
524.49/524.76 c | 807445 | 1323 7910 27660 | 53205 49552 79 | 0.000 % |
524.78/525.01 c | 807896 | 1323 7910 27660 | 53205 50003 79 | 0.000 % |
525.08/525.38 c | 808391 | 1323 7910 27660 | 53205 50498 79 | 0.000 % |
525.48/525.80 c | 808933 | 1323 7910 27660 | 53205 51040 79 | 0.000 % |
525.98/526.24 c | 809529 | 1323 7910 27660 | 53205 51636 79 | 0.000 % |
526.48/526.70 c | 810185 | 1323 7910 27660 | 52108 52292 79 | 0.000 % |
526.78/527.09 c | 810905 | 1323 7910 27660 | 52108 43992 79 | 0.000 % |
527.28/527.54 c | 811698 | 1323 7910 27660 | 52108 44785 79 | 0.000 % |
527.78/528.02 c | 812569 | 1323 7910 27660 | 52108 45656 79 | 0.000 % |
528.58/528.80 c | 813528 | 1323 7910 27660 | 52108 46615 79 | 0.000 % |
528.98/529.26 c | 814581 | 1323 7910 27660 | 52108 47668 79 | 0.000 % |
530.18/530.48 c | 815740 | 1323 7910 27660 | 52108 48827 79 | 0.000 % |
531.18/531.46 c | 817013 | 1323 7910 27660 | 52108 50100 80 | 0.000 % |
532.88/533.15 c | 818413 | 1323 7910 27660 | 52108 51500 80 | 0.000 % |
534.88/535.11 c | 819953 | 1323 7910 27660 | 52108 43874 78 | 0.000 % |
535.98/536.25 c | 821647 | 1323 7910 27660 | 43921 37945 78 | 0.000 % |
537.28/537.54 c | 823510 | 1323 7910 27660 | 43921 39808 79 | 0.000 % |
539.18/539.46 c | 825561 | 1323 7910 27660 | 43921 41859 80 | 0.000 % |
541.37/541.63 c | 827814 | 1323 7910 27660 | 43921 44112 80 | 0.000 % |
543.57/543.83 c | 830292 | 1323 7910 27660 | 39189 39481 79 | 0.000 % |
545.67/545.92 c | 833018 | 1323 7910 27660 | 39189 36190 78 | 0.000 % |
548.37/548.61 c | 836015 | 1323 7910 27660 | 39189 39187 79 | 0.000 % |
551.07/551.37 c | 839314 | 1323 7910 27660 | 39189 36546 80 | 0.000 % |
554.37/554.62 c | 842940 | 1323 7910 27660 | 37232 34084 82 | 0.000 % |
558.18/558.45 c | 846929 | 1323 7910 27660 | 37232 32186 83 | 0.000 % |
561.88/562.14 c | 851314 | 1323 7910 27660 | 35259 31664 82 | 0.000 % |
565.08/565.38 c | 856137 | 1323 7910 27660 | 35259 32347 82 | 0.000 % |
568.68/568.91 c | 861443 | 1323 7910 27660 | 31796 29366 81 | 0.000 % |
572.18/572.48 c | 867280 | 1323 7910 27660 | 31796 31981 81 | 0.000 % |
575.97/576.30 c | 873699 | 1323 7910 27660 | 2147483647 35202 82 | 0.000 % |
578.57/578.87 c | 880758 | 1323 7910 27660 | 2147483647 42261 81 | 0.000 % |
584.77/585.00 c | 888522 | 1323 7910 27660 | 2147483647 50025 82 | 0.000 % |
584.77/585.04 c | 888623 | 1323 7910 27660 | 2147483647 50126 82 | 0.000 % |
584.77/585.08 c | 888733 | 1323 7910 27660 | 2147483647 50236 82 | 0.000 % |
584.88/585.12 c | 888855 | 1323 7910 27660 | 2147483647 50358 81 | 0.000 % |
584.88/585.16 c | 888988 | 1323 7910 27660 | 2147483647 50491 81 | 0.000 % |
584.98/585.22 c | 889134 | 1323 7910 27660 | 2147483647 50637 81 | 0.000 % |
584.98/585.27 c | 889294 | 1323 7910 27660 | 2147483647 50797 81 | 0.000 % |
585.07/585.32 c | 889470 | 1323 7910 27660 | 2147483647 50973 81 | 0.000 % |
585.07/585.38 c | 889664 | 1323 7910 27660 | 2147483647 51167 81 | 0.000 % |
585.17/585.47 c | 889876 | 1323 7910 27660 | 2147483647 51379 81 | 0.000 % |
585.27/585.57 c | 890109 | 1323 7910 27660 | 2147483647 51612 81 | 0.000 % |
585.37/585.68 c | 890365 | 1323 7910 27660 | 2147483647 51868 81 | 0.000 % |
585.57/585.87 c | 890646 | 1323 7910 27660 | 2147483647 52149 81 | 0.000 % |
585.77/586.01 c | 890957 | 1323 7910 27660 | 2147483647 52460 81 | 0.000 % |
585.87/586.15 c | 891299 | 1323 7910 27660 | 2147483647 52802 81 | 0.000 % |
586.07/586.34 c | 891671 | 1323 7910 27660 | 2147483647 53174 81 | 0.000 % |
586.27/586.52 c | 892080 | 1323 7910 27660 | 2147483647 53583 81 | 0.000 % |
586.37/586.68 c | 892529 | 1323 7910 27660 | 2147483647 54032 81 | 0.000 % |
586.57/586.85 c | 893022 | 1323 7910 27660 | 2147483647 54525 80 | 0.000 % |
586.77/587.07 c | 893565 | 1323 7910 27660 | 2147483647 55068 80 | 0.000 % |
587.17/587.45 c | 894161 | 1323 7910 27660 | 2147483647 55664 80 | 0.000 % |
587.47/587.79 c | 894816 | 1323 7910 27660 | 2147483647 56319 80 | 0.000 % |
587.97/588.24 c | 895536 | 1323 7910 27660 | 2147483647 57039 80 | 0.000 % |
588.37/588.66 c | 896329 | 1323 7910 27660 | 2147483647 57832 80 | 0.000 % |
588.77/589.00 c | 897201 | 1323 7910 27660 | 2147483647 58704 80 | 0.000 % |
589.17/589.43 c | 898160 | 1323 7910 27660 | 2147483647 59663 80 | 0.000 % |
589.67/589.97 c | 899213 | 1323 7910 27660 | 2147483647 60716 80 | 0.000 % |
590.67/590.95 c | 900371 | 1323 7910 27660 | 61505 54152 79 | 0.000 % |
591.17/591.47 c | 901645 | 1323 7910 27660 | 61505 55426 79 | 0.000 % |
591.57/591.88 c | 903045 | 1323 7910 27660 | 61505 56826 78 | 0.000 % |
592.97/593.21 c | 904586 | 1323 7910 27660 | 61505 58367 79 | 0.000 % |
593.57/593.89 c | 906280 | 1323 7910 27660 | 61505 60061 78 | 0.000 % |
595.57/595.81 c | 908144 | 1323 7910 27660 | 61505 52288 77 | 0.000 % |
597.07/597.39 c | 910193 | 1323 7910 27660 | 54145 45975 75 | 0.000 % |
598.96/599.28 c | 912446 | 1323 7910 27660 | 54145 48228 76 | 0.000 % |
601.26/601.56 c | 914924 | 1323 7910 27660 | 54145 50706 77 | 0.000 % |
603.96/604.29 c | 917650 | 1323 7910 27660 | 54145 53432 78 | 0.000 % |
607.16/607.43 c | 920647 | 1323 7910 27660 | 46994 39731 75 | 0.000 % |
610.16/610.45 c | 923944 | 1323 7910 27660 | 46994 43028 77 | 0.000 % |
613.96/614.22 c | 927569 | 1323 7910 27660 | 46994 46653 77 | 0.000 % |
617.56/617.83 c | 931556 | 1323 7910 27660 | 41588 36820 79 | 0.000 % |
621.46/621.80 c | 935941 | 1323 7910 27660 | 41588 41205 80 | 0.000 % |
623.86/624.15 c | 940765 | 1323 7910 27660 | 40337 37054 80 | 0.000 % |
625.46/625.79 c | 946071 | 1323 7910 27660 | 40337 38303 77 | 0.000 % |
626.85/627.17 c | 951906 | 1323 7910 27660 | 2147483647 40086 74 | 0.000 % |
631.95/632.28 c | 958325 | 1323 7910 27660 | 2147483647 46505 75 | 0.000 % |
634.36/634.65 c | 965384 | 1323 7910 27660 | 2147483647 53564 75 | 0.000 % |
637.45/637.70 c | 973148 | 1323 7910 27660 | 2147483647 61328 75 | 0.000 % |
643.45/643.74 c | 981688 | 1323 7910 27660 | 68181 57217 75 | 0.000 % |
643.55/643.81 c | 981790 | 1323 7910 27660 | 68181 57319 75 | 0.000 % |
643.55/643.87 c | 981900 | 1323 7910 27660 | 68181 57429 75 | 0.000 % |
643.65/643.92 c | 982022 | 1323 7910 27660 | 68181 57551 75 | 0.000 % |
643.65/643.98 c | 982155 | 1323 7910 27660 | 68181 57684 75 | 0.000 % |
643.75/644.02 c | 982302 | 1323 7910 27660 | 68181 57831 75 | 0.000 % |
643.75/644.05 c | 982462 | 1323 7910 27660 | 68181 57991 75 | 0.000 % |
643.85/644.11 c | 982638 | 1323 7910 27660 | 68181 58167 75 | 0.000 % |
643.85/644.17 c | 982831 | 1323 7910 27660 | 68181 58360 75 | 0.000 % |
643.95/644.21 c | 983043 | 1323 7910 27660 | 68181 58572 75 | 0.000 % |
644.05/644.35 c | 983276 | 1323 7910 27660 | 68181 58805 75 | 0.000 % |
644.15/644.48 c | 983534 | 1323 7910 27660 | 68181 59063 75 | 0.000 % |
644.35/644.61 c | 983816 | 1323 7910 27660 | 68181 59345 75 | 0.000 % |
644.45/644.76 c | 984125 | 1323 7910 27660 | 68181 59654 75 | 0.000 % |
644.65/644.92 c | 984464 | 1323 7910 27660 | 68181 59993 75 | 0.000 % |
644.85/645.13 c | 984836 | 1323 7910 27660 | 68181 60365 75 | 0.000 % |
645.05/645.37 c | 985245 | 1323 7910 27660 | 68181 60774 75 | 0.000 % |
645.35/645.64 c | 985695 | 1323 7910 27660 | 68181 61224 75 | 0.000 % |
645.75/646.03 c | 986188 | 1323 7910 27660 | 68181 61717 75 | 0.000 % |
646.05/646.33 c | 986730 | 1323 7910 27660 | 68181 62259 75 | 0.000 % |
646.45/646.79 c | 987327 | 1323 7910 27660 | 68181 62856 75 | 0.000 % |
646.95/647.24 c | 987982 | 1323 7910 27660 | 68181 63511 75 | 0.000 % |
647.45/647.79 c | 988702 | 1323 7910 27660 | 68181 64231 75 | 0.000 % |
648.25/648.56 c | 989496 | 1323 7910 27660 | 68181 65025 75 | 0.000 % |
648.95/649.26 c | 990368 | 1323 7910 27660 | 65529 54189 75 | 0.000 % |
649.54/649.85 c | 991326 | 1323 7910 27660 | 65529 55147 75 | 0.000 % |
650.15/650.45 c | 992379 | 1323 7910 27660 | 65529 56200 75 | 0.000 % |
651.05/651.35 c | 993537 | 1323 7910 27660 | 65529 57358 75 | 0.000 % |
652.05/652.33 c | 994811 | 1323 7910 27660 | 65529 58632 76 | 0.000 % |
653.05/653.32 c | 996211 | 1323 7910 27660 | 65529 60032 76 | 0.000 % |
654.25/654.56 c | 997751 | 1323 7910 27660 | 65529 61572 77 | 0.000 % |
655.84/656.11 c | 999446 | 1323 7910 27660 | 65529 63267 77 | 0.000 % |
657.94/658.24 c | 1001310 | 1323 7910 27660 | 63822 53095 78 | 0.000 % |
659.04/659.31 c | 1003360 | 1323 7910 27660 | 63822 55145 78 | 0.000 % |
660.64/660.90 c | 1005613 | 1323 7910 27660 | 63822 57398 79 | 0.000 % |
663.74/664.01 c | 1008091 | 1323 7910 27660 | 63822 59876 79 | 0.000 % |
664.84/665.12 c | 1010819 | 1323 7910 27660 | 61786 51325 78 | 0.000 % |
666.54/666.86 c | 1013817 | 1323 7910 27660 | 61786 54323 78 | 0.000 % |
668.24/668.57 c | 1017115 | 1323 7910 27660 | 61786 57621 78 | 0.000 % |
670.84/671.19 c | 1020740 | 1323 7910 27660 | 60506 51405 79 | 0.000 % |
672.94/673.22 c | 1024727 | 1323 7910 27660 | 60506 55392 80 | 0.000 % |
676.44/676.77 c | 1029113 | 1323 7910 27660 | 60506 59778 81 | 0.000 % |
681.23/681.56 c | 1033938 | 1323 7910 27660 | 60666 52042 82 | 0.000 % |
685.43/685.74 c | 1039243 | 1323 7910 27660 | 60666 57347 84 | 0.000 % |
690.13/690.45 c | 1045079 | 1323 7910 27660 | 58104 51347 83 | 0.000 % |
692.43/692.75 c | 1051498 | 1323 7910 27660 | 56268 45876 83 | 0.000 % |
696.43/696.74 c | 1058559 | 1323 7910 27660 | 56268 52937 82 | 0.000 % |
703.83/704.14 c | 1066323 | 1323 7910 27660 | 54379 51154 84 | 0.000 % |
710.53/710.84 c | 1074864 | 1323 7910 27660 | 45958 43501 83 | 0.000 % |
716.33/716.70 c | 1084259 | 1323 7910 27660 | 42466 40312 86 | 0.000 % |
716.43/716.75 c | 1084359 | 1323 7910 27660 | 42466 40412 86 | 0.000 % |
716.53/716.80 c | 1084470 | 1323 7910 27660 | 42466 40523 86 | 0.000 % |
716.53/716.85 c | 1084591 | 1323 7910 27660 | 42466 40644 86 | 0.000 % |
716.62/716.90 c | 1084724 | 1323 7910 27660 | 42466 40777 86 | 0.000 % |
716.62/716.93 c | 1084870 | 1323 7910 27660 | 42466 40923 86 | 0.000 % |
716.62/716.98 c | 1085032 | 1323 7910 27660 | 42466 41085 86 | 0.000 % |
716.72/717.09 c | 1085209 | 1323 7910 27660 | 42466 41262 86 | 0.000 % |
716.83/717.17 c | 1085402 | 1323 7910 27660 | 42466 41455 86 | 0.000 % |
716.93/717.26 c | 1085615 | 1323 7910 27660 | 42466 41668 86 | 0.000 % |
717.02/717.34 c | 1085850 | 1323 7910 27660 | 42466 41903 86 | 0.000 % |
717.12/717.44 c | 1086106 | 1323 7910 27660 | 42466 42159 86 | 0.000 % |
717.22/717.53 c | 1086387 | 1323 7910 27660 | 42466 42440 86 | 0.000 % |
717.42/717.77 c | 1086697 | 1323 7910 27660 | 42466 37397 87 | 0.000 % |
717.62/717.92 c | 1087036 | 1323 7910 27660 | 42466 37736 87 | 0.000 % |
717.82/718.16 c | 1087408 | 1323 7910 27660 | 42466 38108 87 | 0.000 % |
718.03/718.38 c | 1087818 | 1323 7910 27660 | 42466 38518 87 | 0.000 % |
718.22/718.58 c | 1088267 | 1323 7910 27660 | 42466 38967 87 | 0.000 % |
718.52/718.83 c | 1088760 | 1323 7910 27660 | 42466 39460 87 | 0.000 % |
718.82/719.17 c | 1089303 | 1323 7910 27660 | 42466 40003 87 | 0.000 % |
719.13/719.44 c | 1089901 | 1323 7910 27660 | 42466 40601 87 | 0.000 % |
719.52/719.85 c | 1090558 | 1323 7910 27660 | 40700 36475 87 | 0.000 % |
720.02/720.33 c | 1091278 | 1323 7910 27660 | 40700 37195 87 | 0.000 % |
720.62/720.99 c | 1092070 | 1323 7910 27660 | 40700 37987 88 | 0.000 % |
720.82/721.13 c | 1092941 | 1323 7910 27660 | 40700 38858 87 | 0.000 % |
721.02/721.31 c | 1093899 | 1323 7910 27660 | 40700 39816 86 | 0.000 % |
721.42/721.76 c | 1094953 | 1323 7910 27660 | 40700 40870 87 | 0.000 % |
721.92/722.26 c | 1096112 | 1323 7910 27660 | 40700 37699 86 | 0.000 % |
722.33/722.61 c | 1097387 | 1323 7910 27660 | 40700 38974 85 | 0.000 % |
722.92/723.22 c | 1098787 | 1323 7910 27660 | 40700 40374 85 | 0.000 % |
723.62/723.93 c | 1100328 | 1323 7910 27660 | 2147483647 37817 84 | 0.000 % |
724.42/724.75 c | 1102022 | 1323 7910 27660 | 2147483647 39511 83 | 0.000 % |
725.52/725.87 c | 1103885 | 1323 7910 27660 | 2147483647 41374 84 | 0.000 % |
726.72/727.01 c | 1105934 | 1323 7910 27660 | 2147483647 43423 84 | 0.000 % |
727.83/728.13 c | 1108187 | 1323 7910 27660 | 2147483647 45676 84 | 0.000 % |
729.52/729.87 c | 1110666 | 1323 7910 27660 | 2147483647 48155 84 | 0.000 % |
731.22/731.57 c | 1113391 | 1323 7910 27660 | 2147483647 50880 84 | 0.000 % |
733.02/733.35 c | 1116388 | 1323 7910 27660 | 2147483647 53877 83 | 0.000 % |
734.62/734.95 c | 1119685 | 1323 7910 27660 | 2147483647 57174 83 | 0.000 % |
736.42/736.70 c | 1123311 | 1323 7910 27660 | 57489 53220 80 | 0.000 % |
738.32/738.67 c | 1127300 | 1323 7910 27660 | 57489 57209 80 | 0.000 % |
741.02/741.31 c | 1131685 | 1323 7910 27660 | 51756 46235 76 | 0.000 % |
744.12/744.43 c | 1136509 | 1323 7910 27660 | 51756 51059 78 | 0.000 % |
746.72/747.06 c | 1141814 | 1323 7910 27660 | 48426 44650 77 | 0.000 % |
749.82/750.13 c | 1147650 | 1323 7910 27660 | 48426 45626 77 | 0.000 % |
754.41/754.74 c | 1154068 | 1323 7910 27660 | 2147483647 52044 79 | 0.000 % |
758.41/758.78 c | 1161127 | 1323 7910 27660 | 2147483647 59103 80 | 0.000 % |
763.22/763.52 c | 1168892 | 1323 7910 27660 | 2147483647 66868 80 | 0.000 % |
770.82/771.12 c | 1177432 | 1323 7910 27660 | 67977 64338 81 | 0.000 % |
778.71/779.06 c | 1186826 | 1323 7910 27660 | 66907 61794 83 | 0.000 % |
789.11/789.45 c | 1197159 | 1323 7910 27660 | 64968 60750 82 | 0.000 % |
789.31/789.60 c | 1197259 | 1323 7910 27660 | 64968 60850 82 | 0.000 % |
789.31/789.69 c | 1197370 | 1323 7910 27660 | 64968 60961 82 | 0.000 % |
789.52/789.81 c | 1197492 | 1323 7910 27660 | 64968 61083 82 | 0.000 % |
789.52/789.86 c | 1197629 | 1323 7910 27660 | 64968 61220 82 | 0.000 % |
789.61/789.93 c | 1197775 | 1323 7910 27660 | 64968 61366 82 | 0.000 % |
789.61/790.00 c | 1197936 | 1323 7910 27660 | 64968 61527 82 | 0.000 % |
789.71/790.07 c | 1198113 | 1323 7910 27660 | 64968 61704 82 | 0.000 % |
789.81/790.15 c | 1198307 | 1323 7910 27660 | 64968 61898 82 | 0.000 % |
789.91/790.25 c | 1198521 | 1323 7910 27660 | 64968 62112 82 | 0.000 % |
790.11/790.45 c | 1198754 | 1323 7910 27660 | 64968 62345 82 | 0.000 % |
790.31/790.60 c | 1199010 | 1323 7910 27660 | 64968 62601 82 | 0.000 % |
790.51/790.83 c | 1199291 | 1323 7910 27660 | 64968 62882 82 | 0.000 % |
790.71/791.03 c | 1199600 | 1323 7910 27660 | 64968 63191 82 | 0.000 % |
790.91/791.23 c | 1199940 | 1323 7910 27660 | 64968 63531 82 | 0.000 % |
791.21/791.52 c | 1200313 | 1323 7910 27660 | 63593 53919 81 | 0.000 % |
791.41/791.75 c | 1200723 | 1323 7910 27660 | 63593 54329 81 | 0.000 % |
791.71/792.02 c | 1201172 | 1323 7910 27660 | 63593 54778 81 | 0.000 % |
792.01/792.32 c | 1201665 | 1323 7910 27660 | 63593 55271 81 | 0.000 % |
792.31/792.69 c | 1202207 | 1323 7910 27660 | 63593 55813 81 | 0.000 % |
792.91/793.26 c | 1202803 | 1323 7910 27660 | 63593 56409 81 | 0.000 % |
793.31/793.64 c | 1203458 | 1323 7910 27660 | 63593 57064 81 | 0.000 % |
793.71/794.10 c | 1204178 | 1323 7910 27660 | 63593 57784 81 | 0.000 % |
794.31/794.69 c | 1204970 | 1323 7910 27660 | 63593 58576 81 | 0.000 % |
794.91/795.29 c | 1205842 | 1323 7910 27660 | 63593 59448 82 | 0.000 % |
795.61/795.92 c | 1206800 | 1323 7910 27660 | 63593 60406 81 | 0.000 % |
796.11/796.50 c | 1207853 | 1323 7910 27660 | 63593 61459 81 | 0.000 % |
797.11/797.45 c | 1209011 | 1323 7910 27660 | 63593 62617 82 | 0.000 % |
797.90/798.26 c | 1210284 | 1323 7910 27660 | 63606 52601 80 | 0.000 % |
798.80/799.10 c | 1211684 | 1323 7910 27660 | 63606 54001 81 | 0.000 % |
799.80/800.14 c | 1213225 | 1323 7910 27660 | 63606 55542 81 | 0.000 % |
800.51/800.89 c | 1214920 | 1323 7910 27660 | 63606 57237 80 | 0.000 % |
801.40/801.74 c | 1216784 | 1323 7910 27660 | 63606 59101 80 | 0.000 % |
802.61/802.95 c | 1218833 | 1323 7910 27660 | 63606 61150 81 | 0.000 % |
804.30/804.65 c | 1221086 | 1323 7910 27660 | 62317 53912 80 | 0.000 % |
805.70/806.05 c | 1223564 | 1323 7910 27660 | 62317 56390 80 | 0.000 % |
807.20/807.55 c | 1226289 | 1323 7910 27660 | 62317 59115 80 | 0.000 % |
809.20/809.57 c | 1229286 | 1323 7910 27660 | 62317 62112 81 | 0.000 % |
811.70/812.00 c | 1232582 | 1323 7910 27660 | 55097 50809 78 | 0.000 % |
814.30/814.68 c | 1236207 | 1323 7910 27660 | 55097 54434 79 | 0.000 % |
817.20/817.58 c | 1240195 | 1323 7910 27660 | 51390 45345 81 | 0.000 % |
820.50/820.80 c | 1244580 | 1323 7910 27660 | 51390 49730 82 | 0.000 % |
823.80/824.13 c | 1249403 | 1323 7910 27660 | 51390 47483 81 | 0.000 % |
826.00/826.38 c | 1254710 | 1323 7910 27660 | 48080 45698 79 | 0.000 % |
829.59/829.91 c | 1260545 | 1323 7910 27660 | 43927 38755 79 | 0.000 % |
834.19/834.55 c | 1266963 | 1323 7910 27660 | 43927 40727 79 | 0.000 % |
840.10/840.46 c | 1274024 | 1323 7910 27660 | 2147483647 47788 81 | 0.000 % |
846.39/846.80 c | 1281788 | 1323 7910 27660 | 53766 48842 80 | 0.000 % |
854.19/854.50 c | 1290328 | 1323 7910 27660 | 50367 44489 82 | 0.000 % |
862.29/862.63 c | 1299722 | 1323 7910 27660 | 50367 48382 83 | 0.000 % |
868.78/869.16 c | 1310055 | 1323 7910 27660 | 45255 45309 82 | 0.000 % |
877.68/878.05 c | 1321422 | 1323 7910 27660 | 2147483647 45168 84 | 0.000 % |
877.78/878.10 c | 1321523 | 1323 7910 27660 | 2147483647 45269 84 | 0.000 % |
877.88/878.20 c | 1321633 | 1323 7910 27660 | 2147483647 45379 84 | 0.000 % |
877.88/878.29 c | 1321754 | 1323 7910 27660 | 2147483647 45500 84 | 0.000 % |
877.98/878.36 c | 1321888 | 1323 7910 27660 | 2147483647 45634 84 | 0.000 % |
878.08/878.46 c | 1322035 | 1323 7910 27660 | 2147483647 45781 84 | 0.000 % |
878.18/878.55 c | 1322195 | 1323 7910 27660 | 2147483647 45941 84 | 0.000 % |
878.28/878.63 c | 1322371 | 1323 7910 27660 | 2147483647 46117 84 | 0.000 % |
878.38/878.73 c | 1322564 | 1323 7910 27660 | 2147483647 46310 84 | 0.000 % |
878.49/878.85 c | 1322776 | 1323 7910 27660 | 2147483647 46522 84 | 0.000 % |
878.59/878.97 c | 1323009 | 1323 7910 27660 | 2147483647 46755 84 | 0.000 % |
878.78/879.11 c | 1323267 | 1323 7910 27660 | 2147483647 47013 84 | 0.000 % |
878.88/879.26 c | 1323548 | 1323 7910 27660 | 2147483647 47294 84 | 0.000 % |
879.18/879.50 c | 1323859 | 1323 7910 27660 | 2147483647 47605 84 | 0.000 % |
879.38/879.72 c | 1324198 | 1323 7910 27660 | 2147483647 47944 84 | 0.000 % |
879.59/879.99 c | 1324570 | 1323 7910 27660 | 2147483647 48316 84 | 0.000 % |
879.88/880.26 c | 1324979 | 1323 7910 27660 | 2147483647 48725 84 | 0.000 % |
880.18/880.52 c | 1325429 | 1323 7910 27660 | 2147483647 49175 84 | 0.000 % |
880.48/880.82 c | 1325923 | 1323 7910 27660 | 2147483647 49669 84 | 0.000 % |
880.88/881.24 c | 1326467 | 1323 7910 27660 | 2147483647 50213 84 | 0.000 % |
881.18/881.57 c | 1327063 | 1323 7910 27660 | 2147483647 50809 84 | 0.000 % |
881.68/882.09 c | 1327719 | 1323 7910 27660 | 2147483647 51465 84 | 0.000 % |
882.08/882.49 c | 1328441 | 1323 7910 27660 | 2147483647 52187 84 | 0.000 % |
882.58/882.92 c | 1329234 | 1323 7910 27660 | 2147483647 52980 84 | 0.000 % |
883.08/883.41 c | 1330105 | 1323 7910 27660 | 2147483647 53851 84 | 0.000 % |
883.58/883.93 c | 1331063 | 1323 7910 27660 | 2147483647 54809 84 | 0.000 % |
884.48/884.90 c | 1332117 | 1323 7910 27660 | 2147483647 55863 85 | 0.000 % |
885.28/885.61 c | 1333276 | 1323 7910 27660 | 2147483647 57022 85 | 0.000 % |
885.88/886.22 c | 1334550 | 1323 7910 27660 | 2147483647 58296 85 | 0.000 % |
887.18/887.52 c | 1335950 | 1323 7910 27660 | 2147483647 59696 85 | 0.000 % |
888.18/888.52 c | 1337491 | 1323 7910 27660 | 2147483647 61237 85 | 0.000 % |
889.17/889.59 c | 1339185 | 1323 7910 27660 | 2147483647 62931 85 | 0.000 % |
890.87/891.22 c | 1341050 | 1323 7910 27660 | 63746 53061 84 | 0.000 % |
892.67/893.07 c | 1343100 | 1323 7910 27660 | 63746 55111 84 | 0.000 % |
894.47/894.84 c | 1345353 | 1323 7910 27660 | 63746 57364 84 | 0.000 % |
895.97/896.38 c | 1347833 | 1323 7910 27660 | 63746 59844 84 | 0.000 % |
898.28/898.66 c | 1350558 | 1323 7910 27660 | 62012 51528 83 | 0.000 % |
900.37/900.79 c | 1353556 | 1323 7910 27660 | 62012 54526 83 | 0.000 % |
903.47/903.81 c | 1356853 | 1323 7910 27660 | 62012 57823 85 | 0.000 % |
905.97/906.31 c | 1360478 | 1323 7910 27660 | 60973 49723 82 | 0.000 % |
909.37/909.72 c | 1364465 | 1323 7910 27660 | 60973 53710 82 | 0.000 % |
912.57/912.97 c | 1368850 | 1323 7910 27660 | 60973 58095 83 | 0.000 % |
915.87/916.28 c | 1373674 | 1323 7910 27660 | 59245 52855 82 | 0.000 % |
921.47/921.83 c | 1378980 | 1323 7910 27660 | 59245 58161 83 | 0.000 % |
927.06/927.41 c | 1384816 | 1323 7910 27660 | 59182 52579 82 | 0.000 % |
935.06/935.48 c | 1391234 | 1323 7910 27660 | 57764 46736 83 | 0.000 % |
940.96/941.39 c | 1398293 | 1323 7910 27660 | 57764 53795 84 | 0.000 % |
949.46/949.89 c | 1406057 | 1323 7910 27660 | 55502 50592 84 | 0.000 % |
951.96/952.40 c | 1414597 | 1323 7910 27660 | 54535 49165 80 | 0.000 % |
958.05/958.50 c | 1423991 | 1323 7910 27660 | 54569 50416 82 | 0.000 % |
963.35/963.73 c | 1434324 | 1323 7910 27660 | 50434 49579 80 | 0.000 % |
971.05/971.48 c | 1445690 | 1323 7910 27660 | 2147483647 55888 80 | 0.000 % |
980.76/981.15 c | 1458192 | 1323 7910 27660 | 60198 60125 82 | 0.000 % |
980.86/981.23 c | 1458292 | 1323 7910 27660 | 60198 60225 82 | 0.000 % |
981.06/981.40 c | 1458402 | 1323 7910 27660 | 60198 51681 84 | 0.000 % |
981.16/981.52 c | 1458523 | 1323 7910 27660 | 60198 51802 84 | 0.000 % |
981.26/981.60 c | 1458656 | 1323 7910 27660 | 60198 51935 83 | 0.000 % |
981.35/981.70 c | 1458803 | 1323 7910 27660 | 60198 52082 83 | 0.000 % |
981.35/981.80 c | 1458963 | 1323 7910 27660 | 60198 52242 83 | 0.000 % |
981.45/981.89 c | 1459139 | 1323 7910 27660 | 60198 52418 84 | 0.000 % |
981.65/982.01 c | 1459332 | 1323 7910 27660 | 60198 52611 83 | 0.000 % |
981.75/982.12 c | 1459545 | 1323 7910 27660 | 60198 52824 84 | 0.000 % |
981.75/982.17 c | 1459778 | 1323 7910 27660 | 60198 53057 83 | 0.000 % |
981.86/982.29 c | 1460035 | 1323 7910 27660 | 53280 53314 83 | 0.000 % |
982.05/982.41 c | 1460316 | 1323 7910 27660 | 53280 45921 85 | 0.000 % |
982.05/982.49 c | 1460626 | 1323 7910 27660 | 53280 46231 84 | 0.000 % |
982.25/982.60 c | 1460966 | 1323 7910 27660 | 53280 46571 84 | 0.000 % |
982.35/982.76 c | 1461338 | 1323 7910 27660 | 53280 46943 84 | 0.000 % |
982.55/982.92 c | 1461747 | 1323 7910 27660 | 53280 47352 84 | 0.000 % |
982.65/983.08 c | 1462196 | 1323 7910 27660 | 53280 47801 84 | 0.000 % |
982.85/983.21 c | 1462690 | 1323 7910 27660 | 53280 48295 84 | 0.000 % |
982.96/983.32 c | 1463233 | 1323 7910 27660 | 53280 48838 84 | 0.000 % |
983.06/983.43 c | 1463830 | 1323 7910 27660 | 53280 49435 84 | 0.000 % |
983.35/983.71 c | 1464485 | 1323 7910 27660 | 53280 50090 83 | 0.000 % |
983.65/984.00 c | 1465205 | 1323 7910 27660 | 53280 50810 83 | 0.000 % |
983.85/984.29 c | 1465998 | 1323 7910 27660 | 53280 51603 83 | 0.000 % |
984.16/984.53 c | 1466869 | 1323 7910 27660 | 53280 52474 83 | 0.000 % |
984.55/984.96 c | 1467827 | 1323 7910 27660 | 53280 47946 81 | 0.000 % |
985.26/985.62 c | 1468880 | 1323 7910 27660 | 53280 48999 82 | 0.000 % |
985.85/986.28 c | 1470038 | 1323 7910 27660 | 2147483647 50157 82 | 0.000 % |
986.45/986.87 c | 1471312 | 1323 7910 27660 | 2147483647 51431 81 | 0.000 % |
986.95/987.32 c | 1472713 | 1323 7910 27660 | 2147483647 52832 81 | 0.000 % |
987.65/988.05 c | 1474253 | 1323 7910 27660 | 2147483647 54372 81 | 0.000 % |
988.65/989.01 c | 1475947 | 1323 7910 27660 | 2147483647 56066 81 | 0.000 % |
989.85/990.23 c | 1477810 | 1323 7910 27660 | 2147483647 57929 81 | 0.000 % |
991.65/992.00 c | 1479860 | 1323 7910 27660 | 2147483647 59979 81 | 0.000 % |
993.25/993.69 c | 1482113 | 1323 7910 27660 | 60120 55569 81 | 0.000 % |
994.85/995.27 c | 1484591 | 1323 7910 27660 | 60120 58047 81 | 0.000 % |
996.95/997.33 c | 1487318 | 1323 7910 27660 | 60120 50959 81 | 0.000 % |
997.65/998.07 c | 1490315 | 1323 7910 27660 | 53641 45023 79 | 0.000 % |
999.75/1000.11 c | 1493611 | 1323 7910 27660 | 53641 48319 79 | 0.000 % |
1001.95/1002.38 c | 1497236 | 1323 7910 27660 | 53641 51944 80 | 0.000 % |
1004.35/1004.79 c | 1501225 | 1323 7910 27660 | 2147483647 50549 79 | 0.000 % |
1007.75/1008.10 c | 1505611 | 1323 7910 27660 | 2147483647 54935 80 | 0.000 % |
1011.14/1011.53 c | 1510435 | 1323 7910 27660 | 59324 52701 80 | 0.000 % |
1015.74/1016.12 c | 1515740 | 1323 7910 27660 | 59324 58006 81 | 0.000 % |
1021.24/1021.61 c | 1521576 | 1323 7910 27660 | 54074 47739 83 | 0.000 % |
1026.04/1026.49 c | 1527994 | 1323 7910 27660 | 54074 54157 84 | 0.000 % |
1030.24/1030.60 c | 1535053 | 1323 7910 27660 | 47956 45938 85 | 0.000 % |
1034.94/1035.37 c | 1542817 | 1323 7910 27660 | 45523 43739 85 | 0.000 % |
1041.74/1042.10 c | 1551357 | 1323 7910 27660 | 2147483647 43126 86 | 0.000 % |
1050.83/1051.21 c | 1560752 | 1323 7910 27660 | 51769 46204 86 | 0.000 % |
1060.53/1060.93 c | 1571088 | 1323 7910 27660 | 48187 43146 84 | 0.000 % |
1070.13/1070.54 c | 1582454 | 1323 7910 27660 | 45871 41827 91 | 0.000 % |
1079.13/1079.56 c | 1594956 | 1323 7910 27660 | 42516 40713 90 | 0.000 % |
1088.42/1088.86 c | 1608708 | 1323 7910 27660 | 39560 39659 92 | 0.000 % |
1088.53/1088.95 c | 1608811 | 1323 7910 27660 | 39560 35797 89 | 0.000 % |
1088.53/1088.96 c | 1608923 | 1323 7910 27660 | 39560 35909 89 | 0.000 % |
1088.53/1088.99 c | 1609044 | 1323 7910 27660 | 39560 36030 88 | 0.000 % |
1088.63/1089.08 c | 1609177 | 1323 7910 27660 | 39560 36163 88 | 0.000 % |
1088.72/1089.12 c | 1609323 | 1323 7910 27660 | 39560 36309 88 | 0.000 % |
1088.72/1089.18 c | 1609484 | 1323 7910 27660 | 39560 36470 88 | 0.000 % |
1088.82/1089.25 c | 1609660 | 1323 7910 27660 | 39560 36646 88 | 0.000 % |
1088.92/1089.31 c | 1609855 | 1323 7910 27660 | 39560 36841 88 | 0.000 % |
1089.02/1089.43 c | 1610067 | 1323 7910 27660 | 2147483647 37053 88 | 0.000 % |
1089.12/1089.58 c | 1610301 | 1323 7910 27660 | 2147483647 37287 88 | 0.000 % |
1089.32/1089.71 c | 1610558 | 1323 7910 27660 | 2147483647 37544 88 | 0.000 % |
1089.42/1089.86 c | 1610839 | 1323 7910 27660 | 2147483647 37825 88 | 0.000 % |
1089.63/1090.02 c | 1611149 | 1323 7910 27660 | 2147483647 38135 88 | 0.000 % |
1089.82/1090.20 c | 1611488 | 1323 7910 27660 | 2147483647 38474 88 | 0.000 % |
1090.02/1090.47 c | 1611861 | 1323 7910 27660 | 2147483647 38847 88 | 0.000 % |
1090.32/1090.76 c | 1612271 | 1323 7910 27660 | 2147483647 39257 88 | 0.000 % |
1090.52/1090.92 c | 1612720 | 1323 7910 27660 | 2147483647 39706 88 | 0.000 % |
1090.73/1091.11 c | 1613214 | 1323 7910 27660 | 2147483647 40200 88 | 0.000 % |
1090.92/1091.32 c | 1613757 | 1323 7910 27660 | 2147483647 40743 88 | 0.000 % |
1091.22/1091.65 c | 1614353 | 1323 7910 27660 | 2147483647 41339 88 | 0.000 % |
1091.52/1091.93 c | 1615008 | 1323 7910 27660 | 2147483647 41994 88 | 0.000 % |
1091.83/1092.27 c | 1615728 | 1323 7910 27660 | 2147483647 42714 88 | 0.000 % |
1092.22/1092.67 c | 1616522 | 1323 7910 27660 | 2147483647 43508 87 | 0.000 % |
1092.92/1093.32 c | 1617394 | 1323 7910 27660 | 2147483647 44380 88 | 0.000 % |
1093.22/1093.66 c | 1618352 | 1323 7910 27660 | 2147483647 45338 88 | 0.000 % |
1093.82/1094.24 c | 1619405 | 1323 7910 27660 | 2147483647 46391 88 | 0.000 % |
1094.52/1094.92 c | 1620563 | 1323 7910 27660 | 2147483647 47549 88 | 0.000 % |
1095.52/1095.95 c | 1621837 | 1323 7910 27660 | 2147483647 48823 88 | 0.000 % |
1096.52/1096.98 c | 1623237 | 1323 7910 27660 | 2147483647 50223 88 | 0.000 % |
1097.62/1098.06 c | 1624778 | 1323 7910 27660 | 2147483647 51764 88 | 0.000 % |
1099.02/1099.47 c | 1626472 | 1323 7910 27660 | 2147483647 53458 88 | 0.000 % |
1100.82/1101.21 c | 1628336 | 1323 7910 27660 | 2147483647 55322 88 | 0.000 % |
1103.02/1103.40 c | 1630385 | 1323 7910 27660 | 56987 48775 84 | 0.000 % |
1105.12/1105.53 c | 1632639 | 1323 7910 27660 | 56987 51029 85 | 0.000 % |
1107.22/1107.62 c | 1635119 | 1323 7910 27660 | 56987 53509 85 | 0.000 % |
1109.52/1109.90 c | 1637845 | 1323 7910 27660 | 56987 56235 85 | 0.000 % |
1112.11/1112.59 c | 1640842 | 1323 7910 27660 | 46584 37758 81 | 0.000 % |
1114.61/1115.02 c | 1644138 | 1323 7910 27660 | 46584 41054 82 | 0.000 % |
1117.71/1118.13 c | 1647763 | 1323 7910 27660 | 46584 44679 82 | 0.000 % |
1121.41/1121.84 c | 1651750 | 1323 7910 27660 | 46917 39059 82 | 0.000 % |
1125.41/1125.81 c | 1656136 | 1323 7910 27660 | 46917 43445 83 | 0.000 % |
1130.31/1130.71 c | 1660960 | 1323 7910 27660 | 47310 38235 82 | 0.000 % |
1135.71/1136.12 c | 1666266 | 1323 7910 27660 | 47310 43541 83 | 0.000 % |
1141.51/1141.94 c | 1672102 | 1323 7910 27660 | 47275 38648 85 | 0.000 % |
1148.01/1148.47 c | 1678521 | 1323 7910 27660 | 47275 45067 85 | 0.000 % |
1151.00/1151.48 c | 1685580 | 1323 7910 27660 | 46546 41556 83 | 0.000 % |
1156.20/1156.67 c | 1693344 | 1323 7910 27660 | 45976 44257 83 | 0.000 % |
1162.30/1162.79 c | 1701886 | 1323 7910 27660 | 45931 42940 82 | 0.000 % |
1168.50/1168.99 c | 1711280 | 1323 7910 27660 | 2147483647 43126 81 | 0.000 % |
1177.99/1178.49 c | 1721613 | 1323 7910 27660 | 51847 46079 83 | 0.000 % |
1189.09/1189.52 c | 1732979 | 1323 7910 27660 | 46700 42634 84 | 0.000 % |
1200.09/1200.51 HOME/SatELiteGTI: line 36: 13471 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-1832259-1242771356/watcher-1832259-1242771356 -o /tmp/evaluation-result-1832259-1242771356/solver-1832259-1242771356 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832259-1242771356.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 13465
/proc/meminfo: memFree=1856736/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305163054 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273653923922 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13465/statm: 1339 235 195 169 0 50 0
[pid=13466] ppid=13465 vsize=5356 CPUtime=0
/proc/13466/stat : 13466 (SatELiteGTI) R 13465 13465 12911 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305163054 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13466/statm: 1339 238 198 169 0 50 0
[pid=13468] ppid=13466 vsize=0 CPUtime=0
/proc/13468/stat : 13468 (sed) Z 13466 13465 12911 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305163054 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13468/statm: 0 0 0 0 0 0 0
[startup+0.044842 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 13465
/proc/meminfo: memFree=1856736/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305163054 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102845 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 13465
/proc/meminfo: memFree=1856736/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305163054 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301857 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 13465
/proc/meminfo: memFree=1856736/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356
[startup+0.701883 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 13465
/proc/meminfo: memFree=1856736/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356
[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1854352/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=4672 CPUtime=1.38
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 856 0 0 0 138 0 0 0 25 0 1 0 305163065 4784128 842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 1168 843 77 171 0 995 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10028
[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1851600/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=8044 CPUtime=2.99
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 1673 0 0 0 298 1 0 0 25 0 1 0 305163065 8237056 1659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 2011 1659 77 171 0 1838 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13400
[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1846480/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=12168 CPUtime=6.18
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 2705 0 0 0 616 2 0 0 25 0 1 0 305163065 12460032 2691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 3042 2691 77 171 0 2869 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17524
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1840464/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=17404 CPUtime=12.58
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 4002 0 0 0 1255 3 0 0 25 0 1 0 305163065 17821696 3988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 4351 3988 77 171 0 4178 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22760
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1835088/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=22304 CPUtime=25.38
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 5237 0 0 0 2533 5 0 0 25 0 1 0 305163065 22839296 5223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 5576 5223 77 171 0 5403 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27660
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1833168/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=24356 CPUtime=50.98
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 5713 0 0 0 5092 6 0 0 25 0 1 0 305163065 24940544 5699 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6089 5699 77 171 0 5916 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29712
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1832784/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=24680 CPUtime=102.16
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 5779 0 0 0 10210 6 0 0 25 0 1 0 305163065 25272320 5765 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6170 5765 77 171 0 5997 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30036
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1830096/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=27224 CPUtime=162.13
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 6423 0 0 0 16206 7 0 0 25 0 1 0 305163065 27877376 6409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6806 6409 77 171 0 6633 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 32580
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1829968/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=27224 CPUtime=222.11
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 6424 0 0 0 22204 7 0 0 25 0 1 0 305163065 27877376 6410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6806 6410 77 171 0 6633 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 32580
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1829904/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=27224 CPUtime=282.09
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 6424 0 0 0 28201 8 0 0 25 0 1 0 305163065 27877376 6410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6806 6410 77 171 0 6633 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 32580
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1829456/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=27488 CPUtime=342.06
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 6503 0 0 0 34198 8 0 0 25 0 1 0 305163065 28147712 6489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 6872 6489 77 171 0 6699 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 32844
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1829264/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=27624 CPUtime=402.05
################
# More data... #
################
[pid=13471] ppid=13465 vsize=29904 CPUtime=522.01
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7100 0 0 0 52191 10 0 0 25 0 1 0 305163065 30621696 7086 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7476 7086 77 171 0 7303 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 35260
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1826768/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=29904 CPUtime=581.99
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7100 0 0 0 58188 11 0 0 25 0 1 0 305163065 30621696 7086 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7476 7086 77 171 0 7303 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 35260
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1826640/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=29904 CPUtime=641.98
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7102 0 0 0 64187 11 0 0 25 0 1 0 305163065 30621696 7088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7476 7088 77 171 0 7303 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 35260
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1826448/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=29904 CPUtime=701.95
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7103 0 0 0 70184 11 0 0 25 0 1 0 305163065 30621696 7089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7476 7089 77 171 0 7303 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 35260
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1826320/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=29904 CPUtime=761.93
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7103 0 0 0 76182 11 0 0 25 0 1 0 305163065 30621696 7089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7476 7089 77 171 0 7303 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 35260
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1825296/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30832 CPUtime=821.92
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7348 0 0 0 82180 12 0 0 25 0 1 0 305163065 31571968 7334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7708 7334 77 171 0 7535 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 36188
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1825232/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30832 CPUtime=881.9
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7349 0 0 0 88178 12 0 0 25 0 1 0 305163065 31571968 7335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7708 7335 77 171 0 7535 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 36188
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1825104/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=941.88
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7369 0 0 0 94176 12 0 0 25 0 1 0 305163065 31707136 7355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7355 77 171 0 7568 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 36320
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1824912/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1001.87
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 100174 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 36320
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13471
/proc/meminfo: memFree=1824848/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1061.85
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 106172 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 36320
[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 0.97 2/66 13471
/proc/meminfo: memFree=1824784/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1121.83
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 112170 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 36320
[startup+1182.3 s]
/proc/loadavg: 1.11 1.04 0.98 2/66 13471
/proc/meminfo: memFree=1824656/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1181.81
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 118168 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 36320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.09 1.04 0.98 2/66 13471
/proc/meminfo: memFree=1824656/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1200.01
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 119988 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 36320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.09 1.04 0.98 2/66 13471
/proc/meminfo: memFree=1824656/2055920 swapFree=4180404/4192956
[pid=13465] ppid=13463 vsize=5356 CPUtime=0.08
/proc/13465/stat : 13465 (SatELiteGTI) S 13463 13465 12911 0 -1 4194304 336 741 0 0 0 0 8 0 15 0 1 0 305163054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13465/statm: 1339 239 197 169 0 50 0
[pid=13471] ppid=13465 vsize=30964 CPUtime=1200.01
/proc/13471/stat : 13471 (minisat_static) R 13465 13465 12911 0 -1 4194304 7385 0 0 0 119988 13 0 0 25 0 1 0 305163065 31707136 7371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13471/statm: 7741 7371 77 171 0 7568 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 36320
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.12
CPU user time (s): 1199.97
CPU system time (s): 0.152976
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 36320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8471
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= 28
involuntary context switches= 4199
runsolver used 1.39079 second user time and 3.10853 second system time
The end
Begin job on node52 at 2009-05-20 00:15:56
IDJOB=1832259
IDBENCH=24668
IDSOLVER=671
FILE ID=node52/1832259-1242771356
PBS_JOBID= 9322249
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832259-1242771356/watcher-1832259-1242771356 -o /tmp/evaluation-result-1832259-1242771356/solver-1832259-1242771356 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832259-1242771356.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0457634d4b446c9bbce48df93abd0143
RANDOM SEED=1655925629
node52.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.214
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.214
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: 1857216 kB
Buffers: 14616 kB
Cached: 146904 kB
SwapCached: 7052 kB
Active: 23404 kB
Inactive: 147856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1857216 kB
SwapTotal: 4192956 kB
SwapFree: 4180404 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 13484 kB
Slab: 13400 kB
Committed_AS: 1136232 kB
PageTables: 1480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66140 MiB
End job on node52 at 2009-05-20 00:35:58