0.00/0.00 c Parsing...
0.72/0.76 c ==============================================================================
0.72/0.76 c | | ORIGINAL | LEARNT | |
0.72/0.76 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.72/0.76 c ==============================================================================
0.72/0.76 c | 0 | 968294 2788366 | 290488 0 0 nan | 0.000 % |
7.82/7.85 c | 0 | 933146 2895588 | -- 0 -- -- | -- | -35008/109235
7.82/7.85 c ==============================================================================
7.82/7.85 c Result : #vars: 54024 #clauses: 933146 #literals: 2895588
7.82/7.85 c CPU time: 7.62 s
7.82/7.85 c ==============================================================================
8.80/8.85 c This is MiniSat 2.0 beta
8.80/8.85 c WARNING: for repeatability, setting FPU to use double precision
8.80/8.85 c ============================[ Problem Statistics ]=============================
8.80/8.85 c | |
8.80/8.85 c | Number of variables: 54024 |
8.80/8.85 c | Number of clauses: 933146 |
8.83/9.45 c | Parsing time: 0.55 s |
8.83/9.50 c ============================[ Search Statistics ]==============================
8.83/9.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.83/9.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.83/9.50 c ===============================================================================
8.83/9.50 c | 0 | 54024 933146 2895588 | 311048 0 nan | 0.000 % |
8.83/9.60 c | 100 | 54024 933146 2895588 | 311048 100 31 | 0.000 % |
8.83/9.80 c | 201 | 54024 933146 2895588 | 311048 201 35 | 0.000 % |
9.89/9.99 c | 301 | 54024 933146 2895588 | 311048 301 36 | 0.000 % |
9.99/10.05 c | 412 | 54024 933146 2895588 | 311048 412 37 | 0.000 % |
10.19/10.23 c | 512 | 54024 933146 2895588 | 311048 512 35 | 0.000 % |
10.19/10.28 c | 622 | 54024 933146 2895588 | 311048 622 33 | 0.000 % |
10.39/10.42 c | 743 | 54024 933146 2895588 | 311048 743 32 | 0.000 % |
10.39/10.46 c | 843 | 54024 933146 2895588 | 311048 843 39 | 0.000 % |
10.49/10.52 c | 954 | 54024 933146 2895588 | 311048 954 39 | 0.000 % |
10.49/10.58 c | 1075 | 54024 933146 2895588 | 311048 1075 37 | 0.000 % |
10.59/10.69 c | 1208 | 54024 933146 2895588 | 311048 1208 36 | 0.000 % |
10.69/10.73 c | 1308 | 54024 933146 2895588 | 311048 1308 36 | 0.000 % |
10.69/10.76 c | 1418 | 54024 933146 2895588 | 311048 1418 37 | 0.000 % |
10.69/10.81 c | 1541 | 54024 933146 2895588 | 311048 1541 40 | 0.000 % |
10.79/10.90 c | 1674 | 54024 933146 2895588 | 311048 1674 38 | 0.000 % |
10.89/11.01 c | 1822 | 54024 933146 2895588 | 311048 1822 39 | 0.000 % |
10.99/11.04 c | 1924 | 54024 933146 2895588 | 311048 1924 39 | 0.000 % |
10.99/11.09 c | 2034 | 54024 933146 2895588 | 311048 2034 38 | 0.000 % |
11.09/11.17 c | 2155 | 54024 933146 2895588 | 311048 2155 38 | 0.000 % |
11.19/11.24 c | 2291 | 54024 933146 2895588 | 311048 2291 38 | 0.000 % |
11.19/11.31 c | 2437 | 54024 933146 2895588 | 311048 2437 38 | 0.000 % |
11.29/11.36 c | 2597 | 54024 933146 2895588 | 311048 2597 38 | 0.000 % |
11.29/11.41 c | 2697 | 54024 933146 2895588 | 311048 2697 38 | 0.000 % |
11.39/11.47 c | 2807 | 54024 933146 2895588 | 311048 2807 38 | 0.000 % |
11.49/11.54 c | 2928 | 54024 933146 2895588 | 311048 2928 38 | 0.000 % |
11.49/11.61 c | 3061 | 54024 933146 2895588 | 311048 3061 38 | 0.000 % |
11.59/11.68 c | 3207 | 54024 933146 2895588 | 311048 3207 38 | 0.000 % |
11.69/11.73 c | 3367 | 54024 933146 2895588 | 311048 3367 38 | 0.000 % |
11.79/11.82 c | 3546 | 54024 933146 2895588 | 311048 3546 37 | 0.000 % |
11.89/11.93 c | 3650 | 54024 933146 2895588 | 311048 3650 37 | 0.000 % |
11.99/12.09 c | 3760 | 54024 933146 2895588 | 311048 3760 38 | 0.000 % |
12.09/12.14 c | 3882 | 54024 933146 2895588 | 311048 3882 38 | 0.000 % |
12.09/12.19 c | 4015 | 54024 933146 2895588 | 311048 4015 38 | 0.000 % |
12.29/12.33 c | 4162 | 54024 933146 2895588 | 311048 4162 37 | 0.000 % |
12.39/12.41 c | 4322 | 54024 933146 2895588 | 311048 4322 38 | 0.000 % |
12.39/12.50 c | 4499 | 54024 933146 2895588 | 311048 4499 39 | 0.000 % |
12.59/12.68 c | 4692 | 54024 933146 2895588 | 311048 4692 40 | 0.000 % |
12.69/12.75 c | 4792 | 54024 933146 2895588 | 311048 4792 40 | 0.000 % |
12.69/12.80 c | 4903 | 54024 933146 2895588 | 311048 4903 40 | 0.000 % |
12.79/12.84 c | 5026 | 54024 933146 2895588 | 311048 5026 40 | 0.000 % |
12.99/13.09 c | 5160 | 54024 933146 2895588 | 311048 5160 40 | 0.000 % |
13.09/13.13 c | 5306 | 54024 933146 2895588 | 311048 5306 40 | 0.000 % |
13.19/13.24 c | 5466 | 54024 933146 2895588 | 311048 5466 40 | 0.000 % |
13.19/13.30 c | 5645 | 54024 933146 2895588 | 311048 5645 39 | 0.000 % |
13.39/13.44 c | 5838 | 54024 933146 2895588 | 311048 5838 39 | 0.000 % |
13.49/13.54 c | 6050 | 54024 933146 2895588 | 311048 6050 39 | 0.000 % |
13.59/13.62 c | 6153 | 54024 933146 2895588 | 311048 6153 39 | 0.000 % |
13.59/13.71 c | 6264 | 54024 933146 2895588 | 311048 6264 39 | 0.000 % |
13.69/13.77 c | 6386 | 54024 933146 2895588 | 311048 6386 39 | 0.000 % |
13.79/13.82 c | 6519 | 54024 933146 2895588 | 311048 6519 39 | 0.000 % |
13.89/14.00 c | 6666 | 54024 933146 2895588 | 311048 6666 39 | 0.000 % |
14.09/14.15 c | 6826 | 54024 933146 2895588 | 311048 6826 39 | 0.000 % |
14.19/14.27 c | 7002 | 54024 933146 2895588 | 311048 7002 39 | 0.000 % |
14.38/14.44 c | 7195 | 54024 933146 2895588 | 311048 7195 39 | 0.000 % |
14.48/14.55 c | 7407 | 54024 933146 2895588 | 311048 7407 39 | 0.000 % |
14.58/14.66 c | 7642 | 54024 933146 2895588 | 311048 7642 39 | 0.000 % |
14.68/14.73 c | 7743 | 54024 933146 2895588 | 311048 7743 39 | 0.000 % |
14.68/14.77 c | 7853 | 54024 933146 2895588 | 311048 7853 40 | 0.000 % |
14.78/14.88 c | 7975 | 54024 933146 2895588 | 311048 7975 40 | 0.000 % |
14.88/14.95 c | 8111 | 54024 933146 2895588 | 311048 8111 40 | 0.000 % |
15.08/15.13 c | 8257 | 54024 933146 2895588 | 311048 8257 40 | 0.000 % |
15.08/15.20 c | 8419 | 54024 933146 2895588 | 311048 8419 40 | 0.000 % |
15.28/15.31 c | 8596 | 54024 933146 2895588 | 311048 8596 41 | 0.000 % |
15.48/15.51 c | 8791 | 54024 933146 2895588 | 311048 8791 41 | 0.000 % |
15.58/15.63 c | 9003 | 54024 933146 2895588 | 311048 9003 41 | 0.000 % |
15.68/15.80 c | 9239 | 54024 933146 2895588 | 311048 9239 41 | 0.000 % |
15.88/15.94 c | 9495 | 54024 933146 2895588 | 311048 9495 42 | 0.000 % |
15.98/16.01 c | 9598 | 54024 933146 2895588 | 311048 9598 42 | 0.000 % |
15.98/16.06 c | 9708 | 54024 933146 2895588 | 311048 9708 42 | 0.000 % |
16.08/16.13 c | 9830 | 54024 933146 2895588 | 311048 9830 41 | 0.000 % |
16.18/16.27 c | 9964 | 54024 933146 2895588 | 311048 9964 41 | 0.000 % |
16.28/16.38 c | 10110 | 54024 933146 2895588 | 2147483647 10110 42 | 0.000 % |
16.48/16.53 c | 10272 | 54024 933146 2895588 | 2147483647 10272 42 | 0.000 % |
16.68/16.73 c | 10449 | 54024 933146 2895588 | 2147483647 10449 42 | 0.000 % |
16.78/16.89 c | 10642 | 54024 933146 2895588 | 2147483647 10642 42 | 0.000 % |
16.98/17.04 c | 10854 | 54024 933146 2895588 | 2147483647 10854 42 | 0.000 % |
17.08/17.18 c | 11088 | 54024 933146 2895588 | 2147483647 11088 42 | 0.000 % |
17.28/17.31 c | 11348 | 54024 933146 2895588 | 2147483647 11348 42 | 0.000 % |
17.38/17.46 c | 11631 | 54024 933146 2895588 | 2147483647 11631 42 | 0.000 % |
17.48/17.51 c | 11732 | 54024 933146 2895588 | 2147483647 11732 42 | 0.000 % |
17.58/17.62 c | 11842 | 54024 933146 2895588 | 2147483647 11842 42 | 0.000 % |
17.58/17.69 c | 11965 | 54024 933146 2895588 | 2147483647 11965 42 | 0.000 % |
17.68/17.73 c | 12100 | 54024 933146 2895588 | 2147483647 12100 42 | 0.000 % |
17.78/17.81 c | 12246 | 54024 933146 2895588 | 2147483647 12246 42 | 0.000 % |
17.78/17.90 c | 12406 | 54024 933146 2895588 | 2147483647 12406 42 | 0.000 % |
17.98/18.04 c | 12584 | 54024 933146 2895588 | 2147483647 12584 42 | 0.000 % |
18.08/18.15 c | 12777 | 54024 933146 2895588 | 2147483647 12777 42 | 0.000 % |
18.18/18.22 c | 12989 | 54024 933146 2895588 | 2147483647 12989 42 | 0.000 % |
18.28/18.35 c | 13224 | 54024 933146 2895588 | 2147483647 13224 42 | 0.000 % |
18.38/18.45 c | 13480 | 54024 933146 2895588 | 2147483647 13480 42 | 0.000 % |
18.58/18.63 c | 13761 | 54024 933146 2895588 | 2147483647 13761 41 | 0.000 % |
18.68/18.76 c | 14070 | 54024 933146 2895588 | 2147483647 14070 41 | 0.000 % |
18.68/18.80 c | 14170 | 54024 933146 2895588 | 2147483647 14170 41 | 0.000 % |
18.78/18.85 c | 14281 | 54024 933146 2895588 | 2147483647 14281 41 | 0.000 % |
18.88/18.91 c | 14403 | 54024 933146 2895588 | 2147483647 14403 41 | 0.000 % |
18.88/18.96 c | 14538 | 54024 933146 2895588 | 2147483647 14538 41 | 0.000 % |
18.98/19.05 c | 14684 | 54024 933146 2895588 | 2147483647 14684 41 | 0.000 % |
19.08/19.11 c | 14845 | 54024 933146 2895588 | 2147483647 14845 41 | 0.000 % |
19.18/19.23 c | 15023 | 54024 933146 2895588 | 2147483647 15023 41 | 0.000 % |
19.28/19.34 c | 15220 | 54024 933146 2895588 | 2147483647 15220 41 | 0.000 % |
19.38/19.42 c | 15433 | 54024 933146 2895588 | 2147483647 15433 41 | 0.000 % |
19.48/19.52 c | 15666 | 54024 933146 2895588 | 2147483647 15666 41 | 0.000 % |
19.58/19.66 c | 15923 | 54024 933146 2895588 | 2147483647 15923 41 | 0.000 % |
19.78/19.81 c | 16205 | 54024 933146 2895588 | 2147483647 16205 40 | 0.000 % |
19.88/19.93 c | 16515 | 54024 933146 2895588 | 2147483647 16515 40 | 0.000 % |
19.98/20.10 c | 16854 | 54024 933146 2895588 | 2147483647 16854 41 | 0.000 % |
20.08/20.15 c | 16955 | 54024 933146 2895588 | 2147483647 16955 41 | 0.000 % |
20.08/20.20 c | 17071 | 54024 933146 2895588 | 2147483647 17071 41 | 0.000 % |
20.18/20.28 c | 17192 | 54024 933146 2895588 | 2147483647 17192 41 | 0.000 % |
20.28/20.32 c | 17325 | 54024 933146 2895588 | 2147483647 17325 41 | 0.000 % |
20.28/20.39 c | 17471 | 54024 933146 2895588 | 2147483647 17471 41 | 0.000 % |
20.38/20.48 c | 17631 | 54024 933146 2895588 | 2147483647 17631 40 | 0.000 % |
20.48/20.55 c | 17807 | 54024 933146 2895588 | 2147483647 17807 40 | 0.000 % |
20.58/20.61 c | 18000 | 54024 933146 2895588 | 2147483647 18000 40 | 0.000 % |
20.68/20.74 c | 18212 | 54024 933146 2895588 | 2147483647 18212 40 | 0.000 % |
20.78/20.86 c | 18451 | 54024 933146 2895588 | 2147483647 18451 40 | 0.000 % |
20.88/20.97 c | 18707 | 54024 933146 2895588 | 2147483647 18707 40 | 0.000 % |
21.08/21.12 c | 18988 | 54024 933146 2895588 | 2147483647 18988 40 | 0.000 % |
21.18/21.25 c | 19297 | 54024 933146 2895588 | 2147483647 19297 40 | 0.000 % |
21.28/21.35 c | 19637 | 54024 933146 2895588 | 2147483647 19637 40 | 0.000 % |
21.48/21.51 c | 20011 | 54024 933146 2895588 | 2147483647 20011 39 | 0.000 % |
21.48/21.57 c | 20111 | 54024 933146 2895588 | 2147483647 20111 39 | 0.000 % |
21.58/21.60 c | 20221 | 54024 933146 2895588 | 2147483647 20221 39 | 0.000 % |
21.58/21.67 c | 20342 | 54024 933146 2895588 | 2147483647 20342 39 | 0.000 % |
21.68/21.73 c | 20476 | 54024 933146 2895588 | 2147483647 20476 39 | 0.000 % |
21.78/21.82 c | 20622 | 54024 933146 2895588 | 2147483647 20622 39 | 0.000 % |
21.78/21.89 c | 20782 | 54024 933146 2895588 | 2147483647 20782 39 | 0.000 % |
21.88/21.98 c | 20959 | 54024 933146 2895588 | 2147483647 20959 39 | 0.000 % |
21.98/22.07 c | 21155 | 54024 933146 2895588 | 2147483647 21155 39 | 0.000 % |
22.08/22.16 c | 21367 | 54024 933146 2895588 | 2147483647 21367 39 | 0.000 % |
22.18/22.23 c | 21601 | 54024 933146 2895588 | 2147483647 21601 39 | 0.000 % |
22.28/22.35 c | 21858 | 54024 933146 2895588 | 2147483647 21858 38 | 0.000 % |
22.38/22.46 c | 22139 | 54024 933146 2895588 | 2147483647 22139 38 | 0.000 % |
22.48/22.60 c | 22449 | 54024 933146 2895588 | 2147483647 22449 38 | 0.000 % |
22.68/22.72 c | 22788 | 54024 933146 2895588 | 2147483647 22788 38 | 0.000 % |
22.78/22.85 c | 23161 | 54024 933146 2895588 | 2147483647 23161 38 | 0.000 % |
22.88/22.98 c | 23572 | 54024 933146 2895588 | 2147483647 23572 37 | 0.000 % |
22.98/23.03 c | 23673 | 54024 933146 2895588 | 2147483647 23673 37 | 0.000 % |
22.98/23.09 c | 23783 | 54024 933146 2895588 | 2147483647 23783 37 | 0.000 % |
23.08/23.16 c | 23907 | 54024 933146 2895588 | 2147483647 23907 37 | 0.000 % |
23.18/23.25 c | 24040 | 54024 933146 2895588 | 2147483647 24040 37 | 0.000 % |
23.28/23.33 c | 24186 | 54024 933146 2895588 | 2147483647 24186 37 | 0.000 % |
23.28/23.39 c | 24346 | 54024 933146 2895588 | 2147483647 24346 37 | 0.000 % |
23.38/23.45 c | 24523 | 54024 933146 2895588 | 2147483647 24523 37 | 0.000 % |
23.48/23.50 c | 24716 | 54024 933146 2895588 | 2147483647 24716 37 | 0.000 % |
23.48/23.57 c | 24928 | 54024 933146 2895588 | 2147483647 24928 37 | 0.000 % |
23.58/23.66 c | 25161 | 54024 933146 2895588 | 2147483647 25161 37 | 0.000 % |
23.68/23.76 c | 25418 | 54024 933146 2895588 | 2147483647 25418 37 | 0.000 % |
23.78/23.83 c | 25699 | 54024 933146 2895588 | 2147483647 25699 37 | 0.000 % |
23.88/23.95 c | 26009 | 54024 933146 2895588 | 2147483647 26009 36 | 0.000 % |
23.98/24.03 c | 26348 | 54024 933146 2895588 | 2147483647 26348 36 | 0.000 % |
24.08/24.12 c | 26721 | 54024 933146 2895588 | 2147483647 26721 36 | 0.000 % |
24.18/24.27 c | 27130 | 54024 933146 2895588 | 2147483647 27130 36 | 0.000 % |
24.38/24.40 c | 27579 | 54024 933146 2895588 | 2147483647 27579 36 | 0.000 % |
24.38/24.45 c | 27679 | 54024 933146 2895588 | 2147483647 27679 36 | 0.000 % |
24.48/24.52 c | 27790 | 54024 933146 2895588 | 2147483647 27790 36 | 0.000 % |
24.58/24.62 c | 27913 | 54024 933146 2895588 | 2147483647 27913 36 | 0.000 % |
24.68/24.72 c | 28046 | 54024 933146 2895588 | 2147483647 28046 36 | 0.000 % |
24.88/24.94 c | 28192 | 54024 933146 2895588 | 2147483647 28192 36 | 0.000 % |
24.98/25.10 c | 28355 | 54024 933146 2895588 | 2147483647 28355 36 | 0.000 % |
25.18/25.24 c | 28531 | 54024 933146 2895588 | 2147483647 28531 37 | 0.000 % |
25.28/25.33 c | 28724 | 54024 933146 2895588 | 2147483647 28724 37 | 0.000 % |
25.28/25.39 c | 28936 | 54024 933146 2895588 | 2147483647 28936 37 | 0.000 % |
25.48/25.51 c | 29169 | 54024 933146 2895588 | 2147483647 29169 37 | 0.000 % |
25.58/25.60 c | 29429 | 54024 933146 2895588 | 2147483647 29429 37 | 0.000 % |
25.78/25.83 c | 29715 | 54024 933146 2895588 | 2147483647 29715 37 | 0.000 % |
25.98/26.04 c | 30028 | 54024 933146 2895588 | 2147483647 30028 37 | 0.000 % |
26.08/26.18 c | 30367 | 54024 933146 2895588 | 2147483647 30367 37 | 0.000 % |
26.38/26.42 c | 30739 | 54024 933146 2895588 | 2147483647 30739 37 | 0.000 % |
26.58/26.61 c | 31148 | 54024 933146 2895588 | 2147483647 31148 37 | 0.000 % |
26.78/26.83 c | 31597 | 54024 933146 2895588 | 2147483647 31597 38 | 0.000 % |
26.98/27.10 c | 32091 | 54024 933146 2895588 | 2147483647 32091 38 | 0.000 % |
27.18/27.20 c | 32191 | 54024 933146 2895588 | 2147483647 32191 38 | 0.000 % |
27.18/27.26 c | 32302 | 54024 933146 2895588 | 2147483647 32302 38 | 0.000 % |
27.28/27.34 c | 32423 | 54024 933146 2895588 | 2147483647 32423 38 | 0.000 % |
27.38/27.42 c | 32557 | 54024 933146 2895588 | 2147483647 32557 38 | 0.000 % |
27.58/27.63 c | 32703 | 54024 933146 2895588 | 2147483647 32703 38 | 0.000 % |
27.68/27.71 c | 32865 | 54024 933146 2895588 | 2147483647 32865 38 | 0.000 % |
27.78/27.83 c | 33042 | 54024 933146 2895588 | 2147483647 33042 38 | 0.000 % |
28.08/28.11 c | 33236 | 54024 933146 2895588 | 2147483647 33236 38 | 0.000 % |
28.28/28.36 c | 33450 | 54024 933146 2895588 | 2147483647 33450 38 | 0.000 % |
28.38/28.49 c | 33683 | 54024 933146 2895588 | 2147483647 33683 38 | 0.000 % |
28.58/28.67 c | 33939 | 54024 933146 2895588 | 2147483647 33939 38 | 0.000 % |
28.78/28.88 c | 34221 | 54024 933146 2895588 | 2147483647 34221 38 | 0.000 % |
28.88/28.97 c | 34531 | 54024 933146 2895588 | 2147483647 34531 38 | 0.000 % |
29.18/29.28 c | 34870 | 54024 933146 2895588 | 2147483647 34870 38 | 0.000 % |
29.38/29.44 c | 35243 | 54024 933146 2895588 | 2147483647 35243 38 | 0.000 % |
29.58/29.65 c | 35652 | 54024 933146 2895588 | 2147483647 35652 38 | 0.000 % |
29.78/29.82 c | 36102 | 54024 933146 2895588 | 2147483647 36102 39 | 0.000 % |
30.08/30.16 c | 36596 | 54024 933146 2895588 | 2147483647 36596 39 | 0.000 % |
30.38/30.49 c | 37140 | 54024 933146 2895588 | 2147483647 37140 40 | 0.000 % |
30.48/30.59 c | 37241 | 54024 933146 2895588 | 2147483647 37241 40 | 0.000 % |
30.68/30.74 c | 37352 | 54024 933146 2895588 | 2147483647 37352 40 | 0.000 % |
30.78/30.84 c | 37474 | 54024 933146 2895588 | 2147483647 37474 40 | 0.000 % |
30.88/30.94 c | 37607 | 54024 933146 2895588 | 2147483647 37607 40 | 0.000 % |
30.98/31.07 c | 37755 | 54024 933146 2895588 | 2147483647 37755 40 | 0.000 % |
31.18/31.24 c | 37918 | 54024 933146 2895588 | 2147483647 37918 40 | 0.000 % |
31.28/31.40 c | 38094 | 54024 933146 2895588 | 2147483647 38094 41 | 0.000 % |
31.59/31.62 c | 38287 | 54024 933146 2895588 | 2147483647 38287 41 | 0.000 % |
31.59/31.68 c | 38499 | 54024 933146 2895588 | 2147483647 38499 41 | 0.000 % |
31.79/31.85 c | 38732 | 54024 933146 2895588 | 2147483647 38732 41 | 0.000 % |
31.89/31.97 c | 38988 | 54024 933146 2895588 | 2147483647 38988 41 | 0.000 % |
32.09/32.13 c | 39271 | 54024 933146 2895588 | 2147483647 39271 41 | 0.000 % |
32.39/32.49 c | 39580 | 54024 933146 2895588 | 2147483647 39580 41 | 0.000 % |
32.79/32.83 c | 39920 | 54024 933146 2895588 | 2147483647 39920 41 | 0.000 % |
32.89/32.92 c | 40293 | 54024 933146 2895588 | 2147483647 40293 41 | 0.000 % |
33.09/33.16 c | 40703 | 54024 933146 2895588 | 2147483647 40703 41 | 0.000 % |
33.39/33.42 c | 41155 | 54024 933146 2895588 | 2147483647 41155 41 | 0.000 % |
33.69/33.78 c | 41648 | 54024 933146 2895588 | 2147483647 41648 41 | 0.000 % |
33.89/33.91 c | 42190 | 54024 933146 2895588 | 2147483647 42190 41 | 0.000 % |
33.99/34.05 c | 42786 | 54024 933146 2895588 | 2147483647 42786 41 | 0.000 % |
34.09/34.13 c | 42886 | 54024 933146 2895588 | 2147483647 42886 41 | 0.000 % |
34.19/34.21 c | 42998 | 54024 933146 2895588 | 2147483647 42998 41 | 0.000 % |
34.29/34.40 c | 43119 | 54024 933146 2895588 | 2147483647 43119 41 | 0.000 % |
34.39/34.44 c | 43254 | 54024 933146 2895588 | 2147483647 43254 41 | 0.000 % |
34.49/34.57 c | 43400 | 54024 933146 2895588 | 2147483647 43400 41 | 0.000 % |
34.59/34.63 c | 43561 | 54024 933146 2895588 | 2147483647 43561 41 | 0.000 % |
34.69/34.80 c | 43739 | 54024 933146 2895588 | 2147483647 43739 41 | 0.000 % |
34.79/34.88 c | 43933 | 54024 933146 2895588 | 2147483647 43933 41 | 0.000 % |
34.99/35.06 c | 44147 | 54024 933146 2895588 | 2147483647 44147 41 | 0.000 % |
35.19/35.23 c | 44381 | 54024 933146 2895588 | 2147483647 44381 41 | 0.000 % |
35.29/35.34 c | 44638 | 54024 933146 2895588 | 2147483647 44638 41 | 0.000 % |
35.39/35.50 c | 44921 | 54024 933146 2895588 | 2147483647 44921 41 | 0.000 % |
35.59/35.64 c | 45231 | 54024 933146 2895588 | 2147483647 45231 41 | 0.000 % |
35.89/35.94 c | 45572 | 54024 933146 2895588 | 2147483647 45572 41 | 0.000 % |
35.99/36.08 c | 45944 | 54024 933146 2895588 | 2147483647 45944 41 | 0.000 % |
36.29/36.36 c | 46353 | 54024 933146 2895588 | 2147483647 46353 41 | 0.000 % |
36.49/36.56 c | 46802 | 54024 933146 2895588 | 2147483647 46802 41 | 0.000 % |
36.69/36.78 c | 47296 | 54024 933146 2895588 | 2147483647 47296 41 | 0.000 % |
36.89/36.98 c | 47838 | 54024 933146 2895588 | 2147483647 47838 41 | 0.000 % |
37.09/37.17 c | 48434 | 54024 933146 2895588 | 2147483647 48434 41 | 0.000 % |
37.39/37.45 c | 49089 | 54024 933146 2895588 | 2147483647 49089 41 | 0.000 % |
37.39/37.49 c | 49190 | 54024 933146 2895588 | 2147483647 49190 41 | 0.000 % |
37.49/37.52 c | 49300 | 54024 933146 2895588 | 2147483647 49300 41 | 0.000 % |
37.49/37.56 c | 49424 | 54024 933146 2895588 | 2147483647 49424 40 | 0.000 % |
37.49/37.60 c | 49557 | 54024 933146 2895588 | 2147483647 49557 40 | 0.000 % |
37.59/37.64 c | 49704 | 54024 933146 2895588 | 2147483647 49704 40 | 0.000 % |
37.69/37.73 c | 49864 | 54024 933146 2895588 | 2147483647 49864 40 | 0.000 % |
37.89/37.93 c | 50042 | 54024 933146 2895588 | 2147483647 50042 40 | 0.000 % |
37.99/38.03 c | 50236 | 54024 933146 2895588 | 2147483647 50236 40 | 0.000 % |
38.09/38.15 c | 50448 | 54024 933146 2895588 | 2147483647 50448 40 | 0.000 % |
38.19/38.23 c | 50681 | 54024 933146 2895588 | 2147483647 50681 40 | 0.000 % |
38.39/38.44 c | 50937 | 54024 933146 2895588 | 2147483647 50937 40 | 0.000 % |
38.49/38.61 c | 51218 | 54024 933146 2895588 | 2147483647 51218 40 | 0.000 % |
38.69/38.79 c | 51527 | 54024 933146 2895588 | 2147483647 51527 40 | 0.000 % |
38.89/38.92 c | 51866 | 54024 933146 2895588 | 2147483647 51866 41 | 0.000 % |
38.99/39.08 c | 52238 | 54024 933146 2895588 | 2147483647 52238 41 | 0.000 % |
39.29/39.38 c | 52648 | 54024 933146 2895588 | 2147483647 52648 41 | 0.000 % |
39.59/39.62 c | 53098 | 54024 933146 2895588 | 2147483647 53098 41 | 0.000 % |
39.79/39.88 c | 53591 | 54024 933146 2895588 | 2147483647 53591 41 | 0.000 % |
40.09/40.11 c | 54134 | 54024 933146 2895588 | 2147483647 54134 41 | 0.000 % |
40.29/40.39 c | 54730 | 54024 933146 2895588 | 2147483647 54730 41 | 0.000 % |
40.59/40.68 c | 55385 | 54024 933146 2895588 | 2147483647 55385 41 | 0.000 % |
41.09/41.11 c | 56105 | 54024 933146 2895588 | 2147483647 56105 42 | 0.000 % |
41.09/41.18 c | 56205 | 54024 933146 2895588 | 2147483647 56205 42 | 0.000 % |
41.19/41.29 c | 56315 | 54024 933146 2895588 | 2147483647 56315 42 | 0.000 % |
41.39/41.46 c | 56436 | 54024 933146 2895588 | 2147483647 56436 42 | 0.000 % |
41.49/41.58 c | 56572 | 54024 933146 2895588 | 2147483647 56572 42 | 0.000 % |
41.79/41.84 c | 56718 | 54024 933146 2895588 | 2147483647 56718 42 | 0.000 % |
41.89/41.94 c | 56880 | 54024 933146 2895588 | 2147483647 56880 42 | 0.000 % |
41.99/42.05 c | 57057 | 54024 933146 2895588 | 2147483647 57057 42 | 0.000 % |
42.09/42.17 c | 57251 | 54024 933146 2895588 | 2147483647 57251 42 | 0.000 % |
42.29/42.34 c | 57465 | 54024 933146 2895588 | 2147483647 57465 42 | 0.000 % |
42.49/42.51 c | 57699 | 54024 933146 2895588 | 2147483647 57699 42 | 0.000 % |
42.59/42.64 c | 57956 | 54024 933146 2895588 | 2147483647 57956 42 | 0.000 % |
42.79/42.86 c | 58237 | 54024 933146 2895588 | 2147483647 58237 42 | 0.000 % |
42.99/43.03 c | 58547 | 54024 933146 2895588 | 2147483647 58547 42 | 0.000 % |
43.29/43.40 c | 58886 | 54024 933146 2895588 | 2147483647 58886 42 | 0.000 % |
43.49/43.58 c | 59259 | 54024 933146 2895588 | 2147483647 59259 42 | 0.000 % |
43.59/43.70 c | 59668 | 54024 933146 2895588 | 2147483647 59668 42 | 0.000 % |
44.19/44.23 c | 60117 | 54024 933146 2895588 | 2147483647 60117 42 | 0.000 % |
44.49/44.54 c | 60612 | 54024 933146 2895588 | 2147483647 60612 42 | 0.000 % |
44.89/45.01 c | 61157 | 54024 933146 2895588 | 2147483647 61157 43 | 0.000 % |
45.19/45.31 c | 61754 | 54024 933146 2895588 | 2147483647 61754 43 | 0.000 % |
45.79/45.85 c | 62409 | 54024 933146 2895588 | 2147483647 62409 43 | 0.000 % |
46.09/46.20 c | 63129 | 54024 933146 2895588 | 2147483647 63129 43 | 0.000 % |
46.69/46.78 c | 63922 | 54024 933146 2895588 | 2147483647 63922 43 | 0.000 % |
46.79/46.90 c | 64023 | 54024 933146 2895588 | 2147483647 64023 43 | 0.000 % |
46.99/47.09 c | 64133 | 54024 933146 2895588 | 2147483647 64133 43 | 0.000 % |
47.09/47.19 c | 64255 | 54024 933146 2895588 | 2147483647 64255 43 | 0.000 % |
47.19/47.27 c | 64389 | 54024 933146 2895588 | 2147483647 64389 43 | 0.000 % |
47.39/47.48 c | 64536 | 54024 933146 2895588 | 2147483647 64536 43 | 0.000 % |
47.59/47.64 c | 64697 | 54024 933146 2895588 | 2147483647 64697 43 | 0.000 % |
47.79/47.86 c | 64874 | 54024 933146 2895588 | 2147483647 64874 43 | 0.000 % |
47.89/47.95 c | 65069 | 54024 933146 2895588 | 2147483647 65069 43 | 0.000 % |
48.09/48.16 c | 65281 | 54024 933146 2895588 | 2147483647 65281 43 | 0.000 % |
48.19/48.28 c | 65514 | 54024 933146 2895588 | 2147483647 65514 43 | 0.000 % |
48.39/48.48 c | 65770 | 54024 933146 2895588 | 2147483647 65770 43 | 0.000 % |
48.49/48.56 c | 66051 | 54024 933146 2895588 | 2147483647 66051 43 | 0.000 % |
48.79/48.85 c | 66360 | 54024 933146 2895588 | 2147483647 66360 44 | 0.000 % |
48.89/49.00 c | 66699 | 54024 933146 2895588 | 2147483647 66699 44 | 0.000 % |
49.09/49.18 c | 67074 | 54024 933146 2895588 | 2147483647 67074 44 | 0.000 % |
49.39/49.45 c | 67485 | 54024 933146 2895588 | 2147483647 67485 44 | 0.000 % |
49.49/49.61 c | 67935 | 54024 933146 2895588 | 2147483647 67935 44 | 0.000 % |
49.89/49.96 c | 68429 | 54024 933146 2895588 | 2147483647 68429 44 | 0.000 % |
50.19/50.31 c | 68973 | 54024 933146 2895588 | 2147483647 68973 44 | 0.000 % |
50.39/50.48 c | 69570 | 54024 933146 2895588 | 2147483647 69570 44 | 0.000 % |
50.99/51.07 c | 70227 | 54024 933146 2895588 | 2147483647 70227 44 | 0.000 % |
51.49/51.52 c | 70948 | 54024 933146 2895588 | 2147483647 70948 45 | 0.000 % |
51.79/51.87 c | 71740 | 54024 933146 2895588 | 2147483647 71740 45 | 0.000 % |
52.49/52.55 c | 72612 | 54024 933146 2895588 | 2147483647 72612 45 | 0.000 % |
52.59/52.66 c | 72714 | 54024 933146 2895588 | 2147483647 72714 45 | 0.000 % |
52.69/52.78 c | 72824 | 54024 933146 2895588 | 2147483647 72824 45 | 0.000 % |
52.79/52.84 c | 72945 | 54024 933146 2895588 | 2147483647 72945 45 | 0.000 % |
52.89/52.91 c | 73079 | 54024 933146 2895588 | 2147483647 73079 45 | 0.000 % |
53.09/53.13 c | 73226 | 54024 933146 2895588 | 2147483647 73226 45 | 0.000 % |
53.19/53.28 c | 73386 | 54024 933146 2895588 | 2147483647 73386 45 | 0.000 % |
53.29/53.41 c | 73563 | 54024 933146 2895588 | 2147483647 73563 45 | 0.000 % |
53.59/53.63 c | 73756 | 54024 933146 2895588 | 2147483647 73756 45 | 0.000 % |
53.89/53.94 c | 73971 | 54024 933146 2895588 | 2147483647 73971 45 | 0.000 % |
54.09/54.18 c | 74205 | 54024 933146 2895588 | 2147483647 74205 45 | 0.000 % |
54.19/54.29 c | 74461 | 54024 933146 2895588 | 2147483647 74461 45 | 0.000 % |
54.39/54.46 c | 74742 | 54024 933146 2895588 | 2147483647 74742 45 | 0.000 % |
54.59/54.67 c | 75051 | 54024 933146 2895588 | 2147483647 75051 45 | 0.000 % |
54.79/54.86 c | 75390 | 54024 933146 2895588 | 2147483647 75390 46 | 0.000 % |
54.99/55.05 c | 75762 | 54024 933146 2895588 | 2147483647 75762 46 | 0.000 % |
55.19/55.28 c | 76175 | 54024 933146 2895588 | 2147483647 76175 46 | 0.000 % |
55.39/55.49 c | 76624 | 54024 933146 2895588 | 2147483647 76624 46 | 0.000 % |
55.69/55.72 c | 77117 | 54024 933146 2895588 | 2147483647 77117 46 | 0.000 % |
55.99/56.04 c | 77661 | 54024 933146 2895588 | 2147483647 77661 46 | 0.000 % |
56.19/56.24 c | 78259 | 54024 933146 2895588 | 2147483647 78259 46 | 0.000 % |
56.49/56.53 c | 78914 | 54024 933146 2895588 | 2147483647 78914 46 | 0.000 % |
56.79/56.86 c | 79634 | 54024 933146 2895588 | 2147483647 79634 46 | 0.000 % |
57.29/57.32 c | 80426 | 54024 933146 2895588 | 2147483647 80426 46 | 0.000 % |
57.69/57.79 c | 81299 | 54024 933146 2895588 | 2147483647 81299 46 | 0.000 % |
58.19/58.23 c | 82258 | 54024 933146 2895588 | 2147483647 82258 46 | 0.000 % |
58.19/58.30 c | 82358 | 54024 933146 2895588 | 2147483647 82358 46 | 0.000 % |
58.29/58.37 c | 82469 | 54024 933146 2895588 | 2147483647 82469 46 | 0.000 % |
58.39/58.47 c | 82590 | 54024 933146 2895588 | 2147483647 82590 46 | 0.000 % |
58.49/58.55 c | 82723 | 54024 933146 2895588 | 2147483647 82723 46 | 0.000 % |
58.59/58.67 c | 82869 | 54024 933146 2895588 | 2147483647 82869 46 | 0.000 % |
58.69/58.77 c | 83029 | 54024 933146 2895588 | 2147483647 83029 46 | 0.000 % |
58.89/58.92 c | 83205 | 54024 933146 2895588 | 2147483647 83205 46 | 0.000 % |
58.99/59.02 c | 83398 | 54024 933146 2895588 | 2147483647 83398 46 | 0.000 % |
59.09/59.20 c | 83610 | 54024 933146 2895588 | 2147483647 83610 46 | 0.000 % |
59.39/59.43 c | 83843 | 54024 933146 2895588 | 2147483647 83843 46 | 0.000 % |
59.49/59.57 c | 84100 | 54024 933146 2895588 | 2147483647 84100 46 | 0.000 % |
59.69/59.74 c | 84381 | 54024 933146 2895588 | 2147483647 84381 46 | 0.000 % |
59.89/59.93 c | 84690 | 54024 933146 2895588 | 2147483647 84690 46 | 0.000 % |
60.09/60.12 c | 85030 | 54024 933146 2895588 | 2147483647 85030 46 | 0.000 % |
60.29/60.33 c | 85403 | 54024 933146 2895588 | 2147483647 85403 46 | 0.000 % |
60.39/60.48 c | 85812 | 54024 933146 2895588 | 2147483647 85812 46 | 0.000 % |
60.69/60.77 c | 86261 | 54024 933146 2895588 | 2147483647 86261 46 | 0.000 % |
60.89/61.00 c | 86756 | 54024 933146 2895588 | 2147483647 86756 46 | 0.000 % |
61.29/61.41 c | 87301 | 54024 933146 2895588 | 2147483647 87301 46 | 0.000 % |
61.69/61.75 c | 87897 | 54024 933146 2895588 | 2147483647 87897 46 | 0.000 % |
61.89/62.00 c | 88552 | 54024 933146 2895588 | 2147483647 88552 46 | 0.000 % |
62.29/62.32 c | 89272 | 54024 933146 2895588 | 2147483647 89272 47 | 0.000 % |
62.49/62.60 c | 90064 | 54024 933146 2895588 | 2147483647 90064 47 | 0.000 % |
63.19/63.22 c | 90935 | 54024 933146 2895588 | 2147483647 90935 47 | 0.000 % |
63.59/63.61 c | 91893 | 54024 933146 2895588 | 2147483647 91893 47 | 0.000 % |
64.09/64.13 c | 92946 | 54024 933146 2895588 | 2147483647 92946 47 | 0.000 % |
64.09/64.21 c | 93046 | 54024 933146 2895588 | 2147483647 93046 47 | 0.000 % |
64.19/64.27 c | 93156 | 54024 933146 2895588 | 2147483647 93156 47 | 0.000 % |
64.29/64.33 c | 93277 | 54024 933146 2895588 | 2147483647 93277 47 | 0.000 % |
64.39/64.43 c | 93411 | 54024 933146 2895588 | 2147483647 93411 47 | 0.000 % |
64.39/64.50 c | 93557 | 54024 933146 2895588 | 2147483647 93557 47 | 0.000 % |
64.49/64.59 c | 93717 | 54024 933146 2895588 | 2147483647 93717 47 | 0.000 % |
64.59/64.71 c | 93893 | 54024 933146 2895588 | 2147483647 93893 47 | 0.000 % |
64.69/64.79 c | 94086 | 54024 933146 2895588 | 2147483647 94086 47 | 0.000 % |
64.79/64.91 c | 94298 | 54024 933146 2895588 | 2147483647 94298 47 | 0.000 % |
64.99/65.04 c | 94531 | 54024 933146 2895588 | 2147483647 94531 47 | 0.000 % |
65.09/65.21 c | 94788 | 54024 933146 2895588 | 2147483647 94788 47 | 0.000 % |
65.19/65.29 c | 95070 | 54024 933146 2895588 | 2147483647 95070 47 | 0.000 % |
65.39/65.47 c | 95379 | 54024 933146 2895588 | 2147483647 95379 47 | 0.000 % |
65.59/65.64 c | 95719 | 54024 933146 2895588 | 2147483647 95719 47 | 0.000 % |
65.79/65.86 c | 96091 | 54024 933146 2895588 | 2147483647 96091 47 | 0.000 % |
66.00/66.05 c | 96501 | 54024 933146 2895588 | 2147483647 96501 47 | 0.000 % |
66.19/66.30 c | 96951 | 54024 933146 2895588 | 2147483647 96951 47 | 0.000 % |
66.59/66.61 c | 97445 | 54024 933146 2895588 | 2147483647 97445 47 | 0.000 % |
66.79/66.88 c | 97987 | 54024 933146 2895588 | 2147483647 97987 47 | 0.000 % |
66.99/67.11 c | 98583 | 54024 933146 2895588 | 2147483647 98583 47 | 0.000 % |
67.39/67.50 c | 99238 | 54024 933146 2895588 | 2147483647 99238 47 | 0.000 % |
67.69/67.75 c | 99959 | 54024 933146 2895588 | 2147483647 99959 47 | 0.000 % |
68.09/68.21 c | 100753 | 54024 933146 2895588 | 2147483647 100753 47 | 0.000 % |
68.59/68.62 c | 101624 | 54024 933146 2895588 | 2147483647 101624 47 | 0.000 % |
69.09/69.15 c | 102582 | 54024 933146 2895588 | 2147483647 102582 47 | 0.000 % |
69.69/69.72 c | 103637 | 54024 933146 2895588 | 2147483647 103637 48 | 0.000 % |
70.29/70.37 c | 104795 | 54024 933146 2895588 | 2147483647 104795 48 | 0.000 % |
70.40/70.48 c | 104896 | 54024 933146 2895588 | 2147483647 104896 48 | 0.000 % |
70.59/70.63 c | 105007 | 54024 933146 2895588 | 2147483647 105007 48 | 0.000 % |
70.69/70.80 c | 105129 | 54024 933146 2895588 | 2147483647 105129 48 | 0.000 % |
70.79/70.89 c | 105262 | 54024 933146 2895588 | 2147483647 105262 48 | 0.000 % |
71.09/71.19 c | 105408 | 54024 933146 2895588 | 2147483647 105408 48 | 0.000 % |
71.29/71.31 c | 105568 | 54024 933146 2895588 | 2147483647 105568 48 | 0.000 % |
71.50/71.59 c | 105746 | 54024 933146 2895588 | 2147483647 105746 48 | 0.000 % |
71.79/71.83 c | 105939 | 54024 933146 2895588 | 2147483647 105939 48 | 0.000 % |
71.99/72.10 c | 106153 | 54024 933146 2895588 | 2147483647 106153 48 | 0.000 % |
72.19/72.23 c | 106386 | 54024 933146 2895588 | 2147483647 106386 48 | 0.000 % |
72.29/72.40 c | 106646 | 54024 933146 2895588 | 2147483647 106646 48 | 0.000 % |
72.49/72.53 c | 106927 | 54024 933146 2895588 | 2147483647 106927 48 | 0.000 % |
72.69/72.81 c | 107236 | 54024 933146 2895588 | 2147483647 107236 48 | 0.000 % |
72.89/72.99 c | 107575 | 54024 933146 2895588 | 2147483647 107575 48 | 0.000 % |
73.19/73.22 c | 107947 | 54024 933146 2895588 | 2147483647 107947 48 | 0.000 % |
73.39/73.50 c | 108357 | 54024 933146 2895588 | 2147483647 108357 48 | 0.000 % |
73.70/73.77 c | 108806 | 54024 933146 2895588 | 2147483647 108806 48 | 0.000 % |
73.89/73.96 c | 109299 | 54024 933146 2895588 | 2147483647 109299 48 | 0.000 % |
74.29/74.38 c | 109841 | 54024 933146 2895588 | 2147483647 109841 48 | 0.000 % |
74.89/74.92 c | 110437 | 54024 933146 2895588 | 2147483647 110437 48 | 0.000 % |
75.19/75.23 c | 111092 | 54024 933146 2895588 | 2147483647 111092 48 | 0.000 % |
75.90/75.99 c | 111812 | 54024 933146 2895588 | 2147483647 111812 48 | 0.000 % |
76.29/76.37 c | 112604 | 54024 933146 2895588 | 2147483647 112604 48 | 0.000 % |
76.69/76.78 c | 113475 | 54024 933146 2895588 | 2147483647 113475 48 | 0.000 % |
77.19/77.25 c | 114433 | 54024 933146 2895588 | 2147483647 114433 48 | 0.000 % |
77.89/77.96 c | 115486 | 54024 933146 2895588 | 2147483647 115486 48 | 0.000 % |
78.59/78.63 c | 116647 | 54024 933146 2895588 | 2147483647 116647 48 | 0.000 % |
78.99/79.09 c | 117920 | 54024 933146 2895588 | 2147483647 117920 48 | 0.000 % |
79.20/79.22 c | 118021 | 54024 933146 2895588 | 2147483647 118021 48 | 0.000 % |
79.39/79.47 c | 118131 | 54024 933146 2895588 | 2147483647 118131 48 | 0.000 % |
79.49/79.55 c | 118252 | 54024 933146 2895588 | 2147483647 118252 48 | 0.000 % |
79.69/79.74 c | 118385 | 54024 933146 2895588 | 2147483647 118385 48 | 0.000 % |
79.89/79.91 c | 118533 | 54024 933146 2895588 | 2147483647 118533 48 | 0.000 % |
79.99/80.02 c | 118694 | 54024 933146 2895588 | 2147483647 118694 48 | 0.000 % |
80.19/80.30 c | 118871 | 54024 933146 2895588 | 2147483647 118871 48 | 0.000 % |
80.49/80.53 c | 119065 | 54024 933146 2895588 | 2147483647 119065 48 | 0.000 % |
80.69/80.78 c | 119279 | 54024 933146 2895588 | 2147483647 119279 48 | 0.000 % |
80.89/80.96 c | 119516 | 54024 933146 2895588 | 2147483647 119516 48 | 0.000 % |
81.19/81.21 c | 119772 | 54024 933146 2895588 | 2147483647 119772 48 | 0.000 % |
81.40/81.47 c | 120054 | 54024 933146 2895588 | 2147483647 120054 48 | 0.000 % |
81.69/81.74 c | 120363 | 54024 933146 2895588 | 2147483647 120363 48 | 0.000 % |
81.99/82.03 c | 120702 | 54024 933146 2895588 | 2147483647 120702 48 | 0.000 % |
82.19/82.22 c | 121075 | 54024 933146 2895588 | 2147483647 121075 48 | 0.000 % |
82.59/82.61 c | 121484 | 54024 933146 2895588 | 2147483647 121484 48 | 0.000 % |
82.89/82.94 c | 121934 | 54024 933146 2895588 | 2147483647 121934 48 | 0.000 % |
83.19/83.26 c | 122429 | 54024 933146 2895588 | 2147483647 122429 48 | 0.000 % |
83.69/83.77 c | 122972 | 54024 933146 2895588 | 2147483647 122972 48 | 0.000 % |
83.99/84.07 c | 123568 | 54024 933146 2895588 | 2147483647 123568 48 | 0.000 % |
84.59/84.64 c | 124224 | 54024 933146 2895588 | 2147483647 124224 49 | 0.000 % |
84.89/84.97 c | 124944 | 54024 933146 2895588 | 2147483647 124944 49 | 0.000 % |
85.59/85.68 c | 125738 | 54024 933146 2895588 | 2147483647 125738 49 | 0.000 % |
86.09/86.19 c | 126611 | 54024 933146 2895588 | 2147483647 126611 49 | 0.000 % |
86.69/86.75 c | 127569 | 54024 933146 2895588 | 2147483647 127569 49 | 0.000 % |
87.29/87.35 c | 128622 | 54024 933146 2895588 | 2147483647 128622 49 | 0.000 % |
87.79/87.91 c | 129781 | 54024 933146 2895588 | 2147483647 129781 49 | 0.000 % |
88.59/88.64 c | 131056 | 54024 933146 2895588 | 2147483647 131056 50 | 0.000 % |
89.79/89.87 c | 132456 | 54024 933146 2895588 | 2147483647 132456 50 | 0.000 % |
89.99/90.03 c | 132556 | 54024 933146 2895588 | 2147483647 132556 50 | 0.000 % |
90.09/90.17 c | 132666 | 54024 933146 2895588 | 2147483647 132666 50 | 0.000 % |
90.20/90.28 c | 132788 | 54024 933146 2895588 | 2147483647 132788 50 | 0.000 % |
90.39/90.45 c | 132921 | 54024 933146 2895588 | 2147483647 132921 50 | 0.000 % |
90.49/90.60 c | 133067 | 54024 933146 2895588 | 2147483647 133067 50 | 0.000 % |
90.79/90.81 c | 133227 | 54024 933146 2895588 | 2147483647 133227 50 | 0.000 % |
90.89/90.97 c | 133403 | 54024 933146 2895588 | 2147483647 133403 50 | 0.000 % |
91.09/91.13 c | 133597 | 54024 933146 2895588 | 2147483647 133597 50 | 0.000 % |
91.39/91.41 c | 133809 | 54024 933146 2895588 | 2147483647 133809 50 | 0.000 % |
91.49/91.54 c | 134042 | 54024 933146 2895588 | 2147483647 134042 50 | 0.000 % |
91.69/91.78 c | 134299 | 54024 933146 2895588 | 2147483647 134299 50 | 0.000 % |
91.89/91.92 c | 134580 | 54024 933146 2895588 | 2147483647 134580 50 | 0.000 % |
92.19/92.22 c | 134890 | 54024 933146 2895588 | 2147483647 134890 50 | 0.000 % |
92.40/92.48 c | 135229 | 54024 933146 2895588 | 2147483647 135229 50 | 0.000 % |
92.59/92.66 c | 135602 | 54024 933146 2895588 | 2147483647 135602 50 | 0.000 % |
92.79/92.85 c | 136011 | 54024 933146 2895588 | 2147483647 136011 50 | 0.000 % |
93.19/93.30 c | 136463 | 54024 933146 2895588 | 2147483647 136463 50 | 0.000 % |
93.59/93.61 c | 136956 | 54024 933146 2895588 | 2147483647 136956 50 | 0.000 % |
93.99/94.02 c | 137498 | 54024 933146 2895588 | 2147483647 137498 50 | 0.000 % |
94.39/94.43 c | 138095 | 54024 933146 2895588 | 2147483647 138095 50 | 0.000 % |
95.09/95.18 c | 138751 | 54024 933146 2895588 | 2147483647 138751 50 | 0.000 % |
95.59/95.69 c | 139478 | 54024 933146 2895588 | 2147483647 139478 50 | 0.000 % |
96.09/96.13 c | 140272 | 54024 933146 2895588 | 2147483647 140272 50 | 0.000 % |
96.59/96.63 c | 141143 | 54024 933146 2895588 | 2147483647 141143 50 | 0.000 % |
97.19/97.22 c | 142104 | 54024 933146 2895588 | 2147483647 142104 50 | 0.000 % |
97.69/97.78 c | 143159 | 54024 933146 2895588 | 2147483647 143159 50 | 0.000 % |
98.29/98.32 c | 144317 | 54024 933146 2895588 | 2147483647 144317 50 | 0.000 % |
99.00/99.04 c | 145590 | 54024 933146 2895588 | 2147483647 145590 50 | 0.000 % |
99.99/100.05 c | 146990 | 54024 933146 2895588 | 2147483647 146990 51 | 0.000 % |
100.99/101.09 c | 148530 | 54024 933146 2895588 | 2147483647 148530 51 | 0.000 % |
101.20/101.23 c | 148630 | 54024 933146 2895588 | 2147483647 148630 51 | 0.000 % |
101.39/101.42 c | 148740 | 54024 933146 2895588 | 2147483647 148740 51 | 0.000 % |
101.49/101.52 c | 148861 | 54024 933146 2895588 | 2147483647 148861 51 | 0.000 % |
101.59/101.64 c | 148994 | 54024 933146 2895588 | 2147483647 148994 51 | 0.000 % |
101.69/101.74 c | 149140 | 54024 933146 2895588 | 2147483647 149140 51 | 0.000 % |
101.79/101.87 c | 149300 | 54024 933146 2895588 | 2147483647 149300 51 | 0.000 % |
101.89/102.00 c | 149476 | 54024 933146 2895588 | 2147483647 149476 51 | 0.000 % |
102.09/102.13 c | 149669 | 54024 933146 2895588 | 2147483647 149669 51 | 0.000 % |
102.39/102.41 c | 149881 | 54024 933146 2895588 | 2147483647 149881 51 | 0.000 % |
102.69/102.73 c | 150115 | 54024 933146 2895588 | 2147483647 150115 51 | 0.000 % |
102.89/102.92 c | 150372 | 54024 933146 2895588 | 2147483647 150372 51 | 0.000 % |
103.19/103.29 c | 150656 | 54024 933146 2895588 | 2147483647 150656 51 | 0.000 % |
103.49/103.51 c | 150965 | 54024 933146 2895588 | 2147483647 150965 51 | 0.000 % |
103.59/103.69 c | 151304 | 54024 933146 2895588 | 2147483647 151304 51 | 0.000 % |
103.99/104.01 c | 151676 | 54024 933146 2895588 | 2147483647 151676 51 | 0.000 % |
104.19/104.29 c | 152085 | 54024 933146 2895588 | 2147483647 152085 51 | 0.000 % |
104.69/104.72 c | 152534 | 54024 933146 2895588 | 2147483647 152534 51 | 0.000 % |
105.09/105.18 c | 153028 | 54024 933146 2895588 | 2147483647 153028 51 | 0.000 % |
105.79/105.81 c | 153572 | 54024 933146 2895588 | 2147483647 153572 51 | 0.000 % |
106.09/106.20 c | 154169 | 54024 933146 2895588 | 2147483647 154169 51 | 0.000 % |
106.70/106.77 c | 154828 | 54024 933146 2895588 | 2147483647 154828 51 | 0.000 % |
107.39/107.41 c | 155550 | 54024 933146 2895588 | 2147483647 155550 51 | 0.000 % |
107.89/108.00 c | 156342 | 54024 933146 2895588 | 2147483647 156342 51 | 0.000 % |
108.49/108.54 c | 157213 | 54024 933146 2895588 | 2147483647 157213 51 | 0.000 % |
108.90/109.00 c | 158171 | 54024 933146 2895588 | 2147483647 158171 51 | 0.000 % |
109.29/109.40 c | 159225 | 54024 933146 2895588 | 2147483647 159225 51 | 0.000 % |
110.00/110.07 c | 160383 | 54024 933146 2895588 | 2147483647 160383 51 | 0.000 % |
110.79/110.81 c | 161657 | 54024 933146 2895588 | 2147483647 161657 51 | 0.000 % |
111.49/111.58 c | 163057 | 54024 933146 2895588 | 2147483647 163057 51 | 0.000 % |
112.39/112.50 c | 164597 | 54024 933146 2895588 | 2147483647 164597 53 | 0.000 % |
113.79/113.81 c | 166293 | 54024 933146 2895588 | 2147483647 166293 52 | 0.000 % |
113.89/113.96 c | 166393 | 54024 933146 2895588 | 2147483647 166393 52 | 0.000 % |
113.99/114.08 c | 166506 | 54024 933146 2895588 | 2147483647 166506 53 | 0.000 % |
114.19/114.28 c | 166630 | 54024 933146 2895588 | 2147483647 166630 53 | 0.000 % |
114.40/114.46 c | 166766 | 54024 933146 2895588 | 2147483647 166766 53 | 0.000 % |
114.49/114.61 c | 166912 | 54024 933146 2895588 | 2147483647 166912 53 | 0.000 % |
114.79/114.83 c | 167074 | 54024 933146 2895588 | 2147483647 167074 53 | 0.000 % |
115.09/115.11 c | 167251 | 54024 933146 2895588 | 2147483647 167251 53 | 0.000 % |
115.19/115.30 c | 167444 | 54024 933146 2895588 | 2147483647 167444 53 | 0.000 % |
115.50/115.53 c | 167656 | 54024 933146 2895588 | 2147483647 167656 53 | 0.000 % |
115.69/115.80 c | 167889 | 54024 933146 2895588 | 2147483647 167889 53 | 0.000 % |
115.99/116.07 c | 168145 | 54024 933146 2895588 | 2147483647 168145 53 | 0.000 % |
116.19/116.24 c | 168426 | 54024 933146 2895588 | 2147483647 168426 53 | 0.000 % |
116.49/116.59 c | 168739 | 54024 933146 2895588 | 2147483647 168739 53 | 0.000 % |
116.79/116.86 c | 169078 | 54024 933146 2895588 | 2147483647 169078 53 | 0.000 % |
117.00/117.06 c | 169450 | 54024 933146 2895588 | 2147483647 169450 53 | 0.000 % |
117.49/117.51 c | 169859 | 54024 933146 2895588 | 2147483647 169859 53 | 0.000 % |
117.70/117.75 c | 170311 | 54024 933146 2895588 | 2147483647 170311 53 | 0.000 % |
118.40/118.47 c | 170804 | 54024 933146 2895588 | 2147483647 170804 53 | 0.000 % |
118.70/118.75 c | 171347 | 54024 933146 2895588 | 2147483647 171347 53 | 0.000 % |
119.00/119.06 c | 171943 | 54024 933146 2895588 | 2147483647 171943 53 | 0.000 % |
119.30/119.39 c | 172601 | 54024 933146 2895588 | 2147483647 172601 53 | 0.000 % |
119.70/119.80 c | 173323 | 54024 933146 2895588 | 2147483647 173323 53 | 0.000 % |
120.20/120.29 c | 174115 | 54024 933146 2895588 | 2147483647 174115 53 | 0.000 % |
120.70/120.73 c | 174986 | 54024 933146 2895588 | 2147483647 174986 53 | 0.000 % |
121.10/121.16 c | 175944 | 54024 933146 2895588 | 2147483647 175944 53 | 0.000 % |
122.00/122.03 c | 176997 | 54024 933146 2895588 | 2147483647 176997 53 | 0.000 % |
122.40/122.49 c | 178155 | 54024 933146 2895588 | 2147483647 178155 54 | 0.000 % |
122.90/123.01 c | 179429 | 54024 933146 2895588 | 2147483647 179429 54 | 0.000 % |
124.10/124.19 c | 180830 | 54024 933146 2895588 | 2147483647 180830 54 | 0.000 % |
125.10/125.20 c | 182370 | 54024 933146 2895588 | 2147483647 182370 54 | 0.000 % |
126.40/126.44 c | 184065 | 54024 933146 2895588 | 2147483647 184065 54 | 0.000 % |
128.00/128.07 c | 185930 | 54024 933146 2895588 | 2147483647 185930 55 | 0.000 % |
128.10/128.16 c | 186030 | 54024 933146 2895588 | 2147483647 186030 55 | 0.000 % |
128.30/128.38 c | 186140 | 54024 933146 2895588 | 2147483647 186140 55 | 0.000 % |
128.50/128.56 c | 186263 | 54024 933146 2895588 | 2147483647 186263 55 | 0.000 % |
128.60/128.70 c | 186396 | 54024 933146 2895588 | 2147483647 186396 55 | 0.000 % |
128.70/128.80 c | 186543 | 54024 933146 2895588 | 2147483647 186543 55 | 0.000 % |
129.00/129.05 c | 186703 | 54024 933146 2895588 | 2147483647 186703 55 | 0.000 % |
129.10/129.20 c | 186880 | 54024 933146 2895588 | 2147483647 186880 55 | 0.000 % |
129.40/129.43 c | 187075 | 54024 933146 2895588 | 2147483647 187075 55 | 0.000 % |
129.60/129.66 c | 187287 | 54024 933146 2895588 | 2147483647 187287 55 | 0.000 % |
129.90/129.95 c | 187521 | 54024 933146 2895588 | 2147483647 187521 55 | 0.000 % |
130.10/130.16 c | 187777 | 54024 933146 2895588 | 2147483647 187777 55 | 0.000 % |
130.50/130.53 c | 188058 | 54024 933146 2895588 | 2147483647 188058 55 | 0.000 % |
130.80/130.85 c | 188367 | 54024 933146 2895588 | 2147483647 188367 55 | 0.000 % |
131.20/131.29 c | 188708 | 54024 933146 2895588 | 2147483647 188708 55 | 0.000 % |
131.50/131.58 c | 189080 | 54024 933146 2895588 | 2147483647 189080 55 | 0.000 % |
131.90/131.92 c | 189489 | 54024 933146 2895588 | 2147483647 189489 55 | 0.000 % |
132.20/132.28 c | 189938 | 54024 933146 2895588 | 2147483647 189938 55 | 0.000 % |
132.90/132.92 c | 190431 | 54024 933146 2895588 | 2147483647 190431 55 | 0.000 % |
133.40/133.44 c | 190975 | 54024 933146 2895588 | 2147483647 190975 55 | 0.000 % |
133.90/133.98 c | 191573 | 54024 933146 2895588 | 2147483647 191573 55 | 0.000 % |
134.50/134.52 c | 192230 | 54024 933146 2895588 | 2147483647 192230 55 | 0.000 % |
135.10/135.14 c | 192951 | 54024 933146 2895588 | 2147483647 192951 55 | 0.000 % |
135.50/135.56 c | 193744 | 54024 933146 2895588 | 2147483647 193744 55 | 0.000 % |
135.90/135.92 c | 194617 | 54024 933146 2895588 | 2147483647 194617 55 | 0.000 % |
136.60/136.70 c | 195576 | 54024 933146 2895588 | 2147483647 195576 55 | 0.000 % |
137.30/137.36 c | 196629 | 54024 933146 2895588 | 2147483647 196629 55 | 0.000 % |
137.90/137.94 c | 197788 | 54024 933146 2895588 | 2147483647 197788 55 | 0.000 % |
138.50/138.52 c | 199061 | 54024 933146 2895588 | 2147483647 199061 55 | 0.000 % |
139.40/139.44 c | 200462 | 54024 933146 2895588 | 2147483647 200462 56 | 0.000 % |
140.30/140.37 c | 202003 | 54024 933146 2895588 | 2147483647 202003 56 | 0.000 % |
141.30/141.36 c | 203697 | 54024 933146 2895588 | 2147483647 203697 57 | 0.000 % |
142.40/142.49 c | 205560 | 54024 933146 2895588 | 2147483647 205560 57 | 0.000 % |
143.70/143.78 c | 207609 | 54024 933146 2895588 | 2147483647 207609 58 | 0.000 % |
143.90/143.95 c | 207709 | 54024 933146 2895588 | 2147483647 207709 58 | 0.000 % |
144.00/144.06 c | 207821 | 54024 933146 2895588 | 2147483647 207821 58 | 0.000 % |
144.10/144.17 c | 207944 | 54024 933146 2895588 | 2147483647 207944 58 | 0.000 % |
144.20/144.24 c | 208077 | 54024 933146 2895588 | 2147483647 208077 58 | 0.000 % |
144.40/144.45 c | 208225 | 54024 933146 2895588 | 2147483647 208225 58 | 0.000 % |
144.50/144.61 c | 208385 | 54024 933146 2895588 | 2147483647 208385 58 | 0.000 % |
144.80/144.82 c | 208561 | 54024 933146 2895588 | 2147483647 208561 58 | 0.000 % |
145.00/145.08 c | 208755 | 54024 933146 2895588 | 2147483647 208755 58 | 0.000 % |
145.30/145.34 c | 208967 | 54024 933146 2895588 | 2147483647 208967 58 | 0.000 % |
145.50/145.58 c | 209202 | 54024 933146 2895588 | 2147483647 209202 58 | 0.000 % |
145.80/145.88 c | 209458 | 54024 933146 2895588 | 2147483647 209458 58 | 0.000 % |
146.00/146.06 c | 209739 | 54024 933146 2895588 | 2147483647 209739 58 | 0.000 % |
146.30/146.39 c | 210048 | 54024 933146 2895588 | 2147483647 210048 58 | 0.000 % |
146.60/146.66 c | 210388 | 54024 933146 2895588 | 2147483647 210388 59 | 0.000 % |
146.90/146.94 c | 210760 | 54024 933146 2895588 | 2147483647 210760 58 | 0.000 % |
147.50/147.53 c | 211170 | 54024 933146 2895588 | 2147483647 211170 58 | 0.000 % |
147.90/147.99 c | 211619 | 54024 933146 2895588 | 2147483647 211619 58 | 0.000 % |
148.30/148.33 c | 212114 | 54024 933146 2895588 | 2147483647 212114 59 | 0.000 % |
148.60/148.68 c | 212656 | 54024 933146 2895588 | 2147483647 212656 59 | 0.000 % |
149.00/149.02 c | 213252 | 54024 933146 2895588 | 2147483647 213252 59 | 0.000 % |
149.30/149.32 c | 213909 | 54024 933146 2895588 | 2147483647 213909 59 | 0.000 % |
149.80/149.90 c | 214630 | 54024 933146 2895588 | 2147483647 214630 59 | 0.000 % |
150.50/150.61 c | 215422 | 54024 933146 2895588 | 2147483647 215422 59 | 0.000 % |
151.20/151.22 c | 216294 | 54024 933146 2895588 | 2147483647 216294 59 | 0.000 % |
151.90/151.97 c | 217252 | 54024 933146 2895588 | 2147483647 217252 59 | 0.000 % |
152.50/152.52 c | 218306 | 54024 933146 2895588 | 2147483647 218306 59 | 0.000 % |
153.50/153.58 c | 219464 | 54024 933146 2895588 | 2147483647 219464 59 | 0.000 % |
154.50/154.60 c | 220746 | 54024 933146 2895588 | 2147483647 220746 59 | 0.000 % |
155.30/155.39 c | 222147 | 54024 933146 2895588 | 2147483647 222147 60 | 0.000 % |
156.40/156.49 c | 223687 | 54024 933146 2895588 | 2147483647 223687 60 | 0.000 % |
157.50/157.60 c | 225383 | 54024 933146 2895588 | 2147483647 225383 60 | 0.000 % |
158.40/158.44 c | 227246 | 54024 933146 2895588 | 2147483647 227246 60 | 0.000 % |
159.90/159.98 c | 229296 | 54024 933146 2895588 | 2147483647 229296 60 | 0.000 % |
161.10/161.14 c | 231550 | 54024 933146 2895588 | 2147483647 231550 62 | 0.000 % |
161.20/161.31 c | 231651 | 54024 933146 2895588 | 2147483647 231651 62 | 0.000 % |
161.40/161.48 c | 231762 | 54024 933146 2895588 | 2147483647 231762 62 | 0.000 % |
161.60/161.62 c | 231883 | 54024 933146 2895588 | 2147483647 231883 62 | 0.000 % |
161.70/161.75 c | 232017 | 54024 933146 2895588 | 2147483647 232017 62 | 0.000 % |
161.80/161.90 c | 232165 | 54024 933146 2895588 | 2147483647 232165 62 | 0.000 % |
162.00/162.06 c | 232326 | 54024 933146 2895588 | 2147483647 232326 62 | 0.000 % |
162.10/162.20 c | 232504 | 54024 933146 2895588 | 2147483647 232504 62 | 0.000 % |
162.40/162.48 c | 232698 | 54024 933146 2895588 | 2147483647 232698 62 | 0.000 % |
162.60/162.67 c | 232910 | 54024 933146 2895588 | 2147483647 232910 61 | 0.000 % |
162.80/162.90 c | 233143 | 54024 933146 2895588 | 2147483647 233143 61 | 0.000 % |
163.20/163.22 c | 233404 | 54024 933146 2895588 | 2147483647 233404 62 | 0.000 % |
163.40/163.42 c | 233685 | 54024 933146 2895588 | 2147483647 233685 62 | 0.000 % |
163.70/163.75 c | 233995 | 54024 933146 2895588 | 2147483647 233995 62 | 0.000 % |
164.00/164.06 c | 234334 | 54024 933146 2895588 | 2147483647 234334 62 | 0.000 % |
164.40/164.42 c | 234706 | 54024 933146 2895588 | 2147483647 234706 62 | 0.000 % |
164.60/164.68 c | 235115 | 54024 933146 2895588 | 2147483647 235115 62 | 0.000 % |
165.00/165.09 c | 235577 | 54024 933146 2895588 | 2147483647 235577 62 | 0.000 % |
165.40/165.45 c | 236070 | 54024 933146 2895588 | 2147483647 236070 62 | 0.000 % |
165.90/166.01 c | 236612 | 54024 933146 2895588 | 2147483647 236612 62 | 0.000 % |
166.50/166.54 c | 237208 | 54024 933146 2895588 | 2147483647 237208 62 | 0.000 % |
167.10/167.15 c | 237863 | 54024 933146 2895588 | 2147483647 237863 62 | 0.000 % |
167.80/167.89 c | 238583 | 54024 933146 2895588 | 2147483647 238583 62 | 0.000 % |
168.30/168.41 c | 239375 | 54024 933146 2895588 | 2147483647 239375 62 | 0.000 % |
169.20/169.22 c | 240246 | 54024 933146 2895588 | 2147483647 240246 62 | 0.000 % |
170.00/170.07 c | 241204 | 54024 933146 2895588 | 2147483647 241204 62 | 0.000 % |
170.70/170.80 c | 242257 | 54024 933146 2895588 | 2147483647 242257 62 | 0.000 % |
171.60/171.63 c | 243415 | 54024 933146 2895588 | 2147483647 243415 62 | 0.000 % |
172.80/172.85 c | 244689 | 54024 933146 2895588 | 2147483647 244689 62 | 0.000 % |
174.10/174.14 c | 246089 | 54024 933146 2895588 | 2147483647 246089 62 | 0.000 % |
175.50/175.59 c | 247630 | 54024 933146 2895588 | 2147483647 247630 62 | 0.000 % |
176.70/176.73 c | 249324 | 54024 933146 2895588 | 2147483647 249324 63 | 0.000 % |
178.20/178.27 c | 251190 | 54024 933146 2895588 | 2147483647 251190 63 | 0.000 % |
179.80/179.86 c | 253240 | 54024 933146 2895588 | 2147483647 253240 63 | 0.000 % |
181.20/181.25 c | 255493 | 54024 933146 2895588 | 2147483647 255493 63 | 0.000 % |
182.90/182.99 c | 257971 | 54024 933146 2895588 | 2147483647 257971 63 | 0.000 % |
183.00/183.10 c | 258071 | 54024 933146 2895588 | 2147483647 258071 63 | 0.000 % |
183.20/183.28 c | 258181 | 54024 933146 2895588 | 2147483647 258181 63 | 0.000 % |
183.40/183.45 c | 258302 | 54024 933146 2895588 | 2147483647 258302 63 | 0.000 % |
183.60/183.66 c | 258435 | 54024 933146 2895588 | 2147483647 258435 63 | 0.000 % |
183.80/183.86 c | 258582 | 54024 933146 2895588 | 2147483647 258582 63 | 0.000 % |
184.00/184.03 c | 258743 | 54024 933146 2895588 | 2147483647 258743 63 | 0.000 % |
184.20/184.28 c | 258919 | 54024 933146 2895588 | 2147483647 258919 63 | 0.000 % |
184.40/184.49 c | 259113 | 54024 933146 2895588 | 2147483647 259113 63 | 0.000 % |
184.70/184.73 c | 259325 | 54024 933146 2895588 | 2147483647 259325 63 | 0.000 % |
185.00/185.05 c | 259559 | 54024 933146 2895588 | 2147483647 259559 63 | 0.000 % |
185.30/185.35 c | 259815 | 54024 933146 2895588 | 2147483647 259815 63 | 0.000 % |
185.60/185.62 c | 260096 | 54024 933146 2895588 | 2147483647 260096 63 | 0.000 % |
185.90/186.00 c | 260405 | 54024 933146 2895588 | 2147483647 260405 63 | 0.000 % |
186.30/186.31 c | 260745 | 54024 933146 2895588 | 2147483647 260745 63 | 0.000 % |
186.60/186.67 c | 261119 | 54024 933146 2895588 | 2147483647 261119 63 | 0.000 % |
186.80/186.89 c | 261530 | 54024 933146 2895588 | 2147483647 261530 63 | 0.000 % |
187.20/187.23 c | 261981 | 54024 933146 2895588 | 2147483647 261981 63 | 0.000 % |
187.60/187.67 c | 262478 | 54024 933146 2895588 | 2147483647 262478 63 | 0.000 % |
188.10/188.14 c | 263023 | 54024 933146 2895588 | 2147483647 263023 63 | 0.000 % |
188.80/188.81 c | 263619 | 54024 933146 2895588 | 2147483647 263619 63 | 0.000 % |
189.30/189.39 c | 264276 | 54024 933146 2895588 | 2147483647 264276 63 | 0.000 % |
190.10/190.11 c | 264996 | 54024 933146 2895588 | 2147483647 264996 63 | 0.000 % |
191.20/191.22 c | 265789 | 54024 933146 2895588 | 2147483647 265789 63 | 0.000 % |
191.80/191.82 c | 266660 | 54024 933146 2895588 | 2147483647 266660 63 | 0.000 % |
192.80/192.86 c | 267619 | 54024 933146 2895588 | 2147483647 267619 63 | 0.000 % |
193.50/193.53 c | 268673 | 54024 933146 2895588 | 2147483647 268673 63 | 0.000 % |
194.60/194.63 c | 269833 | 54024 933146 2895588 | 2147483647 269833 63 | 0.000 % |
195.40/195.51 c | 271107 | 54024 933146 2895588 | 2147483647 271107 63 | 0.000 % |
196.50/196.59 c | 272508 | 54024 933146 2895588 | 2147483647 272508 63 | 0.000 % |
197.60/197.63 c | 274048 | 54024 933146 2895588 | 2147483647 274048 63 | 0.000 % |
198.70/198.74 c | 275743 | 54024 933146 2895588 | 2147483647 275743 64 | 0.000 % |
200.10/200.20 c | 277606 | 54024 933146 2895588 | 2147483647 277606 64 | 0.000 % |
201.90/201.97 c | 279656 | 54024 933146 2895588 | 2147483647 279656 64 | 0.000 % |
203.40/203.50 c | 281910 | 54024 933146 2895588 | 2147483647 281910 64 | 0.000 % |
205.71/205.79 c | 284389 | 54024 933146 2895588 | 2147483647 284389 64 | 0.000 % |
207.50/207.52 c | 287114 | 54024 933146 2895588 | 2147483647 287114 65 | 0.000 % |
207.60/207.62 c | 287214 | 54024 933146 2895588 | 2147483647 287214 65 | 0.000 % |
207.70/207.74 c | 287324 | 54024 933146 2895588 | 2147483647 287324 65 | 0.000 % |
207.80/207.91 c | 287445 | 54024 933146 2895588 | 2147483647 287445 65 | 0.000 % |
208.00/208.04 c | 287579 | 54024 933146 2895588 | 2147483647 287579 65 | 0.000 % |
208.20/208.24 c | 287725 | 54024 933146 2895588 | 2147483647 287725 65 | 0.000 % |
208.50/208.61 c | 287886 | 54024 933146 2895588 | 2147483647 287886 65 | 0.000 % |
208.70/208.81 c | 288062 | 54024 933146 2895588 | 2147483647 288062 65 | 0.000 % |
209.10/209.13 c | 288255 | 54024 933146 2895588 | 2147483647 288255 65 | 0.000 % |
209.30/209.37 c | 288468 | 54024 933146 2895588 | 2147483647 288468 65 | 0.000 % |
209.70/209.72 c | 288701 | 54024 933146 2895588 | 2147483647 288701 65 | 0.000 % |
210.00/210.08 c | 288958 | 54024 933146 2895588 | 2147483647 288958 65 | 0.000 % |
210.30/210.31 c | 289243 | 54024 933146 2895588 | 2147483647 289243 65 | 0.000 % |
210.60/210.65 c | 289553 | 54024 933146 2895588 | 2147483647 289553 65 | 0.000 % |
210.90/210.95 c | 289892 | 54024 933146 2895588 | 2147483647 289892 65 | 0.000 % |
211.30/211.31 c | 290264 | 54024 933146 2895588 | 2147483647 290264 65 | 0.000 % |
211.70/211.73 c | 290675 | 54024 933146 2895588 | 2147483647 290675 65 | 0.000 % |
212.20/212.30 c | 291126 | 54024 933146 2895588 | 2147483647 291126 65 | 0.000 % |
213.00/213.01 c | 291619 | 54024 933146 2895588 | 2147483647 291619 65 | 0.000 % |
213.20/213.31 c | 292161 | 54024 933146 2895588 | 2147483647 292161 65 | 0.000 % |
213.80/213.81 c | 292758 | 54024 933146 2895588 | 2147483647 292758 65 | 0.000 % |
214.20/214.24 c | 293413 | 54024 933146 2895588 | 2147483647 293413 65 | 0.000 % |
214.90/214.93 c | 294133 | 54024 933146 2895588 | 2147483647 294133 65 | 0.000 % |
215.50/215.61 c | 294926 | 54024 933146 2895588 | 2147483647 294926 65 | 0.000 % |
216.20/216.27 c | 295798 | 54024 933146 2895588 | 2147483647 295798 65 | 0.000 % |
216.80/216.87 c | 296757 | 54024 933146 2895588 | 2147483647 296757 65 | 0.000 % |
217.70/217.71 c | 297810 | 54024 933146 2895588 | 2147483647 297810 65 | 0.000 % |
218.50/218.60 c | 298969 | 54024 933146 2895588 | 2147483647 298969 65 | 0.000 % |
219.60/219.64 c | 300242 | 54024 933146 2895588 | 2147483647 300242 65 | 0.000 % |
220.80/220.81 c | 301642 | 54024 933146 2895588 | 2147483647 301642 65 | 0.000 % |
221.70/221.76 c | 303182 | 54024 933146 2895588 | 2147483647 303182 65 | 0.000 % |
222.90/222.95 c | 304876 | 54024 933146 2895588 | 2147483647 304876 65 | 0.000 % |
224.50/224.56 c | 306739 | 54024 933146 2895588 | 2147483647 306739 65 | 0.000 % |
226.30/226.32 c | 308789 | 54024 933146 2895588 | 2147483647 308789 65 | 0.000 % |
227.50/227.59 c | 311042 | 54024 933146 2895588 | 2147483647 311042 65 | 0.000 % |
229.30/229.40 c | 313522 | 54024 933146 2895588 | 2147483647 313522 66 | 0.000 % |
232.00/232.11 c | 316247 | 54024 933146 2895588 | 2147483647 316247 66 | 0.000 % |
235.30/235.32 c | 319244 | 54024 933146 2895588 | 2147483647 319244 66 | 0.000 % |
235.41/235.47 c | 319344 | 54024 933146 2895588 | 2147483647 319344 66 | 0.000 % |
235.60/235.69 c | 319454 | 54024 933146 2895588 | 2147483647 319454 66 | 0.000 % |
235.70/235.79 c | 319579 | 54024 933146 2895588 | 2147483647 319579 66 | 0.000 % |
236.10/236.11 c | 319712 | 54024 933146 2895588 | 2147483647 319712 66 | 0.000 % |
236.30/236.35 c | 319859 | 54024 933146 2895588 | 2147483647 319859 66 | 0.000 % |
236.70/236.72 c | 320019 | 54024 933146 2895588 | 2147483647 320019 66 | 0.000 % |
237.00/237.01 c | 320195 | 54024 933146 2895588 | 2147483647 320195 66 | 0.000 % |
237.20/237.31 c | 320389 | 54024 933146 2895588 | 2147483647 320389 66 | 0.000 % |
237.61/237.64 c | 320603 | 54024 933146 2895588 | 2147483647 320603 66 | 0.000 % |
237.80/237.90 c | 320837 | 54024 933146 2895588 | 2147483647 320837 66 | 0.000 % |
238.10/238.20 c | 321093 | 54024 933146 2895588 | 2147483647 321093 66 | 0.000 % |
238.50/238.60 c | 321374 | 54024 933146 2895588 | 2147483647 321374 66 | 0.000 % |
238.90/238.95 c | 321683 | 54024 933146 2895588 | 2147483647 321683 66 | 0.000 % |
239.40/239.41 c | 322022 | 54024 933146 2895588 | 2147483647 322022 66 | 0.000 % |
239.70/239.79 c | 322396 | 54024 933146 2895588 | 2147483647 322396 66 | 0.000 % |
240.20/240.21 c | 322806 | 54024 933146 2895588 | 2147483647 322806 66 | 0.000 % |
240.60/240.63 c | 323255 | 54024 933146 2895588 | 2147483647 323255 66 | 0.000 % |
241.30/241.35 c | 323748 | 54024 933146 2895588 | 2147483647 323748 66 | 0.000 % |
241.80/241.84 c | 324290 | 54024 933146 2895588 | 2147483647 324290 66 | 0.000 % |
242.40/242.47 c | 324887 | 54024 933146 2895588 | 2147483647 324887 66 | 0.000 % |
243.00/243.02 c | 325543 | 54024 933146 2895588 | 2147483647 325543 66 | 0.000 % |
243.70/243.71 c | 326263 | 54024 933146 2895588 | 2147483647 326263 66 | 0.000 % |
244.50/244.56 c | 327055 | 54024 933146 2895588 | 2147483647 327055 66 | 0.000 % |
245.50/245.52 c | 327927 | 54024 933146 2895588 | 2147483647 327927 66 | 0.000 % |
246.41/246.50 c | 328885 | 54024 933146 2895588 | 2147483647 328885 66 | 0.000 % |
247.20/247.27 c | 329938 | 54024 933146 2895588 | 2147483647 329938 66 | 0.000 % |
248.10/248.18 c | 331096 | 54024 933146 2895588 | 2147483647 331096 66 | 0.000 % |
249.51/249.53 c | 332369 | 54024 933146 2895588 | 2147483647 332369 66 | 0.000 % |
251.11/251.17 c | 333770 | 54024 933146 2895588 | 2147483647 333770 66 | 0.000 % |
252.61/252.70 c | 335310 | 54024 933146 2895588 | 2147483647 335310 67 | 0.000 % |
254.01/254.03 c | 337004 | 54024 933146 2895588 | 2147483647 337004 67 | 0.000 % |
255.31/255.33 c | 338867 | 54024 933146 2895588 | 2147483647 338867 67 | 0.000 % |
257.01/257.10 c | 340917 | 54024 933146 2895588 | 2147483647 340917 67 | 0.000 % |
257.91/257.98 c | 343170 | 54024 933146 2895588 | 2147483647 343170 67 | 0.000 % |
259.81/259.91 c | 345649 | 54024 933146 2895588 | 2147483647 345649 67 | 0.000 % |
262.21/262.28 c | 348374 | 54024 933146 2895588 | 2147483647 348374 67 | 0.000 % |
264.41/264.48 c | 351371 | 54024 933146 2895588 | 2147483647 351371 67 | 0.000 % |
266.61/266.66 c | 354667 | 54024 933146 2895588 | 2147483647 354667 67 | 0.000 % |
266.71/266.79 c | 354767 | 54024 933146 2895588 | 2147483647 354767 67 | 0.000 % |
266.91/266.92 c | 354878 | 54024 933146 2895588 | 2147483647 354878 67 | 0.000 % |
267.01/267.07 c | 354999 | 54024 933146 2895588 | 2147483647 354999 67 | 0.000 % |
267.11/267.20 c | 355132 | 54024 933146 2895588 | 2147483647 355132 67 | 0.000 % |
267.31/267.33 c | 355278 | 54024 933146 2895588 | 2147483647 355278 67 | 0.000 % |
267.61/267.61 c | 355438 | 54024 933146 2895588 | 2147483647 355438 67 | 0.000 % |
267.71/267.76 c | 355616 | 54024 933146 2895588 | 2147483647 355616 67 | 0.000 % |
267.91/267.97 c | 355810 | 54024 933146 2895588 | 2147483647 355810 67 | 0.000 % |
268.11/268.17 c | 356022 | 54024 933146 2895588 | 2147483647 356022 67 | 0.000 % |
268.41/268.43 c | 356255 | 54024 933146 2895588 | 2147483647 356255 67 | 0.000 % |
268.71/268.73 c | 356511 | 54024 933146 2895588 | 2147483647 356511 67 | 0.000 % |
269.31/269.37 c | 356792 | 54024 933146 2895588 | 2147483647 356792 67 | 0.000 % |
269.61/269.64 c | 357102 | 54024 933146 2895588 | 2147483647 357102 67 | 0.000 % |
270.01/270.09 c | 357443 | 54024 933146 2895588 | 2147483647 357443 67 | 0.000 % |
270.51/270.53 c | 357815 | 54024 933146 2895588 | 2147483647 357815 67 | 0.000 % |
270.91/270.98 c | 358226 | 54024 933146 2895588 | 2147483647 358226 67 | 0.000 % |
271.31/271.40 c | 358676 | 54024 933146 2895588 | 2147483647 358676 67 | 0.000 % |
271.71/271.74 c | 359170 | 54024 933146 2895588 | 2147483647 359170 67 | 0.000 % |
272.51/272.52 c | 359712 | 54024 933146 2895588 | 2147483647 359712 67 | 0.000 % |
273.11/273.18 c | 360309 | 54024 933146 2895588 | 2147483647 360309 67 | 0.000 % |
273.71/273.73 c | 360964 | 54024 933146 2895588 | 2147483647 360964 67 | 0.000 % |
274.41/274.50 c | 361688 | 54024 933146 2895588 | 2147483647 361688 67 | 0.000 % |
275.31/275.34 c | 362480 | 54024 933146 2895588 | 2147483647 362480 67 | 0.000 % |
275.91/275.97 c | 363352 | 54024 933146 2895588 | 2147483647 363352 67 | 0.000 % |
276.81/276.85 c | 364311 | 54024 933146 2895588 | 2147483647 364311 67 | 0.000 % |
277.81/277.83 c | 365364 | 54024 933146 2895588 | 2147483647 365364 68 | 0.000 % |
278.61/278.65 c | 366522 | 54024 933146 2895588 | 2147483647 366522 68 | 0.000 % |
280.01/280.08 c | 367795 | 54024 933146 2895588 | 2147483647 367795 68 | 0.000 % |
281.11/281.19 c | 369196 | 54024 933146 2895588 | 2147483647 369196 68 | 0.000 % |
282.41/282.48 c | 370737 | 54024 933146 2895588 | 2147483647 370737 68 | 0.000 % |
283.81/283.91 c | 372431 | 54024 933146 2895588 | 2147483647 372431 67 | 0.000 % |
285.41/285.46 c | 374294 | 54024 933146 2895588 | 2147483647 374294 67 | 0.000 % |
287.21/287.30 c | 376345 | 54024 933146 2895588 | 2147483647 376345 67 | 0.000 % |
289.21/289.30 c | 378598 | 54024 933146 2895588 | 2147483647 378598 67 | 0.000 % |
291.61/291.70 c | 381076 | 54024 933146 2895588 | 2147483647 381076 67 | 0.000 % |
294.01/294.09 c | 383802 | 54024 933146 2895588 | 2147483647 383802 68 | 0.000 % |
295.51/295.53 c | 386799 | 54024 933146 2895588 | 2147483647 386799 68 | 0.000 % |
297.01/297.01 c | 390096 | 54024 933146 2895588 | 2147483647 390096 68 | 0.000 % |
300.41/300.45 c | 393721 | 54024 933146 2895588 | 2147483647 393721 70 | 0.000 % |
300.61/300.66 c | 393821 | 54024 933146 2895588 | 2147483647 393821 70 | 0.000 % |
300.91/300.93 c | 393931 | 54024 933146 2895588 | 2147483647 393931 70 | 0.000 % |
301.11/301.13 c | 394052 | 54024 933146 2895588 | 2147483647 394052 70 | 0.000 % |
301.31/301.35 c | 394187 | 54024 933146 2895588 | 2147483647 394187 70 | 0.000 % |
301.61/301.70 c | 394334 | 54024 933146 2895588 | 2147483647 394334 70 | 0.000 % |
302.01/302.02 c | 394494 | 54024 933146 2895588 | 2147483647 394494 70 | 0.000 % |
302.51/302.52 c | 394670 | 54024 933146 2895588 | 2147483647 394670 70 | 0.000 % |
302.71/302.74 c | 394865 | 54024 933146 2895588 | 2147483647 394865 70 | 0.000 % |
302.91/302.98 c | 395077 | 54024 933146 2895588 | 2147483647 395077 70 | 0.000 % |
303.41/303.49 c | 395310 | 54024 933146 2895588 | 2147483647 395310 70 | 0.000 % |
303.91/303.95 c | 395566 | 54024 933146 2895588 | 2147483647 395566 70 | 0.000 % |
304.31/304.38 c | 395847 | 54024 933146 2895588 | 2147483647 395847 70 | 0.000 % |
304.81/304.86 c | 396156 | 54024 933146 2895588 | 2147483647 396156 70 | 0.000 % |
305.31/305.33 c | 396495 | 54024 933146 2895588 | 2147483647 396495 70 | 0.000 % |
305.81/305.89 c | 396867 | 54024 933146 2895588 | 2147483647 396867 70 | 0.000 % |
306.31/306.36 c | 397276 | 54024 933146 2895588 | 2147483647 397276 70 | 0.000 % |
306.71/306.73 c | 397726 | 54024 933146 2895588 | 2147483647 397726 70 | 0.000 % |
307.61/307.63 c | 398219 | 54024 933146 2895588 | 2147483647 398219 70 | 0.000 % |
308.01/308.08 c | 398762 | 54024 933146 2895588 | 2147483647 398762 70 | 0.000 % |
308.61/308.68 c | 399358 | 54024 933146 2895588 | 2147483647 399358 70 | 0.000 % |
309.21/309.29 c | 400013 | 54024 933146 2895588 | 2147483647 400013 70 | 0.000 % |
310.21/310.25 c | 400734 | 54024 933146 2895588 | 2147483647 400734 70 | 0.000 % |
311.01/311.03 c | 401527 | 54024 933146 2895588 | 2147483647 401527 70 | 0.000 % |
311.81/311.84 c | 402398 | 54024 933146 2895588 | 2147483647 402398 70 | 0.000 % |
313.11/313.15 c | 403357 | 54024 933146 2895588 | 2147483647 403357 70 | 0.000 % |
313.81/313.89 c | 404410 | 54024 933146 2895588 | 2147483647 404410 70 | 0.000 % |
314.71/314.77 c | 405570 | 54024 933146 2895588 | 2147483647 405570 70 | 0.000 % |
315.91/315.97 c | 406844 | 54024 933146 2895588 | 2147483647 406844 70 | 0.000 % |
317.11/317.16 c | 408244 | 54024 933146 2895588 | 2147483647 408244 70 | 0.000 % |
318.41/318.44 c | 409785 | 54024 933146 2895588 | 2147483647 409785 70 | 0.000 % |
319.51/319.53 c | 411481 | 54024 933146 2895588 | 2147483647 411481 70 | 0.000 % |
321.01/321.04 c | 413344 | 54024 933146 2895588 | 2147483647 413344 70 | 0.000 % |
322.81/322.90 c | 415394 | 54024 933146 2895588 | 2147483647 415394 70 | 0.000 % |
324.51/324.53 c | 417647 | 54024 933146 2895588 | 2147483647 417647 70 | 0.000 % |
326.81/326.84 c | 420127 | 54024 933146 2895588 | 2147483647 420127 70 | 0.000 % |
328.61/328.68 c | 422852 | 54024 933146 2895588 | 2147483647 422852 70 | 0.000 % |
331.31/331.38 c | 425849 | 54024 933146 2895588 | 2147483647 425849 69 | 0.000 % |
334.91/335.00 c | 429145 | 54024 933146 2895588 | 2147483647 429145 70 | 0.000 % |
337.91/337.94 c | 432770 | 54024 933146 2895588 | 2147483647 432770 70 | 0.000 % |
341.51/341.59 c | 436758 | 54024 933146 2895588 | 2147483647 436758 70 | 0.000 % |
341.71/341.73 c | 436859 | 54024 933146 2895588 | 2147483647 436859 70 | 0.000 % |
341.81/341.86 c | 436971 | 54024 933146 2895588 | 2147483647 436971 70 | 0.000 % |
341.91/342.00 c | 437092 | 54024 933146 2895588 | 2147483647 437092 70 | 0.000 % |
342.41/342.42 c | 437225 | 54024 933146 2895588 | 2147483647 437225 70 | 0.000 % |
342.51/342.60 c | 437372 | 54024 933146 2895588 | 2147483647 437372 70 | 0.000 % |
342.71/342.75 c | 437532 | 54024 933146 2895588 | 2147483647 437532 70 | 0.000 % |
343.11/343.19 c | 437708 | 54024 933146 2895588 | 2147483647 437708 70 | 0.000 % |
343.51/343.58 c | 437901 | 54024 933146 2895588 | 2147483647 437901 70 | 0.000 % |
343.71/343.81 c | 438114 | 54024 933146 2895588 | 2147483647 438114 70 | 0.000 % |
344.01/344.01 c | 438348 | 54024 933146 2895588 | 2147483647 438348 70 | 0.000 % |
344.21/344.31 c | 438604 | 54024 933146 2895588 | 2147483647 438604 70 | 0.000 % |
344.51/344.54 c | 438885 | 54024 933146 2895588 | 2147483647 438885 70 | 0.000 % |
344.91/344.94 c | 439195 | 54024 933146 2895588 | 2147483647 439195 70 | 0.000 % |
345.31/345.36 c | 439534 | 54024 933146 2895588 | 2147483647 439534 70 | 0.000 % |
345.71/345.79 c | 439906 | 54024 933146 2895588 | 2147483647 439906 70 | 0.000 % |
346.41/346.46 c | 440315 | 54024 933146 2895588 | 2147483647 440315 70 | 0.000 % |
346.91/347.01 c | 440765 | 54024 933146 2895588 | 2147483647 440765 70 | 0.000 % |
347.41/347.47 c | 441259 | 54024 933146 2895588 | 2147483647 441259 70 | 0.000 % |
348.01/348.01 c | 441802 | 54024 933146 2895588 | 2147483647 441802 70 | 0.000 % |
348.72/348.74 c | 442400 | 54024 933146 2895588 | 2147483647 442400 70 | 0.000 % |
349.11/349.15 c | 443055 | 54024 933146 2895588 | 2147483647 443055 70 | 0.000 % |
350.11/350.16 c | 443776 | 54024 933146 2895588 | 2147483647 443776 70 | 0.000 % |
351.31/351.32 c | 444569 | 54024 933146 2895588 | 2147483647 444569 70 | 0.000 % |
352.31/352.39 c | 445440 | 54024 933146 2895588 | 2147483647 445440 70 | 0.000 % |
353.61/353.69 c | 446400 | 54024 933146 2895588 | 2147483647 446400 70 | 0.000 % |
354.71/354.74 c | 447453 | 54024 933146 2895588 | 2147483647 447453 70 | 0.000 % |
356.11/356.19 c | 448613 | 54024 933146 2895588 | 2147483647 448613 70 | 0.000 % |
357.81/357.82 c | 449888 | 54024 933146 2895588 | 2147483647 449888 70 | 0.000 % |
359.21/359.23 c | 451288 | 54024 933146 2895588 | 2147483647 451288 70 | 0.000 % |
361.01/361.06 c | 452828 | 54024 933146 2895588 | 2147483647 452828 70 | 0.000 % |
362.91/362.98 c | 454522 | 54024 933146 2895588 | 2147483647 454522 70 | 0.000 % |
365.41/365.43 c | 456385 | 54024 933146 2895588 | 2147483647 456385 70 | 0.000 % |
368.81/368.83 c | 458437 | 54024 933146 2895588 | 2147483647 458437 70 | 0.000 % |
371.21/371.30 c | 460690 | 54024 933146 2895588 | 2147483647 460690 71 | 0.000 % |
373.60/373.69 c | 463171 | 54024 933146 2895588 | 2147483647 463171 71 | 0.000 % |
376.00/376.07 c | 465898 | 54024 933146 2895588 | 2147483647 465898 71 | 0.000 % |
378.70/378.74 c | 468897 | 54024 933146 2895588 | 2147483647 468897 71 | 0.000 % |
382.61/382.67 c | 472195 | 54024 933146 2895588 | 2147483647 472195 71 | 0.000 % |
386.42/386.51 c | 475821 | 54024 933146 2895588 | 2147483647 475821 71 | 0.000 % |
390.42/390.48 c | 479810 | 54024 933146 2895588 | 2147483647 479810 71 | 0.000 % |
394.62/394.64 c | 484196 | 54024 933146 2895588 | 2147483647 484196 71 | 0.000 % |
394.72/394.76 c | 484297 | 54024 933146 2895588 | 2147483647 484297 71 | 0.000 % |
394.92/394.93 c | 484407 | 54024 933146 2895588 | 2147483647 484407 71 | 0.000 % |
395.02/395.11 c | 484528 | 54024 933146 2895588 | 2147483647 484528 71 | 0.000 % |
395.32/395.37 c | 484662 | 54024 933146 2895588 | 2147483647 484662 71 | 0.000 % |
395.62/395.66 c | 484808 | 54024 933146 2895588 | 2147483647 484808 71 | 0.000 % |
395.82/395.90 c | 484968 | 54024 933146 2895588 | 2147483647 484968 71 | 0.000 % |
396.02/396.11 c | 485144 | 54024 933146 2895588 | 2147483647 485144 71 | 0.000 % |
396.22/396.30 c | 485338 | 54024 933146 2895588 | 2147483647 485338 71 | 0.000 % |
396.52/396.57 c | 485550 | 54024 933146 2895588 | 2147483647 485550 71 | 0.000 % |
396.92/396.98 c | 485783 | 54024 933146 2895588 | 2147483647 485783 71 | 0.000 % |
397.22/397.22 c | 486039 | 54024 933146 2895588 | 2147483647 486039 71 | 0.000 % |
397.52/397.59 c | 486320 | 54024 933146 2895588 | 2147483647 486320 71 | 0.000 % |
397.92/397.99 c | 486629 | 54024 933146 2895588 | 2147483647 486629 71 | 0.000 % |
398.32/398.32 c | 486968 | 54024 933146 2895588 | 2147483647 486968 71 | 0.000 % |
398.72/398.76 c | 487341 | 54024 933146 2895588 | 2147483647 487341 71 | 0.000 % |
399.42/399.46 c | 487751 | 54024 933146 2895588 | 2147483647 487751 71 | 0.000 % |
400.22/400.25 c | 488200 | 54024 933146 2895588 | 2147483647 488200 71 | 0.000 % |
400.72/400.78 c | 488693 | 54024 933146 2895588 | 2147483647 488693 71 | 0.000 % |
401.72/401.72 c | 489235 | 54024 933146 2895588 | 2147483647 489235 71 | 0.000 % |
402.72/402.73 c | 489831 | 54024 933146 2895588 | 2147483647 489831 71 | 0.000 % |
403.62/403.63 c | 490486 | 54024 933146 2895588 | 2147483647 490486 71 | 0.000 % |
404.52/404.61 c | 491206 | 54024 933146 2895588 | 2147483647 491206 71 | 0.000 % |
405.62/405.62 c | 492000 | 54024 933146 2895588 | 2147483647 492000 71 | 0.000 % |
406.72/406.80 c | 492872 | 54024 933146 2895588 | 2147483647 492872 71 | 0.000 % |
407.62/407.63 c | 493831 | 54024 933146 2895588 | 2147483647 493831 71 | 0.000 % |
408.42/408.50 c | 494884 | 54024 933146 2895588 | 2147483647 494884 71 | 0.000 % |
410.02/410.08 c | 496042 | 54024 933146 2895588 | 2147483647 496042 71 | 0.000 % |
411.52/411.56 c | 497316 | 54024 933146 2895588 | 2147483647 497316 71 | 0.000 % |
413.02/413.03 c | 498716 | 54024 933146 2895588 | 2147483647 498716 71 | 0.000 % |
414.52/414.56 c | 500257 | 54024 933146 2895588 | 2147483647 500257 71 | 0.000 % |
416.72/416.73 c | 501952 | 54024 933146 2895588 | 2147483647 501952 71 | 0.000 % |
418.92/418.97 c | 503815 | 54024 933146 2895588 | 2147483647 503815 71 | 0.000 % |
421.22/421.28 c | 505866 | 54024 933146 2895588 | 2147483647 505866 71 | 0.000 % |
423.32/423.41 c | 508120 | 54024 933146 2895588 | 2147483647 508120 71 | 0.000 % |
425.92/425.95 c | 510598 | 54024 933146 2895588 | 2147483647 510598 71 | 0.000 % |
429.02/429.09 c | 513323 | 54024 933146 2895588 | 2147483647 513323 71 | 0.000 % |
431.92/431.98 c | 516320 | 54024 933146 2895588 | 2147483647 516320 71 | 0.000 % |
435.02/435.05 c | 519619 | 54024 933146 2895588 | 2147483647 519619 71 | 0.000 % |
437.72/437.72 c | 523244 | 54024 933146 2895588 | 2147483647 523244 71 | 0.000 % |
441.82/441.88 c | 527232 | 54024 933146 2895588 | 2147483647 527232 71 | 0.000 % |
445.22/445.30 c | 531618 | 54024 933146 2895588 | 2147483647 531618 71 | 0.000 % |
449.72/449.74 c | 536441 | 54024 933146 2895588 | 2147483647 536441 71 | 0.000 % |
449.82/449.84 c | 536542 | 54024 933146 2895588 | 2147483647 536542 71 | 0.000 % |
450.12/450.18 c | 536652 | 54024 933146 2895588 | 2147483647 536652 71 | 0.000 % |
450.62/450.61 c | 536773 | 54024 933146 2895588 | 2147483647 536773 71 | 0.000 % |
451.02/451.01 c | 536907 | 54024 933146 2895588 | 2147483647 536907 71 | 0.000 % |
451.32/451.33 c | 537054 | 54024 933146 2895588 | 2147483647 537054 71 | 0.000 % |
451.62/451.68 c | 537214 | 54024 933146 2895588 | 2147483647 537214 71 | 0.000 % |
451.92/452.00 c | 537392 | 54024 933146 2895588 | 2147483647 537392 71 | 0.000 % |
452.42/452.41 c | 537586 | 54024 933146 2895588 | 2147483647 537586 71 | 0.000 % |
452.72/452.81 c | 537799 | 54024 933146 2895588 | 2147483647 537799 71 | 0.000 % |
453.22/453.26 c | 538032 | 54024 933146 2895588 | 2147483647 538032 71 | 0.000 % |
453.82/453.90 c | 538288 | 54024 933146 2895588 | 2147483647 538288 71 | 0.000 % |
454.52/454.55 c | 538569 | 54024 933146 2895588 | 2147483647 538569 71 | 0.000 % |
454.92/454.93 c | 538878 | 54024 933146 2895588 | 2147483647 538878 71 | 0.000 % |
455.42/455.48 c | 539218 | 54024 933146 2895588 | 2147483647 539218 71 | 0.000 % |
456.32/456.39 c | 539590 | 54024 933146 2895588 | 2147483647 539590 71 | 0.000 % |
457.12/457.17 c | 539999 | 54024 933146 2895588 | 2147483647 539999 71 | 0.000 % |
457.72/457.74 c | 540449 | 54024 933146 2895588 | 2147483647 540449 71 | 0.000 % |
458.42/458.49 c | 540943 | 54024 933146 2895588 | 2147483647 540943 71 | 0.000 % |
459.32/459.38 c | 541485 | 54024 933146 2895588 | 2147483647 541485 71 | 0.000 % |
460.12/460.20 c | 542081 | 54024 933146 2895588 | 2147483647 542081 71 | 0.000 % |
460.93/460.94 c | 542737 | 54024 933146 2895588 | 2147483647 542737 71 | 0.000 % |
462.12/462.19 c | 543457 | 54024 933146 2895588 | 2147483647 543457 71 | 0.000 % |
463.82/463.88 c | 544250 | 54024 933146 2895588 | 2147483647 544250 71 | 0.000 % |
465.22/465.27 c | 545123 | 54024 933146 2895588 | 2147483647 545123 71 | 0.000 % |
466.32/466.38 c | 546081 | 54024 933146 2895588 | 2147483647 546081 71 | 0.000 % |
467.42/467.43 c | 547134 | 54024 933146 2895588 | 2147483647 547134 71 | 0.000 % |
468.82/468.90 c | 548292 | 54024 933146 2895588 | 2147483647 548292 71 | 0.000 % |
470.72/470.76 c | 549566 | 54024 933146 2895588 | 2147483647 549566 71 | 0.000 % |
472.52/472.55 c | 550966 | 54024 933146 2895588 | 2147483647 550966 71 | 0.000 % |
474.32/474.35 c | 552506 | 54024 933146 2895588 | 2147483647 552506 71 | 0.000 % |
476.42/476.50 c | 554201 | 54024 933146 2895588 | 2147483647 554201 71 | 0.000 % |
478.72/478.80 c | 556064 | 54024 933146 2895588 | 2147483647 556064 71 | 0.000 % |
481.42/481.44 c | 558113 | 54024 933146 2895588 | 2147483647 558113 71 | 0.000 % |
483.82/483.89 c | 560367 | 54024 933146 2895588 | 2147483647 560367 71 | 0.000 % |
486.82/486.83 c | 562846 | 54024 933146 2895588 | 2147483647 562846 71 | 0.000 % |
490.12/490.16 c | 565572 | 54024 933146 2895588 | 2147483647 565572 71 | 0.000 % |
494.32/494.31 c | 568569 | 54024 933146 2895588 | 2147483647 568569 72 | 0.000 % |
498.72/498.79 c | 571865 | 54024 933146 2895588 | 2147483647 571865 73 | 0.000 % |
503.32/503.31 c | 575490 | 54024 933146 2895588 | 2147483647 575490 73 | 0.000 % |
508.23/508.27 c | 579477 | 54024 933146 2895588 | 2147483647 579477 72 | 0.000 % |
513.63/513.62 c | 583862 | 54024 933146 2895588 | 2147483647 583862 73 | 0.000 % |
519.93/519.93 c | 588686 | 54024 933146 2895588 | 2147483647 588686 72 | 0.000 % |
525.93/525.93 c | 593991 | 54024 933146 2895588 | 2147483647 593991 72 | 0.000 % |
526.13/526.13 c | 594091 | 54024 933146 2895588 | 2147483647 594091 72 | 0.000 % |
526.43/526.45 c | 594203 | 54024 933146 2895588 | 2147483647 594203 72 | 0.000 % |
526.73/526.75 c | 594325 | 54024 933146 2895588 | 2147483647 594325 72 | 0.000 % |
527.03/527.08 c | 594458 | 54024 933146 2895588 | 2147483647 594458 72 | 0.000 % |
527.43/527.42 c | 594604 | 54024 933146 2895588 | 2147483647 594604 72 | 0.000 % |
527.73/527.75 c | 594764 | 54024 933146 2895588 | 2147483647 594764 72 | 0.000 % |
528.13/528.14 c | 594940 | 54024 933146 2895588 | 2147483647 594940 72 | 0.000 % |
528.43/528.51 c | 595135 | 54024 933146 2895588 | 2147483647 595135 72 | 0.000 % |
528.83/528.91 c | 595347 | 54024 933146 2895588 | 2147483647 595347 72 | 0.000 % |
529.33/529.34 c | 595581 | 54024 933146 2895588 | 2147483647 595581 72 | 0.000 % |
530.13/530.17 c | 595839 | 54024 933146 2895588 | 2147483647 595839 72 | 0.000 % |
530.73/530.74 c | 596120 | 54024 933146 2895588 | 2147483647 596120 72 | 0.000 % |
531.23/531.29 c | 596429 | 54024 933146 2895588 | 2147483647 596429 72 | 0.000 % |
531.83/531.86 c | 596768 | 54024 933146 2895588 | 2147483647 596768 72 | 0.000 % |
532.53/532.53 c | 597141 | 54024 933146 2895588 | 2147483647 597141 72 | 0.000 % |
533.33/533.41 c | 597550 | 54024 933146 2895588 | 2147483647 597550 72 | 0.000 % |
534.23/534.22 c | 598000 | 54024 933146 2895588 | 2147483647 598000 72 | 0.000 % |
535.03/535.05 c | 598494 | 54024 933146 2895588 | 2147483647 598494 72 | 0.000 % |
535.83/535.91 c | 599036 | 54024 933146 2895588 | 2147483647 599036 72 | 0.000 % |
537.03/537.07 c | 599632 | 54024 933146 2895588 | 2147483647 599632 72 | 0.000 % |
538.33/538.34 c | 600287 | 54024 933146 2895588 | 2147483647 600287 72 | 0.000 % |
539.23/539.23 c | 601007 | 54024 933146 2895588 | 2147483647 601007 72 | 0.000 % |
541.03/541.09 c | 601800 | 54024 933146 2895588 | 2147483647 601800 72 | 0.000 % |
542.83/542.83 c | 602671 | 54024 933146 2895588 | 2147483647 602671 72 | 0.000 % |
544.03/544.04 c | 603632 | 54024 933146 2895588 | 2147483647 603632 72 | 0.000 % |
545.23/545.25 c | 604687 | 54024 933146 2895588 | 2147483647 604687 72 | 0.000 % |
547.13/547.13 c | 605845 | 54024 933146 2895588 | 2147483647 605845 72 | 0.000 % |
548.83/548.86 c | 607118 | 54024 933146 2895588 | 2147483647 607118 72 | 0.000 % |
550.93/550.97 c | 608518 | 54024 933146 2895588 | 2147483647 608518 72 | 0.000 % |
553.23/553.30 c | 610058 | 54024 933146 2895588 | 2147483647 610058 73 | 0.000 % |
555.53/555.59 c | 611754 | 54024 933146 2895588 | 2147483647 611754 73 | 0.000 % |
558.53/558.58 c | 613617 | 54024 933146 2895588 | 2147483647 613617 73 | 0.000 % |
561.03/561.10 c | 615666 | 54024 933146 2895588 | 2147483647 615666 73 | 0.000 % |
564.33/564.40 c | 617920 | 54024 933146 2895588 | 2147483647 617920 73 | 0.000 % |
568.03/568.03 c | 620399 | 54024 933146 2895588 | 2147483647 620399 73 | 0.000 % |
571.43/571.49 c | 623125 | 54024 933146 2895588 | 2147483647 623125 73 | 0.000 % |
575.53/575.58 c | 626124 | 54024 933146 2895588 | 2147483647 626124 73 | 0.000 % |
580.63/580.65 c | 629420 | 54024 933146 2895588 | 2147483647 629420 73 | 0.000 % |
586.63/586.62 c | 633045 | 54024 933146 2895588 | 2147483647 633045 73 | 0.000 % |
591.43/591.43 c | 637032 | 54024 933146 2895588 | 2147483647 637032 73 | 0.000 % |
597.43/597.48 c | 641418 | 54024 933146 2895588 | 2147483647 641418 73 | 0.000 % |
603.94/603.97 c | 646241 | 54024 933146 2895588 | 2147483647 646241 73 | 0.000 % |
610.54/610.58 c | 651547 | 54024 933146 2895588 | 2147483647 651547 73 | 0.000 % |
617.73/617.77 c | 657382 | 54024 933146 2895588 | 2147483647 657382 73 | 0.000 % |
617.93/617.98 c | 657482 | 54024 933146 2895588 | 2147483647 657482 73 | 0.000 % |
618.13/618.15 c | 657592 | 54024 933146 2895588 | 2147483647 657592 73 | 0.000 % |
618.43/618.47 c | 657714 | 54024 933146 2895588 | 2147483647 657714 73 | 0.000 % |
618.93/618.96 c | 657848 | 54024 933146 2895588 | 2147483647 657848 73 | 0.000 % |
619.23/619.28 c | 657995 | 54024 933146 2895588 | 2147483647 657995 73 | 0.000 % |
619.63/619.62 c | 658155 | 54024 933146 2895588 | 2147483647 658155 73 | 0.000 % |
619.93/619.91 c | 658332 | 54024 933146 2895588 | 2147483647 658332 73 | 0.000 % |
620.23/620.22 c | 658526 | 54024 933146 2895588 | 2147483647 658526 73 | 0.000 % |
620.63/620.62 c | 658739 | 54024 933146 2895588 | 2147483647 658739 73 | 0.000 % |
621.13/621.17 c | 658972 | 54024 933146 2895588 | 2147483647 658972 73 | 0.000 % |
621.63/621.62 c | 659229 | 54024 933146 2895588 | 2147483647 659229 73 | 0.000 % |
622.13/622.17 c | 659510 | 54024 933146 2895588 | 2147483647 659510 73 | 0.000 % |
622.83/622.89 c | 659819 | 54024 933146 2895588 | 2147483647 659819 73 | 0.000 % |
623.53/623.51 c | 660158 | 54024 933146 2895588 | 2147483647 660158 73 | 0.000 % |
624.03/624.03 c | 660531 | 54024 933146 2895588 | 2147483647 660531 73 | 0.000 % |
624.93/624.96 c | 660941 | 54024 933146 2895588 | 2147483647 660941 73 | 0.000 % |
625.63/625.68 c | 661391 | 54024 933146 2895588 | 2147483647 661391 73 | 0.000 % |
626.33/626.32 c | 661885 | 54024 933146 2895588 | 2147483647 661885 73 | 0.000 % |
626.93/626.94 c | 662427 | 54024 933146 2895588 | 2147483647 662427 73 | 0.000 % |
627.83/627.90 c | 663025 | 54024 933146 2895588 | 2147483647 663025 73 | 0.000 % |
628.73/628.79 c | 663681 | 54024 933146 2895588 | 2147483647 663681 73 | 0.000 % |
629.73/629.72 c | 664401 | 54024 933146 2895588 | 2147483647 664401 73 | 0.000 % |
630.93/630.97 c | 665193 | 54024 933146 2895588 | 2147483647 665193 73 | 0.000 % |
632.63/632.62 c | 666065 | 54024 933146 2895588 | 2147483647 666065 73 | 0.000 % |
634.03/634.06 c | 667023 | 54024 933146 2895588 | 2147483647 667023 73 | 0.000 % |
635.93/635.96 c | 668076 | 54024 933146 2895588 | 2147483647 668076 73 | 0.000 % |
637.53/637.59 c | 669234 | 54024 933146 2895588 | 2147483647 669234 73 | 0.000 % |
639.53/639.58 c | 670507 | 54024 933146 2895588 | 2147483647 670507 73 | 0.000 % |
641.44/641.44 c | 671907 | 54024 933146 2895588 | 2147483647 671907 73 | 0.000 % |
644.84/644.90 c | 673448 | 54024 933146 2895588 | 2147483647 673448 73 | 0.000 % |
647.24/647.26 c | 675143 | 54024 933146 2895588 | 2147483647 675143 73 | 0.000 % |
650.64/650.70 c | 677007 | 54024 933146 2895588 | 2147483647 677007 73 | 0.000 % |
653.64/653.65 c | 679056 | 54024 933146 2895588 | 2147483647 679056 74 | 0.000 % |
656.74/656.75 c | 681309 | 54024 933146 2895588 | 2147483647 681309 74 | 0.000 % |
660.24/660.26 c | 683787 | 54024 933146 2895588 | 2147483647 683787 74 | 0.000 % |
663.04/663.06 c | 686512 | 54024 933146 2895588 | 2147483647 686512 74 | 0.000 % |
667.14/667.21 c | 689510 | 54024 933146 2895588 | 2147483647 689510 74 | 0.000 % |
671.94/671.95 c | 692806 | 54024 933146 2895588 | 2147483647 692806 74 | 0.000 % |
676.54/676.55 c | 696434 | 54024 933146 2895588 | 2147483647 696434 74 | 0.000 % |
682.14/682.17 c | 700421 | 54024 933146 2895588 | 2147483647 700421 75 | 0.000 % |
687.94/687.93 c | 704806 | 54024 933146 2895588 | 2147483647 704806 75 | 0.000 % |
694.54/694.56 c | 709629 | 54024 933146 2895588 | 2147483647 709629 75 | 0.000 % |
703.24/703.29 c | 714935 | 54024 933146 2895588 | 2147483647 714935 75 | 0.000 % |
712.44/712.48 c | 720770 | 54024 933146 2895588 | 2147483647 720770 74 | 0.000 % |
723.34/723.35 c | 727188 | 54024 933146 2895588 | 2147483647 727188 74 | 0.000 % |
723.64/723.69 c | 727291 | 54024 933146 2895588 | 2147483647 727291 74 | 0.000 % |
724.04/724.05 c | 727401 | 54024 933146 2895588 | 2147483647 727401 74 | 0.000 % |
724.24/724.25 c | 727522 | 54024 933146 2895588 | 2147483647 727522 74 | 0.000 % |
724.74/724.76 c | 727655 | 54024 933146 2895588 | 2147483647 727655 74 | 0.000 % |
725.34/725.38 c | 727801 | 54024 933146 2895588 | 2147483647 727801 74 | 0.000 % |
725.74/725.72 c | 727962 | 54024 933146 2895588 | 2147483647 727962 74 | 0.000 % |
726.24/726.30 c | 728141 | 54024 933146 2895588 | 2147483647 728141 74 | 0.000 % |
726.84/726.90 c | 728334 | 54024 933146 2895588 | 2147483647 728334 74 | 0.000 % |
727.24/727.28 c | 728546 | 54024 933146 2895588 | 2147483647 728546 74 | 0.000 % |
728.04/728.03 c | 728780 | 54024 933146 2895588 | 2147483647 728780 75 | 0.000 % |
728.84/728.84 c | 729037 | 54024 933146 2895588 | 2147483647 729037 75 | 0.000 % |
729.54/729.55 c | 729318 | 54024 933146 2895588 | 2147483647 729318 75 | 0.000 % |
730.14/730.12 c | 729628 | 54024 933146 2895588 | 2147483647 729628 75 | 0.000 % |
731.03/731.01 c | 729968 | 54024 933146 2895588 | 2147483647 729968 75 | 0.000 % |
731.54/731.58 c | 730340 | 54024 933146 2895588 | 2147483647 730340 74 | 0.000 % |
732.53/732.51 c | 730749 | 54024 933146 2895588 | 2147483647 730749 74 | 0.000 % |
733.43/733.48 c | 731198 | 54024 933146 2895588 | 2147483647 731198 74 | 0.000 % |
734.43/734.40 c | 731692 | 54024 933146 2895588 | 2147483647 731692 74 | 0.000 % |
735.43/735.46 c | 732234 | 54024 933146 2895588 | 2147483647 732234 74 | 0.000 % |
736.53/736.56 c | 732830 | 54024 933146 2895588 | 2147483647 732830 74 | 0.000 % |
737.53/737.58 c | 733485 | 54024 933146 2895588 | 2147483647 733485 74 | 0.000 % |
738.54/738.59 c | 734206 | 54024 933146 2895588 | 2147483647 734206 74 | 0.000 % |
739.74/739.81 c | 734999 | 54024 933146 2895588 | 2147483647 734999 74 | 0.000 % |
740.94/740.98 c | 735870 | 54024 933146 2895588 | 2147483647 735870 74 | 0.000 % |
742.24/742.23 c | 736829 | 54024 933146 2895588 | 2147483647 736829 74 | 0.000 % |
743.74/743.73 c | 737882 | 54024 933146 2895588 | 2147483647 737882 74 | 0.000 % |
745.54/745.57 c | 739040 | 54024 933146 2895588 | 2147483647 739040 74 | 0.000 % |
747.94/747.95 c | 740314 | 54024 933146 2895588 | 2147483647 740314 75 | 0.000 % |
750.44/750.43 c | 741716 | 54024 933146 2895588 | 2147483647 741716 75 | 0.000 % |
752.94/752.98 c | 743256 | 54024 933146 2895588 | 2147483647 743256 75 | 0.000 % |
755.94/755.92 c | 744951 | 54024 933146 2895588 | 2147483647 744951 75 | 0.000 % |
759.05/759.04 c | 746815 | 54024 933146 2895588 | 2147483647 746815 75 | 0.000 % |
762.44/762.47 c | 748864 | 54024 933146 2895588 | 2147483647 748864 75 | 0.000 % |
766.64/766.70 c | 751118 | 54024 933146 2895588 | 2147483647 751118 75 | 0.000 % |
770.54/770.52 c | 753596 | 54024 933146 2895588 | 2147483647 753596 75 | 0.000 % |
774.35/774.40 c | 756321 | 54024 933146 2895588 | 2147483647 756321 75 | 0.000 % |
779.45/779.45 c | 759318 | 54024 933146 2895588 | 2147483647 759318 75 | 0.000 % |
784.35/784.36 c | 762614 | 54024 933146 2895588 | 2147483647 762614 75 | 0.000 % |
790.05/790.06 c | 766239 | 54024 933146 2895588 | 2147483647 766239 75 | 0.000 % |
796.65/796.69 c | 770227 | 54024 933146 2895588 | 2147483647 770227 75 | 0.000 % |
804.45/804.43 c | 774614 | 54024 933146 2895588 | 2147483647 774614 75 | 0.000 % |
812.35/812.35 c | 779438 | 54024 933146 2895588 | 2147483647 779438 75 | 0.000 % |
820.45/820.44 c | 784743 | 54024 933146 2895588 | 2147483647 784743 75 | 0.000 % |
829.25/829.28 c | 790578 | 54024 933146 2895588 | 2147483647 790578 75 | 0.000 % |
840.85/840.82 c | 796996 | 54024 933146 2895588 | 2147483647 796996 75 | 0.000 % |
852.56/852.56 c | 804055 | 54024 933146 2895588 | 2147483647 804055 75 | 0.000 % |
852.95/852.95 c | 804155 | 54024 933146 2895588 | 2147483647 804155 75 | 0.000 % |
853.15/853.20 c | 804266 | 54024 933146 2895588 | 2147483647 804266 75 | 0.000 % |
853.55/853.53 c | 804388 | 54024 933146 2895588 | 2147483647 804388 75 | 0.000 % |
853.75/853.76 c | 804521 | 54024 933146 2895588 | 2147483647 804521 75 | 0.000 % |
854.15/854.16 c | 804670 | 54024 933146 2895588 | 2147483647 804670 75 | 0.000 % |
854.85/854.86 c | 804835 | 54024 933146 2895588 | 2147483647 804835 75 | 0.000 % |
855.15/855.21 c | 805012 | 54024 933146 2895588 | 2147483647 805012 75 | 0.000 % |
855.75/855.77 c | 805205 | 54024 933146 2895588 | 2147483647 805205 75 | 0.000 % |
856.35/856.31 c | 805418 | 54024 933146 2895588 | 2147483647 805418 75 | 0.000 % |
856.65/856.65 c | 805651 | 54024 933146 2895588 | 2147483647 805651 75 | 0.000 % |
857.25/857.27 c | 805908 | 54024 933146 2895588 | 2147483647 805908 75 | 0.000 % |
857.95/857.94 c | 806189 | 54024 933146 2895588 | 2147483647 806189 75 | 0.000 % |
858.25/858.30 c | 806498 | 54024 933146 2895588 | 2147483647 806498 75 | 0.000 % |
858.85/858.84 c | 806838 | 54024 933146 2895588 | 2147483647 806838 75 | 0.000 % |
859.65/859.69 c | 807211 | 54024 933146 2895588 | 2147483647 807211 75 | 0.000 % |
860.55/860.54 c | 807621 | 54024 933146 2895588 | 2147483647 807621 75 | 0.000 % |
861.36/861.36 c | 808070 | 54024 933146 2895588 | 2147483647 808070 75 | 0.000 % |
862.25/862.30 c | 808563 | 54024 933146 2895588 | 2147483647 808563 75 | 0.000 % |
863.95/864.00 c | 809106 | 54024 933146 2895588 | 2147483647 809106 75 | 0.000 % |
864.75/864.77 c | 809702 | 54024 933146 2895588 | 2147483647 809702 75 | 0.000 % |
866.25/866.22 c | 810357 | 54024 933146 2895588 | 2147483647 810357 75 | 0.000 % |
867.55/867.54 c | 811077 | 54024 933146 2895588 | 2147483647 811077 75 | 0.000 % |
869.35/869.36 c | 811870 | 54024 933146 2895588 | 2147483647 811870 75 | 0.000 % |
871.35/871.35 c | 812741 | 54024 933146 2895588 | 2147483647 812741 75 | 0.000 % |
873.15/873.18 c | 813699 | 54024 933146 2895588 | 2147483647 813699 75 | 0.000 % |
875.35/875.39 c | 814752 | 54024 933146 2895588 | 2147483647 814752 75 | 0.000 % |
877.65/877.67 c | 815910 | 54024 933146 2895588 | 2147483647 815910 75 | 0.000 % |
880.55/880.60 c | 817183 | 54024 933146 2895588 | 2147483647 817183 75 | 0.000 % |
883.55/883.52 c | 818584 | 54024 933146 2895588 | 2147483647 818584 75 | 0.000 % |
886.66/886.63 c | 820124 | 54024 933146 2895588 | 820000 820124 75 | 0.000 % |
908.56/908.59 c | 821818 | 54024 933146 2895588 | 820000 709314 74 | 0.000 % |
911.56/911.53 c | 823682 | 54024 933146 2895588 | 820000 711178 74 | 0.000 % |
914.26/914.24 c | 825731 | 54024 933146 2895588 | 820000 713227 74 | 0.000 % |
917.36/917.33 c | 827985 | 54024 933146 2895588 | 820000 715481 74 | 0.000 % |
920.76/920.76 c | 830463 | 54024 933146 2895588 | 2147483647 717959 74 | 0.000 % |
924.76/924.79 c | 833188 | 54024 933146 2895588 | 2147483647 720684 74 | 0.000 % |
929.66/929.67 c | 836186 | 54024 933146 2895588 | 2147483647 723682 74 | 0.000 % |
934.66/934.65 c | 839483 | 54024 933146 2895588 | 2147483647 726979 74 | 0.000 % |
940.36/940.37 c | 843108 | 54024 933146 2895588 | 2147483647 730604 74 | 0.000 % |
946.26/946.25 c | 847095 | 54024 933146 2895588 | 2147483647 734591 74 | 0.000 % |
952.56/952.60 c | 851481 | 54024 933146 2895588 | 2147483647 738977 75 | 0.000 % |
959.06/959.04 c | 856304 | 54024 933146 2895588 | 2147483647 743800 75 | 0.000 % |
966.36/966.35 c | 861609 | 54024 933146 2895588 | 2147483647 749105 75 | 0.000 % |
974.76/974.77 c | 867446 | 54024 933146 2895588 | 2147483647 754942 75 | 0.000 % |
983.86/983.86 c | 873865 | 54024 933146 2895588 | 2147483647 761361 75 | 0.000 % |
993.96/993.93 c | 880926 | 54024 933146 2895588 | 2147483647 768422 74 | 0.000 % |
1005.26/1005.26 c | 888690 | 54024 933146 2895588 | 2147483647 776186 74 | 0.000 % |
1005.47/1005.45 c | 888790 | 54024 933146 2895588 | 2147483647 776286 74 | 0.000 % |
1005.66/1005.68 c | 888902 | 54024 933146 2895588 | 2147483647 776398 74 | 0.000 % |
1005.96/1005.93 c | 889024 | 54024 933146 2895588 | 2147483647 776520 74 | 0.000 % |
1006.26/1006.26 c | 889157 | 54024 933146 2895588 | 2147483647 776653 74 | 0.000 % |
1006.66/1006.62 c | 889303 | 54024 933146 2895588 | 2147483647 776799 74 | 0.000 % |
1006.86/1006.85 c | 889463 | 54024 933146 2895588 | 2147483647 776959 74 | 0.000 % |
1007.16/1007.14 c | 889641 | 54024 933146 2895588 | 2147483647 777137 74 | 0.000 % |
1007.46/1007.50 c | 889835 | 54024 933146 2895588 | 2147483647 777331 74 | 0.000 % |
1007.96/1007.93 c | 890047 | 54024 933146 2895588 | 2147483647 777543 74 | 0.000 % |
1008.46/1008.44 c | 890280 | 54024 933146 2895588 | 2147483647 777776 74 | 0.000 % |
1009.36/1009.32 c | 890537 | 54024 933146 2895588 | 2147483647 778033 74 | 0.000 % |
1010.26/1010.24 c | 890819 | 54024 933146 2895588 | 2147483647 778315 74 | 0.000 % |
1011.06/1011.05 c | 891128 | 54024 933146 2895588 | 2147483647 778624 74 | 0.000 % |
1011.86/1011.84 c | 891468 | 54024 933146 2895588 | 2147483647 778964 74 | 0.000 % |
1012.56/1012.51 c | 891840 | 54024 933146 2895588 | 2147483647 779336 74 | 0.000 % |
1013.36/1013.34 c | 892250 | 54024 933146 2895588 | 2147483647 779746 74 | 0.000 % |
1014.36/1014.32 c | 892699 | 54024 933146 2895588 | 2147483647 780195 74 | 0.000 % |
1015.37/1015.38 c | 893192 | 54024 933146 2895588 | 2147483647 780688 74 | 0.000 % |
1016.26/1016.27 c | 893734 | 54024 933146 2895588 | 2147483647 781230 74 | 0.000 % |
1017.26/1017.31 c | 894330 | 54024 933146 2895588 | 2147483647 781826 74 | 0.000 % |
1018.67/1018.68 c | 894985 | 54024 933146 2895588 | 2147483647 782481 74 | 0.000 % |
1019.96/1020.00 c | 895706 | 54024 933146 2895588 | 2147483647 783202 74 | 0.000 % |
1021.36/1021.31 c | 896498 | 54024 933146 2895588 | 2147483647 783994 74 | 0.000 % |
1022.86/1022.89 c | 897371 | 54024 933146 2895588 | 2147483647 784867 74 | 0.000 % |
1024.26/1024.23 c | 898329 | 54024 933146 2895588 | 2147483647 785825 74 | 0.000 % |
1026.16/1026.19 c | 899382 | 54024 933146 2895588 | 2147483647 786878 74 | 0.000 % |
1028.36/1028.41 c | 900540 | 54024 933146 2895588 | 2147483647 788036 74 | 0.000 % |
1030.56/1030.54 c | 901814 | 54024 933146 2895588 | 2147483647 789310 74 | 0.000 % |
1033.26/1033.26 c | 903214 | 54024 933146 2895588 | 2147483647 790710 74 | 0.000 % |
1036.47/1036.48 c | 904754 | 54024 933146 2895588 | 2147483647 792250 74 | 0.000 % |
1039.87/1039.89 c | 906449 | 54024 933146 2895588 | 2147483647 793945 74 | 0.000 % |
1042.67/1042.65 c | 908314 | 54024 933146 2895588 | 2147483647 795810 74 | 0.000 % |
1046.87/1046.87 c | 910363 | 54024 933146 2895588 | 2147483647 797859 74 | 0.000 % |
1051.07/1051.11 c | 912616 | 54024 933146 2895588 | 2147483647 800112 74 | 0.000 % |
1056.37/1056.41 c | 915094 | 54024 933146 2895588 | 2147483647 802590 74 | 0.000 % |
1060.87/1060.88 c | 917819 | 54024 933146 2895588 | 2147483647 805315 74 | 0.000 % |
1065.47/1065.50 c | 920817 | 54024 933146 2895588 | 2147483647 808313 74 | 0.000 % |
1071.87/1071.87 c | 924114 | 54024 933146 2895588 | 2147483647 811610 74 | 0.000 % |
1078.77/1078.74 c | 927739 | 54024 933146 2895588 | 2147483647 815235 74 | 0.000 % |
1087.07/1087.08 c | 931727 | 54024 933146 2895588 | 2147483647 819223 74 | 0.000 % |
1096.77/1096.77 c | 936112 | 54024 933146 2895588 | 2147483647 823608 74 | 0.000 % |
1107.97/1107.97 c | 940935 | 54024 933146 2895588 | 2147483647 828431 74 | 0.000 % |
1120.37/1120.37 c | 946240 | 54024 933146 2895588 | 2147483647 833736 74 | 0.000 % |
1132.07/1132.05 c | 952075 | 54024 933146 2895588 | 2147483647 839571 73 | 0.000 % |
1144.37/1144.32 c | 958493 | 54024 933146 2895588 | 2147483647 845989 74 | 0.000 % |
1153.07/1153.02 c | 965552 | 54024 933146 2895588 | 847496 853048 74 | 0.000 % |
1178.18/1178.14 c | 973316 | 54024 933146 2895588 | 762241 765556 71 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820686-1242468048/watcher-1820686-1242468048 -o /tmp/evaluation-result-1820686-1242468048/solver-1820686-1242468048 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820686-1242468048.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 4223
/proc/meminfo: memFree=743480/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=952 CPUtime=0
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 121 0 0 0 0 0 0 0 21 0 1 0 1011303102 974848 57 4294967295 134512640 135223648 3215937072 3215935672 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 238 58 46 174 0 63 0
[startup+0.07957 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 4223
/proc/meminfo: memFree=743480/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=8028 CPUtime=0.08
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 1818 0 0 0 7 1 0 0 21 0 1 0 1011303102 8220672 1754 4294967295 134512640 135223648 3215937072 3215936024 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 2007 1755 46 174 0 1832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10440
[startup+0.119568 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 4223
/proc/meminfo: memFree=743480/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=11332 CPUtime=0.12
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 2620 0 0 0 9 3 0 0 22 0 1 0 1011303102 11603968 2556 4294967295 134512640 135223648 3215937072 3215935792 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 2833 2560 46 174 0 2658 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13744
[startup+0.319552 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 4223
/proc/meminfo: memFree=743480/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=29252 CPUtime=0.32
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 6618 0 0 0 25 7 0 0 22 0 1 0 1011303102 29954048 6554 4294967295 134512640 135223648 3215937072 3215936024 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 7313 6554 46 174 0 7138 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31664
[startup+0.719521 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 4223
/proc/meminfo: memFree=743480/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=69976 CPUtime=0.72
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 15813 0 0 0 56 16 0 0 25 0 1 0 1011303102 71655424 15749 4294967295 134512640 135223648 3215937072 3215936080 134547562 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 17494 15749 47 174 0 17319 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 72388
[startup+1.51946 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 4228
/proc/meminfo: memFree=672016/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=85280 CPUtime=1.52
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 20706 0 0 0 132 20 0 0 25 0 1 0 1011303102 87326720 18578 4294967295 134512640 135223648 3215937072 3215935072 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 21320 18578 73 174 0 21145 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 87692
[startup+3.11934 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 4230
/proc/meminfo: memFree=664204/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=91184 CPUtime=3.12
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 22098 0 0 0 290 22 0 0 25 0 1 0 1011303102 93372416 19970 4294967295 134512640 135223648 3215937072 3215935088 134586756 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 22796 19970 73 174 0 22621 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 93596
[startup+6.31909 s]
/proc/loadavg: 0.93 1.00 0.99 4/93 4231
/proc/meminfo: memFree=653292/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2412 CPUtime=0
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 364 646 0 0 0 0 0 0 20 0 1 0 1011303102 2469888 275 4294967295 134512640 135169312 3217928224 3217926760 3085831918 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4223/statm: 603 275 235 161 0 42 0
[pid=4227] ppid=4223 vsize=106312 CPUtime=6.32
/proc/4227/stat : 4227 (SatELite_releas) R 4223 4223 15108 0 -1 4202496 24326 0 0 0 609 23 0 0 25 0 1 0 1011303102 108863488 22060 4294967295 134512640 135223648 3215937072 3215935168 134585544 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4227/statm: 26578 22060 73 174 0 26403 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 108724
[startup+12.7186 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 4232
/proc/meminfo: memFree=676312/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=47248 CPUtime=3.86
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 11540 0 0 0 382 4 0 0 25 0 1 0 1011303987 48381952 11440 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 11812 11440 73 172 0 11639 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49664
[startup+25.5076 s]
/proc/loadavg: 0.95 1.00 0.99 2/93 4415
/proc/meminfo: memFree=671436/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=52068 CPUtime=16.65
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 12727 0 0 0 1660 5 0 0 25 0 1 0 1011303987 53317632 12627 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 13017 12627 73 172 0 12844 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54484
[startup+51.1157 s]
/proc/loadavg: 0.96 1.00 0.99 2/93 4417
/proc/meminfo: memFree=661628/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=62160 CPUtime=42.26
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 15223 0 0 0 4219 7 0 0 25 0 1 0 1011303987 63651840 15123 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 15540 15123 73 172 0 15367 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 64576
[startup+102.322 s]
/proc/loadavg: 0.98 1.00 0.99 3/93 4604
/proc/meminfo: memFree=640200/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=83632 CPUtime=93.47
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 20517 0 0 0 9334 13 0 0 25 0 1 0 1011303987 85639168 20417 4294967295 134512640 135215339 3217987728 3217986016 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 20908 20417 73 172 0 20735 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 86048
[startup+162.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 4793
/proc/meminfo: memFree=610648/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=113384 CPUtime=153.47
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 27915 0 0 0 15327 20 0 0 25 0 1 0 1011303987 116105216 27815 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 28346 27815 73 172 0 28173 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 115800
[startup+222.312 s]
/proc/loadavg: 0.99 1.00 0.99 4/93 4979
/proc/meminfo: memFree=585996/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=137816 CPUtime=213.47
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 34081 0 0 0 21320 27 0 0 25 0 1 0 1011303987 141123584 33981 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 34454 33981 73 172 0 34281 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 140232
[startup+282.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 5167
/proc/meminfo: memFree=562584/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=161964 CPUtime=273.48
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 39948 0 0 0 27318 30 0 0 25 0 1 0 1011303987 165851136 39848 4294967295 134512640 135215339 3217987728 3217985792 134538488 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 40491 39848 73 172 0 40318 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 164380
[startup+342.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 5357
/proc/meminfo: memFree=538032/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=186336 CPUtime=333.48
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 46111 0 0 0 33312 36 0 0 25 0 1 0 1011303987 190808064 46011 4294967295 134512640 135215339 3217987728 3217985824 134527292 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 46584 46011 73 172 0 46411 0
Current children cumulated CPU time (s) 342.31
################
# More data... #
################
/proc/4232/statm: 60091 59400 73 172 0 59918 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 242780
[startup+582.315 s]
/proc/loadavg: 1.07 1.07 1.01 3/93 6112
/proc/meminfo: memFree=470148/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=254564 CPUtime=573.5
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 63015 0 0 0 57300 50 0 0 25 0 1 0 1011303987 260673536 62915 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 63641 62915 73 172 0 63468 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 256980
[startup+642.32 s]
/proc/loadavg: 1.02 1.05 1.01 3/93 6300
/proc/meminfo: memFree=454904/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=269748 CPUtime=633.51
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 66756 0 0 0 63300 51 0 0 25 0 1 0 1011303987 276221952 66656 4294967295 134512640 135215339 3217987728 3217985944 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 67437 66656 73 172 0 67264 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 272164
[startup+702.316 s]
/proc/loadavg: 1.01 1.04 1.00 3/93 6488
/proc/meminfo: memFree=438296/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=287788 CPUtime=693.51
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 70961 0 0 0 69293 58 0 0 25 0 1 0 1011303987 294694912 70861 4294967295 134512640 135215339 3217987728 3217986016 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 71947 70861 73 172 0 71774 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 290204
[startup+762.321 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 6681
/proc/meminfo: memFree=424640/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=301024 CPUtime=753.52
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 74269 0 0 0 75292 60 0 0 25 0 1 0 1011303987 308248576 74169 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 75256 74169 73 172 0 75083 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 303440
[startup+822.316 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 6867
/proc/meminfo: memFree=413084/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=312516 CPUtime=813.52
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 77174 0 0 0 81289 63 0 0 25 0 1 0 1011303987 320016384 77074 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 78129 77074 73 172 0 77956 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 314932
[startup+882.312 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 7055
/proc/meminfo: memFree=402188/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=323640 CPUtime=873.52
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 79850 0 0 0 87288 64 0 0 25 0 1 0 1011303987 331407360 79750 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 80910 79750 73 172 0 80737 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 326056
[startup+942.317 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 7243
/proc/meminfo: memFree=401064/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=324828 CPUtime=933.53
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 80197 0 0 0 93289 64 0 0 25 0 1 0 1011303987 332623872 80097 4294967295 134512640 135215339 3217987728 3217986016 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 81207 80097 73 172 0 81034 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 327244
[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 7434
/proc/meminfo: memFree=400948/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=324948 CPUtime=993.53
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 80229 0 0 0 99289 64 0 0 25 0 1 0 1011303987 332746752 80129 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 81237 80129 73 172 0 81064 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 327364
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 7623
/proc/meminfo: memFree=400468/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=325556 CPUtime=1053.54
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 80374 0 0 0 105290 64 0 0 25 0 1 0 1011303987 333369344 80274 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 81389 80274 73 172 0 81216 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 327972
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7813
/proc/meminfo: memFree=398832/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=327144 CPUtime=1113.54
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 80730 0 0 0 111287 67 0 0 25 0 1 0 1011303987 334995456 80630 4294967295 134512640 135215339 3217987728 3217985792 134538362 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 81786 80630 73 172 0 81613 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 329560
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8001
/proc/meminfo: memFree=392824/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=333224 CPUtime=1173.55
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 82224 0 0 0 117287 68 0 0 25 0 1 0 1011303987 341221376 82124 4294967295 134512640 135215339 3217987728 3217985936 134534288 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 83306 82124 73 172 0 83133 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 335640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8002
/proc/meminfo: memFree=392896/2074464 swapFree=1952056/1959888
[pid=4223] ppid=4221 vsize=2416 CPUtime=8.83
/proc/4223/stat : 4223 (SatELiteGTI) S 4221 4223 15108 0 -1 4194304 384 26912 0 0 0 0 853 30 18 0 1 0 1011303102 2473984 277 4294967295 134512640 135169312 3217928224 3217924440 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4223/statm: 604 277 235 161 0 43 0
[pid=4232] ppid=4223 vsize=333224 CPUtime=1191.25
/proc/4232/stat : 4232 (minisat_static) R 4223 4223 15108 0 -1 4202496 82224 0 0 0 119057 68 0 0 25 0 1 0 1011303987 341221376 82124 4294967295 134512640 135215339 3217987728 3217986016 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4232/statm: 83306 82124 73 172 0 83133 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 335640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4223 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=530000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=300000
# CPU time returned by wait4() is 8.83
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.05
CPU time (s): 1200.08
CPU user time (s): 1199.1
CPU system time (s): 0.98
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 335640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.53
system time used= 0.3
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27296
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= 17
involuntary context switches= 67
runsolver used 0.02 second user time and 0.06 second system time
The end
Begin job on tipi24 at 2009-05-16 12:00:48
IDJOB=1820686
IDBENCH=20581
IDSOLVER=657
FILE ID=tipi24/1820686-1242468048
PBS_JOBID=
Free space on /tmp= 10113 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820686-1242468048/watcher-1820686-1242468048 -o /tmp/evaluation-result-1820686-1242468048/solver-1820686-1242468048 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820686-1242468048.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ba6236c6cc840bb0208f73665843c375
RANDOM SEED= 121873639
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 743480 kB
Buffers: 49060 kB
Cached: 1154988 kB
SwapCached: 3948 kB
Active: 554044 kB
Inactive: 659532 kB
HighTotal: 1178688 kB
HighFree: 384572 kB
LowTotal: 895776 kB
LowFree: 358908 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 20840 kB
Writeback: 0 kB
AnonPages: 8716 kB
Mapped: 3172 kB
Slab: 108140 kB
PageTables: 488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10092 MiB
End job on tipi24 at 2009-05-16 12:20:52