0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.28 c | 0 | 75031 227950 | -- 0 -- -- | -- | -569/1150
0.00/0.28 c ==============================================================================
0.00/0.28 c Result : #vars: 17527 #clauses: 75031 #literals: 227950
0.00/0.28 c CPU time: 0.26196 s
0.00/0.28 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.36 c | Number of variables: 17527 |
0.00/0.36 c | Number of clauses: 75031 |
0.35/0.42 c | Parsing time: 0.05 s |
0.35/0.43 c ============================[ Search Statistics ]==============================
0.35/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.35/0.43 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.35/0.43 c ===============================================================================
0.35/0.43 c | 0 | 17527 75031 227950 | 25010 0 nan | 0.000 % |
0.35/0.49 c | 100 | 17527 75031 227950 | 25010 100 235 | 0.000 % |
0.35/0.55 c | 200 | 17527 75031 227950 | 25010 200 213 | 0.000 % |
0.35/0.61 c | 300 | 17527 75031 227950 | 25010 300 199 | 0.000 % |
0.35/0.68 c | 410 | 17527 75031 227950 | 25010 410 192 | 0.000 % |
0.35/0.75 c | 511 | 17527 75031 227950 | 25010 511 201 | 0.000 % |
0.35/0.83 c | 623 | 17527 75031 227950 | 25010 623 208 | 0.000 % |
0.35/0.90 c | 744 | 17527 75031 227950 | 25010 744 215 | 0.000 % |
0.35/0.96 c | 845 | 17527 75031 227950 | 25010 845 210 | 0.000 % |
0.98/1.03 c | 955 | 17527 75031 227950 | 25010 955 208 | 0.000 % |
1.07/1.11 c | 1079 | 17527 75031 227950 | 25010 1079 211 | 0.000 % |
1.07/1.20 c | 1212 | 17527 75031 227950 | 25010 1212 207 | 0.000 % |
1.17/1.26 c | 1313 | 17527 75031 227950 | 25010 1313 206 | 0.000 % |
1.27/1.33 c | 1423 | 17527 75031 227950 | 25010 1423 204 | 0.000 % |
1.37/1.41 c | 1544 | 17527 75031 227950 | 25010 1544 209 | 0.000 % |
1.37/1.49 c | 1678 | 17527 75031 227950 | 25010 1678 206 | 0.000 % |
1.47/1.59 c | 1824 | 17527 75031 227950 | 25010 1824 209 | 0.000 % |
1.57/1.66 c | 1925 | 17527 75031 227950 | 25010 1925 211 | 0.000 % |
1.67/1.72 c | 2037 | 17527 75031 227950 | 25010 2037 208 | 0.000 % |
1.67/1.79 c | 2158 | 17527 75031 227950 | 25010 2158 207 | 0.000 % |
1.77/1.87 c | 2292 | 17527 75031 227950 | 25010 2292 206 | 0.000 % |
1.87/1.97 c | 2438 | 17527 75031 227950 | 25010 2438 203 | 0.000 % |
1.97/2.07 c | 2598 | 17527 75031 227950 | 25010 2598 203 | 0.000 % |
2.07/2.14 c | 2699 | 17527 75031 227950 | 25010 2699 204 | 0.000 % |
2.17/2.21 c | 2811 | 17527 75031 227950 | 25010 2811 203 | 0.000 % |
2.17/2.28 c | 2934 | 17527 75031 227950 | 25010 2934 203 | 0.000 % |
2.27/2.37 c | 3068 | 17527 75031 227950 | 25010 3068 203 | 0.000 % |
2.37/2.47 c | 3214 | 17527 75031 227950 | 25010 3214 201 | 0.000 % |
2.47/2.58 c | 3374 | 17527 75031 227950 | 25010 3374 200 | 0.000 % |
3.07/3.56 c | 3550 | 17527 75031 227950 | 25010 3550 201 | 0.000 % |
3.07/3.56 c | 3652 | 17527 75031 227950 | 25010 3652 199 | 0.000 % |
3.07/3.56 c | 3762 | 17527 75031 227950 | 25010 3762 199 | 0.000 % |
3.07/3.56 c | 3883 | 17527 75031 227950 | 25010 3883 199 | 0.000 % |
3.07/3.56 c | 4016 | 17527 75031 227950 | 25010 4016 198 | 0.000 % |
3.07/3.56 c | 4162 | 17527 75031 227950 | 25010 4162 200 | 0.000 % |
3.07/3.56 c | 4322 | 17527 75031 227950 | 25010 4322 200 | 0.000 % |
3.07/3.56 c | 4500 | 17527 75031 227950 | 25010 4500 200 | 0.000 % |
3.07/3.56 c | 4694 | 17527 75031 227950 | 25010 4694 201 | 0.000 % |
3.07/3.56 c | 4794 | 17527 75031 227950 | 25010 4794 200 | 0.000 % |
3.68/3.95 c | 4905 | 17527 75031 227950 | 25010 4905 200 | 0.000 % |
3.68/4.09 c | 5026 | 17527 75031 227950 | 25010 5026 199 | 0.000 % |
3.89/4.17 c | 5161 | 17527 75031 227950 | 25010 5161 199 | 0.000 % |
3.93/4.26 c | 5307 | 17527 75031 227950 | 25010 5307 198 | 0.000 % |
4.03/4.37 c | 5467 | 17527 75031 227950 | 25010 5467 199 | 0.000 % |
4.12/4.47 c | 5643 | 17527 75031 227950 | 25010 5643 200 | 0.000 % |
4.32/4.60 c | 5836 | 17527 75031 227950 | 25010 5836 202 | 0.000 % |
4.42/4.73 c | 6048 | 17527 75031 227950 | 25010 6048 205 | 0.000 % |
4.42/4.79 c | 6148 | 17527 75031 227950 | 25010 6148 204 | 0.000 % |
4.52/4.87 c | 6258 | 17527 75031 227950 | 25010 6258 204 | 0.000 % |
4.62/4.95 c | 6381 | 17527 75031 227950 | 25010 6381 203 | 0.000 % |
4.72/5.03 c | 6514 | 17527 75031 227950 | 25010 6514 203 | 0.000 % |
4.82/5.12 c | 6660 | 17527 75031 227950 | 25010 6660 203 | 0.000 % |
4.92/5.23 c | 6820 | 17527 75031 227950 | 25010 6820 203 | 0.000 % |
5.02/5.36 c | 6996 | 17527 75031 227950 | 25010 6996 204 | 0.000 % |
5.12/5.47 c | 7190 | 17527 75031 227950 | 25010 7190 203 | 0.000 % |
5.31/5.61 c | 7402 | 17527 75031 227950 | 25010 7402 205 | 0.000 % |
5.41/5.77 c | 7635 | 17527 75031 227950 | 25010 7635 204 | 0.000 % |
5.52/5.84 c | 7735 | 17527 75031 227950 | 25010 7735 204 | 0.000 % |
5.62/5.91 c | 7845 | 17527 75031 227950 | 25010 7845 203 | 0.000 % |
5.62/5.99 c | 7967 | 17527 75031 227950 | 25010 7967 204 | 0.000 % |
5.71/6.08 c | 8102 | 17527 75031 227950 | 25010 8102 203 | 0.000 % |
5.81/6.18 c | 8251 | 17527 75031 227950 | 25010 8251 203 | 0.000 % |
5.91/6.28 c | 8411 | 17527 75031 227950 | 25010 8411 203 | 0.000 % |
6.12/6.41 c | 8587 | 17527 75031 227950 | 25010 8587 203 | 0.000 % |
6.22/6.54 c | 8782 | 17527 75031 227950 | 25010 8782 202 | 0.000 % |
6.32/6.68 c | 8997 | 17527 75031 227950 | 25010 8997 202 | 0.000 % |
6.52/6.82 c | 9231 | 17527 75031 227950 | 25010 9231 202 | 0.000 % |
6.62/6.99 c | 9487 | 17527 75031 227950 | 25010 9487 203 | 0.000 % |
6.72/7.05 c | 9588 | 17527 75031 227950 | 25010 9588 203 | 0.000 % |
6.82/7.14 c | 9698 | 17527 75031 227950 | 25010 9698 203 | 0.000 % |
6.91/7.22 c | 9824 | 17527 75031 227950 | 25010 9824 204 | 0.000 % |
7.01/7.31 c | 9957 | 17527 75031 227950 | 25010 9957 204 | 0.000 % |
7.11/7.41 c | 10103 | 17527 75031 227950 | 2147483647 10103 203 | 0.000 % |
7.21/7.51 c | 10263 | 17527 75031 227950 | 2147483647 10263 203 | 0.000 % |
7.31/7.63 c | 10439 | 17527 75031 227950 | 2147483647 10439 204 | 0.000 % |
7.41/7.76 c | 10632 | 17527 75031 227950 | 2147483647 10632 204 | 0.000 % |
7.61/7.91 c | 10844 | 17527 75031 227950 | 2147483647 10844 204 | 0.000 % |
7.71/8.07 c | 11081 | 17527 75031 227950 | 2147483647 11081 205 | 0.000 % |
7.91/8.26 c | 11338 | 17527 75031 227950 | 2147483647 11338 206 | 0.000 % |
8.11/8.44 c | 11621 | 17527 75031 227950 | 2147483647 11621 206 | 0.000 % |
8.21/8.51 c | 11721 | 17527 75031 227950 | 2147483647 11721 206 | 0.000 % |
8.21/8.59 c | 11832 | 17527 75031 227950 | 2147483647 11832 206 | 0.000 % |
8.31/8.67 c | 11953 | 17527 75031 227950 | 2147483647 11953 206 | 0.000 % |
8.42/8.78 c | 12087 | 17527 75031 227950 | 2147483647 12087 206 | 0.000 % |
8.52/8.88 c | 12235 | 17527 75031 227950 | 2147483647 12235 206 | 0.000 % |
8.62/8.99 c | 12396 | 17527 75031 227950 | 2147483647 12396 207 | 0.000 % |
8.82/9.12 c | 12572 | 17527 75031 227950 | 2147483647 12572 207 | 0.000 % |
8.92/9.25 c | 12766 | 17527 75031 227950 | 2147483647 12766 207 | 0.000 % |
9.02/9.39 c | 12979 | 17527 75031 227950 | 2147483647 12979 207 | 0.000 % |
9.22/9.55 c | 13212 | 17527 75031 227950 | 2147483647 13212 207 | 0.000 % |
9.42/9.72 c | 13469 | 17527 75031 227950 | 2147483647 13469 207 | 0.000 % |
9.62/9.91 c | 13750 | 17527 75031 227950 | 2147483647 13750 207 | 0.000 % |
9.81/10.11 c | 14060 | 17527 75031 227950 | 2147483647 14060 207 | 0.000 % |
9.81/10.18 c | 14160 | 17527 75031 227950 | 2147483647 14160 207 | 0.000 % |
9.92/10.25 c | 14270 | 17527 75031 227950 | 2147483647 14270 206 | 0.000 % |
10.02/10.35 c | 14392 | 17527 75031 227950 | 2147483647 14392 206 | 0.000 % |
10.11/10.44 c | 14525 | 17527 75031 227950 | 2147483647 14525 206 | 0.000 % |
10.21/10.54 c | 14671 | 17527 75031 227950 | 2147483647 14671 206 | 0.000 % |
10.31/10.66 c | 14832 | 17527 75031 227950 | 2147483647 14832 206 | 0.000 % |
10.41/10.77 c | 15008 | 17527 75031 227950 | 2147483647 15008 206 | 0.000 % |
10.61/10.91 c | 15201 | 17527 75031 227950 | 2147483647 15201 205 | 0.000 % |
10.71/11.04 c | 15414 | 17527 75031 227950 | 2147483647 15414 206 | 0.000 % |
10.91/11.20 c | 15647 | 17527 75031 227950 | 2147483647 15647 207 | 0.000 % |
11.01/11.38 c | 15904 | 17527 75031 227950 | 2147483647 15904 207 | 0.000 % |
11.21/11.58 c | 16187 | 17527 75031 227950 | 2147483647 16187 207 | 0.000 % |
11.41/11.80 c | 16496 | 17527 75031 227950 | 2147483647 16496 207 | 0.000 % |
11.71/12.03 c | 16837 | 17527 75031 227950 | 2147483647 16837 207 | 0.000 % |
11.81/12.12 c | 16939 | 17527 75031 227950 | 2147483647 16939 208 | 0.000 % |
11.91/12.20 c | 17049 | 17527 75031 227950 | 2147483647 17049 207 | 0.000 % |
11.91/12.29 c | 17170 | 17527 75031 227950 | 2147483647 17170 207 | 0.000 % |
12.01/12.39 c | 17303 | 17527 75031 227950 | 2147483647 17303 208 | 0.000 % |
12.11/12.48 c | 17451 | 17527 75031 227950 | 2147483647 17451 208 | 0.000 % |
12.21/12.60 c | 17611 | 17527 75031 227950 | 2147483647 17611 208 | 0.000 % |
12.41/12.71 c | 17788 | 17527 75031 227950 | 2147483647 17788 208 | 0.000 % |
12.51/12.84 c | 17982 | 17527 75031 227950 | 2147483647 17982 208 | 0.000 % |
12.61/12.99 c | 18194 | 17527 75031 227950 | 2147483647 18194 208 | 0.000 % |
12.81/13.16 c | 18430 | 17527 75031 227950 | 2147483647 18430 208 | 0.000 % |
13.01/13.34 c | 18686 | 17527 75031 227950 | 2147483647 18686 208 | 0.000 % |
13.21/13.55 c | 18968 | 17527 75031 227950 | 2147483647 18968 209 | 0.000 % |
13.41/13.77 c | 19278 | 17527 75031 227950 | 2147483647 19278 209 | 0.000 % |
13.70/14.03 c | 19619 | 17527 75031 227950 | 2147483647 19619 211 | 0.000 % |
13.90/14.28 c | 19991 | 17527 75031 227950 | 2147483647 19991 211 | 0.000 % |
14.00/14.36 c | 20091 | 17527 75031 227950 | 2147483647 20091 212 | 0.000 % |
14.11/14.44 c | 20203 | 17527 75031 227950 | 2147483647 20203 211 | 0.000 % |
14.21/14.53 c | 20324 | 17527 75031 227950 | 2147483647 20324 211 | 0.000 % |
14.32/14.63 c | 20460 | 17527 75031 227950 | 2147483647 20460 211 | 0.000 % |
14.42/14.74 c | 20608 | 17527 75031 227950 | 2147483647 20608 211 | 0.000 % |
14.51/14.87 c | 20768 | 17527 75031 227950 | 2147483647 20768 211 | 0.000 % |
14.61/14.99 c | 20945 | 17527 75031 227950 | 2147483647 20945 211 | 0.000 % |
14.81/15.13 c | 21138 | 17527 75031 227950 | 2147483647 21138 211 | 0.000 % |
14.91/15.29 c | 21352 | 17527 75031 227950 | 2147483647 21352 210 | 0.000 % |
15.11/15.47 c | 21585 | 17527 75031 227950 | 2147483647 21585 211 | 0.000 % |
15.31/15.67 c | 21842 | 17527 75031 227950 | 2147483647 21842 211 | 0.000 % |
15.51/15.87 c | 22123 | 17527 75031 227950 | 2147483647 22123 211 | 0.000 % |
15.81/16.11 c | 22432 | 17527 75031 227950 | 2147483647 22432 212 | 0.000 % |
16.01/16.36 c | 22773 | 17527 75031 227950 | 2147483647 22773 212 | 0.000 % |
16.31/16.62 c | 23146 | 17527 75031 227950 | 2147483647 23146 213 | 0.000 % |
16.61/16.92 c | 23555 | 17527 75031 227950 | 2147483647 23555 213 | 0.000 % |
16.70/17.00 c | 23655 | 17527 75031 227950 | 2147483647 23655 213 | 0.000 % |
16.70/17.08 c | 23766 | 17527 75031 227950 | 2147483647 23766 213 | 0.000 % |
16.80/17.19 c | 23888 | 17527 75031 227950 | 2147483647 23888 213 | 0.000 % |
16.90/17.29 c | 24021 | 17527 75031 227950 | 2147483647 24021 212 | 0.000 % |
17.10/17.40 c | 24167 | 17527 75031 227950 | 2147483647 24167 213 | 0.000 % |
17.20/17.53 c | 24331 | 17527 75031 227950 | 2147483647 24331 212 | 0.000 % |
17.30/17.66 c | 24509 | 17527 75031 227950 | 2147483647 24509 213 | 0.000 % |
17.50/17.81 c | 24702 | 17527 75031 227950 | 2147483647 24702 213 | 0.000 % |
17.60/17.95 c | 24916 | 17527 75031 227950 | 2147483647 24916 213 | 0.000 % |
17.80/18.13 c | 25152 | 17527 75031 227950 | 2147483647 25152 213 | 0.000 % |
18.00/18.32 c | 25408 | 17527 75031 227950 | 2147483647 25408 212 | 0.000 % |
18.20/18.53 c | 25689 | 17527 75031 227950 | 2147483647 25689 212 | 0.000 % |
18.40/18.77 c | 25998 | 17527 75031 227950 | 2147483647 25998 213 | 0.000 % |
18.70/19.02 c | 26337 | 17527 75031 227950 | 2147483647 26337 213 | 0.000 % |
18.90/19.30 c | 26710 | 17527 75031 227950 | 2147483647 26710 213 | 0.000 % |
19.30/19.62 c | 27120 | 17527 75031 227950 | 2147483647 27120 213 | 0.000 % |
19.60/19.97 c | 27569 | 17527 75031 227950 | 2147483647 27569 213 | 0.000 % |
19.70/20.05 c | 27669 | 17527 75031 227950 | 2147483647 27669 213 | 0.000 % |
19.81/20.14 c | 27779 | 17527 75031 227950 | 2147483647 27779 213 | 0.000 % |
19.91/20.24 c | 27900 | 17527 75031 227950 | 2147483647 27900 213 | 0.000 % |
20.00/20.35 c | 28035 | 17527 75031 227950 | 2147483647 28035 213 | 0.000 % |
20.10/20.46 c | 28181 | 17527 75031 227950 | 2147483647 28181 213 | 0.000 % |
20.20/20.60 c | 28342 | 17527 75031 227950 | 2147483647 28342 213 | 0.000 % |
20.40/20.73 c | 28518 | 17527 75031 227950 | 2147483647 28518 213 | 0.000 % |
20.50/20.89 c | 28711 | 17527 75031 227950 | 2147483647 28711 214 | 0.000 % |
20.70/21.06 c | 28924 | 17527 75031 227950 | 2147483647 28924 214 | 0.000 % |
20.90/21.23 c | 29158 | 17527 75031 227950 | 2147483647 29158 214 | 0.000 % |
21.10/21.42 c | 29414 | 17527 75031 227950 | 2147483647 29414 214 | 0.000 % |
21.30/21.64 c | 29695 | 17527 75031 227950 | 2147483647 29695 214 | 0.000 % |
21.58/21.92 c | 30006 | 17527 75031 227950 | 2147483647 30006 213 | 0.000 % |
21.78/22.15 c | 30345 | 17527 75031 227950 | 2147483647 30345 214 | 0.000 % |
22.09/22.43 c | 30718 | 17527 75031 227950 | 2147483647 30718 214 | 0.000 % |
22.38/22.75 c | 31127 | 17527 75031 227950 | 2147483647 31127 215 | 0.000 % |
22.78/23.11 c | 31576 | 17527 75031 227950 | 2147483647 31576 215 | 0.000 % |
23.09/23.49 c | 32069 | 17527 75031 227950 | 2147483647 32069 215 | 0.000 % |
23.19/23.57 c | 32170 | 17527 75031 227950 | 2147483647 32170 214 | 0.000 % |
23.29/23.65 c | 32282 | 17527 75031 227950 | 2147483647 32282 214 | 0.000 % |
23.39/23.75 c | 32403 | 17527 75031 227950 | 2147483647 32403 214 | 0.000 % |
23.49/23.87 c | 32537 | 17527 75031 227950 | 2147483647 32537 214 | 0.000 % |
23.59/23.99 c | 32683 | 17527 75031 227950 | 2147483647 32683 214 | 0.000 % |
23.78/24.14 c | 32843 | 17527 75031 227950 | 2147483647 32843 214 | 0.000 % |
23.98/24.30 c | 33020 | 17527 75031 227950 | 2147483647 33020 214 | 0.000 % |
24.08/24.44 c | 33214 | 17527 75031 227950 | 2147483647 33214 214 | 0.000 % |
24.29/24.61 c | 33426 | 17527 75031 227950 | 2147483647 33426 214 | 0.000 % |
24.48/24.81 c | 33661 | 17527 75031 227950 | 2147483647 33661 214 | 0.000 % |
24.68/25.02 c | 33917 | 17527 75031 227950 | 2147483647 33917 214 | 0.000 % |
24.88/25.24 c | 34200 | 17527 75031 227950 | 2147483647 34200 214 | 0.000 % |
25.18/25.50 c | 34509 | 17527 75031 227950 | 2147483647 34509 214 | 0.000 % |
25.38/25.78 c | 34850 | 17527 75031 227950 | 2147483647 34850 214 | 0.000 % |
25.79/26.10 c | 35223 | 17527 75031 227950 | 2147483647 35223 214 | 0.000 % |
26.09/26.41 c | 35632 | 17527 75031 227950 | 2147483647 35632 214 | 0.000 % |
26.39/26.78 c | 36082 | 17527 75031 227950 | 2147483647 36082 214 | 0.000 % |
26.79/27.17 c | 36575 | 17527 75031 227950 | 2147483647 36575 215 | 0.000 % |
27.28/27.64 c | 37117 | 17527 75031 227950 | 2147483647 37117 216 | 0.000 % |
27.38/27.73 c | 37217 | 17527 75031 227950 | 2147483647 37217 216 | 0.000 % |
27.49/27.83 c | 37327 | 17527 75031 227950 | 2147483647 37327 216 | 0.000 % |
27.59/27.94 c | 37449 | 17527 75031 227950 | 2147483647 37449 215 | 0.000 % |
27.68/28.06 c | 37584 | 17527 75031 227950 | 2147483647 37584 215 | 0.000 % |
27.88/28.20 c | 37731 | 17527 75031 227950 | 2147483647 37731 215 | 0.000 % |
27.98/28.33 c | 37891 | 17527 75031 227950 | 2147483647 37891 215 | 0.000 % |
28.08/28.49 c | 38067 | 17527 75031 227950 | 2147483647 38067 215 | 0.000 % |
28.28/28.67 c | 38260 | 17527 75031 227950 | 2147483647 38260 215 | 0.000 % |
28.48/28.84 c | 38473 | 17527 75031 227950 | 2147483647 38473 215 | 0.000 % |
28.68/29.05 c | 38708 | 17527 75031 227950 | 2147483647 38708 215 | 0.000 % |
28.88/29.25 c | 38964 | 17527 75031 227950 | 2147483647 38964 215 | 0.000 % |
29.09/29.47 c | 39245 | 17527 75031 227950 | 2147483647 39245 215 | 0.000 % |
29.39/29.73 c | 39556 | 17527 75031 227950 | 2147483647 39556 215 | 0.000 % |
29.69/30.03 c | 39897 | 17527 75031 227950 | 2147483647 39897 216 | 0.000 % |
29.98/30.34 c | 40270 | 17527 75031 227950 | 2147483647 40270 216 | 0.000 % |
30.38/30.70 c | 40679 | 17527 75031 227950 | 2147483647 40679 216 | 0.000 % |
30.68/31.05 c | 41128 | 17527 75031 227950 | 2147483647 41128 216 | 0.000 % |
31.08/31.46 c | 41621 | 17527 75031 227950 | 2147483647 41621 217 | 0.000 % |
31.58/31.91 c | 42164 | 17527 75031 227950 | 2147483647 42164 217 | 0.000 % |
32.08/32.41 c | 42761 | 17527 75031 227950 | 2147483647 42761 218 | 0.000 % |
32.18/32.50 c | 42864 | 17527 75031 227950 | 2147483647 42864 218 | 0.000 % |
32.28/32.60 c | 42974 | 17527 75031 227950 | 2147483647 42974 218 | 0.000 % |
32.38/32.71 c | 43095 | 17527 75031 227950 | 2147483647 43095 218 | 0.000 % |
32.48/32.84 c | 43228 | 17527 75031 227950 | 2147483647 43228 218 | 0.000 % |
32.58/32.99 c | 43376 | 17527 75031 227950 | 2147483647 43376 218 | 0.000 % |
32.78/33.13 c | 43537 | 17527 75031 227950 | 2147483647 43537 218 | 0.000 % |
32.88/33.30 c | 43714 | 17527 75031 227950 | 2147483647 43714 218 | 0.000 % |
33.08/33.47 c | 43912 | 17527 75031 227950 | 2147483647 43912 218 | 0.000 % |
33.28/33.65 c | 44124 | 17527 75031 227950 | 2147483647 44124 218 | 0.000 % |
33.48/33.86 c | 44357 | 17527 75031 227950 | 2147483647 44357 218 | 0.000 % |
33.68/34.08 c | 44613 | 17527 75031 227950 | 2147483647 44613 218 | 0.000 % |
33.98/34.36 c | 44894 | 17527 75031 227950 | 2147483647 44894 219 | 0.000 % |
34.28/34.63 c | 45204 | 17527 75031 227950 | 2147483647 45204 220 | 0.000 % |
34.58/34.92 c | 45543 | 17527 75031 227950 | 2147483647 45543 220 | 0.000 % |
34.88/35.23 c | 45915 | 17527 75031 227950 | 2147483647 45915 220 | 0.000 % |
35.18/35.58 c | 46326 | 17527 75031 227950 | 2147483647 46326 220 | 0.000 % |
35.58/35.93 c | 46775 | 17527 75031 227950 | 2147483647 46775 222 | 0.000 % |
35.98/36.36 c | 47270 | 17527 75031 227950 | 2147483647 47270 222 | 0.000 % |
36.47/36.85 c | 47812 | 17527 75031 227950 | 2147483647 47812 222 | 0.000 % |
36.98/37.33 c | 48409 | 17527 75031 227950 | 2147483647 48409 223 | 0.000 % |
37.58/37.92 c | 49064 | 17527 75031 227950 | 2147483647 49064 223 | 0.000 % |
37.68/38.03 c | 49164 | 17527 75031 227950 | 2147483647 49164 223 | 0.000 % |
37.78/38.14 c | 49277 | 17527 75031 227950 | 2147483647 49277 223 | 0.000 % |
37.88/38.25 c | 49399 | 17527 75031 227950 | 2147483647 49399 223 | 0.000 % |
37.98/38.37 c | 49532 | 17527 75031 227950 | 2147483647 49532 223 | 0.000 % |
38.18/38.52 c | 49679 | 17527 75031 227950 | 2147483647 49679 223 | 0.000 % |
38.28/38.68 c | 49839 | 17527 75031 227950 | 2147483647 49839 223 | 0.000 % |
38.48/38.84 c | 50017 | 17527 75031 227950 | 2147483647 50017 223 | 0.000 % |
38.67/39.03 c | 50210 | 17527 75031 227950 | 2147483647 50210 223 | 0.000 % |
38.87/39.22 c | 50422 | 17527 75031 227950 | 2147483647 50422 223 | 0.000 % |
39.08/39.44 c | 50656 | 17527 75031 227950 | 2147483647 50656 223 | 0.000 % |
39.28/39.69 c | 50912 | 17527 75031 227950 | 2147483647 50912 223 | 0.000 % |
39.58/39.94 c | 51195 | 17527 75031 227950 | 2147483647 51195 223 | 0.000 % |
39.88/40.21 c | 51504 | 17527 75031 227950 | 2147483647 51504 223 | 0.000 % |
40.17/40.53 c | 51844 | 17527 75031 227950 | 2147483647 51844 224 | 0.000 % |
40.47/40.88 c | 52218 | 17527 75031 227950 | 2147483647 52218 224 | 0.000 % |
40.87/41.25 c | 52627 | 17527 75031 227950 | 2147483647 52627 224 | 0.000 % |
41.28/41.66 c | 53078 | 17527 75031 227950 | 2147483647 53078 223 | 0.000 % |
41.77/42.15 c | 53572 | 17527 75031 227950 | 2147483647 53572 224 | 0.000 % |
42.27/42.63 c | 54114 | 17527 75031 227950 | 2147483647 54114 224 | 0.000 % |
42.77/43.18 c | 54710 | 17527 75031 227950 | 2147483647 54710 224 | 0.000 % |
43.36/43.77 c | 55365 | 17527 75031 227950 | 2147483647 55365 224 | 0.000 % |
44.08/44.44 c | 56086 | 17527 75031 227950 | 2147483647 56086 225 | 0.000 % |
44.17/44.56 c | 56188 | 17527 75031 227950 | 2147483647 56188 225 | 0.000 % |
44.27/44.67 c | 56300 | 17527 75031 227950 | 2147483647 56300 225 | 0.000 % |
44.37/44.79 c | 56423 | 17527 75031 227950 | 2147483647 56423 225 | 0.000 % |
44.57/44.92 c | 56557 | 17527 75031 227950 | 2147483647 56557 225 | 0.000 % |
44.67/45.07 c | 56704 | 17527 75031 227950 | 2147483647 56704 225 | 0.000 % |
44.87/45.25 c | 56865 | 17527 75031 227950 | 2147483647 56865 225 | 0.000 % |
45.07/45.42 c | 57041 | 17527 75031 227950 | 2147483647 57041 225 | 0.000 % |
45.27/45.62 c | 57236 | 17527 75031 227950 | 2147483647 57236 225 | 0.000 % |
45.47/45.81 c | 57448 | 17527 75031 227950 | 2147483647 57448 224 | 0.000 % |
45.67/46.02 c | 57681 | 17527 75031 227950 | 2147483647 57681 224 | 0.000 % |
45.86/46.29 c | 57938 | 17527 75031 227950 | 2147483647 57938 224 | 0.000 % |
46.17/46.55 c | 58220 | 17527 75031 227950 | 2147483647 58220 224 | 0.000 % |
46.46/46.85 c | 58529 | 17527 75031 227950 | 2147483647 58529 225 | 0.000 % |
46.77/47.18 c | 58868 | 17527 75031 227950 | 2147483647 58868 225 | 0.000 % |
47.17/47.53 c | 59240 | 17527 75031 227950 | 2147483647 59240 225 | 0.000 % |
47.57/47.91 c | 59650 | 17527 75031 227950 | 2147483647 59650 225 | 0.000 % |
47.96/48.33 c | 60100 | 17527 75031 227950 | 2147483647 60100 225 | 0.000 % |
48.37/48.79 c | 60597 | 17527 75031 227950 | 2147483647 60597 225 | 0.000 % |
48.96/49.30 c | 61140 | 17527 75031 227950 | 2147483647 61140 226 | 0.000 % |
49.46/49.86 c | 61736 | 17527 75031 227950 | 2147483647 61736 226 | 0.000 % |
50.07/50.49 c | 62391 | 17527 75031 227950 | 2147483647 62391 227 | 0.000 % |
50.87/51.20 c | 63111 | 17527 75031 227950 | 2147483647 63111 227 | 0.000 % |
51.56/51.98 c | 63903 | 17527 75031 227950 | 2147483647 63903 228 | 0.000 % |
51.67/52.08 c | 64004 | 17527 75031 227950 | 2147483647 64004 228 | 0.000 % |
51.77/52.19 c | 64114 | 17527 75031 227950 | 2147483647 64114 228 | 0.000 % |
51.96/52.34 c | 64238 | 17527 75031 227950 | 2147483647 64238 228 | 0.000 % |
52.06/52.49 c | 64371 | 17527 75031 227950 | 2147483647 64371 228 | 0.000 % |
52.26/52.65 c | 64518 | 17527 75031 227950 | 2147483647 64518 228 | 0.000 % |
52.46/52.83 c | 64680 | 17527 75031 227950 | 2147483647 64680 228 | 0.000 % |
52.56/52.99 c | 64856 | 17527 75031 227950 | 2147483647 64856 228 | 0.000 % |
52.76/53.17 c | 65049 | 17527 75031 227950 | 2147483647 65049 228 | 0.000 % |
53.06/53.40 c | 65263 | 17527 75031 227950 | 2147483647 65263 228 | 0.000 % |
53.26/53.65 c | 65497 | 17527 75031 227950 | 2147483647 65497 228 | 0.000 % |
53.55/53.92 c | 65753 | 17527 75031 227950 | 2147483647 65753 228 | 0.000 % |
53.86/54.22 c | 66034 | 17527 75031 227950 | 2147483647 66034 228 | 0.000 % |
54.15/54.54 c | 66344 | 17527 75031 227950 | 2147483647 66344 228 | 0.000 % |
54.45/54.88 c | 66683 | 17527 75031 227950 | 2147483647 66683 228 | 0.000 % |
54.86/55.26 c | 67056 | 17527 75031 227950 | 2147483647 67056 228 | 0.000 % |
55.26/55.64 c | 67465 | 17527 75031 227950 | 2147483647 67465 228 | 0.000 % |
55.65/56.06 c | 67914 | 17527 75031 227950 | 2147483647 67914 228 | 0.000 % |
56.16/56.57 c | 68408 | 17527 75031 227950 | 2147483647 68408 228 | 0.000 % |
56.75/57.12 c | 68950 | 17527 75031 227950 | 2147483647 68950 229 | 0.000 % |
57.35/57.74 c | 69547 | 17527 75031 227950 | 2147483647 69547 229 | 0.000 % |
57.95/58.38 c | 70204 | 17527 75031 227950 | 2147483647 70204 229 | 0.000 % |
58.76/59.10 c | 70924 | 17527 75031 227950 | 2147483647 70924 230 | 0.000 % |
59.46/59.82 c | 71718 | 17527 75031 227950 | 2147483647 71718 230 | 0.000 % |
60.26/60.69 c | 72592 | 17527 75031 227950 | 2147483647 72592 231 | 0.000 % |
60.46/60.80 c | 72692 | 17527 75031 227950 | 2147483647 72692 231 | 0.000 % |
60.56/60.93 c | 72802 | 17527 75031 227950 | 2147483647 72802 231 | 0.000 % |
60.66/61.07 c | 72923 | 17527 75031 227950 | 2147483647 72923 231 | 0.000 % |
60.86/61.23 c | 73056 | 17527 75031 227950 | 2147483647 73056 231 | 0.000 % |
61.05/61.40 c | 73203 | 17527 75031 227950 | 2147483647 73203 230 | 0.000 % |
61.15/61.58 c | 73365 | 17527 75031 227950 | 2147483647 73365 230 | 0.000 % |
61.35/61.77 c | 73543 | 17527 75031 227950 | 2147483647 73543 230 | 0.000 % |
61.56/61.98 c | 73736 | 17527 75031 227950 | 2147483647 73736 230 | 0.000 % |
61.85/62.20 c | 73950 | 17527 75031 227950 | 2147483647 73950 230 | 0.000 % |
62.05/62.44 c | 74183 | 17527 75031 227950 | 2147483647 74183 231 | 0.000 % |
62.35/62.70 c | 74439 | 17527 75031 227950 | 2147483647 74439 230 | 0.000 % |
62.66/63.01 c | 74722 | 17527 75031 227950 | 2147483647 74722 230 | 0.000 % |
62.95/63.32 c | 75031 | 17527 75031 227950 | 2147483647 75031 230 | 0.000 % |
63.25/63.68 c | 75370 | 17527 75031 227950 | 2147483647 75370 230 | 0.000 % |
63.65/64.08 c | 75743 | 17527 75031 227950 | 2147483647 75743 231 | 0.000 % |
64.15/64.50 c | 76153 | 17527 75031 227950 | 2147483647 76153 231 | 0.000 % |
64.55/65.00 c | 76604 | 17527 75031 227950 | 2147483647 76604 231 | 0.000 % |
65.14/65.54 c | 77098 | 17527 75031 227950 | 2147483647 77098 231 | 0.000 % |
65.75/66.15 c | 77640 | 17527 75031 227950 | 2147483647 77640 231 | 0.000 % |
66.35/66.74 c | 78236 | 17527 75031 227950 | 2147483647 78236 231 | 0.000 % |
67.05/67.43 c | 78891 | 17527 75031 227950 | 2147483647 78891 232 | 0.000 % |
67.74/68.16 c | 79612 | 17527 75031 227950 | 2147483647 79612 232 | 0.000 % |
68.54/68.97 c | 80404 | 17527 75031 227950 | 2147483647 80404 232 | 0.000 % |
69.55/69.91 c | 81279 | 17527 75031 227950 | 2147483647 81279 232 | 0.000 % |
70.54/70.92 c | 82237 | 17527 75031 227950 | 2147483647 82237 233 | 0.000 % |
70.64/71.04 c | 82337 | 17527 75031 227950 | 2147483647 82337 233 | 0.000 % |
70.74/71.17 c | 82447 | 17527 75031 227950 | 2147483647 82447 233 | 0.000 % |
70.94/71.31 c | 82568 | 17527 75031 227950 | 2147483647 82568 233 | 0.000 % |
71.04/71.47 c | 82701 | 17527 75031 227950 | 2147483647 82701 233 | 0.000 % |
71.24/71.63 c | 82848 | 17527 75031 227950 | 2147483647 82848 233 | 0.000 % |
71.44/71.81 c | 83009 | 17527 75031 227950 | 2147483647 83009 232 | 0.000 % |
71.64/72.02 c | 83185 | 17527 75031 227950 | 2147483647 83185 233 | 0.000 % |
71.84/72.26 c | 83378 | 17527 75031 227950 | 2147483647 83378 233 | 0.000 % |
72.15/72.53 c | 83591 | 17527 75031 227950 | 2147483647 83591 232 | 0.000 % |
72.45/72.83 c | 83826 | 17527 75031 227950 | 2147483647 83826 232 | 0.000 % |
72.74/73.13 c | 84084 | 17527 75031 227950 | 2147483647 84084 233 | 0.000 % |
73.04/73.46 c | 84366 | 17527 75031 227950 | 2147483647 84366 233 | 0.000 % |
73.44/73.81 c | 84675 | 17527 75031 227950 | 2147483647 84675 233 | 0.000 % |
73.75/74.17 c | 85016 | 17527 75031 227950 | 2147483647 85016 233 | 0.000 % |
74.14/74.57 c | 85389 | 17527 75031 227950 | 2147483647 85389 233 | 0.000 % |
74.64/75.02 c | 85799 | 17527 75031 227950 | 2147483647 85799 233 | 0.000 % |
75.14/75.52 c | 86248 | 17527 75031 227950 | 2147483647 86248 233 | 0.000 % |
75.64/76.04 c | 86742 | 17527 75031 227950 | 2147483647 86742 233 | 0.000 % |
76.24/76.62 c | 87284 | 17527 75031 227950 | 2147483647 87284 233 | 0.000 % |
76.84/77.30 c | 87880 | 17527 75031 227950 | 2147483647 87880 233 | 0.000 % |
77.64/78.06 c | 88536 | 17527 75031 227950 | 2147483647 88536 233 | 0.000 % |
78.44/78.85 c | 89256 | 17527 75031 227950 | 2147483647 89256 233 | 0.000 % |
79.34/79.72 c | 90049 | 17527 75031 227950 | 2147483647 90049 233 | 0.000 % |
80.24/80.65 c | 90921 | 17527 75031 227950 | 2147483647 90921 233 | 0.000 % |
81.24/81.68 c | 91879 | 17527 75031 227950 | 2147483647 91879 233 | 0.000 % |
82.44/82.81 c | 92932 | 17527 75031 227950 | 2147483647 92932 234 | 0.000 % |
82.54/82.95 c | 93032 | 17527 75031 227950 | 2147483647 93032 234 | 0.000 % |
82.64/83.09 c | 93143 | 17527 75031 227950 | 2147483647 93143 234 | 0.000 % |
82.83/83.27 c | 93265 | 17527 75031 227950 | 2147483647 93265 234 | 0.000 % |
83.03/83.43 c | 93399 | 17527 75031 227950 | 2147483647 93399 234 | 0.000 % |
83.23/83.62 c | 93546 | 17527 75031 227950 | 2147483647 93546 234 | 0.000 % |
83.44/83.84 c | 93706 | 17527 75031 227950 | 2147483647 93706 234 | 0.000 % |
83.64/84.06 c | 93883 | 17527 75031 227950 | 2147483647 93883 234 | 0.000 % |
83.94/84.32 c | 94076 | 17527 75031 227950 | 2147483647 94076 234 | 0.000 % |
84.14/84.60 c | 94289 | 17527 75031 227950 | 2147483647 94289 234 | 0.000 % |
84.44/84.87 c | 94524 | 17527 75031 227950 | 2147483647 94524 233 | 0.000 % |
84.74/85.19 c | 94781 | 17527 75031 227950 | 2147483647 94781 233 | 0.000 % |
85.14/85.51 c | 95063 | 17527 75031 227950 | 2147483647 95063 234 | 0.000 % |
85.53/85.90 c | 95374 | 17527 75031 227950 | 2147483647 95374 233 | 0.000 % |
85.93/86.35 c | 95713 | 17527 75031 227950 | 2147483647 95713 233 | 0.000 % |
86.33/86.79 c | 96085 | 17527 75031 227950 | 2147483647 96085 233 | 0.000 % |
86.83/87.30 c | 96494 | 17527 75031 227950 | 2147483647 96494 233 | 0.000 % |
87.42/87.86 c | 96944 | 17527 75031 227950 | 2147483647 96944 233 | 0.000 % |
88.02/88.43 c | 97437 | 17527 75031 227950 | 2147483647 97437 233 | 0.000 % |
88.62/89.08 c | 97979 | 17527 75031 227950 | 2147483647 97979 233 | 0.000 % |
89.33/89.76 c | 98577 | 17527 75031 227950 | 2147483647 98577 233 | 0.000 % |
90.13/90.55 c | 99234 | 17527 75031 227950 | 2147483647 99234 233 | 0.000 % |
90.92/91.37 c | 99954 | 17527 75031 227950 | 2147483647 99954 234 | 0.000 % |
91.82/92.26 c | 100748 | 17527 75031 227950 | 2147483647 100748 234 | 0.000 % |
92.82/93.25 c | 101619 | 17527 75031 227950 | 2147483647 101619 234 | 0.000 % |
93.93/94.37 c | 102579 | 17527 75031 227950 | 2147483647 102579 235 | 0.000 % |
95.22/95.62 c | 103632 | 17527 75031 227950 | 2147483647 103632 235 | 0.000 % |
96.52/96.96 c | 104792 | 17527 75031 227950 | 2147483647 104792 236 | 0.000 % |
96.72/97.10 c | 104894 | 17527 75031 227950 | 2147483647 104894 236 | 0.000 % |
96.82/97.25 c | 105004 | 17527 75031 227950 | 2147483647 105004 236 | 0.000 % |
97.02/97.41 c | 105127 | 17527 75031 227950 | 2147483647 105127 236 | 0.000 % |
97.12/97.57 c | 105260 | 17527 75031 227950 | 2147483647 105260 236 | 0.000 % |
97.32/97.75 c | 105407 | 17527 75031 227950 | 2147483647 105407 235 | 0.000 % |
97.52/97.95 c | 105568 | 17527 75031 227950 | 2147483647 105568 235 | 0.000 % |
97.82/98.21 c | 105745 | 17527 75031 227950 | 2147483647 105745 235 | 0.000 % |
98.02/98.46 c | 105939 | 17527 75031 227950 | 2147483647 105939 235 | 0.000 % |
98.33/98.73 c | 106154 | 17527 75031 227950 | 2147483647 106154 235 | 0.000 % |
98.62/99.03 c | 106387 | 17527 75031 227950 | 2147483647 106387 235 | 0.000 % |
98.93/99.38 c | 106643 | 17527 75031 227950 | 2147483647 106643 235 | 0.000 % |
99.32/99.72 c | 106927 | 17527 75031 227950 | 2147483647 106927 235 | 0.000 % |
99.62/100.08 c | 107237 | 17527 75031 227950 | 2147483647 107237 235 | 0.000 % |
100.03/100.49 c | 107579 | 17527 75031 227950 | 2147483647 107579 235 | 0.000 % |
100.52/100.94 c | 107954 | 17527 75031 227950 | 2147483647 107954 235 | 0.000 % |
101.02/101.44 c | 108363 | 17527 75031 227950 | 2147483647 108363 235 | 0.000 % |
101.52/101.96 c | 108814 | 17527 75031 227950 | 2147483647 108814 235 | 0.000 % |
102.11/102.54 c | 109309 | 17527 75031 227950 | 2147483647 109309 236 | 0.000 % |
102.72/103.17 c | 109855 | 17527 75031 227950 | 2147483647 109855 236 | 0.000 % |
103.52/103.91 c | 110451 | 17527 75031 227950 | 2147483647 110451 235 | 0.000 % |
104.22/104.69 c | 111106 | 17527 75031 227950 | 2147483647 111106 235 | 0.000 % |
105.12/105.58 c | 111828 | 17527 75031 227950 | 2147483647 111828 236 | 0.000 % |
106.11/106.52 c | 112621 | 17527 75031 227950 | 2147483647 112621 236 | 0.000 % |
107.12/107.55 c | 113492 | 17527 75031 227950 | 2147483647 113492 236 | 0.000 % |
108.31/108.74 c | 114450 | 17527 75031 227950 | 2147483647 114450 237 | 0.000 % |
109.72/110.11 c | 115503 | 17527 75031 227950 | 2147483647 115503 238 | 0.000 % |
111.12/111.52 c | 116663 | 17527 75031 227950 | 2147483647 116663 238 | 0.000 % |
112.61/113.05 c | 117936 | 17527 75031 227950 | 2147483647 117936 239 | 0.000 % |
112.81/113.21 c | 118036 | 17527 75031 227950 | 2147483647 118036 239 | 0.000 % |
112.91/113.38 c | 118147 | 17527 75031 227950 | 2147483647 118147 239 | 0.000 % |
113.11/113.58 c | 118271 | 17527 75031 227950 | 2147483647 118271 238 | 0.000 % |
113.31/113.77 c | 118407 | 17527 75031 227950 | 2147483647 118407 238 | 0.000 % |
113.51/113.98 c | 118553 | 17527 75031 227950 | 2147483647 118553 238 | 0.000 % |
113.81/114.22 c | 118713 | 17527 75031 227950 | 2147483647 118713 238 | 0.000 % |
114.01/114.47 c | 118889 | 17527 75031 227950 | 2147483647 118889 238 | 0.000 % |
114.31/114.71 c | 119082 | 17527 75031 227950 | 2147483647 119082 238 | 0.000 % |
114.61/115.00 c | 119294 | 17527 75031 227950 | 2147483647 119294 238 | 0.000 % |
114.91/115.30 c | 119527 | 17527 75031 227950 | 2147483647 119527 238 | 0.000 % |
115.21/115.65 c | 119784 | 17527 75031 227950 | 2147483647 119784 238 | 0.000 % |
115.61/116.01 c | 120067 | 17527 75031 227950 | 2147483647 120067 238 | 0.000 % |
116.02/116.44 c | 120376 | 17527 75031 227950 | 2147483647 120376 238 | 0.000 % |
116.42/116.90 c | 120717 | 17527 75031 227950 | 2147483647 120717 238 | 0.000 % |
116.91/117.36 c | 121089 | 17527 75031 227950 | 2147483647 121089 239 | 0.000 % |
117.51/117.93 c | 121498 | 17527 75031 227950 | 2147483647 121498 238 | 0.000 % |
118.01/118.48 c | 121948 | 17527 75031 227950 | 2147483647 121948 239 | 0.000 % |
118.71/119.13 c | 122441 | 17527 75031 227950 | 2147483647 122441 239 | 0.000 % |
119.41/119.82 c | 122983 | 17527 75031 227950 | 2147483647 122983 239 | 0.000 % |
120.10/120.58 c | 123580 | 17527 75031 227950 | 2147483647 123580 239 | 0.000 % |
121.02/121.42 c | 124236 | 17527 75031 227950 | 2147483647 124236 240 | 0.000 % |
121.91/122.38 c | 124959 | 17527 75031 227950 | 2147483647 124959 240 | 0.000 % |
122.90/123.31 c | 125754 | 17527 75031 227950 | 2147483647 125754 240 | 0.000 % |
124.01/124.41 c | 126626 | 17527 75031 227950 | 2147483647 126626 240 | 0.000 % |
125.20/125.64 c | 127586 | 17527 75031 227950 | 2147483647 127586 240 | 0.000 % |
126.61/127.00 c | 128641 | 17527 75031 227950 | 2147483647 128641 241 | 0.000 % |
128.10/128.51 c | 129800 | 17527 75031 227950 | 2147483647 129800 240 | 0.000 % |
129.71/130.16 c | 131074 | 17527 75031 227950 | 2147483647 131074 241 | 0.000 % |
131.40/131.89 c | 132474 | 17527 75031 227950 | 2147483647 132474 242 | 0.000 % |
131.60/132.03 c | 132575 | 17527 75031 227950 | 2147483647 132575 242 | 0.000 % |
131.80/132.22 c | 132686 | 17527 75031 227950 | 2147483647 132686 242 | 0.000 % |
132.01/132.40 c | 132807 | 17527 75031 227950 | 2147483647 132807 242 | 0.000 % |
132.20/132.60 c | 132940 | 17527 75031 227950 | 2147483647 132940 242 | 0.000 % |
132.40/132.82 c | 133087 | 17527 75031 227950 | 2147483647 133087 242 | 0.000 % |
132.60/133.06 c | 133247 | 17527 75031 227950 | 2147483647 133247 242 | 0.000 % |
132.90/133.32 c | 133423 | 17527 75031 227950 | 2147483647 133423 242 | 0.000 % |
133.20/133.65 c | 133617 | 17527 75031 227950 | 2147483647 133617 242 | 0.000 % |
133.60/134.01 c | 133831 | 17527 75031 227950 | 2147483647 133831 242 | 0.000 % |
133.90/134.34 c | 134065 | 17527 75031 227950 | 2147483647 134065 242 | 0.000 % |
134.30/134.71 c | 134321 | 17527 75031 227950 | 2147483647 134321 242 | 0.000 % |
134.70/135.11 c | 134603 | 17527 75031 227950 | 2147483647 134603 242 | 0.000 % |
135.10/135.52 c | 134913 | 17527 75031 227950 | 2147483647 134913 242 | 0.000 % |
135.50/135.98 c | 135252 | 17527 75031 227950 | 2147483647 135252 242 | 0.000 % |
136.10/136.52 c | 135624 | 17527 75031 227950 | 2147483647 135624 242 | 0.000 % |
136.60/137.06 c | 136034 | 17527 75031 227950 | 2147483647 136034 242 | 0.000 % |
137.20/137.69 c | 136483 | 17527 75031 227950 | 2147483647 136483 242 | 0.000 % |
137.89/138.36 c | 136977 | 17527 75031 227950 | 2147483647 136977 242 | 0.000 % |
138.69/139.12 c | 137519 | 17527 75031 227950 | 2147483647 137519 242 | 0.000 % |
139.49/139.97 c | 138117 | 17527 75031 227950 | 2147483647 138117 242 | 0.000 % |
140.40/140.83 c | 138773 | 17527 75031 227950 | 2147483647 138773 242 | 0.000 % |
141.40/141.81 c | 139493 | 17527 75031 227950 | 2147483647 139493 242 | 0.000 % |
142.49/142.94 c | 140287 | 17527 75031 227950 | 2147483647 140287 243 | 0.000 % |
143.69/144.11 c | 141160 | 17527 75031 227950 | 2147483647 141160 243 | 0.000 % |
144.99/145.42 c | 142119 | 17527 75031 227950 | 2147483647 142119 244 | 0.000 % |
146.40/146.84 c | 143174 | 17527 75031 227950 | 2147483647 143174 244 | 0.000 % |
147.89/148.35 c | 144335 | 17527 75031 227950 | 2147483647 144335 244 | 0.000 % |
149.59/150.07 c | 145608 | 17527 75031 227950 | 2147483647 145608 245 | 0.000 % |
151.49/151.99 c | 147010 | 17527 75031 227950 | 2147483647 147010 246 | 0.000 % |
153.68/154.17 c | 148550 | 17527 75031 227950 | 2147483647 148550 247 | 0.000 % |
153.89/154.32 c | 148650 | 17527 75031 227950 | 2147483647 148650 247 | 0.000 % |
153.99/154.49 c | 148762 | 17527 75031 227950 | 2147483647 148762 246 | 0.000 % |
154.28/154.72 c | 148885 | 17527 75031 227950 | 2147483647 148885 246 | 0.000 % |
154.48/154.94 c | 149018 | 17527 75031 227950 | 2147483647 149018 246 | 0.000 % |
154.68/155.17 c | 149164 | 17527 75031 227950 | 2147483647 149164 246 | 0.000 % |
155.00/155.44 c | 149325 | 17527 75031 227950 | 2147483647 149325 246 | 0.000 % |
155.29/155.72 c | 149501 | 17527 75031 227950 | 2147483647 149501 246 | 0.000 % |
155.59/156.04 c | 149694 | 17527 75031 227950 | 2147483647 149694 246 | 0.000 % |
155.99/156.42 c | 149906 | 17527 75031 227950 | 2147483647 149906 246 | 0.000 % |
156.29/156.78 c | 150139 | 17527 75031 227950 | 2147483647 150139 246 | 0.000 % |
156.69/157.15 c | 150396 | 17527 75031 227950 | 2147483647 150396 246 | 0.000 % |
157.09/157.58 c | 150679 | 17527 75031 227950 | 2147483647 150679 246 | 0.000 % |
157.59/158.03 c | 150988 | 17527 75031 227950 | 2147483647 150988 246 | 0.000 % |
158.09/158.51 c | 151327 | 17527 75031 227950 | 2147483647 151327 246 | 0.000 % |
158.59/159.09 c | 151700 | 17527 75031 227950 | 2147483647 151700 246 | 0.000 % |
159.18/159.63 c | 152113 | 17527 75031 227950 | 2147483647 152113 246 | 0.000 % |
159.78/160.21 c | 152563 | 17527 75031 227950 | 2147483647 152563 246 | 0.000 % |
160.49/160.97 c | 153057 | 17527 75031 227950 | 2147483647 153057 246 | 0.000 % |
161.29/161.79 c | 153599 | 17527 75031 227950 | 2147483647 153599 246 | 0.000 % |
162.19/162.67 c | 154195 | 17527 75031 227950 | 2147483647 154195 246 | 0.000 % |
163.18/163.62 c | 154850 | 17527 75031 227950 | 2147483647 154850 246 | 0.000 % |
164.18/164.68 c | 155570 | 17527 75031 227950 | 2147483647 155570 246 | 0.000 % |
165.39/165.82 c | 156362 | 17527 75031 227950 | 2147483647 156362 246 | 0.000 % |
166.59/167.02 c | 157233 | 17527 75031 227950 | 2147483647 157233 246 | 0.000 % |
167.98/168.40 c | 158191 | 17527 75031 227950 | 2147483647 158191 246 | 0.000 % |
169.39/169.87 c | 159245 | 17527 75031 227950 | 2147483647 159245 246 | 0.000 % |
171.08/171.53 c | 160403 | 17527 75031 227950 | 2147483647 160403 246 | 0.000 % |
172.88/173.34 c | 161677 | 17527 75031 227950 | 2147483647 161677 246 | 0.000 % |
174.79/175.23 c | 163079 | 17527 75031 227950 | 2147483647 163079 247 | 0.000 % |
177.08/177.54 c | 164620 | 17527 75031 227950 | 2147483647 164620 248 | 0.000 % |
179.57/180.05 c | 166315 | 17527 75031 227950 | 2147483647 166315 249 | 0.000 % |
179.77/180.23 c | 166415 | 17527 75031 227950 | 2147483647 166415 249 | 0.000 % |
179.97/180.42 c | 166525 | 17527 75031 227950 | 2147483647 166525 249 | 0.000 % |
180.17/180.64 c | 166646 | 17527 75031 227950 | 2147483647 166646 249 | 0.000 % |
180.37/180.89 c | 166780 | 17527 75031 227950 | 2147483647 166780 249 | 0.000 % |
180.67/181.16 c | 166927 | 17527 75031 227950 | 2147483647 166927 249 | 0.000 % |
180.97/181.45 c | 167087 | 17527 75031 227950 | 2147483647 167087 249 | 0.000 % |
181.27/181.77 c | 167264 | 17527 75031 227950 | 2147483647 167264 249 | 0.000 % |
181.57/182.09 c | 167458 | 17527 75031 227950 | 2147483647 167458 248 | 0.000 % |
181.97/182.45 c | 167670 | 17527 75031 227950 | 2147483647 167670 248 | 0.000 % |
182.36/182.82 c | 167903 | 17527 75031 227950 | 2147483647 167903 248 | 0.000 % |
182.77/183.22 c | 168159 | 17527 75031 227950 | 2147483647 168159 248 | 0.000 % |
183.17/183.63 c | 168444 | 17527 75031 227950 | 2147483647 168444 248 | 0.000 % |
183.57/184.09 c | 168754 | 17527 75031 227950 | 2147483647 168754 248 | 0.000 % |
184.17/184.63 c | 169093 | 17527 75031 227950 | 2147483647 169093 248 | 0.000 % |
184.77/185.25 c | 169466 | 17527 75031 227950 | 2147483647 169466 248 | 0.000 % |
185.37/185.90 c | 169875 | 17527 75031 227950 | 2147483647 169875 248 | 0.000 % |
186.06/186.59 c | 170324 | 17527 75031 227950 | 2147483647 170324 248 | 0.000 % |
186.87/187.37 c | 170818 | 17527 75031 227950 | 2147483647 170818 249 | 0.000 % |
187.66/188.19 c | 171360 | 17527 75031 227950 | 2147483647 171360 248 | 0.000 % |
188.57/189.08 c | 171956 | 17527 75031 227950 | 2147483647 171956 248 | 0.000 % |
189.57/190.02 c | 172611 | 17527 75031 227950 | 2147483647 172611 248 | 0.000 % |
190.57/191.09 c | 173333 | 17527 75031 227950 | 2147483647 173333 248 | 0.000 % |
191.76/192.24 c | 174126 | 17527 75031 227950 | 2147483647 174126 248 | 0.000 % |
193.06/193.57 c | 174999 | 17527 75031 227950 | 2147483647 174999 248 | 0.000 % |
194.57/195.01 c | 175958 | 17527 75031 227950 | 2147483647 175958 249 | 0.000 % |
196.07/196.57 c | 177011 | 17527 75031 227950 | 2147483647 177011 249 | 0.000 % |
197.87/198.34 c | 178170 | 17527 75031 227950 | 2147483647 178170 249 | 0.000 % |
199.86/200.39 c | 179445 | 17527 75031 227950 | 2147483647 179445 249 | 0.000 % |
202.07/202.56 c | 180848 | 17527 75031 227950 | 2147483647 180848 250 | 0.000 % |
204.26/204.79 c | 182390 | 17527 75031 227950 | 2147483647 182390 251 | 0.000 % |
206.96/207.45 c | 184088 | 17527 75031 227950 | 2147483647 184088 251 | 0.000 % |
209.96/210.49 c | 185951 | 17527 75031 227950 | 2147483647 185951 252 | 0.000 % |
210.16/210.68 c | 186051 | 17527 75031 227950 | 2147483647 186051 252 | 0.000 % |
210.46/210.92 c | 186162 | 17527 75031 227950 | 2147483647 186162 252 | 0.000 % |
210.66/211.13 c | 186283 | 17527 75031 227950 | 2147483647 186283 252 | 0.000 % |
210.86/211.37 c | 186417 | 17527 75031 227950 | 2147483647 186417 252 | 0.000 % |
211.16/211.66 c | 186567 | 17527 75031 227950 | 2147483647 186567 251 | 0.000 % |
211.46/211.97 c | 186727 | 17527 75031 227950 | 2147483647 186727 251 | 0.000 % |
211.76/212.27 c | 186903 | 17527 75031 227950 | 2147483647 186903 251 | 0.000 % |
212.16/212.61 c | 187096 | 17527 75031 227950 | 2147483647 187096 251 | 0.000 % |
212.46/212.99 c | 187308 | 17527 75031 227950 | 2147483647 187308 251 | 0.000 % |
212.95/213.41 c | 187541 | 17527 75031 227950 | 2147483647 187541 251 | 0.000 % |
213.36/213.86 c | 187797 | 17527 75031 227950 | 2147483647 187797 251 | 0.000 % |
213.85/214.34 c | 188079 | 17527 75031 227950 | 2147483647 188079 251 | 0.000 % |
214.36/214.87 c | 188389 | 17527 75031 227950 | 2147483647 188389 251 | 0.000 % |
214.96/215.45 c | 188728 | 17527 75031 227950 | 2147483647 188728 251 | 0.000 % |
215.66/216.10 c | 189101 | 17527 75031 227950 | 2147483647 189101 251 | 0.000 % |
216.36/216.80 c | 189512 | 17527 75031 227950 | 2147483647 189512 251 | 0.000 % |
217.16/217.61 c | 189962 | 17527 75031 227950 | 2147483647 189962 251 | 0.000 % |
217.95/218.42 c | 190456 | 17527 75031 227950 | 2147483647 190456 251 | 0.000 % |
218.85/219.35 c | 190998 | 17527 75031 227950 | 2147483647 190998 251 | 0.000 % |
219.86/220.35 c | 191595 | 17527 75031 227950 | 2147483647 191595 251 | 0.000 % |
220.95/221.47 c | 192253 | 17527 75031 227950 | 2147483647 192253 251 | 0.000 % |
222.25/222.79 c | 192974 | 17527 75031 227950 | 2147483647 192974 251 | 0.000 % |
223.54/224.05 c | 193767 | 17527 75031 227950 | 2147483647 193767 251 | 0.000 % |
224.84/225.39 c | 194639 | 17527 75031 227950 | 2147483647 194639 251 | 0.000 % |
226.34/226.89 c | 195598 | 17527 75031 227950 | 2147483647 195598 251 | 0.000 % |
228.14/228.70 c | 196653 | 17527 75031 227950 | 2147483647 196653 251 | 0.000 % |
230.04/230.54 c | 197811 | 17527 75031 227950 | 2147483647 197811 251 | 0.000 % |
232.14/232.67 c | 199085 | 17527 75031 227950 | 2147483647 199085 251 | 0.000 % |
234.43/234.91 c | 200485 | 17527 75031 227950 | 2147483647 200485 252 | 0.000 % |
236.94/237.41 c | 202025 | 17527 75031 227950 | 2147483647 202025 252 | 0.000 % |
239.64/240.15 c | 203719 | 17527 75031 227950 | 2147483647 203719 252 | 0.000 % |
242.63/243.13 c | 205583 | 17527 75031 227950 | 2147483647 205583 252 | 0.000 % |
246.13/246.65 c | 207633 | 17527 75031 227950 | 2147483647 207633 252 | 0.000 % |
246.34/246.88 c | 207734 | 17527 75031 227950 | 2147483647 207734 252 | 0.000 % |
246.63/247.13 c | 207844 | 17527 75031 227950 | 2147483647 207844 252 | 0.000 % |
246.83/247.39 c | 207967 | 17527 75031 227950 | 2147483647 207967 252 | 0.000 % |
247.13/247.69 c | 208100 | 17527 75031 227950 | 2147483647 208100 252 | 0.000 % |
247.43/247.97 c | 208247 | 17527 75031 227950 | 2147483647 208247 252 | 0.000 % |
247.73/248.26 c | 208407 | 17527 75031 227950 | 2147483647 208407 252 | 0.000 % |
248.03/248.59 c | 208583 | 17527 75031 227950 | 2147483647 208583 252 | 0.000 % |
248.43/248.98 c | 208776 | 17527 75031 227950 | 2147483647 208776 252 | 0.000 % |
248.84/249.37 c | 208988 | 17527 75031 227950 | 2147483647 208988 252 | 0.000 % |
249.34/249.88 c | 209223 | 17527 75031 227950 | 2147483647 209223 252 | 0.000 % |
249.83/250.34 c | 209480 | 17527 75031 227950 | 2147483647 209480 252 | 0.000 % |
250.33/250.85 c | 209761 | 17527 75031 227950 | 2147483647 209761 252 | 0.000 % |
250.93/251.40 c | 210071 | 17527 75031 227950 | 2147483647 210071 252 | 0.000 % |
251.53/252.04 c | 210410 | 17527 75031 227950 | 2147483647 210410 252 | 0.000 % |
252.13/252.67 c | 210782 | 17527 75031 227950 | 2147483647 210782 252 | 0.000 % |
252.94/253.41 c | 211191 | 17527 75031 227950 | 2147483647 211191 252 | 0.000 % |
253.63/254.19 c | 211641 | 17527 75031 227950 | 2147483647 211641 252 | 0.000 % |
254.53/255.04 c | 212134 | 17527 75031 227950 | 2147483647 212134 252 | 0.000 % |
255.53/256.00 c | 212676 | 17527 75031 227950 | 2147483647 212676 252 | 0.000 % |
256.53/257.03 c | 213273 | 17527 75031 227950 | 2147483647 213273 252 | 0.000 % |
257.62/258.15 c | 213930 | 17527 75031 227950 | 2147483647 213930 252 | 0.000 % |
258.73/259.25 c | 214650 | 17527 75031 227950 | 2147483647 214650 252 | 0.000 % |
260.03/260.58 c | 215444 | 17527 75031 227950 | 2147483647 215444 252 | 0.000 % |
261.52/262.03 c | 216315 | 17527 75031 227950 | 2147483647 216315 252 | 0.000 % |
263.13/263.64 c | 217273 | 17527 75031 227950 | 2147483647 217273 252 | 0.000 % |
264.93/265.42 c | 218327 | 17527 75031 227950 | 2147483647 218327 253 | 0.000 % |
266.92/267.47 c | 219485 | 17527 75031 227950 | 2147483647 219485 253 | 0.000 % |
269.11/269.69 c | 220758 | 17527 75031 227950 | 2147483647 220758 253 | 0.000 % |
271.41/271.98 c | 222158 | 17527 75031 227950 | 2147483647 222158 254 | 0.000 % |
274.20/274.72 c | 223698 | 17527 75031 227950 | 2147483647 223698 254 | 0.000 % |
277.20/277.72 c | 225392 | 17527 75031 227950 | 2147483647 225392 254 | 0.000 % |
280.30/280.88 c | 227256 | 17527 75031 227950 | 2147483647 227256 254 | 0.000 % |
283.89/284.44 c | 229306 | 17527 75031 227950 | 2147483647 229306 255 | 0.000 % |
287.69/288.22 c | 231562 | 17527 75031 227950 | 2147483647 231562 255 | 0.000 % |
287.88/288.47 c | 231662 | 17527 75031 227950 | 2147483647 231662 255 | 0.000 % |
288.19/288.71 c | 231772 | 17527 75031 227950 | 2147483647 231772 255 | 0.000 % |
288.39/288.97 c | 231895 | 17527 75031 227950 | 2147483647 231895 255 | 0.000 % |
288.69/289.26 c | 232028 | 17527 75031 227950 | 2147483647 232028 255 | 0.000 % |
288.99/289.60 c | 232175 | 17527 75031 227950 | 2147483647 232175 255 | 0.000 % |
289.39/289.96 c | 232335 | 17527 75031 227950 | 2147483647 232335 255 | 0.000 % |
289.79/290.32 c | 232511 | 17527 75031 227950 | 2147483647 232511 255 | 0.000 % |
290.19/290.74 c | 232704 | 17527 75031 227950 | 2147483647 232704 255 | 0.000 % |
290.59/291.19 c | 232916 | 17527 75031 227950 | 2147483647 232916 255 | 0.000 % |
291.09/291.65 c | 233149 | 17527 75031 227950 | 2147483647 233149 255 | 0.000 % |
291.59/292.17 c | 233405 | 17527 75031 227950 | 2147483647 233405 255 | 0.000 % |
292.19/292.72 c | 233687 | 17527 75031 227950 | 2147483647 233687 255 | 0.000 % |
292.79/293.36 c | 233996 | 17527 75031 227950 | 2147483647 233996 255 | 0.000 % |
293.49/294.01 c | 234335 | 17527 75031 227950 | 2147483647 234335 255 | 0.000 % |
294.18/294.75 c | 234708 | 17527 75031 227950 | 2147483647 234708 255 | 0.000 % |
294.98/295.50 c | 235117 | 17527 75031 227950 | 2147483647 235117 255 | 0.000 % |
295.88/296.40 c | 235566 | 17527 75031 227950 | 2147483647 235566 255 | 0.000 % |
296.89/297.41 c | 236060 | 17527 75031 227950 | 2147483647 236060 255 | 0.000 % |
297.88/298.44 c | 236604 | 17527 75031 227950 | 2147483647 236604 255 | 0.000 % |
298.98/299.55 c | 237200 | 17527 75031 227950 | 2147483647 237200 255 | 0.000 % |
300.18/300.76 c | 237855 | 17527 75031 227950 | 2147483647 237855 255 | 0.000 % |
301.48/302.04 c | 238575 | 17527 75031 227950 | 2147483647 238575 255 | 0.000 % |
302.88/303.47 c | 239367 | 17527 75031 227950 | 2147483647 239367 255 | 0.000 % |
304.58/305.13 c | 240239 | 17527 75031 227950 | 2147483647 240239 255 | 0.000 % |
306.38/306.99 c | 241198 | 17527 75031 227950 | 2147483647 241198 255 | 0.000 % |
308.37/308.92 c | 242253 | 17527 75031 227950 | 2147483647 242253 255 | 0.000 % |
310.58/311.16 c | 243414 | 17527 75031 227950 | 2147483647 243414 255 | 0.000 % |
313.06/313.61 c | 244693 | 17527 75031 227950 | 2147483647 244693 256 | 0.000 % |
315.57/316.14 c | 246093 | 17527 75031 227950 | 2147483647 246093 256 | 0.000 % |
318.35/319.00 c | 247633 | 17527 75031 227950 | 2147483647 247633 256 | 0.000 % |
321.46/322.09 c | 249328 | 17527 75031 227950 | 2147483647 249328 256 | 0.000 % |
325.06/325.63 c | 251193 | 17527 75031 227950 | 2147483647 251193 257 | 0.000 % |
328.65/329.28 c | 253242 | 17527 75031 227950 | 2147483647 253242 257 | 0.000 % |
332.75/333.38 c | 255496 | 17527 75031 227950 | 2147483647 255496 257 | 0.000 % |
337.35/337.98 c | 257974 | 17527 75031 227950 | 2147483647 257974 257 | 0.000 % |
337.65/338.28 c | 258074 | 17527 75031 227950 | 2147483647 258074 257 | 0.000 % |
337.95/338.56 c | 258184 | 17527 75031 227950 | 2147483647 258184 257 | 0.000 % |
338.25/338.88 c | 258305 | 17527 75031 227950 | 2147483647 258305 257 | 0.000 % |
338.55/339.19 c | 258442 | 17527 75031 227950 | 2147483647 258442 257 | 0.000 % |
338.95/339.53 c | 258588 | 17527 75031 227950 | 2147483647 258588 257 | 0.000 % |
339.34/339.92 c | 258748 | 17527 75031 227950 | 2147483647 258748 257 | 0.000 % |
339.65/340.30 c | 258927 | 17527 75031 227950 | 2147483647 258927 257 | 0.000 % |
340.15/340.72 c | 259121 | 17527 75031 227950 | 2147483647 259121 257 | 0.000 % |
340.55/341.15 c | 259333 | 17527 75031 227950 | 2147483647 259333 257 | 0.000 % |
341.15/341.71 c | 259567 | 17527 75031 227950 | 2147483647 259567 257 | 0.000 % |
341.75/342.30 c | 259823 | 17527 75031 227950 | 2147483647 259823 257 | 0.000 % |
342.35/342.99 c | 260106 | 17527 75031 227950 | 2147483647 260106 257 | 0.000 % |
343.05/343.65 c | 260415 | 17527 75031 227950 | 2147483647 260415 257 | 0.000 % |
343.74/344.36 c | 260754 | 17527 75031 227950 | 2147483647 260754 257 | 0.000 % |
344.54/345.12 c | 261128 | 17527 75031 227950 | 2147483647 261128 257 | 0.000 % |
345.34/345.92 c | 261537 | 17527 75031 227950 | 2147483647 261537 257 | 0.000 % |
346.15/346.76 c | 261987 | 17527 75031 227950 | 2147483647 261987 257 | 0.000 % |
347.14/347.77 c | 262480 | 17527 75031 227950 | 2147483647 262480 257 | 0.000 % |
348.14/348.79 c | 263022 | 17527 75031 227950 | 2147483647 263022 257 | 0.000 % |
349.44/350.01 c | 263618 | 17527 75031 227950 | 2147483647 263618 257 | 0.000 % |
350.64/351.29 c | 264275 | 17527 75031 227950 | 2147483647 264275 258 | 0.000 % |
351.94/352.57 c | 264996 | 17527 75031 227950 | 2147483647 264996 258 | 0.000 % |
353.54/354.15 c | 265789 | 17527 75031 227950 | 2147483647 265789 258 | 0.000 % |
355.04/355.61 c | 266661 | 17527 75031 227950 | 2147483647 266661 258 | 0.000 % |
356.83/357.47 c | 267620 | 17527 75031 227950 | 2147483647 267620 258 | 0.000 % |
358.93/359.58 c | 268674 | 17527 75031 227950 | 2147483647 268674 258 | 0.000 % |
361.33/361.92 c | 269833 | 17527 75031 227950 | 2147483647 269833 258 | 0.000 % |
363.84/364.49 c | 271107 | 17527 75031 227950 | 2147483647 271107 258 | 0.000 % |
366.73/367.35 c | 272507 | 17527 75031 227950 | 2147483647 272507 258 | 0.000 % |
369.73/370.30 c | 274047 | 17527 75031 227950 | 2147483647 274047 258 | 0.000 % |
373.22/373.83 c | 275741 | 17527 75031 227950 | 2147483647 275741 259 | 0.000 % |
376.83/377.49 c | 277604 | 17527 75031 227950 | 2147483647 277604 259 | 0.000 % |
380.82/381.48 c | 279653 | 17527 75031 227950 | 2147483647 279653 259 | 0.000 % |
385.32/385.97 c | 281906 | 17527 75031 227950 | 2147483647 281906 259 | 0.000 % |
390.22/390.84 c | 284387 | 17527 75031 227950 | 2147483647 284387 260 | 0.000 % |
395.62/396.26 c | 287112 | 17527 75031 227950 | 2147483647 287112 260 | 0.000 % |
395.82/396.48 c | 287212 | 17527 75031 227950 | 2147483647 287212 260 | 0.000 % |
396.12/396.77 c | 287322 | 17527 75031 227950 | 2147483647 287322 260 | 0.000 % |
396.52/397.10 c | 287443 | 17527 75031 227950 | 2147483647 287443 260 | 0.000 % |
396.82/397.50 c | 287576 | 17527 75031 227950 | 2147483647 287576 260 | 0.000 % |
397.22/397.89 c | 287722 | 17527 75031 227950 | 2147483647 287722 259 | 0.000 % |
397.62/398.26 c | 287882 | 17527 75031 227950 | 2147483647 287882 259 | 0.000 % |
398.11/398.74 c | 288058 | 17527 75031 227950 | 2147483647 288058 259 | 0.000 % |
398.61/399.27 c | 288252 | 17527 75031 227950 | 2147483647 288252 259 | 0.000 % |
399.12/399.78 c | 288467 | 17527 75031 227950 | 2147483647 288467 259 | 0.000 % |
399.71/400.30 c | 288700 | 17527 75031 227950 | 2147483647 288700 259 | 0.000 % |
400.31/400.90 c | 288958 | 17527 75031 227950 | 2147483647 288958 259 | 0.000 % |
400.92/401.55 c | 289239 | 17527 75031 227950 | 2147483647 289239 259 | 0.000 % |
401.61/402.27 c | 289549 | 17527 75031 227950 | 2147483647 289549 259 | 0.000 % |
402.51/403.14 c | 289888 | 17527 75031 227950 | 2147483647 289888 259 | 0.000 % |
403.31/403.94 c | 290262 | 17527 75031 227950 | 2147483647 290262 259 | 0.000 % |
404.30/404.90 c | 290672 | 17527 75031 227950 | 2147483647 290672 259 | 0.000 % |
405.30/405.92 c | 291123 | 17527 75031 227950 | 2147483647 291123 259 | 0.000 % |
406.40/407.02 c | 291616 | 17527 75031 227950 | 2147483647 291616 259 | 0.000 % |
407.60/408.22 c | 292158 | 17527 75031 227950 | 2147483647 292158 259 | 0.000 % |
408.80/409.49 c | 292755 | 17527 75031 227950 | 2147483647 292755 259 | 0.000 % |
410.31/410.91 c | 293410 | 17527 75031 227950 | 2147483647 293410 259 | 0.000 % |
411.80/412.48 c | 294130 | 17527 75031 227950 | 2147483647 294130 259 | 0.000 % |
413.60/414.20 c | 294924 | 17527 75031 227950 | 2147483647 294924 259 | 0.000 % |
415.30/415.99 c | 295796 | 17527 75031 227950 | 2147483647 295796 259 | 0.000 % |
417.50/418.14 c | 296755 | 17527 75031 227950 | 2147483647 296755 259 | 0.000 % |
419.60/420.26 c | 297808 | 17527 75031 227950 | 2147483647 297808 259 | 0.000 % |
422.10/422.79 c | 298966 | 17527 75031 227950 | 2147483647 298966 260 | 0.000 % |
424.90/425.58 c | 300242 | 17527 75031 227950 | 2147483647 300242 260 | 0.000 % |
428.00/428.65 c | 301642 | 17527 75031 227950 | 2147483647 301642 260 | 0.000 % |
431.39/432.02 c | 303182 | 17527 75031 227950 | 2147483647 303182 260 | 0.000 % |
435.09/435.72 c | 304877 | 17527 75031 227950 | 2147483647 304877 260 | 0.000 % |
438.79/439.47 c | 306740 | 17527 75031 227950 | 2147483647 306740 260 | 0.000 % |
443.09/443.71 c | 308790 | 17527 75031 227950 | 2147483647 308790 260 | 0.000 % |
447.57/448.26 c | 311045 | 17527 75031 227950 | 2147483647 311045 260 | 0.000 % |
453.07/453.75 c | 313524 | 17527 75031 227950 | 2147483647 313524 261 | 0.000 % |
458.77/459.48 c | 316252 | 17527 75031 227950 | 2147483647 316252 261 | 0.000 % |
464.97/465.68 c | 319249 | 17527 75031 227950 | 2147483647 319249 262 | 0.000 % |
465.27/465.98 c | 319349 | 17527 75031 227950 | 2147483647 319349 262 | 0.000 % |
465.57/466.28 c | 319459 | 17527 75031 227950 | 2147483647 319459 262 | 0.000 % |
465.97/466.62 c | 319580 | 17527 75031 227950 | 2147483647 319580 262 | 0.000 % |
466.37/467.02 c | 319717 | 17527 75031 227950 | 2147483647 319717 262 | 0.000 % |
466.67/467.38 c | 319864 | 17527 75031 227950 | 2147483647 319864 262 | 0.000 % |
467.07/467.77 c | 320024 | 17527 75031 227950 | 2147483647 320024 262 | 0.000 % |
467.57/468.29 c | 320200 | 17527 75031 227950 | 2147483647 320200 262 | 0.000 % |
468.07/468.79 c | 320393 | 17527 75031 227950 | 2147483647 320393 262 | 0.000 % |
468.67/469.36 c | 320605 | 17527 75031 227950 | 2147483647 320605 262 | 0.000 % |
469.26/470.00 c | 320841 | 17527 75031 227950 | 2147483647 320841 262 | 0.000 % |
469.96/470.66 c | 321097 | 17527 75031 227950 | 2147483647 321097 262 | 0.000 % |
470.76/471.41 c | 321380 | 17527 75031 227950 | 2147483647 321380 262 | 0.000 % |
471.57/472.21 c | 321690 | 17527 75031 227950 | 2147483647 321690 262 | 0.000 % |
472.36/473.07 c | 322029 | 17527 75031 227950 | 2147483647 322029 262 | 0.000 % |
473.37/474.08 c | 322402 | 17527 75031 227950 | 2147483647 322402 261 | 0.000 % |
474.37/475.06 c | 322811 | 17527 75031 227950 | 2147483647 322811 261 | 0.000 % |
475.37/476.02 c | 323261 | 17527 75031 227950 | 2147483647 323261 261 | 0.000 % |
476.47/477.17 c | 323754 | 17527 75031 227950 | 2147483647 323754 261 | 0.000 % |
477.76/478.46 c | 324296 | 17527 75031 227950 | 2147483647 324296 261 | 0.000 % |
479.16/479.90 c | 324892 | 17527 75031 227950 | 2147483647 324892 261 | 0.000 % |
480.66/481.38 c | 325548 | 17527 75031 227950 | 2147483647 325548 261 | 0.000 % |
482.26/482.96 c | 326268 | 17527 75031 227950 | 2147483647 326268 261 | 0.000 % |
484.26/484.97 c | 327061 | 17527 75031 227950 | 2147483647 327061 261 | 0.000 % |
486.36/487.08 c | 327932 | 17527 75031 227950 | 2147483647 327932 262 | 0.000 % |
488.66/489.36 c | 328892 | 17527 75031 227950 | 2147483647 328892 262 | 0.000 % |
491.26/491.91 c | 329945 | 17527 75031 227950 | 2147483647 329945 262 | 0.000 % |
493.95/494.61 c | 331103 | 17527 75031 227950 | 2147483647 331103 261 | 0.000 % |
496.75/497.50 c | 332380 | 17527 75031 227950 | 2147483647 332380 261 | 0.000 % |
500.04/500.73 c | 333780 | 17527 75031 227950 | 2147483647 333780 261 | 0.000 % |
503.55/504.23 c | 335320 | 17527 75031 227950 | 2147483647 335320 261 | 0.000 % |
507.34/508.01 c | 337015 | 17527 75031 227950 | 2147483647 337015 262 | 0.000 % |
511.44/512.14 c | 338878 | 17527 75031 227950 | 2147483647 338878 262 | 0.000 % |
516.14/516.84 c | 340927 | 17527 75031 227950 | 2147483647 340927 262 | 0.000 % |
521.04/521.79 c | 343180 | 17527 75031 227950 | 2147483647 343180 262 | 0.000 % |
526.64/527.34 c | 345659 | 17527 75031 227950 | 2147483647 345659 262 | 0.000 % |
532.83/533.54 c | 348387 | 17527 75031 227950 | 2147483647 348387 263 | 0.000 % |
539.53/540.20 c | 351384 | 17527 75031 227950 | 2147483647 351384 263 | 0.000 % |
546.82/547.50 c | 354681 | 17527 75031 227950 | 2147483647 354681 263 | 0.000 % |
547.02/547.78 c | 354782 | 17527 75031 227950 | 2147483647 354782 263 | 0.000 % |
547.42/548.14 c | 354893 | 17527 75031 227950 | 2147483647 354893 263 | 0.000 % |
547.72/548.49 c | 355014 | 17527 75031 227950 | 2147483647 355014 263 | 0.000 % |
548.22/548.96 c | 355147 | 17527 75031 227950 | 2147483647 355147 263 | 0.000 % |
548.62/549.39 c | 355293 | 17527 75031 227950 | 2147483647 355293 263 | 0.000 % |
549.12/549.88 c | 355453 | 17527 75031 227950 | 2147483647 355453 263 | 0.000 % |
549.62/550.39 c | 355629 | 17527 75031 227950 | 2147483647 355629 263 | 0.000 % |
550.12/550.89 c | 355822 | 17527 75031 227950 | 2147483647 355822 263 | 0.000 % |
550.72/551.48 c | 356036 | 17527 75031 227950 | 2147483647 356036 263 | 0.000 % |
551.52/552.20 c | 356270 | 17527 75031 227950 | 2147483647 356270 263 | 0.000 % |
552.21/552.92 c | 356526 | 17527 75031 227950 | 2147483647 356526 263 | 0.000 % |
552.91/553.69 c | 356807 | 17527 75031 227950 | 2147483647 356807 263 | 0.000 % |
553.80/554.57 c | 357116 | 17527 75031 227950 | 2147483647 357116 263 | 0.000 % |
554.70/555.42 c | 357455 | 17527 75031 227950 | 2147483647 357455 263 | 0.000 % |
555.70/556.45 c | 357827 | 17527 75031 227950 | 2147483647 357827 263 | 0.000 % |
556.70/557.42 c | 358236 | 17527 75031 227950 | 2147483647 358236 263 | 0.000 % |
557.79/558.57 c | 358687 | 17527 75031 227950 | 2147483647 358687 263 | 0.000 % |
559.00/559.78 c | 359181 | 17527 75031 227950 | 2147483647 359181 262 | 0.000 % |
560.40/561.14 c | 359724 | 17527 75031 227950 | 2147483647 359724 263 | 0.000 % |
561.80/562.59 c | 360320 | 17527 75031 227950 | 2147483647 360320 262 | 0.000 % |
563.49/564.22 c | 360977 | 17527 75031 227950 | 2147483647 360977 262 | 0.000 % |
565.39/566.16 c | 361698 | 17527 75031 227950 | 2147483647 361698 262 | 0.000 % |
567.39/568.11 c | 362491 | 17527 75031 227950 | 2147483647 362491 262 | 0.000 % |
569.48/570.24 c | 363363 | 17527 75031 227950 | 2147483647 363363 262 | 0.000 % |
571.79/572.56 c | 364321 | 17527 75031 227950 | 2147483647 364321 262 | 0.000 % |
574.58/575.31 c | 365376 | 17527 75031 227950 | 2147483647 365376 262 | 0.000 % |
577.49/578.25 c | 366534 | 17527 75031 227950 | 2147483647 366534 263 | 0.000 % |
580.68/581.42 c | 367812 | 17527 75031 227950 | 2147483647 367812 263 | 0.000 % |
583.97/584.76 c | 369212 | 17527 75031 227950 | 2147483647 369212 263 | 0.000 % |
587.77/588.57 c | 370753 | 17527 75031 227950 | 2147483647 370753 263 | 0.000 % |
591.77/592.54 c | 372448 | 17527 75031 227950 | 2147483647 372448 263 | 0.000 % |
596.37/597.11 c | 374311 | 17527 75031 227950 | 2147483647 374311 264 | 0.000 % |
601.26/602.05 c | 376364 | 17527 75031 227950 | 2147483647 376364 264 | 0.000 % |
606.56/607.37 c | 378617 | 17527 75031 227950 | 2147483647 378617 264 | 0.000 % |
612.56/613.32 c | 381095 | 17527 75031 227950 | 2147483647 381095 265 | 0.000 % |
618.66/619.49 c | 383820 | 17527 75031 227950 | 2147483647 383820 265 | 0.000 % |
625.96/626.78 c | 386820 | 17527 75031 227950 | 2147483647 386820 266 | 0.000 % |
633.94/634.73 c | 390117 | 17527 75031 227950 | 2147483647 390117 266 | 0.000 % |
642.54/643.37 c | 393742 | 17527 75031 227950 | 2147483647 393742 266 | 0.000 % |
642.84/643.60 c | 393843 | 17527 75031 227950 | 2147483647 393843 266 | 0.000 % |
643.15/643.98 c | 393954 | 17527 75031 227950 | 2147483647 393954 266 | 0.000 % |
643.64/644.45 c | 394075 | 17527 75031 227950 | 2147483647 394075 266 | 0.000 % |
644.24/645.01 c | 394209 | 17527 75031 227950 | 2147483647 394209 266 | 0.000 % |
644.64/645.48 c | 394355 | 17527 75031 227950 | 2147483647 394355 266 | 0.000 % |
645.14/645.97 c | 394515 | 17527 75031 227950 | 2147483647 394515 266 | 0.000 % |
645.84/646.60 c | 394691 | 17527 75031 227950 | 2147483647 394691 266 | 0.000 % |
646.34/647.17 c | 394884 | 17527 75031 227950 | 2147483647 394884 266 | 0.000 % |
646.94/647.77 c | 395096 | 17527 75031 227950 | 2147483647 395096 266 | 0.000 % |
647.74/648.57 c | 395329 | 17527 75031 227950 | 2147483647 395329 266 | 0.000 % |
648.54/649.39 c | 395585 | 17527 75031 227950 | 2147483647 395585 266 | 0.000 % |
649.44/650.27 c | 395867 | 17527 75031 227950 | 2147483647 395867 266 | 0.000 % |
650.44/651.20 c | 396177 | 17527 75031 227950 | 2147483647 396177 266 | 0.000 % |
651.24/652.07 c | 396517 | 17527 75031 227950 | 2147483647 396517 266 | 0.000 % |
652.44/653.21 c | 396889 | 17527 75031 227950 | 2147483647 396889 266 | 0.000 % |
653.54/654.37 c | 397300 | 17527 75031 227950 | 2147483647 397300 266 | 0.000 % |
654.83/655.69 c | 397750 | 17527 75031 227950 | 2147483647 397750 266 | 0.000 % |
656.13/656.99 c | 398243 | 17527 75031 227950 | 2147483647 398243 266 | 0.000 % |
657.54/658.35 c | 398787 | 17527 75031 227950 | 2147483647 398787 266 | 0.000 % |
659.14/659.90 c | 399383 | 17527 75031 227950 | 2147483647 399383 266 | 0.000 % |
660.93/661.73 c | 400038 | 17527 75031 227950 | 2147483647 400038 266 | 0.000 % |
662.95/663.74 c | 400759 | 17527 75031 227950 | 2147483647 400759 266 | 0.000 % |
665.24/666.01 c | 401551 | 17527 75031 227950 | 2147483647 401551 266 | 0.000 % |
667.53/668.35 c | 402422 | 17527 75031 227950 | 2147483647 402422 266 | 0.000 % |
670.14/670.91 c | 403381 | 17527 75031 227950 | 2147483647 403381 266 | 0.000 % |
672.93/673.76 c | 404435 | 17527 75031 227950 | 2147483647 404435 266 | 0.000 % |
675.82/676.61 c | 405593 | 17527 75031 227950 | 2147483647 405593 266 | 0.000 % |
679.12/679.99 c | 406866 | 17527 75031 227950 | 2147483647 406866 266 | 0.000 % |
682.52/683.31 c | 408268 | 17527 75031 227950 | 2147483647 408268 266 | 0.000 % |
686.62/687.45 c | 409810 | 17527 75031 227950 | 2147483647 409810 266 | 0.000 % |
691.02/691.80 c | 411508 | 17527 75031 227950 | 2147483647 411508 266 | 0.000 % |
695.72/696.51 c | 413374 | 17527 75031 227950 | 2147483647 413374 266 | 0.000 % |
700.91/701.74 c | 415423 | 17527 75031 227950 | 2147483647 415423 267 | 0.000 % |
706.71/707.58 c | 417676 | 17527 75031 227950 | 2147483647 417676 267 | 0.000 % |
713.01/713.85 c | 420154 | 17527 75031 227950 | 2147483647 420154 268 | 0.000 % |
719.60/720.44 c | 422879 | 17527 75031 227950 | 2147483647 422879 268 | 0.000 % |
726.80/727.65 c | 425876 | 17527 75031 227950 | 2147483647 425876 269 | 0.000 % |
735.50/736.33 c | 429172 | 17527 75031 227950 | 2147483647 429172 269 | 0.000 % |
744.70/745.52 c | 432798 | 17527 75031 227950 | 2147483647 432798 270 | 0.000 % |
755.19/756.03 c | 436787 | 17527 75031 227950 | 2147483647 436787 270 | 0.000 % |
755.49/756.34 c | 436887 | 17527 75031 227950 | 2147483647 436887 270 | 0.000 % |
755.79/756.68 c | 436998 | 17527 75031 227950 | 2147483647 436998 270 | 0.000 % |
756.30/757.13 c | 437119 | 17527 75031 227950 | 2147483647 437119 270 | 0.000 % |
756.69/757.59 c | 437252 | 17527 75031 227950 | 2147483647 437252 270 | 0.000 % |
757.19/758.08 c | 437399 | 17527 75031 227950 | 2147483647 437399 270 | 0.000 % |
757.79/758.63 c | 437559 | 17527 75031 227950 | 2147483647 437559 270 | 0.000 % |
758.49/759.32 c | 437735 | 17527 75031 227950 | 2147483647 437735 270 | 0.000 % |
759.19/760.02 c | 437928 | 17527 75031 227950 | 2147483647 437928 270 | 0.000 % |
759.79/760.68 c | 438140 | 17527 75031 227950 | 2147483647 438140 270 | 0.000 % |
760.59/761.45 c | 438373 | 17527 75031 227950 | 2147483647 438373 270 | 0.000 % |
761.48/762.31 c | 438630 | 17527 75031 227950 | 2147483647 438630 270 | 0.000 % |
762.28/763.19 c | 438911 | 17527 75031 227950 | 2147483647 438911 270 | 0.000 % |
763.28/764.18 c | 439220 | 17527 75031 227950 | 2147483647 439220 270 | 0.000 % |
764.38/765.21 c | 439560 | 17527 75031 227950 | 2147483647 439560 270 | 0.000 % |
765.58/766.43 c | 439934 | 17527 75031 227950 | 2147483647 439934 270 | 0.000 % |
766.88/767.73 c | 440344 | 17527 75031 227950 | 2147483647 440344 270 | 0.000 % |
768.27/769.15 c | 440793 | 17527 75031 227950 | 2147483647 440793 270 | 0.000 % |
769.87/770.73 c | 441286 | 17527 75031 227950 | 2147483647 441286 270 | 0.000 % |
771.47/772.30 c | 441828 | 17527 75031 227950 | 2147483647 441828 270 | 0.000 % |
773.17/774.01 c | 442424 | 17527 75031 227950 | 2147483647 442424 270 | 0.000 % |
775.08/775.99 c | 443079 | 17527 75031 227950 | 2147483647 443079 270 | 0.000 % |
777.28/778.11 c | 443799 | 17527 75031 227950 | 2147483647 443799 270 | 0.000 % |
779.57/780.43 c | 444591 | 17527 75031 227950 | 2147483647 444591 270 | 0.000 % |
781.97/782.83 c | 445462 | 17527 75031 227950 | 2147483647 445462 270 | 0.000 % |
784.67/785.59 c | 446420 | 17527 75031 227950 | 2147483647 446420 270 | 0.000 % |
787.77/788.63 c | 447477 | 17527 75031 227950 | 2147483647 447477 270 | 0.000 % |
791.26/792.17 c | 448636 | 17527 75031 227950 | 2147483647 448636 270 | 0.000 % |
794.67/795.59 c | 449910 | 17527 75031 227950 | 2147483647 449910 270 | 0.000 % |
798.46/799.35 c | 451311 | 17527 75031 227950 | 2147483647 451311 270 | 0.000 % |
802.66/803.51 c | 452852 | 17527 75031 227950 | 2147483647 452852 270 | 0.000 % |
807.25/808.11 c | 454547 | 17527 75031 227950 | 2147483647 454547 270 | 0.000 % |
812.35/813.29 c | 456410 | 17527 75031 227950 | 2147483647 456410 270 | 0.000 % |
818.05/818.91 c | 458459 | 17527 75031 227950 | 2147483647 458459 270 | 0.000 % |
824.15/825.07 c | 460714 | 17527 75031 227950 | 2147483647 460714 270 | 0.000 % |
830.75/831.65 c | 463192 | 17527 75031 227950 | 2147483647 463192 271 | 0.000 % |
838.14/839.02 c | 465918 | 17527 75031 227950 | 2147483647 465918 272 | 0.000 % |
846.24/847.16 c | 468915 | 17527 75031 227950 | 2147483647 468915 272 | 0.000 % |
855.42/856.32 c | 472211 | 17527 75031 227950 | 2147483647 472211 272 | 0.000 % |
865.41/866.35 c | 475837 | 17527 75031 227950 | 2147483647 475837 272 | 0.000 % |
876.41/877.39 c | 479824 | 17527 75031 227950 | 2147483647 479824 273 | 0.000 % |
888.50/889.41 c | 484210 | 17527 75031 227950 | 2147483647 484210 273 | 0.000 % |
888.80/889.76 c | 484310 | 17527 75031 227950 | 2147483647 484310 273 | 0.000 % |
889.31/890.22 c | 484422 | 17527 75031 227950 | 2147483647 484422 273 | 0.000 % |
889.71/890.69 c | 484543 | 17527 75031 227950 | 2147483647 484543 273 | 0.000 % |
890.41/891.30 c | 484676 | 17527 75031 227950 | 2147483647 484676 273 | 0.000 % |
890.91/891.88 c | 484822 | 17527 75031 227950 | 2147483647 484822 273 | 0.000 % |
891.51/892.50 c | 484984 | 17527 75031 227950 | 2147483647 484984 273 | 0.000 % |
892.21/893.15 c | 485161 | 17527 75031 227950 | 2147483647 485161 273 | 0.000 % |
892.90/893.81 c | 485354 | 17527 75031 227950 | 2147483647 485354 273 | 0.000 % |
893.60/894.56 c | 485569 | 17527 75031 227950 | 2147483647 485569 273 | 0.000 % |
894.40/895.31 c | 485802 | 17527 75031 227950 | 2147483647 485802 273 | 0.000 % |
895.30/896.23 c | 486059 | 17527 75031 227950 | 2147483647 486059 273 | 0.000 % |
896.30/897.29 c | 486344 | 17527 75031 227950 | 2147483647 486344 273 | 0.000 % |
897.30/898.22 c | 486653 | 17527 75031 227950 | 2147483647 486653 273 | 0.000 % |
898.39/899.35 c | 486995 | 17527 75031 227950 | 2147483647 486995 273 | 0.000 % |
899.59/900.55 c | 487368 | 17527 75031 227950 | 2147483647 487368 273 | 0.000 % |
900.89/901.86 c | 487777 | 17527 75031 227950 | 2147483647 487777 273 | 0.000 % |
902.30/903.26 c | 488228 | 17527 75031 227950 | 2147483647 488228 273 | 0.000 % |
903.89/904.85 c | 488721 | 17527 75031 227950 | 2147483647 488721 273 | 0.000 % |
905.59/906.58 c | 489263 | 17527 75031 227950 | 2147483647 489263 273 | 0.000 % |
907.39/908.36 c | 489859 | 17527 75031 227950 | 2147483647 489859 273 | 0.000 % |
909.29/910.25 c | 490515 | 17527 75031 227950 | 2147483647 490515 273 | 0.000 % |
911.79/912.78 c | 491236 | 17527 75031 227950 | 2147483647 491236 273 | 0.000 % |
914.29/915.23 c | 492029 | 17527 75031 227950 | 2147483647 492029 273 | 0.000 % |
917.08/918.02 c | 492900 | 17527 75031 227950 | 2147483647 492900 273 | 0.000 % |
919.78/920.70 c | 493859 | 17527 75031 227950 | 2147483647 493859 273 | 0.000 % |
922.89/923.84 c | 494913 | 17527 75031 227950 | 2147483647 494913 273 | 0.000 % |
926.59/927.58 c | 496071 | 17527 75031 227950 | 2147483647 496071 273 | 0.000 % |
930.58/931.55 c | 497345 | 17527 75031 227950 | 2147483647 497345 273 | 0.000 % |
934.89/935.82 c | 498745 | 17527 75031 227950 | 2147483647 498745 273 | 0.000 % |
939.68/940.61 c | 500286 | 17527 75031 227950 | 2147483647 500286 273 | 0.000 % |
944.56/945.58 c | 501980 | 17527 75031 227950 | 2147483647 501980 273 | 0.000 % |
950.07/951.05 c | 503843 | 17527 75031 227950 | 2147483647 503843 273 | 0.000 % |
956.27/957.26 c | 505893 | 17527 75031 227950 | 2147483647 505893 273 | 0.000 % |
963.07/964.04 c | 508147 | 17527 75031 227950 | 2147483647 508147 274 | 0.000 % |
970.76/971.72 c | 510626 | 17527 75031 227950 | 2147483647 510626 274 | 0.000 % |
979.06/980.03 c | 513353 | 17527 75031 227950 | 2147483647 513353 274 | 0.000 % |
987.56/988.53 c | 516350 | 17527 75031 227950 | 2147483647 516350 274 | 0.000 % |
997.25/998.23 c | 519646 | 17527 75031 227950 | 2147483647 519646 275 | 0.000 % |
1007.64/1008.64 c | 523271 | 17527 75031 227950 | 2147483647 523271 275 | 0.000 % |
1019.34/1020.37 c | 527259 | 17527 75031 227950 | 2147483647 527259 275 | 0.000 % |
1032.43/1033.46 c | 531647 | 17527 75031 227950 | 2147483647 531647 275 | 0.000 % |
1046.42/1047.41 c | 536470 | 17527 75031 227950 | 2147483647 536470 276 | 0.000 % |
1046.82/1047.90 c | 536570 | 17527 75031 227950 | 2147483647 536570 276 | 0.000 % |
1047.52/1048.51 c | 536681 | 17527 75031 227950 | 2147483647 536681 276 | 0.000 % |
1048.02/1049.02 c | 536803 | 17527 75031 227950 | 2147483647 536803 276 | 0.000 % |
1048.62/1049.66 c | 536936 | 17527 75031 227950 | 2147483647 536936 276 | 0.000 % |
1049.32/1050.31 c | 537082 | 17527 75031 227950 | 2147483647 537082 276 | 0.000 % |
1050.02/1051.02 c | 537242 | 17527 75031 227950 | 2147483647 537242 276 | 0.000 % |
1050.82/1051.83 c | 537418 | 17527 75031 227950 | 2147483647 537418 276 | 0.000 % |
1051.72/1052.70 c | 537612 | 17527 75031 227950 | 2147483647 537612 276 | 0.000 % |
1052.52/1053.54 c | 537825 | 17527 75031 227950 | 2147483647 537825 276 | 0.000 % |
1053.42/1054.46 c | 538058 | 17527 75031 227950 | 2147483647 538058 276 | 0.000 % |
1054.42/1055.49 c | 538314 | 17527 75031 227950 | 2147483647 538314 276 | 0.000 % |
1055.62/1056.64 c | 538596 | 17527 75031 227950 | 2147483647 538596 276 | 0.000 % |
1056.81/1057.87 c | 538905 | 17527 75031 227950 | 2147483647 538905 276 | 0.000 % |
1058.11/1059.19 c | 539244 | 17527 75031 227950 | 2147483647 539244 276 | 0.000 % |
1059.41/1060.44 c | 539617 | 17527 75031 227950 | 2147483647 539617 276 | 0.000 % |
1060.81/1061.84 c | 540029 | 17527 75031 227950 | 2147483647 540029 276 | 0.000 % |
1062.41/1063.40 c | 540478 | 17527 75031 227950 | 2147483647 540478 275 | 0.000 % |
1064.22/1065.24 c | 540972 | 17527 75031 227950 | 2147483647 540972 275 | 0.000 % |
1066.11/1067.16 c | 541515 | 17527 75031 227950 | 2147483647 541515 275 | 0.000 % |
1068.31/1069.31 c | 542113 | 17527 75031 227950 | 2147483647 542113 275 | 0.000 % |
1070.60/1071.67 c | 542770 | 17527 75031 227950 | 2147483647 542770 275 | 0.000 % |
1073.01/1074.06 c | 543490 | 17527 75031 227950 | 2147483647 543490 275 | 0.000 % |
1075.80/1076.86 c | 544282 | 17527 75031 227950 | 2147483647 544282 275 | 0.000 % |
1078.59/1079.67 c | 545155 | 17527 75031 227950 | 2147483647 545155 275 | 0.000 % |
1081.79/1082.82 c | 546113 | 17527 75031 227950 | 2147483647 546113 275 | 0.000 % |
1085.29/1086.38 c | 547168 | 17527 75031 227950 | 2147483647 547168 275 | 0.000 % |
1088.99/1090.09 c | 548326 | 17527 75031 227950 | 2147483647 548326 275 | 0.000 % |
1093.09/1094.13 c | 549600 | 17527 75031 227950 | 2147483647 549600 275 | 0.000 % |
1097.58/1098.69 c | 551002 | 17527 75031 227950 | 2147483647 551002 276 | 0.000 % |
1102.89/1103.96 c | 552542 | 17527 75031 227950 | 2147483647 552542 276 | 0.000 % |
1108.69/1109.70 c | 554236 | 17527 75031 227950 | 2147483647 554236 276 | 0.000 % |
1114.58/1115.65 c | 556099 | 17527 75031 227950 | 2147483647 556099 276 | 0.000 % |
1121.28/1122.30 c | 558148 | 17527 75031 227950 | 2147483647 558148 276 | 0.000 % |
1128.26/1129.34 c | 560401 | 17527 75031 227950 | 2147483647 560401 276 | 0.000 % |
1135.16/1136.21 c | 562880 | 17527 75031 227950 | 2147483647 562880 276 | 0.000 % |
1143.16/1144.21 c | 565608 | 17527 75031 227950 | 2147483647 565608 276 | 0.000 % |
1152.66/1153.78 c | 568605 | 17527 75031 227950 | 2147483647 568605 277 | 0.000 % |
1163.16/1164.26 c | 571901 | 17527 75031 227950 | 2147483647 571901 277 | 0.000 % |
1175.35/1176.41 c | 575526 | 17527 75031 227950 | 2147483647 575526 277 | 0.000 % |
1188.24/1189.32 c | 579513 | 17527 75031 227950 | 2147483647 579513 278 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832793-1242787755/watcher-1832793-1242787755 -o /tmp/evaluation-result-1832793-1242787755/solver-1832793-1242787755 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832793-1242787755.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16696
/proc/meminfo: memFree=1779312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306808827 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
[startup+0.0491909 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16696
/proc/meminfo: memFree=1779312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306808827 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.1022 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16696
/proc/meminfo: memFree=1779312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306808827 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301242 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16696
/proc/meminfo: memFree=1779312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306808827 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16696/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701329 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16696
/proc/meminfo: memFree=1779312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 5356
[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1770848/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=7980 CPUtime=1.12
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 1862 0 0 0 111 1 0 0 25 0 1 0 306808864 8171520 1848 1992294400 134512640 135215339 4294956240 18446744073709551615 134527522 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 1995 1848 77 171 0 1822 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13336
[startup+3.10198 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1769312/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=9964 CPUtime=2.72
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 2369 0 0 0 271 1 0 0 25 0 1 0 306808864 10203136 2355 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 2491 2355 77 171 0 2318 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15320
[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1764960/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=13668 CPUtime=5.67
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 3290 0 0 0 563 4 0 0 25 0 1 0 306808864 13996032 3276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 3417 3276 77 171 0 3244 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 19024
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1756448/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=21860 CPUtime=12.06
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 5342 0 0 0 1201 5 0 0 25 0 1 0 306808864 22384640 5328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 5465 5328 77 171 0 5292 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 27216
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1741984/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=37172 CPUtime=24.83
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 9136 0 0 0 2475 8 0 0 25 0 1 0 306808864 38064128 9122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 9293 9122 77 171 0 9120 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 42528
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1712800/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=65524 CPUtime=50.42
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 16207 0 0 0 5025 17 0 0 25 0 1 0 306808864 67096576 16193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 16381 16193 77 171 0 16208 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 70880
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1666592/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=111816 CPUtime=101.56
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 27794 0 0 0 10129 27 0 0 25 0 1 0 306808864 114499584 27780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 27954 27780 77 171 0 27781 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 117172
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1616608/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=161240 CPUtime=161.54
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 40116 0 0 0 16111 43 0 0 25 0 1 0 306808864 165109760 40102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 40310 40102 77 171 0 40137 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 166596
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1573856/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=203920 CPUtime=221.5
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 50823 0 0 0 22096 54 0 0 25 0 1 0 306808864 208814080 50809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 50980 50809 77 171 0 50807 0
Current children cumulated CPU time (s) 221.85
Current children cumulated vsize (KiB) 209276
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1534688/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=242900 CPUtime=281.44
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 60512 0 0 0 28080 64 0 0 25 0 1 0 306808864 248729600 60498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 60725 60498 77 171 0 60552 0
Current children cumulated CPU time (s) 281.79
Current children cumulated vsize (KiB) 248256
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1498720/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=278716 CPUtime=341.4
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 69498 0 0 0 34067 73 0 0 25 0 1 0 306808864 285405184 69484 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 69679 69484 77 171 0 69506 0
Current children cumulated CPU time (s) 341.75
Current children cumulated vsize (KiB) 284072
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1464992/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=312000 CPUtime=401.36
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 77836 0 0 0 40055 81 0 0 25 0 1 0 306808864 319488000 77822 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/16702/statm: 78000 77822 77 171 0 77827 0
Current children cumulated CPU time (s) 401.71
Current children cumulated vsize (KiB) 317356
[startup+462.301 s]
################
# More data... #
################
/proc/16702/statm: 99955 99706 77 171 0 99782 0
Current children cumulated CPU time (s) 581.57
Current children cumulated vsize (KiB) 405176
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1344864/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=431928 CPUtime=641.19
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 107774 0 0 0 64005 114 0 0 25 0 1 0 306808864 442294272 107760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 107982 107760 77 171 0 107809 0
Current children cumulated CPU time (s) 641.54
Current children cumulated vsize (KiB) 437284
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16702
/proc/meminfo: memFree=1319456/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=456896 CPUtime=701.16
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 114022 0 0 0 69995 121 0 0 25 0 1 0 306808864 467861504 114008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 114224 114008 77 171 0 114051 0
Current children cumulated CPU time (s) 701.51
Current children cumulated vsize (KiB) 462252
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1288928/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=487180 CPUtime=761.13
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 121632 0 0 0 75984 129 0 0 25 0 1 0 306808864 498872320 121618 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 121795 121618 77 171 0 121622 0
Current children cumulated CPU time (s) 761.48
Current children cumulated vsize (KiB) 492536
[startup+822.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1265248/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=510568 CPUtime=821.1
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 127504 0 0 0 81975 135 0 0 25 0 1 0 306808864 522821632 127490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 127642 127490 77 171 0 127469 0
Current children cumulated CPU time (s) 821.45
Current children cumulated vsize (KiB) 515924
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1236512/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=540268 CPUtime=881.05
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 134715 0 0 0 87963 142 0 0 25 0 1 0 306808864 553234432 134701 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 135067 134701 77 171 0 134894 0
Current children cumulated CPU time (s) 881.4
Current children cumulated vsize (KiB) 545624
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1214752/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=561528 CPUtime=941.02
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 140061 0 0 0 93954 148 0 0 25 0 1 0 306808864 575004672 140047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 140382 140047 77 171 0 140209 0
Current children cumulated CPU time (s) 941.37
Current children cumulated vsize (KiB) 566884
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1189088/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=587296 CPUtime=1001
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 146508 0 0 0 99944 156 0 0 25 0 1 0 306808864 601391104 146494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 146824 146494 77 171 0 146651 0
Current children cumulated CPU time (s) 1001.35
Current children cumulated vsize (KiB) 592652
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1165280/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=610700 CPUtime=1060.96
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 152383 0 0 0 105934 162 0 0 25 0 1 0 306808864 625356800 152369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 152675 152369 77 171 0 152502 0
Current children cumulated CPU time (s) 1061.31
Current children cumulated vsize (KiB) 616056
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1144544/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=631188 CPUtime=1120.93
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 157508 0 0 0 111924 169 0 0 25 0 1 0 306808864 646336512 157494 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 157797 157494 77 171 0 157624 0
Current children cumulated CPU time (s) 1121.28
Current children cumulated vsize (KiB) 636544
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1119648/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=656156 CPUtime=1180.9
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 163782 0 0 0 117915 175 0 0 25 0 1 0 306808864 671903744 163768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 164039 163768 77 171 0 163866 0
Current children cumulated CPU time (s) 1181.25
Current children cumulated vsize (KiB) 661512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1111264/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=664216 CPUtime=1199.69
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 165786 0 0 0 119792 177 0 0 25 0 1 0 306808864 680157184 165772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 166054 165772 77 171 0 165881 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 669572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16708
/proc/meminfo: memFree=1111264/2055920 swapFree=4179208/4192956
[pid=16696] ppid=16694 vsize=5356 CPUtime=0.35
/proc/16696/stat : 16696 (SatELiteGTI) S 16694 16696 16024 0 -1 4194304 336 2603 0 0 0 0 33 2 16 0 1 0 306808827 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16696/statm: 1339 239 197 169 0 50 0
[pid=16702] ppid=16696 vsize=664216 CPUtime=1199.69
/proc/16702/stat : 16702 (minisat_static) R 16696 16696 16024 0 -1 4194304 165786 0 0 0 119792 177 0 0 25 0 1 0 306808864 680157184 165772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/16702/statm: 166054 165772 77 171 0 165881 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 669572
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16696 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=337948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=28995
# CPU time returned by wait4() is 0.366943
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1201.11
CPU time (s): 1200.04
CPU user time (s): 1198.25
CPU system time (s): 1.79
CPU usage (%): 99.9107
Max. virtual memory (cumulated for all children) (KiB): 669572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.337948
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2939
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= 14
involuntary context switches= 8
runsolver used 1.20082 second user time and 3.39648 second system time
The end
Begin job on node28 at 2009-05-20 04:49:15
IDJOB=1832793
IDBENCH=70360
IDSOLVER=671
FILE ID=node28/1832793-1242787755
PBS_JOBID= 9322383
Free space on /tmp= 66248 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832793-1242787755/watcher-1832793-1242787755 -o /tmp/evaluation-result-1832793-1242787755/solver-1832793-1242787755 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832793-1242787755.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1d9454adc76495811d3ba130d2b8d41e
RANDOM SEED=274805290
node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1779856 kB
Buffers: 31436 kB
Cached: 174880 kB
SwapCached: 7476 kB
Active: 111052 kB
Inactive: 104364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1779856 kB
SwapTotal: 4192956 kB
SwapFree: 4179208 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 14272 kB
Slab: 46580 kB
Committed_AS: 1060684 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66244 MiB
End job on node28 at 2009-05-20 05:09:18