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.13 c | 0 | 42633 135438 | -- 0 -- -- | -- | -1016/47460
0.00/0.13 c ==============================================================================
0.00/0.13 c Result : #vars: 720 #clauses: 42633 #literals: 135438
0.00/0.13 c CPU time: 0.119981 s
0.00/0.13 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 720 |
0.00/0.17 c | Number of clauses: 42633 |
0.00/0.19 c | Parsing time: 0.02 s |
0.00/0.19 c ============================[ Search Statistics ]==============================
0.00/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.19 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.19 c ===============================================================================
0.00/0.19 c | 0 | 720 42633 135438 | 14211 0 nan | 0.000 % |
0.16/0.20 c | 101 | 720 42633 135438 | 14211 101 97 | 0.000 % |
0.16/0.21 c | 204 | 720 42633 135438 | 14211 204 88 | 0.000 % |
0.16/0.22 c | 305 | 720 42633 135438 | 14211 305 73 | 0.000 % |
0.16/0.22 c | 416 | 720 42633 135438 | 14211 416 63 | 0.000 % |
0.16/0.23 c | 516 | 720 42633 135438 | 14211 516 60 | 0.000 % |
0.16/0.24 c | 626 | 720 42633 135438 | 14211 626 61 | 0.000 % |
0.16/0.25 c | 747 | 720 42633 135438 | 14211 747 61 | 0.000 % |
0.16/0.26 c | 847 | 720 42633 135438 | 14211 847 60 | 0.000 % |
0.16/0.26 c | 957 | 720 42633 135438 | 14211 957 59 | 0.022 % |
0.16/0.27 c | 1079 | 720 42633 135438 | 14211 1079 58 | 0.000 % |
0.16/0.28 c | 1212 | 720 42633 135438 | 14211 1212 59 | 0.000 % |
0.16/0.29 c | 1312 | 720 42633 135438 | 14211 1312 60 | 0.000 % |
0.16/0.30 c | 1422 | 720 42633 135438 | 14211 1422 59 | 0.000 % |
0.16/0.31 c | 1544 | 720 42633 135438 | 14211 1544 59 | 0.000 % |
0.16/0.32 c | 1678 | 720 42633 135438 | 14211 1678 59 | 0.000 % |
0.16/0.33 c | 1825 | 720 42633 135438 | 14211 1825 59 | 0.000 % |
0.16/0.34 c | 1926 | 720 42633 135438 | 14211 1926 59 | 0.000 % |
0.16/0.35 c | 2036 | 720 42633 135438 | 14211 2036 58 | 0.000 % |
0.16/0.36 c | 2158 | 720 42633 135438 | 14211 2158 58 | 0.000 % |
0.16/0.37 c | 2292 | 720 42633 135438 | 14211 2292 59 | 0.000 % |
0.16/0.39 c | 2438 | 720 42633 135438 | 14211 2438 60 | 0.000 % |
0.16/0.40 c | 2598 | 720 42633 135438 | 14211 2598 60 | 0.000 % |
0.16/0.41 c | 2699 | 720 42633 135438 | 14211 2699 61 | 0.000 % |
0.16/0.42 c | 2809 | 720 42633 135438 | 14211 2809 61 | 0.000 % |
0.16/0.43 c | 2930 | 720 42633 135438 | 14211 2930 60 | 0.000 % |
0.16/0.45 c | 3063 | 720 42633 135438 | 14211 3063 59 | 0.000 % |
0.16/0.46 c | 3209 | 720 42633 135438 | 14211 3209 60 | 0.000 % |
0.16/0.48 c | 3369 | 720 42633 135438 | 14211 3369 59 | 0.000 % |
0.16/0.49 c | 3546 | 720 42633 135438 | 14211 3546 58 | 0.000 % |
0.16/0.50 c | 3646 | 720 42633 135438 | 14211 3646 58 | 0.000 % |
0.16/0.51 c | 3756 | 720 42633 135438 | 14211 3756 58 | 0.020 % |
0.16/0.52 c | 3877 | 720 42633 135438 | 14211 3877 58 | 0.000 % |
0.16/0.54 c | 4011 | 720 42633 135438 | 14211 4011 58 | 0.024 % |
0.16/0.56 c | 4157 | 720 42633 135438 | 14211 4157 58 | 0.000 % |
0.16/0.58 c | 4318 | 720 42633 135438 | 14211 4318 59 | 0.000 % |
0.16/0.60 c | 4494 | 720 42633 135438 | 14211 4494 59 | 0.000 % |
0.16/0.62 c | 4687 | 720 42633 135438 | 14211 4687 58 | 0.000 % |
0.16/0.63 c | 4789 | 720 42633 135438 | 14211 4789 58 | 0.000 % |
0.16/0.64 c | 4902 | 720 42633 135438 | 14211 4902 57 | 0.027 % |
0.16/0.66 c | 5025 | 720 42633 135438 | 14211 5025 57 | 0.027 % |
0.16/0.67 c | 5161 | 720 42633 135438 | 14211 5161 57 | 0.000 % |
0.16/0.69 c | 5307 | 720 42633 135438 | 14211 5307 57 | 0.000 % |
0.16/0.71 c | 5468 | 720 42633 135438 | 14211 5468 57 | 0.000 % |
0.16/0.73 c | 5647 | 720 42633 135438 | 14211 5647 57 | 0.000 % |
0.16/0.75 c | 5842 | 720 42633 135438 | 14211 5842 56 | 0.023 % |
0.16/0.77 c | 6054 | 720 42633 135438 | 14211 6054 56 | 0.027 % |
0.16/0.79 c | 6154 | 720 42633 135438 | 14211 6154 56 | 0.000 % |
0.16/0.80 c | 6264 | 720 42633 135438 | 14211 6264 56 | 0.000 % |
0.16/0.81 c | 6386 | 720 42633 135438 | 14211 6386 56 | 0.000 % |
0.16/0.83 c | 6519 | 720 42633 135438 | 14211 6519 55 | 0.023 % |
0.16/0.86 c | 6668 | 720 42633 135438 | 14211 6668 56 | 0.000 % |
0.16/0.88 c | 6828 | 720 42633 135438 | 14211 6828 56 | 0.000 % |
0.16/0.90 c | 7004 | 720 42633 135438 | 14211 7004 56 | 0.000 % |
0.16/0.92 c | 7198 | 720 42633 135438 | 14211 7198 56 | 0.000 % |
0.16/0.95 c | 7411 | 720 42633 135438 | 14211 7411 56 | 0.000 % |
0.16/0.99 c | 7644 | 720 42633 135438 | 14211 7644 56 | 0.000 % |
0.98/1.00 c | 7745 | 720 42633 135438 | 14211 7745 56 | 0.000 % |
0.98/1.02 c | 7857 | 720 42633 135438 | 14211 7857 55 | 0.021 % |
0.98/1.04 c | 7979 | 720 42633 135438 | 14211 7979 55 | 0.018 % |
0.98/1.06 c | 8114 | 720 42633 135438 | 14211 8114 55 | 0.018 % |
0.98/1.09 c | 8261 | 720 42633 135438 | 14211 8261 54 | 0.000 % |
1.07/1.11 c | 8421 | 720 42633 135438 | 14211 8421 54 | 0.018 % |
1.07/1.13 c | 8598 | 720 42633 135438 | 14211 8598 54 | 0.024 % |
1.07/1.17 c | 8791 | 720 42633 135438 | 14211 8791 54 | 0.000 % |
1.17/1.20 c | 9003 | 720 42633 135438 | 14211 9003 54 | 0.000 % |
1.17/1.24 c | 9236 | 720 42633 135438 | 14211 9236 55 | 0.000 % |
1.17/1.28 c | 9496 | 720 42633 135438 | 14211 9496 55 | 0.000 % |
1.27/1.30 c | 9598 | 720 42633 135438 | 14211 9598 55 | 0.000 % |
1.27/1.32 c | 9708 | 720 42633 135438 | 14211 9708 55 | 0.000 % |
1.27/1.34 c | 9830 | 720 42633 135438 | 14211 9830 55 | 0.000 % |
1.27/1.36 c | 9966 | 720 42633 135438 | 14211 9966 55 | 0.000 % |
1.27/1.38 c | 10115 | 720 42633 135438 | 2147483647 10115 55 | 0.000 % |
1.37/1.41 c | 10275 | 720 42633 135438 | 2147483647 10275 55 | 0.000 % |
1.37/1.44 c | 10451 | 720 42633 135438 | 2147483647 10451 55 | 0.000 % |
1.37/1.47 c | 10644 | 720 42633 135438 | 2147483647 10644 55 | 0.000 % |
1.47/1.50 c | 10857 | 720 42633 135438 | 2147483647 10857 55 | 0.000 % |
1.47/1.54 c | 11090 | 720 42633 135438 | 2147483647 11090 56 | 0.000 % |
1.47/1.59 c | 11346 | 720 42633 135438 | 2147483647 11346 56 | 0.000 % |
1.57/1.64 c | 11627 | 720 42633 135438 | 2147483647 11627 56 | 0.000 % |
1.57/1.65 c | 11728 | 720 42633 135438 | 2147483647 11728 56 | 0.000 % |
1.57/1.67 c | 11839 | 720 42633 135438 | 2147483647 11839 56 | 0.000 % |
1.57/1.69 c | 11962 | 720 42633 135438 | 2147483647 11962 56 | 0.000 % |
1.67/1.72 c | 12095 | 720 42633 135438 | 2147483647 12095 56 | 0.000 % |
1.67/1.75 c | 12241 | 720 42633 135438 | 2147483647 12241 56 | 0.000 % |
1.67/1.78 c | 12401 | 720 42633 135438 | 2147483647 12401 56 | 0.000 % |
1.77/1.81 c | 12577 | 720 42633 135438 | 2147483647 12577 56 | 0.024 % |
1.77/1.86 c | 12770 | 720 42633 135438 | 2147483647 12770 57 | 0.000 % |
1.87/1.90 c | 12988 | 720 42633 135438 | 2147483647 12988 57 | 0.000 % |
1.87/1.95 c | 13222 | 720 42633 135438 | 2147483647 13222 57 | 0.000 % |
1.96/2.00 c | 13479 | 720 42633 135438 | 2147483647 13479 57 | 0.000 % |
1.96/2.06 c | 13760 | 720 42633 135438 | 2147483647 13760 57 | 0.000 % |
2.07/2.13 c | 14069 | 720 42633 135438 | 2147483647 14069 56 | 0.027 % |
2.07/2.15 c | 14170 | 720 42633 135438 | 2147483647 14170 56 | 0.000 % |
2.07/2.18 c | 14281 | 720 42633 135438 | 2147483647 14281 56 | 0.000 % |
2.17/2.20 c | 14402 | 720 42633 135438 | 2147483647 14402 56 | 0.025 % |
2.17/2.23 c | 14535 | 720 42633 135438 | 2147483647 14535 56 | 0.022 % |
2.17/2.27 c | 14681 | 720 42633 135438 | 2147483647 14681 56 | 0.000 % |
2.26/2.31 c | 14842 | 720 42633 135438 | 2147483647 14842 56 | 0.000 % |
2.26/2.35 c | 15019 | 720 42633 135438 | 2147483647 15019 56 | 0.000 % |
2.36/2.40 c | 15213 | 720 42633 135438 | 2147483647 15213 57 | 0.000 % |
2.36/2.45 c | 15425 | 720 42633 135438 | 2147483647 15425 57 | 0.000 % |
2.36/2.50 c | 15659 | 720 42633 135438 | 2147483647 15659 57 | 0.026 % |
2.46/2.56 c | 15915 | 720 42633 135438 | 2147483647 15915 57 | 0.000 % |
2.57/2.62 c | 16197 | 720 42633 135438 | 2147483647 16197 57 | 0.026 % |
2.57/2.68 c | 16507 | 720 42633 135438 | 2147483647 16507 56 | 0.000 % |
2.67/2.77 c | 16847 | 720 42633 135438 | 2147483647 16847 57 | 0.000 % |
2.77/2.80 c | 16947 | 720 42633 135438 | 2147483647 16947 57 | 0.000 % |
2.77/2.82 c | 17059 | 720 42633 135438 | 2147483647 17059 57 | 0.000 % |
2.77/2.85 c | 17182 | 720 42633 135438 | 2147483647 17182 58 | 0.000 % |
2.77/2.89 c | 17316 | 720 42633 135438 | 2147483647 17316 58 | 0.000 % |
2.87/2.93 c | 17463 | 720 42633 135438 | 2147483647 17463 58 | 0.000 % |
2.87/2.97 c | 17623 | 720 42633 135438 | 2147483647 17623 58 | 0.000 % |
2.97/3.02 c | 17799 | 720 42633 135438 | 2147483647 17799 58 | 0.000 % |
2.97/3.06 c | 17992 | 720 42633 135438 | 2147483647 17992 58 | 0.000 % |
3.07/3.13 c | 18204 | 720 42633 135438 | 2147483647 18204 58 | 0.000 % |
3.17/3.21 c | 18440 | 720 42633 135438 | 2147483647 18440 58 | 0.000 % |
3.17/3.27 c | 18698 | 720 42633 135438 | 2147483647 18698 58 | 0.000 % |
3.27/3.35 c | 18979 | 720 42633 135438 | 2147483647 18979 58 | 0.000 % |
3.37/3.42 c | 19288 | 720 42633 135438 | 2147483647 19288 57 | 0.023 % |
3.47/3.50 c | 19630 | 720 42633 135438 | 2147483647 19630 57 | 0.000 % |
3.47/3.58 c | 20003 | 720 42633 135438 | 2147483647 20003 57 | 0.027 % |
3.57/3.62 c | 20103 | 720 42633 135438 | 2147483647 20103 57 | 0.000 % |
3.57/3.65 c | 20213 | 720 42633 135438 | 2147483647 20213 57 | 0.000 % |
3.57/3.69 c | 20335 | 720 42633 135438 | 2147483647 20335 57 | 0.000 % |
3.67/3.72 c | 20469 | 720 42633 135438 | 2147483647 20469 57 | 0.000 % |
3.67/3.77 c | 20615 | 720 42633 135438 | 2147483647 20615 57 | 0.000 % |
3.77/3.82 c | 20778 | 720 42633 135438 | 2147483647 20778 57 | 0.000 % |
3.77/3.88 c | 20955 | 720 42633 135438 | 2147483647 20955 57 | 0.000 % |
3.87/3.95 c | 21149 | 720 42633 135438 | 2147483647 21149 57 | 0.000 % |
3.97/4.01 c | 21361 | 720 42633 135438 | 2147483647 21361 57 | 0.023 % |
3.97/4.06 c | 21595 | 720 42633 135438 | 2147483647 21595 57 | 0.023 % |
4.07/4.16 c | 21853 | 720 42633 135438 | 2147483647 21853 57 | 0.000 % |
4.17/4.25 c | 22134 | 720 42633 135438 | 2147483647 22134 57 | 0.000 % |
4.27/4.33 c | 22443 | 720 42633 135438 | 2147483647 22443 57 | 0.000 % |
4.37/4.46 c | 22784 | 720 42633 135438 | 2147483647 22784 57 | 0.000 % |
4.47/4.56 c | 23156 | 720 42633 135438 | 2147483647 23156 57 | 0.000 % |
4.57/4.69 c | 23566 | 720 42633 135438 | 2147483647 23566 57 | 0.000 % |
4.67/4.74 c | 23668 | 720 42633 135438 | 2147483647 23668 57 | 0.000 % |
4.67/4.77 c | 23778 | 720 42633 135438 | 2147483647 23778 57 | 0.000 % |
4.76/4.82 c | 23899 | 720 42633 135438 | 2147483647 23899 57 | 0.024 % |
4.76/4.86 c | 24032 | 720 42633 135438 | 2147483647 24032 57 | 0.000 % |
4.86/4.93 c | 24178 | 720 42633 135438 | 2147483647 24178 57 | 0.000 % |
4.86/4.98 c | 24340 | 720 42633 135438 | 2147483647 24340 57 | 0.000 % |
4.96/5.05 c | 24516 | 720 42633 135438 | 2147483647 24516 57 | 0.000 % |
5.06/5.13 c | 24709 | 720 42633 135438 | 2147483647 24709 57 | 0.000 % |
5.06/5.20 c | 24921 | 720 42633 135438 | 2147483647 24921 57 | 0.000 % |
5.16/5.29 c | 25154 | 720 42633 135438 | 2147483647 25154 57 | 0.000 % |
5.26/5.37 c | 25411 | 720 42633 135438 | 2147483647 25411 57 | 0.000 % |
5.37/5.47 c | 25692 | 720 42633 135438 | 2147483647 25692 57 | 0.000 % |
5.47/5.58 c | 26001 | 720 42633 135438 | 2147483647 26001 57 | 0.023 % |
5.66/5.74 c | 26342 | 720 42633 135438 | 2147483647 26342 57 | 0.000 % |
5.76/5.88 c | 26714 | 720 42633 135438 | 2147483647 26714 57 | 0.000 % |
5.86/5.99 c | 27123 | 720 42633 135438 | 2147483647 27123 57 | 0.000 % |
6.06/6.16 c | 27572 | 720 42633 135438 | 2147483647 27572 57 | 0.000 % |
6.16/6.21 c | 27673 | 720 42633 135438 | 2147483647 27673 57 | 0.000 % |
6.16/6.26 c | 27783 | 720 42633 135438 | 2147483647 27783 57 | 0.000 % |
6.26/6.31 c | 27904 | 720 42633 135438 | 2147483647 27904 57 | 0.000 % |
6.26/6.37 c | 28037 | 720 42633 135438 | 2147483647 28037 57 | 0.000 % |
6.36/6.43 c | 28184 | 720 42633 135438 | 2147483647 28184 57 | 0.000 % |
6.36/6.50 c | 28345 | 720 42633 135438 | 2147483647 28345 57 | 0.000 % |
6.46/6.57 c | 28522 | 720 42633 135438 | 2147483647 28522 58 | 0.000 % |
6.56/6.65 c | 28715 | 720 42633 135438 | 2147483647 28715 58 | 0.000 % |
6.66/6.74 c | 28927 | 720 42633 135438 | 2147483647 28927 58 | 0.000 % |
6.76/6.82 c | 29161 | 720 42633 135438 | 2147483647 29161 58 | 0.000 % |
6.86/6.96 c | 29417 | 720 42633 135438 | 2147483647 29417 58 | 0.017 % |
6.96/7.09 c | 29698 | 720 42633 135438 | 2147483647 29698 57 | 0.020 % |
7.16/7.22 c | 30007 | 720 42633 135438 | 2147483647 30007 57 | 0.017 % |
7.37/7.41 c | 30346 | 720 42633 135438 | 2147483647 30346 58 | 0.000 % |
7.47/7.55 c | 30719 | 720 42633 135438 | 2147483647 30719 58 | 0.000 % |
7.67/7.74 c | 31134 | 720 42633 135438 | 2147483647 31134 58 | 0.000 % |
7.86/7.90 c | 31583 | 720 42633 135438 | 2147483647 31583 58 | 0.000 % |
8.16/8.21 c | 32076 | 720 42633 135438 | 2147483647 32076 58 | 0.000 % |
8.16/8.29 c | 32176 | 720 42633 135438 | 2147483647 32176 58 | 0.000 % |
8.26/8.34 c | 32287 | 720 42633 135438 | 2147483647 32287 58 | 0.000 % |
8.36/8.40 c | 32409 | 720 42633 135438 | 2147483647 32409 58 | 0.000 % |
8.36/8.46 c | 32544 | 720 42633 135438 | 2147483647 32544 58 | 0.000 % |
8.46/8.57 c | 32691 | 720 42633 135438 | 2147483647 32691 58 | 0.000 % |
8.56/8.65 c | 32853 | 720 42633 135438 | 2147483647 32853 58 | 0.000 % |
8.67/8.74 c | 33032 | 720 42633 135438 | 2147483647 33032 58 | 0.000 % |
8.77/8.89 c | 33225 | 720 42633 135438 | 2147483647 33225 58 | 0.000 % |
8.96/9.00 c | 33437 | 720 42633 135438 | 2147483647 33437 58 | 0.000 % |
9.06/9.13 c | 33670 | 720 42633 135438 | 2147483647 33670 58 | 0.000 % |
9.16/9.26 c | 33926 | 720 42633 135438 | 2147483647 33926 58 | 0.000 % |
9.36/9.42 c | 34210 | 720 42633 135438 | 2147483647 34210 58 | 0.000 % |
9.46/9.57 c | 34519 | 720 42633 135438 | 2147483647 34519 58 | 0.021 % |
9.66/9.74 c | 34861 | 720 42633 135438 | 2147483647 34861 58 | 0.000 % |
9.86/9.94 c | 35233 | 720 42633 135438 | 2147483647 35233 58 | 0.000 % |
10.06/10.12 c | 35642 | 720 42633 135438 | 2147483647 35642 58 | 0.000 % |
10.26/10.37 c | 36091 | 720 42633 135438 | 2147483647 36091 58 | 0.000 % |
10.66/10.76 c | 36585 | 720 42633 135438 | 2147483647 36585 59 | 0.000 % |
10.96/11.06 c | 37127 | 720 42633 135438 | 2147483647 37127 59 | 0.000 % |
11.06/11.12 c | 37227 | 720 42633 135438 | 2147483647 37227 59 | 0.000 % |
11.06/11.18 c | 37337 | 720 42633 135438 | 2147483647 37337 59 | 0.000 % |
11.16/11.25 c | 37461 | 720 42633 135438 | 2147483647 37461 59 | 0.000 % |
11.26/11.32 c | 37594 | 720 42633 135438 | 2147483647 37594 59 | 0.000 % |
11.35/11.40 c | 37740 | 720 42633 135438 | 2147483647 37740 59 | 0.000 % |
11.45/11.50 c | 37903 | 720 42633 135438 | 2147483647 37903 59 | 0.000 % |
11.55/11.61 c | 38080 | 720 42633 135438 | 2147483647 38080 59 | 0.000 % |
11.65/11.73 c | 38276 | 720 42633 135438 | 2147483647 38276 59 | 0.000 % |
11.75/11.89 c | 38489 | 720 42633 135438 | 2147483647 38489 59 | 0.000 % |
11.97/12.06 c | 38722 | 720 42633 135438 | 2147483647 38722 59 | 0.000 % |
12.16/12.22 c | 38980 | 720 42633 135438 | 2147483647 38980 59 | 0.000 % |
12.26/12.39 c | 39264 | 720 42633 135438 | 2147483647 39264 59 | 0.000 % |
12.46/12.51 c | 39573 | 720 42633 135438 | 2147483647 39573 59 | 0.024 % |
12.66/12.72 c | 39913 | 720 42633 135438 | 2147483647 39913 59 | 0.000 % |
12.76/12.87 c | 40285 | 720 42633 135438 | 2147483647 40285 59 | 0.000 % |
12.96/13.09 c | 40695 | 720 42633 135438 | 2147483647 40695 59 | 0.000 % |
13.26/13.35 c | 41144 | 720 42633 135438 | 2147483647 41144 59 | 0.024 % |
13.56/13.67 c | 41637 | 720 42633 135438 | 2147483647 41637 59 | 0.000 % |
13.95/14.05 c | 42179 | 720 42633 135438 | 2147483647 42179 59 | 0.000 % |
14.35/14.42 c | 42775 | 720 42633 135438 | 2147483647 42775 60 | 0.000 % |
14.35/14.48 c | 42875 | 720 42633 135438 | 2147483647 42875 60 | 0.000 % |
14.45/14.57 c | 42986 | 720 42633 135438 | 2147483647 42986 60 | 0.000 % |
14.55/14.65 c | 43107 | 720 42633 135438 | 2147483647 43107 60 | 0.000 % |
14.65/14.74 c | 43241 | 720 42633 135438 | 2147483647 43241 60 | 0.000 % |
14.75/14.82 c | 43388 | 720 42633 135438 | 2147483647 43388 60 | 0.000 % |
14.85/14.90 c | 43550 | 720 42633 135438 | 2147483647 43550 60 | 0.000 % |
14.95/15.09 c | 43726 | 720 42633 135438 | 2147483647 43726 60 | 0.000 % |
15.15/15.28 c | 43921 | 720 42633 135438 | 2147483647 43921 60 | 0.000 % |
15.36/15.42 c | 44134 | 720 42633 135438 | 2147483647 44134 60 | 0.000 % |
15.45/15.56 c | 44367 | 720 42633 135438 | 2147483647 44367 60 | 0.000 % |
15.65/15.76 c | 44623 | 720 42633 135438 | 2147483647 44623 60 | 0.000 % |
15.85/15.95 c | 44906 | 720 42633 135438 | 2147483647 44906 61 | 0.000 % |
16.05/16.18 c | 45216 | 720 42633 135438 | 2147483647 45216 61 | 0.000 % |
16.25/16.39 c | 45557 | 720 42633 135438 | 2147483647 45557 61 | 0.024 % |
16.66/16.76 c | 45929 | 720 42633 135438 | 2147483647 45929 61 | 0.000 % |
16.96/17.03 c | 46339 | 720 42633 135438 | 2147483647 46339 61 | 0.000 % |
17.36/17.45 c | 46789 | 720 42633 135438 | 2147483647 46789 61 | 0.000 % |
17.76/17.85 c | 47283 | 720 42633 135438 | 2147483647 47283 61 | 0.000 % |
18.16/18.21 c | 47825 | 720 42633 135438 | 2147483647 47825 61 | 0.000 % |
18.56/18.69 c | 48423 | 720 42633 135438 | 2147483647 48423 61 | 0.000 % |
19.06/19.15 c | 49080 | 720 42633 135438 | 2147483647 49080 61 | 0.000 % |
19.16/19.26 c | 49180 | 720 42633 135438 | 2147483647 49180 61 | 0.000 % |
19.26/19.36 c | 49291 | 720 42633 135438 | 2147483647 49291 61 | 0.000 % |
19.36/19.46 c | 49412 | 720 42633 135438 | 2147483647 49412 61 | 0.000 % |
19.46/19.57 c | 49545 | 720 42633 135438 | 2147483647 49545 61 | 0.000 % |
19.66/19.72 c | 49692 | 720 42633 135438 | 2147483647 49692 62 | 0.000 % |
19.76/19.83 c | 49852 | 720 42633 135438 | 2147483647 49852 62 | 0.000 % |
19.96/20.00 c | 50033 | 720 42633 135438 | 50001 50033 62 | 0.000 % |
20.16/20.21 c | 50227 | 720 42633 135438 | 50001 42815 61 | 0.000 % |
20.26/20.36 c | 50441 | 720 42633 135438 | 50001 43029 61 | 0.000 % |
20.46/20.54 c | 50677 | 720 42633 135438 | 50001 43265 61 | 0.000 % |
20.66/20.74 c | 50933 | 720 42633 135438 | 50001 43521 61 | 0.000 % |
20.86/20.91 c | 51214 | 720 42633 135438 | 50001 43802 61 | 0.024 % |
21.06/21.13 c | 51523 | 720 42633 135438 | 50001 44111 61 | 0.000 % |
21.26/21.38 c | 51862 | 720 42633 135438 | 50001 44450 61 | 0.000 % |
21.56/21.67 c | 52237 | 720 42633 135438 | 50001 44825 61 | 0.000 % |
22.06/22.11 c | 52646 | 720 42633 135438 | 50001 45234 61 | 0.000 % |
22.36/22.40 c | 53095 | 720 42633 135438 | 50001 45683 61 | 0.027 % |
22.86/22.92 c | 53588 | 720 42633 135438 | 50001 46176 62 | 0.000 % |
23.56/23.62 c | 54130 | 720 42633 135438 | 50001 46718 62 | 0.000 % |
23.96/24.04 c | 54726 | 720 42633 135438 | 50001 47314 62 | 0.000 % |
24.56/24.61 c | 55384 | 720 42633 135438 | 50001 47972 62 | 0.000 % |
25.16/25.28 c | 56106 | 720 42633 135438 | 50001 48694 62 | 0.000 % |
25.26/25.35 c | 56206 | 720 42633 135438 | 50001 48794 62 | 0.000 % |
25.36/25.42 c | 56319 | 720 42633 135438 | 50001 48907 62 | 0.024 % |
25.36/25.49 c | 56440 | 720 42633 135438 | 50001 49028 62 | 0.024 % |
25.56/25.63 c | 56575 | 720 42633 135438 | 50001 49163 62 | 0.027 % |
25.66/25.77 c | 56722 | 720 42633 135438 | 50001 49310 62 | 0.000 % |
25.86/25.92 c | 56884 | 720 42633 135438 | 50001 49472 62 | 0.000 % |
25.96/26.05 c | 57060 | 720 42633 135438 | 50001 49648 62 | 0.000 % |
26.16/26.26 c | 57253 | 720 42633 135438 | 50001 49841 62 | 0.000 % |
26.36/26.44 c | 57469 | 720 42633 135438 | 50001 50057 62 | 0.000 % |
26.55/26.65 c | 57707 | 720 42633 135438 | 50001 40742 62 | 0.000 % |
26.65/26.77 c | 57963 | 720 42633 135438 | 50001 40998 61 | 0.000 % |
26.85/26.94 c | 58244 | 720 42633 135438 | 50001 41279 61 | 0.000 % |
27.05/27.13 c | 58557 | 720 42633 135438 | 50001 41592 61 | 0.023 % |
27.36/27.43 c | 58896 | 720 42633 135438 | 50001 41931 61 | 0.000 % |
27.75/27.80 c | 59270 | 720 42633 135438 | 50001 42305 62 | 0.000 % |
28.05/28.12 c | 59680 | 720 42633 135438 | 50001 42715 62 | 0.000 % |
28.35/28.48 c | 60129 | 720 42633 135438 | 43035 43164 62 | 0.022 % |
28.65/28.78 c | 60622 | 720 42633 135438 | 43035 35728 60 | 0.000 % |
28.95/29.05 c | 61164 | 720 42633 135438 | 43035 36270 60 | 0.000 % |
29.35/29.41 c | 61760 | 720 42633 135438 | 43035 36866 60 | 0.000 % |
29.75/29.88 c | 62416 | 720 42633 135438 | 43035 37522 60 | 0.000 % |
30.15/30.29 c | 63140 | 720 42633 135438 | 43035 38246 60 | 0.000 % |
30.66/30.79 c | 63932 | 720 42633 135438 | 43035 39038 60 | 0.000 % |
30.76/30.86 c | 64033 | 720 42633 135438 | 43035 39139 60 | 0.000 % |
30.85/30.96 c | 64143 | 720 42633 135438 | 43035 39249 60 | 0.000 % |
30.95/31.01 c | 64265 | 720 42633 135438 | 43035 39371 60 | 0.000 % |
30.95/31.08 c | 64398 | 720 42633 135438 | 43035 39504 60 | 0.000 % |
31.05/31.15 c | 64544 | 720 42633 135438 | 43035 39650 60 | 0.000 % |
31.25/31.31 c | 64707 | 720 42633 135438 | 43035 39813 60 | 0.000 % |
31.35/31.42 c | 64884 | 720 42633 135438 | 43035 39990 60 | 0.000 % |
31.45/31.56 c | 65080 | 720 42633 135438 | 43035 40186 60 | 0.000 % |
31.65/31.70 c | 65292 | 720 42633 135438 | 43035 40398 60 | 0.000 % |
31.76/31.81 c | 65526 | 720 42633 135438 | 43035 40632 60 | 0.021 % |
31.95/32.07 c | 65782 | 720 42633 135438 | 43035 40888 60 | 0.000 % |
32.15/32.27 c | 66064 | 720 42633 135438 | 43035 41170 60 | 0.000 % |
32.35/32.48 c | 66373 | 720 42633 135438 | 43035 41479 60 | 0.000 % |
32.55/32.64 c | 66713 | 720 42633 135438 | 43035 41819 60 | 0.023 % |
32.75/32.83 c | 67086 | 720 42633 135438 | 43035 42192 60 | 0.000 % |
33.05/33.17 c | 67496 | 720 42633 135438 | 43035 42602 60 | 0.000 % |
33.35/33.42 c | 67948 | 720 42633 135438 | 43035 43054 60 | 0.000 % |
33.75/33.90 c | 68442 | 720 42633 135438 | 43035 36773 60 | 0.000 % |
34.25/34.33 c | 68984 | 720 42633 135438 | 43035 37315 60 | 0.000 % |
34.75/34.80 c | 69581 | 720 42633 135438 | 43035 37912 60 | 0.000 % |
35.25/35.30 c | 70238 | 720 42633 135438 | 38333 38569 60 | 0.000 % |
35.65/35.79 c | 70959 | 720 42633 135438 | 38333 32888 57 | 0.000 % |
36.15/36.22 c | 71751 | 720 42633 135438 | 38333 33680 58 | 0.000 % |
36.55/36.62 c | 72624 | 720 42633 135438 | 38333 34553 58 | 0.000 % |
36.55/36.68 c | 72724 | 720 42633 135438 | 38333 34653 58 | 0.020 % |
36.65/36.75 c | 72834 | 720 42633 135438 | 38333 34763 58 | 0.000 % |
36.75/36.84 c | 72955 | 720 42633 135438 | 38333 34884 58 | 0.000 % |
36.85/36.92 c | 73090 | 720 42633 135438 | 38333 35019 58 | 0.020 % |
36.95/37.01 c | 73238 | 720 42633 135438 | 38333 35167 58 | 0.000 % |
37.05/37.10 c | 73400 | 720 42633 135438 | 38333 35329 58 | 0.000 % |
37.15/37.26 c | 73576 | 720 42633 135438 | 38333 35505 58 | 0.000 % |
37.35/37.42 c | 73770 | 720 42633 135438 | 38333 35699 58 | 0.000 % |
37.45/37.54 c | 73982 | 720 42633 135438 | 38333 35911 58 | 0.000 % |
37.65/37.71 c | 74215 | 720 42633 135438 | 38333 36144 58 | 0.000 % |
37.85/37.91 c | 74471 | 720 42633 135438 | 38333 36400 58 | 0.000 % |
38.05/38.10 c | 74752 | 720 42633 135438 | 38333 36681 59 | 0.000 % |
38.25/38.33 c | 75062 | 720 42633 135438 | 38333 36991 59 | 0.000 % |
38.55/38.60 c | 75401 | 720 42633 135438 | 38333 37330 59 | 0.000 % |
38.85/38.90 c | 75774 | 720 42633 135438 | 38333 37703 59 | 0.000 % |
39.15/39.22 c | 76185 | 720 42633 135438 | 38333 38114 59 | 0.000 % |
39.45/39.60 c | 76634 | 720 42633 135438 | 38333 38563 59 | 0.000 % |
39.85/39.98 c | 77128 | 720 42633 135438 | 38333 33033 56 | 0.000 % |
40.25/40.30 c | 77671 | 720 42633 135438 | 38333 33576 57 | 0.000 % |
40.55/40.68 c | 78269 | 720 42633 135438 | 38333 34174 57 | 0.000 % |
41.05/41.17 c | 78924 | 720 42633 135438 | 38333 34829 57 | 0.000 % |
41.45/41.50 c | 79644 | 720 42633 135438 | 38333 35549 57 | 0.000 % |
42.04/42.15 c | 80438 | 720 42633 135438 | 35906 30735 56 | 0.000 % |
42.54/42.67 c | 81313 | 720 42633 135438 | 35906 31610 56 | 0.000 % |
43.04/43.18 c | 82271 | 720 42633 135438 | 35906 32568 55 | 0.025 % |
43.14/43.23 c | 82371 | 720 42633 135438 | 35906 32668 55 | 0.000 % |
43.14/43.28 c | 82483 | 720 42633 135438 | 35906 32780 55 | 0.000 % |
43.24/43.35 c | 82605 | 720 42633 135438 | 35906 32902 55 | 0.025 % |
43.34/43.41 c | 82739 | 720 42633 135438 | 35906 33036 55 | 0.000 % |
43.34/43.48 c | 82885 | 720 42633 135438 | 35906 33182 55 | 0.000 % |
43.44/43.56 c | 83045 | 720 42633 135438 | 35906 33342 55 | 0.000 % |
43.54/43.69 c | 83224 | 720 42633 135438 | 35906 33521 56 | 0.000 % |
43.64/43.76 c | 83417 | 720 42633 135438 | 35906 33714 56 | 0.000 % |
43.74/43.88 c | 83630 | 720 42633 135438 | 35906 33927 56 | 0.000 % |
43.85/43.99 c | 83863 | 720 42633 135438 | 35906 34160 56 | 0.000 % |
43.95/44.07 c | 84119 | 720 42633 135438 | 35906 34416 56 | 0.000 % |
44.14/44.22 c | 84400 | 720 42633 135438 | 35906 34697 56 | 0.000 % |
44.34/44.41 c | 84709 | 720 42633 135438 | 35906 35006 55 | 0.026 % |
44.44/44.55 c | 85051 | 720 42633 135438 | 35906 35348 55 | 0.000 % |
44.74/44.88 c | 85423 | 720 42633 135438 | 35906 35720 56 | 0.000 % |
45.05/45.15 c | 85835 | 720 42633 135438 | 35906 36132 56 | 0.000 % |
45.34/45.41 c | 86285 | 720 42633 135438 | 35906 32280 55 | 0.000 % |
45.54/45.66 c | 86779 | 720 42633 135438 | 35906 32774 55 | 0.025 % |
45.84/45.90 c | 87321 | 720 42633 135438 | 35906 33316 55 | 0.000 % |
46.15/46.22 c | 87917 | 720 42633 135438 | 35906 33912 56 | 0.000 % |
46.44/46.50 c | 88573 | 720 42633 135438 | 35906 34568 55 | 0.000 % |
46.84/46.93 c | 89294 | 720 42633 135438 | 35906 35289 56 | 0.000 % |
47.34/47.43 c | 90086 | 720 42633 135438 | 35996 36081 56 | 0.000 % |
47.84/47.98 c | 90957 | 720 42633 135438 | 35996 32984 55 | 0.000 % |
48.44/48.52 c | 91916 | 720 42633 135438 | 35996 33943 55 | 0.022 % |
49.04/49.14 c | 92969 | 720 42633 135438 | 35996 34996 55 | 0.000 % |
49.14/49.21 c | 93072 | 720 42633 135438 | 35996 35099 55 | 0.000 % |
49.14/49.29 c | 93183 | 720 42633 135438 | 35996 35210 55 | 0.000 % |
49.24/49.36 c | 93305 | 720 42633 135438 | 35996 35332 55 | 0.000 % |
49.35/49.44 c | 93438 | 720 42633 135438 | 35996 35465 55 | 0.000 % |
49.45/49.51 c | 93584 | 720 42633 135438 | 35996 35611 55 | 0.000 % |
49.54/49.66 c | 93746 | 720 42633 135438 | 35996 35773 55 | 0.000 % |
49.64/49.73 c | 93924 | 720 42633 135438 | 35996 35951 55 | 0.000 % |
49.74/49.82 c | 94119 | 720 42633 135438 | 35996 36146 55 | 0.023 % |
49.84/49.93 c | 94334 | 720 42633 135438 | 35996 32399 53 | 0.028 % |
49.94/50.03 c | 94568 | 720 42633 135438 | 35996 32633 53 | 0.020 % |
50.14/50.22 c | 94825 | 720 42633 135438 | 35996 32890 53 | 0.000 % |
50.24/50.37 c | 95108 | 720 42633 135438 | 35996 33173 53 | 0.000 % |
50.34/50.49 c | 95417 | 720 42633 135438 | 35996 33482 53 | 0.000 % |
50.54/50.66 c | 95757 | 720 42633 135438 | 35996 33822 53 | 0.027 % |
50.74/50.82 c | 96129 | 720 42633 135438 | 35996 34194 53 | 0.000 % |
50.94/51.01 c | 96540 | 720 42633 135438 | 35996 34605 53 | 0.027 % |
51.14/51.27 c | 96989 | 720 42633 135438 | 35996 35054 53 | 0.000 % |
51.34/51.47 c | 97482 | 720 42633 135438 | 35996 35547 54 | 0.000 % |
51.64/51.76 c | 98025 | 720 42633 135438 | 35996 36090 54 | 0.000 % |
52.04/52.13 c | 98621 | 720 42633 135438 | 35996 33077 52 | 0.000 % |
52.34/52.49 c | 99277 | 720 42633 135438 | 35996 33733 52 | 0.000 % |
52.74/52.88 c | 99997 | 720 42633 135438 | 35996 34453 53 | 0.000 % |
53.14/53.24 c | 100789 | 720 42633 135438 | 2147483647 35245 53 | 0.000 % |
53.64/53.73 c | 101661 | 720 42633 135438 | 2147483647 36117 53 | 0.000 % |
54.04/54.13 c | 102622 | 720 42633 135438 | 2147483647 37078 53 | 0.000 % |
54.64/54.76 c | 103677 | 720 42633 135438 | 2147483647 38133 53 | 0.026 % |
55.34/55.41 c | 104835 | 720 42633 135438 | 2147483647 39291 53 | 0.000 % |
55.34/55.47 c | 104936 | 720 42633 135438 | 2147483647 39392 53 | 0.000 % |
55.44/55.56 c | 105046 | 720 42633 135438 | 2147483647 39502 54 | 0.000 % |
55.54/55.64 c | 105167 | 720 42633 135438 | 2147483647 39623 54 | 0.000 % |
55.64/55.74 c | 105301 | 720 42633 135438 | 2147483647 39757 54 | 0.000 % |
55.74/55.86 c | 105450 | 720 42633 135438 | 2147483647 39906 54 | 0.000 % |
55.94/56.00 c | 105611 | 720 42633 135438 | 2147483647 40067 54 | 0.000 % |
56.04/56.10 c | 105788 | 720 42633 135438 | 2147483647 40244 54 | 0.000 % |
56.14/56.23 c | 105981 | 720 42633 135438 | 2147483647 40437 54 | 0.000 % |
56.24/56.37 c | 106193 | 720 42633 135438 | 2147483647 40649 54 | 0.000 % |
56.44/56.55 c | 106427 | 720 42633 135438 | 2147483647 40883 54 | 0.000 % |
56.64/56.73 c | 106686 | 720 42633 135438 | 2147483647 41142 54 | 0.000 % |
56.84/56.94 c | 106969 | 720 42633 135438 | 2147483647 41425 54 | 0.000 % |
57.04/57.14 c | 107280 | 720 42633 135438 | 2147483647 41736 54 | 0.000 % |
57.34/57.43 c | 107621 | 720 42633 135438 | 2147483647 42077 54 | 0.023 % |
57.54/57.69 c | 107994 | 720 42633 135438 | 2147483647 42450 54 | 0.000 % |
57.84/58.00 c | 108403 | 720 42633 135438 | 2147483647 42859 54 | 0.000 % |
58.24/58.36 c | 108853 | 720 42633 135438 | 2147483647 43309 54 | 0.000 % |
58.64/58.78 c | 109348 | 720 42633 135438 | 2147483647 43804 54 | 0.000 % |
59.14/59.21 c | 109891 | 720 42633 135438 | 2147483647 44347 54 | 0.023 % |
59.53/59.61 c | 110489 | 720 42633 135438 | 44456 39874 52 | 0.023 % |
59.83/59.95 c | 111147 | 720 42633 135438 | 44456 40532 51 | 0.023 % |
60.23/60.39 c | 111868 | 720 42633 135438 | 44456 41253 51 | 0.023 % |
60.73/60.84 c | 112661 | 720 42633 135438 | 44456 42046 51 | 0.023 % |
61.13/61.27 c | 113532 | 720 42633 135438 | 44456 42917 51 | 0.023 % |
62.13/62.21 c | 114491 | 720 42633 135438 | 44456 43876 51 | 0.000 % |
62.92/63.01 c | 115544 | 720 42633 135438 | 44456 38870 51 | 0.000 % |
63.73/63.81 c | 116702 | 720 42633 135438 | 44456 40028 52 | 0.000 % |
64.62/64.72 c | 117977 | 720 42633 135438 | 44456 41303 52 | 0.000 % |
64.62/64.80 c | 118080 | 720 42633 135438 | 44456 41406 52 | 0.000 % |
64.72/64.90 c | 118190 | 720 42633 135438 | 44456 41516 52 | 0.000 % |
64.82/64.98 c | 118312 | 720 42633 135438 | 44456 41638 53 | 0.000 % |
64.92/65.09 c | 118448 | 720 42633 135438 | 44456 41774 53 | 0.000 % |
65.02/65.19 c | 118594 | 720 42633 135438 | 44456 41920 53 | 0.000 % |
65.22/65.36 c | 118754 | 720 42633 135438 | 44456 42080 53 | 0.000 % |
65.32/65.48 c | 118930 | 720 42633 135438 | 44456 42256 53 | 0.000 % |
65.52/65.62 c | 119125 | 720 42633 135438 | 44456 42451 53 | 0.000 % |
65.62/65.78 c | 119338 | 720 42633 135438 | 44456 42664 53 | 0.000 % |
65.82/65.93 c | 119571 | 720 42633 135438 | 44456 42897 53 | 0.000 % |
66.02/66.12 c | 119833 | 720 42633 135438 | 44456 43159 53 | 0.000 % |
66.22/66.36 c | 120115 | 720 42633 135438 | 43328 43441 53 | 0.000 % |
66.42/66.58 c | 120425 | 720 42633 135438 | 43328 37370 52 | 0.000 % |
66.72/66.83 c | 120765 | 720 42633 135438 | 43328 37710 52 | 0.000 % |
66.92/67.07 c | 121139 | 720 42633 135438 | 43328 38084 52 | 0.000 % |
67.22/67.39 c | 121548 | 720 42633 135438 | 43328 38493 52 | 0.000 % |
67.62/67.76 c | 122000 | 720 42633 135438 | 43328 38945 53 | 0.000 % |
68.02/68.16 c | 122493 | 720 42633 135438 | 43328 39438 53 | 0.000 % |
68.31/68.47 c | 123036 | 720 42633 135438 | 43328 39981 53 | 0.000 % |
68.91/69.02 c | 123632 | 720 42633 135438 | 43328 40577 54 | 0.000 % |
69.51/69.66 c | 124287 | 720 42633 135438 | 43328 41232 54 | 0.000 % |
69.91/70.09 c | 125011 | 720 42633 135438 | 43328 41956 54 | 0.000 % |
70.81/70.99 c | 125805 | 720 42633 135438 | 43328 42750 55 | 0.000 % |
71.51/71.67 c | 126678 | 720 42633 135438 | 43328 43623 55 | 0.000 % |
72.11/72.29 c | 127639 | 720 42633 135438 | 43328 37490 54 | 0.000 % |
72.81/72.97 c | 128694 | 720 42633 135438 | 43328 38545 54 | 0.000 % |
73.71/73.80 c | 129853 | 720 42633 135438 | 43328 39704 54 | 0.000 % |
74.62/74.76 c | 131129 | 720 42633 135438 | 39853 34300 53 | 0.024 % |
75.31/75.42 c | 132530 | 720 42633 135438 | 39853 35701 53 | 0.000 % |
75.41/75.51 c | 132630 | 720 42633 135438 | 39853 35801 53 | 0.000 % |
75.51/75.63 c | 132741 | 720 42633 135438 | 39853 35912 53 | 0.000 % |
75.61/75.71 c | 132862 | 720 42633 135438 | 39853 36033 53 | 0.000 % |
75.61/75.80 c | 132996 | 720 42633 135438 | 39853 36167 53 | 0.000 % |
75.71/75.87 c | 133143 | 720 42633 135438 | 39853 36314 53 | 0.000 % |
75.81/75.96 c | 133305 | 720 42633 135438 | 39853 36476 53 | 0.000 % |
75.91/76.07 c | 133482 | 720 42633 135438 | 39853 36653 53 | 0.023 % |
76.11/76.21 c | 133677 | 720 42633 135438 | 39853 36848 53 | 0.000 % |
76.21/76.37 c | 133891 | 720 42633 135438 | 39853 37062 53 | 0.000 % |
76.41/76.54 c | 134124 | 720 42633 135438 | 39853 37295 53 | 0.000 % |
76.51/76.65 c | 134381 | 720 42633 135438 | 39853 37552 53 | 0.023 % |
76.71/76.81 c | 134663 | 720 42633 135438 | 39853 37834 53 | 0.023 % |
76.81/76.93 c | 134973 | 720 42633 135438 | 39853 38144 53 | 0.023 % |
77.01/77.16 c | 135312 | 720 42633 135438 | 39853 38483 52 | 0.000 % |
77.21/77.32 c | 135684 | 720 42633 135438 | 39853 38855 52 | 0.023 % |
77.31/77.46 c | 136094 | 720 42633 135438 | 39853 39265 52 | 0.024 % |
77.71/77.83 c | 136545 | 720 42633 135438 | 39853 39716 53 | 0.000 % |
78.11/78.29 c | 137040 | 720 42633 135438 | 39853 34782 54 | 0.000 % |
78.61/78.76 c | 137583 | 720 42633 135438 | 39853 35325 55 | 0.000 % |
79.01/79.16 c | 138179 | 720 42633 135438 | 39853 35921 55 | 0.000 % |
79.50/79.62 c | 138835 | 720 42633 135438 | 39853 36577 55 | 0.000 % |
79.80/79.97 c | 139557 | 720 42633 135438 | 39853 37299 55 | 0.000 % |
80.60/80.75 c | 140353 | 720 42633 135438 | 37742 32892 54 | 0.000 % |
81.10/81.23 c | 141225 | 720 42633 135438 | 37742 33764 54 | 0.000 % |
81.60/81.75 c | 142185 | 720 42633 135438 | 37742 34724 55 | 0.000 % |
82.41/82.52 c | 143239 | 720 42633 135438 | 37742 35778 55 | 0.000 % |
83.30/83.47 c | 144397 | 720 42633 135438 | 37742 36936 55 | 0.024 % |
84.30/84.46 c | 145671 | 720 42633 135438 | 37742 32736 52 | 0.000 % |
85.00/85.17 c | 147072 | 720 42633 135438 | 37742 34137 52 | 0.000 % |
86.00/86.16 c | 148612 | 720 42633 135438 | 37742 35677 53 | 0.000 % |
86.10/86.20 c | 148714 | 720 42633 135438 | 37742 35779 53 | 0.000 % |
86.10/86.25 c | 148824 | 720 42633 135438 | 37742 35889 53 | 0.021 % |
86.20/86.31 c | 148945 | 720 42633 135438 | 37742 36010 53 | 0.000 % |
86.20/86.38 c | 149079 | 720 42633 135438 | 37742 36144 53 | 0.000 % |
86.40/86.50 c | 149226 | 720 42633 135438 | 37742 36291 53 | 0.000 % |
86.50/86.63 c | 149387 | 720 42633 135438 | 37742 36452 53 | 0.000 % |
86.60/86.71 c | 149564 | 720 42633 135438 | 37742 36629 53 | 0.000 % |
86.71/86.86 c | 149762 | 720 42633 135438 | 37742 36827 53 | 0.000 % |
86.81/86.96 c | 149976 | 720 42633 135438 | 37742 37041 53 | 0.000 % |
87.01/87.11 c | 150211 | 720 42633 135438 | 37065 37276 53 | 0.000 % |
87.11/87.28 c | 150467 | 720 42633 135438 | 37065 33133 51 | 0.000 % |
87.31/87.42 c | 150750 | 720 42633 135438 | 37065 33416 51 | 0.028 % |
87.51/87.68 c | 151064 | 720 42633 135438 | 37065 33730 51 | 0.000 % |
87.81/87.93 c | 151403 | 720 42633 135438 | 37065 34069 52 | 0.000 % |
87.91/88.09 c | 151776 | 720 42633 135438 | 37065 34442 52 | 0.000 % |
88.21/88.32 c | 152185 | 720 42633 135438 | 37065 34851 52 | 0.000 % |
88.41/88.59 c | 152634 | 720 42633 135438 | 37065 35300 52 | 0.000 % |
88.71/88.89 c | 153128 | 720 42633 135438 | 37065 35794 53 | 0.000 % |
89.01/89.18 c | 153672 | 720 42633 135438 | 37065 36338 53 | 0.000 % |
89.50/89.60 c | 154269 | 720 42633 135438 | 37065 36935 53 | 0.000 % |
89.90/90.03 c | 154925 | 720 42633 135438 | 37065 33642 54 | 0.000 % |
90.40/90.56 c | 155647 | 720 42633 135438 | 37065 34364 54 | 0.000 % |
91.00/91.15 c | 156439 | 720 42633 135438 | 37065 35156 54 | 0.000 % |
91.50/91.61 c | 157312 | 720 42633 135438 | 37065 36029 54 | 0.000 % |
92.10/92.23 c | 158273 | 720 42633 135438 | 37065 36990 54 | 0.000 % |
92.70/92.85 c | 159326 | 720 42633 135438 | 37065 33998 55 | 0.000 % |
93.50/93.62 c | 160484 | 720 42633 135438 | 34674 31122 53 | 0.000 % |
94.00/94.15 c | 161758 | 720 42633 135438 | 34674 32396 53 | 0.000 % |
94.80/94.96 c | 163158 | 720 42633 135438 | 34674 33796 54 | 0.000 % |
95.60/95.74 c | 164698 | 720 42633 135438 | 34674 31838 52 | 0.000 % |
96.50/96.61 c | 166393 | 720 42633 135438 | 34674 33533 52 | 0.000 % |
96.50/96.66 c | 166493 | 720 42633 135438 | 34674 33633 52 | 0.000 % |
96.60/96.73 c | 166603 | 720 42633 135438 | 34674 33743 52 | 0.000 % |
96.70/96.82 c | 166725 | 720 42633 135438 | 34674 33865 52 | 0.000 % |
96.80/96.92 c | 166859 | 720 42633 135438 | 34674 33999 52 | 0.000 % |
96.80/96.99 c | 167006 | 720 42633 135438 | 34674 34146 52 | 0.000 % |
97.00/97.13 c | 167166 | 720 42633 135438 | 34674 34306 52 | 0.000 % |
97.10/97.24 c | 167342 | 720 42633 135438 | 34674 34482 52 | 0.000 % |
97.20/97.36 c | 167535 | 720 42633 135438 | 34674 34675 52 | 0.000 % |
97.40/97.57 c | 167748 | 720 42633 135438 | 34674 31421 52 | 0.000 % |
97.60/97.75 c | 167984 | 720 42633 135438 | 34674 31657 53 | 0.000 % |
97.80/97.95 c | 168241 | 720 42633 135438 | 34674 31914 53 | 0.000 % |
98.00/98.18 c | 168523 | 720 42633 135438 | 34674 32196 53 | 0.000 % |
98.30/98.42 c | 168832 | 720 42633 135438 | 34674 32505 53 | 0.000 % |
98.50/98.64 c | 169171 | 720 42633 135438 | 34674 32844 53 | 0.000 % |
98.70/98.84 c | 169544 | 720 42633 135438 | 34674 33217 53 | 0.000 % |
99.10/99.20 c | 169954 | 720 42633 135438 | 34674 33627 54 | 0.000 % |
99.30/99.45 c | 170405 | 720 42633 135438 | 33674 30564 53 | 0.000 % |
99.70/99.83 c | 170902 | 720 42633 135438 | 33674 31061 54 | 0.000 % |
100.00/100.11 c | 171444 | 720 42633 135438 | 33674 31603 54 | 0.000 % |
100.50/100.61 c | 172040 | 720 42633 135438 | 33674 32199 54 | 0.000 % |
100.90/101.03 c | 172695 | 720 42633 135438 | 33674 32854 54 | 0.000 % |
101.20/101.39 c | 173415 | 720 42633 135438 | 33674 33574 54 | 0.000 % |
101.70/101.84 c | 174208 | 720 42633 135438 | 33674 30414 53 | 0.000 % |
102.10/102.28 c | 175081 | 720 42633 135438 | 33674 31287 53 | 0.021 % |
102.80/102.91 c | 176042 | 720 42633 135438 | 33674 32248 55 | 0.000 % |
103.60/103.71 c | 177096 | 720 42633 135438 | 33674 33302 56 | 0.000 % |
104.50/104.61 c | 178256 | 720 42633 135438 | 33674 30242 55 | 0.000 % |
105.20/105.35 c | 179530 | 720 42633 135438 | 33674 31516 56 | 0.024 % |
106.30/106.44 c | 180930 | 720 42633 135438 | 31987 28890 56 | 0.000 % |
107.10/107.27 c | 182472 | 720 42633 135438 | 31987 30432 57 | 0.000 % |
107.90/108.04 c | 184166 | 720 42633 135438 | 31987 32126 56 | 0.000 % |
108.70/108.83 c | 186030 | 720 42633 135438 | 31987 30778 55 | 0.027 % |
108.70/108.90 c | 186132 | 720 42633 135438 | 31987 30880 55 | 0.000 % |
108.80/108.99 c | 186244 | 720 42633 135438 | 31987 30992 55 | 0.000 % |
108.90/109.06 c | 186365 | 720 42633 135438 | 31987 31113 55 | 0.000 % |
109.00/109.16 c | 186499 | 720 42633 135438 | 31987 31247 55 | 0.000 % |
109.10/109.28 c | 186646 | 720 42633 135438 | 31987 31394 55 | 0.000 % |
109.20/109.38 c | 186807 | 720 42633 135438 | 31987 31555 55 | 0.022 % |
109.30/109.48 c | 186983 | 720 42633 135438 | 31987 31731 55 | 0.000 % |
109.50/109.62 c | 187177 | 720 42633 135438 | 31987 31925 56 | 0.000 % |
109.60/109.73 c | 187389 | 720 42633 135438 | 31987 32137 55 | 0.000 % |
109.70/109.87 c | 187622 | 720 42633 135438 | 31987 29157 55 | 0.000 % |
109.80/109.97 c | 187878 | 720 42633 135438 | 31987 29413 55 | 0.000 % |
110.00/110.13 c | 188161 | 720 42633 135438 | 31987 29696 55 | 0.000 % |
110.09/110.28 c | 188471 | 720 42633 135438 | 31987 30006 55 | 0.000 % |
110.29/110.47 c | 188810 | 720 42633 135438 | 31987 30345 55 | 0.000 % |
110.49/110.66 c | 189184 | 720 42633 135438 | 31987 30719 55 | 0.023 % |
110.79/110.90 c | 189596 | 720 42633 135438 | 31987 31131 55 | 0.023 % |
111.00/111.19 c | 190045 | 720 42633 135438 | 2147483647 31580 56 | 0.000 % |
111.39/111.53 c | 190541 | 720 42633 135438 | 2147483647 32076 56 | 0.000 % |
111.79/111.97 c | 191085 | 720 42633 135438 | 2147483647 32620 57 | 0.000 % |
112.19/112.39 c | 191681 | 720 42633 135438 | 2147483647 33216 57 | 0.000 % |
112.59/112.79 c | 192339 | 720 42633 135438 | 2147483647 33874 58 | 0.000 % |
113.09/113.28 c | 193059 | 720 42633 135438 | 2147483647 34594 58 | 0.000 % |
113.99/114.12 c | 193851 | 720 42633 135438 | 2147483647 35386 59 | 0.000 % |
114.69/114.81 c | 194722 | 720 42633 135438 | 2147483647 36257 59 | 0.000 % |
115.49/115.65 c | 195682 | 720 42633 135438 | 2147483647 37217 60 | 0.000 % |
116.59/116.74 c | 196738 | 720 42633 135438 | 2147483647 38273 61 | 0.000 % |
117.39/117.50 c | 197898 | 720 42633 135438 | 2147483647 39433 61 | 0.000 % |
118.19/118.31 c | 199171 | 720 42633 135438 | 2147483647 40706 61 | 0.000 % |
119.29/119.46 c | 200573 | 720 42633 135438 | 41536 35990 61 | 0.000 % |
120.69/120.83 c | 202114 | 720 42633 135438 | 41536 37531 61 | 0.000 % |
122.19/122.38 c | 203810 | 720 42633 135438 | 41536 39227 62 | 0.000 % |
123.99/124.12 c | 205673 | 720 42633 135438 | 41536 41090 62 | 0.000 % |
125.59/125.78 c | 207723 | 720 42633 135438 | 41536 35464 60 | 0.000 % |
125.69/125.85 c | 207826 | 720 42633 135438 | 41536 35567 60 | 0.000 % |
125.79/125.94 c | 207938 | 720 42633 135438 | 41536 35679 60 | 0.000 % |
125.89/126.04 c | 208059 | 720 42633 135438 | 41536 35800 60 | 0.000 % |
126.09/126.23 c | 208196 | 720 42633 135438 | 41536 35937 60 | 0.000 % |
126.19/126.35 c | 208342 | 720 42633 135438 | 41536 36083 60 | 0.000 % |
126.29/126.46 c | 208503 | 720 42633 135438 | 41536 36244 60 | 0.000 % |
126.49/126.66 c | 208679 | 720 42633 135438 | 41536 36420 60 | 0.000 % |
126.69/126.85 c | 208875 | 720 42633 135438 | 41536 36616 60 | 0.000 % |
126.89/127.01 c | 209089 | 720 42633 135438 | 41536 36830 60 | 0.000 % |
127.09/127.26 c | 209324 | 720 42633 135438 | 41536 37065 60 | 0.000 % |
127.29/127.47 c | 209583 | 720 42633 135438 | 41536 37324 60 | 0.000 % |
127.69/127.82 c | 209867 | 720 42633 135438 | 41536 37608 60 | 0.000 % |
127.89/128.06 c | 210176 | 720 42633 135438 | 37741 37917 60 | 0.000 % |
128.09/128.29 c | 210515 | 720 42633 135438 | 37741 31255 62 | 0.000 % |
128.49/128.65 c | 210887 | 720 42633 135438 | 37741 31627 62 | 0.000 % |
128.88/129.07 c | 211296 | 720 42633 135438 | 37741 32036 63 | 0.000 % |
129.28/129.45 c | 211745 | 720 42633 135438 | 37741 32485 63 | 0.000 % |
129.59/129.79 c | 212239 | 720 42633 135438 | 37741 32979 63 | 0.000 % |
130.08/130.22 c | 212782 | 720 42633 135438 | 37741 33522 63 | 0.000 % |
130.69/130.86 c | 213378 | 720 42633 135438 | 37741 34118 63 | 0.000 % |
131.28/131.50 c | 214034 | 720 42633 135438 | 37741 34774 63 | 0.000 % |
131.89/132.05 c | 214754 | 720 42633 135438 | 37741 35494 63 | 0.000 % |
132.48/132.66 c | 215546 | 720 42633 135438 | 37741 36286 64 | 0.000 % |
133.38/133.59 c | 216421 | 720 42633 135438 | 37741 37161 64 | 0.000 % |
134.48/134.61 c | 217380 | 720 42633 135438 | 37741 30570 62 | 0.000 % |
135.09/135.29 c | 218433 | 720 42633 135438 | 37741 31623 62 | 0.000 % |
136.18/136.38 c | 219593 | 720 42633 135438 | 37741 32783 63 | 0.000 % |
137.38/137.54 c | 220866 | 720 42633 135438 | 33190 27607 61 | 0.000 % |
138.38/138.57 c | 222268 | 720 42633 135438 | 33190 29009 62 | 0.000 % |
139.48/139.65 c | 223808 | 720 42633 135438 | 33190 30549 63 | 0.000 % |
140.88/141.05 c | 225503 | 720 42633 135438 | 33190 32244 63 | 0.000 % |
142.38/142.55 c | 227366 | 720 42633 135438 | 33190 28536 61 | 0.000 % |
143.78/143.90 c | 229417 | 720 42633 135438 | 33190 30587 62 | 0.000 % |
145.37/145.54 c | 231673 | 720 42633 135438 | 31170 28021 60 | 0.000 % |
145.47/145.61 c | 231774 | 720 42633 135438 | 31170 28122 60 | 0.000 % |
145.47/145.68 c | 231885 | 720 42633 135438 | 31170 28233 60 | 0.000 % |
145.57/145.77 c | 232013 | 720 42633 135438 | 31170 28361 60 | 0.000 % |
145.77/145.93 c | 232151 | 720 42633 135438 | 31170 28499 60 | 0.000 % |
145.77/146.00 c | 232298 | 720 42633 135438 | 31170 28646 60 | 0.000 % |
145.87/146.08 c | 232459 | 720 42633 135438 | 31170 28807 60 | 0.000 % |
145.97/146.19 c | 232635 | 720 42633 135438 | 31170 28983 60 | 0.000 % |
146.08/146.28 c | 232829 | 720 42633 135438 | 31170 29177 60 | 0.000 % |
146.27/146.45 c | 233042 | 720 42633 135438 | 31170 29390 60 | 0.000 % |
146.57/146.75 c | 233275 | 720 42633 135438 | 31170 29623 60 | 0.000 % |
146.77/146.91 c | 233531 | 720 42633 135438 | 31170 29879 60 | 0.000 % |
146.97/147.14 c | 233812 | 720 42633 135438 | 31170 30160 60 | 0.000 % |
147.18/147.39 c | 234121 | 720 42633 135438 | 31170 30469 60 | 0.000 % |
147.57/147.76 c | 234460 | 720 42633 135438 | 31170 30808 60 | 0.000 % |
147.87/148.04 c | 234833 | 720 42633 135438 | 31170 31181 60 | 0.000 % |
148.17/148.34 c | 235244 | 720 42633 135438 | 31170 27386 58 | 0.000 % |
148.47/148.69 c | 235697 | 720 42633 135438 | 31170 27839 59 | 0.000 % |
148.77/148.98 c | 236193 | 720 42633 135438 | 31170 28335 59 | 0.000 % |
149.17/149.36 c | 236737 | 720 42633 135438 | 31170 28879 59 | 0.000 % |
149.57/149.71 c | 237333 | 720 42633 135438 | 31170 29475 59 | 0.000 % |
149.87/150.06 c | 237989 | 720 42633 135438 | 31170 30131 59 | 0.000 % |
150.37/150.54 c | 238709 | 720 42633 135438 | 31170 30851 59 | 0.000 % |
151.07/151.21 c | 239502 | 720 42633 135438 | 31170 27764 56 | 0.000 % |
151.58/151.72 c | 240373 | 720 42633 135438 | 28262 25407 54 | 0.000 % |
152.27/152.49 c | 241331 | 720 42633 135438 | 28262 26365 55 | 0.000 % |
152.97/153.16 c | 242384 | 720 42633 135438 | 28262 27418 56 | 0.000 % |
153.47/153.65 c | 243542 | 720 42633 135438 | 28262 28576 56 | 0.000 % |
154.57/154.70 c | 244815 | 720 42633 135438 | 28262 26992 57 | 0.000 % |
155.17/155.36 c | 246215 | 720 42633 135438 | 28262 28392 57 | 0.000 % |
155.98/156.19 c | 247755 | 720 42633 135438 | 28262 27093 56 | 0.000 % |
156.87/157.01 c | 249451 | 720 42633 135438 | 28262 25945 56 | 0.000 % |
157.77/157.94 c | 251315 | 720 42633 135438 | 2147483647 27809 56 | 0.000 % |
158.77/158.99 c | 253365 | 720 42633 135438 | 2147483647 29859 57 | 0.000 % |
160.07/160.21 c | 255621 | 720 42633 135438 | 2147483647 32115 58 | 0.000 % |
161.87/162.05 c | 258100 | 720 42633 135438 | 2147483647 34594 58 | 0.000 % |
161.97/162.15 c | 258201 | 720 42633 135438 | 2147483647 34695 58 | 0.000 % |
162.07/162.23 c | 258313 | 720 42633 135438 | 2147483647 34807 58 | 0.000 % |
162.17/162.33 c | 258434 | 720 42633 135438 | 2147483647 34928 58 | 0.000 % |
162.27/162.41 c | 258569 | 720 42633 135438 | 2147483647 35063 58 | 0.000 % |
162.37/162.58 c | 258716 | 720 42633 135438 | 2147483647 35210 59 | 0.000 % |
162.47/162.67 c | 258879 | 720 42633 135438 | 2147483647 35373 59 | 0.000 % |
162.57/162.80 c | 259056 | 720 42633 135438 | 2147483647 35550 59 | 0.000 % |
162.87/163.07 c | 259252 | 720 42633 135438 | 2147483647 35746 59 | 0.000 % |
163.07/163.22 c | 259465 | 720 42633 135438 | 2147483647 35959 59 | 0.000 % |
163.17/163.38 c | 259698 | 720 42633 135438 | 2147483647 36192 59 | 0.000 % |
163.37/163.59 c | 259954 | 720 42633 135438 | 2147483647 36448 59 | 0.000 % |
163.57/163.74 c | 260235 | 720 42633 135438 | 2147483647 36729 59 | 0.000 % |
163.87/164.08 c | 260544 | 720 42633 135438 | 2147483647 37038 59 | 0.000 % |
164.17/164.34 c | 260883 | 720 42633 135438 | 2147483647 37377 59 | 0.000 % |
164.47/164.60 c | 261256 | 720 42633 135438 | 2147483647 37750 59 | 0.000 % |
164.77/164.93 c | 261670 | 720 42633 135438 | 2147483647 38164 60 | 0.000 % |
165.07/165.26 c | 262119 | 720 42633 135438 | 2147483647 38613 60 | 0.000 % |
165.47/165.62 c | 262613 | 720 42633 135438 | 2147483647 39107 59 | 0.000 % |
165.87/166.05 c | 263155 | 720 42633 135438 | 2147483647 39649 59 | 0.000 % |
166.37/166.55 c | 263754 | 720 42633 135438 | 2147483647 40248 59 | 0.020 % |
166.87/167.09 c | 264409 | 720 42633 135438 | 2147483647 40903 59 | 0.000 % |
167.37/167.52 c | 265130 | 720 42633 135438 | 2147483647 41624 59 | 0.000 % |
167.77/168.00 c | 265923 | 720 42633 135438 | 2147483647 42417 59 | 0.000 % |
168.47/168.64 c | 266794 | 720 42633 135438 | 2147483647 43288 59 | 0.000 % |
169.07/169.20 c | 267753 | 720 42633 135438 | 2147483647 44247 59 | 0.000 % |
170.06/170.23 c | 268811 | 720 42633 135438 | 2147483647 45305 59 | 0.000 % |
171.06/171.29 c | 269969 | 720 42633 135438 | 2147483647 46463 59 | 0.000 % |
171.96/172.16 c | 271244 | 720 42633 135438 | 46495 40696 57 | 0.000 % |
173.06/173.29 c | 272645 | 720 42633 135438 | 46495 42097 57 | 0.000 % |
174.36/174.55 c | 274185 | 720 42633 135438 | 46495 43637 58 | 0.000 % |
175.96/176.17 c | 275879 | 720 42633 135438 | 46495 45331 58 | 0.000 % |
177.06/177.29 c | 277743 | 720 42633 135438 | 46495 40000 55 | 0.000 % |
177.96/178.17 c | 279795 | 720 42633 135438 | 46495 42052 56 | 0.000 % |
179.66/179.88 c | 282048 | 720 42633 135438 | 42258 37845 53 | 0.000 % |
181.66/181.81 c | 284526 | 720 42633 135438 | 42258 40323 56 | 0.000 % |
183.46/183.63 c | 287252 | 720 42633 135438 | 42258 36624 56 | 0.000 % |
183.46/183.70 c | 287352 | 720 42633 135438 | 42258 36724 56 | 0.000 % |
183.56/183.76 c | 287464 | 720 42633 135438 | 42258 36836 56 | 0.000 % |
183.66/183.86 c | 287586 | 720 42633 135438 | 42258 36958 56 | 0.000 % |
183.86/184.02 c | 287719 | 720 42633 135438 | 42258 37091 57 | 0.000 % |
183.96/184.18 c | 287865 | 720 42633 135438 | 42258 37237 57 | 0.000 % |
184.06/184.29 c | 288029 | 720 42633 135438 | 42258 37401 57 | 0.000 % |
184.26/184.48 c | 288205 | 720 42633 135438 | 42258 37577 57 | 0.000 % |
184.46/184.66 c | 288398 | 720 42633 135438 | 42258 37770 57 | 0.000 % |
184.66/184.85 c | 288610 | 720 42633 135438 | 42258 37982 57 | 0.000 % |
184.86/185.02 c | 288846 | 720 42633 135438 | 42258 38218 57 | 0.000 % |
185.06/185.20 c | 289104 | 720 42633 135438 | 42258 38476 57 | 0.000 % |
185.16/185.39 c | 289386 | 720 42633 135438 | 42258 38758 57 | 0.000 % |
185.36/185.54 c | 289695 | 720 42633 135438 | 42258 39067 57 | 0.000 % |
185.56/185.74 c | 290038 | 720 42633 135438 | 39373 39410 57 | 0.000 % |
185.86/186.04 c | 290411 | 720 42633 135438 | 39373 34264 57 | 0.000 % |
186.16/186.31 c | 290822 | 720 42633 135438 | 39373 34675 57 | 0.000 % |
186.36/186.57 c | 291271 | 720 42633 135438 | 39373 35124 57 | 0.000 % |
186.76/186.93 c | 291764 | 720 42633 135438 | 39373 35617 57 | 0.000 % |
187.06/187.27 c | 292308 | 720 42633 135438 | 39373 36161 57 | 0.000 % |
187.35/187.59 c | 292905 | 720 42633 135438 | 39373 36758 58 | 0.000 % |
187.86/188.06 c | 293560 | 720 42633 135438 | 39373 37413 58 | 0.000 % |
188.45/188.67 c | 294280 | 720 42633 135438 | 39373 38133 58 | 0.000 % |
189.06/189.23 c | 295075 | 720 42633 135438 | 39373 38928 59 | 0.000 % |
189.65/189.86 c | 295946 | 720 42633 135438 | 39373 35231 60 | 0.000 % |
190.35/190.58 c | 296904 | 720 42633 135438 | 39373 36189 60 | 0.000 % |
191.26/191.45 c | 297959 | 720 42633 135438 | 39373 37244 61 | 0.000 % |
192.15/192.33 c | 299118 | 720 42633 135438 | 39373 38403 61 | 0.000 % |
193.16/193.39 c | 300391 | 720 42633 135438 | 39285 34395 62 | 0.000 % |
194.46/194.67 c | 301794 | 720 42633 135438 | 39285 35798 62 | 0.000 % |
195.96/196.11 c | 303334 | 720 42633 135438 | 39285 37338 62 | 0.000 % |
197.26/197.40 c | 305030 | 720 42633 135438 | 39285 39034 63 | 0.000 % |
198.66/198.86 c | 306894 | 720 42633 135438 | 39285 34695 65 | 0.000 % |
199.76/199.97 c | 308944 | 720 42633 135438 | 39285 36745 64 | 0.000 % |
201.06/201.24 c | 311199 | 720 42633 135438 | 37802 33820 61 | 0.024 % |
202.26/202.46 c | 313680 | 720 42633 135438 | 37802 36301 60 | 0.000 % |
203.76/203.96 c | 316405 | 720 42633 135438 | 37802 35204 59 | 0.000 % |
205.66/205.87 c | 319402 | 720 42633 135438 | 37802 34194 58 | 0.023 % |
205.76/205.92 c | 319502 | 720 42633 135438 | 37802 34294 58 | 0.000 % |
205.86/206.05 c | 319616 | 720 42633 135438 | 37802 34408 58 | 0.000 % |
205.96/206.15 c | 319738 | 720 42633 135438 | 37802 34530 58 | 0.000 % |
206.06/206.26 c | 319871 | 720 42633 135438 | 37802 34663 58 | 0.000 % |
206.16/206.36 c | 320018 | 720 42633 135438 | 34792 34810 58 | 0.000 % |
206.35/206.55 c | 320178 | 720 42633 135438 | 34792 31182 55 | 0.000 % |
206.45/206.67 c | 320355 | 720 42633 135438 | 34792 31359 55 | 0.000 % |
206.66/206.82 c | 320554 | 720 42633 135438 | 34792 31558 55 | 0.000 % |
206.75/206.97 c | 320768 | 720 42633 135438 | 34792 31772 56 | 0.000 % |
206.95/207.12 c | 321002 | 720 42633 135438 | 34792 32006 56 | 0.000 % |
207.15/207.32 c | 321259 | 720 42633 135438 | 34792 32263 56 | 0.000 % |
207.25/207.50 c | 321540 | 720 42633 135438 | 34792 32544 56 | 0.000 % |
207.55/207.71 c | 321849 | 720 42633 135438 | 34792 32853 56 | 0.000 % |
207.66/207.89 c | 322190 | 720 42633 135438 | 34792 33194 56 | 0.023 % |
207.85/208.09 c | 322563 | 720 42633 135438 | 34792 33567 56 | 0.023 % |
208.25/208.49 c | 322972 | 720 42633 135438 | 34792 33976 57 | 0.000 % |
208.55/208.72 c | 323422 | 720 42633 135438 | 34792 34426 57 | 0.000 % |
208.75/208.95 c | 323918 | 720 42633 135438 | 34792 34922 57 | 0.000 % |
209.05/209.29 c | 324460 | 720 42633 135438 | 34792 31972 54 | 0.000 % |
209.35/209.53 c | 325058 | 720 42633 135438 | 34792 32570 55 | 0.000 % |
209.75/209.97 c | 325715 | 720 42633 135438 | 34792 33227 55 | 0.000 % |
210.15/210.31 c | 326435 | 720 42633 135438 | 34792 33947 55 | 0.000 % |
210.65/210.82 c | 327227 | 720 42633 135438 | 34792 34739 55 | 0.000 % |
211.05/211.24 c | 328098 | 720 42633 135438 | 34792 32096 53 | 0.023 % |
211.75/211.92 c | 329059 | 720 42633 135438 | 34792 33057 54 | 0.000 % |
212.55/212.75 c | 330115 | 720 42633 135438 | 2147483647 34113 55 | 0.000 % |
213.25/213.42 c | 331273 | 720 42633 135438 | 2147483647 35271 55 | 0.024 % |
214.05/214.22 c | 332547 | 720 42633 135438 | 2147483647 36545 55 | 0.000 % |
215.05/215.27 c | 333947 | 720 42633 135438 | 2147483647 37945 56 | 0.000 % |
216.25/216.41 c | 335488 | 720 42633 135438 | 2147483647 39486 57 | 0.000 % |
217.55/217.71 c | 337182 | 720 42633 135438 | 2147483647 41180 57 | 0.000 % |
218.65/218.87 c | 339045 | 720 42633 135438 | 2147483647 43043 57 | 0.000 % |
220.45/220.69 c | 341098 | 720 42633 135438 | 43998 39027 56 | 0.000 % |
222.45/222.64 c | 343351 | 720 42633 135438 | 43998 41280 57 | 0.000 % |
224.85/225.05 c | 345829 | 720 42633 135438 | 43998 43758 58 | 0.000 % |
226.54/226.79 c | 348554 | 720 42633 135438 | 43998 39091 59 | 0.000 % |
229.24/229.47 c | 351552 | 720 42633 135438 | 40537 35012 58 | 0.000 % |
232.24/232.43 c | 354848 | 720 42633 135438 | 40537 38308 59 | 0.000 % |
232.34/232.52 c | 354948 | 720 42633 135438 | 40537 38408 60 | 0.000 % |
232.44/232.63 c | 355059 | 720 42633 135438 | 40537 38519 60 | 0.000 % |
232.54/232.76 c | 355183 | 720 42633 135438 | 40537 38643 60 | 0.000 % |
232.64/232.89 c | 355316 | 720 42633 135438 | 40537 38776 60 | 0.000 % |
232.74/232.98 c | 355468 | 720 42633 135438 | 40537 38928 60 | 0.000 % |
232.94/233.15 c | 355628 | 720 42633 135438 | 40537 39088 60 | 0.000 % |
233.14/233.35 c | 355807 | 720 42633 135438 | 40537 39267 60 | 0.000 % |
233.34/233.52 c | 356000 | 720 42633 135438 | 40537 39460 60 | 0.000 % |
233.54/233.75 c | 356213 | 720 42633 135438 | 40537 39673 60 | 0.000 % |
233.74/233.94 c | 356449 | 720 42633 135438 | 40537 39909 60 | 0.000 % |
233.94/234.19 c | 356709 | 720 42633 135438 | 40537 40169 60 | 0.000 % |
234.14/234.40 c | 356990 | 720 42633 135438 | 40537 40450 60 | 0.000 % |
234.44/234.61 c | 357299 | 720 42633 135438 | 40537 40759 60 | 0.000 % |
234.64/234.87 c | 357639 | 720 42633 135438 | 40537 33960 59 | 0.000 % |
235.04/235.22 c | 358014 | 720 42633 135438 | 40537 34335 59 | 0.000 % |
235.44/235.63 c | 358426 | 720 42633 135438 | 40537 34747 59 | 0.000 % |
235.74/235.98 c | 358876 | 720 42633 135438 | 40537 35197 59 | 0.000 % |
236.24/236.42 c | 359372 | 720 42633 135438 | 40537 35693 59 | 0.000 % |
236.64/236.83 c | 359915 | 720 42633 135438 | 40537 36236 60 | 0.000 % |
237.14/237.34 c | 360514 | 720 42633 135438 | 36321 30513 58 | 0.000 % |
237.74/237.94 c | 361169 | 720 42633 135438 | 36321 31168 58 | 0.000 % |
238.24/238.48 c | 361889 | 720 42633 135438 | 36321 31888 58 | 0.000 % |
238.63/238.88 c | 362681 | 720 42633 135438 | 36321 32680 58 | 0.000 % |
239.13/239.36 c | 363553 | 720 42633 135438 | 36321 33552 58 | 0.000 % |
239.73/239.99 c | 364512 | 720 42633 135438 | 36321 34511 59 | 0.000 % |
240.83/241.01 c | 365567 | 720 42633 135438 | 36321 35566 59 | 0.000 % |
241.84/242.07 c | 366725 | 720 42633 135438 | 36321 31523 57 | 0.000 % |
242.73/242.95 c | 367999 | 720 42633 135438 | 36321 32797 58 | 0.000 % |
243.63/243.80 c | 369402 | 720 42633 135438 | 36321 34200 58 | 0.000 % |
244.43/244.67 c | 370943 | 720 42633 135438 | 34799 30975 57 | 0.000 % |
245.43/245.62 c | 372638 | 720 42633 135438 | 34799 32670 56 | 0.000 % |
246.24/246.42 c | 374502 | 720 42633 135438 | 34799 34534 57 | 0.000 % |
247.93/248.13 c | 376553 | 720 42633 135438 | 34799 32765 58 | 0.000 % |
249.73/249.95 c | 378808 | 720 42633 135438 | 34799 35020 60 | 0.000 % |
251.23/251.47 c | 381286 | 720 42633 135438 | 32144 29931 59 | 0.000 % |
252.84/253.09 c | 384013 | 720 42633 135438 | 32144 29414 59 | 0.000 % |
254.83/255.00 c | 387011 | 720 42633 135438 | 32144 32412 61 | 0.000 % |
256.63/256.83 c | 390307 | 720 42633 135438 | 2147483647 32467 61 | 0.000 % |
258.63/258.82 c | 393932 | 720 42633 135438 | 2147483647 36092 60 | 0.000 % |
258.73/258.90 c | 394033 | 720 42633 135438 | 2147483647 36193 60 | 0.000 % |
258.83/259.06 c | 394145 | 720 42633 135438 | 2147483647 36305 60 | 0.000 % |
259.03/259.20 c | 394270 | 720 42633 135438 | 2147483647 36430 60 | 0.000 % |
259.13/259.34 c | 394404 | 720 42633 135438 | 2147483647 36564 60 | 0.000 % |
259.23/259.45 c | 394550 | 720 42633 135438 | 2147483647 36710 60 | 0.000 % |
259.33/259.59 c | 394710 | 720 42633 135438 | 2147483647 36870 60 | 0.000 % |
259.53/259.71 c | 394890 | 720 42633 135438 | 2147483647 37050 60 | 0.000 % |
259.63/259.85 c | 395083 | 720 42633 135438 | 2147483647 37243 60 | 0.000 % |
259.93/260.10 c | 395296 | 720 42633 135438 | 2147483647 37456 61 | 0.000 % |
260.03/260.29 c | 395532 | 720 42633 135438 | 2147483647 37692 61 | 0.000 % |
260.33/260.55 c | 395789 | 720 42633 135438 | 2147483647 37949 61 | 0.000 % |
260.53/260.76 c | 396071 | 720 42633 135438 | 2147483647 38231 61 | 0.000 % |
260.83/261.05 c | 396382 | 720 42633 135438 | 2147483647 38542 61 | 0.000 % |
261.13/261.33 c | 396722 | 720 42633 135438 | 2147483647 38882 61 | 0.000 % |
261.33/261.57 c | 397101 | 720 42633 135438 | 2147483647 39261 61 | 0.000 % |
261.63/261.89 c | 397511 | 720 42633 135438 | 2147483647 39671 61 | 0.000 % |
262.02/262.30 c | 397962 | 720 42633 135438 | 2147483647 40122 62 | 0.000 % |
262.42/262.63 c | 398456 | 720 42633 135438 | 2147483647 40616 62 | 0.000 % |
262.83/263.05 c | 398998 | 720 42633 135438 | 2147483647 41158 61 | 0.000 % |
263.23/263.46 c | 399594 | 720 42633 135438 | 2147483647 41754 61 | 0.022 % |
264.02/264.25 c | 400251 | 720 42633 135438 | 42160 37416 62 | 0.000 % |
264.52/264.78 c | 400973 | 720 42633 135438 | 42160 38138 62 | 0.000 % |
265.12/265.32 c | 401765 | 720 42633 135438 | 42160 38930 62 | 0.000 % |
265.52/265.79 c | 402636 | 720 42633 135438 | 42160 39801 62 | 0.024 % |
266.22/266.49 c | 403594 | 720 42633 135438 | 42160 40759 62 | 0.000 % |
267.42/267.61 c | 404652 | 720 42633 135438 | 42160 41817 62 | 0.000 % |
268.23/268.48 c | 405811 | 720 42633 135438 | 42160 37323 60 | 0.000 % |
269.23/269.40 c | 407084 | 720 42633 135438 | 42160 38596 60 | 0.000 % |
270.62/270.81 c | 408487 | 720 42633 135438 | 42160 39999 61 | 0.000 % |
272.22/272.42 c | 410031 | 720 42633 135438 | 41512 41543 63 | 0.000 % |
273.72/273.91 c | 411725 | 720 42633 135438 | 41512 37039 62 | 0.000 % |
275.12/275.35 c | 413591 | 720 42633 135438 | 41512 38905 62 | 0.000 % |
276.92/277.13 c | 415640 | 720 42633 135438 | 41512 40954 64 | 0.000 % |
278.82/279.07 c | 417895 | 720 42633 135438 | 41512 35953 63 | 0.000 % |
281.02/281.22 c | 420374 | 720 42633 135438 | 38061 32151 63 | 0.000 % |
283.02/283.28 c | 423100 | 720 42633 135438 | 38061 34877 63 | 0.000 % |
285.72/285.98 c | 426097 | 720 42633 135438 | 38061 37874 63 | 0.000 % |
288.22/288.45 c | 429393 | 720 42633 135438 | 38061 34752 64 | 0.000 % |
290.41/290.62 c | 433019 | 720 42633 135438 | 35359 32944 64 | 0.000 % |
293.52/293.78 c | 437007 | 720 42633 135438 | 35359 32324 65 | 0.000 % |
293.71/293.90 c | 437107 | 720 42633 135438 | 35359 32424 66 | 0.000 % |
293.81/294.01 c | 437217 | 720 42633 135438 | 35359 32534 66 | 0.000 % |
293.91/294.10 c | 437341 | 720 42633 135438 | 35359 32658 66 | 0.000 % |
293.91/294.19 c | 437475 | 720 42633 135438 | 35359 32792 66 | 0.023 % |
294.11/294.33 c | 437623 | 720 42633 135438 | 35359 32940 66 | 0.000 % |
294.21/294.47 c | 437784 | 720 42633 135438 | 35359 33101 66 | 0.000 % |
294.41/294.63 c | 437962 | 720 42633 135438 | 35359 33279 66 | 0.000 % |
294.52/294.75 c | 438157 | 720 42633 135438 | 35359 33474 66 | 0.000 % |
294.81/295.00 c | 438370 | 720 42633 135438 | 35359 33687 66 | 0.000 % |
295.01/295.26 c | 438603 | 720 42633 135438 | 35359 33920 66 | 0.000 % |
295.21/295.48 c | 438860 | 720 42633 135438 | 35359 34177 66 | 0.000 % |
295.41/295.69 c | 439141 | 720 42633 135438 | 35359 34458 66 | 0.000 % |
295.61/295.87 c | 439451 | 720 42633 135438 | 35359 34768 66 | 0.000 % |
295.91/296.18 c | 439792 | 720 42633 135438 | 35359 35109 66 | 0.000 % |
296.11/296.32 c | 440170 | 720 42633 135438 | 35317 35487 66 | 0.000 % |
296.31/296.59 c | 440582 | 720 42633 135438 | 35317 30928 63 | 0.000 % |
296.81/297.07 c | 441032 | 720 42633 135438 | 35317 31378 63 | 0.000 % |
297.31/297.59 c | 441526 | 720 42633 135438 | 35317 31872 64 | 0.000 % |
297.81/298.08 c | 442068 | 720 42633 135438 | 35317 32414 64 | 0.000 % |
298.31/298.56 c | 442665 | 720 42633 135438 | 35317 33011 65 | 0.000 % |
298.71/298.92 c | 443322 | 720 42633 135438 | 35317 33668 65 | 0.000 % |
299.11/299.36 c | 444044 | 720 42633 135438 | 35317 34390 65 | 0.000 % |
299.91/300.14 c | 444838 | 720 42633 135438 | 35317 35184 65 | 0.000 % |
300.61/300.86 c | 445712 | 720 42633 135438 | 35317 30773 65 | 0.000 % |
301.11/301.39 c | 446670 | 720 42633 135438 | 35317 31731 65 | 0.024 % |
301.81/302.07 c | 447725 | 720 42633 135438 | 35317 32786 65 | 0.000 % |
302.21/302.49 c | 448887 | 720 42633 135438 | 35317 33948 65 | 0.024 % |
303.11/303.40 c | 450161 | 720 42633 135438 | 35065 35222 64 | 0.000 % |
304.01/304.30 c | 451561 | 720 42633 135438 | 35065 32031 63 | 0.000 % |
305.31/305.56 c | 453103 | 720 42633 135438 | 35065 33573 64 | 0.000 % |
306.91/307.19 c | 454798 | 720 42633 135438 | 35065 35268 65 | 0.000 % |
308.01/308.26 c | 456661 | 720 42633 135438 | 35065 32472 63 | 0.000 % |
309.61/309.81 c | 458711 | 720 42633 135438 | 35065 34522 63 | 0.000 % |
311.21/311.48 c | 460964 | 720 42633 135438 | 31416 28453 59 | 0.000 % |
312.91/313.16 c | 463442 | 720 42633 135438 | 31416 30931 59 | 0.024 % |
314.51/314.72 c | 466168 | 720 42633 135438 | 31416 30276 57 | 0.000 % |
316.30/316.54 c | 469168 | 720 42633 135438 | 31416 30102 57 | 0.000 % |
318.20/318.40 c | 472466 | 720 42633 135438 | 2147483647 33400 57 | 0.000 % |
320.80/321.06 c | 476095 | 720 42633 135438 | 2147483647 37029 58 | 0.000 % |
323.50/323.78 c | 480084 | 720 42633 135438 | 40934 41018 59 | 0.000 % |
327.70/327.96 c | 484469 | 720 42633 135438 | 40934 40708 61 | 0.000 % |
327.80/328.02 c | 484570 | 720 42633 135438 | 40934 40809 61 | 0.000 % |
327.90/328.16 c | 484684 | 720 42633 135438 | 40934 40923 61 | 0.000 % |
328.00/328.28 c | 484805 | 720 42633 135438 | 40934 41044 61 | 0.000 % |
328.10/328.40 c | 484938 | 720 42633 135438 | 40934 35268 57 | 0.000 % |
328.30/328.51 c | 485088 | 720 42633 135438 | 40934 35418 57 | 0.000 % |
328.40/328.63 c | 485251 | 720 42633 135438 | 40934 35581 57 | 0.000 % |
328.50/328.74 c | 485427 | 720 42633 135438 | 40934 35757 57 | 0.000 % |
328.60/328.90 c | 485620 | 720 42633 135438 | 40934 35950 57 | 0.000 % |
328.70/328.99 c | 485832 | 720 42633 135438 | 40934 36162 58 | 0.000 % |
328.90/329.15 c | 486065 | 720 42633 135438 | 40934 36395 58 | 0.000 % |
329.10/329.31 c | 486321 | 720 42633 135438 | 40934 36651 58 | 0.000 % |
329.30/329.60 c | 486610 | 720 42633 135438 | 40934 36940 58 | 0.000 % |
329.50/329.77 c | 486919 | 720 42633 135438 | 40934 37249 58 | 0.000 % |
329.60/329.89 c | 487259 | 720 42633 135438 | 40934 37589 58 | 0.000 % |
329.90/330.16 c | 487631 | 720 42633 135438 | 40934 37961 58 | 0.000 % |
330.20/330.47 c | 488043 | 720 42633 135438 | 40934 38373 58 | 0.000 % |
330.70/330.95 c | 488498 | 720 42633 135438 | 40934 38828 59 | 0.000 % |
331.00/331.29 c | 488994 | 720 42633 135438 | 40934 39324 59 | 0.000 % |
331.40/331.64 c | 489536 | 720 42633 135438 | 40934 39866 59 | 0.000 % |
332.00/332.21 c | 490132 | 720 42633 135438 | 40334 40462 59 | 0.000 % |
332.50/332.80 c | 490787 | 720 42633 135438 | 40334 35334 58 | 0.000 % |
333.30/333.52 c | 491507 | 720 42633 135438 | 40334 36054 58 | 0.000 % |
333.90/334.18 c | 492299 | 720 42633 135438 | 40334 36846 58 | 0.000 % |
334.50/334.77 c | 493171 | 720 42633 135438 | 40334 37718 59 | 0.000 % |
335.21/335.43 c | 494131 | 720 42633 135438 | 40334 38678 59 | 0.000 % |
335.90/336.15 c | 495185 | 720 42633 135438 | 40334 39732 59 | 0.000 % |
336.50/336.79 c | 496344 | 720 42633 135438 | 40334 35158 58 | 0.000 % |
337.41/337.63 c | 497619 | 720 42633 135438 | 40334 36433 57 | 0.000 % |
338.10/338.38 c | 499019 | 720 42633 135438 | 40334 37833 57 | 0.021 % |
339.10/339.36 c | 500559 | 720 42633 135438 | 38815 34107 58 | 0.000 % |
340.61/340.82 c | 502254 | 720 42633 135438 | 38815 35802 60 | 0.000 % |
341.70/341.92 c | 504117 | 720 42633 135438 | 38815 37665 60 | 0.000 % |
343.01/343.24 c | 506167 | 720 42633 135438 | 38815 34929 58 | 0.000 % |
344.70/344.95 c | 508420 | 720 42633 135438 | 38815 37182 58 | 0.000 % |
346.20/346.48 c | 510900 | 720 42633 135438 | 38762 34623 56 | 0.000 % |
347.70/347.98 c | 513625 | 720 42633 135438 | 38762 37348 56 | 0.000 % |
350.10/350.32 c | 516622 | 720 42633 135438 | 38762 35326 56 | 0.000 % |
351.90/352.18 c | 519920 | 720 42633 135438 | 38762 38624 56 | 0.000 % |
354.00/354.23 c | 523546 | 720 42633 135438 | 38705 37714 56 | 0.024 % |
356.79/357.05 c | 527534 | 720 42633 135438 | 38705 37307 58 | 0.000 % |
360.99/361.23 c | 531920 | 720 42633 135438 | 34930 32523 59 | 0.000 % |
364.39/364.62 c | 536743 | 720 42633 135438 | 34930 33239 60 | 0.000 % |
364.49/364.73 c | 536847 | 720 42633 135438 | 34930 33343 60 | 0.000 % |
364.49/364.79 c | 536957 | 720 42633 135438 | 34930 33453 60 | 0.000 % |
364.59/364.87 c | 537078 | 720 42633 135438 | 34930 33574 60 | 0.000 % |
364.79/365.00 c | 537214 | 720 42633 135438 | 34930 33710 60 | 0.000 % |
364.89/365.11 c | 537360 | 720 42633 135438 | 34930 33856 61 | 0.000 % |
364.99/365.26 c | 537521 | 720 42633 135438 | 34930 34017 61 | 0.000 % |
365.19/365.40 c | 537697 | 720 42633 135438 | 34930 34193 61 | 0.000 % |
365.29/365.54 c | 537893 | 720 42633 135438 | 34930 34389 61 | 0.020 % |
365.39/365.69 c | 538106 | 720 42633 135438 | 34930 34602 61 | 0.000 % |
365.59/365.82 c | 538339 | 720 42633 135438 | 34930 34835 61 | 0.000 % |
365.69/365.98 c | 538598 | 720 42633 135438 | 34930 35094 61 | 0.000 % |
365.99/366.28 c | 538879 | 720 42633 135438 | 34930 31260 61 | 0.000 % |
366.19/366.46 c | 539190 | 720 42633 135438 | 34930 31571 61 | 0.000 % |
366.39/366.65 c | 539529 | 720 42633 135438 | 34930 31910 61 | 0.000 % |
366.79/367.01 c | 539904 | 720 42633 135438 | 34930 32285 62 | 0.000 % |
367.09/367.34 c | 540316 | 720 42633 135438 | 32381 28888 62 | 0.000 % |
367.39/367.64 c | 540765 | 720 42633 135438 | 32381 29337 62 | 0.000 % |
367.79/368.03 c | 541259 | 720 42633 135438 | 32381 29831 62 | 0.000 % |
368.19/368.49 c | 541806 | 720 42633 135438 | 32381 30378 62 | 0.000 % |
368.69/368.99 c | 542405 | 720 42633 135438 | 32381 30977 62 | 0.000 % |
369.29/369.55 c | 543061 | 720 42633 135438 | 32381 31633 62 | 0.000 % |
369.79/370.07 c | 543785 | 720 42633 135438 | 32381 32357 63 | 0.000 % |
370.29/370.58 c | 544578 | 720 42633 135438 | 32381 29140 62 | 0.000 % |
371.19/371.43 c | 545451 | 720 42633 135438 | 32381 30013 63 | 0.000 % |
371.69/371.90 c ===============================================================================
371.69/371.90 c restarts : 929
371.69/371.90 c conflicts : 546201 (1470 /sec)
371.69/371.90 c decisions : 843087 (1.17 % random) (2270 /sec)
371.69/371.90 c propagations : 49121251 (132237 /sec)
371.69/371.90 c conflict literals : 37436264 (38.94 % deleted)
371.69/371.90 c Memory used : 20.29 MB
371.69/371.90 c CPU time : 371.465 s
371.69/371.90 c
371.69/371.90 s SATISFIABLE
371.69/371.91 s SATISFIABLE
371.69/371.91 v -1 -2 -3 4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 207 -208 -209 -210 211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 278 -279 -280 -281 -282 -283 -284 -285 286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 -424 -425 426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 625 -626 -627 -628 629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 735 -736 -737 -738 -739 -740 -741 -742 -743 -744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834101-1242827999/watcher-1834101-1242827999 -o /tmp/evaluation-result-1834101-1242827999/solver-1834101-1242827999 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834101-1242827999.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 21444
/proc/meminfo: memFree=1896784/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310829872 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/21444/statm: 1339 235 195 169 0 50 0
[pid=21445] ppid=21444 vsize=5356 CPUtime=0
/proc/21445/stat : 21445 (SatELiteGTI) S 21444 21444 20993 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310829872 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/21445/statm: 1339 238 198 169 0 50 0
[pid=21447] ppid=21445 vsize=5356 CPUtime=0
/proc/21447/stat : 21447 (SatELiteGTI) R 21445 21444 20993 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045893927 0 0 4096 0 0 0 0 17 1 0 0
/proc/21447/statm: 1339 239 199 169 0 50 0
[startup+0.014238 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 21444
/proc/meminfo: memFree=1896784/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310829872 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21444/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101243 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 21444
/proc/meminfo: memFree=1896784/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310829872 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21444/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301272 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 21444
/proc/meminfo: memFree=1896784/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701313 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 21444
/proc/meminfo: memFree=1896784/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50139 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1890944/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=6784 CPUtime=1.31
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 1485 0 0 0 131 0 0 0 25 0 1 0 310829889 6946816 1471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 1696 1471 77 171 0 1523 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12140
[startup+3.10156 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1889152/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=8896 CPUtime=2.91
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 2018 0 0 0 290 1 0 0 25 0 1 0 310829889 9109504 2004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 2224 2004 77 171 0 2051 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14252
[startup+6.30189 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1885760/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=11636 CPUtime=6.1
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 2683 0 0 0 609 1 0 0 25 0 1 0 310829889 11915264 2669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 2909 2669 77 171 0 2736 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16992
[startup+12.7016 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1881664/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=15340 CPUtime=12.5
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 3618 0 0 0 1247 3 0 0 25 0 1 0 310829889 15708160 3604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 3835 3604 77 171 0 3662 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20696
[startup+25.5019 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1877888/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=18868 CPUtime=25.3
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4508 0 0 0 2526 4 0 0 25 0 1 0 310829889 19320832 4494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 4717 4494 77 171 0 4544 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24224
[startup+51.1016 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21450
/proc/meminfo: memFree=1877184/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=19556 CPUtime=50.88
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4662 0 0 0 5084 4 0 0 25 0 1 0 310829889 20025344 4648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 4889 4648 77 171 0 4716 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 24912
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1876856/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=19712 CPUtime=102.04
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4703 0 0 0 10199 5 0 0 25 0 1 0 310829889 20185088 4689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 4928 4689 77 171 0 4755 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 25068
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1876344/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20164 CPUtime=162.01
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4802 0 0 0 16196 5 0 0 25 0 1 0 310829889 20647936 4788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5041 4788 77 171 0 4868 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 25520
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875960/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20464 CPUtime=221.99
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4878 0 0 0 22193 6 0 0 25 0 1 0 310829889 20955136 4864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5116 4864 77 171 0 4943 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 25820
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875832/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20464 CPUtime=281.96
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4888 0 0 0 28190 6 0 0 25 0 1 0 310829889 20955136 4874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5116 4874 77 171 0 4943 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 25820
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875448/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=341.94
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4961 0 0 0 34187 7 0 0 25 0 1 0 310829889 21270528 4947 1992294400 134512640 135215339 4294956240 18446744073709551615 134526720 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4947 77 171 0 5020 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 26128
Solver just ended. Dumping a history of the last processes samples
[startup+358.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875448/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=357.93
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 35786 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (KiB) 26128
[startup+364.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875448/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=364.33
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 36426 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 364.49
Current children cumulated vsize (KiB) 26128
[startup+367.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875448/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=367.53
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 36746 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 367.69
Current children cumulated vsize (KiB) 26128
[startup+369.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875448/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=369.13
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 36906 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 369.29
Current children cumulated vsize (KiB) 26128
[startup+371.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875456/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=370.73
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 37066 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 370.89
Current children cumulated vsize (KiB) 26128
[startup+371.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875456/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=371.13
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 37106 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 371.29
Current children cumulated vsize (KiB) 26128
[startup+371.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21456
/proc/meminfo: memFree=1875456/2055920 swapFree=4115588/4192956
[pid=21444] ppid=21442 vsize=5356 CPUtime=0.16
/proc/21444/stat : 21444 (SatELiteGTI) S 21442 21444 20993 0 -1 4194304 336 1244 0 0 0 0 15 1 15 0 1 0 310829872 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21444/statm: 1339 239 197 169 0 50 0
[pid=21450] ppid=21444 vsize=20772 CPUtime=371.53
/proc/21450/stat : 21450 (minisat_static) R 21444 21444 20993 0 -1 4194304 4962 0 0 0 37146 7 0 0 25 0 1 0 310829889 21270528 4948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21450/statm: 5193 4948 77 171 0 5020 0
Current children cumulated CPU time (s) 371.69
Current children cumulated vsize (KiB) 26128
Child status: 10
Real time (s): 371.917
CPU time (s): 371.719
CPU user time (s): 371.623
CPU system time (s): 0.095985
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 26128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 371.624
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6852
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= 50
involuntary context switches= 2195
runsolver used 0.405938 second user time and 1.03784 second system time
The end
Begin job on node79 at 2009-05-20 15:59:59
IDJOB=1834101
IDBENCH=71352
IDSOLVER=671
FILE ID=node79/1834101-1242827999
PBS_JOBID= 9322482
Free space on /tmp= 66332 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834101-1242827999/watcher-1834101-1242827999 -o /tmp/evaluation-result-1834101-1242827999/solver-1834101-1242827999 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834101-1242827999.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5ca98921e111a723938eee2419329779
RANDOM SEED=1865538473
node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1897328 kB
Buffers: 15784 kB
Cached: 37552 kB
SwapCached: 71512 kB
Active: 83832 kB
Inactive: 43076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1897328 kB
SwapTotal: 4192956 kB
SwapFree: 4115588 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 15428 kB
Slab: 17728 kB
Committed_AS: 1049340 kB
PageTables: 1404 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= 66328 MiB
End job on node79 at 2009-05-20 16:06:11