0.00/0.00 c Parsing...
0.00/0.52 c ==============================================================================
0.00/0.52 c | | ORIGINAL | LEARNT | |
0.00/0.52 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.52 c ==============================================================================
0.00/0.52 c | 0 | 711049 2091629 | 213314 0 0 nan | 0.000 % |
2.49/2.50 c | 0 | 700461 2138957 | -- 0 -- -- | -- | -10530/47459
2.49/2.50 c ==============================================================================
2.49/2.50 c Result : #vars: 21173 #clauses: 700461 #literals: 2138957
2.49/2.50 c CPU time: 2.39663 s
2.49/2.50 c ==============================================================================
3.09/3.18 c This is MiniSat 2.0 beta
3.09/3.18 c WARNING: for repeatability, setting FPU to use double precision
3.09/3.18 c ============================[ Problem Statistics ]=============================
3.09/3.18 c | |
3.09/3.18 c | Number of variables: 21173 |
3.09/3.18 c | Number of clauses: 700461 |
3.47/3.59 c | Parsing time: 0.36 s |
3.57/3.61 c ============================[ Search Statistics ]==============================
3.57/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.57/3.61 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.57/3.61 c ===============================================================================
3.57/3.61 c | 0 | 21173 700461 2138957 | 233487 0 nan | 0.000 % |
3.57/3.67 c | 103 | 21173 700461 2138957 | 233487 103 75 | 0.000 % |
3.67/3.78 c | 203 | 21173 700461 2138957 | 233487 203 58 | 0.001 % |
3.77/3.82 c | 305 | 21173 700461 2138957 | 233487 305 50 | 0.000 % |
3.77/3.87 c | 418 | 21173 700461 2138957 | 233487 418 50 | 0.000 % |
3.88/3.90 c | 519 | 21173 700461 2138957 | 233487 519 47 | 0.000 % |
3.88/3.99 c | 630 | 21173 700461 2138957 | 233487 630 54 | 0.000 % |
3.98/4.04 c | 751 | 21173 700461 2138957 | 233487 751 51 | 0.000 % |
4.08/4.10 c | 852 | 21173 700461 2138957 | 233487 852 49 | 0.000 % |
4.08/4.13 c | 962 | 21173 700461 2138957 | 233487 962 48 | 0.000 % |
4.18/4.21 c | 1086 | 21173 700461 2138957 | 233487 1086 46 | 0.000 % |
4.18/4.27 c | 1219 | 21173 700461 2138957 | 233487 1219 47 | 0.000 % |
4.28/4.32 c | 1319 | 21173 700461 2138957 | 233487 1319 46 | 0.000 % |
4.28/4.36 c | 1429 | 21173 700461 2138957 | 233487 1429 48 | 0.000 % |
4.38/4.42 c | 1550 | 21173 700461 2138957 | 233487 1550 50 | 0.000 % |
4.38/4.49 c | 1683 | 21173 700461 2138957 | 233487 1683 50 | 0.000 % |
4.48/4.57 c | 1835 | 21173 700461 2138957 | 233487 1835 61 | 0.000 % |
4.58/4.64 c | 1935 | 21173 700461 2138957 | 233487 1935 61 | 0.000 % |
4.68/4.71 c | 2045 | 21173 700461 2138957 | 233487 2045 63 | 0.000 % |
4.68/4.79 c | 2170 | 21173 700461 2138957 | 233487 2170 63 | 0.000 % |
4.78/4.84 c | 2303 | 21173 700461 2138957 | 233487 2303 65 | 0.000 % |
4.88/4.91 c | 2452 | 21173 700461 2138957 | 233487 2452 65 | 0.000 % |
4.88/4.96 c | 2616 | 21173 700461 2138957 | 233487 2616 68 | 0.000 % |
4.98/5.03 c | 2716 | 21173 700461 2138957 | 233487 2716 68 | 0.000 % |
4.98/5.08 c | 2828 | 21173 700461 2138957 | 233487 2828 69 | 0.000 % |
5.08/5.12 c | 2952 | 21173 700461 2138957 | 233487 2952 68 | 0.000 % |
5.18/5.21 c | 3085 | 21173 700461 2138957 | 233487 3085 67 | 0.000 % |
5.18/5.28 c | 3231 | 21173 700461 2138957 | 233487 3231 68 | 0.000 % |
5.28/5.34 c | 3391 | 21173 700461 2138957 | 233487 3391 66 | 0.000 % |
5.38/5.42 c | 3567 | 21173 700461 2138957 | 233487 3567 67 | 0.000 % |
5.38/5.47 c | 3667 | 21173 700461 2138957 | 233487 3667 66 | 0.000 % |
5.48/5.50 c | 3777 | 21173 700461 2138957 | 233487 3777 65 | 0.000 % |
5.48/5.55 c | 3905 | 21173 700461 2138957 | 233487 3905 65 | 0.000 % |
5.58/5.60 c | 4038 | 21173 700461 2138957 | 233487 4038 66 | 0.000 % |
5.58/5.67 c | 4186 | 21173 700461 2138957 | 233487 4186 67 | 0.000 % |
5.68/5.73 c | 4346 | 21173 700461 2138957 | 233487 4346 67 | 0.000 % |
5.78/5.80 c | 4522 | 21173 700461 2138957 | 233487 4522 69 | 0.000 % |
5.78/5.89 c | 4715 | 21173 700461 2138957 | 233487 4715 69 | 0.000 % |
5.88/5.93 c | 4815 | 21173 700461 2138957 | 233487 4815 69 | 0.000 % |
5.98/6.00 c | 4929 | 21173 700461 2138957 | 233487 4929 69 | 0.000 % |
5.98/6.06 c | 5051 | 21173 700461 2138957 | 233487 5051 69 | 0.000 % |
6.08/6.13 c | 5186 | 21173 700461 2138957 | 233487 5186 69 | 0.000 % |
6.08/6.19 c | 5336 | 21173 700461 2138957 | 233487 5336 69 | 0.000 % |
6.18/6.25 c | 5497 | 21173 700461 2138957 | 233487 5497 68 | 0.000 % |
6.28/6.35 c | 5675 | 21173 700461 2138957 | 233487 5675 67 | 0.000 % |
6.38/6.41 c | 5870 | 21173 700461 2138957 | 233487 5870 66 | 0.000 % |
6.38/6.46 c | 6083 | 21173 700461 2138957 | 233487 6083 64 | 0.000 % |
6.48/6.52 c | 6185 | 21173 700461 2138957 | 233487 6185 64 | 0.000 % |
6.48/6.56 c | 6296 | 21173 700461 2138957 | 233487 6296 63 | 0.000 % |
6.58/6.61 c | 6419 | 21173 700461 2138957 | 233487 6419 63 | 0.000 % |
6.58/6.66 c | 6552 | 21173 700461 2138957 | 233487 6552 63 | 0.000 % |
6.68/6.75 c | 6698 | 21173 700461 2138957 | 233487 6698 64 | 0.000 % |
6.78/6.80 c | 6859 | 21173 700461 2138957 | 233487 6859 64 | 0.000 % |
6.78/6.88 c | 7037 | 21173 700461 2138957 | 233487 7037 64 | 0.000 % |
6.98/7.01 c | 7232 | 21173 700461 2138957 | 233487 7232 64 | 0.000 % |
7.08/7.11 c | 7445 | 21173 700461 2138957 | 233487 7445 65 | 0.000 % |
7.18/7.22 c | 7680 | 21173 700461 2138957 | 233487 7680 66 | 0.000 % |
7.18/7.29 c | 7780 | 21173 700461 2138957 | 233487 7780 66 | 0.000 % |
7.27/7.35 c | 7890 | 21173 700461 2138957 | 233487 7890 66 | 0.000 % |
7.37/7.42 c | 8011 | 21173 700461 2138957 | 233487 8011 66 | 0.000 % |
7.37/7.49 c | 8145 | 21173 700461 2138957 | 233487 8145 66 | 0.000 % |
7.47/7.55 c | 8296 | 21173 700461 2138957 | 233487 8296 66 | 0.000 % |
7.68/7.70 c | 8456 | 21173 700461 2138957 | 233487 8456 66 | 0.000 % |
7.68/7.76 c | 8633 | 21173 700461 2138957 | 233487 8633 66 | 0.000 % |
7.77/7.84 c | 8826 | 21173 700461 2138957 | 233487 8826 67 | 0.000 % |
7.87/7.96 c | 9038 | 21173 700461 2138957 | 233487 9038 67 | 0.000 % |
7.97/8.08 c | 9272 | 21173 700461 2138957 | 233487 9272 68 | 0.000 % |
8.07/8.17 c | 9530 | 21173 700461 2138957 | 233487 9530 70 | 0.000 % |
8.17/8.25 c | 9630 | 21173 700461 2138957 | 233487 9630 72 | 0.000 % |
8.27/8.31 c | 9741 | 21173 700461 2138957 | 233487 9741 72 | 0.000 % |
8.27/8.36 c | 9864 | 21173 700461 2138957 | 233487 9864 72 | 0.000 % |
8.37/8.42 c | 9997 | 21173 700461 2138957 | 233487 9997 72 | 0.000 % |
8.37/8.50 c | 10145 | 21173 700461 2138957 | 2147483647 10145 72 | 0.000 % |
8.47/8.56 c | 10307 | 21173 700461 2138957 | 2147483647 10307 72 | 0.000 % |
8.57/8.62 c | 10484 | 21173 700461 2138957 | 2147483647 10484 72 | 0.000 % |
8.68/8.71 c | 10677 | 21173 700461 2138957 | 2147483647 10677 72 | 0.000 % |
8.78/8.81 c | 10890 | 21173 700461 2138957 | 2147483647 10890 73 | 0.000 % |
8.78/8.89 c | 11123 | 21173 700461 2138957 | 2147483647 11123 72 | 0.000 % |
8.98/9.02 c | 11383 | 21173 700461 2138957 | 2147483647 11383 71 | 0.000 % |
9.08/9.11 c | 11664 | 21173 700461 2138957 | 2147483647 11664 72 | 0.000 % |
9.08/9.14 c | 11767 | 21173 700461 2138957 | 2147483647 11767 71 | 0.000 % |
9.18/9.20 c | 11877 | 21173 700461 2138957 | 2147483647 11877 71 | 0.000 % |
9.18/9.27 c | 11999 | 21173 700461 2138957 | 2147483647 11999 71 | 0.000 % |
9.28/9.36 c | 12135 | 21173 700461 2138957 | 2147483647 12135 71 | 0.000 % |
9.38/9.42 c | 12282 | 21173 700461 2138957 | 2147483647 12282 71 | 0.000 % |
9.38/9.48 c | 12444 | 21173 700461 2138957 | 2147483647 12444 71 | 0.000 % |
9.48/9.55 c | 12624 | 21173 700461 2138957 | 2147483647 12624 71 | 0.000 % |
9.58/9.63 c | 12820 | 21173 700461 2138957 | 2147483647 12820 72 | 0.000 % |
9.68/9.72 c | 13032 | 21173 700461 2138957 | 2147483647 13032 72 | 0.000 % |
9.78/9.82 c | 13265 | 21173 700461 2138957 | 2147483647 13265 74 | 0.000 % |
9.88/9.94 c | 13521 | 21173 700461 2138957 | 2147483647 13521 74 | 0.000 % |
9.98/10.07 c | 13802 | 21173 700461 2138957 | 2147483647 13802 73 | 0.000 % |
10.18/10.22 c | 14111 | 21173 700461 2138957 | 2147483647 14111 74 | 0.000 % |
10.18/10.30 c | 14213 | 21173 700461 2138957 | 2147483647 14213 74 | 0.000 % |
10.28/10.37 c | 14323 | 21173 700461 2138957 | 2147483647 14323 74 | 0.000 % |
10.37/10.47 c | 14444 | 21173 700461 2138957 | 2147483647 14444 74 | 0.000 % |
10.47/10.53 c | 14579 | 21173 700461 2138957 | 2147483647 14579 74 | 0.000 % |
10.57/10.62 c | 14725 | 21173 700461 2138957 | 2147483647 14725 74 | 0.000 % |
10.67/10.70 c | 14886 | 21173 700461 2138957 | 2147483647 14886 74 | 0.000 % |
10.67/10.78 c | 15063 | 21173 700461 2138957 | 2147483647 15063 74 | 0.000 % |
10.77/10.88 c | 15256 | 21173 700461 2138957 | 2147483647 15256 75 | 0.000 % |
10.88/10.97 c | 15470 | 21173 700461 2138957 | 2147483647 15470 75 | 0.000 % |
10.98/11.10 c | 15703 | 21173 700461 2138957 | 2147483647 15703 76 | 0.000 % |
11.17/11.22 c | 15959 | 21173 700461 2138957 | 2147483647 15959 76 | 0.000 % |
11.27/11.33 c | 16243 | 21173 700461 2138957 | 2147483647 16243 76 | 0.000 % |
11.37/11.49 c | 16552 | 21173 700461 2138957 | 2147483647 16552 76 | 0.000 % |
11.57/11.69 c | 16891 | 21173 700461 2138957 | 2147483647 16891 77 | 0.000 % |
11.67/11.72 c | 16991 | 21173 700461 2138957 | 2147483647 16991 77 | 0.000 % |
11.67/11.79 c | 17102 | 21173 700461 2138957 | 2147483647 17102 77 | 0.000 % |
11.77/11.86 c | 17223 | 21173 700461 2138957 | 2147483647 17223 78 | 0.000 % |
11.87/11.92 c | 17357 | 21173 700461 2138957 | 2147483647 17357 78 | 0.000 % |
11.87/11.99 c | 17503 | 21173 700461 2138957 | 2147483647 17503 77 | 0.000 % |
11.98/12.06 c | 17664 | 21173 700461 2138957 | 2147483647 17664 77 | 0.000 % |
12.08/12.15 c | 17841 | 21173 700461 2138957 | 2147483647 17841 77 | 0.000 % |
12.17/12.21 c | 18036 | 21173 700461 2138957 | 2147483647 18036 77 | 0.000 % |
12.27/12.33 c | 18248 | 21173 700461 2138957 | 2147483647 18248 77 | 0.000 % |
12.27/12.40 c | 18482 | 21173 700461 2138957 | 2147483647 18482 77 | 0.000 % |
12.47/12.52 c | 18740 | 21173 700461 2138957 | 2147483647 18740 78 | 0.000 % |
12.67/12.70 c | 19021 | 21173 700461 2138957 | 2147483647 19021 78 | 0.000 % |
12.77/12.86 c | 19330 | 21173 700461 2138957 | 2147483647 19330 78 | 0.000 % |
12.97/13.00 c | 19672 | 21173 700461 2138957 | 2147483647 19672 79 | 0.000 % |
13.07/13.12 c | 20047 | 21173 700461 2138957 | 2147483647 20047 79 | 0.000 % |
13.07/13.18 c | 20148 | 21173 700461 2138957 | 2147483647 20148 79 | 0.000 % |
13.17/13.23 c | 20260 | 21173 700461 2138957 | 2147483647 20260 79 | 0.000 % |
13.17/13.28 c | 20381 | 21173 700461 2138957 | 2147483647 20381 79 | 0.000 % |
13.27/13.33 c | 20517 | 21173 700461 2138957 | 2147483647 20517 79 | 0.000 % |
13.27/13.39 c | 20664 | 21173 700461 2138957 | 2147483647 20664 80 | 0.000 % |
13.37/13.47 c | 20825 | 21173 700461 2138957 | 2147483647 20825 79 | 0.000 % |
13.47/13.56 c | 21001 | 21173 700461 2138957 | 2147483647 21001 79 | 0.000 % |
13.57/13.65 c | 21194 | 21173 700461 2138957 | 2147483647 21194 79 | 0.000 % |
13.67/13.72 c | 21406 | 21173 700461 2138957 | 2147483647 21406 79 | 0.000 % |
13.67/13.78 c | 21639 | 21173 700461 2138957 | 2147483647 21639 79 | 0.000 % |
13.77/13.89 c | 21898 | 21173 700461 2138957 | 2147483647 21898 79 | 0.000 % |
13.87/13.99 c | 22180 | 21173 700461 2138957 | 2147483647 22180 79 | 0.000 % |
14.08/14.15 c | 22489 | 21173 700461 2138957 | 2147483647 22489 79 | 0.000 % |
14.18/14.29 c | 22829 | 21173 700461 2138957 | 2147483647 22829 80 | 0.000 % |
14.37/14.49 c | 23201 | 21173 700461 2138957 | 2147483647 23201 80 | 0.000 % |
14.57/14.68 c | 23611 | 21173 700461 2138957 | 2147483647 23611 81 | 0.000 % |
14.67/14.73 c | 23713 | 21173 700461 2138957 | 2147483647 23713 82 | 0.000 % |
14.67/14.79 c | 23825 | 21173 700461 2138957 | 2147483647 23825 82 | 0.000 % |
14.77/14.86 c | 23947 | 21173 700461 2138957 | 2147483647 23947 82 | 0.000 % |
14.87/14.92 c | 24080 | 21173 700461 2138957 | 2147483647 24080 83 | 0.000 % |
14.97/15.04 c | 24228 | 21173 700461 2138957 | 2147483647 24228 83 | 0.000 % |
15.07/15.18 c | 24388 | 21173 700461 2138957 | 2147483647 24388 83 | 0.000 % |
15.17/15.25 c | 24564 | 21173 700461 2138957 | 2147483647 24564 82 | 0.000 % |
15.28/15.35 c | 24758 | 21173 700461 2138957 | 2147483647 24758 83 | 0.000 % |
15.38/15.41 c | 24972 | 21173 700461 2138957 | 2147483647 24972 83 | 0.000 % |
15.47/15.53 c | 25206 | 21173 700461 2138957 | 2147483647 25206 83 | 0.000 % |
15.57/15.65 c | 25462 | 21173 700461 2138957 | 2147483647 25462 83 | 0.000 % |
15.77/15.81 c | 25743 | 21173 700461 2138957 | 2147483647 25743 83 | 0.000 % |
15.87/15.98 c | 26052 | 21173 700461 2138957 | 2147483647 26052 83 | 0.000 % |
16.17/16.21 c | 26393 | 21173 700461 2138957 | 2147483647 26393 83 | 0.000 % |
16.27/16.40 c | 26765 | 21173 700461 2138957 | 2147483647 26765 83 | 0.000 % |
16.47/16.51 c | 27176 | 21173 700461 2138957 | 2147483647 27176 84 | 0.000 % |
16.77/16.81 c | 27627 | 21173 700461 2138957 | 2147483647 27627 83 | 0.000 % |
16.77/16.86 c | 27727 | 21173 700461 2138957 | 2147483647 27727 83 | 0.000 % |
16.77/16.89 c | 27838 | 21173 700461 2138957 | 2147483647 27838 83 | 0.000 % |
16.87/16.99 c | 27962 | 21173 700461 2138957 | 2147483647 27962 83 | 0.000 % |
16.97/17.08 c | 28097 | 21173 700461 2138957 | 2147483647 28097 83 | 0.000 % |
17.07/17.16 c | 28247 | 21173 700461 2138957 | 2147483647 28247 83 | 0.000 % |
17.17/17.25 c | 28407 | 21173 700461 2138957 | 2147483647 28407 83 | 0.000 % |
17.27/17.32 c | 28583 | 21173 700461 2138957 | 2147483647 28583 83 | 0.000 % |
17.37/17.40 c | 28776 | 21173 700461 2138957 | 2147483647 28776 84 | 0.000 % |
17.47/17.51 c | 28989 | 21173 700461 2138957 | 2147483647 28989 84 | 0.000 % |
17.57/17.65 c | 29224 | 21173 700461 2138957 | 2147483647 29224 84 | 0.000 % |
17.67/17.75 c | 29480 | 21173 700461 2138957 | 2147483647 29480 84 | 0.000 % |
17.77/17.89 c | 29761 | 21173 700461 2138957 | 2147483647 29761 84 | 0.000 % |
17.98/18.02 c | 30070 | 21173 700461 2138957 | 2147483647 30070 84 | 0.000 % |
18.08/18.18 c | 30410 | 21173 700461 2138957 | 2147483647 30410 84 | 0.000 % |
18.28/18.36 c | 30785 | 21173 700461 2138957 | 2147483647 30785 84 | 0.000 % |
18.48/18.52 c | 31194 | 21173 700461 2138957 | 2147483647 31194 84 | 0.000 % |
18.68/18.78 c | 31643 | 21173 700461 2138957 | 2147483647 31643 86 | 0.000 % |
18.98/19.06 c | 32136 | 21173 700461 2138957 | 2147483647 32136 86 | 0.000 % |
19.08/19.14 c | 32236 | 21173 700461 2138957 | 2147483647 32236 86 | 0.000 % |
19.18/19.24 c | 32347 | 21173 700461 2138957 | 2147483647 32347 86 | 0.000 % |
19.28/19.31 c | 32468 | 21173 700461 2138957 | 2147483647 32468 86 | 0.000 % |
19.28/19.39 c | 32602 | 21173 700461 2138957 | 2147483647 32602 86 | 0.000 % |
19.38/19.43 c | 32748 | 21173 700461 2138957 | 2147483647 32748 86 | 0.000 % |
19.48/19.53 c | 32911 | 21173 700461 2138957 | 2147483647 32911 86 | 0.000 % |
19.58/19.60 c | 33089 | 21173 700461 2138957 | 2147483647 33089 86 | 0.000 % |
19.58/19.70 c | 33283 | 21173 700461 2138957 | 2147483647 33283 86 | 0.000 % |
19.68/19.79 c | 33496 | 21173 700461 2138957 | 2147483647 33496 86 | 0.000 % |
19.78/19.89 c | 33729 | 21173 700461 2138957 | 2147483647 33729 86 | 0.000 % |
19.98/20.01 c | 33985 | 21173 700461 2138957 | 2147483647 33985 86 | 0.000 % |
20.08/20.10 c | 34266 | 21173 700461 2138957 | 2147483647 34266 86 | 0.000 % |
20.17/20.25 c | 34575 | 21173 700461 2138957 | 2147483647 34575 86 | 0.000 % |
20.27/20.39 c | 34914 | 21173 700461 2138957 | 2147483647 34914 87 | 0.000 % |
20.47/20.53 c | 35286 | 21173 700461 2138957 | 2147483647 35286 86 | 0.000 % |
20.57/20.68 c | 35695 | 21173 700461 2138957 | 2147483647 35695 87 | 0.000 % |
20.88/20.91 c | 36144 | 21173 700461 2138957 | 2147483647 36144 87 | 0.000 % |
21.17/21.20 c | 36640 | 21173 700461 2138957 | 2147483647 36640 87 | 0.000 % |
21.47/21.51 c | 37182 | 21173 700461 2138957 | 2147483647 37182 88 | 0.000 % |
21.47/21.57 c | 37286 | 21173 700461 2138957 | 2147483647 37286 87 | 0.000 % |
21.57/21.64 c | 37399 | 21173 700461 2138957 | 2147483647 37399 87 | 0.000 % |
21.57/21.69 c | 37520 | 21173 700461 2138957 | 2147483647 37520 87 | 0.000 % |
21.67/21.79 c | 37653 | 21173 700461 2138957 | 2147483647 37653 88 | 0.000 % |
21.77/21.88 c | 37799 | 21173 700461 2138957 | 2147483647 37799 88 | 0.000 % |
21.87/21.97 c | 37959 | 21173 700461 2138957 | 2147483647 37959 88 | 0.000 % |
21.97/22.08 c | 38135 | 21173 700461 2138957 | 2147483647 38135 87 | 0.000 % |
22.07/22.17 c | 38328 | 21173 700461 2138957 | 2147483647 38328 88 | 0.000 % |
22.17/22.26 c | 38541 | 21173 700461 2138957 | 2147483647 38541 88 | 0.000 % |
22.37/22.41 c | 38774 | 21173 700461 2138957 | 2147483647 38774 88 | 0.000 % |
22.47/22.54 c | 39033 | 21173 700461 2138957 | 2147483647 39033 88 | 0.000 % |
22.57/22.69 c | 39314 | 21173 700461 2138957 | 2147483647 39314 88 | 0.000 % |
22.67/22.79 c | 39623 | 21173 700461 2138957 | 2147483647 39623 88 | 0.000 % |
22.87/22.96 c | 39962 | 21173 700461 2138957 | 2147483647 39962 87 | 0.000 % |
23.07/23.12 c | 40334 | 21173 700461 2138957 | 2147483647 40334 88 | 0.000 % |
23.26/23.36 c | 40743 | 21173 700461 2138957 | 2147483647 40743 88 | 0.000 % |
23.56/23.62 c | 41193 | 21173 700461 2138957 | 2147483647 41193 88 | 0.000 % |
23.87/23.92 c | 41686 | 21173 700461 2138957 | 2147483647 41686 88 | 0.000 % |
24.18/24.26 c | 42230 | 21173 700461 2138957 | 2147483647 42230 88 | 0.000 % |
24.47/24.55 c | 42826 | 21173 700461 2138957 | 2147483647 42826 88 | 0.000 % |
24.57/24.61 c | 42928 | 21173 700461 2138957 | 2147483647 42928 88 | 0.000 % |
24.57/24.69 c | 43038 | 21173 700461 2138957 | 2147483647 43038 88 | 0.000 % |
24.67/24.78 c | 43160 | 21173 700461 2138957 | 2147483647 43160 88 | 0.000 % |
24.77/24.88 c | 43294 | 21173 700461 2138957 | 2147483647 43294 88 | 0.000 % |
24.87/24.97 c | 43440 | 21173 700461 2138957 | 2147483647 43440 88 | 0.000 % |
24.97/25.03 c | 43605 | 21173 700461 2138957 | 2147483647 43605 88 | 0.000 % |
25.07/25.15 c | 43781 | 21173 700461 2138957 | 2147483647 43781 88 | 0.000 % |
25.18/25.27 c | 43975 | 21173 700461 2138957 | 2147483647 43975 88 | 0.000 % |
25.37/25.44 c | 44188 | 21173 700461 2138957 | 2147483647 44188 88 | 0.000 % |
25.47/25.54 c | 44422 | 21173 700461 2138957 | 2147483647 44422 88 | 0.000 % |
25.67/25.73 c | 44678 | 21173 700461 2138957 | 2147483647 44678 89 | 0.000 % |
25.77/25.88 c | 44961 | 21173 700461 2138957 | 2147483647 44961 89 | 0.000 % |
25.97/26.07 c | 45274 | 21173 700461 2138957 | 2147483647 45274 89 | 0.000 % |
26.27/26.31 c | 45613 | 21173 700461 2138957 | 2147483647 45613 89 | 0.000 % |
26.37/26.47 c | 45987 | 21173 700461 2138957 | 2147483647 45987 89 | 0.000 % |
26.57/26.68 c | 46396 | 21173 700461 2138957 | 2147483647 46396 88 | 0.000 % |
26.87/26.91 c | 46847 | 21173 700461 2138957 | 2147483647 46847 89 | 0.000 % |
27.07/27.17 c | 47340 | 21173 700461 2138957 | 2147483647 47340 89 | 0.000 % |
27.37/27.48 c | 47882 | 21173 700461 2138957 | 2147483647 47882 89 | 0.000 % |
27.87/27.91 c | 48479 | 21173 700461 2138957 | 2147483647 48479 89 | 0.000 % |
28.27/28.30 c | 49135 | 21173 700461 2138957 | 2147483647 49135 89 | 0.000 % |
28.27/28.36 c | 49235 | 21173 700461 2138957 | 2147483647 49235 89 | 0.000 % |
28.37/28.44 c | 49347 | 21173 700461 2138957 | 2147483647 49347 89 | 0.000 % |
28.47/28.52 c | 49469 | 21173 700461 2138957 | 2147483647 49469 89 | 0.000 % |
28.57/28.62 c | 49602 | 21173 700461 2138957 | 2147483647 49602 89 | 0.000 % |
28.67/28.70 c | 49748 | 21173 700461 2138957 | 2147483647 49748 89 | 0.000 % |
28.77/28.80 c | 49909 | 21173 700461 2138957 | 2147483647 49909 88 | 0.000 % |
28.87/28.91 c | 50085 | 21173 700461 2138957 | 2147483647 50085 88 | 0.000 % |
28.97/29.03 c | 50279 | 21173 700461 2138957 | 2147483647 50279 88 | 0.000 % |
29.07/29.11 c | 50491 | 21173 700461 2138957 | 2147483647 50491 88 | 0.000 % |
29.16/29.22 c | 50724 | 21173 700461 2138957 | 2147483647 50724 88 | 0.000 % |
29.26/29.36 c | 50981 | 21173 700461 2138957 | 2147483647 50981 88 | 0.000 % |
29.46/29.56 c | 51262 | 21173 700461 2138957 | 2147483647 51262 89 | 0.000 % |
29.66/29.77 c | 51571 | 21173 700461 2138957 | 2147483647 51571 88 | 0.000 % |
29.87/29.98 c | 51910 | 21173 700461 2138957 | 2147483647 51910 89 | 0.000 % |
30.07/30.17 c | 52282 | 21173 700461 2138957 | 2147483647 52282 89 | 0.000 % |
30.37/30.42 c | 52691 | 21173 700461 2138957 | 2147483647 52691 89 | 0.000 % |
30.67/30.78 c | 53142 | 21173 700461 2138957 | 2147483647 53142 89 | 0.000 % |
30.96/31.03 c | 53636 | 21173 700461 2138957 | 2147483647 53636 89 | 0.000 % |
31.26/31.37 c | 54180 | 21173 700461 2138957 | 2147483647 54180 90 | 0.000 % |
31.66/31.71 c | 54776 | 21173 700461 2138957 | 2147483647 54776 90 | 0.000 % |
31.96/32.05 c | 55433 | 21173 700461 2138957 | 2147483647 55433 90 | 0.000 % |
32.36/32.49 c | 56153 | 21173 700461 2138957 | 2147483647 56153 91 | 0.000 % |
32.46/32.57 c | 56253 | 21173 700461 2138957 | 2147483647 56253 91 | 0.000 % |
32.56/32.67 c | 56363 | 21173 700461 2138957 | 2147483647 56363 91 | 0.000 % |
32.66/32.76 c | 56484 | 21173 700461 2138957 | 2147483647 56484 91 | 0.000 % |
32.76/32.86 c | 56618 | 21173 700461 2138957 | 2147483647 56618 91 | 0.000 % |
32.87/32.97 c | 56764 | 21173 700461 2138957 | 2147483647 56764 91 | 0.000 % |
32.97/33.06 c | 56924 | 21173 700461 2138957 | 2147483647 56924 91 | 0.000 % |
33.06/33.17 c | 57104 | 21173 700461 2138957 | 2147483647 57104 91 | 0.000 % |
33.16/33.28 c | 57297 | 21173 700461 2138957 | 2147483647 57297 91 | 0.000 % |
33.26/33.39 c | 57514 | 21173 700461 2138957 | 2147483647 57514 91 | 0.000 % |
33.46/33.51 c | 57748 | 21173 700461 2138957 | 2147483647 57748 91 | 0.000 % |
33.56/33.67 c | 58006 | 21173 700461 2138957 | 2147483647 58006 91 | 0.000 % |
33.76/33.86 c | 58289 | 21173 700461 2138957 | 2147483647 58289 91 | 0.000 % |
33.96/34.04 c | 58599 | 21173 700461 2138957 | 2147483647 58599 91 | 0.000 % |
34.16/34.26 c | 58938 | 21173 700461 2138957 | 2147483647 58938 91 | 0.000 % |
34.35/34.48 c | 59312 | 21173 700461 2138957 | 2147483647 59312 91 | 0.000 % |
34.55/34.63 c | 59726 | 21173 700461 2138957 | 2147483647 59726 92 | 0.000 % |
34.65/34.78 c | 60175 | 21173 700461 2138957 | 2147483647 60175 92 | 0.000 % |
34.85/34.98 c | 60668 | 21173 700461 2138957 | 2147483647 60668 92 | 0.000 % |
35.25/35.36 c | 61210 | 21173 700461 2138957 | 2147483647 61210 92 | 0.000 % |
35.65/35.72 c | 61808 | 21173 700461 2138957 | 2147483647 61808 92 | 0.000 % |
35.96/36.08 c | 62464 | 21173 700461 2138957 | 2147483647 62464 93 | 0.000 % |
36.45/36.56 c | 63188 | 21173 700461 2138957 | 2147483647 63188 94 | 0.000 % |
36.95/37.02 c | 63982 | 21173 700461 2138957 | 2147483647 63982 94 | 0.000 % |
36.95/37.09 c | 64083 | 21173 700461 2138957 | 2147483647 64083 94 | 0.000 % |
37.15/37.22 c | 64193 | 21173 700461 2138957 | 2147483647 64193 94 | 0.000 % |
37.26/37.37 c | 64315 | 21173 700461 2138957 | 2147483647 64315 94 | 0.000 % |
37.36/37.48 c | 64448 | 21173 700461 2138957 | 2147483647 64448 94 | 0.000 % |
37.45/37.56 c | 64594 | 21173 700461 2138957 | 2147483647 64594 94 | 0.000 % |
37.65/37.74 c | 64756 | 21173 700461 2138957 | 2147483647 64756 94 | 0.000 % |
37.85/37.90 c | 64933 | 21173 700461 2138957 | 2147483647 64933 94 | 0.000 % |
37.95/38.03 c | 65126 | 21173 700461 2138957 | 2147483647 65126 94 | 0.000 % |
38.05/38.17 c | 65338 | 21173 700461 2138957 | 2147483647 65338 93 | 0.000 % |
38.25/38.30 c | 65572 | 21173 700461 2138957 | 2147483647 65572 93 | 0.000 % |
38.35/38.46 c | 65829 | 21173 700461 2138957 | 2147483647 65829 93 | 0.000 % |
38.55/38.63 c | 66111 | 21173 700461 2138957 | 2147483647 66111 93 | 0.000 % |
38.75/38.87 c | 66421 | 21173 700461 2138957 | 2147483647 66421 93 | 0.000 % |
38.95/39.02 c | 66760 | 21173 700461 2138957 | 2147483647 66760 93 | 0.000 % |
39.14/39.27 c | 67133 | 21173 700461 2138957 | 2147483647 67133 93 | 0.000 % |
39.34/39.49 c | 67542 | 21173 700461 2138957 | 2147483647 67542 93 | 0.000 % |
39.64/39.79 c | 67991 | 21173 700461 2138957 | 2147483647 67991 93 | 0.000 % |
39.94/40.04 c | 68488 | 21173 700461 2138957 | 2147483647 68488 94 | 0.000 % |
40.24/40.35 c | 69032 | 21173 700461 2138957 | 2147483647 69032 94 | 0.000 % |
40.65/40.70 c | 69628 | 21173 700461 2138957 | 2147483647 69628 94 | 0.000 % |
40.95/41.04 c | 70284 | 21173 700461 2138957 | 2147483647 70284 95 | 0.000 % |
41.44/41.50 c | 71005 | 21173 700461 2138957 | 2147483647 71005 95 | 0.000 % |
41.84/41.97 c | 71799 | 21173 700461 2138957 | 2147483647 71799 96 | 0.000 % |
42.44/42.58 c | 72670 | 21173 700461 2138957 | 2147483647 72670 96 | 0.000 % |
42.54/42.65 c | 72770 | 21173 700461 2138957 | 2147483647 72770 96 | 0.000 % |
42.54/42.70 c | 72880 | 21173 700461 2138957 | 2147483647 72880 95 | 0.000 % |
42.64/42.76 c | 73004 | 21173 700461 2138957 | 2147483647 73004 95 | 0.000 % |
42.75/42.88 c | 73138 | 21173 700461 2138957 | 2147483647 73138 95 | 0.000 % |
42.84/42.96 c | 73284 | 21173 700461 2138957 | 2147483647 73284 95 | 0.000 % |
42.94/43.08 c | 73445 | 21173 700461 2138957 | 2147483647 73445 95 | 0.000 % |
43.04/43.18 c | 73621 | 21173 700461 2138957 | 2147483647 73621 95 | 0.000 % |
43.24/43.34 c | 73816 | 21173 700461 2138957 | 2147483647 73816 95 | 0.000 % |
43.44/43.50 c | 74028 | 21173 700461 2138957 | 2147483647 74028 95 | 0.000 % |
43.54/43.67 c | 74262 | 21173 700461 2138957 | 2147483647 74262 95 | 0.000 % |
43.74/43.85 c | 74519 | 21173 700461 2138957 | 2147483647 74519 95 | 0.000 % |
43.94/44.04 c | 74800 | 21173 700461 2138957 | 2147483647 74800 95 | 0.000 % |
44.14/44.25 c | 75110 | 21173 700461 2138957 | 2147483647 75110 95 | 0.000 % |
44.43/44.58 c | 75449 | 21173 700461 2138957 | 2147483647 75449 95 | 0.000 % |
44.73/44.82 c | 75822 | 21173 700461 2138957 | 2147483647 75822 95 | 0.000 % |
45.04/45.15 c | 76231 | 21173 700461 2138957 | 2147483647 76231 96 | 0.000 % |
45.33/45.48 c | 76681 | 21173 700461 2138957 | 2147483647 76681 95 | 0.000 % |
45.74/45.87 c | 77174 | 21173 700461 2138957 | 2147483647 77174 95 | 0.000 % |
46.04/46.18 c | 77716 | 21173 700461 2138957 | 2147483647 77716 95 | 0.000 % |
46.54/46.60 c | 78313 | 21173 700461 2138957 | 2147483647 78313 95 | 0.000 % |
46.94/47.05 c | 78969 | 21173 700461 2138957 | 2147483647 78969 96 | 0.000 % |
47.34/47.47 c | 79690 | 21173 700461 2138957 | 2147483647 79690 96 | 0.000 % |
47.84/47.97 c | 80484 | 21173 700461 2138957 | 2147483647 80484 96 | 0.000 % |
48.34/48.46 c | 81357 | 21173 700461 2138957 | 2147483647 81357 96 | 0.000 % |
48.94/49.04 c | 82315 | 21173 700461 2138957 | 2147483647 82315 95 | 0.000 % |
48.94/49.10 c | 82415 | 21173 700461 2138957 | 2147483647 82415 95 | 0.000 % |
49.04/49.16 c | 82525 | 21173 700461 2138957 | 2147483647 82525 95 | 0.000 % |
49.13/49.28 c | 82647 | 21173 700461 2138957 | 2147483647 82647 95 | 0.000 % |
49.23/49.38 c | 82783 | 21173 700461 2138957 | 2147483647 82783 95 | 0.000 % |
49.34/49.47 c | 82930 | 21173 700461 2138957 | 2147483647 82930 95 | 0.000 % |
49.44/49.58 c | 83090 | 21173 700461 2138957 | 2147483647 83090 95 | 0.000 % |
49.53/49.69 c | 83266 | 21173 700461 2138957 | 2147483647 83266 95 | 0.000 % |
49.73/49.83 c | 83460 | 21173 700461 2138957 | 2147483647 83460 95 | 0.000 % |
49.83/49.96 c | 83679 | 21173 700461 2138957 | 2147483647 83679 95 | 0.000 % |
50.03/50.13 c | 83912 | 21173 700461 2138957 | 2147483647 83912 95 | 0.000 % |
50.13/50.29 c | 84169 | 21173 700461 2138957 | 2147483647 84169 95 | 0.000 % |
50.33/50.48 c | 84452 | 21173 700461 2138957 | 2147483647 84452 95 | 0.000 % |
50.53/50.66 c | 84761 | 21173 700461 2138957 | 2147483647 84761 95 | 0.000 % |
50.73/50.89 c | 85100 | 21173 700461 2138957 | 2147483647 85100 95 | 0.000 % |
50.93/51.06 c | 85473 | 21173 700461 2138957 | 2147483647 85473 95 | 0.000 % |
51.23/51.32 c | 85885 | 21173 700461 2138957 | 2147483647 85885 95 | 0.000 % |
51.63/51.71 c | 86334 | 21173 700461 2138957 | 2147483647 86334 95 | 0.000 % |
51.83/51.93 c | 86827 | 21173 700461 2138957 | 2147483647 86827 95 | 0.000 % |
52.03/52.16 c | 87369 | 21173 700461 2138957 | 2147483647 87369 95 | 0.000 % |
52.43/52.50 c | 87966 | 21173 700461 2138957 | 2147483647 87966 94 | 0.000 % |
52.64/52.79 c | 88621 | 21173 700461 2138957 | 2147483647 88621 94 | 0.000 % |
53.03/53.17 c | 89341 | 21173 700461 2138957 | 2147483647 89341 94 | 0.000 % |
53.53/53.63 c | 90133 | 21173 700461 2138957 | 2147483647 90133 95 | 0.000 % |
54.03/54.13 c | 91004 | 21173 700461 2138957 | 2147483647 91004 95 | 0.000 % |
54.53/54.69 c | 91964 | 21173 700461 2138957 | 2147483647 91964 95 | 0.000 % |
55.22/55.39 c | 93017 | 21173 700461 2138957 | 2147483647 93017 95 | 0.000 % |
55.42/55.50 c | 93117 | 21173 700461 2138957 | 2147483647 93117 95 | 0.000 % |
55.52/55.61 c | 93228 | 21173 700461 2138957 | 2147483647 93228 95 | 0.000 % |
55.52/55.69 c | 93349 | 21173 700461 2138957 | 2147483647 93349 95 | 0.000 % |
55.62/55.79 c | 93482 | 21173 700461 2138957 | 2147483647 93482 95 | 0.000 % |
55.82/55.91 c | 93628 | 21173 700461 2138957 | 2147483647 93628 95 | 0.000 % |
55.93/56.05 c | 93790 | 21173 700461 2138957 | 2147483647 93790 95 | 0.000 % |
56.12/56.21 c | 93966 | 21173 700461 2138957 | 2147483647 93966 95 | 0.000 % |
56.22/56.34 c | 94164 | 21173 700461 2138957 | 2147483647 94164 94 | 0.000 % |
56.32/56.50 c | 94376 | 21173 700461 2138957 | 2147483647 94376 94 | 0.000 % |
56.52/56.68 c | 94610 | 21173 700461 2138957 | 2147483647 94610 94 | 0.000 % |
56.72/56.82 c | 94868 | 21173 700461 2138957 | 2147483647 94868 94 | 0.000 % |
56.92/57.08 c | 95150 | 21173 700461 2138957 | 2147483647 95150 94 | 0.000 % |
57.22/57.37 c | 95460 | 21173 700461 2138957 | 2147483647 95460 94 | 0.000 % |
57.53/57.63 c | 95800 | 21173 700461 2138957 | 2147483647 95800 94 | 0.000 % |
57.83/57.91 c | 96175 | 21173 700461 2138957 | 2147483647 96175 94 | 0.000 % |
58.13/58.22 c | 96588 | 21173 700461 2138957 | 2147483647 96588 95 | 0.000 % |
58.43/58.56 c | 97038 | 21173 700461 2138957 | 2147483647 97038 95 | 0.000 % |
58.83/58.97 c | 97532 | 21173 700461 2138957 | 2147483647 97532 95 | 0.000 % |
59.23/59.37 c | 98075 | 21173 700461 2138957 | 2147483647 98075 95 | 0.000 % |
59.73/59.81 c | 98671 | 21173 700461 2138957 | 2147483647 98671 95 | 0.000 % |
60.13/60.29 c | 99326 | 21173 700461 2138957 | 2147483647 99326 95 | 0.000 % |
60.62/60.77 c | 100047 | 21173 700461 2138957 | 2147483647 100047 95 | 0.000 % |
61.32/61.43 c | 100839 | 21173 700461 2138957 | 2147483647 100839 95 | 0.000 % |
61.92/62.02 c | 101712 | 21173 700461 2138957 | 2147483647 101712 95 | 0.000 % |
62.52/62.60 c | 102670 | 21173 700461 2138957 | 2147483647 102670 95 | 0.000 % |
63.12/63.24 c | 103723 | 21173 700461 2138957 | 2147483647 103723 95 | 0.000 % |
63.92/64.01 c | 104882 | 21173 700461 2138957 | 2147483647 104882 94 | 0.000 % |
63.92/64.05 c | 104983 | 21173 700461 2138957 | 2147483647 104983 94 | 0.000 % |
64.02/64.15 c | 105094 | 21173 700461 2138957 | 2147483647 105094 94 | 0.000 % |
64.12/64.26 c | 105216 | 21173 700461 2138957 | 2147483647 105216 94 | 0.000 % |
64.22/64.34 c | 105352 | 21173 700461 2138957 | 2147483647 105352 94 | 0.000 % |
64.32/64.43 c | 105499 | 21173 700461 2138957 | 2147483647 105499 94 | 0.000 % |
64.42/64.55 c | 105661 | 21173 700461 2138957 | 2147483647 105661 94 | 0.000 % |
64.51/64.68 c | 105837 | 21173 700461 2138957 | 2147483647 105837 94 | 0.000 % |
64.61/64.78 c | 106031 | 21173 700461 2138957 | 2147483647 106031 94 | 0.000 % |
64.82/64.94 c | 106243 | 21173 700461 2138957 | 2147483647 106243 94 | 0.000 % |
64.91/65.07 c | 106477 | 21173 700461 2138957 | 2147483647 106477 94 | 0.000 % |
65.12/65.20 c | 106733 | 21173 700461 2138957 | 2147483647 106733 94 | 0.000 % |
65.32/65.42 c | 107017 | 21173 700461 2138957 | 2147483647 107017 94 | 0.000 % |
65.52/65.62 c | 107326 | 21173 700461 2138957 | 2147483647 107326 94 | 0.000 % |
65.72/65.86 c | 107666 | 21173 700461 2138957 | 2147483647 107666 94 | 0.000 % |
66.02/66.17 c | 108040 | 21173 700461 2138957 | 2147483647 108040 93 | 0.000 % |
66.42/66.51 c | 108449 | 21173 700461 2138957 | 2147483647 108449 93 | 0.000 % |
66.72/66.81 c | 108900 | 21173 700461 2138957 | 2147483647 108900 93 | 0.000 % |
67.02/67.14 c | 109395 | 21173 700461 2138957 | 2147483647 109395 93 | 0.000 % |
67.42/67.52 c | 109938 | 21173 700461 2138957 | 2147483647 109938 93 | 0.000 % |
67.82/67.95 c | 110535 | 21173 700461 2138957 | 2147483647 110535 93 | 0.000 % |
68.22/68.36 c | 111190 | 21173 700461 2138957 | 2147483647 111190 93 | 0.000 % |
68.62/68.80 c | 111911 | 21173 700461 2138957 | 2147483647 111911 93 | 0.000 % |
69.22/69.30 c | 112705 | 21173 700461 2138957 | 2147483647 112705 93 | 0.000 % |
69.81/69.96 c | 113576 | 21173 700461 2138957 | 2147483647 113576 92 | 0.000 % |
70.51/70.67 c | 114535 | 21173 700461 2138957 | 2147483647 114535 92 | 0.000 % |
71.32/71.45 c | 115588 | 21173 700461 2138957 | 2147483647 115588 92 | 0.000 % |
72.02/72.20 c | 116746 | 21173 700461 2138957 | 2147483647 116746 92 | 0.000 % |
73.02/73.14 c | 118019 | 21173 700461 2138957 | 2147483647 118019 92 | 0.000 % |
73.12/73.25 c | 118120 | 21173 700461 2138957 | 2147483647 118120 93 | 0.000 % |
73.22/73.34 c | 118231 | 21173 700461 2138957 | 2147483647 118231 92 | 0.000 % |
73.32/73.42 c | 118352 | 21173 700461 2138957 | 2147483647 118352 92 | 0.000 % |
73.41/73.50 c | 118486 | 21173 700461 2138957 | 2147483647 118486 92 | 0.000 % |
73.52/73.64 c | 118633 | 21173 700461 2138957 | 2147483647 118633 92 | 0.000 % |
73.62/73.78 c | 118793 | 21173 700461 2138957 | 2147483647 118793 92 | 0.000 % |
73.81/73.93 c | 118969 | 21173 700461 2138957 | 2147483647 118969 92 | 0.000 % |
74.01/74.11 c | 119162 | 21173 700461 2138957 | 2147483647 119162 92 | 0.000 % |
74.11/74.26 c | 119374 | 21173 700461 2138957 | 2147483647 119374 92 | 0.000 % |
74.31/74.45 c | 119608 | 21173 700461 2138957 | 2147483647 119608 92 | 0.000 % |
74.51/74.63 c | 119864 | 21173 700461 2138957 | 2147483647 119864 92 | 0.000 % |
74.71/74.80 c | 120145 | 21173 700461 2138957 | 2147483647 120145 92 | 0.000 % |
74.91/75.02 c | 120454 | 21173 700461 2138957 | 2147483647 120454 92 | 0.000 % |
75.21/75.30 c | 120794 | 21173 700461 2138957 | 2147483647 120794 92 | 0.000 % |
75.41/75.54 c | 121168 | 21173 700461 2138957 | 2147483647 121168 92 | 0.000 % |
75.61/75.78 c | 121577 | 21173 700461 2138957 | 2147483647 121577 92 | 0.000 % |
76.02/76.13 c | 122026 | 21173 700461 2138957 | 2147483647 122026 92 | 0.000 % |
76.41/76.50 c | 122519 | 21173 700461 2138957 | 2147483647 122519 92 | 0.000 % |
76.82/76.93 c | 123061 | 21173 700461 2138957 | 2147483647 123061 92 | 0.000 % |
77.31/77.41 c | 123658 | 21173 700461 2138957 | 2147483647 123658 92 | 0.000 % |
77.71/77.83 c | 124313 | 21173 700461 2138957 | 2147483647 124313 92 | 0.000 % |
78.21/78.37 c | 125034 | 21173 700461 2138957 | 2147483647 125034 92 | 0.000 % |
78.81/78.97 c | 125826 | 21173 700461 2138957 | 2147483647 125826 92 | 0.000 % |
79.51/79.64 c | 126697 | 21173 700461 2138957 | 2147483647 126697 92 | 0.000 % |
80.22/80.37 c | 127656 | 21173 700461 2138957 | 2147483647 127656 92 | 0.000 % |
81.11/81.20 c | 128709 | 21173 700461 2138957 | 2147483647 128709 92 | 0.000 % |
82.01/82.12 c | 129868 | 21173 700461 2138957 | 2147483647 129868 92 | 0.000 % |
83.01/83.10 c | 131142 | 21173 700461 2138957 | 2147483647 131142 92 | 0.000 % |
83.80/83.98 c | 132543 | 21173 700461 2138957 | 2147483647 132543 92 | 0.000 % |
84.00/84.10 c | 132645 | 21173 700461 2138957 | 2147483647 132645 92 | 0.000 % |
84.00/84.19 c | 132755 | 21173 700461 2138957 | 2147483647 132755 92 | 0.000 % |
84.20/84.32 c | 132877 | 21173 700461 2138957 | 2147483647 132877 92 | 0.000 % |
84.30/84.42 c | 133010 | 21173 700461 2138957 | 2147483647 133010 92 | 0.000 % |
84.40/84.58 c | 133157 | 21173 700461 2138957 | 2147483647 133157 92 | 0.000 % |
84.51/84.67 c | 133317 | 21173 700461 2138957 | 2147483647 133317 92 | 0.000 % |
84.61/84.79 c | 133493 | 21173 700461 2138957 | 2147483647 133493 92 | 0.000 % |
84.80/84.96 c | 133688 | 21173 700461 2138957 | 2147483647 133688 92 | 0.000 % |
84.91/85.07 c | 133901 | 21173 700461 2138957 | 2147483647 133901 92 | 0.000 % |
85.11/85.29 c | 134135 | 21173 700461 2138957 | 2147483647 134135 92 | 0.000 % |
85.31/85.47 c | 134392 | 21173 700461 2138957 | 2147483647 134392 92 | 0.000 % |
85.51/85.65 c | 134673 | 21173 700461 2138957 | 2147483647 134673 92 | 0.000 % |
85.81/85.91 c | 134982 | 21173 700461 2138957 | 2147483647 134982 92 | 0.000 % |
86.01/86.17 c | 135321 | 21173 700461 2138957 | 2147483647 135321 92 | 0.000 % |
86.31/86.42 c | 135693 | 21173 700461 2138957 | 2147483647 135693 92 | 0.000 % |
86.51/86.66 c | 136102 | 21173 700461 2138957 | 2147483647 136102 92 | 0.000 % |
86.81/86.95 c | 136551 | 21173 700461 2138957 | 2147483647 136551 92 | 0.000 % |
87.11/87.30 c | 137044 | 21173 700461 2138957 | 2147483647 137044 92 | 0.000 % |
87.51/87.60 c | 137587 | 21173 700461 2138957 | 2147483647 137587 92 | 0.000 % |
87.81/87.97 c | 138183 | 21173 700461 2138957 | 2147483647 138183 92 | 0.000 % |
88.31/88.42 c | 138838 | 21173 700461 2138957 | 2147483647 138838 93 | 0.000 % |
88.70/88.88 c | 139559 | 21173 700461 2138957 | 2147483647 139559 93 | 0.000 % |
89.30/89.41 c | 140351 | 21173 700461 2138957 | 2147483647 140351 93 | 0.000 % |
89.80/89.99 c | 141223 | 21173 700461 2138957 | 2147483647 141223 93 | 0.000 % |
90.50/90.61 c | 142185 | 21173 700461 2138957 | 2147483647 142185 93 | 0.000 % |
91.20/91.35 c | 143238 | 21173 700461 2138957 | 2147483647 143238 93 | 0.000 % |
92.00/92.11 c | 144398 | 21173 700461 2138957 | 2147483647 144398 93 | 0.000 % |
92.81/92.96 c | 145672 | 21173 700461 2138957 | 2147483647 145672 93 | 0.000 % |
93.81/93.95 c | 147074 | 21173 700461 2138957 | 2147483647 147074 93 | 0.000 % |
95.00/95.10 c | 148614 | 21173 700461 2138957 | 2147483647 148614 93 | 0.000 % |
95.00/95.19 c | 148715 | 21173 700461 2138957 | 2147483647 148715 93 | 0.000 % |
95.10/95.27 c | 148826 | 21173 700461 2138957 | 2147483647 148826 93 | 0.000 % |
95.20/95.34 c | 148947 | 21173 700461 2138957 | 2147483647 148947 93 | 0.000 % |
95.30/95.43 c | 149081 | 21173 700461 2138957 | 2147483647 149081 93 | 0.000 % |
95.51/95.61 c | 149228 | 21173 700461 2138957 | 2147483647 149228 93 | 0.000 % |
95.61/95.71 c | 149388 | 21173 700461 2138957 | 2147483647 149388 93 | 0.000 % |
95.70/95.83 c | 149564 | 21173 700461 2138957 | 2147483647 149564 93 | 0.000 % |
95.90/96.05 c | 149760 | 21173 700461 2138957 | 2147483647 149760 93 | 0.000 % |
96.10/96.20 c | 149972 | 21173 700461 2138957 | 2147483647 149972 93 | 0.000 % |
96.20/96.38 c | 150205 | 21173 700461 2138957 | 2147483647 150205 93 | 0.000 % |
96.40/96.57 c | 150461 | 21173 700461 2138957 | 2147483647 150461 93 | 0.000 % |
96.61/96.80 c | 150742 | 21173 700461 2138957 | 2147483647 150742 93 | 0.000 % |
96.90/97.06 c | 151051 | 21173 700461 2138957 | 2147483647 151051 93 | 0.000 % |
97.20/97.38 c | 151390 | 21173 700461 2138957 | 2147483647 151390 93 | 0.000 % |
97.60/97.71 c | 151765 | 21173 700461 2138957 | 2147483647 151765 93 | 0.000 % |
97.90/98.09 c | 152175 | 21173 700461 2138957 | 2147483647 152175 93 | 0.000 % |
98.20/98.38 c | 152626 | 21173 700461 2138957 | 2147483647 152626 93 | 0.000 % |
98.60/98.73 c | 153119 | 21173 700461 2138957 | 2147483647 153119 93 | 0.000 % |
99.00/99.14 c | 153663 | 21173 700461 2138957 | 2147483647 153663 93 | 0.000 % |
99.50/99.61 c | 154259 | 21173 700461 2138957 | 2147483647 154259 93 | 0.000 % |
99.90/100.09 c | 154915 | 21173 700461 2138957 | 2147483647 154915 93 | 0.000 % |
100.39/100.58 c | 155635 | 21173 700461 2138957 | 2147483647 155635 93 | 0.000 % |
101.01/101.16 c | 156430 | 21173 700461 2138957 | 2147483647 156430 93 | 0.000 % |
101.70/101.81 c | 157301 | 21173 700461 2138957 | 2147483647 157301 93 | 0.000 % |
102.50/102.62 c | 158259 | 21173 700461 2138957 | 2147483647 158259 93 | 0.000 % |
103.30/103.46 c | 159312 | 21173 700461 2138957 | 2147483647 159312 92 | 0.000 % |
104.20/104.35 c | 160471 | 21173 700461 2138957 | 2147483647 160471 93 | 0.000 % |
105.29/105.41 c | 161744 | 21173 700461 2138957 | 2147483647 161744 92 | 0.000 % |
106.39/106.51 c | 163144 | 21173 700461 2138957 | 2147483647 163144 92 | 0.000 % |
107.70/107.87 c | 164685 | 21173 700461 2138957 | 2147483647 164685 92 | 0.000 % |
108.99/109.18 c | 166379 | 21173 700461 2138957 | 2147483647 166379 92 | 0.000 % |
109.09/109.29 c | 166482 | 21173 700461 2138957 | 2147483647 166482 92 | 0.000 % |
109.29/109.40 c | 166592 | 21173 700461 2138957 | 2147483647 166592 92 | 0.000 % |
109.39/109.55 c | 166713 | 21173 700461 2138957 | 2147483647 166713 92 | 0.000 % |
109.49/109.64 c | 166846 | 21173 700461 2138957 | 2147483647 166846 92 | 0.000 % |
109.69/109.80 c | 166992 | 21173 700461 2138957 | 2147483647 166992 92 | 0.000 % |
109.79/109.95 c | 167152 | 21173 700461 2138957 | 2147483647 167152 92 | 0.000 % |
109.99/110.10 c | 167328 | 21173 700461 2138957 | 2147483647 167328 92 | 0.000 % |
110.09/110.22 c | 167522 | 21173 700461 2138957 | 2147483647 167522 92 | 0.000 % |
110.29/110.42 c | 167734 | 21173 700461 2138957 | 2147483647 167734 92 | 0.000 % |
110.40/110.57 c | 167968 | 21173 700461 2138957 | 2147483647 167968 92 | 0.000 % |
110.60/110.77 c | 168226 | 21173 700461 2138957 | 2147483647 168226 92 | 0.000 % |
110.90/111.01 c | 168509 | 21173 700461 2138957 | 2147483647 168509 92 | 0.000 % |
111.20/111.33 c | 168818 | 21173 700461 2138957 | 2147483647 168818 92 | 0.000 % |
111.50/111.62 c | 169157 | 21173 700461 2138957 | 2147483647 169157 92 | 0.000 % |
111.80/111.96 c | 169529 | 21173 700461 2138957 | 2147483647 169529 92 | 0.000 % |
112.10/112.28 c | 169938 | 21173 700461 2138957 | 2147483647 169938 92 | 0.000 % |
112.39/112.58 c | 170387 | 21173 700461 2138957 | 2147483647 170387 92 | 0.000 % |
112.79/112.95 c | 170880 | 21173 700461 2138957 | 2147483647 170880 93 | 0.000 % |
113.10/113.27 c | 171422 | 21173 700461 2138957 | 2147483647 171422 93 | 0.000 % |
113.39/113.59 c | 172019 | 21173 700461 2138957 | 2147483647 172019 93 | 0.000 % |
114.09/114.21 c | 172674 | 21173 700461 2138957 | 2147483647 172674 93 | 0.000 % |
114.59/114.75 c | 173395 | 21173 700461 2138957 | 2147483647 173395 93 | 0.000 % |
115.09/115.29 c | 174190 | 21173 700461 2138957 | 2147483647 174190 93 | 0.000 % |
115.99/116.17 c | 175061 | 21173 700461 2138957 | 2147483647 175061 93 | 0.000 % |
116.59/116.76 c | 176019 | 21173 700461 2138957 | 2147483647 176019 93 | 0.000 % |
117.88/118.02 c | 177074 | 21173 700461 2138957 | 2147483647 177074 94 | 0.000 % |
118.89/119.02 c | 178232 | 21173 700461 2138957 | 2147483647 178232 95 | 0.000 % |
119.99/120.15 c | 179505 | 21173 700461 2138957 | 2147483647 179505 95 | 0.000 % |
121.29/121.48 c | 180905 | 21173 700461 2138957 | 2147483647 180905 95 | 0.000 % |
122.78/122.94 c | 182446 | 21173 700461 2138957 | 2147483647 182446 95 | 0.000 % |
124.28/124.42 c | 184140 | 21173 700461 2138957 | 2147483647 184140 96 | 0.000 % |
125.89/126.01 c | 186004 | 21173 700461 2138957 | 2147483647 186004 96 | 0.000 % |
125.98/126.16 c | 186104 | 21173 700461 2138957 | 2147483647 186104 96 | 0.000 % |
126.08/126.28 c | 186214 | 21173 700461 2138957 | 2147483647 186214 96 | 0.000 % |
126.18/126.38 c | 186335 | 21173 700461 2138957 | 2147483647 186335 96 | 0.000 % |
126.39/126.50 c | 186470 | 21173 700461 2138957 | 2147483647 186470 96 | 0.000 % |
126.48/126.62 c | 186616 | 21173 700461 2138957 | 2147483647 186616 96 | 0.000 % |
126.68/126.86 c | 186778 | 21173 700461 2138957 | 2147483647 186778 96 | 0.000 % |
126.88/127.00 c | 186954 | 21173 700461 2138957 | 2147483647 186954 96 | 0.000 % |
126.98/127.14 c | 187147 | 21173 700461 2138957 | 2147483647 187147 96 | 0.000 % |
127.08/127.29 c | 187360 | 21173 700461 2138957 | 2147483647 187360 96 | 0.000 % |
127.38/127.54 c | 187595 | 21173 700461 2138957 | 2147483647 187595 96 | 0.000 % |
127.58/127.78 c | 187851 | 21173 700461 2138957 | 2147483647 187851 96 | 0.000 % |
127.88/128.00 c | 188132 | 21173 700461 2138957 | 2147483647 188132 96 | 0.000 % |
127.98/128.17 c | 188441 | 21173 700461 2138957 | 2147483647 188441 96 | 0.000 % |
128.38/128.54 c | 188783 | 21173 700461 2138957 | 2147483647 188783 96 | 0.000 % |
128.68/128.82 c | 189156 | 21173 700461 2138957 | 2147483647 189156 96 | 0.000 % |
128.98/129.17 c | 189565 | 21173 700461 2138957 | 2147483647 189565 96 | 0.000 % |
129.28/129.47 c | 190023 | 21173 700461 2138957 | 2147483647 190023 96 | 0.000 % |
129.78/129.93 c | 190517 | 21173 700461 2138957 | 2147483647 190517 96 | 0.000 % |
130.38/130.50 c | 191062 | 21173 700461 2138957 | 2147483647 191062 96 | 0.000 % |
130.98/131.15 c | 191658 | 21173 700461 2138957 | 2147483647 191658 96 | 0.000 % |
131.58/131.76 c | 192314 | 21173 700461 2138957 | 2147483647 192314 96 | 0.000 % |
132.18/132.34 c | 193034 | 21173 700461 2138957 | 2147483647 193034 96 | 0.000 % |
132.98/133.14 c | 193827 | 21173 700461 2138957 | 2147483647 193827 96 | 0.000 % |
133.78/133.97 c | 194698 | 21173 700461 2138957 | 2147483647 194698 96 | 0.000 % |
134.68/134.89 c | 195656 | 21173 700461 2138957 | 2147483647 195656 96 | 0.000 % |
135.57/135.71 c | 196709 | 21173 700461 2138957 | 2147483647 196709 96 | 0.000 % |
136.47/136.64 c | 197867 | 21173 700461 2138957 | 2147483647 197867 96 | 0.000 % |
137.57/137.74 c | 199142 | 21173 700461 2138957 | 2147483647 199142 96 | 0.000 % |
138.67/138.81 c | 200542 | 21173 700461 2138957 | 2147483647 200542 96 | 0.000 % |
139.98/140.18 c | 202082 | 21173 700461 2138957 | 2147483647 202082 97 | 0.000 % |
141.38/141.52 c | 203776 | 21173 700461 2138957 | 2147483647 203776 97 | 0.000 % |
143.17/143.32 c | 205640 | 21173 700461 2138957 | 2147483647 205640 97 | 0.000 % |
144.67/144.84 c | 207689 | 21173 700461 2138957 | 2147483647 207689 97 | 0.000 % |
144.77/144.92 c | 207790 | 21173 700461 2138957 | 2147483647 207790 97 | 0.000 % |
144.87/145.00 c | 207901 | 21173 700461 2138957 | 2147483647 207901 97 | 0.000 % |
144.98/145.15 c | 208022 | 21173 700461 2138957 | 2147483647 208022 97 | 0.000 % |
145.17/145.37 c | 208155 | 21173 700461 2138957 | 2147483647 208155 97 | 0.000 % |
145.37/145.52 c | 208301 | 21173 700461 2138957 | 2147483647 208301 97 | 0.000 % |
145.47/145.67 c | 208461 | 21173 700461 2138957 | 2147483647 208461 96 | 0.000 % |
145.67/145.87 c | 208638 | 21173 700461 2138957 | 2147483647 208638 96 | 0.000 % |
145.97/146.12 c | 208833 | 21173 700461 2138957 | 2147483647 208833 96 | 0.000 % |
146.08/146.28 c | 209045 | 21173 700461 2138957 | 2147483647 209045 96 | 0.000 % |
146.47/146.62 c | 209278 | 21173 700461 2138957 | 2147483647 209278 96 | 0.000 % |
146.67/146.86 c | 209535 | 21173 700461 2138957 | 2147483647 209535 96 | 0.000 % |
146.87/147.05 c | 209818 | 21173 700461 2138957 | 2147483647 209818 96 | 0.000 % |
147.07/147.27 c | 210127 | 21173 700461 2138957 | 2147483647 210127 96 | 0.000 % |
147.37/147.52 c | 210466 | 21173 700461 2138957 | 2147483647 210466 96 | 0.000 % |
147.67/147.83 c | 210841 | 21173 700461 2138957 | 2147483647 210841 96 | 0.000 % |
147.97/148.18 c | 211252 | 21173 700461 2138957 | 2147483647 211252 97 | 0.000 % |
148.37/148.53 c | 211701 | 21173 700461 2138957 | 2147483647 211701 97 | 0.000 % |
148.77/148.94 c | 212196 | 21173 700461 2138957 | 2147483647 212196 97 | 0.000 % |
149.27/149.41 c | 212740 | 21173 700461 2138957 | 2147483647 212740 97 | 0.000 % |
149.57/149.77 c | 213337 | 21173 700461 2138957 | 2147483647 213337 96 | 0.000 % |
150.07/150.29 c | 213994 | 21173 700461 2138957 | 2147483647 213994 97 | 0.000 % |
150.66/150.81 c | 214719 | 21173 700461 2138957 | 2147483647 214719 97 | 0.000 % |
151.47/151.62 c | 215511 | 21173 700461 2138957 | 2147483647 215511 97 | 0.000 % |
152.47/152.61 c | 216382 | 21173 700461 2138957 | 2147483647 216382 98 | 0.000 % |
153.27/153.42 c | 217340 | 21173 700461 2138957 | 2147483647 217340 98 | 0.000 % |
154.07/154.28 c | 218393 | 21173 700461 2138957 | 2147483647 218393 98 | 0.000 % |
154.97/155.11 c | 219551 | 21173 700461 2138957 | 2147483647 219551 98 | 0.000 % |
156.37/156.51 c | 220824 | 21173 700461 2138957 | 2147483647 220824 98 | 0.000 % |
157.47/157.67 c | 222224 | 21173 700461 2138957 | 2147483647 222224 98 | 0.000 % |
158.76/158.91 c | 223765 | 21173 700461 2138957 | 2147483647 223765 97 | 0.000 % |
160.27/160.44 c | 225460 | 21173 700461 2138957 | 2147483647 225460 98 | 0.000 % |
161.76/161.90 c | 227323 | 21173 700461 2138957 | 2147483647 227323 98 | 0.000 % |
163.16/163.33 c | 229376 | 21173 700461 2138957 | 2147483647 229376 98 | 0.000 % |
164.96/165.14 c | 231630 | 21173 700461 2138957 | 2147483647 231630 98 | 0.000 % |
165.06/165.21 c | 231732 | 21173 700461 2138957 | 2147483647 231732 98 | 0.000 % |
165.16/165.32 c | 231844 | 21173 700461 2138957 | 2147483647 231844 98 | 0.000 % |
165.26/165.42 c | 231965 | 21173 700461 2138957 | 2147483647 231965 98 | 0.000 % |
165.36/165.55 c | 232100 | 21173 700461 2138957 | 2147483647 232100 98 | 0.000 % |
165.46/165.66 c | 232250 | 21173 700461 2138957 | 2147483647 232250 98 | 0.000 % |
165.56/165.78 c | 232410 | 21173 700461 2138957 | 2147483647 232410 98 | 0.000 % |
165.76/165.90 c | 232586 | 21173 700461 2138957 | 2147483647 232586 98 | 0.000 % |
165.96/166.15 c | 232781 | 21173 700461 2138957 | 2147483647 232781 98 | 0.000 % |
166.16/166.34 c | 232993 | 21173 700461 2138957 | 2147483647 232993 98 | 0.000 % |
166.36/166.58 c | 233226 | 21173 700461 2138957 | 2147483647 233226 98 | 0.000 % |
166.56/166.79 c | 233483 | 21173 700461 2138957 | 2147483647 233483 98 | 0.000 % |
166.86/167.07 c | 233766 | 21173 700461 2138957 | 2147483647 233766 98 | 0.000 % |
167.16/167.35 c | 234075 | 21173 700461 2138957 | 2147483647 234075 98 | 0.000 % |
167.46/167.65 c | 234414 | 21173 700461 2138957 | 2147483647 234414 98 | 0.000 % |
167.75/167.95 c | 234789 | 21173 700461 2138957 | 2147483647 234789 98 | 0.000 % |
168.06/168.29 c | 235198 | 21173 700461 2138957 | 2147483647 235198 98 | 0.000 % |
168.45/168.65 c | 235647 | 21173 700461 2138957 | 2147483647 235647 98 | 0.000 % |
168.75/168.99 c | 236143 | 21173 700461 2138957 | 2147483647 236143 98 | 0.000 % |
169.45/169.67 c | 236686 | 21173 700461 2138957 | 2147483647 236686 98 | 0.000 % |
169.95/170.18 c | 237282 | 21173 700461 2138957 | 2147483647 237282 98 | 0.000 % |
170.85/171.00 c | 237939 | 21173 700461 2138957 | 2147483647 237939 98 | 0.000 % |
171.55/171.78 c | 238659 | 21173 700461 2138957 | 2147483647 238659 98 | 0.000 % |
172.45/172.68 c | 239452 | 21173 700461 2138957 | 2147483647 239452 98 | 0.000 % |
173.26/173.43 c | 240324 | 21173 700461 2138957 | 2147483647 240324 98 | 0.000 % |
174.06/174.29 c | 241282 | 21173 700461 2138957 | 2147483647 241282 98 | 0.000 % |
175.25/175.43 c | 242338 | 21173 700461 2138957 | 2147483647 242338 98 | 0.000 % |
176.15/176.38 c | 243496 | 21173 700461 2138957 | 2147483647 243496 98 | 0.000 % |
177.35/177.50 c | 244770 | 21173 700461 2138957 | 2147483647 244770 98 | 0.000 % |
178.65/178.88 c | 246170 | 21173 700461 2138957 | 2147483647 246170 98 | 0.000 % |
180.35/180.55 c | 247710 | 21173 700461 2138957 | 2147483647 247710 98 | 0.000 % |
182.04/182.30 c | 249407 | 21173 700461 2138957 | 2147483647 249407 97 | 0.000 % |
184.24/184.44 c | 251270 | 21173 700461 2138957 | 2147483647 251270 97 | 0.000 % |
186.34/186.57 c | 253321 | 21173 700461 2138957 | 2147483647 253321 97 | 0.000 % |
189.14/189.34 c | 255578 | 21173 700461 2138957 | 2147483647 255578 98 | 0.000 % |
192.25/192.44 c | 258056 | 21173 700461 2138957 | 2147483647 258056 100 | 0.000 % |
192.45/192.62 c | 258156 | 21173 700461 2138957 | 2147483647 258156 100 | 0.000 % |
192.55/192.74 c | 258266 | 21173 700461 2138957 | 2147483647 258266 100 | 0.000 % |
192.75/192.90 c | 258387 | 21173 700461 2138957 | 2147483647 258387 100 | 0.000 % |
192.85/193.04 c | 258520 | 21173 700461 2138957 | 2147483647 258520 100 | 0.000 % |
193.15/193.35 c | 258666 | 21173 700461 2138957 | 2147483647 258666 100 | 0.000 % |
193.35/193.54 c | 258826 | 21173 700461 2138957 | 2147483647 258826 100 | 0.000 % |
193.45/193.69 c | 259003 | 21173 700461 2138957 | 2147483647 259003 100 | 0.000 % |
193.74/193.97 c | 259197 | 21173 700461 2138957 | 2147483647 259197 100 | 0.000 % |
193.94/194.17 c | 259409 | 21173 700461 2138957 | 2147483647 259409 100 | 0.000 % |
194.24/194.41 c | 259644 | 21173 700461 2138957 | 2147483647 259644 100 | 0.000 % |
194.45/194.65 c | 259900 | 21173 700461 2138957 | 2147483647 259900 100 | 0.000 % |
194.74/194.93 c | 260183 | 21173 700461 2138957 | 2147483647 260183 100 | 0.000 % |
195.04/195.23 c | 260497 | 21173 700461 2138957 | 2147483647 260497 100 | 0.000 % |
195.34/195.58 c | 260837 | 21173 700461 2138957 | 2147483647 260837 100 | 0.000 % |
195.74/195.93 c | 261212 | 21173 700461 2138957 | 2147483647 261212 100 | 0.000 % |
196.24/196.41 c | 261623 | 21173 700461 2138957 | 2147483647 261623 100 | 0.000 % |
196.64/196.83 c | 262073 | 21173 700461 2138957 | 2147483647 262073 100 | 0.000 % |
197.24/197.46 c | 262566 | 21173 700461 2138957 | 2147483647 262566 100 | 0.000 % |
197.84/198.07 c | 263109 | 21173 700461 2138957 | 2147483647 263109 100 | 0.000 % |
198.64/198.87 c | 263706 | 21173 700461 2138957 | 2147483647 263706 100 | 0.000 % |
199.34/199.58 c | 264363 | 21173 700461 2138957 | 2147483647 264363 100 | 0.000 % |
200.04/200.26 c | 265084 | 21173 700461 2138957 | 2147483647 265084 100 | 0.000 % |
201.15/201.34 c | 265876 | 21173 700461 2138957 | 2147483647 265876 100 | 0.000 % |
202.24/202.46 c | 266747 | 21173 700461 2138957 | 2147483647 266747 100 | 0.000 % |
203.34/203.52 c | 267705 | 21173 700461 2138957 | 2147483647 267705 100 | 0.000 % |
204.44/204.62 c | 268760 | 21173 700461 2138957 | 2147483647 268760 100 | 0.000 % |
205.64/205.80 c | 269918 | 21173 700461 2138957 | 2147483647 269918 100 | 0.000 % |
206.94/207.12 c | 271191 | 21173 700461 2138957 | 2147483647 271191 100 | 0.000 % |
208.43/208.60 c | 272593 | 21173 700461 2138957 | 2147483647 272593 100 | 0.000 % |
209.74/209.97 c | 274134 | 21173 700461 2138957 | 2147483647 274134 100 | 0.000 % |
211.14/211.34 c | 275828 | 21173 700461 2138957 | 2147483647 275828 100 | 0.000 % |
212.73/212.98 c | 277692 | 21173 700461 2138957 | 2147483647 277692 100 | 0.000 % |
214.34/214.59 c | 279742 | 21173 700461 2138957 | 2147483647 279742 100 | 0.000 % |
216.54/216.78 c | 281995 | 21173 700461 2138957 | 2147483647 281995 100 | 0.000 % |
218.73/218.96 c | 284474 | 21173 700461 2138957 | 2147483647 284474 101 | 0.000 % |
220.94/221.16 c | 287199 | 21173 700461 2138957 | 2147483647 287199 101 | 0.000 % |
221.04/221.24 c | 287299 | 21173 700461 2138957 | 2147483647 287299 101 | 0.001 % |
221.14/221.32 c | 287410 | 21173 700461 2138957 | 2147483647 287410 101 | 0.000 % |
221.24/221.42 c | 287532 | 21173 700461 2138957 | 2147483647 287532 101 | 0.000 % |
221.63/221.82 c | 287668 | 21173 700461 2138957 | 2147483647 287668 101 | 0.000 % |
221.73/221.96 c | 287814 | 21173 700461 2138957 | 2147483647 287814 101 | 0.000 % |
221.94/222.17 c | 287974 | 21173 700461 2138957 | 2147483647 287974 101 | 0.000 % |
222.23/222.40 c | 288150 | 21173 700461 2138957 | 2147483647 288150 101 | 0.000 % |
222.33/222.59 c | 288344 | 21173 700461 2138957 | 2147483647 288344 101 | 0.000 % |
222.63/222.89 c | 288561 | 21173 700461 2138957 | 2147483647 288561 101 | 0.000 % |
223.03/223.23 c | 288796 | 21173 700461 2138957 | 2147483647 288796 101 | 0.000 % |
223.33/223.50 c | 289052 | 21173 700461 2138957 | 2147483647 289052 101 | 0.000 % |
223.63/223.80 c | 289333 | 21173 700461 2138957 | 2147483647 289333 101 | 0.000 % |
223.93/224.14 c | 289642 | 21173 700461 2138957 | 2147483647 289642 101 | 0.000 % |
224.23/224.45 c | 289981 | 21173 700461 2138957 | 2147483647 289981 101 | 0.000 % |
224.53/224.79 c | 290353 | 21173 700461 2138957 | 2147483647 290353 101 | 0.000 % |
224.93/225.16 c | 290763 | 21173 700461 2138957 | 2147483647 290763 101 | 0.000 % |
225.34/225.56 c | 291213 | 21173 700461 2138957 | 2147483647 291213 101 | 0.000 % |
225.73/225.95 c | 291707 | 21173 700461 2138957 | 2147483647 291707 101 | 0.000 % |
226.13/226.40 c | 292249 | 21173 700461 2138957 | 2147483647 292249 101 | 0.000 % |
226.63/226.88 c | 292845 | 21173 700461 2138957 | 2147483647 292845 101 | 0.000 % |
227.22/227.43 c | 293500 | 21173 700461 2138957 | 2147483647 293500 101 | 0.000 % |
228.02/228.21 c | 294220 | 21173 700461 2138957 | 2147483647 294220 101 | 0.000 % |
228.72/228.91 c | 295013 | 21173 700461 2138957 | 2147483647 295013 101 | 0.000 % |
229.52/229.74 c | 295884 | 21173 700461 2138957 | 2147483647 295884 101 | 0.000 % |
230.32/230.51 c | 296843 | 21173 700461 2138957 | 2147483647 296843 101 | 0.000 % |
231.22/231.41 c | 297897 | 21173 700461 2138957 | 2147483647 297897 101 | 0.000 % |
232.43/232.69 c | 299056 | 21173 700461 2138957 | 2147483647 299056 101 | 0.000 % |
233.73/233.96 c | 300329 | 21173 700461 2138957 | 2147483647 300329 101 | 0.000 % |
234.83/235.08 c | 301730 | 21173 700461 2138957 | 2147483647 301730 101 | 0.000 % |
236.03/236.29 c | 303272 | 21173 700461 2138957 | 2147483647 303272 101 | 0.000 % |
237.43/237.65 c | 304967 | 21173 700461 2138957 | 2147483647 304967 101 | 0.000 % |
238.92/239.16 c | 306830 | 21173 700461 2138957 | 2147483647 306830 100 | 0.000 % |
240.82/241.02 c | 308879 | 21173 700461 2138957 | 2147483647 308879 101 | 0.000 % |
242.83/243.03 c | 311132 | 21173 700461 2138957 | 2147483647 311132 101 | 0.000 % |
245.22/245.47 c | 313610 | 21173 700461 2138957 | 2147483647 313610 101 | 0.000 % |
247.32/247.59 c | 316337 | 21173 700461 2138957 | 2147483647 316337 100 | 0.000 % |
249.91/250.19 c | 319336 | 21173 700461 2138957 | 2147483647 319336 100 | 0.000 % |
250.01/250.28 c | 319438 | 21173 700461 2138957 | 2147483647 319438 100 | 0.000 % |
250.21/250.42 c | 319548 | 21173 700461 2138957 | 2147483647 319548 100 | 0.000 % |
250.31/250.58 c | 319670 | 21173 700461 2138957 | 2147483647 319670 100 | 0.000 % |
250.52/250.80 c | 319803 | 21173 700461 2138957 | 2147483647 319803 100 | 0.000 % |
250.71/250.93 c | 319949 | 21173 700461 2138957 | 2147483647 319949 100 | 0.000 % |
250.91/251.14 c | 320110 | 21173 700461 2138957 | 2147483647 320110 100 | 0.000 % |
251.11/251.32 c | 320286 | 21173 700461 2138957 | 2147483647 320286 100 | 0.000 % |
251.32/251.53 c | 320480 | 21173 700461 2138957 | 2147483647 320480 100 | 0.000 % |
251.52/251.78 c | 320693 | 21173 700461 2138957 | 2147483647 320693 100 | 0.000 % |
251.82/252.07 c | 320926 | 21173 700461 2138957 | 2147483647 320926 100 | 0.000 % |
252.12/252.32 c | 321183 | 21173 700461 2138957 | 2147483647 321183 100 | 0.000 % |
252.42/252.69 c | 321465 | 21173 700461 2138957 | 2147483647 321465 100 | 0.000 % |
252.82/253.07 c | 321774 | 21173 700461 2138957 | 2147483647 321774 100 | 0.000 % |
253.12/253.32 c | 322113 | 21173 700461 2138957 | 2147483647 322113 100 | 0.000 % |
253.52/253.79 c | 322485 | 21173 700461 2138957 | 2147483647 322485 100 | 0.000 % |
253.92/254.15 c | 322895 | 21173 700461 2138957 | 2147483647 322895 100 | 0.000 % |
254.32/254.54 c | 323344 | 21173 700461 2138957 | 2147483647 323344 100 | 0.000 % |
254.72/254.98 c | 323837 | 21173 700461 2138957 | 2147483647 323837 100 | 0.000 % |
255.32/255.58 c | 324379 | 21173 700461 2138957 | 2147483647 324379 100 | 0.000 % |
255.81/256.08 c | 324975 | 21173 700461 2138957 | 2147483647 324975 100 | 0.000 % |
256.51/256.73 c | 325630 | 21173 700461 2138957 | 2147483647 325630 100 | 0.000 % |
257.22/257.47 c | 326350 | 21173 700461 2138957 | 2147483647 326350 100 | 0.000 % |
257.91/258.12 c | 327142 | 21173 700461 2138957 | 2147483647 327142 100 | 0.001 % |
258.52/258.74 c | 328013 | 21173 700461 2138957 | 2147483647 328013 100 | 0.000 % |
259.42/259.64 c | 328971 | 21173 700461 2138957 | 2147483647 328971 100 | 0.000 % |
260.31/260.54 c | 330024 | 21173 700461 2138957 | 2147483647 330024 100 | 0.000 % |
261.81/262.04 c | 331182 | 21173 700461 2138957 | 2147483647 331182 100 | 0.000 % |
263.01/263.26 c | 332456 | 21173 700461 2138957 | 2147483647 332456 100 | 0.000 % |
264.21/264.46 c | 333856 | 21173 700461 2138957 | 2147483647 333856 100 | 0.000 % |
265.71/265.91 c | 335396 | 21173 700461 2138957 | 2147483647 335396 100 | 0.000 % |
267.61/267.87 c | 337091 | 21173 700461 2138957 | 2147483647 337091 100 | 0.000 % |
269.41/269.64 c | 338956 | 21173 700461 2138957 | 2147483647 338956 100 | 0.000 % |
271.51/271.74 c | 341007 | 21173 700461 2138957 | 2147483647 341007 101 | 0.000 % |
274.40/274.69 c | 343261 | 21173 700461 2138957 | 2147483647 343261 101 | 0.000 % |
277.11/277.36 c | 345739 | 21173 700461 2138957 | 2147483647 345739 101 | 0.000 % |
279.40/279.68 c | 348464 | 21173 700461 2138957 | 2147483647 348464 101 | 0.000 % |
281.70/281.97 c | 351464 | 21173 700461 2138957 | 2147483647 351464 101 | 0.000 % |
284.00/284.20 c | 354760 | 21173 700461 2138957 | 2147483647 354760 100 | 0.001 % |
284.10/284.32 c | 354860 | 21173 700461 2138957 | 2147483647 354860 100 | 0.000 % |
284.20/284.40 c | 354971 | 21173 700461 2138957 | 2147483647 354971 100 | 0.001 % |
284.30/284.58 c | 355093 | 21173 700461 2138957 | 2147483647 355093 100 | 0.001 % |
284.50/284.79 c | 355227 | 21173 700461 2138957 | 2147483647 355227 100 | 0.000 % |
284.70/284.96 c | 355374 | 21173 700461 2138957 | 2147483647 355374 100 | 0.000 % |
284.90/285.11 c | 355536 | 21173 700461 2138957 | 2147483647 355536 100 | 0.000 % |
285.30/285.57 c | 355712 | 21173 700461 2138957 | 2147483647 355712 100 | 0.000 % |
285.60/285.82 c | 355905 | 21173 700461 2138957 | 2147483647 355905 100 | 0.000 % |
285.81/286.03 c | 356117 | 21173 700461 2138957 | 2147483647 356117 100 | 0.000 % |
286.00/286.27 c | 356350 | 21173 700461 2138957 | 2147483647 356350 100 | 0.000 % |
286.50/286.71 c | 356606 | 21173 700461 2138957 | 2147483647 356606 100 | 0.000 % |
286.81/287.00 c | 356888 | 21173 700461 2138957 | 2147483647 356888 100 | 0.000 % |
287.20/287.40 c | 357197 | 21173 700461 2138957 | 2147483647 357197 100 | 0.000 % |
287.50/287.75 c | 357538 | 21173 700461 2138957 | 2147483647 357538 100 | 0.000 % |
288.10/288.30 c | 357910 | 21173 700461 2138957 | 2147483647 357910 100 | 0.000 % |
288.70/288.96 c | 358320 | 21173 700461 2138957 | 2147483647 358320 100 | 0.000 % |
289.30/289.50 c | 358770 | 21173 700461 2138957 | 2147483647 358770 100 | 0.000 % |
289.80/290.08 c | 359265 | 21173 700461 2138957 | 2147483647 359265 100 | 0.000 % |
290.50/290.76 c | 359808 | 21173 700461 2138957 | 2147483647 359808 100 | 0.000 % |
291.20/291.47 c | 360408 | 21173 700461 2138957 | 2147483647 360408 100 | 0.000 % |
292.00/292.23 c | 361064 | 21173 700461 2138957 | 2147483647 361064 100 | 0.000 % |
293.00/293.23 c | 361786 | 21173 700461 2138957 | 2147483647 361786 100 | 0.000 % |
293.90/294.12 c | 362579 | 21173 700461 2138957 | 2147483647 362579 100 | 0.000 % |
295.39/295.68 c | 363450 | 21173 700461 2138957 | 2147483647 363450 100 | 0.000 % |
296.80/297.03 c | 364408 | 21173 700461 2138957 | 2147483647 364408 100 | 0.000 % |
298.19/298.41 c | 365461 | 21173 700461 2138957 | 2147483647 365461 100 | 0.000 % |
299.39/299.65 c | 366619 | 21173 700461 2138957 | 2147483647 366619 100 | 0.000 % |
300.49/300.79 c | 367892 | 21173 700461 2138957 | 2147483647 367892 100 | 0.000 % |
302.09/302.39 c | 369292 | 21173 700461 2138957 | 2147483647 369292 100 | 0.000 % |
303.79/304.08 c | 370836 | 21173 700461 2138957 | 2147483647 370836 100 | 0.000 % |
305.09/305.35 c | 372531 | 21173 700461 2138957 | 2147483647 372531 100 | 0.000 % |
306.49/306.80 c | 374394 | 21173 700461 2138957 | 2147483647 374394 100 | 0.000 % |
308.49/308.76 c | 376443 | 21173 700461 2138957 | 2147483647 376443 100 | 0.000 % |
310.89/311.17 c | 378699 | 21173 700461 2138957 | 2147483647 378699 100 | 0.000 % |
312.89/313.19 c | 381177 | 21173 700461 2138957 | 2147483647 381177 99 | 0.000 % |
315.49/315.77 c | 383902 | 21173 700461 2138957 | 2147483647 383902 100 | 0.000 % |
318.38/318.68 c | 386900 | 21173 700461 2138957 | 2147483647 386900 100 | 0.000 % |
321.29/321.52 c | 390197 | 21173 700461 2138957 | 2147483647 390197 99 | 0.000 % |
325.78/326.02 c | 393824 | 21173 700461 2138957 | 2147483647 393824 99 | 0.000 % |
325.88/326.16 c | 393925 | 21173 700461 2138957 | 2147483647 393925 99 | 0.000 % |
326.08/326.37 c | 394035 | 21173 700461 2138957 | 2147483647 394035 99 | 0.000 % |
326.38/326.65 c | 394156 | 21173 700461 2138957 | 2147483647 394156 100 | 0.000 % |
326.48/326.79 c | 394289 | 21173 700461 2138957 | 2147483647 394289 99 | 0.000 % |
326.68/326.96 c | 394436 | 21173 700461 2138957 | 2147483647 394436 99 | 0.000 % |
326.88/327.18 c | 394597 | 21173 700461 2138957 | 2147483647 394597 99 | 0.000 % |
327.18/327.46 c | 394775 | 21173 700461 2138957 | 2147483647 394775 99 | 0.000 % |
327.49/327.76 c | 394969 | 21173 700461 2138957 | 2147483647 394969 99 | 0.000 % |
327.79/328.05 c | 395183 | 21173 700461 2138957 | 2147483647 395183 99 | 0.000 % |
327.98/328.28 c | 395420 | 21173 700461 2138957 | 2147483647 395420 99 | 0.000 % |
328.38/328.62 c | 395676 | 21173 700461 2138957 | 2147483647 395676 99 | 0.000 % |
328.69/328.91 c | 395958 | 21173 700461 2138957 | 2147483647 395958 99 | 0.000 % |
328.88/329.14 c | 396267 | 21173 700461 2138957 | 2147483647 396267 99 | 0.000 % |
329.28/329.50 c | 396607 | 21173 700461 2138957 | 2147483647 396607 99 | 0.000 % |
329.58/329.86 c | 396979 | 21173 700461 2138957 | 2147483647 396979 99 | 0.000 % |
329.98/330.23 c | 397389 | 21173 700461 2138957 | 2147483647 397389 99 | 0.000 % |
330.48/330.70 c | 397839 | 21173 700461 2138957 | 2147483647 397839 99 | 0.000 % |
331.18/331.49 c | 398335 | 21173 700461 2138957 | 2147483647 398335 99 | 0.000 % |
331.68/331.97 c | 398879 | 21173 700461 2138957 | 2147483647 398879 99 | 0.000 % |
332.28/332.58 c | 399476 | 21173 700461 2138957 | 2147483647 399476 99 | 0.000 % |
332.88/333.17 c | 400132 | 21173 700461 2138957 | 2147483647 400132 99 | 0.000 % |
333.58/333.81 c | 400852 | 21173 700461 2138957 | 2147483647 400852 99 | 0.000 % |
334.58/334.84 c | 401644 | 21173 700461 2138957 | 2147483647 401644 99 | 0.000 % |
335.58/335.88 c | 402516 | 21173 700461 2138957 | 2147483647 402516 99 | 0.000 % |
336.98/337.21 c | 403475 | 21173 700461 2138957 | 2147483647 403475 99 | 0.000 % |
338.78/339.05 c | 404529 | 21173 700461 2138957 | 2147483647 404529 99 | 0.000 % |
340.97/341.22 c | 405689 | 21173 700461 2138957 | 2147483647 405689 99 | 0.000 % |
342.87/343.14 c | 406962 | 21173 700461 2138957 | 2147483647 406962 99 | 0.000 % |
345.57/345.83 c | 408363 | 21173 700461 2138957 | 2147483647 408363 99 | 0.000 % |
347.98/348.27 c | 409903 | 21173 700461 2138957 | 2147483647 409903 99 | 0.000 % |
350.47/350.78 c | 411597 | 21173 700461 2138957 | 2147483647 411597 99 | 0.000 % |
352.57/352.88 c | 413461 | 21173 700461 2138957 | 2147483647 413461 101 | 0.000 % |
354.77/355.07 c | 415511 | 21173 700461 2138957 | 2147483647 415511 101 | 0.000 % |
355.97/356.28 c | 417764 | 21173 700461 2138957 | 2147483647 417764 101 | 0.000 % |
357.97/358.30 c | 420242 | 21173 700461 2138957 | 2147483647 420242 101 | 0.001 % |
360.16/360.41 c | 422968 | 21173 700461 2138957 | 2147483647 422968 101 | 0.000 % |
362.27/362.51 c | 425965 | 21173 700461 2138957 | 2147483647 425965 101 | 0.001 % |
364.96/365.26 c | 429261 | 21173 700461 2138957 | 2147483647 429261 101 | 0.000 % |
367.36/367.64 c | 432886 | 21173 700461 2138957 | 2147483647 432886 101 | 0.001 % |
370.76/371.04 c | 436875 | 21173 700461 2138957 | 2147483647 436875 101 | 0.000 % |
370.96/371.20 c | 436978 | 21173 700461 2138957 | 2147483647 436978 101 | 0.000 % |
371.06/371.33 c | 437088 | 21173 700461 2138957 | 2147483647 437088 101 | 0.000 % |
371.36/371.63 c | 437209 | 21173 700461 2138957 | 2147483647 437209 101 | 0.000 % |
371.46/371.80 c | 437344 | 21173 700461 2138957 | 2147483647 437344 101 | 0.000 % |
371.66/371.96 c | 437490 | 21173 700461 2138957 | 2147483647 437490 101 | 0.000 % |
371.86/372.14 c | 437650 | 21173 700461 2138957 | 2147483647 437650 101 | 0.000 % |
372.06/372.37 c | 437827 | 21173 700461 2138957 | 2147483647 437827 101 | 0.000 % |
372.36/372.62 c | 438022 | 21173 700461 2138957 | 2147483647 438022 101 | 0.000 % |
372.76/373.02 c | 438237 | 21173 700461 2138957 | 2147483647 438237 101 | 0.000 % |
373.27/373.57 c | 438471 | 21173 700461 2138957 | 2147483647 438471 101 | 0.000 % |
373.77/374.09 c | 438728 | 21173 700461 2138957 | 2147483647 438728 101 | 0.000 % |
374.26/374.54 c | 439012 | 21173 700461 2138957 | 2147483647 439012 101 | 0.000 % |
374.96/375.20 c | 439322 | 21173 700461 2138957 | 2147483647 439322 101 | 0.000 % |
375.66/375.90 c | 439666 | 21173 700461 2138957 | 2147483647 439666 101 | 0.000 % |
376.16/376.42 c | 440038 | 21173 700461 2138957 | 2147483647 440038 101 | 0.000 % |
376.86/377.16 c | 440447 | 21173 700461 2138957 | 2147483647 440447 101 | 0.000 % |
377.46/377.76 c | 440896 | 21173 700461 2138957 | 2147483647 440896 101 | 0.000 % |
378.07/378.37 c | 441389 | 21173 700461 2138957 | 2147483647 441389 101 | 0.000 % |
378.66/378.98 c | 441934 | 21173 700461 2138957 | 2147483647 441934 101 | 0.000 % |
379.46/379.80 c | 442532 | 21173 700461 2138957 | 2147483647 442532 100 | 0.000 % |
380.56/380.84 c | 443189 | 21173 700461 2138957 | 2147483647 443189 100 | 0.000 % |
381.66/381.95 c | 443909 | 21173 700461 2138957 | 2147483647 443909 100 | 0.000 % |
382.76/383.03 c | 444702 | 21173 700461 2138957 | 2147483647 444702 100 | 0.000 % |
383.76/384.06 c | 445575 | 21173 700461 2138957 | 2147483647 445575 100 | 0.000 % |
385.16/385.46 c | 446533 | 21173 700461 2138957 | 2147483647 446533 100 | 0.000 % |
386.75/387.00 c | 447590 | 21173 700461 2138957 | 2147483647 447590 101 | 0.000 % |
388.55/388.87 c | 448751 | 21173 700461 2138957 | 2147483647 448751 100 | 0.000 % |
390.05/390.30 c | 450026 | 21173 700461 2138957 | 2147483647 450026 100 | 0.000 % |
391.56/391.80 c | 451428 | 21173 700461 2138957 | 2147483647 451428 100 | 0.000 % |
393.25/393.54 c | 452970 | 21173 700461 2138957 | 2147483647 452970 100 | 0.000 % |
394.85/395.14 c | 454666 | 21173 700461 2138957 | 2147483647 454666 100 | 0.001 % |
396.75/397.03 c | 456530 | 21173 700461 2138957 | 2147483647 456530 100 | 0.000 % |
398.85/399.20 c | 458580 | 21173 700461 2138957 | 2147483647 458580 100 | 0.000 % |
401.55/401.86 c | 460833 | 21173 700461 2138957 | 2147483647 460833 100 | 0.000 % |
405.05/405.34 c | 463312 | 21173 700461 2138957 | 2147483647 463312 100 | 0.000 % |
408.14/408.43 c | 466038 | 21173 700461 2138957 | 2147483647 466038 100 | 0.000 % |
413.25/413.52 c | 469036 | 21173 700461 2138957 | 2147483647 469036 101 | 0.000 % |
418.44/418.78 c | 472334 | 21173 700461 2138957 | 2147483647 472334 101 | 0.000 % |
423.54/423.82 c | 475961 | 21173 700461 2138957 | 2147483647 475961 102 | 0.000 % |
429.04/429.37 c | 479948 | 21173 700461 2138957 | 2147483647 479948 103 | 0.000 % |
435.44/435.75 c | 484333 | 21173 700461 2138957 | 2147483647 484333 102 | 0.000 % |
435.64/435.95 c | 484433 | 21173 700461 2138957 | 2147483647 484433 102 | 0.000 % |
436.04/436.31 c | 484545 | 21173 700461 2138957 | 2147483647 484545 102 | 0.000 % |
436.24/436.52 c | 484668 | 21173 700461 2138957 | 2147483647 484668 102 | 0.000 % |
436.44/436.72 c | 484802 | 21173 700461 2138957 | 2147483647 484802 102 | 0.000 % |
436.84/437.10 c | 484948 | 21173 700461 2138957 | 2147483647 484948 102 | 0.000 % |
437.04/437.39 c | 485111 | 21173 700461 2138957 | 2147483647 485111 102 | 0.000 % |
437.24/437.57 c | 485287 | 21173 700461 2138957 | 2147483647 485287 102 | 0.000 % |
437.54/437.84 c | 485481 | 21173 700461 2138957 | 2147483647 485481 102 | 0.000 % |
437.84/438.17 c | 485695 | 21173 700461 2138957 | 2147483647 485695 102 | 0.000 % |
438.14/438.47 c | 485929 | 21173 700461 2138957 | 2147483647 485929 102 | 0.000 % |
438.43/438.76 c | 486185 | 21173 700461 2138957 | 2147483647 486185 102 | 0.000 % |
438.83/439.18 c | 486466 | 21173 700461 2138957 | 2147483647 486466 102 | 0.000 % |
439.54/439.80 c | 486776 | 21173 700461 2138957 | 2147483647 486776 102 | 0.000 % |
440.23/440.52 c | 487116 | 21173 700461 2138957 | 2147483647 487116 102 | 0.000 % |
440.63/440.98 c | 487489 | 21173 700461 2138957 | 2147483647 487489 102 | 0.000 % |
441.33/441.61 c | 487898 | 21173 700461 2138957 | 2147483647 487898 102 | 0.000 % |
442.13/442.47 c | 488349 | 21173 700461 2138957 | 2147483647 488349 102 | 0.000 % |
442.83/443.19 c | 488847 | 21173 700461 2138957 | 2147483647 488847 102 | 0.000 % |
444.03/444.37 c | 489389 | 21173 700461 2138957 | 2147483647 489389 102 | 0.000 % |
445.03/445.30 c | 489986 | 21173 700461 2138957 | 2147483647 489986 102 | 0.000 % |
446.04/446.37 c | 490643 | 21173 700461 2138957 | 2147483647 490643 102 | 0.000 % |
447.04/447.40 c | 491363 | 21173 700461 2138957 | 2147483647 491363 102 | 0.000 % |
448.93/449.23 c | 492155 | 21173 700461 2138957 | 2147483647 492155 102 | 0.000 % |
450.23/450.55 c | 493027 | 21173 700461 2138957 | 2147483647 493027 102 | 0.000 % |
451.73/452.08 c | 493986 | 21173 700461 2138957 | 2147483647 493986 102 | 0.000 % |
453.23/453.53 c | 495039 | 21173 700461 2138957 | 2147483647 495039 102 | 0.000 % |
454.94/455.28 c | 496198 | 21173 700461 2138957 | 2147483647 496198 102 | 0.000 % |
456.63/456.97 c | 497471 | 21173 700461 2138957 | 2147483647 497471 102 | 0.000 % |
459.13/459.40 c | 498871 | 21173 700461 2138957 | 2147483647 498871 102 | 0.000 % |
461.43/461.78 c | 500412 | 21173 700461 2138957 | 2147483647 500412 102 | 0.000 % |
464.12/464.47 c | 502106 | 21173 700461 2138957 | 2147483647 502106 102 | 0.000 % |
466.83/467.19 c | 503970 | 21173 700461 2138957 | 2147483647 503970 102 | 0.000 % |
470.03/470.31 c | 506019 | 21173 700461 2138957 | 2147483647 506019 102 | 0.000 % |
473.42/473.79 c | 508272 | 21173 700461 2138957 | 2147483647 508272 102 | 0.000 % |
478.63/478.94 c | 510750 | 21173 700461 2138957 | 2147483647 510750 102 | 0.000 % |
483.62/483.93 c | 513475 | 21173 700461 2138957 | 2147483647 513475 102 | 0.000 % |
488.82/489.14 c | 516472 | 21173 700461 2138957 | 2147483647 516472 102 | 0.000 % |
494.42/494.76 c | 519769 | 21173 700461 2138957 | 2147483647 519769 102 | 0.000 % |
499.21/499.56 c | 523394 | 21173 700461 2138957 | 2147483647 523394 101 | 0.000 % |
504.71/505.05 c | 527381 | 21173 700461 2138957 | 2147483647 527381 101 | 0.000 % |
511.41/511.75 c | 531767 | 21173 700461 2138957 | 2147483647 531767 101 | 0.000 % |
518.90/519.24 c | 536593 | 21173 700461 2138957 | 2147483647 536593 101 | 0.000 % |
519.10/519.46 c | 536693 | 21173 700461 2138957 | 2147483647 536693 101 | 0.000 % |
519.30/519.62 c | 536805 | 21173 700461 2138957 | 2147483647 536805 101 | 0.000 % |
519.50/519.80 c | 536928 | 21173 700461 2138957 | 2147483647 536928 101 | 0.000 % |
519.70/520.05 c | 537062 | 21173 700461 2138957 | 2147483647 537062 101 | 0.000 % |
520.00/520.40 c | 537208 | 21173 700461 2138957 | 2147483647 537208 101 | 0.000 % |
520.40/520.72 c | 537369 | 21173 700461 2138957 | 2147483647 537369 101 | 0.000 % |
520.70/521.05 c | 537546 | 21173 700461 2138957 | 2147483647 537546 101 | 0.000 % |
521.20/521.55 c | 537739 | 21173 700461 2138957 | 2147483647 537739 101 | 0.000 % |
521.50/521.85 c | 537953 | 21173 700461 2138957 | 2147483647 537953 101 | 0.000 % |
521.80/522.20 c | 538186 | 21173 700461 2138957 | 2147483647 538186 101 | 0.000 % |
522.30/522.62 c | 538443 | 21173 700461 2138957 | 2147483647 538443 101 | 0.000 % |
522.60/522.94 c | 538725 | 21173 700461 2138957 | 2147483647 538725 101 | 0.000 % |
523.00/523.37 c | 539040 | 21173 700461 2138957 | 2147483647 539040 101 | 0.000 % |
524.31/524.63 c | 539380 | 21173 700461 2138957 | 2147483647 539380 101 | 0.000 % |
524.81/525.14 c | 539752 | 21173 700461 2138957 | 2147483647 539752 101 | 0.000 % |
525.41/525.75 c | 540161 | 21173 700461 2138957 | 2147483647 540161 101 | 0.000 % |
526.11/526.42 c | 540613 | 21173 700461 2138957 | 2147483647 540613 101 | 0.000 % |
526.80/527.12 c | 541110 | 21173 700461 2138957 | 2147483647 541110 101 | 0.000 % |
528.00/528.39 c | 541652 | 21173 700461 2138957 | 2147483647 541652 101 | 0.000 % |
528.80/529.20 c | 542248 | 21173 700461 2138957 | 2147483647 542248 101 | 0.000 % |
529.80/530.14 c | 542903 | 21173 700461 2138957 | 2147483647 542903 101 | 0.000 % |
531.00/531.34 c | 543624 | 21173 700461 2138957 | 2147483647 543624 101 | 0.000 % |
532.29/532.67 c | 544416 | 21173 700461 2138957 | 2147483647 544416 101 | 0.000 % |
533.99/534.33 c | 545288 | 21173 700461 2138957 | 2147483647 545288 101 | 0.000 % |
535.49/535.84 c | 546246 | 21173 700461 2138957 | 2147483647 546246 101 | 0.000 % |
537.89/538.28 c | 547299 | 21173 700461 2138957 | 2147483647 547299 101 | 0.000 % |
540.19/540.57 c | 548457 | 21173 700461 2138957 | 2147483647 548457 101 | 0.000 % |
542.99/543.32 c | 549730 | 21173 700461 2138957 | 2147483647 549730 101 | 0.000 % |
545.19/545.53 c | 551130 | 21173 700461 2138957 | 2147483647 551130 101 | 0.000 % |
547.99/548.35 c | 552673 | 21173 700461 2138957 | 2147483647 552673 101 | 0.000 % |
551.19/551.59 c | 554368 | 21173 700461 2138957 | 2147483647 554368 101 | 0.000 % |
554.29/554.65 c | 556231 | 21173 700461 2138957 | 2147483647 556231 100 | 0.000 % |
558.19/558.53 c | 558280 | 21173 700461 2138957 | 2147483647 558280 100 | 0.000 % |
562.39/562.76 c | 560533 | 21173 700461 2138957 | 2147483647 560533 100 | 0.000 % |
567.78/568.18 c | 563012 | 21173 700461 2138957 | 2147483647 563012 100 | 0.000 % |
573.49/573.84 c | 565737 | 21173 700461 2138957 | 2147483647 565737 100 | 0.000 % |
579.08/579.48 c | 568735 | 21173 700461 2138957 | 2147483647 568735 100 | 0.000 % |
585.58/585.91 c | 572033 | 21173 700461 2138957 | 2147483647 572033 100 | 0.000 % |
592.17/592.50 c | 575658 | 21173 700461 2138957 | 2147483647 575658 100 | 0.000 % |
598.77/599.12 c | 579645 | 21173 700461 2138957 | 2147483647 579645 100 | 0.000 % |
606.07/606.40 c | 584031 | 21173 700461 2138957 | 2147483647 584031 100 | 0.000 % |
613.47/613.80 c | 588855 | 21173 700461 2138957 | 2147483647 588855 101 | 0.000 % |
622.87/623.24 c | 594160 | 21173 700461 2138957 | 2147483647 594160 101 | 0.000 % |
623.06/623.44 c | 594264 | 21173 700461 2138957 | 2147483647 594264 101 | 0.000 % |
623.27/623.63 c | 594374 | 21173 700461 2138957 | 2147483647 594374 101 | 0.000 % |
623.46/623.89 c | 594496 | 21173 700461 2138957 | 2147483647 594496 101 | 0.000 % |
623.76/624.13 c | 594630 | 21173 700461 2138957 | 2147483647 594630 101 | 0.000 % |
624.06/624.41 c | 594779 | 21173 700461 2138957 | 2147483647 594779 101 | 0.000 % |
624.36/624.74 c | 594940 | 21173 700461 2138957 | 2147483647 594940 101 | 0.000 % |
624.66/625.06 c | 595116 | 21173 700461 2138957 | 2147483647 595116 101 | 0.000 % |
624.96/625.38 c | 595309 | 21173 700461 2138957 | 2147483647 595309 101 | 0.000 % |
625.56/625.98 c | 595521 | 21173 700461 2138957 | 2147483647 595521 101 | 0.000 % |
626.16/626.55 c | 595754 | 21173 700461 2138957 | 2147483647 595754 101 | 0.000 % |
626.56/626.90 c | 596010 | 21173 700461 2138957 | 2147483647 596010 101 | 0.000 % |
627.16/627.57 c | 596291 | 21173 700461 2138957 | 2147483647 596291 101 | 0.000 % |
627.76/628.12 c | 596600 | 21173 700461 2138957 | 2147483647 596600 101 | 0.000 % |
628.27/628.63 c | 596939 | 21173 700461 2138957 | 2147483647 596939 101 | 0.000 % |
628.87/629.29 c | 597311 | 21173 700461 2138957 | 2147483647 597311 101 | 0.000 % |
629.66/630.07 c | 597724 | 21173 700461 2138957 | 2147483647 597724 101 | 0.000 % |
630.36/630.75 c | 598173 | 21173 700461 2138957 | 2147483647 598173 101 | 0.000 % |
631.46/631.80 c | 598668 | 21173 700461 2138957 | 2147483647 598668 101 | 0.000 % |
631.96/632.36 c | 599210 | 21173 700461 2138957 | 2147483647 599210 101 | 0.000 % |
632.86/633.23 c | 599806 | 21173 700461 2138957 | 2147483647 599806 101 | 0.000 % |
633.96/634.32 c | 600462 | 21173 700461 2138957 | 2147483647 600462 101 | 0.000 % |
635.26/635.67 c | 601183 | 21173 700461 2138957 | 2147483647 601183 101 | 0.000 % |
636.36/636.77 c | 601975 | 21173 700461 2138957 | 2147483647 601975 101 | 0.000 % |
637.66/638.00 c | 602846 | 21173 700461 2138957 | 2147483647 602846 101 | 0.000 % |
638.86/639.24 c | 603804 | 21173 700461 2138957 | 2147483647 603804 101 | 0.000 % |
640.56/640.90 c | 604857 | 21173 700461 2138957 | 2147483647 604857 101 | 0.000 % |
642.35/642.76 c | 606017 | 21173 700461 2138957 | 2147483647 606017 101 | 0.000 % |
644.66/645.08 c | 607290 | 21173 700461 2138957 | 2147483647 607290 101 | 0.000 % |
646.75/647.19 c | 608690 | 21173 700461 2138957 | 2147483647 608690 101 | 0.000 % |
649.45/649.89 c | 610230 | 21173 700461 2138957 | 2147483647 610230 101 | 0.000 % |
652.65/653.09 c | 611924 | 21173 700461 2138957 | 2147483647 611924 101 | 0.000 % |
656.15/656.52 c | 613788 | 21173 700461 2138957 | 2147483647 613788 101 | 0.000 % |
660.66/661.06 c | 615837 | 21173 700461 2138957 | 2147483647 615837 101 | 0.000 % |
664.65/665.01 c | 618090 | 21173 700461 2138957 | 2147483647 618090 101 | 0.000 % |
670.04/670.44 c | 620568 | 21173 700461 2138957 | 2147483647 620568 101 | 0.000 % |
675.05/675.46 c | 623295 | 21173 700461 2138957 | 2147483647 623295 101 | 0.000 % |
680.65/681.02 c | 626292 | 21173 700461 2138957 | 2147483647 626292 100 | 0.000 % |
686.64/687.01 c | 629589 | 21173 700461 2138957 | 2147483647 629589 100 | 0.000 % |
691.74/692.15 c | 633214 | 21173 700461 2138957 | 2147483647 633214 100 | 0.000 % |
697.44/697.87 c | 637203 | 21173 700461 2138957 | 2147483647 637203 100 | 0.000 % |
704.23/704.66 c | 641589 | 21173 700461 2138957 | 2147483647 641589 100 | 0.000 % |
714.13/714.51 c | 646412 | 21173 700461 2138957 | 2147483647 646412 100 | 0.000 % |
723.82/724.24 c | 651719 | 21173 700461 2138957 | 2147483647 651719 100 | 0.000 % |
735.42/735.87 c | 657555 | 21173 700461 2138957 | 2147483647 657555 100 | 0.000 % |
735.82/736.20 c | 657656 | 21173 700461 2138957 | 2147483647 657656 100 | 0.000 % |
736.02/736.44 c | 657769 | 21173 700461 2138957 | 2147483647 657769 100 | 0.000 % |
736.22/736.69 c | 657892 | 21173 700461 2138957 | 2147483647 657892 100 | 0.000 % |
736.52/736.94 c | 658027 | 21173 700461 2138957 | 2147483647 658027 100 | 0.000 % |
737.02/737.46 c | 658174 | 21173 700461 2138957 | 2147483647 658174 100 | 0.000 % |
737.32/737.75 c | 658336 | 21173 700461 2138957 | 2147483647 658336 100 | 0.000 % |
737.62/738.05 c | 658514 | 21173 700461 2138957 | 2147483647 658514 100 | 0.000 % |
738.42/738.85 c | 658707 | 21173 700461 2138957 | 2147483647 658707 100 | 0.000 % |
738.82/739.24 c | 658920 | 21173 700461 2138957 | 2147483647 658920 100 | 0.000 % |
739.32/739.79 c | 659155 | 21173 700461 2138957 | 2147483647 659155 100 | 0.000 % |
739.82/740.26 c | 659411 | 21173 700461 2138957 | 2147483647 659411 100 | 0.000 % |
740.32/740.73 c | 659693 | 21173 700461 2138957 | 2147483647 659693 100 | 0.000 % |
740.92/741.37 c | 660003 | 21173 700461 2138957 | 2147483647 660003 100 | 0.000 % |
742.01/742.42 c | 660342 | 21173 700461 2138957 | 2147483647 660342 100 | 0.000 % |
742.71/743.19 c | 660715 | 21173 700461 2138957 | 2147483647 660715 100 | 0.000 % |
743.51/743.98 c | 661126 | 21173 700461 2138957 | 2147483647 661126 100 | 0.000 % |
744.31/744.75 c | 661575 | 21173 700461 2138957 | 2147483647 661575 100 | 0.000 % |
745.51/745.94 c | 662068 | 21173 700461 2138957 | 2147483647 662068 100 | 0.000 % |
746.72/747.18 c | 662610 | 21173 700461 2138957 | 2147483647 662610 100 | 0.000 % |
748.11/748.50 c | 663206 | 21173 700461 2138957 | 2147483647 663206 100 | 0.000 % |
749.51/749.90 c | 663861 | 21173 700461 2138957 | 2147483647 663861 100 | 0.000 % |
750.51/750.97 c | 664582 | 21173 700461 2138957 | 2147483647 664582 100 | 0.000 % |
752.01/752.43 c | 665374 | 21173 700461 2138957 | 2147483647 665374 100 | 0.000 % |
753.91/754.39 c | 666245 | 21173 700461 2138957 | 2147483647 666245 100 | 0.000 % |
755.51/755.96 c | 667203 | 21173 700461 2138957 | 2147483647 667203 100 | 0.000 % |
758.10/758.53 c | 668258 | 21173 700461 2138957 | 2147483647 668258 100 | 0.000 % |
760.50/760.94 c | 669417 | 21173 700461 2138957 | 2147483647 669417 100 | 0.000 % |
762.70/763.12 c | 670691 | 21173 700461 2138957 | 2147483647 670691 100 | 0.000 % |
765.71/766.16 c | 672091 | 21173 700461 2138957 | 2147483647 672091 100 | 0.000 % |
768.51/768.97 c | 673636 | 21173 700461 2138957 | 2147483647 673636 100 | 0.000 % |
771.40/771.83 c | 675330 | 21173 700461 2138957 | 2147483647 675330 100 | 0.000 % |
774.80/775.22 c | 677195 | 21173 700461 2138957 | 2147483647 677195 100 | 0.000 % |
779.20/779.60 c | 679247 | 21173 700461 2138957 | 2147483647 679247 100 | 0.000 % |
783.49/783.96 c | 681501 | 21173 700461 2138957 | 2147483647 681501 100 | 0.000 % |
788.19/788.69 c | 683979 | 21173 700461 2138957 | 2147483647 683979 100 | 0.000 % |
792.99/793.46 c | 686704 | 21173 700461 2138957 | 2147483647 686704 100 | 0.000 % |
797.09/797.57 c | 689704 | 21173 700461 2138957 | 2147483647 689704 99 | 0.000 % |
801.89/802.39 c | 693000 | 21173 700461 2138957 | 2147483647 693000 99 | 0.000 % |
809.49/809.92 c | 696625 | 21173 700461 2138957 | 2147483647 696625 99 | 0.000 % |
816.08/816.59 c | 700612 | 21173 700461 2138957 | 2147483647 700612 99 | 0.000 % |
820.98/821.41 c | 704998 | 21173 700461 2138957 | 2147483647 704998 99 | 0.000 % |
825.38/825.86 c | 709822 | 21173 700461 2138957 | 2147483647 709822 99 | 0.000 % |
830.88/831.35 c | 715130 | 21173 700461 2138957 | 2147483647 715130 98 | 0.000 % |
835.98/836.47 c | 720966 | 21173 700461 2138957 | 2147483647 720966 98 | 0.000 % |
844.28/844.74 c | 727384 | 21173 700461 2138957 | 2147483647 727384 98 | 0.000 % |
844.47/844.90 c | 727484 | 21173 700461 2138957 | 2147483647 727484 98 | 0.000 % |
844.57/845.06 c | 727594 | 21173 700461 2138957 | 2147483647 727594 98 | 0.000 % |
844.77/845.28 c | 727715 | 21173 700461 2138957 | 2147483647 727715 98 | 0.000 % |
844.97/845.49 c | 727848 | 21173 700461 2138957 | 2147483647 727848 98 | 0.000 % |
845.17/845.69 c | 727995 | 21173 700461 2138957 | 2147483647 727995 98 | 0.000 % |
845.58/846.01 c | 728155 | 21173 700461 2138957 | 2147483647 728155 98 | 0.000 % |
845.78/846.26 c | 728332 | 21173 700461 2138957 | 2147483647 728332 98 | 0.000 % |
846.07/846.52 c | 728525 | 21173 700461 2138957 | 2147483647 728525 98 | 0.000 % |
846.37/846.88 c | 728738 | 21173 700461 2138957 | 2147483647 728738 98 | 0.000 % |
846.77/847.24 c | 728972 | 21173 700461 2138957 | 2147483647 728972 98 | 0.000 % |
847.07/847.60 c | 729229 | 21173 700461 2138957 | 2147483647 729229 98 | 0.000 % |
847.47/847.95 c | 729511 | 21173 700461 2138957 | 2147483647 729511 98 | 0.000 % |
848.07/848.51 c | 729822 | 21173 700461 2138957 | 2147483647 729822 98 | 0.000 % |
848.57/849.02 c | 730164 | 21173 700461 2138957 | 2147483647 730164 98 | 0.000 % |
849.07/849.51 c | 730536 | 21173 700461 2138957 | 2147483647 730536 98 | 0.000 % |
849.67/850.12 c | 730947 | 21173 700461 2138957 | 2147483647 730947 98 | 0.000 % |
850.37/850.85 c | 731396 | 21173 700461 2138957 | 2147483647 731396 98 | 0.000 % |
851.27/851.73 c | 731890 | 21173 700461 2138957 | 2147483647 731890 98 | 0.000 % |
852.07/852.59 c | 732432 | 21173 700461 2138957 | 2147483647 732432 98 | 0.000 % |
852.96/853.49 c | 733028 | 21173 700461 2138957 | 2147483647 733028 98 | 0.000 % |
854.06/854.54 c | 733684 | 21173 700461 2138957 | 2147483647 733684 98 | 0.000 % |
855.06/855.60 c | 734404 | 21173 700461 2138957 | 2147483647 734404 97 | 0.000 % |
856.37/856.90 c | 735199 | 21173 700461 2138957 | 2147483647 735199 97 | 0.000 % |
857.67/858.12 c | 736070 | 21173 700461 2138957 | 2147483647 736070 97 | 0.000 % |
859.67/860.17 c | 737030 | 21172 698552 2134912 | 2147483647 736545 97 | 0.005 % |
861.37/861.84 c | 738088 | 21172 698552 2134912 | 2147483647 737603 97 | 0.005 % |
863.07/863.58 c | 739246 | 21061 698552 2134912 | 2147483647 738760 97 | 1.785 % |
864.76/865.30 c | 740519 | 21060 698552 2134912 | 2147483647 740032 97 | 1.791 % |
866.86/867.31 c ===============================================================================
866.86/867.31 c restarts : 1065
866.86/867.31 c conflicts : 741758 (860 /sec)
866.86/867.31 c decisions : 3911851 (1.21 % random) (4534 /sec)
866.86/867.31 c propagations : 490586675 (568577 /sec)
866.86/867.31 c conflict literals : 72088908 (53.22 % deleted)
866.86/867.31 c Memory used : 343.09 MB
866.86/867.31 c CPU time : 862.833 s
866.86/867.31 c
866.86/867.31 s UNSATISFIABLE
866.86/867.37 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837592-1242877749/watcher-1837592-1242877749 -o /tmp/evaluation-result-1837592-1242877749/solver-1837592-1242877749 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837592-1242877749.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.99 0.97 0.94 3/64 20686
/proc/meminfo: memFree=1569208/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
[startup+0.0766219 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 20686
/proc/meminfo: memFree=1569208/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101626 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 20686
/proc/meminfo: memFree=1569208/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301665 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 20686
/proc/meminfo: memFree=1569208/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701744 s]
/proc/loadavg: 0.99 0.97 0.94 3/64 20686
/proc/meminfo: memFree=1569208/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5019 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20691
/proc/meminfo: memFree=1517096/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
[pid=20690] ppid=20686 vsize=67388 CPUtime=1.48
/proc/20690/stat : 20690 (SatELite_releas) R 20686 20686 20583 0 -1 4194304 15551 0 0 0 139 9 0 0 25 0 1 0 315809373 69005312 14247 1992294400 134512640 135223648 4294956128 18446744073709551615 134601992 0 0 4096 3 0 0 0 17 1 0 0
/proc/20690/statm: 16847 14247 76 173 0 16672 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72744
[startup+3.10221 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20691
/proc/meminfo: memFree=1516328/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=0
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315809372 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20686/statm: 1339 237 197 169 0 50 0
[pid=20690] ppid=20686 vsize=58404 CPUtime=3.09
/proc/20690/stat : 20690 (SatELite_releas) R 20686 20686 20583 0 -1 4194304 16867 0 0 0 294 15 0 0 25 0 1 0 315809373 59805696 12934 1992294400 134512640 135223648 4294956128 18446744073709551615 134688107 0 0 4096 3 0 0 0 17 1 0 0
/proc/20690/statm: 14601 12934 76 173 0 14426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63760
[startup+6.30184 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1520680/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=36640 CPUtime=3.11
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 8616 0 0 0 306 5 0 0 25 0 1 0 315809690 37519360 8602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 9160 8602 77 171 0 8987 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41996
[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1515560/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=41732 CPUtime=9.5
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 9884 0 0 0 944 6 0 0 25 0 1 0 315809690 42733568 9870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 10433 9870 77 171 0 10260 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47088
[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1504488/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=52412 CPUtime=22.3
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 12568 0 0 0 2221 9 0 0 25 0 1 0 315809690 53669888 12554 1992294400 134512640 135215339 4294956240 18446744073709551615 134532711 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 13103 12554 77 171 0 12930 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57768
[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1486440/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=70808 CPUtime=47.86
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 17161 0 0 0 4773 13 0 0 25 0 1 0 315809690 72507392 17147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 17702 17147 77 171 0 17529 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 76164
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1457576/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=99500 CPUtime=99.03
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 24240 0 0 0 9882 21 0 0 25 0 1 0 315809690 101888000 24226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 24875 24226 77 171 0 24702 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 104856
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1424680/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=132808 CPUtime=158.99
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 32514 0 0 0 15870 29 0 0 25 0 1 0 315809690 135995392 32500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 33202 32500 77 171 0 33029 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 138164
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1395048/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=161896 CPUtime=218.96
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 39825 0 0 0 21859 37 0 0 25 0 1 0 315809690 165781504 39811 1992294400 134512640 135215339 4294956240 18446744073709551615 134538691 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 40474 39811 77 171 0 40301 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 167252
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1368040/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=189660 CPUtime=278.93
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 46613 0 0 0 27849 44 0 0 25 0 1 0 315809690 194211840 46599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 47415 46599 77 171 0 47242 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 195016
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1346536/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=210796 CPUtime=338.9
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 51890 0 0 0 33840 50 0 0 25 0 1 0 315809690 215855104 51876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 52699 51876 77 171 0 52526 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 216152
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1321128/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=236320 CPUtime=398.88
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 58278 0 0 0 39831 57 0 0 25 0 1 0 315809690 241991680 58264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 59080 58264 77 171 0 58907 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 241676
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1299624/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=258480 CPUtime=458.86
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 63616 0 0 0 45824 62 0 0 25 0 1 0 315809690 264683520 63602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 64620 63602 77 171 0 64447 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 263836
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1285928/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=272152 CPUtime=518.83
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 67046 0 0 0 51817 66 0 0 25 0 1 0 315809690 278683648 67032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 68038 67032 77 171 0 67865 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 277508
[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1273320/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=284428 CPUtime=578.81
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 70119 0 0 0 57812 69 0 0 25 0 1 0 315809690 291254272 70105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 71107 70105 77 171 0 70934 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 289784
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1256168/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=301516 CPUtime=638.79
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 74362 0 0 0 63805 74 0 0 25 0 1 0 315809690 308752384 74348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 75379 74348 77 171 0 75206 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 306872
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20692
/proc/meminfo: memFree=1242472/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=315344 CPUtime=698.76
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 77810 0 0 0 69798 78 0 0 25 0 1 0 315809690 322912256 77796 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 78836 77796 77 171 0 78663 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 320700
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1230248/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=327296 CPUtime=758.73
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 80805 0 0 0 75792 81 0 0 25 0 1 0 315809690 335151104 80791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 81824 80791 77 171 0 81651 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 332652
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1217768/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=341320 CPUtime=818.71
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 83964 0 0 0 81786 85 0 0 25 0 1 0 315809690 349511680 83950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 85330 83950 77 171 0 85157 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 346676
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1211240/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=347452 CPUtime=841.11
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 85549 0 0 0 84024 87 0 0 25 0 1 0 315809690 355790848 85535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 86863 85535 77 171 0 86690 0
Current children cumulated CPU time (s) 844.28
Current children cumulated vsize (KiB) 352808
[startup+857.502 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1209448/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=349300 CPUtime=853.9
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86021 0 0 0 85302 88 0 0 25 0 1 0 315809690 357683200 86007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87325 86007 77 171 0 87152 0
Current children cumulated CPU time (s) 857.07
Current children cumulated vsize (KiB) 354656
[startup+863.901 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1208168/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=350788 CPUtime=860.3
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86330 0 0 0 85942 88 0 0 25 0 1 0 315809690 359206912 86316 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87697 86316 77 171 0 87524 0
Current children cumulated CPU time (s) 863.47
Current children cumulated vsize (KiB) 356144
[startup+865.502 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1207976/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=351052 CPUtime=861.89
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86412 0 0 0 86101 88 0 0 25 0 1 0 315809690 359477248 86398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87763 86398 77 171 0 87590 0
Current children cumulated CPU time (s) 865.06
Current children cumulated vsize (KiB) 356408
[startup+866.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1207720/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=351184 CPUtime=862.69
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86442 0 0 0 86181 88 0 0 25 0 1 0 315809690 359612416 86428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87796 86428 77 171 0 87623 0
Current children cumulated CPU time (s) 865.86
Current children cumulated vsize (KiB) 356540
[startup+867.102 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1207528/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=351316 CPUtime=863.49
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86476 0 0 0 86261 88 0 0 25 0 1 0 315809690 359747584 86462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87829 86462 77 171 0 87656 0
Current children cumulated CPU time (s) 866.66
Current children cumulated vsize (KiB) 356672
[startup+867.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 20698
/proc/meminfo: memFree=1207528/2055924 swapFree=4098632/4192956
[pid=20686] ppid=20684 vsize=5356 CPUtime=3.17
/proc/20686/stat : 20686 (SatELiteGTI) S 20684 20686 20583 0 -1 4194304 336 17118 0 0 0 0 301 16 16 0 1 0 315809372 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20686/statm: 1339 239 197 169 0 50 0
[pid=20692] ppid=20686 vsize=351316 CPUtime=863.69
/proc/20692/stat : 20692 (minisat_static) R 20686 20686 20583 0 -1 4194304 86483 0 0 0 86281 88 0 0 25 0 1 0 315809690 359747584 86469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20692/statm: 87829 86469 77 171 0 87656 0
Current children cumulated CPU time (s) 866.86
Current children cumulated vsize (KiB) 356672
Child status: 20
Real time (s): 867.384
CPU time (s): 866.964
CPU user time (s): 865.846
CPU system time (s): 1.11783
CPU usage (%): 99.9515
Max. virtual memory (cumulated for all children) (KiB): 356672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 865.846
system time used= 1.11783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104097
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= 46
involuntary context switches= 3689
runsolver used 1.04884 second user time and 2.20866 second system time
The end
Begin job on node6 at 2009-05-21 05:49:10
IDJOB=1837592
IDBENCH=71743
IDSOLVER=674
FILE ID=node6/1837592-1242877749
PBS_JOBID= 9328670
Free space on /tmp= 66280 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837592-1242877749/watcher-1837592-1242877749 -o /tmp/evaluation-result-1837592-1242877749/solver-1837592-1242877749 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837592-1242877749.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=1149785092
node6.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.281
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.281
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: 2055924 kB
MemFree: 1569752 kB
Buffers: 51260 kB
Cached: 278896 kB
SwapCached: 88588 kB
Active: 178056 kB
Inactive: 242148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1569752 kB
SwapTotal: 4192956 kB
SwapFree: 4098632 kB
Dirty: 14584 kB
Writeback: 0 kB
Mapped: 13984 kB
Slab: 52036 kB
Committed_AS: 1165964 kB
PageTables: 1456 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= 66280 MiB
End job on node6 at 2009-05-21 06:03:38