0.00/0.00 c Parsing...
0.51/0.53 c ==============================================================================
0.51/0.53 c | | ORIGINAL | LEARNT | |
0.51/0.53 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.51/0.53 c ==============================================================================
0.51/0.53 c | 0 | 711049 2091629 | 213314 0 0 nan | 0.000 % |
2.71/2.77 c | 0 | 700461 2138957 | -- 0 -- -- | -- | -10530/47459
2.71/2.77 c ==============================================================================
2.71/2.77 c Result : #vars: 21173 #clauses: 700461 #literals: 2138957
2.71/2.77 c CPU time: 2.69 s
2.71/2.77 c ==============================================================================
3.41/3.47 c This is MiniSat 2.0 beta
3.41/3.47 c WARNING: for repeatability, setting FPU to use double precision
3.41/3.47 c ============================[ Problem Statistics ]=============================
3.41/3.47 c | |
3.41/3.47 c | Number of variables: 21173 |
3.41/3.47 c | Number of clauses: 700461 |
3.47/3.89 c | Parsing time: 0.38 s |
3.47/3.92 c ============================[ Search Statistics ]==============================
3.47/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.47/3.92 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.47/3.92 c ===============================================================================
3.47/3.92 c | 0 | 21173 700461 2138957 | 233487 0 nan | 0.000 % |
3.47/3.99 c | 103 | 21173 700461 2138957 | 233487 103 75 | 0.000 % |
3.47/4.13 c | 203 | 21173 700461 2138957 | 233487 203 58 | 0.001 % |
3.47/4.18 c | 305 | 21173 700461 2138957 | 233487 305 50 | 0.000 % |
3.47/4.24 c | 418 | 21173 700461 2138957 | 233487 418 50 | 0.000 % |
3.47/4.27 c | 519 | 21173 700461 2138957 | 233487 519 47 | 0.000 % |
4.31/4.38 c | 630 | 21173 700461 2138957 | 233487 630 54 | 0.000 % |
4.41/4.44 c | 751 | 21173 700461 2138957 | 233487 751 51 | 0.000 % |
4.51/4.51 c | 852 | 21173 700461 2138957 | 233487 852 49 | 0.000 % |
4.51/4.54 c | 962 | 21173 700461 2138957 | 233487 962 48 | 0.000 % |
4.61/4.65 c | 1086 | 21173 700461 2138957 | 233487 1086 46 | 0.000 % |
4.71/4.71 c | 1219 | 21173 700461 2138957 | 233487 1219 47 | 0.000 % |
4.71/4.76 c | 1319 | 21173 700461 2138957 | 233487 1319 46 | 0.000 % |
4.81/4.82 c | 1429 | 21173 700461 2138957 | 233487 1429 48 | 0.000 % |
4.81/4.89 c | 1550 | 21173 700461 2138957 | 233487 1550 50 | 0.000 % |
4.91/4.97 c | 1683 | 21173 700461 2138957 | 233487 1683 50 | 0.000 % |
5.01/5.07 c | 1835 | 21173 700461 2138957 | 233487 1835 61 | 0.000 % |
5.11/5.15 c | 1935 | 21173 700461 2138957 | 233487 1935 61 | 0.000 % |
5.21/5.24 c | 2045 | 21173 700461 2138957 | 233487 2045 63 | 0.000 % |
5.31/5.33 c | 2170 | 21173 700461 2138957 | 233487 2170 63 | 0.000 % |
5.31/5.39 c | 2303 | 21173 700461 2138957 | 233487 2303 65 | 0.000 % |
5.41/5.47 c | 2452 | 21173 700461 2138957 | 233487 2452 65 | 0.000 % |
5.51/5.53 c | 2616 | 21173 700461 2138957 | 233487 2616 68 | 0.000 % |
5.61/5.62 c | 2716 | 21173 700461 2138957 | 233487 2716 68 | 0.000 % |
5.61/5.69 c | 2828 | 21173 700461 2138957 | 233487 2828 69 | 0.000 % |
5.71/5.73 c | 2952 | 21173 700461 2138957 | 233487 2952 68 | 0.000 % |
5.81/5.83 c | 3085 | 21173 700461 2138957 | 233487 3085 67 | 0.000 % |
5.91/5.91 c | 3231 | 21173 700461 2138957 | 233487 3231 68 | 0.000 % |
5.91/5.99 c | 3391 | 21173 700461 2138957 | 233487 3391 66 | 0.000 % |
6.01/6.08 c | 3567 | 21173 700461 2138957 | 233487 3567 67 | 0.000 % |
6.11/6.14 c | 3667 | 21173 700461 2138957 | 233487 3667 66 | 0.000 % |
6.11/6.19 c | 3777 | 21173 700461 2138957 | 233487 3777 65 | 0.000 % |
6.21/6.24 c | 3905 | 21173 700461 2138957 | 233487 3905 65 | 0.000 % |
6.31/6.30 c | 4038 | 21173 700461 2138957 | 233487 4038 66 | 0.000 % |
6.31/6.39 c | 4186 | 21173 700461 2138957 | 233487 4186 67 | 0.000 % |
6.41/6.46 c | 4346 | 21173 700461 2138957 | 233487 4346 67 | 0.000 % |
6.51/6.54 c | 4522 | 21173 700461 2138957 | 233487 4522 69 | 0.000 % |
6.61/6.65 c | 4715 | 21173 700461 2138957 | 233487 4715 69 | 0.000 % |
6.61/6.70 c | 4815 | 21173 700461 2138957 | 233487 4815 69 | 0.000 % |
6.71/6.78 c | 4929 | 21173 700461 2138957 | 233487 4929 69 | 0.000 % |
6.81/6.86 c | 5051 | 21173 700461 2138957 | 233487 5051 69 | 0.000 % |
6.91/6.94 c | 5186 | 21173 700461 2138957 | 233487 5186 69 | 0.000 % |
7.01/7.00 c | 5336 | 21173 700461 2138957 | 233487 5336 69 | 0.000 % |
7.01/7.09 c | 5497 | 21173 700461 2138957 | 233487 5497 68 | 0.000 % |
7.11/7.19 c | 5675 | 21173 700461 2138957 | 233487 5675 67 | 0.000 % |
7.21/7.26 c | 5870 | 21173 700461 2138957 | 233487 5870 66 | 0.000 % |
7.31/7.32 c | 6083 | 21173 700461 2138957 | 233487 6083 64 | 0.000 % |
7.31/7.38 c | 6185 | 21173 700461 2138957 | 233487 6185 64 | 0.000 % |
7.41/7.43 c | 6296 | 21173 700461 2138957 | 233487 6296 63 | 0.000 % |
7.41/7.49 c | 6419 | 21173 700461 2138957 | 233487 6419 63 | 0.000 % |
7.51/7.55 c | 6552 | 21173 700461 2138957 | 233487 6552 63 | 0.000 % |
7.61/7.66 c | 6698 | 21173 700461 2138957 | 233487 6698 64 | 0.000 % |
7.71/7.72 c | 6859 | 21173 700461 2138957 | 233487 6859 64 | 0.000 % |
7.81/7.82 c | 7037 | 21173 700461 2138957 | 233487 7037 64 | 0.000 % |
7.91/7.98 c | 7232 | 21173 700461 2138957 | 233487 7232 64 | 0.000 % |
8.01/8.10 c | 7445 | 21173 700461 2138957 | 233487 7445 65 | 0.000 % |
8.21/8.24 c | 7680 | 21173 700461 2138957 | 233487 7680 66 | 0.000 % |
8.31/8.31 c | 7780 | 21173 700461 2138957 | 233487 7780 66 | 0.000 % |
8.31/8.39 c | 7890 | 21173 700461 2138957 | 233487 7890 66 | 0.000 % |
8.41/8.47 c | 8011 | 21173 700461 2138957 | 233487 8011 66 | 0.000 % |
8.51/8.56 c | 8145 | 21173 700461 2138957 | 233487 8145 66 | 0.000 % |
8.61/8.63 c | 8296 | 21173 700461 2138957 | 233487 8296 66 | 0.000 % |
8.81/8.81 c | 8456 | 21173 700461 2138957 | 233487 8456 66 | 0.000 % |
8.81/8.87 c | 8633 | 21173 700461 2138957 | 233487 8633 66 | 0.000 % |
8.91/8.97 c | 8826 | 21173 700461 2138957 | 233487 8826 67 | 0.000 % |
9.11/9.13 c | 9038 | 21173 700461 2138957 | 233487 9038 67 | 0.000 % |
9.21/9.27 c | 9272 | 21173 700461 2138957 | 233487 9272 68 | 0.000 % |
9.31/9.38 c | 9530 | 21173 700461 2138957 | 233487 9530 70 | 0.000 % |
9.41/9.47 c | 9630 | 21173 700461 2138957 | 233487 9630 72 | 0.000 % |
9.51/9.54 c | 9741 | 21173 700461 2138957 | 233487 9741 72 | 0.000 % |
9.61/9.61 c | 9864 | 21173 700461 2138957 | 233487 9864 72 | 0.000 % |
9.61/9.67 c | 9997 | 21173 700461 2138957 | 233487 9997 72 | 0.000 % |
9.71/9.77 c | 10145 | 21173 700461 2138957 | 2147483647 10145 72 | 0.000 % |
9.81/9.85 c | 10307 | 21173 700461 2138957 | 2147483647 10307 72 | 0.000 % |
9.91/9.92 c | 10484 | 21173 700461 2138957 | 2147483647 10484 72 | 0.000 % |
10.01/10.03 c | 10677 | 21173 700461 2138957 | 2147483647 10677 72 | 0.000 % |
10.11/10.14 c | 10890 | 21173 700461 2138957 | 2147483647 10890 73 | 0.000 % |
10.21/10.24 c | 11123 | 21173 700461 2138957 | 2147483647 11123 72 | 0.000 % |
10.31/10.38 c | 11383 | 21173 700461 2138957 | 2147483647 11383 71 | 0.000 % |
10.41/10.49 c | 11664 | 21173 700461 2138957 | 2147483647 11664 72 | 0.000 % |
10.51/10.52 c | 11767 | 21173 700461 2138957 | 2147483647 11767 71 | 0.000 % |
10.51/10.59 c | 11877 | 21173 700461 2138957 | 2147483647 11877 71 | 0.000 % |
10.61/10.66 c | 11999 | 21173 700461 2138957 | 2147483647 11999 71 | 0.000 % |
10.71/10.77 c | 12135 | 21173 700461 2138957 | 2147483647 12135 71 | 0.000 % |
10.81/10.84 c | 12282 | 21173 700461 2138957 | 2147483647 12282 71 | 0.000 % |
10.91/10.91 c | 12444 | 21173 700461 2138957 | 2147483647 12444 71 | 0.000 % |
10.91/10.99 c | 12624 | 21173 700461 2138957 | 2147483647 12624 71 | 0.000 % |
11.01/11.10 c | 12820 | 21173 700461 2138957 | 2147483647 12820 72 | 0.000 % |
11.21/11.20 c | 13032 | 21173 700461 2138957 | 2147483647 13032 72 | 0.000 % |
11.31/11.32 c | 13265 | 21173 700461 2138957 | 2147483647 13265 74 | 0.000 % |
11.41/11.47 c | 13521 | 21173 700461 2138957 | 2147483647 13521 74 | 0.000 % |
11.61/11.61 c | 13802 | 21173 700461 2138957 | 2147483647 13802 73 | 0.000 % |
11.71/11.79 c | 14111 | 21173 700461 2138957 | 2147483647 14111 74 | 0.000 % |
11.81/11.88 c | 14213 | 21173 700461 2138957 | 2147483647 14213 74 | 0.000 % |
11.91/11.97 c | 14323 | 21173 700461 2138957 | 2147483647 14323 74 | 0.000 % |
12.01/12.09 c | 14444 | 21173 700461 2138957 | 2147483647 14444 74 | 0.000 % |
12.11/12.17 c | 14579 | 21173 700461 2138957 | 2147483647 14579 74 | 0.000 % |
12.21/12.28 c | 14725 | 21173 700461 2138957 | 2147483647 14725 74 | 0.000 % |
12.31/12.37 c | 14886 | 21173 700461 2138957 | 2147483647 14886 74 | 0.000 % |
12.41/12.47 c | 15063 | 21173 700461 2138957 | 2147483647 15063 74 | 0.000 % |
12.51/12.59 c | 15256 | 21173 700461 2138957 | 2147483647 15256 75 | 0.000 % |
12.61/12.70 c | 15470 | 21173 700461 2138957 | 2147483647 15470 75 | 0.000 % |
12.81/12.85 c | 15703 | 21173 700461 2138957 | 2147483647 15703 76 | 0.000 % |
12.91/12.99 c | 15959 | 21173 700461 2138957 | 2147483647 15959 76 | 0.000 % |
13.11/13.13 c | 16243 | 21173 700461 2138957 | 2147483647 16243 76 | 0.000 % |
13.31/13.32 c | 16552 | 21173 700461 2138957 | 2147483647 16552 76 | 0.000 % |
13.51/13.58 c | 16891 | 21173 700461 2138957 | 2147483647 16891 77 | 0.000 % |
13.61/13.61 c | 16991 | 21173 700461 2138957 | 2147483647 16991 77 | 0.000 % |
13.61/13.70 c | 17102 | 21173 700461 2138957 | 2147483647 17102 77 | 0.000 % |
13.71/13.78 c | 17223 | 21173 700461 2138957 | 2147483647 17223 78 | 0.000 % |
13.81/13.85 c | 17357 | 21173 700461 2138957 | 2147483647 17357 78 | 0.000 % |
13.91/13.93 c | 17503 | 21173 700461 2138957 | 2147483647 17503 77 | 0.000 % |
14.01/14.01 c | 17664 | 21173 700461 2138957 | 2147483647 17664 77 | 0.000 % |
14.11/14.11 c | 17841 | 21173 700461 2138957 | 2147483647 17841 77 | 0.000 % |
14.11/14.18 c | 18036 | 21173 700461 2138957 | 2147483647 18036 77 | 0.000 % |
14.31/14.31 c | 18248 | 21173 700461 2138957 | 2147483647 18248 77 | 0.000 % |
14.31/14.39 c | 18482 | 21173 700461 2138957 | 2147483647 18482 77 | 0.000 % |
14.51/14.54 c | 18740 | 21173 700461 2138957 | 2147483647 18740 78 | 0.000 % |
14.71/14.76 c | 19021 | 21173 700461 2138957 | 2147483647 19021 78 | 0.000 % |
14.91/14.94 c | 19330 | 21173 700461 2138957 | 2147483647 19330 78 | 0.000 % |
15.01/15.11 c | 19672 | 21173 700461 2138957 | 2147483647 19672 79 | 0.000 % |
15.22/15.25 c | 20047 | 21173 700461 2138957 | 2147483647 20047 79 | 0.000 % |
15.32/15.32 c | 20148 | 21173 700461 2138957 | 2147483647 20148 79 | 0.000 % |
15.32/15.39 c | 20260 | 21173 700461 2138957 | 2147483647 20260 79 | 0.000 % |
15.42/15.44 c | 20381 | 21173 700461 2138957 | 2147483647 20381 79 | 0.000 % |
15.42/15.49 c | 20517 | 21173 700461 2138957 | 2147483647 20517 79 | 0.000 % |
15.52/15.57 c | 20664 | 21173 700461 2138957 | 2147483647 20664 80 | 0.000 % |
15.62/15.66 c | 20825 | 21173 700461 2138957 | 2147483647 20825 79 | 0.000 % |
15.72/15.76 c | 21001 | 21173 700461 2138957 | 2147483647 21001 79 | 0.000 % |
15.82/15.86 c | 21194 | 21173 700461 2138957 | 2147483647 21194 79 | 0.000 % |
15.92/15.94 c | 21406 | 21173 700461 2138957 | 2147483647 21406 79 | 0.000 % |
16.02/16.01 c | 21639 | 21173 700461 2138957 | 2147483647 21639 79 | 0.000 % |
16.12/16.14 c | 21898 | 21173 700461 2138957 | 2147483647 21898 79 | 0.000 % |
16.22/16.25 c | 22180 | 21173 700461 2138957 | 2147483647 22180 79 | 0.000 % |
16.42/16.46 c | 22489 | 21173 700461 2138957 | 2147483647 22489 79 | 0.000 % |
16.62/16.62 c | 22829 | 21173 700461 2138957 | 2147483647 22829 80 | 0.000 % |
16.82/16.87 c | 23201 | 21173 700461 2138957 | 2147483647 23201 80 | 0.000 % |
17.02/17.09 c | 23611 | 21173 700461 2138957 | 2147483647 23611 81 | 0.000 % |
17.12/17.14 c | 23713 | 21173 700461 2138957 | 2147483647 23713 82 | 0.000 % |
17.22/17.21 c | 23825 | 21173 700461 2138957 | 2147483647 23825 82 | 0.000 % |
17.22/17.29 c | 23947 | 21173 700461 2138957 | 2147483647 23947 82 | 0.000 % |
17.32/17.36 c | 24080 | 21173 700461 2138957 | 2147483647 24080 83 | 0.000 % |
17.42/17.49 c | 24228 | 21173 700461 2138957 | 2147483647 24228 83 | 0.000 % |
17.62/17.65 c | 24388 | 21173 700461 2138957 | 2147483647 24388 83 | 0.000 % |
17.72/17.74 c | 24564 | 21173 700461 2138957 | 2147483647 24564 82 | 0.000 % |
17.82/17.84 c | 24758 | 21173 700461 2138957 | 2147483647 24758 83 | 0.000 % |
17.92/17.92 c | 24972 | 21173 700461 2138957 | 2147483647 24972 83 | 0.000 % |
18.02/18.05 c | 25206 | 21173 700461 2138957 | 2147483647 25206 83 | 0.000 % |
18.12/18.20 c | 25462 | 21173 700461 2138957 | 2147483647 25462 83 | 0.000 % |
18.32/18.39 c | 25743 | 21173 700461 2138957 | 2147483647 25743 83 | 0.000 % |
18.52/18.59 c | 26052 | 21173 700461 2138957 | 2147483647 26052 83 | 0.000 % |
18.82/18.87 c | 26393 | 21173 700461 2138957 | 2147483647 26393 83 | 0.000 % |
19.02/19.08 c | 26765 | 21173 700461 2138957 | 2147483647 26765 83 | 0.000 % |
19.22/19.21 c | 27176 | 21173 700461 2138957 | 2147483647 27176 84 | 0.000 % |
19.52/19.57 c | 27627 | 21173 700461 2138957 | 2147483647 27627 83 | 0.000 % |
19.62/19.61 c | 27727 | 21173 700461 2138957 | 2147483647 27727 83 | 0.000 % |
19.62/19.65 c | 27838 | 21173 700461 2138957 | 2147483647 27838 83 | 0.000 % |
19.72/19.77 c | 27962 | 21173 700461 2138957 | 2147483647 27962 83 | 0.000 % |
19.82/19.88 c | 28097 | 21173 700461 2138957 | 2147483647 28097 83 | 0.000 % |
19.92/19.98 c | 28247 | 21173 700461 2138957 | 2147483647 28247 83 | 0.000 % |
20.02/20.07 c | 28407 | 21173 700461 2138957 | 2147483647 28407 83 | 0.000 % |
20.12/20.15 c | 28583 | 21173 700461 2138957 | 2147483647 28583 83 | 0.000 % |
20.22/20.25 c | 28776 | 21173 700461 2138957 | 2147483647 28776 84 | 0.000 % |
20.32/20.37 c | 28989 | 21173 700461 2138957 | 2147483647 28989 84 | 0.000 % |
20.52/20.53 c | 29224 | 21173 700461 2138957 | 2147483647 29224 84 | 0.000 % |
20.62/20.65 c | 29480 | 21173 700461 2138957 | 2147483647 29480 84 | 0.000 % |
20.72/20.81 c | 29761 | 21173 700461 2138957 | 2147483647 29761 84 | 0.000 % |
20.92/20.96 c | 30070 | 21173 700461 2138957 | 2147483647 30070 84 | 0.000 % |
21.12/21.15 c | 30410 | 21173 700461 2138957 | 2147483647 30410 84 | 0.000 % |
21.32/21.37 c | 30785 | 21173 700461 2138957 | 2147483647 30785 84 | 0.000 % |
21.52/21.54 c | 31194 | 21173 700461 2138957 | 2147483647 31194 84 | 0.000 % |
21.82/21.85 c | 31643 | 21173 700461 2138957 | 2147483647 31643 86 | 0.000 % |
22.12/22.18 c | 32136 | 21173 700461 2138957 | 2147483647 32136 86 | 0.000 % |
22.22/22.27 c | 32236 | 21173 700461 2138957 | 2147483647 32236 86 | 0.000 % |
22.32/22.39 c | 32347 | 21173 700461 2138957 | 2147483647 32347 86 | 0.000 % |
22.42/22.47 c | 32468 | 21173 700461 2138957 | 2147483647 32468 86 | 0.000 % |
22.52/22.55 c | 32602 | 21173 700461 2138957 | 2147483647 32602 86 | 0.000 % |
22.52/22.60 c | 32748 | 21173 700461 2138957 | 2147483647 32748 86 | 0.000 % |
22.72/22.72 c | 32911 | 21173 700461 2138957 | 2147483647 32911 86 | 0.000 % |
22.72/22.80 c | 33089 | 21173 700461 2138957 | 2147483647 33089 86 | 0.000 % |
22.92/22.91 c | 33283 | 21173 700461 2138957 | 2147483647 33283 86 | 0.000 % |
23.02/23.01 c | 33496 | 21173 700461 2138957 | 2147483647 33496 86 | 0.000 % |
23.12/23.13 c | 33729 | 21173 700461 2138957 | 2147483647 33729 86 | 0.000 % |
23.22/23.26 c | 33985 | 21173 700461 2138957 | 2147483647 33985 86 | 0.000 % |
23.32/23.36 c | 34266 | 21173 700461 2138957 | 2147483647 34266 86 | 0.000 % |
23.52/23.53 c | 34575 | 21173 700461 2138957 | 2147483647 34575 86 | 0.000 % |
23.62/23.69 c | 34914 | 21173 700461 2138957 | 2147483647 34914 87 | 0.000 % |
23.82/23.85 c | 35286 | 21173 700461 2138957 | 2147483647 35286 86 | 0.000 % |
24.02/24.03 c | 35695 | 21173 700461 2138957 | 2147483647 35695 87 | 0.000 % |
24.22/24.30 c | 36144 | 21173 700461 2138957 | 2147483647 36144 87 | 0.000 % |
24.62/24.65 c | 36640 | 21173 700461 2138957 | 2147483647 36640 87 | 0.000 % |
25.02/25.02 c | 37182 | 21173 700461 2138957 | 2147483647 37182 88 | 0.000 % |
25.02/25.09 c | 37286 | 21173 700461 2138957 | 2147483647 37286 87 | 0.000 % |
25.12/25.17 c | 37399 | 21173 700461 2138957 | 2147483647 37399 87 | 0.000 % |
25.22/25.23 c | 37520 | 21173 700461 2138957 | 2147483647 37520 87 | 0.000 % |
25.32/25.35 c | 37653 | 21173 700461 2138957 | 2147483647 37653 88 | 0.000 % |
25.42/25.45 c | 37799 | 21173 700461 2138957 | 2147483647 37799 88 | 0.000 % |
25.52/25.55 c | 37959 | 21173 700461 2138957 | 2147483647 37959 88 | 0.000 % |
25.62/25.69 c | 38135 | 21173 700461 2138957 | 2147483647 38135 87 | 0.000 % |
25.72/25.80 c | 38328 | 21173 700461 2138957 | 2147483647 38328 88 | 0.000 % |
25.82/25.90 c | 38541 | 21173 700461 2138957 | 2147483647 38541 88 | 0.000 % |
26.02/26.08 c | 38774 | 21173 700461 2138957 | 2147483647 38774 88 | 0.000 % |
26.22/26.21 c | 39033 | 21173 700461 2138957 | 2147483647 39033 88 | 0.000 % |
26.32/26.38 c | 39314 | 21173 700461 2138957 | 2147483647 39314 88 | 0.000 % |
26.43/26.50 c | 39623 | 21173 700461 2138957 | 2147483647 39623 88 | 0.000 % |
26.62/26.69 c | 39962 | 21173 700461 2138957 | 2147483647 39962 87 | 0.000 % |
26.82/26.88 c | 40334 | 21173 700461 2138957 | 2147483647 40334 88 | 0.000 % |
27.12/27.15 c | 40743 | 21173 700461 2138957 | 2147483647 40743 88 | 0.000 % |
27.42/27.45 c | 41193 | 21173 700461 2138957 | 2147483647 41193 88 | 0.000 % |
27.72/27.80 c | 41686 | 21173 700461 2138957 | 2147483647 41686 88 | 0.000 % |
28.12/28.19 c | 42230 | 21173 700461 2138957 | 2147483647 42230 88 | 0.000 % |
28.52/28.54 c | 42826 | 21173 700461 2138957 | 2147483647 42826 88 | 0.000 % |
28.52/28.60 c | 42928 | 21173 700461 2138957 | 2147483647 42928 88 | 0.000 % |
28.63/28.69 c | 43038 | 21173 700461 2138957 | 2147483647 43038 88 | 0.000 % |
28.72/28.79 c | 43160 | 21173 700461 2138957 | 2147483647 43160 88 | 0.000 % |
28.82/28.90 c | 43294 | 21173 700461 2138957 | 2147483647 43294 88 | 0.000 % |
29.02/29.02 c | 43440 | 21173 700461 2138957 | 2147483647 43440 88 | 0.000 % |
29.02/29.08 c | 43605 | 21173 700461 2138957 | 2147483647 43605 88 | 0.000 % |
29.22/29.23 c | 43781 | 21173 700461 2138957 | 2147483647 43781 88 | 0.000 % |
29.32/29.37 c | 43975 | 21173 700461 2138957 | 2147483647 43975 88 | 0.000 % |
29.52/29.58 c | 44188 | 21173 700461 2138957 | 2147483647 44188 88 | 0.000 % |
29.62/29.69 c | 44422 | 21173 700461 2138957 | 2147483647 44422 88 | 0.000 % |
29.82/29.90 c | 44678 | 21173 700461 2138957 | 2147483647 44678 89 | 0.000 % |
30.02/30.07 c | 44961 | 21173 700461 2138957 | 2147483647 44961 89 | 0.000 % |
30.22/30.30 c | 45274 | 21173 700461 2138957 | 2147483647 45274 89 | 0.000 % |
30.52/30.59 c | 45613 | 21173 700461 2138957 | 2147483647 45613 89 | 0.000 % |
30.72/30.77 c | 45987 | 21173 700461 2138957 | 2147483647 45987 89 | 0.000 % |
31.02/31.03 c | 46396 | 21173 700461 2138957 | 2147483647 46396 88 | 0.000 % |
31.22/31.29 c | 46847 | 21173 700461 2138957 | 2147483647 46847 89 | 0.000 % |
31.52/31.60 c | 47340 | 21173 700461 2138957 | 2147483647 47340 89 | 0.000 % |
31.93/31.96 c | 47882 | 21173 700461 2138957 | 2147483647 47882 89 | 0.000 % |
32.42/32.46 c | 48479 | 21173 700461 2138957 | 2147483647 48479 89 | 0.000 % |
32.92/32.93 c | 49135 | 21173 700461 2138957 | 2147483647 49135 89 | 0.000 % |
32.92/32.99 c | 49235 | 21173 700461 2138957 | 2147483647 49235 89 | 0.000 % |
33.03/33.09 c | 49347 | 21173 700461 2138957 | 2147483647 49347 89 | 0.000 % |
33.12/33.19 c | 49469 | 21173 700461 2138957 | 2147483647 49469 89 | 0.000 % |
33.22/33.30 c | 49602 | 21173 700461 2138957 | 2147483647 49602 89 | 0.000 % |
33.32/33.38 c | 49748 | 21173 700461 2138957 | 2147483647 49748 89 | 0.000 % |
33.42/33.50 c | 49909 | 21173 700461 2138957 | 2147483647 49909 88 | 0.000 % |
33.62/33.63 c | 50085 | 21173 700461 2138957 | 2147483647 50085 88 | 0.000 % |
33.72/33.77 c | 50279 | 21173 700461 2138957 | 2147483647 50279 88 | 0.000 % |
33.82/33.85 c | 50491 | 21173 700461 2138957 | 2147483647 50491 88 | 0.000 % |
33.92/33.97 c | 50724 | 21173 700461 2138957 | 2147483647 50724 88 | 0.000 % |
34.13/34.13 c | 50981 | 21173 700461 2138957 | 2147483647 50981 88 | 0.000 % |
34.32/34.37 c | 51262 | 21173 700461 2138957 | 2147483647 51262 89 | 0.000 % |
34.52/34.61 c | 51571 | 21173 700461 2138957 | 2147483647 51571 88 | 0.000 % |
34.82/34.86 c | 51910 | 21173 700461 2138957 | 2147483647 51910 89 | 0.000 % |
35.02/35.09 c | 52282 | 21173 700461 2138957 | 2147483647 52282 89 | 0.000 % |
35.32/35.38 c | 52691 | 21173 700461 2138957 | 2147483647 52691 89 | 0.000 % |
35.72/35.81 c | 53142 | 21173 700461 2138957 | 2147483647 53142 89 | 0.000 % |
36.02/36.10 c | 53636 | 21173 700461 2138957 | 2147483647 53636 89 | 0.000 % |
36.42/36.50 c | 54180 | 21173 700461 2138957 | 2147483647 54180 90 | 0.000 % |
36.82/36.88 c | 54776 | 21173 700461 2138957 | 2147483647 54776 90 | 0.000 % |
37.22/37.28 c | 55433 | 21173 700461 2138957 | 2147483647 55433 90 | 0.000 % |
37.72/37.81 c | 56153 | 21173 700461 2138957 | 2147483647 56153 91 | 0.000 % |
37.82/37.90 c | 56253 | 21173 700461 2138957 | 2147483647 56253 91 | 0.000 % |
38.02/38.03 c | 56363 | 21173 700461 2138957 | 2147483647 56363 91 | 0.000 % |
38.12/38.13 c | 56484 | 21173 700461 2138957 | 2147483647 56484 91 | 0.000 % |
38.22/38.25 c | 56618 | 21173 700461 2138957 | 2147483647 56618 91 | 0.000 % |
38.32/38.38 c | 56764 | 21173 700461 2138957 | 2147483647 56764 91 | 0.000 % |
38.42/38.47 c | 56924 | 21173 700461 2138957 | 2147483647 56924 91 | 0.000 % |
38.53/38.61 c | 57104 | 21173 700461 2138957 | 2147483647 57104 91 | 0.000 % |
38.72/38.73 c | 57297 | 21173 700461 2138957 | 2147483647 57297 91 | 0.000 % |
38.82/38.86 c | 57514 | 21173 700461 2138957 | 2147483647 57514 91 | 0.000 % |
38.92/38.98 c | 57748 | 21173 700461 2138957 | 2147483647 57748 91 | 0.000 % |
39.12/39.17 c | 58006 | 21173 700461 2138957 | 2147483647 58006 91 | 0.000 % |
39.32/39.39 c | 58289 | 21173 700461 2138957 | 2147483647 58289 91 | 0.000 % |
39.52/39.60 c | 58599 | 21173 700461 2138957 | 2147483647 58599 91 | 0.000 % |
39.82/39.86 c | 58938 | 21173 700461 2138957 | 2147483647 58938 91 | 0.000 % |
40.12/40.11 c | 59312 | 21173 700461 2138957 | 2147483647 59312 91 | 0.000 % |
40.22/40.29 c | 59726 | 21173 700461 2138957 | 2147483647 59726 92 | 0.000 % |
40.42/40.46 c | 60175 | 21173 700461 2138957 | 2147483647 60175 92 | 0.000 % |
40.62/40.69 c | 60668 | 21173 700461 2138957 | 2147483647 60668 92 | 0.000 % |
41.12/41.13 c | 61210 | 21173 700461 2138957 | 2147483647 61210 92 | 0.000 % |
41.52/41.55 c | 61808 | 21173 700461 2138957 | 2147483647 61808 92 | 0.000 % |
41.92/41.97 c | 62464 | 21173 700461 2138957 | 2147483647 62464 93 | 0.000 % |
42.52/42.53 c | 63188 | 21173 700461 2138957 | 2147483647 63188 94 | 0.000 % |
43.02/43.05 c | 63982 | 21173 700461 2138957 | 2147483647 63982 94 | 0.000 % |
43.12/43.12 c | 64083 | 21173 700461 2138957 | 2147483647 64083 94 | 0.000 % |
43.22/43.27 c | 64193 | 21173 700461 2138957 | 2147483647 64193 94 | 0.000 % |
43.42/43.45 c | 64315 | 21173 700461 2138957 | 2147483647 64315 94 | 0.000 % |
43.52/43.58 c | 64448 | 21173 700461 2138957 | 2147483647 64448 94 | 0.000 % |
43.62/43.66 c | 64594 | 21173 700461 2138957 | 2147483647 64594 94 | 0.000 % |
43.82/43.86 c | 64756 | 21173 700461 2138957 | 2147483647 64756 94 | 0.000 % |
44.03/44.04 c | 64933 | 21173 700461 2138957 | 2147483647 64933 94 | 0.000 % |
44.12/44.20 c | 65126 | 21173 700461 2138957 | 2147483647 65126 94 | 0.000 % |
44.32/44.35 c | 65338 | 21173 700461 2138957 | 2147483647 65338 93 | 0.000 % |
44.42/44.49 c | 65572 | 21173 700461 2138957 | 2147483647 65572 93 | 0.000 % |
44.62/44.67 c | 65829 | 21173 700461 2138957 | 2147483647 65829 93 | 0.000 % |
44.82/44.88 c | 66111 | 21173 700461 2138957 | 2147483647 66111 93 | 0.000 % |
45.13/45.14 c | 66421 | 21173 700461 2138957 | 2147483647 66421 93 | 0.000 % |
45.32/45.31 c | 66760 | 21173 700461 2138957 | 2147483647 66760 93 | 0.000 % |
45.52/45.59 c | 67133 | 21173 700461 2138957 | 2147483647 67133 93 | 0.000 % |
45.82/45.84 c | 67542 | 21173 700461 2138957 | 2147483647 67542 93 | 0.000 % |
46.12/46.20 c | 67991 | 21173 700461 2138957 | 2147483647 67991 93 | 0.000 % |
46.42/46.50 c | 68488 | 21173 700461 2138957 | 2147483647 68488 94 | 0.000 % |
46.82/46.85 c | 69032 | 21173 700461 2138957 | 2147483647 69032 94 | 0.000 % |
47.22/47.25 c | 69628 | 21173 700461 2138957 | 2147483647 69628 94 | 0.000 % |
47.62/47.62 c | 70284 | 21173 700461 2138957 | 2147483647 70284 95 | 0.000 % |
48.12/48.14 c | 71005 | 21173 700461 2138957 | 2147483647 71005 95 | 0.000 % |
48.62/48.68 c | 71799 | 21173 700461 2138957 | 2147483647 71799 96 | 0.000 % |
49.32/49.39 c | 72670 | 21173 700461 2138957 | 2147483647 72670 96 | 0.000 % |
49.42/49.46 c | 72770 | 21173 700461 2138957 | 2147483647 72770 96 | 0.000 % |
49.53/49.52 c | 72880 | 21173 700461 2138957 | 2147483647 72880 95 | 0.000 % |
49.53/49.59 c | 73004 | 21173 700461 2138957 | 2147483647 73004 95 | 0.000 % |
49.72/49.72 c | 73138 | 21173 700461 2138957 | 2147483647 73138 95 | 0.000 % |
49.82/49.81 c | 73284 | 21173 700461 2138957 | 2147483647 73284 95 | 0.000 % |
49.92/49.95 c | 73445 | 21173 700461 2138957 | 2147483647 73445 95 | 0.000 % |
50.02/50.06 c | 73621 | 21173 700461 2138957 | 2147483647 73621 95 | 0.000 % |
50.22/50.25 c | 73816 | 21173 700461 2138957 | 2147483647 73816 95 | 0.000 % |
50.42/50.44 c | 74028 | 21173 700461 2138957 | 2147483647 74028 95 | 0.000 % |
50.63/50.64 c | 74262 | 21173 700461 2138957 | 2147483647 74262 95 | 0.000 % |
50.82/50.85 c | 74519 | 21173 700461 2138957 | 2147483647 74519 95 | 0.000 % |
51.02/51.06 c | 74800 | 21173 700461 2138957 | 2147483647 74800 95 | 0.000 % |
51.32/51.31 c | 75110 | 21173 700461 2138957 | 2147483647 75110 95 | 0.000 % |
51.62/51.69 c | 75449 | 21173 700461 2138957 | 2147483647 75449 95 | 0.000 % |
51.92/51.97 c | 75822 | 21173 700461 2138957 | 2147483647 75822 95 | 0.000 % |
52.32/52.36 c | 76231 | 21173 700461 2138957 | 2147483647 76231 96 | 0.000 % |
52.72/52.75 c | 76681 | 21173 700461 2138957 | 2147483647 76681 95 | 0.000 % |
53.12/53.19 c | 77174 | 21173 700461 2138957 | 2147483647 77174 95 | 0.000 % |
53.52/53.55 c | 77716 | 21173 700461 2138957 | 2147483647 77716 95 | 0.000 % |
54.02/54.04 c | 78313 | 21173 700461 2138957 | 2147483647 78313 95 | 0.000 % |
54.52/54.56 c | 78969 | 21173 700461 2138957 | 2147483647 78969 96 | 0.000 % |
55.03/55.03 c | 79690 | 21173 700461 2138957 | 2147483647 79690 96 | 0.000 % |
55.52/55.60 c | 80484 | 21173 700461 2138957 | 2147483647 80484 96 | 0.000 % |
56.13/56.15 c | 81357 | 21173 700461 2138957 | 2147483647 81357 96 | 0.000 % |
56.72/56.80 c | 82315 | 21173 700461 2138957 | 2147483647 82315 95 | 0.000 % |
56.82/56.86 c | 82415 | 21173 700461 2138957 | 2147483647 82415 95 | 0.000 % |
56.92/56.93 c | 82525 | 21173 700461 2138957 | 2147483647 82525 95 | 0.000 % |
57.02/57.08 c | 82647 | 21173 700461 2138957 | 2147483647 82647 95 | 0.000 % |
57.12/57.19 c | 82783 | 21173 700461 2138957 | 2147483647 82783 95 | 0.000 % |
57.23/57.30 c | 82930 | 21173 700461 2138957 | 2147483647 82930 95 | 0.000 % |
57.42/57.43 c | 83090 | 21173 700461 2138957 | 2147483647 83090 95 | 0.000 % |
57.52/57.55 c | 83266 | 21173 700461 2138957 | 2147483647 83266 95 | 0.000 % |
57.72/57.71 c | 83460 | 21173 700461 2138957 | 2147483647 83460 95 | 0.000 % |
57.82/57.86 c | 83679 | 21173 700461 2138957 | 2147483647 83679 95 | 0.000 % |
58.02/58.06 c | 83912 | 21173 700461 2138957 | 2147483647 83912 95 | 0.000 % |
58.22/58.25 c | 84169 | 21173 700461 2138957 | 2147483647 84169 95 | 0.000 % |
58.42/58.47 c | 84452 | 21173 700461 2138957 | 2147483647 84452 95 | 0.000 % |
58.62/58.68 c | 84761 | 21173 700461 2138957 | 2147483647 84761 95 | 0.000 % |
58.92/58.94 c | 85100 | 21173 700461 2138957 | 2147483647 85100 95 | 0.000 % |
59.12/59.13 c | 85473 | 21173 700461 2138957 | 2147483647 85473 95 | 0.000 % |
59.43/59.45 c | 85885 | 21173 700461 2138957 | 2147483647 85885 95 | 0.000 % |
59.92/59.91 c | 86334 | 21173 700461 2138957 | 2147483647 86334 95 | 0.000 % |
60.12/60.16 c | 86827 | 21173 700461 2138957 | 2147483647 86827 95 | 0.000 % |
60.42/60.42 c | 87369 | 21173 700461 2138957 | 2147483647 87369 95 | 0.000 % |
60.72/60.80 c | 87966 | 21173 700461 2138957 | 2147483647 87966 94 | 0.000 % |
61.12/61.12 c | 88621 | 21173 700461 2138957 | 2147483647 88621 94 | 0.000 % |
61.52/61.54 c | 89341 | 21173 700461 2138957 | 2147483647 89341 94 | 0.000 % |
62.02/62.05 c | 90133 | 21173 700461 2138957 | 2147483647 90133 95 | 0.000 % |
62.62/62.61 c | 91004 | 21173 700461 2138957 | 2147483647 91004 95 | 0.000 % |
63.22/63.25 c | 91964 | 21173 700461 2138957 | 2147483647 91964 95 | 0.000 % |
64.02/64.04 c | 93017 | 21173 700461 2138957 | 2147483647 93017 95 | 0.000 % |
64.12/64.16 c | 93117 | 21173 700461 2138957 | 2147483647 93117 95 | 0.000 % |
64.22/64.29 c | 93228 | 21173 700461 2138957 | 2147483647 93228 95 | 0.000 % |
64.32/64.39 c | 93349 | 21173 700461 2138957 | 2147483647 93349 95 | 0.000 % |
64.42/64.49 c | 93482 | 21173 700461 2138957 | 2147483647 93482 95 | 0.000 % |
64.62/64.63 c | 93628 | 21173 700461 2138957 | 2147483647 93628 95 | 0.000 % |
64.72/64.79 c | 93790 | 21173 700461 2138957 | 2147483647 93790 95 | 0.000 % |
64.93/64.98 c | 93966 | 21173 700461 2138957 | 2147483647 93966 95 | 0.000 % |
65.12/65.12 c | 94164 | 21173 700461 2138957 | 2147483647 94164 94 | 0.000 % |
65.22/65.30 c | 94376 | 21173 700461 2138957 | 2147483647 94376 94 | 0.000 % |
65.42/65.50 c | 94610 | 21173 700461 2138957 | 2147483647 94610 94 | 0.000 % |
65.62/65.66 c | 94868 | 21173 700461 2138957 | 2147483647 94868 94 | 0.000 % |
65.92/65.95 c | 95150 | 21173 700461 2138957 | 2147483647 95150 94 | 0.000 % |
66.22/66.30 c | 95460 | 21173 700461 2138957 | 2147483647 95460 94 | 0.000 % |
66.52/66.60 c | 95800 | 21173 700461 2138957 | 2147483647 95800 94 | 0.000 % |
66.82/66.92 c | 96175 | 21173 700461 2138957 | 2147483647 96175 94 | 0.000 % |
67.23/67.30 c | 96588 | 21173 700461 2138957 | 2147483647 96588 95 | 0.000 % |
67.63/67.68 c | 97038 | 21173 700461 2138957 | 2147483647 97038 95 | 0.000 % |
68.13/68.15 c | 97532 | 21173 700461 2138957 | 2147483647 97532 95 | 0.000 % |
68.53/68.61 c | 98075 | 21173 700461 2138957 | 2147483647 98075 95 | 0.000 % |
69.03/69.10 c | 98671 | 21173 700461 2138957 | 2147483647 98671 95 | 0.000 % |
69.63/69.64 c | 99326 | 21173 700461 2138957 | 2147483647 99326 95 | 0.000 % |
70.13/70.19 c | 100047 | 21173 700461 2138957 | 2147483647 100047 95 | 0.000 % |
70.93/70.95 c | 100839 | 21173 700461 2138957 | 2147483647 100839 95 | 0.000 % |
71.63/71.64 c | 101712 | 21173 700461 2138957 | 2147483647 101712 95 | 0.000 % |
72.23/72.28 c | 102670 | 21173 700461 2138957 | 2147483647 102670 95 | 0.000 % |
72.93/73.00 c | 103723 | 21173 700461 2138957 | 2147483647 103723 95 | 0.000 % |
73.83/73.86 c | 104882 | 21173 700461 2138957 | 2147483647 104882 94 | 0.000 % |
73.83/73.90 c | 104983 | 21173 700461 2138957 | 2147483647 104983 94 | 0.000 % |
74.03/74.02 c | 105094 | 21173 700461 2138957 | 2147483647 105094 94 | 0.000 % |
74.13/74.14 c | 105216 | 21173 700461 2138957 | 2147483647 105216 94 | 0.000 % |
74.23/74.22 c | 105352 | 21173 700461 2138957 | 2147483647 105352 94 | 0.000 % |
74.33/74.33 c | 105499 | 21173 700461 2138957 | 2147483647 105499 94 | 0.000 % |
74.43/74.46 c | 105661 | 21173 700461 2138957 | 2147483647 105661 94 | 0.000 % |
74.53/74.60 c | 105837 | 21173 700461 2138957 | 2147483647 105837 94 | 0.000 % |
74.63/74.71 c | 106031 | 21173 700461 2138957 | 2147483647 106031 94 | 0.000 % |
74.83/74.89 c | 106243 | 21173 700461 2138957 | 2147483647 106243 94 | 0.000 % |
75.03/75.04 c | 106477 | 21173 700461 2138957 | 2147483647 106477 94 | 0.000 % |
75.13/75.18 c | 106733 | 21173 700461 2138957 | 2147483647 106733 94 | 0.000 % |
75.43/75.42 c | 107017 | 21173 700461 2138957 | 2147483647 107017 94 | 0.000 % |
75.63/75.65 c | 107326 | 21173 700461 2138957 | 2147483647 107326 94 | 0.000 % |
75.83/75.91 c | 107666 | 21173 700461 2138957 | 2147483647 107666 94 | 0.000 % |
76.23/76.24 c | 108040 | 21173 700461 2138957 | 2147483647 108040 93 | 0.000 % |
76.63/76.62 c | 108449 | 21173 700461 2138957 | 2147483647 108449 93 | 0.000 % |
76.93/76.96 c | 108900 | 21173 700461 2138957 | 2147483647 108900 93 | 0.000 % |
77.33/77.33 c | 109395 | 21173 700461 2138957 | 2147483647 109395 93 | 0.000 % |
77.73/77.77 c | 109938 | 21173 700461 2138957 | 2147483647 109938 93 | 0.000 % |
78.23/78.25 c | 110535 | 21173 700461 2138957 | 2147483647 110535 93 | 0.000 % |
78.63/78.70 c | 111190 | 21173 700461 2138957 | 2147483647 111190 93 | 0.000 % |
79.13/79.18 c | 111911 | 21173 700461 2138957 | 2147483647 111911 93 | 0.000 % |
79.73/79.75 c | 112705 | 21173 700461 2138957 | 2147483647 112705 93 | 0.000 % |
80.43/80.50 c | 113576 | 21173 700461 2138957 | 2147483647 113576 92 | 0.000 % |
81.23/81.29 c | 114535 | 21173 700461 2138957 | 2147483647 114535 92 | 0.000 % |
82.13/82.17 c | 115588 | 21173 700461 2138957 | 2147483647 115588 92 | 0.000 % |
83.03/83.05 c | 116746 | 21173 700461 2138957 | 2147483647 116746 92 | 0.000 % |
84.13/84.15 c | 118019 | 21173 700461 2138957 | 2147483647 118019 92 | 0.000 % |
84.23/84.27 c | 118120 | 21173 700461 2138957 | 2147483647 118120 93 | 0.000 % |
84.33/84.37 c | 118231 | 21173 700461 2138957 | 2147483647 118231 92 | 0.000 % |
84.43/84.45 c | 118352 | 21173 700461 2138957 | 2147483647 118352 92 | 0.000 % |
84.53/84.55 c | 118486 | 21173 700461 2138957 | 2147483647 118486 92 | 0.000 % |
84.63/84.70 c | 118633 | 21173 700461 2138957 | 2147483647 118633 92 | 0.000 % |
84.83/84.87 c | 118793 | 21173 700461 2138957 | 2147483647 118793 92 | 0.000 % |
85.03/85.04 c | 118969 | 21173 700461 2138957 | 2147483647 118969 92 | 0.000 % |
85.23/85.25 c | 119162 | 21173 700461 2138957 | 2147483647 119162 92 | 0.000 % |
85.43/85.42 c | 119374 | 21173 700461 2138957 | 2147483647 119374 92 | 0.000 % |
85.63/85.63 c | 119608 | 21173 700461 2138957 | 2147483647 119608 92 | 0.000 % |
85.83/85.83 c | 119864 | 21173 700461 2138957 | 2147483647 119864 92 | 0.000 % |
86.03/86.02 c | 120145 | 21173 700461 2138957 | 2147483647 120145 92 | 0.000 % |
86.23/86.27 c | 120454 | 21173 700461 2138957 | 2147483647 120454 92 | 0.000 % |
86.53/86.61 c | 120794 | 21173 700461 2138957 | 2147483647 120794 92 | 0.000 % |
86.83/86.87 c | 121168 | 21173 700461 2138957 | 2147483647 121168 92 | 0.000 % |
87.13/87.15 c | 121577 | 21173 700461 2138957 | 2147483647 121577 92 | 0.000 % |
87.53/87.55 c | 122026 | 21173 700461 2138957 | 2147483647 122026 92 | 0.000 % |
87.93/87.97 c | 122519 | 21173 700461 2138957 | 2147483647 122519 92 | 0.000 % |
88.43/88.44 c | 123061 | 21173 700461 2138957 | 2147483647 123061 92 | 0.000 % |
88.93/88.97 c | 123658 | 21173 700461 2138957 | 2147483647 123658 92 | 0.000 % |
89.43/89.43 c | 124313 | 21173 700461 2138957 | 2147483647 124313 92 | 0.000 % |
90.03/90.05 c | 125034 | 21173 700461 2138957 | 2147483647 125034 92 | 0.000 % |
90.63/90.71 c | 125826 | 21173 700461 2138957 | 2147483647 125826 92 | 0.000 % |
91.43/91.45 c | 126697 | 21173 700461 2138957 | 2147483647 126697 92 | 0.000 % |
92.23/92.26 c | 127656 | 21173 700461 2138957 | 2147483647 127656 92 | 0.000 % |
93.13/93.18 c | 128709 | 21173 700461 2138957 | 2147483647 128709 92 | 0.000 % |
94.13/94.19 c | 129868 | 21173 700461 2138957 | 2147483647 129868 92 | 0.000 % |
95.33/95.33 c | 131142 | 21173 700461 2138957 | 2147483647 131142 92 | 0.000 % |
96.33/96.32 c | 132543 | 21173 700461 2138957 | 2147483647 132543 92 | 0.000 % |
96.43/96.44 c | 132645 | 21173 700461 2138957 | 2147483647 132645 92 | 0.000 % |
96.53/96.55 c | 132755 | 21173 700461 2138957 | 2147483647 132755 92 | 0.000 % |
96.63/96.70 c | 132877 | 21173 700461 2138957 | 2147483647 132877 92 | 0.000 % |
96.73/96.81 c | 133010 | 21173 700461 2138957 | 2147483647 133010 92 | 0.000 % |
96.93/96.99 c | 133157 | 21173 700461 2138957 | 2147483647 133157 92 | 0.000 % |
97.03/97.09 c | 133317 | 21173 700461 2138957 | 2147483647 133317 92 | 0.000 % |
97.23/97.22 c | 133493 | 21173 700461 2138957 | 2147483647 133493 92 | 0.000 % |
97.33/97.41 c | 133688 | 21173 700461 2138957 | 2147483647 133688 92 | 0.000 % |
97.53/97.54 c | 133901 | 21173 700461 2138957 | 2147483647 133901 92 | 0.000 % |
97.73/97.79 c | 134135 | 21173 700461 2138957 | 2147483647 134135 92 | 0.000 % |
97.93/97.99 c | 134392 | 21173 700461 2138957 | 2147483647 134392 92 | 0.000 % |
98.13/98.20 c | 134673 | 21173 700461 2138957 | 2147483647 134673 92 | 0.000 % |
98.43/98.50 c | 134982 | 21173 700461 2138957 | 2147483647 134982 92 | 0.000 % |
98.73/98.79 c | 135321 | 21173 700461 2138957 | 2147483647 135321 92 | 0.000 % |
99.03/99.08 c | 135693 | 21173 700461 2138957 | 2147483647 135693 92 | 0.000 % |
99.33/99.35 c | 136102 | 21173 700461 2138957 | 2147483647 136102 92 | 0.000 % |
99.63/99.68 c | 136551 | 21173 700461 2138957 | 2147483647 136551 92 | 0.000 % |
100.03/100.08 c | 137044 | 21173 700461 2138957 | 2147483647 137044 92 | 0.000 % |
100.43/100.44 c | 137587 | 21173 700461 2138957 | 2147483647 137587 92 | 0.000 % |
100.83/100.89 c | 138183 | 21173 700461 2138957 | 2147483647 138183 92 | 0.000 % |
101.33/101.39 c | 138838 | 21173 700461 2138957 | 2147483647 138838 93 | 0.000 % |
101.83/101.91 c | 139559 | 21173 700461 2138957 | 2147483647 139559 93 | 0.000 % |
102.53/102.52 c | 140351 | 21173 700461 2138957 | 2147483647 140351 93 | 0.000 % |
103.13/103.18 c | 141223 | 21173 700461 2138957 | 2147483647 141223 93 | 0.000 % |
103.83/103.87 c | 142185 | 21173 700461 2138957 | 2147483647 142185 93 | 0.000 % |
104.63/104.71 c | 143238 | 21173 700461 2138957 | 2147483647 143238 93 | 0.000 % |
105.53/105.54 c | 144398 | 21173 700461 2138957 | 2147483647 144398 93 | 0.000 % |
106.43/106.51 c | 145672 | 21173 700461 2138957 | 2147483647 145672 93 | 0.000 % |
107.63/107.63 c | 147074 | 21173 700461 2138957 | 2147483647 147074 93 | 0.000 % |
108.93/108.92 c | 148614 | 21173 700461 2138957 | 2147483647 148614 93 | 0.000 % |
109.03/109.02 c | 148715 | 21173 700461 2138957 | 2147483647 148715 93 | 0.000 % |
109.03/109.11 c | 148826 | 21173 700461 2138957 | 2147483647 148826 93 | 0.000 % |
109.13/109.19 c | 148947 | 21173 700461 2138957 | 2147483647 148947 93 | 0.000 % |
109.23/109.29 c | 149081 | 21173 700461 2138957 | 2147483647 149081 93 | 0.000 % |
109.43/109.49 c | 149228 | 21173 700461 2138957 | 2147483647 149228 93 | 0.000 % |
109.53/109.60 c | 149388 | 21173 700461 2138957 | 2147483647 149388 93 | 0.000 % |
109.73/109.74 c | 149564 | 21173 700461 2138957 | 2147483647 149564 93 | 0.000 % |
109.93/109.98 c | 149760 | 21173 700461 2138957 | 2147483647 149760 93 | 0.000 % |
110.13/110.15 c | 149972 | 21173 700461 2138957 | 2147483647 149972 93 | 0.000 % |
110.33/110.35 c | 150205 | 21173 700461 2138957 | 2147483647 150205 93 | 0.000 % |
110.53/110.57 c | 150461 | 21173 700461 2138957 | 2147483647 150461 93 | 0.000 % |
110.83/110.83 c | 150742 | 21173 700461 2138957 | 2147483647 150742 93 | 0.000 % |
111.13/111.12 c | 151051 | 21173 700461 2138957 | 2147483647 151051 93 | 0.000 % |
111.43/111.47 c | 151390 | 21173 700461 2138957 | 2147483647 151390 93 | 0.000 % |
111.83/111.86 c | 151765 | 21173 700461 2138957 | 2147483647 151765 93 | 0.000 % |
112.23/112.28 c | 152175 | 21173 700461 2138957 | 2147483647 152175 93 | 0.000 % |
112.53/112.61 c | 152626 | 21173 700461 2138957 | 2147483647 152626 93 | 0.000 % |
112.93/113.00 c | 153119 | 21173 700461 2138957 | 2147483647 153119 93 | 0.000 % |
113.43/113.48 c | 153663 | 21173 700461 2138957 | 2147483647 153663 93 | 0.000 % |
114.03/114.02 c | 154259 | 21173 700461 2138957 | 2147483647 154259 93 | 0.000 % |
114.53/114.56 c | 154915 | 21173 700461 2138957 | 2147483647 154915 93 | 0.000 % |
115.03/115.11 c | 155635 | 21173 700461 2138957 | 2147483647 155635 93 | 0.000 % |
115.73/115.77 c | 156430 | 21173 700461 2138957 | 2147483647 156430 93 | 0.000 % |
116.43/116.50 c | 157301 | 21173 700461 2138957 | 2147483647 157301 93 | 0.000 % |
117.43/117.42 c | 158259 | 21173 700461 2138957 | 2147483647 158259 93 | 0.000 % |
118.33/118.38 c | 159312 | 21173 700461 2138957 | 2147483647 159312 92 | 0.000 % |
119.33/119.38 c | 160471 | 21173 700461 2138957 | 2147483647 160471 93 | 0.000 % |
120.53/120.55 c | 161744 | 21173 700461 2138957 | 2147483647 161744 92 | 0.000 % |
121.73/121.79 c | 163144 | 21173 700461 2138957 | 2147483647 163144 92 | 0.000 % |
123.33/123.37 c | 164685 | 21173 700461 2138957 | 2147483647 164685 92 | 0.000 % |
124.83/124.85 c | 166379 | 21173 700461 2138957 | 2147483647 166379 92 | 0.000 % |
124.93/124.97 c | 166482 | 21173 700461 2138957 | 2147483647 166482 92 | 0.000 % |
125.03/125.09 c | 166592 | 21173 700461 2138957 | 2147483647 166592 92 | 0.000 % |
125.23/125.27 c | 166713 | 21173 700461 2138957 | 2147483647 166713 92 | 0.000 % |
125.33/125.36 c | 166846 | 21173 700461 2138957 | 2147483647 166846 92 | 0.000 % |
125.53/125.55 c | 166992 | 21173 700461 2138957 | 2147483647 166992 92 | 0.000 % |
125.73/125.72 c | 167152 | 21173 700461 2138957 | 2147483647 167152 92 | 0.000 % |
125.83/125.89 c | 167328 | 21173 700461 2138957 | 2147483647 167328 92 | 0.000 % |
126.03/126.03 c | 167522 | 21173 700461 2138957 | 2147483647 167522 92 | 0.000 % |
126.23/126.25 c | 167734 | 21173 700461 2138957 | 2147483647 167734 92 | 0.000 % |
126.43/126.42 c | 167968 | 21173 700461 2138957 | 2147483647 167968 92 | 0.000 % |
126.63/126.65 c | 168226 | 21173 700461 2138957 | 2147483647 168226 92 | 0.000 % |
126.93/126.93 c | 168509 | 21173 700461 2138957 | 2147483647 168509 92 | 0.000 % |
127.23/127.27 c | 168818 | 21173 700461 2138957 | 2147483647 168818 92 | 0.000 % |
127.53/127.61 c | 169157 | 21173 700461 2138957 | 2147483647 169157 92 | 0.000 % |
127.93/127.99 c | 169529 | 21173 700461 2138957 | 2147483647 169529 92 | 0.000 % |
128.33/128.35 c | 169938 | 21173 700461 2138957 | 2147483647 169938 92 | 0.000 % |
128.63/128.69 c | 170387 | 21173 700461 2138957 | 2147483647 170387 92 | 0.000 % |
129.13/129.14 c | 170880 | 21173 700461 2138957 | 2147483647 170880 93 | 0.000 % |
129.43/129.49 c | 171422 | 21173 700461 2138957 | 2147483647 171422 93 | 0.000 % |
129.84/129.87 c | 172019 | 21173 700461 2138957 | 2147483647 172019 93 | 0.000 % |
130.53/130.60 c | 172674 | 21173 700461 2138957 | 2147483647 172674 93 | 0.000 % |
131.23/131.24 c | 173395 | 21173 700461 2138957 | 2147483647 173395 93 | 0.000 % |
131.83/131.84 c | 174190 | 21173 700461 2138957 | 2147483647 174190 93 | 0.000 % |
132.83/132.87 c | 175061 | 21173 700461 2138957 | 2147483647 175061 93 | 0.000 % |
133.53/133.55 c | 176019 | 21173 700461 2138957 | 2147483647 176019 93 | 0.000 % |
134.93/134.93 c | 177074 | 21173 700461 2138957 | 2147483647 177074 94 | 0.000 % |
136.03/136.05 c | 178232 | 21173 700461 2138957 | 2147483647 178232 95 | 0.000 % |
137.33/137.33 c | 179505 | 21173 700461 2138957 | 2147483647 179505 95 | 0.000 % |
138.83/138.85 c | 180905 | 21173 700461 2138957 | 2147483647 180905 95 | 0.000 % |
140.53/140.51 c | 182446 | 21173 700461 2138957 | 2147483647 182446 95 | 0.000 % |
142.33/142.31 c | 184140 | 21173 700461 2138957 | 2147483647 184140 96 | 0.000 % |
144.14/144.15 c | 186004 | 21173 700461 2138957 | 2147483647 186004 96 | 0.000 % |
144.33/144.33 c | 186104 | 21173 700461 2138957 | 2147483647 186104 96 | 0.000 % |
144.43/144.46 c | 186214 | 21173 700461 2138957 | 2147483647 186214 96 | 0.000 % |
144.53/144.58 c | 186335 | 21173 700461 2138957 | 2147483647 186335 96 | 0.000 % |
144.73/144.72 c | 186470 | 21173 700461 2138957 | 2147483647 186470 96 | 0.000 % |
144.83/144.85 c | 186616 | 21173 700461 2138957 | 2147483647 186616 96 | 0.000 % |
145.13/145.14 c | 186778 | 21173 700461 2138957 | 2147483647 186778 96 | 0.000 % |
145.24/145.30 c | 186954 | 21173 700461 2138957 | 2147483647 186954 96 | 0.000 % |
145.43/145.46 c | 187147 | 21173 700461 2138957 | 2147483647 187147 96 | 0.000 % |
145.63/145.62 c | 187360 | 21173 700461 2138957 | 2147483647 187360 96 | 0.000 % |
145.93/145.93 c | 187595 | 21173 700461 2138957 | 2147483647 187595 96 | 0.000 % |
146.23/146.21 c | 187851 | 21173 700461 2138957 | 2147483647 187851 96 | 0.000 % |
146.43/146.46 c | 188132 | 21173 700461 2138957 | 2147483647 188132 96 | 0.000 % |
146.63/146.64 c | 188441 | 21173 700461 2138957 | 2147483647 188441 96 | 0.000 % |
147.03/147.09 c | 188783 | 21173 700461 2138957 | 2147483647 188783 96 | 0.000 % |
147.33/147.40 c | 189156 | 21173 700461 2138957 | 2147483647 189156 96 | 0.000 % |
147.73/147.81 c | 189565 | 21173 700461 2138957 | 2147483647 189565 96 | 0.000 % |
148.13/148.17 c | 190023 | 21173 700461 2138957 | 2147483647 190023 96 | 0.000 % |
148.63/148.69 c | 190517 | 21173 700461 2138957 | 2147483647 190517 96 | 0.000 % |
149.33/149.34 c | 191062 | 21173 700461 2138957 | 2147483647 191062 96 | 0.000 % |
150.03/150.06 c | 191658 | 21173 700461 2138957 | 2147483647 191658 96 | 0.000 % |
150.74/150.75 c | 192314 | 21173 700461 2138957 | 2147483647 192314 96 | 0.000 % |
151.33/151.41 c | 193034 | 21173 700461 2138957 | 2147483647 193034 96 | 0.000 % |
152.33/152.31 c | 193827 | 21173 700461 2138957 | 2147483647 193827 96 | 0.000 % |
153.23/153.27 c | 194698 | 21173 700461 2138957 | 2147483647 194698 96 | 0.000 % |
154.33/154.31 c | 195656 | 21173 700461 2138957 | 2147483647 195656 96 | 0.000 % |
155.23/155.22 c | 196709 | 21173 700461 2138957 | 2147483647 196709 96 | 0.000 % |
156.24/156.30 c | 197867 | 21173 700461 2138957 | 2147483647 197867 96 | 0.000 % |
157.53/157.55 c | 199142 | 21173 700461 2138957 | 2147483647 199142 96 | 0.000 % |
158.73/158.78 c | 200542 | 21173 700461 2138957 | 2147483647 200542 96 | 0.000 % |
160.33/160.34 c | 202082 | 21173 700461 2138957 | 2147483647 202082 97 | 0.000 % |
161.83/161.83 c | 203776 | 21173 700461 2138957 | 2147483647 203776 97 | 0.000 % |
163.83/163.88 c | 205640 | 21173 700461 2138957 | 2147483647 205640 97 | 0.000 % |
165.54/165.59 c | 207689 | 21173 700461 2138957 | 2147483647 207689 97 | 0.000 % |
165.64/165.68 c | 207790 | 21173 700461 2138957 | 2147483647 207790 97 | 0.000 % |
165.74/165.77 c | 207901 | 21173 700461 2138957 | 2147483647 207901 97 | 0.000 % |
165.94/165.94 c | 208022 | 21173 700461 2138957 | 2147483647 208022 97 | 0.000 % |
166.14/166.18 c | 208155 | 21173 700461 2138957 | 2147483647 208155 97 | 0.000 % |
166.34/166.36 c | 208301 | 21173 700461 2138957 | 2147483647 208301 97 | 0.000 % |
166.54/166.53 c | 208461 | 21173 700461 2138957 | 2147483647 208461 96 | 0.000 % |
166.74/166.77 c | 208638 | 21173 700461 2138957 | 2147483647 208638 96 | 0.000 % |
167.04/167.06 c | 208833 | 21173 700461 2138957 | 2147483647 208833 96 | 0.000 % |
167.24/167.25 c | 209045 | 21173 700461 2138957 | 2147483647 209045 96 | 0.000 % |
167.64/167.63 c | 209278 | 21173 700461 2138957 | 2147483647 209278 96 | 0.000 % |
167.84/167.90 c | 209535 | 21173 700461 2138957 | 2147483647 209535 96 | 0.000 % |
168.04/168.11 c | 209818 | 21173 700461 2138957 | 2147483647 209818 96 | 0.000 % |
168.34/168.38 c | 210127 | 21173 700461 2138957 | 2147483647 210127 96 | 0.000 % |
168.64/168.67 c | 210466 | 21173 700461 2138957 | 2147483647 210466 96 | 0.000 % |
169.04/169.03 c | 210841 | 21173 700461 2138957 | 2147483647 210841 96 | 0.000 % |
169.44/169.45 c | 211252 | 21173 700461 2138957 | 2147483647 211252 97 | 0.000 % |
169.84/169.86 c | 211701 | 21173 700461 2138957 | 2147483647 211701 97 | 0.000 % |
170.34/170.34 c | 212196 | 21173 700461 2138957 | 2147483647 212196 97 | 0.000 % |
170.84/170.90 c | 212740 | 21173 700461 2138957 | 2147483647 212740 97 | 0.000 % |
171.24/171.30 c | 213337 | 21173 700461 2138957 | 2147483647 213337 96 | 0.000 % |
171.84/171.91 c | 213994 | 21173 700461 2138957 | 2147483647 213994 97 | 0.000 % |
172.44/172.51 c | 214719 | 21173 700461 2138957 | 2147483647 214719 97 | 0.000 % |
173.44/173.47 c | 215511 | 21173 700461 2138957 | 2147483647 215511 97 | 0.000 % |
174.54/174.59 c | 216382 | 21173 700461 2138957 | 2147483647 216382 98 | 0.000 % |
175.54/175.53 c | 217340 | 21173 700461 2138957 | 2147483647 217340 98 | 0.000 % |
176.54/176.53 c | 218393 | 21173 700461 2138957 | 2147483647 218393 98 | 0.000 % |
177.44/177.47 c | 219551 | 21173 700461 2138957 | 2147483647 219551 98 | 0.000 % |
179.04/179.03 c | 220824 | 21173 700461 2138957 | 2147483647 220824 98 | 0.000 % |
180.34/180.36 c | 222224 | 21173 700461 2138957 | 2147483647 222224 98 | 0.000 % |
181.74/181.77 c | 223765 | 21173 700461 2138957 | 2147483647 223765 97 | 0.000 % |
183.44/183.50 c | 225460 | 21173 700461 2138957 | 2147483647 225460 98 | 0.000 % |
185.14/185.14 c | 227323 | 21173 700461 2138957 | 2147483647 227323 98 | 0.000 % |
186.74/186.77 c | 229376 | 21173 700461 2138957 | 2147483647 229376 98 | 0.000 % |
188.74/188.81 c | 231630 | 21173 700461 2138957 | 2147483647 231630 98 | 0.000 % |
188.84/188.89 c | 231732 | 21173 700461 2138957 | 2147483647 231732 98 | 0.000 % |
188.94/189.01 c | 231844 | 21173 700461 2138957 | 2147483647 231844 98 | 0.000 % |
189.14/189.13 c | 231965 | 21173 700461 2138957 | 2147483647 231965 98 | 0.000 % |
189.24/189.28 c | 232100 | 21173 700461 2138957 | 2147483647 232100 98 | 0.000 % |
189.34/189.40 c | 232250 | 21173 700461 2138957 | 2147483647 232250 98 | 0.000 % |
189.54/189.54 c | 232410 | 21173 700461 2138957 | 2147483647 232410 98 | 0.000 % |
189.64/189.67 c | 232586 | 21173 700461 2138957 | 2147483647 232586 98 | 0.000 % |
189.94/189.94 c | 232781 | 21173 700461 2138957 | 2147483647 232781 98 | 0.000 % |
190.14/190.15 c | 232993 | 21173 700461 2138957 | 2147483647 232993 98 | 0.000 % |
190.44/190.43 c | 233226 | 21173 700461 2138957 | 2147483647 233226 98 | 0.000 % |
190.64/190.67 c | 233483 | 21173 700461 2138957 | 2147483647 233483 98 | 0.000 % |
190.94/190.99 c | 233766 | 21173 700461 2138957 | 2147483647 233766 98 | 0.000 % |
191.24/191.30 c | 234075 | 21173 700461 2138957 | 2147483647 234075 98 | 0.000 % |
191.64/191.63 c | 234414 | 21173 700461 2138957 | 2147483647 234414 98 | 0.000 % |
191.94/191.97 c | 234789 | 21173 700461 2138957 | 2147483647 234789 98 | 0.000 % |
192.34/192.36 c | 235198 | 21173 700461 2138957 | 2147483647 235198 98 | 0.000 % |
192.74/192.76 c | 235647 | 21173 700461 2138957 | 2147483647 235647 98 | 0.000 % |
193.14/193.14 c | 236143 | 21173 700461 2138957 | 2147483647 236143 98 | 0.000 % |
193.94/193.93 c | 236686 | 21173 700461 2138957 | 2147483647 236686 98 | 0.000 % |
194.54/194.52 c | 237282 | 21173 700461 2138957 | 2147483647 237282 98 | 0.000 % |
195.44/195.49 c | 237939 | 21173 700461 2138957 | 2147483647 237939 98 | 0.000 % |
196.34/196.40 c | 238659 | 21173 700461 2138957 | 2147483647 238659 98 | 0.000 % |
197.44/197.45 c | 239452 | 21173 700461 2138957 | 2147483647 239452 98 | 0.000 % |
198.24/198.30 c | 240324 | 21173 700461 2138957 | 2147483647 240324 98 | 0.000 % |
199.24/199.29 c | 241282 | 21173 700461 2138957 | 2147483647 241282 98 | 0.000 % |
200.54/200.58 c | 242338 | 21173 700461 2138957 | 2147483647 242338 98 | 0.000 % |
201.64/201.66 c | 243496 | 21173 700461 2138957 | 2147483647 243496 98 | 0.000 % |
202.94/202.94 c | 244770 | 21173 700461 2138957 | 2147483647 244770 98 | 0.000 % |
204.44/204.49 c | 246170 | 21173 700461 2138957 | 2147483647 246170 98 | 0.000 % |
206.44/206.43 c | 247710 | 21173 700461 2138957 | 2147483647 247710 98 | 0.000 % |
208.44/208.46 c | 249407 | 21173 700461 2138957 | 2147483647 249407 97 | 0.000 % |
210.94/210.95 c | 251270 | 21173 700461 2138957 | 2147483647 251270 97 | 0.000 % |
213.34/213.41 c | 253321 | 21173 700461 2138957 | 2147483647 253321 97 | 0.000 % |
216.64/216.70 c | 255578 | 21173 700461 2138957 | 2147483647 255578 98 | 0.000 % |
220.34/220.35 c | 258056 | 21173 700461 2138957 | 2147483647 258056 100 | 0.000 % |
220.54/220.56 c | 258156 | 21173 700461 2138957 | 2147483647 258156 100 | 0.000 % |
220.64/220.70 c | 258266 | 21173 700461 2138957 | 2147483647 258266 100 | 0.000 % |
220.84/220.89 c | 258387 | 21173 700461 2138957 | 2147483647 258387 100 | 0.000 % |
221.04/221.05 c | 258520 | 21173 700461 2138957 | 2147483647 258520 100 | 0.000 % |
221.34/221.40 c | 258666 | 21173 700461 2138957 | 2147483647 258666 100 | 0.000 % |
221.64/221.62 c | 258826 | 21173 700461 2138957 | 2147483647 258826 100 | 0.000 % |
221.74/221.80 c | 259003 | 21173 700461 2138957 | 2147483647 259003 100 | 0.000 % |
222.04/222.11 c | 259197 | 21173 700461 2138957 | 2147483647 259197 100 | 0.000 % |
222.34/222.33 c | 259409 | 21173 700461 2138957 | 2147483647 259409 100 | 0.000 % |
222.54/222.61 c | 259644 | 21173 700461 2138957 | 2147483647 259644 100 | 0.000 % |
222.84/222.89 c | 259900 | 21173 700461 2138957 | 2147483647 259900 100 | 0.000 % |
223.14/223.20 c | 260183 | 21173 700461 2138957 | 2147483647 260183 100 | 0.000 % |
223.54/223.55 c | 260497 | 21173 700461 2138957 | 2147483647 260497 100 | 0.000 % |
223.94/223.94 c | 260837 | 21173 700461 2138957 | 2147483647 260837 100 | 0.000 % |
224.34/224.35 c | 261212 | 21173 700461 2138957 | 2147483647 261212 100 | 0.000 % |
224.84/224.90 c | 261623 | 21173 700461 2138957 | 2147483647 261623 100 | 0.000 % |
225.34/225.38 c | 262073 | 21173 700461 2138957 | 2147483647 262073 100 | 0.000 % |
226.04/226.09 c | 262566 | 21173 700461 2138957 | 2147483647 262566 100 | 0.000 % |
226.74/226.80 c | 263109 | 21173 700461 2138957 | 2147483647 263109 100 | 0.000 % |
227.64/227.71 c | 263706 | 21173 700461 2138957 | 2147483647 263706 100 | 0.000 % |
228.44/228.51 c | 264363 | 21173 700461 2138957 | 2147483647 264363 100 | 0.000 % |
229.24/229.30 c | 265084 | 21173 700461 2138957 | 2147483647 265084 100 | 0.000 % |
230.44/230.50 c | 265876 | 21173 700461 2138957 | 2147483647 265876 100 | 0.000 % |
231.74/231.79 c | 266747 | 21173 700461 2138957 | 2147483647 266747 100 | 0.000 % |
233.04/233.03 c | 267705 | 21173 700461 2138957 | 2147483647 267705 100 | 0.000 % |
234.24/234.31 c | 268760 | 21173 700461 2138957 | 2147483647 268760 100 | 0.000 % |
235.64/235.69 c | 269918 | 21173 700461 2138957 | 2147483647 269918 100 | 0.000 % |
237.24/237.21 c | 271191 | 21173 700461 2138957 | 2147483647 271191 100 | 0.000 % |
238.94/238.94 c | 272593 | 21173 700461 2138957 | 2147483647 272593 100 | 0.000 % |
240.54/240.56 c | 274134 | 21173 700461 2138957 | 2147483647 274134 100 | 0.000 % |
242.14/242.19 c | 275828 | 21173 700461 2138957 | 2147483647 275828 100 | 0.000 % |
244.04/244.09 c | 277692 | 21173 700461 2138957 | 2147483647 277692 100 | 0.000 % |
245.94/245.94 c | 279742 | 21173 700461 2138957 | 2147483647 279742 100 | 0.000 % |
248.54/248.55 c | 281995 | 21173 700461 2138957 | 2147483647 281995 100 | 0.000 % |
251.04/251.11 c | 284474 | 21173 700461 2138957 | 2147483647 284474 101 | 0.000 % |
253.64/253.64 c | 287199 | 21173 700461 2138957 | 2147483647 287199 101 | 0.000 % |
253.74/253.74 c | 287299 | 21173 700461 2138957 | 2147483647 287299 101 | 0.001 % |
253.84/253.82 c | 287410 | 21173 700461 2138957 | 2147483647 287410 101 | 0.000 % |
253.94/253.94 c | 287532 | 21173 700461 2138957 | 2147483647 287532 101 | 0.000 % |
254.34/254.37 c | 287668 | 21173 700461 2138957 | 2147483647 287668 101 | 0.000 % |
254.54/254.54 c | 287814 | 21173 700461 2138957 | 2147483647 287814 101 | 0.000 % |
254.74/254.78 c | 287974 | 21173 700461 2138957 | 2147483647 287974 101 | 0.000 % |
255.04/255.05 c | 288150 | 21173 700461 2138957 | 2147483647 288150 101 | 0.000 % |
255.25/255.28 c | 288344 | 21173 700461 2138957 | 2147483647 288344 101 | 0.000 % |
255.64/255.61 c | 288561 | 21173 700461 2138957 | 2147483647 288561 101 | 0.000 % |
255.94/255.99 c | 288796 | 21173 700461 2138957 | 2147483647 288796 101 | 0.000 % |
256.24/256.30 c | 289052 | 21173 700461 2138957 | 2147483647 289052 101 | 0.000 % |
256.64/256.64 c | 289333 | 21173 700461 2138957 | 2147483647 289333 101 | 0.000 % |
257.04/257.04 c | 289642 | 21173 700461 2138957 | 2147483647 289642 101 | 0.000 % |
257.34/257.41 c | 289981 | 21173 700461 2138957 | 2147483647 289981 101 | 0.000 % |
257.84/257.82 c | 290353 | 21173 700461 2138957 | 2147483647 290353 101 | 0.000 % |
258.24/258.24 c | 290763 | 21173 700461 2138957 | 2147483647 290763 101 | 0.000 % |
258.64/258.71 c | 291213 | 21173 700461 2138957 | 2147483647 291213 101 | 0.000 % |
259.14/259.16 c | 291707 | 21173 700461 2138957 | 2147483647 291707 101 | 0.000 % |
259.65/259.68 c | 292249 | 21173 700461 2138957 | 2147483647 292249 101 | 0.000 % |
260.24/260.24 c | 292845 | 21173 700461 2138957 | 2147483647 292845 101 | 0.000 % |
260.84/260.89 c | 293500 | 21173 700461 2138957 | 2147483647 293500 101 | 0.000 % |
261.74/261.79 c | 294220 | 21173 700461 2138957 | 2147483647 294220 101 | 0.000 % |
262.54/262.59 c | 295013 | 21173 700461 2138957 | 2147483647 295013 101 | 0.000 % |
263.55/263.55 c | 295884 | 21173 700461 2138957 | 2147483647 295884 101 | 0.000 % |
264.45/264.44 c | 296843 | 21173 700461 2138957 | 2147483647 296843 101 | 0.000 % |
265.45/265.50 c | 297897 | 21173 700461 2138957 | 2147483647 297897 101 | 0.000 % |
266.95/266.96 c | 299056 | 21173 700461 2138957 | 2147483647 299056 101 | 0.000 % |
268.45/268.43 c | 300329 | 21173 700461 2138957 | 2147483647 300329 101 | 0.000 % |
269.75/269.73 c | 301730 | 21173 700461 2138957 | 2147483647 301730 101 | 0.000 % |
271.05/271.11 c | 303272 | 21173 700461 2138957 | 2147483647 303272 101 | 0.000 % |
272.65/272.65 c | 304967 | 21173 700461 2138957 | 2147483647 304967 101 | 0.000 % |
274.35/274.39 c | 306830 | 21173 700461 2138957 | 2147483647 306830 100 | 0.000 % |
276.45/276.52 c | 308879 | 21173 700461 2138957 | 2147483647 308879 101 | 0.000 % |
278.75/278.80 c | 311132 | 21173 700461 2138957 | 2147483647 311132 101 | 0.000 % |
281.65/281.65 c | 313610 | 21173 700461 2138957 | 2147483647 313610 101 | 0.000 % |
284.15/284.13 c | 316337 | 21173 700461 2138957 | 2147483647 316337 100 | 0.000 % |
287.15/287.16 c | 319336 | 21173 700461 2138957 | 2147483647 319336 100 | 0.000 % |
287.25/287.27 c | 319438 | 21173 700461 2138957 | 2147483647 319438 100 | 0.000 % |
287.45/287.42 c | 319548 | 21173 700461 2138957 | 2147483647 319548 100 | 0.000 % |
287.55/287.61 c | 319670 | 21173 700461 2138957 | 2147483647 319670 100 | 0.000 % |
287.85/287.86 c | 319803 | 21173 700461 2138957 | 2147483647 319803 100 | 0.000 % |
288.05/288.02 c | 319949 | 21173 700461 2138957 | 2147483647 319949 100 | 0.000 % |
288.25/288.26 c | 320110 | 21173 700461 2138957 | 2147483647 320110 100 | 0.000 % |
288.45/288.47 c | 320286 | 21173 700461 2138957 | 2147483647 320286 100 | 0.000 % |
288.75/288.73 c | 320480 | 21173 700461 2138957 | 2147483647 320480 100 | 0.000 % |
288.95/289.02 c | 320693 | 21173 700461 2138957 | 2147483647 320693 100 | 0.000 % |
289.35/289.36 c | 320926 | 21173 700461 2138957 | 2147483647 320926 100 | 0.000 % |
289.65/289.65 c | 321183 | 21173 700461 2138957 | 2147483647 321183 100 | 0.000 % |
290.05/290.05 c | 321465 | 21173 700461 2138957 | 2147483647 321465 100 | 0.000 % |
290.45/290.51 c | 321774 | 21173 700461 2138957 | 2147483647 321774 100 | 0.000 % |
290.75/290.80 c | 322113 | 21173 700461 2138957 | 2147483647 322113 100 | 0.000 % |
291.35/291.34 c | 322485 | 21173 700461 2138957 | 2147483647 322485 100 | 0.000 % |
291.75/291.78 c | 322895 | 21173 700461 2138957 | 2147483647 322895 100 | 0.000 % |
292.25/292.25 c | 323344 | 21173 700461 2138957 | 2147483647 323344 100 | 0.000 % |
292.75/292.76 c | 323837 | 21173 700461 2138957 | 2147483647 323837 100 | 0.000 % |
293.45/293.48 c | 324379 | 21173 700461 2138957 | 2147483647 324379 100 | 0.000 % |
294.05/294.04 c | 324975 | 21173 700461 2138957 | 2147483647 324975 100 | 0.000 % |
294.85/294.83 c | 325630 | 21173 700461 2138957 | 2147483647 325630 100 | 0.000 % |
295.65/295.71 c | 326350 | 21173 700461 2138957 | 2147483647 326350 100 | 0.000 % |
296.45/296.45 c | 327142 | 21173 700461 2138957 | 2147483647 327142 100 | 0.001 % |
297.25/297.23 c | 328013 | 21173 700461 2138957 | 2147483647 328013 100 | 0.000 % |
298.25/298.25 c | 328971 | 21173 700461 2138957 | 2147483647 328971 100 | 0.000 % |
299.25/299.27 c | 330024 | 21173 700461 2138957 | 2147483647 330024 100 | 0.000 % |
300.95/300.96 c | 331182 | 21173 700461 2138957 | 2147483647 331182 100 | 0.000 % |
302.35/302.39 c | 332456 | 21173 700461 2138957 | 2147483647 332456 100 | 0.000 % |
303.75/303.80 c | 333856 | 21173 700461 2138957 | 2147483647 333856 100 | 0.000 % |
305.45/305.49 c | 335396 | 21173 700461 2138957 | 2147483647 335396 100 | 0.000 % |
307.75/307.80 c | 337091 | 21173 700461 2138957 | 2147483647 337091 100 | 0.000 % |
309.85/309.85 c | 338956 | 21173 700461 2138957 | 2147483647 338956 100 | 0.000 % |
312.35/312.32 c | 341007 | 21173 700461 2138957 | 2147483647 341007 101 | 0.000 % |
315.65/315.69 c | 343261 | 21173 700461 2138957 | 2147483647 343261 101 | 0.000 % |
318.75/318.74 c | 345739 | 21173 700461 2138957 | 2147483647 345739 101 | 0.000 % |
321.55/321.60 c | 348464 | 21173 700461 2138957 | 2147483647 348464 101 | 0.000 % |
324.25/324.27 c | 351464 | 21173 700461 2138957 | 2147483647 351464 101 | 0.000 % |
326.85/326.82 c | 354760 | 21173 700461 2138957 | 2147483647 354760 100 | 0.001 % |
326.95/326.96 c | 354860 | 21173 700461 2138957 | 2147483647 354860 100 | 0.000 % |
327.05/327.06 c | 354971 | 21173 700461 2138957 | 2147483647 354971 100 | 0.001 % |
327.25/327.26 c | 355093 | 21173 700461 2138957 | 2147483647 355093 100 | 0.001 % |
327.45/327.51 c | 355227 | 21173 700461 2138957 | 2147483647 355227 100 | 0.000 % |
327.65/327.71 c | 355374 | 21173 700461 2138957 | 2147483647 355374 100 | 0.000 % |
327.86/327.90 c | 355536 | 21173 700461 2138957 | 2147483647 355536 100 | 0.000 % |
328.45/328.43 c | 355712 | 21173 700461 2138957 | 2147483647 355712 100 | 0.000 % |
328.75/328.73 c | 355905 | 21173 700461 2138957 | 2147483647 355905 100 | 0.000 % |
328.96/328.99 c | 356117 | 21173 700461 2138957 | 2147483647 356117 100 | 0.000 % |
329.25/329.27 c | 356350 | 21173 700461 2138957 | 2147483647 356350 100 | 0.000 % |
329.75/329.77 c | 356606 | 21173 700461 2138957 | 2147483647 356606 100 | 0.000 % |
330.06/330.11 c | 356888 | 21173 700461 2138957 | 2147483647 356888 100 | 0.000 % |
330.55/330.58 c | 357197 | 21173 700461 2138957 | 2147483647 357197 100 | 0.000 % |
330.95/330.99 c | 357538 | 21173 700461 2138957 | 2147483647 357538 100 | 0.000 % |
331.65/331.62 c | 357910 | 21173 700461 2138957 | 2147483647 357910 100 | 0.000 % |
332.45/332.42 c | 358320 | 21173 700461 2138957 | 2147483647 358320 100 | 0.000 % |
333.05/333.06 c | 358770 | 21173 700461 2138957 | 2147483647 358770 100 | 0.000 % |
333.75/333.75 c | 359265 | 21173 700461 2138957 | 2147483647 359265 100 | 0.000 % |
334.55/334.53 c | 359808 | 21173 700461 2138957 | 2147483647 359808 100 | 0.000 % |
335.35/335.36 c | 360408 | 21173 700461 2138957 | 2147483647 360408 100 | 0.000 % |
336.25/336.25 c | 361064 | 21173 700461 2138957 | 2147483647 361064 100 | 0.000 % |
337.45/337.42 c | 361786 | 21173 700461 2138957 | 2147483647 361786 100 | 0.000 % |
338.45/338.47 c | 362579 | 21173 700461 2138957 | 2147483647 362579 100 | 0.000 % |
340.24/340.23 c | 363450 | 21173 700461 2138957 | 2147483647 363450 100 | 0.000 % |
341.84/341.81 c | 364408 | 21173 700461 2138957 | 2147483647 364408 100 | 0.000 % |
343.44/343.43 c | 365461 | 21173 700461 2138957 | 2147483647 365461 100 | 0.000 % |
344.84/344.87 c | 366619 | 21173 700461 2138957 | 2147483647 366619 100 | 0.000 % |
346.24/346.20 c | 367892 | 21173 700461 2138957 | 2147483647 367892 100 | 0.000 % |
348.04/348.08 c | 369292 | 21173 700461 2138957 | 2147483647 369292 100 | 0.000 % |
350.04/350.06 c | 370836 | 21173 700461 2138957 | 2147483647 370836 100 | 0.000 % |
351.54/351.55 c | 372531 | 21173 700461 2138957 | 2147483647 372531 100 | 0.000 % |
353.24/353.25 c | 374394 | 21173 700461 2138957 | 2147483647 374394 100 | 0.000 % |
355.54/355.57 c | 376443 | 21173 700461 2138957 | 2147483647 376443 100 | 0.000 % |
358.34/358.39 c | 378699 | 21173 700461 2138957 | 2147483647 378699 100 | 0.000 % |
360.75/360.80 c | 381177 | 21173 700461 2138957 | 2147483647 381177 99 | 0.000 % |
363.65/363.70 c | 383902 | 21173 700461 2138957 | 2147483647 383902 100 | 0.000 % |
366.55/366.60 c | 386900 | 21173 700461 2138957 | 2147483647 386900 100 | 0.000 % |
369.45/369.43 c | 390197 | 21173 700461 2138957 | 2147483647 390197 99 | 0.000 % |
373.85/373.88 c | 393824 | 21173 700461 2138957 | 2147483647 393824 99 | 0.000 % |
373.95/374.01 c | 393925 | 21173 700461 2138957 | 2147483647 393925 99 | 0.000 % |
374.15/374.21 c | 394035 | 21173 700461 2138957 | 2147483647 394035 99 | 0.000 % |
374.45/374.46 c | 394156 | 21173 700461 2138957 | 2147483647 394156 100 | 0.000 % |
374.55/374.60 c | 394289 | 21173 700461 2138957 | 2147483647 394289 99 | 0.000 % |
374.75/374.75 c | 394436 | 21173 700461 2138957 | 2147483647 394436 99 | 0.000 % |
374.95/374.96 c | 394597 | 21173 700461 2138957 | 2147483647 394597 99 | 0.000 % |
375.25/375.21 c | 394775 | 21173 700461 2138957 | 2147483647 394775 99 | 0.000 % |
375.55/375.51 c | 394969 | 21173 700461 2138957 | 2147483647 394969 99 | 0.000 % |
375.75/375.80 c | 395183 | 21173 700461 2138957 | 2147483647 395183 99 | 0.000 % |
376.05/376.02 c | 395420 | 21173 700461 2138957 | 2147483647 395420 99 | 0.000 % |
376.35/376.36 c | 395676 | 21173 700461 2138957 | 2147483647 395676 99 | 0.000 % |
376.65/376.65 c | 395958 | 21173 700461 2138957 | 2147483647 395958 99 | 0.000 % |
376.85/376.88 c | 396267 | 21173 700461 2138957 | 2147483647 396267 99 | 0.000 % |
377.25/377.24 c | 396607 | 21173 700461 2138957 | 2147483647 396607 99 | 0.000 % |
377.55/377.61 c | 396979 | 21173 700461 2138957 | 2147483647 396979 99 | 0.000 % |
377.95/377.98 c | 397389 | 21173 700461 2138957 | 2147483647 397389 99 | 0.000 % |
378.45/378.45 c | 397839 | 21173 700461 2138957 | 2147483647 397839 99 | 0.000 % |
379.25/379.24 c | 398335 | 21173 700461 2138957 | 2147483647 398335 99 | 0.000 % |
379.75/379.73 c | 398879 | 21173 700461 2138957 | 2147483647 398879 99 | 0.000 % |
380.35/380.35 c | 399476 | 21173 700461 2138957 | 2147483647 399476 99 | 0.000 % |
380.95/380.94 c | 400132 | 21173 700461 2138957 | 2147483647 400132 99 | 0.000 % |
381.55/381.58 c | 400852 | 21173 700461 2138957 | 2147483647 400852 99 | 0.000 % |
382.55/382.59 c | 401644 | 21173 700461 2138957 | 2147483647 401644 99 | 0.000 % |
383.65/383.61 c | 402516 | 21173 700461 2138957 | 2147483647 402516 99 | 0.000 % |
384.85/384.87 c | 403475 | 21173 700461 2138957 | 2147483647 403475 99 | 0.000 % |
386.65/386.64 c | 404529 | 21173 700461 2138957 | 2147483647 404529 99 | 0.000 % |
388.75/388.72 c | 405689 | 21173 700461 2138957 | 2147483647 405689 99 | 0.000 % |
390.65/390.61 c | 406962 | 21173 700461 2138957 | 2147483647 406962 99 | 0.000 % |
393.15/393.14 c | 408363 | 21173 700461 2138957 | 2147483647 408363 99 | 0.000 % |
395.65/395.62 c | 409903 | 21173 700461 2138957 | 2147483647 409903 99 | 0.000 % |
398.05/398.04 c | 411597 | 21173 700461 2138957 | 2147483647 411597 99 | 0.000 % |
400.25/400.22 c | 413461 | 21173 700461 2138957 | 2147483647 413461 101 | 0.000 % |
402.35/402.41 c | 415511 | 21173 700461 2138957 | 2147483647 415511 101 | 0.000 % |
403.65/403.64 c | 417764 | 21173 700461 2138957 | 2147483647 417764 101 | 0.000 % |
405.65/405.70 c | 420242 | 21173 700461 2138957 | 2147483647 420242 101 | 0.001 % |
407.85/407.81 c | 422968 | 21173 700461 2138957 | 2147483647 422968 101 | 0.000 % |
409.85/409.90 c | 425965 | 21173 700461 2138957 | 2147483647 425965 101 | 0.001 % |
412.65/412.61 c | 429261 | 21173 700461 2138957 | 2147483647 429261 101 | 0.000 % |
415.05/415.03 c | 432886 | 21173 700461 2138957 | 2147483647 432886 101 | 0.001 % |
418.35/418.40 c | 436875 | 21173 700461 2138957 | 2147483647 436875 101 | 0.000 % |
418.55/418.56 c | 436978 | 21173 700461 2138957 | 2147483647 436978 101 | 0.000 % |
418.65/418.69 c | 437088 | 21173 700461 2138957 | 2147483647 437088 101 | 0.000 % |
418.95/418.96 c | 437209 | 21173 700461 2138957 | 2147483647 437209 101 | 0.000 % |
419.16/419.13 c | 437344 | 21173 700461 2138957 | 2147483647 437344 101 | 0.000 % |
419.25/419.29 c | 437490 | 21173 700461 2138957 | 2147483647 437490 101 | 0.000 % |
419.45/419.48 c | 437650 | 21173 700461 2138957 | 2147483647 437650 101 | 0.000 % |
419.75/419.71 c | 437827 | 21173 700461 2138957 | 2147483647 437827 101 | 0.000 % |
419.95/419.97 c | 438022 | 21173 700461 2138957 | 2147483647 438022 101 | 0.000 % |
420.35/420.35 c | 438237 | 21173 700461 2138957 | 2147483647 438237 101 | 0.000 % |
420.85/420.88 c | 438471 | 21173 700461 2138957 | 2147483647 438471 101 | 0.000 % |
421.36/421.37 c | 438728 | 21173 700461 2138957 | 2147483647 438728 101 | 0.000 % |
421.85/421.82 c | 439012 | 21173 700461 2138957 | 2147483647 439012 101 | 0.000 % |
422.46/422.48 c | 439322 | 21173 700461 2138957 | 2147483647 439322 101 | 0.000 % |
423.15/423.15 c | 439666 | 21173 700461 2138957 | 2147483647 439666 101 | 0.000 % |
423.65/423.65 c | 440038 | 21173 700461 2138957 | 2147483647 440038 101 | 0.000 % |
424.35/424.34 c | 440447 | 21173 700461 2138957 | 2147483647 440447 101 | 0.000 % |
424.95/424.93 c | 440896 | 21173 700461 2138957 | 2147483647 440896 101 | 0.000 % |
425.55/425.53 c | 441389 | 21173 700461 2138957 | 2147483647 441389 101 | 0.000 % |
426.05/426.10 c | 441934 | 21173 700461 2138957 | 2147483647 441934 101 | 0.000 % |
426.86/426.90 c | 442532 | 21173 700461 2138957 | 2147483647 442532 100 | 0.000 % |
427.85/427.91 c | 443189 | 21173 700461 2138957 | 2147483647 443189 100 | 0.000 % |
428.95/428.98 c | 443909 | 21173 700461 2138957 | 2147483647 443909 100 | 0.000 % |
430.05/430.04 c | 444702 | 21173 700461 2138957 | 2147483647 444702 100 | 0.000 % |
431.05/431.04 c | 445575 | 21173 700461 2138957 | 2147483647 445575 100 | 0.000 % |
432.45/432.41 c | 446533 | 21173 700461 2138957 | 2147483647 446533 100 | 0.000 % |
433.95/433.93 c | 447590 | 21173 700461 2138957 | 2147483647 447590 101 | 0.000 % |
435.75/435.74 c | 448751 | 21173 700461 2138957 | 2147483647 448751 100 | 0.000 % |
437.15/437.17 c | 450026 | 21173 700461 2138957 | 2147483647 450026 100 | 0.000 % |
438.65/438.69 c | 451428 | 21173 700461 2138957 | 2147483647 451428 100 | 0.000 % |
440.45/440.42 c | 452970 | 21173 700461 2138957 | 2147483647 452970 100 | 0.000 % |
442.05/442.02 c | 454666 | 21173 700461 2138957 | 2147483647 454666 100 | 0.001 % |
443.85/443.89 c | 456530 | 21173 700461 2138957 | 2147483647 456530 100 | 0.000 % |
446.05/446.02 c | 458580 | 21173 700461 2138957 | 2147483647 458580 100 | 0.000 % |
448.65/448.61 c | 460833 | 21173 700461 2138957 | 2147483647 460833 100 | 0.000 % |
452.05/452.10 c | 463312 | 21173 700461 2138957 | 2147483647 463312 100 | 0.000 % |
455.25/455.25 c | 466038 | 21173 700461 2138957 | 2147483647 466038 100 | 0.000 % |
460.16/460.20 c | 469036 | 21173 700461 2138957 | 2147483647 469036 101 | 0.000 % |
465.36/465.37 c | 472334 | 21173 700461 2138957 | 2147483647 472334 101 | 0.000 % |
470.36/470.37 c | 475961 | 21173 700461 2138957 | 2147483647 475961 102 | 0.000 % |
476.06/476.04 c | 479948 | 21173 700461 2138957 | 2147483647 479948 103 | 0.000 % |
482.46/482.46 c | 484333 | 21173 700461 2138957 | 2147483647 484333 102 | 0.000 % |
482.66/482.66 c | 484433 | 21173 700461 2138957 | 2147483647 484433 102 | 0.000 % |
482.96/482.99 c | 484545 | 21173 700461 2138957 | 2147483647 484545 102 | 0.000 % |
483.16/483.19 c | 484668 | 21173 700461 2138957 | 2147483647 484668 102 | 0.000 % |
483.36/483.38 c | 484802 | 21173 700461 2138957 | 2147483647 484802 102 | 0.000 % |
483.76/483.72 c | 484948 | 21173 700461 2138957 | 2147483647 484948 102 | 0.000 % |
483.96/484.01 c | 485111 | 21173 700461 2138957 | 2147483647 485111 102 | 0.000 % |
484.16/484.19 c | 485287 | 21173 700461 2138957 | 2147483647 485287 102 | 0.000 % |
484.46/484.46 c | 485481 | 21173 700461 2138957 | 2147483647 485481 102 | 0.000 % |
484.76/484.78 c | 485695 | 21173 700461 2138957 | 2147483647 485695 102 | 0.000 % |
485.06/485.07 c | 485929 | 21173 700461 2138957 | 2147483647 485929 102 | 0.000 % |
485.36/485.35 c | 486185 | 21173 700461 2138957 | 2147483647 486185 102 | 0.000 % |
485.76/485.76 c | 486466 | 21173 700461 2138957 | 2147483647 486466 102 | 0.000 % |
486.36/486.38 c | 486776 | 21173 700461 2138957 | 2147483647 486776 102 | 0.000 % |
487.06/487.07 c | 487116 | 21173 700461 2138957 | 2147483647 487116 102 | 0.000 % |
487.56/487.53 c | 487489 | 21173 700461 2138957 | 2147483647 487489 102 | 0.000 % |
488.16/488.15 c | 487898 | 21173 700461 2138957 | 2147483647 487898 102 | 0.000 % |
488.96/488.96 c | 488349 | 21173 700461 2138957 | 2147483647 488349 102 | 0.000 % |
489.66/489.67 c | 488847 | 21173 700461 2138957 | 2147483647 488847 102 | 0.000 % |
490.76/490.79 c | 489389 | 21173 700461 2138957 | 2147483647 489389 102 | 0.000 % |
491.66/491.70 c | 489986 | 21173 700461 2138957 | 2147483647 489986 102 | 0.000 % |
492.76/492.76 c | 490643 | 21173 700461 2138957 | 2147483647 490643 102 | 0.000 % |
493.76/493.80 c | 491363 | 21173 700461 2138957 | 2147483647 491363 102 | 0.000 % |
495.56/495.58 c | 492155 | 21173 700461 2138957 | 2147483647 492155 102 | 0.000 % |
496.86/496.88 c | 493027 | 21173 700461 2138957 | 2147483647 493027 102 | 0.000 % |
498.36/498.38 c | 493986 | 21173 700461 2138957 | 2147483647 493986 102 | 0.000 % |
499.86/499.82 c | 495039 | 21173 700461 2138957 | 2147483647 495039 102 | 0.000 % |
501.56/501.55 c | 496198 | 21173 700461 2138957 | 2147483647 496198 102 | 0.000 % |
503.26/503.23 c | 497471 | 21173 700461 2138957 | 2147483647 497471 102 | 0.000 % |
505.56/505.60 c | 498871 | 21173 700461 2138957 | 2147483647 498871 102 | 0.000 % |
507.96/507.94 c | 500412 | 21173 700461 2138957 | 2147483647 500412 102 | 0.000 % |
510.56/510.57 c | 502106 | 21173 700461 2138957 | 2147483647 502106 102 | 0.000 % |
513.16/513.21 c | 503970 | 21173 700461 2138957 | 2147483647 503970 102 | 0.000 % |
516.36/516.35 c | 506019 | 21173 700461 2138957 | 2147483647 506019 102 | 0.000 % |
519.86/519.85 c | 508272 | 21173 700461 2138957 | 2147483647 508272 102 | 0.000 % |
524.86/524.83 c | 510750 | 21173 700461 2138957 | 2147483647 510750 102 | 0.000 % |
529.66/529.70 c | 513475 | 21173 700461 2138957 | 2147483647 513475 102 | 0.000 % |
534.76/534.79 c | 516472 | 21173 700461 2138957 | 2147483647 516472 102 | 0.000 % |
540.36/540.32 c | 519769 | 21173 700461 2138957 | 2147483647 519769 102 | 0.000 % |
545.16/545.13 c | 523394 | 21173 700461 2138957 | 2147483647 523394 101 | 0.000 % |
550.66/550.69 c | 527381 | 21173 700461 2138957 | 2147483647 527381 101 | 0.000 % |
557.37/557.40 c | 531767 | 21173 700461 2138957 | 2147483647 531767 101 | 0.000 % |
564.97/564.93 c | 536593 | 21173 700461 2138957 | 2147483647 536593 101 | 0.000 % |
565.17/565.13 c | 536693 | 21173 700461 2138957 | 2147483647 536693 101 | 0.000 % |
565.27/565.30 c | 536805 | 21173 700461 2138957 | 2147483647 536805 101 | 0.000 % |
565.47/565.48 c | 536928 | 21173 700461 2138957 | 2147483647 536928 101 | 0.000 % |
565.77/565.73 c | 537062 | 21173 700461 2138957 | 2147483647 537062 101 | 0.000 % |
566.07/566.08 c | 537208 | 21173 700461 2138957 | 2147483647 537208 101 | 0.000 % |
566.37/566.40 c | 537369 | 21173 700461 2138957 | 2147483647 537369 101 | 0.000 % |
566.77/566.72 c | 537546 | 21173 700461 2138957 | 2147483647 537546 101 | 0.000 % |
567.17/567.17 c | 537739 | 21173 700461 2138957 | 2147483647 537739 101 | 0.000 % |
567.47/567.48 c | 537953 | 21173 700461 2138957 | 2147483647 537953 101 | 0.000 % |
567.87/567.83 c | 538186 | 21173 700461 2138957 | 2147483647 538186 101 | 0.000 % |
568.27/568.25 c | 538443 | 21173 700461 2138957 | 2147483647 538443 101 | 0.000 % |
568.57/568.58 c | 538725 | 21173 700461 2138957 | 2147483647 538725 101 | 0.000 % |
569.07/569.02 c | 539040 | 21173 700461 2138957 | 2147483647 539040 101 | 0.000 % |
570.17/570.18 c | 539380 | 21173 700461 2138957 | 2147483647 539380 101 | 0.000 % |
570.67/570.70 c | 539752 | 21173 700461 2138957 | 2147483647 539752 101 | 0.000 % |
571.37/571.33 c | 540161 | 21173 700461 2138957 | 2147483647 540161 101 | 0.000 % |
571.97/572.01 c | 540613 | 21173 700461 2138957 | 2147483647 540613 101 | 0.000 % |
572.67/572.71 c | 541110 | 21173 700461 2138957 | 2147483647 541110 101 | 0.000 % |
573.97/573.93 c | 541652 | 21173 700461 2138957 | 2147483647 541652 101 | 0.000 % |
574.77/574.75 c | 542248 | 21173 700461 2138957 | 2147483647 542248 101 | 0.000 % |
575.67/575.70 c | 542903 | 21173 700461 2138957 | 2147483647 542903 101 | 0.000 % |
576.87/576.89 c | 543624 | 21173 700461 2138957 | 2147483647 543624 101 | 0.000 % |
578.27/578.22 c | 544416 | 21173 700461 2138957 | 2147483647 544416 101 | 0.000 % |
579.87/579.88 c | 545288 | 21173 700461 2138957 | 2147483647 545288 101 | 0.000 % |
581.37/581.35 c | 546246 | 21173 700461 2138957 | 2147483647 546246 101 | 0.000 % |
583.67/583.69 c | 547299 | 21173 700461 2138957 | 2147483647 547299 101 | 0.000 % |
585.87/585.89 c | 548457 | 21173 700461 2138957 | 2147483647 548457 101 | 0.000 % |
588.57/588.58 c | 549730 | 21173 700461 2138957 | 2147483647 549730 101 | 0.000 % |
590.87/590.82 c | 551130 | 21173 700461 2138957 | 2147483647 551130 101 | 0.000 % |
593.67/593.65 c | 552673 | 21173 700461 2138957 | 2147483647 552673 101 | 0.000 % |
596.97/596.91 c | 554368 | 21173 700461 2138957 | 2147483647 554368 101 | 0.000 % |
600.07/600.05 c | 556231 | 21173 700461 2138957 | 2147483647 556231 100 | 0.000 % |
603.97/603.96 c | 558280 | 21173 700461 2138957 | 2147483647 558280 100 | 0.000 % |
608.17/608.19 c | 560533 | 21173 700461 2138957 | 2147483647 560533 100 | 0.000 % |
613.57/613.56 c | 563012 | 21173 700461 2138957 | 2147483647 563012 100 | 0.000 % |
619.07/619.10 c | 565737 | 21173 700461 2138957 | 2147483647 565737 100 | 0.000 % |
624.77/624.74 c | 568735 | 21173 700461 2138957 | 2147483647 568735 100 | 0.000 % |
631.17/631.12 c | 572033 | 21173 700461 2138957 | 2147483647 572033 100 | 0.000 % |
637.77/637.74 c | 575658 | 21173 700461 2138957 | 2147483647 575658 100 | 0.000 % |
644.37/644.31 c | 579645 | 21173 700461 2138957 | 2147483647 579645 100 | 0.000 % |
651.77/651.79 c | 584031 | 21173 700461 2138957 | 2147483647 584031 100 | 0.000 % |
659.48/659.46 c | 588855 | 21173 700461 2138957 | 2147483647 588855 101 | 0.000 % |
669.18/669.18 c | 594160 | 21173 700461 2138957 | 2147483647 594160 101 | 0.000 % |
669.38/669.38 c | 594264 | 21173 700461 2138957 | 2147483647 594264 101 | 0.000 % |
669.58/669.57 c | 594374 | 21173 700461 2138957 | 2147483647 594374 101 | 0.000 % |
669.88/669.83 c | 594496 | 21173 700461 2138957 | 2147483647 594496 101 | 0.000 % |
670.08/670.07 c | 594630 | 21173 700461 2138957 | 2147483647 594630 101 | 0.000 % |
670.38/670.35 c | 594779 | 21173 700461 2138957 | 2147483647 594779 101 | 0.000 % |
670.68/670.67 c | 594940 | 21173 700461 2138957 | 2147483647 594940 101 | 0.000 % |
670.98/671.01 c | 595116 | 21173 700461 2138957 | 2147483647 595116 101 | 0.000 % |
671.38/671.34 c | 595309 | 21173 700461 2138957 | 2147483647 595309 101 | 0.000 % |
671.98/671.93 c | 595521 | 21173 700461 2138957 | 2147483647 595521 101 | 0.000 % |
672.48/672.48 c | 595754 | 21173 700461 2138957 | 2147483647 595754 101 | 0.000 % |
672.88/672.85 c | 596010 | 21173 700461 2138957 | 2147483647 596010 101 | 0.000 % |
673.48/673.49 c | 596291 | 21173 700461 2138957 | 2147483647 596291 101 | 0.000 % |
674.08/674.06 c | 596600 | 21173 700461 2138957 | 2147483647 596600 101 | 0.000 % |
674.58/674.56 c | 596939 | 21173 700461 2138957 | 2147483647 596939 101 | 0.000 % |
675.28/675.23 c | 597311 | 21173 700461 2138957 | 2147483647 597311 101 | 0.000 % |
676.08/676.03 c | 597724 | 21173 700461 2138957 | 2147483647 597724 101 | 0.000 % |
676.78/676.74 c | 598173 | 21173 700461 2138957 | 2147483647 598173 101 | 0.000 % |
677.88/677.85 c | 598668 | 21173 700461 2138957 | 2147483647 598668 101 | 0.000 % |
678.48/678.43 c | 599210 | 21173 700461 2138957 | 2147483647 599210 101 | 0.000 % |
679.38/679.33 c | 599806 | 21173 700461 2138957 | 2147483647 599806 101 | 0.000 % |
680.48/680.48 c | 600462 | 21173 700461 2138957 | 2147483647 600462 101 | 0.000 % |
681.88/681.87 c | 601183 | 21173 700461 2138957 | 2147483647 601183 101 | 0.000 % |
683.08/683.02 c | 601975 | 21173 700461 2138957 | 2147483647 601975 101 | 0.000 % |
684.28/684.30 c | 602846 | 21173 700461 2138957 | 2147483647 602846 101 | 0.000 % |
685.58/685.57 c | 603804 | 21173 700461 2138957 | 2147483647 603804 101 | 0.000 % |
687.28/687.22 c | 604857 | 21173 700461 2138957 | 2147483647 604857 101 | 0.000 % |
689.18/689.14 c | 606017 | 21173 700461 2138957 | 2147483647 606017 101 | 0.000 % |
691.48/691.43 c | 607290 | 21173 700461 2138957 | 2147483647 607290 101 | 0.000 % |
693.58/693.56 c | 608690 | 21173 700461 2138957 | 2147483647 608690 101 | 0.000 % |
696.28/696.29 c | 610230 | 21173 700461 2138957 | 2147483647 610230 101 | 0.000 % |
699.47/699.50 c | 611924 | 21173 700461 2138957 | 2147483647 611924 101 | 0.000 % |
703.07/703.03 c | 613788 | 21173 700461 2138957 | 2147483647 613788 101 | 0.000 % |
707.67/707.60 c | 615837 | 21173 700461 2138957 | 2147483647 615837 101 | 0.000 % |
711.77/711.77 c | 618090 | 21173 700461 2138957 | 2147483647 618090 101 | 0.000 % |
717.28/717.26 c | 620568 | 21173 700461 2138957 | 2147483647 620568 101 | 0.000 % |
722.57/722.50 c | 623295 | 21173 700461 2138957 | 2147483647 623295 101 | 0.000 % |
728.28/728.24 c | 626292 | 21173 700461 2138957 | 2147483647 626292 100 | 0.000 % |
734.57/734.57 c | 629589 | 21173 700461 2138957 | 2147483647 629589 100 | 0.000 % |
740.07/740.02 c | 633214 | 21173 700461 2138957 | 2147483647 633214 100 | 0.000 % |
746.17/746.11 c | 637203 | 21173 700461 2138957 | 2147483647 637203 100 | 0.000 % |
753.28/753.27 c | 641589 | 21173 700461 2138957 | 2147483647 641589 100 | 0.000 % |
763.58/763.55 c | 646412 | 21173 700461 2138957 | 2147483647 646412 100 | 0.000 % |
773.68/773.70 c | 651719 | 21173 700461 2138957 | 2147483647 651719 100 | 0.000 % |
785.78/785.73 c | 657555 | 21173 700461 2138957 | 2147483647 657555 100 | 0.000 % |
786.08/786.05 c | 657656 | 21173 700461 2138957 | 2147483647 657656 100 | 0.000 % |
786.38/786.31 c | 657769 | 21173 700461 2138957 | 2147483647 657769 100 | 0.000 % |
786.58/786.56 c | 657892 | 21173 700461 2138957 | 2147483647 657892 100 | 0.000 % |
786.88/786.81 c | 658027 | 21173 700461 2138957 | 2147483647 658027 100 | 0.000 % |
787.38/787.31 c | 658174 | 21173 700461 2138957 | 2147483647 658174 100 | 0.000 % |
787.68/787.60 c | 658336 | 21173 700461 2138957 | 2147483647 658336 100 | 0.000 % |
787.98/787.92 c | 658514 | 21173 700461 2138957 | 2147483647 658514 100 | 0.000 % |
788.68/788.69 c | 658707 | 21173 700461 2138957 | 2147483647 658707 100 | 0.000 % |
789.08/789.10 c | 658920 | 21173 700461 2138957 | 2147483647 658920 100 | 0.000 % |
789.68/789.69 c | 659155 | 21173 700461 2138957 | 2147483647 659155 100 | 0.000 % |
790.18/790.18 c | 659411 | 21173 700461 2138957 | 2147483647 659411 100 | 0.000 % |
790.68/790.69 c | 659693 | 21173 700461 2138957 | 2147483647 659693 100 | 0.000 % |
791.38/791.40 c | 660003 | 21173 700461 2138957 | 2147483647 660003 100 | 0.000 % |
792.48/792.43 c | 660342 | 21173 700461 2138957 | 2147483647 660342 100 | 0.000 % |
793.28/793.23 c | 660715 | 21173 700461 2138957 | 2147483647 660715 100 | 0.000 % |
794.08/794.06 c | 661126 | 21173 700461 2138957 | 2147483647 661126 100 | 0.000 % |
794.88/794.87 c | 661575 | 21173 700461 2138957 | 2147483647 661575 100 | 0.000 % |
796.08/796.06 c | 662068 | 21173 700461 2138957 | 2147483647 662068 100 | 0.000 % |
797.38/797.33 c | 662610 | 21173 700461 2138957 | 2147483647 662610 100 | 0.000 % |
798.78/798.76 c | 663206 | 21173 700461 2138957 | 2147483647 663206 100 | 0.000 % |
800.28/800.22 c | 663861 | 21173 700461 2138957 | 2147483647 663861 100 | 0.000 % |
801.38/801.39 c | 664582 | 21173 700461 2138957 | 2147483647 664582 100 | 0.000 % |
802.88/802.89 c | 665374 | 21173 700461 2138957 | 2147483647 665374 100 | 0.000 % |
804.98/804.94 c | 666245 | 21173 700461 2138957 | 2147483647 666245 100 | 0.000 % |
806.68/806.62 c | 667203 | 21173 700461 2138957 | 2147483647 667203 100 | 0.000 % |
809.28/809.22 c | 668258 | 21173 700461 2138957 | 2147483647 668258 100 | 0.000 % |
811.68/811.67 c | 669417 | 21173 700461 2138957 | 2147483647 669417 100 | 0.000 % |
813.98/813.96 c | 670691 | 21173 700461 2138957 | 2147483647 670691 100 | 0.000 % |
817.18/817.17 c | 672091 | 21173 700461 2138957 | 2147483647 672091 100 | 0.000 % |
820.28/820.21 c | 673636 | 21173 700461 2138957 | 2147483647 673636 100 | 0.000 % |
823.39/823.33 c | 675330 | 21173 700461 2138957 | 2147483647 675330 100 | 0.000 % |
827.09/827.05 c | 677195 | 21173 700461 2138957 | 2147483647 677195 100 | 0.000 % |
831.89/831.82 c | 679247 | 21173 700461 2138957 | 2147483647 679247 100 | 0.000 % |
836.59/836.56 c | 681501 | 21173 700461 2138957 | 2147483647 681501 100 | 0.000 % |
841.79/841.75 c | 683979 | 21173 700461 2138957 | 2147483647 683979 100 | 0.000 % |
846.99/847.00 c | 686704 | 21173 700461 2138957 | 2147483647 686704 100 | 0.000 % |
851.50/851.48 c | 689704 | 21173 700461 2138957 | 2147483647 689704 99 | 0.000 % |
856.80/856.73 c | 693000 | 21173 700461 2138957 | 2147483647 693000 99 | 0.000 % |
865.00/864.95 c | 696625 | 21173 700461 2138957 | 2147483647 696625 99 | 0.000 % |
872.20/872.22 c | 700612 | 21173 700461 2138957 | 2147483647 700612 99 | 0.000 % |
877.50/877.42 c | 704998 | 21173 700461 2138957 | 2147483647 704998 99 | 0.000 % |
882.20/882.13 c | 709822 | 21173 700461 2138957 | 2147483647 709822 99 | 0.000 % |
888.20/888.14 c | 715130 | 21173 700461 2138957 | 2147483647 715130 98 | 0.000 % |
893.60/893.60 c | 720966 | 21173 700461 2138957 | 2147483647 720966 98 | 0.000 % |
902.50/902.49 c | 727384 | 21173 700461 2138957 | 2147483647 727384 98 | 0.000 % |
902.70/902.66 c | 727484 | 21173 700461 2138957 | 2147483647 727484 98 | 0.000 % |
902.90/902.83 c | 727594 | 21173 700461 2138957 | 2147483647 727594 98 | 0.000 % |
903.10/903.07 c | 727715 | 21173 700461 2138957 | 2147483647 727715 98 | 0.000 % |
903.30/903.31 c | 727848 | 21173 700461 2138957 | 2147483647 727848 98 | 0.000 % |
903.60/903.52 c | 727995 | 21173 700461 2138957 | 2147483647 727995 98 | 0.000 % |
903.90/903.87 c | 728155 | 21173 700461 2138957 | 2147483647 728155 98 | 0.000 % |
904.20/904.15 c | 728332 | 21173 700461 2138957 | 2147483647 728332 98 | 0.000 % |
904.50/904.45 c | 728525 | 21173 700461 2138957 | 2147483647 728525 98 | 0.000 % |
904.90/904.84 c | 728738 | 21173 700461 2138957 | 2147483647 728738 98 | 0.000 % |
905.30/905.24 c | 728972 | 21173 700461 2138957 | 2147483647 728972 98 | 0.000 % |
905.70/905.65 c | 729229 | 21173 700461 2138957 | 2147483647 729229 98 | 0.000 % |
906.10/906.04 c | 729511 | 21173 700461 2138957 | 2147483647 729511 98 | 0.000 % |
906.70/906.67 c | 729822 | 21173 700461 2138957 | 2147483647 729822 98 | 0.000 % |
907.30/907.24 c | 730164 | 21173 700461 2138957 | 2147483647 730164 98 | 0.000 % |
907.80/907.79 c | 730536 | 21173 700461 2138957 | 2147483647 730536 98 | 0.000 % |
908.50/908.45 c | 730947 | 21173 700461 2138957 | 2147483647 730947 98 | 0.000 % |
909.30/909.26 c | 731396 | 21173 700461 2138957 | 2147483647 731396 98 | 0.000 % |
910.30/910.24 c | 731890 | 21173 700461 2138957 | 2147483647 731890 98 | 0.000 % |
911.20/911.16 c | 732432 | 21173 700461 2138957 | 2147483647 732432 98 | 0.000 % |
912.20/912.16 c | 733028 | 21173 700461 2138957 | 2147483647 733028 98 | 0.000 % |
913.40/913.33 c | 733684 | 21173 700461 2138957 | 2147483647 733684 98 | 0.000 % |
914.60/914.52 c | 734404 | 21173 700461 2138957 | 2147483647 734404 97 | 0.000 % |
916.00/915.95 c | 735199 | 21173 700461 2138957 | 2147483647 735199 97 | 0.000 % |
917.40/917.33 c | 736070 | 21173 700461 2138957 | 2147483647 736070 97 | 0.000 % |
919.71/919.65 c | 737030 | 21172 698552 2134912 | 2147483647 736545 97 | 0.005 % |
921.40/921.38 c | 738088 | 21172 698552 2134912 | 2147483647 737603 97 | 0.005 % |
923.20/923.17 c | 739246 | 21061 698552 2134912 | 2147483647 738760 97 | 1.785 % |
925.10/925.05 c | 740519 | 21060 698552 2134912 | 2147483647 740032 97 | 1.791 % |
927.30/927.28 c ===============================================================================
927.30/927.28 c restarts : 1065
927.30/927.28 c conflicts : 741758 (803 /sec)
927.30/927.28 c decisions : 3911851 (1.21 % random) (4237 /sec)
927.30/927.28 c propagations : 490586675 (531387 /sec)
927.30/927.28 c conflict literals : 72088908 (53.22 % deleted)
927.30/927.28 c Memory used : 343.10 MB
927.30/927.28 c CPU time : 923.22 s
927.30/927.28 c
927.30/927.28 s UNSATISFIABLE
927.30/927.30 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821940-1242581284/watcher-1821940-1242581284 -o /tmp/evaluation-result-1821940-1242581284/solver-1821940-1242581284 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821940-1242581284.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=952 CPUtime=0
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 123 0 0 0 0 0 0 0 25 0 1 0 1022625675 974848 59 4294967295 134512640 135223648 3220632240 3220630824 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 238 61 46 174 0 63 0
[startup+0.017665 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=2068 CPUtime=0.02
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 411 0 0 0 2 0 0 0 25 0 1 0 1022625675 2117632 347 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 517 347 46 174 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4484
[startup+0.107647 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=9372 CPUtime=0.11
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 2116 0 0 0 10 1 0 0 25 0 1 0 1022625675 9596928 2052 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 2343 2053 46 174 0 2168 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11788
[startup+0.30763 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=24948 CPUtime=0.31
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 5790 0 0 0 26 5 0 0 25 0 1 0 1022625675 25546752 5726 4294967295 134512640 135223648 3220632240 3220631192 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 6237 5726 46 174 0 6062 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 27364
[startup+0.707595 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 10963
/proc/meminfo: memFree=713204/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=54424 CPUtime=0.71
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 13887 0 0 0 63 8 0 0 25 0 1 0 1022625675 55730176 12535 4294967295 134512640 135223648 3220632240 3220630256 134586814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 13606 12535 73 174 0 13431 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 56840
[startup+1.50753 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 10968
/proc/meminfo: memFree=662472/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=67468 CPUtime=1.51
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 15603 0 0 0 143 8 0 0 25 0 1 0 1022625675 69087232 14251 4294967295 134512640 135223648 3220632240 3220630592 134602396 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 16867 14251 74 174 0 16692 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 69884
[startup+3.10739 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10968
/proc/meminfo: memFree=656644/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2416 CPUtime=0
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1022625674 2473984 276 4294967295 134512640 135169312 3218669792 3218668328 3085319918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10963/statm: 604 276 235 161 0 43 0
[pid=10967] ppid=10963 vsize=58484 CPUtime=3.11
/proc/10967/stat : 10967 (SatELite_releas) R 10963 10963 14060 0 -1 4202496 16920 0 0 0 301 10 0 0 25 0 1 0 1022625675 59887616 12939 4294967295 134512640 135223648 3220632240 3220629044 134822447 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10967/statm: 14621 12939 74 174 0 14446 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 60900
[startup+6.30711 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10969
/proc/meminfo: memFree=666348/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=36096 CPUtime=2.84
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 8534 0 0 0 280 4 0 0 25 0 1 0 1022626022 36962304 8468 4294967295 134512640 135215339 3218958704 3218956992 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 9024 8468 73 172 0 8851 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 38516
[startup+12.7066 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 10969
/proc/meminfo: memFree=661916/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=40248 CPUtime=9.24
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 9581 0 0 0 918 6 0 0 25 0 1 0 1022626022 41213952 9515 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 10062 9515 73 172 0 9889 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 42668
[startup+25.5154 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 10969
/proc/meminfo: memFree=652216/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=49844 CPUtime=22.05
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 11969 0 0 0 2198 7 0 0 25 0 1 0 1022626022 51040256 11903 4294967295 134512640 135215339 3218958704 3218956992 134528728 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 12461 11903 73 172 0 12288 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 52264
[startup+51.1132 s]
/proc/loadavg: 1.06 1.00 1.00 3/95 10970
/proc/meminfo: memFree=635648/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=66660 CPUtime=47.65
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 16151 0 0 0 4756 9 0 0 25 0 1 0 1022626022 68259840 16085 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 16665 16085 73 172 0 16492 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 69080
[startup+102.319 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 11158
/proc/meminfo: memFree=609228/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=92680 CPUtime=98.86
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 22574 0 0 0 9873 13 0 0 25 0 1 0 1022626022 94904320 22508 4294967295 134512640 135215339 3218958704 3218956992 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 23170 22508 73 172 0 22997 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 95100
[startup+162.314 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 11349
/proc/meminfo: memFree=580228/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=121792 CPUtime=158.86
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 29902 0 0 0 15870 16 0 0 25 0 1 0 1022626022 124715008 29836 4294967295 134512640 135215339 3218958704 3218956992 134529157 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 30448 29836 73 172 0 30275 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 124212
[startup+222.318 s]
/proc/loadavg: 1.10 1.03 1.01 3/95 11538
/proc/meminfo: memFree=553560/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=148204 CPUtime=218.87
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 36450 0 0 0 21863 24 0 0 25 0 1 0 1022626022 151760896 36384 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 37051 36384 73 172 0 36878 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 150624
[startup+282.323 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 11722
/proc/meminfo: memFree=529636/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=173140 CPUtime=278.88
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 42543 0 0 0 27858 30 0 0 25 0 1 0 1022626022 177295360 42477 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 43285 42477 73 172 0 43112 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 175560
[startup+342.308 s]
/proc/loadavg: 1.03 1.03 1.00 4/95 11915
/proc/meminfo: memFree=508300/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=194112 CPUtime=338.87
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 47812 0 0 0 33853 34 0 0 25 0 1 0 1022626022 198770688 47746 4294967295 134512640 135215339 3218958704 3218956992 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10969/statm: 48528 47746 73 172 0 48355 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
[startup+642.312 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 12854
/proc/meminfo: memFree=415176/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=287708 CPUtime=638.9
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 70971 0 0 0 63844 46 0 0 25 0 1 0 1022626022 294612992 70905 4294967295 134512640 135215339 3218958704 3218956992 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 71927 70905 73 172 0 71754 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 290128
[startup+702.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 13046
/proc/meminfo: memFree=398072/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=305264 CPUtime=698.9
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 75328 0 0 0 69840 50 0 0 25 0 1 0 1022626022 312590336 75262 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 76316 75262 73 172 0 76143 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 307684
[startup+762.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13235
/proc/meminfo: memFree=385672/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=317356 CPUtime=758.91
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 78373 0 0 0 75839 52 0 0 25 0 1 0 1022626022 324972544 78307 4294967295 134512640 135215339 3218958704 3218956992 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 79339 78307 73 172 0 79166 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 319776
[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13424
/proc/meminfo: memFree=374008/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=328624 CPUtime=818.91
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 81220 0 0 0 81835 56 0 0 25 0 1 0 1022626022 336510976 81154 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 82156 81154 73 172 0 81983 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 331044
[startup+882.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13608
/proc/meminfo: memFree=361684/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=342388 CPUtime=878.93
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 84281 0 0 0 87828 65 0 0 25 0 1 0 1022626022 350605312 84215 4294967295 134512640 135215339 3218958704 3218956992 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 85597 84215 73 172 0 85424 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 344808
Solver just ended. Dumping a history of the last processes samples
[startup+895.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=358468/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=345344 CPUtime=892.53
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 85060 0 0 0 89187 66 0 0 25 0 1 0 1022626022 353632256 84994 4294967295 134512640 135215339 3218958704 3218956800 134527367 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 86336 84994 73 172 0 86163 0
Current children cumulated CPU time (s) 896
Current children cumulated vsize (KiB) 347764
[startup+908.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=355272/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=348388 CPUtime=905.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 85830 0 0 0 90467 66 0 0 25 0 1 0 1022626022 356749312 85764 4294967295 134512640 135215339 3218958704 3218956992 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87097 85764 73 172 0 86924 0
Current children cumulated CPU time (s) 908.8
Current children cumulated vsize (KiB) 350808
[startup+915.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=354592/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=349048 CPUtime=911.73
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86004 0 0 0 91106 67 0 0 25 0 1 0 1022626022 357425152 85938 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87262 85938 73 172 0 87089 0
Current children cumulated CPU time (s) 915.2
Current children cumulated vsize (KiB) 351468
[startup+921.518 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=353740/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=350136 CPUtime=918.13
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86281 0 0 0 91746 67 0 0 25 0 1 0 1022626022 358539264 86215 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87534 86215 73 172 0 87361 0
Current children cumulated CPU time (s) 921.6
Current children cumulated vsize (KiB) 352556
[startup+924.718 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=353120/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=350932 CPUtime=921.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86446 0 0 0 92066 67 0 0 25 0 1 0 1022626022 359354368 86380 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87733 86380 73 172 0 87560 0
Current children cumulated CPU time (s) 924.8
Current children cumulated vsize (KiB) 353352
[startup+926.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351196 CPUtime=922.93
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86500 0 0 0 92226 67 0 0 25 0 1 0 1022626022 359624704 86434 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87799 86434 73 172 0 87626 0
Current children cumulated CPU time (s) 926.4
Current children cumulated vsize (KiB) 353616
[startup+926.717 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351196 CPUtime=923.33
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86516 0 0 0 92266 67 0 0 25 0 1 0 1022626022 359624704 86450 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87799 86450 73 172 0 87626 0
Current children cumulated CPU time (s) 926.8
Current children cumulated vsize (KiB) 353616
[startup+927.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352748/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351328 CPUtime=923.73
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86533 0 0 0 92306 67 0 0 25 0 1 0 1022626022 359759872 86467 4294967295 134512640 135215339 3218958704 3218956992 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87832 86467 73 172 0 87659 0
Current children cumulated CPU time (s) 927.2
Current children cumulated vsize (KiB) 353748
[startup+927.217 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13796
/proc/meminfo: memFree=352500/2074464 swapFree=1949056/1959888
[pid=10963] ppid=10961 vsize=2420 CPUtime=3.47
/proc/10963/stat : 10963 (SatELiteGTI) S 10961 10963 14060 0 -1 4194304 386 17568 0 0 0 0 337 10 20 0 1 0 1022625674 2478080 278 4294967295 134512640 135169312 3218669792 3218666008 3085319918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10963/statm: 605 278 235 161 0 44 0
[pid=10969] ppid=10963 vsize=351328 CPUtime=923.83
/proc/10969/stat : 10969 (minisat_static) R 10963 10963 14060 0 -1 4202496 86535 0 0 0 92316 67 0 0 25 0 1 0 1022626022 359759872 86469 4294967295 134512640 135215339 3218958704 3218956920 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10969/statm: 87832 86469 73 172 0 87659 0
Current children cumulated CPU time (s) 927.3
Current children cumulated vsize (KiB) 353748
Child status: 20
Real time (s): 927.318
CPU time (s): 927.4
CPU user time (s): 926.59
CPU system time (s): 0.81
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 353748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 926.59
system time used= 0.81
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104769
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= 25
involuntary context switches= 1837
runsolver used 0.02 second user time and 0.03 second system time
The end
Begin job on tipi27 at 2009-05-17 19:28:04
IDJOB=1821940
IDBENCH=71743
IDSOLVER=657
FILE ID=tipi27/1821940-1242581284
PBS_JOBID=
Free space on /tmp= 8405 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= runsolver --timestamp -w /tmp/evaluation-result-1821940-1242581284/watcher-1821940-1242581284 -o /tmp/evaluation-result-1821940-1242581284/solver-1821940-1242581284 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821940-1242581284.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED= 1604845752
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 713080 kB
Buffers: 63796 kB
Cached: 1181300 kB
SwapCached: 5456 kB
Active: 458788 kB
Inactive: 795932 kB
HighTotal: 1178688 kB
HighFree: 312228 kB
LowTotal: 895776 kB
LowFree: 400852 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 14908 kB
Writeback: 0 kB
AnonPages: 9120 kB
Mapped: 3276 kB
Slab: 97712 kB
PageTables: 552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8405 MiB
End job on tipi27 at 2009-05-17 19:43:33