0.00/0.00 c Parsing...
0.00/0.74 c ==============================================================================
0.00/0.74 c | | ORIGINAL | LEARNT | |
0.00/0.74 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.74 c ==============================================================================
0.00/0.74 c | 0 | 968294 2788366 | 290488 0 0 nan | 0.000 % |
7.28/7.31 c | 0 | 933146 2895588 | -- 0 -- -- | -- | -35008/109235
7.28/7.31 c ==============================================================================
7.28/7.31 c Result : #vars: 54024 #clauses: 933146 #literals: 2895588
7.28/7.31 c CPU time: 7.12692 s
7.28/7.31 c ==============================================================================
8.17/8.23 c This is MiniSat 2.0 beta
8.17/8.23 c WARNING: for repeatability, setting FPU to use double precision
8.17/8.23 c ============================[ Problem Statistics ]=============================
8.17/8.23 c | |
8.17/8.23 c | Number of variables: 54024 |
8.17/8.23 c | Number of clauses: 933146 |
8.66/8.78 c | Parsing time: 0.48 s |
8.77/8.81 c ============================[ Search Statistics ]==============================
8.77/8.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.77/8.81 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.77/8.81 c ===============================================================================
8.77/8.81 c | 0 | 54024 933146 2895588 | 311048 0 nan | 0.000 % |
8.86/8.90 c | 100 | 54024 933146 2895588 | 311048 100 31 | 0.000 % |
8.96/9.07 c | 201 | 54024 933146 2895588 | 311048 201 35 | 0.000 % |
9.16/9.25 c | 301 | 54024 933146 2895588 | 311048 301 36 | 0.000 % |
9.26/9.31 c | 412 | 54024 933146 2895588 | 311048 412 37 | 0.000 % |
9.46/9.50 c | 512 | 54024 933146 2895588 | 311048 512 35 | 0.000 % |
9.46/9.56 c | 622 | 54024 933146 2895588 | 311048 622 33 | 0.000 % |
9.66/9.71 c | 743 | 54024 933146 2895588 | 311048 743 32 | 0.000 % |
9.66/9.75 c | 843 | 54024 933146 2895588 | 311048 843 39 | 0.000 % |
9.76/9.82 c | 954 | 54024 933146 2895588 | 311048 954 39 | 0.000 % |
9.76/9.88 c | 1075 | 54024 933146 2895588 | 311048 1075 37 | 0.000 % |
9.96/10.01 c | 1208 | 54024 933146 2895588 | 311048 1208 36 | 0.000 % |
9.96/10.04 c | 1308 | 54024 933146 2895588 | 311048 1308 36 | 0.000 % |
9.96/10.08 c | 1418 | 54024 933146 2895588 | 311048 1418 37 | 0.000 % |
10.06/10.13 c | 1541 | 54024 933146 2895588 | 311048 1541 40 | 0.000 % |
10.16/10.24 c | 1674 | 54024 933146 2895588 | 311048 1674 38 | 0.000 % |
10.26/10.35 c | 1822 | 54024 933146 2895588 | 311048 1822 39 | 0.000 % |
10.26/10.39 c | 1924 | 54024 933146 2895588 | 311048 1924 39 | 0.000 % |
10.36/10.44 c | 2034 | 54024 933146 2895588 | 311048 2034 38 | 0.000 % |
10.46/10.52 c | 2155 | 54024 933146 2895588 | 311048 2155 38 | 0.000 % |
10.56/10.60 c | 2291 | 54024 933146 2895588 | 311048 2291 38 | 0.000 % |
10.56/10.66 c | 2437 | 54024 933146 2895588 | 311048 2437 38 | 0.000 % |
10.66/10.73 c | 2597 | 54024 933146 2895588 | 311048 2597 38 | 0.000 % |
10.66/10.78 c | 2697 | 54024 933146 2895588 | 311048 2697 38 | 0.000 % |
10.76/10.84 c | 2807 | 54024 933146 2895588 | 311048 2807 38 | 0.000 % |
10.87/10.92 c | 2928 | 54024 933146 2895588 | 311048 2928 38 | 0.000 % |
10.87/10.99 c | 3061 | 54024 933146 2895588 | 311048 3061 38 | 0.000 % |
10.97/11.07 c | 3207 | 54024 933146 2895588 | 311048 3207 38 | 0.000 % |
11.06/11.11 c | 3367 | 54024 933146 2895588 | 311048 3367 38 | 0.000 % |
11.16/11.21 c | 3546 | 54024 933146 2895588 | 311048 3546 37 | 0.000 % |
11.26/11.33 c | 3650 | 54024 933146 2895588 | 311048 3650 37 | 0.000 % |
11.46/11.50 c | 3760 | 54024 933146 2895588 | 311048 3760 38 | 0.000 % |
11.46/11.56 c | 3882 | 54024 933146 2895588 | 311048 3882 38 | 0.000 % |
11.56/11.61 c | 4015 | 54024 933146 2895588 | 311048 4015 38 | 0.000 % |
11.66/11.75 c | 4162 | 54024 933146 2895588 | 311048 4162 37 | 0.000 % |
11.76/11.85 c | 4322 | 54024 933146 2895588 | 311048 4322 38 | 0.000 % |
11.86/11.93 c | 4499 | 54024 933146 2895588 | 311048 4499 39 | 0.000 % |
12.06/12.13 c | 4692 | 54024 933146 2895588 | 311048 4692 40 | 0.000 % |
12.16/12.20 c | 4792 | 54024 933146 2895588 | 311048 4792 40 | 0.000 % |
12.16/12.25 c | 4903 | 54024 933146 2895588 | 311048 4903 40 | 0.000 % |
12.26/12.30 c | 5026 | 54024 933146 2895588 | 311048 5026 40 | 0.000 % |
12.46/12.56 c | 5160 | 54024 933146 2895588 | 311048 5160 40 | 0.000 % |
12.56/12.61 c | 5306 | 54024 933146 2895588 | 311048 5306 40 | 0.000 % |
12.66/12.72 c | 5466 | 54024 933146 2895588 | 311048 5466 40 | 0.000 % |
12.66/12.78 c | 5645 | 54024 933146 2895588 | 311048 5645 39 | 0.000 % |
12.86/12.93 c | 5838 | 54024 933146 2895588 | 311048 5838 39 | 0.000 % |
12.96/13.03 c | 6050 | 54024 933146 2895588 | 311048 6050 39 | 0.000 % |
13.06/13.12 c | 6153 | 54024 933146 2895588 | 311048 6153 39 | 0.000 % |
13.16/13.22 c | 6264 | 54024 933146 2895588 | 311048 6264 39 | 0.000 % |
13.16/13.28 c | 6386 | 54024 933146 2895588 | 311048 6386 39 | 0.000 % |
13.26/13.33 c | 6519 | 54024 933146 2895588 | 311048 6519 39 | 0.000 % |
13.46/13.52 c | 6666 | 54024 933146 2895588 | 311048 6666 39 | 0.000 % |
13.56/13.68 c | 6826 | 54024 933146 2895588 | 311048 6826 39 | 0.000 % |
13.76/13.81 c | 7002 | 54024 933146 2895588 | 311048 7002 39 | 0.000 % |
13.86/13.99 c | 7195 | 54024 933146 2895588 | 311048 7195 39 | 0.000 % |
14.06/14.10 c | 7407 | 54024 933146 2895588 | 311048 7407 39 | 0.000 % |
14.16/14.23 c | 7642 | 54024 933146 2895588 | 311048 7642 39 | 0.000 % |
14.16/14.30 c | 7743 | 54024 933146 2895588 | 311048 7743 39 | 0.000 % |
14.26/14.34 c | 7853 | 54024 933146 2895588 | 311048 7853 40 | 0.000 % |
14.35/14.46 c | 7975 | 54024 933146 2895588 | 311048 7975 40 | 0.000 % |
14.45/14.53 c | 8111 | 54024 933146 2895588 | 311048 8111 40 | 0.000 % |
14.65/14.72 c | 8257 | 54024 933146 2895588 | 311048 8257 40 | 0.000 % |
14.75/14.80 c | 8419 | 54024 933146 2895588 | 311048 8419 40 | 0.000 % |
14.85/14.92 c | 8596 | 54024 933146 2895588 | 311048 8596 41 | 0.000 % |
15.05/15.12 c | 8791 | 54024 933146 2895588 | 311048 8791 41 | 0.000 % |
15.15/15.25 c | 9003 | 54024 933146 2895588 | 311048 9003 41 | 0.000 % |
15.36/15.43 c | 9239 | 54024 933146 2895588 | 311048 9239 41 | 0.000 % |
15.45/15.58 c | 9495 | 54024 933146 2895588 | 311048 9495 42 | 0.000 % |
15.55/15.66 c | 9598 | 54024 933146 2895588 | 311048 9598 42 | 0.000 % |
15.65/15.71 c | 9708 | 54024 933146 2895588 | 311048 9708 42 | 0.000 % |
15.65/15.78 c | 9830 | 54024 933146 2895588 | 311048 9830 41 | 0.000 % |
15.85/15.93 c | 9964 | 54024 933146 2895588 | 311048 9964 41 | 0.000 % |
15.95/16.05 c | 10110 | 54024 933146 2895588 | 2147483647 10110 42 | 0.000 % |
16.15/16.21 c | 10272 | 54024 933146 2895588 | 2147483647 10272 42 | 0.000 % |
16.35/16.42 c | 10449 | 54024 933146 2895588 | 2147483647 10449 42 | 0.000 % |
16.45/16.59 c | 10642 | 54024 933146 2895588 | 2147483647 10642 42 | 0.000 % |
16.65/16.74 c | 10854 | 54024 933146 2895588 | 2147483647 10854 42 | 0.000 % |
16.75/16.89 c | 11088 | 54024 933146 2895588 | 2147483647 11088 42 | 0.000 % |
16.95/17.03 c | 11348 | 54024 933146 2895588 | 2147483647 11348 42 | 0.000 % |
17.05/17.19 c | 11631 | 54024 933146 2895588 | 2147483647 11631 42 | 0.000 % |
17.15/17.26 c | 11732 | 54024 933146 2895588 | 2147483647 11732 42 | 0.000 % |
17.25/17.37 c | 11842 | 54024 933146 2895588 | 2147483647 11842 42 | 0.000 % |
17.35/17.45 c | 11965 | 54024 933146 2895588 | 2147483647 11965 42 | 0.000 % |
17.35/17.48 c | 12100 | 54024 933146 2895588 | 2147483647 12100 42 | 0.000 % |
17.45/17.57 c | 12246 | 54024 933146 2895588 | 2147483647 12246 42 | 0.000 % |
17.55/17.66 c | 12406 | 54024 933146 2895588 | 2147483647 12406 42 | 0.000 % |
17.75/17.81 c | 12584 | 54024 933146 2895588 | 2147483647 12584 42 | 0.000 % |
17.85/17.93 c | 12777 | 54024 933146 2895588 | 2147483647 12777 42 | 0.000 % |
17.95/18.00 c | 12989 | 54024 933146 2895588 | 2147483647 12989 42 | 0.000 % |
18.05/18.15 c | 13224 | 54024 933146 2895588 | 2147483647 13224 42 | 0.000 % |
18.15/18.25 c | 13480 | 54024 933146 2895588 | 2147483647 13480 42 | 0.000 % |
18.35/18.45 c | 13761 | 54024 933146 2895588 | 2147483647 13761 41 | 0.000 % |
18.45/18.58 c | 14070 | 54024 933146 2895588 | 2147483647 14070 41 | 0.000 % |
18.55/18.63 c | 14170 | 54024 933146 2895588 | 2147483647 14170 41 | 0.000 % |
18.55/18.69 c | 14281 | 54024 933146 2895588 | 2147483647 14281 41 | 0.000 % |
18.65/18.75 c | 14403 | 54024 933146 2895588 | 2147483647 14403 41 | 0.000 % |
18.75/18.81 c | 14538 | 54024 933146 2895588 | 2147483647 14538 41 | 0.000 % |
18.85/18.91 c | 14684 | 54024 933146 2895588 | 2147483647 14684 41 | 0.000 % |
18.85/18.98 c | 14845 | 54024 933146 2895588 | 2147483647 14845 41 | 0.000 % |
19.05/19.11 c | 15023 | 54024 933146 2895588 | 2147483647 15023 41 | 0.000 % |
19.15/19.23 c | 15220 | 54024 933146 2895588 | 2147483647 15220 41 | 0.000 % |
19.25/19.31 c | 15433 | 54024 933146 2895588 | 2147483647 15433 41 | 0.000 % |
19.35/19.42 c | 15666 | 54024 933146 2895588 | 2147483647 15666 41 | 0.000 % |
19.45/19.57 c | 15923 | 54024 933146 2895588 | 2147483647 15923 41 | 0.000 % |
19.66/19.73 c | 16205 | 54024 933146 2895588 | 2147483647 16205 40 | 0.000 % |
19.76/19.86 c | 16515 | 54024 933146 2895588 | 2147483647 16515 40 | 0.000 % |
19.95/20.04 c | 16854 | 54024 933146 2895588 | 2147483647 16854 41 | 0.000 % |
19.95/20.09 c | 16955 | 54024 933146 2895588 | 2147483647 16955 41 | 0.000 % |
20.05/20.15 c | 17071 | 54024 933146 2895588 | 2147483647 17071 41 | 0.000 % |
20.15/20.23 c | 17192 | 54024 933146 2895588 | 2147483647 17192 41 | 0.000 % |
20.15/20.29 c | 17325 | 54024 933146 2895588 | 2147483647 17325 41 | 0.000 % |
20.25/20.36 c | 17471 | 54024 933146 2895588 | 2147483647 17471 41 | 0.000 % |
20.35/20.46 c | 17631 | 54024 933146 2895588 | 2147483647 17631 40 | 0.000 % |
20.45/20.55 c | 17807 | 54024 933146 2895588 | 2147483647 17807 40 | 0.000 % |
20.55/20.62 c | 18000 | 54024 933146 2895588 | 2147483647 18000 40 | 0.000 % |
20.65/20.75 c | 18212 | 54024 933146 2895588 | 2147483647 18212 40 | 0.000 % |
20.75/20.88 c | 18451 | 54024 933146 2895588 | 2147483647 18451 40 | 0.000 % |
20.95/21.00 c | 18707 | 54024 933146 2895588 | 2147483647 18707 40 | 0.000 % |
21.05/21.17 c | 18988 | 54024 933146 2895588 | 2147483647 18988 40 | 0.000 % |
21.25/21.32 c | 19297 | 54024 933146 2895588 | 2147483647 19297 40 | 0.000 % |
21.35/21.42 c | 19637 | 54024 933146 2895588 | 2147483647 19637 40 | 0.000 % |
21.55/21.61 c | 20011 | 54024 933146 2895588 | 2147483647 20011 39 | 0.000 % |
21.55/21.67 c | 20111 | 54024 933146 2895588 | 2147483647 20111 39 | 0.000 % |
21.65/21.71 c | 20221 | 54024 933146 2895588 | 2147483647 20221 39 | 0.000 % |
21.65/21.78 c | 20342 | 54024 933146 2895588 | 2147483647 20342 39 | 0.000 % |
21.75/21.85 c | 20476 | 54024 933146 2895588 | 2147483647 20476 39 | 0.000 % |
21.85/21.95 c | 20622 | 54024 933146 2895588 | 2147483647 20622 39 | 0.000 % |
21.95/22.03 c | 20782 | 54024 933146 2895588 | 2147483647 20782 39 | 0.000 % |
22.05/22.13 c | 20959 | 54024 933146 2895588 | 2147483647 20959 39 | 0.000 % |
22.15/22.24 c | 21155 | 54024 933146 2895588 | 2147483647 21155 39 | 0.000 % |
22.25/22.33 c | 21367 | 54024 933146 2895588 | 2147483647 21367 39 | 0.000 % |
22.35/22.41 c | 21601 | 54024 933146 2895588 | 2147483647 21601 39 | 0.000 % |
22.45/22.55 c | 21858 | 54024 933146 2895588 | 2147483647 21858 38 | 0.000 % |
22.55/22.67 c | 22139 | 54024 933146 2895588 | 2147483647 22139 38 | 0.000 % |
22.75/22.83 c | 22449 | 54024 933146 2895588 | 2147483647 22449 38 | 0.000 % |
22.85/22.96 c | 22788 | 54024 933146 2895588 | 2147483647 22788 38 | 0.000 % |
23.05/23.10 c | 23161 | 54024 933146 2895588 | 2147483647 23161 38 | 0.000 % |
23.14/23.25 c | 23572 | 54024 933146 2895588 | 2147483647 23572 37 | 0.000 % |
23.24/23.31 c | 23673 | 54024 933146 2895588 | 2147483647 23673 37 | 0.000 % |
23.24/23.38 c | 23783 | 54024 933146 2895588 | 2147483647 23783 37 | 0.000 % |
23.34/23.46 c | 23907 | 54024 933146 2895588 | 2147483647 23907 37 | 0.000 % |
23.44/23.55 c | 24040 | 54024 933146 2895588 | 2147483647 24040 37 | 0.000 % |
23.54/23.65 c | 24186 | 54024 933146 2895588 | 2147483647 24186 37 | 0.000 % |
23.64/23.71 c | 24346 | 54024 933146 2895588 | 2147483647 24346 37 | 0.000 % |
23.64/23.78 c | 24523 | 54024 933146 2895588 | 2147483647 24523 37 | 0.000 % |
23.75/23.84 c | 24716 | 54024 933146 2895588 | 2147483647 24716 37 | 0.000 % |
23.85/23.92 c | 24928 | 54024 933146 2895588 | 2147483647 24928 37 | 0.000 % |
23.94/24.02 c | 25161 | 54024 933146 2895588 | 2147483647 25161 37 | 0.000 % |
24.05/24.13 c | 25418 | 54024 933146 2895588 | 2147483647 25418 37 | 0.000 % |
24.15/24.21 c | 25699 | 54024 933146 2895588 | 2147483647 25699 37 | 0.000 % |
24.24/24.34 c | 26009 | 54024 933146 2895588 | 2147483647 26009 36 | 0.000 % |
24.34/24.43 c | 26348 | 54024 933146 2895588 | 2147483647 26348 36 | 0.000 % |
24.44/24.53 c | 26721 | 54024 933146 2895588 | 2147483647 26721 36 | 0.000 % |
24.55/24.69 c | 27130 | 54024 933146 2895588 | 2147483647 27130 36 | 0.000 % |
24.75/24.85 c | 27579 | 54024 933146 2895588 | 2147483647 27579 36 | 0.000 % |
24.85/24.90 c | 27679 | 54024 933146 2895588 | 2147483647 27679 36 | 0.000 % |
24.85/24.98 c | 27790 | 54024 933146 2895588 | 2147483647 27790 36 | 0.000 % |
24.95/25.08 c | 27913 | 54024 933146 2895588 | 2147483647 27913 36 | 0.000 % |
25.05/25.20 c | 28046 | 54024 933146 2895588 | 2147483647 28046 36 | 0.000 % |
25.35/25.44 c | 28192 | 54024 933146 2895588 | 2147483647 28192 36 | 0.000 % |
25.55/25.61 c | 28355 | 54024 933146 2895588 | 2147483647 28355 36 | 0.000 % |
25.65/25.77 c | 28531 | 54024 933146 2895588 | 2147483647 28531 37 | 0.000 % |
25.75/25.87 c | 28724 | 54024 933146 2895588 | 2147483647 28724 37 | 0.000 % |
25.85/25.94 c | 28936 | 54024 933146 2895588 | 2147483647 28936 37 | 0.000 % |
25.94/26.07 c | 29169 | 54024 933146 2895588 | 2147483647 29169 37 | 0.000 % |
26.04/26.17 c | 29429 | 54024 933146 2895588 | 2147483647 29429 37 | 0.000 % |
26.35/26.42 c | 29715 | 54024 933146 2895588 | 2147483647 29715 37 | 0.000 % |
26.54/26.64 c | 30028 | 54024 933146 2895588 | 2147483647 30028 37 | 0.000 % |
26.74/26.80 c | 30367 | 54024 933146 2895588 | 2147483647 30367 37 | 0.000 % |
26.94/27.06 c | 30739 | 54024 933146 2895588 | 2147483647 30739 37 | 0.000 % |
27.14/27.27 c | 31148 | 54024 933146 2895588 | 2147483647 31148 37 | 0.000 % |
27.45/27.51 c | 31597 | 54024 933146 2895588 | 2147483647 31597 38 | 0.000 % |
27.74/27.80 c | 32091 | 54024 933146 2895588 | 2147483647 32091 38 | 0.000 % |
27.84/27.92 c | 32191 | 54024 933146 2895588 | 2147483647 32191 38 | 0.000 % |
27.84/27.97 c | 32302 | 54024 933146 2895588 | 2147483647 32302 38 | 0.000 % |
27.94/28.06 c | 32423 | 54024 933146 2895588 | 2147483647 32423 38 | 0.000 % |
28.04/28.16 c | 32557 | 54024 933146 2895588 | 2147483647 32557 38 | 0.000 % |
28.24/28.37 c | 32703 | 54024 933146 2895588 | 2147483647 32703 38 | 0.000 % |
28.34/28.46 c | 32865 | 54024 933146 2895588 | 2147483647 32865 38 | 0.000 % |
28.44/28.60 c | 33042 | 54024 933146 2895588 | 2147483647 33042 38 | 0.000 % |
28.74/28.89 c | 33236 | 54024 933146 2895588 | 2147483647 33236 38 | 0.000 % |
29.04/29.16 c | 33450 | 54024 933146 2895588 | 2147483647 33450 38 | 0.000 % |
29.14/29.29 c | 33683 | 54024 933146 2895588 | 2147483647 33683 38 | 0.000 % |
29.34/29.48 c | 33939 | 54024 933146 2895588 | 2147483647 33939 38 | 0.000 % |
29.64/29.71 c | 34221 | 54024 933146 2895588 | 2147483647 34221 38 | 0.000 % |
29.74/29.81 c | 34531 | 54024 933146 2895588 | 2147483647 34531 38 | 0.000 % |
30.04/30.13 c | 34870 | 54024 933146 2895588 | 2147483647 34870 38 | 0.000 % |
30.25/30.31 c | 35243 | 54024 933146 2895588 | 2147483647 35243 38 | 0.000 % |
30.44/30.54 c | 35652 | 54024 933146 2895588 | 2147483647 35652 38 | 0.000 % |
30.65/30.72 c | 36102 | 54024 933146 2895588 | 2147483647 36102 39 | 0.000 % |
30.94/31.08 c | 36596 | 54024 933146 2895588 | 2147483647 36596 39 | 0.000 % |
31.34/31.43 c | 37140 | 54024 933146 2895588 | 2147483647 37140 40 | 0.000 % |
31.44/31.53 c | 37241 | 54024 933146 2895588 | 2147483647 37241 40 | 0.000 % |
31.54/31.69 c | 37352 | 54024 933146 2895588 | 2147483647 37352 40 | 0.000 % |
31.64/31.80 c | 37474 | 54024 933146 2895588 | 2147483647 37474 40 | 0.000 % |
31.75/31.90 c | 37607 | 54024 933146 2895588 | 2147483647 37607 40 | 0.000 % |
31.94/32.04 c | 37755 | 54024 933146 2895588 | 2147483647 37755 40 | 0.000 % |
32.14/32.21 c | 37918 | 54024 933146 2895588 | 2147483647 37918 40 | 0.000 % |
32.24/32.37 c | 38094 | 54024 933146 2895588 | 2147483647 38094 41 | 0.000 % |
32.54/32.61 c | 38287 | 54024 933146 2895588 | 2147483647 38287 41 | 0.000 % |
32.54/32.67 c | 38499 | 54024 933146 2895588 | 2147483647 38499 41 | 0.000 % |
32.74/32.85 c | 38732 | 54024 933146 2895588 | 2147483647 38732 41 | 0.000 % |
32.84/32.98 c | 38988 | 54024 933146 2895588 | 2147483647 38988 41 | 0.000 % |
33.04/33.14 c | 39271 | 54024 933146 2895588 | 2147483647 39271 41 | 0.000 % |
33.44/33.51 c | 39580 | 54024 933146 2895588 | 2147483647 39580 41 | 0.000 % |
33.74/33.87 c | 39920 | 54024 933146 2895588 | 2147483647 39920 41 | 0.000 % |
33.84/33.97 c | 40293 | 54024 933146 2895588 | 2147483647 40293 41 | 0.000 % |
34.14/34.22 c | 40703 | 54024 933146 2895588 | 2147483647 40703 41 | 0.000 % |
34.44/34.50 c | 41155 | 54024 933146 2895588 | 2147483647 41155 41 | 0.000 % |
34.74/34.87 c | 41648 | 54024 933146 2895588 | 2147483647 41648 41 | 0.000 % |
34.94/35.02 c | 42190 | 54024 933146 2895588 | 2147483647 42190 41 | 0.000 % |
35.04/35.16 c | 42786 | 54024 933146 2895588 | 2147483647 42786 41 | 0.000 % |
35.14/35.25 c | 42886 | 54024 933146 2895588 | 2147483647 42886 41 | 0.000 % |
35.23/35.34 c | 42998 | 54024 933146 2895588 | 2147483647 42998 41 | 0.000 % |
35.43/35.53 c | 43119 | 54024 933146 2895588 | 2147483647 43119 41 | 0.000 % |
35.43/35.58 c | 43254 | 54024 933146 2895588 | 2147483647 43254 41 | 0.000 % |
35.63/35.72 c | 43400 | 54024 933146 2895588 | 2147483647 43400 41 | 0.000 % |
35.63/35.78 c | 43561 | 54024 933146 2895588 | 2147483647 43561 41 | 0.000 % |
35.83/35.96 c | 43739 | 54024 933146 2895588 | 2147483647 43739 41 | 0.000 % |
35.94/36.05 c | 43933 | 54024 933146 2895588 | 2147483647 43933 41 | 0.000 % |
36.14/36.24 c | 44147 | 54024 933146 2895588 | 2147483647 44147 41 | 0.000 % |
36.34/36.41 c | 44381 | 54024 933146 2895588 | 2147483647 44381 41 | 0.000 % |
36.44/36.54 c | 44638 | 54024 933146 2895588 | 2147483647 44638 41 | 0.000 % |
36.64/36.70 c | 44921 | 54024 933146 2895588 | 2147483647 44921 41 | 0.000 % |
36.74/36.85 c | 45231 | 54024 933146 2895588 | 2147483647 45231 41 | 0.000 % |
37.04/37.18 c | 45572 | 54024 933146 2895588 | 2147483647 45572 41 | 0.000 % |
37.24/37.33 c | 45944 | 54024 933146 2895588 | 2147483647 45944 41 | 0.000 % |
37.54/37.63 c | 46353 | 54024 933146 2895588 | 2147483647 46353 41 | 0.000 % |
37.74/37.86 c | 46802 | 54024 933146 2895588 | 2147483647 46802 41 | 0.000 % |
38.04/38.11 c | 47296 | 54024 933146 2895588 | 2147483647 47296 41 | 0.000 % |
38.24/38.34 c | 47838 | 54024 933146 2895588 | 2147483647 47838 41 | 0.000 % |
38.44/38.55 c | 48434 | 54024 933146 2895588 | 2147483647 48434 41 | 0.000 % |
38.74/38.86 c | 49089 | 54024 933146 2895588 | 2147483647 49089 41 | 0.000 % |
38.84/38.91 c | 49190 | 54024 933146 2895588 | 2147483647 49190 41 | 0.000 % |
38.84/38.94 c | 49300 | 54024 933146 2895588 | 2147483647 49300 41 | 0.000 % |
38.84/38.98 c | 49424 | 54024 933146 2895588 | 2147483647 49424 40 | 0.000 % |
38.94/39.03 c | 49557 | 54024 933146 2895588 | 2147483647 49557 40 | 0.000 % |
38.94/39.07 c | 49704 | 54024 933146 2895588 | 2147483647 49704 40 | 0.000 % |
39.04/39.17 c | 49864 | 54024 933146 2895588 | 2147483647 49864 40 | 0.000 % |
39.24/39.39 c | 50042 | 54024 933146 2895588 | 2147483647 50042 40 | 0.000 % |
39.44/39.50 c | 50236 | 54024 933146 2895588 | 2147483647 50236 40 | 0.000 % |
39.54/39.63 c | 50448 | 54024 933146 2895588 | 2147483647 50448 40 | 0.000 % |
39.63/39.72 c | 50681 | 54024 933146 2895588 | 2147483647 50681 40 | 0.000 % |
39.83/39.94 c | 50937 | 54024 933146 2895588 | 2147483647 50937 40 | 0.000 % |
40.03/40.11 c | 51218 | 54024 933146 2895588 | 2147483647 51218 40 | 0.000 % |
40.23/40.31 c | 51527 | 54024 933146 2895588 | 2147483647 51527 40 | 0.000 % |
40.33/40.45 c | 51866 | 54024 933146 2895588 | 2147483647 51866 41 | 0.000 % |
40.54/40.62 c | 52238 | 54024 933146 2895588 | 2147483647 52238 41 | 0.000 % |
40.83/40.95 c | 52648 | 54024 933146 2895588 | 2147483647 52648 41 | 0.000 % |
41.13/41.20 c | 53098 | 54024 933146 2895588 | 2147483647 53098 41 | 0.000 % |
41.33/41.49 c | 53591 | 54024 933146 2895588 | 2147483647 53591 41 | 0.000 % |
41.63/41.75 c | 54134 | 54024 933146 2895588 | 2147483647 54134 41 | 0.000 % |
41.93/42.05 c | 54730 | 54024 933146 2895588 | 2147483647 54730 41 | 0.000 % |
42.23/42.36 c | 55385 | 54024 933146 2895588 | 2147483647 55385 41 | 0.000 % |
42.73/42.82 c | 56105 | 54024 933146 2895588 | 2147483647 56105 42 | 0.000 % |
42.73/42.89 c | 56205 | 54024 933146 2895588 | 2147483647 56205 42 | 0.000 % |
42.93/43.01 c | 56315 | 54024 933146 2895588 | 2147483647 56315 42 | 0.000 % |
43.13/43.20 c | 56436 | 54024 933146 2895588 | 2147483647 56436 42 | 0.000 % |
43.23/43.33 c | 56572 | 54024 933146 2895588 | 2147483647 56572 42 | 0.000 % |
43.53/43.60 c | 56718 | 54024 933146 2895588 | 2147483647 56718 42 | 0.000 % |
43.63/43.71 c | 56880 | 54024 933146 2895588 | 2147483647 56880 42 | 0.000 % |
43.73/43.83 c | 57057 | 54024 933146 2895588 | 2147483647 57057 42 | 0.000 % |
43.84/43.96 c | 57251 | 54024 933146 2895588 | 2147483647 57251 42 | 0.000 % |
44.03/44.15 c | 57465 | 54024 933146 2895588 | 2147483647 57465 42 | 0.000 % |
44.23/44.33 c | 57699 | 54024 933146 2895588 | 2147483647 57699 42 | 0.000 % |
44.33/44.48 c | 57956 | 54024 933146 2895588 | 2147483647 57956 42 | 0.000 % |
44.63/44.72 c | 58237 | 54024 933146 2895588 | 2147483647 58237 42 | 0.000 % |
44.83/44.90 c | 58547 | 54024 933146 2895588 | 2147483647 58547 42 | 0.000 % |
45.23/45.31 c | 58886 | 54024 933146 2895588 | 2147483647 58886 42 | 0.000 % |
45.43/45.50 c | 59259 | 54024 933146 2895588 | 2147483647 59259 42 | 0.000 % |
45.53/45.63 c | 59668 | 54024 933146 2895588 | 2147483647 59668 42 | 0.000 % |
46.04/46.20 c | 60117 | 54024 933146 2895588 | 2147483647 60117 42 | 0.000 % |
46.43/46.53 c | 60612 | 54024 933146 2895588 | 2147483647 60612 42 | 0.000 % |
46.93/47.03 c | 61157 | 54024 933146 2895588 | 2147483647 61157 43 | 0.000 % |
47.24/47.36 c | 61754 | 54024 933146 2895588 | 2147483647 61754 43 | 0.000 % |
47.83/47.93 c | 62409 | 54024 933146 2895588 | 2147483647 62409 43 | 0.000 % |
48.24/48.31 c | 63129 | 54024 933146 2895588 | 2147483647 63129 43 | 0.000 % |
48.83/48.93 c | 63922 | 54024 933146 2895588 | 2147483647 63922 43 | 0.000 % |
48.93/49.06 c | 64023 | 54024 933146 2895588 | 2147483647 64023 43 | 0.000 % |
49.13/49.27 c | 64133 | 54024 933146 2895588 | 2147483647 64133 43 | 0.000 % |
49.23/49.37 c | 64255 | 54024 933146 2895588 | 2147483647 64255 43 | 0.000 % |
49.33/49.46 c | 64389 | 54024 933146 2895588 | 2147483647 64389 43 | 0.000 % |
49.53/49.69 c | 64536 | 54024 933146 2895588 | 2147483647 64536 43 | 0.000 % |
49.73/49.85 c | 64697 | 54024 933146 2895588 | 2147483647 64697 43 | 0.000 % |
49.93/50.09 c | 64874 | 54024 933146 2895588 | 2147483647 64874 43 | 0.000 % |
50.03/50.18 c | 65069 | 54024 933146 2895588 | 2147483647 65069 43 | 0.000 % |
50.33/50.40 c | 65281 | 54024 933146 2895588 | 2147483647 65281 43 | 0.000 % |
50.43/50.54 c | 65514 | 54024 933146 2895588 | 2147483647 65514 43 | 0.000 % |
50.63/50.75 c | 65770 | 54024 933146 2895588 | 2147483647 65770 43 | 0.000 % |
50.73/50.84 c | 66051 | 54024 933146 2895588 | 2147483647 66051 43 | 0.000 % |
51.03/51.15 c | 66360 | 54024 933146 2895588 | 2147483647 66360 44 | 0.000 % |
51.23/51.31 c | 66699 | 54024 933146 2895588 | 2147483647 66699 44 | 0.000 % |
51.43/51.50 c | 67074 | 54024 933146 2895588 | 2147483647 67074 44 | 0.000 % |
51.63/51.78 c | 67485 | 54024 933146 2895588 | 2147483647 67485 44 | 0.000 % |
51.82/51.96 c | 67935 | 54024 933146 2895588 | 2147483647 67935 44 | 0.000 % |
52.22/52.34 c | 68429 | 54024 933146 2895588 | 2147483647 68429 44 | 0.000 % |
52.63/52.70 c | 68973 | 54024 933146 2895588 | 2147483647 68973 44 | 0.000 % |
52.73/52.89 c | 69570 | 54024 933146 2895588 | 2147483647 69570 44 | 0.000 % |
53.42/53.50 c | 70227 | 54024 933146 2895588 | 2147483647 70227 44 | 0.000 % |
53.83/53.99 c | 70948 | 54024 933146 2895588 | 2147483647 70948 45 | 0.000 % |
54.22/54.37 c | 71740 | 54024 933146 2895588 | 2147483647 71740 45 | 0.000 % |
54.92/55.09 c | 72612 | 54024 933146 2895588 | 2147483647 72612 45 | 0.000 % |
55.12/55.21 c | 72714 | 54024 933146 2895588 | 2147483647 72714 45 | 0.000 % |
55.22/55.35 c | 72824 | 54024 933146 2895588 | 2147483647 72824 45 | 0.000 % |
55.32/55.41 c | 72945 | 54024 933146 2895588 | 2147483647 72945 45 | 0.000 % |
55.32/55.49 c | 73079 | 54024 933146 2895588 | 2147483647 73079 45 | 0.000 % |
55.62/55.72 c | 73226 | 54024 933146 2895588 | 2147483647 73226 45 | 0.000 % |
55.72/55.89 c | 73386 | 54024 933146 2895588 | 2147483647 73386 45 | 0.000 % |
55.92/56.02 c | 73563 | 54024 933146 2895588 | 2147483647 73563 45 | 0.000 % |
56.13/56.28 c | 73756 | 54024 933146 2895588 | 2147483647 73756 45 | 0.000 % |
56.53/56.61 c | 73971 | 54024 933146 2895588 | 2147483647 73971 45 | 0.000 % |
56.73/56.87 c | 74205 | 54024 933146 2895588 | 2147483647 74205 45 | 0.000 % |
56.83/56.99 c | 74461 | 54024 933146 2895588 | 2147483647 74461 45 | 0.000 % |
57.03/57.18 c | 74742 | 54024 933146 2895588 | 2147483647 74742 45 | 0.000 % |
57.33/57.41 c | 75051 | 54024 933146 2895588 | 2147483647 75051 45 | 0.000 % |
57.52/57.61 c | 75390 | 54024 933146 2895588 | 2147483647 75390 46 | 0.000 % |
57.72/57.83 c | 75762 | 54024 933146 2895588 | 2147483647 75762 46 | 0.000 % |
57.93/58.08 c | 76175 | 54024 933146 2895588 | 2147483647 76175 46 | 0.000 % |
58.23/58.31 c | 76624 | 54024 933146 2895588 | 2147483647 76624 46 | 0.000 % |
58.42/58.56 c | 77117 | 54024 933146 2895588 | 2147483647 77117 46 | 0.000 % |
58.82/58.92 c | 77661 | 54024 933146 2895588 | 2147483647 77661 46 | 0.000 % |
59.02/59.14 c | 78259 | 54024 933146 2895588 | 2147483647 78259 46 | 0.000 % |
59.33/59.47 c | 78914 | 54024 933146 2895588 | 2147483647 78914 46 | 0.000 % |
59.72/59.83 c | 79634 | 54024 933146 2895588 | 2147483647 79634 46 | 0.000 % |
60.22/60.34 c | 80426 | 54024 933146 2895588 | 2147483647 80426 46 | 0.000 % |
60.72/60.86 c | 81299 | 54024 933146 2895588 | 2147483647 81299 46 | 0.000 % |
61.22/61.36 c | 82258 | 54024 933146 2895588 | 2147483647 82258 46 | 0.000 % |
61.32/61.43 c | 82358 | 54024 933146 2895588 | 2147483647 82358 46 | 0.000 % |
61.42/61.51 c | 82469 | 54024 933146 2895588 | 2147483647 82469 46 | 0.000 % |
61.52/61.62 c | 82590 | 54024 933146 2895588 | 2147483647 82590 46 | 0.000 % |
61.62/61.72 c | 82723 | 54024 933146 2895588 | 2147483647 82723 46 | 0.000 % |
61.72/61.85 c | 82869 | 54024 933146 2895588 | 2147483647 82869 46 | 0.000 % |
61.82/61.96 c | 83029 | 54024 933146 2895588 | 2147483647 83029 46 | 0.000 % |
62.02/62.13 c | 83205 | 54024 933146 2895588 | 2147483647 83205 46 | 0.000 % |
62.12/62.24 c | 83398 | 54024 933146 2895588 | 2147483647 83398 46 | 0.000 % |
62.32/62.44 c | 83610 | 54024 933146 2895588 | 2147483647 83610 46 | 0.000 % |
62.52/62.70 c | 83843 | 54024 933146 2895588 | 2147483647 83843 46 | 0.000 % |
62.71/62.86 c | 84100 | 54024 933146 2895588 | 2147483647 84100 46 | 0.000 % |
62.91/63.04 c | 84381 | 54024 933146 2895588 | 2147483647 84381 46 | 0.000 % |
63.11/63.26 c | 84690 | 54024 933146 2895588 | 2147483647 84690 46 | 0.000 % |
63.31/63.47 c | 85030 | 54024 933146 2895588 | 2147483647 85030 46 | 0.000 % |
63.62/63.71 c | 85403 | 54024 933146 2895588 | 2147483647 85403 46 | 0.000 % |
63.72/63.88 c | 85812 | 54024 933146 2895588 | 2147483647 85812 46 | 0.000 % |
64.02/64.20 c | 86261 | 54024 933146 2895588 | 2147483647 86261 46 | 0.000 % |
64.32/64.46 c | 86756 | 54024 933146 2895588 | 2147483647 86756 46 | 0.000 % |
64.82/64.91 c | 87301 | 54024 933146 2895588 | 2147483647 87301 46 | 0.000 % |
65.22/65.30 c | 87897 | 54024 933146 2895588 | 2147483647 87897 46 | 0.000 % |
65.42/65.58 c | 88552 | 54024 933146 2895588 | 2147483647 88552 46 | 0.000 % |
65.82/65.94 c | 89272 | 54024 933146 2895588 | 2147483647 89272 47 | 0.000 % |
66.12/66.25 c | 90064 | 54024 933146 2895588 | 2147483647 90064 47 | 0.000 % |
66.82/66.92 c | 90935 | 54024 933146 2895588 | 2147483647 90935 47 | 0.000 % |
67.22/67.37 c | 91893 | 54024 933146 2895588 | 2147483647 91893 47 | 0.000 % |
67.81/67.96 c | 92946 | 54024 933146 2895588 | 2147483647 92946 47 | 0.000 % |
67.91/68.04 c | 93046 | 54024 933146 2895588 | 2147483647 93046 47 | 0.000 % |
68.02/68.11 c | 93156 | 54024 933146 2895588 | 2147483647 93156 47 | 0.000 % |
68.02/68.18 c | 93277 | 54024 933146 2895588 | 2147483647 93277 47 | 0.000 % |
68.21/68.30 c | 93411 | 54024 933146 2895588 | 2147483647 93411 47 | 0.000 % |
68.21/68.38 c | 93557 | 54024 933146 2895588 | 2147483647 93557 47 | 0.000 % |
68.31/68.48 c | 93717 | 54024 933146 2895588 | 2147483647 93717 47 | 0.000 % |
68.51/68.61 c | 93893 | 54024 933146 2895588 | 2147483647 93893 47 | 0.000 % |
68.61/68.71 c | 94086 | 54024 933146 2895588 | 2147483647 94086 47 | 0.000 % |
68.71/68.84 c | 94298 | 54024 933146 2895588 | 2147483647 94298 47 | 0.000 % |
68.81/69.00 c | 94531 | 54024 933146 2895588 | 2147483647 94531 47 | 0.000 % |
69.01/69.18 c | 94788 | 54024 933146 2895588 | 2147483647 94788 47 | 0.000 % |
69.12/69.28 c | 95070 | 54024 933146 2895588 | 2147483647 95070 47 | 0.000 % |
69.31/69.48 c | 95379 | 54024 933146 2895588 | 2147483647 95379 47 | 0.000 % |
69.51/69.68 c | 95719 | 54024 933146 2895588 | 2147483647 95719 47 | 0.000 % |
69.81/69.93 c | 96091 | 54024 933146 2895588 | 2147483647 96091 47 | 0.000 % |
70.01/70.13 c | 96501 | 54024 933146 2895588 | 2147483647 96501 47 | 0.000 % |
70.31/70.41 c | 96951 | 54024 933146 2895588 | 2147483647 96951 47 | 0.000 % |
70.61/70.76 c | 97445 | 54024 933146 2895588 | 2147483647 97445 47 | 0.000 % |
70.91/71.07 c | 97987 | 54024 933146 2895588 | 2147483647 97987 47 | 0.000 % |
71.21/71.33 c | 98583 | 54024 933146 2895588 | 2147483647 98583 47 | 0.000 % |
71.61/71.76 c | 99238 | 54024 933146 2895588 | 2147483647 99238 47 | 0.000 % |
71.91/72.04 c | 99959 | 54024 933146 2895588 | 2147483647 99959 47 | 0.000 % |
72.41/72.55 c | 100753 | 54024 933146 2895588 | 2147483647 100753 47 | 0.000 % |
72.91/73.00 c | 101624 | 54024 933146 2895588 | 2147483647 101624 47 | 0.000 % |
73.51/73.61 c | 102582 | 54024 933146 2895588 | 2147483647 102582 47 | 0.000 % |
74.12/74.24 c | 103637 | 54024 933146 2895588 | 2147483647 103637 48 | 0.000 % |
74.81/74.96 c | 104795 | 54024 933146 2895588 | 2147483647 104795 48 | 0.000 % |
74.92/75.09 c | 104896 | 54024 933146 2895588 | 2147483647 104896 48 | 0.000 % |
75.12/75.25 c | 105007 | 54024 933146 2895588 | 2147483647 105007 48 | 0.000 % |
75.32/75.44 c | 105129 | 54024 933146 2895588 | 2147483647 105129 48 | 0.000 % |
75.42/75.54 c | 105262 | 54024 933146 2895588 | 2147483647 105262 48 | 0.000 % |
75.72/75.86 c | 105408 | 54024 933146 2895588 | 2147483647 105408 48 | 0.000 % |
75.82/75.99 c | 105568 | 54024 933146 2895588 | 2147483647 105568 48 | 0.000 % |
76.11/76.28 c | 105746 | 54024 933146 2895588 | 2147483647 105746 48 | 0.000 % |
76.41/76.54 c | 105939 | 54024 933146 2895588 | 2147483647 105939 48 | 0.000 % |
76.71/76.82 c | 106153 | 54024 933146 2895588 | 2147483647 106153 48 | 0.000 % |
76.82/76.97 c | 106386 | 54024 933146 2895588 | 2147483647 106386 48 | 0.000 % |
77.01/77.16 c | 106646 | 54024 933146 2895588 | 2147483647 106646 48 | 0.000 % |
77.11/77.29 c | 106927 | 54024 933146 2895588 | 2147483647 106927 48 | 0.000 % |
77.41/77.60 c | 107236 | 54024 933146 2895588 | 2147483647 107236 48 | 0.000 % |
77.61/77.79 c | 107575 | 54024 933146 2895588 | 2147483647 107575 48 | 0.000 % |
77.91/78.05 c | 107947 | 54024 933146 2895588 | 2147483647 107947 48 | 0.000 % |
78.21/78.34 c | 108357 | 54024 933146 2895588 | 2147483647 108357 48 | 0.000 % |
78.51/78.63 c | 108806 | 54024 933146 2895588 | 2147483647 108806 48 | 0.000 % |
78.71/78.84 c | 109299 | 54024 933146 2895588 | 2147483647 109299 48 | 0.000 % |
79.11/79.27 c | 109841 | 54024 933146 2895588 | 2147483647 109841 48 | 0.000 % |
79.71/79.85 c | 110437 | 54024 933146 2895588 | 2147483647 110437 48 | 0.000 % |
80.01/80.18 c | 111092 | 54024 933146 2895588 | 2147483647 111092 48 | 0.000 % |
80.81/81.00 c | 111812 | 54024 933146 2895588 | 2147483647 111812 48 | 0.000 % |
81.31/81.40 c | 112604 | 54024 933146 2895588 | 2147483647 112604 48 | 0.000 % |
81.71/81.86 c | 113475 | 54024 933146 2895588 | 2147483647 113475 48 | 0.000 % |
82.21/82.35 c | 114433 | 54024 933146 2895588 | 2147483647 114433 48 | 0.000 % |
83.00/83.11 c | 115486 | 54024 933146 2895588 | 2147483647 115486 48 | 0.000 % |
83.70/83.84 c | 116647 | 54024 933146 2895588 | 2147483647 116647 48 | 0.000 % |
84.20/84.35 c | 117920 | 54024 933146 2895588 | 2147483647 117920 48 | 0.000 % |
84.30/84.49 c | 118021 | 54024 933146 2895588 | 2147483647 118021 48 | 0.000 % |
84.61/84.75 c | 118131 | 54024 933146 2895588 | 2147483647 118131 48 | 0.000 % |
84.70/84.84 c | 118252 | 54024 933146 2895588 | 2147483647 118252 48 | 0.000 % |
84.90/85.05 c | 118385 | 54024 933146 2895588 | 2147483647 118385 48 | 0.000 % |
85.10/85.23 c | 118533 | 54024 933146 2895588 | 2147483647 118533 48 | 0.000 % |
85.20/85.35 c | 118694 | 54024 933146 2895588 | 2147483647 118694 48 | 0.000 % |
85.50/85.65 c | 118871 | 54024 933146 2895588 | 2147483647 118871 48 | 0.000 % |
85.80/85.91 c | 119065 | 54024 933146 2895588 | 2147483647 119065 48 | 0.000 % |
86.00/86.18 c | 119279 | 54024 933146 2895588 | 2147483647 119279 48 | 0.000 % |
86.20/86.37 c | 119516 | 54024 933146 2895588 | 2147483647 119516 48 | 0.000 % |
86.50/86.67 c | 119772 | 54024 933146 2895588 | 2147483647 119772 48 | 0.000 % |
86.82/86.94 c | 120054 | 54024 933146 2895588 | 2147483647 120054 48 | 0.000 % |
87.11/87.24 c | 120363 | 54024 933146 2895588 | 2147483647 120363 48 | 0.000 % |
87.41/87.56 c | 120702 | 54024 933146 2895588 | 2147483647 120702 48 | 0.000 % |
87.61/87.76 c | 121075 | 54024 933146 2895588 | 2147483647 121075 48 | 0.000 % |
88.01/88.19 c | 121484 | 54024 933146 2895588 | 2147483647 121484 48 | 0.000 % |
88.41/88.55 c | 121934 | 54024 933146 2895588 | 2147483647 121934 48 | 0.000 % |
88.81/88.91 c | 122429 | 54024 933146 2895588 | 2147483647 122429 48 | 0.000 % |
89.31/89.46 c | 122972 | 54024 933146 2895588 | 2147483647 122972 48 | 0.000 % |
89.61/89.80 c | 123568 | 54024 933146 2895588 | 2147483647 123568 48 | 0.000 % |
90.30/90.42 c | 124224 | 54024 933146 2895588 | 2147483647 124224 49 | 0.000 % |
90.60/90.77 c | 124944 | 54024 933146 2895588 | 2147483647 124944 49 | 0.000 % |
91.40/91.56 c | 125738 | 54024 933146 2895588 | 2147483647 125738 49 | 0.000 % |
92.01/92.10 c | 126611 | 54024 933146 2895588 | 2147483647 126611 49 | 0.000 % |
92.61/92.72 c | 127569 | 54024 933146 2895588 | 2147483647 127569 49 | 0.000 % |
93.21/93.36 c | 128622 | 54024 933146 2895588 | 2147483647 128622 49 | 0.000 % |
93.81/93.98 c | 129781 | 54024 933146 2895588 | 2147483647 129781 49 | 0.000 % |
94.60/94.78 c | 131056 | 54024 933146 2895588 | 2147483647 131056 50 | 0.000 % |
95.90/96.09 c | 132456 | 54024 933146 2895588 | 2147483647 132456 50 | 0.000 % |
96.10/96.26 c | 132556 | 54024 933146 2895588 | 2147483647 132556 50 | 0.000 % |
96.30/96.42 c | 132666 | 54024 933146 2895588 | 2147483647 132666 50 | 0.000 % |
96.40/96.54 c | 132788 | 54024 933146 2895588 | 2147483647 132788 50 | 0.000 % |
96.60/96.72 c | 132921 | 54024 933146 2895588 | 2147483647 132921 50 | 0.000 % |
96.70/96.90 c | 133067 | 54024 933146 2895588 | 2147483647 133067 50 | 0.000 % |
97.00/97.13 c | 133227 | 54024 933146 2895588 | 2147483647 133227 50 | 0.000 % |
97.20/97.30 c | 133403 | 54024 933146 2895588 | 2147483647 133403 50 | 0.000 % |
97.30/97.49 c | 133597 | 54024 933146 2895588 | 2147483647 133597 50 | 0.000 % |
97.60/97.80 c | 133809 | 54024 933146 2895588 | 2147483647 133809 50 | 0.000 % |
97.80/97.94 c | 134042 | 54024 933146 2895588 | 2147483647 134042 50 | 0.000 % |
98.10/98.21 c | 134299 | 54024 933146 2895588 | 2147483647 134299 50 | 0.000 % |
98.20/98.37 c | 134580 | 54024 933146 2895588 | 2147483647 134580 50 | 0.000 % |
98.50/98.70 c | 134890 | 54024 933146 2895588 | 2147483647 134890 50 | 0.000 % |
98.80/98.98 c | 135229 | 54024 933146 2895588 | 2147483647 135229 50 | 0.000 % |
99.00/99.17 c | 135602 | 54024 933146 2895588 | 2147483647 135602 50 | 0.000 % |
99.20/99.39 c | 136011 | 54024 933146 2895588 | 2147483647 136011 50 | 0.000 % |
99.70/99.86 c | 136463 | 54024 933146 2895588 | 2147483647 136463 50 | 0.000 % |
100.10/100.21 c | 136956 | 54024 933146 2895588 | 2147483647 136956 50 | 0.000 % |
100.50/100.66 c | 137498 | 54024 933146 2895588 | 2147483647 137498 50 | 0.000 % |
100.90/101.09 c | 138095 | 54024 933146 2895588 | 2147483647 138095 50 | 0.000 % |
101.80/101.93 c | 138751 | 54024 933146 2895588 | 2147483647 138751 50 | 0.000 % |
102.31/102.49 c | 139478 | 54024 933146 2895588 | 2147483647 139478 50 | 0.000 % |
102.81/102.97 c | 140272 | 54024 933146 2895588 | 2147483647 140272 50 | 0.000 % |
103.40/103.52 c | 141143 | 54024 933146 2895588 | 2147483647 141143 50 | 0.000 % |
104.00/104.17 c | 142104 | 54024 933146 2895588 | 2147483647 142104 50 | 0.000 % |
104.60/104.78 c | 143159 | 54024 933146 2895588 | 2147483647 143159 50 | 0.000 % |
105.20/105.39 c | 144317 | 54024 933146 2895588 | 2147483647 144317 50 | 0.000 % |
106.00/106.16 c | 145590 | 54024 933146 2895588 | 2147483647 145590 50 | 0.000 % |
107.09/107.25 c | 146990 | 54024 933146 2895588 | 2147483647 146990 51 | 0.000 % |
108.29/108.40 c | 148530 | 54024 933146 2895588 | 2147483647 148530 51 | 0.000 % |
108.39/108.56 c | 148630 | 54024 933146 2895588 | 2147483647 148630 51 | 0.000 % |
108.59/108.78 c | 148740 | 54024 933146 2895588 | 2147483647 148740 51 | 0.000 % |
108.80/108.91 c | 148861 | 54024 933146 2895588 | 2147483647 148861 51 | 0.000 % |
108.89/109.04 c | 148994 | 54024 933146 2895588 | 2147483647 148994 51 | 0.000 % |
109.00/109.15 c | 149140 | 54024 933146 2895588 | 2147483647 149140 51 | 0.000 % |
109.20/109.31 c | 149300 | 54024 933146 2895588 | 2147483647 149300 51 | 0.000 % |
109.30/109.47 c | 149476 | 54024 933146 2895588 | 2147483647 149476 51 | 0.000 % |
109.50/109.62 c | 149669 | 54024 933146 2895588 | 2147483647 149669 51 | 0.000 % |
109.81/109.92 c | 149881 | 54024 933146 2895588 | 2147483647 149881 51 | 0.000 % |
110.10/110.27 c | 150115 | 54024 933146 2895588 | 2147483647 150115 51 | 0.000 % |
110.30/110.48 c | 150372 | 54024 933146 2895588 | 2147483647 150372 51 | 0.000 % |
110.70/110.87 c | 150656 | 54024 933146 2895588 | 2147483647 150656 51 | 0.000 % |
111.00/111.11 c | 150965 | 54024 933146 2895588 | 2147483647 150965 51 | 0.000 % |
111.20/111.30 c | 151304 | 54024 933146 2895588 | 2147483647 151304 51 | 0.000 % |
111.50/111.65 c | 151676 | 54024 933146 2895588 | 2147483647 151676 51 | 0.000 % |
111.80/111.94 c | 152085 | 54024 933146 2895588 | 2147483647 152085 51 | 0.000 % |
112.30/112.41 c | 152534 | 54024 933146 2895588 | 2147483647 152534 51 | 0.000 % |
112.80/112.92 c | 153028 | 54024 933146 2895588 | 2147483647 153028 51 | 0.000 % |
113.40/113.59 c | 153572 | 54024 933146 2895588 | 2147483647 153572 51 | 0.000 % |
113.90/114.01 c | 154169 | 54024 933146 2895588 | 2147483647 154169 51 | 0.000 % |
114.50/114.61 c | 154828 | 54024 933146 2895588 | 2147483647 154828 51 | 0.000 % |
115.20/115.30 c | 155550 | 54024 933146 2895588 | 2147483647 155550 51 | 0.000 % |
115.79/115.93 c | 156342 | 54024 933146 2895588 | 2147483647 156342 51 | 0.000 % |
116.40/116.52 c | 157213 | 54024 933146 2895588 | 2147483647 157213 51 | 0.000 % |
116.89/117.03 c | 158171 | 54024 933146 2895588 | 2147483647 158171 51 | 0.000 % |
117.29/117.47 c | 159225 | 54024 933146 2895588 | 2147483647 159225 51 | 0.000 % |
118.09/118.20 c | 160383 | 54024 933146 2895588 | 2147483647 160383 51 | 0.000 % |
118.89/119.01 c | 161657 | 54024 933146 2895588 | 2147483647 161657 51 | 0.000 % |
119.69/119.85 c | 163057 | 54024 933146 2895588 | 2147483647 163057 51 | 0.000 % |
120.69/120.88 c | 164597 | 54024 933146 2895588 | 2147483647 164597 53 | 0.000 % |
122.19/122.35 c | 166293 | 54024 933146 2895588 | 2147483647 166293 52 | 0.000 % |
122.39/122.52 c | 166393 | 54024 933146 2895588 | 2147483647 166393 52 | 0.000 % |
122.49/122.65 c | 166506 | 54024 933146 2895588 | 2147483647 166506 53 | 0.000 % |
122.69/122.88 c | 166630 | 54024 933146 2895588 | 2147483647 166630 53 | 0.000 % |
122.89/123.07 c | 166766 | 54024 933146 2895588 | 2147483647 166766 53 | 0.000 % |
123.10/123.23 c | 166912 | 54024 933146 2895588 | 2147483647 166912 53 | 0.000 % |
123.29/123.48 c | 167074 | 54024 933146 2895588 | 2147483647 167074 53 | 0.000 % |
123.69/123.80 c | 167251 | 54024 933146 2895588 | 2147483647 167251 53 | 0.000 % |
123.89/124.01 c | 167444 | 54024 933146 2895588 | 2147483647 167444 53 | 0.000 % |
124.10/124.27 c | 167656 | 54024 933146 2895588 | 2147483647 167656 53 | 0.000 % |
124.39/124.57 c | 167889 | 54024 933146 2895588 | 2147483647 167889 53 | 0.000 % |
124.69/124.87 c | 168145 | 54024 933146 2895588 | 2147483647 168145 53 | 0.000 % |
124.89/125.07 c | 168426 | 54024 933146 2895588 | 2147483647 168426 53 | 0.000 % |
125.30/125.45 c | 168739 | 54024 933146 2895588 | 2147483647 168739 53 | 0.000 % |
125.59/125.76 c | 169078 | 54024 933146 2895588 | 2147483647 169078 53 | 0.000 % |
125.79/125.98 c | 169450 | 54024 933146 2895588 | 2147483647 169450 53 | 0.000 % |
126.29/126.48 c | 169859 | 54024 933146 2895588 | 2147483647 169859 53 | 0.000 % |
126.59/126.74 c | 170311 | 54024 933146 2895588 | 2147483647 170311 53 | 0.000 % |
127.39/127.55 c | 170804 | 54024 933146 2895588 | 2147483647 170804 53 | 0.000 % |
127.69/127.86 c | 171347 | 54024 933146 2895588 | 2147483647 171347 53 | 0.000 % |
127.99/128.19 c | 171943 | 54024 933146 2895588 | 2147483647 171943 53 | 0.000 % |
128.39/128.56 c | 172601 | 54024 933146 2895588 | 2147483647 172601 53 | 0.000 % |
128.89/129.01 c | 173323 | 54024 933146 2895588 | 2147483647 173323 53 | 0.000 % |
129.39/129.55 c | 174115 | 54024 933146 2895588 | 2147483647 174115 53 | 0.000 % |
129.89/130.04 c | 174986 | 54024 933146 2895588 | 2147483647 174986 53 | 0.000 % |
130.39/130.53 c | 175944 | 54024 933146 2895588 | 2147483647 175944 53 | 0.000 % |
131.29/131.45 c | 176997 | 54024 933146 2895588 | 2147483647 176997 53 | 0.000 % |
131.79/131.96 c | 178155 | 54024 933146 2895588 | 2147483647 178155 54 | 0.000 % |
132.39/132.54 c | 179429 | 54024 933146 2895588 | 2147483647 179429 54 | 0.000 % |
133.69/133.84 c | 180830 | 54024 933146 2895588 | 2147483647 180830 54 | 0.000 % |
134.78/134.95 c | 182370 | 54024 933146 2895588 | 2147483647 182370 54 | 0.000 % |
136.09/136.29 c | 184065 | 54024 933146 2895588 | 2147483647 184065 54 | 0.000 % |
137.99/138.11 c | 185930 | 54024 933146 2895588 | 2147483647 185930 55 | 0.000 % |
138.09/138.22 c | 186030 | 54024 933146 2895588 | 2147483647 186030 55 | 0.000 % |
138.29/138.46 c | 186140 | 54024 933146 2895588 | 2147483647 186140 55 | 0.000 % |
138.50/138.66 c | 186263 | 54024 933146 2895588 | 2147483647 186263 55 | 0.000 % |
138.69/138.80 c | 186396 | 54024 933146 2895588 | 2147483647 186396 55 | 0.000 % |
138.79/138.91 c | 186543 | 54024 933146 2895588 | 2147483647 186543 55 | 0.000 % |
138.99/139.18 c | 186703 | 54024 933146 2895588 | 2147483647 186703 55 | 0.000 % |
139.19/139.35 c | 186880 | 54024 933146 2895588 | 2147483647 186880 55 | 0.000 % |
139.50/139.60 c | 187075 | 54024 933146 2895588 | 2147483647 187075 55 | 0.000 % |
139.69/139.85 c | 187287 | 54024 933146 2895588 | 2147483647 187287 55 | 0.000 % |
139.99/140.17 c | 187521 | 54024 933146 2895588 | 2147483647 187521 55 | 0.000 % |
140.29/140.41 c | 187777 | 54024 933146 2895588 | 2147483647 187777 55 | 0.000 % |
140.69/140.82 c | 188058 | 54024 933146 2895588 | 2147483647 188058 55 | 0.000 % |
140.99/141.17 c | 188367 | 54024 933146 2895588 | 2147483647 188367 55 | 0.000 % |
141.49/141.65 c | 188708 | 54024 933146 2895588 | 2147483647 188708 55 | 0.000 % |
141.79/141.98 c | 189080 | 54024 933146 2895588 | 2147483647 189080 55 | 0.000 % |
142.19/142.35 c | 189489 | 54024 933146 2895588 | 2147483647 189489 55 | 0.000 % |
142.59/142.75 c | 189938 | 54024 933146 2895588 | 2147483647 189938 55 | 0.000 % |
143.29/143.47 c | 190431 | 54024 933146 2895588 | 2147483647 190431 55 | 0.000 % |
143.89/144.05 c | 190975 | 54024 933146 2895588 | 2147483647 190975 55 | 0.000 % |
144.49/144.64 c | 191573 | 54024 933146 2895588 | 2147483647 191573 55 | 0.000 % |
145.09/145.23 c | 192230 | 54024 933146 2895588 | 2147483647 192230 55 | 0.000 % |
145.79/145.92 c | 192951 | 54024 933146 2895588 | 2147483647 192951 55 | 0.000 % |
146.19/146.39 c | 193744 | 54024 933146 2895588 | 2147483647 193744 55 | 0.000 % |
146.68/146.80 c | 194617 | 54024 933146 2895588 | 2147483647 194617 55 | 0.000 % |
147.48/147.66 c | 195576 | 54024 933146 2895588 | 2147483647 195576 55 | 0.000 % |
148.18/148.39 c | 196629 | 54024 933146 2895588 | 2147483647 196629 55 | 0.000 % |
148.88/149.03 c | 197788 | 54024 933146 2895588 | 2147483647 197788 55 | 0.000 % |
149.48/149.69 c | 199061 | 54024 933146 2895588 | 2147483647 199061 55 | 0.000 % |
150.49/150.69 c | 200462 | 54024 933146 2895588 | 2147483647 200462 56 | 0.000 % |
151.58/151.72 c | 202003 | 54024 933146 2895588 | 2147483647 202003 56 | 0.000 % |
152.58/152.79 c | 203697 | 54024 933146 2895588 | 2147483647 203697 57 | 0.000 % |
153.88/154.04 c | 205560 | 54024 933146 2895588 | 2147483647 205560 57 | 0.000 % |
155.28/155.43 c | 207609 | 54024 933146 2895588 | 2147483647 207609 58 | 0.000 % |
155.48/155.62 c | 207709 | 54024 933146 2895588 | 2147483647 207709 58 | 0.000 % |
155.58/155.74 c | 207821 | 54024 933146 2895588 | 2147483647 207821 58 | 0.000 % |
155.68/155.86 c | 207944 | 54024 933146 2895588 | 2147483647 207944 58 | 0.000 % |
155.78/155.95 c | 208077 | 54024 933146 2895588 | 2147483647 208077 58 | 0.000 % |
155.99/156.16 c | 208225 | 54024 933146 2895588 | 2147483647 208225 58 | 0.000 % |
156.18/156.34 c | 208385 | 54024 933146 2895588 | 2147483647 208385 58 | 0.000 % |
156.38/156.58 c | 208561 | 54024 933146 2895588 | 2147483647 208561 58 | 0.000 % |
156.68/156.87 c | 208755 | 54024 933146 2895588 | 2147483647 208755 58 | 0.000 % |
156.98/157.16 c | 208967 | 54024 933146 2895588 | 2147483647 208967 58 | 0.000 % |
157.28/157.41 c | 209202 | 54024 933146 2895588 | 2147483647 209202 58 | 0.000 % |
157.58/157.75 c | 209458 | 54024 933146 2895588 | 2147483647 209458 58 | 0.000 % |
157.78/157.95 c | 209739 | 54024 933146 2895588 | 2147483647 209739 58 | 0.000 % |
158.18/158.31 c | 210048 | 54024 933146 2895588 | 2147483647 210048 58 | 0.000 % |
158.48/158.61 c | 210388 | 54024 933146 2895588 | 2147483647 210388 59 | 0.000 % |
158.78/158.92 c | 210760 | 54024 933146 2895588 | 2147483647 210760 58 | 0.000 % |
159.38/159.57 c | 211170 | 54024 933146 2895588 | 2147483647 211170 58 | 0.000 % |
159.88/160.07 c | 211619 | 54024 933146 2895588 | 2147483647 211619 58 | 0.000 % |
160.28/160.44 c | 212114 | 54024 933146 2895588 | 2147483647 212114 59 | 0.000 % |
160.68/160.82 c | 212656 | 54024 933146 2895588 | 2147483647 212656 59 | 0.000 % |
160.98/161.20 c | 213252 | 54024 933146 2895588 | 2147483647 213252 59 | 0.000 % |
161.37/161.54 c | 213909 | 54024 933146 2895588 | 2147483647 213909 59 | 0.000 % |
161.97/162.19 c | 214630 | 54024 933146 2895588 | 2147483647 214630 59 | 0.000 % |
162.77/162.97 c | 215422 | 54024 933146 2895588 | 2147483647 215422 59 | 0.000 % |
163.47/163.62 c | 216294 | 54024 933146 2895588 | 2147483647 216294 59 | 0.000 % |
164.27/164.42 c | 217252 | 54024 933146 2895588 | 2147483647 217252 59 | 0.000 % |
164.87/165.04 c | 218306 | 54024 933146 2895588 | 2147483647 218306 59 | 0.000 % |
166.08/166.20 c | 219464 | 54024 933146 2895588 | 2147483647 219464 59 | 0.000 % |
167.17/167.35 c | 220746 | 54024 933146 2895588 | 2147483647 220746 59 | 0.000 % |
168.08/168.23 c | 222147 | 54024 933146 2895588 | 2147483647 222147 60 | 0.000 % |
169.27/169.47 c | 223687 | 54024 933146 2895588 | 2147483647 223687 60 | 0.000 % |
170.57/170.70 c | 225383 | 54024 933146 2895588 | 2147483647 225383 60 | 0.000 % |
171.47/171.65 c | 227246 | 54024 933146 2895588 | 2147483647 227246 60 | 0.000 % |
173.17/173.36 c | 229296 | 54024 933146 2895588 | 2147483647 229296 60 | 0.000 % |
174.47/174.63 c | 231550 | 54024 933146 2895588 | 2147483647 231550 62 | 0.000 % |
174.67/174.82 c | 231651 | 54024 933146 2895588 | 2147483647 231651 62 | 0.000 % |
174.77/174.99 c | 231762 | 54024 933146 2895588 | 2147483647 231762 62 | 0.000 % |
174.97/175.16 c | 231883 | 54024 933146 2895588 | 2147483647 231883 62 | 0.000 % |
175.17/175.30 c | 232017 | 54024 933146 2895588 | 2147483647 232017 62 | 0.000 % |
175.27/175.47 c | 232165 | 54024 933146 2895588 | 2147483647 232165 62 | 0.000 % |
175.47/175.64 c | 232326 | 54024 933146 2895588 | 2147483647 232326 62 | 0.000 % |
175.57/175.80 c | 232504 | 54024 933146 2895588 | 2147483647 232504 62 | 0.000 % |
175.87/176.10 c | 232698 | 54024 933146 2895588 | 2147483647 232698 62 | 0.000 % |
176.17/176.31 c | 232910 | 54024 933146 2895588 | 2147483647 232910 61 | 0.000 % |
176.37/176.56 c | 233143 | 54024 933146 2895588 | 2147483647 233143 61 | 0.000 % |
176.77/176.91 c | 233404 | 54024 933146 2895588 | 2147483647 233404 62 | 0.000 % |
176.97/177.14 c | 233685 | 54024 933146 2895588 | 2147483647 233685 62 | 0.000 % |
177.37/177.50 c | 233995 | 54024 933146 2895588 | 2147483647 233995 62 | 0.000 % |
177.67/177.84 c | 234334 | 54024 933146 2895588 | 2147483647 234334 62 | 0.000 % |
178.07/178.24 c | 234706 | 54024 933146 2895588 | 2147483647 234706 62 | 0.000 % |
178.37/178.52 c | 235115 | 54024 933146 2895588 | 2147483647 235115 62 | 0.000 % |
178.77/178.97 c | 235577 | 54024 933146 2895588 | 2147483647 235577 62 | 0.000 % |
179.17/179.37 c | 236070 | 54024 933146 2895588 | 2147483647 236070 62 | 0.000 % |
179.77/179.99 c | 236612 | 54024 933146 2895588 | 2147483647 236612 62 | 0.000 % |
180.37/180.57 c | 237208 | 54024 933146 2895588 | 2147483647 237208 62 | 0.000 % |
181.07/181.25 c | 237863 | 54024 933146 2895588 | 2147483647 237863 62 | 0.000 % |
181.87/182.08 c | 238583 | 54024 933146 2895588 | 2147483647 238583 62 | 0.000 % |
182.47/182.66 c | 239375 | 54024 933146 2895588 | 2147483647 239375 62 | 0.000 % |
183.36/183.55 c | 240246 | 54024 933146 2895588 | 2147483647 240246 62 | 0.000 % |
184.37/184.50 c | 241204 | 54024 933146 2895588 | 2147483647 241204 62 | 0.000 % |
185.17/185.32 c | 242257 | 54024 933146 2895588 | 2147483647 242257 62 | 0.000 % |
186.07/186.24 c | 243415 | 54024 933146 2895588 | 2147483647 243415 62 | 0.000 % |
187.47/187.61 c | 244689 | 54024 933146 2895588 | 2147483647 244689 62 | 0.000 % |
188.86/189.03 c | 246089 | 54024 933146 2895588 | 2147483647 246089 62 | 0.000 % |
190.46/190.63 c | 247630 | 54024 933146 2895588 | 2147483647 247630 62 | 0.000 % |
191.66/191.86 c | 249324 | 54024 933146 2895588 | 2147483647 249324 63 | 0.000 % |
193.36/193.52 c | 251190 | 54024 933146 2895588 | 2147483647 251190 63 | 0.000 % |
195.07/195.27 c | 253240 | 54024 933146 2895588 | 2147483647 253240 63 | 0.000 % |
196.67/196.81 c | 255493 | 54024 933146 2895588 | 2147483647 255493 63 | 0.000 % |
198.56/198.73 c | 257971 | 54024 933146 2895588 | 2147483647 257971 63 | 0.000 % |
198.66/198.85 c | 258071 | 54024 933146 2895588 | 2147483647 258071 63 | 0.000 % |
198.86/199.05 c | 258181 | 54024 933146 2895588 | 2147483647 258181 63 | 0.000 % |
199.06/199.25 c | 258302 | 54024 933146 2895588 | 2147483647 258302 63 | 0.000 % |
199.26/199.48 c | 258435 | 54024 933146 2895588 | 2147483647 258435 63 | 0.000 % |
199.56/199.70 c | 258582 | 54024 933146 2895588 | 2147483647 258582 63 | 0.000 % |
199.66/199.89 c | 258743 | 54024 933146 2895588 | 2147483647 258743 63 | 0.000 % |
199.96/200.16 c | 258919 | 54024 933146 2895588 | 2147483647 258919 63 | 0.000 % |
200.26/200.40 c | 259113 | 54024 933146 2895588 | 2147483647 259113 63 | 0.000 % |
200.46/200.67 c | 259325 | 54024 933146 2895588 | 2147483647 259325 63 | 0.000 % |
200.85/201.02 c | 259559 | 54024 933146 2895588 | 2147483647 259559 63 | 0.000 % |
201.16/201.35 c | 259815 | 54024 933146 2895588 | 2147483647 259815 63 | 0.000 % |
201.45/201.65 c | 260096 | 54024 933146 2895588 | 2147483647 260096 63 | 0.000 % |
201.85/202.07 c | 260405 | 54024 933146 2895588 | 2147483647 260405 63 | 0.000 % |
202.26/202.43 c | 260745 | 54024 933146 2895588 | 2147483647 260745 63 | 0.000 % |
202.65/202.83 c | 261119 | 54024 933146 2895588 | 2147483647 261119 63 | 0.000 % |
202.85/203.08 c | 261530 | 54024 933146 2895588 | 2147483647 261530 63 | 0.000 % |
203.25/203.44 c | 261981 | 54024 933146 2895588 | 2147483647 261981 63 | 0.000 % |
203.75/203.94 c | 262478 | 54024 933146 2895588 | 2147483647 262478 63 | 0.000 % |
204.25/204.45 c | 263023 | 54024 933146 2895588 | 2147483647 263023 63 | 0.000 % |
205.05/205.20 c | 263619 | 54024 933146 2895588 | 2147483647 263619 63 | 0.000 % |
205.66/205.84 c | 264276 | 54024 933146 2895588 | 2147483647 264276 63 | 0.000 % |
206.45/206.64 c | 264996 | 54024 933146 2895588 | 2147483647 264996 63 | 0.000 % |
207.66/207.85 c | 265789 | 54024 933146 2895588 | 2147483647 265789 63 | 0.000 % |
208.35/208.53 c | 266660 | 54024 933146 2895588 | 2147483647 266660 63 | 0.000 % |
209.45/209.67 c | 267619 | 54024 933146 2895588 | 2147483647 267619 63 | 0.000 % |
210.25/210.43 c | 268673 | 54024 933146 2895588 | 2147483647 268673 63 | 0.000 % |
211.45/211.63 c | 269833 | 54024 933146 2895588 | 2147483647 269833 63 | 0.000 % |
212.45/212.60 c | 271107 | 54024 933146 2895588 | 2147483647 271107 63 | 0.000 % |
213.65/213.82 c | 272508 | 54024 933146 2895588 | 2147483647 272508 63 | 0.000 % |
214.75/214.95 c | 274048 | 54024 933146 2895588 | 2147483647 274048 63 | 0.000 % |
215.95/216.15 c | 275743 | 54024 933146 2895588 | 2147483647 275743 64 | 0.000 % |
217.65/217.82 c | 277606 | 54024 933146 2895588 | 2147483647 277606 64 | 0.000 % |
219.55/219.72 c | 279656 | 54024 933146 2895588 | 2147483647 279656 64 | 0.000 % |
221.15/221.38 c | 281910 | 54024 933146 2895588 | 2147483647 281910 64 | 0.000 % |
223.65/223.85 c | 284389 | 54024 933146 2895588 | 2147483647 284389 64 | 0.000 % |
225.54/225.73 c | 287114 | 54024 933146 2895588 | 2147483647 287114 65 | 0.000 % |
225.64/225.84 c | 287214 | 54024 933146 2895588 | 2147483647 287214 65 | 0.000 % |
225.74/225.97 c | 287324 | 54024 933146 2895588 | 2147483647 287324 65 | 0.000 % |
225.94/226.15 c | 287445 | 54024 933146 2895588 | 2147483647 287445 65 | 0.000 % |
226.14/226.30 c | 287579 | 54024 933146 2895588 | 2147483647 287579 65 | 0.000 % |
226.35/226.54 c | 287725 | 54024 933146 2895588 | 2147483647 287725 65 | 0.000 % |
226.74/226.93 c | 287886 | 54024 933146 2895588 | 2147483647 287886 65 | 0.000 % |
226.94/227.16 c | 288062 | 54024 933146 2895588 | 2147483647 288062 65 | 0.000 % |
227.34/227.51 c | 288255 | 54024 933146 2895588 | 2147483647 288255 65 | 0.000 % |
227.55/227.79 c | 288468 | 54024 933146 2895588 | 2147483647 288468 65 | 0.000 % |
227.94/228.18 c | 288701 | 54024 933146 2895588 | 2147483647 288701 65 | 0.000 % |
228.35/228.58 c | 288958 | 54024 933146 2895588 | 2147483647 288958 65 | 0.000 % |
228.65/228.86 c | 289243 | 54024 933146 2895588 | 2147483647 289243 65 | 0.000 % |
229.05/229.24 c | 289553 | 54024 933146 2895588 | 2147483647 289553 65 | 0.000 % |
229.35/229.57 c | 289892 | 54024 933146 2895588 | 2147483647 289892 65 | 0.000 % |
229.75/229.99 c | 290264 | 54024 933146 2895588 | 2147483647 290264 65 | 0.000 % |
230.25/230.46 c | 290675 | 54024 933146 2895588 | 2147483647 290675 65 | 0.000 % |
230.85/231.08 c | 291126 | 54024 933146 2895588 | 2147483647 291126 65 | 0.000 % |
231.65/231.85 c | 291619 | 54024 933146 2895588 | 2147483647 291619 65 | 0.000 % |
231.95/232.18 c | 292161 | 54024 933146 2895588 | 2147483647 292161 65 | 0.000 % |
232.54/232.74 c | 292758 | 54024 933146 2895588 | 2147483647 292758 65 | 0.000 % |
233.04/233.22 c | 293413 | 54024 933146 2895588 | 2147483647 293413 65 | 0.000 % |
233.74/233.98 c | 294133 | 54024 933146 2895588 | 2147483647 294133 65 | 0.000 % |
234.54/234.73 c | 294926 | 54024 933146 2895588 | 2147483647 294926 65 | 0.000 % |
235.24/235.46 c | 295798 | 54024 933146 2895588 | 2147483647 295798 65 | 0.000 % |
235.94/236.12 c | 296757 | 54024 933146 2895588 | 2147483647 296757 65 | 0.000 % |
236.84/237.06 c | 297810 | 54024 933146 2895588 | 2147483647 297810 65 | 0.000 % |
237.85/238.06 c | 298969 | 54024 933146 2895588 | 2147483647 298969 65 | 0.000 % |
239.04/239.22 c | 300242 | 54024 933146 2895588 | 2147483647 300242 65 | 0.000 % |
240.34/240.52 c | 301642 | 54024 933146 2895588 | 2147483647 301642 65 | 0.000 % |
241.34/241.58 c | 303182 | 54024 933146 2895588 | 2147483647 303182 65 | 0.000 % |
242.74/242.92 c | 304876 | 54024 933146 2895588 | 2147483647 304876 65 | 0.000 % |
244.54/244.73 c | 306739 | 54024 933146 2895588 | 2147483647 306739 65 | 0.000 % |
246.54/246.72 c | 308789 | 54024 933146 2895588 | 2147483647 308789 65 | 0.000 % |
247.94/248.15 c | 311042 | 54024 933146 2895588 | 2147483647 311042 65 | 0.000 % |
249.84/250.04 c | 313522 | 54024 933146 2895588 | 2147483647 313522 66 | 0.000 % |
252.74/252.99 c | 316247 | 54024 933146 2895588 | 2147483647 316247 66 | 0.000 % |
256.14/256.39 c | 319244 | 54024 933146 2895588 | 2147483647 319244 66 | 0.000 % |
256.34/256.54 c | 319344 | 54024 933146 2895588 | 2147483647 319344 66 | 0.000 % |
256.54/256.78 c | 319454 | 54024 933146 2895588 | 2147483647 319454 66 | 0.000 % |
256.64/256.88 c | 319579 | 54024 933146 2895588 | 2147483647 319579 66 | 0.000 % |
257.04/257.25 c | 319712 | 54024 933146 2895588 | 2147483647 319712 66 | 0.000 % |
257.34/257.52 c | 319859 | 54024 933146 2895588 | 2147483647 319859 66 | 0.000 % |
257.74/257.92 c | 320019 | 54024 933146 2895588 | 2147483647 320019 66 | 0.000 % |
258.03/258.25 c | 320195 | 54024 933146 2895588 | 2147483647 320195 66 | 0.000 % |
258.34/258.59 c | 320389 | 54024 933146 2895588 | 2147483647 320389 66 | 0.000 % |
258.73/258.94 c | 320603 | 54024 933146 2895588 | 2147483647 320603 66 | 0.000 % |
259.03/259.25 c | 320837 | 54024 933146 2895588 | 2147483647 320837 66 | 0.000 % |
259.34/259.58 c | 321093 | 54024 933146 2895588 | 2147483647 321093 66 | 0.000 % |
259.83/260.03 c | 321374 | 54024 933146 2895588 | 2147483647 321374 66 | 0.000 % |
260.23/260.44 c | 321683 | 54024 933146 2895588 | 2147483647 321683 66 | 0.000 % |
260.73/260.95 c | 322022 | 54024 933146 2895588 | 2147483647 322022 66 | 0.000 % |
261.13/261.37 c | 322396 | 54024 933146 2895588 | 2147483647 322396 66 | 0.000 % |
261.64/261.85 c | 322806 | 54024 933146 2895588 | 2147483647 322806 66 | 0.000 % |
262.13/262.35 c | 323255 | 54024 933146 2895588 | 2147483647 323255 66 | 0.000 % |
262.93/263.14 c | 323748 | 54024 933146 2895588 | 2147483647 323748 66 | 0.000 % |
263.43/263.67 c | 324290 | 54024 933146 2895588 | 2147483647 324290 66 | 0.000 % |
264.13/264.38 c | 324887 | 54024 933146 2895588 | 2147483647 324887 66 | 0.000 % |
264.73/264.98 c | 325543 | 54024 933146 2895588 | 2147483647 325543 66 | 0.000 % |
265.54/265.71 c | 326263 | 54024 933146 2895588 | 2147483647 326263 66 | 0.000 % |
266.43/266.68 c | 327055 | 54024 933146 2895588 | 2147483647 327055 66 | 0.000 % |
267.53/267.72 c | 327927 | 54024 933146 2895588 | 2147483647 327927 66 | 0.000 % |
268.53/268.77 c | 328885 | 54024 933146 2895588 | 2147483647 328885 66 | 0.000 % |
269.43/269.64 c | 329938 | 54024 933146 2895588 | 2147483647 329938 66 | 0.000 % |
270.43/270.64 c | 331096 | 54024 933146 2895588 | 2147483647 331096 66 | 0.000 % |
271.93/272.10 c | 332369 | 54024 933146 2895588 | 2147483647 332369 66 | 0.000 % |
273.63/273.86 c | 333770 | 54024 933146 2895588 | 2147483647 333770 66 | 0.000 % |
275.32/275.51 c | 335310 | 54024 933146 2895588 | 2147483647 335310 67 | 0.000 % |
276.73/276.97 c | 337004 | 54024 933146 2895588 | 2147483647 337004 67 | 0.000 % |
278.23/278.40 c | 338867 | 54024 933146 2895588 | 2147483647 338867 67 | 0.000 % |
280.02/280.28 c | 340917 | 54024 933146 2895588 | 2147483647 340917 67 | 0.000 % |
281.02/281.24 c | 343170 | 54024 933146 2895588 | 2147483647 343170 67 | 0.000 % |
283.13/283.35 c | 345649 | 54024 933146 2895588 | 2147483647 345649 67 | 0.000 % |
285.73/285.91 c | 348374 | 54024 933146 2895588 | 2147483647 348374 67 | 0.000 % |
288.03/288.29 c | 351371 | 54024 933146 2895588 | 2147483647 351371 67 | 0.000 % |
290.43/290.63 c | 354667 | 54024 933146 2895588 | 2147483647 354667 67 | 0.000 % |
290.53/290.77 c | 354767 | 54024 933146 2895588 | 2147483647 354767 67 | 0.000 % |
290.73/290.92 c | 354878 | 54024 933146 2895588 | 2147483647 354878 67 | 0.000 % |
290.82/291.08 c | 354999 | 54024 933146 2895588 | 2147483647 354999 67 | 0.000 % |
291.02/291.21 c | 355132 | 54024 933146 2895588 | 2147483647 355132 67 | 0.000 % |
291.12/291.36 c | 355278 | 54024 933146 2895588 | 2147483647 355278 67 | 0.000 % |
291.42/291.65 c | 355438 | 54024 933146 2895588 | 2147483647 355438 67 | 0.000 % |
291.62/291.80 c | 355616 | 54024 933146 2895588 | 2147483647 355616 67 | 0.000 % |
291.82/292.03 c | 355810 | 54024 933146 2895588 | 2147483647 355810 67 | 0.000 % |
292.02/292.24 c | 356022 | 54024 933146 2895588 | 2147483647 356022 67 | 0.000 % |
292.33/292.55 c | 356255 | 54024 933146 2895588 | 2147483647 356255 67 | 0.000 % |
292.62/292.87 c | 356511 | 54024 933146 2895588 | 2147483647 356511 67 | 0.000 % |
293.32/293.52 c | 356792 | 54024 933146 2895588 | 2147483647 356792 67 | 0.000 % |
293.62/293.81 c | 357102 | 54024 933146 2895588 | 2147483647 357102 67 | 0.000 % |
294.02/294.29 c | 357443 | 54024 933146 2895588 | 2147483647 357443 67 | 0.000 % |
294.52/294.75 c | 357815 | 54024 933146 2895588 | 2147483647 357815 67 | 0.000 % |
295.02/295.22 c | 358226 | 54024 933146 2895588 | 2147483647 358226 67 | 0.000 % |
295.42/295.65 c | 358676 | 54024 933146 2895588 | 2147483647 358676 67 | 0.000 % |
295.82/296.01 c | 359170 | 54024 933146 2895588 | 2147483647 359170 67 | 0.000 % |
296.62/296.82 c | 359712 | 54024 933146 2895588 | 2147483647 359712 67 | 0.000 % |
297.32/297.50 c | 360309 | 54024 933146 2895588 | 2147483647 360309 67 | 0.000 % |
297.82/298.07 c | 360964 | 54024 933146 2895588 | 2147483647 360964 67 | 0.000 % |
298.62/298.86 c | 361688 | 54024 933146 2895588 | 2147483647 361688 67 | 0.000 % |
299.52/299.74 c | 362480 | 54024 933146 2895588 | 2147483647 362480 67 | 0.000 % |
300.22/300.40 c | 363352 | 54024 933146 2895588 | 2147483647 363352 67 | 0.000 % |
301.12/301.32 c | 364311 | 54024 933146 2895588 | 2147483647 364311 67 | 0.000 % |
302.12/302.39 c | 365364 | 54024 933146 2895588 | 2147483647 365364 68 | 0.000 % |
303.02/303.24 c | 366522 | 54024 933146 2895588 | 2147483647 366522 68 | 0.000 % |
304.52/304.77 c | 367795 | 54024 933146 2895588 | 2147483647 367795 68 | 0.000 % |
305.82/306.00 c | 369196 | 54024 933146 2895588 | 2147483647 369196 68 | 0.000 % |
307.21/307.45 c | 370737 | 54024 933146 2895588 | 2147483647 370737 68 | 0.000 % |
308.82/309.03 c | 372431 | 54024 933146 2895588 | 2147483647 372431 67 | 0.000 % |
310.51/310.73 c | 374294 | 54024 933146 2895588 | 2147483647 374294 67 | 0.000 % |
312.41/312.68 c | 376345 | 54024 933146 2895588 | 2147483647 376345 67 | 0.000 % |
314.52/314.78 c | 378598 | 54024 933146 2895588 | 2147483647 378598 67 | 0.000 % |
317.12/317.35 c | 381076 | 54024 933146 2895588 | 2147483647 381076 67 | 0.000 % |
319.71/319.95 c | 383802 | 54024 933146 2895588 | 2147483647 383802 68 | 0.000 % |
321.21/321.47 c | 386799 | 54024 933146 2895588 | 2147483647 386799 68 | 0.000 % |
322.81/323.09 c | 390096 | 54024 933146 2895588 | 2147483647 390096 68 | 0.000 % |
326.41/326.66 c | 393721 | 54024 933146 2895588 | 2147483647 393721 70 | 0.000 % |
326.71/326.90 c | 393821 | 54024 933146 2895588 | 2147483647 393821 70 | 0.000 % |
326.91/327.19 c | 393931 | 54024 933146 2895588 | 2147483647 393931 70 | 0.000 % |
327.21/327.43 c | 394052 | 54024 933146 2895588 | 2147483647 394052 70 | 0.000 % |
327.41/327.67 c | 394187 | 54024 933146 2895588 | 2147483647 394187 70 | 0.000 % |
327.91/328.10 c | 394334 | 54024 933146 2895588 | 2147483647 394334 70 | 0.000 % |
328.21/328.45 c | 394494 | 54024 933146 2895588 | 2147483647 394494 70 | 0.000 % |
328.71/328.98 c | 394670 | 54024 933146 2895588 | 2147483647 394670 70 | 0.000 % |
329.01/329.22 c | 394865 | 54024 933146 2895588 | 2147483647 394865 70 | 0.000 % |
329.21/329.49 c | 395077 | 54024 933146 2895588 | 2147483647 395077 70 | 0.000 % |
329.81/330.02 c | 395310 | 54024 933146 2895588 | 2147483647 395310 70 | 0.000 % |
330.31/330.53 c | 395566 | 54024 933146 2895588 | 2147483647 395566 70 | 0.000 % |
330.71/330.98 c | 395847 | 54024 933146 2895588 | 2147483647 395847 70 | 0.000 % |
331.31/331.54 c | 396156 | 54024 933146 2895588 | 2147483647 396156 70 | 0.000 % |
331.81/332.05 c | 396495 | 54024 933146 2895588 | 2147483647 396495 70 | 0.000 % |
332.41/332.68 c | 396867 | 54024 933146 2895588 | 2147483647 396867 70 | 0.000 % |
332.90/333.18 c | 397276 | 54024 933146 2895588 | 2147483647 397276 70 | 0.000 % |
333.30/333.58 c | 397726 | 54024 933146 2895588 | 2147483647 397726 70 | 0.000 % |
334.30/334.54 c | 398219 | 54024 933146 2895588 | 2147483647 398219 70 | 0.000 % |
334.80/335.02 c | 398762 | 54024 933146 2895588 | 2147483647 398762 70 | 0.000 % |
335.40/335.66 c | 399358 | 54024 933146 2895588 | 2147483647 399358 70 | 0.000 % |
336.10/336.32 c | 400013 | 54024 933146 2895588 | 2147483647 400013 70 | 0.000 % |
337.10/337.31 c | 400734 | 54024 933146 2895588 | 2147483647 400734 70 | 0.000 % |
337.91/338.14 c | 401527 | 54024 933146 2895588 | 2147483647 401527 70 | 0.000 % |
338.81/339.01 c | 402398 | 54024 933146 2895588 | 2147483647 402398 70 | 0.000 % |
340.20/340.43 c | 403357 | 54024 933146 2895588 | 2147483647 403357 70 | 0.000 % |
341.00/341.24 c | 404410 | 54024 933146 2895588 | 2147483647 404410 70 | 0.000 % |
341.91/342.19 c | 405570 | 54024 933146 2895588 | 2147483647 405570 70 | 0.000 % |
343.20/343.44 c | 406844 | 54024 933146 2895588 | 2147483647 406844 70 | 0.000 % |
344.40/344.69 c | 408244 | 54024 933146 2895588 | 2147483647 408244 70 | 0.000 % |
345.80/346.03 c | 409785 | 54024 933146 2895588 | 2147483647 409785 70 | 0.000 % |
346.90/347.17 c | 411481 | 54024 933146 2895588 | 2147483647 411481 70 | 0.000 % |
348.51/348.77 c | 413344 | 54024 933146 2895588 | 2147483647 413344 70 | 0.000 % |
350.50/350.74 c | 415394 | 54024 933146 2895588 | 2147483647 415394 70 | 0.000 % |
352.20/352.43 c | 417647 | 54024 933146 2895588 | 2147483647 417647 70 | 0.000 % |
354.70/354.90 c | 420127 | 54024 933146 2895588 | 2147483647 420127 70 | 0.000 % |
356.60/356.90 c | 422852 | 54024 933146 2895588 | 2147483647 422852 70 | 0.000 % |
359.50/359.77 c | 425849 | 54024 933146 2895588 | 2147483647 425849 69 | 0.000 % |
363.40/363.62 c | 429145 | 54024 933146 2895588 | 2147483647 429145 70 | 0.000 % |
366.49/366.78 c | 432770 | 54024 933146 2895588 | 2147483647 432770 70 | 0.000 % |
370.49/370.71 c | 436758 | 54024 933146 2895588 | 2147483647 436758 70 | 0.000 % |
370.59/370.86 c | 436859 | 54024 933146 2895588 | 2147483647 436859 70 | 0.000 % |
370.79/371.00 c | 436971 | 54024 933146 2895588 | 2147483647 436971 70 | 0.000 % |
370.89/371.14 c | 437092 | 54024 933146 2895588 | 2147483647 437092 70 | 0.000 % |
371.39/371.61 c | 437225 | 54024 933146 2895588 | 2147483647 437225 70 | 0.000 % |
371.49/371.80 c | 437372 | 54024 933146 2895588 | 2147483647 437372 70 | 0.000 % |
371.69/371.94 c | 437532 | 54024 933146 2895588 | 2147483647 437532 70 | 0.000 % |
372.19/372.42 c | 437708 | 54024 933146 2895588 | 2147483647 437708 70 | 0.000 % |
372.59/372.84 c | 437901 | 54024 933146 2895588 | 2147483647 437901 70 | 0.000 % |
372.78/373.08 c | 438114 | 54024 933146 2895588 | 2147483647 438114 70 | 0.000 % |
373.08/373.30 c | 438348 | 54024 933146 2895588 | 2147483647 438348 70 | 0.000 % |
373.38/373.62 c | 438604 | 54024 933146 2895588 | 2147483647 438604 70 | 0.000 % |
373.58/373.87 c | 438885 | 54024 933146 2895588 | 2147483647 438885 70 | 0.000 % |
374.08/374.30 c | 439195 | 54024 933146 2895588 | 2147483647 439195 70 | 0.000 % |
374.49/374.74 c | 439534 | 54024 933146 2895588 | 2147483647 439534 70 | 0.000 % |
374.99/375.22 c | 439906 | 54024 933146 2895588 | 2147483647 439906 70 | 0.000 % |
375.69/375.95 c | 440315 | 54024 933146 2895588 | 2147483647 440315 70 | 0.000 % |
376.29/376.53 c | 440765 | 54024 933146 2895588 | 2147483647 440765 70 | 0.000 % |
376.79/377.02 c | 441259 | 54024 933146 2895588 | 2147483647 441259 70 | 0.000 % |
377.39/377.60 c | 441802 | 54024 933146 2895588 | 2147483647 441802 70 | 0.000 % |
378.09/378.36 c | 442400 | 54024 933146 2895588 | 2147483647 442400 70 | 0.000 % |
378.49/378.79 c | 443055 | 54024 933146 2895588 | 2147483647 443055 70 | 0.000 % |
379.68/379.91 c | 443776 | 54024 933146 2895588 | 2147483647 443776 70 | 0.000 % |
380.88/381.14 c | 444569 | 54024 933146 2895588 | 2147483647 444569 70 | 0.000 % |
382.08/382.32 c | 445440 | 54024 933146 2895588 | 2147483647 445440 70 | 0.000 % |
383.48/383.71 c | 446400 | 54024 933146 2895588 | 2147483647 446400 70 | 0.000 % |
384.59/384.81 c | 447453 | 54024 933146 2895588 | 2147483647 447453 70 | 0.000 % |
386.09/386.35 c | 448613 | 54024 933146 2895588 | 2147483647 448613 70 | 0.000 % |
387.79/388.07 c | 449888 | 54024 933146 2895588 | 2147483647 449888 70 | 0.000 % |
389.28/389.60 c | 451288 | 54024 933146 2895588 | 2147483647 451288 70 | 0.000 % |
391.29/391.53 c | 452828 | 54024 933146 2895588 | 2147483647 452828 70 | 0.000 % |
393.28/393.58 c | 454522 | 54024 933146 2895588 | 2147483647 454522 70 | 0.000 % |
395.88/396.12 c | 456385 | 54024 933146 2895588 | 2147483647 456385 70 | 0.000 % |
399.48/399.71 c | 458437 | 54024 933146 2895588 | 2147483647 458437 70 | 0.000 % |
401.98/402.28 c | 460690 | 54024 933146 2895588 | 2147483647 460690 71 | 0.000 % |
404.48/404.79 c | 463171 | 54024 933146 2895588 | 2147483647 463171 71 | 0.000 % |
406.98/407.26 c | 465898 | 54024 933146 2895588 | 2147483647 465898 71 | 0.000 % |
409.77/410.03 c | 468897 | 54024 933146 2895588 | 2147483647 468897 71 | 0.000 % |
413.77/414.09 c | 472195 | 54024 933146 2895588 | 2147483647 472195 71 | 0.000 % |
417.78/418.07 c | 475821 | 54024 933146 2895588 | 2147483647 475821 71 | 0.000 % |
421.97/422.21 c | 479810 | 54024 933146 2895588 | 2147483647 479810 71 | 0.000 % |
426.28/426.50 c | 484196 | 54024 933146 2895588 | 2147483647 484196 71 | 0.000 % |
426.38/426.63 c | 484297 | 54024 933146 2895588 | 2147483647 484297 71 | 0.000 % |
426.58/426.80 c | 484407 | 54024 933146 2895588 | 2147483647 484407 71 | 0.000 % |
426.78/427.00 c | 484528 | 54024 933146 2895588 | 2147483647 484528 71 | 0.000 % |
426.97/427.29 c | 484662 | 54024 933146 2895588 | 2147483647 484662 71 | 0.000 % |
427.37/427.62 c | 484808 | 54024 933146 2895588 | 2147483647 484808 71 | 0.000 % |
427.58/427.88 c | 484968 | 54024 933146 2895588 | 2147483647 484968 71 | 0.000 % |
427.87/428.12 c | 485144 | 54024 933146 2895588 | 2147483647 485144 71 | 0.000 % |
428.07/428.32 c | 485338 | 54024 933146 2895588 | 2147483647 485338 71 | 0.000 % |
428.37/428.62 c | 485550 | 54024 933146 2895588 | 2147483647 485550 71 | 0.000 % |
428.77/429.07 c | 485783 | 54024 933146 2895588 | 2147483647 485783 71 | 0.000 % |
429.07/429.34 c | 486039 | 54024 933146 2895588 | 2147483647 486039 71 | 0.000 % |
429.47/429.73 c | 486320 | 54024 933146 2895588 | 2147483647 486320 71 | 0.000 % |
429.87/430.17 c | 486629 | 54024 933146 2895588 | 2147483647 486629 71 | 0.000 % |
430.27/430.53 c | 486968 | 54024 933146 2895588 | 2147483647 486968 71 | 0.000 % |
430.77/431.01 c | 487341 | 54024 933146 2895588 | 2147483647 487341 71 | 0.000 % |
431.47/431.73 c | 487751 | 54024 933146 2895588 | 2147483647 487751 71 | 0.000 % |
432.27/432.55 c | 488200 | 54024 933146 2895588 | 2147483647 488200 71 | 0.000 % |
432.87/433.11 c | 488693 | 54024 933146 2895588 | 2147483647 488693 71 | 0.000 % |
433.77/434.07 c | 489235 | 54024 933146 2895588 | 2147483647 489235 71 | 0.000 % |
434.88/435.11 c | 489831 | 54024 933146 2895588 | 2147483647 489831 71 | 0.000 % |
435.77/436.04 c | 490486 | 54024 933146 2895588 | 2147483647 490486 71 | 0.000 % |
436.77/437.05 c | 491206 | 54024 933146 2895588 | 2147483647 491206 71 | 0.000 % |
437.87/438.11 c | 492000 | 54024 933146 2895588 | 2147483647 492000 71 | 0.000 % |
439.07/439.34 c | 492872 | 54024 933146 2895588 | 2147483647 492872 71 | 0.000 % |
439.97/440.21 c | 493831 | 54024 933146 2895588 | 2147483647 493831 71 | 0.000 % |
440.87/441.10 c | 494884 | 54024 933146 2895588 | 2147483647 494884 71 | 0.000 % |
442.46/442.76 c | 496042 | 54024 933146 2895588 | 2147483647 496042 71 | 0.000 % |
444.07/444.38 c | 497316 | 54024 933146 2895588 | 2147483647 497316 71 | 0.000 % |
445.76/446.00 c | 498716 | 54024 933146 2895588 | 2147483647 498716 71 | 0.000 % |
447.36/447.64 c | 500257 | 54024 933146 2895588 | 2147483647 500257 71 | 0.000 % |
449.67/449.93 c | 501952 | 54024 933146 2895588 | 2147483647 501952 71 | 0.000 % |
451.97/452.26 c | 503815 | 54024 933146 2895588 | 2147483647 503815 71 | 0.000 % |
454.36/454.68 c | 505866 | 54024 933146 2895588 | 2147483647 505866 71 | 0.000 % |
456.56/456.89 c | 508120 | 54024 933146 2895588 | 2147483647 508120 71 | 0.000 % |
459.26/459.51 c | 510598 | 54024 933146 2895588 | 2147483647 510598 71 | 0.000 % |
462.46/462.76 c | 513323 | 54024 933146 2895588 | 2147483647 513323 71 | 0.000 % |
465.57/465.82 c | 516320 | 54024 933146 2895588 | 2147483647 516320 71 | 0.000 % |
468.76/469.04 c | 519619 | 54024 933146 2895588 | 2147483647 519619 71 | 0.000 % |
471.56/471.84 c | 523244 | 54024 933146 2895588 | 2147483647 523244 71 | 0.000 % |
475.86/476.19 c | 527232 | 54024 933146 2895588 | 2147483647 527232 71 | 0.000 % |
479.46/479.78 c | 531618 | 54024 933146 2895588 | 2147483647 531618 71 | 0.000 % |
484.15/484.41 c | 536441 | 54024 933146 2895588 | 2147483647 536441 71 | 0.000 % |
484.25/484.52 c | 536542 | 54024 933146 2895588 | 2147483647 536542 71 | 0.000 % |
484.65/484.90 c | 536652 | 54024 933146 2895588 | 2147483647 536652 71 | 0.000 % |
485.15/485.41 c | 536773 | 54024 933146 2895588 | 2147483647 536773 71 | 0.000 % |
485.55/485.83 c | 536907 | 54024 933146 2895588 | 2147483647 536907 71 | 0.000 % |
485.86/486.18 c | 537054 | 54024 933146 2895588 | 2147483647 537054 71 | 0.000 % |
486.25/486.56 c | 537214 | 54024 933146 2895588 | 2147483647 537214 71 | 0.000 % |
486.65/486.92 c | 537392 | 54024 933146 2895588 | 2147483647 537392 71 | 0.000 % |
487.06/487.35 c | 537586 | 54024 933146 2895588 | 2147483647 537586 71 | 0.000 % |
487.45/487.79 c | 537799 | 54024 933146 2895588 | 2147483647 537799 71 | 0.000 % |
487.95/488.28 c | 538032 | 54024 933146 2895588 | 2147483647 538032 71 | 0.000 % |
488.65/488.97 c | 538288 | 54024 933146 2895588 | 2147483647 538288 71 | 0.000 % |
489.35/489.67 c | 538569 | 54024 933146 2895588 | 2147483647 538569 71 | 0.000 % |
489.75/490.07 c | 538878 | 54024 933146 2895588 | 2147483647 538878 71 | 0.000 % |
490.35/490.68 c | 539218 | 54024 933146 2895588 | 2147483647 539218 71 | 0.000 % |
491.35/491.65 c | 539590 | 54024 933146 2895588 | 2147483647 539590 71 | 0.000 % |
492.15/492.46 c | 539999 | 54024 933146 2895588 | 2147483647 539999 71 | 0.000 % |
492.75/493.07 c | 540449 | 54024 933146 2895588 | 2147483647 540449 71 | 0.000 % |
493.55/493.85 c | 540943 | 54024 933146 2895588 | 2147483647 540943 71 | 0.000 % |
494.45/494.78 c | 541485 | 54024 933146 2895588 | 2147483647 541485 71 | 0.000 % |
495.35/495.66 c | 542081 | 54024 933146 2895588 | 2147483647 542081 71 | 0.000 % |
496.15/496.44 c | 542737 | 54024 933146 2895588 | 2147483647 542737 71 | 0.000 % |
497.45/497.76 c | 543457 | 54024 933146 2895588 | 2147483647 543457 71 | 0.000 % |
499.25/499.59 c | 544250 | 54024 933146 2895588 | 2147483647 544250 71 | 0.000 % |
500.75/501.03 c | 545123 | 54024 933146 2895588 | 2147483647 545123 71 | 0.000 % |
501.95/502.20 c | 546081 | 54024 933146 2895588 | 2147483647 546081 71 | 0.000 % |
503.05/503.34 c | 547134 | 54024 933146 2895588 | 2147483647 547134 71 | 0.000 % |
504.55/504.84 c | 548292 | 54024 933146 2895588 | 2147483647 548292 71 | 0.000 % |
506.54/506.81 c | 549566 | 54024 933146 2895588 | 2147483647 549566 71 | 0.000 % |
508.44/508.78 c | 550966 | 54024 933146 2895588 | 2147483647 550966 71 | 0.000 % |
510.35/510.67 c | 552506 | 54024 933146 2895588 | 2147483647 552506 71 | 0.000 % |
512.54/512.87 c | 554201 | 54024 933146 2895588 | 2147483647 554201 71 | 0.000 % |
514.94/515.20 c | 556064 | 54024 933146 2895588 | 2147483647 556064 71 | 0.000 % |
517.54/517.87 c | 558113 | 54024 933146 2895588 | 2147483647 558113 71 | 0.000 % |
520.14/520.48 c | 560367 | 54024 933146 2895588 | 2147483647 560367 71 | 0.000 % |
523.25/523.52 c | 562846 | 54024 933146 2895588 | 2147483647 562846 71 | 0.000 % |
526.74/527.04 c | 565572 | 54024 933146 2895588 | 2147483647 565572 71 | 0.000 % |
530.84/531.17 c | 568569 | 54024 933146 2895588 | 2147483647 568569 72 | 0.000 % |
535.44/535.74 c | 571865 | 54024 933146 2895588 | 2147483647 571865 73 | 0.000 % |
540.13/540.42 c | 575490 | 54024 933146 2895588 | 2147483647 575490 73 | 0.000 % |
545.34/545.60 c | 579477 | 54024 933146 2895588 | 2147483647 579477 72 | 0.000 % |
550.84/551.12 c | 583862 | 54024 933146 2895588 | 2147483647 583862 73 | 0.000 % |
557.44/557.71 c | 588686 | 54024 933146 2895588 | 2147483647 588686 72 | 0.000 % |
563.73/564.02 c | 593991 | 54024 933146 2895588 | 2147483647 593991 72 | 0.000 % |
563.93/564.23 c | 594091 | 54024 933146 2895588 | 2147483647 594091 72 | 0.000 % |
564.23/564.60 c | 594203 | 54024 933146 2895588 | 2147483647 594203 72 | 0.000 % |
564.63/564.93 c | 594325 | 54024 933146 2895588 | 2147483647 594325 72 | 0.000 % |
565.03/565.31 c | 594458 | 54024 933146 2895588 | 2147483647 594458 72 | 0.000 % |
565.33/565.67 c | 594604 | 54024 933146 2895588 | 2147483647 594604 72 | 0.000 % |
565.73/566.02 c | 594764 | 54024 933146 2895588 | 2147483647 594764 72 | 0.000 % |
566.13/566.44 c | 594940 | 54024 933146 2895588 | 2147483647 594940 72 | 0.000 % |
566.53/566.83 c | 595135 | 54024 933146 2895588 | 2147483647 595135 72 | 0.000 % |
566.93/567.23 c | 595347 | 54024 933146 2895588 | 2147483647 595347 72 | 0.000 % |
567.33/567.69 c | 595581 | 54024 933146 2895588 | 2147483647 595581 72 | 0.000 % |
568.23/568.54 c | 595839 | 54024 933146 2895588 | 2147483647 595839 72 | 0.000 % |
568.83/569.15 c | 596120 | 54024 933146 2895588 | 2147483647 596120 72 | 0.000 % |
569.43/569.73 c | 596429 | 54024 933146 2895588 | 2147483647 596429 72 | 0.000 % |
570.03/570.31 c | 596768 | 54024 933146 2895588 | 2147483647 596768 72 | 0.000 % |
570.63/570.99 c | 597141 | 54024 933146 2895588 | 2147483647 597141 72 | 0.000 % |
571.52/571.87 c | 597550 | 54024 933146 2895588 | 2147483647 597550 72 | 0.000 % |
572.32/572.69 c | 598000 | 54024 933146 2895588 | 2147483647 598000 72 | 0.000 % |
573.22/573.59 c | 598494 | 54024 933146 2895588 | 2147483647 598494 72 | 0.000 % |
574.12/574.48 c | 599036 | 54024 933146 2895588 | 2147483647 599036 72 | 0.000 % |
575.52/575.81 c | 599632 | 54024 933146 2895588 | 2147483647 599632 72 | 0.000 % |
576.83/577.10 c | 600287 | 54024 933146 2895588 | 2147483647 600287 72 | 0.000 % |
577.73/578.00 c | 601007 | 54024 933146 2895588 | 2147483647 601007 72 | 0.000 % |
579.62/579.96 c | 601800 | 54024 933146 2895588 | 2147483647 601800 72 | 0.000 % |
581.42/581.76 c | 602671 | 54024 933146 2895588 | 2147483647 602671 72 | 0.000 % |
582.73/583.02 c | 603632 | 54024 933146 2895588 | 2147483647 603632 72 | 0.000 % |
583.92/584.28 c | 604687 | 54024 933146 2895588 | 2147483647 604687 72 | 0.000 % |
585.82/586.18 c | 605845 | 54024 933146 2895588 | 2147483647 605845 72 | 0.000 % |
587.62/587.96 c | 607118 | 54024 933146 2895588 | 2147483647 607118 72 | 0.000 % |
589.82/590.17 c | 608518 | 54024 933146 2895588 | 2147483647 608518 72 | 0.000 % |
592.22/592.52 c | 610058 | 54024 933146 2895588 | 2147483647 610058 73 | 0.000 % |
594.62/594.98 c | 611754 | 54024 933146 2895588 | 2147483647 611754 73 | 0.000 % |
597.61/597.93 c | 613617 | 54024 933146 2895588 | 2147483647 613617 73 | 0.000 % |
600.11/600.45 c | 615666 | 54024 933146 2895588 | 2147483647 615666 73 | 0.000 % |
603.52/603.84 c | 617920 | 54024 933146 2895588 | 2147483647 617920 73 | 0.000 % |
607.31/607.62 c | 620399 | 54024 933146 2895588 | 2147483647 620399 73 | 0.000 % |
610.91/611.22 c | 623125 | 54024 933146 2895588 | 2147483647 623125 73 | 0.000 % |
615.02/615.37 c | 626124 | 54024 933146 2895588 | 2147483647 626124 73 | 0.000 % |
620.31/620.69 c | 629420 | 54024 933146 2895588 | 2147483647 629420 73 | 0.000 % |
626.51/626.89 c | 633045 | 54024 933146 2895588 | 2147483647 633045 73 | 0.000 % |
631.21/631.58 c | 637032 | 54024 933146 2895588 | 2147483647 637032 73 | 0.000 % |
637.20/637.56 c | 641418 | 54024 933146 2895588 | 2147483647 641418 73 | 0.000 % |
643.81/644.19 c | 646241 | 54024 933146 2895588 | 2147483647 646241 73 | 0.000 % |
650.60/650.93 c | 651547 | 54024 933146 2895588 | 2147483647 651547 73 | 0.000 % |
657.61/657.94 c | 657382 | 54024 933146 2895588 | 2147483647 657382 73 | 0.000 % |
657.81/658.16 c | 657482 | 54024 933146 2895588 | 2147483647 657482 73 | 0.000 % |
658.01/658.33 c | 657592 | 54024 933146 2895588 | 2147483647 657592 73 | 0.000 % |
658.31/658.68 c | 657714 | 54024 933146 2895588 | 2147483647 657714 73 | 0.000 % |
658.90/659.21 c | 657848 | 54024 933146 2895588 | 2147483647 657848 73 | 0.000 % |
659.20/659.54 c | 657995 | 54024 933146 2895588 | 2147483647 657995 73 | 0.000 % |
659.50/659.90 c | 658155 | 54024 933146 2895588 | 2147483647 658155 73 | 0.000 % |
659.80/660.19 c | 658332 | 54024 933146 2895588 | 2147483647 658332 73 | 0.000 % |
660.10/660.50 c | 658526 | 54024 933146 2895588 | 2147483647 658526 73 | 0.000 % |
660.60/660.93 c | 658739 | 54024 933146 2895588 | 2147483647 658739 73 | 0.000 % |
661.20/661.53 c | 658972 | 54024 933146 2895588 | 2147483647 658972 73 | 0.000 % |
661.60/661.98 c | 659229 | 54024 933146 2895588 | 2147483647 659229 73 | 0.000 % |
662.20/662.55 c | 659510 | 54024 933146 2895588 | 2147483647 659510 73 | 0.000 % |
663.00/663.35 c | 659819 | 54024 933146 2895588 | 2147483647 659819 73 | 0.000 % |
663.70/664.01 c | 660158 | 54024 933146 2895588 | 2147483647 660158 73 | 0.000 % |
664.20/664.54 c | 660531 | 54024 933146 2895588 | 2147483647 660531 73 | 0.000 % |
665.10/665.48 c | 660941 | 54024 933146 2895588 | 2147483647 660941 73 | 0.000 % |
665.90/666.21 c | 661391 | 54024 933146 2895588 | 2147483647 661391 73 | 0.000 % |
666.50/666.87 c | 661885 | 54024 933146 2895588 | 2147483647 661885 73 | 0.000 % |
667.20/667.50 c | 662427 | 54024 933146 2895588 | 2147483647 662427 73 | 0.000 % |
668.10/668.46 c | 663025 | 54024 933146 2895588 | 2147483647 663025 73 | 0.000 % |
669.00/669.38 c | 663681 | 54024 933146 2895588 | 2147483647 663681 73 | 0.000 % |
669.99/670.35 c | 664401 | 54024 933146 2895588 | 2147483647 664401 73 | 0.000 % |
671.29/671.65 c | 665193 | 54024 933146 2895588 | 2147483647 665193 73 | 0.000 % |
672.99/673.34 c | 666065 | 54024 933146 2895588 | 2147483647 666065 73 | 0.000 % |
674.50/674.81 c | 667023 | 54024 933146 2895588 | 2147483647 667023 73 | 0.000 % |
676.50/676.87 c | 668076 | 54024 933146 2895588 | 2147483647 668076 73 | 0.000 % |
678.10/678.47 c | 669234 | 54024 933146 2895588 | 2147483647 669234 73 | 0.000 % |
680.19/680.51 c | 670507 | 54024 933146 2895588 | 2147483647 670507 73 | 0.000 % |
682.09/682.42 c | 671907 | 54024 933146 2895588 | 2147483647 671907 73 | 0.000 % |
685.69/686.00 c | 673448 | 54024 933146 2895588 | 2147483647 673448 73 | 0.000 % |
687.99/688.37 c | 675143 | 54024 933146 2895588 | 2147483647 675143 73 | 0.000 % |
691.50/691.89 c | 677007 | 54024 933146 2895588 | 2147483647 677007 73 | 0.000 % |
694.39/694.73 c | 679056 | 54024 933146 2895588 | 2147483647 679056 74 | 0.000 % |
697.49/697.81 c | 681309 | 54024 933146 2895588 | 2147483647 681309 74 | 0.000 % |
700.99/701.31 c | 683787 | 54024 933146 2895588 | 2147483647 683787 74 | 0.000 % |
703.79/704.11 c | 686512 | 54024 933146 2895588 | 2147483647 686512 74 | 0.000 % |
708.00/708.33 c | 689510 | 54024 933146 2895588 | 2147483647 689510 74 | 0.000 % |
712.69/713.03 c | 692806 | 54024 933146 2895588 | 2147483647 692806 74 | 0.000 % |
717.09/717.44 c | 696434 | 54024 933146 2895588 | 2147483647 696434 74 | 0.000 % |
722.58/722.96 c | 700421 | 54024 933146 2895588 | 2147483647 700421 75 | 0.000 % |
728.28/728.67 c | 704806 | 54024 933146 2895588 | 2147483647 704806 75 | 0.000 % |
734.98/735.30 c | 709629 | 54024 933146 2895588 | 2147483647 709629 75 | 0.000 % |
743.67/744.07 c | 714935 | 54024 933146 2895588 | 2147483647 714935 75 | 0.000 % |
752.87/753.28 c | 720770 | 54024 933146 2895588 | 2147483647 720770 74 | 0.000 % |
763.88/764.22 c | 727188 | 54024 933146 2895588 | 2147483647 727188 74 | 0.000 % |
764.27/764.60 c | 727291 | 54024 933146 2895588 | 2147483647 727291 74 | 0.000 % |
764.57/764.99 c | 727401 | 54024 933146 2895588 | 2147483647 727401 74 | 0.000 % |
764.87/765.20 c | 727522 | 54024 933146 2895588 | 2147483647 727522 74 | 0.000 % |
765.37/765.76 c | 727655 | 54024 933146 2895588 | 2147483647 727655 74 | 0.000 % |
766.07/766.40 c | 727801 | 54024 933146 2895588 | 2147483647 727801 74 | 0.000 % |
766.38/766.75 c | 727962 | 54024 933146 2895588 | 2147483647 727962 74 | 0.000 % |
766.97/767.36 c | 728141 | 54024 933146 2895588 | 2147483647 728141 74 | 0.000 % |
767.57/767.96 c | 728334 | 54024 933146 2895588 | 2147483647 728334 74 | 0.000 % |
767.97/768.34 c | 728546 | 54024 933146 2895588 | 2147483647 728546 74 | 0.000 % |
768.77/769.14 c | 728780 | 54024 933146 2895588 | 2147483647 728780 75 | 0.000 % |
769.67/770.03 c | 729037 | 54024 933146 2895588 | 2147483647 729037 75 | 0.000 % |
770.37/770.74 c | 729318 | 54024 933146 2895588 | 2147483647 729318 75 | 0.000 % |
770.97/771.36 c | 729628 | 54024 933146 2895588 | 2147483647 729628 75 | 0.000 % |
771.87/772.24 c | 729968 | 54024 933146 2895588 | 2147483647 729968 75 | 0.000 % |
772.46/772.83 c | 730340 | 54024 933146 2895588 | 2147483647 730340 74 | 0.000 % |
773.36/773.75 c | 730749 | 54024 933146 2895588 | 2147483647 730749 74 | 0.000 % |
774.26/774.69 c | 731198 | 54024 933146 2895588 | 2147483647 731198 74 | 0.000 % |
775.26/775.62 c | 731692 | 54024 933146 2895588 | 2147483647 731692 74 | 0.000 % |
776.36/776.70 c | 732234 | 54024 933146 2895588 | 2147483647 732234 74 | 0.000 % |
777.47/777.85 c | 732830 | 54024 933146 2895588 | 2147483647 732830 74 | 0.000 % |
778.47/778.86 c | 733485 | 54024 933146 2895588 | 2147483647 733485 74 | 0.000 % |
779.47/779.87 c | 734206 | 54024 933146 2895588 | 2147483647 734206 74 | 0.000 % |
780.67/781.06 c | 734999 | 54024 933146 2895588 | 2147483647 734999 74 | 0.000 % |
781.87/782.25 c | 735870 | 54024 933146 2895588 | 2147483647 735870 74 | 0.000 % |
783.17/783.51 c | 736829 | 54024 933146 2895588 | 2147483647 736829 74 | 0.000 % |
784.67/785.04 c | 737882 | 54024 933146 2895588 | 2147483647 737882 74 | 0.000 % |
786.46/786.88 c | 739040 | 54024 933146 2895588 | 2147483647 739040 74 | 0.000 % |
788.96/789.36 c | 740314 | 54024 933146 2895588 | 2147483647 740314 75 | 0.000 % |
791.36/791.79 c | 741716 | 54024 933146 2895588 | 2147483647 741716 75 | 0.000 % |
793.87/794.28 c | 743256 | 54024 933146 2895588 | 2147483647 743256 75 | 0.000 % |
796.76/797.19 c | 744951 | 54024 933146 2895588 | 2147483647 744951 75 | 0.000 % |
799.86/800.29 c | 746815 | 54024 933146 2895588 | 2147483647 746815 75 | 0.000 % |
803.25/803.68 c | 748864 | 54024 933146 2895588 | 2147483647 748864 75 | 0.000 % |
807.56/807.97 c | 751118 | 54024 933146 2895588 | 2147483647 751118 75 | 0.000 % |
811.36/811.74 c | 753596 | 54024 933146 2895588 | 2147483647 753596 75 | 0.000 % |
815.15/815.56 c | 756321 | 54024 933146 2895588 | 2147483647 756321 75 | 0.000 % |
820.05/820.40 c | 759318 | 54024 933146 2895588 | 2147483647 759318 75 | 0.000 % |
824.85/825.24 c | 762614 | 54024 933146 2895588 | 2147483647 762614 75 | 0.000 % |
830.45/830.89 c | 766239 | 54024 933146 2895588 | 2147483647 766239 75 | 0.000 % |
836.95/837.38 c | 770227 | 54024 933146 2895588 | 2147483647 770227 75 | 0.000 % |
844.64/845.09 c | 774614 | 54024 933146 2895588 | 2147483647 774614 75 | 0.000 % |
852.34/852.78 c | 779438 | 54024 933146 2895588 | 2147483647 779438 75 | 0.000 % |
860.44/860.82 c | 784743 | 54024 933146 2895588 | 2147483647 784743 75 | 0.000 % |
869.24/869.66 c | 790578 | 54024 933146 2895588 | 2147483647 790578 75 | 0.000 % |
880.64/881.07 c | 796996 | 54024 933146 2895588 | 2147483647 796996 75 | 0.000 % |
892.43/892.83 c | 804055 | 54024 933146 2895588 | 2147483647 804055 75 | 0.000 % |
892.84/893.26 c | 804155 | 54024 933146 2895588 | 2147483647 804155 75 | 0.000 % |
893.13/893.52 c | 804266 | 54024 933146 2895588 | 2147483647 804266 75 | 0.000 % |
893.43/893.86 c | 804388 | 54024 933146 2895588 | 2147483647 804388 75 | 0.000 % |
893.63/894.09 c | 804521 | 54024 933146 2895588 | 2147483647 804521 75 | 0.000 % |
894.13/894.51 c | 804670 | 54024 933146 2895588 | 2147483647 804670 75 | 0.000 % |
894.83/895.28 c | 804835 | 54024 933146 2895588 | 2147483647 804835 75 | 0.000 % |
895.23/895.64 c | 805012 | 54024 933146 2895588 | 2147483647 805012 75 | 0.000 % |
895.83/896.24 c | 805205 | 54024 933146 2895588 | 2147483647 805205 75 | 0.000 % |
896.33/896.78 c | 805418 | 54024 933146 2895588 | 2147483647 805418 75 | 0.000 % |
896.73/897.13 c | 805651 | 54024 933146 2895588 | 2147483647 805651 75 | 0.000 % |
897.33/897.73 c | 805908 | 54024 933146 2895588 | 2147483647 805908 75 | 0.000 % |
897.93/898.38 c | 806189 | 54024 933146 2895588 | 2147483647 806189 75 | 0.000 % |
898.33/898.73 c | 806498 | 54024 933146 2895588 | 2147483647 806498 75 | 0.000 % |
898.83/899.27 c | 806838 | 54024 933146 2895588 | 2147483647 806838 75 | 0.000 % |
899.73/900.14 c | 807211 | 54024 933146 2895588 | 2147483647 807211 75 | 0.000 % |
900.53/900.98 c | 807621 | 54024 933146 2895588 | 2147483647 807621 75 | 0.000 % |
901.43/901.81 c | 808070 | 54024 933146 2895588 | 2147483647 808070 75 | 0.000 % |
902.33/902.78 c | 808563 | 54024 933146 2895588 | 2147483647 808563 75 | 0.000 % |
904.13/904.59 c | 809106 | 54024 933146 2895588 | 2147483647 809106 75 | 0.000 % |
904.93/905.35 c | 809702 | 54024 933146 2895588 | 2147483647 809702 75 | 0.000 % |
906.43/906.81 c | 810357 | 54024 933146 2895588 | 2147483647 810357 75 | 0.000 % |
907.72/908.11 c | 811077 | 54024 933146 2895588 | 2147483647 811077 75 | 0.000 % |
909.52/909.98 c | 811870 | 54024 933146 2895588 | 2147483647 811870 75 | 0.000 % |
911.62/912.00 c | 812741 | 54024 933146 2895588 | 2147483647 812741 75 | 0.000 % |
913.42/913.82 c | 813699 | 54024 933146 2895588 | 2147483647 813699 75 | 0.000 % |
915.62/916.00 c | 814752 | 54024 933146 2895588 | 2147483647 814752 75 | 0.000 % |
917.82/918.27 c | 815910 | 54024 933146 2895588 | 2147483647 815910 75 | 0.000 % |
920.71/921.14 c | 817183 | 54024 933146 2895588 | 2147483647 817183 75 | 0.000 % |
923.52/923.98 c | 818584 | 54024 933146 2895588 | 2147483647 818584 75 | 0.000 % |
926.41/926.90 c | 820124 | 54024 933146 2895588 | 820000 820124 75 | 0.000 % |
945.10/945.54 c | 821818 | 54024 933146 2895588 | 820000 709314 74 | 0.000 % |
948.00/948.42 c | 823682 | 54024 933146 2895588 | 820000 711178 74 | 0.000 % |
950.70/951.15 c | 825731 | 54024 933146 2895588 | 820000 713227 74 | 0.000 % |
953.80/954.20 c | 827985 | 54024 933146 2895588 | 820000 715481 74 | 0.000 % |
957.21/957.61 c | 830463 | 54024 933146 2895588 | 2147483647 717959 74 | 0.000 % |
961.11/961.56 c | 833188 | 54024 933146 2895588 | 2147483647 720684 74 | 0.000 % |
965.90/966.30 c | 836186 | 54024 933146 2895588 | 2147483647 723682 74 | 0.000 % |
970.70/971.19 c | 839483 | 54024 933146 2895588 | 2147483647 726979 74 | 0.000 % |
976.31/976.78 c | 843108 | 54024 933146 2895588 | 2147483647 730604 74 | 0.000 % |
982.00/982.46 c | 847095 | 54024 933146 2895588 | 2147483647 734591 74 | 0.000 % |
988.10/988.57 c | 851481 | 54024 933146 2895588 | 2147483647 738977 75 | 0.000 % |
994.50/994.94 c | 856304 | 54024 933146 2895588 | 2147483647 743800 75 | 0.000 % |
1001.79/1002.21 c | 861609 | 54024 933146 2895588 | 2147483647 749105 75 | 0.000 % |
1010.19/1010.62 c | 867446 | 54024 933146 2895588 | 2147483647 754942 75 | 0.000 % |
1019.19/1019.61 c | 873865 | 54024 933146 2895588 | 2147483647 761361 75 | 0.000 % |
1029.19/1029.69 c | 880926 | 54024 933146 2895588 | 2147483647 768422 74 | 0.000 % |
1040.48/1040.97 c | 888690 | 54024 933146 2895588 | 2147483647 776186 74 | 0.000 % |
1040.68/1041.17 c | 888790 | 54024 933146 2895588 | 2147483647 776286 74 | 0.000 % |
1040.98/1041.41 c | 888902 | 54024 933146 2895588 | 2147483647 776398 74 | 0.000 % |
1041.18/1041.65 c | 889024 | 54024 933146 2895588 | 2147483647 776520 74 | 0.000 % |
1041.58/1042.01 c | 889157 | 54024 933146 2895588 | 2147483647 776653 74 | 0.000 % |
1041.88/1042.38 c | 889303 | 54024 933146 2895588 | 2147483647 776799 74 | 0.000 % |
1042.18/1042.61 c | 889463 | 54024 933146 2895588 | 2147483647 776959 74 | 0.000 % |
1042.48/1042.91 c | 889641 | 54024 933146 2895588 | 2147483647 777137 74 | 0.000 % |
1042.78/1043.26 c | 889835 | 54024 933146 2895588 | 2147483647 777331 74 | 0.000 % |
1043.18/1043.69 c | 890047 | 54024 933146 2895588 | 2147483647 777543 74 | 0.000 % |
1043.78/1044.22 c | 890280 | 54024 933146 2895588 | 2147483647 777776 74 | 0.000 % |
1044.68/1045.13 c | 890537 | 54024 933146 2895588 | 2147483647 778033 74 | 0.000 % |
1045.68/1046.12 c | 890819 | 54024 933146 2895588 | 2147483647 778315 74 | 0.000 % |
1046.48/1046.94 c | 891128 | 54024 933146 2895588 | 2147483647 778624 74 | 0.000 % |
1047.28/1047.72 c | 891468 | 54024 933146 2895588 | 2147483647 778964 74 | 0.000 % |
1047.98/1048.40 c | 891840 | 54024 933146 2895588 | 2147483647 779336 74 | 0.000 % |
1048.78/1049.24 c | 892250 | 54024 933146 2895588 | 2147483647 779746 74 | 0.000 % |
1049.78/1050.23 c | 892699 | 54024 933146 2895588 | 2147483647 780195 74 | 0.000 % |
1050.78/1051.26 c | 893192 | 54024 933146 2895588 | 2147483647 780688 74 | 0.000 % |
1051.67/1052.14 c | 893734 | 54024 933146 2895588 | 2147483647 781230 74 | 0.000 % |
1052.67/1053.18 c | 894330 | 54024 933146 2895588 | 2147483647 781826 74 | 0.000 % |
1054.07/1054.55 c | 894985 | 54024 933146 2895588 | 2147483647 782481 74 | 0.000 % |
1055.37/1055.88 c | 895706 | 54024 933146 2895588 | 2147483647 783202 74 | 0.000 % |
1056.68/1057.17 c | 896498 | 54024 933146 2895588 | 2147483647 783994 74 | 0.000 % |
1058.27/1058.77 c | 897371 | 54024 933146 2895588 | 2147483647 784867 74 | 0.000 % |
1059.57/1060.09 c | 898329 | 54024 933146 2895588 | 2147483647 785825 74 | 0.000 % |
1061.57/1062.04 c | 899382 | 54024 933146 2895588 | 2147483647 786878 74 | 0.000 % |
1063.77/1064.25 c | 900540 | 54024 933146 2895588 | 2147483647 788036 74 | 0.000 % |
1065.87/1066.30 c | 901814 | 54024 933146 2895588 | 2147483647 789310 74 | 0.000 % |
1068.57/1069.04 c | 903214 | 54024 933146 2895588 | 2147483647 790710 74 | 0.000 % |
1071.67/1072.12 c | 904754 | 54024 933146 2895588 | 2147483647 792250 74 | 0.000 % |
1074.96/1075.46 c | 906449 | 54024 933146 2895588 | 2147483647 793945 74 | 0.000 % |
1077.76/1078.22 c | 908314 | 54024 933146 2895588 | 2147483647 795810 74 | 0.000 % |
1081.86/1082.39 c | 910363 | 54024 933146 2895588 | 2147483647 797859 74 | 0.000 % |
1086.06/1086.58 c | 912616 | 54024 933146 2895588 | 2147483647 800112 74 | 0.000 % |
1091.36/1091.83 c | 915094 | 54024 933146 2895588 | 2147483647 802590 74 | 0.000 % |
1095.65/1096.15 c | 917819 | 54024 933146 2895588 | 2147483647 805315 74 | 0.000 % |
1100.06/1100.56 c | 920817 | 54024 933146 2895588 | 2147483647 808313 74 | 0.000 % |
1106.26/1106.76 c | 924114 | 54024 933146 2895588 | 2147483647 811610 74 | 0.000 % |
1113.06/1113.52 c | 927739 | 54024 933146 2895588 | 2147483647 815235 74 | 0.000 % |
1120.96/1121.48 c | 931727 | 54024 933146 2895588 | 2147483647 819223 74 | 0.000 % |
1130.75/1131.21 c | 936112 | 54024 933146 2895588 | 2147483647 823608 74 | 0.000 % |
1142.05/1142.57 c | 940935 | 54024 933146 2895588 | 2147483647 828431 74 | 0.000 % |
1154.64/1155.10 c | 946240 | 54024 933146 2895588 | 2147483647 833736 74 | 0.000 % |
1166.54/1167.09 c | 952075 | 54024 933146 2895588 | 2147483647 839571 73 | 0.000 % |
1178.24/1178.73 c | 958493 | 54024 933146 2895588 | 2147483647 845989 74 | 0.000 % |
1186.63/1187.12 c | 965552 | 54024 933146 2895588 | 847496 853048 74 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832137-1242769544/watcher-1832137-1242769544 -o /tmp/evaluation-result-1832137-1242769544/solver-1832137-1242769544 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832137-1242769544.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 2010
/proc/meminfo: memFree=1908168/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 304987985 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 212234633298 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2010/statm: 1339 235 195 169 0 50 0
[pid=2011] ppid=2010 vsize=5356 CPUtime=0
/proc/2011/stat : 2011 (SatELiteGTI) R 2010 2010 1847 0 -1 4194368 57 188 0 0 0 0 0 0 16 0 1 0 304987986 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 212231828271 0 0 4096 65538 0 0 0 17 1 0 0
/proc/2011/statm: 0 0 0 0 0 0 0
[startup+0.0591661 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 2010
/proc/meminfo: memFree=1908168/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101169 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 2010
/proc/meminfo: memFree=1908168/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301187 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 2010
/proc/meminfo: memFree=1908168/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701225 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 2010
/proc/meminfo: memFree=1908168/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 2015
/proc/meminfo: memFree=1836088/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
[pid=2014] ppid=2010 vsize=86256 CPUtime=1.48
/proc/2014/stat : 2014 (SatELite_releas) R 2010 2010 1847 0 -1 4194304 20899 0 0 0 134 14 0 0 25 0 1 0 304987986 88326144 18821 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/2014/statm: 21564 18821 76 173 0 21389 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91612
[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 2015
/proc/meminfo: memFree=1827960/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
[pid=2014] ppid=2010 vsize=91108 CPUtime=3.08
/proc/2014/stat : 2014 (SatELite_releas) R 2010 2010 1847 0 -1 4194304 22053 0 0 0 293 15 0 0 25 0 1 0 304987986 93294592 19975 1992294400 134512640 135223648 4294956128 18446744073709551615 134586667 0 0 4096 3 0 0 0 17 1 0 0
/proc/2014/statm: 22777 19975 76 173 0 22602 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 96464
[startup+6.30175 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 2015
/proc/meminfo: memFree=1817656/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=0
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304987985 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2010/statm: 1339 237 197 169 0 50 0
[pid=2014] ppid=2010 vsize=106236 CPUtime=6.28
/proc/2014/stat : 2014 (SatELite_releas) R 2010 2010 1847 0 -1 4194304 24284 0 0 0 612 16 0 0 25 0 1 0 304987986 108785664 22068 1992294400 134512640 135223648 4294956128 18446744073709551615 134585473 0 0 4096 3 0 0 0 17 1 0 0
/proc/2014/statm: 26559 22068 76 173 0 26384 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 111592
[startup+12.7014 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 2016
/proc/meminfo: memFree=1840184/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=47504 CPUtime=4.45
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 11529 0 0 0 438 7 0 0 25 0 1 0 304988809 48644096 11481 1992294400 134512640 135215339 4294956240 18446744073709551615 134527378 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 11876 11481 77 171 0 11703 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52860
[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 2016
/proc/meminfo: memFree=1835768/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=51928 CPUtime=17.24
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 12635 0 0 0 1715 9 0 0 25 0 1 0 304988809 53174272 12587 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 12982 12587 77 171 0 12809 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 57284
[startup+51.102 s]
/proc/loadavg: 1.11 1.03 1.00 2/66 2016
/proc/meminfo: memFree=1826936/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=61092 CPUtime=42.82
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 14912 0 0 0 4270 12 0 0 25 0 1 0 304988809 62558208 14864 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 15273 14864 77 171 0 15100 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 66448
[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 2016
/proc/meminfo: memFree=1807160/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=80784 CPUtime=94
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 19754 0 0 0 9382 18 0 0 25 0 1 0 304988809 82722816 19706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 20196 19706 77 171 0 20023 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 86140
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 2016
/proc/meminfo: memFree=1782008/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=106160 CPUtime=153.96
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 26065 0 0 0 15372 24 0 0 25 0 1 0 304988809 108707840 26017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 26540 26017 77 171 0 26367 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 111516
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2016
/proc/meminfo: memFree=1757560/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=130232 CPUtime=213.94
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 32126 0 0 0 21363 31 0 0 25 0 1 0 304988809 133357568 32078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 32558 32078 77 171 0 32385 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 135588
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2016
/proc/meminfo: memFree=1735672/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=152740 CPUtime=273.91
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 37618 0 0 0 27355 36 0 0 25 0 1 0 304988809 156405760 37570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 38185 37570 77 171 0 38012 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 158096
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1710840/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=177260 CPUtime=333.89
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 43749 0 0 0 33347 42 0 0 25 0 1 0 304988809 181514240 43701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 44315 43701 77 171 0 44142 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 182616
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1693368/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=194696 CPUtime=393.87
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 48148 0 0 0 39340 47 0 0 25 0 1 0 304988809 199368704 48100 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 48674 48100 77 171 0 48501 0
Current children cumulated CPU time (s) 402.08
################
# More data... #
################
/proc/2016/statm: 61344 60601 77 171 0 61171 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 250732
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1627192/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=260368 CPUtime=633.8
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 64474 0 0 0 63314 66 0 0 25 0 1 0 304988809 266616832 64426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 65092 64426 77 171 0 64919 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 265724
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1612664/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=275328 CPUtime=693.78
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 68127 0 0 0 69308 70 0 0 25 0 1 0 304988809 281935872 68079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 68832 68079 77 171 0 68659 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 280684
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1597560/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=291180 CPUtime=753.76
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 71794 0 0 0 75303 73 0 0 25 0 1 0 304988809 298168320 71746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 72795 71746 77 171 0 72622 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 296536
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1583672/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=305196 CPUtime=813.74
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 75285 0 0 0 81296 78 0 0 25 0 1 0 304988809 312520704 75237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 76299 75237 77 171 0 76126 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 310552
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1572280/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=316412 CPUtime=873.72
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 78089 0 0 0 87290 82 0 0 25 0 1 0 304988809 324005888 78041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 79103 78041 77 171 0 78930 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 321768
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1563832/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=324816 CPUtime=933.69
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 80142 0 0 0 93285 84 0 0 25 0 1 0 304988809 332611584 80094 1992294400 134512640 135215339 4294956240 18446744073709551615 134525061 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 81204 80094 77 171 0 81031 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 330172
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1563640/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=324936 CPUtime=993.68
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 80173 0 0 0 99283 85 0 0 25 0 1 0 304988809 332734464 80125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 81234 80125 77 171 0 81061 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 330292
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1563512/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=324936 CPUtime=1053.66
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 80198 0 0 0 105281 85 0 0 25 0 1 0 304988809 332734464 80150 1992294400 134512640 135215339 4294956240 18446744073709551615 134529171 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 81234 80150 77 171 0 81061 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 330292
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1562616/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=326008 CPUtime=1113.65
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 80387 0 0 0 111279 86 0 0 25 0 1 0 304988809 333832192 80339 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 81502 80339 77 171 0 81329 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 331364
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1556984/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=331756 CPUtime=1173.63
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 81847 0 0 0 117276 87 0 0 25 0 1 0 304988809 339718144 81799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 82939 81799 77 171 0 82766 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 337112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1555512/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=332944 CPUtime=1191.82
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 82142 0 0 0 119095 87 0 0 25 0 1 0 304988809 340934656 82094 1992294400 134512640 135215339 4294956240 18446744073709551615 134534491 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 83236 82094 77 171 0 83063 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 338300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2022
/proc/meminfo: memFree=1555512/2055920 swapFree=4179992/4192956
[pid=2010] ppid=2008 vsize=5356 CPUtime=8.21
/proc/2010/stat : 2010 (SatELiteGTI) S 2008 2010 1847 0 -1 4194304 336 26466 0 0 0 0 796 25 16 0 1 0 304987985 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2010/statm: 1339 239 197 169 0 50 0
[pid=2016] ppid=2010 vsize=332944 CPUtime=1191.82
/proc/2016/stat : 2016 (minisat_static) R 2010 2010 1847 0 -1 4194304 82142 0 0 0 119095 87 0 0 25 0 1 0 304988809 340934656 82094 1992294400 134512640 135215339 4294956240 18446744073709551615 134534491 0 0 4096 3 0 0 0 17 1 0 0
/proc/2016/statm: 83236 82094 77 171 0 83063 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 338300
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2010 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=966788
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=258960
# CPU time returned by wait4() is 8.22575
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1198.91
CPU system time (s): 1.12
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 338300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.96679
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 26
runsolver used 1.45978 second user time and 3.01854 second system time
The end
Begin job on node14 at 2009-05-19 23:45:45
IDJOB=1832137
IDBENCH=20581
IDSOLVER=671
FILE ID=node14/1832137-1242769544
PBS_JOBID= 9322284
Free space on /tmp= 66304 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832137-1242769544/watcher-1832137-1242769544 -o /tmp/evaluation-result-1832137-1242769544/solver-1832137-1242769544 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832137-1242769544.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ba6236c6cc840bb0208f73665843c375
RANDOM SEED=791053195
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1908712 kB
Buffers: 11192 kB
Cached: 98732 kB
SwapCached: 6968 kB
Active: 64764 kB
Inactive: 53812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1908712 kB
SwapTotal: 4192956 kB
SwapFree: 4179992 kB
Dirty: 20328 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 14760 kB
Committed_AS: 977652 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66280 MiB
End job on node14 at 2009-05-20 00:05:47