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 | 42653 136218 | -- 0 -- -- | -- | -996/48240
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 720 #clauses: 42653 #literals: 136218
0.00/0.14 c CPU time: 0.135979 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 720 |
0.00/0.18 c | Number of clauses: 42653 |
0.17/0.20 c | Parsing time: 0.02 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 720 42653 136218 | 14217 0 nan | 0.000 % |
0.17/0.21 c | 103 | 720 42653 136218 | 14217 103 72 | 0.000 % |
0.17/0.22 c | 203 | 720 42653 136218 | 14217 203 66 | 0.000 % |
0.17/0.23 c | 303 | 720 42653 136218 | 14217 303 59 | 0.026 % |
0.17/0.24 c | 414 | 720 42653 136218 | 14217 414 55 | 0.018 % |
0.17/0.25 c | 515 | 720 42653 136218 | 14217 515 54 | 0.018 % |
0.17/0.26 c | 626 | 720 42653 136218 | 14217 626 60 | 0.000 % |
0.17/0.27 c | 747 | 720 42653 136218 | 14217 747 60 | 0.000 % |
0.17/0.27 c | 848 | 720 42653 136218 | 14217 848 60 | 0.000 % |
0.17/0.28 c | 958 | 720 42653 136218 | 14217 958 59 | 0.000 % |
0.17/0.29 c | 1080 | 720 42653 136218 | 14217 1080 59 | 0.000 % |
0.17/0.30 c | 1213 | 720 42653 136218 | 14217 1213 60 | 0.000 % |
0.17/0.31 c | 1313 | 720 42653 136218 | 14217 1313 59 | 0.021 % |
0.17/0.32 c | 1423 | 720 42653 136218 | 14217 1423 57 | 0.023 % |
0.17/0.33 c | 1547 | 720 42653 136218 | 14217 1547 55 | 0.000 % |
0.17/0.34 c | 1681 | 720 42653 136218 | 14217 1681 57 | 0.000 % |
0.17/0.35 c | 1827 | 720 42653 136218 | 14217 1827 59 | 0.000 % |
0.17/0.36 c | 1927 | 720 42653 136218 | 14217 1927 58 | 0.024 % |
0.17/0.37 c | 2037 | 720 42653 136218 | 14217 2037 57 | 0.000 % |
0.17/0.38 c | 2160 | 720 42653 136218 | 14217 2160 59 | 0.000 % |
0.17/0.39 c | 2293 | 720 42653 136218 | 14217 2293 59 | 0.000 % |
0.17/0.40 c | 2441 | 720 42653 136218 | 14217 2441 58 | 0.000 % |
0.17/0.42 c | 2601 | 720 42653 136218 | 14217 2601 58 | 0.000 % |
0.17/0.43 c | 2702 | 720 42653 136218 | 14217 2702 57 | 0.000 % |
0.17/0.43 c | 2812 | 720 42653 136218 | 14217 2812 57 | 0.000 % |
0.17/0.44 c | 2933 | 720 42653 136218 | 14217 2933 57 | 0.000 % |
0.17/0.46 c | 3066 | 720 42653 136218 | 14217 3066 56 | 0.000 % |
0.17/0.47 c | 3216 | 720 42653 136218 | 14217 3216 56 | 0.000 % |
0.17/0.48 c | 3376 | 720 42653 136218 | 14217 3376 55 | 0.022 % |
0.17/0.50 c | 3556 | 720 42653 136218 | 14217 3556 55 | 0.022 % |
0.17/0.51 c | 3656 | 720 42653 136218 | 14217 3656 56 | 0.000 % |
0.17/0.52 c | 3767 | 720 42653 136218 | 14217 3767 56 | 0.000 % |
0.17/0.53 c | 3890 | 720 42653 136218 | 14217 3890 55 | 0.018 % |
0.17/0.54 c | 4024 | 720 42653 136218 | 14217 4024 55 | 0.018 % |
0.17/0.56 c | 4170 | 720 42653 136218 | 14217 4170 56 | 0.000 % |
0.17/0.57 c | 4331 | 720 42653 136218 | 14217 4331 56 | 0.000 % |
0.17/0.59 c | 4509 | 720 42653 136218 | 14217 4509 55 | 0.027 % |
0.17/0.61 c | 4702 | 720 42653 136218 | 14217 4702 56 | 0.000 % |
0.17/0.62 c | 4802 | 720 42653 136218 | 14217 4802 56 | 0.020 % |
0.17/0.63 c | 4912 | 720 42653 136218 | 14217 4912 55 | 0.019 % |
0.17/0.64 c | 5034 | 720 42653 136218 | 14217 5034 55 | 0.021 % |
0.17/0.66 c | 5167 | 720 42653 136218 | 14217 5167 55 | 0.000 % |
0.17/0.67 c | 5313 | 720 42653 136218 | 14217 5313 56 | 0.000 % |
0.17/0.69 c | 5473 | 720 42653 136218 | 14217 5473 56 | 0.000 % |
0.17/0.71 c | 5649 | 720 42653 136218 | 14217 5649 57 | 0.000 % |
0.17/0.73 c | 5842 | 720 42653 136218 | 14217 5842 56 | 0.000 % |
0.17/0.75 c | 6059 | 720 42653 136218 | 14217 6059 56 | 0.021 % |
0.17/0.76 c | 6163 | 720 42653 136218 | 14217 6163 56 | 0.000 % |
0.17/0.77 c | 6273 | 720 42653 136218 | 14217 6273 56 | 0.000 % |
0.17/0.79 c | 6395 | 720 42653 136218 | 14217 6395 56 | 0.000 % |
0.17/0.80 c | 6532 | 720 42653 136218 | 14217 6532 56 | 0.020 % |
0.17/0.82 c | 6678 | 720 42653 136218 | 14217 6678 56 | 0.000 % |
0.17/0.84 c | 6842 | 720 42653 136218 | 14217 6842 57 | 0.000 % |
0.17/0.86 c | 7018 | 720 42653 136218 | 14217 7018 57 | 0.000 % |
0.17/0.88 c | 7212 | 720 42653 136218 | 14217 7212 57 | 0.000 % |
0.17/0.91 c | 7428 | 720 42653 136218 | 14217 7428 58 | 0.000 % |
0.17/0.94 c | 7662 | 720 42653 136218 | 14217 7662 58 | 0.000 % |
0.17/0.96 c | 7762 | 720 42653 136218 | 14217 7762 58 | 0.000 % |
0.17/0.97 c | 7875 | 720 42653 136218 | 14217 7875 58 | 0.000 % |
0.17/0.99 c | 7996 | 720 42653 136218 | 14217 7996 58 | 0.000 % |
0.97/1.01 c | 8129 | 720 42653 136218 | 14217 8129 58 | 0.022 % |
0.97/1.03 c | 8275 | 720 42653 136218 | 14217 8275 58 | 0.000 % |
0.97/1.04 c | 8435 | 720 42653 136218 | 14217 8435 57 | 0.000 % |
0.97/1.06 c | 8615 | 720 42653 136218 | 14217 8615 57 | 0.025 % |
0.97/1.09 c | 8808 | 720 42653 136218 | 14217 8808 57 | 0.032 % |
1.07/1.12 c | 9021 | 720 42653 136218 | 14217 9021 56 | 0.022 % |
1.07/1.15 c | 9254 | 720 42653 136218 | 14217 9254 57 | 0.000 % |
1.07/1.19 c | 9511 | 720 42653 136218 | 14217 9511 58 | 0.000 % |
1.17/1.21 c | 9612 | 720 42653 136218 | 14217 9612 58 | 0.000 % |
1.17/1.23 c | 9722 | 720 42653 136218 | 14217 9722 58 | 0.000 % |
1.17/1.24 c | 9845 | 720 42653 136218 | 14217 9845 58 | 0.000 % |
1.17/1.27 c | 9978 | 720 42653 136218 | 14217 9978 58 | 0.000 % |
1.17/1.29 c | 10126 | 720 42653 136218 | 2147483647 10126 58 | 0.000 % |
1.27/1.31 c | 10286 | 720 42653 136218 | 2147483647 10286 57 | 0.000 % |
1.27/1.34 c | 10464 | 720 42653 136218 | 2147483647 10464 57 | 0.000 % |
1.27/1.37 c | 10660 | 720 42653 136218 | 2147483647 10660 57 | 0.000 % |
1.37/1.40 c | 10873 | 720 42653 136218 | 2147483647 10873 57 | 0.000 % |
1.37/1.44 c | 11107 | 720 42653 136218 | 2147483647 11107 56 | 0.026 % |
1.37/1.48 c | 11364 | 720 42653 136218 | 2147483647 11364 56 | 0.000 % |
1.47/1.54 c | 11645 | 720 42653 136218 | 2147483647 11645 56 | 0.023 % |
1.47/1.56 c | 11749 | 720 42653 136218 | 2147483647 11749 56 | 0.023 % |
1.47/1.58 c | 11862 | 720 42653 136218 | 2147483647 11862 55 | 0.026 % |
1.57/1.61 c | 11986 | 720 42653 136218 | 2147483647 11986 55 | 0.026 % |
1.57/1.63 c | 12121 | 720 42653 136218 | 2147483647 12121 55 | 0.000 % |
1.57/1.66 c | 12269 | 720 42653 136218 | 2147483647 12269 55 | 0.023 % |
1.57/1.69 c | 12429 | 720 42653 136218 | 2147483647 12429 54 | 0.023 % |
1.67/1.72 c | 12606 | 720 42653 136218 | 2147483647 12606 54 | 0.023 % |
1.67/1.75 c | 12799 | 720 42653 136218 | 2147483647 12799 54 | 0.023 % |
1.67/1.79 c | 13012 | 720 42653 136218 | 2147483647 13012 53 | 0.022 % |
1.77/1.83 c | 13247 | 720 42653 136218 | 2147483647 13247 54 | 0.000 % |
1.77/1.87 c | 13503 | 720 42653 136218 | 2147483647 13503 54 | 0.032 % |
1.87/1.93 c | 13787 | 720 42653 136218 | 2147483647 13787 55 | 0.000 % |
1.87/1.98 c | 14097 | 720 42653 136218 | 2147483647 14097 55 | 0.000 % |
1.97/2.01 c | 14197 | 720 42653 136218 | 2147483647 14197 55 | 0.000 % |
1.97/2.03 c | 14307 | 720 42653 136218 | 2147483647 14307 55 | 0.000 % |
1.97/2.05 c | 14430 | 720 42653 136218 | 2147483647 14430 55 | 0.000 % |
1.97/2.07 c | 14564 | 720 42653 136218 | 2147483647 14564 55 | 0.032 % |
1.97/2.10 c | 14711 | 720 42653 136218 | 2147483647 14711 55 | 0.000 % |
2.08/2.12 c | 14875 | 720 42653 136218 | 2147483647 14875 55 | 0.021 % |
2.08/2.16 c | 15053 | 720 42653 136218 | 2147483647 15053 55 | 0.021 % |
2.08/2.20 c | 15247 | 720 42653 136218 | 2147483647 15247 55 | 0.000 % |
2.17/2.23 c | 15459 | 720 42653 136218 | 2147483647 15459 55 | 0.000 % |
2.17/2.27 c | 15692 | 720 42653 136218 | 2147483647 15692 55 | 0.000 % |
2.27/2.32 c | 15948 | 720 42653 136218 | 2147483647 15948 55 | 0.024 % |
2.27/2.38 c | 16232 | 720 42653 136218 | 2147483647 16232 55 | 0.016 % |
2.37/2.45 c | 16545 | 720 42653 136218 | 2147483647 16545 55 | 0.000 % |
2.47/2.52 c | 16884 | 720 42653 136218 | 2147483647 16884 55 | 0.000 % |
2.47/2.54 c | 16984 | 720 42653 136218 | 2147483647 16984 55 | 0.021 % |
2.47/2.57 c | 17096 | 720 42653 136218 | 2147483647 17096 55 | 0.000 % |
2.47/2.59 c | 17217 | 720 42653 136218 | 2147483647 17217 55 | 0.000 % |
2.57/2.62 c | 17350 | 720 42653 136218 | 2147483647 17350 55 | 0.032 % |
2.57/2.65 c | 17496 | 720 42653 136218 | 2147483647 17496 55 | 0.025 % |
2.57/2.68 c | 17656 | 720 42653 136218 | 2147483647 17656 55 | 0.000 % |
2.67/2.71 c | 17833 | 720 42653 136218 | 2147483647 17833 55 | 0.027 % |
2.67/2.75 c | 18026 | 720 42653 136218 | 2147483647 18026 55 | 0.000 % |
2.77/2.81 c | 18239 | 720 42653 136218 | 2147483647 18239 55 | 0.000 % |
2.77/2.88 c | 18473 | 720 42653 136218 | 2147483647 18473 56 | 0.000 % |
2.86/2.94 c | 18729 | 720 42653 136218 | 2147483647 18729 56 | 0.000 % |
2.96/3.00 c | 19013 | 720 42653 136218 | 2147483647 19013 56 | 0.023 % |
2.96/3.09 c | 19322 | 720 42653 136218 | 2147483647 19322 56 | 0.000 % |
3.06/3.15 c | 19661 | 720 42653 136218 | 2147483647 19661 56 | 0.031 % |
3.17/3.24 c | 20034 | 720 42653 136218 | 2147483647 20034 56 | 0.032 % |
3.17/3.27 c | 20135 | 720 42653 136218 | 2147483647 20135 56 | 0.000 % |
3.17/3.29 c | 20245 | 720 42653 136218 | 2147483647 20245 56 | 0.000 % |
3.27/3.32 c | 20366 | 720 42653 136218 | 2147483647 20366 56 | 0.020 % |
3.27/3.35 c | 20500 | 720 42653 136218 | 2147483647 20500 56 | 0.000 % |
3.27/3.39 c | 20646 | 720 42653 136218 | 2147483647 20646 56 | 0.000 % |
3.36/3.42 c | 20806 | 720 42653 136218 | 2147483647 20806 56 | 0.000 % |
3.36/3.47 c | 20983 | 720 42653 136218 | 2147483647 20983 56 | 0.000 % |
3.46/3.52 c | 21176 | 720 42653 136218 | 2147483647 21176 56 | 0.000 % |
3.46/3.57 c | 21389 | 720 42653 136218 | 2147483647 21389 56 | 0.023 % |
3.56/3.61 c | 21622 | 720 42653 136218 | 2147483647 21622 56 | 0.026 % |
3.56/3.66 c | 21879 | 720 42653 136218 | 2147483647 21879 55 | 0.026 % |
3.66/3.72 c | 22160 | 720 42653 136218 | 2147483647 22160 55 | 0.023 % |
3.76/3.80 c | 22469 | 720 42653 136218 | 2147483647 22469 55 | 0.000 % |
3.76/3.89 c | 22811 | 720 42653 136218 | 2147483647 22811 54 | 0.032 % |
3.86/3.98 c | 23185 | 720 42653 136218 | 2147483647 23185 54 | 0.000 % |
4.06/4.10 c | 23595 | 720 42653 136218 | 2147483647 23595 54 | 0.032 % |
4.06/4.13 c | 23695 | 720 42653 136218 | 2147483647 23695 54 | 0.000 % |
4.06/4.15 c | 23806 | 720 42653 136218 | 2147483647 23806 54 | 0.026 % |
4.06/4.18 c | 23927 | 720 42653 136218 | 2147483647 23927 54 | 0.000 % |
4.16/4.22 c | 24060 | 720 42653 136218 | 2147483647 24060 54 | 0.026 % |
4.16/4.28 c | 24206 | 720 42653 136218 | 2147483647 24206 55 | 0.000 % |
4.27/4.33 c | 24366 | 720 42653 136218 | 2147483647 24366 55 | 0.000 % |
4.27/4.37 c | 24542 | 720 42653 136218 | 2147483647 24542 55 | 0.000 % |
4.37/4.44 c | 24735 | 720 42653 136218 | 2147483647 24735 55 | 0.000 % |
4.37/4.49 c | 24947 | 720 42653 136218 | 2147483647 24947 55 | 0.000 % |
4.46/4.57 c | 25181 | 720 42653 136218 | 2147483647 25181 55 | 0.021 % |
4.56/4.64 c | 25438 | 720 42653 136218 | 2147483647 25438 55 | 0.023 % |
4.66/4.72 c | 25721 | 720 42653 136218 | 2147483647 25721 54 | 0.023 % |
4.76/4.82 c | 26030 | 720 42653 136218 | 2147483647 26030 54 | 0.023 % |
4.86/4.90 c | 26370 | 720 42653 136218 | 2147483647 26370 54 | 0.000 % |
4.96/5.03 c | 26742 | 720 42653 136218 | 2147483647 26742 54 | 0.000 % |
5.06/5.14 c | 27153 | 720 42653 136218 | 2147483647 27153 54 | 0.025 % |
5.16/5.26 c | 27605 | 720 42653 136218 | 2147483647 27605 54 | 0.000 % |
5.16/5.29 c | 27706 | 720 42653 136218 | 2147483647 27706 54 | 0.000 % |
5.26/5.32 c | 27816 | 720 42653 136218 | 2147483647 27816 54 | 0.000 % |
5.26/5.35 c | 27938 | 720 42653 136218 | 2147483647 27938 54 | 0.000 % |
5.26/5.40 c | 28073 | 720 42653 136218 | 2147483647 28073 54 | 0.000 % |
5.36/5.45 c | 28219 | 720 42653 136218 | 2147483647 28219 54 | 0.000 % |
5.36/5.49 c | 28379 | 720 42653 136218 | 2147483647 28379 55 | 0.000 % |
5.46/5.54 c | 28556 | 720 42653 136218 | 2147483647 28556 55 | 0.000 % |
5.56/5.62 c | 28749 | 720 42653 136218 | 2147483647 28749 55 | 0.000 % |
5.56/5.70 c | 28961 | 720 42653 136218 | 2147483647 28961 55 | 0.000 % |
5.66/5.80 c | 29195 | 720 42653 136218 | 2147483647 29195 55 | 0.000 % |
5.76/5.88 c | 29451 | 720 42653 136218 | 2147483647 29451 55 | 0.000 % |
5.86/5.97 c | 29732 | 720 42653 136218 | 2147483647 29732 55 | 0.000 % |
5.96/6.06 c | 30041 | 720 42653 136218 | 2147483647 30041 55 | 0.000 % |
6.06/6.16 c | 30381 | 720 42653 136218 | 2147483647 30381 55 | 0.000 % |
6.16/6.26 c | 30755 | 720 42653 136218 | 2147483647 30755 55 | 0.000 % |
6.26/6.39 c | 31165 | 720 42653 136218 | 2147483647 31165 55 | 0.022 % |
6.46/6.53 c | 31615 | 720 42653 136218 | 2147483647 31615 55 | 0.000 % |
6.56/6.70 c | 32108 | 720 42653 136218 | 2147483647 32108 54 | 0.000 % |
6.65/6.73 c | 32208 | 720 42653 136218 | 2147483647 32208 54 | 0.000 % |
6.65/6.77 c | 32318 | 720 42653 136218 | 2147483647 32318 54 | 0.022 % |
6.75/6.82 c | 32443 | 720 42653 136218 | 2147483647 32443 54 | 0.032 % |
6.75/6.87 c | 32577 | 720 42653 136218 | 2147483647 32577 54 | 0.032 % |
6.85/6.93 c | 32723 | 720 42653 136218 | 2147483647 32723 54 | 0.000 % |
6.85/6.99 c | 32883 | 720 42653 136218 | 2147483647 32883 54 | 0.000 % |
6.95/7.06 c | 33061 | 720 42653 136218 | 2147483647 33061 54 | 0.000 % |
7.05/7.13 c | 33254 | 720 42653 136218 | 2147483647 33254 54 | 0.000 % |
7.16/7.20 c | 33466 | 720 42653 136218 | 2147483647 33466 54 | 0.000 % |
7.16/7.28 c | 33699 | 720 42653 136218 | 2147483647 33699 54 | 0.000 % |
7.26/7.37 c | 33955 | 720 42653 136218 | 2147483647 33955 54 | 0.023 % |
7.36/7.45 c | 34236 | 720 42653 136218 | 2147483647 34236 54 | 0.000 % |
7.46/7.54 c | 34545 | 720 42653 136218 | 2147483647 34545 54 | 0.030 % |
7.67/7.75 c | 34884 | 720 42653 136218 | 2147483647 34884 54 | 0.000 % |
7.86/7.96 c | 35256 | 720 42653 136218 | 2147483647 35256 55 | 0.000 % |
8.06/8.15 c | 35667 | 720 42653 136218 | 2147483647 35667 55 | 0.000 % |
8.26/8.36 c | 36116 | 720 42653 136218 | 2147483647 36116 55 | 0.000 % |
8.46/8.53 c | 36612 | 720 42653 136218 | 2147483647 36612 55 | 0.000 % |
8.67/8.74 c | 37157 | 720 42653 136218 | 2147483647 37157 55 | 0.000 % |
8.67/8.78 c | 37259 | 720 42653 136218 | 2147483647 37259 55 | 0.018 % |
8.76/8.82 c | 37369 | 720 42653 136218 | 2147483647 37369 55 | 0.022 % |
8.76/8.87 c | 37490 | 720 42653 136218 | 2147483647 37490 55 | 0.000 % |
8.86/8.91 c | 37624 | 720 42653 136218 | 2147483647 37624 55 | 0.000 % |
8.86/8.97 c | 37771 | 720 42653 136218 | 2147483647 37771 55 | 0.024 % |
8.96/9.02 c | 37931 | 720 42653 136218 | 2147483647 37931 55 | 0.000 % |
8.96/9.09 c | 38107 | 720 42653 136218 | 2147483647 38107 55 | 0.024 % |
9.06/9.16 c | 38300 | 720 42653 136218 | 2147483647 38300 55 | 0.000 % |
9.16/9.24 c | 38512 | 720 42653 136218 | 2147483647 38512 55 | 0.022 % |
9.26/9.34 c | 38746 | 720 42653 136218 | 2147483647 38746 55 | 0.000 % |
9.36/9.47 c | 39003 | 720 42653 136218 | 2147483647 39003 55 | 0.000 % |
9.56/9.60 c | 39284 | 720 42653 136218 | 2147483647 39284 55 | 0.000 % |
9.66/9.74 c | 39594 | 720 42653 136218 | 2147483647 39594 55 | 0.027 % |
9.86/9.91 c | 39933 | 720 42653 136218 | 2147483647 39933 55 | 0.000 % |
10.06/10.11 c | 40306 | 720 42653 136218 | 2147483647 40306 55 | 0.000 % |
10.16/10.26 c | 40716 | 720 42653 136218 | 2147483647 40716 55 | 0.000 % |
10.36/10.40 c | 41166 | 720 42653 136218 | 2147483647 41166 55 | 0.000 % |
10.46/10.56 c | 41659 | 720 42653 136218 | 2147483647 41659 55 | 0.000 % |
10.66/10.78 c | 42202 | 720 42653 136218 | 2147483647 42202 55 | 0.000 % |
10.96/11.04 c | 42800 | 720 42653 136218 | 2147483647 42800 55 | 0.022 % |
10.96/11.08 c | 42903 | 720 42653 136218 | 2147483647 42903 55 | 0.000 % |
11.06/11.14 c | 43015 | 720 42653 136218 | 2147483647 43015 55 | 0.000 % |
11.15/11.23 c | 43136 | 720 42653 136218 | 2147483647 43136 55 | 0.000 % |
11.25/11.32 c | 43269 | 720 42653 136218 | 2147483647 43269 55 | 0.000 % |
11.35/11.43 c | 43418 | 720 42653 136218 | 2147483647 43418 55 | 0.000 % |
11.45/11.51 c | 43581 | 720 42653 136218 | 2147483647 43581 55 | 0.000 % |
11.55/11.63 c | 43757 | 720 42653 136218 | 2147483647 43757 55 | 0.000 % |
11.65/11.72 c | 43950 | 720 42653 136218 | 2147483647 43950 55 | 0.000 % |
11.75/11.83 c | 44162 | 720 42653 136218 | 2147483647 44162 55 | 0.000 % |
11.85/11.96 c | 44396 | 720 42653 136218 | 2147483647 44396 55 | 0.000 % |
11.97/12.10 c | 44653 | 720 42653 136218 | 2147483647 44653 55 | 0.000 % |
12.16/12.25 c | 44936 | 720 42653 136218 | 2147483647 44936 55 | 0.000 % |
12.36/12.42 c | 45247 | 720 42653 136218 | 2147483647 45247 55 | 0.000 % |
12.46/12.59 c | 45586 | 720 42653 136218 | 2147483647 45586 55 | 0.026 % |
12.66/12.79 c | 45958 | 720 42653 136218 | 2147483647 45958 55 | 0.000 % |
12.96/13.05 c | 46368 | 720 42653 136218 | 2147483647 46368 55 | 0.000 % |
13.16/13.23 c | 46818 | 720 42653 136218 | 2147483647 46818 55 | 0.000 % |
13.36/13.46 c | 47312 | 720 42653 136218 | 2147483647 47312 55 | 0.025 % |
13.56/13.69 c | 47856 | 720 42653 136218 | 2147483647 47856 55 | 0.025 % |
13.86/13.96 c | 48455 | 720 42653 136218 | 2147483647 48455 55 | 0.000 % |
14.26/14.32 c | 49110 | 720 42653 136218 | 2147483647 49110 55 | 0.000 % |
14.26/14.36 c | 49210 | 720 42653 136218 | 2147483647 49210 55 | 0.000 % |
14.36/14.42 c | 49323 | 720 42653 136218 | 2147483647 49323 55 | 0.000 % |
14.36/14.47 c | 49446 | 720 42653 136218 | 2147483647 49446 55 | 0.000 % |
14.46/14.54 c | 49579 | 720 42653 136218 | 2147483647 49579 55 | 0.000 % |
14.56/14.64 c | 49725 | 720 42653 136218 | 2147483647 49725 55 | 0.000 % |
14.66/14.74 c | 49885 | 720 42653 136218 | 2147483647 49885 55 | 0.000 % |
14.76/14.86 c | 50062 | 720 42653 136218 | 2147483647 50062 55 | 0.000 % |
14.96/15.00 c | 50256 | 720 42653 136218 | 2147483647 50256 55 | 0.000 % |
15.06/15.13 c | 50475 | 720 42653 136218 | 2147483647 50475 55 | 0.000 % |
15.16/15.26 c | 50708 | 720 42653 136218 | 2147483647 50708 55 | 0.000 % |
15.36/15.43 c | 50964 | 720 42653 136218 | 2147483647 50964 55 | 0.000 % |
15.56/15.61 c | 51245 | 720 42653 136218 | 2147483647 51245 55 | 0.000 % |
15.76/15.80 c | 51555 | 720 42653 136218 | 2147483647 51555 55 | 0.000 % |
15.96/16.06 c | 51895 | 720 42653 136218 | 2147483647 51895 55 | 0.000 % |
16.16/16.29 c | 52267 | 720 42653 136218 | 2147483647 52267 56 | 0.000 % |
16.46/16.57 c | 52676 | 720 42653 136218 | 2147483647 52676 56 | 0.000 % |
16.76/16.87 c | 53129 | 720 42653 136218 | 2147483647 53129 56 | 0.000 % |
17.06/17.12 c | 53623 | 720 42653 136218 | 2147483647 53623 56 | 0.000 % |
17.35/17.48 c | 54165 | 720 42653 136218 | 2147483647 54165 56 | 0.000 % |
17.75/17.81 c | 54763 | 720 42653 136218 | 2147483647 54763 56 | 0.000 % |
18.15/18.22 c | 55419 | 720 42653 136218 | 2147483647 55419 56 | 0.000 % |
18.45/18.54 c | 56140 | 720 42653 136218 | 2147483647 56140 55 | 0.000 % |
18.45/18.60 c | 56240 | 720 42653 136218 | 2147483647 56240 55 | 0.031 % |
18.56/18.66 c | 56350 | 720 42653 136218 | 2147483647 56350 55 | 0.031 % |
18.66/18.74 c | 56471 | 720 42653 136218 | 2147483647 56471 55 | 0.024 % |
18.75/18.83 c | 56605 | 720 42653 136218 | 2147483647 56605 55 | 0.020 % |
18.85/18.91 c | 56752 | 720 42653 136218 | 2147483647 56752 55 | 0.020 % |
18.95/19.02 c | 56912 | 720 42653 136218 | 2147483647 56912 55 | 0.022 % |
19.05/19.14 c | 57089 | 720 42653 136218 | 2147483647 57089 55 | 0.000 % |
19.15/19.30 c | 57285 | 720 42653 136218 | 2147483647 57285 55 | 0.000 % |
19.25/19.39 c | 57497 | 720 42653 136218 | 2147483647 57497 55 | 0.026 % |
19.45/19.57 c | 57730 | 720 42653 136218 | 2147483647 57730 55 | 0.026 % |
19.66/19.71 c | 57987 | 720 42653 136218 | 2147483647 57987 55 | 0.026 % |
19.85/19.92 c | 58270 | 720 42653 136218 | 2147483647 58270 55 | 0.026 % |
20.05/20.10 c | 58579 | 720 42653 136218 | 2147483647 58579 55 | 0.026 % |
20.25/20.37 c | 58918 | 720 42653 136218 | 2147483647 58918 55 | 0.000 % |
20.55/20.70 c | 59291 | 720 42653 136218 | 2147483647 59291 56 | 0.000 % |
20.85/20.94 c | 59701 | 720 42653 136218 | 2147483647 59701 56 | 0.000 % |
21.15/21.24 c | 60150 | 720 42653 136218 | 60001 60150 56 | 0.000 % |
21.55/21.60 c | 60643 | 720 42653 136218 | 60001 53632 54 | 0.000 % |
21.85/21.94 c | 61185 | 720 42653 136218 | 60001 54174 53 | 0.000 % |
22.15/22.20 c | 61783 | 720 42653 136218 | 60001 54772 53 | 0.032 % |
22.45/22.55 c | 62438 | 720 42653 136218 | 60001 55427 53 | 0.028 % |
22.75/22.87 c | 63160 | 720 42653 136218 | 60001 56149 53 | 0.028 % |
23.15/23.22 c | 63954 | 720 42653 136218 | 60001 56943 53 | 0.028 % |
23.15/23.28 c | 64054 | 720 42653 136218 | 60001 57043 53 | 0.000 % |
23.25/23.38 c | 64168 | 720 42653 136218 | 60001 57157 53 | 0.000 % |
23.35/23.45 c | 64289 | 720 42653 136218 | 60001 57278 53 | 0.000 % |
23.45/23.54 c | 64422 | 720 42653 136218 | 60001 57411 53 | 0.000 % |
23.55/23.63 c | 64571 | 720 42653 136218 | 60001 57560 53 | 0.000 % |
23.65/23.76 c | 64731 | 720 42653 136218 | 60001 57720 53 | 0.000 % |
23.75/23.87 c | 64909 | 720 42653 136218 | 60001 57898 53 | 0.000 % |
23.85/23.97 c | 65104 | 720 42653 136218 | 60001 58093 53 | 0.000 % |
24.05/24.12 c | 65317 | 720 42653 136218 | 60001 58306 53 | 0.000 % |
24.15/24.27 c | 65553 | 720 42653 136218 | 60001 58542 53 | 0.000 % |
24.35/24.45 c | 65812 | 720 42653 136218 | 60001 58801 53 | 0.000 % |
24.55/24.65 c | 66093 | 720 42653 136218 | 60001 59082 54 | 0.000 % |
24.75/24.87 c | 66402 | 720 42653 136218 | 60001 59391 54 | 0.000 % |
24.95/25.09 c | 66742 | 720 42653 136218 | 60001 59731 54 | 0.000 % |
25.25/25.36 c | 67114 | 720 42653 136218 | 60001 60103 54 | 0.000 % |
25.55/25.66 c | 67525 | 720 42653 136218 | 60001 52043 52 | 0.000 % |
25.95/26.03 c | 67974 | 720 42653 136218 | 60001 52492 53 | 0.000 % |
26.25/26.30 c | 68467 | 720 42653 136218 | 60001 52985 53 | 0.000 % |
26.55/26.63 c | 69009 | 720 42653 136218 | 60001 53527 53 | 0.000 % |
27.05/27.14 c | 69605 | 720 42653 136218 | 60001 54123 53 | 0.000 % |
27.55/27.60 c | 70260 | 720 42653 136218 | 54519 54778 53 | 0.000 % |
28.05/28.10 c | 70980 | 720 42653 136218 | 54519 47285 52 | 0.000 % |
28.55/28.63 c | 71775 | 720 42653 136218 | 54519 48080 53 | 0.000 % |
29.05/29.13 c | 72646 | 720 42653 136218 | 54519 48951 53 | 0.000 % |
29.05/29.19 c | 72746 | 720 42653 136218 | 54519 49051 53 | 0.000 % |
29.15/29.26 c | 72856 | 720 42653 136218 | 54519 49161 53 | 0.000 % |
29.25/29.35 c | 72977 | 720 42653 136218 | 54519 49282 53 | 0.000 % |
29.35/29.42 c | 73111 | 720 42653 136218 | 54519 49416 53 | 0.000 % |
29.45/29.51 c | 73261 | 720 42653 136218 | 54519 49566 53 | 0.000 % |
29.55/29.61 c | 73421 | 720 42653 136218 | 54519 49726 53 | 0.000 % |
29.65/29.71 c | 73598 | 720 42653 136218 | 54519 49903 53 | 0.000 % |
29.74/29.83 c | 73792 | 720 42653 136218 | 54519 50097 53 | 0.000 % |
29.84/29.95 c | 74004 | 720 42653 136218 | 54519 50309 53 | 0.000 % |
30.04/30.18 c | 74237 | 720 42653 136218 | 54519 50542 53 | 0.000 % |
30.24/30.34 c | 74493 | 720 42653 136218 | 54519 50798 53 | 0.000 % |
30.44/30.50 c | 74775 | 720 42653 136218 | 54519 51080 53 | 0.027 % |
30.65/30.72 c | 75085 | 720 42653 136218 | 54519 51390 53 | 0.000 % |
30.95/31.02 c | 75424 | 720 42653 136218 | 54519 51729 53 | 0.000 % |
31.25/31.38 c | 75798 | 720 42653 136218 | 54519 52103 53 | 0.000 % |
31.55/31.69 c | 76207 | 720 42653 136218 | 54519 52512 53 | 0.000 % |
31.94/32.07 c | 76656 | 720 42653 136218 | 54519 52961 53 | 0.000 % |
32.44/32.52 c | 77149 | 720 42653 136218 | 54519 53454 53 | 0.000 % |
32.85/32.96 c | 77691 | 720 42653 136218 | 54519 53996 53 | 0.000 % |
33.34/33.48 c | 78287 | 720 42653 136218 | 54519 54592 53 | 0.022 % |
33.84/33.91 c | 78944 | 720 42653 136218 | 54519 46314 52 | 0.022 % |
34.34/34.47 c | 79664 | 720 42653 136218 | 54519 47034 52 | 0.000 % |
34.94/35.09 c | 80458 | 720 42653 136218 | 47370 39889 51 | 0.000 % |
35.64/35.73 c | 81329 | 720 42653 136218 | 47370 40760 51 | 0.000 % |
36.34/36.42 c | 82289 | 720 42653 136218 | 47370 41720 51 | 0.000 % |
36.34/36.49 c | 82389 | 720 42653 136218 | 47370 41820 51 | 0.000 % |
36.54/36.60 c | 82499 | 720 42653 136218 | 47370 41930 51 | 0.000 % |
36.54/36.68 c | 82624 | 720 42653 136218 | 47370 42055 51 | 0.000 % |
36.64/36.77 c | 82757 | 720 42653 136218 | 47370 42188 51 | 0.000 % |
36.74/36.87 c | 82903 | 720 42653 136218 | 47370 42334 51 | 0.000 % |
36.84/36.99 c | 83063 | 720 42653 136218 | 47370 42494 51 | 0.000 % |
37.04/37.10 c | 83242 | 720 42653 136218 | 47370 42673 51 | 0.000 % |
37.14/37.21 c | 83436 | 720 42653 136218 | 47370 42867 51 | 0.000 % |
37.24/37.36 c | 83649 | 720 42653 136218 | 47370 43080 51 | 0.000 % |
37.44/37.55 c | 83884 | 720 42653 136218 | 47370 43315 51 | 0.000 % |
37.64/37.73 c | 84143 | 720 42653 136218 | 47370 43574 51 | 0.000 % |
37.84/37.92 c | 84424 | 720 42653 136218 | 47370 43855 51 | 0.000 % |
38.04/38.12 c | 84733 | 720 42653 136218 | 47370 44164 51 | 0.000 % |
38.24/38.33 c | 85073 | 720 42653 136218 | 47370 44504 51 | 0.000 % |
38.44/38.55 c | 85446 | 720 42653 136218 | 47370 44877 52 | 0.000 % |
38.74/38.85 c | 85856 | 720 42653 136218 | 47370 45287 52 | 0.000 % |
38.94/39.10 c | 86305 | 720 42653 136218 | 47370 45736 52 | 0.000 % |
39.34/39.45 c | 86806 | 720 42653 136218 | 47370 46237 52 | 0.000 % |
39.74/39.80 c | 87348 | 720 42653 136218 | 47370 46779 51 | 0.023 % |
40.04/40.12 c | 87944 | 720 42653 136218 | 47370 47375 51 | 0.026 % |
40.44/40.50 c | 88599 | 720 42653 136218 | 47370 41030 50 | 0.000 % |
40.84/40.95 c | 89320 | 720 42653 136218 | 47370 41751 50 | 0.000 % |
41.54/41.60 c | 90113 | 720 42653 136218 | 42432 42544 51 | 0.000 % |
42.24/42.32 c | 90984 | 720 42653 136218 | 42432 37217 51 | 0.000 % |
42.85/42.96 c | 91942 | 720 42653 136218 | 42432 38175 51 | 0.000 % |
43.64/43.75 c | 93000 | 720 42653 136218 | 42432 39233 52 | 0.000 % |
43.74/43.88 c | 93102 | 720 42653 136218 | 42432 39335 52 | 0.000 % |
43.85/43.95 c | 93213 | 720 42653 136218 | 42432 39446 52 | 0.000 % |
43.95/44.03 c | 93338 | 720 42653 136218 | 42432 39571 52 | 0.000 % |
44.04/44.12 c | 93471 | 720 42653 136218 | 42432 39704 52 | 0.000 % |
44.14/44.21 c | 93617 | 720 42653 136218 | 42432 39850 52 | 0.000 % |
44.24/44.32 c | 93777 | 720 42653 136218 | 42432 40010 52 | 0.000 % |
44.34/44.41 c | 93956 | 720 42653 136218 | 42432 40189 52 | 0.000 % |
44.44/44.54 c | 94150 | 720 42653 136218 | 42432 40383 52 | 0.000 % |
44.54/44.68 c | 94364 | 720 42653 136218 | 42432 40597 52 | 0.000 % |
44.74/44.82 c | 94597 | 720 42653 136218 | 42432 40830 52 | 0.000 % |
44.95/45.08 c | 94853 | 720 42653 136218 | 42432 41086 52 | 0.000 % |
45.14/45.30 c | 95134 | 720 42653 136218 | 42432 41367 52 | 0.000 % |
45.44/45.58 c | 95444 | 720 42653 136218 | 42432 41677 52 | 0.000 % |
45.64/45.76 c | 95784 | 720 42653 136218 | 42432 42017 53 | 0.000 % |
45.94/46.01 c | 96157 | 720 42653 136218 | 42432 42390 53 | 0.000 % |
46.24/46.33 c | 96566 | 720 42653 136218 | 42432 36432 50 | 0.000 % |
46.54/46.66 c | 97018 | 720 42653 136218 | 42432 36884 51 | 0.000 % |
46.84/46.97 c | 97512 | 720 42653 136218 | 42432 37378 51 | 0.000 % |
47.24/47.30 c | 98054 | 720 42653 136218 | 42432 37920 51 | 0.000 % |
47.64/47.76 c | 98650 | 720 42653 136218 | 42432 38516 52 | 0.000 % |
48.14/48.26 c | 99306 | 720 42653 136218 | 42432 39172 52 | 0.000 % |
48.64/48.77 c | 100026 | 720 42653 136218 | 39867 39892 52 | 0.000 % |
49.24/49.37 c | 100818 | 720 42653 136218 | 39867 35031 51 | 0.000 % |
49.74/49.86 c | 101692 | 720 42653 136218 | 39867 35905 51 | 0.000 % |
50.24/50.36 c | 102650 | 720 42653 136218 | 39867 36863 51 | 0.029 % |
50.84/50.94 c | 103704 | 720 42653 136218 | 39867 37917 51 | 0.000 % |
51.54/51.68 c | 104864 | 720 42653 136218 | 39867 39077 52 | 0.000 % |
51.64/51.74 c | 104967 | 720 42653 136218 | 39867 39180 52 | 0.000 % |
51.74/51.82 c | 105077 | 720 42653 136218 | 39867 39290 52 | 0.000 % |
51.84/51.96 c | 105203 | 720 42653 136218 | 39867 39416 52 | 0.000 % |
51.94/52.06 c | 105336 | 720 42653 136218 | 39867 39549 52 | 0.000 % |
52.04/52.18 c | 105482 | 720 42653 136218 | 39867 39695 52 | 0.000 % |
52.14/52.26 c | 105643 | 720 42653 136218 | 39867 39856 52 | 0.000 % |
52.24/52.40 c | 105819 | 720 42653 136218 | 39867 40032 52 | 0.000 % |
52.44/52.59 c | 106014 | 720 42653 136218 | 39867 35125 52 | 0.000 % |
52.64/52.74 c | 106227 | 720 42653 136218 | 39867 35338 52 | 0.000 % |
52.84/52.90 c | 106460 | 720 42653 136218 | 39867 35571 52 | 0.000 % |
52.94/53.06 c | 106718 | 720 42653 136218 | 39867 35829 52 | 0.000 % |
53.14/53.24 c | 107001 | 720 42653 136218 | 39867 36112 52 | 0.000 % |
53.44/53.56 c | 107311 | 720 42653 136218 | 39867 36422 52 | 0.000 % |
53.74/53.85 c | 107651 | 720 42653 136218 | 39867 36762 52 | 0.000 % |
53.94/54.06 c | 108023 | 720 42653 136218 | 39867 37134 52 | 0.000 % |
54.24/54.37 c | 108432 | 720 42653 136218 | 39867 37543 53 | 0.000 % |
54.54/54.69 c | 108881 | 720 42653 136218 | 39867 37992 53 | 0.000 % |
54.94/55.02 c | 109374 | 720 42653 136218 | 39867 38485 53 | 0.000 % |
55.24/55.38 c | 109916 | 720 42653 136218 | 39867 39027 53 | 0.000 % |
55.74/55.89 c | 110515 | 720 42653 136218 | 39113 34072 52 | 0.032 % |
56.14/56.24 c | 111174 | 720 42653 136218 | 39113 34731 53 | 0.000 % |
56.54/56.64 c | 111894 | 720 42653 136218 | 39113 35451 54 | 0.000 % |
57.14/57.21 c | 112686 | 720 42653 136218 | 39113 36243 54 | 0.000 % |
57.74/57.83 c | 113557 | 720 42653 136218 | 39113 37114 54 | 0.000 % |
58.44/58.56 c | 114516 | 720 42653 136218 | 39113 38073 54 | 0.000 % |
59.53/59.62 c | 115569 | 720 42653 136218 | 39113 39126 55 | 0.000 % |
60.34/60.50 c | 116727 | 720 42653 136218 | 39113 35259 55 | 0.000 % |
61.23/61.37 c | 118000 | 720 42653 136218 | 39113 36532 56 | 0.000 % |
61.33/61.49 c | 118102 | 720 42653 136218 | 39113 36634 56 | 0.000 % |
61.44/61.59 c | 118214 | 720 42653 136218 | 39113 36746 56 | 0.000 % |
61.54/61.67 c | 118336 | 720 42653 136218 | 39113 36868 56 | 0.000 % |
61.63/61.80 c | 118469 | 720 42653 136218 | 39113 37001 56 | 0.000 % |
61.83/61.91 c | 118617 | 720 42653 136218 | 39113 37149 56 | 0.000 % |
61.93/62.02 c | 118778 | 720 42653 136218 | 39113 37310 56 | 0.000 % |
62.03/62.14 c | 118954 | 720 42653 136218 | 39113 37486 56 | 0.000 % |
62.13/62.28 c | 119147 | 720 42653 136218 | 39113 37679 56 | 0.000 % |
62.33/62.43 c | 119361 | 720 42653 136218 | 39113 37893 56 | 0.000 % |
62.54/62.62 c | 119596 | 720 42653 136218 | 39113 38128 55 | 0.000 % |
62.73/62.89 c | 119856 | 720 42653 136218 | 39113 38388 56 | 0.000 % |
62.93/63.08 c | 120138 | 720 42653 136218 | 38532 38670 56 | 0.000 % |
63.13/63.28 c | 120447 | 720 42653 136218 | 38532 33795 54 | 0.000 % |
63.33/63.47 c | 120787 | 720 42653 136218 | 38532 34135 54 | 0.000 % |
63.64/63.76 c | 121159 | 720 42653 136218 | 38532 34507 54 | 0.000 % |
63.93/64.08 c | 121568 | 720 42653 136218 | 38532 34916 54 | 0.000 % |
64.43/64.52 c | 122017 | 720 42653 136218 | 38532 35365 55 | 0.000 % |
64.83/64.91 c | 122510 | 720 42653 136218 | 38532 35858 55 | 0.000 % |
65.43/65.50 c | 123054 | 720 42653 136218 | 38532 36402 55 | 0.000 % |
65.94/66.01 c | 123651 | 720 42653 136218 | 38532 36999 56 | 0.000 % |
66.53/66.62 c | 124307 | 720 42653 136218 | 38532 37655 56 | 0.000 % |
67.13/67.22 c | 125027 | 720 42653 136218 | 38532 38375 56 | 0.000 % |
67.93/68.03 c | 125819 | 720 42653 136218 | 38532 33530 55 | 0.000 % |
68.43/68.53 c | 126692 | 720 42653 136218 | 38532 34403 55 | 0.000 % |
69.03/69.13 c | 127650 | 720 42653 136218 | 38532 35361 56 | 0.000 % |
69.63/69.78 c | 128703 | 720 42653 136218 | 38532 36414 56 | 0.000 % |
70.73/70.84 c | 129861 | 720 42653 136218 | 38532 37572 56 | 0.000 % |
71.43/71.56 c | 131135 | 720 42653 136218 | 37712 33398 55 | 0.000 % |
72.23/72.34 c | 132535 | 720 42653 136218 | 37712 34798 55 | 0.000 % |
72.33/72.45 c | 132635 | 720 42653 136218 | 37712 34898 55 | 0.000 % |
72.43/72.54 c | 132745 | 720 42653 136218 | 37712 35008 55 | 0.000 % |
72.53/72.62 c | 132866 | 720 42653 136218 | 37712 35129 55 | 0.000 % |
72.53/72.70 c | 133002 | 720 42653 136218 | 37712 35265 55 | 0.000 % |
72.83/72.90 c | 133148 | 720 42653 136218 | 37712 35411 55 | 0.000 % |
72.93/73.06 c | 133311 | 720 42653 136218 | 37712 35574 55 | 0.000 % |
73.12/73.25 c | 133488 | 720 42653 136218 | 37712 35751 55 | 0.000 % |
73.32/73.43 c | 133685 | 720 42653 136218 | 37712 35948 55 | 0.000 % |
73.42/73.59 c | 133897 | 720 42653 136218 | 37712 36160 55 | 0.000 % |
73.73/73.85 c | 134134 | 720 42653 136218 | 37712 36397 56 | 0.000 % |
73.92/74.03 c | 134390 | 720 42653 136218 | 37712 36653 56 | 0.000 % |
74.12/74.27 c | 134671 | 720 42653 136218 | 37712 36934 56 | 0.000 % |
74.32/74.47 c | 134981 | 720 42653 136218 | 37712 37244 56 | 0.000 % |
74.52/74.69 c | 135320 | 720 42653 136218 | 37712 37583 56 | 0.000 % |
74.82/74.98 c | 135692 | 720 42653 136218 | 37712 37955 56 | 0.000 % |
75.22/75.39 c | 136103 | 720 42653 136218 | 37712 33089 54 | 0.000 % |
75.52/75.68 c | 136554 | 720 42653 136218 | 37712 33540 55 | 0.000 % |
76.02/76.13 c | 137047 | 720 42653 136218 | 37712 34033 55 | 0.000 % |
76.42/76.59 c | 137591 | 720 42653 136218 | 37712 34577 55 | 0.000 % |
77.02/77.13 c | 138187 | 720 42653 136218 | 37712 35173 55 | 0.000 % |
77.52/77.65 c | 138844 | 720 42653 136218 | 37712 35830 56 | 0.000 % |
78.02/78.19 c | 139564 | 720 42653 136218 | 37712 36550 56 | 0.000 % |
79.02/79.11 c | 140356 | 720 42653 136218 | 36986 31805 54 | 0.000 % |
79.72/79.88 c | 141228 | 720 42653 136218 | 36986 32677 55 | 0.000 % |
80.62/80.73 c | 142187 | 720 42653 136218 | 36986 33636 55 | 0.000 % |
81.42/81.54 c | 143240 | 720 42653 136218 | 36986 34689 55 | 0.000 % |
82.32/82.41 c | 144401 | 720 42653 136218 | 36986 35850 55 | 0.000 % |
83.02/83.19 c | 145674 | 720 42653 136218 | 36986 37123 56 | 0.000 % |
83.92/84.05 c | 147076 | 720 42653 136218 | 36986 33278 54 | 0.000 % |
85.02/85.18 c | 148617 | 720 42653 136218 | 36986 34819 54 | 0.000 % |
85.12/85.27 c | 148717 | 720 42653 136218 | 36986 34919 54 | 0.000 % |
85.22/85.34 c | 148828 | 720 42653 136218 | 36986 35030 54 | 0.000 % |
85.22/85.40 c | 148950 | 720 42653 136218 | 36986 35152 54 | 0.000 % |
85.42/85.54 c | 149085 | 720 42653 136218 | 36986 35287 54 | 0.000 % |
85.52/85.69 c | 149234 | 720 42653 136218 | 36986 35436 55 | 0.000 % |
85.72/85.80 c | 149394 | 720 42653 136218 | 36986 35596 55 | 0.000 % |
85.82/85.93 c | 149570 | 720 42653 136218 | 36986 35772 55 | 0.000 % |
86.02/86.15 c | 149763 | 720 42653 136218 | 36986 35965 55 | 0.000 % |
86.12/86.29 c | 149975 | 720 42653 136218 | 36986 36177 55 | 0.000 % |
86.31/86.44 c | 150208 | 720 42653 136218 | 36202 36410 55 | 0.000 % |
86.61/86.74 c | 150467 | 720 42653 136218 | 36202 31771 53 | 0.000 % |
86.82/86.90 c | 150748 | 720 42653 136218 | 36202 32052 53 | 0.000 % |
86.91/87.08 c | 151058 | 720 42653 136218 | 36202 32362 53 | 0.000 % |
87.21/87.37 c | 151398 | 720 42653 136218 | 36202 32702 54 | 0.000 % |
87.41/87.57 c | 151773 | 720 42653 136218 | 36202 33077 54 | 0.000 % |
87.71/87.88 c | 152183 | 720 42653 136218 | 36202 33487 54 | 0.000 % |
88.11/88.22 c | 152634 | 720 42653 136218 | 36202 33938 54 | 0.000 % |
88.51/88.67 c | 153128 | 720 42653 136218 | 36202 34432 54 | 0.000 % |
89.02/89.13 c | 153671 | 720 42653 136218 | 36202 34975 54 | 0.000 % |
89.31/89.47 c | 154268 | 720 42653 136218 | 36202 35572 54 | 0.000 % |
89.71/89.84 c | 154923 | 720 42653 136218 | 36202 36227 54 | 0.000 % |
90.21/90.39 c | 155644 | 720 42653 136218 | 36202 32444 53 | 0.000 % |
90.62/90.80 c | 156436 | 720 42653 136218 | 36202 33236 53 | 0.000 % |
91.42/91.51 c | 157307 | 720 42653 136218 | 36202 34107 53 | 0.000 % |
92.01/92.14 c | 158265 | 720 42653 136218 | 36202 35065 53 | 0.000 % |
92.91/93.09 c | 159318 | 720 42653 136218 | 36202 36118 54 | 0.000 % |
93.71/93.87 c | 160478 | 720 42653 136218 | 32445 29033 50 | 0.000 % |
94.42/94.54 c | 161753 | 720 42653 136218 | 32445 30308 50 | 0.000 % |
95.31/95.46 c | 163153 | 720 42653 136218 | 32445 31708 51 | 0.000 % |
96.11/96.27 c | 164693 | 720 42653 136218 | 32445 29971 50 | 0.000 % |
97.31/97.42 c | 166388 | 720 42653 136218 | 32445 31666 49 | 0.000 % |
97.31/97.47 c | 166488 | 720 42653 136218 | 32445 31766 49 | 0.000 % |
97.41/97.53 c | 166598 | 720 42653 136218 | 32445 31876 50 | 0.000 % |
97.51/97.64 c | 166720 | 720 42653 136218 | 32445 31998 50 | 0.000 % |
97.61/97.70 c | 166854 | 720 42653 136218 | 32445 32132 50 | 0.000 % |
97.61/97.79 c | 167002 | 720 42653 136218 | 32445 32280 50 | 0.000 % |
97.82/97.97 c | 167162 | 720 42653 136218 | 32445 32440 50 | 0.000 % |
97.91/98.07 c | 167338 | 720 42653 136218 | 32445 32616 50 | 0.000 % |
98.01/98.19 c | 167531 | 720 42653 136218 | 32445 29548 48 | 0.000 % |
98.21/98.36 c | 167743 | 720 42653 136218 | 32445 29760 49 | 0.000 % |
98.31/98.48 c | 167977 | 720 42653 136218 | 32445 29994 49 | 0.000 % |
98.51/98.64 c | 168233 | 720 42653 136218 | 32445 30250 49 | 0.000 % |
98.71/98.82 c | 168514 | 720 42653 136218 | 32445 30531 49 | 0.000 % |
98.91/99.02 c | 168824 | 720 42653 136218 | 32445 30841 49 | 0.000 % |
99.11/99.22 c | 169167 | 720 42653 136218 | 32445 31184 49 | 0.000 % |
99.31/99.40 c | 169540 | 720 42653 136218 | 32445 31557 49 | 0.000 % |
99.71/99.81 c | 169949 | 720 42653 136218 | 32445 31966 50 | 0.000 % |
99.91/100.03 c | 170399 | 720 42653 136218 | 2147483647 32416 50 | 0.000 % |
100.21/100.34 c | 170892 | 720 42653 136218 | 2147483647 32909 50 | 0.000 % |
100.51/100.63 c | 171435 | 720 42653 136218 | 2147483647 33452 50 | 0.000 % |
100.81/100.92 c | 172031 | 720 42653 136218 | 2147483647 34048 50 | 0.000 % |
101.41/101.56 c | 172687 | 720 42653 136218 | 2147483647 34704 51 | 0.000 % |
102.01/102.10 c | 173407 | 720 42653 136218 | 2147483647 35424 51 | 0.000 % |
102.41/102.52 c | 174199 | 720 42653 136218 | 2147483647 36216 51 | 0.000 % |
103.01/103.16 c | 175071 | 720 42653 136218 | 2147483647 37088 51 | 0.000 % |
103.81/103.96 c | 176030 | 720 42653 136218 | 2147483647 38047 52 | 0.000 % |
104.91/105.02 c | 177084 | 720 42653 136218 | 2147483647 39101 52 | 0.000 % |
105.91/106.00 c | 178244 | 720 42653 136218 | 2147483647 40261 52 | 0.000 % |
107.01/107.12 c | 179517 | 720 42653 136218 | 2147483647 41534 53 | 0.000 % |
108.51/108.69 c | 180918 | 720 42653 136218 | 42017 38120 52 | 0.000 % |
109.71/109.85 c | 182461 | 720 42653 136218 | 42017 39663 53 | 0.000 % |
111.21/111.36 c | 184157 | 720 42653 136218 | 42017 41359 53 | 0.000 % |
112.90/113.03 c | 186020 | 720 42653 136218 | 42017 37552 52 | 0.000 % |
113.00/113.15 c | 186120 | 720 42653 136218 | 42017 37652 52 | 0.000 % |
113.12/113.21 c | 186231 | 720 42653 136218 | 42017 37763 52 | 0.000 % |
113.22/113.33 c | 186352 | 720 42653 136218 | 42017 37884 52 | 0.000 % |
113.31/113.41 c | 186485 | 720 42653 136218 | 42017 38017 52 | 0.000 % |
113.41/113.51 c | 186631 | 720 42653 136218 | 42017 38163 52 | 0.000 % |
113.51/113.62 c | 186792 | 720 42653 136218 | 42017 38324 52 | 0.000 % |
113.61/113.72 c | 186969 | 720 42653 136218 | 42017 38501 52 | 0.000 % |
113.71/113.86 c | 187162 | 720 42653 136218 | 42017 38694 52 | 0.000 % |
113.91/114.00 c | 187379 | 720 42653 136218 | 42017 38911 52 | 0.000 % |
114.01/114.15 c | 187612 | 720 42653 136218 | 42017 39144 52 | 0.000 % |
114.11/114.27 c | 187872 | 720 42653 136218 | 42017 39404 52 | 0.000 % |
114.32/114.49 c | 188155 | 720 42653 136218 | 42017 39687 52 | 0.000 % |
114.51/114.69 c | 188465 | 720 42653 136218 | 42017 39997 52 | 0.000 % |
114.81/114.96 c | 188805 | 720 42653 136218 | 42017 40337 52 | 0.000 % |
115.11/115.27 c | 189177 | 720 42653 136218 | 42017 40709 52 | 0.000 % |
115.51/115.66 c | 189587 | 720 42653 136218 | 42017 41119 52 | 0.000 % |
115.91/116.03 c | 190036 | 720 42653 136218 | 41534 41568 52 | 0.000 % |
116.42/116.59 c | 190529 | 720 42653 136218 | 41534 36539 52 | 0.000 % |
117.11/117.20 c | 191071 | 720 42653 136218 | 41534 37081 52 | 0.000 % |
117.51/117.62 c | 191667 | 720 42653 136218 | 41534 37677 52 | 0.000 % |
117.91/118.06 c | 192324 | 720 42653 136218 | 41534 38334 52 | 0.000 % |
118.41/118.53 c | 193045 | 720 42653 136218 | 41534 39055 52 | 0.000 % |
119.01/119.10 c | 193838 | 720 42653 136218 | 41534 39848 52 | 0.000 % |
119.71/119.89 c | 194709 | 720 42653 136218 | 41534 40719 52 | 0.000 % |
120.51/120.67 c | 195671 | 720 42653 136218 | 41534 41681 52 | 0.000 % |
121.31/121.40 c | 196724 | 720 42653 136218 | 41534 36805 50 | 0.000 % |
122.01/122.17 c | 197882 | 720 42653 136218 | 41534 37963 50 | 0.000 % |
123.31/123.42 c | 199155 | 720 42653 136218 | 41534 39236 51 | 0.000 % |
124.61/124.75 c | 200557 | 720 42653 136218 | 40081 34918 49 | 0.000 % |
125.71/125.87 c | 202098 | 720 42653 136218 | 40081 36459 49 | 0.000 % |
127.30/127.40 c | 203792 | 720 42653 136218 | 40081 38153 49 | 0.000 % |
129.10/129.26 c | 205655 | 720 42653 136218 | 40081 40016 50 | 0.000 % |
130.60/130.76 c | 207708 | 720 42653 136218 | 40081 36234 48 | 0.000 % |
130.71/130.84 c | 207809 | 720 42653 136218 | 40081 36335 48 | 0.000 % |
130.81/130.90 c | 207919 | 720 42653 136218 | 40081 36445 48 | 0.000 % |
130.81/130.98 c | 208041 | 720 42653 136218 | 40081 36567 48 | 0.000 % |
130.90/131.08 c | 208174 | 720 42653 136218 | 40081 36700 48 | 0.000 % |
131.00/131.19 c | 208324 | 720 42653 136218 | 40081 36850 48 | 0.000 % |
131.20/131.34 c | 208484 | 720 42653 136218 | 40081 37010 48 | 0.000 % |
131.40/131.51 c | 208665 | 720 42653 136218 | 40081 37191 48 | 0.000 % |
131.50/131.66 c | 208859 | 720 42653 136218 | 40081 37385 48 | 0.000 % |
131.70/131.89 c | 209071 | 720 42653 136218 | 40081 37597 47 | 0.000 % |
131.91/132.09 c | 209305 | 720 42653 136218 | 40081 37831 47 | 0.000 % |
132.10/132.29 c | 209562 | 720 42653 136218 | 40081 38088 47 | 0.000 % |
132.40/132.50 c | 209843 | 720 42653 136218 | 40081 38369 48 | 0.000 % |
132.60/132.72 c | 210153 | 720 42653 136218 | 38526 38679 48 | 0.020 % |
132.91/133.01 c | 210493 | 720 42653 136218 | 38526 33799 46 | 0.000 % |
133.10/133.26 c | 210867 | 720 42653 136218 | 38526 34173 46 | 0.000 % |
133.30/133.49 c | 211276 | 720 42653 136218 | 38526 34582 46 | 0.000 % |
133.80/133.95 c | 211725 | 720 42653 136218 | 38526 35031 46 | 0.000 % |
134.20/134.30 c | 212218 | 720 42653 136218 | 38526 35524 46 | 0.000 % |
134.40/134.51 c | 212761 | 720 42653 136218 | 38526 36067 46 | 0.000 % |
134.70/134.86 c | 213357 | 720 42653 136218 | 38526 36663 47 | 0.018 % |
135.20/135.39 c | 214016 | 720 42653 136218 | 38526 37322 47 | 0.000 % |
135.70/135.80 c | 214736 | 720 42653 136218 | 38526 38042 48 | 0.000 % |
136.20/136.31 c | 215528 | 720 42653 136218 | 38526 34889 47 | 0.000 % |
136.40/136.60 c | 216400 | 720 42653 136218 | 38526 35761 48 | 0.000 % |
136.80/136.95 c | 217358 | 720 42653 136218 | 38526 36719 49 | 0.000 % |
137.30/137.42 c | 218414 | 720 42653 136218 | 38526 37775 49 | 0.000 % |
137.70/137.89 c | 219572 | 720 42653 136218 | 38526 35045 48 | 0.000 % |
139.00/139.11 c | 220845 | 720 42653 136218 | 2147483647 36318 50 | 0.000 % |
140.10/140.29 c | 222245 | 720 42653 136218 | 2147483647 37718 51 | 0.000 % |
141.30/141.42 c | 223787 | 720 42653 136218 | 2147483647 39260 51 | 0.000 % |
142.20/142.33 c | 225481 | 720 42653 136218 | 2147483647 40954 51 | 0.025 % |
143.50/143.66 c | 227346 | 720 42653 136218 | 2147483647 42819 51 | 0.000 % |
145.30/145.46 c | 229395 | 720 42653 136218 | 2147483647 44868 51 | 0.025 % |
146.80/146.94 c | 231648 | 720 42653 136218 | 45476 40042 51 | 0.025 % |
146.90/147.01 c | 231748 | 720 42653 136218 | 45476 40142 51 | 0.000 % |
146.90/147.07 c | 231859 | 720 42653 136218 | 45476 40253 51 | 0.022 % |
147.00/147.15 c | 231981 | 720 42653 136218 | 45476 40375 51 | 0.000 % |
147.10/147.23 c | 232115 | 720 42653 136218 | 45476 40509 51 | 0.029 % |
147.20/147.32 c | 232261 | 720 42653 136218 | 45476 40655 51 | 0.000 % |
147.30/147.43 c | 232424 | 720 42653 136218 | 45476 40818 51 | 0.022 % |
147.40/147.52 c | 232600 | 720 42653 136218 | 45476 40994 51 | 0.025 % |
147.40/147.59 c | 232793 | 720 42653 136218 | 45476 41187 51 | 0.022 % |
147.60/147.70 c | 233007 | 720 42653 136218 | 45476 41401 51 | 0.000 % |
147.70/147.87 c | 233242 | 720 42653 136218 | 45476 41636 51 | 0.000 % |
147.80/147.97 c | 233498 | 720 42653 136218 | 45476 41892 51 | 0.000 % |
148.00/148.12 c | 233779 | 720 42653 136218 | 45476 42173 51 | 0.000 % |
148.30/148.40 c | 234090 | 720 42653 136218 | 45476 42484 51 | 0.000 % |
148.40/148.55 c | 234431 | 720 42653 136218 | 45476 42825 51 | 0.000 % |
148.49/148.68 c | 234803 | 720 42653 136218 | 45476 43197 51 | 0.000 % |
148.89/149.05 c | 235212 | 720 42653 136218 | 45476 43606 52 | 0.020 % |
149.29/149.40 c | 235661 | 720 42653 136218 | 45476 44055 51 | 0.020 % |
149.59/149.75 c | 236159 | 720 42653 136218 | 45476 44553 51 | 0.000 % |
149.89/150.02 c | 236701 | 720 42653 136218 | 45476 45095 51 | 0.000 % |
150.09/150.23 c | 237298 | 720 42653 136218 | 45476 45692 51 | 0.000 % |
150.50/150.65 c | 237953 | 720 42653 136218 | 45476 40218 51 | 0.020 % |
150.89/151.08 c | 238677 | 720 42653 136218 | 45476 40942 52 | 0.000 % |
151.19/151.35 c | 239472 | 720 42653 136218 | 45476 41737 52 | 0.000 % |
151.70/151.85 c | 240345 | 720 42653 136218 | 42265 42610 52 | 0.000 % |
152.09/152.30 c | 241305 | 720 42653 136218 | 42265 38059 53 | 0.029 % |
152.70/152.87 c | 242358 | 720 42653 136218 | 42265 39112 54 | 0.000 % |
153.39/153.51 c | 243517 | 720 42653 136218 | 42265 40271 54 | 0.000 % |
154.19/154.38 c | 244794 | 720 42653 136218 | 42265 41548 55 | 0.000 % |
155.29/155.43 c | 246194 | 720 42653 136218 | 42265 38694 56 | 0.000 % |
155.89/156.04 c | 247735 | 720 42653 136218 | 42265 40235 57 | 0.000 % |
156.69/156.82 c | 249431 | 720 42653 136218 | 42265 41931 57 | 0.000 % |
157.49/157.62 c | 251294 | 720 42653 136218 | 2147483647 43794 56 | 0.032 % |
158.39/158.52 c | 253343 | 720 42653 136218 | 2147483647 45843 56 | 0.000 % |
159.69/159.81 c | 255598 | 720 42653 136218 | 2147483647 48098 56 | 0.030 % |
161.39/161.57 c | 258078 | 720 42653 136218 | 2147483647 50578 58 | 0.000 % |
161.49/161.68 c | 258180 | 720 42653 136218 | 2147483647 50680 58 | 0.000 % |
161.59/161.77 c | 258290 | 720 42653 136218 | 2147483647 50790 58 | 0.000 % |
161.69/161.87 c | 258413 | 720 42653 136218 | 2147483647 50913 58 | 0.000 % |
161.79/161.95 c | 258548 | 720 42653 136218 | 2147483647 51048 58 | 0.000 % |
161.89/162.07 c | 258694 | 720 42653 136218 | 2147483647 51194 58 | 0.000 % |
162.09/162.20 c | 258855 | 720 42653 136218 | 2147483647 51355 58 | 0.000 % |
162.19/162.33 c | 259032 | 720 42653 136218 | 2147483647 51532 58 | 0.000 % |
162.29/162.44 c | 259228 | 720 42653 136218 | 2147483647 51728 59 | 0.000 % |
162.39/162.58 c | 259443 | 720 42653 136218 | 2147483647 51943 59 | 0.000 % |
162.59/162.75 c | 259677 | 720 42653 136218 | 2147483647 52177 59 | 0.000 % |
162.79/162.90 c | 259933 | 720 42653 136218 | 2147483647 52433 59 | 0.000 % |
162.89/163.06 c | 260215 | 720 42653 136218 | 52501 52715 59 | 0.018 % |
163.19/163.33 c | 260527 | 720 42653 136218 | 52501 47439 57 | 0.000 % |
163.39/163.55 c | 260872 | 720 42653 136218 | 52501 47784 57 | 0.000 % |
163.59/163.76 c | 261244 | 720 42653 136218 | 52501 48156 57 | 0.000 % |
163.79/163.95 c | 261654 | 720 42653 136218 | 52501 48566 57 | 0.019 % |
164.09/164.23 c | 262103 | 720 42653 136218 | 52501 49015 57 | 0.020 % |
164.38/164.50 c | 262598 | 720 42653 136218 | 52501 49510 57 | 0.019 % |
164.68/164.89 c | 263141 | 720 42653 136218 | 52501 50053 57 | 0.000 % |
165.08/165.20 c | 263737 | 720 42653 136218 | 52501 50649 57 | 0.031 % |
165.48/165.61 c | 264392 | 720 42653 136218 | 52501 51304 57 | 0.020 % |
165.89/166.08 c | 265115 | 720 42653 136218 | 52501 52027 57 | 0.020 % |
166.38/166.59 c | 265908 | 720 42653 136218 | 52501 52820 57 | 0.000 % |
166.99/167.18 c | 266781 | 720 42653 136218 | 52501 46649 56 | 0.020 % |
167.58/167.77 c | 267739 | 720 42653 136218 | 52501 47607 56 | 0.023 % |
168.28/168.44 c | 268793 | 720 42653 136218 | 52501 48661 56 | 0.000 % |
168.88/169.05 c | 269952 | 720 42653 136218 | 52501 49820 56 | 0.000 % |
169.58/169.75 c | 271226 | 720 42653 136218 | 49868 44458 55 | 0.000 % |
170.29/170.49 c | 272627 | 720 42653 136218 | 49868 45859 55 | 0.020 % |
171.38/171.52 c | 274167 | 720 42653 136218 | 49868 47399 55 | 0.000 % |
172.58/172.77 c | 275863 | 720 42653 136218 | 49868 49095 55 | 0.020 % |
173.78/173.95 c | 277727 | 720 42653 136218 | 49868 44387 54 | 0.020 % |
175.08/175.23 c | 279780 | 720 42653 136218 | 49868 46440 54 | 0.000 % |
176.58/176.75 c | 282033 | 720 42653 136218 | 46660 42455 51 | 0.000 % |
178.18/178.30 c | 284512 | 720 42653 136218 | 46660 44934 53 | 0.000 % |
179.98/180.12 c | 287237 | 720 42653 136218 | 46660 42559 56 | 0.000 % |
179.98/180.18 c | 287339 | 720 42653 136218 | 46660 42661 56 | 0.000 % |
180.08/180.25 c | 287449 | 720 42653 136218 | 46660 42771 56 | 0.000 % |
180.18/180.31 c | 287570 | 720 42653 136218 | 46660 42892 56 | 0.000 % |
180.28/180.41 c | 287704 | 720 42653 136218 | 46660 43026 56 | 0.000 % |
180.38/180.52 c | 287854 | 720 42653 136218 | 46660 43176 56 | 0.000 % |
180.48/180.63 c | 288014 | 720 42653 136218 | 46660 43336 56 | 0.000 % |
180.68/180.80 c | 288191 | 720 42653 136218 | 46660 43513 57 | 0.000 % |
180.78/180.90 c | 288384 | 720 42653 136218 | 46660 43706 57 | 0.020 % |
180.88/181.04 c | 288597 | 720 42653 136218 | 46660 43919 57 | 0.000 % |
180.98/181.17 c | 288830 | 720 42653 136218 | 46660 44152 57 | 0.000 % |
181.18/181.34 c | 289087 | 720 42653 136218 | 46660 44409 57 | 0.000 % |
181.38/181.52 c | 289369 | 720 42653 136218 | 46660 44691 57 | 0.000 % |
181.58/181.74 c | 289678 | 720 42653 136218 | 46660 45000 57 | 0.000 % |
181.68/181.90 c | 290021 | 720 42653 136218 | 45324 45343 57 | 0.000 % |
181.98/182.17 c | 290393 | 720 42653 136218 | 45324 40687 54 | 0.000 % |
182.28/182.41 c | 290802 | 720 42653 136218 | 45324 41096 54 | 0.000 % |
182.48/182.69 c | 291252 | 720 42653 136218 | 45324 41546 54 | 0.000 % |
182.78/182.93 c | 291747 | 720 42653 136218 | 45324 42041 54 | 0.000 % |
183.18/183.32 c | 292293 | 720 42653 136218 | 45324 42587 55 | 0.000 % |
183.48/183.69 c | 292891 | 720 42653 136218 | 45324 43185 55 | 0.026 % |
183.88/184.09 c | 293547 | 720 42653 136218 | 45324 43841 55 | 0.020 % |
184.47/184.61 c | 294267 | 720 42653 136218 | 45324 44561 55 | 0.000 % |
184.98/185.13 c | 295059 | 720 42653 136218 | 45324 45353 56 | 0.000 % |
185.58/185.71 c | 295934 | 720 42653 136218 | 45324 41693 55 | 0.000 % |
186.27/186.40 c | 296892 | 720 42653 136218 | 45324 42651 55 | 0.000 % |
186.88/187.08 c | 297948 | 720 42653 136218 | 45324 43707 55 | 0.000 % |
187.67/187.82 c | 299106 | 720 42653 136218 | 45324 44865 55 | 0.026 % |
188.57/188.71 c | 300380 | 720 42653 136218 | 40765 36499 55 | 0.000 % |
189.37/189.54 c | 301780 | 720 42653 136218 | 40765 37899 55 | 0.000 % |
190.18/190.37 c | 303320 | 720 42653 136218 | 40765 39439 55 | 0.000 % |
191.18/191.35 c | 305014 | 720 42653 136218 | 40765 41133 54 | 0.000 % |
192.57/192.73 c | 306877 | 720 42653 136218 | 40765 38447 57 | 0.000 % |
193.97/194.13 c | 308929 | 720 42653 136218 | 40765 40499 59 | 0.000 % |
195.77/195.98 c | 311183 | 720 42653 136218 | 2147483647 38656 60 | 0.000 % |
197.47/197.65 c | 313662 | 720 42653 136218 | 2147483647 41135 60 | 0.020 % |
199.67/199.82 c | 316389 | 720 42653 136218 | 2147483647 43862 60 | 0.000 % |
201.47/201.68 c | 319387 | 720 42653 136218 | 2147483647 46860 60 | 0.020 % |
201.57/201.75 c | 319492 | 720 42653 136218 | 2147483647 46965 60 | 0.000 % |
201.67/201.83 c | 319602 | 720 42653 136218 | 2147483647 47075 60 | 0.000 % |
201.77/201.94 c | 319724 | 720 42653 136218 | 2147483647 47197 60 | 0.000 % |
201.87/202.05 c | 319858 | 720 42653 136218 | 2147483647 47331 60 | 0.000 % |
201.97/202.18 c | 320004 | 720 42653 136218 | 2147483647 47477 60 | 0.000 % |
202.18/202.32 c | 320166 | 720 42653 136218 | 47477 40940 55 | 0.000 % |
202.28/202.43 c | 320342 | 720 42653 136218 | 47477 41116 55 | 0.000 % |
202.37/202.55 c | 320535 | 720 42653 136218 | 47477 41309 55 | 0.032 % |
202.47/202.66 c | 320751 | 720 42653 136218 | 47477 41525 56 | 0.000 % |
202.67/202.82 c | 320985 | 720 42653 136218 | 47477 41759 56 | 0.000 % |
202.87/203.00 c | 321243 | 720 42653 136218 | 47477 42017 56 | 0.000 % |
202.97/203.19 c | 321528 | 720 42653 136218 | 47477 42302 56 | 0.000 % |
203.17/203.36 c | 321837 | 720 42653 136218 | 47477 42611 56 | 0.000 % |
203.37/203.55 c | 322179 | 720 42653 136218 | 47477 42953 56 | 0.000 % |
203.67/203.82 c | 322552 | 720 42653 136218 | 47477 43326 56 | 0.000 % |
203.97/204.11 c | 322964 | 720 42653 136218 | 47477 43738 57 | 0.000 % |
204.27/204.40 c | 323413 | 720 42653 136218 | 47477 44187 57 | 0.000 % |
204.57/204.76 c | 323909 | 720 42653 136218 | 47477 44683 57 | 0.000 % |
204.97/205.13 c | 324451 | 720 42653 136218 | 47477 45225 57 | 0.000 % |
205.37/205.52 c | 325047 | 720 42653 136218 | 47477 45821 57 | 0.000 % |
205.87/206.03 c | 325702 | 720 42653 136218 | 47477 46476 58 | 0.000 % |
206.27/206.48 c | 326425 | 720 42653 136218 | 47477 47199 58 | 0.000 % |
206.87/207.00 c | 327218 | 720 42653 136218 | 47477 41224 56 | 0.000 % |
207.27/207.45 c | 328090 | 720 42653 136218 | 47477 42096 56 | 0.000 % |
207.87/208.10 c | 329048 | 720 42653 136218 | 47477 43054 57 | 0.000 % |
208.67/208.84 c | 330104 | 720 42653 136218 | 44007 44110 58 | 0.000 % |
209.37/209.56 c | 331262 | 720 42653 136218 | 44007 39244 58 | 0.000 % |
210.37/210.50 c | 332535 | 720 42653 136218 | 44007 40517 58 | 0.000 % |
211.27/211.45 c | 333936 | 720 42653 136218 | 44007 41918 59 | 0.000 % |
212.17/212.32 c | 335476 | 720 42653 136218 | 44007 43458 59 | 0.000 % |
213.17/213.39 c | 337170 | 720 42653 136218 | 44007 39502 56 | 0.000 % |
214.17/214.40 c | 339034 | 720 42653 136218 | 44007 41366 56 | 0.000 % |
215.47/215.67 c | 341087 | 720 42653 136218 | 42333 38430 56 | 0.000 % |
216.97/217.18 c | 343340 | 720 42653 136218 | 42333 40683 57 | 0.000 % |
218.46/218.68 c | 345818 | 720 42653 136218 | 42333 38886 58 | 0.000 % |
220.16/220.35 c | 348547 | 720 42653 136218 | 42333 41615 57 | 0.000 % |
221.97/222.16 c | 351545 | 720 42653 136218 | 38769 36404 57 | 0.000 % |
224.27/224.42 c | 354843 | 720 42653 136218 | 38769 35782 58 | 0.000 % |
224.36/224.52 c | 354943 | 720 42653 136218 | 38769 35882 58 | 0.000 % |
224.36/224.59 c | 355053 | 720 42653 136218 | 38769 35992 58 | 0.000 % |
224.46/224.69 c | 355176 | 720 42653 136218 | 38769 36115 58 | 0.000 % |
224.56/224.77 c | 355309 | 720 42653 136218 | 38769 36248 58 | 0.000 % |
224.66/224.83 c | 355455 | 720 42653 136218 | 38769 36394 58 | 0.000 % |
224.76/224.92 c | 355616 | 720 42653 136218 | 38769 36555 58 | 0.000 % |
224.86/225.04 c | 355792 | 720 42653 136218 | 38769 36731 58 | 0.000 % |
224.96/225.15 c | 355993 | 720 42653 136218 | 38769 36932 58 | 0.000 % |
225.06/225.28 c | 356205 | 720 42653 136218 | 38769 37144 58 | 0.019 % |
225.26/225.44 c | 356441 | 720 42653 136218 | 38769 37380 58 | 0.000 % |
225.37/225.57 c | 356698 | 720 42653 136218 | 38769 37637 58 | 0.026 % |
225.57/225.76 c | 356980 | 720 42653 136218 | 38769 37919 58 | 0.000 % |
225.87/226.02 c | 357289 | 720 42653 136218 | 38769 38228 58 | 0.000 % |
226.17/226.32 c | 357629 | 720 42653 136218 | 38769 38568 58 | 0.000 % |
226.37/226.60 c | 358001 | 720 42653 136218 | 38769 38940 58 | 0.000 % |
226.67/226.88 c | 358412 | 720 42653 136218 | 38769 35252 57 | 0.000 % |
226.97/227.14 c | 358862 | 720 42653 136218 | 38769 35702 57 | 0.000 % |
227.17/227.39 c | 359355 | 720 42653 136218 | 38769 36195 58 | 0.000 % |
227.57/227.73 c | 359897 | 720 42653 136218 | 38769 36737 58 | 0.000 % |
227.87/228.06 c | 360494 | 720 42653 136218 | 36840 33573 58 | 0.000 % |
228.17/228.34 c | 361150 | 720 42653 136218 | 36840 34229 58 | 0.000 % |
228.57/228.74 c | 361871 | 720 42653 136218 | 36840 34950 58 | 0.000 % |
228.97/229.12 c | 362664 | 720 42653 136218 | 36840 35743 58 | 0.000 % |
229.27/229.48 c | 363539 | 720 42653 136218 | 36840 36618 58 | 0.000 % |
230.17/230.34 c | 364498 | 720 42653 136218 | 36840 33859 58 | 0.000 % |
230.87/231.05 c | 365551 | 720 42653 136218 | 36840 34912 58 | 0.000 % |
231.47/231.67 c | 366709 | 720 42653 136218 | 36840 36070 59 | 0.000 % |
232.47/232.61 c | 367982 | 720 42653 136218 | 36840 33628 58 | 0.000 % |
233.46/233.65 c | 369387 | 720 42653 136218 | 36840 35033 59 | 0.000 % |
234.46/234.63 c | 370927 | 720 42653 136218 | 2147483647 36573 60 | 0.000 % |
235.46/235.61 c | 372622 | 720 42653 136218 | 2147483647 38268 60 | 0.000 % |
236.77/236.99 c | 374486 | 720 42653 136218 | 2147483647 40132 60 | 0.000 % |
238.26/238.49 c | 376535 | 720 42653 136218 | 2147483647 42181 61 | 0.000 % |
240.16/240.40 c | 378788 | 720 42653 136218 | 2147483647 44434 62 | 0.000 % |
241.77/242.00 c | 381268 | 720 42653 136218 | 45646 40333 61 | 0.000 % |
243.36/243.53 c | 383993 | 720 42653 136218 | 45646 43058 60 | 0.022 % |
245.56/245.73 c | 386991 | 720 42653 136218 | 45646 39754 58 | 0.019 % |
247.56/247.78 c | 390290 | 720 42653 136218 | 42765 43053 58 | 0.000 % |
249.96/250.15 c | 393915 | 720 42653 136218 | 42765 40679 58 | 0.000 % |
250.06/250.25 c | 394019 | 720 42653 136218 | 42765 40783 58 | 0.000 % |
250.26/250.41 c | 394130 | 720 42653 136218 | 42765 40894 58 | 0.000 % |
250.36/250.53 c | 394253 | 720 42653 136218 | 42765 41017 58 | 0.000 % |
250.46/250.62 c | 394387 | 720 42653 136218 | 42765 41151 58 | 0.000 % |
250.56/250.71 c | 394535 | 720 42653 136218 | 42765 41299 58 | 0.000 % |
250.66/250.85 c | 394696 | 720 42653 136218 | 42765 41460 58 | 0.000 % |
250.76/250.96 c | 394872 | 720 42653 136218 | 42765 41636 58 | 0.000 % |
250.86/251.08 c | 395069 | 720 42653 136218 | 42765 41833 58 | 0.000 % |
251.16/251.30 c | 395281 | 720 42653 136218 | 42765 42045 59 | 0.000 % |
251.26/251.46 c | 395514 | 720 42653 136218 | 42765 42278 59 | 0.000 % |
251.56/251.70 c | 395771 | 720 42653 136218 | 42765 42535 59 | 0.000 % |
251.76/251.96 c | 396052 | 720 42653 136218 | 42765 42816 59 | 0.000 % |
252.16/252.30 c | 396362 | 720 42653 136218 | 42765 36762 55 | 0.000 % |
252.36/252.55 c | 396701 | 720 42653 136218 | 42765 37101 56 | 0.000 % |
252.66/252.87 c | 397073 | 720 42653 136218 | 42765 37473 56 | 0.000 % |
253.06/253.21 c | 397482 | 720 42653 136218 | 42765 37882 56 | 0.000 % |
253.26/253.50 c | 397933 | 720 42653 136218 | 42765 38333 56 | 0.000 % |
253.56/253.78 c | 398426 | 720 42653 136218 | 42765 38826 56 | 0.000 % |
253.86/254.10 c | 398968 | 720 42653 136218 | 42765 39368 57 | 0.000 % |
254.26/254.49 c | 399565 | 720 42653 136218 | 42765 39965 57 | 0.000 % |
254.96/255.10 c | 400220 | 720 42653 136218 | 40401 34259 54 | 0.000 % |
255.36/255.58 c | 400942 | 720 42653 136218 | 40401 34981 55 | 0.000 % |
256.16/256.31 c | 401737 | 720 42653 136218 | 40401 35776 55 | 0.000 % |
256.75/256.95 c | 402608 | 720 42653 136218 | 40401 36647 56 | 0.000 % |
257.45/257.62 c | 403566 | 720 42653 136218 | 40401 37605 56 | 0.000 % |
258.26/258.43 c | 404621 | 720 42653 136218 | 40401 38660 57 | 0.000 % |
258.75/259.00 c | 405780 | 720 42653 136218 | 40401 39819 57 | 0.000 % |
259.46/259.69 c | 407053 | 720 42653 136218 | 40401 35350 55 | 0.000 % |
260.35/260.57 c | 408453 | 720 42653 136218 | 40401 36750 57 | 0.000 % |
261.35/261.56 c | 409993 | 720 42653 136218 | 40401 38290 57 | 0.021 % |
262.55/262.78 c | 411688 | 720 42653 136218 | 38298 34853 58 | 0.000 % |
263.35/263.56 c | 413551 | 720 42653 136218 | 38298 36716 58 | 0.000 % |
264.65/264.84 c | 415602 | 720 42653 136218 | 38298 34529 60 | 0.000 % |
266.25/266.49 c | 417856 | 720 42653 136218 | 38298 36783 62 | 0.000 % |
267.55/267.78 c | 420335 | 720 42653 136218 | 34851 35186 62 | 0.000 % |
269.15/269.30 c | 423060 | 720 42653 136218 | 34851 34308 62 | 0.000 % |
271.35/271.53 c | 426059 | 720 42653 136218 | 34851 33217 65 | 0.000 % |
273.95/274.12 c | 429355 | 720 42653 136218 | 34851 32449 66 | 0.000 % |
276.25/276.40 c | 432980 | 720 42653 136218 | 33094 32206 63 | 0.025 % |
277.85/278.08 c | 436967 | 720 42653 136218 | 33094 32387 63 | 0.000 % |
277.95/278.17 c | 437070 | 720 42653 136218 | 33094 32490 63 | 0.020 % |
278.05/278.26 c | 437182 | 720 42653 136218 | 33094 32602 63 | 0.000 % |
278.15/278.35 c | 437304 | 720 42653 136218 | 33094 32724 63 | 0.000 % |
278.25/278.43 c | 437438 | 720 42653 136218 | 33094 32858 63 | 0.000 % |
278.35/278.57 c | 437584 | 720 42653 136218 | 33094 33004 63 | 0.000 % |
278.55/278.71 c | 437744 | 720 42653 136218 | 33094 33164 63 | 0.000 % |
278.65/278.82 c | 437920 | 720 42653 136218 | 33094 29924 61 | 0.000 % |
278.75/278.93 c | 438113 | 720 42653 136218 | 33094 30117 61 | 0.000 % |
278.85/279.05 c | 438327 | 720 42653 136218 | 33094 30331 61 | 0.000 % |
279.05/279.25 c | 438560 | 720 42653 136218 | 33094 30564 61 | 0.000 % |
279.25/279.46 c | 438817 | 720 42653 136218 | 33094 30821 61 | 0.000 % |
279.45/279.63 c | 439099 | 720 42653 136218 | 33094 31103 61 | 0.000 % |
279.65/279.89 c | 439409 | 720 42653 136218 | 33094 31413 61 | 0.000 % |
279.95/280.11 c | 439748 | 720 42653 136218 | 33094 31752 61 | 0.000 % |
280.15/280.34 c | 440120 | 720 42653 136218 | 32006 32124 61 | 0.000 % |
280.44/280.60 c | 440529 | 720 42653 136218 | 32006 29176 59 | 0.000 % |
280.74/280.93 c | 440978 | 720 42653 136218 | 32006 29625 59 | 0.000 % |
281.04/281.20 c | 441471 | 720 42653 136218 | 32006 30118 59 | 0.000 % |
281.45/281.60 c | 442015 | 720 42653 136218 | 32006 30662 60 | 0.000 % |
281.84/282.00 c | 442615 | 720 42653 136218 | 32006 31262 60 | 0.000 % |
282.34/282.53 c | 443272 | 720 42653 136218 | 32006 31919 61 | 0.000 % |
282.94/283.16 c | 443994 | 720 42653 136218 | 32006 29116 60 | 0.000 % |
283.44/283.64 c | 444787 | 720 42653 136218 | 32006 29909 60 | 0.000 % |
283.94/284.16 c | 445662 | 720 42653 136218 | 32006 30784 60 | 0.000 % |
284.65/284.90 c | 446620 | 720 42653 136218 | 32006 31742 61 | 0.000 % |
285.34/285.53 c | 447673 | 720 42653 136218 | 32006 28972 57 | 0.000 % |
286.04/286.27 c | 448833 | 720 42653 136218 | 32006 30132 58 | 0.000 % |
287.14/287.34 c | 450107 | 720 42653 136218 | 31300 31406 59 | 0.000 % |
288.04/288.26 c | 451508 | 720 42653 136218 | 31300 29165 58 | 0.000 % |
289.24/289.44 c | 453049 | 720 42653 136218 | 31300 30706 59 | 0.000 % |
290.34/290.50 c | 454745 | 720 42653 136218 | 31300 28942 60 | 0.000 % |
291.64/291.89 c | 456609 | 720 42653 136218 | 31300 30806 61 | 0.000 % |
293.04/293.25 c | 458663 | 720 42653 136218 | 31300 29444 62 | 0.000 % |
294.34/294.55 c | 460917 | 720 42653 136218 | 30781 28470 62 | 0.000 % |
296.24/296.41 c | 463395 | 720 42653 136218 | 30781 30948 62 | 0.000 % |
297.94/298.18 c | 466121 | 720 42653 136218 | 30781 29882 61 | 0.000 % |
299.84/300.04 c | 469120 | 720 42653 136218 | 30781 29087 60 | 0.000 % |
301.84/302.07 c | 472417 | 720 42653 136218 | 29968 28849 60 | 0.000 % |
303.93/304.14 c | 476042 | 720 42653 136218 | 29968 29434 59 | 0.000 % |
306.43/306.63 c | 480032 | 720 42653 136218 | 2147483647 27358 58 | 0.000 % |
309.43/309.63 c | 484418 | 720 42653 136218 | 2147483647 31744 61 | 0.000 % |
309.53/309.73 c | 484520 | 720 42653 136218 | 2147483647 31846 61 | 0.000 % |
309.63/309.84 c | 484630 | 720 42653 136218 | 2147483647 31956 61 | 0.000 % |
309.73/309.92 c | 484752 | 720 42653 136218 | 2147483647 32078 61 | 0.000 % |
309.83/310.03 c | 484885 | 720 42653 136218 | 2147483647 32211 61 | 0.000 % |
309.94/310.17 c | 485031 | 720 42653 136218 | 2147483647 32357 61 | 0.000 % |
310.13/310.30 c | 485191 | 720 42653 136218 | 2147483647 32517 61 | 0.000 % |
310.23/310.47 c | 485367 | 720 42653 136218 | 2147483647 32693 61 | 0.000 % |
310.43/310.62 c | 485561 | 720 42653 136218 | 2147483647 32887 62 | 0.000 % |
310.53/310.76 c | 485773 | 720 42653 136218 | 2147483647 33099 62 | 0.000 % |
310.83/311.02 c | 486009 | 720 42653 136218 | 2147483647 33335 62 | 0.000 % |
311.04/311.26 c | 486269 | 720 42653 136218 | 2147483647 33595 62 | 0.000 % |
311.23/311.48 c | 486551 | 720 42653 136218 | 2147483647 33877 62 | 0.000 % |
311.53/311.77 c | 486860 | 720 42653 136218 | 2147483647 34186 62 | 0.000 % |
311.83/312.07 c | 487199 | 720 42653 136218 | 2147483647 34525 62 | 0.000 % |
312.03/312.26 c | 487572 | 720 42653 136218 | 2147483647 34898 62 | 0.000 % |
312.43/312.62 c | 487981 | 720 42653 136218 | 2147483647 35307 62 | 0.000 % |
312.83/313.05 c | 488430 | 720 42653 136218 | 2147483647 35756 62 | 0.000 % |
313.24/313.50 c | 488926 | 720 42653 136218 | 2147483647 36252 62 | 0.000 % |
313.63/313.87 c | 489468 | 720 42653 136218 | 2147483647 36794 62 | 0.000 % |
314.23/314.49 c | 490064 | 720 42653 136218 | 37326 37390 63 | 0.000 % |
314.83/315.08 c | 490721 | 720 42653 136218 | 37326 33214 62 | 0.000 % |
315.43/315.67 c | 491443 | 720 42653 136218 | 37326 33936 62 | 0.000 % |
316.03/316.27 c | 492236 | 720 42653 136218 | 37326 34729 62 | 0.000 % |
316.63/316.89 c | 493109 | 720 42653 136218 | 37326 35602 62 | 0.000 % |
317.23/317.46 c | 494068 | 720 42653 136218 | 37326 36561 62 | 0.000 % |
318.13/318.36 c | 495122 | 720 42653 136218 | 37326 37615 63 | 0.000 % |
319.13/319.37 c | 496280 | 720 42653 136218 | 37326 33573 61 | 0.000 % |
320.23/320.45 c | 497553 | 720 42653 136218 | 37326 34846 61 | 0.000 % |
321.33/321.57 c | 498953 | 720 42653 136218 | 37326 36246 62 | 0.000 % |
322.83/323.03 c | 500494 | 720 42653 136218 | 37293 32151 60 | 0.000 % |
323.93/324.18 c | 502190 | 720 42653 136218 | 37293 33847 61 | 0.000 % |
325.23/325.46 c | 504053 | 720 42653 136218 | 37293 35710 61 | 0.000 % |
327.13/327.35 c | 506102 | 720 42653 136218 | 37293 32190 59 | 0.000 % |
329.23/329.45 c | 508355 | 720 42653 136218 | 37293 34443 59 | 0.000 % |
330.93/331.14 c | 510833 | 720 42653 136218 | 36089 31356 57 | 0.000 % |
332.83/333.09 c | 513558 | 720 42653 136218 | 36089 34081 58 | 0.000 % |
335.23/335.41 c | 516555 | 720 42653 136218 | 36089 31894 57 | 0.000 % |
337.43/337.65 c | 519852 | 720 42653 136218 | 36089 35191 58 | 0.000 % |
339.82/340.02 c | 523478 | 720 42653 136218 | 35340 34265 57 | 0.000 % |
342.32/342.56 c | 527466 | 720 42653 136218 | 35340 34187 57 | 0.000 % |
345.42/345.68 c | 531854 | 720 42653 136218 | 32695 30786 56 | 0.000 % |
348.72/348.97 c | 536679 | 720 42653 136218 | 32695 31709 58 | 0.000 % |
348.82/349.07 c | 536784 | 720 42653 136218 | 32695 31814 59 | 0.000 % |
348.92/349.15 c | 536894 | 720 42653 136218 | 32695 31924 59 | 0.000 % |
349.02/349.25 c | 537017 | 720 42653 136218 | 32695 32047 59 | 0.000 % |
349.12/349.37 c | 537150 | 720 42653 136218 | 32695 32180 59 | 0.000 % |
349.22/349.46 c | 537296 | 720 42653 136218 | 32695 32326 59 | 0.000 % |
349.32/349.55 c | 537456 | 720 42653 136218 | 32695 32486 59 | 0.000 % |
349.42/349.60 c | 537632 | 720 42653 136218 | 32695 32662 59 | 0.000 % |
349.42/349.67 c | 537827 | 720 42653 136218 | 32695 32857 59 | 0.000 % |
349.52/349.79 c | 538039 | 720 42653 136218 | 32695 29440 58 | 0.032 % |
349.82/350.00 c | 538275 | 720 42653 136218 | 32695 29676 59 | 0.000 % |
349.92/350.17 c | 538532 | 720 42653 136218 | 32695 29933 59 | 0.000 % |
350.12/350.37 c | 538813 | 720 42653 136218 | 32695 30214 59 | 0.000 % |
350.32/350.54 c | 539122 | 720 42653 136218 | 32695 30523 59 | 0.000 % |
350.52/350.74 c | 539462 | 720 42653 136218 | 32695 30863 60 | 0.000 % |
350.72/350.96 c | 539834 | 720 42653 136218 | 32695 31235 60 | 0.000 % |
351.02/351.21 c | 540244 | 720 42653 136218 | 31402 31645 60 | 0.000 % |
351.32/351.58 c | 540696 | 720 42653 136218 | 31402 28769 59 | 0.000 % |
351.62/351.85 c | 541190 | 720 42653 136218 | 31402 29263 60 | 0.000 % |
351.82/352.02 c | 541732 | 720 42653 136218 | 31402 29805 60 | 0.000 % |
352.02/352.25 c | 542329 | 720 42653 136218 | 31402 30402 60 | 0.000 % |
352.32/352.50 c | 542985 | 720 42653 136218 | 31402 31058 60 | 0.021 % |
352.72/352.90 c | 543707 | 720 42653 136218 | 31402 31780 59 | 0.022 % |
353.12/353.34 c | 544500 | 720 42653 136218 | 31402 29395 58 | 0.000 % |
353.62/353.82 c | 545371 | 720 42653 136218 | 31402 30266 59 | 0.000 % |
354.12/354.39 c | 546329 | 720 42653 136218 | 31402 31224 60 | 0.000 % |
354.82/355.02 c | 547383 | 720 42653 136218 | 31402 29105 59 | 0.000 % |
355.32/355.50 c | 548542 | 720 42653 136218 | 31402 30264 58 | 0.000 % |
355.92/356.10 c | 549815 | 720 42653 136218 | 31402 31537 60 | 0.000 % |
356.71/356.95 c | 551218 | 720 42653 136218 | 2147483647 29787 60 | 0.000 % |
357.51/357.71 c | 552758 | 720 42653 136218 | 2147483647 31327 60 | 0.026 % |
358.11/358.33 c | 554455 | 720 42653 136218 | 2147483647 33024 59 | 0.026 % |
359.42/359.68 c | 556320 | 720 42653 136218 | 2147483647 34889 60 | 0.000 % |
360.42/360.67 c | 558373 | 720 42653 136218 | 2147483647 36942 60 | 0.000 % |
361.63/361.86 c | 560626 | 720 42653 136218 | 2147483647 39195 59 | 0.000 % |
363.22/363.49 c | 563104 | 720 42653 136218 | 2147483647 41673 59 | 0.000 % |
364.52/364.78 c | 565829 | 720 42653 136218 | 2147483647 44398 60 | 0.000 % |
366.22/366.45 c | 568827 | 720 42653 136218 | 2147483647 47396 61 | 0.000 % |
368.32/368.52 c | 572124 | 720 42653 136218 | 48569 45069 60 | 0.000 % |
370.32/370.55 c | 575750 | 720 42653 136218 | 48569 48695 59 | 0.000 % |
372.82/373.08 c | 579737 | 720 42653 136218 | 48569 45591 54 | 0.032 % |
375.62/375.86 c | 584122 | 720 42653 136218 | 45854 42688 53 | 0.000 % |
378.82/379.06 c | 588947 | 720 42653 136218 | 45854 40066 52 | 0.024 % |
381.92/382.13 c | 594252 | 720 42653 136218 | 41120 38674 51 | 0.000 % |
382.02/382.21 c | 594352 | 720 42653 136218 | 41120 38774 51 | 0.026 % |
382.12/382.33 c | 594462 | 720 42653 136218 | 41120 38884 51 | 0.032 % |
382.22/382.43 c | 594584 | 720 42653 136218 | 41120 39006 51 | 0.032 % |
382.32/382.53 c | 594719 | 720 42653 136218 | 41120 39141 51 | 0.000 % |
382.42/382.61 c | 594865 | 720 42653 136218 | 41120 39287 52 | 0.000 % |
382.52/382.72 c | 595026 | 720 42653 136218 | 41120 39448 52 | 0.000 % |
382.62/382.84 c | 595202 | 720 42653 136218 | 41120 39624 52 | 0.000 % |
382.71/382.94 c | 595396 | 720 42653 136218 | 41120 39818 52 | 0.000 % |
382.81/383.08 c | 595608 | 720 42653 136218 | 41120 40030 52 | 0.000 % |
383.01/383.23 c | 595841 | 720 42653 136218 | 41120 40263 52 | 0.000 % |
383.11/383.36 c | 596098 | 720 42653 136218 | 41120 40520 52 | 0.000 % |
383.31/383.56 c | 596379 | 720 42653 136218 | 41120 40801 53 | 0.000 % |
383.51/383.74 c | 596688 | 720 42653 136218 | 41120 41110 53 | 0.000 % |
383.72/383.93 c | 597028 | 720 42653 136218 | 41120 41450 53 | 0.000 % |
383.91/384.16 c | 597401 | 720 42653 136218 | 41120 36205 51 | 0.000 % |
384.11/384.33 c | 597813 | 720 42653 136218 | 41120 36617 51 | 0.000 % |
384.41/384.63 c | 598263 | 720 42653 136218 | 41120 37067 51 | 0.000 % |
384.82/385.02 c | 598756 | 720 42653 136218 | 41120 37560 51 | 0.000 % |
385.11/385.31 c | 599299 | 720 42653 136218 | 41120 38103 51 | 0.026 % |
385.41/385.62 c | 599895 | 720 42653 136218 | 41120 38699 51 | 0.000 % |
385.82/386.02 c | 600552 | 720 42653 136218 | 38805 34985 48 | 0.026 % |
386.11/386.31 c | 601276 | 720 42653 136218 | 38805 35709 49 | 0.000 % |
386.51/386.77 c | 602071 | 720 42653 136218 | 38805 36504 50 | 0.000 % |
387.02/387.27 c | 602945 | 720 42653 136218 | 38805 37378 51 | 0.000 % |
387.41/387.61 c | 603903 | 720 42653 136218 | 38805 38336 51 | 0.024 % |
387.81/388.06 c | 604960 | 720 42653 136218 | 38805 35468 52 | 0.000 % |
388.31/388.60 c | 606121 | 720 42653 136218 | 38805 36629 52 | 0.020 % |
388.81/389.08 c | 607396 | 720 42653 136218 | 38805 37904 51 | 0.000 % |
389.51/389.79 c | 608799 | 720 42653 136218 | 38805 35401 51 | 0.027 % |
390.21/390.42 c | 610342 | 720 42653 136218 | 2147483647 36944 51 | 0.000 % |
390.91/391.19 c | 612036 | 720 42653 136218 | 2147483647 38638 51 | 0.020 % |
392.41/392.64 c | 613900 | 720 42653 136218 | 2147483647 40502 53 | 0.000 % |
393.71/393.96 c | 615952 | 720 42653 136218 | 2147483647 42554 54 | 0.000 % |
395.01/395.23 c | 618207 | 720 42653 136218 | 2147483647 44809 54 | 0.000 % |
396.81/397.04 c | 620689 | 720 42653 136218 | 2147483647 47291 54 | 0.000 % |
398.21/398.48 c | 623417 | 720 42653 136218 | 2147483647 50019 53 | 0.000 % |
399.91/400.12 c | 626414 | 720 42653 136218 | 2147483647 53016 53 | 0.027 % |
402.41/402.65 c | 629710 | 720 42653 136218 | 2147483647 56312 53 | 0.000 % |
404.90/405.10 c | 633338 | 720 42653 136218 | 56602 52092 53 | 0.000 % |
408.20/408.42 c | 637325 | 720 42653 136218 | 56602 56079 53 | 0.027 % |
411.50/411.71 c | 641712 | 720 42653 136218 | 48786 41934 49 | 0.000 % |
415.30/415.60 c | 646537 | 720 42653 136218 | 48786 46759 49 | 0.000 % |
418.20/418.47 c | 651845 | 720 42653 136218 | 42130 37614 53 | 0.000 % |
421.40/421.69 c | 657680 | 720 42653 136218 | 42130 39143 56 | 0.000 % |
421.50/421.77 c | 657782 | 720 42653 136218 | 42130 39245 56 | 0.021 % |
421.60/421.87 c | 657894 | 720 42653 136218 | 42130 39357 56 | 0.000 % |
421.70/421.93 c | 658018 | 720 42653 136218 | 42130 39481 56 | 0.000 % |
421.80/422.06 c | 658151 | 720 42653 136218 | 42130 39614 56 | 0.000 % |
421.90/422.18 c | 658300 | 720 42653 136218 | 42130 39763 56 | 0.000 % |
422.00/422.25 c | 658461 | 720 42653 136218 | 42130 39924 56 | 0.000 % |
422.10/422.36 c | 658638 | 720 42653 136218 | 42130 40101 56 | 0.000 % |
422.20/422.46 c | 658831 | 720 42653 136218 | 42130 40294 56 | 0.000 % |
422.30/422.58 c | 659044 | 720 42653 136218 | 42130 40507 56 | 0.000 % |
422.50/422.72 c | 659279 | 720 42653 136218 | 42130 40742 56 | 0.000 % |
422.60/422.87 c | 659540 | 720 42653 136218 | 42130 41003 57 | 0.000 % |
422.80/423.06 c | 659825 | 720 42653 136218 | 42130 41288 57 | 0.000 % |
423.00/423.28 c | 660134 | 720 42653 136218 | 41463 41597 57 | 0.000 % |
423.30/423.51 c | 660474 | 720 42653 136218 | 41463 37633 57 | 0.000 % |
423.50/423.70 c | 660848 | 720 42653 136218 | 41463 38007 57 | 0.000 % |
423.69/423.96 c | 661257 | 720 42653 136218 | 41463 38416 57 | 0.000 % |
424.20/424.41 c | 661706 | 720 42653 136218 | 41463 38865 57 | 0.000 % |
424.50/424.71 c | 662200 | 720 42653 136218 | 41463 39359 57 | 0.018 % |
424.80/425.02 c | 662746 | 720 42653 136218 | 41463 39905 57 | 0.000 % |
425.10/425.34 c | 663344 | 720 42653 136218 | 41463 40503 57 | 0.026 % |
425.40/425.70 c | 664001 | 720 42653 136218 | 41463 41160 56 | 0.032 % |
425.89/426.16 c | 664721 | 720 42653 136218 | 41463 41880 57 | 0.000 % |
426.50/426.73 c | 665514 | 720 42653 136218 | 41463 38485 58 | 0.000 % |
427.19/427.44 c | 666385 | 720 42653 136218 | 41463 39356 59 | 0.000 % |
427.89/428.19 c | 667343 | 720 42653 136218 | 41463 40314 59 | 0.000 % |
428.99/429.21 c | 668397 | 720 42653 136218 | 41463 41368 59 | 0.000 % |
429.80/430.02 c | 669556 | 720 42653 136218 | 41463 37720 58 | 0.027 % |
430.69/430.94 c | 670830 | 720 42653 136218 | 38165 34594 61 | 0.000 % |
431.39/431.60 c | 672232 | 720 42653 136218 | 38165 35996 61 | 0.000 % |
432.19/432.45 c | 673776 | 720 42653 136218 | 38165 37540 61 | 0.000 % |
433.39/433.62 c | 675470 | 720 42653 136218 | 38165 35390 58 | 0.000 % |
434.39/434.65 c | 677333 | 720 42653 136218 | 38165 37253 57 | 0.000 % |
435.39/435.64 c | 679383 | 720 42653 136218 | 38165 35448 52 | 0.000 % |
436.29/436.51 c | 681637 | 720 42653 136218 | 2147483647 37702 52 | 0.020 % |
437.39/437.60 c | 684115 | 720 42653 136218 | 2147483647 40180 51 | 0.020 % |
438.89/439.13 c | 686840 | 720 42653 136218 | 2147483647 42905 50 | 0.020 % |
440.59/440.86 c | 689838 | 720 42653 136218 | 2147483647 45903 50 | 0.000 % |
442.69/442.96 c | 693135 | 720 42653 136218 | 2147483647 49200 50 | 0.020 % |
445.39/445.65 c | 696763 | 720 42653 136218 | 2147483647 52828 49 | 0.029 % |
448.08/448.37 c | 700750 | 720 42653 136218 | 56070 47780 46 | 0.000 % |
451.39/451.69 c | 705137 | 720 42653 136218 | 56070 52167 48 | 0.020 % |
455.49/455.70 c | 709960 | 720 42653 136218 | 56070 47343 46 | 0.000 % |
458.29/458.59 c | 715265 | 720 42653 136218 | 47384 44911 46 | 0.000 % |
462.39/462.60 c | 721102 | 720 42653 136218 | 44159 40034 47 | 0.000 % |
466.89/467.20 c | 727520 | 720 42653 136218 | 44159 42001 49 | 0.000 % |
466.99/467.24 c | 727620 | 720 42653 136218 | 44159 42101 49 | 0.000 % |
466.99/467.28 c | 727730 | 720 42653 136218 | 44159 42211 49 | 0.000 % |
467.09/467.35 c | 727853 | 720 42653 136218 | 44159 42334 49 | 0.000 % |
467.20/467.42 c | 727986 | 720 42653 136218 | 44159 42467 49 | 0.000 % |
467.29/467.53 c | 728133 | 720 42653 136218 | 44159 42614 49 | 0.000 % |
467.39/467.62 c | 728293 | 720 42653 136218 | 44159 42774 49 | 0.000 % |
467.39/467.68 c | 728471 | 720 42653 136218 | 44159 42952 49 | 0.000 % |
467.49/467.76 c | 728665 | 720 42653 136218 | 44159 43146 50 | 0.000 % |
467.59/467.86 c | 728879 | 720 42653 136218 | 44159 43360 50 | 0.000 % |
467.69/467.94 c | 729112 | 720 42653 136218 | 44159 43593 50 | 0.000 % |
467.79/468.07 c | 729368 | 720 42653 136218 | 44159 43849 50 | 0.000 % |
467.99/468.22 c | 729649 | 720 42653 136218 | 44159 44130 50 | 0.000 % |
468.09/468.38 c | 729959 | 720 42653 136218 | 44159 44440 50 | 0.000 % |
468.39/468.63 c | 730298 | 720 42653 136218 | 39918 36197 50 | 0.000 % |
468.49/468.79 c | 730673 | 720 42653 136218 | 39918 36572 50 | 0.033 % |
468.69/468.99 c | 731082 | 720 42653 136218 | 39918 36981 50 | 0.000 % |
468.99/469.22 c | 731532 | 720 42653 136218 | 39918 37431 50 | 0.000 % |
469.19/469.42 c | 732025 | 720 42653 136218 | 39918 37924 51 | 0.000 % |
469.49/469.73 c | 732568 | 720 42653 136218 | 39918 38467 52 | 0.000 % |
469.89/470.12 c | 733164 | 720 42653 136218 | 39918 39063 52 | 0.000 % |
470.29/470.51 c | 733822 | 720 42653 136218 | 39918 39721 53 | 0.000 % |
470.69/470.91 c | 734545 | 720 42653 136218 | 39918 36417 52 | 0.000 % |
471.09/471.33 c | 735338 | 720 42653 136218 | 39918 37210 53 | 0.000 % |
471.49/471.72 c | 736210 | 720 42653 136218 | 39918 38082 54 | 0.000 % |
471.89/472.12 c | 737169 | 720 42653 136218 | 39918 39041 54 | 0.000 % |
472.29/472.54 c | 738225 | 720 42653 136218 | 39918 40097 54 | 0.000 % |
472.99/473.20 c | 739383 | 720 42653 136218 | 39918 37246 54 | 0.000 % |
473.69/473.99 c | 740656 | 720 42653 136218 | 2147483647 38519 54 | 0.020 % |
474.49/474.77 c | 742059 | 720 42653 136218 | 2147483647 39922 54 | 0.000 % |
475.49/475.77 c | 743599 | 720 42653 136218 | 2147483647 41462 56 | 0.000 % |
476.58/476.84 c | 745293 | 720 42653 136218 | 2147483647 43156 58 | 0.000 % |
477.88/478.15 c | 747157 | 720 42653 136218 | 2147483647 45020 59 | 0.000 % |
479.39/479.64 c | 749206 | 720 42653 136218 | 2147483647 47069 59 | 0.000 % |
481.08/481.32 c | 751459 | 720 42653 136218 | 2147483647 49322 61 | 0.000 % |
482.98/483.25 c | 753939 | 720 42653 136218 | 2147483647 51802 62 | 0.000 % |
485.08/485.31 c | 756668 | 720 42653 136218 | 2147483647 54531 62 | 0.032 % |
487.68/487.91 c | 759666 | 720 42653 136218 | 2147483647 57529 62 | 0.000 % |
489.87/490.19 c | 762963 | 720 42653 136218 | 57863 51929 63 | 0.000 % |
493.38/493.64 c | 766589 | 720 42653 136218 | 57863 55555 65 | 0.000 % |
497.28/497.58 c | 770577 | 720 42653 136218 | 47854 39157 67 | 0.000 % |
501.28/501.51 c | 774964 | 720 42653 136218 | 47854 43544 69 | 0.000 % |
505.98/506.23 c | 779788 | 720 42653 136218 | 47854 39545 67 | 0.000 % |
509.18/509.42 c | 785093 | 720 42653 136218 | 39758 37465 65 | 0.000 % |
513.97/514.28 c | 790928 | 720 42653 136218 | 35572 30543 64 | 0.000 % |
519.57/519.82 c | 797346 | 720 42653 136218 | 35572 31642 67 | 0.000 % |
524.97/525.22 c | 804407 | 720 42653 136218 | 34298 33844 69 | 0.000 % |
524.97/525.28 c | 804507 | 720 42653 136218 | 34298 33944 69 | 0.021 % |
525.17/525.40 c | 804618 | 720 42653 136218 | 34298 34055 69 | 0.000 % |
525.27/525.50 c | 804740 | 720 42653 136218 | 34298 34177 69 | 0.000 % |
525.37/525.63 c | 804875 | 720 42653 136218 | 34298 34312 69 | 0.000 % |
525.48/525.74 c | 805023 | 720 42653 136218 | 34298 29897 71 | 0.000 % |
525.58/525.89 c | 805184 | 720 42653 136218 | 34298 30058 71 | 0.000 % |
525.77/526.01 c | 805361 | 720 42653 136218 | 34298 30235 71 | 0.000 % |
525.87/526.12 c | 805555 | 720 42653 136218 | 34298 30429 71 | 0.000 % |
526.07/526.31 c | 805767 | 720 42653 136218 | 34298 30641 71 | 0.000 % |
526.17/526.43 c | 806001 | 720 42653 136218 | 34298 30875 71 | 0.000 % |
526.37/526.63 c | 806259 | 720 42653 136218 | 34298 31133 71 | 0.000 % |
526.57/526.83 c | 806540 | 720 42653 136218 | 34298 31414 71 | 0.000 % |
526.87/527.14 c | 806849 | 720 42653 136218 | 34298 31723 72 | 0.000 % |
527.07/527.37 c | 807190 | 720 42653 136218 | 34298 32064 72 | 0.000 % |
527.37/527.66 c | 807562 | 720 42653 136218 | 34298 32436 72 | 0.000 % |
527.67/527.98 c | 807972 | 720 42653 136218 | 34298 32846 73 | 0.000 % |
527.97/528.28 c | 808421 | 720 42653 136218 | 34298 33295 73 | 0.000 % |
528.57/528.81 c | 808915 | 720 42653 136218 | 34298 33789 73 | 0.000 % |
529.07/529.37 c | 809458 | 720 42653 136218 | 34298 34332 74 | 0.000 % |
529.67/529.91 c | 810055 | 720 42653 136218 | 30629 30682 74 | 0.000 % |
530.27/530.51 c | 810713 | 720 42653 136218 | 30629 27548 73 | 0.000 % |
530.67/530.93 c | 811436 | 720 42653 136218 | 30629 28271 73 | 0.000 % |
531.07/531.38 c | 812228 | 720 42653 136218 | 30629 29063 73 | 0.000 % |
531.67/531.94 c | 813099 | 720 42653 136218 | 30629 29934 73 | 0.000 % |
532.27/532.54 c | 814058 | 720 42653 136218 | 30629 30893 73 | 0.000 % |
532.97/533.23 c | 815111 | 720 42653 136218 | 30629 28857 72 | 0.000 % |
533.77/534.07 c | 816269 | 720 42653 136218 | 30629 30015 72 | 0.000 % |
534.57/534.86 c | 817543 | 720 42653 136218 | 30629 28188 71 | 0.000 % |
535.57/535.80 c | 818943 | 720 42653 136218 | 30629 29588 72 | 0.000 % |
536.57/536.84 c | 820484 | 720 42653 136218 | 2147483647 31129 72 | 0.000 % |
537.67/537.90 c | 822178 | 720 42653 136218 | 2147483647 32823 71 | 0.000 % |
538.57/538.88 c | 824041 | 720 42653 136218 | 2147483647 34686 71 | 0.000 % |
540.16/540.49 c | 826090 | 720 42653 136218 | 2147483647 36735 72 | 0.000 % |
542.76/543.04 c | 828344 | 720 42653 136218 | 2147483647 38989 74 | 0.000 % |
545.46/545.72 c | 830822 | 720 42653 136218 | 40645 35661 73 | 0.000 % |
546.86/547.15 c | 833549 | 720 42653 136218 | 40645 38388 73 | 0.000 % |
550.06/550.37 c | 836547 | 720 42653 136218 | 40645 35759 73 | 0.000 % |
554.06/554.34 c | 839843 | 720 42653 136218 | 40645 39055 75 | 0.000 % |
556.36/556.63 c | 843470 | 720 42653 136218 | 39212 36840 74 | 0.000 % |
558.96/559.20 c | 847461 | 720 42653 136218 | 39212 35640 70 | 0.027 % |
562.06/562.34 c | 851850 | 720 42653 136218 | 38183 34980 70 | 0.000 % |
565.56/565.82 c | 856673 | 720 42653 136218 | 38183 34065 64 | 0.000 % |
569.36/569.67 c | 861979 | 720 42653 136218 | 37392 34444 65 | 0.000 % |
572.26/572.54 c | 867814 | 720 42653 136218 | 37392 35812 61 | 0.000 % |
576.16/576.47 c | 874234 | 720 42653 136218 | 33845 30940 56 | 0.022 % |
580.65/580.91 c | 881293 | 720 42653 136218 | 2147483647 34578 52 | 0.022 % |
585.05/585.32 c | 889058 | 720 42653 136218 | 2147483647 42343 53 | 0.022 % |
585.15/585.43 c | 889160 | 720 42653 136218 | 2147483647 42445 53 | 0.000 % |
585.25/585.51 c | 889270 | 720 42653 136218 | 2147483647 42555 53 | 0.000 % |
585.25/585.59 c | 889393 | 720 42653 136218 | 2147483647 42678 53 | 0.020 % |
585.35/585.64 c | 889527 | 720 42653 136218 | 2147483647 42812 53 | 0.020 % |
585.45/585.75 c | 889677 | 720 42653 136218 | 2147483647 42962 53 | 0.000 % |
585.55/585.89 c | 889837 | 720 42653 136218 | 2147483647 43122 53 | 0.000 % |
585.65/585.98 c | 890013 | 720 42653 136218 | 43285 43298 53 | 0.000 % |
585.85/586.15 c | 890208 | 720 42653 136218 | 43285 38823 52 | 0.000 % |
585.95/586.25 c | 890420 | 720 42653 136218 | 43285 39035 52 | 0.000 % |
586.15/586.40 c | 890653 | 720 42653 136218 | 43285 39268 52 | 0.000 % |
586.25/586.55 c | 890911 | 720 42653 136218 | 43285 39526 52 | 0.000 % |
586.45/586.78 c | 891194 | 720 42653 136218 | 43285 39809 52 | 0.000 % |
586.65/586.97 c | 891504 | 720 42653 136218 | 43285 40119 53 | 0.000 % |
586.95/587.21 c | 891845 | 720 42653 136218 | 43285 40460 53 | 0.000 % |
587.15/587.42 c | 892217 | 720 42653 136218 | 43285 40832 53 | 0.022 % |
587.35/587.64 c | 892626 | 720 42653 136218 | 43285 41241 53 | 0.000 % |
587.55/587.88 c | 893080 | 720 42653 136218 | 43285 41695 53 | 0.024 % |
587.85/588.14 c | 893575 | 720 42653 136218 | 43285 42190 53 | 0.000 % |
588.15/588.45 c | 894117 | 720 42653 136218 | 43285 42732 54 | 0.000 % |
588.55/588.80 c | 894714 | 720 42653 136218 | 43285 43329 55 | 0.000 % |
588.95/589.23 c | 895371 | 720 42653 136218 | 43285 39654 51 | 0.022 % |
589.45/589.75 c | 896094 | 720 42653 136218 | 43285 40377 52 | 0.000 % |
590.05/590.36 c | 896886 | 720 42653 136218 | 43285 41169 53 | 0.000 % |
590.65/590.91 c | 897757 | 720 42653 136218 | 43285 42040 53 | 0.000 % |
591.25/591.54 c | 898717 | 720 42653 136218 | 43285 43000 54 | 0.000 % |
592.05/592.36 c | 899772 | 720 42653 136218 | 43285 39693 53 | 0.000 % |
592.85/593.10 c | 900932 | 720 42653 136218 | 2147483647 40853 53 | 0.000 % |
593.55/593.85 c | 902206 | 720 42653 136218 | 2147483647 42127 55 | 0.000 % |
594.65/594.98 c | 903606 | 720 42653 136218 | 2147483647 43527 56 | 0.000 % |
595.85/596.19 c | 905146 | 720 42653 136218 | 2147483647 45067 57 | 0.000 % |
596.95/597.27 c | 906840 | 720 42653 136218 | 2147483647 46761 58 | 0.000 % |
598.34/598.64 c | 908705 | 720 42653 136218 | 2147483647 48626 59 | 0.000 % |
599.54/599.85 c | 910754 | 720 42653 136218 | 2147483647 50675 59 | 0.000 % |
601.45/601.73 c | 913007 | 720 42653 136218 | 2147483647 52928 59 | 0.032 % |
603.94/604.21 c | 915485 | 720 42653 136218 | 2147483647 55406 61 | 0.000 % |
605.84/606.16 c | 918210 | 720 42653 136218 | 2147483647 58131 62 | 0.000 % |
608.44/608.72 c | 921208 | 720 42653 136218 | 59922 50599 65 | 0.000 % |
611.24/611.58 c | 924504 | 720 42653 136218 | 59922 53895 64 | 0.000 % |
615.54/615.90 c | 928129 | 720 42653 136218 | 59922 57520 66 | 0.000 % |
619.34/619.66 c | 932116 | 720 42653 136218 | 59391 48822 70 | 0.000 % |
623.74/624.01 c | 936502 | 720 42653 136218 | 59391 53208 72 | 0.000 % |
629.04/629.35 c | 941325 | 720 42653 136218 | 56706 45322 69 | 0.000 % |
633.93/634.22 c | 946631 | 720 42653 136218 | 56706 50628 70 | 0.000 % |
640.13/640.46 c | 952467 | 720 42653 136218 | 53998 44232 66 | 0.000 % |
646.83/647.19 c | 958886 | 720 42653 136218 | 53998 50651 67 | 0.000 % |
653.23/653.55 c | 965947 | 720 42653 136218 | 51766 45832 64 | 0.000 % |
658.23/658.59 c | 973711 | 720 42653 136218 | 49885 44442 59 | 0.000 % |
663.93/664.20 c | 982253 | 720 42653 136218 | 43142 39137 55 | 0.000 % |
663.93/664.27 c | 982353 | 720 42653 136218 | 43142 39237 55 | 0.000 % |
664.03/664.36 c | 982463 | 720 42653 136218 | 43142 39347 55 | 0.000 % |
664.13/664.43 c | 982586 | 720 42653 136218 | 43142 39470 55 | 0.000 % |
664.23/664.58 c | 982719 | 720 42653 136218 | 43142 39603 55 | 0.000 % |
664.33/664.67 c | 982866 | 720 42653 136218 | 43142 39750 55 | 0.000 % |
664.43/664.78 c | 983030 | 720 42653 136218 | 43142 39914 55 | 0.000 % |
664.63/664.94 c | 983209 | 720 42653 136218 | 43142 40093 56 | 0.000 % |
664.72/665.08 c | 983404 | 720 42653 136218 | 43142 40288 56 | 0.000 % |
664.82/665.19 c | 983618 | 720 42653 136218 | 43142 40502 56 | 0.000 % |
665.02/665.37 c | 983854 | 720 42653 136218 | 43142 40738 56 | 0.032 % |
665.23/665.54 c | 984112 | 720 42653 136218 | 43142 40996 56 | 0.000 % |
665.32/665.67 c | 984393 | 720 42653 136218 | 43142 41277 56 | 0.000 % |
665.52/665.86 c | 984703 | 720 42653 136218 | 43142 41587 56 | 0.000 % |
665.72/666.02 c | 985043 | 720 42653 136218 | 43142 41927 56 | 0.032 % |
666.02/666.37 c | 985416 | 720 42653 136218 | 43142 42300 56 | 0.000 % |
666.33/666.64 c | 985825 | 720 42653 136218 | 43142 42709 56 | 0.000 % |
666.72/667.01 c | 986276 | 720 42653 136218 | 43142 43160 56 | 0.022 % |
667.12/667.40 c | 986770 | 720 42653 136218 | 43142 38346 54 | 0.000 % |
667.52/667.82 c | 987316 | 720 42653 136218 | 43142 38892 54 | 0.000 % |
667.82/668.14 c | 987915 | 720 42653 136218 | 43142 39491 55 | 0.000 % |
668.22/668.51 c | 988573 | 720 42653 136218 | 43142 40149 55 | 0.000 % |
668.72/669.06 c | 989293 | 720 42653 136218 | 43142 40869 56 | 0.000 % |
669.22/669.53 c | 990087 | 720 42653 136218 | 41576 41663 56 | 0.000 % |
669.82/670.15 c | 990961 | 720 42653 136218 | 41576 37680 56 | 0.000 % |
670.32/670.68 c | 991921 | 720 42653 136218 | 41576 38640 57 | 0.000 % |
670.92/671.25 c | 992974 | 720 42653 136218 | 41576 39693 57 | 0.000 % |
671.72/672.04 c | 994132 | 720 42653 136218 | 41576 40851 58 | 0.000 % |
672.63/672.93 c | 995406 | 720 42653 136218 | 41576 37935 57 | 0.000 % |
673.43/673.75 c | 996806 | 720 42653 136218 | 41576 39335 58 | 0.000 % |
674.53/674.81 c | 998346 | 720 42653 136218 | 41576 40875 59 | 0.000 % |
675.43/675.73 c | 1000044 | 720 42653 136218 | 2147483647 38391 58 | 0.000 % |
677.03/677.34 c | 1001909 | 720 42653 136218 | 2147483647 40256 60 | 0.000 % |
678.33/678.66 c | 1003958 | 720 42653 136218 | 2147483647 42305 61 | 0.000 % |
679.63/679.90 c | 1006212 | 720 42653 136218 | 2147483647 44559 62 | 0.000 % |
681.73/682.07 c | 1008690 | 720 42653 136218 | 2147483647 47037 61 | 0.000 % |
683.73/684.06 c | 1011416 | 720 42653 136218 | 48351 43424 60 | 0.026 % |
685.73/686.06 c | 1014414 | 720 42653 136218 | 48351 46422 59 | 0.026 % |
688.73/689.08 c | 1017711 | 720 42653 136218 | 48351 42498 57 | 0.000 % |
691.53/691.87 c | 1021336 | 720 42653 136218 | 44788 39011 53 | 0.027 % |
694.83/695.16 c | 1025324 | 720 42653 136218 | 44788 42999 52 | 0.027 % |
698.52/698.86 c | 1029710 | 720 42653 136218 | 44788 39507 47 | 0.027 % |
702.02/702.32 c | 1034533 | 720 42653 136218 | 39798 37421 42 | 0.027 % |
704.92/705.23 c | 1039839 | 720 42653 136218 | 39798 37759 47 | 0.000 % |
708.02/708.36 c | 1045674 | 720 42653 136218 | 37922 35955 50 | 0.000 % |
712.22/712.53 c | 1052094 | 720 42653 136218 | 2147483647 38561 51 | 0.032 % |
716.22/716.52 c | 1059154 | 720 42653 136218 | 2147483647 45621 56 | 0.000 % |
720.82/721.14 c | 1066919 | 720 42653 136218 | 2147483647 53386 58 | 0.000 % |
728.21/728.56 c | 1075460 | 720 42653 136218 | 56468 54233 62 | 0.000 % |
735.31/735.64 c | 1084856 | 720 42653 136218 | 48226 44168 64 | 0.000 % |
735.41/735.75 c | 1084957 | 720 42653 136218 | 48226 44269 64 | 0.000 % |
735.52/735.83 c | 1085067 | 720 42653 136218 | 48226 44379 64 | 0.000 % |
735.62/735.94 c | 1085188 | 720 42653 136218 | 48226 44500 64 | 0.000 % |
735.71/736.02 c | 1085323 | 720 42653 136218 | 48226 44635 65 | 0.000 % |
735.81/736.19 c | 1085470 | 720 42653 136218 | 48226 44782 65 | 0.000 % |
736.01/736.32 c | 1085631 | 720 42653 136218 | 48226 44943 65 | 0.000 % |
736.11/736.49 c | 1085807 | 720 42653 136218 | 48226 45119 65 | 0.000 % |
736.31/736.64 c | 1086002 | 720 42653 136218 | 48226 45314 65 | 0.000 % |
736.51/736.84 c | 1086215 | 720 42653 136218 | 48226 45527 65 | 0.000 % |
736.71/737.02 c | 1086449 | 720 42653 136218 | 48226 45761 65 | 0.000 % |
736.81/737.18 c | 1086705 | 720 42653 136218 | 48226 46017 65 | 0.000 % |
737.11/737.40 c | 1086986 | 720 42653 136218 | 48226 46298 65 | 0.000 % |
737.31/737.69 c | 1087295 | 720 42653 136218 | 48226 46607 65 | 0.000 % |
737.51/737.89 c | 1087634 | 720 42653 136218 | 48226 46946 65 | 0.024 % |
737.81/738.11 c | 1088006 | 720 42653 136218 | 48226 47318 65 | 0.000 % |
738.11/738.46 c | 1088416 | 720 42653 136218 | 48226 47728 65 | 0.000 % |
738.51/738.87 c | 1088867 | 720 42653 136218 | 48226 48179 65 | 0.000 % |
739.01/739.33 c | 1089361 | 720 42653 136218 | 48226 40323 63 | 0.000 % |
739.41/739.71 c | 1089903 | 720 42653 136218 | 48226 40865 63 | 0.000 % |
739.81/740.14 c | 1090500 | 720 42653 136218 | 40964 34667 63 | 0.000 % |
740.21/740.54 c | 1091155 | 720 42653 136218 | 40964 35322 64 | 0.000 % |
740.61/740.98 c | 1091875 | 720 42653 136218 | 40964 36042 64 | 0.000 % |
741.21/741.54 c | 1092669 | 720 42653 136218 | 40964 36836 64 | 0.000 % |
741.81/742.13 c | 1093541 | 720 42653 136218 | 40964 37708 64 | 0.000 % |
742.30/742.68 c | 1094500 | 720 42653 136218 | 40964 38667 65 | 0.000 % |
743.31/743.61 c | 1095553 | 720 42653 136218 | 40964 39720 66 | 0.000 % |
744.50/744.88 c | 1096711 | 720 42653 136218 | 40964 40878 67 | 0.000 % |
745.90/746.21 c | 1097984 | 720 42653 136218 | 40964 36585 66 | 0.000 % |
747.30/747.63 c | 1099384 | 720 42653 136218 | 40964 37985 67 | 0.000 % |
748.60/748.97 c | 1100926 | 720 42653 136218 | 38602 34326 67 | 0.000 % |
749.70/750.05 c | 1102620 | 720 42653 136218 | 38602 36020 68 | 0.000 % |
751.10/751.47 c | 1104484 | 720 42653 136218 | 38602 37884 68 | 0.000 % |
752.80/753.16 c | 1106535 | 720 42653 136218 | 38602 34704 66 | 0.000 % |
754.90/755.23 c | 1108790 | 720 42653 136218 | 38602 36959 68 | 0.000 % |
757.10/757.44 c | 1111269 | 720 42653 136218 | 38170 33845 68 | 0.000 % |
759.50/759.80 c | 1113994 | 720 42653 136218 | 38170 36570 70 | 0.000 % |
761.80/762.17 c | 1116992 | 720 42653 136218 | 38170 33375 72 | 0.000 % |
763.80/764.17 c | 1120288 | 720 42653 136218 | 36384 36671 72 | 0.000 % |
766.50/766.81 c | 1123913 | 720 42653 136218 | 36384 34914 69 | 0.000 % |
769.80/770.13 c | 1127902 | 720 42653 136218 | 36384 34169 70 | 0.000 % |
772.69/773.03 c | 1132287 | 720 42653 136218 | 36270 34442 71 | 0.000 % |
775.89/776.25 c | 1137110 | 720 42653 136218 | 36270 35438 69 | 0.000 % |
779.50/779.84 c | 1142415 | 720 42653 136218 | 2147483647 37060 66 | 0.000 % |
783.99/784.34 c | 1148250 | 720 42653 136218 | 2147483647 42895 65 | 0.000 % |
788.49/788.84 c | 1154668 | 720 42653 136218 | 44645 43702 64 | 0.000 % |
793.49/793.89 c | 1161731 | 720 42653 136218 | 42658 38116 60 | 0.000 % |
799.68/800.09 c | 1169496 | 720 42653 136218 | 42658 39133 63 | 0.000 % |
805.18/805.58 c | 1178036 | 720 42653 136218 | 39640 36559 69 | 0.000 % |
813.38/813.75 c | 1187430 | 720 42653 136218 | 38527 36009 75 | 0.000 % |
819.58/819.97 c | 1197766 | 720 42653 136218 | 38580 38161 73 | 0.000 % |
819.68/820.08 c | 1197866 | 720 42653 136218 | 38580 38261 74 | 0.000 % |
819.88/820.22 c | 1197979 | 720 42653 136218 | 38580 38374 74 | 0.000 % |
819.88/820.30 c | 1198100 | 720 42653 136218 | 38580 38495 74 | 0.000 % |
820.08/820.40 c | 1198233 | 720 42653 136218 | 38580 38628 74 | 0.000 % |
820.18/820.57 c | 1198381 | 720 42653 136218 | 38580 34842 71 | 0.000 % |
820.38/820.71 c | 1198543 | 720 42653 136218 | 38580 35004 71 | 0.000 % |
820.48/820.89 c | 1198723 | 720 42653 136218 | 38580 35184 71 | 0.000 % |
820.68/821.03 c | 1198917 | 720 42653 136218 | 38580 35378 71 | 0.000 % |
820.88/821.25 c | 1199129 | 720 42653 136218 | 38580 35590 72 | 0.000 % |
821.18/821.50 c | 1199362 | 720 42653 136218 | 38580 35823 72 | 0.000 % |
821.38/821.76 c | 1199620 | 720 42653 136218 | 38580 36081 72 | 0.000 % |
821.68/822.04 c | 1199901 | 720 42653 136218 | 38580 36362 72 | 0.000 % |
821.98/822.35 c | 1200213 | 720 42653 136218 | 36461 36674 73 | 0.000 % |
822.18/822.59 c | 1200553 | 720 42653 136218 | 36461 32985 72 | 0.000 % |
822.57/822.95 c | 1200926 | 720 42653 136218 | 36461 33358 72 | 0.000 % |
822.87/823.23 c | 1201335 | 720 42653 136218 | 36461 33767 72 | 0.000 % |
823.17/823.54 c | 1201784 | 720 42653 136218 | 36461 34216 73 | 0.000 % |
823.58/823.92 c | 1202277 | 720 42653 136218 | 36461 34709 72 | 0.000 % |
823.87/824.26 c | 1202821 | 720 42653 136218 | 36461 35253 73 | 0.000 % |
824.27/824.65 c | 1203419 | 720 42653 136218 | 36461 35851 72 | 0.000 % |
824.77/825.15 c | 1204076 | 720 42653 136218 | 36461 36508 72 | 0.000 % |
825.37/825.79 c | 1204801 | 720 42653 136218 | 36461 33109 70 | 0.000 % |
826.07/826.45 c | 1205593 | 720 42653 136218 | 36461 33901 70 | 0.000 % |
826.97/827.31 c | 1206465 | 720 42653 136218 | 36461 34773 71 | 0.000 % |
827.67/828.01 c | 1207428 | 720 42653 136218 | 36461 35736 72 | 0.000 % |
828.57/828.92 c | 1208481 | 720 42653 136218 | 36461 32157 68 | 0.000 % |
829.27/829.68 c | 1209639 | 720 42653 136218 | 36461 33315 69 | 0.000 % |
830.27/830.66 c | 1210913 | 720 42653 136218 | 33676 30545 67 | 0.000 % |
831.07/831.41 c | 1212314 | 720 42653 136218 | 33676 31946 68 | 0.000 % |
832.27/832.64 c | 1213854 | 720 42653 136218 | 33676 33486 69 | 0.000 % |
833.57/833.92 c | 1215549 | 720 42653 136218 | 33676 31778 69 | 0.000 % |
834.87/835.25 c | 1217414 | 720 42653 136218 | 33676 33643 71 | 0.000 % |
836.47/836.89 c | 1219464 | 720 42653 136218 | 33676 32280 71 | 0.000 % |
838.17/838.52 c | 1221719 | 720 42653 136218 | 32817 31125 70 | 0.000 % |
839.78/840.13 c | 1224197 | 720 42653 136218 | 32817 30289 68 | 0.000 % |
841.28/841.66 c | 1226923 | 720 42653 136218 | 32817 29717 66 | 0.019 % |
842.88/843.21 c | 1229922 | 720 42653 136218 | 32817 32716 65 | 0.000 % |
844.98/845.38 c | 1233219 | 720 42653 136218 | 2147483647 36013 65 | 0.000 % |
847.28/847.68 c | 1236844 | 720 42653 136218 | 2147483647 39638 64 | 0.032 % |
850.57/850.97 c | 1240831 | 720 42653 136218 | 42795 37633 60 | 0.032 % |
854.17/854.50 c | 1245217 | 720 42653 136218 | 42795 42019 59 | 0.021 % |
857.07/857.49 c | 1250042 | 720 42653 136218 | 39936 39978 54 | 0.024 % |
860.27/860.68 c | 1255348 | 720 42653 136218 | 39936 39676 57 | 0.000 % |
863.87/864.25 c | 1261183 | 720 42653 136218 | 2147483647 37463 60 | 0.000 % |
869.07/869.45 c | 1267603 | 720 42653 136218 | 2147483647 43883 61 | 0.000 % |
875.57/875.99 c | 1274662 | 720 42653 136218 | 46282 42958 63 | 0.000 % |
880.36/880.73 c | 1282427 | 720 42653 136218 | 40689 36694 66 | 0.000 % |
885.17/885.53 c | 1290968 | 720 42653 136218 | 39657 35980 57 | 0.032 % |
889.86/890.28 c | 1300364 | 720 42653 136218 | 35208 35570 56 | 0.024 % |
896.06/896.45 c | 1310697 | 720 42653 136218 | 33061 30173 53 | 0.000 % |
904.56/904.95 c | 1322067 | 720 42653 136218 | 31476 29282 52 | 0.032 % |
904.56/904.99 c | 1322167 | 720 42653 136218 | 31476 29382 52 | 0.000 % |
904.66/905.03 c | 1322278 | 720 42653 136218 | 31476 29493 52 | 0.000 % |
904.66/905.09 c | 1322400 | 720 42653 136218 | 31476 29615 52 | 0.000 % |
904.76/905.16 c | 1322533 | 720 42653 136218 | 31476 29748 52 | 0.000 % |
904.86/905.24 c | 1322680 | 720 42653 136218 | 31476 29895 53 | 0.000 % |
904.96/905.31 c | 1322841 | 720 42653 136218 | 31476 30056 53 | 0.000 % |
904.96/905.38 c | 1323018 | 720 42653 136218 | 31476 30233 53 | 0.025 % |
905.06/905.46 c | 1323212 | 720 42653 136218 | 31476 30427 53 | 0.000 % |
905.16/905.53 c | 1323424 | 720 42653 136218 | 31476 30639 53 | 0.000 % |
905.26/905.61 c | 1323657 | 720 42653 136218 | 31476 30872 53 | 0.000 % |
905.36/905.70 c | 1323913 | 720 42653 136218 | 31476 31128 53 | 0.000 % |
905.46/905.82 c | 1324194 | 720 42653 136218 | 31476 31409 53 | 0.026 % |
905.56/905.98 c | 1324503 | 720 42653 136218 | 31476 28550 51 | 0.000 % |
905.76/906.10 c | 1324842 | 720 42653 136218 | 31476 28889 52 | 0.000 % |
905.86/906.22 c | 1325214 | 720 42653 136218 | 31476 29261 52 | 0.000 % |
905.96/906.37 c | 1325623 | 720 42653 136218 | 31476 29670 52 | 0.000 % |
906.16/906.55 c | 1326073 | 720 42653 136218 | 31476 30120 52 | 0.000 % |
906.36/906.77 c | 1326568 | 720 42653 136218 | 31476 30615 53 | 0.000 % |
906.66/907.02 c | 1327110 | 720 42653 136218 | 31476 31157 53 | 0.000 % |
906.86/907.26 c | 1327706 | 720 42653 136218 | 31476 28579 53 | 0.000 % |
907.06/907.50 c | 1328361 | 720 42653 136218 | 31476 29234 53 | 0.000 % |
907.36/907.76 c | 1329081 | 720 42653 136218 | 31476 29954 53 | 0.022 % |
907.76/908.10 c | 1329874 | 720 42653 136218 | 31476 30747 54 | 0.000 % |
908.05/908.50 c | 1330745 | 720 42653 136218 | 2147483647 31618 55 | 0.000 % |
908.55/908.98 c | 1331703 | 720 42653 136218 | 2147483647 32576 55 | 0.000 % |
909.36/909.71 c | 1332756 | 720 42653 136218 | 2147483647 33629 55 | 0.022 % |
910.25/910.68 c | 1333915 | 720 42653 136218 | 2147483647 34788 54 | 0.022 % |
911.15/911.51 c | 1335188 | 720 42653 136218 | 2147483647 36061 54 | 0.032 % |
912.06/912.45 c | 1336589 | 720 42653 136218 | 2147483647 37462 54 | 0.000 % |
913.05/913.42 c | 1338129 | 720 42653 136218 | 2147483647 39002 55 | 0.000 % |
914.05/914.41 c | 1339823 | 720 42653 136218 | 2147483647 40696 56 | 0.000 % |
914.95/915.30 c | 1341690 | 720 42653 136218 | 2147483647 42563 56 | 0.020 % |
916.15/916.56 c | 1343739 | 720 42653 136218 | 2147483647 44612 56 | 0.032 % |
917.45/917.89 c | 1345993 | 720 42653 136218 | 2147483647 46866 55 | 0.022 % |
918.95/919.30 c | 1348474 | 720 42653 136218 | 2147483647 49347 54 | 0.032 % |
920.75/921.18 c | 1351199 | 720 42653 136218 | 50873 46514 53 | 0.000 % |
923.15/923.55 c | 1354196 | 720 42653 136218 | 50873 49511 53 | 0.032 % |
925.86/926.20 c | 1357492 | 720 42653 136218 | 50873 45171 52 | 0.032 % |
928.45/928.82 c | 1361117 | 720 42653 136218 | 47680 41681 49 | 0.032 % |
931.75/932.17 c | 1365104 | 720 42653 136218 | 47680 45668 49 | 0.032 % |
935.45/935.85 c | 1369489 | 720 42653 136218 | 47680 41954 47 | 0.032 % |
939.25/939.64 c | 1374314 | 720 42653 136218 | 42465 39189 44 | 0.000 % |
943.64/944.05 c | 1379619 | 720 42653 136218 | 42465 36659 43 | 0.032 % |
948.15/948.58 c | 1385454 | 720 42653 136218 | 37041 35950 42 | 0.000 % |
953.55/953.93 c | 1391873 | 720 42653 136218 | 33499 29102 37 | 0.032 % |
958.65/959.05 c | 1398933 | 720 42653 136218 | 33499 30589 38 | 0.032 % |
962.85/963.24 c | 1406701 | 719 42474 135741 | 31656 11396 45 | 0.139 % |
965.65/966.06 c | 1415242 | 719 42474 135741 | 2147483647 19937 60 | 0.139 % |
969.55/969.96 c | 1424637 | 719 42474 135741 | 2147483647 29332 66 | 0.139 % |
976.04/976.48 c | 1434973 | 719 42474 135741 | 2147483647 39668 65 | 0.139 % |
984.34/984.73 c | 1446340 | 719 42474 135741 | 44697 44303 65 | 0.139 % |
989.84/990.20 c | 1458845 | 719 42474 135741 | 40696 39072 52 | 0.167 % |
989.84/990.27 c | 1458947 | 719 42474 135741 | 40696 39174 52 | 0.139 % |
989.94/990.33 c | 1459059 | 719 42474 135741 | 40696 39286 52 | 0.164 % |
990.04/990.44 c | 1459181 | 719 42474 135741 | 40696 39408 52 | 0.139 % |
990.14/990.52 c | 1459314 | 719 42474 135741 | 40696 39541 52 | 0.139 % |
990.24/990.62 c | 1459463 | 719 42474 135741 | 40696 39690 52 | 0.139 % |
990.34/990.72 c | 1459623 | 719 42474 135741 | 40696 39850 52 | 0.139 % |
990.44/990.84 c | 1459799 | 719 42474 135741 | 40696 40026 52 | 0.157 % |
990.54/990.95 c | 1459992 | 719 42474 135741 | 40696 40219 52 | 0.169 % |
990.64/991.07 c | 1460204 | 719 42474 135741 | 40227 40431 52 | 0.139 % |
990.84/991.23 c | 1460438 | 719 42474 135741 | 40227 36471 50 | 0.139 % |
990.94/991.36 c | 1460694 | 719 42474 135741 | 40227 36727 50 | 0.139 % |
991.04/991.45 c | 1460976 | 719 42474 135741 | 40227 37009 50 | 0.165 % |
991.14/991.58 c | 1461286 | 719 42474 135741 | 40227 37319 50 | 0.161 % |
991.34/991.70 c | 1461626 | 719 42474 135741 | 40227 37659 50 | 0.161 % |
991.44/991.89 c | 1461998 | 719 42474 135741 | 40227 38031 50 | 0.156 % |
991.64/992.08 c | 1462409 | 719 42474 135741 | 40227 38442 50 | 0.139 % |
991.94/992.31 c | 1462859 | 719 42474 135741 | 40227 38892 50 | 0.139 % |
992.14/992.54 c | 1463352 | 719 42474 135741 | 40227 39385 50 | 0.139 % |
992.54/992.90 c | 1463894 | 719 42474 135741 | 40227 39927 51 | 0.139 % |
992.84/993.23 c | 1464490 | 719 42474 135741 | 40227 36472 50 | 0.139 % |
993.14/993.52 c | 1465150 | 719 42474 135741 | 40227 37132 51 | 0.139 % |
993.44/993.88 c | 1465871 | 719 42474 135741 | 40227 37853 51 | 0.139 % |
993.94/994.37 c | 1466663 | 719 42474 135741 | 40227 38645 51 | 0.159 % |
994.34/994.72 c | 1467534 | 719 42474 135741 | 40227 39516 51 | 0.139 % |
994.84/995.28 c | 1468494 | 719 42474 135741 | 40227 36441 50 | 0.139 % |
995.34/995.77 c | 1469548 | 719 42474 135741 | 40227 37495 50 | 0.165 % |
996.14/996.56 c | 1470706 | 719 42474 135741 | 2147483647 38653 52 | 0.139 % |
996.94/997.32 c | 1471979 | 719 42474 135741 | 2147483647 39926 52 | 0.139 % |
997.84/998.21 c | 1473379 | 719 42474 135741 | 2147483647 41326 53 | 0.139 % |
998.84/999.21 c | 1474921 | 719 42474 135741 | 2147483647 42868 54 | 0.139 % |
1000.14/1000.53 c | 1476615 | 719 42474 135741 | 2147483647 44562 54 | 0.139 % |
1001.24/1001.62 c | 1478479 | 719 42474 135741 | 2147483647 46426 55 | 0.139 % |
1002.34/1002.79 c | 1480529 | 719 42474 135741 | 2147483647 48476 56 | 0.139 % |
1004.04/1004.49 c | 1482782 | 719 42474 135741 | 2147483647 50729 57 | 0.139 % |
1005.94/1006.33 c | 1485260 | 719 42474 135741 | 2147483647 53207 58 | 0.139 % |
1008.13/1008.53 c | 1487986 | 719 42474 135741 | 2147483647 55933 59 | 0.170 % |
1010.54/1010.99 c | 1490984 | 719 42474 135741 | 57948 48502 58 | 0.139 % |
1013.33/1013.71 c | 1494281 | 719 42474 135741 | 57948 51799 58 | 0.139 % |
1015.43/1015.85 c | 1497908 | 719 42474 135741 | 57948 55426 58 | 0.139 % |
1017.83/1018.23 c | 1501895 | 719 42474 135741 | 57520 48778 60 | 0.139 % |
1021.53/1021.96 c | 1506282 | 719 42474 135741 | 57520 53165 60 | 0.164 % |
1025.03/1025.49 c | 1511107 | 719 42474 135741 | 56884 48385 57 | 0.161 % |
1028.83/1029.27 c | 1516412 | 719 42474 135741 | 56884 53690 58 | 0.139 % |
1033.93/1034.33 c | 1522247 | 719 42474 135741 | 46731 40470 52 | 0.139 % |
1039.83/1040.25 c | 1528666 | 719 42474 135741 | 46731 46889 54 | 0.161 % |
1045.02/1045.41 c | 1535725 | 719 42474 135741 | 40417 39394 52 | 0.161 % |
1050.52/1051.00 c | 1543489 | 719 42474 135741 | 37088 34324 51 | 0.139 % |
1055.72/1056.17 c | 1552033 | 719 42474 135741 | 35457 32637 46 | 0.161 % |
1060.02/1060.48 c | 1561427 | 719 42474 135741 | 2147483647 34864 56 | 0.139 % |
1066.22/1066.60 c | 1571760 | 719 42474 135741 | 43439 40412 57 | 0.139 % |
1072.42/1072.82 c | 1583126 | 719 42474 135741 | 43503 41016 58 | 0.139 % |
1079.22/1079.69 c | 1595628 | 719 42474 135741 | 42281 42340 55 | 0.139 % |
1085.61/1086.04 c | 1609380 | 719 42474 135741 | 41137 37834 49 | 0.139 % |
1085.61/1086.10 c | 1609481 | 719 42474 135741 | 41137 37935 49 | 0.139 % |
1085.71/1086.16 c | 1609591 | 719 42474 135741 | 41137 38045 49 | 0.139 % |
1085.81/1086.25 c | 1609712 | 719 42474 135741 | 41137 38166 49 | 0.139 % |
1085.91/1086.31 c | 1609845 | 719 42474 135741 | 41137 38299 49 | 0.139 % |
1085.91/1086.37 c | 1609991 | 719 42474 135741 | 41137 38445 49 | 0.160 % |
1086.01/1086.46 c | 1610154 | 719 42474 135741 | 2147483647 38608 49 | 0.139 % |
1086.11/1086.54 c | 1610332 | 719 42474 135741 | 2147483647 38786 49 | 0.139 % |
1086.21/1086.62 c | 1610529 | 719 42474 135741 | 2147483647 38983 49 | 0.139 % |
1086.32/1086.75 c | 1610744 | 719 42474 135741 | 2147483647 39198 49 | 0.139 % |
1086.42/1086.83 c | 1610978 | 719 42474 135741 | 2147483647 39432 49 | 0.139 % |
1086.51/1086.94 c | 1611236 | 719 42474 135741 | 2147483647 39690 49 | 0.139 % |
1086.61/1087.04 c | 1611517 | 719 42474 135741 | 2147483647 39971 49 | 0.139 % |
1086.71/1087.18 c | 1611826 | 719 42474 135741 | 2147483647 40280 50 | 0.139 % |
1086.91/1087.36 c | 1612166 | 719 42474 135741 | 2147483647 40620 50 | 0.139 % |
1087.11/1087.55 c | 1612538 | 719 42474 135741 | 2147483647 40992 50 | 0.139 % |
1087.31/1087.75 c | 1612947 | 719 42474 135741 | 2147483647 41401 51 | 0.139 % |
1087.52/1087.98 c | 1613398 | 719 42474 135741 | 2147483647 41852 51 | 0.139 % |
1087.81/1088.21 c | 1613891 | 719 42474 135741 | 2147483647 42345 51 | 0.139 % |
1088.01/1088.46 c | 1614433 | 719 42474 135741 | 2147483647 42887 51 | 0.139 % |
1088.31/1088.75 c | 1615031 | 719 42474 135741 | 2147483647 43485 51 | 0.139 % |
1088.61/1089.07 c | 1615686 | 719 42474 135741 | 2147483647 44140 51 | 0.139 % |
1089.01/1089.47 c | 1616409 | 719 42474 135741 | 2147483647 44863 52 | 0.139 % |
1089.51/1089.94 c | 1617203 | 719 42474 135741 | 2147483647 45657 52 | 0.166 % |
1089.91/1090.34 c | 1618075 | 719 42474 135741 | 2147483647 46529 52 | 0.139 % |
1090.61/1091.05 c | 1619034 | 719 42474 135741 | 2147483647 47488 53 | 0.139 % |
1091.51/1091.96 c | 1620091 | 719 42474 135741 | 2147483647 48545 54 | 0.139 % |
1092.61/1093.02 c | 1621251 | 719 42474 135741 | 2147483647 49705 55 | 0.139 % |
1093.51/1093.94 c | 1622525 | 719 42474 135741 | 2147483647 50979 56 | 0.161 % |
1094.51/1094.97 c | 1623927 | 719 42474 135741 | 2147483647 52381 57 | 0.139 % |
1095.51/1095.92 c | 1625467 | 719 42474 135741 | 2147483647 53921 57 | 0.139 % |
1096.61/1097.08 c | 1627161 | 719 42474 135741 | 2147483647 55615 57 | 0.139 % |
1097.81/1098.26 c | 1629025 | 719 42474 135741 | 2147483647 57479 57 | 0.163 % |
1099.61/1100.02 c | 1631074 | 719 42474 135741 | 58455 51878 58 | 0.139 % |
1101.21/1101.67 c | 1633328 | 719 42474 135741 | 58455 54132 60 | 0.139 % |
1103.01/1103.45 c | 1635808 | 719 42474 135741 | 58455 56612 61 | 0.139 % |
1105.41/1105.82 c | 1638535 | 719 42474 135741 | 58455 48917 62 | 0.139 % |
1107.91/1108.32 c | 1641532 | 719 42474 135741 | 50382 43244 67 | 0.139 % |
1110.91/1111.39 c | 1644829 | 719 42474 135741 | 50382 46541 69 | 0.139 % |
1113.91/1114.39 c | 1648455 | 719 42474 135741 | 50382 50167 68 | 0.139 % |
1117.21/1117.61 c | 1652443 | 719 42474 135741 | 42221 36709 65 | 0.139 % |
1121.00/1121.43 c | 1656829 | 719 42474 135741 | 42221 41095 64 | 0.171 % |
1125.20/1125.60 c | 1661653 | 719 42474 135741 | 35905 30415 56 | 0.139 % |
1128.50/1128.91 c | 1666959 | 719 42474 135741 | 35905 35721 57 | 0.139 % |
1132.20/1132.68 c | 1672794 | 719 42474 135741 | 32537 29733 50 | 0.139 % |
1136.00/1136.47 c | 1679212 | 719 42474 135741 | 32537 31311 49 | 0.171 % |
1140.09/1140.51 c | 1686273 | 719 42474 135741 | 32099 29164 47 | 0.167 % |
1143.60/1144.03 c | 1694039 | 719 42474 135741 | 2147483647 33685 50 | 0.139 % |
1148.19/1148.60 c | 1702581 | 719 42474 135741 | 2147483647 42227 57 | 0.139 % |
1154.89/1155.40 c | 1711977 | 719 42474 135741 | 49646 44880 64 | 0.139 % |
1162.99/1163.43 c | 1722310 | 719 42474 135741 | 43861 38155 66 | 0.139 % |
1170.99/1171.45 c | 1733678 | 719 42474 135741 | 38136 35203 57 | 0.161 % |
1177.98/1178.49 c | 1746180 | 719 42474 135741 | 36356 34891 52 | 0.139 % |
1184.29/1184.76 c | 1759933 | 719 42474 135741 | 2147483647 44977 58 | 0.139 % |
1193.58/1194.00 c | 1775064 | 719 42474 135741 | 55045 52714 58 | 0.139 % |
1193.68/1194.11 c | 1775166 | 719 42474 135741 | 55045 52816 58 | 0.139 % |
1193.68/1194.18 c | 1775276 | 719 42474 135741 | 55045 52926 58 | 0.139 % |
1193.78/1194.26 c | 1775398 | 719 42474 135741 | 55045 53048 58 | 0.167 % |
1193.88/1194.34 c | 1775531 | 719 42474 135741 | 55045 53181 58 | 0.167 % |
1193.98/1194.47 c | 1775678 | 719 42474 135741 | 55045 53328 58 | 0.139 % |
1194.08/1194.59 c | 1775840 | 719 42474 135741 | 55045 53490 58 | 0.139 % |
1194.28/1194.71 c | 1776016 | 719 42474 135741 | 55045 53666 58 | 0.139 % |
1194.38/1194.85 c | 1776210 | 719 42474 135741 | 55045 53860 58 | 0.139 % |
1194.58/1195.00 c | 1776424 | 719 42474 135741 | 55045 54074 58 | 0.139 % |
1194.68/1195.15 c | 1776657 | 719 42474 135741 | 55045 54307 58 | 0.166 % |
1194.88/1195.38 c | 1776913 | 719 42474 135741 | 55045 54563 58 | 0.166 % |
1195.08/1195.59 c | 1777195 | 719 42474 135741 | 55045 54845 58 | 0.166 % |
1195.28/1195.79 c | 1777504 | 719 42474 135741 | 55045 55154 58 | 0.139 % |
1195.58/1196.09 c | 1777843 | 719 42474 135741 | 55045 47154 59 | 0.139 % |
1195.88/1196.37 c | 1778215 | 719 42474 135741 | 55045 47526 59 | 0.139 % |
1196.18/1196.64 c | 1778624 | 719 42474 135741 | 55045 47935 59 | 0.139 % |
1196.38/1196.89 c | 1779074 | 719 42474 135741 | 55045 48385 59 | 0.139 % |
1196.88/1197.31 c | 1779569 | 719 42474 135741 | 55045 48880 59 | 0.139 % |
1197.28/1197.73 c | 1780111 | 719 42474 135741 | 49313 49422 59 | 0.139 % |
1197.68/1198.11 c | 1780708 | 719 42474 135741 | 49313 42872 59 | 0.139 % |
1198.08/1198.52 c | 1781363 | 719 42474 135741 | 49313 43527 59 | 0.139 % |
1198.48/1198.96 c | 1782083 | 719 42474 135741 | 49313 44247 59 | 0.139 % |
1198.98/1199.45 c | 1782875 | 719 42474 135741 | 49313 45039 60 | 0.139 % |
1199.49/1199.90 c | 1783747 | 719 42474 135741 | 49313 45911 60 | 0.139 % |
1200.09/1200.50 c | 1784705 | 719 42474 135741 | 49313 46869 60 | 0.139 % |
1200.09/1200.51 HOME/SatELiteGTI: line 36: 16218 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834109-1242828084/watcher-1834109-1242828084 -o /tmp/evaluation-result-1834109-1242828084/solver-1834109-1242828084 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834109-1242828084.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.97 0.99 3/64 16212
/proc/meminfo: memFree=1933680/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310835864 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16212/statm: 1339 237 197 169 0 50 0
[startup+0.0394199 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16212
/proc/meminfo: memFree=1933680/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310835864 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16212/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101425 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16212
/proc/meminfo: memFree=1933680/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310835864 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16212/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301441 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16212
/proc/meminfo: memFree=1933680/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701469 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16212
/proc/meminfo: memFree=1933680/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50152 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1927648/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=6896 CPUtime=1.3
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 1522 0 0 0 130 0 0 0 25 0 1 0 310835882 7061504 1508 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 1724 1508 77 171 0 1551 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12252
[startup+3.10162 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1925792/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=9104 CPUtime=2.89
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 2055 0 0 0 288 1 0 0 25 0 1 0 310835882 9322496 2041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 2276 2041 77 171 0 2103 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14460
[startup+6.30184 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1922336/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=12040 CPUtime=6.09
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 2789 0 0 0 608 1 0 0 25 0 1 0 310835882 12328960 2775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 3010 2775 77 171 0 2837 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17396
[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1917792/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=15952 CPUtime=12.49
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 3774 0 0 0 1246 3 0 0 25 0 1 0 310835882 16334848 3760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 3988 3760 77 171 0 3815 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21308
[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1913440/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=20068 CPUtime=25.28
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 4796 0 0 0 2525 3 0 0 25 0 1 0 310835882 20549632 4782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5017 4782 77 171 0 4844 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25424
[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1913184/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=20200 CPUtime=50.87
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 4850 0 0 0 5083 4 0 0 25 0 1 0 310835882 20684800 4836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5050 4836 77 171 0 4877 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 25556
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1912928/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=20492 CPUtime=102.04
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 4907 0 0 0 10200 4 0 0 25 0 1 0 310835882 20983808 4893 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5123 4893 77 171 0 4950 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 25848
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1911904/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=21380 CPUtime=162.02
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 5119 0 0 0 16197 5 0 0 25 0 1 0 310835882 21893120 5105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5345 5105 77 171 0 5172 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 26736
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1911776/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=21380 CPUtime=221.99
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 5119 0 0 0 22194 5 0 0 25 0 1 0 310835882 21893120 5105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5345 5105 77 171 0 5172 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 26736
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1911712/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=21516 CPUtime=281.97
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 5141 0 0 0 28191 6 0 0 25 0 1 0 310835882 22032384 5127 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5379 5127 77 171 0 5206 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 26872
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1911392/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=21648 CPUtime=341.95
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 5175 0 0 0 34189 6 0 0 25 0 1 0 310835882 22167552 5161 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5412 5161 77 171 0 5239 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 27004
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16218
/proc/meminfo: memFree=1911008/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=22076 CPUtime=401.93
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 5266 0 0 0 40186 7 0 0 25 0 1 0 310835882 22605824 5252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 5519 5252 77 171 0 5346 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 27432
[startup+462.301 s]
################
# More data... #
################
[pid=16218] ppid=16212 vsize=26252 CPUtime=521.9
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6304 0 0 0 52181 9 0 0 25 0 1 0 310835882 26882048 6290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6563 6290 77 171 0 6390 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 31608
[startup+582.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1906528/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=26252 CPUtime=581.88
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6304 0 0 0 58179 9 0 0 25 0 1 0 310835882 26882048 6290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6563 6290 77 171 0 6390 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 31608
[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904672/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=641.87
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6743 0 0 0 64177 10 0 0 25 0 1 0 310835882 28663808 6729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6729 77 171 0 6825 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 33348
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904480/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=701.85
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6755 0 0 0 70174 11 0 0 25 0 1 0 310835882 28663808 6741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6741 77 171 0 6825 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 33348
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904352/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=761.83
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6755 0 0 0 76172 11 0 0 25 0 1 0 310835882 28663808 6741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6741 77 171 0 6825 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 33348
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904288/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=821.81
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6755 0 0 0 82170 11 0 0 25 0 1 0 310835882 28663808 6741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6741 77 171 0 6825 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 33348
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904160/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=881.79
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6757 0 0 0 88167 12 0 0 25 0 1 0 310835882 28663808 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6743 77 171 0 6825 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 33348
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904096/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=941.77
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6757 0 0 0 94165 12 0 0 25 0 1 0 310835882 28663808 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6743 77 171 0 6825 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 33348
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1904032/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1001.77
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6757 0 0 0 100164 13 0 0 25 0 1 0 310835882 28663808 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6743 77 171 0 6825 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 33348
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1903904/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1061.75
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6757 0 0 0 106162 13 0 0 25 0 1 0 310835882 28663808 6743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6743 77 171 0 6825 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 33348
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1903840/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1121.73
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6758 0 0 0 112160 13 0 0 25 0 1 0 310835882 28663808 6744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6744 77 171 0 6825 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 33348
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1903776/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1181.71
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6758 0 0 0 118158 13 0 0 25 0 1 0 310835882 28663808 6744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6744 77 171 0 6825 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 33348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1903712/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1199.92
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6758 0 0 0 119978 14 0 0 25 0 1 0 310835882 28663808 6744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6744 77 171 0 6825 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 33348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16218
/proc/meminfo: memFree=1903712/2055920 swapFree=4180728/4192956
[pid=16212] ppid=16210 vsize=5356 CPUtime=0.17
/proc/16212/stat : 16212 (SatELiteGTI) S 16210 16212 15925 0 -1 4194304 336 1253 0 0 0 0 17 0 16 0 1 0 310835864 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16212/statm: 1339 239 197 169 0 50 0
[pid=16218] ppid=16212 vsize=27992 CPUtime=1199.92
/proc/16218/stat : 16218 (minisat_static) R 16212 16212 15925 0 -1 4194304 6758 0 0 0 119978 14 0 0 25 0 1 0 310835882 28663808 6744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/16218/statm: 6998 6744 77 171 0 6825 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 33348
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.12
CPU user time (s): 1199.96
CPU system time (s): 0.153976
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 33348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 4569
runsolver used 1.47778 second user time and 3.02854 second system time
The end
Begin job on node52 at 2009-05-20 16:01:24
IDJOB=1834109
IDBENCH=71396
IDSOLVER=671
FILE ID=node52/1834109-1242828084
PBS_JOBID= 9322531
Free space on /tmp= 66104 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834109-1242828084/watcher-1834109-1242828084 -o /tmp/evaluation-result-1834109-1242828084/solver-1834109-1242828084 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834109-1242828084.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 678295c947877f01251ebfe072d64bf5
RANDOM SEED=1545899271
node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1934160 kB
Buffers: 17516 kB
Cached: 67484 kB
SwapCached: 6732 kB
Active: 48932 kB
Inactive: 44720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1934160 kB
SwapTotal: 4192956 kB
SwapFree: 4180728 kB
Dirty: 2184 kB
Writeback: 0 kB
Mapped: 13444 kB
Slab: 14064 kB
Committed_AS: 1162424 kB
PageTables: 1480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66104 MiB
End job on node52 at 2009-05-20 16:21:26