0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18555 54310 | 5566 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 18121 66093 | -- 0 -- -- | -- | -434/11783
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 2782 #clauses: 18121 #literals: 66093
0.00/0.14 c CPU time: 0.131979 s
0.00/0.14 c ==============================================================================
0.00/0.16 c This is MiniSat 2.0 beta
0.00/0.16 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.16 c ============================[ Problem Statistics ]=============================
0.00/0.16 c | |
0.00/0.16 c | Number of variables: 2782 |
0.00/0.16 c | Number of clauses: 18121 |
0.00/0.17 c | Parsing time: 0.01 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 2782 18121 66093 | 6040 0 nan | 0.000 % |
0.00/0.19 c | 100 | 2782 18121 66093 | 6040 100 18 | 0.000 % |
0.15/0.20 c | 200 | 2782 18121 66093 | 6040 200 21 | 0.000 % |
0.15/0.21 c | 300 | 2782 18121 66093 | 6040 300 21 | 0.000 % |
0.15/0.22 c | 411 | 2782 18121 66093 | 6040 411 21 | 0.000 % |
0.15/0.23 c | 511 | 2782 18121 66093 | 6040 511 21 | 0.000 % |
0.15/0.24 c | 622 | 2782 18121 66093 | 6040 622 25 | 0.000 % |
0.15/0.26 c | 743 | 2782 18121 66093 | 6040 743 25 | 0.000 % |
0.15/0.29 c | 844 | 2782 18121 66093 | 6040 844 28 | 0.000 % |
0.15/0.30 c | 954 | 2782 18121 66093 | 6040 954 27 | 0.000 % |
0.15/0.35 c | 1076 | 2782 18121 66093 | 6040 1076 31 | 0.000 % |
0.15/0.37 c | 1210 | 2782 18121 66093 | 6040 1210 31 | 0.000 % |
0.15/0.39 c | 1311 | 2782 18121 66093 | 6040 1311 32 | 0.000 % |
0.15/0.40 c | 1422 | 2782 18121 66093 | 6040 1422 31 | 0.000 % |
0.15/0.41 c | 1544 | 2782 18121 66093 | 6040 1544 30 | 0.000 % |
0.15/0.42 c | 1678 | 2782 18121 66093 | 6040 1678 30 | 0.000 % |
0.15/0.44 c | 1824 | 2782 18121 66093 | 6040 1824 30 | 0.000 % |
0.15/0.45 c | 1924 | 2782 18121 66093 | 6040 1924 29 | 0.000 % |
0.15/0.46 c | 2034 | 2782 18121 66093 | 6040 2034 29 | 0.000 % |
0.15/0.47 c | 2157 | 2782 18121 66093 | 6040 2157 30 | 0.000 % |
0.15/0.49 c | 2290 | 2782 18121 66093 | 6040 2290 30 | 0.000 % |
0.15/0.51 c | 2437 | 2782 18121 66093 | 6040 2437 30 | 0.000 % |
0.15/0.54 c | 2598 | 2782 18121 66093 | 6040 2598 30 | 0.000 % |
0.15/0.56 c | 2698 | 2782 18121 66093 | 6040 2698 30 | 0.000 % |
0.15/0.57 c | 2809 | 2782 18121 66093 | 6040 2809 30 | 0.000 % |
0.15/0.58 c | 2930 | 2782 18121 66093 | 6040 2930 30 | 0.000 % |
0.15/0.59 c | 3064 | 2782 18121 66093 | 6040 3064 29 | 0.000 % |
0.15/0.62 c | 3210 | 2782 18121 66093 | 6040 3210 30 | 0.000 % |
0.15/0.64 c | 3371 | 2782 18121 66093 | 6040 3371 30 | 0.000 % |
0.15/0.66 c | 3547 | 2782 18121 66093 | 6040 3547 30 | 0.000 % |
0.15/0.68 c | 3647 | 2782 18121 66093 | 6040 3647 30 | 0.000 % |
0.15/0.69 c | 3758 | 2782 18121 66093 | 6040 3758 29 | 0.000 % |
0.15/0.73 c | 3880 | 2782 18121 66093 | 6040 3880 30 | 0.000 % |
0.15/0.74 c | 4013 | 2782 18121 66093 | 6040 4013 30 | 0.000 % |
0.15/0.79 c | 4160 | 2782 18121 66093 | 6040 4160 31 | 0.000 % |
0.15/0.81 c | 4321 | 2782 18121 66093 | 6040 4321 30 | 0.000 % |
0.15/0.87 c | 4498 | 2782 18121 66093 | 6040 4498 31 | 0.000 % |
0.15/0.89 c | 4692 | 2782 18121 66093 | 6040 4692 30 | 0.000 % |
0.15/0.92 c | 4793 | 2782 18121 66093 | 6040 4793 31 | 0.000 % |
0.15/0.93 c | 4903 | 2782 18121 66093 | 6040 4903 31 | 0.000 % |
0.15/0.97 c | 5025 | 2782 18121 66093 | 6040 5025 31 | 0.000 % |
0.15/0.98 c | 5158 | 2782 18121 66093 | 6040 5158 30 | 0.000 % |
0.98/1.02 c | 5304 | 2782 18121 66093 | 6040 5304 31 | 0.000 % |
0.98/1.04 c | 5465 | 2782 18121 66093 | 6040 5465 31 | 0.000 % |
1.08/1.12 c | 5641 | 2782 18121 66093 | 6040 5641 32 | 0.000 % |
1.08/1.17 c | 5835 | 2782 18121 66093 | 6040 5835 33 | 0.000 % |
1.17/1.23 c | 6048 | 2782 18121 66093 | 6040 6048 33 | 0.000 % |
1.17/1.25 c | 6149 | 2782 18121 66093 | 6040 5545 34 | 0.000 % |
1.17/1.29 c | 6260 | 2782 18121 66093 | 6040 5656 35 | 0.000 % |
1.27/1.34 c | 6382 | 2782 18121 66093 | 6040 5778 35 | 0.000 % |
1.37/1.42 c | 6515 | 2782 18121 66093 | 6040 5911 36 | 0.000 % |
1.47/1.52 c | 6661 | 2782 18121 66093 | 6040 6057 37 | 0.000 % |
1.47/1.59 c | 6821 | 2782 18121 66093 | 6040 5612 37 | 0.000 % |
1.57/1.66 c | 6997 | 2782 18121 66093 | 6040 5788 37 | 0.000 % |
1.67/1.74 c | 7192 | 2782 18121 66093 | 6040 5983 38 | 0.000 % |
1.77/1.81 c | 7405 | 2782 18121 66093 | 6040 6196 38 | 0.000 % |
1.77/1.85 c | 7639 | 2782 18121 66093 | 6040 5811 39 | 0.000 % |
1.77/1.87 c | 7741 | 2782 18121 66093 | 6040 5913 39 | 0.000 % |
1.77/1.88 c | 7851 | 2782 18121 66093 | 6040 6023 38 | 0.000 % |
1.87/1.90 c | 7972 | 2782 18121 66093 | 6040 6144 38 | 0.000 % |
1.87/1.92 c | 8105 | 2782 18121 66093 | 6040 5663 38 | 0.000 % |
1.87/1.94 c | 8251 | 2782 18121 66093 | 6040 5809 38 | 0.000 % |
1.87/1.96 c | 8412 | 2782 18121 66093 | 6040 5970 38 | 0.000 % |
1.87/1.99 c | 8588 | 2782 18121 66093 | 6040 6146 38 | 0.000 % |
1.97/2.02 c | 8781 | 2782 18121 66093 | 6040 5725 38 | 0.000 % |
1.97/2.05 c | 8994 | 2782 18121 66093 | 6040 5938 38 | 0.000 % |
1.97/2.08 c | 9228 | 2782 18121 66093 | 6040 6172 38 | 0.000 % |
2.07/2.15 c | 9484 | 2782 18121 66093 | 6040 5811 38 | 0.000 % |
2.07/2.16 c | 9585 | 2782 18121 66093 | 6040 5912 38 | 0.000 % |
2.17/2.22 c | 9695 | 2782 18121 66093 | 6040 6022 38 | 0.000 % |
2.27/2.31 c | 9817 | 2782 18121 66093 | 6040 6144 39 | 0.000 % |
2.27/2.37 c | 9951 | 2782 18121 66093 | 6040 5664 40 | 0.000 % |
2.37/2.46 c | 10097 | 2782 18121 66093 | 2147483647 5810 40 | 0.000 % |
2.37/2.49 c | 10257 | 2782 18121 66093 | 2147483647 5970 41 | 0.000 % |
2.47/2.55 c | 10433 | 2782 18121 66093 | 2147483647 6146 41 | 0.000 % |
2.57/2.60 c | 10626 | 2782 18121 66093 | 2147483647 6339 41 | 0.000 % |
2.57/2.64 c | 10839 | 2782 18121 66093 | 2147483647 6552 41 | 0.000 % |
2.67/2.76 c | 11072 | 2782 18121 66093 | 2147483647 6785 42 | 0.000 % |
2.77/2.82 c | 11329 | 2782 18121 66093 | 2147483647 7042 42 | 0.000 % |
2.77/2.85 c | 11611 | 2782 18121 66093 | 2147483647 7324 41 | 0.000 % |
2.77/2.88 c | 11712 | 2782 18121 66093 | 2147483647 7425 41 | 0.000 % |
2.77/2.89 c | 11823 | 2782 18121 66093 | 2147483647 7536 41 | 0.000 % |
2.87/2.93 c | 11944 | 2782 18121 66093 | 2147483647 7657 41 | 0.000 % |
2.87/2.95 c | 12077 | 2782 18121 66093 | 2147483647 7790 41 | 0.000 % |
2.87/2.99 c | 12223 | 2782 18121 66093 | 2147483647 7936 41 | 0.000 % |
2.97/3.02 c | 12384 | 2782 18121 66093 | 2147483647 8097 40 | 0.000 % |
2.97/3.08 c | 12560 | 2782 18121 66093 | 2147483647 8273 41 | 0.000 % |
3.07/3.11 c | 12753 | 2782 18121 66093 | 2147483647 8466 40 | 0.000 % |
3.07/3.15 c | 12965 | 2782 18121 66093 | 2147483647 8678 40 | 0.000 % |
3.07/3.18 c | 13198 | 2782 18121 66093 | 2147483647 8911 40 | 0.000 % |
3.17/3.24 c | 13454 | 2782 18121 66093 | 2147483647 9167 40 | 0.000 % |
3.17/3.27 c | 13736 | 2782 18121 66093 | 2147483647 9449 39 | 0.000 % |
3.27/3.35 c | 14045 | 2782 18121 66093 | 2147483647 9758 40 | 0.000 % |
3.27/3.36 c | 14146 | 2782 18121 66093 | 2147483647 9859 39 | 0.000 % |
3.37/3.42 c | 14257 | 2782 18121 66093 | 2147483647 9970 40 | 0.000 % |
3.37/3.47 c | 14379 | 2782 18121 66093 | 2147483647 10092 40 | 0.000 % |
3.47/3.50 c | 14512 | 2782 18121 66093 | 2147483647 10225 40 | 0.000 % |
3.47/3.53 c | 14659 | 2782 18121 66093 | 2147483647 10372 40 | 0.000 % |
3.47/3.57 c | 14821 | 2782 18121 66093 | 2147483647 10534 40 | 0.000 % |
3.57/3.64 c | 14999 | 2782 18121 66093 | 2147483647 10712 40 | 0.000 % |
3.57/3.68 c | 15193 | 2782 18121 66093 | 2147483647 10906 40 | 0.000 % |
3.67/3.76 c | 15406 | 2782 18121 66093 | 2147483647 11119 41 | 0.000 % |
3.77/3.84 c | 15640 | 2782 18121 66093 | 2147483647 11353 41 | 0.000 % |
3.87/3.94 c | 15896 | 2782 18121 66093 | 2147483647 11609 41 | 0.000 % |
3.97/4.03 c | 16177 | 2782 18121 66093 | 2147483647 11890 41 | 0.000 % |
4.17/4.20 c | 16486 | 2782 18121 66093 | 2147483647 12199 42 | 0.000 % |
4.27/4.35 c | 16826 | 2782 18121 66093 | 2147483647 12539 42 | 0.000 % |
4.27/4.39 c | 16927 | 2782 18121 66093 | 2147483647 12640 42 | 0.000 % |
4.37/4.46 c | 17037 | 2782 18121 66093 | 2147483647 12750 42 | 0.000 % |
4.47/4.52 c | 17158 | 2782 18121 66093 | 2147483647 12871 42 | 0.000 % |
4.47/4.59 c | 17292 | 2782 18121 66093 | 2147483647 13005 42 | 0.000 % |
4.56/4.63 c | 17439 | 2782 18121 66093 | 2147483647 13152 42 | 0.000 % |
4.56/4.67 c | 17600 | 2782 18121 66093 | 2147483647 13313 42 | 0.000 % |
4.67/4.71 c | 17776 | 2782 18121 66093 | 2147483647 13489 42 | 0.000 % |
4.67/4.74 c | 17970 | 2782 18121 66093 | 2147483647 13683 41 | 0.000 % |
4.67/4.78 c | 18183 | 2782 18121 66093 | 2147483647 13896 41 | 0.000 % |
4.77/4.82 c | 18416 | 2782 18121 66093 | 2147483647 14129 41 | 0.000 % |
4.77/4.87 c | 18673 | 2782 18121 66093 | 2147483647 14386 41 | 0.000 % |
4.87/4.96 c | 18954 | 2782 18121 66093 | 2147483647 14667 41 | 0.000 % |
4.97/5.03 c | 19265 | 2782 18121 66093 | 2147483647 14978 41 | 0.000 % |
5.07/5.11 c | 19605 | 2782 18121 66093 | 2147483647 15318 40 | 0.000 % |
5.07/5.19 c | 19978 | 2782 18121 66093 | 2147483647 15691 40 | 0.000 % |
5.17/5.21 c | 20079 | 2782 18121 66093 | 2147483647 15792 40 | 0.000 % |
5.17/5.25 c | 20189 | 2782 18121 66093 | 2147483647 15902 40 | 0.000 % |
5.17/5.28 c | 20310 | 2782 18121 66093 | 2147483647 16023 40 | 0.000 % |
5.27/5.32 c | 20443 | 2782 18121 66093 | 2147483647 16156 40 | 0.000 % |
5.27/5.36 c | 20589 | 2782 18121 66093 | 2147483647 16302 40 | 0.000 % |
5.38/5.41 c | 20750 | 2782 18121 66093 | 2147483647 16463 40 | 0.000 % |
5.38/5.45 c | 20926 | 2782 18121 66093 | 2147483647 16639 40 | 0.000 % |
5.47/5.51 c | 21120 | 2782 18121 66093 | 2147483647 16833 40 | 0.000 % |
5.47/5.57 c | 21333 | 2782 18121 66093 | 2147483647 17046 40 | 0.000 % |
5.57/5.64 c | 21566 | 2782 18121 66093 | 2147483647 17279 40 | 0.000 % |
5.57/5.69 c | 21823 | 2782 18121 66093 | 2147483647 17536 40 | 0.000 % |
5.67/5.77 c | 22104 | 2782 18121 66093 | 2147483647 17817 40 | 0.000 % |
5.77/5.84 c | 22414 | 2782 18121 66093 | 2147483647 18127 39 | 0.000 % |
5.87/5.95 c | 22758 | 2782 18121 66093 | 2147483647 18471 39 | 0.000 % |
5.97/6.01 c | 23131 | 2782 18121 66093 | 2147483647 18844 39 | 0.000 % |
6.07/6.13 c | 23541 | 2782 18121 66093 | 2147483647 19254 39 | 0.000 % |
6.07/6.15 c | 23641 | 2782 18121 66093 | 2147483647 19354 39 | 0.000 % |
6.07/6.19 c | 23752 | 2782 18121 66093 | 2147483647 19465 39 | 0.000 % |
6.17/6.23 c | 23873 | 2782 18121 66093 | 2147483647 19586 39 | 0.000 % |
6.17/6.26 c | 24007 | 2782 18121 66093 | 2147483647 19720 39 | 0.000 % |
6.27/6.32 c | 24153 | 2782 18121 66093 | 2147483647 19866 40 | 0.000 % |
6.37/6.41 c | 24315 | 2782 18121 66093 | 2147483647 20028 40 | 0.000 % |
6.47/6.52 c | 24491 | 2782 18121 66093 | 2147483647 20204 40 | 0.000 % |
6.47/6.60 c | 24685 | 2782 18121 66093 | 2147483647 20398 40 | 0.000 % |
6.57/6.69 c | 24898 | 2782 18121 66093 | 2147483647 20611 40 | 0.000 % |
6.67/6.79 c | 25131 | 2782 18121 66093 | 2147483647 20844 40 | 0.000 % |
6.77/6.90 c | 25388 | 2782 18121 66093 | 2147483647 21101 40 | 0.000 % |
6.97/7.06 c | 25670 | 2782 18121 66093 | 2147483647 21383 41 | 0.000 % |
7.07/7.19 c | 25979 | 2782 18121 66093 | 2147483647 21692 41 | 0.000 % |
7.27/7.35 c | 26319 | 2782 18121 66093 | 2147483647 22032 41 | 0.000 % |
7.47/7.52 c | 26692 | 2782 18121 66093 | 2147483647 22405 41 | 0.000 % |
7.57/7.68 c | 27101 | 2782 18121 66093 | 2147483647 22814 41 | 0.000 % |
7.77/7.80 c | 27550 | 2782 18121 66093 | 2147483647 23263 41 | 0.000 % |
7.77/7.85 c | 27650 | 2782 18121 66093 | 2147483647 23363 41 | 0.000 % |
7.77/7.88 c | 27761 | 2782 18121 66093 | 2147483647 23474 41 | 0.000 % |
7.87/7.91 c | 27882 | 2782 18121 66093 | 2147483647 23595 41 | 0.000 % |
7.87/7.94 c | 28015 | 2782 18121 66093 | 2147483647 23728 41 | 0.000 % |
7.97/8.00 c | 28161 | 2782 18121 66093 | 2147483647 23874 41 | 0.000 % |
7.97/8.03 c | 28322 | 2782 18121 66093 | 2147483647 24035 41 | 0.000 % |
8.07/8.11 c | 28498 | 2782 18121 66093 | 2147483647 24211 41 | 0.000 % |
8.07/8.15 c | 28691 | 2782 18121 66093 | 2147483647 24404 41 | 0.000 % |
8.17/8.24 c | 28904 | 2782 18121 66093 | 2147483647 24617 41 | 0.000 % |
8.17/8.29 c | 29138 | 2782 18121 66093 | 2147483647 24851 40 | 0.000 % |
8.37/8.41 c | 29396 | 2782 18121 66093 | 2147483647 25109 41 | 0.000 % |
8.37/8.47 c | 29678 | 2782 18121 66093 | 2147483647 25391 40 | 0.000 % |
8.57/8.60 c | 29988 | 2782 18121 66093 | 2147483647 25701 40 | 0.000 % |
8.57/8.66 c | 30328 | 2782 18121 66093 | 2147483647 26041 40 | 0.000 % |
8.77/8.81 c | 30701 | 2782 18121 66093 | 2147483647 26414 40 | 0.000 % |
8.77/8.88 c | 31111 | 2782 18121 66093 | 2147483647 26824 40 | 0.000 % |
8.96/9.05 c | 31562 | 2782 18121 66093 | 2147483647 27275 40 | 0.000 % |
9.06/9.19 c | 32055 | 2782 18121 66093 | 2147483647 27768 40 | 0.000 % |
9.16/9.23 c | 32156 | 2782 18121 66093 | 2147483647 27869 40 | 0.000 % |
9.16/9.27 c | 32267 | 2782 18121 66093 | 2147483647 27980 40 | 0.000 % |
9.26/9.34 c | 32389 | 2782 18121 66093 | 2147483647 28102 40 | 0.000 % |
9.36/9.42 c | 32523 | 2782 18121 66093 | 2147483647 28236 40 | 0.000 % |
9.36/9.48 c | 32669 | 2782 18121 66093 | 2147483647 28382 40 | 0.000 % |
9.46/9.51 c | 32830 | 2782 18121 66093 | 2147483647 28543 40 | 0.000 % |
9.46/9.57 c | 33006 | 2782 18121 66093 | 2147483647 28719 40 | 0.000 % |
9.56/9.64 c | 33199 | 2782 18121 66093 | 2147483647 28912 40 | 0.000 % |
9.66/9.71 c | 33412 | 2782 18121 66093 | 2147483647 29125 40 | 0.000 % |
9.66/9.78 c | 33645 | 2782 18121 66093 | 2147483647 29358 40 | 0.000 % |
9.77/9.87 c | 33902 | 2782 18121 66093 | 2147483647 29615 39 | 0.000 % |
9.87/9.95 c | 34184 | 2782 18121 66093 | 2147483647 29897 39 | 0.000 % |
9.97/10.03 c | 34493 | 2782 18121 66093 | 2147483647 30206 39 | 0.000 % |
10.07/10.11 c | 34833 | 2782 18121 66093 | 2147483647 30546 39 | 0.000 % |
10.27/10.37 c | 35205 | 2782 18121 66093 | 2147483647 30918 39 | 0.000 % |
10.47/10.53 c | 35615 | 2782 18121 66093 | 2147483647 31328 40 | 0.000 % |
10.67/10.71 c | 36064 | 2782 18121 66093 | 2147483647 31777 40 | 0.000 % |
10.87/10.94 c | 36558 | 2782 18121 66093 | 2147483647 32271 40 | 0.000 % |
11.17/11.20 c | 37101 | 2782 18121 66093 | 2147483647 32814 40 | 0.000 % |
11.17/11.24 c | 37202 | 2782 18121 66093 | 2147483647 32915 40 | 0.000 % |
11.27/11.31 c | 37315 | 2782 18121 66093 | 2147483647 33028 40 | 0.000 % |
11.27/11.37 c | 37436 | 2782 18121 66093 | 2147483647 33149 40 | 0.000 % |
11.37/11.43 c | 37570 | 2782 18121 66093 | 2147483647 33283 40 | 0.000 % |
11.47/11.54 c | 37716 | 2782 18121 66093 | 2147483647 33429 40 | 0.000 % |
11.57/11.63 c | 37878 | 2782 18121 66093 | 2147483647 33591 40 | 0.000 % |
11.67/11.73 c | 38054 | 2782 18121 66093 | 2147483647 33767 41 | 0.000 % |
11.87/11.92 c | 38247 | 2782 18121 66093 | 2147483647 33960 41 | 0.000 % |
11.97/12.01 c | 38459 | 2782 18121 66093 | 2147483647 34172 41 | 0.000 % |
12.07/12.12 c | 38692 | 2782 18121 66093 | 2147483647 34405 41 | 0.000 % |
12.17/12.23 c | 38949 | 2782 18121 66093 | 2147483647 34662 41 | 0.000 % |
12.27/12.34 c | 39231 | 2782 18121 66093 | 2147483647 34944 41 | 0.000 % |
12.37/12.49 c | 39540 | 2782 18121 66093 | 2147483647 35253 41 | 0.000 % |
12.57/12.69 c | 39879 | 2782 18121 66093 | 2147483647 35592 41 | 0.000 % |
12.77/12.88 c | 40251 | 2782 18121 66093 | 2147483647 35964 41 | 0.000 % |
12.97/13.06 c | 40660 | 2782 18121 66093 | 2147483647 36373 41 | 0.000 % |
13.27/13.30 c | 41110 | 2782 18121 66093 | 2147483647 36823 42 | 0.000 % |
13.46/13.51 c | 41604 | 2782 18121 66093 | 2147483647 37317 42 | 0.000 % |
13.66/13.79 c | 42146 | 2782 18121 66093 | 2147483647 37859 42 | 0.000 % |
14.06/14.12 c | 42742 | 2782 18121 66093 | 2147483647 38455 42 | 0.000 % |
14.06/14.17 c | 42843 | 2782 18121 66093 | 2147483647 38556 42 | 0.000 % |
14.17/14.23 c | 42955 | 2782 18121 66093 | 2147483647 38668 42 | 0.000 % |
14.17/14.30 c | 43076 | 2782 18121 66093 | 2147483647 38789 42 | 0.000 % |
14.36/14.40 c | 43211 | 2782 18121 66093 | 2147483647 38924 42 | 0.000 % |
14.36/14.48 c | 43357 | 2782 18121 66093 | 2147483647 39070 42 | 0.000 % |
14.46/14.57 c | 43517 | 2782 18121 66093 | 2147483647 39230 42 | 0.000 % |
14.66/14.73 c | 43694 | 2782 18121 66093 | 2147483647 39407 42 | 0.000 % |
14.76/14.87 c | 43887 | 2782 18121 66093 | 2147483647 39600 43 | 0.000 % |
14.86/14.99 c | 44099 | 2782 18121 66093 | 2147483647 39812 43 | 0.000 % |
15.06/15.15 c | 44332 | 2782 18121 66093 | 2147483647 40045 43 | 0.000 % |
15.16/15.28 c | 44588 | 2782 18121 66093 | 2147483647 40301 43 | 0.000 % |
15.36/15.43 c | 44870 | 2782 18121 66093 | 2147483647 40583 43 | 0.000 % |
15.56/15.62 c | 45179 | 2782 18121 66093 | 2147483647 40892 43 | 0.000 % |
15.76/15.81 c | 45519 | 2782 18121 66093 | 2147483647 41232 43 | 0.000 % |
15.96/16.03 c | 45891 | 2782 18121 66093 | 2147483647 41604 43 | 0.000 % |
16.16/16.25 c | 46301 | 2782 18121 66093 | 2147483647 42014 43 | 0.000 % |
16.47/16.50 c | 46750 | 2782 18121 66093 | 2147483647 42463 43 | 0.000 % |
16.67/16.78 c | 47243 | 2782 18121 66093 | 2147483647 42956 44 | 0.000 % |
16.97/17.09 c | 47785 | 2782 18121 66093 | 2147483647 43498 44 | 0.000 % |
17.27/17.38 c | 48381 | 2782 18121 66093 | 2147483647 44094 44 | 0.000 % |
17.67/17.77 c | 49037 | 2782 18121 66093 | 2147483647 44750 44 | 0.000 % |
17.77/17.85 c | 49137 | 2782 18121 66093 | 2147483647 44850 44 | 0.000 % |
17.87/17.92 c | 49247 | 2782 18121 66093 | 2147483647 44960 44 | 0.000 % |
17.87/17.99 c | 49368 | 2782 18121 66093 | 2147483647 45081 44 | 0.000 % |
17.97/18.07 c | 49501 | 2782 18121 66093 | 2147483647 45214 44 | 0.000 % |
18.07/18.16 c | 49647 | 2782 18121 66093 | 2147483647 45360 44 | 0.000 % |
18.17/18.25 c | 49808 | 2782 18121 66093 | 2147483647 45521 44 | 0.000 % |
18.27/18.35 c | 49984 | 2782 18121 66093 | 2147483647 45697 44 | 0.000 % |
18.37/18.45 c | 50177 | 2782 18121 66093 | 2147483647 45890 44 | 0.000 % |
18.47/18.58 c | 50390 | 2782 18121 66093 | 2147483647 46103 44 | 0.000 % |
18.67/18.70 c | 50625 | 2782 18121 66093 | 2147483647 46338 44 | 0.000 % |
18.86/18.90 c | 50881 | 2782 18121 66093 | 2147483647 46594 44 | 0.000 % |
19.06/19.10 c | 51163 | 2782 18121 66093 | 2147483647 46876 44 | 0.000 % |
19.16/19.29 c | 51472 | 2782 18121 66093 | 2147483647 47185 44 | 0.000 % |
19.46/19.51 c | 51811 | 2782 18121 66093 | 2147483647 47524 45 | 0.000 % |
19.67/19.73 c | 52183 | 2782 18121 66093 | 2147483647 47896 45 | 0.000 % |
19.86/19.97 c | 52593 | 2782 18121 66093 | 2147483647 48306 45 | 0.000 % |
20.16/20.25 c | 53042 | 2782 18121 66093 | 2147483647 48755 45 | 0.000 % |
20.46/20.57 c | 53536 | 2782 18121 66093 | 2147483647 49249 45 | 0.000 % |
20.86/20.92 c | 54079 | 2782 18121 66093 | 2147483647 49792 45 | 0.000 % |
21.26/21.30 c | 54675 | 2782 18121 66093 | 2147483647 50388 45 | 0.000 % |
21.56/21.63 c | 55331 | 2782 18121 66093 | 2147483647 51044 45 | 0.000 % |
21.96/22.06 c | 56051 | 2782 18121 66093 | 2147483647 51764 46 | 0.000 % |
22.06/22.13 c | 56151 | 2782 18121 66093 | 2147483647 51864 46 | 0.000 % |
22.16/22.22 c | 56261 | 2782 18121 66093 | 2147483647 51974 46 | 0.000 % |
22.16/22.30 c | 56382 | 2782 18121 66093 | 2147483647 52095 46 | 0.000 % |
22.26/22.39 c | 56516 | 2782 18121 66093 | 2147483647 52229 46 | 0.000 % |
22.36/22.49 c | 56662 | 2782 18121 66093 | 2147483647 52375 46 | 0.000 % |
22.57/22.60 c | 56822 | 2782 18121 66093 | 2147483647 52535 46 | 0.000 % |
22.67/22.72 c | 56999 | 2782 18121 66093 | 2147483647 52712 46 | 0.000 % |
22.77/22.83 c | 57192 | 2782 18121 66093 | 2147483647 52905 46 | 0.000 % |
22.87/22.95 c | 57405 | 2782 18121 66093 | 2147483647 53118 46 | 0.000 % |
23.07/23.10 c | 57639 | 2782 18121 66093 | 2147483647 53352 46 | 0.000 % |
23.17/23.26 c | 57897 | 2782 18121 66093 | 2147483647 53610 46 | 0.000 % |
23.37/23.45 c | 58178 | 2782 18121 66093 | 2147483647 53891 46 | 0.000 % |
23.57/23.65 c | 58487 | 2782 18121 66093 | 2147483647 54200 46 | 0.000 % |
23.77/23.87 c | 58827 | 2782 18121 66093 | 2147483647 54540 46 | 0.000 % |
24.07/24.14 c | 59199 | 2782 18121 66093 | 2147483647 54912 46 | 0.000 % |
24.36/24.42 c | 59609 | 2782 18121 66093 | 2147483647 55322 46 | 0.000 % |
24.66/24.74 c | 60059 | 2782 18121 66093 | 2147483647 55772 46 | 0.000 % |
24.96/25.09 c | 60553 | 2782 18121 66093 | 2147483647 56266 46 | 0.000 % |
25.46/25.51 c | 61095 | 2782 18121 66093 | 2147483647 56808 46 | 0.000 % |
25.76/25.84 c | 61692 | 2782 18121 66093 | 2147483647 57405 47 | 0.000 % |
26.06/26.14 c | 62348 | 2782 18121 66093 | 2147483647 58061 46 | 0.000 % |
26.46/26.52 c | 63069 | 2782 18121 66093 | 2147483647 58782 46 | 0.000 % |
26.96/27.05 c | 63861 | 2782 18121 66093 | 2147483647 59574 46 | 0.000 % |
27.06/27.13 c | 63962 | 2782 18121 66093 | 2147483647 59675 46 | 0.000 % |
27.06/27.18 c | 64072 | 2782 18121 66093 | 2147483647 59785 46 | 0.000 % |
27.16/27.28 c | 64194 | 2782 18121 66093 | 2147483647 59907 46 | 0.000 % |
27.26/27.33 c | 64327 | 2782 18121 66093 | 2147483647 60040 46 | 0.000 % |
27.36/27.41 c | 64474 | 2782 18121 66093 | 2147483647 60187 46 | 0.000 % |
27.36/27.47 c | 64634 | 2782 18121 66093 | 2147483647 60347 46 | 0.000 % |
27.46/27.58 c | 64810 | 2782 18121 66093 | 2147483647 60523 46 | 0.000 % |
27.56/27.65 c | 65003 | 2782 18121 66093 | 2147483647 60716 46 | 0.000 % |
27.66/27.79 c | 65215 | 2782 18121 66093 | 2147483647 60928 46 | 0.000 % |
27.86/27.96 c | 65448 | 2782 18121 66093 | 2147483647 61161 46 | 0.000 % |
28.06/28.15 c | 65705 | 2782 18121 66093 | 2147483647 61418 46 | 0.000 % |
28.26/28.33 c | 65986 | 2782 18121 66093 | 2147483647 61699 46 | 0.000 % |
28.46/28.52 c | 66295 | 2782 18121 66093 | 2147483647 62008 46 | 0.000 % |
28.56/28.70 c | 66634 | 2782 18121 66093 | 2147483647 62347 46 | 0.000 % |
28.86/28.98 c | 67006 | 2782 18121 66093 | 2147483647 62719 46 | 0.000 % |
29.16/29.22 c | 67415 | 2782 18121 66093 | 2147483647 63128 46 | 0.000 % |
29.56/29.60 c | 67865 | 2782 18121 66093 | 2147483647 63578 46 | 0.000 % |
29.96/30.01 c | 68358 | 2782 18121 66093 | 2147483647 64071 46 | 0.000 % |
30.36/30.40 c | 68900 | 2782 18121 66093 | 2147483647 64613 46 | 0.000 % |
30.76/30.84 c | 69496 | 2782 18121 66093 | 2147483647 65209 46 | 0.000 % |
31.46/31.52 c | 70154 | 2782 18121 66093 | 2147483647 65867 46 | 0.000 % |
32.06/32.10 c | 70874 | 2782 18121 66093 | 2147483647 66587 46 | 0.000 % |
32.66/32.75 c | 71667 | 2782 18121 66093 | 2147483647 67380 46 | 0.000 % |
33.35/33.45 c | 72539 | 2782 18121 66093 | 2147483647 68252 46 | 0.000 % |
33.45/33.56 c | 72640 | 2782 18121 66093 | 2147483647 68353 46 | 0.000 % |
33.55/33.66 c | 72750 | 2782 18121 66093 | 2147483647 68463 46 | 0.000 % |
33.65/33.76 c | 72871 | 2782 18121 66093 | 2147483647 68584 46 | 0.000 % |
33.75/33.87 c | 73005 | 2782 18121 66093 | 2147483647 68718 46 | 0.000 % |
33.85/33.98 c | 73151 | 2782 18121 66093 | 2147483647 68864 47 | 0.000 % |
33.96/34.10 c | 73311 | 2782 18121 66093 | 2147483647 69024 47 | 0.000 % |
34.15/34.23 c | 73487 | 2782 18121 66093 | 2147483647 69200 47 | 0.000 % |
34.25/34.38 c | 73680 | 2782 18121 66093 | 2147483647 69393 47 | 0.000 % |
34.46/34.55 c | 73893 | 2782 18121 66093 | 2147483647 69606 47 | 0.000 % |
34.66/34.75 c | 74127 | 2782 18121 66093 | 2147483647 69840 47 | 0.000 % |
34.86/34.96 c | 74384 | 2782 18121 66093 | 2147483647 70097 47 | 0.000 % |
35.06/35.17 c | 74665 | 2782 18121 66093 | 2147483647 70378 47 | 0.000 % |
35.36/35.43 c | 74974 | 2782 18121 66093 | 2147483647 70687 47 | 0.000 % |
35.66/35.71 c | 75314 | 2782 18121 66093 | 2147483647 71027 47 | 0.000 % |
35.96/36.02 c | 75686 | 2782 18121 66093 | 2147483647 71399 47 | 0.000 % |
36.26/36.35 c | 76095 | 2782 18121 66093 | 2147483647 71808 47 | 0.000 % |
36.66/36.74 c | 76544 | 2782 18121 66093 | 2147483647 72257 47 | 0.000 % |
37.16/37.23 c | 77037 | 2782 18121 66093 | 2147483647 72750 47 | 0.000 % |
37.66/37.70 c | 77580 | 2782 18121 66093 | 2147483647 73293 47 | 0.000 % |
38.16/38.26 c | 78177 | 2782 18121 66093 | 2147483647 73890 47 | 0.000 % |
38.85/38.91 c | 78832 | 2782 18121 66093 | 2147483647 74545 47 | 0.000 % |
39.35/39.46 c | 79554 | 2782 18121 66093 | 2147483647 75267 47 | 0.000 % |
40.15/40.20 c | 80346 | 2782 18121 66093 | 2147483647 76059 47 | 0.000 % |
40.86/40.92 c | 81218 | 2782 18121 66093 | 2147483647 76931 48 | 0.000 % |
41.56/41.67 c | 82178 | 2782 18121 66093 | 2147483647 77891 48 | 0.000 % |
41.66/41.76 c | 82278 | 2782 18121 66093 | 2147483647 77991 48 | 0.000 % |
41.76/41.86 c | 82389 | 2782 18121 66093 | 2147483647 78102 48 | 0.000 % |
41.86/41.97 c | 82511 | 2782 18121 66093 | 2147483647 78224 48 | 0.000 % |
42.06/42.12 c | 82644 | 2782 18121 66093 | 2147483647 78357 48 | 0.000 % |
42.16/42.26 c | 82790 | 2782 18121 66093 | 2147483647 78503 48 | 0.000 % |
42.36/42.40 c | 82950 | 2782 18121 66093 | 2147483647 78663 48 | 0.000 % |
42.46/42.54 c | 83127 | 2782 18121 66093 | 2147483647 78840 48 | 0.000 % |
42.56/42.68 c | 83320 | 2782 18121 66093 | 2147483647 79033 48 | 0.000 % |
42.76/42.86 c | 83533 | 2782 18121 66093 | 2147483647 79246 48 | 0.000 % |
43.06/43.10 c | 83766 | 2782 18121 66093 | 2147483647 79479 48 | 0.000 % |
43.26/43.33 c | 84022 | 2782 18121 66093 | 2147483647 79735 48 | 0.000 % |
43.56/43.62 c | 84303 | 2782 18121 66093 | 2147483647 80016 48 | 0.000 % |
43.86/43.94 c | 84616 | 2782 18121 66093 | 2147483647 80329 48 | 0.000 % |
44.16/44.27 c | 84955 | 2782 18121 66093 | 2147483647 80668 48 | 0.000 % |
44.46/44.59 c | 85327 | 2782 18121 66093 | 2147483647 81040 48 | 0.000 % |
44.86/44.97 c | 85738 | 2782 18121 66093 | 2147483647 81451 48 | 0.000 % |
45.26/45.36 c | 86187 | 2782 18121 66093 | 2147483647 81900 48 | 0.000 % |
45.75/45.82 c | 86681 | 2782 18121 66093 | 2147483647 82394 48 | 0.000 % |
46.25/46.35 c | 87224 | 2782 18121 66093 | 2147483647 82937 48 | 0.000 % |
46.75/46.84 c | 87821 | 2782 18121 66093 | 2147483647 83534 48 | 0.000 % |
47.35/47.47 c | 88477 | 2782 18121 66093 | 2147483647 84190 48 | 0.000 % |
48.15/48.22 c | 89197 | 2782 18121 66093 | 2147483647 84910 48 | 0.000 % |
48.95/49.02 c | 89989 | 2782 18121 66093 | 2147483647 85702 48 | 0.000 % |
49.86/49.91 c | 90860 | 2782 18121 66093 | 2147483647 86573 48 | 0.000 % |
50.86/50.94 c | 91819 | 2782 18121 66093 | 2147483647 87532 49 | 0.000 % |
51.96/52.00 c | 92876 | 2782 18121 66093 | 2147483647 88589 49 | 0.000 % |
52.06/52.12 c | 92977 | 2782 18121 66093 | 2147483647 88690 49 | 0.000 % |
52.16/52.29 c | 93087 | 2782 18121 66093 | 2147483647 88800 49 | 0.000 % |
52.36/52.45 c | 93208 | 2782 18121 66093 | 2147483647 88921 49 | 0.000 % |
52.46/52.59 c | 93342 | 2782 18121 66093 | 2147483647 89055 49 | 0.000 % |
52.66/52.76 c | 93488 | 2782 18121 66093 | 2147483647 89201 49 | 0.000 % |
52.86/52.93 c | 93648 | 2782 18121 66093 | 2147483647 89361 49 | 0.000 % |
53.06/53.14 c | 93826 | 2782 18121 66093 | 2147483647 89539 49 | 0.000 % |
53.26/53.35 c | 94019 | 2782 18121 66093 | 2147483647 89732 49 | 0.000 % |
53.56/53.62 c | 94231 | 2782 18121 66093 | 2147483647 89944 49 | 0.000 % |
53.76/53.88 c | 94465 | 2782 18121 66093 | 2147483647 90178 49 | 0.000 % |
54.06/54.17 c | 94722 | 2782 18121 66093 | 2147483647 90435 49 | 0.000 % |
54.46/54.50 c | 95003 | 2782 18121 66093 | 2147483647 90716 49 | 0.000 % |
55.26/55.36 c | 95312 | 2782 18121 66093 | 2147483647 91025 49 | 0.000 % |
55.66/55.77 c | 95651 | 2782 18121 66093 | 2147483647 91364 49 | 0.000 % |
56.06/56.19 c | 96024 | 2782 18121 66093 | 2147483647 91737 49 | 0.000 % |
56.65/56.71 c | 96433 | 2782 18121 66093 | 2147483647 92146 49 | 0.000 % |
57.06/57.14 c | 96882 | 2782 18121 66093 | 2147483647 92595 49 | 0.000 % |
57.65/57.71 c | 97375 | 2782 18121 66093 | 2147483647 93088 49 | 0.000 % |
58.26/58.30 c | 97917 | 2782 18121 66093 | 2147483647 93630 49 | 0.000 % |
58.85/58.93 c | 98513 | 2782 18121 66093 | 2147483647 94226 49 | 0.000 % |
59.65/59.74 c | 99168 | 2782 18121 66093 | 2147483647 94881 49 | 0.000 % |
60.55/60.64 c | 99888 | 2782 18121 66093 | 2147483647 95601 49 | 0.000 % |
61.55/61.61 c | 100680 | 2782 18121 66093 | 95713 85192 50 | 0.000 % |
62.46/62.57 c | 101551 | 2782 18121 66093 | 95713 86063 50 | 0.000 % |
63.66/63.76 c | 102510 | 2782 18121 66093 | 95713 87022 50 | 0.000 % |
64.76/64.83 c | 103563 | 2782 18121 66093 | 95713 88075 50 | 0.000 % |
66.05/66.15 c | 104721 | 2782 18121 66093 | 95713 89233 50 | 0.000 % |
66.15/66.29 c | 104822 | 2782 18121 66093 | 95713 89334 50 | 0.000 % |
66.35/66.42 c | 104933 | 2782 18121 66093 | 95713 89445 50 | 0.000 % |
66.45/66.57 c | 105056 | 2782 18121 66093 | 95713 89568 50 | 0.000 % |
66.65/66.75 c | 105189 | 2782 18121 66093 | 95713 89701 50 | 0.000 % |
66.85/66.93 c | 105335 | 2782 18121 66093 | 95713 89847 50 | 0.000 % |
66.96/67.10 c | 105497 | 2782 18121 66093 | 95713 90009 50 | 0.000 % |
67.25/67.32 c | 105674 | 2782 18121 66093 | 95713 90186 50 | 0.000 % |
67.45/67.56 c | 105867 | 2782 18121 66093 | 95713 90379 50 | 0.000 % |
67.65/67.79 c | 106080 | 2782 18121 66093 | 95713 90592 50 | 0.000 % |
68.06/68.19 c | 106314 | 2782 18121 66093 | 95713 90826 50 | 0.000 % |
68.35/68.49 c | 106570 | 2782 18121 66093 | 95713 91082 50 | 0.000 % |
68.85/68.91 c | 106852 | 2782 18121 66093 | 95713 91364 50 | 0.000 % |
69.16/69.28 c | 107162 | 2782 18121 66093 | 95713 91674 50 | 0.000 % |
69.65/69.72 c | 107503 | 2782 18121 66093 | 95713 92015 50 | 0.000 % |
70.15/70.20 c | 107875 | 2782 18121 66093 | 95713 92387 50 | 0.000 % |
70.55/70.62 c | 108284 | 2782 18121 66093 | 95713 92796 50 | 0.000 % |
71.05/71.16 c | 108733 | 2782 18121 66093 | 95713 93245 50 | 0.000 % |
71.55/71.67 c | 109227 | 2782 18121 66093 | 95713 93739 50 | 0.000 % |
72.05/72.16 c | 109769 | 2782 18121 66093 | 95713 94281 50 | 0.000 % |
72.85/72.99 c | 110365 | 2782 18121 66093 | 94512 79156 53 | 0.000 % |
73.65/73.76 c | 111021 | 2782 18121 66093 | 94512 79812 53 | 0.000 % |
74.65/74.73 c | 111742 | 2782 18121 66093 | 94512 80533 53 | 0.000 % |
75.45/75.56 c | 112534 | 2782 18121 66093 | 94512 81325 53 | 0.000 % |
76.65/76.80 c | 113405 | 2782 18121 66093 | 94512 82196 53 | 0.000 % |
77.75/77.88 c | 114366 | 2782 18121 66093 | 94512 83157 53 | 0.000 % |
79.15/79.21 c | 115419 | 2782 18121 66093 | 94512 84210 53 | 0.000 % |
80.65/80.73 c | 116577 | 2782 18121 66093 | 94512 85368 53 | 0.000 % |
82.35/82.49 c | 117851 | 2782 18121 66093 | 94512 86642 53 | 0.000 % |
82.55/82.63 c | 117953 | 2782 18121 66093 | 94512 86744 53 | 0.000 % |
82.65/82.77 c | 118064 | 2782 18121 66093 | 94512 86855 53 | 0.000 % |
82.85/82.95 c | 118186 | 2782 18121 66093 | 94512 86977 53 | 0.000 % |
83.05/83.14 c | 118320 | 2782 18121 66093 | 94512 87111 53 | 0.000 % |
83.25/83.35 c | 118467 | 2782 18121 66093 | 94512 87258 53 | 0.000 % |
83.45/83.58 c | 118628 | 2782 18121 66093 | 94512 87419 53 | 0.000 % |
83.65/83.75 c | 118805 | 2782 18121 66093 | 94512 87596 53 | 0.000 % |
83.85/83.98 c | 118999 | 2782 18121 66093 | 94512 87790 53 | 0.000 % |
84.15/84.27 c | 119212 | 2782 18121 66093 | 94512 88003 53 | 0.000 % |
84.45/84.55 c | 119446 | 2782 18121 66093 | 94512 88237 53 | 0.000 % |
84.75/84.90 c | 119702 | 2782 18121 66093 | 94512 88493 53 | 0.000 % |
85.15/85.27 c | 119984 | 2782 18121 66093 | 94512 88775 53 | 0.000 % |
85.75/85.83 c | 120293 | 2782 18121 66093 | 88792 71625 53 | 0.000 % |
86.15/86.21 c | 120633 | 2782 18121 66093 | 88792 71965 53 | 0.000 % |
86.55/86.64 c | 121006 | 2782 18121 66093 | 88792 72338 53 | 0.000 % |
86.95/87.07 c | 121415 | 2782 18121 66093 | 88792 72747 53 | 0.000 % |
87.45/87.57 c | 121864 | 2782 18121 66093 | 88792 73196 53 | 0.000 % |
88.15/88.26 c | 122359 | 2782 18121 66093 | 88792 73691 53 | 0.000 % |
88.75/88.84 c | 122901 | 2782 18121 66093 | 88792 74233 53 | 0.000 % |
89.35/89.49 c | 123497 | 2782 18121 66093 | 88792 74829 53 | 0.000 % |
90.15/90.21 c | 124152 | 2782 18121 66093 | 88792 75484 53 | 0.000 % |
90.95/91.03 c | 124873 | 2782 18121 66093 | 88792 76205 53 | 0.000 % |
91.75/91.81 c | 125666 | 2782 18121 66093 | 88792 76998 53 | 0.000 % |
92.54/92.65 c | 126537 | 2782 18121 66093 | 88792 77869 53 | 0.000 % |
93.74/93.84 c | 127495 | 2782 18121 66093 | 88792 78827 53 | 0.000 % |
95.04/95.14 c | 128549 | 2782 18121 66093 | 88792 79881 53 | 0.000 % |
96.65/96.72 c | 129707 | 2782 18121 66093 | 88792 81039 53 | 0.000 % |
98.34/98.47 c | 130982 | 2782 18121 66093 | 81333 68106 54 | 0.000 % |
100.05/100.15 c | 132383 | 2782 18121 66093 | 81333 69507 54 | 0.000 % |
100.14/100.27 c | 132483 | 2782 18121 66093 | 81333 69607 54 | 0.000 % |
100.24/100.38 c | 132593 | 2782 18121 66093 | 81333 69717 54 | 0.000 % |
100.44/100.55 c | 132715 | 2782 18121 66093 | 81333 69839 54 | 0.000 % |
100.64/100.70 c | 132850 | 2782 18121 66093 | 81333 69974 54 | 0.000 % |
100.74/100.88 c | 132996 | 2782 18121 66093 | 81333 70120 54 | 0.000 % |
100.94/101.06 c | 133157 | 2782 18121 66093 | 81333 70281 54 | 0.000 % |
101.15/101.27 c | 133333 | 2782 18121 66093 | 81333 70457 54 | 0.000 % |
101.34/101.48 c | 133526 | 2782 18121 66093 | 81333 70650 54 | 0.000 % |
101.74/101.82 c | 133739 | 2782 18121 66093 | 81333 70863 54 | 0.000 % |
102.04/102.15 c | 133973 | 2782 18121 66093 | 81333 71097 54 | 0.000 % |
102.44/102.50 c | 134229 | 2782 18121 66093 | 81333 71353 54 | 0.000 % |
102.74/102.85 c | 134510 | 2782 18121 66093 | 81333 71634 54 | 0.000 % |
103.14/103.29 c | 134819 | 2782 18121 66093 | 81333 71943 54 | 0.000 % |
103.64/103.75 c | 135158 | 2782 18121 66093 | 81333 72282 54 | 0.000 % |
104.14/104.30 c | 135530 | 2782 18121 66093 | 81333 72654 54 | 0.000 % |
104.84/104.94 c | 135939 | 2782 18121 66093 | 81333 73063 54 | 0.000 % |
105.54/105.63 c | 136388 | 2782 18121 66093 | 81333 73512 54 | 0.000 % |
106.24/106.36 c | 136881 | 2782 18121 66093 | 81333 74005 54 | 0.000 % |
107.04/107.12 c | 137424 | 2782 18121 66093 | 81333 74548 54 | 0.000 % |
107.74/107.89 c | 138021 | 2782 18121 66093 | 81333 75145 54 | 0.000 % |
108.54/108.63 c | 138677 | 2782 18121 66093 | 81333 75801 54 | 0.000 % |
109.44/109.57 c | 139397 | 2782 18121 66093 | 81333 76521 54 | 0.000 % |
110.54/110.67 c | 140191 | 2782 18121 66093 | 77124 63237 54 | 0.000 % |
111.64/111.70 c | 141063 | 2782 18121 66093 | 77124 64109 54 | 0.000 % |
112.84/112.98 c | 142022 | 2782 18121 66093 | 77124 65068 54 | 0.000 % |
114.14/114.21 c | 143075 | 2782 18121 66093 | 77124 66121 54 | 0.000 % |
115.74/115.80 c | 144234 | 2782 18121 66093 | 77124 67280 54 | 0.000 % |
117.64/117.70 c | 145508 | 2782 18121 66093 | 77124 68554 54 | 0.000 % |
119.14/119.23 c | 146908 | 2782 18121 66093 | 77124 69954 54 | 0.000 % |
120.54/120.60 c | 148451 | 2782 18121 66093 | 77124 71497 54 | 0.000 % |
120.64/120.70 c | 148551 | 2782 18121 66093 | 77124 71597 54 | 0.000 % |
120.74/120.88 c | 148662 | 2782 18121 66093 | 77124 71708 54 | 0.000 % |
120.94/121.05 c | 148783 | 2782 18121 66093 | 77124 71829 54 | 0.000 % |
121.14/121.26 c | 148917 | 2782 18121 66093 | 77124 71963 54 | 0.000 % |
121.34/121.46 c | 149064 | 2782 18121 66093 | 77124 72110 54 | 0.000 % |
121.64/121.72 c | 149224 | 2782 18121 66093 | 77124 72270 54 | 0.000 % |
121.84/121.95 c | 149400 | 2782 18121 66093 | 77124 72446 54 | 0.000 % |
122.14/122.24 c | 149594 | 2782 18121 66093 | 77124 72640 54 | 0.000 % |
122.44/122.59 c | 149807 | 2782 18121 66093 | 77124 72853 54 | 0.000 % |
122.84/122.92 c | 150040 | 2782 18121 66093 | 73047 73086 54 | 0.000 % |
123.34/123.48 c | 150296 | 2782 18121 66093 | 73047 59417 54 | 0.000 % |
123.74/123.83 c | 150577 | 2782 18121 66093 | 73047 59698 54 | 0.000 % |
124.14/124.27 c | 150886 | 2782 18121 66093 | 73047 60007 54 | 0.000 % |
124.53/124.67 c | 151225 | 2782 18121 66093 | 73047 60346 54 | 0.000 % |
124.93/125.09 c | 151597 | 2782 18121 66093 | 73047 60718 54 | 0.000 % |
125.53/125.66 c | 152008 | 2782 18121 66093 | 73047 61129 54 | 0.000 % |
126.13/126.28 c | 152460 | 2782 18121 66093 | 73047 61581 54 | 0.000 % |
126.83/126.90 c | 152953 | 2782 18121 66093 | 73047 62074 54 | 0.000 % |
127.53/127.66 c | 153495 | 2782 18121 66093 | 73047 62616 54 | 0.000 % |
128.43/128.50 c | 154092 | 2782 18121 66093 | 73047 63213 54 | 0.000 % |
129.33/129.46 c | 154748 | 2782 18121 66093 | 73047 63869 54 | 0.000 % |
130.23/130.38 c | 155469 | 2782 18121 66093 | 73047 64590 54 | 0.000 % |
131.42/131.50 c | 156261 | 2782 18121 66093 | 73047 65382 54 | 0.000 % |
132.62/132.70 c | 157133 | 2782 18121 66093 | 73047 66254 54 | 0.000 % |
134.03/134.13 c | 158092 | 2782 18121 66093 | 73047 67213 54 | 0.000 % |
135.52/135.66 c | 159145 | 2782 18121 66093 | 73047 68266 54 | 0.000 % |
137.33/137.40 c | 160304 | 2782 18121 66093 | 69121 56738 53 | 0.000 % |
138.72/138.88 c | 161577 | 2782 18121 66093 | 69121 58011 53 | 0.000 % |
140.62/140.77 c | 162977 | 2782 18121 66093 | 69121 59411 53 | 0.000 % |
142.63/142.77 c | 164517 | 2782 18121 66093 | 69121 60951 53 | 0.000 % |
145.13/145.25 c | 166211 | 2782 18121 66093 | 69121 62645 53 | 0.000 % |
145.23/145.39 c | 166312 | 2782 18121 66093 | 69121 62746 54 | 0.000 % |
145.43/145.53 c | 166422 | 2782 18121 66093 | 69121 62856 54 | 0.000 % |
145.53/145.69 c | 166544 | 2782 18121 66093 | 69121 62978 54 | 0.000 % |
145.83/145.93 c | 166678 | 2782 18121 66093 | 69121 63112 54 | 0.000 % |
146.03/146.15 c | 166825 | 2782 18121 66093 | 69121 63259 54 | 0.000 % |
146.23/146.38 c | 166986 | 2782 18121 66093 | 69121 63420 54 | 0.000 % |
146.53/146.61 c | 167162 | 2782 18121 66093 | 69121 63596 54 | 0.000 % |
146.73/146.89 c | 167355 | 2782 18121 66093 | 69121 63789 54 | 0.000 % |
147.13/147.21 c | 167567 | 2782 18121 66093 | 69121 64001 54 | 0.000 % |
147.43/147.58 c | 167800 | 2782 18121 66093 | 69121 64234 54 | 0.000 % |
147.83/147.93 c | 168056 | 2782 18121 66093 | 69121 64490 54 | 0.000 % |
148.23/148.34 c | 168337 | 2782 18121 66093 | 69121 64771 54 | 0.000 % |
148.63/148.73 c | 168647 | 2782 18121 66093 | 69121 65081 54 | 0.000 % |
149.03/149.12 c | 168987 | 2782 18121 66093 | 69121 65421 54 | 0.000 % |
149.43/149.56 c | 169360 | 2782 18121 66093 | 69121 65794 54 | 0.000 % |
149.93/150.08 c | 169770 | 2782 18121 66093 | 69121 66204 54 | 0.000 % |
150.72/150.84 c | 170219 | 2782 18121 66093 | 66435 54011 53 | 0.000 % |
151.32/151.44 c | 170713 | 2782 18121 66093 | 66435 54505 53 | 0.000 % |
151.92/152.05 c | 171255 | 2782 18121 66093 | 66435 55047 53 | 0.000 % |
152.62/152.73 c | 171851 | 2782 18121 66093 | 66435 55643 53 | 0.000 % |
153.32/153.48 c | 172507 | 2782 18121 66093 | 66435 56299 53 | 0.000 % |
154.32/154.44 c | 173227 | 2782 18121 66093 | 66435 57019 53 | 0.000 % |
155.22/155.34 c | 174019 | 2782 18121 66093 | 66435 57811 53 | 0.000 % |
155.92/156.07 c | 174891 | 2782 18121 66093 | 66435 58683 53 | 0.000 % |
156.72/156.88 c | 175850 | 2782 18121 66093 | 66435 59642 53 | 0.000 % |
157.82/157.96 c | 176903 | 2782 18121 66093 | 66435 60695 53 | 0.000 % |
159.02/159.14 c | 178061 | 2782 18121 66093 | 66435 61853 53 | 0.000 % |
160.42/160.55 c | 179335 | 2782 18121 66093 | 66435 63127 53 | 0.000 % |
162.12/162.26 c | 180735 | 2782 18121 66093 | 63793 56354 53 | 0.000 % |
163.52/163.69 c | 182276 | 2782 18121 66093 | 63793 57895 53 | 0.000 % |
165.12/165.25 c | 183970 | 2782 18121 66093 | 63793 59589 53 | 0.000 % |
167.02/167.11 c | 185833 | 2782 18121 66093 | 63793 61452 53 | 0.000 % |
167.12/167.22 c | 185934 | 2782 18121 66093 | 63793 61553 53 | 0.000 % |
167.22/167.31 c | 186044 | 2782 18121 66093 | 63793 61663 53 | 0.000 % |
167.32/167.49 c | 186165 | 2782 18121 66093 | 63793 61784 53 | 0.000 % |
167.52/167.63 c | 186298 | 2782 18121 66093 | 63793 61917 53 | 0.000 % |
167.62/167.77 c | 186445 | 2782 18121 66093 | 63793 62064 53 | 0.000 % |
167.82/167.94 c | 186606 | 2782 18121 66093 | 63793 62225 53 | 0.000 % |
168.02/168.11 c | 186782 | 2782 18121 66093 | 63793 62401 53 | 0.000 % |
168.22/168.31 c | 186976 | 2782 18121 66093 | 63793 62595 53 | 0.000 % |
168.42/168.51 c | 187188 | 2782 18121 66093 | 63793 62807 53 | 0.000 % |
168.62/168.74 c | 187423 | 2782 18121 66093 | 63793 63042 53 | 0.000 % |
168.92/169.01 c | 187679 | 2782 18121 66093 | 63793 63298 53 | 0.000 % |
169.12/169.26 c | 187960 | 2782 18121 66093 | 63793 63579 53 | 0.000 % |
169.42/169.55 c | 188270 | 2782 18121 66093 | 63793 63889 53 | 0.000 % |
169.82/169.96 c | 188610 | 2782 18121 66093 | 63793 57448 53 | 0.000 % |
170.12/170.20 c | 188982 | 2782 18121 66093 | 63793 57820 53 | 0.000 % |
170.52/170.61 c | 189391 | 2782 18121 66093 | 63793 58229 53 | 0.000 % |
170.92/171.03 c | 189840 | 2782 18121 66093 | 63793 58678 53 | 0.000 % |
171.32/171.48 c | 190334 | 2782 18121 66093 | 2147483647 59172 53 | 0.000 % |
171.82/171.94 c | 190876 | 2782 18121 66093 | 2147483647 59714 53 | 0.000 % |
172.42/172.52 c | 191473 | 2782 18121 66093 | 2147483647 60311 53 | 0.000 % |
173.12/173.22 c | 192128 | 2782 18121 66093 | 2147483647 60966 53 | 0.000 % |
173.72/173.84 c | 192849 | 2782 18121 66093 | 2147483647 61687 53 | 0.000 % |
174.42/174.57 c | 193642 | 2782 18121 66093 | 2147483647 62480 53 | 0.000 % |
175.32/175.45 c | 194513 | 2782 18121 66093 | 2147483647 63351 53 | 0.000 % |
176.41/176.52 c | 195471 | 2782 18121 66093 | 2147483647 64309 53 | 0.000 % |
177.51/177.69 c | 196525 | 2782 18121 66093 | 2147483647 65363 53 | 0.000 % |
178.91/179.00 c | 197683 | 2782 18121 66093 | 2147483647 66521 53 | 0.000 % |
180.41/180.54 c | 198956 | 2782 18121 66093 | 2147483647 67794 53 | 0.000 % |
182.31/182.45 c | 200357 | 2782 18121 66093 | 68839 59996 53 | 0.000 % |
184.21/184.33 c | 201897 | 2782 18121 66093 | 68839 61536 53 | 0.000 % |
185.91/186.06 c | 203591 | 2782 18121 66093 | 68839 63230 53 | 0.000 % |
188.02/188.19 c | 205454 | 2782 18121 66093 | 68839 65093 53 | 0.000 % |
190.41/190.55 c | 207503 | 2782 18121 66093 | 68839 67142 53 | 0.000 % |
190.61/190.73 c | 207603 | 2782 18121 66093 | 68839 67242 53 | 0.000 % |
190.81/190.90 c | 207713 | 2782 18121 66093 | 68839 67352 53 | 0.000 % |
190.91/191.09 c | 207834 | 2782 18121 66093 | 68839 67473 53 | 0.000 % |
191.11/191.27 c | 207967 | 2782 18121 66093 | 68839 67606 53 | 0.000 % |
191.31/191.46 c | 208113 | 2782 18121 66093 | 68839 67752 53 | 0.000 % |
191.51/191.67 c | 208275 | 2782 18121 66093 | 68839 67914 53 | 0.000 % |
191.71/191.87 c | 208452 | 2782 18121 66093 | 68839 68091 53 | 0.000 % |
192.01/192.10 c | 208645 | 2782 18121 66093 | 68839 68284 53 | 0.000 % |
192.21/192.33 c | 208857 | 2782 18121 66093 | 68839 68496 53 | 0.000 % |
192.41/192.56 c | 209092 | 2782 18121 66093 | 68839 68731 53 | 0.000 % |
192.91/193.03 c | 209348 | 2782 18121 66093 | 68839 58415 53 | 0.000 % |
193.11/193.27 c | 209630 | 2782 18121 66093 | 68839 58697 53 | 0.000 % |
193.51/193.63 c | 209939 | 2782 18121 66093 | 68839 59006 53 | 0.000 % |
193.91/194.10 c | 210278 | 2782 18121 66093 | 59068 50639 52 | 0.000 % |
194.31/194.47 c | 210651 | 2782 18121 66093 | 59068 51012 52 | 0.000 % |
194.61/194.77 c | 211060 | 2782 18121 66093 | 59068 51421 52 | 0.000 % |
195.01/195.12 c | 211509 | 2782 18121 66093 | 59068 51870 52 | 0.000 % |
195.51/195.64 c | 212003 | 2782 18121 66093 | 59068 52364 52 | 0.000 % |
196.01/196.18 c | 212545 | 2782 18121 66093 | 59068 52906 52 | 0.000 % |
196.71/196.87 c | 213142 | 2782 18121 66093 | 59068 53503 52 | 0.000 % |
197.41/197.58 c | 213797 | 2782 18121 66093 | 59068 54158 53 | 0.000 % |
198.21/198.33 c | 214518 | 2782 18121 66093 | 59068 54879 53 | 0.000 % |
199.11/199.27 c | 215310 | 2782 18121 66093 | 59068 55671 53 | 0.000 % |
200.21/200.30 c | 216181 | 2782 18121 66093 | 59068 56542 53 | 0.000 % |
201.31/201.45 c | 217140 | 2782 18121 66093 | 59068 57501 53 | 0.000 % |
202.51/202.64 c | 218193 | 2782 18121 66093 | 59068 58554 53 | 0.000 % |
203.71/203.88 c | 219352 | 2782 18121 66093 | 59068 52024 52 | 0.000 % |
205.01/205.15 c | 220626 | 2782 18121 66093 | 52673 46743 52 | 0.000 % |
206.21/206.31 c | 222027 | 2782 18121 66093 | 52673 48144 52 | 0.000 % |
207.90/208.04 c | 223568 | 2782 18121 66093 | 52673 49685 52 | 0.000 % |
209.41/209.51 c | 225262 | 2782 18121 66093 | 52673 51379 52 | 0.000 % |
211.30/211.43 c | 227126 | 2782 18121 66093 | 52673 47517 52 | 0.000 % |
213.31/213.45 c | 229175 | 2782 18121 66093 | 52673 49566 52 | 0.000 % |
215.51/215.68 c | 231429 | 2782 18121 66093 | 50392 46663 52 | 0.000 % |
215.60/215.75 c | 231529 | 2782 18121 66093 | 50392 46763 52 | 0.000 % |
215.70/215.89 c | 231639 | 2782 18121 66093 | 50392 46873 52 | 0.000 % |
215.90/216.02 c | 231761 | 2782 18121 66093 | 50392 46995 52 | 0.000 % |
216.00/216.15 c | 231894 | 2782 18121 66093 | 50392 47128 52 | 0.000 % |
216.10/216.29 c | 232041 | 2782 18121 66093 | 50392 47275 52 | 0.000 % |
216.30/216.47 c | 232203 | 2782 18121 66093 | 50392 47437 52 | 0.000 % |
216.51/216.65 c | 232380 | 2782 18121 66093 | 50392 47614 52 | 0.000 % |
216.70/216.84 c | 232573 | 2782 18121 66093 | 50392 47807 52 | 0.000 % |
217.00/217.10 c | 232786 | 2782 18121 66093 | 50392 48020 52 | 0.000 % |
217.10/217.28 c | 233020 | 2782 18121 66093 | 50392 48254 52 | 0.000 % |
217.30/217.48 c | 233277 | 2782 18121 66093 | 50392 48511 52 | 0.000 % |
217.61/217.77 c | 233558 | 2782 18121 66093 | 50392 48792 52 | 0.000 % |
218.00/218.11 c | 233868 | 2782 18121 66093 | 50392 49102 52 | 0.000 % |
218.30/218.48 c | 234207 | 2782 18121 66093 | 50392 49441 52 | 0.000 % |
218.70/218.88 c | 234579 | 2782 18121 66093 | 50392 49813 52 | 0.000 % |
219.20/219.33 c | 234988 | 2782 18121 66093 | 50392 50222 52 | 0.000 % |
219.70/219.85 c | 235438 | 2782 18121 66093 | 50392 45624 52 | 0.000 % |
220.20/220.35 c | 235931 | 2782 18121 66093 | 50392 46117 52 | 0.000 % |
220.80/220.93 c | 236473 | 2782 18121 66093 | 50392 46659 52 | 0.000 % |
221.40/221.58 c | 237070 | 2782 18121 66093 | 50392 47256 52 | 0.000 % |
222.10/222.23 c | 237725 | 2782 18121 66093 | 50392 47911 52 | 0.000 % |
222.80/222.91 c | 238445 | 2782 18121 66093 | 50392 48631 52 | 0.000 % |
223.50/223.66 c | 239237 | 2782 18121 66093 | 50392 49423 52 | 0.000 % |
224.40/224.53 c | 240108 | 2782 18121 66093 | 2147483647 50294 52 | 0.000 % |
225.40/225.53 c | 241067 | 2782 18121 66093 | 2147483647 51253 52 | 0.000 % |
226.60/226.78 c | 242120 | 2782 18121 66093 | 2147483647 52306 52 | 0.000 % |
227.70/227.85 c | 243279 | 2782 18121 66093 | 2147483647 53465 52 | 0.000 % |
228.90/229.09 c | 244553 | 2782 18121 66093 | 2147483647 54739 53 | 0.000 % |
230.40/230.52 c | 245953 | 2782 18121 66093 | 2147483647 56139 53 | 0.000 % |
231.80/231.97 c | 247493 | 2782 18121 66093 | 2147483647 57679 53 | 0.000 % |
233.40/233.56 c | 249188 | 2782 18121 66093 | 2147483647 59374 53 | 0.000 % |
235.30/235.46 c | 251052 | 2782 18121 66093 | 60187 55095 53 | 0.000 % |
237.89/238.07 c | 253101 | 2782 18121 66093 | 60187 57144 53 | 0.000 % |
240.59/240.72 c | 255354 | 2782 18121 66093 | 60187 59397 53 | 0.000 % |
243.19/243.31 c | 257832 | 2782 18121 66093 | 60187 53451 53 | 0.000 % |
243.19/243.39 c | 257933 | 2782 18121 66093 | 60187 53552 53 | 0.000 % |
243.29/243.49 c | 258043 | 2782 18121 66093 | 60187 53662 53 | 0.000 % |
243.49/243.66 c | 258165 | 2782 18121 66093 | 60187 53784 53 | 0.000 % |
243.69/243.82 c | 258299 | 2782 18121 66093 | 60187 53918 53 | 0.000 % |
243.79/243.97 c | 258445 | 2782 18121 66093 | 60187 54064 53 | 0.000 % |
244.00/244.17 c | 258605 | 2782 18121 66093 | 60187 54224 53 | 0.000 % |
244.19/244.38 c | 258781 | 2782 18121 66093 | 60187 54400 53 | 0.000 % |
244.39/244.57 c | 258975 | 2782 18121 66093 | 60187 54594 53 | 0.000 % |
244.59/244.79 c | 259188 | 2782 18121 66093 | 60187 54807 53 | 0.000 % |
244.89/245.04 c | 259421 | 2782 18121 66093 | 60187 55040 53 | 0.000 % |
245.20/245.32 c | 259678 | 2782 18121 66093 | 60187 55297 53 | 0.000 % |
245.49/245.63 c | 259959 | 2782 18121 66093 | 60187 55578 53 | 0.000 % |
245.89/246.04 c | 260268 | 2782 18121 66093 | 55619 48369 52 | 0.000 % |
246.30/246.42 c | 260608 | 2782 18121 66093 | 55619 48709 52 | 0.000 % |
246.69/246.83 c | 260980 | 2782 18121 66093 | 55619 49081 52 | 0.000 % |
246.99/247.18 c | 261389 | 2782 18121 66093 | 55619 49490 52 | 0.000 % |
247.49/247.62 c | 261839 | 2782 18121 66093 | 55619 49940 52 | 0.000 % |
247.89/248.07 c | 262333 | 2782 18121 66093 | 55619 50434 52 | 0.000 % |
248.50/248.61 c | 262875 | 2782 18121 66093 | 55619 50976 52 | 0.000 % |
248.99/249.15 c | 263472 | 2782 18121 66093 | 55619 51573 52 | 0.000 % |
249.60/249.77 c | 264127 | 2782 18121 66093 | 55619 52228 52 | 0.000 % |
250.29/250.40 c | 264848 | 2782 18121 66093 | 55619 52949 52 | 0.000 % |
251.00/251.13 c | 265640 | 2782 18121 66093 | 55619 53741 52 | 0.000 % |
251.80/251.91 c | 266512 | 2782 18121 66093 | 55619 54613 52 | 0.000 % |
252.80/252.92 c | 267471 | 2782 18121 66093 | 55619 55572 52 | 0.000 % |
253.80/253.91 c | 268524 | 2782 18121 66093 | 55619 51052 52 | 0.000 % |
254.90/255.08 c | 269682 | 2782 18121 66093 | 55619 52210 52 | 0.000 % |
256.20/256.34 c | 270955 | 2782 18121 66093 | 2147483647 53483 52 | 0.000 % |
257.70/257.82 c | 272356 | 2782 18121 66093 | 2147483647 54884 52 | 0.000 % |
259.30/259.41 c | 273899 | 2782 18121 66093 | 2147483647 56427 53 | 0.000 % |
261.20/261.35 c | 275594 | 2782 18121 66093 | 2147483647 58122 53 | 0.000 % |
263.39/263.52 c | 277458 | 2782 18121 66093 | 2147483647 59986 53 | 0.000 % |
265.69/265.81 c | 279508 | 2782 18121 66093 | 2147483647 62036 53 | 0.000 % |
268.30/268.42 c | 281765 | 2782 18121 66093 | 62528 56484 53 | 0.000 % |
270.99/271.13 c | 284244 | 2782 18121 66093 | 62528 58963 53 | 0.000 % |
273.99/274.10 c | 286969 | 2782 18121 66093 | 62528 61688 53 | 0.000 % |
274.09/274.20 c | 287069 | 2782 18121 66093 | 62528 61788 53 | 0.000 % |
274.19/274.37 c | 287180 | 2782 18121 66093 | 62528 61899 53 | 0.000 % |
274.39/274.54 c | 287301 | 2782 18121 66093 | 62528 62020 53 | 0.000 % |
274.59/274.72 c | 287434 | 2782 18121 66093 | 62528 62153 53 | 0.000 % |
274.69/274.89 c | 287582 | 2782 18121 66093 | 62528 62301 53 | 0.000 % |
274.99/275.13 c | 287742 | 2782 18121 66093 | 62528 62461 53 | 0.000 % |
275.29/275.45 c | 287918 | 2782 18121 66093 | 62528 53298 52 | 0.000 % |
275.49/275.70 c | 288111 | 2782 18121 66093 | 62528 53491 52 | 0.000 % |
275.79/275.98 c | 288324 | 2782 18121 66093 | 62528 53704 52 | 0.000 % |
276.09/276.25 c | 288557 | 2782 18121 66093 | 62528 53937 52 | 0.000 % |
276.39/276.57 c | 288813 | 2782 18121 66093 | 62528 54193 52 | 0.000 % |
276.69/276.83 c | 289095 | 2782 18121 66093 | 62528 54475 52 | 0.000 % |
277.09/277.22 c | 289404 | 2782 18121 66093 | 62528 54784 52 | 0.000 % |
277.49/277.60 c | 289743 | 2782 18121 66093 | 62528 55123 52 | 0.000 % |
277.79/277.91 c | 290115 | 2782 18121 66093 | 55380 55495 52 | 0.000 % |
278.19/278.36 c | 290524 | 2782 18121 66093 | 55380 47792 52 | 0.000 % |
278.69/278.83 c | 290974 | 2782 18121 66093 | 55380 48242 52 | 0.000 % |
279.19/279.31 c | 291467 | 2782 18121 66093 | 55380 48735 52 | 0.000 % |
279.69/279.84 c | 292009 | 2782 18121 66093 | 55380 49277 52 | 0.000 % |
280.29/280.46 c | 292605 | 2782 18121 66093 | 55380 49873 52 | 0.000 % |
280.99/281.15 c | 293264 | 2782 18121 66093 | 55380 50532 52 | 0.000 % |
281.79/281.90 c | 293986 | 2782 18121 66093 | 55380 51254 52 | 0.000 % |
282.59/282.73 c | 294779 | 2782 18121 66093 | 55380 52047 52 | 0.000 % |
283.39/283.59 c | 295650 | 2782 18121 66093 | 55380 52918 52 | 0.000 % |
284.39/284.59 c | 296608 | 2782 18121 66093 | 55380 53876 52 | 0.000 % |
285.29/285.47 c | 297662 | 2782 18121 66093 | 55380 54930 52 | 0.000 % |
286.49/286.68 c | 298823 | 2782 18121 66093 | 55380 49810 52 | 0.000 % |
287.89/288.03 c | 300097 | 2782 18121 66093 | 50988 45632 52 | 0.000 % |
289.29/289.42 c | 301497 | 2782 18121 66093 | 50988 47032 52 | 0.000 % |
290.69/290.83 c | 303038 | 2782 18121 66093 | 50988 48573 52 | 0.000 % |
292.28/292.50 c | 304733 | 2782 18121 66093 | 50988 50268 52 | 0.000 % |
293.98/294.15 c | 306596 | 2782 18121 66093 | 50988 47019 52 | 0.000 % |
296.28/296.41 c | 308645 | 2782 18121 66093 | 50988 49068 52 | 0.000 % |
298.18/298.35 c | 310899 | 2782 18121 66093 | 2147483647 51322 52 | 0.000 % |
300.88/301.04 c | 313377 | 2782 18121 66093 | 2147483647 53800 52 | 0.000 % |
303.58/303.78 c | 316102 | 2782 18121 66093 | 2147483647 56525 53 | 0.000 % |
307.18/307.30 c | 319100 | 2782 18121 66093 | 2147483647 59523 53 | 0.000 % |
307.28/307.42 c | 319201 | 2782 18121 66093 | 2147483647 59624 53 | 0.000 % |
307.38/307.56 c | 319312 | 2782 18121 66093 | 2147483647 59735 53 | 0.000 % |
307.48/307.70 c | 319433 | 2782 18121 66093 | 2147483647 59856 53 | 0.000 % |
307.68/307.85 c | 319568 | 2782 18121 66093 | 2147483647 59991 53 | 0.000 % |
307.88/308.03 c | 319715 | 2782 18121 66093 | 2147483647 60138 53 | 0.000 % |
308.08/308.22 c | 319877 | 2782 18121 66093 | 2147483647 60300 53 | 0.000 % |
308.28/308.45 c | 320054 | 2782 18121 66093 | 60423 60477 53 | 0.000 % |
308.58/308.77 c | 320249 | 2782 18121 66093 | 60423 52395 52 | 0.000 % |
308.88/309.02 c | 320462 | 2782 18121 66093 | 60423 52608 52 | 0.000 % |
309.18/309.30 c | 320696 | 2782 18121 66093 | 60423 52842 52 | 0.000 % |
309.38/309.57 c | 320952 | 2782 18121 66093 | 60423 53098 52 | 0.000 % |
309.68/309.87 c | 321234 | 2782 18121 66093 | 60423 53380 52 | 0.000 % |
310.08/310.20 c | 321545 | 2782 18121 66093 | 60423 53691 52 | 0.000 % |
310.48/310.62 c | 321885 | 2782 18121 66093 | 60423 54031 52 | 0.000 % |
310.88/311.00 c | 322258 | 2782 18121 66093 | 60423 54404 52 | 0.000 % |
311.28/311.48 c | 322668 | 2782 18121 66093 | 60423 54814 52 | 0.000 % |
311.77/311.99 c | 323117 | 2782 18121 66093 | 60423 55263 52 | 0.000 % |
312.37/312.56 c | 323611 | 2782 18121 66093 | 60423 55757 52 | 0.000 % |
312.97/313.18 c | 324153 | 2782 18121 66093 | 60423 56299 52 | 0.000 % |
313.67/313.88 c | 324749 | 2782 18121 66093 | 60423 56895 52 | 0.000 % |
314.47/314.62 c | 325405 | 2782 18121 66093 | 60423 57551 52 | 0.000 % |
315.37/315.50 c | 326125 | 2782 18121 66093 | 60423 58271 52 | 0.000 % |
316.17/316.32 c | 326917 | 2782 18121 66093 | 60423 59063 52 | 0.000 % |
317.17/317.33 c | 327788 | 2782 18121 66093 | 60423 59934 53 | 0.000 % |
318.37/318.56 c | 328746 | 2782 18121 66093 | 60423 52189 52 | 0.000 % |
319.47/319.65 c | 329799 | 2782 18121 66093 | 60423 53242 52 | 0.000 % |
320.67/320.88 c | 330959 | 2782 18121 66093 | 53444 46879 52 | 0.000 % |
321.97/322.18 c | 332234 | 2782 18121 66093 | 53444 48154 52 | 0.000 % |
323.57/323.71 c | 333635 | 2782 18121 66093 | 53444 49555 52 | 0.000 % |
325.07/325.27 c | 335175 | 2782 18121 66093 | 53444 51095 52 | 0.000 % |
326.97/327.19 c | 336870 | 2782 18121 66093 | 53444 52790 52 | 0.000 % |
329.07/329.20 c | 338733 | 2782 18121 66093 | 53444 48205 52 | 0.000 % |
331.36/331.56 c | 340782 | 2782 18121 66093 | 49472 44181 52 | 0.000 % |
333.56/333.78 c | 343036 | 2782 18121 66093 | 49472 46435 52 | 0.000 % |
336.26/336.40 c | 345514 | 2782 18121 66093 | 49472 48913 52 | 0.000 % |
339.06/339.27 c | 348239 | 2782 18121 66093 | 49472 46072 52 | 0.000 % |
342.16/342.35 c | 351238 | 2782 18121 66093 | 47834 43820 52 | 0.000 % |
345.36/345.52 c | 354535 | 2782 18121 66093 | 47834 47117 52 | 0.000 % |
345.46/345.63 c | 354635 | 2782 18121 66093 | 47834 47217 52 | 0.000 % |
345.56/345.74 c | 354745 | 2782 18121 66093 | 47834 47327 52 | 0.000 % |
345.66/345.84 c | 354867 | 2782 18121 66093 | 47834 47449 52 | 0.000 % |
345.76/345.99 c | 355000 | 2782 18121 66093 | 47834 47582 52 | 0.000 % |
345.96/346.15 c | 355146 | 2782 18121 66093 | 47834 47728 52 | 0.000 % |
346.16/346.30 c | 355307 | 2782 18121 66093 | 47834 47889 52 | 0.000 % |
346.36/346.51 c | 355485 | 2782 18121 66093 | 47834 43279 52 | 0.000 % |
346.46/346.68 c | 355679 | 2782 18121 66093 | 47834 43473 52 | 0.000 % |
346.66/346.87 c | 355891 | 2782 18121 66093 | 47834 43685 52 | 0.000 % |
346.86/347.08 c | 356124 | 2782 18121 66093 | 47834 43918 52 | 0.000 % |
347.16/347.33 c | 356381 | 2782 18121 66093 | 47834 44175 52 | 0.000 % |
347.36/347.59 c | 356663 | 2782 18121 66093 | 47834 44457 52 | 0.000 % |
347.66/347.87 c | 356972 | 2782 18121 66093 | 47834 44766 52 | 0.000 % |
347.96/348.16 c | 357311 | 2782 18121 66093 | 47834 45105 52 | 0.000 % |
348.26/348.46 c | 357683 | 2782 18121 66093 | 47834 45477 52 | 0.000 % |
348.66/348.82 c | 358092 | 2782 18121 66093 | 47834 45886 52 | 0.000 % |
348.95/349.11 c | 358541 | 2782 18121 66093 | 47834 46335 52 | 0.000 % |
349.35/349.51 c | 359036 | 2782 18121 66093 | 47834 46830 52 | 0.000 % |
349.75/349.94 c | 359579 | 2782 18121 66093 | 47834 47373 52 | 0.000 % |
350.25/350.50 c | 360175 | 2782 18121 66093 | 2147483647 47969 52 | 0.000 % |
350.85/351.08 c | 360830 | 2782 18121 66093 | 2147483647 48624 52 | 0.000 % |
351.55/351.78 c | 361552 | 2782 18121 66093 | 2147483647 49346 52 | 0.000 % |
352.25/352.50 c | 362346 | 2782 18121 66093 | 2147483647 50140 52 | 0.000 % |
353.15/353.30 c | 363217 | 2782 18121 66093 | 2147483647 51011 52 | 0.000 % |
353.96/354.10 c | 364175 | 2782 18121 66093 | 2147483647 51969 52 | 0.000 % |
354.85/355.08 c | 365229 | 2782 18121 66093 | 2147483647 53023 52 | 0.000 % |
356.05/356.26 c | 366387 | 2782 18121 66093 | 2147483647 54181 53 | 0.000 % |
357.36/357.51 c | 367660 | 2782 18121 66093 | 2147483647 55454 53 | 0.000 % |
358.55/358.73 c | 369062 | 2782 18121 66093 | 2147483647 56856 53 | 0.000 % |
360.15/360.36 c | 370602 | 2782 18121 66093 | 2147483647 58396 53 | 0.000 % |
361.95/362.11 c | 372296 | 2782 18121 66093 | 2147483647 60090 53 | 0.000 % |
364.05/364.23 c | 374159 | 2782 18121 66093 | 2147483647 61953 53 | 0.000 % |
366.35/366.59 c | 376208 | 2782 18121 66093 | 2147483647 64002 53 | 0.000 % |
369.15/369.35 c | 378462 | 2782 18121 66093 | 2147483647 66256 53 | 0.000 % |
372.35/372.55 c | 380941 | 2782 18121 66093 | 67794 59591 53 | 0.000 % |
375.55/375.74 c | 383666 | 2782 18121 66093 | 67794 62316 53 | 0.000 % |
379.25/379.44 c | 386663 | 2782 18121 66093 | 67794 65313 53 | 0.000 % |
383.44/383.67 c | 389959 | 2782 18121 66093 | 67794 57387 53 | 0.000 % |
387.24/387.43 c | 393584 | 2782 18121 66093 | 57429 51523 52 | 0.000 % |
387.34/387.56 c | 393684 | 2782 18121 66093 | 57429 51623 52 | 0.000 % |
387.44/387.68 c | 393796 | 2782 18121 66093 | 57429 51735 52 | 0.000 % |
387.64/387.82 c | 393917 | 2782 18121 66093 | 57429 51856 52 | 0.000 % |
387.74/387.96 c | 394051 | 2782 18121 66093 | 57429 51990 52 | 0.000 % |
387.94/388.13 c | 394197 | 2782 18121 66093 | 57429 52136 52 | 0.000 % |
388.05/388.29 c | 394357 | 2782 18121 66093 | 57429 52296 52 | 0.000 % |
388.24/388.45 c | 394533 | 2782 18121 66093 | 57429 52472 52 | 0.000 % |
388.44/388.67 c | 394726 | 2782 18121 66093 | 57429 52665 53 | 0.000 % |
388.64/388.88 c | 394939 | 2782 18121 66093 | 57429 52878 53 | 0.000 % |
388.94/389.16 c | 395173 | 2782 18121 66093 | 57429 53112 53 | 0.000 % |
389.25/389.44 c | 395429 | 2782 18121 66093 | 57429 53368 53 | 0.000 % |
389.54/389.76 c | 395710 | 2782 18121 66093 | 57429 53649 53 | 0.000 % |
389.94/390.10 c | 396020 | 2782 18121 66093 | 57429 53959 53 | 0.000 % |
390.34/390.50 c | 396360 | 2782 18121 66093 | 57429 54299 53 | 0.000 % |
390.74/390.93 c | 396732 | 2782 18121 66093 | 57429 54671 53 | 0.000 % |
391.14/391.37 c | 397141 | 2782 18121 66093 | 57429 55080 53 | 0.000 % |
391.64/391.86 c | 397590 | 2782 18121 66093 | 57429 55529 53 | 0.000 % |
392.24/392.42 c | 398083 | 2782 18121 66093 | 57429 56022 53 | 0.000 % |
392.84/393.07 c | 398625 | 2782 18121 66093 | 57429 56564 53 | 0.000 % |
393.54/393.80 c | 399221 | 2782 18121 66093 | 57429 57160 53 | 0.000 % |
394.44/394.64 c | 399876 | 2782 18121 66093 | 57429 50368 52 | 0.000 % |
395.24/395.41 c | 400597 | 2782 18121 66093 | 50493 44459 52 | 0.000 % |
395.94/396.17 c | 401390 | 2782 18121 66093 | 50493 45252 52 | 0.000 % |
396.84/397.05 c | 402263 | 2782 18121 66093 | 50493 46125 52 | 0.000 % |
397.84/398.04 c | 403221 | 2782 18121 66093 | 50493 47083 52 | 0.000 % |
398.84/399.03 c | 404274 | 2782 18121 66093 | 50493 48136 52 | 0.000 % |
399.94/400.19 c | 405434 | 2782 18121 66093 | 50493 49296 52 | 0.000 % |
401.44/401.60 c | 406707 | 2782 18121 66093 | 50493 45472 52 | 0.000 % |
402.73/402.99 c | 408107 | 2782 18121 66093 | 50493 46872 52 | 0.000 % |
404.23/404.46 c | 409648 | 2782 18121 66093 | 50493 48413 52 | 0.000 % |
406.13/406.30 c | 411342 | 2782 18121 66093 | 48765 44926 52 | 0.000 % |
407.94/408.19 c | 413205 | 2782 18121 66093 | 48765 46789 52 | 0.000 % |
410.14/410.38 c | 415255 | 2782 18121 66093 | 48765 48839 52 | 0.000 % |
412.43/412.66 c | 417509 | 2782 18121 66093 | 48765 46210 52 | 0.000 % |
415.03/415.28 c | 419988 | 2782 18121 66093 | 48765 48689 52 | 0.000 % |
418.33/418.50 c | 422713 | 2782 18121 66093 | 2147483647 51414 52 | 0.000 % |
421.04/421.29 c | 425712 | 2782 18121 66093 | 2147483647 54413 52 | 0.000 % |
424.94/425.15 c | 429010 | 2782 18121 66093 | 2147483647 57711 53 | 0.000 % |
429.03/429.22 c | 432635 | 2782 18121 66093 | 58701 53497 52 | 0.000 % |
433.24/433.47 c | 436622 | 2782 18121 66093 | 58701 57484 53 | 0.000 % |
433.33/433.60 c | 436723 | 2782 18121 66093 | 58701 57585 53 | 0.000 % |
433.53/433.72 c | 436834 | 2782 18121 66093 | 58701 57696 53 | 0.000 % |
433.63/433.83 c | 436956 | 2782 18121 66093 | 58701 57818 53 | 0.000 % |
433.73/433.98 c | 437090 | 2782 18121 66093 | 58701 57952 53 | 0.000 % |
433.93/434.14 c | 437236 | 2782 18121 66093 | 58701 58098 53 | 0.000 % |
434.13/434.31 c | 437397 | 2782 18121 66093 | 58701 58259 53 | 0.000 % |
434.34/434.52 c | 437574 | 2782 18121 66093 | 58701 58436 53 | 0.000 % |
434.53/434.73 c | 437768 | 2782 18121 66093 | 58701 58630 53 | 0.000 % |
434.83/435.03 c | 437981 | 2782 18121 66093 | 58701 51241 52 | 0.000 % |
435.03/435.27 c | 438214 | 2782 18121 66093 | 58701 51474 52 | 0.000 % |
435.34/435.53 c | 438470 | 2782 18121 66093 | 58701 51730 52 | 0.000 % |
435.63/435.82 c | 438752 | 2782 18121 66093 | 58701 52012 52 | 0.000 % |
435.93/436.14 c | 439062 | 2782 18121 66093 | 58701 52322 52 | 0.000 % |
436.33/436.51 c | 439402 | 2782 18121 66093 | 58701 52662 52 | 0.000 % |
436.63/436.88 c | 439774 | 2782 18121 66093 | 58701 53034 52 | 0.000 % |
437.13/437.34 c | 440184 | 2782 18121 66093 | 53261 46816 52 | 0.000 % |
437.53/437.79 c | 440633 | 2782 18121 66093 | 53261 47265 52 | 0.000 % |
438.13/438.30 c | 441126 | 2782 18121 66093 | 53261 47758 52 | 0.000 % |
438.63/438.89 c | 441670 | 2782 18121 66093 | 53261 48302 52 | 0.000 % |
439.23/439.45 c | 442266 | 2782 18121 66093 | 53261 48898 52 | 0.000 % |
439.93/440.12 c | 442921 | 2782 18121 66093 | 53261 49553 52 | 0.000 % |
440.63/440.87 c | 443642 | 2782 18121 66093 | 53261 50274 52 | 0.000 % |
441.43/441.69 c | 444436 | 2782 18121 66093 | 53261 51068 52 | 0.000 % |
442.53/442.71 c | 445308 | 2782 18121 66093 | 53261 51940 52 | 0.000 % |
443.63/443.80 c | 446267 | 2782 18121 66093 | 53261 52899 52 | 0.000 % |
444.73/444.93 c | 447320 | 2782 18121 66093 | 53261 48238 52 | 0.000 % |
445.83/446.05 c | 448478 | 2782 18121 66093 | 53261 49396 52 | 0.000 % |
447.13/447.33 c | 449753 | 2782 18121 66093 | 53261 50671 52 | 0.000 % |
448.63/448.86 c | 451153 | 2782 18121 66093 | 50919 46795 52 | 0.000 % |
450.13/450.36 c | 452693 | 2782 18121 66093 | 50919 48335 52 | 0.000 % |
451.83/452.06 c | 454387 | 2782 18121 66093 | 50919 50029 52 | 0.000 % |
453.82/454.08 c | 456250 | 2782 18121 66093 | 50919 46790 52 | 0.000 % |
456.02/456.22 c | 458300 | 2782 18121 66093 | 50919 48840 52 | 0.000 % |
458.22/458.46 c | 460553 | 2782 18121 66093 | 2147483647 51093 52 | 0.000 % |
460.92/461.17 c | 463033 | 2782 18121 66093 | 2147483647 53573 52 | 0.000 % |
464.12/464.36 c | 465758 | 2782 18121 66093 | 2147483647 56298 52 | 0.000 % |
467.62/467.84 c | 468755 | 2782 18121 66093 | 2147483647 59295 53 | 0.000 % |
471.42/471.63 c | 472051 | 2782 18121 66093 | 60540 54423 52 | 0.000 % |
475.92/476.11 c | 475677 | 2782 18121 66093 | 60540 58049 52 | 0.000 % |
480.92/481.10 c | 479664 | 2782 18121 66093 | 60540 52802 52 | 0.000 % |
485.42/485.68 c | 484049 | 2782 18121 66093 | 53138 49201 51 | 0.000 % |
485.62/485.81 c | 484150 | 2782 18121 66093 | 53138 49302 51 | 0.000 % |
485.72/485.93 c | 484260 | 2782 18121 66093 | 53138 49412 51 | 0.000 % |
485.82/486.06 c | 484382 | 2782 18121 66093 | 53138 49534 51 | 0.000 % |
486.02/486.24 c | 484516 | 2782 18121 66093 | 53138 49668 51 | 0.000 % |
486.22/486.43 c | 484663 | 2782 18121 66093 | 53138 49815 51 | 0.000 % |
486.32/486.58 c | 484823 | 2782 18121 66093 | 53138 49975 52 | 0.000 % |
486.52/486.78 c | 485000 | 2782 18121 66093 | 53138 50152 52 | 0.000 % |
486.82/487.02 c | 485193 | 2782 18121 66093 | 53138 50345 52 | 0.000 % |
487.02/487.26 c | 485406 | 2782 18121 66093 | 53138 50558 52 | 0.000 % |
487.31/487.51 c | 485639 | 2782 18121 66093 | 53138 50791 52 | 0.000 % |
487.61/487.82 c | 485895 | 2782 18121 66093 | 53138 51047 52 | 0.000 % |
487.91/488.13 c | 486177 | 2782 18121 66093 | 53138 51329 52 | 0.000 % |
488.22/488.44 c | 486487 | 2782 18121 66093 | 53138 51639 52 | 0.000 % |
488.51/488.78 c | 486827 | 2782 18121 66093 | 53138 51979 52 | 0.000 % |
488.81/489.05 c | 487201 | 2782 18121 66093 | 53138 52353 52 | 0.000 % |
489.22/489.49 c | 487610 | 2782 18121 66093 | 53138 52762 52 | 0.000 % |
489.81/490.01 c | 488059 | 2782 18121 66093 | 53138 53211 52 | 0.000 % |
490.32/490.60 c | 488552 | 2782 18121 66093 | 53138 47442 51 | 0.000 % |
491.01/491.22 c | 489095 | 2782 18121 66093 | 53138 47985 51 | 0.000 % |
491.61/491.83 c | 489693 | 2782 18121 66093 | 53138 48583 51 | 0.000 % |
492.31/492.52 c | 490349 | 2782 18121 66093 | 48891 43530 51 | 0.000 % |
493.01/493.21 c | 491069 | 2782 18121 66093 | 48891 44250 51 | 0.000 % |
493.81/494.02 c | 491861 | 2782 18121 66093 | 48891 45042 51 | 0.000 % |
494.61/494.88 c | 492732 | 2782 18121 66093 | 48891 45913 51 | 0.000 % |
495.71/495.91 c | 493690 | 2782 18121 66093 | 48891 46871 51 | 0.000 % |
496.71/496.94 c | 494743 | 2782 18121 66093 | 48891 47924 51 | 0.000 % |
497.91/498.15 c | 495901 | 2782 18121 66093 | 48891 44185 51 | 0.000 % |
499.21/499.47 c | 497174 | 2782 18121 66093 | 48891 45458 51 | 0.000 % |
500.71/500.93 c | 498574 | 2782 18121 66093 | 48891 46858 51 | 0.000 % |
502.41/502.61 c | 500114 | 2782 18121 66093 | 2147483647 48398 51 | 0.000 % |
504.31/504.51 c | 501810 | 2782 18121 66093 | 2147483647 50094 52 | 0.000 % |
506.41/506.61 c | 503674 | 2782 18121 66093 | 2147483647 51958 52 | 0.000 % |
508.51/508.74 c | 505724 | 2782 18121 66093 | 2147483647 54008 52 | 0.000 % |
510.60/510.87 c | 507977 | 2782 18121 66093 | 2147483647 56261 52 | 0.000 % |
513.70/513.94 c | 510455 | 2782 18121 66093 | 58284 52645 52 | 0.000 % |
516.90/517.15 c | 513180 | 2782 18121 66093 | 58284 55370 52 | 0.000 % |
520.50/520.77 c | 516177 | 2782 18121 66093 | 58284 58367 52 | 0.000 % |
524.30/524.57 c | 519474 | 2782 18121 66093 | 58284 53850 52 | 0.000 % |
528.50/528.77 c | 523099 | 2782 18121 66093 | 54376 50110 52 | 0.000 % |
533.40/533.63 c | 527086 | 2782 18121 66093 | 54376 54097 52 | 0.000 % |
537.10/537.39 c | 531472 | 2782 18121 66093 | 50751 46500 51 | 0.000 % |
541.90/542.19 c | 536295 | 2782 18121 66093 | 50751 46221 51 | 0.000 % |
542.00/542.30 c | 536396 | 2782 18121 66093 | 50751 46322 51 | 0.000 % |
542.20/542.41 c | 536506 | 2782 18121 66093 | 50751 46432 51 | 0.000 % |
542.30/542.54 c | 536628 | 2782 18121 66093 | 50751 46554 51 | 0.000 % |
542.40/542.69 c | 536762 | 2782 18121 66093 | 50751 46688 51 | 0.000 % |
542.60/542.84 c | 536909 | 2782 18121 66093 | 50751 46835 51 | 0.000 % |
542.80/543.00 c | 537070 | 2782 18121 66093 | 50751 46996 51 | 0.000 % |
542.90/543.18 c | 537248 | 2782 18121 66093 | 50751 47174 51 | 0.000 % |
543.10/543.37 c | 537441 | 2782 18121 66093 | 50751 47367 51 | 0.000 % |
543.30/543.58 c | 537654 | 2782 18121 66093 | 50751 47580 51 | 0.000 % |
543.50/543.74 c | 537888 | 2782 18121 66093 | 50751 47814 51 | 0.000 % |
543.70/543.93 c | 538144 | 2782 18121 66093 | 50751 48070 51 | 0.000 % |
543.90/544.15 c | 538428 | 2782 18121 66093 | 50751 48354 51 | 0.000 % |
544.20/544.43 c | 538737 | 2782 18121 66093 | 50751 48663 51 | 0.000 % |
544.50/544.74 c | 539076 | 2782 18121 66093 | 50751 49002 51 | 0.000 % |
544.90/545.12 c | 539448 | 2782 18121 66093 | 50751 49374 51 | 0.000 % |
545.30/545.53 c | 539859 | 2782 18121 66093 | 50751 49785 51 | 0.000 % |
545.69/545.98 c | 540308 | 2782 18121 66093 | 2147483647 50234 51 | 0.000 % |
546.29/546.54 c | 540802 | 2782 18121 66093 | 2147483647 50728 51 | 0.000 % |
546.79/547.07 c | 541344 | 2782 18121 66093 | 2147483647 51270 51 | 0.000 % |
547.39/547.69 c | 541942 | 2782 18121 66093 | 2147483647 51868 51 | 0.000 % |
548.19/548.43 c | 542597 | 2782 18121 66093 | 2147483647 52523 52 | 0.000 % |
548.79/549.05 c | 543317 | 2782 18121 66093 | 2147483647 53243 52 | 0.000 % |
549.59/549.88 c | 544110 | 2782 18121 66093 | 2147483647 54036 52 | 0.000 % |
550.59/550.83 c | 544981 | 2782 18121 66093 | 2147483647 54907 52 | 0.000 % |
551.59/551.85 c | 545939 | 2782 18121 66093 | 2147483647 55865 52 | 0.000 % |
552.79/553.03 c | 546992 | 2782 18121 66093 | 2147483647 56918 52 | 0.000 % |
554.10/554.32 c | 548151 | 2782 18121 66093 | 2147483647 58077 52 | 0.000 % |
555.39/555.68 c | 549424 | 2782 18121 66093 | 2147483647 59350 52 | 0.000 % |
556.89/557.14 c | 550824 | 2782 18121 66093 | 59927 54122 52 | 0.000 % |
557.99/558.29 c | 552364 | 2782 18121 66093 | 59927 55662 52 | 0.000 % |
559.89/560.11 c | 554059 | 2782 18121 66093 | 59927 57357 52 | 0.000 % |
561.89/562.17 c | 555922 | 2782 18121 66093 | 59927 59220 52 | 0.000 % |
564.29/564.54 c | 557971 | 2782 18121 66093 | 59927 54643 52 | 0.000 % |
566.49/566.79 c | 560224 | 2782 18121 66093 | 56672 50471 51 | 0.000 % |
569.19/569.45 c | 562702 | 2782 18121 66093 | 56672 52949 52 | 0.000 % |
571.98/572.24 c | 565427 | 2782 18121 66093 | 56672 55674 52 | 0.000 % |
575.18/575.47 c | 568424 | 2782 18121 66093 | 56672 52345 52 | 0.000 % |
578.48/578.78 c | 571721 | 2782 18121 66093 | 53921 49649 51 | 0.000 % |
582.28/582.55 c | 575346 | 2782 18121 66093 | 53921 53274 51 | 0.000 % |
586.68/586.93 c | 579333 | 2782 18121 66093 | 53921 51862 51 | 0.000 % |
591.88/592.11 c | 583718 | 2782 18121 66093 | 2147483647 56247 51 | 0.000 % |
597.38/597.66 c | 588542 | 2782 18121 66093 | 2147483647 61071 52 | 0.000 % |
603.28/603.52 c | 593847 | 2782 18121 66093 | 62530 57229 52 | 0.000 % |
603.38/603.62 c | 593948 | 2782 18121 66093 | 62530 57330 52 | 0.000 % |
603.48/603.74 c | 594059 | 2782 18121 66093 | 62530 57441 52 | 0.000 % |
603.58/603.88 c | 594181 | 2782 18121 66093 | 62530 57563 52 | 0.000 % |
603.78/604.05 c | 594315 | 2782 18121 66093 | 62530 57697 52 | 0.000 % |
603.98/604.20 c | 594462 | 2782 18121 66093 | 62530 57844 52 | 0.000 % |
604.08/604.38 c | 594622 | 2782 18121 66093 | 62530 58004 52 | 0.000 % |
604.27/604.58 c | 594800 | 2782 18121 66093 | 62530 58182 52 | 0.000 % |
604.47/604.74 c | 594993 | 2782 18121 66093 | 62530 58375 52 | 0.000 % |
604.68/604.96 c | 595205 | 2782 18121 66093 | 62530 58587 52 | 0.000 % |
604.97/605.24 c | 595439 | 2782 18121 66093 | 62530 58821 52 | 0.000 % |
605.27/605.52 c | 595696 | 2782 18121 66093 | 62530 59078 52 | 0.000 % |
605.57/605.84 c | 595977 | 2782 18121 66093 | 62530 59359 52 | 0.000 % |
605.97/606.21 c | 596287 | 2782 18121 66093 | 62530 59669 52 | 0.000 % |
606.27/606.59 c | 596626 | 2782 18121 66093 | 62530 60008 52 | 0.000 % |
606.77/607.03 c | 597000 | 2782 18121 66093 | 62530 60382 52 | 0.000 % |
607.27/607.55 c | 597409 | 2782 18121 66093 | 62530 60791 52 | 0.000 % |
607.77/608.06 c | 597859 | 2782 18121 66093 | 62530 61241 52 | 0.000 % |
608.37/608.60 c | 598353 | 2782 18121 66093 | 62530 61735 52 | 0.000 % |
608.97/609.27 c | 598895 | 2782 18121 66093 | 62530 62277 52 | 0.000 % |
609.77/610.08 c | 599492 | 2782 18121 66093 | 62530 54301 51 | 0.000 % |
610.57/610.82 c | 600149 | 2782 18121 66093 | 54809 47546 51 | 0.000 % |
611.28/611.53 c | 600870 | 2782 18121 66093 | 54809 48267 51 | 0.000 % |
612.07/612.34 c | 601663 | 2782 18121 66093 | 54809 49060 51 | 0.000 % |
612.97/613.26 c | 602535 | 2782 18121 66093 | 54809 49932 51 | 0.000 % |
614.07/614.37 c | 603494 | 2782 18121 66093 | 54809 50891 51 | 0.000 % |
615.17/615.45 c | 604547 | 2782 18121 66093 | 54809 51944 51 | 0.000 % |
616.37/616.65 c | 605705 | 2782 18121 66093 | 54809 53102 51 | 0.000 % |
617.77/618.03 c | 606981 | 2782 18121 66093 | 54809 54378 51 | 0.000 % |
619.37/619.60 c | 608382 | 2782 18121 66093 | 54809 48241 51 | 0.000 % |
620.87/621.19 c | 609924 | 2782 18121 66093 | 54809 49783 51 | 0.000 % |
622.67/622.91 c | 611618 | 2782 18121 66093 | 49860 45074 51 | 0.000 % |
624.47/624.75 c | 613482 | 2782 18121 66093 | 49860 46938 51 | 0.000 % |
626.67/626.91 c | 615531 | 2782 18121 66093 | 49860 48987 51 | 0.000 % |
629.16/629.43 c | 617784 | 2782 18121 66093 | 49860 46145 51 | 0.000 % |
631.66/631.98 c | 620263 | 2782 18121 66093 | 2147483647 48624 51 | 0.000 % |
634.76/635.05 c | 622989 | 2782 18121 66093 | 2147483647 51350 52 | 0.000 % |
638.26/638.51 c | 625987 | 2782 18121 66093 | 2147483647 54348 52 | 0.000 % |
642.46/642.77 c | 629285 | 2782 18121 66093 | 2147483647 57646 52 | 0.000 % |
646.56/646.89 c | 632910 | 2782 18121 66093 | 58361 52963 52 | 0.000 % |
650.36/650.69 c | 636900 | 2782 18121 66093 | 58361 56953 52 | 0.000 % |
655.36/655.61 c | 641285 | 2782 18121 66093 | 53376 48150 52 | 0.000 % |
660.45/660.71 c | 646108 | 2782 18121 66093 | 53376 52973 52 | 0.000 % |
665.65/665.90 c | 651413 | 2782 18121 66093 | 48318 42534 51 | 0.000 % |
671.35/671.70 c | 657248 | 2782 18121 66093 | 48318 48369 51 | 0.000 % |
671.55/671.83 c | 657348 | 2782 18121 66093 | 48318 43633 51 | 0.000 % |
671.65/671.95 c | 657459 | 2782 18121 66093 | 48318 43744 51 | 0.000 % |
671.76/672.07 c | 657580 | 2782 18121 66093 | 48318 43865 51 | 0.000 % |
671.95/672.21 c | 657714 | 2782 18121 66093 | 48318 43999 51 | 0.000 % |
672.05/672.35 c | 657860 | 2782 18121 66093 | 48318 44145 51 | 0.000 % |
672.15/672.50 c | 658020 | 2782 18121 66093 | 48318 44305 51 | 0.000 % |
672.35/672.65 c | 658197 | 2782 18121 66093 | 48318 44482 51 | 0.000 % |
672.55/672.85 c | 658392 | 2782 18121 66093 | 48318 44677 51 | 0.000 % |
672.75/673.06 c | 658605 | 2782 18121 66093 | 48318 44890 51 | 0.000 % |
672.96/673.28 c | 658839 | 2782 18121 66093 | 48318 45124 51 | 0.000 % |
673.25/673.55 c | 659096 | 2782 18121 66093 | 48318 45381 51 | 0.000 % |
673.45/673.78 c | 659378 | 2782 18121 66093 | 48318 45663 51 | 0.000 % |
673.75/674.09 c | 659690 | 2782 18121 66093 | 48318 45975 51 | 0.000 % |
674.15/674.40 c | 660030 | 2782 18121 66093 | 2147483647 46315 51 | 0.000 % |
674.45/674.77 c | 660404 | 2782 18121 66093 | 2147483647 46689 51 | 0.000 % |
674.85/675.18 c | 660814 | 2782 18121 66093 | 2147483647 47099 51 | 0.000 % |
675.35/675.65 c | 661265 | 2782 18121 66093 | 2147483647 47550 51 | 0.000 % |
675.85/676.12 c | 661758 | 2782 18121 66093 | 2147483647 48043 51 | 0.000 % |
676.35/676.69 c | 662301 | 2782 18121 66093 | 2147483647 48586 51 | 0.000 % |
676.95/677.26 c | 662897 | 2782 18121 66093 | 2147483647 49182 51 | 0.000 % |
677.65/677.95 c | 663553 | 2782 18121 66093 | 2147483647 49838 51 | 0.000 % |
678.35/678.67 c | 664274 | 2782 18121 66093 | 2147483647 50559 51 | 0.000 % |
679.25/679.54 c | 665066 | 2782 18121 66093 | 2147483647 51351 52 | 0.000 % |
680.05/680.36 c | 665937 | 2782 18121 66093 | 2147483647 52222 52 | 0.000 % |
681.15/681.42 c | 666895 | 2782 18121 66093 | 2147483647 53180 52 | 0.000 % |
682.25/682.53 c | 667950 | 2782 18121 66093 | 2147483647 54235 52 | 0.000 % |
683.55/683.86 c | 669109 | 2782 18121 66093 | 2147483647 55394 52 | 0.000 % |
685.05/685.36 c | 670384 | 2782 18121 66093 | 2147483647 56669 52 | 0.000 % |
686.75/687.04 c | 671786 | 2782 18121 66093 | 2147483647 58071 52 | 0.000 % |
688.25/688.52 c | 673326 | 2782 18121 66093 | 2147483647 59611 52 | 0.000 % |
690.25/690.50 c | 675021 | 2782 18121 66093 | 2147483647 61306 52 | 0.000 % |
692.44/692.73 c | 676884 | 2782 18121 66093 | 2147483647 63169 52 | 0.000 % |
695.04/695.33 c | 678934 | 2782 18121 66093 | 2147483647 65219 52 | 0.000 % |
697.74/698.09 c | 681187 | 2782 18121 66093 | 66285 58071 52 | 0.000 % |
700.84/701.14 c | 683666 | 2782 18121 66093 | 66285 60550 52 | 0.000 % |
703.84/704.17 c | 686392 | 2782 18121 66093 | 66285 63276 52 | 0.000 % |
707.44/707.79 c | 689390 | 2782 18121 66093 | 66285 66274 53 | 0.000 % |
710.94/711.26 c | 692687 | 2782 18121 66093 | 57155 51713 51 | 0.000 % |
715.04/715.38 c | 696313 | 2782 18121 66093 | 57155 55339 52 | 0.000 % |
719.74/720.02 c | 700300 | 2782 18121 66093 | 52214 45963 51 | 0.000 % |
724.44/724.72 c | 704686 | 2782 18121 66093 | 52214 50349 52 | 0.000 % |
729.94/730.23 c | 709509 | 2782 18121 66093 | 52214 48488 51 | 0.000 % |
735.83/736.14 c | 714814 | 2782 18121 66093 | 48979 47640 51 | 0.000 % |
742.13/742.45 c | 720649 | 2782 18121 66093 | 46669 41472 51 | 0.000 % |
748.63/748.92 c | 727067 | 2782 18121 66093 | 46669 43081 50 | 0.000 % |
748.73/749.02 c | 727167 | 2782 18121 66093 | 46669 43181 50 | 0.000 % |
748.83/749.12 c | 727278 | 2782 18121 66093 | 46669 43292 50 | 0.000 % |
748.93/749.23 c | 727399 | 2782 18121 66093 | 46669 43413 50 | 0.000 % |
749.03/749.36 c | 727532 | 2782 18121 66093 | 46669 43546 50 | 0.000 % |
749.23/749.52 c | 727679 | 2782 18121 66093 | 46669 43693 50 | 0.000 % |
749.33/749.65 c | 727840 | 2782 18121 66093 | 46669 43854 50 | 0.000 % |
749.53/749.83 c | 728016 | 2782 18121 66093 | 46669 44030 50 | 0.000 % |
749.73/750.03 c | 728209 | 2782 18121 66093 | 46669 44223 51 | 0.000 % |
749.93/750.24 c | 728423 | 2782 18121 66093 | 46669 44437 51 | 0.000 % |
750.23/750.50 c | 728656 | 2782 18121 66093 | 46669 44670 51 | 0.000 % |
750.43/750.75 c | 728913 | 2782 18121 66093 | 46669 44927 51 | 0.000 % |
750.73/751.03 c | 729194 | 2782 18121 66093 | 46669 45208 51 | 0.000 % |
751.03/751.34 c | 729503 | 2782 18121 66093 | 46669 45517 51 | 0.000 % |
751.33/751.69 c | 729843 | 2782 18121 66093 | 46669 45857 51 | 0.000 % |
751.73/752.07 c | 730215 | 2782 18121 66093 | 2147483647 46229 51 | 0.000 % |
752.13/752.50 c | 730624 | 2782 18121 66093 | 2147483647 46638 51 | 0.000 % |
752.53/752.89 c | 731074 | 2782 18121 66093 | 2147483647 47088 51 | 0.000 % |
753.03/753.40 c | 731567 | 2782 18121 66093 | 2147483647 47581 51 | 0.000 % |
753.63/753.93 c | 732109 | 2782 18121 66093 | 2147483647 48123 51 | 0.000 % |
754.23/754.57 c | 732705 | 2782 18121 66093 | 2147483647 48719 51 | 0.000 % |
754.93/755.24 c | 733361 | 2782 18121 66093 | 2147483647 49375 51 | 0.000 % |
755.63/756.00 c | 734082 | 2782 18121 66093 | 2147483647 50096 51 | 0.000 % |
756.53/756.83 c | 734874 | 2782 18121 66093 | 2147483647 50888 51 | 0.000 % |
757.42/757.73 c | 735747 | 2782 18121 66093 | 2147483647 51761 51 | 0.000 % |
758.52/758.82 c | 736706 | 2782 18121 66093 | 2147483647 52720 51 | 0.000 % |
759.62/760.00 c | 737761 | 2782 18121 66093 | 2147483647 53775 52 | 0.000 % |
760.93/761.25 c | 738919 | 2782 18121 66093 | 2147483647 54933 52 | 0.000 % |
762.52/762.86 c | 740192 | 2782 18121 66093 | 56015 49856 51 | 0.000 % |
764.02/764.32 c | 741592 | 2782 18121 66093 | 56015 51256 51 | 0.000 % |
765.72/766.02 c | 743133 | 2782 18121 66093 | 56015 52797 51 | 0.000 % |
767.53/767.85 c | 744828 | 2782 18121 66093 | 56015 54492 51 | 0.000 % |
769.73/770.02 c | 746691 | 2782 18121 66093 | 56015 50381 51 | 0.000 % |
771.92/772.23 c | 748740 | 2782 18121 66093 | 56015 52430 51 | 0.000 % |
774.42/774.76 c | 750993 | 2782 18121 66093 | 53690 48736 51 | 0.000 % |
777.02/777.37 c | 753472 | 2782 18121 66093 | 53690 51215 51 | 0.000 % |
780.12/780.44 c | 756197 | 2782 18121 66093 | 53690 48313 51 | 0.000 % |
783.32/783.60 c | 759194 | 2782 18121 66093 | 53690 51310 51 | 0.000 % |
787.02/787.32 c | 762491 | 2782 18121 66093 | 2147483647 54607 52 | 0.000 % |
791.31/791.64 c | 766116 | 2782 18121 66093 | 2147483647 58232 52 | 0.000 % |
796.61/796.90 c | 770103 | 2782 18121 66093 | 62117 53910 52 | 0.000 % |
801.91/802.22 c | 774488 | 2782 18121 66093 | 62117 58295 52 | 0.000 % |
808.11/808.46 c | 779311 | 2782 18121 66093 | 62117 53719 52 | 0.000 % |
814.31/814.63 c | 784616 | 2782 18121 66093 | 54408 50877 51 | 0.000 % |
821.21/821.55 c | 790452 | 2782 18121 66093 | 48250 41668 50 | 0.000 % |
828.20/828.59 c | 796870 | 2782 18121 66093 | 48250 48086 51 | 0.000 % |
836.00/836.35 c | 803929 | 2782 18121 66093 | 45800 44858 50 | 0.000 % |
836.10/836.46 c | 804029 | 2782 18121 66093 | 45800 44958 50 | 0.000 % |
836.20/836.58 c | 804140 | 2782 18121 66093 | 45800 45069 50 | 0.000 % |
836.40/836.70 c | 804262 | 2782 18121 66093 | 45800 45191 50 | 0.000 % |
836.50/836.83 c | 804395 | 2782 18121 66093 | 45800 45324 50 | 0.000 % |
836.60/836.96 c | 804541 | 2782 18121 66093 | 45800 45470 50 | 0.000 % |
836.80/837.14 c | 804703 | 2782 18121 66093 | 45800 45632 50 | 0.000 % |
837.00/837.31 c | 804880 | 2782 18121 66093 | 45800 45809 50 | 0.000 % |
837.20/837.54 c | 805074 | 2782 18121 66093 | 45800 41423 50 | 0.000 % |
837.40/837.72 c | 805286 | 2782 18121 66093 | 45800 41635 50 | 0.000 % |
837.50/837.89 c | 805519 | 2782 18121 66093 | 45800 41868 50 | 0.000 % |
837.80/838.13 c | 805775 | 2782 18121 66093 | 45800 42124 50 | 0.000 % |
838.00/838.38 c | 806056 | 2782 18121 66093 | 45800 42405 50 | 0.000 % |
838.30/838.70 c | 806366 | 2782 18121 66093 | 45800 42715 50 | 0.000 % |
838.70/839.03 c | 806705 | 2782 18121 66093 | 45800 43054 50 | 0.000 % |
839.10/839.41 c | 807078 | 2782 18121 66093 | 45800 43427 50 | 0.000 % |
839.40/839.79 c | 807487 | 2782 18121 66093 | 45800 43836 50 | 0.000 % |
839.90/840.25 c | 807936 | 2782 18121 66093 | 45800 44285 50 | 0.000 % |
840.40/840.74 c | 808430 | 2782 18121 66093 | 45800 44779 50 | 0.000 % |
841.00/841.33 c | 808972 | 2782 18121 66093 | 45800 45321 50 | 0.000 % |
841.50/841.89 c | 809568 | 2782 18121 66093 | 45800 41328 50 | 0.000 % |
842.10/842.44 c | 810223 | 2782 18121 66093 | 2147483647 41983 50 | 0.000 % |
842.80/843.12 c | 810943 | 2782 18121 66093 | 2147483647 42703 50 | 0.000 % |
843.60/843.91 c | 811735 | 2782 18121 66093 | 2147483647 43495 50 | 0.000 % |
844.40/844.72 c | 812606 | 2782 18121 66093 | 2147483647 44366 50 | 0.000 % |
845.30/845.68 c | 813564 | 2782 18121 66093 | 2147483647 45324 50 | 0.000 % |
846.40/846.74 c | 814617 | 2782 18121 66093 | 2147483647 46377 50 | 0.000 % |
847.60/847.96 c | 815778 | 2782 18121 66093 | 2147483647 47538 51 | 0.000 % |
849.00/849.33 c | 817052 | 2782 18121 66093 | 2147483647 48812 51 | 0.000 % |
850.60/850.92 c | 818453 | 2782 18121 66093 | 2147483647 50213 51 | 0.000 % |
852.20/852.58 c | 819993 | 2782 18121 66093 | 2147483647 51753 51 | 0.000 % |
854.20/854.57 c | 821687 | 2782 18121 66093 | 2147483647 53447 51 | 0.000 % |
856.39/856.72 c | 823550 | 2782 18121 66093 | 2147483647 55310 51 | 0.000 % |
858.71/859.09 c | 825599 | 2782 18121 66093 | 2147483647 57359 51 | 0.000 % |
861.60/861.90 c | 827853 | 2782 18121 66093 | 2147483647 59613 52 | 0.000 % |
864.90/865.20 c | 830331 | 2782 18121 66093 | 61761 53933 51 | 0.000 % |
868.20/868.50 c | 833056 | 2782 18121 66093 | 61761 56658 52 | 0.000 % |
872.00/872.35 c | 836054 | 2782 18121 66093 | 61761 59656 52 | 0.000 % |
874.90/875.20 c | 839351 | 2782 18121 66093 | 61761 55620 52 | 0.000 % |
878.80/879.10 c | 842978 | 2782 18121 66093 | 56269 52868 52 | 0.000 % |
883.09/883.49 c | 846965 | 2782 18121 66093 | 56269 51222 52 | 0.000 % |
888.09/888.43 c | 851351 | 2782 18121 66093 | 2147483647 55608 52 | 0.000 % |
893.90/894.29 c | 856174 | 2782 18121 66093 | 2147483647 60431 52 | 0.000 % |
900.39/900.76 c | 861480 | 2782 18121 66093 | 64259 57093 52 | 0.000 % |
907.59/907.99 c | 867316 | 2782 18121 66093 | 64259 62929 53 | 0.000 % |
915.39/915.72 c | 873735 | 2782 18121 66093 | 55602 50703 52 | 0.000 % |
923.98/924.32 c | 880794 | 2782 18121 66093 | 48585 42160 50 | 0.000 % |
932.68/933.06 c | 888558 | 2782 18121 66093 | 48585 43087 51 | 0.000 % |
932.78/933.18 c | 888658 | 2782 18121 66093 | 48585 43187 51 | 0.000 % |
932.98/933.30 c | 888770 | 2782 18121 66093 | 48585 43299 51 | 0.000 % |
933.08/933.41 c | 888891 | 2782 18121 66093 | 48585 43420 51 | 0.000 % |
933.18/933.53 c | 889025 | 2782 18121 66093 | 48585 43554 51 | 0.000 % |
933.28/933.68 c | 889172 | 2782 18121 66093 | 48585 43701 51 | 0.000 % |
933.48/933.84 c | 889333 | 2782 18121 66093 | 48585 43862 51 | 0.000 % |
933.68/934.01 c | 889510 | 2782 18121 66093 | 48585 44039 51 | 0.000 % |
933.88/934.21 c | 889703 | 2782 18121 66093 | 48585 44232 51 | 0.000 % |
934.08/934.42 c | 889916 | 2782 18121 66093 | 48585 44445 51 | 0.000 % |
934.38/934.74 c | 890150 | 2782 18121 66093 | 44530 38800 50 | 0.000 % |
934.58/934.91 c | 890407 | 2782 18121 66093 | 44530 39057 50 | 0.000 % |
934.78/935.16 c | 890689 | 2782 18121 66093 | 44530 39339 50 | 0.000 % |
935.08/935.44 c | 890998 | 2782 18121 66093 | 44530 39648 50 | 0.000 % |
935.37/935.75 c | 891338 | 2782 18121 66093 | 44530 39988 50 | 0.000 % |
935.68/936.09 c | 891710 | 2782 18121 66093 | 44530 40360 50 | 0.000 % |
936.08/936.43 c | 892121 | 2782 18121 66093 | 44530 40771 50 | 0.000 % |
936.38/936.76 c | 892570 | 2782 18121 66093 | 44530 41220 50 | 0.000 % |
936.88/937.21 c | 893064 | 2782 18121 66093 | 44530 41714 50 | 0.000 % |
937.37/937.79 c | 893607 | 2782 18121 66093 | 44530 42257 51 | 0.000 % |
937.98/938.36 c | 894203 | 2782 18121 66093 | 44530 42853 51 | 0.000 % |
938.57/938.97 c | 894858 | 2782 18121 66093 | 44530 43508 51 | 0.000 % |
939.97/940.39 c | 895579 | 2782 18121 66093 | 44530 44229 51 | 0.000 % |
940.57/940.95 c | 896373 | 2782 18121 66093 | 44530 40556 50 | 0.000 % |
941.28/941.65 c | 897246 | 2782 18121 66093 | 44530 41429 51 | 0.000 % |
942.07/942.45 c | 898204 | 2782 18121 66093 | 44530 42387 51 | 0.000 % |
942.97/943.39 c | 899257 | 2782 18121 66093 | 44530 43440 51 | 0.000 % |
944.17/944.51 c | 900415 | 2782 18121 66093 | 2147483647 44598 51 | 0.000 % |
945.47/945.83 c | 901689 | 2782 18121 66093 | 2147483647 45872 51 | 0.000 % |
946.87/947.27 c | 903090 | 2782 18121 66093 | 2147483647 47273 51 | 0.000 % |
948.47/948.88 c | 904630 | 2782 18121 66093 | 2147483647 48813 51 | 0.000 % |
950.27/950.64 c | 906324 | 2782 18121 66093 | 2147483647 50507 51 | 0.000 % |
952.18/952.51 c | 908187 | 2782 18121 66093 | 2147483647 52370 51 | 0.000 % |
954.37/954.74 c | 910236 | 2782 18121 66093 | 2147483647 54419 52 | 0.000 % |
957.07/957.40 c | 912489 | 2782 18121 66093 | 2147483647 56672 52 | 0.000 % |
960.07/960.46 c | 914968 | 2782 18121 66093 | 2147483647 59151 52 | 0.000 % |
963.57/963.91 c | 917693 | 2782 18121 66093 | 2147483647 61876 52 | 0.000 % |
967.47/967.85 c | 920690 | 2782 18121 66093 | 64185 55646 51 | 0.000 % |
971.67/972.07 c | 923986 | 2782 18121 66093 | 64185 58942 52 | 0.000 % |
976.47/976.82 c | 927612 | 2782 18121 66093 | 64185 62568 52 | 0.000 % |
981.56/981.94 c | 931600 | 2782 18121 66093 | 53716 46033 50 | 0.000 % |
986.37/986.72 c | 935986 | 2782 18121 66093 | 53716 50419 51 | 0.000 % |
992.06/992.44 c | 940809 | 2782 18121 66093 | 47168 41653 49 | 0.000 % |
997.76/998.11 c | 946115 | 2782 18121 66093 | 47168 46959 50 | 0.000 % |
1003.86/1004.21 c | 951950 | 2782 18121 66093 | 45996 43277 50 | 0.000 % |
1010.46/1010.89 c | 958369 | 2782 18121 66093 | 45996 45091 50 | 0.000 % |
1017.95/1018.30 c | 965428 | 2782 18121 66093 | 2147483647 47543 50 | 0.000 % |
1026.05/1026.42 c | 973194 | 2782 18121 66093 | 52116 49470 50 | 0.000 % |
1035.75/1036.15 c | 981734 | 2782 18121 66093 | 50033 45901 50 | 0.000 % |
1035.85/1036.25 c | 981834 | 2782 18121 66093 | 50033 46001 50 | 0.000 % |
1035.95/1036.35 c | 981945 | 2782 18121 66093 | 50033 46112 50 | 0.000 % |
1036.04/1036.49 c | 982067 | 2782 18121 66093 | 50033 46234 50 | 0.000 % |
1036.24/1036.65 c | 982202 | 2782 18121 66093 | 50033 46369 50 | 0.000 % |
1036.34/1036.79 c | 982350 | 2782 18121 66093 | 50033 46517 50 | 0.000 % |
1036.54/1036.94 c | 982510 | 2782 18121 66093 | 50033 46677 50 | 0.000 % |
1036.74/1037.13 c | 982687 | 2782 18121 66093 | 50033 46854 50 | 0.000 % |
1036.95/1037.35 c | 982880 | 2782 18121 66093 | 50033 47047 50 | 0.000 % |
1037.14/1037.55 c | 983092 | 2782 18121 66093 | 50033 47259 50 | 0.000 % |
1037.34/1037.79 c | 983325 | 2782 18121 66093 | 50033 47492 50 | 0.000 % |
1037.64/1038.06 c | 983581 | 2782 18121 66093 | 50033 47748 50 | 0.000 % |
1037.95/1038.32 c | 983862 | 2782 18121 66093 | 50033 48029 50 | 0.000 % |
1038.24/1038.63 c | 984175 | 2782 18121 66093 | 50033 48342 50 | 0.000 % |
1038.54/1038.95 c | 984514 | 2782 18121 66093 | 50033 48681 50 | 0.000 % |
1038.84/1039.29 c | 984887 | 2782 18121 66093 | 50033 49054 50 | 0.000 % |
1039.24/1039.68 c | 985297 | 2782 18121 66093 | 50033 49464 51 | 0.000 % |
1039.74/1040.10 c | 985749 | 2782 18121 66093 | 50033 49916 51 | 0.000 % |
1040.24/1040.67 c | 986243 | 2782 18121 66093 | 50033 45398 50 | 0.000 % |
1040.84/1041.22 c | 986786 | 2782 18121 66093 | 50033 45941 50 | 0.000 % |
1041.44/1041.80 c | 987382 | 2782 18121 66093 | 50033 46537 50 | 0.000 % |
1041.94/1042.39 c | 988038 | 2782 18121 66093 | 50033 47193 50 | 0.000 % |
1042.64/1043.04 c | 988758 | 2782 18121 66093 | 50033 47913 50 | 0.000 % |
1043.34/1043.79 c | 989551 | 2782 18121 66093 | 50033 48706 50 | 0.000 % |
1044.24/1044.61 c | 990423 | 2782 18121 66093 | 2147483647 49578 51 | 0.000 % |
1045.14/1045.58 c | 991381 | 2782 18121 66093 | 2147483647 50536 51 | 0.000 % |
1046.24/1046.65 c | 992434 | 2782 18121 66093 | 2147483647 51589 51 | 0.000 % |
1047.54/1047.93 c | 993593 | 2782 18121 66093 | 2147483647 52748 51 | 0.000 % |
1048.94/1049.32 c | 994866 | 2782 18121 66093 | 2147483647 54021 51 | 0.000 % |
1050.44/1050.84 c | 996266 | 2782 18121 66093 | 2147483647 55421 51 | 0.000 % |
1052.14/1052.54 c | 997807 | 2782 18121 66093 | 2147483647 56962 51 | 0.000 % |
1054.03/1054.41 c | 999501 | 2782 18121 66093 | 2147483647 58656 51 | 0.000 % |
1056.24/1056.67 c | 1001364 | 2782 18121 66093 | 59157 54340 51 | 0.000 % |
1058.43/1058.84 c | 1003413 | 2782 18121 66093 | 59157 56389 51 | 0.000 % |
1061.14/1061.53 c | 1005667 | 2782 18121 66093 | 59157 58643 51 | 0.000 % |
1064.03/1064.46 c | 1008146 | 2782 18121 66093 | 59157 53461 51 | 0.000 % |
1067.03/1067.48 c | 1010871 | 2782 18121 66093 | 55315 49438 51 | 0.000 % |
1070.13/1070.50 c | 1013868 | 2782 18121 66093 | 55315 52435 51 | 0.000 % |
1073.63/1074.08 c | 1017165 | 2782 18121 66093 | 55315 49856 51 | 0.000 % |
1077.63/1078.09 c | 1020790 | 2782 18121 66093 | 52692 46901 51 | 0.000 % |
1081.73/1082.20 c | 1024777 | 2782 18121 66093 | 52692 50888 51 | 0.000 % |
1086.62/1087.04 c | 1029163 | 2782 18121 66093 | 52692 49931 51 | 0.000 % |
1091.93/1092.36 c | 1033986 | 2782 18121 66093 | 2147483647 54754 52 | 0.000 % |
1098.02/1098.49 c | 1039292 | 2782 18121 66093 | 2147483647 60060 52 | 0.000 % |
1105.22/1105.70 c | 1045128 | 2782 18121 66093 | 60768 58495 52 | 0.000 % |
1112.12/1112.58 c | 1051546 | 2782 18121 66093 | 52754 45659 50 | 0.000 % |
1119.11/1119.51 c | 1058605 | 2782 18121 66093 | 52754 52718 51 | 0.000 % |
1127.12/1127.58 c | 1066370 | 2782 18121 66093 | 48589 45222 50 | 0.000 % |
1136.01/1136.44 c | 1074910 | 2782 18121 66093 | 2147483647 48896 50 | 0.000 % |
1146.71/1147.16 c | 1084305 | 2782 18121 66093 | 2147483647 58291 51 | 0.000 % |
1146.81/1147.28 c | 1084406 | 2782 18121 66093 | 2147483647 58392 51 | 0.000 % |
1147.01/1147.42 c | 1084517 | 2782 18121 66093 | 2147483647 58503 51 | 0.000 % |
1147.11/1147.59 c | 1084639 | 2782 18121 66093 | 2147483647 58625 51 | 0.000 % |
1147.31/1147.78 c | 1084773 | 2782 18121 66093 | 2147483647 58759 51 | 0.000 % |
1147.51/1147.95 c | 1084919 | 2782 18121 66093 | 2147483647 58905 51 | 0.000 % |
1147.71/1148.12 c | 1085080 | 2782 18121 66093 | 2147483647 59066 51 | 0.000 % |
1147.91/1148.34 c | 1085257 | 2782 18121 66093 | 2147483647 59243 51 | 0.000 % |
1148.11/1148.57 c | 1085451 | 2782 18121 66093 | 2147483647 59437 51 | 0.000 % |
1148.41/1148.84 c | 1085663 | 2782 18121 66093 | 2147483647 59649 51 | 0.000 % |
1148.71/1149.11 c | 1085897 | 2782 18121 66093 | 2147483647 59883 51 | 0.000 % |
1149.01/1149.43 c | 1086153 | 2782 18121 66093 | 2147483647 60139 51 | 0.000 % |
1149.31/1149.74 c | 1086434 | 2782 18121 66093 | 2147483647 60420 51 | 0.000 % |
1149.71/1150.15 c | 1086744 | 2782 18121 66093 | 2147483647 60730 51 | 0.000 % |
1150.01/1150.48 c | 1087085 | 2782 18121 66093 | 2147483647 61071 51 | 0.000 % |
1150.41/1150.83 c | 1087459 | 2782 18121 66093 | 2147483647 61445 51 | 0.000 % |
1150.80/1151.22 c | 1087870 | 2782 18121 66093 | 2147483647 61856 51 | 0.000 % |
1151.31/1151.78 c | 1088320 | 2782 18121 66093 | 2147483647 62306 51 | 0.000 % |
1151.90/1152.38 c | 1088814 | 2782 18121 66093 | 2147483647 62800 51 | 0.000 % |
1152.60/1153.07 c | 1089356 | 2782 18121 66093 | 2147483647 63342 51 | 0.000 % |
1153.30/1153.79 c | 1089953 | 2782 18121 66093 | 2147483647 63939 51 | 0.000 % |
1154.20/1154.62 c | 1090608 | 2782 18121 66093 | 63986 56170 51 | 0.000 % |
1155.00/1155.47 c | 1091328 | 2782 18121 66093 | 63986 56890 51 | 0.000 % |
1156.00/1156.41 c | 1092121 | 2782 18121 66093 | 63986 57683 51 | 0.000 % |
1156.90/1157.39 c | 1092994 | 2782 18121 66093 | 63986 58556 51 | 0.000 % |
1158.10/1158.51 c | 1093952 | 2782 18121 66093 | 63986 59514 51 | 0.000 % |
1159.40/1159.80 c | 1095006 | 2782 18121 66093 | 63986 60568 51 | 0.000 % |
1160.70/1161.15 c | 1096166 | 2782 18121 66093 | 63986 61728 51 | 0.000 % |
1162.30/1162.71 c | 1097440 | 2782 18121 66093 | 63986 63002 51 | 0.000 % |
1164.00/1164.47 c | 1098840 | 2782 18121 66093 | 63986 54910 50 | 0.000 % |
1165.80/1166.28 c | 1100380 | 2782 18121 66093 | 56071 48120 50 | 0.000 % |
1167.40/1167.87 c | 1102075 | 2782 18121 66093 | 56071 49815 50 | 0.000 % |
1169.40/1169.82 c | 1103940 | 2782 18121 66093 | 56071 51680 50 | 0.000 % |
1171.39/1171.86 c | 1105990 | 2782 18121 66093 | 56071 53730 50 | 0.000 % |
1173.79/1174.22 c | 1108244 | 2782 18121 66093 | 56071 55984 51 | 0.000 % |
1176.39/1176.86 c | 1110722 | 2782 18121 66093 | 51434 46801 50 | 0.000 % |
1179.09/1179.57 c | 1113447 | 2782 18121 66093 | 51434 49526 50 | 0.000 % |
1182.19/1182.68 c | 1116444 | 2782 18121 66093 | 51434 47371 50 | 0.000 % |
1185.69/1186.14 c | 1119741 | 2782 18121 66093 | 51434 50668 51 | 0.000 % |
1189.59/1190.03 c | 1123367 | 2782 18121 66093 | 2147483647 54294 51 | 0.000 % |
1194.29/1194.72 c | 1127354 | 2782 18121 66093 | 2147483647 58281 51 | 0.000 % |
1199.59/1200.09 c | 1131739 | 2782 18121 66093 | 60928 54835 51 | 0.000 % |
1200.09/1200.51 HOME/SatELiteGTI: line 36: 800 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-1832205-1242770337/watcher-1832205-1242770337 -o /tmp/evaluation-result-1832205-1242770337/solver-1832205-1242770337 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832205-1242770337.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 794
/proc/meminfo: memFree=1978576/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305067109 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/794/statm: 1339 237 197 169 0 50 0
[startup+0.027081 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 794
/proc/meminfo: memFree=1978576/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305067109 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/794/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101088 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 794
/proc/meminfo: memFree=1978576/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305067109 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/794/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301107 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 794
/proc/meminfo: memFree=1978576/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+0.701143 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 794
/proc/meminfo: memFree=1978576/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356
[startup+1.50121 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1975232/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=4124 CPUtime=1.32
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 769 0 0 0 132 0 0 0 25 0 1 0 305067125 4222976 755 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 1031 755 77 171 0 858 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9480
[startup+3.10135 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1974784/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=4808 CPUtime=2.92
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 916 0 0 0 292 0 0 0 25 0 1 0 305067125 4923392 902 1992294400 134512640 135215339 4294956256 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 1202 902 77 171 0 1029 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10164
[startup+6.30162 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1972544/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=6924 CPUtime=6.12
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 1462 0 0 0 611 1 0 0 25 0 1 0 305067125 7090176 1448 1992294400 134512640 135215339 4294956256 18446744073709551615 134539287 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 1731 1448 77 171 0 1558 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12280
[startup+12.7022 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1968768/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=10264 CPUtime=12.52
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 2286 0 0 0 1250 2 0 0 25 0 1 0 305067125 10510336 2272 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 2566 2272 77 171 0 2393 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15620
[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1963264/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=15512 CPUtime=25.31
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 3612 0 0 0 2527 4 0 0 25 0 1 0 305067125 15884288 3598 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 3878 3598 77 171 0 3705 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20868
[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1955584/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=23216 CPUtime=50.91
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 5525 0 0 0 5084 7 0 0 25 0 1 0 305067125 23773184 5511 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 5804 5511 77 171 0 5631 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 28572
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 800
/proc/meminfo: memFree=1952512/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26356 CPUtime=102.1
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6245 0 0 0 10202 8 0 0 25 0 1 0 305067125 26988544 6231 1992294400 134512640 135215339 4294956256 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6589 6231 77 171 0 6416 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 31712
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1952128/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=162.07
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6280 0 0 0 16198 9 0 0 25 0 1 0 305067125 27197440 6266 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6266 77 171 0 6467 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 31916
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1952128/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=222.05
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6287 0 0 0 22196 9 0 0 25 0 1 0 305067125 27197440 6273 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6273 77 171 0 6467 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 31916
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1952000/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=282.04
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6291 0 0 0 28194 10 0 0 25 0 1 0 305067125 27197440 6277 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6277 77 171 0 6467 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 31916
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951872/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=342.01
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6291 0 0 0 34191 10 0 0 25 0 1 0 305067125 27197440 6277 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6277 77 171 0 6467 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 31916
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951808/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=401.98
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6291 0 0 0 40188 10 0 0 25 0 1 0 305067125 27197440 6277 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6277 77 171 0 6467 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 31916
[startup+462.302 s]
################
# More data... #
################
[pid=800] ppid=794 vsize=26560 CPUtime=521.95
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 52184 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 31916
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951488/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=581.93
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 58182 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 31916
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951424/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=641.91
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 64180 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 31916
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951232/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=701.89
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 70178 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 31916
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951168/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=761.88
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 76177 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 31916
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951104/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=821.86
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 82175 11 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 31916
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1951040/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=881.85
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 88173 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 31916
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950912/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=941.82
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 94170 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 31916
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950784/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1001.81
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 100169 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134545729 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 31916
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950784/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1061.78
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 106166 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134534291 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 31916
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950656/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1121.76
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 112164 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 31916
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950528/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1181.74
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 118162 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 31916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950528/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1199.94
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 119982 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 31916
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: 0.99 0.98 0.95 2/66 806
/proc/meminfo: memFree=1950528/2055920 swapFree=4179268/4192956
[pid=794] ppid=792 vsize=5356 CPUtime=0.15
/proc/794/stat : 794 (SatELiteGTI) S 792 794 672 0 -1 4194304 336 1199 0 0 0 0 15 0 16 0 1 0 305067109 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/794/statm: 1339 239 197 169 0 50 0
[pid=800] ppid=794 vsize=26560 CPUtime=1199.94
/proc/800/stat : 800 (minisat_static) R 794 794 672 0 -1 4194304 6292 0 0 0 119982 12 0 0 25 0 1 0 305067125 27197440 6278 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/800/statm: 6640 6278 77 171 0 6467 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 31916
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.12
CPU user time (s): 1199.98
CPU system time (s): 0.143978
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 31916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7836
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= 26
involuntary context switches= 3286
runsolver used 1.45278 second user time and 3.00454 second system time
The end
Begin job on node15 at 2009-05-19 23:58:57
IDJOB=1832205
IDBENCH=24625
IDSOLVER=671
FILE ID=node15/1832205-1242770337
PBS_JOBID= 9322283
Free space on /tmp= 66440 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/equilarge_l2.sat05-519.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832205-1242770337/watcher-1832205-1242770337 -o /tmp/evaluation-result-1832205-1242770337/solver-1832205-1242770337 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832205-1242770337.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5344c68d1511d70cde59fef7dc46c3a5
RANDOM SEED=484181363
node15.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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
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: 1979120 kB
Buffers: 12444 kB
Cached: 28892 kB
SwapCached: 7828 kB
Active: 24872 kB
Inactive: 25896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1979120 kB
SwapTotal: 4192956 kB
SwapFree: 4179268 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 14508 kB
Slab: 12016 kB
Committed_AS: 1003240 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66436 MiB
End job on node15 at 2009-05-20 00:19:00