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 | 71378 143596 | 21413 0 0 nan | 0.000 % |
0.00/0.59 c | 0 | 70478 203615 | -- 0 -- -- | -- | -900/60019
0.00/0.59 c ==============================================================================
0.00/0.59 c Result : #vars: 870 #clauses: 70478 #literals: 203615
0.00/0.59 c CPU time: 0.584911 s
0.00/0.59 c ==============================================================================
0.00/0.65 c This is MiniSat 2.0 beta
0.00/0.65 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.65 c ============================[ Problem Statistics ]=============================
0.00/0.65 c | |
0.00/0.65 c | Number of variables: 870 |
0.00/0.65 c | Number of clauses: 70478 |
0.00/0.69 c | Parsing time: 0.04 s |
0.64/0.70 c ============================[ Search Statistics ]==============================
0.64/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.64/0.70 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.64/0.70 c ===============================================================================
0.64/0.70 c | 0 | 870 70478 203615 | 23492 0 nan | 0.000 % |
0.64/0.71 c | 100 | 870 70478 203615 | 23492 100 50 | 0.000 % |
0.64/0.72 c | 203 | 870 70478 203615 | 23492 203 62 | 0.023 % |
0.64/0.74 c | 305 | 870 70478 203615 | 23492 305 63 | 0.024 % |
0.64/0.75 c | 415 | 870 70478 203615 | 23492 415 65 | 0.000 % |
0.64/0.76 c | 517 | 870 70478 203615 | 23492 517 64 | 0.000 % |
0.64/0.78 c | 630 | 870 70478 203615 | 23492 630 68 | 0.022 % |
0.64/0.79 c | 751 | 870 70478 203615 | 23492 751 71 | 0.000 % |
0.64/0.81 c | 852 | 870 70478 203615 | 23492 852 75 | 0.000 % |
0.64/0.82 c | 963 | 870 70478 203615 | 23492 963 75 | 0.000 % |
0.64/0.84 c | 1084 | 870 70478 203615 | 23492 1084 76 | 0.000 % |
0.64/0.86 c | 1217 | 870 70478 203615 | 23492 1217 77 | 0.021 % |
0.64/0.88 c | 1317 | 870 70478 203615 | 23492 1317 77 | 0.020 % |
0.64/0.89 c | 1428 | 870 70478 203615 | 23492 1428 77 | 0.000 % |
0.64/0.91 c | 1549 | 870 70478 203615 | 23492 1549 74 | 0.000 % |
0.64/0.93 c | 1683 | 870 70478 203615 | 23492 1683 73 | 0.027 % |
0.64/0.94 c | 1829 | 870 70478 203615 | 23492 1829 71 | 0.020 % |
0.64/0.96 c | 1929 | 870 70478 203615 | 23492 1929 71 | 0.020 % |
0.64/0.97 c | 2039 | 870 70478 203615 | 23492 2039 69 | 0.000 % |
0.64/0.99 c | 2161 | 870 70478 203615 | 23492 2161 68 | 0.027 % |
0.97/1.02 c | 2295 | 870 70478 203615 | 23492 2295 66 | 0.025 % |
0.97/1.04 c | 2441 | 870 70478 203615 | 23492 2441 64 | 0.000 % |
0.97/1.06 c | 2604 | 870 70478 203615 | 23492 2604 62 | 0.025 % |
0.97/1.07 c | 2704 | 870 70478 203615 | 23492 2704 61 | 0.021 % |
0.97/1.09 c | 2815 | 870 70478 203615 | 23492 2815 60 | 0.025 % |
0.97/1.10 c | 2937 | 870 70478 203615 | 23492 2937 59 | 0.000 % |
1.07/1.12 c | 3070 | 870 70478 203615 | 23492 3070 58 | 0.025 % |
1.07/1.14 c | 3216 | 870 70478 203615 | 23492 3216 60 | 0.021 % |
1.07/1.16 c | 3376 | 870 70478 203615 | 23492 3376 60 | 0.000 % |
1.07/1.19 c | 3552 | 870 70478 203615 | 23492 3552 63 | 0.000 % |
1.16/1.20 c | 3652 | 870 70478 203615 | 23492 3652 64 | 0.032 % |
1.16/1.22 c | 3763 | 870 70478 203615 | 23492 3763 64 | 0.000 % |
1.16/1.24 c | 3885 | 870 70478 203615 | 23492 3885 67 | 0.000 % |
1.16/1.26 c | 4018 | 870 70478 203615 | 23492 4018 68 | 0.000 % |
1.16/1.29 c | 4164 | 870 70478 203615 | 23492 4164 69 | 0.030 % |
1.26/1.31 c | 4325 | 870 70478 203615 | 23492 4325 70 | 0.000 % |
1.26/1.35 c | 4501 | 870 70478 203615 | 23492 4501 71 | 0.000 % |
1.26/1.38 c | 4696 | 870 70478 203615 | 23492 4696 73 | 0.027 % |
1.26/1.40 c | 4796 | 870 70478 203615 | 23492 4796 73 | 0.000 % |
1.36/1.42 c | 4907 | 870 70478 203615 | 23492 4907 73 | 0.000 % |
1.36/1.44 c | 5028 | 870 70478 203615 | 23492 5028 73 | 0.000 % |
1.36/1.46 c | 5161 | 870 70478 203615 | 23492 5161 74 | 0.028 % |
1.36/1.49 c | 5307 | 870 70478 203615 | 23492 5307 74 | 0.000 % |
1.47/1.52 c | 5468 | 870 70478 203615 | 23492 5468 76 | 0.000 % |
1.47/1.55 c | 5644 | 870 70478 203615 | 23492 5644 77 | 0.000 % |
1.47/1.59 c | 5837 | 870 70478 203615 | 23492 5837 77 | 0.000 % |
1.57/1.62 c | 6049 | 870 70478 203615 | 23492 6049 77 | 0.000 % |
1.57/1.65 c | 6149 | 870 70478 203615 | 23492 6149 78 | 0.024 % |
1.57/1.67 c | 6259 | 870 70478 203615 | 23492 6259 79 | 0.000 % |
1.67/1.70 c | 6382 | 870 70478 203615 | 23492 6382 79 | 0.000 % |
1.67/1.72 c | 6515 | 870 70478 203615 | 23492 6515 79 | 0.020 % |
1.67/1.75 c | 6661 | 870 70478 203615 | 23492 6661 79 | 0.000 % |
1.67/1.78 c | 6822 | 870 70478 203615 | 23492 6822 79 | 0.026 % |
1.77/1.81 c | 7000 | 870 70478 203615 | 23492 7000 79 | 0.000 % |
1.77/1.85 c | 7193 | 870 70478 203615 | 23492 7193 78 | 0.000 % |
1.77/1.89 c | 7408 | 870 70478 203615 | 23492 7408 79 | 0.000 % |
1.87/1.92 c | 7642 | 870 70478 203615 | 23492 7642 79 | 0.000 % |
1.87/1.95 c | 7743 | 870 70478 203615 | 23492 7743 79 | 0.000 % |
1.87/1.97 c | 7856 | 870 70478 203615 | 23492 7856 80 | 0.000 % |
1.87/1.99 c | 7977 | 870 70478 203615 | 23492 7977 80 | 0.000 % |
1.97/2.02 c | 8110 | 870 70478 203615 | 23492 8110 80 | 0.000 % |
1.97/2.05 c | 8260 | 870 70478 203615 | 23492 8260 80 | 0.000 % |
1.97/2.07 c | 8421 | 870 70478 203615 | 23492 8421 80 | 0.000 % |
2.07/2.12 c | 8597 | 870 70478 203615 | 23492 8597 80 | 0.000 % |
2.07/2.16 c | 8790 | 870 70478 203615 | 23492 8790 80 | 0.000 % |
2.18/2.21 c | 9005 | 870 70478 203615 | 23492 9005 81 | 0.000 % |
2.18/2.27 c | 9241 | 870 70478 203615 | 23492 9241 81 | 0.016 % |
2.27/2.33 c | 9498 | 870 70478 203615 | 23492 9498 82 | 0.000 % |
2.27/2.37 c | 9598 | 870 70478 203615 | 23492 9598 82 | 0.000 % |
2.37/2.40 c | 9710 | 870 70478 203615 | 23492 9710 83 | 0.000 % |
2.37/2.43 c | 9833 | 870 70478 203615 | 23492 9833 83 | 0.024 % |
2.37/2.46 c | 9966 | 870 70478 203615 | 23492 9966 82 | 0.000 % |
2.37/2.49 c | 10113 | 870 70478 203615 | 2147483647 10113 82 | 0.000 % |
2.47/2.53 c | 10273 | 870 70478 203615 | 2147483647 10273 82 | 0.000 % |
2.47/2.57 c | 10449 | 870 70478 203615 | 2147483647 10449 83 | 0.000 % |
2.57/2.62 c | 10642 | 870 70478 203615 | 2147483647 10642 83 | 0.000 % |
2.57/2.67 c | 10856 | 870 70478 203615 | 2147483647 10856 83 | 0.000 % |
2.67/2.73 c | 11089 | 870 70478 203615 | 2147483647 11089 83 | 0.000 % |
2.77/2.80 c | 11348 | 870 70478 203615 | 2147483647 11348 83 | 0.022 % |
2.87/2.91 c | 11630 | 870 70478 203615 | 2147483647 11630 84 | 0.000 % |
2.87/2.94 c | 11730 | 870 70478 203615 | 2147483647 11730 84 | 0.000 % |
2.87/2.98 c | 11842 | 870 70478 203615 | 2147483647 11842 85 | 0.000 % |
2.97/3.02 c | 11965 | 870 70478 203615 | 2147483647 11965 85 | 0.000 % |
2.97/3.08 c | 12098 | 870 70478 203615 | 2147483647 12098 85 | 0.000 % |
3.07/3.12 c | 12244 | 870 70478 203615 | 2147483647 12244 86 | 0.024 % |
3.07/3.18 c | 12405 | 870 70478 203615 | 2147483647 12405 86 | 0.000 % |
3.17/3.24 c | 12581 | 870 70478 203615 | 2147483647 12581 86 | 0.000 % |
3.17/3.30 c | 12778 | 870 70478 203615 | 2147483647 12778 86 | 0.021 % |
3.27/3.35 c | 12992 | 870 70478 203615 | 2147483647 12992 86 | 0.000 % |
3.36/3.42 c | 13225 | 870 70478 203615 | 2147483647 13225 86 | 0.000 % |
3.36/3.48 c | 13482 | 870 70478 203615 | 2147483647 13482 86 | 0.000 % |
3.46/3.55 c | 13763 | 870 70478 203615 | 2147483647 13763 87 | 0.000 % |
3.56/3.65 c | 14072 | 870 70478 203615 | 2147483647 14072 87 | 0.000 % |
3.56/3.68 c | 14173 | 870 70478 203615 | 2147483647 14173 87 | 0.024 % |
3.66/3.73 c | 14283 | 870 70478 203615 | 2147483647 14283 87 | 0.000 % |
3.66/3.78 c | 14405 | 870 70478 203615 | 2147483647 14405 87 | 0.000 % |
3.76/3.84 c | 14538 | 870 70478 203615 | 2147483647 14538 87 | 0.000 % |
3.76/3.89 c | 14685 | 870 70478 203615 | 2147483647 14685 87 | 0.023 % |
3.86/3.95 c | 14846 | 870 70478 203615 | 2147483647 14846 87 | 0.000 % |
3.96/4.01 c | 15022 | 870 70478 203615 | 2147483647 15022 87 | 0.000 % |
3.96/4.07 c | 15215 | 870 70478 203615 | 2147483647 15215 87 | 0.000 % |
4.06/4.16 c | 15427 | 870 70478 203615 | 2147483647 15427 87 | 0.000 % |
4.16/4.23 c | 15660 | 870 70478 203615 | 2147483647 15660 87 | 0.000 % |
4.26/4.33 c | 15919 | 870 70478 203615 | 2147483647 15919 87 | 0.000 % |
4.36/4.44 c | 16202 | 870 70478 203615 | 2147483647 16202 87 | 0.000 % |
4.46/4.55 c | 16511 | 870 70478 203615 | 2147483647 16511 87 | 0.000 % |
4.56/4.65 c | 16850 | 870 70478 203615 | 2147483647 16850 88 | 0.000 % |
4.56/4.69 c | 16953 | 870 70478 203615 | 2147483647 16953 87 | 0.024 % |
4.66/4.73 c | 17063 | 870 70478 203615 | 2147483647 17063 87 | 0.024 % |
4.66/4.78 c | 17184 | 870 70478 203615 | 2147483647 17184 87 | 0.024 % |
4.76/4.83 c | 17317 | 870 70478 203615 | 2147483647 17317 87 | 0.024 % |
4.76/4.88 c | 17465 | 870 70478 203615 | 2147483647 17465 86 | 0.026 % |
4.86/4.95 c | 17625 | 870 70478 203615 | 2147483647 17625 86 | 0.024 % |
4.96/5.01 c | 17802 | 870 70478 203615 | 2147483647 17802 85 | 0.000 % |
4.96/5.09 c | 17995 | 870 70478 203615 | 2147483647 17995 85 | 0.026 % |
5.06/5.19 c | 18207 | 870 70478 203615 | 2147483647 18207 84 | 0.024 % |
5.17/5.29 c | 18441 | 870 70478 203615 | 2147483647 18441 84 | 0.024 % |
5.37/5.40 c | 18697 | 870 70478 203615 | 2147483647 18697 83 | 0.024 % |
5.47/5.53 c | 18978 | 870 70478 203615 | 2147483647 18978 83 | 0.026 % |
5.57/5.64 c | 19289 | 870 70478 203615 | 2147483647 19289 82 | 0.024 % |
5.66/5.76 c | 19630 | 870 70478 203615 | 2147483647 19630 82 | 0.000 % |
5.86/5.94 c | 20005 | 870 70478 203615 | 2147483647 20005 82 | 0.024 % |
5.86/5.99 c | 20106 | 870 70478 203615 | 2147483647 20106 82 | 0.024 % |
5.96/6.06 c | 20217 | 870 70478 203615 | 2147483647 20217 82 | 0.024 % |
6.06/6.11 c | 20338 | 870 70478 203615 | 2147483647 20338 82 | 0.024 % |
6.06/6.17 c | 20474 | 870 70478 203615 | 2147483647 20474 82 | 0.000 % |
6.16/6.23 c | 20620 | 870 70478 203615 | 2147483647 20620 81 | 0.024 % |
6.26/6.30 c | 20782 | 870 70478 203615 | 2147483647 20782 81 | 0.000 % |
6.26/6.37 c | 20959 | 870 70478 203615 | 2147483647 20959 81 | 0.021 % |
6.36/6.46 c | 21152 | 870 70478 203615 | 2147483647 21152 81 | 0.021 % |
6.47/6.55 c | 21364 | 870 70478 203615 | 2147483647 21364 81 | 0.021 % |
6.57/6.65 c | 21601 | 870 70478 203615 | 2147483647 21601 80 | 0.021 % |
6.66/6.77 c | 21857 | 870 70478 203615 | 2147483647 21857 80 | 0.000 % |
6.76/6.88 c | 22138 | 870 70478 203615 | 2147483647 22138 79 | 0.000 % |
6.86/6.99 c | 22447 | 870 70478 203615 | 2147483647 22447 79 | 0.000 % |
7.06/7.10 c | 22786 | 870 70478 203615 | 2147483647 22786 79 | 0.000 % |
7.16/7.27 c | 23158 | 870 70478 203615 | 2147483647 23158 79 | 0.000 % |
7.36/7.42 c | 23567 | 870 70478 203615 | 2147483647 23567 79 | 0.000 % |
7.36/7.47 c | 23669 | 870 70478 203615 | 2147483647 23669 79 | 0.024 % |
7.46/7.52 c | 23779 | 870 70478 203615 | 2147483647 23779 79 | 0.000 % |
7.46/7.60 c | 23900 | 870 70478 203615 | 2147483647 23900 80 | 0.000 % |
7.56/7.66 c | 24033 | 870 70478 203615 | 2147483647 24033 80 | 0.000 % |
7.66/7.71 c | 24183 | 870 70478 203615 | 2147483647 24183 80 | 0.031 % |
7.66/7.79 c | 24344 | 870 70478 203615 | 2147483647 24344 80 | 0.000 % |
7.76/7.88 c | 24520 | 870 70478 203615 | 2147483647 24520 80 | 0.000 % |
7.86/7.95 c | 24715 | 870 70478 203615 | 2147483647 24715 80 | 0.020 % |
7.96/8.05 c | 24927 | 870 70478 203615 | 2147483647 24927 80 | 0.000 % |
8.05/8.15 c | 25160 | 870 70478 203615 | 2147483647 25160 80 | 0.000 % |
8.15/8.24 c | 25418 | 870 70478 203615 | 2147483647 25418 81 | 0.000 % |
8.25/8.38 c | 25699 | 870 70478 203615 | 2147483647 25699 81 | 0.000 % |
8.45/8.52 c | 26008 | 870 70478 203615 | 2147483647 26008 81 | 0.000 % |
8.55/8.69 c | 26348 | 870 70478 203615 | 2147483647 26348 81 | 0.025 % |
8.76/8.87 c | 26720 | 870 70478 203615 | 2147483647 26720 81 | 0.000 % |
9.05/9.17 c | 27130 | 870 70478 203615 | 2147483647 27130 81 | 0.000 % |
9.35/9.45 c | 27581 | 870 70478 203615 | 2147483647 27581 81 | 0.000 % |
9.46/9.51 c | 27683 | 870 70478 203615 | 2147483647 27683 81 | 0.027 % |
9.46/9.57 c | 27793 | 870 70478 203615 | 2147483647 27793 81 | 0.000 % |
9.56/9.62 c | 27914 | 870 70478 203615 | 2147483647 27914 81 | 0.000 % |
9.56/9.68 c | 28047 | 870 70478 203615 | 2147483647 28047 81 | 0.000 % |
9.66/9.76 c | 28197 | 870 70478 203615 | 2147483647 28197 81 | 0.032 % |
9.76/9.83 c | 28358 | 870 70478 203615 | 2147483647 28358 81 | 0.000 % |
9.86/9.93 c | 28535 | 870 70478 203615 | 2147483647 28535 81 | 0.000 % |
9.96/10.02 c | 28728 | 870 70478 203615 | 2147483647 28728 81 | 0.000 % |
10.06/10.12 c | 28942 | 870 70478 203615 | 2147483647 28942 81 | 0.028 % |
10.16/10.27 c | 29175 | 870 70478 203615 | 2147483647 29175 81 | 0.000 % |
10.36/10.43 c | 29432 | 870 70478 203615 | 2147483647 29432 81 | 0.000 % |
10.56/10.63 c | 29713 | 870 70478 203615 | 2147483647 29713 81 | 0.019 % |
10.76/10.87 c | 30022 | 870 70478 203615 | 2147483647 30022 81 | 0.000 % |
10.96/11.05 c | 30364 | 870 70478 203615 | 2147483647 30364 81 | 0.027 % |
11.15/11.25 c | 30737 | 870 70478 203615 | 2147483647 30737 81 | 0.000 % |
11.45/11.51 c | 31146 | 870 70478 203615 | 2147483647 31146 81 | 0.000 % |
11.75/11.81 c | 31596 | 870 70478 203615 | 2147483647 31596 81 | 0.000 % |
11.95/12.04 c | 32089 | 870 70478 203615 | 2147483647 32089 82 | 0.000 % |
11.95/12.10 c | 32190 | 870 70478 203615 | 2147483647 32190 82 | 0.013 % |
12.05/12.18 c | 32300 | 870 70478 203615 | 2147483647 32300 82 | 0.000 % |
12.15/12.26 c | 32422 | 870 70478 203615 | 2147483647 32422 82 | 0.000 % |
12.25/12.35 c | 32556 | 870 70478 203615 | 2147483647 32556 82 | 0.000 % |
12.34/12.45 c | 32703 | 870 70478 203615 | 2147483647 32703 82 | 0.000 % |
12.44/12.54 c | 32865 | 870 70478 203615 | 2147483647 32865 82 | 0.000 % |
12.54/12.70 c | 33041 | 870 70478 203615 | 2147483647 33041 82 | 0.000 % |
12.75/12.81 c | 33236 | 870 70478 203615 | 2147483647 33236 82 | 0.022 % |
12.75/12.89 c | 33450 | 870 70478 203615 | 2147483647 33450 82 | 0.000 % |
12.84/12.99 c | 33683 | 870 70478 203615 | 2147483647 33683 82 | 0.000 % |
13.05/13.11 c | 33939 | 870 70478 203615 | 2147483647 33939 82 | 0.000 % |
13.24/13.30 c | 34223 | 870 70478 203615 | 2147483647 34223 82 | 0.000 % |
13.34/13.45 c | 34533 | 870 70478 203615 | 2147483647 34533 82 | 0.000 % |
13.54/13.65 c | 34874 | 870 70478 203615 | 2147483647 34874 82 | 0.027 % |
13.74/13.84 c | 35247 | 870 70478 203615 | 2147483647 35247 82 | 0.000 % |
13.94/14.09 c | 35657 | 870 70478 203615 | 2147483647 35657 82 | 0.000 % |
14.25/14.37 c | 36110 | 870 70478 203615 | 2147483647 36110 81 | 0.024 % |
14.55/14.66 c | 36604 | 870 70478 203615 | 2147483647 36604 81 | 0.024 % |
14.85/14.98 c | 37147 | 870 70478 203615 | 2147483647 37147 81 | 0.024 % |
14.95/15.05 c | 37247 | 870 70478 203615 | 2147483647 37247 81 | 0.024 % |
15.05/15.13 c | 37358 | 870 70478 203615 | 2147483647 37358 81 | 0.024 % |
15.14/15.22 c | 37479 | 870 70478 203615 | 2147483647 37479 81 | 0.024 % |
15.25/15.31 c | 37614 | 870 70478 203615 | 2147483647 37614 81 | 0.024 % |
15.35/15.42 c | 37760 | 870 70478 203615 | 2147483647 37760 81 | 0.000 % |
15.44/15.52 c | 37920 | 870 70478 203615 | 2147483647 37920 81 | 0.000 % |
15.54/15.62 c | 38096 | 870 70478 203615 | 2147483647 38096 81 | 0.000 % |
15.64/15.73 c | 38290 | 870 70478 203615 | 2147483647 38290 80 | 0.000 % |
15.74/15.86 c | 38502 | 870 70478 203615 | 2147483647 38502 80 | 0.024 % |
15.94/16.00 c | 38738 | 870 70478 203615 | 2147483647 38738 80 | 0.024 % |
16.04/16.13 c | 38994 | 870 70478 203615 | 2147483647 38994 80 | 0.000 % |
16.14/16.27 c | 39277 | 870 70478 203615 | 2147483647 39277 81 | 0.000 % |
16.35/16.43 c | 39586 | 870 70478 203615 | 2147483647 39586 81 | 0.000 % |
16.54/16.68 c | 39927 | 870 70478 203615 | 2147483647 39927 80 | 0.021 % |
16.74/16.90 c | 40299 | 870 70478 203615 | 2147483647 40299 80 | 0.000 % |
17.14/17.20 c | 40708 | 870 70478 203615 | 2147483647 40708 81 | 0.000 % |
17.44/17.52 c | 41157 | 870 70478 203615 | 2147483647 41157 81 | 0.000 % |
17.84/17.91 c | 41651 | 870 70478 203615 | 2147483647 41651 82 | 0.000 % |
18.34/18.45 c | 42193 | 870 70478 203615 | 2147483647 42193 82 | 0.000 % |
18.75/18.85 c | 42790 | 870 70478 203615 | 2147483647 42790 82 | 0.000 % |
18.85/18.92 c | 42890 | 870 70478 203615 | 2147483647 42890 82 | 0.000 % |
18.85/18.99 c | 43001 | 870 70478 203615 | 2147483647 43001 82 | 0.000 % |
18.95/19.08 c | 43122 | 870 70478 203615 | 2147483647 43122 82 | 0.027 % |
19.04/19.16 c | 43255 | 870 70478 203615 | 2147483647 43255 82 | 0.020 % |
19.14/19.30 c | 43402 | 870 70478 203615 | 2147483647 43402 82 | 0.000 % |
19.34/19.45 c | 43562 | 870 70478 203615 | 2147483647 43562 82 | 0.000 % |
19.44/19.54 c | 43738 | 870 70478 203615 | 2147483647 43738 82 | 0.000 % |
19.65/19.71 c | 43931 | 870 70478 203615 | 2147483647 43931 82 | 0.000 % |
19.84/19.96 c | 44143 | 870 70478 203615 | 2147483647 44143 82 | 0.000 % |
20.04/20.17 c | 44378 | 870 70478 203615 | 2147483647 44378 82 | 0.018 % |
20.24/20.37 c | 44635 | 870 70478 203615 | 2147483647 44635 82 | 0.000 % |
20.44/20.59 c | 44916 | 870 70478 203615 | 2147483647 44916 82 | 0.020 % |
20.64/20.79 c | 45227 | 870 70478 203615 | 2147483647 45227 82 | 0.000 % |
20.94/21.09 c | 45566 | 870 70478 203615 | 2147483647 45566 83 | 0.000 % |
21.24/21.37 c | 45939 | 870 70478 203615 | 2147483647 45939 83 | 0.036 % |
21.74/21.82 c | 46352 | 870 70478 203615 | 2147483647 46352 82 | 0.021 % |
22.14/22.22 c | 46801 | 870 70478 203615 | 2147483647 46801 82 | 0.000 % |
22.64/22.76 c | 47294 | 870 70478 203615 | 2147483647 47294 82 | 0.021 % |
23.24/23.31 c | 47836 | 870 70478 203615 | 2147483647 47836 82 | 0.000 % |
23.84/23.95 c | 48432 | 870 70478 203615 | 2147483647 48432 82 | 0.000 % |
24.44/24.52 c | 49089 | 870 70478 203615 | 2147483647 49089 82 | 0.000 % |
24.54/24.61 c | 49189 | 870 70478 203615 | 2147483647 49189 82 | 0.018 % |
24.54/24.69 c | 49303 | 870 70478 203615 | 2147483647 49303 82 | 0.021 % |
24.64/24.77 c | 49427 | 870 70478 203615 | 2147483647 49427 82 | 0.000 % |
24.74/24.88 c | 49560 | 870 70478 203615 | 2147483647 49560 81 | 0.000 % |
24.94/25.04 c | 49706 | 870 70478 203615 | 2147483647 49706 81 | 0.033 % |
25.04/25.18 c | 49868 | 870 70478 203615 | 2147483647 49868 81 | 0.021 % |
25.14/25.29 c | 50045 | 870 70478 203615 | 50004 50045 81 | 0.021 % |
25.34/25.49 c | 50240 | 870 70478 203615 | 50004 42203 78 | 0.000 % |
25.54/25.67 c | 50453 | 870 70478 203615 | 50004 42416 78 | 0.000 % |
25.74/25.89 c | 50686 | 870 70478 203615 | 50004 42649 78 | 0.000 % |
26.04/26.15 c | 50944 | 870 70478 203615 | 50004 42907 79 | 0.000 % |
26.34/26.43 c | 51225 | 870 70478 203615 | 50004 43188 79 | 0.000 % |
26.54/26.66 c | 51535 | 870 70478 203615 | 50004 43498 79 | 0.000 % |
26.84/26.92 c | 51874 | 870 70478 203615 | 50004 43837 79 | 0.000 % |
27.13/27.24 c | 52248 | 870 70478 203615 | 50004 44211 79 | 0.000 % |
27.44/27.51 c | 52661 | 870 70478 203615 | 50004 44624 79 | 0.000 % |
27.83/27.91 c | 53110 | 870 70478 203615 | 50004 45073 79 | 0.000 % |
28.23/28.39 c | 53603 | 870 70478 203615 | 50004 45566 80 | 0.000 % |
28.73/28.82 c | 54146 | 870 70478 203615 | 50004 46109 79 | 0.000 % |
29.23/29.35 c | 54742 | 870 70478 203615 | 50004 46705 79 | 0.000 % |
29.64/29.78 c | 55397 | 870 70478 203615 | 50004 47360 79 | 0.000 % |
30.13/30.26 c | 56117 | 870 70478 203615 | 50004 48080 79 | 0.000 % |
30.23/30.38 c | 56217 | 870 70478 203615 | 50004 48180 79 | 0.000 % |
30.33/30.47 c | 56328 | 870 70478 203615 | 50004 48291 79 | 0.000 % |
30.53/30.60 c | 56450 | 870 70478 203615 | 50004 48413 79 | 0.000 % |
30.64/30.76 c | 56583 | 870 70478 203615 | 50004 48546 80 | 0.000 % |
30.83/30.90 c | 56729 | 870 70478 203615 | 50004 48692 80 | 0.000 % |
30.93/31.05 c | 56889 | 870 70478 203615 | 50004 48852 80 | 0.027 % |
31.13/31.20 c | 57065 | 870 70478 203615 | 50004 49028 80 | 0.000 % |
31.33/31.42 c | 57258 | 870 70478 203615 | 50004 49221 80 | 0.000 % |
31.53/31.65 c | 57471 | 870 70478 203615 | 50004 49434 80 | 0.021 % |
31.74/31.80 c | 57705 | 870 70478 203615 | 50004 49668 80 | 0.027 % |
31.84/31.96 c | 57962 | 870 70478 203615 | 50004 49925 80 | 0.027 % |
32.03/32.11 c | 58243 | 870 70478 203615 | 50004 50206 80 | 0.000 % |
32.23/32.37 c | 58552 | 870 70478 203615 | 50004 41198 79 | 0.000 % |
32.53/32.63 c | 58891 | 870 70478 203615 | 50004 41537 79 | 0.024 % |
32.84/32.98 c | 59263 | 870 70478 203615 | 50004 41909 79 | 0.000 % |
33.03/33.18 c | 59672 | 870 70478 203615 | 50004 42318 79 | 0.000 % |
33.43/33.56 c | 60122 | 870 70478 203615 | 42646 42768 79 | 0.000 % |
33.73/33.86 c | 60616 | 870 70478 203615 | 42646 35301 77 | 0.000 % |
34.03/34.17 c | 61158 | 870 70478 203615 | 42646 35843 78 | 0.000 % |
34.33/34.47 c | 61756 | 870 70478 203615 | 42646 36441 78 | 0.000 % |
34.73/34.90 c | 62411 | 870 70478 203615 | 42646 37096 78 | 0.000 % |
35.23/35.37 c | 63133 | 870 70478 203615 | 42646 37818 79 | 0.000 % |
35.73/35.87 c | 63930 | 870 70478 203615 | 42646 38615 79 | 0.000 % |
35.83/35.94 c | 64030 | 870 70478 203615 | 42646 38715 79 | 0.000 % |
35.93/36.00 c | 64142 | 870 70478 203615 | 42646 38827 79 | 0.000 % |
35.93/36.09 c | 64263 | 870 70478 203615 | 42646 38948 79 | 0.000 % |
36.13/36.21 c | 64396 | 870 70478 203615 | 42646 39081 79 | 0.000 % |
36.23/36.35 c | 64542 | 870 70478 203615 | 42646 39227 80 | 0.000 % |
36.33/36.48 c | 64702 | 870 70478 203615 | 42646 39387 79 | 0.026 % |
36.43/36.59 c | 64880 | 870 70478 203615 | 42646 39565 79 | 0.000 % |
36.63/36.75 c | 65076 | 870 70478 203615 | 42646 39761 79 | 0.019 % |
36.73/36.89 c | 65288 | 870 70478 203615 | 42646 39973 79 | 0.018 % |
36.93/37.02 c | 65522 | 870 70478 203615 | 42646 40207 80 | 0.000 % |
37.03/37.18 c | 65778 | 870 70478 203615 | 42646 40463 80 | 0.030 % |
37.33/37.45 c | 66059 | 870 70478 203615 | 42646 40744 80 | 0.000 % |
37.63/37.76 c | 66369 | 870 70478 203615 | 42646 41054 80 | 0.024 % |
37.93/38.06 c | 66711 | 870 70478 203615 | 42646 41396 79 | 0.000 % |
38.23/38.34 c | 67083 | 870 70478 203615 | 42646 41768 80 | 0.000 % |
38.53/38.63 c | 67494 | 870 70478 203615 | 42646 42179 80 | 0.026 % |
38.73/38.88 c | 67943 | 870 70478 203615 | 42646 42628 80 | 0.000 % |
39.03/39.18 c | 68439 | 870 70478 203615 | 42646 37891 80 | 0.000 % |
39.53/39.61 c | 68982 | 870 70478 203615 | 42646 38434 81 | 0.000 % |
39.82/39.98 c | 69578 | 870 70478 203615 | 42646 39030 81 | 0.000 % |
40.32/40.42 c | 70233 | 870 70478 203615 | 39452 39685 81 | 0.000 % |
41.02/41.12 c | 70954 | 870 70478 203615 | 39452 35736 81 | 0.000 % |
41.52/41.62 c | 71746 | 870 70478 203615 | 39452 36528 81 | 0.000 % |
42.22/42.36 c | 72617 | 870 70478 203615 | 39452 37399 81 | 0.000 % |
42.32/42.44 c | 72717 | 870 70478 203615 | 39452 37499 81 | 0.000 % |
42.42/42.53 c | 72827 | 870 70478 203615 | 39452 37609 81 | 0.000 % |
42.52/42.63 c | 72949 | 870 70478 203615 | 39452 37731 81 | 0.000 % |
42.62/42.71 c | 73082 | 870 70478 203615 | 39452 37864 81 | 0.000 % |
42.73/42.82 c | 73228 | 870 70478 203615 | 39452 38010 81 | 0.024 % |
42.92/43.01 c | 73388 | 870 70478 203615 | 39452 38170 81 | 0.000 % |
43.02/43.18 c | 73564 | 870 70478 203615 | 39452 38346 81 | 0.000 % |
43.22/43.32 c | 73757 | 870 70478 203615 | 39452 38539 81 | 0.000 % |
43.42/43.50 c | 73970 | 870 70478 203615 | 39452 38752 81 | 0.000 % |
43.62/43.73 c | 74204 | 870 70478 203615 | 39452 38986 81 | 0.000 % |
43.72/43.88 c | 74460 | 870 70478 203615 | 39452 39242 81 | 0.000 % |
43.93/44.08 c | 74741 | 870 70478 203615 | 39452 39523 82 | 0.000 % |
44.22/44.36 c | 75052 | 870 70478 203615 | 39452 34984 80 | 0.000 % |
44.42/44.56 c | 75394 | 870 70478 203615 | 39452 35326 81 | 0.021 % |
44.72/44.85 c | 75770 | 870 70478 203615 | 39452 35702 81 | 0.000 % |
45.02/45.18 c | 76180 | 870 70478 203615 | 39452 36112 81 | 0.000 % |
45.32/45.49 c | 76629 | 870 70478 203615 | 39452 36561 81 | 0.000 % |
45.62/45.76 c | 77122 | 870 70478 203615 | 39452 37054 81 | 0.000 % |
46.12/46.22 c | 77664 | 870 70478 203615 | 39452 37596 81 | 0.000 % |
46.72/46.86 c | 78260 | 870 70478 203615 | 39452 38192 82 | 0.000 % |
47.42/47.58 c | 78915 | 870 70478 203615 | 39452 38847 82 | 0.000 % |
48.12/48.22 c | 79636 | 870 70478 203615 | 39452 39568 82 | 0.000 % |
48.52/48.61 c | 80428 | 870 70478 203615 | 34514 34942 84 | 0.000 % |
49.12/49.21 c | 81300 | 870 70478 203615 | 34514 31369 85 | 0.000 % |
50.02/50.16 c | 82258 | 870 70478 203615 | 34514 32327 86 | 0.000 % |
50.12/50.24 c | 82358 | 870 70478 203615 | 34514 32427 86 | 0.000 % |
50.22/50.33 c | 82469 | 870 70478 203615 | 34514 32538 86 | 0.000 % |
50.32/50.43 c | 82590 | 870 70478 203615 | 34514 32659 86 | 0.000 % |
50.32/50.50 c | 82723 | 870 70478 203615 | 34514 32792 86 | 0.024 % |
50.52/50.64 c | 82869 | 870 70478 203615 | 34514 32938 86 | 0.021 % |
50.62/50.74 c | 83030 | 870 70478 203615 | 34514 33099 86 | 0.000 % |
50.72/50.84 c | 83208 | 870 70478 203615 | 34514 33277 86 | 0.030 % |
50.92/51.02 c | 83402 | 870 70478 203615 | 34514 33471 86 | 0.020 % |
51.02/51.20 c | 83614 | 870 70478 203615 | 34514 33683 86 | 0.000 % |
51.32/51.42 c | 83848 | 870 70478 203615 | 34514 33917 86 | 0.000 % |
51.52/51.63 c | 84106 | 870 70478 203615 | 34514 34175 86 | 0.000 % |
51.62/51.79 c | 84390 | 870 70478 203615 | 34514 34459 86 | 0.000 % |
51.82/51.98 c | 84700 | 870 70478 203615 | 34514 34769 86 | 0.000 % |
52.02/52.16 c | 85039 | 870 70478 203615 | 34514 30670 87 | 0.000 % |
52.22/52.33 c | 85411 | 870 70478 203615 | 34514 31042 87 | 0.019 % |
52.42/52.55 c | 85824 | 870 70478 203615 | 34514 31455 86 | 0.024 % |
52.62/52.77 c | 86273 | 870 70478 203615 | 34514 31904 86 | 0.024 % |
53.02/53.20 c | 86767 | 870 70478 203615 | 34514 32398 86 | 0.019 % |
53.52/53.63 c | 87309 | 870 70478 203615 | 34514 32940 86 | 0.000 % |
53.92/54.01 c | 87905 | 870 70478 203615 | 34514 33536 86 | 0.000 % |
54.32/54.49 c | 88560 | 870 70478 203615 | 34514 34191 86 | 0.000 % |
54.82/54.99 c | 89281 | 870 70478 203615 | 34514 34912 87 | 0.000 % |
55.51/55.66 c | 90073 | 870 70478 203615 | 2147483647 32213 85 | 0.000 % |
56.01/56.19 c | 90948 | 870 70478 203615 | 2147483647 33088 84 | 0.000 % |
56.91/57.06 c | 91906 | 870 70478 203615 | 2147483647 34046 84 | 0.025 % |
57.51/57.64 c | 92961 | 870 70478 203615 | 2147483647 35101 84 | 0.029 % |
57.61/57.75 c | 93063 | 870 70478 203615 | 2147483647 35203 84 | 0.000 % |
57.71/57.83 c | 93175 | 870 70478 203615 | 2147483647 35315 84 | 0.021 % |
57.71/57.89 c | 93296 | 870 70478 203615 | 2147483647 35436 84 | 0.000 % |
57.91/58.01 c | 93429 | 870 70478 203615 | 2147483647 35569 84 | 0.000 % |
58.11/58.23 c | 93576 | 870 70478 203615 | 2147483647 35716 84 | 0.000 % |
58.21/58.31 c | 93736 | 870 70478 203615 | 2147483647 35876 84 | 0.000 % |
58.31/58.44 c | 93915 | 870 70478 203615 | 2147483647 36055 84 | 0.000 % |
58.51/58.62 c | 94111 | 870 70478 203615 | 2147483647 36251 84 | 0.000 % |
58.71/58.84 c | 94323 | 870 70478 203615 | 2147483647 36463 84 | 0.000 % |
58.81/58.98 c | 94557 | 870 70478 203615 | 2147483647 36697 84 | 0.000 % |
59.11/59.20 c | 94815 | 870 70478 203615 | 2147483647 36955 84 | 0.026 % |
59.31/59.41 c | 95097 | 870 70478 203615 | 2147483647 37237 84 | 0.000 % |
59.41/59.56 c | 95409 | 870 70478 203615 | 2147483647 37549 84 | 0.024 % |
59.61/59.79 c | 95748 | 870 70478 203615 | 2147483647 37888 83 | 0.024 % |
59.90/60.03 c | 96123 | 870 70478 203615 | 2147483647 38263 84 | 0.024 % |
60.10/60.29 c | 96532 | 870 70478 203615 | 2147483647 38672 84 | 0.000 % |
60.50/60.61 c | 96981 | 870 70478 203615 | 2147483647 39121 83 | 0.024 % |
60.71/60.87 c | 97474 | 870 70478 203615 | 2147483647 39614 83 | 0.024 % |
61.11/61.22 c | 98017 | 870 70478 203615 | 2147483647 40157 83 | 0.024 % |
61.52/61.61 c | 98614 | 870 70478 203615 | 2147483647 40754 83 | 0.022 % |
61.81/61.94 c | 99269 | 870 70478 203615 | 2147483647 41409 83 | 0.024 % |
62.41/62.55 c | 99989 | 870 70478 203615 | 2147483647 42129 83 | 0.000 % |
63.11/63.20 c | 100781 | 870 70478 203615 | 42140 38220 81 | 0.000 % |
63.62/63.80 c | 101653 | 870 70478 203615 | 42140 39092 81 | 0.000 % |
64.31/64.47 c | 102611 | 870 70478 203615 | 42140 40050 81 | 0.000 % |
65.31/65.44 c | 103665 | 870 70478 203615 | 42140 41104 81 | 0.000 % |
66.21/66.33 c | 104823 | 870 70478 203615 | 42140 42262 81 | 0.000 % |
66.31/66.45 c | 104924 | 870 70478 203615 | 42140 36899 79 | 0.000 % |
66.41/66.55 c | 105034 | 870 70478 203615 | 42140 37009 79 | 0.000 % |
66.51/66.66 c | 105156 | 870 70478 203615 | 42140 37131 79 | 0.000 % |
66.71/66.80 c | 105289 | 870 70478 203615 | 42140 37264 79 | 0.000 % |
66.81/66.93 c | 105436 | 870 70478 203615 | 42140 37411 79 | 0.000 % |
66.91/67.04 c | 105597 | 870 70478 203615 | 42140 37572 79 | 0.025 % |
67.01/67.16 c | 105773 | 870 70478 203615 | 42140 37748 79 | 0.000 % |
67.21/67.34 c | 105970 | 870 70478 203615 | 42140 37945 79 | 0.000 % |
67.41/67.58 c | 106183 | 870 70478 203615 | 42140 38158 79 | 0.000 % |
67.71/67.80 c | 106416 | 870 70478 203615 | 42140 38391 80 | 0.000 % |
67.91/68.03 c | 106672 | 870 70478 203615 | 42140 38647 80 | 0.000 % |
68.21/68.37 c | 106956 | 870 70478 203615 | 42140 38931 80 | 0.000 % |
68.61/68.73 c | 107265 | 870 70478 203615 | 42140 39240 80 | 0.000 % |
68.91/69.04 c | 107607 | 870 70478 203615 | 42140 39582 81 | 0.000 % |
69.31/69.44 c | 107979 | 870 70478 203615 | 42140 39954 81 | 0.000 % |
69.71/69.82 c | 108388 | 870 70478 203615 | 42140 40363 81 | 0.000 % |
70.11/70.27 c | 108838 | 870 70478 203615 | 42140 40813 82 | 0.000 % |
70.71/70.84 c | 109331 | 870 70478 203615 | 42140 41306 82 | 0.000 % |
71.21/71.31 c | 109873 | 870 70478 203615 | 42140 41848 83 | 0.000 % |
71.81/71.98 c | 110469 | 870 70478 203615 | 41975 35784 79 | 0.000 % |
72.41/72.54 c | 111126 | 870 70478 203615 | 41975 36441 80 | 0.000 % |
73.01/73.12 c | 111848 | 870 70478 203615 | 41975 37163 81 | 0.000 % |
73.90/74.00 c | 112641 | 870 70478 203615 | 41975 37956 82 | 0.000 % |
74.71/74.86 c | 113513 | 870 70478 203615 | 41975 38828 83 | 0.000 % |
75.20/75.35 c | 114471 | 870 70478 203615 | 41975 39786 83 | 0.025 % |
76.10/76.25 c | 115524 | 870 70478 203615 | 41975 40839 83 | 0.000 % |
77.10/77.20 c | 116684 | 870 70478 203615 | 41975 41999 83 | 0.026 % |
78.40/78.53 c | 117960 | 870 70478 203615 | 41975 36816 80 | 0.000 % |
78.50/78.62 c | 118060 | 870 70478 203615 | 41975 36916 80 | 0.021 % |
78.50/78.68 c | 118170 | 870 70478 203615 | 41975 37026 80 | 0.024 % |
78.70/78.81 c | 118293 | 870 70478 203615 | 41975 37149 80 | 0.000 % |
78.80/78.91 c | 118426 | 870 70478 203615 | 41975 37282 80 | 0.000 % |
78.90/79.10 c | 118572 | 870 70478 203615 | 41975 37428 80 | 0.000 % |
79.00/79.17 c | 118734 | 870 70478 203615 | 41975 37590 81 | 0.026 % |
79.20/79.33 c | 118910 | 870 70478 203615 | 41975 37766 81 | 0.000 % |
79.30/79.49 c | 119105 | 870 70478 203615 | 41975 37961 81 | 0.000 % |
79.60/79.72 c | 119317 | 870 70478 203615 | 41975 38173 81 | 0.000 % |
79.80/79.91 c | 119550 | 870 70478 203615 | 41975 38406 81 | 0.000 % |
80.00/80.20 c | 119809 | 870 70478 203615 | 41975 38665 81 | 0.000 % |
80.30/80.43 c | 120090 | 870 70478 203615 | 38856 38946 81 | 0.000 % |
80.60/80.75 c | 120400 | 870 70478 203615 | 38856 33008 81 | 0.040 % |
80.80/80.99 c | 120740 | 870 70478 203615 | 38856 33348 81 | 0.022 % |
81.10/81.30 c | 121113 | 870 70478 203615 | 38856 33721 82 | 0.000 % |
81.50/81.66 c | 121523 | 870 70478 203615 | 38856 34131 82 | 0.000 % |
81.90/82.06 c | 121972 | 870 70478 203615 | 38856 34580 82 | 0.026 % |
82.30/82.43 c | 122467 | 870 70478 203615 | 38856 35075 82 | 0.000 % |
82.60/82.79 c | 123009 | 870 70478 203615 | 38856 35617 82 | 0.000 % |
83.20/83.34 c | 123605 | 870 70478 203615 | 38856 36213 82 | 0.000 % |
83.60/83.79 c | 124261 | 870 70478 203615 | 38856 36869 83 | 0.000 % |
84.20/84.30 c | 124982 | 870 70478 203615 | 38856 37590 83 | 0.000 % |
85.00/85.11 c | 125774 | 870 70478 203615 | 38856 38382 82 | 0.000 % |
85.60/85.78 c | 126645 | 870 70478 203615 | 38856 39253 83 | 0.000 % |
86.70/86.90 c | 127605 | 870 70478 203615 | 38856 33910 83 | 0.000 % |
87.80/87.92 c | 128658 | 870 70478 203615 | 38856 34963 84 | 0.000 % |
88.80/88.99 c | 129816 | 870 70478 203615 | 38856 36121 85 | 0.000 % |
90.20/90.32 c | 131090 | 870 70478 203615 | 36305 31107 85 | 0.000 % |
91.00/91.17 c | 132492 | 870 70478 203615 | 36305 32509 86 | 0.024 % |
91.10/91.30 c | 132594 | 870 70478 203615 | 36305 32611 86 | 0.024 % |
91.20/91.38 c | 132704 | 870 70478 203615 | 36305 32721 86 | 0.028 % |
91.30/91.49 c | 132827 | 870 70478 203615 | 36305 32844 86 | 0.000 % |
91.49/91.68 c | 132964 | 870 70478 203615 | 36305 32981 86 | 0.000 % |
91.69/91.83 c | 133111 | 870 70478 203615 | 36305 33128 86 | 0.000 % |
91.79/91.97 c | 133272 | 870 70478 203615 | 36305 33289 86 | 0.000 % |
91.99/92.19 c | 133450 | 870 70478 203615 | 36305 33467 86 | 0.000 % |
92.30/92.46 c | 133643 | 870 70478 203615 | 36305 33660 86 | 0.000 % |
92.59/92.78 c | 133857 | 870 70478 203615 | 36305 33874 86 | 0.000 % |
92.99/93.13 c | 134090 | 870 70478 203615 | 36305 34107 86 | 0.000 % |
93.29/93.46 c | 134348 | 870 70478 203615 | 36305 34365 86 | 0.000 % |
93.59/93.76 c | 134630 | 870 70478 203615 | 36305 34647 86 | 0.000 % |
93.89/94.05 c | 134939 | 870 70478 203615 | 36305 34956 87 | 0.000 % |
94.29/94.48 c | 135278 | 870 70478 203615 | 36305 35295 87 | 0.000 % |
94.69/94.82 c | 135652 | 870 70478 203615 | 36305 35669 87 | 0.000 % |
94.99/95.18 c | 136061 | 870 70478 203615 | 36305 36078 88 | 0.000 % |
95.29/95.47 c | 136510 | 870 70478 203615 | 36305 36527 87 | 0.016 % |
95.69/95.89 c | 137003 | 870 70478 203615 | 36305 30506 82 | 0.020 % |
96.19/96.35 c | 137547 | 870 70478 203615 | 36305 31050 82 | 0.019 % |
96.49/96.66 c | 138144 | 870 70478 203615 | 36305 31647 82 | 0.024 % |
97.09/97.20 c | 138799 | 870 70478 203615 | 36305 32302 82 | 0.000 % |
97.59/97.74 c | 139521 | 870 70478 203615 | 36305 33024 82 | 0.000 % |
98.19/98.34 c | 140313 | 870 70478 203615 | 33503 33816 83 | 0.000 % |
98.99/99.12 c | 141184 | 870 70478 203615 | 33503 28999 84 | 0.000 % |
99.69/99.87 c | 142144 | 870 70478 203615 | 33503 29959 84 | 0.000 % |
100.69/100.80 c | 143198 | 870 70478 203615 | 33503 31013 85 | 0.000 % |
101.78/101.91 c | 144356 | 870 70478 203615 | 33503 32171 85 | 0.000 % |
103.07/103.20 c | 145629 | 870 70478 203615 | 33503 33444 86 | 0.000 % |
104.47/104.60 c | 147029 | 870 70478 203615 | 33503 29438 86 | 0.000 % |
105.17/105.39 c | 148569 | 870 70478 203615 | 33503 30978 86 | 0.025 % |
105.27/105.50 c | 148670 | 870 70478 203615 | 33503 31079 86 | 0.030 % |
105.47/105.64 c | 148780 | 870 70478 203615 | 33503 31189 86 | 0.000 % |
105.56/105.76 c | 148902 | 870 70478 203615 | 33503 31311 87 | 0.000 % |
105.66/105.86 c | 149035 | 870 70478 203615 | 33503 31444 87 | 0.000 % |
105.76/105.94 c | 149183 | 870 70478 203615 | 33503 31592 87 | 0.023 % |
105.86/106.09 c | 149343 | 870 70478 203615 | 33503 31752 87 | 0.000 % |
106.06/106.24 c | 149519 | 870 70478 203615 | 33503 31928 86 | 0.000 % |
106.16/106.35 c | 149713 | 870 70478 203615 | 33503 32122 87 | 0.028 % |
106.36/106.52 c | 149925 | 870 70478 203615 | 33503 32334 87 | 0.000 % |
106.66/106.81 c | 150159 | 870 70478 203615 | 32410 32568 87 | 0.000 % |
106.96/107.10 c | 150415 | 870 70478 203615 | 32410 27557 84 | 0.000 % |
107.16/107.37 c | 150696 | 870 70478 203615 | 32410 27838 84 | 0.000 % |
107.46/107.63 c | 151007 | 870 70478 203615 | 32410 28149 84 | 0.000 % |
107.67/107.88 c | 151346 | 870 70478 203615 | 32410 28488 84 | 0.021 % |
108.06/108.28 c | 151721 | 870 70478 203615 | 32410 28863 85 | 0.000 % |
108.56/108.71 c | 152130 | 870 70478 203615 | 32410 29272 85 | 0.000 % |
108.76/108.98 c | 152579 | 870 70478 203615 | 32410 29721 86 | 0.000 % |
109.16/109.38 c | 153072 | 870 70478 203615 | 32410 30214 85 | 0.031 % |
109.66/109.86 c | 153614 | 870 70478 203615 | 32410 30756 85 | 0.017 % |
110.26/110.44 c | 154214 | 870 70478 203615 | 32410 31356 86 | 0.000 % |
110.96/111.11 c | 154869 | 870 70478 203615 | 32410 32011 87 | 0.000 % |
111.56/111.74 c | 155592 | 870 70478 203615 | 32410 32734 88 | 0.000 % |
111.96/112.12 c | 156386 | 870 70478 203615 | 32410 28383 86 | 0.028 % |
112.66/112.89 c | 157257 | 870 70478 203615 | 32410 29254 87 | 0.000 % |
113.46/113.62 c | 158216 | 870 70478 203615 | 32410 30213 87 | 0.000 % |
114.16/114.40 c | 159269 | 870 70478 203615 | 32410 31266 87 | 0.000 % |
115.46/115.64 c | 160430 | 870 70478 203615 | 31997 27387 86 | 0.000 % |
116.76/116.96 c | 161706 | 870 70478 203615 | 31997 28663 86 | 0.000 % |
117.96/118.19 c | 163109 | 870 70478 203615 | 31997 30066 86 | 0.000 % |
119.86/120.00 c | 164650 | 870 70478 203615 | 31997 31607 86 | 0.000 % |
121.25/121.44 c | 166344 | 870 70478 203615 | 31997 28219 84 | 0.000 % |
121.25/121.49 c | 166444 | 870 70478 203615 | 31997 28319 84 | 0.000 % |
121.45/121.60 c | 166558 | 870 70478 203615 | 31997 28433 84 | 0.000 % |
121.45/121.68 c | 166679 | 870 70478 203615 | 31997 28554 84 | 0.023 % |
121.65/121.84 c | 166813 | 870 70478 203615 | 31997 28688 85 | 0.000 % |
121.75/121.95 c | 166960 | 870 70478 203615 | 31997 28835 85 | 0.000 % |
121.96/122.14 c | 167121 | 870 70478 203615 | 31997 28996 85 | 0.000 % |
122.25/122.40 c | 167297 | 870 70478 203615 | 31997 29172 85 | 0.000 % |
122.45/122.62 c | 167490 | 870 70478 203615 | 31997 29365 86 | 0.000 % |
122.65/122.81 c | 167703 | 870 70478 203615 | 31997 29578 86 | 0.000 % |
122.75/122.96 c | 167936 | 870 70478 203615 | 31997 29811 86 | 0.000 % |
122.96/123.18 c | 168192 | 870 70478 203615 | 31997 30067 87 | 0.000 % |
123.25/123.41 c | 168473 | 870 70478 203615 | 31997 30348 87 | 0.000 % |
123.55/123.76 c | 168783 | 870 70478 203615 | 31997 30658 88 | 0.000 % |
124.05/124.20 c | 169123 | 870 70478 203615 | 31997 30998 88 | 0.000 % |
124.55/124.80 c | 169496 | 870 70478 203615 | 31997 31371 89 | 0.000 % |
124.85/125.02 c | 169905 | 870 70478 203615 | 31997 31780 89 | 0.000 % |
125.35/125.54 c | 170355 | 870 70478 203615 | 31877 32230 89 | 0.000 % |
125.85/126.00 c | 170851 | 870 70478 203615 | 31877 27317 89 | 0.000 % |
126.35/126.51 c | 171393 | 870 70478 203615 | 31877 27859 89 | 0.000 % |
126.85/127.08 c | 171991 | 870 70478 203615 | 31877 28457 90 | 0.000 % |
127.45/127.68 c | 172647 | 870 70478 203615 | 31877 29113 90 | 0.000 % |
128.35/128.57 c | 173371 | 870 70478 203615 | 31877 29837 91 | 0.000 % |
129.05/129.27 c | 174163 | 870 70478 203615 | 31877 30629 92 | 0.000 % |
129.95/130.17 c | 175036 | 870 70478 203615 | 31877 31502 92 | 0.000 % |
130.65/130.82 c | 175994 | 870 70478 203615 | 31877 27555 90 | 0.000 % |
131.95/132.14 c | 177048 | 870 70478 203615 | 31877 28609 92 | 0.000 % |
132.95/133.17 c | 178207 | 870 70478 203615 | 31877 29768 92 | 0.000 % |
134.15/134.38 c | 179480 | 870 70478 203615 | 31877 31041 94 | 0.000 % |
135.75/135.97 c | 180881 | 870 70478 203615 | 31562 26761 93 | 0.021 % |
137.25/137.47 c | 182422 | 870 70478 203615 | 31562 28302 95 | 0.000 % |
139.24/139.41 c | 184118 | 870 70478 203615 | 31562 29998 95 | 0.000 % |
141.14/141.34 c | 185982 | 870 70478 203615 | 31562 31862 96 | 0.000 % |
141.24/141.48 c | 186083 | 870 70478 203615 | 31562 26677 98 | 0.000 % |
141.34/141.53 c | 186198 | 870 70478 203615 | 31562 26792 98 | 0.000 % |
141.44/141.65 c | 186319 | 870 70478 203615 | 31562 26913 98 | 0.000 % |
141.54/141.78 c | 186452 | 870 70478 203615 | 31562 27046 99 | 0.000 % |
141.75/141.92 c | 186598 | 870 70478 203615 | 31562 27192 99 | 0.000 % |
141.84/142.00 c | 186758 | 870 70478 203615 | 31562 27352 99 | 0.018 % |
141.94/142.18 c | 186935 | 870 70478 203615 | 31562 27529 99 | 0.000 % |
142.04/142.28 c | 187128 | 870 70478 203615 | 31562 27722 99 | 0.000 % |
142.24/142.47 c | 187341 | 870 70478 203615 | 31562 27935 99 | 0.000 % |
142.34/142.58 c | 187574 | 870 70478 203615 | 31562 28168 99 | 0.000 % |
142.64/142.82 c | 187833 | 870 70478 203615 | 31562 28427 99 | 0.000 % |
142.75/142.94 c | 188116 | 870 70478 203615 | 31562 28710 99 | 0.000 % |
142.94/143.19 c | 188428 | 870 70478 203615 | 31562 29022 99 | 0.000 % |
143.14/143.35 c | 188767 | 870 70478 203615 | 31562 29361 99 | 0.000 % |
143.54/143.73 c | 189139 | 870 70478 203615 | 31562 29733 99 | 0.000 % |
143.84/144.03 c | 189549 | 870 70478 203615 | 31562 30143 99 | 0.000 % |
144.34/144.55 c | 189999 | 870 70478 203615 | 31562 30593 99 | 0.000 % |
144.94/145.15 c | 190492 | 870 70478 203615 | 30594 26382 95 | 0.000 % |
145.64/145.88 c | 191034 | 870 70478 203615 | 30594 26924 96 | 0.000 % |
145.94/146.15 c | 191631 | 870 70478 203615 | 30594 27521 96 | 0.000 % |
146.74/146.96 c | 192289 | 870 70478 203615 | 30594 28179 96 | 0.000 % |
147.34/147.52 c | 193009 | 870 70478 203615 | 30594 28899 96 | 0.000 % |
147.84/148.04 c | 193801 | 870 70478 203615 | 30594 29691 97 | 0.029 % |
148.44/148.65 c | 194672 | 870 70478 203615 | 30594 30562 97 | 0.020 % |
148.94/149.15 c | 195631 | 870 70478 203615 | 30594 27409 94 | 0.000 % |
149.83/150.03 c | 196685 | 870 70478 203615 | 30594 28463 93 | 0.000 % |
150.84/151.04 c | 197843 | 870 70478 203615 | 30594 29621 93 | 0.000 % |
151.93/152.14 c | 199116 | 870 70478 203615 | 30594 30894 93 | 0.000 % |
153.43/153.64 c | 200516 | 870 70478 203615 | 27272 23520 87 | 0.000 % |
154.33/154.51 c | 202056 | 870 70478 203615 | 27272 25060 87 | 0.027 % |
155.33/155.50 c | 203752 | 870 70478 203615 | 27272 26756 88 | 0.024 % |
156.83/157.04 c | 205615 | 870 70478 203615 | 27272 25715 88 | 0.000 % |
158.03/158.26 c | 207664 | 870 70478 203615 | 27272 25007 86 | 0.000 % |
158.14/158.36 c | 207764 | 870 70478 203615 | 27272 25107 86 | 0.000 % |
158.24/158.42 c | 207874 | 870 70478 203615 | 27272 25217 86 | 0.000 % |
158.33/158.52 c | 207995 | 870 70478 203615 | 27272 25338 86 | 0.000 % |
158.43/158.63 c | 208128 | 870 70478 203615 | 27272 25471 86 | 0.000 % |
158.53/158.73 c | 208274 | 870 70478 203615 | 27272 25617 86 | 0.000 % |
158.63/158.86 c | 208435 | 870 70478 203615 | 27272 25778 86 | 0.000 % |
158.73/158.99 c | 208612 | 870 70478 203615 | 27272 25955 86 | 0.000 % |
158.93/159.17 c | 208808 | 870 70478 203615 | 27272 26151 86 | 0.000 % |
159.13/159.34 c | 209020 | 870 70478 203615 | 27272 26363 86 | 0.000 % |
159.23/159.45 c | 209253 | 870 70478 203615 | 27272 26596 87 | 0.000 % |
159.43/159.61 c | 209509 | 870 70478 203615 | 27272 26852 87 | 0.000 % |
159.63/159.82 c | 209790 | 870 70478 203615 | 27272 27133 87 | 0.019 % |
159.93/160.15 c | 210099 | 870 70478 203615 | 27343 27442 87 | 0.000 % |
160.13/160.33 c | 210438 | 870 70478 203615 | 27343 24900 87 | 0.000 % |
160.43/160.62 c | 210811 | 870 70478 203615 | 27343 25273 87 | 0.000 % |
160.63/160.89 c | 211224 | 870 70478 203615 | 27343 25686 87 | 0.000 % |
160.93/161.14 c | 211673 | 870 70478 203615 | 27343 26135 87 | 0.000 % |
161.33/161.50 c | 212167 | 870 70478 203615 | 27343 26629 87 | 0.000 % |
161.83/162.02 c | 212709 | 870 70478 203615 | 27343 27171 87 | 0.000 % |
162.23/162.45 c | 213305 | 870 70478 203615 | 27343 27767 88 | 0.000 % |
162.73/162.97 c | 213960 | 870 70478 203615 | 27343 25283 86 | 0.000 % |
163.23/163.42 c | 214680 | 870 70478 203615 | 27343 26003 87 | 0.000 % |
163.63/163.82 c | 215472 | 870 70478 203615 | 27343 26795 86 | 0.000 % |
164.23/164.45 c | 216343 | 870 70478 203615 | 27343 24906 85 | 0.000 % |
164.83/165.06 c | 217303 | 870 70478 203615 | 27343 25866 85 | 0.000 % |
165.63/165.89 c | 218356 | 870 70478 203615 | 27343 26919 85 | 0.000 % |
166.72/166.90 c | 219514 | 870 70478 203615 | 27343 25315 85 | 0.000 % |
167.22/167.50 c | 220787 | 870 70478 203615 | 2147483647 26588 86 | 0.000 % |
168.62/168.85 c | 222188 | 870 70478 203615 | 2147483647 27989 86 | 0.000 % |
170.02/170.20 c | 223728 | 870 70478 203615 | 2147483647 29529 85 | 0.000 % |
171.62/171.90 c | 225422 | 870 70478 203615 | 2147483647 31223 84 | 0.025 % |
173.12/173.38 c | 227286 | 870 70478 203615 | 2147483647 33087 83 | 0.000 % |
174.82/175.05 c | 229339 | 870 70478 203615 | 2147483647 35140 84 | 0.000 % |
176.92/177.13 c | 231592 | 870 70478 203615 | 35803 32043 83 | 0.000 % |
177.02/177.21 c | 231693 | 870 70478 203615 | 35803 32144 83 | 0.025 % |
177.02/177.29 c | 231803 | 870 70478 203615 | 35803 32254 83 | 0.000 % |
177.22/177.41 c | 231927 | 870 70478 203615 | 35803 32378 83 | 0.000 % |
177.32/177.55 c | 232063 | 870 70478 203615 | 35803 32514 83 | 0.000 % |
177.42/177.63 c | 232209 | 870 70478 203615 | 35803 32660 83 | 0.021 % |
177.52/177.78 c | 232369 | 870 70478 203615 | 35803 32820 83 | 0.000 % |
177.72/177.95 c | 232545 | 870 70478 203615 | 35803 32996 83 | 0.000 % |
177.92/178.12 c | 232739 | 870 70478 203615 | 35803 33190 83 | 0.000 % |
178.12/178.33 c | 232953 | 870 70478 203615 | 35803 33404 83 | 0.025 % |
178.32/178.55 c | 233186 | 870 70478 203615 | 35803 33637 83 | 0.000 % |
178.52/178.73 c | 233442 | 870 70478 203615 | 35803 33893 83 | 0.000 % |
178.72/178.92 c | 233723 | 870 70478 203615 | 35803 34174 83 | 0.000 % |
178.92/179.20 c | 234032 | 870 70478 203615 | 35803 34483 83 | 0.000 % |
179.22/179.48 c | 234371 | 870 70478 203615 | 35803 34822 83 | 0.024 % |
179.52/179.74 c | 234746 | 870 70478 203615 | 35803 35197 83 | 0.000 % |
180.02/180.21 c | 235157 | 870 70478 203615 | 35803 35608 83 | 0.000 % |
180.32/180.56 c | 235606 | 870 70478 203615 | 35803 36057 84 | 0.000 % |
180.72/180.95 c | 236099 | 870 70478 203615 | 35803 30580 81 | 0.000 % |
181.12/181.33 c | 236641 | 870 70478 203615 | 35803 31122 81 | 0.026 % |
181.52/181.75 c | 237238 | 870 70478 203615 | 35803 31719 82 | 0.000 % |
182.02/182.25 c | 237895 | 870 70478 203615 | 35803 32376 82 | 0.000 % |
182.72/182.99 c | 238615 | 870 70478 203615 | 35803 33096 82 | 0.000 % |
183.72/183.98 c | 239407 | 870 70478 203615 | 35803 33888 82 | 0.000 % |
184.82/185.03 c | 240279 | 870 70478 203615 | 34483 34760 82 | 0.000 % |
185.91/186.14 c | 241237 | 870 70478 203615 | 34483 29442 78 | 0.000 % |
187.21/187.46 c | 242291 | 870 70478 203615 | 34483 30496 78 | 0.000 % |
187.92/188.13 c | 243450 | 870 70478 203615 | 34483 31655 79 | 0.000 % |
188.81/189.04 c | 244723 | 870 70478 203615 | 34483 32928 80 | 0.000 % |
190.12/190.36 c | 246126 | 870 70478 203615 | 34483 34331 80 | 0.000 % |
191.41/191.63 c | 247667 | 870 70478 203615 | 34483 30439 79 | 0.000 % |
192.90/193.12 c | 249361 | 870 70478 203615 | 34483 32133 80 | 0.000 % |
194.70/194.98 c | 251224 | 869 70181 203021 | 32768 29256 84 | 0.115 % |
196.71/196.99 c | 253273 | 869 70181 203021 | 32768 31305 85 | 0.115 % |
199.40/199.66 c | 255526 | 869 70181 203021 | 32768 29149 87 | 0.115 % |
200.40/200.66 c | 258004 | 869 70181 203021 | 32768 31627 89 | 0.135 % |
200.50/200.75 c | 258104 | 869 70181 203021 | 32768 31727 89 | 0.115 % |
200.70/200.90 c | 258214 | 869 70181 203021 | 32768 31837 89 | 0.115 % |
200.70/200.98 c | 258335 | 868 70181 203021 | 32768 31957 89 | 0.230 % |
200.90/201.17 c | 258470 | 868 70181 203021 | 32768 32092 89 | 0.230 % |
201.01/201.28 c | 258617 | 868 70181 203021 | 32768 32239 89 | 0.230 % |
201.20/201.44 c | 258778 | 868 70181 203021 | 32768 32400 89 | 0.230 % |
201.30/201.54 c | 258954 | 868 70181 203021 | 32768 32576 89 | 0.230 % |
201.40/201.68 c | 259147 | 868 70181 203021 | 32768 32769 89 | 0.230 % |
201.60/201.89 c | 259364 | 868 70181 203021 | 32768 32986 89 | 0.230 % |
202.00/202.23 c | 259597 | 868 70181 203021 | 32768 29518 89 | 0.230 % |
202.20/202.41 c | 259855 | 868 70181 203021 | 32768 29776 89 | 0.249 % |
202.30/202.56 c | 260136 | 868 70181 203021 | 29921 30057 89 | 0.230 % |
202.60/202.89 c | 260445 | 868 70181 203021 | 29921 27017 89 | 0.230 % |
203.00/203.22 c | 260784 | 868 70181 203021 | 29921 27356 89 | 0.230 % |
203.40/203.62 c | 261157 | 868 70181 203021 | 29921 27729 89 | 0.230 % |
203.70/203.95 c | 261566 | 868 70181 203021 | 29921 28138 89 | 0.230 % |
204.10/204.36 c | 262015 | 868 70181 203021 | 29921 28587 89 | 0.230 % |
204.50/204.74 c | 262508 | 868 70181 203021 | 29921 29080 89 | 0.257 % |
204.90/205.15 c | 263050 | 868 70181 203021 | 29921 29622 89 | 0.251 % |
205.30/205.58 c | 263647 | 868 70181 203021 | 29921 30219 89 | 0.252 % |
206.10/206.30 c | 264302 | 868 70181 203021 | 29921 27150 90 | 0.230 % |
206.80/207.10 c | 265022 | 868 70181 203021 | 29921 27870 90 | 0.230 % |
207.50/207.75 c | 265818 | 868 70181 203021 | 29921 28666 91 | 0.230 % |
208.11/208.38 c | 266692 | 868 70181 203021 | 29921 29540 91 | 0.230 % |
209.01/209.20 c | 267650 | 868 70181 203021 | 29921 25872 90 | 0.230 % |
210.21/210.48 c | 268703 | 868 70181 203021 | 29921 26925 89 | 0.230 % |
211.41/211.62 c | 269863 | 868 70181 203021 | 29921 28085 89 | 0.230 % |
212.40/212.65 c | 271136 | 868 70181 203021 | 28222 24322 86 | 0.230 % |
213.40/213.64 c | 272536 | 868 70181 203021 | 28222 25722 86 | 0.230 % |
214.40/214.60 c | 274076 | 868 70181 203021 | 28222 27262 85 | 0.252 % |
215.41/215.65 c | 275770 | 868 70181 203021 | 28222 24720 83 | 0.230 % |
216.80/217.03 c | 277635 | 868 70181 203021 | 28222 26585 83 | 0.230 % |
218.00/218.22 c | 279685 | 868 70181 203021 | 28222 25231 84 | 0.230 % |
219.40/219.64 c | 281940 | 868 70181 203021 | 25546 24709 86 | 0.230 % |
221.10/221.33 c | 284418 | 868 69954 202567 | 25546 24591 88 | 0.230 % |
222.70/222.91 c | 287143 | 868 69954 202567 | 25546 24722 90 | 0.230 % |
222.80/223.01 c | 287244 | 868 69954 202567 | 25546 24823 90 | 0.230 % |
222.80/223.09 c | 287357 | 868 69954 202567 | 25546 24936 90 | 0.230 % |
223.00/223.21 c | 287480 | 868 69954 202567 | 25546 25059 90 | 0.230 % |
223.10/223.31 c | 287614 | 868 69954 202567 | 25546 25193 90 | 0.230 % |
223.10/223.40 c | 287761 | 868 69954 202567 | 25546 25340 91 | 0.230 % |
223.30/223.51 c | 287923 | 868 69954 202567 | 25546 25502 91 | 0.230 % |
223.40/223.64 c | 288099 | 868 69954 202567 | 25546 25678 91 | 0.230 % |
223.50/223.75 c | 288295 | 868 69954 202567 | 25546 23307 91 | 0.260 % |
223.70/223.92 c | 288507 | 868 69954 202567 | 25546 23519 91 | 0.230 % |
223.80/224.01 c | 288741 | 868 69954 202567 | 25546 23753 92 | 0.253 % |
223.90/224.17 c | 288997 | 868 69954 202567 | 25546 24009 92 | 0.230 % |
224.10/224.34 c | 289280 | 868 69954 202567 | 25546 24292 92 | 0.230 % |
224.40/224.60 c | 289590 | 868 69954 202567 | 25546 24602 92 | 0.230 % |
224.50/224.78 c | 289929 | 868 69954 202567 | 25546 24941 93 | 0.260 % |
224.90/225.12 c | 290303 | 868 69954 202567 | 2147483647 25315 93 | 0.230 % |
225.20/225.50 c | 290714 | 868 69954 202567 | 2147483647 25726 93 | 0.230 % |
225.59/225.82 c | 291163 | 868 69954 202567 | 2147483647 26175 94 | 0.230 % |
225.89/226.18 c | 291656 | 868 69954 202567 | 2147483647 26668 94 | 0.230 % |
226.40/226.61 c | 292199 | 868 69954 202567 | 2147483647 27211 94 | 0.230 % |
226.80/227.06 c | 292796 | 868 69954 202567 | 2147483647 27808 95 | 0.230 % |
227.29/227.50 c | 293452 | 868 69954 202567 | 2147483647 28464 95 | 0.230 % |
227.79/228.00 c | 294173 | 868 69954 202567 | 2147483647 29185 96 | 0.230 % |
228.60/228.80 c | 294966 | 868 69954 202567 | 2147483647 29978 97 | 0.230 % |
229.29/229.59 c | 295838 | 868 69954 202567 | 2147483647 30850 97 | 0.230 % |
230.39/230.60 c | 296796 | 868 69954 202567 | 2147483647 31808 98 | 0.230 % |
231.49/231.73 c | 297850 | 868 69954 202567 | 2147483647 32862 98 | 0.230 % |
232.79/233.02 c | 299008 | 868 69954 202567 | 2147483647 34020 99 | 0.230 % |
233.59/233.85 c | 300281 | 867 69954 202567 | 2147483647 35292 98 | 0.345 % |
235.29/235.56 c | 301683 | 867 69954 202567 | 2147483647 36694 99 | 0.345 % |
236.58/236.81 c | 303225 | 867 69954 202567 | 2147483647 38236 99 | 0.345 % |
237.78/238.02 c | 304922 | 867 69954 202567 | 2147483647 39933 99 | 0.345 % |
239.28/239.55 c | 306785 | 867 69954 202567 | 2147483647 41796 98 | 0.345 % |
240.68/240.97 c | 308836 | 867 69954 202567 | 2147483647 43847 99 | 0.345 % |
243.28/243.59 c | 311092 | 867 69719 202097 | 44630 36063 101 | 0.345 % |
245.08/245.39 c | 313570 | 867 69719 202097 | 44630 38541 101 | 0.345 % |
247.07/247.32 c | 316295 | 867 69719 202097 | 44630 41266 103 | 0.345 % |
251.77/252.03 c | 319292 | 867 69719 202097 | 44630 44263 103 | 0.345 % |
251.87/252.16 c | 319394 | 867 69719 202097 | 44630 44365 103 | 0.345 % |
252.07/252.32 c | 319505 | 867 69719 202097 | 44630 44476 103 | 0.345 % |
252.17/252.41 c | 319626 | 867 69719 202097 | 44630 44597 103 | 0.345 % |
252.37/252.65 c | 319759 | 867 69719 202097 | 44630 44730 103 | 0.345 % |
252.57/252.88 c | 319905 | 867 69719 202097 | 44630 35461 98 | 0.345 % |
252.77/253.06 c | 320066 | 867 69719 202097 | 35556 35622 98 | 0.345 % |
252.97/253.22 c | 320244 | 867 69719 202097 | 35556 28280 94 | 0.345 % |
253.07/253.37 c | 320443 | 867 69719 202097 | 35556 28479 94 | 0.345 % |
253.27/253.55 c | 320656 | 867 69719 202097 | 35556 28692 94 | 0.345 % |
253.37/253.70 c | 320892 | 867 69719 202097 | 35556 28928 94 | 0.345 % |
253.67/253.98 c | 321150 | 867 69719 202097 | 35556 29186 93 | 0.345 % |
254.07/254.30 c | 321431 | 867 69719 202097 | 35556 29467 93 | 0.345 % |
254.17/254.49 c | 321742 | 867 69719 202097 | 35556 29778 93 | 0.345 % |
254.57/254.83 c | 322081 | 867 69719 202097 | 35556 30117 93 | 0.345 % |
254.87/255.18 c | 322455 | 867 69719 202097 | 35556 30491 93 | 0.372 % |
255.27/255.57 c | 322867 | 867 69719 202097 | 35556 30903 94 | 0.345 % |
255.67/255.97 c | 323316 | 867 69719 202097 | 35556 31352 94 | 0.345 % |
256.07/256.39 c | 323810 | 867 69719 202097 | 35556 31846 95 | 0.345 % |
256.77/257.06 c | 324352 | 867 69719 202097 | 35556 32388 95 | 0.345 % |
257.57/257.82 c | 324948 | 867 69719 202097 | 35556 32984 96 | 0.345 % |
258.07/258.35 c | 325605 | 867 69719 202097 | 35556 33641 97 | 0.345 % |
258.87/259.11 c | 326325 | 867 69719 202097 | 35556 34361 97 | 0.345 % |
259.67/259.98 c | 327118 | 867 69719 202097 | 35556 35154 98 | 0.345 % |
260.86/261.10 c | 327989 | 867 69719 202097 | 35556 36025 99 | 0.345 % |
261.86/262.12 c | 328948 | 867 69719 202097 | 35556 30176 98 | 0.345 % |
262.96/263.22 c | 330001 | 867 69719 202097 | 35556 31229 99 | 0.345 % |
263.46/263.77 c | 331161 | 867 69719 202097 | 31229 26996 100 | 0.372 % |
264.66/264.92 c | 332436 | 867 69719 202097 | 31229 28271 99 | 0.345 % |
266.06/266.40 c | 333836 | 867 69719 202097 | 31229 29671 99 | 0.345 % |
267.96/268.28 c | 335376 | 867 69719 202097 | 31229 31211 98 | 0.345 % |
269.56/269.82 c | 337070 | 867 69719 202097 | 31229 27469 93 | 0.345 % |
271.46/271.72 c | 338933 | 867 69719 202097 | 31229 29332 95 | 0.366 % |
273.46/273.77 c | 340986 | 867 69719 202097 | 30402 25989 96 | 0.345 % |
275.56/275.88 c | 343239 | 867 69719 202097 | 30402 28242 97 | 0.345 % |
277.36/277.69 c | 345717 | 867 69719 202097 | 30402 26554 95 | 0.345 % |
279.86/280.12 c | 348443 | 867 69719 202097 | 30402 29280 95 | 0.345 % |
282.25/282.54 c | 351442 | 867 69719 202097 | 26849 24778 93 | 0.345 % |
284.45/284.75 c | 354739 | 867 69719 202097 | 26849 25325 93 | 0.345 % |
284.55/284.82 c | 354839 | 867 69719 202097 | 26849 25425 93 | 0.345 % |
284.55/284.90 c | 354949 | 867 69719 202097 | 26849 25535 93 | 0.345 % |
284.65/285.00 c | 355072 | 867 69719 202097 | 26849 25658 94 | 0.345 % |
284.75/285.05 c | 355206 | 867 69719 202097 | 26849 25792 94 | 0.345 % |
284.85/285.17 c | 355353 | 867 69719 202097 | 26849 25939 94 | 0.345 % |
285.05/285.30 c | 355517 | 867 69719 202097 | 26849 26103 94 | 0.345 % |
285.05/285.37 c | 355694 | 867 69719 202097 | 26849 26280 94 | 0.375 % |
285.25/285.51 c | 355889 | 867 69719 202097 | 26849 26475 94 | 0.345 % |
285.35/285.64 c | 356101 | 867 69719 202097 | 26849 26687 94 | 0.345 % |
285.55/285.83 c | 356334 | 867 69719 202097 | 26849 26920 94 | 0.345 % |
285.75/286.04 c | 356590 | 867 69719 202097 | 26849 24484 96 | 0.345 % |
285.85/286.14 c | 356871 | 867 69719 202097 | 26849 24765 96 | 0.366 % |
286.05/286.38 c | 357180 | 867 69719 202097 | 26849 25074 97 | 0.345 % |
286.35/286.63 c | 357519 | 867 69719 202097 | 26849 25413 97 | 0.345 % |
286.65/286.90 c | 357891 | 867 69719 202097 | 26849 25785 97 | 0.366 % |
286.75/287.05 c | 358301 | 867 69719 202097 | 26849 26195 97 | 0.345 % |
287.05/287.38 c | 358750 | 867 69719 202097 | 26849 26644 96 | 0.369 % |
287.45/287.73 c | 359243 | 867 69719 202097 | 26849 27137 95 | 0.345 % |
287.75/288.06 c | 359785 | 867 69719 202097 | 26849 24966 94 | 0.369 % |
288.25/288.53 c | 360381 | 867 69719 202097 | 2147483647 25562 94 | 0.345 % |
288.55/288.86 c | 361036 | 867 69719 202097 | 2147483647 26217 94 | 0.345 % |
289.05/289.36 c | 361756 | 867 69719 202097 | 2147483647 26937 94 | 0.345 % |
289.35/289.65 c | 362549 | 867 69719 202097 | 2147483647 27730 94 | 0.345 % |
290.15/290.44 c | 363420 | 867 69719 202097 | 2147483647 28601 94 | 0.370 % |
291.15/291.44 c | 364381 | 867 69719 202097 | 2147483647 29562 94 | 0.345 % |
292.15/292.43 c | 365434 | 867 69719 202097 | 2147483647 30615 95 | 0.345 % |
293.65/293.96 c | 366593 | 867 69719 202097 | 2147483647 31774 96 | 0.345 % |
294.35/294.62 c | 367869 | 867 69719 202097 | 2147483647 33050 96 | 0.372 % |
295.34/295.68 c | 369270 | 867 69719 202097 | 2147483647 34451 97 | 0.345 % |
296.44/296.76 c | 370813 | 867 69719 202097 | 2147483647 35994 98 | 0.345 % |
297.94/298.21 c | 372507 | 867 69719 202097 | 2147483647 37688 99 | 0.345 % |
299.34/299.63 c | 374371 | 867 69719 202097 | 2147483647 39552 99 | 0.372 % |
301.64/301.91 c | 376420 | 867 69719 202097 | 2147483647 41601 99 | 0.345 % |
303.94/304.23 c | 378673 | 867 69719 202097 | 2147483647 43854 99 | 0.345 % |
306.74/307.02 c | 381152 | 867 69719 202097 | 45181 38107 97 | 0.345 % |
310.14/310.45 c | 383879 | 867 69719 202097 | 45181 40834 97 | 0.345 % |
312.94/313.30 c | 386878 | 867 69719 202097 | 45181 43833 99 | 0.345 % |
317.84/318.12 c | 390174 | 867 69719 202097 | 37312 37484 97 | 0.345 % |
321.83/322.14 c | 393800 | 867 69719 202097 | 37312 32972 100 | 0.345 % |
321.94/322.30 c | 393901 | 867 69719 202097 | 37312 33073 100 | 0.345 % |
322.13/322.48 c | 394012 | 867 69719 202097 | 37312 33184 100 | 0.345 % |
322.23/322.55 c | 394135 | 867 69719 202097 | 37312 33307 100 | 0.345 % |
322.33/322.69 c | 394268 | 867 69719 202097 | 37312 33440 100 | 0.345 % |
322.53/322.80 c | 394416 | 867 69719 202097 | 37312 33588 99 | 0.345 % |
322.63/322.91 c | 394576 | 867 69719 202097 | 37312 33748 99 | 0.345 % |
322.73/323.09 c | 394752 | 867 69719 202097 | 37312 33924 99 | 0.375 % |
323.04/323.31 c | 394947 | 867 69719 202097 | 37312 34119 99 | 0.345 % |
323.14/323.48 c | 395161 | 867 69719 202097 | 37312 34333 99 | 0.345 % |
323.43/323.79 c | 395395 | 867 69719 202097 | 37312 34567 100 | 0.345 % |
323.83/324.11 c | 395651 | 867 69719 202097 | 37312 34823 100 | 0.345 % |
324.14/324.43 c | 395932 | 867 69719 202097 | 37312 35104 100 | 0.345 % |
324.63/324.92 c | 396241 | 867 69719 202097 | 37312 35413 99 | 0.345 % |
324.73/325.06 c | 396582 | 867 69719 202097 | 37312 35754 100 | 0.345 % |
325.03/325.38 c | 396954 | 867 69719 202097 | 37312 36126 100 | 0.345 % |
325.33/325.67 c | 397364 | 867 69719 202097 | 37312 36536 100 | 0.345 % |
325.83/326.19 c | 397815 | 867 69719 202097 | 37312 36987 100 | 0.345 % |
326.43/326.71 c | 398309 | 867 69719 202097 | 37312 37481 100 | 0.345 % |
326.92/327.26 c | 398851 | 867 69719 202097 | 37312 30815 97 | 0.345 % |
327.43/327.80 c | 399450 | 867 69719 202097 | 37312 31414 97 | 0.345 % |
328.13/328.46 c | 400109 | 867 69719 202097 | 31964 32073 97 | 0.345 % |
328.82/329.12 c | 400829 | 867 69719 202097 | 31964 26777 92 | 0.345 % |
329.42/329.72 c | 401622 | 867 69719 202097 | 31964 27570 92 | 0.345 % |
330.22/330.51 c | 402494 | 867 69719 202097 | 31964 28442 92 | 0.345 % |
331.12/331.45 c | 403453 | 867 69719 202097 | 31964 29401 92 | 0.345 % |
332.32/332.60 c | 404506 | 867 69719 202097 | 31964 30454 92 | 0.345 % |
332.93/333.30 c | 405664 | 867 69719 202097 | 31964 31612 92 | 0.345 % |
334.03/334.31 c | 406938 | 867 69719 202097 | 31964 27805 87 | 0.345 % |
335.13/335.43 c | 408339 | 867 69719 202097 | 31964 29206 87 | 0.345 % |
336.62/336.91 c | 409880 | 867 69719 202097 | 31964 30747 87 | 0.345 % |
338.22/338.56 c | 411576 | 867 69719 202097 | 30867 26984 86 | 0.345 % |
339.62/339.91 c | 413440 | 866 69527 201713 | 30867 28749 87 | 0.460 % |
341.22/341.58 c | 415489 | 866 69527 201713 | 30867 30798 88 | 0.460 % |
343.92/344.24 c | 417745 | 866 69527 201713 | 30867 28478 87 | 0.460 % |
346.32/346.63 c | 420227 | 866 69527 201713 | 30733 30960 87 | 0.460 % |
348.92/349.24 c | 422952 | 866 69527 201713 | 30733 28685 86 | 0.460 % |
352.11/352.44 c | 425952 | 866 69527 201713 | 30733 27165 86 | 0.460 % |
355.02/355.37 c | 429248 | 866 69527 201713 | 30733 30461 88 | 0.460 % |
358.51/358.80 c | 432874 | 866 69527 201713 | 27174 26466 91 | 0.460 % |
363.61/363.95 c | 436861 | 866 69527 201713 | 27174 24080 92 | 0.460 % |
363.81/364.12 c | 436961 | 866 69527 201713 | 27174 24180 92 | 0.460 % |
364.01/364.36 c | 437072 | 866 69527 201713 | 27174 24291 92 | 0.460 % |
364.11/364.41 c | 437195 | 866 69527 201713 | 27174 24414 92 | 0.460 % |
364.21/364.53 c | 437328 | 866 69527 201713 | 27174 24547 92 | 0.460 % |
364.31/364.62 c | 437474 | 866 69527 201713 | 27174 24693 92 | 0.460 % |
364.41/364.72 c | 437634 | 866 69527 201713 | 27174 24853 92 | 0.460 % |
364.51/364.81 c | 437813 | 866 69527 201713 | 27174 25032 93 | 0.460 % |
364.71/365.08 c | 438006 | 866 69527 201713 | 27174 25225 92 | 0.460 % |
365.01/365.32 c | 438218 | 866 69527 201713 | 27174 25437 92 | 0.491 % |
365.21/365.56 c | 438452 | 866 69527 201713 | 27174 25671 92 | 0.460 % |
365.51/365.81 c | 438709 | 866 69527 201713 | 27174 25928 92 | 0.460 % |
365.81/366.14 c | 438990 | 866 69527 201713 | 27174 26209 92 | 0.460 % |
366.01/366.36 c | 439299 | 866 69527 201713 | 27174 26518 92 | 0.460 % |
366.31/366.67 c | 439638 | 866 69527 201713 | 27174 26857 92 | 0.460 % |
366.71/367.03 c | 440010 | 866 69527 201713 | 27219 27229 92 | 0.460 % |
367.11/367.41 c | 440421 | 866 69527 201713 | 27219 23848 91 | 0.460 % |
367.41/367.74 c | 440870 | 866 69527 201713 | 27219 24297 91 | 0.460 % |
367.71/368.04 c | 441363 | 866 69527 201713 | 27219 24790 91 | 0.460 % |
368.11/368.47 c | 441906 | 866 69527 201713 | 27219 25333 91 | 0.460 % |
368.81/369.10 c | 442505 | 866 69527 201713 | 27219 25932 92 | 0.460 % |
369.31/369.69 c | 443160 | 866 69527 201713 | 27219 26587 91 | 0.494 % |
370.20/370.57 c | 443883 | 866 69527 201713 | 27219 27310 91 | 0.460 % |
370.90/371.28 c | 444675 | 866 69527 201713 | 27219 23529 90 | 0.460 % |
371.60/371.98 c | 445546 | 866 69527 201713 | 27219 24400 90 | 0.460 % |
372.40/372.76 c | 446504 | 865 69353 201365 | 27219 25191 90 | 0.575 % |
373.30/373.68 c | 447559 | 865 69353 201365 | 27219 26246 89 | 0.575 % |
374.20/374.57 c | 448717 | 865 69353 201365 | 27219 27404 90 | 0.575 % |
375.39/375.77 c | 449990 | 865 69353 201365 | 27219 24713 90 | 0.575 % |
376.90/377.25 c | 451390 | 865 69353 201365 | 24723 22690 88 | 0.575 % |
378.00/378.40 c | 452930 | 865 69353 201365 | 24723 24230 88 | 0.575 % |
379.79/380.12 c | 454625 | 865 69353 201365 | 24723 23018 88 | 0.575 % |
380.89/381.28 c | 456488 | 865 69353 201365 | 24723 24881 89 | 0.575 % |
382.69/383.07 c | 458537 | 865 69353 201365 | 24723 24442 90 | 0.575 % |
383.99/384.39 c | 460790 | 865 69353 201365 | 2147483647 24192 90 | 0.598 % |
386.29/386.61 c | 463269 | 865 69353 201365 | 2147483647 26671 89 | 0.575 % |
388.19/388.57 c | 465994 | 865 69353 201365 | 2147483647 29396 91 | 0.575 % |
390.59/390.94 c | 468991 | 865 69353 201365 | 2147483647 32393 93 | 0.575 % |
393.59/393.97 c | 472287 | 865 69353 201365 | 33405 31579 96 | 0.575 % |
397.29/397.60 c | 475915 | 865 69353 201365 | 33405 30127 99 | 0.575 % |
400.89/401.24 c | 479903 | 865 69353 201365 | 33405 28716 100 | 0.575 % |
404.68/405.06 c | 484290 | 865 69353 201365 | 28813 28618 101 | 0.575 % |
404.88/405.23 c | 484391 | 865 69353 201365 | 28813 28719 101 | 0.575 % |
404.98/405.36 c | 484503 | 865 69353 201365 | 28813 28831 101 | 0.575 % |
405.08/405.43 c | 484624 | 865 69353 201365 | 28813 25018 103 | 0.600 % |
405.18/405.52 c | 484757 | 865 69353 201365 | 28813 25151 103 | 0.575 % |
405.28/405.70 c | 484905 | 865 69353 201365 | 28813 25299 103 | 0.575 % |
405.49/405.82 c | 485065 | 865 69353 201365 | 28813 25459 103 | 0.575 % |
405.59/405.94 c | 485243 | 865 69353 201365 | 28813 25637 103 | 0.575 % |
405.78/406.10 c | 485437 | 865 69353 201365 | 28813 25831 103 | 0.575 % |
405.78/406.18 c | 485650 | 865 69353 201365 | 28813 26044 103 | 0.575 % |
405.88/406.26 c | 485883 | 865 69353 201365 | 28813 26277 103 | 0.575 % |
406.18/406.54 c | 486140 | 865 69353 201365 | 28813 26534 102 | 0.575 % |
406.28/406.64 c | 486423 | 865 69353 201365 | 28813 26817 102 | 0.575 % |
406.59/406.97 c | 486732 | 865 69353 201365 | 28813 27126 102 | 0.575 % |
406.98/407.34 c | 487071 | 865 69353 201365 | 28813 27465 102 | 0.575 % |
407.18/407.54 c | 487443 | 865 69353 201365 | 28813 27837 103 | 0.601 % |
407.58/407.94 c | 487852 | 865 69353 201365 | 28813 28246 103 | 0.575 % |
408.08/408.46 c | 488302 | 865 69353 201365 | 28813 28696 103 | 0.575 % |
408.58/408.94 c | 488797 | 865 69353 201365 | 28813 29191 104 | 0.575 % |
409.08/409.46 c | 489339 | 865 69353 201365 | 28813 25705 102 | 0.575 % |
409.78/410.13 c | 489936 | 865 69353 201365 | 28813 26302 103 | 0.575 % |
410.68/411.01 c | 490592 | 865 69353 201365 | 26367 23192 99 | 0.575 % |
410.88/411.24 c | 491313 | 865 69353 201365 | 26367 23913 99 | 0.596 % |
411.28/411.66 c | 492107 | 865 69353 201365 | 26367 24707 100 | 0.575 % |
411.79/412.11 c | 492979 | 865 69353 201365 | 26367 25579 100 | 0.575 % |
412.49/412.83 c | 493937 | 864 69109 200598 | 26367 26532 100 | 0.690 % |
413.19/413.55 c | 494990 | 864 69109 200598 | 26367 24932 97 | 0.690 % |
414.29/414.61 c | 496148 | 864 69109 200598 | 26367 26090 96 | 0.690 % |
414.89/415.22 c | 497422 | 864 69109 200598 | 26367 24685 95 | 0.690 % |
416.18/416.58 c | 498822 | 864 69109 200598 | 26367 26085 96 | 0.690 % |
417.18/417.58 c | 500362 | 864 69109 200598 | 2147483647 24951 95 | 0.690 % |
418.18/418.55 c | 502057 | 864 69109 200598 | 2147483647 26646 94 | 0.690 % |
419.08/419.46 c | 503920 | 864 69109 200598 | 2147483647 28508 95 | 0.825 % |
420.58/420.93 c | 505971 | 864 69109 200598 | 2147483647 30559 96 | 0.805 % |
421.88/422.25 c | 508227 | 864 69109 200598 | 2147483647 32815 95 | 0.805 % |
423.38/423.72 c | 510705 | 864 69109 200598 | 2147483647 35293 94 | 0.805 % |
426.18/426.51 c | 513430 | 864 69109 200598 | 2147483647 38018 93 | 0.805 % |
429.17/429.59 c | 516427 | 864 69109 200598 | 2147483647 41015 92 | 0.805 % |
433.47/433.86 c | 519723 | 864 69109 200598 | 2147483647 44311 91 | 0.805 % |
438.47/438.85 c | 523349 | 864 69109 200598 | 44588 39396 87 | 0.805 % |
442.27/442.64 c | 527336 | 863 68936 200252 | 44588 43378 87 | 0.805 % |
446.47/446.81 c | 531724 | 863 68936 200252 | 36526 30705 81 | 0.920 % |
449.27/449.61 c | 536547 | 862 68936 200252 | 36526 35528 82 | 0.920 % |
449.27/449.66 c | 536648 | 862 68936 200252 | 36526 35629 82 | 0.920 % |
449.37/449.71 c | 536758 | 862 68936 200252 | 36526 35739 82 | 0.920 % |
449.37/449.79 c | 536880 | 862 68936 200252 | 36526 35861 83 | 0.920 % |
449.47/449.82 c | 537015 | 862 68936 200252 | 36526 35996 83 | 0.920 % |
449.57/449.93 c | 537161 | 862 68936 200252 | 36526 36142 83 | 0.946 % |
449.67/450.04 c | 537321 | 862 68936 200252 | 36526 36302 83 | 0.951 % |
449.77/450.13 c | 537498 | 862 68936 200252 | 36526 36479 83 | 0.920 % |
449.87/450.22 c | 537691 | 862 68936 200252 | 36526 36672 83 | 0.920 % |
449.97/450.35 c | 537903 | 862 68936 200252 | 36526 33217 81 | 0.920 % |
450.07/450.43 c | 538136 | 862 68936 200252 | 36526 33450 81 | 0.920 % |
450.27/450.68 c | 538395 | 862 68936 200252 | 36526 33709 81 | 0.920 % |
450.47/450.82 c | 538677 | 862 68936 200252 | 36526 33991 81 | 0.920 % |
450.67/451.03 c | 538986 | 862 68936 200252 | 36526 34300 81 | 0.920 % |
450.86/451.25 c | 539326 | 862 68936 200252 | 36526 34640 81 | 0.920 % |
451.06/451.44 c | 539698 | 862 68936 200252 | 36526 35012 81 | 0.920 % |
451.36/451.77 c | 540107 | 862 68936 200252 | 35315 35421 82 | 0.920 % |
451.56/451.96 c | 540557 | 862 68936 200252 | 35315 32153 81 | 0.920 % |
451.96/452.34 c | 541050 | 862 68936 200252 | 35315 32646 81 | 0.920 % |
452.26/452.66 c | 541592 | 862 68936 200252 | 35315 33188 81 | 0.939 % |
452.46/452.88 c | 542189 | 862 68936 200252 | 35315 33785 81 | 0.940 % |
452.77/453.18 c | 542845 | 862 68936 200252 | 35315 34441 81 | 0.920 % |
453.06/453.48 c | 543565 | 862 68936 200252 | 35315 35161 80 | 0.944 % |
453.46/453.87 c | 544357 | 862 68936 200252 | 35315 32393 81 | 0.920 % |
454.36/454.74 c | 545230 | 862 68936 200252 | 35315 33266 81 | 0.939 % |
454.86/455.27 c | 546190 | 862 68936 200252 | 35315 34226 82 | 0.920 % |
456.17/456.51 c | 547247 | 862 68936 200252 | 35315 35283 82 | 0.920 % |
457.16/457.53 c | 548405 | 862 68936 200252 | 35315 32714 81 | 0.920 % |
457.96/458.38 c | 549678 | 862 68936 200252 | 35315 33987 81 | 0.920 % |
459.16/459.56 c | 551078 | 862 68936 200252 | 34309 31407 82 | 0.920 % |
460.26/460.61 c | 552618 | 862 68936 200252 | 34309 32947 82 | 0.920 % |
460.96/461.31 c | 554312 | 862 68936 200252 | 34309 34641 84 | 0.920 % |
462.35/462.77 c | 556176 | 862 68936 200252 | 34309 32941 85 | 0.920 % |
464.35/464.73 c | 558228 | 862 68936 200252 | 34309 31261 86 | 0.920 % |
466.55/466.95 c | 560482 | 862 68936 200252 | 33034 33515 88 | 0.920 % |
468.75/469.19 c | 562960 | 862 68936 200252 | 33034 31674 89 | 0.920 % |
471.55/471.93 c | 565686 | 862 68714 199808 | 33034 29386 89 | 0.920 % |
474.45/474.83 c | 568683 | 862 68714 199808 | 33034 32383 90 | 0.920 % |
476.85/477.30 c | 571979 | 862 68714 199808 | 28529 26388 93 | 0.920 % |
479.75/480.17 c | 575604 | 862 68714 199808 | 28529 27139 96 | 0.920 % |
483.55/484.00 c | 579591 | 862 68714 199808 | 28529 28249 98 | 0.920 % |
485.34/485.76 c | 583980 | 862 68714 199808 | 2147483647 32638 102 | 0.920 % |
489.44/489.82 c | 588805 | 862 68714 199808 | 2147483647 37463 103 | 0.920 % |
496.14/496.52 c | 594110 | 862 68714 199808 | 2147483647 42768 103 | 0.920 % |
496.34/496.72 c | 594210 | 862 68714 199808 | 2147483647 42868 103 | 0.920 % |
496.44/496.84 c | 594323 | 862 68714 199808 | 2147483647 42981 103 | 0.920 % |
496.74/497.13 c | 594444 | 862 68714 199808 | 2147483647 43102 103 | 0.920 % |
496.84/497.23 c | 594577 | 862 68714 199808 | 2147483647 43235 103 | 0.920 % |
496.94/497.38 c | 594725 | 862 68714 199808 | 2147483647 43383 103 | 0.920 % |
497.14/497.59 c | 594888 | 862 68714 199808 | 2147483647 43546 103 | 0.920 % |
497.44/497.83 c | 595065 | 862 68714 199808 | 2147483647 43723 103 | 0.920 % |
497.64/498.06 c | 595258 | 862 68714 199808 | 2147483647 43916 102 | 0.920 % |
497.84/498.30 c | 595472 | 862 68714 199808 | 2147483647 44130 102 | 0.920 % |
498.13/498.54 c | 595705 | 862 68714 199808 | 2147483647 44363 102 | 0.920 % |
498.33/498.74 c | 595962 | 862 68714 199808 | 2147483647 44620 102 | 0.920 % |
498.73/499.10 c | 596243 | 862 68714 199808 | 2147483647 44901 102 | 0.920 % |
499.04/499.43 c | 596552 | 862 68714 199808 | 2147483647 45210 102 | 0.920 % |
499.13/499.59 c | 596892 | 862 68714 199808 | 2147483647 45550 102 | 0.920 % |
499.53/499.94 c | 597264 | 862 68714 199808 | 2147483647 45922 103 | 0.920 % |
499.83/500.21 c | 597674 | 862 68714 199808 | 2147483647 46332 103 | 0.920 % |
500.43/500.86 c | 598124 | 862 68714 199808 | 2147483647 46782 102 | 0.920 % |
501.34/501.76 c | 598617 | 862 68714 199808 | 2147483647 47275 102 | 0.920 % |
501.74/502.16 c | 599159 | 862 68714 199808 | 2147483647 47817 102 | 0.920 % |
502.74/503.11 c | 599755 | 862 68714 199808 | 2147483647 48413 103 | 0.920 % |
503.84/504.20 c | 600412 | 862 68714 199808 | 48658 49070 103 | 0.920 % |
504.74/505.11 c | 601132 | 862 68714 199808 | 48658 38431 100 | 0.920 % |
505.44/505.80 c | 601926 | 862 68714 199808 | 48658 39225 100 | 0.920 % |
506.23/506.68 c | 602799 | 862 68714 199808 | 48658 40098 100 | 0.920 % |
507.13/507.53 c | 603759 | 862 68714 199808 | 48658 41058 100 | 0.920 % |
508.43/508.87 c | 604814 | 862 68714 199808 | 48658 42113 99 | 0.920 % |
509.63/510.09 c | 605972 | 862 68714 199808 | 48658 43271 99 | 0.920 % |
511.13/511.58 c | 607245 | 862 68714 199808 | 48658 44544 99 | 0.920 % |
512.73/513.18 c | 608645 | 862 68714 199808 | 48658 45944 99 | 0.920 % |
514.33/514.72 c | 610185 | 862 68714 199808 | 47299 47484 99 | 0.920 % |
516.23/516.61 c | 611880 | 862 68714 199808 | 47299 39435 98 | 0.920 % |
518.92/519.33 c | 613743 | 862 68714 199808 | 47299 41298 98 | 0.920 % |
522.22/522.69 c | 615795 | 862 68714 199808 | 47299 43350 98 | 0.920 % |
525.72/526.18 c | 618048 | 862 68714 199808 | 47299 45603 98 | 0.920 % |
527.42/527.90 c | 620528 | 862 68714 199808 | 47555 36764 95 | 0.941 % |
529.72/530.17 c | 623254 | 862 68714 199808 | 47555 39490 95 | 0.920 % |
532.12/532.52 c | 626251 | 862 68714 199808 | 47555 42487 95 | 0.920 % |
535.62/536.09 c | 629547 | 862 68714 199808 | 47555 45783 95 | 0.920 % |
539.32/539.80 c | 633177 | 861 68515 199410 | 46236 37528 93 | 1.052 % |
544.12/544.55 c | 637165 | 861 68515 199410 | 46236 41516 96 | 1.035 % |
549.11/549.55 c | 641551 | 861 68515 199410 | 44354 36662 95 | 1.035 % |
552.41/552.85 c | 646375 | 861 68515 199410 | 44354 41486 97 | 1.057 % |
558.00/558.40 c | 651684 | 861 68515 199410 | 36446 31019 93 | 1.035 % |
563.10/563.59 c | 657520 | 861 68515 199410 | 36446 36855 91 | 1.035 % |
563.20/563.67 c | 657620 | 861 68515 199410 | 36446 30287 89 | 1.054 % |
563.30/563.79 c | 657730 | 861 68515 199410 | 36446 30397 89 | 1.035 % |
563.40/563.87 c | 657851 | 861 68515 199410 | 36446 30518 89 | 1.055 % |
563.50/563.99 c | 657984 | 861 68515 199410 | 36446 30651 89 | 1.035 % |
563.60/564.08 c | 658132 | 861 68515 199410 | 36446 30799 89 | 1.035 % |
563.80/564.22 c | 658292 | 861 68515 199410 | 36446 30959 89 | 1.058 % |
564.00/564.45 c | 658469 | 861 68515 199410 | 36446 31136 89 | 1.035 % |
564.10/564.59 c | 658662 | 861 68515 199410 | 36446 31329 89 | 1.035 % |
564.30/564.79 c | 658875 | 861 68515 199410 | 36446 31542 89 | 1.035 % |
564.60/565.04 c | 659110 | 861 68515 199410 | 36446 31777 89 | 1.035 % |
564.90/565.31 c | 659370 | 861 68515 199410 | 36446 32037 90 | 1.035 % |
565.10/565.55 c | 659652 | 861 68515 199410 | 36446 32319 90 | 1.035 % |
565.40/565.82 c | 659961 | 861 68515 199410 | 36446 32628 90 | 1.035 % |
565.70/566.15 c | 660301 | 861 68515 199410 | 32670 32968 90 | 1.035 % |
565.90/566.37 c | 660674 | 861 68515 199410 | 32670 27430 84 | 1.035 % |
566.20/566.67 c | 661083 | 861 68515 199410 | 32670 27839 84 | 1.035 % |
566.50/566.97 c | 661533 | 861 68515 199410 | 32670 28289 84 | 1.053 % |
566.90/567.33 c | 662026 | 861 68515 199410 | 32670 28782 85 | 1.057 % |
567.20/567.65 c | 662568 | 861 68515 199410 | 32670 29324 85 | 1.060 % |
567.50/567.93 c | 663164 | 861 68515 199410 | 32670 29920 86 | 1.035 % |
568.10/568.50 c | 663821 | 861 68515 199410 | 32670 30577 86 | 1.035 % |
568.60/569.03 c | 664541 | 861 68515 199410 | 32670 31297 86 | 1.035 % |
569.10/569.53 c | 665334 | 861 68515 199410 | 32670 32090 87 | 1.053 % |
569.50/569.98 c | 666206 | 861 68515 199410 | 32670 32962 87 | 1.035 % |
570.10/570.54 c | 667164 | 861 68515 199410 | 32670 30150 84 | 1.035 % |
570.80/571.23 c | 668217 | 861 68515 199410 | 32670 31203 85 | 1.035 % |
571.50/572.00 c | 669376 | 861 68515 199410 | 32670 32362 85 | 1.035 % |
572.50/572.90 c | 670649 | 861 68515 199410 | 32986 29838 82 | 1.035 % |
573.50/573.91 c | 672051 | 861 68515 199410 | 32986 31240 83 | 1.035 % |
574.20/574.68 c | 673591 | 861 68515 199410 | 32986 32780 85 | 1.054 % |
575.29/575.70 c | 675286 | 861 68515 199410 | 32986 31144 86 | 1.052 % |
576.90/577.40 c | 677149 | 861 68515 199410 | 32986 33007 89 | 1.035 % |
578.49/578.91 c | 679198 | 861 68515 199410 | 32986 31639 90 | 1.035 % |
580.40/580.87 c | 681451 | 861 68515 199410 | 32441 30409 91 | 1.035 % |
582.69/583.16 c | 683929 | 861 68515 199410 | 32441 28954 93 | 1.035 % |
585.39/585.83 c | 686657 | 861 68515 199410 | 32441 31682 93 | 1.035 % |
587.69/588.19 c | 689655 | 861 68515 199410 | 32441 29698 94 | 1.035 % |
589.79/590.24 c | 692952 | 861 68515 199410 | 30043 28822 94 | 1.035 % |
592.19/592.62 c | 696577 | 861 68515 199410 | 30043 29173 95 | 1.035 % |
594.99/595.46 c | 700564 | 860 68245 198870 | 28974 28552 98 | 1.150 % |
598.78/599.23 c | 704949 | 860 68245 198870 | 28974 29350 95 | 1.224 % |
602.98/603.46 c | 709772 | 860 68245 198870 | 28974 26834 100 | 1.150 % |
607.08/607.54 c | 715077 | 860 68245 198870 | 27064 25163 100 | 1.150 % |
610.48/610.95 c | 720913 | 860 68245 198870 | 2147483647 27976 109 | 1.169 % |
616.77/617.28 c | 727331 | 860 68245 198870 | 2147483647 34394 109 | 1.150 % |
616.87/617.37 c | 727431 | 860 68245 198870 | 2147483647 34494 109 | 1.150 % |
617.07/617.54 c | 727542 | 860 68245 198870 | 2147483647 34605 109 | 1.150 % |
617.17/617.64 c | 727664 | 860 68245 198870 | 2147483647 34727 109 | 1.150 % |
617.37/617.83 c | 727799 | 860 68245 198870 | 2147483647 34862 108 | 1.150 % |
617.48/617.97 c | 727945 | 860 68245 198870 | 2147483647 35008 108 | 1.150 % |
617.68/618.18 c | 728106 | 860 68245 198870 | 2147483647 35169 108 | 1.150 % |
617.87/618.33 c | 728282 | 860 68245 198870 | 2147483647 35345 108 | 1.150 % |
618.07/618.56 c | 728475 | 860 68245 198870 | 2147483647 35538 108 | 1.150 % |
618.27/618.77 c | 728691 | 860 68245 198870 | 2147483647 35754 108 | 1.150 % |
618.47/618.99 c | 728924 | 860 68245 198870 | 2147483647 35987 108 | 1.150 % |
618.78/619.28 c | 729181 | 860 68245 198870 | 2147483647 36244 108 | 1.150 % |
619.17/619.62 c | 729462 | 860 68245 198870 | 2147483647 36525 107 | 1.150 % |
619.47/619.97 c | 729771 | 860 68245 198870 | 2147483647 36834 107 | 1.150 % |
619.77/620.26 c | 730110 | 860 68245 198870 | 37063 37173 107 | 1.150 % |
620.07/620.57 c | 730482 | 860 68245 198870 | 37063 30818 104 | 1.150 % |
620.47/620.93 c | 730892 | 860 68245 198870 | 37063 31228 104 | 1.150 % |
620.87/621.39 c | 731342 | 860 68245 198870 | 37063 31678 103 | 1.150 % |
621.57/622.01 c | 731837 | 860 68245 198870 | 37063 32173 103 | 1.150 % |
622.17/622.64 c | 732381 | 860 68245 198870 | 37063 32717 103 | 1.150 % |
622.87/623.35 c | 732979 | 860 68245 198870 | 37063 33315 102 | 1.150 % |
623.57/624.09 c | 733635 | 860 68245 198870 | 37063 33971 102 | 1.150 % |
624.17/624.69 c | 734357 | 860 68245 198870 | 37063 34693 102 | 1.150 % |
625.07/625.53 c | 735150 | 860 68245 198870 | 37063 35486 101 | 1.150 % |
626.16/626.69 c | 736021 | 860 68245 198870 | 37063 36357 101 | 1.150 % |
626.76/627.21 c | 736980 | 860 68245 198870 | 37063 37316 102 | 1.168 % |
627.77/628.21 c | 738035 | 860 68245 198870 | 37063 31635 99 | 1.150 % |
628.86/629.34 c | 739193 | 860 68245 198870 | 37063 32793 99 | 1.150 % |
629.87/630.39 c | 740467 | 860 68245 198870 | 33600 28134 95 | 1.150 % |
630.97/631.45 c | 741870 | 860 68245 198870 | 33600 29537 95 | 1.150 % |
632.26/632.76 c | 743411 | 860 68245 198870 | 33600 31078 96 | 1.150 % |
633.86/634.39 c | 745106 | 860 68245 198870 | 33600 32773 97 | 1.150 % |
635.66/636.17 c | 746969 | 860 68245 198870 | 33600 29183 90 | 1.150 % |
637.26/637.75 c | 749018 | 860 68245 198870 | 33600 31232 91 | 1.150 % |
638.96/639.48 c | 751271 | 859 68066 198512 | 32204 28833 90 | 1.265 % |
640.76/641.21 c | 753749 | 859 68066 198512 | 32204 31311 91 | 1.265 % |
643.55/644.05 c | 756475 | 859 68066 198512 | 32204 30798 93 | 1.265 % |
647.15/647.66 c | 759472 | 859 68066 198512 | 32204 29781 96 | 1.265 % |
651.15/651.66 c | 762769 | 859 68066 198512 | 30310 28703 95 | 1.265 % |
656.75/657.27 c | 766394 | 859 68066 198512 | 30310 26249 99 | 1.265 % |
662.25/662.78 c | 770383 | 859 68066 198512 | 29859 24099 102 | 1.265 % |
668.15/668.67 c | 774768 | 859 68066 198512 | 29859 28484 105 | 1.265 % |
675.14/675.68 c | 779592 | 859 68066 198512 | 29859 27905 105 | 1.265 % |
677.24/677.73 c | 784898 | 859 68066 198512 | 28313 26035 107 | 1.285 % |
684.44/684.98 c | 790735 | 859 68066 198512 | 27991 24248 101 | 1.265 % |
690.43/690.92 c | 797154 | 859 68066 198512 | 27991 25598 96 | 1.265 % |
698.33/698.82 c | 804214 | 859 68066 198512 | 23624 23758 88 | 1.265 % |
698.43/698.98 c | 804314 | 859 68066 198512 | 23624 20228 82 | 1.265 % |
698.63/699.11 c | 804424 | 859 68066 198512 | 23624 20338 82 | 1.265 % |
698.73/699.27 c | 804548 | 859 68066 198512 | 23624 20462 82 | 1.265 % |
698.83/699.32 c | 804682 | 859 68066 198512 | 23624 20596 82 | 1.265 % |
698.93/699.44 c | 804828 | 859 68066 198512 | 23624 20742 83 | 1.265 % |
699.03/699.52 c | 804988 | 859 68066 198512 | 23624 20902 83 | 1.265 % |
699.03/699.59 c | 805164 | 859 68066 198512 | 23624 21078 83 | 1.265 % |
699.23/699.70 c | 805357 | 859 68066 198512 | 23624 21271 83 | 1.265 % |
699.33/699.84 c | 805570 | 859 68066 198512 | 23624 21484 84 | 1.265 % |
699.43/699.94 c | 805803 | 859 68066 198512 | 23624 21717 84 | 1.288 % |
699.53/700.03 c | 806059 | 859 68066 198512 | 23624 21973 84 | 1.265 % |
699.63/700.18 c | 806340 | 859 68066 198512 | 23624 22254 84 | 1.284 % |
699.83/700.35 c | 806651 | 859 68066 198512 | 23624 22565 85 | 1.265 % |
700.03/700.53 c | 806990 | 859 68066 198512 | 23624 22904 85 | 1.265 % |
700.23/700.72 c | 807362 | 859 68066 198512 | 23624 23276 85 | 1.265 % |
700.43/700.92 c | 807772 | 859 68066 198512 | 23624 23686 85 | 1.265 % |
700.63/701.12 c | 808222 | 859 68066 198512 | 23624 21574 83 | 1.265 % |
700.83/701.34 c | 808716 | 859 68066 198512 | 23624 22068 84 | 1.265 % |
701.13/701.61 c | 809259 | 859 68066 198512 | 23624 22611 84 | 1.265 % |
701.43/701.96 c | 809855 | 859 68066 198512 | 23624 23207 84 | 1.265 % |
701.83/702.32 c | 810510 | 859 68066 198512 | 2147483647 23862 84 | 1.265 % |
702.13/702.62 c | 811230 | 859 68066 198512 | 2147483647 24582 84 | 1.285 % |
702.53/703.04 c | 812023 | 859 68066 198512 | 2147483647 25375 85 | 1.265 % |
703.03/703.51 c | 812895 | 859 68066 198512 | 2147483647 26247 87 | 1.285 % |
703.73/704.20 c | 813853 | 859 68066 198512 | 2147483647 27205 87 | 1.265 % |
704.43/704.90 c | 814906 | 859 68066 198512 | 2147483647 28258 88 | 1.265 % |
705.12/705.61 c | 816064 | 859 68066 198512 | 2147483647 29416 87 | 1.265 % |
705.73/706.22 c | 817337 | 859 68066 198512 | 2147483647 30689 89 | 1.289 % |
706.62/707.16 c | 818737 | 859 68066 198512 | 2147483647 32089 90 | 1.265 % |
707.72/708.24 c | 820277 | 859 68066 198512 | 2147483647 33629 90 | 1.265 % |
709.62/710.15 c | 821971 | 859 68066 198512 | 2147483647 35323 92 | 1.265 % |
712.02/712.54 c | 823834 | 859 68066 198512 | 2147483647 37186 93 | 1.265 % |
714.43/714.99 c | 825884 | 859 68066 198512 | 2147483647 39236 93 | 1.265 % |
717.62/718.13 c | 828138 | 859 68066 198512 | 2147483647 41490 92 | 1.265 % |
721.12/721.69 c | 830618 | 859 68066 198512 | 43354 35141 91 | 1.265 % |
724.72/725.24 c | 833348 | 859 68066 198512 | 43354 37871 92 | 1.265 % |
728.52/729.01 c | 836346 | 859 68066 198512 | 43354 40869 93 | 1.265 % |
732.71/733.22 c | 839643 | 859 68066 198512 | 43354 34925 91 | 1.265 % |
736.21/736.77 c | 843272 | 859 68066 198512 | 35284 31057 86 | 1.265 % |
740.61/741.18 c | 847259 | 859 68066 198512 | 35284 35044 88 | 1.265 % |
745.31/745.89 c | 851644 | 859 68066 198512 | 31543 28257 89 | 1.265 % |
751.10/751.69 c | 856468 | 859 68066 198512 | 31543 28711 90 | 1.265 % |
757.30/757.86 c | 861774 | 859 68066 198512 | 28028 26030 92 | 1.265 % |
767.09/767.62 c | 867611 | 859 68066 198512 | 28028 27554 93 | 1.265 % |
774.29/774.87 c | 874030 | 859 68066 198512 | 25349 25591 90 | 1.265 % |
776.98/777.59 c | 881090 | 859 68066 198512 | 2147483647 24611 97 | 1.284 % |
781.68/782.24 c | 888855 | 859 68066 198512 | 2147483647 32376 104 | 1.284 % |
781.78/782.39 c | 888955 | 859 68066 198512 | 2147483647 32476 105 | 1.265 % |
781.88/782.46 c | 889065 | 859 68066 198512 | 2147483647 32586 104 | 1.265 % |
781.98/782.57 c | 889186 | 859 68066 198512 | 2147483647 32707 104 | 1.294 % |
782.18/782.77 c | 889319 | 859 68066 198512 | 2147483647 32840 104 | 1.265 % |
782.38/782.99 c | 889465 | 859 68066 198512 | 2147483647 32986 104 | 1.265 % |
782.68/783.26 c | 889626 | 859 68066 198512 | 2147483647 33147 104 | 1.265 % |
782.88/783.49 c | 889803 | 859 68066 198512 | 2147483647 33324 104 | 1.265 % |
783.18/783.72 c | 889996 | 859 68066 198512 | 2147483647 33517 105 | 1.265 % |
783.58/784.11 c | 890210 | 859 68066 198512 | 2147483647 33731 105 | 1.265 % |
783.88/784.41 c | 890443 | 859 68066 198512 | 2147483647 33964 105 | 1.265 % |
784.28/784.85 c | 890699 | 859 68066 198512 | 2147483647 34220 105 | 1.265 % |
784.78/785.31 c | 890984 | 859 68066 198512 | 2147483647 34505 105 | 1.265 % |
785.17/785.74 c | 891294 | 859 68066 198512 | 2147483647 34815 105 | 1.265 % |
785.47/786.00 c | 891634 | 859 68066 198512 | 2147483647 35155 105 | 1.265 % |
785.99/786.52 c | 892007 | 859 68066 198512 | 2147483647 35528 105 | 1.265 % |
786.48/787.02 c | 892418 | 859 68066 198512 | 2147483647 35939 104 | 1.288 % |
786.88/787.44 c | 892867 | 859 68066 198512 | 2147483647 36388 104 | 1.265 % |
787.28/787.87 c | 893360 | 859 68066 198512 | 2147483647 36881 104 | 1.265 % |
787.78/788.32 c | 893903 | 859 68066 198512 | 2147483647 37424 104 | 1.265 % |
788.28/788.83 c | 894499 | 859 68066 198512 | 2147483647 38020 105 | 1.265 % |
788.88/789.43 c | 895155 | 859 68066 198512 | 2147483647 38676 105 | 1.265 % |
789.68/790.23 c | 895875 | 859 68066 198512 | 2147483647 39396 105 | 1.265 % |
790.28/790.89 c | 896670 | 859 68066 198512 | 2147483647 40191 105 | 1.265 % |
791.18/791.78 c | 897541 | 859 68066 198512 | 2147483647 41062 105 | 1.265 % |
792.48/793.07 c | 898499 | 859 68066 198512 | 2147483647 42020 106 | 1.265 % |
794.88/795.41 c | 899553 | 859 68066 198512 | 2147483647 43074 105 | 1.265 % |
796.48/797.09 c | 900715 | 859 68066 198512 | 43521 33545 108 | 1.282 % |
798.38/798.96 c | 901988 | 859 68066 198512 | 43521 34818 107 | 1.284 % |
799.98/800.55 c | 903388 | 859 68066 198512 | 43521 36218 106 | 1.265 % |
801.77/802.34 c | 904929 | 859 68066 198512 | 43521 37759 105 | 1.265 % |
803.67/804.23 c | 906623 | 859 68066 198512 | 43521 39453 105 | 1.265 % |
805.57/806.17 c | 908487 | 859 68066 198512 | 43521 41317 105 | 1.265 % |
808.17/808.72 c | 910536 | 859 68066 198512 | 42830 32801 100 | 1.265 % |
809.57/810.11 c | 912790 | 859 68066 198512 | 42830 35055 100 | 1.288 % |
811.97/812.55 c | 915271 | 859 68066 198512 | 42830 37536 99 | 1.265 % |
815.47/816.08 c | 917999 | 859 68066 198512 | 42830 40264 99 | 1.265 % |
818.47/819.08 c | 920997 | 859 68066 198512 | 42265 32611 90 | 1.265 % |
821.76/822.32 c | 924297 | 859 68066 198512 | 42265 35911 91 | 1.265 % |
825.96/826.59 c | 927922 | 859 68066 198512 | 42265 39536 93 | 1.265 % |
831.16/831.77 c | 931910 | 859 68066 198512 | 41614 33148 90 | 1.265 % |
836.46/837.04 c | 936299 | 859 68066 198512 | 41614 37537 89 | 1.265 % |
841.65/842.20 c | 941123 | 859 68066 198512 | 41238 32039 88 | 1.265 % |
846.36/846.98 c | 946429 | 859 68066 198512 | 41238 37345 91 | 1.265 % |
853.35/853.96 c | 952265 | 859 68066 198512 | 40916 34203 90 | 1.265 % |
862.05/862.65 c | 958685 | 859 68066 198512 | 40916 40623 92 | 1.265 % |
870.34/870.90 c | 965744 | 859 68066 198512 | 32669 31259 90 | 1.265 % |
879.13/879.71 c | 973508 | 859 68066 198512 | 29696 27841 88 | 1.265 % |
883.13/883.76 c | 982049 | 859 68066 198512 | 2147483647 29965 103 | 1.290 % |
883.23/883.88 c | 982149 | 859 68066 198512 | 2147483647 30065 102 | 1.265 % |
883.43/884.00 c | 982261 | 859 68066 198512 | 2147483647 30177 103 | 1.265 % |
883.43/884.08 c | 982383 | 859 68066 198512 | 2147483647 30299 103 | 1.265 % |
883.63/884.25 c | 982518 | 859 68066 198512 | 2147483647 30434 103 | 1.265 % |
883.73/884.38 c | 982665 | 859 68066 198512 | 2147483647 30581 103 | 1.265 % |
883.83/884.47 c | 982825 | 859 68066 198512 | 2147483647 30741 103 | 1.265 % |
884.03/884.62 c | 983005 | 859 68066 198512 | 2147483647 30921 103 | 1.265 % |
884.23/884.87 c | 983200 | 859 68066 198512 | 2147483647 31116 103 | 1.265 % |
884.53/885.11 c | 983412 | 859 68066 198512 | 2147483647 31328 103 | 1.265 % |
884.73/885.38 c | 983645 | 859 68066 198512 | 2147483647 31561 103 | 1.265 % |
885.13/885.79 c | 983901 | 859 68066 198512 | 2147483647 31817 103 | 1.265 % |
885.53/886.13 c | 984183 | 859 68066 198512 | 2147483647 32099 102 | 1.265 % |
885.73/886.39 c | 984493 | 859 68066 198512 | 2147483647 32409 102 | 1.265 % |
886.03/886.68 c | 984832 | 859 68066 198512 | 2147483647 32748 102 | 1.265 % |
886.43/887.06 c | 985204 | 859 68066 198512 | 2147483647 33120 102 | 1.265 % |
886.63/887.23 c | 985613 | 859 68066 198512 | 2147483647 33529 102 | 1.265 % |
887.33/887.95 c | 986062 | 859 68066 198512 | 2147483647 33978 101 | 1.265 % |
887.73/888.36 c | 986555 | 859 68066 198512 | 2147483647 34471 101 | 1.265 % |
888.23/888.82 c | 987098 | 859 68066 198512 | 2147483647 35014 101 | 1.284 % |
888.73/889.36 c | 987694 | 859 68066 198512 | 2147483647 35610 101 | 1.284 % |
889.33/889.96 c | 988350 | 859 68066 198512 | 2147483647 36266 101 | 1.265 % |
890.12/890.72 c | 989072 | 859 68066 198512 | 2147483647 36988 101 | 1.265 % |
890.82/891.47 c | 989864 | 859 68066 198512 | 2147483647 37780 101 | 1.287 % |
891.72/892.39 c | 990738 | 859 68066 198512 | 37919 31857 103 | 1.265 % |
892.72/893.36 c | 991697 | 859 68066 198512 | 37919 32816 103 | 1.265 % |
893.82/894.40 c | 992751 | 859 68066 198512 | 37919 33870 104 | 1.265 % |
894.73/895.31 c | 993909 | 859 68066 198512 | 37919 35028 103 | 1.265 % |
895.82/896.41 c | 995183 | 859 68066 198512 | 37919 36302 103 | 1.265 % |
897.92/898.59 c | 996583 | 859 68066 198512 | 37919 37702 102 | 1.287 % |
899.12/899.79 c | 998124 | 859 68066 198512 | 37919 30597 102 | 1.265 % |
900.12/900.75 c | 999818 | 859 68066 198512 | 37919 32291 102 | 1.265 % |
901.22/901.83 c | 1001683 | 859 68066 198512 | 32475 28052 94 | 1.265 % |
903.22/903.83 c | 1003732 | 859 68066 198512 | 32475 30101 95 | 1.265 % |
904.82/905.49 c | 1005986 | 859 68066 198512 | 32475 32355 97 | 1.265 % |
907.02/907.66 c | 1008464 | 859 68066 198512 | 32475 30103 90 | 1.265 % |
909.22/909.89 c | 1011190 | 859 68066 198512 | 31639 28417 91 | 1.265 % |
911.01/911.66 c | 1014190 | 859 68066 198512 | 31639 31417 92 | 1.265 % |
913.61/914.24 c | 1017486 | 859 68066 198512 | 31639 31523 93 | 1.265 % |
917.61/918.22 c | 1021111 | 859 68066 198512 | 30797 28407 95 | 1.265 % |
920.40/921.09 c | 1025101 | 859 68066 198512 | 30797 29306 98 | 1.265 % |
924.90/925.57 c | 1029487 | 859 68066 198512 | 30797 30332 98 | 1.265 % |
929.80/930.42 c | 1034311 | 859 68066 198512 | 30847 27179 91 | 1.265 % |
934.30/934.95 c | 1039617 | 859 68066 198512 | 30847 28779 93 | 1.265 % |
940.40/941.05 c | 1045454 | 859 68066 198512 | 29163 27823 98 | 1.265 % |
947.89/948.60 c | 1051872 | 859 68066 198512 | 29050 27510 101 | 1.265 % |
955.29/955.93 c | 1058931 | 859 68066 198512 | 29050 26243 98 | 1.265 % |
963.68/964.34 c | 1066695 | 859 68066 198512 | 27312 26839 98 | 1.265 % |
973.27/973.97 c | 1075237 | 859 68066 198512 | 26630 24707 102 | 1.265 % |
983.97/984.64 c | 1084631 | 859 68066 198512 | 25920 23240 96 | 1.265 % |
984.07/984.74 c | 1084733 | 859 68066 198512 | 25920 23342 96 | 1.265 % |
984.17/984.87 c | 1084844 | 859 68066 198512 | 25920 23453 96 | 1.265 % |
984.37/985.03 c | 1084966 | 859 68066 198512 | 25920 23575 97 | 1.265 % |
984.57/985.23 c | 1085099 | 859 68066 198512 | 25920 23708 97 | 1.265 % |
984.57/985.29 c | 1085246 | 859 68066 198512 | 25920 23855 97 | 1.287 % |
984.77/985.41 c | 1085406 | 859 68066 198512 | 25920 24015 97 | 1.265 % |
984.87/985.57 c | 1085582 | 859 68066 198512 | 25920 24191 97 | 1.265 % |
985.07/985.74 c | 1085776 | 859 68066 198512 | 25920 24385 97 | 1.282 % |
985.27/985.93 c | 1085989 | 859 68066 198512 | 25920 24598 97 | 1.285 % |
985.46/986.15 c | 1086223 | 859 68066 198512 | 25920 24832 97 | 1.265 % |
985.66/986.36 c | 1086479 | 859 68066 198512 | 25920 25088 97 | 1.285 % |
985.97/986.63 c | 1086760 | 859 68066 198512 | 25920 25369 96 | 1.265 % |
986.07/986.74 c | 1087069 | 859 68066 198512 | 25920 25678 96 | 1.265 % |
986.26/986.96 c | 1087408 | 859 68066 198512 | 25920 26017 96 | 1.265 % |
986.46/987.13 c | 1087782 | 859 68066 198512 | 25920 23050 95 | 1.265 % |
986.56/987.24 c | 1088193 | 859 68066 198512 | 25920 23461 94 | 1.288 % |
986.66/987.37 c | 1088644 | 859 68066 198512 | 25920 23912 94 | 1.265 % |
986.86/987.52 c | 1089137 | 859 68066 198512 | 25920 24405 94 | 1.265 % |
987.07/987.72 c | 1089680 | 859 68066 198512 | 25920 24948 94 | 1.265 % |
987.26/987.92 c | 1090278 | 859 68066 198512 | 2147483647 25546 93 | 1.265 % |
987.46/988.17 c | 1090936 | 859 68066 198512 | 2147483647 26204 93 | 1.265 % |
987.76/988.48 c | 1091656 | 859 68066 198512 | 2147483647 26924 93 | 1.288 % |
988.06/988.79 c | 1092448 | 859 68066 198512 | 2147483647 27716 92 | 1.265 % |
988.56/989.25 c | 1093320 | 859 68066 198512 | 2147483647 28588 92 | 1.265 % |
989.06/989.76 c | 1094280 | 859 68066 198512 | 2147483647 29548 91 | 1.265 % |
989.66/990.37 c | 1095335 | 859 68066 198512 | 2147483647 30603 90 | 1.265 % |
990.26/990.90 c | 1096493 | 859 68066 198512 | 2147483647 31761 90 | 1.265 % |
991.06/991.73 c | 1097767 | 859 68066 198512 | 2147483647 33035 91 | 1.265 % |
992.06/992.77 c | 1099170 | 859 68066 198512 | 2147483647 34438 91 | 1.265 % |
993.86/994.57 c | 1100712 | 859 68066 198512 | 2147483647 35980 90 | 1.265 % |
995.96/996.61 c | 1102408 | 859 68066 198512 | 2147483647 37676 90 | 1.265 % |
998.06/998.75 c | 1104271 | 859 68066 198512 | 2147483647 39539 90 | 1.265 % |
999.46/1000.13 c | 1106322 | 859 68066 198512 | 2147483647 41590 91 | 1.265 % |
1000.76/1001.45 c | 1108575 | 859 68066 198512 | 2147483647 43843 90 | 1.265 % |
1002.46/1003.17 c | 1111053 | 859 68066 198512 | 45268 39920 87 | 1.265 % |
1004.25/1004.99 c | 1113778 | 859 68066 198512 | 45268 42645 88 | 1.265 % |
1008.65/1009.31 c | 1116779 | 859 68066 198512 | 45268 38026 85 | 1.265 % |
1012.55/1013.22 c | 1120076 | 859 68066 198512 | 41248 41323 87 | 1.265 % |
1014.25/1014.98 c | 1123702 | 859 68066 198512 | 41248 37477 86 | 1.291 % |
1018.45/1019.17 c | 1127689 | 859 68066 198512 | 41248 41464 86 | 1.265 % |
1021.95/1022.68 c | 1132074 | 859 68066 198512 | 37757 34650 90 | 1.265 % |
1025.15/1025.84 c | 1136899 | 859 68066 198512 | 37757 34511 90 | 1.265 % |
1029.54/1030.28 c | 1142204 | 859 68066 198512 | 37615 34923 89 | 1.265 % |
1033.14/1033.89 c | 1148043 | 859 68066 198512 | 37615 36147 88 | 1.265 % |
1037.94/1038.64 c | 1154461 | 859 68066 198512 | 33287 30331 84 | 1.265 % |
1045.73/1046.41 c | 1161520 | 859 68066 198512 | 31840 28958 84 | 1.265 % |
1050.23/1050.97 c | 1169286 | 859 68066 198512 | 31840 30270 86 | 1.311 % |
1060.63/1061.38 c | 1177826 | 859 68066 198512 | 2147483647 38810 94 | 1.265 % |
1078.62/1079.34 c | 1187220 | 859 68066 198512 | 40988 39390 105 | 1.265 % |
1095.01/1095.78 c | 1197553 | 859 68066 198512 | 30856 30054 118 | 1.265 % |
1095.11/1095.82 c | 1197656 | 859 68066 198512 | 30856 30157 118 | 1.288 % |
1095.31/1096.02 c | 1197774 | 859 68066 198512 | 30856 30275 118 | 1.265 % |
1095.51/1096.20 c | 1197895 | 859 68066 198512 | 30856 30396 117 | 1.265 % |
1095.61/1096.35 c | 1198028 | 859 68066 198512 | 30856 30529 117 | 1.265 % |
1095.71/1096.44 c | 1198174 | 859 68066 198512 | 30856 30675 117 | 1.265 % |
1095.81/1096.51 c | 1198334 | 859 68066 198512 | 30856 30835 117 | 1.265 % |
1096.01/1096.79 c | 1198513 | 859 68066 198512 | 30856 31014 117 | 1.285 % |
1096.31/1097.06 c | 1198707 | 859 68066 198512 | 30856 24691 111 | 1.287 % |
1096.51/1097.27 c | 1198921 | 859 68066 198512 | 30856 24905 111 | 1.265 % |
1096.90/1097.61 c | 1199155 | 859 68066 198512 | 30856 25139 111 | 1.265 % |
1097.20/1097.93 c | 1199412 | 859 68066 198512 | 30856 25396 111 | 1.265 % |
1097.60/1098.31 c | 1199693 | 859 68066 198512 | 30856 25677 111 | 1.265 % |
1098.00/1098.78 c | 1200004 | 859 68066 198512 | 25984 25988 111 | 1.265 % |
1098.11/1098.89 c | 1200343 | 859 68066 198512 | 25984 26327 111 | 1.287 % |
1098.50/1099.30 c | 1200715 | 859 68066 198512 | 25984 21589 104 | 1.265 % |
1098.90/1099.65 c | 1201124 | 859 68066 198512 | 25984 21998 104 | 1.265 % |
1099.21/1100.00 c | 1201575 | 859 68066 198512 | 25984 22449 104 | 1.265 % |
1099.50/1100.27 c | 1202069 | 859 68066 198512 | 25984 22943 104 | 1.265 % |
1099.80/1100.56 c | 1202611 | 859 68066 198512 | 25984 23485 105 | 1.284 % |
1100.30/1101.08 c | 1203209 | 859 68066 198512 | 25984 24083 105 | 1.265 % |
1101.00/1101.74 c | 1203864 | 859 68066 198512 | 25984 24738 105 | 1.265 % |
1101.20/1102.00 c | 1204585 | 859 68066 198512 | 25984 25459 105 | 1.265 % |
1101.60/1102.33 c | 1205378 | 859 68066 198512 | 25984 26252 106 | 1.265 % |
1102.40/1103.17 c | 1206249 | 859 68066 198512 | 25984 23591 103 | 1.265 % |
1103.00/1103.74 c | 1207209 | 859 68066 198512 | 25984 24551 102 | 1.265 % |
1104.20/1104.97 c | 1208263 | 859 68066 198512 | 25984 25605 103 | 1.265 % |
1105.30/1106.08 c | 1209421 | 859 68066 198512 | 25984 23543 100 | 1.265 % |
1106.20/1106.98 c | 1210696 | 859 68066 198512 | 24123 22207 97 | 1.265 % |
1107.20/1107.94 c | 1212097 | 859 68066 198512 | 24123 23608 97 | 1.265 % |
1108.10/1108.83 c | 1213639 | 859 68066 198512 | 24123 22701 96 | 1.265 % |
1109.40/1110.11 c | 1215333 | 859 68066 198512 | 24123 21960 95 | 1.265 % |
1110.80/1111.50 c | 1217196 | 859 68066 198512 | 24123 23823 95 | 1.265 % |
1112.30/1113.03 c | 1219247 | 859 68066 198512 | 24123 23440 95 | 1.265 % |
1114.09/1114.80 c | 1221500 | 859 68066 198512 | 2147483647 25693 96 | 1.265 % |
1115.49/1116.26 c | 1223978 | 859 68066 198512 | 2147483647 28171 94 | 1.265 % |
1118.49/1119.21 c | 1226703 | 859 68066 198512 | 2147483647 30896 94 | 1.265 % |
1121.39/1122.14 c | 1229700 | 859 68066 198512 | 2147483647 33893 95 | 1.265 % |
1124.69/1125.41 c | 1232996 | 859 68066 198512 | 34193 32700 93 | 1.265 % |
1128.09/1128.87 c | 1236623 | 859 68066 198512 | 34193 30718 89 | 1.265 % |
1131.89/1132.63 c | 1240611 | 859 68066 198512 | 34095 29464 87 | 1.265 % |
1136.08/1136.85 c | 1244996 | 859 68066 198512 | 34095 33849 89 | 1.265 % |
1141.28/1142.06 c | 1249822 | 859 68066 198512 | 34095 33527 89 | 1.265 % |
1146.38/1147.19 c | 1255131 | 859 68066 198512 | 33706 33400 90 | 1.265 % |
1151.58/1152.31 c | 1260968 | 859 68066 198512 | 33641 30390 87 | 1.265 % |
1157.88/1158.61 c | 1267387 | 859 68066 198512 | 33641 32725 90 | 1.265 % |
1164.97/1165.78 c | 1274449 | 859 68066 198512 | 31223 28639 88 | 1.265 % |
1175.17/1175.98 c | 1282213 | 859 68066 198512 | 30513 28616 88 | 1.265 % |
1186.07/1186.90 c | 1290758 | 859 68066 198512 | 27231 24066 86 | 1.265 % |
1197.26/1198.06 c | 1300152 | 859 68066 198512 | 26082 26234 87 | 1.265 % |
1200.06/1200.81 HOME/SatELiteGTI: line 36: 10698 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832385-1242772745/watcher-1832385-1242772745 -o /tmp/evaluation-result-1832385-1242772745/solver-1832385-1242772745 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832385-1242772745.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10692
/proc/meminfo: memFree=1939200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0
/proc/10692/stat : 10692 (SatELiteGTI) R 10690 10692 10498 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 305303127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213115922931 0 0 4100 65536 0 0 0 17 0 0 0
/proc/10692/statm: 1339 237 197 169 0 50 0
[startup+0.0877511 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10692
/proc/meminfo: memFree=1939200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10692/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101751 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10692
/proc/meminfo: memFree=1939200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10692/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301789 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10692
/proc/meminfo: memFree=1939200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303127 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10692/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701872 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10692
/proc/meminfo: memFree=1939200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 5356
[startup+1.50202 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1932848/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=6876 CPUtime=0.83
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 1590 0 0 0 82 1 0 0 25 0 1 0 305303192 7041024 1576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 1719 1576 77 171 0 1546 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12232
[startup+3.10233 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1930352/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=9808 CPUtime=2.43
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 2331 0 0 0 242 1 0 0 25 0 1 0 305303192 10043392 2317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/10698/statm: 2452 2317 77 171 0 2279 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15164
[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1926128/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=12944 CPUtime=5.62
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 3093 0 0 0 560 2 0 0 25 0 1 0 305303192 13254656 3079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 3236 3079 77 171 0 3063 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18300
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1921072/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=17600 CPUtime=12
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 4280 0 0 0 1197 3 0 0 25 0 1 0 305303192 18022400 4266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 4400 4266 77 171 0 4227 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 22956
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1914416/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=24024 CPUtime=24.8
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 5882 0 0 0 2475 5 0 0 25 0 1 0 305303192 24600576 5868 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 6006 5868 77 171 0 5833 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29380
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1913968/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=24440 CPUtime=50.38
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 5972 0 0 0 5033 5 0 0 25 0 1 0 305303192 25026560 5958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 6110 5958 77 171 0 5937 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 29796
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1913200/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=25032 CPUtime=101.54
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 6094 0 0 0 10148 6 0 0 25 0 1 0 305303192 25632768 6080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10698/statm: 6258 6080 77 171 0 6085 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 30388
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1912944/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=25208 CPUtime=161.49
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 6132 0 0 0 16143 6 0 0 25 0 1 0 305303192 25812992 6118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 6302 6118 77 171 0 6129 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 30564
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10698
/proc/meminfo: memFree=1912752/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=25208 CPUtime=221.46
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 6158 0 0 0 22139 7 0 0 25 0 1 0 305303192 25812992 6144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 6302 6144 77 171 0 6129 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 30564
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1908080/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=29744 CPUtime=281.41
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 7269 0 0 0 28133 8 0 0 25 0 1 0 305303192 30457856 7255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 7436 7255 77 171 0 7263 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 35100
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1907312/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=30592 CPUtime=341.38
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 7445 0 0 0 34130 8 0 0 25 0 1 0 305303192 31326208 7431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 7648 7431 77 171 0 7475 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 35948
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1907120/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=30732 CPUtime=401.34
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 7477 0 0 0 40126 8 0 0 25 0 1 0 305303192 31469568 7463 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 7683 7463 77 171 0 7510 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 36088
[startup+462.301 s]
################
# More data... #
################
[pid=10698] ppid=10692 vsize=31160 CPUtime=461.31
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 7578 0 0 0 46122 9 0 0 25 0 1 0 305303192 31907840 7564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 7790 7564 77 171 0 7617 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 36516
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1903728/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=33932 CPUtime=521.28
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8287 0 0 0 52118 10 0 0 25 0 1 0 305303192 34746368 8273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8483 8273 77 171 0 8310 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 39288
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1903152/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=581.25
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8415 0 0 0 58115 10 0 0 25 0 1 0 305303192 35360768 8401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8401 77 171 0 8460 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 39888
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902960/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=641.22
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8425 0 0 0 64112 10 0 0 25 0 1 0 305303192 35360768 8411 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8411 77 171 0 8460 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 39888
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902832/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=701.19
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8426 0 0 0 70109 10 0 0 25 0 1 0 305303192 35360768 8412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8412 77 171 0 8460 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 39888
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902704/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=761.16
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8426 0 0 0 76106 10 0 0 25 0 1 0 305303192 35360768 8412 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8412 77 171 0 8460 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 39888
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902576/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=821.12
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8429 0 0 0 82101 11 0 0 25 0 1 0 305303192 35360768 8415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8415 77 171 0 8460 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 39888
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902512/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=881.09
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8429 0 0 0 88098 11 0 0 25 0 1 0 305303192 35360768 8415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8415 77 171 0 8460 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 39888
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902448/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=941.05
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8429 0 0 0 94094 11 0 0 25 0 1 0 305303192 35360768 8415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8415 77 171 0 8460 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 39888
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902320/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=1001.02
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8440 0 0 0 100091 11 0 0 25 0 1 0 305303192 35360768 8426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8426 77 171 0 8460 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 39888
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902256/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=1060.99
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8440 0 0 0 106088 11 0 0 25 0 1 0 305303192 35360768 8426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8426 77 171 0 8460 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 39888
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902192/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=1120.95
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8442 0 0 0 112084 11 0 0 25 0 1 0 305303192 35360768 8428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8428 77 171 0 8460 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 39888
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902064/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=1180.92
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8442 0 0 0 118081 11 0 0 25 0 1 0 305303192 35360768 8428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8428 77 171 0 8460 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 39888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10700
/proc/meminfo: memFree=1902064/2055920 swapFree=4153468/4192956
[pid=10692] ppid=10690 vsize=5356 CPUtime=0.64
/proc/10692/stat : 10692 (SatELiteGTI) S 10690 10692 10498 0 -1 4194304 336 1739 0 0 0 0 63 1 16 0 1 0 305303127 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10692/statm: 1339 239 197 169 0 50 0
[pid=10698] ppid=10692 vsize=34532 CPUtime=1199.42
/proc/10698/stat : 10698 (minisat_static) R 10692 10692 10498 0 -1 4194304 8442 0 0 0 119931 11 0 0 25 0 1 0 305303192 35360768 8428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/10698/statm: 8633 8428 77 171 0 8460 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 39888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.95
CPU system time (s): 0.139978
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 39888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10526
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= 24
involuntary context switches= 6893
runsolver used 0.966853 second user time and 3.52446 second system time
The end
Begin job on node37 at 2009-05-20 00:39:06
IDJOB=1832385
IDBENCH=24756
IDSOLVER=671
FILE ID=node37/1832385-1242772745
PBS_JOBID= 9322261
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832385-1242772745/watcher-1832385-1242772745 -o /tmp/evaluation-result-1832385-1242772745/solver-1832385-1242772745 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832385-1242772745.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4a0cf034172f796c42342e79509e3449
RANDOM SEED=1555820526
node37.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.259
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.259
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: 1939744 kB
Buffers: 10508 kB
Cached: 37640 kB
SwapCached: 34064 kB
Active: 47000 kB
Inactive: 36908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1939744 kB
SwapTotal: 4192956 kB
SwapFree: 4153468 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 13972 kB
Slab: 18492 kB
Committed_AS: 1104992 kB
PageTables: 1376 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= 66452 MiB
End job on node37 at 2009-05-20 00:59:08