0.00/0.00 c Parsing...
0.32/0.40 c ==============================================================================
0.32/0.40 c | | ORIGINAL | LEARNT | |
0.32/0.40 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.32/0.40 c ==============================================================================
0.32/0.40 c | 0 | 437704 1056626 | 131311 0 0 nan | 0.000 % |
18.42/18.50 c | 0 | 164704 1115453 | -- 0 -- -- | -- | -273000/58827
18.42/18.50 c ==============================================================================
18.42/18.50 c Result : #vars: 6952 #clauses: 164704 #literals: 1115453
18.42/18.50 c CPU time: 18.24 s
18.42/18.50 c ==============================================================================
18.82/18.85 c This is MiniSat 2.0 beta
18.82/18.85 c WARNING: for repeatability, setting FPU to use double precision
18.82/18.85 c ============================[ Problem Statistics ]=============================
18.82/18.85 c | |
18.82/18.85 c | Number of variables: 6952 |
18.82/18.85 c | Number of clauses: 164704 |
18.86/19.02 c | Parsing time: 0.15 s |
18.86/19.04 c ============================[ Search Statistics ]==============================
18.86/19.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
18.86/19.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.86/19.04 c ===============================================================================
18.86/19.04 c | 0 | 6952 164704 1115453 | 54901 0 nan | 0.000 % |
18.86/19.17 c | 100 | 6952 164704 1115453 | 54901 100 12 | 0.000 % |
18.86/19.23 c | 200 | 6952 164704 1115453 | 54901 200 16 | 0.000 % |
18.86/19.38 c | 300 | 6952 164704 1115453 | 54901 300 31 | 0.000 % |
18.86/19.42 c | 410 | 6952 164704 1115453 | 54901 410 25 | 0.000 % |
18.86/19.52 c | 510 | 6952 164704 1115453 | 54901 510 22 | 0.000 % |
18.86/19.56 c | 620 | 6952 164704 1115453 | 54901 620 22 | 0.000 % |
18.86/19.60 c | 741 | 6952 164704 1115453 | 54901 741 21 | 0.000 % |
18.86/19.63 c | 842 | 6952 164704 1115453 | 54901 842 20 | 0.000 % |
18.86/19.69 c | 952 | 6952 164704 1115453 | 54901 952 21 | 0.000 % |
19.71/19.74 c | 1076 | 6952 164704 1115453 | 54901 1076 19 | 0.000 % |
19.71/19.80 c | 1209 | 6952 164704 1115453 | 54901 1209 18 | 0.000 % |
19.82/19.86 c | 1309 | 6952 164704 1115453 | 54901 1309 18 | 0.000 % |
19.91/19.95 c | 1419 | 6952 164704 1115453 | 54901 1419 20 | 0.000 % |
19.91/19.99 c | 1540 | 6952 164704 1115453 | 54901 1540 19 | 0.000 % |
20.01/20.04 c | 1674 | 6952 164704 1115453 | 54901 1674 19 | 0.000 % |
20.01/20.09 c | 1820 | 6952 164704 1115453 | 54901 1820 19 | 0.000 % |
20.11/20.13 c | 1922 | 6952 164704 1115453 | 54901 1922 19 | 0.000 % |
20.11/20.18 c | 2032 | 6952 164704 1115453 | 54901 2032 20 | 0.000 % |
20.21/20.25 c | 2153 | 6952 164704 1115453 | 54901 2153 20 | 0.000 % |
20.21/20.30 c | 2286 | 6952 164704 1115453 | 54901 2286 21 | 0.000 % |
20.41/20.45 c | 2433 | 6952 164704 1115453 | 54901 2433 22 | 0.000 % |
20.41/20.50 c | 2594 | 6952 164704 1115453 | 54901 2594 22 | 0.000 % |
20.51/20.55 c | 2695 | 6952 164704 1115453 | 54901 2695 22 | 0.000 % |
20.61/20.61 c | 2807 | 6952 164704 1115453 | 54901 2807 22 | 0.000 % |
20.61/20.68 c | 2929 | 6952 164704 1115453 | 54901 2929 21 | 0.000 % |
20.81/20.89 c | 3063 | 6952 164704 1115453 | 54901 3063 23 | 0.000 % |
20.92/20.93 c | 3209 | 6952 164704 1115453 | 54901 3209 23 | 0.000 % |
21.01/21.02 c | 3374 | 6952 164704 1115453 | 54901 3374 23 | 0.000 % |
21.01/21.09 c | 3551 | 6952 164704 1115453 | 54901 3551 22 | 0.000 % |
21.11/21.12 c | 3653 | 6952 164704 1115453 | 54901 3653 22 | 0.000 % |
21.21/21.25 c | 3763 | 6952 164704 1115453 | 54901 3763 23 | 0.000 % |
21.31/21.39 c | 3885 | 6952 164704 1115453 | 54901 3885 23 | 0.000 % |
21.41/21.44 c | 4018 | 6952 164704 1115453 | 54901 4018 23 | 0.000 % |
21.41/21.50 c | 4164 | 6952 164704 1115453 | 54901 4164 22 | 0.000 % |
21.61/21.66 c | 4324 | 6952 164704 1115453 | 54901 4324 24 | 0.000 % |
21.71/21.71 c | 4502 | 6952 164704 1115453 | 54901 4502 23 | 0.000 % |
21.81/21.83 c | 4695 | 6949 164618 1114165 | 54901 4663 23 | 0.043 % |
21.81/21.87 c | 4797 | 6949 164618 1114165 | 54901 4765 23 | 0.043 % |
21.91/21.92 c | 4907 | 6949 164618 1114165 | 54901 4875 23 | 0.043 % |
21.91/21.98 c | 5028 | 6949 164618 1114165 | 54901 4996 23 | 0.043 % |
22.02/22.08 c | 5161 | 6949 164618 1114165 | 54901 5129 23 | 0.043 % |
22.11/22.14 c | 5307 | 6949 164618 1114165 | 54901 5275 23 | 0.043 % |
22.21/22.21 c | 5467 | 6949 164618 1114165 | 54901 5435 23 | 0.043 % |
22.21/22.29 c | 5643 | 6949 164618 1114165 | 54901 5611 23 | 0.043 % |
22.31/22.40 c | 5836 | 6949 164618 1114165 | 54901 5804 23 | 0.043 % |
22.51/22.53 c | 6050 | 6949 164618 1114165 | 54901 6018 24 | 0.043 % |
22.51/22.57 c | 6150 | 6949 164618 1114165 | 54901 6118 24 | 0.043 % |
22.61/22.61 c | 6260 | 6949 164618 1114165 | 54901 6228 24 | 0.043 % |
22.61/22.67 c | 6384 | 6949 164618 1114165 | 54901 6352 24 | 0.043 % |
22.81/22.87 c | 6517 | 6949 164618 1114165 | 54901 6485 26 | 0.043 % |
22.91/22.93 c | 6666 | 6949 164618 1114165 | 54901 6634 26 | 0.043 % |
22.91/23.00 c | 6826 | 6949 164618 1114165 | 54901 6794 26 | 0.043 % |
23.01/23.09 c | 7002 | 6949 164618 1114165 | 54901 6970 26 | 0.043 % |
23.12/23.14 c | 7197 | 6949 164618 1114165 | 54901 7165 25 | 0.043 % |
23.21/23.21 c | 7411 | 6949 164618 1114165 | 54901 7379 25 | 0.043 % |
23.21/23.31 c | 7644 | 6949 164618 1114165 | 54901 7612 25 | 0.043 % |
23.31/23.36 c | 7745 | 6949 164618 1114165 | 54901 7713 25 | 0.043 % |
23.41/23.41 c | 7856 | 6949 164618 1114165 | 54901 7824 25 | 0.043 % |
23.51/23.54 c | 7978 | 6949 164618 1114165 | 54901 7946 25 | 0.043 % |
23.61/23.62 c | 8111 | 6949 164618 1114165 | 54901 8079 25 | 0.043 % |
23.71/23.74 c | 8257 | 6949 164618 1114165 | 54901 8225 25 | 0.043 % |
23.71/23.81 c | 8421 | 6949 164618 1114165 | 54901 8389 25 | 0.043 % |
23.81/23.86 c | 8597 | 6949 164618 1114165 | 54901 8565 25 | 0.043 % |
23.81/23.91 c | 8791 | 6949 164618 1114165 | 54901 8759 25 | 0.043 % |
23.91/23.98 c | 9005 | 6949 164618 1114165 | 54901 8973 25 | 0.043 % |
24.01/24.08 c | 9238 | 6949 164618 1114165 | 54901 9206 24 | 0.043 % |
24.11/24.20 c | 9494 | 6949 164618 1114165 | 54901 9462 24 | 0.043 % |
24.22/24.23 c | 9594 | 6949 164618 1114165 | 54901 9562 24 | 0.043 % |
24.22/24.27 c | 9704 | 6949 164618 1114165 | 54901 9672 24 | 0.043 % |
24.31/24.32 c | 9827 | 6949 164618 1114165 | 54901 9795 24 | 0.043 % |
24.41/24.42 c | 9961 | 6949 164618 1114165 | 54901 9929 24 | 0.043 % |
24.51/24.53 c | 10107 | 6949 164618 1114165 | 2147483647 10075 24 | 0.043 % |
24.61/24.69 c | 10268 | 6949 164618 1114165 | 2147483647 10236 25 | 0.043 % |
24.71/24.77 c | 10445 | 6949 164618 1114165 | 2147483647 10413 25 | 0.043 % |
24.81/24.83 c | 10638 | 6949 164618 1114165 | 2147483647 10606 24 | 0.043 % |
24.81/24.89 c | 10852 | 6949 164618 1114165 | 2147483647 10820 24 | 0.043 % |
25.01/25.04 c | 11085 | 6949 164618 1114165 | 2147483647 11053 25 | 0.043 % |
25.11/25.19 c | 11343 | 6949 164618 1114165 | 2147483647 11311 25 | 0.043 % |
25.21/25.28 c | 11624 | 6949 164618 1114165 | 2147483647 11592 24 | 0.043 % |
25.32/25.33 c | 11726 | 6949 164618 1114165 | 2147483647 11694 24 | 0.043 % |
25.41/25.42 c | 11837 | 6949 164618 1114165 | 2147483647 11805 25 | 0.043 % |
25.41/25.49 c | 11958 | 6949 164618 1114165 | 2147483647 11926 25 | 0.043 % |
25.51/25.55 c | 12091 | 6949 164618 1114165 | 2147483647 12059 25 | 0.043 % |
25.61/25.61 c | 12237 | 6949 164618 1114165 | 2147483647 12205 25 | 0.043 % |
25.71/25.72 c | 12398 | 6949 164618 1114165 | 2147483647 12366 25 | 0.043 % |
25.71/25.80 c | 12574 | 6949 164618 1114165 | 2147483647 12542 25 | 0.043 % |
25.81/25.90 c | 12767 | 6949 164618 1114165 | 2147483647 12735 25 | 0.043 % |
25.91/25.99 c | 12981 | 6949 164618 1114165 | 2147483647 12949 25 | 0.043 % |
26.11/26.14 c | 13215 | 6949 164618 1114165 | 2147483647 13183 25 | 0.043 % |
26.21/26.26 c | 13472 | 6949 164618 1114165 | 2147483647 13440 25 | 0.043 % |
26.31/26.37 c | 13754 | 6949 164618 1114165 | 2147483647 13722 25 | 0.043 % |
26.51/26.53 c | 14063 | 6949 164618 1114165 | 2147483647 14031 25 | 0.043 % |
26.51/26.58 c | 14165 | 6949 164618 1114165 | 2147483647 14133 25 | 0.043 % |
26.61/26.63 c | 14275 | 6949 164618 1114165 | 2147483647 14243 25 | 0.043 % |
26.61/26.67 c | 14396 | 6949 164618 1114165 | 2147483647 14364 24 | 0.043 % |
26.71/26.76 c | 14530 | 6949 164618 1114165 | 2147483647 14498 25 | 0.043 % |
26.81/26.82 c | 14676 | 6949 164618 1114165 | 2147483647 14644 25 | 0.043 % |
26.81/26.89 c | 14838 | 6944 164461 1113325 | 2147483647 14694 25 | 0.115 % |
26.91/26.94 c | 15016 | 6944 164461 1113325 | 2147483647 14872 25 | 0.115 % |
27.01/27.01 c | 15209 | 6940 164461 1113325 | 2147483647 15063 24 | 0.173 % |
27.11/27.14 c | 15421 | 6940 164461 1113325 | 2147483647 15275 25 | 0.173 % |
27.21/27.24 c | 15654 | 6940 164461 1113325 | 2147483647 15508 25 | 0.173 % |
27.31/27.33 c | 15913 | 6940 164461 1113325 | 2147483647 15767 25 | 0.173 % |
27.41/27.44 c | 16194 | 6935 164461 1113325 | 2147483647 16045 24 | 0.288 % |
27.52/27.54 c | 16503 | 6935 164461 1113325 | 2147483647 16354 24 | 0.288 % |
27.61/27.68 c | 16842 | 6935 164461 1113325 | 2147483647 16693 24 | 0.288 % |
27.71/27.72 c | 16943 | 6935 164461 1113325 | 2147483647 16794 24 | 0.288 % |
27.71/27.76 c | 17053 | 6935 164461 1113325 | 2147483647 16904 24 | 0.288 % |
27.81/27.81 c | 17174 | 6935 164461 1113325 | 2147483647 17025 24 | 0.288 % |
27.81/27.87 c | 17307 | 6935 164461 1113325 | 2147483647 17158 24 | 0.288 % |
27.91/27.92 c | 17457 | 6932 164461 1113325 | 2147483647 17306 24 | 0.331 % |
27.91/28.00 c | 17617 | 6932 164461 1113325 | 2147483647 17466 24 | 0.331 % |
28.11/28.16 c | 17795 | 6932 164461 1113325 | 2147483647 17644 24 | 0.331 % |
28.21/28.23 c | 17989 | 6932 164461 1113325 | 2147483647 17838 24 | 0.331 % |
28.31/28.34 c | 18201 | 6932 164461 1113325 | 2147483647 18050 24 | 0.331 % |
28.41/28.44 c | 18434 | 6932 164461 1113325 | 2147483647 18283 23 | 0.331 % |
28.62/28.67 c | 18691 | 6932 164461 1113325 | 2147483647 18540 24 | 0.331 % |
28.71/28.79 c | 18972 | 6929 164134 1109722 | 2147483647 18501 24 | 0.331 % |
29.01/29.02 c | 19281 | 6929 164134 1109722 | 2147483647 18810 24 | 0.331 % |
29.11/29.16 c | 19620 | 6929 164134 1109722 | 2147483647 19149 24 | 0.331 % |
29.31/29.36 c | 19993 | 6929 164134 1109722 | 2147483647 19522 24 | 0.331 % |
29.41/29.41 c | 20093 | 6929 164134 1109722 | 2147483647 19622 24 | 0.331 % |
29.41/29.48 c | 20203 | 6929 164134 1109722 | 2147483647 19732 24 | 0.331 % |
29.51/29.56 c | 20324 | 6929 164134 1109722 | 2147483647 19853 24 | 0.331 % |
29.61/29.63 c | 20457 | 6929 164134 1109722 | 2147483647 19986 24 | 0.331 % |
29.61/29.69 c | 20604 | 6929 164134 1109722 | 2147483647 20133 24 | 0.331 % |
29.81/29.82 c | 20765 | 6929 164134 1109722 | 2147483647 20294 24 | 0.331 % |
29.81/29.88 c | 20942 | 6929 164134 1109722 | 2147483647 20471 24 | 0.331 % |
29.91/29.94 c | 21136 | 6929 164134 1109722 | 2147483647 20665 24 | 0.331 % |
30.01/30.05 c | 21348 | 6929 164134 1109722 | 2147483647 20877 24 | 0.331 % |
30.11/30.12 c | 21581 | 6929 164134 1109722 | 2147483647 21110 24 | 0.331 % |
30.21/30.26 c | 21840 | 6929 164134 1109722 | 2147483647 21369 24 | 0.331 % |
30.41/30.50 c | 22122 | 6929 164134 1109722 | 2147483647 21651 24 | 0.331 % |
30.61/30.63 c | 22432 | 6929 164134 1109722 | 2147483647 21961 24 | 0.331 % |
30.71/30.75 c | 22772 | 6929 164134 1109722 | 2147483647 22301 24 | 0.331 % |
31.01/31.09 c | 23145 | 6929 164134 1109722 | 2147483647 22674 24 | 0.331 % |
31.31/31.39 c | 23555 | 6929 164134 1109722 | 2147483647 23084 25 | 0.331 % |
31.41/31.44 c | 23655 | 6929 164134 1109722 | 2147483647 23184 25 | 0.331 % |
31.41/31.49 c | 23772 | 6929 164134 1109722 | 2147483647 23301 25 | 0.331 % |
31.51/31.56 c | 23893 | 6918 163881 1106293 | 2147483647 23256 25 | 0.489 % |
31.61/31.62 c | 24026 | 6918 163881 1106293 | 2147483647 23389 25 | 0.489 % |
31.61/31.69 c | 24172 | 6915 163881 1106293 | 2147483647 23532 25 | 0.561 % |
31.71/31.76 c | 24332 | 6911 163881 1106293 | 2147483647 23691 25 | 0.590 % |
31.81/31.90 c | 24508 | 6911 163881 1106293 | 2147483647 23867 25 | 0.590 % |
32.01/32.08 c | 24702 | 6909 163881 1106293 | 2147483647 24059 25 | 0.619 % |
32.21/32.24 c | 24915 | 6909 163881 1106293 | 2147483647 24272 25 | 0.619 % |
32.41/32.42 c | 25149 | 6909 163881 1106293 | 2147483647 24506 25 | 0.619 % |
32.51/32.51 c | 25406 | 6909 163881 1106293 | 2147483647 24763 25 | 0.619 % |
32.71/32.76 c | 25689 | 6909 163881 1106293 | 2147483647 25046 25 | 0.619 % |
32.81/32.86 c | 25999 | 6909 163881 1106293 | 2147483647 25356 25 | 0.619 % |
33.02/33.07 c | 26339 | 6870 163881 1106293 | 2147483647 25692 25 | 1.251 % |
33.11/33.21 c | 26711 | 6870 163881 1106293 | 2147483647 26064 25 | 1.251 % |
33.51/33.53 c | 27120 | 6870 163881 1106293 | 2147483647 26473 25 | 1.251 % |
33.71/33.73 c | 27569 | 6870 163881 1106293 | 2147483647 26922 25 | 1.252 % |
33.81/33.81 c | 27671 | 6863 162301 1083981 | 2147483647 26097 25 | 1.338 % |
33.91/33.91 c | 27782 | 6862 162301 1083981 | 2147483647 26208 25 | 1.338 % |
33.91/33.97 c | 27903 | 6862 162301 1083981 | 2147483647 26329 25 | 1.338 % |
34.01/34.03 c | 28037 | 6862 162301 1083981 | 2147483647 26463 25 | 1.338 % |
34.01/34.10 c | 28184 | 6862 162301 1083981 | 2147483647 26610 25 | 1.338 % |
34.12/34.18 c | 28345 | 6861 162301 1083981 | 2147483647 26770 25 | 1.352 % |
34.31/34.32 c | 28521 | 6861 162301 1083981 | 2147483647 26946 25 | 1.352 % |
34.31/34.40 c | 28714 | 6859 162301 1083981 | 2147483647 27137 25 | 1.381 % |
34.41/34.48 c | 28926 | 6859 162301 1083981 | 2147483647 27349 25 | 1.381 % |
34.51/34.59 c | 29161 | 6859 162301 1083981 | 2147483647 27584 25 | 1.381 % |
34.61/34.71 c | 29417 | 6859 162301 1083981 | 2147483647 27840 25 | 1.381 % |
34.81/34.88 c | 29698 | 6859 162301 1083981 | 2147483647 28121 25 | 1.381 % |
34.91/34.99 c | 30010 | 6859 162301 1083981 | 2147483647 28433 25 | 1.381 % |
35.11/35.19 c | 30349 | 6859 162301 1083981 | 2147483647 28772 25 | 1.381 % |
35.31/35.34 c | 30721 | 6859 162301 1083981 | 2147483647 29144 25 | 1.381 % |
35.51/35.53 c | 31130 | 6859 162301 1083981 | 2147483647 29553 25 | 1.381 % |
35.71/35.77 c | 31580 | 6859 162301 1083981 | 2147483647 30003 25 | 1.381 % |
35.91/35.98 c | 32073 | 6856 162034 1079898 | 2147483647 30344 25 | 1.381 % |
35.91/36.00 c | 32173 | 6856 162034 1079898 | 2147483647 30444 25 | 1.381 % |
36.01/36.06 c | 32283 | 6852 162034 1079898 | 2147483647 30551 25 | 1.438 % |
36.11/36.13 c | 32406 | 6847 162034 1079898 | 2147483647 30669 25 | 1.511 % |
36.21/36.24 c | 32541 | 6847 162034 1079898 | 2147483647 30804 25 | 1.510 % |
36.32/36.32 c | 32687 | 6847 162034 1079898 | 2147483647 30950 25 | 1.510 % |
36.32/36.39 c | 32847 | 6847 162034 1079898 | 2147483647 31110 24 | 1.510 % |
36.41/36.46 c | 33024 | 6847 162034 1079898 | 2147483647 31287 24 | 1.510 % |
36.51/36.56 c | 33217 | 6847 162034 1079898 | 2147483647 31480 24 | 1.510 % |
36.71/36.71 c | 33430 | 6847 162034 1079898 | 2147483647 31693 24 | 1.510 % |
36.81/36.87 c | 33663 | 6847 162034 1079898 | 2147483647 31926 24 | 1.510 % |
37.11/37.13 c | 33919 | 6847 162034 1079898 | 2147483647 32182 25 | 1.510 % |
37.21/37.24 c | 34200 | 6847 162034 1079898 | 2147483647 32463 25 | 1.510 % |
37.31/37.41 c | 34509 | 6847 162034 1079898 | 2147483647 32772 25 | 1.510 % |
37.51/37.57 c | 34849 | 6835 162034 1079898 | 2147483647 33108 24 | 1.755 % |
37.71/37.73 c | 35223 | 6835 162034 1079898 | 2147483647 33482 25 | 1.755 % |
37.91/37.93 c | 35632 | 6835 162034 1079898 | 2147483647 33891 24 | 1.755 % |
38.01/38.07 c | 36082 | 6835 162034 1079898 | 2147483647 34341 24 | 1.755 % |
38.31/38.32 c | 36576 | 6827 161364 1070137 | 2147483647 34215 24 | 1.798 % |
38.61/38.62 c | 37118 | 6825 161364 1070137 | 2147483647 34756 24 | 1.827 % |
38.61/38.66 c | 37220 | 6825 161364 1070137 | 2147483647 34858 24 | 1.827 % |
38.61/38.71 c | 37330 | 6825 161364 1070137 | 2147483647 34968 24 | 1.827 % |
38.71/38.80 c | 37451 | 6825 161364 1070137 | 2147483647 35089 24 | 1.827 % |
38.81/38.85 c | 37584 | 6825 161364 1070137 | 2147483647 35222 24 | 1.827 % |
38.91/38.91 c | 37731 | 6825 161364 1070137 | 2147483647 35369 24 | 1.827 % |
39.01/39.03 c | 37892 | 6825 161364 1070137 | 2147483647 35530 24 | 1.827 % |
39.11/39.12 c | 38068 | 6825 161364 1070137 | 2147483647 35706 24 | 1.827 % |
39.21/39.22 c | 38261 | 6819 161364 1070137 | 2147483647 35895 24 | 1.928 % |
39.31/39.33 c | 38475 | 6819 161364 1070137 | 2147483647 36109 24 | 1.928 % |
39.51/39.51 c | 38709 | 6819 161364 1070137 | 2147483647 36343 24 | 1.928 % |
39.71/39.71 c | 38967 | 6819 161364 1070137 | 2147483647 36601 24 | 1.928 % |
39.81/39.81 c | 39248 | 6819 161364 1070137 | 2147483647 36882 24 | 1.928 % |
39.91/39.98 c | 39557 | 6819 161364 1070137 | 2147483647 37191 24 | 1.928 % |
40.11/40.14 c | 39897 | 6819 161364 1070137 | 2147483647 37531 24 | 1.928 % |
40.21/40.27 c | 40269 | 6819 161364 1070137 | 2147483647 37903 24 | 1.928 % |
40.61/40.66 c | 40683 | 6819 161364 1070137 | 2147483647 38317 24 | 1.928 % |
41.01/41.02 c | 41132 | 6818 161021 1064927 | 2147483647 38455 25 | 1.928 % |
41.61/41.62 c | 41626 | 6818 161021 1064927 | 2147483647 38949 25 | 1.928 % |
41.82/41.82 c | 42168 | 6818 161021 1064927 | 2147483647 39491 25 | 1.928 % |
42.11/42.15 c | 42764 | 6818 161021 1064927 | 2147483647 40087 25 | 1.928 % |
42.21/42.23 c | 42864 | 6818 161021 1064927 | 2147483647 40187 25 | 1.928 % |
42.31/42.38 c | 42975 | 6818 161021 1064927 | 2147483647 40298 25 | 1.928 % |
42.41/42.48 c | 43096 | 6818 161021 1064927 | 2147483647 40419 25 | 1.928 % |
42.61/42.62 c | 43230 | 6818 161021 1064927 | 2147483647 40553 25 | 1.928 % |
42.71/42.77 c | 43376 | 6818 161021 1064927 | 2147483647 40699 25 | 1.928 % |
42.81/42.91 c | 43536 | 6818 161021 1064927 | 2147483647 40859 25 | 1.928 % |
43.01/43.04 c | 43713 | 6818 161021 1064927 | 2147483647 41036 25 | 1.928 % |
43.11/43.13 c | 43906 | 6794 161021 1064927 | 2147483647 41228 25 | 2.359 % |
43.11/43.20 c | 44118 | 6794 161021 1064927 | 2147483647 41440 24 | 2.359 % |
43.31/43.31 c | 44352 | 6794 161021 1064927 | 2147483647 41674 24 | 2.359 % |
43.51/43.52 c | 44608 | 6794 161021 1064927 | 2147483647 41930 24 | 2.359 % |
43.61/43.70 c | 44889 | 6788 160107 1052179 | 2147483647 41832 24 | 2.359 % |
43.81/43.87 c | 45200 | 6788 160107 1052179 | 2147483647 42143 24 | 2.359 % |
44.11/44.14 c | 45539 | 6788 160107 1052179 | 2147483647 42482 24 | 2.359 % |
44.21/44.25 c | 45912 | 6788 160107 1052179 | 2147483647 42855 24 | 2.359 % |
44.51/44.53 c | 46323 | 6742 160107 1052179 | 2147483647 43252 24 | 3.409 % |
44.71/44.76 c | 46772 | 6742 160107 1052179 | 2147483647 43701 24 | 3.409 % |
44.91/44.96 c | 47266 | 6742 160107 1052179 | 2147483647 44195 24 | 3.409 % |
45.12/45.20 c | 47808 | 6742 160107 1052179 | 2147483647 44737 24 | 3.409 % |
45.51/45.52 c | 48404 | 6742 160107 1052179 | 2147483647 45333 24 | 3.409 % |
45.71/45.80 c | 49060 | 6742 160107 1052179 | 2147483647 45989 24 | 3.409 % |
45.81/45.84 c | 49162 | 6740 160107 1052179 | 2147483647 46090 24 | 3.510 % |
45.91/45.93 c | 49272 | 6740 160107 1052179 | 2147483647 46200 24 | 3.510 % |
46.01/46.02 c | 49394 | 6740 160107 1052179 | 2147483647 46322 24 | 3.510 % |
46.11/46.14 c | 49527 | 6708 157889 1019164 | 2147483647 45338 24 | 3.510 % |
46.22/46.22 c | 49676 | 6708 157889 1019164 | 2147483647 45487 24 | 3.510 % |
46.22/46.30 c | 49838 | 6708 157889 1019164 | 2147483647 45649 24 | 3.510 % |
46.41/46.42 c | 50014 | 6708 157889 1019164 | 2147483647 45825 24 | 3.510 % |
46.51/46.52 c | 50209 | 6707 157889 1019164 | 2147483647 46019 24 | 3.525 % |
46.51/46.61 c | 50422 | 6707 157889 1019164 | 2147483647 46232 24 | 3.524 % |
46.71/46.73 c | 50658 | 6707 157889 1019164 | 2147483647 46468 24 | 3.524 % |
46.81/46.87 c | 50914 | 6707 157889 1019164 | 2147483647 46724 24 | 3.524 % |
46.91/46.98 c | 51196 | 6707 157889 1019164 | 2147483647 47006 24 | 3.524 % |
47.11/47.11 c | 51505 | 6707 157889 1019164 | 2147483647 47315 23 | 3.524 % |
47.32/47.32 c | 51844 | 6700 157889 1019164 | 2147483647 47651 23 | 3.625 % |
47.61/47.62 c | 52217 | 6700 157889 1019164 | 2147483647 48024 23 | 3.625 % |
47.71/47.79 c | 52626 | 6700 157889 1019164 | 2147483647 48433 23 | 3.625 % |
48.11/48.19 c | 53076 | 6700 157889 1019164 | 2147483647 48883 24 | 3.625 % |
48.42/48.50 c | 53570 | 6700 157889 1019164 | 2147483647 49377 24 | 3.626 % |
48.81/48.90 c | 54115 | 6696 157889 1019164 | 2147483647 49920 24 | 3.682 % |
49.11/49.12 c | 54711 | 6696 157524 1013307 | 2147483647 50331 23 | 3.683 % |
49.41/49.41 c | 55368 | 6696 157524 1013307 | 2147483647 50988 23 | 3.682 % |
49.61/49.70 c | 56090 | 6696 157524 1013307 | 2147483647 51710 23 | 3.682 % |
49.71/49.74 c | 56190 | 6696 157524 1013307 | 2147483647 51810 23 | 3.682 % |
49.81/49.82 c | 56301 | 6696 157524 1013307 | 2147483647 51921 23 | 3.682 % |
49.81/49.90 c | 56422 | 6696 157524 1013307 | 2147483647 52042 23 | 3.683 % |
50.01/50.06 c | 56555 | 6696 157524 1013307 | 2147483647 52175 23 | 3.683 % |
50.11/50.14 c | 56703 | 6696 157524 1013307 | 2147483647 52323 23 | 3.682 % |
50.21/50.24 c | 56863 | 6696 157524 1013307 | 2147483647 52483 23 | 3.682 % |
50.31/50.32 c | 57039 | 6696 157524 1013307 | 2147483647 52659 23 | 3.682 % |
50.51/50.52 c | 57232 | 6690 157524 1013307 | 2147483647 52850 23 | 3.783 % |
50.62/50.62 c | 57445 | 6690 157524 1013307 | 2147483647 53063 23 | 3.783 % |
50.81/50.84 c | 57678 | 6690 157524 1013307 | 2147483647 53296 23 | 3.783 % |
51.01/51.06 c | 57936 | 6690 157524 1013307 | 2147483647 53554 23 | 3.783 % |
51.21/51.24 c | 58217 | 6690 157524 1013307 | 2147483647 53835 23 | 3.783 % |
51.31/51.40 c | 58526 | 6690 157524 1013307 | 2147483647 54144 23 | 3.783 % |
51.51/51.53 c | 58867 | 6688 157524 1013307 | 2147483647 54483 23 | 3.812 % |
51.61/51.67 c | 59240 | 6688 157524 1013307 | 2147483647 54856 23 | 3.812 % |
51.91/51.93 c | 59650 | 6687 157271 1009439 | 2147483647 55084 23 | 3.812 % |
52.11/52.11 c | 60099 | 6687 157271 1009439 | 2147483647 55533 23 | 3.812 % |
52.41/52.45 c | 60593 | 6687 157271 1009439 | 2147483647 56027 23 | 3.812 % |
52.71/52.74 c | 61135 | 6685 157271 1009439 | 2147483647 56568 23 | 3.855 % |
53.01/53.10 c | 61731 | 6685 157271 1009439 | 2147483647 57164 23 | 3.855 % |
53.31/53.31 c | 62387 | 6685 157271 1009439 | 2147483647 57820 23 | 3.855 % |
53.71/53.77 c | 63107 | 6685 157271 1009439 | 2147483647 58540 23 | 3.855 % |
54.01/54.08 c | 63899 | 6685 157271 1009439 | 2147483647 59332 23 | 3.855 % |
54.11/54.14 c | 64001 | 6685 157271 1009439 | 2147483647 59434 23 | 3.855 % |
54.21/54.21 c | 64113 | 6685 157271 1009439 | 2147483647 59546 23 | 3.855 % |
54.21/54.26 c | 64237 | 6685 157271 1009439 | 2147483647 59670 23 | 3.855 % |
54.31/54.32 c | 64371 | 6685 157271 1009439 | 2147483647 59804 23 | 3.855 % |
54.41/54.41 c | 64518 | 6685 157271 1009439 | 2147483647 59951 23 | 3.855 % |
54.51/54.55 c | 64678 | 6681 157271 1009439 | 2147483647 60109 23 | 3.927 % |
54.61/54.68 c | 64855 | 6681 157271 1009439 | 2147483647 60286 23 | 3.927 % |
54.81/54.82 c | 65048 | 6681 157271 1009439 | 2147483647 60479 23 | 3.927 % |
54.91/54.96 c | 65261 | 6679 157048 1006061 | 2147483647 60596 23 | 3.927 % |
55.02/55.06 c | 65495 | 6679 157048 1006061 | 2147483647 60830 23 | 3.927 % |
55.21/55.21 c | 65751 | 6678 157048 1006061 | 2147483647 61085 23 | 3.941 % |
55.31/55.33 c | 66032 | 6674 157048 1006061 | 2147483647 61364 23 | 4.013 % |
55.41/55.47 c | 66341 | 6674 157048 1006061 | 2147483647 61673 23 | 4.013 % |
55.51/55.56 c | 66682 | 6674 157048 1006061 | 2147483647 62014 23 | 4.013 % |
55.81/55.82 c | 67057 | 6674 157048 1006061 | 2147483647 62389 23 | 4.013 % |
55.91/55.99 c | 67467 | 6674 157048 1006061 | 2147483647 62799 23 | 4.013 % |
56.31/56.38 c | 67916 | 6674 157048 1006061 | 2147483647 63248 23 | 4.013 % |
56.71/56.74 c | 68409 | 6674 157048 1006061 | 2147483647 63741 23 | 4.013 % |
57.01/57.08 c | 68952 | 6674 157048 1006061 | 2147483647 64284 23 | 4.014 % |
57.41/57.48 c | 69549 | 6674 157048 1006061 | 2147483647 64881 23 | 4.013 % |
57.81/57.85 c | 70205 | 6674 157048 1006061 | 2147483647 65537 23 | 4.013 % |
58.22/58.24 c | 70926 | 6674 157048 1006061 | 2147483647 66258 23 | 4.013 % |
58.62/58.62 c | 71718 | 6673 156855 1002926 | 2147483647 66989 22 | 4.013 % |
59.02/59.08 c | 72590 | 6673 156855 1002926 | 2147483647 67861 22 | 4.013 % |
59.12/59.16 c | 72690 | 6673 156855 1002926 | 2147483647 67961 22 | 4.013 % |
59.22/59.22 c | 72800 | 6673 156855 1002926 | 2147483647 68071 22 | 4.013 % |
59.22/59.26 c | 72921 | 6673 156855 1002926 | 2147483647 68192 22 | 4.013 % |
59.32/59.39 c | 73055 | 6673 156855 1002926 | 2147483647 68326 22 | 4.013 % |
59.42/59.47 c | 73202 | 6673 156855 1002926 | 2147483647 68473 22 | 4.014 % |
59.52/59.59 c | 73363 | 6673 156855 1002926 | 2147483647 68634 22 | 4.013 % |
59.62/59.68 c | 73539 | 6673 156855 1002926 | 2147483647 68810 22 | 4.014 % |
59.72/59.79 c | 73732 | 6673 156855 1002926 | 2147483647 69003 22 | 4.013 % |
59.82/59.85 c | 73946 | 6673 156855 1002926 | 2147483647 69217 22 | 4.013 % |
59.92/59.99 c | 74179 | 6673 156855 1002926 | 2147483647 69450 22 | 4.013 % |
60.02/60.08 c | 74436 | 6673 156855 1002926 | 2147483647 69707 22 | 4.014 % |
60.22/60.23 c | 74717 | 6673 156855 1002926 | 2147483647 69988 22 | 4.013 % |
60.42/60.42 c | 75026 | 6673 156855 1002926 | 2147483647 70297 22 | 4.013 % |
60.52/60.61 c | 75365 | 6671 156855 1002926 | 2147483647 70635 22 | 4.042 % |
60.82/60.84 c | 75738 | 6671 156855 1002926 | 2147483647 71008 22 | 4.042 % |
61.02/61.06 c | 76148 | 6671 156855 1002926 | 2147483647 71418 22 | 4.042 % |
61.22/61.31 c | 76597 | 6671 156855 1002926 | 2147483647 71867 22 | 4.042 % |
61.62/61.66 c | 77090 | 6671 156855 1002926 | 2147483647 72360 22 | 4.042 % |
61.82/61.91 c | 77632 | 6671 156801 1002199 | 2147483647 72859 22 | 4.042 % |
62.42/62.46 c | 78231 | 6671 156801 1002199 | 2147483647 73458 22 | 4.042 % |
62.72/62.80 c | 78886 | 6671 156801 1002199 | 2147483647 74113 22 | 4.042 % |
63.52/63.54 c | 79607 | 6671 156801 1002199 | 2147483647 74834 22 | 4.042 % |
63.92/63.98 c | 80400 | 6671 156801 1002199 | 2147483647 75627 22 | 4.042 % |
64.42/64.46 c | 81271 | 6671 156801 1002199 | 2147483647 76498 22 | 4.042 % |
64.82/64.86 c | 82231 | 6671 156801 1002199 | 2147483647 77458 22 | 4.042 % |
64.92/64.96 c | 82333 | 6671 156801 1002199 | 2147483647 77560 22 | 4.042 % |
64.92/65.01 c | 82443 | 6671 156801 1002199 | 2147483647 77670 22 | 4.042 % |
65.02/65.09 c | 82564 | 6671 156801 1002199 | 2147483647 77791 22 | 4.042 % |
65.22/65.23 c | 82699 | 6670 156801 1002199 | 2147483647 77925 22 | 4.056 % |
65.32/65.34 c | 82845 | 6670 156801 1002199 | 2147483647 78071 22 | 4.056 % |
65.32/65.41 c | 83006 | 6670 156801 1002199 | 2147483647 78232 22 | 4.057 % |
65.52/65.54 c | 83184 | 6664 156801 1002199 | 2147483647 78407 22 | 5.064 % |
65.82/65.83 c | 83377 | 6664 156801 1002199 | 2147483647 78600 22 | 5.063 % |
65.92/66.00 c | 83590 | 6600 154776 971509 | 2147483647 77722 22 | 5.063 % |
66.02/66.08 c | 83824 | 6600 154776 971509 | 2147483647 77956 22 | 5.063 % |
66.32/66.39 c | 84080 | 6600 154776 971509 | 2147483647 78212 22 | 5.063 % |
66.52/66.54 c | 84361 | 6600 154776 971509 | 2147483647 78493 22 | 5.063 % |
66.82/66.84 c | 84670 | 6600 154776 971509 | 2147483647 78802 22 | 5.063 % |
67.02/67.04 c | 85009 | 6600 154776 971509 | 2147483647 79141 22 | 5.063 % |
67.12/67.20 c | 85384 | 6598 154776 971509 | 2147483647 79514 22 | 5.092 % |
67.42/67.46 c | 85794 | 6598 154776 971509 | 2147483647 79924 22 | 5.092 % |
67.82/67.91 c | 86243 | 6597 154776 971509 | 2147483647 80372 22 | 5.106 % |
68.12/68.14 c | 86736 | 6597 154776 971509 | 2147483647 80865 22 | 5.107 % |
68.82/68.85 c | 87278 | 6597 154776 971509 | 2147483647 81407 22 | 5.107 % |
69.02/69.09 c | 87874 | 6597 154776 971509 | 2147483647 82003 22 | 5.107 % |
69.42/69.48 c | 88531 | 6597 154776 971509 | 2147483647 82660 22 | 5.106 % |
69.72/69.75 c | 89252 | 6597 154776 971509 | 2147483647 83381 22 | 5.106 % |
70.12/70.12 c | 90044 | 6597 154776 971509 | 2147483647 84173 22 | 5.106 % |
70.62/70.62 c | 90915 | 6576 154538 968117 | 2147483647 84979 22 | 5.438 % |
71.22/71.31 c | 91874 | 6576 154538 968117 | 2147483647 85938 22 | 5.437 % |
71.82/71.82 c | 92929 | 6576 154538 968117 | 2147483647 86993 22 | 5.437 % |
71.92/71.96 c | 93029 | 6576 154538 968117 | 2147483647 87093 22 | 5.437 % |
72.02/72.04 c | 93139 | 6573 154538 968117 | 2147483647 87202 22 | 5.596 % |
72.02/72.10 c | 93260 | 6573 154538 968117 | 2147483647 87323 22 | 5.596 % |
72.12/72.18 c | 93394 | 6573 154538 968117 | 2147483647 87457 22 | 5.596 % |
72.22/72.26 c | 93540 | 6573 154538 968117 | 2147483647 87603 22 | 5.596 % |
72.32/72.38 c | 93700 | 6573 154538 968117 | 2147483647 87763 22 | 5.596 % |
72.42/72.48 c | 93877 | 6573 154538 968117 | 2147483647 87940 22 | 5.596 % |
72.62/72.62 c | 94070 | 6573 154538 968117 | 2147483647 88133 22 | 5.596 % |
72.62/72.71 c | 94286 | 6573 154538 968117 | 2147483647 88349 22 | 5.596 % |
72.92/72.93 c | 94521 | 6573 154538 968117 | 2147483647 88584 22 | 5.596 % |
73.02/73.07 c | 94777 | 6572 154538 968117 | 2147483647 88839 22 | 5.624 % |
73.12/73.19 c | 95059 | 6572 154538 968117 | 2147483647 89121 22 | 5.624 % |
73.42/73.45 c | 95368 | 6572 154538 968117 | 2147483647 89430 22 | 5.624 % |
73.82/73.83 c | 95711 | 6572 154538 968117 | 2147483647 89773 22 | 5.624 % |
74.02/74.07 c | 96084 | 6572 154538 968117 | 2147483647 90146 22 | 5.624 % |
74.52/74.52 c | 96495 | 6569 154538 968117 | 2147483647 90556 22 | 5.667 % |
75.12/75.15 c | 96944 | 6569 154538 968117 | 2147483647 91005 22 | 5.667 % |
75.72/75.75 c | 97438 | 6569 154538 968117 | 2147483647 91499 22 | 5.667 % |
76.32/76.38 c | 97981 | 6558 153515 951618 | 2147483647 91446 22 | 5.668 % |
76.92/76.99 c | 98578 | 6558 153515 951618 | 2147483647 92043 23 | 5.667 % |
77.32/77.41 c | 99234 | 6558 153515 951618 | 2147483647 92699 23 | 5.668 % |
78.22/78.27 c | 99954 | 6558 153515 951618 | 2147483647 93419 23 | 5.667 % |
78.72/78.73 c | 100746 | 6558 153515 951618 | 2147483647 94211 23 | 5.668 % |
79.32/79.32 c | 101617 | 6558 153515 951618 | 2147483647 95082 23 | 5.667 % |
79.72/79.75 c | 102575 | 6558 153515 951618 | 2147483647 96040 22 | 5.667 % |
80.62/80.71 c | 103630 | 6558 153515 951618 | 2147483647 97095 23 | 5.668 % |
81.12/81.13 c | 104789 | 6558 153515 951618 | 2147483647 98254 23 | 5.667 % |
81.12/81.21 c | 104890 | 6558 153515 951618 | 2147483647 98355 23 | 5.667 % |
81.22/81.27 c | 105000 | 6558 153515 951618 | 2147483647 98465 23 | 5.667 % |
81.32/81.34 c | 105121 | 6558 153515 951618 | 2147483647 98586 23 | 5.667 % |
81.42/81.45 c | 105255 | 6558 153515 951618 | 2147483647 98720 23 | 5.667 % |
81.62/81.62 c | 105401 | 6558 153515 951618 | 2147483647 98866 23 | 5.667 % |
81.72/81.80 c | 105562 | 6558 153515 951618 | 2147483647 99027 23 | 5.667 % |
81.92/82.01 c | 105738 | 6558 153515 951618 | 2147483647 99203 23 | 5.668 % |
82.02/82.08 c | 105931 | 6558 153515 951618 | 2147483647 99396 23 | 5.667 % |
82.32/82.34 c | 106145 | 6558 153515 951618 | 2147483647 99610 23 | 5.667 % |
82.42/82.45 c | 106378 | 6558 153515 951618 | 2147483647 99843 23 | 5.667 % |
82.62/82.70 c | 106634 | 6558 153515 951618 | 2147483647 100099 22 | 5.667 % |
82.82/82.90 c | 106918 | 6558 153515 951618 | 2147483647 100383 23 | 5.667 % |
83.12/83.16 c | 107228 | 6558 153515 951618 | 2147483647 100693 23 | 5.667 % |
83.32/83.35 c | 107568 | 6558 153515 951618 | 2147483647 101033 22 | 5.667 % |
83.62/83.65 c | 107940 | 6558 153515 951618 | 2147483647 101405 22 | 5.667 % |
83.82/83.82 c | 108349 | 6558 153515 951618 | 2147483647 101814 22 | 5.668 % |
84.12/84.17 c | 108798 | 6558 153515 951618 | 2147483647 102263 22 | 5.667 % |
84.32/84.37 c | 109291 | 6558 153515 951618 | 2147483647 102756 22 | 5.667 % |
84.72/84.80 c | 109833 | 6558 153515 951618 | 2147483647 103298 22 | 5.667 % |
85.32/85.39 c | 110432 | 6557 153504 951554 | 2147483647 103891 22 | 5.682 % |
85.92/85.98 c | 111088 | 6557 153504 951554 | 2147483647 104547 22 | 5.682 % |
86.22/86.26 c | 111808 | 6557 153504 951554 | 2147483647 105267 22 | 5.682 % |
86.82/86.84 c | 112600 | 6557 153504 951554 | 2147483647 106059 22 | 5.682 % |
87.42/87.47 c | 113471 | 6557 153504 951554 | 2147483647 106930 22 | 5.682 % |
87.92/87.99 c | 114430 | 6557 153504 951554 | 2147483647 107889 22 | 5.682 % |
88.42/88.45 c | 115483 | 6557 153504 951554 | 2147483647 108942 22 | 5.682 % |
88.92/88.94 c | 116641 | 6557 153504 951554 | 2147483647 110100 22 | 5.682 % |
89.42/89.49 c | 117914 | 6557 153504 951554 | 2147483647 111373 22 | 5.682 % |
89.52/89.54 c | 118014 | 6557 153504 951554 | 2147483647 111473 22 | 5.682 % |
89.62/89.68 c | 118124 | 6556 153504 951554 | 2147483647 111582 22 | 5.696 % |
89.72/89.79 c | 118246 | 6556 153504 951554 | 2147483647 111704 22 | 5.696 % |
89.92/89.93 c | 118380 | 6556 153504 951554 | 2147483647 111838 22 | 5.696 % |
90.02/90.02 c | 118527 | 6556 153504 951554 | 2147483647 111985 22 | 5.696 % |
90.12/90.12 c | 118689 | 6556 153504 951554 | 2147483647 112147 22 | 5.696 % |
90.42/90.43 c | 118866 | 6556 153472 951027 | 2147483647 112313 22 | 5.696 % |
90.72/90.71 c | 119059 | 6556 153472 951027 | 2147483647 112506 22 | 5.696 % |
90.92/90.92 c | 119271 | 6556 153472 951027 | 2147483647 112718 22 | 5.696 % |
91.02/91.09 c | 119505 | 6556 153472 951027 | 2147483647 112952 22 | 5.697 % |
91.22/91.22 c | 119762 | 6556 153472 951027 | 2147483647 113209 22 | 5.696 % |
91.42/91.50 c | 120043 | 6556 153472 951027 | 2147483647 113490 22 | 5.696 % |
91.92/91.92 c | 120352 | 6556 153472 951027 | 2147483647 113799 22 | 5.697 % |
92.12/92.21 c | 120692 | 6556 153472 951027 | 2147483647 114139 22 | 5.696 % |
92.42/92.49 c | 121064 | 6556 153472 951027 | 2147483647 114511 22 | 5.696 % |
92.72/92.79 c | 121473 | 6556 153472 951027 | 2147483647 114920 22 | 5.696 % |
93.02/93.03 c | 121922 | 6556 153472 951027 | 2147483647 115369 22 | 5.696 % |
93.42/93.42 c | 122416 | 6556 153472 951027 | 2147483647 115863 22 | 5.696 % |
93.82/93.89 c | 122958 | 6556 153472 951027 | 2147483647 116405 22 | 5.697 % |
94.62/94.66 c | 123556 | 6556 153472 951027 | 2147483647 117003 22 | 5.696 % |
94.92/95.01 c | 124211 | 6556 153472 951027 | 2147483647 117658 22 | 5.696 % |
95.22/95.26 c | 124932 | 6556 153472 951027 | 2147483647 118379 22 | 5.696 % |
95.62/95.69 c | 125725 | 6556 153472 951027 | 2147483647 119172 22 | 5.696 % |
96.62/96.68 c | 126597 | 6556 153472 951027 | 2147483647 120044 22 | 5.696 % |
97.62/97.66 c | 127557 | 6556 153472 951027 | 2147483647 121004 22 | 5.697 % |
98.02/98.02 c | 128610 | 6556 153472 951027 | 2147483647 122057 22 | 5.697 % |
98.42/98.51 c | 129768 | 6556 153472 951027 | 2147483647 123215 22 | 5.696 % |
99.12/99.15 c | 131041 | 6556 153472 951027 | 2147483647 124488 22 | 5.696 % |
101.22/101.25 c | 132441 | 6555 153457 950922 | 2147483647 125883 22 | 5.711 % |
101.32/101.33 c | 132541 | 6555 153457 950922 | 2147483647 125983 22 | 5.711 % |
101.42/101.46 c | 132651 | 6554 153457 950922 | 2147483647 126092 22 | 5.725 % |
101.52/101.58 c | 132772 | 6552 153457 950922 | 2147483647 126212 22 | 5.754 % |
101.62/101.70 c | 132907 | 6552 153457 950922 | 2147483647 126347 22 | 5.754 % |
101.82/101.81 c | 133057 | 6549 153457 950922 | 2147483647 126495 22 | 5.797 % |
102.02/102.02 c | 133218 | 6549 153457 950922 | 2147483647 126656 22 | 5.797 % |
102.12/102.16 c | 133394 | 6549 153457 950922 | 2147483647 126832 22 | 5.797 % |
102.32/102.35 c | 133589 | 6549 153457 950922 | 2147483647 127027 22 | 5.797 % |
102.42/102.47 c | 133801 | 6549 153457 950922 | 2147483647 127239 22 | 5.797 % |
102.62/102.67 c | 134034 | 6549 153457 950922 | 2147483647 127472 22 | 5.797 % |
102.82/102.82 c | 134290 | 6548 153457 950922 | 2147483647 127727 22 | 5.811 % |
103.02/103.06 c | 134573 | 6548 153457 950922 | 2147483647 128010 22 | 5.811 % |
103.22/103.28 c | 134883 | 6543 153457 950922 | 2147483647 128318 22 | 5.883 % |
103.52/103.56 c | 135222 | 6543 153457 950922 | 2147483647 128657 22 | 5.883 % |
103.72/103.79 c | 135594 | 6543 153457 950922 | 2147483647 129029 22 | 5.883 % |
104.22/104.27 c | 136003 | 6543 153457 950922 | 2147483647 129438 22 | 5.883 % |
104.72/104.71 c | 136452 | 6543 153457 950922 | 2147483647 129887 22 | 5.883 % |
105.22/105.27 c | 136945 | 6543 153457 950922 | 2147483647 130380 22 | 5.883 % |
105.82/105.87 c | 137488 | 6543 153457 950922 | 2147483647 130923 22 | 5.884 % |
106.32/106.34 c | 138087 | 6543 153457 950922 | 2147483647 131522 22 | 5.883 % |
106.72/106.80 c | 138742 | 6543 153457 950922 | 2147483647 132177 22 | 5.883 % |
107.32/107.39 c | 139463 | 6543 153457 950922 | 2147483647 132898 22 | 5.883 % |
107.82/107.83 c | 140257 | 6543 153457 950922 | 2147483647 133692 22 | 5.884 % |
108.62/108.65 c | 141128 | 6543 153457 950922 | 2147483647 134563 22 | 5.883 % |
109.02/109.11 c | 142086 | 6543 153146 946593 | 2147483647 135352 22 | 5.883 % |
110.32/110.32 c | 143140 | 6543 153146 946593 | 2147483647 136406 22 | 5.883 % |
110.82/110.89 c | 144300 | 6543 153146 946593 | 2147483647 137566 22 | 5.883 % |
111.72/111.72 c | 145574 | 6543 153146 946593 | 2147483647 138840 22 | 5.883 % |
112.32/112.34 c | 146974 | 6543 153146 946593 | 2147483647 140240 22 | 5.883 % |
113.72/113.74 c | 148514 | 6543 153146 946593 | 2147483647 141780 22 | 5.883 % |
113.82/113.84 c | 148618 | 6543 153146 946593 | 2147483647 141884 22 | 5.883 % |
113.92/113.94 c | 148729 | 6543 153146 946593 | 2147483647 141995 22 | 5.883 % |
114.02/114.08 c | 148851 | 6543 153146 946593 | 2147483647 142117 22 | 5.883 % |
114.12/114.17 c | 148984 | 6543 153146 946593 | 2147483647 142250 22 | 5.883 % |
114.22/114.26 c | 149131 | 6543 153146 946593 | 2147483647 142397 22 | 5.883 % |
114.42/114.51 c | 149292 | 6543 153146 946593 | 2147483647 142558 22 | 5.883 % |
114.52/114.61 c | 149469 | 6543 153146 946593 | 2147483647 142735 22 | 5.884 % |
114.92/114.97 c | 149662 | 6543 153146 946593 | 2147483647 142928 22 | 5.883 % |
115.02/115.05 c | 149874 | 6543 153146 946593 | 2147483647 143140 22 | 5.883 % |
115.32/115.40 c | 150108 | 6543 153146 946593 | 2147483647 143374 22 | 5.883 % |
115.62/115.71 c | 150364 | 6543 153146 946593 | 2147483647 143630 22 | 5.883 % |
115.92/115.98 c | 150645 | 6543 153146 946593 | 2147483647 143911 22 | 5.883 % |
116.22/116.23 c | 150955 | 6543 153146 946593 | 2147483647 144221 22 | 5.883 % |
116.42/116.49 c | 151294 | 6543 153146 946593 | 2147483647 144560 22 | 5.883 % |
116.63/116.71 c | 151666 | 6543 153146 946593 | 2147483647 144932 22 | 5.883 % |
116.92/117.00 c | 152076 | 6543 153146 946593 | 2147483647 145342 22 | 5.883 % |
117.62/117.70 c | 152526 | 6543 153146 946593 | 2147483647 145792 22 | 5.884 % |
118.02/118.04 c | 153020 | 6543 153146 946593 | 2147483647 146286 22 | 5.883 % |
118.72/118.75 c | 153562 | 6543 153146 946593 | 2147483647 146828 22 | 5.884 % |
119.12/119.14 c | 154159 | 6543 153146 946593 | 2147483647 147425 22 | 5.883 % |
119.72/119.72 c | 154814 | 6543 153146 946593 | 2147483647 148080 22 | 5.883 % |
119.93/120.00 c | 155535 | 6543 153146 946593 | 2147483647 148801 22 | 5.883 % |
121.52/121.52 c | 156327 | 6543 153146 946593 | 2147483647 149593 22 | 5.883 % |
122.62/122.64 c | 157198 | 6543 153146 946593 | 2147483647 150464 22 | 5.884 % |
123.62/123.67 c | 158157 | 6543 153146 946593 | 2147483647 151423 22 | 5.884 % |
124.12/124.20 c | 159213 | 6543 153146 946593 | 2147483647 152479 22 | 5.883 % |
124.82/124.82 c | 160372 | 6543 153146 946593 | 2147483647 153638 22 | 5.883 % |
125.32/125.41 c | 161645 | 6543 153146 946593 | 2147483647 154911 22 | 5.883 % |
126.22/126.25 c | 163046 | 6543 153146 946593 | 2147483647 156312 22 | 5.883 % |
127.22/127.22 c | 164586 | 6542 153110 946052 | 2147483647 157847 22 | 5.898 % |
128.42/128.44 c | 166280 | 6542 153110 946052 | 2147483647 159541 22 | 5.898 % |
128.52/128.55 c | 166380 | 6542 153110 946052 | 2147483647 159641 22 | 5.898 % |
128.52/128.60 c | 166491 | 6542 153110 946052 | 2147483647 159752 22 | 5.898 % |
128.73/128.74 c | 166613 | 6542 153110 946052 | 2147483647 159874 22 | 5.898 % |
128.82/128.85 c | 166747 | 6542 153110 946052 | 2147483647 160008 22 | 5.898 % |
129.12/129.12 c | 166893 | 6542 153110 946052 | 2147483647 160154 22 | 5.898 % |
129.22/129.30 c | 167054 | 6542 153110 946052 | 2147483647 160315 22 | 5.898 % |
129.42/129.49 c | 167230 | 6542 153110 946052 | 2147483647 160491 22 | 5.898 % |
129.72/129.71 c | 167424 | 6542 153110 946052 | 2147483647 160685 22 | 5.898 % |
129.92/129.95 c | 167636 | 6542 153110 946052 | 2147483647 160897 22 | 5.898 % |
130.42/130.46 c | 167869 | 6542 153110 946052 | 2147483647 161130 22 | 5.898 % |
130.82/130.85 c | 168125 | 6542 153110 946052 | 2147483647 161386 22 | 5.898 % |
131.52/131.61 c | 168408 | 6542 153110 946052 | 2147483647 161669 22 | 5.898 % |
131.82/131.86 c | 168717 | 6542 153110 946052 | 2147483647 161978 22 | 5.898 % |
132.22/132.23 c | 169057 | 6542 153110 946052 | 2147483647 162318 22 | 5.898 % |
132.62/132.64 c | 169430 | 6542 153110 946052 | 2147483647 162691 22 | 5.898 % |
132.92/132.95 c | 169841 | 6542 153110 946052 | 2147483647 163102 22 | 5.898 % |
133.22/133.23 c | 170291 | 6542 153110 946052 | 2147483647 163552 22 | 5.898 % |
133.62/133.67 c | 170784 | 6542 153110 946052 | 2147483647 164045 22 | 5.898 % |
133.92/133.98 c | 171326 | 6542 153110 946052 | 2147483647 164587 22 | 5.898 % |
134.62/134.63 c | 171922 | 6542 153110 946052 | 2147483647 165183 22 | 5.898 % |
135.02/135.03 c | 172577 | 6542 153110 946052 | 2147483647 165838 22 | 5.898 % |
136.32/136.32 c | 173300 | 6542 153110 946052 | 2147483647 166561 22 | 5.898 % |
136.72/136.76 c | 174094 | 6542 153110 946052 | 2147483647 167355 22 | 5.898 % |
138.02/138.07 c | 174967 | 6542 153110 946052 | 2147483647 168228 22 | 5.898 % |
138.42/138.46 c | 175925 | 6542 153110 946052 | 2147483647 169186 22 | 5.898 % |
139.32/139.36 c | 176980 | 6542 153110 946052 | 2147483647 170241 22 | 5.898 % |
140.42/140.48 c | 178138 | 6540 153046 944998 | 2147483647 171390 22 | 5.927 % |
141.42/141.42 c | 179411 | 6540 153046 944998 | 2147483647 172663 22 | 5.926 % |
142.22/142.29 c | 180811 | 6540 153046 944998 | 2147483647 174063 22 | 5.927 % |
143.22/143.25 c | 182352 | 6540 153046 944998 | 2147483647 175604 22 | 5.926 % |
143.92/143.92 c | 184047 | 6540 153046 944998 | 2147483647 177299 22 | 5.926 % |
144.92/144.97 c | 185913 | 6540 153046 944998 | 2147483647 179165 22 | 5.926 % |
145.02/145.07 c | 186013 | 6540 153046 944998 | 2147483647 179265 22 | 5.926 % |
145.12/145.16 c | 186124 | 6540 153046 944998 | 2147483647 179376 22 | 5.926 % |
145.23/145.26 c | 186246 | 6540 153046 944998 | 2147483647 179498 22 | 5.926 % |
145.42/145.43 c | 186379 | 6540 153046 944998 | 2147483647 179631 22 | 5.926 % |
145.52/145.54 c | 186525 | 6540 153046 944998 | 2147483647 179777 22 | 5.926 % |
145.62/145.65 c | 186686 | 6540 153046 944998 | 2147483647 179938 22 | 5.926 % |
145.72/145.78 c | 186862 | 6540 153046 944998 | 2147483647 180114 22 | 5.926 % |
145.92/145.94 c | 187055 | 6540 153046 944998 | 2147483647 180307 22 | 5.926 % |
146.12/146.11 c | 187267 | 6540 153046 944998 | 2147483647 180519 22 | 5.926 % |
146.33/146.37 c | 187502 | 6540 153046 944998 | 2147483647 180754 22 | 5.926 % |
146.52/146.60 c | 187758 | 6540 153046 944998 | 2147483647 181010 22 | 5.926 % |
146.82/146.86 c | 188041 | 6540 153046 944998 | 2147483647 181293 22 | 5.926 % |
147.22/147.24 c | 188350 | 6540 153046 944998 | 2147483647 181602 22 | 5.926 % |
147.43/147.46 c | 188690 | 6540 153046 944998 | 2147483647 181942 22 | 5.926 % |
147.62/147.62 c | 189062 | 6540 153046 944998 | 2147483647 182314 22 | 5.926 % |
147.92/147.91 c | 189472 | 6540 153046 944998 | 2147483647 182724 22 | 5.926 % |
148.12/148.15 c | 189921 | 6540 153046 944998 | 2147483647 183173 22 | 5.926 % |
148.53/148.59 c | 190415 | 6540 153046 944998 | 2147483647 183667 22 | 5.926 % |
149.32/149.38 c | 190958 | 6540 153046 944998 | 2147483647 184210 22 | 5.926 % |
150.02/150.03 c | 191555 | 6540 153046 944998 | 2147483647 184807 22 | 5.926 % |
150.52/150.53 c | 192210 | 6540 153046 944998 | 2147483647 185462 22 | 5.926 % |
152.72/152.73 c | 192930 | 6540 153046 944998 | 2147483647 186182 22 | 5.926 % |
153.22/153.28 c | 193722 | 6540 153046 944998 | 2147483647 186974 22 | 5.927 % |
154.52/154.57 c | 194593 | 6540 153046 944998 | 2147483647 187845 22 | 5.926 % |
155.42/155.43 c | 195551 | 6540 153046 944998 | 2147483647 188803 22 | 5.926 % |
156.12/156.14 c | 196605 | 6539 153014 944471 | 2147483647 189844 22 | 5.941 % |
158.03/158.11 c | 197764 | 6539 153014 944471 | 2147483647 191003 22 | 5.941 % |
158.83/158.88 c | 199037 | 6539 153014 944471 | 2147483647 192276 22 | 5.941 % |
160.33/160.39 c | 200437 | 6533 153014 944471 | 2147483647 193674 22 | 6.027 % |
161.23/161.29 c | 201979 | 6533 153014 944471 | 2147483647 195216 22 | 6.027 % |
162.43/162.43 c | 203673 | 6533 153014 944471 | 2147483647 196910 22 | 6.027 % |
163.93/164.01 c | 205536 | 6533 153014 944471 | 2147483647 198773 22 | 6.027 % |
165.73/165.73 c | 207585 | 6533 153014 944471 | 2147483647 200822 22 | 6.027 % |
165.83/165.88 c | 207685 | 6533 153014 944471 | 2147483647 200922 22 | 6.027 % |
166.03/166.07 c | 207796 | 6533 153014 944471 | 2147483647 201033 22 | 6.027 % |
166.23/166.24 c | 207917 | 6533 153014 944471 | 2147483647 201154 22 | 6.027 % |
166.63/166.62 c | 208052 | 6533 153014 944471 | 2147483647 201289 22 | 6.027 % |
166.83/166.88 c | 208198 | 6533 153014 944471 | 2147483647 201435 22 | 6.027 % |
166.93/167.01 c | 208358 | 6533 153014 944471 | 2147483647 201595 22 | 6.027 % |
167.33/167.42 c | 208535 | 6533 153014 944471 | 2147483647 201772 22 | 6.027 % |
167.73/167.79 c | 208728 | 6533 153014 944471 | 2147483647 201964 22 | 6.041 % |
168.33/168.35 c | 208942 | 6532 153014 944471 | 2147483647 202178 22 | 6.041 % |
168.93/169.01 c | 209177 | 6532 153014 944471 | 2147483647 202413 22 | 6.041 % |
169.63/169.65 c | 209433 | 6532 153014 944471 | 2147483647 202669 22 | 6.042 % |
170.23/170.26 c | 209716 | 6532 153014 944471 | 2147483647 202952 22 | 6.041 % |
170.83/170.88 c | 210026 | 6532 153014 944471 | 2147483647 203262 22 | 6.041 % |
171.53/171.52 c | 210366 | 6532 152791 940813 | 2147483647 203483 22 | 6.041 % |
171.83/171.82 c | 210739 | 6532 152791 940813 | 2147483647 203856 22 | 6.042 % |
172.33/172.36 c | 211149 | 6532 152791 940813 | 2147483647 204266 22 | 6.041 % |
172.63/172.64 c | 211599 | 6532 152791 940813 | 2147483647 204716 22 | 6.041 % |
173.53/173.53 c | 212092 | 6527 152791 940813 | 2147483647 205208 22 | 6.113 % |
174.03/174.04 c | 212635 | 6527 152791 940813 | 2147483647 205751 22 | 6.113 % |
174.83/174.90 c | 213232 | 6527 152791 940813 | 2147483647 206348 22 | 6.113 % |
175.53/175.57 c | 213888 | 6527 152791 940813 | 2147483647 207004 22 | 6.113 % |
176.13/176.21 c | 214608 | 6527 152791 940813 | 2147483647 207724 22 | 6.113 % |
176.83/176.90 c | 215400 | 6527 152791 940813 | 2147483647 208516 22 | 6.114 % |
177.63/177.63 c | 216271 | 6527 152791 940813 | 2147483647 209387 22 | 6.113 % |
178.23/178.26 c | 217229 | 6527 152791 940813 | 2147483647 210345 22 | 6.113 % |
179.23/179.22 c | 218283 | 6527 152791 940813 | 2147483647 211399 22 | 6.113 % |
180.93/180.97 c | 219444 | 6527 152791 940813 | 2147483647 212560 22 | 6.113 % |
182.73/182.81 c | 220717 | 6527 152791 940813 | 2147483647 213833 23 | 6.113 % |
185.43/185.45 c | 222117 | 6527 152791 940813 | 2147483647 215233 23 | 6.113 % |
187.23/187.22 c | 223658 | 6527 152791 940813 | 2147483647 216774 23 | 6.113 % |
188.53/188.59 c | 225354 | 6527 152791 940813 | 2147483647 218470 23 | 6.113 % |
189.93/190.00 c | 227219 | 6527 152632 938209 | 2147483647 220274 23 | 6.113 % |
191.23/191.30 c | 229269 | 6527 152632 938209 | 2147483647 222324 23 | 6.113 % |
193.13/193.20 c | 231522 | 6527 152632 938209 | 2147483647 224577 23 | 6.113 % |
193.33/193.34 c | 231622 | 6527 152632 938209 | 2147483647 224677 23 | 6.113 % |
193.43/193.51 c | 231733 | 6515 152632 938209 | 2147483647 224786 23 | 6.286 % |
193.83/193.86 c | 231855 | 6515 152632 938209 | 2147483647 224908 23 | 6.286 % |
193.93/194.01 c | 231988 | 6515 152632 938209 | 2147483647 225041 23 | 6.286 % |
194.23/194.27 c | 232134 | 6515 152632 938209 | 2147483647 225187 23 | 6.286 % |
194.43/194.48 c | 232295 | 6515 152632 938209 | 2147483647 225348 23 | 6.286 % |
194.63/194.71 c | 232472 | 6511 152632 938209 | 2147483647 225524 23 | 6.372 % |
194.83/194.88 c | 232665 | 6511 152632 938209 | 2147483647 225717 23 | 6.372 % |
195.03/195.05 c | 232877 | 6511 152632 938209 | 2147483647 225929 23 | 6.372 % |
195.43/195.44 c | 233110 | 6511 152632 938209 | 2147483647 226162 23 | 6.372 % |
195.93/195.93 c | 233366 | 6511 152632 938209 | 2147483647 226418 23 | 6.372 % |
196.03/196.09 c | 233647 | 6511 152632 938209 | 2147483647 226699 23 | 6.372 % |
196.53/196.56 c | 233956 | 6511 152632 938209 | 2147483647 227008 23 | 6.372 % |
196.83/196.90 c | 234296 | 6511 152632 938209 | 2147483647 227348 23 | 6.372 % |
197.23/197.25 c | 234670 | 6511 152632 938209 | 2147483647 227722 23 | 6.372 % |
197.53/197.53 c | 235079 | 6511 152632 938209 | 2147483647 228131 23 | 6.372 % |
197.83/197.91 c | 235529 | 6511 152632 938209 | 2147483647 228581 23 | 6.372 % |
198.53/198.52 c | 236023 | 6509 152632 938209 | 2147483647 229073 23 | 6.401 % |
198.83/198.87 c | 236566 | 6509 152632 938209 | 2147483647 229616 23 | 6.401 % |
199.33/199.40 c | 237164 | 6503 152632 938209 | 2147483647 230213 23 | 6.732 % |
200.13/200.15 c | 237819 | 6503 152632 938209 | 2147483647 230868 23 | 6.732 % |
201.83/201.86 c | 238540 | 6503 152632 938209 | 2147483647 231589 23 | 6.732 % |
204.13/204.18 c | 239335 | 6503 152632 938209 | 2147483647 232384 23 | 6.732 % |
204.83/204.91 c | 240207 | 6502 152632 938209 | 2147483647 233255 23 | 6.746 % |
205.63/205.67 c | 241167 | 6502 152632 938209 | 2147483647 234215 23 | 6.746 % |
206.33/206.37 c | 242220 | 6502 152632 938209 | 2147483647 235268 23 | 6.746 % |
207.23/207.26 c | 243378 | 6502 152632 938209 | 2147483647 236426 23 | 6.746 % |
208.83/208.82 c | 244651 | 6483 151456 920236 | 2147483647 237207 23 | 6.746 % |
210.93/210.99 c | 246051 | 6483 151456 920236 | 2147483647 238607 23 | 6.746 % |
212.13/212.14 c | 247592 | 6483 151456 920236 | 2147483647 240148 23 | 6.746 % |
216.83/216.83 c | 249287 | 6483 151456 920236 | 2147483647 241843 23 | 6.746 % |
218.83/218.83 c | 251150 | 6483 151456 920236 | 2147483647 243706 23 | 6.747 % |
222.03/222.06 c | 253199 | 6483 151456 920236 | 2147483647 245755 23 | 6.746 % |
224.44/224.44 c | 255454 | 6483 151456 920236 | 2147483647 248010 23 | 6.746 % |
226.83/226.89 c | 257933 | 6483 151456 920236 | 2147483647 250489 23 | 6.746 % |
226.93/226.96 c | 258036 | 6483 151456 920236 | 2147483647 250592 23 | 6.746 % |
227.03/227.10 c | 258148 | 6483 151456 920236 | 2147483647 250704 23 | 6.746 % |
227.33/227.31 c | 258269 | 6483 151456 920236 | 2147483647 250825 23 | 6.746 % |
227.43/227.48 c | 258402 | 6483 151456 920236 | 2147483647 250958 23 | 6.747 % |
227.63/227.65 c | 258548 | 6483 151456 920236 | 2147483647 251104 23 | 6.746 % |
227.83/227.84 c | 258708 | 6483 151456 920236 | 2147483647 251264 23 | 6.746 % |
228.13/228.13 c | 258886 | 6483 151456 920236 | 2147483647 251442 23 | 6.746 % |
228.33/228.32 c | 259079 | 6483 151456 920236 | 2147483647 251635 23 | 6.746 % |
228.43/228.47 c | 259291 | 6482 151456 920236 | 2147483647 251846 23 | 6.761 % |
228.84/228.84 c | 259524 | 6482 151456 920236 | 2147483647 252079 23 | 6.761 % |
229.03/229.09 c | 259780 | 6482 151456 920236 | 2147483647 252335 23 | 6.761 % |
229.63/229.70 c | 260061 | 6482 151456 920236 | 2147483647 252616 23 | 6.761 % |
229.83/229.91 c | 260371 | 6482 151456 920236 | 2147483647 252926 23 | 6.761 % |
230.13/230.19 c | 260711 | 6482 151456 920236 | 2147483647 253266 23 | 6.761 % |
230.73/230.71 c | 261084 | 6482 151456 920236 | 2147483647 253639 23 | 6.761 % |
231.13/231.15 c | 261493 | 6482 151424 919709 | 2147483647 254037 23 | 6.761 % |
231.83/231.82 c | 261942 | 6482 151424 919709 | 2147483647 254486 23 | 6.761 % |
232.73/232.76 c | 262436 | 6482 151424 919709 | 2147483647 254980 23 | 6.761 % |
233.03/233.04 c | 262978 | 6482 151424 919709 | 2147483647 255522 23 | 6.761 % |
234.23/234.29 c | 263576 | 6482 151424 919709 | 2147483647 256120 23 | 6.761 % |
234.73/234.80 c | 264231 | 6482 151424 919709 | 2147483647 256775 23 | 6.761 % |
235.73/235.77 c | 264952 | 6482 151424 919709 | 2147483647 257496 23 | 6.761 % |
237.33/237.32 c | 265745 | 6482 151424 919709 | 2147483647 258289 23 | 6.761 % |
238.33/238.31 c | 266616 | 6482 151424 919709 | 2147483647 259160 23 | 6.761 % |
238.83/238.87 c | 267574 | 6482 151424 919709 | 2147483647 260118 23 | 6.761 % |
239.73/239.77 c | 268628 | 6482 151424 919709 | 2147483647 261172 23 | 6.761 % |
240.53/240.61 c | 269786 | 6482 151424 919709 | 2147483647 262330 23 | 6.761 % |
241.33/241.33 c | 271060 | 6482 151424 919709 | 2147483647 263604 23 | 6.761 % |
242.53/242.58 c | 272462 | 6482 151424 919709 | 2147483647 265006 23 | 6.761 % |
244.33/244.36 c | 274003 | 6482 151424 919709 | 2147483647 266547 23 | 6.761 % |
245.83/245.90 c | 275698 | 6482 151424 919709 | 2147483647 268242 23 | 6.761 % |
247.33/247.31 c | 277562 | 6482 151424 919709 | 2147483647 270106 23 | 6.761 % |
248.53/248.60 c | 279614 | 6482 151424 919709 | 2147483647 272158 23 | 6.761 % |
249.93/249.93 c | 281868 | 6482 151424 919709 | 2147483647 274412 23 | 6.761 % |
254.54/254.55 c | 284347 | 6482 151424 919709 | 2147483647 276891 23 | 6.761 % |
262.14/262.21 c | 287072 | 6482 151424 919709 | 2147483647 279616 24 | 6.761 % |
262.34/262.41 c | 287173 | 6482 151424 919709 | 2147483647 279717 24 | 6.761 % |
262.54/262.55 c | 287283 | 6482 151424 919709 | 2147483647 279827 24 | 6.761 % |
262.84/262.86 c | 287406 | 6482 151424 919709 | 2147483647 279950 24 | 6.761 % |
262.94/262.98 c | 287539 | 6482 151424 919709 | 2147483647 280083 24 | 6.761 % |
263.24/263.31 c | 287687 | 6482 151424 919709 | 2147483647 280231 24 | 6.761 % |
263.74/263.74 c | 287847 | 6482 151424 919709 | 2147483647 280391 24 | 6.761 % |
263.94/263.92 c | 288023 | 6482 151424 919709 | 2147483647 280567 24 | 6.761 % |
264.14/264.14 c | 288218 | 6482 151424 919709 | 2147483647 280762 24 | 6.761 % |
264.34/264.39 c | 288430 | 6482 151424 919709 | 2147483647 280974 24 | 6.761 % |
264.64/264.63 c | 288663 | 6482 151424 919709 | 2147483647 281207 24 | 6.761 % |
264.84/264.84 c | 288919 | 6482 151424 919709 | 2147483647 281463 24 | 6.761 % |
265.34/265.38 c | 289201 | 6482 151424 919709 | 2147483647 281745 24 | 6.761 % |
265.84/265.87 c | 289511 | 6482 151424 919709 | 2147483647 282055 24 | 6.761 % |
266.24/266.29 c | 289851 | 6482 151424 919709 | 2147483647 282395 24 | 6.761 % |
266.84/266.87 c | 290225 | 6482 151424 919709 | 2147483647 282769 24 | 6.761 % |
267.14/267.18 c | 290634 | 6482 151424 919709 | 2147483647 283178 24 | 6.761 % |
267.44/267.47 c | 291084 | 6482 151424 919709 | 2147483647 283628 24 | 6.761 % |
268.34/268.36 c | 291579 | 6476 151232 916547 | 2147483647 284005 24 | 6.847 % |
268.74/268.74 c | 292121 | 6476 151232 916547 | 2147483647 284547 24 | 6.847 % |
269.34/269.35 c | 292717 | 6476 151232 916547 | 2147483647 285143 24 | 6.847 % |
269.84/269.86 c | 293373 | 6476 151232 916547 | 2147483647 285799 24 | 6.847 % |
270.34/270.38 c | 294094 | 6476 151232 916547 | 2147483647 286520 24 | 6.847 % |
271.34/271.39 c | 294886 | 6476 151232 916547 | 2147483647 287312 24 | 6.847 % |
271.83/271.90 c | 295757 | 6476 151232 916547 | 2147483647 288183 24 | 6.847 % |
273.33/273.33 c | 296720 | 6476 151232 916547 | 2147483647 289146 24 | 6.847 % |
273.73/273.77 c | 297773 | 6476 151232 916547 | 2147483647 290199 24 | 6.847 % |
274.93/274.95 c | 298931 | 6476 151232 916547 | 2147483647 291357 24 | 6.847 % |
275.63/275.70 c | 300204 | 6476 151232 916547 | 2147483647 292630 24 | 6.847 % |
276.33/276.39 c | 301604 | 6476 151232 916547 | 2147483647 294030 24 | 6.847 % |
277.23/277.28 c | 303144 | 6476 151232 916547 | 2147483647 295570 23 | 6.847 % |
278.83/278.81 c | 304838 | 6476 151232 916547 | 2147483647 297264 23 | 6.847 % |
280.13/280.15 c | 306701 | 6476 151232 916547 | 2147483647 299127 23 | 6.847 % |
281.73/281.72 c | 308750 | 6476 151232 916547 | 2147483647 301176 23 | 6.847 % |
283.83/283.84 c | 311003 | 6476 151232 916547 | 2147483647 303429 23 | 6.847 % |
286.63/286.62 c | 313481 | 6476 151232 916547 | 2147483647 305907 23 | 6.847 % |
288.73/288.77 c | 316206 | 6476 151232 916547 | 2147483647 308632 23 | 6.847 % |
291.93/292.00 c | 319204 | 6476 151232 916547 | 2147483647 311630 23 | 6.847 % |
292.13/292.19 c | 319304 | 6476 151232 916547 | 2147483647 311730 23 | 6.847 % |
292.33/292.37 c | 319414 | 6476 151232 916547 | 2147483647 311840 23 | 6.847 % |
292.53/292.60 c | 319535 | 6476 151232 916547 | 2147483647 311961 23 | 6.847 % |
292.93/292.93 c | 319668 | 6476 151232 916547 | 2147483647 312094 23 | 6.847 % |
293.03/293.10 c | 319815 | 6476 151232 916547 | 2147483647 312241 23 | 6.847 % |
293.23/293.25 c | 319976 | 6476 151232 916547 | 2147483647 312402 23 | 6.847 % |
293.33/293.40 c | 320153 | 6476 151232 916547 | 2147483647 312579 23 | 6.847 % |
293.73/293.75 c | 320346 | 6476 151232 916547 | 2147483647 312772 23 | 6.847 % |
293.83/293.88 c | 320558 | 6476 151232 916547 | 2147483647 312984 23 | 6.847 % |
294.03/294.03 c | 320791 | 6476 151232 916547 | 2147483647 313217 23 | 6.847 % |
294.23/294.27 c | 321047 | 6476 151232 916547 | 2147483647 313473 23 | 6.847 % |
294.73/294.78 c | 321329 | 6476 151232 916547 | 2147483647 313755 23 | 6.847 % |
295.73/295.73 c | 321640 | 6476 151232 916547 | 2147483647 314066 23 | 6.847 % |
296.83/296.86 c | 321979 | 6476 151232 916547 | 2147483647 314405 23 | 6.847 % |
297.33/297.35 c | 322351 | 6476 151232 916547 | 2147483647 314777 23 | 6.847 % |
297.73/297.72 c | 322761 | 6476 151232 916547 | 2147483647 315187 23 | 6.847 % |
298.23/298.22 c | 323210 | 6476 151232 916547 | 2147483647 315636 23 | 6.847 % |
298.43/298.47 c | 323703 | 6476 151232 916547 | 2147483647 316129 23 | 6.847 % |
299.33/299.32 c | 324246 | 6476 151232 916547 | 2147483647 316672 23 | 6.847 % |
299.63/299.66 c | 324842 | 6476 151232 916547 | 2147483647 317268 23 | 6.847 % |
300.63/300.63 c | 325498 | 6476 151232 916547 | 2147483647 317924 23 | 6.847 % |
301.73/301.74 c | 326219 | 6476 151232 916547 | 2147483647 318645 23 | 6.847 % |
303.13/303.20 c | 327011 | 6476 151232 916547 | 2147483647 319437 23 | 6.847 % |
304.23/304.21 c | 327882 | 6476 151232 916547 | 2147483647 320308 23 | 6.847 % |
305.03/305.02 c | 328840 | 6476 151232 916547 | 2147483647 321266 23 | 6.847 % |
306.33/306.31 c | 329893 | 6476 151232 916547 | 2147483647 322319 23 | 6.847 % |
306.83/306.81 c | 331052 | 6476 151232 916547 | 2147483647 323478 23 | 6.847 % |
307.83/307.87 c | 332325 | 6476 151232 916547 | 2147483647 324751 23 | 6.847 % |
308.83/308.86 c | 333725 | 6476 151232 916547 | 2147483647 326151 23 | 6.847 % |
311.13/311.18 c | 335265 | 6476 151232 916547 | 2147483647 327691 23 | 6.847 % |
313.43/313.41 c | 336960 | 6476 151232 916547 | 2147483647 329386 23 | 6.847 % |
316.03/316.03 c | 338823 | 6476 151232 916547 | 2147483647 331249 23 | 6.847 % |
318.73/318.72 c | 340872 | 6476 151232 916547 | 2147483647 333298 23 | 6.847 % |
320.83/320.87 c | 343125 | 6476 151232 916547 | 2147483647 335551 23 | 6.847 % |
325.23/325.29 c | 345605 | 6476 151232 916547 | 2147483647 338031 24 | 6.847 % |
327.33/327.34 c | 348330 | 6476 151232 916547 | 2147483647 340756 24 | 6.847 % |
328.83/328.90 c | 351327 | 6476 151232 916547 | 2147483647 343753 23 | 6.847 % |
332.83/332.86 c | 354623 | 6476 151232 916547 | 2147483647 347049 24 | 6.847 % |
333.03/333.02 c | 354723 | 6476 151232 916547 | 2147483647 347149 24 | 6.847 % |
333.13/333.17 c | 354833 | 6476 151232 916547 | 2147483647 347259 24 | 6.847 % |
333.34/333.32 c | 354954 | 6476 151232 916547 | 2147483647 347380 24 | 6.847 % |
333.43/333.48 c | 355088 | 6476 151232 916547 | 2147483647 347514 24 | 6.847 % |
333.73/333.77 c | 355234 | 6476 151232 916547 | 2147483647 347660 24 | 6.847 % |
333.93/333.91 c | 355395 | 6476 151232 916547 | 2147483647 347821 24 | 6.847 % |
334.33/334.31 c | 355571 | 6476 151232 916547 | 2147483647 347997 24 | 6.847 % |
334.63/334.64 c | 355766 | 6476 151232 916547 | 2147483647 348192 24 | 6.847 % |
335.23/335.29 c | 355979 | 6476 151232 916547 | 2147483647 348405 24 | 6.847 % |
335.73/335.74 c | 356212 | 6476 151232 916547 | 2147483647 348638 24 | 6.847 % |
336.43/336.42 c | 356468 | 6476 151232 916547 | 2147483647 348894 24 | 6.847 % |
336.73/336.78 c | 356749 | 6476 151232 916547 | 2147483647 349175 24 | 6.847 % |
337.43/337.41 c | 357058 | 6476 151232 916547 | 2147483647 349484 24 | 6.847 % |
337.74/337.80 c | 357398 | 6476 151232 916547 | 2147483647 349824 24 | 6.847 % |
338.53/338.51 c | 357771 | 6476 151232 916547 | 2147483647 350197 24 | 6.847 % |
339.03/339.06 c | 358180 | 6476 151232 916547 | 2147483647 350606 24 | 6.847 % |
339.73/339.74 c | 358631 | 6476 151232 916547 | 2147483647 351057 24 | 6.847 % |
340.63/340.64 c | 359124 | 6476 151232 916547 | 2147483647 351550 24 | 6.847 % |
341.23/341.24 c | 359666 | 6476 151232 916547 | 2147483647 352092 24 | 6.847 % |
341.93/341.99 c | 360263 | 6476 151232 916547 | 2147483647 352689 24 | 6.847 % |
342.83/342.88 c | 360919 | 6476 151232 916547 | 2147483647 353345 24 | 6.847 % |
343.53/343.53 c | 361639 | 6476 151232 916547 | 2147483647 354065 24 | 6.847 % |
345.33/345.34 c | 362432 | 6476 151232 916547 | 2147483647 354858 24 | 6.847 % |
347.53/347.51 c | 363303 | 6476 151232 916547 | 2147483647 355729 24 | 6.847 % |
348.63/348.65 c | 364262 | 6476 151232 916547 | 2147483647 356688 24 | 6.847 % |
350.53/350.52 c | 365316 | 6476 151232 916547 | 2147483647 357742 24 | 6.847 % |
352.94/352.93 c | 366475 | 6476 151232 916547 | 2147483647 358901 24 | 6.847 % |
355.74/355.72 c | 367751 | 6476 151232 916547 | 2147483647 360177 24 | 6.847 % |
358.44/358.47 c | 369151 | 6476 151232 916547 | 2147483647 361577 24 | 6.847 % |
361.24/361.29 c | 370693 | 6475 151200 916020 | 2147483647 363083 24 | 6.861 % |
362.34/362.41 c | 372388 | 6475 151200 916020 | 2147483647 364778 24 | 6.862 % |
364.44/364.46 c | 374252 | 6475 151200 916020 | 2147483647 366642 24 | 6.861 % |
367.24/367.24 c | 376302 | 6475 151200 916020 | 2147483647 368692 24 | 6.861 % |
370.04/370.09 c | 378555 | 6475 151200 916020 | 2147483647 370945 24 | 6.861 % |
373.14/373.13 c | 381033 | 6475 151200 916020 | 2147483647 373423 24 | 6.861 % |
374.94/374.97 c | 383758 | 6475 151200 916020 | 2147483647 376148 24 | 6.861 % |
376.64/376.68 c | 386756 | 6475 151200 916020 | 2147483647 379146 24 | 6.861 % |
379.24/379.29 c | 390053 | 6475 151200 916020 | 2147483647 382443 24 | 6.861 % |
382.04/382.02 c | 393678 | 6475 151200 916020 | 2147483647 386068 23 | 6.861 % |
382.14/382.16 c | 393778 | 6475 151200 916020 | 2147483647 386168 23 | 6.862 % |
382.24/382.26 c | 393889 | 6475 151200 916020 | 2147483647 386279 23 | 6.862 % |
382.34/382.35 c | 394011 | 6475 151200 916020 | 2147483647 386401 23 | 6.861 % |
382.64/382.65 c | 394145 | 6475 151200 916020 | 2147483647 386535 23 | 6.861 % |
382.84/382.87 c | 394293 | 6475 151200 916020 | 2147483647 386683 23 | 6.861 % |
383.14/383.11 c | 394453 | 6475 151200 916020 | 2147483647 386843 23 | 6.861 % |
383.34/383.39 c | 394630 | 6475 151200 916020 | 2147483647 387020 23 | 6.861 % |
383.74/383.71 c | 394825 | 6475 151200 916020 | 2147483647 387215 23 | 6.861 % |
383.84/383.88 c | 395037 | 6475 151200 916020 | 2147483647 387427 23 | 6.861 % |
384.14/384.20 c | 395270 | 6471 151200 916020 | 2147483647 387657 23 | 6.919 % |
384.64/384.68 c | 395526 | 6471 151200 916020 | 2147483647 387913 23 | 6.919 % |
385.14/385.19 c | 395810 | 6471 151200 916020 | 2147483647 388197 23 | 6.919 % |
385.54/385.58 c | 396121 | 6471 151200 916020 | 2147483647 388508 23 | 6.919 % |
385.84/385.84 c | 396461 | 6471 151200 916020 | 2147483647 388848 23 | 6.919 % |
386.14/386.15 c | 396833 | 6471 151200 916020 | 2147483647 389220 23 | 6.919 % |
386.84/386.85 c | 397244 | 6471 151200 916020 | 2147483647 389631 23 | 6.919 % |
387.14/387.17 c | 397693 | 6471 151200 916020 | 2147483647 390080 23 | 6.919 % |
387.94/387.96 c | 398187 | 6471 151200 916020 | 2147483647 390574 23 | 6.919 % |
389.04/389.03 c | 398729 | 6471 151200 916020 | 2147483647 391116 23 | 6.919 % |
389.34/389.40 c | 399326 | 6471 151200 916020 | 2147483647 391713 23 | 6.919 % |
390.14/390.16 c | 399982 | 6471 151200 916020 | 2147483647 392369 23 | 6.919 % |
390.54/390.61 c | 400703 | 6471 151200 916020 | 2147483647 393090 23 | 6.919 % |
391.24/391.21 c | 401495 | 6471 151200 916020 | 2147483647 393882 23 | 6.919 % |
392.04/392.02 c | 402367 | 6471 151200 916020 | 2147483647 394754 23 | 6.919 % |
393.04/393.01 c | 403325 | 6471 151200 916020 | 2147483647 395712 23 | 6.919 % |
394.54/394.53 c | 404378 | 6471 151200 916020 | 2147483647 396765 23 | 6.919 % |
396.24/396.21 c | 405537 | 6471 151073 913943 | 2147483647 397802 23 | 6.919 % |
396.84/396.90 c | 406810 | 6471 151073 913943 | 2147483647 399075 23 | 6.919 % |
398.34/398.33 c | 408211 | 6471 151073 913943 | 2147483647 400476 23 | 6.919 % |
399.24/399.21 c | 409752 | 6471 151073 913943 | 2147483647 402017 23 | 6.919 % |
400.94/400.98 c | 411447 | 6471 151073 913943 | 2147483647 403712 23 | 6.919 % |
402.24/402.22 c | 413310 | 6471 151073 913943 | 2147483647 405575 23 | 6.919 % |
403.54/403.56 c | 415359 | 6471 151073 913943 | 2147483647 407624 23 | 6.919 % |
404.64/404.62 c | 417613 | 6471 151073 913943 | 2147483647 409878 23 | 6.919 % |
407.04/407.09 c | 420092 | 6471 151073 913943 | 2147483647 412357 23 | 6.919 % |
410.94/410.91 c | 422817 | 6471 151073 913943 | 2147483647 415082 23 | 6.919 % |
414.54/414.59 c | 425814 | 6471 151073 913943 | 2147483647 418079 23 | 6.919 % |
418.54/418.55 c | 429111 | 6471 151073 913943 | 2147483647 421376 23 | 6.919 % |
421.54/421.57 c | 432737 | 6471 151073 913943 | 2147483647 425002 24 | 6.919 % |
426.74/426.79 c | 436724 | 6471 151073 913943 | 2147483647 428989 24 | 6.919 % |
426.85/426.88 c | 436826 | 6471 151073 913943 | 2147483647 429091 24 | 6.919 % |
427.04/427.01 c | 436938 | 6471 151073 913943 | 2147483647 429203 24 | 6.919 % |
427.14/427.17 c | 437061 | 6471 151073 913943 | 2147483647 429326 24 | 6.919 % |
427.34/427.39 c | 437194 | 6471 151073 913943 | 2147483647 429459 24 | 6.919 % |
427.64/427.66 c | 437341 | 6471 151073 913943 | 2147483647 429606 24 | 6.919 % |
427.95/427.93 c | 437501 | 6471 151073 913943 | 2147483647 429766 24 | 6.919 % |
428.24/428.24 c | 437677 | 6471 151073 913943 | 2147483647 429942 24 | 6.919 % |
428.54/428.52 c | 437870 | 6471 151073 913943 | 2147483647 430135 24 | 6.919 % |
428.94/428.96 c | 438082 | 6471 151073 913943 | 2147483647 430347 24 | 6.919 % |
429.24/429.26 c | 438317 | 6471 151073 913943 | 2147483647 430582 24 | 6.919 % |
429.54/429.54 c | 438573 | 6471 151073 913943 | 2147483647 430838 24 | 6.919 % |
429.74/429.80 c | 438854 | 6471 151073 913943 | 2147483647 431119 24 | 6.919 % |
430.15/430.12 c | 439164 | 6471 151073 913943 | 2147483647 431429 24 | 6.919 % |
430.64/430.65 c | 439504 | 6471 151073 913943 | 2147483647 431769 24 | 6.919 % |
431.25/431.22 c | 439877 | 6470 151073 913943 | 2147483647 432141 24 | 6.933 % |
431.54/431.59 c | 440287 | 6470 151073 913943 | 2147483647 432551 24 | 6.933 % |
432.24/432.22 c | 440738 | 6470 151073 913943 | 2147483647 433002 24 | 6.933 % |
432.64/432.67 c | 441233 | 6470 151073 913943 | 2147483647 433497 24 | 6.933 % |
433.14/433.17 c | 441777 | 6470 151057 913809 | 2147483647 434037 24 | 6.933 % |
434.34/434.40 c | 442374 | 6470 151057 913809 | 2147483647 434634 24 | 6.933 % |
435.34/435.35 c | 443029 | 6470 151057 913809 | 2147483647 435289 24 | 6.933 % |
436.84/436.89 c | 443749 | 6466 151057 913809 | 2147483647 436007 24 | 7.006 % |
438.04/438.08 c | 444541 | 6466 151057 913809 | 2147483647 436799 24 | 7.006 % |
439.44/439.48 c | 445415 | 6466 151057 913809 | 2147483647 437673 24 | 7.005 % |
440.14/440.17 c | 446373 | 6466 151057 913809 | 2147483647 438631 24 | 7.005 % |
441.94/441.93 c | 447428 | 6466 151057 913809 | 2147483647 439686 24 | 7.005 % |
445.14/445.14 c | 448587 | 6466 151057 913809 | 2147483647 440845 24 | 7.005 % |
447.04/447.06 c | 449860 | 6466 151057 913809 | 2147483647 442118 24 | 7.005 % |
448.54/448.53 c | 451260 | 6466 151057 913809 | 2147483647 443518 24 | 7.005 % |
451.05/451.08 c | 452801 | 6466 151057 913809 | 2147483647 445059 24 | 7.005 % |
452.75/452.73 c | 454495 | 6466 151057 913809 | 2147483647 446753 24 | 7.005 % |
455.25/455.21 c | 456358 | 6466 151057 913809 | 2147483647 448616 24 | 7.005 % |
460.45/460.44 c | 458407 | 6466 151057 913809 | 2147483647 450665 24 | 7.005 % |
464.45/464.50 c | 460661 | 6466 151057 913809 | 2147483647 452919 24 | 7.005 % |
469.95/469.98 c | 463140 | 6466 151057 913809 | 2147483647 455398 24 | 7.005 % |
474.45/474.48 c | 465865 | 6466 151057 913809 | 2147483647 458123 24 | 7.005 % |
480.55/480.60 c | 468863 | 6466 151057 913809 | 2147483647 461121 24 | 7.005 % |
486.25/486.25 c | 472160 | 6466 151057 913809 | 462261 407641 24 | 7.005 % |
490.65/490.63 c | 475785 | 6466 151057 913809 | 462261 411266 24 | 7.005 % |
498.25/498.30 c | 479772 | 6465 150910 911557 | 462261 415216 24 | 7.005 % |
506.25/506.28 c | 484157 | 6465 150910 911557 | 2147483647 419601 24 | 7.005 % |
506.45/506.46 c | 484259 | 6465 150910 911557 | 2147483647 419703 24 | 7.005 % |
506.85/506.81 c | 484370 | 6465 150910 911557 | 2147483647 419814 24 | 7.005 % |
506.95/506.94 c | 484491 | 6465 150910 911557 | 2147483647 419935 24 | 7.005 % |
507.45/507.43 c | 484626 | 6465 150910 911557 | 2147483647 420070 24 | 7.005 % |
507.85/507.90 c | 484773 | 6465 150910 911557 | 2147483647 420217 24 | 7.005 % |
508.45/508.50 c | 484933 | 6465 150910 911557 | 2147483647 420377 24 | 7.005 % |
508.85/508.89 c | 485110 | 6465 150910 911557 | 2147483647 420554 24 | 7.006 % |
509.15/509.20 c | 485303 | 6465 150910 911557 | 2147483647 420747 24 | 7.005 % |
509.55/509.59 c | 485516 | 6465 150910 911557 | 2147483647 420960 24 | 7.005 % |
509.65/509.70 c | 485750 | 6465 150910 911557 | 2147483647 421194 24 | 7.005 % |
510.05/510.09 c | 486006 | 6465 150910 911557 | 2147483647 421450 24 | 7.005 % |
510.46/510.50 c | 486287 | 6465 150910 911557 | 2147483647 421731 24 | 7.005 % |
510.75/510.80 c | 486596 | 6465 150910 911557 | 2147483647 422040 24 | 7.005 % |
511.35/511.34 c | 486937 | 6464 150910 911557 | 2147483647 422380 24 | 7.020 % |
511.75/511.73 c | 487309 | 6464 150910 911557 | 2147483647 422752 24 | 7.020 % |
512.55/512.52 c | 487718 | 6464 150910 911557 | 2147483647 423161 24 | 7.020 % |
513.15/513.17 c | 488167 | 6464 150910 911557 | 2147483647 423610 24 | 7.020 % |
513.65/513.67 c | 488660 | 6464 150910 911557 | 2147483647 424103 24 | 7.020 % |
514.25/514.22 c | 489203 | 6464 150910 911557 | 2147483647 424646 24 | 7.020 % |
514.86/514.89 c | 489799 | 6464 150910 911557 | 2147483647 425242 24 | 7.020 % |
515.35/515.38 c | 490455 | 6464 150910 911557 | 2147483647 425898 24 | 7.020 % |
516.05/516.03 c | 491175 | 6464 150910 911557 | 2147483647 426618 24 | 7.020 % |
517.15/517.20 c | 491967 | 6464 150910 911557 | 2147483647 427410 24 | 7.020 % |
518.35/518.38 c | 492840 | 6464 150910 911557 | 2147483647 428283 24 | 7.020 % |
518.95/518.94 c | 493800 | 6464 150910 911557 | 2147483647 429243 24 | 7.020 % |
519.65/519.64 c | 494855 | 6464 150910 911557 | 2147483647 430298 24 | 7.020 % |
520.36/520.35 c | 496013 | 6464 150910 911557 | 2147483647 431456 24 | 7.020 % |
521.55/521.56 c | 497288 | 6464 150910 911557 | 2147483647 432731 24 | 7.020 % |
523.45/523.50 c | 498689 | 6464 150910 911557 | 2147483647 434132 24 | 7.020 % |
525.75/525.77 c | 500229 | 6464 150910 911557 | 2147483647 435672 24 | 7.020 % |
527.05/527.03 c | 501924 | 6464 150910 911557 | 2147483647 437367 24 | 7.020 % |
529.16/529.16 c | 503787 | 6464 150910 911557 | 2147483647 439230 24 | 7.020 % |
531.05/531.07 c | 505836 | 6464 150910 911557 | 2147483647 441279 24 | 7.020 % |
533.35/533.37 c | 508090 | 6464 150910 911557 | 2147483647 443533 24 | 7.020 % |
536.25/536.26 c | 510569 | 6464 150910 911557 | 2147483647 446012 24 | 7.020 % |
540.55/540.58 c | 513294 | 6464 150910 911557 | 2147483647 448737 24 | 7.020 % |
543.85/543.89 c | 516291 | 6464 150878 911059 | 2147483647 451724 24 | 7.020 % |
546.65/546.67 c | 519587 | 6464 150878 911059 | 2147483647 455020 24 | 7.020 % |
555.67/555.64 c | 523213 | 6464 150878 911059 | 2147483647 458646 24 | 7.020 % |
559.67/559.64 c | 527201 | 6464 150878 911059 | 2147483647 462634 24 | 7.020 % |
563.17/563.22 c | 531586 | 6464 150878 911059 | 465434 467019 24 | 7.020 % |
569.57/569.53 c | 536411 | 6464 150878 911059 | 465434 425143 24 | 7.020 % |
569.67/569.72 c | 536511 | 6464 150878 911059 | 465434 425243 24 | 7.020 % |
569.87/569.92 c | 536623 | 6464 150878 911059 | 465434 425355 24 | 7.020 % |
570.07/570.09 c | 536744 | 6464 150878 911059 | 465434 425476 24 | 7.020 % |
570.27/570.25 c | 536877 | 6464 150878 911059 | 465434 425609 24 | 7.020 % |
570.57/570.60 c | 537024 | 6464 150878 911059 | 465434 425756 24 | 7.020 % |
570.87/570.84 c | 537184 | 6464 150878 911059 | 465434 425916 24 | 7.020 % |
571.17/571.16 c | 537360 | 6464 150878 911059 | 465434 426092 24 | 7.020 % |
571.27/571.32 c | 537553 | 6464 150878 911059 | 465434 426285 24 | 7.020 % |
571.67/571.70 c | 537765 | 6464 150878 911059 | 465434 426497 24 | 7.020 % |
572.17/572.14 c | 537998 | 6464 150878 911059 | 465434 426730 24 | 7.020 % |
572.47/572.50 c | 538255 | 6464 150878 911059 | 465434 426987 24 | 7.020 % |
572.87/572.83 c | 538536 | 6464 150878 911059 | 465434 427268 24 | 7.020 % |
573.37/573.40 c | 538846 | 6464 150878 911059 | 465434 427578 24 | 7.020 % |
573.77/573.73 c | 539185 | 6464 150878 911059 | 465434 427917 24 | 7.020 % |
573.97/573.97 c | 539557 | 6464 150878 911059 | 465434 428289 24 | 7.020 % |
574.37/574.37 c | 539967 | 6464 150878 911059 | 465434 428699 24 | 7.020 % |
574.77/574.80 c | 540419 | 6464 150878 911059 | 2147483647 429151 24 | 7.020 % |
575.27/575.28 c | 540913 | 6464 150878 911059 | 2147483647 429645 24 | 7.020 % |
575.77/575.80 c | 541459 | 6464 150878 911059 | 2147483647 430191 24 | 7.020 % |
576.07/576.03 c | 542056 | 6464 150878 911059 | 2147483647 430788 24 | 7.020 % |
577.27/577.25 c | 542713 | 6464 150878 911059 | 2147483647 431445 24 | 7.020 % |
579.07/579.04 c | 543435 | 6464 150878 911059 | 2147483647 432167 24 | 7.020 % |
581.37/581.33 c | 544227 | 6464 150878 911059 | 2147483647 432959 24 | 7.020 % |
583.47/583.44 c | 545099 | 6464 150878 911059 | 2147483647 433831 24 | 7.020 % |
584.97/584.96 c | 546059 | 6464 150878 911059 | 2147483647 434791 24 | 7.020 % |
586.37/586.35 c | 547112 | 6464 150878 911059 | 2147483647 435844 24 | 7.020 % |
589.37/589.39 c | 548270 | 6464 150878 911059 | 2147483647 437002 24 | 7.020 % |
590.97/590.96 c | 549544 | 6464 150878 911059 | 2147483647 438276 24 | 7.020 % |
593.67/593.65 c | 550944 | 6464 150878 911059 | 438732 439676 24 | 7.020 % |
597.67/597.69 c | 552484 | 6464 150878 911059 | 438732 397249 24 | 7.020 % |
599.47/599.43 c | 554178 | 6464 150878 911059 | 438732 398943 24 | 7.020 % |
601.17/601.13 c | 556041 | 6464 150878 911059 | 438732 400806 24 | 7.020 % |
603.27/603.24 c | 558091 | 6464 150878 911059 | 438732 402856 24 | 7.020 % |
606.18/606.16 c | 560344 | 6464 150878 911059 | 2147483647 405109 24 | 7.020 % |
608.97/608.94 c | 562822 | 6464 150878 911059 | 2147483647 407587 24 | 7.020 % |
611.77/611.79 c | 565547 | 6464 150878 911059 | 2147483647 410312 24 | 7.020 % |
616.27/616.31 c | 568544 | 6464 150878 911059 | 2147483647 413309 24 | 7.020 % |
620.27/620.26 c | 571840 | 6464 150878 911059 | 2147483647 416605 24 | 7.020 % |
624.67/624.70 c | 575466 | 6464 150878 911059 | 2147483647 420231 24 | 7.020 % |
630.76/630.76 c | 579453 | 6464 150878 911059 | 2147483647 424218 24 | 7.020 % |
635.06/635.09 c | 583838 | 6464 150878 911059 | 2147483647 428603 24 | 7.020 % |
640.56/640.51 c | 588661 | 6464 150878 911059 | 2147483647 433426 24 | 7.020 % |
644.16/644.18 c | 593968 | 6464 150878 911059 | 2147483647 438733 24 | 7.020 % |
644.26/644.30 c | 594070 | 6464 150878 911059 | 2147483647 438835 24 | 7.020 % |
644.46/644.45 c | 594181 | 6464 150878 911059 | 2147483647 438946 24 | 7.020 % |
644.67/644.67 c | 594303 | 6464 150878 911059 | 2147483647 439068 24 | 7.020 % |
645.16/645.20 c | 594436 | 6464 150878 911059 | 2147483647 439201 24 | 7.020 % |
645.67/645.66 c | 594582 | 6464 150878 911059 | 2147483647 439347 24 | 7.020 % |
646.17/646.12 c | 594742 | 6464 150878 911059 | 2147483647 439507 24 | 7.020 % |
646.37/646.33 c | 594918 | 6464 150878 911059 | 2147483647 439683 24 | 7.020 % |
646.67/646.69 c | 595113 | 6464 150878 911059 | 2147483647 439878 24 | 7.020 % |
646.97/646.96 c | 595325 | 6464 150878 911059 | 2147483647 440090 24 | 7.020 % |
647.27/647.24 c | 595559 | 6464 150878 911059 | 2147483647 440324 24 | 7.020 % |
647.57/647.57 c | 595816 | 6464 150878 911059 | 2147483647 440581 24 | 7.020 % |
648.07/648.03 c | 596097 | 6464 150878 911059 | 2147483647 440862 24 | 7.020 % |
648.67/648.69 c | 596407 | 6464 150878 911059 | 2147483647 441172 24 | 7.020 % |
648.97/648.96 c | 596747 | 6464 150878 911059 | 2147483647 441512 24 | 7.020 % |
649.97/649.97 c | 597120 | 6464 150878 911059 | 2147483647 441885 24 | 7.020 % |
650.47/650.45 c | 597531 | 6464 150878 911059 | 2147483647 442296 24 | 7.020 % |
651.07/651.07 c | 597980 | 6464 150878 911059 | 2147483647 442745 24 | 7.020 % |
651.47/651.48 c | 598473 | 6464 150878 911059 | 2147483647 443238 24 | 7.020 % |
652.67/652.63 c | 599015 | 6464 150878 911059 | 2147483647 443780 24 | 7.020 % |
653.47/653.46 c | 599611 | 6464 150878 911059 | 2147483647 444376 24 | 7.020 % |
654.17/654.19 c | 600267 | 6464 150878 911059 | 2147483647 445032 24 | 7.020 % |
655.17/655.21 c | 600988 | 6464 150878 911059 | 2147483647 445753 24 | 7.020 % |
655.57/655.54 c | 601781 | 6464 150878 911059 | 2147483647 446546 24 | 7.020 % |
656.37/656.37 c | 602653 | 6464 150878 911059 | 2147483647 447418 24 | 7.020 % |
657.47/657.48 c | 603611 | 6464 150878 911059 | 2147483647 448376 24 | 7.020 % |
659.57/659.52 c | 604664 | 6464 150878 911059 | 2147483647 449429 24 | 7.020 % |
660.07/660.02 c | 605822 | 6464 150878 911059 | 2147483647 450587 24 | 7.020 % |
661.67/661.65 c | 607097 | 6464 150878 911059 | 2147483647 451862 24 | 7.020 % |
663.37/663.32 c | 608498 | 6464 150878 911059 | 2147483647 453263 24 | 7.020 % |
664.87/664.88 c | 610038 | 6464 150878 911059 | 2147483647 454803 24 | 7.020 % |
666.57/666.58 c | 611732 | 6464 150878 911059 | 2147483647 456497 24 | 7.020 % |
668.97/669.01 c | 613596 | 6464 150878 911059 | 2147483647 458361 24 | 7.020 % |
671.97/671.91 c | 615645 | 6464 150878 911059 | 2147483647 460410 24 | 7.020 % |
673.37/673.37 c | 617898 | 6464 150878 911059 | 2147483647 462663 24 | 7.020 % |
674.57/674.53 c | 620377 | 6464 150878 911059 | 464766 465142 24 | 7.020 % |
676.17/676.16 c | 623102 | 6464 150878 911059 | 464766 467867 24 | 7.020 % |
678.97/678.95 c | 626101 | 6464 150878 911059 | 464766 424080 24 | 7.020 % |
680.37/680.37 c | 629400 | 6464 150878 911059 | 464766 427379 24 | 7.020 % |
683.77/683.73 c | 633026 | 6464 150878 911059 | 2147483647 431005 24 | 7.020 % |
689.77/689.73 c | 637014 | 6464 150878 911059 | 2147483647 434993 24 | 7.020 % |
698.97/699.01 c | 641400 | 6464 150878 911059 | 437979 439379 24 | 7.020 % |
703.27/703.28 c | 646223 | 6464 150878 911059 | 437979 355113 24 | 7.020 % |
707.07/707.04 c | 651530 | 6464 150878 911059 | 2147483647 360420 24 | 7.020 % |
712.77/712.80 c | 657365 | 6464 150878 911059 | 2147483647 366255 24 | 7.020 % |
713.07/713.07 c | 657466 | 6464 150878 911059 | 2147483647 366356 24 | 7.020 % |
713.27/713.22 c | 657576 | 6464 150878 911059 | 2147483647 366466 24 | 7.020 % |
713.37/713.34 c | 657699 | 6464 150878 911059 | 2147483647 366589 24 | 7.020 % |
713.57/713.52 c | 657833 | 6464 150878 911059 | 2147483647 366723 24 | 7.020 % |
713.77/713.71 c | 657979 | 6464 150878 911059 | 2147483647 366869 24 | 7.020 % |
714.17/714.15 c | 658139 | 6464 150878 911059 | 2147483647 367029 24 | 7.020 % |
714.67/714.63 c | 658316 | 6464 150878 911059 | 2147483647 367206 24 | 7.020 % |
714.97/714.97 c | 658513 | 6464 150878 911059 | 2147483647 367403 24 | 7.020 % |
715.27/715.30 c | 658726 | 6464 150878 911059 | 2147483647 367616 24 | 7.020 % |
715.87/715.86 c | 658960 | 6464 150878 911059 | 2147483647 367850 24 | 7.020 % |
716.47/716.41 c | 659217 | 6464 150878 911059 | 2147483647 368107 24 | 7.020 % |
717.07/717.08 c | 659498 | 6464 150878 911059 | 2147483647 368388 24 | 7.020 % |
717.57/717.51 c | 659807 | 6464 150878 911059 | 2147483647 368697 24 | 7.020 % |
718.17/718.16 c | 660146 | 6464 150878 911059 | 368890 369036 24 | 7.020 % |
718.87/718.81 c | 660519 | 6464 150878 911059 | 368890 369409 24 | 7.020 % |
719.57/719.57 c | 660929 | 6464 150878 911059 | 368890 329311 23 | 7.020 % |
719.97/719.93 c | 661379 | 6464 150878 911059 | 368890 329761 23 | 7.020 % |
720.27/720.28 c | 661873 | 6464 150878 911059 | 368890 330255 23 | 7.020 % |
720.67/720.65 c | 662415 | 6464 150878 911059 | 368890 330797 23 | 7.020 % |
721.07/721.03 c | 663012 | 6464 150878 911059 | 368890 331394 23 | 7.020 % |
721.57/721.52 c | 663667 | 6464 150878 911059 | 368890 332049 23 | 7.020 % |
722.47/722.41 c | 664388 | 6464 150878 911059 | 368890 332770 23 | 7.020 % |
723.27/723.23 c | 665181 | 6464 150878 911059 | 368890 333563 23 | 7.020 % |
724.27/724.22 c | 666054 | 6464 150878 911059 | 368890 334436 23 | 7.020 % |
725.47/725.41 c | 667014 | 6464 150878 911059 | 368890 335396 23 | 7.020 % |
726.37/726.39 c | 668068 | 6464 150878 911059 | 368890 336450 23 | 7.020 % |
726.97/726.98 c | 669226 | 6464 150878 911059 | 368890 337608 23 | 7.020 % |
727.97/727.97 c | 670499 | 6464 150878 911059 | 2147483647 338881 23 | 7.020 % |
729.38/729.35 c | 671899 | 6464 150878 911059 | 2147483647 340281 23 | 7.020 % |
730.97/730.93 c | 673439 | 6464 150878 911059 | 2147483647 341821 23 | 7.020 % |
732.57/732.57 c | 675133 | 6464 150878 911059 | 2147483647 343515 23 | 7.020 % |
734.07/734.06 c | 676996 | 6464 150878 911059 | 2147483647 345378 23 | 7.020 % |
735.57/735.53 c | 679047 | 6464 150878 911059 | 2147483647 347429 23 | 7.020 % |
737.47/737.41 c | 681300 | 6464 150878 911059 | 2147483647 349682 23 | 7.020 % |
738.67/738.64 c | 683778 | 6464 150878 911059 | 2147483647 352160 23 | 7.020 % |
741.07/741.06 c | 686505 | 6464 150878 911059 | 2147483647 354887 23 | 7.020 % |
743.48/743.46 c | 689503 | 6462 150815 910036 | 2147483647 357851 23 | 7.050 % |
747.88/747.82 c | 692800 | 6462 150815 910036 | 2147483647 361148 23 | 7.048 % |
758.48/758.50 c | 696427 | 6462 150815 910036 | 2147483647 364775 24 | 7.048 % |
763.98/763.95 c | 700414 | 6462 150815 910036 | 368348 368762 24 | 7.048 % |
768.48/768.50 c | 704801 | 6462 150815 910036 | 368348 306444 23 | 7.048 % |
773.08/773.03 c | 709625 | 6462 150815 910036 | 368348 311268 23 | 7.048 % |
777.28/777.21 c | 714930 | 6462 150815 910036 | 2147483647 316573 23 | 7.048 % |
783.98/783.92 c | 720765 | 6462 150815 910036 | 2147483647 322408 23 | 7.048 % |
793.88/793.88 c | 727185 | 6462 150815 910036 | 2147483647 328828 23 | 7.048 % |
793.98/794.00 c | 727285 | 6462 150815 910036 | 2147483647 328928 23 | 7.049 % |
794.18/794.20 c | 727396 | 6462 150815 910036 | 2147483647 329039 23 | 7.048 % |
794.28/794.30 c | 727517 | 6462 150815 910036 | 2147483647 329160 23 | 7.048 % |
794.58/794.52 c | 727652 | 6461 150815 910036 | 2147483647 329294 23 | 7.221 % |
794.68/794.64 c | 727799 | 6461 150815 910036 | 2147483647 329441 23 | 7.221 % |
794.88/794.87 c | 727961 | 6461 150815 910036 | 2147483647 329603 23 | 7.221 % |
795.08/795.11 c | 728137 | 6450 150432 903743 | 2147483647 329741 23 | 7.221 % |
795.48/795.51 c | 728330 | 6450 150432 903743 | 2147483647 329934 23 | 7.221 % |
795.68/795.66 c | 728542 | 6450 150432 903743 | 2147483647 330146 23 | 7.221 % |
796.08/796.02 c | 728775 | 6447 150432 903743 | 2147483647 330378 23 | 7.322 % |
796.28/796.31 c | 729031 | 6447 150432 903743 | 2147483647 330634 23 | 7.322 % |
796.68/796.71 c | 729312 | 6447 150432 903743 | 2147483647 330915 23 | 7.322 % |
797.08/797.02 c | 729622 | 6447 150432 903743 | 2147483647 331225 23 | 7.322 % |
797.28/797.21 c | 729961 | 6447 150432 903743 | 2147483647 331564 23 | 7.322 % |
797.48/797.48 c | 730334 | 6447 150432 903743 | 331603 331937 23 | 7.322 % |
797.78/797.74 c | 730743 | 6447 150432 903743 | 331603 332346 23 | 7.322 % |
798.58/798.57 c | 731192 | 6447 150432 903743 | 331603 287223 23 | 7.322 % |
798.88/798.91 c | 731685 | 6447 150432 903743 | 331603 287716 23 | 7.322 % |
799.18/799.12 c | 732228 | 6447 150432 903743 | 331603 288259 23 | 7.322 % |
799.58/799.57 c | 732824 | 6447 150432 903743 | 331603 288855 23 | 7.322 % |
799.98/799.98 c | 733479 | 6447 150432 903743 | 331603 289510 23 | 7.322 % |
800.48/800.47 c | 734199 | 6447 150432 903743 | 331603 290230 23 | 7.322 % |
801.58/801.57 c | 734992 | 6447 150432 903743 | 331603 291023 23 | 7.322 % |
802.08/802.08 c | 735863 | 6447 150432 903743 | 331603 291894 23 | 7.322 % |
802.78/802.76 c | 736822 | 6447 150432 903743 | 331603 292853 23 | 7.322 % |
803.18/803.16 c | 737875 | 6447 150432 903743 | 331603 293906 23 | 7.322 % |
804.78/804.71 c | 739033 | 6447 150432 903743 | 331603 295064 23 | 7.322 % |
805.58/805.57 c | 740307 | 6447 150432 903743 | 2147483647 296338 22 | 7.322 % |
807.49/807.47 c | 741708 | 6447 150432 903743 | 2147483647 297739 23 | 7.322 % |
808.48/808.51 c | 743249 | 6447 150432 903743 | 2147483647 299280 23 | 7.322 % |
809.98/809.94 c | 744943 | 6447 150432 903743 | 2147483647 300974 23 | 7.322 % |
811.28/811.22 c | 746806 | 6447 150432 903743 | 2147483647 302837 22 | 7.322 % |
812.68/812.64 c | 748855 | 6447 150432 903743 | 2147483647 304886 22 | 7.322 % |
813.58/813.55 c | 751109 | 6447 150432 903743 | 2147483647 307140 22 | 7.322 % |
816.38/816.40 c | 753590 | 6447 150432 903743 | 2147483647 309621 22 | 7.322 % |
817.98/817.95 c | 756315 | 6447 150432 903743 | 2147483647 312346 22 | 7.322 % |
819.38/819.38 c | 759316 | 6446 150432 903743 | 2147483647 315346 22 | 7.336 % |
821.08/821.09 c | 762613 | 6446 150432 903743 | 2147483647 318643 22 | 7.336 % |
823.08/823.10 c | 766238 | 6446 150432 903743 | 2147483647 322268 22 | 7.336 % |
826.38/826.34 c | 770225 | 6442 150211 900410 | 2147483647 326207 22 | 7.336 % |
830.78/830.76 c | 774610 | 6442 150211 900410 | 2147483647 330592 22 | 7.336 % |
834.99/834.97 c | 779433 | 6442 150211 900410 | 2147483647 335415 22 | 7.336 % |
840.38/840.40 c | 784738 | 6442 150211 900410 | 2147483647 340720 22 | 7.336 % |
847.59/847.61 c | 790573 | 6442 150211 900410 | 2147483647 346555 23 | 7.336 % |
857.89/857.90 c | 796991 | 6442 150211 900410 | 2147483647 352973 23 | 7.336 % |
865.19/865.12 c | 804050 | 6442 150211 900410 | 355983 324072 23 | 7.336 % |
865.29/865.28 c | 804150 | 6442 150211 900410 | 355983 324172 23 | 7.336 % |
865.49/865.48 c | 804261 | 6442 150211 900410 | 355983 324283 23 | 7.336 % |
865.69/865.68 c | 804382 | 6442 150211 900410 | 355983 324404 23 | 7.336 % |
865.79/865.80 c | 804515 | 6442 150211 900410 | 355983 324537 23 | 7.336 % |
866.09/866.08 c | 804663 | 6442 150211 900410 | 355983 324685 23 | 7.336 % |
866.29/866.27 c | 804823 | 6442 150211 900410 | 355983 324845 23 | 7.336 % |
866.39/866.41 c | 804999 | 6442 150211 900410 | 355983 325021 23 | 7.336 % |
866.69/866.66 c | 805192 | 6442 150211 900410 | 355983 325214 23 | 7.336 % |
866.79/866.81 c | 805405 | 6442 150211 900410 | 355983 325427 23 | 7.336 % |
867.29/867.29 c | 805638 | 6442 150211 900410 | 355983 325660 23 | 7.336 % |
867.79/867.80 c | 805894 | 6442 150211 900410 | 355983 325916 23 | 7.336 % |
867.99/868.01 c | 806175 | 6442 150211 900410 | 355983 326197 23 | 7.336 % |
868.49/868.46 c | 806485 | 6442 150211 900410 | 355983 326507 23 | 7.336 % |
868.69/868.67 c | 806826 | 6442 150211 900410 | 355983 326848 23 | 7.336 % |
869.29/869.25 c | 807201 | 6442 150211 900410 | 355983 327223 23 | 7.336 % |
869.69/869.65 c | 807611 | 6442 150211 900410 | 355983 327633 23 | 7.336 % |
870.39/870.35 c | 808061 | 6442 150211 900410 | 355983 328083 23 | 7.336 % |
871.09/871.11 c | 808554 | 6442 150211 900410 | 355983 328576 23 | 7.336 % |
871.59/871.53 c | 809096 | 6442 150211 900410 | 355983 329118 23 | 7.336 % |
872.29/872.29 c | 809693 | 6442 150211 900410 | 355983 329715 23 | 7.336 % |
872.79/872.74 c | 810349 | 6442 150211 900410 | 2147483647 330371 23 | 7.336 % |
873.09/873.10 c | 811069 | 6442 150211 900410 | 2147483647 331091 23 | 7.336 % |
874.19/874.14 c | 811861 | 6442 150211 900410 | 2147483647 331883 23 | 7.336 % |
876.49/876.44 c | 812732 | 6442 150211 900410 | 2147483647 332754 23 | 7.336 % |
877.49/877.49 c | 813690 | 6442 150211 900410 | 2147483647 333712 23 | 7.336 % |
878.89/878.90 c | 814744 | 6442 150211 900410 | 2147483647 334766 23 | 7.336 % |
880.49/880.43 c | 815902 | 6442 150211 900410 | 2147483647 335924 23 | 7.336 % |
881.99/882.01 c | 817178 | 6442 150211 900410 | 2147483647 337200 23 | 7.336 % |
884.69/884.64 c | 818578 | 6442 150211 900410 | 2147483647 338600 23 | 7.336 % |
887.89/887.89 c | 820119 | 6442 150211 900410 | 2147483647 340141 23 | 7.336 % |
889.59/889.59 c | 821814 | 6442 150211 900410 | 2147483647 341836 23 | 7.336 % |
892.19/892.15 c | 823678 | 6442 150211 900410 | 2147483647 343700 23 | 7.336 % |
893.79/893.75 c | 825727 | 6442 150211 900410 | 2147483647 345749 23 | 7.336 % |
897.29/897.24 c | 827980 | 6442 150211 900410 | 2147483647 348002 23 | 7.336 % |
898.99/898.97 c | 830459 | 6442 150211 900410 | 350022 350481 23 | 7.336 % |
901.89/901.85 c | 833184 | 6442 150211 900410 | 350022 353206 23 | 7.336 % |
904.89/904.91 c | 836182 | 6442 150211 900410 | 350022 320884 23 | 7.336 % |
909.39/909.39 c | 839478 | 6442 150211 900410 | 350022 324180 23 | 7.336 % |
914.29/914.30 c | 843103 | 6442 150211 900410 | 2147483647 327805 23 | 7.336 % |
917.89/917.91 c | 847090 | 6442 150211 900410 | 2147483647 331792 23 | 7.336 % |
924.49/924.49 c | 851476 | 6442 150211 900410 | 2147483647 336178 23 | 7.336 % |
929.09/929.02 c | 856300 | 6442 150211 900410 | 2147483647 341002 23 | 7.336 % |
935.10/935.08 c | 861606 | 6442 150211 900410 | 2147483647 346308 24 | 7.336 % |
941.20/941.19 c | 867442 | 6441 150173 899860 | 2147483647 352140 23 | 7.350 % |
948.20/948.12 c | 873860 | 6441 150173 899860 | 2147483647 358558 24 | 7.350 % |
950.80/950.78 c | 880919 | 6441 150173 899860 | 2147483647 365617 24 | 7.350 % |
957.40/957.37 c | 888683 | 6441 150173 899860 | 2147483647 373381 24 | 7.351 % |
957.50/957.47 c | 888784 | 6441 150173 899860 | 2147483647 373482 24 | 7.350 % |
957.70/957.68 c | 888895 | 6441 150173 899860 | 2147483647 373593 24 | 7.350 % |
957.90/957.87 c | 889016 | 6441 150173 899860 | 2147483647 373714 24 | 7.350 % |
958.10/958.10 c | 889151 | 6441 150173 899860 | 2147483647 373849 24 | 7.350 % |
958.40/958.35 c | 889298 | 6441 150173 899860 | 2147483647 373996 24 | 7.350 % |
958.60/958.61 c | 889458 | 6441 150173 899860 | 2147483647 374156 24 | 7.350 % |
958.90/958.86 c | 889634 | 6441 150173 899860 | 2147483647 374332 24 | 7.350 % |
959.10/959.07 c | 889827 | 6441 150173 899860 | 2147483647 374525 24 | 7.350 % |
959.30/959.31 c | 890039 | 6441 150173 899860 | 2147483647 374737 24 | 7.350 % |
959.50/959.50 c | 890274 | 6441 150173 899860 | 2147483647 374972 24 | 7.350 % |
959.70/959.71 c | 890531 | 6441 150173 899860 | 2147483647 375229 24 | 7.350 % |
960.00/959.97 c | 890812 | 6441 150173 899860 | 2147483647 375510 24 | 7.351 % |
960.40/960.38 c | 891122 | 6441 150173 899860 | 2147483647 375820 24 | 7.350 % |
960.80/960.78 c | 891462 | 6441 150173 899860 | 2147483647 376160 24 | 7.350 % |
961.70/961.62 c | 891838 | 6441 150173 899860 | 2147483647 376536 24 | 7.350 % |
961.90/961.82 c | 892249 | 6441 150173 899860 | 2147483647 376947 24 | 7.350 % |
962.40/962.39 c | 892698 | 6441 150173 899860 | 2147483647 377396 24 | 7.350 % |
962.80/962.74 c | 893191 | 6441 150173 899860 | 2147483647 377889 24 | 7.350 % |
963.20/963.12 c | 893733 | 6441 150173 899860 | 2147483647 378431 24 | 7.350 % |
963.60/963.59 c | 894329 | 6441 150173 899860 | 2147483647 379027 24 | 7.350 % |
964.20/964.15 c | 894984 | 6441 150173 899860 | 2147483647 379682 24 | 7.350 % |
964.70/964.69 c | 895705 | 6441 150173 899860 | 2147483647 380403 24 | 7.350 % |
965.40/965.41 c | 896497 | 6441 150173 899860 | 2147483647 381195 24 | 7.350 % |
966.00/965.96 c | 897368 | 6441 150173 899860 | 2147483647 382066 24 | 7.350 % |
966.70/966.69 c | 898327 | 6441 150173 899860 | 2147483647 383025 24 | 7.350 % |
967.90/967.86 c | 899383 | 6441 150173 899860 | 2147483647 384081 24 | 7.350 % |
971.20/971.21 c | 900542 | 6441 150173 899860 | 2147483647 385240 24 | 7.350 % |
974.40/974.40 c | 901815 | 6441 150173 899860 | 2147483647 386513 24 | 7.351 % |
975.80/975.76 c | 903216 | 6441 150173 899860 | 2147483647 387914 24 | 7.350 % |
977.40/977.41 c | 904756 | 6441 150173 899860 | 2147483647 389454 24 | 7.350 % |
978.50/978.51 c | 906450 | 6441 150173 899860 | 2147483647 391148 24 | 7.350 % |
979.40/979.40 c | 908314 | 6441 150173 899860 | 2147483647 393012 24 | 7.350 % |
980.80/980.80 c | 910364 | 6441 150173 899860 | 2147483647 395062 24 | 7.350 % |
982.40/982.40 c | 912618 | 6441 150173 899860 | 2147483647 397316 24 | 7.350 % |
986.00/985.98 c | 915096 | 6441 150173 899860 | 2147483647 399794 24 | 7.350 % |
987.79/987.79 c | 917823 | 6441 150173 899860 | 2147483647 402521 24 | 7.351 % |
991.49/991.41 c | 920820 | 6441 150173 899860 | 2147483647 405518 24 | 7.350 % |
994.69/994.70 c | 924116 | 6441 150173 899860 | 2147483647 408814 24 | 7.350 % |
998.79/998.76 c | 927741 | 6441 150173 899860 | 2147483647 412439 24 | 7.350 % |
1005.39/1005.39 c | 931728 | 6441 150173 899860 | 2147483647 416426 24 | 7.350 % |
1013.49/1013.41 c | 936114 | 6441 150173 899860 | 2147483647 420812 24 | 7.350 % |
1020.09/1020.02 c | 940937 | 6441 150173 899860 | 424698 425635 24 | 7.350 % |
1030.49/1030.46 c | 946242 | 6441 150173 899860 | 424698 370256 25 | 7.350 % |
1035.89/1035.88 c | 952077 | 6441 150173 899860 | 374014 376091 24 | 7.350 % |
1040.30/1040.30 c | 958496 | 6441 150173 899860 | 374014 292502 24 | 7.350 % |
1047.80/1047.74 c | 965559 | 6441 150173 899860 | 2147483647 299565 24 | 7.351 % |
1055.40/1055.38 c | 973326 | 6441 150173 899860 | 2147483647 307332 24 | 7.350 % |
1060.40/1060.40 c | 981866 | 6441 150173 899860 | 2147483647 315872 24 | 7.351 % |
1060.60/1060.54 c | 981966 | 6441 150173 899860 | 2147483647 315972 24 | 7.350 % |
1060.80/1060.71 c | 982077 | 6441 150173 899860 | 2147483647 316083 24 | 7.351 % |
1060.90/1060.85 c | 982199 | 6441 150173 899860 | 2147483647 316205 24 | 7.350 % |
1061.00/1060.97 c | 982333 | 6441 150173 899860 | 2147483647 316339 24 | 7.350 % |
1061.20/1061.13 c | 982480 | 6441 150173 899860 | 2147483647 316486 24 | 7.350 % |
1061.30/1061.26 c | 982640 | 6441 150173 899860 | 2147483647 316646 24 | 7.350 % |
1061.50/1061.46 c | 982817 | 6441 150173 899860 | 2147483647 316823 24 | 7.350 % |
1061.60/1061.57 c | 983011 | 6441 150173 899860 | 2147483647 317017 24 | 7.350 % |
1061.80/1061.72 c | 983224 | 6441 150173 899860 | 2147483647 317230 24 | 7.350 % |
1062.00/1061.92 c | 983457 | 6441 150173 899860 | 2147483647 317463 24 | 7.351 % |
1062.10/1062.07 c | 983714 | 6441 150173 899860 | 2147483647 317720 24 | 7.350 % |
1062.40/1062.38 c | 983996 | 6441 150173 899860 | 2147483647 318002 24 | 7.350 % |
1062.60/1062.55 c | 984307 | 6441 150173 899860 | 2147483647 318313 24 | 7.350 % |
1063.30/1063.31 c | 984646 | 6441 150173 899860 | 2147483647 318652 24 | 7.350 % |
1063.80/1063.81 c | 985019 | 6441 150173 899860 | 2147483647 319025 24 | 7.350 % |
1064.30/1064.29 c | 985428 | 6441 150173 899860 | 2147483647 319434 24 | 7.350 % |
1065.00/1065.00 c | 985877 | 6441 150173 899860 | 2147483647 319883 24 | 7.350 % |
1066.80/1066.80 c | 986371 | 6441 150173 899860 | 2147483647 320377 24 | 7.350 % |
1068.00/1067.97 c | 986913 | 6441 150173 899860 | 2147483647 320919 24 | 7.350 % |
1069.00/1069.00 c | 987509 | 6441 150173 899860 | 2147483647 321515 24 | 7.350 % |
1069.50/1069.42 c | 988164 | 6441 150173 899860 | 2147483647 322170 24 | 7.350 % |
1070.20/1070.13 c | 988884 | 6441 150173 899860 | 2147483647 322890 24 | 7.351 % |
1070.80/1070.78 c | 989676 | 6441 150173 899860 | 2147483647 323682 24 | 7.350 % |
1071.30/1071.31 c | 990548 | 6441 150173 899860 | 2147483647 324554 24 | 7.350 % |
1072.60/1072.57 c | 991507 | 6441 150173 899860 | 2147483647 325513 24 | 7.350 % |
1074.00/1073.92 c | 992561 | 6441 150173 899860 | 2147483647 326567 24 | 7.351 % |
1074.80/1074.74 c | 993721 | 6441 150173 899860 | 2147483647 327727 24 | 7.350 % |
1076.30/1076.24 c | 994994 | 6441 150173 899860 | 2147483647 329000 24 | 7.350 % |
1077.00/1076.94 c | 996398 | 6441 150173 899860 | 2147483647 330404 24 | 7.350 % |
1078.90/1078.84 c | 997939 | 6440 150141 899333 | 2147483647 331938 24 | 7.365 % |
1080.10/1080.06 c | 999633 | 6440 150141 899333 | 2147483647 333632 24 | 7.365 % |
1082.00/1081.95 c | 1001496 | 6440 150141 899333 | 2147483647 335495 24 | 7.365 % |
1083.60/1083.53 c | 1003545 | 6440 150141 899333 | 2147483647 337544 24 | 7.365 % |
1086.70/1086.66 c | 1005799 | 6440 150141 899333 | 2147483647 339798 24 | 7.365 % |
1090.80/1090.75 c | 1008278 | 6440 150141 899333 | 2147483647 342277 24 | 7.365 % |
1093.90/1093.87 c | 1011003 | 6440 150141 899333 | 343999 345002 24 | 7.365 % |
1099.40/1099.32 c | 1014001 | 6440 150141 899333 | 343999 313500 24 | 7.365 % |
1101.30/1101.24 c | 1017297 | 6440 150141 899333 | 343999 316796 24 | 7.365 % |
1107.10/1107.07 c | 1020923 | 6440 150141 899333 | 319501 320422 24 | 7.365 % |
1111.11/1111.06 c | 1024910 | 6440 150141 899333 | 319501 263232 23 | 7.365 % |
1116.80/1116.80 c | 1029296 | 6440 150141 899333 | 319501 267618 23 | 7.365 % |
1120.80/1120.73 c | 1034120 | 6440 150141 899333 | 2147483647 272442 23 | 7.365 % |
1123.80/1123.75 c | 1039425 | 6440 150141 899333 | 2147483647 277747 23 | 7.365 % |
1127.50/1127.47 c | 1045261 | 6440 150141 899333 | 2147483647 283583 23 | 7.365 % |
1130.00/1129.98 c | 1051680 | 6440 150141 899333 | 2147483647 290002 23 | 7.365 % |
1134.10/1134.07 c | 1058741 | 6440 150141 899333 | 2147483647 297063 23 | 7.365 % |
1138.01/1138.01 c | 1066506 | 6440 150141 899333 | 2147483647 304828 23 | 7.365 % |
1142.11/1142.05 c | 1075046 | 6440 150141 899333 | 2147483647 313368 23 | 7.365 % |
1154.71/1154.62 c | 1084440 | 6440 150141 899333 | 2147483647 322762 23 | 7.365 % |
1154.81/1154.73 c | 1084541 | 6440 150141 899333 | 2147483647 322863 23 | 7.365 % |
1154.91/1154.83 c | 1084651 | 6440 150141 899333 | 2147483647 322973 23 | 7.365 % |
1155.01/1154.97 c | 1084773 | 6440 150141 899333 | 2147483647 323095 23 | 7.365 % |
1155.31/1155.31 c | 1084907 | 6440 150141 899333 | 2147483647 323229 23 | 7.365 % |
1155.61/1155.56 c | 1085054 | 6440 150141 899333 | 2147483647 323376 23 | 7.365 % |
1155.81/1155.78 c | 1085215 | 6440 150141 899333 | 2147483647 323537 23 | 7.365 % |
1156.11/1156.04 c | 1085392 | 6440 150141 899333 | 2147483647 323714 23 | 7.365 % |
1156.31/1156.28 c | 1085586 | 6440 150141 899333 | 2147483647 323908 23 | 7.365 % |
1156.51/1156.48 c | 1085798 | 6440 150141 899333 | 2147483647 324120 23 | 7.365 % |
1156.91/1156.86 c | 1086031 | 6440 150141 899333 | 2147483647 324353 23 | 7.365 % |
1157.11/1157.05 c | 1086287 | 6440 150141 899333 | 2147483647 324609 23 | 7.365 % |
1157.41/1157.31 c | 1086568 | 6440 150141 899333 | 2147483647 324890 23 | 7.365 % |
1157.81/1157.72 c | 1086878 | 6440 150141 899333 | 2147483647 325200 23 | 7.365 % |
1158.11/1158.04 c | 1087217 | 6440 150141 899333 | 2147483647 325539 23 | 7.365 % |
1158.71/1158.63 c | 1087590 | 6440 150141 899333 | 2147483647 325912 23 | 7.365 % |
1159.01/1158.94 c | 1087999 | 6440 150141 899333 | 2147483647 326321 23 | 7.365 % |
1159.81/1159.75 c | 1088448 | 6437 150109 898806 | 2147483647 326764 23 | 7.408 % |
1161.01/1160.91 c | 1088942 | 6437 150109 898806 | 2147483647 327258 23 | 7.408 % |
1161.61/1161.53 c | 1089484 | 6437 150109 898806 | 2147483647 327800 23 | 7.408 % |
1162.41/1162.39 c | 1090080 | 6437 150109 898806 | 2147483647 328396 23 | 7.408 % |
1163.31/1163.30 c | 1090736 | 6437 150109 898806 | 2147483647 329052 23 | 7.408 % |
1164.21/1164.20 c | 1091456 | 6437 150109 898806 | 2147483647 329772 23 | 7.408 % |
1165.11/1165.03 c | 1092248 | 6437 150109 898806 | 2147483647 330564 23 | 7.408 % |
1165.91/1165.84 c | 1093119 | 6437 150109 898806 | 2147483647 331435 23 | 7.408 % |
1166.51/1166.46 c | 1094078 | 6437 150109 898806 | 2147483647 332394 23 | 7.408 % |
1167.41/1167.35 c | 1095132 | 6437 150109 898806 | 2147483647 333448 23 | 7.408 % |
1168.41/1168.39 c | 1096291 | 6437 150109 898806 | 2147483647 334607 23 | 7.408 % |
1169.71/1169.69 c | 1097565 | 6437 150109 898806 | 2147483647 335881 23 | 7.408 % |
1172.21/1172.16 c | 1098966 | 6437 150109 898806 | 2147483647 337282 23 | 7.408 % |
1174.31/1174.30 c | 1100507 | 6437 150109 898806 | 2147483647 338823 23 | 7.408 % |
1175.31/1175.25 c | 1102201 | 6437 150109 898806 | 2147483647 340517 23 | 7.408 % |
1177.71/1177.68 c | 1104066 | 6437 150109 898806 | 2147483647 342382 23 | 7.408 % |
1179.61/1179.51 c | 1106115 | 6437 150109 898806 | 2147483647 344431 23 | 7.408 % |
1181.61/1181.51 c | 1108368 | 6437 150109 898806 | 2147483647 346684 23 | 7.408 % |
1182.81/1182.81 c | 1110846 | 6437 150109 898806 | 2147483647 349162 23 | 7.408 % |
1184.61/1184.52 c | 1113572 | 6437 150109 898806 | 2147483647 351888 23 | 7.408 % |
1186.61/1186.59 c | 1116569 | 6437 150109 898806 | 2147483647 354885 23 | 7.408 % |
1190.01/1189.91 c | 1119865 | 6437 150109 898806 | 2147483647 358181 23 | 7.408 % |
1191.81/1191.74 c | 1123491 | 6437 150109 898806 | 2147483647 361807 23 | 7.408 % |
1195.41/1195.41 c | 1127478 | 6437 150109 898806 | 2147483647 365794 23 | 7.408 % |
1197.71/1197.66 c | 1131866 | 6437 150045 897752 | 2147483647 370152 23 | 7.408 % |
1200.01/1199.92 HOME/SatELiteGTI: line 36: 2180 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820458-1242447489/watcher-1820458-1242447489 -o /tmp/evaluation-result-1820458-1242447489/solver-1820458-1242447489 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820458-1242447489.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2172
/proc/meminfo: memFree=1515892/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=948 CPUtime=0
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 113 0 0 0 0 0 0 0 18 0 1 0 1009246080 970752 49 4294967295 134512640 135223648 3214294176 3214293080 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 238 53 44 174 0 63 0
[startup+0.085302 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2172
/proc/meminfo: memFree=1515892/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=11616 CPUtime=0.09
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 2751 0 0 0 7 2 0 0 18 0 1 0 1009246080 11894784 2687 4294967295 134512640 135223648 3214294176 3214293128 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 2904 2688 47 174 0 2729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14028
[startup+0.1153 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2172
/proc/meminfo: memFree=1515892/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=17828 CPUtime=0.12
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 3780 0 0 0 10 2 0 0 18 0 1 0 1009246080 18255872 3716 4294967295 134512640 135223648 3214294176 3214293128 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 4457 3717 47 174 0 4282 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20240
[startup+0.315282 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2172
/proc/meminfo: memFree=1515892/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=43072 CPUtime=0.32
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 10265 0 0 0 22 10 0 0 18 0 1 0 1009246080 44105728 10201 4294967295 134512640 135223648 3214294176 3214292760 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 10768 10201 47 174 0 10593 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45484
[startup+0.715247 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2172
/proc/meminfo: memFree=1515892/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=58140 CPUtime=0.72
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 14364 0 0 0 59 13 0 0 18 0 1 0 1009246080 59535360 13884 4294967295 134512640 135223648 3214294176 3214291844 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 14535 13884 73 174 0 14360 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 60552
[startup+1.51518 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2177
/proc/meminfo: memFree=1457116/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=60404 CPUtime=1.52
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 14912 0 0 0 137 15 0 0 20 0 1 0 1009246080 61853696 14432 4294967295 134512640 135223648 3214294176 3214292192 134586909 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 15101 14432 73 174 0 14926 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 62816
[startup+3.11504 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2177
/proc/meminfo: memFree=1450172/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=63580 CPUtime=3.12
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 15712 0 0 0 292 20 0 0 25 0 1 0 1009246080 65105920 15232 4294967295 134512640 135223648 3214294176 3214291944 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 15895 15232 73 174 0 15720 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 65992
[startup+6.31476 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2177
/proc/meminfo: memFree=1435372/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=68600 CPUtime=6.32
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 16904 0 0 0 606 26 0 0 25 0 1 0 1009246080 70246400 16424 4294967295 134512640 135223648 3214294176 3214291952 134585461 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 17150 16424 73 174 0 16975 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 71012
[startup+12.7142 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2179
/proc/meminfo: memFree=1424360/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2412 CPUtime=0
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1009246080 2469888 277 4294967295 134512640 135169312 3214236832 3214235368 3085004526 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2172/statm: 603 277 235 161 0 42 0
[pid=2176] ppid=2172 vsize=73860 CPUtime=12.72
/proc/2176/stat : 2176 (SatELite_releas) R 2172 2172 14060 0 -1 4202496 18080 0 0 0 1245 27 0 0 25 0 1 0 1009246080 75632640 17473 4294967295 134512640 135223648 3214294176 3214292192 134548337 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2176/statm: 18465 17473 73 174 0 18290 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 76272
[startup+25.5131 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2180
/proc/meminfo: memFree=1471452/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=16236 CPUtime=6.65
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 3931 0 0 0 662 3 0 0 25 0 1 0 1009247965 16625664 3866 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 4059 3866 73 172 0 3886 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 18652
[startup+51.1109 s]
/proc/loadavg: 1.15 1.03 1.01 3/95 2184
/proc/meminfo: memFree=1466788/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=21028 CPUtime=32.25
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 5127 0 0 0 3220 5 0 0 25 0 1 0 1009247965 21532672 5062 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 5257 5062 73 172 0 5084 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 23444
[startup+102.316 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 2374
/proc/meminfo: memFree=1457636/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=29644 CPUtime=83.46
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 7296 0 0 0 8341 5 0 0 25 0 1 0 1009247965 30355456 7231 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 7411 7231 73 172 0 7238 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 32060
[startup+162.321 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 2562
/proc/meminfo: memFree=1449180/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=38240 CPUtime=143.47
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 9440 0 0 0 14342 5 0 0 25 0 1 0 1009247965 39157760 9375 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 9560 9375 73 172 0 9387 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 40656
[startup+222.316 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 2749
/proc/meminfo: memFree=1441856/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=45512 CPUtime=203.47
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 11219 0 0 0 20341 6 0 0 25 0 1 0 1009247965 46604288 11154 4294967295 134512640 135215339 3217580064 3217578352 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 11378 11154 73 172 0 11205 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 47928
[startup+282.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 2938
/proc/meminfo: memFree=1434912/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=52528 CPUtime=263.47
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 13021 0 0 0 26339 8 0 0 25 0 1 0 1009247965 53788672 12956 4294967295 134512640 135215339 3217580064 3217578352 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 13132 12956 73 172 0 12959 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 54944
[startup+342.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3136
/proc/meminfo: memFree=1427960/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=60032 CPUtime=323.47
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 14769 0 0 0 32337 10 0 0 25 0 1 0 1009247965 61472768 14704 4294967295 134512640 135215339 3217580064 3217578352 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2180/statm: 15008 14704 73 172 0 14835 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=2180] ppid=2172 vsize=75168 CPUtime=503.49
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 18681 0 0 0 50335 14 0 0 25 0 1 0 1009247965 76972032 18616 4294967295 134512640 135215339 3217580064 3217578336 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 18792 18616 73 172 0 18619 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 77584
[startup+582.325 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4035
/proc/meminfo: memFree=1406380/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=76752 CPUtime=563.51
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 18836 0 0 0 56336 15 0 0 25 0 1 0 1009247965 78594048 18771 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19188 18771 73 172 0 19015 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 79168
[startup+642.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4232
/proc/meminfo: memFree=1406396/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=76888 CPUtime=623.5
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 18871 0 0 0 62335 15 0 0 25 0 1 0 1009247965 78733312 18806 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19222 18806 73 172 0 19049 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 79304
[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4418
/proc/meminfo: memFree=1405280/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78100 CPUtime=683.51
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19151 0 0 0 68336 15 0 0 25 0 1 0 1009247965 79974400 19086 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19525 19086 73 172 0 19352 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 80516
[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4606
/proc/meminfo: memFree=1405512/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78100 CPUtime=743.52
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19151 0 0 0 74337 15 0 0 25 0 1 0 1009247965 79974400 19086 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19525 19086 73 172 0 19352 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 80516
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 4793
/proc/meminfo: memFree=1405272/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78100 CPUtime=803.52
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19152 0 0 0 80326 26 0 0 25 0 1 0 1009247965 79974400 19087 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19525 19087 73 172 0 19352 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 80516
[startup+882.319 s]
/proc/loadavg: 1.20 1.05 1.01 2/95 4986
/proc/meminfo: memFree=1405388/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78100 CPUtime=863.53
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19166 0 0 0 86326 27 0 0 25 0 1 0 1009247965 79974400 19101 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19525 19101 73 172 0 19352 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 80516
[startup+942.324 s]
/proc/loadavg: 1.07 1.03 1.01 3/95 5175
/proc/meminfo: memFree=1405264/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78232 CPUtime=923.54
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19182 0 0 0 92327 27 0 0 25 0 1 0 1009247965 80109568 19117 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19558 19117 73 172 0 19385 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 80648
[startup+1002.31 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 5361
/proc/meminfo: memFree=1404900/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78528 CPUtime=983.53
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19253 0 0 0 98325 28 0 0 25 0 1 0 1009247965 80412672 19188 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19632 19188 73 172 0 19459 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 80944
[startup+1062.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 5549
/proc/meminfo: memFree=1404644/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78680 CPUtime=1043.54
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19283 0 0 0 104325 29 0 0 25 0 1 0 1009247965 80568320 19218 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19670 19218 73 172 0 19497 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 81096
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 5736
/proc/meminfo: memFree=1404520/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78680 CPUtime=1103.54
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19284 0 0 0 110325 29 0 0 25 0 1 0 1009247965 80568320 19219 4294967295 134512640 135215339 3217580064 3217578352 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19670 19219 73 172 0 19497 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 81096
[startup+1182.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 5925
/proc/meminfo: memFree=1404412/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78836 CPUtime=1163.55
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19335 0 0 0 116326 29 0 0 25 0 1 0 1009247965 80728064 19270 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19709 19270 73 172 0 19536 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 81252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 5925
/proc/meminfo: memFree=1404412/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78836 CPUtime=1181.15
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19350 0 0 0 118086 29 0 0 25 0 1 0 1009247965 80728064 19285 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19709 19285 73 172 0 19536 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 81252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 5925
/proc/meminfo: memFree=1404412/2074464 swapFree=1949056/1959888
[pid=2172] ppid=2170 vsize=2416 CPUtime=18.86
/proc/2172/stat : 2172 (SatELiteGTI) S 2170 2172 14060 0 -1 4194304 386 20774 0 0 0 0 1857 29 20 0 1 0 1009246080 2473984 278 4294967295 134512640 135169312 3214236832 3214233048 3085004526 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2172/statm: 604 278 235 161 0 43 0
[pid=2180] ppid=2172 vsize=78836 CPUtime=1181.15
/proc/2180/stat : 2180 (minisat_static) R 2172 2172 14060 0 -1 4202496 19350 0 0 0 118086 29 0 0 25 0 1 0 1009247965 80728064 19285 4294967295 134512640 135215339 3217580064 3217578352 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2180/statm: 19709 19285 73 172 0 19536 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 81252
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.43
CPU system time (s): 0.59
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 85592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.43
system time used= 0.59
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40601
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= 21
involuntary context switches= 1935
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 06:18:09
IDJOB=1820458
IDBENCH=20409
IDSOLVER=657
FILE ID=tipi27/1820458-1242447489
PBS_JOBID=
Free space on /tmp= 9981 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820458-1242447489/watcher-1820458-1242447489 -o /tmp/evaluation-result-1820458-1242447489/solver-1820458-1242447489 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820458-1242447489.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED= 1061166110
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1515768 kB
Buffers: 28276 kB
Cached: 443052 kB
SwapCached: 5508 kB
Active: 335172 kB
Inactive: 146008 kB
HighTotal: 1178688 kB
HighFree: 756532 kB
LowTotal: 895776 kB
LowFree: 759236 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 9280 kB
Writeback: 0 kB
AnonPages: 9104 kB
Mapped: 3372 kB
Slab: 68968 kB
PageTables: 440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9981 MiB
End job on tipi27 at 2009-05-16 06:38:11