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.51 c | 0 | 700461 2138957 | -- 0 -- -- | -- | -10530/47459
2.49/2.51 c ==============================================================================
2.49/2.51 c Result : #vars: 21173 #clauses: 700461 #literals: 2138957
2.49/2.51 c CPU time: 2.41163 s
2.49/2.51 c ==============================================================================
3.08/3.19 c This is MiniSat 2.0 beta
3.08/3.19 c WARNING: for repeatability, setting FPU to use double precision
3.08/3.19 c ============================[ Problem Statistics ]=============================
3.08/3.19 c | |
3.08/3.19 c | Number of variables: 21173 |
3.08/3.19 c | Number of clauses: 700461 |
3.58/3.60 c | Parsing time: 0.35 s |
3.58/3.62 c ============================[ Search Statistics ]==============================
3.58/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.58/3.62 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.58/3.62 c ===============================================================================
3.58/3.62 c | 0 | 21173 700461 2138957 | 233487 0 nan | 0.000 % |
3.58/3.68 c | 103 | 21173 700461 2138957 | 233487 103 75 | 0.000 % |
3.68/3.79 c | 203 | 21173 700461 2138957 | 233487 203 58 | 0.001 % |
3.78/3.83 c | 305 | 21173 700461 2138957 | 233487 305 50 | 0.000 % |
3.78/3.88 c | 418 | 21173 700461 2138957 | 233487 418 50 | 0.000 % |
3.88/3.91 c | 519 | 21173 700461 2138957 | 233487 519 47 | 0.000 % |
3.98/4.00 c | 630 | 21173 700461 2138957 | 233487 630 54 | 0.000 % |
3.98/4.05 c | 751 | 21173 700461 2138957 | 233487 751 51 | 0.000 % |
4.08/4.11 c | 852 | 21173 700461 2138957 | 233487 852 49 | 0.000 % |
4.08/4.14 c | 962 | 21173 700461 2138957 | 233487 962 48 | 0.000 % |
4.18/4.22 c | 1086 | 21173 700461 2138957 | 233487 1086 46 | 0.000 % |
4.18/4.28 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.37 c | 1429 | 21173 700461 2138957 | 233487 1429 48 | 0.000 % |
4.38/4.43 c | 1550 | 21173 700461 2138957 | 233487 1550 50 | 0.000 % |
4.48/4.50 c | 1683 | 21173 700461 2138957 | 233487 1683 50 | 0.000 % |
4.48/4.58 c | 1835 | 21173 700461 2138957 | 233487 1835 61 | 0.000 % |
4.58/4.65 c | 1935 | 21173 700461 2138957 | 233487 1935 61 | 0.000 % |
4.68/4.72 c | 2045 | 21173 700461 2138957 | 233487 2045 63 | 0.000 % |
4.78/4.80 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.09 c | 2828 | 21173 700461 2138957 | 233487 2828 69 | 0.000 % |
5.08/5.13 c | 2952 | 21173 700461 2138957 | 233487 2952 68 | 0.000 % |
5.18/5.22 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.35 c | 3391 | 21173 700461 2138957 | 233487 3391 66 | 0.000 % |
5.38/5.43 c | 3567 | 21173 700461 2138957 | 233487 3567 67 | 0.000 % |
5.38/5.48 c | 3667 | 21173 700461 2138957 | 233487 3667 66 | 0.000 % |
5.48/5.52 c | 3777 | 21173 700461 2138957 | 233487 3777 65 | 0.000 % |
5.48/5.57 c | 3905 | 21173 700461 2138957 | 233487 3905 65 | 0.000 % |
5.58/5.62 c | 4038 | 21173 700461 2138957 | 233487 4038 66 | 0.000 % |
5.58/5.68 c | 4186 | 21173 700461 2138957 | 233487 4186 67 | 0.000 % |
5.68/5.74 c | 4346 | 21173 700461 2138957 | 233487 4346 67 | 0.000 % |
5.78/5.81 c | 4522 | 21173 700461 2138957 | 233487 4522 69 | 0.000 % |
5.87/5.90 c | 4715 | 21173 700461 2138957 | 233487 4715 69 | 0.000 % |
5.87/5.94 c | 4815 | 21173 700461 2138957 | 233487 4815 69 | 0.000 % |
5.97/6.01 c | 4929 | 21173 700461 2138957 | 233487 4929 69 | 0.000 % |
5.97/6.07 c | 5051 | 21173 700461 2138957 | 233487 5051 69 | 0.000 % |
6.07/6.14 c | 5186 | 21173 700461 2138957 | 233487 5186 69 | 0.000 % |
6.17/6.20 c | 5336 | 21173 700461 2138957 | 233487 5336 69 | 0.000 % |
6.17/6.27 c | 5497 | 21173 700461 2138957 | 233487 5497 68 | 0.000 % |
6.27/6.36 c | 5675 | 21173 700461 2138957 | 233487 5675 67 | 0.000 % |
6.37/6.42 c | 5870 | 21173 700461 2138957 | 233487 5870 66 | 0.000 % |
6.37/6.48 c | 6083 | 21173 700461 2138957 | 233487 6083 64 | 0.000 % |
6.48/6.54 c | 6185 | 21173 700461 2138957 | 233487 6185 64 | 0.000 % |
6.48/6.57 c | 6296 | 21173 700461 2138957 | 233487 6296 63 | 0.000 % |
6.58/6.63 c | 6419 | 21173 700461 2138957 | 233487 6419 63 | 0.000 % |
6.58/6.68 c | 6552 | 21173 700461 2138957 | 233487 6552 63 | 0.000 % |
6.67/6.77 c | 6698 | 21173 700461 2138957 | 233487 6698 64 | 0.000 % |
6.77/6.82 c | 6859 | 21173 700461 2138957 | 233487 6859 64 | 0.000 % |
6.87/6.90 c | 7037 | 21173 700461 2138957 | 233487 7037 64 | 0.000 % |
6.97/7.03 c | 7232 | 21173 700461 2138957 | 233487 7232 64 | 0.000 % |
7.07/7.13 c | 7445 | 21173 700461 2138957 | 233487 7445 65 | 0.000 % |
7.17/7.24 c | 7680 | 21173 700461 2138957 | 233487 7680 66 | 0.000 % |
7.27/7.30 c | 7780 | 21173 700461 2138957 | 233487 7780 66 | 0.000 % |
7.27/7.37 c | 7890 | 21173 700461 2138957 | 233487 7890 66 | 0.000 % |
7.37/7.44 c | 8011 | 21173 700461 2138957 | 233487 8011 66 | 0.000 % |
7.47/7.51 c | 8145 | 21173 700461 2138957 | 233487 8145 66 | 0.000 % |
7.47/7.58 c | 8296 | 21173 700461 2138957 | 233487 8296 66 | 0.000 % |
7.68/7.73 c | 8456 | 21173 700461 2138957 | 233487 8456 66 | 0.000 % |
7.68/7.78 c | 8633 | 21173 700461 2138957 | 233487 8633 66 | 0.000 % |
7.77/7.86 c | 8826 | 21173 700461 2138957 | 233487 8826 67 | 0.000 % |
7.87/7.99 c | 9038 | 21173 700461 2138957 | 233487 9038 67 | 0.000 % |
8.08/8.11 c | 9272 | 21173 700461 2138957 | 233487 9272 68 | 0.000 % |
8.18/8.20 c | 9530 | 21173 700461 2138957 | 233487 9530 70 | 0.000 % |
8.18/8.27 c | 9630 | 21173 700461 2138957 | 233487 9630 72 | 0.000 % |
8.28/8.33 c | 9741 | 21173 700461 2138957 | 233487 9741 72 | 0.000 % |
8.28/8.39 c | 9864 | 21173 700461 2138957 | 233487 9864 72 | 0.000 % |
8.38/8.44 c | 9997 | 21173 700461 2138957 | 233487 9997 72 | 0.000 % |
8.48/8.52 c | 10145 | 21173 700461 2138957 | 2147483647 10145 72 | 0.000 % |
8.48/8.59 c | 10307 | 21173 700461 2138957 | 2147483647 10307 72 | 0.000 % |
8.58/8.65 c | 10484 | 21173 700461 2138957 | 2147483647 10484 72 | 0.000 % |
8.68/8.74 c | 10677 | 21173 700461 2138957 | 2147483647 10677 72 | 0.000 % |
8.78/8.83 c | 10890 | 21173 700461 2138957 | 2147483647 10890 73 | 0.000 % |
8.88/8.92 c | 11123 | 21173 700461 2138957 | 2147483647 11123 72 | 0.000 % |
8.98/9.04 c | 11383 | 21173 700461 2138957 | 2147483647 11383 71 | 0.000 % |
9.08/9.13 c | 11664 | 21173 700461 2138957 | 2147483647 11664 72 | 0.000 % |
9.08/9.17 c | 11767 | 21173 700461 2138957 | 2147483647 11767 71 | 0.000 % |
9.18/9.22 c | 11877 | 21173 700461 2138957 | 2147483647 11877 71 | 0.000 % |
9.18/9.29 c | 11999 | 21173 700461 2138957 | 2147483647 11999 71 | 0.000 % |
9.28/9.38 c | 12135 | 21173 700461 2138957 | 2147483647 12135 71 | 0.000 % |
9.38/9.44 c | 12282 | 21173 700461 2138957 | 2147483647 12282 71 | 0.000 % |
9.48/9.51 c | 12444 | 21173 700461 2138957 | 2147483647 12444 71 | 0.000 % |
9.48/9.57 c | 12624 | 21173 700461 2138957 | 2147483647 12624 71 | 0.000 % |
9.58/9.65 c | 12820 | 21173 700461 2138957 | 2147483647 12820 72 | 0.000 % |
9.68/9.75 c | 13032 | 21173 700461 2138957 | 2147483647 13032 72 | 0.000 % |
9.78/9.84 c | 13265 | 21173 700461 2138957 | 2147483647 13265 74 | 0.000 % |
9.88/9.96 c | 13521 | 21173 700461 2138957 | 2147483647 13521 74 | 0.000 % |
9.98/10.09 c | 13802 | 21173 700461 2138957 | 2147483647 13802 73 | 0.000 % |
10.18/10.24 c | 14111 | 21173 700461 2138957 | 2147483647 14111 74 | 0.000 % |
10.28/10.31 c | 14213 | 21173 700461 2138957 | 2147483647 14213 74 | 0.000 % |
10.28/10.39 c | 14323 | 21173 700461 2138957 | 2147483647 14323 74 | 0.000 % |
10.38/10.49 c | 14444 | 21173 700461 2138957 | 2147483647 14444 74 | 0.000 % |
10.48/10.55 c | 14579 | 21173 700461 2138957 | 2147483647 14579 74 | 0.000 % |
10.57/10.64 c | 14725 | 21173 700461 2138957 | 2147483647 14725 74 | 0.000 % |
10.67/10.72 c | 14886 | 21173 700461 2138957 | 2147483647 14886 74 | 0.000 % |
10.77/10.80 c | 15063 | 21173 700461 2138957 | 2147483647 15063 74 | 0.000 % |
10.77/10.90 c | 15256 | 21173 700461 2138957 | 2147483647 15256 75 | 0.000 % |
10.88/10.99 c | 15470 | 21173 700461 2138957 | 2147483647 15470 75 | 0.000 % |
11.07/11.11 c | 15703 | 21173 700461 2138957 | 2147483647 15703 76 | 0.000 % |
11.17/11.24 c | 15959 | 21173 700461 2138957 | 2147483647 15959 76 | 0.000 % |
11.27/11.35 c | 16243 | 21173 700461 2138957 | 2147483647 16243 76 | 0.000 % |
11.48/11.51 c | 16552 | 21173 700461 2138957 | 2147483647 16552 76 | 0.000 % |
11.68/11.72 c | 16891 | 21173 700461 2138957 | 2147483647 16891 77 | 0.000 % |
11.68/11.75 c | 16991 | 21173 700461 2138957 | 2147483647 16991 77 | 0.000 % |
11.78/11.82 c | 17102 | 21173 700461 2138957 | 2147483647 17102 77 | 0.000 % |
11.78/11.89 c | 17223 | 21173 700461 2138957 | 2147483647 17223 78 | 0.000 % |
11.88/11.95 c | 17357 | 21173 700461 2138957 | 2147483647 17357 78 | 0.000 % |
11.98/12.02 c | 17503 | 21173 700461 2138957 | 2147483647 17503 77 | 0.000 % |
11.98/12.09 c | 17664 | 21173 700461 2138957 | 2147483647 17664 77 | 0.000 % |
12.08/12.17 c | 17841 | 21173 700461 2138957 | 2147483647 17841 77 | 0.000 % |
12.18/12.23 c | 18036 | 21173 700461 2138957 | 2147483647 18036 77 | 0.000 % |
12.28/12.35 c | 18248 | 21173 700461 2138957 | 2147483647 18248 77 | 0.000 % |
12.38/12.42 c | 18482 | 21173 700461 2138957 | 2147483647 18482 77 | 0.000 % |
12.48/12.54 c | 18740 | 21173 700461 2138957 | 2147483647 18740 78 | 0.000 % |
12.68/12.73 c | 19021 | 21173 700461 2138957 | 2147483647 19021 78 | 0.000 % |
12.78/12.88 c | 19330 | 21173 700461 2138957 | 2147483647 19330 78 | 0.000 % |
12.97/13.02 c | 19672 | 21173 700461 2138957 | 2147483647 19672 79 | 0.000 % |
13.08/13.14 c | 20047 | 21173 700461 2138957 | 2147483647 20047 79 | 0.000 % |
13.18/13.21 c | 20148 | 21173 700461 2138957 | 2147483647 20148 79 | 0.000 % |
13.18/13.26 c | 20260 | 21173 700461 2138957 | 2147483647 20260 79 | 0.000 % |
13.27/13.30 c | 20381 | 21173 700461 2138957 | 2147483647 20381 79 | 0.000 % |
13.27/13.35 c | 20517 | 21173 700461 2138957 | 2147483647 20517 79 | 0.000 % |
13.37/13.42 c | 20664 | 21173 700461 2138957 | 2147483647 20664 80 | 0.000 % |
13.37/13.49 c | 20825 | 21173 700461 2138957 | 2147483647 20825 79 | 0.000 % |
13.47/13.59 c | 21001 | 21173 700461 2138957 | 2147483647 21001 79 | 0.000 % |
13.57/13.67 c | 21194 | 21173 700461 2138957 | 2147483647 21194 79 | 0.000 % |
13.67/13.74 c | 21406 | 21173 700461 2138957 | 2147483647 21406 79 | 0.000 % |
13.77/13.80 c | 21639 | 21173 700461 2138957 | 2147483647 21639 79 | 0.000 % |
13.87/13.91 c | 21898 | 21173 700461 2138957 | 2147483647 21898 79 | 0.000 % |
13.97/14.01 c | 22180 | 21173 700461 2138957 | 2147483647 22180 79 | 0.000 % |
14.07/14.18 c | 22489 | 21173 700461 2138957 | 2147483647 22489 79 | 0.000 % |
14.27/14.31 c | 22829 | 21173 700461 2138957 | 2147483647 22829 80 | 0.000 % |
14.47/14.52 c | 23201 | 21173 700461 2138957 | 2147483647 23201 80 | 0.000 % |
14.67/14.71 c | 23611 | 21173 700461 2138957 | 2147483647 23611 81 | 0.000 % |
14.67/14.75 c | 23713 | 21173 700461 2138957 | 2147483647 23713 82 | 0.000 % |
14.77/14.81 c | 23825 | 21173 700461 2138957 | 2147483647 23825 82 | 0.000 % |
14.77/14.88 c | 23947 | 21173 700461 2138957 | 2147483647 23947 82 | 0.000 % |
14.87/14.94 c | 24080 | 21173 700461 2138957 | 2147483647 24080 83 | 0.000 % |
14.97/15.05 c | 24228 | 21173 700461 2138957 | 2147483647 24228 83 | 0.000 % |
15.07/15.19 c | 24388 | 21173 700461 2138957 | 2147483647 24388 83 | 0.000 % |
15.17/15.26 c | 24564 | 21173 700461 2138957 | 2147483647 24564 82 | 0.000 % |
15.27/15.36 c | 24758 | 21173 700461 2138957 | 2147483647 24758 83 | 0.000 % |
15.37/15.42 c | 24972 | 21173 700461 2138957 | 2147483647 24972 83 | 0.000 % |
15.47/15.54 c | 25206 | 21173 700461 2138957 | 2147483647 25206 83 | 0.000 % |
15.57/15.66 c | 25462 | 21173 700461 2138957 | 2147483647 25462 83 | 0.000 % |
15.78/15.82 c | 25743 | 21173 700461 2138957 | 2147483647 25743 83 | 0.000 % |
15.88/15.99 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.48/16.51 c | 27176 | 21173 700461 2138957 | 2147483647 27176 84 | 0.000 % |
16.77/16.82 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/17.00 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.24 c | 28407 | 21173 700461 2138957 | 2147483647 28407 83 | 0.000 % |
17.27/17.31 c | 28583 | 21173 700461 2138957 | 2147483647 28583 83 | 0.000 % |
17.27/17.40 c | 28776 | 21173 700461 2138957 | 2147483647 28776 84 | 0.000 % |
17.47/17.50 c | 28989 | 21173 700461 2138957 | 2147483647 28989 84 | 0.000 % |
17.57/17.64 c | 29224 | 21173 700461 2138957 | 2147483647 29224 84 | 0.000 % |
17.67/17.74 c | 29480 | 21173 700461 2138957 | 2147483647 29480 84 | 0.000 % |
17.77/17.87 c | 29761 | 21173 700461 2138957 | 2147483647 29761 84 | 0.000 % |
17.97/18.00 c | 30070 | 21173 700461 2138957 | 2147483647 30070 84 | 0.000 % |
18.07/18.17 c | 30410 | 21173 700461 2138957 | 2147483647 30410 84 | 0.000 % |
18.27/18.35 c | 30785 | 21173 700461 2138957 | 2147483647 30785 84 | 0.000 % |
18.47/18.50 c | 31194 | 21173 700461 2138957 | 2147483647 31194 84 | 0.000 % |
18.67/18.76 c | 31643 | 21173 700461 2138957 | 2147483647 31643 86 | 0.000 % |
18.96/19.04 c | 32136 | 21173 700461 2138957 | 2147483647 32136 86 | 0.000 % |
19.06/19.12 c | 32236 | 21173 700461 2138957 | 2147483647 32236 86 | 0.000 % |
19.16/19.22 c | 32347 | 21173 700461 2138957 | 2147483647 32347 86 | 0.000 % |
19.16/19.29 c | 32468 | 21173 700461 2138957 | 2147483647 32468 86 | 0.000 % |
19.26/19.36 c | 32602 | 21173 700461 2138957 | 2147483647 32602 86 | 0.000 % |
19.36/19.41 c | 32748 | 21173 700461 2138957 | 2147483647 32748 86 | 0.000 % |
19.46/19.51 c | 32911 | 21173 700461 2138957 | 2147483647 32911 86 | 0.000 % |
19.46/19.58 c | 33089 | 21173 700461 2138957 | 2147483647 33089 86 | 0.000 % |
19.56/19.68 c | 33283 | 21173 700461 2138957 | 2147483647 33283 86 | 0.000 % |
19.67/19.76 c | 33496 | 21173 700461 2138957 | 2147483647 33496 86 | 0.000 % |
19.77/19.87 c | 33729 | 21173 700461 2138957 | 2147483647 33729 86 | 0.000 % |
19.86/19.99 c | 33985 | 21173 700461 2138957 | 2147483647 33985 86 | 0.000 % |
19.96/20.08 c | 34266 | 21173 700461 2138957 | 2147483647 34266 86 | 0.000 % |
20.16/20.22 c | 34575 | 21173 700461 2138957 | 2147483647 34575 86 | 0.000 % |
20.27/20.36 c | 34914 | 21173 700461 2138957 | 2147483647 34914 87 | 0.000 % |
20.47/20.51 c | 35286 | 21173 700461 2138957 | 2147483647 35286 86 | 0.000 % |
20.57/20.66 c | 35695 | 21173 700461 2138957 | 2147483647 35695 87 | 0.000 % |
20.77/20.88 c | 36144 | 21173 700461 2138957 | 2147483647 36144 87 | 0.000 % |
21.07/21.17 c | 36640 | 21173 700461 2138957 | 2147483647 36640 87 | 0.000 % |
21.36/21.48 c | 37182 | 21173 700461 2138957 | 2147483647 37182 88 | 0.000 % |
21.46/21.54 c | 37286 | 21173 700461 2138957 | 2147483647 37286 87 | 0.000 % |
21.56/21.61 c | 37399 | 21173 700461 2138957 | 2147483647 37399 87 | 0.000 % |
21.56/21.66 c | 37520 | 21173 700461 2138957 | 2147483647 37520 87 | 0.000 % |
21.66/21.76 c | 37653 | 21173 700461 2138957 | 2147483647 37653 88 | 0.000 % |
21.76/21.85 c | 37799 | 21173 700461 2138957 | 2147483647 37799 88 | 0.000 % |
21.87/21.94 c | 37959 | 21173 700461 2138957 | 2147483647 37959 88 | 0.000 % |
21.97/22.06 c | 38135 | 21173 700461 2138957 | 2147483647 38135 87 | 0.000 % |
22.06/22.15 c | 38328 | 21173 700461 2138957 | 2147483647 38328 88 | 0.000 % |
22.16/22.24 c | 38541 | 21173 700461 2138957 | 2147483647 38541 88 | 0.000 % |
22.26/22.39 c | 38774 | 21173 700461 2138957 | 2147483647 38774 88 | 0.000 % |
22.46/22.51 c | 39033 | 21173 700461 2138957 | 2147483647 39033 88 | 0.000 % |
22.56/22.66 c | 39314 | 21173 700461 2138957 | 2147483647 39314 88 | 0.000 % |
22.66/22.77 c | 39623 | 21173 700461 2138957 | 2147483647 39623 88 | 0.000 % |
22.86/22.93 c | 39962 | 21173 700461 2138957 | 2147483647 39962 87 | 0.000 % |
22.96/23.09 c | 40334 | 21173 700461 2138957 | 2147483647 40334 88 | 0.000 % |
23.26/23.33 c | 40743 | 21173 700461 2138957 | 2147483647 40743 88 | 0.000 % |
23.45/23.59 c | 41193 | 21173 700461 2138957 | 2147483647 41193 88 | 0.000 % |
23.75/23.89 c | 41686 | 21173 700461 2138957 | 2147483647 41686 88 | 0.000 % |
24.17/24.23 c | 42230 | 21173 700461 2138957 | 2147483647 42230 88 | 0.000 % |
24.46/24.52 c | 42826 | 21173 700461 2138957 | 2147483647 42826 88 | 0.000 % |
24.46/24.58 c | 42928 | 21173 700461 2138957 | 2147483647 42928 88 | 0.000 % |
24.56/24.66 c | 43038 | 21173 700461 2138957 | 2147483647 43038 88 | 0.000 % |
24.66/24.75 c | 43160 | 21173 700461 2138957 | 2147483647 43160 88 | 0.000 % |
24.76/24.84 c | 43294 | 21173 700461 2138957 | 2147483647 43294 88 | 0.000 % |
24.86/24.94 c | 43440 | 21173 700461 2138957 | 2147483647 43440 88 | 0.000 % |
24.86/25.00 c | 43605 | 21173 700461 2138957 | 2147483647 43605 88 | 0.000 % |
25.06/25.12 c | 43781 | 21173 700461 2138957 | 2147483647 43781 88 | 0.000 % |
25.16/25.24 c | 43975 | 21173 700461 2138957 | 2147483647 43975 88 | 0.000 % |
25.36/25.42 c | 44188 | 21173 700461 2138957 | 2147483647 44188 88 | 0.000 % |
25.46/25.52 c | 44422 | 21173 700461 2138957 | 2147483647 44422 88 | 0.000 % |
25.66/25.70 c | 44678 | 21173 700461 2138957 | 2147483647 44678 89 | 0.000 % |
25.76/25.86 c | 44961 | 21173 700461 2138957 | 2147483647 44961 89 | 0.000 % |
25.96/26.05 c | 45274 | 21173 700461 2138957 | 2147483647 45274 89 | 0.000 % |
26.16/26.29 c | 45613 | 21173 700461 2138957 | 2147483647 45613 89 | 0.000 % |
26.36/26.45 c | 45987 | 21173 700461 2138957 | 2147483647 45987 89 | 0.000 % |
26.56/26.67 c | 46396 | 21173 700461 2138957 | 2147483647 46396 88 | 0.000 % |
26.86/26.90 c | 46847 | 21173 700461 2138957 | 2147483647 46847 89 | 0.000 % |
27.06/27.16 c | 47340 | 21173 700461 2138957 | 2147483647 47340 89 | 0.000 % |
27.36/27.47 c | 47882 | 21173 700461 2138957 | 2147483647 47882 89 | 0.000 % |
27.86/27.90 c | 48479 | 21173 700461 2138957 | 2147483647 48479 89 | 0.000 % |
28.26/28.30 c | 49135 | 21173 700461 2138957 | 2147483647 49135 89 | 0.000 % |
28.26/28.36 c | 49235 | 21173 700461 2138957 | 2147483647 49235 89 | 0.000 % |
28.36/28.44 c | 49347 | 21173 700461 2138957 | 2147483647 49347 89 | 0.000 % |
28.46/28.52 c | 49469 | 21173 700461 2138957 | 2147483647 49469 89 | 0.000 % |
28.56/28.62 c | 49602 | 21173 700461 2138957 | 2147483647 49602 89 | 0.000 % |
28.66/28.70 c | 49748 | 21173 700461 2138957 | 2147483647 49748 89 | 0.000 % |
28.76/28.80 c | 49909 | 21173 700461 2138957 | 2147483647 49909 88 | 0.000 % |
28.86/28.92 c | 50085 | 21173 700461 2138957 | 2147483647 50085 88 | 0.000 % |
28.96/29.04 c | 50279 | 21173 700461 2138957 | 2147483647 50279 88 | 0.000 % |
29.06/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.85/29.98 c | 51910 | 21173 700461 2138957 | 2147483647 51910 89 | 0.000 % |
30.05/30.18 c | 52282 | 21173 700461 2138957 | 2147483647 52282 89 | 0.000 % |
30.35/30.42 c | 52691 | 21173 700461 2138957 | 2147483647 52691 89 | 0.000 % |
30.66/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.70 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.48 c | 56153 | 21173 700461 2138957 | 2147483647 56153 91 | 0.000 % |
32.46/32.56 c | 56253 | 21173 700461 2138957 | 2147483647 56253 91 | 0.000 % |
32.56/32.66 c | 56363 | 21173 700461 2138957 | 2147483647 56363 91 | 0.000 % |
32.66/32.75 c | 56484 | 21173 700461 2138957 | 2147483647 56484 91 | 0.000 % |
32.76/32.85 c | 56618 | 21173 700461 2138957 | 2147483647 56618 91 | 0.000 % |
32.86/32.96 c | 56764 | 21173 700461 2138957 | 2147483647 56764 91 | 0.000 % |
32.96/33.05 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.27 c | 57297 | 21173 700461 2138957 | 2147483647 57297 91 | 0.000 % |
33.26/33.38 c | 57514 | 21173 700461 2138957 | 2147483647 57514 91 | 0.000 % |
33.45/33.50 c | 57748 | 21173 700461 2138957 | 2147483647 57748 91 | 0.000 % |
33.55/33.67 c | 58006 | 21173 700461 2138957 | 2147483647 58006 91 | 0.000 % |
33.75/33.85 c | 58289 | 21173 700461 2138957 | 2147483647 58289 91 | 0.000 % |
33.96/34.03 c | 58599 | 21173 700461 2138957 | 2147483647 58599 91 | 0.000 % |
34.16/34.25 c | 58938 | 21173 700461 2138957 | 2147483647 58938 91 | 0.000 % |
34.36/34.47 c | 59312 | 21173 700461 2138957 | 2147483647 59312 91 | 0.000 % |
34.56/34.63 c | 59726 | 21173 700461 2138957 | 2147483647 59726 92 | 0.000 % |
34.66/34.78 c | 60175 | 21173 700461 2138957 | 2147483647 60175 92 | 0.000 % |
34.86/34.99 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.95/36.07 c | 62464 | 21173 700461 2138957 | 2147483647 62464 93 | 0.000 % |
36.45/36.55 c | 63188 | 21173 700461 2138957 | 2147483647 63188 94 | 0.000 % |
36.95/37.00 c | 63982 | 21173 700461 2138957 | 2147483647 63982 94 | 0.000 % |
36.95/37.07 c | 64083 | 21173 700461 2138957 | 2147483647 64083 94 | 0.000 % |
37.15/37.20 c | 64193 | 21173 700461 2138957 | 2147483647 64193 94 | 0.000 % |
37.25/37.35 c | 64315 | 21173 700461 2138957 | 2147483647 64315 94 | 0.000 % |
37.35/37.46 c | 64448 | 21173 700461 2138957 | 2147483647 64448 94 | 0.000 % |
37.45/37.53 c | 64594 | 21173 700461 2138957 | 2147483647 64594 94 | 0.000 % |
37.65/37.71 c | 64756 | 21173 700461 2138957 | 2147483647 64756 94 | 0.000 % |
37.75/37.87 c | 64933 | 21173 700461 2138957 | 2147483647 64933 94 | 0.000 % |
37.95/38.00 c | 65126 | 21173 700461 2138957 | 2147483647 65126 94 | 0.000 % |
38.05/38.14 c | 65338 | 21173 700461 2138957 | 2147483647 65338 93 | 0.000 % |
38.15/38.27 c | 65572 | 21173 700461 2138957 | 2147483647 65572 93 | 0.000 % |
38.35/38.43 c | 65829 | 21173 700461 2138957 | 2147483647 65829 93 | 0.000 % |
38.55/38.60 c | 66111 | 21173 700461 2138957 | 2147483647 66111 93 | 0.000 % |
38.75/38.83 c | 66421 | 21173 700461 2138957 | 2147483647 66421 93 | 0.000 % |
38.84/38.99 c | 66760 | 21173 700461 2138957 | 2147483647 66760 93 | 0.000 % |
39.14/39.23 c | 67133 | 21173 700461 2138957 | 2147483647 67133 93 | 0.000 % |
39.34/39.45 c | 67542 | 21173 700461 2138957 | 2147483647 67542 93 | 0.000 % |
39.64/39.74 c | 67991 | 21173 700461 2138957 | 2147483647 67991 93 | 0.000 % |
39.95/40.00 c | 68488 | 21173 700461 2138957 | 2147483647 68488 94 | 0.000 % |
40.25/40.30 c | 69032 | 21173 700461 2138957 | 2147483647 69032 94 | 0.000 % |
40.55/40.65 c | 69628 | 21173 700461 2138957 | 2147483647 69628 94 | 0.000 % |
40.85/40.99 c | 70284 | 21173 700461 2138957 | 2147483647 70284 95 | 0.000 % |
41.34/41.45 c | 71005 | 21173 700461 2138957 | 2147483647 71005 95 | 0.000 % |
41.84/41.91 c | 71799 | 21173 700461 2138957 | 2147483647 71799 96 | 0.000 % |
42.44/42.53 c | 72670 | 21173 700461 2138957 | 2147483647 72670 96 | 0.000 % |
42.44/42.59 c | 72770 | 21173 700461 2138957 | 2147483647 72770 96 | 0.000 % |
42.54/42.64 c | 72880 | 21173 700461 2138957 | 2147483647 72880 95 | 0.000 % |
42.64/42.70 c | 73004 | 21173 700461 2138957 | 2147483647 73004 95 | 0.000 % |
42.75/42.82 c | 73138 | 21173 700461 2138957 | 2147483647 73138 95 | 0.000 % |
42.85/42.91 c | 73284 | 21173 700461 2138957 | 2147483647 73284 95 | 0.000 % |
42.94/43.03 c | 73445 | 21173 700461 2138957 | 2147483647 73445 95 | 0.000 % |
43.04/43.12 c | 73621 | 21173 700461 2138957 | 2147483647 73621 95 | 0.000 % |
43.14/43.28 c | 73816 | 21173 700461 2138957 | 2147483647 73816 95 | 0.000 % |
43.34/43.44 c | 74028 | 21173 700461 2138957 | 2147483647 74028 95 | 0.000 % |
43.54/43.61 c | 74262 | 21173 700461 2138957 | 2147483647 74262 95 | 0.000 % |
43.64/43.79 c | 74519 | 21173 700461 2138957 | 2147483647 74519 95 | 0.000 % |
43.85/43.98 c | 74800 | 21173 700461 2138957 | 2147483647 74800 95 | 0.000 % |
44.05/44.19 c | 75110 | 21173 700461 2138957 | 2147483647 75110 95 | 0.000 % |
44.45/44.52 c | 75449 | 21173 700461 2138957 | 2147483647 75449 95 | 0.000 % |
44.65/44.76 c | 75822 | 21173 700461 2138957 | 2147483647 75822 95 | 0.000 % |
44.95/45.09 c | 76231 | 21173 700461 2138957 | 2147483647 76231 96 | 0.000 % |
45.35/45.42 c | 76681 | 21173 700461 2138957 | 2147483647 76681 95 | 0.000 % |
45.75/45.81 c | 77174 | 21173 700461 2138957 | 2147483647 77174 95 | 0.000 % |
46.05/46.13 c | 77716 | 21173 700461 2138957 | 2147483647 77716 95 | 0.000 % |
46.45/46.55 c | 78313 | 21173 700461 2138957 | 2147483647 78313 95 | 0.000 % |
46.95/47.00 c | 78969 | 21173 700461 2138957 | 2147483647 78969 96 | 0.000 % |
47.35/47.42 c | 79690 | 21173 700461 2138957 | 2147483647 79690 96 | 0.000 % |
47.85/47.93 c | 80484 | 21173 700461 2138957 | 2147483647 80484 96 | 0.000 % |
48.35/48.43 c | 81357 | 21173 700461 2138957 | 2147483647 81357 96 | 0.000 % |
48.95/49.01 c | 82315 | 21173 700461 2138957 | 2147483647 82315 95 | 0.000 % |
48.95/49.06 c | 82415 | 21173 700461 2138957 | 2147483647 82415 95 | 0.000 % |
49.04/49.13 c | 82525 | 21173 700461 2138957 | 2147483647 82525 95 | 0.000 % |
49.14/49.25 c | 82647 | 21173 700461 2138957 | 2147483647 82647 95 | 0.000 % |
49.24/49.35 c | 82783 | 21173 700461 2138957 | 2147483647 82783 95 | 0.000 % |
49.35/49.44 c | 82930 | 21173 700461 2138957 | 2147483647 82930 95 | 0.000 % |
49.45/49.55 c | 83090 | 21173 700461 2138957 | 2147483647 83090 95 | 0.000 % |
49.54/49.66 c | 83266 | 21173 700461 2138957 | 2147483647 83266 95 | 0.000 % |
49.74/49.80 c | 83460 | 21173 700461 2138957 | 2147483647 83460 95 | 0.000 % |
49.84/49.93 c | 83679 | 21173 700461 2138957 | 2147483647 83679 95 | 0.000 % |
50.04/50.10 c | 83912 | 21173 700461 2138957 | 2147483647 83912 95 | 0.000 % |
50.14/50.26 c | 84169 | 21173 700461 2138957 | 2147483647 84169 95 | 0.000 % |
50.34/50.45 c | 84452 | 21173 700461 2138957 | 2147483647 84452 95 | 0.000 % |
50.55/50.63 c | 84761 | 21173 700461 2138957 | 2147483647 84761 95 | 0.000 % |
50.74/50.85 c | 85100 | 21173 700461 2138957 | 2147483647 85100 95 | 0.000 % |
50.94/51.03 c | 85473 | 21173 700461 2138957 | 2147483647 85473 95 | 0.000 % |
51.14/51.29 c | 85885 | 21173 700461 2138957 | 2147483647 85885 95 | 0.000 % |
51.55/51.68 c | 86334 | 21173 700461 2138957 | 2147483647 86334 95 | 0.000 % |
51.84/51.90 c | 86827 | 21173 700461 2138957 | 2147483647 86827 95 | 0.000 % |
52.04/52.12 c | 87369 | 21173 700461 2138957 | 2147483647 87369 95 | 0.000 % |
52.34/52.47 c | 87966 | 21173 700461 2138957 | 2147483647 87966 94 | 0.000 % |
52.64/52.75 c | 88621 | 21173 700461 2138957 | 2147483647 88621 94 | 0.000 % |
53.04/53.13 c | 89341 | 21173 700461 2138957 | 2147483647 89341 94 | 0.000 % |
53.44/53.59 c | 90133 | 21173 700461 2138957 | 2147483647 90133 95 | 0.000 % |
53.94/54.09 c | 91004 | 21173 700461 2138957 | 2147483647 91004 95 | 0.000 % |
54.54/54.64 c | 91964 | 21173 700461 2138957 | 2147483647 91964 95 | 0.000 % |
55.24/55.33 c | 93017 | 21173 700461 2138957 | 2147483647 93017 95 | 0.000 % |
55.34/55.44 c | 93117 | 21173 700461 2138957 | 2147483647 93117 95 | 0.000 % |
55.44/55.55 c | 93228 | 21173 700461 2138957 | 2147483647 93228 95 | 0.000 % |
55.54/55.63 c | 93349 | 21173 700461 2138957 | 2147483647 93349 95 | 0.000 % |
55.64/55.72 c | 93482 | 21173 700461 2138957 | 2147483647 93482 95 | 0.000 % |
55.74/55.85 c | 93628 | 21173 700461 2138957 | 2147483647 93628 95 | 0.000 % |
55.84/55.99 c | 93790 | 21173 700461 2138957 | 2147483647 93790 95 | 0.000 % |
56.04/56.15 c | 93966 | 21173 700461 2138957 | 2147483647 93966 95 | 0.000 % |
56.14/56.27 c | 94164 | 21173 700461 2138957 | 2147483647 94164 94 | 0.000 % |
56.34/56.42 c | 94376 | 21173 700461 2138957 | 2147483647 94376 94 | 0.000 % |
56.54/56.60 c | 94610 | 21173 700461 2138957 | 2147483647 94610 94 | 0.000 % |
56.64/56.74 c | 94868 | 21173 700461 2138957 | 2147483647 94868 94 | 0.000 % |
56.84/56.99 c | 95150 | 21173 700461 2138957 | 2147483647 95150 94 | 0.000 % |
57.14/57.28 c | 95460 | 21173 700461 2138957 | 2147483647 95460 94 | 0.000 % |
57.43/57.54 c | 95800 | 21173 700461 2138957 | 2147483647 95800 94 | 0.000 % |
57.73/57.81 c | 96175 | 21173 700461 2138957 | 2147483647 96175 94 | 0.000 % |
58.03/58.12 c | 96588 | 21173 700461 2138957 | 2147483647 96588 95 | 0.000 % |
58.33/58.45 c | 97038 | 21173 700461 2138957 | 2147483647 97038 95 | 0.000 % |
58.73/58.86 c | 97532 | 21173 700461 2138957 | 2147483647 97532 95 | 0.000 % |
59.13/59.25 c | 98075 | 21173 700461 2138957 | 2147483647 98075 95 | 0.000 % |
59.53/59.69 c | 98671 | 21173 700461 2138957 | 2147483647 98671 95 | 0.000 % |
60.03/60.18 c | 99326 | 21173 700461 2138957 | 2147483647 99326 95 | 0.000 % |
60.53/60.65 c | 100047 | 21173 700461 2138957 | 2147483647 100047 95 | 0.000 % |
61.23/61.31 c | 100839 | 21173 700461 2138957 | 2147483647 100839 95 | 0.000 % |
61.84/61.90 c | 101712 | 21173 700461 2138957 | 2147483647 101712 95 | 0.000 % |
62.34/62.48 c | 102670 | 21173 700461 2138957 | 2147483647 102670 95 | 0.000 % |
63.03/63.12 c | 103723 | 21173 700461 2138957 | 2147483647 103723 95 | 0.000 % |
63.74/63.89 c | 104882 | 21173 700461 2138957 | 2147483647 104882 94 | 0.000 % |
63.83/63.93 c | 104983 | 21173 700461 2138957 | 2147483647 104983 94 | 0.000 % |
63.93/64.03 c | 105094 | 21173 700461 2138957 | 2147483647 105094 94 | 0.000 % |
64.03/64.14 c | 105216 | 21173 700461 2138957 | 2147483647 105216 94 | 0.000 % |
64.13/64.22 c | 105352 | 21173 700461 2138957 | 2147483647 105352 94 | 0.000 % |
64.23/64.31 c | 105499 | 21173 700461 2138957 | 2147483647 105499 94 | 0.000 % |
64.33/64.43 c | 105661 | 21173 700461 2138957 | 2147483647 105661 94 | 0.000 % |
64.43/64.56 c | 105837 | 21173 700461 2138957 | 2147483647 105837 94 | 0.000 % |
64.53/64.65 c | 106031 | 21173 700461 2138957 | 2147483647 106031 94 | 0.000 % |
64.73/64.81 c | 106243 | 21173 700461 2138957 | 2147483647 106243 94 | 0.000 % |
64.83/64.95 c | 106477 | 21173 700461 2138957 | 2147483647 106477 94 | 0.000 % |
64.93/65.08 c | 106733 | 21173 700461 2138957 | 2147483647 106733 94 | 0.000 % |
65.23/65.30 c | 107017 | 21173 700461 2138957 | 2147483647 107017 94 | 0.000 % |
65.44/65.51 c | 107326 | 21173 700461 2138957 | 2147483647 107326 94 | 0.000 % |
65.64/65.75 c | 107666 | 21173 700461 2138957 | 2147483647 107666 94 | 0.000 % |
65.94/66.05 c | 108040 | 21173 700461 2138957 | 2147483647 108040 93 | 0.000 % |
66.23/66.40 c | 108449 | 21173 700461 2138957 | 2147483647 108449 93 | 0.000 % |
66.53/66.69 c | 108900 | 21173 700461 2138957 | 2147483647 108900 93 | 0.000 % |
66.94/67.03 c | 109395 | 21173 700461 2138957 | 2147483647 109395 93 | 0.000 % |
67.33/67.42 c | 109938 | 21173 700461 2138957 | 2147483647 109938 93 | 0.000 % |
67.73/67.86 c | 110535 | 21173 700461 2138957 | 2147483647 110535 93 | 0.000 % |
68.13/68.27 c | 111190 | 21173 700461 2138957 | 2147483647 111190 93 | 0.000 % |
68.63/68.71 c | 111911 | 21173 700461 2138957 | 2147483647 111911 93 | 0.000 % |
69.13/69.21 c | 112705 | 21173 700461 2138957 | 2147483647 112705 93 | 0.000 % |
69.73/69.87 c | 113576 | 21173 700461 2138957 | 2147483647 113576 92 | 0.000 % |
70.43/70.58 c | 114535 | 21173 700461 2138957 | 2147483647 114535 92 | 0.000 % |
71.23/71.36 c | 115588 | 21173 700461 2138957 | 2147483647 115588 92 | 0.000 % |
72.03/72.10 c | 116746 | 21173 700461 2138957 | 2147483647 116746 92 | 0.000 % |
72.93/73.04 c | 118019 | 21173 700461 2138957 | 2147483647 118019 92 | 0.000 % |
73.03/73.16 c | 118120 | 21173 700461 2138957 | 2147483647 118120 93 | 0.000 % |
73.13/73.24 c | 118231 | 21173 700461 2138957 | 2147483647 118231 92 | 0.000 % |
73.23/73.32 c | 118352 | 21173 700461 2138957 | 2147483647 118352 92 | 0.000 % |
73.33/73.41 c | 118486 | 21173 700461 2138957 | 2147483647 118486 92 | 0.000 % |
73.43/73.54 c | 118633 | 21173 700461 2138957 | 2147483647 118633 92 | 0.000 % |
73.53/73.69 c | 118793 | 21173 700461 2138957 | 2147483647 118793 92 | 0.000 % |
73.73/73.83 c | 118969 | 21173 700461 2138957 | 2147483647 118969 92 | 0.000 % |
73.93/74.01 c | 119162 | 21173 700461 2138957 | 2147483647 119162 92 | 0.000 % |
74.03/74.16 c | 119374 | 21173 700461 2138957 | 2147483647 119374 92 | 0.000 % |
74.23/74.36 c | 119608 | 21173 700461 2138957 | 2147483647 119608 92 | 0.000 % |
74.43/74.53 c | 119864 | 21173 700461 2138957 | 2147483647 119864 92 | 0.000 % |
74.63/74.70 c | 120145 | 21173 700461 2138957 | 2147483647 120145 92 | 0.000 % |
74.83/74.92 c | 120454 | 21173 700461 2138957 | 2147483647 120454 92 | 0.000 % |
75.13/75.20 c | 120794 | 21173 700461 2138957 | 2147483647 120794 92 | 0.000 % |
75.32/75.43 c | 121168 | 21173 700461 2138957 | 2147483647 121168 92 | 0.000 % |
75.52/75.67 c | 121577 | 21173 700461 2138957 | 2147483647 121577 92 | 0.000 % |
75.92/76.02 c | 122026 | 21173 700461 2138957 | 2147483647 122026 92 | 0.000 % |
76.22/76.39 c | 122519 | 21173 700461 2138957 | 2147483647 122519 92 | 0.000 % |
76.72/76.81 c | 123061 | 21173 700461 2138957 | 2147483647 123061 92 | 0.000 % |
77.12/77.28 c | 123658 | 21173 700461 2138957 | 2147483647 123658 92 | 0.000 % |
77.52/77.69 c | 124313 | 21173 700461 2138957 | 2147483647 124313 92 | 0.000 % |
78.12/78.23 c | 125034 | 21173 700461 2138957 | 2147483647 125034 92 | 0.000 % |
78.73/78.82 c | 125826 | 21173 700461 2138957 | 2147483647 125826 92 | 0.000 % |
79.33/79.49 c | 126697 | 21173 700461 2138957 | 2147483647 126697 92 | 0.000 % |
80.13/80.22 c | 127656 | 21173 700461 2138957 | 2147483647 127656 92 | 0.000 % |
80.93/81.05 c | 128709 | 21173 700461 2138957 | 2147483647 128709 92 | 0.000 % |
81.83/81.96 c | 129868 | 21173 700461 2138957 | 2147483647 129868 92 | 0.000 % |
82.82/82.95 c | 131142 | 21173 700461 2138957 | 2147483647 131142 92 | 0.000 % |
83.72/83.82 c | 132543 | 21173 700461 2138957 | 2147483647 132543 92 | 0.000 % |
83.82/83.94 c | 132645 | 21173 700461 2138957 | 2147483647 132645 92 | 0.000 % |
83.92/84.03 c | 132755 | 21173 700461 2138957 | 2147483647 132755 92 | 0.000 % |
84.02/84.16 c | 132877 | 21173 700461 2138957 | 2147483647 132877 92 | 0.000 % |
84.12/84.26 c | 133010 | 21173 700461 2138957 | 2147483647 133010 92 | 0.000 % |
84.32/84.42 c | 133157 | 21173 700461 2138957 | 2147483647 133157 92 | 0.000 % |
84.42/84.52 c | 133317 | 21173 700461 2138957 | 2147483647 133317 92 | 0.000 % |
84.52/84.62 c | 133493 | 21173 700461 2138957 | 2147483647 133493 92 | 0.000 % |
84.62/84.80 c | 133688 | 21173 700461 2138957 | 2147483647 133688 92 | 0.000 % |
84.82/84.91 c | 133901 | 21173 700461 2138957 | 2147483647 133901 92 | 0.000 % |
85.02/85.13 c | 134135 | 21173 700461 2138957 | 2147483647 134135 92 | 0.000 % |
85.22/85.31 c | 134392 | 21173 700461 2138957 | 2147483647 134392 92 | 0.000 % |
85.32/85.50 c | 134673 | 21173 700461 2138957 | 2147483647 134673 92 | 0.000 % |
85.62/85.76 c | 134982 | 21173 700461 2138957 | 2147483647 134982 92 | 0.000 % |
85.92/86.02 c | 135321 | 21173 700461 2138957 | 2147483647 135321 92 | 0.000 % |
86.12/86.27 c | 135693 | 21173 700461 2138957 | 2147483647 135693 92 | 0.000 % |
86.42/86.52 c | 136102 | 21173 700461 2138957 | 2147483647 136102 92 | 0.000 % |
86.73/86.81 c | 136551 | 21173 700461 2138957 | 2147483647 136551 92 | 0.000 % |
87.02/87.15 c | 137044 | 21173 700461 2138957 | 2147483647 137044 92 | 0.000 % |
87.32/87.46 c | 137587 | 21173 700461 2138957 | 2147483647 137587 92 | 0.000 % |
87.72/87.83 c | 138183 | 21173 700461 2138957 | 2147483647 138183 92 | 0.000 % |
88.12/88.28 c | 138838 | 21173 700461 2138957 | 2147483647 138838 93 | 0.000 % |
88.62/88.74 c | 139559 | 21173 700461 2138957 | 2147483647 139559 93 | 0.000 % |
89.12/89.27 c | 140351 | 21173 700461 2138957 | 2147483647 140351 93 | 0.000 % |
89.72/89.86 c | 141223 | 21173 700461 2138957 | 2147483647 141223 93 | 0.000 % |
90.31/90.48 c | 142185 | 21173 700461 2138957 | 2147483647 142185 93 | 0.000 % |
91.12/91.22 c | 143238 | 21173 700461 2138957 | 2147483647 143238 93 | 0.000 % |
91.81/91.97 c | 144398 | 21173 700461 2138957 | 2147483647 144398 93 | 0.000 % |
92.72/92.82 c | 145672 | 21173 700461 2138957 | 2147483647 145672 93 | 0.000 % |
93.72/93.80 c | 147074 | 21173 700461 2138957 | 2147483647 147074 93 | 0.000 % |
94.82/94.94 c | 148614 | 21173 700461 2138957 | 2147483647 148614 93 | 0.000 % |
94.92/95.03 c | 148715 | 21173 700461 2138957 | 2147483647 148715 93 | 0.000 % |
95.02/95.11 c | 148826 | 21173 700461 2138957 | 2147483647 148826 93 | 0.000 % |
95.02/95.18 c | 148947 | 21173 700461 2138957 | 2147483647 148947 93 | 0.000 % |
95.12/95.27 c | 149081 | 21173 700461 2138957 | 2147483647 149081 93 | 0.000 % |
95.32/95.45 c | 149228 | 21173 700461 2138957 | 2147483647 149228 93 | 0.000 % |
95.42/95.55 c | 149388 | 21173 700461 2138957 | 2147483647 149388 93 | 0.000 % |
95.52/95.67 c | 149564 | 21173 700461 2138957 | 2147483647 149564 93 | 0.000 % |
95.72/95.88 c | 149760 | 21173 700461 2138957 | 2147483647 149760 93 | 0.000 % |
95.91/96.03 c | 149972 | 21173 700461 2138957 | 2147483647 149972 93 | 0.000 % |
96.11/96.21 c | 150205 | 21173 700461 2138957 | 2147483647 150205 93 | 0.000 % |
96.31/96.40 c | 150461 | 21173 700461 2138957 | 2147483647 150461 93 | 0.000 % |
96.51/96.63 c | 150742 | 21173 700461 2138957 | 2147483647 150742 93 | 0.000 % |
96.72/96.88 c | 151051 | 21173 700461 2138957 | 2147483647 151051 93 | 0.000 % |
97.11/97.20 c | 151390 | 21173 700461 2138957 | 2147483647 151390 93 | 0.000 % |
97.41/97.53 c | 151765 | 21173 700461 2138957 | 2147483647 151765 93 | 0.000 % |
97.71/97.90 c | 152175 | 21173 700461 2138957 | 2147483647 152175 93 | 0.000 % |
98.01/98.19 c | 152626 | 21173 700461 2138957 | 2147483647 152626 93 | 0.000 % |
98.41/98.53 c | 153119 | 21173 700461 2138957 | 2147483647 153119 93 | 0.000 % |
98.81/98.95 c | 153663 | 21173 700461 2138957 | 2147483647 153663 93 | 0.000 % |
99.31/99.43 c | 154259 | 21173 700461 2138957 | 2147483647 154259 93 | 0.000 % |
99.82/99.90 c | 154915 | 21173 700461 2138957 | 2147483647 154915 93 | 0.000 % |
100.21/100.38 c | 155635 | 21173 700461 2138957 | 2147483647 155635 93 | 0.000 % |
100.81/100.97 c | 156430 | 21173 700461 2138957 | 2147483647 156430 93 | 0.000 % |
101.51/101.62 c | 157301 | 21173 700461 2138957 | 2147483647 157301 93 | 0.000 % |
102.31/102.42 c | 158259 | 21173 700461 2138957 | 2147483647 158259 93 | 0.000 % |
103.11/103.26 c | 159312 | 21173 700461 2138957 | 2147483647 159312 92 | 0.000 % |
104.01/104.15 c | 160471 | 21173 700461 2138957 | 2147483647 160471 93 | 0.000 % |
105.11/105.21 c | 161744 | 21173 700461 2138957 | 2147483647 161744 92 | 0.000 % |
106.20/106.33 c | 163144 | 21173 700461 2138957 | 2147483647 163144 92 | 0.000 % |
107.50/107.70 c | 164685 | 21173 700461 2138957 | 2147483647 164685 92 | 0.000 % |
108.91/109.01 c | 166379 | 21173 700461 2138957 | 2147483647 166379 92 | 0.000 % |
109.01/109.12 c | 166482 | 21173 700461 2138957 | 2147483647 166482 92 | 0.000 % |
109.11/109.23 c | 166592 | 21173 700461 2138957 | 2147483647 166592 92 | 0.000 % |
109.21/109.38 c | 166713 | 21173 700461 2138957 | 2147483647 166713 92 | 0.000 % |
109.31/109.46 c | 166846 | 21173 700461 2138957 | 2147483647 166846 92 | 0.000 % |
109.51/109.63 c | 166992 | 21173 700461 2138957 | 2147483647 166992 92 | 0.000 % |
109.61/109.79 c | 167152 | 21173 700461 2138957 | 2147483647 167152 92 | 0.000 % |
109.81/109.93 c | 167328 | 21173 700461 2138957 | 2147483647 167328 92 | 0.000 % |
109.91/110.05 c | 167522 | 21173 700461 2138957 | 2147483647 167522 92 | 0.000 % |
110.11/110.25 c | 167734 | 21173 700461 2138957 | 2147483647 167734 92 | 0.000 % |
110.30/110.40 c | 167968 | 21173 700461 2138957 | 2147483647 167968 92 | 0.000 % |
110.50/110.60 c | 168226 | 21173 700461 2138957 | 2147483647 168226 92 | 0.000 % |
110.70/110.85 c | 168509 | 21173 700461 2138957 | 2147483647 168509 92 | 0.000 % |
111.01/111.16 c | 168818 | 21173 700461 2138957 | 2147483647 168818 92 | 0.000 % |
111.30/111.46 c | 169157 | 21173 700461 2138957 | 2147483647 169157 92 | 0.000 % |
111.71/111.80 c | 169529 | 21173 700461 2138957 | 2147483647 169529 92 | 0.000 % |
112.01/112.11 c | 169938 | 21173 700461 2138957 | 2147483647 169938 92 | 0.000 % |
112.31/112.41 c | 170387 | 21173 700461 2138957 | 2147483647 170387 92 | 0.000 % |
112.61/112.78 c | 170880 | 21173 700461 2138957 | 2147483647 170880 93 | 0.000 % |
112.91/113.09 c | 171422 | 21173 700461 2138957 | 2147483647 171422 93 | 0.000 % |
113.31/113.42 c | 172019 | 21173 700461 2138957 | 2147483647 172019 93 | 0.000 % |
113.90/114.03 c | 172674 | 21173 700461 2138957 | 2147483647 172674 93 | 0.000 % |
114.40/114.58 c | 173395 | 21173 700461 2138957 | 2147483647 173395 93 | 0.000 % |
115.00/115.10 c | 174190 | 21173 700461 2138957 | 2147483647 174190 93 | 0.000 % |
115.80/115.99 c | 175061 | 21173 700461 2138957 | 2147483647 175061 93 | 0.000 % |
116.41/116.57 c | 176019 | 21173 700461 2138957 | 2147483647 176019 93 | 0.000 % |
117.70/117.81 c | 177074 | 21173 700461 2138957 | 2147483647 177074 94 | 0.000 % |
118.70/118.81 c | 178232 | 21173 700461 2138957 | 2147483647 178232 95 | 0.000 % |
119.81/119.93 c | 179505 | 21173 700461 2138957 | 2147483647 179505 95 | 0.000 % |
121.10/121.26 c | 180905 | 21173 700461 2138957 | 2147483647 180905 95 | 0.000 % |
122.60/122.72 c | 182446 | 21173 700461 2138957 | 2147483647 182446 95 | 0.000 % |
124.00/124.18 c | 184140 | 21173 700461 2138957 | 2147483647 184140 96 | 0.000 % |
125.60/125.78 c | 186004 | 21173 700461 2138957 | 2147483647 186004 96 | 0.000 % |
125.80/125.93 c | 186104 | 21173 700461 2138957 | 2147483647 186104 96 | 0.000 % |
125.90/126.05 c | 186214 | 21173 700461 2138957 | 2147483647 186214 96 | 0.000 % |
126.00/126.15 c | 186335 | 21173 700461 2138957 | 2147483647 186335 96 | 0.000 % |
126.10/126.28 c | 186470 | 21173 700461 2138957 | 2147483647 186470 96 | 0.000 % |
126.20/126.39 c | 186616 | 21173 700461 2138957 | 2147483647 186616 96 | 0.000 % |
126.50/126.63 c | 186778 | 21173 700461 2138957 | 2147483647 186778 96 | 0.000 % |
126.60/126.78 c | 186954 | 21173 700461 2138957 | 2147483647 186954 96 | 0.000 % |
126.80/126.92 c | 187147 | 21173 700461 2138957 | 2147483647 187147 96 | 0.000 % |
126.90/127.07 c | 187360 | 21173 700461 2138957 | 2147483647 187360 96 | 0.000 % |
127.20/127.32 c | 187595 | 21173 700461 2138957 | 2147483647 187595 96 | 0.000 % |
127.40/127.56 c | 187851 | 21173 700461 2138957 | 2147483647 187851 96 | 0.000 % |
127.60/127.78 c | 188132 | 21173 700461 2138957 | 2147483647 188132 96 | 0.000 % |
127.80/127.95 c | 188441 | 21173 700461 2138957 | 2147483647 188441 96 | 0.000 % |
128.20/128.32 c | 188783 | 21173 700461 2138957 | 2147483647 188783 96 | 0.000 % |
128.40/128.59 c | 189156 | 21173 700461 2138957 | 2147483647 189156 96 | 0.000 % |
128.80/128.95 c | 189565 | 21173 700461 2138957 | 2147483647 189565 96 | 0.000 % |
129.10/129.24 c | 190023 | 21173 700461 2138957 | 2147483647 190023 96 | 0.000 % |
129.50/129.70 c | 190517 | 21173 700461 2138957 | 2147483647 190517 96 | 0.000 % |
130.09/130.27 c | 191062 | 21173 700461 2138957 | 2147483647 191062 96 | 0.000 % |
130.80/130.92 c | 191658 | 21173 700461 2138957 | 2147483647 191658 96 | 0.000 % |
131.40/131.53 c | 192314 | 21173 700461 2138957 | 2147483647 192314 96 | 0.000 % |
132.00/132.11 c | 193034 | 21173 700461 2138957 | 2147483647 193034 96 | 0.000 % |
132.80/132.90 c | 193827 | 21173 700461 2138957 | 2147483647 193827 96 | 0.000 % |
133.60/133.74 c | 194698 | 21173 700461 2138957 | 2147483647 194698 96 | 0.000 % |
134.50/134.65 c | 195656 | 21173 700461 2138957 | 2147483647 195656 96 | 0.000 % |
135.29/135.45 c | 196709 | 21173 700461 2138957 | 2147483647 196709 96 | 0.000 % |
136.20/136.37 c | 197867 | 21173 700461 2138957 | 2147483647 197867 96 | 0.000 % |
137.30/137.45 c | 199142 | 21173 700461 2138957 | 2147483647 199142 96 | 0.000 % |
138.29/138.50 c | 200542 | 21173 700461 2138957 | 2147483647 200542 96 | 0.000 % |
139.69/139.87 c | 202082 | 21173 700461 2138957 | 2147483647 202082 97 | 0.000 % |
141.09/141.20 c | 203776 | 21173 700461 2138957 | 2147483647 203776 97 | 0.000 % |
142.80/143.00 c | 205640 | 21173 700461 2138957 | 2147483647 205640 97 | 0.000 % |
144.39/144.52 c | 207689 | 21173 700461 2138957 | 2147483647 207689 97 | 0.000 % |
144.49/144.60 c | 207790 | 21173 700461 2138957 | 2147483647 207790 97 | 0.000 % |
144.49/144.68 c | 207901 | 21173 700461 2138957 | 2147483647 207901 97 | 0.000 % |
144.69/144.83 c | 208022 | 21173 700461 2138957 | 2147483647 208022 97 | 0.000 % |
144.89/145.05 c | 208155 | 21173 700461 2138957 | 2147483647 208155 97 | 0.000 % |
145.00/145.20 c | 208301 | 21173 700461 2138957 | 2147483647 208301 97 | 0.000 % |
145.19/145.35 c | 208461 | 21173 700461 2138957 | 2147483647 208461 96 | 0.000 % |
145.39/145.56 c | 208638 | 21173 700461 2138957 | 2147483647 208638 96 | 0.000 % |
145.69/145.81 c | 208833 | 21173 700461 2138957 | 2147483647 208833 96 | 0.000 % |
145.79/145.97 c | 209045 | 21173 700461 2138957 | 2147483647 209045 96 | 0.000 % |
146.20/146.31 c | 209278 | 21173 700461 2138957 | 2147483647 209278 96 | 0.000 % |
146.39/146.55 c | 209535 | 21173 700461 2138957 | 2147483647 209535 96 | 0.000 % |
146.59/146.74 c | 209818 | 21173 700461 2138957 | 2147483647 209818 96 | 0.000 % |
146.79/146.97 c | 210127 | 21173 700461 2138957 | 2147483647 210127 96 | 0.000 % |
147.09/147.22 c | 210466 | 21173 700461 2138957 | 2147483647 210466 96 | 0.000 % |
147.39/147.53 c | 210841 | 21173 700461 2138957 | 2147483647 210841 96 | 0.000 % |
147.69/147.88 c | 211252 | 21173 700461 2138957 | 2147483647 211252 97 | 0.000 % |
148.09/148.23 c | 211701 | 21173 700461 2138957 | 2147483647 211701 97 | 0.000 % |
148.49/148.64 c | 212196 | 21173 700461 2138957 | 2147483647 212196 97 | 0.000 % |
148.99/149.11 c | 212740 | 21173 700461 2138957 | 2147483647 212740 97 | 0.000 % |
149.28/149.48 c | 213337 | 21173 700461 2138957 | 2147483647 213337 96 | 0.000 % |
149.78/149.99 c | 213994 | 21173 700461 2138957 | 2147483647 213994 97 | 0.000 % |
150.39/150.51 c | 214719 | 21173 700461 2138957 | 2147483647 214719 97 | 0.000 % |
151.19/151.31 c | 215511 | 21173 700461 2138957 | 2147483647 215511 97 | 0.000 % |
152.19/152.31 c | 216382 | 21173 700461 2138957 | 2147483647 216382 98 | 0.000 % |
152.99/153.12 c | 217340 | 21173 700461 2138957 | 2147483647 217340 98 | 0.000 % |
153.79/153.98 c | 218393 | 21173 700461 2138957 | 2147483647 218393 98 | 0.000 % |
154.59/154.80 c | 219551 | 21173 700461 2138957 | 2147483647 219551 98 | 0.000 % |
155.99/156.17 c | 220824 | 21173 700461 2138957 | 2147483647 220824 98 | 0.000 % |
157.18/157.32 c | 222224 | 21173 700461 2138957 | 2147483647 222224 98 | 0.000 % |
158.39/158.54 c | 223765 | 21173 700461 2138957 | 2147483647 223765 97 | 0.000 % |
159.88/160.07 c | 225460 | 21173 700461 2138957 | 2147483647 225460 98 | 0.000 % |
161.39/161.53 c | 227323 | 21173 700461 2138957 | 2147483647 227323 98 | 0.000 % |
162.79/162.95 c | 229376 | 21173 700461 2138957 | 2147483647 229376 98 | 0.000 % |
164.58/164.76 c | 231630 | 21173 700461 2138957 | 2147483647 231630 98 | 0.000 % |
164.68/164.83 c | 231732 | 21173 700461 2138957 | 2147483647 231732 98 | 0.000 % |
164.79/164.94 c | 231844 | 21173 700461 2138957 | 2147483647 231844 98 | 0.000 % |
164.89/165.04 c | 231965 | 21173 700461 2138957 | 2147483647 231965 98 | 0.000 % |
164.98/165.17 c | 232100 | 21173 700461 2138957 | 2147483647 232100 98 | 0.000 % |
165.08/165.28 c | 232250 | 21173 700461 2138957 | 2147483647 232250 98 | 0.000 % |
165.28/165.40 c | 232410 | 21173 700461 2138957 | 2147483647 232410 98 | 0.000 % |
165.38/165.53 c | 232586 | 21173 700461 2138957 | 2147483647 232586 98 | 0.000 % |
165.58/165.77 c | 232781 | 21173 700461 2138957 | 2147483647 232781 98 | 0.000 % |
165.78/165.96 c | 232993 | 21173 700461 2138957 | 2147483647 232993 98 | 0.000 % |
166.08/166.21 c | 233226 | 21173 700461 2138957 | 2147483647 233226 98 | 0.000 % |
166.28/166.42 c | 233483 | 21173 700461 2138957 | 2147483647 233483 98 | 0.000 % |
166.58/166.71 c | 233766 | 21173 700461 2138957 | 2147483647 233766 98 | 0.000 % |
166.78/166.98 c | 234075 | 21173 700461 2138957 | 2147483647 234075 98 | 0.000 % |
167.08/167.28 c | 234414 | 21173 700461 2138957 | 2147483647 234414 98 | 0.000 % |
167.39/167.58 c | 234789 | 21173 700461 2138957 | 2147483647 234789 98 | 0.000 % |
167.78/167.93 c | 235198 | 21173 700461 2138957 | 2147483647 235198 98 | 0.000 % |
168.09/168.28 c | 235647 | 21173 700461 2138957 | 2147483647 235647 98 | 0.000 % |
168.48/168.62 c | 236143 | 21173 700461 2138957 | 2147483647 236143 98 | 0.000 % |
169.08/169.30 c | 236686 | 21173 700461 2138957 | 2147483647 236686 98 | 0.000 % |
169.68/169.81 c | 237282 | 21173 700461 2138957 | 2147483647 237282 98 | 0.000 % |
170.48/170.62 c | 237939 | 21173 700461 2138957 | 2147483647 237939 98 | 0.000 % |
171.28/171.40 c | 238659 | 21173 700461 2138957 | 2147483647 238659 98 | 0.000 % |
172.18/172.30 c | 239452 | 21173 700461 2138957 | 2147483647 239452 98 | 0.000 % |
172.88/173.04 c | 240324 | 21173 700461 2138957 | 2147483647 240324 98 | 0.000 % |
173.78/173.90 c | 241282 | 21173 700461 2138957 | 2147483647 241282 98 | 0.000 % |
174.88/175.03 c | 242338 | 21173 700461 2138957 | 2147483647 242338 98 | 0.000 % |
175.78/175.97 c | 243496 | 21173 700461 2138957 | 2147483647 243496 98 | 0.000 % |
176.88/177.07 c | 244770 | 21173 700461 2138957 | 2147483647 244770 98 | 0.000 % |
178.28/178.43 c | 246170 | 21173 700461 2138957 | 2147483647 246170 98 | 0.000 % |
179.88/180.10 c | 247710 | 21173 700461 2138957 | 2147483647 247710 98 | 0.000 % |
181.67/181.85 c | 249407 | 21173 700461 2138957 | 2147483647 249407 97 | 0.000 % |
183.77/183.99 c | 251270 | 21173 700461 2138957 | 2147483647 251270 97 | 0.000 % |
185.98/186.12 c | 253321 | 21173 700461 2138957 | 2147483647 253321 97 | 0.000 % |
188.78/188.92 c | 255578 | 21173 700461 2138957 | 2147483647 255578 98 | 0.000 % |
191.87/192.00 c | 258056 | 21173 700461 2138957 | 2147483647 258056 100 | 0.000 % |
191.97/192.18 c | 258156 | 21173 700461 2138957 | 2147483647 258156 100 | 0.000 % |
192.17/192.30 c | 258266 | 21173 700461 2138957 | 2147483647 258266 100 | 0.000 % |
192.27/192.46 c | 258387 | 21173 700461 2138957 | 2147483647 258387 100 | 0.000 % |
192.38/192.59 c | 258520 | 21173 700461 2138957 | 2147483647 258520 100 | 0.000 % |
192.78/192.91 c | 258666 | 21173 700461 2138957 | 2147483647 258666 100 | 0.000 % |
192.88/193.09 c | 258826 | 21173 700461 2138957 | 2147483647 258826 100 | 0.000 % |
193.08/193.25 c | 259003 | 21173 700461 2138957 | 2147483647 259003 100 | 0.000 % |
193.38/193.53 c | 259197 | 21173 700461 2138957 | 2147483647 259197 100 | 0.000 % |
193.58/193.73 c | 259409 | 21173 700461 2138957 | 2147483647 259409 100 | 0.000 % |
193.78/193.97 c | 259644 | 21173 700461 2138957 | 2147483647 259644 100 | 0.000 % |
194.08/194.21 c | 259900 | 21173 700461 2138957 | 2147483647 259900 100 | 0.000 % |
194.27/194.48 c | 260183 | 21173 700461 2138957 | 2147483647 260183 100 | 0.000 % |
194.58/194.78 c | 260497 | 21173 700461 2138957 | 2147483647 260497 100 | 0.000 % |
194.97/195.13 c | 260837 | 21173 700461 2138957 | 2147483647 260837 100 | 0.000 % |
195.27/195.48 c | 261212 | 21173 700461 2138957 | 2147483647 261212 100 | 0.000 % |
195.77/195.95 c | 261623 | 21173 700461 2138957 | 2147483647 261623 100 | 0.000 % |
196.17/196.36 c | 262073 | 21173 700461 2138957 | 2147483647 262073 100 | 0.000 % |
196.78/196.99 c | 262566 | 21173 700461 2138957 | 2147483647 262566 100 | 0.000 % |
197.37/197.60 c | 263109 | 21173 700461 2138957 | 2147483647 263109 100 | 0.000 % |
198.17/198.39 c | 263706 | 21173 700461 2138957 | 2147483647 263706 100 | 0.000 % |
198.87/199.09 c | 264363 | 21173 700461 2138957 | 2147483647 264363 100 | 0.000 % |
199.57/199.77 c | 265084 | 21173 700461 2138957 | 2147483647 265084 100 | 0.000 % |
200.67/200.85 c | 265876 | 21173 700461 2138957 | 2147483647 265876 100 | 0.000 % |
201.77/201.97 c | 266747 | 21173 700461 2138957 | 2147483647 266747 100 | 0.000 % |
202.87/203.03 c | 267705 | 21173 700461 2138957 | 2147483647 267705 100 | 0.000 % |
203.97/204.13 c | 268760 | 21173 700461 2138957 | 2147483647 268760 100 | 0.000 % |
205.17/205.31 c | 269918 | 21173 700461 2138957 | 2147483647 269918 100 | 0.000 % |
206.47/206.64 c | 271191 | 21173 700461 2138957 | 2147483647 271191 100 | 0.000 % |
207.96/208.13 c | 272593 | 21173 700461 2138957 | 2147483647 272593 100 | 0.000 % |
209.36/209.50 c | 274134 | 21173 700461 2138957 | 2147483647 274134 100 | 0.000 % |
210.67/210.87 c | 275828 | 21173 700461 2138957 | 2147483647 275828 100 | 0.000 % |
212.37/212.51 c | 277692 | 21173 700461 2138957 | 2147483647 277692 100 | 0.000 % |
213.96/214.11 c | 279742 | 21173 700461 2138957 | 2147483647 279742 100 | 0.000 % |
216.06/216.27 c | 281995 | 21173 700461 2138957 | 2147483647 281995 100 | 0.000 % |
218.26/218.42 c | 284474 | 21173 700461 2138957 | 2147483647 284474 101 | 0.000 % |
220.46/220.60 c | 287199 | 21173 700461 2138957 | 2147483647 287199 101 | 0.000 % |
220.46/220.68 c | 287299 | 21173 700461 2138957 | 2147483647 287299 101 | 0.001 % |
220.56/220.76 c | 287410 | 21173 700461 2138957 | 2147483647 287410 101 | 0.000 % |
220.66/220.86 c | 287532 | 21173 700461 2138957 | 2147483647 287532 101 | 0.000 % |
221.06/221.25 c | 287668 | 21173 700461 2138957 | 2147483647 287668 101 | 0.000 % |
221.16/221.39 c | 287814 | 21173 700461 2138957 | 2147483647 287814 101 | 0.000 % |
221.46/221.60 c | 287974 | 21173 700461 2138957 | 2147483647 287974 101 | 0.000 % |
221.66/221.83 c | 288150 | 21173 700461 2138957 | 2147483647 288150 101 | 0.000 % |
221.85/222.02 c | 288344 | 21173 700461 2138957 | 2147483647 288344 101 | 0.000 % |
222.15/222.32 c | 288561 | 21173 700461 2138957 | 2147483647 288561 101 | 0.000 % |
222.46/222.66 c | 288796 | 21173 700461 2138957 | 2147483647 288796 101 | 0.000 % |
222.76/222.93 c | 289052 | 21173 700461 2138957 | 2147483647 289052 101 | 0.000 % |
223.06/223.23 c | 289333 | 21173 700461 2138957 | 2147483647 289333 101 | 0.000 % |
223.36/223.56 c | 289642 | 21173 700461 2138957 | 2147483647 289642 101 | 0.000 % |
223.65/223.88 c | 289981 | 21173 700461 2138957 | 2147483647 289981 101 | 0.000 % |
224.05/224.22 c | 290353 | 21173 700461 2138957 | 2147483647 290353 101 | 0.000 % |
224.35/224.58 c | 290763 | 21173 700461 2138957 | 2147483647 290763 101 | 0.000 % |
224.76/224.99 c | 291213 | 21173 700461 2138957 | 2147483647 291213 101 | 0.000 % |
225.16/225.39 c | 291707 | 21173 700461 2138957 | 2147483647 291707 101 | 0.000 % |
225.66/225.84 c | 292249 | 21173 700461 2138957 | 2147483647 292249 101 | 0.000 % |
226.16/226.32 c | 292845 | 21173 700461 2138957 | 2147483647 292845 101 | 0.000 % |
226.66/226.87 c | 293500 | 21173 700461 2138957 | 2147483647 293500 101 | 0.000 % |
227.46/227.65 c | 294220 | 21173 700461 2138957 | 2147483647 294220 101 | 0.000 % |
228.16/228.36 c | 295013 | 21173 700461 2138957 | 2147483647 295013 101 | 0.000 % |
229.06/229.20 c | 295884 | 21173 700461 2138957 | 2147483647 295884 101 | 0.000 % |
229.76/229.96 c | 296843 | 21173 700461 2138957 | 2147483647 296843 101 | 0.000 % |
230.66/230.86 c | 297897 | 21173 700461 2138957 | 2147483647 297897 101 | 0.000 % |
231.96/232.12 c | 299056 | 21173 700461 2138957 | 2147483647 299056 101 | 0.000 % |
233.15/233.38 c | 300329 | 21173 700461 2138957 | 2147483647 300329 101 | 0.000 % |
234.25/234.49 c | 301730 | 21173 700461 2138957 | 2147483647 301730 101 | 0.000 % |
235.46/235.69 c | 303272 | 21173 700461 2138957 | 2147483647 303272 101 | 0.000 % |
236.86/237.02 c | 304967 | 21173 700461 2138957 | 2147483647 304967 101 | 0.000 % |
238.36/238.52 c | 306830 | 21173 700461 2138957 | 2147483647 306830 100 | 0.000 % |
240.15/240.37 c | 308879 | 21173 700461 2138957 | 2147483647 308879 101 | 0.000 % |
242.15/242.38 c | 311132 | 21173 700461 2138957 | 2147483647 311132 101 | 0.000 % |
244.65/244.84 c | 313610 | 21173 700461 2138957 | 2147483647 313610 101 | 0.000 % |
246.75/246.98 c | 316337 | 21173 700461 2138957 | 2147483647 316337 100 | 0.000 % |
249.35/249.60 c | 319336 | 21173 700461 2138957 | 2147483647 319336 100 | 0.000 % |
249.45/249.69 c | 319438 | 21173 700461 2138957 | 2147483647 319438 100 | 0.000 % |
249.65/249.82 c | 319548 | 21173 700461 2138957 | 2147483647 319548 100 | 0.000 % |
249.75/249.98 c | 319670 | 21173 700461 2138957 | 2147483647 319670 100 | 0.000 % |
249.95/250.20 c | 319803 | 21173 700461 2138957 | 2147483647 319803 100 | 0.000 % |
250.15/250.33 c | 319949 | 21173 700461 2138957 | 2147483647 319949 100 | 0.000 % |
250.35/250.54 c | 320110 | 21173 700461 2138957 | 2147483647 320110 100 | 0.000 % |
250.55/250.72 c | 320286 | 21173 700461 2138957 | 2147483647 320286 100 | 0.000 % |
250.75/250.93 c | 320480 | 21173 700461 2138957 | 2147483647 320480 100 | 0.000 % |
250.94/251.18 c | 320693 | 21173 700461 2138957 | 2147483647 320693 100 | 0.000 % |
251.24/251.47 c | 320926 | 21173 700461 2138957 | 2147483647 320926 100 | 0.000 % |
251.54/251.72 c | 321183 | 21173 700461 2138957 | 2147483647 321183 100 | 0.000 % |
251.85/252.08 c | 321465 | 21173 700461 2138957 | 2147483647 321465 100 | 0.000 % |
252.25/252.46 c | 321774 | 21173 700461 2138957 | 2147483647 321774 100 | 0.000 % |
252.55/252.71 c | 322113 | 21173 700461 2138957 | 2147483647 322113 100 | 0.000 % |
252.95/253.17 c | 322485 | 21173 700461 2138957 | 2147483647 322485 100 | 0.000 % |
253.35/253.53 c | 322895 | 21173 700461 2138957 | 2147483647 322895 100 | 0.000 % |
253.75/253.93 c | 323344 | 21173 700461 2138957 | 2147483647 323344 100 | 0.000 % |
254.15/254.36 c | 323837 | 21173 700461 2138957 | 2147483647 323837 100 | 0.000 % |
254.75/254.95 c | 324379 | 21173 700461 2138957 | 2147483647 324379 100 | 0.000 % |
255.25/255.44 c | 324975 | 21173 700461 2138957 | 2147483647 324975 100 | 0.000 % |
255.84/256.08 c | 325630 | 21173 700461 2138957 | 2147483647 325630 100 | 0.000 % |
256.64/256.82 c | 326350 | 21173 700461 2138957 | 2147483647 326350 100 | 0.000 % |
257.25/257.46 c | 327142 | 21173 700461 2138957 | 2147483647 327142 100 | 0.001 % |
257.85/258.08 c | 328013 | 21173 700461 2138957 | 2147483647 328013 100 | 0.000 % |
258.75/258.97 c | 328971 | 21173 700461 2138957 | 2147483647 328971 100 | 0.000 % |
259.64/259.87 c | 330024 | 21173 700461 2138957 | 2147483647 330024 100 | 0.000 % |
261.14/261.37 c | 331182 | 21173 700461 2138957 | 2147483647 331182 100 | 0.000 % |
262.34/262.58 c | 332456 | 21173 700461 2138957 | 2147483647 332456 100 | 0.000 % |
263.55/263.79 c | 333856 | 21173 700461 2138957 | 2147483647 333856 100 | 0.000 % |
265.04/265.23 c | 335396 | 21173 700461 2138957 | 2147483647 335396 100 | 0.000 % |
266.94/267.20 c | 337091 | 21173 700461 2138957 | 2147483647 337091 100 | 0.000 % |
268.74/268.98 c | 338956 | 21173 700461 2138957 | 2147483647 338956 100 | 0.000 % |
270.85/271.07 c | 341007 | 21173 700461 2138957 | 2147483647 341007 101 | 0.000 % |
273.84/274.02 c | 343261 | 21173 700461 2138957 | 2147483647 343261 101 | 0.000 % |
276.44/276.67 c | 345739 | 21173 700461 2138957 | 2147483647 345739 101 | 0.000 % |
278.73/278.95 c | 348464 | 21173 700461 2138957 | 2147483647 348464 101 | 0.000 % |
281.04/281.23 c | 351464 | 21173 700461 2138957 | 2147483647 351464 101 | 0.000 % |
283.24/283.46 c | 354760 | 21173 700461 2138957 | 2147483647 354760 100 | 0.001 % |
283.34/283.58 c | 354860 | 21173 700461 2138957 | 2147483647 354860 100 | 0.000 % |
283.44/283.66 c | 354971 | 21173 700461 2138957 | 2147483647 354971 100 | 0.001 % |
283.64/283.84 c | 355093 | 21173 700461 2138957 | 2147483647 355093 100 | 0.001 % |
283.84/284.04 c | 355227 | 21173 700461 2138957 | 2147483647 355227 100 | 0.000 % |
284.04/284.22 c | 355374 | 21173 700461 2138957 | 2147483647 355374 100 | 0.000 % |
284.14/284.38 c | 355536 | 21173 700461 2138957 | 2147483647 355536 100 | 0.000 % |
284.64/284.84 c | 355712 | 21173 700461 2138957 | 2147483647 355712 100 | 0.000 % |
284.83/285.09 c | 355905 | 21173 700461 2138957 | 2147483647 355905 100 | 0.000 % |
285.13/285.31 c | 356117 | 21173 700461 2138957 | 2147483647 356117 100 | 0.000 % |
285.33/285.55 c | 356350 | 21173 700461 2138957 | 2147483647 356350 100 | 0.000 % |
285.74/286.00 c | 356606 | 21173 700461 2138957 | 2147483647 356606 100 | 0.000 % |
286.04/286.29 c | 356888 | 21173 700461 2138957 | 2147483647 356888 100 | 0.000 % |
286.44/286.69 c | 357197 | 21173 700461 2138957 | 2147483647 357197 100 | 0.000 % |
286.84/287.05 c | 357538 | 21173 700461 2138957 | 2147483647 357538 100 | 0.000 % |
287.44/287.60 c | 357910 | 21173 700461 2138957 | 2147483647 357910 100 | 0.000 % |
288.04/288.28 c | 358320 | 21173 700461 2138957 | 2147483647 358320 100 | 0.000 % |
288.64/288.82 c | 358770 | 21173 700461 2138957 | 2147483647 358770 100 | 0.000 % |
289.24/289.41 c | 359265 | 21173 700461 2138957 | 2147483647 359265 100 | 0.000 % |
289.84/290.08 c | 359808 | 21173 700461 2138957 | 2147483647 359808 100 | 0.000 % |
290.54/290.79 c | 360408 | 21173 700461 2138957 | 2147483647 360408 100 | 0.000 % |
291.34/291.54 c | 361064 | 21173 700461 2138957 | 2147483647 361064 100 | 0.000 % |
292.34/292.54 c | 361786 | 21173 700461 2138957 | 2147483647 361786 100 | 0.000 % |
293.23/293.43 c | 362579 | 21173 700461 2138957 | 2147483647 362579 100 | 0.000 % |
294.73/294.98 c | 363450 | 21173 700461 2138957 | 2147483647 363450 100 | 0.000 % |
296.13/296.33 c | 364408 | 21173 700461 2138957 | 2147483647 364408 100 | 0.000 % |
297.43/297.69 c | 365461 | 21173 700461 2138957 | 2147483647 365461 100 | 0.000 % |
298.73/298.92 c | 366619 | 21173 700461 2138957 | 2147483647 366619 100 | 0.000 % |
299.83/300.06 c | 367892 | 21173 700461 2138957 | 2147483647 367892 100 | 0.000 % |
301.44/301.65 c | 369292 | 21173 700461 2138957 | 2147483647 369292 100 | 0.000 % |
303.13/303.34 c | 370836 | 21173 700461 2138957 | 2147483647 370836 100 | 0.000 % |
304.44/304.61 c | 372531 | 21173 700461 2138957 | 2147483647 372531 100 | 0.000 % |
305.83/306.08 c | 374394 | 21173 700461 2138957 | 2147483647 374394 100 | 0.000 % |
307.84/308.06 c | 376443 | 21173 700461 2138957 | 2147483647 376443 100 | 0.000 % |
310.23/310.47 c | 378699 | 21173 700461 2138957 | 2147483647 378699 100 | 0.000 % |
312.23/312.49 c | 381177 | 21173 700461 2138957 | 2147483647 381177 99 | 0.000 % |
314.82/315.06 c | 383902 | 21173 700461 2138957 | 2147483647 383902 100 | 0.000 % |
317.73/317.94 c | 386900 | 21173 700461 2138957 | 2147483647 386900 100 | 0.000 % |
320.52/320.76 c | 390197 | 21173 700461 2138957 | 2147483647 390197 99 | 0.000 % |
325.02/325.28 c | 393824 | 21173 700461 2138957 | 2147483647 393824 99 | 0.000 % |
325.22/325.41 c | 393925 | 21173 700461 2138957 | 2147483647 393925 99 | 0.000 % |
325.42/325.62 c | 394035 | 21173 700461 2138957 | 2147483647 394035 99 | 0.000 % |
325.72/325.90 c | 394156 | 21173 700461 2138957 | 2147483647 394156 100 | 0.000 % |
325.82/326.05 c | 394289 | 21173 700461 2138957 | 2147483647 394289 99 | 0.000 % |
326.02/326.22 c | 394436 | 21173 700461 2138957 | 2147483647 394436 99 | 0.000 % |
326.22/326.44 c | 394597 | 21173 700461 2138957 | 2147483647 394597 99 | 0.000 % |
326.52/326.72 c | 394775 | 21173 700461 2138957 | 2147483647 394775 99 | 0.000 % |
326.82/327.03 c | 394969 | 21173 700461 2138957 | 2147483647 394969 99 | 0.000 % |
327.12/327.32 c | 395183 | 21173 700461 2138957 | 2147483647 395183 99 | 0.000 % |
327.32/327.55 c | 395420 | 21173 700461 2138957 | 2147483647 395420 99 | 0.000 % |
327.72/327.90 c | 395676 | 21173 700461 2138957 | 2147483647 395676 99 | 0.000 % |
327.92/328.19 c | 395958 | 21173 700461 2138957 | 2147483647 395958 99 | 0.000 % |
328.22/328.42 c | 396267 | 21173 700461 2138957 | 2147483647 396267 99 | 0.000 % |
328.52/328.79 c | 396607 | 21173 700461 2138957 | 2147483647 396607 99 | 0.000 % |
328.92/329.15 c | 396979 | 21173 700461 2138957 | 2147483647 396979 99 | 0.000 % |
329.33/329.52 c | 397389 | 21173 700461 2138957 | 2147483647 397389 99 | 0.000 % |
329.73/329.99 c | 397839 | 21173 700461 2138957 | 2147483647 397839 99 | 0.000 % |
330.52/330.77 c | 398335 | 21173 700461 2138957 | 2147483647 398335 99 | 0.000 % |
331.02/331.26 c | 398879 | 21173 700461 2138957 | 2147483647 398879 99 | 0.000 % |
331.62/331.87 c | 399476 | 21173 700461 2138957 | 2147483647 399476 99 | 0.000 % |
332.22/332.45 c | 400132 | 21173 700461 2138957 | 2147483647 400132 99 | 0.000 % |
332.82/333.09 c | 400852 | 21173 700461 2138957 | 2147483647 400852 99 | 0.000 % |
333.93/334.13 c | 401644 | 21173 700461 2138957 | 2147483647 401644 99 | 0.000 % |
334.92/335.16 c | 402516 | 21173 700461 2138957 | 2147483647 402516 99 | 0.000 % |
336.22/336.48 c | 403475 | 21173 700461 2138957 | 2147483647 403475 99 | 0.000 % |
338.12/338.31 c | 404529 | 21173 700461 2138957 | 2147483647 404529 99 | 0.000 % |
340.22/340.46 c | 405689 | 21173 700461 2138957 | 2147483647 405689 99 | 0.000 % |
342.22/342.40 c | 406962 | 21173 700461 2138957 | 2147483647 406962 99 | 0.000 % |
344.92/345.10 c | 408363 | 21173 700461 2138957 | 2147483647 408363 99 | 0.000 % |
347.32/347.55 c | 409903 | 21173 700461 2138957 | 2147483647 409903 99 | 0.000 % |
349.81/350.06 c | 411597 | 21173 700461 2138957 | 2147483647 411597 99 | 0.000 % |
351.91/352.16 c | 413461 | 21173 700461 2138957 | 2147483647 413461 101 | 0.000 % |
354.11/354.34 c | 415511 | 21173 700461 2138957 | 2147483647 415511 101 | 0.000 % |
355.31/355.53 c | 417764 | 21173 700461 2138957 | 2147483647 417764 101 | 0.000 % |
357.31/357.52 c | 420242 | 21173 700461 2138957 | 2147483647 420242 101 | 0.001 % |
359.42/359.63 c | 422968 | 21173 700461 2138957 | 2147483647 422968 101 | 0.000 % |
361.51/361.71 c | 425965 | 21173 700461 2138957 | 2147483647 425965 101 | 0.001 % |
364.21/364.47 c | 429261 | 21173 700461 2138957 | 2147483647 429261 101 | 0.000 % |
366.61/366.89 c | 432886 | 21173 700461 2138957 | 2147483647 432886 101 | 0.001 % |
370.01/370.29 c | 436875 | 21173 700461 2138957 | 2147483647 436875 101 | 0.000 % |
370.21/370.45 c | 436978 | 21173 700461 2138957 | 2147483647 436978 101 | 0.000 % |
370.31/370.58 c | 437088 | 21173 700461 2138957 | 2147483647 437088 101 | 0.000 % |
370.61/370.88 c | 437209 | 21173 700461 2138957 | 2147483647 437209 101 | 0.000 % |
370.81/371.05 c | 437344 | 21173 700461 2138957 | 2147483647 437344 101 | 0.000 % |
371.01/371.21 c | 437490 | 21173 700461 2138957 | 2147483647 437490 101 | 0.000 % |
371.11/371.39 c | 437650 | 21173 700461 2138957 | 2147483647 437650 101 | 0.000 % |
371.41/371.62 c | 437827 | 21173 700461 2138957 | 2147483647 437827 101 | 0.000 % |
371.61/371.87 c | 438022 | 21173 700461 2138957 | 2147483647 438022 101 | 0.000 % |
372.01/372.27 c | 438237 | 21173 700461 2138957 | 2147483647 438237 101 | 0.000 % |
372.61/372.82 c | 438471 | 21173 700461 2138957 | 2147483647 438471 101 | 0.000 % |
373.11/373.33 c | 438728 | 21173 700461 2138957 | 2147483647 438728 101 | 0.000 % |
373.51/373.78 c | 439012 | 21173 700461 2138957 | 2147483647 439012 101 | 0.000 % |
374.21/374.44 c | 439322 | 21173 700461 2138957 | 2147483647 439322 101 | 0.000 % |
374.91/375.14 c | 439666 | 21173 700461 2138957 | 2147483647 439666 101 | 0.000 % |
375.41/375.65 c | 440038 | 21173 700461 2138957 | 2147483647 440038 101 | 0.000 % |
376.11/376.37 c | 440447 | 21173 700461 2138957 | 2147483647 440447 101 | 0.000 % |
376.71/376.98 c | 440896 | 21173 700461 2138957 | 2147483647 440896 101 | 0.000 % |
377.30/377.59 c | 441389 | 21173 700461 2138957 | 2147483647 441389 101 | 0.000 % |
377.90/378.19 c | 441934 | 21173 700461 2138957 | 2147483647 441934 101 | 0.000 % |
378.81/379.00 c | 442532 | 21173 700461 2138957 | 2147483647 442532 100 | 0.000 % |
379.81/380.06 c | 443189 | 21173 700461 2138957 | 2147483647 443189 100 | 0.000 % |
380.91/381.16 c | 443909 | 21173 700461 2138957 | 2147483647 443909 100 | 0.000 % |
382.01/382.26 c | 444702 | 21173 700461 2138957 | 2147483647 444702 100 | 0.000 % |
383.01/383.28 c | 445575 | 21173 700461 2138957 | 2147483647 445575 100 | 0.000 % |
384.41/384.70 c | 446533 | 21173 700461 2138957 | 2147483647 446533 100 | 0.000 % |
386.00/386.25 c | 447590 | 21173 700461 2138957 | 2147483647 447590 101 | 0.000 % |
387.90/388.14 c | 448751 | 21173 700461 2138957 | 2147483647 448751 100 | 0.000 % |
389.31/389.55 c | 450026 | 21173 700461 2138957 | 2147483647 450026 100 | 0.000 % |
390.80/391.06 c | 451428 | 21173 700461 2138957 | 2147483647 451428 100 | 0.000 % |
392.51/392.78 c | 452970 | 21173 700461 2138957 | 2147483647 452970 100 | 0.000 % |
394.10/394.38 c | 454666 | 21173 700461 2138957 | 2147483647 454666 100 | 0.001 % |
396.00/396.26 c | 456530 | 21173 700461 2138957 | 2147483647 456530 100 | 0.000 % |
398.20/398.41 c | 458580 | 21173 700461 2138957 | 2147483647 458580 100 | 0.000 % |
400.80/401.08 c | 460833 | 21173 700461 2138957 | 2147483647 460833 100 | 0.000 % |
404.29/404.56 c | 463312 | 21173 700461 2138957 | 2147483647 463312 100 | 0.000 % |
407.39/407.69 c | 466038 | 21173 700461 2138957 | 2147483647 466038 100 | 0.000 % |
412.50/412.77 c | 469036 | 21173 700461 2138957 | 2147483647 469036 101 | 0.000 % |
417.79/418.00 c | 472334 | 21173 700461 2138957 | 2147483647 472334 101 | 0.000 % |
422.79/423.05 c | 475961 | 21173 700461 2138957 | 2147483647 475961 102 | 0.000 % |
428.39/428.66 c | 479948 | 21173 700461 2138957 | 2147483647 479948 103 | 0.000 % |
434.79/435.00 c | 484333 | 21173 700461 2138957 | 2147483647 484333 102 | 0.000 % |
434.99/435.20 c | 484433 | 21173 700461 2138957 | 2147483647 484433 102 | 0.000 % |
435.29/435.56 c | 484545 | 21173 700461 2138957 | 2147483647 484545 102 | 0.000 % |
435.49/435.76 c | 484668 | 21173 700461 2138957 | 2147483647 484668 102 | 0.000 % |
435.69/435.97 c | 484802 | 21173 700461 2138957 | 2147483647 484802 102 | 0.000 % |
436.09/436.34 c | 484948 | 21173 700461 2138957 | 2147483647 484948 102 | 0.000 % |
436.39/436.63 c | 485111 | 21173 700461 2138957 | 2147483647 485111 102 | 0.000 % |
436.59/436.81 c | 485287 | 21173 700461 2138957 | 2147483647 485287 102 | 0.000 % |
436.79/437.08 c | 485481 | 21173 700461 2138957 | 2147483647 485481 102 | 0.000 % |
437.18/437.41 c | 485695 | 21173 700461 2138957 | 2147483647 485695 102 | 0.000 % |
437.49/437.70 c | 485929 | 21173 700461 2138957 | 2147483647 485929 102 | 0.000 % |
437.68/437.99 c | 486185 | 21173 700461 2138957 | 2147483647 486185 102 | 0.000 % |
438.18/438.40 c | 486466 | 21173 700461 2138957 | 2147483647 486466 102 | 0.000 % |
438.78/439.02 c | 486776 | 21173 700461 2138957 | 2147483647 486776 102 | 0.000 % |
439.48/439.74 c | 487116 | 21173 700461 2138957 | 2147483647 487116 102 | 0.000 % |
439.98/440.20 c | 487489 | 21173 700461 2138957 | 2147483647 487489 102 | 0.000 % |
440.59/440.83 c | 487898 | 21173 700461 2138957 | 2147483647 487898 102 | 0.000 % |
441.39/441.68 c | 488349 | 21173 700461 2138957 | 2147483647 488349 102 | 0.000 % |
442.19/442.40 c | 488847 | 21173 700461 2138957 | 2147483647 488847 102 | 0.000 % |
443.29/443.58 c | 489389 | 21173 700461 2138957 | 2147483647 489389 102 | 0.000 % |
444.28/444.51 c | 489986 | 21173 700461 2138957 | 2147483647 489986 102 | 0.000 % |
445.28/445.59 c | 490643 | 21173 700461 2138957 | 2147483647 490643 102 | 0.000 % |
446.38/446.64 c | 491363 | 21173 700461 2138957 | 2147483647 491363 102 | 0.000 % |
448.18/448.49 c | 492155 | 21173 700461 2138957 | 2147483647 492155 102 | 0.000 % |
449.59/449.81 c | 493027 | 21173 700461 2138957 | 2147483647 493027 102 | 0.000 % |
451.09/451.33 c | 493986 | 21173 700461 2138957 | 2147483647 493986 102 | 0.000 % |
452.48/452.79 c | 495039 | 21173 700461 2138957 | 2147483647 495039 102 | 0.000 % |
454.28/454.54 c | 496198 | 21173 700461 2138957 | 2147483647 496198 102 | 0.000 % |
455.98/456.21 c | 497471 | 21173 700461 2138957 | 2147483647 497471 102 | 0.000 % |
458.38/458.63 c | 498871 | 21173 700461 2138957 | 2147483647 498871 102 | 0.000 % |
460.78/461.02 c | 500412 | 21173 700461 2138957 | 2147483647 500412 102 | 0.000 % |
463.48/463.72 c | 502106 | 21173 700461 2138957 | 2147483647 502106 102 | 0.000 % |
466.18/466.46 c | 503970 | 21173 700461 2138957 | 2147483647 503970 102 | 0.000 % |
469.38/469.62 c | 506019 | 21173 700461 2138957 | 2147483647 506019 102 | 0.000 % |
472.88/473.11 c | 508272 | 21173 700461 2138957 | 2147483647 508272 102 | 0.000 % |
477.97/478.23 c | 510750 | 21173 700461 2138957 | 2147483647 510750 102 | 0.000 % |
482.97/483.23 c | 513475 | 21173 700461 2138957 | 2147483647 513475 102 | 0.000 % |
488.17/488.47 c | 516472 | 21173 700461 2138957 | 2147483647 516472 102 | 0.000 % |
493.77/494.10 c | 519769 | 21173 700461 2138957 | 2147483647 519769 102 | 0.000 % |
498.57/498.85 c | 523394 | 21173 700461 2138957 | 2147483647 523394 101 | 0.000 % |
504.06/504.36 c | 527381 | 21173 700461 2138957 | 2147483647 527381 101 | 0.000 % |
510.76/511.08 c | 531767 | 21173 700461 2138957 | 2147483647 531767 101 | 0.000 % |
518.26/518.52 c | 536593 | 21173 700461 2138957 | 2147483647 536593 101 | 0.000 % |
518.46/518.74 c | 536693 | 21173 700461 2138957 | 2147483647 536693 101 | 0.000 % |
518.66/518.91 c | 536805 | 21173 700461 2138957 | 2147483647 536805 101 | 0.000 % |
518.76/519.08 c | 536928 | 21173 700461 2138957 | 2147483647 536928 101 | 0.000 % |
519.06/519.34 c | 537062 | 21173 700461 2138957 | 2147483647 537062 101 | 0.000 % |
519.36/519.68 c | 537208 | 21173 700461 2138957 | 2147483647 537208 101 | 0.000 % |
519.76/520.00 c | 537369 | 21173 700461 2138957 | 2147483647 537369 101 | 0.000 % |
520.06/520.33 c | 537546 | 21173 700461 2138957 | 2147483647 537546 101 | 0.000 % |
520.55/520.83 c | 537739 | 21173 700461 2138957 | 2147483647 537739 101 | 0.000 % |
520.85/521.13 c | 537953 | 21173 700461 2138957 | 2147483647 537953 101 | 0.000 % |
521.16/521.48 c | 538186 | 21173 700461 2138957 | 2147483647 538186 101 | 0.000 % |
521.55/521.90 c | 538443 | 21173 700461 2138957 | 2147483647 538443 101 | 0.000 % |
521.96/522.22 c | 538725 | 21173 700461 2138957 | 2147483647 538725 101 | 0.000 % |
522.36/522.65 c | 539040 | 21173 700461 2138957 | 2147483647 539040 101 | 0.000 % |
523.66/523.92 c | 539380 | 21173 700461 2138957 | 2147483647 539380 101 | 0.000 % |
524.16/524.42 c | 539752 | 21173 700461 2138957 | 2147483647 539752 101 | 0.000 % |
524.76/525.05 c | 540161 | 21173 700461 2138957 | 2147483647 540161 101 | 0.000 % |
525.46/525.73 c | 540613 | 21173 700461 2138957 | 2147483647 540613 101 | 0.000 % |
526.16/526.43 c | 541110 | 21173 700461 2138957 | 2147483647 541110 101 | 0.000 % |
527.46/527.72 c | 541652 | 21173 700461 2138957 | 2147483647 541652 101 | 0.000 % |
528.25/528.53 c | 542248 | 21173 700461 2138957 | 2147483647 542248 101 | 0.000 % |
529.15/529.48 c | 542903 | 21173 700461 2138957 | 2147483647 542903 101 | 0.000 % |
530.35/530.67 c | 543624 | 21173 700461 2138957 | 2147483647 543624 101 | 0.000 % |
531.75/532.02 c | 544416 | 21173 700461 2138957 | 2147483647 544416 101 | 0.000 % |
533.35/533.69 c | 545288 | 21173 700461 2138957 | 2147483647 545288 101 | 0.000 % |
534.85/535.18 c | 546246 | 21173 700461 2138957 | 2147483647 546246 101 | 0.000 % |
537.24/537.59 c | 547299 | 21173 700461 2138957 | 2147483647 547299 101 | 0.000 % |
539.55/539.87 c | 548457 | 21173 700461 2138957 | 2147483647 548457 101 | 0.000 % |
542.35/542.65 c | 549730 | 21173 700461 2138957 | 2147483647 549730 101 | 0.000 % |
544.55/544.88 c | 551130 | 21173 700461 2138957 | 2147483647 551130 101 | 0.000 % |
547.45/547.71 c | 552673 | 21173 700461 2138957 | 2147483647 552673 101 | 0.000 % |
550.64/550.95 c | 554368 | 21173 700461 2138957 | 2147483647 554368 101 | 0.000 % |
553.74/554.01 c | 556231 | 21173 700461 2138957 | 2147483647 556231 100 | 0.000 % |
557.54/557.86 c | 558280 | 21173 700461 2138957 | 2147483647 558280 100 | 0.000 % |
561.74/562.07 c | 560533 | 21173 700461 2138957 | 2147483647 560533 100 | 0.000 % |
567.14/567.49 c | 563012 | 21173 700461 2138957 | 2147483647 563012 100 | 0.000 % |
572.84/573.15 c | 565737 | 21173 700461 2138957 | 2147483647 565737 100 | 0.000 % |
578.43/578.76 c | 568735 | 21173 700461 2138957 | 2147483647 568735 100 | 0.000 % |
584.93/585.22 c | 572033 | 21173 700461 2138957 | 2147483647 572033 100 | 0.000 % |
591.53/591.85 c | 575658 | 21173 700461 2138957 | 2147483647 575658 100 | 0.000 % |
598.13/598.46 c | 579645 | 21173 700461 2138957 | 2147483647 579645 100 | 0.000 % |
605.42/605.76 c | 584031 | 21173 700461 2138957 | 2147483647 584031 100 | 0.000 % |
612.82/613.18 c | 588855 | 21173 700461 2138957 | 2147483647 588855 101 | 0.000 % |
622.32/622.63 c | 594160 | 21173 700461 2138957 | 2147483647 594160 101 | 0.000 % |
622.52/622.83 c | 594264 | 21173 700461 2138957 | 2147483647 594264 101 | 0.000 % |
622.72/623.01 c | 594374 | 21173 700461 2138957 | 2147483647 594374 101 | 0.000 % |
622.92/623.27 c | 594496 | 21173 700461 2138957 | 2147483647 594496 101 | 0.000 % |
623.21/623.51 c | 594630 | 21173 700461 2138957 | 2147483647 594630 101 | 0.000 % |
623.42/623.79 c | 594779 | 21173 700461 2138957 | 2147483647 594779 101 | 0.000 % |
623.81/624.13 c | 594940 | 21173 700461 2138957 | 2147483647 594940 101 | 0.000 % |
624.11/624.45 c | 595116 | 21173 700461 2138957 | 2147483647 595116 101 | 0.000 % |
624.42/624.78 c | 595309 | 21173 700461 2138957 | 2147483647 595309 101 | 0.000 % |
625.01/625.38 c | 595521 | 21173 700461 2138957 | 2147483647 595521 101 | 0.000 % |
625.62/625.96 c | 595754 | 21173 700461 2138957 | 2147483647 595754 101 | 0.000 % |
626.02/626.32 c | 596010 | 21173 700461 2138957 | 2147483647 596010 101 | 0.000 % |
626.62/626.99 c | 596291 | 21173 700461 2138957 | 2147483647 596291 101 | 0.000 % |
627.22/627.55 c | 596600 | 21173 700461 2138957 | 2147483647 596600 101 | 0.000 % |
627.72/628.06 c | 596939 | 21173 700461 2138957 | 2147483647 596939 101 | 0.000 % |
628.42/628.73 c | 597311 | 21173 700461 2138957 | 2147483647 597311 101 | 0.000 % |
629.22/629.51 c | 597724 | 21173 700461 2138957 | 2147483647 597724 101 | 0.000 % |
629.82/630.19 c | 598173 | 21173 700461 2138957 | 2147483647 598173 101 | 0.000 % |
630.92/631.24 c | 598668 | 21173 700461 2138957 | 2147483647 598668 101 | 0.000 % |
631.51/631.80 c | 599210 | 21173 700461 2138957 | 2147483647 599210 101 | 0.000 % |
632.31/632.67 c | 599806 | 21173 700461 2138957 | 2147483647 599806 101 | 0.000 % |
633.41/633.76 c | 600462 | 21173 700461 2138957 | 2147483647 600462 101 | 0.000 % |
634.81/635.11 c | 601183 | 21173 700461 2138957 | 2147483647 601183 101 | 0.000 % |
635.91/636.20 c | 601975 | 21173 700461 2138957 | 2147483647 601975 101 | 0.000 % |
637.11/637.42 c | 602846 | 21173 700461 2138957 | 2147483647 602846 101 | 0.000 % |
638.31/638.65 c | 603804 | 21173 700461 2138957 | 2147483647 603804 101 | 0.000 % |
640.01/640.30 c | 604857 | 21173 700461 2138957 | 2147483647 604857 101 | 0.000 % |
641.81/642.17 c | 606017 | 21173 700461 2138957 | 2147483647 606017 101 | 0.000 % |
644.12/644.50 c | 607290 | 21173 700461 2138957 | 2147483647 607290 101 | 0.000 % |
646.31/646.62 c | 608690 | 21173 700461 2138957 | 2147483647 608690 101 | 0.000 % |
649.01/649.35 c | 610230 | 21173 700461 2138957 | 2147483647 610230 101 | 0.000 % |
652.21/652.54 c | 611924 | 21173 700461 2138957 | 2147483647 611924 101 | 0.000 % |
655.61/655.97 c | 613788 | 21173 700461 2138957 | 2147483647 613788 101 | 0.000 % |
660.21/660.52 c | 615837 | 21173 700461 2138957 | 2147483647 615837 101 | 0.000 % |
664.11/664.48 c | 618090 | 21173 700461 2138957 | 2147483647 618090 101 | 0.000 % |
669.61/669.94 c | 620568 | 21173 700461 2138957 | 2147483647 620568 101 | 0.000 % |
674.60/674.96 c | 623295 | 21173 700461 2138957 | 2147483647 623295 101 | 0.000 % |
680.20/680.52 c | 626292 | 21173 700461 2138957 | 2147483647 626292 100 | 0.000 % |
686.20/686.53 c | 629589 | 21173 700461 2138957 | 2147483647 629589 100 | 0.000 % |
691.40/691.71 c | 633214 | 21173 700461 2138957 | 2147483647 633214 100 | 0.000 % |
697.10/697.41 c | 637203 | 21173 700461 2138957 | 2147483647 637203 100 | 0.000 % |
703.89/704.20 c | 641589 | 21173 700461 2138957 | 2147483647 641589 100 | 0.000 % |
713.69/714.09 c | 646412 | 21173 700461 2138957 | 2147483647 646412 100 | 0.000 % |
723.40/723.79 c | 651719 | 21173 700461 2138957 | 2147483647 651719 100 | 0.000 % |
735.08/735.46 c | 657555 | 21173 700461 2138957 | 2147483647 657555 100 | 0.000 % |
735.49/735.80 c | 657656 | 21173 700461 2138957 | 2147483647 657656 100 | 0.000 % |
735.69/736.05 c | 657769 | 21173 700461 2138957 | 2147483647 657769 100 | 0.000 % |
735.88/736.29 c | 657892 | 21173 700461 2138957 | 2147483647 657892 100 | 0.000 % |
736.18/736.54 c | 658027 | 21173 700461 2138957 | 2147483647 658027 100 | 0.000 % |
736.69/737.05 c | 658174 | 21173 700461 2138957 | 2147483647 658174 100 | 0.000 % |
736.99/737.33 c | 658336 | 21173 700461 2138957 | 2147483647 658336 100 | 0.000 % |
737.29/737.63 c | 658514 | 21173 700461 2138957 | 2147483647 658514 100 | 0.000 % |
738.09/738.43 c | 658707 | 21173 700461 2138957 | 2147483647 658707 100 | 0.000 % |
738.49/738.82 c | 658920 | 21173 700461 2138957 | 2147483647 658920 100 | 0.000 % |
738.99/739.38 c | 659155 | 21173 700461 2138957 | 2147483647 659155 100 | 0.000 % |
739.49/739.84 c | 659411 | 21173 700461 2138957 | 2147483647 659411 100 | 0.000 % |
739.99/740.32 c | 659693 | 21173 700461 2138957 | 2147483647 659693 100 | 0.000 % |
740.59/740.97 c | 660003 | 21173 700461 2138957 | 2147483647 660003 100 | 0.000 % |
741.69/742.02 c | 660342 | 21173 700461 2138957 | 2147483647 660342 100 | 0.000 % |
742.39/742.78 c | 660715 | 21173 700461 2138957 | 2147483647 660715 100 | 0.000 % |
743.19/743.58 c | 661126 | 21173 700461 2138957 | 2147483647 661126 100 | 0.000 % |
743.99/744.36 c | 661575 | 21173 700461 2138957 | 2147483647 661575 100 | 0.000 % |
745.19/745.55 c | 662068 | 21173 700461 2138957 | 2147483647 662068 100 | 0.000 % |
746.49/746.81 c | 662610 | 21173 700461 2138957 | 2147483647 662610 100 | 0.000 % |
747.78/748.15 c | 663206 | 21173 700461 2138957 | 2147483647 663206 100 | 0.000 % |
749.18/749.57 c | 663861 | 21173 700461 2138957 | 2147483647 663861 100 | 0.000 % |
750.28/750.63 c | 664582 | 21173 700461 2138957 | 2147483647 664582 100 | 0.000 % |
751.68/752.08 c | 665374 | 21173 700461 2138957 | 2147483647 665374 100 | 0.000 % |
753.68/754.05 c | 666245 | 21173 700461 2138957 | 2147483647 666245 100 | 0.000 % |
755.29/755.61 c | 667203 | 21173 700461 2138957 | 2147483647 667203 100 | 0.000 % |
757.78/758.18 c | 668258 | 21173 700461 2138957 | 2147483647 668258 100 | 0.000 % |
760.18/760.59 c | 669417 | 21173 700461 2138957 | 2147483647 669417 100 | 0.000 % |
762.38/762.77 c | 670691 | 21173 700461 2138957 | 2147483647 670691 100 | 0.000 % |
765.47/765.83 c | 672091 | 21173 700461 2138957 | 2147483647 672091 100 | 0.000 % |
768.27/768.67 c | 673636 | 21173 700461 2138957 | 2147483647 673636 100 | 0.000 % |
771.18/771.53 c | 675330 | 21173 700461 2138957 | 2147483647 675330 100 | 0.000 % |
774.58/774.93 c | 677195 | 21173 700461 2138957 | 2147483647 677195 100 | 0.000 % |
778.88/779.26 c | 679247 | 21173 700461 2138957 | 2147483647 679247 100 | 0.000 % |
783.27/783.62 c | 681501 | 21173 700461 2138957 | 2147483647 681501 100 | 0.000 % |
787.97/788.39 c | 683979 | 21173 700461 2138957 | 2147483647 683979 100 | 0.000 % |
792.77/793.15 c | 686704 | 21173 700461 2138957 | 2147483647 686704 100 | 0.000 % |
796.87/797.23 c | 689704 | 21173 700461 2138957 | 2147483647 689704 99 | 0.000 % |
801.67/802.03 c | 693000 | 21173 700461 2138957 | 2147483647 693000 99 | 0.000 % |
809.27/809.61 c | 696625 | 21173 700461 2138957 | 2147483647 696625 99 | 0.000 % |
815.87/816.28 c | 700612 | 21173 700461 2138957 | 2147483647 700612 99 | 0.000 % |
820.66/821.04 c | 704998 | 21173 700461 2138957 | 2147483647 704998 99 | 0.000 % |
825.17/825.50 c | 709822 | 21173 700461 2138957 | 2147483647 709822 99 | 0.000 % |
830.66/831.03 c | 715130 | 21173 700461 2138957 | 2147483647 715130 98 | 0.000 % |
835.75/836.15 c | 720966 | 21173 700461 2138957 | 2147483647 720966 98 | 0.000 % |
843.96/844.38 c | 727384 | 21173 700461 2138957 | 2147483647 727384 98 | 0.000 % |
844.16/844.55 c | 727484 | 21173 700461 2138957 | 2147483647 727484 98 | 0.000 % |
844.36/844.71 c | 727594 | 21173 700461 2138957 | 2147483647 727594 98 | 0.000 % |
844.56/844.93 c | 727715 | 21173 700461 2138957 | 2147483647 727715 98 | 0.000 % |
844.76/845.15 c | 727848 | 21173 700461 2138957 | 2147483647 727848 98 | 0.000 % |
844.96/845.35 c | 727995 | 21173 700461 2138957 | 2147483647 727995 98 | 0.000 % |
845.26/845.68 c | 728155 | 21173 700461 2138957 | 2147483647 728155 98 | 0.000 % |
845.56/845.93 c | 728332 | 21173 700461 2138957 | 2147483647 728332 98 | 0.000 % |
845.86/846.21 c | 728525 | 21173 700461 2138957 | 2147483647 728525 98 | 0.000 % |
846.15/846.57 c | 728738 | 21173 700461 2138957 | 2147483647 728738 98 | 0.000 % |
846.56/846.92 c | 728972 | 21173 700461 2138957 | 2147483647 728972 98 | 0.000 % |
846.85/847.28 c | 729229 | 21173 700461 2138957 | 2147483647 729229 98 | 0.000 % |
847.25/847.64 c | 729511 | 21173 700461 2138957 | 2147483647 729511 98 | 0.000 % |
847.85/848.21 c | 729822 | 21173 700461 2138957 | 2147483647 729822 98 | 0.000 % |
848.35/848.73 c | 730164 | 21173 700461 2138957 | 2147483647 730164 98 | 0.000 % |
848.85/849.22 c | 730536 | 21173 700461 2138957 | 2147483647 730536 98 | 0.000 % |
849.45/849.83 c | 730947 | 21173 700461 2138957 | 2147483647 730947 98 | 0.000 % |
850.15/850.56 c | 731396 | 21173 700461 2138957 | 2147483647 731396 98 | 0.000 % |
851.05/851.43 c | 731890 | 21173 700461 2138957 | 2147483647 731890 98 | 0.000 % |
851.85/852.29 c | 732432 | 21173 700461 2138957 | 2147483647 732432 98 | 0.000 % |
852.75/853.18 c | 733028 | 21173 700461 2138957 | 2147483647 733028 98 | 0.000 % |
853.85/854.22 c | 733684 | 21173 700461 2138957 | 2147483647 733684 98 | 0.000 % |
854.85/855.27 c | 734404 | 21173 700461 2138957 | 2147483647 734404 97 | 0.000 % |
856.15/856.55 c | 735199 | 21173 700461 2138957 | 2147483647 735199 97 | 0.000 % |
857.35/857.77 c | 736070 | 21173 700461 2138957 | 2147483647 736070 97 | 0.000 % |
859.44/859.81 c | 737030 | 21172 698552 2134912 | 2147483647 736545 97 | 0.005 % |
861.05/861.47 c | 738088 | 21172 698552 2134912 | 2147483647 737603 97 | 0.005 % |
862.85/863.22 c | 739246 | 21061 698552 2134912 | 2147483647 738760 97 | 1.785 % |
864.55/864.93 c | 740519 | 21060 698552 2134912 | 2147483647 740032 97 | 1.791 % |
866.55/866.96 c ===============================================================================
866.55/866.96 c restarts : 1065
866.55/866.96 c conflicts : 741758 (860 /sec)
866.55/866.96 c decisions : 3911851 (1.21 % random) (4535 /sec)
866.55/866.96 c propagations : 490586675 (568748 /sec)
866.55/866.96 c conflict literals : 72088908 (53.22 % deleted)
866.55/866.97 c Memory used : 343.09 MB
866.55/866.97 c CPU time : 862.573 s
866.55/866.97 c
866.55/866.97 s UNSATISFIABLE
866.65/867.02 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834213-1242828763/watcher-1834213-1242828763 -o /tmp/evaluation-result-1834213-1242828763/solver-1834213-1242828763 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834213-1242828763.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) R 26041 26043 25591 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134022643 0 0 4100 65536 0 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
[startup+0.0268139 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102823 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702887 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26043
/proc/meminfo: memFree=1681884/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26048
/proc/meminfo: memFree=1629772/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
[pid=26047] ppid=26043 vsize=67388 CPUtime=1.48
/proc/26047/stat : 26047 (SatELite_releas) R 26043 26043 25591 0 -1 4194304 15551 0 0 0 140 8 0 0 25 0 1 0 310908963 69005312 14247 1992294400 134512640 135223648 4294956128 18446744073709551615 134601968 0 0 4096 3 0 0 0 17 1 0 0
/proc/26047/statm: 16847 14247 76 173 0 16672 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72744
[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26048
/proc/meminfo: memFree=1629004/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=0
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908963 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26043/statm: 1339 237 197 169 0 50 0
[pid=26047] ppid=26043 vsize=58404 CPUtime=3.08
/proc/26047/stat : 26047 (SatELite_releas) R 26043 26043 25591 0 -1 4194304 16867 0 0 0 295 13 0 0 25 0 1 0 310908963 59805696 12934 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/26047/statm: 14601 12934 76 173 0 14426 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63760
[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1633356/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=36640 CPUtime=3.09
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 8613 0 0 0 304 5 0 0 25 0 1 0 310909282 37519360 8599 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 9160 8599 77 171 0 8987 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 41996
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1628236/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=41600 CPUtime=9.5
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 9876 0 0 0 943 7 0 0 25 0 1 0 310909282 42598400 9862 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 10400 9862 77 171 0 10227 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46956
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1617164/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=52544 CPUtime=22.28
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 12578 0 0 0 2218 10 0 0 25 0 1 0 310909282 53805056 12564 1992294400 134512640 135215339 4294956240 18446744073709551615 134538110 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 13136 12564 77 171 0 12963 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57900
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1599116/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=70940 CPUtime=47.86
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 17170 0 0 0 4773 13 0 0 25 0 1 0 310909282 72642560 17156 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 17735 17156 77 171 0 17562 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 76296
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 26049
/proc/meminfo: memFree=1570252/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=99500 CPUtime=99.04
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 24260 0 0 0 9883 21 0 0 25 0 1 0 310909282 101888000 24246 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 24875 24246 77 171 0 24702 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 104856
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1537228/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=133072 CPUtime=159.01
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 32572 0 0 0 15872 29 0 0 25 0 1 0 310909282 136265728 32558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 33268 32558 77 171 0 33095 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 138428
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1507596/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=162160 CPUtime=218.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 39875 0 0 0 21861 36 0 0 25 0 1 0 310909282 166051840 39861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 40540 39861 77 171 0 40367 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 167516
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1480524/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=189924 CPUtime=278.96
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 46688 0 0 0 27852 44 0 0 25 0 1 0 310909282 194482176 46674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 47481 46674 77 171 0 47308 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 195280
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1459148/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=210928 CPUtime=338.94
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 51940 0 0 0 33844 50 0 0 25 0 1 0 310909282 215990272 51926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 52732 51926 77 171 0 52559 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 216284
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1433676/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=236452 CPUtime=398.92
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 58311 0 0 0 39835 57 0 0 25 0 1 0 310909282 242126848 58297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 59113 58297 77 171 0 58940 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 241808
[startup+462.302 s]
################
# More data... #
################
[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1398476/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=272328 CPUtime=518.88
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 67078 0 0 0 51820 68 0 0 25 0 1 0 310909282 278863872 67064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 68082 67064 77 171 0 67909 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 277684
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1385996/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=284560 CPUtime=578.85
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 70143 0 0 0 57815 70 0 0 25 0 1 0 310909282 291389440 70129 1992294400 134512640 135215339 4294956240 18446744073709551615 134532666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 71140 70129 77 171 0 70967 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 289916
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1368908/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=301648 CPUtime=638.83
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 74383 0 0 0 63809 74 0 0 25 0 1 0 310909282 308887552 74369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 75412 74369 77 171 0 75239 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 307004
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1355148/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=315476 CPUtime=698.82
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 77855 0 0 0 69805 77 0 0 25 0 1 0 310909282 323047424 77841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 78869 77841 77 171 0 78696 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 320832
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1343052/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=327296 CPUtime=758.8
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 80822 0 0 0 75799 81 0 0 25 0 1 0 310909282 335151104 80808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 81824 80808 77 171 0 81651 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 332652
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1330444/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=341452 CPUtime=818.79
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 83992 0 0 0 81794 85 0 0 25 0 1 0 310909282 349646848 83978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 85363 83978 77 171 0 85190 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 346808
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1323980/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=347584 CPUtime=841.18
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 85562 0 0 0 84032 86 0 0 25 0 1 0 310909282 355926016 85548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 86896 85548 77 171 0 86723 0
Current children cumulated CPU time (s) 844.36
Current children cumulated vsize (KiB) 352940
[startup+857.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1322188/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=349432 CPUtime=853.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86046 0 0 0 85311 86 0 0 25 0 1 0 310909282 357818368 86032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87358 86032 77 171 0 87185 0
Current children cumulated CPU time (s) 857.15
Current children cumulated vsize (KiB) 354788
[startup+863.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320908/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=350788 CPUtime=860.37
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86348 0 0 0 85950 87 0 0 25 0 1 0 310909282 359206912 86334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87697 86334 77 171 0 87524 0
Current children cumulated CPU time (s) 863.55
Current children cumulated vsize (KiB) 356144
[startup+865.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320652/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351052 CPUtime=861.97
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86428 0 0 0 86110 87 0 0 25 0 1 0 310909282 359477248 86414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87763 86414 77 171 0 87590 0
Current children cumulated CPU time (s) 865.15
Current children cumulated vsize (KiB) 356408
[startup+866.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320460/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351184 CPUtime=862.77
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86456 0 0 0 86190 87 0 0 25 0 1 0 310909282 359612416 86442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87796 86442 77 171 0 87623 0
Current children cumulated CPU time (s) 865.95
Current children cumulated vsize (KiB) 356540
[startup+866.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351316 CPUtime=863.17
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86474 0 0 0 86230 87 0 0 25 0 1 0 310909282 359747584 86460 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87829 86460 77 171 0 87656 0
Current children cumulated CPU time (s) 866.35
Current children cumulated vsize (KiB) 356672
[startup+866.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=351316 CPUtime=863.37
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194304 86482 0 0 0 86250 87 0 0 25 0 1 0 310909282 359747584 86468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 87829 86468 77 171 0 87656 0
Current children cumulated CPU time (s) 866.55
Current children cumulated vsize (KiB) 356672
[startup+867.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26049
/proc/meminfo: memFree=1320268/2055920 swapFree=4180356/4192956
[pid=26043] ppid=26041 vsize=5356 CPUtime=3.18
/proc/26043/stat : 26043 (SatELiteGTI) S 26041 26043 25591 0 -1 4194304 336 17118 0 0 0 0 303 15 16 0 1 0 310908963 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26043/statm: 1339 239 197 169 0 50 0
[pid=26049] ppid=26043 vsize=0 CPUtime=863.47
/proc/26049/stat : 26049 (minisat_static) R 26043 26043 25591 0 -1 4194308 86489 0 0 0 86257 90 0 0 25 0 1 0 310909282 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/26049/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 866.65
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 867.086
CPU time (s): 866.7
CPU user time (s): 865.608
CPU system time (s): 1.09183
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 356672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 865.608
system time used= 1.09183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104098
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= 45
involuntary context switches= 3854
runsolver used 1.01085 second user time and 2.26965 second system time
The end
Begin job on node35 at 2009-05-20 16:12:44
IDJOB=1834213
IDBENCH=71743
IDSOLVER=671
FILE ID=node35/1834213-1242828763
PBS_JOBID= 9322540
Free space on /tmp= 66044 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-1834213-1242828763/watcher-1834213-1242828763 -o /tmp/evaluation-result-1834213-1242828763/solver-1834213-1242828763 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834213-1242828763.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=87211076
node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1682364 kB
Buffers: 48276 kB
Cached: 272904 kB
SwapCached: 6988 kB
Active: 183984 kB
Inactive: 146248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682364 kB
SwapTotal: 4192956 kB
SwapFree: 4180356 kB
Dirty: 14572 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 29352 kB
Committed_AS: 1091200 kB
PageTables: 1400 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= 66040 MiB
End job on node35 at 2009-05-20 16:27:11