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 | 43649 87978 | 13094 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 42680 137826 | -- 0 -- -- | -- | -969/49848
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 720 #clauses: 42680 #literals: 137826
0.00/0.14 c CPU time: 0.12898 s
0.00/0.14 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 720 |
0.00/0.17 c | Number of clauses: 42680 |
0.00/0.20 c | Parsing time: 0.02 s |
0.00/0.20 c ============================[ Search Statistics ]==============================
0.00/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.20 c ===============================================================================
0.00/0.20 c | 0 | 720 42680 137826 | 14226 0 nan | 0.000 % |
0.16/0.21 c | 100 | 720 42680 137826 | 14226 100 89 | 0.000 % |
0.16/0.22 c | 204 | 720 42680 137826 | 14226 204 82 | 0.000 % |
0.16/0.22 c | 306 | 720 42680 137826 | 14226 306 72 | 0.000 % |
0.16/0.23 c | 417 | 720 42680 137826 | 14226 417 69 | 0.000 % |
0.16/0.24 c | 519 | 720 42680 137826 | 14226 519 68 | 0.025 % |
0.16/0.25 c | 629 | 720 42680 137826 | 14226 629 69 | 0.000 % |
0.16/0.26 c | 751 | 720 42680 137826 | 14226 751 67 | 0.000 % |
0.16/0.26 c | 851 | 720 42680 137826 | 14226 851 64 | 0.000 % |
0.16/0.27 c | 963 | 720 42680 137826 | 14226 963 61 | 0.000 % |
0.16/0.28 c | 1086 | 720 42680 137826 | 14226 1086 59 | 0.000 % |
0.16/0.30 c | 1219 | 720 42680 137826 | 14226 1219 64 | 0.000 % |
0.16/0.30 c | 1320 | 720 42680 137826 | 14226 1320 63 | 0.000 % |
0.16/0.31 c | 1430 | 720 42680 137826 | 14226 1430 62 | 0.000 % |
0.16/0.32 c | 1551 | 720 42680 137826 | 14226 1551 61 | 0.000 % |
0.16/0.33 c | 1685 | 720 42680 137826 | 14226 1685 63 | 0.000 % |
0.16/0.34 c | 1832 | 720 42680 137826 | 14226 1832 61 | 0.000 % |
0.16/0.35 c | 1933 | 720 42680 137826 | 14226 1933 60 | 0.028 % |
0.16/0.36 c | 2043 | 720 42680 137826 | 14226 2043 58 | 0.027 % |
0.16/0.37 c | 2165 | 720 42680 137826 | 14226 2165 60 | 0.000 % |
0.16/0.38 c | 2298 | 720 42680 137826 | 14226 2298 61 | 0.000 % |
0.16/0.39 c | 2444 | 720 42680 137826 | 14226 2444 60 | 0.000 % |
0.16/0.41 c | 2605 | 720 42680 137826 | 14226 2605 59 | 0.021 % |
0.16/0.41 c | 2705 | 720 42680 137826 | 14226 2705 58 | 0.025 % |
0.16/0.42 c | 2815 | 720 42680 137826 | 14226 2815 57 | 0.025 % |
0.16/0.43 c | 2936 | 720 42680 137826 | 14226 2936 57 | 0.025 % |
0.16/0.45 c | 3073 | 720 42680 137826 | 14226 3073 56 | 0.026 % |
0.16/0.46 c | 3219 | 720 42680 137826 | 14226 3219 56 | 0.000 % |
0.16/0.48 c | 3380 | 720 42680 137826 | 14226 3380 55 | 0.000 % |
0.16/0.49 c | 3560 | 720 42680 137826 | 14226 3560 55 | 0.000 % |
0.16/0.50 c | 3660 | 720 42680 137826 | 14226 3660 56 | 0.000 % |
0.16/0.52 c | 3771 | 720 42680 137826 | 14226 3771 56 | 0.025 % |
0.16/0.53 c | 3892 | 720 42680 137826 | 14226 3892 55 | 0.025 % |
0.16/0.54 c | 4027 | 720 42680 137826 | 14226 4027 54 | 0.025 % |
0.16/0.55 c | 4173 | 720 42680 137826 | 14226 4173 55 | 0.000 % |
0.16/0.57 c | 4338 | 720 42680 137826 | 14226 4338 55 | 0.000 % |
0.16/0.59 c | 4518 | 720 42680 137826 | 14226 4518 56 | 0.000 % |
0.16/0.61 c | 4716 | 720 42680 137826 | 14226 4716 56 | 0.000 % |
0.16/0.62 c | 4816 | 720 42680 137826 | 14226 4816 56 | 0.000 % |
0.16/0.63 c | 4928 | 720 42680 137826 | 14226 4928 56 | 0.000 % |
0.16/0.64 c | 5052 | 720 42680 137826 | 14226 5052 56 | 0.000 % |
0.16/0.66 c | 5185 | 720 42680 137826 | 14226 5185 56 | 0.000 % |
0.16/0.68 c | 5331 | 720 42680 137826 | 14226 5331 57 | 0.000 % |
0.16/0.70 c | 5493 | 720 42680 137826 | 14226 5493 57 | 0.000 % |
0.16/0.71 c | 5669 | 720 42680 137826 | 14226 5669 57 | 0.000 % |
0.16/0.74 c | 5862 | 720 42680 137826 | 14226 5862 57 | 0.000 % |
0.16/0.76 c | 6075 | 720 42680 137826 | 14226 6075 56 | 0.000 % |
0.16/0.77 c | 6175 | 720 42680 137826 | 14226 6175 57 | 0.000 % |
0.16/0.79 c | 6288 | 720 42680 137826 | 14226 6288 57 | 0.000 % |
0.16/0.80 c | 6409 | 720 42680 137826 | 14226 6409 57 | 0.000 % |
0.16/0.81 c | 6543 | 720 42680 137826 | 14226 6543 57 | 0.000 % |
0.16/0.83 c | 6692 | 720 42680 137826 | 14226 6692 57 | 0.000 % |
0.16/0.85 c | 6852 | 720 42680 137826 | 14226 6852 57 | 0.000 % |
0.16/0.87 c | 7028 | 720 42680 137826 | 14226 7028 56 | 0.000 % |
0.16/0.90 c | 7223 | 720 42680 137826 | 14226 7223 57 | 0.000 % |
0.16/0.92 c | 7435 | 720 42680 137826 | 14226 7435 57 | 0.000 % |
0.16/0.95 c | 7668 | 720 42680 137826 | 14226 7668 57 | 0.000 % |
0.16/0.96 c | 7768 | 720 42680 137826 | 14226 7768 57 | 0.000 % |
0.16/0.97 c | 7880 | 720 42680 137826 | 14226 7880 56 | 0.022 % |
0.16/0.99 c | 8002 | 720 42680 137826 | 14226 8002 56 | 0.022 % |
0.97/1.02 c | 8137 | 720 42680 137826 | 14226 8137 57 | 0.000 % |
0.97/1.04 c | 8287 | 720 42680 137826 | 14226 8287 56 | 0.000 % |
0.97/1.06 c | 8447 | 720 42680 137826 | 14226 8447 56 | 0.000 % |
0.97/1.08 c | 8623 | 720 42680 137826 | 14226 8623 56 | 0.000 % |
1.07/1.11 c | 8816 | 720 42680 137826 | 14226 8816 56 | 0.000 % |
1.07/1.15 c | 9032 | 720 42680 137826 | 14226 9032 56 | 0.000 % |
1.07/1.18 c | 9267 | 720 42680 137826 | 14226 9267 57 | 0.000 % |
1.16/1.22 c | 9525 | 720 42680 137826 | 14226 9525 57 | 0.000 % |
1.16/1.24 c | 9626 | 720 42680 137826 | 14226 9626 57 | 0.000 % |
1.16/1.26 c | 9736 | 720 42680 137826 | 14226 9736 57 | 0.000 % |
1.16/1.27 c | 9857 | 720 42680 137826 | 14226 9857 57 | 0.000 % |
1.16/1.29 c | 9990 | 720 42680 137826 | 14226 9990 57 | 0.000 % |
1.26/1.31 c | 10136 | 720 42680 137826 | 2147483647 10136 57 | 0.000 % |
1.26/1.34 c | 10296 | 720 42680 137826 | 2147483647 10296 57 | 0.000 % |
1.26/1.36 c | 10472 | 720 42680 137826 | 2147483647 10472 57 | 0.025 % |
1.26/1.39 c | 10667 | 720 42680 137826 | 2147483647 10667 56 | 0.021 % |
1.36/1.42 c | 10880 | 720 42680 137826 | 2147483647 10880 56 | 0.021 % |
1.36/1.45 c | 11113 | 720 42680 137826 | 2147483647 11113 55 | 0.021 % |
1.36/1.48 c | 11369 | 720 42680 137826 | 2147483647 11369 55 | 0.000 % |
1.46/1.52 c | 11650 | 720 42680 137826 | 2147483647 11650 54 | 0.021 % |
1.46/1.53 c | 11752 | 720 42680 137826 | 2147483647 11752 54 | 0.000 % |
1.46/1.55 c | 11865 | 720 42680 137826 | 2147483647 11865 54 | 0.000 % |
1.46/1.57 c | 11986 | 720 42680 137826 | 2147483647 11986 54 | 0.000 % |
1.46/1.59 c | 12121 | 720 42680 137826 | 2147483647 12121 54 | 0.024 % |
1.56/1.61 c | 12268 | 720 42680 137826 | 2147483647 12268 54 | 0.026 % |
1.56/1.64 c | 12428 | 720 42680 137826 | 2147483647 12428 54 | 0.026 % |
1.56/1.67 c | 12604 | 720 42680 137826 | 2147483647 12604 53 | 0.026 % |
1.66/1.70 c | 12798 | 720 42680 137826 | 2147483647 12798 53 | 0.000 % |
1.66/1.74 c | 13012 | 720 42680 137826 | 2147483647 13012 53 | 0.023 % |
1.66/1.79 c | 13247 | 720 42680 137826 | 2147483647 13247 53 | 0.000 % |
1.76/1.82 c | 13503 | 720 42680 137826 | 2147483647 13503 54 | 0.000 % |
1.76/1.88 c | 13784 | 720 42680 137826 | 2147483647 13784 54 | 0.000 % |
1.86/1.92 c | 14094 | 720 42680 137826 | 2147483647 14094 54 | 0.000 % |
1.86/1.95 c | 14195 | 720 42680 137826 | 2147483647 14195 54 | 0.000 % |
1.86/1.97 c | 14305 | 720 42680 137826 | 2147483647 14305 54 | 0.000 % |
1.86/1.99 c | 14426 | 720 42680 137826 | 2147483647 14426 55 | 0.000 % |
1.96/2.01 c | 14561 | 720 42680 137826 | 2147483647 14561 55 | 0.000 % |
1.96/2.04 c | 14710 | 720 42680 137826 | 2147483647 14710 55 | 0.000 % |
1.96/2.07 c | 14870 | 720 42680 137826 | 2147483647 14870 55 | 0.000 % |
2.07/2.10 c | 15047 | 720 42680 137826 | 2147483647 15047 55 | 0.000 % |
2.07/2.14 c | 15240 | 720 42680 137826 | 2147483647 15240 55 | 0.000 % |
2.07/2.18 c | 15452 | 720 42680 137826 | 2147483647 15452 56 | 0.000 % |
2.16/2.22 c | 15685 | 720 42680 137826 | 2147483647 15685 56 | 0.000 % |
2.16/2.27 c | 15942 | 720 42680 137826 | 2147483647 15942 56 | 0.000 % |
2.26/2.32 c | 16223 | 720 42680 137826 | 2147483647 16223 57 | 0.000 % |
2.26/2.39 c | 16533 | 720 42680 137826 | 2147483647 16533 57 | 0.000 % |
2.36/2.47 c | 16873 | 720 42680 137826 | 2147483647 16873 57 | 0.000 % |
2.36/2.49 c | 16973 | 720 42680 137826 | 2147483647 16973 57 | 0.000 % |
2.47/2.52 c | 17085 | 720 42680 137826 | 2147483647 17085 57 | 0.000 % |
2.47/2.55 c | 17206 | 720 42680 137826 | 2147483647 17206 57 | 0.000 % |
2.47/2.57 c | 17341 | 720 42680 137826 | 2147483647 17341 57 | 0.000 % |
2.57/2.60 c | 17487 | 720 42680 137826 | 2147483647 17487 57 | 0.027 % |
2.57/2.65 c | 17648 | 720 42680 137826 | 2147483647 17648 57 | 0.021 % |
2.57/2.69 c | 17826 | 720 42680 137826 | 2147483647 17826 57 | 0.000 % |
2.67/2.73 c | 18019 | 720 42680 137826 | 2147483647 18019 57 | 0.023 % |
2.67/2.79 c | 18232 | 720 42680 137826 | 2147483647 18232 57 | 0.000 % |
2.77/2.84 c | 18465 | 720 42680 137826 | 2147483647 18465 57 | 0.000 % |
2.77/2.90 c | 18722 | 720 42680 137826 | 2147483647 18722 57 | 0.026 % |
2.87/2.95 c | 19004 | 720 42680 137826 | 2147483647 19004 56 | 0.026 % |
2.97/3.05 c | 19313 | 720 42680 137826 | 2147483647 19313 57 | 0.000 % |
3.07/3.14 c | 19653 | 720 42680 137826 | 2147483647 19653 57 | 0.000 % |
3.17/3.21 c | 20027 | 720 42680 137826 | 2147483647 20027 57 | 0.000 % |
3.17/3.24 c | 20127 | 720 42680 137826 | 2147483647 20127 57 | 0.000 % |
3.17/3.28 c | 20237 | 720 42680 137826 | 2147483647 20237 57 | 0.000 % |
3.27/3.30 c | 20360 | 720 42680 137826 | 2147483647 20360 57 | 0.025 % |
3.27/3.33 c | 20493 | 720 42680 137826 | 2147483647 20493 57 | 0.026 % |
3.27/3.36 c | 20642 | 720 42680 137826 | 2147483647 20642 57 | 0.026 % |
3.27/3.39 c | 20802 | 720 42680 137826 | 2147483647 20802 57 | 0.000 % |
3.37/3.43 c | 20978 | 720 42680 137826 | 2147483647 20978 56 | 0.000 % |
3.37/3.48 c | 21171 | 720 42680 137826 | 2147483647 21171 56 | 0.000 % |
3.47/3.53 c | 21383 | 720 42680 137826 | 2147483647 21383 56 | 0.026 % |
3.47/3.58 c | 21616 | 720 42680 137826 | 2147483647 21616 56 | 0.021 % |
3.57/3.64 c | 21872 | 720 42680 137826 | 2147483647 21872 56 | 0.000 % |
3.67/3.72 c | 22153 | 720 42680 137826 | 2147483647 22153 56 | 0.000 % |
3.77/3.80 c | 22464 | 720 42680 137826 | 2147483647 22464 56 | 0.000 % |
3.77/3.88 c | 22803 | 720 42680 137826 | 2147483647 22803 56 | 0.026 % |
3.87/3.96 c | 23176 | 720 42680 137826 | 2147483647 23176 56 | 0.026 % |
3.96/4.07 c | 23585 | 720 42680 137826 | 2147483647 23585 55 | 0.000 % |
4.06/4.11 c | 23685 | 720 42680 137826 | 2147483647 23685 55 | 0.000 % |
4.06/4.15 c | 23797 | 720 42680 137826 | 2147483647 23797 56 | 0.025 % |
4.06/4.18 c | 23918 | 720 42680 137826 | 2147483647 23918 56 | 0.000 % |
4.16/4.22 c | 24052 | 720 42680 137826 | 2147483647 24052 56 | 0.021 % |
4.16/4.27 c | 24200 | 720 42680 137826 | 2147483647 24200 56 | 0.000 % |
4.27/4.31 c | 24360 | 720 42680 137826 | 2147483647 24360 56 | 0.000 % |
4.27/4.35 c | 24537 | 720 42680 137826 | 2147483647 24537 56 | 0.023 % |
4.37/4.42 c | 24730 | 720 42680 137826 | 2147483647 24730 56 | 0.000 % |
4.37/4.48 c | 24942 | 720 42680 137826 | 2147483647 24942 56 | 0.000 % |
4.46/4.54 c | 25178 | 720 42680 137826 | 2147483647 25178 56 | 0.000 % |
4.56/4.61 c | 25434 | 720 42680 137826 | 2147483647 25434 56 | 0.026 % |
4.56/4.69 c | 25715 | 720 42680 137826 | 2147483647 25715 56 | 0.026 % |
4.66/4.77 c | 26024 | 720 42680 137826 | 2147483647 26024 56 | 0.026 % |
4.76/4.88 c | 26365 | 720 42680 137826 | 2147483647 26365 57 | 0.000 % |
4.96/5.02 c | 26740 | 720 42680 137826 | 2147483647 26740 57 | 0.000 % |
5.06/5.13 c | 27149 | 720 42680 137826 | 2147483647 27149 56 | 0.000 % |
5.16/5.28 c | 27599 | 720 42680 137826 | 2147483647 27599 56 | 0.000 % |
5.26/5.31 c | 27700 | 720 42680 137826 | 2147483647 27700 56 | 0.000 % |
5.26/5.35 c | 27811 | 720 42680 137826 | 2147483647 27811 56 | 0.000 % |
5.26/5.39 c | 27932 | 720 42680 137826 | 2147483647 27932 56 | 0.000 % |
5.37/5.44 c | 28066 | 720 42680 137826 | 2147483647 28066 56 | 0.000 % |
5.37/5.49 c | 28215 | 720 42680 137826 | 2147483647 28215 56 | 0.000 % |
5.47/5.53 c | 28376 | 720 42680 137826 | 2147483647 28376 56 | 0.000 % |
5.47/5.58 c | 28552 | 720 42680 137826 | 2147483647 28552 56 | 0.025 % |
5.56/5.67 c | 28745 | 720 42680 137826 | 2147483647 28745 56 | 0.000 % |
5.66/5.75 c | 28957 | 720 42680 137826 | 2147483647 28957 56 | 0.000 % |
5.76/5.84 c | 29191 | 720 42680 137826 | 2147483647 29191 56 | 0.000 % |
5.86/5.93 c | 29447 | 720 42680 137826 | 2147483647 29447 56 | 0.000 % |
5.96/6.01 c | 29730 | 720 42680 137826 | 2147483647 29730 57 | 0.000 % |
6.06/6.10 c | 30040 | 720 42680 137826 | 2147483647 30040 56 | 0.000 % |
6.16/6.24 c | 30379 | 720 42680 137826 | 2147483647 30379 57 | 0.000 % |
6.36/6.40 c | 30752 | 720 42680 137826 | 2147483647 30752 57 | 0.000 % |
6.46/6.51 c | 31162 | 720 42680 137826 | 2147483647 31162 57 | 0.000 % |
6.56/6.69 c | 31611 | 720 42680 137826 | 2147483647 31611 57 | 0.000 % |
6.77/6.89 c | 32106 | 720 42680 137826 | 2147483647 32106 57 | 0.000 % |
6.87/6.93 c | 32209 | 720 42680 137826 | 2147483647 32209 57 | 0.000 % |
6.87/6.98 c | 32321 | 720 42680 137826 | 2147483647 32321 57 | 0.029 % |
6.97/7.01 c | 32443 | 720 42680 137826 | 2147483647 32443 57 | 0.000 % |
6.97/7.06 c | 32576 | 720 42680 137826 | 2147483647 32576 57 | 0.024 % |
7.07/7.13 c | 32722 | 720 42680 137826 | 2147483647 32722 57 | 0.000 % |
7.17/7.20 c | 32882 | 720 42680 137826 | 2147483647 32882 57 | 0.000 % |
7.17/7.28 c | 33061 | 720 42680 137826 | 2147483647 33061 57 | 0.000 % |
7.27/7.37 c | 33254 | 720 42680 137826 | 2147483647 33254 57 | 0.000 % |
7.37/7.47 c | 33466 | 720 42680 137826 | 2147483647 33466 57 | 0.000 % |
7.47/7.59 c | 33699 | 720 42680 137826 | 2147483647 33699 57 | 0.000 % |
7.57/7.69 c | 33957 | 720 42680 137826 | 2147483647 33957 57 | 0.000 % |
7.67/7.80 c | 34240 | 720 42680 137826 | 2147483647 34240 57 | 0.000 % |
7.87/7.91 c | 34549 | 720 42680 137826 | 2147483647 34549 57 | 0.000 % |
8.07/8.12 c | 34888 | 720 42680 137826 | 2147483647 34888 57 | 0.000 % |
8.17/8.26 c | 35260 | 720 42680 137826 | 2147483647 35260 58 | 0.000 % |
8.37/8.43 c | 35670 | 720 42680 137826 | 2147483647 35670 58 | 0.000 % |
8.57/8.62 c | 36119 | 720 42680 137826 | 2147483647 36119 58 | 0.000 % |
8.77/8.87 c | 36614 | 720 42680 137826 | 2147483647 36614 58 | 0.000 % |
8.97/9.06 c | 37157 | 720 42680 137826 | 2147483647 37157 58 | 0.000 % |
8.97/9.09 c | 37259 | 720 42680 137826 | 2147483647 37259 58 | 0.026 % |
9.07/9.15 c | 37369 | 720 42680 137826 | 2147483647 37369 58 | 0.000 % |
9.17/9.20 c | 37490 | 720 42680 137826 | 2147483647 37490 58 | 0.000 % |
9.17/9.27 c | 37623 | 720 42680 137826 | 2147483647 37623 58 | 0.000 % |
9.27/9.35 c | 37772 | 720 42680 137826 | 2147483647 37772 58 | 0.000 % |
9.36/9.41 c | 37932 | 720 42680 137826 | 2147483647 37932 58 | 0.000 % |
9.46/9.50 c | 38108 | 720 42680 137826 | 2147483647 38108 58 | 0.028 % |
9.56/9.60 c | 38304 | 720 42680 137826 | 2147483647 38304 58 | 0.027 % |
9.56/9.68 c | 38518 | 720 42680 137826 | 2147483647 38518 58 | 0.000 % |
9.77/9.84 c | 38751 | 720 42680 137826 | 2147483647 38751 58 | 0.000 % |
9.87/9.97 c | 39008 | 720 42680 137826 | 2147483647 39008 58 | 0.000 % |
10.06/10.18 c | 39292 | 720 42680 137826 | 2147483647 39292 58 | 0.000 % |
10.26/10.32 c | 39601 | 720 42680 137826 | 2147483647 39601 58 | 0.000 % |
10.46/10.51 c | 39940 | 720 42680 137826 | 2147483647 39940 58 | 0.000 % |
10.56/10.68 c | 40313 | 720 42680 137826 | 2147483647 40313 58 | 0.026 % |
10.76/10.86 c | 40722 | 720 42680 137826 | 2147483647 40722 58 | 0.000 % |
10.97/11.04 c | 41171 | 720 42680 137826 | 2147483647 41171 58 | 0.026 % |
11.16/11.29 c | 41664 | 720 42680 137826 | 2147483647 41664 58 | 0.000 % |
11.46/11.51 c | 42207 | 720 42680 137826 | 2147483647 42207 58 | 0.000 % |
11.66/11.79 c | 42806 | 720 42680 137826 | 2147483647 42806 58 | 0.025 % |
11.76/11.83 c | 42908 | 720 42680 137826 | 2147483647 42908 57 | 0.025 % |
11.76/11.87 c | 43018 | 720 42680 137826 | 2147483647 43018 57 | 0.025 % |
11.86/11.93 c | 43139 | 720 42680 137826 | 2147483647 43139 57 | 0.000 % |
11.86/12.00 c | 43272 | 720 42680 137826 | 2147483647 43272 57 | 0.000 % |
11.97/12.06 c | 43421 | 720 42680 137826 | 2147483647 43421 57 | 0.000 % |
12.07/12.14 c | 43582 | 720 42680 137826 | 2147483647 43582 57 | 0.000 % |
12.16/12.28 c | 43761 | 720 42680 137826 | 2147483647 43761 57 | 0.000 % |
12.26/12.38 c | 43958 | 720 42680 137826 | 2147483647 43958 58 | 0.000 % |
12.46/12.54 c | 44171 | 720 42680 137826 | 2147483647 44171 58 | 0.000 % |
12.56/12.64 c | 44405 | 720 42680 137826 | 2147483647 44405 58 | 0.000 % |
12.76/12.81 c | 44662 | 720 42680 137826 | 2147483647 44662 58 | 0.000 % |
12.86/12.94 c | 44943 | 720 42680 137826 | 2147483647 44943 58 | 0.000 % |
13.06/13.13 c | 45253 | 720 42680 137826 | 2147483647 45253 58 | 0.000 % |
13.26/13.33 c | 45593 | 720 42680 137826 | 2147483647 45593 58 | 0.000 % |
13.46/13.57 c | 45965 | 720 42680 137826 | 2147483647 45965 58 | 0.000 % |
13.76/13.84 c | 46374 | 720 42680 137826 | 2147483647 46374 58 | 0.000 % |
14.06/14.11 c | 46823 | 720 42680 137826 | 2147483647 46823 58 | 0.000 % |
14.26/14.39 c | 47316 | 720 42680 137826 | 2147483647 47316 58 | 0.022 % |
14.66/14.71 c | 47860 | 720 42680 137826 | 2147483647 47860 57 | 0.022 % |
14.86/14.98 c | 48456 | 720 42680 137826 | 2147483647 48456 57 | 0.025 % |
15.26/15.37 c | 49111 | 720 42680 137826 | 2147483647 49111 57 | 0.022 % |
15.36/15.42 c | 49211 | 720 42680 137826 | 2147483647 49211 57 | 0.030 % |
15.36/15.48 c | 49322 | 720 42680 137826 | 2147483647 49322 57 | 0.030 % |
15.46/15.56 c | 49443 | 720 42680 137826 | 2147483647 49443 57 | 0.022 % |
15.56/15.62 c | 49576 | 720 42680 137826 | 2147483647 49576 56 | 0.022 % |
15.66/15.73 c | 49725 | 720 42680 137826 | 2147483647 49725 57 | 0.000 % |
15.76/15.81 c | 49885 | 720 42680 137826 | 2147483647 49885 57 | 0.000 % |
15.76/15.89 c | 50062 | 720 42680 137826 | 2147483647 50062 57 | 0.022 % |
15.96/16.00 c | 50256 | 720 42680 137826 | 2147483647 50256 57 | 0.000 % |
16.06/16.11 c | 50470 | 720 42680 137826 | 2147483647 50470 57 | 0.027 % |
16.16/16.26 c | 50704 | 720 42680 137826 | 2147483647 50704 57 | 0.026 % |
16.37/16.41 c | 50960 | 720 42680 137826 | 2147483647 50960 56 | 0.026 % |
16.47/16.54 c | 51242 | 720 42680 137826 | 2147483647 51242 56 | 0.000 % |
16.66/16.72 c | 51552 | 720 42680 137826 | 2147483647 51552 56 | 0.019 % |
16.86/16.96 c | 51894 | 720 42680 137826 | 2147483647 51894 56 | 0.000 % |
17.06/17.16 c | 52267 | 720 42680 137826 | 2147483647 52267 56 | 0.021 % |
17.36/17.41 c | 52676 | 720 42680 137826 | 2147483647 52676 56 | 0.000 % |
17.57/17.67 c | 53125 | 720 42680 137826 | 2147483647 53125 56 | 0.031 % |
17.86/17.97 c | 53618 | 720 42680 137826 | 2147483647 53618 56 | 0.000 % |
18.16/18.25 c | 54161 | 720 42680 137826 | 2147483647 54161 56 | 0.030 % |
18.46/18.56 c | 54757 | 720 42680 137826 | 2147483647 54757 55 | 0.000 % |
18.86/19.00 c | 55412 | 720 42680 137826 | 2147483647 55412 55 | 0.030 % |
19.26/19.33 c | 56135 | 720 42680 137826 | 2147483647 56135 55 | 0.030 % |
19.26/19.40 c | 56235 | 720 42680 137826 | 2147483647 56235 55 | 0.028 % |
19.36/19.46 c | 56346 | 720 42680 137826 | 2147483647 56346 55 | 0.023 % |
19.46/19.53 c | 56467 | 720 42680 137826 | 2147483647 56467 55 | 0.027 % |
19.56/19.63 c | 56600 | 720 42680 137826 | 2147483647 56600 55 | 0.030 % |
19.66/19.71 c | 56746 | 720 42680 137826 | 2147483647 56746 55 | 0.031 % |
19.77/19.80 c | 56906 | 720 42680 137826 | 2147483647 56906 55 | 0.000 % |
19.86/19.91 c | 57083 | 720 42680 137826 | 2147483647 57083 54 | 0.000 % |
19.96/20.08 c | 57276 | 720 42680 137826 | 2147483647 57276 55 | 0.000 % |
20.06/20.20 c | 57490 | 720 42680 137826 | 2147483647 57490 55 | 0.000 % |
20.26/20.31 c | 57723 | 720 42680 137826 | 2147483647 57723 55 | 0.000 % |
20.36/20.44 c | 57980 | 720 42680 137826 | 2147483647 57980 55 | 0.000 % |
20.56/20.67 c | 58261 | 720 42680 137826 | 2147483647 58261 55 | 0.000 % |
20.76/20.84 c | 58570 | 720 42680 137826 | 2147483647 58570 55 | 0.030 % |
21.06/21.10 c | 58912 | 720 42680 137826 | 2147483647 58912 55 | 0.000 % |
21.26/21.31 c | 59284 | 720 42680 137826 | 2147483647 59284 55 | 0.000 % |
21.46/21.53 c | 59693 | 720 42680 137826 | 2147483647 59693 55 | 0.000 % |
21.65/21.76 c | 60142 | 720 42680 137826 | 60002 60142 55 | 0.026 % |
22.05/22.14 c | 60637 | 720 42680 137826 | 60002 54056 53 | 0.026 % |
22.36/22.44 c | 61181 | 720 42680 137826 | 60002 54600 53 | 0.000 % |
22.76/22.81 c | 61778 | 720 42680 137826 | 60002 55197 53 | 0.000 % |
23.07/23.18 c | 62435 | 720 42680 137826 | 60002 55854 53 | 0.025 % |
23.56/23.62 c | 63155 | 720 42680 137826 | 60002 56574 53 | 0.026 % |
23.96/24.08 c | 63948 | 720 42680 137826 | 60002 57367 52 | 0.026 % |
24.07/24.14 c | 64048 | 720 42680 137826 | 60002 57467 52 | 0.026 % |
24.17/24.21 c | 64158 | 720 42680 137826 | 60002 57577 52 | 0.000 % |
24.17/24.28 c | 64279 | 720 42680 137826 | 60002 57698 52 | 0.000 % |
24.26/24.37 c | 64414 | 720 42680 137826 | 60002 57833 52 | 0.000 % |
24.36/24.44 c | 64562 | 720 42680 137826 | 60002 57981 52 | 0.025 % |
24.46/24.57 c | 64724 | 720 42680 137826 | 60002 58143 53 | 0.000 % |
24.66/24.70 c | 64901 | 720 42680 137826 | 60002 58320 53 | 0.000 % |
24.76/24.82 c | 65094 | 720 42680 137826 | 60002 58513 53 | 0.000 % |
24.86/24.94 c | 65306 | 720 42680 137826 | 60002 58725 53 | 0.000 % |
24.96/25.04 c | 65539 | 720 42680 137826 | 60002 58958 53 | 0.000 % |
25.16/25.28 c | 65797 | 720 42680 137826 | 60002 59216 53 | 0.000 % |
25.46/25.50 c | 66080 | 720 42680 137826 | 60002 59499 53 | 0.000 % |
25.66/25.74 c | 66389 | 720 42680 137826 | 60002 59808 53 | 0.000 % |
25.96/26.00 c | 66730 | 720 42680 137826 | 60002 60149 53 | 0.000 % |
26.16/26.29 c | 67102 | 720 42680 137826 | 60002 52405 51 | 0.000 % |
26.46/26.52 c | 67512 | 720 42680 137826 | 60002 52815 51 | 0.000 % |
26.76/26.80 c | 67963 | 720 42680 137826 | 60002 53266 51 | 0.000 % |
27.06/27.12 c | 68456 | 720 42680 137826 | 60002 53759 52 | 0.000 % |
27.36/27.46 c | 68998 | 720 42680 137826 | 60002 54301 52 | 0.023 % |
27.66/27.78 c | 69594 | 720 42680 137826 | 60002 54897 52 | 0.000 % |
28.16/28.24 c | 70249 | 720 42680 137826 | 55303 55552 52 | 0.000 % |
28.56/28.61 c | 70970 | 720 42680 137826 | 55303 48293 50 | 0.000 % |
28.96/29.03 c | 71762 | 720 42680 137826 | 55303 49085 50 | 0.027 % |
29.46/29.59 c | 72633 | 720 42680 137826 | 55303 49956 50 | 0.000 % |
29.56/29.64 c | 72735 | 720 42680 137826 | 55303 50058 50 | 0.000 % |
29.66/29.70 c | 72847 | 720 42680 137826 | 55303 50170 50 | 0.027 % |
29.66/29.76 c | 72968 | 720 42680 137826 | 55303 50291 50 | 0.000 % |
29.76/29.84 c | 73102 | 720 42680 137826 | 55303 50425 50 | 0.000 % |
29.86/29.90 c | 73250 | 720 42680 137826 | 55303 50573 50 | 0.000 % |
29.96/30.00 c | 73411 | 720 42680 137826 | 55303 50734 50 | 0.023 % |
30.06/30.10 c | 73587 | 720 42680 137826 | 55303 50910 50 | 0.000 % |
30.16/30.27 c | 73784 | 720 42680 137826 | 55303 51107 50 | 0.000 % |
30.26/30.39 c | 73996 | 720 42680 137826 | 55303 51319 50 | 0.000 % |
30.46/30.53 c | 74229 | 720 42680 137826 | 55303 51552 50 | 0.028 % |
30.56/30.69 c | 74486 | 720 42680 137826 | 55303 51809 50 | 0.000 % |
30.76/30.84 c | 74768 | 720 42680 137826 | 55303 52091 50 | 0.025 % |
30.86/30.98 c | 75078 | 720 42680 137826 | 55303 52401 50 | 0.000 % |
31.16/31.21 c | 75417 | 720 42680 137826 | 55303 52740 50 | 0.000 % |
31.36/31.45 c | 75789 | 720 42680 137826 | 55303 53112 50 | 0.000 % |
31.66/31.72 c | 76198 | 720 42680 137826 | 55303 53521 51 | 0.000 % |
31.96/32.05 c | 76652 | 720 42680 137826 | 55303 53975 51 | 0.000 % |
32.26/32.39 c | 77145 | 720 42680 137826 | 55303 54468 51 | 0.000 % |
32.66/32.76 c | 77687 | 720 42680 137826 | 55303 55010 52 | 0.000 % |
32.96/33.04 c | 78283 | 720 42680 137826 | 55303 55606 52 | 0.000 % |
33.26/33.39 c | 78938 | 720 42680 137826 | 55303 49013 49 | 0.000 % |
33.66/33.70 c | 79658 | 720 42680 137826 | 55303 49733 50 | 0.000 % |
33.96/34.08 c | 80451 | 720 42680 137826 | 50076 44353 48 | 0.027 % |
34.36/34.41 c | 81325 | 720 42680 137826 | 50076 45227 48 | 0.000 % |
34.75/34.83 c | 82284 | 720 42680 137826 | 50076 46186 48 | 0.025 % |
34.75/34.88 c | 82385 | 720 42680 137826 | 50076 46287 48 | 0.024 % |
34.85/34.94 c | 82497 | 720 42680 137826 | 50076 46399 48 | 0.000 % |
34.95/35.00 c | 82618 | 720 42680 137826 | 50076 46520 48 | 0.024 % |
34.95/35.07 c | 82752 | 720 42680 137826 | 50076 46654 48 | 0.000 % |
35.06/35.13 c | 82899 | 720 42680 137826 | 50076 46801 48 | 0.023 % |
35.16/35.22 c | 83059 | 720 42680 137826 | 50076 46961 48 | 0.000 % |
35.25/35.38 c | 83237 | 720 42680 137826 | 50076 47139 48 | 0.000 % |
35.45/35.54 c | 83432 | 720 42680 137826 | 50076 47334 48 | 0.000 % |
35.55/35.64 c | 83646 | 720 42680 137826 | 50076 47548 48 | 0.000 % |
35.65/35.75 c | 83880 | 720 42680 137826 | 50076 47782 48 | 0.000 % |
35.75/35.88 c | 84136 | 720 42680 137826 | 50076 48038 48 | 0.026 % |
35.95/36.01 c | 84420 | 720 42680 137826 | 50076 48322 48 | 0.000 % |
36.05/36.17 c | 84729 | 720 42680 137826 | 50076 48631 48 | 0.000 % |
36.26/36.38 c | 85068 | 720 42680 137826 | 50076 48970 48 | 0.000 % |
36.45/36.54 c | 85441 | 720 42680 137826 | 50076 49343 48 | 0.000 % |
36.75/36.84 c | 85850 | 720 42680 137826 | 50076 49752 49 | 0.000 % |
36.95/37.09 c | 86299 | 720 42680 137826 | 50076 50201 48 | 0.000 % |
37.36/37.41 c | 86794 | 720 42680 137826 | 50076 45197 49 | 0.025 % |
37.55/37.70 c | 87339 | 720 42680 137826 | 50076 45742 48 | 0.025 % |
37.95/38.00 c | 87936 | 720 42680 137826 | 50076 46339 48 | 0.025 % |
38.25/38.38 c | 88591 | 720 42680 137826 | 50076 46994 48 | 0.025 % |
38.75/38.87 c | 89311 | 720 42680 137826 | 50076 47714 49 | 0.000 % |
39.25/39.33 c | 90103 | 720 42680 137826 | 48407 48506 49 | 0.000 % |
39.85/39.93 c | 90977 | 720 42680 137826 | 48407 43927 51 | 0.000 % |
40.35/40.46 c | 91935 | 720 42680 137826 | 48407 44885 52 | 0.000 % |
40.95/41.00 c | 92988 | 720 42680 137826 | 48407 45938 52 | 0.000 % |
40.95/41.05 c | 93088 | 720 42680 137826 | 48407 46038 52 | 0.000 % |
41.05/41.12 c | 93198 | 720 42680 137826 | 48407 46148 52 | 0.000 % |
41.15/41.21 c | 93319 | 720 42680 137826 | 48407 46269 52 | 0.000 % |
41.15/41.28 c | 93455 | 720 42680 137826 | 48407 46405 52 | 0.000 % |
41.25/41.35 c | 93603 | 720 42680 137826 | 48407 46553 52 | 0.023 % |
41.35/41.43 c | 93763 | 720 42680 137826 | 48407 46713 52 | 0.000 % |
41.45/41.51 c | 93940 | 720 42680 137826 | 48407 46890 52 | 0.000 % |
41.55/41.64 c | 94133 | 720 42680 137826 | 48407 47083 52 | 0.026 % |
41.66/41.77 c | 94345 | 720 42680 137826 | 48407 47295 52 | 0.000 % |
41.85/41.91 c | 94579 | 720 42680 137826 | 48407 47529 52 | 0.000 % |
42.05/42.10 c | 94838 | 720 42680 137826 | 48407 47788 52 | 0.000 % |
42.15/42.29 c | 95120 | 720 42680 137826 | 48407 48070 52 | 0.000 % |
42.35/42.46 c | 95430 | 720 42680 137826 | 48407 48380 52 | 0.000 % |
42.55/42.68 c | 95769 | 720 42680 137826 | 48407 48719 52 | 0.024 % |
42.86/42.94 c | 96142 | 720 42680 137826 | 48407 43627 52 | 0.031 % |
43.05/43.19 c | 96551 | 720 42680 137826 | 48407 44036 52 | 0.027 % |
43.35/43.44 c | 97000 | 720 42680 137826 | 48407 44485 52 | 0.000 % |
43.65/43.77 c | 97495 | 720 42680 137826 | 48407 44980 53 | 0.000 % |
43.95/44.10 c | 98037 | 720 42680 137826 | 48407 45522 53 | 0.000 % |
44.25/44.39 c | 98634 | 720 42680 137826 | 48407 46119 53 | 0.000 % |
44.75/44.82 c | 99291 | 720 42680 137826 | 48407 46776 54 | 0.000 % |
45.15/45.26 c | 100013 | 720 42680 137826 | 47485 47498 54 | 0.000 % |
45.85/45.99 c | 100805 | 720 42680 137826 | 47485 42472 53 | 0.000 % |
46.55/46.61 c | 101677 | 720 42680 137826 | 47485 43344 53 | 0.000 % |
47.15/47.25 c | 102636 | 720 42680 137826 | 47485 44303 53 | 0.000 % |
47.75/47.88 c | 103690 | 720 42680 137826 | 47485 45357 54 | 0.000 % |
48.65/48.71 c | 104849 | 720 42680 137826 | 47485 46516 54 | 0.000 % |
48.65/48.77 c | 104950 | 720 42680 137826 | 47485 46617 54 | 0.000 % |
48.75/48.84 c | 105062 | 720 42680 137826 | 47485 46729 54 | 0.025 % |
48.85/48.94 c | 105183 | 720 42680 137826 | 47485 46850 54 | 0.000 % |
48.95/49.05 c | 105318 | 720 42680 137826 | 47485 46985 54 | 0.000 % |
49.05/49.17 c | 105465 | 720 42680 137826 | 47485 47132 54 | 0.000 % |
49.15/49.28 c | 105625 | 720 42680 137826 | 47485 47292 54 | 0.000 % |
49.25/49.40 c | 105802 | 720 42680 137826 | 47485 47469 54 | 0.000 % |
49.45/49.51 c | 105995 | 720 42680 137826 | 47485 47662 54 | 0.000 % |
49.55/49.68 c | 106207 | 720 42680 137826 | 47485 40806 53 | 0.000 % |
49.75/49.81 c | 106440 | 720 42680 137826 | 47485 41039 53 | 0.000 % |
49.85/49.92 c | 106697 | 720 42680 137826 | 47485 41296 53 | 0.027 % |
49.95/50.07 c | 106978 | 720 42680 137826 | 47485 41577 52 | 0.000 % |
50.15/50.22 c | 107289 | 720 42680 137826 | 47485 41888 52 | 0.022 % |
50.35/50.43 c | 107628 | 720 42680 137826 | 47485 42227 52 | 0.022 % |
50.55/50.63 c | 108003 | 720 42680 137826 | 47485 42602 52 | 0.023 % |
50.85/50.95 c | 108413 | 720 42680 137826 | 47485 43012 53 | 0.000 % |
51.15/51.25 c | 108863 | 720 42680 137826 | 47485 43462 53 | 0.000 % |
51.45/51.52 c | 109357 | 720 42680 137826 | 47485 43956 53 | 0.000 % |
51.75/51.88 c | 109899 | 720 42680 137826 | 47485 44498 53 | 0.000 % |
52.15/52.24 c | 110495 | 720 42680 137826 | 44600 38989 52 | 0.000 % |
52.65/52.73 c | 111150 | 720 42680 137826 | 44600 39644 52 | 0.000 % |
53.05/53.10 c | 111870 | 720 42680 137826 | 44600 40364 52 | 0.000 % |
53.45/53.52 c | 112665 | 720 42680 137826 | 44600 41159 52 | 0.000 % |
54.05/54.15 c | 113537 | 720 42680 137826 | 44600 42031 52 | 0.000 % |
54.95/55.01 c | 114496 | 720 42680 137826 | 44600 42990 53 | 0.000 % |
55.65/55.77 c | 115550 | 720 42680 137826 | 44600 44044 53 | 0.023 % |
56.65/56.71 c | 116708 | 720 42680 137826 | 44600 38714 55 | 0.000 % |
57.35/57.46 c | 117984 | 720 42680 137826 | 44600 39990 55 | 0.000 % |
57.45/57.52 c | 118084 | 720 42680 137826 | 44600 40090 55 | 0.000 % |
57.55/57.66 c | 118194 | 720 42680 137826 | 44600 40200 55 | 0.000 % |
57.65/57.73 c | 118316 | 720 42680 137826 | 44600 40322 55 | 0.000 % |
57.75/57.81 c | 118450 | 720 42680 137826 | 44600 40456 55 | 0.000 % |
57.75/57.87 c | 118596 | 720 42680 137826 | 44600 40602 55 | 0.000 % |
57.95/58.07 c | 118757 | 720 42680 137826 | 44600 40763 55 | 0.000 % |
58.15/58.24 c | 118936 | 720 42680 137826 | 44600 40942 55 | 0.000 % |
58.25/58.38 c | 119129 | 720 42680 137826 | 44600 41135 55 | 0.000 % |
58.45/58.55 c | 119341 | 720 42680 137826 | 44600 41347 55 | 0.000 % |
58.55/58.67 c | 119575 | 720 42680 137826 | 44600 41581 55 | 0.000 % |
58.85/58.92 c | 119834 | 720 42680 137826 | 44600 41840 55 | 0.000 % |
59.05/59.15 c | 120115 | 720 42680 137826 | 42008 42121 55 | 0.000 % |
59.25/59.38 c | 120425 | 720 42680 137826 | 42008 36137 53 | 0.000 % |
59.44/59.57 c | 120764 | 720 42680 137826 | 42008 36476 53 | 0.000 % |
59.74/59.81 c | 121136 | 720 42680 137826 | 42008 36848 53 | 0.000 % |
59.94/60.07 c | 121545 | 720 42680 137826 | 42008 37257 53 | 0.000 % |
60.45/60.52 c | 121994 | 720 42680 137826 | 42008 37706 54 | 0.000 % |
60.74/60.85 c | 122488 | 720 42680 137826 | 42008 38200 54 | 0.000 % |
61.04/61.13 c | 123030 | 720 42680 137826 | 42008 38742 54 | 0.000 % |
61.55/61.63 c | 123628 | 720 42680 137826 | 42008 39340 54 | 0.000 % |
61.94/62.03 c | 124289 | 720 42680 137826 | 42008 40001 54 | 0.000 % |
62.55/62.62 c | 125009 | 720 42680 137826 | 42008 40721 55 | 0.000 % |
63.15/63.26 c | 125801 | 720 42680 137826 | 42008 41513 55 | 0.000 % |
63.75/63.88 c | 126672 | 720 42680 137826 | 42008 42384 55 | 0.000 % |
64.34/64.42 c | 127631 | 720 42680 137826 | 42008 36734 52 | 0.000 % |
64.85/64.99 c | 128686 | 720 42680 137826 | 42008 37789 52 | 0.000 % |
65.44/65.59 c | 129846 | 720 42680 137826 | 42008 38949 52 | 0.025 % |
66.34/66.44 c | 131120 | 720 42680 137826 | 39103 34672 52 | 0.000 % |
67.14/67.21 c | 132523 | 720 42680 137826 | 39103 36075 52 | 0.000 % |
67.24/67.30 c | 132625 | 720 42680 137826 | 39103 36177 52 | 0.000 % |
67.24/67.35 c | 132735 | 720 42680 137826 | 39103 36287 52 | 0.000 % |
67.34/67.41 c | 132860 | 720 42680 137826 | 39103 36412 52 | 0.000 % |
67.34/67.48 c | 132993 | 720 42680 137826 | 39103 36545 52 | 0.000 % |
67.44/67.58 c | 133139 | 720 42680 137826 | 39103 36691 52 | 0.021 % |
67.54/67.67 c | 133304 | 720 42680 137826 | 39103 36856 52 | 0.021 % |
67.64/67.79 c | 133480 | 720 42680 137826 | 39103 37032 52 | 0.023 % |
67.84/67.90 c | 133674 | 720 42680 137826 | 39103 37226 52 | 0.023 % |
67.94/68.03 c | 133887 | 720 42680 137826 | 39103 37439 52 | 0.027 % |
68.05/68.14 c | 134122 | 720 42680 137826 | 39103 37674 52 | 0.000 % |
68.15/68.24 c | 134378 | 720 42680 137826 | 39103 37930 52 | 0.000 % |
68.24/68.39 c | 134659 | 720 42680 137826 | 39103 38211 52 | 0.000 % |
68.54/68.62 c | 134968 | 720 42680 137826 | 39103 38520 52 | 0.000 % |
68.64/68.77 c | 135307 | 720 42680 137826 | 39103 38859 52 | 0.000 % |
68.84/68.98 c | 135679 | 720 42680 137826 | 39103 39231 52 | 0.023 % |
69.25/69.33 c | 136091 | 720 42680 137826 | 39103 34842 50 | 0.021 % |
69.44/69.53 c | 136541 | 720 42680 137826 | 39103 35292 51 | 0.000 % |
69.64/69.77 c | 137037 | 720 42680 137826 | 39103 35788 52 | 0.000 % |
69.94/70.02 c | 137579 | 720 42680 137826 | 39103 36330 53 | 0.000 % |
70.25/70.36 c | 138177 | 720 42680 137826 | 39103 36928 53 | 0.000 % |
70.64/70.77 c | 138832 | 720 42680 137826 | 39103 37583 53 | 0.000 % |
71.04/71.19 c | 139552 | 720 42680 137826 | 39103 38303 53 | 0.000 % |
71.64/71.77 c | 140344 | 720 42680 137826 | 38752 39095 54 | 0.000 % |
72.04/72.19 c | 141216 | 720 42680 137826 | 38752 35278 53 | 0.000 % |
72.55/72.69 c | 142174 | 720 42680 137826 | 38752 36236 52 | 0.025 % |
73.14/73.23 c | 143227 | 720 42680 137826 | 38752 37289 52 | 0.022 % |
73.74/73.86 c | 144387 | 720 42680 137826 | 38752 38449 52 | 0.022 % |
74.54/74.65 c | 145662 | 720 42680 137826 | 38752 35119 52 | 0.000 % |
75.34/75.45 c | 147067 | 720 42680 137826 | 38752 36524 52 | 0.000 % |
76.54/76.62 c | 148611 | 720 42680 137826 | 38752 38068 54 | 0.000 % |
76.54/76.69 c | 148712 | 720 42680 137826 | 38752 38169 54 | 0.000 % |
76.64/76.74 c | 148823 | 720 42680 137826 | 38752 38280 54 | 0.023 % |
76.64/76.79 c | 148945 | 720 42680 137826 | 38752 38402 54 | 0.000 % |
76.74/76.85 c | 149079 | 720 42680 137826 | 38752 38536 53 | 0.029 % |
76.84/76.99 c | 149230 | 720 42680 137826 | 38752 38687 54 | 0.000 % |
76.94/77.09 c | 149391 | 720 42680 137826 | 38752 38848 54 | 0.000 % |
77.04/77.19 c | 149570 | 720 42680 137826 | 38752 34154 52 | 0.027 % |
77.24/77.37 c | 149765 | 720 42680 137826 | 38752 34349 53 | 0.000 % |
77.34/77.48 c | 149977 | 720 42680 137826 | 38752 34561 53 | 0.000 % |
77.54/77.60 c | 150210 | 720 42680 137826 | 34584 34794 53 | 0.000 % |
77.64/77.72 c | 150467 | 720 42680 137826 | 34584 30877 52 | 0.021 % |
77.74/77.86 c | 150753 | 720 42680 137826 | 34584 31163 51 | 0.021 % |
77.84/77.97 c | 151063 | 720 42680 137826 | 34584 31473 51 | 0.000 % |
78.04/78.17 c | 151403 | 720 42680 137826 | 34584 31813 52 | 0.000 % |
78.24/78.36 c | 151776 | 720 42680 137826 | 34584 32186 52 | 0.000 % |
78.44/78.58 c | 152185 | 720 42680 137826 | 34584 32595 52 | 0.000 % |
78.74/78.80 c | 152635 | 720 42680 137826 | 34584 33045 52 | 0.000 % |
78.94/79.07 c | 153128 | 720 42680 137826 | 34584 33538 52 | 0.021 % |
79.24/79.34 c | 153670 | 720 42680 137826 | 34584 34080 52 | 0.028 % |
79.54/79.62 c | 154268 | 720 42680 137826 | 34584 34678 51 | 0.021 % |
79.74/79.89 c | 154924 | 720 42680 137826 | 34584 31867 51 | 0.000 % |
80.15/80.22 c | 155644 | 720 42680 137826 | 34584 32587 51 | 0.021 % |
80.44/80.58 c | 156436 | 720 42680 137826 | 34584 33379 50 | 0.027 % |
80.84/80.96 c | 157308 | 720 42680 137826 | 34584 34251 50 | 0.021 % |
81.34/81.42 c | 158266 | 720 42680 137826 | 34584 31726 49 | 0.027 % |
81.74/81.81 c | 159319 | 720 42680 137826 | 34584 32779 48 | 0.027 % |
82.14/82.21 c | 160477 | 720 42680 137826 | 2147483647 33937 48 | 0.027 % |
82.74/82.84 c | 161750 | 720 42680 137826 | 2147483647 35210 48 | 0.027 % |
83.34/83.47 c | 163152 | 720 42680 137826 | 2147483647 36612 48 | 0.027 % |
84.14/84.27 c | 164692 | 720 42680 137826 | 2147483647 38152 48 | 0.027 % |
85.14/85.22 c | 166387 | 720 42680 137826 | 2147483647 39847 47 | 0.027 % |
85.14/85.27 c | 166488 | 720 42680 137826 | 2147483647 39948 47 | 0.027 % |
85.24/85.33 c | 166598 | 720 42680 137826 | 2147483647 40058 47 | 0.027 % |
85.34/85.43 c | 166719 | 720 42680 137826 | 2147483647 40179 48 | 0.000 % |
85.44/85.52 c | 166853 | 720 42680 137826 | 2147483647 40313 48 | 0.000 % |
85.54/85.60 c | 166999 | 720 42680 137826 | 2147483647 40459 48 | 0.000 % |
85.64/85.70 c | 167159 | 720 42680 137826 | 2147483647 40619 48 | 0.021 % |
85.74/85.83 c | 167335 | 720 42680 137826 | 2147483647 40795 48 | 0.021 % |
85.84/85.97 c | 167529 | 720 42680 137826 | 2147483647 40989 48 | 0.021 % |
85.94/86.09 c | 167741 | 720 42680 137826 | 2147483647 41201 48 | 0.000 % |
86.14/86.23 c | 167976 | 720 42680 137826 | 2147483647 41436 48 | 0.000 % |
86.24/86.39 c | 168232 | 720 42680 137826 | 2147483647 41692 48 | 0.026 % |
86.44/86.57 c | 168517 | 720 42680 137826 | 2147483647 41977 48 | 0.000 % |
86.64/86.76 c | 168827 | 720 42680 137826 | 2147483647 42287 49 | 0.000 % |
86.84/86.95 c | 169166 | 720 42680 137826 | 2147483647 42626 49 | 0.000 % |
87.04/87.13 c | 169541 | 720 42680 137826 | 2147483647 43001 49 | 0.000 % |
87.34/87.43 c | 169951 | 720 42680 137826 | 2147483647 43411 49 | 0.000 % |
87.64/87.72 c | 170401 | 720 42680 137826 | 2147483647 43861 50 | 0.000 % |
87.84/88.00 c | 170895 | 720 42680 137826 | 2147483647 44355 50 | 0.000 % |
88.24/88.30 c | 171438 | 720 42680 137826 | 2147483647 44898 50 | 0.025 % |
88.54/88.60 c | 172036 | 720 42680 137826 | 2147483647 45496 50 | 0.000 % |
88.94/89.07 c | 172691 | 720 42680 137826 | 2147483647 46151 50 | 0.000 % |
89.44/89.58 c | 173413 | 720 42680 137826 | 2147483647 46873 51 | 0.000 % |
89.94/90.09 c | 174206 | 720 42680 137826 | 2147483647 47666 51 | 0.000 % |
90.54/90.66 c | 175080 | 720 42680 137826 | 2147483647 48540 51 | 0.000 % |
91.34/91.47 c | 176041 | 720 42680 137826 | 2147483647 49501 52 | 0.000 % |
92.24/92.40 c | 177097 | 720 42680 137826 | 2147483647 50557 52 | 0.000 % |
93.34/93.46 c | 178256 | 720 42680 137826 | 2147483647 51716 53 | 0.000 % |
94.13/94.22 c | 179532 | 720 42680 137826 | 2147483647 52992 53 | 0.023 % |
95.23/95.30 c | 180933 | 720 42680 137826 | 53461 47255 51 | 0.000 % |
96.13/96.29 c | 182473 | 720 42680 137826 | 53461 48795 51 | 0.021 % |
97.23/97.37 c | 184168 | 720 42680 137826 | 53461 50490 50 | 0.000 % |
98.53/98.67 c | 186031 | 720 42680 137826 | 53461 52353 50 | 0.021 % |
98.63/98.76 c | 186134 | 720 42680 137826 | 53461 52456 50 | 0.000 % |
98.73/98.82 c | 186244 | 720 42680 137826 | 53461 52566 50 | 0.000 % |
98.73/98.90 c | 186365 | 720 42680 137826 | 53461 52687 50 | 0.000 % |
98.84/98.98 c | 186499 | 720 42680 137826 | 53461 52821 50 | 0.000 % |
98.94/99.09 c | 186645 | 720 42680 137826 | 53461 52967 50 | 0.000 % |
99.03/99.20 c | 186812 | 720 42680 137826 | 53461 53134 50 | 0.000 % |
99.23/99.32 c | 186988 | 720 42680 137826 | 53461 53310 50 | 0.000 % |
99.33/99.43 c | 187187 | 720 42680 137826 | 53461 53509 50 | 0.023 % |
99.53/99.60 c | 187403 | 720 42680 137826 | 53461 45837 47 | 0.026 % |
99.53/99.69 c | 187636 | 720 42680 137826 | 53461 46070 47 | 0.021 % |
99.73/99.86 c | 187894 | 720 42680 137826 | 53461 46328 47 | 0.000 % |
99.94/100.04 c | 188175 | 720 42680 137826 | 53461 46609 47 | 0.021 % |
100.04/100.19 c | 188484 | 720 42680 137826 | 53461 46918 47 | 0.000 % |
100.33/100.42 c | 188823 | 720 42680 137826 | 53461 47257 47 | 0.000 % |
100.53/100.64 c | 189195 | 720 42680 137826 | 53461 47629 47 | 0.021 % |
100.83/100.90 c | 189604 | 720 42680 137826 | 53461 48038 47 | 0.021 % |
101.04/101.12 c | 190056 | 720 42680 137826 | 48437 48490 47 | 0.021 % |
101.53/101.61 c | 190549 | 720 42680 137826 | 48437 42112 49 | 0.000 % |
101.83/101.92 c | 191092 | 720 42680 137826 | 48437 42655 49 | 0.000 % |
102.33/102.40 c | 191688 | 720 42680 137826 | 48437 43251 50 | 0.000 % |
102.73/102.82 c | 192344 | 720 42680 137826 | 48437 43907 50 | 0.000 % |
103.03/103.13 c | 193064 | 720 42680 137826 | 48437 44627 50 | 0.000 % |
103.73/103.84 c | 193857 | 720 42680 137826 | 48437 45420 51 | 0.000 % |
104.13/104.27 c | 194729 | 720 42680 137826 | 48437 46292 51 | 0.000 % |
104.63/104.78 c | 195690 | 720 42680 137826 | 48437 47253 51 | 0.023 % |
105.13/105.26 c | 196743 | 720 42680 137826 | 48437 48306 51 | 0.030 % |
105.73/105.90 c | 197902 | 720 42680 137826 | 48437 43451 52 | 0.030 % |
106.54/106.64 c | 199179 | 720 42680 137826 | 48437 44728 51 | 0.025 % |
107.33/107.43 c | 200581 | 720 42680 137826 | 45549 40638 49 | 0.025 % |
108.43/108.56 c | 202121 | 720 42680 137826 | 45549 42178 51 | 0.000 % |
109.73/109.83 c | 203817 | 720 42680 137826 | 45549 43874 51 | 0.000 % |
111.13/111.27 c | 205680 | 720 42680 137826 | 45549 45737 51 | 0.000 % |
112.54/112.66 c | 207729 | 720 42680 137826 | 45549 41508 47 | 0.020 % |
112.64/112.72 c | 207829 | 720 42680 137826 | 45549 41608 47 | 0.000 % |
112.64/112.79 c | 207940 | 720 42680 137826 | 45549 41719 47 | 0.000 % |
112.74/112.86 c | 208065 | 720 42680 137826 | 45549 41844 47 | 0.000 % |
112.84/112.95 c | 208199 | 720 42680 137826 | 45549 41978 48 | 0.000 % |
112.94/113.05 c | 208345 | 720 42680 137826 | 45549 42124 48 | 0.000 % |
113.04/113.14 c | 208505 | 720 42680 137826 | 45549 42284 48 | 0.000 % |
113.14/113.27 c | 208681 | 720 42680 137826 | 45549 42460 48 | 0.000 % |
113.24/113.37 c | 208875 | 720 42680 137826 | 45549 42654 48 | 0.000 % |
113.34/113.48 c | 209088 | 720 42680 137826 | 45549 42867 48 | 0.027 % |
113.54/113.65 c | 209323 | 720 42680 137826 | 45549 43102 48 | 0.000 % |
113.74/113.82 c | 209579 | 720 42680 137826 | 45549 43358 48 | 0.000 % |
113.94/114.01 c | 209860 | 720 42680 137826 | 45549 43639 49 | 0.000 % |
114.04/114.19 c | 210171 | 720 42680 137826 | 43780 43950 49 | 0.000 % |
114.24/114.37 c | 210511 | 720 42680 137826 | 43780 38275 47 | 0.000 % |
114.54/114.62 c | 210883 | 720 42680 137826 | 43780 38647 48 | 0.000 % |
114.74/114.89 c | 211292 | 720 42680 137826 | 43780 39056 48 | 0.000 % |
115.04/115.18 c | 211742 | 720 42680 137826 | 43780 39506 48 | 0.000 % |
115.24/115.40 c | 212235 | 720 42680 137826 | 43780 39999 48 | 0.021 % |
115.54/115.69 c | 212777 | 720 42680 137826 | 43780 40541 48 | 0.021 % |
115.94/116.00 c | 213374 | 720 42680 137826 | 43780 41138 48 | 0.021 % |
116.24/116.35 c | 214030 | 720 42680 137826 | 43780 41794 47 | 0.021 % |
116.64/116.79 c | 214752 | 720 42680 137826 | 43780 42516 48 | 0.000 % |
117.14/117.30 c | 215544 | 720 42680 137826 | 43780 43308 49 | 0.000 % |
117.94/118.06 c | 216415 | 720 42680 137826 | 43780 39203 49 | 0.000 % |
118.54/118.66 c | 217373 | 720 42680 137826 | 43780 40161 50 | 0.000 % |
119.04/119.16 c | 218426 | 720 42680 137826 | 43780 41214 50 | 0.027 % |
119.64/119.74 c | 219585 | 720 42680 137826 | 43780 42373 50 | 0.000 % |
120.44/120.54 c | 220859 | 720 42680 137826 | 42788 38917 49 | 0.000 % |
121.14/121.28 c | 222259 | 720 42680 137826 | 42788 40317 50 | 0.000 % |
122.14/122.27 c | 223800 | 720 42680 137826 | 42788 41858 51 | 0.000 % |
123.24/123.31 c | 225495 | 720 42680 137826 | 42788 38060 51 | 0.000 % |
124.24/124.40 c | 227358 | 720 42680 137826 | 42788 39923 51 | 0.000 % |
125.43/125.59 c | 229408 | 720 42680 137826 | 42788 41973 51 | 0.000 % |
126.53/126.69 c | 231665 | 720 42680 137826 | 42567 39452 49 | 0.000 % |
126.63/126.78 c | 231765 | 720 42680 137826 | 42567 39552 49 | 0.000 % |
126.73/126.86 c | 231876 | 720 42680 137826 | 42567 39663 49 | 0.025 % |
126.83/126.93 c | 231997 | 720 42680 137826 | 42567 39784 49 | 0.023 % |
126.93/127.02 c | 232130 | 720 42680 137826 | 42567 39917 49 | 0.023 % |
127.03/127.11 c | 232277 | 720 42680 137826 | 42567 40064 49 | 0.000 % |
127.13/127.25 c | 232441 | 720 42680 137826 | 42567 40228 49 | 0.023 % |
127.23/127.37 c | 232617 | 720 42680 137826 | 42567 40404 49 | 0.023 % |
127.33/127.48 c | 232810 | 720 42680 137826 | 42567 40597 49 | 0.000 % |
127.54/127.60 c | 233023 | 720 42680 137826 | 42567 40810 49 | 0.000 % |
127.73/127.80 c | 233256 | 720 42680 137826 | 42567 41043 49 | 0.000 % |
127.83/127.98 c | 233512 | 720 42680 137826 | 42567 41299 49 | 0.000 % |
128.13/128.23 c | 233794 | 720 42680 137826 | 42567 41581 50 | 0.000 % |
128.33/128.44 c | 234103 | 720 42680 137826 | 42567 41890 50 | 0.000 % |
128.54/128.64 c | 234442 | 720 42680 137826 | 42567 42229 50 | 0.000 % |
128.73/128.88 c | 234814 | 720 42680 137826 | 42567 42601 50 | 0.000 % |
129.03/129.19 c | 235225 | 720 42680 137826 | 42567 38383 51 | 0.000 % |
129.33/129.43 c | 235674 | 720 42680 137826 | 42567 38832 51 | 0.000 % |
129.53/129.69 c | 236167 | 720 42680 137826 | 42567 39325 50 | 0.000 % |
129.83/129.99 c | 236711 | 720 42680 137826 | 42567 39869 51 | 0.000 % |
130.13/130.28 c | 237307 | 720 42680 137826 | 42567 40465 50 | 0.000 % |
130.53/130.61 c | 237963 | 720 42680 137826 | 42567 41121 50 | 0.023 % |
131.03/131.14 c | 238683 | 720 42680 137826 | 42567 41841 50 | 0.023 % |
131.43/131.55 c | 239477 | 720 42680 137826 | 42567 42635 50 | 0.023 % |
131.94/132.06 c | 240348 | 720 42680 137826 | 38643 34833 47 | 0.000 % |
132.43/132.50 c | 241307 | 720 42680 137826 | 38643 35792 47 | 0.027 % |
132.94/133.03 c | 242363 | 720 42680 137826 | 38643 36848 46 | 0.027 % |
133.53/133.61 c | 243522 | 720 42680 137826 | 38643 38007 46 | 0.021 % |
134.33/134.48 c | 244795 | 720 42680 137826 | 38643 35384 46 | 0.000 % |
135.24/135.31 c | 246195 | 720 42680 137826 | 38643 36784 46 | 0.000 % |
135.83/135.98 c | 247736 | 720 42680 137826 | 38643 38325 47 | 0.000 % |
136.73/136.86 c | 249430 | 720 42680 137826 | 38643 36119 44 | 0.000 % |
137.63/137.77 c | 251294 | 720 42680 137826 | 2147483647 37983 46 | 0.000 % |
138.63/138.76 c | 253344 | 720 42680 137826 | 2147483647 40033 47 | 0.000 % |
139.93/140.00 c | 255599 | 720 42680 137826 | 2147483647 42288 48 | 0.000 % |
141.53/141.69 c | 258079 | 720 42680 137826 | 2147483647 44768 50 | 0.000 % |
141.63/141.78 c | 258179 | 720 42680 137826 | 2147483647 44868 50 | 0.000 % |
141.73/141.83 c | 258289 | 720 42680 137826 | 2147483647 44978 50 | 0.000 % |
141.83/141.90 c | 258410 | 720 42680 137826 | 2147483647 45099 50 | 0.000 % |
141.83/142.00 c | 258545 | 720 42680 137826 | 2147483647 45234 50 | 0.000 % |
142.03/142.13 c | 258693 | 720 42680 137826 | 2147483647 45382 50 | 0.000 % |
142.13/142.26 c | 258853 | 720 42680 137826 | 2147483647 45542 50 | 0.000 % |
142.23/142.38 c | 259031 | 720 42680 137826 | 2147483647 45720 50 | 0.028 % |
142.43/142.50 c | 259225 | 720 42680 137826 | 2147483647 45914 51 | 0.000 % |
142.53/142.65 c | 259437 | 720 42680 137826 | 2147483647 46126 51 | 0.000 % |
142.73/142.81 c | 259670 | 720 42680 137826 | 2147483647 46359 51 | 0.000 % |
142.83/142.98 c | 259926 | 720 42680 137826 | 2147483647 46615 51 | 0.000 % |
143.03/143.14 c | 260207 | 720 42680 137826 | 2147483647 46896 51 | 0.000 % |
143.23/143.33 c | 260516 | 720 42680 137826 | 2147483647 47205 51 | 0.000 % |
143.53/143.67 c | 260862 | 720 42680 137826 | 2147483647 47551 52 | 0.000 % |
143.83/143.96 c | 261234 | 720 42680 137826 | 2147483647 47923 52 | 0.000 % |
144.13/144.22 c | 261643 | 720 42680 137826 | 2147483647 48332 52 | 0.000 % |
144.33/144.49 c | 262092 | 720 42680 137826 | 2147483647 48781 52 | 0.029 % |
144.83/144.92 c | 262587 | 720 42680 137826 | 2147483647 49276 52 | 0.000 % |
145.23/145.31 c | 263130 | 720 42680 137826 | 2147483647 49819 52 | 0.000 % |
145.63/145.71 c | 263727 | 720 42680 137826 | 2147483647 50416 52 | 0.000 % |
146.03/146.10 c | 264383 | 720 42680 137826 | 2147483647 51072 52 | 0.000 % |
146.43/146.50 c | 265105 | 720 42680 137826 | 2147483647 51794 52 | 0.000 % |
146.73/146.89 c | 265898 | 720 42680 137826 | 2147483647 52587 52 | 0.024 % |
147.33/147.47 c | 266772 | 720 42680 137826 | 2147483647 53461 52 | 0.021 % |
148.03/148.19 c | 267730 | 720 42680 137826 | 2147483647 54419 52 | 0.025 % |
148.73/148.90 c | 268783 | 720 42680 137826 | 2147483647 55472 51 | 0.025 % |
149.53/149.67 c | 269941 | 720 42680 137826 | 2147483647 56630 51 | 0.000 % |
150.43/150.59 c | 271218 | 720 42680 137826 | 56690 49026 51 | 0.000 % |
151.83/151.90 c | 272619 | 720 42680 137826 | 56690 50427 51 | 0.022 % |
152.83/152.98 c | 274161 | 720 42680 137826 | 56690 51969 52 | 0.000 % |
154.13/154.28 c | 275856 | 720 42680 137826 | 56690 53664 52 | 0.000 % |
155.63/155.76 c | 277720 | 720 42680 137826 | 56690 55528 52 | 0.000 % |
157.33/157.46 c | 279769 | 720 42680 137826 | 56690 47224 52 | 0.000 % |
158.53/158.61 c | 282024 | 720 42680 137826 | 47455 41023 49 | 0.025 % |
160.72/160.89 c | 284502 | 720 42680 137826 | 47455 43501 52 | 0.000 % |
162.63/162.72 c | 287227 | 720 42680 137826 | 47455 46226 53 | 0.000 % |
162.63/162.77 c | 287331 | 720 42680 137826 | 47455 46330 53 | 0.023 % |
162.73/162.85 c | 287441 | 720 42680 137826 | 47455 46440 53 | 0.000 % |
162.82/162.96 c | 287562 | 720 42680 137826 | 47455 46561 53 | 0.000 % |
162.92/163.09 c | 287695 | 720 42680 137826 | 47455 46694 53 | 0.000 % |
163.12/163.20 c | 287842 | 720 42680 137826 | 47455 46841 53 | 0.000 % |
163.22/163.36 c | 288003 | 720 42680 137826 | 47455 47002 54 | 0.000 % |
163.32/163.48 c | 288181 | 720 42680 137826 | 47455 47180 54 | 0.000 % |
163.52/163.62 c | 288376 | 720 42680 137826 | 47455 47375 54 | 0.000 % |
163.62/163.76 c | 288588 | 720 42680 137826 | 47455 47587 54 | 0.000 % |
163.92/164.00 c | 288825 | 720 42680 137826 | 47455 40249 50 | 0.000 % |
164.02/164.18 c | 289081 | 720 42680 137826 | 47455 40505 50 | 0.000 % |
164.22/164.33 c | 289362 | 720 42680 137826 | 47455 40786 51 | 0.000 % |
164.42/164.50 c | 289671 | 720 42680 137826 | 47455 41095 51 | 0.000 % |
164.52/164.69 c | 290013 | 720 42680 137826 | 41424 41437 51 | 0.000 % |
164.83/164.98 c | 290386 | 720 42680 137826 | 41424 35369 51 | 0.000 % |
165.12/165.25 c | 290795 | 720 42680 137826 | 41424 35778 51 | 0.000 % |
165.32/165.46 c | 291247 | 720 42680 137826 | 41424 36230 51 | 0.000 % |
165.52/165.67 c | 291740 | 720 42680 137826 | 41424 36723 51 | 0.026 % |
165.82/165.94 c | 292282 | 720 42680 137826 | 41424 37265 51 | 0.000 % |
166.12/166.23 c | 292880 | 720 42680 137826 | 41424 37863 51 | 0.024 % |
166.42/166.58 c | 293538 | 720 42680 137826 | 41424 38521 51 | 0.000 % |
167.03/167.16 c | 294258 | 720 42680 137826 | 41424 39241 52 | 0.000 % |
167.62/167.77 c | 295054 | 720 42680 137826 | 41424 40037 52 | 0.000 % |
168.32/168.43 c | 295926 | 720 42680 137826 | 41424 40909 53 | 0.000 % |
168.92/169.00 c | 296885 | 720 42680 137826 | 41424 36340 55 | 0.000 % |
169.42/169.59 c | 297939 | 720 42680 137826 | 41424 37394 56 | 0.000 % |
170.12/170.20 c | 299097 | 720 42680 137826 | 41424 38552 56 | 0.000 % |
170.82/170.98 c | 300370 | 720 42680 137826 | 39455 39825 58 | 0.000 % |
171.62/171.75 c | 301772 | 720 42680 137826 | 39455 35914 57 | 0.000 % |
172.62/172.71 c | 303315 | 720 42680 137826 | 39455 37457 57 | 0.000 % |
173.62/173.73 c | 305009 | 720 42680 137826 | 39455 39151 58 | 0.000 % |
174.83/174.97 c | 306873 | 720 42680 137826 | 39455 35918 59 | 0.000 % |
175.92/176.07 c | 308922 | 720 42680 137826 | 39455 37967 58 | 0.027 % |
177.22/177.35 c | 311177 | 720 42680 137826 | 39046 35357 54 | 0.027 % |
178.62/178.77 c | 313656 | 720 42680 137826 | 39046 37836 54 | 0.000 % |
180.42/180.53 c | 316382 | 720 42680 137826 | 39046 35848 51 | 0.000 % |
182.12/182.29 c | 319381 | 720 42680 137826 | 39046 38847 52 | 0.026 % |
182.22/182.34 c | 319484 | 720 42680 137826 | 39046 38950 52 | 0.000 % |
182.32/182.44 c | 319595 | 720 42680 137826 | 39046 39061 52 | 0.000 % |
182.42/182.54 c | 319717 | 720 42680 137826 | 39046 34665 50 | 0.000 % |
182.52/182.64 c | 319850 | 720 42680 137826 | 39046 34798 50 | 0.000 % |
182.62/182.75 c | 319996 | 720 42680 137826 | 39046 34944 50 | 0.000 % |
182.72/182.82 c | 320157 | 720 42680 137826 | 34951 35105 50 | 0.000 % |
182.82/182.93 c | 320333 | 720 42680 137826 | 34951 31200 47 | 0.000 % |
182.92/183.03 c | 320526 | 720 42680 137826 | 34951 31393 48 | 0.000 % |
183.02/183.18 c | 320739 | 720 42680 137826 | 34951 31606 48 | 0.000 % |
183.12/183.26 c | 320972 | 720 42680 137826 | 34951 31839 48 | 0.000 % |
183.22/183.38 c | 321228 | 720 42680 137826 | 34951 32095 48 | 0.000 % |
183.32/183.49 c | 321511 | 720 42680 137826 | 34951 32378 48 | 0.000 % |
183.52/183.64 c | 321820 | 720 42680 137826 | 34951 32687 49 | 0.000 % |
183.72/183.84 c | 322160 | 720 42680 137826 | 34951 33027 49 | 0.000 % |
183.91/184.00 c | 322534 | 720 42680 137826 | 34951 33401 49 | 0.023 % |
184.11/184.23 c | 322944 | 720 42680 137826 | 34951 33811 50 | 0.000 % |
184.31/184.44 c | 323393 | 720 42680 137826 | 34951 34260 50 | 0.000 % |
184.62/184.73 c | 323888 | 720 42680 137826 | 34951 34755 50 | 0.000 % |
184.91/185.01 c | 324430 | 720 42680 137826 | 34951 31778 48 | 0.024 % |
185.21/185.31 c | 325026 | 720 42680 137826 | 34951 32374 48 | 0.028 % |
185.61/185.71 c | 325682 | 720 42680 137826 | 34951 33030 49 | 0.000 % |
185.91/186.06 c | 326402 | 720 42680 137826 | 34951 33750 49 | 0.000 % |
186.21/186.40 c | 327195 | 720 42680 137826 | 34951 34543 49 | 0.025 % |
186.71/186.80 c | 328066 | 720 42680 137826 | 34951 31889 47 | 0.025 % |
187.21/187.32 c | 329024 | 720 42680 137826 | 34951 32847 49 | 0.000 % |
187.81/187.95 c | 330078 | 720 42680 137826 | 2147483647 33901 50 | 0.000 % |
188.61/188.77 c | 331236 | 720 42680 137826 | 2147483647 35059 52 | 0.000 % |
189.31/189.42 c | 332510 | 720 42680 137826 | 2147483647 36333 52 | 0.000 % |
190.12/190.21 c | 333910 | 720 42680 137826 | 2147483647 37733 54 | 0.000 % |
190.91/191.06 c | 335450 | 720 42680 137826 | 2147483647 39273 54 | 0.025 % |
191.71/191.86 c | 337144 | 720 42680 137826 | 2147483647 40967 53 | 0.023 % |
192.71/192.81 c | 339012 | 720 42680 137826 | 2147483647 42835 53 | 0.024 % |
194.11/194.22 c | 341061 | 720 42680 137826 | 2147483647 44884 54 | 0.000 % |
195.91/196.05 c | 343314 | 720 42680 137826 | 2147483647 47137 55 | 0.000 % |
197.91/198.05 c | 345792 | 720 42680 137826 | 2147483647 49615 56 | 0.000 % |
200.11/200.24 c | 348517 | 720 42680 137826 | 2147483647 52340 56 | 0.000 % |
202.61/202.72 c | 351515 | 720 42680 137826 | 53823 46317 58 | 0.000 % |
205.51/205.68 c | 354811 | 720 42680 137826 | 53823 49613 59 | 0.000 % |
205.70/205.82 c | 354911 | 720 42680 137826 | 53823 49713 59 | 0.000 % |
205.80/205.91 c | 355022 | 720 42680 137826 | 53823 49824 59 | 0.000 % |
205.90/206.05 c | 355143 | 720 42680 137826 | 53823 49945 60 | 0.000 % |
206.00/206.14 c | 355277 | 720 42680 137826 | 53823 50079 60 | 0.000 % |
206.10/206.24 c | 355423 | 720 42680 137826 | 53823 50225 60 | 0.000 % |
206.30/206.44 c | 355586 | 720 42680 137826 | 53823 50388 60 | 0.000 % |
206.50/206.64 c | 355762 | 720 42680 137826 | 53823 50564 60 | 0.000 % |
206.71/206.86 c | 355958 | 720 42680 137826 | 53823 50760 60 | 0.000 % |
206.90/207.06 c | 356171 | 720 42680 137826 | 53823 50973 60 | 0.000 % |
207.10/207.22 c | 356407 | 720 42680 137826 | 53823 51209 60 | 0.000 % |
207.40/207.52 c | 356665 | 720 42680 137826 | 53823 51467 60 | 0.000 % |
207.60/207.76 c | 356946 | 720 42680 137826 | 53823 51748 60 | 0.000 % |
207.90/208.04 c | 357257 | 720 42680 137826 | 53823 52059 60 | 0.000 % |
208.20/208.31 c | 357597 | 720 42680 137826 | 53823 52399 60 | 0.000 % |
208.60/208.75 c | 357970 | 720 42680 137826 | 53823 52772 60 | 0.000 % |
208.91/209.07 c | 358379 | 720 42680 137826 | 53823 53181 60 | 0.000 % |
209.20/209.40 c | 358828 | 720 42680 137826 | 53823 53630 60 | 0.000 % |
209.70/209.84 c | 359321 | 720 42680 137826 | 53823 43219 58 | 0.000 % |
210.20/210.34 c | 359863 | 720 42680 137826 | 53823 43761 59 | 0.000 % |
210.60/210.74 c | 360460 | 720 42680 137826 | 43898 35537 55 | 0.027 % |
211.01/211.12 c | 361116 | 720 42680 137826 | 43898 36193 55 | 0.027 % |
211.30/211.45 c | 361838 | 720 42680 137826 | 43898 36915 55 | 0.027 % |
211.70/211.81 c | 362634 | 720 42680 137826 | 43898 37711 54 | 0.027 % |
212.21/212.37 c | 363505 | 720 42680 137826 | 43898 38582 54 | 0.027 % |
213.00/213.15 c | 364463 | 720 42680 137826 | 43898 39540 55 | 0.000 % |
213.90/214.09 c | 365518 | 720 42680 137826 | 43898 40595 56 | 0.000 % |
214.80/214.91 c | 366677 | 720 42680 137826 | 43898 41754 57 | 0.000 % |
215.80/215.92 c | 367950 | 720 42680 137826 | 43898 43027 57 | 0.000 % |
216.70/216.81 c | 369350 | 720 42680 137826 | 43898 36993 56 | 0.000 % |
217.71/217.85 c | 370890 | 720 42680 137826 | 37643 32582 55 | 0.027 % |
218.60/218.75 c | 372586 | 720 42680 137826 | 37643 34278 55 | 0.027 % |
219.80/219.95 c | 374450 | 720 42680 137826 | 37643 36142 57 | 0.000 % |
221.10/221.22 c | 376499 | 720 42680 137826 | 37643 33544 54 | 0.017 % |
222.00/222.20 c | 378752 | 720 42680 137826 | 37643 35797 53 | 0.017 % |
223.70/223.82 c | 381232 | 720 42680 137826 | 37047 33775 52 | 0.000 % |
225.10/225.21 c | 383957 | 720 42680 137826 | 37047 36500 52 | 0.000 % |
226.70/226.80 c | 386954 | 720 42680 137826 | 37047 35766 53 | 0.000 % |
228.70/228.86 c | 390252 | 720 42680 137826 | 34911 35162 54 | 0.000 % |
230.50/230.61 c | 393877 | 720 42680 137826 | 34911 35026 52 | 0.000 % |
230.50/230.69 c | 393977 | 720 42680 137826 | 34911 31624 51 | 0.027 % |
230.60/230.76 c | 394087 | 720 42680 137826 | 34911 31734 51 | 0.000 % |
230.70/230.87 c | 394212 | 720 42680 137826 | 34911 31859 51 | 0.000 % |
230.80/230.96 c | 394345 | 720 42680 137826 | 34911 31992 51 | 0.000 % |
230.90/231.04 c | 394492 | 720 42680 137826 | 34911 32139 51 | 0.000 % |
231.00/231.15 c | 394652 | 720 42680 137826 | 34911 32299 51 | 0.000 % |
231.10/231.22 c | 394830 | 720 42680 137826 | 34911 32477 51 | 0.000 % |
231.20/231.32 c | 395023 | 720 42680 137826 | 34911 32670 51 | 0.000 % |
231.30/231.46 c | 395235 | 720 42680 137826 | 34911 32882 51 | 0.000 % |
231.40/231.58 c | 395469 | 720 42680 137826 | 34911 33116 52 | 0.000 % |
231.60/231.72 c | 395725 | 720 42680 137826 | 34911 33372 52 | 0.000 % |
231.70/231.87 c | 396011 | 720 42680 137826 | 34911 33658 52 | 0.000 % |
232.00/232.11 c | 396320 | 720 42680 137826 | 34911 33967 52 | 0.000 % |
232.10/232.27 c | 396662 | 720 42680 137826 | 34911 34309 52 | 0.000 % |
232.40/232.54 c | 397034 | 720 42680 137826 | 34911 34681 52 | 0.000 % |
232.70/232.82 c | 397445 | 720 42680 137826 | 34911 35092 52 | 0.000 % |
233.00/233.11 c | 397894 | 720 42680 137826 | 34911 32032 51 | 0.000 % |
233.20/233.35 c | 398389 | 720 42680 137826 | 34911 32527 51 | 0.000 % |
233.50/233.65 c | 398931 | 720 42680 137826 | 34911 33069 51 | 0.000 % |
233.80/233.97 c | 399528 | 720 42680 137826 | 34911 33666 51 | 0.000 % |
234.30/234.44 c | 400184 | 720 42680 137826 | 2147483647 34322 51 | 0.000 % |
234.70/234.87 c | 400905 | 720 42680 137826 | 2147483647 35043 52 | 0.000 % |
235.20/235.34 c | 401698 | 720 42680 137826 | 2147483647 35836 52 | 0.000 % |
235.80/235.94 c | 402571 | 720 42680 137826 | 2147483647 36709 52 | 0.000 % |
236.50/236.65 c | 403530 | 720 42680 137826 | 2147483647 37668 53 | 0.000 % |
237.40/237.53 c | 404585 | 720 42680 137826 | 2147483647 38723 53 | 0.000 % |
238.30/238.44 c | 405743 | 720 42680 137826 | 2147483647 39881 54 | 0.000 % |
239.30/239.44 c | 407017 | 720 42680 137826 | 2147483647 41155 54 | 0.000 % |
240.10/240.27 c | 408419 | 720 42680 137826 | 2147483647 42557 54 | 0.000 % |
241.10/241.21 c | 409960 | 720 42680 137826 | 2147483647 44098 54 | 0.000 % |
242.30/242.50 c | 411654 | 720 42680 137826 | 44138 40356 54 | 0.026 % |
243.20/243.36 c | 413517 | 720 42680 137826 | 44138 42219 54 | 0.000 % |
244.99/245.20 c | 415570 | 720 42680 137826 | 44138 44272 57 | 0.000 % |
247.40/247.53 c | 417823 | 720 42680 137826 | 44138 40906 59 | 0.000 % |
249.19/249.38 c | 420304 | 720 42680 137826 | 43084 43387 60 | 0.000 % |
251.29/251.44 c | 423032 | 720 42680 137826 | 43084 38949 58 | 0.000 % |
253.19/253.38 c | 426030 | 720 42680 137826 | 43084 41947 60 | 0.000 % |
255.79/255.93 c | 429326 | 720 42680 137826 | 43084 38128 60 | 0.000 % |
258.19/258.32 c | 432953 | 720 42680 137826 | 38807 35700 61 | 0.000 % |
260.79/260.98 c | 436940 | 720 42680 137826 | 38807 34450 60 | 0.000 % |
260.89/261.04 c | 437042 | 720 42680 137826 | 38807 34552 60 | 0.026 % |
260.99/261.13 c | 437152 | 720 42680 137826 | 38807 34662 60 | 0.000 % |
260.99/261.19 c | 437273 | 720 42680 137826 | 38807 34783 60 | 0.000 % |
261.09/261.26 c | 437408 | 720 42680 137826 | 38807 34918 60 | 0.000 % |
261.19/261.34 c | 437555 | 720 42680 137826 | 38807 35065 60 | 0.000 % |
261.29/261.45 c | 437715 | 720 42680 137826 | 38807 35225 60 | 0.000 % |
261.39/261.54 c | 437891 | 720 42680 137826 | 38807 35401 60 | 0.000 % |
261.49/261.68 c | 438084 | 720 42680 137826 | 38807 35594 61 | 0.000 % |
261.69/261.83 c | 438299 | 720 42680 137826 | 38807 35809 61 | 0.000 % |
261.79/261.97 c | 438534 | 720 42680 137826 | 38807 36044 61 | 0.000 % |
262.09/262.21 c | 438791 | 720 42680 137826 | 38807 36301 61 | 0.000 % |
262.19/262.38 c | 439076 | 720 42680 137826 | 38807 36586 62 | 0.000 % |
262.48/262.62 c | 439385 | 720 42680 137826 | 38807 36895 62 | 0.000 % |
262.69/262.85 c | 439727 | 720 42680 137826 | 38807 37237 62 | 0.000 % |
262.88/263.07 c | 440101 | 720 42680 137826 | 37510 37611 62 | 0.000 % |
263.18/263.30 c | 440512 | 720 42680 137826 | 37510 33039 58 | 0.000 % |
263.48/263.60 c | 440961 | 720 42680 137826 | 37510 33488 58 | 0.000 % |
263.79/263.92 c | 441458 | 720 42680 137826 | 37510 33985 59 | 0.000 % |
264.08/264.26 c | 442002 | 720 42680 137826 | 37510 34529 59 | 0.000 % |
264.48/264.69 c | 442598 | 720 42680 137826 | 37510 35125 60 | 0.000 % |
264.99/265.13 c | 443253 | 720 42680 137826 | 37510 35780 60 | 0.000 % |
265.48/265.63 c | 443974 | 720 42680 137826 | 37510 36501 61 | 0.000 % |
265.88/266.07 c | 444766 | 720 42680 137826 | 37510 37293 61 | 0.000 % |
266.28/266.45 c | 445638 | 720 42680 137826 | 37510 33992 59 | 0.026 % |
266.78/266.92 c | 446598 | 720 42680 137826 | 37510 34952 59 | 0.000 % |
267.58/267.77 c | 447655 | 720 42680 137826 | 37510 36009 60 | 0.000 % |
268.38/268.55 c | 448814 | 720 42680 137826 | 37510 37168 59 | 0.025 % |
269.08/269.26 c | 450088 | 720 42680 137826 | 33975 34063 57 | 0.025 % |
269.88/270.06 c | 451490 | 720 42680 137826 | 33975 31549 56 | 0.000 % |
270.88/271.05 c | 453033 | 720 42680 137826 | 33975 33092 58 | 0.000 % |
271.98/272.15 c | 454727 | 720 42680 137826 | 33975 31370 59 | 0.000 % |
272.98/273.13 c | 456590 | 720 42680 137826 | 33975 33233 59 | 0.000 % |
274.68/274.84 c | 458639 | 720 42680 137826 | 33975 31871 62 | 0.000 % |
276.28/276.46 c | 460894 | 720 42680 137826 | 2147483647 34126 65 | 0.000 % |
277.98/278.10 c | 463372 | 720 42680 137826 | 2147483647 36604 66 | 0.000 % |
279.68/279.86 c | 466097 | 720 42680 137826 | 2147483647 39329 65 | 0.000 % |
281.98/282.13 c | 469094 | 720 42680 137826 | 2147483647 42326 67 | 0.000 % |
285.18/285.32 c | 472390 | 720 42680 137826 | 43232 39217 65 | 0.000 % |
287.47/287.65 c | 476018 | 720 42680 137826 | 43232 42845 65 | 0.000 % |
291.28/291.49 c | 480009 | 720 42680 137826 | 40411 40416 67 | 0.000 % |
294.27/294.45 c | 484395 | 720 42680 137826 | 40411 38641 68 | 0.000 % |
294.37/294.54 c | 484499 | 720 42680 137826 | 40411 38745 68 | 0.000 % |
294.47/294.63 c | 484610 | 720 42680 137826 | 40411 38856 68 | 0.000 % |
294.58/294.76 c | 484731 | 720 42680 137826 | 40411 38977 68 | 0.000 % |
294.68/294.88 c | 484864 | 720 42680 137826 | 40411 39110 68 | 0.000 % |
294.87/295.00 c | 485011 | 720 42680 137826 | 40411 39257 68 | 0.000 % |
294.97/295.19 c | 485171 | 720 42680 137826 | 40411 39417 68 | 0.000 % |
295.17/295.36 c | 485347 | 720 42680 137826 | 40411 39593 68 | 0.000 % |
295.37/295.53 c | 485540 | 720 42680 137826 | 40411 39786 68 | 0.000 % |
295.57/295.80 c | 485752 | 720 42680 137826 | 40411 39998 68 | 0.000 % |
295.78/295.95 c | 485985 | 720 42680 137826 | 40411 40231 68 | 0.000 % |
295.97/296.11 c | 486241 | 720 42680 137826 | 40411 40487 68 | 0.000 % |
296.17/296.31 c | 486525 | 720 42680 137826 | 40411 34269 63 | 0.000 % |
296.47/296.61 c | 486834 | 720 42680 137826 | 40411 34578 63 | 0.000 % |
296.67/296.83 c | 487173 | 720 42680 137826 | 40411 34917 63 | 0.000 % |
296.88/297.08 c | 487545 | 720 42680 137826 | 40411 35289 63 | 0.000 % |
297.27/297.47 c | 487954 | 720 42680 137826 | 40411 35698 63 | 0.000 % |
297.57/297.79 c | 488403 | 720 42680 137826 | 40411 36147 63 | 0.000 % |
297.88/298.09 c | 488896 | 720 42680 137826 | 40411 36640 63 | 0.000 % |
298.27/298.46 c | 489442 | 720 42680 137826 | 40411 37186 63 | 0.000 % |
298.67/298.89 c | 490041 | 720 42680 137826 | 37744 37785 63 | 0.000 % |
299.27/299.40 c | 490697 | 720 42680 137826 | 37744 32661 62 | 0.000 % |
299.67/299.86 c | 491422 | 720 42680 137826 | 37744 33386 62 | 0.000 % |
300.17/300.33 c | 492214 | 720 42680 137826 | 37744 34178 63 | 0.000 % |
300.67/300.85 c | 493085 | 720 42680 137826 | 37744 35049 62 | 0.000 % |
301.67/301.83 c | 494045 | 720 42680 137826 | 37744 36009 64 | 0.000 % |
302.47/302.68 c | 495098 | 720 42680 137826 | 37744 37062 65 | 0.000 % |
303.57/303.73 c | 496258 | 720 42680 137826 | 37744 32347 65 | 0.000 % |
304.37/304.57 c | 497532 | 720 42680 137826 | 37744 33621 65 | 0.025 % |
305.77/305.93 c | 498933 | 720 42680 137826 | 37744 35022 66 | 0.000 % |
306.67/306.88 c | 500473 | 720 42680 137826 | 36089 31045 64 | 0.000 % |
307.37/307.52 c | 502168 | 720 42680 137826 | 36089 32740 63 | 0.024 % |
308.57/308.71 c | 504031 | 720 42680 137826 | 36089 34603 63 | 0.024 % |
310.57/310.71 c | 506084 | 720 42680 137826 | 36089 31807 61 | 0.000 % |
312.17/312.34 c | 508337 | 720 42680 137826 | 36089 34060 62 | 0.000 % |
314.07/314.28 c | 510817 | 720 42680 137826 | 35724 31868 63 | 0.000 % |
315.97/316.16 c | 513545 | 720 42680 137826 | 35724 34596 63 | 0.000 % |
317.97/318.18 c | 516543 | 720 42680 137826 | 35724 33336 65 | 0.000 % |
320.66/320.89 c | 519840 | 720 42680 137826 | 35724 32002 64 | 0.000 % |
323.06/323.26 c | 523469 | 720 42680 137826 | 32162 31394 67 | 0.000 % |
325.86/326.03 c | 527465 | 720 42680 137826 | 32162 31270 69 | 0.000 % |
328.86/329.08 c | 531851 | 720 42680 137826 | 29482 27272 72 | 0.000 % |
331.66/331.86 c | 536675 | 720 42680 137826 | 29482 28324 73 | 0.000 % |
331.76/331.94 c | 536776 | 720 42680 137826 | 29482 28425 73 | 0.000 % |
331.86/332.01 c | 536886 | 720 42680 137826 | 29482 28535 73 | 0.000 % |
331.86/332.09 c | 537008 | 720 42680 137826 | 29482 28657 73 | 0.021 % |
332.06/332.23 c | 537141 | 720 42680 137826 | 29482 28790 73 | 0.000 % |
332.16/332.30 c | 537287 | 720 42680 137826 | 29482 28936 73 | 0.000 % |
332.26/332.40 c | 537447 | 720 42680 137826 | 29482 29096 73 | 0.000 % |
332.26/332.49 c | 537623 | 720 42680 137826 | 29482 29272 73 | 0.000 % |
332.46/332.63 c | 537817 | 720 42680 137826 | 29482 29466 73 | 0.000 % |
332.56/332.78 c | 538029 | 720 42680 137826 | 29482 29678 72 | 0.025 % |
332.76/332.95 c | 538263 | 720 42680 137826 | 29482 26252 68 | 0.000 % |
332.86/333.07 c | 538519 | 720 42680 137826 | 29482 26508 68 | 0.000 % |
333.06/333.22 c | 538802 | 720 42680 137826 | 29482 26791 68 | 0.000 % |
333.16/333.39 c | 539111 | 720 42680 137826 | 29482 27100 68 | 0.000 % |
333.36/333.51 c | 539452 | 720 42680 137826 | 29482 27441 68 | 0.000 % |
333.56/333.72 c | 539826 | 720 42680 137826 | 29482 27815 68 | 0.000 % |
333.76/333.97 c | 540235 | 720 42680 137826 | 27991 28224 67 | 0.000 % |
333.96/334.19 c | 540684 | 720 42680 137826 | 27991 25708 65 | 0.021 % |
334.26/334.44 c | 541177 | 720 42680 137826 | 27991 26201 65 | 0.000 % |
334.46/334.69 c | 541719 | 720 42680 137826 | 27991 26743 64 | 0.025 % |
334.76/334.93 c | 542316 | 720 42680 137826 | 27991 27340 64 | 0.027 % |
334.96/335.18 c | 542972 | 720 42680 137826 | 27991 27996 63 | 0.021 % |
335.26/335.49 c | 543693 | 720 42680 137826 | 27991 25918 60 | 0.027 % |
335.56/335.78 c | 544485 | 720 42680 137826 | 27991 26710 59 | 0.023 % |
335.96/336.11 c | 545356 | 720 42680 137826 | 27991 27581 59 | 0.027 % |
336.36/336.57 c | 546314 | 720 42680 137826 | 27991 25715 54 | 0.000 % |
336.76/336.99 c | 547368 | 720 42680 137826 | 27991 26769 54 | 0.023 % |
337.36/337.50 c | 548526 | 720 42680 137826 | 27991 27927 54 | 0.000 % |
338.06/338.27 c | 549800 | 720 42680 137826 | 27991 26382 53 | 0.000 % |
338.76/338.94 c | 551201 | 720 42680 137826 | 2147483647 27783 53 | 0.000 % |
339.36/339.54 c | 552741 | 720 42680 137826 | 2147483647 29323 52 | 0.027 % |
340.06/340.26 c | 554436 | 720 42680 137826 | 2147483647 31018 52 | 0.027 % |
340.96/341.11 c | 556300 | 720 42680 137826 | 2147483647 32882 51 | 0.000 % |
341.86/342.07 c | 558350 | 720 42680 137826 | 2147483647 34932 50 | 0.027 % |
343.06/343.22 c | 560605 | 720 42680 137826 | 2147483647 37187 50 | 0.027 % |
344.55/344.71 c | 563083 | 720 42680 137826 | 2147483647 39665 49 | 0.027 % |
346.15/346.36 c | 565808 | 720 42680 137826 | 2147483647 42390 51 | 0.000 % |
348.05/348.27 c | 568806 | 720 42680 137826 | 2147483647 45388 51 | 0.000 % |
349.66/349.84 c | 572103 | 720 42680 137826 | 2147483647 48685 51 | 0.000 % |
352.15/352.33 c | 575729 | 720 42680 137826 | 2147483647 52311 52 | 0.000 % |
354.35/354.52 c | 579716 | 720 42680 137826 | 2147483647 56298 52 | 0.000 % |
357.35/357.51 c | 584102 | 720 42680 137826 | 56583 53660 49 | 0.026 % |
360.25/360.46 c | 588926 | 720 42680 137826 | 56583 50662 48 | 0.000 % |
363.25/363.47 c | 594232 | 720 42680 137826 | 51740 48792 48 | 0.000 % |
363.35/363.53 c | 594336 | 720 42680 137826 | 51740 48896 48 | 0.000 % |
363.35/363.58 c | 594448 | 720 42680 137826 | 51740 49008 48 | 0.000 % |
363.45/363.65 c | 594569 | 720 42680 137826 | 51740 49129 48 | 0.000 % |
363.55/363.76 c | 594704 | 720 42680 137826 | 51740 49264 48 | 0.000 % |
363.65/363.84 c | 594852 | 720 42680 137826 | 51740 49412 48 | 0.000 % |
363.75/363.95 c | 595013 | 720 42680 137826 | 51740 49573 48 | 0.000 % |
363.85/364.07 c | 595190 | 720 42680 137826 | 51740 49750 49 | 0.000 % |
364.05/364.20 c | 595384 | 720 42680 137826 | 51740 49944 49 | 0.000 % |
364.15/364.34 c | 595599 | 720 42680 137826 | 51740 50159 49 | 0.000 % |
364.25/364.47 c | 595832 | 720 42680 137826 | 51740 50392 49 | 0.000 % |
364.44/364.64 c | 596090 | 720 42680 137826 | 51740 50650 49 | 0.000 % |
364.64/364.83 c | 596372 | 720 42680 137826 | 51740 50932 49 | 0.000 % |
364.84/365.06 c | 596683 | 720 42680 137826 | 51740 51243 50 | 0.000 % |
365.14/365.33 c | 597024 | 720 42680 137826 | 51740 51584 50 | 0.000 % |
365.44/365.61 c | 597397 | 720 42680 137826 | 51740 51957 50 | 0.000 % |
365.74/365.94 c | 597807 | 720 42680 137826 | 51740 45739 52 | 0.000 % |
365.94/366.18 c | 598257 | 720 42680 137826 | 51740 46189 52 | 0.000 % |
366.24/366.45 c | 598751 | 720 42680 137826 | 51740 46683 52 | 0.025 % |
366.54/366.77 c | 599294 | 720 42680 137826 | 51740 47226 52 | 0.000 % |
366.84/367.05 c | 599890 | 720 42680 137826 | 51740 47822 52 | 0.000 % |
367.34/367.52 c | 600550 | 720 42680 137826 | 47932 42285 50 | 0.021 % |
367.74/367.98 c | 601270 | 720 42680 137826 | 47932 43005 51 | 0.000 % |
368.24/368.42 c | 602065 | 720 42680 137826 | 47932 43800 51 | 0.000 % |
368.84/369.03 c | 602936 | 720 42680 137826 | 47932 44671 51 | 0.000 % |
369.44/369.62 c | 603894 | 720 42680 137826 | 47932 45629 51 | 0.025 % |
369.94/370.11 c | 604947 | 720 42680 137826 | 47932 46682 51 | 0.000 % |
370.64/370.85 c | 606105 | 720 42680 137826 | 47932 47840 51 | 0.000 % |
371.44/371.66 c | 607382 | 720 42680 137826 | 47932 43782 51 | 0.029 % |
372.24/372.43 c | 608782 | 720 42680 137826 | 47932 45182 50 | 0.000 % |
373.24/373.45 c | 610323 | 720 42680 137826 | 46401 46723 50 | 0.025 % |
374.44/374.63 c | 612019 | 720 42680 137826 | 46401 43073 48 | 0.025 % |
376.04/376.24 c | 613883 | 720 42680 137826 | 46401 44937 50 | 0.000 % |
377.34/377.52 c | 615932 | 720 42680 137826 | 46401 41310 50 | 0.021 % |
378.84/379.04 c | 618185 | 720 42680 137826 | 46401 43563 50 | 0.023 % |
380.54/380.76 c | 620664 | 720 42680 137826 | 45378 40172 52 | 0.023 % |
382.33/382.55 c | 623389 | 720 42680 137826 | 45378 42897 52 | 0.025 % |
384.13/384.37 c | 626386 | 720 42680 137826 | 45378 39699 50 | 0.000 % |
386.43/386.64 c | 629682 | 720 42680 137826 | 45378 42995 50 | 0.000 % |
388.83/389.06 c | 633311 | 720 42680 137826 | 43316 41204 48 | 0.000 % |
391.23/391.49 c | 637298 | 720 42680 137826 | 43316 40389 48 | 0.000 % |
393.83/394.03 c | 641683 | 720 42680 137826 | 2147483647 44774 48 | 0.000 % |
396.23/396.45 c | 646506 | 720 42680 137826 | 2147483647 49597 50 | 0.000 % |
400.13/400.30 c | 651811 | 720 42680 137826 | 53091 48683 54 | 0.000 % |
404.03/404.27 c | 657646 | 720 42680 137826 | 53091 46137 54 | 0.023 % |
404.13/404.34 c | 657749 | 720 42680 137826 | 53091 46240 54 | 0.000 % |
404.23/404.42 c | 657860 | 720 42680 137826 | 53091 46351 54 | 0.000 % |
404.23/404.49 c | 657981 | 720 42680 137826 | 53091 46472 54 | 0.000 % |
404.33/404.56 c | 658116 | 720 42680 137826 | 53091 46607 54 | 0.000 % |
404.43/404.66 c | 658263 | 720 42680 137826 | 53091 46754 54 | 0.000 % |
404.53/404.77 c | 658424 | 720 42680 137826 | 53091 46915 54 | 0.026 % |
404.73/404.91 c | 658600 | 720 42680 137826 | 53091 47091 54 | 0.000 % |
404.83/405.06 c | 658793 | 720 42680 137826 | 53091 47284 54 | 0.000 % |
404.93/405.18 c | 659006 | 720 42680 137826 | 53091 47497 54 | 0.000 % |
405.23/405.42 c | 659239 | 720 42680 137826 | 53091 47730 54 | 0.000 % |
405.33/405.60 c | 659495 | 720 42680 137826 | 53091 47986 54 | 0.000 % |
405.53/405.79 c | 659777 | 720 42680 137826 | 53091 48268 54 | 0.000 % |
405.83/406.00 c | 660086 | 720 42680 137826 | 48493 48577 54 | 0.021 % |
406.03/406.26 c | 660426 | 720 42680 137826 | 48493 41495 54 | 0.000 % |
406.23/406.49 c | 660799 | 720 42680 137826 | 48493 41868 54 | 0.000 % |
406.43/406.68 c | 661212 | 720 42680 137826 | 48493 42281 54 | 0.000 % |
406.63/406.89 c | 661661 | 720 42680 137826 | 48493 42730 54 | 0.000 % |
406.83/407.08 c | 662156 | 720 42680 137826 | 48493 43225 54 | 0.000 % |
407.13/407.33 c | 662701 | 720 42680 137826 | 48493 43770 54 | 0.024 % |
407.43/407.63 c | 663297 | 720 42680 137826 | 48493 44366 54 | 0.000 % |
407.73/407.94 c | 663952 | 720 42680 137826 | 48493 45021 54 | 0.000 % |
408.12/408.35 c | 664672 | 720 42680 137826 | 48493 45741 54 | 0.027 % |
408.52/408.71 c | 665464 | 720 42680 137826 | 48493 46533 54 | 0.027 % |
409.03/409.21 c | 666335 | 720 42680 137826 | 48493 47404 54 | 0.027 % |
409.52/409.73 c | 667293 | 720 42680 137826 | 48493 48362 53 | 0.000 % |
410.22/410.41 c | 668346 | 720 42680 137826 | 48493 44401 54 | 0.000 % |
410.92/411.17 c | 669504 | 720 42680 137826 | 48493 45559 53 | 0.027 % |
411.72/411.99 c | 670777 | 720 42680 137826 | 46055 42059 55 | 0.000 % |
412.62/412.87 c | 672177 | 720 42680 137826 | 46055 43459 56 | 0.000 % |
413.72/413.95 c | 673717 | 720 42680 137826 | 46055 44999 56 | 0.000 % |
415.22/415.48 c | 675412 | 720 42680 137826 | 46055 41094 55 | 0.021 % |
416.32/416.56 c | 677275 | 720 42680 137826 | 46055 42957 55 | 0.021 % |
417.72/417.91 c | 679324 | 720 42680 137826 | 46055 45006 55 | 0.020 % |
418.92/419.16 c | 681578 | 720 42680 137826 | 45682 41152 49 | 0.000 % |
420.62/420.83 c | 684057 | 720 42680 137826 | 45682 43631 51 | 0.000 % |
422.62/422.81 c | 686784 | 720 42680 137826 | 45682 40654 51 | 0.000 % |
424.72/424.93 c | 689782 | 720 42680 137826 | 45682 43652 52 | 0.000 % |
426.92/427.11 c | 693079 | 720 42680 137826 | 43872 41096 52 | 0.000 % |
429.22/429.44 c | 696705 | 720 42680 137826 | 43872 39633 55 | 0.000 % |
431.22/431.49 c | 700695 | 720 42680 137826 | 42931 38727 55 | 0.000 % |
433.72/433.95 c | 705080 | 720 42680 137826 | 42931 43112 59 | 0.000 % |
437.12/437.31 c | 709906 | 720 42680 137826 | 42931 43149 63 | 0.000 % |
441.41/441.65 c | 715212 | 720 42680 137826 | 37693 37635 68 | 0.000 % |
445.91/446.10 c | 721047 | 720 42680 137826 | 36614 31910 72 | 0.000 % |
450.81/451.07 c | 727465 | 720 42680 137826 | 36614 32238 75 | 0.000 % |
450.91/451.17 c | 727565 | 720 42680 137826 | 36614 32338 75 | 0.000 % |
451.11/451.33 c | 727680 | 720 42680 137826 | 36614 32453 75 | 0.000 % |
451.21/451.43 c | 727804 | 720 42680 137826 | 36614 32577 75 | 0.000 % |
451.31/451.53 c | 727937 | 720 42680 137826 | 36614 32710 75 | 0.000 % |
451.41/451.65 c | 728084 | 720 42680 137826 | 36614 32857 75 | 0.000 % |
451.61/451.85 c | 728244 | 720 42680 137826 | 36614 33017 75 | 0.000 % |
451.81/452.06 c | 728421 | 720 42680 137826 | 36614 33194 76 | 0.000 % |
452.01/452.27 c | 728618 | 720 42680 137826 | 36614 33391 76 | 0.000 % |
452.21/452.48 c | 728830 | 720 42680 137826 | 36614 33603 76 | 0.000 % |
452.51/452.78 c | 729064 | 720 42680 137826 | 36614 33837 76 | 0.000 % |
452.81/453.07 c | 729321 | 720 42680 137826 | 36614 34094 76 | 0.000 % |
453.11/453.33 c | 729602 | 720 42680 137826 | 36614 34375 76 | 0.000 % |
453.31/453.56 c | 729911 | 720 42680 137826 | 36614 34684 76 | 0.000 % |
453.71/453.96 c | 730251 | 720 42680 137826 | 34774 35024 76 | 0.000 % |
453.91/454.18 c | 730623 | 720 42680 137826 | 34774 29097 71 | 0.026 % |
454.11/454.39 c | 731033 | 720 42680 137826 | 34774 29507 71 | 0.026 % |
454.51/454.79 c | 731483 | 720 42680 137826 | 34774 29957 71 | 0.000 % |
455.11/455.31 c | 731978 | 720 42680 137826 | 34774 30452 72 | 0.000 % |
455.41/455.65 c | 732522 | 720 42680 137826 | 34774 30996 71 | 0.000 % |
455.91/456.11 c | 733118 | 720 42680 137826 | 34774 31592 72 | 0.000 % |
456.51/456.71 c | 733775 | 720 42680 137826 | 34774 32249 72 | 0.000 % |
457.21/457.47 c | 734498 | 720 42680 137826 | 34774 32972 72 | 0.000 % |
457.81/458.05 c | 735294 | 720 42680 137826 | 34774 33768 72 | 0.000 % |
458.41/458.61 c | 736165 | 720 42680 137826 | 34774 34639 71 | 0.000 % |
458.81/459.05 c | 737126 | 720 42680 137826 | 34774 30408 67 | 0.000 % |
459.51/459.73 c | 738180 | 720 42680 137826 | 34774 31462 67 | 0.000 % |
460.01/460.26 c | 739339 | 720 42680 137826 | 34774 32621 66 | 0.027 % |
460.51/460.78 c | 740615 | 720 42680 137826 | 33282 30003 63 | 0.027 % |
461.20/461.46 c | 742016 | 720 42680 137826 | 33282 31404 63 | 0.027 % |
462.30/462.59 c | 743556 | 720 42680 137826 | 33282 32944 64 | 0.000 % |
463.50/463.72 c | 745250 | 720 42680 137826 | 33282 31198 62 | 0.000 % |
464.71/464.95 c | 747113 | 720 42680 137826 | 33282 33061 62 | 0.000 % |
465.60/465.82 c | 749163 | 720 42680 137826 | 33282 31312 59 | 0.024 % |
466.60/466.88 c | 751416 | 720 42680 137826 | 32152 30310 56 | 0.024 % |
468.10/468.37 c | 753895 | 720 42680 137826 | 32152 29538 54 | 0.000 % |
469.41/469.68 c | 756620 | 720 42680 137826 | 32152 32263 53 | 0.024 % |
471.00/471.27 c | 759617 | 720 42680 137826 | 32152 32034 50 | 0.026 % |
472.50/472.79 c | 762913 | 720 42680 137826 | 2147483647 35330 49 | 0.024 % |
474.60/474.81 c | 766538 | 720 42680 137826 | 2147483647 38955 48 | 0.024 % |
476.80/477.03 c | 770525 | 720 42680 137826 | 2147483647 42942 51 | 0.000 % |
479.70/479.94 c | 774910 | 720 42680 137826 | 2147483647 47327 55 | 0.000 % |
483.00/483.24 c | 779734 | 720 42680 137826 | 2147483647 52151 57 | 0.000 % |
486.80/487.01 c | 785041 | 720 42680 137826 | 52420 49648 56 | 0.000 % |
491.20/491.40 c | 790876 | 720 42680 137826 | 45603 39400 61 | 0.000 % |
495.00/495.29 c | 797294 | 720 42680 137826 | 45603 45818 60 | 0.000 % |
499.21/499.49 c | 804353 | 720 42680 137826 | 42536 41451 57 | 0.027 % |
499.30/499.56 c | 804453 | 720 42680 137826 | 42536 41551 57 | 0.000 % |
499.40/499.63 c | 804565 | 720 42680 137826 | 42536 41663 57 | 0.000 % |
499.50/499.76 c | 804686 | 720 42680 137826 | 42536 41784 57 | 0.000 % |
499.60/499.84 c | 804819 | 720 42680 137826 | 42536 41917 57 | 0.000 % |
499.70/499.90 c | 804965 | 720 42680 137826 | 42536 42063 57 | 0.000 % |
499.80/500.07 c | 805125 | 720 42680 137826 | 42536 42223 57 | 0.000 % |
499.90/500.19 c | 805307 | 720 42680 137826 | 42536 42405 57 | 0.000 % |
500.10/500.31 c | 805502 | 720 42680 137826 | 42536 42600 57 | 0.000 % |
500.20/500.49 c | 805714 | 720 42680 137826 | 42536 37029 54 | 0.000 % |
500.40/500.65 c | 805947 | 720 42680 137826 | 42536 37262 54 | 0.000 % |
500.60/500.83 c | 806204 | 720 42680 137826 | 42536 37519 54 | 0.000 % |
500.80/501.03 c | 806485 | 720 42680 137826 | 42536 37800 54 | 0.000 % |
501.00/501.24 c | 806795 | 720 42680 137826 | 42536 38110 54 | 0.000 % |
501.20/501.44 c | 807134 | 720 42680 137826 | 42536 38449 55 | 0.000 % |
501.40/501.65 c | 807506 | 720 42680 137826 | 42536 38821 55 | 0.000 % |
501.80/502.02 c | 807915 | 720 42680 137826 | 42536 39230 55 | 0.000 % |
502.10/502.33 c | 808364 | 720 42680 137826 | 42536 39679 55 | 0.000 % |
502.30/502.59 c | 808858 | 720 42680 137826 | 42536 40173 55 | 0.026 % |
502.70/502.92 c | 809401 | 720 42680 137826 | 42536 40716 55 | 0.026 % |
503.00/503.29 c | 809997 | 720 42680 137826 | 42536 41312 55 | 0.000 % |
503.50/503.71 c | 810652 | 720 42680 137826 | 41315 36519 53 | 0.026 % |
503.90/504.13 c | 811374 | 720 42680 137826 | 41315 37241 53 | 0.000 % |
504.50/504.73 c | 812166 | 720 42680 137826 | 41315 38033 53 | 0.026 % |
504.90/505.16 c | 813039 | 720 42680 137826 | 41315 38906 53 | 0.026 % |
505.60/505.90 c | 813998 | 720 42680 137826 | 41315 39865 54 | 0.000 % |
506.20/506.48 c | 815054 | 720 42680 137826 | 41315 40921 55 | 0.000 % |
507.10/507.30 c | 816215 | 720 42680 137826 | 41315 37348 53 | 0.000 % |
507.70/507.93 c | 817488 | 720 42680 137826 | 41315 38621 54 | 0.000 % |
508.40/508.67 c | 818889 | 720 42680 137826 | 41315 40022 54 | 0.000 % |
509.29/509.54 c | 820430 | 720 42680 137826 | 41133 37347 52 | 0.000 % |
510.29/510.53 c | 822124 | 720 42680 137826 | 41133 39041 53 | 0.000 % |
511.39/511.69 c | 823988 | 720 42680 137826 | 41133 40905 53 | 0.000 % |
512.49/512.73 c | 826038 | 720 42680 137826 | 41133 38512 52 | 0.023 % |
513.89/514.11 c | 828291 | 720 42680 137826 | 41133 40765 54 | 0.000 % |
515.60/515.90 c | 830769 | 720 42680 137826 | 38058 34681 58 | 0.000 % |
517.39/517.65 c | 833495 | 720 42680 137826 | 38058 37407 59 | 0.000 % |
519.49/519.78 c | 836492 | 720 42680 137826 | 38058 36134 59 | 0.000 % |
521.79/522.03 c | 839788 | 720 42680 137826 | 38058 34864 59 | 0.026 % |
523.79/524.06 c | 843413 | 720 42680 137826 | 35077 34116 58 | 0.000 % |
526.39/526.65 c | 847407 | 720 42680 137826 | 35077 34570 58 | 0.000 % |
529.09/529.35 c | 851796 | 720 42680 137826 | 33619 31944 55 | 0.027 % |
532.69/532.93 c | 856620 | 720 42680 137826 | 33619 32503 52 | 0.000 % |
535.88/536.11 c | 861925 | 720 42680 137826 | 31447 29556 49 | 0.000 % |
539.28/539.57 c | 867762 | 720 42680 137826 | 31447 28954 45 | 0.027 % |
541.88/542.10 c | 874180 | 720 42680 137826 | 2147483647 35372 44 | 0.023 % |
544.78/545.03 c | 881239 | 720 42680 137826 | 2147483647 42431 43 | 0.000 % |
549.28/549.57 c | 889003 | 720 42680 137826 | 2147483647 50195 43 | 0.021 % |
549.38/549.65 c | 889108 | 720 42680 137826 | 2147483647 50300 43 | 0.000 % |
549.48/549.72 c | 889218 | 720 42680 137826 | 2147483647 50410 43 | 0.000 % |
549.48/549.80 c | 889340 | 720 42680 137826 | 2147483647 50532 43 | 0.000 % |
549.58/549.87 c | 889474 | 720 42680 137826 | 2147483647 50666 43 | 0.000 % |
549.68/549.99 c | 889620 | 720 42680 137826 | 2147483647 50812 43 | 0.000 % |
549.78/550.07 c | 889780 | 720 42680 137826 | 2147483647 50972 43 | 0.000 % |
549.88/550.17 c | 889956 | 720 42680 137826 | 2147483647 51148 43 | 0.000 % |
549.98/550.25 c | 890151 | 720 42680 137826 | 2147483647 51343 43 | 0.000 % |
550.08/550.36 c | 890363 | 720 42680 137826 | 2147483647 51555 44 | 0.000 % |
550.18/550.48 c | 890597 | 720 42680 137826 | 2147483647 51789 44 | 0.000 % |
550.38/550.64 c | 890855 | 720 42680 137826 | 2147483647 52047 44 | 0.000 % |
550.58/550.82 c | 891136 | 720 42680 137826 | 2147483647 52328 44 | 0.000 % |
550.78/551.02 c | 891446 | 720 42680 137826 | 2147483647 52638 44 | 0.023 % |
550.98/551.20 c | 891785 | 720 42680 137826 | 2147483647 52977 44 | 0.020 % |
551.18/551.45 c | 892161 | 720 42680 137826 | 2147483647 53353 44 | 0.000 % |
551.38/551.67 c | 892571 | 720 42680 137826 | 2147483647 53763 44 | 0.000 % |
551.68/551.93 c | 893020 | 720 42680 137826 | 2147483647 54212 44 | 0.000 % |
551.98/552.21 c | 893515 | 720 42680 137826 | 2147483647 54707 45 | 0.000 % |
552.28/552.52 c | 894059 | 720 42680 137826 | 2147483647 55251 45 | 0.000 % |
552.68/552.90 c | 894657 | 720 42680 137826 | 2147483647 55849 45 | 0.000 % |
553.08/553.35 c | 895314 | 720 42680 137826 | 2147483647 56506 46 | 0.000 % |
553.48/553.78 c | 896035 | 720 42680 137826 | 2147483647 57227 46 | 0.000 % |
553.98/554.23 c | 896828 | 720 42680 137826 | 2147483647 58020 46 | 0.000 % |
554.38/554.69 c | 897702 | 720 42680 137826 | 2147483647 58894 46 | 0.000 % |
555.08/555.36 c | 898661 | 720 42680 137826 | 2147483647 59853 46 | 0.027 % |
555.88/556.12 c | 899714 | 720 42680 137826 | 2147483647 60906 46 | 0.027 % |
556.58/556.85 c | 900873 | 720 42680 137826 | 2147483647 62065 46 | 0.027 % |
557.58/557.80 c | 902146 | 720 42680 137826 | 2147483647 63338 46 | 0.000 % |
558.58/558.89 c | 903551 | 720 42680 137826 | 2147483647 64743 46 | 0.000 % |
559.78/560.01 c | 905093 | 720 42680 137826 | 2147483647 66285 47 | 0.000 % |
560.87/561.18 c | 906787 | 720 42680 137826 | 2147483647 67979 49 | 0.000 % |
561.97/562.27 c | 908650 | 720 42680 137826 | 2147483647 69842 49 | 0.000 % |
564.07/564.32 c | 910699 | 720 42680 137826 | 71193 61432 48 | 0.000 % |
565.47/565.73 c | 912953 | 720 42680 137826 | 71193 63686 48 | 0.026 % |
566.77/567.09 c | 915431 | 720 42680 137826 | 71193 66164 48 | 0.000 % |
569.17/569.49 c | 918156 | 720 42680 137826 | 71193 68889 48 | 0.000 % |
571.57/571.83 c | 921153 | 720 42680 137826 | 70734 59170 50 | 0.000 % |
574.16/574.46 c | 924450 | 720 42680 137826 | 70734 62467 50 | 0.025 % |
576.86/577.10 c | 928075 | 720 42680 137826 | 70734 66092 50 | 0.025 % |
580.36/580.69 c | 932062 | 720 42680 137826 | 68018 56411 55 | 0.000 % |
584.76/585.03 c | 936447 | 720 42680 137826 | 68018 60796 59 | 0.000 % |
589.07/589.36 c | 941270 | 720 42680 137826 | 64349 52267 58 | 0.000 % |
592.87/593.12 c | 946575 | 720 42680 137826 | 64349 57572 57 | 0.000 % |
599.36/599.61 c | 952414 | 720 42680 137826 | 60997 50445 58 | 0.000 % |
605.06/605.31 c | 958833 | 720 42680 137826 | 60997 56864 59 | 0.000 % |
610.66/610.95 c | 965896 | 720 42680 137826 | 58031 51735 59 | 0.000 % |
616.66/617.00 c | 973663 | 720 42680 137826 | 55841 48049 51 | 0.026 % |
622.36/622.68 c | 982206 | 720 42680 137826 | 54387 46164 50 | 0.000 % |
622.46/622.76 c | 982309 | 720 42680 137826 | 54387 46267 50 | 0.000 % |
622.56/622.85 c | 982420 | 720 42680 137826 | 54387 46378 50 | 0.029 % |
622.66/622.93 c | 982543 | 720 42680 137826 | 54387 46501 50 | 0.029 % |
622.76/623.04 c | 982678 | 720 42680 137826 | 54387 46636 50 | 0.000 % |
622.86/623.15 c | 982824 | 720 42680 137826 | 54387 46782 50 | 0.000 % |
622.96/623.27 c | 982984 | 720 42680 137826 | 54387 46942 50 | 0.000 % |
623.06/623.38 c | 983162 | 720 42680 137826 | 54387 47120 50 | 0.000 % |
623.16/623.49 c | 983359 | 720 42680 137826 | 54387 47317 51 | 0.000 % |
623.36/623.62 c | 983571 | 720 42680 137826 | 54387 47529 51 | 0.000 % |
623.46/623.78 c | 983807 | 720 42680 137826 | 54387 47765 51 | 0.000 % |
623.66/623.93 c | 984064 | 720 42680 137826 | 54387 48022 51 | 0.000 % |
623.86/624.11 c | 984347 | 720 42680 137826 | 54387 48305 51 | 0.000 % |
624.06/624.31 c | 984656 | 720 42680 137826 | 54387 48614 51 | 0.000 % |
624.26/624.52 c | 984996 | 720 42680 137826 | 54387 48954 51 | 0.000 % |
624.46/624.74 c | 985369 | 720 42680 137826 | 54387 49327 51 | 0.000 % |
624.76/625.06 c | 985778 | 720 42680 137826 | 54387 49736 52 | 0.000 % |
625.16/625.45 c | 986229 | 720 42680 137826 | 54387 50187 52 | 0.000 % |
625.46/625.78 c | 986724 | 720 42680 137826 | 54387 50682 52 | 0.000 % |
625.95/626.23 c | 987268 | 720 42680 137826 | 54387 51226 52 | 0.000 % |
626.25/626.54 c | 987865 | 720 42680 137826 | 54387 51823 52 | 0.024 % |
626.55/626.86 c | 988520 | 720 42680 137826 | 54387 52478 52 | 0.000 % |
627.26/627.54 c | 989240 | 720 42680 137826 | 54387 53198 53 | 0.000 % |
627.86/628.19 c | 990033 | 720 42680 137826 | 53958 53991 53 | 0.000 % |
628.55/628.86 c | 990908 | 720 42680 137826 | 53958 45215 47 | 0.000 % |
629.15/629.42 c | 991866 | 720 42680 137826 | 53958 46173 48 | 0.000 % |
629.96/630.23 c | 992926 | 720 42680 137826 | 53958 47233 48 | 0.000 % |
630.55/630.87 c | 994086 | 720 42680 137826 | 53958 48393 48 | 0.000 % |
631.35/631.61 c | 995360 | 720 42680 137826 | 53958 49667 49 | 0.000 % |
632.35/632.67 c | 996760 | 720 42680 137826 | 53958 51067 50 | 0.000 % |
633.75/634.01 c | 998301 | 720 42680 137826 | 53958 52608 51 | 0.000 % |
634.95/635.20 c | 999995 | 720 42680 137826 | 53958 45885 50 | 0.025 % |
636.05/636.35 c | 1001859 | 720 42680 137826 | 45891 40690 49 | 0.025 % |
637.15/637.48 c | 1003911 | 720 42680 137826 | 45891 42742 49 | 0.023 % |
638.55/638.82 c | 1006164 | 720 42680 137826 | 45891 44995 49 | 0.000 % |
640.05/640.33 c | 1008643 | 720 42680 137826 | 45891 41649 49 | 0.026 % |
641.75/642.06 c | 1011368 | 720 42680 137826 | 43008 38884 48 | 0.000 % |
643.65/643.92 c | 1014370 | 720 42680 137826 | 43008 41886 48 | 0.026 % |
645.94/646.26 c | 1017672 | 720 42680 137826 | 43008 39131 45 | 0.026 % |
648.54/648.81 c | 1021297 | 720 42680 137826 | 41459 37199 43 | 0.000 % |
651.14/651.43 c | 1025285 | 720 42680 137826 | 41459 41187 43 | 0.000 % |
653.84/654.12 c | 1029670 | 720 42680 137826 | 41459 39623 40 | 0.026 % |
657.55/657.83 c | 1034493 | 720 42680 137826 | 39955 38756 39 | 0.026 % |
661.54/661.86 c | 1039799 | 720 42680 137826 | 39955 37766 39 | 0.026 % |
664.54/664.83 c | 1045635 | 719 42534 137364 | 37967 13002 33 | 0.139 % |
666.34/666.67 c | 1052057 | 719 42534 137364 | 2147483647 19424 40 | 0.139 % |
669.24/669.55 c | 1059116 | 719 42534 137364 | 2147483647 26483 55 | 0.139 % |
673.74/674.09 c | 1066880 | 719 42534 137364 | 2147483647 34247 60 | 0.139 % |
678.74/679.03 c | 1075422 | 719 42534 137364 | 2147483647 42789 57 | 0.139 % |
685.13/685.47 c | 1084816 | 719 42534 137364 | 47369 46330 56 | 0.166 % |
685.23/685.59 c | 1084917 | 719 42534 137364 | 47369 46431 56 | 0.139 % |
685.33/685.68 c | 1085028 | 719 42534 137364 | 47369 46542 55 | 0.139 % |
685.53/685.81 c | 1085151 | 719 42534 137364 | 47369 46665 56 | 0.139 % |
685.63/685.90 c | 1085284 | 719 42534 137364 | 47369 46798 56 | 0.139 % |
685.73/686.02 c | 1085430 | 719 42534 137364 | 47369 46944 56 | 0.139 % |
685.83/686.14 c | 1085591 | 719 42534 137364 | 47369 47105 56 | 0.139 % |
685.93/686.27 c | 1085770 | 719 42534 137364 | 47369 47284 56 | 0.139 % |
686.04/686.37 c | 1085963 | 719 42534 137364 | 47369 47477 56 | 0.139 % |
686.23/686.53 c | 1086176 | 719 42534 137364 | 47369 40459 55 | 0.139 % |
686.33/686.66 c | 1086409 | 719 42534 137364 | 47369 40692 55 | 0.139 % |
686.53/686.85 c | 1086666 | 719 42534 137364 | 47369 40949 55 | 0.163 % |
686.73/687.09 c | 1086947 | 719 42534 137364 | 47369 41230 55 | 0.166 % |
686.93/687.21 c | 1087258 | 719 42534 137364 | 47369 41541 55 | 0.165 % |
687.14/687.41 c | 1087600 | 719 42534 137364 | 47369 41883 55 | 0.139 % |
687.24/687.58 c | 1087972 | 719 42534 137364 | 47369 42255 55 | 0.139 % |
687.53/687.81 c | 1088381 | 719 42534 137364 | 47369 42664 55 | 0.139 % |
687.83/688.13 c | 1088831 | 719 42534 137364 | 47369 43114 55 | 0.139 % |
688.13/688.44 c | 1089325 | 719 42534 137364 | 47369 43608 55 | 0.139 % |
688.63/688.92 c | 1089867 | 719 42534 137364 | 47369 44150 55 | 0.139 % |
689.03/689.31 c | 1090463 | 719 42534 137364 | 44284 38399 48 | 0.167 % |
689.53/689.86 c | 1091118 | 719 42534 137364 | 44284 39054 48 | 0.139 % |
689.93/690.25 c | 1091838 | 719 42534 137364 | 44284 39774 49 | 0.139 % |
690.23/690.59 c | 1092630 | 719 42534 137364 | 44284 40566 49 | 0.139 % |
690.63/690.99 c | 1093508 | 719 42534 137364 | 44284 41444 50 | 0.139 % |
691.33/691.63 c | 1094468 | 719 42534 137364 | 44284 42404 51 | 0.139 % |
691.93/692.24 c | 1095523 | 719 42534 137364 | 44284 43459 52 | 0.139 % |
692.83/693.12 c | 1096681 | 719 42534 137364 | 44284 39824 50 | 0.139 % |
693.53/693.83 c | 1097955 | 719 42534 137364 | 44284 41098 50 | 0.162 % |
694.13/694.46 c | 1099356 | 719 42534 137364 | 44284 42499 50 | 0.139 % |
695.03/695.30 c | 1100898 | 719 42534 137364 | 2147483647 44041 50 | 0.166 % |
696.13/696.43 c | 1102592 | 719 42534 137364 | 2147483647 45735 50 | 0.162 % |
697.33/697.60 c | 1104455 | 719 42534 137364 | 2147483647 47598 52 | 0.139 % |
698.32/698.69 c | 1106505 | 719 42534 137364 | 2147483647 49648 53 | 0.139 % |
700.22/700.56 c | 1108760 | 719 42534 137364 | 2147483647 51903 55 | 0.139 % |
702.02/702.32 c | 1111238 | 719 42534 137364 | 53143 46966 55 | 0.139 % |
703.52/703.87 c | 1113964 | 719 42534 137364 | 53143 49692 55 | 0.139 % |
706.02/706.36 c | 1116963 | 719 42534 137364 | 53143 52691 56 | 0.139 % |
708.42/708.71 c | 1120259 | 719 42534 137364 | 47705 40574 61 | 0.139 % |
710.72/711.06 c | 1123886 | 719 42534 137364 | 47705 44201 62 | 0.139 % |
713.22/713.59 c | 1127874 | 719 42534 137364 | 47705 41355 60 | 0.139 % |
715.62/715.96 c | 1132261 | 719 42534 137364 | 43481 39963 61 | 0.139 % |
718.72/719.01 c | 1137084 | 719 42534 137364 | 43481 39109 56 | 0.139 % |
722.32/722.62 c | 1142389 | 719 42534 137364 | 42025 38895 59 | 0.139 % |
725.91/726.24 c | 1148224 | 719 42534 137364 | 42025 39073 57 | 0.160 % |
730.32/730.65 c | 1154644 | 719 42534 137364 | 40849 40204 53 | 0.160 % |
734.91/735.22 c | 1161705 | 719 42534 137364 | 40267 36666 49 | 0.160 % |
739.81/740.17 c | 1169471 | 719 42534 137364 | 40267 39011 47 | 0.139 % |
745.51/745.89 c | 1178011 | 718 42400 136926 | 39540 13459 36 | 0.278 % |
748.61/748.95 c | 1187406 | 718 42400 136926 | 2147483647 22854 56 | 0.278 % |
753.61/753.92 c | 1197739 | 718 42400 136926 | 2147483647 33187 62 | 0.278 % |
753.61/753.97 c | 1197840 | 718 42400 136926 | 2147483647 33288 62 | 0.278 % |
753.71/754.07 c | 1197951 | 718 42400 136926 | 2147483647 33399 62 | 0.278 % |
753.81/754.12 c | 1198075 | 718 42400 136926 | 2147483647 33523 62 | 0.278 % |
753.91/754.22 c | 1198209 | 718 42400 136926 | 2147483647 33657 62 | 0.278 % |
754.01/754.33 c | 1198356 | 718 42400 136926 | 2147483647 33804 62 | 0.278 % |
754.11/754.43 c | 1198519 | 718 42400 136926 | 2147483647 33967 62 | 0.278 % |
754.31/754.61 c | 1198695 | 718 42400 136926 | 2147483647 34143 62 | 0.278 % |
754.41/754.77 c | 1198889 | 718 42400 136926 | 2147483647 34337 62 | 0.278 % |
754.61/754.92 c | 1199101 | 718 42400 136926 | 2147483647 34549 62 | 0.278 % |
754.71/755.05 c | 1199337 | 718 42400 136926 | 2147483647 34785 62 | 0.278 % |
754.91/755.20 c | 1199593 | 718 42400 136926 | 2147483647 35041 62 | 0.278 % |
755.11/755.43 c | 1199874 | 718 42400 136926 | 2147483647 35322 62 | 0.278 % |
755.31/755.63 c | 1200183 | 718 42400 136926 | 2147483647 35631 62 | 0.278 % |
755.41/755.79 c | 1200523 | 718 42400 136926 | 2147483647 35971 62 | 0.278 % |
755.81/756.13 c | 1200897 | 718 42400 136926 | 2147483647 36345 63 | 0.278 % |
756.01/756.32 c | 1201306 | 718 42400 136926 | 2147483647 36754 63 | 0.278 % |
756.21/756.56 c | 1201756 | 718 42400 136926 | 2147483647 37204 62 | 0.301 % |
756.51/756.89 c | 1202249 | 718 42400 136926 | 2147483647 37697 62 | 0.303 % |
756.91/757.26 c | 1202792 | 718 42400 136926 | 2147483647 38240 62 | 0.278 % |
757.21/757.59 c | 1203388 | 718 42400 136926 | 2147483647 38836 62 | 0.278 % |
757.61/757.98 c | 1204045 | 718 42400 136926 | 2147483647 39493 62 | 0.303 % |
758.20/758.56 c | 1204765 | 718 42400 136926 | 2147483647 40213 62 | 0.278 % |
758.80/759.15 c | 1205558 | 718 42400 136926 | 2147483647 41006 63 | 0.278 % |
759.50/759.82 c | 1206429 | 718 42400 136926 | 2147483647 41877 63 | 0.278 % |
760.20/760.57 c | 1207389 | 718 42400 136926 | 2147483647 42837 64 | 0.278 % |
761.00/761.38 c | 1208446 | 718 42400 136926 | 2147483647 43894 64 | 0.278 % |
761.91/762.26 c | 1209604 | 718 42400 136926 | 2147483647 45052 64 | 0.278 % |
762.90/763.28 c | 1210877 | 718 42400 136926 | 45449 40010 66 | 0.299 % |
763.70/764.08 c | 1212280 | 718 42400 136926 | 45449 41413 65 | 0.278 % |
764.50/764.87 c | 1213821 | 718 42400 136926 | 45449 42954 65 | 0.305 % |
765.60/765.91 c | 1215515 | 718 42400 136926 | 45449 44648 65 | 0.278 % |
767.10/767.44 c | 1217379 | 718 42400 136926 | 45449 39629 62 | 0.278 % |
768.30/768.67 c | 1219429 | 718 42400 136926 | 45449 41679 62 | 0.278 % |
769.70/770.08 c | 1221683 | 718 42400 136926 | 42250 37722 60 | 0.278 % |
771.20/771.51 c | 1224162 | 718 42400 136926 | 42250 40201 60 | 0.278 % |
773.10/773.40 c | 1226891 | 718 42400 136926 | 42250 37785 55 | 0.303 % |
775.00/775.38 c | 1229889 | 718 42400 136926 | 42250 40783 54 | 0.278 % |
777.20/777.51 c | 1233185 | 718 42400 136926 | 40895 38988 52 | 0.303 % |
779.50/779.85 c | 1236810 | 718 42400 136926 | 40895 38031 48 | 0.320 % |
781.30/781.67 c | 1240797 | 717 42256 136485 | 27825 25795 49 | 0.417 % |
782.99/783.31 c | 1245182 | 717 42256 136485 | 27825 27365 48 | 0.440 % |
784.89/785.23 c | 1250005 | 717 42256 136485 | 2147483647 26550 42 | 0.417 % |
787.39/787.70 c | 1255311 | 717 42256 136485 | 2147483647 31856 48 | 0.417 % |
790.39/790.79 c | 1261149 | 717 42256 136485 | 2147483647 37694 49 | 0.417 % |
794.09/794.44 c | 1267568 | 717 42256 136485 | 2147483647 44113 49 | 0.417 % |
798.59/798.98 c | 1274628 | 717 42256 136485 | 2147483647 51173 55 | 0.417 % |
805.09/805.47 c | 1282393 | 717 42256 136485 | 56546 49098 59 | 0.417 % |
811.39/811.77 c | 1290936 | 717 42256 136485 | 56706 46644 59 | 0.442 % |
816.99/817.38 c | 1300330 | 717 42256 136485 | 55708 56038 58 | 0.417 % |
824.38/824.72 c | 1310666 | 717 42256 136485 | 48309 41612 51 | 0.417 % |
831.58/831.94 c | 1322036 | 717 42256 136485 | 43029 38284 46 | 0.417 % |
831.68/832.01 c | 1322137 | 717 42256 136485 | 43029 38385 46 | 0.417 % |
831.68/832.08 c | 1322248 | 717 42256 136485 | 43029 38496 46 | 0.417 % |
831.78/832.14 c | 1322369 | 717 42256 136485 | 43029 38617 46 | 0.417 % |
831.88/832.22 c | 1322502 | 717 42256 136485 | 43029 38750 46 | 0.417 % |
831.98/832.31 c | 1322648 | 717 42256 136485 | 43029 38896 47 | 0.417 % |
832.08/832.43 c | 1322809 | 717 42256 136485 | 43029 39057 47 | 0.417 % |
832.18/832.53 c | 1322987 | 717 42256 136485 | 43029 39235 47 | 0.417 % |
832.28/832.63 c | 1323181 | 717 42256 136485 | 43029 39429 47 | 0.417 % |
832.38/832.75 c | 1323394 | 717 42256 136485 | 43029 39642 48 | 0.417 % |
832.48/832.87 c | 1323629 | 717 42256 136485 | 43029 39877 48 | 0.417 % |
832.68/833.01 c | 1323885 | 717 42256 136485 | 43029 40133 48 | 0.417 % |
832.78/833.14 c | 1324166 | 717 42256 136485 | 43029 40414 48 | 0.417 % |
832.88/833.28 c | 1324477 | 717 42256 136485 | 43029 40725 48 | 0.444 % |
833.08/833.44 c | 1324816 | 717 42256 136485 | 43029 41064 48 | 0.438 % |
833.28/833.63 c | 1325190 | 717 42256 136485 | 43029 41438 48 | 0.417 % |
833.48/833.81 c | 1325602 | 717 42256 136485 | 43029 41850 48 | 0.417 % |
833.68/834.01 c | 1326052 | 717 42256 136485 | 43029 42300 48 | 0.417 % |
833.98/834.36 c | 1326546 | 717 42256 136485 | 43029 42794 49 | 0.417 % |
834.38/834.74 c | 1327089 | 717 42256 136485 | 43029 43337 49 | 0.417 % |
834.78/835.14 c | 1327687 | 717 42256 136485 | 43029 39074 50 | 0.417 % |
835.08/835.44 c | 1328342 | 717 42256 136485 | 43029 39729 50 | 0.417 % |
835.38/835.77 c | 1329064 | 717 42256 136485 | 43029 40451 50 | 0.417 % |
835.87/836.24 c | 1329856 | 717 42256 136485 | 43029 41243 51 | 0.417 % |
836.57/836.91 c | 1330728 | 717 42256 136485 | 41388 37879 51 | 0.417 % |
837.07/837.42 c | 1331686 | 717 42256 136485 | 41388 38837 51 | 0.447 % |
837.67/838.00 c | 1332739 | 717 42256 136485 | 41388 39890 51 | 0.439 % |
838.27/838.70 c | 1333900 | 717 42256 136485 | 41388 41051 51 | 0.417 % |
838.98/839.39 c | 1335173 | 717 42256 136485 | 41388 38154 50 | 0.417 % |
839.67/840.10 c | 1336574 | 717 42256 136485 | 41388 39555 50 | 0.439 % |
840.57/840.97 c | 1338116 | 717 42256 136485 | 41388 41097 51 | 0.417 % |
841.67/842.05 c | 1339812 | 717 42256 136485 | 41388 38622 51 | 0.417 % |
842.67/843.06 c | 1341675 | 717 42256 136485 | 2147483647 40485 51 | 0.438 % |
843.77/844.16 c | 1343726 | 717 42256 136485 | 2147483647 42536 51 | 0.417 % |
845.17/845.53 c | 1345979 | 717 42256 136485 | 2147483647 44789 50 | 0.441 % |
846.77/847.17 c | 1348458 | 717 42256 136485 | 2147483647 47268 50 | 0.417 % |
848.47/848.84 c | 1351184 | 717 42256 136485 | 48811 44597 51 | 0.417 % |
850.67/851.04 c | 1354181 | 717 42256 136485 | 48811 47594 51 | 0.442 % |
852.57/852.93 c | 1357477 | 717 42256 136485 | 48811 44586 51 | 0.442 % |
854.77/855.19 c | 1361104 | 717 42256 136485 | 47110 41811 47 | 0.442 % |
857.47/857.87 c | 1365092 | 717 42256 136485 | 47110 45799 47 | 0.417 % |
860.67/861.07 c | 1369481 | 717 42256 136485 | 47110 42869 50 | 0.417 % |
863.57/863.91 c | 1374305 | 717 42256 136485 | 43388 41215 47 | 0.417 % |
866.87/867.23 c | 1379610 | 717 42256 136485 | 43388 41266 47 | 0.417 % |
870.87/871.23 c | 1385445 | 717 42256 136485 | 41656 37694 52 | 0.417 % |
875.76/876.11 c | 1391864 | 717 42256 136485 | 37938 35892 59 | 0.417 % |
877.86/878.30 c ===============================================================================
877.86/878.30 c restarts : 1373
877.96/878.30 c conflicts : 1395465 (1590 /sec)
877.96/878.30 c decisions : 2072155 (1.11 % random) (2361 /sec)
877.96/878.30 c propagations : 124991148 (142402 /sec)
877.96/878.30 c conflict literals : 87361012 (42.04 % deleted)
877.96/878.30 c Memory used : 25.15 MB
877.96/878.30 c CPU time : 877.737 s
877.96/878.30 c
877.96/878.30 s SATISFIABLE
877.96/878.30 s SATISFIABLE
877.96/878.30 v -1 -2 -3 -4 -5 -6 -7 -8 -9 10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 105 -106 -107 -108 -109 -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 240 -241 -242 -243 -244 -245 -246 -247 -248 249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 360 -361 -362 -363 -364 -365 -366 -367 368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 474 -475 -476 -477 -478 -479 -480 -481 -482 483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 644 -645 -646 -647 -648 -649 650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 701 -702 -703 -704 -705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 752 -753 -754 -755 -756 -757 -758 -759 -760 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834099-1242827877/watcher-1834099-1242827877 -o /tmp/evaluation-result-1834099-1242827877/solver-1834099-1242827877 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834099-1242827877.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.91 0.98 0.99 3/65 8261
/proc/meminfo: memFree=1960200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310821449 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228706713682 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8261/statm: 1339 235 195 169 0 50 0
[pid=8262] ppid=8261 vsize=5356 CPUtime=0
/proc/8262/stat : 8262 (SatELiteGTI) S 8261 8261 8047 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310821449 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/8262/statm: 1339 238 198 169 0 50 0
[pid=8264] ppid=8262 vsize=0 CPUtime=0
/proc/8264/stat : 8264 (sed) R 8262 8261 8047 0 -1 4194308 163 0 0 0 0 0 0 0 21 0 1 0 310821449 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/8264/statm: 0 0 0 0 0 0 0
[startup+0.026002 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 8261
/proc/meminfo: memFree=1960200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310821449 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8261/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102006 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 8261
/proc/meminfo: memFree=1960200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310821449 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8261/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301028 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 8261
/proc/meminfo: memFree=1960200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701065 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 8261
/proc/meminfo: memFree=1960200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50114 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 8267
/proc/meminfo: memFree=1954232/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=6812 CPUtime=1.3
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 1515 0 0 0 130 0 0 0 25 0 1 0 310821467 6975488 1501 1992294400 134512640 135215339 4294956256 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 1703 1501 77 171 0 1530 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12168
[startup+3.10229 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 8267
/proc/meminfo: memFree=1952376/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=9248 CPUtime=2.91
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 2096 0 0 0 290 1 0 0 25 0 1 0 310821467 9469952 2082 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 2312 2082 77 171 0 2139 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14604
[startup+6.30159 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8267
/proc/meminfo: memFree=1948536/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=12188 CPUtime=6.1
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 2831 0 0 0 609 1 0 0 25 0 1 0 310821467 12480512 2817 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 3047 2817 77 171 0 2874 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17544
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8267
/proc/meminfo: memFree=1944120/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=16252 CPUtime=12.5
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 3838 0 0 0 1248 2 0 0 25 0 1 0 310821467 16642048 3824 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 4063 3824 77 171 0 3890 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21608
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8267
/proc/meminfo: memFree=1940024/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=19828 CPUtime=25.3
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 4762 0 0 0 2526 4 0 0 25 0 1 0 310821467 20303872 4748 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 4957 4748 77 171 0 4784 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25184
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8267
/proc/meminfo: memFree=1939832/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=20092 CPUtime=50.89
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 4807 0 0 0 5085 4 0 0 25 0 1 0 310821467 20574208 4793 1992294400 134512640 135215339 4294956256 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5023 4793 77 171 0 4850 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 25448
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8267
/proc/meminfo: memFree=1939512/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=20376 CPUtime=102.08
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 4879 0 0 0 10204 4 0 0 25 0 1 0 310821467 20865024 4865 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5094 4865 77 171 0 4921 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 25732
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8267
/proc/meminfo: memFree=1939384/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=20376 CPUtime=162.06
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 4887 0 0 0 16201 5 0 0 25 0 1 0 310821467 20865024 4873 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5094 4873 77 171 0 4921 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25732
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1937912/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=21592 CPUtime=222.04
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 5192 0 0 0 22199 5 0 0 25 0 1 0 310821467 22110208 5178 1992294400 134512640 135215339 4294956256 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5398 5178 77 171 0 5225 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 26948
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1937848/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=21592 CPUtime=282.02
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 5194 0 0 0 28197 5 0 0 25 0 1 0 310821467 22110208 5180 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5398 5180 77 171 0 5225 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26948
[startup+342.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/67 8273
/proc/meminfo: memFree=1937784/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=21592 CPUtime=341.99
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 5195 0 0 0 34194 5 0 0 25 0 1 0 310821467 22110208 5181 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5398 5181 77 171 0 5225 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 26948
[startup+402.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1937784/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=21592 CPUtime=401.97
################
# More data... #
################
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1936824/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=22284 CPUtime=521.93
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 5363 0 0 0 52187 6 0 0 25 0 1 0 310821467 22818816 5349 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 5571 5349 77 171 0 5398 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 27640
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1934200/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=24956 CPUtime=581.9
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 5997 0 0 0 58184 6 0 0 25 0 1 0 310821467 25554944 5983 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6239 5983 77 171 0 6066 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 30312
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1933240/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=641.89
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6198 0 0 0 64182 7 0 0 25 0 1 0 310821467 26365952 6184 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6184 77 171 0 6264 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 31104
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1933176/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=701.86
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6199 0 0 0 70179 7 0 0 25 0 1 0 310821467 26365952 6185 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6185 77 171 0 6264 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 31104
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1933048/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=761.85
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 76178 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 31104
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1933048/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=821.82
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 82175 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 31104
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=844.21
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 84414 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 844.37
Current children cumulated vsize (KiB) 31104
[startup+857.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=857.01
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 85694 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 857.17
Current children cumulated vsize (KiB) 31104
[startup+870.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=869.8
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 86973 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 869.96
Current children cumulated vsize (KiB) 31104
[startup+873.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=873
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 87293 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 873.16
Current children cumulated vsize (KiB) 31104
[startup+876.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=876.21
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 87614 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 876.37
Current children cumulated vsize (KiB) 31104
[startup+877.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=877
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 87693 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 877.16
Current children cumulated vsize (KiB) 31104
[startup+877.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25748 CPUtime=877.4
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6200 0 0 0 87733 7 0 0 25 0 1 0 310821467 26365952 6186 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6186 77 171 0 6264 0
Current children cumulated CPU time (s) 877.56
Current children cumulated vsize (KiB) 31104
[startup+878.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 8273
/proc/meminfo: memFree=1932984/2055920 swapFree=4178772/4192956
[pid=8261] ppid=8259 vsize=5356 CPUtime=0.16
/proc/8261/stat : 8261 (SatELiteGTI) S 8259 8261 8047 0 -1 4194304 336 1257 0 0 0 0 16 0 15 0 1 0 310821449 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8261/statm: 1339 239 197 169 0 50 0
[pid=8267] ppid=8261 vsize=25752 CPUtime=877.8
/proc/8267/stat : 8267 (minisat_static) R 8261 8261 8047 0 -1 4194304 6204 0 0 0 87773 7 0 0 25 0 1 0 310821467 26370048 6190 1992294400 134512640 135215339 4294956256 18446744073709551615 134743223 0 0 4096 3 0 0 0 17 1 0 0
/proc/8267/statm: 6437 6189 80 171 0 6264 0
Current children cumulated CPU time (s) 877.96
Current children cumulated vsize (KiB) 31108
Child status: 10
Real time (s): 878.316
CPU time (s): 878
CPU user time (s): 877.906
CPU system time (s): 0.094985
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 31108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 877.906
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8104
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= 51
involuntary context switches= 3474
runsolver used 0.835872 second user time and 2.47762 second system time
The end
Begin job on node8 at 2009-05-20 15:57:57
IDJOB=1834099
IDBENCH=71341
IDSOLVER=671
FILE ID=node8/1834099-1242827877
PBS_JOBID= 9322554
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834099-1242827877/watcher-1834099-1242827877 -o /tmp/evaluation-result-1834099-1242827877/solver-1834099-1242827877 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834099-1242827877.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 09e521ede3d398d4595568c082f00e6d
RANDOM SEED=36838830
node8.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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1960744 kB
Buffers: 16964 kB
Cached: 39992 kB
SwapCached: 7644 kB
Active: 33540 kB
Inactive: 32400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1960744 kB
SwapTotal: 4192956 kB
SwapFree: 4178772 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 14156 kB
Slab: 15104 kB
Committed_AS: 1117632 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66232 MiB
End job on node8 at 2009-05-20 16:12:36