0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 84314 169678 | 25294 0 0 nan | 0.000 % |
0.00/0.32 c | 0 | 82850 270971 | -- 0 -- -- | -- | -1464/101293
0.00/0.32 c ==============================================================================
0.00/0.32 c Result : #vars: 1100 #clauses: 82850 #literals: 270971
0.00/0.32 c CPU time: 0.310952 s
0.00/0.32 c ==============================================================================
0.00/0.40 c This is MiniSat 2.0 beta
0.00/0.40 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.40 c ============================[ Problem Statistics ]=============================
0.00/0.40 c | |
0.38/0.40 c | Number of variables: 1100 |
0.38/0.40 c | Number of clauses: 82850 |
0.38/0.44 c | Parsing time: 0.04 s |
0.38/0.44 c ============================[ Search Statistics ]==============================
0.38/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.38/0.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.38/0.44 c ===============================================================================
0.38/0.44 c | 0 | 1100 82850 270971 | 27616 0 nan | 0.000 % |
0.38/0.46 c | 101 | 1100 82850 270971 | 27616 101 120 | 0.000 % |
0.38/0.48 c | 201 | 1100 82850 270971 | 27616 201 99 | 0.000 % |
0.38/0.49 c | 301 | 1100 82850 270971 | 27616 301 89 | 0.011 % |
0.38/0.50 c | 412 | 1100 82850 270971 | 27616 412 81 | 0.013 % |
0.38/0.51 c | 512 | 1100 82850 270971 | 27616 512 75 | 0.014 % |
0.38/0.53 c | 622 | 1100 82850 270971 | 27616 622 78 | 0.000 % |
0.38/0.54 c | 743 | 1100 82850 270971 | 27616 743 76 | 0.000 % |
0.38/0.55 c | 843 | 1100 82850 270971 | 27616 843 74 | 0.012 % |
0.38/0.57 c | 953 | 1100 82850 270971 | 27616 953 72 | 0.012 % |
0.38/0.58 c | 1074 | 1100 82850 270971 | 27616 1074 71 | 0.000 % |
0.38/0.60 c | 1210 | 1100 82850 270971 | 27616 1210 75 | 0.000 % |
0.38/0.61 c | 1312 | 1100 82850 270971 | 27616 1312 75 | 0.000 % |
0.38/0.63 c | 1424 | 1100 82850 270971 | 27616 1424 75 | 0.011 % |
0.38/0.64 c | 1546 | 1100 82850 270971 | 27616 1546 74 | 0.013 % |
0.38/0.66 c | 1679 | 1100 82850 270971 | 27616 1679 75 | 0.000 % |
0.38/0.68 c | 1827 | 1100 82850 270971 | 27616 1827 75 | 0.000 % |
0.38/0.69 c | 1928 | 1100 82850 270971 | 27616 1928 74 | 0.015 % |
0.38/0.71 c | 2038 | 1100 82850 270971 | 27616 2038 74 | 0.013 % |
0.38/0.72 c | 2159 | 1100 82850 270971 | 27616 2159 76 | 0.000 % |
0.38/0.74 c | 2293 | 1100 82850 270971 | 27616 2293 75 | 0.000 % |
0.38/0.76 c | 2440 | 1100 82850 270971 | 27616 2440 75 | 0.000 % |
0.38/0.78 c | 2600 | 1100 82850 270971 | 27616 2600 74 | 0.013 % |
0.38/0.79 c | 2700 | 1100 82850 270971 | 27616 2700 73 | 0.000 % |
0.38/0.80 c | 2811 | 1100 82850 270971 | 27616 2811 72 | 0.013 % |
0.38/0.82 c | 2935 | 1100 82850 270971 | 27616 2935 71 | 0.013 % |
0.38/0.84 c | 3068 | 1100 82850 270971 | 27616 3068 70 | 0.014 % |
0.38/0.86 c | 3215 | 1100 82850 270971 | 27616 3215 71 | 0.000 % |
0.38/0.88 c | 3375 | 1100 82850 270971 | 27616 3375 70 | 0.000 % |
0.38/0.90 c | 3552 | 1100 82850 270971 | 27616 3552 71 | 0.000 % |
0.38/0.92 c | 3652 | 1100 82850 270971 | 27616 3652 71 | 0.000 % |
0.38/0.93 c | 3762 | 1100 82850 270971 | 27616 3762 72 | 0.011 % |
0.38/0.95 c | 3885 | 1100 82850 270971 | 27616 3885 72 | 0.000 % |
0.38/0.97 c | 4018 | 1100 82850 270971 | 27616 4018 72 | 0.000 % |
0.38/0.99 c | 4164 | 1100 82850 270971 | 27616 4164 73 | 0.000 % |
0.96/1.03 c | 4325 | 1100 82850 270971 | 27616 4325 74 | 0.000 % |
0.96/1.05 c | 4502 | 1100 82850 270971 | 27616 4502 75 | 0.000 % |
0.96/1.08 c | 4695 | 1100 82850 270971 | 27616 4695 77 | 0.000 % |
0.96/1.09 c | 4795 | 1100 82850 270971 | 27616 4795 77 | 0.000 % |
1.06/1.11 c | 4907 | 1100 82850 270971 | 27616 4907 77 | 0.000 % |
1.06/1.13 c | 5029 | 1100 82850 270971 | 27616 5029 76 | 0.013 % |
1.06/1.15 c | 5162 | 1100 82850 270971 | 27616 5162 77 | 0.000 % |
1.06/1.17 c | 5309 | 1100 82850 270971 | 27616 5309 77 | 0.000 % |
1.06/1.19 c | 5471 | 1100 82850 270971 | 27616 5471 77 | 0.013 % |
1.16/1.21 c | 5647 | 1100 82850 270971 | 27616 5647 77 | 0.013 % |
1.16/1.24 c | 5842 | 1100 82850 270971 | 27616 5842 76 | 0.012 % |
1.16/1.27 c | 6054 | 1100 82850 270971 | 27616 6054 75 | 0.013 % |
1.16/1.29 c | 6154 | 1100 82850 270971 | 27616 6154 76 | 0.000 % |
1.26/1.31 c | 6264 | 1100 82850 270971 | 27616 6264 76 | 0.000 % |
1.26/1.32 c | 6385 | 1100 82850 270971 | 27616 6385 76 | 0.012 % |
1.26/1.34 c | 6519 | 1100 82850 270971 | 27616 6519 75 | 0.000 % |
1.26/1.36 c | 6665 | 1100 82850 270971 | 27616 6665 77 | 0.000 % |
1.26/1.38 c | 6825 | 1100 82850 270971 | 27616 6825 77 | 0.000 % |
1.36/1.41 c | 7002 | 1100 82850 270971 | 27616 7002 77 | 0.000 % |
1.36/1.44 c | 7195 | 1100 82850 270971 | 27616 7195 78 | 0.000 % |
1.36/1.47 c | 7413 | 1100 82850 270971 | 27616 7413 79 | 0.000 % |
1.46/1.51 c | 7646 | 1100 82850 270971 | 27616 7646 79 | 0.000 % |
1.46/1.53 c | 7747 | 1100 82850 270971 | 27616 7747 79 | 0.000 % |
1.46/1.55 c | 7858 | 1100 82850 270971 | 27616 7858 79 | 0.000 % |
1.46/1.57 c | 7983 | 1100 82850 270971 | 27616 7983 79 | 0.000 % |
1.46/1.59 c | 8116 | 1100 82850 270971 | 27616 8116 79 | 0.012 % |
1.56/1.61 c | 8263 | 1100 82850 270971 | 27616 8263 78 | 0.014 % |
1.56/1.63 c | 8424 | 1100 82850 270971 | 27616 8424 78 | 0.000 % |
1.56/1.66 c | 8600 | 1100 82850 270971 | 27616 8600 78 | 0.014 % |
1.56/1.69 c | 8793 | 1100 82850 270971 | 27616 8793 78 | 0.000 % |
1.67/1.72 c | 9005 | 1100 82850 270971 | 27616 9005 78 | 0.000 % |
1.67/1.76 c | 9241 | 1100 82850 270971 | 27616 9241 79 | 0.000 % |
1.77/1.81 c | 9500 | 1100 82850 270971 | 27616 9500 79 | 0.000 % |
1.77/1.83 c | 9602 | 1100 82850 270971 | 27616 9602 79 | 0.000 % |
1.77/1.86 c | 9712 | 1100 82850 270971 | 27616 9712 80 | 0.000 % |
1.77/1.88 c | 9834 | 1100 82850 270971 | 27616 9834 79 | 0.000 % |
1.87/1.90 c | 9967 | 1100 82850 270971 | 27616 9967 79 | 0.000 % |
1.87/1.93 c | 10113 | 1100 82850 270971 | 2147483647 10113 79 | 0.000 % |
1.87/1.96 c | 10274 | 1100 82850 270971 | 2147483647 10274 79 | 0.013 % |
1.87/1.99 c | 10450 | 1100 82850 270971 | 2147483647 10450 78 | 0.012 % |
1.97/2.02 c | 10643 | 1100 82850 270971 | 2147483647 10643 78 | 0.000 % |
1.97/2.06 c | 10855 | 1100 82850 270971 | 2147483647 10855 77 | 0.011 % |
1.97/2.09 c | 11091 | 1100 82850 270971 | 2147483647 11091 77 | 0.000 % |
2.07/2.15 c | 11347 | 1100 82850 270971 | 2147483647 11347 78 | 0.000 % |
2.07/2.19 c | 11630 | 1100 82850 270971 | 2147483647 11630 78 | 0.000 % |
2.17/2.20 c | 11730 | 1100 82850 270971 | 2147483647 11730 77 | 0.013 % |
2.17/2.22 c | 11840 | 1100 82850 270971 | 2147483647 11840 77 | 0.000 % |
2.17/2.25 c | 11964 | 1100 82850 270971 | 2147483647 11964 77 | 0.000 % |
2.17/2.28 c | 12097 | 1100 82850 270971 | 2147483647 12097 77 | 0.000 % |
2.27/2.31 c | 12243 | 1100 82850 270971 | 2147483647 12243 78 | 0.000 % |
2.27/2.34 c | 12404 | 1100 82850 270971 | 2147483647 12404 78 | 0.000 % |
2.27/2.37 c | 12580 | 1100 82850 270971 | 2147483647 12580 78 | 0.000 % |
2.37/2.41 c | 12773 | 1100 82850 270971 | 2147483647 12773 78 | 0.000 % |
2.37/2.45 c | 12985 | 1100 82850 270971 | 2147483647 12985 77 | 0.000 % |
2.37/2.50 c | 13219 | 1100 82850 270971 | 2147483647 13219 77 | 0.000 % |
2.47/2.54 c | 13477 | 1100 82850 270971 | 2147483647 13477 77 | 0.000 % |
2.47/2.60 c | 13758 | 1100 82850 270971 | 2147483647 13758 77 | 0.000 % |
2.56/2.65 c | 14070 | 1100 82850 270971 | 2147483647 14070 76 | 0.013 % |
2.56/2.68 c | 14171 | 1100 82850 270971 | 2147483647 14171 77 | 0.000 % |
2.66/2.70 c | 14281 | 1100 82850 270971 | 2147483647 14281 77 | 0.000 % |
2.66/2.73 c | 14403 | 1100 82850 270971 | 2147483647 14403 76 | 0.000 % |
2.66/2.75 c | 14537 | 1100 82850 270971 | 2147483647 14537 76 | 0.012 % |
2.66/2.79 c | 14688 | 1100 82850 270971 | 2147483647 14688 77 | 0.000 % |
2.76/2.83 c | 14848 | 1100 82850 270971 | 2147483647 14848 77 | 0.000 % |
2.76/2.86 c | 15024 | 1100 82850 270971 | 2147483647 15024 77 | 0.012 % |
2.86/2.92 c | 15217 | 1100 82850 270971 | 2147483647 15217 78 | 0.000 % |
2.86/2.96 c | 15429 | 1100 82850 270971 | 2147483647 15429 78 | 0.011 % |
2.96/3.00 c | 15664 | 1100 82850 270971 | 2147483647 15664 78 | 0.000 % |
2.96/3.06 c | 15923 | 1100 82850 270971 | 2147483647 15923 77 | 0.000 % |
3.06/3.12 c | 16204 | 1100 82850 270971 | 2147483647 16204 77 | 0.012 % |
3.06/3.19 c | 16515 | 1100 82850 270971 | 2147483647 16515 77 | 0.000 % |
3.17/3.27 c | 16854 | 1100 82850 270971 | 2147483647 16854 78 | 0.000 % |
3.17/3.30 c | 16956 | 1100 82850 270971 | 2147483647 16956 78 | 0.014 % |
3.27/3.32 c | 17066 | 1100 82850 270971 | 2147483647 17066 78 | 0.014 % |
3.27/3.36 c | 17189 | 1100 82850 270971 | 2147483647 17189 78 | 0.000 % |
3.27/3.39 c | 17322 | 1100 82850 270971 | 2147483647 17322 78 | 0.000 % |
3.36/3.43 c | 17473 | 1100 82850 270971 | 2147483647 17473 78 | 0.000 % |
3.36/3.47 c | 17635 | 1100 82850 270971 | 2147483647 17635 78 | 0.000 % |
3.46/3.51 c | 17811 | 1100 82850 270971 | 2147483647 17811 78 | 0.000 % |
3.46/3.56 c | 18005 | 1100 82850 270971 | 2147483647 18005 78 | 0.000 % |
3.56/3.61 c | 18217 | 1100 82850 270971 | 2147483647 18217 79 | 0.000 % |
3.56/3.66 c | 18451 | 1100 82850 270971 | 2147483647 18451 79 | 0.000 % |
3.66/3.72 c | 18708 | 1100 82850 270971 | 2147483647 18708 79 | 0.000 % |
3.66/3.78 c | 18989 | 1100 82850 270971 | 2147483647 18989 79 | 0.000 % |
3.76/3.86 c | 19298 | 1100 82850 270971 | 2147483647 19298 79 | 0.000 % |
3.86/3.93 c | 19637 | 1100 82850 270971 | 2147483647 19637 79 | 0.000 % |
3.96/4.04 c | 20010 | 1100 82850 270971 | 2147483647 20010 79 | 0.000 % |
3.96/4.08 c | 20110 | 1100 82850 270971 | 2147483647 20110 79 | 0.000 % |
4.06/4.11 c | 20222 | 1100 82850 270971 | 2147483647 20222 80 | 0.000 % |
4.06/4.14 c | 20345 | 1100 82850 270971 | 2147483647 20345 80 | 0.000 % |
4.06/4.17 c | 20478 | 1100 82850 270971 | 2147483647 20478 79 | 0.013 % |
4.16/4.21 c | 20624 | 1100 82850 270971 | 2147483647 20624 79 | 0.014 % |
4.16/4.25 c | 20786 | 1100 82850 270971 | 2147483647 20786 79 | 0.013 % |
4.16/4.29 c | 20962 | 1100 82850 270971 | 2147483647 20962 79 | 0.013 % |
4.26/4.35 c | 21156 | 1100 82850 270971 | 2147483647 21156 79 | 0.000 % |
4.26/4.39 c | 21368 | 1100 82850 270971 | 2147483647 21368 79 | 0.012 % |
4.37/4.46 c | 21601 | 1100 82850 270971 | 2147483647 21601 79 | 0.011 % |
4.46/4.52 c | 21857 | 1100 82850 270971 | 2147483647 21857 79 | 0.013 % |
4.56/4.60 c | 22138 | 1100 82850 270971 | 2147483647 22138 79 | 0.013 % |
4.56/4.68 c | 22447 | 1100 82850 270971 | 2147483647 22447 78 | 0.000 % |
4.66/4.75 c | 22786 | 1100 82850 270971 | 2147483647 22786 79 | 0.000 % |
4.76/4.86 c | 23159 | 1100 82850 270971 | 2147483647 23159 78 | 0.012 % |
4.86/4.98 c | 23572 | 1100 82850 270971 | 2147483647 23572 78 | 0.012 % |
4.96/5.01 c | 23673 | 1100 82850 270971 | 2147483647 23673 78 | 0.000 % |
4.96/5.05 c | 23785 | 1100 82850 270971 | 2147483647 23785 78 | 0.000 % |
4.96/5.08 c | 23906 | 1100 82850 270971 | 2147483647 23906 78 | 0.000 % |
5.06/5.12 c | 24040 | 1100 82850 270971 | 2147483647 24040 78 | 0.000 % |
5.06/5.16 c | 24187 | 1100 82850 270971 | 2147483647 24187 78 | 0.000 % |
5.16/5.20 c | 24348 | 1100 82850 270971 | 2147483647 24348 78 | 0.000 % |
5.16/5.26 c | 24528 | 1100 82850 270971 | 2147483647 24528 78 | 0.013 % |
5.26/5.32 c | 24721 | 1100 82850 270971 | 2147483647 24721 78 | 0.000 % |
5.26/5.39 c | 24934 | 1100 82850 270971 | 2147483647 24934 78 | 0.000 % |
5.36/5.47 c | 25167 | 1100 82850 270971 | 2147483647 25167 77 | 0.011 % |
5.46/5.53 c | 25423 | 1100 82850 270971 | 2147483647 25423 77 | 0.014 % |
5.56/5.63 c | 25704 | 1100 82850 270971 | 2147483647 25704 77 | 0.011 % |
5.66/5.71 c | 26016 | 1100 82850 270971 | 2147483647 26016 77 | 0.013 % |
5.76/5.80 c | 26355 | 1100 82850 270971 | 2147483647 26355 77 | 0.000 % |
5.86/5.91 c | 26729 | 1100 82850 270971 | 2147483647 26729 77 | 0.017 % |
5.96/6.04 c | 27138 | 1100 82850 270971 | 2147483647 27138 77 | 0.011 % |
6.06/6.16 c | 27588 | 1100 82850 270971 | 2147483647 27588 77 | 0.000 % |
6.06/6.20 c | 27689 | 1100 82850 270971 | 2147483647 27689 77 | 0.000 % |
6.16/6.23 c | 27801 | 1100 82850 270971 | 2147483647 27801 77 | 0.013 % |
6.16/6.27 c | 27923 | 1100 82850 270971 | 2147483647 27923 77 | 0.012 % |
6.26/6.30 c | 28056 | 1100 82850 270971 | 2147483647 28056 77 | 0.000 % |
6.26/6.37 c | 28203 | 1100 82850 270971 | 2147483647 28203 77 | 0.000 % |
6.36/6.41 c | 28363 | 1100 82850 270971 | 2147483647 28363 77 | 0.000 % |
6.36/6.46 c | 28539 | 1100 82850 270971 | 2147483647 28539 77 | 0.000 % |
6.46/6.54 c | 28732 | 1100 82850 270971 | 2147483647 28732 78 | 0.000 % |
6.56/6.60 c | 28944 | 1100 82850 270971 | 2147483647 28944 78 | 0.000 % |
6.56/6.68 c | 29179 | 1100 82850 270971 | 2147483647 29179 78 | 0.011 % |
6.65/6.75 c | 29437 | 1100 82850 270971 | 2147483647 29437 78 | 0.000 % |
6.75/6.86 c | 29718 | 1100 82850 270971 | 2147483647 29718 77 | 0.000 % |
6.86/6.94 c | 30028 | 1100 82850 270971 | 2147483647 30028 77 | 0.000 % |
6.96/7.08 c | 30367 | 1100 82850 270971 | 2147483647 30367 78 | 0.000 % |
7.06/7.17 c | 30741 | 1100 82850 270971 | 2147483647 30741 78 | 0.000 % |
7.16/7.30 c | 31150 | 1100 82850 270971 | 2147483647 31150 78 | 0.000 % |
7.36/7.44 c | 31602 | 1100 82850 270971 | 2147483647 31602 77 | 0.012 % |
7.46/7.60 c | 32095 | 1100 82850 270971 | 2147483647 32095 77 | 0.015 % |
7.56/7.66 c | 32195 | 1100 82850 270971 | 2147483647 32195 77 | 0.000 % |
7.56/7.69 c | 32305 | 1100 82850 270971 | 2147483647 32305 77 | 0.013 % |
7.66/7.73 c | 32430 | 1100 82850 270971 | 2147483647 32430 77 | 0.000 % |
7.66/7.78 c | 32563 | 1100 82850 270971 | 2147483647 32563 77 | 0.000 % |
7.76/7.84 c | 32709 | 1100 82850 270971 | 2147483647 32709 78 | 0.000 % |
7.76/7.88 c | 32869 | 1100 82850 270971 | 2147483647 32869 78 | 0.000 % |
7.86/7.95 c | 33045 | 1100 82850 270971 | 2147483647 33045 78 | 0.000 % |
7.96/8.01 c | 33239 | 1100 82850 270971 | 2147483647 33239 78 | 0.000 % |
7.96/8.09 c | 33454 | 1100 82850 270971 | 2147483647 33454 78 | 0.000 % |
8.16/8.20 c | 33688 | 1100 82850 270971 | 2147483647 33688 78 | 0.000 % |
8.26/8.30 c | 33944 | 1100 82850 270971 | 2147483647 33944 78 | 0.000 % |
8.36/8.41 c | 34226 | 1100 82850 270971 | 2147483647 34226 78 | 0.000 % |
8.46/8.52 c | 34536 | 1100 82850 270971 | 2147483647 34536 78 | 0.012 % |
8.56/8.68 c | 34877 | 1100 82850 270971 | 2147483647 34877 78 | 0.000 % |
8.76/8.86 c | 35252 | 1100 82850 270971 | 2147483647 35252 78 | 0.000 % |
8.95/9.00 c | 35661 | 1100 82850 270971 | 2147483647 35661 78 | 0.012 % |
9.05/9.16 c | 36111 | 1100 82850 270971 | 2147483647 36111 78 | 0.012 % |
9.25/9.31 c | 36605 | 1100 82850 270971 | 2147483647 36605 77 | 0.012 % |
9.45/9.53 c | 37150 | 1100 82850 270971 | 2147483647 37150 77 | 0.012 % |
9.45/9.57 c | 37250 | 1100 82850 270971 | 2147483647 37250 77 | 0.014 % |
9.55/9.61 c | 37360 | 1100 82850 270971 | 2147483647 37360 77 | 0.012 % |
9.55/9.65 c | 37481 | 1100 82850 270971 | 2147483647 37481 77 | 0.010 % |
9.65/9.71 c | 37614 | 1100 82850 270971 | 2147483647 37614 77 | 0.000 % |
9.65/9.76 c | 37760 | 1100 82850 270971 | 2147483647 37760 77 | 0.014 % |
9.76/9.82 c | 37921 | 1100 82850 270971 | 2147483647 37921 76 | 0.015 % |
9.86/9.90 c | 38097 | 1100 82850 270971 | 2147483647 38097 76 | 0.011 % |
9.86/9.97 c | 38290 | 1100 82850 270971 | 2147483647 38290 77 | 0.000 % |
9.95/10.03 c | 38502 | 1100 82850 270971 | 2147483647 38502 77 | 0.000 % |
10.05/10.13 c | 38736 | 1100 82850 270971 | 2147483647 38736 77 | 0.000 % |
10.15/10.24 c | 38992 | 1100 82850 270971 | 2147483647 38992 77 | 0.000 % |
10.25/10.33 c | 39273 | 1100 82850 270971 | 2147483647 39273 77 | 0.000 % |
10.35/10.46 c | 39582 | 1100 82850 270971 | 2147483647 39582 77 | 0.000 % |
10.55/10.62 c | 39921 | 1100 82850 270971 | 2147483647 39921 77 | 0.000 % |
10.65/10.77 c | 40295 | 1100 82850 270971 | 2147483647 40295 77 | 0.000 % |
10.85/10.93 c | 40706 | 1100 82850 270971 | 2147483647 40706 77 | 0.000 % |
11.06/11.11 c | 41155 | 1100 82850 270971 | 2147483647 41155 77 | 0.000 % |
11.26/11.32 c | 41649 | 1100 82850 270971 | 2147483647 41649 77 | 0.013 % |
11.46/11.53 c | 42191 | 1100 82850 270971 | 2147483647 42191 77 | 0.013 % |
11.66/11.79 c | 42787 | 1100 82850 270971 | 2147483647 42787 77 | 0.013 % |
11.76/11.83 c | 42887 | 1100 82850 270971 | 2147483647 42887 77 | 0.000 % |
11.76/11.88 c | 42998 | 1100 82850 270971 | 2147483647 42998 77 | 0.014 % |
11.86/11.93 c | 43121 | 1100 82850 270971 | 2147483647 43121 77 | 0.011 % |
11.86/11.98 c | 43254 | 1100 82850 270971 | 2147483647 43254 77 | 0.011 % |
11.96/12.04 c | 43400 | 1100 82850 270971 | 2147483647 43400 77 | 0.014 % |
11.96/12.08 c | 43560 | 1100 82850 270971 | 2147483647 43560 77 | 0.000 % |
12.06/12.19 c | 43738 | 1100 82850 270971 | 2147483647 43738 77 | 0.000 % |
12.16/12.27 c | 43931 | 1100 82850 270971 | 2147483647 43931 77 | 0.000 % |
12.26/12.36 c | 44145 | 1100 82850 270971 | 2147483647 44145 77 | 0.000 % |
12.36/12.47 c | 44380 | 1100 82850 270971 | 2147483647 44380 77 | 0.000 % |
12.46/12.58 c | 44638 | 1100 82850 270971 | 2147483647 44638 77 | 0.013 % |
12.56/12.68 c | 44920 | 1100 82850 270971 | 2147483647 44920 77 | 0.015 % |
12.76/12.81 c | 45229 | 1100 82850 270971 | 2147483647 45229 77 | 0.015 % |
12.86/12.96 c | 45573 | 1100 82850 270971 | 2147483647 45573 76 | 0.015 % |
13.06/13.13 c | 45945 | 1100 82850 270971 | 2147483647 45945 77 | 0.000 % |
13.26/13.31 c | 46354 | 1100 82850 270971 | 2147483647 46354 77 | 0.000 % |
13.35/13.49 c | 46803 | 1100 82850 270971 | 2147483647 46803 77 | 0.000 % |
13.65/13.70 c | 47298 | 1100 82850 270971 | 2147483647 47298 76 | 0.011 % |
13.85/13.93 c | 47841 | 1100 82850 270971 | 2147483647 47841 76 | 0.012 % |
14.05/14.20 c | 48440 | 1100 82850 270971 | 2147483647 48440 76 | 0.012 % |
14.45/14.56 c | 49095 | 1100 82850 270971 | 2147483647 49095 76 | 0.012 % |
14.55/14.64 c | 49195 | 1100 82850 270971 | 2147483647 49195 76 | 0.000 % |
14.55/14.68 c | 49306 | 1100 82850 270971 | 2147483647 49306 76 | 0.000 % |
14.65/14.74 c | 49427 | 1100 82850 270971 | 2147483647 49427 76 | 0.000 % |
14.75/14.81 c | 49562 | 1100 82850 270971 | 2147483647 49562 76 | 0.000 % |
14.85/14.91 c | 49709 | 1100 82850 270971 | 2147483647 49709 76 | 0.000 % |
14.85/14.98 c | 49869 | 1100 82850 270971 | 2147483647 49869 76 | 0.000 % |
14.95/15.08 c | 50045 | 1100 82850 270971 | 2147483647 50045 76 | 0.000 % |
15.05/15.19 c | 50239 | 1100 82850 270971 | 2147483647 50239 76 | 0.000 % |
15.25/15.31 c | 50453 | 1100 82850 270971 | 2147483647 50453 76 | 0.000 % |
15.35/15.42 c | 50686 | 1100 82850 270971 | 2147483647 50686 76 | 0.014 % |
15.45/15.52 c | 50943 | 1100 82850 270971 | 2147483647 50943 77 | 0.012 % |
15.55/15.64 c | 51225 | 1100 82850 270971 | 2147483647 51225 77 | 0.000 % |
15.65/15.78 c | 51534 | 1100 82850 270971 | 2147483647 51534 77 | 0.014 % |
15.84/15.98 c | 51873 | 1100 82850 270971 | 2147483647 51873 77 | 0.000 % |
16.05/16.16 c | 52247 | 1100 82850 270971 | 2147483647 52247 77 | 0.000 % |
16.25/16.34 c | 52656 | 1100 82850 270971 | 2147483647 52656 77 | 0.000 % |
16.36/16.50 c | 53105 | 1100 82850 270971 | 2147483647 53105 77 | 0.013 % |
16.65/16.70 c | 53598 | 1100 82850 270971 | 2147483647 53598 77 | 0.011 % |
16.95/17.01 c | 54140 | 1100 82850 270971 | 2147483647 54140 77 | 0.000 % |
17.15/17.27 c | 54736 | 1100 82850 270971 | 2147483647 54736 78 | 0.012 % |
17.55/17.63 c | 55391 | 1100 82850 270971 | 2147483647 55391 78 | 0.000 % |
17.85/17.94 c | 56111 | 1100 82850 270971 | 2147483647 56111 77 | 0.000 % |
17.85/17.99 c | 56213 | 1100 82850 270971 | 2147483647 56213 77 | 0.000 % |
17.95/18.05 c | 56325 | 1100 82850 270971 | 2147483647 56325 77 | 0.000 % |
18.05/18.10 c | 56446 | 1100 82850 270971 | 2147483647 56446 77 | 0.000 % |
18.05/18.16 c | 56580 | 1100 82850 270971 | 2147483647 56580 77 | 0.011 % |
18.15/18.26 c | 56726 | 1100 82850 270971 | 2147483647 56726 77 | 0.000 % |
18.25/18.36 c | 56886 | 1100 82850 270971 | 2147483647 56886 77 | 0.000 % |
18.35/18.44 c | 57062 | 1100 82850 270971 | 2147483647 57062 77 | 0.000 % |
18.45/18.56 c | 57255 | 1100 82850 270971 | 2147483647 57255 77 | 0.000 % |
18.55/18.69 c | 57469 | 1100 82850 270971 | 2147483647 57469 77 | 0.000 % |
18.75/18.83 c | 57702 | 1100 82850 270971 | 2147483647 57702 77 | 0.013 % |
18.85/18.96 c | 57962 | 1100 82850 270971 | 2147483647 57962 77 | 0.000 % |
18.95/19.08 c | 58243 | 1100 82850 270971 | 2147483647 58243 77 | 0.000 % |
19.14/19.25 c | 58553 | 1100 82850 270971 | 2147483647 58553 77 | 0.000 % |
19.34/19.47 c | 58892 | 1100 82850 270971 | 2147483647 58892 78 | 0.000 % |
19.65/19.74 c | 59267 | 1100 82850 270971 | 2147483647 59267 78 | 0.000 % |
19.84/19.99 c | 59677 | 1100 82850 270971 | 2147483647 59677 78 | 0.000 % |
20.14/20.22 c | 60128 | 1100 82850 270971 | 2147483647 60128 78 | 0.000 % |
20.34/20.50 c | 60623 | 1100 82850 270971 | 2147483647 60623 78 | 0.000 % |
20.74/20.80 c | 61166 | 1100 82850 270971 | 2147483647 61166 78 | 0.000 % |
21.05/21.12 c | 61763 | 1100 82850 270971 | 2147483647 61763 79 | 0.000 % |
21.35/21.47 c | 62418 | 1100 82850 270971 | 2147483647 62418 79 | 0.000 % |
21.75/21.89 c | 63138 | 1100 82850 270971 | 2147483647 63138 78 | 0.000 % |
22.25/22.35 c | 63933 | 1100 82850 270971 | 2147483647 63933 78 | 0.000 % |
22.25/22.39 c | 64033 | 1100 82850 270971 | 2147483647 64033 78 | 0.015 % |
22.34/22.49 c | 64144 | 1100 82850 270971 | 2147483647 64144 78 | 0.000 % |
22.44/22.56 c | 64265 | 1100 82850 270971 | 2147483647 64265 78 | 0.000 % |
22.54/22.62 c | 64398 | 1100 82850 270971 | 2147483647 64398 78 | 0.000 % |
22.54/22.69 c | 64545 | 1100 82850 270971 | 2147483647 64545 78 | 0.000 % |
22.74/22.83 c | 64706 | 1100 82850 270971 | 2147483647 64706 78 | 0.000 % |
22.84/22.94 c | 64882 | 1100 82850 270971 | 2147483647 64882 78 | 0.000 % |
22.95/23.06 c | 65076 | 1100 82850 270971 | 2147483647 65076 78 | 0.000 % |
23.14/23.21 c | 65288 | 1100 82850 270971 | 2147483647 65288 79 | 0.000 % |
23.24/23.34 c | 65522 | 1100 82850 270971 | 2147483647 65522 79 | 0.000 % |
23.44/23.55 c | 65781 | 1100 82850 270971 | 2147483647 65781 79 | 0.000 % |
23.64/23.77 c | 66062 | 1100 82850 270971 | 2147483647 66062 79 | 0.013 % |
23.84/23.98 c | 66371 | 1100 82850 270971 | 2147483647 66371 79 | 0.000 % |
24.14/24.23 c | 66710 | 1100 82850 270971 | 2147483647 66710 79 | 0.000 % |
24.34/24.44 c | 67082 | 1100 82850 270971 | 2147483647 67082 79 | 0.000 % |
24.64/24.74 c | 67491 | 1100 82850 270971 | 2147483647 67491 80 | 0.000 % |
24.94/25.01 c | 67941 | 1100 82850 270971 | 2147483647 67941 80 | 0.000 % |
25.24/25.36 c | 68437 | 1100 82850 270971 | 2147483647 68437 80 | 0.012 % |
25.64/25.70 c | 68979 | 1100 82850 270971 | 2147483647 68979 80 | 0.013 % |
25.94/26.09 c | 69575 | 1100 82850 270971 | 2147483647 69575 80 | 0.011 % |
26.54/26.68 c | 70230 | 1100 82850 270971 | 2147483647 70230 80 | 0.000 % |
27.04/27.15 c | 70950 | 1100 82850 270971 | 2147483647 70950 80 | 0.012 % |
27.54/27.69 c | 71743 | 1100 82850 270971 | 2147483647 71743 80 | 0.013 % |
28.24/28.33 c | 72616 | 1100 82850 270971 | 2147483647 72616 80 | 0.000 % |
28.33/28.43 c | 72716 | 1100 82850 270971 | 2147483647 72716 81 | 0.000 % |
28.33/28.49 c | 72826 | 1100 82850 270971 | 2147483647 72826 80 | 0.000 % |
28.44/28.57 c | 72947 | 1100 82850 270971 | 2147483647 72947 80 | 0.000 % |
28.54/28.65 c | 73080 | 1100 82850 270971 | 2147483647 73080 80 | 0.012 % |
28.73/28.80 c | 73226 | 1100 82850 270971 | 2147483647 73226 81 | 0.000 % |
28.83/28.95 c | 73387 | 1100 82850 270971 | 2147483647 73387 81 | 0.000 % |
28.93/29.06 c | 73563 | 1100 82850 270971 | 2147483647 73563 81 | 0.000 % |
29.13/29.23 c | 73757 | 1100 82850 270971 | 2147483647 73757 81 | 0.000 % |
29.34/29.44 c | 73969 | 1100 82850 270971 | 2147483647 73969 81 | 0.000 % |
29.55/29.61 c | 74203 | 1100 82850 270971 | 2147483647 74203 81 | 0.000 % |
29.65/29.79 c | 74459 | 1100 82850 270971 | 2147483647 74459 81 | 0.000 % |
29.84/29.96 c | 74740 | 1100 82850 270971 | 2147483647 74740 81 | 0.000 % |
30.04/30.18 c | 75050 | 1100 82850 270971 | 2147483647 75050 81 | 0.012 % |
30.34/30.43 c | 75393 | 1100 82850 270971 | 2147483647 75393 81 | 0.000 % |
30.64/30.71 c | 75765 | 1100 82850 270971 | 2147483647 75765 81 | 0.000 % |
30.84/30.94 c | 76174 | 1100 82850 270971 | 2147483647 76174 81 | 0.013 % |
31.03/31.15 c | 76623 | 1100 82850 270971 | 2147483647 76623 81 | 0.000 % |
31.33/31.45 c | 77118 | 1100 82850 270971 | 2147483647 77118 81 | 0.015 % |
31.63/31.73 c | 77660 | 1100 82850 270971 | 2147483647 77660 81 | 0.011 % |
31.93/32.07 c | 78256 | 1100 82850 270971 | 2147483647 78256 81 | 0.011 % |
32.33/32.49 c | 78911 | 1100 82850 270971 | 2147483647 78911 80 | 0.011 % |
32.84/32.91 c | 79634 | 1100 82850 270971 | 2147483647 79634 80 | 0.013 % |
33.33/33.45 c | 80427 | 1100 82850 270971 | 2147483647 80427 80 | 0.013 % |
33.93/34.05 c | 81299 | 1100 82850 270971 | 2147483647 81299 80 | 0.011 % |
34.83/34.92 c | 82258 | 1100 82850 270971 | 2147483647 82258 80 | 0.011 % |
34.83/34.99 c | 82358 | 1100 82850 270971 | 2147483647 82358 80 | 0.000 % |
34.93/35.08 c | 82469 | 1100 82850 270971 | 2147483647 82469 80 | 0.011 % |
35.03/35.20 c | 82590 | 1100 82850 270971 | 2147483647 82590 80 | 0.011 % |
35.23/35.33 c | 82723 | 1100 82850 270971 | 2147483647 82723 80 | 0.000 % |
35.33/35.45 c | 82869 | 1100 82850 270971 | 2147483647 82869 80 | 0.000 % |
35.43/35.58 c | 83029 | 1100 82850 270971 | 2147483647 83029 80 | 0.000 % |
35.63/35.78 c | 83205 | 1100 82850 270971 | 2147483647 83205 80 | 0.000 % |
35.83/35.91 c | 83398 | 1100 82850 270971 | 2147483647 83398 80 | 0.000 % |
36.03/36.13 c | 83611 | 1100 82850 270971 | 2147483647 83611 80 | 0.000 % |
36.23/36.37 c | 83844 | 1100 82850 270971 | 2147483647 83844 80 | 0.000 % |
36.44/36.54 c | 84100 | 1100 82850 270971 | 2147483647 84100 80 | 0.000 % |
36.63/36.75 c | 84381 | 1100 82850 270971 | 2147483647 84381 80 | 0.015 % |
36.93/37.05 c | 84690 | 1100 82850 270971 | 2147483647 84690 80 | 0.012 % |
37.13/37.29 c | 85030 | 1100 82850 270971 | 2147483647 85030 80 | 0.000 % |
37.53/37.64 c | 85404 | 1100 82850 270971 | 2147483647 85404 80 | 0.000 % |
37.83/37.93 c | 85814 | 1100 82850 270971 | 2147483647 85814 80 | 0.000 % |
38.13/38.26 c | 86264 | 1100 82850 270971 | 2147483647 86264 80 | 0.016 % |
38.43/38.59 c | 86757 | 1100 82850 270971 | 2147483647 86757 80 | 0.000 % |
38.93/39.06 c | 87299 | 1100 82850 270971 | 2147483647 87299 80 | 0.012 % |
39.33/39.48 c | 87895 | 1100 82850 270971 | 2147483647 87895 80 | 0.013 % |
39.83/39.94 c | 88550 | 1100 82850 270971 | 2147483647 88550 80 | 0.013 % |
40.53/40.62 c | 89273 | 1100 82850 270971 | 2147483647 89273 80 | 0.000 % |
41.13/41.21 c | 90068 | 1100 82850 270971 | 2147483647 90068 80 | 0.000 % |
41.93/42.08 c | 90939 | 1100 82850 270971 | 2147483647 90939 81 | 0.000 % |
42.83/42.96 c | 91898 | 1100 82850 270971 | 2147483647 91898 81 | 0.000 % |
43.52/43.67 c | 92952 | 1100 82850 270971 | 2147483647 92952 81 | 0.000 % |
43.63/43.77 c | 93052 | 1100 82850 270971 | 2147483647 93052 81 | 0.000 % |
43.83/43.91 c | 93164 | 1100 82850 270971 | 2147483647 93164 81 | 0.000 % |
43.93/44.02 c | 93285 | 1100 82850 270971 | 2147483647 93285 81 | 0.000 % |
44.03/44.14 c | 93418 | 1100 82850 270971 | 2147483647 93418 81 | 0.000 % |
44.13/44.25 c | 93566 | 1100 82850 270971 | 2147483647 93566 81 | 0.000 % |
44.33/44.46 c | 93729 | 1100 82850 270971 | 2147483647 93729 81 | 0.000 % |
44.43/44.58 c | 93905 | 1100 82850 270971 | 2147483647 93905 81 | 0.000 % |
44.63/44.75 c | 94098 | 1100 82850 270971 | 2147483647 94098 81 | 0.000 % |
44.93/45.01 c | 94310 | 1100 82850 270971 | 2147483647 94310 82 | 0.000 % |
45.13/45.21 c | 94545 | 1100 82850 270971 | 2147483647 94545 82 | 0.000 % |
45.33/45.49 c | 94801 | 1100 82850 270971 | 2147483647 94801 82 | 0.000 % |
45.62/45.74 c | 95085 | 1100 82850 270971 | 2147483647 95085 82 | 0.000 % |
46.03/46.15 c | 95396 | 1100 82850 270971 | 2147483647 95396 82 | 0.000 % |
46.42/46.52 c | 95735 | 1100 82850 270971 | 2147483647 95735 82 | 0.000 % |
46.72/46.89 c | 96107 | 1100 82850 270971 | 2147483647 96107 82 | 0.000 % |
47.13/47.25 c | 96516 | 1100 82850 270971 | 2147483647 96516 82 | 0.012 % |
47.62/47.78 c | 96965 | 1100 82850 270971 | 2147483647 96965 82 | 0.000 % |
48.23/48.32 c | 97458 | 1100 82850 270971 | 2147483647 97458 82 | 0.000 % |
48.62/48.74 c | 98000 | 1100 82850 270971 | 2147483647 98000 82 | 0.000 % |
49.43/49.55 c | 98597 | 1100 82850 270971 | 2147483647 98597 83 | 0.000 % |
50.02/50.16 c | 99252 | 1100 82850 270971 | 2147483647 99252 83 | 0.000 % |
50.72/50.85 c | 99973 | 1100 82850 270971 | 2147483647 99973 83 | 0.000 % |
51.52/51.68 c | 100766 | 1100 82850 270971 | 100000 85982 81 | 0.000 % |
52.52/52.62 c | 101637 | 1100 82850 270971 | 100000 86853 81 | 0.000 % |
53.41/53.50 c | 102597 | 1100 82850 270971 | 100000 87813 82 | 0.000 % |
54.41/54.59 c | 103651 | 1100 82850 270971 | 100000 88867 82 | 0.000 % |
55.71/55.80 c | 104811 | 1100 82850 270971 | 100000 90027 83 | 0.000 % |
55.81/55.90 c | 104912 | 1100 82850 270971 | 100000 90128 83 | 0.000 % |
55.91/56.00 c | 105023 | 1100 82850 270971 | 100000 90239 83 | 0.000 % |
56.01/56.13 c | 105150 | 1100 82850 270971 | 100000 90366 83 | 0.000 % |
56.11/56.28 c | 105286 | 1100 82850 270971 | 100000 90502 83 | 0.000 % |
56.31/56.42 c | 105433 | 1100 82850 270971 | 100000 90649 83 | 0.000 % |
56.41/56.56 c | 105593 | 1100 82850 270971 | 100000 90809 83 | 0.000 % |
56.71/56.80 c | 105770 | 1100 82850 270971 | 100000 90986 83 | 0.000 % |
56.91/57.02 c | 105963 | 1100 82850 270971 | 100000 91179 83 | 0.000 % |
57.01/57.19 c | 106175 | 1100 82850 270971 | 100000 91391 83 | 0.000 % |
57.21/57.34 c | 106409 | 1100 82850 270971 | 100000 91625 83 | 0.000 % |
57.41/57.55 c | 106665 | 1100 82850 270971 | 100000 91881 83 | 0.000 % |
57.61/57.74 c | 106946 | 1100 82850 270971 | 100000 92162 83 | 0.000 % |
57.91/58.07 c | 107256 | 1100 82850 270971 | 100000 92472 83 | 0.000 % |
58.21/58.39 c | 107595 | 1100 82850 270971 | 100000 92811 83 | 0.014 % |
58.61/58.80 c | 107967 | 1100 82850 270971 | 100000 93183 83 | 0.000 % |
59.01/59.16 c | 108376 | 1100 82850 270971 | 100000 93592 83 | 0.000 % |
59.51/59.63 c | 108825 | 1100 82850 270971 | 100000 94041 83 | 0.000 % |
60.01/60.14 c | 109318 | 1100 82850 270971 | 100000 94534 83 | 0.000 % |
60.51/60.63 c | 109860 | 1100 82850 270971 | 100000 95076 83 | 0.000 % |
61.10/61.26 c | 110458 | 1100 82850 270971 | 95218 80598 83 | 0.011 % |
61.70/61.82 c | 111114 | 1100 82850 270971 | 95218 81254 83 | 0.010 % |
62.30/62.49 c | 111834 | 1100 82850 270971 | 95218 81974 83 | 0.010 % |
63.00/63.19 c | 112627 | 1100 82850 270971 | 95218 82767 82 | 0.000 % |
63.80/63.97 c | 113498 | 1100 82850 270971 | 95218 83638 82 | 0.010 % |
64.71/64.85 c | 114457 | 1100 82850 270971 | 95218 84597 82 | 0.000 % |
65.81/65.92 c | 115512 | 1100 82850 270971 | 95218 85652 82 | 0.000 % |
67.30/67.41 c | 116670 | 1100 82850 270971 | 95218 86810 83 | 0.000 % |
68.50/68.60 c | 117945 | 1100 82850 270971 | 95218 88085 83 | 0.000 % |
68.60/68.70 c | 118048 | 1100 82850 270971 | 95218 88188 83 | 0.000 % |
68.70/68.83 c | 118158 | 1100 82850 270971 | 95218 88298 83 | 0.000 % |
68.80/68.93 c | 118279 | 1100 82850 270971 | 95218 88419 83 | 0.000 % |
68.90/69.03 c | 118413 | 1100 82850 270971 | 95218 88553 83 | 0.011 % |
69.00/69.14 c | 118559 | 1100 82850 270971 | 95218 88699 83 | 0.013 % |
69.11/69.29 c | 118719 | 1100 82850 270971 | 95218 88859 83 | 0.000 % |
69.30/69.43 c | 118895 | 1100 82850 270971 | 95218 89035 83 | 0.000 % |
69.40/69.58 c | 119089 | 1100 82850 270971 | 95218 89229 83 | 0.015 % |
69.60/69.75 c | 119301 | 1100 82850 270971 | 95218 89441 83 | 0.000 % |
69.80/69.95 c | 119534 | 1100 82850 270971 | 95218 89674 83 | 0.000 % |
70.10/70.25 c | 119792 | 1100 82850 270971 | 95218 89932 83 | 0.000 % |
70.40/70.51 c | 120074 | 1100 82850 270971 | 90140 90214 83 | 0.000 % |
70.90/71.04 c | 120383 | 1100 82850 270971 | 90140 76026 82 | 0.000 % |
71.20/71.37 c | 120723 | 1100 82850 270971 | 90140 76366 82 | 0.000 % |
71.60/71.79 c | 121095 | 1100 82850 270971 | 90140 76738 82 | 0.000 % |
72.20/72.31 c | 121507 | 1100 82850 270971 | 90140 77150 83 | 0.000 % |
72.80/72.91 c | 121957 | 1100 82850 270971 | 90140 77600 83 | 0.000 % |
73.10/73.26 c | 122451 | 1100 82850 270971 | 90140 78094 83 | 0.014 % |
73.50/73.64 c | 122993 | 1100 82850 270971 | 90140 78636 83 | 0.000 % |
74.00/74.11 c | 123589 | 1100 82850 270971 | 90140 79232 83 | 0.013 % |
74.50/74.62 c | 124244 | 1100 82850 270971 | 90140 79887 83 | 0.000 % |
75.10/75.20 c | 124965 | 1100 82850 270971 | 90140 80608 83 | 0.000 % |
76.00/76.10 c | 125757 | 1100 82850 270971 | 90140 81400 83 | 0.000 % |
76.80/76.94 c | 126628 | 1100 82850 270971 | 90140 82271 83 | 0.000 % |
77.80/77.92 c | 127586 | 1100 82850 270971 | 90140 83229 83 | 0.000 % |
79.00/79.14 c | 128641 | 1100 82850 270971 | 90140 84284 83 | 0.000 % |
80.29/80.42 c | 129799 | 1100 82850 270971 | 90140 85442 84 | 0.000 % |
81.79/81.96 c | 131072 | 1100 82850 270971 | 85648 72125 81 | 0.000 % |
83.50/83.62 c | 132473 | 1100 82850 270971 | 85648 73526 82 | 0.000 % |
83.59/83.74 c | 132573 | 1100 82850 270971 | 85648 73626 82 | 0.000 % |
83.69/83.86 c | 132683 | 1100 82850 270971 | 85648 73736 82 | 0.000 % |
83.79/83.97 c | 132804 | 1100 82850 270971 | 85648 73857 82 | 0.000 % |
83.89/84.08 c | 132937 | 1100 82850 270971 | 85648 73990 82 | 0.014 % |
84.09/84.24 c | 133084 | 1100 82850 270971 | 85648 74137 82 | 0.000 % |
84.29/84.46 c | 133245 | 1100 82850 270971 | 85648 74298 82 | 0.000 % |
84.50/84.61 c | 133421 | 1100 82850 270971 | 85648 74474 82 | 0.012 % |
84.60/84.79 c | 133614 | 1100 82850 270971 | 85648 74667 82 | 0.000 % |
84.79/84.93 c | 133827 | 1100 82850 270971 | 85648 74880 82 | 0.013 % |
84.99/85.12 c | 134060 | 1100 82850 270971 | 85648 75113 82 | 0.013 % |
85.19/85.37 c | 134318 | 1100 82850 270971 | 85648 75371 82 | 0.000 % |
85.49/85.61 c | 134599 | 1100 82850 270971 | 85648 75652 82 | 0.000 % |
85.70/85.89 c | 134910 | 1100 82850 270971 | 85648 75963 83 | 0.000 % |
86.19/86.30 c | 135254 | 1100 82850 270971 | 85648 76307 83 | 0.000 % |
86.59/86.75 c | 135626 | 1100 82850 270971 | 85648 76679 83 | 0.000 % |
86.99/87.18 c | 136035 | 1100 82850 270971 | 85648 77088 83 | 0.000 % |
87.59/87.73 c | 136485 | 1100 82850 270971 | 85648 77538 83 | 0.000 % |
88.19/88.31 c | 136978 | 1100 82850 270971 | 85648 78031 83 | 0.000 % |
88.59/88.74 c | 137521 | 1100 82850 270971 | 85648 78574 83 | 0.000 % |
89.19/89.31 c | 138118 | 1100 82850 270971 | 85648 79171 83 | 0.000 % |
89.79/89.90 c | 138773 | 1100 82850 270971 | 85648 79826 83 | 0.000 % |
90.29/90.45 c | 139493 | 1100 82850 270971 | 85648 80546 83 | 0.000 % |
91.09/91.30 c | 140285 | 1100 82850 270971 | 81053 81338 84 | 0.000 % |
92.09/92.21 c | 141157 | 1100 82850 270971 | 81053 68680 84 | 0.000 % |
92.79/92.95 c | 142118 | 1100 82850 270971 | 81053 69641 84 | 0.000 % |
93.79/93.93 c | 143171 | 1100 82850 270971 | 81053 70694 84 | 0.000 % |
94.89/95.07 c | 144330 | 1100 82850 270971 | 81053 71853 84 | 0.000 % |
95.99/96.17 c | 145604 | 1100 82850 270971 | 81053 73127 84 | 0.000 % |
97.19/97.39 c | 147004 | 1100 82850 270971 | 81053 74527 84 | 0.000 % |
99.29/99.47 c | 148545 | 1100 82850 270971 | 81053 76068 85 | 0.000 % |
99.49/99.65 c | 148645 | 1100 82850 270971 | 81053 76168 85 | 0.000 % |
99.59/99.76 c | 148756 | 1100 82850 270971 | 81053 76279 85 | 0.000 % |
99.79/99.91 c | 148877 | 1100 82850 270971 | 81053 76400 85 | 0.000 % |
100.00/100.10 c | 149010 | 1100 82850 270971 | 81053 76533 85 | 0.000 % |
100.19/100.33 c | 149158 | 1100 82850 270971 | 81053 76681 86 | 0.000 % |
100.39/100.55 c | 149318 | 1100 82850 270971 | 81053 76841 86 | 0.000 % |
100.59/100.75 c | 149495 | 1100 82850 270971 | 81053 77018 86 | 0.000 % |
100.79/100.93 c | 149688 | 1100 82850 270971 | 81053 77211 86 | 0.000 % |
101.00/101.17 c | 149900 | 1100 82850 270971 | 81053 77423 86 | 0.000 % |
101.19/101.38 c | 150133 | 1100 82850 270971 | 77524 77656 86 | 0.012 % |
101.49/101.69 c | 150390 | 1100 82850 270971 | 77524 64472 82 | 0.000 % |
101.79/101.98 c | 150671 | 1100 82850 270971 | 77524 64753 82 | 0.000 % |
102.10/102.27 c | 150982 | 1100 82850 270971 | 77524 65064 82 | 0.000 % |
102.39/102.52 c | 151322 | 1100 82850 270971 | 77524 65404 82 | 0.000 % |
102.79/102.93 c | 151695 | 1100 82850 270971 | 77524 65777 82 | 0.000 % |
103.20/103.31 c | 152105 | 1100 82850 270971 | 77524 66187 82 | 0.000 % |
103.49/103.67 c | 152555 | 1100 82850 270971 | 77524 66637 82 | 0.000 % |
104.09/104.20 c | 153050 | 1100 82850 270971 | 77524 67132 82 | 0.000 % |
104.59/104.74 c | 153593 | 1100 82850 270971 | 77524 67675 83 | 0.000 % |
105.40/105.50 c | 154192 | 1100 82850 270971 | 77524 68274 83 | 0.000 % |
105.99/106.11 c | 154847 | 1100 82850 270971 | 77524 68929 84 | 0.000 % |
107.09/107.21 c | 155567 | 1100 82850 270971 | 77524 69649 84 | 0.000 % |
107.99/108.16 c | 156359 | 1100 82850 270971 | 77524 70441 84 | 0.000 % |
108.79/108.98 c | 157230 | 1100 82850 270971 | 77524 71312 85 | 0.000 % |
109.59/109.75 c | 158189 | 1100 82850 270971 | 77524 72271 85 | 0.000 % |
110.79/110.94 c | 159242 | 1100 82850 270971 | 77524 73324 85 | 0.000 % |
111.89/112.01 c | 160400 | 1100 82850 270971 | 74082 74482 85 | 0.000 % |
113.09/113.22 c | 161673 | 1100 82850 270971 | 74082 61606 83 | 0.000 % |
114.69/114.85 c | 163075 | 1100 82850 270971 | 74082 63008 83 | 0.000 % |
116.19/116.31 c | 164615 | 1100 82850 270971 | 74082 64548 83 | 0.000 % |
117.69/117.88 c | 166311 | 1100 82850 270971 | 74082 66244 83 | 0.000 % |
117.79/117.98 c | 166411 | 1100 82850 270971 | 74082 66344 83 | 0.000 % |
117.89/118.09 c | 166521 | 1100 82850 270971 | 74082 66454 83 | 0.012 % |
118.09/118.20 c | 166645 | 1100 82850 270971 | 74082 66578 83 | 0.000 % |
118.19/118.35 c | 166779 | 1100 82850 270971 | 74082 66712 83 | 0.000 % |
118.29/118.46 c | 166926 | 1100 82850 270971 | 74082 66859 83 | 0.000 % |
118.39/118.57 c | 167087 | 1100 82850 270971 | 74082 67020 83 | 0.013 % |
118.59/118.78 c | 167263 | 1100 82850 270971 | 74082 67196 83 | 0.000 % |
118.88/119.03 c | 167457 | 1100 82850 270971 | 74082 67390 83 | 0.000 % |
119.08/119.21 c | 167671 | 1100 82850 270971 | 74082 67604 83 | 0.000 % |
119.28/119.41 c | 167904 | 1100 82850 270971 | 74082 67837 83 | 0.000 % |
119.48/119.68 c | 168160 | 1100 82850 270971 | 74082 68093 83 | 0.013 % |
119.88/120.01 c | 168441 | 1100 82850 270971 | 74082 68374 83 | 0.000 % |
120.18/120.31 c | 168750 | 1100 82850 270971 | 74082 68683 83 | 0.000 % |
120.48/120.61 c | 169089 | 1100 82850 270971 | 74082 69022 83 | 0.000 % |
120.89/121.04 c | 169462 | 1100 82850 270971 | 74082 69395 83 | 0.000 % |
121.38/121.52 c | 169873 | 1100 82850 270971 | 74082 69806 84 | 0.000 % |
121.99/122.13 c | 170322 | 1100 82850 270971 | 69939 70255 84 | 0.000 % |
122.48/122.66 c | 170816 | 1100 82850 270971 | 69939 57803 82 | 0.000 % |
123.09/123.27 c | 171359 | 1100 82850 270971 | 69939 58346 82 | 0.000 % |
123.68/123.81 c | 171955 | 1100 82850 270971 | 69939 58942 82 | 0.000 % |
124.28/124.46 c | 172610 | 1100 82850 270971 | 69939 59597 83 | 0.000 % |
124.98/125.14 c | 173331 | 1100 82850 270971 | 69939 60318 83 | 0.000 % |
125.78/125.90 c | 174124 | 1100 82850 270971 | 69939 61111 83 | 0.000 % |
126.48/126.62 c | 174998 | 1100 82850 270971 | 69939 61985 83 | 0.000 % |
127.28/127.41 c | 175956 | 1100 82850 270971 | 69939 62943 83 | 0.000 % |
128.18/128.32 c | 177009 | 1100 82850 270971 | 69939 63996 83 | 0.000 % |
129.38/129.56 c | 178168 | 1100 82850 270971 | 69939 65155 84 | 0.000 % |
130.68/130.81 c | 179441 | 1100 82850 270971 | 69939 66428 84 | 0.000 % |
132.08/132.22 c | 180842 | 1100 82850 270971 | 66990 55649 80 | 0.000 % |
133.38/133.53 c | 182382 | 1100 82850 270971 | 66990 57189 81 | 0.000 % |
134.88/135.02 c | 184076 | 1100 82850 270971 | 66990 58883 81 | 0.000 % |
136.98/137.11 c | 185939 | 1100 82850 270971 | 66990 60746 82 | 0.000 % |
137.08/137.23 c | 186040 | 1100 82850 270971 | 66990 60847 82 | 0.000 % |
137.18/137.40 c | 186152 | 1100 82850 270971 | 66990 60959 82 | 0.000 % |
137.38/137.55 c | 186273 | 1100 82850 270971 | 66990 61080 82 | 0.000 % |
137.58/137.71 c | 186406 | 1100 82850 270971 | 66990 61213 82 | 0.000 % |
137.68/137.87 c | 186552 | 1100 82850 270971 | 66990 61359 82 | 0.000 % |
137.87/138.03 c | 186714 | 1100 82850 270971 | 66990 61521 82 | 0.000 % |
138.07/138.21 c | 186894 | 1100 82850 270971 | 66990 61701 82 | 0.000 % |
138.27/138.46 c | 187087 | 1100 82850 270971 | 66990 61894 82 | 0.000 % |
138.48/138.65 c | 187300 | 1100 82850 270971 | 66990 62107 82 | 0.000 % |
138.77/138.91 c | 187534 | 1100 82850 270971 | 66990 62341 82 | 0.000 % |
139.17/139.31 c | 187790 | 1100 82850 270971 | 66990 62597 83 | 0.000 % |
139.48/139.62 c | 188074 | 1100 82850 270971 | 66990 62881 83 | 0.000 % |
139.77/139.94 c | 188383 | 1100 82850 270971 | 66990 63190 83 | 0.000 % |
140.17/140.30 c | 188722 | 1100 82850 270971 | 66990 63529 83 | 0.000 % |
140.58/140.77 c | 189098 | 1100 82850 270971 | 66990 63905 83 | 0.000 % |
141.07/141.25 c | 189507 | 1100 82850 270971 | 66990 64314 84 | 0.000 % |
141.67/141.82 c | 189958 | 1100 82850 270971 | 66990 64765 84 | 0.000 % |
142.27/142.40 c | 190451 | 1100 82850 270971 | 64807 65258 84 | 0.000 % |
142.77/143.00 c | 190993 | 1100 82850 270971 | 64807 54315 81 | 0.000 % |
143.47/143.63 c | 191596 | 1100 82850 270971 | 64807 54918 81 | 0.000 % |
144.27/144.46 c | 192251 | 1100 82850 270971 | 64807 55573 82 | 0.000 % |
144.87/145.01 c | 192972 | 1100 82850 270971 | 64807 56294 82 | 0.000 % |
145.57/145.71 c | 193764 | 1100 82850 270971 | 64807 57086 82 | 0.000 % |
146.17/146.35 c | 194635 | 1100 82850 270971 | 64807 57957 83 | 0.000 % |
146.87/147.05 c | 195594 | 1100 82850 270971 | 64807 58916 83 | 0.000 % |
147.97/148.18 c | 196648 | 1100 82850 270971 | 64807 59970 83 | 0.000 % |
149.17/149.32 c | 197806 | 1100 82850 270971 | 64807 61128 83 | 0.000 % |
150.37/150.56 c | 199081 | 1100 82850 270971 | 64807 62403 83 | 0.000 % |
151.67/151.87 c | 200481 | 1100 82850 270971 | 63323 63803 85 | 0.000 % |
153.17/153.31 c | 202022 | 1100 82850 270971 | 63323 54592 82 | 0.000 % |
154.97/155.13 c | 203716 | 1100 82850 270971 | 63323 56286 83 | 0.000 % |
156.27/156.50 c | 205579 | 1100 82850 270971 | 63323 58149 84 | 0.000 % |
158.17/158.39 c | 207628 | 1100 82850 270971 | 63323 60198 85 | 0.000 % |
158.27/158.49 c | 207732 | 1100 82850 270971 | 63323 60302 85 | 0.012 % |
158.46/158.62 c | 207842 | 1100 82850 270971 | 63323 60412 85 | 0.000 % |
158.56/158.72 c | 207965 | 1100 82850 270971 | 63323 60535 85 | 0.000 % |
158.66/158.82 c | 208099 | 1100 82850 270971 | 63323 60669 85 | 0.000 % |
158.86/159.03 c | 208247 | 1100 82850 270971 | 63323 60817 85 | 0.000 % |
159.06/159.24 c | 208408 | 1100 82850 270971 | 63323 60978 85 | 0.000 % |
159.27/159.47 c | 208587 | 1100 82850 270971 | 63323 61157 86 | 0.000 % |
159.56/159.76 c | 208780 | 1100 82850 270971 | 63323 61350 86 | 0.000 % |
159.96/160.11 c | 208992 | 1100 82850 270971 | 63323 61562 86 | 0.000 % |
160.16/160.38 c | 209225 | 1100 82850 270971 | 63323 61795 86 | 0.000 % |
160.56/160.72 c | 209481 | 1100 82850 270971 | 63323 62051 86 | 0.000 % |
160.96/161.14 c | 209763 | 1100 82850 270971 | 63323 62333 86 | 0.000 % |
161.26/161.49 c | 210073 | 1100 82850 270971 | 62570 62643 86 | 0.000 % |
161.76/161.93 c | 210412 | 1100 82850 270971 | 62570 53214 86 | 0.000 % |
162.06/162.26 c | 210784 | 1100 82850 270971 | 62570 53586 86 | 0.000 % |
162.46/162.64 c | 211194 | 1100 82850 270971 | 62570 53996 86 | 0.000 % |
162.86/163.09 c | 211643 | 1100 82850 270971 | 62570 54445 86 | 0.000 % |
163.46/163.64 c | 212136 | 1100 82850 270971 | 62570 54938 87 | 0.000 % |
163.96/164.11 c | 212682 | 1100 82850 270971 | 62570 55484 87 | 0.000 % |
164.46/164.69 c | 213278 | 1100 82850 270971 | 62570 56080 87 | 0.000 % |
165.26/165.46 c | 213935 | 1100 82850 270971 | 62570 56737 87 | 0.000 % |
166.16/166.30 c | 214656 | 1100 82850 270971 | 62570 57458 86 | 0.000 % |
166.96/167.15 c | 215448 | 1100 82850 270971 | 62570 58250 86 | 0.000 % |
167.86/168.06 c | 216319 | 1100 82850 270971 | 62570 59121 86 | 0.000 % |
168.76/168.98 c | 217278 | 1100 82850 270971 | 62570 60080 86 | 0.000 % |
169.96/170.14 c | 218332 | 1100 82850 270971 | 62570 61134 86 | 0.000 % |
171.26/171.49 c | 219492 | 1100 82850 270971 | 62570 62294 86 | 0.000 % |
172.66/172.85 c | 220765 | 1100 82850 270971 | 62802 53729 84 | 0.000 % |
174.16/174.30 c | 222165 | 1100 82850 270971 | 62802 55129 85 | 0.000 % |
175.56/175.73 c | 223706 | 1100 82850 270971 | 62802 56670 85 | 0.000 % |
177.76/177.92 c | 225402 | 1100 82850 270971 | 62802 58366 85 | 0.000 % |
179.86/180.06 c | 227267 | 1100 82850 270971 | 62802 60231 84 | 0.000 % |
181.96/182.15 c | 229316 | 1100 82850 270971 | 62802 62280 84 | 0.000 % |
184.06/184.28 c | 231570 | 1100 82850 270971 | 62964 53460 79 | 0.000 % |
184.26/184.42 c | 231670 | 1100 82850 270971 | 62964 53560 79 | 0.000 % |
184.36/184.52 c | 231782 | 1100 82850 270971 | 62964 53672 79 | 0.000 % |
184.46/184.62 c | 231906 | 1100 82850 270971 | 62964 53796 79 | 0.000 % |
184.56/184.75 c | 232039 | 1100 82850 270971 | 62964 53929 79 | 0.000 % |
184.75/184.93 c | 232185 | 1100 82850 270971 | 62964 54075 80 | 0.000 % |
184.95/185.13 c | 232345 | 1100 82850 270971 | 62964 54235 80 | 0.000 % |
185.05/185.29 c | 232523 | 1100 82850 270971 | 62964 54413 80 | 0.000 % |
185.35/185.51 c | 232718 | 1100 82850 270971 | 62964 54608 80 | 0.000 % |
185.45/185.69 c | 232933 | 1100 82850 270971 | 62964 54823 80 | 0.000 % |
185.76/185.94 c | 233168 | 1100 82850 270971 | 62964 55058 80 | 0.000 % |
185.95/186.18 c | 233424 | 1100 82850 270971 | 62964 55314 80 | 0.000 % |
186.25/186.44 c | 233709 | 1100 82850 270971 | 62964 55599 80 | 0.000 % |
186.55/186.75 c | 234019 | 1100 82850 270971 | 62964 55909 81 | 0.000 % |
186.85/187.08 c | 234358 | 1100 82850 270971 | 62964 56248 81 | 0.000 % |
187.15/187.40 c | 234730 | 1100 82850 270971 | 62964 56620 81 | 0.000 % |
187.55/187.71 c | 235139 | 1100 82850 270971 | 62964 57029 81 | 0.000 % |
187.85/188.09 c | 235588 | 1100 82850 270971 | 62964 57478 81 | 0.000 % |
188.35/188.57 c | 236081 | 1100 82850 270971 | 62964 57971 81 | 0.000 % |
189.05/189.26 c | 236623 | 1100 82850 270971 | 62964 58513 82 | 0.000 % |
189.55/189.78 c | 237219 | 1100 82850 270971 | 62964 59109 82 | 0.000 % |
190.25/190.43 c | 237878 | 1100 82850 270971 | 62964 59768 82 | 0.000 % |
190.95/191.11 c | 238598 | 1100 82850 270971 | 62964 60488 82 | 0.000 % |
191.84/192.05 c | 239390 | 1100 82850 270971 | 62964 61280 83 | 0.000 % |
192.54/192.76 c | 240264 | 1100 82850 270971 | 61891 62154 84 | 0.000 % |
193.45/193.61 c | 241222 | 1100 82850 270971 | 61891 53698 81 | 0.000 % |
194.24/194.46 c | 242275 | 1100 82850 270971 | 61891 54751 81 | 0.000 % |
195.14/195.30 c | 243433 | 1100 82850 270971 | 61891 55909 81 | 0.000 % |
196.34/196.53 c | 244707 | 1100 82850 270971 | 61891 57183 81 | 0.000 % |
197.54/197.79 c | 246107 | 1100 82850 270971 | 61891 58583 81 | 0.000 % |
199.04/199.25 c | 247647 | 1100 82850 270971 | 61891 60123 82 | 0.000 % |
200.44/200.64 c | 249341 | 1100 82850 270971 | 61891 61817 82 | 0.000 % |
202.14/202.32 c | 251204 | 1100 82850 270971 | 62476 54485 78 | 0.000 % |
203.84/204.02 c | 253253 | 1100 82850 270971 | 62476 56534 78 | 0.000 % |
205.94/206.11 c | 255506 | 1100 82850 270971 | 62476 58787 78 | 0.000 % |
208.44/208.61 c | 257984 | 1100 82850 270971 | 62476 61265 80 | 0.000 % |
208.54/208.73 c | 258084 | 1100 82850 270971 | 62476 61365 80 | 0.000 % |
208.64/208.90 c | 258194 | 1100 82850 270971 | 62476 61475 80 | 0.000 % |
208.84/209.04 c | 258315 | 1100 82850 270971 | 62476 61596 80 | 0.000 % |
208.94/209.19 c | 258448 | 1100 82850 270971 | 62476 61729 80 | 0.000 % |
209.14/209.37 c | 258594 | 1100 82850 270971 | 62476 61875 80 | 0.000 % |
209.34/209.51 c | 258756 | 1100 82850 270971 | 62476 62037 81 | 0.000 % |
209.44/209.67 c | 258932 | 1100 82850 270971 | 62476 62213 81 | 0.000 % |
209.64/209.84 c | 259127 | 1100 82850 270971 | 62476 62408 81 | 0.000 % |
209.84/210.07 c | 259341 | 1100 82850 270971 | 62476 62622 81 | 0.000 % |
210.14/210.38 c | 259574 | 1100 82850 270971 | 62476 54060 79 | 0.000 % |
210.54/210.72 c | 259831 | 1100 82850 270971 | 62476 54317 80 | 0.000 % |
210.84/211.02 c | 260112 | 1100 82850 270971 | 54488 54598 80 | 0.000 % |
211.13/211.38 c | 260421 | 1100 82850 270971 | 54488 47254 79 | 0.000 % |
211.53/211.74 c | 260760 | 1100 82850 270971 | 54488 47593 79 | 0.000 % |
211.83/212.06 c | 261132 | 1100 82850 270971 | 54488 47965 80 | 0.000 % |
212.23/212.44 c | 261541 | 1100 82850 270971 | 54488 48374 80 | 0.000 % |
212.73/212.99 c | 261991 | 1100 82850 270971 | 54488 48824 80 | 0.000 % |
213.24/213.45 c | 262484 | 1100 82850 270971 | 54488 49317 80 | 0.000 % |
213.63/213.85 c | 263027 | 1100 82850 270971 | 54488 49860 80 | 0.000 % |
214.24/214.49 c | 263624 | 1100 82850 270971 | 54488 50457 81 | 0.000 % |
214.83/215.06 c | 264279 | 1100 82850 270971 | 54488 51112 81 | 0.000 % |
215.44/215.61 c | 265001 | 1100 82850 270971 | 54488 51834 81 | 0.000 % |
216.13/216.36 c | 265793 | 1100 82850 270971 | 54488 52626 82 | 0.000 % |
216.93/217.12 c | 266664 | 1100 82850 270971 | 54488 53497 83 | 0.000 % |
217.83/218.02 c | 267624 | 1100 82850 270971 | 54488 54457 84 | 0.000 % |
218.83/219.03 c | 268677 | 1100 82850 270971 | 54488 48622 83 | 0.000 % |
219.63/219.81 c | 269835 | 1100 82850 270971 | 54488 49780 83 | 0.000 % |
220.73/220.94 c | 271109 | 1100 82850 270971 | 49945 45036 80 | 0.000 % |
221.93/222.18 c | 272509 | 1100 82850 270971 | 49945 46436 80 | 0.000 % |
223.13/223.32 c | 274049 | 1100 82850 270971 | 49945 47976 81 | 0.000 % |
224.93/225.13 c | 275743 | 1100 82850 270971 | 49945 49670 82 | 0.000 % |
226.63/226.83 c | 277606 | 1100 82850 270971 | 49945 46487 82 | 0.000 % |
228.23/228.41 c | 279655 | 1100 82850 270971 | 49945 48536 83 | 0.000 % |
230.23/230.48 c | 281908 | 1100 82850 270971 | 2147483647 50789 84 | 0.000 % |
232.42/232.64 c | 284387 | 1100 82850 270971 | 2147483647 53268 85 | 0.000 % |
234.82/235.02 c | 287116 | 1100 82850 270971 | 2147483647 55997 85 | 0.000 % |
234.92/235.12 c | 287217 | 1100 82850 270971 | 2147483647 56098 85 | 0.000 % |
235.02/235.23 c | 287327 | 1100 82850 270971 | 2147483647 56208 85 | 0.000 % |
235.12/235.36 c | 287448 | 1100 82850 270971 | 2147483647 56329 85 | 0.013 % |
235.23/235.49 c | 287581 | 1100 82850 270971 | 2147483647 56462 85 | 0.000 % |
235.52/235.70 c | 287727 | 1100 82850 270971 | 2147483647 56608 85 | 0.000 % |
235.62/235.83 c | 287887 | 1100 82850 270971 | 2147483647 56768 85 | 0.000 % |
235.82/236.02 c | 288063 | 1100 82850 270971 | 2147483647 56944 85 | 0.000 % |
235.92/236.17 c | 288257 | 1100 82850 270971 | 2147483647 57138 85 | 0.000 % |
236.12/236.36 c | 288469 | 1100 82850 270971 | 2147483647 57350 85 | 0.000 % |
236.32/236.58 c | 288705 | 1100 82850 270971 | 2147483647 57586 85 | 0.012 % |
236.62/236.87 c | 288961 | 1100 82850 270971 | 2147483647 57842 85 | 0.000 % |
236.92/237.12 c | 289243 | 1100 82850 270971 | 2147483647 58124 85 | 0.000 % |
237.22/237.41 c | 289553 | 1100 82850 270971 | 2147483647 58434 85 | 0.000 % |
237.62/237.84 c | 289892 | 1100 82850 270971 | 2147483647 58773 86 | 0.000 % |
238.02/238.23 c | 290266 | 1100 82850 270971 | 58881 59147 86 | 0.000 % |
238.52/238.74 c | 290681 | 1100 82850 270971 | 58881 52240 85 | 0.000 % |
239.02/239.24 c | 291130 | 1100 82850 270971 | 58881 52689 85 | 0.000 % |
239.52/239.75 c | 291624 | 1100 82850 270971 | 58881 53183 85 | 0.000 % |
239.92/240.14 c | 292167 | 1100 82850 270971 | 58881 53726 85 | 0.000 % |
240.42/240.60 c | 292766 | 1100 82850 270971 | 58881 54325 85 | 0.000 % |
240.92/241.18 c | 293423 | 1100 82850 270971 | 58881 54982 86 | 0.000 % |
241.72/241.92 c | 294144 | 1100 82850 270971 | 58881 55703 86 | 0.000 % |
242.41/242.64 c | 294936 | 1100 82850 270971 | 58881 56495 86 | 0.000 % |
243.21/243.47 c | 295808 | 1100 82850 270971 | 58881 57367 86 | 0.000 % |
244.02/244.27 c | 296767 | 1100 82850 270971 | 58881 58326 86 | 0.000 % |
245.02/245.27 c | 297820 | 1100 82850 270971 | 58881 59379 86 | 0.000 % |
245.91/246.16 c | 298978 | 1100 82850 270971 | 58881 53017 84 | 0.000 % |
247.11/247.30 c | 300251 | 1100 82850 270971 | 54040 54290 84 | 0.000 % |
248.21/248.44 c | 301651 | 1100 82850 270971 | 54040 48657 81 | 0.000 % |
249.31/249.55 c | 303194 | 1100 82850 270971 | 54040 50200 81 | 0.000 % |
250.81/251.00 c | 304888 | 1100 82850 270971 | 54040 51894 81 | 0.000 % |
252.41/252.66 c | 306752 | 1100 82850 270971 | 54040 53758 82 | 0.000 % |
254.11/254.31 c | 308801 | 1100 82850 270971 | 54040 48536 78 | 0.000 % |
256.11/256.33 c | 311058 | 1100 82850 270971 | 49736 43839 74 | 0.000 % |
258.51/258.71 c | 313539 | 1100 82850 270971 | 49736 46320 78 | 0.000 % |
261.21/261.47 c | 316265 | 1100 82850 270971 | 49736 49046 81 | 0.000 % |
263.81/264.04 c | 319264 | 1100 82850 270971 | 49736 46679 81 | 0.000 % |
263.91/264.17 c | 319364 | 1100 82850 270971 | 49736 46779 81 | 0.000 % |
264.01/264.26 c | 319477 | 1100 82850 270971 | 49736 46892 82 | 0.000 % |
264.21/264.41 c | 319600 | 1100 82850 270971 | 49736 47015 82 | 0.000 % |
264.31/264.55 c | 319733 | 1100 82850 270971 | 49736 47148 82 | 0.000 % |
264.41/264.66 c | 319879 | 1100 82850 270971 | 49736 47294 82 | 0.000 % |
264.61/264.83 c | 320043 | 1100 82850 270971 | 47415 47458 82 | 0.012 % |
264.71/265.00 c | 320219 | 1100 82850 270971 | 47415 42594 81 | 0.000 % |
264.91/265.17 c | 320412 | 1100 82850 270971 | 47415 42787 81 | 0.000 % |
265.21/265.41 c | 320624 | 1100 82850 270971 | 47415 42999 81 | 0.000 % |
265.41/265.64 c | 320857 | 1100 82850 270971 | 47415 43232 82 | 0.000 % |
265.71/265.94 c | 321115 | 1100 82850 270971 | 47415 43490 82 | 0.000 % |
265.91/266.18 c | 321396 | 1100 82850 270971 | 47415 43771 82 | 0.000 % |
266.30/266.53 c | 321706 | 1100 82850 270971 | 47415 44081 82 | 0.000 % |
266.60/266.85 c | 322045 | 1100 82850 270971 | 47415 44420 83 | 0.000 % |
266.90/267.14 c | 322417 | 1100 82850 270971 | 47415 44792 83 | 0.000 % |
267.20/267.44 c | 322828 | 1100 82850 270971 | 47415 45203 83 | 0.000 % |
267.50/267.77 c | 323279 | 1100 82850 270971 | 47415 45654 83 | 0.013 % |
267.90/268.12 c | 323774 | 1100 82850 270971 | 47415 46149 83 | 0.000 % |
268.21/268.48 c | 324316 | 1100 82850 270971 | 47415 46691 83 | 0.000 % |
268.70/268.96 c | 324913 | 1100 82850 270971 | 47415 47288 82 | 0.000 % |
269.31/269.50 c | 325568 | 1100 82850 270971 | 47415 47943 83 | 0.000 % |
269.70/270.00 c | 326288 | 1100 82850 270971 | 47415 43869 81 | 0.000 % |
270.31/270.59 c | 327081 | 1100 82850 270971 | 47415 44662 82 | 0.000 % |
270.90/271.19 c | 327952 | 1100 82850 270971 | 47415 45533 83 | 0.000 % |
271.70/271.96 c | 328913 | 1100 82850 270971 | 47415 46494 83 | 0.000 % |
272.50/272.75 c | 329967 | 1100 82850 270971 | 47415 47548 84 | 0.012 % |
273.60/273.85 c | 331125 | 1100 82850 270971 | 2147483647 43952 83 | 0.000 % |
274.70/275.00 c | 332401 | 1100 82850 270971 | 2147483647 45228 83 | 0.000 % |
275.80/276.07 c | 333804 | 1100 82850 270971 | 2147483647 46631 84 | 0.000 % |
277.00/277.25 c | 335344 | 1100 82850 270971 | 2147483647 48171 84 | 0.000 % |
278.10/278.34 c | 337039 | 1100 82850 270971 | 2147483647 49866 85 | 0.000 % |
280.30/280.59 c | 338904 | 1100 82850 270971 | 2147483647 51731 87 | 0.000 % |
282.40/282.61 c | 340954 | 1100 82850 270971 | 2147483647 53781 86 | 0.000 % |
284.39/284.66 c | 343209 | 1100 82850 270971 | 2147483647 56036 86 | 0.000 % |
286.89/287.19 c | 345687 | 1100 82850 270971 | 2147483647 58514 85 | 0.011 % |
289.39/289.62 c | 348412 | 1100 82850 270971 | 2147483647 61239 85 | 0.000 % |
291.69/291.92 c | 351409 | 1100 82850 270971 | 62830 57370 85 | 0.000 % |
293.89/294.10 c | 354705 | 1100 82850 270971 | 62830 60666 84 | 0.000 % |
293.99/294.20 c | 354807 | 1100 82850 270971 | 62830 60768 84 | 0.000 % |
294.09/294.31 c | 354919 | 1100 82850 270971 | 62830 60880 84 | 0.000 % |
294.19/294.44 c | 355041 | 1100 82850 270971 | 62830 61002 84 | 0.000 % |
294.38/294.63 c | 355177 | 1100 82850 270971 | 62830 61138 84 | 0.000 % |
294.59/294.80 c | 355326 | 1100 82850 270971 | 62830 61287 84 | 0.000 % |
294.68/294.93 c | 355486 | 1100 82850 270971 | 62830 61447 84 | 0.000 % |
294.78/295.07 c | 355662 | 1100 82850 270971 | 62830 61623 84 | 0.000 % |
294.98/295.23 c | 355856 | 1100 82850 270971 | 62830 61817 84 | 0.000 % |
295.08/295.39 c | 356068 | 1100 82850 270971 | 62830 62029 84 | 0.000 % |
295.38/295.64 c | 356302 | 1100 82850 270971 | 62830 62263 85 | 0.000 % |
295.59/295.85 c | 356561 | 1100 82850 270971 | 62830 62522 85 | 0.000 % |
295.78/296.08 c | 356843 | 1100 82850 270971 | 62830 62804 85 | 0.000 % |
296.18/296.48 c | 357153 | 1100 82850 270971 | 62830 63114 85 | 0.000 % |
296.48/296.79 c | 357493 | 1100 82850 270971 | 62830 57072 84 | 0.000 % |
296.79/297.07 c | 357868 | 1100 82850 270971 | 62830 57447 84 | 0.000 % |
297.28/297.50 c | 358278 | 1100 82850 270971 | 62830 57857 84 | 0.000 % |
297.58/297.88 c | 358727 | 1100 82850 270971 | 62830 58306 84 | 0.000 % |
298.18/298.48 c | 359220 | 1100 82850 270971 | 62830 58799 84 | 0.000 % |
298.68/298.97 c | 359762 | 1100 82850 270971 | 62830 59341 85 | 0.000 % |
299.28/299.59 c | 360360 | 1100 82850 270971 | 59579 59939 85 | 0.000 % |
299.88/300.15 c | 361015 | 1100 82850 270971 | 59579 53421 80 | 0.000 % |
300.58/300.90 c | 361737 | 1100 82850 270971 | 59579 54143 81 | 0.000 % |
301.19/301.43 c | 362530 | 1100 82850 270971 | 59579 54936 81 | 0.000 % |
302.19/302.46 c | 363401 | 1100 82850 270971 | 59579 55807 82 | 0.000 % |
302.98/303.29 c | 364363 | 1100 82850 270971 | 59579 56769 83 | 0.000 % |
303.88/304.19 c | 365416 | 1100 82850 270971 | 59579 57822 83 | 0.000 % |
305.08/305.32 c | 366574 | 1100 82850 270971 | 59579 58980 83 | 0.000 % |
306.48/306.78 c | 367849 | 1100 82850 270971 | 59579 52858 82 | 0.000 % |
307.98/308.27 c | 369253 | 1100 82850 270971 | 59579 54262 83 | 0.012 % |
309.68/309.98 c | 370793 | 1100 82850 270971 | 55012 48858 81 | 0.000 % |
310.99/311.24 c | 372487 | 1100 82850 270971 | 55012 50552 82 | 0.000 % |
312.69/312.98 c | 374350 | 1100 82850 270971 | 55012 52415 82 | 0.000 % |
314.69/314.96 c | 376401 | 1100 82850 270971 | 55012 54466 83 | 0.000 % |
316.38/316.68 c | 378654 | 1100 82850 270971 | 55012 50162 82 | 0.000 % |
319.08/319.33 c | 381132 | 1100 82850 270971 | 51509 47162 83 | 0.000 % |
321.08/321.31 c | 383858 | 1100 82850 270971 | 51509 49888 83 | 0.000 % |
323.47/323.74 c | 386855 | 1100 82850 270971 | 51509 47674 83 | 0.000 % |
326.07/326.36 c | 390151 | 1100 82850 270971 | 2147483647 50970 83 | 0.000 % |
329.57/329.88 c | 393778 | 1100 82850 270971 | 2147483647 54597 83 | 0.000 % |
329.67/329.99 c | 393879 | 1100 82850 270971 | 2147483647 54698 83 | 0.000 % |
329.87/330.12 c | 393990 | 1100 82850 270971 | 2147483647 54809 83 | 0.000 % |
329.97/330.29 c | 394111 | 1100 82850 270971 | 2147483647 54930 83 | 0.000 % |
330.17/330.45 c | 394247 | 1100 82850 270971 | 2147483647 55066 83 | 0.000 % |
330.37/330.61 c | 394393 | 1100 82850 270971 | 2147483647 55212 83 | 0.000 % |
330.47/330.77 c | 394553 | 1100 82850 270971 | 2147483647 55372 84 | 0.000 % |
330.67/330.97 c | 394730 | 1100 82850 270971 | 2147483647 55549 84 | 0.000 % |
330.87/331.18 c | 394923 | 1100 82850 270971 | 2147483647 55742 84 | 0.000 % |
331.07/331.39 c | 395136 | 1100 82850 270971 | 2147483647 55955 84 | 0.000 % |
331.37/331.60 c | 395369 | 1100 82850 270971 | 2147483647 56188 84 | 0.000 % |
331.57/331.89 c | 395625 | 1100 82850 270971 | 2147483647 56444 84 | 0.000 % |
331.77/332.08 c | 395907 | 1100 82850 270971 | 2147483647 56726 84 | 0.000 % |
332.17/332.43 c | 396216 | 1100 82850 270971 | 2147483647 57035 84 | 0.000 % |
332.47/332.75 c | 396555 | 1100 82850 270971 | 2147483647 57374 84 | 0.000 % |
332.87/333.17 c | 396927 | 1100 82850 270971 | 2147483647 57746 84 | 0.000 % |
333.27/333.53 c | 397338 | 1100 82850 270971 | 2147483647 58157 84 | 0.000 % |
333.77/334.07 c | 397787 | 1100 82850 270971 | 2147483647 58606 85 | 0.000 % |
334.47/334.70 c | 398281 | 1100 82850 270971 | 2147483647 59100 85 | 0.000 % |
334.97/335.27 c | 398824 | 1100 82850 270971 | 2147483647 59643 85 | 0.000 % |
335.67/335.98 c | 399422 | 1100 82850 270971 | 2147483647 60241 85 | 0.000 % |
336.47/336.76 c | 400081 | 1100 82850 270971 | 60819 60900 85 | 0.000 % |
337.27/337.57 c | 400803 | 1100 82850 270971 | 60819 53769 84 | 0.000 % |
338.06/338.39 c | 401595 | 1100 82850 270971 | 60819 54561 84 | 0.000 % |
338.96/339.29 c | 402466 | 1100 82850 270971 | 60819 55432 85 | 0.000 % |
339.87/340.17 c | 403424 | 1100 82850 270971 | 60819 56390 86 | 0.000 % |
341.06/341.35 c | 404477 | 1100 82850 270971 | 60819 57443 86 | 0.000 % |
342.36/342.61 c | 405635 | 1100 82850 270971 | 60819 58601 86 | 0.000 % |
343.46/343.75 c | 406908 | 1100 82850 270971 | 60819 59874 87 | 0.000 % |
344.96/345.30 c | 408308 | 1100 82850 270971 | 60819 61274 87 | 0.000 % |
346.86/347.13 c | 409848 | 1100 82850 270971 | 60819 54319 82 | 0.000 % |
348.26/348.54 c | 411543 | 1100 82850 270971 | 54472 48452 79 | 0.000 % |
350.06/350.36 c | 413406 | 1100 82850 270971 | 54472 50315 81 | 0.000 % |
351.86/352.18 c | 415455 | 1100 82850 270971 | 54472 52364 82 | 0.000 % |
353.66/353.96 c | 417709 | 1100 82850 270971 | 54472 54618 82 | 0.012 % |
355.76/356.00 c | 420190 | 1100 82850 270971 | 51129 51319 81 | 0.000 % |
358.06/358.34 c | 422915 | 1100 82850 270971 | 51129 48236 81 | 0.000 % |
361.06/361.36 c | 425913 | 1100 82850 270971 | 51129 51234 81 | 0.000 % |
364.76/365.04 c | 429210 | 1100 82850 270971 | 51129 48832 83 | 0.000 % |
368.05/368.31 c | 432835 | 1100 82850 270971 | 2147483647 52457 85 | 0.000 % |
371.24/371.55 c | 436822 | 1100 82850 270971 | 2147483647 56444 86 | 0.000 % |
371.34/371.62 c | 436923 | 1100 82850 270971 | 2147483647 56545 86 | 0.000 % |
371.45/371.74 c | 437034 | 1100 82850 270971 | 2147483647 56656 86 | 0.000 % |
371.64/371.93 c | 437156 | 1100 82850 270971 | 2147483647 56778 86 | 0.000 % |
371.74/372.06 c | 437292 | 1100 82850 270971 | 2147483647 56914 86 | 0.000 % |
371.94/372.25 c | 437439 | 1100 82850 270971 | 2147483647 57061 86 | 0.000 % |
372.14/372.43 c | 437599 | 1100 82850 270971 | 2147483647 57221 86 | 0.000 % |
372.44/372.73 c | 437778 | 1100 82850 270971 | 2147483647 57400 86 | 0.000 % |
372.65/372.91 c | 437972 | 1100 82850 270971 | 2147483647 57594 86 | 0.000 % |
372.84/373.17 c | 438184 | 1100 82850 270971 | 2147483647 57806 86 | 0.000 % |
373.14/373.43 c | 438417 | 1100 82850 270971 | 2147483647 58039 86 | 0.000 % |
373.44/373.72 c | 438673 | 1100 82850 270971 | 2147483647 58295 86 | 0.000 % |
373.75/374.05 c | 438954 | 1100 82850 270971 | 2147483647 58576 87 | 0.000 % |
374.04/374.35 c | 439263 | 1100 82850 270971 | 2147483647 58885 87 | 0.000 % |
374.34/374.65 c | 439605 | 1100 82850 270971 | 2147483647 59227 87 | 0.000 % |
374.64/374.94 c | 439978 | 1100 82850 270971 | 2147483647 59600 87 | 0.000 % |
375.14/375.44 c | 440387 | 1100 82850 270971 | 59625 60009 87 | 0.000 % |
375.54/375.88 c | 440836 | 1100 82850 270971 | 59625 52820 85 | 0.000 % |
376.04/376.31 c | 441329 | 1100 82850 270971 | 59625 53313 85 | 0.000 % |
376.34/376.70 c | 441871 | 1100 82850 270971 | 59625 53855 85 | 0.000 % |
376.84/377.15 c | 442467 | 1100 82850 270971 | 59625 54451 85 | 0.000 % |
377.54/377.85 c | 443123 | 1100 82850 270971 | 59625 55107 85 | 0.000 % |
378.24/378.51 c | 443846 | 1100 82850 270971 | 59625 55830 85 | 0.000 % |
379.04/379.36 c | 444640 | 1100 82850 270971 | 59625 56624 86 | 0.000 % |
379.74/380.07 c | 445514 | 1100 82850 270971 | 59625 57498 86 | 0.000 % |
380.84/381.18 c | 446473 | 1100 82850 270971 | 59625 58457 86 | 0.000 % |
381.74/382.10 c | 447527 | 1100 82850 270971 | 59625 59511 87 | 0.000 % |
383.34/383.65 c | 448685 | 1100 82850 270971 | 59625 52497 85 | 0.000 % |
384.54/384.80 c | 449958 | 1100 82850 270971 | 59625 53770 85 | 0.000 % |
386.04/386.35 c | 451360 | 1100 82850 270971 | 53814 48139 82 | 0.000 % |
387.43/387.70 c | 452903 | 1100 82850 270971 | 53814 49682 83 | 0.000 % |
388.73/389.09 c | 454597 | 1100 82850 270971 | 53814 51376 83 | 0.000 % |
390.43/390.79 c | 456460 | 1100 82850 270971 | 53814 53239 85 | 0.000 % |
392.63/392.99 c | 458510 | 1100 82850 270971 | 53814 49042 85 | 0.000 % |
395.13/395.40 c | 460763 | 1100 82850 270971 | 50532 45250 86 | 0.000 % |
397.23/397.52 c | 463242 | 1100 82850 270971 | 50532 47729 87 | 0.000 % |
399.63/399.92 c | 465969 | 1100 82850 270971 | 50532 50456 87 | 0.000 % |
402.53/402.84 c | 468969 | 1100 82850 270971 | 50532 47380 85 | 0.000 % |
405.93/406.26 c | 472265 | 1100 82850 270971 | 48411 44260 84 | 0.000 % |
409.43/409.79 c | 475892 | 1100 82850 270971 | 48411 47887 86 | 0.000 % |
413.52/413.89 c | 479879 | 1100 82850 270971 | 48411 45373 86 | 0.000 % |
418.12/418.44 c | 484264 | 1100 82850 270971 | 45495 44056 89 | 0.000 % |
418.22/418.55 c | 484364 | 1100 82850 270971 | 45495 44156 89 | 0.000 % |
418.32/418.63 c | 484476 | 1100 82850 270971 | 45495 44268 89 | 0.000 % |
418.42/418.74 c | 484597 | 1100 82850 270971 | 45495 44389 89 | 0.000 % |
418.52/418.88 c | 484731 | 1100 82850 270971 | 45495 44523 89 | 0.000 % |
418.72/419.05 c | 484877 | 1100 82850 270971 | 45495 44669 89 | 0.000 % |
418.92/419.22 c | 485038 | 1100 82850 270971 | 45495 44830 89 | 0.000 % |
419.12/419.48 c | 485214 | 1100 82850 270971 | 45495 45006 89 | 0.000 % |
419.32/419.62 c | 485407 | 1100 82850 270971 | 45495 45199 89 | 0.000 % |
419.52/419.82 c | 485620 | 1100 82850 270971 | 45495 45412 89 | 0.000 % |
419.72/420.05 c | 485855 | 1100 82850 270971 | 45495 45647 90 | 0.000 % |
419.92/420.29 c | 486112 | 1100 82850 270971 | 45495 41340 87 | 0.000 % |
420.22/420.54 c | 486394 | 1100 82850 270971 | 45495 41622 88 | 0.000 % |
420.52/420.83 c | 486703 | 1100 82850 270971 | 45495 41931 88 | 0.000 % |
420.72/421.09 c | 487045 | 1100 82850 270971 | 45495 42273 88 | 0.000 % |
421.02/421.36 c | 487419 | 1100 82850 270971 | 45495 42647 88 | 0.000 % |
421.32/421.69 c | 487829 | 1100 82850 270971 | 45495 43057 89 | 0.000 % |
421.72/422.00 c | 488278 | 1100 82850 270971 | 45495 43506 89 | 0.000 % |
422.22/422.57 c | 488773 | 1100 82850 270971 | 45495 44001 89 | 0.000 % |
422.92/423.25 c | 489316 | 1100 82850 270971 | 45495 44544 89 | 0.000 % |
423.51/423.82 c | 489913 | 1100 82850 270971 | 45495 45141 89 | 0.000 % |
424.11/424.45 c | 490570 | 1100 82850 270971 | 2147483647 45798 90 | 0.000 % |
425.01/425.32 c | 491291 | 1100 82850 270971 | 2147483647 46519 90 | 0.000 % |
425.81/426.17 c | 492083 | 1100 82850 270971 | 2147483647 47311 91 | 0.000 % |
426.91/427.20 c | 492954 | 1100 82850 270971 | 2147483647 48182 92 | 0.000 % |
427.81/428.19 c | 493913 | 1100 82850 270971 | 2147483647 49141 92 | 0.000 % |
428.81/429.17 c | 494967 | 1100 82850 270971 | 2147483647 50195 92 | 0.000 % |
430.11/430.47 c | 496125 | 1100 82850 270971 | 2147483647 51353 92 | 0.000 % |
431.61/431.93 c | 497401 | 1100 82850 270971 | 2147483647 52629 93 | 0.000 % |
432.81/433.19 c | 498803 | 1100 82850 270971 | 2147483647 54031 93 | 0.000 % |
434.41/434.70 c | 500345 | 1100 82850 270971 | 55229 55573 93 | 0.000 % |
435.81/436.18 c | 502040 | 1100 82850 270971 | 55229 49924 88 | 0.000 % |
437.61/438.00 c | 503904 | 1100 82850 270971 | 55229 51788 90 | 0.000 % |
439.41/439.78 c | 505953 | 1100 82850 270971 | 55229 53837 91 | 0.000 % |
441.91/442.29 c | 508206 | 1100 82850 270971 | 55229 47771 91 | 0.000 % |
444.21/444.56 c | 510686 | 1100 82850 270971 | 49566 42939 88 | 0.000 % |
446.81/447.14 c | 513413 | 1100 82850 270971 | 49566 45666 88 | 0.000 % |
449.90/450.30 c | 516411 | 1100 82850 270971 | 49566 48664 89 | 0.000 % |
452.70/453.04 c | 519708 | 1100 82850 270971 | 49566 45150 84 | 0.000 % |
455.80/456.11 c | 523333 | 1100 82850 270971 | 45444 42701 80 | 0.012 % |
458.80/459.16 c | 527321 | 1100 82850 270971 | 45444 42015 80 | 0.000 % |
462.40/462.72 c | 531706 | 1100 82850 270971 | 44695 41709 82 | 0.000 % |
467.80/468.18 c | 536533 | 1100 82850 270971 | 44695 41463 81 | 0.000 % |
467.90/468.28 c | 536633 | 1100 82850 270971 | 44695 41563 81 | 0.000 % |
468.00/468.38 c | 536747 | 1100 82850 270971 | 44695 41677 81 | 0.000 % |
468.10/468.48 c | 536868 | 1100 82850 270971 | 44695 41798 82 | 0.000 % |
468.20/468.57 c | 537003 | 1100 82850 270971 | 44695 41933 82 | 0.000 % |
468.30/468.67 c | 537149 | 1100 82850 270971 | 44695 42079 82 | 0.000 % |
468.40/468.78 c | 537309 | 1100 82850 270971 | 44695 42239 82 | 0.000 % |
468.60/468.99 c | 537487 | 1100 82850 270971 | 44695 42417 82 | 0.000 % |
468.90/469.23 c | 537680 | 1100 82850 270971 | 44695 42610 82 | 0.000 % |
469.10/469.44 c | 537894 | 1100 82850 270971 | 44695 42824 82 | 0.000 % |
469.40/469.72 c | 538127 | 1100 82850 270971 | 44695 43057 83 | 0.000 % |
469.60/469.91 c | 538386 | 1100 82850 270971 | 44695 43316 83 | 0.000 % |
469.70/470.09 c | 538668 | 1100 82850 270971 | 44695 43598 83 | 0.000 % |
470.00/470.32 c | 538978 | 1100 82850 270971 | 44695 43908 83 | 0.000 % |
470.20/470.57 c | 539317 | 1100 82850 270971 | 44695 44247 83 | 0.000 % |
470.50/470.86 c | 539689 | 1100 82850 270971 | 44695 44619 84 | 0.000 % |
470.80/471.15 c | 540098 | 1100 82850 270971 | 44930 45028 84 | 0.000 % |
471.29/471.62 c | 540547 | 1100 82850 270971 | 44930 40975 83 | 0.000 % |
471.69/472.05 c | 541042 | 1100 82850 270971 | 44930 41470 84 | 0.000 % |
472.09/472.45 c | 541586 | 1100 82850 270971 | 44930 42014 85 | 0.000 % |
472.60/472.98 c | 542182 | 1100 82850 270971 | 44930 42610 86 | 0.000 % |
473.19/473.56 c | 542839 | 1100 82850 270971 | 44930 43267 86 | 0.000 % |
473.80/474.18 c | 543559 | 1100 82850 270971 | 44930 43987 87 | 0.000 % |
474.59/474.91 c | 544351 | 1100 82850 270971 | 44930 44779 88 | 0.000 % |
475.29/475.68 c | 545222 | 1100 82850 270971 | 44930 41092 87 | 0.000 % |
476.19/476.51 c | 546181 | 1100 82850 270971 | 44930 42051 87 | 0.000 % |
477.10/477.48 c | 547236 | 1100 82850 270971 | 44930 43106 88 | 0.000 % |
478.29/478.68 c | 548395 | 1100 82850 270971 | 44930 44265 89 | 0.000 % |
479.79/480.13 c | 549669 | 1100 82850 270971 | 44930 45539 90 | 0.000 % |
480.89/481.23 c | 551069 | 1100 82850 270971 | 2147483647 42386 90 | 0.000 % |
482.39/482.74 c | 552609 | 1100 82850 270971 | 2147483647 43926 91 | 0.000 % |
483.89/484.23 c | 554303 | 1100 82850 270971 | 2147483647 45620 92 | 0.000 % |
485.39/485.79 c | 556167 | 1100 82850 270971 | 2147483647 47484 92 | 0.000 % |
486.99/487.38 c | 558217 | 1100 82850 270971 | 2147483647 49534 92 | 0.000 % |
488.79/489.19 c | 560471 | 1100 82850 270971 | 51317 51788 92 | 0.000 % |
490.79/491.18 c | 562950 | 1100 82850 270971 | 51317 48867 93 | 0.000 % |
493.39/493.74 c | 565675 | 1100 82850 270971 | 51317 51592 92 | 0.000 % |
496.29/496.63 c | 568672 | 1100 82850 270971 | 51317 48713 89 | 0.000 % |
499.09/499.43 c | 571970 | 1100 82850 270971 | 50044 45373 89 | 0.000 % |
503.08/503.43 c | 575597 | 1100 82850 270971 | 50044 49000 89 | 0.000 % |
506.88/507.23 c | 579587 | 1100 82850 270971 | 50044 45688 87 | 0.000 % |
510.98/511.35 c | 583972 | 1100 82850 270971 | 46103 44480 87 | 0.000 % |
514.88/515.27 c | 588795 | 1100 82850 270971 | 46103 44642 87 | 0.000 % |
520.08/520.45 c | 594109 | 1100 82850 270971 | 2147483647 49956 87 | 0.000 % |
520.18/520.60 c | 594209 | 1100 82850 270971 | 2147483647 50056 87 | 0.000 % |
520.38/520.75 c | 594320 | 1100 82850 270971 | 2147483647 50167 87 | 0.000 % |
520.58/520.94 c | 594441 | 1100 82850 270971 | 2147483647 50288 87 | 0.000 % |
520.78/521.12 c | 594574 | 1100 82850 270971 | 2147483647 50421 87 | 0.000 % |
520.98/521.32 c | 594722 | 1100 82850 270971 | 2147483647 50569 87 | 0.000 % |
521.18/521.54 c | 594882 | 1100 82850 270971 | 2147483647 50729 87 | 0.000 % |
521.38/521.74 c | 595060 | 1100 82850 270971 | 2147483647 50907 87 | 0.000 % |
521.58/521.92 c | 595255 | 1100 82850 270971 | 2147483647 51102 87 | 0.000 % |
521.78/522.19 c | 595467 | 1100 82850 270971 | 2147483647 51314 87 | 0.000 % |
522.08/522.44 c | 595700 | 1100 82850 270971 | 2147483647 51547 87 | 0.000 % |
522.28/522.68 c | 595957 | 1100 82850 270971 | 2147483647 51804 87 | 0.000 % |
522.58/522.94 c | 596238 | 1100 82850 270971 | 2147483647 52085 87 | 0.000 % |
522.88/523.23 c | 596548 | 1100 82850 270971 | 2147483647 52395 87 | 0.000 % |
523.18/523.55 c | 596887 | 1100 82850 270971 | 2147483647 52734 88 | 0.000 % |
523.58/523.98 c | 597259 | 1100 82850 270971 | 2147483647 53106 88 | 0.000 % |
523.98/524.32 c | 597669 | 1100 82850 270971 | 2147483647 53516 88 | 0.000 % |
524.47/524.83 c | 598118 | 1100 82850 270971 | 2147483647 53965 88 | 0.000 % |
524.77/525.18 c | 598613 | 1100 82850 270971 | 2147483647 54460 88 | 0.000 % |
525.38/525.71 c | 599155 | 1100 82850 270971 | 2147483647 55002 89 | 0.000 % |
525.97/526.39 c | 599751 | 1100 82850 270971 | 2147483647 55598 89 | 0.000 % |
526.77/527.10 c | 600407 | 1100 82850 270971 | 55849 56254 89 | 0.000 % |
527.47/527.85 c | 601129 | 1100 82850 270971 | 55849 49477 87 | 0.000 % |
528.37/528.74 c | 601921 | 1100 82850 270971 | 55849 50269 87 | 0.000 % |
529.17/529.52 c | 602796 | 1100 82850 270971 | 55849 51144 87 | 0.000 % |
530.27/530.63 c | 603754 | 1100 82850 270971 | 55849 52102 88 | 0.000 % |
531.37/531.78 c | 604807 | 1100 82850 270971 | 55849 53155 88 | 0.000 % |
532.37/532.73 c | 605966 | 1100 82850 270971 | 55849 54314 89 | 0.000 % |
533.87/534.21 c | 607239 | 1100 82850 270971 | 55849 55587 89 | 0.000 % |
535.17/535.51 c | 608639 | 1100 82850 270971 | 55849 49471 88 | 0.000 % |
536.37/536.72 c | 610181 | 1100 82850 270971 | 50834 51013 88 | 0.000 % |
538.07/538.43 c | 611879 | 1100 82850 270971 | 50834 45910 87 | 0.000 % |
539.67/540.02 c | 613743 | 1100 82850 270971 | 50834 47774 87 | 0.000 % |
541.87/542.24 c | 615793 | 1100 82850 270971 | 50834 49824 87 | 0.000 % |
544.37/544.74 c | 618046 | 1100 82850 270971 | 50834 45376 81 | 0.000 % |
546.37/546.77 c | 620524 | 1100 82850 270971 | 47331 47854 83 | 0.000 % |
548.36/548.77 c | 623249 | 1100 82850 270971 | 47331 44848 83 | 0.000 % |
551.06/551.47 c | 626247 | 1100 82850 270971 | 47331 43068 85 | 0.000 % |
554.26/554.65 c | 629545 | 1100 82850 270971 | 47331 46366 87 | 0.000 % |
557.96/558.38 c | 633176 | 1100 82850 270971 | 46822 44785 90 | 0.000 % |
561.55/561.94 c | 637166 | 1100 82850 270971 | 46822 42858 89 | 0.000 % |
565.65/566.04 c | 641551 | 1100 82850 270971 | 45692 41639 89 | 0.000 % |
571.35/571.72 c | 646374 | 1100 82850 270971 | 45692 40165 98 | 0.000 % |
576.65/577.07 c | 651679 | 1100 82850 270971 | 43791 39571 99 | 0.000 % |
582.05/582.46 c | 657514 | 1100 82850 270971 | 43791 40278 99 | 0.000 % |
582.15/582.59 c | 657614 | 1100 82850 270971 | 43791 40378 99 | 0.000 % |
582.25/582.70 c | 657725 | 1100 82850 270971 | 43791 40489 99 | 0.000 % |
582.45/582.81 c | 657846 | 1100 82850 270971 | 43791 40610 99 | 0.000 % |
582.55/582.96 c | 657982 | 1100 82850 270971 | 43791 40746 99 | 0.000 % |
582.75/583.13 c | 658128 | 1100 82850 270971 | 43791 40892 99 | 0.000 % |
582.85/583.29 c | 658289 | 1100 82850 270971 | 43791 41053 99 | 0.000 % |
583.05/583.46 c | 658466 | 1100 82850 270971 | 43791 41230 99 | 0.000 % |
583.25/583.63 c | 658660 | 1100 82850 270971 | 43791 41424 99 | 0.000 % |
583.35/583.78 c | 658873 | 1100 82850 270971 | 43791 41637 99 | 0.000 % |
583.55/583.98 c | 659108 | 1100 82850 270971 | 43791 41872 99 | 0.000 % |
583.75/584.16 c | 659364 | 1100 82850 270971 | 43791 42128 99 | 0.000 % |
583.95/584.38 c | 659646 | 1100 82850 270971 | 43791 42410 99 | 0.000 % |
584.25/584.62 c | 659955 | 1100 82850 270971 | 43791 42719 99 | 0.000 % |
584.45/584.86 c | 660295 | 1100 82850 270971 | 42764 43059 99 | 0.000 % |
584.75/585.19 c | 660671 | 1100 82850 270971 | 42764 38930 96 | 0.000 % |
585.14/585.51 c | 661082 | 1100 82850 270971 | 42764 39341 96 | 0.000 % |
585.54/585.96 c | 661532 | 1100 82850 270971 | 42764 39791 97 | 0.000 % |
586.14/586.50 c | 662025 | 1100 82850 270971 | 42764 40284 97 | 0.000 % |
586.74/587.13 c | 662572 | 1100 82850 270971 | 42764 40831 97 | 0.000 % |
587.24/587.68 c | 663168 | 1100 82850 270971 | 42764 41427 98 | 0.000 % |
587.94/588.37 c | 663824 | 1100 82850 270971 | 42764 42083 98 | 0.000 % |
588.64/589.02 c | 664544 | 1100 82850 270971 | 42764 42803 98 | 0.000 % |
589.44/589.81 c | 665336 | 1100 82850 270971 | 42764 39315 97 | 0.000 % |
590.14/590.58 c | 666207 | 1100 82850 270971 | 42764 40186 98 | 0.000 % |
591.04/591.44 c | 667165 | 1100 82850 270971 | 42764 41144 97 | 0.000 % |
592.24/592.61 c | 668221 | 1100 82850 270971 | 42764 42200 98 | 0.000 % |
593.54/593.96 c | 669381 | 1100 82850 270971 | 42764 39028 98 | 0.000 % |
594.83/595.26 c | 670654 | 1100 82850 270971 | 2147483647 40301 97 | 0.000 % |
596.23/596.67 c | 672056 | 1100 82850 270971 | 2147483647 41703 96 | 0.000 % |
597.63/598.09 c | 673598 | 1100 82850 270971 | 2147483647 43245 98 | 0.000 % |
599.33/599.77 c | 675294 | 1100 82850 270971 | 2147483647 44941 99 | 0.000 % |
601.83/602.20 c | 677157 | 1100 82850 270971 | 2147483647 46804 100 | 0.000 % |
604.54/604.92 c | 679207 | 1100 82850 270971 | 2147483647 48854 101 | 0.000 % |
607.43/607.87 c | 681460 | 1100 82850 270971 | 49650 44165 96 | 0.000 % |
610.63/611.08 c | 683940 | 1100 82850 270971 | 49650 46645 96 | 0.000 % |
613.43/613.83 c | 686667 | 1100 82850 270971 | 49650 49372 98 | 0.000 % |
616.12/616.59 c | 689664 | 1100 82850 270971 | 49650 44980 94 | 0.000 % |
620.03/620.46 c | 692960 | 1100 82850 270971 | 45319 41757 94 | 0.000 % |
624.12/624.55 c | 696585 | 1100 82850 270971 | 45319 45382 96 | 0.000 % |
629.02/629.46 c | 700574 | 1100 82850 270971 | 42581 37855 98 | 0.000 % |
633.12/633.55 c | 704961 | 1100 82850 270971 | 42581 42242 102 | 0.000 % |
637.42/637.87 c | 709787 | 1100 82850 270971 | 42581 42732 100 | 0.000 % |
641.92/642.31 c | 715092 | 1100 82850 270971 | 2147483647 43764 97 | 0.000 % |
649.21/649.69 c | 720927 | 1100 82850 270971 | 48672 43386 100 | 0.000 % |
655.11/655.55 c | 727345 | 1100 82850 270971 | 48672 43853 103 | 0.000 % |
655.31/655.71 c | 727445 | 1100 82850 270971 | 48672 43953 103 | 0.000 % |
655.41/655.83 c | 727556 | 1100 82850 270971 | 48672 44064 103 | 0.000 % |
655.51/655.99 c | 727677 | 1100 82850 270971 | 48672 44185 103 | 0.000 % |
655.71/656.16 c | 727810 | 1100 82850 270971 | 48672 44318 103 | 0.000 % |
655.91/656.30 c | 727958 | 1100 82850 270971 | 48672 44466 103 | 0.000 % |
656.01/656.47 c | 728118 | 1100 82850 270971 | 48672 44626 103 | 0.000 % |
656.21/656.67 c | 728295 | 1100 82850 270971 | 48672 44803 103 | 0.000 % |
656.51/656.93 c | 728490 | 1100 82850 270971 | 48672 44998 103 | 0.000 % |
656.71/657.18 c | 728703 | 1100 82850 270971 | 48672 45211 103 | 0.000 % |
657.01/657.47 c | 728936 | 1100 82850 270971 | 48672 45444 103 | 0.000 % |
657.31/657.79 c | 729194 | 1100 82850 270971 | 48672 45702 103 | 0.000 % |
657.61/658.05 c | 729475 | 1100 82850 270971 | 48672 45983 103 | 0.000 % |
657.91/658.36 c | 729786 | 1100 82850 270971 | 48672 46294 103 | 0.000 % |
658.31/658.75 c | 730125 | 1100 82850 270971 | 46513 46633 103 | 0.000 % |
658.71/659.12 c | 730500 | 1100 82850 270971 | 46513 41246 101 | 0.000 % |
659.11/659.50 c | 730909 | 1100 82850 270971 | 46513 41655 101 | 0.000 % |
659.51/659.92 c | 731358 | 1100 82850 270971 | 46513 42104 101 | 0.000 % |
660.01/660.43 c | 731852 | 1100 82850 270971 | 46513 42598 101 | 0.000 % |
660.41/660.80 c | 732397 | 1100 82850 270971 | 46513 43143 101 | 0.000 % |
661.11/661.52 c | 732994 | 1100 82850 270971 | 46513 43740 102 | 0.000 % |
661.71/662.16 c | 733649 | 1100 82850 270971 | 46513 44395 102 | 0.000 % |
662.31/662.75 c | 734369 | 1100 82850 270971 | 46513 45115 102 | 0.000 % |
663.11/663.50 c | 735166 | 1100 82850 270971 | 46513 45912 101 | 0.000 % |
664.01/664.43 c | 736040 | 1100 82850 270971 | 46513 46786 101 | 0.000 % |
665.11/665.54 c | 736998 | 1100 82850 270971 | 46513 42155 96 | 0.000 % |
666.40/666.82 c | 738051 | 1100 82850 270971 | 46513 43208 97 | 0.000 % |
667.70/668.18 c | 739210 | 1100 82850 270971 | 46513 44367 98 | 0.000 % |
669.20/669.63 c | 740485 | 1100 82850 270971 | 45157 45642 99 | 0.000 % |
670.40/670.88 c | 741888 | 1100 82850 270971 | 45157 41803 97 | 0.000 % |
671.71/672.19 c | 743428 | 1100 82850 270971 | 45157 43343 97 | 0.000 % |
673.40/673.83 c | 745126 | 1100 82850 270971 | 45157 45041 97 | 0.000 % |
675.10/675.50 c | 746990 | 1100 82850 270971 | 45157 41362 98 | 0.000 % |
677.00/677.47 c | 749041 | 1100 82850 270971 | 45157 43413 98 | 0.000 % |
679.10/679.58 c | 751294 | 1100 82850 270971 | 44372 40233 95 | 0.000 % |
681.60/682.06 c | 753772 | 1100 82850 270971 | 44372 42711 97 | 0.000 % |
684.29/684.73 c | 756501 | 1100 82850 270971 | 44372 40325 95 | 0.000 % |
687.09/687.56 c | 759498 | 1100 82850 270971 | 44372 43322 97 | 0.000 % |
690.49/690.96 c | 762794 | 1100 82850 270971 | 43825 42178 98 | 0.000 % |
694.08/694.59 c | 766419 | 1100 82850 270971 | 43825 41376 100 | 0.000 % |
698.48/698.92 c | 770406 | 1100 82850 270971 | 2147483647 40925 99 | 0.000 % |
702.49/702.92 c | 774792 | 1100 82850 270971 | 2147483647 45311 99 | 0.000 % |
706.79/707.20 c | 779615 | 1100 82850 270971 | 2147483647 50134 100 | 0.000 % |
711.18/711.69 c | 784922 | 1100 82850 270971 | 50519 50126 101 | 0.000 % |
717.68/718.20 c | 790760 | 1100 82850 270971 | 48850 42657 93 | 0.000 % |
723.48/723.99 c | 797179 | 1100 82850 270971 | 48850 49076 91 | 0.000 % |
729.47/729.92 c | 804239 | 1100 82850 270971 | 46630 45651 84 | 0.000 % |
729.57/730.01 c | 804339 | 1100 82850 270971 | 46630 45751 84 | 0.000 % |
729.67/730.13 c | 804449 | 1100 82850 270971 | 46630 45861 84 | 0.000 % |
729.77/730.27 c | 804571 | 1100 82850 270971 | 46630 45983 84 | 0.000 % |
729.87/730.39 c | 804704 | 1100 82850 270971 | 46630 46116 84 | 0.000 % |
730.07/730.51 c | 804851 | 1100 82850 270971 | 46630 46263 84 | 0.000 % |
730.17/730.62 c | 805011 | 1100 82850 270971 | 46630 46423 84 | 0.000 % |
730.37/730.81 c | 805190 | 1100 82850 270971 | 46630 46602 85 | 0.000 % |
730.47/730.99 c | 805385 | 1100 82850 270971 | 46630 46797 85 | 0.000 % |
730.67/731.18 c | 805598 | 1100 82850 270971 | 46630 42189 82 | 0.000 % |
730.87/731.38 c | 805832 | 1100 82850 270971 | 46630 42423 82 | 0.000 % |
731.17/731.60 c | 806088 | 1100 82850 270971 | 46630 42679 82 | 0.000 % |
731.36/731.80 c | 806369 | 1100 82850 270971 | 46630 42960 83 | 0.000 % |
731.56/732.03 c | 806681 | 1100 82850 270971 | 46630 43272 83 | 0.000 % |
731.76/732.29 c | 807021 | 1100 82850 270971 | 46630 43612 83 | 0.000 % |
732.17/732.62 c | 807395 | 1100 82850 270971 | 46630 43986 83 | 0.000 % |
732.46/732.97 c | 807805 | 1100 82850 270971 | 46630 44396 84 | 0.000 % |
732.87/733.39 c | 808254 | 1100 82850 270971 | 46630 44845 84 | 0.000 % |
733.37/733.84 c | 808747 | 1100 82850 270971 | 46630 45338 84 | 0.000 % |
733.77/734.21 c | 809289 | 1100 82850 270971 | 46630 45880 84 | 0.000 % |
734.16/734.62 c | 809886 | 1100 82850 270971 | 46630 46477 85 | 0.000 % |
734.66/735.12 c | 810543 | 1100 82850 270971 | 2147483647 47134 85 | 0.000 % |
735.26/735.71 c | 811265 | 1100 82850 270971 | 2147483647 47856 86 | 0.000 % |
735.96/736.45 c | 812058 | 1100 82850 270971 | 2147483647 48649 86 | 0.000 % |
736.76/737.24 c | 812930 | 1100 82850 270971 | 2147483647 49521 87 | 0.000 % |
737.57/738.10 c | 813888 | 1100 82850 270971 | 2147483647 50479 88 | 0.000 % |
738.66/739.14 c | 814942 | 1100 82850 270971 | 2147483647 51533 88 | 0.000 % |
739.66/740.13 c | 816100 | 1100 82850 270971 | 2147483647 52691 88 | 0.000 % |
740.86/741.32 c | 817373 | 1100 82850 270971 | 2147483647 53964 88 | 0.000 % |
742.36/742.80 c | 818773 | 1100 82850 270971 | 2147483647 55364 89 | 0.000 % |
743.66/744.19 c | 820313 | 1100 82850 270971 | 2147483647 56904 89 | 0.000 % |
745.26/745.74 c | 822009 | 1100 82850 270971 | 2147483647 58600 90 | 0.000 % |
747.56/748.08 c | 823872 | 1100 82850 270971 | 2147483647 60463 92 | 0.000 % |
749.56/750.06 c | 825921 | 1100 82850 270971 | 2147483647 62512 93 | 0.000 % |
751.76/752.23 c | 828175 | 1100 82850 270971 | 2147483647 64766 93 | 0.000 % |
754.76/755.21 c | 830653 | 1100 82850 270971 | 66592 58070 89 | 0.000 % |
757.65/758.12 c | 833380 | 1100 82850 270971 | 66592 60797 90 | 0.000 % |
761.45/761.93 c | 836378 | 1100 82850 270971 | 66592 63795 89 | 0.000 % |
765.65/766.12 c | 839675 | 1100 82850 270971 | 66592 67092 89 | 0.000 % |
770.45/770.99 c | 843301 | 1100 82850 270971 | 55500 48565 87 | 0.000 % |
775.05/775.60 c | 847289 | 1100 82850 270971 | 55500 52553 87 | 0.000 % |
779.14/779.68 c | 851674 | 1100 82850 270971 | 55266 47131 84 | 0.000 % |
783.04/783.56 c | 856497 | 1100 82850 270971 | 55266 51954 84 | 0.000 % |
787.84/788.31 c | 861805 | 1100 82850 270971 | 55457 49221 79 | 0.000 % |
791.74/792.20 c | 867641 | 1100 82850 270971 | 55457 55057 78 | 0.000 % |
795.54/796.02 c | 874059 | 1100 82850 270971 | 2147483647 55863 74 | 0.000 % |
801.34/801.80 c | 881118 | 1100 82850 270971 | 2147483647 62922 83 | 0.000 % |
810.03/810.50 c | 888882 | 1100 82850 270971 | 2147483647 70686 86 | 0.000 % |
810.13/810.62 c | 888984 | 1100 82850 270971 | 2147483647 70788 87 | 0.000 % |
810.23/810.75 c | 889098 | 1100 82850 270971 | 2147483647 70902 87 | 0.000 % |
810.43/810.94 c | 889223 | 1100 82850 270971 | 2147483647 71027 87 | 0.000 % |
810.53/811.05 c | 889360 | 1100 82850 270971 | 2147483647 71164 87 | 0.000 % |
810.73/811.25 c | 889507 | 1100 82850 270971 | 2147483647 71311 87 | 0.000 % |
810.93/811.48 c | 889670 | 1100 82850 270971 | 2147483647 71474 87 | 0.000 % |
811.13/811.67 c | 889846 | 1100 82850 270971 | 2147483647 71650 87 | 0.000 % |
811.33/811.86 c | 890040 | 1100 82850 270971 | 71804 71844 87 | 0.000 % |
811.63/812.16 c | 890252 | 1100 82850 270971 | 71804 62830 86 | 0.000 % |
811.83/812.36 c | 890487 | 1100 82850 270971 | 71804 63065 86 | 0.000 % |
812.03/812.59 c | 890743 | 1100 82850 270971 | 71804 63321 86 | 0.000 % |
812.33/812.83 c | 891024 | 1100 82850 270971 | 71804 63602 87 | 0.000 % |
812.63/813.11 c | 891333 | 1100 82850 270971 | 71804 63911 87 | 0.000 % |
812.93/813.44 c | 891673 | 1100 82850 270971 | 71804 64251 87 | 0.000 % |
813.33/813.88 c | 892047 | 1100 82850 270971 | 71804 64625 87 | 0.000 % |
813.83/814.39 c | 892457 | 1100 82850 270971 | 71804 65035 87 | 0.000 % |
814.33/814.87 c | 892910 | 1100 82850 270971 | 71804 65488 88 | 0.000 % |
814.93/815.41 c | 893404 | 1100 82850 270971 | 71804 65982 88 | 0.000 % |
815.53/816.07 c | 893949 | 1100 82850 270971 | 71804 66527 88 | 0.000 % |
816.22/816.72 c | 894548 | 1100 82850 270971 | 71804 67126 88 | 0.000 % |
817.12/817.65 c | 895203 | 1100 82850 270971 | 71804 67781 88 | 0.000 % |
817.82/818.33 c | 895925 | 1100 82850 270971 | 71804 68503 89 | 0.000 % |
818.82/819.36 c | 896718 | 1100 82850 270971 | 71804 69296 89 | 0.000 % |
819.72/820.27 c | 897592 | 1100 82850 270971 | 71804 70170 89 | 0.000 % |
820.62/821.19 c | 898551 | 1100 82850 270971 | 71804 71129 90 | 0.000 % |
821.72/822.28 c | 899605 | 1100 82850 270971 | 71804 72183 90 | 0.000 % |
823.32/823.86 c | 900763 | 1100 82850 270971 | 61634 53073 91 | 0.000 % |
824.62/825.16 c | 902036 | 1100 82850 270971 | 61634 54346 92 | 0.000 % |
826.42/826.95 c | 903436 | 1100 82850 270971 | 61634 55746 92 | 0.000 % |
828.22/828.77 c | 904976 | 1100 82850 270971 | 61634 57286 93 | 0.000 % |
830.32/830.83 c | 906670 | 1100 82850 270971 | 61634 58980 94 | 0.000 % |
832.52/833.03 c | 908534 | 1100 82850 270971 | 61634 60844 94 | 0.000 % |
834.42/834.91 c | 910591 | 1100 82850 270971 | 52766 53357 100 | 0.000 % |
836.71/837.29 c | 912845 | 1100 82850 270971 | 52766 47530 104 | 0.000 % |
839.21/839.78 c | 915324 | 1100 82850 270971 | 52766 50009 104 | 0.000 % |
842.71/843.20 c | 918054 | 1100 82850 270971 | 52766 52739 104 | 0.000 % |
845.61/846.19 c | 921052 | 1100 82850 270971 | 46185 39923 96 | 0.000 % |
849.31/849.86 c | 924351 | 1100 82850 270971 | 46185 43222 100 | 0.000 % |
853.21/853.75 c | 927976 | 1100 82850 270971 | 46185 46847 102 | 0.000 % |
856.61/857.11 c | 931963 | 1100 82850 270971 | 41554 37676 98 | 0.000 % |
860.21/860.71 c | 936350 | 1100 82850 270971 | 41554 42063 100 | 0.000 % |
863.70/864.20 c | 941173 | 1100 82850 270971 | 2147483647 42453 98 | 0.000 % |
867.40/867.97 c | 946478 | 1100 82850 270971 | 2147483647 47758 96 | 0.000 % |
873.51/874.03 c | 952313 | 1100 82850 270971 | 51280 48066 93 | 0.000 % |
878.51/879.00 c | 958731 | 1100 82850 270971 | 51280 49311 89 | 0.010 % |
885.00/885.54 c | 965791 | 1100 82850 270971 | 2147483647 56371 87 | 0.010 % |
891.60/892.16 c | 973555 | 1100 82850 270971 | 60583 56093 77 | 0.010 % |
897.60/898.14 c | 982095 | 1100 82850 270971 | 2147483647 58524 84 | 0.000 % |
897.70/898.24 c | 982195 | 1100 82850 270971 | 2147483647 58624 84 | 0.000 % |
897.80/898.31 c | 982305 | 1100 82850 270971 | 2147483647 58734 84 | 0.000 % |
897.90/898.43 c | 982426 | 1100 82850 270971 | 2147483647 58855 84 | 0.010 % |
898.00/898.51 c | 982559 | 1100 82850 270971 | 2147483647 58988 84 | 0.000 % |
898.10/898.64 c | 982705 | 1100 82850 270971 | 2147483647 59134 84 | 0.000 % |
898.20/898.76 c | 982866 | 1100 82850 270971 | 2147483647 59295 85 | 0.000 % |
898.40/898.92 c | 983043 | 1100 82850 270971 | 2147483647 59472 85 | 0.000 % |
898.60/899.11 c | 983237 | 1100 82850 270971 | 2147483647 59666 85 | 0.000 % |
898.70/899.29 c | 983451 | 1100 82850 270971 | 2147483647 59880 85 | 0.000 % |
899.00/899.51 c | 983685 | 1100 82850 270971 | 2147483647 60114 85 | 0.012 % |
899.20/899.75 c | 983942 | 1100 82850 270971 | 2147483647 60371 85 | 0.000 % |
899.50/900.00 c | 984224 | 1100 82850 270971 | 2147483647 60653 85 | 0.000 % |
899.70/900.28 c | 984533 | 1100 82850 270971 | 2147483647 60962 85 | 0.000 % |
900.10/900.60 c | 984875 | 1100 82850 270971 | 2147483647 61304 85 | 0.000 % |
900.40/900.96 c | 985248 | 1100 82850 270971 | 2147483647 61677 86 | 0.000 % |
900.80/901.30 c | 985659 | 1100 82850 270971 | 2147483647 62088 86 | 0.000 % |
901.20/901.76 c | 986108 | 1100 82850 270971 | 2147483647 62537 86 | 0.000 % |
901.60/902.17 c | 986602 | 1100 82850 270971 | 2147483647 63031 86 | 0.000 % |
902.29/902.80 c | 987145 | 1100 82850 270971 | 2147483647 63574 86 | 0.000 % |
902.89/903.46 c | 987741 | 1100 82850 270971 | 2147483647 64170 86 | 0.000 % |
903.49/904.04 c | 988404 | 1100 82850 270971 | 2147483647 64833 86 | 0.000 % |
904.30/904.83 c | 989124 | 1100 82850 270971 | 2147483647 65553 86 | 0.000 % |
904.99/905.51 c | 989916 | 1100 82850 270971 | 2147483647 66345 87 | 0.000 % |
905.80/906.34 c | 990787 | 1100 82850 270971 | 66432 60304 84 | 0.000 % |
906.59/907.11 c | 991747 | 1100 82850 270971 | 66432 61264 84 | 0.000 % |
907.69/908.21 c | 992801 | 1100 82850 270971 | 66432 62318 85 | 0.000 % |
908.59/909.15 c | 993959 | 1100 82850 270971 | 66432 63476 85 | 0.000 % |
909.89/910.47 c | 995234 | 1100 82850 270971 | 66432 64751 86 | 0.000 % |
911.39/911.91 c | 996635 | 1100 82850 270971 | 66432 66152 86 | 0.000 % |
912.89/913.47 c | 998175 | 1100 82850 270971 | 66432 60781 86 | 0.000 % |
914.49/915.06 c | 999869 | 1100 82850 270971 | 66432 62475 86 | 0.000 % |
916.29/916.85 c | 1001734 | 1100 82850 270971 | 62606 57857 86 | 0.000 % |
918.39/918.93 c | 1003783 | 1100 82850 270971 | 62606 59906 87 | 0.000 % |
920.89/921.42 c | 1006040 | 1100 82850 270971 | 62606 62163 87 | 0.000 % |
923.78/924.30 c | 1008519 | 1100 82850 270971 | 62606 57644 90 | 0.000 % |
926.58/927.18 c | 1011245 | 1100 82850 270971 | 59125 53503 97 | 0.000 % |
930.18/930.77 c | 1014244 | 1100 82850 270971 | 59125 56502 98 | 0.000 % |
933.78/934.34 c | 1017541 | 1100 82850 270971 | 59125 51523 101 | 0.000 % |
938.58/939.18 c | 1021167 | 1100 82850 270971 | 53982 46463 99 | 0.000 % |
942.88/943.45 c | 1025155 | 1100 82850 270971 | 53982 50451 100 | 0.000 % |
946.98/947.59 c | 1029540 | 1100 82850 270971 | 53982 46900 98 | 0.000 % |
952.07/952.61 c | 1034366 | 1100 82850 270971 | 47360 44907 102 | 0.000 % |
958.47/959.01 c | 1039672 | 1100 82850 270971 | 47360 43910 103 | 0.000 % |
963.36/963.96 c | 1045507 | 1100 82850 270971 | 44238 43697 96 | 0.000 % |
971.06/971.66 c | 1051925 | 1100 82850 270971 | 2147483647 45654 102 | 0.000 % |
977.36/977.95 c | 1058986 | 1100 82850 270971 | 2147483647 52715 105 | 0.000 % |
986.46/987.07 c | 1066752 | 1100 82850 270971 | 53730 52781 101 | 0.000 % |
994.75/995.37 c | 1075296 | 1100 82850 270971 | 47478 45083 93 | 0.000 % |
1003.54/1004.20 c | 1084691 | 1100 82850 270971 | 42260 40450 84 | 0.000 % |
1003.65/1004.29 c | 1084793 | 1100 82850 270971 | 42260 40552 84 | 0.000 % |
1003.75/1004.38 c | 1084904 | 1100 82850 270971 | 42260 40663 84 | 0.000 % |
1003.84/1004.48 c | 1085026 | 1100 82850 270971 | 42260 40785 84 | 0.000 % |
1004.04/1004.61 c | 1085160 | 1100 82850 270971 | 42260 40919 84 | 0.000 % |
1004.14/1004.75 c | 1085306 | 1100 82850 270971 | 42260 41065 84 | 0.000 % |
1004.24/1004.87 c | 1085467 | 1100 82850 270971 | 42260 41226 84 | 0.000 % |
1004.44/1005.04 c | 1085643 | 1100 82850 270971 | 42260 41402 84 | 0.000 % |
1004.54/1005.17 c | 1085836 | 1100 82850 270971 | 42260 41595 84 | 0.000 % |
1004.75/1005.38 c | 1086055 | 1100 82850 270971 | 42260 41814 84 | 0.000 % |
1004.94/1005.57 c | 1086293 | 1100 82850 270971 | 42260 42052 84 | 0.000 % |
1005.14/1005.71 c | 1086549 | 1100 82850 270971 | 42260 42308 85 | 0.000 % |
1005.34/1005.95 c | 1086830 | 1100 82850 270971 | 42260 37613 80 | 0.000 % |
1005.54/1006.11 c | 1087141 | 1100 82850 270971 | 42260 37924 80 | 0.000 % |
1005.74/1006.35 c | 1087480 | 1100 82850 270971 | 42260 38263 80 | 0.000 % |
1006.04/1006.69 c | 1087854 | 1100 82850 270971 | 42260 38637 81 | 0.000 % |
1006.34/1006.94 c | 1088263 | 1100 82850 270971 | 42260 39046 81 | 0.000 % |
1006.54/1007.19 c | 1088712 | 1100 82850 270971 | 42260 39495 81 | 0.000 % |
1006.94/1007.52 c | 1089207 | 1100 82850 270971 | 42260 39990 81 | 0.000 % |
1007.24/1007.81 c | 1089750 | 1100 82850 270971 | 42260 40533 81 | 0.000 % |
1007.54/1008.13 c | 1090346 | 1100 82850 270971 | 2147483647 41129 81 | 0.000 % |
1007.84/1008.47 c | 1091001 | 1100 82850 270971 | 2147483647 41784 82 | 0.000 % |
1008.44/1009.01 c | 1091724 | 1100 82850 270971 | 2147483647 42507 82 | 0.000 % |
1008.94/1009.56 c | 1092517 | 1100 82850 270971 | 2147483647 43300 82 | 0.000 % |
1009.64/1010.25 c | 1093389 | 1100 82850 270971 | 2147483647 44172 83 | 0.000 % |
1010.24/1010.87 c | 1094350 | 1100 82850 270971 | 2147483647 45133 84 | 0.000 % |
1010.94/1011.60 c | 1095404 | 1100 82850 270971 | 2147483647 46187 84 | 0.000 % |
1011.74/1012.36 c | 1096562 | 1100 82850 270971 | 2147483647 47345 85 | 0.000 % |
1012.64/1013.20 c | 1097835 | 1100 82850 270971 | 2147483647 48618 86 | 0.000 % |
1013.74/1014.34 c | 1099238 | 1100 82850 270971 | 2147483647 50021 86 | 0.000 % |
1015.44/1016.01 c | 1100780 | 1100 82850 270971 | 2147483647 51563 86 | 0.000 % |
1017.03/1017.70 c | 1102474 | 1100 82850 270971 | 2147483647 53257 86 | 0.000 % |
1018.53/1019.14 c | 1104337 | 1100 82850 270971 | 2147483647 55120 86 | 0.000 % |
1020.24/1020.83 c | 1106388 | 1100 82850 270971 | 2147483647 57171 87 | 0.000 % |
1022.23/1022.82 c | 1108642 | 1100 82850 270971 | 2147483647 59425 86 | 0.000 % |
1024.33/1024.90 c | 1111120 | 1100 82850 270971 | 60784 54347 83 | 0.000 % |
1026.74/1027.35 c | 1113845 | 1100 82850 270971 | 60784 57072 83 | 0.000 % |
1029.43/1030.07 c | 1116845 | 1100 82850 270971 | 60784 60072 83 | 0.000 % |
1032.73/1033.39 c | 1120141 | 1100 82850 270971 | 53418 53555 82 | 0.012 % |
1036.53/1037.11 c | 1123769 | 1100 82850 270971 | 53418 48544 81 | 0.000 % |
1040.53/1041.17 c | 1127760 | 1100 82850 270971 | 53418 52535 82 | 0.000 % |
1044.82/1045.45 c | 1132145 | 1100 82850 270971 | 46894 42725 77 | 0.000 % |
1049.02/1049.62 c | 1136969 | 1100 82850 270971 | 46894 47549 80 | 0.000 % |
1054.72/1055.37 c | 1142274 | 1100 82850 270971 | 45521 42202 79 | 0.000 % |
1060.42/1061.01 c | 1148109 | 1100 82850 270971 | 45521 41611 79 | 0.000 % |
1066.92/1067.54 c | 1154527 | 1100 82850 270971 | 43503 41394 80 | 0.000 % |
1071.92/1072.58 c | 1161586 | 1100 82850 270971 | 41544 38912 87 | 0.000 % |
1078.42/1079.07 c | 1169352 | 1100 82850 270971 | 41544 38279 93 | 0.000 % |
1088.00/1088.64 c | 1177895 | 1100 82850 270971 | 2147483647 46822 101 | 0.000 % |
1098.00/1098.63 c | 1187291 | 1100 82850 270971 | 2147483647 56218 102 | 0.000 % |
1108.40/1109.01 c | 1197624 | 1100 82850 270971 | 58927 56691 105 | 0.000 % |
1108.40/1109.09 c | 1197726 | 1100 82850 270971 | 58927 56793 105 | 0.000 % |
1108.60/1109.21 c | 1197837 | 1100 82850 270971 | 58927 56904 105 | 0.000 % |
1108.70/1109.35 c | 1197958 | 1100 82850 270971 | 58927 57025 105 | 0.000 % |
1108.90/1109.54 c | 1198093 | 1100 82850 270971 | 58927 57160 105 | 0.000 % |
1109.20/1109.86 c | 1198239 | 1100 82850 270971 | 58927 57306 105 | 0.000 % |
1109.40/1110.09 c | 1198400 | 1100 82850 270971 | 58927 57467 105 | 0.000 % |
1109.60/1110.25 c | 1198577 | 1100 82850 270971 | 58927 57644 105 | 0.000 % |
1109.90/1110.54 c | 1198773 | 1100 82850 270971 | 58927 57840 105 | 0.000 % |
1110.20/1110.80 c | 1198986 | 1100 82850 270971 | 58927 58053 105 | 0.000 % |
1110.40/1111.04 c | 1199219 | 1100 82850 270971 | 58927 58286 105 | 0.000 % |
1110.70/1111.38 c | 1199476 | 1100 82850 270971 | 58927 58543 105 | 0.000 % |
1111.00/1111.68 c | 1199758 | 1100 82850 270971 | 58927 58825 105 | 0.000 % |
1111.50/1112.11 c | 1200068 | 1100 82850 270971 | 59070 59135 105 | 0.000 % |
1111.89/1112.57 c | 1200407 | 1100 82850 270971 | 59070 48871 106 | 0.000 % |
1112.29/1112.97 c | 1200781 | 1100 82850 270971 | 59070 49245 106 | 0.000 % |
1112.69/1113.34 c | 1201191 | 1100 82850 270971 | 59070 49655 106 | 0.000 % |
1113.09/1113.72 c | 1201640 | 1100 82850 270971 | 59070 50104 106 | 0.000 % |
1113.49/1114.18 c | 1202134 | 1100 82850 270971 | 59070 50598 106 | 0.000 % |
1114.29/1114.91 c | 1202676 | 1100 82850 270971 | 59070 51140 106 | 0.000 % |
1114.99/1115.64 c | 1203272 | 1100 82850 270971 | 59070 51736 106 | 0.000 % |
1115.69/1116.37 c | 1203928 | 1100 82850 270971 | 59070 52392 107 | 0.000 % |
1116.59/1117.25 c | 1204648 | 1100 82850 270971 | 59070 53112 107 | 0.000 % |
1117.39/1118.03 c | 1205445 | 1100 82850 270971 | 59070 53909 107 | 0.000 % |
1118.29/1118.94 c | 1206316 | 1100 82850 270971 | 59070 54780 107 | 0.012 % |
1119.39/1120.04 c | 1207274 | 1100 82850 270971 | 59070 55738 106 | 0.000 % |
1120.49/1121.18 c | 1208327 | 1100 82850 270971 | 59070 56791 106 | 0.000 % |
1121.89/1122.57 c | 1209487 | 1100 82850 270971 | 59070 57951 105 | 0.000 % |
1123.39/1124.03 c | 1210762 | 1100 82850 270971 | 58465 48830 96 | 0.013 % |
1124.89/1125.52 c | 1212162 | 1100 82850 270971 | 58465 50230 96 | 0.000 % |
1126.29/1126.95 c | 1213702 | 1100 82850 270971 | 58465 51770 96 | 0.000 % |
1128.19/1128.85 c | 1215396 | 1100 82850 270971 | 58465 53464 96 | 0.000 % |
1130.09/1130.70 c | 1217261 | 1100 82850 270971 | 58465 55329 96 | 0.000 % |
1131.78/1132.49 c | 1219311 | 1100 82850 270971 | 58465 57379 96 | 0.000 % |
1134.38/1135.03 c | 1221565 | 1100 82850 270971 | 58069 48566 89 | 0.000 % |
1136.68/1137.40 c | 1224043 | 1100 82850 270971 | 58069 51044 91 | 0.000 % |
1139.28/1139.98 c | 1226770 | 1100 82850 270971 | 58069 53771 93 | 0.000 % |
1142.38/1143.09 c | 1229767 | 1100 82850 270971 | 58069 56768 95 | 0.000 % |
1145.58/1146.22 c | 1233064 | 1100 82850 270971 | 57003 51023 93 | 0.000 % |
1149.77/1150.42 c | 1236689 | 1100 82850 270971 | 57003 54648 96 | 0.000 % |
1153.87/1154.51 c | 1240682 | 1100 82850 270971 | 48335 41017 93 | 0.000 % |
1157.67/1158.38 c | 1245067 | 1100 82850 270971 | 48335 45402 93 | 0.000 % |
1162.87/1163.54 c | 1249891 | 1100 82850 270971 | 48335 43883 98 | 0.000 % |
1167.86/1168.58 c | 1255197 | 1100 82850 270971 | 43995 43444 100 | 0.000 % |
1174.26/1174.98 c | 1261032 | 1100 82850 270971 | 43712 40086 95 | 0.000 % |
1179.95/1180.67 c | 1267454 | 1100 82850 270971 | 43712 42080 97 | 0.000 % |
1185.75/1186.44 c | 1274513 | 1100 82850 270971 | 2147483647 44703 95 | 0.000 % |
1193.85/1194.53 c | 1282283 | 1100 82850 270971 | 50191 46545 99 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834097-1242827851/watcher-1834097-1242827851 -o /tmp/evaluation-result-1834097-1242827851/solver-1834097-1242827851 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834097-1242827851.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19086
/proc/meminfo: memFree=1947032/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0
/proc/19086/stat : 19086 (SatELiteGTI) R 19084 19086 18706 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 137786941 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244670720499 0 0 4100 65536 0 0 0 17 0 0 0
/proc/19086/statm: 1339 237 197 169 0 50 0
[startup+0.08563 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19086
/proc/meminfo: memFree=1947032/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 137786941 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101632 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19086
/proc/meminfo: memFree=1947032/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 137786941 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301651 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19086
/proc/meminfo: memFree=1947032/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 137786941 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701702 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19086
/proc/meminfo: memFree=1947032/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5356
[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1938952/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=8356 CPUtime=1.08
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 1988 0 0 0 108 0 0 0 25 0 1 0 137786981 8556544 1974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 2089 1974 77 171 0 1916 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13712
[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1936328/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=11272 CPUtime=2.68
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 2720 0 0 0 267 1 0 0 25 0 1 0 137786981 11542528 2706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 2818 2706 77 171 0 2645 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16628
[startup+6.30228 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1931272/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=15528 CPUtime=5.88
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 3755 0 0 0 586 2 0 0 25 0 1 0 137786981 15900672 3741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 3882 3741 77 171 0 3709 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20884
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1924936/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=21416 CPUtime=12.28
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 5215 0 0 0 1224 4 0 0 25 0 1 0 137786981 21929984 5201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 5354 5201 77 171 0 5181 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26772
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1915592/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=30380 CPUtime=25.06
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 7468 0 0 0 2500 6 0 0 25 0 1 0 137786981 31109120 7454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 7595 7454 77 171 0 7422 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 35736
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1902856/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43260 CPUtime=50.64
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10671 0 0 0 5055 9 0 0 25 0 1 0 137786981 44298240 10657 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10815 10657 77 171 0 10642 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 48616
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1902152/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=101.82
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 10172 10 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 49028
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19092
/proc/meminfo: memFree=1901896/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=161.78
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 16168 10 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 49028
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1901640/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=221.75
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 22165 10 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 49028
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1901640/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=281.71
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 28161 10 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 49028
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1901576/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=341.68
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 34157 11 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 49028
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1901448/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=401.65
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 40154 11 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 49028
[startup+462.301 s]
################
# More data... #
################
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 49028
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1901000/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=641.54
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 64143 11 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134539443 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 49028
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900872/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=701.5
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 70139 11 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 49028
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900744/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=761.48
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10751 0 0 0 76137 11 0 0 25 0 1 0 137786981 44720128 10737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10737 77 171 0 10745 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 49028
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900616/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=821.44
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 82133 11 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134545729 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 49028
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900552/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=881.42
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 88130 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 49028
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900424/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=941.4
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 94128 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 49028
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900360/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1001.36
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 100124 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 49028
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900296/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1061.34
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 106122 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 49028
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19098
/proc/meminfo: memFree=1900168/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1121.31
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 112119 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528991 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 49028
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19100
/proc/meminfo: memFree=1900040/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1181.27
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 118115 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 49028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19100
/proc/meminfo: memFree=1900040/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1199.67
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 119955 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 49028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19100
/proc/meminfo: memFree=1900040/2055920 swapFree=4180264/4192956
[pid=19086] ppid=19084 vsize=5356 CPUtime=0.38
/proc/19086/stat : 19086 (SatELiteGTI) S 19084 19086 18706 0 -1 4194304 336 2072 0 0 0 0 37 1 15 0 1 0 137786941 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19086/statm: 1339 239 197 169 0 50 0
[pid=19092] ppid=19086 vsize=43672 CPUtime=1199.67
/proc/19092/stat : 19092 (minisat_static) R 19086 19086 18706 0 -1 4194304 10752 0 0 0 119955 12 0 0 25 0 1 0 137786981 44720128 10738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19092/statm: 10918 10738 77 171 0 10745 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 49028
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19086 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=377942
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.400938
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.92
CPU system time (s): 0.13
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 49028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.377942
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2408
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= 11
involuntary context switches= 9
runsolver used 1.01085 second user time and 3.47547 second system time
The end
Begin job on node7 at 2009-05-20 15:57:31
IDJOB=1834097
IDBENCH=71339
IDSOLVER=671
FILE ID=node7/1834097-1242827851
PBS_JOBID= 9322528
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834097-1242827851/watcher-1834097-1242827851 -o /tmp/evaluation-result-1834097-1242827851/solver-1834097-1242827851 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834097-1242827851.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 63d94048c368060530aaae24bc900bb9
RANDOM SEED=2095909182
node7.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1947576 kB
Buffers: 21052 kB
Cached: 51140 kB
SwapCached: 7300 kB
Active: 29436 kB
Inactive: 51508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1947576 kB
SwapTotal: 4192956 kB
SwapFree: 4180264 kB
Dirty: 2580 kB
Writeback: 0 kB
Mapped: 13424 kB
Slab: 13444 kB
Committed_AS: 411208 kB
PageTables: 1444 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= 66296 MiB
End job on node7 at 2009-05-20 16:17:34