0.00/0.00 c Parsing...
0.00/0.72 c ==============================================================================
0.00/0.72 c | | ORIGINAL | LEARNT | |
0.00/0.72 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.72 c ==============================================================================
0.00/0.72 c | 0 | 904890 2111410 | 271466 0 0 nan | 0.000 % |
12.57/12.60 c | 0 | 561543 1734504 | -- 0 -- -- | -- | -343345/-376901
12.57/12.60 c ==============================================================================
12.57/12.60 c Result : #vars: 110076 #clauses: 561543 #literals: 1734504
12.57/12.60 c CPU time: 12.2071 s
12.57/12.60 c ==============================================================================
13.17/13.20 c This is MiniSat 2.0 beta
13.17/13.20 c WARNING: for repeatability, setting FPU to use double precision
13.17/13.20 c ============================[ Problem Statistics ]=============================
13.17/13.20 c | |
13.17/13.21 c | Number of variables: 110076 |
13.17/13.21 c | Number of clauses: 561543 |
13.17/13.55 c | Parsing time: 0.30 s |
13.17/13.57 c ============================[ Search Statistics ]==============================
13.17/13.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
13.17/13.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.17/13.57 c ===============================================================================
13.17/13.57 c | 0 | 110076 561543 1734504 | 187181 0 nan | 0.000 % |
13.17/13.78 c | 100 | 110076 561543 1734504 | 187181 100 48 | 0.000 % |
13.17/13.82 c | 200 | 110076 561543 1734504 | 187181 200 38 | 0.000 % |
13.17/13.90 c | 300 | 110076 561543 1734504 | 187181 300 34 | 0.000 % |
13.17/13.94 c | 412 | 110076 561543 1734504 | 187181 412 29 | 0.000 % |
13.17/13.98 c | 513 | 110076 561543 1734504 | 187181 513 27 | 0.000 % |
13.17/14.05 c | 624 | 110076 561543 1734504 | 187181 624 27 | 0.000 % |
13.17/14.13 c | 745 | 110076 561543 1734504 | 187181 745 29 | 0.000 % |
14.35/14.43 c | 846 | 110076 561543 1734504 | 187181 846 38 | 0.000 % |
14.35/14.48 c | 956 | 110076 561543 1734504 | 187181 956 35 | 0.000 % |
14.45/14.52 c | 1078 | 110076 561543 1734504 | 187181 1078 34 | 0.000 % |
14.45/14.54 c | 1212 | 110076 561543 1734504 | 187181 1212 33 | 0.000 % |
14.45/14.56 c | 1314 | 110076 561543 1734504 | 187181 1314 32 | 0.000 % |
14.45/14.58 c | 1425 | 110076 561543 1734504 | 187181 1425 30 | 0.000 % |
14.55/14.62 c | 1546 | 110076 561543 1734504 | 187181 1546 29 | 0.000 % |
14.55/14.65 c | 1681 | 110076 561543 1734504 | 187181 1681 29 | 0.000 % |
14.55/14.69 c | 1827 | 110076 561543 1734504 | 187181 1827 28 | 0.000 % |
14.65/14.72 c | 1928 | 110076 561543 1734504 | 187181 1928 27 | 0.000 % |
14.65/14.75 c | 2039 | 110076 561543 1734504 | 187181 2039 27 | 0.000 % |
14.65/14.78 c | 2160 | 110076 561543 1734504 | 187181 2160 26 | 0.000 % |
14.75/14.81 c | 2293 | 110076 561543 1734504 | 187181 2293 26 | 0.000 % |
15.45/15.51 c | 2439 | 110076 561543 1734504 | 187181 2439 31 | 0.000 % |
15.45/15.57 c | 2600 | 110076 561543 1734504 | 187181 2600 31 | 0.000 % |
15.54/15.67 c | 2700 | 110076 561543 1734504 | 187181 2700 32 | 0.000 % |
15.64/15.70 c | 2811 | 110076 561543 1734504 | 187181 2811 32 | 0.000 % |
15.64/15.72 c | 2933 | 110076 561543 1734504 | 187181 2933 31 | 0.000 % |
15.74/15.82 c | 3066 | 110076 561543 1734504 | 187181 3066 33 | 0.000 % |
15.74/15.84 c | 3212 | 110076 561543 1734504 | 187181 3212 32 | 0.000 % |
15.74/15.88 c | 3374 | 110076 561543 1734504 | 187181 3374 31 | 0.000 % |
16.14/16.22 c | 3552 | 110076 561543 1734504 | 187181 3552 35 | 0.000 % |
16.14/16.26 c | 3654 | 110076 561543 1734504 | 187181 3654 35 | 0.000 % |
16.24/16.35 c | 3764 | 110076 561543 1734504 | 187181 3764 35 | 0.000 % |
16.34/16.42 c | 3885 | 110076 561543 1734504 | 187181 3885 34 | 0.000 % |
16.44/16.56 c | 4018 | 110076 561543 1734504 | 187181 4018 34 | 0.000 % |
16.54/16.62 c | 4165 | 110076 561543 1734504 | 187181 4165 33 | 0.000 % |
16.54/16.68 c | 4325 | 110076 561543 1734504 | 187181 4325 33 | 0.000 % |
16.64/16.79 c | 4501 | 110076 561543 1734504 | 187181 4501 33 | 0.000 % |
17.13/17.27 c | 4695 | 110076 561543 1734504 | 187181 4695 34 | 0.000 % |
17.13/17.28 c | 4795 | 110076 561543 1734504 | 187181 4795 33 | 0.000 % |
17.23/17.31 c | 4905 | 110076 561543 1734504 | 187181 4905 33 | 0.000 % |
17.23/17.34 c | 5027 | 110076 561543 1734504 | 187181 5027 33 | 0.000 % |
17.23/17.37 c | 5160 | 110076 561543 1734504 | 187181 5160 32 | 0.000 % |
17.33/17.40 c | 5307 | 110076 561543 1734504 | 187181 5307 32 | 0.000 % |
17.53/17.65 c | 5467 | 110076 561543 1734504 | 187181 5467 33 | 0.000 % |
17.73/17.86 c | 5644 | 110076 561543 1734504 | 187181 5644 33 | 0.000 % |
17.83/17.98 c | 5838 | 110076 561543 1734504 | 187181 5838 33 | 0.000 % |
18.13/18.20 c | 6051 | 110076 561543 1734504 | 187181 6051 34 | 0.000 % |
18.13/18.25 c | 6154 | 110076 561543 1734504 | 187181 6154 34 | 0.000 % |
18.13/18.29 c | 6264 | 110076 561543 1734504 | 187181 6264 34 | 0.000 % |
18.23/18.31 c | 6385 | 110076 561543 1734504 | 187181 6385 33 | 0.000 % |
19.43/19.52 c | 6518 | 110076 561543 1734504 | 187181 6518 36 | 0.000 % |
19.63/19.72 c | 6664 | 110076 561543 1734504 | 187181 6664 36 | 0.000 % |
19.63/19.79 c | 6824 | 110076 561543 1734504 | 187181 6824 36 | 0.000 % |
19.73/19.90 c | 7000 | 110076 561543 1734504 | 187181 7000 35 | 0.000 % |
19.83/19.95 c | 7196 | 110076 561543 1734504 | 187181 7196 35 | 0.000 % |
19.92/20.01 c | 7408 | 110076 561543 1734504 | 187181 7408 35 | 0.000 % |
20.02/20.19 c | 7641 | 110076 561543 1734504 | 187181 7641 36 | 0.000 % |
21.62/21.75 c | 7741 | 110076 561543 1734504 | 187181 7741 39 | 0.000 % |
21.82/21.97 c | 7852 | 110076 561543 1734504 | 187181 7852 39 | 0.000 % |
21.93/22.03 c | 7974 | 110076 561543 1734504 | 187181 7974 39 | 0.000 % |
21.93/22.09 c | 8107 | 110076 561543 1734504 | 187181 8107 39 | 0.000 % |
22.03/22.20 c | 8257 | 110076 561543 1734504 | 187181 8257 39 | 0.000 % |
22.12/22.28 c | 8418 | 110076 561543 1734504 | 187181 8418 38 | 0.000 % |
24.12/24.24 c | 8595 | 110076 561543 1734504 | 187181 8595 41 | 0.000 % |
24.22/24.33 c | 8788 | 110076 561543 1734504 | 187181 8788 41 | 0.000 % |
24.32/24.43 c | 9000 | 105890 531968 1662068 | 187181 8999 40 | 3.803 % |
24.32/24.49 c | 9233 | 105890 531968 1662068 | 187181 9232 39 | 3.803 % |
24.42/24.58 c | 9491 | 105890 531968 1662068 | 187181 9490 39 | 3.803 % |
24.52/24.65 c | 9591 | 105890 531968 1662068 | 187181 9590 38 | 3.803 % |
24.72/24.85 c | 9702 | 105890 531968 1662068 | 187181 9701 39 | 3.803 % |
24.72/24.88 c | 9824 | 105890 531968 1662068 | 187181 9823 39 | 3.803 % |
24.82/24.91 c | 9957 | 105890 531968 1662068 | 187181 9956 39 | 3.803 % |
24.82/24.98 c | 10104 | 105890 531968 1662068 | 2147483647 10103 39 | 3.803 % |
24.92/25.05 c | 10267 | 105890 531968 1662068 | 2147483647 10266 39 | 3.803 % |
25.02/25.12 c | 10443 | 105890 531968 1662068 | 2147483647 10442 39 | 3.803 % |
25.12/25.21 c | 10636 | 105890 531968 1662068 | 2147483647 10635 38 | 3.803 % |
25.12/25.25 c | 10849 | 105890 531968 1662068 | 2147483647 10848 38 | 3.803 % |
25.22/25.32 c | 11086 | 105890 531968 1662068 | 2147483647 11085 38 | 3.803 % |
25.32/25.42 c | 11343 | 105890 531968 1662068 | 2147483647 11342 38 | 3.803 % |
25.32/25.48 c | 11625 | 105890 531968 1662068 | 2147483647 11624 38 | 3.803 % |
25.42/25.51 c | 11727 | 105890 531968 1662068 | 2147483647 11726 38 | 3.803 % |
25.42/25.53 c | 11838 | 105890 531968 1662068 | 2147483647 11837 38 | 3.803 % |
25.42/25.56 c | 11961 | 105890 531968 1662068 | 2147483647 11960 37 | 3.803 % |
25.53/25.61 c | 12095 | 105890 531968 1662068 | 2147483647 12094 37 | 3.803 % |
25.53/25.63 c | 12241 | 105890 531968 1662068 | 2147483647 12240 37 | 3.803 % |
26.83/26.96 c | 12402 | 105890 531968 1662068 | 2147483647 12401 40 | 3.803 % |
27.03/27.10 c | 12579 | 105890 531968 1662068 | 2147483647 12578 40 | 3.803 % |
27.33/27.42 c | 12774 | 103646 517698 1627278 | 2147483647 12768 40 | 7.729 % |
29.03/29.19 c | 12986 | 103415 517698 1627278 | 2147483647 12980 43 | 7.729 % |
29.23/29.31 c | 13219 | 101568 501987 1587719 | 2147483647 13213 43 | 7.729 % |
29.23/29.39 c | 13476 | 101568 501987 1587719 | 2147483647 13470 42 | 7.729 % |
29.52/29.63 c | 13758 | 101568 501987 1587719 | 2147483647 13752 42 | 7.729 % |
29.63/29.72 c | 14068 | 101568 501987 1587719 | 2147483647 14062 41 | 7.729 % |
29.63/29.75 c | 14169 | 101568 501987 1587719 | 2147483647 14163 41 | 7.729 % |
29.63/29.77 c | 14280 | 101568 501987 1587719 | 2147483647 14274 41 | 7.729 % |
29.73/29.85 c | 14402 | 101568 501987 1587719 | 2147483647 14396 41 | 7.729 % |
29.82/30.00 c | 14535 | 101566 501987 1587719 | 2147483647 14527 41 | 7.843 % |
29.92/30.09 c | 14683 | 101563 501987 1587719 | 2147483647 14674 40 | 7.845 % |
30.02/30.14 c | 14844 | 101561 501987 1587719 | 2147483647 14834 40 | 7.956 % |
30.12/30.27 c | 15021 | 101558 501987 1587719 | 2147483647 15011 40 | 7.956 % |
30.22/30.31 c | 15214 | 101558 501987 1587719 | 2147483647 15204 40 | 7.956 % |
30.32/30.43 c | 15428 | 101558 501987 1587719 | 2147483647 15418 39 | 7.956 % |
30.52/30.66 c | 15661 | 101073 499515 1580254 | 2147483647 15648 39 | 8.179 % |
30.73/30.84 c | 15917 | 101073 499515 1580254 | 2147483647 15904 39 | 8.179 % |
30.83/30.93 c | 16198 | 101073 499515 1580254 | 2147483647 16185 38 | 8.179 % |
30.92/31.01 c | 16507 | 101073 499515 1580254 | 2147483647 16494 38 | 8.179 % |
31.02/31.14 c | 16846 | 101073 499515 1580254 | 2147483647 16833 38 | 8.179 % |
31.02/31.16 c | 16947 | 101073 499515 1580254 | 2147483647 16934 38 | 8.179 % |
31.12/31.21 c | 17057 | 101073 499515 1580254 | 2147483647 17044 38 | 8.179 % |
31.12/31.24 c | 17179 | 101073 499515 1580254 | 2147483647 17166 38 | 8.179 % |
31.22/31.30 c | 17312 | 101071 499515 1580254 | 2147483647 17297 38 | 8.181 % |
31.22/31.37 c | 17458 | 101071 499515 1580254 | 2147483647 17443 38 | 8.181 % |
31.22/31.39 c | 17620 | 101071 499515 1580254 | 2147483647 17605 38 | 8.181 % |
31.33/31.45 c | 17797 | 101071 499515 1580254 | 2147483647 17782 38 | 8.181 % |
31.62/31.70 c | 17991 | 101071 499515 1580254 | 2147483647 17976 37 | 8.181 % |
31.62/31.76 c | 18203 | 101071 499515 1580254 | 2147483647 18188 37 | 8.181 % |
31.72/31.81 c | 18436 | 101071 499515 1580254 | 2147483647 18421 37 | 8.181 % |
31.72/31.86 c | 18692 | 101071 499515 1580254 | 2147483647 18677 37 | 8.181 % |
31.82/31.91 c | 18974 | 101071 499515 1580254 | 2147483647 18959 37 | 8.181 % |
31.82/32.00 c | 19284 | 101071 499515 1580254 | 2147483647 19269 36 | 8.181 % |
32.02/32.14 c | 19624 | 101071 499515 1580254 | 2147483647 19609 36 | 8.181 % |
32.12/32.28 c | 19996 | 101071 499500 1580218 | 2147483647 19981 36 | 8.181 % |
32.22/32.32 c | 20097 | 101071 499500 1580218 | 2147483647 20082 36 | 8.181 % |
32.22/32.37 c | 20208 | 101071 499500 1580218 | 2147483647 20193 36 | 8.181 % |
32.32/32.41 c | 20329 | 101071 499500 1580218 | 2147483647 20314 36 | 8.181 % |
32.32/32.43 c | 20462 | 101071 499500 1580218 | 2147483647 20447 36 | 8.181 % |
32.42/32.50 c | 20608 | 101071 499500 1580218 | 2147483647 20593 36 | 8.181 % |
32.62/32.71 c | 20769 | 101071 499500 1580218 | 2147483647 20754 36 | 8.181 % |
32.62/32.75 c | 20947 | 101071 499500 1580218 | 2147483647 20932 36 | 8.181 % |
32.62/32.79 c | 21140 | 101071 499500 1580218 | 2147483647 21125 36 | 8.181 % |
32.72/32.84 c | 21353 | 101071 499500 1580218 | 2147483647 21338 36 | 8.181 % |
32.72/32.89 c | 21588 | 101071 499500 1580218 | 2147483647 21573 36 | 8.181 % |
32.82/32.94 c | 21844 | 101071 499500 1580218 | 2147483647 21829 35 | 8.181 % |
32.82/32.99 c | 22126 | 101071 499500 1580218 | 2147483647 22111 35 | 8.181 % |
32.92/33.04 c | 22437 | 101071 499500 1580218 | 2147483647 22422 35 | 8.181 % |
33.02/33.15 c | 22776 | 101071 499500 1580218 | 2147483647 22761 35 | 8.181 % |
33.11/33.24 c | 23149 | 101071 499500 1580218 | 2147483647 23134 35 | 8.181 % |
33.21/33.34 c | 23558 | 101071 499500 1580218 | 2147483647 23543 35 | 8.181 % |
33.21/33.38 c | 23658 | 101071 499500 1580218 | 2147483647 23643 35 | 8.181 % |
33.31/33.46 c | 23768 | 101071 499500 1580218 | 2147483647 23753 35 | 8.181 % |
33.41/33.54 c | 23889 | 101071 499500 1580218 | 2147483647 23874 35 | 8.181 % |
33.51/33.60 c | 24023 | 101071 499500 1580218 | 2147483647 24008 35 | 8.181 % |
33.51/33.63 c | 24171 | 101071 499500 1580218 | 2147483647 24156 35 | 8.181 % |
33.61/33.70 c | 24331 | 101071 499500 1580218 | 2147483647 24316 34 | 8.181 % |
33.61/33.73 c | 24509 | 101071 499500 1580218 | 2147483647 24494 34 | 8.181 % |
33.71/33.81 c | 24703 | 101071 499500 1580218 | 2147483647 24688 34 | 8.181 % |
33.71/33.86 c | 24915 | 101071 499500 1580218 | 2147483647 24900 34 | 8.181 % |
33.81/33.95 c | 25148 | 101071 499500 1580218 | 2147483647 25133 34 | 8.181 % |
33.91/34.04 c | 25404 | 101071 499500 1580218 | 2147483647 25389 34 | 8.181 % |
34.02/34.13 c | 25685 | 101071 499500 1580218 | 2147483647 25670 34 | 8.181 % |
34.12/34.25 c | 25994 | 101071 499500 1580218 | 2147483647 25979 34 | 8.181 % |
34.21/34.36 c | 26333 | 101071 499500 1580218 | 2147483647 26318 34 | 8.181 % |
34.31/34.47 c | 26706 | 101071 499500 1580218 | 2147483647 26691 34 | 8.181 % |
34.61/34.74 c | 27117 | 101071 499500 1580218 | 2147483647 27102 34 | 8.181 % |
34.81/34.94 c | 27566 | 101071 499500 1580218 | 2147483647 27551 34 | 8.181 % |
34.81/34.98 c | 27666 | 101071 499500 1580218 | 2147483647 27651 34 | 8.181 % |
34.91/35.02 c | 27777 | 101071 499500 1580218 | 2147483647 27762 34 | 8.181 % |
34.91/35.06 c | 27898 | 101071 499500 1580218 | 2147483647 27883 34 | 8.181 % |
34.91/35.10 c | 28032 | 101071 499500 1580218 | 2147483647 28017 34 | 8.181 % |
35.01/35.16 c | 28179 | 101071 499500 1580218 | 2147483647 28164 34 | 8.181 % |
35.11/35.22 c | 28340 | 101071 499500 1580218 | 2147483647 28325 34 | 8.181 % |
35.11/35.30 c | 28516 | 101071 499500 1580218 | 2147483647 28501 34 | 8.181 % |
35.31/35.41 c | 28710 | 101071 499500 1580218 | 2147483647 28695 34 | 8.181 % |
35.31/35.43 c | 28923 | 101071 499500 1580218 | 2147483647 28908 34 | 8.181 % |
35.31/35.49 c | 29158 | 101071 499500 1580218 | 2147483647 29143 34 | 8.181 % |
35.41/35.57 c | 29414 | 101071 499500 1580218 | 2147483647 29399 34 | 8.181 % |
39.30/39.49 c | 29697 | 101071 499500 1580218 | 2147483647 29682 36 | 8.181 % |
39.60/39.75 c | 30006 | 101071 499500 1580218 | 2147483647 29991 36 | 8.181 % |
40.00/40.18 c | 30345 | 101071 499500 1580218 | 2147483647 30330 36 | 8.181 % |
40.20/40.31 c | 30717 | 101071 499500 1580218 | 2147483647 30702 36 | 8.181 % |
40.40/40.50 c | 31127 | 101071 499500 1580218 | 2147483647 31112 36 | 8.181 % |
41.20/41.35 c | 31576 | 101071 499500 1580218 | 2147483647 31561 36 | 8.181 % |
41.50/41.61 c | 32069 | 101071 499500 1580218 | 2147483647 32054 36 | 8.181 % |
41.50/41.66 c | 32169 | 101071 499500 1580218 | 2147483647 32154 36 | 8.181 % |
41.60/41.71 c | 32279 | 101071 499500 1580218 | 2147483647 32264 36 | 8.181 % |
41.70/41.84 c | 32401 | 101071 499500 1580218 | 2147483647 32386 36 | 8.181 % |
41.70/41.89 c | 32534 | 101071 499500 1580218 | 2147483647 32519 36 | 8.181 % |
41.89/42.06 c | 32680 | 101071 499500 1580218 | 2147483647 32665 36 | 8.181 % |
42.29/42.42 c | 32842 | 101071 499500 1580218 | 2147483647 32827 36 | 8.181 % |
42.39/42.60 c | 33018 | 101071 499500 1580218 | 2147483647 33003 36 | 8.181 % |
42.59/42.70 c | 33211 | 101071 499500 1580218 | 2147483647 33196 36 | 8.181 % |
42.69/42.88 c | 33426 | 101071 499500 1580218 | 2147483647 33411 36 | 8.181 % |
42.90/43.03 c | 33659 | 101071 499500 1580218 | 2147483647 33644 36 | 8.181 % |
43.19/43.39 c | 33916 | 101071 499500 1580218 | 2147483647 33901 35 | 8.181 % |
43.39/43.54 c | 34197 | 101071 499500 1580218 | 2147483647 34182 35 | 8.181 % |
43.49/43.64 c | 34506 | 101071 499500 1580218 | 2147483647 34491 35 | 8.181 % |
43.69/43.85 c | 34845 | 101071 499500 1580218 | 2147483647 34830 35 | 8.181 % |
43.79/43.98 c | 35217 | 101071 499500 1580218 | 2147483647 35202 35 | 8.181 % |
44.00/44.17 c | 35628 | 101071 499500 1580218 | 2147483647 35613 35 | 8.181 % |
44.19/44.32 c | 36077 | 101071 499500 1580218 | 2147483647 36062 35 | 8.181 % |
44.30/44.46 c | 36573 | 101071 499500 1580218 | 2147483647 36558 35 | 8.181 % |
44.40/44.56 c | 37115 | 101071 499500 1580218 | 2147483647 37100 35 | 8.181 % |
44.40/44.58 c | 37215 | 101071 499500 1580218 | 2147483647 37200 35 | 8.181 % |
44.50/44.61 c | 37325 | 101071 499500 1580218 | 2147483647 37310 35 | 8.181 % |
44.50/44.66 c | 37447 | 101071 499500 1580218 | 2147483647 37432 35 | 8.181 % |
44.61/44.75 c | 37582 | 101071 499500 1580218 | 2147483647 37567 35 | 8.181 % |
44.71/44.88 c | 37729 | 101071 499500 1580218 | 2147483647 37714 35 | 8.181 % |
44.81/44.99 c | 37890 | 101071 499500 1580218 | 2147483647 37875 35 | 8.181 % |
44.91/45.09 c | 38066 | 101071 499500 1580218 | 2147483647 38051 35 | 8.181 % |
45.07/45.17 c | 38261 | 101071 499500 1580218 | 2147483647 38246 35 | 8.181 % |
45.16/45.28 c | 38474 | 101071 499500 1580218 | 2147483647 38459 35 | 8.181 % |
45.20/45.36 c | 38708 | 101071 499500 1580218 | 2147483647 38693 35 | 8.181 % |
50.09/50.27 c | 38966 | 101071 499500 1580218 | 2147483647 38951 37 | 8.181 % |
50.29/50.43 c | 39248 | 101071 499500 1580218 | 2147483647 39233 37 | 8.181 % |
50.39/50.53 c | 39557 | 101071 499500 1580218 | 2147483647 39542 36 | 8.181 % |
50.50/50.70 c | 39897 | 101071 499500 1580218 | 2147483647 39882 36 | 8.181 % |
50.69/50.85 c | 40269 | 101071 499500 1580218 | 2147483647 40254 36 | 8.181 % |
51.29/51.46 c | 40678 | 101071 499500 1580218 | 2147483647 40663 36 | 8.181 % |
51.49/51.68 c | 41127 | 101071 499500 1580218 | 2147483647 41112 36 | 8.181 % |
51.70/51.88 c | 41620 | 101071 499500 1580218 | 2147483647 41605 36 | 8.181 % |
52.19/52.34 c | 42163 | 100941 498950 1578568 | 2147483647 42140 36 | 8.491 % |
52.49/52.68 c | 42759 | 100941 498950 1578568 | 2147483647 42736 35 | 8.491 % |
53.59/53.79 c | 42862 | 100941 498950 1578568 | 2147483647 42839 36 | 8.491 % |
53.79/53.92 c | 42972 | 100941 498950 1578568 | 2147483647 42949 36 | 8.491 % |
53.79/53.99 c | 43094 | 100941 498950 1578568 | 2147483647 43071 36 | 8.491 % |
53.98/54.16 c | 43227 | 100941 498950 1578568 | 2147483647 43204 35 | 8.491 % |
54.58/54.73 c | 43373 | 100941 498950 1578568 | 2147483647 43350 36 | 8.491 % |
54.78/54.92 c | 43533 | 100941 498950 1578568 | 2147483647 43510 36 | 8.491 % |
54.78/54.99 c | 43709 | 100941 498950 1578568 | 2147483647 43686 36 | 8.491 % |
55.18/55.37 c | 43903 | 100941 498950 1578568 | 2147483647 43880 36 | 8.491 % |
55.28/55.47 c | 44117 | 100729 497887 1575389 | 2147483647 44093 35 | 8.491 % |
55.48/55.61 c | 44350 | 100729 497887 1575389 | 2147483647 44326 35 | 8.491 % |
55.69/55.87 c | 44607 | 100729 497887 1575389 | 2147483647 44583 35 | 8.491 % |
58.19/58.37 c | 44888 | 100729 497887 1575389 | 2147483647 44864 36 | 8.491 % |
58.49/58.65 c | 45197 | 100729 497887 1575389 | 2147483647 45173 36 | 8.491 % |
58.69/58.82 c | 45536 | 100729 497887 1575389 | 2147483647 45512 36 | 8.491 % |
58.89/59.03 c | 45908 | 100729 497887 1575389 | 2147483647 45884 36 | 8.491 % |
58.99/59.18 c | 46319 | 100729 497887 1575389 | 2147483647 46295 36 | 8.491 % |
59.09/59.26 c | 46768 | 100729 497887 1575389 | 2147483647 46744 36 | 8.491 % |
59.69/59.90 c | 47261 | 100729 497887 1575389 | 2147483647 47237 36 | 8.491 % |
59.99/60.17 c | 47803 | 100729 497887 1575389 | 2147483647 47779 36 | 8.491 % |
60.29/60.46 c | 48399 | 100729 497887 1575389 | 2147483647 48375 36 | 8.491 % |
60.98/61.12 c | 49054 | 100729 497887 1575389 | 2147483647 49030 36 | 8.491 % |
60.98/61.17 c | 49155 | 100729 497887 1575389 | 2147483647 49131 36 | 8.491 % |
60.98/61.20 c | 49265 | 100729 497887 1575389 | 2147483647 49241 36 | 8.491 % |
61.08/61.22 c | 49386 | 100729 497887 1575389 | 2147483647 49362 36 | 8.491 % |
61.18/61.32 c | 49520 | 100729 497887 1575389 | 2147483647 49496 36 | 8.491 % |
61.18/61.37 c | 49666 | 100729 497887 1575389 | 2147483647 49642 36 | 8.491 % |
61.68/61.84 c | 49826 | 100729 497887 1575389 | 2147483647 49802 36 | 8.491 % |
61.78/61.95 c | 50002 | 100729 497887 1575389 | 2147483647 49978 36 | 8.491 % |
61.88/62.01 c | 50195 | 100729 497887 1575389 | 2147483647 50171 36 | 8.491 % |
62.08/62.29 c | 50408 | 100729 497887 1575389 | 2147483647 50384 36 | 8.491 % |
62.48/62.63 c | 50641 | 100729 497887 1575389 | 2147483647 50617 36 | 8.491 % |
62.58/62.73 c | 50897 | 100729 497887 1575389 | 2147483647 50873 36 | 8.491 % |
62.68/62.81 c | 51180 | 100729 497887 1575389 | 2147483647 51156 36 | 8.491 % |
62.68/62.87 c | 51489 | 100729 497887 1575389 | 2147483647 51465 36 | 8.491 % |
62.77/62.94 c | 51828 | 100729 497887 1575389 | 2147483647 51804 36 | 8.491 % |
62.87/63.00 c | 52200 | 100729 497887 1575389 | 2147483647 52176 36 | 8.491 % |
62.97/63.19 c | 52611 | 100729 497887 1575389 | 2147483647 52587 35 | 8.491 % |
63.17/63.37 c | 53061 | 100729 497887 1575389 | 2147483647 53037 35 | 8.491 % |
63.47/63.65 c | 53554 | 100729 497887 1575389 | 2147483647 53530 35 | 8.491 % |
66.46/66.67 c | 54096 | 100729 497887 1575389 | 2147483647 54072 37 | 8.491 % |
66.97/67.14 c | 54693 | 100729 497887 1575389 | 2147483647 54669 36 | 8.491 % |
68.57/68.73 c | 55348 | 100729 497887 1575389 | 2147483647 55324 37 | 8.491 % |
69.47/69.64 c | 56068 | 100729 497887 1575389 | 2147483647 56044 37 | 8.491 % |
69.67/69.82 c | 56170 | 100729 497887 1575389 | 2147483647 56146 37 | 8.491 % |
69.87/70.08 c | 56280 | 100729 497887 1575389 | 2147483647 56256 37 | 8.491 % |
70.07/70.21 c | 56401 | 100729 497887 1575389 | 2147483647 56377 37 | 8.491 % |
70.07/70.29 c | 56535 | 100729 497887 1575389 | 2147483647 56511 37 | 8.491 % |
70.17/70.35 c | 56682 | 100729 497887 1575389 | 2147483647 56658 37 | 8.491 % |
70.27/70.48 c | 56842 | 100729 497887 1575389 | 2147483647 56818 37 | 8.491 % |
70.68/70.84 c | 57020 | 100729 497887 1575389 | 2147483647 56996 37 | 8.491 % |
70.98/71.20 c | 57214 | 100729 497887 1575389 | 2147483647 57190 37 | 8.491 % |
71.28/71.44 c | 57426 | 100729 497887 1575389 | 2147483647 57402 37 | 8.491 % |
71.67/71.87 c | 57660 | 100729 497887 1575389 | 2147483647 57636 37 | 8.491 % |
72.06/72.20 c | 57916 | 100729 497887 1575389 | 2147483647 57892 37 | 8.491 % |
72.26/72.48 c | 58198 | 100729 497887 1575389 | 2147483647 58174 37 | 8.491 % |
72.66/72.85 c | 58507 | 100729 497887 1575389 | 2147483647 58483 37 | 8.491 % |
72.86/73.02 c | 58846 | 100729 497887 1575389 | 2147483647 58822 37 | 8.491 % |
73.06/73.20 c | 59219 | 100729 497887 1575389 | 2147483647 59195 37 | 8.491 % |
73.36/73.55 c | 59628 | 100729 497887 1575389 | 2147483647 59604 37 | 8.491 % |
76.05/76.23 c | 60081 | 100729 497887 1575389 | 2147483647 60057 39 | 8.491 % |
79.54/79.76 c | 60574 | 100729 497887 1575389 | 2147483647 60550 40 | 8.491 % |
80.63/80.87 c | 61116 | 100729 497887 1575389 | 2147483647 61092 40 | 8.491 % |
81.23/81.46 c | 61713 | 100729 497887 1575389 | 2147483647 61689 41 | 8.491 % |
81.53/81.74 c | 62370 | 100729 497887 1575389 | 2147483647 62346 41 | 8.491 % |
81.93/82.15 c | 63091 | 100729 497887 1575389 | 2147483647 63067 40 | 8.491 % |
83.23/83.44 c | 63884 | 100729 497887 1575389 | 2147483647 63860 41 | 8.491 % |
83.23/83.49 c | 63986 | 100729 497887 1575389 | 2147483647 63962 41 | 8.491 % |
83.43/83.62 c | 64099 | 100729 497887 1575389 | 2147483647 64075 41 | 8.491 % |
83.53/83.71 c | 64221 | 100729 497887 1575389 | 2147483647 64197 41 | 8.491 % |
83.73/83.97 c | 64355 | 100729 497887 1575389 | 2147483647 64331 41 | 8.491 % |
84.03/84.22 c | 64502 | 100729 497887 1575389 | 2147483647 64478 41 | 8.491 % |
84.23/84.45 c | 64663 | 100729 497887 1575389 | 2147483647 64639 41 | 8.491 % |
84.33/84.61 c | 64839 | 100729 497887 1575389 | 2147483647 64815 41 | 8.491 % |
84.44/84.82 c | 65034 | 100729 497887 1575389 | 2147483647 65010 41 | 8.491 % |
84.44/84.98 c | 65247 | 100729 497887 1575389 | 2147483647 65223 41 | 8.491 % |
86.62/86.90 c | 65481 | 100729 497887 1575389 | 2147483647 65457 42 | 8.491 % |
86.92/87.16 c | 65737 | 100729 497887 1575389 | 2147483647 65713 42 | 8.491 % |
87.02/87.23 c | 66018 | 100729 497887 1575389 | 2147483647 65994 42 | 8.491 % |
87.43/87.62 c | 66328 | 100729 497887 1575389 | 2147483647 66304 42 | 8.491 % |
87.72/87.99 c | 66667 | 100729 497887 1575389 | 2147483647 66643 42 | 8.491 % |
87.92/88.12 c | 67040 | 100729 497887 1575389 | 2147483647 67016 42 | 8.491 % |
88.03/88.22 c | 67449 | 100729 497887 1575389 | 2147483647 67425 42 | 8.491 % |
88.13/88.34 c | 67901 | 100729 497887 1575389 | 2147483647 67877 42 | 8.491 % |
88.25/88.47 c | 68395 | 100729 497887 1575389 | 2147483647 68371 42 | 8.491 % |
88.43/88.62 c | 68938 | 100729 497887 1575389 | 2147483647 68914 42 | 8.491 % |
90.13/90.33 c | 69534 | 100729 497887 1575389 | 2147483647 69510 42 | 8.491 % |
91.13/91.36 c | 70189 | 100729 497887 1575389 | 2147483647 70165 42 | 8.491 % |
91.63/91.84 c | 70910 | 100729 497887 1575389 | 2147483647 70886 42 | 8.491 % |
103.00/103.25 c | 71702 | 100729 497887 1575389 | 2147483647 71678 45 | 8.491 % |
103.20/103.44 c | 72573 | 100729 497887 1575389 | 2147483647 72549 45 | 8.491 % |
103.40/103.62 c | 72673 | 100729 497887 1575389 | 2147483647 72649 45 | 8.491 % |
103.50/103.70 c | 72784 | 100729 497887 1575389 | 2147483647 72760 45 | 8.491 % |
103.50/103.75 c | 72906 | 100729 497887 1575389 | 2147483647 72882 45 | 8.491 % |
103.60/103.86 c | 73039 | 100729 497887 1575389 | 2147483647 73015 45 | 8.491 % |
104.10/104.32 c | 73186 | 100729 497887 1575389 | 2147483647 73162 45 | 8.491 % |
104.20/104.40 c | 73349 | 100729 497887 1575389 | 2147483647 73325 45 | 8.491 % |
104.20/104.48 c | 73526 | 100729 497887 1575389 | 2147483647 73502 45 | 8.491 % |
104.40/104.62 c | 73720 | 100729 497887 1575389 | 2147483647 73696 45 | 8.491 % |
104.60/104.89 c | 73934 | 100729 497887 1575389 | 2147483647 73910 45 | 8.491 % |
104.70/104.99 c | 74170 | 100729 497887 1575389 | 2147483647 74146 45 | 8.491 % |
105.09/105.33 c | 74427 | 100729 497887 1575389 | 2147483647 74403 45 | 8.491 % |
105.70/106.08 c | 74708 | 100729 497887 1575389 | 2147483647 74684 45 | 8.491 % |
106.11/106.33 c | 75018 | 100729 497887 1575389 | 2147483647 74994 45 | 8.491 % |
106.50/106.71 c | 75358 | 100729 497887 1575389 | 2147483647 75334 45 | 8.491 % |
106.79/107.08 c | 75732 | 100729 497887 1575389 | 2147483647 75708 45 | 8.491 % |
107.20/107.48 c | 76141 | 100729 497887 1575389 | 2147483647 76117 45 | 8.491 % |
107.59/107.88 c | 76591 | 100729 497887 1575389 | 2147483647 76567 45 | 8.491 % |
107.80/108.07 c | 77084 | 100729 497887 1575389 | 2147483647 77060 45 | 8.491 % |
108.00/108.22 c | 77626 | 100729 497887 1575389 | 2147483647 77602 45 | 8.491 % |
111.21/111.42 c | 78222 | 100729 497887 1575389 | 2147483647 78198 46 | 8.491 % |
112.10/112.36 c | 78877 | 100729 497887 1575389 | 2147483647 78853 46 | 8.491 % |
112.80/113.02 c | 79597 | 100729 497887 1575389 | 2147483647 79573 46 | 8.491 % |
113.20/113.41 c | 80390 | 100729 497887 1575389 | 2147483647 80366 46 | 8.491 % |
113.39/113.60 c | 81261 | 100729 497887 1575389 | 2147483647 81237 46 | 8.491 % |
125.08/125.34 c | 82219 | 100729 497887 1575389 | 2147483647 82195 49 | 8.491 % |
125.37/125.64 c | 82319 | 100729 497887 1575389 | 2147483647 82295 49 | 8.491 % |
125.47/125.71 c | 82430 | 100729 497887 1575389 | 2147483647 82406 49 | 8.491 % |
125.57/125.88 c | 82551 | 100729 497887 1575389 | 2147483647 82527 49 | 8.491 % |
125.88/126.12 c | 82685 | 100729 497887 1575389 | 2147483647 82661 49 | 8.491 % |
125.88/126.17 c | 82832 | 100729 497887 1575389 | 2147483647 82808 49 | 8.491 % |
125.98/126.21 c | 82992 | 100729 497887 1575389 | 2147483647 82968 49 | 8.491 % |
126.09/126.42 c | 83169 | 100729 497887 1575389 | 2147483647 83145 49 | 8.491 % |
127.07/127.32 c | 83362 | 100729 497887 1575389 | 2147483647 83338 49 | 8.491 % |
127.17/127.45 c | 83574 | 100729 497887 1575389 | 2147483647 83550 49 | 8.491 % |
127.27/127.55 c | 83807 | 100729 497887 1575389 | 2147483647 83783 49 | 8.491 % |
127.37/127.63 c | 84064 | 100729 497887 1575389 | 2147483647 84040 49 | 8.491 % |
127.37/127.70 c | 84345 | 100729 497887 1575389 | 2147483647 84321 49 | 8.491 % |
127.48/127.77 c | 84654 | 100729 497887 1575389 | 2147483647 84630 49 | 8.491 % |
127.58/127.89 c | 84993 | 100729 497887 1575389 | 2147483647 84969 49 | 8.491 % |
127.78/128.09 c | 85365 | 100729 497887 1575389 | 2147483647 85341 49 | 8.491 % |
127.97/128.24 c | 85774 | 100729 497887 1575389 | 2147483647 85750 49 | 8.491 % |
128.07/128.33 c | 86225 | 100729 497887 1575389 | 2147483647 86201 49 | 8.491 % |
128.58/128.81 c | 86718 | 100729 497887 1575389 | 2147483647 86694 49 | 8.491 % |
128.88/129.11 c | 87261 | 100729 497887 1575389 | 2147483647 87237 49 | 8.491 % |
129.07/129.33 c | 87858 | 100729 497887 1575389 | 2147483647 87834 48 | 8.491 % |
129.37/129.63 c | 88514 | 100729 497887 1575389 | 2147483647 88490 48 | 8.491 % |
129.77/130.03 c | 89235 | 100729 497887 1575389 | 2147483647 89211 48 | 8.491 % |
130.18/130.50 c | 90028 | 100729 497887 1575389 | 2147483647 90004 48 | 8.491 % |
130.47/130.74 c | 90901 | 100729 497887 1575389 | 2147483647 90877 48 | 8.491 % |
130.77/131.03 c | 91859 | 100729 497887 1575389 | 2147483647 91835 48 | 8.491 % |
139.16/139.44 c | 92912 | 100729 497887 1575389 | 2147483647 92888 50 | 8.491 % |
139.26/139.52 c | 93012 | 100729 497887 1575389 | 2147483647 92988 50 | 8.491 % |
139.86/140.10 c | 93123 | 100729 497887 1575389 | 2147483647 93099 50 | 8.491 % |
139.86/140.15 c | 93244 | 100729 497887 1575389 | 2147483647 93220 50 | 8.491 % |
139.96/140.24 c | 93378 | 100729 497887 1575389 | 2147483647 93354 50 | 8.491 % |
139.96/140.29 c | 93524 | 100729 497887 1575389 | 2147483647 93500 50 | 8.491 % |
140.16/140.43 c | 93684 | 100729 497887 1575389 | 2147483647 93660 50 | 8.491 % |
140.26/140.57 c | 93860 | 100729 497887 1575389 | 2147483647 93836 50 | 8.491 % |
140.46/140.72 c | 94053 | 100729 497887 1575389 | 2147483647 94029 50 | 8.491 % |
140.56/140.88 c | 94266 | 100729 497887 1575389 | 2147483647 94242 50 | 8.491 % |
140.67/140.95 c | 94500 | 100729 497887 1575389 | 2147483647 94476 50 | 8.491 % |
140.86/141.15 c | 94757 | 100729 497887 1575389 | 2147483647 94733 50 | 8.491 % |
140.96/141.24 c | 95040 | 100729 497887 1575389 | 2147483647 95016 50 | 8.491 % |
141.96/142.20 c | 95350 | 100729 497887 1575389 | 2147483647 95326 50 | 8.491 % |
141.96/142.28 c | 95689 | 100729 497887 1575389 | 2147483647 95665 50 | 8.491 % |
142.16/142.47 c | 96063 | 100729 497887 1575389 | 2147483647 96039 50 | 8.491 % |
142.46/142.74 c | 96474 | 100729 497887 1575389 | 2147483647 96450 50 | 8.491 % |
142.66/142.94 c | 96923 | 100729 497887 1575389 | 2147483647 96899 50 | 8.491 % |
142.87/143.20 c | 97418 | 100729 497887 1575389 | 2147483647 97394 50 | 8.491 % |
143.06/143.38 c | 97960 | 100729 497887 1575389 | 2147483647 97936 49 | 8.491 % |
143.46/143.72 c | 98556 | 100729 497887 1575389 | 2147483647 98532 49 | 8.491 % |
144.06/144.31 c | 99213 | 100729 497887 1575389 | 2147483647 99189 49 | 8.491 % |
144.66/144.97 c | 99933 | 100729 497887 1575389 | 2147483647 99909 49 | 8.491 % |
145.16/145.46 c | 100725 | 100729 497887 1575389 | 2147483647 100701 49 | 8.491 % |
152.95/153.21 c | 101596 | 100729 497887 1575389 | 2147483647 101572 51 | 8.491 % |
153.55/153.87 c | 102554 | 100729 497887 1575389 | 2147483647 102530 51 | 8.491 % |
153.85/154.16 c | 103607 | 100729 497887 1575389 | 2147483647 103583 51 | 8.491 % |
154.44/154.76 c | 104766 | 100729 497887 1575389 | 2147483647 104742 50 | 8.491 % |
154.95/155.24 c | 104866 | 100729 497887 1575389 | 2147483647 104842 50 | 8.491 % |
155.05/155.32 c | 104977 | 100729 497887 1575389 | 2147483647 104953 50 | 8.491 % |
155.14/155.43 c | 105099 | 100729 497887 1575389 | 2147483647 105075 50 | 8.491 % |
155.24/155.52 c | 105234 | 100729 497887 1575389 | 2147483647 105210 50 | 8.491 % |
155.34/155.67 c | 105380 | 100729 497887 1575389 | 2147483647 105356 50 | 8.491 % |
155.54/155.86 c | 105541 | 100729 497887 1575389 | 2147483647 105517 50 | 8.491 % |
155.74/156.00 c | 105718 | 100729 497887 1575389 | 2147483647 105694 50 | 8.491 % |
158.14/158.41 c | 105912 | 100729 497887 1575389 | 2147483647 105888 51 | 8.491 % |
158.24/158.60 c | 106125 | 100729 497887 1575389 | 2147483647 106101 51 | 8.491 % |
158.34/158.69 c | 106361 | 100729 497887 1575389 | 2147483647 106337 51 | 8.491 % |
158.64/158.91 c | 106617 | 100729 497887 1575389 | 2147483647 106593 51 | 8.491 % |
158.84/159.18 c | 106898 | 100729 497887 1575389 | 2147483647 106874 51 | 8.491 % |
159.14/159.48 c | 107207 | 100729 497887 1575389 | 2147483647 107183 51 | 8.491 % |
164.65/164.97 c | 107547 | 100729 497887 1575389 | 2147483647 107523 51 | 8.491 % |
164.85/165.10 c | 107919 | 100729 497887 1575389 | 2147483647 107895 51 | 8.491 % |
164.95/165.29 c | 108328 | 100729 497887 1575389 | 2147483647 108304 51 | 8.491 % |
165.15/165.43 c | 108778 | 100729 497887 1575389 | 2147483647 108754 51 | 8.491 % |
165.35/165.64 c | 109271 | 100729 497887 1575389 | 2147483647 109247 51 | 8.491 % |
165.64/165.94 c | 109813 | 100729 497887 1575389 | 2147483647 109789 51 | 8.491 % |
165.84/166.13 c | 110409 | 100729 497887 1575389 | 2147483647 110385 51 | 8.491 % |
166.14/166.41 c | 111066 | 100729 497887 1575389 | 2147483647 111042 51 | 8.491 % |
174.74/175.02 c | 111786 | 100729 497887 1575389 | 2147483647 111762 53 | 8.491 % |
175.54/175.86 c | 112579 | 100729 497887 1575389 | 2147483647 112555 52 | 8.491 % |
175.74/176.05 c | 113450 | 100729 497887 1575389 | 2147483647 113426 52 | 8.491 % |
176.54/176.87 c | 114408 | 100729 497887 1575389 | 2147483647 114384 52 | 8.491 % |
177.24/177.55 c | 115461 | 100729 497887 1575389 | 2147483647 115437 52 | 8.491 % |
180.63/180.93 c | 116620 | 100729 497887 1575389 | 2147483647 116596 52 | 8.491 % |
181.34/181.65 c | 117895 | 100729 497887 1575389 | 2147483647 117871 52 | 8.491 % |
181.53/181.89 c | 117997 | 100729 497887 1575389 | 2147483647 117973 52 | 8.491 % |
181.73/182.01 c | 118107 | 100729 497887 1575389 | 2147483647 118083 52 | 8.491 % |
181.73/182.09 c | 118229 | 100729 497887 1575389 | 2147483647 118205 52 | 8.491 % |
181.83/182.17 c | 118363 | 100729 497887 1575389 | 2147483647 118339 52 | 8.491 % |
182.03/182.32 c | 118509 | 100729 497887 1575389 | 2147483647 118485 52 | 8.491 % |
182.33/182.68 c | 118670 | 100729 497887 1575389 | 2147483647 118646 52 | 8.491 % |
182.53/182.81 c | 118847 | 100729 497887 1575389 | 2147483647 118823 52 | 8.491 % |
182.53/182.87 c | 119042 | 100729 497887 1575389 | 2147483647 119018 52 | 8.491 % |
182.74/183.05 c | 119254 | 100729 497887 1575389 | 2147483647 119230 52 | 8.491 % |
182.94/183.23 c | 119487 | 100729 497887 1575389 | 2147483647 119463 52 | 8.491 % |
183.04/183.34 c | 119743 | 100729 497887 1575389 | 2147483647 119719 52 | 8.491 % |
183.14/183.44 c | 120025 | 100729 497887 1575389 | 2147483647 120001 52 | 8.491 % |
183.24/183.57 c | 120334 | 100729 497887 1575389 | 2147483647 120310 52 | 8.491 % |
183.44/183.71 c | 120674 | 100729 497887 1575389 | 2147483647 120650 52 | 8.491 % |
183.54/183.87 c | 121046 | 100729 497887 1575389 | 2147483647 121022 52 | 8.491 % |
183.84/184.12 c | 121457 | 100729 497887 1575389 | 2147483647 121433 52 | 8.491 % |
186.14/186.43 c | 121908 | 100729 497887 1575389 | 2147483647 121884 52 | 8.491 % |
186.53/186.89 c | 122402 | 100729 497887 1575389 | 2147483647 122378 52 | 8.491 % |
187.43/187.74 c | 122947 | 100719 497839 1575243 | 2147483647 122920 52 | 8.500 % |
187.84/188.12 c | 123543 | 100717 497839 1575243 | 2147483647 123515 52 | 8.502 % |
188.23/188.51 c | 124198 | 100717 497839 1575243 | 2147483647 124170 52 | 8.502 % |
188.63/188.94 c | 124920 | 100717 497839 1575243 | 2147483647 124892 52 | 8.502 % |
188.93/189.29 c | 125715 | 100717 497839 1575243 | 2147483647 125687 52 | 8.502 % |
189.23/189.53 c | 126586 | 100717 497839 1575243 | 2147483647 126558 52 | 8.502 % |
189.73/190.04 c | 127544 | 100717 497839 1575243 | 2147483647 127516 51 | 8.502 % |
191.13/191.44 c | 128597 | 100717 497839 1575243 | 2147483647 128569 52 | 8.502 % |
191.63/191.93 c | 129755 | 100717 497839 1575243 | 2147483647 129727 51 | 8.502 % |
192.23/192.50 c | 131028 | 100717 497839 1575243 | 2147483647 131000 51 | 8.502 % |
193.23/193.50 c | 132430 | 100717 497839 1575243 | 2147483647 132402 51 | 8.502 % |
193.23/193.56 c | 132530 | 100717 497839 1575243 | 2147483647 132502 51 | 8.502 % |
193.33/193.60 c | 132641 | 100717 497839 1575243 | 2147483647 132613 51 | 8.502 % |
193.33/193.69 c | 132762 | 100717 497839 1575243 | 2147483647 132734 51 | 8.502 % |
193.44/193.79 c | 132897 | 100717 497839 1575243 | 2147483647 132869 51 | 8.502 % |
193.63/193.99 c | 133043 | 100717 497839 1575243 | 2147483647 133015 51 | 8.502 % |
193.73/194.05 c | 133203 | 100717 497839 1575243 | 2147483647 133175 51 | 8.502 % |
193.83/194.18 c | 133379 | 100717 497839 1575243 | 2147483647 133351 51 | 8.502 % |
193.93/194.26 c | 133572 | 100717 497839 1575243 | 2147483647 133544 51 | 8.502 % |
194.03/194.38 c | 133785 | 100717 497839 1575243 | 2147483647 133757 51 | 8.502 % |
194.13/194.48 c | 134018 | 100717 497839 1575243 | 2147483647 133990 51 | 8.502 % |
194.33/194.61 c | 134274 | 100717 497839 1575243 | 2147483647 134246 51 | 8.502 % |
195.92/196.24 c | 134555 | 100717 497839 1575243 | 2147483647 134527 51 | 8.502 % |
196.22/196.55 c | 134869 | 100717 497832 1575221 | 2147483647 134840 51 | 8.502 % |
196.42/196.70 c | 135210 | 100717 497832 1575221 | 2147483647 135181 51 | 8.502 % |
196.62/196.91 c | 135582 | 100717 497832 1575221 | 2147483647 135553 51 | 8.502 % |
197.02/197.34 c | 135991 | 100717 497832 1575221 | 2147483647 135962 51 | 8.502 % |
197.12/197.49 c | 136440 | 100717 497832 1575221 | 2147483647 136411 51 | 8.502 % |
197.82/198.12 c | 136933 | 100717 497832 1575221 | 2147483647 136904 51 | 8.502 % |
198.72/199.01 c | 137475 | 100717 497832 1575221 | 2147483647 137446 51 | 8.502 % |
198.92/199.28 c | 138071 | 100717 497832 1575221 | 2147483647 138042 51 | 8.502 % |
199.72/200.05 c | 138726 | 100717 497832 1575221 | 2147483647 138697 51 | 8.502 % |
200.32/200.68 c | 139448 | 100717 497832 1575221 | 2147483647 139419 51 | 8.502 % |
200.72/201.09 c | 140241 | 100717 497832 1575221 | 2147483647 140212 51 | 8.502 % |
202.32/202.63 c | 141113 | 100717 497832 1575221 | 2147483647 141084 51 | 8.502 % |
203.32/203.68 c | 142071 | 100717 497832 1575221 | 2147483647 142042 51 | 8.502 % |
203.71/204.05 c | 143124 | 100717 497832 1575221 | 2147483647 143095 51 | 8.502 % |
204.61/204.92 c | 144282 | 100717 497832 1575221 | 2147483647 144253 50 | 8.502 % |
205.31/205.66 c | 145555 | 100717 497832 1575221 | 2147483647 145526 50 | 8.502 % |
207.72/208.09 c | 146959 | 100717 497832 1575221 | 2147483647 146930 51 | 8.502 % |
209.72/210.03 c | 148499 | 100717 497832 1575221 | 2147483647 148470 51 | 8.502 % |
209.82/210.13 c | 148599 | 100717 497832 1575221 | 2147483647 148570 51 | 8.502 % |
209.92/210.28 c | 148709 | 100717 497832 1575221 | 2147483647 148680 51 | 8.502 % |
210.22/210.50 c | 148832 | 100717 497832 1575221 | 2147483647 148803 51 | 8.502 % |
210.62/210.96 c | 148966 | 100717 497832 1575221 | 2147483647 148937 51 | 8.502 % |
210.72/211.05 c | 149112 | 100717 497832 1575221 | 2147483647 149083 51 | 8.502 % |
210.92/211.29 c | 149272 | 100717 497832 1575221 | 2147483647 149243 51 | 8.502 % |
211.12/211.41 c | 149448 | 100717 497832 1575221 | 2147483647 149419 51 | 8.502 % |
211.22/211.54 c | 149641 | 100717 497832 1575221 | 2147483647 149612 51 | 8.502 % |
211.42/211.72 c | 149856 | 100717 497832 1575221 | 2147483647 149827 50 | 8.502 % |
211.61/211.98 c | 150091 | 100717 497832 1575221 | 2147483647 150062 50 | 8.502 % |
212.01/212.34 c | 150348 | 100717 497832 1575221 | 2147483647 150319 50 | 8.502 % |
212.22/212.51 c | 150629 | 100717 497832 1575221 | 2147483647 150600 50 | 8.502 % |
212.51/212.82 c | 150939 | 100717 497832 1575221 | 2147483647 150910 50 | 8.502 % |
213.02/213.33 c | 151278 | 100717 497832 1575221 | 2147483647 151249 50 | 8.502 % |
213.12/213.46 c | 151650 | 100717 497832 1575221 | 2147483647 151621 50 | 8.502 % |
213.52/213.80 c | 152059 | 100717 497832 1575221 | 2147483647 152030 50 | 8.502 % |
213.62/213.96 c | 152508 | 100717 497832 1575221 | 2147483647 152479 50 | 8.502 % |
214.12/214.45 c | 153001 | 100717 497832 1575221 | 2147483647 152972 50 | 8.502 % |
214.51/214.84 c | 153544 | 100717 497832 1575221 | 2147483647 153515 50 | 8.502 % |
214.71/215.00 c | 154140 | 100717 497832 1575221 | 2147483647 154111 50 | 8.502 % |
214.91/215.23 c | 154796 | 100717 497832 1575221 | 2147483647 154767 50 | 8.502 % |
220.40/220.77 c | 155517 | 100717 497832 1575221 | 2147483647 155488 51 | 8.502 % |
221.01/221.37 c | 156309 | 100717 497832 1575221 | 2147483647 156280 51 | 8.502 % |
221.30/221.65 c | 157180 | 100717 497832 1575221 | 2147483647 157151 51 | 8.502 % |
222.01/222.37 c | 158138 | 100717 497832 1575221 | 2147483647 158109 51 | 8.502 % |
223.11/223.44 c | 159195 | 100717 497832 1575221 | 2147483647 159166 50 | 8.502 % |
223.71/224.08 c | 160353 | 100717 497832 1575221 | 2147483647 160324 50 | 8.502 % |
224.21/224.51 c | 161627 | 100717 497832 1575221 | 2147483647 161598 50 | 8.502 % |
224.61/224.92 c | 163029 | 100717 497832 1575221 | 2147483647 163000 50 | 8.502 % |
225.31/225.63 c | 164569 | 100717 497832 1575221 | 2147483647 164540 50 | 8.502 % |
226.91/227.23 c | 166264 | 100717 497832 1575221 | 2147483647 166235 50 | 8.502 % |
226.91/227.28 c | 166365 | 100717 497832 1575221 | 2147483647 166336 50 | 8.502 % |
227.91/228.27 c | 166475 | 100717 497832 1575221 | 2147483647 166446 50 | 8.502 % |
228.41/228.70 c | 166598 | 100717 497832 1575221 | 2147483647 166569 50 | 8.502 % |
228.41/228.78 c | 166731 | 100717 497832 1575221 | 2147483647 166702 50 | 8.502 % |
228.51/228.90 c | 166877 | 100717 497832 1575221 | 2147483647 166848 50 | 8.502 % |
228.71/229.03 c | 167039 | 100717 497832 1575221 | 2147483647 167010 50 | 8.502 % |
228.91/229.20 c | 167216 | 100717 497832 1575221 | 2147483647 167187 50 | 8.502 % |
229.30/229.64 c | 167411 | 100717 497832 1575221 | 2147483647 167382 50 | 8.502 % |
229.60/229.96 c | 167623 | 100717 497832 1575221 | 2147483647 167594 50 | 8.502 % |
229.81/230.16 c | 167857 | 100717 497832 1575221 | 2147483647 167828 50 | 8.502 % |
230.40/230.77 c | 168114 | 100717 497832 1575221 | 2147483647 168085 50 | 8.502 % |
230.50/230.89 c | 168396 | 100717 497832 1575221 | 2147483647 168367 50 | 8.502 % |
230.70/231.04 c | 168705 | 100717 497832 1575221 | 2147483647 168676 50 | 8.502 % |
230.91/231.23 c | 169044 | 100717 497832 1575221 | 2147483647 169015 50 | 8.502 % |
231.10/231.46 c | 169416 | 100717 497832 1575221 | 2147483647 169387 50 | 8.502 % |
231.40/231.79 c | 169826 | 100717 497832 1575221 | 2147483647 169797 50 | 8.502 % |
232.40/232.71 c | 170275 | 100717 497832 1575221 | 2147483647 170246 50 | 8.502 % |
232.60/232.94 c | 170768 | 100717 497832 1575221 | 2147483647 170739 50 | 8.502 % |
232.90/233.24 c | 171310 | 100717 497832 1575221 | 2147483647 171281 50 | 8.502 % |
233.30/233.67 c | 171907 | 100717 497832 1575221 | 2147483647 171878 49 | 8.502 % |
233.80/234.16 c | 172563 | 100717 497832 1575221 | 2147483647 172534 49 | 8.502 % |
234.50/234.81 c | 173283 | 100717 497832 1575221 | 2147483647 173254 49 | 8.502 % |
234.80/235.19 c | 174075 | 100717 497832 1575221 | 2147483647 174046 49 | 8.502 % |
235.10/235.47 c | 174946 | 100717 497832 1575221 | 2147483647 174917 49 | 8.502 % |
235.60/235.96 c | 175906 | 100717 497832 1575221 | 2147483647 175877 49 | 8.502 % |
236.00/236.31 c | 176960 | 100717 497832 1575221 | 2147483647 176931 49 | 8.502 % |
237.89/238.21 c | 178119 | 100717 497832 1575221 | 2147483647 178090 49 | 8.502 % |
238.50/238.89 c | 179394 | 100717 497832 1575221 | 2147483647 179365 49 | 8.502 % |
239.29/239.65 c | 180797 | 100717 497832 1575221 | 2147483647 180768 49 | 8.502 % |
240.50/240.81 c | 182337 | 100717 497832 1575221 | 2147483647 182308 49 | 8.502 % |
241.90/242.23 c | 184032 | 100717 497832 1575221 | 2147483647 184003 49 | 8.502 % |
242.89/243.28 c | 185895 | 100717 497832 1575221 | 2147483647 185866 49 | 8.502 % |
242.99/243.36 c | 185995 | 100717 497832 1575221 | 2147483647 185966 49 | 8.502 % |
243.09/243.43 c | 186106 | 100717 497832 1575221 | 2147483647 186077 49 | 8.502 % |
243.09/243.49 c | 186229 | 100717 497832 1575221 | 2147483647 186200 49 | 8.502 % |
243.29/243.60 c | 186363 | 100717 497832 1575221 | 2147483647 186334 49 | 8.502 % |
243.39/243.76 c | 186509 | 100717 497832 1575221 | 2147483647 186480 49 | 8.502 % |
243.59/243.92 c | 186669 | 100717 497832 1575221 | 2147483647 186640 49 | 8.502 % |
243.79/244.13 c | 186845 | 100717 497832 1575221 | 2147483647 186816 49 | 8.502 % |
243.99/244.38 c | 187040 | 100717 497832 1575221 | 2147483647 187011 49 | 8.502 % |
246.58/246.95 c | 187252 | 100717 497832 1575221 | 2147483647 187223 49 | 8.502 % |
246.78/247.19 c | 187487 | 100717 497832 1575221 | 2147483647 187458 49 | 8.502 % |
247.18/247.53 c | 187743 | 100717 497832 1575221 | 2147483647 187714 49 | 8.502 % |
247.58/247.95 c | 188024 | 100717 497832 1575221 | 2147483647 187995 49 | 8.502 % |
247.78/248.12 c | 188334 | 100717 497832 1575221 | 2147483647 188305 49 | 8.502 % |
248.08/248.46 c | 188673 | 100717 497832 1575221 | 2147483647 188644 49 | 8.502 % |
248.98/249.35 c | 189046 | 100717 497832 1575221 | 2147483647 189017 49 | 8.502 % |
249.38/249.75 c | 189458 | 100717 497832 1575221 | 2147483647 189429 49 | 8.502 % |
249.78/250.13 c | 189907 | 100717 497832 1575221 | 2147483647 189878 49 | 8.502 % |
250.18/250.58 c | 190400 | 100717 497832 1575221 | 2147483647 190371 49 | 8.502 % |
250.78/251.13 c | 190942 | 100717 497832 1575221 | 2147483647 190913 49 | 8.502 % |
251.28/251.68 c | 191539 | 100717 497832 1575221 | 2147483647 191510 49 | 8.502 % |
251.68/252.06 c | 192194 | 100717 497832 1575221 | 2147483647 192165 49 | 8.502 % |
252.28/252.62 c | 192916 | 100717 497832 1575221 | 2147483647 192887 49 | 8.502 % |
253.28/253.62 c | 193708 | 100717 497832 1575221 | 2147483647 193679 49 | 8.502 % |
253.98/254.32 c | 194579 | 100717 497832 1575221 | 2147483647 194550 49 | 8.502 % |
254.48/254.86 c | 195537 | 100717 497832 1575221 | 2147483647 195508 49 | 8.502 % |
254.98/255.38 c | 196591 | 100717 497832 1575221 | 2147483647 196562 49 | 8.502 % |
255.58/255.94 c | 197749 | 100717 497832 1575221 | 2147483647 197720 48 | 8.502 % |
256.48/256.87 c | 199022 | 100717 497832 1575221 | 2147483647 198993 49 | 8.502 % |
270.08/270.44 c | 200422 | 100717 497832 1575221 | 2147483647 200393 50 | 8.502 % |
271.08/271.45 c | 201962 | 100717 497832 1575221 | 2147483647 201933 51 | 8.502 % |
272.58/272.91 c | 203657 | 100717 497832 1575221 | 2147483647 203628 50 | 8.502 % |
273.57/273.93 c | 205521 | 100717 497832 1575221 | 2147483647 205492 50 | 8.502 % |
275.37/275.70 c | 207570 | 100717 497832 1575221 | 2147483647 207541 50 | 8.502 % |
275.37/275.77 c | 207671 | 100717 497832 1575221 | 2147483647 207642 50 | 8.502 % |
275.47/275.86 c | 207781 | 100717 497832 1575221 | 2147483647 207752 50 | 8.502 % |
275.57/275.93 c | 207902 | 100717 497832 1575221 | 2147483647 207873 50 | 8.502 % |
275.67/276.02 c | 208035 | 100717 497832 1575221 | 2147483647 208006 50 | 8.502 % |
276.27/276.60 c | 208181 | 100717 497832 1575221 | 2147483647 208152 50 | 8.502 % |
276.67/277.05 c | 208342 | 100717 497832 1575221 | 2147483647 208313 50 | 8.502 % |
278.67/279.03 c | 208519 | 100717 497832 1575221 | 2147483647 208490 51 | 8.502 % |
278.77/279.10 c | 208713 | 100717 497832 1575221 | 2147483647 208684 51 | 8.502 % |
278.87/279.24 c | 208925 | 100717 497832 1575221 | 2147483647 208896 50 | 8.502 % |
278.97/279.35 c | 209158 | 100717 497832 1575221 | 2147483647 209129 50 | 8.502 % |
279.17/279.58 c | 209414 | 100717 497832 1575221 | 2147483647 209385 50 | 8.502 % |
279.47/279.85 c | 209697 | 100717 497832 1575221 | 2147483647 209668 50 | 8.502 % |
279.77/280.14 c | 210007 | 100717 497832 1575221 | 2147483647 209978 50 | 8.502 % |
280.38/280.73 c | 210347 | 100717 497832 1575221 | 2147483647 210318 50 | 8.502 % |
280.87/281.27 c | 210720 | 100717 497832 1575221 | 2147483647 210691 50 | 8.502 % |
284.37/284.78 c | 211129 | 100717 497832 1575221 | 2147483647 211100 51 | 8.502 % |
285.27/285.66 c | 211581 | 100717 497832 1575221 | 2147483647 211552 51 | 8.502 % |
285.96/286.37 c | 212075 | 100717 497832 1575221 | 2147483647 212046 51 | 8.502 % |
286.26/286.67 c | 212618 | 100717 497832 1575221 | 2147483647 212589 51 | 8.502 % |
286.76/287.13 c | 213214 | 100717 497832 1575221 | 2147483647 213185 51 | 8.502 % |
287.26/287.64 c | 213869 | 100717 497832 1575221 | 2147483647 213840 51 | 8.502 % |
288.86/289.29 c | 214589 | 100717 497832 1575221 | 2147483647 214560 51 | 8.502 % |
290.06/290.40 c | 215383 | 100717 497832 1575221 | 2147483647 215354 51 | 8.502 % |
291.06/291.44 c | 216254 | 100717 497832 1575221 | 2147483647 216225 51 | 8.502 % |
291.86/292.20 c | 217212 | 100717 497832 1575221 | 2147483647 217183 51 | 8.502 % |
292.46/292.84 c | 218266 | 100717 497832 1575221 | 2147483647 218237 51 | 8.502 % |
292.86/293.20 c | 219424 | 100717 497832 1575221 | 2147483647 219395 50 | 8.502 % |
301.75/302.17 c | 220697 | 100717 497832 1575221 | 2147483647 220668 52 | 8.502 % |
304.46/304.87 c | 222097 | 100717 497832 1575221 | 2147483647 222068 52 | 8.502 % |
316.45/316.87 c | 223637 | 100717 497832 1575221 | 2147483647 223608 53 | 8.502 % |
318.04/318.41 c | 225334 | 100332 497312 1573661 | 2147483647 225260 53 | 10.167 % |
319.55/319.98 c | 227198 | 100332 497312 1573661 | 2147483647 227124 53 | 10.167 % |
321.35/321.75 c | 229247 | 100332 497312 1573661 | 2147483647 229173 53 | 10.167 % |
323.25/323.62 c | 231500 | 100332 497312 1573661 | 2147483647 231426 53 | 10.167 % |
323.35/323.73 c | 231600 | 100332 497312 1573661 | 2147483647 231526 53 | 10.167 % |
323.55/323.91 c | 231710 | 100332 497312 1573661 | 2147483647 231636 53 | 10.167 % |
323.75/324.13 c | 231832 | 100332 497312 1573661 | 2147483647 231758 53 | 10.167 % |
323.95/324.31 c | 231965 | 100332 497312 1573661 | 2147483647 231891 53 | 10.167 % |
324.05/324.44 c | 232114 | 100332 497312 1573661 | 2147483647 232040 53 | 10.167 % |
326.85/327.29 c | 232275 | 100332 497312 1573661 | 2147483647 232201 53 | 10.167 % |
327.05/327.41 c | 232452 | 100332 497312 1573661 | 2147483647 232378 53 | 10.167 % |
327.15/327.57 c | 232645 | 100332 497312 1573661 | 2147483647 232571 53 | 10.167 % |
327.45/327.90 c | 232858 | 100332 497312 1573661 | 2147483647 232784 53 | 10.167 % |
327.65/328.03 c | 233092 | 100332 497312 1573661 | 2147483647 233018 53 | 10.167 % |
327.75/328.19 c | 233351 | 100332 497312 1573661 | 2147483647 233277 53 | 10.167 % |
328.15/328.53 c | 233633 | 100332 497312 1573661 | 2147483647 233559 53 | 10.167 % |
328.45/328.86 c | 233942 | 100332 497312 1573661 | 2147483647 233868 53 | 10.167 % |
328.75/329.10 c | 234282 | 100332 497312 1573661 | 2147483647 234208 53 | 10.167 % |
329.05/329.43 c | 234654 | 100332 497312 1573661 | 2147483647 234580 53 | 10.167 % |
329.25/329.65 c | 235063 | 100332 497312 1573661 | 2147483647 234989 53 | 10.167 % |
329.55/329.95 c | 235514 | 100332 497312 1573661 | 2147483647 235440 53 | 10.167 % |
330.54/330.94 c | 236007 | 100332 497312 1573661 | 2147483647 235933 53 | 10.167 % |
331.04/331.41 c | 236549 | 100332 497312 1573661 | 2147483647 236475 53 | 10.167 % |
331.53/331.92 c | 237145 | 100332 497312 1573661 | 2147483647 237071 53 | 10.167 % |
332.04/332.49 c | 237800 | 100332 497312 1573661 | 2147483647 237726 53 | 10.167 % |
332.73/333.14 c | 238521 | 98885 489274 1549557 | 2147483647 238376 52 | 10.167 % |
334.83/335.25 c | 239313 | 98885 489274 1549557 | 2147483647 239168 53 | 10.167 % |
336.03/336.47 c | 240184 | 98885 489274 1549557 | 2147483647 240039 53 | 10.167 % |
339.64/340.02 c | 241144 | 98885 489274 1549557 | 2147483647 240999 53 | 10.167 % |
341.34/341.76 c | 242199 | 98885 489274 1549557 | 2147483647 242054 53 | 10.167 % |
342.34/342.71 c | 243357 | 98885 489274 1549557 | 2147483647 243212 53 | 10.167 % |
343.63/344.01 c | 244630 | 98885 489274 1549557 | 2147483647 244485 53 | 10.167 % |
345.13/345.56 c | 246032 | 98885 489274 1549557 | 2147483647 245887 53 | 10.167 % |
345.73/346.14 c | 247572 | 98885 489274 1549557 | 2147483647 247427 53 | 10.167 % |
347.73/348.17 c | 249267 | 98885 489274 1549557 | 2147483647 249122 53 | 10.167 % |
357.83/358.23 c | 251130 | 98885 489274 1549557 | 2147483647 250985 54 | 10.167 % |
358.83/359.30 c | 253181 | 98885 489274 1549557 | 2147483647 253036 54 | 10.167 % |
362.63/363.05 c | 255435 | 98885 489274 1549557 | 2147483647 255290 54 | 10.167 % |
364.02/364.49 c | 257913 | 98885 489274 1549557 | 2147483647 257768 54 | 10.167 % |
364.82/365.29 c | 258013 | 98885 489274 1549557 | 2147483647 257868 54 | 10.167 % |
365.22/365.66 c | 258124 | 98885 489274 1549557 | 2147483647 257979 54 | 10.167 % |
367.03/367.44 c | 258246 | 98882 489270 1549549 | 2147483647 258098 54 | 10.169 % |
369.02/369.43 c | 258379 | 98882 489270 1549549 | 2147483647 258231 54 | 10.169 % |
371.63/372.09 c | 258526 | 98882 489270 1549549 | 2147483647 258378 54 | 10.169 % |
371.92/372.31 c | 258688 | 98882 489270 1549549 | 2147483647 258540 54 | 10.169 % |
372.22/372.63 c | 258865 | 98882 489270 1549549 | 2147483647 258717 54 | 10.169 % |
372.32/372.73 c | 259058 | 98882 489270 1549549 | 2147483647 258910 54 | 10.169 % |
372.52/372.95 c | 259272 | 98882 489270 1549549 | 2147483647 259124 54 | 10.169 % |
372.73/373.12 c | 259508 | 98882 489270 1549549 | 2147483647 259360 54 | 10.169 % |
372.92/373.31 c | 259764 | 98882 489270 1549549 | 2147483647 259616 54 | 10.169 % |
373.22/373.61 c | 260046 | 98882 489270 1549549 | 2147483647 259898 54 | 10.169 % |
373.32/373.77 c | 260357 | 98882 489270 1549549 | 2147483647 260209 54 | 10.169 % |
373.42/373.86 c | 260699 | 98882 489270 1549549 | 2147483647 260551 54 | 10.169 % |
373.73/374.15 c | 261073 | 98882 489270 1549549 | 2147483647 260925 54 | 10.169 % |
374.42/374.89 c | 261483 | 98882 489270 1549549 | 2147483647 261335 54 | 10.169 % |
374.62/375.07 c | 261935 | 98882 489270 1549549 | 2147483647 261787 54 | 10.169 % |
375.02/375.42 c | 262429 | 98882 489270 1549549 | 2147483647 262281 54 | 10.169 % |
375.52/375.91 c | 262972 | 98882 489270 1549549 | 2147483647 262824 54 | 10.169 % |
376.02/376.45 c | 263568 | 98882 489270 1549549 | 2147483647 263420 54 | 10.169 % |
376.42/376.89 c | 264223 | 98882 489270 1549549 | 2147483647 264075 54 | 10.169 % |
383.81/384.23 c | 264943 | 98882 489270 1549549 | 2147483647 264795 54 | 10.169 % |
384.31/384.73 c | 265735 | 98882 489270 1549549 | 2147483647 265587 54 | 10.169 % |
385.21/385.68 c | 266606 | 98882 489262 1549533 | 2147483647 266458 54 | 10.169 % |
386.32/386.72 c | 267564 | 98882 489262 1549533 | 2147483647 267416 54 | 10.169 % |
386.82/387.24 c | 268617 | 98882 489262 1549533 | 2147483647 268469 54 | 10.169 % |
387.42/387.85 c | 269776 | 98882 489262 1549533 | 2147483647 269628 54 | 10.169 % |
387.92/388.37 c | 271050 | 98882 489262 1549533 | 2147483647 270902 54 | 10.169 % |
389.91/390.35 c | 272451 | 98882 489262 1549533 | 2147483647 272303 54 | 10.169 % |
391.11/391.51 c | 273993 | 98882 489262 1549533 | 2147483647 273845 54 | 10.169 % |
394.21/394.65 c | 275687 | 98882 489262 1549533 | 2147483647 275539 54 | 10.169 % |
413.61/414.02 c | 277550 | 98882 489262 1549533 | 2147483647 277402 56 | 10.169 % |
421.50/422.00 c | 279600 | 98882 489262 1549533 | 2147483647 279452 56 | 10.169 % |
424.59/425.06 c | 281853 | 98882 489262 1549533 | 2147483647 281705 56 | 10.169 % |
426.00/426.40 c | 284331 | 98882 489262 1549533 | 2147483647 284183 56 | 10.169 % |
427.80/428.24 c | 287056 | 98882 489262 1549533 | 2147483647 286908 56 | 10.169 % |
427.90/428.32 c | 287156 | 98882 489262 1549533 | 2147483647 287008 56 | 10.169 % |
427.90/428.38 c | 287266 | 98882 489262 1549533 | 2147483647 287118 56 | 10.169 % |
428.10/428.55 c | 287388 | 98882 489262 1549533 | 2147483647 287240 56 | 10.169 % |
428.30/428.72 c | 287521 | 98882 489262 1549533 | 2147483647 287373 56 | 10.169 % |
428.60/429.01 c | 287668 | 98882 489262 1549533 | 2147483647 287520 55 | 10.169 % |
429.00/429.49 c | 287829 | 98882 489262 1549533 | 2147483647 287681 55 | 10.169 % |
429.10/429.57 c | 288008 | 98882 489262 1549533 | 2147483647 287860 55 | 10.169 % |
429.60/430.09 c | 288201 | 98882 489262 1549533 | 2147483647 288053 55 | 10.169 % |
429.80/430.29 c | 288414 | 98882 489262 1549533 | 2147483647 288266 55 | 10.169 % |
430.10/430.56 c | 288648 | 98882 489262 1549533 | 2147483647 288500 55 | 10.169 % |
430.40/430.89 c | 288905 | 98882 489262 1549533 | 2147483647 288757 55 | 10.169 % |
430.70/431.20 c | 289186 | 98882 489262 1549533 | 2147483647 289038 55 | 10.169 % |
431.10/431.57 c | 289495 | 98882 489262 1549533 | 2147483647 289347 55 | 10.169 % |
434.00/434.49 c | 289835 | 98882 489262 1549533 | 2147483647 289687 55 | 10.169 % |
437.09/437.58 c | 290207 | 98882 489262 1549533 | 2147483647 290059 56 | 10.169 % |
438.09/438.54 c | 290616 | 98882 489262 1549533 | 2147483647 290468 56 | 10.169 % |
438.89/439.30 c | 291065 | 98882 489262 1549533 | 2147483647 290917 56 | 10.169 % |
439.19/439.65 c | 291559 | 98882 489262 1549533 | 2147483647 291411 55 | 10.169 % |
440.90/441.32 c | 292101 | 98882 489262 1549533 | 2147483647 291953 56 | 10.169 % |
441.79/442.26 c | 292697 | 98882 489262 1549533 | 2147483647 292549 56 | 10.169 % |
442.29/442.76 c | 293353 | 98882 489262 1549533 | 2147483647 293205 56 | 10.169 % |
443.09/443.59 c | 294075 | 98882 489262 1549533 | 2147483647 293927 56 | 10.169 % |
443.59/444.08 c | 294867 | 98882 489262 1549533 | 2147483647 294719 56 | 10.169 % |
445.29/445.70 c | 295738 | 98882 489262 1549533 | 2147483647 295590 55 | 10.169 % |
445.69/446.13 c | 296699 | 98882 489262 1549533 | 2147483647 296551 55 | 10.169 % |
448.38/448.84 c | 297752 | 98882 489262 1549533 | 2147483647 297604 55 | 10.169 % |
461.49/461.98 c | 298910 | 98882 489262 1549533 | 2147483647 298762 56 | 10.169 % |
462.89/463.34 c | 300183 | 98882 489262 1549533 | 2147483647 300035 56 | 10.169 % |
474.17/474.67 c | 301583 | 98882 489262 1549533 | 2147483647 301435 58 | 10.169 % |
476.57/477.02 c | 303123 | 98882 489262 1549533 | 2147483647 302975 58 | 10.169 % |
477.47/477.94 c | 304818 | 98882 489262 1549533 | 2147483647 304670 57 | 10.169 % |
496.26/496.72 c | 306681 | 98882 489262 1549533 | 2147483647 306533 59 | 10.169 % |
497.26/497.71 c | 308730 | 98882 489262 1549533 | 2147483647 308582 59 | 10.169 % |
501.16/501.65 c | 310983 | 98882 489262 1549533 | 2147483647 310835 59 | 10.169 % |
508.25/508.71 c | 313461 | 98882 489262 1549533 | 2147483647 313313 60 | 10.169 % |
509.65/510.11 c | 316186 | 98882 489262 1549533 | 2147483647 316038 60 | 10.169 % |
515.56/516.00 c | 319183 | 98882 489262 1549533 | 2147483647 319035 60 | 10.169 % |
515.66/516.11 c | 319285 | 98882 489262 1549533 | 2147483647 319137 60 | 10.169 % |
515.66/516.14 c | 319396 | 98882 489262 1549533 | 2147483647 319248 60 | 10.169 % |
516.05/516.51 c | 319518 | 98882 489262 1549533 | 2147483647 319370 60 | 10.169 % |
516.15/516.62 c | 319653 | 98882 489262 1549533 | 2147483647 319505 60 | 10.169 % |
516.25/516.73 c | 319799 | 98882 489262 1549533 | 2147483647 319651 59 | 10.169 % |
516.55/517.09 c | 319959 | 98882 489262 1549533 | 2147483647 319811 59 | 10.169 % |
516.76/517.27 c | 320135 | 98882 489262 1549533 | 2147483647 319987 59 | 10.169 % |
516.95/517.40 c | 320329 | 98882 489262 1549533 | 2147483647 320181 59 | 10.169 % |
517.25/517.77 c | 320542 | 98882 489262 1549533 | 2147483647 320394 59 | 10.169 % |
518.15/518.67 c | 320776 | 98882 489262 1549533 | 2147483647 320628 59 | 10.169 % |
518.35/518.86 c | 321032 | 98882 489262 1549533 | 2147483647 320884 59 | 10.169 % |
520.75/521.28 c | 321314 | 98882 489262 1549533 | 2147483647 321166 60 | 10.169 % |
521.35/521.89 c | 321624 | 98882 489262 1549533 | 2147483647 321476 60 | 10.169 % |
521.65/522.12 c | 321963 | 98882 489262 1549533 | 2147483647 321815 60 | 10.169 % |
521.95/522.40 c | 322337 | 98882 489262 1549533 | 2147483647 322189 60 | 10.169 % |
522.35/522.86 c | 322746 | 98882 489262 1549533 | 2147483647 322598 60 | 10.169 % |
522.85/523.35 c | 323195 | 98882 489262 1549533 | 2147483647 323047 60 | 10.169 % |
524.35/524.81 c | 323688 | 98882 489262 1549533 | 2147483647 323540 60 | 10.169 % |
524.55/525.08 c | 324230 | 98882 489262 1549533 | 2147483647 324082 59 | 10.169 % |
524.85/525.37 c | 324826 | 98882 489262 1549533 | 2147483647 324678 59 | 10.169 % |
526.05/526.53 c | 325483 | 98807 489225 1549422 | 2147483647 325324 59 | 10.257 % |
526.65/527.13 c | 326206 | 98807 489225 1549422 | 2147483647 326047 59 | 10.257 % |
527.04/527.59 c | 326998 | 98807 489225 1549422 | 2147483647 326839 59 | 10.257 % |
532.54/533.09 c | 327869 | 98807 489225 1549422 | 2147483647 327710 60 | 10.257 % |
533.74/534.20 c | 328828 | 98807 489225 1549422 | 2147483647 328669 60 | 10.257 % |
535.63/536.10 c | 329882 | 98807 489225 1549422 | 2147483647 329723 60 | 10.257 % |
536.94/537.45 c | 331041 | 98807 489225 1549422 | 2147483647 330882 60 | 10.257 % |
537.74/538.22 c | 332315 | 98807 489225 1549422 | 2147483647 332156 60 | 10.257 % |
554.13/554.65 c | 333717 | 98807 489225 1549422 | 2147483647 333558 61 | 10.258 % |
555.83/556.33 c | 335261 | 98785 488807 1548168 | 2147483647 335084 61 | 10.257 % |
556.93/557.46 c | 336955 | 98785 488807 1548168 | 2147483647 336778 61 | 10.257 % |
558.53/559.02 c | 338819 | 98785 488807 1548168 | 2147483647 338642 61 | 10.257 % |
560.23/560.80 c | 340869 | 98785 488807 1548168 | 2147483647 340692 61 | 10.257 % |
561.62/562.18 c | 343123 | 98785 488807 1548168 | 2147483647 342946 61 | 10.257 % |
563.93/564.41 c | 345601 | 98785 488807 1548168 | 2147483647 345424 61 | 10.257 % |
574.52/575.05 c | 348327 | 98785 488807 1548168 | 2147483647 348150 62 | 10.257 % |
578.12/578.60 c | 351324 | 98785 488807 1548168 | 2147483647 351147 62 | 10.257 % |
583.02/583.60 c | 354620 | 98785 488807 1548168 | 2147483647 354443 61 | 10.257 % |
583.12/583.66 c | 354720 | 98785 488807 1548168 | 2147483647 354543 61 | 10.257 % |
583.22/583.79 c | 354832 | 98785 488807 1548168 | 2147483647 354655 61 | 10.257 % |
583.42/583.94 c | 354953 | 98785 488807 1548168 | 2147483647 354776 61 | 10.257 % |
584.72/585.27 c | 355086 | 98785 488807 1548168 | 2147483647 354909 61 | 10.257 % |
584.82/585.38 c | 355233 | 98785 488807 1548168 | 2147483647 355056 61 | 10.257 % |
584.92/585.47 c | 355393 | 98785 488807 1548168 | 2147483647 355216 61 | 10.257 % |
585.43/585.95 c | 355569 | 98785 488807 1548168 | 2147483647 355392 61 | 10.257 % |
585.73/586.21 c | 355763 | 98785 488807 1548168 | 2147483647 355586 61 | 10.257 % |
586.42/586.97 c | 355975 | 98785 488807 1548168 | 2147483647 355798 61 | 10.257 % |
586.72/587.22 c | 356210 | 98785 488807 1548168 | 2147483647 356033 61 | 10.257 % |
586.92/587.46 c | 356467 | 98785 488807 1548168 | 2147483647 356290 61 | 10.257 % |
587.22/587.77 c | 356749 | 98785 488807 1548168 | 2147483647 356572 61 | 10.257 % |
590.82/591.31 c | 357059 | 98785 488807 1548168 | 2147483647 356882 62 | 10.257 % |
591.72/592.22 c | 357398 | 98785 488807 1548168 | 2147483647 357221 62 | 10.257 % |
592.32/592.80 c | 357770 | 98785 488807 1548168 | 2147483647 357593 62 | 10.257 % |
592.62/593.15 c | 358179 | 98785 488807 1548168 | 2147483647 358002 62 | 10.257 % |
593.32/593.89 c | 358630 | 98785 488807 1548168 | 2147483647 358453 62 | 10.257 % |
593.92/594.48 c | 359124 | 98785 488807 1548168 | 2147483647 358947 62 | 10.257 % |
595.42/595.92 c | 359666 | 98785 488807 1548168 | 2147483647 359489 62 | 10.257 % |
595.92/596.41 c | 360264 | 98785 488807 1548168 | 2147483647 360087 62 | 10.257 % |
596.42/596.91 c | 360920 | 98785 488807 1548168 | 2147483647 360743 62 | 10.257 % |
596.72/597.29 c | 361641 | 98785 488807 1548168 | 2147483647 361464 61 | 10.257 % |
597.22/597.79 c | 362435 | 98785 488807 1548168 | 2147483647 362258 61 | 10.257 % |
597.91/598.45 c | 363307 | 98785 488807 1548168 | 2147483647 363130 61 | 10.257 % |
598.61/599.18 c | 364265 | 98785 488807 1548168 | 2147483647 364088 61 | 10.257 % |
599.11/599.63 c | 365318 | 98785 488807 1548168 | 2147483647 365141 61 | 10.257 % |
600.70/601.21 c | 366476 | 98785 488807 1548168 | 2147483647 366299 61 | 10.257 % |
602.30/602.82 c | 367749 | 98785 488807 1548168 | 2147483647 367572 61 | 10.257 % |
603.30/603.86 c | 369150 | 98785 488807 1548168 | 2147483647 368973 61 | 10.257 % |
604.61/605.12 c | 370690 | 98785 488807 1548168 | 2147483647 370513 61 | 10.257 % |
625.29/625.85 c | 372384 | 98785 488807 1548168 | 2147483647 372207 62 | 10.257 % |
628.59/629.14 c | 374249 | 98785 488807 1548168 | 2147483647 374072 62 | 10.257 % |
630.40/630.96 c | 376298 | 98785 488807 1548168 | 2147483647 376121 62 | 10.257 % |
633.49/634.03 c | 378552 | 98785 488807 1548168 | 2147483647 378375 62 | 10.257 % |
634.79/635.34 c | 381031 | 98785 488807 1548168 | 2147483647 380854 62 | 10.257 % |
660.78/661.38 c | 383758 | 98785 488807 1548168 | 2147483647 383581 64 | 10.257 % |
663.88/664.40 c | 386757 | 98785 488807 1548168 | 2147483647 386580 64 | 10.257 % |
668.08/668.65 c | 390055 | 98785 488807 1548168 | 2147483647 389878 64 | 10.257 % |
672.27/672.88 c | 393680 | 98785 488807 1548168 | 2147483647 393503 63 | 10.257 % |
672.67/673.25 c | 393781 | 98785 488807 1548168 | 2147483647 393604 63 | 10.257 % |
672.97/673.51 c | 393891 | 98785 488807 1548168 | 2147483647 393714 63 | 10.257 % |
673.07/673.62 c | 394012 | 98785 488807 1548168 | 2147483647 393835 63 | 10.257 % |
673.17/673.78 c | 394147 | 98785 488807 1548168 | 2147483647 393970 63 | 10.257 % |
673.47/674.01 c | 394293 | 98785 488807 1548168 | 2147483647 394116 63 | 10.257 % |
673.67/674.28 c | 394455 | 98785 488807 1548168 | 2147483647 394278 63 | 10.257 % |
674.47/675.09 c | 394632 | 98785 488807 1548168 | 2147483647 394455 63 | 10.257 % |
675.07/675.68 c | 394826 | 98785 488807 1548168 | 2147483647 394649 63 | 10.257 % |
676.17/676.71 c | 395038 | 98783 488800 1548146 | 2147483647 394858 63 | 10.259 % |
676.87/677.43 c | 395273 | 98783 488800 1548146 | 2147483647 395093 63 | 10.259 % |
677.17/677.71 c | 395529 | 98783 488800 1548146 | 2147483647 395349 63 | 10.259 % |
677.47/678.03 c | 395810 | 98783 488800 1548146 | 2147483647 395630 63 | 10.259 % |
677.97/678.51 c | 396119 | 98783 488800 1548146 | 2147483647 395939 63 | 10.259 % |
678.67/679.24 c | 396460 | 98783 488800 1548146 | 2147483647 396280 63 | 10.259 % |
679.77/680.38 c | 396832 | 98783 488800 1548146 | 2147483647 396652 63 | 10.259 % |
685.37/685.91 c | 397241 | 98783 488800 1548146 | 2147483647 397061 64 | 10.259 % |
686.07/686.64 c | 397690 | 98783 488800 1548146 | 2147483647 397510 64 | 10.259 % |
692.36/692.94 c | 398184 | 98783 488800 1548146 | 2147483647 398004 64 | 10.259 % |
693.05/693.61 c | 398726 | 98783 488800 1548146 | 2147483647 398546 64 | 10.259 % |
694.95/695.57 c | 399322 | 98783 488800 1548146 | 2147483647 399142 64 | 10.259 % |
695.66/696.27 c | 399979 | 98783 488800 1548146 | 2147483647 399799 64 | 10.259 % |
695.96/696.58 c | 400699 | 98783 488800 1548146 | 2147483647 400519 64 | 10.259 % |
696.86/697.45 c | 401491 | 98783 488800 1548146 | 2147483647 401311 64 | 10.259 % |
698.36/698.97 c | 402364 | 98783 488800 1548146 | 2147483647 402184 64 | 10.259 % |
699.46/700.08 c | 403322 | 98783 488800 1548146 | 2147483647 403142 64 | 10.259 % |
700.86/701.42 c | 404376 | 98783 488800 1548146 | 2147483647 404196 64 | 10.259 % |
702.15/702.79 c | 405536 | 98783 488800 1548146 | 2147483647 405356 64 | 10.259 % |
703.75/704.35 c | 406810 | 98783 488800 1548146 | 2147483647 406630 64 | 10.259 % |
707.16/707.75 c | 408210 | 98783 488800 1548146 | 2147483647 408030 64 | 10.259 % |
708.85/709.43 c | 409751 | 98783 488800 1548146 | 2147483647 409571 64 | 10.259 % |
710.05/710.69 c | 411446 | 98783 488800 1548146 | 2147483647 411266 64 | 10.259 % |
711.55/712.14 c | 413311 | 98783 488800 1548146 | 2147483647 413131 64 | 10.259 % |
713.95/714.53 c | 415360 | 98783 488800 1548146 | 2147483647 415180 63 | 10.259 % |
715.15/715.72 c | 417613 | 98783 488800 1548146 | 2147483647 417433 63 | 10.259 % |
716.55/717.13 c | 420091 | 98783 488800 1548146 | 2147483647 419911 63 | 10.259 % |
718.84/719.48 c | 422817 | 98783 488800 1548146 | 2147483647 422637 63 | 10.259 % |
747.03/747.67 c | 425814 | 98783 488800 1548146 | 2147483647 425634 65 | 10.259 % |
749.53/750.17 c | 429110 | 98783 488800 1548146 | 2147483647 428930 65 | 10.259 % |
755.13/755.79 c | 432735 | 98783 488800 1548146 | 2147483647 432555 65 | 10.259 % |
796.01/796.64 c | 436723 | 98783 488800 1548146 | 2147483647 436543 67 | 10.259 % |
796.11/796.73 c | 436823 | 98783 488800 1548146 | 2147483647 436643 67 | 10.259 % |
796.31/796.93 c | 436937 | 98783 488800 1548146 | 2147483647 436757 67 | 10.259 % |
796.41/797.07 c | 437059 | 98783 488800 1548146 | 2147483647 436879 67 | 10.259 % |
796.61/797.22 c | 437193 | 98783 488800 1548146 | 2147483647 437013 67 | 10.259 % |
798.31/798.99 c | 437339 | 98783 488800 1548146 | 2147483647 437159 67 | 10.259 % |
798.41/799.02 c | 437499 | 98783 488800 1548146 | 2147483647 437319 67 | 10.259 % |
798.51/799.17 c | 437675 | 98783 488800 1548146 | 2147483647 437495 67 | 10.259 % |
799.61/800.20 c | 437869 | 98783 488800 1548146 | 2147483647 437689 67 | 10.259 % |
799.81/800.49 c | 438081 | 98783 488800 1548146 | 2147483647 437901 67 | 10.259 % |
800.11/800.75 c | 438314 | 98783 488800 1548146 | 2147483647 438134 67 | 10.259 % |
800.80/801.45 c | 438571 | 98783 488800 1548146 | 2147483647 438391 67 | 10.259 % |
801.10/801.77 c | 438855 | 98783 488800 1548146 | 2147483647 438675 67 | 10.259 % |
801.60/802.29 c | 439164 | 98783 488800 1548146 | 2147483647 438984 67 | 10.259 % |
802.10/802.75 c | 439505 | 98783 488800 1548146 | 2147483647 439325 67 | 10.259 % |
806.91/807.57 c | 439879 | 98783 488800 1548146 | 2147483647 439699 68 | 10.259 % |
807.61/808.25 c | 440290 | 98783 488800 1548146 | 2147483647 440110 68 | 10.259 % |
808.51/809.17 c | 440741 | 98783 488800 1548146 | 2147483647 440561 68 | 10.259 % |
809.11/809.80 c | 441235 | 98783 488800 1548146 | 2147483647 441055 68 | 10.259 % |
809.61/810.26 c | 441779 | 98783 488800 1548146 | 2147483647 441599 68 | 10.259 % |
810.31/810.92 c | 442375 | 98783 488800 1548146 | 2147483647 442195 67 | 10.259 % |
810.80/811.40 c | 443030 | 98783 488800 1548146 | 2147483647 442850 67 | 10.259 % |
811.60/812.23 c | 443751 | 98783 488800 1548146 | 2147483647 443571 67 | 10.259 % |
812.80/813.40 c | 444543 | 98783 488800 1548146 | 2147483647 444363 67 | 10.259 % |
813.61/814.21 c | 445414 | 98783 488800 1548146 | 2147483647 445234 67 | 10.259 % |
814.30/814.96 c | 446374 | 98783 488800 1548146 | 2147483647 446194 67 | 10.259 % |
815.50/816.18 c | 447427 | 98783 488800 1548146 | 2147483647 447247 67 | 10.259 % |
816.20/816.88 c | 448585 | 98783 488800 1548146 | 2147483647 448405 67 | 10.259 % |
817.10/817.78 c | 449858 | 98783 488800 1548146 | 2147483647 449678 67 | 10.259 % |
819.10/819.79 c | 451258 | 98783 488800 1548146 | 2147483647 451078 67 | 10.259 % |
820.30/820.99 c | 452798 | 98783 488800 1548146 | 2147483647 452618 67 | 10.259 % |
822.79/823.48 c | 454493 | 98783 488800 1548146 | 2147483647 454313 67 | 10.259 % |
828.39/829.04 c | 456357 | 98783 488800 1548146 | 2147483647 456177 67 | 10.259 % |
830.39/831.04 c | 458406 | 98783 488800 1548146 | 2147483647 458226 67 | 10.259 % |
833.19/833.87 c | 460660 | 98783 488800 1548146 | 2147483647 460480 67 | 10.259 % |
838.28/838.91 c | 463138 | 98783 488800 1548146 | 2147483647 462958 67 | 10.259 % |
840.89/841.50 c | 465863 | 98783 488800 1548146 | 2147483647 465683 67 | 10.259 % |
855.48/856.19 c | 468863 | 98783 488800 1548146 | 2147483647 468683 68 | 10.259 % |
860.58/861.21 c | 472161 | 98783 488800 1548146 | 2147483647 471981 68 | 10.259 % |
883.17/883.84 c | 475786 | 98783 488800 1548146 | 2147483647 475606 69 | 10.259 % |
887.37/888.07 c | 479775 | 98783 488800 1548146 | 2147483647 479595 69 | 10.259 % |
923.86/924.59 c | 484160 | 98783 488800 1548146 | 2147483647 483980 70 | 10.259 % |
924.36/925.03 c | 484260 | 98783 488800 1548146 | 2147483647 484080 70 | 10.259 % |
924.45/925.17 c | 484371 | 98783 488800 1548146 | 2147483647 484191 70 | 10.259 % |
924.66/925.37 c | 484493 | 98783 488800 1548146 | 2147483647 484313 70 | 10.259 % |
924.85/925.56 c | 484627 | 98783 488800 1548146 | 2147483647 484447 70 | 10.259 % |
925.05/925.71 c | 484773 | 98783 488800 1548146 | 2147483647 484593 70 | 10.259 % |
925.35/926.02 c | 484934 | 98783 488800 1548146 | 2147483647 484754 70 | 10.259 % |
926.25/926.91 c | 485111 | 98783 488800 1548146 | 2147483647 484931 70 | 10.259 % |
926.35/927.08 c | 485304 | 98783 488800 1548146 | 2147483647 485124 70 | 10.259 % |
926.55/927.21 c | 485517 | 98783 488800 1548146 | 2147483647 485337 70 | 10.259 % |
926.86/927.59 c | 485750 | 98783 488800 1548146 | 2147483647 485570 70 | 10.259 % |
927.35/928.06 c | 486006 | 98783 488800 1548146 | 2147483647 485826 70 | 10.259 % |
927.86/928.51 c | 486287 | 98783 488800 1548146 | 2147483647 486107 70 | 10.259 % |
928.15/928.80 c | 486597 | 98783 488800 1548146 | 2147483647 486417 70 | 10.259 % |
928.45/929.13 c | 486936 | 98783 488800 1548146 | 2147483647 486756 70 | 10.259 % |
928.96/929.69 c | 487308 | 98783 488800 1548146 | 2147483647 487128 70 | 10.259 % |
929.45/930.14 c | 487720 | 98783 488800 1548146 | 2147483647 487540 70 | 10.259 % |
930.25/930.96 c | 488169 | 98783 488800 1548146 | 2147483647 487989 70 | 10.259 % |
930.75/931.40 c | 488663 | 98783 488800 1548146 | 2147483647 488483 70 | 10.259 % |
931.85/932.50 c | 489206 | 98783 488800 1548146 | 2147483647 489026 70 | 10.259 % |
935.04/935.78 c | 489802 | 98783 488800 1548146 | 2147483647 489622 70 | 10.259 % |
936.14/936.80 c | 490458 | 98783 488800 1548146 | 2147483647 490278 70 | 10.259 % |
939.24/939.98 c | 491179 | 98783 488800 1548146 | 2147483647 490999 70 | 10.259 % |
940.54/941.28 c | 491973 | 98783 488800 1548146 | 2147483647 491793 70 | 10.259 % |
941.84/942.53 c | 492844 | 98783 488800 1548146 | 2147483647 492664 70 | 10.259 % |
946.75/947.49 c | 493803 | 98783 488800 1548146 | 2147483647 493623 70 | 10.259 % |
947.45/948.10 c | 494856 | 98783 488800 1548146 | 2147483647 494676 70 | 10.259 % |
950.74/951.46 c | 496015 | 98783 488800 1548146 | 2147483647 495835 70 | 10.259 % |
951.64/952.38 c | 497288 | 98783 488800 1548146 | 2147483647 497108 70 | 10.259 % |
952.94/953.62 c | 498688 | 98783 488800 1548146 | 2147483647 498508 70 | 10.259 % |
955.04/955.72 c | 500229 | 98783 488800 1548146 | 2147483647 500049 70 | 10.259 % |
956.93/957.65 c | 501923 | 98783 488800 1548146 | 2147483647 501743 70 | 10.259 % |
959.43/960.12 c | 503786 | 98783 488800 1548146 | 2147483647 503606 70 | 10.259 % |
962.13/962.80 c | 505835 | 98783 488800 1548146 | 2147483647 505655 70 | 10.259 % |
963.83/964.50 c | 508089 | 98783 488800 1548146 | 2147483647 507909 69 | 10.259 % |
969.33/970.05 c | 510568 | 98783 488800 1548146 | 2147483647 510388 69 | 10.259 % |
973.03/973.74 c | 513293 | 98783 488800 1548146 | 2147483647 513113 69 | 10.259 % |
978.82/979.58 c | 516291 | 98783 488800 1548146 | 2147483647 516111 69 | 10.259 % |
983.33/984.01 c | 519588 | 98783 488800 1548146 | 2147483647 519408 69 | 10.259 % |
987.42/988.12 c | 523215 | 98783 488800 1548146 | 2147483647 523035 69 | 10.259 % |
993.62/994.36 c | 527203 | 98783 488800 1548146 | 2147483647 527023 69 | 10.259 % |
998.52/999.23 c | 531588 | 98783 488800 1548146 | 2147483647 531408 69 | 10.259 % |
1020.80/1021.55 c | 536412 | 98783 488800 1548146 | 2147483647 536232 70 | 10.259 % |
1021.10/1021.85 c | 536513 | 98783 488800 1548146 | 2147483647 536333 70 | 10.259 % |
1021.40/1022.10 c | 536623 | 98783 488800 1548146 | 2147483647 536443 70 | 10.259 % |
1021.40/1022.19 c | 536744 | 98783 488800 1548146 | 2147483647 536564 70 | 10.259 % |
1021.50/1022.26 c | 536877 | 98783 488800 1548146 | 2147483647 536697 70 | 10.259 % |
1021.70/1022.44 c | 537023 | 98783 488800 1548146 | 2147483647 536843 70 | 10.259 % |
1022.60/1023.35 c | 537183 | 98783 488800 1548146 | 2147483647 537003 70 | 10.259 % |
1023.40/1024.12 c | 537359 | 98783 488800 1548146 | 2147483647 537179 70 | 10.259 % |
1023.80/1024.50 c | 537554 | 98783 488800 1548146 | 2147483647 537374 70 | 10.259 % |
1024.01/1024.71 c | 537767 | 98783 488800 1548146 | 2147483647 537587 70 | 10.259 % |
1024.11/1024.85 c | 538000 | 98783 488800 1548146 | 2147483647 537820 70 | 10.259 % |
1024.50/1025.27 c | 538256 | 98783 488800 1548146 | 2147483647 538076 70 | 10.259 % |
1024.90/1025.62 c | 538539 | 98783 488800 1548146 | 2147483647 538359 70 | 10.259 % |
1025.40/1026.17 c | 538852 | 98783 488800 1548146 | 2147483647 538672 70 | 10.259 % |
1025.81/1026.51 c | 539192 | 98783 488800 1548146 | 2147483647 539012 70 | 10.259 % |
1026.11/1026.82 c | 539564 | 98783 488800 1548146 | 2147483647 539384 70 | 10.259 % |
1026.51/1027.27 c | 539975 | 98783 488800 1548146 | 2147483647 539795 70 | 10.259 % |
1027.30/1028.00 c | 540426 | 98783 488800 1548146 | 2147483647 540246 70 | 10.259 % |
1031.31/1032.10 c | 540922 | 98783 488800 1548146 | 2147483647 540742 70 | 10.259 % |
1031.70/1032.44 c | 541465 | 98783 488800 1548146 | 2147483647 541285 70 | 10.259 % |
1032.20/1032.94 c | 542061 | 98783 488800 1548146 | 2147483647 541881 70 | 10.259 % |
1033.10/1033.87 c | 542721 | 98783 488800 1548146 | 2147483647 542541 70 | 10.259 % |
1034.50/1035.24 c | 543443 | 98783 488800 1548146 | 2147483647 543263 70 | 10.259 % |
1037.10/1037.86 c | 544235 | 98783 488800 1548146 | 2147483647 544055 70 | 10.259 % |
1038.20/1038.95 c | 545106 | 98493 488408 1546969 | 2147483647 544879 70 | 11.338 % |
1039.70/1040.40 c | 546064 | 98493 488408 1546969 | 2147483647 545837 70 | 11.338 % |
1041.10/1041.83 c | 547117 | 98493 488408 1546969 | 2147483647 546890 70 | 11.338 % |
1043.89/1044.69 c | 548276 | 98493 488408 1546969 | 2147483647 548049 70 | 11.338 % |
1053.68/1054.41 c | 549550 | 98493 488408 1546969 | 2147483647 549323 70 | 11.338 % |
1055.18/1055.90 c | 550950 | 98493 488408 1546969 | 2147483647 550723 70 | 11.338 % |
1056.28/1057.00 c | 552490 | 98493 488408 1546969 | 2147483647 552263 70 | 11.338 % |
1057.59/1058.33 c | 554186 | 98493 488408 1546969 | 2147483647 553959 70 | 11.338 % |
1058.89/1059.70 c | 556050 | 98493 488408 1546969 | 2147483647 555823 70 | 11.338 % |
1060.38/1061.19 c | 558101 | 98493 488408 1546969 | 2147483647 557874 70 | 11.338 % |
1063.88/1064.65 c | 560355 | 98493 488408 1546969 | 2147483647 560128 70 | 11.338 % |
1065.98/1066.70 c | 562834 | 98493 488408 1546969 | 2147483647 562607 70 | 11.338 % |
1069.18/1069.98 c | 565559 | 98493 488408 1546969 | 2147483647 565332 70 | 11.338 % |
1075.98/1076.70 c | 568556 | 98493 488408 1546969 | 2147483647 568329 70 | 11.338 % |
1085.77/1086.56 c | 571852 | 98493 488408 1546969 | 2147483647 571625 70 | 11.338 % |
1097.57/1098.36 c | 575480 | 98493 488408 1546969 | 2147483647 575253 70 | 11.338 % |
1101.36/1102.19 c | 579468 | 98493 488408 1546969 | 2147483647 579241 70 | 11.338 % |
1104.46/1105.21 c | 583853 | 98493 488408 1546969 | 2147483647 583626 70 | 11.338 % |
1109.37/1110.15 c | 588679 | 98493 488408 1546969 | 2147483647 588452 70 | 11.338 % |
1113.96/1114.77 c | 593985 | 98493 488408 1546969 | 2147483647 593758 70 | 11.338 % |
1114.66/1115.48 c | 594085 | 97596 483227 1531439 | 2147483647 593744 70 | 11.338 % |
1114.86/1115.60 c | 594196 | 97596 483227 1531439 | 2147483647 593855 70 | 11.338 % |
1115.26/1116.00 c | 594319 | 97596 483227 1531439 | 2147483647 593978 70 | 11.338 % |
1115.36/1116.10 c | 594452 | 97596 483227 1531439 | 2147483647 594111 70 | 11.338 % |
1115.46/1116.23 c | 594598 | 97596 483227 1531439 | 2147483647 594257 70 | 11.338 % |
1115.86/1116.63 c | 594759 | 97596 483227 1531439 | 2147483647 594418 70 | 11.338 % |
1117.56/1118.36 c | 594936 | 97596 483227 1531439 | 2147483647 594595 70 | 11.338 % |
1117.76/1118.59 c | 595129 | 97596 483227 1531439 | 2147483647 594788 70 | 11.338 % |
1117.96/1118.74 c | 595341 | 97596 483227 1531439 | 2147483647 595000 70 | 11.338 % |
1118.16/1118.99 c | 595574 | 97596 483227 1531439 | 2147483647 595233 70 | 11.338 % |
1119.56/1120.34 c | 595830 | 97596 483227 1531439 | 2147483647 595489 70 | 11.338 % |
1121.36/1122.14 c | 596111 | 97596 483227 1531439 | 2147483647 595770 70 | 11.338 % |
1126.86/1127.61 c | 596421 | 97596 483227 1531439 | 2147483647 596080 70 | 11.338 % |
1127.45/1128.22 c | 596760 | 97596 483227 1531439 | 2147483647 596419 70 | 11.338 % |
1128.55/1129.39 c | 597132 | 97596 483227 1531439 | 2147483647 596791 70 | 11.338 % |
1128.75/1129.53 c | 597541 | 97596 483227 1531439 | 2147483647 597200 70 | 11.338 % |
1129.35/1130.17 c | 597990 | 97596 483227 1531439 | 2147483647 597649 70 | 11.338 % |
1130.76/1131.54 c | 598483 | 97596 483227 1531439 | 2147483647 598142 70 | 11.338 % |
1131.75/1132.54 c | 599025 | 97596 483227 1531439 | 2147483647 598684 70 | 11.338 % |
1132.25/1133.06 c | 599622 | 97596 483227 1531439 | 2147483647 599281 70 | 11.338 % |
1135.65/1136.43 c | 600277 | 97596 483227 1531439 | 2147483647 599936 70 | 11.338 % |
1137.05/1137.84 c | 600997 | 97596 483227 1531439 | 2147483647 600656 70 | 11.338 % |
1139.15/1139.99 c | 601789 | 97596 483227 1531439 | 2147483647 601448 70 | 11.338 % |
1140.05/1140.88 c | 602660 | 97596 483227 1531439 | 2147483647 602319 70 | 11.338 % |
1151.14/1151.93 c | 603619 | 97596 483227 1531439 | 2147483647 603278 70 | 11.338 % |
1154.24/1155.05 c | 604675 | 97596 483227 1531439 | 2147483647 604334 70 | 11.338 % |
1155.04/1155.84 c | 605833 | 97596 483227 1531439 | 2147483647 605492 70 | 11.338 % |
1156.84/1157.62 c | 607106 | 97596 483227 1531439 | 2147483647 606765 70 | 11.338 % |
1158.64/1159.44 c | 608506 | 97596 483227 1531439 | 2147483647 608165 70 | 11.338 % |
1160.64/1161.45 c | 610050 | 97596 483227 1531439 | 2147483647 609709 70 | 11.338 % |
1169.13/1169.91 c | 611744 | 97596 483227 1531439 | 2147483647 611403 70 | 11.338 % |
1173.33/1174.13 c | 613607 | 97596 483227 1531439 | 2147483647 613266 70 | 11.338 % |
1179.93/1180.79 c | 615657 | 97596 483227 1531439 | 2147483647 615316 71 | 11.338 % |
1182.83/1183.63 c | 617910 | 97596 483227 1531439 | 2147483647 617569 70 | 11.338 % |
1191.62/1192.43 c | 620388 | 97596 483227 1531439 | 2147483647 620047 70 | 11.338 % |
1198.33/1199.14 c | 623113 | 97596 483227 1531439 | 2147483647 622772 70 | 11.338 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833607-1242823862/watcher-1833607-1242823862 -o /tmp/evaluation-result-1833607-1242823862/solver-1833607-1242823862 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833607-1242823862.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 29902
/proc/meminfo: memFree=1933124/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310415395 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/29902/statm: 1339 236 196 169 0 50 0
[startup+0.0756271 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 29902
/proc/meminfo: memFree=1933124/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102631 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 29902
/proc/meminfo: memFree=1933124/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302651 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 29902
/proc/meminfo: memFree=1933124/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701691 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 29902
/proc/meminfo: memFree=1933124/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50177 s]
/proc/loadavg: 0.97 0.98 0.99 3/66 29907
/proc/meminfo: memFree=1812404/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
[pid=29907] ppid=29902 vsize=145752 CPUtime=1.48
/proc/29907/stat : 29907 (SatELite_releas) R 29902 29902 29743 0 -1 4194304 32539 0 0 0 128 20 0 0 25 0 1 0 310415396 149250048 29987 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/29907/statm: 36438 29987 76 173 0 36263 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 151108
[startup+3.10193 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 29907
/proc/meminfo: memFree=1807284/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
[pid=29907] ppid=29902 vsize=148116 CPUtime=3.08
/proc/29907/stat : 29907 (SatELite_releas) R 29902 29902 29743 0 -1 4194304 33113 0 0 0 286 22 0 0 25 0 1 0 310415396 151670784 30561 1992294400 134512640 135223648 4294956128 18446744073709551615 134548233 0 0 4096 3 0 0 0 17 0 0 0
/proc/29907/statm: 37029 30561 76 173 0 36854 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 153472
[startup+6.3084 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 29907
/proc/meminfo: memFree=1791292/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
[pid=29907] ppid=29902 vsize=153192 CPUtime=6.29
/proc/29907/stat : 29907 (SatELite_releas) R 29902 29902 29743 0 -1 4194304 34311 0 0 0 602 27 0 0 25 0 1 0 310415396 156868608 31759 1992294400 134512640 135223648 4294956128 18446744073709551615 134587350 0 0 4096 3 0 0 0 17 0 0 0
/proc/29907/statm: 38298 31760 76 173 0 38123 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158548
[startup+12.7019 s]
/proc/loadavg: 1.43 1.08 1.03 2/66 29907
/proc/meminfo: memFree=1751676/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=0
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310415395 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 237 197 169 0 50 0
[pid=29907] ppid=29902 vsize=174392 CPUtime=12.67
/proc/29907/stat : 29907 (SatELite_releas) R 29902 29902 29743 0 -1 4194304 43174 0 0 0 1229 38 0 0 25 0 1 0 310415396 178577408 37044 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/29907/statm: 43598 37044 78 173 0 43423 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 179748
[startup+25.5022 s]
/proc/loadavg: 1.67 1.14 1.05 2/66 29908
/proc/meminfo: memFree=1848252/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=40736 CPUtime=12.25
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 9429 0 0 0 1220 5 0 0 25 0 1 0 310416716 41713664 9415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 10184 9415 77 171 0 10011 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 46092
[startup+51.1029 s]
/proc/loadavg: 2.12 1.29 1.10 2/66 29908
/proc/meminfo: memFree=1843836/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=45068 CPUtime=37.82
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 10522 0 0 0 3775 7 0 0 25 0 1 0 310416716 46149632 10508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 11267 10508 77 171 0 11094 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 50424
[startup+102.302 s]
/proc/loadavg: 2.65 1.58 1.20 2/66 29908
/proc/meminfo: memFree=1835516/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=53648 CPUtime=88.93
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 12632 0 0 0 8883 10 0 0 25 0 1 0 310416716 54935552 12618 1992294400 134512640 135215339 4294956240 18446744073709551615 134538359 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 13412 12618 77 171 0 13239 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 59004
[startup+162.302 s]
/proc/loadavg: 1.89 1.57 1.22 2/66 29908
/proc/meminfo: memFree=1826236/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=64308 CPUtime=148.88
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 15298 0 0 0 14874 14 0 0 25 0 1 0 310416716 65851392 15284 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 16077 15284 77 171 0 15904 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 69664
[startup+222.302 s]
/proc/loadavg: 1.38 1.48 1.21 2/66 29908
/proc/meminfo: memFree=1814076/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=76496 CPUtime=208.84
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 18329 0 0 0 20867 17 0 0 25 0 1 0 310416716 78331904 18315 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 19124 18315 77 171 0 18951 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 81852
[startup+282.303 s]
/proc/loadavg: 1.14 1.39 1.19 2/66 29908
/proc/meminfo: memFree=1801340/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=89468 CPUtime=268.8
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 21523 0 0 0 26859 21 0 0 25 0 1 0 310416716 91615232 21509 1992294400 134512640 135215339 4294956240 18446744073709551615 134532678 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 22367 21509 77 171 0 22194 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 94824
[startup+342.306 s]
/proc/loadavg: 1.05 1.32 1.18 2/66 29908
/proc/meminfo: memFree=1791228/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=99272 CPUtime=328.77
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 23992 0 0 0 32854 23 0 0 25 0 1 0 310416716 101654528 23978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 24818 23978 77 171 0 24645 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 104628
[startup+402.303 s]
/proc/loadavg: 1.02 1.26 1.17 2/66 29908
/proc/meminfo: memFree=1781116/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=109308 CPUtime=388.75
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 26528 0 0 0 38849 26 0 0 25 0 1 0 310416716 111931392 26514 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 27327 26514 77 171 0 27154 0
Current children cumulated CPU time (s) 401.92
Current children cumulated vsize (KiB) 114664
[startup+462.302 s]
################
# More data... #
################
/proc/29908/statm: 34716 33839 77 171 0 34543 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 144220
[startup+642.303 s]
/proc/loadavg: 1.00 1.11 1.12 2/66 29914
/proc/meminfo: memFree=1741628/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=148512 CPUtime=628.62
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 36288 0 0 0 62826 36 0 0 25 0 1 0 310416716 152076288 36274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 37128 36274 77 171 0 36955 0
Current children cumulated CPU time (s) 641.79
Current children cumulated vsize (KiB) 153868
[startup+702.302 s]
/proc/loadavg: 1.00 1.08 1.11 2/66 29914
/proc/meminfo: memFree=1732924/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=157100 CPUtime=688.58
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 38447 0 0 0 68820 38 0 0 25 0 1 0 310416716 160870400 38433 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 39275 38433 77 171 0 39102 0
Current children cumulated CPU time (s) 701.75
Current children cumulated vsize (KiB) 162456
[startup+762.302 s]
/proc/loadavg: 1.00 1.07 1.10 2/66 29914
/proc/meminfo: memFree=1722748/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=167004 CPUtime=748.56
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 40972 0 0 0 74815 41 0 0 25 0 1 0 310416716 171012096 40958 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 41751 40958 77 171 0 41578 0
Current children cumulated CPU time (s) 761.73
Current children cumulated vsize (KiB) 172360
[startup+822.301 s]
/proc/loadavg: 1.00 1.05 1.09 2/66 29914
/proc/meminfo: memFree=1713148/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=176404 CPUtime=808.53
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 43338 0 0 0 80810 43 0 0 25 0 1 0 310416716 180637696 43324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 44101 43324 77 171 0 43928 0
Current children cumulated CPU time (s) 821.7
Current children cumulated vsize (KiB) 181760
[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/66 29914
/proc/meminfo: memFree=1702972/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=187256 CPUtime=868.5
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 45837 0 0 0 86804 46 0 0 25 0 1 0 310416716 191750144 45823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 46814 45823 77 171 0 46641 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 192612
[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.08 2/66 29914
/proc/meminfo: memFree=1694908/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=195316 CPUtime=928.47
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 47864 0 0 0 92799 48 0 0 25 0 1 0 310416716 200003584 47850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 48829 47850 77 171 0 48656 0
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (KiB) 200672
[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.07 2/66 29914
/proc/meminfo: memFree=1684028/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=205880 CPUtime=988.45
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 50548 0 0 0 98793 52 0 0 25 0 1 0 310416716 210821120 50534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 51470 50534 77 171 0 51297 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 211236
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/66 29914
/proc/meminfo: memFree=1673468/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=216336 CPUtime=1048.41
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 53195 0 0 0 104786 55 0 0 25 0 1 0 310416716 221528064 53181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 54084 53181 77 171 0 53911 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 221692
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/66 29914
/proc/meminfo: memFree=1662332/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=227152 CPUtime=1108.39
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 55921 0 0 0 110781 58 0 0 25 0 1 0 310416716 232603648 55907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 56788 55907 77 171 0 56615 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 232508
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/66 29914
/proc/meminfo: memFree=1653756/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=235584 CPUtime=1168.36
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 58043 0 0 0 116775 61 0 0 25 0 1 0 310416716 241238016 58029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 58896 58029 77 171 0 58723 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 240940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 29914
/proc/meminfo: memFree=1652156/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=237040 CPUtime=1186.86
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 58412 0 0 0 118624 62 0 0 25 0 1 0 310416716 242728960 58398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 59260 58398 77 171 0 59087 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 242396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 29914
/proc/meminfo: memFree=1652156/2055920 swapFree=4160960/4192956
[pid=29902] ppid=29900 vsize=5356 CPUtime=13.17
/proc/29902/stat : 29902 (SatELiteGTI) S 29900 29902 29743 0 -1 4194304 336 43425 0 0 0 0 1274 43 16 0 1 0 310415395 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29902/statm: 1339 239 197 169 0 50 0
[pid=29908] ppid=29902 vsize=237040 CPUtime=1186.86
/proc/29908/stat : 29908 (minisat_static) R 29902 29902 29743 0 -1 4194304 58412 0 0 0 118624 62 0 0 25 0 1 0 310416716 242728960 58398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/29908/statm: 59260 58398 77 171 0 59087 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 242396
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29902 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=747062
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=443932
# CPU time returned by wait4() is 13.191
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.03
CPU user time (s): 1198.98
CPU system time (s): 1.05
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 242396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7471
system time used= 0.443932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43761
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= 12
involuntary context switches= 77
runsolver used 1.9767 second user time and 4.25435 second system time
The end
Begin job on node90 at 2009-05-20 14:51:03
IDJOB=1833607
IDBENCH=70782
IDSOLVER=671
FILE ID=node90/1833607-1242823862
PBS_JOBID= 9322474
Free space on /tmp= 66288 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833607-1242823862/watcher-1833607-1242823862 -o /tmp/evaluation-result-1833607-1242823862/solver-1833607-1242823862 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833607-1242823862.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED=1161714965
node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1933604 kB
Buffers: 15816 kB
Cached: 51184 kB
SwapCached: 26432 kB
Active: 39612 kB
Inactive: 55916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1933604 kB
SwapTotal: 4192956 kB
SwapFree: 4160960 kB
Dirty: 18064 kB
Writeback: 0 kB
Mapped: 15940 kB
Slab: 12780 kB
Committed_AS: 907728 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66240 MiB
End job on node90 at 2009-05-20 15:11:06